| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.51 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm85p-opt.opb.negationfix.opb |
| MD5SUM | 132e69712ce91bab655f76c0277b09e5 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 112 |
| Best CPU time to get the best result obtained on this benchmark | 1800.09 |
| 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:18:08+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-4119789-1467278287.opb"] 0.00/0.01 c use --random-gen="2415326524 1801925429 173896451 2147008033 490874498 1228710645 3133008336 2344581522 2324955165 1803578588 1841973642 2435191415 700441786 263608266 3318237240 244791364 2908747236 575528317 1610627255 3733862529 1498051714 1252975314 2394856453 1682031021 4041204079 4149437832 1646277411 4132364967 292612144 477072719 314498024 1128863525 1409595234 1731851250 3290185086 2626089433 2534230521 3459756507 693072349 2997452640 3888888119 4219513906 2785560716 1562043601 3243805215 2011858312 1803248887 3061510275 3965792872 1169178404 364440425 2021230462 4102886159 4081511636 3146844065 749849904 1823463934 3047353505 3582954376 3490714030 3698741238 171035734 323610300 2241445361 4235840493 159997211 1305077091 119103574 2887140666 445128637 1958620384 2325233210 822165915 3764047414 712906210 1549316914 874043777 1209263012 3440576074 3986466463 3591215535 1278376886 4173610600 1648771713 2608153711 854165103 1353617042 1614940163 512866994 921508731 433490498 1732004650 1691023369 3789187041 1533011467 38017190 2631260801 2806413101 3000536134 4154155093 525604549 429007250 842679785 2914619454 1098604481 1192116238 786527520 4154941300 2837932367 2183604597 2166244396 2355298610 1032013361 2617558631 2050264746 3626992607 828833365 1080342058 1536760547 4058525585 2588645543 2971198572 2730173263 1567839457 1757199761 598362929 933723929 1683511192 111293494 4182312749 3248978502 2070945221 1096147138 707538470 302686930 3587051028 3709290749 419780716 3920321045 1857578882 2983920643 1837651023 871875728 2217549041 625725512 3458957815 3721860915 3651232364 1886518800 1713243008 23964764 2004013690 3766430289 1800811800 2994467118 581463524 1121198286 3633888108 117955348 1924933423 2760767916 2566120790 3147999631 243434224 1607602606 1647771549 2568615847 3000241111 3321316269 2533121144 3677088316 3796559432 3515959765 3198044278 2991150057 2163746162 811676607 3465201513 2149563906 3217476991 1362155692 1166545857 2252975028 324036642 3019761493 1649650276 1997055441 4106121288 435464790 3036551992 633172204 1688270387 856568149 834541892 1103225245 476331716 4184415681 941003444 4086561599 2554071331 1070807195 2015204815 1663953935 101248706 2112525631 4143409423 2700229223 2860039275 3997474494 1860962784 83161909 924310949 3113037798 310485220 94861332 2252056994 1744968639 305218348 3540734614 3565604549 2136962654 2525786650 4062044632 4210574768 159425148 3162404497 4021119440 2855566835 3011422029 2590684609 1395872849 1790264513 708444015 2392534246 3274536024 3071888354 2209828711 51086885 2766879513 2623373378 2074659393 4285132458 2987879286 144561866 57350684 1890049332 1750678315 307758850 60600689 1488184958 1602988445 4085426960 1645371795 2344151056 2888811106 2970244193 255 362436" option to reproduce the execution 0.99/1.08 c #vars 147968 0.99/1.08 c #constraints 2568 3.89/3.99 c BCD2: Hardening is enabled. 3.89/3.99 c BCD2: BiasedSearch is enabled. 3.89/3.99 c Solving starts ... 3.89/3.99 c ============================[ Search Statistics ]============================ 3.89/3.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.89/3.99 c | | | | Limit GC | Var | Constra 3.89/3.99 c ============================================================================= 3.99/4.04 c 0.0s | 0 | 0 | 0 | 50178 0 | 506 | 0 4.29/4.36 c 0.3s | 0 | 1164 | 0 | 50178 0 | 506 | 0 4.29/4.36 c #cpu_time = 0.228s 4.29/4.36 c #wall_clock_time = 0.228s 4.29/4.36 c #decision = 1164 4.29/4.36 c #random_decision = 2 4.29/4.36 c #conflict = 0 4.29/4.36 c #restart = 0 4.29/4.36 o 128 4.29/4.36 c BCD2: updating upper bound: 128 -> 127 4.29/4.36 c BCD2: 0 <= obj <= 127 4.29/4.36 c BCD2: #cores=0, #unrelaxed=128, #relaxed=0, #hardened=0 4.29/4.36 c BCD2: #sat=1 #unsat=1 bias=1/2 4.29/4.36 c Solving starts ... 4.29/4.36 c ============================[ Search Statistics ]============================ 4.29/4.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.29/4.36 c | | | | Limit GC | Var | Constra 4.29/4.36 c ============================================================================= 4.29/4.36 c 0.0s | 0 | 0 | 0 | 50178 0 | 506 | 0 4.39/4.45 c 0.1s | 0 | 19 | 0 | 50178 0 | 506 | 0 4.39/4.45 c #cpu_time = 0.088s 4.39/4.45 c #wall_clock_time = 0.088s 4.39/4.45 c #decision = 19 4.39/4.45 c #random_decision = 0 4.39/4.45 c #conflict = 0 4.39/4.45 c #restart = 0 4.39/4.45 c BCD2: found a new core of size 19: cost of the new core is >=1 4.39/4.45 c lower bound updated to 1 4.39/4.45 c BCD2: 1 <= obj <= 127 4.39/4.45 c BCD2: #cores=1, #unrelaxed=109, #relaxed=19, #hardened=0 4.39/4.45 c BCD2: #sat=1 #unsat=2 bias=2/3 4.39/4.50 c Solving starts ... 4.39/4.50 c ============================[ Search Statistics ]============================ 4.39/4.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.39/4.50 c | | | | Limit GC | Var | Constra 4.39/4.50 c ============================================================================= 4.39/4.50 c 0.0s | 0 | 0 | 0 | 50178 0 | 506 | 0 4.59/4.60 c 0.1s | 0 | 21 | 1 | 50178 0 | 506 | 0 4.59/4.60 c #cpu_time = 0.094s 4.59/4.60 c #wall_clock_time = 0.094s 4.59/4.60 c #decision = 21 4.59/4.60 c #random_decision = 0 4.59/4.60 c #conflict = 1 4.59/4.60 c #restart = 0 4.59/4.60 c BCD2: relaxing 20 and merging with 1 cores into a new core of size 39: cost of the new core is >=2 4.59/4.60 c lower bound updated to 2 4.59/4.60 c BCD2: 2 <= obj <= 127 4.59/4.60 c BCD2: #cores=1, #unrelaxed=89, #relaxed=39, #hardened=0 4.59/4.60 c BCD2: #sat=1 #unsat=3 bias=3/4 4.59/4.60 c Solving starts ... 4.59/4.60 c ============================[ Search Statistics ]============================ 4.59/4.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.59/4.60 c | | | | Limit GC | Var | Constra 4.59/4.60 c ============================================================================= 4.59/4.60 c 0.0s | 0 | 0 | 0 | 50178 0 | 507 | 0 4.69/4.70 c 0.1s | 0 | 20 | 1 | 50178 0 | 507 | 1 4.69/4.70 c #cpu_time = 0.090s 4.69/4.70 c #wall_clock_time = 0.090s 4.69/4.70 c #decision = 20 4.69/4.70 c #random_decision = 0 4.69/4.70 c #conflict = 1 4.69/4.70 c #restart = 0 4.69/4.70 c BCD2: relaxing 19 and merging with 1 cores into a new core of size 58: cost of the new core is >=3 4.69/4.70 c lower bound updated to 3 4.69/4.70 c BCD2: 3 <= obj <= 127 4.69/4.70 c BCD2: #cores=1, #unrelaxed=70, #relaxed=58, #hardened=0 4.69/4.70 c BCD2: #sat=1 #unsat=4 bias=4/5 4.69/4.70 c Solving starts ... 4.69/4.70 c ============================[ Search Statistics ]============================ 4.69/4.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.69/4.70 c | | | | Limit GC | Var | Constra 4.69/4.70 c ============================================================================= 4.69/4.70 c 0.0s | 0 | 0 | 0 | 50178 0 | 508 | 1 4.79/4.80 c 0.1s | 0 | 21 | 1 | 50178 0 | 508 | 2 4.79/4.80 c #cpu_time = 0.094s 4.79/4.80 c #wall_clock_time = 0.094s 4.79/4.80 c #decision = 21 4.79/4.80 c #random_decision = 0 4.79/4.80 c #conflict = 1 4.79/4.80 c #restart = 0 4.79/4.80 c BCD2: relaxing 20 and merging with 1 cores into a new core of size 78: cost of the new core is >=4 4.79/4.80 c lower bound updated to 4 4.79/4.80 c BCD2: 4 <= obj <= 127 4.79/4.80 c BCD2: #cores=1, #unrelaxed=50, #relaxed=78, #hardened=0 4.79/4.80 c BCD2: #sat=1 #unsat=5 bias=5/6 4.79/4.80 c Solving starts ... 4.79/4.80 c ============================[ Search Statistics ]============================ 4.79/4.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.79/4.80 c | | | | Limit GC | Var | Constra 4.79/4.80 c ============================================================================= 4.79/4.81 c 0.0s | 0 | 0 | 0 | 50178 0 | 509 | 2 4.89/4.90 c 0.1s | 0 | 18 | 1 | 50178 0 | 509 | 3 4.89/4.90 c #cpu_time = 0.089s 4.89/4.90 c #wall_clock_time = 0.089s 4.89/4.90 c #decision = 18 4.89/4.90 c #random_decision = 0 4.89/4.90 c #conflict = 1 4.89/4.90 c #restart = 0 4.89/4.90 c BCD2: relaxing 17 and merging with 1 cores into a new core of size 95: cost of the new core is >=5 4.89/4.90 c lower bound updated to 5 4.89/4.90 c BCD2: 5 <= obj <= 127 4.89/4.90 c BCD2: #cores=1, #unrelaxed=33, #relaxed=95, #hardened=0 4.89/4.90 c BCD2: #sat=1 #unsat=6 bias=6/7 4.89/4.90 c Solving starts ... 4.89/4.90 c ============================[ Search Statistics ]============================ 4.89/4.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.89/4.90 c | | | | Limit GC | Var | Constra 4.89/4.90 c ============================================================================= 4.89/4.90 c 0.0s | 0 | 0 | 0 | 50178 0 | 510 | 3 4.99/5.00 c 0.1s | 0 | 19 | 0 | 50178 0 | 510 | 4 4.99/5.00 c #cpu_time = 0.091s 4.99/5.00 c #wall_clock_time = 0.091s 4.99/5.00 c #decision = 19 4.99/5.00 c #random_decision = 0 4.99/5.00 c #conflict = 0 4.99/5.00 c #restart = 0 4.99/5.00 c BCD2: found a new core of size 19: cost of the new core is >=1 4.99/5.00 c lower bound updated to 6 4.99/5.00 c BCD2: 6 <= obj <= 127 4.99/5.00 c BCD2: #cores=2, #unrelaxed=14, #relaxed=114, #hardened=0 4.99/5.00 c BCD2: #sat=1 #unsat=7 bias=7/8 4.99/5.00 c Solving starts ... 4.99/5.00 c ============================[ Search Statistics ]============================ 4.99/5.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.99/5.00 c | | | | Limit GC | Var | Constra 4.99/5.00 c ============================================================================= 4.99/5.01 c 0.0s | 0 | 0 | 0 | 50178 0 | 510 | 4 5.09/5.19 c 0.2s | 1 | 161 | 100 | 55196 0 | 510 | 4 5.39/5.42 c 0.4s | 2 | 391 | 250 | 60716 0 | 510 | 4 5.69/5.72 c 0.7s | 3 | 703 | 475 | 66788 0 | 510 | 4 6.09/6.14 c 1.1s | 4 | 1077 | 813 | 73467 0 | 510 | 4 6.69/6.75 c 1.7s | 5 | 1651 | 1320 | 80814 0 | 510 | 4 7.59/7.67 c 2.7s | 6 | 2474 | 2081 | 88896 0 | 510 | 4 8.89/8.91 c 3.9s | 7 | 3708 | 3223 | 97786 0 | 510 | 4 10.99/11.00 c 6.0s | 7 | 5485 | 4923 | 107565 0 | 510 | 4 10.99/11.02 c 6.0s | 8 | 5485 | 4936 | 107565 0 | 510 | 4 12.99/13.09 c 8.1s | 8 | 7035 | 6236 | 107565 0 | 510 | 4 14.68/14.78 c 9.8s | 9 | 8313 | 7506 | 118322 0 | 510 | 4 16.78/16.88 c 11.9s | 9 | 10094 | 9206 | 118322 0 | 510 | 4 18.88/18.93 c 13.9s | 9 | 11653 | 10706 | 118322 0 | 510 | 4 19.79/19.82 c 14.8s | 10 | 12331 | 11361 | 130155 0 | 510 | 4 21.78/21.85 c 16.8s | 10 | 13920 | 12861 | 130155 0 | 510 | 4 23.88/23.99 c 19.0s | 10 | 15318 | 14261 | 130155 0 | 510 | 4 26.08/26.16 c 21.2s | 10 | 16378 | 15361 | 130155 0 | 510 | 4 28.18/28.23 c 23.2s | 10 | 17576 | 16561 | 130155 0 | 510 | 4 29.08/29.15 c 24.1s | 11 | 18167 | 17144 | 143171 0 | 510 | 4 31.18/31.25 c 26.2s | 11 | 19301 | 18244 | 143171 0 | 510 | 4 33.28/33.30 c 28.3s | 11 | 20605 | 19544 | 143171 0 | 510 | 4 35.38/35.46 c 30.5s | 11 | 21976 | 20844 | 143171 0 | 510 | 4 37.39/37.48 c 32.5s | 11 | 22824 | 21744 | 143171 0 | 510 | 4 39.59/39.65 c 34.6s | 11 | 23947 | 22844 | 143171 0 | 510 | 4 41.68/41.71 c 36.7s | 11 | 25359 | 24244 | 143171 0 | 510 | 4 43.78/43.86 c 38.9s | 11 | 26474 | 25344 | 143171 0 | 510 | 4 44.88/44.93 c 39.9s | 12 | 26962 | 25819 | 157489 0 | 510 | 4 47.08/47.12 c 42.1s | 12 | 27947 | 26719 | 157489 0 | 510 | 4 49.08/49.14 c 44.1s | 12 | 29039 | 27819 | 157489 0 | 510 | 4 51.28/51.37 c 46.4s | 12 | 30061 | 28819 | 157489 0 | 510 | 4 53.38/53.44 c 48.4s | 12 | 30957 | 29719 | 157489 0 | 510 | 4 55.38/55.45 c 50.4s | 12 | 32215 | 30919 | 157489 0 | 510 | 4 57.59/57.64 c 52.6s | 12 | 33182 | 31919 | 157489 0 | 510 | 4 59.58/59.65 c 54.6s | 12 | 34113 | 32819 | 157489 0 | 510 | 4 61.69/61.70 c 56.7s | 12 | 35277 | 34019 | 157489 0 | 510 | 4 63.68/63.77 c 58.8s | 12 | 36659 | 35319 | 157489 0 | 510 | 4 65.78/65.83 c 60.8s | 12 | 37996 | 36619 | 157489 0 | 510 | 4 67.88/67.94 c 62.9s | 12 | 39494 | 38119 | 157489 0 | 510 | 4 68.88/68.97 c 64.0s | 13 | 40209 | 38832 | 173238 0 | 510 | 4 70.88/70.98 c 66.0s | 13 | 40873 | 39332 | 173238 0 | 510 | 4 72.98/73.09 c 68.1s | 13 | 41497 | 39932 | 173238 0 | 510 | 4 75.18/75.26 c 70.3s | 13 | 42223 | 40632 | 173238 0 | 510 | 4 77.58/77.63 c 72.6s | 13 | 42989 | 41332 | 173238 0 | 510 | 4 79.98/80.05 c 75.0s | 13 | 43458 | 41832 | 173238 0 | 510 | 4 82.08/82.12 c 77.1s | 13 | 44003 | 42332 | 173238 0 | 510 | 4 84.28/84.31 c 79.3s | 13 | 44727 | 43032 | 173238 0 | 510 | 4 86.48/86.53 c 81.5s | 13 | 45826 | 44032 | 173238 0 | 510 | 4 88.68/88.77 c 83.8s | 13 | 46391 | 44632 | 173238 0 | 510 | 4 90.98/91.00 c 86.0s | 13 | 46906 | 45132 | 173238 0 | 510 | 4 93.18/93.22 c 88.2s | 13 | 47516 | 45732 | 173238 0 | 510 | 4 95.38/95.44 c 90.4s | 13 | 48423 | 46632 | 173238 0 | 510 | 4 97.38/97.45 c 92.4s | 13 | 49332 | 47532 | 173238 0 | 510 | 4 99.48/99.51 c 94.5s | 13 | 50545 | 48732 | 173238 0 | 510 | 4 101.68/101.71 c 96.7s | 13 | 51759 | 49932 | 173238 0 | 510 | 4 103.88/103.98 c 99.0s | 13 | 52788 | 50932 | 173238 0 | 510 | 4 106.18/106.22 c 101s | 13 | 53714 | 51832 | 173238 0 | 510 | 4 108.38/108.40 c 103s | 13 | 54545 | 52632 | 173238 0 | 510 | 4 110.48/110.57 c 105s | 13 | 55242 | 53332 | 173238 0 | 510 | 4 112.58/112.60 c 107s | 13 | 55954 | 54032 | 173238 0 | 510 | 4 114.68/114.70 c 109s | 13 | 56645 | 54732 | 173238 0 | 510 | 4 116.98/117.04 c 112s | 13 | 57461 | 55532 | 173238 0 | 510 | 4 119.07/119.11 c 114s | 13 | 58161 | 56232 | 173238 0 | 510 | 4 121.08/121.11 c 116s | 13 | 58752 | 56832 | 173238 0 | 510 | 4 123.37/123.43 c 118s | 13 | 59343 | 57432 | 173238 0 | 510 | 4 125.67/125.78 c 120s | 13 | 60075 | 58132 | 190562 0 | 510 | 4 126.48/126.51 c 121s | 14 | 60271 | 58352 | 190562 0 | 510 | 4 128.78/128.82 c 123s | 14 | 60746 | 58752 | 190562 0 | 510 | 4 130.88/130.96 c 125s | 14 | 61267 | 59252 | 190562 0 | 510 | 4 132.97/133.00 c 127s | 14 | 61921 | 59852 | 190562 0 | 510 | 4 135.47/135.51 c 130s | 14 | 62726 | 60552 | 190562 0 | 510 | 4 137.97/138.08 c 133s | 14 | 63211 | 60952 | 190562 0 | 510 | 4 140.17/140.28 c 135s | 14 | 63515 | 61252 | 190562 0 | 510 | 4 142.37/142.40 c 137s | 14 | 63918 | 61652 | 190562 0 | 510 | 4 144.57/144.61 c 139s | 14 | 64424 | 62052 | 190562 0 | 510 | 4 147.17/147.21 c 142s | 14 | 64889 | 62452 | 190562 0 | 510 | 4 149.37/149.41 c 144s | 14 | 65334 | 62852 | 190562 0 | 510 | 4 151.57/151.68 c 146s | 14 | 65831 | 63252 | 190562 0 | 510 | 4 153.77/153.83 c 148s | 14 | 66152 | 63552 | 190562 0 | 510 | 4 155.87/155.95 c 150s | 14 | 66515 | 63852 | 190562 0 | 510 | 4 157.87/157.95 c 152s | 14 | 66814 | 64152 | 190562 0 | 510 | 4 160.47/160.52 c 155s | 14 | 67257 | 64552 | 190562 0 | 510 | 4 163.07/163.16 c 158s | 14 | 67631 | 64952 | 190562 0 | 510 | 4 165.27/165.32 c 160s | 14 | 67949 | 65252 | 190562 0 | 510 | 4 167.27/167.32 c 162s | 14 | 68239 | 65552 | 190562 0 | 510 | 4 169.67/169.73 c 164s | 14 | 68655 | 65952 | 190562 0 | 510 | 4 171.67/171.76 c 166s | 14 | 69136 | 66452 | 190562 0 | 510 | 4 173.77/173.85 c 168s | 14 | 70090 | 67352 | 190562 0 | 510 | 4 176.07/176.13 c 171s | 14 | 70928 | 68152 | 190562 0 | 510 | 4 178.36/178.45 c 173s | 14 | 71602 | 68752 | 190562 0 | 510 | 4 180.37/180.49 c 175s | 14 | 72129 | 69252 | 190562 0 | 510 | 4 182.76/182.84 c 177s | 14 | 72765 | 69852 | 190562 0 | 510 | 4 185.16/185.25 c 180s | 14 | 73351 | 70352 | 190562 0 | 510 | 4 187.26/187.31 c 182s | 14 | 73796 | 70752 | 190562 0 | 510 | 4 189.76/189.84 c 184s | 14 | 74276 | 71252 | 190562 0 | 510 | 4 191.96/192.08 c 187s | 14 | 74715 | 71652 | 190562 0 | 510 | 4 194.46/194.57 c 189s | 14 | 75206 | 72052 | 190562 0 | 510 | 4 197.06/197.18 c 192s | 14 | 75626 | 72452 | 190562 0 | 510 | 4 199.07/199.20 c 194s | 14 | 76013 | 72852 | 190562 0 | 510 | 4 201.46/201.52 c 196s | 14 | 76449 | 73252 | 190562 0 | 510 | 4 203.66/203.72 c 198s | 14 | 76722 | 73552 | 190562 0 | 510 | 4 205.95/206.06 c 201s | 14 | 77122 | 73952 | 190562 0 | 510 | 4 208.05/208.11 c 203s | 14 | 77548 | 74352 | 190562 0 | 510 | 4 210.25/210.37 c 205s | 14 | 77843 | 74652 | 190562 0 | 510 | 4 212.65/212.78 c 207s | 14 | 78236 | 75052 | 190562 0 | 510 | 4 215.35/215.43 c 210s | 14 | 78739 | 75552 | 190562 0 | 510 | 4 217.45/217.54 c 212s | 14 | 78923 | 75752 | 190562 0 | 510 | 4 220.05/220.16 c 215s | 14 | 79240 | 76052 | 190562 0 | 510 | 4 222.45/222.52 c 217s | 14 | 79545 | 76352 | 190562 0 | 510 | 4 224.45/224.57 c 219s | 14 | 79929 | 76752 | 190562 0 | 510 | 4 226.44/226.59 c 221s | 14 | 80170 | 76952 | 190562 0 | 510 | 4 229.04/229.13 c 224s | 14 | 80426 | 77252 | 190562 0 | 510 | 4 231.24/231.34 c 226s | 14 | 80741 | 77552 | 190562 0 | 510 | 4 233.54/233.64 c 228s | 14 | 81130 | 77952 | 190562 0 | 510 | 4 235.74/235.82 c 230s | 14 | 81462 | 78252 | 190562 0 | 510 | 4 238.44/238.50 c 233s | 14 | 81731 | 78552 | 190562 0 | 510 | 4 240.74/240.81 c 235s | 14 | 82032 | 78852 | 190562 0 | 510 | 4 243.14/243.27 c 238s | 14 | 82443 | 79252 | 190562 0 | 510 | 4 245.83/245.94 c 240s | 14 | 82856 | 79652 | 190562 0 | 510 | 4 248.64/248.74 c 243s | 14 | 83173 | 79952 | 190562 0 | 510 | 4 251.03/251.12 c 246s | 14 | 83439 | 80252 | 190562 0 | 510 | 4 253.04/253.13 c 248s | 14 | 83759 | 80552 | 190562 0 | 510 | 4 255.33/255.41 c 250s | 14 | 84165 | 80952 | 190562 0 | 510 | 4 258.23/258.34 c 253s | 14 | 84531 | 81252 | 190562 0 | 510 | 4 261.03/261.14 c 256s | 14 | 84848 | 81552 | 190562 0 | 510 | 4 263.53/263.69 c 258s | 14 | 85143 | 81852 | 190562 0 | 510 | 4 265.63/265.74 c 260s | 14 | 85421 | 82152 | 190562 0 | 510 | 4 267.73/267.84 c 262s | 14 | 85748 | 82452 | 190562 0 | 510 | 4 270.23/270.30 c 265s | 14 | 86074 | 82752 | 190562 0 | 510 | 4 272.33/272.46 c 267s | 14 | 86380 | 83052 | 190562 0 | 510 | 4 274.42/274.57 c 269s | 14 | 86630 | 83252 | 190562 0 | 510 | 4 277.13/277.26 c 272s | 14 | 86902 | 83552 | 190562 0 | 510 | 4 280.43/280.59 c 275s | 14 | 87227 | 83852 | 190562 0 | 510 | 4 282.92/283.03 c 278s | 14 | 87433 | 84052 | 190562 0 | 510 | 4 285.12/285.26 c 280s | 14 | 87627 | 84252 | 190562 0 | 510 | 4 287.42/287.54 c 282s | 14 | 87797 | 84452 | 190562 0 | 510 | 4 290.32/290.43 c 285s | 14 | 88115 | 84752 | 190562 0 | 510 | 4 292.71/292.80 c 287s | 14 | 88398 | 85052 | 190562 0 | 510 | 4 295.61/295.79 c 290s | 14 | 88832 | 85452 | 190562 0 | 510 | 4 298.41/298.50 c 293s | 14 | 89136 | 85752 | 190562 0 | 510 | 4 300.91/301.03 c 296s | 14 | 89495 | 86052 | 190562 0 | 510 | 4 303.71/303.85 c 298s | 14 | 89837 | 86352 | 190562 0 | 510 | 4 306.31/306.44 c 301s | 14 | 90125 | 86652 | 190562 0 | 510 | 4 308.31/308.48 c 303s | 14 | 90339 | 86852 | 190562 0 | 510 | 4 310.91/311.00 c 305s | 14 | 90564 | 87052 | 209619 0 | 510 | 4 313.51/313.62 c 308s | 14 | 90766 | 87252 | 209619 0 | 510 | 4 316.00/316.10 c 311s | 14 | 90956 | 87452 | 209619 0 | 510 | 4 317.91/318.01 c 313s | 15 | 91140 | 87632 | 209619 0 | 510 | 4 320.30/320.44 c 315s | 15 | 91429 | 87832 | 209619 0 | 510 | 4 322.50/322.64 c 317s | 15 | 91631 | 88032 | 209619 0 | 510 | 4 324.70/324.80 c 319s | 15 | 91945 | 88332 | 209619 0 | 510 | 4 327.40/327.50 c 322s | 15 | 92529 | 88832 | 209619 0 | 510 | 4 329.60/329.71 c 324s | 15 | 92757 | 89032 | 209619 0 | 510 | 4 331.80/331.98 c 326s | 15 | 93004 | 89232 | 209619 0 | 510 | 4 334.00/334.14 c 329s | 15 | 93214 | 89432 | 209619 0 | 510 | 4 336.50/336.67 c 331s | 15 | 93403 | 89632 | 209619 0 | 510 | 4 339.30/339.41 c 334s | 15 | 93581 | 89832 | 209619 0 | 510 | 4 341.40/341.57 c 336s | 15 | 93796 | 90032 | 209619 0 | 510 | 4 343.49/343.64 c 338s | 15 | 94014 | 90232 | 209619 0 | 510 | 4 346.09/346.28 c 341s | 15 | 94318 | 90532 | 209619 0 | 510 | 4 348.49/348.61 c 343s | 15 | 94951 | 91132 | 209619 0 | 510 | 4 351.09/351.27 c 346s | 15 | 95367 | 91532 | 209619 0 | 510 | 4 353.38/353.52 c 348s | 15 | 95647 | 91832 | 209619 0 | 510 | 4 356.18/356.36 c 351s | 15 | 95943 | 92132 | 209619 0 | 510 | 4 359.18/359.38 c 354s | 15 | 96315 | 92432 | 209619 0 | 510 | 4 361.58/361.78 c 356s | 15 | 96514 | 92632 | 209619 0 | 510 | 4 363.88/364.07 c 359s | 15 | 96778 | 92832 | 209619 0 | 510 | 4 367.08/367.25 c 362s | 15 | 96929 | 93032 | 209619 0 | 510 | 4 369.78/369.96 c 364s | 15 | 97145 | 93232 | 209619 0 | 510 | 4 372.58/372.74 c 367s | 15 | 97353 | 93432 | 209619 0 | 510 | 4 375.28/375.47 c 370s | 15 | 97552 | 93632 | 209619 0 | 510 | 4 378.08/378.22 c 373s | 15 | 97742 | 93832 | 209619 0 | 510 | 4 380.58/380.77 c 375s | 15 | 97980 | 94032 | 209619 0 | 510 | 4 382.97/383.19 c 378s | 15 | 98149 | 94232 | 209619 0 | 510 | 4 385.27/385.49 c 380s | 15 | 98360 | 94432 | 209619 0 | 510 | 4 387.57/387.70 c 382s | 15 | 98554 | 94632 | 209619 0 | 510 | 4 389.67/389.81 c 384s | 15 | 98776 | 94832 | 209619 0 | 510 | 4 392.27/392.40 c 387s | 15 | 99044 | 95132 | 209619 0 | 510 | 4 394.27/394.42 c 389s | 15 | 99340 | 95432 | 209619 0 | 510 | 4 396.37/396.55 c 391s | 15 | 99915 | 95932 | 209619 0 | 510 | 4 398.67/398.82 c 393s | 15 | 100498 | 96532 | 209619 0 | 510 | 4 400.97/401.16 c 396s | 15 | 100878 | 96932 | 209619 0 | 510 | 4 403.06/403.23 c 398s | 15 | 101179 | 97232 | 209619 0 | 510 | 4 405.46/405.69 c 400s | 15 | 101514 | 97532 | 209619 0 | 510 | 4 408.36/408.54 c 403s | 15 | 101819 | 97832 | 209619 0 | 510 | 4 410.36/410.55 c 405s | 15 | 102014 | 98032 | 209619 0 | 510 | 4 413.26/413.46 c 408s | 15 | 102275 | 98332 | 209619 0 | 510 | 4 416.06/416.25 c 411s | 15 | 102577 | 98632 | 209619 0 | 510 | 4 418.56/418.79 c 413s | 15 | 102904 | 98932 | 209619 0 | 510 | 4 420.86/421.08 c 416s | 15 | 103196 | 99232 | 209619 0 | 510 | 4 423.55/423.73 c 418s | 15 | 103567 | 99632 | 209619 0 | 510 | 4 425.85/426.04 c 421s | 15 | 104080 | 100132 | 209619 0 | 510 | 4 428.25/428.49 c 423s | 15 | 104809 | 100832 | 209619 0 | 510 | 4 430.65/430.89 c 425s | 15 | 105236 | 101232 | 209619 0 | 510 | 4 432.85/433.07 c 428s | 15 | 105504 | 101532 | 209619 0 | 510 | 4 435.35/435.53 c 430s | 15 | 105808 | 101832 | 209619 0 | 510 | 4 438.15/438.31 c 433s | 15 | 106142 | 102132 | 209619 0 | 510 | 4 440.55/440.76 c 435s | 15 | 106397 | 102432 | 209619 0 | 510 | 4 442.74/442.98 c 437s | 15 | 106712 | 102732 | 209619 0 | 510 | 4 445.35/445.56 c 440s | 15 | 107111 | 103132 | 209619 0 | 510 | 4 447.44/447.67 c 442s | 15 | 107738 | 103732 | 209619 0 | 510 | 4 449.85/450.05 c 445s | 15 | 108547 | 104532 | 209619 0 | 510 | 4 451.84/452.08 c 447s | 15 | 109022 | 105032 | 209619 0 | 510 | 4 454.04/454.23 c 449s | 15 | 109936 | 105932 | 209619 0 | 510 | 4 456.14/456.32 c 451s | 15 | 110927 | 106932 | 209619 0 | 510 | 4 458.24/458.45 c 453s | 15 | 112154 | 108132 | 209619 0 | 510 | 4 460.24/460.49 c 455s | 15 | 113245 | 109232 | 209619 0 | 510 | 4 462.34/462.59 c 457s | 15 | 114241 | 110232 | 209619 0 | 510 | 4 464.53/464.74 c 459s | 15 | 115047 | 111032 | 209619 0 | 510 | 4 466.83/467.01 c 462s | 15 | 115858 | 111832 | 209619 0 | 510 | 4 469.13/469.31 c 464s | 15 | 116558 | 112532 | 209619 0 | 510 | 4 471.43/471.65 c 466s | 15 | 117259 | 113232 | 209619 0 | 510 | 4 473.43/473.65 c 468s | 15 | 117862 | 113832 | 209619 0 | 510 | 4 475.53/475.72 c 470s | 15 | 118467 | 114432 | 209619 0 | 510 | 4 477.53/477.74 c 472s | 15 | 119063 | 115032 | 209619 0 | 510 | 4 480.13/480.33 c 475s | 15 | 119784 | 115732 | 209619 0 | 510 | 4 482.33/482.57 c 477s | 15 | 120277 | 116232 | 209619 0 | 510 | 4 484.42/484.69 c 479s | 15 | 120771 | 116732 | 209619 0 | 510 | 4 486.62/486.89 c 481s | 15 | 121406 | 117332 | 209619 0 | 510 | 4 488.92/489.10 c 484s | 15 | 121785 | 117732 | 209619 0 | 510 | 4 490.92/491.17 c 486s | 15 | 122277 | 118232 | 209619 0 | 510 | 4 493.02/493.21 c 488s | 15 | 122698 | 118632 | 209619 0 | 510 | 4 495.12/495.33 c 490s | 15 | 123199 | 119132 | 209619 0 | 510 | 4 497.22/497.47 c 492s | 15 | 123499 | 119432 | 209619 0 | 510 | 4 499.33/499.59 c 494s | 15 | 123890 | 119832 | 209619 0 | 510 | 4 501.72/501.96 c 496s | 15 | 124407 | 120332 | 209619 0 | 510 | 4 503.81/504.06 c 499s | 15 | 124896 | 120832 | 209619 0 | 510 | 4 506.61/506.82 c 501s | 15 | 125421 | 121332 | 209619 0 | 510 | 4 509.01/509.25 c 504s | 15 | 125689 | 121632 | 209619 0 | 510 | 4 511.51/511.76 c 506s | 15 | 126096 | 122032 | 209619 0 | 510 | 4 513.81/514.04 c 509s | 15 | 126520 | 122432 | 209619 0 | 510 | 4 516.41/516.62 c 511s | 15 | 126906 | 122832 | 209619 0 | 510 | 4 518.71/518.95 c 513s | 15 | 127392 | 123332 | 209619 0 | 510 | 4 521.01/521.25 c 516s | 15 | 127712 | 123632 | 209619 0 | 510 | 4 523.70/523.99 c 518s | 15 | 127999 | 123932 | 209619 0 | 510 | 4 526.10/526.30 c 521s | 15 | 128296 | 124232 | 209619 0 | 510 | 4 528.70/528.98 c 523s | 15 | 128805 | 124732 | 209619 0 | 510 | 4 531.21/531.41 c 526s | 15 | 129121 | 125032 | 209619 0 | 510 | 4 533.20/533.43 c 528s | 15 | 129422 | 125332 | 209619 0 | 510 | 4 535.51/535.71 c 530s | 15 | 129907 | 125832 | 209619 0 | 510 | 4 538.00/538.24 c 533s | 15 | 130235 | 126132 | 209619 0 | 510 | 4 540.10/540.36 c 535s | 15 | 130413 | 126332 | 209619 0 | 510 | 4 542.11/542.39 c 537s | 15 | 130614 | 126532 | 209619 0 | 510 | 4 544.80/545.02 c 540s | 15 | 130914 | 126832 | 209619 0 | 510 | 4 546.80/547.08 c 542s | 15 | 131217 | 127132 | 209619 0 | 510 | 4 549.30/549.55 c 544s | 15 | 131528 | 127432 | 209619 0 | 510 | 4 551.50/551.77 c 546s | 15 | 131715 | 127632 | 209619 0 | 510 | 4 553.49/553.78 c 548s | 15 | 131926 | 127832 | 209619 0 | 510 | 4 556.29/556.59 c 551s | 15 | 132210 | 128132 | 209619 0 | 510 | 4 558.60/558.85 c 553s | 15 | 132516 | 128432 | 209619 0 | 510 | 4 560.69/561.00 c 555s | 15 | 132815 | 128732 | 209619 0 | 510 | 4 563.10/563.34 c 558s | 15 | 133013 | 128932 | 209619 0 | 510 | 4 565.30/565.51 c 560s | 15 | 133241 | 129132 | 209619 0 | 510 | 4 567.29/567.52 c 562s | 15 | 133441 | 129332 | 209619 0 | 510 | 4 569.79/570.09 c 565s | 15 | 133710 | 129632 | 209619 0 | 510 | 4 571.99/572.27 c 567s | 15 | 134118 | 130032 | 209619 0 | 510 | 4 574.19/574.41 c 569s | 15 | 134361 | 130232 | 209619 0 | 510 | 4 576.49/576.75 c 571s | 15 | 134556 | 130432 | 209619 0 | 510 | 4 578.59/578.84 c 573s | 15 | 134735 | 130632 | 209619 0 | 510 | 4 580.59/580.85 c 575s | 15 | 134937 | 130832 | 230581 0 | 510 | 4 583.28/583.51 c 578s | 15 | 135234 | 131132 | 230581 0 | 510 | 4 585.28/585.57 c 580s | 15 | 135521 | 131432 | 230581 0 | 510 | 4 585.78/586.06 c 581s | 16 | 135638 | 131552 | 230581 0 | 510 | 4 588.58/588.81 c 583s | 16 | 135900 | 131752 | 230581 0 | 510 | 4 591.38/591.69 c 586s | 16 | 136128 | 131952 | 230581 0 | 510 | 4 594.18/594.41 c 589s | 16 | 136311 | 132152 | 230581 0 | 510 | 4 596.98/597.27 c 592s | 16 | 136497 | 132352 | 230581 0 | 510 | 4 599.88/600.14 c 595s | 16 | 136690 | 132552 | 230581 0 | 510 | 4 603.68/604.00 c 598s | 16 | 136910 | 132752 | 230581 0 | 510 | 4 606.08/606.33 c 601s | 16 | 137042 | 132852 | 230581 0 | 510 | 4 608.48/608.73 c 603s | 16 | 137113 | 132952 | 230581 0 | 510 | 4 612.67/612.92 c 607s | 16 | 137321 | 133152 | 230581 0 | 510 | 4 616.67/617.00 c 611s | 16 | 137515 | 133352 | 230581 0 | 510 | 4 620.47/620.71 c 615s | 16 | 137756 | 133552 | 230581 0 | 510 | 4 624.17/624.40 c 619s | 16 | 137931 | 133752 | 230581 0 | 510 | 4 628.27/628.50 c 623s | 16 | 138112 | 133952 | 230581 0 | 510 | 4 630.47/630.76 c 625s | 16 | 138371 | 134152 | 230581 0 | 510 | 4 634.37/634.63 c 629s | 16 | 138601 | 134352 | 230581 0 | 510 | 4 637.48/637.79 c 632s | 16 | 138833 | 134552 | 230581 0 | 510 | 4 640.78/641.00 c 635s | 16 | 139003 | 134752 | 230581 0 | 510 | 4 644.58/644.82 c 639s | 16 | 139188 | 134952 | 230581 0 | 510 | 4 648.38/648.69 c 643s | 16 | 139385 | 135152 | 230581 0 | 510 | 4 652.48/652.79 c 647s | 16 | 139597 | 135352 | 230581 0 | 510 | 4 654.68/654.97 c 649s | 16 | 139741 | 135452 | 230581 0 | 510 | 4 656.78/657.04 c 652s | 16 | 139811 | 135552 | 230581 0 | 510 | 4 659.08/659.36 c 654s | 16 | 139950 | 135652 | 230581 0 | 510 | 4 663.27/663.54 c 658s | 16 | 140148 | 135852 | 230581 0 | 510 | 4 667.07/667.39 c 662s | 16 | 140338 | 136052 | 230581 0 | 510 | 4 670.88/671.16 c 666s | 16 | 140518 | 136252 | 230581 0 | 510 | 4 674.87/675.10 c 670s | 16 | 140692 | 136452 | 230581 0 | 510 | 4 678.07/678.36 c 673s | 16 | 140907 | 136652 | 230581 0 | 510 | 4 681.37/681.66 c 676s | 16 | 141106 | 136852 | 230581 0 | 510 | 4 684.47/684.76 c 679s | 16 | 141332 | 137052 | 230581 0 | 510 | 4 687.37/687.62 c 682s | 16 | 141534 | 137252 | 230581 0 | 510 | 4 689.76/690.02 c 685s | 16 | 141709 | 137452 | 230581 0 | 510 | 4 691.96/692.28 c 687s | 16 | 141912 | 137652 | 230581 0 | 510 | 4 694.26/694.54 c 689s | 16 | 142201 | 137952 | 230581 0 | 510 | 4 698.37/698.66 c 693s | 16 | 142629 | 138252 | 230581 0 | 510 | 4 702.46/702.70 c 697s | 16 | 142820 | 138452 | 230581 0 | 510 | 4 705.86/706.20 c 701s | 16 | 143043 | 138652 | 230581 0 | 510 | 4 709.16/709.45 c 704s | 16 | 143232 | 138852 | 230581 0 | 510 | 4 711.76/712.06 c 707s | 16 | 143475 | 139052 | 230581 0 | 510 | 4 714.65/714.96 c 709s | 16 | 143644 | 139252 | 230581 0 | 510 | 4 717.65/717.95 c 712s | 16 | 143881 | 139452 | 230581 0 | 510 | 4 720.55/720.88 c 715s | 16 | 144049 | 139652 | 230581 0 | 510 | 4 723.15/723.49 c 718s | 16 | 144260 | 139852 | 230581 0 | 510 | 4 725.65/726.00 c 720s | 16 | 144454 | 140052 | 230581 0 | 510 | 4 728.06/728.32 c 723s | 16 | 144676 | 140252 | 230581 0 | 510 | 4 730.95/731.21 c 726s | 16 | 144944 | 140552 | 230581 0 | 510 | 4 733.14/733.40 c 728s | 16 | 145266 | 140852 | 230581 0 | 510 | 4 735.14/735.45 c 730s | 16 | 145910 | 141352 | 230581 0 | 510 | 4 737.44/737.72 c 732s | 16 | 146303 | 141752 | 230581 0 | 510 | 4 740.44/740.74 c 735s | 16 | 146587 | 142052 | 230581 0 | 510 | 4 742.84/743.16 c 738s | 16 | 146799 | 142252 | 230581 0 | 510 | 4 745.65/745.93 c 740s | 16 | 146987 | 142452 | 230581 0 | 510 | 4 748.34/748.63 c 743s | 16 | 147208 | 142652 | 230581 0 | 510 | 4 750.64/750.98 c 745s | 16 | 147404 | 142852 | 230581 0 | 510 | 4 752.74/753.04 c 748s | 16 | 147606 | 143052 | 230581 0 | 510 | 4 755.14/755.40 c 750s | 16 | 147984 | 143452 | 230581 0 | 510 | 4 757.74/758.05 c 753s | 16 | 148643 | 144052 | 230581 0 | 510 | 4 760.04/760.36 c 755s | 16 | 148927 | 144352 | 230581 0 | 510 | 4 762.94/763.20 c 758s | 16 | 149439 | 144852 | 230581 0 | 510 | 4 764.93/765.23 c 760s | 16 | 149630 | 145052 | 230581 0 | 510 | 4 767.23/767.51 c 762s | 16 | 150047 | 145452 | 230581 0 | 510 | 4 769.43/769.70 c 764s | 16 | 150535 | 145952 | 230581 0 | 510 | 4 771.43/771.74 c 766s | 16 | 151028 | 146452 | 230581 0 | 510 | 4 773.83/774.17 c 769s | 16 | 151345 | 146752 | 230581 0 | 510 | 4 775.93/776.24 c 771s | 16 | 151631 | 147052 | 230581 0 | 510 | 4 778.43/778.77 c 773s | 16 | 151927 | 147352 | 230581 0 | 510 | 4 780.63/781.00 c 775s | 16 | 152227 | 147652 | 230581 0 | 510 | 4 783.53/783.80 c 778s | 16 | 152570 | 147952 | 230581 0 | 510 | 4 786.03/786.36 c 781s | 16 | 152837 | 148152 | 230581 0 | 510 | 4 788.13/788.46 c 783s | 16 | 153047 | 148352 | 230581 0 | 510 | 4 790.63/790.98 c 785s | 16 | 153299 | 148552 | 230581 0 | 510 | 4 793.02/793.32 c 788s | 16 | 153525 | 148752 | 230581 0 | 510 | 4 795.62/795.96 c 790s | 16 | 153722 | 148952 | 230581 0 | 510 | 4 797.62/797.98 c 792s | 16 | 153951 | 149152 | 230581 0 | 510 | 4 799.92/800.20 c 795s | 16 | 154143 | 149352 | 230581 0 | 510 | 4 802.42/802.71 c 797s | 16 | 154421 | 149552 | 230581 0 | 510 | 4 804.52/804.85 c 799s | 16 | 154617 | 149752 | 230581 0 | 510 | 4 807.23/807.50 c 802s | 16 | 154839 | 149952 | 230581 0 | 510 | 4 809.43/809.79 c 804s | 16 | 155101 | 150152 | 230581 0 | 510 | 4 811.92/812.28 c 807s | 16 | 155276 | 150352 | 230581 0 | 510 | 4 814.01/814.37 c 809s | 16 | 155573 | 150552 | 230581 0 | 510 | 4 816.91/817.26 c 812s | 16 | 155774 | 150752 | 230581 0 | 510 | 4 819.32/819.68 c 814s | 16 | 156035 | 150952 | 230581 0 | 510 | 4 822.41/822.78 c 817s | 16 | 156275 | 151152 | 230581 0 | 510 | 4 824.72/825.01 c 820s | 16 | 156516 | 151352 | 230581 0 | 510 | 4 827.81/828.12 c 823s | 16 | 156717 | 151552 | 230581 0 | 510 | 4 830.21/830.55 c 825s | 16 | 156973 | 151752 | 230581 0 | 510 | 4 833.31/833.60 c 828s | 16 | 157155 | 151952 | 230581 0 | 510 | 4 835.71/836.10 c 831s | 16 | 157374 | 152152 | 230581 0 | 510 | 4 838.21/838.55 c 833s | 16 | 157684 | 152352 | 230581 0 | 510 | 4 841.01/841.32 c 836s | 16 | 157863 | 152552 | 230581 0 | 510 | 4 843.41/843.79 c 838s | 16 | 158105 | 152752 | 230581 0 | 510 | 4 846.40/846.75 c 841s | 16 | 158320 | 152952 | 230581 0 | 510 | 4 848.70/849.08 c 844s | 16 | 158524 | 153152 | 230581 0 | 510 | 4 851.50/851.81 c 846s | 16 | 158759 | 153352 | 230581 0 | 510 | 4 854.90/855.20 c 850s | 16 | 158975 | 153552 | 230581 0 | 510 | 4 857.80/858.13 c 853s | 16 | 159148 | 153752 | 230581 0 | 510 | 4 860.70/861.05 c 856s | 16 | 159422 | 153952 | 230581 0 | 510 | 4 863.79/864.16 c 859s | 16 | 159646 | 154152 | 230581 0 | 510 | 4 866.99/867.35 c 862s | 16 | 159837 | 154352 | 230581 0 | 510 | 4 869.09/869.40 c 864s | 16 | 159951 | 154452 | 230581 0 | 510 | 4 872.39/872.78 c 867s | 16 | 160146 | 154652 | 230581 0 | 510 | 4 875.59/875.98 c 870s | 16 | 160332 | 154852 | 230581 0 | 510 | 4 878.69/879.01 c 874s | 16 | 160584 | 155052 | 230581 0 | 510 | 4 880.89/881.23 c 876s | 16 | 160706 | 155152 | 230581 0 | 510 | 4 883.98/884.39 c 879s | 16 | 160891 | 155352 | 230581 0 | 510 | 4 886.88/887.28 c 882s | 16 | 161130 | 155552 | 230581 0 | 510 | 4 890.18/890.50 c 885s | 16 | 161342 | 155752 | 230581 0 | 510 | 4 894.48/894.85 c 889s | 16 | 161544 | 155952 | 230581 0 | 510 | 4 896.88/897.22 c 892s | 16 | 161651 | 156052 | 230581 0 | 510 | 4 899.18/899.54 c 894s | 16 | 161812 | 156152 | 230581 0 | 510 | 4 902.48/902.89 c 897s | 16 | 162010 | 156352 | 230581 0 | 510 | 4 904.58/904.92 c 899s | 16 | 162115 | 156452 | 230581 0 | 510 | 4 908.58/908.96 c 903s | 16 | 162294 | 156652 | 230581 0 | 510 | 4 911.88/912.23 c 907s | 16 | 162489 | 156852 | 230581 0 | 510 | 4 915.78/916.17 c 911s | 16 | 162703 | 157052 | 230581 0 | 510 | 4 917.98/918.36 c 913s | 16 | 162821 | 157152 | 230581 0 | 510 | 4 920.49/920.82 c 915s | 16 | 162882 | 157252 | 230581 0 | 510 | 4 923.18/923.54 c 918s | 16 | 163001 | 157352 | 230581 0 | 510 | 4 925.89/926.29 c 921s | 16 | 163117 | 157452 | 230581 0 | 510 | 4 928.38/928.73 c 923s | 16 | 163173 | 157552 | 230581 0 | 510 | 4 930.78/931.10 c 926s | 16 | 163282 | 157652 | 230581 0 | 510 | 4 933.08/933.45 c 928s | 16 | 163387 | 157752 | 230581 0 | 510 | 4 935.48/935.80 c 930s | 16 | 163488 | 157852 | 230581 0 | 510 | 4 937.68/938.06 c 933s | 16 | 163585 | 157952 | 230581 0 | 510 | 4 939.88/940.28 c 935s | 16 | 163678 | 158052 | 230581 0 | 510 | 4 942.08/942.49 c 937s | 16 | 163768 | 158152 | 230581 0 | 510 | 4 946.18/946.50 c 941s | 16 | 163973 | 158352 | 230581 0 | 510 | 4 949.87/950.25 c 945s | 16 | 164189 | 158552 | 230581 0 | 510 | 4 953.38/953.72 c 948s | 16 | 164392 | 158752 | 230581 0 | 510 | 4 956.17/956.54 c 951s | 16 | 164581 | 158952 | 230581 0 | 510 | 4 960.17/960.57 c 955s | 16 | 164909 | 159252 | 230581 0 | 510 | 4 962.87/963.28 c 958s | 16 | 164969 | 159352 | 230581 0 | 510 | 4 964.97/965.40 c 960s | 16 | 165087 | 159452 | 230581 0 | 510 | 4 967.27/967.62 c 962s | 16 | 165200 | 159552 | 230581 0 | 510 | 4 969.57/969.90 c 964s | 16 | 165309 | 159652 | 230581 0 | 510 | 4 971.77/972.17 c 967s | 16 | 165414 | 159752 | 230581 0 | 510 | 4 973.97/974.31 c 969s | 16 | 165516 | 159852 | 230581 0 | 510 | 4 975.97/976.32 c 971s | 16 | 165615 | 159952 | 230581 0 | 510 | 4 979.78/980.13 c 975s | 16 | 165799 | 160152 | 230581 0 | 510 | 4 983.47/983.83 c 978s | 16 | 166005 | 160352 | 230581 0 | 510 | 4 986.77/987.18 c 982s | 16 | 166186 | 160552 | 230581 0 | 510 | 4 989.68/990.10 c 985s | 16 | 166396 | 160752 | 230581 0 | 510 | 4 991.98/992.39 c 987s | 16 | 166594 | 160952 | 230581 0 | 510 | 4 996.17/996.52 c 991s | 16 | 166880 | 161252 | 230581 0 | 510 | 4 998.77/999.15 c 994s | 16 | 167003 | 161352 | 230581 0 | 510 | 4 1001.57/1001.96 c 996s | 16 | 167123 | 161452 | 230581 0 | 510 | 4 1004.47/1004.89 c 999s | 16 | 167181 | 161552 | 230581 0 | 510 | 4 1006.97/1007.36 c 1002s | 16 | 167295 | 161652 | 230581 0 | 510 | 4 1009.47/1009.87 c 1004s | 16 | 167404 | 161752 | 230581 0 | 510 | 4 1012.07/1012.41 c 1007s | 16 | 167509 | 161852 | 230581 0 | 510 | 4 1014.46/1014.87 c 1009s | 16 | 167610 | 161952 | 230581 0 | 510 | 4 1016.86/1017.27 c 1012s | 16 | 167707 | 162052 | 230581 0 | 510 | 4 1019.26/1019.65 c 1014s | 16 | 167801 | 162152 | 230581 0 | 510 | 4 1021.57/1021.97 c 1016s | 16 | 167890 | 162252 | 230581 0 | 510 | 4 1023.77/1024.18 c 1019s | 16 | 168016 | 162352 | 230581 0 | 510 | 4 1025.86/1026.30 c 1021s | 16 | 168095 | 162452 | 230581 0 | 510 | 4 1027.96/1028.35 c 1023s | 16 | 168206 | 162552 | 230581 0 | 510 | 4 1029.96/1030.37 c 1025s | 16 | 168308 | 162652 | 230581 0 | 510 | 4 1033.56/1033.99 c 1028s | 16 | 168485 | 162852 | 230581 0 | 510 | 4 1036.56/1036.92 c 1031s | 16 | 168685 | 163052 | 230581 0 | 510 | 4 1039.66/1040.05 c 1035s | 16 | 169105 | 163352 | 230581 0 | 510 | 4 1042.96/1043.39 c 1038s | 16 | 169348 | 163552 | 230581 0 | 510 | 4 1046.87/1047.24 c 1042s | 16 | 169557 | 163752 | 230581 0 | 510 | 4 1050.96/1051.38 c 1046s | 16 | 169720 | 163952 | 230581 0 | 510 | 4 1053.16/1053.50 c 1048s | 16 | 169839 | 164052 | 230581 0 | 510 | 4 1056.87/1057.29 c 1052s | 16 | 170139 | 164252 | 230581 0 | 510 | 4 1059.66/1060.01 c 1055s | 16 | 170202 | 164352 | 230581 0 | 510 | 4 1062.16/1062.59 c 1057s | 16 | 170327 | 164452 | 230581 0 | 510 | 4 1065.26/1065.67 c 1060s | 16 | 170395 | 164552 | 230581 0 | 510 | 4 1067.36/1067.76 c 1062s | 16 | 170511 | 164652 | 230581 0 | 510 | 4 1069.66/1070.01 c 1065s | 16 | 170622 | 164752 | 230581 0 | 510 | 4 1071.96/1072.36 c 1067s | 16 | 170730 | 164852 | 230581 0 | 510 | 4 1074.36/1074.72 c 1069s | 16 | 170847 | 164952 | 230581 0 | 510 | 4 1077.06/1077.48 c 1072s | 16 | 170915 | 165052 | 230581 0 | 510 | 4 1080.25/1080.63 c 1075s | 16 | 171047 | 165152 | 230581 0 | 510 | 4 1083.16/1083.54 c 1078s | 16 | 171111 | 165252 | 230581 0 | 510 | 4 1085.85/1086.29 c 1081s | 16 | 171236 | 165352 | 230581 0 | 510 | 4 1088.85/1089.26 c 1084s | 16 | 171298 | 165452 | 230581 0 | 510 | 4 1091.35/1091.78 c 1086s | 16 | 171419 | 165552 | 230581 0 | 510 | 4 1094.05/1094.44 c 1089s | 16 | 171534 | 165652 | 230581 0 | 510 | 4 1096.75/1097.13 c 1092s | 16 | 171646 | 165752 | 230581 0 | 510 | 4 1099.45/1099.86 c 1094s | 16 | 171700 | 165852 | 230581 0 | 510 | 4 1101.86/1102.29 c 1097s | 16 | 171805 | 165952 | 230581 0 | 510 | 4 1104.35/1104.74 c 1099s | 16 | 171907 | 166052 | 230581 0 | 510 | 4 1106.75/1107.17 c 1102s | 16 | 172004 | 166152 | 230581 0 | 510 | 4 1109.05/1109.48 c 1104s | 16 | 172144 | 166252 | 230581 0 | 510 | 4 1111.25/1111.65 c 1106s | 16 | 172231 | 166352 | 230581 0 | 510 | 4 1113.55/1113.90 c 1108s | 16 | 172314 | 166452 | 230581 0 | 510 | 4 1115.65/1116.05 c 1111s | 16 | 172431 | 166552 | 230581 0 | 510 | 4 1117.85/1118.24 c 1113s | 16 | 172504 | 166652 | 230581 0 | 510 | 4 1121.76/1122.13 c 1117s | 16 | 172730 | 166852 | 230581 0 | 510 | 4 1125.25/1125.61 c 1120s | 16 | 172906 | 167052 | 230581 0 | 510 | 4 1127.65/1128.08 c 1123s | 16 | 173110 | 167252 | 230581 0 | 510 | 4 1132.15/1132.54 c 1127s | 16 | 173313 | 167452 | 230581 0 | 510 | 4 1134.85/1135.20 c 1130s | 16 | 173442 | 167552 | 230581 0 | 510 | 4 1137.95/1138.38 c 1133s | 16 | 173568 | 167652 | 230581 0 | 510 | 4 1140.55/1140.96 c 1135s | 16 | 173630 | 167752 | 230581 0 | 510 | 4 1143.65/1144.03 c 1139s | 16 | 173765 | 167852 | 230581 0 | 510 | 4 1146.24/1146.61 c 1141s | 16 | 173822 | 167952 | 230581 0 | 510 | 4 1148.74/1149.12 c 1144s | 16 | 173934 | 168052 | 230581 0 | 510 | 4 1151.24/1151.65 c 1146s | 16 | 174041 | 168152 | 230581 0 | 510 | 4 1153.65/1154.08 c 1149s | 16 | 174159 | 168252 | 230581 0 | 510 | 4 1157.24/1157.63 c 1152s | 16 | 174227 | 168352 | 230581 0 | 510 | 4 1160.44/1160.90 c 1155s | 16 | 174361 | 168452 | 230581 0 | 510 | 4 1163.94/1164.30 c 1159s | 16 | 174426 | 168552 | 230581 0 | 510 | 4 1166.94/1167.38 c 1162s | 16 | 174555 | 168652 | 230581 0 | 510 | 4 1170.54/1170.92 c 1165s | 16 | 174617 | 168752 | 230581 0 | 510 | 4 1173.35/1173.77 c 1168s | 16 | 174739 | 168852 | 230581 0 | 510 | 4 1176.44/1176.85 c 1171s | 16 | 174856 | 168952 | 230581 0 | 510 | 4 1179.74/1180.12 c 1175s | 16 | 174969 | 169052 | 230581 0 | 510 | 4 1182.64/1183.07 c 1178s | 16 | 175024 | 169152 | 230581 0 | 510 | 4 1185.55/1185.93 c 1180s | 16 | 175131 | 169252 | 230581 0 | 510 | 4 1188.34/1188.78 c 1183s | 16 | 175234 | 169352 | 230581 0 | 510 | 4 1191.24/1191.63 c 1186s | 16 | 175333 | 169452 | 230581 0 | 510 | 4 1194.04/1194.41 c 1189s | 16 | 175428 | 169552 | 230581 0 | 510 | 4 1196.74/1197.19 c 1192s | 16 | 175519 | 169652 | 230581 0 | 510 | 4 1199.24/1199.63 c 1194s | 16 | 175648 | 169752 | 230581 0 | 510 | 4 1201.74/1202.15 c 1197s | 16 | 175729 | 169852 | 230581 0 | 510 | 4 1204.14/1204.52 c 1199s | 16 | 175843 | 169952 | 230581 0 | 510 | 4 1206.54/1206.96 c 1201s | 16 | 175949 | 170052 | 230581 0 | 510 | 4 1208.74/1209.11 c 1204s | 16 | 176046 | 170152 | 230581 0 | 510 | 4 1212.43/1212.87 c 1207s | 16 | 176235 | 170352 | 230581 0 | 510 | 4 1215.24/1215.65 c 1210s | 16 | 176421 | 170552 | 230581 0 | 510 | 4 1217.83/1218.26 c 1213s | 16 | 176655 | 170752 | 230581 0 | 510 | 4 1221.33/1221.73 c 1216s | 16 | 176724 | 170852 | 230581 0 | 510 | 4 1224.04/1224.48 c 1219s | 16 | 176858 | 170952 | 230581 0 | 510 | 4 1227.34/1227.74 c 1222s | 16 | 176924 | 171052 | 230581 0 | 510 | 4 1229.93/1230.30 c 1225s | 16 | 177051 | 171152 | 230581 0 | 510 | 4 1232.84/1233.22 c 1228s | 16 | 177175 | 171252 | 230581 0 | 510 | 4 1235.43/1235.89 c 1230s | 16 | 177235 | 171352 | 230581 0 | 510 | 4 1238.03/1238.40 c 1233s | 16 | 177352 | 171452 | 230581 0 | 510 | 4 1240.63/1241.06 c 1236s | 16 | 177465 | 171552 | 230581 0 | 510 | 4 1243.33/1243.77 c 1238s | 16 | 177575 | 171652 | 230581 0 | 510 | 4 1245.73/1246.17 c 1241s | 16 | 177628 | 171752 | 230581 0 | 510 | 4 1248.14/1248.56 c 1243s | 16 | 177731 | 171852 | 230581 0 | 510 | 4 1250.53/1250.92 c 1245s | 16 | 177830 | 171952 | 230581 0 | 510 | 4 1252.83/1253.25 c 1248s | 16 | 177925 | 172052 | 230581 0 | 510 | 4 1254.93/1255.39 c 1250s | 16 | 178061 | 172152 | 230581 0 | 510 | 4 1257.03/1257.45 c 1252s | 16 | 178146 | 172252 | 230581 0 | 510 | 4 1259.23/1259.68 c 1254s | 16 | 178227 | 172352 | 230581 0 | 510 | 4 1263.03/1263.45 c 1258s | 16 | 178446 | 172552 | 230581 0 | 510 | 4 1265.13/1265.50 c 1260s | 16 | 178543 | 172652 | 230581 0 | 510 | 4 1267.53/1267.91 c 1262s | 16 | 178734 | 172852 | 230581 0 | 510 | 4 1269.63/1270.03 c 1265s | 16 | 179090 | 173152 | 230581 0 | 510 | 4 1272.43/1272.88 c 1267s | 16 | 179390 | 173352 | 230581 0 | 510 | 4 1275.32/1275.72 c 1270s | 16 | 179450 | 173452 | 230581 0 | 510 | 4 1278.22/1278.66 c 1273s | 16 | 179566 | 173552 | 230581 0 | 510 | 4 1280.92/1281.36 c 1276s | 16 | 179706 | 173652 | 230581 0 | 510 | 4 1283.92/1284.30 c 1279s | 16 | 179774 | 173752 | 230581 0 | 510 | 4 1287.02/1287.45 c 1282s | 16 | 179932 | 173852 | 230581 0 | 510 | 4 1289.82/1290.30 c 1285s | 16 | 179999 | 173952 | 230581 0 | 510 | 4 1293.23/1293.65 c 1288s | 16 | 180132 | 174052 | 230581 0 | 510 | 4 1295.82/1296.27 c 1291s | 16 | 180194 | 174152 | 230581 0 | 510 | 4 1299.02/1299.42 c 1294s | 16 | 180342 | 174252 | 230581 0 | 510 | 4 1302.13/1302.56 c 1297s | 16 | 180418 | 174352 | 230581 0 | 510 | 4 1305.52/1305.92 c 1300s | 16 | 180494 | 174452 | 230581 0 | 510 | 4 1309.02/1309.46 c 1304s | 16 | 180641 | 174552 | 230581 0 | 510 | 4 1311.93/1312.33 c 1307s | 16 | 180713 | 174652 | 230581 0 | 510 | 4 1315.33/1315.72 c 1310s | 16 | 180784 | 174752 | 230581 0 | 510 | 4 1318.32/1318.73 c 1313s | 16 | 180924 | 174852 | 230581 0 | 510 | 4 1321.42/1321.85 c 1316s | 16 | 180992 | 174952 | 230581 0 | 510 | 4 1324.52/1324.91 c 1319s | 16 | 181125 | 175052 | 230581 0 | 510 | 4 1327.52/1327.90 c 1322s | 16 | 181191 | 175152 | 230581 0 | 510 | 4 1330.42/1330.80 c 1325s | 16 | 181319 | 175252 | 230581 0 | 510 | 4 1333.42/1333.89 c 1328s | 16 | 181381 | 175352 | 230581 0 | 510 | 4 1336.01/1336.49 c 1331s | 16 | 181503 | 175452 | 230581 0 | 510 | 4 1338.91/1339.37 c 1334s | 16 | 181620 | 175552 | 230581 0 | 510 | 4 1341.91/1342.37 c 1337s | 16 | 181734 | 175652 | 230581 0 | 510 | 4 1344.51/1344.90 c 1339s | 16 | 181790 | 175752 | 230581 0 | 510 | 4 1347.12/1347.51 c 1342s | 16 | 181898 | 175852 | 230581 0 | 510 | 4 1349.71/1350.10 c 1345s | 16 | 182001 | 175952 | 230581 0 | 510 | 4 1352.21/1352.67 c 1347s | 16 | 182100 | 176052 | 230581 0 | 510 | 4 1354.71/1355.16 c 1350s | 16 | 182195 | 176152 | 230581 0 | 510 | 4 1357.21/1357.64 c 1352s | 16 | 182289 | 176252 | 230581 0 | 510 | 4 1359.51/1359.94 c 1354s | 16 | 182419 | 176352 | 230581 0 | 510 | 4 1361.71/1362.10 c 1357s | 16 | 182500 | 176452 | 230581 0 | 510 | 4 1363.81/1364.29 c 1359s | 16 | 182614 | 176552 | 230581 0 | 510 | 4 1366.01/1366.42 c 1361s | 16 | 182685 | 176652 | 230581 0 | 510 | 4 1369.61/1370.05 c 1365s | 16 | 182902 | 176852 | 230581 0 | 510 | 4 1372.81/1373.26 c 1368s | 16 | 183090 | 177052 | 230581 0 | 510 | 4 1376.92/1377.39 c 1372s | 16 | 183458 | 177352 | 230581 0 | 510 | 4 1379.12/1379.57 c 1374s | 16 | 183738 | 177652 | 230581 0 | 510 | 4 1381.71/1382.10 c 1377s | 16 | 183938 | 177852 | 230581 0 | 510 | 4 1384.61/1385.01 c 1379s | 16 | 184145 | 178052 | 230581 0 | 510 | 4 1387.91/1388.32 c 1383s | 16 | 184346 | 178252 | 230581 0 | 510 | 4 1391.71/1392.11 c 1387s | 16 | 184524 | 178452 | 230581 0 | 510 | 4 1395.61/1396.04 c 1391s | 16 | 184719 | 178652 | 230581 0 | 510 | 4 1399.51/1399.99 c 1394s | 16 | 184930 | 178852 | 230581 0 | 510 | 4 1401.60/1402.05 c 1397s | 16 | 185041 | 178952 | 230581 0 | 510 | 4 1403.90/1404.31 c 1399s | 16 | 185157 | 179052 | 230581 0 | 510 | 4 1406.20/1406.64 c 1401s | 16 | 185216 | 179152 | 230581 0 | 510 | 4 1408.30/1408.75 c 1403s | 16 | 185337 | 179252 | 230581 0 | 510 | 4 1410.80/1411.24 c 1406s | 16 | 185462 | 179352 | 230581 0 | 510 | 4 1413.00/1413.50 c 1408s | 16 | 185526 | 179452 | 230581 0 | 510 | 4 1415.50/1415.93 c 1410s | 16 | 185657 | 179552 | 230581 0 | 510 | 4 1417.90/1418.39 c 1413s | 16 | 185724 | 179652 | 230581 0 | 510 | 4 1420.40/1420.84 c 1415s | 16 | 185858 | 179752 | 230581 0 | 510 | 4 1422.80/1423.22 c 1418s | 16 | 185924 | 179852 | 230581 0 | 510 | 4 1425.10/1425.57 c 1420s | 16 | 186051 | 179952 | 230581 0 | 510 | 4 1427.60/1428.02 c 1423s | 16 | 186114 | 180052 | 230581 0 | 510 | 4 1429.71/1430.15 c 1425s | 16 | 186235 | 180152 | 230581 0 | 510 | 4 1432.00/1432.43 c 1427s | 16 | 186353 | 180252 | 230581 0 | 510 | 4 1434.40/1434.81 c 1429s | 16 | 186410 | 180352 | 230581 0 | 510 | 4 1436.40/1436.83 c 1431s | 16 | 186522 | 180452 | 230581 0 | 510 | 4 1438.41/1438.88 c 1433s | 16 | 186630 | 180552 | 230581 0 | 510 | 4 1440.50/1440.93 c 1435s | 16 | 186734 | 180652 | 230581 0 | 510 | 4 1442.50/1442.99 c 1437s | 16 | 186835 | 180752 | 230581 0 | 510 | 4 1446.50/1446.92 c 1441s | 16 | 187022 | 180952 | 230581 0 | 510 | 4 1450.00/1450.49 c 1445s | 16 | 187233 | 181152 | 230581 0 | 510 | 4 1453.50/1453.91 c 1448s | 16 | 187418 | 181352 | 230581 0 | 510 | 4 1456.40/1456.81 c 1451s | 16 | 187635 | 181552 | 230581 0 | 510 | 4 1458.60/1459.08 c 1454s | 16 | 187823 | 181752 | 230581 0 | 510 | 4 1460.89/1461.36 c 1456s | 16 | 188267 | 182152 | 230581 0 | 510 | 4 1462.99/1463.45 c 1458s | 16 | 188680 | 182552 | 230581 0 | 510 | 4 1465.49/1465.97 c 1460s | 16 | 188973 | 182852 | 230581 0 | 510 | 4 1467.59/1468.07 c 1463s | 16 | 189144 | 183052 | 230581 0 | 510 | 4 1469.89/1470.32 c 1465s | 16 | 189381 | 183252 | 230581 0 | 510 | 4 1472.50/1472.94 c 1467s | 16 | 189587 | 183452 | 230581 0 | 510 | 4 1475.09/1475.51 c 1470s | 16 | 189753 | 183652 | 230581 0 | 510 | 4 1477.89/1478.36 c 1473s | 16 | 189976 | 183852 | 230581 0 | 510 | 4 1480.49/1480.96 c 1475s | 16 | 190178 | 184052 | 230581 0 | 510 | 4 1482.69/1483.16 c 1478s | 16 | 190366 | 184252 | 230581 0 | 510 | 4 1484.89/1485.36 c 1480s | 16 | 190577 | 184452 | 230581 0 | 510 | 4 1487.49/1487.91 c 1482s | 16 | 190863 | 184752 | 230581 0 | 510 | 4 1489.69/1490.15 c 1485s | 16 | 191256 | 185152 | 230581 0 | 510 | 4 1492.19/1492.65 c 1487s | 16 | 191700 | 185552 | 230581 0 | 510 | 4 1494.29/1494.71 c 1489s | 16 | 191875 | 185752 | 230581 0 | 510 | 4 1496.70/1497.19 c 1492s | 16 | 192100 | 185952 | 230581 0 | 510 | 4 1499.49/1499.92 c 1494s | 16 | 192291 | 186152 | 230581 0 | 510 | 4 1502.59/1503.03 c 1498s | 16 | 192462 | 186352 | 230581 0 | 510 | 4 1505.49/1505.92 c 1500s | 16 | 192662 | 186552 | 230581 0 | 510 | 4 1508.09/1508.52 c 1503s | 16 | 192869 | 186752 | 230581 0 | 510 | 4 1510.39/1510.80 c 1505s | 16 | 193066 | 186952 | 230581 0 | 510 | 4 1512.59/1513.05 c 1508s | 16 | 193363 | 187252 | 230581 0 | 510 | 4 1514.79/1515.24 c 1510s | 16 | 193989 | 187852 | 230581 0 | 510 | 4 1516.79/1517.26 c 1512s | 16 | 194593 | 188452 | 230581 0 | 510 | 4 1518.79/1519.28 c 1514s | 16 | 195592 | 189452 | 230581 0 | 510 | 4 1520.99/1521.48 c 1516s | 16 | 196398 | 190252 | 230581 0 | 510 | 4 1523.09/1523.58 c 1518s | 16 | 197113 | 190952 | 230581 0 | 510 | 4 1525.29/1525.75 c 1520s | 16 | 197791 | 191652 | 230581 0 | 510 | 4 1527.59/1528.08 c 1523s | 16 | 198514 | 192352 | 230581 0 | 510 | 4 1529.98/1530.43 c 1525s | 16 | 199101 | 192952 | 230581 0 | 510 | 4 1532.08/1532.58 c 1527s | 16 | 199610 | 193452 | 230581 0 | 510 | 4 1534.78/1535.24 c 1530s | 16 | 200213 | 194052 | 230581 0 | 510 | 4 1537.28/1537.71 c 1532s | 16 | 200725 | 194552 | 230581 0 | 510 | 4 1539.48/1539.92 c 1534s | 16 | 201209 | 195052 | 230581 0 | 510 | 4 1541.48/1541.92 c 1536s | 16 | 201516 | 195352 | 230581 0 | 510 | 4 1543.58/1544.06 c 1539s | 16 | 201908 | 195752 | 230581 0 | 510 | 4 1545.78/1546.26 c 1541s | 16 | 202328 | 196152 | 253640 0 | 510 | 4 1548.49/1548.96 c 1543s | 16 | 202814 | 196652 | 253640 0 | 510 | 4 1550.98/1551.47 c 1546s | 16 | 203123 | 196952 | 253640 0 | 510 | 4 1553.68/1554.16 c 1549s | 16 | 203527 | 197352 | 253640 0 | 510 | 4 1554.58/1555.01 c 1550s | 17 | 203596 | 197432 | 253640 0 | 510 | 4 1558.98/1559.41 c 1554s | 17 | 203740 | 197532 | 253640 0 | 510 | 4 1560.98/1561.48 c 1556s | 17 | 203847 | 197632 | 253640 0 | 510 | 4 1563.79/1564.29 c 1559s | 17 | 203986 | 197732 | 253640 0 | 510 | 4 1567.08/1567.57 c 1562s | 17 | 204056 | 197832 | 253640 0 | 510 | 4 1569.98/1570.43 c 1565s | 17 | 204187 | 197932 | 253640 0 | 510 | 4 1573.18/1573.62 c 1568s | 17 | 204253 | 198032 | 253640 0 | 510 | 4 1575.78/1576.28 c 1571s | 17 | 204381 | 198132 | 253640 0 | 510 | 4 1579.18/1579.67 c 1574s | 17 | 204500 | 198232 | 253640 0 | 510 | 4 1581.88/1582.34 c 1577s | 17 | 204556 | 198332 | 253640 0 | 510 | 4 1584.38/1584.88 c 1579s | 17 | 204664 | 198432 | 253640 0 | 510 | 4 1586.98/1587.40 c 1582s | 17 | 204769 | 198532 | 253640 0 | 510 | 4 1589.37/1589.87 c 1584s | 17 | 204869 | 198632 | 253640 0 | 510 | 4 1591.87/1592.39 c 1587s | 17 | 204960 | 198732 | 253640 0 | 510 | 4 1594.27/1594.79 c 1589s | 17 | 205053 | 198832 | 253640 0 | 510 | 4 1596.37/1596.87 c 1591s | 17 | 205185 | 198932 | 253640 0 | 510 | 4 1598.57/1599.08 c 1594s | 17 | 205269 | 199032 | 253640 0 | 510 | 4 1600.67/1601.11 c 1596s | 17 | 205379 | 199132 | 253640 0 | 510 | 4 1602.67/1603.14 c 1598s | 17 | 205461 | 199232 | 253640 0 | 510 | 4 1606.47/1606.96 c 1601s | 17 | 205678 | 199432 | 253640 0 | 510 | 4 1609.77/1610.27 c 1605s | 17 | 205857 | 199632 | 253640 0 | 510 | 4 1613.38/1613.84 c 1608s | 17 | 206181 | 199932 | 253640 0 | 510 | 4 1615.87/1616.34 c 1611s | 17 | 206370 | 200032 | 253640 0 | 510 | 4 1618.67/1619.10 c 1614s | 17 | 206442 | 200132 | 253640 0 | 510 | 4 1621.87/1622.36 c 1617s | 17 | 206513 | 200232 | 253640 0 | 510 | 4 1625.07/1625.58 c 1620s | 17 | 206613 | 200332 | 253640 0 | 510 | 4 1627.68/1628.17 c 1623s | 17 | 206748 | 200432 | 253640 0 | 510 | 4 1630.77/1631.29 c 1626s | 17 | 206815 | 200532 | 253640 0 | 510 | 4 1633.27/1633.74 c 1628s | 17 | 206942 | 200632 | 253640 0 | 510 | 4 1636.07/1636.52 c 1631s | 17 | 207026 | 200732 | 253640 0 | 510 | 4 1638.27/1638.76 c 1633s | 17 | 207144 | 200832 | 253640 0 | 510 | 4 1640.67/1641.18 c 1636s | 17 | 207257 | 200932 | 253640 0 | 510 | 4 1642.97/1643.42 c 1638s | 17 | 207312 | 201032 | 253640 0 | 510 | 4 1646.57/1647.01 c 1642s | 17 | 207521 | 201232 | 253640 0 | 510 | 4 1649.47/1649.98 c 1644s | 17 | 207716 | 201432 | 253640 0 | 510 | 4 1651.66/1652.19 c 1647s | 17 | 207924 | 201632 | 253640 0 | 510 | 4 1655.17/1655.67 c 1650s | 17 | 208166 | 201832 | 253640 0 | 510 | 4 1658.47/1658.99 c 1653s | 17 | 208231 | 201932 | 253640 0 | 510 | 4 1661.26/1661.76 c 1656s | 17 | 208359 | 202032 | 253640 0 | 510 | 4 1664.76/1665.29 c 1660s | 17 | 208482 | 202132 | 253640 0 | 510 | 4 1667.17/1667.64 c 1662s | 17 | 208542 | 202232 | 253640 0 | 510 | 4 1669.96/1670.44 c 1665s | 17 | 208662 | 202332 | 253640 0 | 510 | 4 1672.96/1673.48 c 1668s | 17 | 208775 | 202432 | 253640 0 | 510 | 4 1675.46/1675.99 c 1670s | 17 | 208830 | 202532 | 253640 0 | 510 | 4 1677.86/1678.37 c 1673s | 17 | 208937 | 202632 | 253640 0 | 510 | 4 1680.26/1680.72 c 1675s | 17 | 209040 | 202732 | 253640 0 | 510 | 4 1682.57/1683.03 c 1678s | 17 | 209140 | 202832 | 253640 0 | 510 | 4 1684.77/1685.29 c 1680s | 17 | 209236 | 202932 | 253640 0 | 510 | 4 1687.07/1687.52 c 1682s | 17 | 209339 | 203032 | 253640 0 | 510 | 4 1689.17/1689.69 c 1684s | 17 | 209438 | 203132 | 253640 0 | 510 | 4 1691.37/1691.88 c 1686s | 17 | 209533 | 203232 | 253640 0 | 510 | 4 1693.57/1694.00 c 1688s | 17 | 209662 | 203332 | 253640 0 | 510 | 4 1696.46/1696.97 c 1691s | 17 | 209851 | 203532 | 253640 0 | 510 | 4 1699.36/1699.90 c 1694s | 17 | 210053 | 203732 | 253640 0 | 510 | 4 1701.76/1702.23 c 1697s | 17 | 210495 | 204132 | 253640 0 | 510 | 4 1704.16/1704.64 c 1699s | 17 | 210563 | 204232 | 253640 0 | 510 | 4 1707.86/1708.35 c 1703s | 17 | 210629 | 204332 | 253640 0 | 510 | 4 1710.46/1710.91 c 1705s | 17 | 210758 | 204432 | 253640 0 | 510 | 4 1713.76/1714.23 c 1709s | 17 | 210883 | 204532 | 253640 0 | 510 | 4 1716.46/1716.91 c 1711s | 17 | 210944 | 204632 | 253640 0 | 510 | 4 1719.25/1719.71 c 1714s | 17 | 211070 | 204732 | 253640 0 | 510 | 4 1722.65/1723.18 c 1718s | 17 | 211135 | 204832 | 253640 0 | 510 | 4 1725.35/1725.90 c 1720s | 17 | 211260 | 204932 | 253640 0 | 510 | 4 1728.55/1729.08 c 1724s | 17 | 211381 | 205032 | 253640 0 | 510 | 4 1731.55/1732.03 c 1727s | 17 | 211440 | 205132 | 253640 0 | 510 | 4 1734.05/1734.56 c 1729s | 17 | 211550 | 205232 | 253640 0 | 510 | 4 1736.35/1736.80 c 1731s | 17 | 211656 | 205332 | 253640 0 | 510 | 4 1738.76/1739.24 c 1734s | 17 | 211759 | 205432 | 253640 0 | 510 | 4 1741.05/1741.57 c 1736s | 17 | 211858 | 205532 | 253640 0 | 510 | 4 1743.35/1743.80 c 1738s | 17 | 211953 | 205632 | 253640 0 | 510 | 4 1745.55/1746.02 c 1741s | 17 | 212045 | 205732 | 253640 0 | 510 | 4 1748.75/1749.25 c 1744s | 17 | 212241 | 205932 | 253640 0 | 510 | 4 1751.25/1751.75 c 1746s | 17 | 212448 | 206132 | 253640 0 | 510 | 4 1753.25/1753.78 c 1748s | 17 | 212654 | 206332 | 253640 0 | 510 | 4 1755.45/1755.98 c 1750s | 17 | 213187 | 206832 | 253640 0 | 510 | 4 1757.65/1758.18 c 1753s | 17 | 213491 | 207132 | 253640 0 | 510 | 4 1760.25/1760.79 c 1755s | 17 | 213893 | 207532 | 253640 0 | 510 | 4 1762.55/1763.04 c 1758s | 17 | 214091 | 207732 | 253640 0 | 510 | 4 1764.85/1765.32 c 1760s | 17 | 214396 | 208032 | 253640 0 | 510 | 4 1766.95/1767.40 c 1762s | 17 | 214686 | 208332 | 253640 0 | 510 | 4 1769.85/1770.33 c 1765s | 17 | 214990 | 208632 | 253640 0 | 510 | 4 1771.95/1772.45 c 1767s | 17 | 215188 | 208832 | 253640 0 | 510 | 4 1774.35/1774.82 c 1769s | 17 | 215503 | 209132 | 253640 0 | 510 | 4 1776.65/1777.16 c 1772s | 17 | 215786 | 209432 | 253640 0 | 510 | 4 1779.25/1779.76 c 1774s | 17 | 216078 | 209732 | 253640 0 | 510 | 4 1781.75/1782.28 c 1777s | 17 | 216298 | 209932 | 253640 0 | 510 | 4 1783.85/1784.32 c 1779s | 17 | 216578 | 210232 | 253640 0 | 510 | 4 1786.05/1786.57 c 1781s | 17 | 216778 | 210432 | 253640 0 | 510 | 4 1788.34/1788.89 c 1783s | 17 | 217092 | 210732 | 253640 0 | 510 | 4 1790.94/1791.48 c 1786s | 17 | 217389 | 211032 | 253640 0 | 510 | 4 1793.84/1794.32 c 1789s | 17 | 217599 | 211232 | 253640 0 | 510 | 4 1795.95/1796.45 c 1791s | 17 | 217779 | 211432 | 253640 0 | 510 | 4 1798.24/1798.73 c 1793s | 17 | 218099 | 211732 | 253640 0 | 510 | 4
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-4119789-1467278287/watcher-4119789-1467278287 -o /tmp/evaluation-result-4119789-1467278287/solver-4119789-1467278287 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467270914-16868 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119789-1467278287.opb pid=17907 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17910 /proc/meminfo: memFree=27238668/32872528 swapFree=7620/7620 [pid=17910] ppid=17907 vsize=788924 CPUtime=0 cores=0,2,4,6 /proc/17910/stat : 17910 (toysat) R 17907 17910 16554 0 -1 4202496 2956 0 0 0 0 0 0 0 20 0 4 0 8724885 807858176 3317 33554432000 4194304 16246674 140735009904416 140735009903840 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17910/statm: 197999 3326 441 2943 0 194893 0 [pid=17910/tid=17911] ppid=17907 vsize=807356 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17911/stat : 17911 (toysat) S 17907 17910 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8724885 826732544 3388 33554432000 4194304 16246674 140735009904416 139683885460720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17910/tid=17912] ppid=17907 vsize=812476 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17912/stat : 17912 (toysat) S 17907 17910 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8724885 831975424 3406 33554432000 4194304 16246674 140735009904416 139683874970864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17910/tid=17913] ppid=17907 vsize=816572 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17913/stat : 17913 (toysat) S 17907 17910 16554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8724885 836169728 3422 33554432000 4194304 16246674 140735009904416 139683864497328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100167 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17910 /proc/meminfo: memFree=27238668/32872528 swapFree=7620/7620 [pid=17910] ppid=17907 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/17910/stat : 17910 (toysat) R 17907 17910 16554 0 -1 4202496 30221 0 0 0 6 3 0 0 20 0 4 0 8724885 1333334016 30521 33554432000 4194304 16246674 140735009904416 140735009903728 7368729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17910/statm: 325521 30536 800 2943 0 322415 0 [pid=17910/tid=17911] ppid=17907 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17911/stat : 17911 (toysat) S 17907 17910 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8724885 1333334016 30548 33554432000 4194304 16246674 140735009904416 139683885460720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17910/tid=17912] ppid=17907 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17912/stat : 17912 (toysat) S 17907 17910 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8724885 1333334016 30560 33554432000 4194304 16246674 140735009904416 139683874970864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17910/tid=17913] ppid=17907 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17913/stat : 17913 (toysat) S 17907 17910 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8724885 1333334016 30571 33554432000 4194304 16246674 140735009904416 139683864497328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200527 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17910 /proc/meminfo: memFree=27238668/32872528 swapFree=7620/7620 [pid=17910] ppid=17907 vsize=1312324 CPUtime=0.19 cores=0,2,4,6 /proc/17910/stat : 17910 (toysat) R 17907 17910 16554 0 -1 4202496 46254 0 0 0 14 5 0 0 20 0 4 0 8724885 1343819776 47064 33554432000 4194304 16246674 140735009904416 140735009903728 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17910/statm: 328081 47064 800 2943 0 324975 0 [pid=17910/tid=17911] ppid=17907 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17911/stat : 17911 (toysat) S 17907 17910 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8724885 1343819776 47064 33554432000 4194304 16246674 140735009904416 139683885460720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17910/tid=17912] ppid=17907 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17912/stat : 17912 (toysat) S 17907 17910 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8724885 1343819776 47064 33554432000 4194304 16246674 140735009904416 139683874970864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17910/tid=17913] ppid=17907 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17913/stat : 17913 (toysat) S 17907 17910 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8724885 1343819776 47064 33554432000 4194304 16246674 140735009904416 139683864497328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1312324 [startup+0.3005 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17910 /proc/meminfo: memFree=27238668/32872528 swapFree=7620/7620 [pid=17910] ppid=17907 vsize=1312324 CPUtime=0.29 cores=0,2,4,6 /proc/17910/stat : 17910 (toysat) R 17907 17910 16554 0 -1 4202496 49533 0 0 0 23 6 0 0 20 0 4 0 8724885 1343819776 50343 33554432000 4194304 16246674 140735009904416 140735009903728 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17910/statm: 328081 50343 800 2943 0 324975 0 [pid=17910/tid=17911] ppid=17907 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17911/stat : 17911 (toysat) S 17907 17910 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8724885 1343819776 50343 33554432000 4194304 16246674 140735009904416 139683885460720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17910/tid=17912] ppid=17907 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17912/stat : 17912 (toysat) S 17907 17910 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8724885 1343819776 50343 33554432000 4194304 16246674 140735009904416 139683874970864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17910/tid=17913] ppid=17907 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17913/stat : 17913 (toysat) S 17907 17910 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8724885 1343819776 50343 33554432000 4194304 16246674 140735009904416 139683864497328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1312324 [startup+0.70041 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17910 /proc/meminfo: memFree=27238668/32872528 swapFree=7620/7620 [pid=17910] ppid=17907 vsize=1312324 CPUtime=0.69 cores=0,2,4,6 /proc/17910/stat : 17910 (toysat) R 17907 17910 16554 0 -1 4202496 62988 0 0 0 62 7 0 0 20 0 4 0 8724885 1343819776 63799 33554432000 4194304 16246674 140735009904416 140735009903728 7853005 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17910/statm: 328081 63817 801 2943 0 324975 0 [pid=17910/tid=17911] ppid=17907 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17911/stat : 17911 (toysat) S 17907 17910 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8724885 1343819776 63829 33554432000 4194304 16246674 140735009904416 139683885460720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17910/tid=17912] ppid=17907 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17912/stat : 17912 (toysat) S 17907 17910 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8724885 1343819776 63840 33554432000 4194304 16246674 140735009904416 139683874970864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17910/tid=17913] ppid=17907 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17913/stat : 17913 (toysat) S 17907 17910 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8724885 1343819776 63851 33554432000 4194304 16246674 140735009904416 139683864497328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1312324 [startup+1.50039 s] /proc/loadavg: 2.00 2.00 2.00 3/183 17914 /proc/meminfo: memFree=26944620/32872528 swapFree=7620/7620 [pid=17910] ppid=17907 vsize=1377860 CPUtime=1.49 cores=0,2,4,6 /proc/17910/stat : 17910 (toysat) R 17907 17910 16554 0 -1 4202496 149780 0 0 0 131 18 0 0 20 0 4 0 8724885 1410928640 150590 33554432000 4194304 16246674 140735009904416 140735009887408 6958465 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17910/statm: 344465 150601 831 2943 0 341359 0 [pid=17910/tid=17911] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17911/stat : 17911 (toysat) S 17907 17910 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 150608 33554432000 4194304 16246674 140735009904416 139683885460720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17910/tid=17912] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17912/stat : 17912 (toysat) S 17907 17910 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 150615 33554432000 4194304 16246674 140735009904416 139683874970864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17910/tid=17913] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17913/stat : 17913 (toysat) S 17907 17910 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 150622 33554432000 4194304 16246674 140735009904416 139683864497328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1377860 [startup+3.10042 s] /proc/loadavg: 2.00 2.00 2.00 3/183 17914 /proc/meminfo: memFree=26145440/32872528 swapFree=7620/7620 [pid=17910] ppid=17907 vsize=1377860 CPUtime=3.09 cores=0,2,4,6 /proc/17910/stat : 17910 (toysat) R 17907 17910 16554 0 -1 4202496 272666 0 0 0 275 34 0 0 20 0 4 0 8724885 1410928640 273476 33554432000 4194304 16246674 140735009904416 140735009903592 5563312 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17910/statm: 344465 273476 834 2943 0 341359 0 [pid=17910/tid=17911] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17911/stat : 17911 (toysat) S 17907 17910 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 273476 33554432000 4194304 16246674 140735009904416 139683885460720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17910/tid=17912] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17912/stat : 17912 (toysat) S 17907 17910 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 273476 33554432000 4194304 16246674 140735009904416 139683874970864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17910/tid=17913] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17913/stat : 17913 (toysat) S 17907 17910 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 273476 33554432000 4194304 16246674 140735009904416 139683864497328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1377860 [startup+6.30041 s] /proc/loadavg: 2.00 2.00 2.00 3/182 17914 /proc/meminfo: memFree=26105184/32872528 swapFree=7620/7620 [pid=17910] ppid=17907 vsize=1377860 CPUtime=6.29 cores=0,2,4,6 /proc/17910/stat : 17910 (toysat) R 17907 17910 16554 0 -1 4202496 282870 0 0 0 594 35 0 0 20 0 4 0 8724885 1410928640 283680 33554432000 4194304 16246674 140735009904416 140735009886336 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17910/statm: 344465 283680 913 2943 0 341359 0 [pid=17910/tid=17911] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17911/stat : 17911 (toysat) S 17907 17910 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 283680 33554432000 4194304 16246674 140735009904416 139683885460720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17910/tid=17912] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17912/stat : 17912 (toysat) S 17907 17910 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 283680 33554432000 4194304 16246674 140735009904416 139683874970864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17910/tid=17913] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17913/stat : 17913 (toysat) S 17907 17910 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 283680 33554432000 4194304 16246674 140735009904416 139683864497328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1377860 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 2.00 3/183 17915 /proc/meminfo: memFree=26105832/32872528 swapFree=7620/7620 [pid=17910] ppid=17907 vsize=1377860 CPUtime=12.69 cores=0,2,4,6 /proc/17910/stat : 17910 (toysat) R 17907 17910 16554 0 -1 4202496 282872 0 0 0 1234 35 0 0 20 0 4 0 8724885 1410928640 283682 33554432000 4194304 16246674 140735009904416 140735009886336 5823170 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17910/statm: 344465 283682 915 2943 0 341359 0 [pid=17910/tid=17911] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17911/stat : 17911 (toysat) S 17907 17910 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 283682 33554432000 4194304 16246674 140735009904416 139683885460720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17910/tid=17912] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17912/stat : 17912 (toysat) S 17907 17910 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 283682 33554432000 4194304 16246674 140735009904416 139683874970864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17910/tid=17913] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17913/stat : 17913 (toysat) S 17907 17910 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 283682 33554432000 4194304 16246674 140735009904416 139683864497328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1377860 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 2.00 3/183 17915 /proc/meminfo: memFree=26053544/32872528 swapFree=7620/7620 [pid=17910] ppid=17907 vsize=1377860 CPUtime=25.48 cores=0,2,4,6 /proc/17910/stat : 17910 (toysat) R 17907 17910 16554 0 -1 4202496 282872 0 0 0 2513 35 0 0 20 0 4 0 8724885 1410928640 283682 33554432000 4194304 16246674 140735009904416 140735009886336 5823367 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17910/statm: 344465 283682 915 2943 0 341359 0 [pid=17910/tid=17911] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17911/stat : 17911 (toysat) S 17907 17910 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 283682 33554432000 4194304 16246674 140735009904416 139683885460720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17910/tid=17912] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17912/stat : 17912 (toysat) S 17907 17910 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 283682 33554432000 4194304 16246674 140735009904416 139683874970864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17910/tid=17913] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17913/stat : 17913 (toysat) S 17907 17910 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 283682 33554432000 4194304 16246674 140735009904416 139683864497328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1377860 [startup+51.1005 s] /proc/loadavg: 2.00 2.00 2.00 3/183 17915 /proc/meminfo: memFree=26053644/32872528 swapFree=7620/7620 [pid=17910] ppid=17907 vsize=1377860 CPUtime=51.08 cores=0,2,4,6 /proc/17910/stat : 17910 (toysat) R 17907 17910 16554 0 -1 4202496 282872 0 0 0 5073 35 0 0 20 0 4 0 8724885 1410928640 283682 33554432000 4194304 16246674 140735009904416 140735009886336 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17910/statm: 344465 283682 915 2943 0 341359 0 [pid=17910/tid=17911] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17911/stat : 17911 (toysat) S 17907 17910 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 283682 33554432000 4194304 16246674 140735009904416 139683885460720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17910/tid=17912] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17912/stat : 17912 (toysat) S 17907 17910 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 283682 33554432000 4194304 16246674 140735009904416 139683874970864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17910/tid=17913] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17913/stat : 17913 (toysat) S 17907 17910 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 283682 33554432000 4194304 16246674 140735009904416 139683864497328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1377860 [startup+102.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 17916 /proc/meminfo: memFree=25982568/32872528 swapFree=7620/7620 [pid=17910] ppid=17907 vsize=1377860 CPUtime=102.28 cores=0,2,4,6 /proc/17910/stat : 17910 (toysat) R 17907 17910 16554 0 -1 4202496 285171 0 0 0 10192 36 0 0 20 0 4 0 8724885 1410928640 285981 33554432000 4194304 16246674 140735009904416 140735009886336 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17910/statm: 344465 285981 918 2943 0 341359 0 [pid=17910/tid=17911] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17911/stat : 17911 (toysat) S 17907 17910 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285981 33554432000 4194304 16246674 140735009904416 139683885460720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17910/tid=17912] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17912/stat : 17912 (toysat) S 17907 17910 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285981 33554432000 4194304 16246674 140735009904416 139683874970864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17910/tid=17913] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17913/stat : 17913 (toysat) S 17907 17910 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285981 33554432000 4194304 16246674 140735009904416 139683864497328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1377860 ################ # More data... # ################ /proc/17910/task/17913/stat : 17913 (toysat) S 17907 17910 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683864497328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1377860 [startup+1362.3 s] /proc/loadavg: 2.24 2.10 2.02 4/184 17999 /proc/meminfo: memFree=26614588/32872528 swapFree=7620/7620 [pid=17910] ppid=17907 vsize=1377860 CPUtime=1361.91 cores=0,2,4,6 /proc/17910/stat : 17910 (toysat) R 17907 17910 16554 0 -1 4202496 285551 0 0 0 136154 37 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 140735009886336 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17910/statm: 344465 285984 918 2943 0 341359 0 [pid=17910/tid=17911] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17911/stat : 17911 (toysat) S 17907 17910 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683885460720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17910/tid=17912] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17912/stat : 17912 (toysat) S 17907 17910 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683874970864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17910/tid=17913] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17913/stat : 17913 (toysat) S 17907 17910 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683864497328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1377860 [startup+1422.3 s] /proc/loadavg: 2.15 2.09 2.02 4/183 18000 /proc/meminfo: memFree=26614240/32872528 swapFree=7620/7620 [pid=17910] ppid=17907 vsize=1377860 CPUtime=1421.91 cores=0,2,4,6 /proc/17910/stat : 17910 (toysat) R 17907 17910 16554 0 -1 4202496 285551 0 0 0 142154 37 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 140735009886336 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17910/statm: 344465 285984 918 2943 0 341359 0 [pid=17910/tid=17911] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17911/stat : 17911 (toysat) S 17907 17910 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683885460720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17910/tid=17912] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17912/stat : 17912 (toysat) S 17907 17910 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683874970864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17910/tid=17913] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17913/stat : 17913 (toysat) S 17907 17910 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683864497328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1377860 [startup+1482.3 s] /proc/loadavg: 2.09 2.09 2.02 4/183 18001 /proc/meminfo: memFree=26614272/32872528 swapFree=7620/7620 [pid=17910] ppid=17907 vsize=1377860 CPUtime=1481.89 cores=0,2,4,6 /proc/17910/stat : 17910 (toysat) R 17907 17910 16554 0 -1 4202496 285551 0 0 0 148152 37 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 140735009886336 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17910/statm: 344465 285984 918 2943 0 341359 0 [pid=17910/tid=17911] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17911/stat : 17911 (toysat) S 17907 17910 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683885460720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17910/tid=17912] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17912/stat : 17912 (toysat) S 17907 17910 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683874970864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17910/tid=17913] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17913/stat : 17913 (toysat) S 17907 17910 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683864497328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1377860 [startup+1542.31 s] /proc/loadavg: 2.10 2.10 2.03 4/183 18003 /proc/meminfo: memFree=26613928/32872528 swapFree=7620/7620 [pid=17910] ppid=17907 vsize=1377860 CPUtime=1541.89 cores=0,2,4,6 /proc/17910/stat : 17910 (toysat) R 17907 17910 16554 0 -1 4202496 285551 0 0 0 154152 37 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 140735009886336 5823666 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17910/statm: 344465 285984 918 2943 0 341359 0 [pid=17910/tid=17911] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17911/stat : 17911 (toysat) S 17907 17910 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683885460720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17910/tid=17912] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17912/stat : 17912 (toysat) S 17907 17910 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683874970864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17910/tid=17913] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17913/stat : 17913 (toysat) S 17907 17910 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683864497328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1377860 [startup+1602.3 s] /proc/loadavg: 2.03 2.08 2.02 4/183 18004 /proc/meminfo: memFree=26613824/32872528 swapFree=7620/7620 [pid=17910] ppid=17907 vsize=1377860 CPUtime=1601.87 cores=0,2,4,6 /proc/17910/stat : 17910 (toysat) R 17907 17910 16554 0 -1 4202496 285551 0 0 0 160150 37 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 140735009886336 5823828 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17910/statm: 344465 285984 918 2943 0 341359 0 [pid=17910/tid=17911] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17911/stat : 17911 (toysat) S 17907 17910 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683885460720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17910/tid=17912] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17912/stat : 17912 (toysat) S 17907 17910 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683874970864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17910/tid=17913] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17913/stat : 17913 (toysat) S 17907 17910 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683864497328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1377860 [startup+1662.3 s] /proc/loadavg: 2.08 2.08 2.02 4/183 18005 /proc/meminfo: memFree=26613672/32872528 swapFree=7620/7620 [pid=17910] ppid=17907 vsize=1377860 CPUtime=1661.86 cores=0,2,4,6 /proc/17910/stat : 17910 (toysat) R 17907 17910 16554 0 -1 4202496 285551 0 0 0 166149 37 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 140735009886336 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17910/statm: 344465 285984 918 2943 0 341359 0 [pid=17910/tid=17911] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17911/stat : 17911 (toysat) S 17907 17910 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683885460720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17910/tid=17912] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17912/stat : 17912 (toysat) S 17907 17910 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683874970864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17910/tid=17913] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17913/stat : 17913 (toysat) S 17907 17910 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683864497328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1377860 [startup+1722.3 s] /proc/loadavg: 2.03 2.06 2.02 4/183 18006 /proc/meminfo: memFree=26613916/32872528 swapFree=7620/7620 [pid=17910] ppid=17907 vsize=1377860 CPUtime=1721.85 cores=0,2,4,6 /proc/17910/stat : 17910 (toysat) R 17907 17910 16554 0 -1 4202496 285551 0 0 0 172148 37 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 140735009886336 5672184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17910/statm: 344465 285984 918 2943 0 341359 0 [pid=17910/tid=17911] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17911/stat : 17911 (toysat) S 17907 17910 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683885460720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17910/tid=17912] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17912/stat : 17912 (toysat) S 17907 17910 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683874970864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17910/tid=17913] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17913/stat : 17913 (toysat) S 17907 17910 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683864497328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1377860 [startup+1782.3 s] /proc/loadavg: 2.07 2.06 2.02 4/183 18007 /proc/meminfo: memFree=26613300/32872528 swapFree=7620/7620 [pid=17910] ppid=17907 vsize=1377860 CPUtime=1781.85 cores=0,2,4,6 /proc/17910/stat : 17910 (toysat) R 17907 17910 16554 0 -1 4202496 285551 0 0 0 178148 37 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 140735009886336 12483464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17910/statm: 344465 285984 918 2943 0 341359 0 [pid=17910/tid=17911] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17911/stat : 17911 (toysat) S 17907 17910 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683885460720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17910/tid=17912] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17912/stat : 17912 (toysat) S 17907 17910 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683874970864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17910/tid=17913] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17913/stat : 17913 (toysat) S 17907 17910 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683864497328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1377860 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.05 2.06 2.01 4/183 18007 /proc/meminfo: memFree=26614160/32872528 swapFree=7620/7620 [pid=17910] ppid=17907 vsize=1377860 CPUtime=1800.04 cores=0,2,4,6 /proc/17910/stat : 17910 (toysat) R 17907 17910 16554 0 -1 4202496 285551 0 0 0 179967 37 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 140735009886336 5711908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17910/statm: 344465 285984 918 2943 0 341359 0 [pid=17910/tid=17911] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17911/stat : 17911 (toysat) S 17907 17910 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683885460720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17910/tid=17912] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17912/stat : 17912 (toysat) S 17907 17910 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683874970864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17910/tid=17913] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17913/stat : 17913 (toysat) S 17907 17910 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683864497328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1377860 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 17910 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.05 2.06 2.01 4/183 18007 /proc/meminfo: memFree=26614160/32872528 swapFree=7620/7620 [pid=17910] ppid=17907 vsize=1377860 CPUtime=1800.04 cores=0,2,4,6 /proc/17910/stat : 17910 (toysat) R 17907 17910 16554 0 -1 4202496 285551 0 0 0 179967 37 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 140735009886336 5711908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17910/statm: 344465 285984 918 2943 0 341359 0 [pid=17910/tid=17911] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17911/stat : 17911 (toysat) S 17907 17910 16554 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683885460720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17910/tid=17912] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17912/stat : 17912 (toysat) S 17907 17910 16554 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683874970864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17910/tid=17913] ppid=17907 vsize=1377860 CPUtime=0 cores=0,2,4,6 /proc/17910/task/17913/stat : 17913 (toysat) S 17907 17910 16554 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8724885 1410928640 285984 33554432000 4194304 16246674 140735009904416 139683864497328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1377860 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1799.68 CPU system time (s): 0.375942 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (KiB): 1377860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.68 system time used= 0.375942 maximum resident set size= 1143936 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 285551 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= 397 involuntary context switches= 1839 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.74328 second user time and 6.91995 second system time The end
Begin job on node106 at 2016-06-30 11:18:08 IDJOB=4119789 IDBENCH=111806 IDSOLVER=2542 FILE ID=node106/4119789-1467278287 RUNJOBID= node106-1467270914-16868 PBS_JOBID= 20004487 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-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-4119789-1467278287/watcher-4119789-1467278287 -o /tmp/evaluation-result-4119789-1467278287/solver-4119789-1467278287 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467270914-16868 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119789-1467278287.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 132e69712ce91bab655f76c0277b09e5 RANDOM SEED=551067019 node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 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 : 5332.99 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.495 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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.495 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 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.495 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.495 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 27239196 kB Buffers: 68024 kB Cached: 3076508 kB SwapCached: 0 kB Active: 4006456 kB Inactive: 858076 kB Active(anon): 1706744 kB Inactive(anon): 15776 kB Active(file): 2299712 kB Inactive(file): 842300 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 22828 kB Writeback: 28 kB AnonPages: 1729620 kB Mapped: 18828 kB Shmem: 204 kB Slab: 626080 kB SReclaimable: 69164 kB SUnreclaim: 556916 kB KernelStack: 1464 kB PageTables: 6968 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1864244 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1464320 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= 71708 MiB End job on node106 at 2016-06-30 11:48:08