Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.45 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib3/normalized-reduced-mps-v2-20-10-qnet1_o.opb |
| MD5SUM | 8b204aeb505cc1c787aa4db3220d0b5a |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 209 |
| Best CPU time to get the best result obtained on this benchmark | 1800.07 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 272 |
| Optimality of the best value was proved | NO |
| Number of variables | 5380 |
| Total number of constraints | 584 |
| Number of constraints which are clauses | 32 |
| Number of constraints which are cardinality constraints (but not clauses) | 48 |
| Number of constraints which are nor clauses,nor cardinality constraints | 504 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 54 |
| Number of terms in the objective function | 3720 |
| Biggest coefficient in the objective function | 2115 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 527620 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262086 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 527620 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T07:35:29+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-4101945-1466228128.opb"] 0.00/0.01 c use --random-gen="3813060844 3725871067 1616088131 3867433151 1337241721 3617037081 3988306223 2752767082 2318743495 2744271952 2224675526 1282418722 2276132508 810695087 1080255889 2845262317 1320775955 750057386 882073414 3998566857 196017560 51585818 856423575 3868531997 1750103973 3812207222 2182533738 2297585064 1279204800 1159169660 1608016415 3163310490 595502511 2975381883 110608921 3743281489 319834029 3621471092 2558274236 369196464 1167769684 3491704301 476546332 2623408927 252890306 3433868040 2107145022 235184254 4287425157 3641646679 3415712551 252045980 3024994340 3950276937 1310724807 3174315749 524162096 2242460988 3048984681 1026037255 2442239661 2053098323 2083232261 2024515689 1522137837 3599526406 4190467322 1903472680 3613545831 1374247906 774913101 2233904137 988815416 2363074586 1126842650 3152339823 2518194938 1058909233 2767270414 150794911 1771877936 1910773618 2216195702 3113461761 422350845 623769854 2017956910 683409862 3626723551 3643775812 814275963 4213849176 3742552154 2084959979 1766574144 642250327 1783187498 1092130664 764591683 1532720299 934334508 4161983837 1316201760 3520558056 4274028235 3216587951 3611967021 2248096821 1161815998 1409908315 2293628625 1302575072 3966167265 1326733053 3847596586 1194217599 660156907 3321104035 3284305623 2754812276 4276524705 925436943 4225049453 3146245007 2767537346 1811467018 621352114 733821128 3789940425 3090328801 1222993419 3121963348 3801930015 1153187822 3105816885 3884790092 44793815 2908472274 1570495430 3009210995 1023360879 4262857664 2545176016 174631891 1432696579 1183555791 2875283677 3586957720 2593197631 2950264404 2444650307 2251749949 26086903 3690703785 52498664 1750588826 48230488 300805879 839639668 292872453 518108428 1269684792 1693953272 122999053 2228821267 3367071801 1633714544 3883122973 1660948852 1512520268 2504723750 1114169685 205909819 1051900922 2839864450 2805997523 373108174 618570939 696143570 3802122021 235885016 2323827060 3248761476 3200559767 667725383 147796605 1124670691 3432989919 3244391162 1100618879 228023077 2028422100 1557744190 1917269596 3506759585 2744154215 45564658 1880137891 681265213 1301899339 666564605 3332694483 2057938119 2207365991 2213789449 3225312229 517430047 2825260191 3235759833 4242262232 3138630386 3638591440 742278792 3463715029 278690642 676496794 447786821 1041561591 2649135685 1137549747 254117621 3293575788 1388214229 3027974833 3089679191 2692447165 2339753418 1327254476 2844644122 516410133 3150128131 135384662 2716900213 3121555889 2515943706 702738993 3230399961 170045888 2581649697 531653250 105162779 3349223851 486745921 3023387725 1920881835 3757361461 1463707079 3059963801 1744922192 432721412 4256477276 3035202157 3625488169 4267477346 1089839888 4216200154 255 362436" option to reproduce the execution 0.00/0.04 c #vars 5380 0.00/0.04 c #constraints 584 0.09/0.17 c BCD2: Hardening is enabled. 0.09/0.17 c BCD2: BiasedSearch is enabled. 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 2098 0 | 1086 | 0 0.29/0.36 c 0.2s | 0 | 28517 | 61 | 2098 0 | 1109 | 0 0.29/0.36 c #cpu_time = 0.171s 0.29/0.36 c #wall_clock_time = 0.171s 0.29/0.36 c #decision = 28517 0.29/0.36 c #random_decision = 101 0.29/0.36 c #conflict = 61 0.29/0.36 c #restart = 0 0.29/0.36 o 2864 0.29/0.36 c BCD2: updating upper bound: 527620 -> 2863 0.29/0.38 c BCD2: 0 <= obj <= 2863 0.29/0.38 c BCD2: #cores=0, #unrelaxed=3720, #relaxed=0, #hardened=0 0.29/0.38 c BCD2: #sat=1 #unsat=1 bias=1/2 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 2098 0 | 1109 | 0 0.29/0.39 c 0.0s | 0 | 376 | 0 | 2098 0 | 1109 | 0 0.29/0.39 c #cpu_time = 0.007s 0.29/0.39 c #wall_clock_time = 0.007s 0.29/0.39 c #decision = 376 0.29/0.39 c #random_decision = 0 0.29/0.39 c #conflict = 0 0.29/0.39 c #restart = 0 0.29/0.39 c BCD2: found a new core of size 13: cost of the new core is >=1 0.29/0.39 c lower bound updated to 1 0.29/0.39 c BCD2: 1 <= obj <= 2863 0.29/0.39 c BCD2: #cores=1, #unrelaxed=3707, #relaxed=13, #hardened=0 0.29/0.39 c BCD2: #sat=1 #unsat=2 bias=2/3 0.39/0.41 c Solving starts ... 0.39/0.41 c ============================[ Search Statistics ]============================ 0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.41 c | | | | Limit GC | Var | Constra 0.39/0.41 c ============================================================================= 0.39/0.41 c 0.0s | 0 | 0 | 0 | 2098 0 | 1109 | 0 0.39/0.41 c 0.0s | 0 | 455 | 1 | 2098 0 | 1109 | 0 0.39/0.41 c #cpu_time = 0.006s 0.39/0.41 c #wall_clock_time = 0.006s 0.39/0.41 c #decision = 455 0.39/0.41 c #random_decision = 0 0.39/0.41 c #conflict = 1 0.39/0.41 c #restart = 0 0.39/0.41 c BCD2: found a new core of size 32: cost of the new core is >=5 0.39/0.41 c lower bound updated to 6 0.39/0.41 c BCD2: 6 <= obj <= 2863 0.39/0.41 c BCD2: #cores=2, #unrelaxed=3675, #relaxed=45, #hardened=0 0.39/0.41 c BCD2: #sat=1 #unsat=3 bias=3/4 0.39/0.41 c Solving starts ... 0.39/0.41 c ============================[ Search Statistics ]============================ 0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.41 c | | | | Limit GC | Var | Constra 0.39/0.41 c ============================================================================= 0.39/0.41 c 0.0s | 0 | 0 | 0 | 2098 0 | 1109 | 0 0.39/0.42 c 0.0s | 0 | 545 | 0 | 2098 0 | 1109 | 0 0.39/0.42 c #cpu_time = 0.005s 0.39/0.42 c #wall_clock_time = 0.005s 0.39/0.42 c #decision = 545 0.39/0.42 c #random_decision = 0 0.39/0.42 c #conflict = 0 0.39/0.42 c #restart = 0 0.39/0.42 c BCD2: found a new core of size 27: cost of the new core is >=1 0.39/0.42 c lower bound updated to 7 0.39/0.42 c BCD2: 7 <= obj <= 2863 0.39/0.42 c BCD2: #cores=3, #unrelaxed=3648, #relaxed=72, #hardened=0 0.39/0.42 c BCD2: #sat=1 #unsat=4 bias=4/5 0.39/0.42 c Solving starts ... 0.39/0.42 c ============================[ Search Statistics ]============================ 0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.42 c | | | | Limit GC | Var | Constra 0.39/0.42 c ============================================================================= 0.39/0.42 c 0.0s | 0 | 0 | 0 | 2098 0 | 1109 | 0 0.39/0.43 c 0.0s | 0 | 679 | 0 | 2098 0 | 1109 | 0 0.39/0.43 c #cpu_time = 0.005s 0.39/0.43 c #wall_clock_time = 0.005s 0.39/0.43 c #decision = 679 0.39/0.43 c #random_decision = 0 0.39/0.43 c #conflict = 0 0.39/0.43 c #restart = 0 0.39/0.43 c BCD2: found a new core of size 9: cost of the new core is >=2 0.39/0.43 c lower bound updated to 9 0.39/0.43 c BCD2: 9 <= obj <= 2863 0.39/0.43 c BCD2: #cores=4, #unrelaxed=3639, #relaxed=81, #hardened=0 0.39/0.43 c BCD2: #sat=1 #unsat=5 bias=5/6 0.39/0.43 c Solving starts ... 0.39/0.43 c ============================[ Search Statistics ]============================ 0.39/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.43 c | | | | Limit GC | Var | Constra 0.39/0.43 c ============================================================================= 0.39/0.43 c 0.0s | 0 | 0 | 0 | 2098 0 | 1109 | 0 0.39/0.44 c 0.0s | 0 | 1008 | 1 | 2098 0 | 1109 | 0 0.39/0.44 c #cpu_time = 0.007s 0.39/0.44 c #wall_clock_time = 0.007s 0.39/0.44 c #decision = 1008 0.39/0.44 c #random_decision = 0 0.39/0.44 c #conflict = 1 0.39/0.44 c #restart = 0 0.39/0.44 c BCD2: found a new core of size 20: cost of the new core is >=1 0.39/0.44 c lower bound updated to 10 0.39/0.44 c BCD2: 10 <= obj <= 2863 0.39/0.44 c BCD2: #cores=5, #unrelaxed=3619, #relaxed=101, #hardened=0 0.39/0.44 c BCD2: #sat=1 #unsat=6 bias=6/7 0.39/0.44 c Solving starts ... 0.39/0.44 c ============================[ Search Statistics ]============================ 0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.44 c | | | | Limit GC | Var | Constra 0.39/0.44 c ============================================================================= 0.39/0.44 c 0.0s | 0 | 0 | 0 | 2098 0 | 1109 | 0 0.39/0.45 c 0.0s | 0 | 761 | 0 | 2098 0 | 1109 | 0 0.39/0.45 c #cpu_time = 0.005s 0.39/0.45 c #wall_clock_time = 0.005s 0.39/0.45 c #decision = 761 0.39/0.45 c #random_decision = 0 0.39/0.45 c #conflict = 0 0.39/0.45 c #restart = 0 0.39/0.45 c BCD2: found a new core of size 18: cost of the new core is >=1 0.39/0.45 c lower bound updated to 11 0.39/0.45 c BCD2: 11 <= obj <= 2863 0.39/0.45 c BCD2: #cores=6, #unrelaxed=3601, #relaxed=119, #hardened=0 0.39/0.45 c BCD2: #sat=1 #unsat=7 bias=7/8 0.39/0.45 c Solving starts ... 0.39/0.45 c ============================[ Search Statistics ]============================ 0.39/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.45 c | | | | Limit GC | Var | Constra 0.39/0.45 c ============================================================================= 0.39/0.45 c 0.0s | 0 | 0 | 0 | 2098 0 | 1109 | 0 0.39/0.46 c 0.0s | 0 | 875 | 0 | 2098 0 | 1109 | 0 0.39/0.46 c #cpu_time = 0.005s 0.39/0.46 c #wall_clock_time = 0.005s 0.39/0.46 c #decision = 875 0.39/0.46 c #random_decision = 0 0.39/0.46 c #conflict = 0 0.39/0.46 c #restart = 0 0.39/0.46 c BCD2: found a new core of size 8: cost of the new core is >=2 0.39/0.46 c lower bound updated to 13 0.39/0.46 c BCD2: 13 <= obj <= 2863 0.39/0.46 c BCD2: #cores=7, #unrelaxed=3593, #relaxed=127, #hardened=0 0.39/0.46 c BCD2: #sat=1 #unsat=8 bias=8/9 0.39/0.46 c Solving starts ... 0.39/0.46 c ============================[ Search Statistics ]============================ 0.39/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.46 c | | | | Limit GC | Var | Constra 0.39/0.46 c ============================================================================= 0.39/0.46 c 0.0s | 0 | 0 | 0 | 2098 0 | 1109 | 0 0.39/0.47 c 0.0s | 0 | 892 | 0 | 2098 0 | 1109 | 0 0.39/0.47 c #cpu_time = 0.006s 0.39/0.47 c #wall_clock_time = 0.006s 0.39/0.47 c #decision = 892 0.39/0.47 c #random_decision = 0 0.39/0.47 c #conflict = 0 0.39/0.47 c #restart = 0 0.39/0.47 c BCD2: found a new core of size 24: cost of the new core is >=1 0.39/0.47 c lower bound updated to 14 0.39/0.47 c BCD2: 14 <= obj <= 2863 0.39/0.47 c BCD2: #cores=8, #unrelaxed=3569, #relaxed=151, #hardened=0 0.39/0.47 c BCD2: #sat=1 #unsat=9 bias=9/10 0.39/0.47 c Solving starts ... 0.39/0.47 c ============================[ Search Statistics ]============================ 0.39/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.47 c | | | | Limit GC | Var | Constra 0.39/0.47 c ============================================================================= 0.39/0.47 c 0.0s | 0 | 0 | 0 | 2098 0 | 1109 | 0 0.39/0.48 c 0.0s | 0 | 974 | 0 | 2098 0 | 1109 | 0 0.39/0.48 c #cpu_time = 0.005s 0.39/0.48 c #wall_clock_time = 0.005s 0.39/0.48 c #decision = 974 0.39/0.48 c #random_decision = 0 0.39/0.48 c #conflict = 0 0.39/0.48 c #restart = 0 0.39/0.48 c BCD2: found a new core of size 9: cost of the new core is >=2 0.39/0.48 c lower bound updated to 16 0.39/0.48 c BCD2: 16 <= obj <= 2863 0.39/0.48 c BCD2: #cores=9, #unrelaxed=3560, #relaxed=160, #hardened=0 0.39/0.48 c BCD2: #sat=1 #unsat=10 bias=10/11 0.39/0.48 c Solving starts ... 0.39/0.48 c ============================[ Search Statistics ]============================ 0.39/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.48 c | | | | Limit GC | Var | Constra 0.39/0.48 c ============================================================================= 0.39/0.48 c 0.0s | 0 | 0 | 0 | 2098 0 | 1109 | 0 0.39/0.49 c 0.0s | 0 | 1589 | 1 | 2098 0 | 1109 | 0 0.39/0.49 c #cpu_time = 0.008s 0.39/0.49 c #wall_clock_time = 0.008s 0.39/0.49 c #decision = 1589 0.39/0.49 c #random_decision = 0 0.39/0.49 c #conflict = 1 0.39/0.49 c #restart = 0 0.39/0.49 c BCD2: found a new core of size 15: cost of the new core is >=1 0.39/0.49 c lower bound updated to 17 0.39/0.49 c BCD2: 17 <= obj <= 2863 0.39/0.49 c BCD2: #cores=10, #unrelaxed=3545, #relaxed=175, #hardened=0 0.39/0.49 c BCD2: #sat=1 #unsat=11 bias=11/12 0.39/0.49 c Solving starts ... 0.39/0.49 c ============================[ Search Statistics ]============================ 0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.49 c | | | | Limit GC | Var | Constra 0.39/0.49 c ============================================================================= 0.39/0.49 c 0.0s | 0 | 0 | 0 | 2098 0 | 1109 | 0 0.49/0.50 c 0.0s | 0 | 1054 | 0 | 2098 0 | 1109 | 0 0.49/0.50 c #cpu_time = 0.005s 0.49/0.50 c #wall_clock_time = 0.005s 0.49/0.50 c #decision = 1054 0.49/0.50 c #random_decision = 0 0.49/0.50 c #conflict = 0 0.49/0.50 c #restart = 0 0.49/0.50 c BCD2: found a new core of size 8: cost of the new core is >=1 0.49/0.50 c lower bound updated to 18 0.49/0.50 c BCD2: 18 <= obj <= 2863 0.49/0.50 c BCD2: #cores=11, #unrelaxed=3537, #relaxed=183, #hardened=0 0.49/0.50 c BCD2: #sat=1 #unsat=12 bias=12/13 0.49/0.50 c Solving starts ... 0.49/0.50 c ============================[ Search Statistics ]============================ 0.49/0.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.50 c | | | | Limit GC | Var | Constra 0.49/0.50 c ============================================================================= 0.49/0.50 c 0.0s | 0 | 0 | 0 | 2098 0 | 1109 | 0 0.49/0.51 c 0.0s | 0 | 1060 | 0 | 2098 0 | 1109 | 0 0.49/0.51 c #cpu_time = 0.005s 0.49/0.51 c #wall_clock_time = 0.005s 0.49/0.51 c #decision = 1060 0.49/0.51 c #random_decision = 0 0.49/0.51 c #conflict = 0 0.49/0.51 c #restart = 0 0.49/0.51 c BCD2: found a new core of size 13: cost of the new core is >=1 0.49/0.51 c lower bound updated to 19 0.49/0.51 c BCD2: 19 <= obj <= 2863 0.49/0.51 c BCD2: #cores=12, #unrelaxed=3524, #relaxed=196, #hardened=0 0.49/0.51 c BCD2: #sat=1 #unsat=13 bias=13/14 0.49/0.51 c Solving starts ... 0.49/0.51 c ============================[ Search Statistics ]============================ 0.49/0.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.51 c | | | | Limit GC | Var | Constra 0.49/0.51 c ============================================================================= 0.49/0.51 c 0.0s | 0 | 0 | 0 | 2098 0 | 1109 | 0 0.49/0.52 c 0.0s | 0 | 1105 | 0 | 2098 0 | 1109 | 0 0.49/0.52 c #cpu_time = 0.005s 0.49/0.52 c #wall_clock_time = 0.005s 0.49/0.52 c #decision = 1105 0.49/0.52 c #random_decision = 0 0.49/0.52 c #conflict = 0 0.49/0.52 c #restart = 0 0.49/0.52 c BCD2: found a new core of size 20: cost of the new core is >=1 0.49/0.52 c lower bound updated to 20 0.49/0.52 c BCD2: 20 <= obj <= 2863 0.49/0.52 c BCD2: #cores=13, #unrelaxed=3504, #relaxed=216, #hardened=0 0.49/0.52 c BCD2: #sat=1 #unsat=14 bias=14/15 0.49/0.52 c Solving starts ... 0.49/0.52 c ============================[ Search Statistics ]============================ 0.49/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.52 c | | | | Limit GC | Var | Constra 0.49/0.52 c ============================================================================= 0.49/0.52 c 0.0s | 0 | 0 | 0 | 2098 0 | 1109 | 0 0.49/0.52 c 0.0s | 0 | 1200 | 0 | 2098 0 | 1109 | 0 0.49/0.52 c #cpu_time = 0.005s 0.49/0.52 c #wall_clock_time = 0.005s 0.49/0.52 c #decision = 1200 0.49/0.52 c #random_decision = 0 0.49/0.52 c #conflict = 0 0.49/0.52 c #restart = 0 0.49/0.52 c BCD2: found a new core of size 9: cost of the new core is >=2 0.49/0.52 c lower bound updated to 22 0.49/0.53 c BCD2: 22 <= obj <= 2863 0.49/0.53 c BCD2: #cores=14, #unrelaxed=3495, #relaxed=225, #hardened=0 0.49/0.53 c BCD2: #sat=1 #unsat=15 bias=15/16 0.49/0.53 c Solving starts ... 0.49/0.53 c ============================[ Search Statistics ]============================ 0.49/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.53 c | | | | Limit GC | Var | Constra 0.49/0.53 c ============================================================================= 0.49/0.53 c 0.0s | 0 | 0 | 0 | 2098 0 | 1109 | 0 0.49/0.54 c 0.0s | 0 | 1470 | 1 | 2098 0 | 1109 | 0 0.49/0.54 c #cpu_time = 0.006s 0.49/0.54 c #wall_clock_time = 0.006s 0.49/0.54 c #decision = 1470 0.49/0.54 c #random_decision = 0 0.49/0.54 c #conflict = 1 0.49/0.54 c #restart = 0 0.49/0.54 c BCD2: found a new core of size 20: cost of the new core is >=1 0.49/0.54 c lower bound updated to 23 0.49/0.54 c BCD2: 23 <= obj <= 2863 0.49/0.54 c BCD2: #cores=15, #unrelaxed=3475, #relaxed=245, #hardened=0 0.49/0.54 c BCD2: #sat=1 #unsat=16 bias=16/17 0.49/0.54 c Solving starts ... 0.49/0.54 c ============================[ Search Statistics ]============================ 0.49/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.54 c | | | | Limit GC | Var | Constra 0.49/0.54 c ============================================================================= 0.49/0.54 c 0.0s | 0 | 0 | 0 | 2098 0 | 1109 | 0 0.49/0.54 c 0.0s | 0 | 1299 | 0 | 2098 0 | 1109 | 0 0.49/0.54 c #cpu_time = 0.005s 0.49/0.54 c #wall_clock_time = 0.005s 0.49/0.54 c #decision = 1299 0.49/0.54 c #random_decision = 0 0.49/0.54 c #conflict = 0 0.49/0.54 c #restart = 0 0.49/0.54 c BCD2: found a new core of size 10: cost of the new core is >=1 0.49/0.54 c lower bound updated to 24 0.49/0.55 c BCD2: 24 <= obj <= 2863 0.49/0.55 c BCD2: #cores=16, #unrelaxed=3465, #relaxed=255, #hardened=0 0.49/0.55 c BCD2: #sat=1 #unsat=17 bias=17/18 0.49/0.55 c Solving starts ... 0.49/0.55 c ============================[ Search Statistics ]============================ 0.49/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.55 c | | | | Limit GC | Var | Constra 0.49/0.55 c ============================================================================= 0.49/0.55 c 0.0s | 0 | 0 | 0 | 2098 0 | 1109 | 0 0.49/0.55 c 0.0s | 0 | 1336 | 0 | 2098 0 | 1109 | 0 0.49/0.55 c #cpu_time = 0.005s 0.49/0.55 c #wall_clock_time = 0.005s 0.49/0.55 c #decision = 1336 0.49/0.55 c #random_decision = 0 0.49/0.55 c #conflict = 0 0.49/0.55 c #restart = 0 0.49/0.55 c BCD2: found a new core of size 8: cost of the new core is >=2 0.49/0.55 c lower bound updated to 26 0.49/0.55 c BCD2: 26 <= obj <= 2863 0.49/0.55 c BCD2: #cores=17, #unrelaxed=3457, #relaxed=263, #hardened=0 0.49/0.55 c BCD2: #sat=1 #unsat=18 bias=18/19 0.49/0.55 c Solving starts ... 0.49/0.55 c ============================[ Search Statistics ]============================ 0.49/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.55 c | | | | Limit GC | Var | Constra 0.49/0.55 c ============================================================================= 0.49/0.55 c 0.0s | 0 | 0 | 0 | 2098 0 | 1109 | 0 0.49/0.56 c 0.0s | 0 | 1342 | 0 | 2098 0 | 1109 | 0 0.49/0.56 c #cpu_time = 0.005s 0.49/0.56 c #wall_clock_time = 0.005s 0.49/0.56 c #decision = 1342 0.49/0.56 c #random_decision = 0 0.49/0.56 c #conflict = 0 0.49/0.56 c #restart = 0 0.49/0.56 c BCD2: found a new core of size 13: cost of the new core is >=1 0.49/0.56 c lower bound updated to 27 0.49/0.56 c BCD2: 27 <= obj <= 2863 0.49/0.56 c BCD2: #cores=18, #unrelaxed=3444, #relaxed=276, #hardened=0 0.49/0.56 c BCD2: #sat=1 #unsat=19 bias=19/20 0.49/0.56 c Solving starts ... 0.49/0.56 c ============================[ Search Statistics ]============================ 0.49/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.56 c | | | | Limit GC | Var | Constra 0.49/0.56 c ============================================================================= 0.49/0.56 c 0.0s | 0 | 0 | 0 | 2098 0 | 1109 | 0 0.49/0.57 c 0.0s | 0 | 1375 | 0 | 2098 0 | 1109 | 0 0.49/0.57 c #cpu_time = 0.005s 0.49/0.57 c #wall_clock_time = 0.005s 0.49/0.57 c #decision = 1375 0.49/0.57 c #random_decision = 0 0.49/0.57 c #conflict = 0 0.49/0.57 c #restart = 0 0.49/0.57 c BCD2: found a new core of size 32: cost of the new core is >=5 0.49/0.57 c lower bound updated to 32 0.49/0.57 c BCD2: 32 <= obj <= 2863 0.49/0.57 c BCD2: #cores=19, #unrelaxed=3412, #relaxed=308, #hardened=0 0.49/0.57 c BCD2: #sat=1 #unsat=20 bias=20/21 0.49/0.57 c Solving starts ... 0.49/0.57 c ============================[ Search Statistics ]============================ 0.49/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.57 c | | | | Limit GC | Var | Constra 0.49/0.57 c ============================================================================= 0.49/0.57 c 0.0s | 0 | 0 | 0 | 2098 0 | 1109 | 0 0.49/0.58 c 0.0s | 0 | 1621 | 10 | 2098 0 | 1109 | 0 0.49/0.58 c #cpu_time = 0.007s 0.49/0.58 c #wall_clock_time = 0.007s 0.49/0.58 c #decision = 1621 0.49/0.58 c #random_decision = 0 0.49/0.58 c #conflict = 10 0.49/0.58 c #restart = 0 0.49/0.58 c BCD2: found a new core of size 33: cost of the new core is >=1 0.49/0.58 c lower bound updated to 33 0.49/0.58 c BCD2: 33 <= obj <= 2863 0.49/0.58 c BCD2: #cores=20, #unrelaxed=3379, #relaxed=341, #hardened=0 0.49/0.58 c BCD2: #sat=1 #unsat=21 bias=21/22 0.49/0.58 c Solving starts ... 0.49/0.58 c ============================[ Search Statistics ]============================ 0.49/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.58 c | | | | Limit GC | Var | Constra 0.49/0.58 c ============================================================================= 0.49/0.58 c 0.0s | 0 | 0 | 0 | 2098 0 | 1109 | 0 0.49/0.59 c 0.0s | 0 | 2348 | 20 | 2098 0 | 1109 | 0 0.49/0.59 c #cpu_time = 0.008s 0.49/0.59 c #wall_clock_time = 0.008s 0.49/0.59 c #decision = 2348 0.49/0.59 c #random_decision = 0 0.49/0.59 c #conflict = 20 0.49/0.59 c #restart = 0 0.49/0.59 c BCD2: found a new core of size 38: cost of the new core is >=1 0.49/0.59 c lower bound updated to 34 0.49/0.60 c BCD2: 34 <= obj <= 2863 0.49/0.60 c BCD2: #cores=21, #unrelaxed=3341, #relaxed=379, #hardened=0 0.49/0.60 c BCD2: #sat=1 #unsat=22 bias=22/23 0.49/0.60 c Solving starts ... 0.49/0.60 c ============================[ Search Statistics ]============================ 0.49/0.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.60 c | | | | Limit GC | Var | Constra 0.49/0.60 c ============================================================================= 0.58/0.60 c 0.0s | 0 | 0 | 0 | 2098 0 | 1109 | 0 0.58/0.61 c 0.0s | 0 | 2831 | 10 | 2308 0 | 1109 | 0 0.58/0.61 c #cpu_time = 0.010s 0.58/0.61 c #wall_clock_time = 0.010s 0.58/0.61 c #decision = 2831 0.58/0.61 c #random_decision = 0 0.58/0.61 c #conflict = 10 0.58/0.61 c #restart = 0 0.58/0.61 c BCD2: found a new core of size 33: cost of the new core is >=1 0.58/0.61 c lower bound updated to 35 0.58/0.61 c BCD2: 35 <= obj <= 2863 0.58/0.61 c BCD2: #cores=22, #unrelaxed=3308, #relaxed=412, #hardened=0 0.58/0.61 c BCD2: #sat=1 #unsat=23 bias=23/24 0.58/0.61 c Solving starts ... 0.58/0.61 c ============================[ Search Statistics ]============================ 0.58/0.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.58/0.61 c | | | | Limit GC | Var | Constra 0.58/0.61 c ============================================================================= 0.58/0.61 c 0.0s | 0 | 0 | 0 | 2308 0 | 1109 | 0 0.58/0.62 c 0.0s | 0 | 2694 | 4 | 2308 0 | 1109 | 0 0.58/0.62 c #cpu_time = 0.011s 0.58/0.62 c #wall_clock_time = 0.011s 0.58/0.62 c #decision = 2694 0.58/0.62 c #random_decision = 3 0.58/0.62 c #conflict = 4 0.58/0.62 c #restart = 0 0.58/0.62 c BCD2: found a new core of size 32: cost of the new core is >=1 0.58/0.62 c lower bound updated to 36 0.58/0.62 c BCD2: 36 <= obj <= 2863 0.58/0.62 c BCD2: #cores=23, #unrelaxed=3276, #relaxed=444, #hardened=0 0.58/0.62 c BCD2: #sat=1 #unsat=24 bias=24/25 0.58/0.62 c Solving starts ... 0.58/0.62 c ============================[ Search Statistics ]============================ 0.58/0.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.58/0.62 c | | | | Limit GC | Var | Constra 0.58/0.62 c ============================================================================= 0.58/0.62 c 0.0s | 0 | 0 | 0 | 2308 0 | 1109 | 0 0.58/0.69 c 0.1s | 0 | 12373 | 27 | 2308 0 | 1110 | 0 0.58/0.69 c #cpu_time = 0.061s 0.58/0.69 c #wall_clock_time = 0.061s 0.58/0.69 c #decision = 12373 0.58/0.69 c #random_decision = 2 0.58/0.69 c #conflict = 27 0.58/0.69 c #restart = 0 0.58/0.69 c BCD2: found a new core of size 63: cost of the new core is >=1 0.58/0.69 c lower bound updated to 37 0.58/0.69 c BCD2: 37 <= obj <= 2863 0.58/0.69 c BCD2: #cores=24, #unrelaxed=3213, #relaxed=507, #hardened=0 0.58/0.69 c BCD2: #sat=1 #unsat=25 bias=25/26 0.58/0.69 c Solving starts ... 0.58/0.69 c ============================[ Search Statistics ]============================ 0.58/0.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.58/0.69 c | | | | Limit GC | Var | Constra 0.58/0.69 c ============================================================================= 0.58/0.69 c 0.0s | 0 | 0 | 0 | 2308 0 | 1110 | 0 0.69/0.73 c 0.0s | 0 | 8364 | 21 | 2308 0 | 1110 | 0 0.69/0.73 c #cpu_time = 0.032s 0.69/0.73 c #wall_clock_time = 0.032s 0.69/0.73 c #decision = 8364 0.69/0.73 c #random_decision = 1 0.69/0.73 c #conflict = 21 0.69/0.73 c #restart = 0 0.69/0.73 c BCD2: found a new core of size 38: cost of the new core is >=1 0.69/0.73 c lower bound updated to 38 0.69/0.73 c BCD2: 38 <= obj <= 2863 0.69/0.73 c BCD2: #cores=25, #unrelaxed=3175, #relaxed=545, #hardened=0 0.69/0.73 c BCD2: #sat=1 #unsat=26 bias=26/27 0.69/0.73 c Solving starts ... 0.69/0.73 c ============================[ Search Statistics ]============================ 0.69/0.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.73 c | | | | Limit GC | Var | Constra 0.69/0.73 c ============================================================================= 0.69/0.73 c 0.0s | 0 | 0 | 0 | 2308 0 | 1110 | 0 0.69/0.78 c 0.0s | 0 | 12090 | 29 | 2308 0 | 1111 | 0 0.69/0.78 c #cpu_time = 0.046s 0.69/0.78 c #wall_clock_time = 0.046s 0.69/0.78 c #decision = 12090 0.69/0.78 c #random_decision = 2 0.69/0.78 c #conflict = 29 0.69/0.78 c #restart = 0 0.69/0.78 c BCD2: found a new core of size 32: cost of the new core is >=1 0.69/0.78 c lower bound updated to 39 0.69/0.78 c BCD2: 39 <= obj <= 2863 0.69/0.78 c BCD2: #cores=26, #unrelaxed=3143, #relaxed=577, #hardened=0 0.69/0.78 c BCD2: #sat=1 #unsat=27 bias=27/28 0.69/0.78 c Solving starts ... 0.69/0.78 c ============================[ Search Statistics ]============================ 0.69/0.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.78 c | | | | Limit GC | Var | Constra 0.69/0.78 c ============================================================================= 0.69/0.78 c 0.0s | 0 | 0 | 0 | 2308 0 | 1111 | 0 0.79/0.82 c 0.0s | 0 | 10027 | 7 | 2308 0 | 1111 | 0 0.79/0.82 c #cpu_time = 0.039s 0.79/0.82 c #wall_clock_time = 0.039s 0.79/0.82 c #decision = 10027 0.79/0.82 c #random_decision = 0 0.79/0.82 c #conflict = 7 0.79/0.82 c #restart = 0 0.79/0.82 c BCD2: found a new core of size 45: cost of the new core is >=1 0.79/0.82 c lower bound updated to 40 0.79/0.82 c BCD2: 40 <= obj <= 2863 0.79/0.82 c BCD2: #cores=27, #unrelaxed=3098, #relaxed=622, #hardened=0 0.79/0.82 c BCD2: #sat=1 #unsat=28 bias=28/29 0.79/0.82 c Solving starts ... 0.79/0.82 c ============================[ Search Statistics ]============================ 0.79/0.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.82 c | | | | Limit GC | Var | Constra 0.79/0.82 c ============================================================================= 0.79/0.82 c 0.0s | 0 | 0 | 0 | 2308 0 | 1111 | 0 0.89/0.90 c 0.1s | 0 | 19838 | 44 | 2308 0 | 1111 | 0 0.89/0.90 c #cpu_time = 0.075s 0.89/0.90 c #wall_clock_time = 0.075s 0.89/0.90 c #decision = 19838 0.89/0.90 c #random_decision = 5 0.89/0.90 c #conflict = 44 0.89/0.90 c #restart = 0 0.89/0.90 c BCD2: found a new core of size 15: cost of the new core is >=1 0.89/0.90 c lower bound updated to 41 0.89/0.90 c BCD2: 41 <= obj <= 2863 0.89/0.90 c BCD2: #cores=28, #unrelaxed=3083, #relaxed=637, #hardened=0 0.89/0.90 c BCD2: #sat=1 #unsat=29 bias=29/30 0.89/0.90 c Solving starts ... 0.89/0.90 c ============================[ Search Statistics ]============================ 0.89/0.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.90 c | | | | Limit GC | Var | Constra 0.89/0.90 c ============================================================================= 0.89/0.90 c 0.0s | 0 | 0 | 0 | 2308 0 | 1111 | 0 0.89/0.95 c 0.0s | 0 | 9124 | 64 | 2539 0 | 1112 | 0 0.89/0.95 c #cpu_time = 0.043s 0.89/0.95 c #wall_clock_time = 0.043s 0.89/0.95 c #decision = 9124 0.89/0.95 c #random_decision = 0 0.89/0.95 c #conflict = 64 0.89/0.95 c #restart = 0 0.89/0.95 c BCD2: found a new core of size 73: cost of the new core is >=1 0.89/0.95 c lower bound updated to 42 0.89/0.95 c BCD2: 42 <= obj <= 2863 0.89/0.95 c BCD2: #cores=29, #unrelaxed=3010, #relaxed=710, #hardened=0 0.89/0.95 c BCD2: #sat=1 #unsat=30 bias=30/31 0.89/0.95 c Solving starts ... 0.89/0.95 c ============================[ Search Statistics ]============================ 0.89/0.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.95 c | | | | Limit GC | Var | Constra 0.89/0.95 c ============================================================================= 0.89/0.95 c 0.0s | 0 | 0 | 0 | 2539 0 | 1112 | 0 0.99/1.00 c 0.1s | 1 | 9391 | 100 | 2539 0 | 1112 | 0 0.99/1.03 c 0.1s | 1 | 14332 | 160 | 2539 0 | 1112 | 0 0.99/1.03 c #cpu_time = 0.085s 0.99/1.03 c #wall_clock_time = 0.085s 0.99/1.03 c #decision = 14332 0.99/1.03 c #random_decision = 2 0.99/1.03 c #conflict = 160 0.99/1.03 c #restart = 1 0.99/1.03 c BCD2: found a new core of size 78: cost of the new core is >=1 0.99/1.03 c lower bound updated to 43 0.99/1.04 c BCD2: 43 <= obj <= 2863 0.99/1.04 c BCD2: #cores=30, #unrelaxed=2932, #relaxed=788, #hardened=0 0.99/1.04 c BCD2: #sat=1 #unsat=31 bias=31/32 0.99/1.04 c Solving starts ... 0.99/1.04 c ============================[ Search Statistics ]============================ 0.99/1.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.04 c | | | | Limit GC | Var | Constra 0.99/1.04 c ============================================================================= 0.99/1.04 c 0.0s | 0 | 0 | 0 | 2539 0 | 1112 | 0 0.99/1.06 c 0.0s | 1 | 3934 | 100 | 2793 0 | 1112 | 0 1.09/1.15 c 0.1s | 2 | 19755 | 250 | 2793 0 | 1113 | 0 1.09/1.16 c 0.1s | 2 | 24809 | 295 | 2793 0 | 1114 | 0 1.09/1.16 c #cpu_time = 0.127s 1.09/1.16 c #wall_clock_time = 0.127s 1.09/1.16 c #decision = 24809 1.09/1.16 c #random_decision = 8 1.09/1.16 c #conflict = 295 1.09/1.16 c #restart = 2 1.09/1.17 c BCD2: found a new core of size 69: cost of the new core is >=1 1.09/1.17 c lower bound updated to 44 1.09/1.17 c BCD2: 44 <= obj <= 2863 1.09/1.17 c BCD2: #cores=31, #unrelaxed=2863, #relaxed=857, #hardened=0 1.09/1.17 c BCD2: #sat=1 #unsat=32 bias=32/33 1.09/1.17 c Solving starts ... 1.09/1.17 c ============================[ Search Statistics ]============================ 1.09/1.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.17 c | | | | Limit GC | Var | Constra 1.09/1.17 c ============================================================================= 1.09/1.17 c 0.0s | 0 | 0 | 0 | 2793 0 | 1114 | 0 1.19/1.21 c 0.0s | 0 | 6292 | 25 | 2793 0 | 1114 | 0 1.19/1.21 c #cpu_time = 0.032s 1.19/1.21 c #wall_clock_time = 0.033s 1.19/1.21 c #decision = 6292 1.19/1.21 c #random_decision = 2 1.19/1.21 c #conflict = 25 1.19/1.21 c #restart = 0 1.19/1.21 o 400 1.19/1.21 c BCD2: hardening fixes 372 literals 1.19/1.21 c BCD2: updating upper bound: 2863 -> 399 1.19/1.21 c BCD2: 44 <= obj <= 399 1.19/1.21 c BCD2: #cores=31, #unrelaxed=2491, #relaxed=857, #hardened=372 1.19/1.21 c BCD2: #sat=2 #unsat=32 bias=32/34 1.19/1.22 c Solving starts ... 1.19/1.22 c ============================[ Search Statistics ]============================ 1.19/1.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.22 c | | | | Limit GC | Var | Constra 1.19/1.22 c ============================================================================= 1.19/1.22 c 0.0s | 0 | 0 | 0 | 2793 0 | 1114 | 1 1.19/1.22 c 0.0s | 0 | 26 | 0 | 2793 0 | 1114 | 1 1.19/1.22 c #cpu_time = 0.004s 1.19/1.22 c #wall_clock_time = 0.004s 1.19/1.22 c #decision = 26 1.19/1.22 c #random_decision = 0 1.19/1.22 c #conflict = 0 1.19/1.22 c #restart = 0 1.19/1.22 c BCD2: relaxing 0 and merging with 2 cores into a new core of size 28: cost of the new core is >=3 1.19/1.22 c lower bound updated to 45 1.19/1.23 c BCD2: 45 <= obj <= 399 1.19/1.23 c BCD2: #cores=30, #unrelaxed=2491, #relaxed=857, #hardened=372 1.19/1.23 c BCD2: #sat=2 #unsat=33 bias=33/35 1.19/1.23 c Solving starts ... 1.19/1.23 c ============================[ Search Statistics ]============================ 1.19/1.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.23 c | | | | Limit GC | Var | Constra 1.19/1.23 c ============================================================================= 1.19/1.23 c 0.0s | 0 | 0 | 0 | 2793 0 | 1121 | 1 1.19/1.23 c 0.0s | 0 | 1277 | 0 | 2793 0 | 1121 | 13 1.19/1.23 c #cpu_time = 0.006s 1.19/1.23 c #wall_clock_time = 0.006s 1.19/1.23 c #decision = 1277 1.19/1.23 c #random_decision = 0 1.19/1.23 c #conflict = 0 1.19/1.23 c #restart = 0 1.19/1.23 c BCD2: relaxing 25 and merging with 1 cores into a new core of size 57: cost of the new core is >=6 1.19/1.23 c lower bound updated to 46 1.19/1.23 c BCD2: 46 <= obj <= 399 1.19/1.23 c BCD2: #cores=30, #unrelaxed=2466, #relaxed=882, #hardened=372 1.19/1.23 c BCD2: #sat=2 #unsat=34 bias=34/36 1.19/1.24 c Solving starts ... 1.19/1.24 c ============================[ Search Statistics ]============================ 1.19/1.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.24 c | | | | Limit GC | Var | Constra 1.19/1.24 c ============================================================================= 1.19/1.24 c 0.0s | 0 | 0 | 0 | 2793 0 | 1129 | 13 1.19/1.26 c 0.0s | 1 | 1480 | 100 | 3073 0 | 1129 | 28 1.19/1.29 c 0.1s | 2 | 5497 | 250 | 3073 0 | 1129 | 28 1.29/1.35 c 0.1s | 3 | 9659 | 475 | 3073 0 | 1130 | 28 1.29/1.39 c 0.2s | 3 | 16264 | 629 | 3381 0 | 1130 | 28 1.29/1.39 c #cpu_time = 0.153s 1.29/1.39 c #wall_clock_time = 0.153s 1.29/1.39 c #decision = 16264 1.29/1.39 c #random_decision = 3 1.29/1.39 c #conflict = 629 1.29/1.39 c #restart = 3 1.29/1.39 c BCD2: relaxing 64 and merging with 1 cores into a new core of size 91: cost of the new core is >=2 1.29/1.39 c lower bound updated to 47 1.29/1.40 c BCD2: 47 <= obj <= 399 1.29/1.40 c BCD2: #cores=30, #unrelaxed=2402, #relaxed=946, #hardened=372 1.29/1.40 c BCD2: #sat=2 #unsat=35 bias=35/37 1.39/1.40 c Solving starts ... 1.39/1.40 c ============================[ Search Statistics ]============================ 1.39/1.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.40 c | | | | Limit GC | Var | Constra 1.39/1.40 c ============================================================================= 1.39/1.40 c 0.0s | 0 | 0 | 0 | 3381 0 | 1139 | 28 1.39/1.43 c 0.0s | 1 | 1753 | 100 | 3381 0 | 1139 | 45 1.39/1.45 c 0.1s | 1 | 5074 | 161 | 3381 0 | 1139 | 45 1.39/1.45 c #cpu_time = 0.052s 1.39/1.45 c #wall_clock_time = 0.052s 1.39/1.45 c #decision = 5074 1.39/1.45 c #random_decision = 0 1.39/1.45 c #conflict = 161 1.39/1.45 c #restart = 1 1.39/1.45 c BCD2: relaxing 29 and merging with 1 cores into a new core of size 49: cost of the new core is >=2 1.39/1.45 c lower bound updated to 48 1.49/1.67 c BCD2: 48 <= obj <= 399 1.49/1.67 c BCD2: #cores=30, #unrelaxed=2373, #relaxed=975, #hardened=372 1.49/1.67 c BCD2: #sat=2 #unsat=36 bias=36/38 1.49/1.67 c Solving starts ... 1.49/1.67 c ============================[ Search Statistics ]============================ 1.49/1.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.67 c | | | | Limit GC | Var | Constra 1.49/1.67 c ============================================================================= 1.49/1.67 c 0.0s | 0 | 0 | 0 | 3381 0 | 1141 | 45 1.49/1.67 c 0.0s | 0 | 5153 | 12 | 3381 0 | 1141 | 48 1.49/1.67 c #cpu_time = 0.027s 1.49/1.67 c #wall_clock_time = 0.027s 1.49/1.67 c #decision = 5153 1.49/1.67 c #random_decision = 2 1.49/1.67 c #conflict = 12 1.49/1.67 c #restart = 0 1.49/1.67 c BCD2: relaxing 18 and merging with 1 cores into a new core of size 27: cost of the new core is >=3 1.49/1.67 c lower bound updated to 49 1.49/1.67 c BCD2: 49 <= obj <= 399 1.49/1.67 c BCD2: #cores=30, #unrelaxed=2355, #relaxed=993, #hardened=372 1.49/1.67 c BCD2: #sat=2 #unsat=37 bias=37/39 1.49/1.67 c Solving starts ... 1.49/1.67 c ============================[ Search Statistics ]============================ 1.49/1.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.67 c | | | | Limit GC | Var | Constra 1.49/1.67 c ============================================================================= 1.49/1.67 c 0.0s | 0 | 0 | 0 | 3381 0 | 1143 | 48 1.49/1.67 c 0.0s | 1 | 1549 | 100 | 3381 0 | 1143 | 51 1.49/1.67 c 0.0s | 2 | 3065 | 250 | 3381 0 | 1143 | 51 1.49/1.67 c 0.1s | 2 | 12762 | 315 | 3381 0 | 1143 | 51 1.49/1.67 c #cpu_time = 0.111s 1.49/1.67 c #wall_clock_time = 0.112s 1.49/1.67 c #decision = 12762 1.49/1.67 c #random_decision = 3 1.49/1.67 c #conflict = 315 1.49/1.67 c #restart = 2 1.49/1.67 c BCD2: relaxing 65 and merging with 2 cores into a new core of size 112: cost of the new core is >=5 1.49/1.67 c lower bound updated to 50 1.49/1.67 c BCD2: 50 <= obj <= 399 1.49/1.67 c BCD2: #cores=29, #unrelaxed=2290, #relaxed=1058, #hardened=372 1.49/1.67 c BCD2: #sat=2 #unsat=38 bias=38/40 1.49/1.67 c Solving starts ... 1.49/1.67 c ============================[ Search Statistics ]============================ 1.49/1.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.67 c | | | | Limit GC | Var | Constra 1.49/1.67 c ============================================================================= 1.49/1.67 c 0.0s | 0 | 0 | 0 | 3381 0 | 1146 | 51 1.49/1.67 c 0.1s | 0 | 10285 | 78 | 3381 0 | 1146 | 55 1.49/1.67 c #cpu_time = 0.066s 1.49/1.67 c #wall_clock_time = 0.067s 1.49/1.67 c #decision = 10285 1.49/1.67 c #random_decision = 3 1.49/1.67 c #conflict = 78 1.49/1.67 c #restart = 0 1.49/1.67 c BCD2: relaxing 14 and merging with 1 cores into a new core of size 71: cost of the new core is >=7 1.49/1.67 c lower bound updated to 51 1.49/1.67 c BCD2: 51 <= obj <= 399 1.49/1.67 c BCD2: #cores=29, #unrelaxed=2276, #relaxed=1072, #hardened=372 1.49/1.67 c BCD2: #sat=2 #unsat=39 bias=39/41 1.49/1.67 c Solving starts ... 1.49/1.67 c ============================[ Search Statistics ]============================ 1.49/1.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.67 c | | | | Limit GC | Var | Constra 1.49/1.67 c ============================================================================= 1.49/1.67 c 0.0s | 0 | 0 | 0 | 3381 0 | 1147 | 55 1.49/1.69 c 0.0s | 0 | 1509 | 17 | 3381 0 | 1147 | 56 1.49/1.69 c #cpu_time = 0.017s 1.49/1.69 c #wall_clock_time = 0.017s 1.49/1.69 c #decision = 1509 1.49/1.69 c #random_decision = 0 1.49/1.69 c #conflict = 17 1.49/1.69 c #restart = 0 1.49/1.69 o 288 1.49/1.69 c BCD2: hardening fixes 124 literals 1.49/1.69 c BCD2: updating upper bound: 399 -> 287 1.49/1.70 c BCD2: 51 <= obj <= 287 1.49/1.70 c BCD2: #cores=29, #unrelaxed=2152, #relaxed=1072, #hardened=496 1.49/1.70 c BCD2: #sat=3 #unsat=39 bias=39/42 1.49/1.70 c Solving starts ... 1.49/1.70 c ============================[ Search Statistics ]============================ 1.49/1.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.70 c | | | | Limit GC | Var | Constra 1.49/1.70 c ============================================================================= 1.49/1.70 c 0.0s | 0 | 0 | 0 | 3381 0 | 1147 | 57 1.49/1.71 c 0.0s | 0 | 409 | 0 | 3381 0 | 1147 | 57 1.49/1.71 c #cpu_time = 0.007s 1.49/1.71 c #wall_clock_time = 0.007s 1.49/1.71 c #decision = 409 1.49/1.71 c #random_decision = 0 1.49/1.71 c #conflict = 0 1.49/1.71 c #restart = 0 1.49/1.71 c BCD2: relaxing 10 and merging with 2 cores into a new core of size 51: cost of the new core is >=3 1.49/1.71 c lower bound updated to 52 1.49/1.71 c BCD2: 52 <= obj <= 287 1.49/1.71 c BCD2: #cores=28, #unrelaxed=2142, #relaxed=1082, #hardened=496 1.49/1.71 c BCD2: #sat=3 #unsat=40 bias=40/43 1.49/1.71 c Solving starts ... 1.49/1.71 c ============================[ Search Statistics ]============================ 1.49/1.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.71 c | | | | Limit GC | Var | Constra 1.49/1.71 c ============================================================================= 1.49/1.71 c 0.0s | 0 | 0 | 0 | 3381 0 | 1154 | 57 1.49/1.75 c 0.0s | 1 | 3106 | 100 | 3720 0 | 1154 | 69 1.49/1.80 c 0.1s | 2 | 5591 | 250 | 3720 0 | 1154 | 69 1.80/1.85 c 0.1s | 3 | 7080 | 475 | 3720 0 | 1154 | 69 1.89/1.95 c 0.2s | 4 | 10741 | 813 | 3720 0 | 1154 | 69 2.09/2.11 c 0.4s | 5 | 12893 | 1320 | 4093 0 | 1154 | 69 2.29/2.35 c 0.6s | 6 | 15728 | 2081 | 4093 0 | 1154 | 69 2.39/2.45 c 0.7s | 6 | 20940 | 2277 | 4093 0 | 1154 | 69 2.39/2.45 c #cpu_time = 0.735s 2.39/2.45 c #wall_clock_time = 0.737s 2.39/2.45 c #decision = 20940 2.39/2.45 c #random_decision = 12 2.39/2.45 c #conflict = 2277 2.39/2.45 c #restart = 6 2.39/2.45 c BCD2: relaxing 22 and merging with 1 cores into a new core of size 50: cost of the new core is >=4 2.39/2.45 c lower bound updated to 53 2.39/2.46 c BCD2: 53 <= obj <= 287 2.39/2.46 c BCD2: #cores=28, #unrelaxed=2120, #relaxed=1104, #hardened=496 2.39/2.46 c BCD2: #sat=3 #unsat=41 bias=41/44 2.39/2.46 c Solving starts ... 2.39/2.46 c ============================[ Search Statistics ]============================ 2.39/2.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.39/2.46 c | | | | Limit GC | Var | Constra 2.39/2.46 c ============================================================================= 2.39/2.46 c 0.0s | 0 | 0 | 0 | 4093 0 | 1156 | 69 2.39/2.50 c 0.0s | 1 | 3369 | 100 | 4093 0 | 1156 | 72 2.50/2.55 c 0.1s | 2 | 4781 | 250 | 4093 0 | 1156 | 72 2.59/2.61 c 0.1s | 3 | 6237 | 475 | 4093 0 | 1156 | 72 2.59/2.69 c 0.2s | 4 | 9421 | 813 | 4503 0 | 1156 | 72 2.69/2.79 c 0.3s | 4 | 16792 | 1036 | 4503 0 | 1157 | 72 2.69/2.79 c #cpu_time = 0.330s 2.69/2.79 c #wall_clock_time = 0.330s 2.69/2.79 c #decision = 16792 2.69/2.79 c #random_decision = 3 2.69/2.79 c #conflict = 1036 2.69/2.79 c #restart = 4 2.69/2.79 c BCD2: relaxing 43 and merging with 2 cores into a new core of size 106: cost of the new core is >=3 2.69/2.79 c lower bound updated to 54 2.69/2.79 c BCD2: 54 <= obj <= 287 2.69/2.79 c BCD2: #cores=27, #unrelaxed=2077, #relaxed=1147, #hardened=496 2.69/2.79 c BCD2: #sat=3 #unsat=42 bias=42/45 2.69/2.80 c Solving starts ... 2.69/2.80 c ============================[ Search Statistics ]============================ 2.69/2.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.69/2.80 c | | | | Limit GC | Var | Constra 2.69/2.80 c ============================================================================= 2.69/2.80 c 0.0s | 0 | 0 | 0 | 4503 0 | 1164 | 72 2.79/2.83 c 0.0s | 1 | 1229 | 100 | 4503 0 | 1164 | 84 2.79/2.87 c 0.1s | 2 | 2522 | 250 | 4503 0 | 1164 | 84 2.89/2.93 c 0.1s | 3 | 3932 | 475 | 4503 0 | 1164 | 84 2.99/3.06 c 0.3s | 4 | 9487 | 813 | 4503 1 | 1165 | 84 3.19/3.26 c 0.5s | 5 | 17272 | 1320 | 4503 1 | 1166 | 84 3.50/3.54 c 0.7s | 6 | 34795 | 2081 | 4503 1 | 1166 | 84 3.79/3.89 c 1.1s | 7 | 44312 | 3223 | 4954 1 | 1167 | 84 4.09/4.15 c 1.4s | 7 | 54443 | 4115 | 4954 1 | 1167 | 84 4.09/4.15 c #cpu_time = 1.350s 4.09/4.15 c #wall_clock_time = 1.353s 4.09/4.15 c #decision = 54443 4.09/4.15 c #random_decision = 25 4.09/4.15 c #conflict = 4115 4.09/4.15 c #restart = 7 4.09/4.15 c BCD2: relaxing 6 and merging with 2 cores into a new core of size 54: cost of the new core is >=3 4.09/4.15 c lower bound updated to 55 4.09/4.15 c BCD2: 55 <= obj <= 287 4.09/4.15 c BCD2: #cores=26, #unrelaxed=2071, #relaxed=1153, #hardened=496 4.09/4.15 c BCD2: #sat=3 #unsat=43 bias=43/46 4.09/4.15 c Solving starts ... 4.09/4.15 c ============================[ Search Statistics ]============================ 4.09/4.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.09/4.15 c | | | | Limit GC | Var | Constra 4.09/4.15 c ============================================================================= 4.09/4.15 c 0.0s | 0 | 0 | 0 | 4954 0 | 1173 | 84 4.09/4.19 c 0.0s | 1 | 1253 | 100 | 4954 1 | 1173 | 94 4.19/4.22 c 0.1s | 2 | 2557 | 250 | 4954 1 | 1173 | 94 4.19/4.25 c 0.1s | 3 | 3934 | 475 | 4954 1 | 1173 | 94 4.29/4.30 c 0.1s | 3 | 8781 | 590 | 4954 1 | 1174 | 94 4.29/4.30 c #cpu_time = 0.147s 4.29/4.30 c #wall_clock_time = 0.148s 4.29/4.30 c #decision = 8781 4.29/4.30 c #random_decision = 3 4.29/4.30 c #conflict = 590 4.29/4.30 c #restart = 3 4.29/4.30 c BCD2: relaxing 29 and merging with 2 cores into a new core of size 93: cost of the new core is >=5 4.29/4.30 c lower bound updated to 56 4.29/4.32 c BCD2: 56 <= obj <= 287 4.29/4.32 c BCD2: #cores=25, #unrelaxed=2042, #relaxed=1182, #hardened=496 4.29/4.32 c BCD2: #sat=3 #unsat=44 bias=44/47 4.29/4.32 c Solving starts ... 4.29/4.32 c ============================[ Search Statistics ]============================ 4.29/4.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.29/4.32 c | | | | Limit GC | Var | Constra 4.29/4.32 c ============================================================================= 4.29/4.32 c 0.0s | 0 | 0 | 0 | 4954 0 | 1177 | 94 4.29/4.38 c 0.1s | 1 | 3538 | 100 | 4954 0 | 1177 | 98 4.39/4.42 c 0.1s | 1 | 5135 | 211 | 4954 0 | 1177 | 98 4.39/4.42 c #cpu_time = 0.092s 4.39/4.42 c #wall_clock_time = 0.092s 4.39/4.42 c #decision = 5135 4.39/4.42 c #random_decision = 2 4.39/4.42 c #conflict = 211 4.39/4.42 c #restart = 1 4.39/4.42 o 245 4.39/4.42 c BCD2: updating upper bound: 287 -> 244 4.39/4.43 c BCD2: 56 <= obj <= 244 4.39/4.43 c BCD2: #cores=25, #unrelaxed=2042, #relaxed=1182, #hardened=496 4.39/4.43 c BCD2: #sat=4 #unsat=44 bias=44/48 4.39/4.43 c Solving starts ... 4.39/4.43 c ============================[ Search Statistics ]============================ 4.39/4.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.39/4.43 c | | | | Limit GC | Var | Constra 4.39/4.43 c ============================================================================= 4.39/4.44 c 0.0s | 0 | 0 | 0 | 4954 0 | 1177 | 99 4.39/4.47 c 0.0s | 1 | 1340 | 100 | 4954 0 | 1177 | 99 4.49/4.51 c 0.1s | 2 | 2729 | 250 | 4954 0 | 1177 | 99 4.49/4.59 c 0.2s | 3 | 7631 | 475 | 4954 0 | 1177 | 99 4.60/4.68 c 0.2s | 4 | 12968 | 813 | 4954 0 | 1177 | 99 4.79/4.81 c 0.4s | 5 | 17926 | 1320 | 5450 0 | 1177 | 99 4.99/5.00 c 0.6s | 6 | 20228 | 2081 | 5450 0 | 1177 | 99 5.29/5.33 c 0.9s | 7 | 23595 | 3223 | 5450 0 | 1177 | 99 5.99/6.05 c 1.6s | 8 | 43710 | 4936 | 5450 1 | 1177 | 99 6.99/7.04 c 2.6s | 9 | 55702 | 7506 | 5996 1 | 1177 | 99 7.79/7.88 c 3.4s | 9 | 77100 | 10340 | 5996 2 | 1177 | 99 7.79/7.88 c #cpu_time = 3.437s 7.79/7.88 c #wall_clock_time = 3.446s 7.79/7.88 c #decision = 77100 7.79/7.88 c #random_decision = 45 7.79/7.88 c #conflict = 10340 7.79/7.88 c #restart = 9 7.79/7.88 c BCD2: relaxing 46 and merging with 1 cores into a new core of size 152: cost of the new core is >=4 7.79/7.88 c lower bound updated to 57 7.79/7.89 c BCD2: 57 <= obj <= 244 7.79/7.89 c BCD2: #cores=25, #unrelaxed=1996, #relaxed=1228, #hardened=496 7.79/7.89 c BCD2: #sat=4 #unsat=45 bias=45/49 7.79/7.89 c Solving starts ... 7.79/7.89 c ============================[ Search Statistics ]============================ 7.79/7.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.79/7.89 c | | | | Limit GC | Var | Constra 7.79/7.89 c ============================================================================= 7.79/7.89 c 0.0s | 0 | 0 | 0 | 5996 0 | 1179 | 99 7.89/7.93 c 0.0s | 1 | 1262 | 100 | 5996 0 | 1179 | 102 7.89/7.98 c 0.1s | 1 | 7497 | 243 | 5996 0 | 1179 | 102 7.89/7.98 c #cpu_time = 0.095s 7.89/7.98 c #wall_clock_time = 0.095s 7.89/7.98 c #decision = 7497 7.89/7.98 c #random_decision = 0 7.89/7.98 c #conflict = 243 7.89/7.98 c #restart = 1 7.89/7.98 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 154: cost of the new core is >=5 7.89/7.98 c lower bound updated to 58 7.89/7.98 c BCD2: 58 <= obj <= 244 7.89/7.98 c BCD2: #cores=25, #unrelaxed=1994, #relaxed=1230, #hardened=496 7.89/7.98 c BCD2: #sat=4 #unsat=46 bias=46/50 7.89/7.98 c Solving starts ... 7.89/7.98 c ============================[ Search Statistics ]============================ 7.89/7.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.89/7.98 c | | | | Limit GC | Var | Constra 7.89/7.98 c ============================================================================= 7.89/7.98 c 0.0s | 0 | 0 | 0 | 5996 0 | 1180 | 102 7.99/8.03 c 0.0s | 1 | 1219 | 100 | 5996 0 | 1180 | 103 7.99/8.08 c 0.1s | 2 | 2574 | 250 | 5996 0 | 1180 | 103 8.09/8.16 c 0.2s | 3 | 4238 | 475 | 5996 0 | 1180 | 103 8.19/8.25 c 0.3s | 4 | 5804 | 813 | 5996 0 | 1180 | 103 8.38/8.42 c 0.4s | 5 | 8194 | 1320 | 5996 1 | 1180 | 103 8.48/8.59 c 0.6s | 6 | 10862 | 2081 | 5996 1 | 1180 | 103 8.88/8.90 c 0.9s | 7 | 14691 | 3223 | 5996 1 | 1180 | 103 9.38/9.40 c 1.4s | 8 | 24376 | 4936 | 6596 1 | 1180 | 103 9.88/9.97 c 2.0s | 8 | 54763 | 6734 | 6596 2 | 1180 | 103 9.88/9.97 c #cpu_time = 1.974s 9.88/9.97 c #wall_clock_time = 1.979s 9.88/9.97 c #decision = 54763 9.88/9.97 c #random_decision = 40 9.88/9.97 c #conflict = 6734 9.88/9.97 c #restart = 8 9.88/9.97 c BCD2: relaxing 48 and merging with 2 cores into a new core of size 89: cost of the new core is >=4 9.88/9.97 c lower bound updated to 59 9.88/9.97 c BCD2: 59 <= obj <= 244 9.88/9.97 c BCD2: #cores=24, #unrelaxed=1946, #relaxed=1278, #hardened=496 9.88/9.97 c BCD2: #sat=4 #unsat=47 bias=47/51 9.88/9.97 c Solving starts ... 9.88/9.97 c ============================[ Search Statistics ]============================ 9.88/9.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.88/9.97 c | | | | Limit GC | Var | Constra 9.88/9.97 c ============================================================================= 9.88/9.97 c 0.0s | 0 | 0 | 0 | 6596 0 | 1187 | 103 9.98/10.04 c 0.1s | 1 | 5138 | 100 | 6596 0 | 1188 | 115 9.98/10.07 c 0.1s | 1 | 9942 | 106 | 6596 0 | 1188 | 115 9.98/10.07 c #cpu_time = 0.103s 9.98/10.07 c #wall_clock_time = 0.104s 9.98/10.07 c #decision = 9942 9.98/10.07 c #random_decision = 1 9.98/10.07 c #conflict = 106 9.98/10.07 c #restart = 1 9.98/10.07 c BCD2: relaxing 278 and merging with 7 cores into a new core of size 658: cost of the new core is >=18 9.98/10.07 c lower bound updated to 60 9.98/10.08 c BCD2: 60 <= obj <= 244 9.98/10.08 c BCD2: #cores=18, #unrelaxed=1668, #relaxed=1556, #hardened=496 9.98/10.08 c BCD2: #sat=4 #unsat=48 bias=48/52 9.98/10.08 c Solving starts ... 9.98/10.08 c ============================[ Search Statistics ]============================ 9.98/10.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.98/10.08 c | | | | Limit GC | Var | Constra 9.98/10.08 c ============================================================================= 9.98/10.09 c 0.0s | 0 | 0 | 0 | 6596 0 | 1243 | 115 10.09/10.17 c 0.1s | 1 | 1226 | 100 | 6596 0 | 1243 | 222 10.19/10.28 c 0.2s | 2 | 2383 | 250 | 6596 0 | 1243 | 222 10.38/10.46 c 0.4s | 3 | 3742 | 475 | 6596 0 | 1243 | 222 10.68/10.73 c 0.6s | 4 | 6169 | 813 | 6596 0 | 1244 | 222 11.08/11.19 c 1.1s | 5 | 12617 | 1320 | 6596 0 | 1249 | 222 11.68/11.77 c 1.7s | 6 | 15008 | 2081 | 6596 0 | 1249 | 222 12.48/12.57 c 2.5s | 7 | 18116 | 3223 | 6596 0 | 1249 | 222 13.78/13.88 c 3.8s | 8 | 25207 | 4936 | 6596 0 | 1250 | 222 15.78/15.89 c 5.8s | 8 | 29352 | 6436 | 6596 0 | 1250 | 222 16.88/16.96 c 6.9s | 9 | 31922 | 7506 | 6596 0 | 1250 | 222 18.99/19.03 c 8.9s | 9 | 37277 | 9206 | 6596 1 | 1250 | 222 21.09/21.16 c 11.1s | 9 | 40618 | 10706 | 6596 1 | 1250 | 222 22.08/22.20 c 12.1s | 10 | 41965 | 11361 | 7256 1 | 1250 | 222 24.28/24.33 c 14.2s | 10 | 46512 | 12861 | 7256 1 | 1250 | 222 26.39/26.41 c 16.3s | 10 | 49620 | 14261 | 7256 2 | 1250 | 222 28.39/28.43 c 18.3s | 10 | 53708 | 15961 | 7256 2 | 1250 | 222 29.79/29.86 c 19.8s | 11 | 56654 | 17144 | 7256 2 | 1250 | 222 31.79/31.89 c 21.8s | 11 | 61051 | 18544 | 7256 3 | 1250 | 222 33.89/33.98 c 23.9s | 11 | 64960 | 20544 | 7256 3 | 1250 | 222 36.09/36.11 c 26.0s | 11 | 67867 | 22044 | 7256 3 | 1250 | 222 38.09/38.11 c 28.0s | 11 | 71501 | 23444 | 7256 4 | 1250 | 222 40.19/40.21 c 30.1s | 11 | 75761 | 25044 | 7256 4 | 1250 | 222 41.19/41.23 c 31.1s | 12 | 77811 | 25819 | 7256 4 | 1250 | 222 43.19/43.24 c 33.2s | 12 | 83676 | 27419 | 7256 4 | 1250 | 222 45.29/45.33 c 35.2s | 12 | 88194 | 29119 | 7256 5 | 1250 | 222 47.39/47.40 c 37.3s | 12 | 94217 | 30719 | 7982 5 | 1251 | 222 49.49/49.54 c 39.5s | 12 | 98352 | 32219 | 7982 5 | 1251 | 222 51.49/51.56 c 41.5s | 12 | 101925 | 33519 | 7982 6 | 1251 | 222 53.48/53.59 c 43.5s | 12 | 106236 | 35019 | 7982 6 | 1251 | 222 55.58/55.69 c 45.6s | 12 | 110151 | 36419 | 7982 6 | 1251 | 222 57.78/57.84 c 47.8s | 12 | 114625 | 37919 | 7982 6 | 1251 | 222 59.18/59.22 c 49.1s | 13 | 117492 | 38832 | 7982 7 | 1251 | 222 61.18/61.28 c 51.2s | 13 | 122276 | 40132 | 7982 7 | 1251 | 222 63.38/63.44 c 53.4s | 13 | 125747 | 41732 | 7982 7 | 1251 | 222 65.48/65.52 c 55.4s | 13 | 130600 | 43232 | 7982 7 | 1251 | 222 67.48/67.56 c 57.5s | 13 | 134368 | 44532 | 7982 8 | 1251 | 222 69.58/69.67 c 59.6s | 13 | 137244 | 45832 | 7982 8 | 1251 | 222 71.68/71.72 c 61.6s | 13 | 140968 | 47232 | 7982 8 | 1251 | 222 73.78/73.81 c 63.7s | 13 | 144020 | 48532 | 7982 8 | 1251 | 222 75.88/75.91 c 65.8s | 13 | 147719 | 49932 | 7982 9 | 1251 | 222 77.98/78.00 c 67.9s | 13 | 152666 | 51532 | 7982 9 | 1251 | 222 79.97/80.06 c 70.0s | 13 | 156340 | 53132 | 7982 9 | 1251 | 222 82.07/82.20 c 72.1s | 13 | 159681 | 54532 | 7982 9 | 1251 | 222 84.17/84.24 c 74.2s | 13 | 163496 | 55932 | 7982 10 | 1251 | 222 86.27/86.30 c 76.2s | 13 | 168727 | 57632 | 7982 10 | 1251 | 222 87.27/87.34 c 77.3s | 14 | 170681 | 58352 | 7982 10 | 1251 | 222 89.38/89.43 c 79.3s | 14 | 175416 | 59752 | 8781 10 | 1251 | 222 91.48/91.54 c 81.5s | 14 | 178285 | 61252 | 8781 11 | 1251 | 222 93.47/93.58 c 83.5s | 14 | 182328 | 62952 | 8781 11 | 1251 | 222 95.67/95.71 c 85.6s | 14 | 184841 | 64252 | 8781 11 | 1251 | 222 98.37/98.46 c 88.4s | 14 | 187803 | 65952 | 8781 11 | 1251 | 222 100.47/100.52 c 90.4s | 14 | 191964 | 68152 | 8781 12 | 1251 | 222 102.48/102.57 c 92.5s | 14 | 196298 | 70552 | 8781 12 | 1251 | 222 104.47/104.59 c 94.5s | 14 | 200463 | 72752 | 8781 12 | 1251 | 222 106.67/106.72 c 96.6s | 14 | 203893 | 74352 | 8781 13 | 1251 | 222 108.77/108.85 c 98.8s | 14 | 207123 | 75852 | 8781 13 | 1251 | 222 110.87/110.95 c 100s | 14 | 210852 | 77552 | 8781 13 | 1251 | 222 112.97/113.02 c 102s | 14 | 213499 | 78752 | 8781 14 | 1251 | 222 114.97/115.05 c 104s | 14 | 218463 | 80152 | 8781 14 | 1251 | 222 116.97/117.09 c 107s | 14 | 223130 | 81552 | 8781 14 | 1251 | 222 119.07/119.16 c 109s | 14 | 226183 | 82852 | 8781 14 | 1251 | 222 121.17/121.21 c 111s | 14 | 229575 | 84152 | 8781 14 | 1251 | 222 123.17/123.22 c 113s | 14 | 232354 | 85452 | 8781 15 | 1251 | 222 125.17/125.26 c 115s | 14 | 235020 | 86852 | 8781 15 | 1251 | 222 126.47/126.53 c 116s | 15 | 236401 | 87632 | 8781 15 | 1251 | 222 128.57/128.65 c 118s | 15 | 240239 | 88832 | 8781 15 | 1251 | 222 130.67/130.76 c 120s | 15 | 243206 | 90232 | 8781 16 | 1251 | 222 132.76/132.87 c 122s | 15 | 246006 | 91632 | 8781 16 | 1251 | 222 134.96/135.05 c 124s | 15 | 249242 | 93332 | 8781 16 | 1251 | 222 137.06/137.12 c 127s | 15 | 251110 | 94432 | 8781 16 | 1251 | 222 139.06/139.16 c 129s | 15 | 252847 | 95232 | 8781 16 | 1251 | 222 141.07/141.17 c 131s | 15 | 254598 | 96032 | 8781 17 | 1251 | 222 143.17/143.23 c 133s | 15 | 259217 | 97532 | 8781 17 | 1251 | 222 145.26/145.36 c 135s | 15 | 262387 | 98932 | 8781 17 | 1251 | 222 147.26/147.37 c 137s | 15 | 267753 | 100432 | 8781 17 | 1251 | 222 149.26/149.37 c 139s | 15 | 271778 | 101832 | 8781 17 | 1251 | 222 151.36/151.47 c 141s | 15 | 274263 | 103432 | 9660 18 | 1251 | 222 153.66/153.71 c 143s | 15 | 276369 | 104732 | 9660 18 | 1251 | 222 155.66/155.75 c 145s | 15 | 278277 | 105932 | 9660 18 | 1251 | 222 157.76/157.82 c 147s | 15 | 280586 | 107332 | 9660 18 | 1251 | 222 159.78/159.88 c 149s | 15 | 282744 | 108532 | 9660 19 | 1251 | 222 161.88/161.91 c 151s | 15 | 285322 | 109732 | 9660 19 | 1251 | 222 163.87/163.91 c 153s | 15 | 289157 | 112432 | 9660 19 | 1251 | 222 165.87/165.98 c 155s | 15 | 294047 | 115032 | 9660 19 | 1251 | 222 167.97/168.05 c 157s | 15 | 299743 | 117732 | 9660 20 | 1251 | 222 170.07/170.13 c 160s | 15 | 305603 | 120632 | 9660 20 | 1251 | 222 172.17/172.21 c 162s | 15 | 310570 | 123132 | 9660 21 | 1251 | 222 174.17/174.26 c 164s | 15 | 316560 | 125632 | 9660 21 | 1251 | 222 176.17/176.30 c 166s | 15 | 321230 | 128232 | 9660 21 | 1251 | 222 178.27/178.35 c 168s | 15 | 324919 | 130432 | 9660 22 | 1251 | 222 179.07/179.12 c 169s | 16 | 326726 | 131552 | 9660 22 | 1251 | 222 181.07/181.16 c 171s | 16 | 330669 | 133352 | 9660 22 | 1251 | 222 183.17/183.26 c 173s | 16 | 333044 | 135152 | 9660 23 | 1251 | 222 185.27/185.33 c 175s | 16 | 336062 | 137252 | 9660 23 | 1251 | 222 187.37/187.43 c 177s | 16 | 338864 | 139252 | 9660 23 | 1251 | 222 189.37/189.48 c 179s | 16 | 341513 | 140952 | 9660 24 | 1251 | 222 191.46/191.50 c 181s | 16 | 344846 | 142852 | 9660 24 | 1251 | 222 193.46/193.51 c 183s | 16 | 347990 | 144952 | 9660 24 | 1251 | 222 195.66/195.71 c 185s | 16 | 351551 | 147352 | 9660 25 | 1251 | 222 197.76/197.83 c 187s | 16 | 355176 | 149552 | 9660 25 | 1251 | 222 199.76/199.88 c 189s | 16 | 358289 | 151452 | 9660 25 | 1251 | 222 201.76/201.89 c 191s | 16 | 361258 | 153252 | 9660 25 | 1251 | 222 203.86/203.99 c 193s | 16 | 363933 | 155052 | 9660 26 | 1251 | 222 205.97/206.08 c 195s | 16 | 366463 | 156852 | 9660 26 | 1251 | 222 208.07/208.14 c 198s | 16 | 369533 | 158852 | 9660 26 | 1251 | 222 210.16/210.20 c 200s | 16 | 372340 | 160552 | 9660 27 | 1251 | 222 212.86/212.95 c 202s | 16 | 375521 | 162252 | 9660 27 | 1251 | 222 214.96/215.00 c 204s | 16 | 378421 | 163952 | 9660 27 | 1251 | 222 216.97/217.01 c 206s | 16 | 381082 | 165752 | 9660 27 | 1251 | 222 218.95/219.05 c 208s | 16 | 383730 | 167552 | 9660 28 | 1251 | 222 220.95/221.06 c 210s | 16 | 386890 | 169552 | 10626 28 | 1251 | 222 223.05/223.16 c 213s | 16 | 389755 | 171352 | 10626 28 | 1251 | 222 225.15/225.21 c 215s | 16 | 392114 | 172952 | 10626 28 | 1251 | 222 227.15/227.24 c 217s | 16 | 394390 | 174552 | 10626 29 | 1251 | 222 229.25/229.32 c 219s | 16 | 397542 | 176452 | 10626 29 | 1251 | 222 231.26/231.32 c 221s | 16 | 400366 | 178252 | 10626 29 | 1251 | 222 233.25/233.39 c 223s | 16 | 403155 | 180052 | 10626 29 | 1251 | 222 235.35/235.46 c 225s | 16 | 405710 | 181752 | 10626 30 | 1251 | 222 237.35/237.48 c 227s | 16 | 406654 | 182252 | 10626 30 | 1251 | 222 239.35/239.49 c 229s | 16 | 409278 | 183952 | 10626 30 | 1251 | 222 241.45/241.52 c 231s | 16 | 410973 | 185052 | 10626 30 | 1251 | 222 243.45/243.58 c 233s | 16 | 412390 | 185852 | 10626 30 | 1251 | 222 245.56/245.67 c 235s | 16 | 413625 | 186652 | 10626 30 | 1251 | 222 247.95/248.03 c 237s | 16 | 414917 | 187552 | 10626 31 | 1251 | 222 250.16/250.26 c 240s | 16 | 416293 | 188352 | 10626 31 | 1251 | 222 252.25/252.34 c 242s | 16 | 417299 | 188952 | 10626 31 | 1251 | 222 254.45/254.58 c 244s | 16 | 418787 | 189952 | 10626 31 | 1251 | 222 256.65/256.73 c 246s | 16 | 420477 | 191052 | 10626 31 | 1251 | 222 258.76/258.84 c 248s | 16 | 421768 | 191852 | 10626 31 | 1251 | 222 260.96/261.03 c 250s | 16 | 423440 | 192952 | 10626 31 | 1251 | 222 263.06/263.15 c 253s | 16 | 424960 | 193952 | 10626 31 | 1251 | 222 265.15/265.29 c 255s | 16 | 425629 | 194452 | 10626 32 | 1251 | 222 267.25/267.31 c 257s | 16 | 427073 | 195252 | 10626 32 | 1251 | 222 269.35/269.47 c 259s | 16 | 428433 | 196152 | 10626 32 | 1251 | 222 271.55/271.64 c 261s | 16 | 430162 | 197252 | 10626 32 | 1251 | 222 271.96/272.01 c 261s | 17 | 430587 | 197432 | 10626 32 | 1251 | 222 274.16/274.25 c 264s | 17 | 432238 | 197832 | 10626 32 | 1251 | 222 276.26/276.31 c 266s | 17 | 433559 | 198632 | 10626 32 | 1251 | 222 278.35/278.43 c 268s | 17 | 434432 | 199232 | 10626 32 | 1251 | 222 280.55/280.68 c 270s | 17 | 435317 | 199832 | 10626 32 | 1251 | 222 282.95/283.01 c 272s | 17 | 436619 | 200632 | 10626 32 | 1251 | 222 285.24/285.37 c 275s | 17 | 437220 | 201032 | 10626 33 | 1251 | 222 287.44/287.54 c 277s | 17 | 438355 | 201732 | 10626 33 | 1251 | 222 289.45/289.60 c 279s | 17 | 439507 | 202432 | 10626 33 | 1251 | 222 291.54/291.63 c 281s | 17 | 440723 | 203132 | 10626 33 | 1251 | 222 293.64/293.71 c 283s | 17 | 441473 | 203732 | 10626 33 | 1251 | 222 295.64/295.77 c 285s | 17 | 442727 | 204632 | 10626 33 | 1251 | 222 297.84/297.92 c 287s | 17 | 444174 | 205532 | 10626 33 | 1251 | 222 299.94/300.08 c 289s | 17 | 445405 | 206332 | 10626 33 | 1251 | 222 302.04/302.19 c 292s | 17 | 447070 | 207232 | 10626 33 | 1251 | 222 304.14/304.26 c 294s | 17 | 447620 | 207632 | 10626 33 | 1251 | 222 306.34/306.47 c 296s | 17 | 448211 | 208032 | 10626 34 | 1251 | 222 308.64/308.79 c 298s | 17 | 449181 | 208632 | 10626 34 | 1251 | 222 310.74/310.83 c 300s | 17 | 450654 | 209732 | 10626 34 | 1251 | 222 312.94/313.01 c 302s | 17 | 454191 | 212332 | 10626 34 | 1251 | 222 314.94/315.02 c 304s | 17 | 455226 | 213132 | 10626 34 | 1251 | 222 316.94/317.04 c 306s | 17 | 455867 | 213632 | 10626 34 | 1251 | 222 319.04/319.12 c 309s | 17 | 457212 | 214632 | 10626 34 | 1251 | 222 321.14/321.29 c 311s | 17 | 458871 | 215732 | 10626 35 | 1251 | 222 323.34/323.42 c 313s | 17 | 459832 | 216532 | 10626 35 | 1251 | 222 325.44/325.57 c 315s | 17 | 460915 | 217432 | 10626 35 | 1251 | 222 327.44/327.59 c 317s | 17 | 461786 | 218232 | 10626 35 | 1251 | 222 329.54/329.65 c 319s | 17 | 463358 | 219332 | 10626 35 | 1251 | 222 331.54/331.69 c 321s | 17 | 464773 | 220332 | 10626 35 | 1251 | 222 333.64/333.75 c 323s | 17 | 465622 | 221032 | 10626 35 | 1251 | 222 335.74/335.82 c 325s | 17 | 466373 | 221632 | 10626 36 | 1251 | 222 337.73/337.83 c 327s | 17 | 469114 | 223832 | 10626 36 | 1251 | 222 340.34/340.43 c 330s | 17 | 472052 | 225832 | 10626 36 | 1251 | 222 342.35/342.49 c 332s | 17 | 475961 | 227832 | 10626 36 | 1251 | 222 344.45/344.55 c 334s | 17 | 479888 | 229832 | 10626 37 | 1251 | 222 346.54/346.60 c 336s | 17 | 483777 | 232032 | 10626 37 | 1251 | 222 348.54/348.69 c 338s | 17 | 487632 | 234032 | 10626 37 | 1251 | 222 350.64/350.80 c 340s | 17 | 490629 | 235632 | 10626 38 | 1251 | 222 352.74/352.84 c 342s | 17 | 493570 | 237432 | 10626 38 | 1251 | 222 354.74/354.88 c 344s | 17 | 496717 | 239332 | 10626 38 | 1251 | 222 356.84/356.99 c 346s | 17 | 499775 | 241032 | 10626 38 | 1251 | 222 358.94/359.03 c 348s | 17 | 502675 | 242832 | 10626 39 | 1251 | 222 360.94/361.07 c 350s | 17 | 505612 | 244632 | 10626 39 | 1251 | 222 363.04/363.10 c 353s | 17 | 508362 | 246332 | 10626 39 | 1251 | 222 365.04/365.17 c 355s | 17 | 511061 | 247932 | 10626 39 | 1251 | 222 367.24/367.34 c 357s | 17 | 513082 | 249032 | 10626 40 | 1251 | 222 369.34/369.42 c 359s | 17 | 516063 | 251532 | 10626 40 | 1251 | 222 371.33/371.50 c 361s | 17 | 518952 | 253632 | 10626 40 | 1251 | 222 373.43/373.52 c 363s | 17 | 521404 | 255332 | 10626 40 | 1251 | 222 375.43/375.58 c 365s | 17 | 525355 | 257632 | 10626 41 | 1251 | 222 377.63/377.73 c 367s | 17 | 529040 | 259632 | 10626 41 | 1251 | 222 379.64/379.77 c 369s | 17 | 531025 | 261032 | 10626 41 | 1251 | 222 381.73/381.81 c 371s | 17 | 532977 | 262632 | 10626 41 | 1251 | 222 383.73/383.85 c 373s | 17 | 535356 | 264432 | 10626 42 | 1251 | 222 385.83/385.96 c 375s | 17 | 537935 | 266232 | 10626 42 | 1251 | 222 387.83/387.98 c 377s | 17 | 540440 | 268032 | 11689 42 | 1251 | 222 389.93/390.01 c 379s | 17 | 543032 | 269632 | 11689 42 | 1251 | 222 392.03/392.13 c 382s | 17 | 545697 | 271232 | 11689 43 | 1251 | 222 394.04/394.19 c 384s | 17 | 548201 | 273032 | 11689 43 | 1251 | 222 396.14/396.24 c 386s | 17 | 552409 | 275532 | 11689 43 | 1251 | 222 398.13/398.29 c 388s | 17 | 556284 | 277632 | 11689 43 | 1251 | 222 400.23/400.33 c 390s | 17 | 558459 | 279132 | 11689 44 | 1251 | 222 402.23/402.37 c 392s | 17 | 561037 | 281032 | 11689 44 | 1251 | 222 404.23/404.38 c 394s | 17 | 563530 | 282732 | 11689 44 | 1251 | 222 406.23/406.39 c 396s | 17 | 566150 | 284432 | 11689 44 | 1251 | 222 408.43/408.55 c 398s | 17 | 568760 | 286032 | 11689 45 | 1251 | 222 410.53/410.64 c 400s | 17 | 572717 | 288332 | 11689 45 | 1251 | 222 412.73/412.84 c 402s | 17 | 574434 | 289432 | 11689 45 | 1251 | 222 414.72/414.89 c 404s | 17 | 576719 | 291032 | 11689 45 | 1251 | 222 416.82/416.97 c 406s | 17 | 579438 | 292732 | 11689 45 | 1251 | 222 418.92/419.00 c 408s | 17 | 582449 | 294432 | 11689 46 | 1251 | 222 420.92/421.00 c 410s | 17 | 584933 | 295932 | 11689 46 | 1251 | 222 421.32/421.44 c 411s | 18 | 585360 | 296252 | 11689 46 | 1251 | 222 423.32/423.48 c 413s | 18 | 588396 | 297452 | 11689 46 | 1251 | 222 425.42/425.51 c 415s | 18 | 590260 | 298652 | 11689 46 | 1251 | 222 427.42/427.54 c 417s | 18 | 592970 | 300052 | 11689 46 | 1251 | 222 429.52/429.62 c 419s | 18 | 595279 | 301452 | 11689 47 | 1251 | 222 431.62/431.79 c 421s | 18 | 597571 | 302952 | 11689 47 | 1251 | 222 433.72/433.80 c 423s | 18 | 600155 | 304152 | 11689 47 | 1251 | 222 435.83/435.94 c 425s | 18 | 601929 | 305352 | 11689 47 | 1251 | 222 437.82/437.96 c 427s | 18 | 604278 | 306852 | 11689 47 | 1251 | 222 439.92/440.00 c 429s | 18 | 606550 | 308552 | 11689 48 | 1251 | 222 442.02/442.14 c 432s | 18 | 608429 | 309752 | 11689 48 | 1251 | 222 444.02/444.17 c 434s | 18 | 612388 | 311852 | 11689 48 | 1251 | 222 446.22/446.31 c 436s | 18 | 614763 | 313252 | 11689 48 | 1251 | 222 448.42/448.54 c 438s | 18 | 617905 | 314752 | 11689 48 | 1251 | 222 450.72/450.85 c 440s | 18 | 618869 | 315352 | 11689 48 | 1251 | 222 452.92/453.07 c 442s | 18 | 619640 | 315752 | 11689 49 | 1251 | 222 455.32/455.48 c 445s | 18 | 620467 | 316252 | 11689 49 | 1251 | 222 457.72/457.83 c 447s | 18 | 621401 | 316852 | 11689 49 | 1251 | 222 459.92/460.06 c 449s | 18 | 621948 | 317252 | 11689 49 | 1251 | 222 462.12/462.25 c 452s | 18 | 623079 | 317952 | 11689 49 | 1251 | 222 464.21/464.40 c 454s | 18 | 624639 | 318952 | 11689 49 | 1251 | 222 466.62/466.78 c 456s | 18 | 625775 | 319752 | 11689 49 | 1251 | 222 468.82/468.92 c 458s | 18 | 626503 | 320252 | 11689 49 | 1251 | 222 470.92/471.06 c 460s | 18 | 629261 | 321452 | 11689 49 | 1251 | 222 473.01/473.10 c 463s | 18 | 632274 | 322652 | 11689 49 | 1251 | 222 475.01/475.19 c 465s | 18 | 635706 | 323852 | 11689 50 | 1251 | 222 477.11/477.20 c 467s | 18 | 638704 | 325252 | 11689 50 | 1251 | 222 479.11/479.26 c 469s | 18 | 642232 | 326652 | 11689 50 | 1251 | 222 481.21/481.33 c 471s | 18 | 645406 | 328052 | 11689 50 | 1251 | 222 483.21/483.37 c 473s | 18 | 647506 | 329152 | 11689 50 | 1251 | 222 485.22/485.37 c 475s | 18 | 650308 | 330352 | 11689 51 | 1251 | 222 487.31/487.44 c 477s | 18 | 653195 | 331652 | 11689 51 | 1251 | 222 489.41/489.52 c 479s | 18 | 656933 | 333452 | 11689 51 | 1251 | 222 491.42/491.55 c 481s | 18 | 660770 | 335252 | 11689 51 | 1251 | 222 493.52/493.63 c 483s | 18 | 664403 | 336652 | 11689 51 | 1251 | 222 495.52/495.64 c 485s | 18 | 668150 | 338152 | 11689 52 | 1251 | 222 497.52/497.68 c 487s | 18 | 671934 | 339652 | 11689 52 | 1251 | 222 499.63/499.71 c 489s | 18 | 675473 | 341152 | 11689 52 | 1251 | 222 501.62/501.71 c 491s | 18 | 680060 | 342652 | 11689 52 | 1251 | 222 503.72/503.85 c 493s | 18 | 683549 | 344252 | 11689 52 | 1251 | 222 505.82/505.91 c 495s | 18 | 687391 | 345752 | 11689 53 | 1251 | 222 507.82/507.92 c 497s | 18 | 691269 | 347252 | 11689 53 | 1251 | 222 509.82/509.92 c 499s | 18 | 694498 | 348652 | 11689 53 | 1251 | 222 511.92/512.03 c 501s | 18 | 698279 | 350052 | 11689 53 | 1251 | 222 514.11/514.21 c 504s | 18 | 701443 | 351352 | 11689 53 | 1251 | 222 516.12/516.29 c 506s | 18 | 704806 | 352752 | 11689 54 | 1251 | 222 518.22/518.35 c 508s | 18 | 709088 | 354352 | 11689 54 | 1251 | 222 520.31/520.46 c 510s | 18 | 711808 | 355552 | 11689 54 | 1251 | 222 522.31/522.48 c 512s | 18 | 714650 | 356852 | 11689 54 | 1251 | 222 524.41/524.53 c 514s | 18 | 717995 | 358252 | 11689 54 | 1251 | 222 526.41/526.55 c 516s | 18 | 720780 | 359352 | 11689 55 | 1251 | 222 528.51/528.63 c 518s | 18 | 724686 | 361152 | 11689 55 | 1251 | 222 530.51/530.65 c 520s | 18 | 727486 | 362652 | 11689 55 | 1251 | 222 532.62/532.71 c 522s | 18 | 731171 | 364252 | 11689 55 | 1251 | 222 534.61/534.74 c 524s | 18 | 734664 | 365752 | 11689 55 | 1251 | 222 536.61/536.80 c 526s | 18 | 736645 | 366852 | 11689 56 | 1251 | 222 538.91/539.02 c 528s | 18 | 739582 | 368252 | 11689 56 | 1251 | 222 540.91/541.06 c 530s | 18 | 742515 | 369752 | 11689 56 | 1251 | 222 543.01/543.15 c 533s | 18 | 745127 | 371052 | 11689 56 | 1251 | 222 545.11/545.22 c 535s | 18 | 747760 | 372252 | 11689 56 | 1251 | 222 547.40/547.58 c 537s | 18 | 750102 | 373452 | 11689 57 | 1251 | 222 549.50/549.65 c 539s | 18 | 753863 | 374952 | 11689 57 | 1251 | 222 551.60/551.71 c 541s | 18 | 757682 | 376752 | 11689 57 | 1251 | 222 553.70/553.80 c 543s | 18 | 760273 | 378152 | 11689 57 | 1251 | 222 555.71/555.85 c 545s | 18 | 763554 | 379752 | 11689 57 | 1251 | 222 557.81/558.00 c 547s | 18 | 766904 | 381152 | 11689 58 | 1251 | 222 560.01/560.14 c 550s | 18 | 770362 | 382452 | 11689 58 | 1251 | 222 562.00/562.14 c 552s | 18 | 774158 | 383852 | 11689 58 | 1251 | 222 564.00/564.17 c 554s | 18 | 777654 | 385252 | 11689 58 | 1251 | 222 566.10/566.28 c 556s | 18 | 781498 | 386752 | 11689 58 | 1251 | 222 568.30/568.43 c 558s | 18 | 783850 | 387952 | 11689 58 | 1251 | 222 570.30/570.44 c 560s | 18 | 786000 | 388852 | 11689 59 | 1251 | 222 572.30/572.48 c 562s | 18 | 788658 | 390652 | 11689 59 | 1251 | 222 574.41/574.58 c 564s | 18 | 791947 | 392552 | 11689 59 | 1251 | 222 576.61/576.72 c 566s | 18 | 794513 | 393752 | 11689 59 | 1251 | 222 578.60/578.72 c 568s | 18 | 797206 | 394952 | 11689 59 | 1251 | 222 580.80/580.96 c 570s | 18 | 798622 | 395652 | 11689 60 | 1251 | 222 582.90/583.04 c 572s | 18 | 801721 | 396752 | 11689 60 | 1251 | 222 585.00/585.16 c 575s | 18 | 804360 | 397852 | 11689 60 | 1251 | 222 587.10/587.20 c 577s | 18 | 806314 | 398852 | 11689 60 | 1251 | 222 589.20/589.32 c 579s | 18 | 808778 | 399952 | 11689 60 | 1251 | 222 591.30/591.43 c 581s | 18 | 811203 | 401052 | 11689 60 | 1251 | 222 593.40/593.52 c 583s | 18 | 813369 | 402052 | 11689 60 | 1251 | 222 595.39/595.52 c 585s | 18 | 815677 | 403052 | 11689 61 | 1251 | 222 597.40/597.54 c 587s | 18 | 817890 | 404052 | 11689 61 | 1251 | 222 599.60/599.78 c 589s | 18 | 820252 | 405152 | 11689 61 | 1251 | 222 601.80/601.94 c 591s | 18 | 821679 | 405952 | 11689 61 | 1251 | 222 604.00/604.12 c 594s | 18 | 823824 | 407052 | 11689 61 | 1251 | 222 606.09/606.28 c 596s | 18 | 826142 | 408052 | 11689 61 | 1251 | 222 608.19/608.35 c 598s | 18 | 828171 | 408952 | 11689 61 | 1251 | 222 610.29/610.47 c 600s | 18 | 829826 | 409752 | 11689 61 | 1251 | 222 612.49/612.63 c 602s | 18 | 831846 | 410752 | 11689 62 | 1251 | 222 614.49/614.69 c 604s | 18 | 834032 | 411652 | 11689 62 | 1251 | 222 616.69/616.82 c 606s | 18 | 836135 | 412652 | 11689 62 | 1251 | 222 618.79/618.96 c 608s | 18 | 838435 | 413652 | 11689 62 | 1251 | 222 620.79/620.99 c 610s | 18 | 840488 | 414752 | 12858 62 | 1251 | 222 622.89/623.03 c 612s | 18 | 842516 | 415752 | 12858 62 | 1251 | 222 625.00/625.19 c 615s | 18 | 844705 | 417152 | 12858 62 | 1251 | 222 627.20/627.39 c 617s | 18 | 846740 | 418052 | 12858 62 | 1251 | 222 629.30/629.42 c 619s | 18 | 848472 | 418852 | 12858 63 | 1251 | 222 631.29/631.48 c 621s | 18 | 850245 | 419952 | 12858 63 | 1251 | 222 633.49/633.60 c 623s | 18 | 851596 | 420852 | 12858 63 | 1251 | 222 635.49/635.61 c 625s | 18 | 852722 | 421552 | 12858 63 | 1251 | 222 637.49/637.64 c 627s | 18 | 853708 | 422152 | 12858 63 | 1251 | 222 639.79/639.96 c 629s | 18 | 855066 | 423052 | 12858 63 | 1251 | 222 641.99/642.10 c 632s | 18 | 857240 | 424352 | 12858 63 | 1251 | 222 643.99/644.18 c 634s | 18 | 858258 | 425052 | 12858 63 | 1251 | 222 646.20/646.32 c 636s | 18 | 860108 | 425752 | 12858 64 | 1251 | 222 648.80/648.97 c 638s | 18 | 861185 | 426352 | 12858 64 | 1251 | 222 650.90/651.03 c 640s | 18 | 861773 | 426652 | 12858 64 | 1251 | 222 653.09/653.22 c 643s | 18 | 862819 | 427352 | 12858 64 | 1251 | 222 655.19/655.38 c 645s | 18 | 863881 | 427952 | 12858 64 | 1251 | 222 657.59/657.75 c 647s | 18 | 864701 | 428452 | 12858 64 | 1251 | 222 659.69/659.81 c 649s | 18 | 865437 | 428952 | 12858 64 | 1251 | 222 661.99/662.12 c 652s | 18 | 866294 | 429452 | 12858 64 | 1251 | 222 664.39/664.51 c 654s | 18 | 867034 | 429852 | 12858 64 | 1251 | 222 666.39/666.56 c 656s | 18 | 870411 | 431852 | 12858 64 | 1251 | 222 668.49/668.67 c 658s | 18 | 872994 | 433252 | 12858 64 | 1251 | 222 670.59/670.77 c 660s | 18 | 874116 | 433852 | 12858 64 | 1251 | 222 672.59/672.79 c 662s | 18 | 874658 | 434252 | 12858 65 | 1251 | 222 675.39/675.53 c 665s | 18 | 875552 | 434752 | 12858 65 | 1251 | 222 677.99/678.13 c 668s | 18 | 876065 | 435152 | 12858 65 | 1251 | 222 680.00/680.15 c 670s | 18 | 876797 | 435652 | 12858 65 | 1251 | 222 682.39/682.50 c 672s | 18 | 877777 | 436252 | 12858 65 | 1251 | 222 684.89/685.01 c 674s | 18 | 879093 | 436852 | 12858 65 | 1251 | 222 687.39/687.56 c 677s | 18 | 879624 | 437252 | 12858 65 | 1251 | 222 689.39/689.57 c 679s | 18 | 880315 | 437652 | 12858 65 | 1251 | 222 691.49/691.66 c 681s | 18 | 883969 | 439552 | 12858 65 | 1251 | 222 693.59/693.75 c 683s | 18 | 887394 | 440852 | 12858 65 | 1251 | 222 695.59/695.77 c 685s | 18 | 889971 | 442152 | 12858 66 | 1251 | 222 697.69/697.83 c 687s | 18 | 893316 | 443752 | 12858 66 | 1251 | 222 698.69/698.88 c 688s | 19 | 895164 | 444482 | 12858 66 | 1251 | 222 700.99/701.11 c 691s | 19 | 898363 | 445382 | 12858 66 | 1251 | 222 702.99/703.13 c 693s | 19 | 902368 | 446682 | 12858 66 | 1251 | 222 704.99/705.16 c 695s | 19 | 905446 | 447682 | 12858 66 | 1251 | 222 707.09/707.23 c 697s | 19 | 908255 | 448582 | 12858 66 | 1251 | 222 709.39/709.50 c 699s | 19 | 911796 | 449882 | 12858 67 | 1251 | 222 711.38/711.55 c 701s | 19 | 915434 | 451382 | 12858 67 | 1251 | 222 713.48/713.69 c 703s | 19 | 918269 | 453182 | 12858 67 | 1251 | 222 715.58/715.80 c 705s | 19 | 921251 | 454682 | 12858 67 | 1251 | 222 717.68/717.85 c 707s | 19 | 926044 | 456882 | 12858 67 | 1251 | 222 719.78/719.91 c 709s | 19 | 929560 | 458682 | 12858 68 | 1251 | 222 721.79/721.99 c 711s | 19 | 931625 | 459882 | 12858 68 | 1251 | 222 723.89/724.05 c 713s | 19 | 934589 | 461182 | 12858 68 | 1251 | 222 725.98/726.14 c 716s | 19 | 937681 | 462582 | 12858 68 | 1251 | 222 727.98/728.19 c 718s | 19 | 940630 | 463682 | 12858 68 | 1251 | 222 730.08/730.22 c 720s | 19 | 943078 | 464682 | 12858 68 | 1251 | 222 732.08/732.22 c 722s | 19 | 946129 | 465882 | 12858 69 | 1251 | 222 734.18/734.34 c 724s | 19 | 949271 | 467182 | 12858 69 | 1251 | 222 736.18/736.38 c 726s | 19 | 952101 | 468482 | 12858 69 | 1251 | 222 738.19/738.40 c 728s | 19 | 955794 | 470682 | 12858 69 | 1251 | 222 740.28/740.41 c 730s | 19 | 960094 | 472882 | 12858 69 | 1251 | 222 742.28/742.48 c 732s | 19 | 965364 | 475182 | 12858 70 | 1251 | 222 744.38/744.54 c 734s | 19 | 969870 | 477482 | 12858 70 | 1251 | 222 746.48/746.69 c 736s | 19 | 974820 | 479682 | 12858 70 | 1251 | 222 748.58/748.73 c 738s | 19 | 979128 | 481782 | 12858 71 | 1251 | 222 750.67/750.81 c 740s | 19 | 983279 | 484082 | 12858 71 | 1251 | 222 752.67/752.81 c 742s | 19 | 988087 | 486382 | 12858 71 | 1251 | 222 754.68/754.86 c 744s | 19 | 992872 | 488482 | 12858 71 | 1251 | 222 756.77/756.94 c 746s | 19 | 995234 | 489582 | 12858 72 | 1251 | 222 759.08/759.25 c 749s | 19 | 996536 | 490182 | 12858 72 | 1251 | 222 761.28/761.47 c 751s | 19 | 997708 | 490982 | 12858 72 | 1251 | 222 763.37/763.58 c 753s | 19 | 999035 | 491782 | 12858 72 | 1251 | 222 765.47/765.63 c 755s | 19 | 1001160 | 492882 | 12858 72 | 1251 | 222 767.57/767.75 c 757s | 19 | 1004736 | 494382 | 12858 72 | 1251 | 222 769.67/769.83 c 759s | 19 | 1007791 | 495682 | 12858 72 | 1251 | 222 771.77/771.91 c 761s | 19 | 1011266 | 497182 | 12858 72 | 1251 | 222 773.77/773.93 c 763s | 19 | 1014816 | 498582 | 12858 73 | 1251 | 222 775.87/776.07 c 765s | 19 | 1017803 | 499682 | 12858 73 | 1251 | 222 777.97/778.19 c 768s | 19 | 1020170 | 500782 | 12858 73 | 1251 | 222 780.37/780.53 c 770s | 19 | 1021639 | 501582 | 12858 73 | 1251 | 222 782.47/782.62 c 772s | 19 | 1023016 | 502282 | 12858 73 | 1251 | 222 784.57/784.70 c 774s | 19 | 1027055 | 503982 | 12858 73 | 1251 | 222 786.57/786.75 c 776s | 19 | 1029993 | 505582 | 12858 74 | 1251 | 222 788.67/788.85 c 778s | 19 | 1033863 | 507682 | 12858 74 | 1251 | 222 790.77/790.94 c 780s | 19 | 1037017 | 509182 | 12858 74 | 1251 | 222 792.96/793.11 c 783s | 19 | 1039512 | 510782 | 12858 74 | 1251 | 222 795.06/795.20 c 785s | 19 | 1040560 | 511582 | 12858 74 | 1251 | 222 797.06/797.25 c 787s | 19 | 1042026 | 512682 | 12858 74 | 1251 | 222 799.16/799.39 c 789s | 19 | 1044384 | 513982 | 12858 75 | 1251 | 222 801.26/801.41 c 791s | 19 | 1046564 | 515182 | 12858 75 | 1251 | 222 803.26/803.47 c 793s | 19 | 1048624 | 516282 | 12858 75 | 1251 | 222 805.46/805.62 c 795s | 19 | 1050683 | 517382 | 12858 75 | 1251 | 222 807.57/807.71 c 797s | 19 | 1053004 | 518582 | 12858 75 | 1251 | 222 809.67/809.87 c 799s | 19 | 1055535 | 519782 | 12858 75 | 1251 | 222 811.87/812.03 c 801s | 19 | 1057952 | 520982 | 12858 75 | 1251 | 222 813.86/814.04 c 803s | 19 | 1059727 | 521982 | 12858 76 | 1251 | 222 815.96/816.10 c 806s | 19 | 1060986 | 522782 | 12858 76 | 1251 | 222 817.96/818.15 c 808s | 19 | 1062141 | 523682 | 12858 76 | 1251 | 222 819.96/820.18 c 810s | 19 | 1063252 | 524582 | 12858 76 | 1251 | 222 822.16/822.32 c 812s | 19 | 1066431 | 525882 | 12858 76 | 1251 | 222 824.26/824.44 c 814s | 19 | 1069659 | 527182 | 12858 76 | 1251 | 222 826.36/826.55 c 816s | 19 | 1072904 | 528482 | 12858 76 | 1251 | 222 828.48/828.64 c 818s | 19 | 1076457 | 530082 | 12858 77 | 1251 | 222 830.57/830.72 c 820s | 19 | 1079250 | 531582 | 12858 77 | 1251 | 222 832.77/833.00 c 822s | 19 | 1081692 | 532882 | 12858 77 | 1251 | 222 834.87/835.07 c 824s | 19 | 1083807 | 534082 | 12858 77 | 1251 | 222 837.27/837.42 c 827s | 19 | 1085487 | 535082 | 12858 77 | 1251 | 222 839.37/839.52 c 829s | 19 | 1086913 | 535782 | 12858 77 | 1251 | 222 841.37/841.55 c 831s | 19 | 1089434 | 536982 | 12858 77 | 1251 | 222 843.57/843.74 c 833s | 19 | 1090927 | 537782 | 12858 78 | 1251 | 222 845.67/845.84 c 835s | 19 | 1092222 | 538582 | 12858 78 | 1251 | 222 847.87/848.02 c 837s | 19 | 1094441 | 539482 | 12858 78 | 1251 | 222 849.96/850.13 c 840s | 19 | 1096792 | 540982 | 12858 78 | 1251 | 222 851.96/852.18 c 842s | 19 | 1098529 | 542082 | 12858 78 | 1251 | 222 854.06/854.28 c 844s | 19 | 1100286 | 542982 | 12858 78 | 1251 | 222 856.26/856.41 c 846s | 19 | 1102646 | 543882 | 12858 78 | 1251 | 222 858.46/858.61 c 848s | 19 | 1104901 | 544882 | 12858 78 | 1251 | 222 861.16/861.31 c 851s | 19 | 1107196 | 545882 | 12858 79 | 1251 | 222 863.26/863.49 c 853s | 19 | 1107962 | 546482 | 12858 79 | 1251 | 222 865.36/865.56 c 855s | 19 | 1109177 | 547182 | 12858 79 | 1251 | 222 867.46/867.61 c 857s | 19 | 1111895 | 548582 | 12858 79 | 1251 | 222 869.46/869.69 c 859s | 19 | 1114763 | 550182 | 12858 79 | 1251 | 222 871.46/871.69 c 861s | 19 | 1116704 | 551182 | 12858 79 | 1251 | 222 873.66/873.80 c 863s | 19 | 1118777 | 552382 | 12858 79 | 1251 | 222 875.77/875.95 c 865s | 19 | 1120759 | 553582 | 12858 80 | 1251 | 222 877.87/878.04 c 867s | 19 | 1122570 | 554482 | 12858 80 | 1251 | 222 879.86/880.07 c 869s | 19 | 1124892 | 555682 | 12858 80 | 1251 | 222 881.96/882.13 c 872s | 19 | 1127555 | 556982 | 12858 80 | 1251 | 222 883.96/884.18 c 874s | 19 | 1129824 | 558182 | 12858 80 | 1251 | 222 886.16/886.37 c 876s | 19 | 1132871 | 559782 | 12858 80 | 1251 | 222 888.26/888.41 c 878s | 19 | 1134757 | 560782 | 12858 81 | 1251 | 222 890.36/890.56 c 880s | 19 | 1135920 | 561582 | 12858 81 | 1251 | 222 892.76/892.92 c 882s | 19 | 1137227 | 562482 | 12858 81 | 1251 | 222 894.86/895.07 c 884s | 19 | 1138810 | 563382 | 12858 81 | 1251 | 222 896.96/897.10 c 887s | 19 | 1142102 | 564582 | 12858 81 | 1251 | 222 899.06/899.25 c 889s | 19 | 1145686 | 565882 | 12858 81 | 1251 | 222 901.46/901.64 c 891s | 19 | 1148759 | 566982 | 12858 81 | 1251 | 222 903.56/903.74 c 893s | 19 | 1151176 | 567882 | 12858 81 | 1251 | 222 905.66/905.86 c 895s | 19 | 1153496 | 568882 | 12858 82 | 1251 | 222 907.85/908.01 c 897s | 19 | 1155734 | 569982 | 12858 82 | 1251 | 222 909.95/910.17 c 900s | 19 | 1158679 | 571082 | 12858 82 | 1251 | 222 911.96/912.19 c 902s | 19 | 1161202 | 571882 | 12858 82 | 1251 | 222 914.05/914.28 c 904s | 19 | 1164782 | 572682 | 12858 82 | 1251 | 222 916.25/916.44 c 906s | 19 | 1167162 | 573482 | 12858 82 | 1251 | 222 918.45/918.67 c 908s | 19 | 1168188 | 574282 | 12858 82 | 1251 | 222 920.55/920.76 c 910s | 19 | 1168987 | 574982 | 12858 82 | 1251 | 222 922.75/922.92 c 912s | 19 | 1171445 | 575882 | 12858 82 | 1251 | 222 924.85/925.08 c 914s | 19 | 1173379 | 576582 | 12858 82 | 1251 | 222 927.05/927.28 c 917s | 19 | 1175552 | 577582 | 12858 83 | 1251 | 222 929.25/929.40 c 919s | 19 | 1177561 | 578582 | 12858 83 | 1251 | 222 931.35/931.51 c 921s | 19 | 1179761 | 579482 | 12858 83 | 1251 | 222 933.45/933.69 c 923s | 19 | 1181742 | 580382 | 12858 83 | 1251 | 222 935.55/935.71 c 925s | 19 | 1183556 | 581182 | 12858 83 | 1251 | 222 937.55/937.75 c 927s | 19 | 1184955 | 581982 | 12858 83 | 1251 | 222 939.56/939.79 c 929s | 19 | 1187422 | 582882 | 12858 83 | 1251 | 222 941.76/941.93 c 931s | 19 | 1189830 | 583882 | 12858 83 | 1251 | 222 943.75/944.00 c 933s | 19 | 1192074 | 584782 | 12858 84 | 1251 | 222 945.95/946.14 c 936s | 19 | 1193442 | 585582 | 12858 84 | 1251 | 222 947.95/948.18 c 938s | 19 | 1196032 | 586482 | 12858 84 | 1251 | 222 950.15/950.30 c 940s | 19 | 1198037 | 587382 | 12858 84 | 1251 | 222 952.35/952.53 c 942s | 19 | 1200116 | 588282 | 12858 84 | 1251 | 222 954.45/954.64 c 944s | 19 | 1202495 | 589182 | 12858 84 | 1251 | 222 956.65/956.81 c 946s | 19 | 1204365 | 590082 | 12858 84 | 1251 | 222 958.85/959.01 c 948s | 19 | 1205890 | 590782 | 12858 84 | 1251 | 222 961.04/961.29 c 951s | 19 | 1207680 | 591682 | 12858 84 | 1251 | 222 963.14/963.33 c 953s | 19 | 1209988 | 592582 | 12858 85 | 1251 | 222 965.44/965.61 c 955s | 19 | 1210911 | 592982 | 12858 85 | 1251 | 222 967.64/967.84 c 957s | 19 | 1212782 | 593782 | 12858 85 | 1251 | 222 969.64/969.87 c 959s | 19 | 1215463 | 594682 | 12858 85 | 1251 | 222 971.84/972.00 c 961s | 19 | 1217767 | 595682 | 12858 85 | 1251 | 222 973.84/974.04 c 963s | 19 | 1219727 | 596582 | 12858 85 | 1251 | 222 976.04/976.23 c 966s | 19 | 1221538 | 597482 | 12858 85 | 1251 | 222 978.14/978.32 c 968s | 19 | 1223809 | 598482 | 12858 85 | 1251 | 222 980.34/980.55 c 970s | 19 | 1226118 | 599382 | 12858 85 | 1251 | 222 982.54/982.71 c 972s | 19 | 1228228 | 600282 | 12858 86 | 1251 | 222 985.44/985.65 c 975s | 19 | 1230222 | 601182 | 12858 86 | 1251 | 222 987.53/987.79 c 977s | 19 | 1233155 | 602482 | 12858 86 | 1251 | 222 989.73/989.98 c 979s | 19 | 1236042 | 603682 | 12858 86 | 1251 | 222 991.83/992.05 c 981s | 19 | 1239350 | 604782 | 12858 86 | 1251 | 222 993.83/994.06 c 983s | 19 | 1241949 | 605782 | 12858 86 | 1251 | 222 995.83/996.07 c 985s | 19 | 1244425 | 606882 | 12858 86 | 1251 | 222 998.03/998.25 c 988s | 19 | 1246985 | 607882 | 12858 86 | 1251 | 222 1000.13/1000.35 c 990s | 19 | 1248781 | 608882 | 12858 87 | 1251 | 222 1002.33/1002.52 c 992s | 19 | 1251889 | 609982 | 12858 87 | 1251 | 222 1004.44/1004.66 c 994s | 19 | 1254436 | 610982 | 12858 87 | 1251 | 222 1006.54/1006.77 c 996s | 19 | 1256517 | 611882 | 12858 87 | 1251 | 222 1008.63/1008.87 c 998s | 19 | 1259425 | 612882 | 12858 87 | 1251 | 222 1010.83/1011.06 c 1000s | 19 | 1261758 | 613882 | 12858 87 | 1251 | 222 1013.03/1013.21 c 1003s | 19 | 1264535 | 614882 | 12858 87 | 1251 | 222 1015.23/1015.41 c 1005s | 19 | 1267864 | 615982 | 12858 88 | 1251 | 222 1017.23/1017.47 c 1007s | 19 | 1269412 | 616782 | 12858 88 | 1251 | 222 1019.34/1019.54 c 1009s | 19 | 1271743 | 617682 | 12858 88 | 1251 | 222 1021.54/1021.73 c 1011s | 19 | 1274218 | 618682 | 12858 88 | 1251 | 222 1023.64/1023.87 c 1013s | 19 | 1276609 | 619682 | 12858 88 | 1251 | 222 1025.74/1025.92 c 1015s | 19 | 1278528 | 620582 | 12858 88 | 1251 | 222 1027.74/1027.99 c 1017s | 19 | 1280702 | 621582 | 12858 88 | 1251 | 222 1029.94/1030.10 c 1020s | 19 | 1283155 | 622582 | 12858 88 | 1251 | 222 1032.04/1032.27 c 1022s | 19 | 1285260 | 623482 | 12858 88 | 1251 | 222 1034.24/1034.42 c 1024s | 19 | 1287492 | 624482 | 12858 89 | 1251 | 222 1036.24/1036.43 c 1026s | 19 | 1289458 | 625682 | 12858 89 | 1251 | 222 1039.03/1039.23 c 1029s | 19 | 1291065 | 626382 | 12858 89 | 1251 | 222 1041.13/1041.36 c 1031s | 19 | 1293334 | 627382 | 12858 89 | 1251 | 222 1043.43/1043.63 c 1033s | 19 | 1295426 | 628482 | 12858 89 | 1251 | 222 1045.63/1045.82 c 1035s | 19 | 1297307 | 629482 | 12858 89 | 1251 | 222 1047.73/1047.94 c 1037s | 19 | 1299594 | 630382 | 12858 89 | 1251 | 222 1049.83/1050.07 c 1039s | 19 | 1301065 | 631182 | 12858 89 | 1251 | 222 1052.03/1052.20 c 1042s | 19 | 1302627 | 631982 | 12858 90 | 1251 | 222 1054.23/1054.45 c 1044s | 19 | 1304295 | 632782 | 12858 90 | 1251 | 222 1056.33/1056.58 c 1046s | 19 | 1305897 | 633682 | 12858 90 | 1251 | 222 1058.43/1058.61 c 1048s | 19 | 1307602 | 634582 | 14144 90 | 1251 | 222 1060.54/1060.73 c 1050s | 19 | 1309303 | 635382 | 14144 90 | 1251 | 222 1062.64/1062.82 c 1052s | 19 | 1311930 | 636382 | 14144 90 | 1251 | 222 1064.63/1064.83 c 1054s | 19 | 1313539 | 637282 | 14144 90 | 1251 | 222 1066.63/1066.84 c 1056s | 19 | 1315971 | 638382 | 14144 90 | 1251 | 222 1068.73/1068.90 c 1058s | 19 | 1318401 | 639382 | 14144 90 | 1251 | 222 1070.73/1070.94 c 1060s | 19 | 1320545 | 640282 | 14144 90 | 1251 | 222 1073.23/1073.44 c 1063s | 19 | 1321700 | 640882 | 14144 91 | 1251 | 222 1075.33/1075.56 c 1065s | 19 | 1323867 | 641882 | 14144 91 | 1251 | 222 1077.53/1077.74 c 1067s | 19 | 1325877 | 642882 | 14144 91 | 1251 | 222 1079.73/1079.90 c 1069s | 19 | 1328014 | 643882 | 14144 91 | 1251 | 222 1081.83/1082.09 c 1072s | 19 | 1330213 | 644882 | 14144 91 | 1251 | 222 1084.03/1084.20 c 1074s | 19 | 1332130 | 645882 | 14144 91 | 1251 | 222 1086.12/1086.36 c 1076s | 19 | 1334013 | 646782 | 14144 91 | 1251 | 222 1088.22/1088.40 c 1078s | 19 | 1336188 | 647682 | 14144 91 | 1251 | 222 1090.42/1090.64 c 1080s | 19 | 1338033 | 648582 | 14144 91 | 1251 | 222 1092.52/1092.74 c 1082s | 19 | 1339961 | 649482 | 14144 92 | 1251 | 222 1094.72/1094.90 c 1084s | 19 | 1342229 | 650382 | 14144 92 | 1251 | 222 1096.73/1096.92 c 1086s | 19 | 1344903 | 651582 | 14144 92 | 1251 | 222 1098.72/1098.98 c 1088s | 19 | 1346783 | 652582 | 14144 92 | 1251 | 222 1100.92/1101.10 c 1091s | 19 | 1348806 | 653582 | 14144 92 | 1251 | 222 1102.92/1103.15 c 1093s | 19 | 1350955 | 654682 | 14144 92 | 1251 | 222 1105.12/1105.33 c 1095s | 19 | 1352645 | 655582 | 14144 92 | 1251 | 222 1107.22/1107.45 c 1097s | 19 | 1354289 | 656382 | 14144 92 | 1251 | 222 1109.22/1109.46 c 1099s | 19 | 1356490 | 657382 | 14144 92 | 1251 | 222 1111.22/1111.46 c 1101s | 19 | 1358508 | 658682 | 14144 93 | 1251 | 222 1113.23/1113.47 c 1103s | 19 | 1360826 | 659682 | 14144 93 | 1251 | 222 1115.22/1115.48 c 1105s | 19 | 1362719 | 660482 | 14144 93 | 1251 | 222 1117.52/1117.76 c 1107s | 19 | 1364837 | 661482 | 14144 93 | 1251 | 222 1119.62/1119.88 c 1109s | 19 | 1366869 | 662382 | 14144 93 | 1251 | 222 1121.82/1122.03 c 1111s | 19 | 1368798 | 663282 | 14144 93 | 1251 | 222 1124.52/1124.75 c 1114s | 19 | 1369978 | 663882 | 14144 93 | 1251 | 222 1126.72/1126.98 c 1116s | 19 | 1372745 | 665182 | 14144 93 | 1251 | 222 1128.92/1129.11 c 1119s | 19 | 1375061 | 666182 | 14144 93 | 1251 | 222 1130.72/1130.93 c 1120s | 20 | 1376484 | 666827 | 14144 94 | 1251 | 222 1132.71/1132.99 c 1122s | 20 | 1379165 | 668127 | 14144 94 | 1251 | 222 1134.81/1135.02 c 1124s | 20 | 1382761 | 670427 | 14144 94 | 1251 | 222 1136.81/1137.05 c 1126s | 20 | 1387273 | 672727 | 14144 94 | 1251 | 222 1138.91/1139.18 c 1129s | 20 | 1391916 | 674927 | 14144 95 | 1251 | 222 1140.91/1141.19 c 1131s | 20 | 1396802 | 676927 | 14144 95 | 1251 | 222 1143.02/1143.26 c 1133s | 20 | 1400088 | 678627 | 14144 95 | 1251 | 222 1145.01/1145.27 c 1135s | 20 | 1404552 | 680427 | 14144 95 | 1252 | 222 1147.01/1147.28 c 1137s | 20 | 1407353 | 682227 | 14144 95 | 1252 | 222 1149.11/1149.31 c 1139s | 20 | 1410923 | 684027 | 14144 96 | 1252 | 222 1151.11/1151.36 c 1141s | 20 | 1414101 | 685727 | 14144 96 | 1252 | 222 1153.21/1153.42 c 1143s | 20 | 1418421 | 687727 | 14144 96 | 1252 | 222 1155.21/1155.49 c 1145s | 20 | 1423337 | 689827 | 14144 96 | 1252 | 222 1157.32/1157.59 c 1147s | 20 | 1427664 | 691827 | 14144 96 | 1252 | 222 1159.42/1159.62 c 1149s | 20 | 1431981 | 693927 | 14144 97 | 1252 | 222 1161.51/1161.77 c 1151s | 20 | 1435441 | 695527 | 14144 97 | 1252 | 222 1163.51/1163.78 c 1153s | 20 | 1438641 | 697527 | 14144 97 | 1252 | 222 1165.61/1165.80 c 1155s | 20 | 1441979 | 699227 | 14144 97 | 1252 | 222 1167.61/1167.84 c 1157s | 20 | 1444827 | 701027 | 14144 98 | 1252 | 222 1169.61/1169.85 c 1159s | 20 | 1448927 | 703227 | 14144 98 | 1252 | 222 1171.71/1171.90 c 1161s | 20 | 1452299 | 705127 | 14144 98 | 1252 | 222 1173.71/1173.92 c 1163s | 20 | 1457256 | 707427 | 14144 98 | 1252 | 222 1175.71/1175.94 c 1165s | 20 | 1461115 | 709327 | 14144 98 | 1252 | 222 1177.71/1177.98 c 1167s | 20 | 1464392 | 711227 | 14144 99 | 1252 | 222 1179.81/1180.06 c 1169s | 20 | 1468962 | 713627 | 14144 99 | 1252 | 222 1182.62/1182.81 c 1172s | 20 | 1474227 | 715827 | 14144 99 | 1252 | 222 1184.61/1184.83 c 1174s | 20 | 1478038 | 718127 | 14144 100 | 1252 | 222 1186.61/1186.86 c 1176s | 20 | 1480596 | 719827 | 14144 100 | 1252 | 222 1188.71/1188.94 c 1178s | 20 | 1484129 | 722227 | 14144 100 | 1252 | 222 1190.71/1190.97 c 1180s | 20 | 1487714 | 724727 | 14144 100 | 1252 | 222 1192.81/1193.05 c 1182s | 20 | 1490955 | 727027 | 14144 101 | 1252 | 222 1194.91/1195.11 c 1185s | 20 | 1494494 | 729427 | 14144 101 | 1252 | 222 1196.92/1197.11 c 1187s | 20 | 1497780 | 731627 | 14144 101 | 1252 | 222 1198.91/1199.13 c 1189s | 20 | 1501061 | 733727 | 14144 101 | 1252 | 222 1201.91/1202.18 c 1192s | 20 | 1503999 | 735827 | 14144 102 | 1252 | 222 1203.91/1204.19 c 1194s | 20 | 1507651 | 738327 | 14144 102 | 1252 | 222 1206.01/1206.25 c 1196s | 20 | 1511247 | 740727 | 14144 102 | 1252 | 222 1208.11/1208.32 c 1198s | 20 | 1514767 | 743027 | 14144 102 | 1252 | 222 1210.11/1210.39 c 1200s | 20 | 1516945 | 744527 | 14144 103 | 1252 | 222 1212.21/1212.42 c 1202s | 20 | 1520784 | 747027 | 14144 103 | 1252 | 222 1214.20/1214.47 c 1204s | 20 | 1524006 | 749327 | 14144 103 | 1252 | 222 1216.30/1216.50 c 1206s | 20 | 1525633 | 750427 | 14144 103 | 1252 | 222 1218.30/1218.52 c 1208s | 20 | 1528800 | 752527 | 14144 104 | 1252 | 222 1220.40/1220.60 c 1210s | 20 | 1530111 | 753327 | 14144 104 | 1252 | 222 1222.40/1222.61 c 1212s | 20 | 1533910 | 755827 | 14144 104 | 1252 | 222 1224.41/1224.68 c 1214s | 20 | 1537149 | 758127 | 14144 104 | 1252 | 222 1226.51/1226.72 c 1216s | 20 | 1540372 | 760327 | 14144 104 | 1252 | 222 1228.81/1229.05 c 1218s | 20 | 1542436 | 761727 | 14144 105 | 1252 | 222 1230.80/1231.07 c 1220s | 20 | 1545896 | 764027 | 14144 105 | 1252 | 222 1232.90/1233.14 c 1223s | 20 | 1549271 | 766427 | 14144 105 | 1252 | 222 1235.20/1235.40 c 1225s | 20 | 1552578 | 768527 | 14144 105 | 1252 | 222 1237.50/1237.74 c 1227s | 20 | 1554420 | 769827 | 14144 106 | 1252 | 222 1239.50/1239.76 c 1229s | 20 | 1558110 | 772227 | 14144 106 | 1252 | 222 1241.60/1241.80 c 1231s | 20 | 1561688 | 774727 | 14144 106 | 1252 | 222 1243.60/1243.87 c 1233s | 20 | 1565251 | 777127 | 14144 106 | 1252 | 222 1245.70/1245.95 c 1235s | 20 | 1568356 | 779227 | 14144 107 | 1252 | 222 1247.80/1248.02 c 1237s | 20 | 1571615 | 781427 | 14144 107 | 1252 | 222 1249.80/1250.08 c 1239s | 20 | 1575100 | 783827 | 14144 107 | 1252 | 222 1251.91/1252.13 c 1242s | 20 | 1578601 | 786127 | 14144 107 | 1252 | 222 1253.90/1254.14 c 1244s | 20 | 1581681 | 788327 | 14144 108 | 1252 | 222 1256.31/1256.59 c 1246s | 20 | 1581925 | 788527 | 14144 108 | 1252 | 222 1258.41/1258.62 c 1248s | 20 | 1584215 | 790627 | 14144 108 | 1252 | 222 1260.40/1260.64 c 1250s | 20 | 1586561 | 792727 | 14144 108 | 1252 | 222 1262.50/1262.73 c 1252s | 20 | 1588864 | 794727 | 14144 108 | 1252 | 222 1264.50/1264.73 c 1254s | 20 | 1591793 | 796327 | 14144 109 | 1252 | 222 1266.50/1266.74 c 1256s | 20 | 1596330 | 798827 | 14144 109 | 1252 | 222 1268.50/1268.78 c 1258s | 20 | 1601059 | 801227 | 14144 109 | 1252 | 222 1270.60/1270.86 c 1260s | 20 | 1606361 | 804027 | 14144 109 | 1252 | 222 1272.90/1273.15 c 1263s | 20 | 1607922 | 805227 | 14144 110 | 1252 | 222 1275.00/1275.26 c 1265s | 20 | 1610874 | 807227 | 14144 110 | 1252 | 222 1277.10/1277.34 c 1267s | 20 | 1613655 | 809127 | 14144 110 | 1252 | 222 1279.20/1279.45 c 1269s | 20 | 1616583 | 811127 | 14144 110 | 1252 | 222 1281.20/1281.49 c 1271s | 20 | 1619236 | 812927 | 14144 111 | 1252 | 222 1283.29/1283.56 c 1273s | 20 | 1622479 | 815127 | 14144 111 | 1252 | 222 1285.39/1285.65 c 1275s | 20 | 1625879 | 816827 | 14144 111 | 1252 | 222 1287.39/1287.67 c 1277s | 20 | 1631480 | 819427 | 14144 111 | 1252 | 222 1289.59/1289.89 c 1279s | 20 | 1635751 | 821427 | 14144 112 | 1252 | 222 1291.69/1291.92 c 1281s | 20 | 1639776 | 823327 | 14144 112 | 1252 | 222 1293.70/1293.95 c 1283s | 20 | 1644406 | 825327 | 14144 112 | 1252 | 222 1295.69/1295.97 c 1285s | 20 | 1649183 | 827527 | 14144 112 | 1252 | 222 1298.49/1298.78 c 1288s | 20 | 1654164 | 830027 | 14144 113 | 1252 | 222 1300.49/1300.79 c 1290s | 20 | 1657013 | 831427 | 14144 113 | 1252 | 222 1302.69/1302.97 c 1292s | 20 | 1661906 | 833727 | 14144 113 | 1252 | 222 1304.69/1304.99 c 1294s | 20 | 1665523 | 835927 | 14144 113 | 1252 | 222 1306.79/1307.06 c 1296s | 20 | 1668568 | 837827 | 14144 113 | 1252 | 222 1308.89/1309.13 c 1299s | 20 | 1672440 | 839827 | 14144 114 | 1252 | 222 1310.89/1311.19 c 1301s | 20 | 1676373 | 842227 | 14144 114 | 1252 | 222 1312.99/1313.28 c 1303s | 20 | 1678386 | 843527 | 14144 114 | 1252 | 222 1315.09/1315.35 c 1305s | 20 | 1681413 | 845427 | 14144 114 | 1252 | 222 1317.19/1317.47 c 1307s | 20 | 1684080 | 847227 | 14144 115 | 1252 | 222 1319.29/1319.50 c 1309s | 20 | 1688251 | 849527 | 14144 115 | 1252 | 222 1321.39/1321.60 c 1311s | 20 | 1691838 | 851727 | 14144 115 | 1252 | 222 1323.40/1323.62 c 1313s | 20 | 1695625 | 853727 | 14144 115 | 1252 | 222 1325.39/1325.69 c 1315s | 20 | 1698969 | 855927 | 14144 116 | 1252 | 222 1328.39/1328.68 c 1318s | 20 | 1702429 | 858027 | 14144 116 | 1252 | 222 1330.49/1330.76 c 1320s | 20 | 1706132 | 860527 | 14144 116 | 1252 | 222 1332.59/1332.80 c 1322s | 20 | 1709349 | 862827 | 14144 116 | 1252 | 222 1334.79/1335.05 c 1324s | 20 | 1712391 | 864827 | 14144 117 | 1252 | 222 1336.79/1337.05 c 1326s | 20 | 1715185 | 867027 | 14144 117 | 1252 | 222 1338.89/1339.14 c 1329s | 20 | 1717947 | 868627 | 14144 117 | 1252 | 222 1341.00/1341.25 c 1331s | 20 | 1721389 | 870727 | 14144 117 | 1252 | 222 1342.99/1343.26 c 1333s | 20 | 1724515 | 872727 | 14144 117 | 1252 | 222 1345.09/1345.33 c 1335s | 20 | 1727114 | 874827 | 14144 118 | 1252 | 222 1347.09/1347.36 c 1337s | 20 | 1730594 | 877027 | 14144 118 | 1252 | 222 1349.19/1349.43 c 1339s | 20 | 1733653 | 879327 | 14144 118 | 1252 | 222 1351.19/1351.44 c 1341s | 20 | 1736186 | 881227 | 14144 118 | 1252 | 222 1353.19/1353.49 c 1343s | 20 | 1738342 | 882827 | 14144 119 | 1252 | 222 1355.29/1355.57 c 1345s | 20 | 1741578 | 885127 | 14144 119 | 1252 | 222 1358.49/1358.80 c 1348s | 20 | 1743274 | 886227 | 14144 119 | 1252 | 222 1360.58/1360.82 c 1350s | 20 | 1746923 | 888427 | 14144 119 | 1252 | 222 1362.68/1362.91 c 1352s | 20 | 1749710 | 890427 | 14144 120 | 1252 | 222 1364.68/1364.91 c 1354s | 20 | 1753859 | 892327 | 14144 120 | 1252 | 222 1366.68/1366.99 c 1356s | 20 | 1758313 | 894827 | 14144 120 | 1252 | 222 1368.78/1369.05 c 1358s | 20 | 1761425 | 896927 | 14144 120 | 1252 | 222 1370.88/1371.13 c 1361s | 20 | 1764363 | 898727 | 14144 121 | 1252 | 222 1372.89/1373.18 c 1363s | 20 | 1767085 | 900327 | 14144 121 | 1252 | 222 1374.99/1375.24 c 1365s | 20 | 1770088 | 902627 | 14144 121 | 1252 | 222 1376.98/1377.27 c 1367s | 20 | 1773373 | 904727 | 14144 121 | 1252 | 222 1378.98/1379.29 c 1369s | 20 | 1776403 | 906827 | 14144 121 | 1252 | 222 1381.08/1381.35 c 1371s | 20 | 1779858 | 908827 | 14144 122 | 1252 | 222 1383.08/1383.37 c 1373s | 20 | 1783404 | 911227 | 14144 122 | 1252 | 222 1385.18/1385.41 c 1375s | 20 | 1786832 | 913327 | 14144 122 | 1252 | 222 1387.18/1387.48 c 1377s | 20 | 1790405 | 915327 | 14144 122 | 1252 | 222 1389.48/1389.74 c 1379s | 20 | 1793559 | 917227 | 14144 123 | 1252 | 222 1391.48/1391.76 c 1381s | 20 | 1796824 | 919227 | 14144 123 | 1252 | 222 1393.57/1393.82 c 1383s | 20 | 1800956 | 921627 | 14144 123 | 1252 | 222 1395.57/1395.86 c 1385s | 20 | 1803874 | 923527 | 14144 123 | 1252 | 222 1398.09/1398.40 c 1388s | 20 | 1805198 | 924527 | 14144 124 | 1252 | 222 1400.18/1400.48 c 1390s | 20 | 1809494 | 926927 | 14144 124 | 1252 | 222 1402.28/1402.54 c 1392s | 20 | 1813811 | 929327 | 14144 124 | 1252 | 222 1404.38/1404.63 c 1394s | 20 | 1818147 | 931827 | 14144 124 | 1252 | 222 1406.38/1406.68 c 1396s | 20 | 1821965 | 934027 | 14144 125 | 1252 | 222 1408.48/1408.78 c 1398s | 20 | 1825693 | 936227 | 14144 125 | 1252 | 222 1410.58/1410.86 c 1400s | 20 | 1829511 | 938427 | 14144 125 | 1252 | 222 1412.68/1412.92 c 1402s | 20 | 1831779 | 940027 | 14144 125 | 1252 | 222 1414.68/1414.94 c 1404s | 20 | 1833840 | 941027 | 14144 125 | 1252 | 222 1416.68/1416.98 c 1406s | 20 | 1837401 | 943027 | 14144 126 | 1252 | 222 1418.78/1419.05 c 1408s | 20 | 1842146 | 945627 | 14144 126 | 1252 | 222 1420.88/1421.14 c 1411s | 20 | 1845844 | 947627 | 14144 126 | 1252 | 222 1422.97/1423.23 c 1413s | 20 | 1850176 | 950027 | 14144 126 | 1252 | 222 1424.97/1425.27 c 1415s | 20 | 1853841 | 952127 | 14144 127 | 1252 | 222 1426.97/1427.30 c 1417s | 20 | 1858787 | 954327 | 14144 127 | 1252 | 222 1429.07/1429.39 c 1419s | 20 | 1862162 | 955627 | 14144 127 | 1252 | 222 1431.18/1431.47 c 1421s | 20 | 1866949 | 957827 | 14144 127 | 1252 | 222 1433.28/1433.52 c 1423s | 20 | 1871911 | 960227 | 14144 128 | 1252 | 222 1435.27/1435.55 c 1425s | 20 | 1876693 | 962927 | 14144 128 | 1252 | 222 1437.27/1437.58 c 1427s | 20 | 1881454 | 965627 | 15559 128 | 1252 | 222 1439.37/1439.63 c 1429s | 20 | 1885492 | 967727 | 15559 128 | 1252 | 222 1441.37/1441.64 c 1431s | 20 | 1889504 | 969527 | 15559 129 | 1252 | 222 1443.47/1443.74 c 1433s | 20 | 1892535 | 971027 | 15559 129 | 1252 | 222 1445.57/1445.89 c 1435s | 20 | 1896115 | 972227 | 15559 129 | 1252 | 222 1447.68/1447.99 c 1437s | 20 | 1900400 | 974027 | 15559 129 | 1252 | 222 1449.67/1450.00 c 1439s | 20 | 1905458 | 976527 | 15559 129 | 1252 | 222 1451.77/1452.04 c 1441s | 20 | 1911005 | 979227 | 15559 130 | 1252 | 222 1453.77/1454.05 c 1443s | 20 | 1915233 | 981627 | 15559 130 | 1252 | 222 1455.87/1456.12 c 1446s | 20 | 1919356 | 983427 | 15559 130 | 1252 | 222 1457.87/1458.14 c 1448s | 20 | 1923586 | 985327 | 15559 130 | 1252 | 222 1459.97/1460.21 c 1450s | 20 | 1927098 | 986927 | 15559 130 | 1252 | 222 1462.07/1462.36 c 1452s | 20 | 1929595 | 988127 | 15559 131 | 1252 | 222 1464.27/1464.55 c 1454s | 20 | 1931863 | 989227 | 15559 131 | 1252 | 222 1466.27/1466.56 c 1456s | 20 | 1935465 | 991027 | 15559 131 | 1252 | 222 1468.36/1468.66 c 1458s | 20 | 1939063 | 992627 | 15559 131 | 1252 | 222 1470.46/1470.71 c 1460s | 20 | 1941906 | 994027 | 15559 131 | 1252 | 222 1472.97/1473.29 c 1463s | 20 | 1945486 | 995327 | 15559 131 | 1252 | 222 1475.07/1475.31 c 1465s | 20 | 1949051 | 996927 | 15559 131 | 1252 | 222 1477.06/1477.38 c 1467s | 20 | 1952680 | 998527 | 15559 132 | 1252 | 222 1478.66/1478.90 c 1468s | 21 | 1956897 | 1000345 | 15559 132 | 1252 | 222 1480.68/1480.96 c 1470s | 21 | 1963986 | 1002745 | 15559 132 | 1252 | 222 1482.77/1483.03 c 1472s | 21 | 1969370 | 1005145 | 15559 132 | 1252 | 222 1484.77/1485.05 c 1474s | 21 | 1973728 | 1007245 | 15559 133 | 1252 | 222 1486.77/1487.08 c 1476s | 21 | 1979898 | 1009845 | 15559 133 | 1252 | 222 1488.77/1489.09 c 1479s | 21 | 1985401 | 1012445 | 15559 133 | 1252 | 222 1490.77/1491.09 c 1481s | 21 | 1990330 | 1014745 | 15559 133 | 1252 | 222 1492.87/1493.15 c 1483s | 21 | 1995507 | 1017245 | 15559 134 | 1252 | 222 1494.87/1495.20 c 1485s | 21 | 2000430 | 1019745 | 15559 134 | 1252 | 222 1496.97/1497.22 c 1487s | 21 | 2005179 | 1022245 | 15559 134 | 1252 | 222 1498.97/1499.26 c 1489s | 21 | 2009496 | 1024645 | 15559 134 | 1252 | 222 1501.06/1501.31 c 1491s | 21 | 2012524 | 1026245 | 15559 135 | 1252 | 222 1503.06/1503.33 c 1493s | 21 | 2016739 | 1027945 | 15559 135 | 1252 | 222 1505.06/1505.39 c 1495s | 21 | 2022243 | 1030645 | 15559 135 | 1252 | 222 1507.16/1507.41 c 1497s | 21 | 2027593 | 1033145 | 15559 135 | 1252 | 222 1509.17/1509.42 c 1499s | 21 | 2033692 | 1035845 | 15559 136 | 1252 | 222 1511.96/1512.20 c 1502s | 21 | 2038712 | 1038245 | 15559 136 | 1252 | 222 1513.96/1514.23 c 1504s | 21 | 2044269 | 1041045 | 15559 136 | 1252 | 222 1515.96/1516.26 c 1506s | 21 | 2050383 | 1043745 | 15559 136 | 1252 | 222 1518.26/1518.51 c 1508s | 21 | 2052347 | 1044445 | 15559 137 | 1252 | 222 1520.26/1520.58 c 1510s | 21 | 2057515 | 1046845 | 15559 137 | 1252 | 222 1522.36/1522.64 c 1512s | 21 | 2060676 | 1048245 | 15559 137 | 1252 | 222 1524.45/1524.71 c 1514s | 21 | 2065483 | 1050245 | 15559 137 | 1252 | 222 1526.55/1526.82 c 1516s | 21 | 2070098 | 1052245 | 15559 137 | 1252 | 222 1528.55/1528.88 c 1518s | 21 | 2075433 | 1054245 | 15559 138 | 1252 | 222 1530.65/1530.96 c 1520s | 21 | 2080668 | 1056645 | 15559 138 | 1252 | 222 1532.85/1533.10 c 1523s | 21 | 2086188 | 1059045 | 15559 138 | 1252 | 222 1534.85/1535.15 c 1525s | 21 | 2092309 | 1061445 | 15559 138 | 1252 | 222 1536.95/1537.29 c 1527s | 21 | 2096161 | 1063045 | 15559 139 | 1252 | 222 1539.05/1539.36 c 1529s | 21 | 2102861 | 1065945 | 15559 139 | 1252 | 222 1541.05/1541.38 c 1531s | 21 | 2108146 | 1068545 | 15559 139 | 1252 | 222 1543.05/1543.39 c 1533s | 21 | 2113292 | 1071145 | 15559 139 | 1252 | 222 1545.14/1545.45 c 1535s | 21 | 2118290 | 1073645 | 15559 140 | 1252 | 222 1547.14/1547.47 c 1537s | 21 | 2122986 | 1076145 | 15559 140 | 1252 | 222 1549.24/1549.54 c 1539s | 21 | 2127421 | 1078545 | 15559 140 | 1252 | 222 1551.24/1551.54 c 1541s | 21 | 2131731 | 1081045 | 15559 140 | 1252 | 222 1553.25/1553.59 c 1543s | 21 | 2136644 | 1083545 | 15559 141 | 1252 | 222 1555.34/1555.64 c 1545s | 21 | 2141930 | 1086345 | 15559 141 | 1252 | 222 1557.34/1557.69 c 1547s | 21 | 2144896 | 1087645 | 15559 141 | 1252 | 222 1559.43/1559.70 c 1549s | 21 | 2149657 | 1089945 | 15559 141 | 1252 | 222 1562.13/1562.46 c 1552s | 21 | 2153140 | 1091545 | 15559 142 | 1252 | 222 1564.14/1564.48 c 1554s | 21 | 2158401 | 1094145 | 15559 142 | 1252 | 222 1566.23/1566.56 c 1556s | 21 | 2162881 | 1096645 | 15559 142 | 1252 | 222 1568.33/1568.64 c 1558s | 21 | 2167400 | 1099145 | 15559 142 | 1252 | 222 1570.33/1570.65 c 1560s | 21 | 2171921 | 1101445 | 15559 143 | 1252 | 222 1572.33/1572.69 c 1562s | 21 | 2176948 | 1104045 | 15559 143 | 1252 | 222 1574.43/1574.74 c 1564s | 21 | 2180451 | 1105945 | 15559 143 | 1252 | 222 1576.42/1576.77 c 1566s | 21 | 2185554 | 1108345 | 15559 143 | 1252 | 222 1578.53/1578.84 c 1568s | 21 | 2189681 | 1110345 | 15559 144 | 1252 | 222 1580.52/1580.87 c 1570s | 21 | 2195153 | 1112745 | 15559 144 | 1252 | 222 1582.62/1582.91 c 1572s | 21 | 2200201 | 1115145 | 15559 144 | 1252 | 222 1584.62/1584.98 c 1574s | 21 | 2205125 | 1117445 | 15559 144 | 1252 | 222 1586.72/1587.00 c 1576s | 21 | 2209533 | 1119545 | 15559 145 | 1252 | 222 1588.72/1589.05 c 1578s | 21 | 2214358 | 1121945 | 15559 145 | 1252 | 222 1590.72/1591.09 c 1581s | 21 | 2218695 | 1124245 | 15559 145 | 1252 | 222 1592.82/1593.15 c 1583s | 21 | 2224505 | 1127145 | 15559 145 | 1252 | 222 1594.92/1595.22 c 1585s | 21 | 2229414 | 1129745 | 15559 146 | 1252 | 222 1597.01/1597.30 c 1587s | 21 | 2234059 | 1132245 | 15559 146 | 1252 | 222 1599.01/1599.36 c 1589s | 21 | 2239039 | 1134745 | 15559 146 | 1252 | 222 1601.01/1601.38 c 1591s | 21 | 2243682 | 1137045 | 15559 146 | 1252 | 222 1604.02/1604.31 c 1594s | 21 | 2246947 | 1138745 | 15559 147 | 1252 | 222 1606.02/1606.32 c 1596s | 21 | 2252133 | 1141145 | 15559 147 | 1252 | 222 1608.12/1608.40 c 1598s | 21 | 2256924 | 1143745 | 15559 147 | 1252 | 222 1610.12/1610.48 c 1600s | 21 | 2261542 | 1145945 | 15559 147 | 1252 | 222 1612.21/1612.52 c 1602s | 21 | 2265887 | 1148345 | 15559 148 | 1252 | 222 1614.21/1614.58 c 1604s | 21 | 2270343 | 1150845 | 15559 148 | 1252 | 222 1616.31/1616.62 c 1606s | 21 | 2274993 | 1153245 | 15559 148 | 1252 | 222 1618.31/1618.66 c 1608s | 21 | 2278980 | 1155445 | 15559 148 | 1252 | 222 1620.41/1620.74 c 1610s | 21 | 2283194 | 1157745 | 15559 149 | 1252 | 222 1622.42/1622.77 c 1612s | 21 | 2287372 | 1159845 | 15559 149 | 1252 | 222 1624.51/1624.82 c 1614s | 21 | 2291521 | 1162145 | 15559 149 | 1252 | 222 1626.60/1626.91 c 1616s | 21 | 2295482 | 1164345 | 15559 149 | 1252 | 222 1628.60/1628.97 c 1618s | 21 | 2299808 | 1166645 | 15559 150 | 1252 | 222 1630.70/1631.08 c 1620s | 21 | 2304018 | 1169045 | 15559 150 | 1252 | 222 1632.80/1633.11 c 1623s | 21 | 2308066 | 1171145 | 15559 150 | 1252 | 222 1634.80/1635.16 c 1625s | 21 | 2309788 | 1172045 | 15559 150 | 1252 | 222 1636.80/1637.19 c 1627s | 21 | 2313191 | 1173745 | 15559 150 | 1252 | 222 1638.90/1639.20 c 1629s | 21 | 2317378 | 1175745 | 15559 151 | 1252 | 222 1640.90/1641.27 c 1631s | 21 | 2321760 | 1178045 | 15559 151 | 1252 | 222 1643.00/1643.33 c 1633s | 21 | 2326589 | 1180545 | 15559 151 | 1252 | 222 1644.99/1645.37 c 1635s | 21 | 2330947 | 1182945 | 15559 151 | 1252 | 222 1647.09/1647.47 c 1637s | 21 | 2334544 | 1185045 | 15559 152 | 1252 | 222 1649.19/1649.52 c 1639s | 21 | 2338672 | 1187445 | 15559 152 | 1252 | 222 1651.19/1651.53 c 1641s | 21 | 2342378 | 1189645 | 15559 152 | 1252 | 222 1653.30/1653.61 c 1643s | 21 | 2346454 | 1192045 | 15559 152 | 1252 | 222 1655.29/1655.61 c 1645s | 21 | 2349769 | 1193945 | 15559 153 | 1252 | 222 1657.29/1657.69 c 1647s | 21 | 2351859 | 1195145 | 15559 153 | 1252 | 222 1659.39/1659.70 c 1649s | 21 | 2355597 | 1197345 | 15559 153 | 1252 | 222 1661.39/1661.73 c 1651s | 21 | 2359889 | 1199845 | 15559 153 | 1252 | 222 1663.39/1663.75 c 1653s | 21 | 2363196 | 1201945 | 15559 153 | 1252 | 222 1665.39/1665.78 c 1655s | 21 | 2366917 | 1204045 | 15559 154 | 1252 | 222 1667.49/1667.84 c 1657s | 21 | 2371138 | 1206445 | 15559 154 | 1252 | 222 1669.98/1670.33 c 1660s | 21 | 2376170 | 1209145 | 15559 154 | 1252 | 222 1671.99/1672.36 c 1662s | 21 | 2380404 | 1211345 | 15559 154 | 1252 | 222 1674.09/1674.42 c 1664s | 21 | 2383365 | 1212945 | 15559 155 | 1252 | 222 1676.07/1676.44 c 1666s | 21 | 2387940 | 1215245 | 15559 155 | 1252 | 222 1678.17/1678.50 c 1668s | 21 | 2392939 | 1217945 | 15559 155 | 1252 | 222 1680.17/1680.52 c 1670s | 21 | 2397217 | 1220245 | 15559 155 | 1252 | 222 1682.17/1682.59 c 1672s | 21 | 2400842 | 1222245 | 15559 156 | 1252 | 222 1684.27/1684.67 c 1674s | 21 | 2405520 | 1224745 | 15559 156 | 1252 | 222 1686.37/1686.70 c 1676s | 21 | 2411263 | 1227145 | 15559 156 | 1252 | 222 1688.38/1688.77 c 1678s | 21 | 2416071 | 1229645 | 15559 156 | 1252 | 222 1690.58/1690.96 c 1680s | 21 | 2419752 | 1231445 | 15559 157 | 1252 | 222 1692.57/1692.99 c 1682s | 21 | 2425194 | 1234045 | 15559 157 | 1252 | 222 1694.67/1695.01 c 1684s | 21 | 2430240 | 1236545 | 15559 157 | 1252 | 222 1696.66/1697.03 c 1686s | 21 | 2435646 | 1239345 | 15559 157 | 1252 | 222 1698.76/1699.11 c 1689s | 21 | 2440338 | 1241745 | 15559 158 | 1252 | 222 1700.76/1701.11 c 1691s | 21 | 2444071 | 1243645 | 15559 158 | 1252 | 222 1702.77/1703.13 c 1693s | 21 | 2448420 | 1246045 | 15559 158 | 1252 | 222 1704.76/1705.14 c 1695s | 21 | 2452961 | 1248445 | 15559 158 | 1252 | 222 1706.76/1707.19 c 1697s | 21 | 2457559 | 1250745 | 15559 159 | 1252 | 222 1708.87/1709.22 c 1699s | 21 | 2459417 | 1251645 | 15559 159 | 1252 | 222 1710.86/1711.23 c 1701s | 21 | 2463726 | 1253845 | 15559 159 | 1252 | 222 1712.86/1713.26 c 1703s | 21 | 2468579 | 1256245 | 15559 159 | 1252 | 222 1714.96/1715.32 c 1705s | 21 | 2472930 | 1258445 | 15559 159 | 1252 | 222 1716.97/1717.35 c 1707s | 21 | 2476543 | 1260145 | 15559 160 | 1252 | 222 1718.96/1719.36 c 1709s | 21 | 2481040 | 1262645 | 15559 160 | 1252 | 222 1720.96/1721.38 c 1711s | 21 | 2486772 | 1265145 | 15559 160 | 1252 | 222 1723.06/1723.43 c 1713s | 21 | 2492103 | 1267545 | 15559 160 | 1252 | 222 1725.06/1725.46 c 1715s | 21 | 2496752 | 1269845 | 15559 161 | 1252 | 222 1727.06/1727.48 c 1717s | 21 | 2501146 | 1272145 | 15559 161 | 1252 | 222 1729.16/1729.53 c 1719s | 21 | 2505431 | 1274845 | 15559 161 | 1252 | 222 1731.16/1731.59 c 1721s | 21 | 2509091 | 1277245 | 15559 161 | 1252 | 222 1733.26/1733.65 c 1723s | 21 | 2512450 | 1279345 | 15559 162 | 1252 | 222 1735.25/1735.66 c 1725s | 21 | 2515988 | 1281445 | 15559 162 | 1252 | 222 1737.35/1737.70 c 1727s | 21 | 2519731 | 1283545 | 15559 162 | 1252 | 222 1739.35/1739.77 c 1729s | 21 | 2523323 | 1285645 | 15559 162 | 1252 | 222 1742.55/1742.99 c 1732s | 21 | 2523745 | 1285845 | 15559 162 | 1252 | 222 1744.65/1745.00 c 1734s | 21 | 2527949 | 1287945 | 15559 163 | 1252 | 222 1746.65/1747.06 c 1736s | 21 | 2531877 | 1290245 | 15559 163 | 1252 | 222 1748.74/1749.13 c 1739s | 21 | 2536777 | 1292645 | 15559 163 | 1252 | 222 1750.84/1751.27 c 1741s | 21 | 2540886 | 1294745 | 15559 163 | 1252 | 222 1752.94/1753.32 c 1743s | 21 | 2545205 | 1296945 | 15559 164 | 1252 | 222 1754.94/1755.33 c 1745s | 21 | 2550669 | 1299345 | 15559 164 | 1252 | 222 1757.04/1757.40 c 1747s | 21 | 2555232 | 1302045 | 15559 164 | 1252 | 222 1759.04/1759.47 c 1749s | 21 | 2559301 | 1304245 | 15559 164 | 1252 | 222 1761.04/1761.49 c 1751s | 21 | 2563531 | 1306445 | 15559 165 | 1252 | 222 1763.04/1763.49 c 1753s | 21 | 2567606 | 1308745 | 15559 165 | 1252 | 222 1765.03/1765.50 c 1755s | 21 | 2570980 | 1310945 | 15559 165 | 1252 | 222 1767.64/1768.05 c 1757s | 21 | 2574022 | 1312945 | 15559 165 | 1252 | 222 1769.64/1770.06 c 1759s | 21 | 2578295 | 1315045 | 15559 165 | 1252 | 222 1771.74/1772.11 c 1762s | 21 | 2581884 | 1317045 | 15559 166 | 1252 | 222 1773.74/1774.18 c 1764s | 21 | 2587250 | 1319545 | 15559 166 | 1252 | 222 1775.73/1776.19 c 1766s | 21 | 2591585 | 1321845 | 15559 166 | 1252 | 222 1777.83/1778.23 c 1768s | 21 | 2596321 | 1324045 | 15559 166 | 1252 | 222 1779.83/1780.24 c 1770s | 21 | 2600798 | 1326245 | 15559 167 | 1252 | 222 1781.94/1782.31 c 1772s | 21 | 2605424 | 1328645 | 15559 167 | 1252 | 222 1783.93/1784.37 c 1774s | 21 | 2609735 | 1331145 | 15559 167 | 1252 | 222 1786.03/1786.43 c 1776s | 21 | 2613360 | 1333345 | 15559 167 | 1252 | 222 1788.03/1788.49 c 1778s | 21 | 2617387 | 1335445 | 15559 168 | 1252 | 222 1790.12/1790.58 c 1780s | 21 | 2621362 | 1337745 | 15559 168 | 1252 | 222 1792.22/1792.62 c 1782s | 21 | 2622849 | 1338645 | 15559 168 | 1252 | 222 1794.22/1794.64 c 1784s | 21 | 2626511 | 1340845 | 15559 168 | 1252 | 222 1796.52/1796.93 c 1786s | 21 | 2631189 | 1343445 | 15559 169 | 1252 | 222 1798.52/1798.95 c 1788s | 21 | 2636319 | 1346445 | 15559 169 | 1252 | 222
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-4101945-1466228128/watcher-4101945-1466228128 -o /tmp/evaluation-result-4101945-1466228128/solver-4101945-1466228128 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101945-1466228128.opb pid=18046 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.06 2.08 2.09 3/179 18049 /proc/meminfo: memFree=29087132/32872528 swapFree=1191052/1305516 [pid=18049] ppid=18046 vsize=763324 CPUtime=0 cores=0,2,4,6 /proc/18049/stat : 18049 (toysat) R 18046 18049 14522 0 -1 4202496 2852 0 0 0 0 0 0 0 20 0 4 0 24859472 781643776 3214 33554432000 4194304 16246674 140733578835968 140733578835392 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18049/statm: 191343 3221 441 2943 0 188237 0 [pid=18049/tid=18050] ppid=18046 vsize=779708 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18050/stat : 18050 (toysat) S 18046 18049 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24859472 798420992 3281 33554432000 4194304 16246674 140733578835968 139881095343344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18049/tid=18051] ppid=18046 vsize=784828 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18051/stat : 18051 (toysat) S 18046 18049 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24859472 803663872 3298 33554432000 4194304 16246674 140733578835968 139881084853488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18049/tid=18052] ppid=18046 vsize=787900 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18052/stat : 18052 (toysat) S 18046 18049 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24859472 806809600 3313 33554432000 4194304 16246674 140733578835968 139881074379952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100171 s] /proc/loadavg: 2.06 2.08 2.09 3/179 18049 /proc/meminfo: memFree=29087132/32872528 swapFree=1191052/1305516 [pid=18049] ppid=18046 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/18049/stat : 18049 (toysat) R 18046 18049 14522 0 -1 4202496 32109 0 0 0 5 4 0 0 20 0 4 0 24859472 1247350784 32461 33554432000 4194304 16246674 140733578835968 140733578835392 12652961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18049/statm: 304529 32471 658 2943 0 301423 0 [pid=18049/tid=18050] ppid=18046 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18050/stat : 18050 (toysat) S 18046 18049 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24859472 1247350784 32479 33554432000 4194304 16246674 140733578835968 139881095343344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18049/tid=18051] ppid=18046 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18051/stat : 18051 (toysat) S 18046 18049 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24859472 1247350784 32485 33554432000 4194304 16246674 140733578835968 139881084853488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18049/tid=18052] ppid=18046 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18052/stat : 18052 (toysat) S 18046 18049 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24859472 1247350784 32491 33554432000 4194304 16246674 140733578835968 139881074379952 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) 1218116 [startup+0.200478 s] /proc/loadavg: 2.06 2.08 2.09 3/179 18049 /proc/meminfo: memFree=29087132/32872528 swapFree=1191052/1305516 [pid=18049] ppid=18046 vsize=1224260 CPUtime=0.19 cores=0,2,4,6 /proc/18049/stat : 18049 (toysat) R 18046 18049 14522 0 -1 4202496 56541 0 0 0 11 8 0 0 20 0 4 0 24859472 1253642240 56867 33554432000 4194304 16246674 140733578835968 140733578835280 12415720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18049/statm: 306065 56867 821 2943 0 302959 0 [pid=18049/tid=18050] ppid=18046 vsize=1224260 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18050/stat : 18050 (toysat) S 18046 18049 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24859472 1253642240 56867 33554432000 4194304 16246674 140733578835968 139881095343344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18049/tid=18051] ppid=18046 vsize=1224260 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18051/stat : 18051 (toysat) S 18046 18049 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24859472 1253642240 56867 33554432000 4194304 16246674 140733578835968 139881084853488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18049/tid=18052] ppid=18046 vsize=1224260 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18052/stat : 18052 (toysat) S 18046 18049 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24859472 1253642240 56867 33554432000 4194304 16246674 140733578835968 139881074379952 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) 1224260 [startup+0.300456 s] /proc/loadavg: 2.06 2.08 2.09 3/179 18049 /proc/meminfo: memFree=29087132/32872528 swapFree=1191052/1305516 [pid=18049] ppid=18046 vsize=1224260 CPUtime=0.29 cores=0,2,4,6 /proc/18049/stat : 18049 (toysat) R 18046 18049 14522 0 -1 4202496 56544 0 0 0 21 8 0 0 20 0 4 0 24859472 1253642240 56870 33554432000 4194304 16246674 140733578835968 140733578835280 6843088 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18049/statm: 306065 56870 821 2943 0 302959 0 [pid=18049/tid=18050] ppid=18046 vsize=1224260 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18050/stat : 18050 (toysat) S 18046 18049 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24859472 1253642240 56870 33554432000 4194304 16246674 140733578835968 139881095343344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18049/tid=18051] ppid=18046 vsize=1224260 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18051/stat : 18051 (toysat) S 18046 18049 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24859472 1253642240 56870 33554432000 4194304 16246674 140733578835968 139881084853488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18049/tid=18052] ppid=18046 vsize=1224260 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18052/stat : 18052 (toysat) S 18046 18049 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24859472 1253642240 56870 33554432000 4194304 16246674 140733578835968 139881074379952 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) 1224260 [startup+0.700441 s] /proc/loadavg: 2.06 2.08 2.09 3/179 18049 /proc/meminfo: memFree=29087132/32872528 swapFree=1191052/1305516 [pid=18049] ppid=18046 vsize=1307204 CPUtime=0.69 cores=0,2,4,6 /proc/18049/stat : 18049 (toysat) R 18046 18049 14522 0 -1 4202496 76615 0 0 0 58 11 0 0 20 0 4 0 24859472 1338576896 76941 33554432000 4194304 16246674 140733578835968 140733578835280 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18049/statm: 326801 76941 842 2943 0 323695 0 [pid=18049/tid=18050] ppid=18046 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18050/stat : 18050 (toysat) S 18046 18049 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24859472 1338576896 76941 33554432000 4194304 16246674 140733578835968 139881095343344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18049/tid=18051] ppid=18046 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18051/stat : 18051 (toysat) S 18046 18049 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24859472 1338576896 76941 33554432000 4194304 16246674 140733578835968 139881084853488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18049/tid=18052] ppid=18046 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18052/stat : 18052 (toysat) S 18046 18049 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24859472 1338576896 76941 33554432000 4194304 16246674 140733578835968 139881074379952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1307204 [startup+1.50037 s] /proc/loadavg: 2.06 2.08 2.09 3/183 18053 /proc/meminfo: memFree=28777516/32872528 swapFree=1191052/1305516 [pid=18049] ppid=18046 vsize=1307204 CPUtime=1.49 cores=0,2,4,6 /proc/18049/stat : 18049 (toysat) R 18046 18049 14522 0 -1 4202496 77453 0 0 0 138 11 0 0 20 0 4 0 24859472 1338576896 77779 33554432000 4194304 16246674 140733578835968 140733578817856 5712015 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18049/statm: 326801 77779 846 2943 0 323695 0 [pid=18049/tid=18050] ppid=18046 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18050/stat : 18050 (toysat) S 18046 18049 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24859472 1338576896 77779 33554432000 4194304 16246674 140733578835968 139881095343344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18049/tid=18051] ppid=18046 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18051/stat : 18051 (toysat) S 18046 18049 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24859472 1338576896 77779 33554432000 4194304 16246674 140733578835968 139881084853488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18049/tid=18052] ppid=18046 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18052/stat : 18052 (toysat) S 18046 18049 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24859472 1338576896 77779 33554432000 4194304 16246674 140733578835968 139881074379952 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) 1307204 [startup+3.10037 s] /proc/loadavg: 2.06 2.08 2.09 3/183 18053 /proc/meminfo: memFree=28493184/32872528 swapFree=1191052/1305516 [pid=18049] ppid=18046 vsize=1309252 CPUtime=3.09 cores=0,2,4,6 /proc/18049/stat : 18049 (toysat) R 18046 18049 14522 0 -1 4202496 170921 0 0 0 285 24 0 0 20 0 4 0 24859472 1340674048 171247 33554432000 4194304 16246674 140733578835968 140733578818968 13198569 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18049/statm: 327313 171253 848 2943 0 324207 0 [pid=18049/tid=18050] ppid=18046 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18050/stat : 18050 (toysat) S 18046 18049 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24859472 1340674048 171257 33554432000 4194304 16246674 140733578835968 139881095343344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18049/tid=18051] ppid=18046 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18051/stat : 18051 (toysat) S 18046 18049 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24859472 1340674048 171260 33554432000 4194304 16246674 140733578835968 139881084853488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18049/tid=18052] ppid=18046 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18052/stat : 18052 (toysat) S 18046 18049 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24859472 1340674048 171264 33554432000 4194304 16246674 140733578835968 139881074379952 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) 1309252 [startup+6.30036 s] /proc/loadavg: 2.06 2.08 2.09 3/183 18053 /proc/meminfo: memFree=28011668/32872528 swapFree=1191052/1305516 [pid=18049] ppid=18046 vsize=1311300 CPUtime=6.29 cores=0,2,4,6 /proc/18049/stat : 18049 (toysat) R 18046 18049 14522 0 -1 4202496 268700 0 0 0 592 37 0 0 20 0 4 0 24859472 1342771200 269026 33554432000 4194304 16246674 140733578835968 140733578817856 6025289 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18049/statm: 327825 269026 851 2943 0 324719 0 [pid=18049/tid=18050] ppid=18046 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18050/stat : 18050 (toysat) S 18046 18049 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24859472 1342771200 269026 33554432000 4194304 16246674 140733578835968 139881095343344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18049/tid=18051] ppid=18046 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18051/stat : 18051 (toysat) S 18046 18049 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24859472 1342771200 269026 33554432000 4194304 16246674 140733578835968 139881084853488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18049/tid=18052] ppid=18046 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18052/stat : 18052 (toysat) S 18046 18049 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24859472 1342771200 269026 33554432000 4194304 16246674 140733578835968 139881074379952 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) 1311300 [startup+12.7004 s] /proc/loadavg: 2.05 2.08 2.08 3/183 18053 /proc/meminfo: memFree=28011316/32872528 swapFree=1191052/1305516 [pid=18049] ppid=18046 vsize=1311300 CPUtime=12.68 cores=0,2,4,6 /proc/18049/stat : 18049 (toysat) R 18046 18049 14522 0 -1 4202496 268879 0 0 0 1231 37 0 0 20 0 4 0 24859472 1342771200 269205 33554432000 4194304 16246674 140733578835968 140733578817856 13821000 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18049/statm: 327825 269205 853 2943 0 324719 0 [pid=18049/tid=18050] ppid=18046 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18050/stat : 18050 (toysat) S 18046 18049 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24859472 1342771200 269205 33554432000 4194304 16246674 140733578835968 139881095343344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18049/tid=18051] ppid=18046 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18051/stat : 18051 (toysat) S 18046 18049 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24859472 1342771200 269205 33554432000 4194304 16246674 140733578835968 139881084853488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18049/tid=18052] ppid=18046 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18052/stat : 18052 (toysat) S 18046 18049 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24859472 1342771200 269205 33554432000 4194304 16246674 140733578835968 139881074379952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1311300 [startup+25.5004 s] /proc/loadavg: 2.11 2.09 2.09 3/183 18053 /proc/meminfo: memFree=28011664/32872528 swapFree=1191052/1305516 [pid=18049] ppid=18046 vsize=1311300 CPUtime=25.49 cores=0,2,4,6 /proc/18049/stat : 18049 (toysat) R 18046 18049 14522 0 -1 4202496 268914 0 0 0 2512 37 0 0 20 0 4 0 24859472 1342771200 269240 33554432000 4194304 16246674 140733578835968 140733578817856 5711576 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18049/statm: 327825 269240 853 2943 0 324719 0 [pid=18049/tid=18050] ppid=18046 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18050/stat : 18050 (toysat) S 18046 18049 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24859472 1342771200 269240 33554432000 4194304 16246674 140733578835968 139881095343344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18049/tid=18051] ppid=18046 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18051/stat : 18051 (toysat) S 18046 18049 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24859472 1342771200 269240 33554432000 4194304 16246674 140733578835968 139881084853488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18049/tid=18052] ppid=18046 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18052/stat : 18052 (toysat) S 18046 18049 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24859472 1342771200 269240 33554432000 4194304 16246674 140733578835968 139881074379952 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) 1311300 [startup+51.1004 s] /proc/loadavg: 2.07 2.08 2.09 3/183 18053 /proc/meminfo: memFree=28004848/32872528 swapFree=1191052/1305516 [pid=18049] ppid=18046 vsize=1318468 CPUtime=51.09 cores=0,2,4,6 /proc/18049/stat : 18049 (toysat) R 18046 18049 14522 0 -1 4202496 270706 0 0 0 5071 38 0 0 20 0 4 0 24859472 1350111232 271032 33554432000 4194304 16246674 140733578835968 140733578817856 5711496 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18049/statm: 329617 271032 853 2943 0 326511 0 [pid=18049/tid=18050] ppid=18046 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18050/stat : 18050 (toysat) S 18046 18049 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24859472 1350111232 271032 33554432000 4194304 16246674 140733578835968 139881095343344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18049/tid=18051] ppid=18046 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18051/stat : 18051 (toysat) S 18046 18049 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24859472 1350111232 271032 33554432000 4194304 16246674 140733578835968 139881084853488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18049/tid=18052] ppid=18046 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18052/stat : 18052 (toysat) S 18046 18049 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24859472 1350111232 271032 33554432000 4194304 16246674 140733578835968 139881074379952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1318468 [startup+102.3 s] /proc/loadavg: 2.07 2.08 2.09 4/183 18054 /proc/meminfo: memFree=27996220/32872528 swapFree=1191052/1305516 [pid=18049] ppid=18046 vsize=1326660 CPUtime=102.27 cores=0,2,4,6 /proc/18049/stat : 18049 (toysat) R 18046 18049 14522 0 -1 4202496 272755 0 0 0 10189 38 0 0 20 0 4 0 24859472 1358499840 273081 33554432000 4194304 16246674 140733578835968 140733578817856 12875566 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18049/statm: 331665 273081 854 2943 0 328559 0 [pid=18049/tid=18050] ppid=18046 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18050/stat : 18050 (toysat) S 18046 18049 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24859472 1358499840 273081 33554432000 4194304 16246674 140733578835968 139881095343344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18049/tid=18051] ppid=18046 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18051/stat : 18051 (toysat) S 18046 18049 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24859472 1358499840 273081 33554432000 4194304 16246674 140733578835968 139881084853488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18049/tid=18052] ppid=18046 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18052/stat : 18052 (toysat) S 18046 18049 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24859472 1358499840 273081 33554432000 4194304 16246674 140733578835968 139881074379952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1326660 ################ # More data... # ################ /proc/18049/task/18052/stat : 18052 (toysat) S 18046 18049 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285369 33554432000 4194304 16246674 140733578835968 139881074379952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 1375812 [startup+1302.3 s] /proc/loadavg: 2.42 2.30 2.20 3/183 18084 /proc/meminfo: memFree=26730340/32872528 swapFree=1191052/1305516 [pid=18049] ppid=18046 vsize=1375812 CPUtime=1302.09 cores=0,2,4,6 /proc/18049/stat : 18049 (toysat) R 18046 18049 14522 0 -1 4202496 285043 0 0 0 130162 47 0 0 20 0 4 0 24859472 1408831488 285369 33554432000 4194304 16246674 140733578835968 140733578817856 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18049/statm: 343953 285369 854 2943 0 340847 0 [pid=18049/tid=18050] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18050/stat : 18050 (toysat) S 18046 18049 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285369 33554432000 4194304 16246674 140733578835968 139881095343344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18049/tid=18051] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18051/stat : 18051 (toysat) S 18046 18049 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285369 33554432000 4194304 16246674 140733578835968 139881084853488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18049/tid=18052] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18052/stat : 18052 (toysat) S 18046 18049 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285369 33554432000 4194304 16246674 140733578835968 139881074379952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1375812 [startup+1362.3 s] /proc/loadavg: 2.32 2.29 2.20 3/183 18086 /proc/meminfo: memFree=26672228/32872528 swapFree=1191052/1305516 [pid=18049] ppid=18046 vsize=1375812 CPUtime=1362.08 cores=0,2,4,6 /proc/18049/stat : 18049 (toysat) R 18046 18049 14522 0 -1 4202496 285043 0 0 0 136160 48 0 0 20 0 4 0 24859472 1408831488 285369 33554432000 4194304 16246674 140733578835968 140733578817856 5808428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18049/statm: 343953 285369 854 2943 0 340847 0 [pid=18049/tid=18050] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18050/stat : 18050 (toysat) S 18046 18049 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285369 33554432000 4194304 16246674 140733578835968 139881095343344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18049/tid=18051] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18051/stat : 18051 (toysat) S 18046 18049 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285369 33554432000 4194304 16246674 140733578835968 139881084853488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18049/tid=18052] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18052/stat : 18052 (toysat) S 18046 18049 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285369 33554432000 4194304 16246674 140733578835968 139881074379952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1375812 [startup+1422.3 s] /proc/loadavg: 2.24 2.28 2.20 3/183 18087 /proc/meminfo: memFree=26640552/32872528 swapFree=1191052/1305516 [pid=18049] ppid=18046 vsize=1375812 CPUtime=1422.07 cores=0,2,4,6 /proc/18049/stat : 18049 (toysat) R 18046 18049 14522 0 -1 4202496 285043 0 0 0 142158 49 0 0 20 0 4 0 24859472 1408831488 285369 33554432000 4194304 16246674 140733578835968 140733578817856 5711338 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18049/statm: 343953 285369 854 2943 0 340847 0 [pid=18049/tid=18050] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18050/stat : 18050 (toysat) S 18046 18049 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285369 33554432000 4194304 16246674 140733578835968 139881095343344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18049/tid=18051] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18051/stat : 18051 (toysat) S 18046 18049 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285369 33554432000 4194304 16246674 140733578835968 139881084853488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18049/tid=18052] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18052/stat : 18052 (toysat) S 18046 18049 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285369 33554432000 4194304 16246674 140733578835968 139881074379952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 1375812 [startup+1482.3 s] /proc/loadavg: 2.15 2.25 2.19 3/184 18140 /proc/meminfo: memFree=29114976/32872528 swapFree=1191052/1305516 [pid=18049] ppid=18046 vsize=1375812 CPUtime=1482.07 cores=0,2,4,6 /proc/18049/stat : 18049 (toysat) R 18046 18049 14522 0 -1 4202496 285043 0 0 0 148157 50 0 0 20 0 4 0 24859472 1408831488 285369 33554432000 4194304 16246674 140733578835968 140733578817856 5829844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18049/statm: 343953 285369 854 2943 0 340847 0 [pid=18049/tid=18050] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18050/stat : 18050 (toysat) S 18046 18049 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285369 33554432000 4194304 16246674 140733578835968 139881095343344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18049/tid=18051] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18051/stat : 18051 (toysat) S 18046 18049 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285369 33554432000 4194304 16246674 140733578835968 139881084853488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18049/tid=18052] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18052/stat : 18052 (toysat) S 18046 18049 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285369 33554432000 4194304 16246674 140733578835968 139881074379952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1482.07 Current children cumulated vsize (KiB) 1375812 [startup+1542.3 s] /proc/loadavg: 2.31 2.27 2.20 3/184 18164 /proc/meminfo: memFree=28299700/32872528 swapFree=1191052/1305516 [pid=18049] ppid=18046 vsize=1375812 CPUtime=1542.05 cores=0,2,4,6 /proc/18049/stat : 18049 (toysat) R 18046 18049 14522 0 -1 4202496 285061 0 0 0 154155 50 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 140733578817856 5672222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18049/statm: 343953 285372 854 2943 0 340847 0 [pid=18049/tid=18050] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18050/stat : 18050 (toysat) S 18046 18049 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 139881095343344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18049/tid=18051] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18051/stat : 18051 (toysat) S 18046 18049 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 139881084853488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18049/tid=18052] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18052/stat : 18052 (toysat) S 18046 18049 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 139881074379952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1542.05 Current children cumulated vsize (KiB) 1375812 [startup+1602.3 s] /proc/loadavg: 2.16 2.23 2.18 3/183 18165 /proc/meminfo: memFree=28300188/32872528 swapFree=1191052/1305516 [pid=18049] ppid=18046 vsize=1375812 CPUtime=1602.01 cores=0,2,4,6 /proc/18049/stat : 18049 (toysat) R 18046 18049 14522 0 -1 4202496 285093 0 0 0 160151 50 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 140733578817856 5711496 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18049/statm: 343953 285372 854 2943 0 340847 0 [pid=18049/tid=18050] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18050/stat : 18050 (toysat) S 18046 18049 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 139881095343344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18049/tid=18051] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18051/stat : 18051 (toysat) S 18046 18049 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 139881084853488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18049/tid=18052] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18052/stat : 18052 (toysat) S 18046 18049 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 139881074379952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 1375812 [startup+1662.3 s] /proc/loadavg: 2.24 2.23 2.19 3/183 18167 /proc/meminfo: memFree=28299224/32872528 swapFree=1191052/1305516 [pid=18049] ppid=18046 vsize=1375812 CPUtime=1661.99 cores=0,2,4,6 /proc/18049/stat : 18049 (toysat) R 18046 18049 14522 0 -1 4202496 285133 0 0 0 166148 51 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 140733578817856 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18049/statm: 343953 285372 854 2943 0 340847 0 [pid=18049/tid=18050] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18050/stat : 18050 (toysat) S 18046 18049 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 139881095343344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18049/tid=18051] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18051/stat : 18051 (toysat) S 18046 18049 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 139881084853488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18049/tid=18052] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18052/stat : 18052 (toysat) S 18046 18049 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 139881074379952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 1375812 [startup+1722.3 s] /proc/loadavg: 2.14 2.20 2.18 3/183 18168 /proc/meminfo: memFree=28299264/32872528 swapFree=1191052/1305516 [pid=18049] ppid=18046 vsize=1375812 CPUtime=1721.96 cores=0,2,4,6 /proc/18049/stat : 18049 (toysat) R 18046 18049 14522 0 -1 4202496 285171 0 0 0 172144 52 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 140733578817856 6844072 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18049/statm: 343953 285372 854 2943 0 340847 0 [pid=18049/tid=18050] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18050/stat : 18050 (toysat) S 18046 18049 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 139881095343344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18049/tid=18051] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18051/stat : 18051 (toysat) S 18046 18049 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 139881084853488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18049/tid=18052] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18052/stat : 18052 (toysat) S 18046 18049 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 139881074379952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 1375812 [startup+1782.31 s] /proc/loadavg: 2.31 2.24 2.19 3/183 18169 /proc/meminfo: memFree=28299052/32872528 swapFree=1191052/1305516 [pid=18049] ppid=18046 vsize=1375812 CPUtime=1781.94 cores=0,2,4,6 /proc/18049/stat : 18049 (toysat) R 18046 18049 14522 0 -1 4202496 285211 0 0 0 178141 53 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 140733578818968 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18049/statm: 343953 285372 854 2943 0 340847 0 [pid=18049/tid=18050] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18050/stat : 18050 (toysat) S 18046 18049 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 139881095343344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18049/tid=18051] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18051/stat : 18051 (toysat) S 18046 18049 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 139881084853488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18049/tid=18052] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18052/stat : 18052 (toysat) S 18046 18049 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 139881074379952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.94 Current children cumulated vsize (KiB) 1375812 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.31 2.24 2.19 3/183 18169 /proc/meminfo: memFree=28299528/32872528 swapFree=1191052/1305516 [pid=18049] ppid=18046 vsize=1375812 CPUtime=1800.02 cores=0,2,4,6 /proc/18049/stat : 18049 (toysat) R 18046 18049 14522 0 -1 4202496 285224 0 0 0 179949 53 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 140733578817856 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18049/statm: 343953 285372 854 2943 0 340847 0 [pid=18049/tid=18050] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18050/stat : 18050 (toysat) S 18046 18049 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 139881095343344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=18049/tid=18051] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18051/stat : 18051 (toysat) S 18046 18049 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 139881084853488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=18049/tid=18052] ppid=18046 vsize=1375812 CPUtime=0 cores=0,2,4,6 /proc/18049/task/18052/stat : 18052 (toysat) S 18046 18049 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24859472 1408831488 285372 33554432000 4194304 16246674 140733578835968 139881074379952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1375812 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 18049 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.45 CPU time (s): 1800.07 CPU user time (s): 1799.49 CPU system time (s): 0.575912 CPU usage (%): 99.9788 Max. virtual memory (cumulated for all children) (KiB): 1375812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.49 system time used= 0.575912 maximum resident set size= 1141488 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 285224 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= 195 involuntary context switches= 1875 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.01678 second user time and 8.03478 second system time The end
Begin job on node127 at 2016-06-18 07:35:28 IDJOB=4101945 IDBENCH=1820 IDSOLVER=2542 FILE ID=node127/4101945-1466228128 RUNJOBID= node127-1466206072-14538 PBS_JOBID= 19918150 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-qnet1_o.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101945-1466228128/watcher-4101945-1466228128 -o /tmp/evaluation-result-4101945-1466228128/solver-4101945-1466228128 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101945-1466228128.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8b204aeb505cc1c787aa4db3220d0b5a RANDOM SEED=812710310 node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29087520 kB Buffers: 122156 kB Cached: 146128 kB SwapCached: 528 kB Active: 1579632 kB Inactive: 160996 kB Active(anon): 1473372 kB Inactive(anon): 864 kB Active(file): 106260 kB Inactive(file): 160132 kB Unevictable: 1305516 kB Mlocked: 1191052 kB SwapTotal: 67108856 kB SwapFree: 67100260 kB Dirty: 16304 kB Writeback: 0 kB AnonPages: 2777048 kB Mapped: 10712 kB Shmem: 0 kB Slab: 603804 kB SReclaimable: 47936 kB SUnreclaim: 555868 kB KernelStack: 1472 kB PageTables: 9308 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2923596 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 116736 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 node127 at 2016-06-18 08:05:29