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.04 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-apex7.b.opb |
| MD5SUM | a226ce89d775a348c35d29e51d9044b6 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 39 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 37 |
| Optimality of the best value was proved | NO |
| Number of variables | 1108 |
| Total number of constraints | 2313 |
| Number of constraints which are clauses | 2313 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 295 |
| Number of terms in the objective function | 1108 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1108 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1108 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-18T13:12:43+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-4105505-1466248363.opb"] 0.00/0.01 c use --random-gen="2893167780 300138167 410167371 407294226 1654750436 1054022970 2816431448 3762973135 2651440568 3019830297 2666791510 2300963391 1544576806 2355438217 3370489762 2023747986 2570292826 3487747779 1917140811 2129249954 4026157720 4053836836 661764587 3175461364 3842872032 1451308629 2173070323 958104008 1446821979 4127578627 3029101873 2254067230 2856084703 4149679837 1657574468 1558818044 1158959865 2063315475 794798890 696084304 3339085322 4294751382 3933343381 1131925224 1837567868 898447159 448039081 3813878610 3093960911 1781751487 3810385888 406987977 1400694685 3170112557 856015780 899289336 1084224088 1621857889 3509931940 1607802380 362852505 2054565973 363760274 2113509992 3821728259 2912906815 468726410 3351302575 2461902887 1698538 155891976 2028028444 2006852108 2540711137 2804941457 2775131539 3219090758 1611935714 972800542 2959633612 4265236658 2364780856 619736587 1789825393 3110683215 2659626257 2969830934 3307457733 1405491074 2922170970 3183487627 211857414 3995072705 546576217 2231415847 3691210164 1130373354 3664442844 3050669042 2917675582 2936621447 2766348242 3016857690 2644478417 1982807323 189206143 1029490944 803277309 647063187 2470166328 355573071 1330306890 2850674685 770090830 2459039019 4188865266 1721110302 3853473358 1789177864 2604450546 839795319 2815697316 145473831 4048388924 4223570876 2324206709 3296056740 2485073866 2637559314 718100474 2298637284 4101805954 3286765551 845947248 1261051725 3149962865 1382002522 3591700181 2480485416 3632972656 2683454712 679031901 1900835584 1032841000 3606378864 4149080470 3950841719 4246028391 62233336 970069941 2370604484 954187993 3633151382 3801582151 3841089664 1863194557 3285783945 3788110159 1820440658 3805682816 547969055 401778068 3701944327 1856102683 3641522792 3205505522 296311710 2682798939 3990615297 2461739241 1304641117 3311102262 2035475086 4241316449 3137384490 3964797963 820103435 4231416754 1307059356 4253337867 331651314 3594239045 2104535187 3523346461 2490043158 3027132853 1796573325 1865922210 1511466755 3838224034 106924010 3540721403 187944995 3372478332 1265684094 3748542379 741512277 2707536659 3388755847 2276793461 1195303596 3699430235 2064350415 2721581098 188021468 4115604075 1567619942 869261398 2472059935 3130102747 341234568 214895808 1611256254 2259893146 1915836944 3031009146 1857475632 1898117663 870950131 4221702883 639800763 3330714858 2197060891 2484299516 2003967759 3051074692 3369435547 3356299471 2418306883 1916555146 1129733275 385260090 2958800613 1867839992 2136814258 3466140214 2311010906 3059701637 1173566683 2150180629 2810191506 4099796913 4107015882 1516165865 677186890 3999567602 1383972065 3986179033 1090510788 4115423843 2692259752 2682794203 2930241878 1493435476 858985279 580669142 255 362436" option to reproduce the execution 0.09/0.16 c #vars 1108 0.09/0.16 c #constraints 2313 0.09/0.34 c BCD2: Hardening is enabled. 0.09/0.34 c BCD2: BiasedSearch is enabled. 0.09/0.34 c Solving starts ... 0.09/0.34 c ============================[ Search Statistics ]============================ 0.09/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.34 c | | | | Limit GC | Var | Constra 0.09/0.34 c ============================================================================= 0.09/0.34 c 0.0s | 0 | 0 | 0 | 1070 0 | 8 | 0 0.09/0.35 c 0.0s | 0 | 1100 | 0 | 1070 0 | 8 | 0 0.09/0.35 c #cpu_time = 0.012s 0.09/0.35 c #wall_clock_time = 0.012s 0.09/0.35 c #decision = 1100 0.09/0.35 c #random_decision = 4 0.09/0.35 c #conflict = 0 0.09/0.35 c #restart = 0 0.09/0.35 o 1108 0.09/0.35 c BCD2: updating upper bound: 1108 -> 1107 0.09/0.37 c BCD2: 0 <= obj <= 1107 0.09/0.37 c BCD2: #cores=0, #unrelaxed=1108, #relaxed=0, #hardened=0 0.09/0.37 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.37 c Solving starts ... 0.09/0.37 c ============================[ Search Statistics ]============================ 0.09/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.37 c | | | | Limit GC | Var | Constra 0.09/0.37 c ============================================================================= 0.09/0.37 c 0.0s | 0 | 0 | 0 | 1070 0 | 8 | 0 0.09/0.37 c 0.0s | 0 | 1 | 0 | 1070 0 | 8 | 0 0.09/0.37 c #cpu_time = 0.005s 0.09/0.37 c #wall_clock_time = 0.005s 0.09/0.37 c #decision = 1 0.09/0.37 c #random_decision = 0 0.09/0.37 c #conflict = 0 0.09/0.37 c #restart = 0 0.09/0.37 c BCD2: found a new core of size 1: cost of the new core is >=1 0.09/0.37 c lower bound updated to 1 0.09/0.37 c BCD2: 1 <= obj <= 1107 0.09/0.37 c BCD2: #cores=1, #unrelaxed=1107, #relaxed=1, #hardened=0 0.09/0.37 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.37 c Solving starts ... 0.09/0.37 c ============================[ Search Statistics ]============================ 0.09/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.37 c | | | | Limit GC | Var | Constra 0.09/0.37 c ============================================================================= 0.09/0.37 c 0.0s | 0 | 0 | 0 | 1070 0 | 8 | 0 0.09/0.38 c 0.0s | 0 | 5 | 0 | 1070 0 | 8 | 0 0.09/0.38 c #cpu_time = 0.005s 0.09/0.38 c #wall_clock_time = 0.005s 0.09/0.38 c #decision = 5 0.09/0.38 c #random_decision = 0 0.09/0.38 c #conflict = 0 0.09/0.38 c #restart = 0 0.09/0.38 c BCD2: found a new core of size 1: cost of the new core is >=1 0.09/0.38 c lower bound updated to 2 0.09/0.38 c BCD2: 2 <= obj <= 1107 0.09/0.38 c BCD2: #cores=2, #unrelaxed=1106, #relaxed=2, #hardened=0 0.09/0.38 c BCD2: #sat=1 #unsat=3 bias=3/4 0.09/0.38 c Solving starts ... 0.09/0.38 c ============================[ Search Statistics ]============================ 0.09/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.38 c | | | | Limit GC | Var | Constra 0.09/0.38 c ============================================================================= 0.09/0.38 c 0.0s | 0 | 0 | 0 | 1070 0 | 8 | 0 0.09/0.38 c 0.0s | 0 | 8 | 0 | 1070 0 | 8 | 0 0.09/0.38 c #cpu_time = 0.005s 0.09/0.38 c #wall_clock_time = 0.005s 0.09/0.38 c #decision = 8 0.09/0.38 c #random_decision = 0 0.09/0.38 c #conflict = 0 0.09/0.38 c #restart = 0 0.09/0.38 c BCD2: found a new core of size 1: cost of the new core is >=1 0.09/0.38 c lower bound updated to 3 0.09/0.38 c BCD2: 3 <= obj <= 1107 0.09/0.38 c BCD2: #cores=3, #unrelaxed=1105, #relaxed=3, #hardened=0 0.09/0.38 c BCD2: #sat=1 #unsat=4 bias=4/5 0.09/0.38 c Solving starts ... 0.09/0.39 c ============================[ Search Statistics ]============================ 0.09/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.39 c | | | | Limit GC | Var | Constra 0.09/0.39 c ============================================================================= 0.09/0.39 c 0.0s | 0 | 0 | 0 | 1070 0 | 8 | 0 0.09/0.39 c 0.0s | 0 | 12 | 0 | 1070 0 | 8 | 0 0.09/0.39 c #cpu_time = 0.005s 0.09/0.39 c #wall_clock_time = 0.005s 0.09/0.39 c #decision = 12 0.09/0.39 c #random_decision = 0 0.09/0.39 c #conflict = 0 0.09/0.39 c #restart = 0 0.09/0.39 c BCD2: found a new core of size 1: cost of the new core is >=1 0.09/0.39 c lower bound updated to 4 0.09/0.39 c BCD2: 4 <= obj <= 1107 0.09/0.39 c BCD2: #cores=4, #unrelaxed=1104, #relaxed=4, #hardened=0 0.09/0.39 c BCD2: #sat=1 #unsat=5 bias=5/6 0.09/0.39 c Solving starts ... 0.09/0.39 c ============================[ Search Statistics ]============================ 0.09/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.39 c | | | | Limit GC | Var | Constra 0.09/0.39 c ============================================================================= 0.09/0.39 c 0.0s | 0 | 0 | 0 | 1070 0 | 8 | 0 0.09/0.40 c 0.0s | 0 | 139 | 0 | 1070 0 | 8 | 0 0.09/0.40 c #cpu_time = 0.005s 0.09/0.40 c #wall_clock_time = 0.005s 0.09/0.40 c #decision = 139 0.09/0.40 c #random_decision = 0 0.09/0.40 c #conflict = 0 0.09/0.40 c #restart = 0 0.09/0.40 c BCD2: found a new core of size 1: cost of the new core is >=1 0.09/0.40 c lower bound updated to 5 0.09/0.40 c BCD2: 5 <= obj <= 1107 0.09/0.40 c BCD2: #cores=5, #unrelaxed=1103, #relaxed=5, #hardened=0 0.09/0.40 c BCD2: #sat=1 #unsat=6 bias=6/7 0.09/0.40 c Solving starts ... 0.09/0.40 c ============================[ Search Statistics ]============================ 0.09/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.40 c | | | | Limit GC | Var | Constra 0.09/0.40 c ============================================================================= 0.09/0.40 c 0.0s | 0 | 0 | 0 | 1070 0 | 8 | 0 0.09/0.40 c 0.0s | 0 | 140 | 0 | 1070 0 | 8 | 0 0.09/0.40 c #cpu_time = 0.005s 0.09/0.40 c #wall_clock_time = 0.005s 0.09/0.40 c #decision = 140 0.09/0.40 c #random_decision = 0 0.09/0.40 c #conflict = 0 0.09/0.40 c #restart = 0 0.09/0.40 c BCD2: found a new core of size 6: cost of the new core is >=1 0.09/0.40 c lower bound updated to 6 0.09/0.40 c BCD2: 6 <= obj <= 1107 0.09/0.40 c BCD2: #cores=6, #unrelaxed=1097, #relaxed=11, #hardened=0 0.09/0.40 c BCD2: #sat=1 #unsat=7 bias=7/8 0.09/0.40 c Solving starts ... 0.09/0.40 c ============================[ Search Statistics ]============================ 0.09/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.40 c | | | | Limit GC | Var | Constra 0.09/0.40 c ============================================================================= 0.09/0.40 c 0.0s | 0 | 0 | 0 | 1070 0 | 8 | 2 0.09/0.41 c 0.0s | 0 | 145 | 0 | 1070 0 | 8 | 2 0.09/0.41 c #cpu_time = 0.005s 0.09/0.41 c #wall_clock_time = 0.005s 0.09/0.41 c #decision = 145 0.09/0.41 c #random_decision = 0 0.09/0.41 c #conflict = 0 0.09/0.41 c #restart = 0 0.09/0.41 c BCD2: found a new core of size 1: cost of the new core is >=1 0.09/0.41 c lower bound updated to 7 0.09/0.41 c BCD2: 7 <= obj <= 1107 0.09/0.41 c BCD2: #cores=7, #unrelaxed=1096, #relaxed=12, #hardened=0 0.09/0.41 c BCD2: #sat=1 #unsat=8 bias=8/9 0.09/0.41 c Solving starts ... 0.09/0.41 c ============================[ Search Statistics ]============================ 0.09/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.41 c | | | | Limit GC | Var | Constra 0.09/0.41 c ============================================================================= 0.09/0.41 c 0.0s | 0 | 0 | 0 | 1070 0 | 8 | 2 0.09/0.41 c 0.0s | 0 | 146 | 0 | 1070 0 | 8 | 2 0.09/0.41 c #cpu_time = 0.005s 0.09/0.41 c #wall_clock_time = 0.005s 0.09/0.41 c #decision = 146 0.09/0.41 c #random_decision = 0 0.09/0.41 c #conflict = 0 0.09/0.41 c #restart = 0 0.09/0.41 c BCD2: found a new core of size 2: cost of the new core is >=1 0.09/0.41 c lower bound updated to 8 0.09/0.42 c BCD2: 8 <= obj <= 1107 0.09/0.42 c BCD2: #cores=8, #unrelaxed=1094, #relaxed=14, #hardened=0 0.09/0.42 c BCD2: #sat=1 #unsat=9 bias=9/10 0.09/0.42 c Solving starts ... 0.09/0.42 c ============================[ Search Statistics ]============================ 0.09/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.42 c | | | | Limit GC | Var | Constra 0.09/0.42 c ============================================================================= 0.09/0.42 c 0.0s | 0 | 0 | 0 | 1070 0 | 8 | 4 0.09/0.43 c 0.0s | 0 | 146 | 0 | 1070 0 | 8 | 4 0.09/0.43 c #cpu_time = 0.005s 0.09/0.43 c #wall_clock_time = 0.005s 0.09/0.43 c #decision = 146 0.09/0.43 c #random_decision = 0 0.09/0.43 c #conflict = 0 0.09/0.43 c #restart = 0 0.09/0.43 c BCD2: found a new core of size 2: cost of the new core is >=1 0.09/0.43 c lower bound updated to 9 0.09/0.43 c BCD2: 9 <= obj <= 1107 0.09/0.43 c BCD2: #cores=9, #unrelaxed=1092, #relaxed=16, #hardened=0 0.09/0.43 c BCD2: #sat=1 #unsat=10 bias=10/11 0.09/0.43 c Solving starts ... 0.09/0.43 c ============================[ Search Statistics ]============================ 0.09/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.43 c | | | | Limit GC | Var | Constra 0.09/0.43 c ============================================================================= 0.09/0.43 c 0.0s | 0 | 0 | 0 | 1070 0 | 8 | 6 0.09/0.43 c 0.0s | 0 | 146 | 0 | 1070 0 | 8 | 6 0.09/0.43 c #cpu_time = 0.005s 0.09/0.43 c #wall_clock_time = 0.005s 0.09/0.43 c #decision = 146 0.09/0.43 c #random_decision = 0 0.09/0.43 c #conflict = 0 0.09/0.43 c #restart = 0 0.09/0.43 c BCD2: found a new core of size 2: cost of the new core is >=1 0.09/0.43 c lower bound updated to 10 0.09/0.44 c BCD2: 10 <= obj <= 1107 0.09/0.44 c BCD2: #cores=10, #unrelaxed=1090, #relaxed=18, #hardened=0 0.09/0.44 c BCD2: #sat=1 #unsat=11 bias=11/12 0.09/0.44 c Solving starts ... 0.09/0.44 c ============================[ Search Statistics ]============================ 0.09/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.44 c | | | | Limit GC | Var | Constra 0.09/0.44 c ============================================================================= 0.09/0.44 c 0.0s | 0 | 0 | 0 | 1070 0 | 8 | 8 0.09/0.44 c 0.0s | 0 | 186 | 0 | 1070 0 | 8 | 8 0.09/0.44 c #cpu_time = 0.005s 0.09/0.44 c #wall_clock_time = 0.005s 0.09/0.44 c #decision = 186 0.09/0.44 c #random_decision = 0 0.09/0.44 c #conflict = 0 0.09/0.44 c #restart = 0 0.09/0.44 c BCD2: found a new core of size 1: cost of the new core is >=1 0.09/0.44 c lower bound updated to 11 0.09/0.44 c BCD2: 11 <= obj <= 1107 0.09/0.44 c BCD2: #cores=11, #unrelaxed=1089, #relaxed=19, #hardened=0 0.09/0.44 c BCD2: #sat=1 #unsat=12 bias=12/13 0.09/0.44 c Solving starts ... 0.09/0.44 c ============================[ Search Statistics ]============================ 0.09/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.44 c | | | | Limit GC | Var | Constra 0.09/0.44 c ============================================================================= 0.09/0.44 c 0.0s | 0 | 0 | 0 | 1070 0 | 8 | 8 0.44/0.45 c 0.0s | 0 | 188 | 0 | 1070 0 | 8 | 8 0.44/0.45 c #cpu_time = 0.005s 0.44/0.45 c #wall_clock_time = 0.005s 0.44/0.45 c #decision = 188 0.44/0.45 c #random_decision = 0 0.44/0.45 c #conflict = 0 0.44/0.45 c #restart = 0 0.44/0.45 c BCD2: found a new core of size 2: cost of the new core is >=1 0.44/0.45 c lower bound updated to 12 0.44/0.45 c BCD2: 12 <= obj <= 1107 0.44/0.45 c BCD2: #cores=12, #unrelaxed=1087, #relaxed=21, #hardened=0 0.44/0.45 c BCD2: #sat=1 #unsat=13 bias=13/14 0.44/0.45 c Solving starts ... 0.44/0.45 c ============================[ Search Statistics ]============================ 0.44/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.44/0.45 c | | | | Limit GC | Var | Constra 0.44/0.45 c ============================================================================= 0.44/0.45 c 0.0s | 0 | 0 | 0 | 1070 0 | 8 | 13 0.44/0.45 c 0.0s | 0 | 245 | 0 | 1070 0 | 8 | 13 0.44/0.45 c #cpu_time = 0.005s 0.44/0.45 c #wall_clock_time = 0.005s 0.44/0.45 c #decision = 245 0.44/0.45 c #random_decision = 0 0.44/0.45 c #conflict = 0 0.44/0.45 c #restart = 0 0.44/0.45 c BCD2: found a new core of size 4: cost of the new core is >=1 0.44/0.45 c lower bound updated to 13 0.44/0.45 c BCD2: 13 <= obj <= 1107 0.44/0.45 c BCD2: #cores=13, #unrelaxed=1083, #relaxed=25, #hardened=0 0.44/0.45 c BCD2: #sat=1 #unsat=14 bias=14/15 0.44/0.45 c Solving starts ... 0.44/0.45 c ============================[ Search Statistics ]============================ 0.44/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.44/0.45 c | | | | Limit GC | Var | Constra 0.44/0.45 c ============================================================================= 0.44/0.45 c 0.0s | 0 | 0 | 0 | 1070 0 | 8 | 41 0.44/0.46 c 0.0s | 0 | 378 | 0 | 1070 0 | 8 | 41 0.44/0.46 c #cpu_time = 0.005s 0.44/0.46 c #wall_clock_time = 0.005s 0.44/0.46 c #decision = 378 0.44/0.46 c #random_decision = 0 0.44/0.46 c #conflict = 0 0.44/0.46 c #restart = 0 0.44/0.46 c BCD2: found a new core of size 8: cost of the new core is >=1 0.44/0.46 c lower bound updated to 14 0.44/0.46 c BCD2: 14 <= obj <= 1107 0.44/0.46 c BCD2: #cores=14, #unrelaxed=1075, #relaxed=33, #hardened=0 0.44/0.46 c BCD2: #sat=1 #unsat=15 bias=15/16 0.44/0.46 c Solving starts ... 0.44/0.46 c ============================[ Search Statistics ]============================ 0.44/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.44/0.46 c | | | | Limit GC | Var | Constra 0.44/0.46 c ============================================================================= 0.44/0.46 c 0.0s | 0 | 0 | 0 | 1070 0 | 8 | 43 0.44/0.46 c 0.0s | 0 | 494 | 0 | 1070 0 | 8 | 43 0.44/0.46 c #cpu_time = 0.005s 0.44/0.46 c #wall_clock_time = 0.005s 0.44/0.46 c #decision = 494 0.44/0.46 c #random_decision = 0 0.44/0.46 c #conflict = 0 0.44/0.46 c #restart = 0 0.44/0.46 c BCD2: found a new core of size 2: cost of the new core is >=1 0.44/0.46 c lower bound updated to 15 0.44/0.47 c BCD2: 15 <= obj <= 1107 0.44/0.47 c BCD2: #cores=15, #unrelaxed=1073, #relaxed=35, #hardened=0 0.44/0.47 c BCD2: #sat=1 #unsat=16 bias=16/17 0.44/0.47 c Solving starts ... 0.44/0.47 c ============================[ Search Statistics ]============================ 0.44/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.44/0.47 c | | | | Limit GC | Var | Constra 0.44/0.47 c ============================================================================= 0.44/0.47 c 0.0s | 0 | 0 | 0 | 1070 0 | 8 | 105 0.44/0.47 c 0.0s | 0 | 500 | 0 | 1070 0 | 8 | 105 0.44/0.47 c #cpu_time = 0.005s 0.44/0.47 c #wall_clock_time = 0.005s 0.44/0.47 c #decision = 500 0.44/0.47 c #random_decision = 0 0.44/0.47 c #conflict = 0 0.44/0.47 c #restart = 0 0.44/0.47 c BCD2: found a new core of size 15: cost of the new core is >=1 0.44/0.47 c lower bound updated to 16 0.44/0.47 c BCD2: 16 <= obj <= 1107 0.44/0.47 c BCD2: #cores=16, #unrelaxed=1058, #relaxed=50, #hardened=0 0.44/0.47 c BCD2: #sat=1 #unsat=17 bias=17/18 0.44/0.47 c Solving starts ... 0.44/0.47 c ============================[ Search Statistics ]============================ 0.44/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.44/0.47 c | | | | Limit GC | Var | Constra 0.44/0.47 c ============================================================================= 0.44/0.47 c 0.0s | 0 | 0 | 0 | 1070 0 | 8 | 105 0.44/0.48 c 0.0s | 0 | 557 | 0 | 1070 0 | 8 | 105 0.44/0.48 c #cpu_time = 0.005s 0.44/0.48 c #wall_clock_time = 0.005s 0.44/0.48 c #decision = 557 0.44/0.48 c #random_decision = 0 0.44/0.48 c #conflict = 0 0.44/0.48 c #restart = 0 0.44/0.48 c BCD2: found a new core of size 5: cost of the new core is >=1 0.44/0.48 c lower bound updated to 17 0.44/0.49 c BCD2: 17 <= obj <= 1107 0.44/0.49 c BCD2: #cores=17, #unrelaxed=1053, #relaxed=55, #hardened=0 0.44/0.49 c BCD2: #sat=1 #unsat=18 bias=18/19 0.44/0.49 c Solving starts ... 0.44/0.49 c ============================[ Search Statistics ]============================ 0.44/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.44/0.49 c | | | | Limit GC | Var | Constra 0.44/0.49 c ============================================================================= 0.44/0.49 c 0.0s | 0 | 0 | 0 | 1070 0 | 8 | 109 0.44/0.49 c 0.0s | 0 | 617 | 0 | 1070 0 | 8 | 109 0.44/0.49 c #cpu_time = 0.006s 0.44/0.49 c #wall_clock_time = 0.006s 0.44/0.49 c #decision = 617 0.44/0.49 c #random_decision = 0 0.44/0.49 c #conflict = 0 0.44/0.49 c #restart = 0 0.44/0.49 c BCD2: found a new core of size 1: cost of the new core is >=1 0.44/0.49 c lower bound updated to 18 0.44/0.49 c BCD2: 18 <= obj <= 1107 0.44/0.49 c BCD2: #cores=18, #unrelaxed=1052, #relaxed=56, #hardened=0 0.44/0.49 c BCD2: #sat=1 #unsat=19 bias=19/20 0.44/0.49 c Solving starts ... 0.44/0.49 c ============================[ Search Statistics ]============================ 0.44/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.44/0.49 c | | | | Limit GC | Var | Constra 0.44/0.49 c ============================================================================= 0.44/0.49 c 0.0s | 0 | 0 | 0 | 1070 0 | 8 | 109 0.49/0.50 c 0.0s | 0 | 758 | 0 | 1070 0 | 8 | 109 0.49/0.50 c #cpu_time = 0.006s 0.49/0.50 c #wall_clock_time = 0.006s 0.49/0.50 c #decision = 758 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 50: cost of the new core is >=1 0.49/0.50 c lower bound updated to 19 0.49/0.50 c BCD2: 19 <= obj <= 1107 0.49/0.50 c BCD2: #cores=19, #unrelaxed=1002, #relaxed=106, #hardened=0 0.49/0.50 c BCD2: #sat=1 #unsat=20 bias=20/21 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 | 1070 0 | 8 | 109 0.49/0.51 c 0.0s | 0 | 771 | 0 | 1070 0 | 8 | 109 0.49/0.51 c #cpu_time = 0.006s 0.49/0.51 c #wall_clock_time = 0.006s 0.49/0.51 c #decision = 771 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 7: cost of the new core is >=1 0.49/0.51 c lower bound updated to 20 0.49/0.51 c BCD2: 20 <= obj <= 1107 0.49/0.51 c BCD2: #cores=20, #unrelaxed=995, #relaxed=113, #hardened=0 0.49/0.51 c BCD2: #sat=1 #unsat=21 bias=21/22 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 | 1070 0 | 8 | 111 0.49/0.51 c 0.0s | 0 | 920 | 0 | 1070 0 | 8 | 111 0.49/0.51 c #cpu_time = 0.006s 0.49/0.51 c #wall_clock_time = 0.006s 0.49/0.51 c #decision = 920 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 23: cost of the new core is >=1 0.49/0.51 c lower bound updated to 21 0.49/0.51 c BCD2: 21 <= obj <= 1107 0.49/0.51 c BCD2: #cores=21, #unrelaxed=972, #relaxed=136, #hardened=0 0.49/0.51 c BCD2: #sat=1 #unsat=22 bias=22/23 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 | 1070 0 | 8 | 113 0.49/0.52 c 0.0s | 0 | 938 | 0 | 1070 0 | 8 | 113 0.49/0.52 c #cpu_time = 0.006s 0.49/0.52 c #wall_clock_time = 0.006s 0.49/0.52 c #decision = 938 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 15: cost of the new core is >=1 0.49/0.52 c lower bound updated to 22 0.49/0.52 c BCD2: 22 <= obj <= 1107 0.49/0.52 c BCD2: #cores=22, #unrelaxed=957, #relaxed=151, #hardened=0 0.49/0.52 c BCD2: #sat=1 #unsat=23 bias=23/24 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 | 1070 0 | 8 | 115 0.49/0.53 c 0.0s | 0 | 945 | 0 | 1070 0 | 8 | 115 0.49/0.53 c #cpu_time = 0.006s 0.49/0.53 c #wall_clock_time = 0.006s 0.49/0.53 c #decision = 945 0.49/0.53 c #random_decision = 0 0.49/0.53 c #conflict = 0 0.49/0.53 c #restart = 0 0.49/0.53 c BCD2: found a new core of size 12: cost of the new core is >=1 0.49/0.53 c lower bound updated to 23 0.49/0.53 c BCD2: 23 <= obj <= 1107 0.49/0.53 c BCD2: #cores=23, #unrelaxed=945, #relaxed=163, #hardened=0 0.49/0.53 c BCD2: #sat=1 #unsat=24 bias=24/25 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 | 1070 0 | 8 | 117 0.49/0.53 c 0.0s | 0 | 942 | 0 | 1070 0 | 8 | 117 0.49/0.53 c #cpu_time = 0.006s 0.49/0.53 c #wall_clock_time = 0.006s 0.49/0.53 c #decision = 942 0.49/0.53 c #random_decision = 0 0.49/0.53 c #conflict = 0 0.49/0.53 c #restart = 0 0.49/0.53 c BCD2: found a new core of size 36: cost of the new core is >=1 0.49/0.53 c lower bound updated to 24 0.49/0.54 c BCD2: 24 <= obj <= 1107 0.49/0.54 c BCD2: #cores=24, #unrelaxed=909, #relaxed=199, #hardened=0 0.49/0.54 c BCD2: #sat=1 #unsat=25 bias=25/26 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 | 1070 0 | 8 | 117 0.49/0.54 c 0.0s | 0 | 912 | 0 | 1070 0 | 8 | 117 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 = 912 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 17: cost of the new core is >=1 0.49/0.54 c lower bound updated to 25 0.49/0.54 c BCD2: 25 <= obj <= 1107 0.49/0.54 c BCD2: #cores=25, #unrelaxed=892, #relaxed=216, #hardened=0 0.49/0.54 c BCD2: #sat=1 #unsat=26 bias=26/27 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 | 1070 0 | 8 | 118 0.49/0.55 c 0.0s | 0 | 905 | 0 | 1070 0 | 8 | 118 0.49/0.55 c #cpu_time = 0.006s 0.49/0.55 c #wall_clock_time = 0.006s 0.49/0.55 c #decision = 905 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 42: cost of the new core is >=1 0.49/0.55 c lower bound updated to 26 0.49/0.55 c BCD2: 26 <= obj <= 1107 0.49/0.55 c BCD2: #cores=26, #unrelaxed=850, #relaxed=258, #hardened=0 0.49/0.55 c BCD2: #sat=1 #unsat=27 bias=27/28 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 | 1070 0 | 8 | 119 0.49/0.56 c 0.0s | 0 | 1086 | 1 | 1070 0 | 8 | 119 0.49/0.56 c #cpu_time = 0.007s 0.49/0.56 c #wall_clock_time = 0.007s 0.49/0.56 c #decision = 1086 0.49/0.56 c #random_decision = 0 0.49/0.56 c #conflict = 1 0.49/0.56 c #restart = 0 0.49/0.56 o 59 0.49/0.56 c BCD2: updating upper bound: 1107 -> 58 0.49/0.56 c BCD2: 26 <= obj <= 58 0.49/0.56 c BCD2: #cores=26, #unrelaxed=850, #relaxed=258, #hardened=0 0.49/0.56 c BCD2: #sat=2 #unsat=27 bias=27/29 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 | 1070 0 | 8 | 120 0.49/0.57 c 0.0s | 0 | 1038 | 13 | 1070 0 | 8 | 120 0.49/0.57 c #cpu_time = 0.009s 0.49/0.57 c #wall_clock_time = 0.009s 0.49/0.57 c #decision = 1038 0.49/0.57 c #random_decision = 0 0.49/0.57 c #conflict = 13 0.49/0.57 c #restart = 0 0.49/0.57 o 52 0.49/0.57 c BCD2: updating upper bound: 58 -> 51 0.49/0.57 c BCD2: 26 <= obj <= 51 0.49/0.57 c BCD2: #cores=26, #unrelaxed=850, #relaxed=258, #hardened=0 0.49/0.57 c BCD2: #sat=3 #unsat=27 bias=27/30 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 | 1070 0 | 8 | 121 0.49/0.58 c 0.0s | 0 | 1027 | 14 | 1070 0 | 8 | 121 0.49/0.58 c #cpu_time = 0.009s 0.49/0.58 c #wall_clock_time = 0.009s 0.49/0.58 c #decision = 1027 0.49/0.58 c #random_decision = 0 0.49/0.58 c #conflict = 14 0.49/0.58 c #restart = 0 0.49/0.58 c BCD2: relaxing 253 and merging with 2 cores into a new core of size 283: cost of the new core is >=3 0.49/0.58 c lower bound updated to 27 0.49/0.59 c BCD2: 27 <= obj <= 51 0.49/0.59 c BCD2: #cores=25, #unrelaxed=597, #relaxed=511, #hardened=0 0.49/0.59 c BCD2: #sat=3 #unsat=28 bias=28/31 0.49/0.59 c Solving starts ... 0.49/0.59 c ============================[ Search Statistics ]============================ 0.49/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.59 c | | | | Limit GC | Var | Constra 0.49/0.59 c ============================================================================= 0.49/0.59 c 0.0s | 0 | 0 | 0 | 1070 0 | 13 | 121 0.59/0.62 c 0.0s | 1 | 1154 | 100 | 1177 0 | 13 | 129 0.59/0.67 c 0.1s | 2 | 2670 | 250 | 1295 0 | 13 | 129 0.69/0.78 c 0.2s | 3 | 4119 | 475 | 1425 0 | 13 | 129 0.88/0.90 c 0.3s | 4 | 6592 | 813 | 1568 0 | 13 | 129 1.09/1.10 c 0.5s | 5 | 9960 | 1320 | 1725 0 | 13 | 129 1.39/1.43 c 0.8s | 6 | 15294 | 2081 | 1898 0 | 13 | 129 1.79/1.86 c 1.3s | 7 | 21622 | 3223 | 2088 1 | 13 | 129 2.29/2.38 c 1.8s | 8 | 30439 | 4936 | 2297 2 | 13 | 129 3.09/3.15 c 2.6s | 9 | 42844 | 7506 | 2527 4 | 13 | 129 4.29/4.37 c 3.8s | 10 | 62483 | 11361 | 2780 6 | 13 | 129 6.09/6.19 c 5.6s | 11 | 90357 | 17144 | 3059 10 | 13 | 129 8.19/8.21 c 7.6s | 11 | 118607 | 23244 | 3059 13 | 13 | 129 8.99/9.05 c 8.5s | 12 | 132203 | 25819 | 3365 14 | 13 | 129 10.99/11.07 c 10.5s | 12 | 168781 | 31319 | 3365 17 | 13 | 129 12.99/13.07 c 12.5s | 12 | 203904 | 36619 | 3365 20 | 13 | 129 13.79/13.88 c 13.3s | 13 | 216234 | 38832 | 3702 21 | 13 | 129 15.79/15.88 c 15.3s | 13 | 245504 | 44732 | 3702 23 | 13 | 129 17.79/17.89 c 17.3s | 13 | 274740 | 50432 | 3702 26 | 13 | 129 18.28/18.36 c 17.8s | 13 | 279233 | 51469 | 3702 26 | 13 | 129 18.28/18.36 c #cpu_time = 17.777s 18.28/18.36 c #wall_clock_time = 17.777s 18.28/18.36 c #decision = 279233 18.28/18.36 c #random_decision = 602 18.28/18.36 c #conflict = 51469 18.28/18.36 c #restart = 13 18.28/18.36 o 47 18.28/18.37 c BCD2: updating upper bound: 51 -> 46 18.28/18.37 c BCD2: 27 <= obj <= 46 18.28/18.37 c BCD2: #cores=25, #unrelaxed=597, #relaxed=511, #hardened=0 18.28/18.37 c BCD2: #sat=4 #unsat=28 bias=28/32 18.28/18.37 c Solving starts ... 18.28/18.37 c ============================[ Search Statistics ]============================ 18.28/18.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 18.28/18.37 c | | | | Limit GC | Var | Constra 18.28/18.37 c ============================================================================= 18.28/18.37 c 0.0s | 0 | 0 | 0 | 3702 0 | 13 | 130 18.38/18.44 c 0.1s | 1 | 1220 | 100 | 3702 1 | 13 | 130 18.48/18.52 c 0.1s | 2 | 3009 | 250 | 3702 1 | 13 | 130 18.68/18.70 c 0.3s | 3 | 5001 | 475 | 3702 1 | 13 | 130 18.78/18.80 c 0.4s | 4 | 7226 | 813 | 3702 1 | 13 | 130 18.89/18.97 c 0.6s | 5 | 11045 | 1320 | 3702 1 | 13 | 130 19.18/19.23 c 0.9s | 6 | 14706 | 2081 | 3702 1 | 13 | 130 19.58/19.65 c 1.3s | 7 | 22407 | 3223 | 3702 2 | 13 | 130 20.18/20.20 c 1.8s | 8 | 31520 | 4936 | 3702 3 | 13 | 130 21.09/21.11 c 2.7s | 9 | 44944 | 7506 | 4073 4 | 13 | 130 22.38/22.41 c 4.0s | 10 | 59916 | 11361 | 4073 5 | 13 | 130 24.28/24.34 c 6.0s | 11 | 87296 | 17144 | 4073 8 | 13 | 130 26.28/26.36 c 8.0s | 11 | 116082 | 23544 | 4073 11 | 13 | 130 27.08/27.13 c 8.8s | 12 | 126840 | 25819 | 4073 12 | 13 | 130 29.08/29.14 c 10.8s | 12 | 157388 | 31619 | 4073 14 | 13 | 130 31.09/31.18 c 12.8s | 12 | 184023 | 37319 | 4481 16 | 13 | 130 31.68/31.73 c 13.4s | 13 | 192091 | 38832 | 4481 17 | 13 | 130 33.68/33.73 c 15.4s | 13 | 218659 | 44632 | 4481 19 | 13 | 130 35.68/35.75 c 17.4s | 13 | 244863 | 49832 | 4481 21 | 13 | 130 37.69/37.76 c 19.4s | 13 | 270219 | 55532 | 4481 23 | 13 | 130 38.69/38.77 c 20.4s | 14 | 282077 | 58352 | 4481 24 | 13 | 130 40.78/40.80 c 22.4s | 14 | 308430 | 63852 | 4481 27 | 13 | 130 42.78/42.82 c 24.5s | 14 | 337175 | 69652 | 4481 29 | 13 | 130 44.78/44.83 c 26.5s | 14 | 359935 | 74752 | 4481 31 | 13 | 130 46.78/46.85 c 28.5s | 14 | 390389 | 81152 | 4930 33 | 13 | 130 48.78/48.86 c 30.5s | 14 | 415885 | 86752 | 4930 35 | 13 | 130 49.08/49.18 c 30.8s | 15 | 420194 | 87632 | 4930 35 | 13 | 130 51.08/51.19 c 32.8s | 15 | 448507 | 92732 | 4930 37 | 13 | 130 53.18/53.22 c 34.9s | 15 | 474958 | 98032 | 4930 39 | 13 | 130 55.18/55.23 c 36.9s | 15 | 501397 | 103532 | 4930 41 | 13 | 130 57.18/57.25 c 38.9s | 15 | 528365 | 108832 | 4930 43 | 13 | 130 59.18/59.26 c 40.9s | 15 | 557419 | 114032 | 4930 45 | 13 | 130 61.28/61.30 c 42.9s | 15 | 580690 | 119232 | 4930 47 | 13 | 130 63.28/63.30 c 44.9s | 15 | 602315 | 124232 | 4930 48 | 13 | 130 65.28/65.32 c 47.0s | 15 | 622568 | 128832 | 4930 50 | 13 | 130 66.19/66.28 c 47.9s | 16 | 636284 | 131552 | 4930 51 | 13 | 130 68.18/68.28 c 49.9s | 16 | 661133 | 136752 | 4930 53 | 13 | 130 70.28/70.31 c 51.9s | 16 | 688095 | 142252 | 4930 55 | 13 | 130 72.28/72.33 c 54.0s | 16 | 713346 | 147752 | 5423 57 | 13 | 130 74.28/74.36 c 56.0s | 16 | 737978 | 153052 | 5423 58 | 13 | 130 76.28/76.39 c 58.0s | 16 | 763775 | 158652 | 5423 60 | 13 | 130 78.38/78.42 c 60.0s | 16 | 791182 | 164352 | 5423 62 | 13 | 130 80.37/80.46 c 62.1s | 16 | 815981 | 169352 | 5423 64 | 13 | 130 82.37/82.44 c 64.1s | 16 | 842855 | 174279 | 5423 65 | 13 | 130 82.37/82.44 c #cpu_time = 64.060s 82.37/82.44 c #wall_clock_time = 64.071s 82.37/82.44 c #decision = 842855 82.37/82.44 c #random_decision = 1895 82.37/82.44 c #conflict = 174279 82.37/82.44 c #restart = 16 82.37/82.44 c BCD2: relaxing 66 and merging with 1 cores into a new core of size 349: cost of the new core is >=4 82.37/82.44 c lower bound updated to 28 82.37/82.44 c BCD2: 28 <= obj <= 46 82.37/82.44 c BCD2: #cores=25, #unrelaxed=531, #relaxed=577, #hardened=0 82.37/82.44 c BCD2: #sat=4 #unsat=29 bias=29/33 82.37/82.44 c Solving starts ... 82.37/82.44 c ============================[ Search Statistics ]============================ 82.37/82.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 82.37/82.44 c | | | | Limit GC | Var | Constra 82.37/82.44 c ============================================================================= 82.37/82.44 c 0.0s | 0 | 0 | 0 | 5423 0 | 15 | 130 82.68/82.73 c 0.3s | 1 | 1062 | 100 | 5423 0 | 15 | 133 82.68/82.79 c 0.3s | 2 | 2693 | 250 | 5423 0 | 15 | 133 82.77/82.90 c 0.5s | 3 | 4609 | 475 | 5423 0 | 15 | 133 82.97/83.00 c 0.6s | 4 | 6633 | 813 | 5423 0 | 15 | 133 83.17/83.26 c 0.8s | 5 | 9115 | 1320 | 5423 0 | 15 | 133 83.37/83.49 c 1.0s | 6 | 13629 | 2081 | 5423 0 | 15 | 133 83.77/83.85 c 1.4s | 7 | 19814 | 3223 | 5423 0 | 15 | 133 84.47/84.54 c 2.1s | 8 | 30830 | 4936 | 5423 0 | 15 | 133 85.37/85.46 c 3.0s | 9 | 41546 | 7506 | 5423 1 | 15 | 133 86.97/87.02 c 4.6s | 10 | 60581 | 11361 | 5423 2 | 15 | 133 88.97/89.03 c 6.6s | 10 | 91289 | 16561 | 5423 4 | 15 | 133 89.17/89.27 c 6.8s | 11 | 94835 | 17144 | 5423 4 | 15 | 133 91.17/91.27 c 8.8s | 11 | 119999 | 22244 | 5423 6 | 15 | 133 92.67/92.72 c 10.3s | 12 | 138173 | 25819 | 5423 7 | 15 | 133 94.67/94.75 c 12.3s | 12 | 165522 | 31419 | 5423 9 | 15 | 133 96.76/96.80 c 14.4s | 12 | 188939 | 36119 | 5423 11 | 15 | 133 97.76/97.87 c 15.4s | 13 | 204145 | 38832 | 5423 12 | 15 | 133 99.76/99.89 c 17.4s | 13 | 229336 | 44232 | 5423 13 | 15 | 133 101.86/101.90 c 19.5s | 13 | 256222 | 50032 | 5423 15 | 15 | 133 103.86/103.92 c 21.5s | 13 | 282381 | 55232 | 5423 17 | 15 | 133 104.96/105.03 c 22.6s | 14 | 297729 | 58352 | 5423 18 | 15 | 133 106.96/107.06 c 24.6s | 14 | 323115 | 63852 | 5423 20 | 15 | 133 108.96/109.07 c 26.6s | 14 | 354066 | 69652 | 5966 22 | 15 | 133 110.96/111.09 c 28.6s | 14 | 382418 | 75552 | 5966 24 | 15 | 133 113.06/113.10 c 30.7s | 14 | 409489 | 81452 | 5966 25 | 15 | 133 115.06/115.11 c 32.7s | 14 | 437572 | 86352 | 5966 27 | 15 | 133 115.56/115.60 c 33.2s | 15 | 443621 | 87632 | 5966 27 | 15 | 133 116.46/116.55 c 34.1s | 15 | 457084 | 90022 | 5966 28 | 16 | 134 116.46/116.55 c #cpu_time = 34.102s 116.46/116.55 c #wall_clock_time = 34.107s 116.46/116.55 c #decision = 457084 116.46/116.55 c #random_decision = 1001 116.46/116.55 c #conflict = 90022 116.46/116.55 c #restart = 15 116.46/116.55 c BCD2: updating lower bound of a core 116.46/116.55 c lower bound updated to 29 116.46/116.55 c BCD2: 29 <= obj <= 46 116.46/116.55 c BCD2: #cores=25, #unrelaxed=531, #relaxed=577, #hardened=0 116.46/116.55 c BCD2: #sat=4 #unsat=30 bias=30/34 116.46/116.55 c Solving starts ... 116.46/116.55 c ============================[ Search Statistics ]============================ 116.46/116.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 116.46/116.55 c | | | | Limit GC | Var | Constra 116.46/116.55 c ============================================================================= 116.46/116.55 c 0.0s | 0 | 0 | 0 | 5966 0 | 16 | 135 116.76/116.88 c 0.3s | 1 | 1078 | 100 | 5966 0 | 16 | 135 116.86/116.94 c 0.4s | 2 | 2555 | 250 | 5966 0 | 16 | 135 117.05/117.10 c 0.5s | 3 | 4082 | 475 | 5966 0 | 16 | 135 117.15/117.28 c 0.7s | 4 | 7091 | 813 | 5966 0 | 16 | 135 117.35/117.48 c 0.9s | 5 | 10664 | 1320 | 5966 0 | 16 | 135 117.65/117.77 c 1.2s | 6 | 14992 | 2081 | 5966 0 | 16 | 135 118.15/118.20 c 1.7s | 7 | 21100 | 3223 | 5966 0 | 16 | 135 118.85/118.93 c 2.4s | 8 | 31112 | 4936 | 5966 0 | 16 | 135 120.06/120.11 c 3.6s | 9 | 44046 | 7506 | 5966 1 | 16 | 135 121.75/121.82 c 5.3s | 10 | 65244 | 11361 | 5966 2 | 16 | 135 123.75/123.87 c 7.3s | 10 | 90660 | 14961 | 5966 3 | 16 | 135 124.75/124.84 c 8.3s | 11 | 102082 | 17144 | 5966 4 | 16 | 135 126.76/126.88 c 10.3s | 11 | 125852 | 21844 | 5966 5 | 16 | 135 128.45/128.59 c 12.0s | 11 | 144205 | 25261 | 5966 6 | 16 | 135 128.45/128.59 c #cpu_time = 12.029s 128.45/128.59 c #wall_clock_time = 12.031s 128.45/128.59 c #decision = 144205 128.45/128.59 c #random_decision = 285 128.45/128.59 c #conflict = 25261 128.45/128.59 c #restart = 11 128.45/128.59 o 44 128.45/128.59 c BCD2: updating upper bound: 46 -> 43 128.45/128.59 c BCD2: 29 <= obj <= 43 128.45/128.59 c BCD2: #cores=25, #unrelaxed=531, #relaxed=577, #hardened=0 128.45/128.59 c BCD2: #sat=5 #unsat=30 bias=30/35 128.45/128.59 c Solving starts ... 128.45/128.59 c ============================[ Search Statistics ]============================ 128.45/128.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 128.45/128.59 c | | | | Limit GC | Var | Constra 128.45/128.59 c ============================================================================= 128.45/128.59 c 0.0s | 0 | 0 | 0 | 5966 0 | 16 | 136 128.65/128.75 c 0.2s | 1 | 1128 | 100 | 5966 0 | 16 | 136 128.86/128.97 c 0.4s | 2 | 3325 | 250 | 5966 0 | 16 | 136 129.05/129.10 c 0.5s | 3 | 4971 | 475 | 5966 0 | 16 | 136 129.15/129.26 c 0.7s | 4 | 7325 | 813 | 5966 0 | 16 | 136 129.35/129.46 c 0.9s | 5 | 9904 | 1320 | 5966 1 | 16 | 136 129.65/129.75 c 1.2s | 6 | 14380 | 2081 | 5966 1 | 16 | 136 130.15/130.21 c 1.6s | 7 | 20442 | 3223 | 5966 1 | 16 | 136 130.85/130.96 c 2.4s | 8 | 31101 | 4936 | 5966 2 | 16 | 136 131.85/131.97 c 3.4s | 9 | 46543 | 7506 | 5966 2 | 16 | 136 133.45/133.50 c 4.9s | 10 | 65978 | 11361 | 5966 4 | 16 | 136 135.45/135.51 c 6.9s | 10 | 89317 | 16361 | 5966 5 | 16 | 136 135.75/135.82 c 7.2s | 11 | 92740 | 17144 | 5966 5 | 16 | 136 137.75/137.83 c 9.2s | 11 | 118184 | 21944 | 5966 7 | 16 | 136 139.14/139.26 c 10.7s | 12 | 137636 | 25819 | 5966 8 | 16 | 136 141.14/141.28 c 12.7s | 12 | 161900 | 30719 | 5966 10 | 16 | 136 143.15/143.29 c 14.7s | 12 | 188795 | 35619 | 5966 11 | 16 | 136 144.54/144.60 c 16.0s | 13 | 203170 | 38832 | 5966 12 | 16 | 136 146.55/146.60 c 18.0s | 13 | 231174 | 44132 | 5966 14 | 16 | 136 148.54/148.66 c 20.1s | 13 | 258387 | 49332 | 5966 15 | 16 | 136 150.54/150.68 c 22.1s | 13 | 286009 | 54432 | 5966 17 | 16 | 136 152.25/152.38 c 23.8s | 14 | 306238 | 58352 | 5966 18 | 16 | 136 154.26/154.38 c 25.8s | 14 | 331480 | 62952 | 5966 19 | 16 | 136 156.25/156.39 c 27.8s | 14 | 356967 | 67752 | 5966 21 | 16 | 136 158.34/158.44 c 29.9s | 14 | 383206 | 72852 | 5966 22 | 16 | 136 160.34/160.45 c 31.9s | 14 | 407814 | 77652 | 5966 24 | 16 | 136 162.34/162.46 c 33.9s | 14 | 431628 | 82452 | 5966 25 | 16 | 136 164.24/164.33 c 35.7s | 15 | 457515 | 87632 | 5966 27 | 16 | 136 166.25/166.34 c 37.7s | 15 | 481969 | 92532 | 5966 28 | 16 | 136 168.24/168.35 c 39.8s | 15 | 506817 | 96632 | 5966 30 | 16 | 136 170.24/170.39 c 41.8s | 15 | 532227 | 101432 | 6563 31 | 16 | 136 172.34/172.42 c 43.8s | 15 | 559238 | 106732 | 6563 32 | 16 | 136 174.34/174.45 c 45.9s | 15 | 577363 | 110832 | 6563 34 | 16 | 136 176.34/176.48 c 47.9s | 15 | 602389 | 115332 | 6563 35 | 16 | 136 178.44/178.53 c 49.9s | 15 | 627555 | 120032 | 6563 36 | 16 | 136 180.43/180.55 c 52.0s | 15 | 655083 | 124832 | 6563 37 | 16 | 136 182.43/182.55 c 54.0s | 15 | 680449 | 129632 | 6563 39 | 16 | 136 183.13/183.27 c 54.7s | 16 | 690138 | 131552 | 6563 39 | 16 | 136 185.13/185.28 c 56.7s | 16 | 719157 | 136452 | 6563 41 | 16 | 136 187.14/187.29 c 58.7s | 16 | 745634 | 141352 | 6563 42 | 16 | 136 189.23/189.35 c 60.8s | 16 | 761176 | 144352 | 6563 43 | 16 | 136 191.33/191.46 c 62.9s | 16 | 765445 | 146152 | 6563 43 | 16 | 136 193.33/193.47 c 64.9s | 16 | 771673 | 147652 | 6563 44 | 16 | 136 195.43/195.54 c 66.9s | 16 | 783833 | 150252 | 6563 45 | 16 | 136 197.43/197.57 c 69.0s | 16 | 803766 | 154952 | 6563 46 | 16 | 136 199.53/199.61 c 71.0s | 16 | 824864 | 159652 | 6563 47 | 16 | 136 201.53/201.62 c 73.0s | 16 | 848040 | 164452 | 6563 48 | 16 | 136 203.53/203.63 c 75.0s | 16 | 870323 | 169452 | 6563 50 | 16 | 136 205.53/205.64 c 77.1s | 16 | 891257 | 174552 | 6563 51 | 16 | 136 207.52/207.68 c 79.1s | 16 | 908339 | 178652 | 6563 52 | 16 | 136 209.62/209.71 c 81.1s | 16 | 931833 | 183152 | 6563 54 | 16 | 136 211.62/211.71 c 83.1s | 16 | 949872 | 187052 | 6563 55 | 16 | 136 213.63/213.71 c 85.1s | 16 | 961385 | 190152 | 6563 56 | 16 | 136 215.83/215.93 c 87.3s | 16 | 964124 | 191152 | 6563 56 | 16 | 136 217.93/218.06 c 89.5s | 16 | 978385 | 192752 | 6563 56 | 16 | 136 219.92/220.09 c 91.5s | 16 | 991939 | 194652 | 6563 57 | 16 | 136 222.02/222.10 c 93.5s | 17 | 1004680 | 197432 | 6563 58 | 16 | 136 224.02/224.13 c 95.5s | 17 | 1022372 | 200832 | 6563 59 | 16 | 136 226.02/226.18 c 97.6s | 17 | 1040138 | 204032 | 6563 59 | 16 | 136 228.21/228.32 c 99.7s | 17 | 1042787 | 205132 | 6563 60 | 16 | 136 230.22/230.35 c 101s | 17 | 1044649 | 206032 | 6563 60 | 16 | 136 232.33/232.48 c 103s | 17 | 1047763 | 207332 | 6563 60 | 16 | 136 234.53/234.62 c 106s | 17 | 1049549 | 208232 | 6563 60 | 16 | 136 236.72/236.82 c 108s | 17 | 1050735 | 208932 | 6563 61 | 16 | 136 238.82/238.90 c 110s | 17 | 1052061 | 209632 | 6563 61 | 16 | 136 240.92/241.04 c 112s | 17 | 1053193 | 210332 | 6563 61 | 16 | 136 243.01/243.16 c 114s | 17 | 1054475 | 211032 | 6563 61 | 16 | 136 245.31/245.42 c 116s | 17 | 1056634 | 211932 | 6563 61 | 16 | 136 247.30/247.48 c 118s | 17 | 1065820 | 213632 | 6563 62 | 16 | 136 249.51/249.69 c 121s | 17 | 1076741 | 215132 | 6563 62 | 16 | 136 251.61/251.73 c 123s | 17 | 1093987 | 217632 | 6563 63 | 16 | 136 253.61/253.78 c 125s | 17 | 1119262 | 221632 | 6563 64 | 16 | 136 255.71/255.80 c 127s | 17 | 1145600 | 225632 | 6563 65 | 16 | 136 257.70/257.83 c 129s | 17 | 1172292 | 229832 | 6563 66 | 16 | 136 259.71/259.83 c 131s | 17 | 1194570 | 233732 | 6563 68 | 16 | 136 261.70/261.87 c 133s | 17 | 1220523 | 237832 | 6563 69 | 16 | 136 263.70/263.88 c 135s | 17 | 1245243 | 241632 | 6563 70 | 16 | 136 265.70/265.89 c 137s | 17 | 1264712 | 245232 | 6563 71 | 16 | 136 267.90/268.04 c 139s | 17 | 1275888 | 247632 | 6563 71 | 16 | 136 269.90/270.06 c 141s | 17 | 1280101 | 248932 | 6563 72 | 16 | 136 271.90/272.06 c 143s | 17 | 1298055 | 252132 | 6563 73 | 16 | 136 273.90/274.10 c 145s | 17 | 1319621 | 256332 | 6563 74 | 16 | 136 276.10/276.21 c 147s | 17 | 1334935 | 259032 | 6563 75 | 16 | 136 278.29/278.40 c 149s | 17 | 1343245 | 260932 | 6563 75 | 16 | 136 280.29/280.43 c 151s | 17 | 1361953 | 264132 | 6563 76 | 16 | 136 282.39/282.51 c 153s | 17 | 1380025 | 267432 | 6563 77 | 16 | 136 284.50/284.62 c 156s | 17 | 1386104 | 268932 | 6563 77 | 16 | 136 286.49/286.64 c 158s | 17 | 1394743 | 271232 | 6563 78 | 16 | 136 288.59/288.70 c 160s | 17 | 1403323 | 273532 | 6563 79 | 16 | 136 290.69/290.84 c 162s | 17 | 1410962 | 275132 | 6563 79 | 16 | 136 292.70/292.85 c 164s | 17 | 1413608 | 275932 | 6563 79 | 16 | 136 294.69/294.89 c 166s | 17 | 1420872 | 277532 | 6563 80 | 16 | 136 296.78/296.94 c 168s | 17 | 1437239 | 280332 | 6563 80 | 16 | 136 298.78/298.96 c 170s | 17 | 1450273 | 282632 | 6563 81 | 16 | 136 300.89/301.04 c 172s | 17 | 1463677 | 284832 | 6563 82 | 16 | 136 302.99/303.10 c 174s | 17 | 1471324 | 286432 | 6563 82 | 16 | 136 304.98/305.12 c 176s | 17 | 1482968 | 287832 | 6563 83 | 16 | 136 306.99/307.15 c 178s | 17 | 1497369 | 290832 | 6563 83 | 16 | 136 308.98/309.17 c 180s | 17 | 1519167 | 294532 | 6563 84 | 16 | 136 309.78/310.00 c 181s | 18 | 1528217 | 296252 | 6563 85 | 16 | 136 311.88/312.03 c 183s | 18 | 1549456 | 300152 | 6563 86 | 16 | 136 313.88/314.06 c 185s | 18 | 1570943 | 304352 | 6563 87 | 16 | 136 315.98/316.16 c 187s | 18 | 1582468 | 307052 | 6563 88 | 16 | 136 318.18/318.36 c 189s | 18 | 1589836 | 308352 | 6563 88 | 16 | 136 320.18/320.36 c 191s | 18 | 1610533 | 312352 | 6563 89 | 16 | 136 322.28/322.43 c 193s | 18 | 1627833 | 315852 | 6563 90 | 16 | 136 324.28/324.46 c 195s | 18 | 1646368 | 319252 | 6563 91 | 16 | 136 326.38/326.52 c 197s | 18 | 1656748 | 321552 | 7220 92 | 16 | 136 328.37/328.55 c 199s | 18 | 1667896 | 323452 | 7220 92 | 16 | 136 330.47/330.63 c 202s | 18 | 1676859 | 325052 | 7220 93 | 16 | 136 332.47/332.65 c 204s | 18 | 1684548 | 326452 | 7220 93 | 16 | 136 334.67/334.87 c 206s | 18 | 1691279 | 327652 | 7220 93 | 16 | 136 336.78/336.97 c 208s | 18 | 1693983 | 328352 | 7220 94 | 16 | 136 338.88/339.01 c 210s | 18 | 1706953 | 330652 | 7220 94 | 16 | 136 340.87/341.09 c 212s | 18 | 1718243 | 332852 | 7220 95 | 16 | 136 342.97/343.11 c 214s | 18 | 1723982 | 334252 | 7220 95 | 16 | 136 344.97/345.15 c 216s | 18 | 1741431 | 337652 | 7220 96 | 16 | 136 347.17/347.32 c 218s | 18 | 1750053 | 339752 | 7220 96 | 16 | 136 349.17/349.32 c 220s | 18 | 1756327 | 340952 | 7220 97 | 16 | 136 351.16/351.33 c 222s | 18 | 1761335 | 342952 | 7220 97 | 16 | 136 353.37/353.51 c 224s | 18 | 1772267 | 345052 | 7220 98 | 16 | 136 355.37/355.54 c 226s | 18 | 1778018 | 346152 | 7220 98 | 16 | 136 357.46/357.61 c 229s | 18 | 1783131 | 348152 | 7220 99 | 16 | 136 359.46/359.65 c 231s | 18 | 1791709 | 349852 | 7220 99 | 16 | 136 361.46/361.68 c 233s | 18 | 1804893 | 352152 | 7220 100 | 16 | 136 363.56/363.75 c 235s | 18 | 1821432 | 355552 | 7220 100 | 16 | 136 365.66/365.80 c 237s | 18 | 1827341 | 357152 | 7220 101 | 16 | 136 367.66/367.80 c 239s | 18 | 1836011 | 358952 | 7220 101 | 16 | 136 369.67/369.85 c 241s | 18 | 1849364 | 362552 | 7220 102 | 16 | 136 371.66/371.86 c 243s | 18 | 1862733 | 365652 | 7220 103 | 16 | 136 373.66/373.88 c 245s | 18 | 1879647 | 369452 | 7220 104 | 16 | 136 375.76/375.94 c 247s | 18 | 1889622 | 371652 | 7220 104 | 16 | 136 377.85/378.01 c 249s | 18 | 1898185 | 373552 | 7220 105 | 16 | 136 379.96/380.17 c 251s | 18 | 1907283 | 375752 | 7220 106 | 16 | 136 382.06/382.20 c 253s | 18 | 1915701 | 377952 | 7220 106 | 16 | 136 384.06/384.23 c 255s | 18 | 1920228 | 379652 | 7220 107 | 16 | 136 386.06/386.23 c 257s | 18 | 1926461 | 381752 | 7220 107 | 16 | 136 388.05/388.28 c 259s | 18 | 1937047 | 384152 | 7220 108 | 16 | 136 390.15/390.34 c 261s | 18 | 1951277 | 386952 | 7220 108 | 16 | 136 392.25/392.40 c 263s | 18 | 1965271 | 389652 | 7220 109 | 16 | 136 394.25/394.42 c 265s | 18 | 1981424 | 392552 | 7220 110 | 16 | 136 396.25/396.42 c 267s | 18 | 1998191 | 395552 | 7220 111 | 16 | 136 398.25/398.46 c 269s | 18 | 2011771 | 398652 | 7220 111 | 16 | 136 400.34/400.53 c 271s | 18 | 2023522 | 401652 | 7220 112 | 16 | 136 402.34/402.54 c 273s | 18 | 2034678 | 404452 | 7220 113 | 16 | 136 404.44/404.62 c 276s | 18 | 2048471 | 407952 | 7220 114 | 16 | 136 406.45/406.66 c 278s | 18 | 2053752 | 409952 | 7220 114 | 16 | 136 408.44/408.69 c 280s | 18 | 2068983 | 412952 | 7220 115 | 16 | 136 410.64/410.80 c 282s | 18 | 2084939 | 416052 | 7220 116 | 16 | 136 412.65/412.89 c 284s | 18 | 2095234 | 417652 | 7220 116 | 16 | 136 414.75/414.92 c 286s | 18 | 2102298 | 419052 | 7220 117 | 16 | 136 416.83/417.03 c 288s | 18 | 2115568 | 421452 | 7220 117 | 16 | 136 418.83/419.06 c 290s | 18 | 2124173 | 423452 | 7220 118 | 16 | 136 420.93/421.17 c 292s | 18 | 2136051 | 424752 | 7220 118 | 16 | 136 423.14/423.35 c 294s | 18 | 2142703 | 425952 | 7220 118 | 16 | 136 425.14/425.37 c 296s | 18 | 2151899 | 427752 | 7220 119 | 16 | 136 427.13/427.38 c 298s | 18 | 2168245 | 430852 | 7220 120 | 16 | 136 429.23/429.40 c 300s | 18 | 2185875 | 433652 | 7220 120 | 16 | 136 431.24/431.41 c 302s | 18 | 2200870 | 436352 | 7220 121 | 16 | 136 433.23/433.43 c 304s | 18 | 2215712 | 439152 | 7220 122 | 16 | 136 435.23/435.44 c 306s | 18 | 2232155 | 442152 | 7220 122 | 16 | 136 436.33/436.56 c 307s | 19 | 2245490 | 444482 | 7220 123 | 16 | 136 438.42/438.61 c 310s | 19 | 2265675 | 447982 | 7220 124 | 16 | 136 440.42/440.65 c 312s | 19 | 2292209 | 452082 | 7220 125 | 16 | 136 442.42/442.66 c 314s | 19 | 2312030 | 455882 | 7220 126 | 16 | 136 444.53/444.71 c 316s | 19 | 2334465 | 459382 | 7220 127 | 16 | 136 446.52/446.75 c 318s | 19 | 2349282 | 462582 | 7220 128 | 16 | 136 448.51/448.79 c 320s | 19 | 2366997 | 465682 | 7220 128 | 16 | 136 450.61/450.82 c 322s | 19 | 2382767 | 469482 | 7220 129 | 16 | 136 452.61/452.85 c 324s | 19 | 2400633 | 473182 | 7220 130 | 16 | 136 454.61/454.86 c 326s | 19 | 2417155 | 476882 | 7220 131 | 16 | 136 456.71/456.90 c 328s | 19 | 2437828 | 480382 | 7220 132 | 16 | 136 458.72/458.92 c 330s | 19 | 2460899 | 484082 | 7220 133 | 16 | 136 460.71/460.98 c 332s | 19 | 2473189 | 486982 | 7220 134 | 16 | 136 462.72/462.99 c 334s | 19 | 2495485 | 490182 | 7220 135 | 16 | 136 464.82/465.01 c 336s | 19 | 2515652 | 493682 | 7220 135 | 16 | 136 466.82/467.01 c 338s | 19 | 2532078 | 496182 | 7220 136 | 16 | 136 468.82/469.06 c 340s | 19 | 2550912 | 499482 | 7220 137 | 16 | 136 470.82/471.06 c 342s | 19 | 2570134 | 502682 | 7220 138 | 16 | 136 472.82/473.08 c 344s | 19 | 2587045 | 505782 | 7220 139 | 16 | 136 474.81/475.09 c 346s | 19 | 2602110 | 508682 | 7220 139 | 16 | 136 476.91/477.11 c 348s | 19 | 2620642 | 511382 | 7220 140 | 16 | 136 478.91/479.14 c 350s | 19 | 2635786 | 514682 | 7220 141 | 16 | 136 480.91/481.14 c 352s | 19 | 2654275 | 518082 | 7220 142 | 16 | 136 482.92/483.14 c 354s | 19 | 2672145 | 521182 | 7220 142 | 16 | 136 484.91/485.18 c 356s | 19 | 2693909 | 524582 | 7220 143 | 16 | 136 487.01/487.22 c 358s | 19 | 2714054 | 527782 | 7220 144 | 16 | 136 489.01/489.28 c 360s | 19 | 2740647 | 531182 | 7220 145 | 16 | 136 491.11/491.32 c 362s | 19 | 2758517 | 534382 | 7220 146 | 16 | 136 493.10/493.33 c 364s | 19 | 2778078 | 537282 | 7220 147 | 16 | 136 495.20/495.40 c 366s | 19 | 2797617 | 540482 | 7220 147 | 16 | 136 497.21/497.43 c 368s | 19 | 2813660 | 543882 | 7220 148 | 16 | 136 499.20/499.43 c 370s | 19 | 2836765 | 547382 | 7220 149 | 16 | 136 501.20/501.48 c 372s | 19 | 2855213 | 550582 | 7220 150 | 16 | 136 503.30/503.53 c 374s | 19 | 2871261 | 553782 | 7220 151 | 16 | 136 505.30/505.54 c 376s | 19 | 2886978 | 557082 | 7220 152 | 16 | 136 507.29/507.55 c 378s | 19 | 2902223 | 560482 | 7220 153 | 16 | 136 509.30/509.58 c 380s | 19 | 2925354 | 563982 | 7220 153 | 16 | 136 511.39/511.63 c 383s | 19 | 2947210 | 567682 | 7220 154 | 16 | 136 513.39/513.66 c 385s | 19 | 2966054 | 570782 | 7220 155 | 16 | 136 515.49/515.73 c 387s | 19 | 2978696 | 572782 | 7220 156 | 16 | 136 517.49/517.78 c 389s | 19 | 2999648 | 575382 | 7220 156 | 16 | 136 519.59/519.82 c 391s | 19 | 3020143 | 578782 | 7220 157 | 16 | 136 521.59/521.87 c 393s | 19 | 3041273 | 582082 | 7220 158 | 16 | 136 523.69/523.90 c 395s | 19 | 3064120 | 585482 | 7220 159 | 16 | 136 525.69/525.95 c 397s | 19 | 3081888 | 588882 | 7220 160 | 16 | 136 527.78/528.00 c 399s | 19 | 3093939 | 591982 | 7220 161 | 16 | 136 529.78/530.05 c 401s | 19 | 3113087 | 595982 | 7220 162 | 16 | 136 531.78/532.07 c 403s | 19 | 3129967 | 599282 | 7220 162 | 16 | 136 533.88/534.11 c 405s | 19 | 3144904 | 601982 | 7220 163 | 16 | 136 535.88/536.14 c 407s | 19 | 3160359 | 604782 | 7220 164 | 16 | 136 537.89/538.14 c 409s | 19 | 3174576 | 607582 | 7220 165 | 16 | 136 539.88/540.16 c 411s | 19 | 3189309 | 610482 | 7220 165 | 16 | 136 541.88/542.19 c 413s | 19 | 3202639 | 613182 | 7220 166 | 16 | 136 543.98/544.26 c 415s | 19 | 3212661 | 615482 | 7220 167 | 16 | 136 546.08/546.32 c 417s | 19 | 3233587 | 618882 | 7220 167 | 16 | 136 548.07/548.36 c 419s | 19 | 3250421 | 621782 | 7220 168 | 16 | 136 550.08/550.37 c 421s | 19 | 3274956 | 624882 | 7220 169 | 16 | 136 552.18/552.42 c 423s | 19 | 3295217 | 627982 | 7220 170 | 16 | 136 554.17/554.42 c 425s | 19 | 3315490 | 631182 | 7220 171 | 16 | 136 556.17/556.45 c 427s | 19 | 3329787 | 634482 | 7220 171 | 16 | 136 558.27/558.51 c 429s | 19 | 3349194 | 637782 | 7220 172 | 16 | 136 560.27/560.52 c 431s | 19 | 3360325 | 640682 | 7220 173 | 16 | 136 562.28/562.56 c 433s | 19 | 3375659 | 643282 | 7220 174 | 16 | 136 564.38/564.67 c 436s | 19 | 3389480 | 645882 | 7220 174 | 16 | 136 566.37/566.68 c 438s | 19 | 3394907 | 647082 | 7220 175 | 16 | 136 568.47/568.70 c 440s | 19 | 3419477 | 651082 | 7220 176 | 16 | 136 570.47/570.73 c 442s | 19 | 3441420 | 655082 | 7943 176 | 16 | 136 572.47/572.75 c 444s | 19 | 3462561 | 658882 | 7943 177 | 16 | 136 574.47/574.76 c 446s | 19 | 3485915 | 663082 | 7943 178 | 16 | 136 576.37/576.65 c 448s | 20 | 3510336 | 666827 | 7943 179 | 16 | 136 578.36/578.68 c 450s | 20 | 3531277 | 670827 | 7943 180 | 16 | 136 580.46/580.73 c 452s | 20 | 3553078 | 675227 | 7943 181 | 16 | 136 582.46/582.75 c 454s | 20 | 3574358 | 679527 | 7943 182 | 16 | 136 584.46/584.79 c 456s | 20 | 3597428 | 684327 | 7943 183 | 16 | 136 586.56/586.81 c 458s | 20 | 3622611 | 688927 | 7943 184 | 16 | 136 588.56/588.84 c 460s | 20 | 3645493 | 693627 | 7943 185 | 16 | 136 590.55/590.84 c 462s | 20 | 3667385 | 698327 | 7943 187 | 16 | 136 592.55/592.87 c 464s | 20 | 3692468 | 703627 | 7943 188 | 16 | 136 594.55/594.87 c 466s | 20 | 3716204 | 708427 | 7943 189 | 16 | 136 596.55/596.87 c 468s | 20 | 3741331 | 713427 | 7943 190 | 16 | 136 598.64/598.90 c 470s | 20 | 3765859 | 718227 | 7943 191 | 16 | 136 600.55/600.90 c 472s | 20 | 3790741 | 723127 | 7943 192 | 16 | 136 602.64/602.95 c 474s | 20 | 3813750 | 728227 | 7943 194 | 16 | 136 604.64/604.96 c 476s | 20 | 3837650 | 732727 | 7943 195 | 16 | 136 606.64/606.97 c 478s | 20 | 3862052 | 737927 | 7943 196 | 16 | 136 608.74/609.00 c 480s | 20 | 3883474 | 742927 | 7943 197 | 16 | 136 610.74/611.00 c 482s | 20 | 3905442 | 747727 | 7943 198 | 16 | 136 612.74/613.03 c 484s | 20 | 3929287 | 752027 | 7943 199 | 16 | 136 614.73/615.06 c 486s | 20 | 3949520 | 756627 | 7943 200 | 16 | 136 616.83/617.10 c 488s | 20 | 3966938 | 759827 | 7943 201 | 16 | 136 618.84/619.14 c 490s | 20 | 3988967 | 763827 | 7943 202 | 16 | 136 620.84/621.14 c 492s | 20 | 4016662 | 768927 | 7943 203 | 16 | 136 622.84/623.17 c 494s | 20 | 4042903 | 774027 | 7943 204 | 16 | 136 624.85/625.19 c 496s | 20 | 4063196 | 778727 | 7943 205 | 16 | 136 626.94/627.21 c 498s | 20 | 4084580 | 783627 | 7943 206 | 16 | 136 628.94/629.22 c 500s | 20 | 4098056 | 786327 | 7943 207 | 16 | 136 630.94/631.25 c 502s | 20 | 4120627 | 790327 | 7943 208 | 16 | 136 632.94/633.29 c 504s | 20 | 4145081 | 794627 | 7943 209 | 16 | 136 635.14/635.45 c 506s | 20 | 4156797 | 797427 | 7943 210 | 16 | 136 637.23/637.53 c 508s | 20 | 4162726 | 799427 | 7943 210 | 16 | 136 639.63/639.90 c 511s | 20 | 4165551 | 801027 | 7943 210 | 16 | 136 641.62/641.93 c 513s | 20 | 4169280 | 802527 | 7943 211 | 16 | 136 643.62/644.00 c 515s | 20 | 4171836 | 803827 | 7943 211 | 16 | 136 645.83/646.17 c 517s | 20 | 4174090 | 805027 | 7943 211 | 16 | 136 647.93/648.22 c 519s | 20 | 4175430 | 805827 | 7943 212 | 16 | 136 649.92/650.24 c 521s | 20 | 4176721 | 806627 | 7943 212 | 16 | 136 652.02/652.33 c 523s | 20 | 4178022 | 807427 | 7943 212 | 16 | 136 654.12/654.43 c 525s | 20 | 4185387 | 808527 | 7943 212 | 16 | 136 656.22/656.57 c 527s | 20 | 4191242 | 810127 | 7943 213 | 16 | 136 658.31/658.68 c 530s | 20 | 4198968 | 811927 | 7943 213 | 16 | 136 660.41/660.71 c 532s | 20 | 4201176 | 812927 | 7943 213 | 16 | 136 662.42/662.72 c 534s | 20 | 4206638 | 814527 | 7943 214 | 16 | 136 664.42/664.72 c 536s | 20 | 4227467 | 818227 | 7943 214 | 16 | 136 666.41/666.72 c 538s | 20 | 4246254 | 821127 | 7943 215 | 16 | 136 668.41/668.74 c 540s | 20 | 4260933 | 823527 | 7943 216 | 16 | 136 670.41/670.78 c 542s | 20 | 4280846 | 826727 | 7943 216 | 16 | 136 672.51/672.80 c 544s | 20 | 4300150 | 830327 | 7943 217 | 16 | 136 674.50/674.82 c 546s | 20 | 4319306 | 834327 | 7943 218 | 16 | 136 676.51/676.83 c 548s | 20 | 4338192 | 838127 | 7943 219 | 16 | 136 678.50/678.87 c 550s | 20 | 4360110 | 842127 | 7943 220 | 16 | 136 680.50/680.88 c 552s | 20 | 4378535 | 845727 | 7943 221 | 16 | 136 682.60/682.91 c 554s | 20 | 4397696 | 849327 | 7943 222 | 16 | 136 684.60/684.95 c 556s | 20 | 4416696 | 853427 | 7943 223 | 16 | 136 686.70/687.00 c 558s | 20 | 4436681 | 857227 | 7943 224 | 16 | 136 688.69/689.06 c 560s | 20 | 4454933 | 860527 | 7943 224 | 16 | 136 690.80/691.12 c 562s | 20 | 4472638 | 864127 | 7943 225 | 16 | 136 692.79/693.17 c 564s | 20 | 4491462 | 867727 | 7943 226 | 16 | 136 694.79/695.18 c 566s | 20 | 4507290 | 871127 | 7943 227 | 16 | 136 696.79/697.19 c 568s | 20 | 4523749 | 874227 | 7943 228 | 16 | 136 698.89/699.24 c 570s | 20 | 4542917 | 877727 | 7943 228 | 16 | 136 700.89/701.29 c 572s | 20 | 4562344 | 880927 | 7943 229 | 16 | 136 702.89/703.29 c 574s | 20 | 4574943 | 883827 | 7943 230 | 16 | 136 704.99/705.31 c 576s | 20 | 4589720 | 886827 | 7943 230 | 16 | 136 706.99/707.31 c 578s | 20 | 4601176 | 889327 | 7943 231 | 16 | 136 708.99/709.34 c 580s | 20 | 4621394 | 893327 | 7943 232 | 16 | 136 710.99/711.37 c 582s | 20 | 4643092 | 897927 | 7943 233 | 16 | 136 712.98/713.38 c 584s | 20 | 4664067 | 902327 | 7943 234 | 16 | 136 715.08/715.42 c 586s | 20 | 4682681 | 906127 | 7943 235 | 16 | 136 717.09/717.46 c 588s | 20 | 4701661 | 909927 | 7943 236 | 16 | 136 719.08/719.50 c 590s | 20 | 4724535 | 914327 | 7943 237 | 16 | 136 721.18/721.56 c 592s | 20 | 4744889 | 918627 | 7943 238 | 16 | 136 723.18/723.56 c 594s | 20 | 4764091 | 922227 | 7943 239 | 16 | 136 725.18/725.59 c 596s | 20 | 4783057 | 926027 | 7943 240 | 16 | 136 727.28/727.63 c 599s | 20 | 4801696 | 929927 | 7943 241 | 16 | 136 729.29/729.63 c 601s | 20 | 4821452 | 933827 | 7943 241 | 16 | 136 731.28/731.65 c 603s | 20 | 4842409 | 937827 | 7943 242 | 16 | 136 733.28/733.66 c 605s | 20 | 4859873 | 941627 | 7943 243 | 16 | 136 735.29/735.69 c 607s | 20 | 4874030 | 945027 | 7943 244 | 16 | 136 737.39/737.70 c 609s | 20 | 4892332 | 948327 | 7943 245 | 16 | 136 739.39/739.72 c 611s | 20 | 4915057 | 952527 | 7943 246 | 16 | 136 741.39/741.73 c 613s | 20 | 4934121 | 956027 | 7943 247 | 16 | 136 743.39/743.75 c 615s | 20 | 4957390 | 960127 | 7943 248 | 16 | 136 745.38/745.78 c 617s | 20 | 4977808 | 964527 | 7943 249 | 16 | 136 747.48/747.81 c 619s | 20 | 4996495 | 968427 | 7943 249 | 16 | 136 749.48/749.81 c 621s | 20 | 5013719 | 972527 | 7943 250 | 16 | 136 751.48/751.85 c 623s | 20 | 5033116 | 976727 | 7943 251 | 16 | 136 753.49/753.89 c 625s | 20 | 5054344 | 981027 | 7943 252 | 16 | 136 755.59/755.91 c 627s | 20 | 5071686 | 984927 | 7943 253 | 16 | 136 757.58/757.94 c 629s | 20 | 5091620 | 988727 | 7943 254 | 16 | 136 759.58/759.97 c 631s | 20 | 5110656 | 993127 | 7943 255 | 16 | 136 761.58/761.98 c 633s | 20 | 5127896 | 996327 | 7943 256 | 16 | 136 763.68/764.07 c 635s | 20 | 5148323 | 1000127 | 7943 257 | 16 | 136 763.98/764.32 c 635s | 21 | 5150031 | 1000345 | 7943 257 | 16 | 136 765.98/766.39 c 637s | 21 | 5156133 | 1001845 | 7943 257 | 16 | 136 768.08/768.49 c 639s | 21 | 5163119 | 1003045 | 7943 258 | 16 | 136 770.37/770.77 c 642s | 21 | 5164871 | 1003745 | 7943 258 | 16 | 136 772.48/772.89 c 644s | 21 | 5167351 | 1004845 | 7943 258 | 16 | 136 774.68/775.01 c 646s | 21 | 5171977 | 1005945 | 7943 258 | 16 | 136 776.97/777.32 c 648s | 21 | 5173176 | 1006745 | 7943 258 | 16 | 136 779.18/779.54 c 650s | 21 | 5174921 | 1007445 | 7943 259 | 16 | 136 781.28/781.61 c 653s | 21 | 5179874 | 1008545 | 7943 259 | 16 | 136 783.28/783.61 c 655s | 21 | 5193693 | 1010345 | 7943 259 | 16 | 136 785.29/785.63 c 657s | 21 | 5209546 | 1012745 | 7943 260 | 16 | 136 787.38/787.70 c 659s | 21 | 5222013 | 1014745 | 7943 260 | 16 | 136 789.48/789.82 c 661s | 21 | 5234310 | 1017145 | 7943 261 | 16 | 136 791.58/791.90 c 663s | 21 | 5240265 | 1018645 | 7943 261 | 16 | 136 793.58/793.92 c 665s | 21 | 5254153 | 1020545 | 7943 262 | 16 | 136 795.57/795.96 c 667s | 21 | 5267795 | 1022845 | 7943 262 | 16 | 136 797.67/798.00 c 669s | 21 | 5289151 | 1025845 | 7943 263 | 16 | 136 799.68/800.06 c 671s | 21 | 5300550 | 1028045 | 7943 263 | 16 | 136 801.67/802.10 c 673s | 21 | 5315994 | 1030345 | 7943 264 | 16 | 136 803.98/804.35 c 675s | 21 | 5331164 | 1033145 | 7943 265 | 16 | 136 806.08/806.46 c 677s | 21 | 5339843 | 1036045 | 7943 265 | 16 | 136 808.28/808.60 c 680s | 21 | 5344822 | 1037945 | 7943 266 | 16 | 136 810.47/810.84 c 682s | 21 | 5347962 | 1039545 | 7943 266 | 16 | 136 812.67/813.01 c 684s | 21 | 5350013 | 1040745 | 7943 266 | 16 | 136 814.87/815.27 c 686s | 21 | 5352156 | 1041945 | 7943 266 | 16 | 136 817.07/817.44 c 688s | 21 | 5353091 | 1042545 | 7943 267 | 16 | 136 819.07/819.49 c 690s | 21 | 5356159 | 1043845 | 7943 267 | 16 | 136 821.27/821.60 c 693s | 21 | 5363819 | 1045845 | 7943 267 | 16 | 136 823.27/823.63 c 695s | 21 | 5370968 | 1047345 | 7943 268 | 16 | 136 825.38/825.72 c 697s | 21 | 5383110 | 1049145 | 7943 268 | 16 | 136 827.47/827.83 c 699s | 21 | 5390807 | 1051045 | 7943 269 | 16 | 136 829.47/829.87 c 701s | 21 | 5407868 | 1053545 | 7943 269 | 16 | 136 831.58/831.92 c 703s | 21 | 5420797 | 1056245 | 7943 270 | 16 | 136 833.57/833.94 c 705s | 21 | 5429921 | 1058445 | 7943 270 | 16 | 136 835.67/836.02 c 707s | 21 | 5439655 | 1060745 | 7943 271 | 16 | 136 837.67/838.03 c 709s | 21 | 5444195 | 1061845 | 7943 271 | 16 | 136 839.77/840.13 c 711s | 21 | 5454469 | 1063845 | 7943 272 | 16 | 136 841.77/842.13 c 713s | 21 | 5473886 | 1066845 | 7943 272 | 16 | 136 843.87/844.24 c 715s | 21 | 5483417 | 1068945 | 7943 273 | 16 | 136 845.87/846.25 c 717s | 21 | 5500790 | 1071845 | 7943 273 | 16 | 136 848.07/848.45 c 719s | 21 | 5514729 | 1074345 | 7943 274 | 16 | 136 850.07/850.50 c 721s | 21 | 5529081 | 1076845 | 7943 275 | 16 | 136 852.17/852.56 c 723s | 21 | 5542851 | 1079245 | 7943 275 | 16 | 136 854.17/854.59 c 726s | 21 | 5553533 | 1081145 | 7943 276 | 16 | 136 856.27/856.67 c 728s | 21 | 5558354 | 1082545 | 7943 276 | 16 | 136 858.37/858.71 c 730s | 21 | 5582782 | 1085745 | 7943 277 | 16 | 136 860.47/860.82 c 732s | 21 | 5604587 | 1089245 | 7943 278 | 16 | 136 862.47/862.86 c 734s | 21 | 5630030 | 1093145 | 7943 278 | 16 | 136 864.47/864.89 c 736s | 21 | 5657164 | 1097045 | 7943 279 | 16 | 136 866.57/866.91 c 738s | 21 | 5676792 | 1100345 | 7943 280 | 16 | 136 868.57/868.92 c 740s | 21 | 5693034 | 1103545 | 7943 281 | 16 | 136 870.56/870.93 c 742s | 21 | 5711790 | 1107045 | 7943 282 | 16 | 136 872.56/872.95 c 744s | 21 | 5730320 | 1110445 | 7943 282 | 16 | 136 874.66/875.03 c 746s | 21 | 5749979 | 1113945 | 7943 283 | 16 | 136 876.67/877.03 c 748s | 21 | 5763819 | 1117145 | 7943 284 | 16 | 136 878.66/879.06 c 750s | 21 | 5784783 | 1121145 | 7943 285 | 16 | 136 880.66/881.07 c 752s | 21 | 5804921 | 1124545 | 7943 286 | 16 | 136 882.76/883.15 c 754s | 21 | 5820611 | 1127545 | 7943 286 | 16 | 136 884.86/885.20 c 756s | 21 | 5826931 | 1129045 | 7943 287 | 16 | 136 886.96/887.31 c 758s | 21 | 5848120 | 1132345 | 7943 288 | 16 | 136 889.06/889.49 c 760s | 21 | 5860366 | 1134845 | 7943 288 | 16 | 136 891.16/891.57 c 762s | 21 | 5866179 | 1136245 | 7943 288 | 16 | 136 893.26/893.60 c 765s | 21 | 5888696 | 1139445 | 7943 289 | 16 | 136 895.26/895.63 c 767s | 21 | 5909422 | 1142345 | 7943 290 | 16 | 136 897.26/897.65 c 769s | 21 | 5930602 | 1145645 | 7943 291 | 16 | 136 899.26/899.69 c 771s | 21 | 5950384 | 1148945 | 8738 291 | 16 | 136 901.36/901.79 c 773s | 21 | 5973397 | 1151845 | 8738 292 | 16 | 136 903.45/903.80 c 775s | 21 | 5998536 | 1154945 | 8738 293 | 16 | 136 905.45/905.85 c 777s | 21 | 6023872 | 1158745 | 8738 293 | 16 | 136 907.55/907.90 c 779s | 21 | 6044402 | 1162245 | 8738 294 | 16 | 136 909.57/909.98 c 781s | 21 | 6061452 | 1165645 | 8738 295 | 16 | 136 911.66/912.02 c 783s | 21 | 6081761 | 1168745 | 8738 295 | 16 | 136 913.66/914.05 c 785s | 21 | 6089612 | 1171545 | 8738 296 | 16 | 136 915.86/916.22 c 787s | 21 | 6093923 | 1173545 | 8738 296 | 16 | 136 917.86/918.25 c 789s | 21 | 6097681 | 1175345 | 8738 297 | 16 | 136 919.96/920.31 c 791s | 21 | 6100706 | 1176945 | 8738 297 | 16 | 136 922.06/922.42 c 793s | 21 | 6103341 | 1178345 | 8738 297 | 16 | 136 924.16/924.52 c 795s | 21 | 6106121 | 1179445 | 8738 298 | 16 | 136 926.16/926.56 c 797s | 21 | 6108977 | 1180645 | 8738 298 | 16 | 136 928.16/928.58 c 799s | 21 | 6124828 | 1182545 | 8738 298 | 16 | 136 930.26/930.63 c 802s | 21 | 6145339 | 1185845 | 8738 299 | 16 | 136 932.25/932.68 c 804s | 21 | 6156859 | 1187945 | 8738 299 | 16 | 136 934.35/934.70 c 806s | 21 | 6169451 | 1190445 | 8738 300 | 16 | 136 936.35/936.72 c 808s | 21 | 6175171 | 1193045 | 8738 301 | 16 | 136 938.45/938.88 c 810s | 21 | 6180663 | 1195245 | 8738 301 | 16 | 136 940.76/941.14 c 812s | 21 | 6183009 | 1196445 | 8738 301 | 16 | 136 943.15/943.51 c 814s | 21 | 6186134 | 1197445 | 8738 301 | 16 | 136 945.55/945.91 c 817s | 21 | 6187744 | 1198145 | 8738 302 | 16 | 136 947.65/948.07 c 819s | 21 | 6189115 | 1198945 | 8738 302 | 16 | 136 949.95/950.30 c 821s | 21 | 6190135 | 1199545 | 8738 302 | 16 | 136 952.15/952.53 c 823s | 21 | 6191046 | 1200145 | 8738 302 | 16 | 136 954.15/954.55 c 825s | 21 | 6197513 | 1201645 | 8738 302 | 16 | 136 956.25/956.64 c 828s | 21 | 6208472 | 1203345 | 8738 303 | 16 | 136 958.25/958.67 c 830s | 21 | 6215832 | 1205145 | 8738 303 | 16 | 136 960.25/960.68 c 832s | 21 | 6221476 | 1206845 | 8738 303 | 16 | 136 962.25/962.69 c 834s | 21 | 6225485 | 1208245 | 8738 304 | 16 | 136 964.35/964.77 c 836s | 21 | 6228500 | 1209545 | 8738 304 | 16 | 136 966.35/966.79 c 838s | 21 | 6240225 | 1212045 | 8738 305 | 16 | 136 968.45/968.82 c 840s | 21 | 6247737 | 1214745 | 8738 305 | 16 | 136 970.55/970.96 c 842s | 21 | 6252489 | 1215945 | 8738 305 | 16 | 136 972.55/972.98 c 844s | 21 | 6254086 | 1216945 | 8738 306 | 16 | 136 974.65/975.06 c 846s | 21 | 6258484 | 1218145 | 8738 306 | 16 | 136 976.76/977.12 c 848s | 21 | 6260484 | 1219345 | 8738 306 | 16 | 136 978.86/979.20 c 850s | 21 | 6263803 | 1220245 | 8738 306 | 16 | 136 980.85/981.27 c 852s | 21 | 6269723 | 1221445 | 8738 306 | 16 | 136 982.94/983.32 c 854s | 21 | 6273436 | 1222245 | 8738 307 | 16 | 136 984.94/985.33 c 856s | 21 | 6292792 | 1225245 | 8738 307 | 16 | 136 987.04/987.42 c 858s | 21 | 6308888 | 1227745 | 8738 308 | 16 | 136 989.04/989.47 c 860s | 21 | 6324447 | 1230445 | 8738 308 | 16 | 136 991.14/991.52 c 862s | 21 | 6348878 | 1233545 | 8738 309 | 16 | 136 993.15/993.56 c 864s | 21 | 6366414 | 1236445 | 8738 310 | 16 | 136 995.24/995.60 c 867s | 21 | 6385405 | 1239745 | 8738 310 | 16 | 136 997.24/997.64 c 869s | 21 | 6403652 | 1243245 | 8738 311 | 16 | 136 999.24/999.67 c 871s | 21 | 6422871 | 1246645 | 8738 312 | 16 | 136 1001.34/1001.77 c 873s | 21 | 6434730 | 1248945 | 8738 312 | 16 | 136 1003.34/1003.78 c 875s | 21 | 6446667 | 1251045 | 8738 313 | 16 | 136 1005.35/1005.79 c 877s | 21 | 6456201 | 1253145 | 8738 313 | 16 | 136 1007.45/1007.83 c 879s | 21 | 6472857 | 1256345 | 8738 314 | 16 | 136 1009.44/1009.86 c 881s | 21 | 6494175 | 1259445 | 8738 315 | 16 | 136 1011.44/1011.89 c 883s | 21 | 6513860 | 1262545 | 8738 315 | 16 | 136 1013.54/1013.91 c 885s | 21 | 6528082 | 1265245 | 8738 316 | 16 | 136 1015.54/1015.93 c 887s | 21 | 6544965 | 1268345 | 8738 317 | 16 | 136 1017.54/1017.97 c 889s | 21 | 6564336 | 1271645 | 8738 317 | 16 | 136 1019.55/1020.00 c 891s | 21 | 6572588 | 1274145 | 8738 318 | 16 | 136 1021.65/1022.10 c 893s | 21 | 6578607 | 1276145 | 8738 318 | 16 | 136 1023.95/1024.33 c 895s | 21 | 6580580 | 1277345 | 8738 318 | 16 | 136 1026.04/1026.45 c 897s | 21 | 6582819 | 1278245 | 8738 319 | 16 | 136 1028.14/1028.56 c 899s | 21 | 6590283 | 1279645 | 8738 319 | 16 | 136 1030.24/1030.62 c 902s | 21 | 6598871 | 1281145 | 8738 319 | 16 | 136 1032.54/1032.95 c 904s | 21 | 6608915 | 1282545 | 8738 320 | 16 | 136 1034.54/1034.97 c 906s | 21 | 6629820 | 1285845 | 8738 320 | 16 | 136 1036.64/1037.02 c 908s | 21 | 6649247 | 1288645 | 8738 321 | 16 | 136 1038.64/1039.08 c 910s | 21 | 6667159 | 1292045 | 8738 322 | 16 | 136 1040.74/1041.15 c 912s | 21 | 6685105 | 1295345 | 8738 322 | 16 | 136 1042.74/1043.17 c 914s | 21 | 6702249 | 1298245 | 8738 323 | 16 | 136 1044.84/1045.21 c 916s | 21 | 6720967 | 1301345 | 8738 324 | 16 | 136 1046.83/1047.23 c 918s | 21 | 6737851 | 1303745 | 8738 324 | 16 | 136 1048.83/1049.25 c 920s | 21 | 6754531 | 1306845 | 8738 325 | 16 | 136 1050.83/1051.26 c 922s | 21 | 6775120 | 1310145 | 8738 325 | 16 | 136 1052.83/1053.27 c 924s | 21 | 6780792 | 1311845 | 8738 326 | 16 | 136 1054.93/1055.35 c 926s | 21 | 6789135 | 1313845 | 8738 326 | 16 | 136 1057.05/1057.41 c 928s | 21 | 6803070 | 1316045 | 8738 327 | 16 | 136 1059.15/1059.52 c 930s | 21 | 6819992 | 1318645 | 8738 327 | 16 | 136 1061.14/1061.56 c 932s | 21 | 6835809 | 1320645 | 8738 328 | 16 | 136 1063.24/1063.61 c 935s | 21 | 6854094 | 1323545 | 8738 328 | 16 | 136 1065.24/1065.66 c 937s | 21 | 6871455 | 1326445 | 8738 329 | 16 | 136 1067.23/1067.69 c 939s | 21 | 6886013 | 1329345 | 8738 330 | 16 | 136 1069.33/1069.75 c 941s | 21 | 6901652 | 1332545 | 8738 330 | 16 | 136 1071.43/1071.81 c 943s | 21 | 6914623 | 1335045 | 8738 331 | 16 | 136 1073.44/1073.85 c 945s | 21 | 6931958 | 1337945 | 8738 331 | 16 | 136 1075.43/1075.88 c 947s | 21 | 6946684 | 1340845 | 8738 332 | 16 | 136 1077.53/1077.92 c 949s | 21 | 6959788 | 1343745 | 8738 333 | 16 | 136 1079.53/1079.97 c 951s | 21 | 6967526 | 1345545 | 8738 333 | 16 | 136 1081.63/1082.09 c 953s | 21 | 6970845 | 1347045 | 8738 333 | 16 | 136 1083.84/1084.29 c 955s | 21 | 6973310 | 1348245 | 8738 333 | 16 | 136 1085.94/1086.37 c 957s | 21 | 6975073 | 1349345 | 8738 334 | 16 | 136 1088.13/1088.56 c 959s | 21 | 6977234 | 1350645 | 8738 334 | 16 | 136 1090.23/1090.62 c 962s | 21 | 6980304 | 1352045 | 8738 334 | 16 | 136 1092.24/1092.69 c 964s | 21 | 6981928 | 1353045 | 8738 334 | 16 | 136 1094.53/1094.90 c 966s | 21 | 6983292 | 1353845 | 8738 335 | 16 | 136 1096.54/1096.93 c 968s | 21 | 6985214 | 1354545 | 8738 335 | 16 | 136 1098.53/1098.99 c 970s | 21 | 6986582 | 1355245 | 8738 335 | 16 | 136 1100.73/1101.19 c 972s | 21 | 6987597 | 1355845 | 8738 335 | 16 | 136 1102.83/1103.20 c 974s | 21 | 6993136 | 1356945 | 8738 335 | 16 | 136 1104.83/1105.21 c 976s | 21 | 6997660 | 1358045 | 8738 336 | 16 | 136 1107.03/1107.44 c 978s | 21 | 6999932 | 1358845 | 8738 336 | 16 | 136 1109.13/1109.54 c 980s | 21 | 7002709 | 1360045 | 8738 336 | 16 | 136 1111.22/1111.62 c 983s | 21 | 7005732 | 1361245 | 8738 336 | 16 | 136 1113.53/1113.96 c 985s | 21 | 7012515 | 1362645 | 8738 337 | 16 | 136 1115.63/1116.06 c 987s | 21 | 7017860 | 1363745 | 8738 337 | 16 | 136 1117.83/1118.25 c 989s | 21 | 7019278 | 1364445 | 8738 337 | 16 | 136 1119.93/1120.35 c 991s | 21 | 7020223 | 1365045 | 8738 337 | 16 | 136 1122.13/1122.56 c 993s | 21 | 7022442 | 1365645 | 8738 337 | 16 | 136 1124.23/1124.61 c 996s | 21 | 7031113 | 1367045 | 8738 337 | 16 | 136 1126.23/1126.66 c 998s | 21 | 7048790 | 1369745 | 8738 338 | 16 | 136 1128.32/1128.70 c 1000s | 21 | 7064476 | 1372445 | 8738 339 | 16 | 136 1130.32/1130.77 c 1002s | 21 | 7080547 | 1375245 | 8738 339 | 16 | 136 1132.32/1132.77 c 1004s | 21 | 7089426 | 1377545 | 8738 340 | 16 | 136 1134.52/1134.99 c 1006s | 21 | 7093630 | 1379145 | 8738 340 | 16 | 136 1136.73/1137.14 c 1008s | 21 | 7096023 | 1380245 | 8738 340 | 16 | 136 1138.72/1139.16 c 1010s | 21 | 7098863 | 1381445 | 8738 340 | 16 | 136 1141.02/1141.49 c 1012s | 21 | 7099702 | 1382045 | 8738 341 | 16 | 136 1143.13/1143.56 c 1014s | 21 | 7101191 | 1382845 | 8738 341 | 16 | 136 1145.22/1145.61 c 1017s | 21 | 7101935 | 1383345 | 8738 341 | 16 | 136 1147.32/1147.73 c 1019s | 21 | 7103006 | 1383945 | 8738 341 | 16 | 136 1149.43/1149.86 c 1021s | 21 | 7113861 | 1385345 | 8738 341 | 16 | 136 1151.53/1151.92 c 1023s | 21 | 7119697 | 1386645 | 8738 342 | 16 | 136 1153.62/1154.00 c 1025s | 21 | 7129723 | 1388745 | 8738 342 | 16 | 136 1155.63/1156.08 c 1027s | 21 | 7133203 | 1390045 | 8738 342 | 16 | 136 1157.73/1158.10 c 1029s | 21 | 7135119 | 1391245 | 8738 342 | 16 | 136 1159.82/1160.22 c 1031s | 21 | 7138497 | 1392245 | 8738 343 | 16 | 136 1161.92/1162.34 c 1033s | 21 | 7140162 | 1393045 | 8738 343 | 16 | 136 1164.12/1164.59 c 1035s | 21 | 7141801 | 1393645 | 8738 343 | 16 | 136 1166.22/1166.62 c 1038s | 21 | 7143315 | 1394345 | 8738 343 | 16 | 136 1168.22/1168.66 c 1040s | 21 | 7144453 | 1394945 | 8738 343 | 16 | 136 1170.41/1170.84 c 1042s | 21 | 7145445 | 1395545 | 8738 343 | 16 | 136 1173.12/1173.51 c 1044s | 21 | 7146734 | 1396245 | 8738 344 | 16 | 136 1175.12/1175.57 c 1046s | 21 | 7149083 | 1396845 | 8738 344 | 16 | 136 1177.12/1177.57 c 1048s | 21 | 7158516 | 1398445 | 8738 344 | 16 | 136 1179.22/1179.62 c 1051s | 21 | 7172871 | 1401045 | 8738 345 | 16 | 136 1181.22/1181.63 c 1053s | 21 | 7186833 | 1403545 | 8738 345 | 16 | 136 1183.22/1183.68 c 1055s | 21 | 7190399 | 1404745 | 8738 345 | 16 | 136 1185.21/1185.69 c 1057s | 21 | 7192333 | 1405645 | 8738 346 | 16 | 136 1187.32/1187.76 c 1059s | 21 | 7196026 | 1406945 | 8738 346 | 16 | 136 1189.32/1189.78 c 1061s | 21 | 7212427 | 1409345 | 8738 346 | 16 | 136 1191.42/1191.84 c 1063s | 21 | 7227763 | 1411845 | 8738 347 | 16 | 136 1193.52/1193.95 c 1065s | 21 | 7234498 | 1413545 | 8738 347 | 16 | 136 1195.52/1195.98 c 1067s | 21 | 7244042 | 1415245 | 8738 348 | 16 | 136 1197.62/1198.00 c 1069s | 21 | 7265220 | 1418245 | 8738 348 | 16 | 136 1199.62/1200.02 c 1071s | 21 | 7281129 | 1420845 | 8738 349 | 16 | 136 1201.62/1202.02 c 1073s | 21 | 7297558 | 1423645 | 8738 349 | 16 | 136 1203.62/1204.08 c 1075s | 21 | 7314493 | 1426545 | 8738 350 | 16 | 136 1205.71/1206.12 c 1077s | 21 | 7330921 | 1429045 | 8738 351 | 16 | 136 1207.91/1208.38 c 1079s | 21 | 7341953 | 1431145 | 8738 351 | 16 | 136 1210.01/1210.40 c 1081s | 21 | 7345418 | 1432245 | 8738 351 | 16 | 136 1212.02/1212.48 c 1083s | 21 | 7352204 | 1433745 | 8738 352 | 16 | 136 1214.12/1214.50 c 1085s | 21 | 7366379 | 1436145 | 8738 352 | 16 | 136 1216.12/1216.51 c 1087s | 21 | 7375735 | 1438245 | 8738 352 | 16 | 136 1218.12/1218.59 c 1090s | 21 | 7389001 | 1440445 | 8738 353 | 16 | 136 1220.42/1220.83 c 1092s | 21 | 7400979 | 1442745 | 8738 353 | 16 | 136 1222.42/1222.86 c 1094s | 21 | 7417339 | 1445445 | 8738 354 | 16 | 136 1224.41/1224.86 c 1096s | 21 | 7432358 | 1447945 | 8738 355 | 16 | 136 1226.61/1227.03 c 1098s | 21 | 7443378 | 1450345 | 8738 355 | 16 | 136 1228.71/1229.10 c 1100s | 21 | 7448948 | 1451545 | 8738 355 | 16 | 136 1230.72/1231.14 c 1102s | 21 | 7461337 | 1453845 | 8738 356 | 16 | 136 1232.71/1233.18 c 1104s | 21 | 7473323 | 1455845 | 8738 356 | 16 | 136 1234.81/1235.20 c 1106s | 21 | 7482363 | 1457645 | 8738 357 | 16 | 136 1236.91/1237.30 c 1108s | 21 | 7489538 | 1459045 | 8738 357 | 16 | 136 1238.90/1239.33 c 1110s | 21 | 7501015 | 1460845 | 8738 357 | 16 | 136 1240.91/1241.35 c 1112s | 21 | 7509970 | 1462445 | 8738 358 | 16 | 136 1243.01/1243.49 c 1114s | 21 | 7519270 | 1464045 | 8738 358 | 16 | 136 1245.12/1245.52 c 1116s | 21 | 7532373 | 1466145 | 8738 358 | 16 | 136 1247.11/1247.58 c 1118s | 21 | 7543141 | 1467845 | 8738 359 | 16 | 136 1249.21/1249.60 c 1121s | 21 | 7549340 | 1469245 | 8738 359 | 16 | 136 1251.21/1251.63 c 1123s | 21 | 7559941 | 1471045 | 8738 359 | 16 | 136 1253.31/1253.73 c 1125s | 21 | 7570987 | 1473045 | 8738 360 | 16 | 136 1255.41/1255.86 c 1127s | 21 | 7580718 | 1474845 | 8738 360 | 16 | 136 1257.41/1257.86 c 1129s | 21 | 7593343 | 1476745 | 8738 361 | 16 | 136 1259.51/1259.94 c 1131s | 21 | 7605831 | 1479045 | 8738 361 | 16 | 136 1261.51/1262.00 c 1133s | 21 | 7615263 | 1480645 | 8738 362 | 16 | 136 1263.60/1264.02 c 1135s | 21 | 7626175 | 1482745 | 8738 362 | 16 | 136 1265.70/1266.12 c 1137s | 21 | 7641967 | 1485145 | 8738 363 | 16 | 136 1267.81/1268.21 c 1139s | 21 | 7651145 | 1486945 | 8738 363 | 16 | 136 1269.81/1270.29 c 1141s | 21 | 7657032 | 1488345 | 8738 363 | 16 | 136 1271.91/1272.36 c 1143s | 21 | 7670556 | 1490545 | 8738 364 | 16 | 136 1273.91/1274.38 c 1145s | 21 | 7685096 | 1493145 | 8738 364 | 16 | 136 1276.01/1276.42 c 1147s | 21 | 7698649 | 1495645 | 8738 365 | 16 | 136 1278.01/1278.44 c 1149s | 21 | 7707258 | 1497645 | 8738 365 | 16 | 136 1279.31/1279.78 c 1151s | 22 | 7720469 | 1500622 | 8738 366 | 16 | 136 1281.31/1281.79 c 1153s | 22 | 7734022 | 1504122 | 8738 367 | 16 | 136 1283.41/1283.85 c 1155s | 22 | 7752321 | 1508522 | 8738 368 | 16 | 136 1285.51/1285.90 c 1157s | 22 | 7769720 | 1513022 | 8738 368 | 16 | 136 1287.51/1287.92 c 1159s | 22 | 7785473 | 1517222 | 8738 369 | 16 | 136 1289.51/1289.95 c 1161s | 22 | 7800256 | 1520822 | 8738 370 | 16 | 136 1291.50/1291.97 c 1163s | 22 | 7817823 | 1524922 | 8738 371 | 16 | 136 1293.51/1293.99 c 1165s | 22 | 7830702 | 1528522 | 8738 372 | 16 | 136 1295.61/1296.02 c 1167s | 22 | 7842921 | 1531322 | 8738 372 | 16 | 136 1297.70/1298.14 c 1169s | 22 | 7853834 | 1534122 | 8738 373 | 16 | 136 1299.70/1300.17 c 1171s | 22 | 7872987 | 1537622 | 8738 374 | 16 | 136 1301.80/1302.20 c 1173s | 22 | 7893153 | 1542122 | 8738 375 | 16 | 136 1303.80/1304.23 c 1175s | 22 | 7911555 | 1546022 | 8738 376 | 16 | 136 1305.80/1306.24 c 1177s | 22 | 7930654 | 1550422 | 8738 376 | 16 | 136 1307.90/1308.30 c 1179s | 22 | 7938832 | 1553922 | 8738 377 | 16 | 136 1309.91/1310.35 c 1181s | 22 | 7941988 | 1555622 | 8738 378 | 16 | 136 1311.90/1312.37 c 1183s | 22 | 7949627 | 1557722 | 8738 378 | 16 | 136 1314.00/1314.43 c 1185s | 22 | 7951594 | 1559122 | 8738 378 | 16 | 136 1316.20/1316.62 c 1188s | 22 | 7953143 | 1560322 | 8738 378 | 16 | 136 1318.20/1318.69 c 1190s | 22 | 7954367 | 1561222 | 8738 379 | 16 | 136 1320.39/1320.82 c 1192s | 22 | 7955486 | 1561822 | 8738 379 | 16 | 136 1322.39/1322.82 c 1194s | 22 | 7964725 | 1563522 | 8738 379 | 16 | 136 1324.49/1324.90 c 1196s | 22 | 7973543 | 1566122 | 8738 380 | 16 | 136 1326.50/1326.95 c 1198s | 22 | 7979172 | 1567822 | 8738 380 | 16 | 136 1328.50/1328.97 c 1200s | 22 | 7983727 | 1568822 | 8738 380 | 16 | 136 1330.50/1330.97 c 1202s | 22 | 7995479 | 1571222 | 8738 381 | 16 | 136 1332.50/1332.97 c 1204s | 22 | 8014876 | 1575122 | 8738 382 | 16 | 136 1334.50/1334.99 c 1206s | 22 | 8033607 | 1579222 | 8738 383 | 16 | 136 1336.59/1337.03 c 1208s | 22 | 8043172 | 1582322 | 8738 383 | 16 | 136 1338.60/1339.05 c 1210s | 22 | 8060749 | 1586022 | 8738 384 | 16 | 136 1340.59/1341.06 c 1212s | 22 | 8081313 | 1590122 | 8738 385 | 16 | 136 1342.59/1343.06 c 1214s | 22 | 8099634 | 1593922 | 8738 386 | 16 | 136 1344.69/1345.12 c 1216s | 22 | 8118392 | 1597822 | 8738 387 | 16 | 136 1346.69/1347.17 c 1218s | 22 | 8136341 | 1601822 | 8738 387 | 16 | 136 1348.79/1349.26 c 1220s | 22 | 8153993 | 1605522 | 8738 388 | 16 | 136 1350.79/1351.26 c 1222s | 22 | 8171866 | 1609222 | 8738 389 | 16 | 136 1352.80/1353.28 c 1224s | 22 | 8188483 | 1612522 | 8738 390 | 16 | 136 1354.89/1355.32 c 1226s | 22 | 8207674 | 1616522 | 8738 391 | 16 | 136 1356.99/1357.42 c 1228s | 22 | 8221035 | 1619622 | 8738 391 | 16 | 136 1359.39/1359.85 c 1231s | 22 | 8226412 | 1621222 | 8738 391 | 16 | 136 1361.49/1361.90 c 1233s | 22 | 8239538 | 1623722 | 8738 392 | 16 | 136 1363.59/1364.10 c 1235s | 22 | 8250972 | 1626422 | 8738 393 | 16 | 136 1365.69/1366.13 c 1237s | 22 | 8269334 | 1629922 | 8738 393 | 16 | 136 1367.79/1368.20 c 1239s | 22 | 8284560 | 1633122 | 8738 394 | 16 | 136 1369.79/1370.21 c 1241s | 22 | 8297404 | 1635722 | 8738 395 | 16 | 136 1371.79/1372.23 c 1243s | 22 | 8312089 | 1638922 | 8738 395 | 16 | 136 1373.80/1374.26 c 1245s | 22 | 8325743 | 1642122 | 8738 396 | 16 | 136 1375.89/1376.31 c 1247s | 22 | 8340433 | 1645422 | 8738 397 | 16 | 136 1377.89/1378.32 c 1249s | 22 | 8358041 | 1649022 | 8738 397 | 16 | 136 1379.89/1380.35 c 1251s | 22 | 8371517 | 1652422 | 8738 398 | 16 | 136 1381.99/1382.40 c 1253s | 22 | 8386058 | 1656022 | 8738 399 | 16 | 136 1383.99/1384.40 c 1255s | 22 | 8398988 | 1658722 | 8738 400 | 16 | 136 1385.99/1386.43 c 1257s | 22 | 8416498 | 1662322 | 8738 400 | 16 | 136 1387.99/1388.47 c 1259s | 22 | 8432366 | 1665822 | 8738 401 | 16 | 136 1390.19/1390.63 c 1262s | 22 | 8444378 | 1668722 | 8738 402 | 16 | 136 1392.18/1392.68 c 1264s | 22 | 8453334 | 1670622 | 8738 402 | 16 | 136 1394.28/1394.72 c 1266s | 22 | 8468172 | 1673622 | 8738 403 | 16 | 136 1396.28/1396.74 c 1268s | 22 | 8486991 | 1677122 | 8738 403 | 16 | 136 1398.28/1398.78 c 1270s | 22 | 8494710 | 1679222 | 8738 404 | 16 | 136 1400.38/1400.82 c 1272s | 22 | 8506395 | 1682722 | 8738 405 | 16 | 136 1402.39/1402.83 c 1274s | 22 | 8525005 | 1687022 | 8738 406 | 16 | 136 1404.38/1404.85 c 1276s | 22 | 8546212 | 1691322 | 8738 406 | 16 | 136 1406.38/1406.88 c 1278s | 22 | 8569240 | 1695622 | 8738 407 | 16 | 136 1408.38/1408.89 c 1280s | 22 | 8588419 | 1699822 | 8738 408 | 16 | 136 1410.48/1410.93 c 1282s | 22 | 8604592 | 1703522 | 8738 409 | 16 | 136 1412.48/1412.96 c 1284s | 22 | 8623373 | 1707122 | 8738 410 | 16 | 136 1414.49/1414.98 c 1286s | 22 | 8641288 | 1710822 | 8738 411 | 16 | 136 1416.58/1417.02 c 1288s | 22 | 8659462 | 1714622 | 8738 411 | 16 | 136 1418.58/1419.04 c 1290s | 22 | 8675151 | 1718422 | 8738 412 | 16 | 136 1420.58/1421.09 c 1292s | 22 | 8692517 | 1722322 | 8738 413 | 16 | 136 1422.68/1423.13 c 1294s | 22 | 8708137 | 1725722 | 8738 414 | 16 | 136 1424.68/1425.15 c 1296s | 22 | 8726871 | 1729322 | 8738 415 | 16 | 136 1426.68/1427.17 c 1298s | 22 | 8744727 | 1733022 | 8738 415 | 16 | 136 1428.78/1429.22 c 1300s | 22 | 8762847 | 1736822 | 8738 416 | 16 | 136 1430.78/1431.22 c 1302s | 22 | 8782020 | 1740622 | 8738 417 | 16 | 136 1432.78/1433.25 c 1304s | 22 | 8802243 | 1744522 | 8738 418 | 16 | 136 1434.88/1435.30 c 1306s | 22 | 8820424 | 1748122 | 8738 419 | 16 | 136 1436.87/1437.32 c 1308s | 22 | 8838451 | 1751822 | 8738 419 | 16 | 136 1438.87/1439.36 c 1310s | 22 | 8858339 | 1755522 | 8738 420 | 16 | 136 1440.88/1441.37 c 1312s | 22 | 8874708 | 1758922 | 8738 421 | 16 | 136 1442.88/1443.40 c 1314s | 22 | 8886411 | 1761722 | 8738 422 | 16 | 136 1444.98/1445.45 c 1316s | 22 | 8907141 | 1765922 | 8738 422 | 16 | 136 1446.98/1447.48 c 1318s | 22 | 8926477 | 1770122 | 8738 423 | 16 | 136 1448.98/1449.48 c 1320s | 22 | 8946679 | 1774222 | 8738 424 | 16 | 136 1451.08/1451.53 c 1322s | 22 | 8961459 | 1777722 | 8738 425 | 16 | 136 1453.08/1453.54 c 1324s | 22 | 8975440 | 1780722 | 8738 426 | 16 | 136 1455.09/1455.59 c 1327s | 22 | 8995095 | 1784922 | 8738 426 | 16 | 136 1457.18/1457.63 c 1329s | 22 | 9013442 | 1788822 | 8738 427 | 16 | 136 1459.18/1459.69 c 1331s | 22 | 9028717 | 1792222 | 8738 428 | 16 | 136 1461.28/1461.70 c 1333s | 22 | 9045677 | 1796022 | 8738 429 | 16 | 136 1463.28/1463.73 c 1335s | 22 | 9060573 | 1799522 | 8738 430 | 16 | 136 1465.28/1465.75 c 1337s | 22 | 9080332 | 1803022 | 8738 430 | 16 | 136 1467.29/1467.77 c 1339s | 22 | 9093838 | 1806322 | 8738 431 | 16 | 136 1469.28/1469.77 c 1341s | 22 | 9108727 | 1809522 | 8738 432 | 16 | 136 1471.38/1471.80 c 1343s | 22 | 9121889 | 1812622 | 8738 432 | 16 | 136 1473.38/1473.82 c 1345s | 22 | 9137033 | 1815722 | 8738 433 | 16 | 136 1475.37/1475.82 c 1347s | 22 | 9156491 | 1819822 | 8738 434 | 16 | 136 1477.37/1477.85 c 1349s | 22 | 9175059 | 1823722 | 8738 435 | 16 | 136 1479.47/1479.92 c 1351s | 22 | 9193944 | 1826922 | 8738 435 | 16 | 136 1481.48/1481.94 c 1353s | 22 | 9212269 | 1830722 | 8738 436 | 16 | 136 1483.47/1483.96 c 1355s | 22 | 9232228 | 1835422 | 8738 437 | 16 | 136 1485.47/1485.97 c 1357s | 22 | 9248576 | 1839422 | 8738 438 | 16 | 136 1487.47/1487.98 c 1359s | 22 | 9266092 | 1843422 | 8738 439 | 16 | 136 1489.47/1489.98 c 1361s | 22 | 9280530 | 1847022 | 8738 440 | 16 | 136 1491.57/1492.00 c 1363s | 22 | 9298159 | 1850322 | 8738 440 | 16 | 136 1493.58/1494.03 c 1365s | 22 | 9317833 | 1854222 | 8738 441 | 16 | 136 1495.57/1496.08 c 1367s | 22 | 9339023 | 1858222 | 8738 442 | 16 | 136 1497.57/1498.09 c 1369s | 22 | 9357482 | 1862322 | 8738 443 | 16 | 136 1499.67/1500.11 c 1371s | 22 | 9374923 | 1866422 | 8738 444 | 16 | 136 1501.67/1502.14 c 1373s | 22 | 9392094 | 1870022 | 8738 445 | 16 | 136 1503.67/1504.16 c 1375s | 22 | 9404570 | 1873022 | 8738 445 | 16 | 136 1505.68/1506.20 c 1377s | 22 | 9422548 | 1877222 | 8738 446 | 16 | 136 1507.77/1508.26 c 1379s | 22 | 9439967 | 1881022 | 8738 447 | 16 | 136 1509.87/1510.30 c 1381s | 22 | 9450330 | 1885022 | 8738 448 | 16 | 136 1511.87/1512.33 c 1383s | 22 | 9465814 | 1888922 | 8738 449 | 16 | 136 1513.97/1514.40 c 1385s | 22 | 9479951 | 1892722 | 8738 449 | 16 | 136 1515.97/1516.41 c 1387s | 22 | 9492531 | 1896422 | 9612 450 | 16 | 136 1517.97/1518.42 c 1389s | 22 | 9505723 | 1899822 | 9612 451 | 16 | 136 1520.07/1520.53 c 1391s | 22 | 9515687 | 1902822 | 9612 451 | 16 | 136 1522.06/1522.55 c 1393s | 22 | 9534707 | 1906422 | 9612 452 | 16 | 136 1524.06/1524.55 c 1395s | 22 | 9551037 | 1910022 | 9612 453 | 16 | 136 1526.06/1526.58 c 1397s | 22 | 9567474 | 1913822 | 9612 454 | 16 | 136 1528.16/1528.60 c 1400s | 22 | 9585933 | 1917822 | 9612 454 | 16 | 136 1530.16/1530.68 c 1402s | 22 | 9601401 | 1921222 | 9612 455 | 16 | 136 1532.26/1532.71 c 1404s | 22 | 9615268 | 1924522 | 9612 456 | 16 | 136 1534.27/1534.75 c 1406s | 22 | 9632858 | 1928422 | 9612 456 | 16 | 136 1536.26/1536.76 c 1408s | 22 | 9648122 | 1932322 | 9612 457 | 16 | 136 1538.36/1538.80 c 1410s | 22 | 9663285 | 1935922 | 9612 458 | 16 | 136 1540.36/1540.83 c 1412s | 22 | 9680716 | 1939922 | 9612 459 | 16 | 136 1542.36/1542.84 c 1414s | 22 | 9696043 | 1944022 | 9612 459 | 16 | 136 1544.36/1544.86 c 1416s | 22 | 9713844 | 1948122 | 9612 460 | 16 | 136 1546.47/1546.95 c 1418s | 22 | 9729311 | 1951822 | 9612 461 | 16 | 136 1548.46/1548.98 c 1420s | 22 | 9742303 | 1955022 | 9612 462 | 16 | 136 1550.56/1551.04 c 1422s | 22 | 9758831 | 1958922 | 9612 462 | 16 | 136 1552.56/1553.07 c 1424s | 22 | 9777047 | 1962722 | 9612 463 | 16 | 136 1554.56/1555.09 c 1426s | 22 | 9791287 | 1965922 | 9612 464 | 16 | 136 1556.56/1557.09 c 1428s | 22 | 9809251 | 1969422 | 9612 464 | 16 | 136 1558.66/1559.14 c 1430s | 22 | 9831665 | 1973422 | 9612 465 | 16 | 136 1561.26/1561.76 c 1433s | 22 | 9844964 | 1976422 | 9612 466 | 16 | 136 1563.26/1563.79 c 1435s | 22 | 9862873 | 1979522 | 9612 466 | 16 | 136 1565.36/1565.85 c 1437s | 22 | 9875847 | 1981722 | 9612 467 | 16 | 136 1567.37/1567.86 c 1439s | 22 | 9891680 | 1984722 | 9612 467 | 16 | 136 1569.47/1569.91 c 1441s | 22 | 9908506 | 1987722 | 9612 468 | 16 | 136 1571.46/1571.97 c 1443s | 22 | 9923526 | 1990122 | 9612 468 | 16 | 136 1573.46/1573.98 c 1445s | 22 | 9938537 | 1993022 | 9612 469 | 16 | 136 1575.46/1575.99 c 1447s | 22 | 9952087 | 1995922 | 9612 470 | 16 | 136 1577.66/1578.16 c 1449s | 22 | 9966344 | 1998122 | 9612 470 | 16 | 136 1579.76/1580.20 c 1451s | 22 | 9982734 | 2000922 | 9612 471 | 16 | 136 1581.76/1582.28 c 1453s | 22 | 9997730 | 2003822 | 9612 471 | 16 | 136 1583.86/1584.32 c 1455s | 22 | 10009794 | 2006222 | 9612 472 | 16 | 136 1585.86/1586.35 c 1457s | 22 | 10024754 | 2008922 | 9612 472 | 16 | 136 1588.06/1588.59 c 1460s | 22 | 10031193 | 2011122 | 9612 472 | 16 | 136 1590.15/1590.65 c 1462s | 22 | 10041344 | 2012622 | 9612 473 | 16 | 136 1592.15/1592.65 c 1464s | 22 | 10051553 | 2015222 | 9612 473 | 16 | 136 1594.25/1594.72 c 1466s | 22 | 10062549 | 2017322 | 9612 474 | 16 | 136 1596.26/1596.75 c 1468s | 22 | 10080773 | 2020122 | 9612 474 | 16 | 136 1598.26/1598.78 c 1470s | 22 | 10098732 | 2023322 | 9612 475 | 16 | 136 1600.36/1600.82 c 1472s | 22 | 10121678 | 2026622 | 9612 476 | 16 | 136 1602.36/1602.84 c 1474s | 22 | 10137747 | 2029822 | 9612 476 | 16 | 136 1604.35/1604.89 c 1476s | 22 | 10143554 | 2031322 | 9612 476 | 16 | 136 1606.45/1606.93 c 1478s | 22 | 10161103 | 2034322 | 9612 477 | 16 | 136 1608.45/1608.95 c 1480s | 22 | 10177208 | 2037022 | 9612 478 | 16 | 136 1610.45/1610.95 c 1482s | 22 | 10188241 | 2039822 | 9612 478 | 16 | 136 1612.55/1613.07 c 1484s | 22 | 10194715 | 2041922 | 9612 479 | 16 | 136 1614.85/1615.36 c 1486s | 22 | 10200367 | 2043222 | 9612 479 | 16 | 136 1616.95/1617.42 c 1488s | 22 | 10209849 | 2044722 | 9612 479 | 16 | 136 1619.15/1619.68 c 1491s | 22 | 10211235 | 2045422 | 9612 479 | 16 | 136 1621.65/1622.13 c 1493s | 22 | 10211963 | 2045922 | 9612 479 | 16 | 136 1623.65/1624.17 c 1495s | 22 | 10222106 | 2047522 | 9612 480 | 16 | 136 1625.75/1626.25 c 1497s | 22 | 10224559 | 2048422 | 9612 480 | 16 | 136 1627.95/1628.42 c 1499s | 22 | 10225600 | 2048922 | 9612 480 | 16 | 136 1630.15/1630.68 c 1502s | 22 | 10226633 | 2049422 | 9612 480 | 16 | 136 1632.44/1632.92 c 1504s | 22 | 10227283 | 2049922 | 9612 480 | 16 | 136 1634.95/1635.41 c 1506s | 22 | 10227744 | 2050322 | 9612 480 | 16 | 136 1636.95/1637.48 c 1508s | 22 | 10230401 | 2050722 | 9612 480 | 16 | 136 1639.05/1639.54 c 1510s | 22 | 10241710 | 2052722 | 9612 481 | 16 | 136 1641.05/1641.57 c 1512s | 22 | 10258036 | 2055422 | 9612 481 | 16 | 136 1643.15/1643.61 c 1515s | 22 | 10272674 | 2057622 | 9612 482 | 16 | 136 1645.24/1645.72 c 1517s | 22 | 10286045 | 2059822 | 9612 482 | 16 | 136 1647.35/1647.84 c 1519s | 22 | 10291894 | 2061222 | 9612 482 | 16 | 136 1649.65/1650.14 c 1521s | 22 | 10299637 | 2062522 | 9612 483 | 16 | 136 1651.64/1652.19 c 1523s | 22 | 10305656 | 2064222 | 9612 483 | 16 | 136 1653.74/1654.20 c 1525s | 22 | 10310458 | 2065622 | 9612 483 | 16 | 136 1655.74/1656.24 c 1527s | 22 | 10313633 | 2066722 | 9612 483 | 16 | 136 1657.85/1658.31 c 1529s | 22 | 10317428 | 2067822 | 9612 483 | 16 | 136 1660.04/1660.52 c 1531s | 22 | 10318946 | 2068622 | 9612 484 | 16 | 136 1662.04/1662.53 c 1533s | 22 | 10324350 | 2069922 | 9612 484 | 16 | 136 1664.24/1664.78 c 1536s | 22 | 10331239 | 2071622 | 9612 484 | 16 | 136 1666.35/1666.86 c 1538s | 22 | 10333269 | 2072222 | 9612 484 | 16 | 136 1668.45/1669.00 c 1540s | 22 | 10337485 | 2073222 | 9612 485 | 16 | 136 1670.54/1671.07 c 1542s | 22 | 10351753 | 2075222 | 9612 485 | 16 | 136 1672.64/1673.18 c 1544s | 22 | 10363071 | 2077322 | 9612 485 | 16 | 136 1674.75/1675.20 c 1546s | 22 | 10371887 | 2079022 | 9612 486 | 16 | 136 1676.75/1677.29 c 1548s | 22 | 10385295 | 2081222 | 9612 486 | 16 | 136 1678.84/1679.36 c 1550s | 22 | 10399470 | 2083322 | 9612 487 | 16 | 136 1680.84/1681.38 c 1552s | 22 | 10409447 | 2085522 | 9612 487 | 16 | 136 1683.44/1683.91 c 1555s | 22 | 10416031 | 2087022 | 9612 487 | 16 | 136 1685.44/1685.99 c 1557s | 22 | 10417968 | 2087422 | 9612 487 | 16 | 136 1687.54/1688.07 c 1559s | 22 | 10422196 | 2088522 | 9612 488 | 16 | 136 1689.84/1690.34 c 1561s | 22 | 10424215 | 2089222 | 9612 488 | 16 | 136 1691.84/1692.39 c 1563s | 22 | 10427815 | 2090322 | 9612 488 | 16 | 136 1693.94/1694.47 c 1565s | 22 | 10437808 | 2092922 | 9612 488 | 16 | 136 1696.04/1696.53 c 1567s | 22 | 10448821 | 2094922 | 9612 489 | 16 | 136 1698.04/1698.54 c 1569s | 22 | 10462970 | 2097222 | 9612 489 | 16 | 136 1700.14/1700.60 c 1572s | 22 | 10477800 | 2099322 | 9612 490 | 16 | 136 1702.14/1702.68 c 1574s | 22 | 10490712 | 2101322 | 9612 490 | 16 | 136 1704.24/1704.73 c 1576s | 22 | 10502565 | 2103822 | 9612 491 | 16 | 136 1706.24/1706.75 c 1578s | 22 | 10513014 | 2106022 | 9612 491 | 16 | 136 1708.34/1708.86 c 1580s | 22 | 10525893 | 2108122 | 9612 491 | 16 | 136 1710.44/1710.91 c 1582s | 22 | 10534809 | 2111322 | 9612 492 | 16 | 136 1712.45/1712.97 c 1584s | 22 | 10536829 | 2112422 | 9612 492 | 16 | 136 1714.64/1715.18 c 1586s | 22 | 10540215 | 2113622 | 9612 492 | 16 | 136 1716.63/1717.19 c 1588s | 22 | 10553630 | 2115822 | 9612 493 | 16 | 136 1718.73/1719.27 c 1590s | 22 | 10560987 | 2117622 | 9612 493 | 16 | 136 1720.83/1721.31 c 1592s | 22 | 10574160 | 2119522 | 9612 494 | 16 | 136 1723.03/1723.53 c 1594s | 22 | 10579784 | 2121022 | 9612 494 | 16 | 136 1725.04/1725.59 c 1597s | 22 | 10583747 | 2121822 | 9612 494 | 16 | 136 1727.14/1727.62 c 1599s | 22 | 10597958 | 2125322 | 9612 495 | 16 | 136 1729.14/1729.65 c 1601s | 22 | 10610545 | 2128122 | 9612 495 | 16 | 136 1731.24/1731.71 c 1603s | 22 | 10624992 | 2130322 | 9612 496 | 16 | 136 1733.24/1733.74 c 1605s | 22 | 10641158 | 2133322 | 9612 496 | 16 | 136 1735.23/1735.75 c 1607s | 22 | 10652164 | 2135322 | 9612 497 | 16 | 136 1737.23/1737.76 c 1609s | 22 | 10672192 | 2138222 | 9612 497 | 16 | 136 1739.33/1739.85 c 1611s | 22 | 10682892 | 2140422 | 9612 498 | 16 | 136 1741.33/1741.86 c 1613s | 22 | 10698574 | 2143122 | 9612 498 | 16 | 136 1743.43/1743.91 c 1615s | 22 | 10716543 | 2146722 | 9612 499 | 16 | 136 1745.44/1745.97 c 1617s | 22 | 10733374 | 2150422 | 9612 500 | 16 | 136 1747.53/1748.01 c 1619s | 22 | 10749475 | 2153722 | 9612 500 | 16 | 136 1749.53/1750.03 c 1621s | 22 | 10766191 | 2157322 | 9612 501 | 16 | 136 1751.53/1752.04 c 1623s | 22 | 10781583 | 2160622 | 9612 502 | 16 | 136 1753.53/1754.05 c 1625s | 22 | 10799205 | 2164422 | 9612 502 | 16 | 136 1755.53/1756.07 c 1627s | 22 | 10815752 | 2167822 | 9612 503 | 16 | 136 1757.63/1758.10 c 1629s | 22 | 10828818 | 2170822 | 9612 504 | 16 | 136 1759.63/1760.13 c 1631s | 22 | 10836604 | 2173622 | 9612 504 | 16 | 136 1761.73/1762.20 c 1633s | 22 | 10850947 | 2176622 | 9612 505 | 16 | 136 1763.73/1764.21 c 1635s | 22 | 10864441 | 2179622 | 9612 505 | 16 | 136 1765.73/1766.21 c 1637s | 22 | 10877981 | 2182822 | 9612 506 | 16 | 136 1767.73/1768.23 c 1639s | 22 | 10892045 | 2186122 | 9612 507 | 16 | 136 1769.73/1770.25 c 1641s | 22 | 10906346 | 2189222 | 9612 507 | 16 | 136 1771.83/1772.32 c 1643s | 22 | 10917730 | 2191522 | 9612 508 | 16 | 136 1773.82/1774.34 c 1645s | 22 | 10933712 | 2195122 | 9612 508 | 16 | 136 1775.82/1776.35 c 1647s | 22 | 10950588 | 2198922 | 9612 509 | 16 | 136 1777.82/1778.37 c 1649s | 22 | 10968601 | 2202922 | 9612 510 | 16 | 136 1779.92/1780.40 c 1651s | 22 | 10984500 | 2206722 | 9612 511 | 16 | 136 1781.92/1782.44 c 1653s | 22 | 11000277 | 2210322 | 9612 511 | 16 | 136 1783.93/1784.50 c 1655s | 22 | 11011316 | 2213022 | 9612 512 | 16 | 136 1786.02/1786.53 c 1657s | 22 | 11026065 | 2216422 | 9612 513 | 16 | 136 1788.02/1788.54 c 1659s | 22 | 11042488 | 2220022 | 9612 513 | 16 | 136 1790.02/1790.55 c 1661s | 22 | 11057076 | 2223622 | 9612 514 | 16 | 136 1792.02/1792.56 c 1663s | 22 | 11073540 | 2226922 | 9612 515 | 16 | 136 1794.02/1794.56 c 1665s | 22 | 11090637 | 2230322 | 9612 515 | 16 | 136 1796.03/1796.60 c 1668s | 22 | 11104675 | 2233522 | 9612 516 | 16 | 136 1798.12/1798.61 c 1670s | 22 | 11118636 | 2236622 | 9612 516 | 16 | 136
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-4105505-1466248363/watcher-4105505-1466248363 -o /tmp/evaluation-result-4105505-1466248363/solver-4105505-1466248363 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105505-1466248363.opb pid=23216 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.17 2.10 2.03 3/179 23219 /proc/meminfo: memFree=30535952/32872528 swapFree=163656/177964 [pid=23219] ppid=23216 vsize=653756 CPUtime=0 cores=1,3,5,7 /proc/23219/stat : 23219 (toysat) R 23216 23219 20760 0 -1 4202496 2428 0 0 0 0 0 0 0 20 0 4 0 26886256 669446144 2277 33554432000 4194304 16246674 140736853840624 140736853840048 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23219/statm: 163951 2287 441 2943 0 160845 0 [pid=23219/tid=23220] ppid=23216 vsize=671164 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23220/stat : 23220 (toysat) S 23216 23219 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26886256 687271936 2347 33554432000 4194304 16246674 140736853840624 139846258502896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23219/tid=23221] ppid=23216 vsize=676284 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23221/stat : 23221 (toysat) S 23216 23219 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26886256 692514816 2365 33554432000 4194304 16246674 140736853840624 139846248013040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23219/tid=23222] ppid=23216 vsize=680380 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23222/stat : 23222 (toysat) S 23216 23219 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26886256 696709120 2379 33554432000 4194304 16246674 140736853840624 139846237539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100178 s] /proc/loadavg: 2.17 2.10 2.03 3/179 23219 /proc/meminfo: memFree=30535952/32872528 swapFree=163656/177964 [pid=23219] ppid=23216 vsize=1221188 CPUtime=0.09 cores=1,3,5,7 /proc/23219/stat : 23219 (toysat) R 23216 23219 20760 0 -1 4202496 27506 0 0 0 5 4 0 0 20 0 4 0 26886256 1250496512 27293 33554432000 4194304 16246674 140736853840624 140736853839936 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23219/statm: 305297 27293 799 2943 0 302191 0 [pid=23219/tid=23220] ppid=23216 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23220/stat : 23220 (toysat) S 23216 23219 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26886256 1250496512 27293 33554432000 4194304 16246674 140736853840624 139846258502896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23219/tid=23221] ppid=23216 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23221/stat : 23221 (toysat) S 23216 23219 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26886256 1250496512 27293 33554432000 4194304 16246674 140736853840624 139846248013040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23219/tid=23222] ppid=23216 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23222/stat : 23222 (toysat) S 23216 23219 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26886256 1250496512 27293 33554432000 4194304 16246674 140736853840624 139846237539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.446229 s] /proc/loadavg: 2.17 2.10 2.03 3/179 23219 /proc/meminfo: memFree=30535952/32872528 swapFree=163656/177964 [pid=23219] ppid=23216 vsize=1308228 CPUtime=0.44 cores=1,3,5,7 /proc/23219/stat : 23219 (toysat) R 23216 23219 20760 0 -1 4202496 91849 0 0 0 30 14 0 0 20 0 4 0 26886256 1339625472 91636 33554432000 4194304 16246674 140736853840624 140736853839936 14073233 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23219/statm: 327057 91636 894 2943 0 323951 0 [pid=23219/tid=23220] ppid=23216 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23220/stat : 23220 (toysat) S 23216 23219 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26886256 1339625472 91636 33554432000 4194304 16246674 140736853840624 139846258502896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23219/tid=23221] ppid=23216 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23221/stat : 23221 (toysat) S 23216 23219 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26886256 1339625472 91636 33554432000 4194304 16246674 140736853840624 139846248013040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23219/tid=23222] ppid=23216 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23222/stat : 23222 (toysat) S 23216 23219 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26886256 1339625472 91636 33554432000 4194304 16246674 140736853840624 139846237539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 1308228 [startup+0.500473 s] /proc/loadavg: 2.17 2.10 2.03 3/179 23219 /proc/meminfo: memFree=30535952/32872528 swapFree=163656/177964 [pid=23219] ppid=23216 vsize=1308228 CPUtime=0.49 cores=1,3,5,7 /proc/23219/stat : 23219 (toysat) R 23216 23219 20760 0 -1 4202496 91850 0 0 0 35 14 0 0 20 0 4 0 26886256 1339625472 91637 33554432000 4194304 16246674 140736853840624 140736853839936 5530673 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23219/statm: 327057 91637 894 2943 0 323951 0 [pid=23219/tid=23220] ppid=23216 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23220/stat : 23220 (toysat) S 23216 23219 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26886256 1339625472 91637 33554432000 4194304 16246674 140736853840624 139846258502896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23219/tid=23221] ppid=23216 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23221/stat : 23221 (toysat) S 23216 23219 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26886256 1339625472 91637 33554432000 4194304 16246674 140736853840624 139846248013040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23219/tid=23222] ppid=23216 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23222/stat : 23222 (toysat) S 23216 23219 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26886256 1339625472 91637 33554432000 4194304 16246674 140736853840624 139846237539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 1308228 [startup+0.700429 s] /proc/loadavg: 2.17 2.10 2.03 3/179 23219 /proc/meminfo: memFree=30535952/32872528 swapFree=163656/177964 [pid=23219] ppid=23216 vsize=1308228 CPUtime=0.69 cores=1,3,5,7 /proc/23219/stat : 23219 (toysat) R 23216 23219 20760 0 -1 4202496 91862 0 0 0 55 14 0 0 20 0 4 0 26886256 1339625472 91649 33554432000 4194304 16246674 140736853840624 140736853839936 13808416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23219/statm: 327057 91649 906 2943 0 323951 0 [pid=23219/tid=23220] ppid=23216 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23220/stat : 23220 (toysat) S 23216 23219 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26886256 1339625472 91649 33554432000 4194304 16246674 140736853840624 139846258502896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23219/tid=23221] ppid=23216 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23221/stat : 23221 (toysat) S 23216 23219 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26886256 1339625472 91649 33554432000 4194304 16246674 140736853840624 139846248013040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23219/tid=23222] ppid=23216 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23222/stat : 23222 (toysat) S 23216 23219 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26886256 1339625472 91649 33554432000 4194304 16246674 140736853840624 139846237539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1308228 [startup+1.50049 s] /proc/loadavg: 2.16 2.10 2.02 3/183 23223 /proc/meminfo: memFree=29891244/32872528 swapFree=163656/177964 [pid=23219] ppid=23216 vsize=1308228 CPUtime=1.49 cores=1,3,5,7 /proc/23219/stat : 23219 (toysat) R 23216 23219 20760 0 -1 4202496 194870 0 0 0 122 27 0 0 20 0 4 0 26886256 1339625472 194657 33554432000 4194304 16246674 140736853840624 140736853822528 6074686 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23219/statm: 327057 194671 906 2943 0 323951 0 [pid=23219/tid=23220] ppid=23216 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23220/stat : 23220 (toysat) S 23216 23219 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26886256 1339625472 194678 33554432000 4194304 16246674 140736853840624 139846258502896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23219/tid=23221] ppid=23216 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23221/stat : 23221 (toysat) S 23216 23219 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26886256 1339625472 194688 33554432000 4194304 16246674 140736853840624 139846248013040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23219/tid=23222] ppid=23216 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23222/stat : 23222 (toysat) S 23216 23219 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26886256 1339625472 194692 33554432000 4194304 16246674 140736853840624 139846237539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1308228 [startup+3.10042 s] /proc/loadavg: 2.16 2.10 2.02 3/183 23223 /proc/meminfo: memFree=29547888/32872528 swapFree=163656/177964 [pid=23219] ppid=23216 vsize=1309252 CPUtime=3.09 cores=1,3,5,7 /proc/23219/stat : 23219 (toysat) R 23216 23219 20760 0 -1 4202496 247453 0 0 0 275 34 0 0 20 0 4 0 26886256 1340674048 247240 33554432000 4194304 16246674 140736853840624 140736853822528 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23219/statm: 327313 247240 908 2943 0 324207 0 [pid=23219/tid=23220] ppid=23216 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23220/stat : 23220 (toysat) S 23216 23219 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26886256 1340674048 247240 33554432000 4194304 16246674 140736853840624 139846258502896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23219/tid=23221] ppid=23216 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23221/stat : 23221 (toysat) S 23216 23219 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26886256 1340674048 247240 33554432000 4194304 16246674 140736853840624 139846248013040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23219/tid=23222] ppid=23216 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23222/stat : 23222 (toysat) S 23216 23219 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26886256 1340674048 247240 33554432000 4194304 16246674 140736853840624 139846237539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1309252 [startup+6.30042 s] /proc/loadavg: 2.16 2.10 2.02 3/183 23223 /proc/meminfo: memFree=29464560/32872528 swapFree=163656/177964 [pid=23219] ppid=23216 vsize=1309252 CPUtime=6.29 cores=1,3,5,7 /proc/23219/stat : 23219 (toysat) R 23216 23219 20760 0 -1 4202496 268347 0 0 0 593 36 0 0 20 0 4 0 26886256 1340674048 268134 33554432000 4194304 16246674 140736853840624 140736853822528 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23219/statm: 327313 268134 908 2943 0 324207 0 [pid=23219/tid=23220] ppid=23216 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23220/stat : 23220 (toysat) S 23216 23219 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26886256 1340674048 268134 33554432000 4194304 16246674 140736853840624 139846258502896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23219/tid=23221] ppid=23216 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23221/stat : 23221 (toysat) S 23216 23219 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26886256 1340674048 268134 33554432000 4194304 16246674 140736853840624 139846248013040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23219/tid=23222] ppid=23216 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23222/stat : 23222 (toysat) S 23216 23219 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26886256 1340674048 268134 33554432000 4194304 16246674 140736853840624 139846237539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1309252 [startup+12.7004 s] /proc/loadavg: 2.21 2.11 2.03 3/183 23223 /proc/meminfo: memFree=29462864/32872528 swapFree=163656/177964 [pid=23219] ppid=23216 vsize=1310276 CPUtime=12.69 cores=1,3,5,7 /proc/23219/stat : 23219 (toysat) R 23216 23219 20760 0 -1 4202496 268782 0 0 0 1233 36 0 0 20 0 4 0 26886256 1341722624 268569 33554432000 4194304 16246674 140736853840624 140736853822528 13198546 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23219/statm: 327569 268569 914 2943 0 324463 0 [pid=23219/tid=23220] ppid=23216 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23220/stat : 23220 (toysat) S 23216 23219 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26886256 1341722624 268569 33554432000 4194304 16246674 140736853840624 139846258502896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23219/tid=23221] ppid=23216 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23221/stat : 23221 (toysat) S 23216 23219 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26886256 1341722624 268569 33554432000 4194304 16246674 140736853840624 139846248013040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23219/tid=23222] ppid=23216 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23222/stat : 23222 (toysat) S 23216 23219 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26886256 1341722624 268569 33554432000 4194304 16246674 140736853840624 139846237539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1310276 [startup+25.5004 s] /proc/loadavg: 2.18 2.11 2.03 3/183 23272 /proc/meminfo: memFree=29491632/32872528 swapFree=163656/177964 [pid=23219] ppid=23216 vsize=1327684 CPUtime=25.49 cores=1,3,5,7 /proc/23219/stat : 23219 (toysat) R 23216 23219 20760 0 -1 4202496 273134 0 0 0 2513 36 0 0 20 0 4 0 26886256 1359548416 272921 33554432000 4194304 16246674 140736853840624 140736853822528 5711952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23219/statm: 331921 272921 914 2943 0 328815 0 [pid=23219/tid=23220] ppid=23216 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23220/stat : 23220 (toysat) S 23216 23219 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26886256 1359548416 272921 33554432000 4194304 16246674 140736853840624 139846258502896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23219/tid=23221] ppid=23216 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23221/stat : 23221 (toysat) S 23216 23219 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26886256 1359548416 272921 33554432000 4194304 16246674 140736853840624 139846248013040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23219/tid=23222] ppid=23216 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23222/stat : 23222 (toysat) S 23216 23219 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26886256 1359548416 272921 33554432000 4194304 16246674 140736853840624 139846237539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1327684 [startup+51.1004 s] /proc/loadavg: 2.12 2.10 2.03 3/183 23272 /proc/meminfo: memFree=29491352/32872528 swapFree=163656/177964 [pid=23219] ppid=23216 vsize=1327684 CPUtime=51.08 cores=1,3,5,7 /proc/23219/stat : 23219 (toysat) R 23216 23219 20760 0 -1 4202496 273137 0 0 0 5072 36 0 0 20 0 4 0 26886256 1359548416 272922 33554432000 4194304 16246674 140736853840624 140736853823624 5600480 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23219/statm: 331921 272922 915 2943 0 328815 0 [pid=23219/tid=23220] ppid=23216 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23220/stat : 23220 (toysat) S 23216 23219 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26886256 1359548416 272922 33554432000 4194304 16246674 140736853840624 139846258502896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23219/tid=23221] ppid=23216 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23221/stat : 23221 (toysat) S 23216 23219 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26886256 1359548416 272922 33554432000 4194304 16246674 140736853840624 139846248013040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23219/tid=23222] ppid=23216 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23222/stat : 23222 (toysat) S 23216 23219 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26886256 1359548416 272922 33554432000 4194304 16246674 140736853840624 139846237539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1327684 [startup+102.3 s] /proc/loadavg: 2.09 2.09 2.03 3/183 23274 /proc/meminfo: memFree=29490464/32872528 swapFree=163656/177964 [pid=23219] ppid=23216 vsize=1327684 CPUtime=102.26 cores=1,3,5,7 /proc/23219/stat : 23219 (toysat) R 23216 23219 20760 0 -1 4202496 273155 0 0 0 10189 37 0 0 20 0 4 0 26886256 1359548416 272922 33554432000 4194304 16246674 140736853840624 140736853823624 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23219/statm: 331921 272922 915 2943 0 328815 0 [pid=23219/tid=23220] ppid=23216 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23220/stat : 23220 (toysat) S 23216 23219 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26886256 1359548416 272922 33554432000 4194304 16246674 140736853840624 139846258502896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23219/tid=23221] ppid=23216 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23221/stat : 23221 (toysat) S 23216 23219 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26886256 1359548416 272922 33554432000 4194304 16246674 140736853840624 139846248013040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23219/tid=23222] ppid=23216 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23222/stat : 23222 (toysat) S 23216 23219 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26886256 1359548416 272922 33554432000 4194304 16246674 140736853840624 139846237539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1327684 ################ # More data... # ################ /proc/23219/task/23222/stat : 23222 (toysat) S 23216 23219 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 273948 33554432000 4194304 16246674 140736853840624 139846237539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1331780 [startup+1362.3 s] /proc/loadavg: 2.07 2.04 2.00 3/183 23306 /proc/meminfo: memFree=29480864/32872528 swapFree=163656/177964 [pid=23219] ppid=23216 vsize=1331780 CPUtime=1361.89 cores=1,3,5,7 /proc/23219/stat : 23219 (toysat) R 23216 23219 20760 0 -1 4202496 274460 0 0 0 136099 90 0 0 20 0 4 0 26886256 1363742720 273948 33554432000 4194304 16246674 140736853840624 140736853822528 13943608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23219/statm: 332945 273948 915 2943 0 329839 0 [pid=23219/tid=23220] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23220/stat : 23220 (toysat) S 23216 23219 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 273948 33554432000 4194304 16246674 140736853840624 139846258502896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23219/tid=23221] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23221/stat : 23221 (toysat) S 23216 23219 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 273948 33554432000 4194304 16246674 140736853840624 139846248013040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23219/tid=23222] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23222/stat : 23222 (toysat) S 23216 23219 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 273948 33554432000 4194304 16246674 140736853840624 139846237539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1331780 [startup+1422.3 s] /proc/loadavg: 2.15 2.06 2.01 3/183 23307 /proc/meminfo: memFree=29481704/32872528 swapFree=163656/177964 [pid=23219] ppid=23216 vsize=1331780 CPUtime=1421.88 cores=1,3,5,7 /proc/23219/stat : 23219 (toysat) R 23216 23219 20760 0 -1 4202496 274460 0 0 0 142097 91 0 0 20 0 4 0 26886256 1363742720 273948 33554432000 4194304 16246674 140736853840624 140736853822528 5822756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23219/statm: 332945 273948 915 2943 0 329839 0 [pid=23219/tid=23220] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23220/stat : 23220 (toysat) S 23216 23219 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 273948 33554432000 4194304 16246674 140736853840624 139846258502896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23219/tid=23221] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23221/stat : 23221 (toysat) S 23216 23219 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 273948 33554432000 4194304 16246674 140736853840624 139846248013040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23219/tid=23222] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23222/stat : 23222 (toysat) S 23216 23219 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 273948 33554432000 4194304 16246674 140736853840624 139846237539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1331780 [startup+1482.3 s] /proc/loadavg: 2.05 2.05 2.00 3/183 23308 /proc/meminfo: memFree=29481460/32872528 swapFree=163656/177964 [pid=23219] ppid=23216 vsize=1331780 CPUtime=1481.87 cores=1,3,5,7 /proc/23219/stat : 23219 (toysat) R 23216 23219 20760 0 -1 4202496 274460 0 0 0 148095 92 0 0 20 0 4 0 26886256 1363742720 273948 33554432000 4194304 16246674 140736853840624 140736853822528 6023234 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23219/statm: 332945 273948 915 2943 0 329839 0 [pid=23219/tid=23220] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23220/stat : 23220 (toysat) S 23216 23219 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 273948 33554432000 4194304 16246674 140736853840624 139846258502896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23219/tid=23221] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23221/stat : 23221 (toysat) S 23216 23219 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 273948 33554432000 4194304 16246674 140736853840624 139846248013040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23219/tid=23222] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23222/stat : 23222 (toysat) S 23216 23219 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 273948 33554432000 4194304 16246674 140736853840624 139846237539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1331780 [startup+1542.3 s] /proc/loadavg: 2.06 2.05 2.00 3/183 23309 /proc/meminfo: memFree=29480272/32872528 swapFree=163656/177964 [pid=23219] ppid=23216 vsize=1331780 CPUtime=1541.86 cores=1,3,5,7 /proc/23219/stat : 23219 (toysat) R 23216 23219 20760 0 -1 4202496 274461 0 0 0 154094 92 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 140736853822528 5827632 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23219/statm: 332945 274204 915 2943 0 329839 0 [pid=23219/tid=23220] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23220/stat : 23220 (toysat) S 23216 23219 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 139846258502896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23219/tid=23221] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23221/stat : 23221 (toysat) S 23216 23219 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 139846248013040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23219/tid=23222] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23222/stat : 23222 (toysat) S 23216 23219 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 139846237539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1331780 [startup+1602.3 s] /proc/loadavg: 2.09 2.06 2.00 3/183 23310 /proc/meminfo: memFree=29480548/32872528 swapFree=163656/177964 [pid=23219] ppid=23216 vsize=1331780 CPUtime=1601.86 cores=1,3,5,7 /proc/23219/stat : 23219 (toysat) R 23216 23219 20760 0 -1 4202496 274461 0 0 0 160092 94 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 140736853822528 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23219/statm: 332945 274204 915 2943 0 329839 0 [pid=23219/tid=23220] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23220/stat : 23220 (toysat) S 23216 23219 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 139846258502896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23219/tid=23221] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23221/stat : 23221 (toysat) S 23216 23219 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 139846248013040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23219/tid=23222] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23222/stat : 23222 (toysat) S 23216 23219 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 139846237539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1331780 [startup+1662.3 s] /proc/loadavg: 2.03 2.04 2.00 3/184 23315 /proc/meminfo: memFree=29479512/32872528 swapFree=163656/177964 [pid=23219] ppid=23216 vsize=1331780 CPUtime=1661.85 cores=1,3,5,7 /proc/23219/stat : 23219 (toysat) R 23216 23219 20760 0 -1 4202496 274461 0 0 0 166086 99 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 140736853839800 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23219/statm: 332945 274204 915 2943 0 329839 0 [pid=23219/tid=23220] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23220/stat : 23220 (toysat) S 23216 23219 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 139846258502896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23219/tid=23221] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23221/stat : 23221 (toysat) S 23216 23219 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 139846248013040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23219/tid=23222] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23222/stat : 23222 (toysat) S 23216 23219 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 139846237539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1331780 [startup+1722.3 s] /proc/loadavg: 2.07 2.05 2.00 3/183 23316 /proc/meminfo: memFree=29479384/32872528 swapFree=163656/177964 [pid=23219] ppid=23216 vsize=1331780 CPUtime=1721.83 cores=1,3,5,7 /proc/23219/stat : 23219 (toysat) R 23216 23219 20760 0 -1 4202496 274461 0 0 0 172081 102 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 140736853839720 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23219/statm: 332945 274204 915 2943 0 329839 0 [pid=23219/tid=23220] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23220/stat : 23220 (toysat) S 23216 23219 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 139846258502896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23219/tid=23221] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23221/stat : 23221 (toysat) S 23216 23219 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 139846248013040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23219/tid=23222] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23222/stat : 23222 (toysat) S 23216 23219 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 139846237539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1331780 [startup+1782.31 s] /proc/loadavg: 2.07 2.05 2.00 3/183 23317 /proc/meminfo: memFree=29479260/32872528 swapFree=163656/177964 [pid=23219] ppid=23216 vsize=1331780 CPUtime=1781.83 cores=1,3,5,7 /proc/23219/stat : 23219 (toysat) R 23216 23219 20760 0 -1 4202496 274461 0 0 0 178080 103 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 140736853822528 5545776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23219/statm: 332945 274204 915 2943 0 329839 0 [pid=23219/tid=23220] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23220/stat : 23220 (toysat) S 23216 23219 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 139846258502896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23219/tid=23221] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23221/stat : 23221 (toysat) S 23216 23219 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 139846248013040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23219/tid=23222] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23222/stat : 23222 (toysat) S 23216 23219 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 139846237539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1331780 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.06 2.05 2.00 3/183 23317 /proc/meminfo: memFree=29479264/32872528 swapFree=163656/177964 [pid=23219] ppid=23216 vsize=1331780 CPUtime=1800.03 cores=1,3,5,7 /proc/23219/stat : 23219 (toysat) R 23216 23219 20760 0 -1 4202496 274461 0 0 0 179899 104 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 140736853839800 5711624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23219/statm: 332945 274204 915 2943 0 329839 0 [pid=23219/tid=23220] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23220/stat : 23220 (toysat) S 23216 23219 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 139846258502896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23219/tid=23221] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23221/stat : 23221 (toysat) S 23216 23219 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 139846248013040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23219/tid=23222] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23222/stat : 23222 (toysat) S 23216 23219 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 139846237539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1331780 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 23219 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.06 2.05 2.00 3/183 23317 /proc/meminfo: memFree=29479264/32872528 swapFree=163656/177964 [pid=23219] ppid=23216 vsize=1331780 CPUtime=1800.03 cores=1,3,5,7 /proc/23219/stat : 23219 (toysat) R 23216 23219 20760 0 -1 4202496 274461 0 0 0 179899 104 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 140736853839800 5711624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23219/statm: 332945 274204 915 2943 0 329839 0 [pid=23219/tid=23220] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23220/stat : 23220 (toysat) S 23216 23219 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 139846258502896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23219/tid=23221] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23221/stat : 23221 (toysat) S 23216 23219 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 139846248013040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23219/tid=23222] ppid=23216 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/23219/task/23222/stat : 23222 (toysat) S 23216 23219 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26886256 1363742720 274204 33554432000 4194304 16246674 140736853840624 139846237539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1331780 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1799 CPU system time (s): 1.04084 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 1331780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799 system time used= 1.04084 maximum resident set size= 1096816 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274461 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= 322 involuntary context switches= 1854 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.73813 second user time and 8.12876 second system time The end
Begin job on node105 at 2016-06-18 13:12:43 IDJOB=4105505 IDBENCH=2883 IDSOLVER=2542 FILE ID=node105/4105505-1466248363 RUNJOBID= node105-1466229502-20777 PBS_JOBID= 19918174 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex7.b.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105505-1466248363/watcher-4105505-1466248363 -o /tmp/evaluation-result-4105505-1466248363/solver-4105505-1466248363 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105505-1466248363.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a226ce89d775a348c35d29e51d9044b6 RANDOM SEED=1059918764 node105.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.561 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.12 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.561 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.561 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.55 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.561 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 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.54 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.561 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.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 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.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30536480 kB Buffers: 105156 kB Cached: 196164 kB SwapCached: 1676 kB Active: 1209928 kB Inactive: 211128 kB Active(anon): 1117476 kB Inactive(anon): 4412 kB Active(file): 92452 kB Inactive(file): 206716 kB Unevictable: 177964 kB Mlocked: 163656 kB SwapTotal: 67108856 kB SwapFree: 67097160 kB Dirty: 16712 kB Writeback: 0 kB AnonPages: 1297004 kB Mapped: 10888 kB Shmem: 0 kB Slab: 604228 kB SReclaimable: 47772 kB SUnreclaim: 556456 kB KernelStack: 1448 kB PageTables: 6908 kB NFS_Unstable: 4 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1439260 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1120256 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= 71716 MiB End job on node105 at 2016-06-18 13:42:44