Trace number 4101929

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.53

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-danoint.opb
MD5SUM9a58bdfc023900d726e146c07979fe71
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
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables13898
Total number of constraints672
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)16
Number of constraints which are nor clauses,nor cardinality constraints656
Minimum length of a constraint7
Maximum length of a constraint1500
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 525350
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-18T07:34:25+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-4101929-1466228065.opb"]
0.00/0.01	c use --random-gen="3369137564 4158835952 62552214 1818434133 247395937 2411604734 41450484 503059117 4290248976 1935841584 2695522960 3021714211 3259950154 520707258 1093710117 1970687643 1185376521 2385357365 1177852837 1588128802 1900959433 1410971880 2617149173 891320447 2504335756 281741686 1214899571 2380779900 4282747593 3239975590 4016499311 3115569867 614382074 1352616738 2541096191 792853168 2048491730 3518992142 2968448062 3443264484 608036426 2133539722 2694709756 2708362881 3429883264 2396791402 2729114976 2878797225 481909934 1261020997 856544271 2783044413 3840277963 135174897 1241466814 1261167225 1999327252 3153536373 592839883 3590022451 3509116187 970568736 867491271 4155770725 3952008647 337776184 2377495167 3733605143 4244569937 4228848591 466457342 4065968656 29009962 686221685 603626318 3077740734 3606315466 2993148001 2717002911 4095308830 1413781155 256558896 1064990231 3151493862 2366647255 4226498761 216291007 1613241914 2164474573 1751014368 3510057717 257706587 1918600195 2076815084 1093500587 2180880507 2970996609 1116575247 867090202 759300526 250983213 3510781107 2582246669 464510330 1792856785 299768119 2152961645 3292972281 4246796994 3717496483 828982187 3417438782 580658632 1885226287 1669221641 2053892316 1015448298 1414989948 3051587214 111482195 1388718919 414332067 3646164552 3718225906 3955275773 2687086947 3486934633 996001669 1084289940 2139373131 3979018943 633941274 3217094247 1678318247 482366049 3320471697 1916395494 476994827 3877763889 1196390461 1028281134 1292858550 1976289815 494763212 4182105777 66955125 2662165370 3794767742 2280543352 363196891 3026664347 2984424085 4066052201 1275007069 4243679645 1418092648 2552050542 2546849558 708092951 225892223 739018361 577789739 3313535460 2027658554 2872064245 3187830592 3341777829 1910736356 3741721216 419712661 657796072 1850475180 3277975913 192373268 2486548278 2482773633 1664837640 4279083918 1633595013 4062765010 2844040279 3237864049 2076799487 4052072615 4265693588 285181677 168769133 3707064103 199678212 199291056 2136009859 703496510 2285261529 3382935989 3976627238 833310154 651175934 2824107610 1295410130 167345961 3357895024 3483614932 11168243 2567709120 1389172292 4034937044 221543657 772446647 3148856582 2334484689 1206843203 2134778586 232183550 872288876 2892177999 880992278 1512146447 1317656085 386154827 2224679757 2510009068 2708759449 301580011 4249924462 1192604049 610457532 2527211072 3691495883 3869681914 112645032 4149025352 3200102248 922442778 2012009316 3420636255 432275635 1532980919 2501320307 629131070 2159094748 3570522255 2968678760 2897369703 1422371557 2242857030 3854443605 4010234301 157693360 3218913960 4147339813 4091880825 294564885 3929601924 557361683 1688746447 2284431828 255 362436" option to reproduce the execution
0.08/0.18	c #vars 13898
0.08/0.18	c #constraints 672
0.48/0.53	c BCD2: Hardening is enabled.
0.48/0.53	c BCD2: BiasedSearch is enabled.
0.48/0.53	c Solving starts ...
0.48/0.53	c ============================[ Search Statistics ]============================
0.48/0.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.48/0.53	c       |         |          |          |    Limit     GC | Var      | Constra 
0.48/0.53	c =============================================================================
0.48/0.53	c  0.0s |       0 |        0 |        0 |     4904      0 |     5971 |        0
0.58/0.69	c  0.2s |       1 |      197 |      100 |     4904      0 |     5971 |        0
0.68/0.76	c  0.2s |       2 |      378 |      250 |     5395      0 |     5971 |        0
0.78/0.86	c  0.3s |       3 |      636 |      475 |     5935      0 |     5971 |        0
0.99/1.01	c  0.5s |       4 |     1015 |      813 |     6529      0 |     5971 |        0
1.19/1.26	c  0.7s |       5 |     1585 |     1320 |     7182      0 |     5971 |        0
1.59/1.68	c  1.2s |       6 |     2666 |     2081 |     8692      0 |     5971 |        0
2.19/2.25	c  1.7s |       7 |     3902 |     3223 |     9562      0 |     5971 |        0
4.19/4.27	c  3.7s |       7 |     4862 |     3723 |     9562      0 |     5971 |        0
6.19/6.24	c  5.7s |       8 |     6315 |     4936 |    10519      0 |     5971 |        0
8.29/8.34	c  7.8s |       8 |     9197 |     6436 |    10519      0 |     5971 |        0
9.79/9.85	c  9.3s |       9 |    10272 |     7506 |    11571      0 |     5971 |        0
11.10/11.13	c 10.6s |      10 |    15001 |    11361 |    12729      0 |     5971 |        0
13.20/13.30	c 12.8s |      10 |    19457 |    14761 |    12729      0 |     5971 |        0
15.29/15.32	c 14.8s |      10 |    20158 |    15461 |    12729      0 |     5971 |        0
17.49/17.54	c 17.0s |      10 |    20927 |    16061 |    12729      0 |     5971 |        0
19.69/19.76	c 19.2s |      10 |    22322 |    16561 |    12729      0 |     5971 |        0
21.89/21.98	c 21.5s |      10 |    23569 |    17061 |    14002      0 |     5971 |        0
22.29/22.38	c 21.9s |      11 |    23722 |    17144 |    14002      0 |     5971 |        0
24.39/24.46	c 23.9s |      11 |    24843 |    17444 |    14002      0 |     5971 |        0
26.69/26.78	c 26.2s |      11 |    25263 |    17844 |    14002      0 |     5971 |        0
29.09/29.15	c 28.6s |      11 |    25659 |    18244 |    14002      0 |     5971 |        0
31.49/31.52	c 31.0s |      11 |    26058 |    18644 |    14002      0 |     5971 |        0
33.89/33.95	c 33.4s |      11 |    26459 |    19044 |    14002      0 |     5971 |        0
36.29/36.39	c 35.9s |      11 |    26861 |    19444 |    14002      0 |     5971 |        0
38.79/38.86	c 38.3s |      11 |    27262 |    19844 |    14002      0 |     5971 |        0
41.29/41.38	c 40.9s |      11 |    27659 |    20244 |    14002      0 |     5971 |        0
43.79/43.86	c 43.3s |      11 |    28065 |    20644 |    14002      0 |     5971 |        0
46.29/46.37	c 45.8s |      11 |    28463 |    21044 |    14002      0 |     5971 |        0
48.78/48.89	c 48.4s |      11 |    28863 |    21444 |    14002      0 |     5971 |        0
51.38/51.44	c 50.9s |      11 |    29266 |    21844 |    14002      0 |     5971 |        0
53.89/53.97	c 53.4s |      11 |    29666 |    22244 |    14002      0 |     5971 |        0
56.48/56.53	c 56.0s |      11 |    30066 |    22644 |    14002      0 |     5971 |        0
59.08/59.10	c 58.6s |      11 |    30459 |    23044 |    14002      0 |     5971 |        0
61.59/61.69	c 61.2s |      11 |    30855 |    23444 |    14002      0 |     5971 |        0
63.68/63.72	c 63.2s |      11 |    31768 |    23944 |    14002      0 |     5971 |        0
65.99/66.09	c 65.6s |      11 |    32490 |    24444 |    14002      0 |     5971 |        0
68.29/68.31	c 67.8s |      11 |    32977 |    24844 |    14002      0 |     5971 |        0
70.78/70.81	c 70.3s |      11 |    33562 |    25344 |    14002      0 |     5971 |        0
73.18/73.22	c 72.7s |      11 |    34053 |    25744 |    15403      1 |     5971 |        0
73.58/73.67	c 73.1s |      12 |    34130 |    25819 |    15403      1 |     5971 |        0
75.68/75.73	c 75.2s |      12 |    36814 |    27119 |    15403      1 |     5971 |        0
77.78/77.83	c 77.3s |      12 |    39050 |    28119 |    15403      1 |     5971 |        0
79.97/80.02	c 79.5s |      12 |    42107 |    28919 |    15403      1 |     5971 |        0
81.97/82.04	c 81.5s |      12 |    44215 |    29619 |    15403      1 |     5971 |        0
83.97/84.06	c 83.5s |      12 |    46443 |    30319 |    15403      1 |     5971 |        0
86.27/86.38	c 85.9s |      12 |    48696 |    31019 |    15403      1 |     5971 |        0
88.37/88.42	c 87.9s |      12 |    50907 |    31619 |    15403      1 |     5971 |        0
90.37/90.48	c 90.0s |      12 |    52563 |    32219 |    15403      1 |     5971 |        0
92.57/92.63	c 92.1s |      12 |    54354 |    32819 |    15403      1 |     5971 |        0
94.77/94.80	c 94.3s |      12 |    56300 |    33419 |    15403      1 |     5971 |        0
96.78/96.84	c 96.3s |      12 |    58618 |    34019 |    15403      1 |     5971 |        0
99.08/99.13	c 98.6s |      12 |    60412 |    34619 |    15403      1 |     5971 |        0
101.18/101.30	c  100s |      12 |    62579 |    35219 |    15403      1 |     5971 |        0
103.38/103.50	c  102s |      12 |    64062 |    35819 |    15403      1 |     5971 |        0
105.68/105.79	c  105s |      12 |    66243 |    36519 |    15403      1 |     5971 |        0
107.88/107.98	c  107s |      12 |    68328 |    37219 |    15403      1 |     5971 |        0
109.87/109.99	c  109s |      12 |    69994 |    37819 |    15403      1 |     5971 |        0
112.07/112.15	c  111s |      12 |    71292 |    38419 |    15403      1 |     5971 |        0
113.47/113.50	c  112s |      13 |    72332 |    38832 |    16944      1 |     5971 |        0
115.48/115.58	c  115s |      13 |    74549 |    39132 |    16944      2 |     5971 |        0
117.87/117.90	c  117s |      13 |    75051 |    39632 |    16944      2 |     5971 |        0
120.17/120.23	c  119s |      13 |    75550 |    40132 |    16944      2 |     5971 |        0
122.57/122.64	c  122s |      13 |    76049 |    40632 |    16944      2 |     5971 |        0
124.97/125.05	c  124s |      13 |    76555 |    41132 |    16944      2 |     5971 |        0
127.47/127.52	c  126s |      13 |    77055 |    41632 |    16944      2 |     5971 |        0
129.77/129.89	c  129s |      13 |    77560 |    42132 |    16944      2 |     5971 |        0
132.17/132.28	c  131s |      13 |    78056 |    42632 |    16944      2 |     5971 |        0
134.57/134.69	c  134s |      13 |    78561 |    43132 |    16944      2 |     5971 |        0
137.17/137.22	c  136s |      13 |    79055 |    43632 |    16944      2 |     5971 |        0
139.57/139.65	c  139s |      13 |    79557 |    44132 |    16944      2 |     5971 |        0
142.07/142.10	c  141s |      13 |    80056 |    44632 |    16944      2 |     5971 |        0
143.97/144.10	c  143s |      13 |    80454 |    45032 |    16944      2 |     5971 |        0
146.06/146.17	c  145s |      13 |    80857 |    45432 |    16944      2 |     5971 |        0
148.16/148.25	c  147s |      13 |    81254 |    45832 |    16944      2 |     5971 |        0
150.67/150.76	c  150s |      13 |    81752 |    46332 |    16944      2 |     5971 |        0
152.66/152.78	c  152s |      13 |    82157 |    46732 |    16944      2 |     5971 |        0
154.76/154.81	c  154s |      13 |    82561 |    47132 |    16944      2 |     5971 |        0
156.76/156.84	c  156s |      13 |    82961 |    47532 |    16944      2 |     5971 |        0
158.76/158.88	c  158s |      13 |    83359 |    47932 |    16944      2 |     5971 |        0
160.86/160.97	c  160s |      13 |    83762 |    48332 |    16944      2 |     5971 |        0
162.96/163.05	c  162s |      13 |    84162 |    48732 |    16944      2 |     5971 |        0
165.07/165.11	c  164s |      13 |    84566 |    49132 |    16944      2 |     5971 |        0
167.06/167.16	c  166s |      13 |    84960 |    49532 |    16944      2 |     5971 |        0
169.16/169.21	c  168s |      13 |    85363 |    49932 |    16944      2 |     5971 |        0
171.26/171.33	c  170s |      13 |    85765 |    50332 |    16944      2 |     5971 |        0
173.46/173.50	c  172s |      13 |    86161 |    50732 |    16944      2 |     5971 |        0
175.56/175.68	c  175s |      13 |    86565 |    51132 |    16944      2 |     5971 |        0
177.76/177.82	c  177s |      13 |    86962 |    51532 |    16944      2 |     5971 |        0
179.86/179.96	c  179s |      13 |    87362 |    51932 |    16944      2 |     5971 |        0
182.06/182.15	c  181s |      13 |    87758 |    52332 |    16944      2 |     5971 |        0
184.16/184.30	c  183s |      13 |    88162 |    52732 |    16944      2 |     5971 |        0
186.46/186.51	c  185s |      13 |    88561 |    53132 |    16944      2 |     5971 |        0
188.66/188.70	c  188s |      13 |    88965 |    53532 |    16944      2 |     5971 |        0
190.86/190.96	c  190s |      13 |    89362 |    53932 |    16944      2 |     5971 |        0
192.96/193.05	c  192s |      13 |    89665 |    54232 |    16944      3 |     5971 |        0
195.16/195.26	c  194s |      13 |    90068 |    54632 |    16944      3 |     5971 |        0
197.36/197.45	c  196s |      13 |    90467 |    55032 |    16944      3 |     5971 |        0
199.56/199.67	c  199s |      13 |    90867 |    55432 |    16944      3 |     5971 |        0
201.76/201.86	c  201s |      13 |    91267 |    55832 |    16944      3 |     5971 |        0
204.06/204.11	c  203s |      13 |    91670 |    56232 |    16944      3 |     5971 |        0
206.35/206.45	c  205s |      13 |    92071 |    56632 |    16944      3 |     5971 |        0
208.55/208.69	c  208s |      13 |    92469 |    57032 |    16944      3 |     5971 |        0
210.85/211.00	c  210s |      13 |    92873 |    57432 |    16944      3 |     5971 |        0
213.15/213.26	c  212s |      13 |    93274 |    57832 |    16944      3 |     5971 |        0
215.35/215.44	c  214s |      13 |    93673 |    58232 |    18639      3 |     5971 |        0
216.05/216.13	c  215s |      14 |    93794 |    58352 |    18639      3 |     5971 |        0
218.05/218.17	c  217s |      14 |    96532 |    59652 |    18639      3 |     5971 |        0
220.25/220.35	c  219s |      14 |   100146 |    61252 |    18639      3 |     5971 |        0
222.35/222.47	c  221s |      14 |   103828 |    62552 |    18639      3 |     5971 |        0
224.46/224.55	c  224s |      14 |   106836 |    63652 |    18639      3 |     5971 |        0
226.46/226.60	c  226s |      14 |   110016 |    64752 |    18639      3 |     5971 |        0
228.66/228.73	c  228s |      14 |   113421 |    65852 |    18639      3 |     5971 |        0
230.76/230.87	c  230s |      14 |   117417 |    67052 |    18639      3 |     5971 |        0
232.96/233.04	c  232s |      14 |   121395 |    68152 |    18639      3 |     5971 |        0
234.96/235.07	c  234s |      14 |   124841 |    69152 |    18639      3 |     5971 |        0
237.06/237.15	c  236s |      14 |   128295 |    70152 |    18639      3 |     5971 |        0
239.06/239.16	c  238s |      14 |   130216 |    70852 |    18639      4 |     5971 |        0
241.16/241.23	c  240s |      14 |   132865 |    71852 |    18639      4 |     5971 |        0
243.26/243.31	c  242s |      14 |   135280 |    72852 |    18639      4 |     5971 |        0
245.36/245.42	c  244s |      14 |   137263 |    73752 |    18639      4 |     5971 |        0
247.35/247.47	c  246s |      14 |   140390 |    74652 |    18639      4 |     5971 |        0
249.55/249.67	c  249s |      14 |   143897 |    75652 |    18639      4 |     5971 |        0
251.75/251.89	c  251s |      14 |   147261 |    76652 |    18639      4 |     5971 |        0
253.85/253.99	c  253s |      14 |   149948 |    77552 |    18639      4 |     5971 |        0
256.05/256.19	c  255s |      14 |   152755 |    78452 |    18639      4 |     5971 |        0
258.15/258.23	c  257s |      14 |   154953 |    79252 |    18639      4 |     5971 |        0
260.15/260.27	c  259s |      14 |   157326 |    80052 |    18639      4 |     5971 |        0
262.15/262.29	c  261s |      14 |   160252 |    80952 |    18639      4 |     5971 |        0
264.25/264.33	c  263s |      14 |   163135 |    81852 |    18639      4 |     5971 |        0
266.26/266.36	c  265s |      14 |   165743 |    82652 |    18639      4 |     5971 |        0
268.36/268.45	c  267s |      14 |   168141 |    83552 |    18639      4 |     5971 |        0
270.56/270.61	c  270s |      14 |   171385 |    84552 |    18639      4 |     5971 |        0
272.65/272.72	c  272s |      14 |   174167 |    85452 |    18639      4 |     5971 |        0
274.65/274.78	c  274s |      14 |   176705 |    86152 |    18639      5 |     5971 |        0
276.95/277.04	c  276s |      14 |   180390 |    87152 |    20503      5 |     5971 |        0
278.15/278.22	c  277s |      15 |   182083 |    87632 |    20503      5 |     5971 |        0
280.55/280.67	c  280s |      15 |   185671 |    88932 |    20503      5 |     5971 |        0
282.65/282.78	c  282s |      15 |   187148 |    90132 |    20503      5 |     5971 |        0
284.75/284.82	c  284s |      15 |   188989 |    91132 |    20503      5 |     5971 |        0
286.95/287.05	c  286s |      15 |   190805 |    92132 |    20503      5 |     5971 |        0
289.15/289.27	c  288s |      15 |   192464 |    93032 |    20503      5 |     5971 |        0
291.24/291.31	c  290s |      15 |   193845 |    93832 |    20503      5 |     5971 |        0
293.34/293.40	c  292s |      15 |   195258 |    94632 |    20503      5 |     5971 |        0
295.54/295.67	c  295s |      15 |   196591 |    95432 |    20503      5 |     5971 |        0
297.74/297.88	c  297s |      15 |   197922 |    96232 |    20503      5 |     5971 |        0
299.85/299.90	c  299s |      15 |   198825 |    96832 |    20503      5 |     5971 |        0
301.85/301.99	c  301s |      15 |   199768 |    97432 |    20503      5 |     5971 |        0
304.14/304.28	c  303s |      15 |   200946 |    98132 |    20503      5 |     5971 |        0
306.24/306.30	c  305s |      15 |   203580 |    99032 |    20503      5 |     5971 |        0
308.24/308.34	c  307s |      15 |   206795 |   100032 |    20503      5 |     5971 |        0
310.44/310.52	c  309s |      15 |   209991 |   101032 |    20503      5 |     5971 |        0
312.54/312.68	c  312s |      15 |   211651 |   101732 |    20503      5 |     5971 |        0
314.74/314.85	c  314s |      15 |   212921 |   102932 |    20503      5 |     5971 |        0
316.85/316.92	c  316s |      15 |   214043 |   103932 |    20503      6 |     5971 |        0
318.95/319.05	c  318s |      15 |   215343 |   105132 |    20503      6 |     5971 |        0
321.15/321.23	c  320s |      15 |   216489 |   106232 |    20503      6 |     5971 |        0
323.24/323.40	c  322s |      15 |   217524 |   107232 |    20503      6 |     5971 |        0
325.44/325.59	c  325s |      15 |   218560 |   108232 |    20503      6 |     5971 |        0
327.54/327.64	c  327s |      15 |   219493 |   109132 |    20503      6 |     5971 |        0
329.74/329.80	c  329s |      15 |   220355 |   109932 |    20503      6 |     5971 |        0
331.74/331.81	c  331s |      15 |   221282 |   110732 |    20503      6 |     5971 |        0
333.94/334.01	c  333s |      15 |   222351 |   111632 |    20503      6 |     5971 |        0
336.04/336.16	c  335s |      15 |   223392 |   112532 |    20503      6 |     5971 |        0
338.24/338.35	c  337s |      15 |   224470 |   113432 |    20503      6 |     5971 |        0
340.24/340.38	c  339s |      15 |   225548 |   114332 |    20503      6 |     5971 |        0
342.54/342.64	c  342s |      15 |   226591 |   115232 |    20503      6 |     5971 |        0
344.74/344.82	c  344s |      15 |   227592 |   116132 |    20503      6 |     5971 |        0
346.74/346.83	c  346s |      15 |   228492 |   116932 |    20503      6 |     5971 |        0
349.04/349.19	c  348s |      15 |   229355 |   117732 |    20503      6 |     5971 |        0
351.24/351.38	c  350s |      15 |   230359 |   118632 |    20503      6 |     5971 |        0
353.44/353.53	c  353s |      15 |   231002 |   119232 |    20503      7 |     5971 |        0
355.53/355.60	c  355s |      15 |   231819 |   119932 |    20503      7 |     5971 |        0
359.23/359.31	c  358s |      15 |   232578 |   120632 |    20503      7 |     5971 |        0
361.33/361.41	c  360s |      15 |   233448 |   121332 |    20503      7 |     5971 |        0
363.33/363.46	c  362s |      15 |   234329 |   122132 |    20503      7 |     5971 |        0
365.53/365.61	c  365s |      15 |   235188 |   122932 |    20503      7 |     5971 |        0
367.53/367.69	c  367s |      15 |   235945 |   123632 |    20503      7 |     5971 |        0
369.83/369.95	c  369s |      15 |   236785 |   124432 |    20503      7 |     5971 |        0
371.84/371.99	c  371s |      15 |   237295 |   124932 |    20503      7 |     5971 |        0
374.13/374.22	c  373s |      15 |   237997 |   125632 |    20503      7 |     5971 |        0
376.33/376.41	c  375s |      15 |   238849 |   126332 |    20503      7 |     5971 |        0
378.43/378.57	c  378s |      15 |   239667 |   127032 |    20503      7 |     5971 |        0
380.73/380.80	c  380s |      15 |   240408 |   127732 |    20503      7 |     5971 |        0
382.83/382.94	c  382s |      15 |   241146 |   128432 |    20503      7 |     5971 |        0
384.83/384.96	c  384s |      15 |   241798 |   129032 |    20503      7 |     5971 |        0
387.03/387.13	c  386s |      15 |   242456 |   129632 |    20503      7 |     5971 |        0
389.13/389.27	c  388s |      15 |   243051 |   130232 |    20503      7 |     5971 |        0
391.53/391.65	c  391s |      15 |   243777 |   130832 |    22554      7 |     5971 |        0
393.63/393.72	c  393s |      15 |   244578 |   131532 |    22554      7 |     5971 |        0
393.73/393.81	c  393s |      16 |   244605 |   131552 |    22554      7 |     5971 |        0
395.72/395.83	c  395s |      16 |   246700 |   131852 |    22554      7 |     5971 |        0
397.72/397.85	c  397s |      16 |   247105 |   132252 |    22554      7 |     5971 |        0
399.82/399.97	c  399s |      16 |   247503 |   132652 |    22554      7 |     5971 |        0
402.02/402.14	c  401s |      16 |   247909 |   133052 |    22554      7 |     5971 |        0
404.22/404.31	c  403s |      16 |   248302 |   133452 |    22554      7 |     5971 |        0
406.42/406.52	c  405s |      16 |   248711 |   133852 |    22554      7 |     5971 |        0
408.72/408.88	c  408s |      16 |   249115 |   134252 |    22554      7 |     5971 |        0
411.12/411.29	c  410s |      16 |   249591 |   134652 |    22554      7 |     5971 |        0
413.54/413.66	c  413s |      16 |   250085 |   135052 |    22554      7 |     5971 |        0
415.93/416.07	c  415s |      16 |   250527 |   135452 |    22554      7 |     5971 |        0
418.43/418.51	c  417s |      16 |   250931 |   135852 |    22554      7 |     5971 |        0
420.73/420.87	c  420s |      16 |   251342 |   136252 |    22554      7 |     5971 |        0
423.12/423.29	c  422s |      16 |   251835 |   136652 |    22554      7 |     5971 |        0
425.52/425.62	c  425s |      16 |   252304 |   137052 |    22554      7 |     5971 |        0
427.83/427.98	c  427s |      16 |   252774 |   137452 |    22554      7 |     5971 |        0
430.32/430.42	c  429s |      16 |   253167 |   137852 |    22554      7 |     5971 |        0
432.72/432.87	c  432s |      16 |   253605 |   138252 |    22554      7 |     5971 |        0
435.03/435.17	c  434s |      16 |   253972 |   138552 |    22554      8 |     5971 |        0
437.53/437.62	c  437s |      16 |   254369 |   138952 |    22554      8 |     5971 |        0
440.03/440.10	c  439s |      16 |   254846 |   139352 |    22554      8 |     5971 |        0
442.52/442.64	c  442s |      16 |   255401 |   139752 |    22554      8 |     5971 |        0
445.12/445.27	c  444s |      16 |   255887 |   140152 |    22554      8 |     5971 |        0
447.72/447.84	c  447s |      16 |   256331 |   140552 |    22554      8 |     5971 |        0
450.32/450.41	c  449s |      16 |   256808 |   140952 |    22554      8 |     5971 |        0
452.92/453.02	c  452s |      16 |   257220 |   141352 |    22554      8 |     5971 |        0
455.52/455.62	c  455s |      16 |   257721 |   141752 |    22554      8 |     5971 |        0
457.53/457.70	c  457s |      16 |   258026 |   142052 |    22554      8 |     5971 |        0
459.62/459.72	c  459s |      16 |   258321 |   142352 |    22554      8 |     5971 |        0
462.22/462.30	c  461s |      16 |   258781 |   142752 |    22554      8 |     5971 |        0
464.72/464.88	c  464s |      16 |   259181 |   143152 |    22554      8 |     5971 |        0
467.31/467.48	c  466s |      16 |   259578 |   143552 |    22554      8 |     5971 |        0
470.11/470.22	c  469s |      16 |   260086 |   143952 |    22554      8 |     5971 |        0
472.21/472.31	c  471s |      16 |   260386 |   144252 |    22554      8 |     5971 |        0
474.21/474.34	c  473s |      16 |   260764 |   144552 |    22554      8 |     5971 |        0
476.82/476.96	c  476s |      16 |   261263 |   144952 |    22554      8 |     5971 |        0
478.92/479.06	c  478s |      16 |   261588 |   145252 |    22554      8 |     5971 |        0
481.12/481.22	c  480s |      16 |   261883 |   145552 |    22554      8 |     5971 |        0
483.32/483.44	c  482s |      16 |   262197 |   145852 |    22554      8 |     5971 |        0
485.31/485.47	c  484s |      16 |   262497 |   146152 |    22554      8 |     5971 |        0
487.91/488.06	c  487s |      16 |   262968 |   146552 |    22554      8 |     5971 |        0
490.52/490.68	c  490s |      16 |   263407 |   146952 |    22554      8 |     5971 |        0
493.41/493.52	c  492s |      16 |   263838 |   147352 |    22554      8 |     5971 |        0
496.02/496.15	c  495s |      16 |   264240 |   147752 |    22554      8 |     5971 |        0
498.72/498.81	c  498s |      16 |   264643 |   148152 |    22554      8 |     5971 |        0
501.22/501.30	c  500s |      16 |   265223 |   148552 |    22554      8 |     5971 |        0
503.52/503.69	c  503s |      16 |   265869 |   148952 |    22554      8 |     5971 |        0
505.92/506.03	c  505s |      16 |   266591 |   149352 |    22554      8 |     5971 |        0
508.31/508.48	c  507s |      16 |   267131 |   149752 |    22554      8 |     5971 |        0
510.81/510.93	c  510s |      16 |   267847 |   150152 |    22554      8 |     5971 |        0
513.21/513.39	c  512s |      16 |   268696 |   150552 |    22554      8 |     5971 |        0
515.51/515.68	c  515s |      16 |   269322 |   150952 |    22554      8 |     5971 |        0
518.02/518.19	c  517s |      16 |   269989 |   151352 |    22554      8 |     5971 |        0
520.11/520.22	c  519s |      16 |   270829 |   151652 |    22554      8 |     5971 |        0
522.11/522.26	c  521s |      16 |   271414 |   151952 |    22554      8 |     5971 |        0
524.61/524.73	c  524s |      16 |   271977 |   152352 |    22554      8 |     5971 |        0
527.31/527.40	c  526s |      16 |   272653 |   152752 |    22554      8 |     5971 |        0
529.30/529.43	c  528s |      16 |   273210 |   153052 |    22554      8 |     5971 |        0
531.80/531.92	c  531s |      16 |   274136 |   153452 |    22554      8 |     5971 |        0
534.30/534.47	c  533s |      16 |   274710 |   153852 |    22554      8 |     5971 |        0
536.40/536.50	c  535s |      16 |   275409 |   154152 |    22554      8 |     5971 |        0
538.91/539.00	c  538s |      16 |   276049 |   154552 |    22554      8 |     5971 |        0
541.30/541.47	c  540s |      16 |   276587 |   154952 |    22554      8 |     5971 |        0
543.51/543.69	c  543s |      16 |   277314 |   155252 |    22554      8 |     5971 |        0
545.62/545.74	c  545s |      16 |   277927 |   155552 |    22554      8 |     5971 |        0
549.01/549.12	c  548s |      16 |   278696 |   155952 |    22554      9 |     5971 |        0
551.31/551.49	c  550s |      16 |   279214 |   156352 |    22554      9 |     5971 |        0
553.51/553.61	c  553s |      16 |   279611 |   156652 |    22554      9 |     5971 |        0
555.61/555.75	c  555s |      16 |   280120 |   156952 |    22554      9 |     5971 |        0
557.81/557.94	c  557s |      16 |   280624 |   157252 |    22554      9 |     5971 |        0
559.91/560.05	c  559s |      16 |   281333 |   157552 |    22554      9 |     5971 |        0
562.50/562.66	c  562s |      16 |   282048 |   157952 |    22554      9 |     5971 |        0
565.20/565.33	c  564s |      16 |   282578 |   158352 |    22554      9 |     5971 |        0
567.40/567.52	c  566s |      16 |   283234 |   158652 |    22554      9 |     5971 |        0
569.51/569.69	c  569s |      16 |   283884 |   158952 |    22554      9 |     5971 |        0
571.80/571.90	c  571s |      16 |   284471 |   159252 |    22554      9 |     5971 |        0
573.90/574.05	c  573s |      16 |   285001 |   159552 |    22554      9 |     5971 |        0
576.10/576.20	c  575s |      16 |   285578 |   159852 |    22554      9 |     5971 |        0
578.10/578.28	c  577s |      16 |   286150 |   160152 |    22554      9 |     5971 |        0
580.20/580.38	c  579s |      16 |   286672 |   160452 |    22554      9 |     5971 |        0
582.50/582.63	c  582s |      16 |   287262 |   160752 |    22554      9 |     5971 |        0
584.80/584.94	c  584s |      16 |   287924 |   161052 |    22554      9 |     5971 |        0
587.09/587.28	c  586s |      16 |   288512 |   161352 |    22554      9 |     5971 |        0
589.30/589.43	c  588s |      16 |   289044 |   161652 |    22554      9 |     5971 |        0
591.60/591.71	c  591s |      16 |   289561 |   161952 |    22554      9 |     5971 |        0
593.80/594.00	c  593s |      16 |   290222 |   162252 |    22554      9 |     5971 |        0
596.21/596.39	c  595s |      16 |   290901 |   162552 |    22554      9 |     5971 |        0
598.50/598.60	c  598s |      16 |   291370 |   162852 |    22554      9 |     5971 |        0
600.90/601.06	c  600s |      16 |   291932 |   163152 |    22554      9 |     5971 |        0
603.50/603.69	c  603s |      16 |   292424 |   163452 |    22554      9 |     5971 |        0
605.79/605.92	c  605s |      16 |   292735 |   163752 |    22554      9 |     5971 |        0
607.89/608.03	c  607s |      16 |   293166 |   164052 |    22554      9 |     5971 |        0
610.09/610.24	c  609s |      16 |   293907 |   164352 |    22554      9 |     5971 |        0
612.09/612.29	c  611s |      16 |   294338 |   164652 |    22554      9 |     5971 |        0
614.29/614.49	c  613s |      16 |   294874 |   164952 |    22554      9 |     5971 |        0
616.59/616.72	c  616s |      16 |   295549 |   165252 |    22554      9 |     5971 |        0
618.59/618.74	c  618s |      16 |   295894 |   165552 |    22554      9 |     5971 |        0
620.79/620.95	c  620s |      16 |   296331 |   165852 |    22554      9 |     5971 |        0
623.09/623.22	c  622s |      16 |   296913 |   166152 |    22554      9 |     5971 |        0
625.19/625.38	c  624s |      16 |   297424 |   166452 |    22554      9 |     5971 |        0
627.49/627.69	c  627s |      16 |   298012 |   166752 |    22554      9 |     5971 |        0
629.79/629.91	c  629s |      16 |   298507 |   167052 |    22554      9 |     5971 |        0
631.99/632.16	c  631s |      16 |   299016 |   167352 |    22554      9 |     5971 |        0
634.19/634.39	c  633s |      16 |   299499 |   167652 |    22554      9 |     5971 |        0
636.39/636.58	c  636s |      16 |   299965 |   167952 |    22554      9 |     5971 |        0
638.79/638.90	c  638s |      16 |   300535 |   168252 |    22554      9 |     5971 |        0
640.89/641.05	c  640s |      16 |   300901 |   168552 |    22554      9 |     5971 |        0
643.10/643.26	c  642s |      16 |   301386 |   168852 |    22554      9 |     5971 |        0
645.39/645.55	c  645s |      16 |   301829 |   169152 |    22554      9 |     5971 |        0
647.80/647.96	c  647s |      16 |   302303 |   169452 |    22554      9 |     5971 |        0
650.19/650.32	c  649s |      16 |   302729 |   169752 |    22554      9 |     5971 |        0
652.49/652.63	c  652s |      16 |   303238 |   170052 |    22554      9 |     5971 |        0
654.89/655.00	c  654s |      16 |   303884 |   170352 |    22554      9 |     5971 |        0
657.29/657.44	c  656s |      16 |   304426 |   170652 |    22554      9 |     5971 |        0
659.69/659.88	c  659s |      16 |   304945 |   170952 |    22554      9 |     5971 |        0
661.89/662.02	c  661s |      16 |   305578 |   171252 |    22554      9 |     5971 |        0
664.09/664.22	c  663s |      16 |   306105 |   171552 |    22554      9 |     5971 |        0
666.38/666.50	c  665s |      16 |   306539 |   171852 |    22554      9 |     5971 |        0
668.89/669.00	c  668s |      16 |   307244 |   172152 |    22554      9 |     5971 |        0
671.39/671.59	c  671s |      16 |   307785 |   172452 |    22554      9 |     5971 |        0
673.89/674.08	c  673s |      16 |   308468 |   172752 |    22554      9 |     5971 |        0
676.49/676.60	c  676s |      16 |   309009 |   173052 |    22554      9 |     5971 |        0
678.89/679.08	c  678s |      16 |   309541 |   173352 |    22554      9 |     5971 |        0
682.89/683.01	c  682s |      16 |   310033 |   173652 |    22554     10 |     5971 |        0
690.29/690.43	c  689s |      16 |   310547 |   173852 |    22554     10 |     5971 |        0
692.39/692.52	c  691s |      16 |   311128 |   174152 |    22554     10 |     5971 |        0
694.99/695.11	c  694s |      16 |   311845 |   174552 |    22554     10 |     5971 |        0
697.49/697.64	c  697s |      16 |   312630 |   174952 |    22554     10 |     5971 |        0
699.59/699.78	c  699s |      16 |   313129 |   175252 |    22554     10 |     5971 |        0
701.69/701.86	c  701s |      16 |   313722 |   175552 |    22554     10 |     5971 |        0
704.28/704.43	c  703s |      16 |   314477 |   175952 |    22554     10 |     5971 |        0
706.88/707.08	c  706s |      16 |   315075 |   176352 |    22554     10 |     5971 |        0
709.18/709.32	c  708s |      16 |   315633 |   176652 |    22554     10 |     5971 |        0
711.38/711.53	c  711s |      16 |   316324 |   176952 |    22554     10 |     5971 |        0
713.68/713.81	c  713s |      16 |   316916 |   177252 |    22554     10 |     5971 |        0
715.98/716.16	c  715s |      16 |   317449 |   177552 |    22554     10 |     5971 |        0
718.18/718.35	c  717s |      16 |   318014 |   177852 |    22554     10 |     5971 |        0
720.48/720.65	c  720s |      16 |   318614 |   178152 |    22554     10 |     5971 |        0
722.78/722.97	c  722s |      16 |   319169 |   178452 |    22554     10 |     5971 |        0
724.98/725.15	c  724s |      16 |   319746 |   178752 |    22554     10 |     5971 |        0
727.08/727.29	c  726s |      16 |   320415 |   179052 |    22554     10 |     5971 |        0
729.57/729.76	c  729s |      16 |   320761 |   179352 |    22554     10 |     5971 |        0
731.97/732.16	c  731s |      16 |   321158 |   179652 |    22554     10 |     5971 |        0
734.17/734.39	c  733s |      16 |   321745 |   179952 |    22554     10 |     5971 |        0
737.17/737.32	c  736s |      16 |   322280 |   180252 |    22554     10 |     5971 |        0
739.67/739.81	c  739s |      16 |   322741 |   180652 |    22554     10 |     5971 |        0
742.17/742.38	c  741s |      16 |   323148 |   181052 |    22554     10 |     5971 |        0
744.26/744.40	c  743s |      16 |   323467 |   181352 |    22554     10 |     5971 |        0
746.46/746.67	c  746s |      16 |   324089 |   181652 |    22554     10 |     5971 |        0
748.86/749.07	c  748s |      16 |   325282 |   182052 |    22554     10 |     5971 |        0
751.17/751.39	c  750s |      16 |   326406 |   182452 |    22554     10 |     5971 |        0
754.06/754.23	c  753s |      16 |   327059 |   182852 |    22554     10 |     5971 |        0
756.16/756.39	c  755s |      16 |   327666 |   183152 |    22554     10 |     5971 |        0
758.46/758.60	c  758s |      16 |   328145 |   183452 |    22554     10 |     5971 |        0
760.66/760.87	c  760s |      16 |   328705 |   183752 |    22554     10 |     5971 |        0
762.97/763.10	c  762s |      16 |   329233 |   184052 |    22554     10 |     5971 |        0
765.27/765.40	c  764s |      16 |   329824 |   184352 |    22554     10 |     5971 |        0
767.67/767.83	c  767s |      16 |   330355 |   184652 |    22554     10 |     5971 |        0
770.07/770.26	c  769s |      16 |   330970 |   184952 |    22554     10 |     5971 |        0
772.56/772.70	c  772s |      16 |   331569 |   185252 |    22554     10 |     5971 |        0
774.86/775.06	c  774s |      16 |   332109 |   185552 |    22554     10 |     5971 |        0
777.26/777.46	c  776s |      16 |   332770 |   185852 |    22554     10 |     5971 |        0
779.56/779.79	c  779s |      16 |   333258 |   186152 |    22554     10 |     5971 |        0
782.07/782.23	c  781s |      16 |   333839 |   186452 |    22554     10 |     5971 |        0
784.36/784.59	c  784s |      16 |   334505 |   186752 |    22554     10 |     5971 |        0
786.96/787.11	c  786s |      16 |   335120 |   187052 |    22554     10 |     5971 |        0
789.46/789.62	c  789s |      16 |   335676 |   187352 |    22554     10 |     5971 |        0
791.76/791.91	c  791s |      16 |   336183 |   187652 |    22554     10 |     5971 |        0
793.85/794.06	c  793s |      16 |   336552 |   187952 |    22554     10 |     5971 |        0
795.95/796.18	c  795s |      16 |   336877 |   188252 |    22554     10 |     5971 |        0
798.35/798.54	c  798s |      16 |   337569 |   188552 |    22554     10 |     5971 |        0
800.55/800.70	c  800s |      16 |   338102 |   188852 |    22554     10 |     5971 |        0
802.85/803.01	c  802s |      16 |   338674 |   189152 |    22554     10 |     5971 |        0
805.24/805.49	c  804s |      16 |   339292 |   189452 |    22554     10 |     5971 |        0
807.54/807.72	c  807s |      16 |   339962 |   189752 |    22554     10 |     5971 |        0
809.64/809.90	c  809s |      16 |   340471 |   190052 |    22554     10 |     5971 |        0
812.34/812.57	c  812s |      16 |   340994 |   190452 |    22554     10 |     5971 |        0
814.65/814.84	c  814s |      16 |   341290 |   190752 |    22554     10 |     5971 |        0
817.05/817.24	c  816s |      16 |   341593 |   191052 |    22554     10 |     5971 |        0
820.85/821.01	c  820s |      16 |   341789 |   191252 |    22554     11 |     5971 |        0
823.24/823.43	c  822s |      16 |   342097 |   191552 |    22554     11 |     5971 |        0
825.34/825.59	c  825s |      16 |   342399 |   191852 |    22554     11 |     5971 |        0
831.84/832.09	c  831s |      16 |   342514 |   191952 |    22554     11 |     5971 |        0
834.14/834.36	c  833s |      16 |   343176 |   192252 |    22554     11 |     5971 |        0
836.74/836.95	c  836s |      16 |   343799 |   192652 |    22554     11 |     5971 |        0
838.84/839.03	c  838s |      16 |   344384 |   192952 |    22554     11 |     5971 |        0
840.84/841.08	c  840s |      16 |   344905 |   193252 |    22554     11 |     5971 |        0
842.94/843.13	c  842s |      16 |   345543 |   193552 |    22554     11 |     5971 |        0
845.04/845.26	c  844s |      16 |   346093 |   193852 |    22554     11 |     5971 |        0
847.44/847.64	c  847s |      16 |   346616 |   194252 |    22554     11 |     5971 |        0
849.53/849.71	c  849s |      16 |   347069 |   194552 |    22554     11 |     5971 |        0
851.73/851.94	c  851s |      16 |   347719 |   194852 |    22554     11 |     5971 |        0
853.83/854.10	c  853s |      16 |   348080 |   195152 |    22554     11 |     5971 |        0
856.03/856.22	c  855s |      16 |   348509 |   195452 |    22554     11 |     5971 |        0
858.23/858.49	c  857s |      16 |   349202 |   195752 |    22554     11 |     5971 |        0
860.43/860.68	c  860s |      16 |   349565 |   196052 |    22554     11 |     5971 |        0
862.82/863.02	c  862s |      16 |   350096 |   196352 |    24810     11 |     5971 |        0
865.02/865.28	c  864s |      16 |   350527 |   196652 |    24810     11 |     5971 |        0
867.42/867.68	c  867s |      16 |   351094 |   196952 |    24810     11 |     5971 |        0
869.72/869.91	c  869s |      16 |   351612 |   197252 |    24810     11 |     5971 |        0
871.14/871.32	c  870s |      17 |   351981 |   197432 |    24810     11 |     5971 |        0
873.12/873.33	c  872s |      17 |   353277 |   197732 |    24810     11 |     5971 |        0
875.12/875.35	c  874s |      17 |   354516 |   198632 |    24810     11 |     5971 |        0
877.22/877.45	c  876s |      17 |   355568 |   199432 |    24810     11 |     5971 |        0
883.52/883.77	c  883s |      17 |   355722 |   199532 |    24810     11 |     5971 |        0
885.72/885.99	c  885s |      17 |   357204 |   200532 |    24810     11 |     5971 |        0
887.92/888.13	c  887s |      17 |   358226 |   201332 |    24810     11 |     5971 |        0
889.92/890.14	c  889s |      17 |   359239 |   202132 |    24810     11 |     5971 |        0
892.03/892.25	c  891s |      17 |   360536 |   202932 |    24810     11 |     5971 |        0
894.23/894.46	c  893s |      17 |   361615 |   203732 |    24810     11 |     5971 |        0
896.71/896.90	c  896s |      17 |   362585 |   204432 |    24810     11 |     5971 |        0
898.82/899.03	c  898s |      17 |   363521 |   205032 |    24810     11 |     5971 |        0
901.11/901.33	c  900s |      17 |   363675 |   205132 |    24810     12 |     5971 |        0
903.11/903.39	c  902s |      17 |   364600 |   205532 |    24810     12 |     5971 |        0
914.71/914.97	c  914s |      17 |   364729 |   205632 |    24810     12 |     5971 |        0
916.81/917.00	c  916s |      17 |   365475 |   206332 |    24810     12 |     5971 |        0
918.91/919.10	c  918s |      17 |   366414 |   207032 |    24810     12 |     5971 |        0
920.91/921.15	c  920s |      17 |   367507 |   207832 |    24810     12 |     5971 |        0
923.21/923.42	c  922s |      17 |   368316 |   208632 |    24810     12 |     5971 |        0
925.31/925.59	c  925s |      17 |   369123 |   209432 |    24810     12 |     5971 |        0
927.41/927.67	c  927s |      17 |   369835 |   210132 |    24810     12 |     5971 |        0
929.61/929.85	c  929s |      17 |   370530 |   210832 |    24810     12 |     5971 |        0
931.71/931.94	c  931s |      17 |   371248 |   211532 |    24810     12 |     5971 |        0
933.81/934.06	c  933s |      17 |   372323 |   212132 |    24810     12 |     5971 |        0
936.10/936.30	c  935s |      17 |   373208 |   212832 |    24810     12 |     5971 |        0
938.11/938.32	c  937s |      17 |   373916 |   213432 |    24810     12 |     5971 |        0
940.20/940.45	c  939s |      17 |   374617 |   214032 |    24810     12 |     5971 |        0
942.50/942.76	c  942s |      17 |   375387 |   214732 |    24810     12 |     5971 |        0
944.70/944.96	c  944s |      17 |   376171 |   215332 |    24810     12 |     5971 |        0
946.91/947.16	c  946s |      17 |   377173 |   216032 |    24810     12 |     5971 |        0
949.21/949.47	c  948s |      17 |   377967 |   216732 |    24810     12 |     5971 |        0
951.50/951.78	c  951s |      17 |   378734 |   217332 |    24810     12 |     5971 |        0
953.61/953.88	c  953s |      17 |   379548 |   217832 |    24810     12 |     5971 |        0
955.90/956.16	c  955s |      17 |   380394 |   218432 |    24810     12 |     5971 |        0
958.01/958.23	c  957s |      17 |   381109 |   219032 |    24810     12 |     5971 |        0
960.11/960.34	c  959s |      17 |   382099 |   219632 |    24810     12 |     5971 |        0
962.40/962.69	c  962s |      17 |   382945 |   220232 |    24810     12 |     5971 |        0
964.79/965.08	c  964s |      17 |   383851 |   220832 |    24810     12 |     5971 |        0
966.89/967.12	c  966s |      17 |   384587 |   221332 |    24810     12 |     5971 |        0
969.19/969.48	c  968s |      17 |   384902 |   221532 |    24810     13 |     5971 |        0
971.39/971.61	c  971s |      17 |   385644 |   222032 |    24810     13 |     5971 |        0
973.59/973.83	c  973s |      17 |   386690 |   222532 |    24810     13 |     5971 |        0
975.89/976.13	c  975s |      17 |   387596 |   223232 |    24810     13 |     5971 |        0
977.98/978.24	c  977s |      17 |   388264 |   223632 |    24810     13 |     5971 |        0
980.08/980.31	c  979s |      17 |   389098 |   224332 |    24810     13 |     5971 |        0
982.19/982.43	c  981s |      17 |   389699 |   224932 |    24810     13 |     5971 |        0
984.18/984.44	c  983s |      17 |   390360 |   225532 |    24810     13 |     5971 |        0
986.38/986.64	c  986s |      17 |   391044 |   226132 |    24810     13 |     5971 |        0
988.79/989.07	c  988s |      17 |   391699 |   226732 |    24810     13 |     5971 |        0
991.28/991.54	c  991s |      17 |   392485 |   227332 |    24810     13 |     5971 |        0
998.87/999.16	c  998s |      17 |   393394 |   227832 |    24810     13 |     5971 |        0
1000.88/1001.16	c 1000s |      17 |   394743 |   228532 |    24810     13 |     5971 |        0
1003.08/1003.37	c 1002s |      17 |   395688 |   229432 |    24810     13 |     5971 |        0
1005.28/1005.57	c 1005s |      17 |   396598 |   230332 |    24810     13 |     5971 |        0
1007.38/1007.62	c 1007s |      17 |   397406 |   231132 |    24810     13 |     5971 |        0
1009.37/1009.65	c 1009s |      17 |   398121 |   231832 |    24810     13 |     5971 |        0
1011.57/1011.86	c 1011s |      17 |   398924 |   232632 |    24810     13 |     5971 |        0
1013.87/1014.13	c 1013s |      17 |   399629 |   233332 |    24810     13 |     5971 |        0
1015.97/1016.28	c 1015s |      17 |   400533 |   233932 |    24810     13 |     5971 |        0
1018.27/1018.57	c 1018s |      17 |   401354 |   234632 |    24810     13 |     5971 |        0
1020.46/1020.78	c 1020s |      17 |   402164 |   235232 |    24810     13 |     5971 |        0
1022.76/1023.08	c 1022s |      17 |   402994 |   235832 |    24810     13 |     5971 |        0
1024.96/1025.29	c 1024s |      17 |   403603 |   236432 |    24810     13 |     5971 |        0
1027.16/1027.48	c 1026s |      17 |   404309 |   237132 |    24810     13 |     5971 |        0
1029.26/1029.55	c 1029s |      17 |   404411 |   237232 |    24810     14 |     5971 |        0
1031.26/1031.56	c 1031s |      17 |   405114 |   237932 |    24810     14 |     5971 |        0
1033.45/1033.78	c 1033s |      17 |   405954 |   238732 |    24810     14 |     5971 |        0
1035.75/1036.08	c 1035s |      17 |   406667 |   239432 |    24810     14 |     5971 |        0
1038.16/1038.43	c 1037s |      17 |   407371 |   240132 |    24810     14 |     5971 |        0
1040.36/1040.65	c 1040s |      17 |   408133 |   240832 |    24810     14 |     5971 |        0
1042.66/1042.91	c 1042s |      17 |   408848 |   241532 |    24810     14 |     5971 |        0
1045.86/1046.19	c 1045s |      17 |   409260 |   241932 |    24810     14 |     5971 |        0
1048.16/1048.40	c 1047s |      17 |   409961 |   242632 |    24810     14 |     5971 |        0
1050.15/1050.43	c 1049s |      17 |   410561 |   243232 |    24810     14 |     5971 |        0
1052.25/1052.53	c 1052s |      17 |   411267 |   243932 |    24810     14 |     5971 |        0
1054.25/1054.58	c 1054s |      17 |   411975 |   244632 |    24810     14 |     5971 |        0
1056.35/1056.66	c 1056s |      17 |   412687 |   245332 |    24810     14 |     5971 |        0
1058.65/1058.92	c 1058s |      17 |   413488 |   246132 |    24810     14 |     5971 |        0
1060.75/1061.06	c 1060s |      17 |   414192 |   246832 |    24810     14 |     5971 |        0
1062.94/1063.23	c 1062s |      17 |   414890 |   247532 |    24810     14 |     5971 |        0
1065.14/1065.47	c 1064s |      17 |   415603 |   248232 |    24810     14 |     5971 |        0
1067.34/1067.62	c 1067s |      17 |   416423 |   248832 |    24810     14 |     5971 |        0
1069.44/1069.72	c 1069s |      17 |   417301 |   249432 |    24810     14 |     5971 |        0
1071.64/1071.97	c 1071s |      17 |   418382 |   250032 |    24810     14 |     5971 |        0
1073.84/1074.14	c 1073s |      17 |   419706 |   250732 |    24810     14 |     5971 |        0
1076.04/1076.30	c 1075s |      17 |   420949 |   251332 |    24810     14 |     5971 |        0
1078.23/1078.53	c 1078s |      17 |   421589 |   251832 |    24810     14 |     5971 |        0
1080.23/1080.58	c 1080s |      17 |   422454 |   252332 |    24810     14 |     5971 |        0
1082.53/1082.81	c 1082s |      17 |   423581 |   252832 |    24810     14 |     5971 |        0
1085.33/1085.69	c 1085s |      17 |   424199 |   253132 |    24810     15 |     5971 |        0
1087.63/1087.92	c 1087s |      17 |   425092 |   253832 |    24810     15 |     5971 |        0
1093.53/1093.80	c 1093s |      17 |   425254 |   253932 |    24810     15 |     5971 |        0
1096.72/1097.07	c 1096s |      17 |   425388 |   254032 |    24810     15 |     5971 |        0
1098.92/1099.28	c 1098s |      17 |   426540 |   254732 |    24810     15 |     5971 |        0
1101.12/1101.45	c 1100s |      17 |   427567 |   255432 |    24810     15 |     5971 |        0
1103.13/1103.47	c 1102s |      17 |   428638 |   256132 |    24810     15 |     5971 |        0
1105.42/1105.73	c 1105s |      17 |   429606 |   256832 |    24810     15 |     5971 |        0
1107.42/1107.74	c 1107s |      17 |   430684 |   257332 |    24810     15 |     5971 |        0
1109.52/1109.84	c 1109s |      17 |   431794 |   257832 |    24810     15 |     5971 |        0
1111.72/1112.08	c 1111s |      17 |   432923 |   258332 |    24810     15 |     5971 |        0
1114.12/1114.41	c 1113s |      17 |   434163 |   258832 |    24810     15 |     5971 |        0
1123.31/1123.65	c 1123s |      17 |   434755 |   259232 |    24810     15 |     5971 |        0
1125.61/1125.91	c 1125s |      17 |   435691 |   259932 |    24810     15 |     5971 |        0
1127.71/1128.07	c 1127s |      17 |   436567 |   260632 |    24810     15 |     5971 |        0
1129.81/1130.17	c 1129s |      17 |   437300 |   261232 |    24810     15 |     5971 |        0
1131.91/1132.22	c 1131s |      17 |   438008 |   261832 |    24810     15 |     5971 |        0
1134.21/1134.55	c 1134s |      17 |   438708 |   262432 |    24810     15 |     5971 |        0
1136.41/1136.70	c 1136s |      17 |   439360 |   263032 |    24810     15 |     5971 |        0
1138.61/1138.95	c 1138s |      17 |   440025 |   263632 |    24810     15 |     5971 |        0
1140.71/1141.04	c 1140s |      17 |   440688 |   264232 |    24810     15 |     5971 |        0
1142.90/1143.24	c 1142s |      17 |   441341 |   264832 |    24810     15 |     5971 |        0
1145.11/1145.44	c 1144s |      17 |   442024 |   265432 |    24810     15 |     5971 |        0
1147.20/1147.56	c 1147s |      17 |   442675 |   266032 |    24810     15 |     5971 |        0
1149.31/1149.62	c 1149s |      17 |   443178 |   266532 |    24810     15 |     5971 |        0
1151.61/1151.93	c 1151s |      17 |   443836 |   267132 |    24810     15 |     5971 |        0
1153.90/1154.21	c 1153s |      17 |   444709 |   267732 |    24810     15 |     5971 |        0
1156.10/1156.43	c 1155s |      17 |   445242 |   268232 |    24810     15 |     5971 |        0
1160.31/1160.66	c 1160s |      17 |   445750 |   268732 |    24810     16 |     5971 |        0
1162.41/1162.75	c 1162s |      17 |   446247 |   269232 |    24810     16 |     5971 |        0
1164.61/1164.96	c 1164s |      17 |   446892 |   269832 |    24810     16 |     5971 |        0
1166.81/1167.15	c 1166s |      17 |   447604 |   270532 |    24810     16 |     5971 |        0
1168.90/1169.21	c 1168s |      17 |   448281 |   271132 |    24810     16 |     5971 |        0
1171.00/1171.36	c 1170s |      17 |   449006 |   271832 |    24810     16 |     5971 |        0
1173.19/1173.58	c 1173s |      17 |   449774 |   272532 |    24810     16 |     5971 |        0
1175.60/1175.96	c 1175s |      17 |   450532 |   273232 |    24810     16 |     5971 |        0
1185.39/1185.71	c 1185s |      17 |   451046 |   273732 |    24810     16 |     5971 |        0
1187.70/1188.04	c 1187s |      17 |   452079 |   274432 |    24810     16 |     5971 |        0
1189.80/1190.17	c 1189s |      17 |   452785 |   275132 |    24810     16 |     5971 |        0
1191.99/1192.37	c 1191s |      17 |   453521 |   275832 |    24810     16 |     5971 |        0
1194.19/1194.52	c 1193s |      17 |   454247 |   276532 |    24810     16 |     5971 |        0
1196.50/1196.87	c 1196s |      17 |   455065 |   277232 |    24810     16 |     5971 |        0
1198.69/1199.03	c 1198s |      17 |   455982 |   277932 |    24810     16 |     5971 |        0
1200.69/1201.04	c 1200s |      17 |   456884 |   278632 |    24810     16 |     5971 |        0
1202.68/1203.07	c 1202s |      17 |   457697 |   279332 |    24810     16 |     5971 |        0
1204.88/1205.27	c 1204s |      17 |   458458 |   279932 |    24810     16 |     5971 |        0
1206.98/1207.33	c 1206s |      17 |   459239 |   280532 |    24810     16 |     5971 |        0
1209.28/1209.63	c 1209s |      17 |   459923 |   281132 |    24810     16 |     5971 |        0
1211.58/1211.93	c 1211s |      17 |   460757 |   281732 |    24810     16 |     5971 |        0
1213.79/1214.13	c 1213s |      17 |   461524 |   282332 |    24810     16 |     5971 |        0
1215.79/1216.19	c 1215s |      17 |   462077 |   282832 |    24810     16 |     5971 |        0
1218.19/1218.56	c 1218s |      17 |   462622 |   283332 |    24810     16 |     5971 |        0
1220.59/1220.99	c 1220s |      17 |   463369 |   283832 |    24810     16 |     5971 |        0
1222.89/1223.23	c 1222s |      17 |   464122 |   284432 |    24810     16 |     5971 |        0
1224.98/1225.39	c 1224s |      17 |   464714 |   284932 |    24810     16 |     5971 |        0
1227.28/1227.67	c 1227s |      17 |   465261 |   285432 |    24810     16 |     5971 |        0
1229.88/1230.29	c 1229s |      17 |   465575 |   285632 |    24810     17 |     5971 |        0
1232.08/1232.43	c 1231s |      17 |   466238 |   286132 |    24810     17 |     5971 |        0
1234.27/1234.62	c 1234s |      17 |   467080 |   286732 |    24810     17 |     5971 |        0
1236.37/1236.75	c 1236s |      17 |   467828 |   287332 |    24810     17 |     5971 |        0
1238.67/1239.09	c 1238s |      17 |   468533 |   287932 |    24810     17 |     5971 |        0
1240.97/1241.31	c 1240s |      17 |   469596 |   288732 |    24810     17 |     5971 |        0
1242.97/1243.38	c 1242s |      17 |   470438 |   289432 |    24810     17 |     5971 |        0
1245.06/1245.49	c 1244s |      17 |   471226 |   290032 |    24810     17 |     5971 |        0
1247.26/1247.60	c 1247s |      17 |   471926 |   290632 |    24810     17 |     5971 |        0
1249.46/1249.85	c 1249s |      17 |   472720 |   291332 |    24810     17 |     5971 |        0
1251.57/1251.97	c 1251s |      17 |   473423 |   291932 |    24810     17 |     5971 |        0
1253.78/1254.12	c 1253s |      17 |   474316 |   292532 |    24810     17 |     5971 |        0
1255.97/1256.38	c 1255s |      17 |   475267 |   293332 |    24810     17 |     5971 |        0
1258.17/1258.58	c 1258s |      17 |   475947 |   293832 |    24810     17 |     5971 |        0
1260.27/1260.68	c 1260s |      17 |   476584 |   294332 |    27292     17 |     5971 |        0
1262.37/1262.71	c 1262s |      17 |   477456 |   295032 |    27292     17 |     5971 |        0
1264.56/1264.99	c 1264s |      17 |   478311 |   295632 |    27292     17 |     5971 |        0
1266.76/1267.19	c 1266s |      17 |   479381 |   296132 |    27292     17 |     5971 |        0
1267.26/1267.62	c 1267s |      18 |   479533 |   296252 |    27292     17 |     5971 |        0
1269.46/1269.89	c 1269s |      18 |   480539 |   296452 |    27292     17 |     5971 |        0
1271.66/1272.10	c 1271s |      18 |   481100 |   296952 |    27292     17 |     5971 |        0
1273.85/1274.20	c 1273s |      18 |   481766 |   297452 |    27292     17 |     5971 |        0
1275.85/1276.29	c 1275s |      18 |   482627 |   298252 |    27292     17 |     5971 |        0
1278.05/1278.46	c 1277s |      18 |   483418 |   298952 |    27292     17 |     5971 |        0
1280.26/1280.68	c 1280s |      18 |   484095 |   299552 |    27292     17 |     5971 |        0
1282.66/1283.09	c 1282s |      18 |   484848 |   300152 |    27292     17 |     5971 |        0
1285.15/1285.50	c 1284s |      18 |   485571 |   300752 |    27292     17 |     5971 |        0
1287.25/1287.61	c 1287s |      18 |   486383 |   301552 |    27292     17 |     5971 |        0
1289.45/1289.86	c 1289s |      18 |   487113 |   302152 |    27292     17 |     5971 |        0
1291.65/1292.04	c 1291s |      18 |   487710 |   302652 |    27292     17 |     5971 |        0
1293.75/1294.19	c 1293s |      18 |   488329 |   303152 |    27292     17 |     5971 |        0
1296.35/1296.78	c 1296s |      18 |   488567 |   303352 |    27292     18 |     5971 |        0
1298.55/1298.94	c 1298s |      18 |   489462 |   304252 |    27292     18 |     5971 |        0
1300.65/1301.01	c 1300s |      18 |   490127 |   304752 |    27292     18 |     5971 |        0
1307.55/1308.00	c 1307s |      18 |   490766 |   305252 |    27292     18 |     5971 |        0
1309.85/1310.21	c 1309s |      18 |   491483 |   305852 |    27292     18 |     5971 |        0
1312.06/1312.49	c 1311s |      18 |   492220 |   306552 |    27292     18 |     5971 |        0
1314.26/1314.67	c 1314s |      18 |   492879 |   307052 |    27292     18 |     5971 |        0
1316.45/1316.83	c 1316s |      18 |   493689 |   307852 |    27292     18 |     5971 |        0
1318.75/1319.19	c 1318s |      18 |   494562 |   308352 |    27292     18 |     5971 |        0
1321.04/1321.49	c 1320s |      18 |   495372 |   308952 |    27292     18 |     5971 |        0
1323.14/1323.55	c 1323s |      18 |   496023 |   309452 |    27292     18 |     5971 |        0
1325.34/1325.79	c 1325s |      18 |   496730 |   310052 |    27292     18 |     5971 |        0
1327.34/1327.80	c 1327s |      18 |   497432 |   310752 |    27292     18 |     5971 |        0
1329.44/1329.82	c 1329s |      18 |   498012 |   311252 |    27292     18 |     5971 |        0
1331.53/1331.92	c 1331s |      18 |   498660 |   311752 |    27292     18 |     5971 |        0
1333.73/1334.16	c 1333s |      18 |   499462 |   312552 |    27292     18 |     5971 |        0
1335.83/1336.29	c 1335s |      18 |   500158 |   313252 |    27292     18 |     5971 |        0
1337.93/1338.30	c 1337s |      18 |   500759 |   313852 |    27292     18 |     5971 |        0
1340.03/1340.41	c 1339s |      18 |   501356 |   314452 |    27292     18 |     5971 |        0
1342.23/1342.65	c 1342s |      18 |   501866 |   314952 |    27292     18 |     5971 |        0
1344.52/1344.97	c 1344s |      18 |   502365 |   315452 |    27292     18 |     5971 |        0
1346.52/1346.98	c 1346s |      18 |   502770 |   315852 |    27292     18 |     5971 |        0
1348.93/1349.38	c 1348s |      18 |   503270 |   316352 |    27292     18 |     5971 |        0
1351.43/1351.82	c 1351s |      18 |   503778 |   316852 |    27292     18 |     5971 |        0
1353.93/1354.32	c 1353s |      18 |   504272 |   317352 |    27292     18 |     5971 |        0
1355.93/1356.34	c 1355s |      18 |   504773 |   317752 |    27292     18 |     5971 |        0
1358.32/1358.73	c 1358s |      18 |   505465 |   318252 |    27292     18 |     5971 |        0
1360.33/1360.79	c 1360s |      18 |   506156 |   318652 |    27292     18 |     5971 |        0
1362.42/1362.90	c 1362s |      18 |   506797 |   319052 |    27292     18 |     5971 |        0
1364.92/1365.37	c 1364s |      18 |   507564 |   319552 |    27292     18 |     5971 |        0
1367.03/1367.46	c 1366s |      18 |   508117 |   319952 |    27292     18 |     5971 |        0
1369.23/1369.62	c 1369s |      18 |   508640 |   320352 |    27292     18 |     5971 |        0
1372.52/1372.98	c 1372s |      18 |   508895 |   320552 |    27292     19 |     5971 |        0
1374.82/1375.27	c 1374s |      18 |   509491 |   321052 |    27292     19 |     5971 |        0
1377.11/1377.57	c 1377s |      18 |   510182 |   321652 |    27292     19 |     5971 |        0
1379.12/1379.57	c 1379s |      18 |   510804 |   322152 |    27292     19 |     5971 |        0
1381.22/1381.61	c 1381s |      18 |   511415 |   322652 |    27292     19 |     5971 |        0
1383.31/1383.72	c 1383s |      18 |   511995 |   323152 |    27292     19 |     5971 |        0
1385.51/1385.96	c 1385s |      18 |   512607 |   323652 |    27292     19 |     5971 |        0
1387.71/1388.18	c 1387s |      18 |   513255 |   324152 |    27292     19 |     5971 |        0
1390.02/1390.44	c 1389s |      18 |   513831 |   324652 |    27292     19 |     5971 |        0
1392.41/1392.84	c 1392s |      18 |   514491 |   325152 |    27292     19 |     5971 |        0
1394.81/1395.21	c 1394s |      18 |   515129 |   325652 |    27292     19 |     5971 |        0
1397.21/1397.63	c 1397s |      18 |   515713 |   326152 |    27292     19 |     5971 |        0
1399.61/1400.05	c 1399s |      18 |   516362 |   326652 |    27292     19 |     5971 |        0
1402.01/1402.47	c 1401s |      18 |   517012 |   327152 |    27292     19 |     5971 |        0
1404.20/1404.64	c 1404s |      18 |   517612 |   327652 |    27292     19 |     5971 |        0
1407.91/1408.30	c 1407s |      18 |   517738 |   327752 |    27292     19 |     5971 |        0
1409.91/1410.33	c 1409s |      18 |   518543 |   328552 |    27292     19 |     5971 |        0
1412.01/1412.50	c 1411s |      18 |   519141 |   329052 |    27292     19 |     5971 |        0
1414.31/1414.74	c 1414s |      18 |   519848 |   329652 |    27292     19 |     5971 |        0
1416.70/1417.15	c 1416s |      18 |   520805 |   330152 |    27292     19 |     5971 |        0
1419.00/1419.49	c 1418s |      18 |   521524 |   330752 |    27292     19 |     5971 |        0
1421.40/1421.80	c 1421s |      18 |   522275 |   331452 |    27292     19 |     5971 |        0
1423.50/1423.95	c 1423s |      18 |   522884 |   332052 |    27292     19 |     5971 |        0
1425.90/1426.39	c 1425s |      18 |   523594 |   332652 |    27292     19 |     5971 |        0
1428.10/1428.59	c 1428s |      18 |   524187 |   333152 |    27292     19 |     5971 |        0
1430.40/1430.81	c 1430s |      18 |   524865 |   333752 |    27292     19 |     5971 |        0
1432.60/1433.03	c 1432s |      18 |   525550 |   334252 |    27292     19 |     5971 |        0
1434.60/1435.07	c 1434s |      18 |   526187 |   334652 |    27292     19 |     5971 |        0
1436.80/1437.29	c 1436s |      18 |   527324 |   335352 |    27292     19 |     5971 |        0
1439.10/1439.52	c 1438s |      18 |   528550 |   336152 |    27292     19 |     5971 |        0
1441.20/1441.65	c 1441s |      18 |   529199 |   336752 |    27292     19 |     5971 |        0
1443.19/1443.65	c 1443s |      18 |   529899 |   337352 |    27292     19 |     5971 |        0
1446.20/1446.67	c 1446s |      18 |   530006 |   337452 |    27292     20 |     5971 |        0
1448.29/1448.76	c 1448s |      18 |   530843 |   338152 |    27292     20 |     5971 |        0
1450.50/1450.99	c 1450s |      18 |   531836 |   338852 |    27292     20 |     5971 |        0
1452.99/1453.45	c 1452s |      18 |   532104 |   339052 |    27292     20 |     5971 |        0
1455.19/1455.65	c 1455s |      18 |   533145 |   339752 |    27292     20 |     5971 |        0
1457.39/1457.89	c 1457s |      18 |   534476 |   340552 |    27292     20 |     5971 |        0
1460.99/1461.43	c 1460s |      18 |   535030 |   340952 |    27292     20 |     5971 |        0
1465.08/1465.56	c 1465s |      18 |   535532 |   341352 |    27292     20 |     5971 |        0
1467.28/1467.78	c 1467s |      18 |   536533 |   342152 |    27292     20 |     5971 |        0
1469.58/1470.02	c 1469s |      18 |   537505 |   342952 |    27292     20 |     5971 |        0
1471.69/1472.14	c 1471s |      18 |   538427 |   343652 |    27292     20 |     5971 |        0
1473.79/1474.29	c 1473s |      18 |   539229 |   344152 |    27292     20 |     5971 |        0
1475.89/1476.34	c 1475s |      18 |   540233 |   344852 |    27292     20 |     5971 |        0
1477.99/1478.42	c 1477s |      18 |   541044 |   345552 |    27292     20 |     5971 |        0
1480.08/1480.56	c 1480s |      18 |   541894 |   346252 |    27292     20 |     5971 |        0
1482.18/1482.65	c 1482s |      18 |   542927 |   347052 |    27292     20 |     5971 |        0
1484.28/1484.78	c 1484s |      18 |   543763 |   347752 |    27292     20 |     5971 |        0
1486.58/1487.09	c 1486s |      18 |   544540 |   348352 |    27292     20 |     5971 |        0
1488.68/1489.11	c 1488s |      18 |   545376 |   348952 |    27292     20 |     5971 |        0
1490.98/1491.46	c 1490s |      18 |   546405 |   349652 |    27292     20 |     5971 |        0
1493.29/1493.77	c 1493s |      18 |   547410 |   350252 |    27292     20 |     5971 |        0
1495.39/1495.89	c 1495s |      18 |   548226 |   350852 |    27292     20 |     5971 |        0
1497.79/1498.22	c 1497s |      18 |   549115 |   351552 |    27292     20 |     5971 |        0
1499.89/1500.36	c 1499s |      18 |   549916 |   352252 |    27292     20 |     5971 |        0
1502.09/1502.57	c 1502s |      18 |   550818 |   352852 |    27292     20 |     5971 |        0
1504.39/1504.90	c 1504s |      18 |   551603 |   353452 |    27292     20 |     5971 |        0
1506.59/1507.03	c 1506s |      18 |   552244 |   353952 |    27292     20 |     5971 |        0
1508.58/1509.04	c 1508s |      18 |   552957 |   354452 |    27292     20 |     5971 |        0
1510.78/1511.20	c 1510s |      18 |   553626 |   354952 |    27292     20 |     5971 |        0
1513.08/1513.51	c 1512s |      18 |   553752 |   355052 |    27292     21 |     5971 |        0
1515.28/1515.72	c 1515s |      18 |   554409 |   355552 |    27292     21 |     5971 |        0
1517.38/1517.83	c 1517s |      18 |   554918 |   355952 |    27292     21 |     5971 |        0
1519.48/1519.96	c 1519s |      18 |   556176 |   356752 |    27292     21 |     5971 |        0
1521.58/1522.06	c 1521s |      18 |   557535 |   357652 |    27292     21 |     5971 |        0
1523.68/1524.12	c 1523s |      18 |   558556 |   358452 |    27292     21 |     5971 |        0
1525.78/1526.24	c 1525s |      18 |   559594 |   359252 |    27292     21 |     5971 |        0
1527.88/1528.33	c 1527s |      18 |   560546 |   360052 |    27292     21 |     5971 |        0
1530.08/1530.51	c 1529s |      18 |   561840 |   360852 |    27292     21 |     5971 |        0
1532.28/1532.76	c 1532s |      18 |   562701 |   361452 |    27292     21 |     5971 |        0
1534.27/1534.78	c 1534s |      18 |   563520 |   362152 |    27292     21 |     5971 |        0
1536.28/1536.78	c 1536s |      18 |   564282 |   362752 |    27292     21 |     5971 |        0
1538.48/1538.95	c 1538s |      18 |   565047 |   363352 |    27292     21 |     5971 |        0
1540.47/1540.97	c 1540s |      18 |   565861 |   363952 |    27292     21 |     5971 |        0
1542.78/1543.20	c 1542s |      18 |   566751 |   364752 |    27292     21 |     5971 |        0
1544.78/1545.21	c 1544s |      18 |   567599 |   365452 |    27292     21 |     5971 |        0
1546.98/1547.49	c 1546s |      18 |   568482 |   366252 |    27292     21 |     5971 |        0
1549.37/1549.82	c 1549s |      18 |   569226 |   366952 |    27292     21 |     5971 |        0
1551.37/1551.85	c 1551s |      18 |   569857 |   367552 |    27292     21 |     5971 |        0
1553.57/1554.09	c 1553s |      18 |   570420 |   368052 |    27292     21 |     5971 |        0
1555.68/1556.15	c 1555s |      18 |   570782 |   368252 |    27292     21 |     5971 |        0
1558.08/1558.51	c 1557s |      18 |   571659 |   368852 |    27292     21 |     5971 |        0
1560.28/1560.72	c 1560s |      18 |   572535 |   369652 |    27292     21 |     5971 |        0
1562.28/1562.74	c 1562s |      18 |   573336 |   370452 |    27292     21 |     5971 |        0
1564.27/1564.78	c 1564s |      18 |   574139 |   371152 |    27292     21 |     5971 |        0
1566.47/1566.96	c 1566s |      18 |   574906 |   371852 |    27292     21 |     5971 |        0
1570.17/1570.67	c 1570s |      18 |   575446 |   372352 |    27292     22 |     5971 |        0
1572.47/1572.94	c 1572s |      18 |   576438 |   373052 |    27292     22 |     5971 |        0
1574.46/1574.94	c 1574s |      18 |   576983 |   373552 |    27292     22 |     5971 |        0
1576.67/1577.10	c 1576s |      18 |   577855 |   374252 |    27292     22 |     5971 |        0
1578.76/1579.24	c 1578s |      18 |   578566 |   374852 |    27292     22 |     5971 |        0
1580.96/1581.50	c 1580s |      18 |   579302 |   375552 |    27292     22 |     5971 |        0
1583.26/1583.74	c 1583s |      18 |   580100 |   376252 |    27292     22 |     5971 |        0
1585.56/1586.01	c 1585s |      18 |   580845 |   376952 |    27292     22 |     5971 |        0
1588.47/1588.96	c 1588s |      18 |   581231 |   377252 |    27292     22 |     5971 |        0
1590.47/1590.97	c 1590s |      18 |   581860 |   377652 |    27292     22 |     5971 |        0
1592.76/1593.24	c 1592s |      18 |   582770 |   378352 |    27292     22 |     5971 |        0
1594.86/1595.32	c 1594s |      18 |   583550 |   379052 |    27292     22 |     5971 |        0
1596.87/1597.33	c 1596s |      18 |   584372 |   379552 |    27292     22 |     5971 |        0
1599.07/1599.59	c 1599s |      18 |   585080 |   380152 |    27292     22 |     5971 |        0
1601.27/1601.71	c 1601s |      18 |   585691 |   380652 |    27292     22 |     5971 |        0
1603.47/1603.93	c 1603s |      18 |   586308 |   381152 |    27292     22 |     5971 |        0
1605.56/1606.06	c 1605s |      18 |   586884 |   381652 |    27292     22 |     5971 |        0
1607.66/1608.14	c 1607s |      18 |   587618 |   382252 |    27292     22 |     5971 |        0
1609.76/1610.22	c 1609s |      18 |   588254 |   382852 |    27292     22 |     5971 |        0
1611.86/1612.34	c 1611s |      18 |   588777 |   383352 |    27292     22 |     5971 |        0
1614.16/1614.69	c 1614s |      18 |   589466 |   383952 |    27292     22 |     5971 |        0
1616.46/1617.00	c 1616s |      18 |   590031 |   384452 |    27292     22 |     5971 |        0
1618.76/1619.23	c 1618s |      18 |   590688 |   384952 |    27292     22 |     5971 |        0
1621.06/1621.59	c 1621s |      18 |   591295 |   385452 |    27292     22 |     5971 |        0
1623.65/1624.14	c 1623s |      18 |   591919 |   385952 |    27292     22 |     5971 |        0
1625.75/1626.27	c 1625s |      18 |   592620 |   386452 |    27292     22 |     5971 |        0
1628.05/1628.50	c 1627s |      18 |   593381 |   386952 |    27292     22 |     5971 |        0
1630.25/1630.79	c 1630s |      18 |   594113 |   387652 |    27292     22 |     5971 |        0
1632.35/1632.85	c 1632s |      18 |   594807 |   388252 |    27292     22 |     5971 |        0
1634.75/1635.24	c 1634s |      18 |   595428 |   388852 |    27292     22 |     5971 |        0
1638.46/1638.94	c 1638s |      18 |   595843 |   389252 |    27292     23 |     5971 |        0
1640.86/1641.34	c 1640s |      18 |   596493 |   389752 |    27292     23 |     5971 |        0
1642.85/1643.40	c 1642s |      18 |   597192 |   390052 |    27292     23 |     5971 |        0
1645.05/1645.53	c 1645s |      18 |   597845 |   390552 |    27292     23 |     5971 |        0
1647.15/1647.65	c 1647s |      18 |   598581 |   391052 |    27292     23 |     5971 |        0
1649.55/1650.05	c 1649s |      18 |   599412 |   391752 |    27292     23 |     5971 |        0
1651.75/1652.21	c 1651s |      18 |   600033 |   392252 |    27292     23 |     5971 |        0
1653.95/1654.44	c 1653s |      18 |   600778 |   392952 |    27292     23 |     5971 |        0
1656.34/1656.82	c 1656s |      18 |   601389 |   393452 |    27292     23 |     5971 |        0
1658.36/1658.86	c 1658s |      18 |   601970 |   393852 |    27292     23 |     5971 |        0
1660.66/1661.17	c 1660s |      18 |   602611 |   394352 |    27292     23 |     5971 |        0
1662.85/1663.39	c 1662s |      18 |   602947 |   394652 |    27292     23 |     5971 |        0
1665.34/1665.89	c 1665s |      18 |   603259 |   394852 |    27292     23 |     5971 |        0
1667.64/1668.12	c 1667s |      18 |   604109 |   395452 |    27292     23 |     5971 |        0
1669.94/1670.45	c 1669s |      18 |   604979 |   396052 |    27292     23 |     5971 |        0
1672.04/1672.51	c 1671s |      18 |   605676 |   396552 |    27292     23 |     5971 |        0
1674.04/1674.54	c 1674s |      18 |   606281 |   397052 |    27292     23 |     5971 |        0
1676.05/1676.55	c 1676s |      18 |   607128 |   397652 |    27292     23 |     5971 |        0
1678.15/1678.65	c 1678s |      18 |   608219 |   398552 |    27292     23 |     5971 |        0
1680.34/1680.81	c 1680s |      18 |   609408 |   399552 |    27292     23 |     5971 |        0
1682.55/1683.07	c 1682s |      18 |   610137 |   400252 |    27292     23 |     5971 |        0
1684.75/1685.30	c 1684s |      18 |   610951 |   401052 |    27292     23 |     5971 |        0
1686.95/1687.42	c 1686s |      18 |   611731 |   401652 |    27292     23 |     5971 |        0
1688.94/1689.48	c 1688s |      18 |   612335 |   402152 |    27292     23 |     5971 |        0
1691.04/1691.56	c 1691s |      18 |   612861 |   402652 |    27292     23 |     5971 |        0
1693.24/1693.73	c 1693s |      18 |   613568 |   403252 |    27292     23 |     5971 |        0
1695.24/1695.78	c 1695s |      18 |   614091 |   403752 |    27292     23 |     5971 |        0
1697.44/1697.95	c 1697s |      18 |   614856 |   404252 |    27292     23 |     5971 |        0
1699.64/1700.19	c 1699s |      18 |   615537 |   404752 |    27292     23 |     5971 |        0
1701.94/1702.40	c 1701s |      18 |   616237 |   405252 |    27292     23 |     5971 |        0
1704.04/1704.55	c 1704s |      18 |   616818 |   405752 |    27292     23 |     5971 |        0
1706.24/1706.78	c 1706s |      18 |   617464 |   406252 |    27292     23 |     5971 |        0
1710.63/1711.16	c 1710s |      18 |   618119 |   406752 |    27292     24 |     5971 |        0
1714.84/1715.30	c 1714s |      18 |   618622 |   407152 |    27292     24 |     5971 |        0
1716.93/1717.43	c 1716s |      18 |   619500 |   407952 |    27292     24 |     5971 |        0
1719.13/1719.65	c 1719s |      18 |   620288 |   408652 |    27292     24 |     5971 |        0
1721.14/1721.68	c 1721s |      18 |   621087 |   409452 |    27292     24 |     5971 |        0
1723.24/1723.77	c 1723s |      18 |   621713 |   410052 |    27292     24 |     5971 |        0
1725.33/1725.89	c 1725s |      18 |   622524 |   410652 |    27292     24 |     5971 |        0
1727.53/1728.03	c 1727s |      18 |   623179 |   411152 |    27292     24 |     5971 |        0
1729.73/1730.21	c 1729s |      18 |   623822 |   411652 |    27292     24 |     5971 |        0
1731.93/1732.42	c 1731s |      18 |   624448 |   412152 |    27292     24 |     5971 |        0
1734.34/1734.83	c 1734s |      18 |   625214 |   412652 |    27292     24 |     5971 |        0
1736.33/1736.90	c 1736s |      18 |   625576 |   412952 |    27292     24 |     5971 |        0
1738.43/1738.96	c 1738s |      18 |   626177 |   413452 |    27292     24 |     5971 |        0
1740.53/1741.05	c 1740s |      18 |   626910 |   414052 |    27292     24 |     5971 |        0
1742.53/1743.06	c 1742s |      18 |   627580 |   414552 |    27292     24 |     5971 |        0
1744.53/1745.07	c 1744s |      18 |   628256 |   415152 |    27292     24 |     5971 |        0
1746.73/1747.24	c 1746s |      18 |   628898 |   415652 |    27292     24 |     5971 |        0
1749.13/1749.63	c 1749s |      18 |   629647 |   416252 |    27292     24 |     5971 |        0
1751.23/1751.75	c 1751s |      18 |   630388 |   416952 |    27292     24 |     5971 |        0
1753.43/1753.96	c 1753s |      18 |   631062 |   417552 |    27292     24 |     5971 |        0
1755.73/1756.23	c 1755s |      18 |   631759 |   418152 |    27292     24 |     5971 |        0
1757.72/1758.24	c 1757s |      18 |   632324 |   418652 |    27292     24 |     5971 |        0
1760.02/1760.58	c 1760s |      18 |   633039 |   419252 |    27292     24 |     5971 |        0
1762.22/1762.79	c 1762s |      18 |   633722 |   419752 |    27292     24 |     5971 |        0
1764.52/1765.04	c 1764s |      18 |   634329 |   420152 |    27292     24 |     5971 |        0
1766.72/1767.29	c 1766s |      18 |   634841 |   420552 |    27292     24 |     5971 |        0
1768.92/1769.41	c 1768s |      18 |   635370 |   420952 |    27292     24 |     5971 |        0
1771.12/1771.69	c 1771s |      18 |   635982 |   421352 |    27292     24 |     5971 |        0
1773.41/1773.97	c 1773s |      18 |   636606 |   421852 |    27292     24 |     5971 |        0
1775.41/1775.97	c 1775s |      18 |   637121 |   422252 |    27292     24 |     5971 |        0
1778.01/1778.53	c 1778s |      18 |   637630 |   422652 |    27292     24 |     5971 |        0
1780.52/1781.04	c 1780s |      18 |   638162 |   423052 |    27292     24 |     5971 |        0
1783.01/1783.51	c 1782s |      18 |   638773 |   423452 |    27292     24 |     5971 |        0
1788.22/1788.73	c 1788s |      18 |   639144 |   423752 |    27292     25 |     5971 |        0
1790.51/1791.10	c 1790s |      18 |   639734 |   424252 |    27292     25 |     5971 |        0
1792.82/1793.38	c 1792s |      18 |   640475 |   424852 |    27292     25 |     5971 |        0
1795.02/1795.51	c 1794s |      18 |   641128 |   425352 |    27292     25 |     5971 |        0
1797.12/1797.64	c 1797s |      18 |   641509 |   425652 |    27292     25 |     5971 |        0
1799.41/1799.99	c 1799s |      18 |   642219 |   426152 |    27292     25 |     5971 |        0

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

pid=13927
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.35 2.20 2.11 3/179 13930
/proc/meminfo: memFree=30240420/32872528 swapFree=534252/566956
[pid=13930] ppid=13927 vsize=756156 CPUtime=0 cores=1,3,5,7
/proc/13930/stat : 13930 (toysat) R 13927 13930 10353 0 -1 4202496 2825 0 0 0 0 0 0 0 20 0 4 0 24852168 774303744 3696 33554432000 4194304 16246674 140733739370304 140733739369728 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13930/statm: 189551 3705 441 2943 0 186445 0
[pid=13930/tid=13931] ppid=13927 vsize=773564 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13931/stat : 13931 (toysat) S 13927 13930 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24852168 792129536 3765 33554432000 4194304 16246674 140733739370304 140654359325936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13930/tid=13932] ppid=13927 vsize=777660 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13932/stat : 13932 (toysat) S 13927 13930 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24852168 796323840 3782 33554432000 4194304 16246674 140733739370304 140654273342704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13930/tid=13933] ppid=13927 vsize=781756 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13933/stat : 13933 (toysat) S 13927 13930 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24852168 800518144 3799 33554432000 4194304 16246674 140733739370304 140654262869168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.35 2.20 2.11 3/179 13930
/proc/meminfo: memFree=30240420/32872528 swapFree=534252/566956
[pid=13930] ppid=13927 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/13930/stat : 13930 (toysat) R 13927 13930 10353 0 -1 4202496 28839 0 0 0 5 3 0 0 20 0 4 0 24852168 1333334016 29649 33554432000 4194304 16246674 140733739370304 140733739369616 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13930/statm: 325521 29665 801 2943 0 322415 0
[pid=13930/tid=13931] ppid=13927 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13931/stat : 13931 (toysat) S 13927 13930 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24852168 1333334016 29677 33554432000 4194304 16246674 140733739370304 140654359325936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13930/tid=13932] ppid=13927 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13932/stat : 13932 (toysat) S 13927 13930 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24852168 1333334016 29689 33554432000 4194304 16246674 140733739370304 140654273342704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13930/tid=13933] ppid=13927 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13933/stat : 13933 (toysat) S 13927 13930 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24852168 1333334016 29700 33554432000 4194304 16246674 140733739370304 140654262869168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200539 s]
/proc/loadavg: 2.35 2.20 2.11 3/179 13930
/proc/meminfo: memFree=30240420/32872528 swapFree=534252/566956
[pid=13930] ppid=13927 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/13930/stat : 13930 (toysat) R 13927 13930 10353 0 -1 4202496 48633 0 0 0 13 6 0 0 20 0 4 0 24852168 1344868352 49953 33554432000 4194304 16246674 140733739370304 140733739369616 12449232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13930/statm: 328337 49953 839 2943 0 325231 0
[pid=13930/tid=13931] ppid=13927 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13931/stat : 13931 (toysat) S 13927 13930 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24852168 1344868352 49953 33554432000 4194304 16246674 140733739370304 140654359325936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13930/tid=13932] ppid=13927 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13932/stat : 13932 (toysat) S 13927 13930 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24852168 1344868352 49953 33554432000 4194304 16246674 140733739370304 140654273342704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13930/tid=13933] ppid=13927 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13933/stat : 13933 (toysat) S 13927 13930 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24852168 1344868352 49953 33554432000 4194304 16246674 140733739370304 140654262869168 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) 1313348

[startup+0.300511 s]
/proc/loadavg: 2.35 2.20 2.11 3/179 13930
/proc/meminfo: memFree=30240420/32872528 swapFree=534252/566956
[pid=13930] ppid=13927 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/13930/stat : 13930 (toysat) R 13927 13930 10353 0 -1 4202496 51159 0 0 0 23 6 0 0 20 0 4 0 24852168 1345916928 52480 33554432000 4194304 16246674 140733739370304 140733739369616 12449399 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13930/statm: 328593 52492 841 2943 0 325487 0
[pid=13930/tid=13931] ppid=13927 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13931/stat : 13931 (toysat) S 13927 13930 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24852168 1345916928 52500 33554432000 4194304 16246674 140733739370304 140654359325936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13930/tid=13932] ppid=13927 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13932/stat : 13932 (toysat) S 13927 13930 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24852168 1345916928 52507 33554432000 4194304 16246674 140733739370304 140654273342704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13930/tid=13933] ppid=13927 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13933/stat : 13933 (toysat) S 13927 13930 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24852168 1345916928 52515 33554432000 4194304 16246674 140733739370304 140654262869168 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) 1314372

[startup+0.700431 s]
/proc/loadavg: 2.35 2.20 2.11 3/179 13930
/proc/meminfo: memFree=30240420/32872528 swapFree=534252/566956
[pid=13930] ppid=13927 vsize=1314372 CPUtime=0.68 cores=1,3,5,7
/proc/13930/stat : 13930 (toysat) R 13927 13930 10353 0 -1 4202496 69495 0 0 0 60 8 0 0 20 0 4 0 24852168 1345916928 70815 33554432000 4194304 16246674 140733739370304 140733739369616 5841764 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13930/statm: 328593 70815 890 2943 0 325487 0
[pid=13930/tid=13931] ppid=13927 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13931/stat : 13931 (toysat) S 13927 13930 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24852168 1345916928 70815 33554432000 4194304 16246674 140733739370304 140654359325936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13930/tid=13932] ppid=13927 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13932/stat : 13932 (toysat) S 13927 13930 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24852168 1345916928 70815 33554432000 4194304 16246674 140733739370304 140654273342704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13930/tid=13933] ppid=13927 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13933/stat : 13933 (toysat) S 13927 13930 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24852168 1345916928 70815 33554432000 4194304 16246674 140733739370304 140654262869168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372

[startup+1.5004 s]
/proc/loadavg: 2.35 2.20 2.11 3/183 13934
/proc/meminfo: memFree=29865128/32872528 swapFree=534252/566956
[pid=13930] ppid=13927 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/13930/stat : 13930 (toysat) R 13927 13930 10353 0 -1 4202496 129041 0 0 0 132 17 0 0 20 0 4 0 24852168 1345916928 130361 33554432000 4194304 16246674 140733739370304 140733739353304 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13930/statm: 328593 130368 890 2943 0 325487 0
[pid=13930/tid=13931] ppid=13927 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13931/stat : 13931 (toysat) S 13927 13930 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24852168 1345916928 130372 33554432000 4194304 16246674 140733739370304 140654359325936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13930/tid=13932] ppid=13927 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13932/stat : 13932 (toysat) S 13927 13930 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24852168 1345916928 130376 33554432000 4194304 16246674 140733739370304 140654273342704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13930/tid=13933] ppid=13927 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13933/stat : 13933 (toysat) S 13927 13930 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24852168 1345916928 130378 33554432000 4194304 16246674 140733739370304 140654262869168 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) 1314372

[startup+3.10043 s]
/proc/loadavg: 2.35 2.20 2.11 3/183 13934
/proc/meminfo: memFree=29483200/32872528 swapFree=534252/566956
[pid=13930] ppid=13927 vsize=1316420 CPUtime=3.09 cores=1,3,5,7
/proc/13930/stat : 13930 (toysat) R 13927 13930 10353 0 -1 4202496 244016 0 0 0 276 33 0 0 20 0 4 0 24852168 1348014080 245336 33554432000 4194304 16246674 140733739370304 140733739352192 5600492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13930/statm: 329105 245336 893 2943 0 325999 0
[pid=13930/tid=13931] ppid=13927 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13931/stat : 13931 (toysat) S 13927 13930 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24852168 1348014080 245336 33554432000 4194304 16246674 140733739370304 140654359325936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13930/tid=13932] ppid=13927 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13932/stat : 13932 (toysat) S 13927 13930 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24852168 1348014080 245336 33554432000 4194304 16246674 140733739370304 140654273342704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13930/tid=13933] ppid=13927 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13933/stat : 13933 (toysat) S 13927 13930 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24852168 1348014080 245336 33554432000 4194304 16246674 140733739370304 140654262869168 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.30043 s]
/proc/loadavg: 2.32 2.20 2.11 3/183 13934
/proc/meminfo: memFree=29156568/32872528 swapFree=534252/566956
[pid=13930] ppid=13927 vsize=1316420 CPUtime=6.29 cores=1,3,5,7
/proc/13930/stat : 13930 (toysat) R 13927 13930 10353 0 -1 4202496 269789 0 0 0 592 37 0 0 20 0 4 0 24852168 1348014080 271109 33554432000 4194304 16246674 140733739370304 140733739352192 12415720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13930/statm: 329105 271109 897 2943 0 325999 0
[pid=13930/tid=13931] ppid=13927 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13931/stat : 13931 (toysat) S 13927 13930 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24852168 1348014080 271109 33554432000 4194304 16246674 140733739370304 140654359325936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13930/tid=13932] ppid=13927 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13932/stat : 13932 (toysat) S 13927 13930 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24852168 1348014080 271109 33554432000 4194304 16246674 140733739370304 140654273342704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13930/tid=13933] ppid=13927 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13933/stat : 13933 (toysat) S 13927 13930 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24852168 1348014080 271109 33554432000 4194304 16246674 140733739370304 140654262869168 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.37 2.21 2.12 3/183 13934
/proc/meminfo: memFree=29157048/32872528 swapFree=534252/566956
[pid=13930] ppid=13927 vsize=1316420 CPUtime=12.69 cores=1,3,5,7
/proc/13930/stat : 13930 (toysat) R 13927 13930 10353 0 -1 4202496 269789 0 0 0 1232 37 0 0 20 0 4 0 24852168 1348014080 271109 33554432000 4194304 16246674 140733739370304 140733739352192 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13930/statm: 329105 271109 897 2943 0 325999 0
[pid=13930/tid=13931] ppid=13927 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13931/stat : 13931 (toysat) S 13927 13930 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24852168 1348014080 271109 33554432000 4194304 16246674 140733739370304 140654359325936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13930/tid=13932] ppid=13927 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13932/stat : 13932 (toysat) S 13927 13930 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24852168 1348014080 271109 33554432000 4194304 16246674 140733739370304 140654273342704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13930/tid=13933] ppid=13927 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13933/stat : 13933 (toysat) S 13927 13930 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24852168 1348014080 271109 33554432000 4194304 16246674 140733739370304 140654262869168 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.29 2.20 2.11 3/183 13934
/proc/meminfo: memFree=29157420/32872528 swapFree=534252/566956
[pid=13930] ppid=13927 vsize=1316420 CPUtime=25.49 cores=1,3,5,7
/proc/13930/stat : 13930 (toysat) R 13927 13930 10353 0 -1 4202496 269789 0 0 0 2512 37 0 0 20 0 4 0 24852168 1348014080 271109 33554432000 4194304 16246674 140733739370304 140733739352192 5711680 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13930/statm: 329105 271109 897 2943 0 325999 0
[pid=13930/tid=13931] ppid=13927 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13931/stat : 13931 (toysat) S 13927 13930 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24852168 1348014080 271109 33554432000 4194304 16246674 140733739370304 140654359325936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13930/tid=13932] ppid=13927 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13932/stat : 13932 (toysat) S 13927 13930 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24852168 1348014080 271109 33554432000 4194304 16246674 140733739370304 140654273342704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13930/tid=13933] ppid=13927 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13933/stat : 13933 (toysat) S 13927 13930 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24852168 1348014080 271109 33554432000 4194304 16246674 140733739370304 140654262869168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1316420

[startup+51.1005 s]
/proc/loadavg: 2.19 2.18 2.11 3/183 13934
/proc/meminfo: memFree=29157404/32872528 swapFree=534252/566956
[pid=13930] ppid=13927 vsize=1316420 CPUtime=51.08 cores=1,3,5,7
/proc/13930/stat : 13930 (toysat) R 13927 13930 10353 0 -1 4202496 269789 0 0 0 5071 37 0 0 20 0 4 0 24852168 1348014080 271109 33554432000 4194304 16246674 140733739370304 140733739352192 5712760 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13930/statm: 329105 271109 897 2943 0 325999 0
[pid=13930/tid=13931] ppid=13927 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13931/stat : 13931 (toysat) S 13927 13930 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24852168 1348014080 271109 33554432000 4194304 16246674 140733739370304 140654359325936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13930/tid=13932] ppid=13927 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13932/stat : 13932 (toysat) S 13927 13930 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24852168 1348014080 271109 33554432000 4194304 16246674 140733739370304 140654273342704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13930/tid=13933] ppid=13927 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13933/stat : 13933 (toysat) S 13927 13930 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24852168 1348014080 271109 33554432000 4194304 16246674 140733739370304 140654262869168 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.301 s]
/proc/loadavg: 2.29 2.21 2.12 3/183 13935
/proc/meminfo: memFree=29152560/32872528 swapFree=534252/566956
[pid=13930] ppid=13927 vsize=1321540 CPUtime=102.28 cores=1,3,5,7
/proc/13930/stat : 13930 (toysat) R 13927 13930 10353 0 -1 4202496 270966 0 0 0 10191 37 0 0 20 0 4 0 24852168 1353256960 272286 33554432000 4194304 16246674 140733739370304 140733739369480 5712188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13930/statm: 330385 272286 902 2943 0 327279 0
[pid=13930/tid=13931] ppid=13927 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13931/stat : 13931 (toysat) S 13927 13930 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24852168 1353256960 272286 33554432000 4194304 16246674 140733739370304 140654359325936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13930/tid=13932] ppid=13927 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13932/stat : 13932 (toysat) S 13927 13930 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24852168 1353256960 272286 33554432000 4194304 16246674 140733739370304 140654273342704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13930/tid=13933] ppid=13927 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13933/stat : 13933 (toysat) S 13927 13930 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24852168 1353256960 272286 33554432000 4194304 16246674 140733739370304 140654262869168 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) 1321540


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

/proc/13930/task/13933/stat : 13933 (toysat) S 13927 13930 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24852168 2044268544 441103 33554432000 4194304 16246674 140733739370304 140654262869168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1996356

[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/183 13968
/proc/meminfo: memFree=28472712/32872528 swapFree=534252/566956
[pid=13930] ppid=13927 vsize=1996356 CPUtime=1361.92 cores=1,3,5,7
/proc/13930/stat : 13930 (toysat) R 13927 13930 10353 0 -1 4202496 440056 0 0 0 136092 100 0 0 20 0 4 0 24852168 2044268544 441103 33554432000 4194304 16246674 140733739370304 140733739352192 5673428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13930/statm: 499089 441103 903 2943 0 495983 0
[pid=13930/tid=13931] ppid=13927 vsize=1996356 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13931/stat : 13931 (toysat) S 13927 13930 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24852168 2044268544 441103 33554432000 4194304 16246674 140733739370304 140654359325936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13930/tid=13932] ppid=13927 vsize=1996356 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13932/stat : 13932 (toysat) S 13927 13930 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24852168 2044268544 441103 33554432000 4194304 16246674 140733739370304 140654273342704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13930/tid=13933] ppid=13927 vsize=1996356 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13933/stat : 13933 (toysat) S 13927 13930 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24852168 2044268544 441103 33554432000 4194304 16246674 140733739370304 140654262869168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1996356

[startup+1422.3 s]
/proc/loadavg: 2.16 2.08 2.06 3/183 13969
/proc/meminfo: memFree=28472820/32872528 swapFree=534252/566956
[pid=13930] ppid=13927 vsize=1996356 CPUtime=1421.91 cores=1,3,5,7
/proc/13930/stat : 13930 (toysat) R 13927 13930 10353 0 -1 4202496 440079 0 0 0 142089 102 0 0 20 0 4 0 24852168 2044268544 441103 33554432000 4194304 16246674 140733739370304 140733739352192 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13930/statm: 499089 441103 903 2943 0 495983 0
[pid=13930/tid=13931] ppid=13927 vsize=1996356 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13931/stat : 13931 (toysat) S 13927 13930 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24852168 2044268544 441103 33554432000 4194304 16246674 140733739370304 140654359325936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13930/tid=13932] ppid=13927 vsize=1996356 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13932/stat : 13932 (toysat) S 13927 13930 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24852168 2044268544 441103 33554432000 4194304 16246674 140733739370304 140654273342704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13930/tid=13933] ppid=13927 vsize=1996356 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13933/stat : 13933 (toysat) S 13927 13930 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24852168 2044268544 441103 33554432000 4194304 16246674 140733739370304 140654262869168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1996356

[startup+1482.3 s]
/proc/loadavg: 2.17 2.10 2.08 3/183 13970
/proc/meminfo: memFree=28472608/32872528 swapFree=534252/566956
[pid=13930] ppid=13927 vsize=1996356 CPUtime=1481.88 cores=1,3,5,7
/proc/13930/stat : 13930 (toysat) R 13927 13930 10353 0 -1 4202496 440085 0 0 0 148083 105 0 0 20 0 4 0 24852168 2044268544 441103 33554432000 4194304 16246674 140733739370304 140733739369480 5721633 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13930/statm: 499089 441103 903 2943 0 495983 0
[pid=13930/tid=13931] ppid=13927 vsize=1996356 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13931/stat : 13931 (toysat) S 13927 13930 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24852168 2044268544 441103 33554432000 4194304 16246674 140733739370304 140654359325936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13930/tid=13932] ppid=13927 vsize=1996356 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13932/stat : 13932 (toysat) S 13927 13930 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24852168 2044268544 441103 33554432000 4194304 16246674 140733739370304 140654273342704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13930/tid=13933] ppid=13927 vsize=1996356 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13933/stat : 13933 (toysat) S 13927 13930 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24852168 2044268544 441103 33554432000 4194304 16246674 140733739370304 140654262869168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1996356

[startup+1542.31 s]
/proc/loadavg: 2.09 2.10 2.07 3/184 14023
/proc/meminfo: memFree=28493320/32872528 swapFree=534252/566956
[pid=13930] ppid=13927 vsize=1996356 CPUtime=1541.89 cores=1,3,5,7
/proc/13930/stat : 13930 (toysat) R 13927 13930 10353 0 -1 4202496 440087 0 0 0 154082 107 0 0 20 0 4 0 24852168 2044268544 441103 33554432000 4194304 16246674 140733739370304 140733739369480 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13930/statm: 499089 441103 903 2943 0 495983 0
[pid=13930/tid=13931] ppid=13927 vsize=1996356 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13931/stat : 13931 (toysat) S 13927 13930 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24852168 2044268544 441103 33554432000 4194304 16246674 140733739370304 140654359325936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13930/tid=13932] ppid=13927 vsize=1996356 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13932/stat : 13932 (toysat) S 13927 13930 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24852168 2044268544 441103 33554432000 4194304 16246674 140733739370304 140654273342704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13930/tid=13933] ppid=13927 vsize=1996356 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13933/stat : 13933 (toysat) S 13927 13930 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24852168 2044268544 441103 33554432000 4194304 16246674 140733739370304 140654262869168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1996356

[startup+1602.3 s]
/proc/loadavg: 2.08 2.09 2.07 3/184 14047
/proc/meminfo: memFree=28300104/32872528 swapFree=534252/566956
[pid=13930] ppid=13927 vsize=2187844 CPUtime=1601.86 cores=1,3,5,7
/proc/13930/stat : 13930 (toysat) R 13927 13930 10353 0 -1 4202496 487976 0 0 0 160067 119 0 0 20 0 4 0 24852168 2240352256 488975 33554432000 4194304 16246674 140733739370304 140733739352192 5546001 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13930/statm: 546961 488975 903 2943 0 543855 0
[pid=13930/tid=13931] ppid=13927 vsize=2187844 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13931/stat : 13931 (toysat) S 13927 13930 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24852168 2240352256 488975 33554432000 4194304 16246674 140733739370304 140654359325936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13930/tid=13932] ppid=13927 vsize=2187844 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13932/stat : 13932 (toysat) S 13927 13930 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24852168 2240352256 488975 33554432000 4194304 16246674 140733739370304 140654273342704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13930/tid=13933] ppid=13927 vsize=2187844 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13933/stat : 13933 (toysat) S 13927 13930 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24852168 2240352256 488975 33554432000 4194304 16246674 140733739370304 140654262869168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 2187844

[startup+1662.3 s]
/proc/loadavg: 2.12 2.10 2.08 3/183 14049
/proc/meminfo: memFree=28301240/32872528 swapFree=534252/566956
[pid=13930] ppid=13927 vsize=2187844 CPUtime=1661.85 cores=1,3,5,7
/proc/13930/stat : 13930 (toysat) R 13927 13930 10353 0 -1 4202496 487986 0 0 0 166063 122 0 0 20 0 4 0 24852168 2240352256 488975 33554432000 4194304 16246674 140733739370304 140733739352192 5600395 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13930/statm: 546961 488975 903 2943 0 543855 0
[pid=13930/tid=13931] ppid=13927 vsize=2187844 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13931/stat : 13931 (toysat) S 13927 13930 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24852168 2240352256 488975 33554432000 4194304 16246674 140733739370304 140654359325936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13930/tid=13932] ppid=13927 vsize=2187844 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13932/stat : 13932 (toysat) S 13927 13930 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24852168 2240352256 488975 33554432000 4194304 16246674 140733739370304 140654273342704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13930/tid=13933] ppid=13927 vsize=2187844 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13933/stat : 13933 (toysat) S 13927 13930 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24852168 2240352256 488975 33554432000 4194304 16246674 140733739370304 140654262869168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 2187844

[startup+1722.3 s]
/proc/loadavg: 2.12 2.10 2.08 4/183 14050
/proc/meminfo: memFree=28242336/32872528 swapFree=534252/566956
[pid=13930] ppid=13927 vsize=2245188 CPUtime=1721.83 cores=1,3,5,7
/proc/13930/stat : 13930 (toysat) R 13927 13930 10353 0 -1 4202496 502329 0 0 0 172056 127 0 0 20 0 4 0 24852168 2299072512 503312 33554432000 4194304 16246674 140733739370304 140733739352192 5722804 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13930/statm: 561297 503312 904 2943 0 558191 0
[pid=13930/tid=13931] ppid=13927 vsize=2245188 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13931/stat : 13931 (toysat) S 13927 13930 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24852168 2299072512 503312 33554432000 4194304 16246674 140733739370304 140654359325936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13930/tid=13932] ppid=13927 vsize=2245188 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13932/stat : 13932 (toysat) S 13927 13930 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24852168 2299072512 503312 33554432000 4194304 16246674 140733739370304 140654273342704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13930/tid=13933] ppid=13927 vsize=2245188 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13933/stat : 13933 (toysat) S 13927 13930 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24852168 2299072512 503312 33554432000 4194304 16246674 140733739370304 140654262869168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 2245188

[startup+1782.3 s]
/proc/loadavg: 2.04 2.08 2.07 3/183 14051
/proc/meminfo: memFree=28239024/32872528 swapFree=534252/566956
[pid=13930] ppid=13927 vsize=2245188 CPUtime=1781.81 cores=1,3,5,7
/proc/13930/stat : 13930 (toysat) R 13927 13930 10353 0 -1 4202496 502341 0 0 0 178051 130 0 0 20 0 4 0 24852168 2299072512 503312 33554432000 4194304 16246674 140733739370304 140733739369480 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13930/statm: 561297 503312 904 2943 0 558191 0
[pid=13930/tid=13931] ppid=13927 vsize=2245188 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13931/stat : 13931 (toysat) S 13927 13930 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24852168 2299072512 503312 33554432000 4194304 16246674 140733739370304 140654359325936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13930/tid=13932] ppid=13927 vsize=2245188 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13932/stat : 13932 (toysat) S 13927 13930 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24852168 2299072512 503312 33554432000 4194304 16246674 140733739370304 140654273342704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13930/tid=13933] ppid=13927 vsize=2245188 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13933/stat : 13933 (toysat) S 13927 13930 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24852168 2299072512 503312 33554432000 4194304 16246674 140733739370304 140654262869168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 2245188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.03 2.07 2.07 3/183 14051
/proc/meminfo: memFree=28238072/32872528 swapFree=534252/566956
[pid=13930] ppid=13927 vsize=2245188 CPUtime=1800.01 cores=1,3,5,7
/proc/13930/stat : 13930 (toysat) R 13927 13930 10353 0 -1 4202496 502341 0 0 0 179868 133 0 0 20 0 4 0 24852168 2299072512 503312 33554432000 4194304 16246674 140733739370304 140733739369480 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13930/statm: 561297 503312 904 2943 0 558191 0
[pid=13930/tid=13931] ppid=13927 vsize=2245188 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13931/stat : 13931 (toysat) S 13927 13930 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24852168 2299072512 503312 33554432000 4194304 16246674 140733739370304 140654359325936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13930/tid=13932] ppid=13927 vsize=2245188 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13932/stat : 13932 (toysat) S 13927 13930 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24852168 2299072512 503312 33554432000 4194304 16246674 140733739370304 140654273342704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13930/tid=13933] ppid=13927 vsize=2245188 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13933/stat : 13933 (toysat) S 13927 13930 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24852168 2299072512 503312 33554432000 4194304 16246674 140733739370304 140654262869168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2245188

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

[startup+1800.5 s]
/proc/loadavg: 2.03 2.07 2.07 3/183 14051
/proc/meminfo: memFree=28238072/32872528 swapFree=534252/566956
[pid=13930] ppid=13927 vsize=2245188 CPUtime=1800.01 cores=1,3,5,7
/proc/13930/stat : 13930 (toysat) R 13927 13930 10353 0 -1 4202496 502341 0 0 0 179868 133 0 0 20 0 4 0 24852168 2299072512 503312 33554432000 4194304 16246674 140733739370304 140733739369480 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13930/statm: 561297 503312 904 2943 0 558191 0
[pid=13930/tid=13931] ppid=13927 vsize=2245188 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13931/stat : 13931 (toysat) S 13927 13930 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24852168 2299072512 503312 33554432000 4194304 16246674 140733739370304 140654359325936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13930/tid=13932] ppid=13927 vsize=2245188 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13932/stat : 13932 (toysat) S 13927 13930 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24852168 2299072512 503312 33554432000 4194304 16246674 140733739370304 140654273342704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13930/tid=13933] ppid=13927 vsize=2245188 CPUtime=0 cores=1,3,5,7
/proc/13930/task/13933/stat : 13933 (toysat) S 13927 13930 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24852168 2299072512 503312 33554432000 4194304 16246674 140733739370304 140654262869168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2245188

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.04
CPU user time (s): 1798.69
CPU system time (s): 1.3428
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 2245188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 1.34279
maximum resident set size= 2013248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 502341
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= 365
involuntary context switches= 1959

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.72428 second user time and 6.98894 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 07:34:25
IDJOB=4101929
IDBENCH=1812
IDSOLVER=2542
FILE ID=node138/4101929-1466228065
RUNJOBID= node138-1466206053-10370
PBS_JOBID= 19918139
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/miplib2003/normalized-reduced-mps-v2-20-10-danoint.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101929-1466228065/watcher-4101929-1466228065 -o /tmp/evaluation-result-4101929-1466228065/solver-4101929-1466228065 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10370 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101929-1466228065.opb

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

MD5SUM BENCH= 9a58bdfc023900d726e146c07979fe71
RANDOM SEED=1694873325

node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30241088 kB
Buffers:          107908 kB
Cached:           123860 kB
SwapCached:         1060 kB
Active:          1191828 kB
Inactive:         134820 kB
Active(anon):    1095492 kB
Inactive(anon):     1228 kB
Active(file):      96336 kB
Inactive(file):   133592 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             17112 kB
Writeback:             0 kB
AnonPages:       1671012 kB
Mapped:            10804 kB
Shmem:                 0 kB
Slab:             603492 kB
SReclaimable:      47288 kB
SUnreclaim:       556204 kB
KernelStack:        1520 kB
PageTables:         7204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1802604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     49152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node138 at 2016-06-18 08:04:26