Trace number 4079450

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.02 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-l152lav.opb
MD5SUM1a5510d564851e49e3b50f1a87922ca2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5556
Best CPU time to get the best result obtained on this benchmark1800.47
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4722
Optimality of the best value was proved YES
Number of variables1989
Total number of constraints97
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)96
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint3
Maximum length of a constraint1989
Number of terms in the objective function 1989
Biggest coefficient in the objective function 268
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 382524
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 268
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 382524
Number of bits of the biggest sum of numbers19
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-06T16:32:12+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-4079450-1465223532.opb"]
0.00/0.01	c use --random-gen="351837635 865668097 1264576584 3328069477 1167207206 1633140458 359087293 2439467371 1321037659 1671514721 1439041754 1372534482 741413964 672466403 3700093092 3932860724 2968677497 3568276746 1731002825 4167216912 3259867285 2603726489 594206351 3025844601 1607009190 3636856679 472091881 4276488733 2362346690 709534316 211783953 977202203 2948551498 3103290261 184240914 344643642 2003311243 1766727126 1751426738 232036794 3263702881 1545012511 3466401544 3302585931 2992431200 3263186478 1530539790 3278018918 3067147544 1891474411 219039479 145222363 2390067408 2968948727 4213718270 1357700972 84458525 1659018656 4210132310 1657484516 2329717486 3893857764 757900793 1730979064 3215939237 3764147630 859373277 2619929053 1149245142 3594198980 1164190132 434926115 2985376008 41232873 4003656001 4083587438 1518730761 662555997 1356433410 4129015894 913595781 339754395 78407981 1824088103 2543985774 596610108 2090799551 1861800331 3068171350 1746673742 2152855636 3937761263 3116856614 2197959926 4252264326 710757441 1512359947 2759428918 2380422028 692487186 1511952282 1778741036 3806941609 1975334989 2757269065 235911959 3552271223 307279050 1606895996 4233778127 2466903672 1366876302 3061207389 1868013463 3158104389 3880224168 1070228449 1100625507 3661784016 994016935 4125384156 1594509888 3971850338 3138332324 2183371990 4221875105 3917661632 1983442949 895799773 3878478868 1490704889 4192385497 2081591808 1107792277 2498243070 273156659 2773927909 3154188155 4043168892 823991445 2212428712 1678518748 786055933 1335171773 2469561071 758004864 3518194443 2054361194 1666163062 1125397143 954603358 4227557668 3661713159 310180079 881140859 451472310 3554267383 2000370226 1340316310 2700955795 527873608 3868974741 3935176803 1332282199 1940189605 185626062 4214001837 3372654196 2775806512 3437168959 3346637864 3172798491 196140399 1601522157 846396330 1770058069 2377202262 186726412 362445576 1004489016 2554327762 3850715716 399936782 2461142285 1322735380 229575157 3305888336 3172251508 3986401651 3776479755 2594232326 166861347 3254399257 3079633045 3643628797 3289378163 2568067955 2453039361 3083375459 36627631 1052867050 3824658768 4144589159 4028921956 1566948663 3367304406 2297553286 4221000705 150283304 130346028 3015603084 4138878317 9853417 1300913399 2052232609 3380055466 3550752424 3796502193 1113531278 153009521 1874144533 2850155869 3199751740 2786501138 374875827 265545113 2003613773 1707457126 1353412609 3926030796 2609443879 2099081388 898938062 2454205273 1022814259 779484017 34863251 2481580858 1337441939 1158813894 2224557589 295124509 602975410 3543355897 3344599825 2141998007 479992293 1945259478 1857979651 808429156 866616013 4055902463 1232327385 4079613941 2849593417 320747932 255 362436" option to reproduce the execution
0.00/0.03	c #vars 1989
0.00/0.03	c #constraints 97
0.08/0.10	c BCD2: Hardening is enabled.
0.08/0.10	c BCD2: BiasedSearch is enabled.
0.08/0.10	c Solving starts ...
0.08/0.10	c ============================[ Search Statistics ]============================
0.08/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.10	c =============================================================================
0.08/0.10	c  0.0s |       0 |        0 |        0 |      727      0 |        0 |        0
0.19/0.21	c  0.1s |       1 |      326 |      100 |      727      0 |        0 |        0
0.29/0.30	c  0.2s |       2 |     1003 |      250 |      800      0 |        0 |        0
0.49/0.57	c  0.5s |       3 |     1328 |      475 |      881      0 |        0 |        0
0.89/0.95	c  0.9s |       4 |     1840 |      813 |      970      0 |        0 |        0
1.79/1.85	c  1.8s |       5 |     2437 |     1320 |     1067      0 |        0 |        0
2.79/2.85	c  2.7s |       6 |     3400 |     2081 |     1292      1 |        0 |        0
4.89/4.92	c  4.8s |       6 |     4683 |     3081 |     1292      2 |        0 |        0
5.29/5.30	c  5.2s |       7 |     4851 |     3223 |     1422      2 |        0 |        0
7.49/7.55	c  7.5s |       7 |     5947 |     3923 |     1422      3 |        0 |        0
9.89/9.94	c  9.8s |       7 |     6304 |     4223 |     1422      3 |        0 |        0
13.39/13.43	c 13.3s |       7 |     6519 |     4423 |     1422      3 |        0 |        0
17.18/17.21	c 17.1s |       7 |     6735 |     4623 |     1422      3 |        0 |        0
20.89/20.94	c 20.8s |       7 |     6954 |     4823 |     1422      3 |        0 |        0
22.09/22.12	c 22.0s |       8 |     7128 |     4936 |     1565      3 |        0 |        0
24.19/24.22	c 24.1s |       8 |     9569 |     6836 |     1565      4 |        0 |        0
25.08/25.18	c 25.1s |       9 |    10440 |     7506 |     1722      5 |        0 |        0
27.08/27.18	c 27.1s |       9 |    12107 |     8806 |     1722      6 |        0 |        0
29.38/29.45	c 29.3s |       9 |    13795 |    10006 |     1722      7 |        0 |        0
31.48/31.51	c 31.4s |      10 |    15467 |    11361 |     1895      7 |        0 |        0
33.48/33.58	c 33.5s |      10 |    17065 |    12661 |     1895      8 |        0 |        0
35.58/35.61	c 35.5s |      10 |    18600 |    13861 |     1895      9 |        0 |        0
37.78/37.81	c 37.7s |      10 |    20137 |    15061 |     1895      9 |        0 |        0
39.78/39.88	c 39.8s |      10 |    21157 |    15961 |     1895     10 |        0 |        0
41.48/41.52	c 41.4s |      11 |    22817 |    17144 |     2085     10 |        0 |        0
43.48/43.56	c 43.5s |      11 |    24280 |    18244 |     2085     11 |        0 |        0
45.78/45.90	c 45.8s |      11 |    24976 |    18844 |     2085     11 |        0 |        0
47.88/47.96	c 47.9s |      11 |    26074 |    19844 |     2085     12 |        0 |        0
49.88/49.99	c 49.9s |      11 |    27362 |    20944 |     2085     12 |        0 |        0
52.18/52.28	c 52.2s |      11 |    28004 |    21444 |     2085     12 |        0 |        0
54.78/54.82	c 54.7s |      11 |    28432 |    21844 |     2085     13 |        0 |        0
57.58/57.61	c 57.5s |      11 |    28839 |    22244 |     2085     13 |        0 |        0
59.68/59.79	c 59.7s |      11 |    29147 |    22544 |     2085     13 |        0 |        0
61.88/61.96	c 61.9s |      11 |    30461 |    23644 |     2085     14 |        0 |        0
63.89/63.97	c 63.9s |      11 |    31757 |    24744 |     2085     14 |        0 |        0
65.98/66.03	c 65.9s |      12 |    32932 |    25819 |     2294     15 |        0 |        0
68.18/68.22	c 68.1s |      12 |    34112 |    26819 |     2294     16 |        0 |        0
70.18/70.26	c 70.2s |      12 |    35404 |    27919 |     2294     16 |        0 |        0
72.28/72.31	c 72.2s |      12 |    36707 |    29019 |     2294     17 |        0 |        0
74.38/74.41	c 74.3s |      12 |    38250 |    30219 |     2294     17 |        0 |        0
76.38/76.44	c 76.3s |      12 |    39638 |    31219 |     2294     18 |        0 |        0
78.58/78.61	c 78.5s |      12 |    41414 |    32619 |     2294     18 |        0 |        0
80.67/80.76	c 80.7s |      12 |    42777 |    33719 |     2294     19 |        0 |        0
82.87/82.93	c 82.8s |      12 |    43861 |    34619 |     2294     19 |        0 |        0
85.07/85.18	c 85.1s |      12 |    44967 |    35619 |     2294     20 |        0 |        0
87.18/87.21	c 87.1s |      12 |    45856 |    36419 |     2294     20 |        0 |        0
89.19/89.28	c 89.2s |      12 |    47047 |    37419 |     2294     21 |        0 |        0
91.18/91.29	c 91.2s |      12 |    48216 |    38419 |     2294     21 |        0 |        0
92.88/92.93	c 92.8s |      13 |    48748 |    38832 |     2524     21 |        0 |        0
94.98/95.07	c 95.0s |      13 |    50203 |    40032 |     2524     22 |        0 |        0
97.08/97.18	c 97.1s |      13 |    51161 |    40832 |     2524     22 |        0 |        0
99.18/99.25	c 99.2s |      13 |    52451 |    41932 |     2524     23 |        0 |        0
101.29/101.38	c  101s |      13 |    54002 |    43232 |     2524     23 |        0 |        0
103.48/103.53	c  103s |      13 |    55569 |    44532 |     2524     24 |        0 |        0
105.58/105.63	c  105s |      13 |    57007 |    45632 |     2524     24 |        0 |        0
107.78/107.84	c  107s |      13 |    58332 |    46732 |     2524     25 |        0 |        0
109.78/109.86	c  109s |      13 |    59293 |    47632 |     2524     25 |        0 |        0
111.88/111.99	c  111s |      13 |    60469 |    48732 |     2524     26 |        0 |        0
114.08/114.17	c  114s |      13 |    61629 |    49832 |     2524     26 |        0 |        0
116.18/116.26	c  116s |      13 |    62668 |    50832 |     2524     27 |        0 |        0
118.28/118.35	c  118s |      13 |    63724 |    51832 |     2524     27 |        0 |        0
120.47/120.52	c  120s |      13 |    64970 |    52832 |     2524     28 |        0 |        0
122.47/122.54	c  122s |      13 |    66691 |    53932 |     2524     28 |        0 |        0
124.57/124.61	c  124s |      13 |    67732 |    54832 |     2524     29 |        0 |        0
126.67/126.79	c  126s |      13 |    68964 |    55832 |     2524     29 |        0 |        0
128.68/128.80	c  128s |      13 |    70101 |    56732 |     2524     29 |        0 |        0
130.88/130.99	c  130s |      13 |    71649 |    57832 |     2524     30 |        0 |        0
131.98/132.05	c  131s |      14 |    72374 |    58352 |     2777     30 |        0 |        0
134.07/134.18	c  134s |      14 |    73434 |    59152 |     2777     31 |        0 |        0
136.27/136.35	c  136s |      14 |    74176 |    59752 |     2777     31 |        0 |        0
138.47/138.59	c  138s |      14 |    74906 |    60352 |     2777     31 |        0 |        0
140.78/140.81	c  140s |      14 |    75538 |    60852 |     2777     31 |        0 |        0
142.87/142.98	c  142s |      14 |    76765 |    61852 |     2777     32 |        0 |        0
145.07/145.11	c  145s |      14 |    77995 |    62852 |     2777     32 |        0 |        0
147.17/147.28	c  147s |      14 |    79155 |    63852 |     2777     33 |        0 |        0
149.17/149.29	c  149s |      14 |    80298 |    64852 |     2777     33 |        0 |        0
151.27/151.33	c  151s |      14 |    81254 |    65652 |     2777     33 |        0 |        0
153.27/153.35	c  153s |      14 |    82344 |    66552 |     2777     34 |        0 |        0
155.27/155.37	c  155s |      14 |    83302 |    67352 |     2777     34 |        0 |        0
157.37/157.47	c  157s |      14 |    84474 |    68252 |     2777     34 |        0 |        0
159.37/159.48	c  159s |      14 |    85378 |    69052 |     2777     35 |        0 |        0
161.57/161.62	c  161s |      14 |    86352 |    69852 |     2777     35 |        0 |        0
163.67/163.73	c  163s |      14 |    87472 |    70752 |     2777     35 |        0 |        0
165.76/165.87	c  165s |      14 |    88715 |    71752 |     2777     36 |        0 |        0
167.86/167.96	c  167s |      14 |    89496 |    72352 |     2777     36 |        0 |        0
169.96/170.07	c  169s |      14 |    90364 |    73052 |     2777     36 |        0 |        0
172.16/172.21	c  172s |      14 |    91085 |    73652 |     2777     37 |        0 |        0
174.26/174.34	c  174s |      14 |    91703 |    74152 |     2777     37 |        0 |        0
176.36/176.44	c  176s |      14 |    92684 |    74952 |     2777     37 |        0 |        0
178.36/178.50	c  178s |      14 |    93581 |    75752 |     2777     38 |        0 |        0
180.66/180.70	c  180s |      14 |    94361 |    76452 |     2777     38 |        0 |        0
182.86/182.90	c  182s |      14 |    95314 |    77252 |     2777     38 |        0 |        0
184.96/185.08	c  184s |      14 |    96173 |    77952 |     2777     39 |        0 |        0
187.36/187.42	c  187s |      14 |    96718 |    78452 |     2777     39 |        0 |        0
189.36/189.46	c  189s |      14 |    97266 |    78952 |     2777     39 |        0 |        0
191.47/191.57	c  191s |      14 |    97941 |    79552 |     2777     39 |        0 |        0
193.86/193.93	c  193s |      14 |    98614 |    80152 |     2777     39 |        0 |        0
196.16/196.22	c  196s |      14 |    99655 |    81052 |     2777     40 |        0 |        0
198.16/198.26	c  198s |      14 |   100749 |    81852 |     2777     40 |        0 |        0
200.27/200.37	c  200s |      14 |   101580 |    82552 |     2777     40 |        0 |        0
202.56/202.69	c  202s |      14 |   102223 |    83152 |     2777     41 |        0 |        0
204.76/204.87	c  204s |      14 |   102659 |    83552 |     2777     41 |        0 |        0
207.16/207.22	c  207s |      14 |   103211 |    84052 |     2777     41 |        0 |        0
209.46/209.50	c  209s |      14 |   103924 |    84652 |     2777     41 |        0 |        0
211.46/211.56	c  211s |      14 |   104529 |    85152 |     2777     42 |        0 |        0
213.76/213.86	c  213s |      14 |   105259 |    85752 |     2777     42 |        0 |        0
216.06/216.12	c  216s |      14 |   105806 |    86252 |     2777     42 |        0 |        0
218.25/218.34	c  218s |      14 |   106351 |    86752 |     2777     42 |        0 |        0
220.25/220.35	c  220s |      14 |   107110 |    87352 |     3055     42 |        0 |        0
221.95/222.02	c  221s |      15 |   107443 |    87632 |     3055     43 |        0 |        0
223.95/224.09	c  223s |      15 |   107921 |    88032 |     3055     43 |        0 |        0
226.15/226.23	c  226s |      15 |   108605 |    88632 |     3055     43 |        0 |        0
228.45/228.52	c  228s |      15 |   109475 |    89432 |     3055     43 |        0 |        0
230.65/230.70	c  230s |      15 |   110066 |    89932 |     3055     43 |        0 |        0
233.05/233.11	c  233s |      15 |   110934 |    90532 |     3055     44 |        0 |        0
235.05/235.12	c  235s |      15 |   111496 |    91032 |     3055     44 |        0 |        0
237.15/237.24	c  237s |      15 |   112139 |    91632 |     3055     44 |        0 |        0
239.45/239.52	c  239s |      15 |   112793 |    92232 |     3055     44 |        0 |        0
241.55/241.68	c  241s |      15 |   113332 |    92732 |     3055     45 |        0 |        0
243.65/243.71	c  243s |      15 |   113768 |    93132 |     3055     45 |        0 |        0
245.65/245.79	c  245s |      15 |   114100 |    93432 |     3055     45 |        0 |        0
247.85/247.95	c  247s |      15 |   114541 |    93832 |     3055     45 |        0 |        0
250.76/250.86	c  250s |      15 |   114984 |    94232 |     3055     45 |        0 |        0
252.85/252.93	c  252s |      15 |   115555 |    94732 |     3055     45 |        0 |        0
254.95/255.04	c  254s |      15 |   116425 |    95432 |     3055     46 |        0 |        0
257.05/257.17	c  257s |      15 |   117552 |    96232 |     3055     46 |        0 |        0
259.35/259.41	c  259s |      15 |   118586 |    97032 |     3055     46 |        0 |        0
261.55/261.63	c  261s |      15 |   119599 |    97832 |     3055     47 |        0 |        0
263.65/263.78	c  263s |      15 |   120548 |    98532 |     3055     47 |        0 |        0
265.75/265.88	c  265s |      15 |   121433 |    99232 |     3055     47 |        0 |        0
267.75/267.89	c  267s |      15 |   122660 |   100232 |     3055     48 |        0 |        0
269.85/269.96	c  269s |      15 |   124299 |   101732 |     3055     48 |        0 |        0
272.04/272.13	c  272s |      15 |   125556 |   102832 |     3055     49 |        0 |        0
274.14/274.20	c  274s |      15 |   126498 |   103632 |     3055     49 |        0 |        0
276.34/276.42	c  276s |      15 |   127471 |   104432 |     3055     49 |        0 |        0
278.35/278.45	c  278s |      15 |   128984 |   105632 |     3055     50 |        0 |        0
280.45/280.51	c  280s |      15 |   130688 |   106832 |     3055     50 |        0 |        0
282.54/282.66	c  282s |      15 |   132566 |   107932 |     3055     51 |        0 |        0
284.54/284.68	c  284s |      15 |   134064 |   109132 |     3055     51 |        0 |        0
286.64/286.73	c  286s |      15 |   135447 |   110232 |     3055     52 |        0 |        0
288.64/288.75	c  288s |      15 |   136486 |   111032 |     3055     52 |        0 |        0
290.74/290.88	c  290s |      15 |   138046 |   112332 |     3055     52 |        0 |        0
292.94/293.09	c  292s |      15 |   139325 |   113332 |     3055     53 |        0 |        0
295.14/295.22	c  295s |      15 |   140484 |   114232 |     3055     53 |        0 |        0
297.24/297.39	c  297s |      15 |   141490 |   115032 |     3055     53 |        0 |        0
299.34/299.49	c  299s |      15 |   142770 |   116132 |     3055     54 |        0 |        0
301.54/301.67	c  301s |      15 |   144378 |   117432 |     3055     54 |        0 |        0
303.84/303.94	c  303s |      15 |   145676 |   118432 |     3055     55 |        0 |        0
305.84/305.99	c  305s |      15 |   147327 |   119732 |     3055     55 |        0 |        0
307.94/308.04	c  307s |      15 |   148844 |   120932 |     3055     56 |        0 |        0
310.03/310.15	c  310s |      15 |   150313 |   122032 |     3055     56 |        0 |        0
312.23/312.38	c  312s |      15 |   151519 |   122932 |     3055     57 |        0 |        0
314.33/314.46	c  314s |      15 |   153141 |   124132 |     3055     57 |        0 |        0
316.43/316.52	c  316s |      15 |   154978 |   125532 |     3055     58 |        0 |        0
318.43/318.55	c  318s |      15 |   156580 |   126732 |     3055     58 |        0 |        0
320.53/320.65	c  320s |      15 |   158018 |   127932 |     3055     59 |        0 |        0
322.73/322.80	c  322s |      15 |   159811 |   129332 |     3055     59 |        0 |        0
324.83/324.92	c  324s |      15 |   161568 |   130732 |     3361     60 |        0 |        0
326.33/326.44	c  326s |      16 |   162517 |   131552 |     3361     60 |        0 |        0
328.73/328.84	c  328s |      16 |   163242 |   132152 |     3361     61 |        0 |        0
331.04/331.14	c  331s |      16 |   164017 |   132852 |     3361     61 |        0 |        0
333.13/333.26	c  333s |      16 |   164622 |   133352 |     3361     61 |        0 |        0
335.33/335.43	c  335s |      16 |   165663 |   134152 |     3361     61 |        0 |        0
337.63/337.71	c  337s |      16 |   166620 |   134952 |     3361     62 |        0 |        0
339.73/339.88	c  339s |      16 |   167340 |   135552 |     3361     62 |        0 |        0
342.23/342.33	c  342s |      16 |   167941 |   136052 |     3361     62 |        0 |        0
344.33/344.41	c  344s |      16 |   168505 |   136552 |     3361     62 |        0 |        0
346.63/346.74	c  346s |      16 |   169197 |   137152 |     3361     62 |        0 |        0
348.63/348.78	c  348s |      16 |   169778 |   137652 |     3361     63 |        0 |        0
350.62/350.79	c  350s |      16 |   170441 |   138152 |     3361     63 |        0 |        0
352.92/353.01	c  352s |      16 |   171243 |   138852 |     3361     63 |        0 |        0
354.92/355.08	c  354s |      16 |   171917 |   139452 |     3361     63 |        0 |        0
357.12/357.26	c  357s |      16 |   172667 |   140052 |     3361     63 |        0 |        0
359.32/359.43	c  359s |      16 |   173983 |   141052 |     3361     64 |        0 |        0
361.52/361.61	c  361s |      16 |   175187 |   142052 |     3361     64 |        0 |        0
363.62/363.74	c  363s |      16 |   176239 |   142952 |     3361     65 |        0 |        0
365.62/365.75	c  365s |      16 |   176956 |   143552 |     3361     65 |        0 |        0
367.72/367.81	c  367s |      16 |   177546 |   144052 |     3361     65 |        0 |        0
369.82/369.96	c  369s |      16 |   178771 |   145052 |     3361     65 |        0 |        0
371.92/372.08	c  371s |      16 |   180069 |   146052 |     3361     66 |        0 |        0
374.03/374.18	c  374s |      16 |   181323 |   147052 |     3361     66 |        0 |        0
376.42/376.57	c  376s |      16 |   182115 |   147752 |     3361     66 |        0 |        0
378.62/378.75	c  378s |      16 |   183125 |   148552 |     3361     67 |        0 |        0
380.72/380.84	c  380s |      16 |   184131 |   149352 |     3361     67 |        0 |        0
382.92/383.07	c  382s |      16 |   185043 |   150152 |     3361     67 |        0 |        0
385.12/385.24	c  385s |      16 |   185718 |   150752 |     3361     67 |        0 |        0
387.23/387.36	c  387s |      16 |   186685 |   151552 |     3361     68 |        0 |        0
389.32/389.49	c  389s |      16 |   187491 |   152252 |     3361     68 |        0 |        0
391.72/391.86	c  391s |      16 |   188150 |   152852 |     3361     68 |        0 |        0
393.92/394.05	c  393s |      16 |   189207 |   153652 |     3361     69 |        0 |        0
396.11/396.21	c  396s |      16 |   190137 |   154352 |     3361     69 |        0 |        0
398.22/398.32	c  398s |      16 |   190754 |   154852 |     3361     69 |        0 |        0
400.71/400.81	c  400s |      16 |   191221 |   155252 |     3361     69 |        0 |        0
402.71/402.82	c  402s |      16 |   191709 |   155652 |     3361     69 |        0 |        0
404.72/404.87	c  404s |      16 |   192277 |   156152 |     3361     70 |        0 |        0
407.11/407.22	c  407s |      16 |   192959 |   156752 |     3361     70 |        0 |        0
409.41/409.51	c  409s |      16 |   193716 |   157352 |     3361     70 |        0 |        0
411.61/411.78	c  411s |      16 |   194554 |   158052 |     3361     70 |        0 |        0
413.91/414.02	c  413s |      16 |   195426 |   158752 |     3361     71 |        0 |        0
416.11/416.28	c  416s |      16 |   196191 |   159452 |     3361     71 |        0 |        0
418.41/418.59	c  418s |      16 |   196953 |   160152 |     3361     71 |        0 |        0
420.81/420.91	c  420s |      16 |   197748 |   160852 |     3361     71 |        0 |        0
423.11/423.20	c  423s |      16 |   198787 |   161652 |     3361     72 |        0 |        0
425.11/425.24	c  425s |      16 |   199611 |   162352 |     3361     72 |        0 |        0
427.31/427.40	c  427s |      16 |   200403 |   163052 |     3361     72 |        0 |        0
429.41/429.57	c  429s |      16 |   201268 |   163852 |     3361     72 |        0 |        0
431.51/431.61	c  431s |      16 |   202026 |   164552 |     3361     73 |        0 |        0
433.71/433.85	c  433s |      16 |   202897 |   165352 |     3361     73 |        0 |        0
435.81/435.98	c  435s |      16 |   203656 |   166052 |     3361     73 |        0 |        0
438.11/438.29	c  438s |      16 |   204386 |   166752 |     3361     74 |        0 |        0
440.21/440.33	c  440s |      16 |   205110 |   167452 |     3361     74 |        0 |        0
442.41/442.54	c  442s |      16 |   205745 |   168052 |     3361     74 |        0 |        0
444.51/444.67	c  444s |      16 |   206637 |   168852 |     3361     74 |        0 |        0
446.91/447.00	c  446s |      16 |   207378 |   169452 |     3361     75 |        0 |        0
449.11/449.29	c  449s |      16 |   207931 |   169952 |     3361     75 |        0 |        0
451.21/451.34	c  451s |      16 |   208472 |   170452 |     3361     75 |        0 |        0
453.61/453.73	c  453s |      16 |   209105 |   171052 |     3361     75 |        0 |        0
455.91/456.03	c  455s |      16 |   209666 |   171552 |     3361     75 |        0 |        0
458.01/458.16	c  458s |      16 |   210394 |   172152 |     3361     76 |        0 |        0
460.31/460.42	c  460s |      16 |   210998 |   172652 |     3361     76 |        0 |        0
462.61/462.74	c  462s |      16 |   211677 |   173152 |     3361     76 |        0 |        0
464.61/464.78	c  464s |      16 |   212331 |   173752 |     3361     76 |        0 |        0
466.91/467.04	c  466s |      16 |   213217 |   174452 |     3361     76 |        0 |        0
468.91/469.05	c  468s |      16 |   214035 |   175152 |     3361     77 |        0 |        0
471.21/471.32	c  471s |      16 |   214916 |   175952 |     3361     77 |        0 |        0
473.41/473.52	c  473s |      16 |   215740 |   176652 |     3361     77 |        0 |        0
475.50/475.67	c  475s |      16 |   216383 |   177252 |     3361     78 |        0 |        0
477.70/477.86	c  477s |      16 |   217121 |   177952 |     3361     78 |        0 |        0
479.90/480.08	c  479s |      16 |   217741 |   178552 |     3361     78 |        0 |        0
482.30/482.42	c  482s |      16 |   218374 |   179152 |     3361     78 |        0 |        0
484.70/484.83	c  484s |      16 |   218945 |   179652 |     3361     78 |        0 |        0
486.70/486.84	c  486s |      16 |   219631 |   180252 |     3361     79 |        0 |        0
488.70/488.84	c  488s |      16 |   220253 |   180752 |     3361     79 |        0 |        0
490.70/490.89	c  490s |      16 |   220850 |   181252 |     3361     79 |        0 |        0
493.00/493.18	c  493s |      16 |   221778 |   182052 |     3361     79 |        0 |        0
495.20/495.39	c  495s |      16 |   222875 |   182952 |     3361     80 |        0 |        0
497.40/497.58	c  497s |      16 |   223857 |   183752 |     3361     80 |        0 |        0
499.50/499.69	c  499s |      16 |   224744 |   184552 |     3361     80 |        0 |        0
501.51/501.69	c  501s |      16 |   225414 |   185152 |     3361     81 |        0 |        0
503.90/504.08	c  503s |      16 |   225955 |   185652 |     3361     81 |        0 |        0
506.20/506.37	c  506s |      16 |   226516 |   186152 |     3361     81 |        0 |        0
508.20/508.37	c  508s |      16 |   227145 |   186752 |     3361     81 |        0 |        0
510.30/510.42	c  510s |      16 |   227886 |   187452 |     3361     81 |        0 |        0
512.40/512.58	c  512s |      16 |   228621 |   188152 |     3361     82 |        0 |        0
514.50/514.64	c  514s |      16 |   229240 |   188752 |     3361     82 |        0 |        0
516.70/516.83	c  516s |      16 |   229980 |   189452 |     3361     82 |        0 |        0
518.70/518.89	c  518s |      16 |   230462 |   189852 |     3361     82 |        0 |        0
521.09/521.24	c  521s |      16 |   231170 |   190452 |     3361     83 |        0 |        0
523.29/523.46	c  523s |      16 |   232103 |   191152 |     3361     83 |        0 |        0
525.29/525.49	c  525s |      16 |   232941 |   191852 |     3361     83 |        0 |        0
527.39/527.51	c  527s |      16 |   233616 |   192452 |     3361     83 |        0 |        0
529.49/529.63	c  529s |      16 |   234377 |   193152 |     3361     84 |        0 |        0
531.69/531.80	c  531s |      16 |   235133 |   193852 |     3361     84 |        0 |        0
534.09/534.22	c  534s |      16 |   235882 |   194552 |     3361     84 |        0 |        0
536.39/536.52	c  536s |      16 |   236511 |   195152 |     3361     84 |        0 |        0
538.49/538.68	c  538s |      16 |   237127 |   195752 |     3361     85 |        0 |        0
541.10/541.29	c  541s |      16 |   237643 |   196252 |     3698     85 |        0 |        0
543.49/543.63	c  543s |      16 |   238059 |   196652 |     3698     85 |        0 |        0
545.69/545.87	c  545s |      16 |   238469 |   197052 |     3698     85 |        0 |        0
547.70/547.84	c  547s |      17 |   238859 |   197432 |     3698     85 |        0 |        0
549.69/549.86	c  549s |      17 |   239938 |   198432 |     3698     86 |        0 |        0
551.69/551.86	c  551s |      17 |   241201 |   199632 |     3698     86 |        0 |        0
553.79/553.90	c  553s |      17 |   243068 |   201332 |     3698     87 |        0 |        0
555.79/555.98	c  555s |      17 |   244672 |   202732 |     3698     87 |        0 |        0
557.88/558.08	c  557s |      17 |   246193 |   204132 |     3698     88 |        0 |        0
559.98/560.10	c  560s |      17 |   247730 |   205532 |     3698     88 |        0 |        0
561.99/562.20	c  562s |      17 |   249324 |   207032 |     3698     89 |        0 |        0
564.19/564.38	c  564s |      17 |   250921 |   208532 |     3698     89 |        0 |        0
566.28/566.46	c  566s |      17 |   252287 |   209732 |     3698     90 |        0 |        0
568.28/568.49	c  568s |      17 |   253786 |   211132 |     3698     90 |        0 |        0
570.38/570.55	c  570s |      17 |   255188 |   212432 |     3698     91 |        0 |        0
572.38/572.56	c  572s |      17 |   256795 |   213932 |     3698     91 |        0 |        0
574.48/574.65	c  574s |      17 |   258689 |   215732 |     3698     92 |        0 |        0
576.58/576.72	c  576s |      17 |   260637 |   217532 |     3698     92 |        0 |        0
578.67/578.88	c  578s |      17 |   262268 |   219032 |     3698     93 |        0 |        0
580.78/580.99	c  580s |      17 |   263585 |   220132 |     3698     93 |        0 |        0
582.88/583.05	c  582s |      17 |   264516 |   221032 |     3698     94 |        0 |        0
585.08/585.22	c  585s |      17 |   265551 |   222032 |     3698     94 |        0 |        0
587.07/587.25	c  587s |      17 |   266494 |   222932 |     3698     94 |        0 |        0
589.27/589.43	c  589s |      17 |   267434 |   223832 |     3698     95 |        0 |        0
591.47/591.63	c  591s |      17 |   268958 |   225032 |     3698     95 |        0 |        0
593.56/593.74	c  593s |      17 |   270280 |   226132 |     3698     96 |        0 |        0
595.56/595.76	c  595s |      17 |   271467 |   227232 |     3698     96 |        0 |        0
597.66/597.86	c  597s |      17 |   272811 |   228532 |     3698     96 |        0 |        0
599.76/599.90	c  599s |      17 |   274065 |   229732 |     3698     97 |        0 |        0
601.86/602.01	c  601s |      17 |   275307 |   230832 |     3698     97 |        0 |        0
603.86/604.08	c  603s |      17 |   276403 |   231832 |     3698     98 |        0 |        0
606.06/606.22	c  606s |      17 |   277602 |   232932 |     3698     98 |        0 |        0
608.16/608.38	c  608s |      17 |   279339 |   234132 |     3698     98 |        0 |        0
610.36/610.53	c  610s |      17 |   280723 |   235132 |     3698     99 |        0 |        0
612.35/612.56	c  612s |      17 |   282000 |   236132 |     3698     99 |        0 |        0
614.45/614.60	c  614s |      17 |   284813 |   237832 |     3698    100 |        0 |        0
616.45/616.61	c  616s |      17 |   288046 |   239932 |     3698    100 |        0 |        0
618.56/618.71	c  618s |      17 |   290507 |   241732 |     3698    101 |        0 |        0
620.56/620.71	c  620s |      17 |   293499 |   243932 |     3698    102 |        0 |        0
622.57/622.71	c  622s |      17 |   297290 |   246532 |     3698    103 |        0 |        0
624.56/624.79	c  624s |      17 |   300958 |   249232 |     3698    104 |        0 |        0
626.66/626.88	c  626s |      17 |   303963 |   251532 |     3698    105 |        0 |        0
628.76/628.96	c  628s |      17 |   305602 |   252832 |     3698    105 |        0 |        0
630.86/631.03	c  630s |      17 |   308273 |   254832 |     3698    106 |        0 |        0
632.86/633.09	c  632s |      17 |   311029 |   257032 |     3698    107 |        0 |        0
634.96/635.16	c  635s |      17 |   313574 |   259132 |     3698    107 |        0 |        0
637.06/637.23	c  637s |      17 |   316215 |   261232 |     3698    108 |        0 |        0
639.06/639.29	c  639s |      17 |   318486 |   263232 |     3698    109 |        0 |        0
641.16/641.33	c  641s |      17 |   320819 |   265232 |     3698    109 |        0 |        0
643.25/643.40	c  643s |      17 |   323107 |   267232 |     3698    110 |        0 |        0
645.25/645.42	c  645s |      17 |   325214 |   269132 |     3698    111 |        0 |        0
647.25/647.49	c  647s |      17 |   327339 |   270932 |     3698    111 |        0 |        0
649.35/649.58	c  649s |      17 |   329634 |   272832 |     3698    112 |        0 |        0
651.45/651.67	c  651s |      17 |   331414 |   274432 |     3698    113 |        0 |        0
653.55/653.74	c  653s |      17 |   333644 |   276332 |     3698    113 |        0 |        0
655.55/655.78	c  655s |      17 |   335784 |   278132 |     3698    114 |        0 |        0
657.65/657.86	c  657s |      17 |   337640 |   279532 |     3698    115 |        0 |        0
659.85/660.01	c  659s |      17 |   339419 |   280932 |     3698    115 |        0 |        0
661.94/662.10	c  661s |      17 |   342095 |   283032 |     3698    116 |        0 |        0
663.94/664.15	c  664s |      17 |   344958 |   285232 |     3698    117 |        0 |        0
665.94/666.17	c  666s |      17 |   347088 |   287032 |     3698    117 |        0 |        0
668.04/668.20	c  668s |      17 |   349407 |   289032 |     3698    118 |        0 |        0
670.04/670.27	c  670s |      17 |   351654 |   291032 |     3698    119 |        0 |        0
672.13/672.38	c  672s |      17 |   353739 |   292932 |     3698    119 |        0 |        0
674.14/674.39	c  674s |      17 |   355765 |   294732 |     4068    120 |        0 |        0
675.93/676.19	c  676s |      18 |   357566 |   296252 |     4068    120 |        0 |        0
678.03/678.23	c  678s |      18 |   360529 |   298652 |     4068    121 |        0 |        0
680.03/680.24	c  680s |      18 |   363035 |   300752 |     4068    122 |        0 |        0
682.03/682.27	c  682s |      18 |   365641 |   302952 |     4068    123 |        0 |        0
684.14/684.32	c  684s |      18 |   368869 |   305452 |     4068    124 |        0 |        0
686.13/686.40	c  686s |      18 |   371706 |   307952 |     4068    124 |        0 |        0
688.22/688.42	c  688s |      18 |   374368 |   310352 |     4068    125 |        0 |        0
690.32/690.53	c  690s |      18 |   377241 |   312852 |     4068    126 |        0 |        0
692.42/692.61	c  692s |      18 |   379685 |   315052 |     4068    127 |        0 |        0
694.52/694.70	c  694s |      18 |   382409 |   317452 |     4068    128 |        0 |        0
696.52/696.78	c  696s |      18 |   384818 |   319552 |     4068    128 |        0 |        0
698.62/698.80	c  698s |      18 |   387897 |   321852 |     4068    129 |        0 |        0
700.63/700.85	c  700s |      18 |   390673 |   324252 |     4068    130 |        0 |        0
702.62/702.89	c  702s |      18 |   392903 |   326352 |     4068    131 |        0 |        0
704.72/704.94	c  704s |      18 |   394984 |   328252 |     4068    131 |        0 |        0
706.82/707.04	c  706s |      18 |   397050 |   330152 |     4068    132 |        0 |        0
708.91/709.11	c  709s |      18 |   399173 |   332052 |     4068    132 |        0 |        0
710.91/711.13	c  711s |      18 |   401587 |   334052 |     4068    133 |        0 |        0
713.01/713.21	c  713s |      18 |   403963 |   336152 |     4068    134 |        0 |        0
715.01/715.29	c  715s |      18 |   406606 |   338452 |     4068    135 |        0 |        0
717.12/717.36	c  717s |      18 |   409087 |   340652 |     4068    135 |        0 |        0
719.10/719.37	c  719s |      18 |   411522 |   342752 |     4068    136 |        0 |        0
721.20/721.44	c  721s |      18 |   414118 |   345052 |     4068    137 |        0 |        0
723.20/723.45	c  723s |      18 |   416356 |   347152 |     4068    137 |        0 |        0
725.30/725.52	c  725s |      18 |   419638 |   350052 |     4068    138 |        0 |        0
727.30/727.58	c  727s |      18 |   422517 |   352752 |     4068    139 |        0 |        0
729.40/729.64	c  729s |      18 |   425065 |   355052 |     4068    140 |        0 |        0
731.41/731.66	c  731s |      18 |   427877 |   357452 |     4068    141 |        0 |        0
733.61/733.80	c  733s |      18 |   430186 |   359352 |     4068    142 |        0 |        0
735.60/735.85	c  735s |      18 |   432514 |   361252 |     4068    142 |        0 |        0
737.60/737.85	c  737s |      18 |   434807 |   363352 |     4068    143 |        0 |        0
739.70/739.92	c  739s |      18 |   437634 |   365852 |     4068    144 |        0 |        0
741.70/741.94	c  741s |      18 |   440590 |   368252 |     4068    144 |        0 |        0
743.69/743.94	c  743s |      18 |   443209 |   370652 |     4068    145 |        0 |        0
745.70/745.97	c  745s |      18 |   445739 |   373052 |     4068    146 |        0 |        0
747.80/748.03	c  747s |      18 |   448516 |   375652 |     4068    147 |        0 |        0
749.79/750.06	c  749s |      18 |   451395 |   378252 |     4068    148 |        0 |        0
751.89/752.10	c  752s |      18 |   454122 |   380752 |     4068    149 |        0 |        0
753.89/754.16	c  754s |      18 |   456023 |   382452 |     4068    149 |        0 |        0
755.99/756.21	c  756s |      18 |   459022 |   384852 |     4068    150 |        0 |        0
757.98/758.21	c  758s |      18 |   462811 |   387552 |     4068    151 |        0 |        0
759.99/760.25	c  760s |      18 |   466249 |   390052 |     4068    152 |        0 |        0
761.98/762.29	c  762s |      18 |   470151 |   392752 |     4068    153 |        0 |        0
764.08/764.36	c  764s |      18 |   473606 |   395252 |     4068    154 |        0 |        0
766.08/766.40	c  766s |      18 |   476131 |   397552 |     4068    154 |        0 |        0
768.17/768.40	c  768s |      18 |   478045 |   399352 |     4068    155 |        0 |        0
770.27/770.50	c  770s |      18 |   479677 |   400652 |     4068    155 |        0 |        0
772.27/772.59	c  772s |      18 |   482300 |   402852 |     4068    156 |        0 |        0
774.37/774.64	c  774s |      18 |   484630 |   404752 |     4068    157 |        0 |        0
776.48/776.71	c  776s |      18 |   487100 |   406752 |     4068    157 |        0 |        0
778.47/778.73	c  778s |      18 |   490662 |   409352 |     4068    158 |        0 |        0
780.47/780.73	c  780s |      18 |   493943 |   411852 |     4068    159 |        0 |        0
782.47/782.75	c  782s |      18 |   496467 |   413752 |     4068    160 |        0 |        0
784.57/784.81	c  784s |      18 |   499658 |   416252 |     4068    161 |        0 |        0
786.57/786.89	c  786s |      18 |   502240 |   418352 |     4068    161 |        0 |        0
788.66/788.92	c  788s |      18 |   504623 |   420352 |     4068    162 |        0 |        0
790.68/790.96	c  790s |      18 |   506966 |   422352 |     4068    163 |        0 |        0
792.77/793.00	c  792s |      18 |   510183 |   424652 |     4068    163 |        0 |        0
794.77/795.03	c  794s |      18 |   512626 |   426552 |     4068    164 |        0 |        0
796.87/797.12	c  797s |      18 |   515049 |   428452 |     4068    165 |        0 |        0
798.86/799.13	c  799s |      18 |   517493 |   430352 |     4068    165 |        0 |        0
800.86/801.13	c  801s |      18 |   519651 |   432052 |     4068    166 |        0 |        0
802.96/803.20	c  803s |      18 |   521469 |   433552 |     4068    166 |        0 |        0
804.97/805.25	c  805s |      18 |   523830 |   435652 |     4068    167 |        0 |        0
806.96/807.27	c  807s |      18 |   527801 |   438552 |     4068    168 |        0 |        0
809.06/809.33	c  809s |      18 |   531722 |   441352 |     4475    169 |        0 |        0
811.06/811.35	c  811s |      18 |   535128 |   443852 |     4475    170 |        0 |        0
811.57/811.86	c  811s |      19 |   535938 |   444482 |     4475    170 |        0 |        0
813.66/813.91	c  813s |      19 |   539001 |   446982 |     4475    171 |        0 |        0
815.66/815.98	c  815s |      19 |   542451 |   449682 |     4475    171 |        0 |        0
817.76/818.01	c  817s |      19 |   545431 |   452182 |     4475    172 |        0 |        0
819.75/820.04	c  819s |      19 |   548671 |   454882 |     4475    173 |        0 |        0
821.75/822.08	c  821s |      19 |   551428 |   457282 |     4475    174 |        0 |        0
823.85/824.16	c  824s |      19 |   554374 |   459682 |     4475    175 |        0 |        0
825.96/826.21	c  826s |      19 |   557392 |   462182 |     4475    175 |        0 |        0
827.95/828.23	c  828s |      19 |   560379 |   464682 |     4475    176 |        0 |        0
829.95/830.23	c  830s |      19 |   563446 |   467182 |     4475    177 |        0 |        0
831.95/832.29	c  832s |      19 |   565859 |   469182 |     4475    178 |        0 |        0
834.05/834.39	c  834s |      19 |   568359 |   471282 |     4475    178 |        0 |        0
836.15/836.44	c  836s |      19 |   571014 |   473382 |     4475    179 |        0 |        0
838.15/838.46	c  838s |      19 |   573199 |   475182 |     4475    179 |        0 |        0
840.25/840.54	c  840s |      19 |   575561 |   477082 |     4475    180 |        0 |        0
842.35/842.63	c  842s |      19 |   577964 |   478982 |     4475    181 |        0 |        0
844.45/844.72	c  844s |      19 |   580521 |   481082 |     4475    181 |        0 |        0
846.45/846.76	c  846s |      19 |   583104 |   483182 |     4475    182 |        0 |        0
848.54/848.80	c  848s |      19 |   585209 |   484682 |     4475    182 |        0 |        0
850.64/850.99	c  850s |      19 |   586598 |   485882 |     4475    183 |        0 |        0
852.84/853.15	c  853s |      19 |   587860 |   486982 |     4475    183 |        0 |        0
855.04/855.31	c  855s |      19 |   588822 |   487882 |     4475    183 |        0 |        0
857.15/857.44	c  857s |      19 |   589950 |   488782 |     4475    184 |        0 |        0
859.14/859.47	c  859s |      19 |   591241 |   489782 |     4475    184 |        0 |        0
861.24/861.57	c  861s |      19 |   592776 |   491182 |     4475    184 |        0 |        0
863.35/863.69	c  863s |      19 |   594531 |   492482 |     4475    185 |        0 |        0
865.45/865.76	c  865s |      19 |   596703 |   494482 |     4475    185 |        0 |        0
867.54/867.86	c  867s |      19 |   598846 |   496282 |     4475    186 |        0 |        0
869.64/869.91	c  869s |      19 |   600900 |   498082 |     4475    187 |        0 |        0
871.64/871.92	c  871s |      19 |   603722 |   500382 |     4475    187 |        0 |        0
873.64/873.93	c  873s |      19 |   606068 |   502482 |     4475    188 |        0 |        0
875.64/875.97	c  875s |      19 |   608711 |   504782 |     4475    189 |        0 |        0
877.64/877.99	c  877s |      19 |   611351 |   507082 |     4475    189 |        0 |        0
879.74/880.04	c  879s |      19 |   613925 |   509282 |     4475    190 |        0 |        0
881.84/882.10	c  882s |      19 |   616048 |   511082 |     4475    191 |        0 |        0
883.83/884.17	c  884s |      19 |   618561 |   513282 |     4475    191 |        0 |        0
885.84/886.19	c  886s |      19 |   621024 |   515482 |     4475    192 |        0 |        0
887.94/888.24	c  888s |      19 |   623858 |   517982 |     4475    193 |        0 |        0
890.04/890.30	c  890s |      19 |   626640 |   520482 |     4475    194 |        0 |        0
892.04/892.33	c  892s |      19 |   629041 |   522582 |     4475    194 |        0 |        0
894.05/894.35	c  894s |      19 |   631136 |   524382 |     4475    195 |        0 |        0
896.14/896.48	c  896s |      19 |   633561 |   526582 |     4475    196 |        0 |        0
898.24/898.54	c  898s |      19 |   636512 |   529182 |     4475    196 |        0 |        0
900.24/900.58	c  900s |      19 |   639149 |   531282 |     4475    197 |        0 |        0
902.34/902.65	c  902s |      19 |   642106 |   533882 |     4475    198 |        0 |        0
904.44/904.74	c  904s |      19 |   644796 |   536282 |     4475    199 |        0 |        0
906.44/906.79	c  906s |      19 |   647876 |   538882 |     4475    199 |        0 |        0
908.54/908.86	c  908s |      19 |   649975 |   540682 |     4475    200 |        0 |        0
910.65/910.91	c  910s |      19 |   651572 |   542182 |     4475    200 |        0 |        0
912.64/912.91	c  912s |      19 |   654893 |   545182 |     4475    201 |        0 |        0
914.64/914.98	c  914s |      19 |   658317 |   548082 |     4475    202 |        0 |        0
916.64/916.98	c  916s |      19 |   660723 |   550182 |     4475    203 |        0 |        0
918.64/918.98	c  918s |      19 |   662893 |   552282 |     4475    204 |        0 |        0
920.74/921.03	c  920s |      19 |   666000 |   554982 |     4475    204 |        0 |        0
922.84/923.11	c  923s |      19 |   668639 |   557182 |     4475    205 |        0 |        0
924.84/925.13	c  925s |      19 |   671012 |   559182 |     4475    206 |        0 |        0
926.83/927.13	c  927s |      19 |   673432 |   561382 |     4475    206 |        0 |        0
928.83/929.17	c  929s |      19 |   675235 |   563082 |     4475    207 |        0 |        0
930.93/931.21	c  931s |      19 |   677248 |   564782 |     4475    207 |        0 |        0
932.93/933.24	c  933s |      19 |   679249 |   566582 |     4475    208 |        0 |        0
935.03/935.31	c  935s |      19 |   681264 |   568382 |     4475    209 |        0 |        0
937.04/937.35	c  937s |      19 |   683419 |   570382 |     4475    209 |        0 |        0
939.03/939.37	c  939s |      19 |   686053 |   572782 |     4475    210 |        0 |        0
941.13/941.41	c  941s |      19 |   689245 |   575482 |     4475    211 |        0 |        0
943.13/943.41	c  943s |      19 |   692476 |   578182 |     4475    212 |        0 |        0
945.13/945.42	c  945s |      19 |   695624 |   580782 |     4475    212 |        0 |        0
947.13/947.49	c  947s |      19 |   698926 |   583482 |     4475    213 |        0 |        0
949.23/949.58	c  949s |      19 |   701893 |   585882 |     4475    214 |        0 |        0
951.33/951.69	c  951s |      19 |   703982 |   587582 |     4475    215 |        0 |        0
953.43/953.76	c  953s |      19 |   707123 |   590082 |     4475    215 |        0 |        0
955.52/955.82	c  955s |      19 |   709768 |   592282 |     4475    216 |        0 |        0
957.52/957.85	c  957s |      19 |   712254 |   594382 |     4475    217 |        0 |        0
959.52/959.86	c  959s |      19 |   714595 |   596282 |     4475    217 |        0 |        0
961.63/961.91	c  961s |      19 |   717123 |   598282 |     4475    218 |        0 |        0
963.63/963.92	c  963s |      19 |   719755 |   600382 |     4475    219 |        0 |        0
965.64/965.94	c  965s |      19 |   722312 |   602682 |     4475    219 |        0 |        0
967.63/967.99	c  967s |      19 |   724120 |   604282 |     4475    220 |        0 |        0
969.73/970.00	c  969s |      19 |   726580 |   606482 |     4475    221 |        0 |        0
971.73/972.08	c  971s |      19 |   728853 |   608482 |     4475    221 |        0 |        0
973.73/974.09	c  973s |      19 |   731482 |   610582 |     4475    222 |        0 |        0
975.73/976.09	c  975s |      19 |   734345 |   612882 |     4475    223 |        0 |        0
977.83/978.19	c  978s |      19 |   736862 |   614982 |     4475    223 |        0 |        0
979.93/980.21	c  980s |      19 |   739070 |   616782 |     4475    224 |        0 |        0
982.03/982.36	c  982s |      19 |   741370 |   618682 |     4475    224 |        0 |        0
984.13/984.40	c  984s |      19 |   743753 |   620782 |     4475    225 |        0 |        0
986.13/986.47	c  986s |      19 |   746095 |   622982 |     4475    226 |        0 |        0
988.32/988.60	c  988s |      19 |   748814 |   625282 |     4475    226 |        0 |        0
990.32/990.70	c  990s |      19 |   750575 |   626882 |     4475    227 |        0 |        0
992.52/992.80	c  992s |      19 |   752255 |   628382 |     4475    227 |        0 |        0
994.52/994.89	c  994s |      19 |   753706 |   629682 |     4475    228 |        0 |        0
996.62/996.97	c  996s |      19 |   755108 |   630982 |     4475    228 |        0 |        0
998.72/999.05	c  998s |      19 |   756771 |   632482 |     4475    229 |        0 |        0
1000.83/1001.14	c 1001s |      19 |   758257 |   633782 |     4475    229 |        0 |        0
1002.82/1003.18	c 1003s |      19 |   759653 |   635082 |     4475    229 |        0 |        0
1004.82/1005.18	c 1005s |      19 |   761262 |   636582 |     4475    230 |        0 |        0
1006.92/1007.26	c 1007s |      19 |   763084 |   638182 |     4475    230 |        0 |        0
1009.12/1009.47	c 1009s |      19 |   764693 |   639482 |     4475    231 |        0 |        0
1011.32/1011.62	c 1011s |      19 |   765835 |   640382 |     4475    231 |        0 |        0
1013.32/1013.63	c 1013s |      19 |   766982 |   641482 |     4475    231 |        0 |        0
1015.32/1015.64	c 1015s |      19 |   768773 |   643082 |     4475    232 |        0 |        0
1017.41/1017.74	c 1017s |      19 |   770753 |   644882 |     4475    233 |        0 |        0
1019.52/1019.82	c 1019s |      19 |   772495 |   646482 |     4475    233 |        0 |        0
1021.51/1021.84	c 1021s |      19 |   774150 |   647982 |     4475    233 |        0 |        0
1023.61/1023.95	c 1023s |      19 |   775745 |   649482 |     4475    234 |        0 |        0
1025.72/1026.03	c 1025s |      19 |   777339 |   650982 |     4475    234 |        0 |        0
1027.72/1028.06	c 1027s |      19 |   778777 |   652282 |     4475    235 |        0 |        0
1029.82/1030.17	c 1030s |      19 |   780205 |   653582 |     4475    235 |        0 |        0
1032.02/1032.32	c 1032s |      19 |   781649 |   654882 |     4475    236 |        0 |        0
1034.12/1034.45	c 1034s |      19 |   783058 |   656182 |     4475    236 |        0 |        0
1036.12/1036.48	c 1036s |      19 |   784484 |   657482 |     4475    236 |        0 |        0
1038.32/1038.62	c 1038s |      19 |   786050 |   658882 |     4475    237 |        0 |        0
1040.33/1040.70	c 1040s |      19 |   787503 |   660182 |     4475    237 |        0 |        0
1042.53/1042.84	c 1042s |      19 |   789005 |   661582 |     4475    238 |        0 |        0
1044.62/1044.93	c 1044s |      19 |   790732 |   663182 |     4923    238 |        0 |        0
1046.72/1047.01	c 1046s |      19 |   792529 |   664782 |     4923    239 |        0 |        0
1048.72/1049.03	c 1048s |      19 |   794123 |   666282 |     4923    239 |        0 |        0
1049.62/1049.90	c 1049s |      20 |   794689 |   666827 |     4923    239 |        0 |        0
1051.72/1052.02	c 1051s |      20 |   795446 |   667527 |     4923    240 |        0 |        0
1054.02/1054.38	c 1054s |      20 |   796419 |   668327 |     4923    240 |        0 |        0
1056.22/1056.51	c 1056s |      20 |   796903 |   668727 |     4923    240 |        0 |        0
1058.32/1058.66	c 1058s |      20 |   797376 |   669127 |     4923    240 |        0 |        0
1060.81/1061.18	c 1061s |      20 |   797937 |   669627 |     4923    240 |        0 |        0
1062.91/1063.24	c 1063s |      20 |   798383 |   670027 |     4923    240 |        0 |        0
1065.41/1065.74	c 1065s |      20 |   798827 |   670427 |     4923    240 |        0 |        0
1067.71/1068.05	c 1067s |      20 |   799269 |   670827 |     4923    241 |        0 |        0
1069.91/1070.24	c 1070s |      20 |   799700 |   671227 |     4923    241 |        0 |        0
1071.91/1072.27	c 1072s |      20 |   800260 |   671727 |     4923    241 |        0 |        0
1074.11/1074.43	c 1074s |      20 |   800817 |   672227 |     4923    241 |        0 |        0
1076.62/1076.97	c 1076s |      20 |   801356 |   672627 |     4923    241 |        0 |        0
1078.92/1079.24	c 1079s |      20 |   801863 |   673027 |     4923    241 |        0 |        0
1081.21/1081.51	c 1081s |      20 |   802565 |   673627 |     4923    241 |        0 |        0
1083.22/1083.56	c 1083s |      20 |   803224 |   674127 |     4923    241 |        0 |        0
1085.42/1085.80	c 1085s |      20 |   803751 |   674627 |     4923    242 |        0 |        0
1087.81/1088.18	c 1088s |      20 |   804293 |   675127 |     4923    242 |        0 |        0
1090.41/1090.74	c 1090s |      20 |   804836 |   675627 |     4923    242 |        0 |        0
1092.41/1092.74	c 1092s |      20 |   805269 |   676027 |     4923    242 |        0 |        0
1094.41/1094.74	c 1094s |      20 |   805693 |   676427 |     4923    242 |        0 |        0
1096.42/1096.78	c 1096s |      20 |   806122 |   676827 |     4923    242 |        0 |        0
1098.41/1098.79	c 1098s |      20 |   806566 |   677227 |     4923    242 |        0 |        0
1100.61/1100.92	c 1100s |      20 |   806992 |   677627 |     4923    242 |        0 |        0
1102.61/1102.92	c 1102s |      20 |   807415 |   678027 |     4923    243 |        0 |        0
1104.81/1105.10	c 1105s |      20 |   807840 |   678427 |     4923    243 |        0 |        0
1107.01/1107.31	c 1107s |      20 |   808367 |   678927 |     4923    243 |        0 |        0
1109.21/1109.57	c 1109s |      20 |   809021 |   679427 |     4923    243 |        0 |        0
1111.61/1111.91	c 1111s |      20 |   809586 |   679927 |     4923    243 |        0 |        0
1113.71/1114.09	c 1113s |      20 |   810086 |   680327 |     4923    243 |        0 |        0
1116.21/1116.59	c 1116s |      20 |   810874 |   680927 |     4923    243 |        0 |        0
1118.80/1119.12	c 1119s |      20 |   811413 |   681427 |     4923    244 |        0 |        0
1120.90/1121.26	c 1121s |      20 |   811857 |   681827 |     4923    244 |        0 |        0
1123.00/1123.30	c 1123s |      20 |   812320 |   682227 |     4923    244 |        0 |        0
1125.01/1125.38	c 1125s |      20 |   812880 |   682727 |     4923    244 |        0 |        0
1127.31/1127.62	c 1127s |      20 |   813446 |   683227 |     4923    244 |        0 |        0
1129.60/1129.93	c 1129s |      20 |   814040 |   683727 |     4923    244 |        0 |        0
1132.10/1132.48	c 1132s |      20 |   814509 |   684127 |     4923    244 |        0 |        0
1134.60/1134.90	c 1134s |      20 |   814965 |   684527 |     4923    245 |        0 |        0
1136.70/1137.08	c 1136s |      20 |   815547 |   685027 |     4923    245 |        0 |        0
1139.00/1139.35	c 1139s |      20 |   816326 |   685727 |     4923    245 |        0 |        0
1141.30/1141.62	c 1141s |      20 |   817131 |   686427 |     4923    245 |        0 |        0
1143.50/1143.86	c 1143s |      20 |   817906 |   687127 |     4923    245 |        0 |        0
1145.80/1146.17	c 1146s |      20 |   818699 |   687827 |     4923    245 |        0 |        0
1148.00/1148.30	c 1148s |      20 |   819362 |   688427 |     4923    246 |        0 |        0
1150.20/1150.51	c 1150s |      20 |   820106 |   689027 |     4923    246 |        0 |        0
1152.51/1152.87	c 1152s |      20 |   820790 |   689627 |     4923    246 |        0 |        0
1154.90/1155.23	c 1155s |      20 |   821478 |   690227 |     4923    246 |        0 |        0
1157.20/1157.51	c 1157s |      20 |   822162 |   690827 |     4923    246 |        0 |        0
1159.60/1159.93	c 1159s |      20 |   822740 |   691327 |     4923    246 |        0 |        0
1162.10/1162.42	c 1162s |      20 |   823312 |   691827 |     4923    247 |        0 |        0
1164.30/1164.62	c 1164s |      20 |   823757 |   692227 |     4923    247 |        0 |        0
1166.50/1166.86	c 1166s |      20 |   824315 |   692727 |     4923    247 |        0 |        0
1169.00/1169.33	c 1169s |      20 |   824873 |   693227 |     4923    247 |        0 |        0
1171.20/1171.52	c 1171s |      20 |   825333 |   693627 |     4923    247 |        0 |        0
1173.60/1173.90	c 1173s |      20 |   825929 |   694127 |     4923    247 |        0 |        0
1175.60/1175.93	c 1175s |      20 |   826565 |   694627 |     4923    247 |        0 |        0
1177.90/1178.28	c 1178s |      20 |   827013 |   695027 |     4923    248 |        0 |        0
1180.29/1180.67	c 1180s |      20 |   827472 |   695427 |     4923    248 |        0 |        0
1182.59/1182.99	c 1182s |      20 |   827913 |   695827 |     4923    248 |        0 |        0
1184.99/1185.31	c 1185s |      20 |   828349 |   696227 |     4923    248 |        0 |        0
1187.49/1187.87	c 1187s |      20 |   828918 |   696727 |     4923    248 |        0 |        0
1189.59/1189.98	c 1189s |      20 |   829374 |   697127 |     4923    248 |        0 |        0
1191.89/1192.28	c 1192s |      20 |   829991 |   697627 |     4923    248 |        0 |        0
1194.09/1194.47	c 1194s |      20 |   830583 |   698127 |     4923    248 |        0 |        0
1196.39/1196.71	c 1196s |      20 |   831167 |   698627 |     4923    249 |        0 |        0
1198.49/1198.89	c 1198s |      20 |   831761 |   699127 |     4923    249 |        0 |        0
1200.69/1201.04	c 1200s |      20 |   832527 |   699727 |     4923    249 |        0 |        0
1202.99/1203.33	c 1203s |      20 |   833158 |   700327 |     4923    249 |        0 |        0
1205.49/1205.87	c 1205s |      20 |   833683 |   700827 |     4923    249 |        0 |        0
1207.99/1208.30	c 1208s |      20 |   834108 |   701227 |     4923    249 |        0 |        0
1210.09/1210.40	c 1210s |      20 |   834420 |   701527 |     4923    249 |        0 |        0
1212.29/1212.70	c 1212s |      20 |   834979 |   702027 |     4923    250 |        0 |        0
1214.49/1214.88	c 1214s |      20 |   835608 |   702527 |     4923    250 |        0 |        0
1216.59/1216.99	c 1216s |      20 |   836043 |   702927 |     4923    250 |        0 |        0
1218.89/1219.28	c 1219s |      20 |   836619 |   703427 |     4923    250 |        0 |        0
1220.99/1221.32	c 1221s |      20 |   837171 |   703927 |     4923    250 |        0 |        0
1223.09/1223.45	c 1223s |      20 |   837716 |   704427 |     4923    250 |        0 |        0
1225.29/1225.63	c 1225s |      20 |   838267 |   704927 |     4923    250 |        0 |        0
1227.59/1227.93	c 1227s |      20 |   838837 |   705427 |     4923    251 |        0 |        0
1229.59/1229.94	c 1229s |      20 |   839262 |   705827 |     4923    251 |        0 |        0
1231.99/1232.31	c 1232s |      20 |   839800 |   706327 |     4923    251 |        0 |        0
1234.29/1234.61	c 1234s |      20 |   840578 |   707027 |     4923    251 |        0 |        0
1236.59/1236.98	c 1236s |      20 |   841263 |   707627 |     4923    251 |        0 |        0
1238.78/1239.13	c 1239s |      20 |   841813 |   708127 |     4923    251 |        0 |        0
1240.88/1241.26	c 1241s |      20 |   842366 |   708627 |     4923    252 |        0 |        0
1242.98/1243.33	c 1243s |      20 |   842803 |   709027 |     4923    252 |        0 |        0
1245.48/1245.80	c 1245s |      20 |   843363 |   709527 |     4923    252 |        0 |        0
1247.48/1247.82	c 1247s |      20 |   843807 |   709927 |     4923    252 |        0 |        0
1249.48/1249.86	c 1249s |      20 |   844245 |   710327 |     4923    252 |        0 |        0
1251.49/1251.87	c 1251s |      20 |   844684 |   710727 |     4923    252 |        0 |        0
1253.58/1253.90	c 1253s |      20 |   845121 |   711127 |     4923    252 |        0 |        0
1255.89/1256.23	c 1256s |      20 |   845692 |   711627 |     4923    252 |        0 |        0
1258.19/1258.57	c 1258s |      20 |   846240 |   712127 |     4923    253 |        0 |        0
1260.18/1260.58	c 1260s |      20 |   846661 |   712527 |     4923    253 |        0 |        0
1262.38/1262.78	c 1262s |      20 |   847245 |   713027 |     4923    253 |        0 |        0
1264.58/1264.98	c 1264s |      20 |   847846 |   713527 |     4923    253 |        0 |        0
1266.99/1267.34	c 1267s |      20 |   848389 |   714027 |     4923    253 |        0 |        0
1269.28/1269.67	c 1269s |      20 |   848847 |   714427 |     4923    253 |        0 |        0
1271.39/1271.73	c 1271s |      20 |   849273 |   714827 |     4923    253 |        0 |        0
1273.49/1273.84	c 1273s |      20 |   849702 |   715227 |     4923    253 |        0 |        0
1275.69/1276.05	c 1275s |      20 |   850141 |   715627 |     4923    254 |        0 |        0
1278.18/1278.57	c 1278s |      20 |   850696 |   716127 |     4923    254 |        0 |        0
1280.78/1281.11	c 1281s |      20 |   851247 |   716627 |     4923    254 |        0 |        0
1282.88/1283.20	c 1283s |      20 |   851796 |   717127 |     4923    254 |        0 |        0
1284.88/1285.27	c 1285s |      20 |   852227 |   717527 |     4923    254 |        0 |        0
1287.18/1287.58	c 1287s |      20 |   852656 |   717927 |     4923    254 |        0 |        0
1289.38/1289.76	c 1289s |      20 |   853081 |   718327 |     4923    254 |        0 |        0
1291.48/1291.80	c 1291s |      20 |   853513 |   718727 |     4923    254 |        0 |        0
1293.58/1293.97	c 1293s |      20 |   853949 |   719127 |     4923    255 |        0 |        0
1295.68/1296.03	c 1295s |      20 |   854402 |   719527 |     4923    255 |        0 |        0
1297.68/1298.08	c 1297s |      20 |   854838 |   719927 |     4923    255 |        0 |        0
1299.77/1300.16	c 1300s |      20 |   855398 |   720427 |     4923    255 |        0 |        0
1301.87/1302.22	c 1302s |      20 |   855989 |   720927 |     4923    255 |        0 |        0
1304.17/1304.57	c 1304s |      20 |   856527 |   721427 |     4923    255 |        0 |        0
1306.67/1307.01	c 1306s |      20 |   857048 |   721927 |     4923    255 |        0 |        0
1309.07/1309.40	c 1309s |      20 |   857582 |   722427 |     4923    256 |        0 |        0
1311.47/1311.89	c 1311s |      20 |   858139 |   722927 |     4923    256 |        0 |        0
1313.67/1314.06	c 1313s |      20 |   858593 |   723327 |     4923    256 |        0 |        0
1315.77/1316.13	c 1316s |      20 |   859016 |   723727 |     4923    256 |        0 |        0
1318.07/1318.42	c 1318s |      20 |   859461 |   724127 |     4923    256 |        0 |        0
1320.57/1320.97	c 1320s |      20 |   859901 |   724527 |     4923    256 |        0 |        0
1323.27/1323.61	c 1323s |      20 |   860361 |   724927 |     4923    256 |        0 |        0
1325.37/1325.76	c 1325s |      20 |   860795 |   725327 |     4923    256 |        0 |        0
1327.67/1328.07	c 1327s |      20 |   861231 |   725727 |     4923    257 |        0 |        0
1329.87/1330.26	c 1330s |      20 |   861665 |   726127 |     4923    257 |        0 |        0
1331.97/1332.36	c 1332s |      20 |   862113 |   726527 |     4923    257 |        0 |        0
1334.27/1334.60	c 1334s |      20 |   862547 |   726927 |     4923    257 |        0 |        0
1336.37/1336.73	c 1336s |      20 |   862994 |   727327 |     4923    257 |        0 |        0
1338.48/1338.83	c 1338s |      20 |   863424 |   727727 |     4923    257 |        0 |        0
1340.68/1341.02	c 1340s |      20 |   863848 |   728127 |     4923    257 |        0 |        0
1342.67/1343.05	c 1342s |      20 |   864280 |   728527 |     4923    257 |        0 |        0
1344.67/1345.08	c 1344s |      20 |   864736 |   728927 |     4923    257 |        0 |        0
1346.87/1347.27	c 1347s |      20 |   865173 |   729327 |     4923    258 |        0 |        0
1348.97/1349.34	c 1349s |      20 |   865640 |   729727 |     4923    258 |        0 |        0
1351.17/1351.59	c 1351s |      20 |   866103 |   730127 |     4923    258 |        0 |        0
1353.57/1353.99	c 1353s |      20 |   866542 |   730527 |     4923    258 |        0 |        0
1355.97/1356.36	c 1356s |      20 |   866977 |   730927 |     4923    258 |        0 |        0
1357.96/1358.38	c 1358s |      20 |   867421 |   731327 |     4923    258 |        0 |        0
1359.96/1360.38	c 1360s |      20 |   867877 |   731727 |     4923    258 |        0 |        0
1362.57/1362.92	c 1362s |      20 |   868565 |   732327 |     4923    258 |        0 |        0
1364.96/1365.34	c 1365s |      20 |   869108 |   732827 |     4923    259 |        0 |        0
1367.16/1367.52	c 1367s |      20 |   869544 |   733227 |     4923    259 |        0 |        0
1369.56/1369.93	c 1369s |      20 |   870106 |   733727 |     4923    259 |        0 |        0
1371.86/1372.25	c 1372s |      20 |   870668 |   734227 |     4923    259 |        0 |        0
1374.06/1374.41	c 1374s |      20 |   871240 |   734727 |     4923    259 |        0 |        0
1376.06/1376.45	c 1376s |      20 |   871680 |   735127 |     4923    259 |        0 |        0
1378.56/1378.97	c 1378s |      20 |   872234 |   735627 |     4923    259 |        0 |        0
1380.76/1381.15	c 1381s |      20 |   872670 |   736027 |     4923    260 |        0 |        0
1382.86/1383.27	c 1383s |      20 |   873246 |   736527 |     4923    260 |        0 |        0
1385.06/1385.46	c 1385s |      20 |   873989 |   737127 |     4923    260 |        0 |        0
1387.46/1387.84	c 1387s |      20 |   874675 |   737727 |     4923    260 |        0 |        0
1389.66/1390.05	c 1389s |      20 |   875223 |   738227 |     4923    260 |        0 |        0
1391.96/1392.31	c 1392s |      20 |   875872 |   738827 |     4923    260 |        0 |        0
1394.16/1394.57	c 1394s |      20 |   876409 |   739327 |     4923    261 |        0 |        0
1396.46/1396.84	c 1396s |      20 |   877021 |   739827 |     4923    261 |        0 |        0
1398.76/1399.18	c 1399s |      20 |   877621 |   740327 |     4923    261 |        0 |        0
1400.96/1401.39	c 1401s |      20 |   878217 |   740827 |     4923    261 |        0 |        0
1403.26/1403.62	c 1403s |      20 |   878860 |   741427 |     4923    261 |        0 |        0
1405.36/1405.70	c 1405s |      20 |   879514 |   742027 |     4923    261 |        0 |        0
1407.36/1407.72	c 1407s |      20 |   880122 |   742527 |     4923    261 |        0 |        0
1409.56/1409.99	c 1409s |      20 |   880946 |   743227 |     4923    262 |        0 |        0
1411.76/1412.16	c 1412s |      20 |   881621 |   743827 |     4923    262 |        0 |        0
1414.06/1414.46	c 1414s |      20 |   882181 |   744327 |     4923    262 |        0 |        0
1416.25/1416.68	c 1416s |      20 |   882749 |   744827 |     4923    262 |        0 |        0
1418.35/1418.71	c 1418s |      20 |   883311 |   745327 |     4923    262 |        0 |        0
1420.65/1421.00	c 1420s |      20 |   883949 |   745927 |     4923    262 |        0 |        0
1422.75/1423.10	c 1423s |      20 |   884620 |   746527 |     4923    263 |        0 |        0
1424.85/1425.21	c 1425s |      20 |   885164 |   747027 |     4923    263 |        0 |        0
1426.95/1427.36	c 1427s |      20 |   885827 |   747627 |     4923    263 |        0 |        0
1429.15/1429.53	c 1429s |      20 |   886491 |   748227 |     4923    263 |        0 |        0
1431.25/1431.61	c 1431s |      20 |   887146 |   748827 |     4923    263 |        0 |        0
1433.35/1433.73	c 1433s |      20 |   887704 |   749327 |     4923    263 |        0 |        0
1435.65/1436.06	c 1435s |      20 |   888245 |   749827 |     4923    264 |        0 |        0
1437.95/1438.34	c 1438s |      20 |   888793 |   750327 |     4923    264 |        0 |        0
1440.25/1440.63	c 1440s |      20 |   889440 |   750927 |     4923    264 |        0 |        0
1442.55/1442.92	c 1442s |      20 |   890219 |   751627 |     4923    264 |        0 |        0
1444.55/1444.97	c 1444s |      20 |   890952 |   752227 |     4923    264 |        0 |        0
1446.95/1447.33	c 1447s |      20 |   891659 |   752827 |     4923    264 |        0 |        0
1449.15/1449.57	c 1449s |      20 |   892376 |   753427 |     4923    265 |        0 |        0
1451.35/1451.76	c 1451s |      20 |   893078 |   754027 |     4923    265 |        0 |        0
1453.75/1454.13	c 1454s |      20 |   893746 |   754627 |     4923    265 |        0 |        0
1456.25/1456.60	c 1456s |      20 |   894297 |   755127 |     4923    265 |        0 |        0
1458.26/1458.67	c 1458s |      20 |   894739 |   755527 |     4923    265 |        0 |        0
1460.35/1460.71	c 1460s |      20 |   895181 |   755927 |     4923    265 |        0 |        0
1462.45/1462.86	c 1462s |      20 |   895729 |   756427 |     4923    266 |        0 |        0
1464.55/1464.96	c 1464s |      20 |   896269 |   756927 |     4923    266 |        0 |        0
1466.55/1466.98	c 1466s |      20 |   896940 |   757527 |     4923    266 |        0 |        0
1468.55/1468.99	c 1468s |      20 |   897611 |   758127 |     4923    266 |        0 |        0
1470.75/1471.19	c 1471s |      20 |   898350 |   758727 |     4923    266 |        0 |        0
1473.15/1473.52	c 1473s |      20 |   898994 |   759327 |     4923    266 |        0 |        0
1475.45/1475.85	c 1475s |      20 |   899663 |   759927 |     4923    267 |        0 |        0
1477.55/1477.94	c 1477s |      20 |   900361 |   760527 |     4923    267 |        0 |        0
1479.95/1480.38	c 1480s |      20 |   900933 |   761027 |     4923    267 |        0 |        0
1482.14/1482.57	c 1482s |      20 |   901600 |   761627 |     4923    267 |        0 |        0
1484.14/1484.57	c 1484s |      20 |   902150 |   762127 |     4923    267 |        0 |        0
1486.34/1486.77	c 1486s |      20 |   902719 |   762627 |     4923    267 |        0 |        0
1488.44/1488.88	c 1488s |      20 |   903291 |   763127 |     4923    267 |        0 |        0
1490.54/1490.95	c 1490s |      20 |   903960 |   763727 |     4923    268 |        0 |        0
1492.65/1493.03	c 1492s |      20 |   904637 |   764327 |     4923    268 |        0 |        0
1494.85/1495.28	c 1495s |      20 |   905382 |   765027 |     4923    268 |        0 |        0
1496.86/1497.29	c 1497s |      20 |   906141 |   765727 |     4923    268 |        0 |        0
1499.06/1499.47	c 1499s |      20 |   907082 |   766527 |     4923    268 |        0 |        0
1501.16/1501.56	c 1501s |      20 |   907862 |   767227 |     4923    269 |        0 |        0
1503.46/1503.85	c 1503s |      20 |   908649 |   767927 |     4923    269 |        0 |        0
1505.56/1505.98	c 1505s |      20 |   909316 |   768527 |     4923    269 |        0 |        0
1507.65/1508.09	c 1507s |      20 |   909883 |   769027 |     4923    269 |        0 |        0
1509.65/1510.09	c 1509s |      20 |   910429 |   769527 |     4923    269 |        0 |        0
1512.15/1512.54	c 1512s |      20 |   911112 |   770127 |     4923    270 |        0 |        0
1514.15/1514.59	c 1514s |      20 |   911670 |   770627 |     4923    270 |        0 |        0
1516.35/1516.75	c 1516s |      20 |   912216 |   771127 |     4923    270 |        0 |        0
1518.55/1518.96	c 1518s |      20 |   912913 |   771727 |     4923    270 |        0 |        0
1520.85/1521.27	c 1521s |      20 |   913549 |   772227 |     4923    270 |        0 |        0
1522.95/1523.35	c 1523s |      20 |   914304 |   772827 |     4923    270 |        0 |        0
1524.95/1525.36	c 1525s |      20 |   915056 |   773427 |     4923    270 |        0 |        0
1527.14/1527.59	c 1527s |      20 |   915721 |   774027 |     4923    271 |        0 |        0
1529.54/1529.94	c 1529s |      20 |   916359 |   774627 |     4923    271 |        0 |        0
1531.84/1532.23	c 1532s |      20 |   917055 |   775227 |     4923    271 |        0 |        0
1534.04/1534.48	c 1534s |      20 |   917763 |   775827 |     4923    271 |        0 |        0
1536.35/1536.75	c 1536s |      20 |   918459 |   776427 |     4923    271 |        0 |        0
1538.44/1538.83	c 1538s |      20 |   919185 |   777027 |     4923    272 |        0 |        0
1540.54/1540.91	c 1540s |      20 |   919860 |   777627 |     4923    272 |        0 |        0
1542.64/1543.05	c 1542s |      20 |   920516 |   778227 |     4923    272 |        0 |        0
1544.84/1545.25	c 1545s |      20 |   921367 |   778927 |     4923    272 |        0 |        0
1547.04/1547.41	c 1547s |      20 |   922263 |   779727 |     4923    272 |        0 |        0
1549.24/1549.67	c 1549s |      20 |   922944 |   780327 |     4923    273 |        0 |        0
1551.44/1551.86	c 1551s |      20 |   923777 |   781027 |     4923    273 |        0 |        0
1553.74/1554.14	c 1554s |      20 |   924448 |   781627 |     4923    273 |        0 |        0
1555.74/1556.17	c 1556s |      20 |   925111 |   782227 |     4923    273 |        0 |        0
1557.84/1558.20	c 1558s |      20 |   925782 |   782827 |     4923    273 |        0 |        0
1560.14/1560.58	c 1560s |      20 |   926575 |   783527 |     4923    273 |        0 |        0
1562.24/1562.63	c 1562s |      20 |   927129 |   784027 |     4923    274 |        0 |        0
1564.34/1564.70	c 1564s |      20 |   927915 |   784727 |     4923    274 |        0 |        0
1566.44/1566.80	c 1566s |      20 |   928799 |   785527 |     4923    274 |        0 |        0
1568.64/1569.00	c 1568s |      20 |   929558 |   786227 |     4923    274 |        0 |        0
1570.64/1571.04	c 1570s |      20 |   930243 |   786827 |     4923    274 |        0 |        0
1572.94/1573.39	c 1573s |      20 |   931247 |   787627 |     4923    275 |        0 |        0
1575.14/1575.50	c 1575s |      20 |   932286 |   788427 |     4923    275 |        0 |        0
1577.34/1577.78	c 1577s |      20 |   933392 |   789327 |     4923    275 |        0 |        0
1579.53/1579.95	c 1579s |      20 |   934287 |   790127 |     4923    275 |        0 |        0
1581.63/1582.06	c 1581s |      20 |   935050 |   790827 |     4923    276 |        0 |        0
1583.64/1584.06	c 1583s |      20 |   935826 |   791527 |     4923    276 |        0 |        0
1585.63/1586.08	c 1585s |      20 |   936654 |   792227 |     4923    276 |        0 |        0
1587.83/1588.21	c 1588s |      20 |   937507 |   792927 |     4923    276 |        0 |        0
1590.03/1590.46	c 1590s |      20 |   938322 |   793627 |     4923    276 |        0 |        0
1592.33/1592.72	c 1592s |      20 |   939027 |   794227 |     4923    277 |        0 |        0
1594.33/1594.79	c 1594s |      20 |   939694 |   794827 |     4923    277 |        0 |        0
1596.53/1596.98	c 1596s |      20 |   940392 |   795427 |     4923    277 |        0 |        0
1598.73/1599.13	c 1599s |      20 |   941070 |   796027 |     4923    277 |        0 |        0
1600.93/1601.35	c 1601s |      20 |   941728 |   796627 |     4923    277 |        0 |        0
1603.13/1603.53	c 1603s |      20 |   942390 |   797227 |     4923    277 |        0 |        0
1605.33/1605.72	c 1605s |      20 |   943074 |   797827 |     4923    278 |        0 |        0
1607.53/1607.92	c 1607s |      20 |   943762 |   798427 |     4923    278 |        0 |        0
1609.63/1610.01	c 1609s |      20 |   944417 |   799027 |     4923    278 |        0 |        0
1612.03/1612.42	c 1612s |      20 |   945075 |   799627 |     4923    278 |        0 |        0
1614.33/1614.71	c 1614s |      20 |   945736 |   800227 |     4923    278 |        0 |        0
1616.64/1617.01	c 1616s |      20 |   946286 |   800727 |     4923    278 |        0 |        0
1618.63/1619.08	c 1618s |      20 |   946845 |   801227 |     4923    279 |        0 |        0
1620.63/1621.09	c 1620s |      20 |   947280 |   801627 |     4923    279 |        0 |        0
1622.93/1623.32	c 1623s |      20 |   947841 |   802127 |     4923    279 |        0 |        0
1624.93/1625.39	c 1625s |      20 |   948409 |   802627 |     4923    279 |        0 |        0
1627.03/1627.41	c 1627s |      20 |   948958 |   803127 |     4923    279 |        0 |        0
1629.13/1629.59	c 1629s |      20 |   949630 |   803727 |     4923    279 |        0 |        0
1631.43/1631.83	c 1631s |      20 |   950298 |   804327 |     4923    280 |        0 |        0
1633.53/1633.93	c 1633s |      20 |   950947 |   804927 |     4923    280 |        0 |        0
1635.53/1635.95	c 1635s |      20 |   951608 |   805527 |     4923    280 |        0 |        0
1637.93/1638.30	c 1638s |      20 |   952300 |   806127 |     4923    280 |        0 |        0
1640.02/1640.44	c 1640s |      20 |   952953 |   806727 |     4923    280 |        0 |        0
1642.22/1642.64	c 1642s |      20 |   953619 |   807327 |     4923    280 |        0 |        0
1644.52/1644.96	c 1644s |      20 |   954287 |   807927 |     4923    281 |        0 |        0
1646.52/1646.97	c 1646s |      20 |   954931 |   808527 |     4923    281 |        0 |        0
1648.53/1648.98	c 1648s |      20 |   955587 |   809127 |     4923    281 |        0 |        0
1650.62/1651.03	c 1650s |      20 |   956232 |   809727 |     4923    281 |        0 |        0
1652.62/1653.05	c 1652s |      20 |   956886 |   810327 |     4923    281 |        0 |        0
1654.72/1655.15	c 1655s |      20 |   957552 |   810927 |     4923    281 |        0 |        0
1656.82/1657.23	c 1657s |      20 |   958250 |   811527 |     4923    282 |        0 |        0
1659.12/1659.53	c 1659s |      20 |   959172 |   812327 |     4923    282 |        0 |        0
1661.32/1661.76	c 1661s |      20 |   959932 |   813027 |     4923    282 |        0 |        0
1663.42/1663.85	c 1663s |      20 |   960842 |   813827 |     4923    282 |        0 |        0
1665.52/1665.98	c 1665s |      20 |   961682 |   814527 |     4923    283 |        0 |        0
1667.72/1668.18	c 1668s |      20 |   962520 |   815227 |     4923    283 |        0 |        0
1670.02/1670.47	c 1670s |      20 |   963357 |   815927 |     4923    283 |        0 |        0
1672.32/1672.74	c 1672s |      20 |   964182 |   816627 |     4923    283 |        0 |        0
1674.72/1675.15	c 1675s |      20 |   964835 |   817227 |     4923    283 |        0 |        0
1676.92/1677.37	c 1677s |      20 |   965378 |   817727 |     4923    283 |        0 |        0
1679.12/1679.50	c 1679s |      20 |   966014 |   818327 |     4923    284 |        0 |        0
1681.22/1681.69	c 1681s |      20 |   966860 |   819027 |     4923    284 |        0 |        0
1683.62/1684.09	c 1683s |      20 |   967699 |   819727 |     4923    284 |        0 |        0
1685.72/1686.15	c 1686s |      20 |   968275 |   820227 |     4923    284 |        0 |        0
1687.92/1688.39	c 1688s |      20 |   968939 |   820827 |     4923    284 |        0 |        0
1690.12/1690.58	c 1690s |      20 |   969594 |   821427 |     4923    285 |        0 |        0
1692.52/1692.99	c 1692s |      20 |   970271 |   822027 |     4923    285 |        0 |        0
1694.62/1695.09	c 1694s |      20 |   970822 |   822527 |     4923    285 |        0 |        0
1696.92/1697.38	c 1697s |      20 |   971575 |   823227 |     4923    285 |        0 |        0
1699.22/1699.68	c 1699s |      20 |   972328 |   823927 |     4923    285 |        0 |        0
1701.32/1701.76	c 1701s |      20 |   973108 |   824627 |     4923    285 |        0 |        0
1703.41/1703.85	c 1703s |      20 |   973805 |   825227 |     4923    286 |        0 |        0
1705.61/1706.07	c 1705s |      20 |   974525 |   825827 |     4923    286 |        0 |        0
1707.61/1708.08	c 1707s |      20 |   975017 |   826227 |     4923    286 |        0 |        0
1709.71/1710.16	c 1710s |      20 |   975622 |   826727 |     4923    286 |        0 |        0
1712.11/1712.53	c 1712s |      20 |   976163 |   827227 |     4923    286 |        0 |        0
1714.31/1714.76	c 1714s |      20 |   976810 |   827827 |     4923    286 |        0 |        0
1716.31/1716.77	c 1716s |      20 |   977344 |   828327 |     4923    287 |        0 |        0
1718.51/1718.97	c 1718s |      20 |   977997 |   828927 |     4923    287 |        0 |        0
1720.61/1721.08	c 1720s |      20 |   978565 |   829427 |     4923    287 |        0 |        0
1722.71/1723.16	c 1723s |      20 |   979057 |   829827 |     4923    287 |        0 |        0
1724.71/1725.18	c 1725s |      20 |   979533 |   830227 |     4923    287 |        0 |        0
1727.01/1727.50	c 1727s |      20 |   980011 |   830627 |     4923    287 |        0 |        0
1729.51/1729.92	c 1729s |      20 |   980477 |   831027 |     4923    287 |        0 |        0
1732.01/1732.46	c 1732s |      20 |   980912 |   831427 |     4923    288 |        0 |        0
1734.11/1734.54	c 1734s |      20 |   981230 |   831727 |     4923    288 |        0 |        0
1736.41/1736.85	c 1736s |      20 |   981667 |   832127 |     4923    288 |        0 |        0
1738.91/1739.35	c 1739s |      20 |   982102 |   832527 |     4923    288 |        0 |        0
1741.31/1741.76	c 1741s |      20 |   982657 |   833027 |     4923    288 |        0 |        0
1743.51/1743.99	c 1743s |      20 |   983096 |   833427 |     4923    288 |        0 |        0
1745.71/1746.19	c 1746s |      20 |   983666 |   833927 |     4923    288 |        0 |        0
1747.81/1748.28	c 1748s |      20 |   984107 |   834327 |     4923    288 |        0 |        0
1750.11/1750.54	c 1750s |      20 |   984657 |   834827 |     4923    288 |        0 |        0
1752.11/1752.59	c 1752s |      20 |   985234 |   835327 |     4923    289 |        0 |        0
1754.31/1754.78	c 1754s |      20 |   985907 |   835927 |     4923    289 |        0 |        0
1756.61/1757.05	c 1756s |      20 |   986493 |   836427 |     4923    289 |        0 |        0
1758.61/1759.05	c 1758s |      20 |   986935 |   836827 |     4923    289 |        0 |        0
1760.81/1761.21	c 1761s |      20 |   987370 |   837227 |     4923    289 |        0 |        0
1763.10/1763.52	c 1763s |      20 |   987905 |   837727 |     4923    289 |        0 |        0
1765.21/1765.64	c 1765s |      20 |   988435 |   838227 |     4923    289 |        0 |        0
1767.50/1767.90	c 1767s |      20 |   988984 |   838727 |     4923    290 |        0 |        0
1769.61/1770.02	c 1769s |      20 |   989520 |   839227 |     4923    290 |        0 |        0
1771.90/1772.36	c 1772s |      20 |   990181 |   839827 |     4923    290 |        0 |        0
1774.10/1774.55	c 1774s |      20 |   990747 |   840327 |     4923    290 |        0 |        0
1776.11/1776.56	c 1776s |      20 |   991323 |   840827 |     4923    290 |        0 |        0
1778.60/1779.07	c 1778s |      20 |   991876 |   841327 |     4923    290 |        0 |        0
1780.90/1781.36	c 1781s |      20 |   992299 |   841727 |     4923    291 |        0 |        0
1783.30/1783.71	c 1783s |      20 |   992716 |   842127 |     4923    291 |        0 |        0
1785.60/1786.02	c 1785s |      20 |   993123 |   842527 |     4923    291 |        0 |        0
1788.00/1788.48	c 1788s |      20 |   993561 |   842927 |     4923    291 |        0 |        0
1790.30/1790.80	c 1790s |      20 |   994040 |   843327 |     4923    291 |        0 |        0
1792.40/1792.81	c 1792s |      20 |   994484 |   843727 |     4923    291 |        0 |        0
1794.81/1795.24	c 1795s |      20 |   995026 |   844227 |     4923    291 |        0 |        0
1797.00/1797.47	c 1797s |      20 |   995570 |   844727 |     4923    291 |        0 |        0
1799.30/1799.73	c 1799s |      20 |   996117 |   845227 |     4923    292 |        0 |        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-4079450-1465223532/watcher-4079450-1465223532 -o /tmp/evaluation-result-4079450-1465223532/solver-4079450-1465223532 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13091 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079450-1465223532.opb 

pid=14902
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.27 2.21 2.19 3/179 14905
/proc/meminfo: memFree=28719196/32872528 swapFree=16636/1570076
[pid=14905] ppid=14902 vsize=810428 CPUtime=0 cores=0,2,4,6
/proc/14905/stat : 14905 (toysat) R 14902 14905 13075 0 -1 4202496 3037 0 0 0 0 0 0 0 20 0 4 0 104285571 829878272 3397 33554432000 4194304 16246674 140733858924096 140733858923520 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14905/statm: 203119 3408 441 2943 0 200013 0
[pid=14905/tid=14906] ppid=14902 vsize=827836 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104285571 847704064 3469 33554432000 4194304 16246674 140733858924096 140229762591984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14905/tid=14907] ppid=14902 vsize=831932 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104285571 851898368 3485 33554432000 4194304 16246674 140733858924096 140229675560176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14905/tid=14908] ppid=14902 vsize=836028 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104285571 856092672 3501 33554432000 4194304 16246674 140733858924096 140229665086640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.27 2.21 2.19 3/179 14905
/proc/meminfo: memFree=28719196/32872528 swapFree=16636/1570076
[pid=14905] ppid=14902 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/14905/stat : 14905 (toysat) R 14902 14905 13075 0 -1 4202496 28550 0 0 0 5 3 0 0 20 0 4 0 104285571 1333334016 28857 33554432000 4194304 16246674 140733858924096 140733858923408 5584453 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14905/statm: 325521 28873 848 2943 0 322415 0
[pid=14905/tid=14906] ppid=14902 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104285571 1333334016 28878 33554432000 4194304 16246674 140733858924096 140229762591984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14905/tid=14907] ppid=14902 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104285571 1333334016 28884 33554432000 4194304 16246674 140733858924096 140229675560176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14905/tid=14908] ppid=14902 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104285571 1333334016 28889 33554432000 4194304 16246674 140733858924096 140229665086640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200503 s]
/proc/loadavg: 2.27 2.21 2.19 3/179 14905
/proc/meminfo: memFree=28719196/32872528 swapFree=16636/1570076
[pid=14905] ppid=14902 vsize=1303108 CPUtime=0.19 cores=0,2,4,6
/proc/14905/stat : 14905 (toysat) R 14902 14905 13075 0 -1 4202496 48046 0 0 0 13 6 0 0 20 0 4 0 104285571 1334382592 48353 33554432000 4194304 16246674 140733858924096 140733858923408 4221799 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14905/statm: 325777 48358 897 2943 0 322671 0
[pid=14905/tid=14906] ppid=14902 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104285571 1335431168 48364 33554432000 4194304 16246674 140733858924096 140229762591984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14905/tid=14907] ppid=14902 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104285571 1335431168 48368 33554432000 4194304 16246674 140733858924096 140229675560176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14905/tid=14908] ppid=14902 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104285571 1335431168 48372 33554432000 4194304 16246674 140733858924096 140229665086640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1303108

[startup+0.300474 s]
/proc/loadavg: 2.27 2.21 2.19 3/179 14905
/proc/meminfo: memFree=28719196/32872528 swapFree=16636/1570076
[pid=14905] ppid=14902 vsize=1306180 CPUtime=0.29 cores=0,2,4,6
/proc/14905/stat : 14905 (toysat) R 14902 14905 13075 0 -1 4202496 48690 0 0 0 23 6 0 0 20 0 4 0 104285571 1337528320 48997 33554432000 4194304 16246674 140733858924096 140733858923408 6012041 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14905/statm: 326545 48997 901 2943 0 323439 0
[pid=14905/tid=14906] ppid=14902 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104285571 1337528320 48997 33554432000 4194304 16246674 140733858924096 140229762591984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14905/tid=14907] ppid=14902 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104285571 1337528320 48997 33554432000 4194304 16246674 140733858924096 140229675560176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14905/tid=14908] ppid=14902 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104285571 1337528320 48997 33554432000 4194304 16246674 140733858924096 140229665086640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1306180

[startup+0.700337 s]
/proc/loadavg: 2.27 2.21 2.19 3/179 14905
/proc/meminfo: memFree=28719196/32872528 swapFree=16636/1570076
[pid=14905] ppid=14902 vsize=1306180 CPUtime=0.69 cores=0,2,4,6
/proc/14905/stat : 14905 (toysat) R 14902 14905 13075 0 -1 4202496 80637 0 0 0 58 11 0 0 20 0 4 0 104285571 1337528320 80945 33554432000 4194304 16246674 140733858924096 140733858923408 5669490 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14905/statm: 326545 80959 901 2943 0 323439 0
[pid=14905/tid=14906] ppid=14902 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104285571 1337528320 80968 33554432000 4194304 16246674 140733858924096 140229762591984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14905/tid=14907] ppid=14902 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104285571 1337528320 80971 33554432000 4194304 16246674 140733858924096 140229675560176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14905/tid=14908] ppid=14902 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104285571 1337528320 80976 33554432000 4194304 16246674 140733858924096 140229665086640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1306180

[startup+1.50039 s]
/proc/loadavg: 2.27 2.21 2.19 4/183 14909
/proc/meminfo: memFree=28229176/32872528 swapFree=16636/1570076
[pid=14905] ppid=14902 vsize=1306180 CPUtime=1.49 cores=0,2,4,6
/proc/14905/stat : 14905 (toysat) R 14902 14905 13075 0 -1 4202496 154071 0 0 0 129 20 0 0 20 0 4 0 104285571 1337528320 154378 33554432000 4194304 16246674 140733858924096 140733858905984 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14905/statm: 326545 154380 901 2943 0 323439 0
[pid=14905/tid=14906] ppid=14902 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104285571 1337528320 154382 33554432000 4194304 16246674 140733858924096 140229762591984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14905/tid=14907] ppid=14902 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104285571 1337528320 154382 33554432000 4194304 16246674 140733858924096 140229675560176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14905/tid=14908] ppid=14902 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104285571 1337528320 154384 33554432000 4194304 16246674 140733858924096 140229665086640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1306180

[startup+3.10039 s]
/proc/loadavg: 2.27 2.21 2.19 3/183 14909
/proc/meminfo: memFree=27982292/32872528 swapFree=16636/1570076
[pid=14905] ppid=14902 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/14905/stat : 14905 (toysat) R 14902 14905 13075 0 -1 4202496 184066 0 0 0 285 24 0 0 20 0 4 0 104285571 1338576896 184373 33554432000 4194304 16246674 140733858924096 140733858905984 5667556 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14905/statm: 326801 184373 905 2943 0 323695 0
[pid=14905/tid=14906] ppid=14902 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104285571 1338576896 184373 33554432000 4194304 16246674 140733858924096 140229762591984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14905/tid=14907] ppid=14902 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104285571 1338576896 184373 33554432000 4194304 16246674 140733858924096 140229675560176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14905/tid=14908] ppid=14902 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104285571 1338576896 184373 33554432000 4194304 16246674 140733858924096 140229665086640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.25 2.20 2.19 3/183 14909
/proc/meminfo: memFree=27646944/32872528 swapFree=16636/1570076
[pid=14905] ppid=14902 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/14905/stat : 14905 (toysat) R 14902 14905 13075 0 -1 4202496 267914 0 0 0 593 36 0 0 20 0 4 0 104285571 1338576896 268221 33554432000 4194304 16246674 140733858924096 140733858905984 13781198 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14905/statm: 326801 268221 905 2943 0 323695 0
[pid=14905/tid=14906] ppid=14902 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104285571 1338576896 268221 33554432000 4194304 16246674 140733858924096 140229762591984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14905/tid=14907] ppid=14902 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104285571 1338576896 268221 33554432000 4194304 16246674 140733858924096 140229675560176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14905/tid=14908] ppid=14902 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104285571 1338576896 268221 33554432000 4194304 16246674 140733858924096 140229665086640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.23 2.20 2.18 3/183 14909
/proc/meminfo: memFree=27647108/32872528 swapFree=16636/1570076
[pid=14905] ppid=14902 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/14905/stat : 14905 (toysat) R 14902 14905 13075 0 -1 4202496 267990 0 0 0 1233 36 0 0 20 0 4 0 104285571 1338576896 268297 33554432000 4194304 16246674 140733858924096 140733858905984 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14905/statm: 326801 268297 906 2943 0 323695 0
[pid=14905/tid=14906] ppid=14902 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104285571 1338576896 268297 33554432000 4194304 16246674 140733858924096 140229762591984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14905/tid=14907] ppid=14902 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104285571 1338576896 268297 33554432000 4194304 16246674 140733858924096 140229675560176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14905/tid=14908] ppid=14902 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104285571 1338576896 268297 33554432000 4194304 16246674 140733858924096 140229665086640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.25 2.20 2.19 3/183 14909
/proc/meminfo: memFree=27647676/32872528 swapFree=16636/1570076
[pid=14905] ppid=14902 vsize=1307204 CPUtime=25.48 cores=0,2,4,6
/proc/14905/stat : 14905 (toysat) R 14902 14905 13075 0 -1 4202496 267990 0 0 0 2512 36 0 0 20 0 4 0 104285571 1338576896 268297 33554432000 4194304 16246674 140733858924096 140733858905984 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14905/statm: 326801 268297 906 2943 0 323695 0
[pid=14905/tid=14906] ppid=14902 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104285571 1338576896 268297 33554432000 4194304 16246674 140733858924096 140229762591984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14905/tid=14907] ppid=14902 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104285571 1338576896 268297 33554432000 4194304 16246674 140733858924096 140229675560176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14905/tid=14908] ppid=14902 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104285571 1338576896 268297 33554432000 4194304 16246674 140733858924096 140229665086640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.24 2.20 2.18 3/183 14910
/proc/meminfo: memFree=27646152/32872528 swapFree=16636/1570076
[pid=14905] ppid=14902 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/14905/stat : 14905 (toysat) R 14902 14905 13075 0 -1 4202496 268246 0 0 0 5072 36 0 0 20 0 4 0 104285571 1339625472 268553 33554432000 4194304 16246674 140733858924096 140733858905984 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14905/statm: 327057 268553 906 2943 0 323951 0
[pid=14905/tid=14906] ppid=14902 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104285571 1339625472 268553 33554432000 4194304 16246674 140733858924096 140229762591984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14905/tid=14907] ppid=14902 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104285571 1339625472 268553 33554432000 4194304 16246674 140733858924096 140229675560176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14905/tid=14908] ppid=14902 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104285571 1339625472 268553 33554432000 4194304 16246674 140733858924096 140229665086640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.17 2.19 2.18 3/183 14911
/proc/meminfo: memFree=27637008/32872528 swapFree=16636/1570076
[pid=14905] ppid=14902 vsize=1311300 CPUtime=102.28 cores=0,2,4,6
/proc/14905/stat : 14905 (toysat) R 14902 14905 13075 0 -1 4202496 269015 0 0 0 10191 37 0 0 20 0 4 0 104285571 1342771200 269322 33554432000 4194304 16246674 140733858924096 140733858905984 13780585 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14905/statm: 327825 269322 907 2943 0 324719 0
[pid=14905/tid=14906] ppid=14902 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104285571 1342771200 269322 33554432000 4194304 16246674 140733858924096 140229762591984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14905/tid=14907] ppid=14902 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104285571 1342771200 269322 33554432000 4194304 16246674 140733858924096 140229675560176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14905/tid=14908] ppid=14902 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104285571 1342771200 269322 33554432000 4194304 16246674 140733858924096 140229665086640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1311300


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

/proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104285571 1348014080 270858 33554432000 4194304 16246674 140733858924096 140229665086640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1316420

[startup+1302.3 s]
/proc/loadavg: 2.27 2.31 2.24 3/183 15039
/proc/meminfo: memFree=28347916/32872528 swapFree=16636/1570076
[pid=14905] ppid=14902 vsize=1316420 CPUtime=1301.97 cores=0,2,4,6
/proc/14905/stat : 14905 (toysat) R 14902 14905 13075 0 -1 4202496 270500 0 0 0 130153 44 0 0 20 0 4 0 104285571 1348014080 270858 33554432000 4194304 16246674 140733858924096 140733858905984 5711960 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14905/statm: 329105 270858 907 2943 0 325999 0
[pid=14905/tid=14906] ppid=14902 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104285571 1348014080 270858 33554432000 4194304 16246674 140733858924096 140229762591984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14905/tid=14907] ppid=14902 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104285571 1348014080 270858 33554432000 4194304 16246674 140733858924096 140229675560176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14905/tid=14908] ppid=14902 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104285571 1348014080 270858 33554432000 4194304 16246674 140733858924096 140229665086640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1316420

[startup+1362.3 s]
/proc/loadavg: 2.20 2.28 2.24 3/183 15040
/proc/meminfo: memFree=28347892/32872528 swapFree=16632/1570072
[pid=14905] ppid=14902 vsize=1316420 CPUtime=1361.96 cores=0,2,4,6
/proc/14905/stat : 14905 (toysat) R 14902 14905 13075 0 -1 4202496 270500 0 0 0 136152 44 0 0 20 0 4 0 104285571 1348014080 270858 33554432000 4194304 16246674 140733858924096 140733858905984 5711624 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14905/statm: 329105 270858 907 2943 0 325999 0
[pid=14905/tid=14906] ppid=14902 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104285571 1348014080 270858 33554432000 4194304 16246674 140733858924096 140229762591984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14905/tid=14907] ppid=14902 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104285571 1348014080 270858 33554432000 4194304 16246674 140733858924096 140229675560176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14905/tid=14908] ppid=14902 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104285571 1348014080 270858 33554432000 4194304 16246674 140733858924096 140229665086640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1316420

[startup+1422.3 s]
/proc/loadavg: 2.22 2.27 2.24 4/183 15041
/proc/meminfo: memFree=28347368/32872528 swapFree=16636/1570076
[pid=14905] ppid=14902 vsize=1316420 CPUtime=1421.96 cores=0,2,4,6
/proc/14905/stat : 14905 (toysat) R 14902 14905 13075 0 -1 4202496 270500 0 0 0 142152 44 0 0 20 0 4 0 104285571 1348014080 270858 33554432000 4194304 16246674 140733858924096 140733858905984 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14905/statm: 329105 270858 907 2943 0 325999 0
[pid=14905/tid=14906] ppid=14902 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104285571 1348014080 270858 33554432000 4194304 16246674 140733858924096 140229762591984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14905/tid=14907] ppid=14902 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104285571 1348014080 270858 33554432000 4194304 16246674 140733858924096 140229675560176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14905/tid=14908] ppid=14902 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104285571 1348014080 270858 33554432000 4194304 16246674 140733858924096 140229665086640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1316420

[startup+1482.3 s]
/proc/loadavg: 2.26 2.28 2.24 3/183 15042
/proc/meminfo: memFree=28348036/32872528 swapFree=16636/1570076
[pid=14905] ppid=14902 vsize=1316420 CPUtime=1481.94 cores=0,2,4,6
/proc/14905/stat : 14905 (toysat) R 14902 14905 13075 0 -1 4202496 270500 0 0 0 148150 44 0 0 20 0 4 0 104285571 1348014080 270858 33554432000 4194304 16246674 140733858924096 140733858905984 5711716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14905/statm: 329105 270858 907 2943 0 325999 0
[pid=14905/tid=14906] ppid=14902 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104285571 1348014080 270858 33554432000 4194304 16246674 140733858924096 140229762591984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14905/tid=14907] ppid=14902 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104285571 1348014080 270858 33554432000 4194304 16246674 140733858924096 140229675560176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14905/tid=14908] ppid=14902 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104285571 1348014080 270858 33554432000 4194304 16246674 140733858924096 140229665086640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1316420

[startup+1542.31 s]
/proc/loadavg: 2.31 2.29 2.24 3/183 15043
/proc/meminfo: memFree=28342292/32872528 swapFree=16636/1570076
[pid=14905] ppid=14902 vsize=1322564 CPUtime=1541.95 cores=0,2,4,6
/proc/14905/stat : 14905 (toysat) R 14902 14905 13075 0 -1 4202496 272036 0 0 0 154150 45 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140733858905984 5711576 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14905/statm: 330641 272394 907 2943 0 327535 0
[pid=14905/tid=14906] ppid=14902 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140229762591984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14905/tid=14907] ppid=14902 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140229675560176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14905/tid=14908] ppid=14902 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140229665086640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1322564

[startup+1602.3 s]
/proc/loadavg: 2.33 2.29 2.25 3/183 15045
/proc/meminfo: memFree=28342276/32872528 swapFree=16636/1570076
[pid=14905] ppid=14902 vsize=1322564 CPUtime=1601.93 cores=0,2,4,6
/proc/14905/stat : 14905 (toysat) R 14902 14905 13075 0 -1 4202496 272036 0 0 0 160148 45 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140733858905984 5712600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14905/statm: 330641 272394 907 2943 0 327535 0
[pid=14905/tid=14906] ppid=14902 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140229762591984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14905/tid=14907] ppid=14902 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140229675560176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14905/tid=14908] ppid=14902 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140229665086640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1322564

[startup+1662.3 s]
/proc/loadavg: 2.42 2.33 2.26 3/183 15046
/proc/meminfo: memFree=28342148/32872528 swapFree=16636/1570076
[pid=14905] ppid=14902 vsize=1322564 CPUtime=1661.92 cores=0,2,4,6
/proc/14905/stat : 14905 (toysat) R 14902 14905 13075 0 -1 4202496 272036 0 0 0 166147 45 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140733858905984 5711506 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14905/statm: 330641 272394 907 2943 0 327535 0
[pid=14905/tid=14906] ppid=14902 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140229762591984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14905/tid=14907] ppid=14902 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140229675560176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14905/tid=14908] ppid=14902 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140229665086640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1322564

[startup+1722.3 s]
/proc/loadavg: 2.29 2.31 2.26 3/184 15050
/proc/meminfo: memFree=28341780/32872528 swapFree=16636/1570076
[pid=14905] ppid=14902 vsize=1322564 CPUtime=1721.91 cores=0,2,4,6
/proc/14905/stat : 14905 (toysat) R 14902 14905 13075 0 -1 4202496 272036 0 0 0 172146 45 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140733858905984 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14905/statm: 330641 272394 907 2943 0 327535 0
[pid=14905/tid=14906] ppid=14902 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140229762591984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14905/tid=14907] ppid=14902 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140229675560176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14905/tid=14908] ppid=14902 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140229665086640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1322564

[startup+1782.3 s]
/proc/loadavg: 2.11 2.25 2.24 3/184 15074
/proc/meminfo: memFree=28340908/32872528 swapFree=16636/1570076
[pid=14905] ppid=14902 vsize=1322564 CPUtime=1781.9 cores=0,2,4,6
/proc/14905/stat : 14905 (toysat) R 14902 14905 13075 0 -1 4202496 272036 0 0 0 178145 45 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140733858905984 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14905/statm: 330641 272394 907 2943 0 327535 0
[pid=14905/tid=14906] ppid=14902 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140229762591984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14905/tid=14907] ppid=14902 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140229675560176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14905/tid=14908] ppid=14902 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140229665086640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1322564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.16 2.25 2.24 4/183 15074
/proc/meminfo: memFree=28341228/32872528 swapFree=16636/1570076
[pid=14905] ppid=14902 vsize=1322564 CPUtime=1800 cores=0,2,4,6
/proc/14905/stat : 14905 (toysat) R 14902 14905 13075 0 -1 4202496 272036 0 0 0 179955 45 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140733858905984 5712600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14905/statm: 330641 272394 907 2943 0 327535 0
[pid=14905/tid=14906] ppid=14902 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14906/stat : 14906 (toysat) S 14902 14905 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140229762591984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14905/tid=14907] ppid=14902 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14907/stat : 14907 (toysat) S 14902 14905 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140229675560176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14905/tid=14908] ppid=14902 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/14905/task/14908/stat : 14908 (toysat) S 14902 14905 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104285571 1354305536 272394 33554432000 4194304 16246674 140733858924096 140229665086640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1322564

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1799.56
CPU system time (s): 0.45793
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 1322564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.45793
maximum resident set size= 1089576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272036
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= 218
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4618 second user time and 11.6382 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-06 16:32:12
IDJOB=4079450
IDBENCH=1852
IDSOLVER=2542
FILE ID=node140/4079450-1465223532
RUNJOBID= node140-1465216678-13091
PBS_JOBID= 19843199
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 1a5510d564851e49e3b50f1a87922ca2
RANDOM SEED=2005879022

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28719352 kB
Buffers:           13760 kB
Cached:            79536 kB
SwapCached:         1760 kB
Active:          1843764 kB
Inactive:          34808 kB
Active(anon):    1785064 kB
Inactive(anon):     2616 kB
Active(file):      58700 kB
Inactive(file):    32192 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098592 kB
Dirty:             16452 kB
Writeback:             8 kB
AnonPages:       3457224 kB
Mapped:            10748 kB
Shmem:                 0 kB
Slab:             566988 kB
SReclaimable:      11108 kB
SUnreclaim:       555880 kB
KernelStack:        1496 kB
PageTables:        10828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3499212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3217408 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node140 at 2016-06-06 17:02:13