| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.41 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm85p-opt.opb.negationfix.opb |
| MD5SUM | 64b4b0dd11d711879b8b056596658f5a |
| 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 | 54 |
| Best CPU time to get the best result obtained on this benchmark | 1464.16 |
| Has Objective Function | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | |
| Total number of constraints | |
| Number of constraints which are clauses | |
| Number of constraints which are cardinality constraints (but not clauses) | |
| Number of constraints which are nor clauses,nor cardinality constraints | |
| Minimum length of a constraint | |
| Maximum length of a constraint | |
| Number of terms in the objective function | |
| Biggest coefficient in the objective function | |
| Number of bits for the biggest coefficient in the objective function | |
| Sum of the numbers in the objective function | |
| Number of bits of the sum of numbers in the objective function | |
| Biggest number in a constraint | |
| Number of bits of the biggest number in a constraint | |
| Biggest sum of numbers in a constraint | |
| Number of bits of the biggest sum of numbers | |
| Number of products (including duplicates) | |
| Sum of products size (including duplicates) | |
| Number of different products | |
| Sum of products size |
0.00/0.00 c 2016-06-30T11:44:44+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-4119942-1467279883.opb"] 0.00/0.01 c use --random-gen="1314682151 3550723548 3949982301 2369196663 4034906698 1161704359 2219581546 2561961057 4221519320 2782569515 959947649 1290082824 1277017798 4110972213 386015543 2367894115 2562293832 164893881 4082936260 2081490013 2988002409 3761156680 446722262 1352551578 551360446 462171571 2715282799 562172302 153618300 623459437 4159471780 3640155043 2280670745 861758737 3382059579 2140504672 2740111321 270726330 2433617227 1902262572 2551376955 3661420242 3296595918 2943435665 3706929296 898438541 1364899271 1471311161 2056955220 2005542544 1368182096 1081676189 22345509 269728004 1092782970 3132381737 375845626 1018401224 2791474216 971909490 2940209338 2152699736 2012479407 1461646674 1772903105 2157221583 2449254130 2908078247 3810063973 291475385 2492253838 2775436442 4051512348 195552459 3628043150 3115310186 2070400608 1489974904 2317318538 3932265552 580804410 3215831869 2878725120 883627323 3635923230 1283746325 4049116006 1226269700 1002176266 2735350531 1476537452 3288039720 2662995872 4161145842 2055692670 4022337799 3506607389 693031185 2559769345 3910840299 1475025834 2878614782 2315011710 456727670 3987507991 1338220860 3325473891 2533234482 728654793 1426954831 1798039313 3293868679 3386970782 2737203109 2127873611 3077512044 3953461652 2591432935 3850550474 2434196771 3172936261 2568421438 410531724 1343365757 1740676470 2424022609 2281979090 2260641885 2592123845 2709208329 2514547001 734639761 4084321245 3347616684 582389877 1881469026 808072785 2496247567 4126242815 3476436289 3543530305 1693108822 3828597938 3330154684 132653184 603526848 3441840937 3760060480 4093757813 1485159150 1427407575 3266214264 3012184835 4168046569 1557418657 2841019047 2035429691 256955132 2077792004 3405046210 912348969 2780461163 1926633265 1332277903 403229175 2510004613 709590023 1552864170 3575567926 3736161003 2853447136 2169019107 1715024466 4170718487 341697750 481541968 2871841641 721062896 718711203 2248533390 270495933 2931908679 1170046598 2227488374 4200932308 1685275086 2316715152 3228084612 1123800690 1744902868 3544118790 171213463 2166679600 2917433807 3597119038 2966683890 1544021974 3166586896 3597502277 1616163467 2595684158 2900171880 59800744 4150752974 4270351897 3944325268 1440950416 314701555 438984398 2027257418 2927975330 2588199982 540680542 2919334585 2163943187 2170847226 4019363404 228593150 1454728237 709868318 1914441375 1813371326 2863369995 1726352541 1046030336 1672969242 3209758448 1902526867 1955016213 2786073655 2138450418 1406486659 964385013 3493193441 1209997506 26975014 1141618553 3899327277 3138820158 1040463320 759297184 4161898773 3943321003 3077234317 2793075769 3199375291 760024014 1639592199 387307163 1809504681 2752217069 3776196302 953104175 2222582861 4170993127 217642348 255 362436" option to reproduce the execution 0.29/0.32 c #vars 40320 0.29/0.32 c #constraints 1388 0.89/0.91 c BCD2: Hardening is enabled. 0.89/0.91 c BCD2: BiasedSearch is enabled. 0.89/0.91 c Solving starts ... 0.89/0.91 c ============================[ Search Statistics ]============================ 0.89/0.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.91 c | | | | Limit GC | Var | Constra 0.99/1.08 c ============================================================================= 0.99/1.08 c 0.0s | 0 | 0 | 0 | 13902 0 | 0 | 0 0.99/1.08 c 0.1s | 0 | 630 | 0 | 13902 0 | 0 | 0 0.99/1.08 c #cpu_time = 0.063s 0.99/1.08 c #wall_clock_time = 0.063s 0.99/1.08 c #decision = 630 0.99/1.08 c #random_decision = 2 0.99/1.08 c #conflict = 0 0.99/1.08 c #restart = 0 0.99/1.08 o 64 0.99/1.08 c BCD2: updating upper bound: 64 -> 63 0.99/1.08 c BCD2: 0 <= obj <= 63 0.99/1.08 c BCD2: #cores=0, #unrelaxed=64, #relaxed=0, #hardened=0 0.99/1.08 c BCD2: #sat=1 #unsat=1 bias=1/2 0.99/1.08 c Solving starts ... 0.99/1.08 c ============================[ Search Statistics ]============================ 0.99/1.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.08 c | | | | Limit GC | Var | Constra 0.99/1.08 c ============================================================================= 0.99/1.08 c 0.0s | 0 | 0 | 0 | 13902 0 | 0 | 0 0.99/1.08 c 0.0s | 0 | 10 | 0 | 13902 0 | 0 | 0 0.99/1.08 c #cpu_time = 0.022s 0.99/1.08 c #wall_clock_time = 0.022s 0.99/1.08 c #decision = 10 0.99/1.08 c #random_decision = 0 0.99/1.08 c #conflict = 0 0.99/1.08 c #restart = 0 0.99/1.08 c BCD2: found a new core of size 11: cost of the new core is >=1 0.99/1.08 c lower bound updated to 1 0.99/1.08 c BCD2: 1 <= obj <= 63 0.99/1.08 c BCD2: #cores=1, #unrelaxed=53, #relaxed=11, #hardened=0 0.99/1.08 c BCD2: #sat=1 #unsat=2 bias=2/3 0.99/1.08 c Solving starts ... 0.99/1.08 c ============================[ Search Statistics ]============================ 0.99/1.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.08 c | | | | Limit GC | Var | Constra 0.99/1.08 c ============================================================================= 0.99/1.08 c 0.0s | 0 | 0 | 0 | 13902 0 | 0 | 0 1.09/1.11 c 0.0s | 0 | 11 | 1 | 13902 0 | 0 | 0 1.09/1.11 c #cpu_time = 0.026s 1.09/1.11 c #wall_clock_time = 0.026s 1.09/1.11 c #decision = 11 1.09/1.11 c #random_decision = 0 1.09/1.11 c #conflict = 1 1.09/1.11 c #restart = 0 1.09/1.11 c BCD2: relaxing 10 and merging with 1 cores into a new core of size 21: cost of the new core is >=2 1.09/1.11 c lower bound updated to 2 1.09/1.11 c BCD2: 2 <= obj <= 63 1.09/1.11 c BCD2: #cores=1, #unrelaxed=43, #relaxed=21, #hardened=0 1.09/1.11 c BCD2: #sat=1 #unsat=3 bias=3/4 1.09/1.11 c Solving starts ... 1.09/1.11 c ============================[ Search Statistics ]============================ 1.09/1.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.11 c | | | | Limit GC | Var | Constra 1.09/1.11 c ============================================================================= 1.09/1.11 c 0.0s | 0 | 0 | 0 | 13902 0 | 1 | 0 1.09/1.13 c 0.0s | 0 | 8 | 0 | 13902 0 | 1 | 1 1.09/1.13 c #cpu_time = 0.023s 1.09/1.13 c #wall_clock_time = 0.023s 1.09/1.13 c #decision = 8 1.09/1.13 c #random_decision = 0 1.09/1.13 c #conflict = 0 1.09/1.13 c #restart = 0 1.09/1.13 c BCD2: found a new core of size 8: cost of the new core is >=1 1.09/1.13 c lower bound updated to 3 1.09/1.13 c BCD2: 3 <= obj <= 63 1.09/1.13 c BCD2: #cores=2, #unrelaxed=35, #relaxed=29, #hardened=0 1.09/1.13 c BCD2: #sat=1 #unsat=4 bias=4/5 1.09/1.13 c Solving starts ... 1.09/1.13 c ============================[ Search Statistics ]============================ 1.09/1.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.13 c | | | | Limit GC | Var | Constra 1.09/1.13 c ============================================================================= 1.09/1.14 c 0.0s | 0 | 0 | 0 | 13902 0 | 1 | 1 1.09/1.16 c 0.0s | 0 | 11 | 1 | 13902 0 | 1 | 1 1.09/1.16 c #cpu_time = 0.024s 1.09/1.16 c #wall_clock_time = 0.025s 1.09/1.16 c #decision = 11 1.09/1.16 c #random_decision = 0 1.09/1.16 c #conflict = 1 1.09/1.16 c #restart = 0 1.09/1.16 c BCD2: relaxing 9 and merging with 1 cores into a new core of size 30: cost of the new core is >=3 1.09/1.16 c lower bound updated to 4 1.09/1.16 c BCD2: 4 <= obj <= 63 1.09/1.16 c BCD2: #cores=2, #unrelaxed=26, #relaxed=38, #hardened=0 1.09/1.16 c BCD2: #sat=1 #unsat=5 bias=5/6 1.09/1.16 c Solving starts ... 1.09/1.16 c ============================[ Search Statistics ]============================ 1.09/1.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.16 c | | | | Limit GC | Var | Constra 1.09/1.16 c ============================================================================= 1.09/1.16 c 0.0s | 0 | 0 | 0 | 13902 0 | 3 | 1 1.09/1.19 c 0.0s | 0 | 12 | 1 | 13902 0 | 3 | 4 1.09/1.19 c #cpu_time = 0.025s 1.09/1.19 c #wall_clock_time = 0.025s 1.09/1.19 c #decision = 12 1.09/1.19 c #random_decision = 0 1.09/1.19 c #conflict = 1 1.09/1.19 c #restart = 0 1.09/1.19 c BCD2: relaxing 10 and merging with 1 cores into a new core of size 18: cost of the new core is >=2 1.09/1.19 c lower bound updated to 5 1.09/1.19 c BCD2: 5 <= obj <= 63 1.09/1.19 c BCD2: #cores=2, #unrelaxed=16, #relaxed=48, #hardened=0 1.09/1.19 c BCD2: #sat=1 #unsat=6 bias=6/7 1.09/1.19 c Solving starts ... 1.09/1.19 c ============================[ Search Statistics ]============================ 1.09/1.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.19 c | | | | Limit GC | Var | Constra 1.09/1.19 c ============================================================================= 1.09/1.19 c 0.0s | 0 | 0 | 0 | 13902 0 | 4 | 4 1.19/1.22 c 0.0s | 0 | 11 | 1 | 13902 0 | 4 | 5 1.19/1.22 c #cpu_time = 0.024s 1.19/1.22 c #wall_clock_time = 0.025s 1.19/1.22 c #decision = 11 1.19/1.22 c #random_decision = 0 1.19/1.22 c #conflict = 1 1.19/1.22 c #restart = 0 1.19/1.22 c BCD2: relaxing 9 and merging with 1 cores into a new core of size 39: cost of the new core is >=4 1.19/1.22 c lower bound updated to 6 1.19/1.22 c BCD2: 6 <= obj <= 63 1.19/1.22 c BCD2: #cores=2, #unrelaxed=7, #relaxed=57, #hardened=0 1.19/1.22 c BCD2: #sat=1 #unsat=7 bias=7/8 1.19/1.22 c Solving starts ... 1.19/1.22 c ============================[ Search Statistics ]============================ 1.19/1.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.22 c | | | | Limit GC | Var | Constra 1.19/1.22 c ============================================================================= 1.19/1.22 c 0.0s | 0 | 0 | 0 | 13902 0 | 6 | 5 1.19/1.28 c 0.1s | 1 | 137 | 100 | 15293 0 | 6 | 8 1.29/1.37 c 0.2s | 2 | 566 | 250 | 16823 0 | 6 | 8 1.38/1.48 c 0.3s | 3 | 869 | 475 | 18506 0 | 6 | 8 1.59/1.69 c 0.5s | 4 | 1922 | 813 | 20357 0 | 6 | 8 1.89/1.97 c 0.8s | 5 | 3408 | 1320 | 22393 0 | 6 | 8 2.39/2.42 c 1.2s | 6 | 5106 | 2081 | 24633 0 | 6 | 8 3.08/3.12 c 1.9s | 7 | 8756 | 3223 | 27097 0 | 6 | 8 3.98/4.07 c 2.9s | 8 | 13521 | 4936 | 29807 0 | 6 | 8 5.59/5.61 c 4.4s | 8 | 20959 | 7464 | 29807 0 | 6 | 8 5.59/5.61 c #cpu_time = 4.381s 5.59/5.61 c #wall_clock_time = 4.392s 5.59/5.61 c #decision = 20959 5.59/5.61 c #random_decision = 118 5.59/5.61 c #conflict = 7464 5.59/5.61 c #restart = 8 5.59/5.61 c BCD2: relaxing 7 and merging with 2 cores into a new core of size 64: cost of the new core is >=7 5.59/5.61 c lower bound updated to 7 5.59/5.61 c BCD2: 7 <= obj <= 63 5.59/5.61 c BCD2: #cores=1, #unrelaxed=0, #relaxed=64, #hardened=0 5.59/5.61 c BCD2: #sat=1 #unsat=8 bias=8/9 5.59/5.61 c Solving starts ... 5.59/5.61 c ============================[ Search Statistics ]============================ 5.59/5.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.59/5.61 c | | | | Limit GC | Var | Constra 5.59/5.61 c ============================================================================= 5.59/5.61 c 0.0s | 0 | 0 | 0 | 29807 0 | 9 | 8 5.98/6.00 c 0.4s | 1 | 21305 | 100 | 32788 0 | 9 | 12 6.38/6.47 c 0.9s | 2 | 42460 | 250 | 32788 0 | 9 | 12 6.98/7.07 c 1.5s | 3 | 63122 | 475 | 32788 0 | 9 | 12 9.28/9.36 c 3.8s | 4 | 80475 | 813 | 32788 0 | 9 | 12 11.78/11.81 c 6.2s | 4 | 96635 | 1113 | 32788 0 | 9 | 12 13.69/13.72 c 8.1s | 5 | 96926 | 1320 | 32788 0 | 9 | 12 15.98/16.00 c 10.4s | 5 | 110053 | 1520 | 32788 0 | 9 | 12 18.89/18.91 c 13.3s | 5 | 110302 | 1720 | 32788 0 | 9 | 12 21.48/21.52 c 15.9s | 5 | 110557 | 1920 | 32788 0 | 9 | 12 24.39/24.41 c 18.8s | 6 | 110729 | 2081 | 32788 0 | 9 | 12 27.18/27.30 c 21.7s | 6 | 119231 | 2281 | 32788 0 | 9 | 12 29.58/29.62 c 24.0s | 6 | 119439 | 2481 | 32788 0 | 9 | 12 31.88/31.99 c 26.4s | 6 | 119693 | 2681 | 32788 0 | 9 | 12 34.38/34.49 c 28.9s | 6 | 119926 | 2881 | 32788 0 | 9 | 12 36.68/36.74 c 31.1s | 6 | 120152 | 3081 | 32788 0 | 9 | 12 38.59/38.62 c 33.0s | 7 | 120299 | 3223 | 32788 0 | 9 | 12 38.98/39.04 c 33.4s | 7 | 126923 | 3224 | 32788 0 | 9 | 12 38.98/39.04 c #cpu_time = 33.302s 38.98/39.04 c #wall_clock_time = 33.390s 38.98/39.04 c #decision = 126923 38.98/39.04 c #random_decision = 361 38.98/39.04 c #conflict = 3224 38.98/39.04 c #restart = 7 38.98/39.04 o 57 38.98/39.04 c BCD2: updating upper bound: 63 -> 56 38.98/39.04 c BCD2: 7 <= obj <= 56 38.98/39.04 c BCD2: #cores=1, #unrelaxed=0, #relaxed=64, #hardened=0 38.98/39.04 c BCD2: #sat=2 #unsat=8 bias=8/10 38.98/39.04 c Solving starts ... 38.98/39.04 c ============================[ Search Statistics ]============================ 38.98/39.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 38.98/39.04 c | | | | Limit GC | Var | Constra 38.98/39.04 c ============================================================================= 38.98/39.04 c 0.0s | 0 | 0 | 0 | 32788 0 | 9 | 14 39.48/39.51 c 0.5s | 1 | 5213 | 100 | 32788 0 | 9 | 14 39.79/39.88 c 0.8s | 2 | 5515 | 250 | 32788 0 | 9 | 14 40.28/40.35 c 1.3s | 3 | 5781 | 475 | 32788 0 | 9 | 14 40.68/40.78 c 1.7s | 4 | 6157 | 813 | 36067 0 | 9 | 14 41.28/41.31 c 2.3s | 5 | 6723 | 1320 | 36067 0 | 9 | 14 41.98/42.01 c 3.0s | 6 | 7499 | 2081 | 36067 0 | 9 | 14 42.78/42.86 c 3.8s | 7 | 8668 | 3223 | 36067 0 | 9 | 14 44.18/44.20 c 5.2s | 8 | 10406 | 4936 | 36067 0 | 9 | 14 46.08/46.19 c 7.2s | 9 | 13025 | 7506 | 39674 0 | 9 | 14 48.17/48.26 c 9.2s | 9 | 15098 | 9506 | 39674 0 | 9 | 14 49.97/50.04 c 11.0s | 10 | 16971 | 11361 | 39674 0 | 9 | 14 51.97/52.06 c 13.0s | 10 | 18739 | 13061 | 39674 0 | 9 | 14 54.08/54.15 c 15.1s | 10 | 20861 | 15161 | 43642 0 | 9 | 14 56.18/56.24 c 17.2s | 10 | 22495 | 16761 | 43642 0 | 9 | 14 56.77/56.82 c 17.8s | 11 | 22881 | 17144 | 43642 0 | 9 | 14 58.77/58.87 c 19.8s | 11 | 24153 | 18344 | 43642 0 | 9 | 14 60.87/60.93 c 21.9s | 11 | 25744 | 19944 | 43642 0 | 9 | 14 62.88/62.99 c 24.0s | 11 | 28273 | 22444 | 43642 0 | 9 | 14 64.98/65.01 c 26.0s | 11 | 30082 | 24244 | 43642 0 | 9 | 14 66.98/67.04 c 28.0s | 11 | 31588 | 25744 | 43642 0 | 9 | 14 67.08/67.14 c 28.1s | 12 | 31654 | 25819 | 43642 0 | 9 | 14 69.18/69.25 c 30.2s | 12 | 32595 | 26719 | 43642 0 | 9 | 14 71.28/71.33 c 32.3s | 12 | 33691 | 27819 | 43642 0 | 9 | 14 73.38/73.47 c 34.4s | 12 | 35193 | 29319 | 48007 0 | 9 | 14 75.37/75.48 c 36.4s | 12 | 36240 | 30319 | 48007 0 | 9 | 14 77.57/77.61 c 38.6s | 12 | 37365 | 31419 | 48007 0 | 9 | 14 79.67/79.79 c 40.8s | 12 | 38267 | 32319 | 48007 0 | 9 | 14 81.97/82.06 c 43.0s | 12 | 39103 | 33119 | 48007 0 | 9 | 14 84.27/84.37 c 45.3s | 12 | 40045 | 34019 | 48007 0 | 9 | 14 86.37/86.45 c 47.4s | 12 | 40839 | 34819 | 48007 0 | 9 | 14 88.57/88.69 c 49.7s | 12 | 42059 | 36019 | 48007 0 | 9 | 14 90.67/90.75 c 51.7s | 12 | 42961 | 36919 | 48007 0 | 9 | 14 92.77/92.81 c 53.8s | 12 | 44370 | 38319 | 48007 0 | 9 | 14 93.68/93.73 c 54.7s | 13 | 44879 | 38832 | 48007 0 | 9 | 14 96.07/96.10 c 57.1s | 13 | 45608 | 39532 | 48007 0 | 9 | 14 98.07/98.11 c 59.1s | 13 | 46361 | 40232 | 48007 0 | 9 | 14 100.17/100.25 c 61.2s | 13 | 47161 | 41032 | 48007 0 | 9 | 14 102.27/102.33 c 63.3s | 13 | 48589 | 42432 | 48007 0 | 9 | 14 104.37/104.45 c 65.4s | 13 | 50041 | 43832 | 48007 0 | 9 | 14 106.56/106.60 c 67.6s | 13 | 51061 | 44832 | 48007 0 | 9 | 14 108.56/108.62 c 69.6s | 13 | 51966 | 45732 | 48007 0 | 9 | 14 110.56/110.64 c 71.6s | 13 | 52804 | 46532 | 48007 0 | 9 | 14 112.66/112.75 c 73.7s | 13 | 53444 | 47132 | 48007 0 | 9 | 14 114.76/114.82 c 75.8s | 13 | 53953 | 47632 | 52808 0 | 9 | 14 116.96/117.02 c 78.0s | 13 | 54465 | 48132 | 52808 0 | 9 | 14 118.96/119.06 c 80.0s | 13 | 55094 | 48732 | 52808 0 | 9 | 14 121.16/121.22 c 82.2s | 13 | 55766 | 49432 | 52808 0 | 9 | 14 123.36/123.42 c 84.4s | 13 | 56798 | 50432 | 52808 0 | 9 | 14 125.46/125.52 c 86.5s | 13 | 58306 | 51932 | 52808 0 | 9 | 14 127.45/127.59 c 88.6s | 13 | 59500 | 53132 | 52808 0 | 9 | 14 129.55/129.62 c 90.6s | 13 | 60223 | 53832 | 52808 1 | 9 | 14 131.55/131.67 c 92.6s | 13 | 61506 | 55132 | 52808 1 | 9 | 14 133.95/134.08 c 95.0s | 13 | 62712 | 56332 | 52808 1 | 9 | 14 136.15/136.27 c 97.2s | 13 | 63706 | 57332 | 52808 1 | 9 | 14 138.25/138.31 c 99.3s | 14 | 64756 | 58352 | 52808 1 | 9 | 14 140.25/140.37 c 101s | 14 | 64978 | 58552 | 52808 1 | 9 | 14 142.55/142.62 c 103s | 14 | 65930 | 59452 | 52808 1 | 9 | 14 144.55/144.66 c 105s | 14 | 67063 | 60552 | 52808 1 | 9 | 14 146.74/146.85 c 107s | 14 | 68260 | 61752 | 52808 1 | 9 | 14 148.94/149.04 c 110s | 14 | 69347 | 62752 | 52808 1 | 9 | 14 151.04/151.14 c 112s | 14 | 69956 | 63352 | 52808 1 | 9 | 14 153.35/153.41 c 114s | 14 | 70672 | 64052 | 52808 1 | 9 | 14 155.55/155.67 c 116s | 14 | 71560 | 64952 | 52808 1 | 9 | 14 157.65/157.70 c 118s | 14 | 73179 | 66552 | 52808 1 | 9 | 14 159.75/159.85 c 120s | 14 | 74574 | 67952 | 52808 1 | 9 | 14 161.95/162.06 c 123s | 14 | 75774 | 69152 | 52808 1 | 9 | 14 164.25/164.32 c 125s | 14 | 76898 | 70252 | 52808 1 | 9 | 14 166.25/166.32 c 127s | 14 | 77688 | 71052 | 52808 1 | 9 | 14 168.35/168.43 c 129s | 14 | 78475 | 71852 | 52808 1 | 9 | 14 170.44/170.56 c 131s | 14 | 79078 | 72452 | 52808 1 | 9 | 14 172.54/172.62 c 133s | 14 | 79785 | 73152 | 52808 1 | 9 | 14 174.84/174.93 c 135s | 14 | 80382 | 73752 | 52808 1 | 9 | 14 177.15/177.21 c 138s | 14 | 81095 | 74452 | 52808 1 | 9 | 14 179.24/179.33 c 140s | 14 | 81682 | 75052 | 52808 1 | 9 | 14 181.24/181.35 c 142s | 14 | 82286 | 75652 | 52808 1 | 9 | 14 183.24/183.35 c 144s | 14 | 82783 | 76152 | 52808 1 | 9 | 14 185.44/185.57 c 146s | 14 | 83384 | 76752 | 58089 1 | 9 | 14 187.54/187.65 c 148s | 14 | 83896 | 77252 | 58089 1 | 9 | 14 189.74/189.88 c 150s | 14 | 84406 | 77752 | 58089 1 | 9 | 14 192.04/192.13 c 153s | 14 | 85013 | 78352 | 58089 1 | 9 | 14 194.14/194.27 c 155s | 14 | 85723 | 79052 | 58089 1 | 9 | 14 196.24/196.32 c 157s | 14 | 87029 | 80352 | 58089 1 | 9 | 14 198.34/198.47 c 159s | 14 | 88225 | 81552 | 58089 1 | 9 | 14 200.64/200.74 c 161s | 14 | 89226 | 82552 | 58089 1 | 9 | 14 202.74/202.82 c 163s | 14 | 90132 | 83452 | 58089 1 | 9 | 14 204.84/204.94 c 165s | 14 | 90938 | 84252 | 58089 1 | 9 | 14 206.94/207.02 c 167s | 14 | 91635 | 84952 | 58089 1 | 9 | 14 209.04/209.20 c 170s | 14 | 92360 | 85652 | 58089 1 | 9 | 14 211.34/211.42 c 172s | 14 | 92738 | 86052 | 58089 1 | 9 | 14 213.54/213.67 c 174s | 14 | 93353 | 86652 | 58089 1 | 9 | 14 216.53/216.64 c 177s | 14 | 93740 | 87052 | 58089 2 | 9 | 14 218.63/218.78 c 179s | 15 | 94346 | 87632 | 58089 2 | 9 | 14 220.73/220.88 c 181s | 15 | 95401 | 88632 | 58089 2 | 9 | 14 222.83/222.96 c 183s | 15 | 96386 | 89632 | 58089 2 | 9 | 14 225.03/225.12 c 186s | 15 | 97487 | 90632 | 58089 2 | 9 | 14 227.03/227.17 c 188s | 15 | 98285 | 91432 | 58089 2 | 9 | 14 241.93/242.08 c 203s | 15 | 98688 | 91832 | 58089 2 | 9 | 14 244.03/244.14 c 205s | 15 | 99905 | 93032 | 58089 2 | 9 | 14 246.03/246.18 c 207s | 15 | 101104 | 94232 | 58089 2 | 9 | 14 248.13/248.27 c 209s | 15 | 102812 | 95932 | 58089 2 | 9 | 14 250.23/250.35 c 211s | 15 | 104113 | 97232 | 58089 2 | 9 | 14 252.43/252.55 c 213s | 15 | 105431 | 98532 | 58089 2 | 9 | 14 254.73/254.85 c 215s | 15 | 106518 | 99632 | 58089 2 | 9 | 14 256.82/256.90 c 217s | 15 | 107545 | 100632 | 58089 2 | 9 | 14 259.02/259.13 c 220s | 15 | 108122 | 101232 | 58089 2 | 9 | 14 261.42/261.58 c 222s | 15 | 109131 | 102232 | 58089 2 | 9 | 14 263.52/263.63 c 224s | 15 | 109746 | 102832 | 58089 2 | 9 | 14 265.72/265.82 c 226s | 15 | 110535 | 103632 | 58089 2 | 9 | 14 267.82/267.99 c 228s | 15 | 111029 | 104132 | 58089 2 | 9 | 14 269.92/270.09 c 231s | 15 | 111731 | 104832 | 58089 2 | 9 | 14 272.42/272.50 c 233s | 15 | 112456 | 105532 | 58089 2 | 9 | 14 274.42/274.57 c 235s | 15 | 112942 | 106032 | 58089 2 | 9 | 14 276.72/276.83 c 237s | 15 | 113647 | 106732 | 58089 2 | 9 | 14 279.02/279.13 c 240s | 15 | 114464 | 107532 | 58089 2 | 9 | 14 281.12/281.29 c 242s | 15 | 115054 | 108132 | 58089 2 | 9 | 14 283.22/283.35 c 244s | 15 | 116377 | 109432 | 58089 2 | 9 | 14 285.51/285.65 c 246s | 15 | 117486 | 110532 | 58089 2 | 9 | 14 287.61/287.76 c 248s | 15 | 118377 | 111432 | 58089 2 | 9 | 14 289.71/289.85 c 250s | 15 | 119276 | 112332 | 58089 2 | 9 | 14 291.81/291.94 c 252s | 15 | 120080 | 113132 | 58089 2 | 9 | 14 293.91/294.04 c 254s | 15 | 120698 | 113732 | 58089 2 | 9 | 14 296.11/296.26 c 257s | 15 | 121403 | 114432 | 58089 2 | 9 | 14 298.51/298.66 c 259s | 15 | 122009 | 115032 | 58089 2 | 9 | 14 300.71/300.80 c 261s | 15 | 122611 | 115632 | 58089 2 | 9 | 14 302.81/302.98 c 263s | 15 | 123002 | 116032 | 58089 2 | 9 | 14 305.31/305.41 c 266s | 15 | 123619 | 116632 | 58089 2 | 9 | 14 307.61/307.71 c 268s | 15 | 124212 | 117232 | 58089 2 | 9 | 14 309.71/309.87 c 270s | 15 | 124597 | 117632 | 58089 2 | 9 | 14 313.81/313.93 c 274s | 15 | 125002 | 118032 | 58089 3 | 9 | 14 315.91/316.00 c 276s | 15 | 125796 | 118832 | 58089 3 | 9 | 14 318.21/318.31 c 279s | 15 | 126703 | 119732 | 58089 3 | 9 | 14 320.41/320.51 c 281s | 15 | 127539 | 120532 | 63898 3 | 9 | 14 322.61/322.71 c 283s | 15 | 128208 | 121232 | 63898 3 | 9 | 14 324.81/324.90 c 285s | 15 | 129022 | 122032 | 63898 3 | 9 | 14 326.71/326.90 c 287s | 15 | 130535 | 123532 | 63898 3 | 9 | 14 328.80/329.00 c 289s | 15 | 131946 | 124932 | 63898 3 | 9 | 14 331.00/331.10 c 292s | 15 | 133145 | 126132 | 63898 3 | 9 | 14 333.00/333.14 c 294s | 15 | 134254 | 127232 | 63898 3 | 9 | 14 335.20/335.32 c 296s | 15 | 135270 | 128232 | 63898 3 | 9 | 14 337.20/337.33 c 298s | 15 | 135960 | 128932 | 63898 3 | 9 | 14 339.40/339.52 c 300s | 15 | 136658 | 129632 | 63898 3 | 9 | 14 341.60/341.72 c 302s | 15 | 137365 | 130332 | 63898 3 | 9 | 14 343.60/343.76 c 304s | 15 | 138058 | 131032 | 63898 3 | 9 | 14 345.20/345.35 c 306s | 16 | 138599 | 131552 | 63898 3 | 9 | 14 347.40/347.51 c 308s | 16 | 139037 | 131952 | 63898 3 | 9 | 14 349.50/349.66 c 310s | 16 | 139657 | 132552 | 63898 3 | 9 | 14 351.60/351.79 c 312s | 16 | 140440 | 133352 | 63898 3 | 9 | 14 353.70/353.88 c 314s | 16 | 141033 | 133952 | 63898 3 | 9 | 14 355.79/355.92 c 316s | 16 | 141909 | 134752 | 63898 3 | 9 | 14 358.29/358.47 c 319s | 16 | 142308 | 135152 | 63898 3 | 9 | 14 360.39/360.55 c 321s | 16 | 142708 | 135552 | 63898 3 | 9 | 14 362.49/362.63 c 323s | 16 | 143409 | 136252 | 63898 3 | 9 | 14 364.99/365.14 c 326s | 16 | 144122 | 136952 | 63898 3 | 9 | 14 367.09/367.25 c 328s | 16 | 144949 | 137752 | 63898 3 | 9 | 14 369.29/369.44 c 330s | 16 | 146043 | 138852 | 63898 3 | 9 | 14 371.29/371.48 c 332s | 16 | 146848 | 139652 | 63898 3 | 9 | 14 373.49/373.66 c 334s | 16 | 147651 | 140452 | 63898 3 | 9 | 14 375.89/376.05 c 337s | 16 | 148452 | 141252 | 63898 3 | 9 | 14 377.99/378.17 c 339s | 16 | 149148 | 141952 | 63898 3 | 9 | 14 379.99/380.20 c 341s | 16 | 149744 | 142552 | 63898 3 | 9 | 14 382.39/382.52 c 343s | 16 | 150457 | 143252 | 63898 3 | 9 | 14 384.79/384.98 c 345s | 16 | 151060 | 143852 | 63898 3 | 9 | 14 386.89/387.06 c 348s | 16 | 151665 | 144452 | 63898 3 | 9 | 14 388.89/389.09 c 350s | 16 | 152056 | 144852 | 63898 3 | 9 | 14 391.29/391.45 c 352s | 16 | 152657 | 145452 | 63898 3 | 9 | 14 393.39/393.58 c 354s | 16 | 153152 | 145952 | 63898 3 | 9 | 14 395.59/395.72 c 356s | 16 | 153561 | 146352 | 63898 3 | 9 | 14 397.99/398.11 c 359s | 16 | 154058 | 146852 | 63898 3 | 9 | 14 400.29/400.43 c 361s | 16 | 154773 | 147552 | 63898 3 | 9 | 14 402.28/402.45 c 363s | 16 | 155275 | 148052 | 63898 3 | 9 | 14 404.38/404.51 c 365s | 16 | 156483 | 149252 | 63898 3 | 9 | 14 406.48/406.65 c 367s | 16 | 157396 | 150152 | 63898 3 | 9 | 14 408.78/408.93 c 369s | 16 | 158284 | 151052 | 63898 3 | 9 | 14 410.78/410.95 c 371s | 16 | 159083 | 151852 | 63898 3 | 9 | 14 413.08/413.24 c 374s | 16 | 159795 | 152552 | 63898 3 | 9 | 14 415.08/415.27 c 376s | 16 | 160392 | 153152 | 63898 3 | 9 | 14 417.28/417.47 c 378s | 16 | 160898 | 153652 | 63898 3 | 9 | 14 419.68/419.82 c 380s | 16 | 161401 | 154152 | 63898 3 | 9 | 14 421.98/422.11 c 383s | 16 | 161922 | 154652 | 63898 3 | 9 | 14 424.68/424.81 c 385s | 16 | 162010 | 154752 | 63898 4 | 9 | 14 426.89/427.08 c 388s | 16 | 162500 | 155252 | 63898 4 | 9 | 14 428.99/429.17 c 390s | 16 | 163307 | 156052 | 63898 4 | 9 | 14 430.98/431.19 c 392s | 16 | 164114 | 156852 | 63898 4 | 9 | 14 433.18/433.32 c 394s | 16 | 164927 | 157652 | 63898 4 | 9 | 14 435.38/435.59 c 396s | 16 | 165726 | 158452 | 63898 4 | 9 | 14 439.78/439.93 c 400s | 16 | 166253 | 158952 | 63898 4 | 9 | 14 441.88/442.01 c 402s | 16 | 167754 | 160452 | 63898 4 | 9 | 14 443.88/444.05 c 405s | 16 | 169353 | 162052 | 63898 4 | 9 | 14 445.98/446.12 c 407s | 16 | 170662 | 163352 | 63898 4 | 9 | 14 447.98/448.16 c 409s | 16 | 171654 | 164352 | 63898 4 | 9 | 14 450.28/450.43 c 411s | 16 | 172464 | 165152 | 63898 4 | 9 | 14 452.38/452.55 c 413s | 16 | 173265 | 165952 | 63898 4 | 9 | 14 454.88/455.00 c 415s | 16 | 174159 | 166852 | 63898 4 | 9 | 14 456.88/457.03 c 417s | 16 | 174665 | 167352 | 63898 4 | 9 | 14 458.88/459.09 c 420s | 16 | 175362 | 168052 | 63898 4 | 9 | 14 461.18/461.32 c 422s | 16 | 175872 | 168552 | 63898 4 | 9 | 14 463.28/463.47 c 424s | 16 | 176459 | 169152 | 63898 4 | 9 | 14 465.38/465.56 c 426s | 16 | 177286 | 169952 | 63898 4 | 9 | 14 467.48/467.65 c 428s | 16 | 178299 | 170952 | 63898 4 | 9 | 14 469.68/469.81 c 430s | 16 | 179504 | 172152 | 63898 4 | 9 | 14 471.78/471.93 c 432s | 16 | 180398 | 173052 | 63898 4 | 9 | 14 474.08/474.22 c 435s | 16 | 181299 | 173952 | 63898 4 | 9 | 14 476.28/476.44 c 437s | 16 | 182107 | 174752 | 63898 4 | 9 | 14 478.37/478.57 c 439s | 16 | 182695 | 175352 | 63898 4 | 9 | 14 480.47/480.63 c 441s | 16 | 183315 | 175952 | 63898 4 | 9 | 14 482.67/482.82 c 443s | 16 | 183913 | 176552 | 63898 4 | 9 | 14 484.97/485.17 c 446s | 16 | 184520 | 177152 | 63898 4 | 9 | 14 487.47/487.62 c 448s | 16 | 185104 | 177752 | 63898 4 | 9 | 14 489.77/489.90 c 450s | 16 | 185717 | 178352 | 63898 4 | 9 | 14 491.87/492.01 c 452s | 16 | 186201 | 178852 | 63898 4 | 9 | 14 494.07/494.28 c 455s | 16 | 186715 | 179352 | 63898 4 | 9 | 14 496.47/496.62 c 457s | 16 | 187415 | 180052 | 63898 4 | 9 | 14 498.47/498.69 c 459s | 16 | 188437 | 181052 | 63898 4 | 9 | 14 500.57/500.73 c 461s | 16 | 189439 | 182052 | 63898 4 | 9 | 14 502.57/502.80 c 463s | 16 | 190239 | 182852 | 63898 4 | 9 | 14 504.97/505.13 c 466s | 16 | 191029 | 183652 | 63898 4 | 9 | 14 507.17/507.33 c 468s | 16 | 191748 | 184352 | 63898 4 | 9 | 14 509.47/509.61 c 470s | 16 | 192343 | 184952 | 63898 4 | 9 | 14 511.77/511.97 c 472s | 16 | 192937 | 185552 | 70288 4 | 9 | 14 513.87/514.03 c 474s | 16 | 193445 | 186052 | 70288 4 | 9 | 14 515.97/516.18 c 477s | 16 | 193949 | 186552 | 70288 4 | 9 | 14 518.17/518.31 c 479s | 16 | 194442 | 187052 | 70288 4 | 9 | 14 520.76/520.99 c 481s | 16 | 195053 | 187652 | 70288 4 | 9 | 14 523.16/523.32 c 484s | 16 | 195447 | 188052 | 70288 4 | 9 | 14 525.66/525.81 c 486s | 16 | 195963 | 188552 | 70288 4 | 9 | 14 528.16/528.30 c 489s | 16 | 196658 | 189252 | 70288 4 | 9 | 14 530.27/530.47 c 491s | 16 | 197570 | 190152 | 70288 4 | 9 | 14 532.37/532.58 c 493s | 16 | 198478 | 191052 | 70288 4 | 9 | 14 534.57/534.75 c 495s | 16 | 199269 | 191852 | 70288 4 | 9 | 14 536.87/537.07 c 498s | 16 | 199880 | 192452 | 70288 4 | 9 | 14 538.86/539.10 c 500s | 16 | 200370 | 192952 | 70288 4 | 9 | 14 540.96/541.11 c 502s | 16 | 200870 | 193452 | 70288 4 | 9 | 14 543.16/543.31 c 504s | 16 | 201279 | 193852 | 70288 4 | 9 | 14 545.26/545.43 c 506s | 16 | 201778 | 194352 | 70288 4 | 9 | 14 547.55/547.72 c 508s | 16 | 202192 | 194752 | 70288 4 | 9 | 14 552.06/552.25 c 513s | 16 | 202503 | 195052 | 70288 5 | 9 | 14 554.26/554.45 c 515s | 16 | 203293 | 195852 | 70288 5 | 9 | 14 556.46/556.65 c 517s | 16 | 204084 | 196652 | 70288 5 | 9 | 14 558.46/558.66 c 519s | 17 | 204867 | 197432 | 70288 5 | 9 | 14 587.84/588.05 c 549s | 17 | 205017 | 197532 | 70288 5 | 9 | 14 589.94/590.12 c 551s | 17 | 207210 | 199732 | 70288 5 | 9 | 14 592.04/592.20 c 553s | 17 | 209510 | 202032 | 70288 5 | 9 | 14 594.14/594.31 c 555s | 17 | 211218 | 203732 | 70288 5 | 9 | 14 596.15/596.33 c 557s | 17 | 213036 | 205532 | 70288 5 | 9 | 14 598.24/598.44 c 559s | 17 | 215048 | 207532 | 70288 5 | 9 | 14 600.24/600.47 c 561s | 17 | 216638 | 209132 | 70288 5 | 9 | 14 602.34/602.50 c 563s | 17 | 217935 | 210432 | 70288 5 | 9 | 14 604.34/604.52 c 565s | 17 | 219754 | 212232 | 70288 5 | 9 | 14 606.44/606.68 c 567s | 17 | 221258 | 213732 | 70288 5 | 9 | 14 608.54/608.72 c 569s | 17 | 222256 | 214732 | 70288 5 | 9 | 14 610.64/610.86 c 571s | 17 | 223373 | 215832 | 70288 5 | 9 | 14 612.74/612.92 c 573s | 17 | 224880 | 217332 | 70288 5 | 9 | 14 614.74/615.00 c 575s | 17 | 226185 | 218632 | 70288 5 | 9 | 14 616.94/617.20 c 578s | 17 | 227287 | 219732 | 70288 5 | 9 | 14 619.24/619.41 c 580s | 17 | 228281 | 220732 | 70288 5 | 9 | 14 621.33/621.53 c 582s | 17 | 229504 | 221932 | 70288 5 | 9 | 14 623.53/623.75 c 584s | 17 | 230710 | 223132 | 70288 5 | 9 | 14 625.63/625.84 c 586s | 17 | 231602 | 224032 | 70288 5 | 9 | 14 627.63/627.88 c 588s | 17 | 232501 | 224932 | 70288 5 | 9 | 14 629.63/629.89 c 590s | 17 | 233203 | 225632 | 70288 5 | 9 | 14 631.93/632.15 c 593s | 17 | 234527 | 226932 | 70288 5 | 9 | 14 634.13/634.34 c 595s | 17 | 235530 | 227932 | 70288 5 | 9 | 14 636.33/636.57 c 597s | 17 | 236422 | 228832 | 70288 5 | 9 | 14 638.73/638.97 c 599s | 17 | 237238 | 229632 | 70288 5 | 9 | 14 640.93/641.11 c 602s | 17 | 238345 | 230732 | 70288 5 | 9 | 14 643.03/643.21 c 604s | 17 | 239444 | 231832 | 70288 5 | 9 | 14 650.14/650.31 c 611s | 17 | 240352 | 232732 | 70288 6 | 9 | 14 652.13/652.31 c 613s | 17 | 240737 | 233132 | 70288 6 | 9 | 14 654.23/654.42 c 615s | 17 | 242056 | 234432 | 70288 6 | 9 | 14 656.33/656.55 c 617s | 17 | 243252 | 235632 | 70288 6 | 9 | 14 658.53/658.70 c 619s | 17 | 244255 | 236632 | 70288 6 | 9 | 14 660.63/660.85 c 621s | 17 | 245562 | 237932 | 70288 6 | 9 | 14 662.73/662.95 c 623s | 17 | 246666 | 239032 | 70288 6 | 9 | 14 664.73/664.99 c 625s | 17 | 247469 | 239832 | 70288 6 | 9 | 14 666.83/667.04 c 628s | 17 | 248781 | 241132 | 70288 6 | 9 | 14 668.83/669.06 c 630s | 17 | 249678 | 242032 | 70288 6 | 9 | 14 670.93/671.17 c 632s | 17 | 250793 | 243132 | 70288 6 | 9 | 14 673.03/673.28 c 634s | 17 | 251890 | 244232 | 70288 6 | 9 | 14 675.13/675.38 c 636s | 17 | 252903 | 245232 | 70288 6 | 9 | 14 677.22/677.42 c 638s | 17 | 253908 | 246232 | 70288 6 | 9 | 14 679.22/679.49 c 640s | 17 | 254810 | 247132 | 70288 6 | 9 | 14 681.42/681.60 c 642s | 17 | 255911 | 248232 | 70288 6 | 9 | 14 683.42/683.69 c 644s | 17 | 256918 | 249232 | 70288 6 | 9 | 14 685.52/685.74 c 646s | 17 | 257811 | 250132 | 70288 6 | 9 | 14 687.62/687.88 c 648s | 17 | 258915 | 251232 | 70288 6 | 9 | 14 689.82/690.07 c 651s | 17 | 260022 | 252332 | 70288 6 | 9 | 14 691.82/692.10 c 653s | 17 | 261027 | 253332 | 70288 6 | 9 | 14 693.92/694.11 c 655s | 17 | 262138 | 254432 | 70288 6 | 9 | 14 695.92/696.16 c 657s | 17 | 263245 | 255532 | 70288 6 | 9 | 14 698.12/698.34 c 659s | 17 | 264545 | 256832 | 70288 6 | 9 | 14 700.32/700.59 c 661s | 17 | 265971 | 258232 | 70288 6 | 9 | 14 702.72/702.91 c 663s | 17 | 266257 | 258532 | 70288 6 | 9 | 14 705.61/705.82 c 666s | 17 | 266557 | 258832 | 70288 6 | 9 | 14 707.71/707.92 c 668s | 17 | 267058 | 259332 | 70288 6 | 9 | 14 709.91/710.13 c 671s | 17 | 267879 | 260132 | 70288 6 | 9 | 14 711.91/712.13 c 673s | 17 | 268369 | 260632 | 70288 6 | 9 | 14 714.01/714.28 c 675s | 17 | 268978 | 261232 | 70288 6 | 9 | 14 716.21/716.40 c 677s | 17 | 269466 | 261732 | 70288 6 | 9 | 14 718.51/718.76 c 679s | 17 | 269965 | 262232 | 70288 6 | 9 | 14 720.81/721.04 c 682s | 17 | 270468 | 262732 | 70288 6 | 9 | 14 723.41/723.67 c 684s | 17 | 271089 | 263332 | 70288 6 | 9 | 14 725.51/725.77 c 686s | 17 | 271476 | 263732 | 70288 6 | 9 | 14 728.31/728.51 c 689s | 17 | 272075 | 264332 | 70288 6 | 9 | 14 730.51/730.77 c 691s | 17 | 272388 | 264632 | 70288 6 | 9 | 14 732.52/732.79 c 693s | 17 | 272788 | 265032 | 70288 6 | 9 | 14 735.41/735.61 c 696s | 17 | 273276 | 265532 | 70288 6 | 9 | 14 738.21/738.43 c 699s | 17 | 273584 | 265832 | 70288 6 | 9 | 14 740.81/741.00 c 701s | 17 | 273990 | 266232 | 70288 6 | 9 | 14 742.91/743.10 c 704s | 17 | 274287 | 266532 | 70288 6 | 9 | 14 745.20/745.45 c 706s | 17 | 275205 | 267432 | 70288 6 | 9 | 14 747.30/747.58 c 708s | 17 | 275994 | 268232 | 70288 6 | 9 | 14 749.40/749.63 c 710s | 17 | 276607 | 268832 | 70288 6 | 9 | 14 751.60/751.87 c 712s | 17 | 277205 | 269432 | 70288 6 | 9 | 14 753.70/753.98 c 714s | 17 | 277709 | 269932 | 70288 6 | 9 | 14 767.31/767.52 c 728s | 17 | 277896 | 270132 | 70288 7 | 9 | 14 769.81/770.04 c 731s | 17 | 278496 | 270732 | 70288 7 | 9 | 14 771.91/772.13 c 733s | 17 | 279305 | 271532 | 70288 7 | 9 | 14 773.91/774.17 c 735s | 17 | 279916 | 272132 | 70288 7 | 9 | 14 776.31/776.51 c 737s | 17 | 280716 | 272932 | 70288 7 | 9 | 14 778.30/778.54 c 739s | 17 | 281415 | 273632 | 70288 7 | 9 | 14 900.89/901.14 c 862s | 17 | 281826 | 274032 | 70288 7 | 9 | 14 902.88/903.19 c 864s | 17 | 282734 | 274932 | 70288 7 | 9 | 14 904.98/905.27 c 866s | 17 | 283731 | 275932 | 70288 7 | 9 | 14 907.08/907.36 c 868s | 17 | 284633 | 276832 | 70288 7 | 9 | 14 909.08/909.38 c 870s | 17 | 285430 | 277632 | 70288 7 | 9 | 14 911.18/911.43 c 872s | 17 | 286132 | 278332 | 70288 7 | 9 | 14 913.38/913.64 c 874s | 17 | 286938 | 279132 | 70288 7 | 9 | 14 915.68/915.92 c 876s | 17 | 287631 | 279832 | 70288 7 | 9 | 14 917.78/918.03 c 878s | 17 | 288234 | 280432 | 70288 7 | 9 | 14 919.88/920.19 c 881s | 17 | 288931 | 281132 | 70288 7 | 9 | 14 921.98/922.25 c 883s | 17 | 289428 | 281632 | 70288 7 | 9 | 14 924.18/924.42 c 885s | 17 | 290051 | 282232 | 70288 7 | 9 | 14 926.48/926.79 c 887s | 17 | 290764 | 282932 | 70288 7 | 9 | 14 928.67/928.98 c 889s | 17 | 291757 | 283932 | 77317 7 | 9 | 14 930.87/931.12 c 892s | 17 | 292657 | 284832 | 77317 7 | 9 | 14 932.97/933.24 c 894s | 17 | 293455 | 285632 | 77317 7 | 9 | 14 935.27/935.59 c 896s | 17 | 294268 | 286432 | 77317 7 | 9 | 14 937.47/937.78 c 898s | 17 | 294858 | 287032 | 77317 7 | 9 | 14 939.57/939.84 c 900s | 17 | 295470 | 287632 | 77317 7 | 9 | 14 942.07/942.31 c 903s | 17 | 296062 | 288232 | 77317 7 | 9 | 14 944.47/944.72 c 905s | 17 | 296682 | 288832 | 77317 7 | 9 | 14 946.57/946.88 c 907s | 17 | 297171 | 289332 | 77317 7 | 9 | 14 948.97/949.29 c 910s | 17 | 297778 | 289932 | 77317 7 | 9 | 14 951.07/951.33 c 912s | 17 | 298178 | 290332 | 77317 7 | 9 | 14 953.27/953.54 c 914s | 17 | 298685 | 290832 | 77317 7 | 9 | 14 955.57/955.83 c 916s | 17 | 299196 | 291332 | 77317 7 | 9 | 14 957.77/958.08 c 919s | 17 | 299701 | 291832 | 77317 7 | 9 | 14 960.28/960.57 c 921s | 17 | 300105 | 292232 | 77317 7 | 9 | 14 962.38/962.70 c 923s | 17 | 300596 | 292732 | 77317 7 | 9 | 14 964.47/964.76 c 925s | 17 | 301501 | 293632 | 77317 7 | 9 | 14 966.57/966.84 c 927s | 17 | 302199 | 294332 | 77317 7 | 9 | 14 969.07/969.36 c 930s | 17 | 302910 | 295032 | 77317 7 | 9 | 14 971.07/971.36 c 932s | 17 | 303511 | 295632 | 77317 7 | 9 | 14 973.27/973.52 c 934s | 17 | 303925 | 296032 | 77317 7 | 9 | 14 973.97/974.24 c 935s | 18 | 304124 | 296252 | 77317 7 | 9 | 14 976.77/977.05 c 938s | 18 | 304531 | 296552 | 77317 7 | 9 | 14 979.67/979.99 c 940s | 18 | 304926 | 296952 | 77317 7 | 9 | 14 981.77/982.05 c 943s | 18 | 305129 | 297152 | 77317 7 | 9 | 14 984.57/984.84 c 945s | 18 | 305428 | 297452 | 77317 7 | 9 | 14 986.77/987.07 c 948s | 18 | 305718 | 297752 | 77317 7 | 9 | 14 988.77/989.09 c 950s | 18 | 306646 | 298652 | 77317 7 | 9 | 14 990.97/991.21 c 952s | 18 | 307573 | 299552 | 77317 7 | 9 | 14 992.96/993.25 c 954s | 18 | 308273 | 300252 | 77317 7 | 9 | 14 995.26/995.56 c 956s | 18 | 309083 | 301052 | 77317 7 | 9 | 14 997.67/997.92 c 958s | 18 | 309887 | 301852 | 77317 7 | 9 | 14 999.87/1000.13 c 961s | 18 | 310726 | 302652 | 77317 7 | 9 | 14 1001.86/1002.18 c 963s | 18 | 311267 | 303152 | 77317 7 | 9 | 14 1004.06/1004.30 c 965s | 18 | 311775 | 303652 | 77317 7 | 9 | 14 1006.16/1006.49 c 967s | 18 | 312322 | 304152 | 77317 7 | 9 | 14 1008.46/1008.73 c 969s | 18 | 312750 | 304552 | 77317 7 | 9 | 14 1010.66/1010.94 c 971s | 18 | 313176 | 304952 | 77317 7 | 9 | 14 1012.97/1013.26 c 974s | 18 | 313648 | 305352 | 77317 7 | 9 | 14 1015.17/1015.43 c 976s | 18 | 313951 | 305652 | 77317 7 | 9 | 14 1017.16/1017.49 c 978s | 18 | 314282 | 305952 | 77317 7 | 9 | 14 1019.57/1019.84 c 980s | 18 | 314588 | 306252 | 77317 7 | 9 | 14 1022.07/1022.32 c 983s | 18 | 314935 | 306552 | 77317 7 | 9 | 14 1024.37/1024.63 c 985s | 18 | 315262 | 306852 | 77317 7 | 9 | 14 1026.37/1026.67 c 987s | 18 | 315453 | 307052 | 77317 7 | 9 | 14 1028.97/1029.26 c 990s | 18 | 315784 | 307352 | 77317 7 | 9 | 14 1031.57/1031.88 c 992s | 18 | 316017 | 307552 | 77317 7 | 9 | 14 1034.27/1034.52 c 995s | 18 | 316180 | 307752 | 77317 7 | 9 | 14 1036.67/1036.92 c 997s | 18 | 316394 | 307952 | 77317 7 | 9 | 14 1038.97/1039.22 c 1000s | 18 | 316599 | 308152 | 77317 7 | 9 | 14 1041.47/1041.78 c 1002s | 18 | 316889 | 308452 | 77317 7 | 9 | 14 1043.77/1044.02 c 1004s | 18 | 317419 | 308952 | 77317 7 | 9 | 14 1045.87/1046.17 c 1007s | 18 | 317821 | 309352 | 77317 7 | 9 | 14 1048.06/1048.37 c 1009s | 18 | 318374 | 309852 | 77317 7 | 9 | 14 1050.56/1050.88 c 1011s | 18 | 318969 | 310452 | 77317 7 | 9 | 14 1053.36/1053.60 c 1014s | 18 | 319368 | 310852 | 77317 7 | 9 | 14 1055.66/1055.93 c 1016s | 18 | 319675 | 311152 | 77317 7 | 9 | 14 1058.17/1058.46 c 1019s | 18 | 320263 | 311652 | 77317 7 | 9 | 14 1061.06/1061.32 c 1022s | 18 | 320711 | 312052 | 77317 7 | 9 | 14 1063.57/1063.89 c 1024s | 18 | 320996 | 312352 | 77317 7 | 9 | 14 1066.97/1067.26 c 1028s | 18 | 321344 | 312652 | 77317 7 | 9 | 14 1069.46/1069.71 c 1030s | 18 | 321529 | 312852 | 77317 7 | 9 | 14 1071.86/1072.11 c 1033s | 18 | 321720 | 313052 | 77317 7 | 9 | 14 1073.96/1074.24 c 1035s | 18 | 321918 | 313252 | 77317 7 | 9 | 14 1075.96/1076.27 c 1037s | 18 | 322362 | 313652 | 77317 7 | 9 | 14 1096.75/1097.08 c 1058s | 18 | 322675 | 313952 | 77317 8 | 9 | 14 1099.35/1099.65 c 1060s | 18 | 323164 | 314452 | 77317 8 | 9 | 14 1101.45/1101.77 c 1062s | 18 | 323785 | 315052 | 77317 8 | 9 | 14 1103.95/1104.25 c 1065s | 18 | 324630 | 315852 | 77317 8 | 9 | 14 1106.15/1106.43 c 1067s | 18 | 325339 | 316552 | 77317 8 | 9 | 14 1108.25/1108.52 c 1069s | 18 | 326115 | 317252 | 77317 8 | 9 | 14 1118.75/1119.04 c 1080s | 18 | 326426 | 317552 | 77317 8 | 9 | 14 1121.15/1121.44 c 1082s | 18 | 326932 | 318052 | 77317 8 | 9 | 14 1123.35/1123.60 c 1084s | 18 | 327968 | 319052 | 77317 8 | 9 | 14 1125.35/1125.66 c 1086s | 18 | 328958 | 320052 | 77317 8 | 9 | 14 1127.46/1127.77 c 1088s | 18 | 329896 | 320952 | 77317 8 | 9 | 14 1129.66/1129.96 c 1090s | 18 | 330502 | 321552 | 77317 8 | 9 | 14 1131.86/1132.11 c 1093s | 18 | 331189 | 322152 | 77317 8 | 9 | 14 1133.85/1134.14 c 1095s | 18 | 331564 | 322552 | 77317 8 | 9 | 14 1135.95/1136.27 c 1097s | 18 | 332408 | 323352 | 77317 8 | 9 | 14 1138.05/1138.36 c 1099s | 18 | 333454 | 324352 | 77317 8 | 9 | 14 1140.15/1140.49 c 1101s | 18 | 334238 | 325152 | 77317 8 | 9 | 14 1142.55/1142.85 c 1103s | 18 | 335041 | 325952 | 77317 8 | 9 | 14 1145.15/1145.42 c 1106s | 18 | 335562 | 326452 | 77317 8 | 9 | 14 1147.15/1147.46 c 1108s | 18 | 335892 | 326752 | 77317 8 | 9 | 14 1149.15/1149.47 c 1110s | 18 | 336190 | 327052 | 77317 8 | 9 | 14 1151.35/1151.61 c 1112s | 18 | 336821 | 327652 | 77317 8 | 9 | 14 1153.45/1153.70 c 1114s | 18 | 337815 | 328652 | 77317 8 | 9 | 14 1155.75/1156.04 c 1116s | 18 | 338646 | 329452 | 77317 8 | 9 | 14 1158.05/1158.35 c 1119s | 18 | 339475 | 330252 | 77317 8 | 9 | 14 1160.24/1160.57 c 1121s | 18 | 340002 | 330752 | 77317 8 | 9 | 14 1162.55/1162.82 c 1123s | 18 | 340412 | 331152 | 77317 8 | 9 | 14 1164.54/1164.86 c 1125s | 18 | 340955 | 331652 | 77317 8 | 9 | 14 1166.74/1167.01 c 1127s | 18 | 342048 | 332752 | 77317 8 | 9 | 14 1168.84/1169.13 c 1130s | 18 | 342644 | 333352 | 77317 8 | 9 | 14 1171.14/1171.44 c 1132s | 18 | 343468 | 334152 | 77317 8 | 9 | 14 1173.74/1174.02 c 1134s | 18 | 343976 | 334652 | 77317 8 | 9 | 14 1175.75/1176.08 c 1137s | 18 | 344289 | 334952 | 77317 8 | 9 | 14 1178.34/1178.66 c 1139s | 18 | 344696 | 335352 | 77317 8 | 9 | 14 1180.34/1180.67 c 1141s | 18 | 345327 | 335952 | 77317 8 | 9 | 14 1182.54/1182.84 c 1143s | 18 | 346126 | 336752 | 77317 8 | 9 | 14 1184.74/1185.08 c 1146s | 18 | 346839 | 337452 | 77317 8 | 9 | 14 1187.14/1187.47 c 1148s | 18 | 347538 | 338152 | 77317 8 | 9 | 14 1189.84/1190.13 c 1151s | 18 | 347952 | 338552 | 77317 8 | 9 | 14 1192.14/1192.48 c 1153s | 18 | 348363 | 338952 | 77317 8 | 9 | 14 1194.24/1194.56 c 1155s | 18 | 349082 | 339652 | 77317 8 | 9 | 14 1196.24/1196.58 c 1157s | 18 | 350111 | 340652 | 77317 8 | 9 | 14 1198.44/1198.74 c 1159s | 18 | 350719 | 341252 | 77317 8 | 9 | 14 1200.84/1201.13 c 1162s | 18 | 351457 | 341952 | 77317 8 | 9 | 14 1203.44/1203.71 c 1164s | 18 | 351872 | 342352 | 77317 8 | 9 | 14 1205.44/1205.79 c 1166s | 18 | 352158 | 342652 | 77317 8 | 9 | 14 1207.64/1207.91 c 1168s | 18 | 353003 | 343452 | 77317 8 | 9 | 14 1209.64/1209.96 c 1170s | 18 | 353905 | 344352 | 77317 8 | 9 | 14 1212.04/1212.37 c 1173s | 18 | 354603 | 345052 | 77317 8 | 9 | 14 1214.54/1214.82 c 1175s | 18 | 355152 | 345552 | 77317 8 | 9 | 14 1216.64/1216.96 c 1177s | 18 | 355456 | 345852 | 77317 8 | 9 | 14 1218.64/1218.97 c 1179s | 18 | 355865 | 346252 | 77317 8 | 9 | 14 1220.74/1221.02 c 1181s | 18 | 356671 | 347052 | 77317 8 | 9 | 14 1222.94/1223.27 c 1184s | 18 | 357369 | 347752 | 77317 8 | 9 | 14 1225.34/1225.67 c 1186s | 18 | 357963 | 348352 | 77317 8 | 9 | 14 1227.93/1228.29 c 1189s | 18 | 358381 | 348752 | 77317 8 | 9 | 14 1230.23/1230.58 c 1191s | 18 | 358692 | 349052 | 77317 8 | 9 | 14 1232.53/1232.81 c 1193s | 18 | 359311 | 349652 | 77317 8 | 9 | 14 1234.83/1235.11 c 1196s | 18 | 360427 | 350652 | 77317 8 | 9 | 14 1237.03/1237.37 c 1198s | 18 | 361202 | 351352 | 77317 8 | 9 | 14 1239.13/1239.45 c 1200s | 18 | 361598 | 351752 | 77317 8 | 9 | 14 1241.43/1241.78 c 1202s | 18 | 361905 | 352052 | 77317 8 | 9 | 14 1243.53/1243.80 c 1204s | 18 | 362421 | 352552 | 77317 8 | 9 | 14 1245.63/1245.95 c 1206s | 18 | 363273 | 353352 | 77317 8 | 9 | 14 1247.73/1248.06 c 1209s | 18 | 363810 | 353852 | 77317 8 | 9 | 14 1250.23/1250.58 c 1211s | 18 | 364342 | 354352 | 77317 8 | 9 | 14 1258.83/1259.16 c 1220s | 18 | 364738 | 354752 | 77317 9 | 9 | 14 1269.13/1269.42 c 1230s | 18 | 365271 | 355252 | 77317 9 | 9 | 14 1271.23/1271.50 c 1232s | 18 | 366733 | 356652 | 77317 9 | 9 | 14 1273.33/1273.61 c 1234s | 18 | 367658 | 357552 | 77317 9 | 9 | 14 1275.33/1275.66 c 1236s | 18 | 369103 | 358952 | 77317 9 | 9 | 14 1277.72/1278.00 c 1238s | 18 | 370132 | 359952 | 77317 9 | 9 | 14 1279.82/1280.14 c 1241s | 18 | 371603 | 361352 | 77317 9 | 9 | 14 1282.12/1282.46 c 1243s | 18 | 372528 | 362252 | 77317 9 | 9 | 14 1284.22/1284.55 c 1245s | 18 | 374008 | 363652 | 77317 9 | 9 | 14 1286.42/1286.70 c 1247s | 18 | 374819 | 364452 | 77317 9 | 9 | 14 1288.42/1288.72 c 1249s | 18 | 376161 | 365752 | 77317 9 | 9 | 14 1290.62/1290.91 c 1251s | 18 | 376868 | 366452 | 77317 9 | 9 | 14 1292.82/1293.11 c 1254s | 18 | 378219 | 367752 | 77317 9 | 9 | 14 1294.92/1295.25 c 1256s | 18 | 378950 | 368452 | 77317 9 | 9 | 14 1297.12/1297.49 c 1258s | 18 | 380260 | 369752 | 77317 9 | 9 | 14 1299.32/1299.62 c 1260s | 18 | 381415 | 370852 | 77317 9 | 9 | 14 1301.32/1301.63 c 1262s | 18 | 382222 | 371652 | 77317 9 | 9 | 14 1303.43/1303.73 c 1264s | 18 | 383343 | 372752 | 77317 9 | 9 | 14 1305.53/1305.81 c 1266s | 18 | 384359 | 373752 | 77317 9 | 9 | 14 1307.52/1307.86 c 1268s | 18 | 385275 | 374652 | 77317 9 | 9 | 14 1309.52/1309.86 c 1270s | 18 | 386086 | 375452 | 77317 9 | 9 | 14 1311.82/1312.19 c 1273s | 18 | 386989 | 376352 | 77317 9 | 9 | 14 1313.92/1314.23 c 1275s | 18 | 388101 | 377452 | 77317 9 | 9 | 14 1316.02/1316.35 c 1277s | 18 | 389205 | 378552 | 77317 9 | 9 | 14 1318.12/1318.41 c 1279s | 18 | 390407 | 379752 | 77317 9 | 9 | 14 1320.12/1320.42 c 1281s | 18 | 391614 | 380952 | 77317 9 | 9 | 14 1325.92/1326.22 c 1287s | 18 | 392848 | 382152 | 77317 9 | 9 | 14 1328.12/1328.46 c 1289s | 18 | 393342 | 382652 | 77317 9 | 9 | 14 1331.01/1331.34 c 1292s | 18 | 393444 | 382752 | 77317 9 | 9 | 14 1333.21/1333.50 c 1294s | 18 | 394259 | 383552 | 77317 9 | 9 | 14 1335.32/1335.60 c 1296s | 18 | 395229 | 384552 | 77317 9 | 9 | 14 1337.31/1337.66 c 1298s | 18 | 396357 | 385652 | 77317 9 | 9 | 14 1339.51/1339.87 c 1300s | 18 | 397455 | 386752 | 77317 9 | 9 | 14 1341.61/1341.95 c 1302s | 18 | 398475 | 387752 | 77317 9 | 9 | 14 1343.61/1343.96 c 1304s | 18 | 399268 | 388552 | 77317 9 | 9 | 14 1345.81/1346.18 c 1307s | 18 | 400173 | 389452 | 77317 9 | 9 | 14 1348.11/1348.41 c 1309s | 18 | 401072 | 390352 | 77317 9 | 9 | 14 1350.31/1350.61 c 1311s | 18 | 401883 | 391152 | 77317 9 | 9 | 14 1352.41/1352.77 c 1313s | 18 | 402675 | 391952 | 77317 9 | 9 | 14 1354.51/1354.84 c 1315s | 18 | 404305 | 393552 | 77317 9 | 9 | 14 1356.61/1356.92 c 1317s | 18 | 405701 | 394952 | 77317 9 | 9 | 14 1360.52/1360.90 c 1321s | 18 | 406594 | 395852 | 77317 10 | 9 | 14 1362.62/1362.97 c 1323s | 18 | 407709 | 396952 | 77317 10 | 9 | 14 1364.72/1365.05 c 1326s | 18 | 409128 | 398352 | 77317 10 | 9 | 14 1366.82/1367.13 c 1328s | 18 | 410133 | 399352 | 77317 10 | 9 | 14 1368.92/1369.20 c 1330s | 18 | 411322 | 400552 | 77317 10 | 9 | 14 1370.91/1371.25 c 1332s | 18 | 412744 | 401952 | 77317 10 | 9 | 14 1373.11/1373.42 c 1334s | 18 | 414148 | 403352 | 77317 10 | 9 | 14 1375.21/1375.52 c 1336s | 18 | 415252 | 404452 | 77317 10 | 9 | 14 1377.21/1377.53 c 1338s | 18 | 416158 | 405352 | 77317 10 | 9 | 14 1379.32/1379.62 c 1340s | 18 | 417069 | 406252 | 77317 10 | 9 | 14 1381.31/1381.70 c 1342s | 18 | 417956 | 407152 | 77317 10 | 9 | 14 1383.51/1383.80 c 1344s | 18 | 418777 | 407952 | 77317 10 | 9 | 14 1385.51/1385.85 c 1346s | 18 | 419671 | 408852 | 77317 10 | 9 | 14 1387.61/1387.93 c 1348s | 18 | 421185 | 410352 | 77317 10 | 9 | 14 1389.81/1390.13 c 1351s | 18 | 422376 | 411552 | 77317 10 | 9 | 14 1392.01/1392.30 c 1353s | 18 | 423282 | 412452 | 77317 10 | 9 | 14 1394.01/1394.38 c 1355s | 18 | 424094 | 413252 | 77317 10 | 9 | 14 1396.41/1396.79 c 1357s | 18 | 424895 | 414052 | 77317 10 | 9 | 14 1398.71/1399.02 c 1359s | 18 | 425613 | 414752 | 77317 10 | 9 | 14 1400.71/1401.05 c 1362s | 18 | 426293 | 415452 | 77317 10 | 9 | 14 1402.71/1403.08 c 1364s | 18 | 427422 | 416552 | 77317 10 | 9 | 14 1404.91/1405.21 c 1366s | 18 | 428516 | 417652 | 77317 10 | 9 | 14 1407.01/1407.30 c 1368s | 18 | 429415 | 418552 | 77317 10 | 9 | 14 1409.01/1409.31 c 1370s | 18 | 430118 | 419252 | 77317 10 | 9 | 14 1411.21/1411.51 c 1372s | 18 | 430831 | 419952 | 77317 10 | 9 | 14 1413.31/1413.68 c 1374s | 18 | 431541 | 420652 | 77317 10 | 9 | 14 1415.31/1415.69 c 1376s | 18 | 432134 | 421252 | 77317 10 | 9 | 14 1417.71/1418.03 c 1378s | 18 | 432725 | 421852 | 77317 10 | 9 | 14 1419.81/1420.15 c 1381s | 18 | 433538 | 422652 | 77317 10 | 9 | 14 1421.81/1422.16 c 1383s | 18 | 434639 | 423752 | 77317 10 | 9 | 14 1423.91/1424.28 c 1385s | 18 | 435446 | 424552 | 77317 10 | 9 | 14 1426.10/1426.49 c 1387s | 18 | 436156 | 425252 | 77317 10 | 9 | 14 1428.20/1428.53 c 1389s | 18 | 436744 | 425852 | 77317 10 | 9 | 14 1430.50/1430.82 c 1391s | 18 | 437449 | 426552 | 77317 10 | 9 | 14 1432.50/1432.84 c 1393s | 18 | 438043 | 427152 | 77317 10 | 9 | 14 1434.90/1435.29 c 1396s | 18 | 438557 | 427652 | 77317 10 | 9 | 14 1437.10/1437.46 c 1398s | 18 | 439268 | 428352 | 77317 10 | 9 | 14 1439.20/1439.53 c 1400s | 18 | 440273 | 429352 | 77317 10 | 9 | 14 1441.40/1441.72 c 1402s | 18 | 441078 | 430152 | 77317 10 | 9 | 14 1443.40/1443.75 c 1404s | 18 | 441677 | 430752 | 85049 10 | 9 | 14 1445.50/1445.82 c 1406s | 18 | 442278 | 431352 | 85049 10 | 9 | 14 1447.60/1447.96 c 1408s | 18 | 442875 | 431952 | 85049 10 | 9 | 14 1449.80/1450.13 c 1411s | 18 | 443378 | 432452 | 85049 10 | 9 | 14 1451.81/1452.19 c 1413s | 18 | 443873 | 432952 | 85049 10 | 9 | 14 1454.11/1454.44 c 1415s | 18 | 444372 | 433452 | 85049 10 | 9 | 14 1456.21/1456.52 c 1417s | 18 | 444988 | 434052 | 85049 10 | 9 | 14 1458.40/1458.80 c 1419s | 18 | 445995 | 435052 | 85049 10 | 9 | 14 1460.70/1461.02 c 1421s | 18 | 446696 | 435752 | 85049 10 | 9 | 14 1462.90/1463.23 c 1424s | 18 | 447306 | 436352 | 85049 10 | 9 | 14 1465.00/1465.33 c 1426s | 18 | 447799 | 436852 | 85049 10 | 9 | 14 1467.10/1467.48 c 1428s | 18 | 448302 | 437352 | 85049 10 | 9 | 14 1469.30/1469.69 c 1430s | 18 | 448894 | 437952 | 85049 10 | 9 | 14 1471.40/1471.74 c 1432s | 18 | 449296 | 438352 | 85049 10 | 9 | 14 1473.70/1474.01 c 1434s | 18 | 449911 | 438952 | 85049 10 | 9 | 14 1475.89/1476.23 c 1437s | 18 | 450808 | 439852 | 85049 10 | 9 | 14 1478.20/1478.59 c 1439s | 18 | 451506 | 440552 | 85049 10 | 9 | 14 1480.40/1480.73 c 1441s | 18 | 452010 | 441052 | 85049 10 | 9 | 14 1482.60/1482.93 c 1443s | 18 | 452505 | 441552 | 85049 10 | 9 | 14 1484.99/1485.31 c 1446s | 18 | 453008 | 442052 | 85049 10 | 9 | 14 1487.10/1487.49 c 1448s | 18 | 453522 | 442552 | 85049 10 | 9 | 14 1489.79/1490.15 c 1451s | 18 | 454012 | 443052 | 85049 10 | 9 | 14 1494.09/1494.47 c 1455s | 18 | 454430 | 443452 | 85049 11 | 9 | 14 1496.19/1496.58 c 1457s | 18 | 455424 | 444452 | 85049 11 | 9 | 14 1496.29/1496.65 c 1457s | 19 | 455451 | 444482 | 85049 11 | 9 | 14 1504.29/1504.62 c 1465s | 19 | 455670 | 444682 | 85049 11 | 9 | 14 1506.49/1506.81 c 1467s | 19 | 456173 | 445182 | 85049 11 | 9 | 14 1508.69/1509.02 c 1469s | 19 | 456681 | 445682 | 85049 11 | 9 | 14 1511.29/1511.66 c 1472s | 19 | 457186 | 446182 | 85049 11 | 9 | 14 1513.49/1513.83 c 1474s | 19 | 457501 | 446482 | 85049 11 | 9 | 14 1515.49/1515.84 c 1476s | 19 | 457788 | 446782 | 85049 11 | 9 | 14 1517.68/1518.00 c 1478s | 19 | 458610 | 447582 | 85049 11 | 9 | 14 1519.78/1520.11 c 1481s | 19 | 460020 | 448982 | 85049 11 | 9 | 14 1521.78/1522.15 c 1483s | 19 | 461138 | 450082 | 85049 11 | 9 | 14 1523.78/1524.16 c 1485s | 19 | 462041 | 450982 | 85049 11 | 9 | 14 1526.08/1526.40 c 1487s | 19 | 462645 | 451482 | 85049 11 | 9 | 14 1528.18/1528.52 c 1489s | 19 | 463243 | 452082 | 85049 11 | 9 | 14 1530.38/1530.77 c 1491s | 19 | 463847 | 452582 | 85049 11 | 9 | 14 1552.28/1552.63 c 1513s | 19 | 464257 | 452982 | 85049 11 | 9 | 14 1554.48/1554.85 c 1515s | 19 | 464753 | 453482 | 85049 11 | 9 | 14 1556.68/1557.08 c 1518s | 19 | 465565 | 454282 | 85049 11 | 9 | 14 1558.88/1559.21 c 1520s | 19 | 466254 | 454982 | 85049 11 | 9 | 14 1560.88/1561.27 c 1522s | 19 | 467677 | 456382 | 85049 11 | 9 | 14 1562.99/1563.33 c 1524s | 19 | 468688 | 457382 | 85049 11 | 9 | 14 1565.09/1565.47 c 1526s | 19 | 469579 | 458282 | 85049 11 | 9 | 14 1567.18/1567.58 c 1528s | 19 | 470395 | 459082 | 85049 11 | 9 | 14 1569.38/1569.77 c 1530s | 19 | 471073 | 459782 | 85049 11 | 9 | 14 1571.58/1571.97 c 1532s | 19 | 471775 | 460482 | 85049 11 | 9 | 14 1573.68/1574.05 c 1535s | 19 | 472374 | 461082 | 85049 11 | 9 | 14 1575.98/1576.32 c 1537s | 19 | 472888 | 461582 | 85049 11 | 9 | 14 1577.98/1578.34 c 1539s | 19 | 473397 | 462082 | 85049 11 | 9 | 14 1580.38/1580.71 c 1541s | 19 | 474000 | 462682 | 85049 11 | 9 | 14 1582.69/1583.10 c 1544s | 19 | 474592 | 463282 | 85049 11 | 9 | 14 1584.78/1585.15 c 1546s | 19 | 475088 | 463782 | 85049 11 | 9 | 14 1587.19/1587.51 c 1548s | 19 | 475586 | 464282 | 85049 11 | 9 | 14 1589.68/1590.01 c 1550s | 19 | 476202 | 464882 | 85049 11 | 9 | 14 1591.88/1592.21 c 1553s | 19 | 476688 | 465382 | 85049 11 | 9 | 14 1594.18/1594.55 c 1555s | 19 | 477104 | 465782 | 85049 11 | 9 | 14 1596.38/1596.76 c 1557s | 19 | 477496 | 466182 | 85049 11 | 9 | 14 1598.68/1599.03 c 1559s | 19 | 478318 | 466982 | 85049 11 | 9 | 14 1600.78/1601.14 c 1562s | 19 | 479428 | 468082 | 85049 11 | 9 | 14 1602.78/1603.16 c 1564s | 19 | 480817 | 469482 | 85049 11 | 9 | 14 1604.88/1605.26 c 1566s | 19 | 481934 | 470582 | 85049 11 | 9 | 14 1606.98/1607.33 c 1568s | 19 | 482722 | 471382 | 85049 11 | 9 | 14 1609.08/1609.41 c 1570s | 19 | 483436 | 472082 | 85049 11 | 9 | 14 1611.07/1611.49 c 1572s | 19 | 484027 | 472682 | 85049 11 | 9 | 14 1613.17/1613.54 c 1574s | 19 | 484545 | 473182 | 85049 11 | 9 | 14 1615.27/1615.65 c 1576s | 19 | 485025 | 473682 | 85049 11 | 9 | 14 1617.37/1617.70 c 1578s | 19 | 485435 | 474082 | 85049 11 | 9 | 14 1619.77/1620.13 c 1581s | 19 | 485934 | 474582 | 85049 11 | 9 | 14 1622.07/1622.47 c 1583s | 19 | 486439 | 475082 | 85049 11 | 9 | 14 1624.37/1624.74 c 1585s | 19 | 486832 | 475482 | 85049 11 | 9 | 14 1626.37/1626.79 c 1587s | 19 | 487251 | 475882 | 85049 11 | 9 | 14 1628.47/1628.81 c 1589s | 19 | 487760 | 476382 | 85049 11 | 9 | 14 1630.67/1631.05 c 1592s | 19 | 488037 | 476682 | 85049 11 | 9 | 14 1632.67/1633.08 c 1594s | 19 | 488436 | 477082 | 85049 11 | 9 | 14 1635.07/1635.47 c 1596s | 19 | 488863 | 477482 | 85049 11 | 9 | 14 1637.17/1637.54 c 1598s | 19 | 489374 | 477982 | 85049 11 | 9 | 14 1639.57/1639.91 c 1600s | 19 | 489669 | 478282 | 85049 11 | 9 | 14 1641.87/1642.22 c 1603s | 19 | 490045 | 478682 | 85049 11 | 9 | 14 1644.28/1644.67 c 1605s | 19 | 490770 | 479382 | 85049 11 | 9 | 14 1646.37/1646.72 c 1607s | 19 | 491471 | 480082 | 85049 11 | 9 | 14 1648.37/1648.79 c 1609s | 19 | 492773 | 481382 | 85049 11 | 9 | 14 1650.47/1650.81 c 1611s | 19 | 493696 | 482282 | 85049 11 | 9 | 14 1652.77/1653.16 c 1614s | 19 | 494474 | 483082 | 85049 11 | 9 | 14 1655.07/1655.44 c 1616s | 19 | 495180 | 483782 | 85049 11 | 9 | 14 1657.37/1657.76 c 1618s | 19 | 495882 | 484482 | 85049 11 | 9 | 14 1659.47/1659.81 c 1620s | 19 | 496282 | 484882 | 85049 11 | 9 | 14 1661.67/1662.03 c 1622s | 19 | 496779 | 485382 | 85049 11 | 9 | 14 1663.67/1664.08 c 1625s | 19 | 497189 | 485782 | 85049 11 | 9 | 14 1666.16/1666.55 c 1627s | 19 | 497683 | 486282 | 85049 11 | 9 | 14 1668.36/1668.79 c 1629s | 19 | 498190 | 486782 | 85049 11 | 9 | 14 1670.86/1671.21 c 1632s | 19 | 498497 | 487082 | 85049 11 | 9 | 14 1672.97/1673.39 c 1634s | 19 | 498901 | 487482 | 85049 11 | 9 | 14 1674.96/1675.39 c 1636s | 19 | 499206 | 487782 | 85049 11 | 9 | 14 1677.56/1677.97 c 1638s | 19 | 499718 | 488282 | 85049 11 | 9 | 14 1679.66/1680.04 c 1641s | 19 | 500003 | 488582 | 85049 11 | 9 | 14 1681.86/1682.25 c 1643s | 19 | 500090 | 488682 | 85049 12 | 9 | 14 1683.97/1684.32 c 1645s | 19 | 500504 | 489082 | 85049 12 | 9 | 14 1686.96/1687.37 c 1648s | 19 | 501225 | 489782 | 85049 12 | 9 | 14 1689.06/1689.46 c 1650s | 19 | 501801 | 490382 | 85049 12 | 9 | 14 1695.37/1695.72 c 1656s | 19 | 502025 | 490582 | 85049 12 | 9 | 14 1697.47/1697.81 c 1658s | 19 | 502715 | 491282 | 85049 12 | 9 | 14 1699.56/1700.00 c 1660s | 19 | 504323 | 492882 | 85049 12 | 9 | 14 1701.76/1702.10 c 1663s | 19 | 505528 | 494082 | 85049 12 | 9 | 14 1703.96/1704.38 c 1665s | 19 | 506630 | 495182 | 85049 12 | 9 | 14 1706.16/1706.53 c 1667s | 19 | 507433 | 495982 | 85049 12 | 9 | 14 1708.36/1708.72 c 1669s | 19 | 508144 | 496682 | 85049 12 | 9 | 14 1710.37/1710.78 c 1671s | 19 | 508746 | 497282 | 85049 12 | 9 | 14 1712.76/1713.11 c 1674s | 19 | 509348 | 497882 | 85049 12 | 9 | 14 1715.26/1715.62 c 1676s | 19 | 510050 | 498582 | 85049 12 | 9 | 14 1717.56/1717.91 c 1678s | 19 | 510662 | 499182 | 85049 12 | 9 | 14 1719.66/1720.03 c 1680s | 19 | 511267 | 499782 | 85049 12 | 9 | 14 1721.76/1722.14 c 1683s | 19 | 511647 | 500182 | 85049 12 | 9 | 14 1724.26/1724.66 c 1685s | 19 | 512260 | 500782 | 85049 12 | 9 | 14 1726.36/1726.72 c 1687s | 19 | 512869 | 501382 | 85049 12 | 9 | 14 1728.46/1728.82 c 1689s | 19 | 513555 | 502082 | 85049 12 | 9 | 14 1730.46/1730.89 c 1691s | 19 | 514876 | 503382 | 85049 12 | 9 | 14 1732.76/1733.14 c 1694s | 19 | 515882 | 504382 | 85049 12 | 9 | 14 1734.96/1735.38 c 1696s | 19 | 516772 | 505282 | 85049 12 | 9 | 14 1737.16/1737.51 c 1698s | 19 | 517464 | 505982 | 85049 12 | 9 | 14 1739.36/1739.79 c 1700s | 19 | 518072 | 506582 | 85049 12 | 9 | 14 1741.36/1741.79 c 1702s | 19 | 518578 | 507082 | 85049 12 | 9 | 14 1743.86/1744.21 c 1705s | 19 | 519169 | 507682 | 85049 12 | 9 | 14 1745.86/1746.29 c 1707s | 19 | 519689 | 508182 | 85049 12 | 9 | 14 1748.46/1748.84 c 1709s | 19 | 520268 | 508782 | 85049 12 | 9 | 14 1750.56/1750.92 c 1711s | 19 | 520782 | 509282 | 85049 12 | 9 | 14 1752.96/1753.32 c 1714s | 19 | 521189 | 509682 | 85049 12 | 9 | 14 1755.46/1755.80 c 1716s | 19 | 521680 | 510182 | 85049 12 | 9 | 14 1757.46/1757.88 c 1718s | 19 | 522202 | 510682 | 85049 12 | 9 | 14 1759.96/1760.31 c 1721s | 19 | 522581 | 511082 | 85049 12 | 9 | 14 1761.96/1762.37 c 1723s | 19 | 523207 | 511682 | 85049 12 | 9 | 14 1764.05/1764.46 c 1725s | 19 | 523896 | 512382 | 85049 12 | 9 | 14 1766.25/1766.62 c 1727s | 19 | 525104 | 513582 | 85049 12 | 9 | 14 1768.45/1768.84 c 1729s | 19 | 526009 | 514482 | 85049 12 | 9 | 14 1770.86/1771.29 c 1732s | 19 | 526808 | 515282 | 85049 12 | 9 | 14 1773.06/1773.44 c 1734s | 19 | 527414 | 515882 | 85049 12 | 9 | 14 1775.35/1775.71 c 1736s | 19 | 527914 | 516382 | 85049 12 | 9 | 14 1777.36/1777.77 c 1738s | 19 | 528416 | 516882 | 85049 12 | 9 | 14 1779.45/1779.80 c 1740s | 19 | 528813 | 517282 | 85049 12 | 9 | 14 1781.55/1781.99 c 1742s | 19 | 529320 | 517782 | 85049 12 | 9 | 14 1783.96/1784.36 c 1745s | 19 | 529828 | 518282 | 85049 12 | 9 | 14 1786.35/1786.79 c 1747s | 19 | 530322 | 518782 | 85049 12 | 9 | 14 1788.55/1788.91 c 1749s | 19 | 530827 | 519282 | 85049 12 | 9 | 14 1790.85/1791.27 c 1752s | 19 | 531133 | 519582 | 85049 12 | 9 | 14 1792.86/1793.27 c 1754s | 19 | 531534 | 519982 | 85049 12 | 9 | 14 1795.35/1795.72 c 1756s | 19 | 531934 | 520382 | 85049 12 | 9 | 14 1797.85/1798.24 c 1759s | 19 | 532537 | 520982 | 85049 12 | 9 | 14
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-4119942-1467279883/watcher-4119942-1467279883 -o /tmp/evaluation-result-4119942-1467279883/solver-4119942-1467279883 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1467279883-11430 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119942-1467279883.opb pid=11446 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.32 2.26 2.15 3/171 11449 /proc/meminfo: memFree=26836352/32872528 swapFree=11740/941760 [pid=11449] ppid=11446 vsize=634300 CPUtime=0 cores=1,3,5,7 /proc/11449/stat : 11449 (toysat) R 11446 11449 9951 0 -1 4202496 2347 0 0 0 0 0 0 0 20 0 4 0 8955686 649523200 3219 33554432000 4194304 16246674 140735070961104 140735070960528 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11449/statm: 159087 3229 441 2943 0 155981 0 [pid=11449/tid=11450] ppid=11446 vsize=651708 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11450/stat : 11450 (toysat) S 11446 11449 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955686 667348992 3288 33554432000 4194304 16246674 140735070961104 139704496270576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11449/tid=11451] ppid=11446 vsize=655804 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11451/stat : 11451 (toysat) S 11446 11449 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8955686 671543296 3305 33554432000 4194304 16246674 140735070961104 139704414481648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11449/tid=11452] ppid=11446 vsize=659900 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11452/stat : 11452 (toysat) S 11446 11449 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955686 675737600 3321 33554432000 4194304 16246674 140735070961104 139704404008112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100124 s] /proc/loadavg: 2.32 2.26 2.15 3/171 11449 /proc/meminfo: memFree=26836352/32872528 swapFree=11740/941760 [pid=11449] ppid=11446 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/11449/stat : 11449 (toysat) R 11446 11449 9951 0 -1 4202496 28269 0 0 0 5 4 0 0 20 0 4 0 8955686 1333334016 29079 33554432000 4194304 16246674 140735070961104 140735070960320 7376282 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11449/statm: 325521 29096 799 2943 0 322415 0 [pid=11449/tid=11450] ppid=11446 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11450/stat : 11450 (toysat) S 11446 11449 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955686 1333334016 29108 33554432000 4194304 16246674 140735070961104 139704496270576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11449/tid=11451] ppid=11446 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11451/stat : 11451 (toysat) S 11446 11449 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8955686 1333334016 29119 33554432000 4194304 16246674 140735070961104 139704414481648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11449/tid=11452] ppid=11446 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11452/stat : 11452 (toysat) S 11446 11449 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8955686 1333334016 29131 33554432000 4194304 16246674 140735070961104 139704404008112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200537 s] /proc/loadavg: 2.32 2.26 2.15 3/171 11449 /proc/meminfo: memFree=26836352/32872528 swapFree=11740/941760 [pid=11449] ppid=11446 vsize=1312324 CPUtime=0.19 cores=1,3,5,7 /proc/11449/stat : 11449 (toysat) R 11446 11449 9951 0 -1 4202496 42914 0 0 0 13 6 0 0 20 0 4 0 8955686 1343819776 44235 33554432000 4194304 16246674 140735070961104 140735070960320 7377589 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11449/statm: 328081 44253 800 2943 0 324975 0 [pid=11449/tid=11450] ppid=11446 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11450/stat : 11450 (toysat) S 11446 11449 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955686 1343819776 44265 33554432000 4194304 16246674 140735070961104 139704496270576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11449/tid=11451] ppid=11446 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11451/stat : 11451 (toysat) S 11446 11449 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8955686 1343819776 44276 33554432000 4194304 16246674 140735070961104 139704414481648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11449/tid=11452] ppid=11446 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11452/stat : 11452 (toysat) S 11446 11449 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8955686 1343819776 44287 33554432000 4194304 16246674 140735070961104 139704404008112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1312324 [startup+0.300493 s] /proc/loadavg: 2.32 2.26 2.15 3/171 11449 /proc/meminfo: memFree=26836352/32872528 swapFree=11740/941760 [pid=11449] ppid=11446 vsize=1312324 CPUtime=0.29 cores=1,3,5,7 /proc/11449/stat : 11449 (toysat) R 11446 11449 9951 0 -1 4202496 53773 0 0 0 21 8 0 0 20 0 4 0 8955686 1343819776 55093 33554432000 4194304 16246674 140735070961104 140735070960320 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11449/statm: 328081 55093 800 2943 0 324975 0 [pid=11449/tid=11450] ppid=11446 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11450/stat : 11450 (toysat) S 11446 11449 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955686 1343819776 55093 33554432000 4194304 16246674 140735070961104 139704496270576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11449/tid=11451] ppid=11446 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11451/stat : 11451 (toysat) S 11446 11449 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8955686 1343819776 55093 33554432000 4194304 16246674 140735070961104 139704414481648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11449/tid=11452] ppid=11446 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11452/stat : 11452 (toysat) S 11446 11449 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8955686 1343819776 55093 33554432000 4194304 16246674 140735070961104 139704404008112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1312324 [startup+0.700423 s] /proc/loadavg: 2.32 2.26 2.15 3/171 11449 /proc/meminfo: memFree=26836352/32872528 swapFree=11740/941760 [pid=11449] ppid=11446 vsize=1325636 CPUtime=0.69 cores=1,3,5,7 /proc/11449/stat : 11449 (toysat) R 11446 11449 9951 0 -1 4202496 57143 0 0 0 61 8 0 0 20 0 4 0 8955686 1357451264 58463 33554432000 4194304 16246674 140735070961104 140735070960416 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11449/statm: 331409 58463 834 2943 0 328303 0 [pid=11449/tid=11450] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11450/stat : 11450 (toysat) S 11446 11449 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 58463 33554432000 4194304 16246674 140735070961104 139704496270576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11449/tid=11451] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11451/stat : 11451 (toysat) S 11446 11449 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 58463 33554432000 4194304 16246674 140735070961104 139704414481648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11449/tid=11452] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11452/stat : 11452 (toysat) S 11446 11449 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 58463 33554432000 4194304 16246674 140735070961104 139704404008112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1325636 [startup+1.50045 s] /proc/loadavg: 2.53 2.30 2.17 4/183 11466 /proc/meminfo: memFree=26075312/32872528 swapFree=11740/941760 [pid=11449] ppid=11446 vsize=1325636 CPUtime=1.48 cores=1,3,5,7 /proc/11449/stat : 11449 (toysat) R 11446 11449 9951 0 -1 4202496 90755 0 0 0 134 14 0 0 20 0 4 0 8955686 1357451264 92075 33554432000 4194304 16246674 140735070961104 140735070944096 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11449/statm: 331409 92075 911 2943 0 328303 0 [pid=11449/tid=11450] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11450/stat : 11450 (toysat) S 11446 11449 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 92075 33554432000 4194304 16246674 140735070961104 139704496270576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11449/tid=11451] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11451/stat : 11451 (toysat) S 11446 11449 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 92075 33554432000 4194304 16246674 140735070961104 139704414481648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11449/tid=11452] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11452/stat : 11452 (toysat) S 11446 11449 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 92075 33554432000 4194304 16246674 140735070961104 139704404008112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1325636 [startup+3.10041 s] /proc/loadavg: 2.53 2.30 2.17 3/183 11466 /proc/meminfo: memFree=25705544/32872528 swapFree=11740/941760 [pid=11449] ppid=11446 vsize=1325636 CPUtime=3.08 cores=1,3,5,7 /proc/11449/stat : 11449 (toysat) R 11446 11449 9951 0 -1 4202496 272109 0 0 0 271 37 0 0 20 0 4 0 8955686 1357451264 273429 33554432000 4194304 16246674 140735070961104 140735070942976 5676613 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11449/statm: 331409 273429 915 2943 0 328303 0 [pid=11449/tid=11450] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11450/stat : 11450 (toysat) S 11446 11449 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 273429 33554432000 4194304 16246674 140735070961104 139704496270576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11449/tid=11451] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11451/stat : 11451 (toysat) S 11446 11449 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 273429 33554432000 4194304 16246674 140735070961104 139704414481648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11449/tid=11452] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11452/stat : 11452 (toysat) S 11446 11449 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 273429 33554432000 4194304 16246674 140735070961104 139704404008112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1325636 [startup+6.30042 s] /proc/loadavg: 2.53 2.30 2.17 3/183 11466 /proc/meminfo: memFree=25350408/32872528 swapFree=11740/941760 [pid=11449] ppid=11446 vsize=1325636 CPUtime=6.28 cores=1,3,5,7 /proc/11449/stat : 11449 (toysat) R 11446 11449 9951 0 -1 4202496 272109 0 0 0 591 37 0 0 20 0 4 0 8955686 1357451264 273429 33554432000 4194304 16246674 140735070961104 140735070942976 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11449/statm: 331409 273429 915 2943 0 328303 0 [pid=11449/tid=11450] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11450/stat : 11450 (toysat) S 11446 11449 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 273429 33554432000 4194304 16246674 140735070961104 139704496270576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11449/tid=11451] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11451/stat : 11451 (toysat) S 11446 11449 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 273429 33554432000 4194304 16246674 140735070961104 139704414481648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11449/tid=11452] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11452/stat : 11452 (toysat) S 11446 11449 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 273429 33554432000 4194304 16246674 140735070961104 139704404008112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1325636 [startup+12.7004 s] /proc/loadavg: 2.45 2.29 2.16 3/183 11466 /proc/meminfo: memFree=25350904/32872528 swapFree=11740/941760 [pid=11449] ppid=11446 vsize=1325636 CPUtime=12.69 cores=1,3,5,7 /proc/11449/stat : 11449 (toysat) R 11446 11449 9951 0 -1 4202496 272114 0 0 0 1231 38 0 0 20 0 4 0 8955686 1357451264 273434 33554432000 4194304 16246674 140735070961104 140735070960280 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11449/statm: 331409 273434 919 2943 0 328303 0 [pid=11449/tid=11450] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11450/stat : 11450 (toysat) S 11446 11449 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 273434 33554432000 4194304 16246674 140735070961104 139704496270576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11449/tid=11451] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11451/stat : 11451 (toysat) S 11446 11449 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 273434 33554432000 4194304 16246674 140735070961104 139704414481648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11449/tid=11452] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11452/stat : 11452 (toysat) S 11446 11449 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 273434 33554432000 4194304 16246674 140735070961104 139704404008112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1325636 [startup+25.5076 s] /proc/loadavg: 2.38 2.28 2.16 3/183 11466 /proc/meminfo: memFree=25352100/32872528 swapFree=11740/941760 [pid=11449] ppid=11446 vsize=1325636 CPUtime=25.49 cores=1,3,5,7 /proc/11449/stat : 11449 (toysat) R 11446 11449 9951 0 -1 4202496 272114 0 0 0 2511 38 0 0 20 0 4 0 8955686 1357451264 273434 33554432000 4194304 16246674 140735070961104 140735070942976 5711980 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11449/statm: 331409 273434 919 2943 0 328303 0 [pid=11449/tid=11450] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11450/stat : 11450 (toysat) S 11446 11449 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 273434 33554432000 4194304 16246674 140735070961104 139704496270576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11449/tid=11451] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11451/stat : 11451 (toysat) S 11446 11449 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 273434 33554432000 4194304 16246674 140735070961104 139704414481648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11449/tid=11452] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11452/stat : 11452 (toysat) S 11446 11449 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 273434 33554432000 4194304 16246674 140735070961104 139704404008112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1325636 [startup+51.1004 s] /proc/loadavg: 2.32 2.27 2.16 3/183 11466 /proc/meminfo: memFree=25352440/32872528 swapFree=11740/941760 [pid=11449] ppid=11446 vsize=1325636 CPUtime=51.07 cores=1,3,5,7 /proc/11449/stat : 11449 (toysat) R 11446 11449 9951 0 -1 4202496 272115 0 0 0 5069 38 0 0 20 0 4 0 8955686 1357451264 273435 33554432000 4194304 16246674 140735070961104 140735070942976 5823520 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11449/statm: 331409 273435 920 2943 0 328303 0 [pid=11449/tid=11450] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11450/stat : 11450 (toysat) S 11446 11449 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 273435 33554432000 4194304 16246674 140735070961104 139704496270576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11449/tid=11451] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11451/stat : 11451 (toysat) S 11446 11449 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 273435 33554432000 4194304 16246674 140735070961104 139704414481648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11449/tid=11452] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11452/stat : 11452 (toysat) S 11446 11449 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 273435 33554432000 4194304 16246674 140735070961104 139704404008112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1325636 [startup+102.3 s] /proc/loadavg: 2.32 2.28 2.17 3/183 11467 /proc/meminfo: memFree=25077660/32872528 swapFree=11740/941760 [pid=11449] ppid=11446 vsize=1325636 CPUtime=102.27 cores=1,3,5,7 /proc/11449/stat : 11449 (toysat) R 11446 11449 9951 0 -1 4202496 272127 0 0 0 10188 39 0 0 20 0 4 0 8955686 1357451264 273435 33554432000 4194304 16246674 140735070961104 140735070942976 6022628 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11449/statm: 331409 273435 920 2943 0 328303 0 [pid=11449/tid=11450] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11450/stat : 11450 (toysat) S 11446 11449 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 273435 33554432000 4194304 16246674 140735070961104 139704496270576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11449/tid=11451] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11451/stat : 11451 (toysat) S 11446 11449 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 273435 33554432000 4194304 16246674 140735070961104 139704414481648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11449/tid=11452] ppid=11446 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11452/stat : 11452 (toysat) S 11446 11449 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8955686 1357451264 273435 33554432000 4194304 16246674 140735070961104 139704404008112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1325636 ################ # More data... # ################ /proc/11449/task/11452/stat : 11452 (toysat) S 11446 11449 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8955686 1464406016 299547 33554432000 4194304 16246674 140735070961104 139704404008112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.02 Current children cumulated vsize (KiB) 1430084 [startup+1362.3 s] /proc/loadavg: 2.08 2.13 2.14 3/183 11522 /proc/meminfo: memFree=24028688/32872528 swapFree=11740/941760 [pid=11449] ppid=11446 vsize=1475140 CPUtime=1362.02 cores=1,3,5,7 /proc/11449/stat : 11449 (toysat) R 11446 11449 9951 0 -1 4202496 309630 0 0 0 136126 76 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 140735070958912 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11449/statm: 368785 310811 920 2943 0 365679 0 [pid=11449/tid=11450] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11450/stat : 11450 (toysat) S 11446 11449 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704496270576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11449/tid=11451] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11451/stat : 11451 (toysat) S 11446 11449 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704414481648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11449/tid=11452] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11452/stat : 11452 (toysat) S 11446 11449 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704404008112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.02 Current children cumulated vsize (KiB) 1475140 [startup+1422.3 s] /proc/loadavg: 2.09 2.12 2.14 3/183 11523 /proc/meminfo: memFree=24028408/32872528 swapFree=11740/941760 [pid=11449] ppid=11446 vsize=1475140 CPUtime=1422.01 cores=1,3,5,7 /proc/11449/stat : 11449 (toysat) R 11446 11449 9951 0 -1 4202496 309630 0 0 0 142125 76 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 140735070942976 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11449/statm: 368785 310811 920 2943 0 365679 0 [pid=11449/tid=11450] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11450/stat : 11450 (toysat) S 11446 11449 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704496270576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11449/tid=11451] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11451/stat : 11451 (toysat) S 11446 11449 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704414481648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11449/tid=11452] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11452/stat : 11452 (toysat) S 11446 11449 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704404008112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422.01 Current children cumulated vsize (KiB) 1475140 [startup+1482.3 s] /proc/loadavg: 2.06 2.11 2.13 3/184 11533 /proc/meminfo: memFree=24025780/32872528 swapFree=11740/941760 [pid=11449] ppid=11446 vsize=1475140 CPUtime=1481.99 cores=1,3,5,7 /proc/11449/stat : 11449 (toysat) R 11446 11449 9951 0 -1 4202496 309630 0 0 0 148123 76 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 140735070942976 6861779 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11449/statm: 368785 310811 920 2943 0 365679 0 [pid=11449/tid=11450] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11450/stat : 11450 (toysat) S 11446 11449 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704496270576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11449/tid=11451] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11451/stat : 11451 (toysat) S 11446 11449 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704414481648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11449/tid=11452] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11452/stat : 11452 (toysat) S 11446 11449 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704404008112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.99 Current children cumulated vsize (KiB) 1475140 [startup+1542.3 s] /proc/loadavg: 2.05 2.10 2.12 3/184 11536 /proc/meminfo: memFree=24026360/32872528 swapFree=11740/941760 [pid=11449] ppid=11446 vsize=1475140 CPUtime=1542 cores=1,3,5,7 /proc/11449/stat : 11449 (toysat) R 11446 11449 9951 0 -1 4202496 309630 0 0 0 154121 79 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 140735070960200 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11449/statm: 368785 310811 920 2943 0 365679 0 [pid=11449/tid=11450] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11450/stat : 11450 (toysat) S 11446 11449 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704496270576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11449/tid=11451] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11451/stat : 11451 (toysat) S 11446 11449 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704414481648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11449/tid=11452] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11452/stat : 11452 (toysat) S 11446 11449 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704404008112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 1475140 [startup+1602.3 s] /proc/loadavg: 2.06 2.09 2.12 4/183 11537 /proc/meminfo: memFree=23876788/32872528 swapFree=11740/941760 [pid=11449] ppid=11446 vsize=1475140 CPUtime=1601.98 cores=1,3,5,7 /proc/11449/stat : 11449 (toysat) R 11446 11449 9951 0 -1 4202496 309630 0 0 0 160118 80 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 140735070942976 5673428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11449/statm: 368785 310811 920 2943 0 365679 0 [pid=11449/tid=11450] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11450/stat : 11450 (toysat) S 11446 11449 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704496270576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11449/tid=11451] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11451/stat : 11451 (toysat) S 11446 11449 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704414481648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11449/tid=11452] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11452/stat : 11452 (toysat) S 11446 11449 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704404008112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.98 Current children cumulated vsize (KiB) 1475140 [startup+1662.31 s] /proc/loadavg: 2.12 2.10 2.12 3/183 11538 /proc/meminfo: memFree=23876980/32872528 swapFree=11740/941760 [pid=11449] ppid=11446 vsize=1475140 CPUtime=1661.97 cores=1,3,5,7 /proc/11449/stat : 11449 (toysat) R 11446 11449 9951 0 -1 4202496 309630 0 0 0 166117 80 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 140735070942976 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11449/statm: 368785 310811 920 2943 0 365679 0 [pid=11449/tid=11450] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11450/stat : 11450 (toysat) S 11446 11449 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704496270576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11449/tid=11451] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11451/stat : 11451 (toysat) S 11446 11449 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704414481648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11449/tid=11452] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11452/stat : 11452 (toysat) S 11446 11449 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704404008112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.97 Current children cumulated vsize (KiB) 1475140 [startup+1722.3 s] /proc/loadavg: 2.13 2.11 2.12 3/183 11539 /proc/meminfo: memFree=23876548/32872528 swapFree=11740/941760 [pid=11449] ppid=11446 vsize=1475140 CPUtime=1721.96 cores=1,3,5,7 /proc/11449/stat : 11449 (toysat) R 11446 11449 9951 0 -1 4202496 309630 0 0 0 172114 82 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 140735070942976 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11449/statm: 368785 310811 920 2943 0 365679 0 [pid=11449/tid=11450] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11450/stat : 11450 (toysat) S 11446 11449 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704496270576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11449/tid=11451] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11451/stat : 11451 (toysat) S 11446 11449 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704414481648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11449/tid=11452] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11452/stat : 11452 (toysat) S 11446 11449 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704404008112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 1475140 [startup+1782.3 s] /proc/loadavg: 2.19 2.13 2.12 3/183 11541 /proc/meminfo: memFree=23629420/32872528 swapFree=11740/941760 [pid=11449] ppid=11446 vsize=1475140 CPUtime=1781.95 cores=1,3,5,7 /proc/11449/stat : 11449 (toysat) R 11446 11449 9951 0 -1 4202496 309630 0 0 0 178113 82 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 140735070942976 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11449/statm: 368785 310811 920 2943 0 365679 0 [pid=11449/tid=11450] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11450/stat : 11450 (toysat) S 11446 11449 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704496270576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11449/tid=11451] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11451/stat : 11451 (toysat) S 11446 11449 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704414481648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11449/tid=11452] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11452/stat : 11452 (toysat) S 11446 11449 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704404008112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.95 Current children cumulated vsize (KiB) 1475140 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.23 2.14 2.12 3/183 11541 /proc/meminfo: memFree=23629564/32872528 swapFree=11740/941760 [pid=11449] ppid=11446 vsize=1475140 CPUtime=1800.05 cores=1,3,5,7 /proc/11449/stat : 11449 (toysat) R 11446 11449 9951 0 -1 4202496 309630 0 0 0 179923 82 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 140735070942976 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11449/statm: 368785 310811 920 2943 0 365679 0 [pid=11449/tid=11450] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11450/stat : 11450 (toysat) S 11446 11449 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704496270576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11449/tid=11451] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11451/stat : 11451 (toysat) S 11446 11449 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704414481648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11449/tid=11452] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11452/stat : 11452 (toysat) S 11446 11449 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704404008112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1475140 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 11449 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.4 s] /proc/loadavg: 2.23 2.14 2.12 3/183 11541 /proc/meminfo: memFree=23629564/32872528 swapFree=11740/941760 [pid=11449] ppid=11446 vsize=1475140 CPUtime=1800.05 cores=1,3,5,7 /proc/11449/stat : 11449 (toysat) R 11446 11449 9951 0 -1 4202496 309630 0 0 0 179923 82 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 140735070942976 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11449/statm: 368785 310811 920 2943 0 365679 0 [pid=11449/tid=11450] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11450/stat : 11450 (toysat) S 11446 11449 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704496270576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11449/tid=11451] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11451/stat : 11451 (toysat) S 11446 11449 9951 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704414481648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11449/tid=11452] ppid=11446 vsize=1475140 CPUtime=0 cores=1,3,5,7 /proc/11449/task/11452/stat : 11452 (toysat) S 11446 11449 9951 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8955686 1510543360 310811 33554432000 4194304 16246674 140735070961104 139704404008112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1475140 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.06 CPU user time (s): 1799.24 CPU system time (s): 0.820875 CPU usage (%): 99.9804 Max. virtual memory (cumulated for all children) (KiB): 1475140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.24 system time used= 0.820875 maximum resident set size= 1243244 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 309630 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= 157 involuntary context switches= 1935 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.97224 second user time and 7.2569 second system time The end
Begin job on node113 at 2016-06-30 11:44:44 IDJOB=4119942 IDBENCH=111823 IDSOLVER=2542 FILE ID=node113/4119942-1467279883 RUNJOBID= node113-1467279883-11430 PBS_JOBID= 20004491 Free space on /tmp= 71736 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm85p-opt.opb.negationfix.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119942-1467279883/watcher-4119942-1467279883 -o /tmp/evaluation-result-4119942-1467279883/solver-4119942-1467279883 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1467279883-11430 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119942-1467279883.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 64b4b0dd11d711879b8b056596658f5a RANDOM SEED=1559350590 node113.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.947 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.89 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.947 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 : 5325.52 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.947 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.947 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.54 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.947 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.56 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.947 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.947 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.947 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 26848056 kB Buffers: 111936 kB Cached: 4194176 kB SwapCached: 0 kB Active: 2854792 kB Inactive: 1465504 kB Active(anon): 11368 kB Inactive(anon): 5656 kB Active(file): 2843424 kB Inactive(file): 1459848 kB Unevictable: 941760 kB Mlocked: 11740 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 26416 kB Writeback: 0 kB AnonPages: 956036 kB Mapped: 13120 kB Shmem: 204 kB Slab: 629448 kB SReclaimable: 73148 kB SUnreclaim: 556300 kB KernelStack: 1384 kB PageTables: 5712 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1040896 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 935936 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= 71700 MiB End job on node113 at 2016-06-30 12:14:44