Trace number 4106766

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_5.opb
MD5SUM13c8aeb5c21aab422ad1cf9309500df6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-35
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75000
Sum of products size (including duplicates)150000
Number of different products37500
Sum of products size75000

Solver Data 

0.00/0.00	c 2016-06-18T21:16:50+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-4106766-1466277410.opb"]
0.00/0.01	c use --random-gen="1454902248 515649338 1600101018 3092353070 749808236 909818784 132863815 2573791540 3891542192 3639026759 3471131371 3546896188 3000832489 746861547 1799842999 274534007 3020289424 448066001 657486109 3112280841 4166728880 4037670699 2885039145 3294906071 3231260196 788943655 2265502001 1934818448 65201022 1374594251 1359392062 1991980929 691710851 2977645021 2183312301 422076670 2043829602 3811165788 1360045265 3774586066 3690868918 837818421 2656016218 2296107992 3016649674 1878006870 660626621 157087377 681062520 304389638 3946853552 3667276856 1611279073 3024689312 3039964357 696747281 297623711 3762305339 3399816949 1764603278 1184247784 1938772305 2355524772 1299885779 2875277146 1053090066 924472578 1725662291 1461975829 2020919724 1301175468 5261419 3056044715 268846082 1375132786 87513351 3408589294 18027002 909482822 3989185713 1372497166 4222128478 2471836450 3113854451 451086918 2922909937 2817838479 1850828781 1366652263 4098850271 562830581 737053758 2789351179 6597669 1237909146 1187230984 2855674645 1305605761 3240866483 750459805 60755838 2998453903 146505269 3495194304 2092491564 284976080 2221983436 3106908968 2171023706 510250844 3118685328 972986461 1679988210 2599195121 781703509 342906800 1895047076 1605974177 2845825880 1694317651 3589764605 92795007 2245730900 36746535 1259357012 648892966 1931565351 2146278168 400188751 607039579 992868198 3303499191 2190013266 3675141263 1775781305 1848933474 39466240 2115977140 2596909117 70745298 3000852786 1842465771 1798969386 3661081950 1191480014 565618738 1524464504 187030086 2138578919 4070970973 1388443011 2277055276 3032951013 3448578321 3556886933 2086790315 1459711022 950717253 1785064588 3555875672 2031821471 2157797010 96900983 3418074352 367867307 2118053073 730187376 3483778102 2802031744 1098450886 1018000965 2390114492 3313528752 2601279162 518288081 2914903093 2159010755 3118377661 483871996 451107414 686783778 989100394 2220201998 2444666793 2539723034 2987491122 515196304 1989328743 2715374556 257720810 2413972520 3142567872 1315545917 3211383088 294185048 1994768182 2939384736 3853380646 2023392334 4274875383 1144069711 2154739845 3439522421 1833520459 344622076 28118979 407159375 2146535789 3312535856 3260786570 681574479 619351397 1709040208 3515872161 3958345979 2362228859 1537587150 3114770954 2388146798 17305620 1700977277 2632733652 3804242957 3690827838 1890068791 2742587011 543744421 2831271098 1358030028 2231701901 1796702112 2533410870 733817963 3964870596 3702532212 3720328313 2447365054 61028490 1984080933 4181967990 2597572368 2485442978 3840352461 3158399322 3892419898 2785076270 831492759 2596855446 2448184476 1193276755 724695577 1777183083 1137356797 632469928 3018014849 2349312772 255 362436" option to reproduce the execution
0.19/0.21	c #vars 1000
0.19/0.21	c #constraints 1501
1.20/1.29	c BCD2: Hardening is enabled.
1.20/1.29	c BCD2: BiasedSearch is enabled.
1.20/1.29	c Solving starts ...
1.20/1.29	c ============================[ Search Statistics ]============================
1.20/1.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.20/1.29	c       |         |          |          |    Limit     GC | Var      | Constra 
1.20/1.29	c =============================================================================
1.20/1.29	c  0.0s |       0 |        0 |        0 |    25834      0 |        0 |        0
1.29/1.39	c  0.1s |       0 |      583 |        1 |    25834      0 |        0 |        0
1.29/1.39	c #cpu_time = 0.070s
1.29/1.39	c #wall_clock_time = 0.070s
1.29/1.39	c #decision = 583
1.29/1.39	c #random_decision = 0
1.29/1.39	c #conflict = 1
1.29/1.39	c #restart = 0
1.29/1.39	o -25
1.29/1.39	c BCD2: updating upper bound: 500 -> 474
1.39/1.40	c BCD2: 0 <= obj <= 474
1.39/1.40	c BCD2: #cores=0, #unrelaxed=500, #relaxed=0, #hardened=0
1.39/1.40	c BCD2: #sat=1 #unsat=1 bias=1/2
1.39/1.40	c Solving starts ...
1.39/1.40	c ============================[ Search Statistics ]============================
1.39/1.40	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.39/1.40	c       |         |          |          |    Limit     GC | Var      | Constra 
1.39/1.40	c =============================================================================
1.39/1.40	c  0.0s |       0 |        0 |        0 |    25834      0 |        0 |        0
1.39/1.46	c  0.1s |       0 |      250 |        1 |    25834      0 |        0 |        0
1.39/1.46	c #cpu_time = 0.054s
1.39/1.46	c #wall_clock_time = 0.054s
1.39/1.46	c #decision = 250
1.39/1.46	c #random_decision = 0
1.39/1.46	c #conflict = 1
1.39/1.46	c #restart = 0
1.39/1.46	c BCD2: found a new core of size 250: cost of the new core is >=1
1.39/1.46	c lower bound updated to -499
1.39/1.46	c BCD2: 1 <= obj <= 474
1.39/1.46	c BCD2: #cores=1, #unrelaxed=250, #relaxed=250, #hardened=0
1.39/1.46	c BCD2: #sat=1 #unsat=2 bias=2/3
1.39/1.46	c Solving starts ...
1.39/1.46	c ============================[ Search Statistics ]============================
1.39/1.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.39/1.46	c       |         |          |          |    Limit     GC | Var      | Constra 
1.39/1.46	c =============================================================================
1.39/1.46	c  0.0s |       0 |        0 |        0 |    25834      0 |        0 |        0
1.49/1.55	c  0.1s |       0 |      251 |        1 |    25834      0 |        0 |        0
1.49/1.55	c #cpu_time = 0.093s
1.49/1.55	c #wall_clock_time = 0.093s
1.49/1.55	c #decision = 251
1.49/1.55	c #random_decision = 0
1.49/1.55	c #conflict = 1
1.49/1.55	c #restart = 0
1.49/1.55	c BCD2: relaxing 250 and merging with 1 cores into a new core of size 500: cost of the new core is >=2
1.49/1.55	c lower bound updated to -498
1.49/1.56	c BCD2: 2 <= obj <= 474
1.49/1.56	c BCD2: #cores=1, #unrelaxed=0, #relaxed=500, #hardened=0
1.49/1.56	c BCD2: #sat=1 #unsat=3 bias=3/4
1.49/1.56	c Solving starts ...
1.49/1.56	c ============================[ Search Statistics ]============================
1.49/1.56	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.49/1.56	c       |         |          |          |    Limit     GC | Var      | Constra 
1.49/1.56	c =============================================================================
1.49/1.57	c  0.0s |       0 |        0 |        0 |    25834      0 |        1 |        0
1.69/1.76	c  0.2s |       1 |     9678 |      100 |    28418      0 |        1 |        1
1.99/2.03	c  0.5s |       2 |    23362 |      250 |    31260      0 |        1 |        1
3.40/3.46	c  1.9s |       3 |    53933 |      475 |    34386      0 |        1 |        1
5.09/5.17	c  3.6s |       4 |    98192 |      813 |    37825      0 |        1 |        1
7.29/7.38	c  5.8s |       4 |   145196 |     1313 |    37825      0 |        1 |        1
7.39/7.41	c  5.8s |       5 |   145196 |     1320 |    41608      0 |        1 |        1
9.59/9.62	c  8.0s |       5 |   180633 |     1920 |    41608      0 |        1 |        1
10.09/10.15	c  8.6s |       6 |   188035 |     2081 |    45769      0 |        1 |        1
12.89/12.95	c 11.4s |       6 |   194843 |     2481 |    45769      0 |        1 |        1
15.19/15.23	c 13.7s |       6 |   204870 |     2881 |    45769      0 |        1 |        1
17.39/17.43	c 15.9s |       6 |   207686 |     3081 |    45769      0 |        1 |        1
19.49/19.59	c 18.0s |       7 |   209101 |     3223 |    50346      0 |        1 |        1
22.49/22.59	c 21.0s |       7 |   213517 |     3523 |    50346      0 |        1 |        1
25.89/25.91	c 24.3s |       7 |   216000 |     3723 |    50346      0 |        1 |        1
28.08/28.14	c 26.6s |       7 |   217827 |     3923 |    50346      0 |        1 |        1
30.98/31.02	c 29.4s |       7 |   220065 |     4223 |    50346      0 |        1 |        1
32.99/33.07	c 31.5s |       7 |   222438 |     4423 |    50346      0 |        1 |        1
35.19/35.26	c 33.7s |       7 |   226556 |     4623 |    50346      0 |        1 |        1
37.68/37.76	c 36.2s |       7 |   228555 |     4823 |    50346      0 |        1 |        1
38.59/38.63	c 37.1s |       8 |   231357 |     4936 |    55381      0 |        1 |        1
41.48/41.53	c 40.0s |       8 |   236163 |     5236 |    55381      0 |        1 |        1
45.09/45.16	c 43.6s |       8 |   238029 |     5536 |    55381      0 |        1 |        1
47.29/47.32	c 45.7s |       8 |   238727 |     5736 |    55381      0 |        1 |        1
49.68/49.71	c 48.1s |       8 |   239726 |     5936 |    55381      0 |        1 |        1
51.88/51.93	c 50.4s |       8 |   241827 |     6136 |    55381      0 |        1 |        1
54.08/54.17	c 52.6s |       8 |   242221 |     6336 |    55381      0 |        1 |        1
56.09/56.19	c 54.6s |       8 |   242513 |     6636 |    55381      0 |        1 |        1
58.48/58.58	c 57.0s |       8 |   242797 |     6936 |    55381      0 |        1 |        1
61.08/61.14	c 59.6s |       8 |   243147 |     7236 |    55381      0 |        1 |        1
63.58/63.63	c 62.1s |       9 |   243515 |     7506 |    60920      0 |        1 |        1
66.08/66.19	c 64.6s |       9 |   257893 |     7906 |    60920      0 |        1 |        1
68.78/68.81	c 67.2s |       9 |   259088 |     8106 |    60920      0 |        1 |        1
70.98/71.02	c 69.5s |       9 |   259088 |     8206 |    60920      0 |        1 |        1
74.78/74.88	c 73.3s |       9 |   270423 |     8606 |    60920      0 |        1 |        1
76.87/76.97	c 75.4s |       9 |   277062 |     8906 |    60920      0 |        1 |        1
79.67/79.73	c 78.2s |       9 |   277336 |     9106 |    60920      0 |        1 |        1
82.17/82.21	c 80.6s |       9 |   280409 |     9306 |    60920      0 |        1 |        1
84.87/84.94	c 83.4s |       9 |   281153 |     9506 |    60920      0 |        1 |        1
88.27/88.34	c 86.8s |       9 |   293265 |     9906 |    60920      0 |        1 |        1
92.38/92.42	c 90.9s |       9 |   293934 |    10106 |    60920      0 |        1 |        1
96.27/96.32	c 94.7s |       9 |   296702 |    10406 |    60920      0 |        1 |        1
99.17/99.27	c 97.7s |       9 |   311897 |    10806 |    60920      0 |        1 |        1
103.27/103.40	c  101s |       9 |   312106 |    11006 |    60920      0 |        1 |        1
105.77/105.85	c  104s |       9 |   327840 |    11306 |    67012      0 |        1 |        1
106.78/106.88	c  105s |      10 |   327840 |    11361 |    67012      0 |        1 |        1
108.98/109.08	c  107s |      10 |   328274 |    11461 |    67012      0 |        1 |        1
111.67/111.73	c  110s |      10 |   333603 |    11661 |    67012      0 |        1 |        1
115.48/115.58	c  114s |      10 |   339798 |    11961 |    67012      0 |        1 |        1
118.27/118.38	c  116s |      10 |   341390 |    12161 |    67012      0 |        1 |        1
120.47/120.50	c  118s |      10 |   343598 |    12361 |    67012      0 |        1 |        1
123.77/123.85	c  122s |      10 |   343974 |    12561 |    67012      0 |        1 |        1
127.37/127.47	c  125s |      10 |   344185 |    12761 |    67012      0 |        1 |        1
129.47/129.57	c  127s |      10 |   349108 |    12961 |    67012      0 |        1 |        1
132.17/132.24	c  130s |      10 |   349546 |    13161 |    67012      0 |        1 |        1
134.28/134.33	c  132s |      10 |   355668 |    13361 |    67012      0 |        1 |        1
137.37/137.49	c  135s |      10 |   357349 |    13561 |    67012      0 |        1 |        1
140.37/140.44	c  138s |      10 |   364331 |    13861 |    67012      0 |        1 |        1
142.47/142.52	c  140s |      10 |   364434 |    13961 |    67012      0 |        1 |        1
144.47/144.56	c  142s |      10 |   366178 |    14161 |    67012      0 |        1 |        1
146.57/146.67	c  145s |      10 |   366178 |    14261 |    67012      0 |        1 |        1
148.97/149.06	c  147s |      10 |   370947 |    14461 |    67012      0 |        1 |        1
150.97/151.09	c  149s |      10 |   372203 |    14561 |    67012      0 |        1 |        1
154.08/154.12	c  152s |      10 |   374276 |    14761 |    67012      0 |        1 |        1
157.07/157.18	c  155s |      10 |   382348 |    14961 |    67012      0 |        1 |        1
160.17/160.26	c  158s |      10 |   387124 |    15261 |    67012      0 |        1 |        1
162.37/162.49	c  160s |      10 |   387124 |    15361 |    67012      0 |        1 |        1
164.57/164.65	c  163s |      10 |   402531 |    15561 |    67012      0 |        1 |        1
167.97/168.08	c  166s |      10 |   402595 |    15761 |    67012      0 |        1 |        1
171.17/171.25	c  169s |      10 |   417576 |    16061 |    67012      0 |        1 |        1
173.67/173.77	c  172s |      10 |   419221 |    16161 |    67012      0 |        1 |        1
175.97/176.09	c  174s |      10 |   423622 |    16361 |    67012      0 |        1 |        1
178.27/178.37	c  176s |      10 |   426067 |    16461 |    67012      0 |        1 |        1
180.96/181.04	c  179s |      10 |   429705 |    16661 |    67012      0 |        1 |        1
183.96/184.02	c  182s |      10 |   435915 |    16861 |    67012      0 |        1 |        1
186.06/186.10	c  184s |      10 |   435915 |    16961 |    67012      0 |        1 |        1
187.96/188.04	c  186s |      11 |   443396 |    17144 |    73714      0 |        1 |        1
190.46/190.52	c  188s |      11 |   445017 |    17344 |    73714      0 |        1 |        1
194.16/194.29	c  192s |      11 |   445690 |    17544 |    73714      0 |        1 |        1
196.46/196.56	c  194s |      11 |   445889 |    17644 |    73714      0 |        1 |        1
199.46/199.51	c  197s |      11 |   446174 |    17744 |    73714      0 |        1 |        1
203.36/203.47	c  201s |      11 |   446680 |    17944 |    73714      0 |        1 |        1
206.06/206.18	c  204s |      11 |   455190 |    18144 |    73714      0 |        1 |        1
208.46/208.53	c  206s |      11 |   455190 |    18244 |    73714      0 |        1 |        1
211.56/211.68	c  210s |      11 |   462449 |    18444 |    73714      0 |        1 |        1
214.06/214.16	c  212s |      11 |   463167 |    18544 |    73714      0 |        1 |        1
216.86/216.97	c  215s |      11 |   469641 |    18744 |    73714      0 |        1 |        1
219.76/219.88	c  218s |      11 |   476797 |    18944 |    73714      0 |        1 |        1
221.86/221.98	c  220s |      11 |   481809 |    19044 |    73714      0 |        1 |        1
224.76/224.89	c  223s |      11 |   486486 |    19344 |    73714      0 |        1 |        1
227.06/227.13	c  225s |      11 |   489645 |    19544 |    73714      0 |        1 |        1
230.16/230.24	c  228s |      11 |   493929 |    19744 |    73714      0 |        1 |        1
232.86/232.98	c  231s |      11 |   495851 |    19944 |    73714      0 |        1 |        1
235.56/235.62	c  234s |      11 |   496187 |    20144 |    73714      0 |        1 |        1
238.55/238.61	c  237s |      11 |   496312 |    20344 |    73714      0 |        1 |        1
241.65/241.78	c  240s |      11 |   496562 |    20544 |    73714      0 |        1 |        1
245.26/245.38	c  243s |      11 |   496685 |    20744 |    73714      0 |        1 |        1
248.05/248.13	c  246s |      11 |   499127 |    20944 |    73714      0 |        1 |        1
251.35/251.42	c  249s |      11 |   501450 |    21144 |    73714      0 |        1 |        1
254.45/254.54	c  252s |      11 |   506007 |    21344 |    73714      0 |        1 |        1
257.36/257.46	c  255s |      11 |   506636 |    21544 |    73714      0 |        1 |        1
259.85/259.90	c  258s |      11 |   507209 |    21944 |    73714      0 |        1 |        1
262.86/262.91	c  261s |      11 |   507540 |    22244 |    73714      0 |        1 |        1
265.16/265.25	c  263s |      11 |   507799 |    22444 |    73714      0 |        1 |        1
267.45/267.54	c  265s |      11 |   508056 |    22644 |    73714      0 |        1 |        1
269.56/269.66	c  268s |      11 |   508991 |    22844 |    73714      0 |        1 |        1
271.85/271.98	c  270s |      11 |   519788 |    23244 |    73714      0 |        1 |        1
274.55/274.63	c  273s |      11 |   526427 |    23644 |    73714      0 |        1 |        1
277.05/277.20	c  275s |      11 |   534065 |    24044 |    73714      0 |        1 |        1
279.75/279.83	c  278s |      11 |   540545 |    24444 |    73714      0 |        1 |        1
283.25/283.38	c  281s |      11 |   550183 |    24844 |    73714      0 |        1 |        1
285.45/285.50	c  283s |      11 |   550318 |    24944 |    73714      0 |        1 |        1
287.85/287.95	c  286s |      11 |   550428 |    25044 |    73714      0 |        1 |        1
290.35/290.42	c  288s |      11 |   551486 |    25244 |    73714      0 |        1 |        1
293.95/294.01	c  292s |      11 |   551929 |    25444 |    73714      0 |        1 |        1
297.74/297.86	c  296s |      11 |   558516 |    25744 |    81086      0 |        1 |        1
299.84/299.99	c  298s |      12 |   558610 |    25819 |    81086      0 |        1 |        1
302.24/302.37	c  300s |      12 |   559029 |    25919 |    81086      0 |        1 |        1
305.94/306.00	c  304s |      12 |   567040 |    26119 |    81086      0 |        1 |        1
308.64/308.71	c  307s |      12 |   606491 |    26519 |    81086      0 |        1 |        1
311.84/311.97	c  310s |      12 |   607394 |    26819 |    81086      0 |        1 |        1
315.54/315.70	c  314s |      12 |   607792 |    27019 |    81086      0 |        1 |        1
318.24/318.36	c  316s |      12 |   615462 |    27219 |    81086      0 |        1 |        1
320.74/320.86	c  319s |      12 |   615537 |    27319 |    81086      0 |        1 |        1
323.04/323.12	c  321s |      12 |   619510 |    27419 |    81086      0 |        1 |        1
326.44/326.57	c  325s |      12 |   625288 |    27719 |    81086      0 |        1 |        1
330.24/330.31	c  328s |      12 |   628601 |    27919 |    81086      0 |        1 |        1
332.64/332.79	c  331s |      12 |   631645 |    28119 |    81086      0 |        1 |        1
335.04/335.11	c  333s |      12 |   634540 |    28319 |    81086      0 |        1 |        1
337.65/337.73	c  336s |      12 |   641752 |    28519 |    81086      0 |        1 |        1
340.95/341.01	c  339s |      12 |   647765 |    28819 |    81086      0 |        1 |        1
343.24/343.39	c  341s |      12 |   647834 |    28919 |    81086      0 |        1 |        1
345.93/346.06	c  344s |      12 |   653261 |    29119 |    81086      0 |        1 |        1
348.93/349.10	c  347s |      12 |   654385 |    29319 |    81086      0 |        1 |        1
351.23/351.30	c  349s |      12 |   661059 |    29519 |    81086      0 |        1 |        1
353.23/353.30	c  351s |      12 |   661059 |    29619 |    81086      0 |        1 |        1
356.03/356.17	c  354s |      12 |   666133 |    29819 |    81086      0 |        1 |        1
358.23/358.34	c  356s |      12 |   677741 |    30019 |    81086      0 |        1 |        1
360.74/360.81	c  359s |      12 |   681305 |    30219 |    81086      0 |        1 |        1
363.04/363.19	c  361s |      12 |   681438 |    30319 |    81086      0 |        1 |        1
366.13/366.27	c  364s |      12 |   689667 |    30519 |    81086      0 |        1 |        1
369.83/369.97	c  368s |      12 |   698057 |    30819 |    81086      0 |        1 |        1
372.33/372.44	c  370s |      12 |   698268 |    30919 |    81086      0 |        1 |        1
375.15/375.24	c  373s |      12 |   721932 |    31219 |    81086      0 |        1 |        1
377.84/377.98	c  376s |      12 |   723971 |    31419 |    81086      0 |        1 |        1
382.04/382.15	c  380s |      12 |   724348 |    31619 |    81086      0 |        1 |        1
384.23/384.39	c  382s |      12 |   736313 |    31819 |    81086      0 |        1 |        1
388.03/388.11	c  386s |      12 |   738824 |    32019 |    81086      0 |        1 |        1
390.13/390.29	c  388s |      12 |   755704 |    32219 |    81086      0 |        1 |        1
393.23/393.31	c  391s |      12 |   768588 |    32519 |    81086      0 |        1 |        1
396.23/396.38	c  394s |      12 |   769368 |    32719 |    81086      0 |        1 |        1
398.33/398.45	c  396s |      12 |   769577 |    32819 |    81086      0 |        1 |        1
400.63/400.75	c  399s |      12 |   769935 |    32919 |    81086      0 |        1 |        1
404.13/404.28	c  402s |      12 |   780520 |    33219 |    81086      0 |        1 |        1
407.93/408.01	c  406s |      12 |   781641 |    33419 |    81086      0 |        1 |        1
410.03/410.10	c  408s |      12 |   793000 |    33619 |    81086      0 |        1 |        1
412.13/412.23	c  410s |      12 |   793344 |    33719 |    81086      0 |        1 |        1
414.53/414.69	c  413s |      12 |   793411 |    33819 |    81086      0 |        1 |        1
417.83/417.91	c  416s |      12 |   806749 |    34119 |    81086      0 |        1 |        1
420.03/420.12	c  418s |      12 |   806827 |    34219 |    81086      0 |        1 |        1
422.13/422.22	c  420s |      12 |   818239 |    34419 |    81086      0 |        1 |        1
425.73/425.88	c  424s |      12 |   818821 |    34619 |    81086      0 |        1 |        1
428.42/428.57	c  427s |      12 |   835064 |    34919 |    81086      0 |        1 |        1
431.52/431.67	c  430s |      12 |   835872 |    35119 |    81086      0 |        1 |        1
435.02/435.13	c  433s |      12 |   838609 |    35319 |    81086      0 |        1 |        1
437.22/437.30	c  435s |      12 |   847724 |    35519 |    81086      0 |        1 |        1
440.03/440.12	c  438s |      12 |   848291 |    35719 |    81086      0 |        1 |        1
442.62/442.73	c  441s |      12 |   855018 |    35919 |    81086      0 |        1 |        1
445.92/446.07	c  444s |      12 |   856670 |    36119 |    81086      0 |        1 |        1
448.52/448.64	c  447s |      12 |   866283 |    36419 |    81086      0 |        1 |        1
451.72/451.84	c  450s |      12 |   867497 |    36619 |    81086      0 |        1 |        1
453.82/453.99	c  452s |      12 |   867604 |    36719 |    81086      0 |        1 |        1
456.12/456.25	c  454s |      12 |   875734 |    36919 |    81086      0 |        1 |        1
458.82/458.91	c  457s |      12 |   877572 |    37119 |    81086      0 |        1 |        1
460.93/461.02	c  459s |      12 |   877858 |    37219 |    81086      0 |        1 |        1
463.82/463.91	c  462s |      12 |   882609 |    37519 |    81086      0 |        1 |        1
466.92/467.02	c  465s |      12 |   883895 |    37719 |    81086      0 |        1 |        1
469.02/469.16	c  467s |      12 |   887162 |    37919 |    81086      0 |        1 |        1
472.12/472.23	c  470s |      12 |   889772 |    38119 |    81086      0 |        1 |        1
475.42/475.52	c  473s |      12 |   892452 |    38419 |    81086      0 |        1 |        1
478.12/478.20	c  476s |      12 |   895455 |    38619 |    89195      0 |        1 |        1
480.72/480.86	c  479s |      12 |   899188 |    38819 |    89195      0 |        1 |        1
480.92/481.03	c  479s |      13 |   899188 |    38832 |    89195      0 |        1 |        1
484.42/484.51	c  482s |      13 |   899561 |    38932 |    89195      0 |        1 |        1
486.72/486.88	c  485s |      13 |   899872 |    39032 |    89195      0 |        1 |        1
488.91/489.08	c  487s |      13 |   903138 |    39132 |    89195      0 |        1 |        1
491.62/491.78	c  490s |      13 |   903138 |    39232 |    89195      0 |        1 |        1
495.02/495.19	c  493s |      13 |   907940 |    39432 |    89195      0 |        1 |        1
497.71/497.86	c  496s |      13 |   908692 |    39532 |    89195      0 |        1 |        1
501.31/501.40	c  499s |      13 |   911370 |    39732 |    89195      0 |        1 |        1
503.51/503.61	c  502s |      13 |   918666 |    39932 |    89195      0 |        1 |        1
505.81/505.91	c  504s |      13 |   920207 |    40132 |    89195      0 |        1 |        1
508.12/508.27	c  506s |      13 |   921792 |    40232 |    89195      0 |        1 |        1
512.01/512.11	c  510s |      13 |   924189 |    40432 |    89195      0 |        1 |        1
514.01/514.19	c  512s |      13 |   930617 |    40632 |    89195      0 |        1 |        1
517.51/517.67	c  516s |      13 |   931180 |    40832 |    89195      0 |        1 |        1
520.41/520.55	c  518s |      13 |   933342 |    41032 |    89195      0 |        1 |        1
523.21/523.37	c  521s |      13 |   935017 |    41232 |    89195      0 |        1 |        1
526.21/526.38	c  524s |      13 |   935909 |    41432 |    89195      0 |        1 |        1
529.21/529.32	c  527s |      13 |   936964 |    41632 |    89195      0 |        1 |        1
532.31/532.50	c  530s |      13 |   938295 |    41832 |    89195      0 |        1 |        1
535.30/535.46	c  533s |      13 |   939765 |    42032 |    89195      0 |        1 |        1
538.30/538.46	c  536s |      13 |   941250 |    42232 |    89195      0 |        1 |        1
541.11/541.26	c  539s |      13 |   942033 |    42432 |    89195      0 |        1 |        1
544.10/544.29	c  542s |      13 |   943028 |    42632 |    89195      0 |        1 |        1
547.10/547.22	c  545s |      13 |   943699 |    42832 |    89195      0 |        1 |        1
550.20/550.37	c  548s |      13 |   944632 |    43032 |    89195      0 |        1 |        1
553.00/553.18	c  551s |      13 |   946513 |    43232 |    89195      0 |        1 |        1
555.70/555.86	c  554s |      13 |   948135 |    43432 |    89195      0 |        1 |        1
558.61/558.75	c  557s |      13 |   948970 |    43632 |    89195      0 |        1 |        1
561.21/561.36	c  559s |      13 |   950585 |    43832 |    89195      0 |        1 |        1
564.01/564.13	c  562s |      13 |   952213 |    44032 |    89195      0 |        1 |        1
566.91/567.03	c  565s |      13 |   953244 |    44232 |    89195      0 |        1 |        1
568.91/569.04	c  567s |      13 |   953814 |    44432 |    89195      0 |        1 |        1
572.01/572.19	c  570s |      13 |   954028 |    44632 |    89195      0 |        1 |        1
574.91/575.04	c  573s |      13 |   954491 |    44832 |    89195      0 |        1 |        1
577.51/577.62	c  576s |      13 |   955794 |    45032 |    89195      0 |        1 |        1
580.50/580.60	c  579s |      13 |   957143 |    45232 |    89195      0 |        1 |        1
583.50/583.69	c  582s |      13 |   957880 |    45432 |    89195      0 |        1 |        1
586.50/586.62	c  585s |      13 |   958422 |    45632 |    89195      0 |        1 |        1
589.90/590.04	c  588s |      13 |   958998 |    45832 |    89195      0 |        1 |        1
592.30/592.43	c  590s |      13 |   959703 |    46032 |    89195      0 |        1 |        1
595.01/595.12	c  593s |      13 |   960728 |    46232 |    89195      0 |        1 |        1
597.50/597.62	c  596s |      13 |   964093 |    46432 |    89195      0 |        1 |        1
600.20/600.34	c  598s |      13 |   964686 |    46632 |    89195      0 |        1 |        1
603.60/603.78	c  602s |      13 |   967056 |    46932 |    89195      0 |        1 |        1
606.11/606.29	c  604s |      13 |   968127 |    47132 |    89195      0 |        1 |        1
608.60/608.71	c  607s |      13 |   968541 |    47332 |    89195      0 |        1 |        1
611.40/611.52	c  609s |      13 |   969098 |    47532 |    89195      0 |        1 |        1
613.60/613.70	c  612s |      13 |   969649 |    47732 |    89195      0 |        1 |        1
616.40/616.50	c  614s |      13 |   970188 |    47932 |    89195      0 |        1 |        1
618.60/618.73	c  617s |      13 |   973046 |    48132 |    89195      0 |        1 |        1
621.60/621.73	c  620s |      13 |   973779 |    48332 |    89195      0 |        1 |        1
625.00/625.13	c  623s |      13 |   974313 |    48532 |    89195      0 |        1 |        1
627.80/627.99	c  626s |      13 |   977116 |    48732 |    89195      0 |        1 |        1
631.00/631.14	c  629s |      13 |   977602 |    48932 |    89195      0 |        1 |        1
634.29/634.41	c  632s |      13 |   981657 |    49232 |    89195      0 |        1 |        1
636.99/637.11	c  635s |      13 |   984938 |    49432 |    89195      0 |        1 |        1
639.59/639.76	c  638s |      13 |   985540 |    49632 |    89195      0 |        1 |        1
642.30/642.49	c  640s |      13 |   986246 |    49832 |    89195      0 |        1 |        1
645.19/645.33	c  643s |      13 |   986692 |    50032 |    89195      0 |        1 |        1
647.69/647.85	c  646s |      13 |   987476 |    50232 |    89195      0 |        1 |        1
650.39/650.58	c  649s |      13 |   987890 |    50432 |    89195      0 |        1 |        1
653.30/653.44	c  651s |      13 |   990385 |    50632 |    89195      0 |        1 |        1
655.99/656.14	c  654s |      13 |   990979 |    50832 |    89195      0 |        1 |        1
658.79/658.95	c  657s |      13 |   991425 |    51032 |    89195      0 |        1 |        1
661.79/661.99	c  660s |      13 |   993409 |    51232 |    89195      0 |        1 |        1
664.09/664.26	c  662s |      13 |   994104 |    51432 |    89195      0 |        1 |        1
666.79/666.91	c  665s |      13 |   995947 |    51732 |    89195      0 |        1 |        1
669.29/669.40	c  667s |      13 |   998557 |    51932 |    89195      0 |        1 |        1
671.68/671.87	c  670s |      13 |  1002736 |    52132 |    89195      0 |        1 |        1
674.08/674.21	c  672s |      13 |  1024053 |    52432 |    89195      0 |        1 |        1
676.58/676.79	c  675s |      13 |  1028480 |    52632 |    89195      0 |        1 |        1
678.69/678.83	c  677s |      13 |  1029306 |    52732 |    89195      0 |        1 |        1
682.48/682.62	c  681s |      13 |  1029558 |    52932 |    89195      0 |        1 |        1
685.08/685.24	c  683s |      13 |  1037093 |    53132 |    89195      0 |        1 |        1
687.18/687.35	c  685s |      13 |  1037236 |    53232 |    89195      0 |        1 |        1
689.48/689.68	c  688s |      13 |  1044308 |    53332 |    89195      0 |        1 |        1
693.08/693.24	c  691s |      13 |  1044784 |    53532 |    89195      0 |        1 |        1
696.78/696.95	c  695s |      13 |  1049073 |    53732 |    89195      0 |        1 |        1
700.18/700.35	c  698s |      13 |  1053071 |    53932 |    89195      0 |        1 |        1
703.28/703.40	c  701s |      13 |  1059393 |    54132 |    89195      0 |        1 |        1
705.28/705.45	c  703s |      13 |  1059393 |    54232 |    89195      0 |        1 |        1
708.18/708.31	c  706s |      13 |  1065565 |    54432 |    89195      0 |        1 |        1
710.59/710.72	c  709s |      13 |  1065691 |    54532 |    89195      0 |        1 |        1
713.68/713.80	c  712s |      13 |  1072093 |    54732 |    89195      0 |        1 |        1
715.78/715.95	c  714s |      13 |  1072283 |    54832 |    89195      0 |        1 |        1
717.98/718.18	c  716s |      13 |  1077711 |    54932 |    89195      0 |        1 |        1
720.98/721.19	c  719s |      13 |  1078819 |    55132 |    89195      0 |        1 |        1
724.18/724.33	c  722s |      13 |  1082024 |    55332 |    89195      0 |        1 |        1
726.18/726.35	c  724s |      13 |  1082257 |    55432 |    89195      0 |        1 |        1
729.38/729.57	c  727s |      13 |  1083397 |    55632 |    89195      0 |        1 |        1
732.98/733.13	c  731s |      13 |  1084411 |    55832 |    89195      0 |        1 |        1
736.48/736.69	c  735s |      13 |  1086439 |    56032 |    89195      0 |        1 |        1
740.19/740.37	c  738s |      13 |  1089554 |    56232 |    89195      0 |        1 |        1
743.49/743.63	c  742s |      13 |  1092283 |    56432 |    89195      0 |        1 |        1
746.79/746.98	c  745s |      13 |  1094213 |    56632 |    89195      0 |        1 |        1
748.99/749.19	c  747s |      13 |  1094707 |    56732 |    89195      0 |        1 |        1
752.29/752.44	c  750s |      13 |  1098030 |    56932 |    89195      0 |        1 |        1
755.69/755.83	c  754s |      13 |  1099918 |    57132 |    89195      0 |        1 |        1
757.79/757.96	c  756s |      13 |  1101185 |    57232 |    89195      0 |        1 |        1
760.98/761.17	c  759s |      13 |  1103654 |    57432 |    89195      0 |        1 |        1
764.48/764.61	c  763s |      13 |  1105506 |    57632 |    89195      0 |        1 |        1
768.08/768.22	c  766s |      13 |  1107348 |    57832 |    89195      0 |        1 |        1
771.08/771.21	c  769s |      13 |  1109240 |    58032 |    98115      0 |        1 |        1
774.28/774.47	c  772s |      13 |  1111534 |    58232 |    98115      0 |        1 |        1
776.18/776.31	c  774s |      14 |  1113770 |    58352 |    98115      0 |        1 |        1
779.17/779.30	c  777s |      14 |  1117024 |    58552 |    98115      0 |        1 |        1
783.57/783.70	c  782s |      14 |  1118680 |    58752 |    98115      0 |        1 |        1
785.57/785.78	c  784s |      14 |  1126369 |    58952 |    98115      0 |        1 |        1
789.68/789.89	c  788s |      14 |  1126607 |    59152 |    98115      0 |        1 |        1
792.17/792.38	c  790s |      14 |  1127324 |    59252 |    98115      0 |        1 |        1
794.57/794.78	c  793s |      14 |  1130326 |    59452 |    98115      0 |        1 |        1
797.17/797.38	c  795s |      14 |  1130737 |    59652 |    98115      0 |        1 |        1
800.27/800.40	c  798s |      14 |  1136816 |    59852 |    98115      0 |        1 |        1
803.37/803.52	c  801s |      14 |  1138570 |    60052 |    98115      0 |        1 |        1
806.07/806.27	c  804s |      14 |  1141069 |    60152 |    98115      0 |        1 |        1
808.48/808.62	c  807s |      14 |  1143391 |    60352 |    98115      0 |        1 |        1
810.68/810.85	c  809s |      14 |  1143530 |    60452 |    98115      0 |        1 |        1
813.37/813.50	c  811s |      14 |  1145836 |    60552 |    98115      0 |        1 |        1
815.67/815.81	c  814s |      14 |  1151298 |    60752 |    98115      0 |        1 |        1
818.07/818.26	c  816s |      14 |  1151454 |    60852 |    98115      0 |        1 |        1
820.17/820.32	c  818s |      14 |  1156541 |    60952 |    98115      0 |        1 |        1
822.67/822.88	c  821s |      14 |  1157592 |    61152 |    98115      0 |        1 |        1
826.57/826.79	c  825s |      14 |  1158529 |    61352 |    98115      0 |        1 |        1
828.97/829.13	c  827s |      14 |  1163879 |    61552 |    98115      0 |        1 |        1
831.06/831.29	c  829s |      14 |  1164166 |    61652 |    98115      0 |        1 |        1
833.56/833.78	c  832s |      14 |  1164224 |    61752 |    98115      0 |        1 |        1
836.26/836.47	c  834s |      14 |  1171909 |    61952 |    98115      0 |        1 |        1
840.96/841.18	c  839s |      14 |  1172135 |    62152 |    98115      0 |        1 |        1
843.46/843.64	c  842s |      14 |  1179437 |    62352 |    98115      0 |        1 |        1
847.16/847.36	c  845s |      14 |  1179641 |    62552 |    98115      0 |        1 |        1
850.86/851.03	c  849s |      14 |  1185000 |    62852 |    98115      0 |        1 |        1
853.16/853.35	c  851s |      14 |  1185163 |    62952 |    98115      0 |        1 |        1
855.86/856.02	c  854s |      14 |  1192389 |    63152 |    98115      0 |        1 |        1
858.16/858.38	c  856s |      14 |  1192389 |    63252 |    98115      0 |        1 |        1
860.26/860.46	c  858s |      14 |  1197869 |    63352 |    98115      0 |        1 |        1
863.26/863.42	c  861s |      14 |  1199904 |    63652 |    98115      0 |        1 |        1
865.76/865.92	c  864s |      14 |  1199954 |    63752 |    98115      0 |        1 |        1
868.56/868.71	c  867s |      14 |  1200318 |    63852 |    98115      0 |        1 |        1
870.66/870.82	c  869s |      14 |  1206007 |    64052 |    98115      0 |        1 |        1
874.06/874.29	c  872s |      14 |  1207081 |    64252 |    98115      0 |        1 |        1
876.16/876.35	c  874s |      14 |  1209874 |    64352 |    98115      0 |        1 |        1
878.16/878.38	c  876s |      14 |  1214550 |    64552 |    98115      0 |        1 |        1
880.56/880.79	c  879s |      14 |  1214602 |    64652 |    98115      0 |        1 |        1
883.36/883.50	c  881s |      14 |  1219861 |    64852 |    98115      0 |        1 |        1
886.56/886.79	c  885s |      14 |  1220337 |    65052 |    98115      0 |        1 |        1
888.66/888.85	c  887s |      14 |  1221291 |    65152 |    98115      0 |        1 |        1
891.25/891.49	c  889s |      14 |  1228195 |    65352 |    98115      0 |        1 |        1
895.26/895.46	c  893s |      14 |  1228501 |    65552 |    98115      0 |        1 |        1
897.75/897.95	c  896s |      14 |  1233348 |    65652 |    98115      0 |        1 |        1
899.95/900.16	c  898s |      14 |  1235949 |    65852 |    98115      0 |        1 |        1
903.15/903.30	c  901s |      14 |  1236145 |    66052 |    98115      0 |        1 |        1
905.55/905.75	c  904s |      14 |  1238099 |    66152 |    98115      0 |        1 |        1
907.95/908.14	c  906s |      14 |  1242290 |    66352 |    98115      0 |        1 |        1
910.05/910.21	c  908s |      14 |  1243005 |    66452 |    98115      0 |        1 |        1
912.45/912.62	c  911s |      14 |  1248693 |    66652 |    98115      0 |        1 |        1
916.35/916.55	c  914s |      14 |  1249960 |    66852 |    98115      0 |        1 |        1
918.75/918.96	c  917s |      14 |  1255097 |    66952 |    98115      0 |        1 |        1
921.25/921.46	c  919s |      14 |  1257289 |    67152 |    98115      0 |        1 |        1
925.55/925.75	c  924s |      14 |  1257611 |    67352 |    98115      0 |        1 |        1
928.65/928.88	c  927s |      14 |  1262844 |    67552 |    98115      0 |        1 |        1
932.45/932.65	c  931s |      14 |  1264184 |    67752 |    98115      0 |        1 |        1
934.45/934.67	c  933s |      14 |  1269295 |    67852 |    98115      0 |        1 |        1
937.95/938.12	c  936s |      14 |  1270968 |    68052 |    98115      0 |        1 |        1
940.95/941.10	c  939s |      14 |  1276472 |    68252 |    98115      0 |        1 |        1
944.54/944.72	c  943s |      14 |  1277713 |    68452 |    98115      0 |        1 |        1
947.15/947.33	c  945s |      14 |  1278187 |    68552 |    98115      0 |        1 |        1
949.25/949.42	c  947s |      14 |  1284189 |    68752 |    98115      0 |        1 |        1
953.24/953.43	c  951s |      14 |  1284896 |    68952 |    98115      0 |        1 |        1
955.44/955.68	c  954s |      14 |  1288777 |    69052 |    98115      0 |        1 |        1
958.94/959.20	c  957s |      14 |  1290248 |    69252 |    98115      0 |        1 |        1
961.84/962.00	c  960s |      14 |  1290248 |    69352 |    98115      0 |        1 |        1
964.14/964.34	c  962s |      14 |  1295221 |    69552 |    98115      0 |        1 |        1
968.04/968.22	c  966s |      14 |  1296361 |    69752 |    98115      0 |        1 |        1
970.64/970.85	c  969s |      14 |  1298071 |    69852 |    98115      0 |        1 |        1
973.24/973.47	c  971s |      14 |  1302811 |    70052 |    98115      0 |        1 |        1
975.65/975.87	c  974s |      14 |  1303002 |    70152 |    98115      0 |        1 |        1
978.24/978.42	c  976s |      14 |  1303907 |    70252 |    98115      0 |        1 |        1
981.05/981.21	c  979s |      14 |  1305094 |    70452 |    98115      0 |        1 |        1
983.14/983.32	c  981s |      14 |  1305255 |    70552 |    98115      0 |        1 |        1
987.34/987.54	c  985s |      14 |  1305538 |    70752 |    98115      0 |        1 |        1
991.24/991.44	c  989s |      14 |  1306376 |    70952 |    98115      0 |        1 |        1
995.64/995.86	c  994s |      14 |  1308703 |    71152 |    98115      0 |        1 |        1
997.84/998.09	c  996s |      14 |  1312290 |    71352 |    98115      0 |        1 |        1
999.94/1000.12	c  998s |      14 |  1313358 |    71552 |    98115      0 |        1 |        1
1002.63/1002.84	c 1001s |      14 |  1313417 |    71652 |    98115      0 |        1 |        1
1005.63/1005.84	c 1004s |      14 |  1319542 |    71852 |    98115      0 |        1 |        1
1008.03/1008.20	c 1006s |      14 |  1319801 |    71952 |    98115      0 |        1 |        1
1010.13/1010.30	c 1008s |      14 |  1324398 |    72052 |    98115      0 |        1 |        1
1012.73/1012.90	c 1011s |      14 |  1325199 |    72252 |    98115      0 |        1 |        1
1016.83/1017.06	c 1015s |      14 |  1325999 |    72452 |    98115      0 |        1 |        1
1019.83/1020.02	c 1018s |      14 |  1328477 |    72652 |    98115      0 |        1 |        1
1022.53/1022.77	c 1021s |      14 |  1328477 |    72752 |    98115      0 |        1 |        1
1024.93/1025.14	c 1023s |      14 |  1334963 |    72952 |    98115      0 |        1 |        1
1029.44/1029.61	c 1028s |      14 |  1335303 |    73152 |    98115      0 |        1 |        1
1031.83/1032.03	c 1030s |      14 |  1335396 |    73252 |    98115      0 |        1 |        1
1034.23/1034.42	c 1032s |      14 |  1341785 |    73452 |    98115      0 |        1 |        1
1036.43/1036.60	c 1035s |      14 |  1341873 |    73552 |    98115      0 |        1 |        1
1038.63/1038.89	c 1037s |      14 |  1348201 |    73752 |    98115      0 |        1 |        1
1041.33/1041.55	c 1039s |      14 |  1348260 |    73852 |    98115      0 |        1 |        1
1044.53/1044.73	c 1043s |      14 |  1353642 |    74052 |    98115      0 |        1 |        1
1047.63/1047.88	c 1046s |      14 |  1354058 |    74252 |    98115      0 |        1 |        1
1050.23/1050.42	c 1048s |      14 |  1358596 |    74452 |    98115      0 |        1 |        1
1054.63/1054.86	c 1053s |      14 |  1358742 |    74652 |    98115      0 |        1 |        1
1057.63/1057.85	c 1056s |      14 |  1363448 |    74852 |    98115      0 |        1 |        1
1060.92/1061.11	c 1059s |      14 |  1364323 |    75052 |    98115      0 |        1 |        1
1064.63/1064.88	c 1063s |      14 |  1367328 |    75352 |    98115      0 |        1 |        1
1067.22/1067.48	c 1065s |      14 |  1369664 |    75552 |    98115      0 |        1 |        1
1069.82/1070.08	c 1068s |      14 |  1372323 |    75752 |    98115      0 |        1 |        1
1072.52/1072.75	c 1071s |      14 |  1374464 |    75952 |    98115      0 |        1 |        1
1075.02/1075.20	c 1073s |      14 |  1375358 |    76152 |    98115      0 |        1 |        1
1077.42/1077.64	c 1076s |      14 |  1376768 |    76352 |    98115      0 |        1 |        1
1080.13/1080.36	c 1078s |      14 |  1379338 |    76652 |    98115      0 |        1 |        1
1082.72/1082.92	c 1081s |      14 |  1381883 |    76952 |    98115      0 |        1 |        1
1085.02/1085.20	c 1083s |      14 |  1384359 |    77252 |    98115      0 |        1 |        1
1087.62/1087.88	c 1086s |      14 |  1387450 |    77652 |    98115      0 |        1 |        1
1090.52/1090.70	c 1089s |      14 |  1388437 |    77852 |    98115      0 |        1 |        1
1092.72/1092.96	c 1091s |      14 |  1391108 |    78052 |    98115      0 |        1 |        1
1095.53/1095.75	c 1094s |      14 |  1392424 |    78252 |    98115      0 |        1 |        1
1097.73/1097.93	c 1096s |      14 |  1392580 |    78352 |    98115      0 |        1 |        1
1100.52/1100.76	c 1099s |      14 |  1395531 |    78552 |    98115      0 |        1 |        1
1102.52/1102.78	c 1101s |      14 |  1395969 |    78652 |    98115      0 |        1 |        1
1104.52/1104.79	c 1103s |      14 |  1398427 |    78852 |    98115      0 |        1 |        1
1108.22/1108.48	c 1106s |      14 |  1398921 |    79052 |    98115      0 |        1 |        1
1111.32/1111.52	c 1109s |      14 |  1399929 |    79252 |    98115      0 |        1 |        1
1114.32/1114.58	c 1113s |      14 |  1400831 |    79452 |    98115      0 |        1 |        1
1117.12/1117.36	c 1115s |      14 |  1401949 |    79652 |    98115      0 |        1 |        1
1120.12/1120.36	c 1118s |      14 |  1402859 |    79852 |    98115      0 |        1 |        1
1122.92/1123.12	c 1121s |      14 |  1403885 |    80052 |    98115      0 |        1 |        1
1125.41/1125.62	c 1124s |      14 |  1405095 |    80252 |    98115      0 |        1 |        1
1128.42/1128.70	c 1127s |      14 |  1405387 |    80452 |    98115      0 |        1 |        1
1131.91/1132.16	c 1130s |      14 |  1405804 |    80652 |    98115      0 |        1 |        1
1134.91/1135.17	c 1133s |      14 |  1406374 |    80852 |    98115      0 |        1 |        1
1138.11/1138.39	c 1136s |      14 |  1406829 |    81052 |    98115      0 |        1 |        1
1141.22/1141.45	c 1139s |      14 |  1407521 |    81252 |    98115      0 |        1 |        1
1143.62/1143.87	c 1142s |      14 |  1407913 |    81452 |    98115      0 |        1 |        1
1145.92/1146.13	c 1144s |      14 |  1409499 |    81652 |    98115      0 |        1 |        1
1148.62/1148.85	c 1147s |      14 |  1410747 |    81852 |    98115      0 |        1 |        1
1152.12/1152.30	c 1150s |      14 |  1413196 |    82152 |    98115      0 |        1 |        1
1155.22/1155.45	c 1153s |      14 |  1416082 |    82452 |    98115      0 |        1 |        1
1158.82/1159.05	c 1157s |      14 |  1416854 |    82652 |    98115      0 |        1 |        1
1162.32/1162.51	c 1160s |      14 |  1420497 |    82952 |    98115      0 |        1 |        1
1164.42/1164.63	c 1163s |      14 |  1422857 |    83152 |    98115      0 |        1 |        1
1167.41/1167.67	c 1166s |      14 |  1423647 |    83352 |    98115      0 |        1 |        1
1169.51/1169.75	c 1168s |      14 |  1423770 |    83452 |    98115      0 |        1 |        1
1171.61/1171.85	c 1170s |      14 |  1425915 |    83652 |    98115      0 |        1 |        1
1174.62/1174.87	c 1173s |      14 |  1427362 |    83852 |    98115      0 |        1 |        1
1176.71/1176.99	c 1175s |      14 |  1429726 |    84052 |    98115      0 |        1 |        1
1179.51/1179.79	c 1178s |      14 |  1432204 |    84252 |    98115      0 |        1 |        1
1181.71/1181.94	c 1180s |      14 |  1433287 |    84452 |    98115      0 |        1 |        1
1184.41/1184.68	c 1183s |      14 |  1434522 |    84652 |    98115      0 |        1 |        1
1187.92/1188.11	c 1186s |      14 |  1435961 |    84952 |    98115      0 |        1 |        1
1190.81/1191.00	c 1189s |      14 |  1438747 |    85252 |    98115      0 |        1 |        1
1193.21/1193.40	c 1191s |      14 |  1439110 |    85452 |    98115      0 |        1 |        1
1195.21/1195.49	c 1193s |      14 |  1440702 |    85652 |    98115      0 |        1 |        1
1197.61/1197.89	c 1196s |      14 |  1442027 |    85852 |    98115      0 |        1 |        1
1200.41/1200.69	c 1199s |      14 |  1443302 |    86052 |    98115      0 |        1 |        1
1203.32/1203.54	c 1201s |      14 |  1444525 |    86252 |    98115      0 |        1 |        1
1206.01/1206.25	c 1204s |      14 |  1445011 |    86452 |    98115      0 |        1 |        1
1208.61/1208.84	c 1207s |      14 |  1446506 |    86652 |    98115      0 |        1 |        1
1210.91/1211.12	c 1209s |      14 |  1447791 |    86852 |    98115      0 |        1 |        1
1213.11/1213.34	c 1211s |      14 |  1448136 |    87052 |   107927      0 |        1 |        1
1215.61/1215.85	c 1214s |      14 |  1450211 |    87252 |   107927      0 |        1 |        1
1218.00/1218.25	c 1216s |      14 |  1450881 |    87452 |   107927      0 |        1 |        1
1220.40/1220.63	c 1219s |      15 |  1451810 |    87632 |   107927      0 |        1 |        1
1223.40/1223.68	c 1222s |      15 |  1456298 |    87732 |   107927      0 |        1 |        1
1226.20/1226.47	c 1224s |      15 |  1457893 |    88032 |   107927      0 |        1 |        1
1228.40/1228.68	c 1227s |      15 |  1460296 |    88132 |   107927      0 |        1 |        1
1231.50/1231.78	c 1230s |      15 |  1464114 |    88432 |   107927      0 |        1 |        1
1235.90/1236.13	c 1234s |      15 |  1468979 |    88632 |   107927      0 |        1 |        1
1238.80/1239.02	c 1237s |      15 |  1473038 |    88932 |   107927      0 |        1 |        1
1242.10/1242.38	c 1240s |      15 |  1473471 |    89132 |   107927      0 |        1 |        1
1244.80/1245.09	c 1243s |      15 |  1478391 |    89332 |   107927      0 |        1 |        1
1247.90/1248.15	c 1246s |      15 |  1478937 |    89532 |   107927      0 |        1 |        1
1251.00/1251.29	c 1249s |      15 |  1482527 |    89732 |   107927      0 |        1 |        1
1254.10/1254.31	c 1252s |      15 |  1485493 |    90032 |   107927      0 |        1 |        1
1257.39/1257.61	c 1256s |      15 |  1486180 |    90232 |   107927      0 |        1 |        1
1259.69/1259.95	c 1258s |      15 |  1486249 |    90332 |   107927      0 |        1 |        1
1262.09/1262.36	c 1260s |      15 |  1492737 |    90532 |   107927      0 |        1 |        1
1265.69/1265.98	c 1264s |      15 |  1493551 |    90732 |   107927      0 |        1 |        1
1268.39/1268.66	c 1267s |      15 |  1493670 |    90832 |   107927      0 |        1 |        1
1270.99/1271.20	c 1269s |      15 |  1499862 |    91032 |   107927      0 |        1 |        1
1273.79/1274.09	c 1272s |      15 |  1500901 |    91232 |   107927      0 |        1 |        1
1277.19/1277.40	c 1275s |      15 |  1501322 |    91432 |   107927      0 |        1 |        1
1279.79/1280.08	c 1278s |      15 |  1503277 |    91532 |   107927      0 |        1 |        1
1283.19/1283.48	c 1281s |      15 |  1508683 |    91832 |   107927      0 |        1 |        1
1287.59/1287.86	c 1286s |      15 |  1509072 |    92032 |   107927      0 |        1 |        1
1290.10/1290.36	c 1288s |      15 |  1509721 |    92232 |   107927      0 |        1 |        1
1292.40/1292.67	c 1291s |      15 |  1512691 |    92432 |   107927      0 |        1 |        1
1295.60/1295.82	c 1294s |      15 |  1514974 |    92832 |   107927      0 |        1 |        1
1298.80/1299.03	c 1297s |      15 |  1516703 |    93132 |   107927      0 |        1 |        1
1301.10/1301.39	c 1299s |      15 |  1519281 |    93332 |   107927      0 |        1 |        1
1303.60/1303.85	c 1302s |      15 |  1519833 |    93532 |   107927      0 |        1 |        1
1306.20/1306.41	c 1304s |      15 |  1522588 |    93732 |   107927      0 |        1 |        1
1309.00/1309.26	c 1307s |      15 |  1522859 |    93932 |   107927      0 |        1 |        1
1311.29/1311.55	c 1309s |      15 |  1525853 |    94132 |   107927      0 |        1 |        1
1314.09/1314.35	c 1312s |      15 |  1526404 |    94332 |   107927      0 |        1 |        1
1316.19/1316.46	c 1314s |      15 |  1529729 |    94532 |   107927      0 |        1 |        1
1319.90/1320.17	c 1318s |      15 |  1530081 |    94732 |   107927      0 |        1 |        1
1322.59/1322.89	c 1321s |      15 |  1532468 |    94932 |   107927      0 |        1 |        1
1325.30/1325.52	c 1323s |      15 |  1532915 |    95132 |   107927      0 |        1 |        1
1327.69/1327.96	c 1326s |      15 |  1535392 |    95332 |   107927      0 |        1 |        1
1330.29/1330.50	c 1328s |      15 |  1535754 |    95532 |   107927      0 |        1 |        1
1332.89/1333.16	c 1331s |      15 |  1538067 |    95732 |   107927      0 |        1 |        1
1335.69/1335.99	c 1334s |      15 |  1540686 |    95932 |   107927      0 |        1 |        1
1338.39/1338.62	c 1337s |      15 |  1541511 |    96132 |   107927      0 |        1 |        1
1341.89/1342.12	c 1340s |      15 |  1541813 |    96332 |   107927      0 |        1 |        1
1344.38/1344.65	c 1343s |      15 |  1544345 |    96532 |   107927      0 |        1 |        1
1347.58/1347.84	c 1346s |      15 |  1545364 |    96732 |   107927      0 |        1 |        1
1350.78/1351.05	c 1349s |      15 |  1547251 |    96932 |   107927      0 |        1 |        1
1353.78/1354.02	c 1352s |      15 |  1549237 |    97132 |   107927      0 |        1 |        1
1356.98/1357.28	c 1355s |      15 |  1551127 |    97332 |   107927      0 |        1 |        1
1359.39/1359.62	c 1358s |      15 |  1551862 |    97532 |   107927      0 |        1 |        1
1362.28/1362.55	c 1360s |      15 |  1553697 |    97732 |   107927      0 |        1 |        1
1365.58/1365.89	c 1364s |      15 |  1554210 |    97932 |   107927      0 |        1 |        1
1367.98/1368.28	c 1366s |      15 |  1555492 |    98132 |   107927      0 |        1 |        1
1370.78/1371.03	c 1369s |      15 |  1557760 |    98332 |   107927      0 |        1 |        1
1373.28/1373.53	c 1371s |      15 |  1559192 |    98532 |   107927      0 |        1 |        1
1376.28/1376.57	c 1374s |      15 |  1559514 |    98732 |   107927      0 |        1 |        1
1378.58/1378.82	c 1377s |      15 |  1562162 |    98932 |   107927      0 |        1 |        1
1381.28/1381.52	c 1379s |      15 |  1563518 |    99132 |   107927      0 |        1 |        1
1383.98/1384.27	c 1382s |      15 |  1564775 |    99332 |   107927      0 |        1 |        1
1387.08/1387.32	c 1385s |      15 |  1566780 |    99532 |   107927      0 |        1 |        1
1390.18/1390.48	c 1388s |      15 |  1568855 |    99732 |   107927      0 |        1 |        1
1393.48/1393.75	c 1392s |      15 |  1570378 |    99932 |   107927      0 |        1 |        1
1396.27/1396.56	c 1394s |      15 |  1571229 |   100132 |   107927      0 |        1 |        1
1398.98/1399.26	c 1397s |      15 |  1572113 |   100332 |   107927      0 |        1 |        1
1401.37/1401.64	c 1400s |      15 |  1572629 |   100532 |   107927      0 |        1 |        1
1403.48/1403.77	c 1402s |      15 |  1574044 |   100732 |   107927      0 |        1 |        1
1406.07/1406.32	c 1404s |      15 |  1575840 |   100932 |   107927      0 |        1 |        1
1408.77/1409.07	c 1407s |      15 |  1576607 |   101132 |   107927      0 |        1 |        1
1411.37/1411.63	c 1410s |      15 |  1577037 |   101332 |   107927      0 |        1 |        1
1414.67/1414.97	c 1413s |      15 |  1578128 |   101532 |   107927      0 |        1 |        1
1417.27/1417.59	c 1416s |      15 |  1579117 |   101732 |   107927      0 |        1 |        1
1419.77/1420.10	c 1418s |      15 |  1579794 |   101932 |   107927      0 |        1 |        1
1422.08/1422.31	c 1420s |      15 |  1580534 |   102132 |   107927      0 |        1 |        1
1424.47/1424.75	c 1423s |      15 |  1581554 |   102332 |   107927      0 |        1 |        1
1427.87/1428.16	c 1426s |      15 |  1582332 |   102532 |   107927      0 |        1 |        1
1430.47/1430.72	c 1429s |      15 |  1582842 |   102732 |   107927      0 |        1 |        1
1433.08/1433.38	c 1431s |      15 |  1583592 |   102932 |   107927      0 |        1 |        1
1435.57/1435.86	c 1434s |      15 |  1584446 |   103132 |   107927      0 |        1 |        1
1438.07/1438.35	c 1436s |      15 |  1585035 |   103332 |   107927      0 |        1 |        1
1440.57/1440.83	c 1439s |      15 |  1585529 |   103532 |   107927      0 |        1 |        1
1443.17/1443.49	c 1441s |      15 |  1586092 |   103732 |   107927      0 |        1 |        1
1445.47/1445.72	c 1444s |      15 |  1587013 |   103932 |   107927      0 |        1 |        1
1448.36/1448.68	c 1447s |      15 |  1587691 |   104232 |   107927      0 |        1 |        1
1451.06/1451.39	c 1449s |      15 |  1588727 |   104532 |   107927      0 |        1 |        1
1453.56/1453.83	c 1452s |      15 |  1589438 |   104732 |   107927      0 |        1 |        1
1456.47/1456.77	c 1455s |      15 |  1590013 |   105032 |   107927      0 |        1 |        1
1458.97/1459.25	c 1457s |      15 |  1590887 |   105232 |   107927      0 |        1 |        1
1462.17/1462.49	c 1460s |      15 |  1591423 |   105532 |   107927      0 |        1 |        1
1464.37/1464.67	c 1463s |      15 |  1592258 |   105732 |   107927      0 |        1 |        1
1467.18/1467.47	c 1465s |      15 |  1593174 |   106032 |   107927      0 |        1 |        1
1469.38/1469.70	c 1468s |      15 |  1593688 |   106232 |   107927      0 |        1 |        1
1472.37/1472.68	c 1471s |      15 |  1594405 |   106532 |   107927      0 |        1 |        1
1475.07/1475.39	c 1473s |      15 |  1595066 |   106732 |   107927      0 |        1 |        1
1477.37/1477.64	c 1476s |      15 |  1595529 |   106932 |   107927      0 |        1 |        1
1479.47/1479.78	c 1478s |      15 |  1596277 |   107132 |   107927      0 |        1 |        1
1482.07/1482.36	c 1480s |      15 |  1597333 |   107332 |   107927      0 |        1 |        1
1485.07/1485.38	c 1483s |      15 |  1598242 |   107632 |   107927      0 |        1 |        1
1487.97/1488.25	c 1486s |      15 |  1599756 |   107932 |   107927      0 |        1 |        1
1490.57/1490.82	c 1489s |      15 |  1600190 |   108132 |   107927      0 |        1 |        1
1493.07/1493.39	c 1491s |      15 |  1601278 |   108332 |   107927      0 |        1 |        1
1495.77/1496.07	c 1494s |      15 |  1601851 |   108532 |   107927      0 |        1 |        1
1498.17/1498.44	c 1496s |      15 |  1603191 |   108732 |   107927      0 |        1 |        1
1502.56/1502.86	c 1501s |      15 |  1604021 |   108832 |   107927      1 |        1 |        1
1504.96/1505.24	c 1503s |      15 |  1604715 |   109032 |   107927      1 |        1 |        1
1507.76/1508.09	c 1506s |      15 |  1607805 |   109232 |   107927      1 |        1 |        1
1510.86/1511.11	c 1509s |      15 |  1610528 |   109532 |   107927      1 |        1 |        1
1513.47/1513.76	c 1512s |      15 |  1611049 |   109732 |   107927      1 |        1 |        1
1515.46/1515.78	c 1514s |      15 |  1617280 |   109932 |   107927      1 |        1 |        1
1517.96/1518.28	c 1516s |      15 |  1618186 |   110132 |   107927      1 |        1 |        1
1520.66/1520.90	c 1519s |      15 |  1619166 |   110332 |   107927      1 |        1 |        1
1522.76/1523.01	c 1521s |      15 |  1624479 |   110532 |   107927      1 |        1 |        1
1524.76/1525.02	c 1523s |      15 |  1625967 |   110732 |   107927      1 |        1 |        1
1527.77/1528.07	c 1526s |      15 |  1630302 |   110932 |   107927      1 |        1 |        1
1530.76/1531.08	c 1529s |      15 |  1634307 |   111232 |   107927      1 |        1 |        1
1533.46/1533.72	c 1532s |      15 |  1635030 |   111432 |   107927      1 |        1 |        1
1535.86/1536.17	c 1534s |      15 |  1636947 |   111632 |   107927      1 |        1 |        1
1538.16/1538.45	c 1536s |      15 |  1645431 |   111932 |   107927      1 |        1 |        1
1540.76/1541.10	c 1539s |      15 |  1648718 |   112132 |   107927      1 |        1 |        1
1542.86/1543.10	c 1541s |      15 |  1654763 |   112332 |   107927      1 |        1 |        1
1545.96/1546.20	c 1544s |      15 |  1656583 |   112532 |   107927      1 |        1 |        1
1548.06/1548.32	c 1546s |      15 |  1656797 |   112632 |   107927      1 |        1 |        1
1551.55/1551.80	c 1550s |      15 |  1671290 |   112932 |   107927      1 |        1 |        1
1554.65/1554.92	c 1553s |      15 |  1671852 |   113132 |   107927      1 |        1 |        1
1556.65/1556.92	c 1555s |      15 |  1672411 |   113332 |   107927      1 |        1 |        1
1558.85/1559.15	c 1557s |      15 |  1672890 |   113432 |   107927      1 |        1 |        1
1561.65/1561.97	c 1560s |      15 |  1673290 |   113532 |   107927      1 |        1 |        1
1564.75/1565.06	c 1563s |      15 |  1673587 |   113832 |   107927      1 |        1 |        1
1567.55/1567.81	c 1566s |      15 |  1674509 |   114132 |   107927      1 |        1 |        1
1569.56/1569.82	c 1568s |      15 |  1674689 |   114332 |   107927      1 |        1 |        1
1572.56/1572.80	c 1571s |      15 |  1674939 |   114532 |   107927      1 |        1 |        1
1575.45/1575.77	c 1574s |      15 |  1675384 |   114732 |   107927      1 |        1 |        1
1577.55/1577.81	c 1576s |      15 |  1678186 |   114932 |   107927      1 |        1 |        1
1581.75/1582.06	c 1580s |      15 |  1686972 |   115232 |   107927      1 |        1 |        1
1583.95/1584.22	c 1582s |      15 |  1691150 |   115432 |   107927      1 |        1 |        1
1586.06/1586.33	c 1584s |      15 |  1697469 |   115632 |   107927      1 |        1 |        1
1588.95/1589.29	c 1587s |      15 |  1706885 |   115932 |   107927      1 |        1 |        1
1591.95/1592.23	c 1590s |      15 |  1711443 |   116232 |   107927      1 |        1 |        1
1594.55/1594.80	c 1593s |      15 |  1718207 |   116532 |   107927      1 |        1 |        1
1596.55/1596.82	c 1595s |      15 |  1722052 |   116732 |   107927      1 |        1 |        1
1598.55/1598.89	c 1597s |      15 |  1726526 |   116932 |   107927      1 |        1 |        1
1600.85/1601.11	c 1599s |      15 |  1732610 |   117132 |   107927      1 |        1 |        1
1603.15/1603.49	c 1601s |      15 |  1738001 |   117332 |   107927      1 |        1 |        1
1605.55/1605.85	c 1604s |      15 |  1744120 |   117532 |   107927      1 |        1 |        1
1608.05/1608.33	c 1606s |      15 |  1749246 |   117732 |   107927      1 |        1 |        1
1610.25/1610.56	c 1608s |      15 |  1754372 |   117932 |   107927      1 |        1 |        1
1612.94/1613.30	c 1611s |      15 |  1759087 |   118132 |   107927      1 |        1 |        1
1615.44/1615.78	c 1614s |      15 |  1762290 |   118332 |   107927      1 |        1 |        1
1618.05/1618.37	c 1616s |      15 |  1765012 |   118532 |   107927      1 |        1 |        1
1620.34/1620.69	c 1619s |      15 |  1769843 |   118732 |   107927      1 |        1 |        1
1623.04/1623.37	c 1621s |      15 |  1775076 |   118932 |   107927      1 |        1 |        1
1625.44/1625.73	c 1624s |      15 |  1781188 |   119132 |   107927      1 |        1 |        1
1627.94/1628.28	c 1626s |      15 |  1785353 |   119332 |   107927      1 |        1 |        1
1630.24/1630.59	c 1629s |      15 |  1790247 |   119532 |   107927      1 |        1 |        1
1632.94/1633.29	c 1631s |      15 |  1794815 |   119732 |   107927      1 |        1 |        1
1635.74/1636.06	c 1634s |      15 |  1797412 |   119932 |   107927      1 |        1 |        1
1637.75/1638.07	c 1636s |      15 |  1798133 |   120032 |   107927      1 |        1 |        1
1640.54/1640.86	c 1639s |      15 |  1798457 |   120132 |   107927      1 |        1 |        1
1644.44/1644.78	c 1643s |      15 |  1811080 |   120432 |   107927      1 |        1 |        1
1646.64/1646.96	c 1645s |      15 |  1811325 |   120532 |   107927      1 |        1 |        1
1648.84/1649.12	c 1647s |      15 |  1812850 |   120632 |   107927      1 |        1 |        1
1652.04/1652.36	c 1650s |      15 |  1813449 |   120932 |   107927      1 |        1 |        1
1655.94/1656.25	c 1654s |      15 |  1815086 |   121132 |   107927      1 |        1 |        1
1658.93/1659.25	c 1657s |      15 |  1818518 |   121332 |   107927      1 |        1 |        1
1661.84/1662.16	c 1660s |      15 |  1818997 |   121532 |   107927      1 |        1 |        1
1665.14/1665.46	c 1663s |      15 |  1822253 |   121732 |   107927      1 |        1 |        1
1668.13/1668.47	c 1666s |      15 |  1822879 |   121932 |   107927      1 |        1 |        1
1670.23/1670.55	c 1668s |      15 |  1823396 |   122132 |   107927      1 |        1 |        1
1672.84/1673.20	c 1671s |      15 |  1827302 |   122332 |   107927      1 |        1 |        1
1675.73/1676.09	c 1674s |      15 |  1829774 |   122532 |   107927      1 |        1 |        1
1678.13/1678.42	c 1676s |      15 |  1830357 |   122732 |   107927      1 |        1 |        1
1680.43/1680.76	c 1679s |      15 |  1832695 |   122932 |   107927      1 |        1 |        1
1682.53/1682.89	c 1681s |      15 |  1833209 |   123132 |   107927      1 |        1 |        1
1684.63/1684.96	c 1683s |      15 |  1835201 |   123332 |   107927      1 |        1 |        1
1687.63/1687.92	c 1686s |      15 |  1837015 |   123632 |   107927      1 |        1 |        1
1690.43/1690.72	c 1689s |      15 |  1838673 |   123932 |   107927      1 |        1 |        1
1692.63/1692.91	c 1691s |      15 |  1838914 |   124132 |   107927      1 |        1 |        1
1695.33/1695.60	c 1694s |      15 |  1839613 |   124332 |   107927      1 |        1 |        1
1697.33/1697.68	c 1696s |      15 |  1841829 |   124532 |   107927      1 |        1 |        1
1699.62/1699.99	c 1698s |      15 |  1845534 |   124732 |   107927      1 |        1 |        1
1702.12/1702.47	c 1700s |      15 |  1847783 |   124932 |   107927      1 |        1 |        1
1704.83/1705.12	c 1703s |      15 |  1849805 |   125132 |   107927      1 |        1 |        1
1707.32/1707.61	c 1706s |      15 |  1851871 |   125332 |   107927      1 |        1 |        1
1709.82/1710.10	c 1708s |      15 |  1854085 |   125532 |   107927      1 |        1 |        1
1712.32/1712.64	c 1711s |      15 |  1855004 |   125732 |   107927      1 |        1 |        1
1714.73/1715.07	c 1713s |      15 |  1858869 |   125932 |   107927      1 |        1 |        1
1717.62/1717.92	c 1716s |      15 |  1861371 |   126132 |   107927      1 |        1 |        1
1720.42/1720.80	c 1719s |      15 |  1865884 |   126332 |   107927      1 |        1 |        1
1723.32/1723.65	c 1722s |      15 |  1868278 |   126532 |   107927      1 |        1 |        1
1725.73/1726.04	c 1724s |      15 |  1870025 |   126732 |   107927      1 |        1 |        1
1728.82/1729.12	c 1727s |      15 |  1871390 |   126932 |   107927      1 |        1 |        1
1731.42/1731.72	c 1730s |      15 |  1871921 |   127132 |   107927      1 |        1 |        1
1734.22/1734.57	c 1733s |      15 |  1874999 |   127332 |   107927      1 |        1 |        1
1736.92/1737.22	c 1735s |      15 |  1875629 |   127532 |   107927      1 |        1 |        1
1739.92/1740.23	c 1738s |      15 |  1876980 |   127732 |   107927      1 |        1 |        1
1742.61/1742.96	c 1741s |      15 |  1879046 |   127932 |   107927      1 |        1 |        1
1745.11/1745.48	c 1743s |      15 |  1879652 |   128132 |   107927      1 |        1 |        1
1747.62/1747.95	c 1746s |      15 |  1883097 |   128332 |   107927      1 |        1 |        1
1750.31/1750.63	c 1749s |      15 |  1883314 |   128532 |   107927      1 |        1 |        1
1753.51/1753.86	c 1752s |      15 |  1885789 |   128732 |   107927      1 |        1 |        1
1756.61/1756.95	c 1755s |      15 |  1886824 |   128932 |   107927      1 |        1 |        1
1758.91/1759.28	c 1757s |      15 |  1887269 |   129132 |   107927      1 |        1 |        1
1761.81/1762.16	c 1760s |      15 |  1894619 |   129332 |   107927      1 |        1 |        1
1764.81/1765.17	c 1763s |      15 |  1895684 |   129532 |   107927      1 |        1 |        1
1767.62/1767.98	c 1766s |      15 |  1898411 |   129732 |   107927      1 |        1 |        1
1771.01/1771.37	c 1769s |      15 |  1899715 |   129932 |   107927      1 |        1 |        1
1773.11/1773.46	c 1771s |      15 |  1900806 |   130032 |   107927      1 |        1 |        1
1775.61/1775.94	c 1774s |      15 |  1901390 |   130132 |   107927      1 |        1 |        1
1777.71/1778.09	c 1776s |      15 |  1902403 |   130232 |   107927      1 |        1 |        1
1780.01/1780.30	c 1778s |      15 |  1902961 |   130332 |   107927      1 |        1 |        1
1783.11/1783.47	c 1781s |      15 |  1906778 |   130532 |   107927      1 |        1 |        1
1785.51/1785.89	c 1784s |      15 |  1915679 |   130732 |   118720      1 |        1 |        1
1789.00/1789.30	c 1787s |      15 |  1917187 |   130932 |   118720      1 |        1 |        1
1791.80/1792.18	c 1790s |      15 |  1917604 |   131132 |   118720      1 |        1 |        1
1794.30/1794.64	c 1793s |      15 |  1922236 |   131332 |   118720      1 |        1 |        1
1798.70/1799.04	c 1797s |      15 |  1923615 |   131532 |   118720      1 |        1 |        1
1798.89/1799.29	c 1797s |      16 |  1926641 |   131552 |   118720      1 |        1 |        1

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

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

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


[startup+0 s]
/proc/loadavg: 2.34 2.25 2.12 3/179 10685
/proc/meminfo: memFree=29996496/32872528 swapFree=17888/1798212
[pid=10685] ppid=10682 vsize=787900 CPUtime=0 cores=1,3,5,7
/proc/10685/stat : 10685 (toysat) R 10682 10685 10472 0 -1 4202496 2952 0 0 0 0 0 0 0 20 0 4 0 29788103 806809600 3312 33554432000 4194304 16246674 140734149974064 140734149973488 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10685/statm: 197487 3321 441 2943 0 194381 0
[pid=10685/tid=10686] ppid=10682 vsize=805308 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10686/stat : 10686 (toysat) S 10682 10685 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29788103 824635392 3381 33554432000 4194304 16246674 140734149974064 140264399154416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10685/tid=10687] ppid=10682 vsize=809404 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10687/stat : 10687 (toysat) S 10682 10685 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788103 828829696 3398 33554432000 4194304 16246674 140734149974064 140264388664560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10685/tid=10688] ppid=10682 vsize=813500 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10688/stat : 10688 (toysat) S 10682 10685 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788103 833024000 3414 33554432000 4194304 16246674 140734149974064 140264303750320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.34 2.25 2.12 3/179 10685
/proc/meminfo: memFree=29996496/32872528 swapFree=17888/1798212
[pid=10685] ppid=10682 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/10685/stat : 10685 (toysat) R 10682 10685 10472 0 -1 4202496 26652 0 0 0 5 4 0 0 20 0 4 0 29788103 1333334016 26951 33554432000 4194304 16246674 140734149974064 140734149973376 8058197 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10685/statm: 325521 26967 800 2943 0 322415 0
[pid=10685/tid=10686] ppid=10682 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10686/stat : 10686 (toysat) S 10682 10685 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29788103 1333334016 26979 33554432000 4194304 16246674 140734149974064 140264399154416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10685/tid=10687] ppid=10682 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10687/stat : 10687 (toysat) S 10682 10685 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788103 1333334016 26990 33554432000 4194304 16246674 140734149974064 140264388664560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10685/tid=10688] ppid=10682 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10688/stat : 10688 (toysat) S 10682 10685 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788103 1333334016 27002 33554432000 4194304 16246674 140734149974064 140264303750320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200577 s]
/proc/loadavg: 2.34 2.25 2.12 3/179 10685
/proc/meminfo: memFree=29996496/32872528 swapFree=17888/1798212
[pid=10685] ppid=10682 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/10685/stat : 10685 (toysat) R 10682 10685 10472 0 -1 4202496 48011 0 0 0 12 7 0 0 20 0 4 0 29788103 1345916928 48820 33554432000 4194304 16246674 140734149974064 140734149973376 8057269 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10685/statm: 328593 48820 800 2943 0 325487 0
[pid=10685/tid=10686] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10686/stat : 10686 (toysat) S 10682 10685 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 48820 33554432000 4194304 16246674 140734149974064 140264399154416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10685/tid=10687] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10687/stat : 10687 (toysat) S 10682 10685 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 48820 33554432000 4194304 16246674 140734149974064 140264388664560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10685/tid=10688] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10688/stat : 10688 (toysat) S 10682 10685 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 48820 33554432000 4194304 16246674 140734149974064 140264303750320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300525 s]
/proc/loadavg: 2.34 2.25 2.12 3/179 10685
/proc/meminfo: memFree=29996496/32872528 swapFree=17888/1798212
[pid=10685] ppid=10682 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/10685/stat : 10685 (toysat) R 10682 10685 10472 0 -1 4202496 48291 0 0 0 22 7 0 0 20 0 4 0 29788103 1345916928 49100 33554432000 4194304 16246674 140734149974064 140734149973376 12500687 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10685/statm: 328593 49100 838 2943 0 325487 0
[pid=10685/tid=10686] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10686/stat : 10686 (toysat) S 10682 10685 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 49100 33554432000 4194304 16246674 140734149974064 140264399154416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10685/tid=10687] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10687/stat : 10687 (toysat) S 10682 10685 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 49100 33554432000 4194304 16246674 140734149974064 140264388664560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10685/tid=10688] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10688/stat : 10688 (toysat) S 10682 10685 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 49100 33554432000 4194304 16246674 140734149974064 140264303750320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700426 s]
/proc/loadavg: 2.34 2.25 2.12 3/179 10685
/proc/meminfo: memFree=29996496/32872528 swapFree=17888/1798212
[pid=10685] ppid=10682 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/10685/stat : 10685 (toysat) R 10682 10685 10472 0 -1 4202496 61478 0 0 0 59 10 0 0 20 0 4 0 29788103 1345916928 62287 33554432000 4194304 16246674 140734149974064 140734149971904 4225128 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10685/statm: 328593 62287 838 2943 0 325487 0
[pid=10685/tid=10686] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10686/stat : 10686 (toysat) S 10682 10685 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 62287 33554432000 4194304 16246674 140734149974064 140264399154416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10685/tid=10687] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10687/stat : 10687 (toysat) S 10682 10685 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 62287 33554432000 4194304 16246674 140734149974064 140264388664560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10685/tid=10688] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10688/stat : 10688 (toysat) S 10682 10685 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 62287 33554432000 4194304 16246674 140734149974064 140264303750320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50043 s]
/proc/loadavg: 2.34 2.25 2.12 3/183 10689
/proc/meminfo: memFree=28700504/32872528 swapFree=17888/1798212
[pid=10685] ppid=10682 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/10685/stat : 10685 (toysat) R 10682 10685 10472 0 -1 4202496 125785 0 0 0 132 17 0 0 20 0 4 0 29788103 1345916928 126594 33554432000 4194304 16246674 140734149974064 140734149971904 5677667 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10685/statm: 328593 126594 909 2943 0 325487 0
[pid=10685/tid=10686] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10686/stat : 10686 (toysat) S 10682 10685 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 126594 33554432000 4194304 16246674 140734149974064 140264399154416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10685/tid=10687] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10687/stat : 10687 (toysat) S 10682 10685 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 126594 33554432000 4194304 16246674 140734149974064 140264388664560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10685/tid=10688] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10688/stat : 10688 (toysat) S 10682 10685 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 126594 33554432000 4194304 16246674 140734149974064 140264303750320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10038 s]
/proc/loadavg: 2.34 2.25 2.12 3/183 10689
/proc/meminfo: memFree=28437624/32872528 swapFree=17888/1798212
[pid=10685] ppid=10682 vsize=1314372 CPUtime=3.09 cores=1,3,5,7
/proc/10685/stat : 10685 (toysat) R 10682 10685 10472 0 -1 4202496 213979 0 0 0 282 27 0 0 20 0 4 0 29788103 1345916928 214788 33554432000 4194304 16246674 140734149974064 140734149955968 12478221 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10685/statm: 328593 214788 914 2943 0 325487 0
[pid=10685/tid=10686] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10686/stat : 10686 (toysat) S 10682 10685 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 214788 33554432000 4194304 16246674 140734149974064 140264399154416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10685/tid=10687] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10687/stat : 10687 (toysat) S 10682 10685 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 214788 33554432000 4194304 16246674 140734149974064 140264388664560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10685/tid=10688] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10688/stat : 10688 (toysat) S 10682 10685 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 214788 33554432000 4194304 16246674 140734149974064 140264303750320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372

[startup+6.30044 s]
/proc/loadavg: 2.31 2.24 2.12 3/183 10689
/proc/meminfo: memFree=28193608/32872528 swapFree=17888/1798212
[pid=10685] ppid=10682 vsize=1314372 CPUtime=6.29 cores=1,3,5,7
/proc/10685/stat : 10685 (toysat) R 10682 10685 10472 0 -1 4202496 213979 0 0 0 602 27 0 0 20 0 4 0 29788103 1345916928 214788 33554432000 4194304 16246674 140734149974064 140734149955968 6021672 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10685/statm: 328593 214788 914 2943 0 325487 0
[pid=10685/tid=10686] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10686/stat : 10686 (toysat) S 10682 10685 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 214788 33554432000 4194304 16246674 140734149974064 140264399154416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10685/tid=10687] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10687/stat : 10687 (toysat) S 10682 10685 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 214788 33554432000 4194304 16246674 140734149974064 140264388664560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10685/tid=10688] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10688/stat : 10688 (toysat) S 10682 10685 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 214788 33554432000 4194304 16246674 140734149974064 140264303750320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.29 2.24 2.12 4/183 10689
/proc/meminfo: memFree=27968216/32872528 swapFree=17888/1798212
[pid=10685] ppid=10682 vsize=1314372 CPUtime=12.69 cores=1,3,5,7
/proc/10685/stat : 10685 (toysat) R 10682 10685 10472 0 -1 4202496 269297 0 0 0 1235 34 0 0 20 0 4 0 29788103 1345916928 270106 33554432000 4194304 16246674 140734149974064 140734149955968 12477804 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10685/statm: 328593 270106 914 2943 0 325487 0
[pid=10685/tid=10686] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10686/stat : 10686 (toysat) S 10682 10685 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 270106 33554432000 4194304 16246674 140734149974064 140264399154416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10685/tid=10687] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10687/stat : 10687 (toysat) S 10682 10685 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 270106 33554432000 4194304 16246674 140734149974064 140264388664560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10685/tid=10688] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10688/stat : 10688 (toysat) S 10682 10685 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 270106 33554432000 4194304 16246674 140734149974064 140264303750320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.22 2.22 2.12 3/183 10689
/proc/meminfo: memFree=27969128/32872528 swapFree=17888/1798212
[pid=10685] ppid=10682 vsize=1314372 CPUtime=25.49 cores=1,3,5,7
/proc/10685/stat : 10685 (toysat) R 10682 10685 10472 0 -1 4202496 269300 0 0 0 2515 34 0 0 20 0 4 0 29788103 1345916928 270109 33554432000 4194304 16246674 140734149974064 140734149955968 12478202 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10685/statm: 328593 270109 917 2943 0 325487 0
[pid=10685/tid=10686] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10686/stat : 10686 (toysat) S 10682 10685 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 270109 33554432000 4194304 16246674 140734149974064 140264399154416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10685/tid=10687] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10687/stat : 10687 (toysat) S 10682 10685 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 270109 33554432000 4194304 16246674 140734149974064 140264388664560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10685/tid=10688] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10688/stat : 10688 (toysat) S 10682 10685 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 270109 33554432000 4194304 16246674 140734149974064 140264303750320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 2.27 2.24 2.12 4/183 10689
/proc/meminfo: memFree=27967300/32872528 swapFree=17888/1798212
[pid=10685] ppid=10682 vsize=1314372 CPUtime=51.08 cores=1,3,5,7
/proc/10685/stat : 10685 (toysat) R 10682 10685 10472 0 -1 4202496 269300 0 0 0 5074 34 0 0 20 0 4 0 29788103 1345916928 270109 33554432000 4194304 16246674 140734149974064 140734149955968 6012004 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10685/statm: 328593 270109 917 2943 0 325487 0
[pid=10685/tid=10686] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10686/stat : 10686 (toysat) S 10682 10685 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 270109 33554432000 4194304 16246674 140734149974064 140264399154416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10685/tid=10687] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10687/stat : 10687 (toysat) S 10682 10685 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 270109 33554432000 4194304 16246674 140734149974064 140264388664560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10685/tid=10688] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10688/stat : 10688 (toysat) S 10682 10685 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 270109 33554432000 4194304 16246674 140734149974064 140264303750320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.301 s]
/proc/loadavg: 2.31 2.25 2.13 3/183 10690
/proc/meminfo: memFree=27967360/32872528 swapFree=17888/1798212
[pid=10685] ppid=10682 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/10685/stat : 10685 (toysat) R 10682 10685 10472 0 -1 4202496 269300 0 0 0 10194 34 0 0 20 0 4 0 29788103 1345916928 270109 33554432000 4194304 16246674 140734149974064 140734149955968 6021024 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10685/statm: 328593 270109 917 2943 0 325487 0
[pid=10685/tid=10686] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10686/stat : 10686 (toysat) S 10682 10685 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 270109 33554432000 4194304 16246674 140734149974064 140264399154416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10685/tid=10687] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10687/stat : 10687 (toysat) S 10682 10685 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 270109 33554432000 4194304 16246674 140734149974064 140264388664560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10685/tid=10688] ppid=10682 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10688/stat : 10688 (toysat) S 10682 10685 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788103 1345916928 270109 33554432000 4194304 16246674 140734149974064 140264303750320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/10685/task/10688/stat : 10688 (toysat) S 10682 10685 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788103 1404637184 284422 33554432000 4194304 16246674 140734149974064 140264303750320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1371716

[startup+1302.3 s]
/proc/loadavg: 2.44 2.31 2.22 3/183 10720
/proc/meminfo: memFree=27888616/32872528 swapFree=17888/1798212
[pid=10685] ppid=10682 vsize=1371716 CPUtime=1302.1 cores=1,3,5,7
/proc/10685/stat : 10685 (toysat) R 10682 10685 10472 0 -1 4202496 283613 0 0 0 130168 42 0 0 20 0 4 0 29788103 1404637184 284422 33554432000 4194304 16246674 140734149974064 140734149955968 6012041 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10685/statm: 342929 284422 918 2943 0 339823 0
[pid=10685/tid=10686] ppid=10682 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10686/stat : 10686 (toysat) S 10682 10685 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29788103 1404637184 284422 33554432000 4194304 16246674 140734149974064 140264399154416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10685/tid=10687] ppid=10682 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10687/stat : 10687 (toysat) S 10682 10685 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788103 1404637184 284422 33554432000 4194304 16246674 140734149974064 140264388664560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10685/tid=10688] ppid=10682 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10688/stat : 10688 (toysat) S 10682 10685 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788103 1404637184 284422 33554432000 4194304 16246674 140734149974064 140264303750320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 1371716

[startup+1362.3 s]
/proc/loadavg: 2.36 2.31 2.22 3/183 10721
/proc/meminfo: memFree=27872148/32872528 swapFree=17888/1798212
[pid=10685] ppid=10682 vsize=1388100 CPUtime=1362.08 cores=1,3,5,7
/proc/10685/stat : 10685 (toysat) R 10682 10685 10472 0 -1 4202496 287690 0 0 0 136166 42 0 0 20 0 4 0 29788103 1421414400 288499 33554432000 4194304 16246674 140734149974064 140734149955968 5722604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10685/statm: 347025 288499 918 2943 0 343919 0
[pid=10685/tid=10686] ppid=10682 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10686/stat : 10686 (toysat) S 10682 10685 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29788103 1421414400 288499 33554432000 4194304 16246674 140734149974064 140264399154416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10685/tid=10687] ppid=10682 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10687/stat : 10687 (toysat) S 10682 10685 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788103 1421414400 288499 33554432000 4194304 16246674 140734149974064 140264388664560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10685/tid=10688] ppid=10682 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10688/stat : 10688 (toysat) S 10682 10685 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788103 1421414400 288499 33554432000 4194304 16246674 140734149974064 140264303750320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1388100

[startup+1422.3 s]
/proc/loadavg: 2.28 2.30 2.22 3/184 10726
/proc/meminfo: memFree=27872164/32872528 swapFree=17888/1798212
[pid=10685] ppid=10682 vsize=1388100 CPUtime=1422.08 cores=1,3,5,7
/proc/10685/stat : 10685 (toysat) R 10682 10685 10472 0 -1 4202496 287690 0 0 0 142166 42 0 0 20 0 4 0 29788103 1421414400 288499 33554432000 4194304 16246674 140734149974064 140734149955968 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10685/statm: 347025 288499 918 2943 0 343919 0
[pid=10685/tid=10686] ppid=10682 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10686/stat : 10686 (toysat) S 10682 10685 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29788103 1421414400 288499 33554432000 4194304 16246674 140734149974064 140264399154416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10685/tid=10687] ppid=10682 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10687/stat : 10687 (toysat) S 10682 10685 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788103 1421414400 288499 33554432000 4194304 16246674 140734149974064 140264388664560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10685/tid=10688] ppid=10682 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10688/stat : 10688 (toysat) S 10682 10685 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788103 1421414400 288499 33554432000 4194304 16246674 140734149974064 140264303750320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1388100

[startup+1482.3 s]
/proc/loadavg: 2.33 2.30 2.22 3/183 10727
/proc/meminfo: memFree=27871900/32872528 swapFree=17888/1798212
[pid=10685] ppid=10682 vsize=1388100 CPUtime=1482.07 cores=1,3,5,7
/proc/10685/stat : 10685 (toysat) R 10682 10685 10472 0 -1 4202496 287690 0 0 0 148164 43 0 0 20 0 4 0 29788103 1421414400 288499 33554432000 4194304 16246674 140734149974064 140734149955968 5722908 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10685/statm: 347025 288499 918 2943 0 343919 0
[pid=10685/tid=10686] ppid=10682 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10686/stat : 10686 (toysat) S 10682 10685 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29788103 1421414400 288499 33554432000 4194304 16246674 140734149974064 140264399154416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10685/tid=10687] ppid=10682 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10687/stat : 10687 (toysat) S 10682 10685 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788103 1421414400 288499 33554432000 4194304 16246674 140734149974064 140264388664560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10685/tid=10688] ppid=10682 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10688/stat : 10688 (toysat) S 10682 10685 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788103 1421414400 288499 33554432000 4194304 16246674 140734149974064 140264303750320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 1388100

[startup+1542.31 s]
/proc/loadavg: 2.29 2.31 2.23 3/183 10728
/proc/meminfo: memFree=27831748/32872528 swapFree=17888/1798212
[pid=10685] ppid=10682 vsize=1429060 CPUtime=1542.06 cores=1,3,5,7
/proc/10685/stat : 10685 (toysat) R 10682 10685 10472 0 -1 4202496 297846 0 0 0 154162 44 0 0 20 0 4 0 29788103 1463357440 298655 33554432000 4194304 16246674 140734149974064 140734149955968 12478365 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10685/statm: 357265 298655 919 2943 0 354159 0
[pid=10685/tid=10686] ppid=10682 vsize=1429060 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10686/stat : 10686 (toysat) S 10682 10685 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29788103 1463357440 298655 33554432000 4194304 16246674 140734149974064 140264399154416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10685/tid=10687] ppid=10682 vsize=1429060 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10687/stat : 10687 (toysat) S 10682 10685 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788103 1463357440 298655 33554432000 4194304 16246674 140734149974064 140264388664560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10685/tid=10688] ppid=10682 vsize=1429060 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10688/stat : 10688 (toysat) S 10682 10685 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788103 1463357440 298655 33554432000 4194304 16246674 140734149974064 140264303750320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1429060

[startup+1602.3 s]
/proc/loadavg: 2.15 2.26 2.21 3/183 10729
/proc/meminfo: memFree=27826980/32872528 swapFree=17888/1798212
[pid=10685] ppid=10682 vsize=1433156 CPUtime=1602.05 cores=1,3,5,7
/proc/10685/stat : 10685 (toysat) R 10682 10685 10472 0 -1 4202496 298998 0 0 0 160160 45 0 0 20 0 4 0 29788103 1467551744 299807 33554432000 4194304 16246674 140734149974064 140734149955968 5754796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10685/statm: 358289 299807 919 2943 0 355183 0
[pid=10685/tid=10686] ppid=10682 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10686/stat : 10686 (toysat) S 10682 10685 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29788103 1467551744 299807 33554432000 4194304 16246674 140734149974064 140264399154416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10685/tid=10687] ppid=10682 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10687/stat : 10687 (toysat) S 10682 10685 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788103 1467551744 299807 33554432000 4194304 16246674 140734149974064 140264388664560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10685/tid=10688] ppid=10682 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10688/stat : 10688 (toysat) S 10682 10685 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788103 1467551744 299807 33554432000 4194304 16246674 140734149974064 140264303750320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 1433156

[startup+1662.3 s]
/proc/loadavg: 2.29 2.27 2.22 4/183 10730
/proc/meminfo: memFree=27815676/32872528 swapFree=17888/1798212
[pid=10685] ppid=10682 vsize=1433156 CPUtime=1662.04 cores=1,3,5,7
/proc/10685/stat : 10685 (toysat) R 10682 10685 10472 0 -1 4202496 299005 0 0 0 166159 45 0 0 20 0 4 0 29788103 1467551744 300063 33554432000 4194304 16246674 140734149974064 140734149955968 6012041 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10685/statm: 358289 300063 919 2943 0 355183 0
[pid=10685/tid=10686] ppid=10682 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10686/stat : 10686 (toysat) S 10682 10685 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29788103 1467551744 300063 33554432000 4194304 16246674 140734149974064 140264399154416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10685/tid=10687] ppid=10682 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10687/stat : 10687 (toysat) S 10682 10685 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788103 1467551744 300063 33554432000 4194304 16246674 140734149974064 140264388664560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10685/tid=10688] ppid=10682 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10688/stat : 10688 (toysat) S 10682 10685 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788103 1467551744 300063 33554432000 4194304 16246674 140734149974064 140264303750320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 1433156

[startup+1722.3 s]
/proc/loadavg: 2.19 2.25 2.21 3/183 10732
/proc/meminfo: memFree=27815364/32872528 swapFree=17888/1798212
[pid=10685] ppid=10682 vsize=1433156 CPUtime=1722.02 cores=1,3,5,7
/proc/10685/stat : 10685 (toysat) R 10682 10685 10472 0 -1 4202496 299013 0 0 0 172157 45 0 0 20 0 4 0 29788103 1467551744 300063 33554432000 4194304 16246674 140734149974064 140734149955968 12477807 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10685/statm: 358289 300063 919 2943 0 355183 0
[pid=10685/tid=10686] ppid=10682 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10686/stat : 10686 (toysat) S 10682 10685 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29788103 1467551744 300063 33554432000 4194304 16246674 140734149974064 140264399154416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10685/tid=10687] ppid=10682 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10687/stat : 10687 (toysat) S 10682 10685 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788103 1467551744 300063 33554432000 4194304 16246674 140734149974064 140264388664560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10685/tid=10688] ppid=10682 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10688/stat : 10688 (toysat) S 10682 10685 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788103 1467551744 300063 33554432000 4194304 16246674 140734149974064 140264303750320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1433156

[startup+1782.3 s]
/proc/loadavg: 2.26 2.26 2.22 3/183 10733
/proc/meminfo: memFree=27814912/32872528 swapFree=17888/1798212
[pid=10685] ppid=10682 vsize=1433156 CPUtime=1782.01 cores=1,3,5,7
/proc/10685/stat : 10685 (toysat) R 10682 10685 10472 0 -1 4202496 299033 0 0 0 178155 46 0 0 20 0 4 0 29788103 1467551744 300063 33554432000 4194304 16246674 140734149974064 140734149955968 5722972 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10685/statm: 358289 300063 919 2943 0 355183 0
[pid=10685/tid=10686] ppid=10682 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10686/stat : 10686 (toysat) S 10682 10685 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29788103 1467551744 300063 33554432000 4194304 16246674 140734149974064 140264399154416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10685/tid=10687] ppid=10682 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10687/stat : 10687 (toysat) S 10682 10685 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788103 1467551744 300063 33554432000 4194304 16246674 140734149974064 140264388664560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10685/tid=10688] ppid=10682 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10688/stat : 10688 (toysat) S 10682 10685 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788103 1467551744 300063 33554432000 4194304 16246674 140734149974064 140264303750320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1433156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.32 2.28 2.22 4/183 10733
/proc/meminfo: memFree=27814880/32872528 swapFree=17888/1798212
[pid=10685] ppid=10682 vsize=1433156 CPUtime=1800.09 cores=1,3,5,7
/proc/10685/stat : 10685 (toysat) R 10682 10685 10472 0 -1 4202496 299049 0 0 0 179963 46 0 0 20 0 4 0 29788103 1467551744 300063 33554432000 4194304 16246674 140734149974064 140734149955968 5532192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10685/statm: 358289 300063 919 2943 0 355183 0
[pid=10685/tid=10686] ppid=10682 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10686/stat : 10686 (toysat) S 10682 10685 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29788103 1467551744 300063 33554432000 4194304 16246674 140734149974064 140264399154416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=10685/tid=10687] ppid=10682 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10687/stat : 10687 (toysat) S 10682 10685 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788103 1467551744 300063 33554432000 4194304 16246674 140734149974064 140264388664560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=10685/tid=10688] ppid=10682 vsize=1433156 CPUtime=0 cores=1,3,5,7
/proc/10685/task/10688/stat : 10688 (toysat) S 10682 10685 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788103 1467551744 300063 33554432000 4194304 16246674 140734149974064 140264303750320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1433156

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 10685 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.14
CPU user time (s): 1799.64
CPU system time (s): 0.501923
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 1433156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.501923
maximum resident set size= 1200252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299049
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= 66
involuntary context switches= 1850

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4961 second user time and 16.1845 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 21:16:50
IDJOB=4106766
IDBENCH=48242
IDSOLVER=2542
FILE ID=node123/4106766-1466277410
RUNJOBID= node123-1466275608-10489
PBS_JOBID= 19918249
Free space on /tmp= 71620 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_5.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106766-1466277410/watcher-4106766-1466277410 -o /tmp/evaluation-result-4106766-1466277410/solver-4106766-1466277410 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466275608-10489 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106766-1466277410.opb

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

MD5SUM BENCH= 13c8aeb5c21aab422ad1cf9309500df6
RANDOM SEED=1653779596

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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:        30014252 kB
Buffers:           65548 kB
Cached:           137948 kB
SwapCached:         1604 kB
Active:           184836 kB
Inactive:         135484 kB
Active(anon):     115832 kB
Inactive(anon):     3080 kB
Active(file):      69004 kB
Inactive(file):   132404 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099320 kB
Dirty:             33460 kB
Writeback:             0 kB
AnonPages:       1916304 kB
Mapped:            10168 kB
Shmem:                 0 kB
Slab:             602220 kB
SReclaimable:      46136 kB
SUnreclaim:       556084 kB
KernelStack:        1432 kB
PageTables:         8896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2926796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1787904 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= 71604 MiB
End job on node123 at 2016-06-18 21:46:50