| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.52 |
| Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12058_7.std.opb |
| MD5SUM | 38417c05ad0fa807f5ea2aa87e724f6b |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 158 |
| Best CPU time to get the best result obtained on this benchmark | 1800.12 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 72842 |
| Total number of constraints | 255916 |
| Number of constraints which are clauses | 254716 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1200 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 120 |
| Number of terms in the objective function | 300 |
| Biggest coefficient in the objective function | 300 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 45150 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 300 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 45150 |
| Number of bits of the biggest sum of numbers | 16 |
| 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-19T01:00:47+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-4108317-1466290847.opb"] 0.00/0.01 c use --random-gen="81362831 2836382973 1388749665 3135769233 474657559 155980923 1644515162 3910684974 908488081 3797663839 3570693940 3249293386 2225844121 2421640782 3823526397 1381889184 3210628673 1505085193 202204487 2690268204 2280077891 2726700515 2723605574 3701685385 91792314 2417760142 1903855391 2776355696 3605354716 755869160 2175247398 61758278 771446892 1224000355 3558629185 2560429861 4244031196 729697753 1746615639 1741193103 406462787 2666123911 667570654 4188341611 682913444 4198414676 1531472868 2450297098 3708711171 1439921826 2891401574 4178722778 1447074646 1926571712 269715399 2171488787 460547867 3082794618 3372462897 121594113 3114432846 573138301 118370203 3344769637 1269530544 1105862214 3671006756 2043810808 3397842981 914015686 3954344567 3068570708 3710990816 1642050192 2128621745 3393316628 191516307 569541625 3334565811 114771360 3536721299 1962935269 1411592155 4184808152 1693083832 3113040532 1596601281 1055072736 916738193 2041841530 3251768648 3723713539 2642449766 93284449 3841443413 1725506185 3235172707 4247811339 937093739 1168523027 966711016 149013119 2728837754 2750547790 647581884 520113252 3795269813 3707147827 1277394901 2316945562 2553756187 1703572783 1436455396 2629521131 2568156455 1570940619 2634861401 2231994939 878859277 142608002 676123800 214747330 3985931557 3393103162 1715053444 4253219387 4203837217 727394145 1443460908 920751341 2749057963 4098897311 16505692 1231886498 3781545895 1701209647 2447861521 2744280592 542883576 3816079789 4231103471 3906175909 3439531347 2484530090 1747238035 324058930 2528882892 3202663386 945824827 752859309 1981756895 1678894185 3325654334 419089794 2103878206 2056503916 3845244585 3384176224 253607602 1249870879 1625087018 4132644480 971908196 2228316817 2565287720 895850155 3109781372 2166996037 1661783887 81204716 1879742105 1882475521 1170930276 3481836281 3715505196 2343318728 2460555616 3878844290 720677253 3828999234 5960579 1103137058 1061317287 2623764795 523081024 745684998 198521356 2830192003 2960116169 2044738326 484224871 3816353472 1417501816 2410031314 92237407 1344323398 3541922124 511819765 2442471411 3432589989 1497684181 1553371375 44488299 2085815603 3179331417 2220967328 1797029264 3545784326 2832301390 1145444197 3267198618 2857080235 2602962567 1564653981 4186403640 1603502148 1466582493 1668517976 1054703209 3557396561 640126476 800999991 1563709008 1451557136 46634112 157570121 2969341915 2299912178 2673982144 2223655949 2636313333 4208654595 866568115 4139783746 3003717932 2279293866 3351063948 965107157 1908894617 1443723316 2710558993 2228064201 3240627021 2893957821 3934786010 2038078923 2650888867 2769560281 4012750124 3368959846 1147703212 2634689938 1817166561 2734570963 2689273851 85888656 255 362436" option to reproduce the execution 1.49/1.53 c #vars 72842 1.49/1.53 c #constraints 255916 4.79/4.82 c BCD2: Hardening is enabled. 4.79/4.82 c BCD2: BiasedSearch is enabled. 4.79/4.82 c Solving starts ... 4.79/4.82 c ============================[ Search Statistics ]============================ 4.79/4.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.79/4.82 c | | | | Limit GC | Var | Constra 4.79/4.82 c ============================================================================= 4.89/4.90 c 0.0s | 0 | 0 | 0 | 90623 0 | 21946 | 0 5.09/5.18 c 0.3s | 0 | 121 | 0 | 90623 0 | 21946 | 30555 5.09/5.18 c #cpu_time = 0.238s 5.09/5.18 c #wall_clock_time = 0.238s 5.09/5.18 c #decision = 121 5.09/5.18 c #random_decision = 0 5.09/5.18 c #conflict = 0 5.09/5.18 c #restart = 0 5.09/5.18 o 300 5.09/5.18 c BCD2: hardening fixes 1 literals 5.09/5.18 c BCD2: updating upper bound: 45150 -> 299 5.09/5.18 c BCD2: 0 <= obj <= 299 5.09/5.18 c BCD2: #cores=0, #unrelaxed=299, #relaxed=0, #hardened=1 5.09/5.18 c BCD2: #sat=1 #unsat=1 bias=1/2 5.09/5.18 c Solving starts ... 5.09/5.18 c ============================[ Search Statistics ]============================ 5.09/5.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.09/5.18 c | | | | Limit GC | Var | Constra 5.09/5.18 c ============================================================================= 5.09/5.18 c 0.0s | 0 | 0 | 0 | 90623 0 | 22188 | 30555 5.29/5.38 c 0.2s | 0 | 185 | 0 | 90623 0 | 22188 | 31414 5.29/5.38 c #cpu_time = 0.189s 5.29/5.38 c #wall_clock_time = 0.190s 5.29/5.38 c #decision = 185 5.29/5.38 c #random_decision = 0 5.29/5.38 c #conflict = 0 5.29/5.38 c #restart = 0 5.29/5.38 c BCD2: found a new core of size 186: cost of the new core is >=114 5.29/5.38 c lower bound updated to 114 5.29/5.38 c BCD2: 114 <= obj <= 299 5.29/5.38 c BCD2: #cores=1, #unrelaxed=113, #relaxed=186, #hardened=1 5.29/5.38 c BCD2: #sat=1 #unsat=2 bias=2/3 6.60/6.62 c Solving starts ... 6.60/6.62 c ============================[ Search Statistics ]============================ 6.60/6.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.60/6.62 c | | | | Limit GC | Var | Constra 6.60/6.62 c ============================================================================= 6.60/6.62 c 0.0s | 0 | 0 | 0 | 90623 0 | 22188 | 31414 6.89/6.97 c 0.3s | 1 | 131 | 100 | 90623 0 | 22188 | 31414 7.39/7.41 c 0.8s | 2 | 343 | 250 | 99686 0 | 22188 | 31414 7.70/7.74 c 1.1s | 2 | 382 | 280 | 109655 0 | 22189 | 31415 7.70/7.74 c #cpu_time = 1.118s 7.70/7.74 c #wall_clock_time = 1.121s 7.70/7.74 c #decision = 382 7.70/7.74 c #random_decision = 0 7.70/7.74 c #conflict = 280 7.70/7.74 c #restart = 2 7.70/7.74 c BCD2: updating lower bound of a core 7.70/7.74 c lower bound updated to 115 7.70/7.74 c BCD2: 115 <= obj <= 299 7.70/7.74 c BCD2: #cores=1, #unrelaxed=113, #relaxed=186, #hardened=1 7.70/7.74 c BCD2: #sat=1 #unsat=3 bias=3/4 8.80/8.89 c Solving starts ... 8.80/8.89 c ============================[ Search Statistics ]============================ 8.80/8.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.80/8.89 c | | | | Limit GC | Var | Constra 8.80/8.89 c ============================================================================= 8.80/8.89 c 0.0s | 0 | 0 | 0 | 109655 0 | 22189 | 31415 9.19/9.24 c 0.3s | 1 | 152 | 100 | 109655 0 | 22189 | 31415 9.59/9.66 c 0.8s | 2 | 397 | 250 | 120621 0 | 22189 | 31415 10.19/10.24 c 1.3s | 3 | 716 | 475 | 120621 0 | 22189 | 31415 10.89/10.92 c 2.0s | 3 | 967 | 677 | 132684 0 | 22190 | 31416 10.89/10.92 c #cpu_time = 2.021s 10.89/10.92 c #wall_clock_time = 2.026s 10.89/10.92 c #decision = 967 10.89/10.92 c #random_decision = 0 10.89/10.92 c #conflict = 677 10.89/10.92 c #restart = 3 10.89/10.92 c BCD2: updating lower bound of a core 10.89/10.92 c lower bound updated to 116 10.89/10.92 c BCD2: 116 <= obj <= 299 10.89/10.92 c BCD2: #cores=1, #unrelaxed=113, #relaxed=186, #hardened=1 10.89/10.92 c BCD2: #sat=1 #unsat=4 bias=4/5 11.99/12.04 c Solving starts ... 11.99/12.04 c ============================[ Search Statistics ]============================ 11.99/12.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.99/12.04 c | | | | Limit GC | Var | Constra 11.99/12.04 c ============================================================================= 11.99/12.05 c 0.0s | 0 | 0 | 0 | 132684 0 | 22190 | 31416 12.39/12.40 c 0.4s | 1 | 149 | 100 | 132684 0 | 22190 | 31416 12.79/12.85 c 0.8s | 2 | 364 | 250 | 132684 0 | 22190 | 31416 13.49/13.52 c 1.5s | 3 | 668 | 475 | 145953 0 | 22190 | 31416 14.29/14.32 c 2.3s | 4 | 1161 | 813 | 145953 0 | 22190 | 31416 15.39/15.43 c 3.4s | 5 | 1854 | 1320 | 160549 0 | 22190 | 31416 16.99/17.00 c 5.0s | 6 | 2881 | 2081 | 160549 0 | 22190 | 31416 19.09/19.12 c 7.1s | 6 | 4030 | 2981 | 176604 0 | 22190 | 31416 19.49/19.54 c 7.5s | 7 | 4352 | 3223 | 176604 0 | 22190 | 31416 20.59/20.64 c 8.6s | 7 | 4874 | 3609 | 176604 0 | 22191 | 31417 20.59/20.64 c #cpu_time = 8.568s 20.59/20.64 c #wall_clock_time = 8.590s 20.59/20.64 c #decision = 4874 20.59/20.64 c #random_decision = 4 20.59/20.64 c #conflict = 3609 20.59/20.64 c #restart = 7 20.59/20.64 c BCD2: updating lower bound of a core 20.59/20.64 c lower bound updated to 117 20.59/20.64 c BCD2: 117 <= obj <= 299 20.59/20.64 c BCD2: #cores=1, #unrelaxed=113, #relaxed=186, #hardened=1 20.59/20.64 c BCD2: #sat=1 #unsat=5 bias=5/6 21.69/21.74 c Solving starts ... 21.69/21.74 c ============================[ Search Statistics ]============================ 21.69/21.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 21.69/21.74 c | | | | Limit GC | Var | Constra 21.69/21.74 c ============================================================================= 21.69/21.74 c 0.0s | 0 | 0 | 0 | 176604 0 | 22191 | 31417 22.09/22.12 c 0.4s | 1 | 163 | 100 | 176604 0 | 22191 | 31417 22.49/22.57 c 0.8s | 2 | 375 | 250 | 176604 0 | 22191 | 31417 23.19/23.26 c 1.5s | 3 | 682 | 475 | 194265 0 | 22191 | 31417 24.19/24.21 c 2.5s | 4 | 1140 | 813 | 194265 0 | 22191 | 31417 25.39/25.43 c 3.7s | 5 | 1907 | 1320 | 194265 0 | 22191 | 31417 27.09/27.17 c 5.4s | 6 | 2948 | 2081 | 194265 0 | 22191 | 31417 29.19/29.23 c 7.5s | 6 | 4284 | 3081 | 213692 0 | 22191 | 31417 29.49/29.51 c 7.8s | 7 | 4475 | 3223 | 213692 0 | 22191 | 31417 31.69/31.70 c 10.0s | 7 | 5760 | 4223 | 213692 0 | 22191 | 31417 33.29/33.32 c 11.6s | 8 | 6655 | 4936 | 213692 0 | 22191 | 31417 35.48/35.52 c 13.8s | 8 | 7826 | 5836 | 213692 0 | 22191 | 31417 37.68/37.73 c 16.0s | 8 | 9174 | 6936 | 235062 0 | 22191 | 31417 38.78/38.88 c 17.1s | 9 | 9897 | 7506 | 235062 0 | 22191 | 31417 40.88/40.90 c 19.2s | 9 | 10971 | 8306 | 235062 0 | 22191 | 31417 42.99/43.04 c 21.3s | 9 | 12147 | 9206 | 235062 0 | 22191 | 31417 45.19/45.22 c 23.5s | 9 | 13270 | 10106 | 235062 0 | 22191 | 31417 47.18/47.29 c 25.5s | 9 | 14249 | 10906 | 235062 0 | 22191 | 31417 48.28/48.39 c 26.7s | 10 | 14772 | 11361 | 235062 0 | 22191 | 31417 50.48/50.54 c 28.8s | 10 | 15625 | 12061 | 235062 0 | 22191 | 31417 52.58/52.68 c 30.9s | 10 | 16673 | 12861 | 258569 0 | 22191 | 31417 54.68/54.74 c 33.0s | 10 | 17522 | 13561 | 258569 0 | 22191 | 31417 56.88/56.93 c 35.2s | 10 | 18501 | 14361 | 258569 0 | 22191 | 31417 58.98/59.07 c 37.3s | 10 | 19711 | 15261 | 258569 0 | 22191 | 31417 61.18/61.27 c 39.5s | 10 | 20870 | 16161 | 258569 0 | 22191 | 31417 62.88/62.91 c 41.2s | 10 | 21459 | 16646 | 258569 0 | 22192 | 31418 62.88/62.91 c #cpu_time = 41.061s 62.88/62.91 c #wall_clock_time = 41.166s 62.88/62.91 c #decision = 21459 62.88/62.91 c #random_decision = 13 62.88/62.91 c #conflict = 16646 62.88/62.91 c #restart = 10 62.88/62.91 c BCD2: updating lower bound of a core 62.88/62.91 c lower bound updated to 118 62.88/62.91 c BCD2: 118 <= obj <= 299 62.88/62.91 c BCD2: #cores=1, #unrelaxed=113, #relaxed=186, #hardened=1 62.88/62.91 c BCD2: #sat=1 #unsat=6 bias=6/7 63.98/64.01 c Solving starts ... 63.98/64.01 c ============================[ Search Statistics ]============================ 63.98/64.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 63.98/64.01 c | | | | Limit GC | Var | Constra 63.98/64.01 c ============================================================================= 63.98/64.01 c 0.0s | 0 | 0 | 0 | 258569 0 | 22192 | 31418 64.48/64.57 c 0.6s | 1 | 147 | 100 | 258569 0 | 22192 | 31418 65.18/65.25 c 1.2s | 2 | 376 | 250 | 258569 0 | 22192 | 31418 66.09/66.12 c 2.1s | 3 | 705 | 475 | 258569 0 | 22192 | 31418 67.18/67.22 c 3.2s | 4 | 1156 | 813 | 258569 0 | 22192 | 31418 68.88/68.99 c 5.0s | 5 | 1826 | 1320 | 258569 0 | 22192 | 31418 71.08/71.16 c 7.1s | 5 | 2699 | 2020 | 258569 0 | 22192 | 31418 71.28/71.33 c 7.3s | 6 | 2778 | 2081 | 258569 0 | 22192 | 31418 73.48/73.53 c 9.5s | 6 | 3693 | 2781 | 258569 0 | 22192 | 31418 74.58/74.62 c 10.6s | 7 | 4308 | 3223 | 258569 0 | 22192 | 31418 76.58/76.67 c 12.7s | 7 | 5055 | 3823 | 258569 0 | 22192 | 31418 78.68/78.73 c 14.7s | 7 | 6049 | 4623 | 284426 0 | 22192 | 31418 79.48/79.56 c 15.6s | 8 | 6459 | 4936 | 284426 0 | 22192 | 31418 81.58/81.67 c 17.7s | 8 | 7345 | 5636 | 284426 0 | 22192 | 31418 83.68/83.77 c 19.8s | 8 | 8404 | 6436 | 284426 0 | 22192 | 31418 85.97/86.04 c 22.0s | 8 | 9366 | 7236 | 284426 0 | 22192 | 31418 86.67/86.77 c 22.8s | 9 | 9710 | 7506 | 284426 0 | 22192 | 31418 88.87/88.93 c 24.9s | 9 | 10609 | 8206 | 284426 0 | 22192 | 31418 91.07/91.15 c 27.1s | 9 | 11677 | 9006 | 284426 0 | 22192 | 31418 93.27/93.39 c 29.4s | 9 | 12693 | 9806 | 284426 0 | 22192 | 31418 95.57/95.60 c 31.6s | 9 | 13709 | 10606 | 284426 0 | 22192 | 31418 97.57/97.63 c 33.6s | 10 | 14742 | 11361 | 284426 0 | 22192 | 31418 99.77/99.84 c 35.8s | 10 | 15547 | 11961 | 284426 0 | 22192 | 31418 101.77/101.86 c 37.9s | 10 | 16424 | 12661 | 284426 0 | 22192 | 31418 103.97/104.02 c 40.0s | 10 | 17306 | 13361 | 284426 0 | 22192 | 31418 106.17/106.26 c 42.3s | 10 | 18316 | 14161 | 284426 0 | 22192 | 31418 108.47/108.53 c 44.5s | 10 | 19214 | 14861 | 284426 0 | 22192 | 31418 110.67/110.74 c 46.7s | 10 | 20198 | 15661 | 284426 0 | 22192 | 31418 112.77/112.87 c 48.9s | 10 | 21099 | 16361 | 284426 0 | 22192 | 31418 114.97/115.05 c 51.0s | 10 | 21944 | 17061 | 284426 0 | 22192 | 31418 115.27/115.35 c 51.3s | 11 | 22053 | 17144 | 284426 0 | 22192 | 31418 117.57/117.61 c 53.6s | 11 | 22821 | 17744 | 312869 0 | 22192 | 31418 119.57/119.68 c 55.7s | 11 | 23705 | 18444 | 312869 0 | 22192 | 31418 121.67/121.76 c 57.8s | 11 | 24578 | 19144 | 312869 0 | 22192 | 31418 123.77/123.80 c 59.8s | 11 | 25350 | 19744 | 312869 0 | 22192 | 31418 125.97/126.00 c 62.0s | 11 | 26243 | 20444 | 312869 0 | 22192 | 31418 128.27/128.31 c 64.3s | 11 | 27147 | 21144 | 312869 0 | 22192 | 31418 130.37/130.46 c 66.5s | 11 | 27850 | 21744 | 312869 0 | 22192 | 31418 132.67/132.71 c 68.7s | 11 | 28724 | 22444 | 312869 0 | 22192 | 31418 134.87/134.96 c 71.0s | 11 | 29702 | 23144 | 312869 0 | 22192 | 31418 136.97/137.09 c 73.1s | 11 | 30471 | 23744 | 312869 0 | 22192 | 31418 139.27/139.36 c 75.4s | 11 | 31185 | 24344 | 312869 0 | 22192 | 31418 141.37/141.49 c 77.5s | 11 | 31887 | 24944 | 312869 0 | 22192 | 31418 143.77/143.83 c 79.8s | 11 | 32583 | 25544 | 312869 0 | 22192 | 31418 144.77/144.87 c 80.9s | 12 | 32939 | 25819 | 312869 0 | 22192 | 31418 147.17/147.24 c 83.2s | 12 | 33657 | 26319 | 312869 0 | 22192 | 31418 149.27/149.32 c 85.3s | 12 | 34425 | 26919 | 312869 0 | 22192 | 31418 151.57/151.61 c 87.6s | 12 | 35055 | 27419 | 312869 0 | 22192 | 31418 153.86/153.92 c 89.9s | 12 | 35848 | 28019 | 312869 0 | 22192 | 31418 155.86/155.97 c 92.0s | 12 | 36482 | 28519 | 312869 0 | 22192 | 31418 158.06/158.17 c 94.2s | 12 | 37239 | 29119 | 312869 0 | 22192 | 31418 160.26/160.38 c 96.4s | 12 | 37882 | 29619 | 312869 0 | 22192 | 31418 162.36/162.49 c 98.5s | 12 | 38616 | 30219 | 312869 0 | 22192 | 31418 164.86/164.93 c 100s | 12 | 39376 | 30819 | 312869 0 | 22192 | 31418 166.96/167.04 c 103s | 12 | 40024 | 31319 | 312869 0 | 22192 | 31418 169.06/169.16 c 105s | 12 | 40669 | 31819 | 312869 0 | 22192 | 31418 171.36/171.46 c 107s | 12 | 41420 | 32419 | 312869 0 | 22192 | 31418 173.46/173.54 c 109s | 12 | 41985 | 32919 | 312869 0 | 22192 | 31418 175.76/175.88 c 111s | 12 | 42703 | 33519 | 312869 0 | 22192 | 31418 177.96/178.06 c 114s | 12 | 43286 | 34019 | 312869 0 | 22192 | 31418 180.06/180.10 c 116s | 12 | 43856 | 34519 | 312869 0 | 22192 | 31418 182.26/182.31 c 118s | 12 | 44446 | 35019 | 312869 0 | 22192 | 31418 184.46/184.56 c 120s | 12 | 45021 | 35519 | 312869 0 | 22192 | 31418 186.86/186.90 c 122s | 12 | 45667 | 36019 | 312869 0 | 22192 | 31418 189.36/189.43 c 125s | 12 | 46281 | 36519 | 312869 0 | 22192 | 31418 191.36/191.49 c 127s | 12 | 46772 | 36919 | 344156 0 | 22192 | 31418 193.46/193.52 c 129s | 12 | 47243 | 37319 | 344156 0 | 22192 | 31418 195.66/195.80 c 131s | 12 | 47816 | 37819 | 344156 0 | 22192 | 31418 198.06/198.11 c 134s | 12 | 48518 | 38419 | 344156 0 | 22192 | 31418 199.66/199.77 c 135s | 13 | 49036 | 38832 | 344156 0 | 22192 | 31418 201.76/201.84 c 137s | 13 | 49605 | 39232 | 344156 0 | 22192 | 31418 203.96/204.00 c 139s | 13 | 50214 | 39732 | 344156 0 | 22192 | 31418 206.26/206.37 c 142s | 13 | 50808 | 40232 | 344156 0 | 22192 | 31418 208.45/208.53 c 144s | 13 | 51402 | 40732 | 344156 0 | 22192 | 31418 210.55/210.68 c 146s | 13 | 52009 | 41232 | 344156 0 | 22192 | 31418 212.85/212.95 c 148s | 13 | 52794 | 41832 | 344156 0 | 22192 | 31418 215.05/215.12 c 151s | 13 | 53426 | 42332 | 344156 0 | 22192 | 31418 217.45/217.52 c 153s | 13 | 54170 | 42932 | 344156 0 | 22192 | 31418 219.75/219.80 c 155s | 13 | 54746 | 43432 | 344156 0 | 22192 | 31418 222.05/222.19 c 158s | 13 | 55349 | 43932 | 344156 0 | 22192 | 31418 224.55/224.64 c 160s | 13 | 55934 | 44432 | 344156 0 | 22192 | 31418 226.75/226.84 c 162s | 13 | 56537 | 44932 | 344156 0 | 22192 | 31418 229.25/229.32 c 165s | 13 | 57148 | 45432 | 344156 0 | 22192 | 31418 229.65/229.77 c 165s | 13 | 57149 | 45434 | 344156 0 | 22193 | 31419 229.65/229.77 c #cpu_time = 165.347s 229.65/229.77 c #wall_clock_time = 165.769s 229.65/229.77 c #decision = 57149 229.65/229.77 c #random_decision = 31 229.65/229.77 c #conflict = 45434 229.65/229.77 c #restart = 13 229.65/229.77 c BCD2: updating lower bound of a core 229.65/229.77 c lower bound updated to 119 229.65/229.78 c BCD2: 119 <= obj <= 299 229.65/229.78 c BCD2: #cores=1, #unrelaxed=113, #relaxed=186, #hardened=1 229.65/229.78 c BCD2: #sat=1 #unsat=7 bias=7/8 230.75/230.84 c Solving starts ... 230.75/230.84 c ============================[ Search Statistics ]============================ 230.75/230.84 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 230.75/230.84 c | | | | Limit GC | Var | Constra 230.75/230.84 c ============================================================================= 230.75/230.84 c 0.0s | 0 | 0 | 0 | 344156 0 | 22193 | 31419 231.65/231.78 c 0.9s | 1 | 146 | 100 | 344156 0 | 22193 | 31419 232.75/232.87 c 2.0s | 2 | 338 | 250 | 344156 0 | 22193 | 31419 234.26/234.31 c 3.5s | 3 | 670 | 475 | 344156 0 | 22193 | 31419 236.15/236.28 c 5.4s | 4 | 1121 | 813 | 344156 0 | 22193 | 31419 238.25/238.32 c 7.5s | 4 | 1500 | 1113 | 344156 0 | 22193 | 31419 239.15/239.25 c 8.4s | 5 | 1752 | 1320 | 344156 0 | 22193 | 31419 241.35/241.47 c 10.6s | 5 | 2342 | 1720 | 344156 0 | 22193 | 31419 242.95/243.08 c 12.2s | 6 | 2784 | 2081 | 344156 0 | 22193 | 31419 245.05/245.15 c 14.3s | 6 | 3214 | 2381 | 344156 0 | 22193 | 31419 247.35/247.50 c 16.7s | 6 | 3825 | 2881 | 344156 0 | 22193 | 31419 248.85/248.99 c 18.1s | 7 | 4248 | 3223 | 344156 0 | 22193 | 31419 250.95/251.09 c 20.2s | 7 | 5158 | 3823 | 344156 0 | 22193 | 31419 252.65/252.73 c 21.9s | 8 | 6522 | 4936 | 344156 0 | 22193 | 31419 254.85/254.92 c 24.1s | 8 | 7495 | 5636 | 344156 0 | 22193 | 31419 257.05/257.15 c 26.3s | 8 | 8467 | 6336 | 344156 0 | 22193 | 31419 259.25/259.37 c 28.5s | 8 | 9341 | 6936 | 344156 0 | 22193 | 31419 261.35/261.48 c 30.6s | 8 | 9975 | 7436 | 344156 0 | 22193 | 31419 261.65/261.80 c 31.0s | 9 | 10069 | 7506 | 344156 0 | 22193 | 31419 264.25/264.33 c 33.5s | 9 | 10657 | 7906 | 344156 0 | 22193 | 31419 266.55/266.66 c 35.8s | 9 | 11286 | 8406 | 344156 0 | 22193 | 31419 268.65/268.71 c 37.9s | 9 | 11896 | 8906 | 344156 0 | 22193 | 31419 270.74/270.85 c 40.0s | 9 | 12542 | 9406 | 344156 0 | 22193 | 31419 273.04/273.13 c 42.3s | 9 | 13178 | 9906 | 344156 0 | 22193 | 31419 275.34/275.47 c 44.6s | 9 | 13983 | 10506 | 344156 0 | 22193 | 31419 277.74/277.84 c 47.0s | 9 | 14709 | 11106 | 344156 0 | 22193 | 31419 278.84/278.90 c 48.1s | 10 | 15035 | 11361 | 344156 0 | 22193 | 31419 280.84/280.91 c 50.1s | 10 | 15570 | 11761 | 344156 0 | 22193 | 31419 282.94/283.01 c 52.2s | 10 | 16317 | 12361 | 344156 0 | 22193 | 31419 284.95/285.09 c 54.2s | 10 | 17066 | 12961 | 344156 0 | 22193 | 31419 287.24/287.34 c 56.5s | 10 | 17865 | 13561 | 344156 0 | 22193 | 31419 289.54/289.63 c 58.8s | 10 | 18612 | 14161 | 344156 0 | 22193 | 31419 291.64/291.75 c 60.9s | 10 | 19246 | 14661 | 344156 0 | 22193 | 31419 293.95/294.07 c 63.2s | 10 | 19993 | 15261 | 344156 0 | 22193 | 31419 296.25/296.33 c 65.5s | 10 | 20602 | 15761 | 344156 0 | 22193 | 31419 298.35/298.44 c 67.6s | 10 | 21212 | 16261 | 344156 0 | 22193 | 31419 300.45/300.55 c 69.7s | 10 | 21820 | 16761 | 344156 0 | 22193 | 31419 302.05/302.12 c 71.3s | 11 | 22295 | 17144 | 344156 0 | 22193 | 31419 304.35/304.48 c 73.6s | 11 | 22811 | 17544 | 344156 0 | 22193 | 31419 306.55/306.60 c 75.8s | 11 | 23417 | 18044 | 344156 0 | 22193 | 31419 308.65/308.74 c 77.9s | 11 | 24059 | 18544 | 344156 0 | 22193 | 31419 310.65/310.78 c 79.9s | 11 | 24733 | 19044 | 344156 0 | 22193 | 31419 312.75/312.85 c 82.0s | 11 | 25232 | 19444 | 344156 0 | 22193 | 31419 314.85/314.95 c 84.1s | 11 | 25895 | 19944 | 344156 0 | 22193 | 31419 317.15/317.27 c 86.4s | 11 | 26540 | 20444 | 378572 0 | 22193 | 31419 319.15/319.29 c 88.4s | 11 | 27198 | 20944 | 378572 0 | 22193 | 31419 321.65/321.70 c 90.9s | 11 | 27935 | 21544 | 378572 0 | 22193 | 31419 323.95/324.02 c 93.2s | 11 | 28533 | 22044 | 378572 0 | 22193 | 31419 326.15/326.21 c 95.4s | 11 | 29158 | 22544 | 378572 0 | 22193 | 31419 328.25/328.30 c 97.5s | 11 | 29759 | 23044 | 378572 0 | 22193 | 31419 330.55/330.64 c 99.8s | 11 | 30401 | 23544 | 378572 0 | 22193 | 31419 332.95/333.07 c 102s | 11 | 31021 | 24044 | 378572 0 | 22193 | 31419 335.25/335.37 c 104s | 11 | 31672 | 24544 | 378572 0 | 22193 | 31419 337.54/337.60 c 106s | 11 | 32255 | 25044 | 378572 0 | 22193 | 31419 339.85/339.94 c 109s | 11 | 32931 | 25544 | 378572 0 | 22193 | 31419 341.14/341.25 c 110s | 12 | 33259 | 25819 | 378572 0 | 22193 | 31419 343.34/343.40 c 112s | 12 | 33631 | 26119 | 378572 0 | 22193 | 31419 345.64/345.79 c 114s | 12 | 34235 | 26619 | 378572 0 | 22193 | 31419 348.04/348.11 c 117s | 12 | 34839 | 27119 | 378572 0 | 22193 | 31419 350.34/350.49 c 119s | 12 | 35437 | 27619 | 378572 0 | 22193 | 31419 352.44/352.58 c 121s | 12 | 35906 | 28019 | 378572 0 | 22193 | 31419 354.54/354.64 c 123s | 12 | 36373 | 28419 | 378572 0 | 22193 | 31419 357.04/357.12 c 126s | 12 | 36838 | 28819 | 378572 0 | 22193 | 31419 359.14/359.21 c 128s | 12 | 37336 | 29219 | 378572 0 | 22193 | 31419 361.24/361.33 c 130s | 12 | 37817 | 29619 | 378572 0 | 22193 | 31419 363.74/363.86 c 133s | 12 | 38431 | 30119 | 378572 0 | 22193 | 31419 365.94/366.05 c 135s | 12 | 38904 | 30519 | 378572 0 | 22193 | 31419 368.34/368.44 c 137s | 12 | 39380 | 30919 | 378572 0 | 22193 | 31419 370.54/370.68 c 139s | 12 | 39881 | 31319 | 378572 0 | 22193 | 31419 372.74/372.84 c 141s | 12 | 40382 | 31719 | 378572 0 | 22193 | 31419 375.15/375.21 c 144s | 12 | 40880 | 32119 | 378572 0 | 22193 | 31419 377.44/377.55 c 146s | 12 | 41504 | 32619 | 378572 0 | 22193 | 31419 379.55/379.62 c 148s | 12 | 42002 | 33019 | 378572 0 | 22193 | 31419 381.94/382.02 c 151s | 12 | 42526 | 33419 | 378572 0 | 22193 | 31419 384.24/384.34 c 153s | 12 | 43025 | 33819 | 378572 0 | 22193 | 31419 386.74/386.82 c 155s | 12 | 43501 | 34219 | 378572 0 | 22193 | 31419 388.74/388.88 c 158s | 12 | 43962 | 34619 | 378572 0 | 22193 | 31419 390.94/391.09 c 160s | 12 | 44456 | 35019 | 378572 0 | 22193 | 31419 393.24/393.32 c 162s | 12 | 44914 | 35419 | 378572 0 | 22193 | 31419 395.24/395.36 c 164s | 12 | 45387 | 35819 | 378572 0 | 22193 | 31419 397.84/397.91 c 167s | 12 | 46033 | 36319 | 378572 0 | 22193 | 31419 400.14/400.28 c 169s | 12 | 46671 | 36819 | 378572 0 | 22193 | 31419 402.43/402.51 c 171s | 12 | 47179 | 37219 | 378572 0 | 22193 | 31419 404.93/405.04 c 174s | 12 | 47672 | 37619 | 378572 0 | 22193 | 31419 407.23/407.33 c 176s | 12 | 48178 | 38019 | 378572 0 | 22193 | 31419 409.24/409.40 c 178s | 12 | 49204 | 38819 | 378572 0 | 22193 | 31419 409.33/409.45 c 178s | 13 | 49212 | 38832 | 378572 0 | 22193 | 31419 411.44/411.56 c 180s | 13 | 50134 | 39532 | 378572 0 | 22193 | 31419 413.64/413.74 c 182s | 13 | 51561 | 40632 | 378572 0 | 22193 | 31419 415.84/415.92 c 185s | 13 | 52648 | 41432 | 378572 0 | 22193 | 31419 418.13/418.25 c 187s | 13 | 53839 | 42332 | 378572 0 | 22193 | 31419 420.14/420.25 c 189s | 13 | 54744 | 43032 | 378572 0 | 22193 | 31419 422.23/422.36 c 191s | 13 | 55841 | 43932 | 378572 0 | 22193 | 31419 424.33/424.41 c 193s | 13 | 56990 | 44832 | 378572 0 | 22193 | 31419 426.43/426.54 c 195s | 13 | 58120 | 45732 | 378572 0 | 22193 | 31419 428.53/428.60 c 197s | 13 | 59100 | 46532 | 378572 0 | 22193 | 31419 430.63/430.73 c 199s | 13 | 60124 | 47332 | 378572 0 | 22193 | 31419 432.93/433.00 c 202s | 13 | 61377 | 48332 | 378572 0 | 22193 | 31419 434.93/435.07 c 204s | 13 | 62502 | 49132 | 378572 0 | 22193 | 31419 437.03/437.15 c 206s | 13 | 63427 | 49832 | 378572 0 | 22193 | 31419 439.13/439.22 c 208s | 13 | 64518 | 50732 | 378572 0 | 22193 | 31419 441.23/441.36 c 210s | 13 | 65644 | 51632 | 378572 0 | 22193 | 31419 443.34/443.44 c 212s | 13 | 66752 | 52532 | 378572 0 | 22193 | 31419 445.44/445.58 c 214s | 13 | 67742 | 53332 | 378572 0 | 22193 | 31419 447.73/447.83 c 216s | 13 | 68811 | 54132 | 378572 0 | 22193 | 31419 449.83/449.91 c 219s | 13 | 69685 | 54832 | 378572 0 | 22193 | 31419 451.93/452.01 c 221s | 13 | 70595 | 55532 | 378572 0 | 22193 | 31419 453.93/454.04 c 223s | 13 | 71340 | 56132 | 378572 0 | 22193 | 31419 456.03/456.11 c 225s | 13 | 72257 | 56832 | 378572 0 | 22193 | 31419 458.13/458.26 c 227s | 13 | 73094 | 57532 | 378572 0 | 22193 | 31419 460.13/460.29 c 229s | 13 | 73838 | 58132 | 378572 0 | 22193 | 31419 460.83/460.99 c 230s | 14 | 74133 | 58352 | 378572 0 | 22193 | 31419 462.93/463.06 c 232s | 14 | 74677 | 58752 | 378572 0 | 22193 | 31419 465.33/465.49 c 234s | 14 | 75327 | 59252 | 378572 0 | 22193 | 31419 467.53/467.63 c 236s | 14 | 75691 | 59552 | 378572 0 | 22193 | 31419 469.63/469.72 c 238s | 14 | 76113 | 59852 | 378572 0 | 22193 | 31419 472.12/472.22 c 241s | 14 | 76646 | 60252 | 378572 0 | 22193 | 31419 474.52/474.68 c 243s | 14 | 77152 | 60652 | 378572 0 | 22193 | 31419 477.12/477.20 c 246s | 14 | 77671 | 61052 | 378572 0 | 22193 | 31419 479.53/479.69 c 248s | 14 | 78204 | 61452 | 378572 0 | 22193 | 31419 482.22/482.39 c 251s | 14 | 78720 | 61852 | 378572 0 | 22193 | 31419 484.42/484.57 c 253s | 14 | 79110 | 62152 | 378572 0 | 22193 | 31419 486.42/486.59 c 255s | 14 | 79471 | 62452 | 378572 0 | 22193 | 31419 488.82/488.99 c 258s | 14 | 79997 | 62852 | 378572 0 | 22193 | 31419 491.42/491.56 c 260s | 14 | 80493 | 63252 | 378572 0 | 22193 | 31419 493.83/493.91 c 263s | 14 | 81141 | 63752 | 378572 0 | 22193 | 31419 496.13/496.21 c 265s | 14 | 81667 | 64152 | 416430 0 | 22193 | 31419 498.33/498.48 c 267s | 14 | 82182 | 64552 | 416430 0 | 22193 | 31419 500.82/500.98 c 270s | 14 | 82681 | 64952 | 416430 0 | 22193 | 31419 502.92/503.01 c 272s | 14 | 83089 | 65252 | 416430 0 | 22193 | 31419 505.22/505.31 c 274s | 14 | 83640 | 65652 | 416430 0 | 22193 | 31419 507.82/507.90 c 277s | 14 | 84178 | 66052 | 416430 0 | 22193 | 31419 509.82/509.98 c 279s | 14 | 84578 | 66352 | 416430 0 | 22193 | 31419 512.02/512.14 c 281s | 14 | 85069 | 66752 | 416430 0 | 22193 | 31419 514.32/514.43 c 283s | 14 | 85597 | 67152 | 416430 0 | 22193 | 31419 516.52/516.69 c 285s | 14 | 86098 | 67552 | 416430 0 | 22193 | 31419 519.02/519.12 c 288s | 14 | 86624 | 67952 | 416430 0 | 22193 | 31419 521.32/521.50 c 290s | 14 | 87146 | 68352 | 416430 0 | 22193 | 31419 524.01/524.16 c 293s | 14 | 87684 | 68752 | 416430 0 | 22193 | 31419 526.41/526.50 c 295s | 14 | 88245 | 69152 | 416430 0 | 22193 | 31419 528.51/528.60 c 297s | 14 | 88770 | 69552 | 416430 0 | 22193 | 31419 531.01/531.11 c 300s | 14 | 89299 | 69952 | 416430 0 | 22193 | 31419 533.31/533.44 c 302s | 14 | 89855 | 70352 | 416430 0 | 22193 | 31419 535.31/535.48 c 304s | 14 | 90393 | 70752 | 416430 0 | 22193 | 31419 537.82/537.92 c 307s | 14 | 90920 | 71152 | 416430 0 | 22193 | 31419 540.21/540.31 c 309s | 14 | 91380 | 71552 | 416430 0 | 22193 | 31419 542.61/542.77 c 311s | 14 | 91917 | 71952 | 416430 0 | 22193 | 31419 544.81/544.96 c 314s | 14 | 92310 | 72252 | 416430 0 | 22193 | 31419 546.81/546.99 c 316s | 14 | 92682 | 72552 | 416430 0 | 22193 | 31419 549.21/549.39 c 318s | 14 | 93173 | 72952 | 416430 0 | 22193 | 31419 551.61/551.76 c 320s | 14 | 93701 | 73352 | 416430 0 | 22193 | 31419 554.21/554.35 c 323s | 14 | 94191 | 73752 | 416430 0 | 22193 | 31419 556.71/556.83 c 325s | 14 | 94713 | 74152 | 416430 0 | 22193 | 31419 559.21/559.30 c 328s | 14 | 95258 | 74552 | 416430 0 | 22193 | 31419 561.31/561.42 c 330s | 14 | 95616 | 74852 | 416430 0 | 22193 | 31419 563.31/563.43 c 332s | 14 | 96005 | 75152 | 416430 0 | 22193 | 31419 565.81/565.97 c 335s | 14 | 96516 | 75552 | 416430 0 | 22193 | 31419 568.11/568.23 c 337s | 14 | 97012 | 75952 | 416430 0 | 22193 | 31419 570.21/570.34 c 339s | 14 | 97524 | 76352 | 416430 0 | 22193 | 31419 572.71/572.87 c 342s | 14 | 98027 | 76752 | 416430 0 | 22193 | 31419 575.00/575.13 c 344s | 14 | 98573 | 77152 | 416430 0 | 22193 | 31419 577.30/577.41 c 346s | 14 | 99078 | 77552 | 416430 0 | 22193 | 31419 579.50/579.66 c 348s | 14 | 99459 | 77852 | 416430 0 | 22193 | 31419 582.10/582.21 c 351s | 14 | 100021 | 78252 | 416430 0 | 22193 | 31419 584.50/584.65 c 353s | 14 | 100530 | 78652 | 416430 0 | 22193 | 31419 587.20/587.38 c 356s | 14 | 101038 | 79052 | 416430 0 | 22193 | 31419 589.30/589.43 c 358s | 14 | 101408 | 79352 | 416430 0 | 22193 | 31419 591.40/591.55 c 360s | 14 | 101787 | 79652 | 416430 0 | 22193 | 31419 593.60/593.74 c 362s | 14 | 102155 | 79952 | 416430 0 | 22193 | 31419 596.21/596.38 c 365s | 14 | 102640 | 80352 | 416430 0 | 22193 | 31419 598.70/598.82 c 367s | 14 | 103122 | 80752 | 416430 0 | 22193 | 31419 600.80/600.91 c 370s | 14 | 103503 | 81052 | 416430 0 | 22193 | 31419 603.00/603.19 c 372s | 14 | 103881 | 81352 | 416430 0 | 22193 | 31419 605.30/605.46 c 374s | 14 | 104243 | 81652 | 416430 0 | 22193 | 31419 607.30/607.48 c 376s | 14 | 104606 | 81952 | 416430 0 | 22193 | 31419 609.50/609.64 c 378s | 14 | 104943 | 82252 | 416430 0 | 22193 | 31419 612.00/612.10 c 381s | 14 | 105339 | 82552 | 416430 0 | 22193 | 31419 614.00/614.15 c 383s | 14 | 105685 | 82852 | 416430 0 | 22193 | 31419 616.70/616.81 c 385s | 14 | 106171 | 83252 | 416430 0 | 22193 | 31419 618.70/618.89 c 388s | 14 | 106539 | 83552 | 416430 0 | 22193 | 31419 621.00/621.18 c 390s | 14 | 106922 | 83852 | 416430 0 | 22193 | 31419 623.40/623.52 c 392s | 14 | 107335 | 84152 | 416430 0 | 22193 | 31419 625.60/625.75 c 394s | 14 | 107704 | 84452 | 416430 0 | 22193 | 31419 627.80/627.95 c 397s | 14 | 108104 | 84752 | 416430 0 | 22193 | 31419 630.00/630.15 c 399s | 14 | 108491 | 85052 | 416430 0 | 22193 | 31419 632.19/632.34 c 401s | 14 | 108851 | 85352 | 416430 0 | 22193 | 31419 634.49/634.62 c 403s | 14 | 109250 | 85652 | 416430 0 | 22193 | 31419 636.80/636.94 c 406s | 14 | 109731 | 86052 | 416430 0 | 22193 | 31419 638.89/639.09 c 408s | 14 | 110089 | 86352 | 416430 0 | 22193 | 31419 641.49/641.69 c 410s | 14 | 110566 | 86752 | 416430 0 | 22193 | 31419 643.99/644.19 c 413s | 14 | 111080 | 87152 | 416430 0 | 22193 | 31419 645.99/646.19 c 415s | 14 | 111449 | 87452 | 416430 0 | 22193 | 31419 647.19/647.32 c 416s | 15 | 111672 | 87632 | 416430 0 | 22193 | 31419 649.59/649.70 c 418s | 15 | 111932 | 87832 | 416430 0 | 22193 | 31419 651.59/651.70 c 420s | 15 | 112277 | 88132 | 416430 0 | 22193 | 31419 653.69/653.80 c 422s | 15 | 112667 | 88432 | 416430 0 | 22193 | 31419 656.19/656.38 c 425s | 15 | 113152 | 88832 | 416430 0 | 22193 | 31419 658.80/658.93 c 428s | 15 | 113629 | 89232 | 416430 0 | 22193 | 31419 661.29/661.40 c 430s | 15 | 114119 | 89632 | 416430 0 | 22193 | 31419 663.59/663.78 c 432s | 15 | 114602 | 90032 | 416430 0 | 22193 | 31419 666.09/666.30 c 435s | 15 | 115125 | 90432 | 416430 0 | 22193 | 31419 668.80/668.96 c 438s | 15 | 115564 | 90832 | 416430 0 | 22193 | 31419 671.39/671.58 c 440s | 15 | 116074 | 91232 | 416430 0 | 22193 | 31419 673.79/673.93 c 443s | 15 | 116537 | 91632 | 416430 0 | 22193 | 31419 676.19/676.37 c 445s | 15 | 117034 | 92032 | 416430 0 | 22193 | 31419 678.69/678.83 c 447s | 15 | 117499 | 92432 | 416430 0 | 22193 | 31419 680.89/681.06 c 450s | 15 | 117899 | 92732 | 416430 0 | 22193 | 31419 683.39/683.54 c 452s | 15 | 118382 | 93132 | 416430 0 | 22193 | 31419 685.99/686.15 c 455s | 15 | 118876 | 93532 | 416430 0 | 22193 | 31419 688.59/688.73 c 457s | 15 | 119315 | 93932 | 416430 0 | 22193 | 31419 691.29/691.40 c 460s | 15 | 119776 | 94332 | 416430 0 | 22193 | 31419 693.79/693.92 c 463s | 15 | 120206 | 94732 | 416430 0 | 22193 | 31419 695.79/695.93 c 465s | 15 | 120593 | 95032 | 416430 0 | 22193 | 31419 698.28/698.49 c 467s | 15 | 121083 | 95432 | 416430 0 | 22193 | 31419 700.78/700.93 c 470s | 15 | 121428 | 95732 | 416430 0 | 22193 | 31419 703.18/703.35 c 472s | 15 | 121772 | 96032 | 416430 0 | 22193 | 31419 705.28/705.42 c 474s | 15 | 122169 | 96332 | 416430 0 | 22193 | 31419 707.78/707.95 c 477s | 15 | 122664 | 96732 | 416430 0 | 22193 | 31419 709.88/710.08 c 479s | 15 | 123194 | 97132 | 416430 0 | 22193 | 31419 712.58/712.72 c 481s | 15 | 123664 | 97532 | 416430 0 | 22193 | 31419 715.08/715.20 c 484s | 15 | 124158 | 97932 | 416430 0 | 22193 | 31419 717.48/717.68 c 486s | 15 | 124655 | 98332 | 416430 0 | 22193 | 31419 720.18/720.38 c 489s | 15 | 125173 | 98732 | 416430 0 | 22193 | 31419 722.69/722.81 c 491s | 15 | 125551 | 99032 | 416430 0 | 22193 | 31419 724.79/724.95 c 494s | 15 | 125922 | 99332 | 416430 0 | 22193 | 31419 726.88/727.08 c 496s | 15 | 126294 | 99632 | 416430 0 | 22193 | 31419 729.29/729.45 c 498s | 15 | 126837 | 100032 | 416430 0 | 22193 | 31419 731.68/731.86 c 501s | 15 | 127355 | 100432 | 416430 0 | 22193 | 31419 734.08/734.29 c 503s | 15 | 127866 | 100832 | 416430 0 | 22193 | 31419 736.18/736.32 c 505s | 15 | 128218 | 101132 | 416430 0 | 22193 | 31419 738.78/738.90 c 508s | 15 | 128721 | 101532 | 416430 0 | 22193 | 31419 741.29/741.44 c 510s | 15 | 129184 | 101932 | 416430 0 | 22193 | 31419 743.88/744.02 c 513s | 15 | 129663 | 102332 | 416430 0 | 22193 | 31419 746.08/746.20 c 515s | 15 | 130031 | 102632 | 416430 0 | 22193 | 31419 748.18/748.39 c 517s | 15 | 130556 | 103032 | 416430 0 | 22193 | 31419 750.78/750.96 c 520s | 15 | 131072 | 103432 | 416430 0 | 22193 | 31419 753.28/753.44 c 522s | 15 | 131577 | 103832 | 416430 0 | 22193 | 31419 755.88/756.03 c 525s | 15 | 132035 | 104232 | 416430 0 | 22193 | 31419 758.18/758.30 c 527s | 15 | 132559 | 104632 | 416430 0 | 22193 | 31419 760.57/760.77 c 529s | 15 | 133082 | 105032 | 416430 0 | 22193 | 31419 762.87/763.02 c 532s | 15 | 133592 | 105432 | 416430 0 | 22193 | 31419 765.37/765.55 c 534s | 15 | 134074 | 105832 | 416430 0 | 22193 | 31419 767.78/767.99 c 537s | 15 | 134573 | 106232 | 416430 0 | 22193 | 31419 770.17/770.38 c 539s | 15 | 135071 | 106632 | 416430 0 | 22193 | 31419 772.27/772.49 c 541s | 15 | 135443 | 106932 | 416430 0 | 22193 | 31419 774.28/774.49 c 543s | 15 | 135810 | 107232 | 416430 0 | 22193 | 31419 776.97/777.10 c 546s | 15 | 136318 | 107632 | 416430 0 | 22193 | 31419 778.97/779.19 c 548s | 15 | 136832 | 108032 | 416430 0 | 22193 | 31419 781.47/781.62 c 550s | 15 | 137333 | 108432 | 416430 0 | 22193 | 31419 783.67/783.89 c 553s | 15 | 137815 | 108832 | 416430 0 | 22193 | 31419 785.87/786.03 c 555s | 15 | 138195 | 109132 | 416430 0 | 22193 | 31419 787.97/788.18 c 557s | 15 | 138601 | 109432 | 416430 0 | 22193 | 31419 790.37/790.55 c 559s | 15 | 139128 | 109832 | 416430 0 | 22193 | 31419 792.87/793.00 c 562s | 15 | 139661 | 110232 | 416430 0 | 22193 | 31419 794.97/795.17 c 564s | 15 | 140044 | 110532 | 416430 0 | 22193 | 31419 797.07/797.20 c 566s | 15 | 140429 | 110832 | 416430 0 | 22193 | 31419 799.87/800.01 c 569s | 15 | 141085 | 111332 | 416430 0 | 22193 | 31419 801.88/802.02 c 571s | 15 | 141464 | 111632 | 416430 0 | 22193 | 31419 804.07/804.26 c 573s | 15 | 141839 | 111932 | 416430 0 | 22193 | 31419 806.27/806.40 c 575s | 15 | 142201 | 112232 | 416430 0 | 22193 | 31419 808.37/808.57 c 577s | 15 | 142578 | 112532 | 416430 0 | 22193 | 31419 810.67/810.83 c 579s | 15 | 142915 | 112832 | 416430 0 | 22193 | 31419 812.77/812.99 c 582s | 15 | 143245 | 113132 | 416430 0 | 22193 | 31419 815.07/815.25 c 584s | 15 | 143593 | 113432 | 416430 0 | 22193 | 31419 817.57/817.76 c 586s | 15 | 144053 | 113832 | 416430 0 | 22193 | 31419 819.67/819.89 c 589s | 15 | 144432 | 114132 | 416430 0 | 22193 | 31419 821.87/822.07 c 591s | 15 | 144790 | 114432 | 416430 0 | 22193 | 31419 824.06/824.22 c 593s | 15 | 145179 | 114732 | 416430 0 | 22193 | 31419 826.36/826.51 c 595s | 15 | 145654 | 115132 | 416430 0 | 22193 | 31419 828.46/828.66 c 597s | 15 | 146029 | 115432 | 416430 0 | 22193 | 31419 830.96/831.17 c 600s | 15 | 146523 | 115832 | 416430 0 | 22193 | 31419 833.56/833.77 c 602s | 15 | 146996 | 116232 | 416430 0 | 22193 | 31419 835.97/836.11 c 605s | 15 | 147484 | 116632 | 416430 0 | 22193 | 31419 838.66/838.81 c 607s | 15 | 147933 | 117032 | 416430 0 | 22193 | 31419 840.76/840.95 c 610s | 15 | 148293 | 117332 | 416430 0 | 22193 | 31419 842.96/843.11 c 612s | 15 | 148672 | 117632 | 416430 0 | 22193 | 31419 845.26/845.41 c 614s | 15 | 149032 | 117932 | 416430 0 | 22193 | 31419 847.97/848.17 c 617s | 15 | 149423 | 118232 | 416430 0 | 22193 | 31419 850.56/850.73 c 619s | 15 | 149803 | 118532 | 416430 0 | 22193 | 31419 852.56/852.78 c 621s | 15 | 150171 | 118832 | 416430 0 | 22193 | 31419 854.86/855.07 c 624s | 15 | 150535 | 119132 | 416430 0 | 22193 | 31419 856.96/857.10 c 626s | 15 | 150918 | 119432 | 416430 0 | 22193 | 31419 859.66/859.86 c 629s | 15 | 151396 | 119832 | 416430 0 | 22193 | 31419 862.26/862.46 c 631s | 15 | 151918 | 120232 | 416430 0 | 22193 | 31419 864.56/864.78 c 633s | 15 | 152297 | 120532 | 416430 0 | 22193 | 31419 866.96/867.13 c 636s | 15 | 152832 | 120932 | 416430 0 | 22193 | 31419 869.06/869.21 c 638s | 15 | 153231 | 121232 | 416430 0 | 22193 | 31419 871.56/871.78 c 640s | 15 | 153715 | 121632 | 416430 0 | 22193 | 31419 873.66/873.89 c 643s | 15 | 154078 | 121932 | 416430 0 | 22193 | 31419 876.15/876.39 c 645s | 15 | 154538 | 122332 | 416430 0 | 22193 | 31419 878.55/878.72 c 647s | 15 | 155033 | 122732 | 416430 0 | 22193 | 31419 880.75/880.97 c 650s | 15 | 155390 | 123032 | 416430 0 | 22193 | 31419 883.16/883.35 c 652s | 15 | 155891 | 123432 | 416430 0 | 22193 | 31419 885.65/885.80 c 654s | 15 | 156370 | 123832 | 416430 0 | 22193 | 31419 887.95/888.14 c 657s | 15 | 156868 | 124232 | 416430 0 | 22193 | 31419 890.45/890.64 c 659s | 15 | 157387 | 124632 | 416430 0 | 22193 | 31419 892.65/892.80 c 661s | 15 | 157720 | 124932 | 416430 0 | 22193 | 31419 895.15/895.34 c 664s | 15 | 158195 | 125332 | 416430 0 | 22193 | 31419 897.75/897.96 c 667s | 15 | 158691 | 125732 | 416430 0 | 22193 | 31419 900.05/900.20 c 669s | 15 | 159050 | 126032 | 416430 0 | 22193 | 31419 902.15/902.31 c 671s | 15 | 159426 | 126332 | 416430 0 | 22193 | 31419 904.45/904.61 c 673s | 15 | 159811 | 126632 | 416430 0 | 22193 | 31419 906.85/907.04 c 676s | 15 | 160318 | 127032 | 416430 0 | 22193 | 31419 908.85/909.06 c 678s | 15 | 160672 | 127332 | 416430 0 | 22193 | 31419 911.15/911.30 c 680s | 15 | 161092 | 127632 | 416430 0 | 22193 | 31419 913.96/914.13 c 683s | 15 | 161553 | 128032 | 416430 0 | 22193 | 31419 916.25/916.42 c 685s | 15 | 161916 | 128332 | 416430 0 | 22193 | 31419 918.85/919.09 c 688s | 15 | 162275 | 128632 | 416430 0 | 22193 | 31419 921.55/921.71 c 690s | 15 | 162656 | 128932 | 416430 0 | 22193 | 31419 924.15/924.32 c 693s | 15 | 163014 | 129232 | 416430 0 | 22193 | 31419 926.65/926.82 c 695s | 15 | 163389 | 129532 | 458074 0 | 22193 | 31419 929.15/929.33 c 698s | 15 | 163754 | 129832 | 458074 0 | 22193 | 31419 931.55/931.70 c 700s | 15 | 164159 | 130132 | 458074 0 | 22193 | 31419 934.25/934.46 c 703s | 15 | 164524 | 130432 | 458074 0 | 22193 | 31419 936.74/936.92 c 706s | 15 | 164950 | 130732 | 458074 0 | 22193 | 31419 938.94/939.19 c 708s | 15 | 165631 | 131232 | 458074 0 | 22193 | 31419 940.14/940.31 c 709s | 16 | 166022 | 131552 | 458074 0 | 22193 | 31419 942.44/942.64 c 711s | 16 | 166352 | 131752 | 458074 0 | 22193 | 31419 945.14/945.30 c 714s | 16 | 166862 | 132152 | 458074 0 | 22193 | 31419 947.64/947.89 c 717s | 16 | 167441 | 132552 | 458074 0 | 22193 | 31419 950.14/950.33 c 719s | 16 | 167988 | 132952 | 458074 0 | 22193 | 31419 952.64/952.83 c 721s | 16 | 168585 | 133352 | 458074 0 | 22193 | 31419 954.65/954.85 c 724s | 16 | 168859 | 133552 | 458074 0 | 22193 | 31419 956.64/956.88 c 726s | 16 | 169124 | 133752 | 458074 0 | 22193 | 31419 959.34/959.50 c 728s | 16 | 169509 | 134052 | 458074 0 | 22193 | 31419 962.45/962.61 c 731s | 16 | 169927 | 134352 | 458074 0 | 22193 | 31419 964.94/965.13 c 734s | 16 | 170168 | 134552 | 458074 0 | 22193 | 31419 967.14/967.39 c 736s | 16 | 170391 | 134752 | 458074 0 | 22193 | 31419 969.34/969.54 c 738s | 16 | 170635 | 134952 | 458074 0 | 22193 | 31419 971.64/971.86 c 741s | 16 | 170863 | 135152 | 458074 0 | 22193 | 31419 973.94/974.19 c 743s | 16 | 171087 | 135352 | 458074 0 | 22193 | 31419 976.24/976.42 c 745s | 16 | 171326 | 135552 | 458074 0 | 22193 | 31419 978.54/978.79 c 747s | 16 | 171549 | 135752 | 458074 0 | 22193 | 31419 980.74/980.94 c 750s | 16 | 171806 | 135952 | 458074 0 | 22193 | 31419 983.84/984.08 c 753s | 16 | 172202 | 136252 | 458074 0 | 22193 | 31419 986.24/986.49 c 755s | 16 | 172442 | 136452 | 458074 0 | 22193 | 31419 988.34/988.54 c 757s | 16 | 172719 | 136652 | 458074 0 | 22193 | 31419 991.14/991.38 c 760s | 16 | 173133 | 136952 | 458074 0 | 22193 | 31419 993.84/994.06 c 763s | 16 | 173488 | 137252 | 458074 0 | 22193 | 31419 996.24/996.40 c 765s | 16 | 173758 | 137452 | 458074 0 | 22193 | 31419 998.24/998.41 c 767s | 16 | 174041 | 137652 | 458074 0 | 22193 | 31419 1000.54/1000.71 c 769s | 16 | 174336 | 137852 | 458074 0 | 22193 | 31419 1002.74/1002.94 c 772s | 16 | 174585 | 138052 | 458074 0 | 22193 | 31419 1005.64/1005.86 c 775s | 16 | 175003 | 138352 | 458074 0 | 22193 | 31419 1007.64/1007.88 c 777s | 16 | 175259 | 138552 | 458074 0 | 22193 | 31419 1010.34/1010.53 c 779s | 16 | 175639 | 138852 | 458074 0 | 22193 | 31419 1013.14/1013.31 c 782s | 16 | 176000 | 139152 | 458074 0 | 22193 | 31419 1015.54/1015.73 c 784s | 16 | 176233 | 139352 | 458074 0 | 22193 | 31419 1018.14/1018.37 c 787s | 16 | 176577 | 139652 | 458074 0 | 22193 | 31419 1020.24/1020.45 c 789s | 16 | 176855 | 139852 | 458074 0 | 22193 | 31419 1023.04/1023.21 c 792s | 16 | 177214 | 140152 | 458074 0 | 22193 | 31419 1025.34/1025.51 c 794s | 16 | 177600 | 140452 | 458074 0 | 22193 | 31419 1027.54/1027.77 c 796s | 16 | 177976 | 140752 | 458074 0 | 22193 | 31419 1030.34/1030.53 c 799s | 16 | 178336 | 141052 | 458074 0 | 22193 | 31419 1032.94/1033.15 c 802s | 16 | 178757 | 141352 | 458074 0 | 22193 | 31419 1035.84/1036.04 c 805s | 16 | 179133 | 141652 | 458074 0 | 22193 | 31419 1038.54/1038.76 c 807s | 16 | 179509 | 141952 | 458074 0 | 22193 | 31419 1040.64/1040.85 c 810s | 16 | 179763 | 142152 | 458074 0 | 22193 | 31419 1043.44/1043.64 c 812s | 16 | 180140 | 142452 | 458074 0 | 22193 | 31419 1045.54/1045.71 c 814s | 16 | 180405 | 142652 | 458074 0 | 22193 | 31419 1047.64/1047.86 c 817s | 16 | 180650 | 142852 | 458074 0 | 22193 | 31419 1049.84/1050.00 c 819s | 16 | 180891 | 143052 | 458074 0 | 22193 | 31419 1052.84/1053.08 c 822s | 16 | 181244 | 143352 | 458074 0 | 22193 | 31419 1055.84/1056.05 c 825s | 16 | 181625 | 143652 | 458074 0 | 22193 | 31419 1058.04/1058.27 c 827s | 16 | 181872 | 143852 | 458074 0 | 22193 | 31419 1060.24/1060.41 c 829s | 16 | 182128 | 144052 | 458074 0 | 22193 | 31419 1062.33/1062.54 c 831s | 16 | 182387 | 144252 | 458074 0 | 22193 | 31419 1064.53/1064.74 c 833s | 16 | 182608 | 144452 | 458074 0 | 22193 | 31419 1066.73/1066.92 c 836s | 16 | 182834 | 144652 | 458074 0 | 22193 | 31419 1068.93/1069.19 c 838s | 16 | 183074 | 144852 | 458074 0 | 22193 | 31419 1071.13/1071.33 c 840s | 16 | 183298 | 145052 | 458074 0 | 22193 | 31419 1073.33/1073.54 c 842s | 16 | 183561 | 145252 | 458074 0 | 22193 | 31419 1075.74/1075.96 c 845s | 16 | 183799 | 145452 | 458074 0 | 22193 | 31419 1077.73/1077.96 c 847s | 16 | 184054 | 145652 | 458074 0 | 22193 | 31419 1080.04/1080.26 c 849s | 16 | 184292 | 145852 | 458074 0 | 22193 | 31419 1083.23/1083.41 c 852s | 16 | 184808 | 146152 | 458074 0 | 22193 | 31419 1085.43/1085.65 c 854s | 16 | 185263 | 146452 | 458074 0 | 22193 | 31419 1088.43/1088.61 c 857s | 16 | 185679 | 146752 | 458074 0 | 22193 | 31419 1090.53/1090.73 c 859s | 16 | 185939 | 146952 | 458074 0 | 22193 | 31419 1092.53/1092.77 c 861s | 16 | 186185 | 147152 | 458074 0 | 22193 | 31419 1094.73/1094.91 c 864s | 16 | 186425 | 147352 | 458074 0 | 22193 | 31419 1097.23/1097.40 c 866s | 16 | 186678 | 147552 | 458074 0 | 22193 | 31419 1099.53/1099.75 c 868s | 16 | 186910 | 147752 | 458074 0 | 22193 | 31419 1101.53/1101.79 c 870s | 16 | 187144 | 147952 | 458074 0 | 22193 | 31419 1104.13/1104.35 c 873s | 16 | 187388 | 148152 | 458074 0 | 22193 | 31419 1106.33/1106.56 c 875s | 16 | 187809 | 148452 | 458074 0 | 22193 | 31419 1108.93/1109.15 c 878s | 16 | 188195 | 148752 | 458074 0 | 22193 | 31419 1110.93/1111.17 c 880s | 16 | 188451 | 148952 | 458074 0 | 22193 | 31419 1113.03/1113.27 c 882s | 16 | 188699 | 149152 | 458074 0 | 22193 | 31419 1115.23/1115.41 c 884s | 16 | 188984 | 149352 | 458074 0 | 22193 | 31419 1117.43/1117.68 c 886s | 16 | 189231 | 149552 | 458074 0 | 22193 | 31419 1119.63/1119.90 c 889s | 16 | 189486 | 149752 | 458074 0 | 22193 | 31419 1122.43/1122.65 c 891s | 16 | 189888 | 150052 | 458074 0 | 22193 | 31419 1125.52/1125.71 c 894s | 16 | 190295 | 150352 | 458074 0 | 22193 | 31419 1127.72/1127.99 c 897s | 16 | 190568 | 150552 | 458074 0 | 22193 | 31419 1130.52/1130.73 c 899s | 16 | 191097 | 150952 | 458074 0 | 22193 | 31419 1132.62/1132.87 c 902s | 16 | 191489 | 151252 | 458074 0 | 22193 | 31419 1134.82/1135.04 c 904s | 16 | 191716 | 151452 | 458074 0 | 22193 | 31419 1137.52/1137.79 c 906s | 16 | 192129 | 151752 | 458074 0 | 22193 | 31419 1139.62/1139.88 c 909s | 16 | 192380 | 151952 | 458074 0 | 22193 | 31419 1142.22/1142.47 c 911s | 16 | 192738 | 152252 | 458074 0 | 22193 | 31419 1145.12/1145.34 c 914s | 16 | 193193 | 152552 | 458074 0 | 22193 | 31419 1147.82/1148.03 c 917s | 16 | 193450 | 152752 | 458074 0 | 22193 | 31419 1149.82/1150.07 c 919s | 16 | 193703 | 152952 | 458074 0 | 22193 | 31419 1151.82/1152.08 c 921s | 16 | 193958 | 153152 | 458074 0 | 22193 | 31419 1154.62/1154.86 c 924s | 16 | 194349 | 153452 | 458074 0 | 22193 | 31419 1157.03/1157.22 c 926s | 16 | 194605 | 153652 | 458074 0 | 22193 | 31419 1159.33/1159.56 c 928s | 16 | 194853 | 153852 | 458074 0 | 22193 | 31419 1161.43/1161.68 c 930s | 16 | 195100 | 154052 | 458074 0 | 22193 | 31419 1163.63/1163.82 c 932s | 16 | 195355 | 154252 | 458074 0 | 22193 | 31419 1166.32/1166.58 c 935s | 16 | 195774 | 154552 | 458074 0 | 22193 | 31419 1169.13/1169.40 c 938s | 16 | 196161 | 154852 | 458074 0 | 22193 | 31419 1171.32/1171.54 c 940s | 16 | 196394 | 155052 | 458074 0 | 22193 | 31419 1174.02/1174.20 c 943s | 16 | 196643 | 155252 | 458074 0 | 22193 | 31419 1176.22/1176.46 c 945s | 16 | 196873 | 155452 | 458074 0 | 22193 | 31419 1178.62/1178.85 c 948s | 16 | 197138 | 155652 | 458074 0 | 22193 | 31419 1180.82/1181.06 c 950s | 16 | 197404 | 155852 | 458074 0 | 22193 | 31419 1183.62/1183.81 c 952s | 16 | 197752 | 156152 | 458074 0 | 22193 | 31419 1186.42/1186.65 c 955s | 16 | 198148 | 156452 | 458074 0 | 22193 | 31419 1189.02/1189.27 c 958s | 16 | 198518 | 156752 | 458074 0 | 22193 | 31419 1191.71/1191.98 c 961s | 16 | 198856 | 157052 | 458074 0 | 22193 | 31419 1194.11/1194.31 c 963s | 16 | 199209 | 157352 | 458074 0 | 22193 | 31419 1196.72/1196.92 c 966s | 16 | 199558 | 157652 | 458074 0 | 22193 | 31419 1198.71/1198.94 c 968s | 16 | 199785 | 157852 | 458074 0 | 22193 | 31419 1201.31/1201.59 c 970s | 16 | 200127 | 158152 | 458074 0 | 22193 | 31419 1204.32/1204.60 c 973s | 16 | 200493 | 158452 | 458074 0 | 22193 | 31419 1207.01/1207.27 c 976s | 16 | 200869 | 158752 | 458074 0 | 22193 | 31419 1209.51/1209.71 c 978s | 16 | 201221 | 159052 | 458074 0 | 22193 | 31419 1211.91/1212.19 c 981s | 16 | 201576 | 159352 | 458074 0 | 22193 | 31419 1214.32/1214.58 c 983s | 16 | 201940 | 159652 | 458074 0 | 22193 | 31419 1216.52/1216.77 c 985s | 16 | 202215 | 159852 | 458074 0 | 22193 | 31419 1219.11/1219.36 c 988s | 16 | 202552 | 160152 | 458074 0 | 22193 | 31419 1221.61/1221.88 c 991s | 16 | 202906 | 160452 | 458074 0 | 22193 | 31419 1223.81/1224.00 c 993s | 16 | 203328 | 160752 | 458074 0 | 22193 | 31419 1226.51/1226.79 c 995s | 16 | 203878 | 161152 | 458074 0 | 22193 | 31419 1228.62/1228.81 c 997s | 16 | 204131 | 161352 | 458074 0 | 22193 | 31419 1231.01/1231.29 c 1000s | 16 | 204504 | 161652 | 458074 0 | 22193 | 31419 1233.11/1233.33 c 1002s | 16 | 204764 | 161852 | 458074 0 | 22193 | 31419 1236.01/1236.23 c 1005s | 16 | 205115 | 162152 | 458074 0 | 22193 | 31419 1238.91/1239.15 c 1008s | 16 | 205505 | 162452 | 458074 0 | 22193 | 31419 1241.91/1242.14 c 1011s | 16 | 205883 | 162752 | 458074 0 | 22193 | 31419 1244.71/1244.94 c 1014s | 16 | 206261 | 163052 | 458074 0 | 22193 | 31419 1246.81/1247.02 c 1016s | 16 | 206528 | 163252 | 458074 0 | 22193 | 31419 1249.81/1250.07 c 1019s | 16 | 206910 | 163552 | 458074 0 | 22193 | 31419 1251.90/1252.10 c 1021s | 16 | 207140 | 163752 | 458074 0 | 22193 | 31419 1254.80/1255.09 c 1024s | 16 | 207508 | 164052 | 458074 0 | 22193 | 31419 1257.21/1257.49 c 1026s | 16 | 207737 | 164252 | 458074 0 | 22193 | 31419 1259.50/1259.77 c 1028s | 16 | 207977 | 164452 | 458074 0 | 22193 | 31419 1261.61/1261.82 c 1030s | 16 | 208215 | 164652 | 458074 0 | 22193 | 31419 1264.60/1264.87 c 1034s | 16 | 208584 | 164952 | 458074 0 | 22193 | 31419 1267.50/1267.78 c 1036s | 16 | 208949 | 165252 | 458074 0 | 22193 | 31419 1269.80/1270.06 c 1039s | 16 | 209182 | 165452 | 458074 0 | 22193 | 31419 1271.90/1272.19 c 1041s | 16 | 209416 | 165652 | 458074 0 | 22193 | 31419 1274.00/1274.26 c 1043s | 16 | 209664 | 165852 | 458074 0 | 22193 | 31419 1276.90/1277.19 c 1046s | 16 | 210025 | 166152 | 458074 0 | 22193 | 31419 1279.80/1280.03 c 1049s | 16 | 210378 | 166452 | 458074 0 | 22193 | 31419 1282.20/1282.44 c 1051s | 16 | 210749 | 166752 | 458074 0 | 22193 | 31419 1284.99/1285.24 c 1054s | 16 | 211107 | 167052 | 458074 0 | 22193 | 31419 1287.19/1287.43 c 1056s | 16 | 211468 | 167352 | 458074 0 | 22193 | 31419 1289.89/1290.16 c 1059s | 16 | 211834 | 167652 | 458074 0 | 22193 | 31419 1292.69/1292.94 c 1062s | 16 | 212211 | 167952 | 458074 0 | 22193 | 31419 1295.19/1295.44 c 1064s | 16 | 212572 | 168252 | 458074 0 | 22193 | 31419 1297.59/1297.84 c 1066s | 16 | 212958 | 168552 | 458074 0 | 22193 | 31419 1300.19/1300.47 c 1069s | 16 | 213341 | 168852 | 458074 0 | 22193 | 31419 1302.69/1302.93 c 1072s | 16 | 213718 | 169152 | 458074 0 | 22193 | 31419 1305.28/1305.57 c 1074s | 16 | 214109 | 169452 | 458074 0 | 22193 | 31419 1308.08/1308.32 c 1077s | 16 | 214479 | 169752 | 458074 0 | 22193 | 31419 1310.78/1311.04 c 1080s | 16 | 214848 | 170052 | 458074 0 | 22193 | 31419 1313.29/1313.58 c 1082s | 16 | 215261 | 170352 | 458074 0 | 22193 | 31419 1316.27/1316.51 c 1085s | 16 | 215611 | 170652 | 458074 0 | 22193 | 31419 1318.27/1318.53 c 1087s | 16 | 215875 | 170852 | 458074 0 | 22193 | 31419 1320.88/1321.11 c 1090s | 16 | 216271 | 171152 | 458074 0 | 22193 | 31419 1323.57/1323.88 c 1093s | 16 | 216611 | 171452 | 458074 0 | 22193 | 31419 1326.48/1326.73 c 1095s | 16 | 216993 | 171752 | 458074 0 | 22193 | 31419 1329.07/1329.34 c 1098s | 16 | 217358 | 172052 | 458074 0 | 22193 | 31419 1331.57/1331.80 c 1100s | 16 | 217725 | 172352 | 458074 0 | 22193 | 31419 1334.18/1334.42 c 1103s | 16 | 218088 | 172652 | 458074 0 | 22193 | 31419 1336.46/1336.74 c 1105s | 16 | 218445 | 172952 | 458074 0 | 22193 | 31419 1339.16/1339.40 c 1108s | 16 | 218795 | 173252 | 458074 0 | 22193 | 31419 1341.87/1342.12 c 1111s | 16 | 219153 | 173552 | 458074 0 | 22193 | 31419 1344.16/1344.42 c 1113s | 16 | 219507 | 173852 | 458074 0 | 22193 | 31419 1346.36/1346.61 c 1115s | 16 | 219872 | 174152 | 458074 0 | 22193 | 31419 1348.66/1348.92 c 1118s | 16 | 220262 | 174452 | 458074 0 | 22193 | 31419 1351.16/1351.43 c 1120s | 16 | 220634 | 174752 | 458074 0 | 22193 | 31419 1353.46/1353.70 c 1122s | 16 | 221030 | 175052 | 458074 0 | 22193 | 31419 1355.95/1356.22 c 1125s | 16 | 221389 | 175352 | 458074 0 | 22193 | 31419 1358.45/1358.79 c 1127s | 16 | 221751 | 175652 | 458074 0 | 22193 | 31419 1361.25/1361.57 c 1130s | 16 | 222120 | 175952 | 458074 0 | 22193 | 31419 1363.76/1364.01 c 1133s | 16 | 222495 | 176252 | 458074 0 | 22193 | 31419 1366.14/1366.45 c 1135s | 16 | 222859 | 176552 | 458074 0 | 22193 | 31419 1368.15/1368.48 c 1137s | 16 | 223107 | 176752 | 458074 0 | 22193 | 31419 1370.74/1371.04 c 1140s | 16 | 223447 | 177052 | 458074 0 | 22193 | 31419 1373.54/1373.84 c 1142s | 16 | 223792 | 177352 | 458074 0 | 22193 | 31419 1376.14/1376.45 c 1145s | 16 | 224142 | 177652 | 458074 0 | 22193 | 31419 1379.04/1379.30 c 1148s | 16 | 224485 | 177952 | 458074 0 | 22193 | 31419 1381.54/1381.85 c 1151s | 16 | 224834 | 178252 | 458074 0 | 22193 | 31419 1384.24/1384.55 c 1153s | 16 | 225199 | 178552 | 458074 0 | 22193 | 31419 1386.84/1387.15 c 1156s | 16 | 225525 | 178852 | 458074 0 | 22193 | 31419 1389.53/1389.84 c 1159s | 16 | 225890 | 179152 | 458074 0 | 22193 | 31419 1392.34/1392.61 c 1161s | 16 | 226277 | 179452 | 458074 0 | 22193 | 31419 1394.64/1394.95 c 1164s | 16 | 226642 | 179752 | 458074 0 | 22193 | 31419 1397.03/1397.37 c 1166s | 16 | 227018 | 180052 | 458074 0 | 22193 | 31419 1399.13/1399.40 c 1168s | 16 | 227234 | 180252 | 458074 0 | 22193 | 31419 1402.13/1402.41 c 1171s | 16 | 227599 | 180552 | 458074 0 | 22193 | 31419 1404.33/1404.62 c 1173s | 16 | 227852 | 180752 | 458074 0 | 22193 | 31419 1406.32/1406.67 c 1175s | 16 | 228097 | 180952 | 458074 0 | 22193 | 31419 1408.72/1409.05 c 1178s | 16 | 228365 | 181152 | 458074 0 | 22193 | 31419 1411.82/1412.14 c 1181s | 16 | 228752 | 181452 | 458074 0 | 22193 | 31419 1414.62/1414.99 c 1184s | 16 | 229112 | 181752 | 458074 0 | 22193 | 31419 1417.32/1417.62 c 1186s | 16 | 229464 | 182052 | 458074 0 | 22193 | 31419 1419.93/1420.26 c 1189s | 16 | 229826 | 182352 | 458074 0 | 22193 | 31419 1422.42/1422.79 c 1191s | 16 | 230178 | 182652 | 458074 0 | 22193 | 31419 1424.82/1425.18 c 1194s | 16 | 230535 | 182952 | 458074 0 | 22193 | 31419 1427.02/1427.36 c 1196s | 16 | 230947 | 183252 | 458074 0 | 22193 | 31419 1429.92/1430.28 c 1199s | 16 | 231329 | 183552 | 458074 0 | 22193 | 31419 1432.42/1432.72 c 1201s | 16 | 231692 | 183852 | 458074 0 | 22193 | 31419 1435.32/1435.68 c 1204s | 16 | 232052 | 184152 | 458074 0 | 22193 | 31419 1438.11/1438.48 c 1207s | 16 | 232417 | 184452 | 458074 0 | 22193 | 31419 1440.82/1441.12 c 1210s | 16 | 232791 | 184752 | 458074 0 | 22193 | 31419 1443.21/1443.50 c 1212s | 16 | 233150 | 185052 | 458074 0 | 22193 | 31419 1446.00/1446.31 c 1215s | 16 | 233533 | 185352 | 458074 0 | 22193 | 31419 1448.80/1449.13 c 1218s | 16 | 233914 | 185652 | 458074 0 | 22193 | 31419 1451.50/1451.82 c 1220s | 16 | 234311 | 185952 | 458074 0 | 22193 | 31419 1453.80/1454.10 c 1223s | 16 | 234678 | 186252 | 458074 0 | 22193 | 31419 1456.11/1456.46 c 1225s | 16 | 235181 | 186652 | 458074 0 | 22193 | 31419 1458.20/1458.54 c 1227s | 16 | 235785 | 187152 | 458074 0 | 22193 | 31419 1460.70/1461.01 c 1230s | 16 | 236461 | 187652 | 458074 0 | 22193 | 31419 1463.00/1463.37 c 1232s | 16 | 236890 | 187952 | 458074 0 | 22193 | 31419 1465.39/1465.73 c 1234s | 16 | 237463 | 188352 | 458074 0 | 22193 | 31419 1468.30/1468.64 c 1237s | 16 | 237993 | 188752 | 458074 0 | 22193 | 31419 1470.40/1470.70 c 1239s | 16 | 238263 | 188952 | 458074 0 | 22193 | 31419 1472.39/1472.77 c 1241s | 16 | 238520 | 189152 | 458074 0 | 22193 | 31419 1474.49/1474.81 c 1243s | 16 | 238772 | 189352 | 458074 0 | 22193 | 31419 1476.79/1477.17 c 1246s | 16 | 239146 | 189652 | 458074 0 | 22193 | 31419 1479.79/1480.14 c 1249s | 16 | 239510 | 189952 | 458074 0 | 22193 | 31419 1481.99/1482.38 c 1251s | 16 | 239772 | 190152 | 458074 0 | 22193 | 31419 1484.19/1484.52 c 1253s | 16 | 240054 | 190352 | 458074 0 | 22193 | 31419 1486.18/1486.54 c 1255s | 16 | 240282 | 190552 | 458074 0 | 22193 | 31419 1488.58/1488.91 c 1258s | 16 | 240565 | 190752 | 458074 0 | 22193 | 31419 1491.48/1491.88 c 1261s | 16 | 240938 | 191052 | 458074 0 | 22193 | 31419 1493.68/1494.07 c 1263s | 16 | 241217 | 191252 | 458074 0 | 22193 | 31419 1496.78/1497.18 c 1266s | 16 | 241572 | 191552 | 458074 0 | 22193 | 31419 1499.08/1499.48 c 1268s | 16 | 241826 | 191752 | 458074 0 | 22193 | 31419 1501.18/1501.57 c 1270s | 16 | 242088 | 191952 | 458074 0 | 22193 | 31419 1503.87/1504.23 c 1273s | 16 | 242511 | 192252 | 458074 0 | 22193 | 31419 1505.97/1506.33 c 1275s | 16 | 242743 | 192452 | 458074 0 | 22193 | 31419 1508.47/1508.82 c 1277s | 16 | 243134 | 192752 | 458074 0 | 22193 | 31419 1510.87/1511.29 c 1280s | 16 | 243471 | 193052 | 458074 0 | 22193 | 31419 1513.56/1513.93 c 1283s | 16 | 243819 | 193352 | 458074 0 | 22193 | 31419 1516.16/1516.52 c 1285s | 16 | 244192 | 193652 | 458074 0 | 22193 | 31419 1518.77/1519.16 c 1288s | 16 | 244530 | 193952 | 458074 0 | 22193 | 31419 1521.36/1521.73 c 1290s | 16 | 244908 | 194252 | 458074 0 | 22193 | 31419 1523.86/1524.20 c 1293s | 16 | 245287 | 194552 | 458074 0 | 22193 | 31419 1526.66/1527.07 c 1296s | 16 | 245627 | 194852 | 458074 0 | 22193 | 31419 1529.66/1530.06 c 1299s | 16 | 245995 | 195152 | 458074 0 | 22193 | 31419 1531.76/1532.11 c 1301s | 16 | 246227 | 195352 | 458074 0 | 22193 | 31419 1534.16/1534.55 c 1303s | 16 | 246605 | 195652 | 458074 0 | 22193 | 31419 1536.95/1537.33 c 1306s | 16 | 246972 | 195952 | 458074 0 | 22193 | 31419 1539.76/1540.10 c 1309s | 16 | 247315 | 196252 | 458074 0 | 22193 | 31419 1542.45/1542.83 c 1311s | 16 | 247727 | 196552 | 458074 0 | 22193 | 31419 1544.45/1544.85 c 1314s | 16 | 247960 | 196752 | 458074 0 | 22193 | 31419 1547.05/1547.40 c 1316s | 16 | 248338 | 197052 | 458074 0 | 22193 | 31419 1549.85/1550.20 c 1319s | 16 | 248710 | 197352 | 458074 0 | 22193 | 31419 1550.65/1551.08 c 1320s | 17 | 248811 | 197432 | 458074 0 | 22193 | 31419 1553.55/1553.96 c 1323s | 17 | 248938 | 197532 | 458074 0 | 22193 | 31419 1555.84/1556.21 c 1325s | 17 | 249158 | 197732 | 458074 0 | 22193 | 31419 1558.04/1558.48 c 1327s | 17 | 249386 | 197932 | 458074 0 | 22193 | 31419 1560.55/1560.92 c 1330s | 17 | 249607 | 198132 | 458074 0 | 22193 | 31419 1562.54/1562.92 c 1332s | 17 | 249872 | 198332 | 458074 0 | 22193 | 31419 1565.14/1565.57 c 1334s | 17 | 250216 | 198632 | 458074 0 | 22193 | 31419 1567.24/1567.62 c 1336s | 17 | 250456 | 198832 | 458074 0 | 22193 | 31419 1570.03/1570.44 c 1339s | 17 | 250857 | 199132 | 458074 0 | 22193 | 31419 1572.93/1573.31 c 1342s | 17 | 251205 | 199432 | 458074 0 | 22193 | 31419 1575.94/1576.35 c 1345s | 17 | 251553 | 199732 | 458074 0 | 22193 | 31419 1578.93/1579.39 c 1348s | 17 | 251909 | 200032 | 458074 0 | 22193 | 31419 1581.73/1582.18 c 1351s | 17 | 252285 | 200332 | 458074 0 | 22193 | 31419 1584.03/1584.43 c 1353s | 17 | 252514 | 200532 | 458074 0 | 22193 | 31419 1586.82/1587.25 c 1356s | 17 | 252881 | 200832 | 458074 0 | 22193 | 31419 1589.72/1590.19 c 1359s | 17 | 253244 | 201132 | 458074 0 | 22193 | 31419 1592.22/1592.66 c 1361s | 17 | 253634 | 201432 | 458074 0 | 22193 | 31419 1594.42/1594.89 c 1364s | 17 | 253887 | 201632 | 458074 0 | 22193 | 31419 1596.62/1597.04 c 1366s | 17 | 254126 | 201832 | 458074 0 | 22193 | 31419 1598.92/1599.38 c 1368s | 17 | 254363 | 202032 | 458074 0 | 22193 | 31419 1601.22/1601.64 c 1370s | 17 | 254589 | 202232 | 458074 0 | 22193 | 31419 1603.52/1603.97 c 1373s | 17 | 254837 | 202432 | 458074 0 | 22193 | 31419 1605.91/1606.33 c 1375s | 17 | 255064 | 202632 | 458074 0 | 22193 | 31419 1608.01/1608.44 c 1377s | 17 | 255293 | 202832 | 458074 0 | 22193 | 31419 1610.31/1610.72 c 1379s | 17 | 255523 | 203032 | 458074 0 | 22193 | 31419 1613.21/1613.69 c 1382s | 17 | 255865 | 203332 | 458074 0 | 22193 | 31419 1616.00/1616.41 c 1385s | 17 | 256239 | 203632 | 458074 0 | 22193 | 31419 1618.91/1619.32 c 1388s | 17 | 256579 | 203932 | 458074 0 | 22193 | 31419 1621.80/1622.27 c 1391s | 17 | 256936 | 204232 | 458074 0 | 22193 | 31419 1623.90/1624.38 c 1393s | 17 | 257158 | 204432 | 458074 0 | 22193 | 31419 1626.00/1626.49 c 1395s | 17 | 257408 | 204632 | 458074 0 | 22193 | 31419 1628.10/1628.55 c 1397s | 17 | 257654 | 204832 | 458074 0 | 22193 | 31419 1631.00/1631.46 c 1400s | 17 | 258050 | 205132 | 458074 0 | 22193 | 31419 1633.50/1633.96 c 1403s | 17 | 258391 | 205432 | 458074 0 | 22193 | 31419 1635.69/1636.10 c 1405s | 17 | 258639 | 205632 | 458074 0 | 22193 | 31419 1638.29/1638.77 c 1407s | 17 | 259039 | 205932 | 458074 0 | 22193 | 31419 1640.99/1641.44 c 1410s | 17 | 259428 | 206232 | 458074 0 | 22193 | 31419 1643.49/1643.98 c 1413s | 17 | 259811 | 206532 | 458074 0 | 22193 | 31419 1646.29/1646.73 c 1415s | 17 | 260199 | 206832 | 458074 0 | 22193 | 31419 1648.99/1649.40 c 1418s | 17 | 260570 | 207132 | 458074 0 | 22193 | 31419 1650.99/1651.44 c 1420s | 17 | 260794 | 207332 | 458074 0 | 22193 | 31419 1653.89/1654.36 c 1423s | 17 | 261149 | 207632 | 458074 0 | 22193 | 31419 1655.88/1656.37 c 1425s | 17 | 261396 | 207832 | 458074 0 | 22193 | 31419 1658.68/1659.18 c 1428s | 17 | 261727 | 208132 | 458074 0 | 22193 | 31419 1661.28/1661.73 c 1430s | 17 | 262082 | 208432 | 458074 0 | 22193 | 31419 1664.08/1664.52 c 1433s | 17 | 262450 | 208732 | 458074 0 | 22193 | 31419 1666.88/1667.33 c 1436s | 17 | 262884 | 209032 | 458074 0 | 22193 | 31419 1669.68/1670.15 c 1439s | 17 | 263261 | 209332 | 458074 0 | 22193 | 31419 1671.98/1672.48 c 1441s | 17 | 263695 | 209632 | 458074 0 | 22193 | 31419 1674.88/1675.37 c 1444s | 17 | 264068 | 209932 | 458074 0 | 22193 | 31419 1677.67/1678.16 c 1447s | 17 | 264455 | 210232 | 458074 0 | 22193 | 31419 1680.48/1680.91 c 1450s | 17 | 264809 | 210532 | 458074 0 | 22193 | 31419 1682.68/1683.11 c 1452s | 17 | 265042 | 210732 | 458074 0 | 22193 | 31419 1685.36/1685.83 c 1454s | 17 | 265402 | 211032 | 458074 0 | 22193 | 31419 1687.96/1688.45 c 1457s | 17 | 265749 | 211332 | 458074 0 | 22193 | 31419 1690.86/1691.31 c 1460s | 17 | 266107 | 211632 | 458074 0 | 22193 | 31419 1693.76/1694.28 c 1463s | 17 | 266448 | 211932 | 458074 0 | 22193 | 31419 1695.87/1696.33 c 1465s | 17 | 266687 | 212132 | 458074 0 | 22193 | 31419 1697.86/1698.35 c 1467s | 17 | 266903 | 212332 | 458074 0 | 22193 | 31419 1700.46/1700.90 c 1470s | 17 | 267156 | 212532 | 458074 0 | 22193 | 31419 1702.56/1703.01 c 1472s | 17 | 267373 | 212732 | 458074 0 | 22193 | 31419 1705.35/1705.82 c 1474s | 17 | 267751 | 213032 | 458074 0 | 22193 | 31419 1707.35/1707.84 c 1476s | 17 | 267985 | 213232 | 458074 0 | 22193 | 31419 1710.25/1710.77 c 1479s | 17 | 268353 | 213532 | 458074 0 | 22193 | 31419 1712.36/1712.87 c 1482s | 17 | 268595 | 213732 | 458074 0 | 22193 | 31419 1714.65/1715.10 c 1484s | 17 | 268829 | 213932 | 458074 0 | 22193 | 31419 1717.75/1718.28 c 1487s | 17 | 269169 | 214232 | 458074 0 | 22193 | 31419 1719.95/1720.43 c 1489s | 17 | 269416 | 214432 | 458074 0 | 22193 | 31419 1723.05/1723.57 c 1492s | 17 | 269813 | 214732 | 458074 0 | 22193 | 31419 1725.14/1725.62 c 1494s | 17 | 270040 | 214932 | 458074 0 | 22193 | 31419 1727.14/1727.69 c 1496s | 17 | 270281 | 215132 | 458074 0 | 22193 | 31419 1730.04/1730.52 c 1499s | 17 | 270636 | 215432 | 458074 0 | 22193 | 31419 1732.05/1732.60 c 1501s | 17 | 270861 | 215632 | 458074 0 | 22193 | 31419 1734.14/1734.63 c 1503s | 17 | 271094 | 215832 | 458074 0 | 22193 | 31419 1736.14/1736.69 c 1505s | 17 | 271349 | 216032 | 458074 0 | 22193 | 31419 1739.14/1739.61 c 1508s | 17 | 271717 | 216332 | 458074 0 | 22193 | 31419 1741.24/1741.76 c 1510s | 17 | 271960 | 216532 | 458074 0 | 22193 | 31419 1744.04/1744.50 c 1513s | 17 | 272326 | 216832 | 458074 0 | 22193 | 31419 1746.84/1747.33 c 1516s | 17 | 272688 | 217132 | 458074 0 | 22193 | 31419 1749.74/1750.28 c 1519s | 17 | 273113 | 217432 | 458074 0 | 22193 | 31419 1752.63/1753.16 c 1522s | 17 | 273494 | 217732 | 458074 0 | 22193 | 31419 1754.93/1755.41 c 1524s | 17 | 273857 | 218032 | 458074 0 | 22193 | 31419 1757.13/1757.61 c 1526s | 17 | 274205 | 218332 | 458074 0 | 22193 | 31419 1759.73/1760.20 c 1529s | 17 | 274564 | 218632 | 458074 0 | 22193 | 31419 1762.53/1763.08 c 1532s | 17 | 274940 | 218932 | 458074 0 | 22193 | 31419 1764.93/1765.49 c 1534s | 17 | 275353 | 219232 | 458074 0 | 22193 | 31419 1767.83/1768.30 c 1537s | 17 | 275753 | 219532 | 458074 0 | 22193 | 31419 1769.92/1770.47 c 1539s | 17 | 275992 | 219732 | 458074 0 | 22193 | 31419 1772.02/1772.55 c 1541s | 17 | 276391 | 220032 | 458074 0 | 22193 | 31419 1774.32/1774.82 c 1543s | 17 | 276732 | 220332 | 458074 0 | 22193 | 31419 1776.72/1777.28 c 1546s | 17 | 277089 | 220632 | 458074 0 | 22193 | 31419 1779.22/1779.72 c 1548s | 17 | 277444 | 220932 | 458074 0 | 22193 | 31419 1781.82/1782.38 c 1551s | 17 | 277821 | 221232 | 458074 0 | 22193 | 31419 1784.52/1785.08 c 1554s | 17 | 278151 | 221532 | 458074 0 | 22193 | 31419 1787.41/1787.94 c 1557s | 17 | 278512 | 221832 | 458074 0 | 22193 | 31419 1789.91/1790.48 c 1559s | 17 | 278883 | 222132 | 458074 0 | 22193 | 31419 1792.52/1793.08 c 1562s | 17 | 279233 | 222432 | 458074 0 | 22193 | 31419 1795.21/1795.70 c 1564s | 17 | 279668 | 222732 | 458074 0 | 22193 | 31419 1797.91/1798.46 c 1567s | 17 | 280027 | 223032 | 458074 0 | 22193 | 31419
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-4108317-1466290847/watcher-4108317-1466290847 -o /tmp/evaluation-result-4108317-1466290847/solver-4108317-1466290847 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26752 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108317-1466290847.opb pid=31445 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.18 2.17 2.11 3/180 31448 /proc/meminfo: memFree=29617784/32872528 swapFree=1191052/1305516 [pid=31448] ppid=31445 vsize=694716 CPUtime=0 cores=0,2,4,6 /proc/31448/stat : 31448 (toysat) R 31445 31448 26736 0 -1 4202496 2585 0 0 0 0 0 0 0 20 0 4 0 31131356 711389184 2946 33554432000 4194304 16246674 140733287223728 140733287223152 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31448/statm: 174447 2955 441 2943 0 171341 0 [pid=31448/tid=31449] ppid=31445 vsize=712124 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31449/stat : 31449 (toysat) S 31445 31448 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31131356 729214976 3012 33554432000 4194304 16246674 140733287223728 139741435505904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31448/tid=31450] ppid=31445 vsize=716220 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31450/stat : 31450 (toysat) S 31445 31448 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31131356 733409280 3027 33554432000 4194304 16246674 140733287223728 139741425016048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31448/tid=31451] ppid=31445 vsize=720316 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31451/stat : 31451 (toysat) S 31445 31448 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31131356 737603584 3044 33554432000 4194304 16246674 140733287223728 139741414542512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100214 s] /proc/loadavg: 2.18 2.17 2.11 3/180 31448 /proc/meminfo: memFree=29617784/32872528 swapFree=1191052/1305516 [pid=31448] ppid=31445 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/31448/stat : 31448 (toysat) R 31445 31448 26736 0 -1 4202496 26580 0 0 0 6 3 0 0 20 0 4 0 31131356 1333334016 26879 33554432000 4194304 16246674 140733287223728 140733287223040 8057278 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31448/statm: 325521 26893 799 2943 0 322415 0 [pid=31448/tid=31449] ppid=31445 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31449/stat : 31449 (toysat) S 31445 31448 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31131356 1333334016 26904 33554432000 4194304 16246674 140733287223728 139741435505904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31448/tid=31450] ppid=31445 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31450/stat : 31450 (toysat) S 31445 31448 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31131356 1333334016 26915 33554432000 4194304 16246674 140733287223728 139741425016048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31448/tid=31451] ppid=31445 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31451/stat : 31451 (toysat) S 31445 31448 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31131356 1333334016 26926 33554432000 4194304 16246674 140733287223728 139741414542512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200512 s] /proc/loadavg: 2.18 2.17 2.11 3/180 31448 /proc/meminfo: memFree=29617784/32872528 swapFree=1191052/1305516 [pid=31448] ppid=31445 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/31448/stat : 31448 (toysat) R 31445 31448 26736 0 -1 4202496 45404 0 0 0 13 6 0 0 20 0 4 0 31131356 1344868352 46213 33554432000 4194304 16246674 140733287223728 140733287206720 8055451 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31448/statm: 328337 46213 799 2943 0 325231 0 [pid=31448/tid=31449] ppid=31445 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31449/stat : 31449 (toysat) S 31445 31448 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31131356 1344868352 46213 33554432000 4194304 16246674 140733287223728 139741435505904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31448/tid=31450] ppid=31445 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31450/stat : 31450 (toysat) S 31445 31448 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31131356 1344868352 46221 33554432000 4194304 16246674 140733287223728 139741425016048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31448/tid=31451] ppid=31445 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31451/stat : 31451 (toysat) S 31445 31448 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31131356 1344868352 46221 33554432000 4194304 16246674 140733287223728 139741414542512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300495 s] /proc/loadavg: 2.18 2.17 2.11 3/180 31448 /proc/meminfo: memFree=29617784/32872528 swapFree=1191052/1305516 [pid=31448] ppid=31445 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/31448/stat : 31448 (toysat) R 31445 31448 26736 0 -1 4202496 57454 0 0 0 21 8 0 0 20 0 4 0 31131356 1344868352 58263 33554432000 4194304 16246674 140733287223728 140733287206720 7361477 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31448/statm: 328337 58263 799 2943 0 325231 0 [pid=31448/tid=31449] ppid=31445 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31449/stat : 31449 (toysat) S 31445 31448 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31131356 1344868352 58263 33554432000 4194304 16246674 140733287223728 139741435505904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31448/tid=31450] ppid=31445 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31450/stat : 31450 (toysat) S 31445 31448 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31131356 1344868352 58263 33554432000 4194304 16246674 140733287223728 139741425016048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31448/tid=31451] ppid=31445 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31451/stat : 31451 (toysat) S 31445 31448 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31131356 1344868352 58263 33554432000 4194304 16246674 140733287223728 139741414542512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700407 s] /proc/loadavg: 2.18 2.17 2.11 3/180 31448 /proc/meminfo: memFree=29617784/32872528 swapFree=1191052/1305516 [pid=31448] ppid=31445 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/31448/stat : 31448 (toysat) R 31445 31448 26736 0 -1 4202496 65850 0 0 0 60 9 0 0 20 0 4 0 31131356 1344868352 66659 33554432000 4194304 16246674 140733287223728 140733287206720 7439429 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31448/statm: 328337 66659 801 2943 0 325231 0 [pid=31448/tid=31449] ppid=31445 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31449/stat : 31449 (toysat) S 31445 31448 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31131356 1344868352 66659 33554432000 4194304 16246674 140733287223728 139741435505904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31448/tid=31450] ppid=31445 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31450/stat : 31450 (toysat) S 31445 31448 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31131356 1344868352 66659 33554432000 4194304 16246674 140733287223728 139741425016048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31448/tid=31451] ppid=31445 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31451/stat : 31451 (toysat) S 31445 31448 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31131356 1344868352 66659 33554432000 4194304 16246674 140733287223728 139741414542512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50036 s] /proc/loadavg: 2.18 2.17 2.11 3/184 31452 /proc/meminfo: memFree=29321240/32872528 swapFree=1191052/1305516 [pid=31448] ppid=31445 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/31448/stat : 31448 (toysat) R 31445 31448 26736 0 -1 4202496 84144 0 0 0 137 12 0 0 20 0 4 0 31131356 1344868352 84953 33554432000 4194304 16246674 140733287223728 140733287221568 7371489 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31448/statm: 328337 84953 801 2943 0 325231 0 [pid=31448/tid=31449] ppid=31445 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31449/stat : 31449 (toysat) S 31445 31448 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31131356 1344868352 84953 33554432000 4194304 16246674 140733287223728 139741435505904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31448/tid=31450] ppid=31445 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31450/stat : 31450 (toysat) S 31445 31448 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31131356 1344868352 84953 33554432000 4194304 16246674 140733287223728 139741425016048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31448/tid=31451] ppid=31445 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31451/stat : 31451 (toysat) S 31445 31448 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31131356 1344868352 84953 33554432000 4194304 16246674 140733287223728 139741414542512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10042 s] /proc/loadavg: 2.18 2.17 2.11 3/184 31452 /proc/meminfo: memFree=28931260/32872528 swapFree=1191052/1305516 [pid=31448] ppid=31445 vsize=1331780 CPUtime=3.09 cores=0,2,4,6 /proc/31448/stat : 31448 (toysat) R 31445 31448 26736 0 -1 4202496 273563 0 0 0 267 42 0 0 20 0 4 0 31131356 1363742720 274372 33554432000 4194304 16246674 140733287223728 140733287205632 13963995 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31448/statm: 332945 274372 839 2943 0 329839 0 [pid=31448/tid=31449] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31449/stat : 31449 (toysat) S 31445 31448 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274372 33554432000 4194304 16246674 140733287223728 139741435505904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31448/tid=31450] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31450/stat : 31450 (toysat) S 31445 31448 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274372 33554432000 4194304 16246674 140733287223728 139741425016048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31448/tid=31451] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31451/stat : 31451 (toysat) S 31445 31448 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274372 33554432000 4194304 16246674 140733287223728 139741414542512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1331780 [startup+6.30036 s] /proc/loadavg: 2.16 2.17 2.11 3/184 31452 /proc/meminfo: memFree=28520852/32872528 swapFree=1191052/1305516 [pid=31448] ppid=31445 vsize=1331780 CPUtime=6.29 cores=0,2,4,6 /proc/31448/stat : 31448 (toysat) R 31445 31448 26736 0 -1 4202496 273632 0 0 0 587 42 0 0 20 0 4 0 31131356 1363742720 274441 33554432000 4194304 16246674 140733287223728 140733287205632 12656213 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31448/statm: 332945 274441 903 2943 0 329839 0 [pid=31448/tid=31449] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31449/stat : 31449 (toysat) S 31445 31448 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274441 33554432000 4194304 16246674 140733287223728 139741435505904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31448/tid=31450] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31450/stat : 31450 (toysat) S 31445 31448 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274441 33554432000 4194304 16246674 140733287223728 139741425016048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31448/tid=31451] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31451/stat : 31451 (toysat) S 31445 31448 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274441 33554432000 4194304 16246674 140733287223728 139741414542512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1331780 [startup+12.7004 s] /proc/loadavg: 2.15 2.17 2.11 3/184 31452 /proc/meminfo: memFree=28520992/32872528 swapFree=1191052/1305516 [pid=31448] ppid=31445 vsize=1331780 CPUtime=12.69 cores=0,2,4,6 /proc/31448/stat : 31448 (toysat) R 31445 31448 26736 0 -1 4202496 273645 0 0 0 1227 42 0 0 20 0 4 0 31131356 1363742720 274454 33554432000 4194304 16246674 140733287223728 140733287205632 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31448/statm: 332945 274454 915 2943 0 329839 0 [pid=31448/tid=31449] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31449/stat : 31449 (toysat) S 31445 31448 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274454 33554432000 4194304 16246674 140733287223728 139741435505904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31448/tid=31450] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31450/stat : 31450 (toysat) S 31445 31448 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274454 33554432000 4194304 16246674 140733287223728 139741425016048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31448/tid=31451] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31451/stat : 31451 (toysat) S 31445 31448 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274454 33554432000 4194304 16246674 140733287223728 139741414542512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1331780 [startup+25.5004 s] /proc/loadavg: 2.20 2.17 2.11 4/184 31475 /proc/meminfo: memFree=28520108/32872528 swapFree=1191052/1305516 [pid=31448] ppid=31445 vsize=1331780 CPUtime=25.49 cores=0,2,4,6 /proc/31448/stat : 31448 (toysat) R 31445 31448 26736 0 -1 4202496 273645 0 0 0 2507 42 0 0 20 0 4 0 31131356 1363742720 274454 33554432000 4194304 16246674 140733287223728 140733287205632 5582123 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31448/statm: 332945 274454 915 2943 0 329839 0 [pid=31448/tid=31449] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31449/stat : 31449 (toysat) S 31445 31448 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274454 33554432000 4194304 16246674 140733287223728 139741435505904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31448/tid=31450] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31450/stat : 31450 (toysat) S 31445 31448 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274454 33554432000 4194304 16246674 140733287223728 139741425016048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31448/tid=31451] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31451/stat : 31451 (toysat) S 31445 31448 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274454 33554432000 4194304 16246674 140733287223728 139741414542512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1331780 [startup+51.1005 s] /proc/loadavg: 2.13 2.16 2.11 3/184 31475 /proc/meminfo: memFree=28521648/32872528 swapFree=1191052/1305516 [pid=31448] ppid=31445 vsize=1331780 CPUtime=51.08 cores=0,2,4,6 /proc/31448/stat : 31448 (toysat) R 31445 31448 26736 0 -1 4202496 273650 0 0 0 5066 42 0 0 20 0 4 0 31131356 1363742720 274459 33554432000 4194304 16246674 140733287223728 140733287205632 5677884 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31448/statm: 332945 274459 919 2943 0 329839 0 [pid=31448/tid=31449] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31449/stat : 31449 (toysat) S 31445 31448 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274459 33554432000 4194304 16246674 140733287223728 139741435505904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31448/tid=31450] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31450/stat : 31450 (toysat) S 31445 31448 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274459 33554432000 4194304 16246674 140733287223728 139741425016048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31448/tid=31451] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31451/stat : 31451 (toysat) S 31445 31448 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274459 33554432000 4194304 16246674 140733287223728 139741414542512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1331780 [startup+102.3 s] /proc/loadavg: 2.22 2.18 2.11 3/183 31476 /proc/meminfo: memFree=28521404/32872528 swapFree=1191052/1305516 [pid=31448] ppid=31445 vsize=1331780 CPUtime=102.28 cores=0,2,4,6 /proc/31448/stat : 31448 (toysat) R 31445 31448 26736 0 -1 4202496 273650 0 0 0 10186 42 0 0 20 0 4 0 31131356 1363742720 274459 33554432000 4194304 16246674 140733287223728 140733287205632 12483303 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31448/statm: 332945 274459 919 2943 0 329839 0 [pid=31448/tid=31449] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31449/stat : 31449 (toysat) S 31445 31448 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274459 33554432000 4194304 16246674 140733287223728 139741435505904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31448/tid=31450] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31450/stat : 31450 (toysat) S 31445 31448 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274459 33554432000 4194304 16246674 140733287223728 139741425016048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31448/tid=31451] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31451/stat : 31451 (toysat) S 31445 31448 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274459 33554432000 4194304 16246674 140733287223728 139741414542512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1331780 ################ # More data... # ################ /proc/31448/task/31451/stat : 31451 (toysat) S 31445 31448 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274460 33554432000 4194304 16246674 140733287223728 139741414542512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1331780 [startup+1362.3 s] /proc/loadavg: 2.28 2.21 2.18 3/183 31508 /proc/meminfo: memFree=28472252/32872528 swapFree=1191052/1305516 [pid=31448] ppid=31445 vsize=1331780 CPUtime=1362.05 cores=0,2,4,6 /proc/31448/stat : 31448 (toysat) R 31445 31448 26736 0 -1 4202496 273719 0 0 0 136161 44 0 0 20 0 4 0 31131356 1363742720 274460 33554432000 4194304 16246674 140733287223728 140733287205632 5754961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31448/statm: 332945 274460 919 2943 0 329839 0 [pid=31448/tid=31449] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31449/stat : 31449 (toysat) S 31445 31448 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274460 33554432000 4194304 16246674 140733287223728 139741435505904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31448/tid=31450] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31450/stat : 31450 (toysat) S 31445 31448 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274460 33554432000 4194304 16246674 140733287223728 139741425016048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31448/tid=31451] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31451/stat : 31451 (toysat) S 31445 31448 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274460 33554432000 4194304 16246674 140733287223728 139741414542512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 1331780 [startup+1422.3 s] /proc/loadavg: 2.30 2.23 2.19 3/183 31509 /proc/meminfo: memFree=28472308/32872528 swapFree=1191052/1305516 [pid=31448] ppid=31445 vsize=1331780 CPUtime=1422.03 cores=0,2,4,6 /proc/31448/stat : 31448 (toysat) R 31445 31448 26736 0 -1 4202496 273756 0 0 0 142159 44 0 0 20 0 4 0 31131356 1363742720 274460 33554432000 4194304 16246674 140733287223728 140733287205632 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31448/statm: 332945 274460 919 2943 0 329839 0 [pid=31448/tid=31449] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31449/stat : 31449 (toysat) S 31445 31448 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274460 33554432000 4194304 16246674 140733287223728 139741435505904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31448/tid=31450] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31450/stat : 31450 (toysat) S 31445 31448 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274460 33554432000 4194304 16246674 140733287223728 139741425016048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31448/tid=31451] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31451/stat : 31451 (toysat) S 31445 31448 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274460 33554432000 4194304 16246674 140733287223728 139741414542512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 1331780 [startup+1482.3 s] /proc/loadavg: 2.21 2.22 2.18 3/183 31511 /proc/meminfo: memFree=28472172/32872528 swapFree=1191052/1305516 [pid=31448] ppid=31445 vsize=1331780 CPUtime=1481.99 cores=0,2,4,6 /proc/31448/stat : 31448 (toysat) R 31445 31448 26736 0 -1 4202496 273800 0 0 0 148155 44 0 0 20 0 4 0 31131356 1363742720 274461 33554432000 4194304 16246674 140733287223728 140733287205632 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31448/statm: 332945 274461 919 2943 0 329839 0 [pid=31448/tid=31449] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31449/stat : 31449 (toysat) S 31445 31448 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274461 33554432000 4194304 16246674 140733287223728 139741435505904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31448/tid=31450] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31450/stat : 31450 (toysat) S 31445 31448 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274461 33554432000 4194304 16246674 140733287223728 139741425016048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31448/tid=31451] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31451/stat : 31451 (toysat) S 31445 31448 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274461 33554432000 4194304 16246674 140733287223728 139741414542512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.99 Current children cumulated vsize (KiB) 1331780 [startup+1542.31 s] /proc/loadavg: 2.19 2.21 2.18 3/183 31512 /proc/meminfo: memFree=28472568/32872528 swapFree=1191052/1305516 [pid=31448] ppid=31445 vsize=1331780 CPUtime=1541.96 cores=0,2,4,6 /proc/31448/stat : 31448 (toysat) R 31445 31448 26736 0 -1 4202496 273840 0 0 0 154152 44 0 0 20 0 4 0 31131356 1363742720 274461 33554432000 4194304 16246674 140733287223728 140733287205632 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31448/statm: 332945 274461 919 2943 0 329839 0 [pid=31448/tid=31449] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31449/stat : 31449 (toysat) S 31445 31448 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274461 33554432000 4194304 16246674 140733287223728 139741435505904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31448/tid=31450] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31450/stat : 31450 (toysat) S 31445 31448 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274461 33554432000 4194304 16246674 140733287223728 139741425016048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31448/tid=31451] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31451/stat : 31451 (toysat) S 31445 31448 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274461 33554432000 4194304 16246674 140733287223728 139741414542512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.96 Current children cumulated vsize (KiB) 1331780 [startup+1602.3 s] /proc/loadavg: 2.43 2.26 2.20 3/174 31548 /proc/meminfo: memFree=28884568/32872528 swapFree=1191052/1305516 [pid=31448] ppid=31445 vsize=1331780 CPUtime=1601.92 cores=0,2,4,6 /proc/31448/stat : 31448 (toysat) R 31445 31448 26736 0 -1 4202496 273880 0 0 0 160148 44 0 0 20 0 4 0 31131356 1363742720 274461 33554432000 4194304 16246674 140733287223728 140733287205632 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31448/statm: 332945 274461 919 2943 0 329839 0 [pid=31448/tid=31449] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31449/stat : 31449 (toysat) S 31445 31448 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274461 33554432000 4194304 16246674 140733287223728 139741435505904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31448/tid=31450] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31450/stat : 31450 (toysat) S 31445 31448 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274461 33554432000 4194304 16246674 140733287223728 139741425016048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31448/tid=31451] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31451/stat : 31451 (toysat) S 31445 31448 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274461 33554432000 4194304 16246674 140733287223728 139741414542512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 1331780 [startup+1662.3 s] /proc/loadavg: 2.32 2.27 2.20 3/183 31563 /proc/meminfo: memFree=22744568/32872528 swapFree=1191052/1305516 [pid=31448] ppid=31445 vsize=1331780 CPUtime=1661.88 cores=0,2,4,6 /proc/31448/stat : 31448 (toysat) R 31445 31448 26736 0 -1 4202496 273923 0 0 0 166144 44 0 0 20 0 4 0 31131356 1363742720 274461 33554432000 4194304 16246674 140733287223728 140733287205632 13950192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31448/statm: 332945 274461 919 2943 0 329839 0 [pid=31448/tid=31449] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31449/stat : 31449 (toysat) S 31445 31448 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274461 33554432000 4194304 16246674 140733287223728 139741435505904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31448/tid=31450] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31450/stat : 31450 (toysat) S 31445 31448 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274461 33554432000 4194304 16246674 140733287223728 139741425016048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31448/tid=31451] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31451/stat : 31451 (toysat) S 31445 31448 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274461 33554432000 4194304 16246674 140733287223728 139741414542512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1331780 [startup+1722.3 s] /proc/loadavg: 2.22 2.25 2.19 3/183 31564 /proc/meminfo: memFree=14092836/32872528 swapFree=1191052/1305516 [pid=31448] ppid=31445 vsize=1331780 CPUtime=1721.85 cores=0,2,4,6 /proc/31448/stat : 31448 (toysat) R 31445 31448 26736 0 -1 4202496 273969 0 0 0 172141 44 0 0 20 0 4 0 31131356 1363742720 274461 33554432000 4194304 16246674 140733287223728 140733287222904 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31448/statm: 332945 274461 919 2943 0 329839 0 [pid=31448/tid=31449] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31449/stat : 31449 (toysat) S 31445 31448 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274461 33554432000 4194304 16246674 140733287223728 139741435505904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31448/tid=31450] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31450/stat : 31450 (toysat) S 31445 31448 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274461 33554432000 4194304 16246674 140733287223728 139741425016048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31448/tid=31451] ppid=31445 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31451/stat : 31451 (toysat) S 31445 31448 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31131356 1363742720 274461 33554432000 4194304 16246674 140733287223728 139741414542512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1331780 [startup+1782.3 s] /proc/loadavg: 2.22 2.24 2.19 3/184 31569 /proc/meminfo: memFree=14080452/32872528 swapFree=1191052/1305516 [pid=31448] ppid=31445 vsize=1344068 CPUtime=1781.82 cores=0,2,4,6 /proc/31448/stat : 31448 (toysat) R 31445 31448 26736 0 -1 4202496 277070 0 0 0 178138 44 0 0 20 0 4 0 31131356 1376325632 277533 33554432000 4194304 16246674 140733287223728 140733287205632 12483212 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31448/statm: 336017 277533 919 2943 0 332911 0 [pid=31448/tid=31449] ppid=31445 vsize=1344068 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31449/stat : 31449 (toysat) S 31445 31448 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31131356 1376325632 277533 33554432000 4194304 16246674 140733287223728 139741435505904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31448/tid=31450] ppid=31445 vsize=1344068 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31450/stat : 31450 (toysat) S 31445 31448 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31131356 1376325632 277533 33554432000 4194304 16246674 140733287223728 139741425016048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31448/tid=31451] ppid=31445 vsize=1344068 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31451/stat : 31451 (toysat) S 31445 31448 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31131356 1376325632 277533 33554432000 4194304 16246674 140733287223728 139741414542512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1344068 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.22 2.24 2.19 3/184 31569 /proc/meminfo: memFree=14080048/32872528 swapFree=1191052/1305516 [pid=31448] ppid=31445 vsize=1344068 CPUtime=1800.01 cores=0,2,4,6 /proc/31448/stat : 31448 (toysat) R 31445 31448 26736 0 -1 4202496 277084 0 0 0 179957 44 0 0 20 0 4 0 31131356 1376325632 277533 33554432000 4194304 16246674 140733287223728 140733287205632 5677061 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31448/statm: 336017 277533 919 2943 0 332911 0 [pid=31448/tid=31449] ppid=31445 vsize=1344068 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31449/stat : 31449 (toysat) S 31445 31448 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31131356 1376325632 277533 33554432000 4194304 16246674 140733287223728 139741435505904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31448/tid=31450] ppid=31445 vsize=1344068 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31450/stat : 31450 (toysat) S 31445 31448 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31131356 1376325632 277533 33554432000 4194304 16246674 140733287223728 139741425016048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31448/tid=31451] ppid=31445 vsize=1344068 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31451/stat : 31451 (toysat) S 31445 31448 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31131356 1376325632 277533 33554432000 4194304 16246674 140733287223728 139741414542512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1344068 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 31448 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.22 2.24 2.19 3/184 31569 /proc/meminfo: memFree=14080048/32872528 swapFree=1191052/1305516 [pid=31448] ppid=31445 vsize=1344068 CPUtime=1800.01 cores=0,2,4,6 /proc/31448/stat : 31448 (toysat) R 31445 31448 26736 0 -1 4202496 277084 0 0 0 179957 44 0 0 20 0 4 0 31131356 1376325632 277533 33554432000 4194304 16246674 140733287223728 140733287205632 5677061 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/31448/statm: 336017 277533 919 2943 0 332911 0 [pid=31448/tid=31449] ppid=31445 vsize=1344068 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31449/stat : 31449 (toysat) S 31445 31448 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31131356 1376325632 277533 33554432000 4194304 16246674 140733287223728 139741435505904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=31448/tid=31450] ppid=31445 vsize=1344068 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31450/stat : 31450 (toysat) S 31445 31448 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31131356 1376325632 277533 33554432000 4194304 16246674 140733287223728 139741425016048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=31448/tid=31451] ppid=31445 vsize=1344068 CPUtime=0 cores=0,2,4,6 /proc/31448/task/31451/stat : 31451 (toysat) S 31445 31448 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31131356 1376325632 277533 33554432000 4194304 16246674 140733287223728 139741414542512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1344068 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.52 CPU time (s): 1800.03 CPU user time (s): 1799.58 CPU system time (s): 0.45793 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 1344068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.45793 maximum resident set size= 1110132 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277084 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= 393 involuntary context switches= 1839 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.08408 second user time and 9.72252 second system time The end
Begin job on node127 at 2016-06-19 01:00:47 IDJOB=4108317 IDBENCH=77110 IDSOLVER=2542 FILE ID=node127/4108317-1466290847 RUNJOBID= node127-1466265123-26752 PBS_JOBID= 19918231 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12058_7.std.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108317-1466290847/watcher-4108317-1466290847 -o /tmp/evaluation-result-4108317-1466290847/solver-4108317-1466290847 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26752 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108317-1466290847.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 38417c05ad0fa807f5ea2aa87e724f6b RANDOM SEED=464684609 node127.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.769 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.53 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.769 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.769 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.769 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.56 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.769 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.769 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.769 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 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: 29617676 kB Buffers: 12412 kB Cached: 97024 kB SwapCached: 500 kB Active: 1171224 kB Inactive: 39544 kB Active(anon): 1099104 kB Inactive(anon): 4180 kB Active(file): 72120 kB Inactive(file): 35364 kB Unevictable: 1305516 kB Mlocked: 1191052 kB SwapTotal: 67108856 kB SwapFree: 67100260 kB Dirty: 24848 kB Writeback: 0 kB AnonPages: 2534376 kB Mapped: 10808 kB Shmem: 0 kB Slab: 603060 kB SReclaimable: 47168 kB SUnreclaim: 555892 kB KernelStack: 1528 kB PageTables: 8880 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2549712 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 247808 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= 71032 MiB End job on node127 at 2016-06-19 01:30:48