Trace number 4101465

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.04 1800.44

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-fixnet4.opb
MD5SUM03b4fab8c58cfc4ea6c0d3c2d05c0d91
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables14036
Total number of constraints600
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints600
Minimum length of a constraint19
Maximum length of a constraint1523
Number of terms in the objective function 13668
Biggest coefficient in the objective function 1162
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 535890
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262020
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 535890
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T06:29:33+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4101465-1466224172.opb"]
0.00/0.01	c use --random-gen="2096709666 2778469861 2353999808 2392190313 1012191495 1041451119 2378097393 1134840183 2599931131 2363174641 3202555952 4253010401 3285797417 293483453 4175964118 1796777900 2983904712 664600190 3674570642 3271208910 434994760 1980887834 370150213 1267232447 3372174338 4046034068 2834555735 1729800411 1958022138 2011535020 3960970738 2200851579 1771704822 280589232 525312396 2034483258 627848075 44820921 901382477 4084464509 3123946373 1719789361 1013441947 2619227022 461077657 4286812489 632300794 3466558716 2501639321 1128121963 348758163 2793245403 2154503125 1641567791 2020553416 2854760397 1472299947 168991927 1185118353 2916348317 2163528434 1117384722 3930619711 3133971493 1274261820 4030591657 2765914849 2595555053 769997506 3088324476 2245423318 3744792389 2239092549 4095425723 3021590652 899136153 3878294878 123453453 2360540830 1962067570 83707449 852988890 3068870405 966655269 340962707 4068116770 161355733 3068202102 3732177511 3205887999 295369388 3926481077 4263875758 1259126407 709572189 1142654143 2572867862 2222961927 2597892449 531340690 3535243783 3327549776 3445503956 793127815 817232229 2781396375 3056749765 3306646441 2886984053 2913984966 818427953 4205772870 3915426951 3619096897 540729716 3092754428 515183057 3052646275 1100613391 3395750704 1900595647 1788350815 2734619680 60064273 2699479314 2562461416 4171938672 1343715404 4063952763 2971786788 3181142205 1675420626 3610471125 1013340312 4125801210 3776153976 3724344797 3688953320 916321422 180538640 3964234476 4026257041 3853066285 703651238 2441225263 83249953 2377400452 3672327725 1132722124 2436561061 3326457768 585019674 796801434 2660580113 3372908461 1758148716 2012873490 284372645 2482012687 2341379598 921896954 1920716378 100906751 2661235732 3401523587 1279749035 2924055167 3223318521 2588117603 1271738588 665605223 971860807 4096933622 4004094135 3351509086 3668580397 3203287503 3770181191 260854230 4045172514 1903627802 1542486353 3834768073 2859548564 1895778455 2434224179 1595539873 1957251318 3380446677 3768238052 947564006 253119496 2597987594 187519620 2518311992 1540044984 2383043005 73345795 1982137720 2386465056 655160012 1648400789 4218630727 1718849324 3802963154 885127171 281152203 657075771 4005267117 622374652 2152737751 3399565376 353233394 148077034 951760043 2221661764 2814441338 3167666440 712241992 1931523574 4292412873 4234214307 3004687304 425069952 2316960908 3014989757 1655082797 823601913 2321225269 3006222359 652635852 2755423256 3686452989 1577929889 1510294228 1350068905 522830923 4288796836 1986819707 1853883278 3409600374 471479166 111425078 2937297992 1085814901 607439307 2134253601 1574778640 4288588004 3398029030 2758111448 2534653872 386744165 1824373208 1466918534 442729041 255 362436" option to reproduce the execution
0.09/0.13	c #vars 14036
0.09/0.13	c #constraints 600
0.39/0.49	c BCD2: Hardening is enabled.
0.39/0.49	c BCD2: BiasedSearch is enabled.
0.39/0.49	c Solving starts ...
0.39/0.49	c ============================[ Search Statistics ]============================
0.39/0.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.49	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.76	c =============================================================================
0.69/0.76	c  0.0s |       0 |        0 |        0 |     4912      0 |     6234 |        0
0.69/0.76	c  0.2s |       1 |      953 |      100 |     4912      0 |     6234 |      105
1.20/1.27	c  0.8s |       2 |     1664 |      250 |     5404      0 |     6234 |      105
1.89/1.92	c  1.4s |       3 |     2134 |      475 |     5945      0 |     6234 |      105
2.89/2.97	c  2.5s |       4 |     2819 |      813 |     6540      0 |     6234 |      105
4.49/4.58	c  4.1s |       5 |     3911 |     1320 |     7195      0 |     6234 |      105
6.49/6.51	c  6.0s |       6 |     5251 |     2081 |     8707      0 |     6234 |      105
8.69/8.80	c  8.3s |       6 |     6656 |     2781 |     8707      0 |     6234 |      105
9.99/10.06	c  9.5s |       7 |     7554 |     3223 |     9578      0 |     6234 |      105
12.19/12.26	c 11.7s |       7 |     9393 |     4123 |     9578      0 |     6234 |      105
14.19/14.20	c 13.7s |       8 |    10266 |     4936 |    10536      0 |     6234 |      105
16.49/16.53	c 16.0s |       8 |    12335 |     5336 |    10536      0 |     6234 |      105
18.48/18.58	c 18.1s |       8 |    12642 |     5636 |    10536      0 |     6234 |      105
20.78/20.88	c 20.4s |       8 |    13241 |     6036 |    10536      0 |     6234 |      105
23.09/23.18	c 22.7s |       8 |    14088 |     6536 |    10536      0 |     6234 |      105
25.18/25.28	c 24.8s |       8 |    14666 |     6936 |    10536      0 |     6234 |      105
27.68/27.74	c 27.2s |       8 |    15154 |     7336 |    10536      0 |     6234 |      105
28.69/28.78	c 28.3s |       9 |    15345 |     7506 |    11590      0 |     6234 |      105
30.90/30.91	c 30.4s |       9 |    17326 |     8506 |    11590      0 |     6234 |      105
33.00/33.04	c 32.5s |       9 |    18351 |     9506 |    11590      0 |     6234 |      105
35.09/35.13	c 34.6s |       9 |    19289 |    10406 |    11590      0 |     6234 |      105
37.09/37.14	c 36.6s |       9 |    20056 |    11106 |    11590      0 |     6234 |      105
37.99/38.06	c 37.5s |      10 |    20313 |    11361 |    12750      0 |     6234 |      105
40.38/40.40	c 39.9s |      10 |    22321 |    11861 |    12750      0 |     6234 |      105
42.58/42.64	c 42.1s |      10 |    24376 |    12561 |    12750      0 |     6234 |      105
44.68/44.75	c 44.2s |      10 |    25305 |    13261 |    12750      0 |     6234 |      105
46.78/46.87	c 46.4s |      10 |    26335 |    14061 |    12750      0 |     6234 |      105
48.78/48.89	c 48.4s |      10 |    27208 |    14761 |    12750      0 |     6234 |      105
50.88/50.98	c 50.5s |      10 |    28169 |    15561 |    12750      0 |     6234 |      105
53.08/53.16	c 52.6s |      10 |    29176 |    16361 |    12750      0 |     6234 |      105
55.28/55.35	c 54.8s |      10 |    29899 |    17061 |    14026      0 |     6234 |      105
55.58/55.65	c 55.1s |      11 |    29979 |    17144 |    14026      0 |     6234 |      105
57.68/57.76	c 57.2s |      11 |    31043 |    17744 |    14026      0 |     6234 |      105
59.78/59.86	c 59.3s |      11 |    31899 |    18544 |    14026      0 |     6234 |      105
62.08/62.15	c 61.6s |      11 |    36516 |    19144 |    14026      0 |     6234 |      105
64.08/64.17	c 63.7s |      11 |    36945 |    19544 |    14026      0 |     6234 |      105
66.28/66.31	c 65.8s |      11 |    37362 |    19944 |    14026      0 |     6234 |      105
68.67/68.78	c 68.3s |      11 |    37801 |    20344 |    14026      0 |     6234 |      105
71.07/71.12	c 70.6s |      11 |    38260 |    20744 |    14026      0 |     6234 |      105
73.07/73.18	c 72.7s |      11 |    38703 |    21144 |    14026      0 |     6234 |      105
75.07/75.19	c 74.7s |      11 |    39210 |    21644 |    14026      0 |     6234 |      105
77.37/77.45	c 76.9s |      11 |    39795 |    22244 |    14026      0 |     6234 |      105
79.67/79.70	c 79.2s |      11 |    40398 |    22844 |    14026      0 |     6234 |      105
81.97/82.06	c 81.5s |      11 |    41015 |    23444 |    14026      0 |     6234 |      105
84.47/84.54	c 84.0s |      11 |    41514 |    23944 |    14026      0 |     6234 |      105
86.57/86.67	c 86.2s |      11 |    41912 |    24344 |    14026      0 |     6234 |      105
88.77/88.86	c 88.3s |      11 |    42308 |    24744 |    14026      0 |     6234 |      105
91.28/91.35	c 90.8s |      11 |    42811 |    25244 |    14026      0 |     6234 |      105
93.48/93.51	c 93.0s |      11 |    43208 |    25644 |    14026      0 |     6234 |      105
94.37/94.44	c 93.9s |      12 |    43397 |    25819 |    15429      0 |     6234 |      105
96.67/96.79	c 96.3s |      12 |    45086 |    26019 |    15429      1 |     6234 |      105
98.87/98.98	c 98.5s |      12 |    45600 |    26419 |    15429      1 |     6234 |      105
101.28/101.33	c  100s |      12 |    46028 |    26819 |    15429      1 |     6234 |      105
103.67/103.71	c  103s |      12 |    46525 |    27219 |    15429      1 |     6234 |      105
105.68/105.74	c  105s |      12 |    46928 |    27519 |    15429      1 |     6234 |      105
108.16/108.27	c  107s |      12 |    47407 |    27919 |    15429      1 |     6234 |      105
110.56/110.61	c  110s |      12 |    47816 |    28319 |    15429      1 |     6234 |      105
112.56/112.68	c  112s |      12 |    48214 |    28619 |    15429      1 |     6234 |      105
114.76/114.85	c  114s |      12 |    48600 |    28919 |    15429      1 |     6234 |      105
116.96/117.08	c  116s |      12 |    48964 |    29219 |    15429      1 |     6234 |      105
119.26/119.33	c  118s |      12 |    49323 |    29519 |    15429      1 |     6234 |      105
121.56/121.63	c  121s |      12 |    49657 |    29819 |    15429      1 |     6234 |      105
123.96/124.01	c  123s |      12 |    50003 |    30119 |    15429      1 |     6234 |      105
126.16/126.23	c  125s |      12 |    50337 |    30419 |    15429      1 |     6234 |      105
128.46/128.51	c  127s |      12 |    50665 |    30719 |    15429      1 |     6234 |      105
130.86/130.92	c  130s |      12 |    51023 |    31019 |    15429      1 |     6234 |      105
133.16/133.24	c  132s |      12 |    51397 |    31319 |    15429      1 |     6234 |      105
135.66/135.71	c  135s |      12 |    51769 |    31619 |    15429      1 |     6234 |      105
137.85/137.98	c  137s |      12 |    52191 |    31919 |    15429      1 |     6234 |      105
140.45/140.55	c  140s |      12 |    52622 |    32219 |    15429      1 |     6234 |      105
142.45/142.57	c  142s |      12 |    52825 |    32419 |    15429      1 |     6234 |      105
145.05/145.10	c  144s |      12 |    53156 |    32719 |    15429      1 |     6234 |      105
147.36/147.47	c  146s |      12 |    53481 |    33019 |    15429      1 |     6234 |      105
149.75/149.83	c  149s |      12 |    53809 |    33319 |    15429      1 |     6234 |      105
152.05/152.18	c  151s |      12 |    54125 |    33619 |    15429      1 |     6234 |      105
154.25/154.39	c  153s |      12 |    54435 |    33919 |    15429      1 |     6234 |      105
156.35/156.47	c  155s |      12 |    54750 |    34219 |    15429      1 |     6234 |      105
159.15/159.26	c  158s |      12 |    55193 |    34619 |    15429      1 |     6234 |      105
161.55/161.67	c  161s |      12 |    55536 |    34919 |    15429      1 |     6234 |      105
163.85/163.98	c  163s |      12 |    55866 |    35219 |    15429      1 |     6234 |      105
166.44/166.55	c  166s |      12 |    56239 |    35519 |    15429      1 |     6234 |      105
169.04/169.17	c  168s |      12 |    56573 |    35819 |    15429      1 |     6234 |      105
171.74/171.86	c  171s |      12 |    56933 |    36119 |    15429      1 |     6234 |      105
174.44/174.52	c  174s |      12 |    57316 |    36419 |    15429      1 |     6234 |      105
177.34/177.44	c  176s |      12 |    57734 |    36719 |    15429      1 |     6234 |      105
179.64/179.79	c  179s |      12 |    58121 |    37019 |    15429      1 |     6234 |      105
182.14/182.23	c  181s |      12 |    58515 |    37319 |    15429      1 |     6234 |      105
185.04/185.11	c  184s |      12 |    58882 |    37619 |    15429      1 |     6234 |      105
187.05/187.13	c  186s |      12 |    59119 |    37819 |    15429      1 |     6234 |      105
189.84/189.96	c  189s |      12 |    59530 |    38119 |    15429      1 |     6234 |      105
192.34/192.49	c  191s |      12 |    60364 |    38419 |    15429      1 |     6234 |      105
195.24/195.33	c  194s |      12 |    60775 |    38719 |    16972      1 |     6234 |      105
196.54/196.63	c  196s |      13 |    60895 |    38832 |    16972      1 |     6234 |      105
199.14/199.29	c  198s |      13 |    63232 |    39032 |    16972      2 |     6234 |      105
201.83/201.92	c  201s |      13 |    63441 |    39232 |    16972      2 |     6234 |      105
204.33/204.41	c  203s |      13 |    63705 |    39432 |    16972      2 |     6234 |      105
207.13/207.21	c  206s |      13 |    64041 |    39732 |    16972      2 |     6234 |      105
209.83/209.92	c  209s |      13 |    64260 |    39932 |    16972      2 |     6234 |      105
212.73/212.81	c  212s |      13 |    64511 |    40132 |    16972      2 |     6234 |      105
216.03/216.13	c  215s |      13 |    64727 |    40332 |    16972      2 |     6234 |      105
219.43/219.53	c  219s |      13 |    64932 |    40532 |    16972      2 |     6234 |      105
222.63/222.70	c  222s |      13 |    65167 |    40732 |    16972      2 |     6234 |      105
224.93/225.06	c  224s |      13 |    65405 |    40932 |    16972      2 |     6234 |      105
227.03/227.10	c  226s |      13 |    65612 |    41132 |    16972      2 |     6234 |      105
229.63/229.75	c  229s |      13 |    65955 |    41432 |    16972      2 |     6234 |      105
232.03/232.20	c  231s |      13 |    66256 |    41732 |    16972      2 |     6234 |      105
234.43/234.59	c  234s |      13 |    66559 |    42032 |    16972      2 |     6234 |      105
236.93/237.08	c  236s |      13 |    66928 |    42332 |    16972      2 |     6234 |      105
239.32/239.42	c  238s |      13 |    67376 |    42632 |    16972      2 |     6234 |      105
241.82/242.00	c  241s |      13 |    67734 |    42932 |    16972      2 |     6234 |      105
244.32/244.49	c  243s |      13 |    68192 |    43232 |    16972      2 |     6234 |      105
247.02/247.13	c  246s |      13 |    68568 |    43532 |    16972      2 |     6234 |      105
249.82/249.91	c  249s |      13 |    68872 |    43832 |    16972      2 |     6234 |      105
252.52/252.66	c  252s |      13 |    69214 |    44132 |    16972      2 |     6234 |      105
255.42/255.54	c  255s |      13 |    69518 |    44432 |    16972      2 |     6234 |      105
258.32/258.42	c  257s |      13 |    69819 |    44732 |    16972      2 |     6234 |      105
260.92/261.06	c  260s |      13 |    70131 |    45032 |    16972      2 |     6234 |      105
264.12/264.29	c  263s |      13 |    70455 |    45332 |    16972      2 |     6234 |      105
267.22/267.32	c  266s |      13 |    70663 |    45532 |    16972      2 |     6234 |      105
269.22/269.32	c  268s |      13 |    71030 |    45732 |    16972      2 |     6234 |      105
271.52/271.68	c  271s |      13 |    71588 |    46032 |    16972      2 |     6234 |      105
274.02/274.10	c  273s |      13 |    72179 |    46332 |    16972      2 |     6234 |      105
276.62/276.74	c  276s |      13 |    72746 |    46632 |    16972      2 |     6234 |      105
279.12/279.26	c  278s |      13 |    73262 |    46932 |    16972      2 |     6234 |      105
281.72/281.88	c  281s |      13 |    73881 |    47232 |    16972      2 |     6234 |      105
284.83/284.95	c  284s |      13 |    74337 |    47532 |    16972      2 |     6234 |      105
287.32/287.45	c  286s |      13 |    74794 |    47732 |    16972      2 |     6234 |      105
290.02/290.10	c  289s |      13 |    75419 |    48032 |    16972      2 |     6234 |      105
292.72/292.87	c  292s |      13 |    75906 |    48332 |    16972      2 |     6234 |      105
294.83/294.98	c  294s |      13 |    76241 |    48532 |    16972      2 |     6234 |      105
297.82/297.91	c  297s |      13 |    76805 |    48832 |    16972      2 |     6234 |      105
300.72/300.84	c  300s |      13 |    77313 |    49132 |    16972      2 |     6234 |      105
302.82/302.99	c  302s |      13 |    77689 |    49332 |    16972      2 |     6234 |      105
305.92/306.02	c  305s |      13 |    78258 |    49632 |    16972      2 |     6234 |      105
308.22/308.35	c  307s |      13 |    78511 |    49832 |    16972      2 |     6234 |      105
310.91/311.00	c  310s |      13 |    79037 |    50132 |    16972      2 |     6234 |      105
313.42/313.57	c  313s |      13 |    79615 |    50432 |    16972      2 |     6234 |      105
316.01/316.10	c  315s |      13 |    80222 |    50732 |    16972      2 |     6234 |      105
318.51/318.64	c  318s |      13 |    81027 |    51032 |    16972      2 |     6234 |      105
321.01/321.18	c  320s |      13 |    81569 |    51332 |    16972      2 |     6234 |      105
323.42/323.59	c  323s |      13 |    82186 |    51632 |    16972      2 |     6234 |      105
325.81/325.97	c  325s |      13 |    82801 |    51932 |    16972      2 |     6234 |      105
328.21/328.31	c  327s |      13 |    83324 |    52232 |    16972      2 |     6234 |      105
330.51/330.65	c  330s |      13 |    83778 |    52532 |    16972      2 |     6234 |      105
333.01/333.14	c  332s |      13 |    84316 |    52832 |    16972      2 |     6234 |      105
335.52/335.61	c  335s |      13 |    84960 |    53132 |    16972      2 |     6234 |      105
338.11/338.20	c  337s |      13 |    85650 |    53432 |    16972      2 |     6234 |      105
340.61/340.78	c  340s |      13 |    86140 |    53732 |    16972      2 |     6234 |      105
343.21/343.37	c  342s |      13 |    86663 |    54032 |    16972      2 |     6234 |      105
345.90/346.09	c  345s |      13 |    87067 |    54332 |    16972      2 |     6234 |      105
348.50/348.64	c  348s |      13 |    87692 |    54632 |    16972      2 |     6234 |      105
351.00/351.12	c  350s |      13 |    88241 |    54932 |    16972      2 |     6234 |      105
353.60/353.72	c  353s |      13 |    88877 |    55232 |    16972      2 |     6234 |      105
355.90/356.06	c  355s |      13 |    89170 |    55432 |    16972      2 |     6234 |      105
358.00/358.15	c  357s |      13 |    89521 |    55632 |    16972      2 |     6234 |      105
360.30/360.40	c  359s |      13 |    89942 |    55832 |    16972      2 |     6234 |      105
363.10/363.21	c  362s |      13 |    90506 |    56132 |    16972      2 |     6234 |      105
365.30/365.42	c  364s |      13 |    90853 |    56332 |    16972      2 |     6234 |      105
367.80/367.94	c  367s |      13 |    91334 |    56532 |    16972      3 |     6234 |      105
369.89/370.06	c  369s |      13 |    91728 |    56732 |    16972      3 |     6234 |      105
371.99/372.16	c  371s |      13 |    92059 |    56932 |    16972      3 |     6234 |      105
374.89/375.03	c  374s |      13 |    92577 |    57232 |    16972      3 |     6234 |      105
377.49/377.69	c  377s |      13 |    93241 |    57532 |    16972      3 |     6234 |      105
380.39/380.57	c  380s |      13 |    93718 |    57832 |    16972      3 |     6234 |      105
382.49/382.64	c  382s |      13 |    94041 |    58032 |    18670      3 |     6234 |      105
385.19/385.36	c  384s |      13 |    94580 |    58332 |    18670      3 |     6234 |      105
385.39/385.57	c  385s |      14 |    94613 |    58352 |    18670      3 |     6234 |      105
387.49/387.62	c  387s |      14 |   101159 |    58952 |    18670      3 |     6234 |      105
390.50/390.67	c  390s |      14 |   101715 |    59452 |    18670      3 |     6234 |      105
392.99/393.16	c  392s |      14 |   101948 |    59652 |    18670      3 |     6234 |      105
395.29/395.49	c  394s |      14 |   103021 |    60652 |    18670      3 |     6234 |      105
397.79/398.00	c  397s |      14 |   103464 |    61052 |    18670      3 |     6234 |      105
399.89/400.03	c  399s |      14 |   103674 |    61252 |    18670      3 |     6234 |      105
401.99/402.14	c  401s |      14 |   104305 |    61852 |    18670      3 |     6234 |      105
404.09/404.24	c  403s |      14 |   104995 |    62452 |    18670      3 |     6234 |      105
406.29/406.40	c  405s |      14 |   105327 |    62752 |    18670      3 |     6234 |      105
408.49/408.66	c  408s |      14 |   105802 |    63152 |    18670      3 |     6234 |      105
410.99/411.16	c  410s |      14 |   106140 |    63452 |    18670      3 |     6234 |      105
413.69/413.85	c  413s |      14 |   106508 |    63752 |    18670      3 |     6234 |      105
416.08/416.27	c  415s |      14 |   107006 |    64152 |    18670      3 |     6234 |      105
419.28/419.47	c  418s |      14 |   107351 |    64452 |    18670      3 |     6234 |      105
421.68/421.82	c  421s |      14 |   107553 |    64652 |    18670      3 |     6234 |      105
424.28/424.44	c  423s |      14 |   107754 |    64852 |    18670      3 |     6234 |      105
426.88/427.05	c  426s |      14 |   107957 |    65052 |    18670      3 |     6234 |      105
429.18/429.40	c  428s |      14 |   108160 |    65252 |    18670      3 |     6234 |      105
431.28/431.46	c  430s |      14 |   108795 |    65852 |    18670      3 |     6234 |      105
433.29/433.49	c  432s |      14 |   109308 |    66352 |    18670      3 |     6234 |      105
435.68/435.88	c  435s |      14 |   109508 |    66552 |    18670      3 |     6234 |      105
438.28/438.40	c  437s |      14 |   109715 |    66752 |    18670      3 |     6234 |      105
440.78/440.99	c  440s |      14 |   109919 |    66952 |    18670      3 |     6234 |      105
443.38/443.56	c  443s |      14 |   110129 |    67152 |    18670      3 |     6234 |      105
446.08/446.22	c  445s |      14 |   110451 |    67452 |    18670      3 |     6234 |      105
448.78/448.95	c  448s |      14 |   110798 |    67752 |    18670      3 |     6234 |      105
451.38/451.59	c  451s |      14 |   111009 |    67952 |    18670      3 |     6234 |      105
454.08/454.21	c  453s |      14 |   111214 |    68152 |    18670      3 |     6234 |      105
456.58/456.77	c  456s |      14 |   111422 |    68352 |    18670      3 |     6234 |      105
459.27/459.44	c  458s |      14 |   111632 |    68552 |    18670      3 |     6234 |      105
461.98/462.18	c  461s |      14 |   111837 |    68752 |    18670      3 |     6234 |      105
464.87/465.03	c  464s |      14 |   112035 |    68952 |    18670      3 |     6234 |      105
467.57/467.74	c  467s |      14 |   112237 |    69152 |    18670      3 |     6234 |      105
470.37/470.53	c  470s |      14 |   112436 |    69352 |    18670      3 |     6234 |      105
473.07/473.27	c  472s |      14 |   112638 |    69552 |    18670      3 |     6234 |      105
475.87/476.03	c  475s |      14 |   112840 |    69752 |    18670      3 |     6234 |      105
478.67/478.81	c  478s |      14 |   113041 |    69952 |    18670      3 |     6234 |      105
480.97/481.17	c  480s |      14 |   113505 |    70252 |    18670      3 |     6234 |      105
483.17/483.34	c  482s |      14 |   114013 |    70652 |    18670      3 |     6234 |      105
485.27/485.48	c  484s |      14 |   114677 |    71252 |    18670      3 |     6234 |      105
487.27/487.48	c  486s |      14 |   115305 |    71752 |    18670      3 |     6234 |      105
489.47/489.61	c  489s |      14 |   115522 |    71952 |    18670      3 |     6234 |      105
491.96/492.10	c  491s |      14 |   115735 |    72152 |    18670      3 |     6234 |      105
495.06/495.23	c  494s |      14 |   115940 |    72352 |    18670      4 |     6234 |      105
497.66/497.87	c  497s |      14 |   116647 |    72752 |    18670      4 |     6234 |      105
500.76/500.98	c  500s |      14 |   117026 |    73052 |    18670      4 |     6234 |      105
503.36/503.59	c  503s |      14 |   117416 |    73252 |    18670      4 |     6234 |      105
506.16/506.33	c  505s |      14 |   117627 |    73452 |    18670      4 |     6234 |      105
508.76/508.93	c  508s |      14 |   117933 |    73652 |    18670      4 |     6234 |      105
511.46/511.69	c  511s |      14 |   118132 |    73852 |    18670      4 |     6234 |      105
513.85/514.02	c  513s |      14 |   118711 |    74252 |    18670      4 |     6234 |      105
516.15/516.39	c  515s |      14 |   119086 |    74552 |    18670      4 |     6234 |      105
518.85/519.06	c  518s |      14 |   119293 |    74752 |    18670      4 |     6234 |      105
521.55/521.78	c  521s |      14 |   119493 |    74952 |    18670      4 |     6234 |      105
524.45/524.67	c  524s |      14 |   119697 |    75152 |    18670      4 |     6234 |      105
527.25/527.47	c  526s |      14 |   119897 |    75352 |    18670      4 |     6234 |      105
530.05/530.28	c  529s |      14 |   120100 |    75552 |    18670      4 |     6234 |      105
533.05/533.22	c  532s |      14 |   120300 |    75752 |    18670      4 |     6234 |      105
535.94/536.17	c  535s |      14 |   120506 |    75952 |    18670      4 |     6234 |      105
538.74/539.00	c  538s |      14 |   120710 |    76152 |    18670      4 |     6234 |      105
541.64/541.85	c  541s |      14 |   120916 |    76352 |    18670      4 |     6234 |      105
544.45/544.67	c  544s |      14 |   121122 |    76552 |    18670      4 |     6234 |      105
547.34/547.50	c  546s |      14 |   121322 |    76752 |    18670      4 |     6234 |      105
550.14/550.37	c  549s |      14 |   121525 |    76952 |    18670      4 |     6234 |      105
552.93/553.18	c  552s |      14 |   121724 |    77152 |    18670      4 |     6234 |      105
555.83/556.00	c  555s |      14 |   121933 |    77352 |    18670      4 |     6234 |      105
558.64/558.81	c  558s |      14 |   122140 |    77552 |    18670      4 |     6234 |      105
561.33/561.53	c  561s |      14 |   122343 |    77752 |    18670      4 |     6234 |      105
564.03/564.29	c  563s |      14 |   122552 |    77952 |    18670      4 |     6234 |      105
567.03/567.28	c  566s |      14 |   122758 |    78152 |    18670      4 |     6234 |      105
569.93/570.12	c  569s |      14 |   122967 |    78352 |    18670      4 |     6234 |      105
572.63/572.89	c  572s |      14 |   123167 |    78552 |    18670      4 |     6234 |      105
575.53/575.77	c  575s |      14 |   123367 |    78752 |    18670      4 |     6234 |      105
578.33/578.58	c  578s |      14 |   123692 |    78952 |    18670      4 |     6234 |      105
581.23/581.40	c  580s |      14 |   123893 |    79152 |    18670      4 |     6234 |      105
584.03/584.29	c  583s |      14 |   124104 |    79352 |    18670      4 |     6234 |      105
586.83/587.03	c  586s |      14 |   124315 |    79552 |    18670      4 |     6234 |      105
589.53/589.79	c  589s |      14 |   124517 |    79752 |    18670      4 |     6234 |      105
592.32/592.50	c  591s |      14 |   124728 |    79952 |    18670      4 |     6234 |      105
595.12/595.36	c  594s |      14 |   124929 |    80152 |    18670      4 |     6234 |      105
597.72/597.94	c  597s |      14 |   125376 |    80452 |    18670      4 |     6234 |      105
600.72/600.93	c  600s |      14 |   125584 |    80652 |    18670      4 |     6234 |      105
602.72/602.96	c  602s |      14 |   125864 |    80852 |    18670      4 |     6234 |      105
604.72/604.97	c  604s |      14 |   126214 |    81052 |    18670      4 |     6234 |      105
606.71/606.98	c  606s |      14 |   126667 |    81452 |    18670      4 |     6234 |      105
609.51/609.71	c  609s |      14 |   127370 |    81952 |    18670      4 |     6234 |      105
612.11/612.37	c  611s |      14 |   127604 |    82152 |    18670      4 |     6234 |      105
614.91/615.19	c  614s |      14 |   127812 |    82352 |    18670      4 |     6234 |      105
617.91/618.14	c  617s |      14 |   128020 |    82552 |    18670      4 |     6234 |      105
620.70/620.99	c  620s |      14 |   128223 |    82752 |    18670      4 |     6234 |      105
623.61/623.85	c  623s |      14 |   128427 |    82952 |    18670      4 |     6234 |      105
626.30/626.55	c  626s |      14 |   128635 |    83152 |    18670      4 |     6234 |      105
629.11/629.34	c  628s |      14 |   128847 |    83352 |    18670      4 |     6234 |      105
631.21/631.42	c  630s |      14 |   129367 |    83752 |    18670      4 |     6234 |      105
633.80/634.01	c  633s |      14 |   129982 |    84252 |    18670      4 |     6234 |      105
636.50/636.70	c  636s |      14 |   130216 |    84452 |    18670      4 |     6234 |      105
639.19/639.42	c  638s |      14 |   130427 |    84652 |    18670      4 |     6234 |      105
642.20/642.41	c  641s |      14 |   130628 |    84852 |    18670      4 |     6234 |      105
644.99/645.26	c  644s |      14 |   130854 |    85052 |    18670      4 |     6234 |      105
647.49/647.73	c  647s |      14 |   131062 |    85252 |    18670      4 |     6234 |      105
650.59/650.82	c  650s |      14 |   131264 |    85452 |    18670      4 |     6234 |      105
652.69/652.96	c  652s |      14 |   131506 |    85652 |    18670      4 |     6234 |      105
654.99/655.21	c  654s |      14 |   131723 |    85852 |    18670      4 |     6234 |      105
657.70/657.92	c  657s |      14 |   131943 |    86052 |    18670      4 |     6234 |      105
660.79/661.07	c  660s |      14 |   132148 |    86252 |    18670      4 |     6234 |      105
663.89/664.16	c  663s |      14 |   132349 |    86452 |    18670      4 |     6234 |      105
666.89/667.15	c  666s |      14 |   132558 |    86652 |    18670      4 |     6234 |      105
669.79/670.09	c  669s |      14 |   132760 |    86852 |    18670      4 |     6234 |      105
672.88/673.13	c  672s |      14 |   132967 |    87052 |    20537      4 |     6234 |      105
675.98/676.23	c  675s |      14 |   133169 |    87252 |    20537      4 |     6234 |      105
678.98/679.21	c  678s |      14 |   133373 |    87452 |    20537      4 |     6234 |      105
681.58/681.84	c  681s |      15 |   133560 |    87632 |    20537      4 |     6234 |      105
683.78/684.04	c  683s |      15 |   138829 |    87932 |    20537      5 |     6234 |      105
686.08/686.38	c  685s |      15 |   139632 |    88532 |    20537      5 |     6234 |      105
688.38/688.61	c  688s |      15 |   140243 |    89032 |    20537      5 |     6234 |      105
690.37/690.61	c  690s |      15 |   140671 |    89432 |    20537      5 |     6234 |      105
692.78/693.08	c  692s |      15 |   141104 |    89832 |    20537      5 |     6234 |      105
695.27/695.53	c  695s |      15 |   141820 |    90432 |    20537      5 |     6234 |      105
697.37/697.68	c  697s |      15 |   142414 |    90932 |    20537      5 |     6234 |      105
699.66/699.92	c  699s |      15 |   142950 |    91432 |    20537      5 |     6234 |      105
701.76/702.03	c  701s |      15 |   143495 |    91932 |    20537      5 |     6234 |      105
703.87/704.15	c  703s |      15 |   143931 |    92332 |    20537      5 |     6234 |      105
706.16/706.41	c  705s |      15 |   144744 |    92932 |    20537      5 |     6234 |      105
708.46/708.72	c  708s |      15 |   145464 |    93532 |    20537      5 |     6234 |      105
710.66/710.90	c  710s |      15 |   146064 |    94032 |    20537      5 |     6234 |      105
712.77/713.02	c  712s |      15 |   146529 |    94432 |    20537      5 |     6234 |      105
714.97/715.27	c  714s |      15 |   147242 |    94932 |    20537      5 |     6234 |      105
717.08/717.32	c  716s |      15 |   147719 |    95332 |    20537      5 |     6234 |      105
719.47/719.72	c  719s |      15 |   148281 |    95832 |    20537      5 |     6234 |      105
721.48/721.76	c  721s |      15 |   148885 |    96232 |    20537      5 |     6234 |      105
723.87/724.20	c  723s |      15 |   149434 |    96732 |    20537      5 |     6234 |      105
726.07/726.35	c  725s |      15 |   150015 |    97232 |    20537      5 |     6234 |      105
728.37/728.66	c  728s |      15 |   150667 |    97732 |    20537      5 |     6234 |      105
730.47/730.70	c  730s |      15 |   151291 |    98132 |    20537      5 |     6234 |      105
732.76/733.02	c  732s |      15 |   151786 |    98532 |    20537      5 |     6234 |      105
734.96/735.27	c  734s |      15 |   152253 |    98932 |    20537      5 |     6234 |      105
737.16/737.41	c  736s |      15 |   152679 |    99332 |    20537      5 |     6234 |      105
739.66/739.98	c  739s |      15 |   153235 |    99832 |    20537      5 |     6234 |      105
741.86/742.14	c  741s |      15 |   153721 |   100232 |    20537      5 |     6234 |      105
743.96/744.25	c  743s |      15 |   154188 |   100632 |    20537      5 |     6234 |      105
746.36/746.66	c  746s |      15 |   154802 |   101132 |    20537      5 |     6234 |      105
748.76/749.09	c  748s |      15 |   155428 |   101632 |    20537      5 |     6234 |      105
751.17/751.43	c  750s |      15 |   156039 |   102132 |    20537      5 |     6234 |      105
753.26/753.54	c  753s |      15 |   156516 |   102532 |    20537      5 |     6234 |      105
755.36/755.63	c  755s |      15 |   157058 |   102932 |    20537      5 |     6234 |      105
757.86/758.10	c  757s |      15 |   157585 |   103332 |    20537      5 |     6234 |      105
759.96/760.26	c  759s |      15 |   157948 |   103632 |    20537      5 |     6234 |      105
762.16/762.42	c  761s |      15 |   158443 |   104032 |    20537      5 |     6234 |      105
764.36/764.70	c  764s |      15 |   158912 |   104432 |    20537      5 |     6234 |      105
766.46/766.78	c  766s |      15 |   159311 |   104732 |    20537      5 |     6234 |      105
768.76/769.06	c  768s |      15 |   159774 |   105132 |    20537      5 |     6234 |      105
771.05/771.34	c  770s |      15 |   160215 |   105532 |    20537      5 |     6234 |      105
773.45/773.80	c  773s |      15 |   160800 |   106032 |    20537      5 |     6234 |      105
775.95/776.28	c  775s |      15 |   161157 |   106332 |    20537      6 |     6234 |      105
778.15/778.40	c  777s |      15 |   161518 |   106632 |    20537      6 |     6234 |      105
780.16/780.46	c  779s |      15 |   161908 |   106932 |    20537      6 |     6234 |      105
782.66/782.99	c  782s |      15 |   162361 |   107332 |    20537      6 |     6234 |      105
784.75/785.03	c  784s |      15 |   162700 |   107632 |    20537      6 |     6234 |      105
786.75/787.07	c  786s |      15 |   163059 |   107932 |    20537      6 |     6234 |      105
788.95/789.25	c  788s |      15 |   163403 |   108232 |    20537      6 |     6234 |      105
791.25/791.51	c  790s |      15 |   163777 |   108532 |    20537      6 |     6234 |      105
793.45/793.75	c  793s |      15 |   164090 |   108832 |    20537      6 |     6234 |      105
795.65/795.97	c  795s |      15 |   164428 |   109132 |    20537      6 |     6234 |      105
797.95/798.20	c  797s |      15 |   164784 |   109432 |    20537      6 |     6234 |      105
799.96/800.26	c  799s |      15 |   165122 |   109732 |    20537      6 |     6234 |      105
802.36/802.62	c  802s |      15 |   165436 |   110032 |    20537      6 |     6234 |      105
804.35/804.69	c  804s |      15 |   165764 |   110332 |    20537      6 |     6234 |      105
806.65/806.93	c  806s |      15 |   166443 |   110732 |    20537      6 |     6234 |      105
808.95/809.28	c  808s |      15 |   167149 |   111232 |    20537      6 |     6234 |      105
811.56/811.81	c  811s |      15 |   167684 |   111632 |    20537      6 |     6234 |      105
813.76/814.08	c  813s |      15 |   168236 |   112032 |    20537      6 |     6234 |      105
816.35/816.64	c  816s |      15 |   168763 |   112432 |    20537      6 |     6234 |      105
818.45/818.75	c  818s |      15 |   169152 |   112732 |    20537      6 |     6234 |      105
821.15/821.44	c  820s |      15 |   169700 |   113132 |    20537      6 |     6234 |      105
823.35/823.67	c  823s |      15 |   170076 |   113432 |    20537      6 |     6234 |      105
825.45/825.75	c  825s |      15 |   170681 |   113832 |    20537      6 |     6234 |      105
827.55/827.82	c  827s |      15 |   171242 |   114232 |    20537      6 |     6234 |      105
829.75/830.07	c  829s |      15 |   171814 |   114632 |    20537      6 |     6234 |      105
832.35/832.61	c  832s |      15 |   172361 |   115032 |    20537      6 |     6234 |      105
834.35/834.70	c  834s |      15 |   172748 |   115332 |    20537      6 |     6234 |      105
837.25/837.50	c  836s |      15 |   173467 |   115832 |    20537      6 |     6234 |      105
839.35/839.69	c  839s |      15 |   173811 |   116132 |    20537      6 |     6234 |      105
841.85/842.14	c  841s |      15 |   174163 |   116432 |    20537      6 |     6234 |      105
844.25/844.59	c  844s |      15 |   174528 |   116732 |    20537      6 |     6234 |      105
846.55/846.88	c  846s |      15 |   174884 |   117032 |    20537      6 |     6234 |      105
848.95/849.28	c  848s |      15 |   175241 |   117332 |    20537      6 |     6234 |      105
851.15/851.48	c  850s |      15 |   175607 |   117632 |    20537      6 |     6234 |      105
853.65/853.98	c  853s |      15 |   175971 |   117932 |    20537      6 |     6234 |      105
855.94/856.25	c  855s |      15 |   176323 |   118232 |    20537      6 |     6234 |      105
858.44/858.79	c  858s |      15 |   176642 |   118532 |    20537      6 |     6234 |      105
860.94/861.20	c  860s |      15 |   176992 |   118832 |    20537      6 |     6234 |      105
863.25/863.53	c  863s |      15 |   177339 |   119132 |    20537      6 |     6234 |      105
865.64/865.96	c  865s |      15 |   177702 |   119432 |    20537      6 |     6234 |      105
867.84/868.10	c  867s |      15 |   178055 |   119732 |    20537      6 |     6234 |      105
870.24/870.54	c  870s |      15 |   178416 |   120032 |    20537      6 |     6234 |      105
872.74/873.09	c  872s |      15 |   178771 |   120332 |    20537      6 |     6234 |      105
875.24/875.57	c  875s |      15 |   179135 |   120632 |    20537      6 |     6234 |      105
877.54/877.84	c  877s |      15 |   179479 |   120932 |    20537      6 |     6234 |      105
879.84/880.10	c  879s |      15 |   179830 |   121232 |    20537      6 |     6234 |      105
882.33/882.64	c  882s |      15 |   180187 |   121532 |    20537      6 |     6234 |      105
884.83/885.12	c  884s |      15 |   180587 |   121832 |    20537      6 |     6234 |      105
887.23/887.52	c  887s |      15 |   181012 |   122132 |    20537      6 |     6234 |      105
889.43/889.72	c  889s |      15 |   181388 |   122432 |    20537      6 |     6234 |      105
891.94/892.24	c  891s |      15 |   181740 |   122732 |    20537      6 |     6234 |      105
894.04/894.33	c  893s |      15 |   182168 |   123032 |    20537      6 |     6234 |      105
898.44/898.74	c  898s |      15 |   182512 |   123332 |    20537      7 |     6234 |      105
900.65/900.97	c  900s |      15 |   182846 |   123632 |    20537      7 |     6234 |      105
902.85/903.17	c  902s |      15 |   183187 |   123932 |    20537      7 |     6234 |      105
905.05/905.38	c  904s |      15 |   183537 |   124232 |    20537      7 |     6234 |      105
907.14/907.47	c  906s |      15 |   183796 |   124432 |    20537      7 |     6234 |      105
909.64/909.91	c  909s |      15 |   184307 |   124732 |    20537      7 |     6234 |      105
911.84/912.14	c  911s |      15 |   184725 |   125032 |    20537      7 |     6234 |      105
914.04/914.37	c  913s |      15 |   185203 |   125332 |    20537      7 |     6234 |      105
916.33/916.67	c  916s |      15 |   185598 |   125632 |    20537      7 |     6234 |      105
919.03/919.34	c  918s |      15 |   185982 |   125932 |    20537      7 |     6234 |      105
921.13/921.46	c  920s |      15 |   186210 |   126132 |    20537      7 |     6234 |      105
923.33/923.67	c  923s |      15 |   186423 |   126332 |    20537      7 |     6234 |      105
925.73/926.01	c  925s |      15 |   186645 |   126532 |    20537      7 |     6234 |      105
928.33/928.67	c  928s |      15 |   187016 |   126832 |    20537      7 |     6234 |      105
930.53/930.84	c  930s |      15 |   187333 |   127132 |    20537      7 |     6234 |      105
933.03/933.33	c  932s |      15 |   187828 |   127532 |    20537      7 |     6234 |      105
935.13/935.41	c  934s |      15 |   188176 |   127832 |    20537      7 |     6234 |      105
937.13/937.45	c  936s |      15 |   188528 |   128132 |    20537      7 |     6234 |      105
939.73/940.00	c  939s |      15 |   189013 |   128532 |    20537      7 |     6234 |      105
941.93/942.24	c  941s |      15 |   189409 |   128832 |    20537      7 |     6234 |      105
944.53/944.83	c  944s |      15 |   189850 |   129232 |    20537      7 |     6234 |      105
946.73/947.04	c  946s |      15 |   190194 |   129532 |    20537      7 |     6234 |      105
949.33/949.63	c  949s |      15 |   190710 |   129932 |    20537      7 |     6234 |      105
951.43/951.79	c  951s |      15 |   191049 |   130232 |    20537      7 |     6234 |      105
953.83/954.18	c  953s |      15 |   191626 |   130632 |    20537      7 |     6234 |      105
956.03/956.34	c  955s |      15 |   192239 |   131032 |    22591      7 |     6234 |      105
958.43/958.73	c  958s |      15 |   192689 |   131432 |    22591      7 |     6234 |      105
959.13/959.41	c  958s |      16 |   192833 |   131552 |    22591      7 |     6234 |      105
961.33/961.69	c  961s |      16 |   196507 |   131852 |    22591      7 |     6234 |      105
963.44/963.71	c  963s |      16 |   197730 |   132652 |    22591      7 |     6234 |      105
965.73/966.06	c  965s |      16 |   198486 |   133152 |    22591      7 |     6234 |      105
967.83/968.11	c  967s |      16 |   199497 |   133952 |    22591      7 |     6234 |      105
969.93/970.21	c  969s |      16 |   200761 |   134952 |    22591      7 |     6234 |      105
972.23/972.56	c  972s |      16 |   201894 |   135952 |    22591      7 |     6234 |      105
974.73/975.03	c  974s |      16 |   202468 |   136352 |    22591      7 |     6234 |      105
977.33/977.61	c  977s |      16 |   203037 |   136752 |    22591      7 |     6234 |      105
980.03/980.31	c  979s |      16 |   203310 |   136952 |    22591      8 |     6234 |      105
982.63/982.92	c  982s |      16 |   203898 |   137352 |    22591      8 |     6234 |      105
985.13/985.42	c  984s |      16 |   204475 |   137752 |    22591      8 |     6234 |      105
987.63/987.94	c  987s |      16 |   205034 |   138152 |    22591      8 |     6234 |      105
990.22/990.51	c  989s |      16 |   205587 |   138552 |    22591      8 |     6234 |      105
992.62/993.00	c  992s |      16 |   206148 |   138952 |    22591      8 |     6234 |      105
995.02/995.35	c  994s |      16 |   207015 |   139552 |    22591      8 |     6234 |      105
997.22/997.52	c  997s |      16 |   207727 |   140052 |    22591      8 |     6234 |      105
999.32/999.69	c  999s |      16 |   208379 |   140652 |    22591      8 |     6234 |      105
1001.42/1001.74	c 1001s |      16 |   208998 |   141252 |    22591      8 |     6234 |      105
1003.62/1003.94	c 1003s |      16 |   209726 |   141952 |    22591      8 |     6234 |      105
1005.72/1006.09	c 1005s |      16 |   210498 |   142652 |    22591      8 |     6234 |      105
1007.82/1008.10	c 1007s |      16 |   211344 |   143452 |    22591      8 |     6234 |      105
1010.02/1010.34	c 1009s |      16 |   212548 |   144552 |    22591      8 |     6234 |      105
1012.12/1012.48	c 1011s |      16 |   213641 |   145452 |    22591      8 |     6234 |      105
1014.22/1014.57	c 1014s |      16 |   214532 |   146252 |    22591      8 |     6234 |      105
1016.23/1016.57	c 1016s |      16 |   215378 |   147052 |    22591      8 |     6234 |      105
1018.33/1018.68	c 1018s |      16 |   216196 |   147852 |    22591      8 |     6234 |      105
1020.42/1020.70	c 1020s |      16 |   217383 |   148852 |    22591      8 |     6234 |      105
1022.52/1022.81	c 1022s |      16 |   218539 |   149952 |    22591      8 |     6234 |      105
1024.62/1024.91	c 1024s |      16 |   219809 |   151152 |    22591      8 |     6234 |      105
1027.42/1027.70	c 1027s |      16 |   220637 |   151752 |    22591      9 |     6234 |      105
1030.43/1030.78	c 1030s |      16 |   224527 |   151952 |    22591      9 |     6234 |      105
1033.22/1033.56	c 1033s |      16 |   225184 |   152252 |    22591      9 |     6234 |      105
1035.62/1035.90	c 1035s |      16 |   225534 |   152452 |    22591      9 |     6234 |      105
1038.13/1038.50	c 1037s |      16 |   226016 |   152752 |    22591      9 |     6234 |      105
1040.82/1041.16	c 1040s |      16 |   226377 |   153052 |    22591      9 |     6234 |      105
1043.12/1043.44	c 1042s |      16 |   226640 |   153252 |    22591      9 |     6234 |      105
1045.62/1045.91	c 1045s |      16 |   226977 |   153452 |    22591      9 |     6234 |      105
1047.62/1047.96	c 1047s |      16 |   227362 |   153652 |    22591      9 |     6234 |      105
1050.72/1051.00	c 1050s |      16 |   227555 |   153852 |    22591      9 |     6234 |      105
1053.82/1054.17	c 1053s |      16 |   227774 |   154052 |    22591      9 |     6234 |      105
1056.12/1056.44	c 1055s |      16 |   228233 |   154252 |    22591      9 |     6234 |      105
1058.32/1058.60	c 1058s |      16 |   228672 |   154552 |    22591      9 |     6234 |      105
1060.42/1060.79	c 1060s |      16 |   229373 |   154852 |    22591      9 |     6234 |      105
1062.82/1063.12	c 1062s |      16 |   229790 |   155152 |    22591      9 |     6234 |      105
1065.02/1065.33	c 1064s |      16 |   230243 |   155452 |    22591      9 |     6234 |      105
1067.11/1067.43	c 1066s |      16 |   230728 |   155752 |    22591      9 |     6234 |      105
1069.21/1069.53	c 1069s |      16 |   231192 |   156052 |    22591      9 |     6234 |      105
1072.11/1072.44	c 1071s |      16 |   231604 |   156352 |    22591      9 |     6234 |      105
1074.52/1074.82	c 1074s |      16 |   231805 |   156552 |    22591      9 |     6234 |      105
1076.51/1076.85	c 1076s |      16 |   232009 |   156752 |    22591      9 |     6234 |      105
1078.92/1079.25	c 1078s |      16 |   232210 |   156952 |    22591      9 |     6234 |      105
1081.21/1081.50	c 1080s |      16 |   232423 |   157152 |    22591      9 |     6234 |      105
1083.71/1084.04	c 1083s |      16 |   232627 |   157352 |    22591      9 |     6234 |      105
1086.21/1086.56	c 1086s |      16 |   232985 |   157552 |    22591      9 |     6234 |      105
1089.21/1089.57	c 1089s |      16 |   233235 |   157752 |    22591      9 |     6234 |      105
1091.81/1092.15	c 1091s |      16 |   233522 |   157952 |    22591      9 |     6234 |      105
1094.32/1094.61	c 1094s |      16 |   233903 |   158152 |    22591      9 |     6234 |      105
1096.42/1096.77	c 1096s |      16 |   234292 |   158352 |    22591      9 |     6234 |      105
1098.81/1099.19	c 1098s |      16 |   234505 |   158552 |    22591      9 |     6234 |      105
1101.31/1101.62	c 1101s |      16 |   234718 |   158752 |    22591      9 |     6234 |      105
1103.71/1104.01	c 1103s |      16 |   235002 |   158952 |    22591      9 |     6234 |      105
1106.42/1106.72	c 1106s |      16 |   235228 |   159152 |    22591      9 |     6234 |      105
1109.21/1109.55	c 1109s |      16 |   235441 |   159352 |    22591      9 |     6234 |      105
1111.92/1112.22	c 1111s |      16 |   235662 |   159552 |    22591      9 |     6234 |      105
1114.71/1115.05	c 1114s |      16 |   235872 |   159752 |    22591      9 |     6234 |      105
1117.31/1117.61	c 1117s |      16 |   236092 |   159952 |    22591      9 |     6234 |      105
1120.01/1120.38	c 1119s |      16 |   236309 |   160152 |    22591      9 |     6234 |      105
1122.51/1122.85	c 1122s |      16 |   236529 |   160352 |    22591      9 |     6234 |      105
1125.41/1125.70	c 1125s |      16 |   236766 |   160552 |    22591      9 |     6234 |      105
1128.21/1128.55	c 1128s |      16 |   237011 |   160752 |    22591      9 |     6234 |      105
1131.11/1131.40	c 1130s |      16 |   237249 |   160952 |    22591      9 |     6234 |      105
1133.81/1134.20	c 1133s |      16 |   237482 |   161152 |    22591      9 |     6234 |      105
1136.90/1137.20	c 1136s |      16 |   237703 |   161352 |    22591      9 |     6234 |      105
1139.70/1140.00	c 1139s |      16 |   237946 |   161552 |    22591      9 |     6234 |      105
1141.90/1142.22	c 1141s |      16 |   238257 |   161752 |    22591      9 |     6234 |      105
1144.30/1144.64	c 1144s |      16 |   238507 |   161952 |    22591      9 |     6234 |      105
1147.01/1147.31	c 1146s |      16 |   238749 |   162152 |    22591      9 |     6234 |      105
1149.60/1149.94	c 1149s |      16 |   238969 |   162352 |    22591      9 |     6234 |      105
1152.30/1152.63	c 1152s |      16 |   239185 |   162552 |    22591      9 |     6234 |      105
1154.81/1155.17	c 1154s |      16 |   239390 |   162752 |    22591      9 |     6234 |      105
1157.50/1157.88	c 1157s |      16 |   239602 |   162952 |    22591      9 |     6234 |      105
1160.40/1160.72	c 1160s |      16 |   239807 |   163152 |    22591      9 |     6234 |      105
1163.30/1163.64	c 1163s |      16 |   240025 |   163352 |    22591      9 |     6234 |      105
1166.20/1166.59	c 1166s |      16 |   240257 |   163552 |    22591      9 |     6234 |      105
1168.90/1169.23	c 1168s |      16 |   240473 |   163752 |    22591      9 |     6234 |      105
1171.70/1172.06	c 1171s |      16 |   240675 |   163952 |    22591      9 |     6234 |      105
1174.50/1174.87	c 1174s |      16 |   240898 |   164152 |    22591      9 |     6234 |      105
1177.20/1177.57	c 1177s |      16 |   241108 |   164352 |    22591      9 |     6234 |      105
1180.00/1180.36	c 1179s |      16 |   241318 |   164552 |    22591      9 |     6234 |      105
1182.89/1183.20	c 1182s |      16 |   241536 |   164752 |    22591      9 |     6234 |      105
1185.60/1185.97	c 1185s |      16 |   241763 |   164952 |    22591      9 |     6234 |      105
1188.29/1188.62	c 1188s |      16 |   242004 |   165152 |    22591      9 |     6234 |      105
1190.89/1191.28	c 1190s |      16 |   242221 |   165352 |    22591      9 |     6234 |      105
1193.79/1194.19	c 1193s |      16 |   242470 |   165552 |    22591      9 |     6234 |      105
1196.89/1197.22	c 1196s |      16 |   242681 |   165752 |    22591      9 |     6234 |      105
1199.39/1199.79	c 1199s |      16 |   242894 |   165952 |    22591      9 |     6234 |      105
1202.00/1202.38	c 1201s |      16 |   243118 |   166152 |    22591      9 |     6234 |      105
1204.49/1204.86	c 1204s |      16 |   243403 |   166352 |    22591      9 |     6234 |      105
1207.09/1207.43	c 1206s |      16 |   243625 |   166552 |    22591      9 |     6234 |      105
1209.80/1210.19	c 1209s |      16 |   243829 |   166752 |    22591      9 |     6234 |      105
1212.89/1213.29	c 1212s |      16 |   244038 |   166952 |    22591      9 |     6234 |      105
1215.59/1215.92	c 1215s |      16 |   244249 |   167152 |    22591      9 |     6234 |      105
1218.50/1218.86	c 1218s |      16 |   244465 |   167352 |    22591      9 |     6234 |      105
1220.59/1220.92	c 1220s |      16 |   244790 |   167552 |    22591      9 |     6234 |      105
1223.29/1223.63	c 1223s |      16 |   245136 |   167852 |    22591      9 |     6234 |      105
1225.99/1226.36	c 1225s |      16 |   245460 |   168152 |    22591      9 |     6234 |      105
1228.79/1229.13	c 1228s |      16 |   245801 |   168452 |    22591      9 |     6234 |      105
1231.59/1231.97	c 1231s |      16 |   246275 |   168752 |    22591      9 |     6234 |      105
1234.79/1235.11	c 1234s |      16 |   246933 |   169052 |    22591      9 |     6234 |      105
1237.29/1237.67	c 1237s |      16 |   247156 |   169252 |    22591      9 |     6234 |      105
1239.89/1240.28	c 1239s |      16 |   247439 |   169452 |    22591      9 |     6234 |      105
1242.89/1243.22	c 1242s |      16 |   247695 |   169652 |    22591      9 |     6234 |      105
1246.09/1246.41	c 1245s |      16 |   247895 |   169852 |    22591      9 |     6234 |      105
1249.18/1249.56	c 1249s |      16 |   248124 |   170052 |    22591      9 |     6234 |      105
1252.38/1252.78	c 1252s |      16 |   248346 |   170252 |    22591      9 |     6234 |      105
1255.68/1256.06	c 1255s |      16 |   248544 |   170452 |    22591      9 |     6234 |      105
1258.98/1259.37	c 1258s |      16 |   248738 |   170652 |    22591      9 |     6234 |      105
1262.38/1262.74	c 1262s |      16 |   248939 |   170852 |    22591      9 |     6234 |      105
1265.79/1266.12	c 1265s |      16 |   249136 |   171052 |    22591      9 |     6234 |      105
1269.28/1269.66	c 1269s |      16 |   249342 |   171252 |    22591      9 |     6234 |      105
1273.28/1273.67	c 1273s |      16 |   249575 |   171452 |    22591      9 |     6234 |      105
1277.58/1277.98	c 1277s |      16 |   249828 |   171652 |    22591      9 |     6234 |      105
1281.18/1281.58	c 1281s |      16 |   250020 |   171852 |    22591      9 |     6234 |      105
1285.18/1285.53	c 1285s |      16 |   250231 |   172052 |    22591      9 |     6234 |      105
1287.18/1287.55	c 1287s |      16 |   250328 |   172152 |    22591      9 |     6234 |      105
1291.18/1291.59	c 1291s |      16 |   250526 |   172352 |    22591      9 |     6234 |      105
1293.28/1293.69	c 1293s |      16 |   250626 |   172452 |    22591      9 |     6234 |      105
1295.37/1295.78	c 1295s |      16 |   250725 |   172552 |    22591      9 |     6234 |      105
1297.87/1298.24	c 1297s |      16 |   250873 |   172652 |    22591     10 |     6234 |      105
1300.37/1300.76	c 1300s |      16 |   250995 |   172752 |    22591     10 |     6234 |      105
1303.07/1303.46	c 1302s |      16 |   251100 |   172852 |    22591     10 |     6234 |      105
1305.38/1305.76	c 1305s |      16 |   251208 |   172952 |    22591     10 |     6234 |      105
1307.77/1308.10	c 1307s |      16 |   251322 |   173052 |    22591     10 |     6234 |      105
1309.97/1310.31	c 1309s |      16 |   251434 |   173152 |    22591     10 |     6234 |      105
1313.77/1314.15	c 1313s |      16 |   251631 |   173352 |    22591     10 |     6234 |      105
1317.77/1318.10	c 1317s |      16 |   251829 |   173552 |    22591     10 |     6234 |      105
1321.67/1322.00	c 1321s |      16 |   252024 |   173752 |    22591     10 |     6234 |      105
1323.67/1324.01	c 1323s |      16 |   252123 |   173852 |    22591     10 |     6234 |      105
1325.67/1326.03	c 1325s |      16 |   252225 |   173952 |    22591     10 |     6234 |      105
1327.67/1328.05	c 1327s |      16 |   252320 |   174052 |    22591     10 |     6234 |      105
1329.67/1330.08	c 1329s |      16 |   252421 |   174152 |    22591     10 |     6234 |      105
1331.77/1332.18	c 1331s |      16 |   252518 |   174252 |    22591     10 |     6234 |      105
1334.07/1334.42	c 1333s |      16 |   252644 |   174352 |    22591     10 |     6234 |      105
1336.67/1337.04	c 1336s |      16 |   252758 |   174452 |    22591     10 |     6234 |      105
1339.37/1339.77	c 1339s |      16 |   252870 |   174552 |    22591     10 |     6234 |      105
1342.37/1342.75	c 1342s |      16 |   252969 |   174652 |    22591     10 |     6234 |      105
1344.67/1345.09	c 1344s |      16 |   253070 |   174752 |    22591     10 |     6234 |      105
1346.77/1347.18	c 1346s |      16 |   253173 |   174852 |    22591     10 |     6234 |      105
1348.97/1349.39	c 1348s |      16 |   253270 |   174952 |    22591     10 |     6234 |      105
1351.07/1351.48	c 1350s |      16 |   253370 |   175052 |    22591     10 |     6234 |      105
1353.27/1353.64	c 1353s |      16 |   253469 |   175152 |    22591     10 |     6234 |      105
1355.57/1355.91	c 1355s |      16 |   253568 |   175252 |    22591     10 |     6234 |      105
1357.67/1358.04	c 1357s |      16 |   253664 |   175352 |    22591     10 |     6234 |      105
1359.77/1360.16	c 1359s |      16 |   253766 |   175452 |    22591     10 |     6234 |      105
1361.97/1362.35	c 1361s |      16 |   253864 |   175552 |    22591     10 |     6234 |      105
1364.17/1364.54	c 1364s |      16 |   253961 |   175652 |    22591     10 |     6234 |      105
1366.37/1366.75	c 1366s |      16 |   254059 |   175752 |    22591     10 |     6234 |      105
1368.47/1368.81	c 1368s |      16 |   254199 |   175852 |    22591     10 |     6234 |      105
1370.97/1371.30	c 1370s |      16 |   254697 |   176052 |    22591     10 |     6234 |      105
1373.17/1373.57	c 1373s |      16 |   254814 |   176152 |    22591     10 |     6234 |      105
1375.47/1375.88	c 1375s |      16 |   254958 |   176252 |    22591     10 |     6234 |      105
1377.77/1378.17	c 1377s |      16 |   255053 |   176352 |    22591     10 |     6234 |      105
1380.07/1380.46	c 1379s |      16 |   255150 |   176452 |    22591     10 |     6234 |      105
1382.26/1382.70	c 1382s |      16 |   255249 |   176552 |    22591     10 |     6234 |      105
1384.67/1385.02	c 1384s |      16 |   255345 |   176652 |    22591     10 |     6234 |      105
1386.96/1387.36	c 1386s |      16 |   255441 |   176752 |    22591     10 |     6234 |      105
1389.36/1389.76	c 1389s |      16 |   255561 |   176852 |    22591     10 |     6234 |      105
1391.56/1391.93	c 1391s |      16 |   255663 |   176952 |    22591     10 |     6234 |      105
1395.46/1395.87	c 1395s |      16 |   255858 |   177152 |    22591     10 |     6234 |      105
1397.56/1397.94	c 1397s |      16 |   255955 |   177252 |    22591     10 |     6234 |      105
1399.76/1400.12	c 1399s |      16 |   256054 |   177352 |    22591     10 |     6234 |      105
1401.96/1402.35	c 1401s |      16 |   256151 |   177452 |    22591     10 |     6234 |      105
1406.66/1407.08	c 1406s |      16 |   256435 |   177652 |    22591     10 |     6234 |      105
1409.06/1409.43	c 1408s |      16 |   256553 |   177752 |    22591     10 |     6234 |      105
1411.96/1412.40	c 1411s |      16 |   256659 |   177852 |    22591     10 |     6234 |      105
1414.06/1414.43	c 1413s |      16 |   256759 |   177952 |    22591     10 |     6234 |      105
1417.95/1418.33	c 1417s |      16 |   256959 |   178152 |    22591     10 |     6234 |      105
1419.95/1420.35	c 1419s |      16 |   257058 |   178252 |    22591     10 |     6234 |      105
1422.15/1422.52	c 1422s |      16 |   257155 |   178352 |    22591     10 |     6234 |      105
1424.16/1424.54	c 1424s |      16 |   257253 |   178452 |    22591     10 |     6234 |      105
1426.25/1426.62	c 1426s |      16 |   257353 |   178552 |    22591     10 |     6234 |      105
1430.25/1430.61	c 1430s |      16 |   257553 |   178752 |    22591     10 |     6234 |      105
1434.35/1434.72	c 1434s |      16 |   257750 |   178952 |    22591     10 |     6234 |      105
1436.45/1436.87	c 1436s |      16 |   257874 |   179052 |    22591     10 |     6234 |      105
1438.65/1439.05	c 1438s |      16 |   258062 |   179152 |    22591     10 |     6234 |      105
1441.45/1441.88	c 1441s |      16 |   258165 |   179252 |    22591     10 |     6234 |      105
1445.35/1445.76	c 1445s |      16 |   258363 |   179452 |    22591     10 |     6234 |      105
1447.45/1447.80	c 1447s |      16 |   258460 |   179552 |    22591     10 |     6234 |      105
1449.46/1449.85	c 1449s |      16 |   258558 |   179652 |    22591     10 |     6234 |      105
1451.55/1451.92	c 1451s |      16 |   258654 |   179752 |    22591     10 |     6234 |      105
1454.05/1454.41	c 1453s |      16 |   258771 |   179852 |    22591     10 |     6234 |      105
1456.55/1456.91	c 1456s |      16 |   258874 |   179952 |    22591     10 |     6234 |      105
1458.75/1459.16	c 1458s |      16 |   258969 |   180052 |    22591     10 |     6234 |      105
1460.95/1461.36	c 1460s |      16 |   259067 |   180152 |    22591     10 |     6234 |      105
1463.25/1463.64	c 1463s |      16 |   259163 |   180252 |    22591     10 |     6234 |      105
1465.45/1465.84	c 1465s |      16 |   259263 |   180352 |    22591     10 |     6234 |      105
1467.75/1468.10	c 1467s |      16 |   259361 |   180452 |    22591     10 |     6234 |      105
1470.05/1470.44	c 1469s |      16 |   259510 |   180552 |    22591     10 |     6234 |      105
1472.35/1472.76	c 1472s |      16 |   259648 |   180652 |    22591     10 |     6234 |      105
1474.45/1474.85	c 1474s |      16 |   259852 |   180752 |    22591     10 |     6234 |      105
1477.25/1477.69	c 1477s |      16 |   259970 |   180852 |    22591     10 |     6234 |      105
1479.55/1479.96	c 1479s |      16 |   260070 |   180952 |    22591     10 |     6234 |      105
1481.75/1482.12	c 1481s |      16 |   260169 |   181052 |    22591     10 |     6234 |      105
1483.95/1484.33	c 1483s |      16 |   260269 |   181152 |    22591     10 |     6234 |      105
1486.05/1486.47	c 1485s |      16 |   260368 |   181252 |    22591     10 |     6234 |      105
1488.35/1488.77	c 1488s |      16 |   260467 |   181352 |    22591     10 |     6234 |      105
1490.65/1491.02	c 1490s |      16 |   260564 |   181452 |    22591     10 |     6234 |      105
1492.85/1493.29	c 1492s |      16 |   260665 |   181552 |    22591     10 |     6234 |      105
1495.15/1495.58	c 1495s |      16 |   260763 |   181652 |    22591     10 |     6234 |      105
1497.55/1497.90	c 1497s |      16 |   260861 |   181752 |    22591     10 |     6234 |      105
1499.65/1500.03	c 1499s |      16 |   260959 |   181852 |    22591     10 |     6234 |      105
1502.05/1502.45	c 1501s |      16 |   261059 |   181952 |    22591     10 |     6234 |      105
1504.35/1504.80	c 1504s |      16 |   261224 |   182052 |    22591     10 |     6234 |      105
1506.95/1507.32	c 1506s |      16 |   261372 |   182152 |    22591     10 |     6234 |      105
1509.35/1509.73	c 1509s |      16 |   261513 |   182252 |    22591     10 |     6234 |      105
1511.95/1512.31	c 1511s |      16 |   261675 |   182352 |    22591     10 |     6234 |      105
1514.85/1515.25	c 1514s |      16 |   261792 |   182452 |    22591     10 |     6234 |      105
1516.85/1517.29	c 1516s |      16 |   261892 |   182552 |    22591     10 |     6234 |      105
1518.95/1519.33	c 1518s |      16 |   261991 |   182652 |    22591     10 |     6234 |      105
1521.14/1521.50	c 1520s |      16 |   262093 |   182752 |    22591     10 |     6234 |      105
1523.15/1523.56	c 1523s |      16 |   262190 |   182852 |    22591     10 |     6234 |      105
1525.24/1525.70	c 1525s |      16 |   262289 |   182952 |    22591     10 |     6234 |      105
1527.44/1527.80	c 1527s |      16 |   262387 |   183052 |    22591     10 |     6234 |      105
1529.64/1530.07	c 1529s |      16 |   262486 |   183152 |    22591     10 |     6234 |      105
1531.64/1532.09	c 1531s |      16 |   262587 |   183252 |    22591     10 |     6234 |      105
1534.04/1534.46	c 1533s |      16 |   262685 |   183352 |    22591     10 |     6234 |      105
1536.14/1536.55	c 1536s |      16 |   262783 |   183452 |    22591     10 |     6234 |      105
1538.44/1538.84	c 1538s |      16 |   262880 |   183552 |    22591     10 |     6234 |      105
1540.74/1541.17	c 1540s |      16 |   262980 |   183652 |    22591     10 |     6234 |      105
1543.24/1543.62	c 1543s |      16 |   263078 |   183752 |    22591     10 |     6234 |      105
1545.54/1545.92	c 1545s |      16 |   263181 |   183852 |    22591     10 |     6234 |      105
1547.73/1548.19	c 1547s |      16 |   263357 |   183952 |    22591     10 |     6234 |      105
1550.53/1550.93	c 1550s |      16 |   263651 |   184152 |    22591     10 |     6234 |      105
1553.23/1553.66	c 1553s |      16 |   264096 |   184452 |    22591     10 |     6234 |      105
1555.33/1555.77	c 1555s |      16 |   264417 |   184652 |    22591     10 |     6234 |      105
1557.34/1557.78	c 1557s |      16 |   264537 |   184752 |    22591     10 |     6234 |      105
1560.93/1561.31	c 1560s |      16 |   264793 |   184952 |    22591     10 |     6234 |      105
1564.94/1565.40	c 1564s |      16 |   265176 |   185152 |    22591     10 |     6234 |      105
1569.44/1569.81	c 1569s |      16 |   265475 |   185352 |    22591     10 |     6234 |      105
1571.73/1572.17	c 1571s |      16 |   265590 |   185452 |    22591     10 |     6234 |      105
1574.13/1574.51	c 1573s |      16 |   265700 |   185552 |    22591     10 |     6234 |      105
1578.03/1578.45	c 1577s |      16 |   265905 |   185752 |    22591     10 |     6234 |      105
1582.13/1582.56	c 1582s |      16 |   266101 |   185952 |    22591     10 |     6234 |      105
1584.23/1584.68	c 1584s |      16 |   266198 |   186052 |    22591     10 |     6234 |      105
1586.73/1587.11	c 1586s |      16 |   266609 |   186252 |    22591     10 |     6234 |      105
1589.54/1589.98	c 1589s |      16 |   266917 |   186452 |    22591     10 |     6234 |      105
1592.74/1593.14	c 1592s |      16 |   267160 |   186652 |    22591     10 |     6234 |      105
1596.24/1596.60	c 1596s |      16 |   267361 |   186852 |    22591     10 |     6234 |      105
1599.93/1600.30	c 1599s |      16 |   267568 |   187052 |    22591     10 |     6234 |      105
1601.93/1602.38	c 1601s |      16 |   267665 |   187152 |    22591     10 |     6234 |      105
1604.83/1605.21	c 1604s |      16 |   268175 |   187452 |    22591     10 |     6234 |      105
1607.53/1607.95	c 1607s |      16 |   268656 |   187752 |    22591     10 |     6234 |      105
1610.04/1610.46	c 1609s |      16 |   268954 |   187952 |    22591     10 |     6234 |      105
1612.43/1612.87	c 1612s |      16 |   269148 |   188052 |    22591     10 |     6234 |      105
1615.03/1615.42	c 1614s |      16 |   269267 |   188152 |    22591     10 |     6234 |      105
1617.63/1618.07	c 1617s |      16 |   269372 |   188252 |    22591     10 |     6234 |      105
1620.13/1620.59	c 1620s |      16 |   269523 |   188352 |    22591     10 |     6234 |      105
1622.43/1622.82	c 1622s |      16 |   269634 |   188452 |    22591     10 |     6234 |      105
1625.03/1625.43	c 1624s |      16 |   269742 |   188552 |    22591     10 |     6234 |      105
1627.83/1628.21	c 1627s |      16 |   269826 |   188652 |    22591     10 |     6234 |      105
1630.83/1631.28	c 1630s |      16 |   269938 |   188752 |    22591     10 |     6234 |      105
1633.73/1634.15	c 1633s |      16 |   270035 |   188852 |    22591     10 |     6234 |      105
1636.03/1636.45	c 1635s |      16 |   270126 |   188952 |    22591     10 |     6234 |      105
1638.23/1638.63	c 1638s |      16 |   270239 |   189052 |    22591     10 |     6234 |      105
1640.23/1640.65	c 1640s |      16 |   270333 |   189152 |    22591     10 |     6234 |      105
1642.63/1643.00	c 1642s |      16 |   270435 |   189252 |    22591     10 |     6234 |      105
1645.33/1645.74	c 1645s |      16 |   270536 |   189352 |    22591     10 |     6234 |      105
1647.63/1648.02	c 1647s |      16 |   270664 |   189452 |    22591     10 |     6234 |      105
1650.53/1650.92	c 1650s |      16 |   270757 |   189552 |    22591     10 |     6234 |      105
1653.42/1653.82	c 1653s |      16 |   270863 |   189652 |    22591     10 |     6234 |      105
1655.72/1656.18	c 1655s |      16 |   270988 |   189752 |    22591     10 |     6234 |      105
1658.62/1659.01	c 1658s |      16 |   271100 |   189852 |    22591     10 |     6234 |      105
1661.42/1661.83	c 1661s |      16 |   271214 |   189952 |    22591     10 |     6234 |      105
1663.82/1664.22	c 1663s |      16 |   271314 |   190052 |    22591     10 |     6234 |      105
1666.32/1666.73	c 1666s |      16 |   271414 |   190152 |    22591     10 |     6234 |      105
1668.62/1669.05	c 1668s |      16 |   271514 |   190252 |    22591     10 |     6234 |      105
1670.72/1671.17	c 1670s |      16 |   271609 |   190352 |    22591     10 |     6234 |      105
1672.83/1673.29	c 1672s |      16 |   271730 |   190452 |    22591     10 |     6234 |      105
1675.22/1675.68	c 1675s |      16 |   271883 |   190552 |    22591     10 |     6234 |      105
1677.82/1678.27	c 1677s |      16 |   271980 |   190652 |    22591     10 |     6234 |      105
1682.22/1682.65	c 1682s |      16 |   272099 |   190752 |    22591     11 |     6234 |      105
1684.72/1685.19	c 1684s |      16 |   272203 |   190852 |    22591     11 |     6234 |      105
1687.42/1687.86	c 1687s |      16 |   272305 |   190952 |    22591     11 |     6234 |      105
1690.02/1690.42	c 1689s |      16 |   272412 |   191052 |    22591     11 |     6234 |      105
1692.22/1692.63	c 1692s |      16 |   272505 |   191152 |    22591     11 |     6234 |      105
1695.12/1695.59	c 1695s |      16 |   272657 |   191252 |    22591     11 |     6234 |      105
1698.12/1698.53	c 1698s |      16 |   272760 |   191352 |    22591     11 |     6234 |      105
1700.61/1701.00	c 1700s |      16 |   272857 |   191452 |    22591     11 |     6234 |      105
1703.31/1703.77	c 1703s |      16 |   273054 |   191552 |    22591     11 |     6234 |      105
1705.91/1706.34	c 1705s |      16 |   273158 |   191652 |    22591     11 |     6234 |      105
1708.51/1708.97	c 1708s |      16 |   273240 |   191752 |    22591     11 |     6234 |      105
1710.81/1711.24	c 1710s |      16 |   273351 |   191852 |    22591     11 |     6234 |      105
1713.52/1713.94	c 1713s |      16 |   273454 |   191952 |    22591     11 |     6234 |      105
1716.01/1716.42	c 1715s |      16 |   273558 |   192052 |    22591     11 |     6234 |      105
1718.61/1719.04	c 1718s |      16 |   273663 |   192152 |    22591     11 |     6234 |      105
1720.81/1721.24	c 1720s |      16 |   273764 |   192252 |    22591     11 |     6234 |      105
1722.91/1723.32	c 1722s |      16 |   273871 |   192352 |    22591     11 |     6234 |      105
1726.72/1727.19	c 1726s |      16 |   274061 |   192552 |    22591     11 |     6234 |      105
1730.71/1731.10	c 1730s |      16 |   274253 |   192752 |    22591     11 |     6234 |      105
1734.01/1734.43	c 1733s |      16 |   274457 |   192852 |    22591     11 |     6234 |      105
1736.31/1736.71	c 1736s |      16 |   274596 |   192952 |    22591     11 |     6234 |      105
1738.31/1738.79	c 1738s |      16 |   274698 |   193052 |    22591     11 |     6234 |      105
1742.31/1742.79	c 1742s |      16 |   274897 |   193252 |    22591     11 |     6234 |      105
1744.41/1744.85	c 1744s |      16 |   275019 |   193352 |    22591     11 |     6234 |      105
1746.42/1746.90	c 1746s |      16 |   275261 |   193452 |    22591     11 |     6234 |      105
1748.81/1749.22	c 1748s |      16 |   275363 |   193552 |    22591     11 |     6234 |      105
1750.92/1751.38	c 1750s |      16 |   275470 |   193652 |    22591     11 |     6234 |      105
1754.81/1755.25	c 1754s |      16 |   275667 |   193852 |    22591     11 |     6234 |      105
1758.61/1759.03	c 1758s |      16 |   275864 |   194052 |    22591     11 |     6234 |      105
1762.51/1762.91	c 1762s |      16 |   276078 |   194252 |    22591     11 |     6234 |      105
1765.01/1765.47	c 1764s |      16 |   276177 |   194352 |    22591     11 |     6234 |      105
1767.81/1768.25	c 1767s |      16 |   276276 |   194452 |    22591     11 |     6234 |      105
1770.40/1770.83	c 1770s |      16 |   276362 |   194552 |    22591     11 |     6234 |      105
1773.20/1773.65	c 1773s |      16 |   276462 |   194652 |    22591     11 |     6234 |      105
1775.80/1776.24	c 1775s |      16 |   276560 |   194752 |    22591     11 |     6234 |      105
1778.00/1778.44	c 1777s |      16 |   276659 |   194852 |    22591     11 |     6234 |      105
1784.60/1785.00	c 1784s |      16 |   277095 |   195052 |    22591     11 |     6234 |      105
1788.21/1788.69	c 1788s |      16 |   277414 |   195252 |    22591     11 |     6234 |      105
1792.10/1792.58	c 1792s |      16 |   277714 |   195452 |    22591     11 |     6234 |      105
1794.30/1794.75	c 1794s |      16 |   277850 |   195552 |    22591     11 |     6234 |      105
1796.50/1796.99	c 1796s |      16 |   277974 |   195652 |    22591     11 |     6234 |      105

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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-4101465-1466224172/watcher-4101465-1466224172 -o /tmp/evaluation-result-4101465-1466224172/solver-4101465-1466224172 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23293 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101465-1466224172.opb 

pid=26090
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 26093
/proc/meminfo: memFree=29527816/32872528 swapFree=7780/7780
[pid=26093] ppid=26090 vsize=671164 CPUtime=0 cores=1,3,5,7
/proc/26093/stat : 26093 (toysat) R 26090 26093 23276 0 -1 4202496 2489 0 0 0 0 0 0 0 20 0 4 0 24462074 687271936 3361 33554432000 4194304 16246674 140734759041600 140734759041024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26093/statm: 168303 3370 441 2943 0 165197 0
[pid=26093/tid=26094] ppid=26090 vsize=688572 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26094/stat : 26094 (toysat) S 26090 26093 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462074 705097728 3433 33554432000 4194304 16246674 140734759041600 139769541537008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26093/tid=26095] ppid=26090 vsize=692668 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26095/stat : 26095 (toysat) S 26090 26093 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462074 709292032 3449 33554432000 4194304 16246674 140734759041600 139769531047152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26093/tid=26096] ppid=26090 vsize=697788 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26096/stat : 26096 (toysat) S 26090 26093 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462074 714534912 3467 33554432000 4194304 16246674 140734759041600 139769442987184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100224 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 26093
/proc/meminfo: memFree=29527816/32872528 swapFree=7780/7780
[pid=26093] ppid=26090 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/26093/stat : 26093 (toysat) R 26090 26093 23276 0 -1 4202496 29146 0 0 0 5 4 0 0 20 0 4 0 24462074 1333334016 29957 33554432000 4194304 16246674 140734759041600 140734759040912 7376813 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26093/statm: 325521 29971 801 2943 0 322415 0
[pid=26093/tid=26094] ppid=26090 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26094/stat : 26094 (toysat) S 26090 26093 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462074 1333334016 29983 33554432000 4194304 16246674 140734759041600 139769541537008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26093/tid=26095] ppid=26090 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26095/stat : 26095 (toysat) S 26090 26093 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462074 1333334016 29995 33554432000 4194304 16246674 140734759041600 139769531047152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26093/tid=26096] ppid=26090 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26096/stat : 26096 (toysat) S 26090 26093 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462074 1333334016 30006 33554432000 4194304 16246674 140734759041600 139769442987184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200533 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 26093
/proc/meminfo: memFree=29527816/32872528 swapFree=7780/7780
[pid=26093] ppid=26090 vsize=1316420 CPUtime=0.19 cores=1,3,5,7
/proc/26093/stat : 26093 (toysat) R 26090 26093 23276 0 -1 4202496 47164 0 0 0 13 6 0 0 20 0 4 0 24462074 1348014080 47974 33554432000 4194304 16246674 140734759041600 140734759040912 6955355 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26093/statm: 329105 47974 833 2943 0 325999 0
[pid=26093/tid=26094] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26094/stat : 26094 (toysat) S 26090 26093 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 47974 33554432000 4194304 16246674 140734759041600 139769541537008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26093/tid=26095] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26095/stat : 26095 (toysat) S 26090 26093 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 47974 33554432000 4194304 16246674 140734759041600 139769531047152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26093/tid=26096] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26096/stat : 26096 (toysat) S 26090 26093 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 47974 33554432000 4194304 16246674 140734759041600 139769442987184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1316420

[startup+0.300502 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 26093
/proc/meminfo: memFree=29527816/32872528 swapFree=7780/7780
[pid=26093] ppid=26090 vsize=1316420 CPUtime=0.29 cores=1,3,5,7
/proc/26093/stat : 26093 (toysat) R 26090 26093 23276 0 -1 4202496 71428 0 0 0 21 8 0 0 20 0 4 0 24462074 1348014080 72238 33554432000 4194304 16246674 140734759041600 140734759040912 12655109 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26093/statm: 329105 72256 833 2943 0 325999 0
[pid=26093/tid=26094] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26094/stat : 26094 (toysat) S 26090 26093 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 72266 33554432000 4194304 16246674 140734759041600 139769541537008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26093/tid=26095] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26095/stat : 26095 (toysat) S 26090 26093 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 72278 33554432000 4194304 16246674 140734759041600 139769531047152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26093/tid=26096] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26096/stat : 26096 (toysat) S 26090 26093 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 72287 33554432000 4194304 16246674 140734759041600 139769442987184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1316420

[startup+0.700363 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 26093
/proc/meminfo: memFree=29527816/32872528 swapFree=7780/7780
[pid=26093] ppid=26090 vsize=1316420 CPUtime=0.69 cores=1,3,5,7
/proc/26093/stat : 26093 (toysat) R 26090 26093 23276 0 -1 4202496 81722 0 0 0 60 9 0 0 20 0 4 0 24462074 1348014080 82532 33554432000 4194304 16246674 140734759041600 140734759040912 13191680 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26093/statm: 329105 82532 892 2943 0 325999 0
[pid=26093/tid=26094] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26094/stat : 26094 (toysat) S 26090 26093 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 82532 33554432000 4194304 16246674 140734759041600 139769541537008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26093/tid=26095] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26095/stat : 26095 (toysat) S 26090 26093 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 82532 33554432000 4194304 16246674 140734759041600 139769531047152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26093/tid=26096] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26096/stat : 26096 (toysat) S 26090 26093 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 82532 33554432000 4194304 16246674 140734759041600 139769442987184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1316420

[startup+1.50041 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 26097
/proc/meminfo: memFree=29198816/32872528 swapFree=7780/7780
[pid=26093] ppid=26090 vsize=1316420 CPUtime=1.49 cores=1,3,5,7
/proc/26093/stat : 26093 (toysat) R 26090 26093 23276 0 -1 4202496 81722 0 0 0 140 9 0 0 20 0 4 0 24462074 1348014080 82532 33554432000 4194304 16246674 140734759041600 140734759023488 13774524 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26093/statm: 329105 82532 892 2943 0 325999 0
[pid=26093/tid=26094] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26094/stat : 26094 (toysat) S 26090 26093 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 82532 33554432000 4194304 16246674 140734759041600 139769541537008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26093/tid=26095] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26095/stat : 26095 (toysat) S 26090 26093 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 82532 33554432000 4194304 16246674 140734759041600 139769531047152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26093/tid=26096] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26096/stat : 26096 (toysat) S 26090 26093 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 82532 33554432000 4194304 16246674 140734759041600 139769442987184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1316420

[startup+3.10041 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 26097
/proc/meminfo: memFree=29136444/32872528 swapFree=7780/7780
[pid=26093] ppid=26090 vsize=1316420 CPUtime=3.09 cores=1,3,5,7
/proc/26093/stat : 26093 (toysat) R 26090 26093 23276 0 -1 4202496 142375 0 0 0 291 18 0 0 20 0 4 0 24462074 1348014080 143185 33554432000 4194304 16246674 140734759041600 140734759023488 5828874 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26093/statm: 329105 143185 892 2943 0 325999 0
[pid=26093/tid=26094] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26094/stat : 26094 (toysat) S 26090 26093 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 143186 33554432000 4194304 16246674 140734759041600 139769541537008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26093/tid=26095] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26095/stat : 26095 (toysat) S 26090 26093 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 143186 33554432000 4194304 16246674 140734759041600 139769531047152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26093/tid=26096] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26096/stat : 26096 (toysat) S 26090 26093 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 143186 33554432000 4194304 16246674 140734759041600 139769442987184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1316420

[startup+6.30042 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 26097
/proc/meminfo: memFree=28703200/32872528 swapFree=7780/7780
[pid=26093] ppid=26090 vsize=1316420 CPUtime=6.29 cores=1,3,5,7
/proc/26093/stat : 26093 (toysat) R 26090 26093 23276 0 -1 4202496 205560 0 0 0 605 24 0 0 20 0 4 0 24462074 1348014080 206370 33554432000 4194304 16246674 140734759041600 140734759023488 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26093/statm: 329105 206370 895 2943 0 325999 0
[pid=26093/tid=26094] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26094/stat : 26094 (toysat) S 26090 26093 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 206370 33554432000 4194304 16246674 140734759041600 139769541537008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26093/tid=26095] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26095/stat : 26095 (toysat) S 26090 26093 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 206370 33554432000 4194304 16246674 140734759041600 139769531047152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26093/tid=26096] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26096/stat : 26096 (toysat) S 26090 26093 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 206370 33554432000 4194304 16246674 140734759041600 139769442987184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1316420

[startup+12.7004 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 26097
/proc/meminfo: memFree=28444048/32872528 swapFree=7780/7780
[pid=26093] ppid=26090 vsize=1316420 CPUtime=12.69 cores=1,3,5,7
/proc/26093/stat : 26093 (toysat) R 26090 26093 23276 0 -1 4202496 270298 0 0 0 1236 33 0 0 20 0 4 0 24462074 1348014080 271108 33554432000 4194304 16246674 140734759041600 140734759023488 5712756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26093/statm: 329105 271108 898 2943 0 325999 0
[pid=26093/tid=26094] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26094/stat : 26094 (toysat) S 26090 26093 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 271108 33554432000 4194304 16246674 140734759041600 139769541537008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26093/tid=26095] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26095/stat : 26095 (toysat) S 26090 26093 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 271108 33554432000 4194304 16246674 140734759041600 139769531047152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26093/tid=26096] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26096/stat : 26096 (toysat) S 26090 26093 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 271108 33554432000 4194304 16246674 140734759041600 139769442987184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1316420

[startup+25.5005 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 26146
/proc/meminfo: memFree=29605948/32872528 swapFree=7780/7780
[pid=26093] ppid=26090 vsize=1316420 CPUtime=25.48 cores=1,3,5,7
/proc/26093/stat : 26093 (toysat) R 26090 26093 23276 0 -1 4202496 270298 0 0 0 2515 33 0 0 20 0 4 0 24462074 1348014080 271108 33554432000 4194304 16246674 140734759041600 140734759023488 6012004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26093/statm: 329105 271108 898 2943 0 325999 0
[pid=26093/tid=26094] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26094/stat : 26094 (toysat) S 26090 26093 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 271108 33554432000 4194304 16246674 140734759041600 139769541537008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26093/tid=26095] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26095/stat : 26095 (toysat) S 26090 26093 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 271108 33554432000 4194304 16246674 140734759041600 139769531047152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26093/tid=26096] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26096/stat : 26096 (toysat) S 26090 26093 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 271108 33554432000 4194304 16246674 140734759041600 139769442987184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1316420

[startup+51.1005 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 26150
/proc/meminfo: memFree=29598900/32872528 swapFree=7780/7780
[pid=26093] ppid=26090 vsize=1316420 CPUtime=51.08 cores=1,3,5,7
/proc/26093/stat : 26093 (toysat) R 26090 26093 23276 0 -1 4202496 270299 0 0 0 5074 34 0 0 20 0 4 0 24462074 1348014080 271109 33554432000 4194304 16246674 140734759041600 140734759023488 5712756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26093/statm: 329105 271109 899 2943 0 325999 0
[pid=26093/tid=26094] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26094/stat : 26094 (toysat) S 26090 26093 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 271109 33554432000 4194304 16246674 140734759041600 139769541537008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26093/tid=26095] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26095/stat : 26095 (toysat) S 26090 26093 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 271109 33554432000 4194304 16246674 140734759041600 139769531047152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26093/tid=26096] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26096/stat : 26096 (toysat) S 26090 26093 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 271109 33554432000 4194304 16246674 140734759041600 139769442987184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1316420

[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 26200
/proc/meminfo: memFree=29600812/32872528 swapFree=7780/7780
[pid=26093] ppid=26090 vsize=1316420 CPUtime=102.28 cores=1,3,5,7
/proc/26093/stat : 26093 (toysat) R 26090 26093 23276 0 -1 4202496 270308 0 0 0 10194 34 0 0 20 0 4 0 24462074 1348014080 271112 33554432000 4194304 16246674 140734759041600 140734759023488 5711705 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26093/statm: 329105 271112 902 2943 0 325999 0
[pid=26093/tid=26094] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26094/stat : 26094 (toysat) S 26090 26093 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 271112 33554432000 4194304 16246674 140734759041600 139769541537008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26093/tid=26095] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26095/stat : 26095 (toysat) S 26090 26093 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 271112 33554432000 4194304 16246674 140734759041600 139769531047152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26093/tid=26096] ppid=26090 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26096/stat : 26096 (toysat) S 26090 26093 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462074 1348014080 271112 33554432000 4194304 16246674 140734759041600 139769442987184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1316420


################
# More data... #
################

/proc/26093/task/26096/stat : 26096 (toysat) S 26090 26093 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462074 1441337344 293759 33554432000 4194304 16246674 140734759041600 139769442987184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1407556

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26230
/proc/meminfo: memFree=29423380/32872528 swapFree=7780/7780
[pid=26093] ppid=26090 vsize=1407556 CPUtime=1301.97 cores=1,3,5,7
/proc/26093/stat : 26093 (toysat) R 26090 26093 23276 0 -1 4202496 293124 0 0 0 130155 42 0 0 20 0 4 0 24462074 1441337344 293759 33554432000 4194304 16246674 140734759041600 140734759023488 5677768 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26093/statm: 351889 293759 903 2943 0 348783 0
[pid=26093/tid=26094] ppid=26090 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26094/stat : 26094 (toysat) S 26090 26093 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462074 1441337344 293759 33554432000 4194304 16246674 140734759041600 139769541537008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26093/tid=26095] ppid=26090 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26095/stat : 26095 (toysat) S 26090 26093 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462074 1441337344 293759 33554432000 4194304 16246674 140734759041600 139769531047152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26093/tid=26096] ppid=26090 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26096/stat : 26096 (toysat) S 26090 26093 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462074 1441337344 293759 33554432000 4194304 16246674 140734759041600 139769442987184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1407556

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26231
/proc/meminfo: memFree=29386344/32872528 swapFree=7780/7780
[pid=26093] ppid=26090 vsize=1407556 CPUtime=1361.97 cores=1,3,5,7
/proc/26093/stat : 26093 (toysat) R 26090 26093 23276 0 -1 4202496 293124 0 0 0 136154 43 0 0 20 0 4 0 24462074 1441337344 293759 33554432000 4194304 16246674 140734759041600 140734759023488 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26093/statm: 351889 293759 903 2943 0 348783 0
[pid=26093/tid=26094] ppid=26090 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26094/stat : 26094 (toysat) S 26090 26093 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462074 1441337344 293759 33554432000 4194304 16246674 140734759041600 139769541537008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26093/tid=26095] ppid=26090 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26095/stat : 26095 (toysat) S 26090 26093 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462074 1441337344 293759 33554432000 4194304 16246674 140734759041600 139769531047152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26093/tid=26096] ppid=26090 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26096/stat : 26096 (toysat) S 26090 26093 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462074 1441337344 293759 33554432000 4194304 16246674 140734759041600 139769442987184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1407556

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26233
/proc/meminfo: memFree=29385000/32872528 swapFree=7780/7780
[pid=26093] ppid=26090 vsize=1407556 CPUtime=1421.96 cores=1,3,5,7
/proc/26093/stat : 26093 (toysat) R 26090 26093 23276 0 -1 4202496 293124 0 0 0 142153 43 0 0 20 0 4 0 24462074 1441337344 293759 33554432000 4194304 16246674 140734759041600 140734759023488 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26093/statm: 351889 293759 903 2943 0 348783 0
[pid=26093/tid=26094] ppid=26090 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26094/stat : 26094 (toysat) S 26090 26093 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462074 1441337344 293759 33554432000 4194304 16246674 140734759041600 139769541537008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26093/tid=26095] ppid=26090 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26095/stat : 26095 (toysat) S 26090 26093 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462074 1441337344 293759 33554432000 4194304 16246674 140734759041600 139769531047152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26093/tid=26096] ppid=26090 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26096/stat : 26096 (toysat) S 26090 26093 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462074 1441337344 293759 33554432000 4194304 16246674 140734759041600 139769442987184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1407556

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26234
/proc/meminfo: memFree=29384872/32872528 swapFree=7780/7780
[pid=26093] ppid=26090 vsize=1407556 CPUtime=1481.95 cores=1,3,5,7
/proc/26093/stat : 26093 (toysat) R 26090 26093 23276 0 -1 4202496 293124 0 0 0 148151 44 0 0 20 0 4 0 24462074 1441337344 293759 33554432000 4194304 16246674 140734759041600 140734759023488 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26093/statm: 351889 293759 903 2943 0 348783 0
[pid=26093/tid=26094] ppid=26090 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26094/stat : 26094 (toysat) S 26090 26093 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462074 1441337344 293759 33554432000 4194304 16246674 140734759041600 139769541537008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26093/tid=26095] ppid=26090 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26095/stat : 26095 (toysat) S 26090 26093 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462074 1441337344 293759 33554432000 4194304 16246674 140734759041600 139769531047152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26093/tid=26096] ppid=26090 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26096/stat : 26096 (toysat) S 26090 26093 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462074 1441337344 293759 33554432000 4194304 16246674 140734759041600 139769442987184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1407556

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26235
/proc/meminfo: memFree=29365652/32872528 swapFree=7780/7780
[pid=26093] ppid=26090 vsize=1427012 CPUtime=1541.94 cores=1,3,5,7
/proc/26093/stat : 26093 (toysat) R 26090 26093 23276 0 -1 4202496 297965 0 0 0 154149 45 0 0 20 0 4 0 24462074 1461260288 298602 33554432000 4194304 16246674 140734759041600 140734759023488 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26093/statm: 356753 298602 903 2943 0 353647 0
[pid=26093/tid=26094] ppid=26090 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26094/stat : 26094 (toysat) S 26090 26093 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462074 1461260288 298602 33554432000 4194304 16246674 140734759041600 139769541537008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26093/tid=26095] ppid=26090 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26095/stat : 26095 (toysat) S 26090 26093 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462074 1461260288 298602 33554432000 4194304 16246674 140734759041600 139769531047152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26093/tid=26096] ppid=26090 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26096/stat : 26096 (toysat) S 26090 26093 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462074 1461260288 298602 33554432000 4194304 16246674 140734759041600 139769442987184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1427012

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26237
/proc/meminfo: memFree=29365404/32872528 swapFree=7780/7780
[pid=26093] ppid=26090 vsize=1427012 CPUtime=1601.93 cores=1,3,5,7
/proc/26093/stat : 26093 (toysat) R 26090 26093 23276 0 -1 4202496 297965 0 0 0 160147 46 0 0 20 0 4 0 24462074 1461260288 298602 33554432000 4194304 16246674 140734759041600 140734759023488 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26093/statm: 356753 298602 903 2943 0 353647 0
[pid=26093/tid=26094] ppid=26090 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26094/stat : 26094 (toysat) S 26090 26093 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462074 1461260288 298602 33554432000 4194304 16246674 140734759041600 139769541537008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26093/tid=26095] ppid=26090 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26095/stat : 26095 (toysat) S 26090 26093 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462074 1461260288 298602 33554432000 4194304 16246674 140734759041600 139769531047152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26093/tid=26096] ppid=26090 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26096/stat : 26096 (toysat) S 26090 26093 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462074 1461260288 298602 33554432000 4194304 16246674 140734759041600 139769442987184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1427012

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26238
/proc/meminfo: memFree=29365532/32872528 swapFree=7780/7780
[pid=26093] ppid=26090 vsize=1427012 CPUtime=1661.92 cores=1,3,5,7
/proc/26093/stat : 26093 (toysat) R 26090 26093 23276 0 -1 4202496 297965 0 0 0 166146 46 0 0 20 0 4 0 24462074 1461260288 298602 33554432000 4194304 16246674 140734759041600 140734759023488 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26093/statm: 356753 298602 903 2943 0 353647 0
[pid=26093/tid=26094] ppid=26090 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26094/stat : 26094 (toysat) S 26090 26093 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462074 1461260288 298602 33554432000 4194304 16246674 140734759041600 139769541537008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26093/tid=26095] ppid=26090 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26095/stat : 26095 (toysat) S 26090 26093 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462074 1461260288 298602 33554432000 4194304 16246674 140734759041600 139769531047152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26093/tid=26096] ppid=26090 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26096/stat : 26096 (toysat) S 26090 26093 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462074 1461260288 298602 33554432000 4194304 16246674 140734759041600 139769442987184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1427012

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26239
/proc/meminfo: memFree=29365404/32872528 swapFree=7780/7780
[pid=26093] ppid=26090 vsize=1427012 CPUtime=1721.91 cores=1,3,5,7
/proc/26093/stat : 26093 (toysat) R 26090 26093 23276 0 -1 4202496 297965 0 0 0 172145 46 0 0 20 0 4 0 24462074 1461260288 298602 33554432000 4194304 16246674 140734759041600 140734759023488 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26093/statm: 356753 298602 903 2943 0 353647 0
[pid=26093/tid=26094] ppid=26090 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26094/stat : 26094 (toysat) S 26090 26093 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462074 1461260288 298602 33554432000 4194304 16246674 140734759041600 139769541537008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26093/tid=26095] ppid=26090 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26095/stat : 26095 (toysat) S 26090 26093 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462074 1461260288 298602 33554432000 4194304 16246674 140734759041600 139769531047152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26093/tid=26096] ppid=26090 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26096/stat : 26096 (toysat) S 26090 26093 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462074 1461260288 298602 33554432000 4194304 16246674 140734759041600 139769442987184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1427012

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26240
/proc/meminfo: memFree=29027380/32872528 swapFree=7780/7780
[pid=26093] ppid=26090 vsize=1763908 CPUtime=1781.9 cores=1,3,5,7
/proc/26093/stat : 26093 (toysat) R 26090 26093 23276 0 -1 4202496 382213 0 0 0 178131 59 0 0 20 0 4 0 24462074 1806241792 382850 33554432000 4194304 16246674 140734759041600 140734759023488 4221019 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26093/statm: 440977 382850 903 2943 0 437871 0
[pid=26093/tid=26094] ppid=26090 vsize=1763908 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26094/stat : 26094 (toysat) S 26090 26093 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462074 1806241792 382850 33554432000 4194304 16246674 140734759041600 139769541537008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26093/tid=26095] ppid=26090 vsize=1763908 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26095/stat : 26095 (toysat) S 26090 26093 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462074 1806241792 382850 33554432000 4194304 16246674 140734759041600 139769531047152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26093/tid=26096] ppid=26090 vsize=1763908 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26096/stat : 26096 (toysat) S 26090 26093 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462074 1806241792 382850 33554432000 4194304 16246674 140734759041600 139769442987184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1763908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26240
/proc/meminfo: memFree=28880440/32872528 swapFree=7780/7780
[pid=26093] ppid=26090 vsize=1910340 CPUtime=1800 cores=1,3,5,7
/proc/26093/stat : 26093 (toysat) R 26090 26093 23276 0 -1 4202496 418863 0 0 0 179933 67 0 0 20 0 4 0 24462074 1956188160 419500 33554432000 4194304 16246674 140734759041600 140734759023488 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26093/statm: 477585 419500 904 2943 0 474479 0
[pid=26093/tid=26094] ppid=26090 vsize=1910340 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26094/stat : 26094 (toysat) S 26090 26093 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24462074 1956188160 419500 33554432000 4194304 16246674 140734759041600 139769541537008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26093/tid=26095] ppid=26090 vsize=1910340 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26095/stat : 26095 (toysat) S 26090 26093 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24462074 1956188160 419500 33554432000 4194304 16246674 140734759041600 139769531047152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26093/tid=26096] ppid=26090 vsize=1910340 CPUtime=0 cores=1,3,5,7
/proc/26093/task/26096/stat : 26096 (toysat) S 26090 26093 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24462074 1956188160 419500 33554432000 4194304 16246674 140734759041600 139769442987184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1910340

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 26093 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.44
CPU time (s): 1800.04
CPU user time (s): 1799.34
CPU system time (s): 0.700893
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 1910340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 0.700893
maximum resident set size= 1678000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 418863
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= 193
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55531 second user time and 6.95894 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-18 06:29:33
IDJOB=4101465
IDBENCH=1753
IDSOLVER=2542
FILE ID=node151/4101465-1466224172
RUNJOBID= node151-1466206051-23293
PBS_JOBID= 19918135
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-fixnet4.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101465-1466224172/watcher-4101465-1466224172 -o /tmp/evaluation-result-4101465-1466224172/solver-4101465-1466224172 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23293 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101465-1466224172.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 03b4fab8c58cfc4ea6c0d3c2d05c0d91
RANDOM SEED=672897503

node151.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		: 2667.103
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	: 5334.20
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		: 2667.103
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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		: 2667.103
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		: 2667.103
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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		: 2667.103
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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:        29528492 kB
Buffers:          104068 kB
Cached:           268220 kB
SwapCached:         1996 kB
Active:          2336148 kB
Inactive:         257384 kB
Active(anon):    2221880 kB
Inactive(anon):     1788 kB
Active(file):     114268 kB
Inactive(file):   255596 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             16984 kB
Writeback:             0 kB
AnonPages:       2232324 kB
Mapped:            11768 kB
Shmem:                 0 kB
Slab:             604636 kB
SReclaimable:      48040 kB
SUnreclaim:       556596 kB
KernelStack:        1464 kB
PageTables:         8432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2376676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1726464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node151 at 2016-06-18 06:59:33