| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12053_6.std.opb |
| MD5SUM | afeceb08ae53f25fa9e4759a0d0118c7 |
| 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 | 109 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| 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 | 256600 |
| Number of constraints which are clauses | 255400 |
| 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 | 93 |
| 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-07T06:31:06+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-4079981-1465273865.opb"] 0.00/0.01 c use --random-gen="3482316390 780235293 954150937 3290366792 3401947816 2728442436 1201073059 1407410258 984139901 1307111215 1121842414 3410256634 3851837547 2447352692 145781719 3628172476 1026218868 3977169494 2984647052 2603672112 3233919302 899961620 502744774 228978653 2403909417 3548316699 1545173367 2997842597 2823754359 3577471536 2589508676 849144776 1104351209 2412186262 3729506320 2515345290 2050906716 3116189557 1083777701 3237500684 2200625862 3467963597 217747142 2668083679 1213642241 1520661655 3072899703 3783652481 1256258615 3747636115 2251204323 3962869369 433364662 2107741781 1630848886 4231321643 3801553524 747436699 282667333 3917068649 1617313547 2288127468 742969733 3574001513 3809289559 1729070403 2791137996 2387764919 4136002476 831074569 408028608 2850071402 267351848 1271969955 1197725680 2352086899 1792282332 3260466970 2823972691 1525334495 3796489444 3470465581 2150229991 4077123954 1831498499 2702972773 3321398297 2366342822 2557236606 3437419060 159769462 2340544717 2250587352 2132509768 990767462 276535101 1736351947 2045705583 1746986403 3753662685 640052314 2942260942 776814610 3239945406 260358409 3377413740 2751348706 2059758771 1981508534 3531708406 2292911501 2601676860 2738070452 4205550854 1811492619 1042697423 3314513950 553304442 4007363380 1701911693 1954509813 1245553264 3817835167 1943372180 1032026714 1685969959 578629036 3309471129 1770574786 3601080149 1830969016 2281498911 1995294922 2741797935 3984438246 4093042782 3824938946 721033377 3354472348 2950559410 3361575863 828764333 2615232264 3926798760 1659826612 1671515136 983892642 347252797 1609785855 4169860542 973282858 2390832105 2492664498 658672638 1688952225 3144150230 1536166830 3470289272 4015063650 2681016759 3987429517 859846786 3863048605 2681770358 360426524 2797085364 2689256875 910645213 849312916 555683807 3427400659 1673297918 3578162455 1125447570 2903071467 3884295594 422177412 3910869811 3020320276 4005654076 1949071609 2862499628 235698167 141533156 1955591535 4282222019 656850180 1460183835 2361725396 900687989 1073746206 2498157967 2849131805 1356321593 848779634 2728313083 310458964 1962023584 2654646223 647139478 3154496912 304123470 3531757613 3845839138 1259689575 2135040549 3724524703 439829728 1463535847 1997374513 1620493678 719759999 2661657634 2359078344 1761977979 3275283951 1255904644 1680087091 2673632967 2394248384 622481007 190871571 1672937926 187985913 1540478844 2475699641 1043045813 3102871249 3181144753 192548400 3580377156 1778097757 1579750158 3878527429 501018464 3558012495 3871405241 821583038 1972392135 1848528981 4037931507 3921779519 4182359746 3191070931 4146410902 2906641265 2180922908 1588080520 2402770282 3130779630 590548140 2325293478 620260324 3102452551 813660631 2038172009 255 362436" option to reproduce the execution 1.39/1.46 c #vars 72842 1.39/1.46 c #constraints 256600 4.79/4.80 c BCD2: Hardening is enabled. 4.79/4.80 c BCD2: BiasedSearch is enabled. 4.79/4.80 c Solving starts ... 4.89/4.90 c ============================[ Search Statistics ]============================ 4.89/4.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.89/4.90 c | | | | Limit GC | Var | Constra 4.89/4.90 c ============================================================================= 4.89/4.90 c 0.0s | 0 | 0 | 0 | 96248 0 | 15607 | 0 5.09/5.17 c 0.3s | 0 | 122 | 0 | 96248 0 | 15607 | 21878 5.09/5.17 c #cpu_time = 0.244s 5.09/5.17 c #wall_clock_time = 0.245s 5.09/5.17 c #decision = 122 5.09/5.17 c #random_decision = 1 5.09/5.17 c #conflict = 0 5.09/5.17 c #restart = 0 5.09/5.17 o 300 5.09/5.17 c BCD2: hardening fixes 1 literals 5.09/5.17 c BCD2: updating upper bound: 45150 -> 299 5.09/5.17 c BCD2: 0 <= obj <= 299 5.09/5.17 c BCD2: #cores=0, #unrelaxed=299, #relaxed=0, #hardened=1 5.09/5.17 c BCD2: #sat=1 #unsat=1 bias=1/2 5.09/5.17 c Solving starts ... 5.09/5.17 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 | 96248 0 | 15849 | 21878 5.39/5.40 c 0.2s | 0 | 214 | 0 | 96248 0 | 15849 | 22737 5.39/5.40 c #cpu_time = 0.203s 5.39/5.40 c #wall_clock_time = 0.204s 5.39/5.40 c #decision = 214 5.39/5.40 c #random_decision = 0 5.39/5.40 c #conflict = 0 5.39/5.40 c #restart = 0 5.39/5.40 c BCD2: found a new core of size 215: cost of the new core is >=85 5.39/5.40 c lower bound updated to 85 5.39/5.40 c BCD2: 85 <= obj <= 299 5.39/5.40 c BCD2: #cores=1, #unrelaxed=84, #relaxed=215, #hardened=1 5.39/5.40 c BCD2: #sat=1 #unsat=2 bias=2/3 6.89/6.99 c Solving starts ... 6.89/6.99 c ============================[ Search Statistics ]============================ 6.89/6.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.89/6.99 c | | | | Limit GC | Var | Constra 6.89/6.99 c ============================================================================= 6.89/6.99 c 0.0s | 0 | 0 | 0 | 96248 0 | 15849 | 22737 7.19/7.29 c 0.3s | 0 | 15 | 2 | 96248 0 | 15850 | 22738 7.19/7.29 c #cpu_time = 0.308s 7.19/7.29 c #wall_clock_time = 0.309s 7.19/7.29 c #decision = 15 7.19/7.29 c #random_decision = 0 7.19/7.29 c #conflict = 2 7.19/7.29 c #restart = 0 7.19/7.29 c BCD2: updating lower bound of a core 7.19/7.30 c lower bound updated to 86 7.19/7.30 c BCD2: 86 <= obj <= 299 7.19/7.30 c BCD2: #cores=1, #unrelaxed=84, #relaxed=215, #hardened=1 7.19/7.30 c BCD2: #sat=1 #unsat=3 bias=3/4 8.80/8.81 c Solving starts ... 8.80/8.81 c ============================[ Search Statistics ]============================ 8.80/8.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.80/8.81 c | | | | Limit GC | Var | Constra 8.80/8.81 c ============================================================================= 8.80/8.81 c 0.0s | 0 | 0 | 0 | 96248 0 | 15850 | 22738 9.09/9.12 c 0.3s | 0 | 16 | 13 | 96248 0 | 15851 | 22739 9.09/9.12 c #cpu_time = 0.316s 9.09/9.12 c #wall_clock_time = 0.317s 9.09/9.12 c #decision = 16 9.09/9.12 c #random_decision = 0 9.09/9.12 c #conflict = 13 9.09/9.12 c #restart = 0 9.09/9.12 c BCD2: updating lower bound of a core 9.09/9.12 c lower bound updated to 87 9.09/9.13 c BCD2: 87 <= obj <= 299 9.09/9.13 c BCD2: #cores=1, #unrelaxed=84, #relaxed=215, #hardened=1 9.09/9.13 c BCD2: #sat=1 #unsat=4 bias=4/5 10.59/10.62 c Solving starts ... 10.59/10.62 c ============================[ Search Statistics ]============================ 10.59/10.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.59/10.62 c | | | | Limit GC | Var | Constra 10.59/10.62 c ============================================================================= 10.59/10.62 c 0.0s | 0 | 0 | 0 | 96248 0 | 15851 | 22739 10.89/10.94 c 0.3s | 0 | 33 | 15 | 96248 0 | 15852 | 22740 10.89/10.94 c #cpu_time = 0.324s 10.89/10.94 c #wall_clock_time = 0.325s 10.89/10.94 c #decision = 33 10.89/10.94 c #random_decision = 0 10.89/10.94 c #conflict = 15 10.89/10.94 c #restart = 0 10.89/10.94 c BCD2: updating lower bound of a core 10.89/10.94 c lower bound updated to 88 10.89/10.94 c BCD2: 88 <= obj <= 299 10.89/10.94 c BCD2: #cores=1, #unrelaxed=84, #relaxed=215, #hardened=1 10.89/10.94 c BCD2: #sat=1 #unsat=5 bias=5/6 12.39/12.42 c Solving starts ... 12.39/12.42 c ============================[ Search Statistics ]============================ 12.39/12.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 12.39/12.42 c | | | | Limit GC | Var | Constra 12.39/12.42 c ============================================================================= 12.39/12.42 c 0.0s | 0 | 0 | 0 | 96248 0 | 15852 | 22740 12.99/13.03 c 0.6s | 0 | 102 | 59 | 96248 0 | 15885 | 22970 12.99/13.03 c #cpu_time = 0.611s 12.99/13.03 c #wall_clock_time = 0.613s 12.99/13.03 c #decision = 102 12.99/13.03 c #random_decision = 0 12.99/13.03 c #conflict = 59 12.99/13.03 c #restart = 0 12.99/13.03 c BCD2: updating lower bound of a core 12.99/13.03 c lower bound updated to 89 12.99/13.03 c BCD2: 89 <= obj <= 299 12.99/13.03 c BCD2: #cores=1, #unrelaxed=84, #relaxed=215, #hardened=1 12.99/13.03 c BCD2: #sat=1 #unsat=6 bias=6/7 14.39/14.48 c Solving starts ... 14.39/14.48 c ============================[ Search Statistics ]============================ 14.39/14.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 14.39/14.48 c | | | | Limit GC | Var | Constra 14.39/14.48 c ============================================================================= 14.39/14.48 c 0.0s | 0 | 0 | 0 | 96248 0 | 15885 | 22970 15.19/15.27 c 0.8s | 1 | 139 | 100 | 105873 0 | 15957 | 23690 15.59/15.64 c 1.2s | 1 | 171 | 129 | 105873 0 | 15958 | 23691 15.59/15.64 c #cpu_time = 1.152s 15.59/15.64 c #wall_clock_time = 1.155s 15.59/15.64 c #decision = 171 15.59/15.64 c #random_decision = 1 15.59/15.64 c #conflict = 129 15.59/15.64 c #restart = 1 15.59/15.64 c BCD2: updating lower bound of a core 15.59/15.64 c lower bound updated to 90 15.59/15.64 c BCD2: 90 <= obj <= 299 15.59/15.64 c BCD2: #cores=1, #unrelaxed=84, #relaxed=215, #hardened=1 15.59/15.64 c BCD2: #sat=1 #unsat=7 bias=7/8 16.99/17.08 c Solving starts ... 16.99/17.08 c ============================[ Search Statistics ]============================ 16.99/17.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 16.99/17.08 c | | | | Limit GC | Var | Constra 16.99/17.08 c ============================================================================= 16.99/17.08 c 0.0s | 0 | 0 | 0 | 105873 0 | 15958 | 23691 17.39/17.47 c 0.4s | 1 | 143 | 100 | 116461 0 | 15958 | 23691 17.89/17.94 c 0.9s | 2 | 326 | 250 | 116461 0 | 15958 | 23691 18.39/18.41 c 1.3s | 2 | 411 | 320 | 128108 0 | 15959 | 23692 18.39/18.41 c #cpu_time = 1.329s 18.39/18.41 c #wall_clock_time = 1.332s 18.39/18.41 c #decision = 411 18.39/18.41 c #random_decision = 1 18.39/18.41 c #conflict = 320 18.39/18.41 c #restart = 2 18.39/18.41 c BCD2: updating lower bound of a core 18.39/18.41 c lower bound updated to 91 18.39/18.41 c BCD2: 91 <= obj <= 299 18.39/18.41 c BCD2: #cores=1, #unrelaxed=84, #relaxed=215, #hardened=1 18.39/18.41 c BCD2: #sat=1 #unsat=8 bias=8/9 19.99/20.09 c Solving starts ... 19.99/20.09 c ============================[ Search Statistics ]============================ 19.99/20.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 19.99/20.09 c | | | | Limit GC | Var | Constra 19.99/20.09 c ============================================================================= 19.99/20.10 c 0.0s | 0 | 0 | 0 | 128108 0 | 15959 | 23692 20.49/20.50 c 0.4s | 1 | 157 | 100 | 128108 0 | 15959 | 23692 20.89/21.00 c 0.9s | 2 | 350 | 250 | 128108 0 | 15959 | 23692 21.69/21.79 c 1.7s | 3 | 678 | 475 | 140919 0 | 15959 | 23692 22.59/22.66 c 2.6s | 4 | 1095 | 813 | 155011 0 | 15959 | 23692 23.39/23.42 c 3.3s | 4 | 1352 | 1017 | 155011 0 | 15960 | 23693 23.39/23.42 c #cpu_time = 3.314s 23.39/23.42 c #wall_clock_time = 3.322s 23.39/23.42 c #decision = 1352 23.39/23.42 c #random_decision = 0 23.39/23.42 c #conflict = 1017 23.39/23.42 c #restart = 4 23.39/23.42 c BCD2: updating lower bound of a core 23.39/23.42 c lower bound updated to 92 23.39/23.42 c BCD2: 92 <= obj <= 299 23.39/23.42 c BCD2: #cores=1, #unrelaxed=84, #relaxed=215, #hardened=1 23.39/23.42 c BCD2: #sat=1 #unsat=9 bias=9/10 24.79/24.86 c Solving starts ... 24.79/24.86 c ============================[ Search Statistics ]============================ 24.79/24.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 24.79/24.86 c | | | | Limit GC | Var | Constra 24.79/24.86 c ============================================================================= 24.79/24.86 c 0.0s | 0 | 0 | 0 | 155011 0 | 15960 | 23693 25.19/25.26 c 0.4s | 1 | 173 | 100 | 155011 0 | 15960 | 23693 25.69/25.76 c 0.9s | 2 | 385 | 250 | 155011 0 | 15960 | 23693 26.29/26.39 c 1.5s | 3 | 673 | 475 | 155011 0 | 15960 | 23693 27.29/27.35 c 2.5s | 4 | 1104 | 813 | 170513 0 | 15960 | 23693 28.69/28.70 c 3.8s | 5 | 1734 | 1320 | 170513 0 | 15960 | 23693 30.49/30.53 c 5.7s | 6 | 2706 | 2081 | 187565 0 | 15960 | 23693 32.59/32.67 c 7.8s | 6 | 3850 | 2981 | 187565 0 | 15960 | 23693 33.19/33.20 c 8.3s | 7 | 4173 | 3223 | 187565 0 | 15960 | 23693 34.38/34.43 c 9.6s | 7 | 4677 | 3602 | 206322 0 | 15961 | 23694 34.38/34.43 c #cpu_time = 9.543s 34.38/34.43 c #wall_clock_time = 9.567s 34.38/34.43 c #decision = 4677 34.38/34.43 c #random_decision = 3 34.38/34.43 c #conflict = 3602 34.38/34.43 c #restart = 7 34.38/34.43 c BCD2: updating lower bound of a core 34.38/34.43 c lower bound updated to 93 34.38/34.43 c BCD2: 93 <= obj <= 299 34.38/34.43 c BCD2: #cores=1, #unrelaxed=84, #relaxed=215, #hardened=1 34.38/34.43 c BCD2: #sat=1 #unsat=10 bias=10/11 35.88/35.91 c Solving starts ... 35.88/35.91 c ============================[ Search Statistics ]============================ 35.88/35.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 35.88/35.91 c | | | | Limit GC | Var | Constra 35.88/35.91 c ============================================================================= 35.88/35.91 c 0.0s | 0 | 0 | 0 | 206322 0 | 15961 | 23694 36.29/36.32 c 0.4s | 1 | 141 | 100 | 206322 0 | 15961 | 23694 36.88/36.92 c 1.0s | 2 | 402 | 250 | 206322 0 | 15961 | 23694 37.58/37.63 c 1.7s | 3 | 729 | 475 | 206322 0 | 15961 | 23694 38.59/38.65 c 2.7s | 4 | 1181 | 813 | 206322 0 | 15961 | 23694 39.98/40.07 c 4.2s | 5 | 1862 | 1320 | 206322 0 | 15961 | 23694 41.89/41.95 c 6.0s | 6 | 2946 | 2081 | 206322 0 | 15961 | 23694 44.09/44.12 c 8.2s | 6 | 4033 | 2881 | 226955 0 | 15961 | 23694 44.78/44.81 c 8.9s | 7 | 4484 | 3223 | 226955 0 | 15961 | 23694 46.78/46.85 c 10.9s | 7 | 5532 | 4023 | 226955 0 | 15961 | 23694 48.98/49.06 c 13.1s | 7 | 6705 | 4923 | 226955 0 | 15961 | 23694 49.08/49.10 c 13.2s | 8 | 6720 | 4936 | 226955 0 | 15961 | 23694 51.28/51.35 c 15.4s | 8 | 7771 | 5736 | 226955 0 | 15961 | 23694 53.48/53.55 c 17.6s | 8 | 8947 | 6636 | 249651 0 | 15961 | 23694 55.58/55.61 c 19.7s | 8 | 9973 | 7436 | 249651 0 | 15961 | 23694 55.68/55.79 c 19.9s | 9 | 10076 | 7506 | 249651 0 | 15961 | 23694 57.78/57.88 c 22.0s | 9 | 10997 | 8206 | 249651 0 | 15961 | 23694 60.08/60.10 c 24.2s | 9 | 12168 | 9106 | 249651 0 | 15961 | 23694 62.08/62.19 c 26.3s | 9 | 13178 | 9906 | 249651 0 | 15961 | 23694 64.28/64.31 c 28.4s | 9 | 14154 | 10706 | 249651 0 | 15961 | 23694 66.28/66.33 c 30.4s | 10 | 14999 | 11361 | 249651 0 | 15961 | 23694 68.48/68.52 c 32.6s | 10 | 15767 | 11961 | 274617 0 | 15961 | 23694 70.68/70.79 c 34.9s | 10 | 16771 | 12761 | 274617 0 | 15961 | 23694 72.88/72.96 c 37.0s | 10 | 17620 | 13461 | 274617 0 | 15961 | 23694 74.18/74.21 c 38.3s | 10 | 18091 | 13813 | 274617 0 | 15962 | 23695 74.18/74.21 c #cpu_time = 38.198s 74.18/74.21 c #wall_clock_time = 38.296s 74.18/74.21 c #decision = 18091 74.18/74.21 c #random_decision = 9 74.18/74.21 c #conflict = 13813 74.18/74.21 c #restart = 10 74.18/74.21 c BCD2: updating lower bound of a core 74.18/74.21 c lower bound updated to 94 74.18/74.21 c BCD2: 94 <= obj <= 299 74.18/74.21 c BCD2: #cores=1, #unrelaxed=84, #relaxed=215, #hardened=1 74.18/74.21 c BCD2: #sat=1 #unsat=11 bias=11/12 75.48/75.59 c Solving starts ... 75.48/75.59 c ============================[ Search Statistics ]============================ 75.48/75.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 75.48/75.59 c | | | | Limit GC | Var | Constra 75.48/75.59 c ============================================================================= 75.48/75.59 c 0.0s | 0 | 0 | 0 | 274617 0 | 15962 | 23695 76.18/76.24 c 0.7s | 1 | 136 | 100 | 274617 0 | 15962 | 23695 76.99/77.09 c 1.5s | 2 | 359 | 250 | 274617 0 | 15962 | 23695 77.98/78.01 c 2.4s | 3 | 697 | 475 | 274617 0 | 15962 | 23695 79.08/79.13 c 3.5s | 4 | 1156 | 813 | 274617 0 | 15962 | 23695 80.88/80.98 c 5.4s | 5 | 1825 | 1320 | 274617 0 | 15962 | 23695 82.98/83.01 c 7.4s | 5 | 2612 | 1920 | 274617 0 | 15962 | 23695 83.38/83.48 c 7.9s | 6 | 2811 | 2081 | 274617 0 | 15962 | 23695 85.68/85.74 c 10.2s | 6 | 3726 | 2781 | 274617 0 | 15962 | 23695 86.98/87.06 c 11.5s | 7 | 4306 | 3223 | 274617 0 | 15962 | 23695 89.18/89.24 c 13.6s | 7 | 5110 | 3823 | 274617 0 | 15962 | 23695 91.28/91.36 c 15.8s | 7 | 5985 | 4523 | 274617 0 | 15962 | 23695 92.48/92.52 c 16.9s | 8 | 6513 | 4936 | 274617 0 | 15962 | 23695 94.58/94.65 c 19.1s | 8 | 7555 | 5636 | 274617 0 | 15962 | 23695 96.78/96.88 c 21.3s | 8 | 8734 | 6536 | 274617 0 | 15962 | 23695 98.77/98.89 c 23.3s | 8 | 9614 | 7236 | 302079 0 | 15962 | 23695 99.57/99.70 c 24.1s | 9 | 9951 | 7506 | 302079 0 | 15962 | 23695 101.77/101.81 c 26.2s | 9 | 10711 | 8106 | 302079 0 | 15962 | 23695 103.97/104.07 c 28.5s | 9 | 11591 | 8806 | 302079 0 | 15962 | 23695 106.07/106.17 c 30.6s | 9 | 12479 | 9506 | 302079 0 | 15962 | 23695 108.37/108.45 c 32.9s | 9 | 13384 | 10206 | 302079 0 | 15962 | 23695 110.37/110.48 c 34.9s | 9 | 14145 | 10806 | 302079 0 | 15962 | 23695 112.37/112.44 c 36.8s | 10 | 14885 | 11361 | 302079 0 | 15962 | 23695 114.48/114.59 c 39.0s | 10 | 15656 | 11961 | 302079 0 | 15962 | 23695 116.58/116.62 c 41.0s | 10 | 16545 | 12661 | 302079 0 | 15962 | 23695 118.67/118.73 c 43.1s | 10 | 17448 | 13361 | 302079 0 | 15962 | 23695 120.67/120.78 c 45.2s | 10 | 18448 | 14061 | 302079 0 | 15962 | 23695 122.77/122.89 c 47.3s | 10 | 19331 | 14761 | 302079 0 | 15962 | 23695 124.97/125.02 c 49.4s | 10 | 20274 | 15461 | 302079 0 | 15962 | 23695 127.07/127.16 c 51.6s | 10 | 21189 | 16161 | 302079 0 | 15962 | 23695 129.37/129.44 c 53.9s | 10 | 21971 | 16761 | 302079 0 | 15962 | 23695 130.67/130.72 c 55.1s | 11 | 22461 | 17144 | 302079 0 | 15962 | 23695 132.97/133.08 c 57.5s | 11 | 23250 | 17744 | 302079 0 | 15962 | 23695 135.07/135.14 c 59.6s | 11 | 23963 | 18344 | 302079 0 | 15962 | 23695 137.47/137.51 c 61.9s | 11 | 24885 | 19044 | 302079 0 | 15962 | 23695 139.47/139.57 c 64.0s | 11 | 25587 | 19644 | 332287 0 | 15962 | 23695 141.77/141.82 c 66.2s | 11 | 26354 | 20244 | 332287 0 | 15962 | 23695 143.97/144.09 c 68.5s | 11 | 27108 | 20844 | 332287 0 | 15962 | 23695 146.07/146.17 c 70.6s | 11 | 27961 | 21444 | 332287 0 | 15962 | 23695 148.37/148.48 c 72.9s | 11 | 28707 | 22044 | 332287 0 | 15962 | 23695 150.57/150.69 c 75.1s | 11 | 29486 | 22644 | 332287 0 | 15962 | 23695 152.76/152.86 c 77.3s | 11 | 30265 | 23244 | 332287 0 | 15962 | 23695 154.76/154.89 c 79.3s | 11 | 31024 | 23844 | 332287 0 | 15962 | 23695 156.86/156.95 c 81.4s | 11 | 31809 | 24444 | 332287 0 | 15962 | 23695 158.96/159.08 c 83.5s | 11 | 32565 | 25044 | 332287 0 | 15962 | 23695 161.06/161.11 c 85.5s | 11 | 33149 | 25544 | 332287 0 | 15962 | 23695 162.16/162.26 c 86.7s | 12 | 33469 | 25819 | 332287 0 | 15962 | 23695 164.56/164.61 c 89.0s | 12 | 34095 | 26319 | 332287 0 | 15962 | 23695 166.86/166.92 c 91.3s | 12 | 34862 | 26919 | 332287 0 | 15962 | 23695 169.06/169.15 c 93.6s | 12 | 35487 | 27419 | 332287 0 | 15962 | 23695 171.26/171.36 c 95.8s | 12 | 36089 | 27919 | 332287 0 | 15962 | 23695 173.36/173.44 c 97.8s | 12 | 36769 | 28419 | 332287 0 | 15962 | 23695 175.76/175.85 c 100s | 12 | 37521 | 29019 | 332287 0 | 15962 | 23695 177.86/177.91 c 102s | 12 | 38157 | 29519 | 332287 0 | 15962 | 23695 180.06/180.15 c 104s | 12 | 38955 | 30119 | 332287 0 | 15962 | 23695 182.16/182.21 c 106s | 12 | 39562 | 30619 | 332287 0 | 15962 | 23695 184.46/184.56 c 108s | 12 | 40309 | 31219 | 332287 0 | 15962 | 23695 186.66/186.73 c 111s | 12 | 41153 | 31819 | 332287 0 | 15962 | 23695 188.96/189.08 c 113s | 12 | 41927 | 32419 | 332287 0 | 15962 | 23695 191.06/191.14 c 115s | 12 | 42544 | 32919 | 332287 0 | 15962 | 23695 193.36/193.45 c 117s | 12 | 43340 | 33519 | 332287 0 | 15962 | 23695 195.46/195.59 c 120s | 12 | 43957 | 34019 | 332287 0 | 15962 | 23695 197.66/197.75 c 122s | 12 | 44597 | 34519 | 332287 0 | 15962 | 23695 200.06/200.19 c 124s | 12 | 45185 | 35019 | 332287 0 | 15962 | 23695 202.36/202.50 c 126s | 12 | 45813 | 35519 | 332287 0 | 15962 | 23695 204.56/204.67 c 129s | 12 | 46419 | 36019 | 332287 0 | 15962 | 23695 206.76/206.88 c 131s | 12 | 47032 | 36519 | 332287 0 | 15962 | 23695 208.96/209.10 c 133s | 12 | 47648 | 37019 | 332287 0 | 15962 | 23695 211.26/211.34 c 135s | 12 | 48266 | 37519 | 332287 0 | 15962 | 23695 213.55/213.67 c 138s | 12 | 48877 | 38019 | 332287 0 | 15962 | 23695 215.85/215.95 c 140s | 12 | 49515 | 38519 | 332287 0 | 15962 | 23695 217.45/217.56 c 141s | 13 | 49895 | 38832 | 332287 0 | 15962 | 23695 219.75/219.82 c 144s | 13 | 50406 | 39232 | 365516 0 | 15962 | 23695 221.95/222.06 c 146s | 13 | 51022 | 39732 | 365516 0 | 15962 | 23695 224.25/224.34 c 148s | 13 | 51677 | 40232 | 365516 0 | 15962 | 23695 226.66/226.79 c 151s | 13 | 52293 | 40732 | 365516 0 | 15962 | 23695 228.95/229.05 c 153s | 13 | 52882 | 41232 | 365516 0 | 15962 | 23695 231.25/231.33 c 155s | 13 | 53515 | 41732 | 365516 0 | 15962 | 23695 233.75/233.85 c 158s | 13 | 54130 | 42232 | 365516 0 | 15962 | 23695 235.95/236.05 c 160s | 13 | 54738 | 42732 | 365516 0 | 15962 | 23695 238.25/238.31 c 162s | 13 | 55385 | 43232 | 365516 0 | 15962 | 23695 240.45/240.58 c 164s | 13 | 56048 | 43732 | 365516 0 | 15962 | 23695 242.65/242.78 c 167s | 13 | 56734 | 44232 | 365516 0 | 15962 | 23695 245.15/245.20 c 169s | 13 | 57376 | 44732 | 365516 0 | 15962 | 23695 247.35/247.45 c 171s | 13 | 58004 | 45232 | 365516 0 | 15962 | 23695 249.55/249.64 c 174s | 13 | 58641 | 45732 | 365516 0 | 15962 | 23695 251.75/251.85 c 176s | 13 | 59321 | 46232 | 365516 0 | 15962 | 23695 254.25/254.31 c 178s | 13 | 59928 | 46732 | 365516 0 | 15962 | 23695 256.35/256.45 c 180s | 13 | 60441 | 47132 | 365516 0 | 15962 | 23695 258.85/258.93 c 183s | 13 | 61030 | 47632 | 365516 0 | 15962 | 23695 261.25/261.33 c 185s | 13 | 61607 | 48132 | 365516 0 | 15962 | 23695 263.45/263.52 c 187s | 13 | 62078 | 48532 | 365516 0 | 15962 | 23695 265.55/265.68 c 190s | 13 | 62552 | 48932 | 365516 0 | 15962 | 23695 267.65/267.78 c 192s | 13 | 63018 | 49332 | 365516 0 | 15962 | 23695 270.05/270.15 c 194s | 13 | 63483 | 49732 | 365516 0 | 15962 | 23695 272.24/272.33 c 196s | 13 | 63968 | 50132 | 365516 0 | 15962 | 23695 274.24/274.39 c 198s | 13 | 64475 | 50532 | 365516 0 | 15962 | 23695 276.54/276.60 c 201s | 13 | 64961 | 50932 | 365516 0 | 15962 | 23695 278.74/278.82 c 203s | 13 | 65448 | 51332 | 365516 0 | 15962 | 23695 280.84/280.93 c 205s | 13 | 65960 | 51732 | 365516 0 | 15962 | 23695 283.14/283.29 c 207s | 13 | 66451 | 52132 | 365516 0 | 15962 | 23695 285.64/285.76 c 210s | 13 | 67166 | 52632 | 365516 0 | 15962 | 23695 288.15/288.21 c 212s | 13 | 67848 | 53132 | 365516 0 | 15962 | 23695 290.24/290.40 c 214s | 13 | 68333 | 53532 | 365516 0 | 15962 | 23695 292.74/292.83 c 217s | 13 | 68811 | 53932 | 365516 0 | 15962 | 23695 295.05/295.11 c 219s | 13 | 69316 | 54332 | 365516 0 | 15962 | 23695 296.85/296.94 c 221s | 13 | 69597 | 54585 | 365516 0 | 15963 | 23696 296.85/296.94 c #cpu_time = 220.783s 296.85/296.94 c #wall_clock_time = 221.349s 296.85/296.94 c #decision = 69597 296.85/296.94 c #random_decision = 23 296.85/296.94 c #conflict = 54585 296.85/296.94 c #restart = 13 296.85/296.94 c BCD2: updating lower bound of a core 296.85/296.94 c lower bound updated to 95 296.85/296.94 c BCD2: 95 <= obj <= 299 296.85/296.94 c BCD2: #cores=1, #unrelaxed=84, #relaxed=215, #hardened=1 296.85/296.94 c BCD2: #sat=1 #unsat=12 bias=12/13 298.25/298.31 c Solving starts ... 298.25/298.31 c ============================[ Search Statistics ]============================ 298.25/298.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 298.25/298.31 c | | | | Limit GC | Var | Constra 298.25/298.31 c ============================================================================= 298.25/298.32 c 0.0s | 0 | 0 | 0 | 365516 0 | 15963 | 23696 299.35/299.41 c 1.1s | 1 | 139 | 100 | 365516 0 | 15963 | 23696 300.45/300.59 c 2.3s | 2 | 374 | 250 | 365516 0 | 15963 | 23696 302.25/302.31 c 4.0s | 3 | 738 | 475 | 365516 0 | 15963 | 23696 304.45/304.50 c 6.2s | 3 | 1190 | 775 | 365516 0 | 15963 | 23696 304.55/304.69 c 6.4s | 4 | 1238 | 813 | 365516 0 | 15963 | 23696 306.75/306.80 c 8.5s | 4 | 1684 | 1113 | 365516 0 | 15963 | 23696 307.65/307.78 c 9.5s | 5 | 1956 | 1320 | 365516 0 | 15963 | 23696 310.05/310.14 c 11.8s | 5 | 2461 | 1720 | 365516 0 | 15963 | 23696 311.55/311.68 c 13.4s | 6 | 2937 | 2081 | 365516 0 | 15963 | 23696 313.85/313.91 c 15.6s | 6 | 3450 | 2481 | 365516 0 | 15963 | 23696 315.95/316.04 c 17.7s | 6 | 4122 | 2981 | 365516 0 | 15963 | 23696 316.95/317.06 c 18.7s | 7 | 4447 | 3223 | 365516 0 | 15963 | 23696 319.35/319.43 c 21.1s | 7 | 4986 | 3623 | 365516 0 | 15963 | 23696 321.75/321.83 c 23.5s | 7 | 5633 | 4123 | 365516 0 | 15963 | 23696 324.15/324.27 c 26.0s | 7 | 6303 | 4623 | 365516 0 | 15963 | 23696 325.65/325.70 c 27.4s | 8 | 6723 | 4936 | 365516 0 | 15963 | 23696 327.75/327.87 c 29.6s | 8 | 7153 | 5236 | 365516 0 | 15963 | 23696 329.84/329.95 c 31.6s | 8 | 7684 | 5636 | 365516 0 | 15963 | 23696 332.15/332.30 c 34.0s | 8 | 8348 | 6136 | 365516 0 | 15963 | 23696 334.24/334.33 c 36.0s | 8 | 8874 | 6536 | 365516 0 | 15963 | 23696 336.44/336.51 c 38.2s | 8 | 9352 | 6936 | 365516 0 | 15963 | 23696 338.85/338.98 c 40.7s | 8 | 10014 | 7436 | 365516 0 | 15963 | 23696 339.24/339.35 c 41.0s | 9 | 10116 | 7506 | 365516 0 | 15963 | 23696 341.44/341.55 c 43.2s | 9 | 10499 | 7806 | 365516 0 | 15963 | 23696 343.54/343.60 c 45.3s | 9 | 10985 | 8206 | 365516 0 | 15963 | 23696 345.54/345.62 c 47.3s | 9 | 11498 | 8606 | 365516 0 | 15963 | 23696 348.04/348.12 c 49.8s | 9 | 12111 | 9106 | 365516 0 | 15963 | 23696 350.04/350.18 c 51.9s | 9 | 12618 | 9506 | 365516 0 | 15963 | 23696 352.14/352.25 c 53.9s | 9 | 13137 | 9906 | 365516 0 | 15963 | 23696 354.25/354.35 c 56.0s | 9 | 13702 | 10306 | 365516 0 | 15963 | 23696 356.54/356.66 c 58.3s | 9 | 14187 | 10706 | 365516 0 | 15963 | 23696 358.84/358.99 c 60.7s | 9 | 14873 | 11206 | 365516 0 | 15963 | 23696 359.54/359.63 c 61.3s | 10 | 15070 | 11361 | 365516 0 | 15963 | 23696 361.85/361.95 c 63.6s | 10 | 15654 | 11761 | 365516 0 | 15963 | 23696 364.24/364.34 c 66.0s | 10 | 16352 | 12261 | 365516 0 | 15963 | 23696 366.25/366.40 c 68.1s | 10 | 16981 | 12761 | 365516 0 | 15963 | 23696 368.84/368.93 c 70.6s | 10 | 17606 | 13261 | 365516 0 | 15963 | 23696 370.94/371.06 c 72.7s | 10 | 18276 | 13761 | 402068 0 | 15963 | 23696 373.04/373.18 c 74.9s | 10 | 18929 | 14261 | 402068 0 | 15963 | 23696 375.34/375.40 c 77.1s | 10 | 19564 | 14761 | 402068 0 | 15963 | 23696 377.54/377.61 c 79.3s | 10 | 20185 | 15261 | 402068 0 | 15963 | 23696 379.74/379.88 c 81.6s | 10 | 20790 | 15761 | 402068 0 | 15963 | 23696 382.04/382.19 c 83.9s | 10 | 21427 | 16261 | 402068 0 | 15963 | 23696 384.14/384.25 c 85.9s | 10 | 22091 | 16761 | 402068 0 | 15963 | 23696 385.64/385.78 c 87.5s | 11 | 22632 | 17144 | 402068 0 | 15963 | 23696 387.94/388.09 c 89.8s | 11 | 23049 | 17444 | 402068 0 | 15963 | 23696 390.23/390.32 c 92.0s | 11 | 23540 | 17844 | 402068 0 | 15963 | 23696 392.23/392.37 c 94.1s | 11 | 24047 | 18244 | 402068 0 | 15963 | 23696 394.33/394.45 c 96.1s | 11 | 24532 | 18644 | 402068 0 | 15963 | 23696 396.83/396.98 c 98.7s | 11 | 25135 | 19144 | 402068 0 | 15963 | 23696 399.13/399.29 c 100s | 11 | 25755 | 19644 | 402068 0 | 15963 | 23696 401.23/401.38 c 103s | 11 | 26283 | 20044 | 402068 0 | 15963 | 23696 403.43/403.51 c 105s | 11 | 26787 | 20444 | 402068 0 | 15963 | 23696 405.84/405.99 c 107s | 11 | 27390 | 20944 | 402068 0 | 15963 | 23696 408.53/408.62 c 110s | 11 | 27990 | 21444 | 402068 0 | 15963 | 23696 410.93/411.09 c 112s | 11 | 28660 | 21944 | 402068 0 | 15963 | 23696 413.03/413.11 c 114s | 11 | 29126 | 22344 | 402068 0 | 15963 | 23696 415.03/415.19 c 116s | 11 | 29604 | 22744 | 402068 0 | 15963 | 23696 417.03/417.19 c 118s | 11 | 30110 | 23144 | 402068 0 | 15963 | 23696 419.14/419.22 c 120s | 11 | 30605 | 23544 | 402068 0 | 15963 | 23696 421.13/421.22 c 122s | 11 | 31114 | 23944 | 402068 0 | 15963 | 23696 423.54/423.66 c 125s | 11 | 31751 | 24444 | 402068 0 | 15963 | 23696 426.03/426.18 c 127s | 11 | 32350 | 24944 | 402068 0 | 15963 | 23696 428.33/428.43 c 130s | 11 | 32903 | 25344 | 402068 0 | 15963 | 23696 430.63/430.71 c 132s | 11 | 33403 | 25744 | 402068 0 | 15963 | 23696 431.03/431.14 c 132s | 12 | 33515 | 25819 | 402068 0 | 15963 | 23696 433.33/433.41 c 135s | 12 | 33915 | 26119 | 402068 0 | 15963 | 23696 435.33/435.47 c 137s | 12 | 34437 | 26519 | 402068 0 | 15963 | 23696 437.53/437.62 c 139s | 12 | 34957 | 26919 | 402068 0 | 15963 | 23696 439.63/439.70 c 141s | 12 | 35456 | 27319 | 402068 0 | 15963 | 23696 441.73/441.89 c 143s | 12 | 35973 | 27719 | 402068 0 | 15963 | 23696 443.93/444.07 c 145s | 12 | 36550 | 28119 | 402068 0 | 15963 | 23696 446.23/446.36 c 148s | 12 | 37262 | 28619 | 402068 0 | 15963 | 23696 448.42/448.53 c 150s | 12 | 37767 | 29019 | 402068 0 | 15963 | 23696 450.82/450.94 c 152s | 12 | 38429 | 29519 | 402068 0 | 15963 | 23696 453.13/453.29 c 154s | 12 | 38994 | 29919 | 402068 0 | 15963 | 23696 455.22/455.39 c 157s | 12 | 39879 | 30619 | 402068 0 | 15963 | 23696 457.53/457.61 c 159s | 12 | 40979 | 31419 | 402068 0 | 15963 | 23696 459.73/459.84 c 161s | 12 | 41496 | 31819 | 402068 0 | 15963 | 23696 462.22/462.35 c 164s | 12 | 41993 | 32219 | 402068 0 | 15963 | 23696 464.32/464.44 c 166s | 12 | 42480 | 32619 | 402068 0 | 15963 | 23696 466.72/466.86 c 168s | 12 | 42943 | 33019 | 402068 0 | 15963 | 23696 469.02/469.18 c 170s | 12 | 43427 | 33419 | 402068 0 | 15963 | 23696 471.32/471.45 c 173s | 12 | 43936 | 33819 | 402068 0 | 15963 | 23696 473.32/473.46 c 175s | 12 | 44468 | 34219 | 402068 0 | 15963 | 23696 475.62/475.74 c 177s | 12 | 45022 | 34619 | 402068 0 | 15963 | 23696 477.62/477.76 c 179s | 12 | 45537 | 35019 | 402068 0 | 15963 | 23696 480.02/480.13 c 181s | 12 | 46108 | 35419 | 402068 0 | 15963 | 23696 482.52/482.61 c 184s | 12 | 46636 | 35819 | 402068 0 | 15963 | 23696 484.72/484.82 c 186s | 12 | 47130 | 36219 | 402068 0 | 15963 | 23696 487.32/487.42 c 189s | 12 | 47833 | 36719 | 402068 0 | 15963 | 23696 489.52/489.69 c 191s | 12 | 48349 | 37119 | 402068 0 | 15963 | 23696 491.62/491.71 c 193s | 12 | 48720 | 37419 | 402068 0 | 15963 | 23696 494.32/494.46 c 196s | 12 | 49237 | 37819 | 402068 0 | 15963 | 23696 496.92/497.04 c 198s | 12 | 49727 | 38219 | 402068 0 | 15963 | 23696 499.52/499.62 c 201s | 12 | 50236 | 38619 | 402068 0 | 15963 | 23696 500.72/500.88 c 202s | 13 | 50505 | 38832 | 402068 0 | 15963 | 23696 503.02/503.19 c 204s | 13 | 50780 | 39032 | 402068 0 | 15963 | 23696 505.42/505.59 c 207s | 13 | 51244 | 39432 | 402068 0 | 15963 | 23696 507.82/507.91 c 209s | 13 | 51746 | 39832 | 402068 0 | 15963 | 23696 510.32/510.46 c 212s | 13 | 52224 | 40232 | 402068 0 | 15963 | 23696 512.72/512.87 c 214s | 13 | 52725 | 40632 | 402068 0 | 15963 | 23696 515.21/515.34 c 217s | 13 | 53223 | 41032 | 402068 0 | 15963 | 23696 517.71/517.84 c 219s | 13 | 53724 | 41432 | 402068 0 | 15963 | 23696 520.11/520.24 c 221s | 13 | 54202 | 41832 | 402068 0 | 15963 | 23696 522.42/522.53 c 224s | 13 | 54704 | 42232 | 402068 0 | 15963 | 23696 524.51/524.63 c 226s | 13 | 55081 | 42532 | 402068 0 | 15963 | 23696 526.61/526.73 c 228s | 13 | 55597 | 42932 | 402068 0 | 15963 | 23696 528.91/529.04 c 230s | 13 | 56088 | 43332 | 402068 0 | 15963 | 23696 531.41/531.58 c 233s | 13 | 56597 | 43732 | 402068 0 | 15963 | 23696 533.42/533.60 c 235s | 13 | 56966 | 44032 | 402068 0 | 15963 | 23696 535.91/536.03 c 237s | 13 | 57450 | 44432 | 402068 0 | 15963 | 23696 537.92/538.05 c 239s | 13 | 57827 | 44732 | 402068 0 | 15963 | 23696 540.51/540.61 c 242s | 13 | 58339 | 45132 | 402068 0 | 15963 | 23696 542.91/543.03 c 244s | 13 | 58809 | 45532 | 402068 0 | 15963 | 23696 544.91/545.08 c 246s | 13 | 59159 | 45832 | 402068 0 | 15963 | 23696 547.51/547.64 c 249s | 13 | 59645 | 46232 | 402068 0 | 15963 | 23696 549.81/549.93 c 251s | 13 | 60139 | 46632 | 402068 0 | 15963 | 23696 551.91/552.08 c 253s | 13 | 60515 | 46932 | 402068 0 | 15963 | 23696 554.01/554.19 c 255s | 13 | 60884 | 47232 | 402068 0 | 15963 | 23696 556.51/556.63 c 258s | 13 | 61384 | 47632 | 402068 0 | 15963 | 23696 559.11/559.23 c 260s | 13 | 61861 | 48032 | 402068 0 | 15963 | 23696 561.51/561.69 c 263s | 13 | 62330 | 48432 | 402068 0 | 15963 | 23696 563.91/564.09 c 265s | 13 | 62802 | 48832 | 402068 0 | 15963 | 23696 566.21/566.35 c 268s | 13 | 63315 | 49232 | 402068 0 | 15963 | 23696 568.31/568.42 c 270s | 13 | 63695 | 49532 | 402068 0 | 15963 | 23696 570.71/570.89 c 272s | 13 | 64187 | 49932 | 402068 0 | 15963 | 23696 573.20/573.33 c 275s | 13 | 64699 | 50332 | 402068 0 | 15963 | 23696 575.60/575.79 c 277s | 13 | 65162 | 50732 | 402068 0 | 15963 | 23696 578.10/578.23 c 279s | 13 | 65644 | 51132 | 402068 0 | 15963 | 23696 580.10/580.28 c 281s | 13 | 65994 | 51432 | 402068 0 | 15963 | 23696 582.60/582.76 c 284s | 13 | 66490 | 51832 | 402068 0 | 15963 | 23696 584.80/584.99 c 286s | 13 | 66998 | 52232 | 402068 0 | 15963 | 23696 587.20/587.33 c 289s | 13 | 67496 | 52632 | 402068 0 | 15963 | 23696 589.61/589.79 c 291s | 13 | 67958 | 53032 | 402068 0 | 15963 | 23696 592.10/592.23 c 293s | 13 | 68430 | 53432 | 402068 0 | 15963 | 23696 594.60/594.72 c 296s | 13 | 68919 | 53832 | 402068 0 | 15963 | 23696 597.40/597.51 c 299s | 13 | 69402 | 54232 | 402068 0 | 15963 | 23696 600.00/600.16 c 301s | 13 | 69880 | 54632 | 402068 0 | 15963 | 23696 602.10/602.28 c 303s | 13 | 70242 | 54932 | 402068 0 | 15963 | 23696 604.20/604.32 c 306s | 13 | 70603 | 55232 | 402068 0 | 15963 | 23696 606.40/606.58 c 308s | 13 | 70945 | 55532 | 402068 0 | 15963 | 23696 608.60/608.80 c 310s | 13 | 71441 | 55932 | 402068 0 | 15963 | 23696 610.80/610.93 c 312s | 13 | 71824 | 56232 | 402068 0 | 15963 | 23696 613.20/613.31 c 314s | 13 | 72347 | 56632 | 402068 0 | 15963 | 23696 615.50/615.61 c 317s | 13 | 72849 | 57032 | 402068 0 | 15963 | 23696 617.50/617.62 c 319s | 13 | 73263 | 57332 | 442275 0 | 15963 | 23696 619.80/619.92 c 321s | 13 | 73651 | 57632 | 442275 0 | 15963 | 23696 622.00/622.16 c 323s | 13 | 74003 | 57932 | 442275 0 | 15963 | 23696 624.20/624.30 c 325s | 13 | 74528 | 58332 | 442275 0 | 15963 | 23696 624.30/624.42 c 326s | 14 | 74549 | 58352 | 442275 0 | 15963 | 23696 626.50/626.62 c 328s | 14 | 74807 | 58552 | 442275 0 | 15963 | 23696 629.00/629.15 c 330s | 14 | 75294 | 58952 | 442275 0 | 15963 | 23696 631.70/631.84 c 333s | 14 | 75794 | 59352 | 442275 0 | 15963 | 23696 633.70/633.89 c 335s | 14 | 76202 | 59652 | 442275 0 | 15963 | 23696 636.20/636.35 c 338s | 14 | 76694 | 60052 | 442275 0 | 15963 | 23696 638.40/638.52 c 340s | 14 | 77056 | 60352 | 442275 0 | 15963 | 23696 640.99/641.10 c 342s | 14 | 77536 | 60752 | 442275 0 | 15963 | 23696 643.50/643.65 c 345s | 14 | 78025 | 61152 | 442275 0 | 15963 | 23696 645.70/645.83 c 347s | 14 | 78403 | 61452 | 442275 0 | 15963 | 23696 648.19/648.30 c 349s | 14 | 78923 | 61852 | 442275 0 | 15963 | 23696 650.49/650.62 c 352s | 14 | 79298 | 62152 | 442275 0 | 15963 | 23696 652.99/653.19 c 354s | 14 | 79786 | 62552 | 442275 0 | 15963 | 23696 655.39/655.53 c 357s | 14 | 80167 | 62852 | 442275 0 | 15963 | 23696 657.99/658.14 c 359s | 14 | 80696 | 63252 | 442275 0 | 15963 | 23696 660.39/660.57 c 362s | 14 | 81222 | 63652 | 442275 0 | 15963 | 23696 662.69/662.84 c 364s | 14 | 81563 | 63952 | 442275 0 | 15963 | 23696 665.09/665.25 c 366s | 14 | 81960 | 64252 | 442275 0 | 15963 | 23696 667.79/667.99 c 369s | 14 | 82442 | 64652 | 442275 0 | 15963 | 23696 670.39/670.58 c 372s | 14 | 82806 | 64952 | 442275 0 | 15963 | 23696 672.49/672.60 c 374s | 14 | 83205 | 65252 | 442275 0 | 15963 | 23696 674.49/674.62 c 376s | 14 | 83558 | 65552 | 442275 0 | 15963 | 23696 676.50/676.67 c 378s | 14 | 83947 | 65852 | 442275 0 | 15963 | 23696 678.59/678.76 c 380s | 14 | 84309 | 66152 | 442275 0 | 15963 | 23696 680.79/680.94 c 382s | 14 | 84693 | 66452 | 442275 0 | 15963 | 23696 683.49/683.66 c 385s | 14 | 85190 | 66852 | 442275 0 | 15963 | 23696 686.09/686.20 c 387s | 14 | 85674 | 67252 | 442275 0 | 15963 | 23696 688.69/688.83 c 390s | 14 | 86002 | 67552 | 442275 0 | 15963 | 23696 691.39/691.50 c 393s | 14 | 86335 | 67852 | 442275 0 | 15963 | 23696 693.49/693.68 c 395s | 14 | 86706 | 68152 | 442275 0 | 15963 | 23696 695.89/696.07 c 397s | 14 | 87213 | 68552 | 442275 0 | 15963 | 23696 698.49/698.66 c 400s | 14 | 87697 | 68952 | 442275 0 | 15963 | 23696 700.59/700.80 c 402s | 14 | 88081 | 69252 | 442275 0 | 15963 | 23696 703.18/703.37 c 405s | 14 | 88430 | 69552 | 442275 0 | 15963 | 23696 705.88/706.00 c 407s | 14 | 88788 | 69852 | 442275 0 | 15963 | 23696 707.98/708.11 c 409s | 14 | 89154 | 70152 | 442275 0 | 15963 | 23696 710.08/710.21 c 411s | 14 | 89516 | 70452 | 442275 0 | 15963 | 23696 712.79/712.98 c 414s | 14 | 89874 | 70752 | 442275 0 | 15963 | 23696 715.48/715.61 c 417s | 14 | 90247 | 71052 | 442275 0 | 15963 | 23696 718.19/718.32 c 419s | 14 | 90586 | 71352 | 442275 0 | 15963 | 23696 720.18/720.34 c 422s | 14 | 90981 | 71652 | 442275 0 | 15963 | 23696 722.69/722.87 c 424s | 14 | 91519 | 72052 | 442275 0 | 15963 | 23696 725.38/725.52 c 427s | 14 | 91986 | 72452 | 442275 0 | 15963 | 23696 727.58/727.71 c 429s | 14 | 92351 | 72752 | 442275 0 | 15963 | 23696 730.18/730.38 c 432s | 14 | 92730 | 73052 | 442275 0 | 15963 | 23696 732.88/733.00 c 434s | 14 | 93095 | 73352 | 442275 0 | 15963 | 23696 735.18/735.38 c 437s | 14 | 93461 | 73652 | 442275 0 | 15963 | 23696 737.58/737.72 c 439s | 14 | 93827 | 73952 | 442275 0 | 15963 | 23696 739.98/740.12 c 441s | 14 | 94215 | 74252 | 442275 0 | 15963 | 23696 741.98/742.19 c 443s | 14 | 94572 | 74552 | 442275 0 | 15963 | 23696 744.68/744.82 c 446s | 14 | 95072 | 74952 | 442275 0 | 15963 | 23696 746.78/746.91 c 448s | 14 | 95424 | 75252 | 442275 0 | 15963 | 23696 748.88/749.10 c 450s | 14 | 95780 | 75552 | 442275 0 | 15963 | 23696 751.48/751.66 c 453s | 14 | 96301 | 75952 | 442275 0 | 15963 | 23696 753.57/753.73 c 455s | 14 | 96648 | 76252 | 442275 0 | 15963 | 23696 755.77/755.90 c 457s | 14 | 97052 | 76552 | 442275 0 | 15963 | 23696 758.07/758.22 c 459s | 14 | 97445 | 76852 | 442275 0 | 15963 | 23696 760.27/760.45 c 462s | 14 | 97830 | 77152 | 442275 0 | 15963 | 23696 762.47/762.61 c 464s | 14 | 98201 | 77452 | 442275 0 | 15963 | 23696 764.77/764.90 c 466s | 14 | 98561 | 77752 | 442275 0 | 15963 | 23696 767.07/767.27 c 468s | 14 | 98937 | 78052 | 442275 0 | 15963 | 23696 769.17/769.37 c 471s | 14 | 99329 | 78352 | 442275 0 | 15963 | 23696 771.87/772.09 c 473s | 14 | 99840 | 78752 | 442275 0 | 15963 | 23696 774.47/774.63 c 476s | 14 | 100317 | 79152 | 442275 0 | 15963 | 23696 776.57/776.79 c 478s | 14 | 100667 | 79452 | 442275 0 | 15963 | 23696 778.67/778.86 c 480s | 14 | 101041 | 79752 | 442275 0 | 15963 | 23696 781.16/781.37 c 483s | 14 | 101566 | 80152 | 442275 0 | 15963 | 23696 783.66/783.88 c 485s | 14 | 101945 | 80452 | 442275 0 | 15963 | 23696 785.96/786.16 c 487s | 14 | 102321 | 80752 | 442275 0 | 15963 | 23696 788.16/788.34 c 490s | 14 | 102680 | 81052 | 442275 0 | 15963 | 23696 790.66/790.84 c 492s | 14 | 103049 | 81352 | 442275 0 | 15963 | 23696 792.66/792.87 c 494s | 14 | 103422 | 81652 | 442275 0 | 15963 | 23696 795.36/795.51 c 497s | 14 | 103946 | 82052 | 442275 0 | 15963 | 23696 798.06/798.21 c 499s | 14 | 104456 | 82452 | 442275 0 | 15963 | 23696 800.16/800.40 c 502s | 14 | 104825 | 82752 | 442275 0 | 15963 | 23696 802.66/802.84 c 504s | 14 | 105180 | 83052 | 442275 0 | 15963 | 23696 805.16/805.39 c 507s | 14 | 105527 | 83352 | 442275 0 | 15963 | 23696 807.56/807.73 c 509s | 14 | 105898 | 83652 | 442275 0 | 15963 | 23696 809.66/809.81 c 511s | 14 | 106267 | 83952 | 442275 0 | 15963 | 23696 811.76/811.99 c 513s | 14 | 106679 | 84252 | 442275 0 | 15963 | 23696 814.35/814.50 c 516s | 14 | 107059 | 84552 | 442275 0 | 15963 | 23696 816.55/816.74 c 518s | 14 | 107431 | 84852 | 442275 0 | 15963 | 23696 818.85/819.09 c 520s | 14 | 107783 | 85152 | 442275 0 | 15963 | 23696 821.25/821.42 c 523s | 14 | 108135 | 85452 | 442275 0 | 15963 | 23696 823.35/823.57 c 525s | 14 | 108522 | 85752 | 442275 0 | 15963 | 23696 825.65/825.83 c 527s | 14 | 109118 | 86152 | 442275 0 | 15963 | 23696 828.35/828.53 c 530s | 14 | 109618 | 86552 | 442275 0 | 15963 | 23696 830.75/830.92 c 532s | 14 | 109988 | 86852 | 442275 0 | 15963 | 23696 833.15/833.32 c 535s | 14 | 110355 | 87152 | 442275 0 | 15963 | 23696 835.25/835.45 c 537s | 14 | 110727 | 87452 | 442275 0 | 15963 | 23696 836.65/836.85 c 538s | 15 | 110966 | 87632 | 442275 0 | 15963 | 23696 838.65/838.88 c 540s | 15 | 111122 | 87732 | 442275 0 | 15963 | 23696 841.15/841.31 c 542s | 15 | 111507 | 88032 | 442275 0 | 15963 | 23696 843.14/843.35 c 545s | 15 | 111888 | 88332 | 442275 0 | 15963 | 23696 845.85/846.00 c 547s | 15 | 112423 | 88732 | 442275 0 | 15963 | 23696 848.05/848.28 c 549s | 15 | 112759 | 89032 | 442275 0 | 15963 | 23696 850.44/850.67 c 552s | 15 | 113117 | 89332 | 442275 0 | 15963 | 23696 852.64/852.80 c 554s | 15 | 113493 | 89632 | 442275 0 | 15963 | 23696 855.24/855.41 c 557s | 15 | 114004 | 90032 | 442275 0 | 15963 | 23696 857.85/858.07 c 559s | 15 | 114389 | 90332 | 442275 0 | 15963 | 23696 860.64/860.84 c 562s | 15 | 114759 | 90632 | 442275 0 | 15963 | 23696 862.94/863.15 c 564s | 15 | 115100 | 90932 | 442275 0 | 15963 | 23696 864.94/865.16 c 566s | 15 | 115467 | 91232 | 442275 0 | 15963 | 23696 867.04/867.25 c 568s | 15 | 115842 | 91532 | 442275 0 | 15963 | 23696 869.64/869.85 c 571s | 15 | 116323 | 91932 | 442275 0 | 15963 | 23696 872.24/872.45 c 574s | 15 | 116806 | 92332 | 442275 0 | 15963 | 23696 874.73/874.96 c 576s | 15 | 117199 | 92632 | 442275 0 | 15963 | 23696 877.23/877.48 c 579s | 15 | 117585 | 92932 | 442275 0 | 15963 | 23696 880.23/880.48 c 582s | 15 | 117959 | 93232 | 442275 0 | 15963 | 23696 882.83/883.01 c 584s | 15 | 118363 | 93532 | 442275 0 | 15963 | 23696 885.23/885.49 c 587s | 15 | 118757 | 93832 | 442275 0 | 15963 | 23696 887.73/887.93 c 589s | 15 | 119267 | 94232 | 442275 0 | 15963 | 23696 890.22/890.48 c 592s | 15 | 119655 | 94532 | 442275 0 | 15963 | 23696 892.72/893.00 c 594s | 15 | 120018 | 94832 | 442275 0 | 15963 | 23696 895.33/895.55 c 597s | 15 | 120364 | 95132 | 442275 0 | 15963 | 23696 897.53/897.77 c 599s | 15 | 120764 | 95432 | 442275 0 | 15963 | 23696 899.63/899.86 c 601s | 15 | 121156 | 95732 | 442275 0 | 15963 | 23696 902.02/902.22 c 603s | 15 | 121551 | 96032 | 442275 0 | 15963 | 23696 904.32/904.54 c 606s | 15 | 121910 | 96332 | 442275 0 | 15963 | 23696 906.72/906.91 c 608s | 15 | 122288 | 96632 | 442275 0 | 15963 | 23696 909.02/909.23 c 610s | 15 | 122672 | 96932 | 442275 0 | 15963 | 23696 911.42/911.69 c 613s | 15 | 123063 | 97232 | 442275 0 | 15963 | 23696 914.11/914.37 c 616s | 15 | 123450 | 97532 | 442275 0 | 15963 | 23696 916.31/916.55 c 618s | 15 | 123823 | 97832 | 442275 0 | 15963 | 23696 918.81/919.02 c 620s | 15 | 124219 | 98132 | 442275 0 | 15963 | 23696 921.21/921.41 c 623s | 15 | 124603 | 98432 | 442275 0 | 15963 | 23696 923.61/923.84 c 625s | 15 | 124974 | 98732 | 442275 0 | 15963 | 23696 925.71/925.96 c 627s | 15 | 125360 | 99032 | 442275 0 | 15963 | 23696 928.11/928.32 c 630s | 15 | 125737 | 99332 | 442275 0 | 15963 | 23696 930.11/930.35 c 632s | 15 | 126103 | 99632 | 442275 0 | 15963 | 23696 932.51/932.76 c 634s | 15 | 126517 | 99932 | 442275 0 | 15963 | 23696 934.91/935.11 c 636s | 15 | 126878 | 100232 | 442275 0 | 15963 | 23696 937.11/937.34 c 639s | 15 | 127225 | 100532 | 442275 0 | 15963 | 23696 939.80/940.01 c 641s | 15 | 127589 | 100832 | 442275 0 | 15963 | 23696 942.40/942.62 c 644s | 15 | 128077 | 101232 | 442275 0 | 15963 | 23696 944.80/945.08 c 646s | 15 | 128461 | 101532 | 442275 0 | 15963 | 23696 947.40/947.63 c 649s | 15 | 128822 | 101832 | 442275 0 | 15963 | 23696 949.50/949.71 c 651s | 15 | 129173 | 102132 | 442275 0 | 15963 | 23696 951.89/952.12 c 653s | 15 | 129541 | 102432 | 442275 0 | 15963 | 23696 954.60/954.89 c 656s | 15 | 129898 | 102732 | 442275 0 | 15963 | 23696 957.49/957.76 c 659s | 15 | 130243 | 103032 | 442275 0 | 15963 | 23696 960.00/960.24 c 661s | 15 | 130595 | 103332 | 442275 0 | 15963 | 23696 962.70/962.92 c 664s | 15 | 130934 | 103632 | 442275 0 | 15963 | 23696 965.40/965.62 c 667s | 15 | 131285 | 103932 | 442275 0 | 15963 | 23696 967.49/967.78 c 669s | 15 | 131646 | 104232 | 442275 0 | 15963 | 23696 969.79/970.07 c 671s | 15 | 132011 | 104532 | 442275 0 | 15963 | 23696 972.09/972.31 c 673s | 15 | 132381 | 104832 | 442275 0 | 15963 | 23696 974.99/975.26 c 676s | 15 | 132755 | 105132 | 442275 0 | 15963 | 23696 977.59/977.85 c 679s | 15 | 133093 | 105432 | 442275 0 | 15963 | 23696 980.00/980.25 c 681s | 15 | 133456 | 105732 | 442275 0 | 15963 | 23696 982.48/982.71 c 684s | 15 | 133819 | 106032 | 442275 0 | 15963 | 23696 984.98/985.22 c 686s | 15 | 134177 | 106332 | 442275 0 | 15963 | 23696 987.59/987.87 c 689s | 15 | 134546 | 106632 | 442275 0 | 15963 | 23696 990.48/990.74 c 692s | 15 | 134888 | 106932 | 442275 0 | 15963 | 23696 993.08/993.37 c 695s | 15 | 135246 | 107232 | 442275 0 | 15963 | 23696 995.88/996.13 c 697s | 15 | 135600 | 107532 | 442275 0 | 15963 | 23696 998.58/998.89 c 700s | 15 | 135962 | 107832 | 442275 0 | 15963 | 23696 1001.47/1001.75 c 703s | 15 | 136328 | 108132 | 442275 0 | 15963 | 23696 1004.27/1004.59 c 706s | 15 | 136681 | 108432 | 442275 0 | 15963 | 23696 1006.67/1006.93 c 708s | 15 | 137070 | 108732 | 442275 0 | 15963 | 23696 1009.37/1009.63 c 711s | 15 | 137430 | 109032 | 442275 0 | 15963 | 23696 1011.78/1012.08 c 713s | 15 | 137802 | 109332 | 442275 0 | 15963 | 23696 1014.37/1014.62 c 716s | 15 | 138237 | 109632 | 442275 0 | 15963 | 23696 1016.77/1017.04 c 718s | 15 | 138613 | 109932 | 442275 0 | 15963 | 23696 1018.97/1019.28 c 720s | 15 | 139008 | 110232 | 442275 0 | 15963 | 23696 1021.37/1021.69 c 723s | 15 | 139360 | 110532 | 442275 0 | 15963 | 23696 1023.76/1024.06 c 725s | 15 | 139725 | 110832 | 442275 0 | 15963 | 23696 1026.76/1027.02 c 728s | 15 | 140086 | 111132 | 442275 0 | 15963 | 23696 1029.47/1029.72 c 731s | 15 | 140482 | 111432 | 442275 0 | 15963 | 23696 1032.16/1032.40 c 734s | 15 | 140841 | 111732 | 442275 0 | 15963 | 23696 1034.66/1034.94 c 736s | 15 | 141235 | 112032 | 442275 0 | 15963 | 23696 1036.96/1037.22 c 738s | 15 | 141633 | 112332 | 442275 0 | 15963 | 23696 1039.66/1039.90 c 741s | 15 | 141988 | 112632 | 442275 0 | 15963 | 23696 1041.75/1042.07 c 743s | 15 | 142218 | 112832 | 442275 0 | 15963 | 23696 1044.15/1044.49 c 746s | 15 | 142603 | 113132 | 442275 0 | 15963 | 23696 1046.25/1046.53 c 748s | 15 | 142835 | 113332 | 442275 0 | 15963 | 23696 1048.25/1048.54 c 750s | 15 | 143074 | 113532 | 442275 0 | 15963 | 23696 1050.36/1050.68 c 752s | 15 | 143295 | 113732 | 442275 0 | 15963 | 23696 1053.14/1053.48 c 755s | 15 | 143670 | 114032 | 442275 0 | 15963 | 23696 1055.34/1055.69 c 757s | 15 | 144046 | 114332 | 442275 0 | 15963 | 23696 1057.54/1057.85 c 759s | 15 | 144490 | 114632 | 442275 0 | 15963 | 23696 1059.84/1060.14 c 761s | 15 | 144908 | 114932 | 442275 0 | 15963 | 23696 1062.24/1062.59 c 764s | 15 | 145287 | 115232 | 442275 0 | 15963 | 23696 1064.64/1064.96 c 766s | 15 | 145637 | 115532 | 442275 0 | 15963 | 23696 1066.94/1067.27 c 768s | 15 | 146043 | 115832 | 442275 0 | 15963 | 23696 1069.14/1069.40 c 771s | 15 | 146462 | 116132 | 442275 0 | 15963 | 23696 1071.34/1071.64 c 773s | 15 | 146892 | 116432 | 442275 0 | 15963 | 23696 1073.53/1073.85 c 775s | 15 | 147302 | 116732 | 442275 0 | 15963 | 23696 1075.93/1076.20 c 777s | 15 | 147678 | 117032 | 442275 0 | 15963 | 23696 1078.43/1078.73 c 780s | 15 | 148064 | 117332 | 442275 0 | 15963 | 23696 1080.83/1081.15 c 782s | 15 | 148408 | 117632 | 442275 0 | 15963 | 23696 1083.23/1083.54 c 785s | 15 | 148781 | 117932 | 442275 0 | 15963 | 23696 1085.62/1085.90 c 787s | 15 | 149182 | 118232 | 442275 0 | 15963 | 23696 1088.22/1088.50 c 790s | 15 | 149533 | 118532 | 442275 0 | 15963 | 23696 1090.52/1090.87 c 792s | 15 | 149908 | 118832 | 442275 0 | 15963 | 23696 1093.02/1093.30 c 794s | 15 | 150296 | 119132 | 442275 0 | 15963 | 23696 1095.62/1095.99 c 797s | 15 | 150671 | 119432 | 442275 0 | 15963 | 23696 1097.82/1098.18 c 799s | 15 | 151061 | 119732 | 442275 0 | 15963 | 23696 1100.32/1100.69 c 802s | 15 | 151424 | 120032 | 442275 0 | 15963 | 23696 1103.12/1103.45 c 805s | 15 | 151780 | 120332 | 442275 0 | 15963 | 23696 1105.61/1105.93 c 807s | 15 | 152160 | 120632 | 442275 0 | 15963 | 23696 1108.01/1108.37 c 810s | 15 | 152554 | 120932 | 442275 0 | 15963 | 23696 1110.21/1110.53 c 812s | 15 | 152804 | 121132 | 442275 0 | 15963 | 23696 1112.91/1113.27 c 814s | 15 | 153228 | 121432 | 442275 0 | 15963 | 23696 1115.00/1115.38 c 817s | 15 | 153448 | 121632 | 442275 0 | 15963 | 23696 1117.80/1118.17 c 819s | 15 | 153834 | 121932 | 442275 0 | 15963 | 23696 1120.61/1120.99 c 822s | 15 | 154199 | 122232 | 442275 0 | 15963 | 23696 1123.30/1123.69 c 825s | 15 | 154571 | 122532 | 486503 0 | 15963 | 23696 1126.10/1126.45 c 828s | 15 | 154958 | 122832 | 486503 0 | 15963 | 23696 1128.60/1128.97 c 830s | 15 | 155310 | 123132 | 486503 0 | 15963 | 23696 1131.79/1132.11 c 833s | 15 | 155683 | 123432 | 486503 0 | 15963 | 23696 1134.90/1135.25 c 836s | 15 | 156023 | 123732 | 486503 0 | 15963 | 23696 1137.69/1138.07 c 839s | 15 | 156383 | 124032 | 486503 0 | 15963 | 23696 1140.29/1140.65 c 842s | 15 | 156754 | 124332 | 486503 0 | 15963 | 23696 1142.79/1143.15 c 844s | 15 | 157097 | 124632 | 486503 0 | 15963 | 23696 1145.59/1145.95 c 847s | 15 | 157450 | 124932 | 486503 0 | 15963 | 23696 1148.39/1148.74 c 850s | 15 | 157834 | 125232 | 486503 0 | 15963 | 23696 1150.89/1151.29 c 852s | 15 | 158190 | 125532 | 486503 0 | 15963 | 23696 1153.69/1154.04 c 855s | 15 | 158554 | 125832 | 486503 0 | 15963 | 23696 1156.58/1156.91 c 858s | 15 | 158908 | 126132 | 486503 0 | 15963 | 23696 1158.58/1158.96 c 860s | 15 | 159139 | 126332 | 486503 0 | 15963 | 23696 1160.68/1161.04 c 862s | 15 | 159396 | 126532 | 486503 0 | 15963 | 23696 1163.38/1163.74 c 865s | 15 | 159756 | 126832 | 486503 0 | 15963 | 23696 1165.88/1166.20 c 867s | 15 | 160119 | 127132 | 486503 0 | 15963 | 23696 1168.08/1168.41 c 870s | 15 | 160360 | 127332 | 486503 0 | 15963 | 23696 1170.08/1170.47 c 872s | 15 | 160590 | 127532 | 486503 0 | 15963 | 23696 1172.87/1173.22 c 874s | 15 | 160948 | 127832 | 486503 0 | 15963 | 23696 1175.58/1175.92 c 877s | 15 | 161317 | 128132 | 486503 0 | 15963 | 23696 1178.27/1178.66 c 880s | 15 | 161683 | 128432 | 486503 0 | 15963 | 23696 1181.18/1181.56 c 883s | 15 | 162062 | 128732 | 486503 0 | 15963 | 23696 1183.17/1183.60 c 885s | 15 | 162320 | 128932 | 486503 0 | 15963 | 23696 1186.06/1186.49 c 888s | 15 | 162674 | 129232 | 486503 0 | 15963 | 23696 1188.96/1189.32 c 891s | 15 | 163014 | 129532 | 486503 0 | 15963 | 23696 1191.96/1192.33 c 894s | 15 | 163361 | 129832 | 486503 0 | 15963 | 23696 1194.76/1195.15 c 896s | 15 | 163718 | 130132 | 486503 0 | 15963 | 23696 1197.36/1197.72 c 899s | 15 | 164081 | 130432 | 486503 0 | 15963 | 23696 1199.87/1200.24 c 901s | 15 | 164452 | 130732 | 486503 0 | 15963 | 23696 1202.56/1202.91 c 904s | 15 | 164793 | 131032 | 486503 0 | 15963 | 23696 1205.06/1205.45 c 907s | 15 | 165140 | 131332 | 486503 0 | 15963 | 23696 1207.16/1207.51 c 909s | 16 | 165402 | 131552 | 486503 0 | 15963 | 23696 1209.46/1209.83 c 911s | 16 | 165549 | 131652 | 486503 0 | 15963 | 23696 1212.15/1212.52 c 914s | 16 | 165925 | 131952 | 486503 0 | 15963 | 23696 1214.55/1214.96 c 916s | 16 | 166153 | 132152 | 486503 0 | 15963 | 23696 1217.25/1217.66 c 919s | 16 | 166550 | 132452 | 486503 0 | 15963 | 23696 1220.05/1220.47 c 922s | 16 | 166909 | 132752 | 486503 0 | 15963 | 23696 1223.15/1223.51 c 925s | 16 | 167303 | 133052 | 486503 0 | 15963 | 23696 1225.75/1226.11 c 927s | 16 | 167692 | 133352 | 486503 0 | 15963 | 23696 1228.05/1228.42 c 930s | 16 | 168060 | 133652 | 486503 0 | 15963 | 23696 1230.55/1230.97 c 932s | 16 | 168429 | 133952 | 486503 0 | 15963 | 23696 1233.34/1233.78 c 935s | 16 | 168802 | 134252 | 486503 0 | 15963 | 23696 1235.94/1236.35 c 938s | 16 | 169169 | 134552 | 486503 0 | 15963 | 23696 1238.64/1239.07 c 940s | 16 | 169515 | 134852 | 486503 0 | 15963 | 23696 1241.04/1241.42 c 943s | 16 | 169875 | 135152 | 486503 0 | 15963 | 23696 1243.64/1244.05 c 945s | 16 | 170244 | 135452 | 486503 0 | 15963 | 23696 1245.84/1246.25 c 947s | 16 | 170652 | 135752 | 486503 0 | 15963 | 23696 1248.44/1248.88 c 950s | 16 | 171042 | 136052 | 486503 0 | 15963 | 23696 1250.94/1251.30 c 952s | 16 | 171389 | 136352 | 486503 0 | 15963 | 23696 1253.53/1253.91 c 955s | 16 | 171752 | 136652 | 486503 0 | 15963 | 23696 1255.94/1256.38 c 958s | 16 | 172116 | 136952 | 486503 0 | 15963 | 23696 1258.73/1259.15 c 960s | 16 | 172526 | 137252 | 486503 0 | 15963 | 23696 1261.23/1261.66 c 963s | 16 | 172890 | 137552 | 486503 0 | 15963 | 23696 1263.72/1264.17 c 965s | 16 | 173252 | 137852 | 486503 0 | 15963 | 23696 1266.12/1266.59 c 968s | 16 | 173603 | 138152 | 486503 0 | 15963 | 23696 1268.42/1268.85 c 970s | 16 | 173959 | 138452 | 486503 0 | 15963 | 23696 1270.82/1271.27 c 972s | 16 | 174468 | 138852 | 486503 0 | 15963 | 23696 1273.42/1273.81 c 975s | 16 | 175002 | 139252 | 486503 0 | 15963 | 23696 1275.62/1276.07 c 977s | 16 | 175376 | 139552 | 486503 0 | 15963 | 23696 1277.82/1278.27 c 979s | 16 | 175720 | 139852 | 486503 0 | 15963 | 23696 1280.52/1280.96 c 982s | 16 | 176077 | 140152 | 486503 0 | 15963 | 23696 1283.01/1283.48 c 985s | 16 | 176464 | 140452 | 486503 0 | 15963 | 23696 1285.11/1285.52 c 987s | 16 | 176717 | 140652 | 486503 0 | 15963 | 23696 1287.91/1288.30 c 989s | 16 | 177068 | 140952 | 486503 0 | 15963 | 23696 1290.51/1290.91 c 992s | 16 | 177417 | 141252 | 486503 0 | 15963 | 23696 1292.90/1293.39 c 995s | 16 | 177793 | 141552 | 486503 0 | 15963 | 23696 1295.20/1295.66 c 997s | 16 | 178307 | 141952 | 486503 0 | 15963 | 23696 1298.10/1298.53 c 1000s | 16 | 178669 | 142252 | 486503 0 | 15963 | 23696 1300.30/1300.71 c 1002s | 16 | 178899 | 142452 | 486503 0 | 15963 | 23696 1303.00/1303.42 c 1005s | 16 | 179270 | 142752 | 486503 0 | 15963 | 23696 1305.60/1306.04 c 1007s | 16 | 179630 | 143052 | 486503 0 | 15963 | 23696 1308.20/1308.63 c 1010s | 16 | 180033 | 143352 | 486503 0 | 15963 | 23696 1310.50/1310.97 c 1012s | 16 | 180385 | 143652 | 486503 0 | 15963 | 23696 1313.39/1313.88 c 1015s | 16 | 180745 | 143952 | 486503 0 | 15963 | 23696 1316.19/1316.68 c 1018s | 16 | 181121 | 144252 | 486503 0 | 15963 | 23696 1318.29/1318.72 c 1020s | 16 | 181380 | 144452 | 486503 0 | 15963 | 23696 1320.39/1320.89 c 1022s | 16 | 181619 | 144652 | 486503 0 | 15963 | 23696 1323.29/1323.78 c 1025s | 16 | 181962 | 144952 | 486503 0 | 15963 | 23696 1325.49/1325.97 c 1027s | 16 | 182189 | 145152 | 486503 0 | 15963 | 23696 1327.69/1328.15 c 1029s | 16 | 182420 | 145352 | 486503 0 | 15963 | 23696 1329.79/1330.28 c 1031s | 16 | 182656 | 145552 | 486503 0 | 15963 | 23696 1331.88/1332.31 c 1033s | 16 | 182893 | 145752 | 486503 0 | 15963 | 23696 1334.58/1335.01 c 1036s | 16 | 183238 | 146052 | 486503 0 | 15963 | 23696 1337.29/1337.75 c 1039s | 16 | 183579 | 146352 | 486503 0 | 15963 | 23696 1339.28/1339.78 c 1041s | 16 | 183810 | 146552 | 486503 0 | 15963 | 23696 1341.38/1341.85 c 1043s | 16 | 184068 | 146752 | 486503 0 | 15963 | 23696 1344.18/1344.62 c 1046s | 16 | 184414 | 147052 | 486503 0 | 15963 | 23696 1346.68/1347.18 c 1048s | 16 | 184799 | 147352 | 486503 0 | 15963 | 23696 1349.18/1349.63 c 1051s | 16 | 185338 | 147752 | 486503 0 | 15963 | 23696 1351.77/1352.22 c 1053s | 16 | 185710 | 148052 | 486503 0 | 15963 | 23696 1354.57/1355.00 c 1056s | 16 | 186059 | 148352 | 486503 0 | 15963 | 23696 1356.77/1357.28 c 1058s | 16 | 186450 | 148652 | 486503 0 | 15963 | 23696 1359.47/1359.90 c 1061s | 16 | 186842 | 148952 | 486503 0 | 15963 | 23696 1361.48/1361.95 c 1063s | 16 | 187210 | 149252 | 486503 0 | 15963 | 23696 1363.76/1364.28 c 1065s | 16 | 187594 | 149552 | 486503 0 | 15963 | 23696 1366.26/1366.73 c 1068s | 16 | 187947 | 149852 | 486503 0 | 15963 | 23696 1368.86/1369.31 c 1070s | 16 | 188322 | 150152 | 486503 0 | 15963 | 23696 1371.37/1371.89 c 1073s | 16 | 188673 | 150452 | 486503 0 | 15963 | 23696 1374.06/1374.53 c 1076s | 16 | 189059 | 150752 | 486503 0 | 15963 | 23696 1376.86/1377.36 c 1079s | 16 | 189418 | 151052 | 486503 0 | 15963 | 23696 1379.46/1379.98 c 1081s | 16 | 189798 | 151352 | 486503 0 | 15963 | 23696 1382.45/1382.92 c 1084s | 16 | 190185 | 151652 | 486503 0 | 15963 | 23696 1384.65/1385.15 c 1086s | 16 | 190540 | 151952 | 486503 0 | 15963 | 23696 1387.25/1387.71 c 1089s | 16 | 190881 | 152252 | 486503 0 | 15963 | 23696 1390.06/1390.58 c 1092s | 16 | 191233 | 152552 | 486503 0 | 15963 | 23696 1392.84/1393.36 c 1095s | 16 | 191578 | 152852 | 486503 0 | 15963 | 23696 1394.94/1395.41 c 1097s | 16 | 191831 | 153052 | 486503 0 | 15963 | 23696 1397.84/1398.39 c 1100s | 16 | 192207 | 153352 | 486503 0 | 15963 | 23696 1400.74/1401.28 c 1102s | 16 | 192572 | 153652 | 486503 0 | 15963 | 23696 1403.74/1404.28 c 1105s | 16 | 192944 | 153952 | 486503 0 | 15963 | 23696 1407.15/1407.63 c 1109s | 16 | 193320 | 154252 | 486503 0 | 15963 | 23696 1410.05/1410.55 c 1112s | 16 | 193666 | 154552 | 486503 0 | 15963 | 23696 1412.05/1412.58 c 1114s | 16 | 193900 | 154752 | 486503 0 | 15963 | 23696 1415.04/1415.53 c 1117s | 16 | 194247 | 155052 | 486503 0 | 15963 | 23696 1417.94/1418.44 c 1120s | 16 | 194601 | 155352 | 486503 0 | 15963 | 23696 1420.75/1421.30 c 1122s | 16 | 194960 | 155652 | 486503 0 | 15963 | 23696 1423.44/1423.96 c 1125s | 16 | 195343 | 155952 | 486503 0 | 15963 | 23696 1426.04/1426.55 c 1128s | 16 | 195693 | 156252 | 486503 0 | 15963 | 23696 1428.55/1429.03 c 1130s | 16 | 196076 | 156552 | 486503 0 | 15963 | 23696 1430.94/1431.43 c 1133s | 16 | 196455 | 156852 | 486503 0 | 15963 | 23696 1433.54/1434.08 c 1135s | 16 | 196810 | 157152 | 486503 0 | 15963 | 23696 1436.44/1436.93 c 1138s | 16 | 197183 | 157452 | 486503 0 | 15963 | 23696 1439.04/1439.58 c 1141s | 16 | 197534 | 157752 | 486503 0 | 15963 | 23696 1441.14/1441.61 c 1143s | 16 | 197753 | 157952 | 486503 0 | 15963 | 23696 1444.04/1444.51 c 1146s | 16 | 198129 | 158252 | 486503 0 | 15963 | 23696 1446.05/1446.55 c 1148s | 16 | 198375 | 158452 | 486503 0 | 15963 | 23696 1448.94/1449.48 c 1151s | 16 | 198760 | 158752 | 486503 0 | 15963 | 23696 1451.74/1452.23 c 1153s | 16 | 199132 | 159052 | 486503 0 | 15963 | 23696 1454.54/1455.02 c 1156s | 16 | 199512 | 159352 | 486503 0 | 15963 | 23696 1457.24/1457.71 c 1159s | 16 | 199888 | 159652 | 486503 0 | 15963 | 23696 1459.64/1460.12 c 1161s | 16 | 200229 | 159952 | 486503 0 | 15963 | 23696 1462.24/1462.70 c 1164s | 16 | 200599 | 160252 | 486503 0 | 15963 | 23696 1464.84/1465.38 c 1167s | 16 | 200963 | 160552 | 486503 0 | 15963 | 23696 1467.84/1468.37 c 1170s | 16 | 201343 | 160852 | 486503 0 | 15963 | 23696 1470.84/1471.38 c 1173s | 16 | 201696 | 161152 | 486503 0 | 15963 | 23696 1472.94/1473.43 c 1175s | 16 | 201920 | 161352 | 486503 0 | 15963 | 23696 1475.24/1475.71 c 1177s | 16 | 202142 | 161552 | 486503 0 | 15963 | 23696 1478.04/1478.54 c 1180s | 16 | 202499 | 161852 | 486503 0 | 15963 | 23696 1480.83/1481.35 c 1183s | 16 | 202856 | 162152 | 486503 0 | 15963 | 23696 1483.83/1484.39 c 1186s | 16 | 203225 | 162452 | 486503 0 | 15963 | 23696 1485.93/1486.43 c 1188s | 16 | 203483 | 162652 | 486503 0 | 15963 | 23696 1488.94/1489.41 c 1191s | 16 | 203842 | 162952 | 486503 0 | 15963 | 23696 1490.93/1491.45 c 1193s | 16 | 204100 | 163152 | 486503 0 | 15963 | 23696 1493.83/1494.31 c 1195s | 16 | 204441 | 163452 | 486503 0 | 15963 | 23696 1496.43/1496.92 c 1198s | 16 | 204803 | 163752 | 486503 0 | 15963 | 23696 1499.03/1499.50 c 1201s | 16 | 205150 | 164052 | 486503 0 | 15963 | 23696 1501.93/1502.45 c 1204s | 16 | 205528 | 164352 | 486503 0 | 15963 | 23696 1504.63/1505.10 c 1206s | 16 | 205907 | 164652 | 486503 0 | 15963 | 23696 1506.64/1507.13 c 1208s | 16 | 206128 | 164852 | 486503 0 | 15963 | 23696 1509.53/1510.00 c 1211s | 16 | 206473 | 165152 | 486503 0 | 15963 | 23696 1512.14/1512.65 c 1214s | 16 | 206826 | 165452 | 486503 0 | 15963 | 23696 1514.73/1515.28 c 1216s | 16 | 207182 | 165752 | 486503 0 | 15963 | 23696 1517.54/1518.02 c 1219s | 16 | 207550 | 166052 | 486503 0 | 15963 | 23696 1520.13/1520.67 c 1222s | 16 | 207916 | 166352 | 486503 0 | 15963 | 23696 1522.33/1522.80 c 1224s | 16 | 208159 | 166552 | 486503 0 | 15963 | 23696 1524.43/1524.96 c 1226s | 16 | 208408 | 166752 | 486503 0 | 15963 | 23696 1527.23/1527.71 c 1229s | 16 | 208786 | 167052 | 486503 0 | 15963 | 23696 1529.83/1530.37 c 1232s | 16 | 209129 | 167352 | 486503 0 | 15963 | 23696 1532.73/1533.25 c 1234s | 16 | 209491 | 167652 | 486503 0 | 15963 | 23696 1535.53/1536.02 c 1237s | 16 | 209857 | 167952 | 486503 0 | 15963 | 23696 1538.23/1538.75 c 1240s | 16 | 210199 | 168252 | 486503 0 | 15963 | 23696 1540.93/1541.42 c 1243s | 16 | 210556 | 168552 | 486503 0 | 15963 | 23696 1543.83/1544.32 c 1246s | 16 | 210942 | 168852 | 486503 0 | 15963 | 23696 1546.03/1546.56 c 1248s | 16 | 211170 | 169052 | 486503 0 | 15963 | 23696 1549.22/1549.76 c 1251s | 16 | 211538 | 169352 | 486503 0 | 15963 | 23696 1551.63/1552.17 c 1253s | 16 | 211781 | 169552 | 486503 0 | 15963 | 23696 1553.83/1554.34 c 1256s | 16 | 212010 | 169752 | 486503 0 | 15963 | 23696 1557.02/1557.50 c 1259s | 16 | 212346 | 170052 | 486503 0 | 15963 | 23696 1559.12/1559.64 c 1261s | 16 | 212585 | 170252 | 486503 0 | 15963 | 23696 1562.02/1562.51 c 1264s | 16 | 212959 | 170552 | 486503 0 | 15963 | 23696 1564.83/1565.37 c 1267s | 16 | 213341 | 170852 | 486503 0 | 15963 | 23696 1567.72/1568.23 c 1269s | 16 | 213725 | 171152 | 486503 0 | 15963 | 23696 1569.72/1570.24 c 1271s | 16 | 213984 | 171352 | 486503 0 | 15963 | 23696 1571.82/1572.32 c 1274s | 16 | 214219 | 171552 | 486503 0 | 15963 | 23696 1573.92/1574.41 c 1276s | 16 | 214461 | 171752 | 486503 0 | 15963 | 23696 1576.22/1576.76 c 1278s | 16 | 214715 | 171952 | 486503 0 | 15963 | 23696 1578.22/1578.80 c 1280s | 16 | 214964 | 172152 | 486503 0 | 15963 | 23696 1580.33/1580.83 c 1282s | 16 | 215203 | 172352 | 486503 0 | 15963 | 23696 1583.02/1583.50 c 1285s | 16 | 215594 | 172652 | 486503 0 | 15963 | 23696 1585.82/1586.33 c 1288s | 16 | 215972 | 172952 | 486503 0 | 15963 | 23696 1588.32/1588.82 c 1290s | 16 | 216344 | 173252 | 486503 0 | 15963 | 23696 1591.02/1591.55 c 1293s | 16 | 216733 | 173552 | 486503 0 | 15963 | 23696 1593.62/1594.19 c 1295s | 16 | 217099 | 173852 | 486503 0 | 15963 | 23696 1596.32/1596.89 c 1298s | 16 | 217482 | 174152 | 486503 0 | 15963 | 23696 1599.31/1599.83 c 1301s | 16 | 217827 | 174452 | 486503 0 | 15963 | 23696 1601.41/1601.93 c 1303s | 16 | 218061 | 174652 | 486503 0 | 15963 | 23696 1604.21/1604.79 c 1306s | 16 | 218453 | 174952 | 486503 0 | 15963 | 23696 1606.91/1607.41 c 1309s | 16 | 218838 | 175252 | 486503 0 | 15963 | 23696 1608.92/1609.41 c 1311s | 16 | 219089 | 175452 | 486503 0 | 15963 | 23696 1610.91/1611.48 c 1313s | 16 | 219329 | 175652 | 486503 0 | 15963 | 23696 1613.81/1614.36 c 1316s | 16 | 219711 | 175952 | 486503 0 | 15963 | 23696 1615.91/1616.46 c 1318s | 16 | 219945 | 176152 | 486503 0 | 15963 | 23696 1618.72/1619.28 c 1320s | 16 | 220318 | 176452 | 486503 0 | 15963 | 23696 1621.21/1621.76 c 1323s | 16 | 220689 | 176752 | 486503 0 | 15963 | 23696 1624.01/1624.53 c 1326s | 16 | 221043 | 177052 | 486503 0 | 15963 | 23696 1626.71/1627.29 c 1328s | 16 | 221412 | 177352 | 486503 0 | 15963 | 23696 1629.61/1630.11 c 1331s | 16 | 221760 | 177652 | 486503 0 | 15963 | 23696 1632.41/1632.94 c 1334s | 16 | 222118 | 177952 | 486503 0 | 15963 | 23696 1635.32/1635.83 c 1337s | 16 | 222478 | 178252 | 486503 0 | 15963 | 23696 1638.01/1638.57 c 1340s | 16 | 222848 | 178552 | 486503 0 | 15963 | 23696 1640.21/1640.73 c 1342s | 16 | 223081 | 178752 | 486503 0 | 15963 | 23696 1643.01/1643.58 c 1345s | 16 | 223436 | 179052 | 486503 0 | 15963 | 23696 1646.01/1646.52 c 1348s | 16 | 223822 | 179352 | 486503 0 | 15963 | 23696 1648.11/1648.62 c 1350s | 16 | 224066 | 179552 | 486503 0 | 15963 | 23696 1650.31/1650.80 c 1352s | 16 | 224337 | 179752 | 486503 0 | 15963 | 23696 1652.91/1653.41 c 1355s | 16 | 224703 | 180052 | 486503 0 | 15963 | 23696 1655.81/1656.37 c 1358s | 16 | 225087 | 180352 | 486503 0 | 15963 | 23696 1659.00/1659.51 c 1361s | 16 | 225465 | 180652 | 486503 0 | 15963 | 23696 1661.10/1661.64 c 1363s | 16 | 225695 | 180852 | 486503 0 | 15963 | 23696 1664.10/1664.65 c 1366s | 16 | 226085 | 181152 | 486503 0 | 15963 | 23696 1666.30/1666.80 c 1368s | 16 | 226322 | 181352 | 486503 0 | 15963 | 23696 1669.20/1669.71 c 1371s | 16 | 226697 | 181652 | 486503 0 | 15963 | 23696 1672.00/1672.50 c 1374s | 16 | 227064 | 181952 | 486503 0 | 15963 | 23696 1674.00/1674.57 c 1376s | 16 | 227332 | 182152 | 486503 0 | 15963 | 23696 1676.70/1677.22 c 1378s | 16 | 227752 | 182452 | 486503 0 | 15963 | 23696 1679.40/1679.98 c 1381s | 16 | 228154 | 182752 | 486503 0 | 15963 | 23696 1682.40/1682.95 c 1384s | 16 | 228501 | 183052 | 486503 0 | 15963 | 23696 1684.50/1685.09 c 1386s | 16 | 228734 | 183252 | 486503 0 | 15963 | 23696 1686.80/1687.35 c 1389s | 16 | 228986 | 183452 | 486503 0 | 15963 | 23696 1689.00/1689.52 c 1391s | 16 | 229219 | 183652 | 486503 0 | 15963 | 23696 1691.10/1691.63 c 1393s | 16 | 229454 | 183852 | 486503 0 | 15963 | 23696 1693.80/1694.39 c 1396s | 16 | 229840 | 184152 | 486503 0 | 15963 | 23696 1696.00/1696.56 c 1398s | 16 | 230091 | 184352 | 486503 0 | 15963 | 23696 1698.00/1698.56 c 1400s | 16 | 230333 | 184552 | 486503 0 | 15963 | 23696 1700.80/1701.39 c 1403s | 16 | 230722 | 184852 | 486503 0 | 15963 | 23696 1703.70/1704.21 c 1405s | 16 | 231077 | 185152 | 486503 0 | 15963 | 23696 1705.80/1706.40 c 1408s | 16 | 231319 | 185352 | 486503 0 | 15963 | 23696 1708.60/1709.11 c 1410s | 16 | 231714 | 185652 | 486503 0 | 15963 | 23696 1710.70/1711.23 c 1412s | 16 | 231942 | 185852 | 486503 0 | 15963 | 23696 1713.40/1713.91 c 1415s | 16 | 232356 | 186152 | 486503 0 | 15963 | 23696 1715.50/1716.03 c 1417s | 16 | 233090 | 186752 | 486503 0 | 15963 | 23696 1718.19/1718.71 c 1420s | 16 | 233453 | 187052 | 486503 0 | 15963 | 23696 1721.00/1721.52 c 1423s | 16 | 233841 | 187352 | 486503 0 | 15963 | 23696 1723.49/1724.01 c 1425s | 16 | 234198 | 187652 | 486503 0 | 15963 | 23696 1725.50/1726.02 c 1427s | 16 | 234448 | 187852 | 486503 0 | 15963 | 23696 1727.99/1728.57 c 1430s | 16 | 234806 | 188152 | 486503 0 | 15963 | 23696 1730.90/1731.44 c 1433s | 16 | 235183 | 188452 | 486503 0 | 15963 | 23696 1733.49/1734.02 c 1435s | 16 | 235584 | 188752 | 486503 0 | 15963 | 23696 1735.99/1736.53 c 1438s | 16 | 235975 | 189052 | 486503 0 | 15963 | 23696 1738.09/1738.63 c 1440s | 16 | 236234 | 189252 | 486503 0 | 15963 | 23696 1740.29/1740.89 c 1442s | 16 | 236468 | 189452 | 486503 0 | 15963 | 23696 1742.39/1742.97 c 1444s | 16 | 236745 | 189652 | 486503 0 | 15963 | 23696 1744.39/1744.97 c 1446s | 16 | 236979 | 189852 | 486503 0 | 15963 | 23696 1746.59/1747.17 c 1448s | 16 | 237215 | 190052 | 486503 0 | 15963 | 23696 1749.49/1750.01 c 1451s | 16 | 237581 | 190352 | 486503 0 | 15963 | 23696 1752.39/1752.97 c 1454s | 16 | 237969 | 190652 | 486503 0 | 15963 | 23696 1755.39/1755.97 c 1457s | 16 | 238339 | 190952 | 486503 0 | 15963 | 23696 1757.59/1758.14 c 1459s | 16 | 238592 | 191152 | 486503 0 | 15963 | 23696 1759.79/1760.39 c 1462s | 16 | 238841 | 191352 | 486503 0 | 15963 | 23696 1762.09/1762.60 c 1464s | 16 | 239090 | 191552 | 486503 0 | 15963 | 23696 1764.99/1765.53 c 1467s | 16 | 239500 | 191852 | 486503 0 | 15963 | 23696 1767.68/1768.30 c 1469s | 16 | 239888 | 192152 | 486503 0 | 15963 | 23696 1770.49/1771.08 c 1472s | 16 | 240376 | 192552 | 486503 0 | 15963 | 23696 1773.48/1774.08 c 1475s | 16 | 240741 | 192852 | 486503 0 | 15963 | 23696 1775.58/1776.13 c 1477s | 16 | 240977 | 193052 | 486503 0 | 15963 | 23696 1778.08/1778.60 c 1480s | 16 | 241388 | 193352 | 486503 0 | 15963 | 23696 1780.98/1781.53 c 1483s | 16 | 241754 | 193652 | 486503 0 | 15963 | 23696 1782.98/1783.59 c 1485s | 16 | 241992 | 193852 | 486503 0 | 15963 | 23696 1785.78/1786.32 c 1488s | 16 | 242370 | 194152 | 486503 0 | 15963 | 23696 1788.38/1788.90 c 1490s | 16 | 242762 | 194452 | 486503 0 | 15963 | 23696 1790.39/1790.91 c 1492s | 16 | 242996 | 194652 | 486503 0 | 15963 | 23696 1792.98/1793.59 c 1495s | 16 | 243437 | 194952 | 486503 0 | 15963 | 23696 1794.98/1795.59 c 1497s | 16 | 243694 | 195152 | 486503 0 | 15963 | 23696 1797.38/1797.95 c 1499s | 16 | 243939 | 195352 | 486503 0 | 15963 | 23696 1799.68/1800.24 c 1501s | 16 | 244175 | 195552 | 486503 0 | 15963 | 23696
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-4079981-1465273865/watcher-4079981-1465273865 -o /tmp/evaluation-result-4079981-1465273865/solver-4079981-1465273865 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465272064-10617 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079981-1465273865.opb pid=10776 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.28 2.22 2.29 3/172 10779 /proc/meminfo: memFree=30166440/32872528 swapFree=16080/1655368 [pid=10779] ppid=10776 vsize=762436 CPUtime=0 cores=0,2,4,6 /proc/10779/stat : 10779 (toysat) R 10776 10779 3593 0 -1 4202496 2851 0 0 0 0 0 0 0 20 0 4 0 109320122 780734464 3212 33554432000 4194304 16246674 140733805291440 140733805290864 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10779/statm: 191121 3220 442 2943 0 188015 0 [pid=10779/tid=10780] ppid=10776 vsize=778820 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10780/stat : 10780 (toysat) S 10776 10779 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320122 797511680 3279 33554432000 4194304 16246674 140733805291440 140526875553008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10779/tid=10781] ppid=10776 vsize=783940 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10781/stat : 10781 (toysat) S 10776 10779 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109320122 802754560 3296 33554432000 4194304 16246674 140733805291440 140526865063152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10779/tid=10782] ppid=10776 vsize=788036 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10782/stat : 10782 (toysat) S 10776 10779 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109320122 806948864 3312 33554432000 4194304 16246674 140733805291440 140526854589616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.10019 s] /proc/loadavg: 2.28 2.22 2.29 3/172 10779 /proc/meminfo: memFree=30166440/32872528 swapFree=16080/1655368 [pid=10779] ppid=10776 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/10779/stat : 10779 (toysat) R 10776 10779 3593 0 -1 4202496 27164 0 0 0 5 4 0 0 20 0 4 0 109320122 1333334016 27462 33554432000 4194304 16246674 140733805291440 140733805290752 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10779/statm: 325521 27475 800 2943 0 322415 0 [pid=10779/tid=10780] ppid=10776 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10780/stat : 10780 (toysat) S 10776 10779 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320122 1333334016 27485 33554432000 4194304 16246674 140733805291440 140526875553008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10779/tid=10781] ppid=10776 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10781/stat : 10781 (toysat) S 10776 10779 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109320122 1333334016 27497 33554432000 4194304 16246674 140733805291440 140526865063152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10779/tid=10782] ppid=10776 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10782/stat : 10782 (toysat) S 10776 10779 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320122 1333334016 27507 33554432000 4194304 16246674 140733805291440 140526854589616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200443 s] /proc/loadavg: 2.28 2.22 2.29 3/172 10779 /proc/meminfo: memFree=30166440/32872528 swapFree=16080/1655368 [pid=10779] ppid=10776 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/10779/stat : 10779 (toysat) R 10776 10779 3593 0 -1 4202496 45415 0 0 0 13 6 0 0 20 0 4 0 109320122 1344868352 46224 33554432000 4194304 16246674 140733805291440 140733805290752 8058808 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10779/statm: 328337 46224 800 2943 0 325231 0 [pid=10779/tid=10780] ppid=10776 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10780/stat : 10780 (toysat) S 10776 10779 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320122 1344868352 46224 33554432000 4194304 16246674 140733805291440 140526875553008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10779/tid=10781] ppid=10776 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10781/stat : 10781 (toysat) S 10776 10779 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109320122 1344868352 46224 33554432000 4194304 16246674 140733805291440 140526865063152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10779/tid=10782] ppid=10776 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10782/stat : 10782 (toysat) S 10776 10779 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320122 1344868352 46224 33554432000 4194304 16246674 140733805291440 140526854589616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.30049 s] /proc/loadavg: 2.28 2.22 2.29 3/172 10779 /proc/meminfo: memFree=30166440/32872528 swapFree=16080/1655368 [pid=10779] ppid=10776 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/10779/stat : 10779 (toysat) R 10776 10779 3593 0 -1 4202496 57394 0 0 0 21 8 0 0 20 0 4 0 109320122 1344868352 58203 33554432000 4194304 16246674 140733805291440 140733805290752 4220936 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10779/statm: 328337 58203 801 2943 0 325231 0 [pid=10779/tid=10780] ppid=10776 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10780/stat : 10780 (toysat) S 10776 10779 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320122 1344868352 58203 33554432000 4194304 16246674 140733805291440 140526875553008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10779/tid=10781] ppid=10776 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10781/stat : 10781 (toysat) S 10776 10779 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109320122 1344868352 58203 33554432000 4194304 16246674 140733805291440 140526865063152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10779/tid=10782] ppid=10776 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10782/stat : 10782 (toysat) S 10776 10779 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320122 1344868352 58203 33554432000 4194304 16246674 140733805291440 140526854589616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700409 s] /proc/loadavg: 2.28 2.22 2.29 3/172 10779 /proc/meminfo: memFree=30166440/32872528 swapFree=16080/1655368 [pid=10779] ppid=10776 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/10779/stat : 10779 (toysat) R 10776 10779 3593 0 -1 4202496 68703 0 0 0 59 10 0 0 20 0 4 0 109320122 1344868352 69512 33554432000 4194304 16246674 140733805291440 140733805289152 7361768 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10779/statm: 328337 69512 802 2943 0 325231 0 [pid=10779/tid=10780] ppid=10776 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10780/stat : 10780 (toysat) S 10776 10779 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320122 1344868352 69512 33554432000 4194304 16246674 140733805291440 140526875553008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10779/tid=10781] ppid=10776 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10781/stat : 10781 (toysat) S 10776 10779 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109320122 1344868352 69512 33554432000 4194304 16246674 140733805291440 140526865063152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10779/tid=10782] ppid=10776 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10782/stat : 10782 (toysat) S 10776 10779 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320122 1344868352 69512 33554432000 4194304 16246674 140733805291440 140526854589616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.5004 s] /proc/loadavg: 2.28 2.22 2.29 3/183 10797 /proc/meminfo: memFree=29565068/32872528 swapFree=16080/1655368 [pid=10779] ppid=10776 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/10779/stat : 10779 (toysat) R 10776 10779 3593 0 -1 4202496 82704 0 0 0 137 12 0 0 20 0 4 0 109320122 1344868352 83513 33554432000 4194304 16246674 140733805291440 140733805289280 4221116 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10779/statm: 328337 83513 807 2943 0 325231 0 [pid=10779/tid=10780] ppid=10776 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10780/stat : 10780 (toysat) S 10776 10779 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320122 1344868352 83513 33554432000 4194304 16246674 140733805291440 140526875553008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10779/tid=10781] ppid=10776 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10781/stat : 10781 (toysat) S 10776 10779 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109320122 1344868352 83513 33554432000 4194304 16246674 140733805291440 140526865063152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10779/tid=10782] ppid=10776 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10782/stat : 10782 (toysat) S 10776 10779 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320122 1344868352 83513 33554432000 4194304 16246674 140733805291440 140526854589616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.1004 s] /proc/loadavg: 2.28 2.22 2.29 3/183 10797 /proc/meminfo: memFree=28679328/32872528 swapFree=16080/1655368 [pid=10779] ppid=10776 vsize=1331780 CPUtime=3.09 cores=0,2,4,6 /proc/10779/stat : 10779 (toysat) R 10776 10779 3593 0 -1 4202496 273566 0 0 0 267 42 0 0 20 0 4 0 109320122 1363742720 274375 33554432000 4194304 16246674 140733805291440 140733805273344 6759797 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10779/statm: 332945 274375 840 2943 0 329839 0 [pid=10779/tid=10780] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10780/stat : 10780 (toysat) S 10776 10779 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274375 33554432000 4194304 16246674 140733805291440 140526875553008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10779/tid=10781] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10781/stat : 10781 (toysat) S 10776 10779 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274375 33554432000 4194304 16246674 140733805291440 140526865063152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10779/tid=10782] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10782/stat : 10782 (toysat) S 10776 10779 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274375 33554432000 4194304 16246674 140733805291440 140526854589616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1331780 [startup+6.30041 s] /proc/loadavg: 2.26 2.21 2.29 3/183 10797 /proc/meminfo: memFree=27948976/32872528 swapFree=16080/1655368 [pid=10779] ppid=10776 vsize=1331780 CPUtime=6.29 cores=0,2,4,6 /proc/10779/stat : 10779 (toysat) R 10776 10779 3593 0 -1 4202496 273635 0 0 0 587 42 0 0 20 0 4 0 109320122 1363742720 274444 33554432000 4194304 16246674 140733805291440 140733805289088 12653056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10779/statm: 332945 274444 904 2943 0 329839 0 [pid=10779/tid=10780] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10780/stat : 10780 (toysat) S 10776 10779 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274444 33554432000 4194304 16246674 140733805291440 140526875553008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10779/tid=10781] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10781/stat : 10781 (toysat) S 10776 10779 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274444 33554432000 4194304 16246674 140733805291440 140526865063152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10779/tid=10782] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10782/stat : 10782 (toysat) S 10776 10779 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274444 33554432000 4194304 16246674 140733805291440 140526854589616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1331780 [startup+12.7004 s] /proc/loadavg: 2.24 2.21 2.29 3/183 10797 /proc/meminfo: memFree=27949008/32872528 swapFree=16080/1655368 [pid=10779] ppid=10776 vsize=1331780 CPUtime=12.69 cores=0,2,4,6 /proc/10779/stat : 10779 (toysat) R 10776 10779 3593 0 -1 4202496 273645 0 0 0 1227 42 0 0 20 0 4 0 109320122 1363742720 274454 33554432000 4194304 16246674 140733805291440 140733805273344 13006049 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10779/statm: 332945 274454 914 2943 0 329839 0 [pid=10779/tid=10780] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10780/stat : 10780 (toysat) S 10776 10779 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274454 33554432000 4194304 16246674 140733805291440 140526875553008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10779/tid=10781] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10781/stat : 10781 (toysat) S 10776 10779 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274454 33554432000 4194304 16246674 140733805291440 140526865063152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10779/tid=10782] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10782/stat : 10782 (toysat) S 10776 10779 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274454 33554432000 4194304 16246674 140733805291440 140526854589616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1331780 [startup+25.5005 s] /proc/loadavg: 2.26 2.22 2.29 4/183 10797 /proc/meminfo: memFree=27950488/32872528 swapFree=16080/1655368 [pid=10779] ppid=10776 vsize=1331780 CPUtime=25.49 cores=0,2,4,6 /proc/10779/stat : 10779 (toysat) R 10776 10779 3593 0 -1 4202496 273649 0 0 0 2507 42 0 0 20 0 4 0 109320122 1363742720 274458 33554432000 4194304 16246674 140733805291440 140733805273344 12483664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10779/statm: 332945 274458 916 2943 0 329839 0 [pid=10779/tid=10780] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10780/stat : 10780 (toysat) S 10776 10779 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274458 33554432000 4194304 16246674 140733805291440 140526875553008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10779/tid=10781] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10781/stat : 10781 (toysat) S 10776 10779 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274458 33554432000 4194304 16246674 140733805291440 140526865063152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10779/tid=10782] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10782/stat : 10782 (toysat) S 10776 10779 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274458 33554432000 4194304 16246674 140733805291440 140526854589616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1331780 [startup+51.1005 s] /proc/loadavg: 2.30 2.23 2.29 3/183 10797 /proc/meminfo: memFree=27950500/32872528 swapFree=16080/1655368 [pid=10779] ppid=10776 vsize=1331780 CPUtime=51.08 cores=0,2,4,6 /proc/10779/stat : 10779 (toysat) R 10776 10779 3593 0 -1 4202496 273649 0 0 0 5066 42 0 0 20 0 4 0 109320122 1363742720 274458 33554432000 4194304 16246674 140733805291440 140733805273344 5676316 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10779/statm: 332945 274458 916 2943 0 329839 0 [pid=10779/tid=10780] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10780/stat : 10780 (toysat) S 10776 10779 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274458 33554432000 4194304 16246674 140733805291440 140526875553008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10779/tid=10781] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10781/stat : 10781 (toysat) S 10776 10779 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274458 33554432000 4194304 16246674 140733805291440 140526865063152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10779/tid=10782] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10782/stat : 10782 (toysat) S 10776 10779 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274458 33554432000 4194304 16246674 140733805291440 140526854589616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1331780 [startup+102.3 s] /proc/loadavg: 2.19 2.21 2.27 4/183 10799 /proc/meminfo: memFree=27949760/32872528 swapFree=16080/1655368 [pid=10779] ppid=10776 vsize=1331780 CPUtime=102.28 cores=0,2,4,6 /proc/10779/stat : 10779 (toysat) R 10776 10779 3593 0 -1 4202496 273653 0 0 0 10186 42 0 0 20 0 4 0 109320122 1363742720 274462 33554432000 4194304 16246674 140733805291440 140733805273344 5673120 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10779/statm: 332945 274462 920 2943 0 329839 0 [pid=10779/tid=10780] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10780/stat : 10780 (toysat) S 10776 10779 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274462 33554432000 4194304 16246674 140733805291440 140526875553008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10779/tid=10781] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10781/stat : 10781 (toysat) S 10776 10779 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274462 33554432000 4194304 16246674 140733805291440 140526865063152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10779/tid=10782] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10782/stat : 10782 (toysat) S 10776 10779 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274462 33554432000 4194304 16246674 140733805291440 140526854589616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1331780 ################ # More data... # ################ /proc/10779/task/10782/stat : 10782 (toysat) S 10776 10779 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526854589616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 1331780 [startup+1302.3 s] /proc/loadavg: 2.19 2.22 2.24 4/183 10829 /proc/meminfo: memFree=27947300/32872528 swapFree=16080/1655368 [pid=10779] ppid=10776 vsize=1331780 CPUtime=1301.9 cores=0,2,4,6 /proc/10779/stat : 10779 (toysat) R 10776 10779 3593 0 -1 4202496 273997 0 0 0 130146 44 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140733805273344 5676361 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10779/statm: 332945 274463 920 2943 0 329839 0 [pid=10779/tid=10780] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10780/stat : 10780 (toysat) S 10776 10779 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526875553008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10779/tid=10781] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10781/stat : 10781 (toysat) S 10776 10779 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526865063152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10779/tid=10782] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10782/stat : 10782 (toysat) S 10776 10779 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526854589616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1331780 [startup+1362.3 s] /proc/loadavg: 2.23 2.22 2.24 3/183 10830 /proc/meminfo: memFree=27947144/32872528 swapFree=16080/1655368 [pid=10779] ppid=10776 vsize=1331780 CPUtime=1361.86 cores=0,2,4,6 /proc/10779/stat : 10779 (toysat) R 10776 10779 3593 0 -1 4202496 274042 0 0 0 136142 44 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140733805273344 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10779/statm: 332945 274463 920 2943 0 329839 0 [pid=10779/tid=10780] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10780/stat : 10780 (toysat) S 10776 10779 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526875553008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10779/tid=10781] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10781/stat : 10781 (toysat) S 10776 10779 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526865063152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10779/tid=10782] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10782/stat : 10782 (toysat) S 10776 10779 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526854589616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1331780 [startup+1422.3 s] /proc/loadavg: 2.27 2.23 2.24 3/183 10831 /proc/meminfo: memFree=27947120/32872528 swapFree=16080/1655368 [pid=10779] ppid=10776 vsize=1331780 CPUtime=1421.85 cores=0,2,4,6 /proc/10779/stat : 10779 (toysat) R 10776 10779 3593 0 -1 4202496 274075 0 0 0 142140 45 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140733805273344 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10779/statm: 332945 274463 920 2943 0 329839 0 [pid=10779/tid=10780] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10780/stat : 10780 (toysat) S 10776 10779 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526875553008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10779/tid=10781] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10781/stat : 10781 (toysat) S 10776 10779 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526865063152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10779/tid=10782] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10782/stat : 10782 (toysat) S 10776 10779 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526854589616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1331780 [startup+1482.3 s] /proc/loadavg: 2.21 2.22 2.24 4/183 10832 /proc/meminfo: memFree=27946216/32872528 swapFree=16080/1655368 [pid=10779] ppid=10776 vsize=1331780 CPUtime=1481.83 cores=0,2,4,6 /proc/10779/stat : 10779 (toysat) R 10776 10779 3593 0 -1 4202496 274075 0 0 0 148138 45 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140733805273344 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10779/statm: 332945 274463 920 2943 0 329839 0 [pid=10779/tid=10780] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10780/stat : 10780 (toysat) S 10776 10779 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526875553008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10779/tid=10781] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10781/stat : 10781 (toysat) S 10776 10779 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526865063152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10779/tid=10782] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10782/stat : 10782 (toysat) S 10776 10779 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526854589616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1331780 [startup+1542.31 s] /proc/loadavg: 2.18 2.21 2.23 3/183 10833 /proc/meminfo: memFree=27946468/32872528 swapFree=16080/1655368 [pid=10779] ppid=10776 vsize=1331780 CPUtime=1541.83 cores=0,2,4,6 /proc/10779/stat : 10779 (toysat) R 10776 10779 3593 0 -1 4202496 274075 0 0 0 154138 45 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140733805273344 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10779/statm: 332945 274463 920 2943 0 329839 0 [pid=10779/tid=10780] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10780/stat : 10780 (toysat) S 10776 10779 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526875553008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10779/tid=10781] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10781/stat : 10781 (toysat) S 10776 10779 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526865063152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10779/tid=10782] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10782/stat : 10782 (toysat) S 10776 10779 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526854589616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1331780 [startup+1602.3 s] /proc/loadavg: 2.23 2.21 2.23 4/183 10835 /proc/meminfo: memFree=27947256/32872528 swapFree=16080/1655368 [pid=10779] ppid=10776 vsize=1331780 CPUtime=1601.81 cores=0,2,4,6 /proc/10779/stat : 10779 (toysat) R 10776 10779 3593 0 -1 4202496 274075 0 0 0 160136 45 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140733805273344 5676361 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10779/statm: 332945 274463 920 2943 0 329839 0 [pid=10779/tid=10780] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10780/stat : 10780 (toysat) S 10776 10779 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526875553008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10779/tid=10781] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10781/stat : 10781 (toysat) S 10776 10779 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526865063152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10779/tid=10782] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10782/stat : 10782 (toysat) S 10776 10779 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526854589616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1331780 [startup+1662.3 s] /proc/loadavg: 2.28 2.23 2.23 4/183 10836 /proc/meminfo: memFree=27947404/32872528 swapFree=16080/1655368 [pid=10779] ppid=10776 vsize=1331780 CPUtime=1661.8 cores=0,2,4,6 /proc/10779/stat : 10779 (toysat) R 10776 10779 3593 0 -1 4202496 274075 0 0 0 166135 45 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140733805273344 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10779/statm: 332945 274463 920 2943 0 329839 0 [pid=10779/tid=10780] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10780/stat : 10780 (toysat) S 10776 10779 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526875553008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10779/tid=10781] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10781/stat : 10781 (toysat) S 10776 10779 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526865063152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10779/tid=10782] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10782/stat : 10782 (toysat) S 10776 10779 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526854589616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1331780 [startup+1722.3 s] /proc/loadavg: 2.18 2.22 2.23 3/183 10837 /proc/meminfo: memFree=27947472/32872528 swapFree=16080/1655368 [pid=10779] ppid=10776 vsize=1331780 CPUtime=1721.79 cores=0,2,4,6 /proc/10779/stat : 10779 (toysat) R 10776 10779 3593 0 -1 4202496 274075 0 0 0 172134 45 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140733805273344 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10779/statm: 332945 274463 920 2943 0 329839 0 [pid=10779/tid=10780] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10780/stat : 10780 (toysat) S 10776 10779 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526875553008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10779/tid=10781] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10781/stat : 10781 (toysat) S 10776 10779 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526865063152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10779/tid=10782] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10782/stat : 10782 (toysat) S 10776 10779 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526854589616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1331780 [startup+1782.3 s] /proc/loadavg: 2.24 2.23 2.23 3/184 10841 /proc/meminfo: memFree=27946272/32872528 swapFree=16080/1655368 [pid=10779] ppid=10776 vsize=1331780 CPUtime=1781.78 cores=0,2,4,6 /proc/10779/stat : 10779 (toysat) R 10776 10779 3593 0 -1 4202496 274075 0 0 0 178133 45 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140733805273344 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10779/statm: 332945 274463 920 2943 0 329839 0 [pid=10779/tid=10780] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10780/stat : 10780 (toysat) S 10776 10779 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526875553008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10779/tid=10781] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10781/stat : 10781 (toysat) S 10776 10779 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526865063152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10779/tid=10782] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10782/stat : 10782 (toysat) S 10776 10779 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526854589616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1331780 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.25 2.23 2.23 3/184 10864 /proc/meminfo: memFree=27946676/32872528 swapFree=16080/1655368 [pid=10779] ppid=10776 vsize=1331780 CPUtime=1800.08 cores=0,2,4,6 /proc/10779/stat : 10779 (toysat) R 10776 10779 3593 0 -1 4202496 274075 0 0 0 179963 45 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140733805273344 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10779/statm: 332945 274463 920 2943 0 329839 0 [pid=10779/tid=10780] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10780/stat : 10780 (toysat) S 10776 10779 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526875553008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10779/tid=10781] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10781/stat : 10781 (toysat) S 10776 10779 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526865063152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10779/tid=10782] ppid=10776 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/10779/task/10782/stat : 10782 (toysat) S 10776 10779 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109320122 1363742720 274463 33554432000 4194304 16246674 140733805291440 140526854589616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1331780 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 10779 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.64 CPU system time (s): 0.45693 CPU usage (%): 99.9714 Max. virtual memory (cumulated for all children) (KiB): 1331780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.64 system time used= 0.45693 maximum resident set size= 1097852 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274075 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= 451 involuntary context switches= 1836 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.01024 second user time and 6.50901 second system time The end
Begin job on node122 at 2016-06-07 06:31:05 IDJOB=4079981 IDBENCH=77109 IDSOLVER=2542 FILE ID=node122/4079981-1465273865 RUNJOBID= node122-1465272064-10617 PBS_JOBID= 19843267 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12053_6.std.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079981-1465273865/watcher-4079981-1465273865 -o /tmp/evaluation-result-4079981-1465273865/solver-4079981-1465273865 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465272064-10617 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079981-1465273865.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= afeceb08ae53f25fa9e4759a0d0118c7 RANDOM SEED=1287465050 node122.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.898 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.79 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.898 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.898 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.54 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.898 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 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.898 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.898 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 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: 30167724 kB Buffers: 126112 kB Cached: 180396 kB SwapCached: 860 kB Active: 113704 kB Inactive: 199928 kB Active(anon): 7672 kB Inactive(anon): 1632 kB Active(file): 106032 kB Inactive(file): 198296 kB Unevictable: 1655368 kB Mlocked: 16080 kB SwapTotal: 67108856 kB SwapFree: 67099512 kB Dirty: 30688 kB Writeback: 0 kB AnonPages: 1662048 kB Mapped: 6928 kB Shmem: 0 kB Slab: 601372 kB SReclaimable: 45140 kB SUnreclaim: 556232 kB KernelStack: 1384 kB PageTables: 7740 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1756704 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1642496 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= 71696 MiB End job on node122 at 2016-06-07 07:01:06