| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.37 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb |
| MD5SUM | 77bab7e4b790022242f816374e31f934 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 123904 |
| Best CPU time to get the best result obtained on this benchmark | 1800.07 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 124928 |
| Optimality of the best value was proved | NO |
| Number of variables | 20611 |
| Total number of constraints | 3921 |
| Number of constraints which are clauses | 563 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3358 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 61 |
| Number of terms in the objective function | 135 |
| Biggest coefficient in the objective function | 536870912 |
| Number of bits for the biggest coefficient in the objective function | 30 |
| Sum of the numbers in the objective function | 1073849343 |
| Number of bits of the sum of numbers in the objective function | 31 |
| Biggest number in a constraint | 1024000000 |
| Number of bits of the biggest number in a constraint | 30 |
| Biggest sum of numbers in a constraint | 2147557374 |
| Number of bits of the biggest sum of numbers | 32 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T20:26:36+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-4079067-1465237596.opb"] 0.00/0.01 c use --random-gen="3453601896 3288719267 63711865 1199259148 3529006534 3989276245 1631361925 3047816415 1454090181 1541960024 778689019 3113981527 2311971933 1081057442 2859723497 801231443 1357514714 1019518509 937449485 2486827778 710047920 1438693725 3599952496 1799734724 3844167488 779568562 3977573074 3585943203 3938160041 2465640763 2288127480 496988863 129612788 697555273 1698108076 1964434566 3466104107 1106222825 2448040343 3182055805 3171891193 1412670779 1156450790 3208561603 542073865 4160340627 1251486750 1856585130 2982693859 3719672852 192215154 55168501 1867917745 3340263801 4253228415 2402539042 2032269723 3785678927 2389160417 4114123413 2166048390 1440741276 2470120700 2166139055 2429076174 2890156282 862529156 1667684377 870573875 334455307 1901822851 3175648951 3753757036 4086175008 151864881 2497509313 1683937025 2850703528 3183529318 453024099 3818039088 1445000398 2279396870 775078486 2243355250 2179939109 2088609763 2498344497 3450261489 3378354169 3958151580 1346046246 3035219295 3713493880 2451707369 1655390590 31629166 2938604291 3917051289 985789328 1002344599 3511612302 98913799 3660376301 582964903 181259496 2954435454 3483050181 1102735330 3750667791 3663102685 61740084 2057077707 1132654306 1320675565 208453089 1656100401 3510619247 862939889 2239849131 2888959479 1859020363 3290807692 3405640883 2613059079 229579376 996827285 2005541026 3697422348 2901445298 754895357 2450289603 2777664006 3241655261 374884459 3929348113 747161519 3108225121 879474202 398617582 1638871504 3926766106 2798826702 3615051375 1817915208 1306448771 489022767 3898696380 118169630 122167567 714705378 2801593121 3707153084 1108406992 1596690199 2122190163 3655532771 1727649872 3621313528 99411134 3147781043 877651748 3267300033 3894170930 4198042247 2725405925 3857040816 2756545983 3081672907 2370027958 2733958811 3813854172 3937517685 576462598 2099200133 3583551257 2190062401 2824144855 1793981716 1806875567 1503337431 386488298 1166962011 407150507 1165656657 51097216 2139954638 2227486713 2106992926 4126982916 1248596850 210883262 401742506 3081437458 2711953768 1686505992 2025672954 673397395 1839643169 519849661 655316893 1922356976 3619892745 2691240909 871606940 590066535 2111160554 1450687286 4164059926 3278178194 3301693757 164877342 2854870825 3535319704 928827572 1966025321 3899950806 3613911454 2323583300 525752672 2791173349 2863144382 795345792 897369545 2652402915 1311649361 3376752083 1496095418 738520632 1328054295 630948108 682582349 3560529868 1619902346 1172421964 2181669531 359033540 2571469754 2308684356 766987484 408571448 1529861727 3591627704 3335119441 613338829 2405521961 3451413161 2960146712 3628767032 2236253378 4054135747 4251668848 3558785428 1718915601 3589939428 2378886234 255 362436" option to reproduce the execution 0.29/0.35 c #vars 20611 0.29/0.35 c #constraints 3921 18.18/18.21 c BCD2: Hardening is enabled. 18.18/18.21 c BCD2: BiasedSearch is enabled. 18.18/18.21 c Solving starts ... 18.18/18.21 c ============================[ Search Statistics ]============================ 18.18/18.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 18.18/18.21 c | | | | Limit GC | Var | Constra 18.18/18.21 c ============================================================================= 18.18/18.21 c 0.0s | 0 | 0 | 0 | 8177 0 | 30 | 0 18.18/18.27 c 0.1s | 1 | 964 | 100 | 8177 0 | 30 | 2 18.48/18.52 c 0.3s | 2 | 1766 | 250 | 8995 0 | 30 | 2 18.69/18.77 c 0.6s | 3 | 2300 | 475 | 9895 0 | 30 | 2 19.18/19.29 c 1.1s | 3 | 22647 | 509 | 10885 0 | 30 | 2 19.18/19.29 c #cpu_time = 1.034s 19.18/19.29 c #wall_clock_time = 1.036s 19.18/19.29 c #decision = 22647 19.18/19.29 c #random_decision = 46 19.18/19.29 c #conflict = 509 19.18/19.29 c #restart = 3 19.18/19.29 o 163840 19.28/19.39 c BCD2: hardening fixes 11 literals 19.28/19.39 c BCD2: updating upper bound: 1073849343 -> 271359 19.28/19.39 c BCD2: 0 <= obj <= 271359 19.28/19.39 c BCD2: #cores=0, #unrelaxed=124, #relaxed=0, #hardened=11 19.28/19.39 c BCD2: #sat=1 #unsat=1 bias=1/2 19.28/19.39 c Solving starts ... 19.28/19.39 c ============================[ Search Statistics ]============================ 19.28/19.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 19.28/19.39 c | | | | Limit GC | Var | Constra 19.28/19.39 c ============================================================================= 19.28/19.39 c 0.0s | 0 | 0 | 0 | 10885 0 | 30 | 2 19.38/19.41 c 0.0s | 0 | 0 | 0 | 10885 0 | 30 | 2 19.38/19.41 c #cpu_time = 0.022s 19.38/19.41 c #wall_clock_time = 0.022s 19.38/19.41 c #decision = 0 19.38/19.41 c #random_decision = 0 19.38/19.41 c #conflict = 0 19.38/19.41 c #restart = 0 19.38/19.41 c BCD2: found a new core of size 1: cost of the new core is >=131072 19.38/19.41 c lower bound updated to 23552 19.48/19.51 c BCD2: hardening fixes 1 literals 19.48/19.51 c BCD2: 131072 <= obj <= 271359 19.48/19.51 c BCD2: #cores=1, #unrelaxed=122, #relaxed=1, #hardened=12 19.48/19.51 c BCD2: #sat=1 #unsat=2 bias=2/3 19.48/19.53 c Solving starts ... 19.48/19.53 c ============================[ Search Statistics ]============================ 19.48/19.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 19.48/19.53 c | | | | Limit GC | Var | Constra 19.48/19.53 c ============================================================================= 19.48/19.53 c 0.0s | 0 | 0 | 0 | 10885 0 | 30 | 2 19.48/19.55 c 0.0s | 0 | 1 | 0 | 10885 0 | 30 | 2 19.48/19.55 c #cpu_time = 0.021s 19.48/19.55 c #wall_clock_time = 0.021s 19.48/19.55 c #decision = 1 19.48/19.55 c #random_decision = 0 19.48/19.55 c #conflict = 0 19.48/19.55 c #restart = 0 19.48/19.55 c BCD2: found a new core of size 1: cost of the new core is >=65536 19.48/19.55 c lower bound updated to 89088 19.58/19.65 c BCD2: 196608 <= obj <= 271359 19.58/19.65 c BCD2: #cores=2, #unrelaxed=121, #relaxed=2, #hardened=12 19.58/19.65 c BCD2: #sat=1 #unsat=3 bias=3/4 19.58/19.65 c Solving starts ... 19.58/19.65 c ============================[ Search Statistics ]============================ 19.58/19.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 19.58/19.65 c | | | | Limit GC | Var | Constra 19.58/19.65 c ============================================================================= 19.58/19.65 c 0.0s | 0 | 0 | 0 | 10885 0 | 30 | 2 19.58/19.67 c 0.0s | 0 | 2 | 0 | 10885 0 | 30 | 2 19.58/19.67 c #cpu_time = 0.021s 19.58/19.67 c #wall_clock_time = 0.021s 19.58/19.67 c #decision = 2 19.58/19.67 c #random_decision = 0 19.58/19.67 c #conflict = 0 19.58/19.67 c #restart = 0 19.58/19.67 c BCD2: found a new core of size 1: cost of the new core is >=8192 19.58/19.67 c lower bound updated to 97280 19.68/19.77 c BCD2: 204800 <= obj <= 271359 19.68/19.77 c BCD2: #cores=3, #unrelaxed=120, #relaxed=3, #hardened=12 19.68/19.77 c BCD2: #sat=1 #unsat=4 bias=4/5 19.68/19.77 c Solving starts ... 19.68/19.77 c ============================[ Search Statistics ]============================ 19.68/19.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 19.68/19.77 c | | | | Limit GC | Var | Constra 19.68/19.77 c ============================================================================= 19.68/19.77 c 0.0s | 0 | 0 | 0 | 10885 0 | 30 | 2 19.79/19.90 c 0.1s | 1 | 388 | 100 | 10885 0 | 30 | 2 20.38/20.46 c 0.7s | 2 | 752 | 250 | 10885 0 | 30 | 2 21.18/21.29 c 1.5s | 3 | 1253 | 475 | 11974 0 | 30 | 2 21.68/21.76 c 2.0s | 4 | 1755 | 813 | 13172 0 | 30 | 2 23.88/23.96 c 4.2s | 4 | 2692 | 1313 | 13172 0 | 30 | 2 23.98/24.03 c 4.3s | 5 | 2704 | 1320 | 13172 0 | 30 | 2 25.08/25.17 c 5.4s | 6 | 3815 | 2081 | 14490 0 | 30 | 2 26.78/26.82 c 7.0s | 7 | 5152 | 3223 | 15940 0 | 30 | 2 28.69/28.71 c 8.9s | 8 | 7457 | 4936 | 17534 0 | 30 | 2 30.68/30.75 c 11.0s | 8 | 9566 | 6736 | 17534 0 | 30 | 2 31.78/31.87 c 12.1s | 9 | 10447 | 7506 | 19288 0 | 30 | 2 33.88/33.94 c 14.2s | 9 | 13616 | 10406 | 19288 0 | 30 | 2 34.58/34.65 c 14.9s | 10 | 14597 | 11361 | 21217 0 | 30 | 2 36.58/36.69 c 16.9s | 10 | 15768 | 12161 | 21217 0 | 30 | 2 38.68/38.78 c 19.0s | 10 | 16992 | 13161 | 21217 0 | 30 | 2 40.79/40.84 c 21.1s | 10 | 18102 | 14061 | 21217 0 | 30 | 2 42.99/43.04 c 23.3s | 10 | 19296 | 15061 | 21217 0 | 30 | 2 45.19/45.22 c 25.4s | 10 | 20538 | 16061 | 21217 0 | 30 | 2 47.29/47.37 c 27.6s | 10 | 21623 | 16961 | 23339 0 | 30 | 2 47.68/47.77 c 28.0s | 11 | 21866 | 17144 | 23339 0 | 30 | 2 49.78/49.82 c 30.0s | 11 | 24244 | 19344 | 23339 0 | 30 | 2 51.78/51.82 c 32.0s | 11 | 26449 | 21544 | 23339 0 | 30 | 2 53.78/53.86 c 34.1s | 11 | 28460 | 23544 | 23339 0 | 30 | 2 55.88/55.92 c 36.1s | 11 | 30265 | 25344 | 25673 0 | 30 | 2 56.48/56.51 c 36.7s | 12 | 30745 | 25819 | 25673 0 | 30 | 2 58.48/58.53 c 38.8s | 12 | 32526 | 27319 | 25673 1 | 30 | 2 60.48/60.54 c 40.8s | 12 | 34031 | 28819 | 25673 1 | 30 | 2 62.48/62.57 c 42.8s | 12 | 36754 | 31519 | 25673 1 | 30 | 2 64.58/64.65 c 44.9s | 12 | 37975 | 32719 | 25673 1 | 30 | 2 66.67/66.70 c 46.9s | 12 | 39181 | 33919 | 25673 1 | 30 | 2 68.67/68.73 c 49.0s | 12 | 40384 | 35119 | 25673 1 | 30 | 2 70.77/70.84 c 51.1s | 12 | 41593 | 36319 | 25673 1 | 30 | 2 72.87/72.97 c 53.2s | 12 | 42797 | 37519 | 25673 1 | 30 | 2 74.88/75.00 c 55.2s | 12 | 43903 | 38619 | 28241 1 | 30 | 2 75.37/75.41 c 55.6s | 13 | 44116 | 38832 | 28241 1 | 30 | 2 77.47/77.59 c 57.8s | 13 | 45536 | 39932 | 28241 1 | 30 | 2 79.57/79.66 c 59.9s | 13 | 46813 | 41032 | 28241 1 | 30 | 2 81.77/81.87 c 62.1s | 13 | 48222 | 42232 | 28241 1 | 30 | 2 83.97/84.03 c 64.3s | 13 | 49542 | 43332 | 28241 1 | 30 | 2 86.07/86.14 c 66.4s | 13 | 50696 | 44332 | 28241 1 | 30 | 2 88.27/88.32 c 68.5s | 13 | 51881 | 45332 | 28241 1 | 30 | 2 90.47/90.54 c 70.8s | 13 | 53064 | 46332 | 28241 1 | 30 | 2 92.57/92.66 c 72.9s | 13 | 53983 | 47132 | 28241 2 | 30 | 2 94.68/94.77 c 75.0s | 13 | 55158 | 48132 | 28241 2 | 30 | 2 96.98/97.01 c 77.2s | 13 | 56331 | 49132 | 28241 2 | 30 | 2 99.08/99.18 c 79.4s | 13 | 57371 | 50032 | 28241 2 | 30 | 2 101.18/101.30 c 81.5s | 13 | 58419 | 50932 | 28241 2 | 30 | 2 103.27/103.33 c 83.6s | 13 | 59470 | 51832 | 28241 2 | 30 | 2 105.37/105.42 c 85.6s | 13 | 60511 | 52732 | 28241 2 | 30 | 2 107.47/107.50 c 87.7s | 13 | 61573 | 53632 | 28241 2 | 30 | 2 109.57/109.62 c 89.8s | 13 | 62497 | 54432 | 28241 2 | 30 | 2 111.77/111.89 c 92.1s | 13 | 63435 | 55232 | 28241 2 | 30 | 2 114.07/114.15 c 94.4s | 13 | 64404 | 56032 | 28241 2 | 30 | 2 116.17/116.22 c 96.4s | 13 | 65354 | 56832 | 28241 2 | 30 | 2 118.27/118.33 c 98.6s | 13 | 66292 | 57632 | 31066 2 | 30 | 2 120.07/120.17 c 100s | 14 | 67156 | 58352 | 31066 2 | 30 | 2 122.18/122.25 c 102s | 14 | 69761 | 60552 | 31066 2 | 30 | 2 124.17/124.28 c 104s | 14 | 71571 | 62252 | 31066 3 | 30 | 2 126.27/126.38 c 106s | 14 | 73828 | 64252 | 31066 3 | 30 | 2 128.37/128.48 c 108s | 14 | 75886 | 66252 | 31066 3 | 30 | 2 130.47/130.56 c 110s | 14 | 77505 | 67752 | 31066 3 | 30 | 2 132.47/132.58 c 112s | 14 | 79285 | 69452 | 31066 3 | 30 | 2 134.56/134.65 c 114s | 14 | 80805 | 70852 | 31066 3 | 30 | 2 136.66/136.75 c 116s | 14 | 82490 | 72452 | 31066 3 | 30 | 2 138.76/138.81 c 119s | 14 | 84072 | 73952 | 31066 3 | 30 | 2 140.77/140.88 c 121s | 14 | 85524 | 75352 | 31066 3 | 30 | 2 142.97/143.01 c 123s | 14 | 86969 | 76752 | 31066 3 | 30 | 2 144.96/145.10 c 125s | 14 | 88336 | 78052 | 31066 3 | 30 | 2 147.06/147.18 c 127s | 14 | 89552 | 79252 | 31066 4 | 30 | 2 149.16/149.21 c 129s | 14 | 90883 | 80552 | 31066 4 | 30 | 2 151.26/151.34 c 131s | 14 | 92093 | 81652 | 31066 4 | 30 | 2 153.36/153.40 c 133s | 14 | 93310 | 82852 | 31066 4 | 30 | 2 155.36/155.45 c 135s | 14 | 94432 | 83952 | 31066 4 | 30 | 2 157.56/157.63 c 137s | 14 | 95825 | 85252 | 31066 4 | 30 | 2 159.76/159.82 c 140s | 14 | 96846 | 86252 | 31066 4 | 30 | 2 161.96/162.03 c 142s | 14 | 97856 | 87252 | 34173 4 | 30 | 2 162.87/162.94 c 143s | 15 | 98236 | 87632 | 34173 4 | 30 | 2 164.86/164.99 c 145s | 15 | 99484 | 88232 | 34173 4 | 30 | 2 166.96/167.09 c 147s | 15 | 101413 | 89932 | 34173 4 | 30 | 2 169.06/169.16 c 149s | 15 | 103211 | 91532 | 34173 4 | 30 | 2 171.06/171.16 c 151s | 15 | 105115 | 93032 | 34173 4 | 30 | 2 173.16/173.29 c 153s | 15 | 106829 | 94532 | 34173 4 | 30 | 2 175.26/175.37 c 155s | 15 | 108528 | 95932 | 34173 4 | 30 | 2 177.36/177.46 c 157s | 15 | 110144 | 97332 | 34173 4 | 30 | 2 179.36/179.48 c 159s | 15 | 111635 | 98632 | 34173 4 | 30 | 2 181.46/181.52 c 161s | 15 | 113175 | 99932 | 34173 4 | 30 | 2 183.56/183.68 c 163s | 15 | 114633 | 101232 | 34173 4 | 30 | 2 185.66/185.71 c 165s | 15 | 115942 | 102332 | 34173 5 | 30 | 2 187.76/187.87 c 168s | 15 | 117398 | 103532 | 34173 5 | 30 | 2 189.96/190.03 c 170s | 15 | 118773 | 104732 | 34173 5 | 30 | 2 192.06/192.11 c 172s | 15 | 120022 | 105832 | 34173 5 | 30 | 2 194.16/194.22 c 174s | 15 | 121282 | 106932 | 34173 5 | 30 | 2 196.26/196.34 c 176s | 15 | 122568 | 108032 | 34173 5 | 30 | 2 198.26/198.38 c 178s | 15 | 123851 | 109132 | 34173 5 | 30 | 2 200.36/200.48 c 180s | 15 | 125047 | 110132 | 34173 5 | 30 | 2 202.47/202.55 c 182s | 15 | 126217 | 111132 | 34173 5 | 30 | 2 204.46/204.56 c 184s | 15 | 127186 | 111932 | 34173 5 | 30 | 2 206.66/206.76 c 186s | 15 | 128337 | 112932 | 34173 5 | 30 | 2 208.86/208.96 c 189s | 15 | 129452 | 113932 | 34173 5 | 30 | 2 210.96/211.02 c 191s | 15 | 130473 | 114832 | 34173 5 | 30 | 2 213.16/213.21 c 193s | 15 | 131617 | 115832 | 34173 5 | 30 | 2 215.26/215.33 c 195s | 15 | 132751 | 116832 | 34173 5 | 30 | 2 217.26/217.38 c 197s | 15 | 133778 | 117732 | 34173 5 | 30 | 2 219.36/219.49 c 199s | 15 | 134805 | 118632 | 34173 5 | 30 | 2 221.56/221.60 c 201s | 15 | 135842 | 119532 | 34173 5 | 30 | 2 223.76/223.85 c 204s | 15 | 136902 | 120432 | 34173 5 | 30 | 2 225.96/226.08 c 206s | 15 | 137911 | 121332 | 34173 5 | 30 | 2 228.06/228.17 c 208s | 15 | 138813 | 122132 | 34173 5 | 30 | 2 230.16/230.21 c 210s | 15 | 139724 | 122932 | 34173 6 | 30 | 2 232.26/232.39 c 212s | 15 | 140868 | 123932 | 34173 6 | 30 | 2 234.36/234.42 c 214s | 15 | 142039 | 124932 | 34173 6 | 30 | 2 236.36/236.48 c 216s | 15 | 143198 | 125932 | 34173 6 | 30 | 2 238.46/238.54 c 218s | 15 | 144220 | 126832 | 34173 6 | 30 | 2 240.66/240.75 c 220s | 15 | 145367 | 127832 | 34173 6 | 30 | 2 242.76/242.85 c 223s | 15 | 146417 | 128732 | 34173 6 | 30 | 2 244.95/245.02 c 225s | 15 | 147444 | 129632 | 34173 6 | 30 | 2 246.95/247.02 c 227s | 15 | 148370 | 130432 | 37591 6 | 30 | 2 249.15/249.22 c 229s | 15 | 149419 | 131332 | 37591 6 | 30 | 2 249.66/249.77 c 229s | 16 | 149664 | 131552 | 37591 6 | 30 | 2 252.96/253.09 c 233s | 16 | 149952 | 131652 | 37591 6 | 30 | 2 255.05/255.13 c 235s | 16 | 150848 | 132552 | 37591 6 | 30 | 2 257.05/257.18 c 237s | 16 | 151852 | 133552 | 37591 6 | 30 | 2 259.25/259.31 c 239s | 16 | 154666 | 136352 | 37591 6 | 30 | 2 261.25/261.39 c 241s | 16 | 156379 | 138052 | 37591 6 | 30 | 2 263.35/263.41 c 243s | 16 | 157080 | 138752 | 37591 6 | 30 | 2 265.35/265.45 c 245s | 16 | 157779 | 139452 | 37591 6 | 30 | 2 267.35/267.48 c 247s | 16 | 159190 | 140852 | 37591 6 | 30 | 2 269.45/269.54 c 249s | 16 | 161610 | 143252 | 37591 6 | 30 | 2 271.45/271.59 c 251s | 16 | 162811 | 144452 | 37591 6 | 30 | 2 273.75/273.81 c 254s | 16 | 163814 | 145452 | 37591 7 | 30 | 2 275.75/275.84 c 256s | 16 | 164421 | 146052 | 37591 7 | 30 | 2 277.94/278.07 c 258s | 16 | 165024 | 146652 | 37591 7 | 30 | 2 280.25/280.31 c 260s | 16 | 165634 | 147252 | 37591 7 | 30 | 2 282.44/282.59 c 262s | 16 | 166236 | 147852 | 37591 7 | 30 | 2 284.85/284.92 c 265s | 16 | 166839 | 148452 | 37591 7 | 30 | 2 287.24/287.31 c 267s | 16 | 167441 | 149052 | 37591 7 | 30 | 2 289.25/289.33 c 269s | 16 | 167942 | 149552 | 37591 7 | 30 | 2 291.34/291.42 c 271s | 16 | 169747 | 151352 | 37591 7 | 30 | 2 293.94/294.01 c 274s | 16 | 170357 | 151952 | 37591 7 | 30 | 2 296.14/296.21 c 276s | 16 | 170793 | 152352 | 37591 7 | 30 | 2 298.15/298.26 c 278s | 16 | 172253 | 153552 | 37591 7 | 30 | 2 300.14/300.29 c 280s | 16 | 174506 | 155752 | 37591 7 | 30 | 2 302.24/302.34 c 282s | 16 | 176519 | 157752 | 37591 7 | 30 | 2 304.24/304.39 c 284s | 16 | 178327 | 159552 | 37591 7 | 30 | 2 306.34/306.41 c 286s | 16 | 180057 | 161252 | 37591 7 | 30 | 2 308.34/308.44 c 288s | 16 | 181747 | 162852 | 37591 7 | 30 | 2 310.44/310.56 c 290s | 16 | 183280 | 164352 | 37591 7 | 30 | 2 312.54/312.61 c 292s | 16 | 184688 | 165752 | 37591 7 | 30 | 2 314.55/314.65 c 294s | 16 | 186016 | 167052 | 37591 7 | 30 | 2 316.64/316.73 c 296s | 16 | 187222 | 168252 | 37591 8 | 30 | 2 318.74/318.89 c 299s | 16 | 188542 | 169552 | 37591 8 | 30 | 2 320.94/321.03 c 301s | 16 | 189750 | 170752 | 37591 8 | 30 | 2 322.94/323.06 c 303s | 16 | 190854 | 171852 | 37591 8 | 30 | 2 325.04/325.13 c 305s | 16 | 191959 | 172952 | 37591 8 | 30 | 2 327.14/327.26 c 307s | 16 | 193063 | 174052 | 37591 8 | 30 | 2 329.24/329.30 c 309s | 16 | 194068 | 175052 | 37591 8 | 30 | 2 331.34/331.44 c 311s | 16 | 195068 | 176052 | 37591 8 | 30 | 2 333.44/333.56 c 313s | 16 | 196073 | 177052 | 37591 8 | 30 | 2 335.54/335.61 c 315s | 16 | 196976 | 177952 | 37591 8 | 30 | 2 337.54/337.70 c 317s | 16 | 197898 | 178852 | 37591 8 | 30 | 2 339.84/339.92 c 320s | 16 | 198797 | 179752 | 37591 8 | 30 | 2 342.04/342.13 c 322s | 16 | 199699 | 180652 | 37591 8 | 30 | 2 344.03/344.16 c 324s | 16 | 200503 | 181452 | 37591 8 | 30 | 2 346.13/346.20 c 326s | 16 | 201301 | 182252 | 37591 8 | 30 | 2 348.13/348.28 c 328s | 16 | 202105 | 183052 | 37591 8 | 30 | 2 350.33/350.40 c 330s | 16 | 202910 | 183852 | 37591 8 | 30 | 2 352.43/352.53 c 332s | 16 | 203713 | 184652 | 37591 8 | 30 | 2 354.63/354.75 c 334s | 16 | 204518 | 185452 | 37591 8 | 30 | 2 356.83/356.97 c 337s | 16 | 205319 | 186252 | 37591 8 | 30 | 2 358.93/359.00 c 339s | 16 | 205726 | 186652 | 37591 8 | 30 | 2 361.13/361.27 c 341s | 16 | 206428 | 187352 | 37591 8 | 30 | 2 363.23/363.32 c 343s | 16 | 207025 | 187952 | 37591 8 | 30 | 2 367.74/367.87 c 348s | 16 | 207629 | 188552 | 37591 9 | 30 | 2 369.94/370.06 c 350s | 16 | 208630 | 189552 | 37591 9 | 30 | 2 375.53/375.64 c 355s | 16 | 209537 | 190452 | 37591 9 | 30 | 2 377.63/377.71 c 357s | 16 | 210437 | 191352 | 37591 9 | 30 | 2 379.83/379.93 c 360s | 16 | 211343 | 192252 | 37591 9 | 30 | 2 381.83/381.96 c 362s | 16 | 212145 | 193052 | 37591 9 | 30 | 2 383.93/384.04 c 364s | 16 | 212949 | 193852 | 37591 9 | 30 | 2 386.03/386.20 c 366s | 16 | 213752 | 194652 | 37591 9 | 30 | 2 388.23/388.39 c 368s | 16 | 214554 | 195452 | 37591 9 | 30 | 2 390.33/390.40 c 370s | 16 | 215257 | 196152 | 41351 9 | 30 | 2 392.53/392.68 c 372s | 16 | 216060 | 196952 | 41351 9 | 30 | 2 393.93/394.09 c 374s | 17 | 216538 | 197432 | 41351 9 | 30 | 2 396.92/397.08 c 377s | 17 | 217024 | 197532 | 41351 9 | 30 | 2 399.12/399.20 c 379s | 17 | 218844 | 199032 | 41351 9 | 30 | 2 401.12/401.20 c 381s | 17 | 220660 | 200532 | 41351 9 | 30 | 2 403.12/403.25 c 383s | 17 | 222471 | 202032 | 41351 9 | 30 | 2 405.22/405.32 c 385s | 17 | 224039 | 203432 | 41351 9 | 30 | 2 407.22/407.37 c 387s | 17 | 225697 | 204832 | 41351 9 | 30 | 2 409.23/409.37 c 389s | 17 | 227266 | 206132 | 41351 9 | 30 | 2 411.33/411.47 c 391s | 17 | 228829 | 207432 | 41351 9 | 30 | 2 413.42/413.59 c 393s | 17 | 230386 | 208732 | 41351 9 | 30 | 2 415.52/415.69 c 395s | 17 | 231890 | 210032 | 41351 9 | 30 | 2 417.62/417.71 c 397s | 17 | 233189 | 211132 | 41351 9 | 30 | 2 419.62/419.79 c 400s | 17 | 234516 | 212232 | 41351 9 | 30 | 2 421.72/421.84 c 402s | 17 | 235863 | 213332 | 41351 9 | 30 | 2 423.82/423.92 c 404s | 17 | 237077 | 214332 | 41351 10 | 30 | 2 425.82/425.97 c 406s | 17 | 238377 | 215432 | 41351 10 | 30 | 2 427.83/427.99 c 408s | 17 | 239537 | 216432 | 41351 10 | 30 | 2 429.92/430.09 c 410s | 17 | 240744 | 217432 | 41351 10 | 30 | 2 432.02/432.19 c 412s | 17 | 241934 | 218432 | 41351 10 | 30 | 2 434.22/434.36 c 414s | 17 | 243111 | 219432 | 41351 10 | 30 | 2 436.22/436.39 c 416s | 17 | 244183 | 220332 | 41351 10 | 30 | 2 438.32/438.48 c 418s | 17 | 245248 | 221232 | 41351 10 | 30 | 2 440.53/440.60 c 420s | 17 | 246318 | 222132 | 41351 10 | 30 | 2 442.63/442.74 c 422s | 17 | 247386 | 223032 | 41351 10 | 30 | 2 444.83/444.92 c 425s | 17 | 248445 | 223932 | 41351 10 | 30 | 2 446.83/446.93 c 427s | 17 | 249416 | 224732 | 41351 10 | 30 | 2 448.92/449.05 c 429s | 17 | 250357 | 225532 | 41351 10 | 30 | 2 450.93/451.05 c 431s | 17 | 251310 | 226332 | 41351 10 | 30 | 2 453.02/453.11 c 433s | 17 | 252224 | 227132 | 41351 10 | 30 | 2 455.12/455.24 c 435s | 17 | 253164 | 227932 | 41351 10 | 30 | 2 457.32/457.45 c 437s | 17 | 254094 | 228732 | 41351 10 | 30 | 2 459.62/459.70 c 439s | 17 | 255006 | 229532 | 41351 10 | 30 | 2 461.82/461.95 c 442s | 17 | 255965 | 230332 | 41351 10 | 30 | 2 463.82/463.97 c 444s | 17 | 256769 | 231032 | 41351 10 | 30 | 2 466.12/466.25 c 446s | 17 | 257721 | 231832 | 41351 10 | 30 | 2 468.22/468.33 c 448s | 17 | 258565 | 232532 | 41351 10 | 30 | 2 470.42/470.56 c 450s | 17 | 259400 | 233232 | 41351 10 | 30 | 2 472.62/472.76 c 452s | 17 | 260238 | 233932 | 41351 10 | 30 | 2 474.72/474.89 c 455s | 17 | 261069 | 234632 | 41351 10 | 30 | 2 476.92/477.09 c 457s | 17 | 261912 | 235332 | 41351 10 | 30 | 2 479.22/479.30 c 459s | 17 | 262759 | 236032 | 41351 10 | 30 | 2 481.22/481.31 c 461s | 17 | 263469 | 236632 | 41351 10 | 30 | 2 483.42/483.58 c 463s | 17 | 264321 | 237332 | 41351 10 | 30 | 2 486.02/486.18 c 466s | 17 | 265026 | 237932 | 41351 11 | 30 | 2 488.12/488.27 c 468s | 17 | 266108 | 238832 | 41351 11 | 30 | 2 490.32/490.45 c 470s | 17 | 267206 | 239732 | 41351 11 | 30 | 2 495.31/495.44 c 475s | 17 | 267921 | 240332 | 41351 11 | 30 | 2 497.51/497.61 c 477s | 17 | 268991 | 241232 | 41351 11 | 30 | 2 499.51/499.65 c 479s | 17 | 269944 | 242032 | 41351 11 | 30 | 2 501.62/501.78 c 482s | 17 | 270878 | 242832 | 41351 11 | 30 | 2 503.72/503.87 c 484s | 17 | 271826 | 243632 | 41351 11 | 30 | 2 505.81/505.99 c 486s | 17 | 272776 | 244432 | 41351 11 | 30 | 2 508.51/508.64 c 488s | 17 | 273717 | 245232 | 41351 11 | 30 | 2 510.61/510.78 c 491s | 17 | 274655 | 246032 | 41351 11 | 30 | 2 512.62/512.78 c 493s | 17 | 275497 | 246732 | 41351 11 | 30 | 2 514.91/515.01 c 495s | 17 | 276451 | 247532 | 41351 11 | 30 | 2 516.91/517.03 c 497s | 17 | 277289 | 248232 | 41351 11 | 30 | 2 518.91/519.08 c 499s | 17 | 278128 | 248932 | 41351 11 | 30 | 2 521.11/521.23 c 501s | 17 | 278951 | 249632 | 41351 11 | 30 | 2 523.21/523.36 c 503s | 17 | 279745 | 250332 | 41351 11 | 30 | 2 525.41/525.52 c 505s | 17 | 280590 | 251032 | 41351 11 | 30 | 2 527.61/527.72 c 507s | 17 | 281437 | 251732 | 41351 11 | 30 | 2 529.81/529.90 c 510s | 17 | 282273 | 252432 | 41351 11 | 30 | 2 532.00/532.12 c 512s | 17 | 282732 | 252832 | 41351 11 | 30 | 2 534.10/534.22 c 514s | 17 | 283564 | 253532 | 41351 11 | 30 | 2 536.20/536.31 c 516s | 17 | 284377 | 254232 | 41351 11 | 30 | 2 538.30/538.46 c 518s | 17 | 285210 | 254932 | 41351 11 | 30 | 2 540.60/540.74 c 520s | 17 | 286060 | 255632 | 41351 11 | 30 | 2 542.80/542.92 c 523s | 17 | 286856 | 256332 | 41351 11 | 30 | 2 545.00/545.14 c 525s | 17 | 287684 | 257032 | 41351 11 | 30 | 2 547.30/547.46 c 527s | 17 | 288506 | 257732 | 41351 11 | 30 | 2 549.60/549.74 c 529s | 17 | 289311 | 258432 | 41351 11 | 30 | 2 551.90/552.05 c 532s | 17 | 290139 | 259132 | 41351 11 | 30 | 2 553.90/554.06 c 534s | 17 | 290848 | 259732 | 41351 11 | 30 | 2 555.90/556.09 c 536s | 17 | 291560 | 260332 | 41351 11 | 30 | 2 558.00/558.18 c 538s | 17 | 292276 | 260932 | 41351 11 | 30 | 2 560.81/560.91 c 541s | 17 | 292746 | 261332 | 41351 12 | 30 | 2 563.11/563.24 c 543s | 17 | 293691 | 262132 | 41351 12 | 30 | 2 565.21/565.38 c 545s | 17 | 294744 | 263032 | 41351 12 | 30 | 2 567.30/567.44 c 547s | 17 | 295673 | 263832 | 41351 12 | 30 | 2 569.51/569.63 c 549s | 17 | 296723 | 264732 | 41351 12 | 30 | 2 571.51/571.66 c 551s | 17 | 297649 | 265532 | 41351 12 | 30 | 2 573.60/573.71 c 553s | 17 | 298486 | 266232 | 41351 12 | 30 | 2 575.80/575.91 c 556s | 17 | 299543 | 267132 | 41351 12 | 30 | 2 577.80/577.92 c 558s | 17 | 300380 | 267832 | 41351 12 | 30 | 2 579.90/580.09 c 560s | 17 | 301438 | 268732 | 41351 12 | 30 | 2 582.20/582.33 c 562s | 17 | 302353 | 269532 | 41351 12 | 30 | 2 584.40/584.52 c 564s | 17 | 303295 | 270332 | 41351 12 | 30 | 2 586.40/586.59 c 566s | 17 | 304125 | 271032 | 41351 12 | 30 | 2 588.51/588.69 c 568s | 17 | 304963 | 271732 | 41351 12 | 30 | 2 590.71/590.84 c 571s | 17 | 305761 | 272432 | 41351 12 | 30 | 2 592.91/593.01 c 573s | 17 | 306593 | 273132 | 41351 12 | 30 | 2 595.11/595.26 c 575s | 17 | 307416 | 273832 | 41351 12 | 30 | 2 597.31/597.46 c 577s | 17 | 308238 | 274532 | 41351 12 | 30 | 2 599.51/599.68 c 579s | 17 | 309074 | 275232 | 41351 12 | 30 | 2 601.80/601.93 c 582s | 17 | 309884 | 275932 | 41351 12 | 30 | 2 603.81/603.98 c 584s | 17 | 310583 | 276532 | 41351 12 | 30 | 2 606.11/606.24 c 586s | 17 | 311415 | 277232 | 41351 12 | 30 | 2 608.21/608.37 c 588s | 17 | 312123 | 277832 | 41351 12 | 30 | 2 610.51/610.65 c 590s | 17 | 312833 | 278432 | 41351 12 | 30 | 2 612.90/613.02 c 593s | 17 | 313525 | 279032 | 41351 12 | 30 | 2 615.09/615.25 c 595s | 17 | 313780 | 279232 | 41351 12 | 30 | 2 617.29/617.41 c 597s | 17 | 314594 | 279932 | 41351 12 | 30 | 2 619.49/619.69 c 599s | 17 | 315410 | 280632 | 41351 12 | 30 | 2 621.69/621.84 c 602s | 17 | 316242 | 281332 | 41351 12 | 30 | 2 623.89/624.06 c 604s | 17 | 317066 | 282032 | 41351 12 | 30 | 2 626.19/626.32 c 606s | 17 | 317885 | 282732 | 41351 12 | 30 | 2 628.49/628.63 c 608s | 17 | 318694 | 283432 | 41351 12 | 30 | 2 630.49/630.65 c 610s | 17 | 319422 | 284032 | 41351 12 | 30 | 2 632.59/632.75 c 612s | 17 | 320131 | 284632 | 41351 12 | 30 | 2 634.70/634.89 c 615s | 17 | 320509 | 284932 | 41351 13 | 30 | 2 637.80/637.93 c 618s | 17 | 321438 | 285732 | 41351 13 | 30 | 2 639.89/640.01 c 620s | 17 | 322369 | 286532 | 41351 13 | 30 | 2 641.99/642.16 c 622s | 17 | 323433 | 287432 | 41351 13 | 30 | 2 644.19/644.37 c 624s | 17 | 324363 | 288232 | 41351 13 | 30 | 2 646.29/646.44 c 626s | 17 | 325313 | 289032 | 41351 13 | 30 | 2 648.49/648.66 c 628s | 17 | 326238 | 289832 | 41351 13 | 30 | 2 650.59/650.79 c 631s | 17 | 327068 | 290532 | 41351 13 | 30 | 2 652.89/653.03 c 633s | 17 | 327877 | 291232 | 41351 13 | 30 | 2 655.09/655.26 c 635s | 17 | 328808 | 292032 | 41351 13 | 30 | 2 657.39/657.54 c 637s | 17 | 329746 | 292832 | 41351 13 | 30 | 2 659.39/659.55 c 639s | 17 | 330549 | 293532 | 41351 13 | 30 | 2 661.49/661.64 c 641s | 17 | 331367 | 294232 | 45487 13 | 30 | 2 663.59/663.73 c 643s | 17 | 332180 | 294932 | 45487 13 | 30 | 2 665.69/665.85 c 646s | 17 | 333000 | 295632 | 45487 13 | 30 | 2 667.49/667.69 c 647s | 18 | 333706 | 296252 | 45487 13 | 30 | 2 671.38/671.53 c 651s | 18 | 334150 | 296352 | 45487 13 | 30 | 2 676.98/677.10 c 657s | 18 | 334375 | 296552 | 45487 13 | 30 | 2 681.68/681.85 c 662s | 18 | 335170 | 297252 | 45487 13 | 30 | 2 683.78/683.94 c 664s | 18 | 336328 | 298252 | 45487 13 | 30 | 2 685.88/686.06 c 666s | 18 | 337484 | 299252 | 45487 13 | 30 | 2 688.08/688.26 c 668s | 18 | 338426 | 300052 | 45487 13 | 30 | 2 690.08/690.30 c 670s | 18 | 339457 | 300952 | 45487 13 | 30 | 2 692.18/692.31 c 672s | 18 | 340499 | 301852 | 45487 13 | 30 | 2 694.18/694.37 c 674s | 18 | 341541 | 302752 | 45487 13 | 30 | 2 696.19/696.38 c 676s | 18 | 342475 | 303552 | 45487 13 | 30 | 2 698.28/698.43 c 678s | 18 | 343401 | 304352 | 45487 13 | 30 | 2 700.38/700.50 c 680s | 18 | 344333 | 305152 | 45487 13 | 30 | 2 702.38/702.54 c 682s | 18 | 345241 | 305952 | 45487 13 | 30 | 2 704.48/704.63 c 684s | 18 | 346159 | 306752 | 45487 13 | 30 | 2 706.48/706.65 c 686s | 18 | 347047 | 307552 | 45487 13 | 30 | 2 708.78/708.94 c 689s | 18 | 347975 | 308352 | 45487 14 | 30 | 2 710.88/711.01 c 691s | 18 | 348873 | 309152 | 45487 14 | 30 | 2 712.98/713.14 c 693s | 18 | 349778 | 309952 | 45487 14 | 30 | 2 714.98/715.14 c 695s | 18 | 350561 | 310652 | 45487 14 | 30 | 2 717.28/717.40 c 697s | 18 | 351482 | 311452 | 45487 14 | 30 | 2 719.28/719.41 c 699s | 18 | 352312 | 312152 | 45487 14 | 30 | 2 721.48/721.68 c 701s | 18 | 353268 | 312952 | 45487 14 | 30 | 2 723.57/723.75 c 703s | 18 | 354116 | 313652 | 45487 14 | 30 | 2 725.67/725.84 c 706s | 18 | 354928 | 314352 | 45487 14 | 30 | 2 727.77/727.97 c 708s | 18 | 355727 | 315052 | 45487 14 | 30 | 2 729.87/730.00 c 710s | 18 | 356521 | 315752 | 45487 14 | 30 | 2 731.87/732.05 c 712s | 18 | 357326 | 316452 | 45487 14 | 30 | 2 733.97/734.13 c 714s | 18 | 358116 | 317152 | 45487 14 | 30 | 2 736.17/736.33 c 716s | 18 | 358937 | 317852 | 45487 14 | 30 | 2 738.37/738.57 c 718s | 18 | 359753 | 318552 | 45487 14 | 30 | 2 740.47/740.60 c 720s | 18 | 360448 | 319152 | 45487 14 | 30 | 2 742.77/742.92 c 723s | 18 | 361256 | 319852 | 45487 14 | 30 | 2 744.77/744.99 c 725s | 18 | 361941 | 320452 | 45487 14 | 30 | 2 746.88/747.01 c 727s | 18 | 362640 | 321052 | 45487 14 | 30 | 2 748.87/749.03 c 729s | 18 | 363311 | 321652 | 45487 14 | 30 | 2 750.98/751.17 c 731s | 18 | 364001 | 322252 | 45487 14 | 30 | 2 753.08/753.23 c 733s | 18 | 364703 | 322852 | 45487 14 | 30 | 2 755.08/755.28 c 735s | 18 | 365390 | 323452 | 45487 14 | 30 | 2 757.28/757.42 c 737s | 18 | 366070 | 324052 | 45487 14 | 30 | 2 759.48/759.60 c 739s | 18 | 366758 | 324652 | 45487 14 | 30 | 2 761.58/761.77 c 741s | 18 | 367458 | 325252 | 45487 14 | 30 | 2 763.78/763.97 c 744s | 18 | 368150 | 325852 | 45487 14 | 30 | 2 765.88/766.05 c 746s | 18 | 368728 | 326352 | 45487 14 | 30 | 2 767.98/768.16 c 748s | 18 | 369416 | 326952 | 45487 14 | 30 | 2 770.17/770.38 c 750s | 18 | 370107 | 327552 | 45487 14 | 30 | 2 772.47/772.61 c 752s | 18 | 370817 | 328152 | 45487 14 | 30 | 2 774.67/774.84 c 755s | 18 | 371527 | 328752 | 45487 14 | 30 | 2 776.97/777.17 c 757s | 18 | 372240 | 329352 | 45487 14 | 30 | 2 779.27/779.48 c 759s | 18 | 372941 | 329952 | 45487 14 | 30 | 2 781.57/781.79 c 762s | 18 | 373638 | 330552 | 45487 14 | 30 | 2 783.97/784.11 c 764s | 18 | 374339 | 331152 | 45487 14 | 30 | 2 786.27/786.46 c 766s | 18 | 375037 | 331752 | 45487 14 | 30 | 2 788.77/788.92 c 769s | 18 | 375755 | 332352 | 45487 15 | 30 | 2 790.78/790.93 c 771s | 18 | 376448 | 332952 | 45487 15 | 30 | 2 792.98/793.12 c 773s | 18 | 377145 | 333552 | 45487 15 | 30 | 2 795.07/795.20 c 775s | 18 | 377835 | 334152 | 45487 15 | 30 | 2 797.38/797.60 c 777s | 18 | 378730 | 334752 | 45487 15 | 30 | 2 801.07/801.22 c 781s | 18 | 378981 | 334952 | 45487 15 | 30 | 2 803.47/803.62 c 783s | 18 | 379436 | 335352 | 45487 15 | 30 | 2 805.77/805.95 c 786s | 18 | 379911 | 335752 | 45487 15 | 30 | 2 808.07/808.28 c 788s | 18 | 380367 | 336152 | 45487 15 | 30 | 2 810.47/810.64 c 790s | 18 | 380817 | 336552 | 45487 15 | 30 | 2 812.77/812.99 c 793s | 18 | 381303 | 336952 | 45487 15 | 30 | 2 815.17/815.39 c 795s | 18 | 381754 | 337352 | 45487 15 | 30 | 2 817.67/817.87 c 798s | 18 | 382213 | 337752 | 45487 15 | 30 | 2 820.07/820.21 c 800s | 18 | 382683 | 338152 | 45487 15 | 30 | 2 822.47/822.60 c 802s | 18 | 383142 | 338552 | 45487 15 | 30 | 2 824.87/825.01 c 805s | 18 | 383612 | 338952 | 45487 15 | 30 | 2 827.07/827.20 c 807s | 18 | 384061 | 339352 | 45487 15 | 30 | 2 829.46/829.60 c 809s | 18 | 384530 | 339752 | 45487 15 | 30 | 2 831.86/832.01 c 812s | 18 | 385005 | 340152 | 45487 15 | 30 | 2 834.36/834.59 c 814s | 18 | 385467 | 340552 | 45487 15 | 30 | 2 836.76/836.97 c 817s | 18 | 385933 | 340952 | 45487 15 | 30 | 2 839.06/839.24 c 819s | 18 | 386408 | 341352 | 45487 15 | 30 | 2 841.06/841.26 c 821s | 18 | 386779 | 341652 | 45487 15 | 30 | 2 843.26/843.47 c 823s | 18 | 387256 | 342052 | 45487 15 | 30 | 2 845.77/845.97 c 826s | 18 | 387755 | 342452 | 45487 15 | 30 | 2 847.86/848.05 c 828s | 18 | 388114 | 342752 | 45487 15 | 30 | 2 850.46/850.62 c 830s | 18 | 388589 | 343152 | 45487 15 | 30 | 2 853.06/853.25 c 833s | 18 | 389058 | 343552 | 45487 15 | 30 | 2 855.56/855.76 c 835s | 18 | 389517 | 343952 | 45487 15 | 30 | 2 857.56/857.77 c 837s | 18 | 389858 | 344252 | 45487 15 | 30 | 2 859.86/860.00 c 840s | 18 | 390211 | 344552 | 45487 15 | 30 | 2 861.86/862.07 c 842s | 18 | 390536 | 344852 | 45487 15 | 30 | 2 864.57/864.73 c 844s | 18 | 391023 | 345252 | 45487 15 | 30 | 2 866.56/866.77 c 846s | 18 | 391390 | 345552 | 45487 15 | 30 | 2 868.97/869.14 c 849s | 18 | 391870 | 345952 | 45487 15 | 30 | 2 871.36/871.59 c 851s | 18 | 392349 | 346352 | 45487 15 | 30 | 2 873.66/873.86 c 854s | 18 | 392836 | 346752 | 45487 15 | 30 | 2 876.06/876.29 c 856s | 18 | 393302 | 347152 | 45487 15 | 30 | 2 878.66/878.87 c 859s | 18 | 393766 | 347552 | 45487 15 | 30 | 2 881.16/881.34 c 861s | 18 | 394231 | 347952 | 45487 15 | 30 | 2 883.56/883.70 c 863s | 18 | 394737 | 348352 | 45487 15 | 30 | 2 885.96/886.19 c 866s | 18 | 395206 | 348752 | 45487 15 | 30 | 2 888.66/888.87 c 869s | 18 | 395690 | 349152 | 45487 15 | 30 | 2 891.15/891.36 c 871s | 18 | 396173 | 349552 | 45487 15 | 30 | 2 893.66/893.85 c 874s | 18 | 396656 | 349952 | 45487 15 | 30 | 2 896.15/896.34 c 876s | 18 | 397178 | 350352 | 45487 15 | 30 | 2 898.56/898.71 c 878s | 18 | 397653 | 350752 | 45487 15 | 30 | 2 900.86/901.02 c 881s | 18 | 398171 | 351152 | 45487 15 | 30 | 2 903.35/903.58 c 883s | 18 | 398664 | 351552 | 45487 15 | 30 | 2 905.95/906.10 c 886s | 18 | 399150 | 351952 | 45487 15 | 30 | 2 908.35/908.59 c 888s | 18 | 399650 | 352352 | 45487 15 | 30 | 2 910.76/910.99 c 891s | 18 | 400155 | 352752 | 45487 15 | 30 | 2 913.15/913.38 c 893s | 18 | 400635 | 353152 | 45487 15 | 30 | 2 915.65/915.82 c 896s | 18 | 401143 | 353552 | 45487 15 | 30 | 2 917.95/918.10 c 898s | 18 | 401686 | 353952 | 45487 15 | 30 | 2 920.15/920.32 c 900s | 18 | 402177 | 354352 | 45487 15 | 30 | 2 922.45/922.61 c 902s | 18 | 402706 | 354752 | 45487 15 | 30 | 2 924.45/924.64 c 904s | 18 | 403785 | 355352 | 45487 15 | 30 | 2 926.55/926.70 c 906s | 18 | 407198 | 358752 | 45487 16 | 30 | 2 928.85/929.00 c 909s | 18 | 409816 | 361352 | 45487 16 | 30 | 2 930.85/931.07 c 911s | 18 | 412334 | 363852 | 45487 16 | 30 | 2 932.95/933.12 c 913s | 18 | 414550 | 366052 | 45487 16 | 30 | 2 935.05/935.20 c 915s | 18 | 416556 | 368052 | 45487 16 | 30 | 2 937.15/937.30 c 917s | 18 | 418462 | 369952 | 45487 16 | 30 | 2 939.15/939.40 c 919s | 18 | 419410 | 370852 | 45487 16 | 30 | 2 941.25/941.44 c 921s | 18 | 421062 | 372452 | 45487 16 | 30 | 2 943.25/943.46 c 923s | 18 | 422595 | 373952 | 45487 16 | 30 | 2 945.35/945.50 c 925s | 18 | 424000 | 375352 | 45487 16 | 30 | 2 947.45/947.61 c 927s | 18 | 425403 | 376752 | 45487 16 | 30 | 2 949.54/949.73 c 929s | 18 | 426717 | 378052 | 45487 16 | 30 | 2 951.65/951.80 c 932s | 18 | 427922 | 379252 | 45487 16 | 30 | 2 953.75/953.97 c 934s | 18 | 429025 | 380352 | 45487 17 | 30 | 2 955.94/956.13 c 936s | 18 | 430230 | 381552 | 45487 17 | 30 | 2 958.05/958.27 c 938s | 18 | 431336 | 382652 | 45487 17 | 30 | 2 960.25/960.46 c 940s | 18 | 432436 | 383752 | 45487 17 | 30 | 2 962.35/962.54 c 942s | 18 | 433443 | 384752 | 45487 17 | 30 | 2 964.44/964.70 c 944s | 18 | 434446 | 385752 | 45487 17 | 30 | 2 966.64/966.86 c 947s | 18 | 435491 | 386752 | 45487 17 | 30 | 2 968.64/968.89 c 949s | 18 | 436423 | 387652 | 45487 17 | 30 | 2 970.74/970.91 c 951s | 18 | 437269 | 388452 | 45487 17 | 30 | 2 972.94/973.13 c 953s | 18 | 438177 | 389352 | 45487 17 | 30 | 2 974.94/975.18 c 955s | 18 | 438999 | 390152 | 45487 17 | 30 | 2 977.04/977.21 c 957s | 18 | 439804 | 390952 | 45487 17 | 30 | 2 979.04/979.30 c 959s | 18 | 440614 | 391752 | 45487 17 | 30 | 2 981.24/981.45 c 961s | 18 | 441412 | 392552 | 45487 17 | 30 | 2 983.54/983.72 c 963s | 18 | 442220 | 393352 | 45487 17 | 30 | 2 985.55/985.77 c 965s | 18 | 442927 | 394052 | 45487 17 | 30 | 2 987.54/987.77 c 967s | 18 | 443633 | 394752 | 45487 17 | 30 | 2 989.64/989.89 c 970s | 18 | 444335 | 395452 | 45487 17 | 30 | 2 991.84/992.04 c 972s | 18 | 445035 | 396152 | 45487 17 | 30 | 2 994.04/994.27 c 974s | 18 | 445739 | 396852 | 45487 17 | 30 | 2 996.34/996.55 c 976s | 18 | 446442 | 397552 | 45487 17 | 30 | 2 998.64/998.83 c 979s | 18 | 447140 | 398252 | 45487 17 | 30 | 2 1000.64/1000.84 c 981s | 18 | 447741 | 398852 | 45487 17 | 30 | 2 1002.64/1002.85 c 983s | 18 | 448343 | 399452 | 45487 17 | 30 | 2 1004.64/1004.87 c 985s | 18 | 448947 | 400052 | 45487 17 | 30 | 2 1006.74/1006.93 c 987s | 18 | 449550 | 400652 | 45487 17 | 30 | 2 1008.84/1009.01 c 989s | 18 | 450154 | 401252 | 45487 17 | 30 | 2 1010.94/1011.18 c 991s | 18 | 450759 | 401852 | 45487 17 | 30 | 2 1013.14/1013.35 c 993s | 18 | 451363 | 402452 | 45487 17 | 30 | 2 1015.33/1015.54 c 995s | 18 | 451966 | 403052 | 45487 17 | 30 | 2 1017.63/1017.80 c 998s | 18 | 452566 | 403652 | 45487 17 | 30 | 2 1023.84/1024.07 c 1004s | 18 | 452669 | 403752 | 45487 18 | 30 | 2 1025.94/1026.13 c 1006s | 18 | 453771 | 404852 | 45487 18 | 30 | 2 1027.93/1028.16 c 1008s | 18 | 454793 | 405852 | 45487 18 | 30 | 2 1029.93/1030.16 c 1010s | 18 | 455797 | 406852 | 45487 18 | 30 | 2 1032.03/1032.28 c 1012s | 18 | 456804 | 407852 | 45487 18 | 30 | 2 1034.83/1035.00 c 1015s | 18 | 456909 | 407952 | 45487 18 | 30 | 2 1036.93/1037.19 c 1017s | 18 | 458017 | 409052 | 45487 18 | 30 | 2 1039.13/1039.36 c 1019s | 18 | 459027 | 410052 | 45487 18 | 30 | 2 1041.33/1041.57 c 1021s | 18 | 460037 | 411052 | 45487 18 | 30 | 2 1043.43/1043.66 c 1023s | 18 | 460943 | 411952 | 45487 18 | 30 | 2 1045.53/1045.76 c 1025s | 18 | 461871 | 412852 | 45487 18 | 30 | 2 1047.73/1047.90 c 1028s | 18 | 462796 | 413752 | 45487 18 | 30 | 2 1050.02/1050.26 c 1030s | 18 | 463897 | 414352 | 45487 18 | 30 | 2 1052.33/1052.57 c 1032s | 18 | 464712 | 414952 | 45487 18 | 30 | 2 1054.73/1054.91 c 1035s | 18 | 465536 | 415552 | 45487 18 | 30 | 2 1057.03/1057.26 c 1037s | 18 | 466313 | 416152 | 45487 18 | 30 | 2 1059.13/1059.37 c 1039s | 18 | 466997 | 416652 | 45487 18 | 30 | 2 1061.22/1061.49 c 1041s | 18 | 467644 | 417152 | 45487 18 | 30 | 2 1063.53/1063.78 c 1044s | 18 | 468300 | 417652 | 45487 18 | 30 | 2 1065.83/1066.09 c 1046s | 18 | 469090 | 418252 | 45487 18 | 30 | 2 1068.12/1068.30 c 1048s | 18 | 469748 | 418752 | 45487 18 | 30 | 2 1070.32/1070.59 c 1050s | 18 | 470412 | 419252 | 45487 18 | 30 | 2 1072.52/1072.72 c 1052s | 18 | 471047 | 419752 | 45487 18 | 30 | 2 1074.53/1074.73 c 1054s | 18 | 471568 | 420152 | 45487 18 | 30 | 2 1077.02/1077.22 c 1057s | 18 | 472214 | 420652 | 45487 18 | 30 | 2 1079.42/1079.67 c 1059s | 18 | 472922 | 421152 | 45487 18 | 30 | 2 1081.72/1081.95 c 1062s | 18 | 473580 | 421652 | 45487 18 | 30 | 2 1084.02/1084.22 c 1064s | 18 | 474264 | 422152 | 45487 18 | 30 | 2 1086.42/1086.64 c 1066s | 18 | 474911 | 422652 | 45487 18 | 30 | 2 1088.52/1088.77 c 1068s | 18 | 475557 | 423152 | 45487 18 | 30 | 2 1090.62/1090.89 c 1071s | 18 | 476233 | 423652 | 45487 18 | 30 | 2 1092.82/1093.09 c 1073s | 18 | 476864 | 424152 | 45487 18 | 30 | 2 1095.22/1095.44 c 1075s | 18 | 477536 | 424652 | 45487 18 | 30 | 2 1097.62/1097.84 c 1078s | 18 | 478174 | 425152 | 45487 18 | 30 | 2 1100.02/1100.24 c 1080s | 18 | 478791 | 425652 | 45487 18 | 30 | 2 1102.32/1102.55 c 1082s | 18 | 479449 | 426152 | 45487 18 | 30 | 2 1104.62/1104.83 c 1085s | 18 | 480113 | 426652 | 45487 18 | 30 | 2 1107.12/1107.33 c 1087s | 18 | 480731 | 427152 | 45487 18 | 30 | 2 1109.62/1109.86 c 1090s | 18 | 480855 | 427252 | 45487 19 | 30 | 2 1111.82/1112.09 c 1092s | 18 | 481383 | 427652 | 45487 19 | 30 | 2 1113.92/1114.11 c 1094s | 18 | 481906 | 428052 | 45487 19 | 30 | 2 1116.33/1116.55 c 1096s | 18 | 482554 | 428552 | 45487 19 | 30 | 2 1118.72/1118.95 c 1099s | 18 | 483189 | 429052 | 45487 19 | 30 | 2 1120.83/1121.08 c 1101s | 18 | 483813 | 429552 | 45487 19 | 30 | 2 1123.03/1123.27 c 1103s | 18 | 484441 | 430052 | 45487 19 | 30 | 2 1125.13/1125.34 c 1105s | 18 | 485078 | 430552 | 45487 19 | 30 | 2 1127.22/1127.41 c 1107s | 18 | 485694 | 431052 | 45487 19 | 30 | 2 1129.32/1129.56 c 1109s | 18 | 486312 | 431552 | 45487 19 | 30 | 2 1131.62/1131.88 c 1112s | 18 | 487065 | 432152 | 45487 19 | 30 | 2 1133.72/1133.91 c 1114s | 18 | 487705 | 432652 | 45487 19 | 30 | 2 1135.72/1135.98 c 1116s | 18 | 488343 | 433152 | 45487 19 | 30 | 2 1137.82/1138.03 c 1118s | 18 | 488972 | 433652 | 45487 19 | 30 | 2 1139.82/1140.03 c 1120s | 18 | 489588 | 434152 | 45487 19 | 30 | 2 1142.12/1142.36 c 1122s | 18 | 490392 | 434752 | 45487 19 | 30 | 2 1144.12/1144.39 c 1124s | 18 | 491057 | 435252 | 45487 19 | 30 | 2 1146.22/1146.42 c 1126s | 18 | 491697 | 435752 | 45487 19 | 30 | 2 1148.62/1148.80 c 1129s | 18 | 492480 | 436352 | 45487 19 | 30 | 2 1150.62/1150.81 c 1131s | 18 | 493158 | 436852 | 45487 19 | 30 | 2 1152.91/1153.12 c 1133s | 18 | 493956 | 437452 | 45487 19 | 30 | 2 1155.21/1155.41 c 1135s | 18 | 494737 | 438052 | 45487 19 | 30 | 2 1157.21/1157.48 c 1137s | 18 | 495400 | 438552 | 45487 19 | 30 | 2 1159.22/1159.48 c 1139s | 18 | 496057 | 439052 | 45487 19 | 30 | 2 1161.31/1161.55 c 1141s | 18 | 496684 | 439552 | 45487 19 | 30 | 2 1163.41/1163.62 c 1143s | 18 | 497375 | 440052 | 45487 19 | 30 | 2 1165.51/1165.75 c 1145s | 18 | 498030 | 440552 | 45487 19 | 30 | 2 1167.51/1167.77 c 1147s | 18 | 498698 | 441052 | 50036 19 | 30 | 2 1169.71/1169.94 c 1150s | 18 | 499312 | 441552 | 50036 19 | 30 | 2 1171.81/1172.08 c 1152s | 18 | 499940 | 442052 | 50036 19 | 30 | 2 1173.81/1174.09 c 1154s | 18 | 500583 | 442552 | 50036 19 | 30 | 2 1176.01/1176.21 c 1156s | 18 | 501243 | 443052 | 50036 19 | 30 | 2 1178.02/1178.21 c 1158s | 18 | 501895 | 443552 | 50036 19 | 30 | 2 1180.31/1180.52 c 1160s | 18 | 502699 | 444152 | 50036 19 | 30 | 2 1181.71/1181.95 c 1162s | 19 | 503141 | 444482 | 50036 19 | 30 | 2 1184.31/1184.57 c 1164s | 19 | 503475 | 444582 | 50036 19 | 30 | 2 1186.91/1187.13 c 1167s | 19 | 504319 | 445382 | 50036 19 | 30 | 2 1188.91/1189.17 c 1169s | 19 | 506133 | 447082 | 50036 19 | 30 | 2 1191.00/1191.21 c 1171s | 19 | 508000 | 448782 | 50036 19 | 30 | 2 1193.00/1193.22 c 1173s | 19 | 509555 | 450182 | 50036 19 | 30 | 2 1195.00/1195.28 c 1175s | 19 | 511379 | 451782 | 50036 19 | 30 | 2 1197.20/1197.42 c 1177s | 19 | 513058 | 453282 | 50036 19 | 30 | 2 1199.20/1199.49 c 1179s | 19 | 514646 | 454682 | 50036 19 | 30 | 2 1201.30/1201.53 c 1181s | 19 | 516088 | 455982 | 50036 19 | 30 | 2 1203.31/1203.53 c 1183s | 19 | 517457 | 457182 | 50036 19 | 30 | 2 1205.30/1205.58 c 1185s | 19 | 518804 | 458382 | 50036 19 | 30 | 2 1207.50/1207.74 c 1187s | 19 | 520030 | 459482 | 50036 20 | 30 | 2 1209.60/1209.85 c 1190s | 19 | 521258 | 460582 | 50036 20 | 30 | 2 1211.60/1211.86 c 1192s | 19 | 522486 | 461682 | 50036 20 | 30 | 2 1213.80/1214.02 c 1194s | 19 | 523890 | 462982 | 50036 20 | 30 | 2 1215.80/1216.06 c 1196s | 19 | 525223 | 464182 | 50036 20 | 30 | 2 1218.00/1218.23 c 1198s | 19 | 525894 | 464782 | 50036 20 | 30 | 2 1220.00/1220.25 c 1200s | 19 | 526940 | 465682 | 50036 20 | 30 | 2 1222.20/1222.48 c 1202s | 19 | 528098 | 466682 | 50036 20 | 30 | 2 1224.50/1224.73 c 1204s | 19 | 529170 | 467582 | 50036 20 | 30 | 2 1226.70/1226.96 c 1207s | 19 | 530209 | 468482 | 50036 20 | 30 | 2 1228.90/1229.11 c 1209s | 19 | 531261 | 469382 | 50036 20 | 30 | 2 1230.90/1231.13 c 1211s | 19 | 532171 | 470182 | 50036 20 | 30 | 2 1233.00/1233.23 c 1213s | 19 | 533107 | 470982 | 50036 20 | 30 | 2 1235.10/1235.40 c 1215s | 19 | 534032 | 471782 | 50036 20 | 30 | 2 1237.30/1237.55 c 1217s | 19 | 534964 | 472582 | 50036 20 | 30 | 2 1239.60/1239.84 c 1220s | 19 | 535881 | 473382 | 50036 20 | 30 | 2 1241.70/1241.91 c 1222s | 19 | 536692 | 474082 | 50036 20 | 30 | 2 1243.70/1243.96 c 1224s | 19 | 537541 | 474782 | 50036 20 | 30 | 2 1245.80/1246.08 c 1226s | 19 | 538357 | 475482 | 50036 20 | 30 | 2 1247.90/1248.16 c 1228s | 19 | 539184 | 476182 | 50036 20 | 30 | 2 1250.10/1250.33 c 1230s | 19 | 540022 | 476882 | 50036 20 | 30 | 2 1252.20/1252.41 c 1232s | 19 | 540841 | 477582 | 50036 20 | 30 | 2 1254.30/1254.54 c 1234s | 19 | 541663 | 478282 | 50036 20 | 30 | 2 1256.40/1256.63 c 1236s | 19 | 542402 | 478882 | 50036 20 | 30 | 2 1258.39/1258.66 c 1238s | 19 | 543109 | 479482 | 50036 20 | 30 | 2 1260.40/1260.70 c 1240s | 19 | 543821 | 480082 | 50036 20 | 30 | 2 1262.49/1262.73 c 1242s | 19 | 544519 | 480682 | 50036 20 | 30 | 2 1264.80/1265.02 c 1245s | 19 | 545360 | 481382 | 50036 20 | 30 | 2 1267.10/1267.32 c 1247s | 19 | 546186 | 482082 | 50036 20 | 30 | 2 1269.20/1269.50 c 1249s | 19 | 546889 | 482682 | 50036 20 | 30 | 2 1271.29/1271.57 c 1251s | 19 | 547581 | 483282 | 50036 20 | 30 | 2 1273.49/1273.72 c 1253s | 19 | 548285 | 483882 | 50036 20 | 30 | 2 1277.29/1277.54 c 1257s | 19 | 548976 | 484482 | 50036 20 | 30 | 2 1279.39/1279.62 c 1259s | 19 | 549663 | 485082 | 50036 20 | 30 | 2 1281.69/1281.91 c 1262s | 19 | 550366 | 485682 | 50036 20 | 30 | 2 1283.69/1283.98 c 1264s | 19 | 551064 | 486282 | 50036 20 | 30 | 2 1285.89/1286.17 c 1266s | 19 | 551762 | 486882 | 50036 20 | 30 | 2 1288.09/1288.38 c 1268s | 19 | 552371 | 487382 | 50036 21 | 30 | 2 1290.29/1290.52 c 1270s | 19 | 553296 | 488182 | 50036 21 | 30 | 2 1292.40/1292.62 c 1272s | 19 | 554229 | 488982 | 50036 21 | 30 | 2 1294.90/1295.16 c 1275s | 19 | 554938 | 489582 | 50036 21 | 30 | 2 1296.99/1297.23 c 1277s | 19 | 555839 | 490382 | 50036 21 | 30 | 2 1299.40/1299.65 c 1279s | 19 | 556795 | 491182 | 50036 21 | 30 | 2 1301.60/1301.88 c 1282s | 19 | 557700 | 491982 | 50036 21 | 30 | 2 1303.79/1304.00 c 1284s | 19 | 558516 | 492682 | 50036 21 | 30 | 2 1306.09/1306.33 c 1286s | 19 | 559455 | 493482 | 50036 21 | 30 | 2 1308.19/1308.46 c 1288s | 19 | 560261 | 494182 | 50036 21 | 30 | 2 1310.29/1310.55 c 1290s | 19 | 560615 | 494482 | 50036 21 | 30 | 2 1312.39/1312.62 c 1292s | 19 | 561439 | 495182 | 50036 21 | 30 | 2 1314.40/1314.63 c 1294s | 19 | 562266 | 495882 | 50036 21 | 30 | 2 1316.39/1316.65 c 1296s | 19 | 563101 | 496582 | 50036 21 | 30 | 2 1318.49/1318.72 c 1298s | 19 | 563914 | 497282 | 50036 21 | 30 | 2 1320.69/1320.95 c 1301s | 19 | 564719 | 497982 | 50036 21 | 30 | 2 1322.79/1323.09 c 1303s | 19 | 565550 | 498682 | 50036 21 | 30 | 2 1325.09/1325.30 c 1305s | 19 | 566396 | 499382 | 50036 21 | 30 | 2 1327.19/1327.46 c 1307s | 19 | 567230 | 500082 | 50036 21 | 30 | 2 1329.49/1329.77 c 1309s | 19 | 568047 | 500782 | 50036 21 | 30 | 2 1331.79/1332.05 c 1312s | 19 | 568872 | 501482 | 50036 21 | 30 | 2 1333.89/1334.18 c 1314s | 19 | 569588 | 502082 | 50036 21 | 30 | 2 1336.19/1336.48 c 1316s | 19 | 570409 | 502782 | 50036 21 | 30 | 2 1338.29/1338.52 c 1318s | 19 | 571125 | 503382 | 50036 21 | 30 | 2 1340.39/1340.63 c 1320s | 19 | 571818 | 503982 | 50036 21 | 30 | 2 1342.49/1342.79 c 1323s | 19 | 572536 | 504582 | 50036 21 | 30 | 2 1344.59/1344.85 c 1325s | 19 | 573229 | 505182 | 50036 21 | 30 | 2 1346.69/1346.98 c 1327s | 19 | 573924 | 505782 | 50036 21 | 30 | 2 1348.79/1349.04 c 1329s | 19 | 574597 | 506382 | 50036 21 | 30 | 2 1350.99/1351.21 c 1331s | 19 | 575287 | 506982 | 50036 21 | 30 | 2 1353.09/1353.35 c 1333s | 19 | 575994 | 507582 | 50036 21 | 30 | 2 1355.29/1355.50 c 1335s | 19 | 576687 | 508182 | 50036 21 | 30 | 2 1357.48/1357.76 c 1337s | 19 | 577389 | 508782 | 50036 21 | 30 | 2 1359.78/1360.07 c 1340s | 19 | 578109 | 509382 | 50036 21 | 30 | 2 1362.08/1362.39 c 1342s | 19 | 578815 | 509982 | 50036 21 | 30 | 2 1364.48/1364.70 c 1344s | 19 | 579525 | 510582 | 50036 21 | 30 | 2 1366.88/1367.10 c 1347s | 19 | 580221 | 511182 | 50036 21 | 30 | 2 1369.18/1369.45 c 1349s | 19 | 580938 | 511782 | 50036 21 | 30 | 2 1371.49/1371.78 c 1352s | 19 | 581637 | 512382 | 50036 21 | 30 | 2 1373.58/1373.85 c 1354s | 19 | 582232 | 512882 | 50036 21 | 30 | 2 1375.58/1375.88 c 1356s | 19 | 582808 | 513382 | 50036 21 | 30 | 2 1377.68/1377.90 c 1358s | 19 | 583383 | 513882 | 50036 21 | 30 | 2 1379.78/1380.01 c 1360s | 19 | 583951 | 514382 | 50036 21 | 30 | 2 1381.78/1382.07 c 1362s | 19 | 584527 | 514882 | 50036 21 | 30 | 2 1384.18/1384.48 c 1364s | 19 | 584646 | 514982 | 50036 22 | 30 | 2 1386.28/1386.56 c 1366s | 19 | 585476 | 515682 | 50036 22 | 30 | 2 1388.38/1388.63 c 1368s | 19 | 586424 | 516482 | 50036 22 | 30 | 2 1390.47/1390.76 c 1370s | 19 | 587369 | 517282 | 50036 22 | 30 | 2 1392.68/1392.96 c 1373s | 19 | 588315 | 518082 | 50036 22 | 30 | 2 1394.77/1395.08 c 1375s | 19 | 589262 | 518882 | 50036 22 | 30 | 2 1396.97/1397.25 c 1377s | 19 | 590211 | 519682 | 50036 22 | 30 | 2 1399.17/1399.43 c 1379s | 19 | 591136 | 520482 | 50036 22 | 30 | 2 1401.28/1401.51 c 1381s | 19 | 591964 | 521182 | 50036 22 | 30 | 2 1403.27/1403.57 c 1383s | 19 | 592788 | 521882 | 50036 22 | 30 | 2 1405.37/1405.69 c 1385s | 19 | 593604 | 522582 | 50036 22 | 30 | 2 1407.57/1407.82 c 1388s | 19 | 594427 | 523282 | 50036 22 | 30 | 2 1409.67/1409.95 c 1390s | 19 | 595239 | 523982 | 50036 22 | 30 | 2 1423.68/1423.96 c 1404s | 19 | 595833 | 524482 | 50036 22 | 30 | 2 1425.78/1426.00 c 1406s | 19 | 596640 | 525182 | 50036 22 | 30 | 2 1427.87/1428.10 c 1408s | 19 | 597462 | 525882 | 50036 22 | 30 | 2 1429.88/1430.16 c 1410s | 19 | 598289 | 526582 | 50036 22 | 30 | 2 1432.17/1432.42 c 1412s | 19 | 599110 | 527282 | 50036 22 | 30 | 2 1434.37/1434.60 c 1414s | 19 | 599950 | 527982 | 50036 22 | 30 | 2 1436.48/1436.77 c 1416s | 19 | 600781 | 528682 | 50036 22 | 30 | 2 1438.68/1438.98 c 1419s | 19 | 601584 | 529382 | 50036 22 | 30 | 2 1441.07/1441.32 c 1421s | 19 | 602420 | 530082 | 50036 22 | 30 | 2 1443.08/1443.33 c 1423s | 19 | 603129 | 530682 | 50036 22 | 30 | 2 1445.37/1445.62 c 1425s | 19 | 603949 | 531382 | 50036 22 | 30 | 2 1447.48/1447.77 c 1427s | 19 | 604680 | 531982 | 50036 22 | 30 | 2 1449.68/1449.99 c 1430s | 19 | 605406 | 532582 | 50036 22 | 30 | 2 1452.07/1452.31 c 1432s | 19 | 606219 | 533282 | 50036 22 | 30 | 2 1454.08/1454.39 c 1434s | 19 | 606934 | 533882 | 50036 22 | 30 | 2 1456.18/1456.48 c 1436s | 19 | 607669 | 534482 | 50036 22 | 30 | 2 1458.48/1458.75 c 1438s | 19 | 608378 | 535082 | 50036 22 | 30 | 2 1460.58/1460.90 c 1441s | 19 | 609077 | 535682 | 50036 22 | 30 | 2 1462.88/1463.17 c 1443s | 19 | 609764 | 536282 | 50036 22 | 30 | 2 1465.08/1465.38 c 1445s | 19 | 610488 | 536882 | 50036 22 | 30 | 2 1467.37/1467.60 c 1447s | 19 | 611192 | 537482 | 50036 22 | 30 | 2 1469.57/1469.87 c 1450s | 19 | 611889 | 538082 | 50036 22 | 30 | 2 1471.87/1472.16 c 1452s | 19 | 612589 | 538682 | 50036 22 | 30 | 2 1473.87/1474.18 c 1454s | 19 | 613156 | 539182 | 50036 22 | 30 | 2 1476.17/1476.47 c 1456s | 19 | 613854 | 539782 | 50036 22 | 30 | 2 1478.57/1478.87 c 1459s | 19 | 614556 | 540382 | 50036 22 | 30 | 2 1480.57/1480.87 c 1461s | 19 | 615135 | 540882 | 50036 22 | 30 | 2 1482.87/1483.19 c 1463s | 19 | 615841 | 541482 | 50036 22 | 30 | 2 1484.96/1485.21 c 1465s | 19 | 616316 | 541882 | 50036 22 | 30 | 2 1487.16/1487.47 c 1467s | 19 | 617029 | 542482 | 50036 22 | 30 | 2 1491.56/1491.87 c 1472s | 19 | 617501 | 542882 | 50036 23 | 30 | 2 1493.86/1494.11 c 1474s | 19 | 618461 | 543682 | 50036 23 | 30 | 2 1495.96/1496.24 c 1476s | 19 | 619280 | 544382 | 50036 23 | 30 | 2 1497.97/1498.27 c 1478s | 19 | 620094 | 545082 | 50036 23 | 30 | 2 1500.17/1500.43 c 1480s | 19 | 620909 | 545782 | 50036 23 | 30 | 2 1502.16/1502.44 c 1482s | 19 | 621736 | 546482 | 50036 23 | 30 | 2 1504.36/1504.62 c 1484s | 19 | 622688 | 547282 | 50036 23 | 30 | 2 1506.66/1506.90 c 1487s | 19 | 623518 | 547982 | 50036 23 | 30 | 2 1508.66/1508.92 c 1489s | 19 | 624367 | 548682 | 50036 23 | 30 | 2 1510.76/1511.06 c 1491s | 19 | 625181 | 549382 | 50036 23 | 30 | 2 1512.86/1513.16 c 1493s | 19 | 625990 | 550082 | 50036 23 | 30 | 2 1515.06/1515.31 c 1495s | 19 | 626802 | 550782 | 50036 23 | 30 | 2 1517.26/1517.57 c 1497s | 19 | 627611 | 551482 | 50036 23 | 30 | 2 1519.36/1519.65 c 1499s | 19 | 628313 | 552082 | 50036 23 | 30 | 2 1521.66/1521.93 c 1502s | 19 | 629121 | 552782 | 50036 23 | 30 | 2 1523.76/1524.02 c 1504s | 19 | 629844 | 553382 | 50036 23 | 30 | 2 1525.86/1526.13 c 1506s | 19 | 630568 | 553982 | 50036 23 | 30 | 2 1527.96/1528.23 c 1508s | 19 | 631278 | 554582 | 50036 23 | 30 | 2 1530.06/1530.34 c 1510s | 19 | 631962 | 555182 | 50036 23 | 30 | 2 1532.16/1532.44 c 1512s | 19 | 632670 | 555782 | 50036 23 | 30 | 2 1534.36/1534.65 c 1514s | 19 | 633365 | 556382 | 50036 23 | 30 | 2 1536.46/1536.72 c 1516s | 19 | 634074 | 556982 | 50036 23 | 30 | 2 1538.45/1538.78 c 1519s | 19 | 634802 | 557582 | 50036 23 | 30 | 2 1540.55/1540.88 c 1521s | 19 | 635496 | 558182 | 50036 23 | 30 | 2 1542.85/1543.11 c 1523s | 19 | 636192 | 558782 | 50036 23 | 30 | 2 1544.95/1545.30 c 1525s | 19 | 636895 | 559382 | 50036 23 | 30 | 2 1547.35/1547.61 c 1527s | 19 | 637612 | 559982 | 50036 23 | 30 | 2 1549.95/1550.25 c 1530s | 19 | 638090 | 560382 | 50036 23 | 30 | 2 1552.15/1552.49 c 1532s | 19 | 638910 | 561082 | 50036 23 | 30 | 2 1554.35/1554.63 c 1534s | 19 | 639631 | 561682 | 50036 23 | 30 | 2 1556.36/1556.67 c 1536s | 19 | 640325 | 562282 | 50036 23 | 30 | 2 1558.65/1558.96 c 1539s | 19 | 641128 | 562982 | 50036 23 | 30 | 2 1560.75/1561.02 c 1541s | 19 | 641821 | 563582 | 50036 23 | 30 | 2 1562.85/1563.20 c 1543s | 19 | 642531 | 564182 | 50036 23 | 30 | 2 1565.15/1565.41 c 1545s | 19 | 643253 | 564782 | 50036 23 | 30 | 2 1567.45/1567.71 c 1547s | 19 | 643937 | 565382 | 50036 23 | 30 | 2 1569.65/1569.93 c 1550s | 19 | 644641 | 565982 | 50036 23 | 30 | 2 1571.95/1572.24 c 1552s | 19 | 645338 | 566582 | 50036 23 | 30 | 2 1574.15/1574.48 c 1554s | 19 | 646039 | 567182 | 50036 23 | 30 | 2 1576.55/1576.83 c 1557s | 19 | 646739 | 567782 | 50036 23 | 30 | 2 1578.65/1578.91 c 1559s | 19 | 647332 | 568282 | 50036 23 | 30 | 2 1580.94/1581.27 c 1561s | 19 | 648059 | 568882 | 50036 23 | 30 | 2 1583.24/1583.58 c 1563s | 19 | 648741 | 569482 | 50036 23 | 30 | 2 1585.54/1585.88 c 1566s | 19 | 649334 | 569982 | 50036 23 | 30 | 2 1587.74/1588.04 c 1568s | 19 | 649910 | 570482 | 50036 23 | 30 | 2 1591.84/1592.14 c 1572s | 19 | 650367 | 570882 | 50036 24 | 30 | 2 1594.05/1594.34 c 1574s | 19 | 651315 | 571682 | 50036 24 | 30 | 2 1596.15/1596.40 c 1576s | 19 | 652247 | 572482 | 50036 24 | 30 | 2 1598.25/1598.53 c 1578s | 19 | 653189 | 573282 | 50036 24 | 30 | 2 1600.45/1600.72 c 1580s | 19 | 654126 | 574082 | 50036 24 | 30 | 2 1602.46/1602.73 c 1582s | 19 | 654941 | 574782 | 50036 24 | 30 | 2 1604.55/1604.82 c 1585s | 19 | 655631 | 575382 | 50036 24 | 30 | 2 1606.55/1606.83 c 1587s | 19 | 656443 | 576082 | 50036 24 | 30 | 2 1608.75/1609.00 c 1589s | 19 | 657272 | 576782 | 50036 24 | 30 | 2 1610.85/1611.18 c 1591s | 19 | 658202 | 577582 | 50036 24 | 30 | 2 1613.15/1613.42 c 1593s | 19 | 659172 | 578382 | 50036 24 | 30 | 2 1615.35/1615.64 c 1595s | 19 | 660122 | 579182 | 50036 24 | 30 | 2 1617.45/1617.79 c 1598s | 19 | 660945 | 579882 | 50036 24 | 30 | 2 1620.54/1620.89 c 1601s | 19 | 661545 | 580382 | 50036 24 | 30 | 2 1622.74/1623.01 c 1603s | 19 | 662378 | 581082 | 50036 24 | 30 | 2 1624.74/1625.08 c 1605s | 19 | 663172 | 581782 | 50036 24 | 30 | 2 1626.94/1627.29 c 1607s | 19 | 663980 | 582482 | 50036 24 | 30 | 2 1629.24/1629.57 c 1609s | 19 | 664803 | 583182 | 50036 24 | 30 | 2 1631.54/1631.86 c 1612s | 19 | 665628 | 583882 | 50036 24 | 30 | 2 1633.84/1634.12 c 1614s | 19 | 666445 | 584582 | 50036 24 | 30 | 2 1635.84/1636.18 c 1616s | 19 | 667146 | 585182 | 50036 24 | 30 | 2 1638.14/1638.47 c 1618s | 19 | 667977 | 585882 | 50036 24 | 30 | 2 1640.44/1640.78 c 1621s | 19 | 668777 | 586582 | 50036 24 | 30 | 2 1642.54/1642.87 c 1623s | 19 | 669496 | 587182 | 50036 24 | 30 | 2 1644.94/1645.23 c 1625s | 19 | 670331 | 587882 | 50036 24 | 30 | 2 1647.04/1647.36 c 1627s | 19 | 671027 | 588482 | 50036 24 | 30 | 2 1649.24/1649.54 c 1629s | 19 | 671746 | 589082 | 50036 24 | 30 | 2 1651.44/1651.77 c 1631s | 19 | 672426 | 589682 | 50036 24 | 30 | 2 1653.64/1653.96 c 1634s | 19 | 673127 | 590282 | 50036 24 | 30 | 2 1655.84/1656.19 c 1636s | 19 | 673826 | 590882 | 50036 24 | 30 | 2 1658.24/1658.50 c 1638s | 19 | 674518 | 591482 | 50036 24 | 30 | 2 1660.34/1660.68 c 1640s | 19 | 675227 | 592082 | 50036 24 | 30 | 2 1662.64/1662.98 c 1643s | 19 | 675927 | 592682 | 50036 24 | 30 | 2 1664.93/1665.25 c 1645s | 19 | 676627 | 593282 | 50036 24 | 30 | 2 1666.93/1667.26 c 1647s | 19 | 677231 | 593782 | 50036 24 | 30 | 2 1669.33/1669.63 c 1649s | 19 | 677930 | 594382 | 50036 24 | 30 | 2 1671.33/1671.66 c 1651s | 19 | 678514 | 594882 | 50036 24 | 30 | 2 1673.43/1673.72 c 1653s | 19 | 679117 | 595382 | 50036 24 | 30 | 2 1675.43/1675.74 c 1655s | 19 | 679710 | 595882 | 50036 24 | 30 | 2 1677.43/1677.75 c 1657s | 19 | 680274 | 596382 | 50036 24 | 30 | 2 1679.44/1679.79 c 1660s | 19 | 680852 | 596882 | 50036 24 | 30 | 2 1681.64/1681.94 c 1662s | 19 | 681421 | 597382 | 50036 24 | 30 | 2 1683.73/1684.04 c 1664s | 19 | 682003 | 597882 | 50036 24 | 30 | 2 1685.83/1686.10 c 1666s | 19 | 682562 | 598382 | 50036 24 | 30 | 2 1689.13/1689.42 c 1669s | 19 | 682796 | 598582 | 50036 25 | 30 | 2 1691.13/1691.47 c 1671s | 19 | 683638 | 599282 | 50036 25 | 30 | 2 1693.33/1693.69 c 1673s | 19 | 684584 | 600082 | 50036 25 | 30 | 2 1695.43/1695.70 c 1675s | 19 | 684940 | 600382 | 50036 25 | 30 | 2 1697.53/1697.80 c 1678s | 19 | 685863 | 601182 | 50036 25 | 30 | 2 1699.73/1700.01 c 1680s | 19 | 686778 | 601982 | 50036 25 | 30 | 2 1701.73/1702.06 c 1682s | 19 | 687575 | 602682 | 50036 25 | 30 | 2 1703.73/1704.06 c 1684s | 19 | 688400 | 603382 | 50036 25 | 30 | 2 1706.02/1706.35 c 1686s | 19 | 689334 | 604182 | 50036 25 | 30 | 2 1708.03/1708.40 c 1688s | 19 | 690139 | 604882 | 50036 25 | 30 | 2 1712.73/1713.01 c 1693s | 19 | 690713 | 605382 | 50036 25 | 30 | 2 1714.93/1715.28 c 1695s | 19 | 691623 | 606182 | 50036 25 | 30 | 2 1717.13/1717.49 c 1697s | 19 | 692439 | 606882 | 50036 25 | 30 | 2 1719.33/1719.69 c 1699s | 19 | 693245 | 607582 | 50036 25 | 30 | 2 1721.53/1721.86 c 1702s | 19 | 694064 | 608282 | 50036 25 | 30 | 2 1723.83/1724.17 c 1704s | 19 | 694855 | 608982 | 50036 25 | 30 | 2 1725.93/1726.26 c 1706s | 19 | 695536 | 609582 | 50036 25 | 30 | 2 1728.23/1728.57 c 1708s | 19 | 696352 | 610282 | 50036 25 | 30 | 2 1730.53/1730.84 c 1711s | 19 | 697163 | 610982 | 50036 25 | 30 | 2 1732.73/1733.00 c 1713s | 19 | 697864 | 611582 | 50036 25 | 30 | 2 1734.93/1735.23 c 1715s | 19 | 698553 | 612182 | 50036 25 | 30 | 2 1736.93/1737.27 c 1717s | 19 | 699235 | 612782 | 50036 25 | 30 | 2 1739.03/1739.39 c 1719s | 19 | 699920 | 613382 | 50036 25 | 30 | 2 1741.13/1741.48 c 1721s | 19 | 700597 | 613982 | 50036 25 | 30 | 2 1743.23/1743.56 c 1723s | 19 | 701283 | 614582 | 50036 25 | 30 | 2 1745.53/1745.84 c 1726s | 19 | 701978 | 615182 | 50036 25 | 30 | 2 1747.53/1747.85 c 1728s | 19 | 702555 | 615682 | 50036 25 | 30 | 2 1749.63/1749.90 c 1730s | 19 | 703127 | 616182 | 50036 25 | 30 | 2 1751.82/1752.15 c 1732s | 19 | 703811 | 616782 | 50036 25 | 30 | 2 1754.12/1754.49 c 1734s | 19 | 704525 | 617382 | 50036 25 | 30 | 2 1756.53/1756.84 c 1737s | 19 | 705206 | 617982 | 50036 25 | 30 | 2 1758.63/1758.94 c 1739s | 19 | 705791 | 618482 | 50036 25 | 30 | 2 1760.62/1760.94 c 1741s | 19 | 706363 | 618982 | 50036 25 | 30 | 2 1763.03/1763.38 c 1743s | 19 | 707059 | 619582 | 50036 25 | 30 | 2 1765.42/1765.75 c 1745s | 19 | 707747 | 620182 | 50036 25 | 30 | 2 1767.82/1768.12 c 1748s | 19 | 708444 | 620782 | 50036 25 | 30 | 2 1769.82/1770.19 c 1750s | 19 | 709019 | 621282 | 50036 25 | 30 | 2 1771.93/1772.28 c 1752s | 19 | 709605 | 621782 | 50036 25 | 30 | 2 1774.02/1774.38 c 1754s | 19 | 710184 | 622282 | 50036 25 | 30 | 2 1776.32/1776.66 c 1756s | 19 | 710768 | 622782 | 50036 25 | 30 | 2 1778.52/1778.84 c 1759s | 19 | 711339 | 623282 | 50036 25 | 30 | 2 1780.62/1780.98 c 1761s | 19 | 711928 | 623782 | 50036 25 | 30 | 2 1782.92/1783.27 c 1763s | 19 | 712491 | 624282 | 50036 25 | 30 | 2 1785.31/1785.67 c 1765s | 19 | 713047 | 624782 | 50036 25 | 30 | 2 1787.61/1787.93 c 1768s | 19 | 713616 | 625282 | 50036 25 | 30 | 2 1789.91/1790.23 c 1770s | 19 | 714191 | 625782 | 50036 25 | 30 | 2 1792.21/1792.53 c 1772s | 19 | 714764 | 626282 | 50036 25 | 30 | 2 1794.61/1794.92 c 1775s | 19 | 714881 | 626382 | 50036 26 | 30 | 2 1796.71/1797.06 c 1777s | 19 | 715555 | 626982 | 50036 26 | 30 | 2 1798.91/1799.23 c 1779s | 19 | 716366 | 627682 | 50036 26 | 30 | 2
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-4079067-1465237596/watcher-4079067-1465237596 -o /tmp/evaluation-result-4079067-1465237596/solver-4079067-1465237596 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1239 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079067-1465237596.opb pid=3204 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.10 2.05 2.01 3/179 3207 /proc/meminfo: memFree=29229280/32872528 swapFree=10676/249824 [pid=3207] ppid=3204 vsize=665020 CPUtime=0 cores=1,3,5,7 /proc/3207/stat : 3207 (toysat) R 3204 3207 1222 0 -1 4202496 2467 0 0 0 0 0 0 0 20 0 4 0 105695081 680980480 3340 33554432000 4194304 16246674 140736988433152 140736988432576 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3207/statm: 167023 3348 441 2943 0 163917 0 [pid=3207/tid=3208] ppid=3204 vsize=683452 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3208/stat : 3208 (toysat) S 3204 3207 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105695081 699854848 3409 33554432000 4194304 16246674 140736988433152 140698984623344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3207/tid=3209] ppid=3204 vsize=687548 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3209/stat : 3209 (toysat) S 3204 3207 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105695081 704049152 3425 33554432000 4194304 16246674 140736988433152 140698900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3207/tid=3210] ppid=3204 vsize=691644 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3210/stat : 3210 (toysat) S 3204 3207 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105695081 708243456 3442 33554432000 4194304 16246674 140736988433152 140698890263728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100182 s] /proc/loadavg: 2.10 2.05 2.01 3/179 3207 /proc/meminfo: memFree=29229280/32872528 swapFree=10676/249824 [pid=3207] ppid=3204 vsize=1303108 CPUtime=0.08 cores=1,3,5,7 /proc/3207/stat : 3207 (toysat) R 3204 3207 1222 0 -1 4202496 29328 0 0 0 5 3 0 0 20 0 4 0 105695081 1334382592 30139 33554432000 4194304 16246674 140736988433152 140736988432464 7364033 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3207/statm: 325777 30155 800 2943 0 322671 0 [pid=3207/tid=3208] ppid=3204 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3208/stat : 3208 (toysat) S 3204 3207 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105695081 1334382592 30166 33554432000 4194304 16246674 140736988433152 140698984623344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3207/tid=3209] ppid=3204 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3209/stat : 3209 (toysat) S 3204 3207 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105695081 1334382592 30177 33554432000 4194304 16246674 140736988433152 140698900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3207/tid=3210] ppid=3204 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3210/stat : 3210 (toysat) S 3204 3207 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105695081 1334382592 30189 33554432000 4194304 16246674 140736988433152 140698890263728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1303108 [startup+0.200546 s] /proc/loadavg: 2.10 2.05 2.01 3/179 3207 /proc/meminfo: memFree=29229280/32872528 swapFree=10676/249824 [pid=3207] ppid=3204 vsize=1311300 CPUtime=0.19 cores=1,3,5,7 /proc/3207/stat : 3207 (toysat) R 3204 3207 1222 0 -1 4202496 44978 0 0 0 13 6 0 0 20 0 4 0 105695081 1342771200 46299 33554432000 4194304 16246674 140736988433152 140736988432464 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3207/statm: 327825 46299 801 2943 0 324719 0 [pid=3207/tid=3208] ppid=3204 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3208/stat : 3208 (toysat) S 3204 3207 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105695081 1342771200 46299 33554432000 4194304 16246674 140736988433152 140698984623344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3207/tid=3209] ppid=3204 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3209/stat : 3209 (toysat) S 3204 3207 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105695081 1342771200 46299 33554432000 4194304 16246674 140736988433152 140698900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3207/tid=3210] ppid=3204 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3210/stat : 3210 (toysat) S 3204 3207 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105695081 1342771200 46299 33554432000 4194304 16246674 140736988433152 140698890263728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1311300 [startup+0.300499 s] /proc/loadavg: 2.10 2.05 2.01 3/179 3207 /proc/meminfo: memFree=29229280/32872528 swapFree=10676/249824 [pid=3207] ppid=3204 vsize=1311300 CPUtime=0.29 cores=1,3,5,7 /proc/3207/stat : 3207 (toysat) R 3204 3207 1222 0 -1 4202496 46371 0 0 0 23 6 0 0 20 0 4 0 105695081 1342771200 47693 33554432000 4194304 16246674 140736988433152 140736988432464 7364033 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3207/statm: 327825 47712 801 2943 0 324719 0 [pid=3207/tid=3208] ppid=3204 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3208/stat : 3208 (toysat) S 3204 3207 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105695081 1342771200 47723 33554432000 4194304 16246674 140736988433152 140698984623344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3207/tid=3209] ppid=3204 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3209/stat : 3209 (toysat) S 3204 3207 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105695081 1342771200 47734 33554432000 4194304 16246674 140736988433152 140698900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3207/tid=3210] ppid=3204 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3210/stat : 3210 (toysat) S 3204 3207 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105695081 1342771200 47745 33554432000 4194304 16246674 140736988433152 140698890263728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1311300 [startup+0.700423 s] /proc/loadavg: 2.10 2.05 2.01 3/179 3207 /proc/meminfo: memFree=29229280/32872528 swapFree=10676/249824 [pid=3207] ppid=3204 vsize=1311300 CPUtime=0.69 cores=1,3,5,7 /proc/3207/stat : 3207 (toysat) R 3204 3207 1222 0 -1 4202496 128390 0 0 0 54 15 0 0 20 0 4 0 105695081 1342771200 129712 33554432000 4194304 16246674 140736988433152 140736988432464 6958849 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3207/statm: 327825 129725 832 2943 0 324719 0 [pid=3207/tid=3208] ppid=3204 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3208/stat : 3208 (toysat) S 3204 3207 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105695081 1342771200 129732 33554432000 4194304 16246674 140736988433152 140698984623344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3207/tid=3209] ppid=3204 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3209/stat : 3209 (toysat) S 3204 3207 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105695081 1342771200 129740 33554432000 4194304 16246674 140736988433152 140698900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3207/tid=3210] ppid=3204 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3210/stat : 3210 (toysat) S 3204 3207 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105695081 1342771200 129746 33554432000 4194304 16246674 140736988433152 140698890263728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1311300 [startup+1.50043 s] /proc/loadavg: 2.09 2.05 2.01 3/183 3211 /proc/meminfo: memFree=28229840/32872528 swapFree=10676/249824 [pid=3207] ppid=3204 vsize=1321540 CPUtime=1.49 cores=1,3,5,7 /proc/3207/stat : 3207 (toysat) R 3204 3207 1222 0 -1 4202496 270986 0 0 0 116 33 0 0 20 0 4 0 105695081 1353256960 272307 33554432000 4194304 16246674 140736988433152 140736988415040 6955656 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3207/statm: 330385 272307 842 2943 0 327279 0 [pid=3207/tid=3208] ppid=3204 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3208/stat : 3208 (toysat) S 3204 3207 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105695081 1353256960 272307 33554432000 4194304 16246674 140736988433152 140698984623344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3207/tid=3209] ppid=3204 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3209/stat : 3209 (toysat) S 3204 3207 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105695081 1353256960 272307 33554432000 4194304 16246674 140736988433152 140698900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3207/tid=3210] ppid=3204 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3210/stat : 3210 (toysat) S 3204 3207 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105695081 1353256960 272307 33554432000 4194304 16246674 140736988433152 140698890263728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1321540 [startup+3.10043 s] /proc/loadavg: 2.09 2.05 2.01 3/183 3211 /proc/meminfo: memFree=28140684/32872528 swapFree=10676/249824 [pid=3207] ppid=3204 vsize=1321540 CPUtime=3.09 cores=1,3,5,7 /proc/3207/stat : 3207 (toysat) R 3204 3207 1222 0 -1 4202496 271005 0 0 0 276 33 0 0 20 0 4 0 105695081 1353256960 272326 33554432000 4194304 16246674 140736988433152 140736988415040 12429162 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3207/statm: 330385 272326 842 2943 0 327279 0 [pid=3207/tid=3208] ppid=3204 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3208/stat : 3208 (toysat) S 3204 3207 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105695081 1353256960 272326 33554432000 4194304 16246674 140736988433152 140698984623344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3207/tid=3209] ppid=3204 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3209/stat : 3209 (toysat) S 3204 3207 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105695081 1353256960 272326 33554432000 4194304 16246674 140736988433152 140698900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3207/tid=3210] ppid=3204 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3210/stat : 3210 (toysat) S 3204 3207 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105695081 1353256960 272326 33554432000 4194304 16246674 140736988433152 140698890263728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1321540 [startup+6.30044 s] /proc/loadavg: 2.09 2.05 2.01 3/183 3211 /proc/meminfo: memFree=27322852/32872528 swapFree=10676/249824 [pid=3207] ppid=3204 vsize=1321540 CPUtime=6.29 cores=1,3,5,7 /proc/3207/stat : 3207 (toysat) R 3204 3207 1222 0 -1 4202496 271005 0 0 0 596 33 0 0 20 0 4 0 105695081 1353256960 272326 33554432000 4194304 16246674 140736988433152 140736988415040 12429241 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3207/statm: 330385 272326 842 2943 0 327279 0 [pid=3207/tid=3208] ppid=3204 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3208/stat : 3208 (toysat) S 3204 3207 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105695081 1353256960 272326 33554432000 4194304 16246674 140736988433152 140698984623344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3207/tid=3209] ppid=3204 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3209/stat : 3209 (toysat) S 3204 3207 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105695081 1353256960 272326 33554432000 4194304 16246674 140736988433152 140698900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3207/tid=3210] ppid=3204 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3210/stat : 3210 (toysat) S 3204 3207 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105695081 1353256960 272326 33554432000 4194304 16246674 140736988433152 140698890263728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1321540 [startup+12.7004 s] /proc/loadavg: 2.08 2.05 2.01 3/183 3211 /proc/meminfo: memFree=28098652/32872528 swapFree=10676/249824 [pid=3207] ppid=3204 vsize=1321540 CPUtime=12.69 cores=1,3,5,7 /proc/3207/stat : 3207 (toysat) R 3204 3207 1222 0 -1 4202496 271005 0 0 0 1236 33 0 0 20 0 4 0 105695081 1353256960 272326 33554432000 4194304 16246674 140736988433152 140736988415040 13950184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3207/statm: 330385 272326 842 2943 0 327279 0 [pid=3207/tid=3208] ppid=3204 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3208/stat : 3208 (toysat) S 3204 3207 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105695081 1353256960 272326 33554432000 4194304 16246674 140736988433152 140698984623344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3207/tid=3209] ppid=3204 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3209/stat : 3209 (toysat) S 3204 3207 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105695081 1353256960 272326 33554432000 4194304 16246674 140736988433152 140698900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3207/tid=3210] ppid=3204 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3210/stat : 3210 (toysat) S 3204 3207 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105695081 1353256960 272326 33554432000 4194304 16246674 140736988433152 140698890263728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1321540 [startup+25.5005 s] /proc/loadavg: 2.06 2.05 2.00 3/183 3211 /proc/meminfo: memFree=28008420/32872528 swapFree=10676/249824 [pid=3207] ppid=3204 vsize=1321540 CPUtime=25.48 cores=1,3,5,7 /proc/3207/stat : 3207 (toysat) R 3204 3207 1222 0 -1 4202496 271080 0 0 0 2515 33 0 0 20 0 4 0 105695081 1353256960 272401 33554432000 4194304 16246674 140736988433152 140736988415040 5601643 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3207/statm: 330385 272401 911 2943 0 327279 0 [pid=3207/tid=3208] ppid=3204 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3208/stat : 3208 (toysat) S 3204 3207 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105695081 1353256960 272401 33554432000 4194304 16246674 140736988433152 140698984623344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3207/tid=3209] ppid=3204 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3209/stat : 3209 (toysat) S 3204 3207 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105695081 1353256960 272401 33554432000 4194304 16246674 140736988433152 140698900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3207/tid=3210] ppid=3204 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3210/stat : 3210 (toysat) S 3204 3207 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105695081 1353256960 272401 33554432000 4194304 16246674 140736988433152 140698890263728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1321540 [startup+51.1006 s] /proc/loadavg: 2.04 2.04 2.00 3/183 3211 /proc/meminfo: memFree=28017000/32872528 swapFree=10676/249824 [pid=3207] ppid=3204 vsize=1321540 CPUtime=51.08 cores=1,3,5,7 /proc/3207/stat : 3207 (toysat) R 3204 3207 1222 0 -1 4202496 271082 0 0 0 5075 33 0 0 20 0 4 0 105695081 1353256960 272403 33554432000 4194304 16246674 140736988433152 140736988415040 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3207/statm: 330385 272403 913 2943 0 327279 0 [pid=3207/tid=3208] ppid=3204 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3208/stat : 3208 (toysat) S 3204 3207 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105695081 1353256960 272403 33554432000 4194304 16246674 140736988433152 140698984623344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3207/tid=3209] ppid=3204 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3209/stat : 3209 (toysat) S 3204 3207 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105695081 1353256960 272403 33554432000 4194304 16246674 140736988433152 140698900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3207/tid=3210] ppid=3204 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3210/stat : 3210 (toysat) S 3204 3207 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105695081 1353256960 272403 33554432000 4194304 16246674 140736988433152 140698890263728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1321540 [startup+102.3 s] /proc/loadavg: 2.00 2.03 2.00 3/183 3213 /proc/meminfo: memFree=27508916/32872528 swapFree=10676/249824 [pid=3207] ppid=3204 vsize=1345092 CPUtime=102.28 cores=1,3,5,7 /proc/3207/stat : 3207 (toysat) R 3204 3207 1222 0 -1 4202496 276975 0 0 0 10194 34 0 0 20 0 4 0 105695081 1377374208 278296 33554432000 4194304 16246674 140736988433152 140736988415040 5822878 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3207/statm: 336273 278296 918 2943 0 333167 0 [pid=3207/tid=3208] ppid=3204 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3208/stat : 3208 (toysat) S 3204 3207 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105695081 1377374208 278296 33554432000 4194304 16246674 140736988433152 140698984623344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3207/tid=3209] ppid=3204 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3209/stat : 3209 (toysat) S 3204 3207 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105695081 1377374208 278296 33554432000 4194304 16246674 140736988433152 140698900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3207/tid=3210] ppid=3204 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3210/stat : 3210 (toysat) S 3204 3207 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105695081 1377374208 278296 33554432000 4194304 16246674 140736988433152 140698890263728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1345092 ################ # More data... # ################ /proc/3207/task/3210/stat : 3210 (toysat) S 3204 3207 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105695081 1394151424 282393 33554432000 4194304 16246674 140736988433152 140698890263728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1302.1 Current children cumulated vsize (KiB) 1361476 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 3245 /proc/meminfo: memFree=27001256/32872528 swapFree=10676/249824 [pid=3207] ppid=3204 vsize=1361476 CPUtime=1362.08 cores=1,3,5,7 /proc/3207/stat : 3207 (toysat) R 3204 3207 1222 0 -1 4202496 281072 0 0 0 136164 44 0 0 20 0 4 0 105695081 1394151424 282393 33554432000 4194304 16246674 140736988433152 140736988415040 5823709 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3207/statm: 340369 282393 919 2943 0 337263 0 [pid=3207/tid=3208] ppid=3204 vsize=1361476 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3208/stat : 3208 (toysat) S 3204 3207 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105695081 1394151424 282393 33554432000 4194304 16246674 140736988433152 140698984623344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3207/tid=3209] ppid=3204 vsize=1361476 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3209/stat : 3209 (toysat) S 3204 3207 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105695081 1394151424 282393 33554432000 4194304 16246674 140736988433152 140698900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3207/tid=3210] ppid=3204 vsize=1361476 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3210/stat : 3210 (toysat) S 3204 3207 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105695081 1394151424 282393 33554432000 4194304 16246674 140736988433152 140698890263728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1361476 [startup+1422.3 s] /proc/loadavg: 2.00 2.01 2.00 3/184 3249 /proc/meminfo: memFree=27001064/32872528 swapFree=10676/249824 [pid=3207] ppid=3204 vsize=1361476 CPUtime=1422.07 cores=1,3,5,7 /proc/3207/stat : 3207 (toysat) R 3204 3207 1222 0 -1 4202496 281072 0 0 0 142163 44 0 0 20 0 4 0 105695081 1394151424 282393 33554432000 4194304 16246674 140736988433152 140736988432328 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3207/statm: 340369 282393 919 2943 0 337263 0 [pid=3207/tid=3208] ppid=3204 vsize=1361476 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3208/stat : 3208 (toysat) S 3204 3207 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105695081 1394151424 282393 33554432000 4194304 16246674 140736988433152 140698984623344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3207/tid=3209] ppid=3204 vsize=1361476 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3209/stat : 3209 (toysat) S 3204 3207 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105695081 1394151424 282393 33554432000 4194304 16246674 140736988433152 140698900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3207/tid=3210] ppid=3204 vsize=1361476 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3210/stat : 3210 (toysat) S 3204 3207 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105695081 1394151424 282393 33554432000 4194304 16246674 140736988433152 140698890263728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 1361476 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 3250 /proc/meminfo: memFree=27000972/32872528 swapFree=10676/249824 [pid=3207] ppid=3204 vsize=1361476 CPUtime=1482.07 cores=1,3,5,7 /proc/3207/stat : 3207 (toysat) R 3204 3207 1222 0 -1 4202496 281072 0 0 0 148162 45 0 0 20 0 4 0 105695081 1394151424 282393 33554432000 4194304 16246674 140736988433152 140736988415040 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3207/statm: 340369 282393 919 2943 0 337263 0 [pid=3207/tid=3208] ppid=3204 vsize=1361476 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3208/stat : 3208 (toysat) S 3204 3207 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105695081 1394151424 282393 33554432000 4194304 16246674 140736988433152 140698984623344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3207/tid=3209] ppid=3204 vsize=1361476 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3209/stat : 3209 (toysat) S 3204 3207 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105695081 1394151424 282393 33554432000 4194304 16246674 140736988433152 140698900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3207/tid=3210] ppid=3204 vsize=1361476 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3210/stat : 3210 (toysat) S 3204 3207 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105695081 1394151424 282393 33554432000 4194304 16246674 140736988433152 140698890263728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1482.07 Current children cumulated vsize (KiB) 1361476 [startup+1542.31 s] /proc/loadavg: 2.03 2.01 2.00 3/183 3251 /proc/meminfo: memFree=26965392/32872528 swapFree=10676/249824 [pid=3207] ppid=3204 vsize=1397316 CPUtime=1542.06 cores=1,3,5,7 /proc/3207/stat : 3207 (toysat) R 3204 3207 1222 0 -1 4202496 289967 0 0 0 154160 46 0 0 20 0 4 0 105695081 1430851584 291288 33554432000 4194304 16246674 140736988433152 140736988415040 12415815 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3207/statm: 349329 291288 919 2943 0 346223 0 [pid=3207/tid=3208] ppid=3204 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3208/stat : 3208 (toysat) S 3204 3207 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105695081 1430851584 291288 33554432000 4194304 16246674 140736988433152 140698984623344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3207/tid=3209] ppid=3204 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3209/stat : 3209 (toysat) S 3204 3207 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105695081 1430851584 291288 33554432000 4194304 16246674 140736988433152 140698900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3207/tid=3210] ppid=3204 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3210/stat : 3210 (toysat) S 3204 3207 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105695081 1430851584 291288 33554432000 4194304 16246674 140736988433152 140698890263728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1542.06 Current children cumulated vsize (KiB) 1397316 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 2.00 3/183 3253 /proc/meminfo: memFree=26965528/32872528 swapFree=10676/249824 [pid=3207] ppid=3204 vsize=1397316 CPUtime=1602.05 cores=1,3,5,7 /proc/3207/stat : 3207 (toysat) R 3204 3207 1222 0 -1 4202496 290032 0 0 0 160158 47 0 0 20 0 4 0 105695081 1430851584 291353 33554432000 4194304 16246674 140736988433152 140736988415040 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3207/statm: 349329 291353 919 2943 0 346223 0 [pid=3207/tid=3208] ppid=3204 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3208/stat : 3208 (toysat) S 3204 3207 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105695081 1430851584 291353 33554432000 4194304 16246674 140736988433152 140698984623344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3207/tid=3209] ppid=3204 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3209/stat : 3209 (toysat) S 3204 3207 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105695081 1430851584 291353 33554432000 4194304 16246674 140736988433152 140698900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3207/tid=3210] ppid=3204 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3210/stat : 3210 (toysat) S 3204 3207 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105695081 1430851584 291353 33554432000 4194304 16246674 140736988433152 140698890263728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1602.05 Current children cumulated vsize (KiB) 1397316 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 3254 /proc/meminfo: memFree=26965680/32872528 swapFree=10676/249824 [pid=3207] ppid=3204 vsize=1397316 CPUtime=1662.04 cores=1,3,5,7 /proc/3207/stat : 3207 (toysat) R 3204 3207 1222 0 -1 4202496 290032 0 0 0 166157 47 0 0 20 0 4 0 105695081 1430851584 291353 33554432000 4194304 16246674 140736988433152 140736988415040 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3207/statm: 349329 291353 919 2943 0 346223 0 [pid=3207/tid=3208] ppid=3204 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3208/stat : 3208 (toysat) S 3204 3207 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105695081 1430851584 291353 33554432000 4194304 16246674 140736988433152 140698984623344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3207/tid=3209] ppid=3204 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3209/stat : 3209 (toysat) S 3204 3207 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105695081 1430851584 291353 33554432000 4194304 16246674 140736988433152 140698900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3207/tid=3210] ppid=3204 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3210/stat : 3210 (toysat) S 3204 3207 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105695081 1430851584 291353 33554432000 4194304 16246674 140736988433152 140698890263728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1662.04 Current children cumulated vsize (KiB) 1397316 [startup+1722.3 s] /proc/loadavg: 2.03 2.01 2.00 3/183 3255 /proc/meminfo: memFree=26965324/32872528 swapFree=10676/249824 [pid=3207] ppid=3204 vsize=1397316 CPUtime=1722.03 cores=1,3,5,7 /proc/3207/stat : 3207 (toysat) R 3204 3207 1222 0 -1 4202496 290032 0 0 0 172155 48 0 0 20 0 4 0 105695081 1430851584 291353 33554432000 4194304 16246674 140736988433152 140736988415040 5822878 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3207/statm: 349329 291353 919 2943 0 346223 0 [pid=3207/tid=3208] ppid=3204 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3208/stat : 3208 (toysat) S 3204 3207 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105695081 1430851584 291353 33554432000 4194304 16246674 140736988433152 140698984623344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3207/tid=3209] ppid=3204 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3209/stat : 3209 (toysat) S 3204 3207 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105695081 1430851584 291353 33554432000 4194304 16246674 140736988433152 140698900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3207/tid=3210] ppid=3204 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3210/stat : 3210 (toysat) S 3204 3207 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105695081 1430851584 291353 33554432000 4194304 16246674 140736988433152 140698890263728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1722.03 Current children cumulated vsize (KiB) 1397316 [startup+1782.3 s] /proc/loadavg: 2.23 2.07 2.02 3/183 3305 /proc/meminfo: memFree=29652568/32872528 swapFree=10676/249824 [pid=3207] ppid=3204 vsize=1397316 CPUtime=1782.02 cores=1,3,5,7 /proc/3207/stat : 3207 (toysat) R 3204 3207 1222 0 -1 4202496 290039 0 0 0 178154 48 0 0 20 0 4 0 105695081 1430851584 291356 33554432000 4194304 16246674 140736988433152 140736988415040 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3207/statm: 349329 291356 919 2943 0 346223 0 [pid=3207/tid=3208] ppid=3204 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3208/stat : 3208 (toysat) S 3204 3207 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105695081 1430851584 291356 33554432000 4194304 16246674 140736988433152 140698984623344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3207/tid=3209] ppid=3204 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3209/stat : 3209 (toysat) S 3204 3207 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105695081 1430851584 291356 33554432000 4194304 16246674 140736988433152 140698900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3207/tid=3210] ppid=3204 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3210/stat : 3210 (toysat) S 3204 3207 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105695081 1430851584 291356 33554432000 4194304 16246674 140736988433152 140698890263728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1782.02 Current children cumulated vsize (KiB) 1397316 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.18 2.06 2.02 3/183 3305 /proc/meminfo: memFree=29652356/32872528 swapFree=10676/249824 [pid=3207] ppid=3204 vsize=1397316 CPUtime=1800.01 cores=1,3,5,7 /proc/3207/stat : 3207 (toysat) R 3204 3207 1222 0 -1 4202496 290046 0 0 0 179953 48 0 0 20 0 4 0 105695081 1430851584 291356 33554432000 4194304 16246674 140736988433152 140736988415040 5823367 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3207/statm: 349329 291356 919 2943 0 346223 0 [pid=3207/tid=3208] ppid=3204 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3208/stat : 3208 (toysat) S 3204 3207 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105695081 1430851584 291356 33554432000 4194304 16246674 140736988433152 140698984623344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3207/tid=3209] ppid=3204 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3209/stat : 3209 (toysat) S 3204 3207 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105695081 1430851584 291356 33554432000 4194304 16246674 140736988433152 140698900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3207/tid=3210] ppid=3204 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3210/stat : 3210 (toysat) S 3204 3207 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105695081 1430851584 291356 33554432000 4194304 16246674 140736988433152 140698890263728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1397316 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 3207 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.18 2.06 2.02 3/183 3305 /proc/meminfo: memFree=29652356/32872528 swapFree=10676/249824 [pid=3207] ppid=3204 vsize=1397316 CPUtime=1800.01 cores=1,3,5,7 /proc/3207/stat : 3207 (toysat) R 3204 3207 1222 0 -1 4202496 290046 0 0 0 179953 48 0 0 20 0 4 0 105695081 1430851584 291356 33554432000 4194304 16246674 140736988433152 140736988415040 5823367 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3207/statm: 349329 291356 919 2943 0 346223 0 [pid=3207/tid=3208] ppid=3204 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3208/stat : 3208 (toysat) S 3204 3207 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105695081 1430851584 291356 33554432000 4194304 16246674 140736988433152 140698984623344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3207/tid=3209] ppid=3204 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3209/stat : 3209 (toysat) S 3204 3207 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105695081 1430851584 291356 33554432000 4194304 16246674 140736988433152 140698900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3207/tid=3210] ppid=3204 vsize=1397316 CPUtime=0 cores=1,3,5,7 /proc/3207/task/3210/stat : 3210 (toysat) S 3204 3207 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105695081 1430851584 291356 33554432000 4194304 16246674 140736988433152 140698890263728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1397316 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.37 CPU time (s): 1800.07 CPU user time (s): 1799.54 CPU system time (s): 0.533918 CPU usage (%): 99.9836 Max. virtual memory (cumulated for all children) (KiB): 1397316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.54 system time used= 0.533918 maximum resident set size= 1165424 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 290046 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= 29 involuntary context switches= 1854 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.41257 second user time and 19.3471 second system time The end
Begin job on node103 at 2016-06-06 20:26:36 IDJOB=4079067 IDBENCH=2362 IDSOLVER=2542 FILE ID=node103/4079067-1465237596 RUNJOBID= node103-1465221288-1239 PBS_JOBID= 19843228 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079067-1465237596/watcher-4079067-1465237596 -o /tmp/evaluation-result-4079067-1465237596/solver-4079067-1465237596 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1239 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079067-1465237596.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 77bab7e4b790022242f816374e31f934 RANDOM SEED=1113003683 node103.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.760 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.52 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.760 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 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.760 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.760 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.760 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 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.760 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: 29229304 kB Buffers: 36084 kB Cached: 125220 kB SwapCached: 1688 kB Active: 2621732 kB Inactive: 61744 kB Active(anon): 2523376 kB Inactive(anon): 1128 kB Active(file): 98356 kB Inactive(file): 60616 kB Unevictable: 249824 kB Mlocked: 10676 kB SwapTotal: 67108856 kB SwapFree: 67096640 kB Dirty: 18808 kB Writeback: 0 kB AnonPages: 2771596 kB Mapped: 10756 kB Shmem: 0 kB Slab: 569036 kB SReclaimable: 12832 kB SUnreclaim: 556204 kB KernelStack: 1480 kB PageTables: 9616 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2915828 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 241664 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= 71704 MiB End job on node103 at 2016-06-06 20:56:37