Trace number 4101969

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.12 1800.45

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-gesa3_o.opb
MD5SUMb55f7a8b0d45bfbc16cf27babcf41177
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark673
Best CPU time to get the best result obtained on this benchmark1800.58
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 474
Optimality of the best value was proved NO
Number of variables15504
Total number of constraints1416
Number of constraints which are clauses168
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1248
Minimum length of a constraint2
Maximum length of a constraint311
Number of terms in the objective function 8784
Biggest coefficient in the objective function 1523
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 531096
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 531096
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T07:37:17+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-4101969-1466228237.opb"]
0.00/0.01	c use --random-gen="2376403458 959118766 2131372931 1038887785 3867154885 516042171 128854679 3969758720 1666088324 237229808 3371144618 4245311595 1214549295 1998695817 35979067 647066038 3013094311 1377326982 2482873162 612999949 891739867 3922638093 926372654 2822915852 3944043985 1171003389 3004392163 1909718491 2391330468 3692791970 338015862 845045378 1130100586 3299975205 548779045 4136460259 2991440227 1327628245 1360875454 438641865 1282408898 2225242141 972289520 4146363582 953124148 2065251876 2429867332 1133399022 3927062517 52677267 3038348169 1455871384 1465859831 544147935 3565615901 3130272276 642680980 2116196269 599677690 3359762947 2939722184 3059036463 1124924225 4213659211 365653659 654447328 3519258743 2385138647 723535675 4185763508 3555494790 2464565243 1864815828 3377030899 4094012219 924763068 3556228645 176545099 769412166 3971526706 374799655 3962535429 2375997506 2031029381 1285220629 3857640168 1804254473 1477263031 3564729898 2354596505 680494944 73519639 315805201 2013238031 4195889704 362347591 1231742745 1056645358 2426327340 423920409 2607265689 3768894243 3587407320 1449649019 3286233158 3437538093 1861583863 3910207972 1970407519 1125555323 1639999701 2967922986 1826568658 2807492002 516117445 3314734781 1296860357 3385986948 959547815 1458041569 35082267 788323195 3507709710 711755649 1836494983 1696677887 3697793030 902854772 1516454854 3422088055 1805082386 1946700682 2841909426 192748567 1886411609 1103181030 3938533332 1670085811 1355418000 1073067671 2566355693 4087553451 1799990602 2052485731 3839433303 2104201568 1298395698 1576984337 2961950479 3957669299 3423216194 897738639 2723564583 1859721110 1941487443 3395187256 2368456881 2256536340 1825642992 2338997777 701807326 204536588 1143075706 2152653742 1681863330 2547861852 2682420501 3078304337 856903982 2194283469 3747777889 3902638678 4135486280 3014591996 4206669632 4149107387 3005750056 3035109702 737056674 98179965 3364227291 3034334909 4262504674 102409821 3859745451 2902807163 1053869564 3435279661 3747086591 2576516396 2996683248 2947618520 455011088 2450334446 406615957 2193320371 2517041151 2840973307 2833174721 612819700 4092865969 3244524251 1773557981 905421132 2762822991 3251557361 4136531666 2856981866 1161270629 3922969847 1383518876 3391214234 2854688214 1669618165 740650858 444149882 3434675545 3536227857 84190287 3199283063 422940299 2077252276 1330534804 1304465441 2023428551 1534703770 3258577759 4146900525 202178809 2069094549 2685843538 1515752116 4079141968 3155809786 66409648 4016607374 660503662 1137740418 1055975998 1501044949 159508498 3060815621 2075732861 1355947523 988023864 1252362011 186164442 2141102312 2381911109 623212101 1999224359 2360022329 489565930 2268666322 1949862203 4089009082 255 362436" option to reproduce the execution
0.09/0.13	c #vars 15504
0.09/0.13	c #constraints 1416
0.59/0.61	c BCD2: Hardening is enabled.
0.59/0.61	c BCD2: BiasedSearch is enabled.
0.59/0.61	c Solving starts ...
0.59/0.61	c ============================[ Search Statistics ]============================
0.59/0.61	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.61	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.61	c =============================================================================
0.59/0.61	c  0.0s |       0 |        0 |        0 |     5680      0 |     6504 |        0
0.59/0.67	c  0.1s |       1 |     1157 |      100 |     5680      0 |     6504 |        0
0.59/0.69	c  0.1s |       2 |     1384 |      250 |     6249      0 |     6504 |        0
0.69/0.75	c  0.1s |       3 |     1849 |      475 |     6874      0 |     6504 |        0
0.79/0.84	c  0.2s |       4 |     3167 |      813 |     7562      0 |     6504 |        0
0.89/0.98	c  0.4s |       5 |     3857 |     1320 |     8319      0 |     6504 |        0
1.19/1.21	c  0.6s |       6 |     7446 |     2081 |    10067      0 |     6504 |        0
1.99/2.04	c  1.4s |       7 |    10307 |     3223 |    11074      0 |     6504 |        0
3.09/3.14	c  2.5s |       8 |    13498 |     4936 |    12182      0 |     6504 |        0
4.79/4.85	c  4.2s |       9 |    20013 |     7506 |    13401      0 |     6504 |        0
6.79/6.89	c  6.3s |       9 |    29103 |    10506 |    13401      0 |     6504 |        0
7.39/7.49	c  6.9s |      10 |    31767 |    11361 |    14742      0 |     6504 |        0
9.49/9.51	c  8.9s |      10 |    38918 |    14061 |    14742      0 |     6504 |        0
11.49/11.53	c 10.9s |      10 |    46164 |    16661 |    14742      0 |     6504 |        0
11.89/11.95	c 11.3s |      11 |    47642 |    17144 |    16217      0 |     6504 |        0
13.99/14.02	c 13.4s |      11 |    54198 |    19544 |    16217      0 |     6504 |        0
15.99/16.07	c 15.5s |      11 |    59887 |    21744 |    16217      0 |     6504 |        0
18.09/18.13	c 17.5s |      11 |    65279 |    24244 |    16217      1 |     6504 |        0
19.39/19.48	c 18.9s |      12 |    69005 |    25819 |    17839      1 |     6504 |        0
21.49/21.54	c 20.9s |      12 |    74957 |    28319 |    17839      1 |     6504 |        0
23.49/23.55	c 22.9s |      12 |    81065 |    30719 |    17839      1 |     6504 |        0
25.49/25.57	c 25.0s |      12 |    86251 |    33119 |    17839      1 |     6504 |        0
27.50/27.58	c 27.0s |      12 |    91254 |    35319 |    17839      1 |     6504 |        0
29.59/29.63	c 29.0s |      12 |    96499 |    37619 |    17839      2 |     6504 |        0
30.49/30.58	c 30.0s |      13 |    99492 |    38832 |    19623      2 |     6504 |        0
33.69/33.80	c 33.2s |      13 |   102996 |    40032 |    19623      2 |     6504 |        0
35.79/35.86	c 35.3s |      13 |   109039 |    42232 |    19623      2 |     6504 |        0
37.89/37.91	c 37.3s |      13 |   114643 |    44332 |    19623      2 |     6504 |        0
39.89/39.95	c 39.3s |      13 |   119668 |    46432 |    19623      2 |     6504 |        0
41.89/41.99	c 41.4s |      13 |   123947 |    48532 |    19623      2 |     6504 |        0
44.09/44.14	c 43.5s |      13 |   128172 |    49932 |    19623      3 |     6504 |        0
46.08/46.19	c 45.6s |      13 |   133989 |    52332 |    19623      3 |     6504 |        0
48.18/48.23	c 47.6s |      13 |   139124 |    54932 |    19623      3 |     6504 |        0
50.18/50.27	c 49.7s |      13 |   145847 |    57132 |    19623      3 |     6504 |        0
51.28/51.38	c 50.8s |      14 |   150227 |    58352 |    21586      3 |     6504 |        0
55.58/55.60	c 55.0s |      14 |   153320 |    59552 |    21586      3 |     6504 |        0
57.58/57.64	c 57.0s |      14 |   157472 |    61652 |    21586      3 |     6504 |        0
59.58/59.64	c 59.0s |      14 |   161426 |    63652 |    21586      3 |     6504 |        0
61.58/61.66	c 61.1s |      14 |   164928 |    65152 |    21586      4 |     6504 |        0
63.58/63.67	c 63.1s |      14 |   168532 |    67252 |    21586      4 |     6504 |        0
65.58/65.67	c 65.1s |      14 |   173355 |    69352 |    21586      4 |     6504 |        0
67.58/67.69	c 67.1s |      14 |   179640 |    71752 |    21586      4 |     6504 |        0
69.68/69.70	c 69.1s |      14 |   182939 |    74452 |    21586      4 |     6504 |        0
73.38/73.43	c 72.8s |      14 |   183791 |    75152 |    21586      4 |     6504 |        0
75.38/75.45	c 74.8s |      14 |   187041 |    76952 |    21586      4 |     6504 |        0
77.38/77.49	c 76.9s |      14 |   192784 |    79652 |    21586      4 |     6504 |        0
79.48/79.54	c 78.9s |      14 |   199150 |    83552 |    21586      5 |     6504 |        0
81.49/81.56	c 81.0s |      14 |   204831 |    87052 |    23745      5 |     6504 |        0
81.88/81.90	c 81.3s |      15 |   205659 |    87632 |    23745      5 |     6504 |        0
83.88/83.98	c 83.4s |      15 |   211303 |    90732 |    23745      5 |     6504 |        0
85.89/85.99	c 85.4s |      15 |   217016 |    93732 |    23745      5 |     6504 |        0
87.88/88.00	c 87.4s |      15 |   223190 |    97232 |    23745      6 |     6504 |        0
89.98/90.05	c 89.4s |      15 |   234337 |   103232 |    23745      6 |     6504 |        0
92.08/92.10	c 91.5s |      15 |   239471 |   106632 |    23745      6 |     6504 |        0
94.08/94.16	c 93.5s |      15 |   244682 |   109832 |    23745      6 |     6504 |        0
96.18/96.25	c 95.6s |      15 |   249477 |   112532 |    23745      6 |     6504 |        0
98.18/98.26	c 97.6s |      15 |   255184 |   115632 |    23745      7 |     6504 |        0
100.18/100.27	c 99.7s |      15 |   263786 |   121532 |    23745      7 |     6504 |        0
102.18/102.29	c  101s |      15 |   273504 |   128332 |    23745      7 |     6504 |        0
103.78/103.81	c  103s |      16 |   277741 |   131552 |    26120      8 |     6504 |        0
105.78/105.82	c  105s |      16 |   285068 |   134752 |    26120      8 |     6504 |        0
107.78/107.86	c  107s |      16 |   290906 |   137952 |    26120      8 |     6504 |        0
109.78/109.87	c  109s |      16 |   299665 |   143352 |    26120      8 |     6504 |        0
111.88/111.90	c  111s |      16 |   309578 |   147852 |    26120      8 |     6504 |        0
113.88/113.93	c  113s |      16 |   318179 |   151252 |    26120      9 |     6504 |        0
115.88/115.95	c  115s |      16 |   326186 |   154152 |    26120      9 |     6504 |        0
117.88/117.95	c  117s |      16 |   332548 |   156952 |    26120      9 |     6504 |        0
119.98/120.01	c  119s |      16 |   339774 |   159852 |    26120      9 |     6504 |        0
121.97/122.04	c  121s |      16 |   348471 |   163152 |    26120      9 |     6504 |        0
123.97/124.09	c  123s |      16 |   357397 |   166352 |    26120      9 |     6504 |        0
126.07/126.11	c  125s |      16 |   365187 |   169052 |    26120     10 |     6504 |        0
128.07/128.18	c  127s |      16 |   374343 |   172552 |    26120     10 |     6504 |        0
130.17/130.20	c  129s |      16 |   383729 |   176552 |    26120     10 |     6504 |        0
132.17/132.21	c  131s |      16 |   390683 |   180652 |    26120     10 |     6504 |        0
134.18/134.23	c  133s |      16 |   396844 |   184852 |    26120     10 |     6504 |        0
136.17/136.23	c  135s |      16 |   400812 |   187252 |    26120     11 |     6504 |        0
138.17/138.26	c  137s |      16 |   404313 |   189652 |    26120     11 |     6504 |        0
140.17/140.28	c  139s |      16 |   407763 |   191952 |    26120     11 |     6504 |        0
142.17/142.29	c  141s |      16 |   413882 |   194752 |    26120     11 |     6504 |        0
144.27/144.35	c  143s |      16 |   420512 |   197152 |    28733     11 |     6504 |        0
144.57/144.62	c  144s |      17 |   421552 |   197432 |    28733     11 |     6504 |        0
146.57/146.67	c  146s |      17 |   427292 |   199232 |    28733     11 |     6504 |        0
148.67/148.73	c  148s |      17 |   430313 |   200832 |    28733     11 |     6504 |        0
150.67/150.77	c  150s |      17 |   436719 |   203832 |    28733     11 |     6504 |        0
152.67/152.78	c  152s |      17 |   442009 |   206532 |    28733     11 |     6504 |        0
154.77/154.85	c  154s |      17 |   449316 |   208832 |    28733     12 |     6504 |        0
156.77/156.88	c  156s |      17 |   455334 |   211432 |    28733     12 |     6504 |        0
158.87/158.94	c  158s |      17 |   461962 |   213832 |    28733     12 |     6504 |        0
160.87/160.98	c  160s |      17 |   468408 |   216732 |    28733     12 |     6504 |        0
162.97/163.01	c  162s |      17 |   473001 |   219332 |    28733     12 |     6504 |        0
164.97/165.07	c  164s |      17 |   478956 |   221732 |    28733     12 |     6504 |        0
167.06/167.14	c  166s |      17 |   483939 |   223932 |    28733     12 |     6504 |        0
169.06/169.16	c  168s |      17 |   489320 |   225332 |    28733     12 |     6504 |        0
171.16/171.28	c  170s |      17 |   494391 |   226632 |    28733     12 |     6504 |        0
173.16/173.29	c  172s |      17 |   498330 |   228232 |    28733     13 |     6504 |        0
175.26/175.38	c  174s |      17 |   505207 |   229732 |    28733     13 |     6504 |        0
177.46/177.51	c  176s |      17 |   512279 |   231432 |    28733     13 |     6504 |        0
179.46/179.52	c  178s |      17 |   516939 |   233132 |    28733     13 |     6504 |        0
182.36/182.41	c  181s |      17 |   520584 |   234432 |    28733     13 |     6504 |        0
184.36/184.43	c  183s |      17 |   524143 |   236232 |    28733     13 |     6504 |        0
186.46/186.51	c  185s |      17 |   529638 |   238632 |    28733     13 |     6504 |        0
188.46/188.53	c  187s |      17 |   534187 |   240832 |    28733     13 |     6504 |        0
190.46/190.56	c  189s |      17 |   538814 |   243032 |    28733     13 |     6504 |        0
192.56/192.64	c  192s |      17 |   543119 |   245132 |    28733     13 |     6504 |        0
194.56/194.69	c  194s |      17 |   546507 |   246732 |    28733     14 |     6504 |        0
196.66/196.72	c  196s |      17 |   551257 |   248932 |    28733     14 |     6504 |        0
198.66/198.73	c  198s |      17 |   556594 |   251232 |    28733     14 |     6504 |        0
200.66/200.78	c  200s |      17 |   560607 |   253232 |    28733     14 |     6504 |        0
203.66/203.76	c  203s |      17 |   561918 |   254132 |    28733     14 |     6504 |        0
205.77/205.80	c  205s |      17 |   567496 |   255932 |    28733     14 |     6504 |        0
207.76/207.87	c  207s |      17 |   574306 |   257932 |    28733     14 |     6504 |        0
209.86/209.94	c  209s |      17 |   580679 |   260132 |    28733     14 |     6504 |        0
211.96/212.02	c  211s |      17 |   587158 |   262132 |    28733     14 |     6504 |        0
213.96/214.04	c  213s |      17 |   593747 |   264032 |    28733     14 |     6504 |        0
216.16/216.25	c  215s |      17 |   599645 |   265732 |    28733     15 |     6504 |        0
218.15/218.29	c  217s |      17 |   606799 |   268032 |    28733     15 |     6504 |        0
220.25/220.32	c  219s |      17 |   613574 |   270232 |    28733     15 |     6504 |        0
222.26/222.39	c  221s |      17 |   621518 |   272532 |    28733     15 |     6504 |        0
224.36/224.42	c  223s |      17 |   627784 |   274732 |    28733     15 |     6504 |        0
226.35/226.45	c  225s |      17 |   632751 |   276632 |    28733     15 |     6504 |        0
228.35/228.48	c  227s |      17 |   636901 |   278032 |    28733     15 |     6504 |        0
230.45/230.55	c  229s |      17 |   642767 |   280132 |    28733     15 |     6504 |        0
232.45/232.59	c  231s |      17 |   647662 |   282032 |    28733     15 |     6504 |        0
234.55/234.64	c  234s |      17 |   653015 |   284032 |    28733     15 |     6504 |        0
236.56/236.67	c  236s |      17 |   658433 |   285732 |    28733     16 |     6504 |        0
238.55/238.68	c  238s |      17 |   664040 |   287832 |    28733     16 |     6504 |        0
240.65/240.72	c  240s |      17 |   668535 |   290032 |    28733     16 |     6504 |        0
243.26/243.37	c  242s |      17 |   669042 |   290232 |    28733     16 |     6504 |        0
245.36/245.48	c  244s |      17 |   672338 |   291632 |    28733     16 |     6504 |        0
248.35/248.42	c  247s |      17 |   673208 |   292032 |    28733     16 |     6504 |        0
250.35/250.47	c  249s |      17 |   677961 |   294432 |    31607     16 |     6504 |        0
251.75/251.87	c  251s |      18 |   681662 |   296252 |    31607     16 |     6504 |        0
253.85/253.93	c  253s |      18 |   687239 |   298852 |    31607     16 |     6504 |        0
255.85/255.95	c  255s |      18 |   692735 |   301752 |    31607     16 |     6504 |        0
257.85/257.97	c  257s |      18 |   700758 |   305152 |    31607     16 |     6504 |        0
259.85/259.98	c  259s |      18 |   707467 |   309752 |    31607     17 |     6504 |        0
261.86/261.99	c  261s |      18 |   711640 |   313352 |    31607     17 |     6504 |        0
263.96/264.08	c  263s |      18 |   715024 |   316452 |    31607     17 |     6504 |        0
266.05/266.12	c  265s |      18 |   718746 |   319552 |    31607     17 |     6504 |        0
268.05/268.15	c  267s |      18 |   728239 |   325552 |    31607     17 |     6504 |        0
270.05/270.17	c  269s |      18 |   735184 |   329652 |    31607     18 |     6504 |        0
272.15/272.22	c  271s |      18 |   741327 |   333552 |    31607     18 |     6504 |        0
274.15/274.24	c  273s |      18 |   747281 |   336852 |    31607     18 |     6504 |        0
276.16/276.25	c  275s |      18 |   752870 |   339952 |    31607     18 |     6504 |        0
278.15/278.30	c  277s |      18 |   765533 |   344052 |    31607     18 |     6505 |        0
280.25/280.30	c  279s |      18 |   772095 |   348652 |    31607     18 |     6505 |        0
282.25/282.33	c  281s |      18 |   777571 |   352652 |    31607     19 |     6505 |        0
284.25/284.38	c  283s |      18 |   783051 |   356352 |    31607     19 |     6505 |        0
286.35/286.41	c  285s |      18 |   788191 |   359552 |    31607     19 |     6505 |        0
288.35/288.43	c  287s |      18 |   793587 |   362852 |    31607     19 |     6505 |        0
290.35/290.47	c  289s |      18 |   799060 |   365752 |    31607     19 |     6505 |        0
292.45/292.52	c  291s |      18 |   803350 |   368552 |    31607     19 |     6505 |        0
294.45/294.53	c  293s |      18 |   806330 |   370852 |    31607     19 |     6505 |        0
296.45/296.54	c  295s |      18 |   809831 |   373052 |    31607     20 |     6505 |        0
298.55/298.61	c  298s |      18 |   812996 |   375052 |    31607     20 |     6505 |        0
300.65/300.73	c  300s |      18 |   815639 |   376552 |    31607     20 |     6505 |        0
302.65/302.76	c  302s |      18 |   817583 |   377752 |    31607     20 |     6505 |        0
304.75/304.82	c  304s |      18 |   819441 |   378952 |    31607     20 |     6505 |        0
306.85/306.95	c  306s |      18 |   821457 |   380252 |    31607     20 |     6505 |        0
308.94/309.08	c  308s |      18 |   823402 |   381352 |    31607     20 |     6505 |        0
311.04/311.19	c  310s |      18 |   825022 |   382452 |    31607     20 |     6505 |        0
313.14/313.26	c  312s |      18 |   828450 |   384952 |    31607     20 |     6505 |        0
315.34/315.48	c  314s |      18 |   831786 |   387552 |    31607     20 |     6505 |        0
317.44/317.51	c  316s |      18 |   834188 |   389352 |    31607     20 |     6505 |        0
319.54/319.68	c  319s |      18 |   836489 |   390952 |    31607     20 |     6505 |        0
321.64/321.77	c  321s |      18 |   839049 |   392752 |    31607     20 |     6505 |        0
323.74/323.86	c  323s |      18 |   840213 |   393452 |    31607     21 |     6505 |        0
328.74/328.89	c  328s |      18 |   843749 |   395952 |    31607     21 |     6505 |        0
330.84/330.94	c  330s |      18 |   846867 |   398352 |    31607     21 |     6505 |        0
332.84/332.96	c  332s |      18 |   848601 |   399652 |    31607     21 |     6505 |        0
334.84/334.96	c  334s |      18 |   851371 |   401752 |    31607     21 |     6505 |        0
336.94/337.00	c  336s |      18 |   854731 |   404152 |    31607     21 |     6505 |        0
338.94/339.05	c  338s |      18 |   857903 |   406552 |    31607     21 |     6505 |        0
340.95/341.06	c  340s |      18 |   860321 |   408052 |    31607     21 |     6505 |        0
342.94/343.08	c  342s |      18 |   862401 |   409552 |    31607     21 |     6505 |        0
345.14/345.26	c  344s |      18 |   864600 |   411052 |    31607     21 |     6505 |        0
347.24/347.32	c  346s |      18 |   867107 |   413052 |    31607     21 |     6505 |        0
349.24/349.33	c  348s |      18 |   868873 |   414352 |    31607     22 |     6505 |        0
363.54/363.60	c  362s |      18 |   870777 |   415752 |    31607     22 |     6505 |        0
365.54/365.63	c  365s |      18 |   874158 |   418352 |    31607     22 |     6505 |        0
367.64/367.74	c  367s |      18 |   877009 |   420452 |    31607     22 |     6505 |        0
369.74/369.88	c  369s |      18 |   879000 |   421952 |    31607     22 |     6505 |        0
371.85/371.92	c  371s |      18 |   881726 |   423952 |    31607     22 |     6505 |        0
373.84/373.96	c  373s |      18 |   883841 |   425452 |    31607     22 |     6505 |        0
375.94/376.01	c  375s |      18 |   886136 |   427052 |    31607     22 |     6505 |        0
378.04/378.12	c  377s |      18 |   888242 |   428652 |    31607     22 |     6505 |        0
380.14/380.28	c  379s |      18 |   889846 |   429452 |    31607     22 |     6505 |        0
382.24/382.38	c  381s |      18 |   891275 |   430452 |    31607     22 |     6505 |        0
384.34/384.40	c  383s |      18 |   892391 |   431252 |    31607     22 |     6505 |        0
386.34/386.43	c  385s |      18 |   893397 |   431952 |    31607     22 |     6505 |        0
388.44/388.58	c  387s |      18 |   894449 |   432652 |    31607     22 |     6505 |        0
390.44/390.59	c  389s |      18 |   895414 |   433352 |    31607     22 |     6505 |        0
392.53/392.66	c  392s |      18 |   897409 |   435152 |    31607     22 |     6505 |        0
394.63/394.70	c  394s |      18 |   898455 |   436152 |    31607     23 |     6505 |        0
396.83/396.91	c  396s |      18 |   898557 |   436252 |    31607     23 |     6505 |        0
398.83/398.94	c  398s |      18 |   901894 |   438652 |    31607     23 |     6505 |        0
400.83/400.96	c  400s |      18 |   904214 |   440252 |    31607     23 |     6505 |        0
408.63/408.76	c  408s |      18 |   907097 |   442052 |    34768     23 |     6505 |        0
410.33/410.45	c  409s |      19 |   910693 |   444482 |    34768     23 |     6505 |        0
412.33/412.47	c  411s |      19 |   919155 |   449182 |    34768     23 |     6505 |        0
414.43/414.52	c  413s |      19 |   924785 |   453382 |    34768     23 |     6505 |        0
416.42/416.54	c  415s |      19 |   938097 |   459882 |    34768     24 |     6505 |        0
418.42/418.55	c  417s |      19 |   944976 |   464082 |    34768     24 |     6505 |        0
420.52/420.61	c  420s |      19 |   957153 |   468482 |    34768     24 |     6505 |        0
422.52/422.62	c  422s |      19 |   968064 |   472482 |    34768     24 |     6505 |        0
424.63/424.71	c  424s |      19 |   976755 |   475182 |    34768     24 |     6505 |        0
426.62/426.74	c  426s |      19 |   985562 |   477282 |    34768     24 |     6505 |        0
428.62/428.77	c  428s |      19 |   995370 |   480482 |    34768     25 |     6505 |        0
430.62/430.79	c  430s |      19 |  1002321 |   483582 |    34768     25 |     6505 |        0
432.72/432.83	c  432s |      19 |  1009578 |   486082 |    34768     25 |     6505 |        0
434.72/434.85	c  434s |      19 |  1017999 |   488482 |    34768     25 |     6505 |        0
436.92/437.00	c  436s |      19 |  1027129 |   490782 |    34768     25 |     6505 |        0
438.93/439.01	c  438s |      19 |  1032687 |   492282 |    34768     25 |     6505 |        0
440.92/441.06	c  440s |      19 |  1039391 |   493982 |    34768     25 |     6505 |        0
443.02/443.10	c  442s |      19 |  1047387 |   495882 |    34768     25 |     6505 |        0
445.02/445.14	c  444s |      19 |  1052009 |   497782 |    34768     25 |     6505 |        0
447.02/447.18	c  446s |      19 |  1056801 |   501282 |    34768     26 |     6505 |        0
449.33/449.41	c  448s |      19 |  1065691 |   504082 |    34768     26 |     6505 |        0
451.33/451.46	c  450s |      19 |  1075558 |   506882 |    34768     26 |     6505 |        0
453.33/453.50	c  452s |      19 |  1084358 |   509282 |    34768     26 |     6505 |        0
455.33/455.50	c  454s |      19 |  1090229 |   511182 |    34768     26 |     6505 |        0
458.02/458.18	c  457s |      19 |  1092900 |   512682 |    34768     26 |     6505 |        0
460.83/460.93	c  460s |      19 |  1093852 |   512982 |    34768     26 |     6505 |        0
462.82/462.96	c  462s |      19 |  1100357 |   515182 |    34768     26 |     6505 |        0
464.92/465.00	c  464s |      19 |  1105707 |   516982 |    34768     26 |     6505 |        0
467.02/467.16	c  466s |      19 |  1112953 |   519382 |    34768     27 |     6505 |        0
469.02/469.17	c  468s |      19 |  1124323 |   522882 |    34768     27 |     6505 |        0
471.02/471.18	c  470s |      19 |  1138789 |   525982 |    34768     27 |     6505 |        0
473.12/473.24	c  472s |      19 |  1141065 |   526382 |    34768     27 |     6505 |        0
475.12/475.27	c  474s |      19 |  1146278 |   529082 |    34768     27 |     6505 |        0
477.21/477.34	c  476s |      19 |  1154648 |   531182 |    34768     27 |     6505 |        0
479.31/479.40	c  478s |      19 |  1163445 |   533482 |    34768     27 |     6505 |        0
481.31/481.43	c  480s |      19 |  1171017 |   535582 |    34768     27 |     6505 |        0
483.41/483.51	c  482s |      19 |  1177859 |   537282 |    34768     27 |     6505 |        0
485.51/485.63	c  485s |      19 |  1184940 |   539182 |    34768     27 |     6505 |        0
487.51/487.65	c  487s |      19 |  1192342 |   540882 |    34768     28 |     6505 |        0
489.61/489.71	c  489s |      19 |  1202168 |   543282 |    34768     28 |     6505 |        0
491.62/491.79	c  491s |      19 |  1208496 |   545682 |    34768     28 |     6505 |        0
493.71/493.80	c  493s |      19 |  1217313 |   547682 |    34768     28 |     6505 |        0
495.71/495.85	c  495s |      19 |  1225313 |   549582 |    34768     28 |     6505 |        0
497.71/497.87	c  497s |      19 |  1232100 |   551982 |    34768     28 |     6505 |        0
499.71/499.88	c  499s |      19 |  1237793 |   555782 |    34768     28 |     6505 |        0
501.81/501.91	c  501s |      19 |  1242577 |   558982 |    34768     28 |     6505 |        0
503.82/503.97	c  503s |      19 |  1247552 |   560682 |    34768     28 |     6505 |        0
505.92/506.05	c  505s |      19 |  1254080 |   561982 |    34768     29 |     6505 |        0
508.41/508.57	c  507s |      19 |  1257825 |   563082 |    34768     29 |     6505 |        0
510.51/510.64	c  510s |      19 |  1266015 |   565982 |    34768     29 |     6505 |        0
512.52/512.66	c  512s |      19 |  1272206 |   568882 |    34768     29 |     6505 |        0
514.61/514.76	c  514s |      19 |  1277515 |   570182 |    34768     29 |     6505 |        0
516.81/516.90	c  516s |      19 |  1284783 |   571682 |    34768     29 |     6505 |        0
518.81/518.99	c  518s |      19 |  1291338 |   573182 |    34768     29 |     6505 |        0
521.61/521.77	c  521s |      19 |  1297313 |   574682 |    34768     29 |     6505 |        0
523.71/523.82	c  523s |      19 |  1302661 |   576282 |    34768     29 |     6505 |        0
528.31/528.43	c  527s |      19 |  1303509 |   576482 |    34768     29 |     6505 |        0
530.31/530.48	c  529s |      19 |  1309567 |   579082 |    34768     29 |     6505 |        0
532.41/532.56	c  531s |      19 |  1316874 |   581482 |    34768     29 |     6505 |        0
534.51/534.62	c  534s |      19 |  1322185 |   583282 |    34768     30 |     6505 |        0
536.61/536.70	c  536s |      19 |  1331114 |   585682 |    34768     30 |     6505 |        0
538.61/538.74	c  538s |      19 |  1341506 |   588582 |    34768     30 |     6505 |        0
540.60/540.78	c  540s |      19 |  1350152 |   591682 |    34768     30 |     6505 |        0
542.70/542.84	c  542s |      19 |  1355939 |   593782 |    34768     30 |     6505 |        0
544.80/544.92	c  544s |      19 |  1365165 |   596182 |    34768     30 |     6505 |        0
546.80/546.99	c  546s |      19 |  1375455 |   598482 |    34768     30 |     6505 |        0
548.91/549.04	c  548s |      19 |  1382885 |   600482 |    34768     30 |     6505 |        0
551.01/551.15	c  550s |      19 |  1392146 |   602482 |    34768     30 |     6505 |        0
553.00/553.18	c  552s |      19 |  1399719 |   604582 |    34768     31 |     6505 |        0
555.00/555.19	c  554s |      19 |  1408038 |   607182 |    34768     31 |     6505 |        0
557.10/557.25	c  556s |      19 |  1417642 |   609982 |    34768     31 |     6505 |        0
559.20/559.31	c  558s |      19 |  1425588 |   612482 |    34768     31 |     6505 |        0
561.20/561.39	c  560s |      19 |  1433644 |   614582 |    34768     31 |     6505 |        0
563.40/563.50	c  562s |      19 |  1441931 |   616582 |    34768     31 |     6505 |        0
565.41/565.54	c  564s |      19 |  1449867 |   618382 |    34768     31 |     6505 |        0
567.40/567.54	c  566s |      19 |  1456317 |   620182 |    34768     31 |     6505 |        0
569.40/569.59	c  568s |      19 |  1462426 |   621882 |    34768     31 |     6505 |        0
571.50/571.67	c  571s |      19 |  1469101 |   623682 |    34768     31 |     6505 |        0
573.60/573.72	c  573s |      19 |  1475244 |   625482 |    34768     32 |     6505 |        0
575.60/575.77	c  575s |      19 |  1482273 |   627982 |    34768     32 |     6505 |        0
577.70/577.85	c  577s |      19 |  1483837 |   628482 |    34768     32 |     6505 |        0
579.71/579.86	c  579s |      19 |  1494034 |   630682 |    34768     32 |     6505 |        0
581.70/581.89	c  581s |      19 |  1504836 |   633182 |    34768     32 |     6505 |        0
583.80/583.97	c  583s |      19 |  1512637 |   635282 |    34768     32 |     6505 |        0
585.90/586.05	c  585s |      19 |  1520716 |   637482 |    34768     32 |     6505 |        0
587.90/588.06	c  587s |      19 |  1530617 |   639482 |    34768     32 |     6505 |        0
589.91/590.09	c  589s |      19 |  1531600 |   639782 |    34768     32 |     6505 |        0
592.01/592.13	c  591s |      19 |  1537537 |   641782 |    34768     32 |     6505 |        0
594.10/594.23	c  593s |      19 |  1546867 |   643982 |    34768     32 |     6505 |        0
596.50/596.63	c  596s |      19 |  1553882 |   645682 |    34768     33 |     6505 |        0
599.00/599.13	c  598s |      19 |  1555503 |   646082 |    34768     33 |     6505 |        0
601.00/601.13	c  600s |      19 |  1561531 |   647782 |    34768     33 |     6505 |        0
606.11/606.24	c  605s |      19 |  1569441 |   650682 |    34768     33 |     6505 |        0
608.20/608.36	c  607s |      19 |  1570650 |   651182 |    34768     33 |     6505 |        0
610.20/610.36	c  609s |      19 |  1581022 |   653782 |    34768     33 |     6505 |        0
612.30/612.44	c  611s |      19 |  1589263 |   656082 |    34768     33 |     6505 |        0
614.30/614.49	c  613s |      19 |  1597968 |   658082 |    34768     33 |     6505 |        0
616.40/616.52	c  615s |      19 |  1606139 |   660082 |    34768     33 |     6505 |        0
618.40/618.59	c  617s |      19 |  1612996 |   661882 |    34768     33 |     6505 |        0
620.50/620.60	c  619s |      19 |  1619939 |   663682 |    38245     33 |     6505 |        0
622.60/622.73	c  622s |      19 |  1625949 |   665182 |    38245     33 |     6505 |        0
624.60/624.73	c  624s |      20 |  1632368 |   666827 |    38245     33 |     6505 |        0
626.59/626.75	c  626s |      20 |  1643333 |   670427 |    38245     33 |     6505 |        0
628.59/628.79	c  628s |      20 |  1649888 |   673827 |    38245     34 |     6505 |        0
630.69/630.80	c  630s |      20 |  1655734 |   677327 |    38245     34 |     6505 |        0
632.69/632.86	c  632s |      20 |  1660829 |   680427 |    38245     34 |     6505 |        0
634.79/634.90	c  634s |      20 |  1666380 |   683427 |    38245     34 |     6505 |        0
636.80/636.91	c  636s |      20 |  1673213 |   687727 |    38245     34 |     6505 |        0
638.79/638.95	c  638s |      20 |  1679996 |   692627 |    38245     34 |     6505 |        0
640.89/641.00	c  640s |      20 |  1685675 |   696527 |    38245     34 |     6505 |        0
642.89/643.03	c  642s |      20 |  1689672 |   699327 |    38245     35 |     6505 |        0
644.89/645.03	c  644s |      20 |  1693807 |   702627 |    38245     35 |     6505 |        0
646.89/647.05	c  646s |      20 |  1697524 |   705327 |    38245     35 |     6505 |        0
649.09/649.24	c  648s |      20 |  1701087 |   707827 |    38245     35 |     6505 |        0
651.20/651.35	c  650s |      20 |  1703119 |   709027 |    38245     35 |     6505 |        0
653.29/653.43	c  652s |      20 |  1705807 |   710427 |    38245     35 |     6505 |        0
655.29/655.47	c  654s |      20 |  1708252 |   711827 |    38245     35 |     6505 |        0
657.49/657.60	c  656s |      20 |  1710607 |   713227 |    38245     35 |     6505 |        0
659.59/659.70	c  659s |      20 |  1713032 |   714527 |    38245     35 |     6505 |        0
661.59/661.77	c  661s |      20 |  1715069 |   715827 |    38245     35 |     6505 |        0
663.79/663.95	c  663s |      20 |  1717012 |   717127 |    38245     35 |     6505 |        0
665.89/666.05	c  665s |      20 |  1719442 |   718327 |    38245     35 |     6505 |        0
667.99/668.15	c  667s |      20 |  1721493 |   719527 |    38245     35 |     6505 |        0
670.09/670.23	c  669s |      20 |  1723103 |   720627 |    38245     35 |     6505 |        0
672.09/672.29	c  671s |      20 |  1724994 |   721627 |    38245     35 |     6505 |        0
674.19/674.36	c  673s |      20 |  1726984 |   722727 |    38245     35 |     6505 |        0
676.18/676.38	c  675s |      20 |  1730146 |   725227 |    38245     36 |     6505 |        0
678.28/678.41	c  677s |      20 |  1733575 |   727427 |    38245     36 |     6505 |        0
680.28/680.43	c  679s |      20 |  1736405 |   729127 |    38245     36 |     6505 |        0
682.28/682.47	c  681s |      20 |  1739817 |   731627 |    38245     36 |     6505 |        0
684.38/684.59	c  683s |      20 |  1743588 |   734427 |    38245     36 |     6505 |        0
686.48/686.61	c  686s |      20 |  1747847 |   736227 |    38245     36 |     6505 |        0
688.59/688.74	c  688s |      20 |  1751638 |   738327 |    38245     36 |     6505 |        0
690.58/690.75	c  690s |      20 |  1754619 |   740127 |    38245     36 |     6505 |        0
692.58/692.75	c  692s |      20 |  1758486 |   741927 |    38245     36 |     6505 |        0
694.68/694.81	c  694s |      20 |  1763056 |   743327 |    38245     36 |     6505 |        0
696.68/696.86	c  696s |      20 |  1766236 |   745427 |    38245     36 |     6505 |        0
698.78/698.92	c  698s |      20 |  1768367 |   746827 |    38245     36 |     6505 |        0
700.88/701.08	c  700s |      20 |  1770021 |   747927 |    38245     36 |     6505 |        0
703.09/703.29	c  702s |      20 |  1771898 |   749127 |    38245     37 |     6505 |        0
705.19/705.35	c  704s |      20 |  1773618 |   750227 |    38245     37 |     6505 |        0
707.29/707.45	c  706s |      20 |  1776705 |   752027 |    38245     37 |     6505 |        0
709.29/709.50	c  708s |      20 |  1779407 |   753827 |    38245     37 |     6505 |        0
711.39/711.52	c  710s |      20 |  1784771 |   755727 |    38245     37 |     6505 |        0
713.39/713.53	c  712s |      20 |  1787757 |   757727 |    38245     37 |     6505 |        0
715.49/715.60	c  714s |      20 |  1790227 |   759327 |    38245     37 |     6505 |        0
717.48/717.62	c  717s |      20 |  1792692 |   760827 |    38245     37 |     6505 |        0
719.48/719.68	c  719s |      20 |  1795398 |   762527 |    38245     37 |     6505 |        0
721.49/721.70	c  721s |      20 |  1798815 |   764227 |    38245     37 |     6505 |        0
723.58/723.71	c  723s |      20 |  1801734 |   765727 |    38245     37 |     6505 |        0
725.68/725.82	c  725s |      20 |  1805619 |   767427 |    38245     37 |     6505 |        0
727.88/728.04	c  727s |      20 |  1807968 |   768827 |    38245     37 |     6505 |        0
729.98/730.11	c  729s |      20 |  1809681 |   769927 |    38245     37 |     6505 |        0
731.98/732.16	c  731s |      20 |  1812018 |   771227 |    38245     37 |     6505 |        0
733.98/734.17	c  733s |      20 |  1814977 |   772627 |    38245     37 |     6505 |        0
736.38/736.51	c  735s |      20 |  1816705 |   774127 |    38245     38 |     6505 |        0
738.38/738.54	c  737s |      20 |  1819159 |   775827 |    38245     38 |     6505 |        0
747.17/747.34	c  746s |      20 |  1822631 |   777027 |    38245     38 |     6505 |        0
749.17/749.39	c  748s |      20 |  1827831 |   778927 |    38245     38 |     6505 |        0
751.28/751.41	c  750s |      20 |  1831677 |   780727 |    38245     38 |     6505 |        0
753.27/753.50	c  752s |      20 |  1836353 |   782427 |    38245     38 |     6505 |        0
755.37/755.57	c  754s |      20 |  1840568 |   784127 |    38245     38 |     6505 |        0
757.47/757.68	c  757s |      20 |  1845292 |   786027 |    38245     38 |     6505 |        0
759.47/759.69	c  759s |      20 |  1849581 |   787727 |    38245     38 |     6505 |        0
761.57/761.72	c  761s |      20 |  1854180 |   789327 |    38245     38 |     6505 |        0
763.67/763.80	c  763s |      20 |  1858956 |   791027 |    38245     38 |     6505 |        0
765.67/765.87	c  765s |      20 |  1863483 |   792627 |    38245     38 |     6505 |        0
767.78/767.95	c  767s |      20 |  1867590 |   794127 |    38245     38 |     6505 |        0
769.88/770.09	c  769s |      20 |  1870695 |   795427 |    38245     38 |     6505 |        0
771.97/772.17	c  771s |      20 |  1873882 |   796727 |    38245     38 |     6505 |        0
774.07/774.29	c  773s |      20 |  1877775 |   798027 |    38245     38 |     6505 |        0
776.97/777.19	c  776s |      20 |  1880646 |   799127 |    38245     39 |     6505 |        0
778.97/779.19	c  778s |      20 |  1885082 |   800827 |    38245     39 |     6505 |        0
781.17/781.31	c  780s |      20 |  1890256 |   802527 |    38245     39 |     6505 |        0
783.28/783.49	c  782s |      20 |  1892913 |   803327 |    38245     39 |     6505 |        0
785.38/785.58	c  784s |      20 |  1896290 |   804827 |    38245     39 |     6505 |        0
787.48/787.68	c  787s |      20 |  1900731 |   806427 |    38245     39 |     6505 |        0
789.57/789.76	c  789s |      20 |  1904695 |   808027 |    38245     39 |     6505 |        0
791.67/791.84	c  791s |      20 |  1908590 |   809527 |    38245     39 |     6505 |        0
793.67/793.88	c  793s |      20 |  1912959 |   810927 |    38245     39 |     6505 |        0
795.77/795.96	c  795s |      20 |  1915407 |   811927 |    38245     39 |     6505 |        0
797.77/797.99	c  797s |      20 |  1918809 |   813427 |    38245     39 |     6505 |        0
799.97/800.11	c  799s |      20 |  1922360 |   814727 |    38245     39 |     6505 |        0
802.07/802.21	c  801s |      20 |  1926622 |   816027 |    38245     39 |     6505 |        0
804.08/804.27	c  803s |      20 |  1930053 |   817227 |    38245     39 |     6505 |        0
806.18/806.40	c  805s |      20 |  1933576 |   818427 |    38245     39 |     6505 |        0
808.27/808.40	c  807s |      20 |  1936968 |   819527 |    38245     39 |     6505 |        0
810.27/810.44	c  809s |      20 |  1940466 |   820627 |    38245     39 |     6505 |        0
812.27/812.46	c  811s |      20 |  1943919 |   821727 |    38245     39 |     6505 |        0
815.17/815.37	c  814s |      20 |  1944617 |   822127 |    38245     39 |     6505 |        0
817.17/817.38	c  816s |      20 |  1946697 |   823327 |    38245     39 |     6505 |        0
820.16/820.33	c  819s |      20 |  1948015 |   824127 |    38245     40 |     6505 |        0
822.46/822.63	c  822s |      20 |  1950823 |   826427 |    38245     40 |     6505 |        0
825.86/826.03	c  825s |      20 |  1950967 |   826527 |    38245     40 |     6505 |        0
827.96/828.19	c  827s |      20 |  1953423 |   828327 |    38245     40 |     6505 |        0
830.06/830.25	c  829s |      20 |  1957809 |   831727 |    38245     40 |     6505 |        0
832.16/832.31	c  831s |      20 |  1961644 |   834527 |    38245     40 |     6505 |        0
834.16/834.36	c  833s |      20 |  1964955 |   836527 |    38245     40 |     6505 |        0
836.16/836.38	c  835s |      20 |  1967955 |   838727 |    38245     40 |     6505 |        0
838.36/838.54	c  837s |      20 |  1970525 |   840627 |    38245     40 |     6505 |        0
840.37/840.54	c  839s |      20 |  1972642 |   842227 |    38245     40 |     6505 |        0
842.36/842.55	c  841s |      20 |  1975197 |   844227 |    38245     40 |     6505 |        0
844.36/844.55	c  843s |      20 |  1977724 |   846227 |    38245     40 |     6505 |        0
846.37/846.59	c  845s |      20 |  1980384 |   848327 |    38245     40 |     6505 |        0
848.47/848.62	c  848s |      20 |  1982274 |   849627 |    38245     41 |     6505 |        0
850.86/851.05	c  850s |      20 |  1983406 |   850427 |    38245     41 |     6505 |        0
852.96/853.11	c  852s |      20 |  1986062 |   852527 |    38245     41 |     6505 |        0
854.96/855.11	c  854s |      20 |  1988185 |   854227 |    38245     41 |     6505 |        0
856.96/857.13	c  856s |      20 |  1990274 |   856027 |    38245     41 |     6505 |        0
858.97/859.17	c  858s |      20 |  1992287 |   857327 |    38245     41 |     6505 |        0
861.06/861.28	c  860s |      20 |  1994453 |   859027 |    38245     41 |     6505 |        0
863.16/863.30	c  862s |      20 |  1996392 |   860627 |    38245     41 |     6505 |        0
865.16/865.39	c  864s |      20 |  1998432 |   862327 |    38245     41 |     6505 |        0
867.26/867.50	c  866s |      20 |  2000121 |   863527 |    38245     41 |     6505 |        0
869.36/869.57	c  868s |      20 |  2002068 |   865027 |    38245     41 |     6505 |        0
871.46/871.65	c  871s |      20 |  2003923 |   866627 |    38245     41 |     6505 |        0
873.56/873.74	c  873s |      20 |  2005846 |   868127 |    38245     41 |     6505 |        0
875.57/875.79	c  875s |      20 |  2007454 |   869427 |    38245     41 |     6505 |        0
877.67/877.88	c  877s |      20 |  2009291 |   870927 |    38245     41 |     6505 |        0
879.76/879.90	c  879s |      20 |  2010859 |   872127 |    38245     41 |     6505 |        0
881.76/881.97	c  881s |      20 |  2012471 |   873527 |    38245     41 |     6505 |        0
883.86/884.05	c  883s |      20 |  2013577 |   874227 |    38245     42 |     6505 |        0
885.96/886.12	c  885s |      20 |  2015250 |   875427 |    38245     42 |     6505 |        0
887.96/888.15	c  887s |      20 |  2017522 |   876927 |    38245     42 |     6505 |        0
890.06/890.23	c  889s |      20 |  2017964 |   877227 |    38245     42 |     6505 |        0
892.06/892.28	c  891s |      20 |  2020336 |   879227 |    38245     42 |     6505 |        0
894.16/894.36	c  893s |      20 |  2022595 |   881227 |    38245     42 |     6505 |        0
896.25/896.44	c  895s |      20 |  2024867 |   883227 |    38245     42 |     6505 |        0
898.35/898.52	c  897s |      20 |  2026944 |   885127 |    38245     42 |     6505 |        0
900.45/900.62	c  900s |      20 |  2028992 |   886927 |    38245     42 |     6505 |        0
916.85/917.09	c  916s |      20 |  2030137 |   887927 |    38245     42 |     6505 |        0
918.95/919.15	c  918s |      20 |  2032344 |   889127 |    38245     42 |     6505 |        0
920.95/921.20	c  920s |      20 |  2034259 |   890527 |    38245     42 |     6505 |        0
923.15/923.39	c  922s |      20 |  2035709 |   891427 |    38245     42 |     6505 |        0
925.35/925.53	c  924s |      20 |  2036853 |   892227 |    38245     42 |     6505 |        0
927.35/927.54	c  926s |      20 |  2038355 |   893127 |    38245     42 |     6505 |        0
929.46/929.64	c  929s |      20 |  2039591 |   893927 |    38245     42 |     6505 |        0
931.66/931.85	c  931s |      20 |  2041097 |   894827 |    38245     42 |     6505 |        0
933.95/934.15	c  933s |      20 |  2042120 |   895627 |    38245     42 |     6505 |        0
936.25/936.44	c  935s |      20 |  2043537 |   896527 |    38245     42 |     6505 |        0
938.35/938.57	c  937s |      20 |  2044866 |   897327 |    38245     42 |     6505 |        0
940.45/940.65	c  940s |      20 |  2046670 |   898427 |    38245     42 |     6505 |        0
942.75/942.93	c  942s |      20 |  2048155 |   899527 |    38245     43 |     6505 |        0
945.35/945.52	c  944s |      20 |  2048283 |   899627 |    38245     43 |     6505 |        0
947.45/947.62	c  947s |      20 |  2051286 |   901327 |    38245     43 |     6505 |        0
949.45/949.69	c  949s |      20 |  2055084 |   903427 |    38245     43 |     6505 |        0
951.55/951.79	c  951s |      20 |  2057904 |   905227 |    38245     43 |     6505 |        0
953.66/953.81	c  953s |      20 |  2060562 |   907027 |    38245     43 |     6505 |        0
955.65/955.84	c  955s |      20 |  2063829 |   908927 |    38245     43 |     6505 |        0
957.75/957.96	c  957s |      20 |  2065888 |   910327 |    38245     43 |     6505 |        0
959.75/959.99	c  959s |      20 |  2068673 |   911927 |    38245     43 |     6505 |        0
961.85/962.09	c  961s |      20 |  2070854 |   913327 |    38245     43 |     6505 |        0
964.05/964.23	c  963s |      20 |  2073002 |   914927 |    38245     43 |     6505 |        0
966.15/966.39	c  965s |      20 |  2075249 |   916427 |    38245     43 |     6505 |        0
968.25/968.49	c  967s |      20 |  2077641 |   917827 |    38245     43 |     6505 |        0
972.54/972.72	c  972s |      20 |  2077807 |   917927 |    38245     43 |     6505 |        0
974.54/974.77	c  974s |      20 |  2080229 |   919427 |    38245     43 |     6505 |        0
976.54/976.80	c  976s |      20 |  2082261 |   920827 |    38245     43 |     6505 |        0
978.74/978.91	c  978s |      20 |  2085006 |   922427 |    38245     43 |     6505 |        0
980.74/980.93	c  980s |      20 |  2086918 |   923727 |    38245     43 |     6505 |        0
982.75/982.96	c  982s |      20 |  2089174 |   925327 |    38245     44 |     6505 |        0
985.14/985.34	c  984s |      20 |  2091686 |   926827 |    38245     44 |     6505 |        0
992.34/992.59	c  991s |      20 |  2093923 |   928627 |    38245     44 |     6505 |        0
1001.34/1001.53	c 1000s |      20 |  2095152 |   929727 |    38245     44 |     6505 |        0
1005.35/1005.51	c 1004s |      20 |  2095351 |   929827 |    38245     44 |     6505 |        0
1007.34/1007.53	c 1006s |      20 |  2100182 |   932327 |    38245     44 |     6505 |        0
1009.34/1009.56	c 1008s |      20 |  2102480 |   933827 |    38245     44 |     6505 |        0
1011.44/1011.66	c 1011s |      20 |  2107363 |   936927 |    38245     44 |     6505 |        0
1013.54/1013.73	c 1013s |      20 |  2110945 |   939327 |    38245     44 |     6505 |        0
1015.54/1015.74	c 1015s |      20 |  2114234 |   941327 |    38245     44 |     6505 |        0
1017.54/1017.75	c 1017s |      20 |  2118424 |   943527 |    38245     44 |     6505 |        0
1019.54/1019.80	c 1019s |      20 |  2122405 |   945927 |    38245     44 |     6505 |        0
1021.64/1021.80	c 1021s |      20 |  2125221 |   948027 |    38245     44 |     6505 |        0
1024.44/1024.66	c 1024s |      20 |  2127827 |   949627 |    38245     45 |     6505 |        0
1026.54/1026.70	c 1026s |      20 |  2133834 |   952027 |    38245     45 |     6505 |        0
1029.73/1029.92	c 1029s |      20 |  2135827 |   953127 |    38245     45 |     6505 |        0
1031.74/1031.94	c 1031s |      20 |  2140283 |   956327 |    38245     45 |     6505 |        0
1033.73/1033.99	c 1033s |      20 |  2145044 |   959127 |    38245     45 |     6505 |        0
1035.73/1035.99	c 1035s |      20 |  2149804 |   961927 |    38245     45 |     6505 |        0
1037.83/1038.07	c 1037s |      20 |  2154378 |   964627 |    38245     45 |     6505 |        0
1039.93/1040.11	c 1039s |      20 |  2157794 |   967127 |    38245     45 |     6505 |        0
1042.03/1042.24	c 1041s |      20 |  2161672 |   969627 |    38245     45 |     6505 |        0
1044.03/1044.29	c 1043s |      20 |  2165115 |   971927 |    38245     45 |     6505 |        0
1046.43/1046.60	c 1045s |      20 |  2167888 |   973727 |    38245     45 |     6505 |        0
1048.63/1048.84	c 1048s |      20 |  2169854 |   974927 |    38245     46 |     6505 |        0
1050.63/1050.89	c 1050s |      20 |  2175624 |   977227 |    38245     46 |     6505 |        0
1052.73/1052.90	c 1052s |      20 |  2176987 |   978027 |    38245     46 |     6505 |        0
1054.73/1054.94	c 1054s |      20 |  2179212 |   979427 |    38245     46 |     6505 |        0
1056.73/1056.96	c 1056s |      20 |  2182877 |   981627 |    38245     46 |     6505 |        0
1058.73/1058.99	c 1058s |      20 |  2187141 |   983827 |    38245     46 |     6505 |        0
1060.93/1061.11	c 1060s |      20 |  2190718 |   986127 |    38245     46 |     6505 |        0
1063.83/1064.03	c 1063s |      20 |  2194781 |   987627 |    38245     46 |     6505 |        0
1065.83/1066.08	c 1065s |      20 |  2199543 |   989427 |    38245     46 |     6505 |        0
1067.93/1068.19	c 1067s |      20 |  2204361 |   991127 |    38245     46 |     6505 |        0
1070.02/1070.27	c 1069s |      20 |  2209118 |   992827 |    38245     46 |     6505 |        0
1072.12/1072.31	c 1071s |      20 |  2213256 |   994327 |    42070     46 |     6505 |        0
1074.12/1074.34	c 1073s |      20 |  2217476 |   995827 |    42070     46 |     6505 |        0
1076.12/1076.34	c 1075s |      20 |  2220862 |   997527 |    42070     46 |     6505 |        0
1078.12/1078.34	c 1077s |      20 |  2224221 |   999827 |    42070     46 |     6505 |        0
1078.82/1079.02	c 1078s |      21 |  2225023 |  1000345 |    42070     46 |     6505 |        0
1080.83/1081.06	c 1080s |      21 |  2227153 |  1002045 |    42070     47 |     6505 |        0
1082.83/1083.07	c 1082s |      21 |  2233266 |  1006145 |    42070     47 |     6505 |        0
1084.93/1085.11	c 1084s |      21 |  2243318 |  1010045 |    42070     47 |     6505 |        0
1086.93/1087.16	c 1086s |      21 |  2250568 |  1013545 |    42070     47 |     6505 |        0
1088.94/1089.18	c 1088s |      21 |  2256497 |  1016845 |    42070     47 |     6505 |        0
1090.93/1091.20	c 1090s |      21 |  2261677 |  1019745 |    42070     47 |     6505 |        0
1093.03/1093.21	c 1092s |      21 |  2266782 |  1022545 |    42070     47 |     6505 |        0
1095.03/1095.23	c 1094s |      21 |  2271955 |  1024845 |    42070     48 |     6505 |        0
1097.13/1097.31	c 1096s |      21 |  2275173 |  1026645 |    42070     48 |     6505 |        0
1099.13/1099.34	c 1098s |      21 |  2278596 |  1028545 |    42070     48 |     6505 |        0
1101.23/1101.44	c 1100s |      21 |  2283225 |  1030845 |    42070     48 |     6505 |        0
1103.33/1103.54	c 1102s |      21 |  2287332 |  1033045 |    42070     48 |     6505 |        0
1105.43/1105.62	c 1105s |      21 |  2291587 |  1035045 |    42070     48 |     6505 |        0
1107.42/1107.63	c 1107s |      21 |  2294006 |  1036645 |    42070     48 |     6505 |        0
1109.52/1109.71	c 1109s |      21 |  2296710 |  1038545 |    42070     48 |     6505 |        0
1111.62/1111.81	c 1111s |      21 |  2299468 |  1040445 |    42070     48 |     6505 |        0
1113.72/1113.93	c 1113s |      21 |  2302128 |  1042245 |    42070     48 |     6505 |        0
1115.82/1116.01	c 1115s |      21 |  2304881 |  1043745 |    42070     48 |     6505 |        0
1117.82/1118.01	c 1117s |      21 |  2307008 |  1045045 |    42070     48 |     6505 |        0
1119.82/1120.03	c 1119s |      21 |  2310291 |  1047045 |    42070     48 |     6505 |        0
1121.83/1122.08	c 1121s |      21 |  2313787 |  1048845 |    42070     49 |     6505 |        0
1124.22/1124.40	c 1123s |      21 |  2315084 |  1049545 |    42070     49 |     6505 |        0
1126.23/1126.47	c 1125s |      21 |  2317955 |  1051745 |    42070     49 |     6505 |        0
1128.43/1128.65	c 1128s |      21 |  2320985 |  1053645 |    42070     49 |     6505 |        0
1130.52/1130.80	c 1130s |      21 |  2323438 |  1054945 |    42070     49 |     6505 |        0
1133.32/1133.56	c 1132s |      21 |  2323779 |  1055145 |    42070     49 |     6505 |        0
1135.42/1135.61	c 1135s |      21 |  2327297 |  1057445 |    42070     49 |     6505 |        0
1137.42/1137.65	c 1137s |      21 |  2329242 |  1058745 |    42070     49 |     6505 |        0
1139.42/1139.69	c 1139s |      21 |  2332996 |  1060345 |    42070     49 |     6505 |        0
1141.52/1141.70	c 1141s |      21 |  2336183 |  1061945 |    42070     49 |     6505 |        0
1143.62/1143.81	c 1143s |      21 |  2339068 |  1063245 |    42070     49 |     6505 |        0
1145.62/1145.88	c 1145s |      21 |  2341751 |  1065145 |    42070     49 |     6505 |        0
1147.72/1147.90	c 1147s |      21 |  2344200 |  1066945 |    42070     49 |     6505 |        0
1149.72/1149.92	c 1149s |      21 |  2346214 |  1068445 |    42070     49 |     6505 |        0
1151.71/1151.97	c 1151s |      21 |  2348576 |  1070145 |    42070     49 |     6505 |        0
1153.72/1153.99	c 1153s |      21 |  2351109 |  1071845 |    42070     49 |     6505 |        0
1155.81/1156.00	c 1155s |      21 |  2352480 |  1073045 |    42070     50 |     6505 |        0
1157.81/1158.05	c 1157s |      21 |  2356075 |  1076145 |    42070     50 |     6505 |        0
1165.02/1165.20	c 1164s |      21 |  2356979 |  1076845 |    42070     50 |     6505 |        0
1167.02/1167.28	c 1166s |      21 |  2360039 |  1078945 |    42070     50 |     6505 |        0
1169.12/1169.31	c 1168s |      21 |  2363953 |  1081245 |    42070     50 |     6505 |        0
1171.11/1171.33	c 1170s |      21 |  2368854 |  1083845 |    42070     50 |     6505 |        0
1173.11/1173.38	c 1172s |      21 |  2372536 |  1086545 |    42070     50 |     6505 |        0
1175.21/1175.40	c 1174s |      21 |  2376147 |  1089045 |    42070     50 |     6505 |        0
1177.21/1177.46	c 1176s |      21 |  2380439 |  1091545 |    42070     50 |     6505 |        0
1179.31/1179.50	c 1178s |      21 |  2384440 |  1094145 |    42070     50 |     6505 |        0
1181.32/1181.54	c 1180s |      21 |  2388425 |  1096445 |    42070     50 |     6505 |        0
1183.81/1184.03	c 1183s |      21 |  2390895 |  1098245 |    42070     51 |     6505 |        0
1185.81/1186.03	c 1185s |      21 |  2395230 |  1100945 |    42070     51 |     6505 |        0
1187.82/1188.09	c 1187s |      21 |  2400091 |  1103545 |    42070     51 |     6505 |        0
1189.91/1190.16	c 1189s |      21 |  2403930 |  1106045 |    42070     51 |     6505 |        0
1192.01/1192.25	c 1191s |      21 |  2407884 |  1108345 |    42070     51 |     6505 |        0
1194.11/1194.31	c 1193s |      21 |  2414187 |  1110845 |    42070     51 |     6505 |        0
1196.11/1196.36	c 1195s |      21 |  2420561 |  1113545 |    42070     51 |     6505 |        0
1198.21/1198.42	c 1197s |      21 |  2425319 |  1116245 |    42070     51 |     6505 |        0
1200.21/1200.42	c 1199s |      21 |  2429706 |  1118545 |    42070     51 |     6505 |        0
1202.21/1202.48	c 1201s |      21 |  2434078 |  1120845 |    42070     51 |     6505 |        0
1204.21/1204.49	c 1203s |      21 |  2437763 |  1122945 |    42070     52 |     6505 |        0
1206.31/1206.51	c 1205s |      21 |  2441528 |  1125145 |    42070     52 |     6505 |        0
1208.61/1208.83	c 1208s |      21 |  2445373 |  1127445 |    42070     52 |     6505 |        0
1216.01/1216.27	c 1215s |      21 |  2446199 |  1127945 |    42070     52 |     6505 |        0
1218.01/1218.29	c 1217s |      21 |  2449736 |  1129245 |    42070     52 |     6505 |        0
1220.21/1220.42	c 1219s |      21 |  2452007 |  1130645 |    42070     52 |     6505 |        0
1222.31/1222.56	c 1221s |      21 |  2454190 |  1132045 |    42070     52 |     6505 |        0
1224.41/1224.60	c 1223s |      21 |  2456537 |  1133345 |    42070     52 |     6505 |        0
1226.41/1226.60	c 1225s |      21 |  2458608 |  1134545 |    42070     52 |     6505 |        0
1228.41/1228.62	c 1228s |      21 |  2461593 |  1136545 |    42070     52 |     6505 |        0
1230.41/1230.64	c 1230s |      21 |  2464890 |  1138545 |    42070     52 |     6505 |        0
1232.41/1232.67	c 1232s |      21 |  2468215 |  1140545 |    42070     52 |     6505 |        0
1234.51/1234.73	c 1234s |      21 |  2471148 |  1142145 |    42070     52 |     6505 |        0
1236.61/1236.82	c 1236s |      21 |  2473937 |  1143745 |    42070     52 |     6505 |        0
1238.70/1238.91	c 1238s |      21 |  2476471 |  1145345 |    42070     52 |     6505 |        0
1240.80/1241.02	c 1240s |      21 |  2478244 |  1146445 |    42070     53 |     6505 |        0
1242.81/1243.02	c 1242s |      21 |  2482358 |  1148545 |    42070     53 |     6505 |        0
1244.80/1245.08	c 1244s |      21 |  2486339 |  1150545 |    42070     53 |     6505 |        0
1247.90/1248.16	c 1247s |      21 |  2488464 |  1151345 |    42070     53 |     6505 |        0
1249.90/1250.17	c 1249s |      21 |  2491780 |  1153245 |    42070     53 |     6505 |        0
1252.00/1252.21	c 1251s |      21 |  2495856 |  1155445 |    42070     53 |     6505 |        0
1254.10/1254.30	c 1253s |      21 |  2499673 |  1157445 |    42070     53 |     6505 |        0
1256.10/1256.34	c 1255s |      21 |  2502144 |  1158445 |    42070     53 |     6505 |        0
1258.09/1258.37	c 1257s |      21 |  2506272 |  1160345 |    42070     53 |     6505 |        0
1260.10/1260.39	c 1259s |      21 |  2510082 |  1162045 |    42070     53 |     6505 |        0
1262.20/1262.40	c 1261s |      21 |  2513982 |  1163745 |    42070     53 |     6505 |        0
1264.20/1264.44	c 1263s |      21 |  2517927 |  1165545 |    42070     53 |     6505 |        0
1266.30/1266.53	c 1265s |      21 |  2521463 |  1167145 |    42070     53 |     6505 |        0
1268.40/1268.63	c 1268s |      21 |  2525119 |  1168945 |    42070     53 |     6505 |        0
1278.40/1278.66	c 1278s |      21 |  2527844 |  1170345 |    42070     54 |     6505 |        0
1280.50/1280.70	c 1280s |      21 |  2530850 |  1171945 |    42070     54 |     6505 |        0
1282.51/1282.72	c 1282s |      21 |  2535366 |  1174245 |    42070     54 |     6505 |        0
1284.50/1284.76	c 1284s |      21 |  2539861 |  1176445 |    42070     54 |     6505 |        0
1286.60/1286.83	c 1286s |      21 |  2544179 |  1178545 |    42070     54 |     6505 |        0
1288.70/1288.94	c 1288s |      21 |  2548288 |  1180745 |    42070     54 |     6505 |        0
1290.80/1291.00	c 1290s |      21 |  2552620 |  1182845 |    42070     54 |     6505 |        0
1292.80/1293.05	c 1292s |      21 |  2557049 |  1184745 |    42070     54 |     6505 |        0
1294.80/1295.06	c 1294s |      21 |  2560935 |  1186545 |    42070     54 |     6505 |        0
1296.90/1297.13	c 1296s |      21 |  2564892 |  1188045 |    42070     54 |     6505 |        0
1299.00/1299.22	c 1298s |      21 |  2567759 |  1189645 |    42070     54 |     6505 |        0
1301.00/1301.23	c 1300s |      21 |  2570021 |  1191045 |    42070     54 |     6505 |        0
1303.00/1303.26	c 1302s |      21 |  2572256 |  1192445 |    42070     54 |     6505 |        0
1305.09/1305.37	c 1304s |      21 |  2574858 |  1193545 |    42070     54 |     6505 |        0
1307.29/1307.55	c 1306s |      21 |  2576763 |  1194645 |    42070     55 |     6505 |        0
1309.29/1309.56	c 1308s |      21 |  2579901 |  1196445 |    42070     55 |     6505 |        0
1312.59/1312.82	c 1312s |      21 |  2580223 |  1196545 |    42070     55 |     6505 |        0
1314.59/1314.86	c 1314s |      21 |  2584462 |  1198245 |    42070     55 |     6505 |        0
1316.69/1316.91	c 1316s |      21 |  2589659 |  1200245 |    42070     55 |     6505 |        0
1318.69/1318.91	c 1318s |      21 |  2593553 |  1202145 |    42070     55 |     6505 |        0
1320.69/1320.93	c 1320s |      21 |  2596798 |  1204145 |    42070     55 |     6505 |        0
1322.79/1323.03	c 1322s |      21 |  2600090 |  1206145 |    42070     55 |     6505 |        0
1324.79/1325.06	c 1324s |      21 |  2603603 |  1207945 |    42070     55 |     6505 |        0
1326.78/1327.08	c 1326s |      21 |  2606791 |  1209945 |    42070     55 |     6505 |        0
1328.88/1329.15	c 1328s |      21 |  2610478 |  1211645 |    42070     55 |     6505 |        0
1330.89/1331.19	c 1330s |      21 |  2613572 |  1213545 |    42070     55 |     6505 |        0
1332.99/1333.29	c 1332s |      21 |  2618318 |  1215445 |    42070     55 |     6505 |        0
1335.08/1335.40	c 1334s |      21 |  2621812 |  1217245 |    42070     55 |     6505 |        0
1337.18/1337.45	c 1336s |      21 |  2625214 |  1218845 |    42070     55 |     6505 |        0
1344.19/1344.47	c 1343s |      21 |  2627402 |  1219945 |    42070     56 |     6505 |        0
1346.19/1346.49	c 1345s |      21 |  2632951 |  1222345 |    42070     56 |     6505 |        0
1348.29/1348.55	c 1347s |      21 |  2638660 |  1224645 |    42070     56 |     6505 |        0
1350.28/1350.59	c 1349s |      21 |  2642819 |  1226845 |    42070     56 |     6505 |        0
1354.18/1354.49	c 1353s |      21 |  2646936 |  1228545 |    42070     56 |     6505 |        0
1356.28/1356.50	c 1355s |      21 |  2650526 |  1230145 |    42070     56 |     6505 |        0
1358.29/1358.51	c 1357s |      21 |  2653806 |  1231845 |    42070     56 |     6505 |        0
1360.28/1360.53	c 1359s |      21 |  2656851 |  1233345 |    42070     56 |     6505 |        0
1362.28/1362.60	c 1361s |      21 |  2660714 |  1234945 |    42070     56 |     6505 |        0
1364.38/1364.60	c 1363s |      21 |  2663811 |  1236545 |    42070     56 |     6505 |        0
1366.48/1366.70	c 1366s |      21 |  2667339 |  1237945 |    42070     56 |     6505 |        0
1368.48/1368.77	c 1368s |      21 |  2669838 |  1239545 |    42070     56 |     6505 |        0
1370.58/1370.86	c 1370s |      21 |  2672842 |  1241145 |    42070     56 |     6505 |        0
1372.69/1372.91	c 1372s |      21 |  2675475 |  1242745 |    42070     56 |     6505 |        0
1374.68/1374.95	c 1374s |      21 |  2678275 |  1243745 |    42070     57 |     6505 |        0
1376.78/1377.03	c 1376s |      21 |  2680791 |  1245345 |    42070     57 |     6505 |        0
1378.78/1379.04	c 1378s |      21 |  2683918 |  1246745 |    42070     57 |     6505 |        0
1380.78/1381.08	c 1380s |      21 |  2687056 |  1248145 |    42070     57 |     6505 |        0
1382.98/1383.25	c 1382s |      21 |  2691300 |  1249545 |    42070     57 |     6505 |        0
1384.98/1385.27	c 1384s |      21 |  2693816 |  1250945 |    42070     57 |     6505 |        0
1387.18/1387.42	c 1386s |      21 |  2696631 |  1252345 |    42070     57 |     6505 |        0
1389.18/1389.42	c 1388s |      21 |  2699338 |  1253545 |    42070     57 |     6505 |        0
1391.28/1391.54	c 1390s |      21 |  2701844 |  1254945 |    42070     57 |     6505 |        0
1394.38/1394.61	c 1394s |      21 |  2702712 |  1255545 |    42070     57 |     6505 |        0
1396.38/1396.68	c 1396s |      21 |  2705775 |  1257045 |    42070     57 |     6505 |        0
1398.58/1398.87	c 1398s |      21 |  2709536 |  1258945 |    42070     57 |     6505 |        0
1400.68/1400.98	c 1400s |      21 |  2713431 |  1260745 |    42070     57 |     6505 |        0
1402.68/1402.98	c 1402s |      21 |  2716533 |  1262445 |    42070     57 |     6505 |        0
1404.78/1405.00	c 1404s |      21 |  2719489 |  1263845 |    42070     57 |     6505 |        0
1406.79/1407.07	c 1406s |      21 |  2722063 |  1265545 |    42070     57 |     6505 |        0
1408.78/1409.07	c 1408s |      21 |  2724470 |  1267245 |    42070     57 |     6505 |        0
1410.88/1411.12	c 1410s |      21 |  2726570 |  1268345 |    42070     58 |     6505 |        0
1412.97/1413.21	c 1412s |      21 |  2729525 |  1269845 |    42070     58 |     6505 |        0
1414.97/1415.29	c 1414s |      21 |  2734148 |  1271845 |    42070     58 |     6505 |        0
1417.07/1417.35	c 1416s |      21 |  2739515 |  1274045 |    42070     58 |     6505 |        0
1419.07/1419.39	c 1418s |      21 |  2744147 |  1276145 |    42070     58 |     6505 |        0
1421.17/1421.42	c 1420s |      21 |  2747662 |  1278245 |    42070     58 |     6505 |        0
1423.28/1423.54	c 1422s |      21 |  2751101 |  1280045 |    42070     58 |     6505 |        0
1425.38/1425.68	c 1425s |      21 |  2753651 |  1281645 |    42070     58 |     6505 |        0
1427.48/1427.74	c 1427s |      21 |  2756156 |  1283545 |    42070     58 |     6505 |        0
1437.78/1438.03	c 1437s |      21 |  2757613 |  1284845 |    42070     58 |     6505 |        0
1441.77/1442.09	c 1441s |      21 |  2759590 |  1285845 |    42070     58 |     6505 |        0
1443.97/1444.21	c 1443s |      21 |  2762426 |  1287345 |    42070     58 |     6505 |        0
1446.07/1446.31	c 1445s |      21 |  2764592 |  1288545 |    42070     58 |     6505 |        0
1448.17/1448.42	c 1447s |      21 |  2766802 |  1289945 |    42070     58 |     6505 |        0
1450.37/1450.66	c 1450s |      21 |  2769834 |  1291345 |    42070     58 |     6505 |        0
1452.37/1452.66	c 1452s |      21 |  2771908 |  1292445 |    42070     59 |     6505 |        0
1455.37/1455.60	c 1454s |      21 |  2773189 |  1293145 |    42070     59 |     6505 |        0
1457.37/1457.66	c 1457s |      21 |  2776418 |  1294845 |    42070     59 |     6505 |        0
1459.37/1459.70	c 1459s |      21 |  2779922 |  1296845 |    42070     59 |     6505 |        0
1461.57/1461.80	c 1461s |      21 |  2783712 |  1298645 |    42070     59 |     6505 |        0
1463.57/1463.88	c 1463s |      21 |  2786424 |  1300145 |    42070     59 |     6505 |        0
1474.56/1474.86	c 1474s |      21 |  2787545 |  1300645 |    42070     59 |     6505 |        0
1476.66/1476.91	c 1476s |      21 |  2790467 |  1302745 |    42070     59 |     6505 |        0
1478.66/1478.97	c 1478s |      21 |  2793675 |  1305145 |    42070     59 |     6505 |        0
1480.76/1481.08	c 1480s |      21 |  2797409 |  1306945 |    42070     59 |     6505 |        0
1482.87/1483.11	c 1482s |      21 |  2799821 |  1308145 |    42070     59 |     6505 |        0
1484.88/1485.18	c 1484s |      21 |  2802208 |  1309245 |    42070     59 |     6505 |        0
1486.98/1487.26	c 1486s |      21 |  2804837 |  1310845 |    42070     59 |     6505 |        0
1489.07/1489.30	c 1488s |      21 |  2806716 |  1311945 |    42070     59 |     6505 |        0
1491.07/1491.39	c 1490s |      21 |  2809632 |  1313545 |    42070     59 |     6505 |        0
1493.17/1493.41	c 1492s |      21 |  2812251 |  1315245 |    42070     59 |     6505 |        0
1495.97/1496.24	c 1495s |      21 |  2814767 |  1316745 |    42070     60 |     6505 |        0
1498.07/1498.31	c 1497s |      21 |  2817155 |  1318345 |    42070     60 |     6505 |        0
1500.07/1500.39	c 1499s |      21 |  2820868 |  1320345 |    42070     60 |     6505 |        0
1503.36/1503.63	c 1503s |      21 |  2822781 |  1321445 |    42070     60 |     6505 |        0
1505.36/1505.67	c 1505s |      21 |  2825547 |  1323045 |    42070     60 |     6505 |        0
1507.46/1507.70	c 1507s |      21 |  2829312 |  1324945 |    42070     60 |     6505 |        0
1509.56/1509.81	c 1509s |      21 |  2833665 |  1326745 |    42070     60 |     6505 |        0
1511.66/1511.90	c 1511s |      21 |  2838262 |  1328645 |    42070     60 |     6505 |        0
1513.66/1513.95	c 1513s |      21 |  2842195 |  1330545 |    42070     60 |     6505 |        0
1515.67/1515.99	c 1515s |      21 |  2845677 |  1332245 |    42070     60 |     6505 |        0
1517.77/1518.05	c 1517s |      21 |  2849525 |  1334245 |    42070     60 |     6505 |        0
1519.76/1520.09	c 1519s |      21 |  2852194 |  1335445 |    42070     60 |     6505 |        0
1521.86/1522.12	c 1521s |      21 |  2854503 |  1336745 |    42070     60 |     6505 |        0
1523.86/1524.19	c 1523s |      21 |  2857563 |  1338545 |    42070     60 |     6505 |        0
1529.06/1529.39	c 1528s |      21 |  2859557 |  1339545 |    42070     60 |     6505 |        0
1531.16/1531.42	c 1530s |      21 |  2861916 |  1340845 |    42070     60 |     6505 |        0
1534.36/1534.62	c 1534s |      21 |  2863205 |  1341545 |    42070     61 |     6505 |        0
1536.35/1536.62	c 1536s |      21 |  2866182 |  1343045 |    42070     61 |     6505 |        0
1538.35/1538.67	c 1538s |      21 |  2870080 |  1345445 |    42070     61 |     6505 |        0
1540.45/1540.78	c 1540s |      21 |  2874136 |  1347745 |    42070     61 |     6505 |        0
1542.45/1542.79	c 1542s |      21 |  2877835 |  1349745 |    42070     61 |     6505 |        0
1544.65/1544.91	c 1544s |      21 |  2882415 |  1351945 |    42070     61 |     6505 |        0
1546.65/1546.91	c 1546s |      21 |  2886361 |  1353745 |    42070     61 |     6505 |        0
1548.66/1548.92	c 1548s |      21 |  2890033 |  1355545 |    42070     61 |     6505 |        0
1550.65/1550.96	c 1550s |      21 |  2893372 |  1357345 |    42070     61 |     6505 |        0
1552.76/1553.00	c 1552s |      21 |  2896354 |  1359045 |    42070     61 |     6505 |        0
1554.76/1555.06	c 1554s |      21 |  2899657 |  1360645 |    42070     61 |     6505 |        0
1556.86/1557.10	c 1556s |      21 |  2902186 |  1362345 |    42070     61 |     6505 |        0
1558.86/1559.17	c 1558s |      21 |  2904663 |  1364245 |    42070     61 |     6505 |        0
1560.96/1561.25	c 1560s |      21 |  2907050 |  1365945 |    42070     62 |     6505 |        0
1563.06/1563.32	c 1562s |      21 |  2909881 |  1368245 |    42070     62 |     6505 |        0
1565.25/1565.53	c 1564s |      21 |  2910226 |  1368445 |    42070     62 |     6505 |        0
1567.26/1567.59	c 1566s |      21 |  2913980 |  1370345 |    42070     62 |     6505 |        0
1569.35/1569.61	c 1569s |      21 |  2916549 |  1372545 |    42070     62 |     6505 |        0
1571.45/1571.72	c 1571s |      21 |  2919309 |  1374545 |    42070     62 |     6505 |        0
1573.55/1573.82	c 1573s |      21 |  2921994 |  1376145 |    42070     62 |     6505 |        0
1584.65/1585.00	c 1584s |      21 |  2924070 |  1377145 |    42070     62 |     6505 |        0
1586.75/1587.08	c 1586s |      21 |  2927517 |  1378545 |    42070     62 |     6505 |        0
1588.85/1589.18	c 1588s |      21 |  2931323 |  1379945 |    42070     62 |     6505 |        0
1590.95/1591.27	c 1590s |      21 |  2934034 |  1381345 |    42070     62 |     6505 |        0
1593.05/1593.34	c 1592s |      21 |  2937682 |  1382645 |    42070     62 |     6505 |        0
1595.15/1595.45	c 1594s |      21 |  2940087 |  1383945 |    42070     62 |     6505 |        0
1597.25/1597.54	c 1596s |      21 |  2941943 |  1385245 |    42070     62 |     6505 |        0
1599.35/1599.66	c 1599s |      21 |  2944059 |  1386545 |    42070     62 |     6505 |        0
1601.35/1601.70	c 1601s |      21 |  2946231 |  1387745 |    42070     62 |     6505 |        0
1604.65/1604.98	c 1604s |      21 |  2947595 |  1388645 |    42070     62 |     6505 |        0
1606.65/1606.99	c 1606s |      21 |  2949497 |  1389845 |    42070     62 |     6505 |        0
1608.75/1609.08	c 1608s |      21 |  2952040 |  1391345 |    42070     63 |     6505 |        0
1610.85/1611.16	c 1610s |      21 |  2955079 |  1393245 |    42070     63 |     6505 |        0
1612.95/1613.21	c 1612s |      21 |  2958587 |  1394845 |    42070     63 |     6505 |        0
1621.15/1621.41	c 1620s |      21 |  2959251 |  1395145 |    42070     63 |     6505 |        0
1623.15/1623.42	c 1622s |      21 |  2962306 |  1397045 |    42070     63 |     6505 |        0
1625.15/1625.43	c 1624s |      21 |  2966186 |  1398745 |    42070     63 |     6505 |        0
1627.85/1628.13	c 1627s |      21 |  2966564 |  1398845 |    42070     63 |     6505 |        0
1629.84/1630.19	c 1629s |      21 |  2971843 |  1400445 |    42070     63 |     6505 |        0
1632.04/1632.39	c 1631s |      21 |  2976193 |  1401945 |    42070     63 |     6505 |        0
1634.14/1634.44	c 1633s |      21 |  2978563 |  1403045 |    42070     63 |     6505 |        0
1636.24/1636.54	c 1635s |      21 |  2981478 |  1404945 |    42070     63 |     6505 |        0
1638.24/1638.55	c 1637s |      21 |  2984086 |  1406645 |    42070     63 |     6505 |        0
1640.34/1640.61	c 1640s |      21 |  2986568 |  1408345 |    42070     63 |     6505 |        0
1642.34/1642.63	c 1642s |      21 |  2989158 |  1409945 |    42070     63 |     6505 |        0
1644.35/1644.66	c 1644s |      21 |  2991653 |  1411445 |    42070     63 |     6505 |        0
1646.34/1646.67	c 1646s |      21 |  2993600 |  1412845 |    42070     63 |     6505 |        0
1648.54/1648.84	c 1648s |      21 |  2995776 |  1414245 |    42070     63 |     6505 |        0
1650.64/1650.91	c 1650s |      21 |  2998559 |  1416045 |    42070     64 |     6505 |        0
1652.63/1652.93	c 1652s |      21 |  3001439 |  1417745 |    42070     64 |     6505 |        0
1655.43/1655.72	c 1655s |      21 |  3002958 |  1418745 |    42070     64 |     6505 |        0
1657.63/1657.99	c 1657s |      21 |  3008110 |  1421245 |    42070     64 |     6505 |        0
1659.74/1660.00	c 1659s |      21 |  3012659 |  1423645 |    42070     64 |     6505 |        0
1661.73/1662.04	c 1661s |      21 |  3016422 |  1425845 |    42070     64 |     6505 |        0
1663.83/1664.12	c 1663s |      21 |  3020628 |  1427745 |    42070     64 |     6505 |        0
1665.83/1666.18	c 1665s |      21 |  3023630 |  1429445 |    42070     64 |     6505 |        0
1667.93/1668.22	c 1667s |      21 |  3026378 |  1431345 |    42070     64 |     6505 |        0
1669.93/1670.29	c 1669s |      21 |  3029210 |  1433045 |    42070     64 |     6505 |        0
1672.02/1672.37	c 1671s |      21 |  3032856 |  1434945 |    42070     64 |     6505 |        0
1674.03/1674.38	c 1673s |      21 |  3036497 |  1436845 |    42070     64 |     6505 |        0
1676.13/1676.45	c 1675s |      21 |  3039550 |  1438645 |    42070     64 |     6505 |        0
1678.12/1678.47	c 1677s |      21 |  3042379 |  1440445 |    42070     65 |     6505 |        0
1680.22/1680.51	c 1679s |      21 |  3044346 |  1441845 |    42070     65 |     6505 |        0
1682.22/1682.53	c 1681s |      21 |  3045177 |  1442345 |    42070     65 |     6505 |        0
1684.22/1684.59	c 1683s |      21 |  3050164 |  1444245 |    42070     65 |     6505 |        0
1686.32/1686.67	c 1686s |      21 |  3056190 |  1446245 |    42070     65 |     6505 |        0
1688.42/1688.77	c 1688s |      21 |  3060979 |  1448045 |    42070     65 |     6505 |        0
1690.52/1690.82	c 1690s |      21 |  3064511 |  1449645 |    42070     65 |     6505 |        0
1692.51/1692.83	c 1692s |      21 |  3067802 |  1451245 |    42070     65 |     6505 |        0
1694.51/1694.83	c 1694s |      21 |  3070880 |  1452745 |    42070     65 |     6505 |        0
1696.51/1696.87	c 1696s |      21 |  3074062 |  1454145 |    42070     65 |     6505 |        0
1698.60/1698.97	c 1698s |      21 |  3076926 |  1455645 |    42070     65 |     6505 |        0
1700.70/1701.03	c 1700s |      21 |  3080744 |  1457145 |    42070     65 |     6505 |        0
1702.70/1703.05	c 1702s |      21 |  3083495 |  1458445 |    42070     65 |     6505 |        0
1704.81/1705.15	c 1704s |      21 |  3086829 |  1459945 |    42070     65 |     6505 |        0
1707.01/1707.35	c 1706s |      21 |  3088991 |  1461145 |    42070     65 |     6505 |        0
1709.21/1709.54	c 1708s |      21 |  3091550 |  1462145 |    42070     65 |     6505 |        0
1711.61/1711.99	c 1711s |      21 |  3093677 |  1463245 |    42070     66 |     6505 |        0
1713.71/1714.01	c 1713s |      21 |  3097173 |  1464845 |    42070     66 |     6505 |        0
1715.71/1716.02	c 1715s |      21 |  3102777 |  1467145 |    42070     66 |     6505 |        0
1717.71/1718.03	c 1717s |      21 |  3107631 |  1468945 |    42070     66 |     6505 |        0
1719.70/1720.09	c 1719s |      21 |  3111800 |  1471045 |    42070     66 |     6505 |        0
1721.80/1722.10	c 1721s |      21 |  3115677 |  1472845 |    42070     66 |     6505 |        0
1723.90/1724.20	c 1723s |      21 |  3119351 |  1474945 |    42070     66 |     6505 |        0
1725.90/1726.28	c 1725s |      21 |  3123467 |  1476945 |    42070     66 |     6505 |        0
1728.00/1728.39	c 1727s |      21 |  3127801 |  1478845 |    42070     66 |     6505 |        0
1730.10/1730.45	c 1729s |      21 |  3131132 |  1480345 |    42070     66 |     6505 |        0
1732.20/1732.51	c 1731s |      21 |  3134395 |  1481945 |    42070     66 |     6505 |        0
1734.29/1734.68	c 1734s |      21 |  3135966 |  1482945 |    42070     66 |     6505 |        0
1736.39/1736.71	c 1736s |      21 |  3138482 |  1484245 |    42070     66 |     6505 |        0
1738.39/1738.78	c 1738s |      21 |  3141265 |  1485445 |    42070     66 |     6505 |        0
1740.49/1740.89	c 1740s |      21 |  3143664 |  1486845 |    42070     66 |     6505 |        0
1742.59/1742.93	c 1742s |      21 |  3145681 |  1487845 |    42070     67 |     6505 |        0
1748.89/1749.30	c 1748s |      21 |  3147601 |  1488845 |    42070     67 |     6505 |        0
1751.38/1751.78	c 1751s |      21 |  3148409 |  1489245 |    42070     67 |     6505 |        0
1753.48/1753.85	c 1753s |      21 |  3152701 |  1491545 |    46278     67 |     6505 |        0
1755.58/1755.91	c 1755s |      21 |  3156381 |  1493745 |    46278     67 |     6505 |        0
1757.59/1757.96	c 1757s |      21 |  3161244 |  1495745 |    46278     67 |     6505 |        0
1759.68/1760.00	c 1759s |      21 |  3163924 |  1497345 |    46278     67 |     6505 |        0
1761.68/1762.08	c 1761s |      21 |  3167077 |  1499645 |    46278     67 |     6505 |        0
1762.88/1763.30	c 1762s |      22 |  3169142 |  1500622 |    46278     67 |     6505 |        0
1764.98/1765.39	c 1764s |      22 |  3171502 |  1502022 |    46278     67 |     6505 |        0
1767.18/1767.53	c 1766s |      22 |  3174227 |  1503122 |    46278     67 |     6505 |        0
1769.27/1769.65	c 1769s |      22 |  3176141 |  1504222 |    46278     67 |     6505 |        0
1771.37/1771.79	c 1771s |      22 |  3177731 |  1505322 |    46278     67 |     6505 |        0
1773.47/1773.81	c 1773s |      22 |  3179578 |  1506322 |    46278     67 |     6505 |        0
1775.57/1775.93	c 1775s |      22 |  3181429 |  1507222 |    46278     67 |     6505 |        0
1777.57/1777.94	c 1777s |      22 |  3183124 |  1508022 |    46278     67 |     6505 |        0
1779.67/1780.02	c 1779s |      22 |  3184415 |  1508922 |    46278     67 |     6505 |        0
1781.87/1782.22	c 1781s |      22 |  3185789 |  1509822 |    46278     67 |     6505 |        0
1783.97/1784.35	c 1783s |      22 |  3187348 |  1510722 |    46278     67 |     6505 |        0
1785.97/1786.36	c 1785s |      22 |  3188772 |  1511522 |    46278     67 |     6505 |        0
1788.07/1788.41	c 1787s |      22 |  3192409 |  1512122 |    46278     67 |     6505 |        0
1790.06/1790.42	c 1789s |      22 |  3197277 |  1515222 |    46278     67 |     6505 |        0
1792.06/1792.47	c 1791s |      22 |  3203755 |  1518322 |    46278     68 |     6505 |        0
1794.16/1794.52	c 1793s |      22 |  3210188 |  1521222 |    46278     68 |     6505 |        0
1796.16/1796.54	c 1795s |      22 |  3216180 |  1524222 |    46278     68 |     6505 |        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-4101969-1466228237/watcher-4101969-1466228237 -o /tmp/evaluation-result-4101969-1466228237/solver-4101969-1466228237 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31240 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101969-1466228237.opb 

pid=2201
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.55 2.31 2.21 3/179 2204
/proc/meminfo: memFree=25346628/32872528 swapFree=1200228/1314692
[pid=2204] ppid=2201 vsize=704068 CPUtime=0 cores=0,2,4,6
/proc/2204/stat : 2204 (toysat) R 2201 2204 31224 0 -1 4202496 2628 0 0 0 0 0 0 0 20 0 4 0 24870214 720965632 2477 33554432000 4194304 16246674 140735669952048 140735669951472 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2204/statm: 176785 2485 442 2943 0 173679 0
[pid=2204/tid=2205] ppid=2201 vsize=748100 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2205/stat : 2205 (toysat) S 2201 2204 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24870215 766054400 2649 33554432000 4194304 16246674 140735669952048 139672035503344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2204/tid=2206] ppid=2201 vsize=753220 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2206/stat : 2206 (toysat) S 2201 2204 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24870215 771297280 2666 33554432000 4194304 16246674 140735669952048 139672025013488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2204/tid=2207] ppid=2201 vsize=757316 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2207/stat : 2207 (toysat) S 2201 2204 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24870215 775491584 2685 33554432000 4194304 16246674 140735669952048 139672014539952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100227 s]
/proc/loadavg: 2.55 2.31 2.21 3/179 2204
/proc/meminfo: memFree=25346628/32872528 swapFree=1200228/1314692
[pid=2204] ppid=2201 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/2204/stat : 2204 (toysat) R 2201 2204 31224 0 -1 4202496 28085 0 0 0 5 4 0 0 20 0 4 0 24870214 1333334016 27872 33554432000 4194304 16246674 140735669952048 140735669951360 12752373 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2204/statm: 325521 27886 801 2943 0 322415 0
[pid=2204/tid=2205] ppid=2201 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2205/stat : 2205 (toysat) S 2201 2204 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24870215 1333334016 27898 33554432000 4194304 16246674 140735669952048 139672035503344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2204/tid=2206] ppid=2201 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2206/stat : 2206 (toysat) S 2201 2204 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24870215 1333334016 27909 33554432000 4194304 16246674 140735669952048 139672025013488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2204/tid=2207] ppid=2201 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2207/stat : 2207 (toysat) S 2201 2204 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24870215 1333334016 27919 33554432000 4194304 16246674 140735669952048 139672014539952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200508 s]
/proc/loadavg: 2.55 2.31 2.21 3/179 2204
/proc/meminfo: memFree=25346628/32872528 swapFree=1200228/1314692
[pid=2204] ppid=2201 vsize=1309252 CPUtime=0.19 cores=0,2,4,6
/proc/2204/stat : 2204 (toysat) R 2201 2204 31224 0 -1 4202496 42673 0 0 0 13 6 0 0 20 0 4 0 24870214 1340674048 42460 33554432000 4194304 16246674 140735669952048 140735669951360 12654346 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2204/statm: 327313 42460 843 2943 0 324207 0
[pid=2204/tid=2205] ppid=2201 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2205/stat : 2205 (toysat) S 2201 2204 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24870215 1340674048 42460 33554432000 4194304 16246674 140735669952048 139672035503344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2204/tid=2206] ppid=2201 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2206/stat : 2206 (toysat) S 2201 2204 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24870215 1340674048 42460 33554432000 4194304 16246674 140735669952048 139672025013488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2204/tid=2207] ppid=2201 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2207/stat : 2207 (toysat) S 2201 2204 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24870215 1340674048 42460 33554432000 4194304 16246674 140735669952048 139672014539952 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) 1309252

[startup+0.300481 s]
/proc/loadavg: 2.55 2.31 2.21 3/179 2204
/proc/meminfo: memFree=25346628/32872528 swapFree=1200228/1314692
[pid=2204] ppid=2201 vsize=1309252 CPUtime=0.29 cores=0,2,4,6
/proc/2204/stat : 2204 (toysat) R 2201 2204 31224 0 -1 4202496 69543 0 0 0 20 9 0 0 20 0 4 0 24870214 1340674048 69331 33554432000 4194304 16246674 140735669952048 140735669951360 12516629 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2204/statm: 327313 69342 843 2943 0 324207 0
[pid=2204/tid=2205] ppid=2201 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2205/stat : 2205 (toysat) S 2201 2204 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24870215 1340674048 69347 33554432000 4194304 16246674 140735669952048 139672035503344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2204/tid=2206] ppid=2201 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2206/stat : 2206 (toysat) S 2201 2204 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24870215 1340674048 69359 33554432000 4194304 16246674 140735669952048 139672025013488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2204/tid=2207] ppid=2201 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2207/stat : 2207 (toysat) S 2201 2204 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24870215 1340674048 69370 33554432000 4194304 16246674 140735669952048 139672014539952 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) 1309252

[startup+0.700395 s]
/proc/loadavg: 2.55 2.31 2.21 3/179 2204
/proc/meminfo: memFree=25346628/32872528 swapFree=1200228/1314692
[pid=2204] ppid=2201 vsize=1323588 CPUtime=0.69 cores=0,2,4,6
/proc/2204/stat : 2204 (toysat) R 2201 2204 31224 0 -1 4202496 142025 0 0 0 51 18 0 0 20 0 4 0 24870214 1355354112 141812 33554432000 4194304 16246674 140735669952048 140735669949888 5581916 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2204/statm: 330897 141812 889 2943 0 327791 0
[pid=2204/tid=2205] ppid=2201 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2205/stat : 2205 (toysat) S 2201 2204 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24870215 1355354112 141812 33554432000 4194304 16246674 140735669952048 139672035503344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2204/tid=2206] ppid=2201 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2206/stat : 2206 (toysat) S 2201 2204 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24870215 1355354112 141812 33554432000 4194304 16246674 140735669952048 139672025013488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2204/tid=2207] ppid=2201 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2207/stat : 2207 (toysat) S 2201 2204 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24870215 1355354112 141812 33554432000 4194304 16246674 140735669952048 139672014539952 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) 1323588

[startup+1.50034 s]
/proc/loadavg: 2.55 2.31 2.21 3/183 2208
/proc/meminfo: memFree=24780668/32872528 swapFree=1200228/1314692
[pid=2204] ppid=2201 vsize=1323588 CPUtime=1.49 cores=0,2,4,6
/proc/2204/stat : 2204 (toysat) R 2201 2204 31224 0 -1 4202496 160271 0 0 0 128 21 0 0 20 0 4 0 24870214 1355354112 160058 33554432000 4194304 16246674 140735669952048 140735669949888 5712452 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2204/statm: 330897 160064 889 2943 0 327791 0
[pid=2204/tid=2205] ppid=2201 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2205/stat : 2205 (toysat) S 2201 2204 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24870215 1355354112 160067 33554432000 4194304 16246674 140735669952048 139672035503344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2204/tid=2206] ppid=2201 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2206/stat : 2206 (toysat) S 2201 2204 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24870215 1355354112 160070 33554432000 4194304 16246674 140735669952048 139672025013488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2204/tid=2207] ppid=2201 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2207/stat : 2207 (toysat) S 2201 2204 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24870215 1355354112 160073 33554432000 4194304 16246674 140735669952048 139672014539952 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) 1323588

[startup+3.1004 s]
/proc/loadavg: 2.55 2.31 2.21 3/183 2208
/proc/meminfo: memFree=24374444/32872528 swapFree=1200228/1314692
[pid=2204] ppid=2201 vsize=1323588 CPUtime=3.09 cores=0,2,4,6
/proc/2204/stat : 2204 (toysat) R 2201 2204 31224 0 -1 4202496 272088 0 0 0 274 35 0 0 20 0 4 0 24870214 1355354112 271875 33554432000 4194304 16246674 140735669952048 140735669933952 5599200 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2204/statm: 330897 271875 892 2943 0 327791 0
[pid=2204/tid=2205] ppid=2201 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2205/stat : 2205 (toysat) S 2201 2204 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24870215 1355354112 271875 33554432000 4194304 16246674 140735669952048 139672035503344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2204/tid=2206] ppid=2201 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2206/stat : 2206 (toysat) S 2201 2204 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24870215 1355354112 271875 33554432000 4194304 16246674 140735669952048 139672025013488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2204/tid=2207] ppid=2201 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2207/stat : 2207 (toysat) S 2201 2204 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24870215 1355354112 271875 33554432000 4194304 16246674 140735669952048 139672014539952 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) 1323588

[startup+6.3004 s]
/proc/loadavg: 2.58 2.32 2.22 3/183 2208
/proc/meminfo: memFree=24262356/32872528 swapFree=1200228/1314692
[pid=2204] ppid=2201 vsize=1323588 CPUtime=6.29 cores=0,2,4,6
/proc/2204/stat : 2204 (toysat) R 2201 2204 31224 0 -1 4202496 272093 0 0 0 594 35 0 0 20 0 4 0 24870214 1355354112 271880 33554432000 4194304 16246674 140735669952048 140735669933952 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2204/statm: 330897 271880 896 2943 0 327791 0
[pid=2204/tid=2205] ppid=2201 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2205/stat : 2205 (toysat) S 2201 2204 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24870215 1355354112 271880 33554432000 4194304 16246674 140735669952048 139672035503344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2204/tid=2206] ppid=2201 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2206/stat : 2206 (toysat) S 2201 2204 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24870215 1355354112 271880 33554432000 4194304 16246674 140735669952048 139672025013488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2204/tid=2207] ppid=2201 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2207/stat : 2207 (toysat) S 2201 2204 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24870215 1355354112 271880 33554432000 4194304 16246674 140735669952048 139672014539952 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) 1323588

[startup+12.7004 s]
/proc/loadavg: 2.54 2.32 2.21 4/183 2208
/proc/meminfo: memFree=24262332/32872528 swapFree=1200228/1314692
[pid=2204] ppid=2201 vsize=1323588 CPUtime=12.69 cores=0,2,4,6
/proc/2204/stat : 2204 (toysat) R 2201 2204 31224 0 -1 4202496 272093 0 0 0 1234 35 0 0 20 0 4 0 24870214 1355354112 271880 33554432000 4194304 16246674 140735669952048 140735669933952 5677320 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2204/statm: 330897 271880 896 2943 0 327791 0
[pid=2204/tid=2205] ppid=2201 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2205/stat : 2205 (toysat) S 2201 2204 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24870215 1355354112 271880 33554432000 4194304 16246674 140735669952048 139672035503344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2204/tid=2206] ppid=2201 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2206/stat : 2206 (toysat) S 2201 2204 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24870215 1355354112 271880 33554432000 4194304 16246674 140735669952048 139672025013488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2204/tid=2207] ppid=2201 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2207/stat : 2207 (toysat) S 2201 2204 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24870215 1355354112 271880 33554432000 4194304 16246674 140735669952048 139672014539952 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) 1323588

[startup+25.5005 s]
/proc/loadavg: 2.49 2.32 2.22 4/183 2209
/proc/meminfo: memFree=24250228/32872528 swapFree=1200228/1314692
[pid=2204] ppid=2201 vsize=1336900 CPUtime=25.49 cores=0,2,4,6
/proc/2204/stat : 2204 (toysat) R 2201 2204 31224 0 -1 4202496 275291 0 0 0 2513 36 0 0 20 0 4 0 24870214 1368985600 275078 33554432000 4194304 16246674 140735669952048 140735669933952 5600376 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2204/statm: 334225 275078 903 2943 0 331119 0
[pid=2204/tid=2205] ppid=2201 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2205/stat : 2205 (toysat) S 2201 2204 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24870215 1368985600 275078 33554432000 4194304 16246674 140735669952048 139672035503344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2204/tid=2206] ppid=2201 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2206/stat : 2206 (toysat) S 2201 2204 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24870215 1368985600 275078 33554432000 4194304 16246674 140735669952048 139672025013488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2204/tid=2207] ppid=2201 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2207/stat : 2207 (toysat) S 2201 2204 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24870215 1368985600 275078 33554432000 4194304 16246674 140735669952048 139672014539952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1336900

[startup+51.1005 s]
/proc/loadavg: 2.53 2.34 2.22 3/183 2209
/proc/meminfo: memFree=24247340/32872528 swapFree=1200228/1314692
[pid=2204] ppid=2201 vsize=1338948 CPUtime=51.08 cores=0,2,4,6
/proc/2204/stat : 2204 (toysat) R 2201 2204 31224 0 -1 4202496 275942 0 0 0 5072 36 0 0 20 0 4 0 24870214 1371082752 275729 33554432000 4194304 16246674 140735669952048 140735669933952 5822492 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2204/statm: 334737 275729 903 2943 0 331631 0
[pid=2204/tid=2205] ppid=2201 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2205/stat : 2205 (toysat) S 2201 2204 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24870215 1371082752 275729 33554432000 4194304 16246674 140735669952048 139672035503344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2204/tid=2206] ppid=2201 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2206/stat : 2206 (toysat) S 2201 2204 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24870215 1371082752 275729 33554432000 4194304 16246674 140735669952048 139672025013488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2204/tid=2207] ppid=2201 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2207/stat : 2207 (toysat) S 2201 2204 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24870215 1371082752 275729 33554432000 4194304 16246674 140735669952048 139672014539952 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) 1338948

[startup+102.3 s]
/proc/loadavg: 2.52 2.36 2.24 3/183 2210
/proc/meminfo: memFree=24236144/32872528 swapFree=1200228/1314692
[pid=2204] ppid=2201 vsize=1350212 CPUtime=102.28 cores=0,2,4,6
/proc/2204/stat : 2204 (toysat) R 2201 2204 31224 0 -1 4202496 278758 0 0 0 10190 38 0 0 20 0 4 0 24870214 1382617088 278545 33554432000 4194304 16246674 140735669952048 140735669933952 5522977 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2204/statm: 337553 278545 903 2943 0 334447 0
[pid=2204/tid=2205] ppid=2201 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2205/stat : 2205 (toysat) S 2201 2204 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24870215 1382617088 278545 33554432000 4194304 16246674 140735669952048 139672035503344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2204/tid=2206] ppid=2201 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2206/stat : 2206 (toysat) S 2201 2204 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24870215 1382617088 278545 33554432000 4194304 16246674 140735669952048 139672025013488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2204/tid=2207] ppid=2201 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2207/stat : 2207 (toysat) S 2201 2204 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24870215 1382617088 278545 33554432000 4194304 16246674 140735669952048 139672014539952 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) 1350212


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

/proc/2204/task/2207/stat : 2207 (toysat) S 2201 2204 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24870215 1442385920 293138 33554432000 4194304 16246674 140735669952048 139672014539952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1408580

[startup+1302.3 s]
/proc/loadavg: 2.18 2.23 2.25 3/183 2240
/proc/meminfo: memFree=24174472/32872528 swapFree=1200228/1314692
[pid=2204] ppid=2201 vsize=1408580 CPUtime=1302.1 cores=0,2,4,6
/proc/2204/stat : 2204 (toysat) R 2201 2204 31224 0 -1 4202496 293351 0 0 0 130150 60 0 0 20 0 4 0 24870214 1442385920 293138 33554432000 4194304 16246674 140735669952048 140735669933952 5822432 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2204/statm: 352145 293138 904 2943 0 349039 0
[pid=2204/tid=2205] ppid=2201 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2205/stat : 2205 (toysat) S 2201 2204 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24870215 1442385920 293138 33554432000 4194304 16246674 140735669952048 139672035503344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2204/tid=2206] ppid=2201 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2206/stat : 2206 (toysat) S 2201 2204 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24870215 1442385920 293138 33554432000 4194304 16246674 140735669952048 139672025013488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2204/tid=2207] ppid=2201 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2207/stat : 2207 (toysat) S 2201 2204 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24870215 1442385920 293138 33554432000 4194304 16246674 140735669952048 139672014539952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 1408580

[startup+1362.3 s]
/proc/loadavg: 2.43 2.29 2.27 3/183 2241
/proc/meminfo: memFree=24174636/32872528 swapFree=1200228/1314692
[pid=2204] ppid=2201 vsize=1408580 CPUtime=1362.08 cores=0,2,4,6
/proc/2204/stat : 2204 (toysat) R 2201 2204 31224 0 -1 4202496 293351 0 0 0 136147 61 0 0 20 0 4 0 24870214 1442385920 293138 33554432000 4194304 16246674 140735669952048 140735669933952 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2204/statm: 352145 293138 904 2943 0 349039 0
[pid=2204/tid=2205] ppid=2201 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2205/stat : 2205 (toysat) S 2201 2204 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24870215 1442385920 293138 33554432000 4194304 16246674 140735669952048 139672035503344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2204/tid=2206] ppid=2201 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2206/stat : 2206 (toysat) S 2201 2204 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24870215 1442385920 293138 33554432000 4194304 16246674 140735669952048 139672025013488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2204/tid=2207] ppid=2201 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2207/stat : 2207 (toysat) S 2201 2204 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24870215 1442385920 293138 33554432000 4194304 16246674 140735669952048 139672014539952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1408580

[startup+1422.3 s]
/proc/loadavg: 2.26 2.27 2.26 3/184 2245
/proc/meminfo: memFree=24158276/32872528 swapFree=1200228/1314692
[pid=2204] ppid=2201 vsize=1424964 CPUtime=1422.08 cores=0,2,4,6
/proc/2204/stat : 2204 (toysat) R 2201 2204 31224 0 -1 4202496 297447 0 0 0 142146 62 0 0 20 0 4 0 24870214 1459163136 297234 33554432000 4194304 16246674 140735669952048 140735669933952 5823020 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2204/statm: 356241 297234 904 2943 0 353135 0
[pid=2204/tid=2205] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2205/stat : 2205 (toysat) S 2201 2204 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297234 33554432000 4194304 16246674 140735669952048 139672035503344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2204/tid=2206] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2206/stat : 2206 (toysat) S 2201 2204 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297234 33554432000 4194304 16246674 140735669952048 139672025013488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2204/tid=2207] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2207/stat : 2207 (toysat) S 2201 2204 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297234 33554432000 4194304 16246674 140735669952048 139672014539952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1424964

[startup+1482.3 s]
/proc/loadavg: 2.20 2.25 2.25 3/184 2269
/proc/meminfo: memFree=24158128/32872528 swapFree=1200228/1314692
[pid=2204] ppid=2201 vsize=1424964 CPUtime=1482.06 cores=0,2,4,6
/proc/2204/stat : 2204 (toysat) R 2201 2204 31224 0 -1 4202496 297447 0 0 0 148141 65 0 0 20 0 4 0 24870214 1459163136 297234 33554432000 4194304 16246674 140735669952048 140735669933952 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2204/statm: 356241 297234 904 2943 0 353135 0
[pid=2204/tid=2205] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2205/stat : 2205 (toysat) S 2201 2204 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297234 33554432000 4194304 16246674 140735669952048 139672035503344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2204/tid=2206] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2206/stat : 2206 (toysat) S 2201 2204 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297234 33554432000 4194304 16246674 140735669952048 139672025013488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2204/tid=2207] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2207/stat : 2207 (toysat) S 2201 2204 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297234 33554432000 4194304 16246674 140735669952048 139672014539952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1424964

[startup+1542.31 s]
/proc/loadavg: 2.51 2.32 2.28 3/183 2367
/proc/meminfo: memFree=28237248/32872528 swapFree=1200228/1314692
[pid=2204] ppid=2201 vsize=1424964 CPUtime=1542.06 cores=0,2,4,6
/proc/2204/stat : 2204 (toysat) R 2201 2204 31224 0 -1 4202496 297451 0 0 0 154140 66 0 0 20 0 4 0 24870214 1459163136 297490 33554432000 4194304 16246674 140735669952048 140735669933952 5822687 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2204/statm: 356241 297490 904 2943 0 353135 0
[pid=2204/tid=2205] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2205/stat : 2205 (toysat) S 2201 2204 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297490 33554432000 4194304 16246674 140735669952048 139672035503344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2204/tid=2206] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2206/stat : 2206 (toysat) S 2201 2204 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297490 33554432000 4194304 16246674 140735669952048 139672025013488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2204/tid=2207] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2207/stat : 2207 (toysat) S 2201 2204 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297490 33554432000 4194304 16246674 140735669952048 139672014539952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1424964

[startup+1602.3 s]
/proc/loadavg: 2.47 2.34 2.28 3/183 2369
/proc/meminfo: memFree=28236852/32872528 swapFree=1200228/1314692
[pid=2204] ppid=2201 vsize=1424964 CPUtime=1602.05 cores=0,2,4,6
/proc/2204/stat : 2204 (toysat) R 2201 2204 31224 0 -1 4202496 297460 0 0 0 160137 68 0 0 20 0 4 0 24870214 1459163136 297490 33554432000 4194304 16246674 140735669952048 140735669933952 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2204/statm: 356241 297490 904 2943 0 353135 0
[pid=2204/tid=2205] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2205/stat : 2205 (toysat) S 2201 2204 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297490 33554432000 4194304 16246674 140735669952048 139672035503344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2204/tid=2206] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2206/stat : 2206 (toysat) S 2201 2204 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297490 33554432000 4194304 16246674 140735669952048 139672025013488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2204/tid=2207] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2207/stat : 2207 (toysat) S 2201 2204 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297490 33554432000 4194304 16246674 140735669952048 139672014539952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 1424964

[startup+1662.3 s]
/proc/loadavg: 2.30 2.31 2.27 3/183 2370
/proc/meminfo: memFree=28236592/32872528 swapFree=1200228/1314692
[pid=2204] ppid=2201 vsize=1424964 CPUtime=1662.03 cores=0,2,4,6
/proc/2204/stat : 2204 (toysat) R 2201 2204 31224 0 -1 4202496 297476 0 0 0 166134 69 0 0 20 0 4 0 24870214 1459163136 297490 33554432000 4194304 16246674 140735669952048 140735669935048 5712555 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2204/statm: 356241 297490 904 2943 0 353135 0
[pid=2204/tid=2205] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2205/stat : 2205 (toysat) S 2201 2204 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297490 33554432000 4194304 16246674 140735669952048 139672035503344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2204/tid=2206] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2206/stat : 2206 (toysat) S 2201 2204 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297490 33554432000 4194304 16246674 140735669952048 139672025013488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2204/tid=2207] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2207/stat : 2207 (toysat) S 2201 2204 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297490 33554432000 4194304 16246674 140735669952048 139672014539952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1424964

[startup+1722.3 s]
/proc/loadavg: 2.27 2.29 2.27 3/183 2371
/proc/meminfo: memFree=28230420/32872528 swapFree=1200228/1314692
[pid=2204] ppid=2201 vsize=1424964 CPUtime=1722 cores=0,2,4,6
/proc/2204/stat : 2204 (toysat) R 2201 2204 31224 0 -1 4202496 297516 0 0 0 172130 70 0 0 20 0 4 0 24870214 1459163136 297490 33554432000 4194304 16246674 140735669952048 140735669933952 5822488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2204/statm: 356241 297490 904 2943 0 353135 0
[pid=2204/tid=2205] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2205/stat : 2205 (toysat) S 2201 2204 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297490 33554432000 4194304 16246674 140735669952048 139672035503344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2204/tid=2206] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2206/stat : 2206 (toysat) S 2201 2204 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297490 33554432000 4194304 16246674 140735669952048 139672025013488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2204/tid=2207] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2207/stat : 2207 (toysat) S 2201 2204 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297490 33554432000 4194304 16246674 140735669952048 139672014539952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1424964

[startup+1782.3 s]
/proc/loadavg: 2.30 2.30 2.27 3/183 2372
/proc/meminfo: memFree=28229680/32872528 swapFree=1200228/1314692
[pid=2204] ppid=2201 vsize=1424964 CPUtime=1781.97 cores=0,2,4,6
/proc/2204/stat : 2204 (toysat) R 2201 2204 31224 0 -1 4202496 297549 0 0 0 178127 70 0 0 20 0 4 0 24870214 1459163136 297490 33554432000 4194304 16246674 140735669952048 140735669933952 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2204/statm: 356241 297490 904 2943 0 353135 0
[pid=2204/tid=2205] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2205/stat : 2205 (toysat) S 2201 2204 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297490 33554432000 4194304 16246674 140735669952048 139672035503344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2204/tid=2206] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2206/stat : 2206 (toysat) S 2201 2204 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297490 33554432000 4194304 16246674 140735669952048 139672025013488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2204/tid=2207] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2207/stat : 2207 (toysat) S 2201 2204 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297490 33554432000 4194304 16246674 140735669952048 139672014539952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 1424964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.22 2.28 2.27 4/183 2373
/proc/meminfo: memFree=28229516/32872528 swapFree=1200228/1314692
[pid=2204] ppid=2201 vsize=1424964 CPUtime=1800.07 cores=0,2,4,6
/proc/2204/stat : 2204 (toysat) R 2201 2204 31224 0 -1 4202496 297554 0 0 0 179936 71 0 0 20 0 4 0 24870214 1459163136 297490 33554432000 4194304 16246674 140735669952048 140735669951360 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2204/statm: 356241 297490 904 2943 0 353135 0
[pid=2204/tid=2205] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2205/stat : 2205 (toysat) S 2201 2204 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297490 33554432000 4194304 16246674 140735669952048 139672035503344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=2204/tid=2206] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2206/stat : 2206 (toysat) S 2201 2204 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297490 33554432000 4194304 16246674 140735669952048 139672025013488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=2204/tid=2207] ppid=2201 vsize=1424964 CPUtime=0 cores=0,2,4,6
/proc/2204/task/2207/stat : 2207 (toysat) S 2201 2204 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24870215 1459163136 297490 33554432000 4194304 16246674 140735669952048 139672014539952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1424964

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 2204 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.45
CPU time (s): 1800.12
CPU user time (s): 1799.37
CPU system time (s): 0.751885
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 1424964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.751885
maximum resident set size= 1189960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 297554
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= 275
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6293 second user time and 6.96394 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 07:37:17
IDJOB=4101969
IDBENCH=1829
IDSOLVER=2542
FILE ID=node131/4101969-1466228237
RUNJOBID= node131-1466206062-31240
PBS_JOBID= 19918146
Free space on /tmp= 71632 MiB

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

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

MD5SUM BENCH= b55f7a8b0d45bfbc16cf27babcf41177
RANDOM SEED=333385101

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        25346784 kB
Buffers:          119004 kB
Cached:           215904 kB
SwapCached:         1508 kB
Active:          5283652 kB
Inactive:         179660 kB
Active(anon):    5127896 kB
Inactive(anon):     2684 kB
Active(file):     155756 kB
Inactive(file):   176976 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:             16728 kB
Writeback:             0 kB
AnonPages:       6442040 kB
Mapped:            10816 kB
Shmem:                 0 kB
Slab:             603536 kB
SReclaimable:      47564 kB
SUnreclaim:       555972 kB
KernelStack:        1520 kB
PageTables:        16928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6582684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    299008 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= 71672 MiB
End job on node131 at 2016-06-18 08:07:17