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-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir06_area_opers.opb |
| MD5SUM | 4b72d81adefd0ef56251a04b2b714e8c |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 23 |
| Best CPU time to get the best result obtained on this benchmark | 0.138978 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 23 |
| Optimality of the best value was proved | YES |
| Number of variables | 11085 |
| Total number of constraints | 23298 |
| Number of constraints which are clauses | 23298 |
| 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 | 127 |
| Number of terms in the objective function | 5533 |
| 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 | 5533 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 5533 |
| Number of bits of the biggest sum of numbers | 13 |
| 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-07T00:39:33+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-4079802-1465252773.opb"] 0.00/0.01 c use --random-gen="1847516863 2384619239 899350490 1017906970 1753762992 3640897733 3567246995 3495987846 1263413292 4049347210 3725032894 1751293149 1685094905 2279911340 3682379747 402795380 3685588959 1375835940 2134203295 629564671 712677887 1881068483 2697750727 1056529307 4151281602 1984498881 3697486781 17220172 1520479920 2459957918 2097040697 1128391696 1582098308 2858588359 3763469510 2790680855 2445632504 1434099090 4233462359 1642609508 1094112186 2371820681 1486067071 4206724721 1740014561 570793066 3615535945 4049759688 2163924581 1056011876 4036436305 1124367119 309017474 2110156061 383150952 4283865520 2741902379 2281780994 10661398 2743431065 1732538713 2325351127 69234733 1772573100 2781156876 747240320 723197217 3923402899 4292318729 1205812948 2182696398 3694540975 1511191999 3713069432 3726844976 3386399677 554921074 91588929 844214755 4164978098 956571946 3039554584 3519873025 1878631316 3388041006 2639759615 1946789837 2795489209 1036898175 3931914793 3285548249 840296120 1659751427 3205657874 694643556 3754080840 1654735664 1848343959 2018103284 4177001922 2920098905 1343452768 1133554546 4028045262 222750554 3426571034 1129397359 1717002406 2758450861 1175412611 2054820835 1830968635 3739966438 1932679877 2106856401 2609078698 3303080687 2749733349 2315558113 2924313171 2746506101 2084442613 3827220202 2180646198 212652822 1190036100 3003180307 580327522 1292784245 2835556740 3340369847 107422140 2788260330 182790404 903176730 59495473 482720864 3558840426 2314093604 3350327639 169630272 3884873577 1855394108 2733977935 3785448977 875532197 3012531326 2348542458 2150006758 145595126 4280185275 253937095 1047083985 469784311 2105192837 3800011572 1868508864 2440344759 1370840376 193116913 2438913045 3899009449 2120170807 299528690 1946803515 2117912240 2517403719 201183821 1682117600 369458993 2896422976 1997009526 1321422578 576684883 3732708807 1836466584 2647639683 3657270768 673850202 2557635037 288331528 3645099855 1699607473 2649470985 373270912 2466546704 3167871437 839693979 363489427 1558762970 619521468 888940237 3098161820 2073539832 534079871 1121290850 1930218728 1851093672 1793051333 843599213 95976441 2590427347 1087440185 3345031384 3606536376 3383742110 1696459701 1282860754 3129636541 67048513 3285300251 3404533192 739747828 924946391 72141586 371312418 3036096811 2812321383 445310607 2019028231 1570636126 615357345 4203003326 3582746598 3643237798 633998431 2108598372 2597935750 2112357695 2717667555 524697959 533398999 1705107205 2552348536 499633769 2562062940 1760208896 4204138032 2535881129 782822345 2960754056 3374448613 97446682 1838899588 2249935617 3835442323 4148642466 3094444292 2254656583 566305041 3705140340 1860294257 3812988590 3811912320 3891966034 1359817404 255 362436" option to reproduce the execution 0.09/0.19 c #vars 11085 0.09/0.19 c #constraints 23298 0.39/0.45 c BCD2: Hardening is enabled. 0.39/0.45 c BCD2: BiasedSearch is enabled. 0.39/0.45 c Solving starts ... 0.39/0.45 c ============================[ Search Statistics ]============================ 0.39/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.45 c | | | | Limit GC | Var | Constra 0.39/0.45 c ============================================================================= 0.39/0.45 c 0.0s | 0 | 0 | 0 | 11460 0 | 3 | 0 0.49/0.56 c 0.1s | 0 | 5532 | 0 | 11460 0 | 3 | 0 0.49/0.56 c #cpu_time = 0.107s 0.49/0.56 c #wall_clock_time = 0.107s 0.49/0.56 c #decision = 5532 0.49/0.56 c #random_decision = 24 0.49/0.56 c #conflict = 0 0.49/0.56 c #restart = 0 0.49/0.56 o 5533 0.49/0.56 c BCD2: updating upper bound: 5533 -> 5532 0.59/0.60 c BCD2: 0 <= obj <= 5532 0.59/0.60 c BCD2: #cores=0, #unrelaxed=5533, #relaxed=0, #hardened=0 0.59/0.60 c BCD2: #sat=1 #unsat=1 bias=1/2 0.59/0.60 c Solving starts ... 0.59/0.60 c ============================[ Search Statistics ]============================ 0.59/0.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.60 c | | | | Limit GC | Var | Constra 0.59/0.60 c ============================================================================= 0.59/0.60 c 0.0s | 0 | 0 | 0 | 11460 0 | 3 | 0 0.59/0.61 c 0.0s | 0 | 0 | 0 | 11460 0 | 3 | 0 0.59/0.61 c #cpu_time = 0.009s 0.59/0.61 c #wall_clock_time = 0.009s 0.59/0.61 c #decision = 0 0.59/0.61 c #random_decision = 0 0.59/0.61 c #conflict = 0 0.59/0.61 c #restart = 0 0.59/0.61 c BCD2: found a new core of size 1: cost of the new core is >=1 0.59/0.61 c lower bound updated to 1 0.59/0.61 c BCD2: 1 <= obj <= 5532 0.59/0.61 c BCD2: #cores=1, #unrelaxed=5532, #relaxed=1, #hardened=0 0.59/0.61 c BCD2: #sat=1 #unsat=2 bias=2/3 0.59/0.61 c Solving starts ... 0.59/0.61 c ============================[ Search Statistics ]============================ 0.59/0.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.61 c | | | | Limit GC | Var | Constra 0.59/0.61 c ============================================================================= 0.59/0.62 c 0.0s | 0 | 0 | 0 | 11460 0 | 3 | 0 0.59/0.62 c 0.0s | 0 | 2 | 0 | 11460 0 | 3 | 0 0.59/0.62 c #cpu_time = 0.008s 0.59/0.62 c #wall_clock_time = 0.008s 0.59/0.62 c #decision = 2 0.59/0.62 c #random_decision = 0 0.59/0.62 c #conflict = 0 0.59/0.62 c #restart = 0 0.59/0.62 c BCD2: found a new core of size 2: cost of the new core is >=1 0.59/0.62 c lower bound updated to 2 0.59/0.62 c BCD2: 2 <= obj <= 5532 0.59/0.62 c BCD2: #cores=2, #unrelaxed=5530, #relaxed=3, #hardened=0 0.59/0.62 c BCD2: #sat=1 #unsat=3 bias=3/4 0.59/0.63 c Solving starts ... 0.59/0.63 c ============================[ Search Statistics ]============================ 0.59/0.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.63 c | | | | Limit GC | Var | Constra 0.59/0.63 c ============================================================================= 0.59/0.63 c 0.0s | 0 | 0 | 0 | 11460 0 | 3 | 0 0.59/0.63 c 0.0s | 0 | 3 | 0 | 11460 0 | 3 | 0 0.59/0.63 c #cpu_time = 0.009s 0.59/0.63 c #wall_clock_time = 0.009s 0.59/0.63 c #decision = 3 0.59/0.63 c #random_decision = 0 0.59/0.63 c #conflict = 0 0.59/0.63 c #restart = 0 0.59/0.63 c BCD2: found a new core of size 1: cost of the new core is >=1 0.59/0.63 c lower bound updated to 3 0.59/0.64 c BCD2: 3 <= obj <= 5532 0.59/0.64 c BCD2: #cores=3, #unrelaxed=5529, #relaxed=4, #hardened=0 0.59/0.64 c BCD2: #sat=1 #unsat=4 bias=4/5 0.59/0.64 c Solving starts ... 0.59/0.64 c ============================[ Search Statistics ]============================ 0.59/0.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.64 c | | | | Limit GC | Var | Constra 0.59/0.64 c ============================================================================= 0.59/0.64 c 0.0s | 0 | 0 | 0 | 11460 0 | 3 | 0 0.59/0.65 c 0.0s | 0 | 16 | 0 | 11460 0 | 3 | 0 0.59/0.65 c #cpu_time = 0.008s 0.59/0.65 c #wall_clock_time = 0.008s 0.59/0.65 c #decision = 16 0.59/0.65 c #random_decision = 0 0.59/0.65 c #conflict = 0 0.59/0.65 c #restart = 0 0.59/0.65 c BCD2: found a new core of size 1: cost of the new core is >=1 0.59/0.65 c lower bound updated to 4 0.59/0.65 c BCD2: 4 <= obj <= 5532 0.59/0.65 c BCD2: #cores=4, #unrelaxed=5528, #relaxed=5, #hardened=0 0.59/0.65 c BCD2: #sat=1 #unsat=5 bias=5/6 0.59/0.65 c Solving starts ... 0.59/0.65 c ============================[ Search Statistics ]============================ 0.59/0.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.65 c | | | | Limit GC | Var | Constra 0.59/0.65 c ============================================================================= 0.59/0.65 c 0.0s | 0 | 0 | 0 | 11460 0 | 3 | 0 0.59/0.66 c 0.0s | 0 | 21 | 0 | 11460 0 | 3 | 0 0.59/0.66 c #cpu_time = 0.008s 0.59/0.66 c #wall_clock_time = 0.009s 0.59/0.66 c #decision = 21 0.59/0.66 c #random_decision = 0 0.59/0.66 c #conflict = 0 0.59/0.66 c #restart = 0 0.59/0.66 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2 0.59/0.66 c lower bound updated to 5 0.59/0.66 c BCD2: 5 <= obj <= 5532 0.59/0.66 c BCD2: #cores=4, #unrelaxed=5526, #relaxed=7, #hardened=0 0.59/0.66 c BCD2: #sat=1 #unsat=6 bias=6/7 0.59/0.66 c Solving starts ... 0.59/0.66 c ============================[ Search Statistics ]============================ 0.59/0.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.66 c | | | | Limit GC | Var | Constra 0.59/0.66 c ============================================================================= 0.59/0.66 c 0.0s | 0 | 0 | 0 | 11460 0 | 4 | 0 0.59/0.67 c 0.0s | 0 | 43 | 0 | 11460 0 | 4 | 1 0.59/0.67 c #cpu_time = 0.008s 0.59/0.67 c #wall_clock_time = 0.008s 0.59/0.67 c #decision = 43 0.59/0.67 c #random_decision = 0 0.59/0.67 c #conflict = 0 0.59/0.67 c #restart = 0 0.59/0.67 c BCD2: found a new core of size 11: cost of the new core is >=1 0.59/0.67 c lower bound updated to 6 0.59/0.67 c BCD2: 6 <= obj <= 5532 0.59/0.67 c BCD2: #cores=5, #unrelaxed=5515, #relaxed=18, #hardened=0 0.59/0.67 c BCD2: #sat=1 #unsat=7 bias=7/8 0.59/0.67 c Solving starts ... 0.59/0.67 c ============================[ Search Statistics ]============================ 0.59/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.67 c | | | | Limit GC | Var | Constra 0.59/0.67 c ============================================================================= 0.59/0.67 c 0.0s | 0 | 0 | 0 | 11460 0 | 4 | 1 0.59/0.68 c 0.0s | 0 | 53 | 0 | 11460 0 | 4 | 1 0.59/0.68 c #cpu_time = 0.009s 0.59/0.68 c #wall_clock_time = 0.009s 0.59/0.68 c #decision = 53 0.59/0.68 c #random_decision = 0 0.59/0.68 c #conflict = 0 0.59/0.68 c #restart = 0 0.59/0.68 c BCD2: found a new core of size 3: cost of the new core is >=1 0.59/0.68 c lower bound updated to 7 0.59/0.68 c BCD2: 7 <= obj <= 5532 0.59/0.68 c BCD2: #cores=6, #unrelaxed=5512, #relaxed=21, #hardened=0 0.59/0.68 c BCD2: #sat=1 #unsat=8 bias=8/9 0.59/0.69 c Solving starts ... 0.59/0.69 c ============================[ Search Statistics ]============================ 0.59/0.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.69 c | | | | Limit GC | Var | Constra 0.59/0.69 c ============================================================================= 0.59/0.69 c 0.0s | 0 | 0 | 0 | 11460 0 | 4 | 1 0.68/0.70 c 0.0s | 0 | 261 | 0 | 11460 0 | 4 | 1 0.68/0.70 c #cpu_time = 0.011s 0.68/0.70 c #wall_clock_time = 0.011s 0.68/0.70 c #decision = 261 0.68/0.70 c #random_decision = 0 0.68/0.70 c #conflict = 0 0.68/0.70 c #restart = 0 0.68/0.70 c BCD2: found a new core of size 39: cost of the new core is >=1 0.68/0.70 c lower bound updated to 8 0.68/0.70 c BCD2: 8 <= obj <= 5532 0.68/0.70 c BCD2: #cores=7, #unrelaxed=5473, #relaxed=60, #hardened=0 0.68/0.70 c BCD2: #sat=1 #unsat=9 bias=9/10 0.68/0.70 c Solving starts ... 0.68/0.70 c ============================[ Search Statistics ]============================ 0.68/0.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.70 c | | | | Limit GC | Var | Constra 0.68/0.70 c ============================================================================= 0.68/0.70 c 0.0s | 0 | 0 | 0 | 11460 0 | 4 | 1 0.68/0.71 c 0.0s | 0 | 398 | 0 | 11460 0 | 4 | 1 0.68/0.71 c #cpu_time = 0.010s 0.68/0.71 c #wall_clock_time = 0.010s 0.68/0.71 c #decision = 398 0.68/0.71 c #random_decision = 0 0.68/0.71 c #conflict = 0 0.68/0.71 c #restart = 0 0.68/0.71 c BCD2: found a new core of size 11: cost of the new core is >=1 0.68/0.71 c lower bound updated to 9 0.68/0.72 c BCD2: 9 <= obj <= 5532 0.68/0.72 c BCD2: #cores=8, #unrelaxed=5462, #relaxed=71, #hardened=0 0.68/0.72 c BCD2: #sat=1 #unsat=10 bias=10/11 0.68/0.72 c Solving starts ... 0.68/0.72 c ============================[ Search Statistics ]============================ 0.68/0.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.72 c | | | | Limit GC | Var | Constra 0.68/0.72 c ============================================================================= 0.68/0.72 c 0.0s | 0 | 0 | 0 | 11460 0 | 4 | 1 0.68/0.73 c 0.0s | 0 | 1262 | 0 | 11460 0 | 4 | 1 0.68/0.73 c #cpu_time = 0.012s 0.68/0.73 c #wall_clock_time = 0.012s 0.68/0.73 c #decision = 1262 0.68/0.73 c #random_decision = 0 0.68/0.73 c #conflict = 0 0.68/0.73 c #restart = 0 0.68/0.73 c BCD2: found a new core of size 9: cost of the new core is >=1 0.68/0.73 c lower bound updated to 10 0.68/0.73 c BCD2: 10 <= obj <= 5532 0.68/0.73 c BCD2: #cores=9, #unrelaxed=5453, #relaxed=80, #hardened=0 0.68/0.73 c BCD2: #sat=1 #unsat=11 bias=11/12 0.68/0.73 c Solving starts ... 0.68/0.73 c ============================[ Search Statistics ]============================ 0.68/0.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.73 c | | | | Limit GC | Var | Constra 0.68/0.73 c ============================================================================= 0.68/0.73 c 0.0s | 0 | 0 | 0 | 11460 0 | 4 | 1 0.68/0.75 c 0.0s | 0 | 1755 | 0 | 11460 0 | 4 | 1 0.68/0.75 c #cpu_time = 0.013s 0.68/0.75 c #wall_clock_time = 0.013s 0.68/0.75 c #decision = 1755 0.68/0.75 c #random_decision = 0 0.68/0.75 c #conflict = 0 0.68/0.75 c #restart = 0 0.68/0.75 c BCD2: found a new core of size 10: cost of the new core is >=1 0.68/0.75 c lower bound updated to 11 0.68/0.75 c BCD2: 11 <= obj <= 5532 0.68/0.75 c BCD2: #cores=10, #unrelaxed=5443, #relaxed=90, #hardened=0 0.68/0.75 c BCD2: #sat=1 #unsat=12 bias=12/13 0.68/0.75 c Solving starts ... 0.68/0.75 c ============================[ Search Statistics ]============================ 0.68/0.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.75 c | | | | Limit GC | Var | Constra 0.68/0.75 c ============================================================================= 0.68/0.75 c 0.0s | 0 | 0 | 0 | 11460 0 | 4 | 1 0.68/0.77 c 0.0s | 0 | 1921 | 0 | 11460 0 | 4 | 1 0.68/0.77 c #cpu_time = 0.014s 0.68/0.77 c #wall_clock_time = 0.014s 0.68/0.77 c #decision = 1921 0.68/0.77 c #random_decision = 0 0.68/0.77 c #conflict = 0 0.68/0.77 c #restart = 0 0.68/0.77 c BCD2: found a new core of size 146: cost of the new core is >=1 0.68/0.77 c lower bound updated to 12 0.68/0.77 c BCD2: 12 <= obj <= 5532 0.68/0.77 c BCD2: #cores=11, #unrelaxed=5297, #relaxed=236, #hardened=0 0.68/0.77 c BCD2: #sat=1 #unsat=13 bias=13/14 0.68/0.77 c Solving starts ... 0.68/0.77 c ============================[ Search Statistics ]============================ 0.68/0.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.77 c | | | | Limit GC | Var | Constra 0.68/0.77 c ============================================================================= 0.68/0.77 c 0.0s | 0 | 0 | 0 | 11460 0 | 4 | 1 0.68/0.79 c 0.0s | 0 | 2173 | 0 | 11460 0 | 4 | 1 0.68/0.79 c #cpu_time = 0.013s 0.68/0.79 c #wall_clock_time = 0.013s 0.68/0.79 c #decision = 2173 0.68/0.79 c #random_decision = 0 0.68/0.79 c #conflict = 0 0.68/0.79 c #restart = 0 0.68/0.79 c BCD2: found a new core of size 44: cost of the new core is >=1 0.68/0.79 c lower bound updated to 13 0.68/0.79 c BCD2: 13 <= obj <= 5532 0.68/0.79 c BCD2: #cores=12, #unrelaxed=5253, #relaxed=280, #hardened=0 0.68/0.79 c BCD2: #sat=1 #unsat=14 bias=14/15 0.68/0.79 c Solving starts ... 0.68/0.79 c ============================[ Search Statistics ]============================ 0.68/0.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.79 c | | | | Limit GC | Var | Constra 0.68/0.79 c ============================================================================= 0.68/0.79 c 0.0s | 0 | 0 | 0 | 11460 0 | 4 | 1 0.78/0.80 c 0.0s | 0 | 2278 | 0 | 11460 0 | 4 | 1 0.78/0.80 c #cpu_time = 0.012s 0.78/0.80 c #wall_clock_time = 0.012s 0.78/0.80 c #decision = 2278 0.78/0.80 c #random_decision = 0 0.78/0.80 c #conflict = 0 0.78/0.80 c #restart = 0 0.78/0.80 c BCD2: found a new core of size 39: cost of the new core is >=1 0.78/0.81 c lower bound updated to 14 0.78/0.81 c BCD2: 14 <= obj <= 5532 0.78/0.81 c BCD2: #cores=13, #unrelaxed=5214, #relaxed=319, #hardened=0 0.78/0.81 c BCD2: #sat=1 #unsat=15 bias=15/16 0.78/0.81 c Solving starts ... 0.78/0.81 c ============================[ Search Statistics ]============================ 0.78/0.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.78/0.81 c | | | | Limit GC | Var | Constra 0.78/0.81 c ============================================================================= 0.78/0.81 c 0.0s | 0 | 0 | 0 | 11460 0 | 4 | 1 0.78/0.83 c 0.0s | 0 | 2870 | 0 | 11460 0 | 4 | 1 0.78/0.83 c #cpu_time = 0.015s 0.78/0.83 c #wall_clock_time = 0.015s 0.78/0.83 c #decision = 2870 0.78/0.83 c #random_decision = 0 0.78/0.83 c #conflict = 0 0.78/0.83 c #restart = 0 0.78/0.83 c BCD2: found a new core of size 1379: cost of the new core is >=1 0.78/0.83 c lower bound updated to 15 0.78/0.83 c BCD2: 15 <= obj <= 5532 0.78/0.83 c BCD2: #cores=14, #unrelaxed=3835, #relaxed=1698, #hardened=0 0.78/0.83 c BCD2: #sat=1 #unsat=16 bias=16/17 0.78/0.84 c Solving starts ... 0.78/0.84 c ============================[ Search Statistics ]============================ 0.78/0.84 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.78/0.84 c | | | | Limit GC | Var | Constra 0.78/0.84 c ============================================================================= 0.78/0.84 c 0.0s | 0 | 0 | 0 | 11460 0 | 4 | 1 0.78/0.85 c 0.0s | 0 | 2088 | 0 | 11460 0 | 4 | 1 0.78/0.85 c #cpu_time = 0.012s 0.78/0.85 c #wall_clock_time = 0.012s 0.78/0.85 c #decision = 2088 0.78/0.85 c #random_decision = 0 0.78/0.85 c #conflict = 0 0.78/0.85 c #restart = 0 0.78/0.85 c BCD2: found a new core of size 80: cost of the new core is >=1 0.78/0.85 c lower bound updated to 16 0.78/0.86 c BCD2: 16 <= obj <= 5532 0.78/0.86 c BCD2: #cores=15, #unrelaxed=3755, #relaxed=1778, #hardened=0 0.78/0.86 c BCD2: #sat=1 #unsat=17 bias=17/18 0.78/0.86 c Solving starts ... 0.78/0.86 c ============================[ Search Statistics ]============================ 0.78/0.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.78/0.86 c | | | | Limit GC | Var | Constra 0.78/0.86 c ============================================================================= 0.78/0.86 c 0.0s | 0 | 0 | 0 | 11460 0 | 4 | 1 0.78/0.88 c 0.0s | 0 | 2072 | 0 | 11460 0 | 4 | 1 0.78/0.88 c #cpu_time = 0.012s 0.78/0.88 c #wall_clock_time = 0.012s 0.78/0.88 c #decision = 2072 0.78/0.88 c #random_decision = 0 0.78/0.88 c #conflict = 0 0.78/0.88 c #restart = 0 0.78/0.88 c BCD2: found a new core of size 309: cost of the new core is >=1 0.78/0.88 c lower bound updated to 17 0.78/0.88 c BCD2: 17 <= obj <= 5532 0.78/0.88 c BCD2: #cores=16, #unrelaxed=3446, #relaxed=2087, #hardened=0 0.78/0.88 c BCD2: #sat=1 #unsat=18 bias=18/19 0.78/0.89 c Solving starts ... 0.78/0.89 c ============================[ Search Statistics ]============================ 0.78/0.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.78/0.89 c | | | | Limit GC | Var | Constra 0.78/0.89 c ============================================================================= 0.78/0.89 c 0.0s | 0 | 0 | 0 | 11460 0 | 4 | 1 0.88/0.90 c 0.0s | 0 | 2909 | 0 | 11460 0 | 4 | 1 0.88/0.90 c #cpu_time = 0.014s 0.88/0.90 c #wall_clock_time = 0.014s 0.88/0.90 c #decision = 2909 0.88/0.90 c #random_decision = 0 0.88/0.90 c #conflict = 0 0.88/0.90 c #restart = 0 0.88/0.91 c BCD2: found a new core of size 1212: cost of the new core is >=1 0.88/0.91 c lower bound updated to 18 0.88/0.91 c BCD2: 18 <= obj <= 5532 0.88/0.91 c BCD2: #cores=17, #unrelaxed=2234, #relaxed=3299, #hardened=0 0.88/0.91 c BCD2: #sat=1 #unsat=19 bias=19/20 0.88/0.92 c Solving starts ... 0.88/0.92 c ============================[ Search Statistics ]============================ 0.88/0.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.88/0.92 c | | | | Limit GC | Var | Constra 0.88/0.92 c ============================================================================= 0.88/0.92 c 0.0s | 0 | 0 | 0 | 11460 0 | 4 | 1 0.88/0.94 c 0.0s | 0 | 1797 | 0 | 11460 0 | 4 | 1 0.88/0.94 c #cpu_time = 0.011s 0.88/0.94 c #wall_clock_time = 0.011s 0.88/0.94 c #decision = 1797 0.88/0.94 c #random_decision = 0 0.88/0.94 c #conflict = 0 0.88/0.94 c #restart = 0 0.88/0.94 c BCD2: found a new core of size 98: cost of the new core is >=1 0.88/0.94 c lower bound updated to 19 0.88/0.94 c BCD2: 19 <= obj <= 5532 0.88/0.94 c BCD2: #cores=18, #unrelaxed=2136, #relaxed=3397, #hardened=0 0.88/0.94 c BCD2: #sat=1 #unsat=20 bias=20/21 0.88/0.95 c Solving starts ... 0.88/0.95 c ============================[ Search Statistics ]============================ 0.88/0.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.88/0.95 c | | | | Limit GC | Var | Constra 0.88/0.95 c ============================================================================= 0.88/0.95 c 0.0s | 0 | 0 | 0 | 11460 0 | 4 | 1 0.88/0.97 c 0.0s | 0 | 2153 | 0 | 11460 0 | 4 | 1 0.88/0.97 c #cpu_time = 0.012s 0.88/0.97 c #wall_clock_time = 0.012s 0.88/0.97 c #decision = 2153 0.88/0.97 c #random_decision = 0 0.88/0.97 c #conflict = 0 0.88/0.97 c #restart = 0 0.88/0.97 c BCD2: found a new core of size 308: cost of the new core is >=1 0.88/0.97 c lower bound updated to 20 0.88/0.97 c BCD2: 20 <= obj <= 5532 0.88/0.97 c BCD2: #cores=19, #unrelaxed=1828, #relaxed=3705, #hardened=0 0.88/0.97 c BCD2: #sat=1 #unsat=21 bias=21/22 0.88/0.99 c Solving starts ... 0.88/0.99 c ============================[ Search Statistics ]============================ 0.88/0.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.88/0.99 c | | | | Limit GC | Var | Constra 0.88/0.99 c ============================================================================= 0.88/0.99 c 0.0s | 0 | 0 | 0 | 11460 0 | 4 | 1 0.98/1.02 c 0.0s | 0 | 5189 | 0 | 11460 0 | 4 | 1 0.98/1.02 c #cpu_time = 0.026s 0.98/1.02 c #wall_clock_time = 0.026s 0.98/1.02 c #decision = 5189 0.98/1.02 c #random_decision = 10 0.98/1.02 c #conflict = 0 0.98/1.02 c #restart = 0 0.98/1.02 o 34 0.98/1.02 c BCD2: updating upper bound: 5532 -> 33 0.98/1.04 c BCD2: 20 <= obj <= 33 0.98/1.04 c BCD2: #cores=19, #unrelaxed=1828, #relaxed=3705, #hardened=0 0.98/1.04 c BCD2: #sat=2 #unsat=21 bias=21/23 0.98/1.06 c Solving starts ... 0.98/1.06 c ============================[ Search Statistics ]============================ 0.98/1.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.98/1.06 c | | | | Limit GC | Var | Constra 0.98/1.06 c ============================================================================= 0.98/1.06 c 0.0s | 0 | 0 | 0 | 11460 0 | 4 | 2 1.09/1.14 c 0.1s | 0 | 11515 | 27 | 11460 0 | 4 | 2 1.09/1.14 c #cpu_time = 0.075s 1.09/1.14 c #wall_clock_time = 0.075s 1.09/1.14 c #decision = 11515 1.09/1.14 c #random_decision = 2 1.09/1.14 c #conflict = 27 1.09/1.14 c #restart = 0 1.09/1.14 c BCD2: relaxing 60 and merging with 7 cores into a new core of size 317: cost of the new core is >=9 1.09/1.14 c lower bound updated to 21 1.09/1.14 c BCD2: 21 <= obj <= 33 1.09/1.14 c BCD2: #cores=13, #unrelaxed=1768, #relaxed=3765, #hardened=0 1.09/1.14 c BCD2: #sat=2 #unsat=22 bias=22/24 1.09/1.14 c Solving starts ... 1.09/1.14 c ============================[ Search Statistics ]============================ 1.09/1.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.14 c | | | | Limit GC | Var | Constra 1.09/1.14 c ============================================================================= 1.09/1.14 c 0.0s | 0 | 0 | 0 | 11460 0 | 26 | 2 1.19/1.22 c 0.1s | 1 | 3581 | 100 | 12607 0 | 26 | 39 1.19/1.26 c 0.1s | 1 | 6467 | 100 | 12607 0 | 26 | 39 1.19/1.26 c #cpu_time = 0.111s 1.19/1.26 c #wall_clock_time = 0.111s 1.19/1.26 c #decision = 6467 1.19/1.26 c #random_decision = 8 1.19/1.26 c #conflict = 100 1.19/1.26 c #restart = 1 1.19/1.26 o 30 1.19/1.26 c BCD2: updating upper bound: 33 -> 29 1.19/1.28 c BCD2: 21 <= obj <= 29 1.19/1.28 c BCD2: #cores=13, #unrelaxed=1768, #relaxed=3765, #hardened=0 1.19/1.28 c BCD2: #sat=3 #unsat=22 bias=22/25 1.19/1.29 c Solving starts ... 1.19/1.29 c ============================[ Search Statistics ]============================ 1.19/1.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.29 c | | | | Limit GC | Var | Constra 1.19/1.29 c ============================================================================= 1.19/1.29 c 0.0s | 0 | 0 | 0 | 12607 0 | 26 | 40 1.48/1.52 c 0.2s | 1 | 2465 | 100 | 12607 0 | 26 | 40 1.69/1.77 c 0.5s | 2 | 6099 | 250 | 13868 0 | 26 | 40 1.79/1.86 c 0.6s | 2 | 7997 | 253 | 13868 0 | 26 | 40 1.79/1.86 c #cpu_time = 0.558s 1.79/1.86 c #wall_clock_time = 0.559s 1.79/1.86 c #decision = 7997 1.79/1.86 c #random_decision = 5 1.79/1.86 c #conflict = 253 1.79/1.86 c #restart = 2 1.79/1.86 o 28 1.79/1.86 c BCD2: updating upper bound: 29 -> 27 1.79/1.89 c BCD2: 21 <= obj <= 27 1.79/1.89 c BCD2: #cores=13, #unrelaxed=1768, #relaxed=3765, #hardened=0 1.79/1.89 c BCD2: #sat=4 #unsat=22 bias=22/26 1.89/1.90 c Solving starts ... 1.89/1.90 c ============================[ Search Statistics ]============================ 1.89/1.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.90 c | | | | Limit GC | Var | Constra 1.89/1.90 c ============================================================================= 1.89/1.90 c 0.0s | 0 | 0 | 0 | 13868 0 | 26 | 41 2.09/2.18 c 0.3s | 1 | 2383 | 100 | 15255 0 | 26 | 41 2.59/2.60 c 0.7s | 2 | 5034 | 250 | 15255 0 | 26 | 41 3.19/3.20 c 1.3s | 3 | 12278 | 475 | 16781 0 | 26 | 41 3.69/3.75 c 1.9s | 4 | 15842 | 813 | 16781 0 | 26 | 41 4.79/4.81 c 2.9s | 5 | 19844 | 1320 | 18460 0 | 26 | 41 6.60/6.68 c 4.8s | 6 | 24197 | 2081 | 20306 0 | 26 | 41 7.88/7.96 c 6.1s | 7 | 32694 | 3223 | 22337 0 | 26 | 41 10.09/10.13 c 8.2s | 7 | 42600 | 4723 | 24571 0 | 26 | 41 10.69/10.77 c 8.9s | 8 | 43376 | 4936 | 24571 0 | 26 | 41 13.09/13.12 c 11.2s | 8 | 50181 | 5836 | 24571 0 | 26 | 41 15.09/15.16 c 13.3s | 8 | 54505 | 6736 | 24571 0 | 26 | 41 16.29/16.34 c 14.4s | 9 | 57522 | 7506 | 27029 0 | 26 | 41 18.39/18.41 c 16.5s | 9 | 63907 | 8606 | 27029 0 | 26 | 41 20.49/20.50 c 18.6s | 9 | 67581 | 9506 | 27029 0 | 26 | 41 22.69/22.74 c 20.8s | 9 | 72386 | 10906 | 27029 0 | 26 | 41 24.68/24.70 c 22.8s | 10 | 73735 | 11361 | 29732 0 | 26 | 41 26.88/26.93 c 25.0s | 10 | 78833 | 12261 | 29732 0 | 26 | 41 27.59/27.70 c 25.8s | 10 | 80012 | 12556 | 29732 0 | 26 | 41 27.59/27.70 c #cpu_time = 25.726s 27.59/27.70 c #wall_clock_time = 25.792s 27.59/27.70 c #decision = 80012 27.59/27.70 c #random_decision = 114 27.59/27.70 c #conflict = 12556 27.59/27.70 c #restart = 10 27.59/27.70 o 26 27.68/27.70 c BCD2: updating upper bound: 27 -> 25 27.68/27.72 c BCD2: 21 <= obj <= 25 27.68/27.72 c BCD2: #cores=13, #unrelaxed=1768, #relaxed=3765, #hardened=0 27.68/27.72 c BCD2: #sat=5 #unsat=22 bias=22/27 27.68/27.72 c Solving starts ... 27.68/27.72 c ============================[ Search Statistics ]============================ 27.68/27.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 27.68/27.72 c | | | | Limit GC | Var | Constra 27.68/27.72 c ============================================================================= 27.68/27.72 c 0.0s | 0 | 0 | 0 | 29732 0 | 26 | 42 27.98/28.06 c 0.3s | 1 | 2565 | 100 | 29732 0 | 26 | 42 28.28/28.38 c 0.7s | 2 | 4937 | 250 | 29732 0 | 26 | 42 28.78/28.83 c 1.1s | 3 | 7593 | 475 | 29732 0 | 26 | 42 29.48/29.54 c 1.8s | 4 | 10846 | 813 | 29732 0 | 26 | 42 30.28/30.37 c 2.6s | 5 | 14696 | 1320 | 29732 0 | 26 | 42 31.38/31.41 c 3.7s | 6 | 19340 | 2081 | 29732 0 | 26 | 42 33.09/33.13 c 5.4s | 7 | 25720 | 3223 | 29732 0 | 26 | 42 34.98/35.02 c 7.3s | 8 | 34436 | 4936 | 32706 0 | 26 | 42 36.98/37.05 c 9.3s | 8 | 44017 | 6736 | 32706 0 | 26 | 42 37.78/37.84 c 10.1s | 9 | 47050 | 7506 | 32706 0 | 26 | 42 39.78/39.84 c 12.1s | 9 | 57858 | 9306 | 32706 0 | 26 | 42 41.78/41.84 c 14.1s | 10 | 67521 | 11361 | 32706 0 | 26 | 42 43.88/43.93 c 16.2s | 10 | 75910 | 13061 | 35977 0 | 26 | 42 45.98/46.00 c 18.3s | 10 | 82244 | 14761 | 35977 0 | 26 | 42 48.08/48.11 c 20.4s | 10 | 90613 | 16661 | 35977 0 | 26 | 42 48.58/48.64 c 20.9s | 11 | 92248 | 17144 | 35977 0 | 26 | 42 50.58/50.66 c 22.9s | 11 | 100510 | 18644 | 35977 0 | 26 | 42 52.68/52.74 c 25.0s | 11 | 106996 | 20244 | 35977 0 | 26 | 42 54.78/54.81 c 27.1s | 11 | 113968 | 21944 | 35977 0 | 26 | 42 57.19/57.23 c 29.5s | 11 | 117092 | 22944 | 35977 0 | 26 | 42 59.28/59.36 c 31.6s | 11 | 119685 | 23644 | 35977 0 | 26 | 42 61.38/61.43 c 33.7s | 11 | 123872 | 24844 | 35977 0 | 26 | 42 63.28/63.32 c 35.6s | 12 | 126830 | 25819 | 39575 0 | 26 | 42 65.28/65.35 c 37.6s | 12 | 131271 | 26719 | 39575 0 | 26 | 42 67.38/67.44 c 39.7s | 12 | 133626 | 27619 | 39575 0 | 26 | 42 69.48/69.56 c 41.8s | 12 | 139758 | 29119 | 39575 0 | 26 | 42 71.49/71.56 c 43.8s | 12 | 144922 | 30619 | 39575 0 | 26 | 42 73.58/73.60 c 45.9s | 12 | 148423 | 31519 | 39575 1 | 26 | 42 75.58/75.62 c 47.9s | 12 | 154187 | 33219 | 39575 1 | 26 | 42 77.58/77.69 c 50.0s | 12 | 158735 | 34519 | 39575 1 | 26 | 42 79.68/79.75 c 52.0s | 12 | 162335 | 35719 | 39575 1 | 26 | 42 83.47/83.57 c 55.8s | 12 | 165457 | 36719 | 39575 1 | 26 | 42 85.58/85.61 c 57.9s | 12 | 167540 | 37219 | 39575 1 | 26 | 42 87.48/87.59 c 59.9s | 13 | 174850 | 38832 | 39575 1 | 26 | 42 89.68/89.74 c 62.0s | 13 | 183275 | 40232 | 39575 1 | 26 | 42 91.78/91.82 c 64.1s | 13 | 195740 | 41532 | 39575 1 | 26 | 42 93.77/93.89 c 66.2s | 13 | 219915 | 43432 | 39575 1 | 26 | 42 95.87/95.97 c 68.2s | 13 | 238927 | 45232 | 43533 1 | 26 | 42 97.98/98.08 c 70.4s | 13 | 254998 | 46832 | 43533 1 | 26 | 42 99.97/100.09 c 72.4s | 13 | 280037 | 48532 | 43533 1 | 26 | 42 102.07/102.12 c 74.4s | 13 | 295319 | 50132 | 43533 1 | 26 | 42 104.07/104.14 c 76.4s | 13 | 312660 | 51632 | 43533 1 | 26 | 42 106.07/106.18 c 78.5s | 13 | 329109 | 52932 | 43533 1 | 26 | 42 108.07/108.19 c 80.5s | 13 | 347813 | 54432 | 43533 1 | 26 | 42 110.17/110.27 c 82.5s | 13 | 363199 | 55832 | 43533 1 | 26 | 42 112.37/112.42 c 84.7s | 13 | 375896 | 57032 | 43533 2 | 26 | 42 114.38/114.42 c 86.7s | 13 | 394635 | 58332 | 43533 2 | 26 | 42 114.38/114.45 c 86.7s | 14 | 394667 | 58352 | 43533 2 | 26 | 42 116.37/116.47 c 88.7s | 14 | 412570 | 59752 | 43533 2 | 26 | 42 118.37/118.49 c 90.8s | 14 | 428210 | 61052 | 43533 2 | 26 | 42 120.47/120.54 c 92.8s | 14 | 443030 | 62552 | 43533 2 | 26 | 42 122.57/122.61 c 94.9s | 14 | 458955 | 64052 | 43533 2 | 26 | 42 124.57/124.69 c 97.0s | 14 | 470210 | 65552 | 43533 2 | 26 | 42 126.67/126.77 c 99.0s | 14 | 481613 | 66952 | 43533 2 | 26 | 42 128.68/128.77 c 101s | 14 | 491190 | 68252 | 43533 2 | 26 | 42 130.67/130.78 c 103s | 14 | 502189 | 69552 | 43533 2 | 26 | 42 132.77/132.89 c 105s | 14 | 513002 | 70752 | 43533 2 | 26 | 42 134.97/135.08 c 107s | 14 | 525962 | 72052 | 43533 2 | 26 | 42 137.07/137.16 c 109s | 14 | 534361 | 73252 | 43533 2 | 26 | 42 139.27/139.35 c 111s | 14 | 547584 | 74652 | 47887 2 | 26 | 42 141.37/141.40 c 113s | 14 | 557484 | 75952 | 47887 2 | 26 | 42 143.57/143.62 c 115s | 14 | 567916 | 77152 | 47887 2 | 26 | 42 145.67/145.76 c 118s | 14 | 577626 | 78352 | 47887 2 | 26 | 42 147.67/147.77 c 120s | 14 | 586974 | 79352 | 47887 2 | 26 | 42 149.87/149.94 c 122s | 14 | 596709 | 80452 | 47887 2 | 26 | 42 151.87/151.96 c 124s | 14 | 604509 | 81552 | 47887 2 | 26 | 42 153.87/153.99 c 126s | 14 | 611167 | 82652 | 47887 2 | 26 | 42 155.97/156.03 c 128s | 14 | 620797 | 83752 | 47887 2 | 26 | 42 158.17/158.25 c 130s | 14 | 632271 | 84852 | 47887 3 | 26 | 42 160.26/160.30 c 132s | 14 | 641035 | 86252 | 47887 3 | 26 | 42 162.26/162.37 c 134s | 14 | 653666 | 87452 | 47887 3 | 26 | 42 162.56/162.67 c 134s | 15 | 656126 | 87632 | 47887 3 | 26 | 42 167.96/168.05 c 140s | 15 | 659368 | 87932 | 47887 3 | 26 | 42 170.06/170.15 c 142s | 15 | 663291 | 88332 | 47887 3 | 26 | 42 172.16/172.28 c 144s | 15 | 674169 | 89432 | 47887 3 | 26 | 42 174.16/174.29 c 146s | 15 | 685377 | 90732 | 47887 3 | 26 | 42 176.26/176.32 c 148s | 15 | 695852 | 92032 | 47887 3 | 26 | 42 178.26/178.36 c 150s | 15 | 706849 | 93232 | 47887 3 | 26 | 42 180.26/180.40 c 152s | 15 | 715649 | 94332 | 47887 3 | 26 | 42 182.36/182.43 c 154s | 15 | 724438 | 95432 | 47887 3 | 26 | 42 184.46/184.52 c 156s | 15 | 733403 | 96532 | 47887 3 | 26 | 42 186.46/186.52 c 158s | 15 | 741792 | 97632 | 47887 3 | 26 | 42 188.46/188.53 c 160s | 15 | 744135 | 98032 | 47887 3 | 26 | 42 190.56/190.65 c 162s | 15 | 750304 | 99332 | 47887 3 | 26 | 42 192.57/192.68 c 164s | 15 | 759607 | 100532 | 47887 3 | 26 | 42 194.67/194.75 c 167s | 15 | 769874 | 101732 | 47887 3 | 26 | 42 196.87/196.93 c 169s | 15 | 775878 | 102932 | 47887 3 | 26 | 42 198.86/198.94 c 171s | 15 | 786545 | 104032 | 47887 3 | 26 | 42 200.96/201.08 c 173s | 15 | 798949 | 105232 | 47887 3 | 26 | 42 203.06/203.11 c 175s | 15 | 805506 | 106232 | 47887 3 | 26 | 42 205.16/205.23 c 177s | 15 | 812906 | 107432 | 47887 3 | 26 | 42 207.26/207.37 c 179s | 15 | 819959 | 108532 | 47887 3 | 26 | 42 209.36/209.46 c 181s | 15 | 827796 | 109732 | 47887 3 | 26 | 42 211.36/211.47 c 183s | 15 | 838334 | 110732 | 47887 3 | 26 | 42 214.15/214.28 c 186s | 15 | 843007 | 111332 | 47887 4 | 26 | 42 216.25/216.32 c 188s | 15 | 857621 | 112732 | 47887 4 | 26 | 42 218.25/218.35 c 190s | 15 | 867202 | 114032 | 47887 4 | 26 | 42 225.25/225.35 c 197s | 15 | 874005 | 115432 | 47887 4 | 26 | 42 227.25/227.36 c 199s | 15 | 884336 | 116432 | 47887 4 | 26 | 42 229.97/230.03 c 202s | 15 | 894587 | 117532 | 47887 4 | 26 | 42 231.96/232.07 c 204s | 15 | 902362 | 118732 | 52676 4 | 26 | 42 234.06/234.16 c 206s | 15 | 914618 | 120032 | 52676 4 | 26 | 42 236.16/236.24 c 208s | 15 | 921845 | 121332 | 52676 4 | 26 | 42 238.26/238.37 c 210s | 15 | 933942 | 122732 | 52676 4 | 26 | 42 240.46/240.52 c 212s | 15 | 945490 | 124032 | 52676 4 | 26 | 42 242.46/242.59 c 214s | 15 | 955003 | 125232 | 52676 4 | 26 | 42 244.55/244.66 c 216s | 15 | 963426 | 126432 | 52676 4 | 26 | 42 246.75/246.81 c 219s | 15 | 972544 | 127632 | 52676 4 | 26 | 42 248.75/248.85 c 221s | 15 | 978431 | 128732 | 52676 4 | 26 | 42 250.95/251.02 c 223s | 15 | 984170 | 130132 | 52676 4 | 26 | 42 253.06/253.13 c 225s | 15 | 990760 | 131332 | 52676 4 | 26 | 42 253.45/253.57 c 225s | 16 | 992091 | 131552 | 52676 4 | 26 | 42 255.55/255.60 c 227s | 16 | 1000701 | 132552 | 52676 4 | 26 | 42 257.55/257.68 c 229s | 16 | 1007013 | 133652 | 52676 4 | 26 | 42 259.66/259.76 c 232s | 16 | 1012895 | 134752 | 52676 4 | 26 | 42 261.76/261.84 c 234s | 16 | 1020002 | 135852 | 52676 4 | 26 | 42 263.85/263.92 c 236s | 16 | 1027028 | 136952 | 52676 4 | 26 | 42 265.95/266.08 c 238s | 16 | 1032380 | 138052 | 52676 4 | 26 | 42 267.95/268.09 c 240s | 16 | 1037567 | 139152 | 52676 4 | 26 | 42 270.05/270.10 c 242s | 16 | 1043999 | 140252 | 52676 4 | 26 | 42 272.05/272.10 c 244s | 16 | 1049782 | 141252 | 52676 4 | 26 | 42 274.05/274.17 c 246s | 16 | 1055956 | 142352 | 52676 4 | 26 | 42 276.06/276.18 c 248s | 16 | 1061295 | 143552 | 52676 5 | 26 | 42 278.05/278.19 c 250s | 16 | 1067719 | 144652 | 52676 5 | 26 | 42 280.15/280.23 c 252s | 16 | 1078252 | 145952 | 52676 5 | 26 | 42 282.25/282.38 c 254s | 16 | 1085219 | 147252 | 52676 5 | 26 | 42 284.45/284.51 c 256s | 16 | 1091060 | 148652 | 52676 5 | 26 | 42 298.34/298.44 c 270s | 16 | 1096614 | 149752 | 52676 5 | 26 | 42 300.44/300.54 c 272s | 16 | 1105857 | 150752 | 52676 5 | 26 | 42 302.55/302.69 c 274s | 16 | 1119558 | 152152 | 52676 5 | 26 | 42 304.75/304.86 c 277s | 16 | 1130719 | 153452 | 52676 5 | 26 | 42 306.74/306.88 c 279s | 16 | 1144265 | 154752 | 52676 5 | 26 | 42 308.94/309.01 c 281s | 16 | 1154438 | 156052 | 52676 5 | 26 | 42 310.94/311.09 c 283s | 16 | 1168258 | 157452 | 52676 5 | 26 | 42 313.04/313.17 c 285s | 16 | 1178681 | 158652 | 52676 5 | 26 | 42 315.14/315.25 c 287s | 16 | 1186127 | 159952 | 52676 5 | 26 | 42 317.24/317.39 c 289s | 16 | 1192273 | 161252 | 52676 5 | 26 | 42 319.44/319.53 c 291s | 16 | 1200692 | 162552 | 52676 5 | 26 | 42 321.44/321.54 c 293s | 16 | 1210214 | 163852 | 52676 5 | 26 | 42 323.54/323.65 c 295s | 16 | 1216734 | 164952 | 52676 5 | 26 | 42 325.54/325.68 c 297s | 16 | 1223655 | 165952 | 52676 5 | 26 | 42 327.64/327.73 c 300s | 16 | 1229308 | 166952 | 52676 5 | 26 | 42 329.64/329.75 c 302s | 16 | 1234256 | 167952 | 52676 5 | 26 | 42 331.74/331.84 c 304s | 16 | 1238307 | 168952 | 52676 5 | 26 | 42 333.84/333.92 c 306s | 16 | 1244280 | 170152 | 52676 5 | 26 | 42 335.93/336.04 c 308s | 16 | 1252029 | 171452 | 52676 5 | 26 | 42 338.03/338.15 c 310s | 16 | 1259092 | 172452 | 52676 6 | 26 | 42 340.23/340.31 c 312s | 16 | 1265915 | 173752 | 52676 6 | 26 | 42 342.33/342.47 c 314s | 16 | 1272312 | 174952 | 52676 6 | 26 | 42 344.43/344.52 c 316s | 16 | 1279788 | 176052 | 52676 6 | 26 | 42 346.44/346.59 c 318s | 16 | 1287943 | 177252 | 52676 6 | 26 | 42 348.53/348.66 c 320s | 16 | 1293264 | 178452 | 52676 6 | 26 | 42 350.63/350.76 c 323s | 16 | 1304748 | 179652 | 52676 6 | 26 | 42 352.73/352.81 c 325s | 16 | 1309264 | 180752 | 52676 6 | 26 | 42 354.83/354.93 c 327s | 16 | 1315830 | 181852 | 52676 6 | 26 | 42 356.93/357.07 c 329s | 16 | 1323474 | 182952 | 52676 6 | 26 | 42 359.03/359.15 c 331s | 16 | 1329645 | 184152 | 57944 6 | 26 | 42 361.23/361.31 c 333s | 16 | 1337196 | 185352 | 57944 6 | 26 | 42 363.33/363.45 c 335s | 16 | 1342867 | 186352 | 57944 6 | 26 | 42 365.43/365.55 c 337s | 16 | 1349295 | 187452 | 57944 6 | 26 | 42 367.63/367.71 c 339s | 16 | 1355731 | 188552 | 57944 6 | 26 | 42 369.73/369.80 c 342s | 16 | 1366086 | 189652 | 57944 6 | 26 | 42 371.74/371.89 c 344s | 16 | 1371545 | 190752 | 57944 6 | 26 | 42 373.83/373.99 c 346s | 16 | 1378845 | 191852 | 57944 6 | 26 | 42 376.03/376.11 c 348s | 16 | 1383342 | 193152 | 57944 6 | 26 | 42 378.13/378.25 c 350s | 16 | 1391027 | 194252 | 57944 6 | 26 | 42 380.33/380.42 c 352s | 16 | 1398672 | 195652 | 57944 6 | 26 | 42 382.33/382.43 c 354s | 16 | 1403529 | 196552 | 57944 6 | 26 | 42 384.13/384.29 c 356s | 17 | 1407559 | 197432 | 57944 6 | 26 | 42 386.23/386.39 c 358s | 17 | 1413764 | 198432 | 57944 6 | 26 | 42 388.33/388.45 c 360s | 17 | 1418215 | 199332 | 57944 6 | 26 | 42 390.43/390.54 c 362s | 17 | 1422324 | 200332 | 57944 6 | 26 | 42 392.42/392.56 c 364s | 17 | 1425774 | 201232 | 57944 6 | 26 | 42 394.52/394.62 c 366s | 17 | 1429323 | 202132 | 57944 6 | 26 | 42 399.43/399.53 c 371s | 17 | 1432092 | 202932 | 57944 6 | 26 | 42 401.53/401.66 c 373s | 17 | 1434844 | 203232 | 57944 6 | 26 | 42 403.63/403.75 c 376s | 17 | 1439791 | 204132 | 57944 6 | 26 | 42 407.03/407.16 c 379s | 17 | 1446560 | 204932 | 57944 7 | 26 | 42 409.13/409.26 c 381s | 17 | 1455205 | 205932 | 57944 7 | 26 | 42 411.22/411.32 c 383s | 17 | 1463456 | 207032 | 57944 7 | 26 | 42 413.53/413.66 c 385s | 17 | 1470600 | 207932 | 57944 7 | 26 | 42 415.62/415.74 c 388s | 17 | 1483964 | 209132 | 57944 7 | 26 | 42 417.82/417.92 c 390s | 17 | 1494613 | 210532 | 57944 7 | 26 | 42 419.82/419.92 c 392s | 17 | 1500415 | 211732 | 57944 7 | 26 | 42 421.92/422.01 c 394s | 17 | 1505231 | 213132 | 57944 7 | 26 | 42 423.92/424.10 c 396s | 17 | 1511612 | 214232 | 57944 7 | 26 | 42 426.12/426.23 c 398s | 17 | 1521215 | 215432 | 57944 7 | 26 | 42 428.12/428.25 c 400s | 17 | 1528467 | 216432 | 57944 7 | 26 | 42 430.22/430.37 c 402s | 17 | 1535452 | 217532 | 57944 7 | 26 | 42 432.33/432.48 c 404s | 17 | 1541720 | 218532 | 57944 7 | 26 | 42 434.53/434.64 c 406s | 17 | 1546919 | 219532 | 57944 7 | 26 | 42 436.62/436.76 c 409s | 17 | 1556270 | 220632 | 57944 7 | 26 | 42 438.72/438.88 c 411s | 17 | 1561068 | 221632 | 57944 7 | 26 | 42 440.92/441.04 c 413s | 17 | 1566546 | 222532 | 57944 7 | 26 | 42 443.02/443.16 c 415s | 17 | 1572065 | 223532 | 57944 7 | 26 | 42 445.22/445.34 c 417s | 17 | 1576834 | 224832 | 57944 7 | 26 | 42 447.22/447.36 c 419s | 17 | 1583035 | 225932 | 57944 7 | 26 | 42 449.32/449.49 c 421s | 17 | 1588417 | 227032 | 57944 7 | 26 | 42 451.42/451.57 c 423s | 17 | 1592955 | 228032 | 57944 7 | 26 | 42 453.52/453.64 c 425s | 17 | 1598772 | 229032 | 57944 7 | 26 | 42 455.61/455.73 c 428s | 17 | 1605830 | 230032 | 57944 7 | 26 | 42 457.81/457.96 c 430s | 17 | 1611264 | 230932 | 57944 7 | 26 | 42 460.12/460.21 c 432s | 17 | 1616469 | 231932 | 57944 7 | 26 | 42 462.12/462.21 c 434s | 17 | 1620093 | 232732 | 57944 7 | 26 | 42 464.23/464.32 c 436s | 17 | 1626022 | 233632 | 57944 7 | 26 | 42 466.22/466.38 c 438s | 17 | 1630663 | 234532 | 57944 7 | 26 | 42 468.32/468.41 c 440s | 17 | 1636867 | 235432 | 57944 7 | 26 | 42 470.42/470.53 c 442s | 17 | 1640664 | 236332 | 57944 7 | 26 | 42 472.52/472.63 c 444s | 17 | 1643514 | 236932 | 57944 8 | 26 | 42 474.72/474.84 c 447s | 17 | 1652288 | 238132 | 57944 8 | 26 | 42 476.82/476.95 c 449s | 17 | 1658979 | 239332 | 57944 8 | 26 | 42 478.92/479.05 c 451s | 17 | 1664350 | 240432 | 57944 8 | 26 | 42 480.92/481.08 c 453s | 17 | 1672102 | 241532 | 57944 8 | 26 | 42 483.02/483.19 c 455s | 17 | 1677971 | 242732 | 57944 8 | 26 | 42 485.13/485.28 c 457s | 17 | 1686079 | 243832 | 57944 8 | 26 | 42 487.32/487.41 c 459s | 17 | 1691797 | 245132 | 57944 8 | 26 | 42 489.32/489.50 c 461s | 17 | 1696961 | 246232 | 57944 8 | 26 | 42 491.52/491.62 c 463s | 17 | 1703097 | 247232 | 57944 8 | 26 | 42 493.72/493.81 c 466s | 17 | 1708982 | 248332 | 57944 8 | 26 | 42 495.82/495.93 c 468s | 17 | 1713318 | 249332 | 57944 8 | 26 | 42 497.92/498.05 c 470s | 17 | 1720831 | 250432 | 57944 8 | 26 | 42 500.02/500.17 c 472s | 17 | 1726963 | 251532 | 57944 8 | 26 | 42 502.21/502.35 c 474s | 17 | 1733313 | 252532 | 57944 8 | 26 | 42 504.31/504.48 c 476s | 17 | 1740206 | 253532 | 57944 8 | 26 | 42 506.41/506.52 c 478s | 17 | 1745435 | 254632 | 57944 8 | 26 | 42 508.51/508.63 c 480s | 17 | 1752397 | 255632 | 57944 8 | 26 | 42 510.51/510.66 c 482s | 17 | 1758497 | 256532 | 57944 8 | 26 | 42 512.52/512.66 c 484s | 17 | 1763558 | 257432 | 57944 8 | 26 | 42 514.61/514.75 c 487s | 17 | 1769471 | 258532 | 57944 8 | 26 | 42 516.71/516.82 c 489s | 17 | 1774048 | 259532 | 57944 8 | 26 | 42 518.71/518.88 c 491s | 17 | 1778146 | 259932 | 57944 8 | 26 | 42 520.81/520.92 c 493s | 17 | 1781425 | 260532 | 57944 8 | 26 | 42 522.91/523.05 c 495s | 17 | 1788553 | 261532 | 57944 8 | 26 | 42 525.11/525.23 c 497s | 17 | 1795481 | 262432 | 57944 8 | 26 | 42 527.31/527.44 c 499s | 17 | 1800682 | 263332 | 57944 8 | 26 | 42 529.41/529.58 c 501s | 17 | 1806170 | 264332 | 57944 8 | 26 | 42 531.61/531.76 c 504s | 17 | 1811046 | 265332 | 57944 8 | 26 | 42 533.80/533.98 c 506s | 17 | 1819164 | 266432 | 57944 8 | 26 | 42 536.60/536.76 c 509s | 17 | 1824433 | 267232 | 57944 9 | 26 | 42 546.71/546.82 c 519s | 17 | 1829691 | 267732 | 57944 9 | 26 | 42 548.81/548.99 c 521s | 17 | 1839432 | 269032 | 57944 9 | 26 | 42 550.90/551.05 c 523s | 17 | 1849101 | 270232 | 57944 9 | 26 | 42 553.00/553.13 c 525s | 17 | 1856898 | 271432 | 57944 9 | 26 | 42 555.00/555.13 c 527s | 17 | 1862497 | 272432 | 57944 9 | 26 | 42 557.10/557.22 c 529s | 17 | 1868112 | 273532 | 57944 9 | 26 | 42 559.21/559.34 c 531s | 17 | 1876067 | 274732 | 57944 9 | 26 | 42 561.31/561.44 c 533s | 17 | 1883741 | 275832 | 57944 9 | 26 | 42 563.31/563.44 c 535s | 17 | 1890027 | 276732 | 57944 9 | 26 | 42 565.31/565.45 c 537s | 17 | 1896601 | 277832 | 57944 9 | 26 | 42 567.41/567.56 c 539s | 17 | 1902358 | 278832 | 57944 9 | 26 | 42 569.51/569.70 c 541s | 17 | 1914366 | 280032 | 57944 9 | 26 | 42 571.61/571.73 c 544s | 17 | 1922207 | 281232 | 57944 9 | 26 | 42 573.71/573.89 c 546s | 17 | 1928807 | 282432 | 63739 9 | 26 | 42 575.81/575.91 c 548s | 17 | 1935577 | 283532 | 63739 9 | 26 | 42 577.91/578.06 c 550s | 17 | 1942184 | 284632 | 63739 9 | 26 | 42 579.90/580.06 c 552s | 17 | 1948920 | 285532 | 63739 9 | 26 | 42 582.10/582.21 c 554s | 17 | 1957568 | 286532 | 63739 9 | 26 | 42 584.30/584.41 c 556s | 17 | 1962468 | 287532 | 63739 9 | 26 | 42 586.40/586.51 c 558s | 17 | 1968463 | 288532 | 63739 9 | 26 | 42 588.41/588.58 c 560s | 17 | 1976050 | 289632 | 63739 9 | 26 | 42 590.50/590.61 c 562s | 17 | 1981447 | 290532 | 63739 9 | 26 | 42 592.50/592.64 c 564s | 17 | 1987233 | 291432 | 63739 9 | 26 | 42 594.50/594.65 c 566s | 17 | 1998116 | 292432 | 63739 9 | 26 | 42 596.70/596.81 c 569s | 17 | 2006028 | 293432 | 63739 9 | 26 | 42 598.80/598.98 c 571s | 17 | 2015476 | 294532 | 63739 9 | 26 | 42 600.90/601.03 c 573s | 17 | 2020222 | 295432 | 63739 9 | 26 | 42 605.70/605.86 c 578s | 17 | 2024896 | 296132 | 63739 9 | 26 | 42 606.00/606.15 c 578s | 18 | 2025595 | 296252 | 63739 9 | 26 | 42 608.10/608.25 c 580s | 18 | 2033351 | 297052 | 63739 9 | 26 | 42 610.10/610.28 c 582s | 18 | 2045232 | 298052 | 63739 9 | 26 | 42 612.20/612.33 c 584s | 18 | 2052406 | 298952 | 63739 9 | 26 | 42 614.30/614.46 c 586s | 18 | 2057906 | 299852 | 63739 9 | 26 | 42 616.50/616.67 c 588s | 18 | 2064619 | 300952 | 63739 9 | 26 | 42 618.70/618.80 c 591s | 18 | 2070372 | 302052 | 63739 9 | 26 | 42 620.79/620.97 c 593s | 18 | 2078100 | 303052 | 63739 9 | 26 | 42 623.60/623.73 c 596s | 18 | 2083408 | 303852 | 63739 10 | 26 | 42 625.69/625.80 c 598s | 18 | 2088601 | 304452 | 63739 10 | 26 | 42 627.89/628.02 c 600s | 18 | 2095934 | 305552 | 63739 10 | 26 | 42 629.89/630.04 c 602s | 18 | 2104713 | 306752 | 63739 10 | 26 | 42 631.89/632.05 c 604s | 18 | 2113986 | 308052 | 63739 10 | 26 | 42 633.99/634.14 c 606s | 18 | 2122992 | 309352 | 63739 10 | 26 | 42 636.09/636.21 c 608s | 18 | 2130460 | 310552 | 63739 10 | 26 | 42 638.19/638.39 c 610s | 18 | 2138956 | 311752 | 63739 10 | 26 | 42 640.29/640.48 c 612s | 18 | 2145760 | 312952 | 63739 10 | 26 | 42 642.40/642.56 c 614s | 18 | 2154441 | 314052 | 63739 10 | 26 | 42 646.19/646.38 c 618s | 18 | 2158552 | 314852 | 63739 10 | 26 | 42 650.00/650.17 c 622s | 18 | 2159239 | 314952 | 63739 10 | 26 | 42 652.09/652.20 c 624s | 18 | 2170348 | 316152 | 63739 10 | 26 | 42 654.19/654.34 c 626s | 18 | 2178588 | 317452 | 63739 10 | 26 | 42 656.29/656.48 c 628s | 18 | 2187904 | 318752 | 63739 10 | 26 | 42 658.39/658.56 c 630s | 18 | 2197785 | 320052 | 63739 10 | 26 | 42 660.49/660.60 c 632s | 18 | 2206146 | 321352 | 63739 10 | 26 | 42 662.49/662.64 c 634s | 18 | 2215709 | 322652 | 63739 10 | 26 | 42 664.59/664.73 c 637s | 18 | 2222184 | 324052 | 63739 10 | 26 | 42 666.69/666.83 c 639s | 18 | 2231446 | 325352 | 63739 10 | 26 | 42 668.79/668.97 c 641s | 18 | 2243215 | 326652 | 63739 10 | 26 | 42 670.79/670.98 c 643s | 18 | 2252304 | 327852 | 63739 10 | 26 | 42 672.99/673.15 c 645s | 18 | 2262221 | 329052 | 63739 10 | 26 | 42 675.09/675.24 c 647s | 18 | 2270744 | 330152 | 63739 10 | 26 | 42 677.19/677.35 c 649s | 18 | 2277927 | 331352 | 63739 10 | 26 | 42 679.19/679.37 c 651s | 18 | 2287966 | 332552 | 63739 10 | 26 | 42 681.39/681.51 c 653s | 18 | 2294757 | 333752 | 63739 10 | 26 | 42 683.49/683.62 c 655s | 18 | 2301878 | 334852 | 63739 10 | 26 | 42 685.48/685.68 c 657s | 18 | 2310599 | 335852 | 63739 10 | 26 | 42 687.49/687.69 c 659s | 18 | 2323011 | 336952 | 63739 10 | 26 | 42 689.59/689.76 c 662s | 18 | 2329879 | 337952 | 63739 10 | 26 | 42 691.68/691.82 c 664s | 18 | 2337154 | 338952 | 63739 11 | 26 | 42 693.68/693.89 c 666s | 18 | 2344821 | 340152 | 63739 11 | 26 | 42 695.88/696.07 c 668s | 18 | 2354224 | 341352 | 63739 11 | 26 | 42 698.08/698.20 c 670s | 18 | 2364546 | 342652 | 63739 11 | 26 | 42 700.18/700.31 c 672s | 18 | 2372193 | 343852 | 63739 11 | 26 | 42 702.28/702.45 c 674s | 18 | 2379374 | 344952 | 63739 11 | 26 | 42 711.08/711.24 c 683s | 18 | 2383298 | 345552 | 63739 11 | 26 | 42 713.08/713.27 c 685s | 18 | 2392708 | 346552 | 63739 11 | 26 | 42 715.28/715.41 c 687s | 18 | 2402986 | 347752 | 63739 11 | 26 | 42 717.38/717.54 c 689s | 18 | 2414570 | 349052 | 63739 11 | 26 | 42 719.48/719.64 c 691s | 18 | 2424280 | 350252 | 63739 11 | 26 | 42 721.58/721.74 c 694s | 18 | 2437929 | 351452 | 63739 11 | 26 | 42 723.68/723.86 c 696s | 18 | 2444918 | 352652 | 63739 11 | 26 | 42 725.88/726.01 c 698s | 18 | 2454804 | 353852 | 63739 11 | 26 | 42 727.87/728.06 c 700s | 18 | 2463436 | 354952 | 63739 11 | 26 | 42 730.07/730.21 c 702s | 18 | 2470075 | 356052 | 63739 11 | 26 | 42 732.17/732.32 c 704s | 18 | 2478200 | 357052 | 63739 11 | 26 | 42 734.27/734.41 c 706s | 18 | 2486394 | 358152 | 63739 11 | 26 | 42 736.27/736.48 c 708s | 18 | 2493393 | 359252 | 63739 11 | 26 | 42 738.47/738.63 c 710s | 18 | 2501163 | 360352 | 63739 11 | 26 | 42 740.67/740.86 c 713s | 18 | 2507828 | 361552 | 63739 11 | 26 | 42 742.87/743.01 c 715s | 18 | 2512330 | 362552 | 63739 11 | 26 | 42 744.97/745.13 c 717s | 18 | 2517022 | 363452 | 63739 11 | 26 | 42 747.07/747.25 c 719s | 18 | 2523800 | 364552 | 63739 11 | 26 | 42 749.08/749.27 c 721s | 18 | 2531173 | 365552 | 63739 11 | 26 | 42 751.18/751.38 c 723s | 18 | 2538360 | 366452 | 63739 11 | 26 | 42 753.27/753.47 c 725s | 18 | 2543979 | 367352 | 63739 11 | 26 | 42 755.37/755.55 c 727s | 18 | 2551350 | 368252 | 63739 11 | 26 | 42 757.47/757.63 c 729s | 18 | 2555797 | 369252 | 63739 11 | 26 | 42 759.57/759.73 c 732s | 18 | 2565064 | 370252 | 63739 11 | 26 | 42 761.67/761.80 c 734s | 18 | 2571202 | 371152 | 63739 11 | 26 | 42 763.66/763.85 c 736s | 18 | 2576912 | 371952 | 63739 12 | 26 | 42 765.77/765.93 c 738s | 18 | 2586099 | 373052 | 63739 12 | 26 | 42 767.78/767.98 c 740s | 18 | 2592194 | 374052 | 63739 12 | 26 | 42 769.77/769.99 c 742s | 18 | 2600775 | 375252 | 63739 12 | 26 | 42 771.87/772.05 c 744s | 18 | 2608806 | 376452 | 63739 12 | 26 | 42 773.97/774.12 c 746s | 18 | 2613764 | 377152 | 63739 12 | 26 | 42 775.97/776.14 c 748s | 18 | 2623569 | 378352 | 63739 12 | 26 | 42 778.07/778.23 c 750s | 18 | 2631260 | 379552 | 63739 12 | 26 | 42 780.16/780.36 c 752s | 18 | 2638988 | 380852 | 63739 12 | 26 | 42 782.76/782.99 c 755s | 18 | 2645722 | 381952 | 63739 12 | 26 | 42 784.86/785.06 c 757s | 18 | 2655140 | 383152 | 63739 12 | 26 | 42 786.96/787.15 c 759s | 18 | 2660549 | 384352 | 63739 12 | 26 | 42 789.06/789.29 c 761s | 18 | 2667699 | 385452 | 63739 12 | 26 | 42 791.16/791.31 c 763s | 18 | 2676335 | 386552 | 63739 12 | 26 | 42 793.26/793.42 c 765s | 18 | 2682736 | 387752 | 63739 12 | 26 | 42 795.36/795.58 c 767s | 18 | 2690291 | 388952 | 63739 12 | 26 | 42 797.47/797.62 c 769s | 18 | 2700221 | 390152 | 63739 12 | 26 | 42 799.66/799.82 c 772s | 18 | 2712316 | 391252 | 63739 12 | 26 | 42 801.76/801.97 c 774s | 18 | 2720284 | 392352 | 63739 12 | 26 | 42 803.86/804.08 c 776s | 18 | 2727252 | 393452 | 63739 12 | 26 | 42 806.06/806.24 c 778s | 18 | 2734268 | 394452 | 63739 12 | 26 | 42 808.06/808.27 c 780s | 18 | 2740663 | 395452 | 63739 12 | 26 | 42 810.25/810.40 c 782s | 18 | 2746745 | 396552 | 63739 12 | 26 | 42 812.35/812.52 c 784s | 18 | 2753183 | 397652 | 63739 12 | 26 | 42 814.35/814.59 c 786s | 18 | 2759085 | 398652 | 63739 12 | 26 | 42 816.55/816.71 c 788s | 18 | 2765814 | 399552 | 63739 12 | 26 | 42 818.65/818.87 c 791s | 18 | 2771451 | 400452 | 63739 12 | 26 | 42 820.75/820.92 c 793s | 18 | 2776348 | 401252 | 63739 12 | 26 | 42 826.26/826.41 c 798s | 18 | 2778376 | 401552 | 63739 12 | 26 | 42 828.26/828.45 c 800s | 18 | 2787722 | 402552 | 63739 12 | 26 | 42 830.36/830.52 c 802s | 18 | 2796823 | 403752 | 63739 12 | 26 | 42 832.45/832.61 c 804s | 18 | 2806104 | 405052 | 63739 12 | 26 | 42 834.45/834.66 c 806s | 18 | 2811073 | 406052 | 63739 12 | 26 | 42 836.55/836.78 c 809s | 18 | 2817193 | 407252 | 63739 13 | 26 | 42 845.04/845.26 c 817s | 18 | 2821721 | 407852 | 63739 13 | 26 | 42 847.24/847.40 c 819s | 18 | 2836754 | 409252 | 63739 13 | 26 | 42 849.33/849.59 c 821s | 18 | 2846821 | 410452 | 63739 13 | 26 | 42 851.43/851.69 c 823s | 18 | 2855099 | 411852 | 63739 13 | 26 | 42 853.63/853.85 c 826s | 18 | 2867413 | 413252 | 63739 13 | 26 | 42 855.64/855.86 c 828s | 18 | 2875186 | 414552 | 63739 13 | 26 | 42 857.63/857.86 c 830s | 18 | 2882367 | 415752 | 63739 13 | 26 | 42 859.74/859.92 c 832s | 18 | 2887981 | 416852 | 63739 13 | 26 | 42 861.84/862.08 c 834s | 18 | 2893813 | 418052 | 63739 13 | 26 | 42 863.93/864.17 c 836s | 18 | 2900395 | 419252 | 63739 13 | 26 | 42 866.03/866.20 c 838s | 18 | 2908411 | 420452 | 63739 13 | 26 | 42 868.03/868.21 c 840s | 18 | 2915928 | 421552 | 63739 13 | 26 | 42 870.13/870.36 c 842s | 18 | 2928934 | 422852 | 63739 13 | 26 | 42 872.33/872.52 c 844s | 18 | 2940148 | 424052 | 63739 13 | 26 | 42 874.43/874.68 c 846s | 18 | 2946312 | 425152 | 63739 13 | 26 | 42 876.53/876.76 c 849s | 18 | 2955260 | 426252 | 63739 13 | 26 | 42 878.62/878.87 c 851s | 18 | 2962361 | 427452 | 63739 13 | 26 | 42 880.72/880.97 c 853s | 18 | 2968603 | 428552 | 70113 13 | 26 | 42 882.82/883.06 c 855s | 18 | 2974327 | 429652 | 70113 13 | 26 | 42 884.92/885.13 c 857s | 18 | 2979251 | 430652 | 70113 13 | 26 | 42 886.92/887.15 c 859s | 18 | 2985486 | 431552 | 70113 13 | 26 | 42 909.21/909.41 c 881s | 18 | 2989027 | 432152 | 70113 13 | 26 | 42 911.31/911.54 c 883s | 18 | 2996994 | 433152 | 70113 13 | 26 | 42 913.41/913.63 c 885s | 18 | 3003535 | 433952 | 70113 13 | 26 | 42 915.41/915.66 c 887s | 18 | 3011314 | 434752 | 70113 13 | 26 | 42 917.61/917.85 c 890s | 18 | 3018066 | 435752 | 70113 13 | 26 | 42 919.70/919.92 c 892s | 18 | 3025746 | 436652 | 70113 13 | 26 | 42 921.80/922.04 c 894s | 18 | 3032541 | 437652 | 70113 13 | 26 | 42 924.10/924.33 c 896s | 18 | 3039033 | 438552 | 70113 13 | 26 | 42 926.10/926.38 c 898s | 18 | 3046350 | 439452 | 70113 13 | 26 | 42 928.20/928.45 c 900s | 18 | 3055761 | 440352 | 70113 13 | 26 | 42 930.40/930.63 c 902s | 18 | 3062212 | 441152 | 70113 13 | 26 | 42 932.49/932.78 c 905s | 18 | 3068376 | 441952 | 70113 13 | 26 | 42 934.80/935.02 c 907s | 18 | 3074471 | 442752 | 70113 13 | 26 | 42 937.00/937.27 c 909s | 18 | 3080345 | 443552 | 70113 13 | 26 | 42 939.09/939.34 c 911s | 18 | 3085922 | 444452 | 70113 13 | 26 | 42 939.19/939.42 c 911s | 19 | 3086233 | 444482 | 70113 13 | 26 | 42 941.19/941.48 c 913s | 19 | 3091982 | 444882 | 70113 14 | 26 | 42 945.59/945.83 c 918s | 19 | 3094014 | 445282 | 70113 14 | 26 | 42 947.69/947.93 c 920s | 19 | 3106633 | 446682 | 70113 14 | 26 | 42 949.68/949.93 c 922s | 19 | 3114687 | 447882 | 70113 14 | 26 | 42 951.68/951.98 c 924s | 19 | 3127284 | 449282 | 70113 14 | 26 | 42 953.78/954.07 c 926s | 19 | 3135065 | 450582 | 70113 14 | 26 | 42 955.98/956.21 c 928s | 19 | 3141555 | 451782 | 70113 14 | 26 | 42 957.99/958.27 c 930s | 19 | 3148338 | 452882 | 70113 14 | 26 | 42 962.58/962.88 c 935s | 19 | 3153897 | 453682 | 70113 14 | 26 | 42 964.59/964.89 c 937s | 19 | 3160819 | 454782 | 70113 14 | 26 | 42 966.69/966.98 c 939s | 19 | 3171982 | 456082 | 70113 14 | 26 | 42 968.89/969.15 c 941s | 19 | 3179666 | 457182 | 70113 14 | 26 | 42 970.98/971.26 c 943s | 19 | 3188037 | 458382 | 70113 14 | 26 | 42 973.18/973.45 c 945s | 19 | 3195669 | 459582 | 70113 14 | 26 | 42 975.28/975.50 c 947s | 19 | 3203366 | 460782 | 70113 14 | 26 | 42 977.38/977.67 c 949s | 19 | 3209601 | 461982 | 70113 14 | 26 | 42 979.58/979.83 c 952s | 19 | 3216030 | 463182 | 70113 14 | 26 | 42 981.58/981.89 c 954s | 19 | 3223866 | 464282 | 70113 14 | 26 | 42 983.68/983.94 c 956s | 19 | 3233876 | 465482 | 70113 14 | 26 | 42 985.78/986.02 c 958s | 19 | 3246509 | 466682 | 70113 14 | 26 | 42 987.87/988.10 c 960s | 19 | 3253464 | 467782 | 70113 14 | 26 | 42 989.88/990.12 c 962s | 19 | 3260988 | 468882 | 70113 14 | 26 | 42 992.08/992.31 c 964s | 19 | 3267192 | 469882 | 70113 14 | 26 | 42 994.07/994.37 c 966s | 19 | 3273453 | 470982 | 70113 14 | 26 | 42 996.17/996.45 c 968s | 19 | 3282454 | 472082 | 70113 14 | 26 | 42 998.27/998.55 c 970s | 19 | 3286954 | 473082 | 70113 14 | 26 | 42 1000.27/1000.59 c 972s | 19 | 3293776 | 474182 | 70113 14 | 26 | 42 1002.57/1002.84 c 975s | 19 | 3302812 | 475282 | 70113 14 | 26 | 42 1004.57/1004.89 c 977s | 19 | 3311734 | 476282 | 70113 14 | 26 | 42 1006.67/1006.96 c 979s | 19 | 3319378 | 477282 | 70113 14 | 26 | 42 1008.76/1009.01 c 981s | 19 | 3325931 | 478282 | 70113 14 | 26 | 42 1010.77/1011.09 c 983s | 19 | 3333399 | 479382 | 70113 14 | 26 | 42 1012.87/1013.17 c 985s | 19 | 3339551 | 480382 | 70113 14 | 26 | 42 1014.96/1015.25 c 987s | 19 | 3346676 | 481482 | 70113 14 | 26 | 42 1017.16/1017.43 c 989s | 19 | 3351488 | 482382 | 70113 15 | 26 | 42 1019.26/1019.57 c 991s | 19 | 3358258 | 483482 | 70113 15 | 26 | 42 1021.46/1021.71 c 993s | 19 | 3370190 | 484682 | 70113 15 | 26 | 42 1023.46/1023.76 c 996s | 19 | 3376479 | 485782 | 70113 15 | 26 | 42 1025.56/1025.89 c 998s | 19 | 3383497 | 486882 | 70113 15 | 26 | 42 1027.66/1027.94 c 1000s | 19 | 3391122 | 487982 | 70113 15 | 26 | 42 1042.66/1043.00 c 1015s | 19 | 3397042 | 488782 | 70113 15 | 26 | 42 1058.85/1059.16 c 1031s | 19 | 3403292 | 489482 | 70113 15 | 26 | 42 1061.05/1061.35 c 1033s | 19 | 3412934 | 490582 | 70113 15 | 26 | 42 1063.25/1063.50 c 1035s | 19 | 3424619 | 491782 | 70113 15 | 26 | 42 1065.25/1065.53 c 1037s | 19 | 3430772 | 492882 | 70113 15 | 26 | 42 1067.25/1067.54 c 1039s | 19 | 3437349 | 493782 | 70113 15 | 26 | 42 1069.35/1069.69 c 1041s | 19 | 3446027 | 494782 | 70113 15 | 26 | 42 1071.45/1071.72 c 1044s | 19 | 3454615 | 495782 | 70113 15 | 26 | 42 1073.54/1073.80 c 1046s | 19 | 3460386 | 496782 | 70113 15 | 26 | 42 1075.65/1075.97 c 1048s | 19 | 3466580 | 497782 | 70113 15 | 26 | 42 1077.75/1078.10 c 1050s | 19 | 3475567 | 498982 | 70113 15 | 26 | 42 1079.84/1080.16 c 1052s | 19 | 3481998 | 500082 | 70113 15 | 26 | 42 1081.84/1082.19 c 1054s | 19 | 3488393 | 501082 | 70113 15 | 26 | 42 1084.04/1084.33 c 1056s | 19 | 3493653 | 502082 | 70113 15 | 26 | 42 1086.14/1086.41 c 1058s | 19 | 3498676 | 502982 | 70113 15 | 26 | 42 1088.14/1088.47 c 1060s | 19 | 3505662 | 503982 | 70113 15 | 26 | 42 1090.33/1090.62 c 1062s | 19 | 3515658 | 504982 | 70113 15 | 26 | 42 1092.33/1092.65 c 1064s | 19 | 3523831 | 505982 | 70113 15 | 26 | 42 1094.53/1094.81 c 1067s | 19 | 3528905 | 506882 | 70113 15 | 26 | 42 1096.63/1096.94 c 1069s | 19 | 3536104 | 507782 | 70113 15 | 26 | 42 1098.74/1099.08 c 1071s | 19 | 3541525 | 508682 | 70113 15 | 26 | 42 1101.03/1101.30 c 1073s | 19 | 3546551 | 509582 | 70113 15 | 26 | 42 1103.13/1103.48 c 1075s | 19 | 3551487 | 510382 | 70113 15 | 26 | 42 1105.33/1105.62 c 1077s | 19 | 3557216 | 511282 | 70113 15 | 26 | 42 1107.53/1107.88 c 1080s | 19 | 3563627 | 512182 | 70113 15 | 26 | 42 1109.82/1110.18 c 1082s | 19 | 3570319 | 513082 | 70113 15 | 26 | 42 1111.93/1112.27 c 1084s | 19 | 3577699 | 513982 | 70113 15 | 26 | 42 1114.03/1114.36 c 1086s | 19 | 3583710 | 514882 | 70113 15 | 26 | 42 1116.12/1116.46 c 1088s | 19 | 3592299 | 515782 | 70113 15 | 26 | 42 1118.32/1118.61 c 1090s | 19 | 3599876 | 516682 | 70113 15 | 26 | 42 1120.32/1120.64 c 1092s | 19 | 3604370 | 517382 | 70113 15 | 26 | 42 1122.42/1122.73 c 1095s | 19 | 3609732 | 518282 | 70113 15 | 26 | 42 1124.52/1124.81 c 1097s | 19 | 3614352 | 519182 | 70113 15 | 26 | 42 1127.01/1127.39 c 1099s | 19 | 3619213 | 519882 | 70113 16 | 26 | 42 1129.11/1129.48 c 1101s | 19 | 3627868 | 521182 | 70113 16 | 26 | 42 1131.31/1131.63 c 1103s | 19 | 3633686 | 522382 | 70113 16 | 26 | 42 1135.11/1135.45 c 1107s | 19 | 3634350 | 522482 | 70113 16 | 26 | 42 1137.22/1137.55 c 1109s | 19 | 3642706 | 523682 | 70113 16 | 26 | 42 1139.21/1139.57 c 1111s | 19 | 3652424 | 524882 | 70113 16 | 26 | 42 1141.21/1141.59 c 1113s | 19 | 3662285 | 526182 | 70113 16 | 26 | 42 1143.31/1143.62 c 1115s | 19 | 3668616 | 527382 | 70113 16 | 26 | 42 1145.50/1145.81 c 1118s | 19 | 3673902 | 528582 | 70113 16 | 26 | 42 1147.50/1147.86 c 1120s | 19 | 3680038 | 529682 | 70113 16 | 26 | 42 1149.70/1150.07 c 1122s | 19 | 3685842 | 530782 | 70113 16 | 26 | 42 1151.90/1152.22 c 1124s | 19 | 3691549 | 531882 | 70113 16 | 26 | 42 1154.10/1154.42 c 1126s | 19 | 3696831 | 532982 | 70113 16 | 26 | 42 1156.10/1156.47 c 1128s | 19 | 3701046 | 533882 | 70113 16 | 26 | 42 1158.20/1158.51 c 1130s | 19 | 3705950 | 534882 | 70113 16 | 26 | 42 1160.20/1160.57 c 1132s | 19 | 3712690 | 535882 | 70113 16 | 26 | 42 1162.40/1162.80 c 1135s | 19 | 3717325 | 536882 | 70113 16 | 26 | 42 1164.60/1164.99 c 1137s | 19 | 3723002 | 537882 | 70113 16 | 26 | 42 1166.60/1166.99 c 1139s | 19 | 3727509 | 538782 | 70113 16 | 26 | 42 1168.79/1169.18 c 1141s | 19 | 3732392 | 539682 | 70113 16 | 26 | 42 1170.89/1171.24 c 1143s | 19 | 3737805 | 540482 | 70113 16 | 26 | 42 1172.89/1173.26 c 1145s | 19 | 3743070 | 541382 | 70113 16 | 26 | 42 1174.99/1175.35 c 1147s | 19 | 3747841 | 542282 | 70113 16 | 26 | 42 1177.09/1177.45 c 1149s | 19 | 3752183 | 543082 | 70113 16 | 26 | 42 1179.29/1179.67 c 1151s | 19 | 3755538 | 543782 | 70113 16 | 26 | 42 1181.49/1181.89 c 1154s | 19 | 3759956 | 544582 | 70113 16 | 26 | 42 1183.69/1184.00 c 1156s | 19 | 3764970 | 545382 | 70113 16 | 26 | 42 1185.79/1186.19 c 1158s | 19 | 3770691 | 546182 | 70113 16 | 26 | 42 1187.89/1188.24 c 1160s | 19 | 3777175 | 547182 | 70113 16 | 26 | 42 1189.99/1190.36 c 1162s | 19 | 3783359 | 548182 | 70113 16 | 26 | 42 1192.09/1192.46 c 1164s | 19 | 3794977 | 549282 | 70113 16 | 26 | 42 1194.09/1194.46 c 1166s | 19 | 3802168 | 550382 | 70113 16 | 26 | 42 1196.09/1196.48 c 1168s | 19 | 3810131 | 551382 | 70113 16 | 26 | 42 1198.28/1198.60 c 1170s | 19 | 3818460 | 552482 | 70113 16 | 26 | 42 1200.28/1200.67 c 1172s | 19 | 3825284 | 553382 | 70113 16 | 26 | 42 1202.48/1202.87 c 1175s | 19 | 3834587 | 554482 | 70113 16 | 26 | 42 1204.58/1204.98 c 1177s | 19 | 3843506 | 555382 | 70113 16 | 26 | 42 1206.68/1207.06 c 1179s | 19 | 3848588 | 556382 | 70113 16 | 26 | 42 1208.88/1209.25 c 1181s | 19 | 3854559 | 557182 | 70113 17 | 26 | 42 1210.98/1211.35 c 1183s | 19 | 3863608 | 558382 | 70113 17 | 26 | 42 1213.08/1213.49 c 1185s | 19 | 3871121 | 559582 | 70113 17 | 26 | 42 1215.18/1215.56 c 1187s | 19 | 3877929 | 560682 | 70113 17 | 26 | 42 1217.28/1217.68 c 1189s | 19 | 3884596 | 561782 | 70113 17 | 26 | 42 1219.37/1219.70 c 1191s | 19 | 3888947 | 562782 | 70113 17 | 26 | 42 1221.47/1221.82 c 1194s | 19 | 3895504 | 564082 | 70113 17 | 26 | 42 1223.47/1223.87 c 1196s | 19 | 3900908 | 565182 | 70113 17 | 26 | 42 1225.57/1225.94 c 1198s | 19 | 3905655 | 566182 | 70113 17 | 26 | 42 1238.67/1239.02 c 1211s | 19 | 3911530 | 567082 | 70113 17 | 26 | 42 1240.67/1241.02 c 1213s | 19 | 3921910 | 568082 | 70113 17 | 26 | 42 1242.78/1243.17 c 1215s | 19 | 3927059 | 569182 | 70113 17 | 26 | 42 1244.88/1245.24 c 1217s | 19 | 3935157 | 570182 | 70113 17 | 26 | 42 1246.97/1247.39 c 1219s | 19 | 3946629 | 571382 | 70113 17 | 26 | 42 1249.17/1249.53 c 1221s | 19 | 3957550 | 572382 | 70113 17 | 26 | 42 1251.16/1251.57 c 1223s | 19 | 3971167 | 573382 | 70113 17 | 26 | 42 1253.16/1253.59 c 1225s | 19 | 3981942 | 574382 | 70113 17 | 26 | 42 1255.26/1255.68 c 1227s | 19 | 3993621 | 575382 | 70113 17 | 26 | 42 1257.36/1257.70 c 1229s | 19 | 4002178 | 576482 | 70113 17 | 26 | 42 1259.36/1259.72 c 1231s | 19 | 4008084 | 577482 | 70113 17 | 26 | 42 1261.37/1261.79 c 1234s | 19 | 4017704 | 578682 | 70113 17 | 26 | 42 1263.57/1263.94 c 1236s | 19 | 4024104 | 580082 | 70113 17 | 26 | 42 1265.66/1266.07 c 1238s | 19 | 4030014 | 581082 | 70113 17 | 26 | 42 1267.76/1268.14 c 1240s | 19 | 4034949 | 581982 | 70113 17 | 26 | 42 1269.75/1270.17 c 1242s | 19 | 4043754 | 582782 | 70113 17 | 26 | 42 1271.95/1272.37 c 1244s | 19 | 4052022 | 583782 | 70113 17 | 26 | 42 1274.05/1274.42 c 1246s | 19 | 4056798 | 584582 | 70113 17 | 26 | 42 1276.15/1276.51 c 1248s | 19 | 4062161 | 585682 | 70113 17 | 26 | 42 1278.25/1278.66 c 1250s | 19 | 4070409 | 586582 | 70113 17 | 26 | 42 1280.35/1280.76 c 1253s | 19 | 4077540 | 587382 | 70113 17 | 26 | 42 1282.45/1282.89 c 1255s | 19 | 4081987 | 588082 | 70113 17 | 26 | 42 1284.75/1285.13 c 1257s | 19 | 4087849 | 588782 | 70113 17 | 26 | 42 1286.85/1287.27 c 1259s | 19 | 4092476 | 589482 | 70113 17 | 26 | 42 1288.95/1289.39 c 1261s | 19 | 4096688 | 590182 | 70113 17 | 26 | 42 1291.05/1291.44 c 1263s | 19 | 4102267 | 590882 | 70113 17 | 26 | 42 1293.14/1293.53 c 1265s | 19 | 4109823 | 591582 | 70113 17 | 26 | 42 1295.14/1295.55 c 1267s | 19 | 4116782 | 592282 | 70113 17 | 26 | 42 1297.24/1297.61 c 1269s | 19 | 4124270 | 592982 | 70113 17 | 26 | 42 1299.44/1299.87 c 1272s | 19 | 4131019 | 593782 | 70113 17 | 26 | 42 1302.24/1302.63 c 1274s | 19 | 4137462 | 594482 | 70113 18 | 26 | 42 1304.35/1304.77 c 1277s | 19 | 4145810 | 595282 | 70113 18 | 26 | 42 1306.44/1306.83 c 1279s | 19 | 4150854 | 595982 | 70113 18 | 26 | 42 1308.43/1308.84 c 1281s | 19 | 4160356 | 597182 | 70113 18 | 26 | 42 1310.53/1310.91 c 1283s | 19 | 4170340 | 598382 | 70113 18 | 26 | 42 1312.63/1313.05 c 1285s | 19 | 4182342 | 599782 | 70113 18 | 26 | 42 1314.63/1315.09 c 1287s | 19 | 4192123 | 600982 | 70113 18 | 26 | 42 1316.83/1317.24 c 1289s | 19 | 4199881 | 602182 | 70113 18 | 26 | 42 1318.93/1319.39 c 1291s | 19 | 4207004 | 603382 | 70113 18 | 26 | 42 1321.03/1321.42 c 1293s | 19 | 4213481 | 604482 | 70113 18 | 26 | 42 1323.13/1323.50 c 1295s | 19 | 4219192 | 605482 | 70113 18 | 26 | 42 1325.13/1325.58 c 1297s | 19 | 4225828 | 606482 | 70113 18 | 26 | 42 1327.23/1327.68 c 1299s | 19 | 4231771 | 607482 | 70113 18 | 26 | 42 1329.33/1329.72 c 1301s | 19 | 4236463 | 608482 | 70113 18 | 26 | 42 1331.33/1331.76 c 1304s | 19 | 4241579 | 609482 | 70113 18 | 26 | 42 1334.03/1334.47 c 1306s | 19 | 4247438 | 610582 | 70113 18 | 26 | 42 1336.23/1336.63 c 1308s | 19 | 4256699 | 611482 | 70113 18 | 26 | 42 1338.43/1338.82 c 1311s | 19 | 4265592 | 612482 | 70113 18 | 26 | 42 1340.53/1340.97 c 1313s | 19 | 4274067 | 613382 | 70113 18 | 26 | 42 1342.83/1343.22 c 1315s | 19 | 4279549 | 614382 | 70113 18 | 26 | 42 1344.93/1345.38 c 1317s | 19 | 4287110 | 615482 | 70113 18 | 26 | 42 1347.02/1347.41 c 1319s | 19 | 4293933 | 616482 | 70113 18 | 26 | 42 1349.01/1349.46 c 1321s | 19 | 4300687 | 617482 | 70113 18 | 26 | 42 1351.11/1351.52 c 1323s | 19 | 4305763 | 618282 | 70113 18 | 26 | 42 1353.11/1353.59 c 1325s | 19 | 4311078 | 619082 | 70113 18 | 26 | 42 1355.21/1355.66 c 1327s | 19 | 4316924 | 619882 | 70113 18 | 26 | 42 1357.41/1357.82 c 1330s | 19 | 4323625 | 620782 | 70113 18 | 26 | 42 1359.61/1360.06 c 1332s | 19 | 4330716 | 621682 | 70113 18 | 26 | 42 1361.71/1362.13 c 1334s | 19 | 4336160 | 622582 | 70113 18 | 26 | 42 1363.91/1364.30 c 1336s | 19 | 4344178 | 623582 | 70113 18 | 26 | 42 1365.91/1366.36 c 1338s | 19 | 4348805 | 624582 | 70113 18 | 26 | 42 1367.91/1368.39 c 1340s | 19 | 4353961 | 625482 | 70113 18 | 26 | 42 1370.10/1370.56 c 1342s | 19 | 4360421 | 626382 | 70113 18 | 26 | 42 1372.20/1372.65 c 1344s | 19 | 4366783 | 627282 | 70113 18 | 26 | 42 1374.20/1374.67 c 1346s | 19 | 4370456 | 628082 | 70113 18 | 26 | 42 1376.30/1376.76 c 1349s | 19 | 4376164 | 628982 | 70113 18 | 26 | 42 1378.50/1378.95 c 1351s | 19 | 4381096 | 629782 | 70113 18 | 26 | 42 1380.60/1381.05 c 1353s | 19 | 4385626 | 630582 | 70113 18 | 26 | 42 1382.99/1383.48 c 1355s | 19 | 4389465 | 631382 | 70113 19 | 26 | 42 1385.09/1385.52 c 1357s | 19 | 4394838 | 632282 | 70113 19 | 26 | 42 1387.19/1387.64 c 1359s | 19 | 4400198 | 633182 | 70113 19 | 26 | 42 1389.29/1389.76 c 1362s | 19 | 4407142 | 634182 | 70113 19 | 26 | 42 1391.39/1391.82 c 1364s | 19 | 4415890 | 635182 | 70113 19 | 26 | 42 1393.49/1393.95 c 1366s | 19 | 4419243 | 635682 | 70113 19 | 26 | 42 1396.49/1396.92 c 1369s | 19 | 4426168 | 636282 | 70113 19 | 26 | 42 1398.59/1399.05 c 1371s | 19 | 4438026 | 637482 | 70113 19 | 26 | 42 1400.59/1401.07 c 1373s | 19 | 4447702 | 638582 | 70113 19 | 26 | 42 1402.68/1403.11 c 1375s | 19 | 4464359 | 639682 | 70113 19 | 26 | 42 1404.68/1405.12 c 1377s | 19 | 4480109 | 640782 | 70113 19 | 26 | 42 1406.68/1407.15 c 1379s | 19 | 4494026 | 641782 | 70113 19 | 26 | 42 1408.78/1409.29 c 1381s | 19 | 4509593 | 642982 | 70113 19 | 26 | 42 1410.98/1411.44 c 1383s | 19 | 4522959 | 643982 | 70113 19 | 26 | 42 1412.98/1413.46 c 1385s | 19 | 4536402 | 644982 | 70113 19 | 26 | 42 1415.08/1415.57 c 1387s | 19 | 4544767 | 645982 | 70113 19 | 26 | 42 1417.28/1417.70 c 1389s | 19 | 4554387 | 647082 | 70113 19 | 26 | 42 1419.38/1419.87 c 1392s | 19 | 4564199 | 648282 | 70113 19 | 26 | 42 1421.48/1421.92 c 1394s | 19 | 4571662 | 649182 | 77125 19 | 26 | 42 1423.67/1424.12 c 1396s | 19 | 4580622 | 650182 | 77125 19 | 26 | 42 1425.77/1426.21 c 1398s | 19 | 4588940 | 651182 | 77125 19 | 26 | 42 1427.97/1428.40 c 1400s | 19 | 4595413 | 652182 | 77125 19 | 26 | 42 1430.07/1430.54 c 1402s | 19 | 4602243 | 653182 | 77125 19 | 26 | 42 1432.17/1432.65 c 1404s | 19 | 4609275 | 654182 | 77125 19 | 26 | 42 1434.27/1434.77 c 1407s | 19 | 4618143 | 655182 | 77125 19 | 26 | 42 1436.37/1436.86 c 1409s | 19 | 4627833 | 656082 | 77125 19 | 26 | 42 1438.67/1439.15 c 1411s | 19 | 4633905 | 657082 | 77125 19 | 26 | 42 1440.68/1441.16 c 1413s | 19 | 4640151 | 657982 | 77125 19 | 26 | 42 1442.78/1443.22 c 1415s | 19 | 4646763 | 658882 | 77125 19 | 26 | 42 1444.77/1445.26 c 1417s | 19 | 4652879 | 659682 | 77125 19 | 26 | 42 1446.97/1447.42 c 1419s | 19 | 4659148 | 660582 | 77125 19 | 26 | 42 1448.97/1449.42 c 1421s | 19 | 4664210 | 661282 | 77125 19 | 26 | 42 1451.17/1451.68 c 1423s | 19 | 4669987 | 662082 | 77125 19 | 26 | 42 1471.97/1472.43 c 1444s | 19 | 4670755 | 662182 | 77125 19 | 26 | 42 1474.17/1474.60 c 1446s | 19 | 4674210 | 662682 | 77125 19 | 26 | 42 1481.97/1482.48 c 1454s | 19 | 4674898 | 662782 | 77125 19 | 26 | 42 1484.07/1484.56 c 1456s | 19 | 4683543 | 663882 | 77125 19 | 26 | 42 1490.07/1490.54 c 1462s | 19 | 4685382 | 664082 | 77125 19 | 26 | 42 1492.17/1492.61 c 1464s | 19 | 4692552 | 664982 | 77125 19 | 26 | 42 1494.27/1494.78 c 1467s | 19 | 4699689 | 665782 | 77125 19 | 26 | 42 1496.27/1496.80 c 1469s | 19 | 4708277 | 666782 | 77125 19 | 26 | 42 1496.47/1496.91 c 1469s | 20 | 4708585 | 666827 | 77125 19 | 26 | 42 1498.46/1498.99 c 1471s | 20 | 4717099 | 667527 | 77125 19 | 26 | 42 1500.56/1501.00 c 1473s | 20 | 4724016 | 668327 | 77125 19 | 26 | 42 1502.56/1503.06 c 1475s | 20 | 4731094 | 669027 | 77125 19 | 26 | 42 1504.66/1505.18 c 1477s | 20 | 4736278 | 669827 | 77125 19 | 26 | 42 1506.76/1507.23 c 1479s | 20 | 4741426 | 670527 | 77125 19 | 26 | 42 1508.87/1509.31 c 1481s | 20 | 4746666 | 671327 | 77125 19 | 26 | 42 1510.97/1511.49 c 1483s | 20 | 4755252 | 672227 | 77125 19 | 26 | 42 1513.17/1513.67 c 1485s | 20 | 4764779 | 673127 | 77125 19 | 26 | 42 1515.26/1515.71 c 1487s | 20 | 4773298 | 674027 | 77125 19 | 26 | 42 1517.36/1517.87 c 1490s | 20 | 4776914 | 674927 | 77125 19 | 26 | 42 1519.46/1519.96 c 1492s | 20 | 4782008 | 675427 | 77125 20 | 26 | 42 1521.87/1522.35 c 1494s | 20 | 4787151 | 676027 | 77125 20 | 26 | 42 1523.97/1524.40 c 1496s | 20 | 4792962 | 676827 | 77125 20 | 26 | 42 1525.97/1526.41 c 1498s | 20 | 4805968 | 678127 | 77125 20 | 26 | 42 1539.36/1539.89 c 1512s | 20 | 4811637 | 678827 | 77125 20 | 26 | 42 1559.55/1560.02 c 1532s | 20 | 4820935 | 680027 | 77125 20 | 26 | 42 1561.66/1562.15 c 1534s | 20 | 4834916 | 681527 | 77125 20 | 26 | 42 1563.76/1564.21 c 1536s | 20 | 4844502 | 682927 | 77125 20 | 26 | 42 1569.55/1570.05 c 1542s | 20 | 4851851 | 683927 | 77125 20 | 26 | 42 1571.75/1572.22 c 1544s | 20 | 4860123 | 684927 | 77125 20 | 26 | 42 1573.76/1574.25 c 1546s | 20 | 4869883 | 685927 | 77125 20 | 26 | 42 1575.96/1576.45 c 1548s | 20 | 4879557 | 686927 | 77125 20 | 26 | 42 1578.06/1578.52 c 1550s | 20 | 4887833 | 688027 | 77125 20 | 26 | 42 1580.26/1580.77 c 1553s | 20 | 4895645 | 688927 | 77125 20 | 26 | 42 1582.56/1583.01 c 1555s | 20 | 4901152 | 689627 | 77125 20 | 26 | 42 1584.76/1585.20 c 1557s | 20 | 4911023 | 690627 | 77125 20 | 26 | 42 1586.75/1587.30 c 1559s | 20 | 4919527 | 691527 | 77125 20 | 26 | 42 1588.95/1589.50 c 1561s | 20 | 4929925 | 692527 | 77125 20 | 26 | 42 1591.05/1591.52 c 1563s | 20 | 4940675 | 693427 | 77125 20 | 26 | 42 1593.15/1593.63 c 1565s | 20 | 4950323 | 694527 | 77125 20 | 26 | 42 1595.35/1595.83 c 1568s | 20 | 4958918 | 695527 | 77125 20 | 26 | 42 1597.45/1597.91 c 1570s | 20 | 4968471 | 696527 | 77125 20 | 26 | 42 1599.55/1600.05 c 1572s | 20 | 4975763 | 697427 | 77125 20 | 26 | 42 1601.75/1602.22 c 1574s | 20 | 4986956 | 698327 | 77125 20 | 26 | 42 1603.75/1604.24 c 1576s | 20 | 4997205 | 699327 | 77125 20 | 26 | 42 1605.85/1606.30 c 1578s | 20 | 5007563 | 700427 | 77125 20 | 26 | 42 1607.95/1608.49 c 1580s | 20 | 5015162 | 701527 | 77125 20 | 26 | 42 1610.05/1610.59 c 1582s | 20 | 5022002 | 702427 | 77125 20 | 26 | 42 1612.15/1612.61 c 1584s | 20 | 5027672 | 703427 | 77125 20 | 26 | 42 1614.25/1614.72 c 1586s | 20 | 5036374 | 704527 | 77125 20 | 26 | 42 1616.35/1616.83 c 1589s | 20 | 5045531 | 705527 | 77125 20 | 26 | 42 1618.35/1618.87 c 1591s | 20 | 5052523 | 706527 | 77125 20 | 26 | 42 1620.45/1620.98 c 1593s | 20 | 5060709 | 707727 | 77125 20 | 26 | 42 1622.65/1623.15 c 1595s | 20 | 5068508 | 708827 | 77125 20 | 26 | 42 1624.85/1625.31 c 1597s | 20 | 5076183 | 710127 | 77125 20 | 26 | 42 1626.94/1627.43 c 1599s | 20 | 5083021 | 711327 | 77125 20 | 26 | 42 1628.94/1629.47 c 1601s | 20 | 5091998 | 712527 | 77125 20 | 26 | 42 1630.95/1631.48 c 1603s | 20 | 5098574 | 713527 | 77125 20 | 26 | 42 1633.24/1633.70 c 1605s | 20 | 5104043 | 714727 | 77125 20 | 26 | 42 1635.94/1636.41 c 1608s | 20 | 5110708 | 715627 | 77125 21 | 26 | 42 1638.14/1638.60 c 1610s | 20 | 5119362 | 716527 | 77125 21 | 26 | 42 1640.24/1640.70 c 1612s | 20 | 5129265 | 717727 | 77125 21 | 26 | 42 1642.24/1642.78 c 1615s | 20 | 5137594 | 718827 | 77125 21 | 26 | 42 1644.34/1644.90 c 1617s | 20 | 5148918 | 720027 | 77125 21 | 26 | 42 1646.44/1646.95 c 1619s | 20 | 5155747 | 721227 | 77125 21 | 26 | 42 1648.55/1649.06 c 1621s | 20 | 5168156 | 722427 | 77125 21 | 26 | 42 1650.75/1651.21 c 1623s | 20 | 5177364 | 723727 | 77125 21 | 26 | 42 1652.85/1653.32 c 1625s | 20 | 5185939 | 724827 | 77125 21 | 26 | 42 1654.84/1655.32 c 1627s | 20 | 5191960 | 725927 | 77125 21 | 26 | 42 1656.94/1657.46 c 1629s | 20 | 5200268 | 727127 | 77125 21 | 26 | 42 1659.14/1659.66 c 1631s | 20 | 5210617 | 728327 | 77125 21 | 26 | 42 1661.24/1661.74 c 1634s | 20 | 5220170 | 729527 | 77125 21 | 26 | 42 1663.34/1663.82 c 1636s | 20 | 5229233 | 730627 | 77125 21 | 26 | 42 1665.44/1665.92 c 1638s | 20 | 5238163 | 731827 | 77125 21 | 26 | 42 1667.44/1667.98 c 1640s | 20 | 5245850 | 732927 | 77125 21 | 26 | 42 1669.64/1670.13 c 1642s | 20 | 5254461 | 734027 | 77125 21 | 26 | 42 1671.74/1672.21 c 1644s | 20 | 5265650 | 735027 | 77125 21 | 26 | 42 1673.84/1674.36 c 1646s | 20 | 5273818 | 736127 | 77125 21 | 26 | 42 1675.94/1676.48 c 1648s | 20 | 5283849 | 737027 | 77125 21 | 26 | 42 1678.14/1678.63 c 1650s | 20 | 5292962 | 738027 | 77125 21 | 26 | 42 1680.14/1680.69 c 1652s | 20 | 5300467 | 739127 | 77125 21 | 26 | 42 1682.14/1682.69 c 1654s | 20 | 5308369 | 740127 | 77125 21 | 26 | 42 1684.24/1684.70 c 1656s | 20 | 5316478 | 741127 | 77125 21 | 26 | 42 1686.43/1686.91 c 1659s | 20 | 5325264 | 742227 | 77125 21 | 26 | 42 1688.53/1689.04 c 1661s | 20 | 5333235 | 743127 | 77125 21 | 26 | 42 1690.73/1691.22 c 1663s | 20 | 5341794 | 744127 | 77125 21 | 26 | 42 1692.73/1693.25 c 1665s | 20 | 5350830 | 745127 | 77125 21 | 26 | 42 1694.93/1695.42 c 1667s | 20 | 5357311 | 746127 | 77125 21 | 26 | 42 1696.94/1697.46 c 1669s | 20 | 5364674 | 747027 | 77125 21 | 26 | 42 1699.04/1699.51 c 1671s | 20 | 5373410 | 748027 | 77125 21 | 26 | 42 1701.03/1701.59 c 1673s | 20 | 5383606 | 748927 | 77125 21 | 26 | 42 1703.13/1703.63 c 1675s | 20 | 5391763 | 749827 | 77125 21 | 26 | 42 1705.13/1705.65 c 1677s | 20 | 5399304 | 750727 | 77125 21 | 26 | 42 1707.23/1707.73 c 1680s | 20 | 5405820 | 751627 | 77125 21 | 26 | 42 1709.23/1709.77 c 1682s | 20 | 5413323 | 752527 | 77125 21 | 26 | 42 1711.43/1711.97 c 1684s | 20 | 5423487 | 753527 | 77125 21 | 26 | 42 1713.53/1714.05 c 1686s | 20 | 5430918 | 754427 | 77125 21 | 26 | 42 1715.83/1716.32 c 1688s | 20 | 5437955 | 755327 | 77125 21 | 26 | 42 1717.93/1718.42 c 1690s | 20 | 5441983 | 756227 | 77125 21 | 26 | 42 1719.94/1720.43 c 1692s | 20 | 5445443 | 756927 | 77125 22 | 26 | 42 1722.03/1722.53 c 1694s | 20 | 5452202 | 757827 | 77125 22 | 26 | 42 1724.13/1724.60 c 1696s | 20 | 5458684 | 758727 | 77125 22 | 26 | 42 1726.13/1726.65 c 1698s | 20 | 5465632 | 760227 | 77125 22 | 26 | 42 1728.23/1728.76 c 1701s | 20 | 5472192 | 761527 | 77125 22 | 26 | 42 1730.33/1730.81 c 1703s | 20 | 5481007 | 762527 | 77125 22 | 26 | 42 1732.33/1732.83 c 1705s | 20 | 5487767 | 763627 | 77125 22 | 26 | 42 1734.33/1734.85 c 1707s | 20 | 5496777 | 764627 | 77125 22 | 26 | 42 1736.43/1737.00 c 1709s | 20 | 5505344 | 765927 | 77125 22 | 26 | 42 1738.63/1739.19 c 1711s | 20 | 5512457 | 767327 | 77125 22 | 26 | 42 1740.73/1741.23 c 1713s | 20 | 5522182 | 768427 | 77125 22 | 26 | 42 1742.83/1743.38 c 1715s | 20 | 5532438 | 769527 | 77125 22 | 26 | 42 1745.03/1745.51 c 1717s | 20 | 5544309 | 770727 | 77125 22 | 26 | 42 1747.03/1747.53 c 1719s | 20 | 5557948 | 771827 | 77125 22 | 26 | 42 1749.23/1749.71 c 1721s | 20 | 5569902 | 773127 | 77125 22 | 26 | 42 1751.22/1751.74 c 1724s | 20 | 5581933 | 774327 | 77125 22 | 26 | 42 1753.32/1753.85 c 1726s | 20 | 5591148 | 775627 | 77125 22 | 26 | 42 1755.52/1756.01 c 1728s | 20 | 5600772 | 776827 | 77125 22 | 26 | 42 1757.52/1758.06 c 1730s | 20 | 5608883 | 777927 | 77125 22 | 26 | 42 1759.63/1760.14 c 1732s | 20 | 5616213 | 779027 | 77125 22 | 26 | 42 1763.94/1764.43 c 1736s | 20 | 5619107 | 779627 | 77125 22 | 26 | 42 1765.93/1766.49 c 1738s | 20 | 5627149 | 780727 | 77125 22 | 26 | 42 1768.23/1768.74 c 1741s | 20 | 5634518 | 781727 | 77125 22 | 26 | 42 1770.33/1770.89 c 1743s | 20 | 5641659 | 782627 | 77125 22 | 26 | 42 1772.63/1773.17 c 1745s | 20 | 5647873 | 783627 | 77125 22 | 26 | 42 1774.63/1775.19 c 1747s | 20 | 5654822 | 784427 | 77125 22 | 26 | 42 1776.83/1777.34 c 1749s | 20 | 5660832 | 785327 | 77125 22 | 26 | 42 1778.93/1779.43 c 1751s | 20 | 5668619 | 786227 | 77125 22 | 26 | 42 1781.03/1781.53 c 1753s | 20 | 5673669 | 787127 | 77125 22 | 26 | 42 1783.13/1783.65 c 1755s | 20 | 5681067 | 787927 | 77125 22 | 26 | 42 1797.42/1797.96 c 1770s | 20 | 5681655 | 788027 | 77125 22 | 26 | 42 1799.52/1800.01 c 1772s | 20 | 5687508 | 788827 | 77125 22 | 26 | 42
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-4079802-1465252773/watcher-4079802-1465252773 -o /tmp/evaluation-result-4079802-1465252773/solver-4079802-1465252773 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1859 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079802-1465252773.opb pid=6822 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.02 2.03 2.00 4/179 6825 /proc/meminfo: memFree=30261216/32872528 swapFree=13600/559348 [pid=6825] ppid=6822 vsize=741820 CPUtime=0 cores=1,3,5,7 /proc/6825/stat : 6825 (toysat) R 6822 6825 1842 0 -1 4202496 2770 0 0 0 0 0 0 0 20 0 4 0 107212238 759623680 3131 33554432000 4194304 16246674 140734386693072 140734386692496 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6825/statm: 186223 3141 441 2943 0 183117 0 [pid=6825/tid=6826] ppid=6822 vsize=759228 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6826/stat : 6826 (toysat) S 6822 6825 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107212238 777449472 3201 33554432000 4194304 16246674 140734386693072 140008048536816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6825/tid=6827] ppid=6822 vsize=763324 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6827/stat : 6827 (toysat) S 6822 6825 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107212238 781643776 3217 33554432000 4194304 16246674 140734386693072 140008038046960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6825/tid=6828] ppid=6822 vsize=768444 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6828/stat : 6828 (toysat) S 6822 6825 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107212238 786886656 3236 33554432000 4194304 16246674 140734386693072 140008027573424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100179 s] /proc/loadavg: 2.02 2.03 2.00 4/179 6825 /proc/meminfo: memFree=30261216/32872528 swapFree=13600/559348 [pid=6825] ppid=6822 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/6825/stat : 6825 (toysat) R 6822 6825 1842 0 -1 4202496 26638 0 0 0 5 4 0 0 20 0 4 0 107212238 1333334016 26937 33554432000 4194304 16246674 140734386693072 140734386692384 7364728 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6825/statm: 325521 26953 799 2943 0 322415 0 [pid=6825/tid=6826] ppid=6822 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6826/stat : 6826 (toysat) S 6822 6825 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107212238 1333334016 26964 33554432000 4194304 16246674 140734386693072 140008048536816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6825/tid=6827] ppid=6822 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6827/stat : 6827 (toysat) S 6822 6825 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107212238 1333334016 26976 33554432000 4194304 16246674 140734386693072 140008038046960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6825/tid=6828] ppid=6822 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6828/stat : 6828 (toysat) S 6822 6825 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107212238 1333334016 26985 33554432000 4194304 16246674 140734386693072 140008027573424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.20053 s] /proc/loadavg: 2.02 2.03 2.00 4/179 6825 /proc/meminfo: memFree=30261216/32872528 swapFree=13600/559348 [pid=6825] ppid=6822 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/6825/stat : 6825 (toysat) R 6822 6825 1842 0 -1 4202496 46185 0 0 0 13 6 0 0 20 0 4 0 107212238 1344868352 46995 33554432000 4194304 16246674 140734386693072 140734386692384 5913156 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6825/statm: 328337 46995 832 2943 0 325231 0 [pid=6825/tid=6826] ppid=6822 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6826/stat : 6826 (toysat) S 6822 6825 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107212238 1344868352 46995 33554432000 4194304 16246674 140734386693072 140008048536816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6825/tid=6827] ppid=6822 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6827/stat : 6827 (toysat) S 6822 6825 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107212238 1344868352 46995 33554432000 4194304 16246674 140734386693072 140008038046960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6825/tid=6828] ppid=6822 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6828/stat : 6828 (toysat) S 6822 6825 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107212238 1344868352 46995 33554432000 4194304 16246674 140734386693072 140008027573424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300494 s] /proc/loadavg: 2.02 2.03 2.00 4/179 6825 /proc/meminfo: memFree=30261216/32872528 swapFree=13600/559348 [pid=6825] ppid=6822 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/6825/stat : 6825 (toysat) R 6822 6825 1842 0 -1 4202496 46186 0 0 0 23 6 0 0 20 0 4 0 107212238 1344868352 46996 33554432000 4194304 16246674 140734386693072 140734386692384 5875604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6825/statm: 328337 46996 833 2943 0 325231 0 [pid=6825/tid=6826] ppid=6822 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6826/stat : 6826 (toysat) S 6822 6825 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107212238 1344868352 46996 33554432000 4194304 16246674 140734386693072 140008048536816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6825/tid=6827] ppid=6822 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6827/stat : 6827 (toysat) S 6822 6825 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107212238 1344868352 46996 33554432000 4194304 16246674 140734386693072 140008038046960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6825/tid=6828] ppid=6822 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6828/stat : 6828 (toysat) S 6822 6825 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107212238 1344868352 46996 33554432000 4194304 16246674 140734386693072 140008027573424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700397 s] /proc/loadavg: 2.02 2.03 2.00 4/179 6825 /proc/meminfo: memFree=30261216/32872528 swapFree=13600/559348 [pid=6825] ppid=6822 vsize=1322564 CPUtime=0.68 cores=1,3,5,7 /proc/6825/stat : 6825 (toysat) R 6822 6825 1842 0 -1 4202496 82694 0 0 0 56 12 0 0 20 0 4 0 107212238 1354305536 83504 33554432000 4194304 16246674 140734386693072 140734386692384 13906976 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6825/statm: 330641 83504 899 2943 0 327535 0 [pid=6825/tid=6826] ppid=6822 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6826/stat : 6826 (toysat) S 6822 6825 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107212238 1354305536 83504 33554432000 4194304 16246674 140734386693072 140008048536816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6825/tid=6827] ppid=6822 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6827/stat : 6827 (toysat) S 6822 6825 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107212238 1354305536 83504 33554432000 4194304 16246674 140734386693072 140008038046960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6825/tid=6828] ppid=6822 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6828/stat : 6828 (toysat) S 6822 6825 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107212238 1354305536 83504 33554432000 4194304 16246674 140734386693072 140008027573424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1322564 [startup+1.50042 s] /proc/loadavg: 2.02 2.03 2.00 3/183 6829 /proc/meminfo: memFree=29928740/32872528 swapFree=13600/559348 [pid=6825] ppid=6822 vsize=1322564 CPUtime=1.48 cores=1,3,5,7 /proc/6825/stat : 6825 (toysat) R 6822 6825 1842 0 -1 4202496 82705 0 0 0 136 12 0 0 20 0 4 0 107212238 1354305536 83515 33554432000 4194304 16246674 140734386693072 140734386674944 12477798 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6825/statm: 330641 83515 908 2943 0 327535 0 [pid=6825/tid=6826] ppid=6822 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6826/stat : 6826 (toysat) S 6822 6825 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107212238 1354305536 83515 33554432000 4194304 16246674 140734386693072 140008048536816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6825/tid=6827] ppid=6822 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6827/stat : 6827 (toysat) S 6822 6825 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107212238 1354305536 83515 33554432000 4194304 16246674 140734386693072 140008038046960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6825/tid=6828] ppid=6822 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6828/stat : 6828 (toysat) S 6822 6825 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107212238 1354305536 83515 33554432000 4194304 16246674 140734386693072 140008027573424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1322564 [startup+3.10043 s] /proc/loadavg: 2.02 2.03 2.00 3/183 6829 /proc/meminfo: memFree=29864764/32872528 swapFree=13600/559348 [pid=6825] ppid=6822 vsize=1322564 CPUtime=3.09 cores=1,3,5,7 /proc/6825/stat : 6825 (toysat) R 6822 6825 1842 0 -1 4202496 99792 0 0 0 294 15 0 0 20 0 4 0 107212238 1354305536 100602 33554432000 4194304 16246674 140734386693072 140734386674944 5661119 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6825/statm: 330641 100602 912 2943 0 327535 0 [pid=6825/tid=6826] ppid=6822 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6826/stat : 6826 (toysat) S 6822 6825 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107212238 1354305536 100602 33554432000 4194304 16246674 140734386693072 140008048536816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6825/tid=6827] ppid=6822 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6827/stat : 6827 (toysat) S 6822 6825 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107212238 1354305536 100602 33554432000 4194304 16246674 140734386693072 140008038046960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6825/tid=6828] ppid=6822 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6828/stat : 6828 (toysat) S 6822 6825 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107212238 1354305536 100602 33554432000 4194304 16246674 140734386693072 140008027573424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1322564 [startup+6.30031 s] /proc/loadavg: 2.02 2.03 2.00 3/183 6829 /proc/meminfo: memFree=29859828/32872528 swapFree=13600/559348 [pid=6825] ppid=6822 vsize=1322564 CPUtime=6.29 cores=1,3,5,7 /proc/6825/stat : 6825 (toysat) R 6822 6825 1842 0 -1 4202496 99792 0 0 0 614 15 0 0 20 0 4 0 107212238 1354305536 100602 33554432000 4194304 16246674 140734386693072 140734386674944 5711984 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6825/statm: 330641 100602 912 2943 0 327535 0 [pid=6825/tid=6826] ppid=6822 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6826/stat : 6826 (toysat) S 6822 6825 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107212238 1354305536 100602 33554432000 4194304 16246674 140734386693072 140008048536816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6825/tid=6827] ppid=6822 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6827/stat : 6827 (toysat) S 6822 6825 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107212238 1354305536 100602 33554432000 4194304 16246674 140734386693072 140008038046960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6825/tid=6828] ppid=6822 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6828/stat : 6828 (toysat) S 6822 6825 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107212238 1354305536 100602 33554432000 4194304 16246674 140734386693072 140008027573424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1322564 [startup+12.7004 s] /proc/loadavg: 2.02 2.02 2.00 3/183 6829 /proc/meminfo: memFree=29173824/32872528 swapFree=13600/559348 [pid=6825] ppid=6822 vsize=1322564 CPUtime=12.69 cores=1,3,5,7 /proc/6825/stat : 6825 (toysat) R 6822 6825 1842 0 -1 4202496 271341 0 0 0 1229 40 0 0 20 0 4 0 107212238 1354305536 272151 33554432000 4194304 16246674 140734386693072 140734386674944 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6825/statm: 330641 272151 912 2943 0 327535 0 [pid=6825/tid=6826] ppid=6822 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6826/stat : 6826 (toysat) S 6822 6825 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107212238 1354305536 272151 33554432000 4194304 16246674 140734386693072 140008048536816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6825/tid=6827] ppid=6822 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6827/stat : 6827 (toysat) S 6822 6825 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107212238 1354305536 272151 33554432000 4194304 16246674 140734386693072 140008038046960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6825/tid=6828] ppid=6822 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6828/stat : 6828 (toysat) S 6822 6825 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107212238 1354305536 272151 33554432000 4194304 16246674 140734386693072 140008027573424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1322564 [startup+25.5005 s] /proc/loadavg: 2.09 2.04 2.01 3/183 6829 /proc/meminfo: memFree=29174616/32872528 swapFree=13600/559348 [pid=6825] ppid=6822 vsize=1322564 CPUtime=25.48 cores=1,3,5,7 /proc/6825/stat : 6825 (toysat) R 6822 6825 1842 0 -1 4202496 271342 0 0 0 2508 40 0 0 20 0 4 0 107212238 1354305536 272152 33554432000 4194304 16246674 140734386693072 140734386674944 5711968 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6825/statm: 330641 272152 913 2943 0 327535 0 [pid=6825/tid=6826] ppid=6822 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6826/stat : 6826 (toysat) S 6822 6825 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107212238 1354305536 272152 33554432000 4194304 16246674 140734386693072 140008048536816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6825/tid=6827] ppid=6822 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6827/stat : 6827 (toysat) S 6822 6825 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107212238 1354305536 272152 33554432000 4194304 16246674 140734386693072 140008038046960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6825/tid=6828] ppid=6822 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6828/stat : 6828 (toysat) S 6822 6825 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107212238 1354305536 272152 33554432000 4194304 16246674 140734386693072 140008027573424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1322564 [startup+51.1005 s] /proc/loadavg: 2.06 2.04 2.00 3/184 6833 /proc/meminfo: memFree=29175168/32872528 swapFree=13600/559348 [pid=6825] ppid=6822 vsize=1322564 CPUtime=51.08 cores=1,3,5,7 /proc/6825/stat : 6825 (toysat) R 6822 6825 1842 0 -1 4202496 271342 0 0 0 5068 40 0 0 20 0 4 0 107212238 1354305536 272152 33554432000 4194304 16246674 140734386693072 140734386674944 5677492 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6825/statm: 330641 272152 913 2943 0 327535 0 [pid=6825/tid=6826] ppid=6822 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6826/stat : 6826 (toysat) S 6822 6825 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107212238 1354305536 272152 33554432000 4194304 16246674 140734386693072 140008048536816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6825/tid=6827] ppid=6822 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6827/stat : 6827 (toysat) S 6822 6825 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107212238 1354305536 272152 33554432000 4194304 16246674 140734386693072 140008038046960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6825/tid=6828] ppid=6822 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6828/stat : 6828 (toysat) S 6822 6825 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107212238 1354305536 272152 33554432000 4194304 16246674 140734386693072 140008027573424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1322564 [startup+102.3 s] /proc/loadavg: 2.02 2.03 2.00 3/183 6834 /proc/meminfo: memFree=29164452/32872528 swapFree=13600/559348 [pid=6825] ppid=6822 vsize=1332804 CPUtime=102.28 cores=1,3,5,7 /proc/6825/stat : 6825 (toysat) R 6822 6825 1842 0 -1 4202496 273904 0 0 0 10186 42 0 0 20 0 4 0 107212238 1364791296 274714 33554432000 4194304 16246674 140734386693072 140734386674944 5676080 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6825/statm: 333201 274714 915 2943 0 330095 0 [pid=6825/tid=6826] ppid=6822 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6826/stat : 6826 (toysat) S 6822 6825 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107212238 1364791296 274714 33554432000 4194304 16246674 140734386693072 140008048536816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6825/tid=6827] ppid=6822 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6827/stat : 6827 (toysat) S 6822 6825 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107212238 1364791296 274714 33554432000 4194304 16246674 140734386693072 140008038046960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6825/tid=6828] ppid=6822 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6828/stat : 6828 (toysat) S 6822 6825 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107212238 1364791296 274714 33554432000 4194304 16246674 140734386693072 140008027573424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1332804 ################ # More data... # ################ /proc/6825/task/6828/stat : 6828 (toysat) S 6822 6825 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008027573424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1396292 [startup+1362.3 s] /proc/loadavg: 2.05 2.07 2.01 3/183 6936 /proc/meminfo: memFree=28769404/32872528 swapFree=13600/559348 [pid=6825] ppid=6822 vsize=1396292 CPUtime=1361.91 cores=1,3,5,7 /proc/6825/stat : 6825 (toysat) R 6822 6825 1842 0 -1 4202496 290062 0 0 0 136122 69 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140734386674944 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6825/statm: 349073 290590 916 2943 0 345967 0 [pid=6825/tid=6826] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6826/stat : 6826 (toysat) S 6822 6825 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008048536816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6825/tid=6827] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6827/stat : 6827 (toysat) S 6822 6825 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008038046960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6825/tid=6828] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6828/stat : 6828 (toysat) S 6822 6825 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008027573424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1396292 [startup+1422.3 s] /proc/loadavg: 2.01 2.06 2.01 3/183 6937 /proc/meminfo: memFree=28769000/32872528 swapFree=13600/559348 [pid=6825] ppid=6822 vsize=1396292 CPUtime=1421.88 cores=1,3,5,7 /proc/6825/stat : 6825 (toysat) R 6822 6825 1842 0 -1 4202496 290088 0 0 0 142119 69 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140734386674944 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6825/statm: 349073 290590 916 2943 0 345967 0 [pid=6825/tid=6826] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6826/stat : 6826 (toysat) S 6822 6825 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008048536816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6825/tid=6827] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6827/stat : 6827 (toysat) S 6822 6825 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008038046960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6825/tid=6828] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6828/stat : 6828 (toysat) S 6822 6825 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008027573424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1396292 [startup+1482.3 s] /proc/loadavg: 2.24 2.09 2.02 3/183 6938 /proc/meminfo: memFree=28768308/32872528 swapFree=13600/559348 [pid=6825] ppid=6822 vsize=1396292 CPUtime=1481.87 cores=1,3,5,7 /proc/6825/stat : 6825 (toysat) R 6822 6825 1842 0 -1 4202496 290089 0 0 0 148115 72 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140734386690880 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6825/statm: 349073 290590 916 2943 0 345967 0 [pid=6825/tid=6826] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6826/stat : 6826 (toysat) S 6822 6825 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008048536816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6825/tid=6827] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6827/stat : 6827 (toysat) S 6822 6825 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008038046960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6825/tid=6828] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6828/stat : 6828 (toysat) S 6822 6825 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008027573424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1396292 [startup+1542.31 s] /proc/loadavg: 2.13 2.09 2.02 3/183 6939 /proc/meminfo: memFree=28768700/32872528 swapFree=13600/559348 [pid=6825] ppid=6822 vsize=1396292 CPUtime=1541.87 cores=1,3,5,7 /proc/6825/stat : 6825 (toysat) R 6822 6825 1842 0 -1 4202496 290089 0 0 0 154113 74 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140734386692168 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6825/statm: 349073 290590 916 2943 0 345967 0 [pid=6825/tid=6826] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6826/stat : 6826 (toysat) S 6822 6825 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008048536816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6825/tid=6827] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6827/stat : 6827 (toysat) S 6822 6825 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008038046960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6825/tid=6828] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6828/stat : 6828 (toysat) S 6822 6825 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008027573424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1396292 [startup+1602.3 s] /proc/loadavg: 2.29 2.13 2.03 3/183 6941 /proc/meminfo: memFree=28768604/32872528 swapFree=13600/559348 [pid=6825] ppid=6822 vsize=1396292 CPUtime=1601.85 cores=1,3,5,7 /proc/6825/stat : 6825 (toysat) R 6822 6825 1842 0 -1 4202496 290089 0 0 0 160109 76 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140734386674944 6836240 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6825/statm: 349073 290590 916 2943 0 345967 0 [pid=6825/tid=6826] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6826/stat : 6826 (toysat) S 6822 6825 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008048536816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6825/tid=6827] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6827/stat : 6827 (toysat) S 6822 6825 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008038046960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6825/tid=6828] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6828/stat : 6828 (toysat) S 6822 6825 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008027573424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1396292 [startup+1662.3 s] /proc/loadavg: 2.21 2.13 2.04 3/183 6942 /proc/meminfo: memFree=28768504/32872528 swapFree=13600/559348 [pid=6825] ppid=6822 vsize=1396292 CPUtime=1661.84 cores=1,3,5,7 /proc/6825/stat : 6825 (toysat) R 6822 6825 1842 0 -1 4202496 290089 0 0 0 166108 76 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140734386674944 5546219 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6825/statm: 349073 290590 916 2943 0 345967 0 [pid=6825/tid=6826] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6826/stat : 6826 (toysat) S 6822 6825 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008048536816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6825/tid=6827] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6827/stat : 6827 (toysat) S 6822 6825 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008038046960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6825/tid=6828] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6828/stat : 6828 (toysat) S 6822 6825 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008027573424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1396292 [startup+1722.3 s] /proc/loadavg: 2.20 2.15 2.05 3/183 6943 /proc/meminfo: memFree=28768528/32872528 swapFree=13600/559348 [pid=6825] ppid=6822 vsize=1396292 CPUtime=1721.83 cores=1,3,5,7 /proc/6825/stat : 6825 (toysat) R 6822 6825 1842 0 -1 4202496 290089 0 0 0 172107 76 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140734386674944 12478757 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6825/statm: 349073 290590 916 2943 0 345967 0 [pid=6825/tid=6826] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6826/stat : 6826 (toysat) S 6822 6825 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008048536816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6825/tid=6827] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6827/stat : 6827 (toysat) S 6822 6825 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008038046960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6825/tid=6828] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6828/stat : 6828 (toysat) S 6822 6825 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008027573424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1396292 [startup+1782.3 s] /proc/loadavg: 2.21 2.17 2.06 3/183 6944 /proc/meminfo: memFree=28768304/32872528 swapFree=13600/559348 [pid=6825] ppid=6822 vsize=1396292 CPUtime=1781.83 cores=1,3,5,7 /proc/6825/stat : 6825 (toysat) R 6822 6825 1842 0 -1 4202496 290089 0 0 0 178106 77 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140734386674944 5677392 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6825/statm: 349073 290590 916 2943 0 345967 0 [pid=6825/tid=6826] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6826/stat : 6826 (toysat) S 6822 6825 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008048536816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6825/tid=6827] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6827/stat : 6827 (toysat) S 6822 6825 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008038046960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6825/tid=6828] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6828/stat : 6828 (toysat) S 6822 6825 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008027573424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1396292 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.15 2.15 2.06 3/183 6945 /proc/meminfo: memFree=28767900/32872528 swapFree=13600/559348 [pid=6825] ppid=6822 vsize=1396292 CPUtime=1800.02 cores=1,3,5,7 /proc/6825/stat : 6825 (toysat) R 6822 6825 1842 0 -1 4202496 290089 0 0 0 179924 78 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140734386674944 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6825/statm: 349073 290590 916 2943 0 345967 0 [pid=6825/tid=6826] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6826/stat : 6826 (toysat) S 6822 6825 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008048536816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6825/tid=6827] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6827/stat : 6827 (toysat) S 6822 6825 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008038046960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6825/tid=6828] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6828/stat : 6828 (toysat) S 6822 6825 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008027573424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1396292 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 6825 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.15 2.15 2.06 3/183 6945 /proc/meminfo: memFree=28767900/32872528 swapFree=13600/559348 [pid=6825] ppid=6822 vsize=1396292 CPUtime=1800.02 cores=1,3,5,7 /proc/6825/stat : 6825 (toysat) R 6822 6825 1842 0 -1 4202496 290089 0 0 0 179924 78 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140734386674944 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6825/statm: 349073 290590 916 2943 0 345967 0 [pid=6825/tid=6826] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6826/stat : 6826 (toysat) S 6822 6825 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008048536816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6825/tid=6827] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6827/stat : 6827 (toysat) S 6822 6825 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008038046960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6825/tid=6828] ppid=6822 vsize=1396292 CPUtime=0 cores=1,3,5,7 /proc/6825/task/6828/stat : 6828 (toysat) S 6822 6825 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107212238 1429803008 290590 33554432000 4194304 16246674 140734386693072 140008027573424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1396292 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1799.25 CPU system time (s): 0.78888 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 1396292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.25 system time used= 0.78888 maximum resident set size= 1162360 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 290089 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= 329 involuntary context switches= 1863 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.6273 second user time and 6.96794 second system time The end
Begin job on node106 at 2016-06-07 00:39:33 IDJOB=4079802 IDBENCH=25038 IDSOLVER=2542 FILE ID=node106/4079802-1465252773 RUNJOBID= node106-1465219870-1859 PBS_JOBID= 19843217 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir06_area_opers.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079802-1465252773/watcher-4079802-1465252773 -o /tmp/evaluation-result-4079802-1465252773/solver-4079802-1465252773 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1859 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079802-1465252773.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4b72d81adefd0ef56251a04b2b714e8c RANDOM SEED=1099882571 node106.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.775 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.55 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.775 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.775 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 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.775 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.64 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.775 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.56 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.775 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.775 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30261124 kB Buffers: 59840 kB Cached: 159068 kB SwapCached: 1844 kB Active: 1218708 kB Inactive: 128388 kB Active(anon): 1129664 kB Inactive(anon): 1280 kB Active(file): 89044 kB Inactive(file): 127108 kB Unevictable: 559348 kB Mlocked: 13600 kB SwapTotal: 67108856 kB SwapFree: 67098536 kB Dirty: 17368 kB Writeback: 0 kB AnonPages: 1686828 kB Mapped: 10768 kB Shmem: 0 kB Slab: 569844 kB SReclaimable: 13788 kB SUnreclaim: 556056 kB KernelStack: 1456 kB PageTables: 7888 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1832916 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1665024 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= 71692 MiB End job on node106 at 2016-06-07 01:09:33