Trace number 4116693

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.02 1800.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size160-round21-8.opb
MD5SUMe1189837ef7b00368049cf6d1bdb5b61
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark34.7197
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3968
Total number of constraints7936
Number of constraints which are clauses6656
Number of constraints which are cardinality constraints (but not clauses)448
Number of constraints which are nor clauses,nor cardinality constraints832
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-26T16:46:19+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-4116693-1466952379.opb"]
0.00/0.01	c use --random-gen="1569590339 2058535073 1581203857 4058865621 3785235550 3004993853 1196023761 1933084620 2551038435 2139276813 1321567554 1651552562 3708384292 2370665419 1515290636 1378440001 567779417 2444659453 1264931563 3053116635 946756790 3581537943 2148518892 1655150644 3387029689 4146913310 823447568 3643985510 340934570 1853780513 2566208657 3895377863 2858569111 373775908 605424072 1277541260 4048416028 3242349779 3825672972 995722100 1815910678 1152441555 2901575516 2368841492 456011702 2115493589 2832536220 386300555 3963446359 1098847580 1109832919 2528913553 1633458301 934937687 2471719157 266106312 2061698426 1821350507 1827478084 2280786008 3229765871 3487420609 3073229945 1613029308 3117339891 524531375 2558169642 3030431799 3016687840 1482003966 1519423452 2621738014 1274019346 3766376070 3833549167 90521931 893519408 1353354538 2568082451 2848575695 3680011700 1150040445 641267234 3947081550 4268792315 2772013698 2178142757 1794542395 1441535685 293905683 2884313146 3689066395 843217939 2804986672 3690423861 1638621661 1194937104 79338853 4242340580 870194266 2628786763 2450069998 392158352 1400416654 4276464453 2752744273 3912188509 4205382011 1712903131 3674350947 2068066007 3535535725 1202422809 1627466783 386880432 3971337335 3277671949 2981621170 1176199927 1467130443 1239840975 1666789215 2104763400 2921706676 68502788 4162363742 1296818502 1607544091 3517312260 4292073851 2875137924 1262987304 2357540956 863394192 2298528863 2640892463 3566726033 2949529518 221084119 2812183663 3463949275 468781129 4244969646 3943381181 2611113604 1472860851 2687957573 3247737940 1264989488 2221901035 1268164262 267668810 3135978283 1296730736 1086278532 2948543860 916379763 1974895264 2014591828 4110210979 1098092349 2236784927 3192650237 1099893264 3092509073 1572285237 2175984850 2581326038 106143091 3475448651 1391450441 2627091901 3336896330 2653382422 277584392 1992879273 960647775 1744211557 1003252367 3204564742 2341070458 381212825 3088105897 1466249421 1360689201 1235843839 2826326127 688394398 4069998962 3275404442 1676850531 2741065422 311527013 2440346253 493760608 990762325 3910518453 3088730830 3457288819 1939695045 1748893619 2255290837 2908679991 125996248 3301153645 3166591051 1148697948 502103739 3588834367 2936771792 733822231 3415649373 3943785209 2929753092 632834246 3968914056 135477390 2587527599 1753245630 3832982224 2788965915 3721731898 814137458 499679834 1322085371 3128119463 2845765617 70381872 2131189949 3887330702 1174434130 1856664671 4138014144 1522499118 541219847 1704892590 196271255 90928864 795495228 790323806 2887130195 644842737 2250785635 685054483 2971975570 4006821674 2503435536 2707444499 874621136 1913078097 557348366 1223178669 1011524644 1952760402 747887793 2511643587 255 362436" option to reproduce the execution
0.00/0.09	c #vars 3968
0.00/0.09	c #constraints 7936
0.19/0.23	c Solving starts ...
0.19/0.23	c ============================[ Search Statistics ]============================
0.19/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.23	c =============================================================================
0.19/0.24	c  0.0s |       0 |        0 |        0 |     3904      0 |      919 |        0
0.29/0.30	c  0.1s |       1 |      447 |      100 |     3904      0 |      919 |      832
0.38/0.45	c  0.2s |       2 |     2898 |      250 |     4295      0 |      924 |      832
0.59/0.62	c  0.4s |       3 |     4323 |      475 |     4725      0 |      924 |      832
0.88/0.92	c  0.7s |       4 |     7462 |      813 |     5198      0 |      924 |      832
1.39/1.40	c  1.2s |       5 |     9537 |     1320 |     5718      0 |      924 |      832
1.89/1.98	c  1.7s |       6 |    13275 |     2081 |     6920      0 |      924 |      832
2.88/2.93	c  2.7s |       7 |    15902 |     3223 |     7613      0 |      924 |      832
4.18/4.20	c  4.0s |       8 |    20747 |     4936 |     8375      0 |      924 |      832
6.28/6.34	c  6.1s |       8 |    23045 |     6436 |     8375      0 |      924 |      832
7.69/7.78	c  7.6s |       9 |    25355 |     7506 |     9213      0 |      924 |      832
9.78/9.89	c  9.7s |       9 |    31338 |    10006 |     9213      0 |      924 |      832
11.48/11.58	c 11.3s |      10 |    33142 |    11361 |    10135      0 |      924 |      832
13.48/13.59	c 13.4s |      10 |    36872 |    13161 |    10135      1 |      924 |      832
15.58/15.69	c 15.5s |      10 |    40900 |    15261 |    10135      1 |      924 |      832
17.69/17.76	c 17.5s |      10 |    43340 |    17061 |    11149      1 |      924 |      832
17.78/17.84	c 17.6s |      11 |    43429 |    17144 |    11149      1 |      924 |      832
19.79/19.88	c 19.6s |      11 |    47621 |    18844 |    11149      1 |      924 |      832
21.88/21.95	c 21.7s |      11 |    49787 |    20344 |    11149      2 |      924 |      832
23.98/24.03	c 23.8s |      11 |    51393 |    21644 |    11149      2 |      924 |      832
26.08/26.19	c 26.0s |      11 |    52928 |    22944 |    11149      2 |      924 |      832
28.18/28.21	c 28.0s |      11 |    54234 |    24044 |    11149      2 |      924 |      832
30.28/30.30	c 30.1s |      11 |    56637 |    25444 |    11149      2 |      924 |      832
30.78/30.86	c 30.6s |      12 |    57161 |    25819 |    12264      2 |      924 |      832
32.78/32.89	c 32.7s |      12 |    65238 |    28419 |    12264      3 |      924 |      832
34.88/34.96	c 34.7s |      12 |    69410 |    30519 |    12264      3 |      924 |      832
36.98/37.00	c 36.8s |      12 |    76485 |    33019 |    12264      3 |      924 |      832
38.98/39.02	c 38.8s |      12 |    79072 |    34619 |    12264      4 |      924 |      832
41.08/41.14	c 40.9s |      12 |    83554 |    36919 |    12264      4 |      924 |      832
43.18/43.24	c 43.0s |      12 |    86061 |    38719 |    13491      4 |      924 |      832
43.28/43.38	c 43.1s |      13 |    86210 |    38832 |    13491      4 |      924 |      832
45.38/45.48	c 45.2s |      13 |    89497 |    40632 |    13491      4 |      924 |      832
47.48/47.59	c 47.4s |      13 |    91725 |    42332 |    13491      4 |      924 |      832
49.58/49.65	c 49.4s |      13 |    93738 |    43932 |    13491      4 |      924 |      832
51.68/51.76	c 51.5s |      13 |    95102 |    45132 |    13491      5 |      924 |      832
53.67/53.78	c 53.5s |      13 |    96436 |    46332 |    13491      5 |      924 |      832
55.87/55.94	c 55.7s |      13 |    97954 |    47632 |    13491      5 |      924 |      832
57.87/57.98	c 57.7s |      13 |    99064 |    48632 |    13491      5 |      924 |      832
59.97/60.05	c 59.8s |      13 |   100680 |    49732 |    13491      5 |      924 |      832
62.07/62.17	c 61.9s |      13 |   102373 |    51032 |    13491      5 |      924 |      832
64.27/64.30	c 64.1s |      13 |   104502 |    52532 |    13491      5 |      924 |      832
66.37/66.47	c 66.2s |      13 |   105899 |    53732 |    13491      6 |      924 |      832
68.47/68.56	c 68.3s |      13 |   107312 |    54932 |    13491      6 |      924 |      832
70.67/70.70	c 70.5s |      13 |   108694 |    56032 |    13491      6 |      924 |      832
72.67/72.74	c 72.5s |      13 |   110305 |    57232 |    13491      6 |      924 |      832
74.67/74.75	c 74.5s |      13 |   111205 |    58032 |    14841      6 |      924 |      832
75.27/75.39	c 75.2s |      14 |   111701 |    58352 |    14841      6 |      924 |      832
77.37/77.49	c 77.3s |      14 |   115153 |    60152 |    14841      6 |      924 |      832
79.46/79.50	c 79.3s |      14 |   116940 |    61552 |    14841      6 |      924 |      832
81.47/81.53	c 81.3s |      14 |   118214 |    62652 |    14841      7 |      924 |      832
83.57/83.67	c 83.4s |      14 |   119716 |    63952 |    14841      7 |      924 |      832
85.66/85.79	c 85.6s |      14 |   121154 |    65252 |    14841      7 |      924 |      832
87.76/87.83	c 87.6s |      14 |   122371 |    66352 |    14841      7 |      924 |      832
89.86/89.97	c 89.7s |      14 |   123560 |    67352 |    14841      7 |      924 |      832
91.96/92.01	c 91.8s |      14 |   126557 |    68652 |    14841      7 |      924 |      832
93.96/94.09	c 93.9s |      14 |   129321 |    70252 |    14841      7 |      924 |      832
96.36/96.40	c 96.2s |      14 |   130849 |    71452 |    14841      8 |      924 |      832
98.46/98.55	c 98.3s |      14 |   132525 |    72752 |    14841      8 |      924 |      832
100.66/100.71	c  100s |      14 |   133694 |    73752 |    14841      8 |      924 |      832
102.76/102.87	c  102s |      14 |   134952 |    74752 |    14841      8 |      924 |      832
104.96/105.05	c  104s |      14 |   136273 |    75752 |    14841      8 |      924 |      832
107.05/107.16	c  106s |      14 |   137383 |    76652 |    14841      8 |      924 |      832
109.35/109.41	c  109s |      14 |   138582 |    77652 |    14841      8 |      924 |      832
111.35/111.43	c  111s |      14 |   139545 |    78452 |    14841      8 |      924 |      832
113.36/113.48	c  113s |      14 |   140660 |    79352 |    14841      8 |      924 |      832
115.65/115.70	c  115s |      14 |   141697 |    80252 |    14841      8 |      924 |      832
117.66/117.76	c  117s |      14 |   142512 |    80952 |    14841      9 |      924 |      832
119.85/119.94	c  119s |      14 |   143731 |    81952 |    14841      9 |      924 |      832
121.85/121.98	c  121s |      14 |   144859 |    82852 |    14841      9 |      924 |      832
123.95/124.05	c  123s |      14 |   145923 |    83752 |    14841      9 |      924 |      832
126.25/126.31	c  126s |      14 |   146935 |    84652 |    14841      9 |      924 |      832
128.35/128.44	c  128s |      14 |   147850 |    85452 |    14841      9 |      924 |      832
130.65/130.74	c  130s |      14 |   148740 |    86252 |    14841      9 |      924 |      832
132.84/132.94	c  132s |      14 |   149562 |    86952 |    14841      9 |      924 |      832
135.04/135.10	c  134s |      15 |   150333 |    87632 |    16326      9 |      924 |      832
137.04/137.17	c  136s |      15 |   156918 |    89832 |    16326      9 |      924 |      832
139.14/139.25	c  139s |      15 |   159442 |    91432 |    16326     10 |      924 |      832
141.24/141.33	c  141s |      15 |   160764 |    92532 |    16326     10 |      924 |      832
143.24/143.36	c  143s |      15 |   163600 |    94232 |    16326     10 |      924 |      832
145.34/145.42	c  145s |      15 |   169731 |    96232 |    16326     10 |      924 |      832
147.35/147.47	c  147s |      15 |   173513 |    98232 |    16326     10 |      924 |      832
149.44/149.56	c  149s |      15 |   175804 |    99732 |    16326     10 |      924 |      832
151.54/151.64	c  151s |      15 |   177549 |   100932 |    16326     11 |      924 |      832
153.64/153.78	c  153s |      15 |   179371 |   102332 |    16326     11 |      924 |      832
155.74/155.80	c  155s |      15 |   180818 |   103532 |    16326     11 |      924 |      832
157.84/157.99	c  157s |      15 |   182114 |   104632 |    16326     11 |      924 |      832
159.93/160.00	c  159s |      15 |   183335 |   105632 |    16326     11 |      924 |      832
162.03/162.14	c  161s |      15 |   184430 |   106532 |    16326     11 |      924 |      832
164.23/164.37	c  164s |      15 |   185510 |   107432 |    16326     11 |      924 |      832
166.33/166.49	c  166s |      15 |   186670 |   108332 |    16326     11 |      924 |      832
168.53/168.67	c  168s |      15 |   187937 |   109332 |    16326     11 |      924 |      832
170.63/170.74	c  170s |      15 |   189374 |   110332 |    16326     12 |      924 |      832
172.83/172.95	c  172s |      15 |   191774 |   111832 |    16326     12 |      924 |      832
174.94/175.08	c  174s |      15 |   193209 |   112932 |    16326     12 |      924 |      832
177.14/177.27	c  177s |      15 |   194597 |   114032 |    16326     12 |      924 |      832
179.24/179.38	c  179s |      15 |   195989 |   115032 |    16326     12 |      924 |      832
181.33/181.43	c  181s |      15 |   197050 |   115932 |    16326     12 |      924 |      832
183.33/183.48	c  183s |      15 |   198310 |   116932 |    16326     12 |      924 |      832
185.43/185.51	c  185s |      15 |   199576 |   117932 |    16326     12 |      924 |      832
187.53/187.60	c  187s |      15 |   201095 |   119032 |    16326     12 |      924 |      832
189.83/189.95	c  189s |      15 |   202342 |   120032 |    16326     13 |      924 |      832
192.03/192.13	c  191s |      15 |   203759 |   121132 |    16326     13 |      924 |      832
194.13/194.28	c  194s |      15 |   204835 |   122032 |    16326     13 |      924 |      832
196.33/196.43	c  196s |      15 |   206094 |   123032 |    16326     13 |      924 |      832
198.33/198.44	c  198s |      15 |   207207 |   123932 |    16326     13 |      924 |      832
200.53/200.65	c  200s |      15 |   208433 |   124932 |    16326     13 |      924 |      832
202.53/202.66	c  202s |      15 |   209583 |   125832 |    16326     13 |      924 |      832
204.73/204.83	c  204s |      15 |   210461 |   126632 |    16326     13 |      924 |      832
206.93/207.02	c  206s |      15 |   211559 |   127532 |    16326     13 |      924 |      832
209.13/209.28	c  209s |      15 |   212615 |   128432 |    16326     13 |      924 |      832
211.33/211.45	c  211s |      15 |   213540 |   129232 |    16326     13 |      924 |      832
213.44/213.52	c  213s |      15 |   214256 |   129832 |    16326     14 |      924 |      832
215.54/215.63	c  215s |      15 |   215462 |   130832 |    17959     14 |      924 |      832
217.13/217.27	c  217s |      16 |   216300 |   131552 |    17959     14 |      924 |      832
219.23/219.34	c  219s |      16 |   218977 |   133152 |    17959     14 |      924 |      832
221.33/221.47	c  221s |      16 |   220538 |   134552 |    17959     14 |      924 |      832
223.43/223.53	c  223s |      16 |   221880 |   135752 |    17959     14 |      924 |      832
225.43/225.60	c  225s |      16 |   223074 |   136852 |    17959     14 |      924 |      832
227.53/227.65	c  227s |      16 |   224133 |   137852 |    17959     14 |      924 |      832
229.72/229.81	c  229s |      16 |   225092 |   138752 |    17959     14 |      924 |      832
231.72/231.88	c  231s |      16 |   226182 |   139752 |    17959     14 |      924 |      832
234.02/234.11	c  233s |      16 |   227261 |   140752 |    17959     14 |      924 |      832
236.22/236.30	c  236s |      16 |   228102 |   141552 |    17959     15 |      924 |      832
238.42/238.51	c  238s |      16 |   229062 |   142452 |    17959     15 |      924 |      832
240.51/240.62	c  240s |      16 |   229919 |   143252 |    17959     15 |      924 |      832
242.61/242.71	c  242s |      16 |   230814 |   144052 |    17959     15 |      924 |      832
244.71/244.86	c  244s |      16 |   231678 |   144852 |    17959     15 |      924 |      832
246.81/246.92	c  246s |      16 |   232441 |   145552 |    17959     15 |      924 |      832
248.81/248.97	c  248s |      16 |   233206 |   146252 |    17959     15 |      924 |      832
250.91/251.08	c  250s |      16 |   233941 |   146952 |    17959     15 |      924 |      832
253.21/253.31	c  253s |      16 |   234701 |   147652 |    17959     15 |      924 |      832
255.21/255.35	c  255s |      16 |   235513 |   148352 |    17959     15 |      924 |      832
257.51/257.64	c  257s |      16 |   236268 |   149052 |    17959     15 |      924 |      832
259.70/259.80	c  259s |      16 |   238179 |   149952 |    17959     15 |      924 |      832
261.71/261.89	c  261s |      16 |   241423 |   151452 |    17959     16 |      924 |      832
263.80/263.93	c  263s |      16 |   243281 |   152952 |    17959     16 |      924 |      832
265.80/265.98	c  265s |      16 |   245185 |   154452 |    17959     16 |      924 |      832
267.90/268.04	c  267s |      16 |   246704 |   155752 |    17959     16 |      924 |      832
270.00/270.13	c  269s |      16 |   248062 |   156952 |    17959     16 |      924 |      832
271.99/272.17	c  271s |      16 |   249319 |   158052 |    17959     16 |      924 |      832
274.09/274.26	c  274s |      16 |   250582 |   159152 |    17959     16 |      924 |      832
276.19/276.32	c  276s |      16 |   251579 |   160052 |    17959     16 |      924 |      832
278.30/278.49	c  278s |      16 |   252707 |   161052 |    17959     16 |      924 |      832
280.40/280.54	c  280s |      16 |   253613 |   161852 |    17959     17 |      924 |      832
282.49/282.61	c  282s |      16 |   254719 |   162852 |    17959     17 |      924 |      832
284.49/284.66	c  284s |      16 |   255707 |   163752 |    17959     17 |      924 |      832
286.59/286.70	c  286s |      16 |   256733 |   164652 |    17959     17 |      924 |      832
288.59/288.71	c  288s |      16 |   257762 |   165552 |    17959     17 |      924 |      832
290.69/290.80	c  290s |      16 |   258691 |   166352 |    17959     17 |      924 |      832
292.69/292.82	c  292s |      16 |   259472 |   167052 |    17959     17 |      924 |      832
294.89/295.08	c  294s |      16 |   260375 |   167852 |    17959     17 |      924 |      832
296.99/297.11	c  296s |      16 |   261250 |   168652 |    17959     17 |      924 |      832
299.19/299.32	c  299s |      16 |   262149 |   169452 |    17959     17 |      924 |      832
301.39/301.52	c  301s |      16 |   262910 |   170152 |    17959     17 |      924 |      832
303.49/303.65	c  303s |      16 |   263687 |   170852 |    17959     17 |      924 |      832
305.69/305.84	c  305s |      16 |   264437 |   171552 |    17959     17 |      924 |      832
308.18/308.33	c  308s |      16 |   265216 |   172252 |    17959     18 |      924 |      832
310.19/310.36	c  310s |      16 |   266211 |   173152 |    17959     18 |      924 |      832
312.29/312.45	c  312s |      16 |   267084 |   173952 |    17959     18 |      924 |      832
314.38/314.52	c  314s |      16 |   268108 |   174852 |    17959     18 |      924 |      832
316.58/316.71	c  316s |      16 |   269096 |   175752 |    17959     18 |      924 |      832
318.78/318.98	c  318s |      16 |   270099 |   176652 |    17959     18 |      924 |      832
320.87/321.00	c  320s |      16 |   270978 |   177452 |    17959     18 |      924 |      832
322.97/323.15	c  322s |      16 |   271852 |   178252 |    17959     18 |      924 |      832
325.27/325.47	c  325s |      16 |   272772 |   179052 |    17959     18 |      924 |      832
327.57/327.71	c  327s |      16 |   273521 |   179752 |    17959     18 |      924 |      832
329.67/329.87	c  329s |      16 |   274281 |   180452 |    17959     18 |      924 |      832
331.97/332.17	c  331s |      16 |   275050 |   181152 |    17959     18 |      924 |      832
334.27/334.41	c  334s |      16 |   275807 |   181852 |    17959     18 |      924 |      832
336.37/336.58	c  336s |      16 |   276574 |   182552 |    17959     18 |      924 |      832
338.57/338.77	c  338s |      16 |   277327 |   183252 |    17959     19 |      924 |      832
340.66/340.88	c  340s |      16 |   278292 |   184152 |    17959     19 |      924 |      832
342.76/342.97	c  342s |      16 |   279255 |   185052 |    17959     19 |      924 |      832
344.96/345.11	c  344s |      16 |   280104 |   185852 |    17959     19 |      924 |      832
347.06/347.27	c  347s |      16 |   280956 |   186652 |    17959     19 |      924 |      832
349.26/349.43	c  349s |      16 |   281822 |   187452 |    17959     19 |      924 |      832
351.26/351.43	c  351s |      16 |   282575 |   188152 |    17959     19 |      924 |      832
353.36/353.53	c  353s |      16 |   283296 |   188852 |    17959     19 |      924 |      832
355.46/355.68	c  355s |      16 |   284191 |   189652 |    17959     19 |      924 |      832
357.76/357.93	c  357s |      16 |   285078 |   190452 |    17959     19 |      924 |      832
360.05/360.25	c  360s |      16 |   285947 |   191252 |    17959     19 |      924 |      832
362.25/362.47	c  362s |      16 |   286706 |   191952 |    17959     19 |      924 |      832
364.55/364.73	c  364s |      16 |   287497 |   192652 |    17959     19 |      924 |      832
366.55/366.79	c  366s |      16 |   288171 |   193252 |    17959     19 |      924 |      832
368.75/368.91	c  368s |      16 |   288814 |   193852 |    17959     20 |      924 |      832
370.75/370.92	c  370s |      16 |   289713 |   194652 |    17959     20 |      924 |      832
372.85/373.01	c  372s |      16 |   290595 |   195452 |    17959     20 |      924 |      832
374.95/375.11	c  374s |      16 |   291604 |   196352 |    19755     20 |      924 |      832
377.15/377.31	c  377s |      16 |   292559 |   197252 |    19755     20 |      924 |      832
377.55/377.76	c  377s |      17 |   292754 |   197432 |    19755     20 |      924 |      832
379.64/379.80	c  379s |      17 |   297382 |   199232 |    19755     20 |      924 |      832
381.65/381.89	c  381s |      17 |   300909 |   201232 |    19755     20 |      924 |      832
383.64/383.89	c  383s |      17 |   303395 |   202932 |    19755     20 |      924 |      832
385.84/386.02	c  385s |      17 |   304950 |   204232 |    19755     20 |      924 |      832
387.94/388.18	c  387s |      17 |   306596 |   205532 |    19755     20 |      924 |      832
390.14/390.32	c  390s |      17 |   307632 |   206432 |    19755     21 |      924 |      832
392.24/392.45	c  392s |      17 |   308970 |   207532 |    19755     21 |      924 |      832
394.34/394.54	c  394s |      17 |   310111 |   208532 |    19755     21 |      924 |      832
396.64/396.80	c  396s |      17 |   311326 |   209532 |    19755     21 |      924 |      832
398.64/398.84	c  398s |      17 |   312396 |   210432 |    19755     21 |      924 |      832
400.63/400.87	c  400s |      17 |   313299 |   211232 |    19755     21 |      924 |      832
402.93/403.16	c  402s |      17 |   314228 |   212032 |    19755     21 |      924 |      832
405.13/405.38	c  405s |      17 |   315153 |   212832 |    19755     21 |      924 |      832
407.23/407.41	c  407s |      17 |   316120 |   213632 |    19755     21 |      924 |      832
409.22/409.49	c  409s |      17 |   317030 |   214432 |    19755     21 |      924 |      832
411.42/411.67	c  411s |      17 |   317990 |   215232 |    19755     21 |      924 |      832
413.62/413.81	c  413s |      17 |   318786 |   215932 |    19755     21 |      924 |      832
415.63/415.87	c  415s |      17 |   319455 |   216532 |    19755     21 |      924 |      832
417.93/418.12	c  417s |      17 |   320119 |   217132 |    19755     22 |      924 |      832
420.12/420.31	c  420s |      17 |   321053 |   217932 |    19755     22 |      924 |      832
422.32/422.59	c  422s |      17 |   321824 |   218632 |    19755     22 |      924 |      832
424.52/424.79	c  424s |      17 |   322736 |   219432 |    19755     22 |      924 |      832
426.63/426.89	c  426s |      17 |   323676 |   220232 |    19755     22 |      924 |      832
428.93/429.18	c  428s |      17 |   324480 |   220932 |    19755     22 |      924 |      832
431.02/431.29	c  431s |      17 |   325295 |   221632 |    19755     22 |      924 |      832
433.12/433.38	c  433s |      17 |   326079 |   222332 |    19755     22 |      924 |      832
435.42/435.70	c  435s |      17 |   326912 |   223032 |    19755     22 |      924 |      832
437.52/437.71	c  437s |      17 |   327570 |   223632 |    19755     22 |      924 |      832
439.62/439.86	c  439s |      17 |   328230 |   224232 |    19755     22 |      924 |      832
441.82/442.01	c  441s |      17 |   328884 |   224832 |    19755     22 |      924 |      832
444.12/444.31	c  444s |      17 |   329545 |   225432 |    19755     22 |      924 |      832
446.22/446.40	c  446s |      17 |   330257 |   226032 |    19755     22 |      924 |      832
448.31/448.52	c  448s |      17 |   331057 |   226632 |    19755     22 |      924 |      832
450.41/450.60	c  450s |      17 |   331862 |   227332 |    19755     22 |      924 |      832
452.41/452.69	c  452s |      17 |   332539 |   227932 |    19755     22 |      924 |      832
454.61/454.86	c  454s |      17 |   333264 |   228532 |    19755     23 |      924 |      832
456.81/457.05	c  456s |      17 |   334385 |   229432 |    19755     23 |      924 |      832
458.91/459.16	c  458s |      17 |   335691 |   230532 |    19755     23 |      924 |      832
460.91/461.18	c  460s |      17 |   336596 |   231332 |    19755     23 |      924 |      832
463.01/463.29	c  463s |      17 |   337544 |   232132 |    19755     23 |      924 |      832
465.11/465.35	c  465s |      17 |   338483 |   232932 |    19755     23 |      924 |      832
467.11/467.39	c  467s |      17 |   339330 |   233632 |    19755     23 |      924 |      832
469.51/469.78	c  469s |      17 |   340127 |   234332 |    19755     23 |      924 |      832
471.71/471.95	c  471s |      17 |   340976 |   235032 |    19755     23 |      924 |      832
473.80/474.02	c  473s |      17 |   342471 |   236032 |    19755     23 |      924 |      832
476.00/476.26	c  476s |      17 |   343559 |   236932 |    19755     23 |      924 |      832
478.00/478.29	c  478s |      17 |   344560 |   237732 |    19755     23 |      924 |      832
480.09/480.38	c  480s |      17 |   345701 |   238632 |    19755     23 |      924 |      832
482.29/482.53	c  482s |      17 |   346774 |   239532 |    19755     23 |      924 |      832
484.39/484.68	c  484s |      17 |   347472 |   240132 |    19755     24 |      924 |      832
486.59/486.82	c  486s |      17 |   348757 |   241132 |    19755     24 |      924 |      832
488.69/488.99	c  488s |      17 |   350424 |   242332 |    19755     24 |      924 |      832
490.88/491.16	c  490s |      17 |   351706 |   243332 |    19755     24 |      924 |      832
493.18/493.40	c  493s |      17 |   353171 |   244432 |    19755     24 |      924 |      832
495.28/495.53	c  495s |      17 |   354104 |   245232 |    19755     24 |      924 |      832
497.48/497.78	c  497s |      17 |   355111 |   246132 |    19755     24 |      924 |      832
499.58/499.84	c  499s |      17 |   355974 |   246832 |    19755     24 |      924 |      832
501.58/501.86	c  501s |      17 |   356905 |   247632 |    19755     24 |      924 |      832
503.69/503.99	c  503s |      17 |   357835 |   248432 |    19755     24 |      924 |      832
505.89/506.13	c  505s |      17 |   358642 |   249132 |    19755     24 |      924 |      832
507.99/508.30	c  508s |      17 |   359462 |   249832 |    19755     24 |      924 |      832
510.28/510.56	c  510s |      17 |   360433 |   250632 |    19755     24 |      924 |      832
512.48/512.79	c  512s |      17 |   361348 |   251432 |    19755     24 |      924 |      832
514.68/514.92	c  514s |      17 |   362228 |   252132 |    19755     25 |      924 |      832
516.67/517.00	c  516s |      17 |   363210 |   252932 |    19755     25 |      924 |      832
518.87/519.13	c  518s |      17 |   364011 |   253632 |    19755     25 |      924 |      832
520.97/521.26	c  521s |      17 |   364807 |   254332 |    19755     25 |      924 |      832
523.17/523.40	c  523s |      17 |   365765 |   255132 |    19755     25 |      924 |      832
525.37/525.69	c  525s |      17 |   366691 |   255932 |    19755     25 |      924 |      832
527.57/527.81	c  527s |      17 |   367524 |   256632 |    19755     25 |      924 |      832
529.66/529.93	c  529s |      17 |   368351 |   257332 |    19755     25 |      924 |      832
531.66/531.94	c  531s |      17 |   369284 |   258132 |    19755     25 |      924 |      832
533.86/534.15	c  533s |      17 |   370507 |   259132 |    19755     25 |      924 |      832
536.06/536.33	c  536s |      17 |   371549 |   260032 |    19755     25 |      924 |      832
538.17/538.47	c  538s |      17 |   372311 |   260732 |    19755     25 |      924 |      832
540.26/540.58	c  540s |      17 |   373078 |   261432 |    19755     25 |      924 |      832
542.46/542.74	c  542s |      17 |   373845 |   262132 |    19755     25 |      924 |      832
544.46/544.76	c  544s |      17 |   374494 |   262732 |    19755     25 |      924 |      832
546.66/546.93	c  546s |      17 |   375276 |   263432 |    19755     26 |      924 |      832
548.86/549.14	c  548s |      17 |   376426 |   264432 |    19755     26 |      924 |      832
550.86/551.15	c  550s |      17 |   377324 |   265232 |    19755     26 |      924 |      832
552.96/553.23	c  552s |      17 |   378384 |   266132 |    19755     26 |      924 |      832
555.16/555.41	c  555s |      17 |   379297 |   266932 |    19755     26 |      924 |      832
557.16/557.46	c  557s |      17 |   380097 |   267632 |    19755     26 |      924 |      832
559.25/559.57	c  559s |      17 |   380865 |   268332 |    19755     26 |      924 |      832
561.55/561.84	c  561s |      17 |   381658 |   269032 |    19755     26 |      924 |      832
563.75/564.06	c  563s |      17 |   382423 |   269732 |    19755     26 |      924 |      832
565.85/566.14	c  565s |      17 |   383239 |   270432 |    19755     26 |      924 |      832
568.15/568.42	c  568s |      17 |   384030 |   271132 |    19755     26 |      924 |      832
570.44/570.72	c  570s |      17 |   384674 |   271732 |    19755     26 |      924 |      832
572.74/573.04	c  572s |      17 |   385455 |   272432 |    19755     26 |      924 |      832
574.74/575.09	c  574s |      17 |   386121 |   273032 |    19755     26 |      924 |      832
576.94/577.20	c  576s |      17 |   386806 |   273632 |    19755     26 |      924 |      832
578.94/579.23	c  578s |      17 |   387482 |   274232 |    19755     26 |      924 |      832
580.94/581.26	c  581s |      17 |   388168 |   274832 |    19755     27 |      924 |      832
583.04/583.37	c  583s |      17 |   389043 |   275632 |    19755     27 |      924 |      832
585.14/585.49	c  585s |      17 |   389939 |   276432 |    19755     27 |      924 |      832
587.34/587.62	c  587s |      17 |   390927 |   277332 |    19755     27 |      924 |      832
589.44/589.76	c  589s |      17 |   391774 |   278132 |    19755     27 |      924 |      832
591.43/591.79	c  591s |      17 |   392565 |   278832 |    19755     27 |      924 |      832
593.53/593.80	c  593s |      17 |   393349 |   279532 |    19755     27 |      924 |      832
595.73/596.06	c  595s |      17 |   394120 |   280232 |    19755     27 |      924 |      832
597.83/598.12	c  597s |      17 |   394897 |   280932 |    19755     27 |      924 |      832
600.03/600.39	c  600s |      17 |   395855 |   281732 |    19755     27 |      924 |      832
602.23/602.57	c  602s |      17 |   396633 |   282432 |    19755     27 |      924 |      832
604.43/604.74	c  604s |      17 |   397404 |   283132 |    19755     27 |      924 |      832
606.52/606.83	c  606s |      17 |   398055 |   283732 |    19755     27 |      924 |      832
608.62/608.93	c  608s |      17 |   398722 |   284332 |    19755     27 |      924 |      832
610.82/611.15	c  610s |      17 |   399483 |   285032 |    19755     27 |      924 |      832
613.02/613.35	c  613s |      17 |   400143 |   285632 |    19755     27 |      924 |      832
615.22/615.56	c  615s |      17 |   400797 |   286232 |    19755     28 |      924 |      832
617.32/617.61	c  617s |      17 |   401571 |   286932 |    19755     28 |      924 |      832
619.51/619.80	c  619s |      17 |   402450 |   287732 |    19755     28 |      924 |      832
621.51/621.87	c  621s |      17 |   403201 |   288432 |    19755     28 |      924 |      832
623.81/624.10	c  623s |      17 |   404080 |   289232 |    19755     28 |      924 |      832
626.01/626.31	c  626s |      17 |   404974 |   290032 |    19755     28 |      924 |      832
628.01/628.38	c  628s |      17 |   405881 |   290832 |    19755     28 |      924 |      832
630.30/630.63	c  630s |      17 |   406643 |   291532 |    19755     28 |      924 |      832
632.50/632.84	c  632s |      17 |   407398 |   292232 |    19755     28 |      924 |      832
634.80/635.13	c  634s |      17 |   408169 |   292932 |    19755     28 |      924 |      832
636.90/637.23	c  636s |      17 |   408834 |   293532 |    19755     28 |      924 |      832
639.10/639.43	c  639s |      17 |   409468 |   294132 |    19755     28 |      924 |      832
641.40/641.78	c  641s |      17 |   410115 |   294732 |    21731     28 |      924 |      832
643.50/643.89	c  643s |      17 |   410776 |   295332 |    21731     28 |      924 |      832
645.79/646.18	c  645s |      17 |   411578 |   296032 |    21731     28 |      924 |      832
646.39/646.80	c  646s |      18 |   411876 |   296252 |    21731     28 |      924 |      832
648.49/648.85	c  648s |      18 |   418539 |   297952 |    21731     29 |      924 |      832
650.49/650.89	c  650s |      18 |   423265 |   300152 |    21731     29 |      924 |      832
652.69/653.01	c  652s |      18 |   425742 |   301952 |    21731     29 |      924 |      832
654.69/655.04	c  654s |      18 |   429613 |   303852 |    21731     29 |      924 |      832
656.79/657.18	c  656s |      18 |   431630 |   305452 |    21731     29 |      924 |      832
658.79/659.19	c  658s |      18 |   432956 |   306552 |    21731     29 |      924 |      832
660.89/661.22	c  660s |      18 |   434566 |   307752 |    21731     29 |      924 |      832
662.89/663.25	c  663s |      18 |   436836 |   309152 |    21731     29 |      924 |      832
664.99/665.32	c  665s |      18 |   441148 |   310852 |    21731     30 |      924 |      832
667.09/667.44	c  667s |      18 |   444150 |   312452 |    21731     30 |      924 |      832
669.09/669.44	c  669s |      18 |   445518 |   313552 |    21731     30 |      924 |      832
671.18/671.51	c  671s |      18 |   447388 |   314852 |    21731     30 |      924 |      832
673.18/673.60	c  673s |      18 |   449732 |   316152 |    21731     30 |      924 |      832
675.28/675.61	c  675s |      18 |   452477 |   317652 |    21731     30 |      924 |      832
677.48/677.81	c  677s |      18 |   453985 |   318752 |    21731     30 |      924 |      832
679.48/679.84	c  679s |      18 |   455335 |   319752 |    21731     30 |      924 |      832
681.68/682.07	c  681s |      18 |   456545 |   320652 |    21731     30 |      924 |      832
683.88/684.30	c  684s |      18 |   457522 |   321452 |    21731     30 |      924 |      832
685.97/686.39	c  686s |      18 |   458478 |   322252 |    21731     30 |      924 |      832
688.07/688.48	c  688s |      18 |   459392 |   322952 |    21731     30 |      924 |      832
690.17/690.51	c  690s |      18 |   460356 |   323752 |    21731     31 |      924 |      832
692.27/692.62	c  692s |      18 |   461436 |   324652 |    21731     31 |      924 |      832
694.27/694.63	c  694s |      18 |   462418 |   325452 |    21731     31 |      924 |      832
696.27/696.63	c  696s |      18 |   463962 |   326552 |    21731     31 |      924 |      832
698.27/698.66	c  698s |      18 |   465464 |   327652 |    21731     31 |      924 |      832
700.38/700.76	c  700s |      18 |   466796 |   328652 |    21731     31 |      924 |      832
702.58/702.92	c  702s |      18 |   467909 |   329552 |    21731     31 |      924 |      832
704.67/705.04	c  704s |      18 |   469036 |   330452 |    21731     31 |      924 |      832
706.77/707.12	c  706s |      18 |   469999 |   331252 |    21731     31 |      924 |      832
709.07/709.40	c  709s |      18 |   470931 |   332052 |    21731     31 |      924 |      832
711.17/711.54	c  711s |      18 |   471924 |   332852 |    21731     31 |      924 |      832
713.37/713.76	c  713s |      18 |   472840 |   333652 |    21731     31 |      924 |      832
715.47/715.81	c  715s |      18 |   473554 |   334252 |    21731     31 |      924 |      832
717.57/717.90	c  717s |      18 |   474237 |   334852 |    21731     31 |      924 |      832
719.77/720.13	c  719s |      18 |   475129 |   335552 |    21731     31 |      924 |      832
721.77/722.17	c  721s |      18 |   475977 |   336252 |    21731     32 |      924 |      832
723.87/724.24	c  724s |      18 |   478361 |   337652 |    21731     32 |      924 |      832
725.97/726.34	c  726s |      18 |   480221 |   338852 |    21731     32 |      924 |      832
728.07/728.41	c  728s |      18 |   481801 |   339952 |    21731     32 |      924 |      832
730.08/730.41	c  730s |      18 |   483076 |   340952 |    21731     32 |      924 |      832
732.17/732.51	c  732s |      18 |   484280 |   341852 |    21731     32 |      924 |      832
734.17/734.56	c  734s |      18 |   485878 |   342852 |    21731     32 |      924 |      832
736.17/736.59	c  736s |      18 |   487921 |   344152 |    21731     32 |      924 |      832
738.37/738.76	c  738s |      18 |   489475 |   345252 |    21731     32 |      924 |      832
740.47/740.85	c  740s |      18 |   490544 |   346152 |    21731     32 |      924 |      832
742.67/743.04	c  742s |      18 |   491723 |   347152 |    21731     32 |      924 |      832
744.87/745.24	c  745s |      18 |   492857 |   348052 |    21731     32 |      924 |      832
746.87/747.26	c  747s |      18 |   493714 |   348752 |    21731     33 |      924 |      832
748.97/749.39	c  749s |      18 |   495108 |   349852 |    21731     33 |      924 |      832
751.07/751.43	c  751s |      18 |   496238 |   350752 |    21731     33 |      924 |      832
753.06/753.46	c  753s |      18 |   497958 |   351952 |    21731     33 |      924 |      832
755.16/755.59	c  755s |      18 |   499471 |   353152 |    21731     33 |      924 |      832
757.26/757.61	c  757s |      18 |   500661 |   354152 |    21731     33 |      924 |      832
759.36/759.76	c  759s |      18 |   501869 |   355152 |    21731     33 |      924 |      832
761.66/762.01	c  761s |      18 |   503038 |   356152 |    21731     33 |      924 |      832
763.86/764.20	c  763s |      18 |   504114 |   357052 |    21731     33 |      924 |      832
766.06/766.42	c  766s |      18 |   505170 |   357952 |    21731     33 |      924 |      832
768.06/768.42	c  768s |      18 |   506147 |   358752 |    21731     33 |      924 |      832
770.16/770.55	c  770s |      18 |   507216 |   359652 |    21731     33 |      924 |      832
772.26/772.68	c  772s |      18 |   508121 |   360452 |    21731     33 |      924 |      832
774.26/774.69	c  774s |      18 |   508940 |   361152 |    21731     34 |      924 |      832
776.56/776.92	c  776s |      18 |   510180 |   362152 |    21731     34 |      924 |      832
778.66/779.09	c  778s |      18 |   511065 |   362952 |    21731     34 |      924 |      832
780.77/781.12	c  780s |      18 |   511971 |   363752 |    21731     34 |      924 |      832
782.96/783.36	c  783s |      18 |   512857 |   364552 |    21731     34 |      924 |      832
785.16/785.53	c  785s |      18 |   513791 |   365352 |    21731     34 |      924 |      832
787.26/787.62	c  787s |      18 |   514700 |   366152 |    21731     34 |      924 |      832
789.36/789.72	c  789s |      18 |   515665 |   366952 |    21731     34 |      924 |      832
791.56/791.99	c  791s |      18 |   516572 |   367752 |    21731     34 |      924 |      832
793.76/794.20	c  793s |      18 |   517487 |   368552 |    21731     34 |      924 |      832
795.86/796.27	c  796s |      18 |   518367 |   369252 |    21731     34 |      924 |      832
798.15/798.51	c  798s |      18 |   519180 |   369952 |    21731     34 |      924 |      832
800.35/800.70	c  800s |      18 |   519980 |   370652 |    21731     34 |      924 |      832
802.55/802.91	c  802s |      18 |   520778 |   371352 |    21731     34 |      924 |      832
804.55/804.96	c  804s |      18 |   521589 |   372052 |    21731     34 |      924 |      832
806.65/807.02	c  806s |      18 |   522391 |   372752 |    21731     34 |      924 |      832
808.75/809.11	c  808s |      18 |   523073 |   373352 |    21731     35 |      924 |      832
810.85/811.25	c  811s |      18 |   524185 |   374252 |    21731     35 |      924 |      832
812.85/813.28	c  813s |      18 |   525226 |   375152 |    21731     35 |      924 |      832
815.05/815.44	c  815s |      18 |   526157 |   375952 |    21731     35 |      924 |      832
817.15/817.54	c  817s |      18 |   527077 |   376752 |    21731     35 |      924 |      832
819.35/819.72	c  819s |      18 |   527964 |   377552 |    21731     35 |      924 |      832
821.46/821.84	c  821s |      18 |   528886 |   378352 |    21731     35 |      924 |      832
823.45/823.90	c  823s |      18 |   529665 |   379052 |    21731     35 |      924 |      832
825.65/826.07	c  825s |      18 |   530636 |   379852 |    21731     35 |      924 |      832
827.75/828.12	c  827s |      18 |   531426 |   380552 |    21731     35 |      924 |      832
830.05/830.41	c  830s |      18 |   532316 |   381352 |    21731     35 |      924 |      832
832.05/832.46	c  832s |      18 |   533121 |   382052 |    21731     35 |      924 |      832
834.26/834.65	c  834s |      18 |   533929 |   382752 |    21731     35 |      924 |      832
836.45/836.86	c  836s |      18 |   534705 |   383452 |    21731     35 |      924 |      832
838.65/839.05	c  838s |      18 |   535514 |   384152 |    21731     35 |      924 |      832
840.65/841.06	c  840s |      18 |   536174 |   384752 |    21731     35 |      924 |      832
842.85/843.22	c  842s |      18 |   536834 |   385352 |    21731     35 |      924 |      832
844.95/845.31	c  845s |      18 |   537396 |   385852 |    21731     36 |      924 |      832
847.05/847.40	c  847s |      18 |   538317 |   386652 |    21731     36 |      924 |      832
849.25/849.60	c  849s |      18 |   539227 |   387452 |    21731     36 |      924 |      832
851.25/851.60	c  851s |      18 |   540008 |   388152 |    21731     36 |      924 |      832
853.26/853.64	c  853s |      18 |   541376 |   389152 |    21731     36 |      924 |      832
855.25/855.67	c  855s |      18 |   542450 |   390052 |    21731     36 |      924 |      832
857.35/857.71	c  857s |      18 |   543359 |   390852 |    21731     36 |      924 |      832
859.55/859.91	c  859s |      18 |   544265 |   391652 |    21731     36 |      924 |      832
861.55/861.94	c  861s |      18 |   545059 |   392352 |    21731     36 |      924 |      832
863.65/864.08	c  863s |      18 |   545837 |   393052 |    21731     36 |      924 |      832
865.85/866.20	c  865s |      18 |   546604 |   393752 |    21731     36 |      924 |      832
867.95/868.32	c  868s |      18 |   547371 |   394452 |    21731     36 |      924 |      832
869.95/870.36	c  870s |      18 |   548164 |   395152 |    21731     36 |      924 |      832
872.25/872.67	c  872s |      18 |   548931 |   395852 |    21731     36 |      924 |      832
874.45/874.80	c  874s |      18 |   549579 |   396452 |    21731     36 |      924 |      832
876.75/877.11	c  876s |      18 |   550333 |   397152 |    21731     36 |      924 |      832
879.05/879.46	c  879s |      18 |   551108 |   397852 |    21731     36 |      924 |      832
881.15/881.59	c  881s |      18 |   551796 |   398452 |    21731     37 |      924 |      832
883.24/883.61	c  883s |      18 |   552700 |   399252 |    21731     37 |      924 |      832
885.34/885.75	c  885s |      18 |   553759 |   400152 |    21731     37 |      924 |      832
887.45/887.86	c  887s |      18 |   554710 |   400952 |    21731     37 |      924 |      832
889.55/889.91	c  889s |      18 |   555561 |   401652 |    21731     37 |      924 |      832
891.64/892.02	c  891s |      18 |   556687 |   402552 |    21731     37 |      924 |      832
893.84/894.21	c  893s |      18 |   557752 |   403452 |    21731     37 |      924 |      832
896.15/896.51	c  896s |      18 |   558692 |   404252 |    21731     37 |      924 |      832
898.35/898.77	c  898s |      18 |   559624 |   405052 |    21731     37 |      924 |      832
900.55/900.91	c  900s |      18 |   560428 |   405752 |    21731     37 |      924 |      832
902.75/903.10	c  902s |      18 |   561568 |   406652 |    21731     37 |      924 |      832
904.74/905.11	c  904s |      18 |   562405 |   407352 |    21731     37 |      924 |      832
906.94/907.30	c  907s |      18 |   563332 |   408152 |    21731     37 |      924 |      832
909.14/909.52	c  909s |      18 |   564296 |   408952 |    21731     37 |      924 |      832
911.34/911.76	c  911s |      18 |   565093 |   409652 |    21731     37 |      924 |      832
914.04/914.48	c  914s |      18 |   565889 |   410352 |    21731     38 |      924 |      832
916.24/916.61	c  916s |      18 |   566808 |   411152 |    21731     38 |      924 |      832
918.44/918.81	c  918s |      18 |   568057 |   412152 |    21731     38 |      924 |      832
920.54/920.91	c  920s |      18 |   569018 |   412952 |    21731     38 |      924 |      832
922.64/923.02	c  922s |      18 |   569956 |   413752 |    21731     38 |      924 |      832
924.93/925.33	c  925s |      18 |   570847 |   414552 |    21731     38 |      924 |      832
927.04/927.45	c  927s |      18 |   571616 |   415252 |    21731     38 |      924 |      832
929.14/929.60	c  929s |      18 |   572384 |   415952 |    21731     38 |      924 |      832
931.34/931.78	c  931s |      18 |   573303 |   416752 |    21731     38 |      924 |      832
933.64/934.02	c  933s |      18 |   574371 |   417652 |    21731     38 |      924 |      832
935.74/936.11	c  935s |      18 |   575165 |   418352 |    21731     38 |      924 |      832
938.04/938.42	c  938s |      18 |   576071 |   419152 |    21731     38 |      924 |      832
940.33/940.75	c  940s |      18 |   576872 |   419852 |    21731     38 |      924 |      832
942.44/942.83	c  942s |      18 |   577545 |   420452 |    21731     38 |      924 |      832
944.43/944.90	c  944s |      18 |   578198 |   421052 |    21731     38 |      924 |      832
946.53/946.95	c  946s |      18 |   578855 |   421652 |    21731     38 |      924 |      832
948.63/949.07	c  948s |      18 |   579516 |   422252 |    21731     38 |      924 |      832
951.03/951.48	c  951s |      18 |   580228 |   422852 |    21731     39 |      924 |      832
953.24/953.60	c  953s |      18 |   581168 |   423652 |    21731     39 |      924 |      832
955.43/955.81	c  955s |      18 |   582220 |   424552 |    21731     39 |      924 |      832
957.43/957.84	c  957s |      18 |   583140 |   425352 |    21731     39 |      924 |      832
959.53/959.91	c  959s |      18 |   584066 |   426152 |    21731     39 |      924 |      832
961.83/962.25	c  962s |      18 |   584938 |   426952 |    21731     39 |      924 |      832
964.03/964.44	c  964s |      18 |   585719 |   427652 |    21731     39 |      924 |      832
966.13/966.53	c  966s |      18 |   586516 |   428352 |    21731     39 |      924 |      832
968.33/968.76	c  968s |      18 |   587447 |   429152 |    21731     39 |      924 |      832
970.53/970.93	c  970s |      18 |   588214 |   429852 |    21731     39 |      924 |      832
972.53/972.95	c  972s |      18 |   588902 |   430452 |    21731     39 |      924 |      832
974.73/975.14	c  974s |      18 |   589667 |   431152 |    21731     39 |      924 |      832
976.93/977.32	c  977s |      18 |   590469 |   431852 |    21731     39 |      924 |      832
979.23/979.61	c  979s |      18 |   591254 |   432552 |    21731     39 |      924 |      832
981.43/981.85	c  981s |      18 |   591900 |   433152 |    21731     39 |      924 |      832
983.73/984.14	c  983s |      18 |   592561 |   433752 |    21731     39 |      924 |      832
985.73/986.19	c  985s |      18 |   593228 |   434352 |    21731     39 |      924 |      832
987.83/988.22	c  987s |      18 |   593903 |   434952 |    21731     39 |      924 |      832
989.83/990.26	c  990s |      18 |   594480 |   435452 |    21731     40 |      924 |      832
991.94/992.36	c  992s |      18 |   595374 |   436252 |    21731     40 |      924 |      832
994.04/994.45	c  994s |      18 |   596152 |   436952 |    21731     40 |      924 |      832
996.23/996.68	c  996s |      18 |   597118 |   437752 |    21731     40 |      924 |      832
998.53/998.96	c  998s |      18 |   598087 |   438552 |    21731     40 |      924 |      832
1000.73/1001.10	c 1000s |      18 |   598876 |   439252 |    21731     40 |      924 |      832
1002.83/1003.22	c 1002s |      18 |   599661 |   439952 |    21731     40 |      924 |      832
1004.93/1005.33	c 1005s |      18 |   600314 |   440552 |    21731     40 |      924 |      832
1007.03/1007.47	c 1007s |      18 |   601224 |   441352 |    23905     40 |      924 |      832
1009.23/1009.67	c 1009s |      18 |   602133 |   442152 |    23905     40 |      924 |      832
1011.33/1011.77	c 1011s |      18 |   602908 |   442852 |    23905     40 |      924 |      832
1013.43/1013.85	c 1013s |      18 |   603693 |   443552 |    23905     40 |      924 |      832
1015.52/1015.96	c 1015s |      18 |   604510 |   444252 |    23905     40 |      924 |      832
1016.32/1016.72	c 1016s |      19 |   604760 |   444482 |    23905     40 |      924 |      832
1018.33/1018.75	c 1018s |      19 |   609180 |   445882 |    23905     40 |      924 |      832
1020.32/1020.78	c 1020s |      19 |   611387 |   447482 |    23905     40 |      924 |      832
1022.32/1022.79	c 1022s |      19 |   612715 |   448582 |    23905     40 |      924 |      832
1024.42/1024.83	c 1024s |      19 |   614109 |   449782 |    23905     40 |      924 |      832
1026.52/1026.94	c 1026s |      19 |   615350 |   450782 |    23905     41 |      924 |      832
1028.72/1029.10	c 1028s |      19 |   616533 |   451782 |    23905     41 |      924 |      832
1030.72/1031.17	c 1030s |      19 |   618103 |   452982 |    23905     41 |      924 |      832
1032.72/1033.18	c 1032s |      19 |   619289 |   453982 |    23905     41 |      924 |      832
1034.83/1035.28	c 1035s |      19 |   620364 |   454882 |    23905     41 |      924 |      832
1037.12/1037.50	c 1037s |      19 |   621408 |   455782 |    23905     41 |      924 |      832
1039.23/1039.63	c 1039s |      19 |   622434 |   456682 |    23905     41 |      924 |      832
1041.43/1041.81	c 1041s |      19 |   623454 |   457582 |    23905     41 |      924 |      832
1043.42/1043.87	c 1043s |      19 |   624368 |   458382 |    23905     41 |      924 |      832
1045.73/1046.19	c 1045s |      19 |   625436 |   459282 |    23905     41 |      924 |      832
1047.92/1048.35	c 1048s |      19 |   626335 |   460082 |    23905     41 |      924 |      832
1050.02/1050.42	c 1050s |      19 |   627123 |   460782 |    23905     41 |      924 |      832
1052.12/1052.56	c 1052s |      19 |   627756 |   461382 |    23905     41 |      924 |      832
1054.12/1054.59	c 1054s |      19 |   628655 |   462082 |    23905     41 |      924 |      832
1056.21/1056.61	c 1056s |      19 |   629178 |   462582 |    23905     41 |      924 |      832
1058.31/1058.75	c 1058s |      19 |   629881 |   463182 |    23905     41 |      924 |      832
1060.61/1061.06	c 1060s |      19 |   630754 |   463882 |    23905     42 |      924 |      832
1062.71/1063.18	c 1062s |      19 |   631550 |   464582 |    23905     42 |      924 |      832
1064.91/1065.36	c 1065s |      19 |   632343 |   465282 |    23905     42 |      924 |      832
1067.11/1067.51	c 1067s |      19 |   633194 |   465982 |    23905     42 |      924 |      832
1069.21/1069.62	c 1069s |      19 |   634300 |   466882 |    23905     42 |      924 |      832
1071.41/1071.88	c 1071s |      19 |   635408 |   467782 |    23905     42 |      924 |      832
1073.51/1073.92	c 1073s |      19 |   636425 |   468582 |    23905     42 |      924 |      832
1075.81/1076.23	c 1075s |      19 |   637303 |   469382 |    23905     42 |      924 |      832
1078.11/1078.55	c 1078s |      19 |   638112 |   470082 |    23905     42 |      924 |      832
1080.41/1080.82	c 1080s |      19 |   638907 |   470782 |    23905     42 |      924 |      832
1082.71/1083.12	c 1082s |      19 |   639941 |   471582 |    23905     42 |      924 |      832
1084.91/1085.39	c 1085s |      19 |   640705 |   472282 |    23905     42 |      924 |      832
1087.11/1087.57	c 1087s |      19 |   641363 |   472882 |    23905     42 |      924 |      832
1089.41/1089.83	c 1089s |      19 |   642024 |   473482 |    23905     42 |      924 |      832
1091.71/1092.11	c 1091s |      19 |   642824 |   474182 |    23905     42 |      924 |      832
1094.01/1094.46	c 1094s |      19 |   643448 |   474782 |    23905     42 |      924 |      832
1096.21/1096.68	c 1096s |      19 |   644085 |   475382 |    23905     42 |      924 |      832
1098.61/1099.04	c 1098s |      19 |   644749 |   475982 |    23905     42 |      924 |      832
1100.71/1101.10	c 1100s |      19 |   645424 |   476582 |    23905     42 |      924 |      832
1102.91/1103.34	c 1103s |      19 |   645982 |   477082 |    23905     43 |      924 |      832
1105.21/1105.63	c 1105s |      19 |   646746 |   477782 |    23905     43 |      924 |      832
1107.31/1107.75	c 1107s |      19 |   647394 |   478382 |    23905     43 |      924 |      832
1109.51/1109.93	c 1109s |      19 |   648153 |   479082 |    23905     43 |      924 |      832
1111.61/1112.07	c 1111s |      19 |   648918 |   479782 |    23905     43 |      924 |      832
1113.91/1114.33	c 1114s |      19 |   649682 |   480482 |    23905     43 |      924 |      832
1115.90/1116.39	c 1116s |      19 |   650632 |   481182 |    23905     43 |      924 |      832
1118.00/1118.47	c 1118s |      19 |   651657 |   481982 |    23905     43 |      924 |      832
1120.20/1120.60	c 1120s |      19 |   652643 |   482782 |    23905     43 |      924 |      832
1122.30/1122.71	c 1122s |      19 |   653477 |   483482 |    23905     43 |      924 |      832
1124.30/1124.76	c 1124s |      19 |   654272 |   484182 |    23905     43 |      924 |      832
1126.50/1126.94	c 1126s |      19 |   655248 |   484982 |    23905     43 |      924 |      832
1128.61/1129.05	c 1128s |      19 |   656058 |   485682 |    23905     43 |      924 |      832
1130.71/1131.15	c 1130s |      19 |   656768 |   486282 |    23905     43 |      924 |      832
1132.81/1133.24	c 1133s |      19 |   657431 |   486882 |    23905     43 |      924 |      832
1135.11/1135.52	c 1135s |      19 |   658232 |   487582 |    23905     43 |      924 |      832
1137.21/1137.62	c 1137s |      19 |   659136 |   488382 |    23905     43 |      924 |      832
1139.51/1139.97	c 1139s |      19 |   659939 |   489082 |    23905     43 |      924 |      832
1141.91/1142.39	c 1142s |      19 |   660600 |   489682 |    23905     43 |      924 |      832
1144.01/1144.47	c 1144s |      19 |   661159 |   490182 |    23905     43 |      924 |      832
1146.30/1146.70	c 1146s |      19 |   661927 |   490782 |    23905     44 |      924 |      832
1148.50/1148.99	c 1148s |      19 |   662744 |   491482 |    23905     44 |      924 |      832
1150.60/1151.04	c 1150s |      19 |   663389 |   492082 |    23905     44 |      924 |      832
1152.80/1153.29	c 1153s |      19 |   664139 |   492782 |    23905     44 |      924 |      832
1155.10/1155.51	c 1155s |      19 |   665111 |   493582 |    23905     44 |      924 |      832
1157.20/1157.61	c 1157s |      19 |   665876 |   494282 |    23905     44 |      924 |      832
1159.20/1159.62	c 1159s |      19 |   666659 |   494982 |    23905     44 |      924 |      832
1161.31/1161.77	c 1161s |      19 |   667422 |   495682 |    23905     44 |      924 |      832
1163.60/1164.06	c 1163s |      19 |   668191 |   496382 |    23905     44 |      924 |      832
1165.80/1166.20	c 1165s |      19 |   669029 |   497082 |    23905     44 |      924 |      832
1168.00/1168.49	c 1168s |      19 |   669792 |   497782 |    23905     44 |      924 |      832
1170.30/1170.73	c 1170s |      19 |   670679 |   498582 |    23905     44 |      924 |      832
1172.40/1172.82	c 1172s |      19 |   671451 |   499282 |    23905     44 |      924 |      832
1174.60/1175.06	c 1174s |      19 |   672251 |   499982 |    23905     44 |      924 |      832
1176.80/1177.29	c 1177s |      19 |   673054 |   500682 |    23905     44 |      924 |      832
1179.00/1179.48	c 1179s |      19 |   673725 |   501282 |    23905     44 |      924 |      832
1181.50/1181.90	c 1181s |      19 |   674381 |   501882 |    23905     44 |      924 |      832
1183.80/1184.27	c 1184s |      19 |   675068 |   502482 |    23905     44 |      924 |      832
1186.20/1186.65	c 1186s |      19 |   675771 |   503082 |    23905     44 |      924 |      832
1188.20/1188.68	c 1188s |      19 |   676474 |   503682 |    23905     44 |      924 |      832
1190.40/1190.87	c 1190s |      19 |   677024 |   504182 |    23905     45 |      924 |      832
1192.70/1193.11	c 1192s |      19 |   677826 |   504882 |    23905     45 |      924 |      832
1194.80/1195.25	c 1195s |      19 |   678584 |   505582 |    23905     45 |      924 |      832
1197.10/1197.53	c 1197s |      19 |   679535 |   506382 |    23905     45 |      924 |      832
1199.10/1199.59	c 1199s |      19 |   680382 |   507082 |    23905     45 |      924 |      832
1201.30/1201.77	c 1201s |      19 |   681190 |   507782 |    23905     45 |      924 |      832
1203.50/1203.97	c 1203s |      19 |   682016 |   508482 |    23905     45 |      924 |      832
1205.69/1206.17	c 1205s |      19 |   682817 |   509182 |    23905     45 |      924 |      832
1207.99/1208.43	c 1208s |      19 |   683655 |   509882 |    23905     45 |      924 |      832
1210.19/1210.68	c 1210s |      19 |   684340 |   510482 |    23905     45 |      924 |      832
1212.59/1213.04	c 1212s |      19 |   685123 |   511182 |    23905     45 |      924 |      832
1214.79/1215.27	c 1215s |      19 |   685801 |   511782 |    23905     45 |      924 |      832
1217.09/1217.52	c 1217s |      19 |   686468 |   512382 |    23905     45 |      924 |      832
1219.50/1219.91	c 1219s |      19 |   687139 |   512982 |    23905     45 |      924 |      832
1221.59/1222.09	c 1221s |      19 |   687666 |   513482 |    23905     45 |      924 |      832
1223.69/1224.14	c 1223s |      19 |   688237 |   513982 |    23905     45 |      924 |      832
1225.79/1226.28	c 1226s |      19 |   688774 |   514482 |    23905     45 |      924 |      832
1227.99/1228.46	c 1228s |      19 |   689302 |   514982 |    23905     45 |      924 |      832
1230.29/1230.75	c 1230s |      19 |   689852 |   515482 |    23905     45 |      924 |      832
1232.70/1233.19	c 1232s |      19 |   690391 |   515982 |    23905     45 |      924 |      832
1235.00/1235.41	c 1235s |      19 |   690818 |   516382 |    23905     45 |      924 |      832
1237.29/1237.76	c 1237s |      19 |   691386 |   516882 |    23905     45 |      924 |      832
1239.79/1240.25	c 1240s |      19 |   691950 |   517382 |    23905     46 |      924 |      832
1241.99/1242.48	c 1242s |      19 |   692704 |   518082 |    23905     46 |      924 |      832
1244.19/1244.63	c 1244s |      19 |   693543 |   518782 |    23905     46 |      924 |      832
1246.29/1246.72	c 1246s |      19 |   694347 |   519482 |    23905     46 |      924 |      832
1248.59/1249.04	c 1248s |      19 |   695095 |   520182 |    23905     46 |      924 |      832
1250.79/1251.28	c 1251s |      19 |   695717 |   520782 |    23905     46 |      924 |      832
1252.79/1253.28	c 1253s |      19 |   696365 |   521382 |    23905     46 |      924 |      832
1254.89/1255.32	c 1255s |      19 |   697025 |   521982 |    23905     46 |      924 |      832
1257.08/1257.52	c 1257s |      19 |   698014 |   522782 |    23905     46 |      924 |      832
1259.28/1259.75	c 1259s |      19 |   698865 |   523482 |    23905     46 |      924 |      832
1261.58/1262.03	c 1261s |      19 |   699521 |   524082 |    23905     46 |      924 |      832
1263.88/1264.32	c 1264s |      19 |   700179 |   524682 |    23905     46 |      924 |      832
1265.88/1266.33	c 1266s |      19 |   700722 |   525182 |    23905     46 |      924 |      832
1268.08/1268.54	c 1268s |      19 |   701393 |   525782 |    23905     46 |      924 |      832
1270.19/1270.62	c 1270s |      19 |   702081 |   526382 |    23905     46 |      924 |      832
1272.18/1272.65	c 1272s |      19 |   702656 |   526882 |    23905     46 |      924 |      832
1274.59/1275.01	c 1274s |      19 |   703328 |   527482 |    23905     46 |      924 |      832
1276.69/1277.15	c 1276s |      19 |   703872 |   527982 |    23905     46 |      924 |      832
1278.68/1279.19	c 1278s |      19 |   704425 |   528482 |    23905     46 |      924 |      832
1280.78/1281.29	c 1281s |      19 |   704978 |   528982 |    23905     46 |      924 |      832
1283.18/1283.66	c 1283s |      19 |   705634 |   529582 |    23905     46 |      924 |      832
1285.38/1285.84	c 1285s |      19 |   706180 |   530082 |    23905     46 |      924 |      832
1287.48/1287.99	c 1287s |      19 |   706736 |   530582 |    23905     46 |      924 |      832
1289.78/1290.25	c 1290s |      19 |   707288 |   531082 |    23905     47 |      924 |      832
1292.09/1292.52	c 1292s |      19 |   707937 |   531682 |    23905     47 |      924 |      832
1294.29/1294.71	c 1294s |      19 |   708613 |   532282 |    23905     47 |      924 |      832
1296.28/1296.71	c 1296s |      19 |   709283 |   532882 |    23905     47 |      924 |      832
1298.38/1298.89	c 1298s |      19 |   709918 |   533482 |    23905     47 |      924 |      832
1300.58/1301.08	c 1300s |      19 |   710562 |   534082 |    23905     47 |      924 |      832
1302.88/1303.31	c 1303s |      19 |   711204 |   534682 |    23905     47 |      924 |      832
1305.08/1305.53	c 1305s |      19 |   711842 |   535282 |    23905     47 |      924 |      832
1307.28/1307.73	c 1307s |      19 |   712631 |   535982 |    23905     47 |      924 |      832
1309.48/1309.92	c 1309s |      19 |   713296 |   536582 |    23905     47 |      924 |      832
1311.78/1312.23	c 1311s |      19 |   713956 |   537182 |    23905     47 |      924 |      832
1314.18/1314.62	c 1314s |      19 |   714573 |   537782 |    23905     47 |      924 |      832
1316.47/1316.94	c 1316s |      19 |   715217 |   538382 |    23905     47 |      924 |      832
1318.48/1318.94	c 1318s |      19 |   715732 |   538882 |    23905     47 |      924 |      832
1320.78/1321.22	c 1320s |      19 |   716416 |   539482 |    23905     47 |      924 |      832
1323.07/1323.57	c 1323s |      19 |   717094 |   540082 |    23905     47 |      924 |      832
1325.18/1325.63	c 1325s |      19 |   717743 |   540682 |    23905     47 |      924 |      832
1327.47/1327.90	c 1327s |      19 |   718388 |   541282 |    23905     47 |      924 |      832
1329.77/1330.21	c 1329s |      19 |   719041 |   541882 |    23905     47 |      924 |      832
1332.17/1332.64	c 1332s |      19 |   719698 |   542482 |    23905     47 |      924 |      832
1334.17/1334.68	c 1334s |      19 |   720230 |   542982 |    23905     47 |      924 |      832
1336.37/1336.81	c 1336s |      19 |   720757 |   543482 |    23905     47 |      924 |      832
1338.47/1338.96	c 1338s |      19 |   721321 |   543982 |    23905     47 |      924 |      832
1340.67/1341.18	c 1340s |      19 |   721888 |   544482 |    23905     48 |      924 |      832
1343.07/1343.50	c 1343s |      19 |   722640 |   545182 |    23905     48 |      924 |      832
1345.18/1345.62	c 1345s |      19 |   723404 |   545882 |    23905     48 |      924 |      832
1347.48/1347.93	c 1347s |      19 |   724157 |   546582 |    23905     48 |      924 |      832
1349.68/1350.11	c 1349s |      19 |   724781 |   547182 |    23905     48 |      924 |      832
1351.88/1352.38	c 1352s |      19 |   725422 |   547782 |    23905     48 |      924 |      832
1354.18/1354.64	c 1354s |      19 |   726055 |   548382 |    23905     48 |      924 |      832
1356.38/1356.83	c 1356s |      19 |   726819 |   549082 |    23905     48 |      924 |      832
1358.38/1358.86	c 1358s |      19 |   727475 |   549682 |    23905     48 |      924 |      832
1360.68/1361.16	c 1360s |      19 |   728151 |   550282 |    23905     48 |      924 |      832
1362.87/1363.37	c 1363s |      19 |   728829 |   550882 |    23905     48 |      924 |      832
1365.17/1365.60	c 1365s |      19 |   729516 |   551482 |    23905     48 |      924 |      832
1367.37/1367.85	c 1367s |      19 |   730174 |   552082 |    23905     48 |      924 |      832
1369.77/1370.21	c 1369s |      19 |   730810 |   552682 |    23905     48 |      924 |      832
1371.77/1372.23	c 1371s |      19 |   731338 |   553182 |    23905     48 |      924 |      832
1373.87/1374.39	c 1374s |      19 |   731881 |   553682 |    23905     48 |      924 |      832
1375.97/1376.49	c 1376s |      19 |   732429 |   554182 |    23905     48 |      924 |      832
1378.17/1378.62	c 1378s |      19 |   732967 |   554682 |    23905     48 |      924 |      832
1380.47/1380.99	c 1380s |      19 |   733483 |   555182 |    23905     48 |      924 |      832
1382.67/1383.18	c 1382s |      19 |   734015 |   555682 |    23905     48 |      924 |      832
1384.87/1385.34	c 1385s |      19 |   734564 |   556182 |    23905     48 |      924 |      832
1387.17/1387.66	c 1387s |      19 |   735110 |   556682 |    23905     48 |      924 |      832
1389.67/1390.10	c 1389s |      19 |   735646 |   557182 |    23905     48 |      924 |      832
1392.47/1392.98	c 1392s |      19 |   736170 |   557682 |    23905     49 |      924 |      832
1394.67/1395.15	c 1394s |      19 |   736810 |   558282 |    23905     49 |      924 |      832
1397.07/1397.54	c 1397s |      19 |   737447 |   558882 |    23905     49 |      924 |      832
1399.27/1399.77	c 1399s |      19 |   738092 |   559482 |    23905     49 |      924 |      832
1401.47/1401.95	c 1401s |      19 |   738720 |   560082 |    23905     49 |      924 |      832
1403.77/1404.21	c 1403s |      19 |   739346 |   560682 |    23905     49 |      924 |      832
1405.87/1406.33	c 1406s |      19 |   739988 |   561282 |    23905     49 |      924 |      832
1408.07/1408.56	c 1408s |      19 |   740634 |   561882 |    23905     49 |      924 |      832
1410.07/1410.58	c 1410s |      19 |   741171 |   562382 |    23905     49 |      924 |      832
1412.07/1412.59	c 1412s |      19 |   741689 |   562882 |    23905     49 |      924 |      832
1414.47/1414.94	c 1414s |      19 |   742332 |   563482 |    23905     49 |      924 |      832
1416.86/1417.31	c 1417s |      19 |   742962 |   564082 |    23905     49 |      924 |      832
1418.96/1419.43	c 1419s |      19 |   743496 |   564582 |    23905     49 |      924 |      832
1421.16/1421.64	c 1421s |      19 |   744008 |   565082 |    23905     49 |      924 |      832
1423.36/1423.88	c 1423s |      19 |   744549 |   565582 |    23905     49 |      924 |      832
1425.76/1426.20	c 1425s |      19 |   745087 |   566082 |    23905     49 |      924 |      832
1427.86/1428.35	c 1428s |      19 |   745624 |   566582 |    23905     49 |      924 |      832
1430.06/1430.59	c 1430s |      19 |   746162 |   567082 |    23905     49 |      924 |      832
1432.56/1433.03	c 1432s |      19 |   746688 |   567582 |    23905     49 |      924 |      832
1434.56/1435.06	c 1434s |      19 |   747247 |   568082 |    23905     49 |      924 |      832
1436.66/1437.14	c 1436s |      19 |   747795 |   568582 |    23905     49 |      924 |      832
1438.86/1439.36	c 1439s |      19 |   748340 |   569082 |    23905     49 |      924 |      832
1441.06/1441.50	c 1441s |      19 |   748902 |   569582 |    23905     49 |      924 |      832
1443.26/1443.74	c 1443s |      19 |   749464 |   570082 |    23905     49 |      924 |      832
1445.86/1446.31	c 1446s |      19 |   750014 |   570582 |    23905     49 |      924 |      832
1448.66/1449.16	c 1448s |      19 |   750691 |   571182 |    23905     50 |      924 |      832
1450.86/1451.35	c 1451s |      19 |   751351 |   571782 |    23905     50 |      924 |      832
1452.96/1453.48	c 1453s |      19 |   752006 |   572382 |    23905     50 |      924 |      832
1455.16/1455.67	c 1455s |      19 |   752656 |   572982 |    23905     50 |      924 |      832
1457.56/1458.09	c 1457s |      19 |   753313 |   573582 |    23905     50 |      924 |      832
1459.66/1460.13	c 1459s |      19 |   754049 |   574182 |    23905     50 |      924 |      832
1461.76/1462.22	c 1461s |      19 |   754869 |   574882 |    23905     50 |      924 |      832
1463.76/1464.29	c 1464s |      19 |   755721 |   575582 |    23905     50 |      924 |      832
1466.16/1466.60	c 1466s |      19 |   756712 |   576382 |    23905     50 |      924 |      832
1468.36/1468.89	c 1468s |      19 |   757368 |   576982 |    23905     50 |      924 |      832
1470.46/1470.91	c 1470s |      19 |   758037 |   577582 |    23905     50 |      924 |      832
1472.66/1473.16	c 1472s |      19 |   758896 |   578282 |    23905     50 |      924 |      832
1474.86/1475.30	c 1475s |      19 |   759575 |   578882 |    23905     50 |      924 |      832
1477.26/1477.70	c 1477s |      19 |   760228 |   579482 |    23905     50 |      924 |      832
1479.46/1479.98	c 1479s |      19 |   760882 |   580082 |    23905     50 |      924 |      832
1481.65/1482.16	c 1481s |      19 |   761534 |   580682 |    23905     50 |      924 |      832
1483.95/1484.45	c 1484s |      19 |   762176 |   581282 |    23905     50 |      924 |      832
1486.25/1486.79	c 1486s |      19 |   762861 |   581882 |    23905     50 |      924 |      832
1488.55/1489.00	c 1488s |      19 |   763576 |   582482 |    23905     50 |      924 |      832
1490.75/1491.20	c 1490s |      19 |   764321 |   583082 |    23905     50 |      924 |      832
1492.75/1493.28	c 1493s |      19 |   765009 |   583682 |    23905     50 |      924 |      832
1494.75/1495.28	c 1495s |      19 |   765686 |   584282 |    23905     50 |      924 |      832
1496.95/1497.41	c 1497s |      19 |   766249 |   584782 |    23905     51 |      924 |      832
1499.15/1499.61	c 1499s |      19 |   767089 |   585482 |    23905     51 |      924 |      832
1501.16/1501.64	c 1501s |      19 |   767874 |   586182 |    23905     51 |      924 |      832
1503.26/1503.76	c 1503s |      19 |   768851 |   586982 |    23905     51 |      924 |      832
1505.35/1505.84	c 1505s |      19 |   769719 |   587782 |    23905     51 |      924 |      832
1507.45/1507.91	c 1507s |      19 |   770464 |   588482 |    23905     51 |      924 |      832
1509.45/1509.97	c 1509s |      19 |   771259 |   589182 |    23905     51 |      924 |      832
1511.65/1512.16	c 1511s |      19 |   771908 |   589782 |    23905     51 |      924 |      832
1513.85/1514.35	c 1514s |      19 |   772640 |   590482 |    23905     51 |      924 |      832
1516.15/1516.61	c 1516s |      19 |   773417 |   591182 |    23905     51 |      924 |      832
1518.35/1518.84	c 1518s |      19 |   774239 |   591882 |    23905     51 |      924 |      832
1520.55/1521.08	c 1520s |      19 |   775027 |   592582 |    23905     51 |      924 |      832
1522.85/1523.34	c 1523s |      19 |   775757 |   593282 |    23905     51 |      924 |      832
1525.25/1525.72	c 1525s |      19 |   776510 |   593982 |    23905     51 |      924 |      832
1527.45/1527.99	c 1527s |      19 |   777148 |   594582 |    23905     51 |      924 |      832
1529.75/1530.24	c 1530s |      19 |   777845 |   595182 |    23905     51 |      924 |      832
1531.74/1532.28	c 1532s |      19 |   778498 |   595782 |    23905     51 |      924 |      832
1533.74/1534.28	c 1534s |      19 |   779049 |   596282 |    23905     51 |      924 |      832
1536.14/1536.60	c 1536s |      19 |   779576 |   596782 |    23905     51 |      924 |      832
1538.24/1538.71	c 1538s |      19 |   780131 |   597282 |    23905     51 |      924 |      832
1540.54/1541.05	c 1540s |      19 |   780696 |   597782 |    23905     51 |      924 |      832
1542.64/1543.11	c 1542s |      19 |   781134 |   598182 |    23905     52 |      924 |      832
1544.94/1545.46	c 1545s |      19 |   781881 |   598882 |    23905     52 |      924 |      832
1547.14/1547.63	c 1547s |      19 |   782523 |   599482 |    23905     52 |      924 |      832
1549.45/1549.98	c 1549s |      19 |   783183 |   600082 |    23905     52 |      924 |      832
1551.54/1552.06	c 1551s |      19 |   783864 |   600682 |    23905     52 |      924 |      832
1553.74/1554.25	c 1554s |      19 |   784512 |   601282 |    23905     52 |      924 |      832
1556.04/1556.51	c 1556s |      19 |   785191 |   601882 |    23905     52 |      924 |      832
1558.24/1558.74	c 1558s |      19 |   786002 |   602582 |    23905     52 |      924 |      832
1560.54/1561.03	c 1560s |      19 |   786756 |   603282 |    23905     52 |      924 |      832
1562.84/1563.37	c 1563s |      19 |   787507 |   603982 |    23905     52 |      924 |      832
1565.04/1565.54	c 1565s |      19 |   788137 |   604582 |    23905     52 |      924 |      832
1567.23/1567.76	c 1567s |      19 |   788772 |   605182 |    23905     52 |      924 |      832
1569.53/1570.00	c 1569s |      19 |   789403 |   605782 |    23905     52 |      924 |      832
1571.54/1572.09	c 1571s |      19 |   789927 |   606282 |    23905     52 |      924 |      832
1573.53/1574.09	c 1573s |      19 |   790445 |   606782 |    23905     52 |      924 |      832
1575.63/1576.14	c 1575s |      19 |   790971 |   607282 |    23905     52 |      924 |      832
1577.73/1578.27	c 1578s |      19 |   791492 |   607782 |    23905     52 |      924 |      832
1579.93/1580.41	c 1580s |      19 |   792017 |   608282 |    23905     52 |      924 |      832
1582.03/1582.52	c 1582s |      19 |   792533 |   608782 |    23905     52 |      924 |      832
1584.13/1584.66	c 1584s |      19 |   793069 |   609282 |    23905     52 |      924 |      832
1586.33/1586.81	c 1586s |      19 |   793614 |   609782 |    23905     52 |      924 |      832
1588.73/1589.23	c 1588s |      19 |   794150 |   610282 |    23905     52 |      924 |      832
1590.94/1591.41	c 1591s |      19 |   794586 |   610682 |    23905     52 |      924 |      832
1592.94/1593.44	c 1593s |      19 |   795005 |   611082 |    23905     52 |      924 |      832
1595.65/1596.13	c 1595s |      19 |   795451 |   611482 |    23905     53 |      924 |      832
1597.85/1598.36	c 1598s |      19 |   796018 |   611982 |    23905     53 |      924 |      832
1600.15/1600.65	c 1600s |      19 |   796695 |   612582 |    23905     53 |      924 |      832
1602.44/1602.97	c 1602s |      19 |   797357 |   613182 |    23905     53 |      924 |      832
1604.74/1605.26	c 1605s |      19 |   798109 |   613882 |    23905     53 |      924 |      832
1607.04/1607.58	c 1607s |      19 |   798765 |   614482 |    23905     53 |      924 |      832
1609.54/1610.01	c 1609s |      19 |   799425 |   615082 |    23905     53 |      924 |      832
1611.74/1612.21	c 1611s |      19 |   800114 |   615682 |    23905     53 |      924 |      832
1613.74/1614.23	c 1613s |      19 |   800805 |   616282 |    23905     53 |      924 |      832
1615.84/1616.34	c 1616s |      19 |   801503 |   616882 |    23905     53 |      924 |      832
1618.24/1618.71	c 1618s |      19 |   802169 |   617482 |    23905     53 |      924 |      832
1620.44/1620.97	c 1620s |      19 |   802969 |   618182 |    23905     53 |      924 |      832
1622.74/1623.26	c 1623s |      19 |   803777 |   618882 |    23905     53 |      924 |      832
1625.04/1625.58	c 1625s |      19 |   804603 |   619582 |    23905     53 |      924 |      832
1627.23/1627.73	c 1627s |      19 |   805286 |   620182 |    23905     53 |      924 |      832
1629.53/1630.07	c 1629s |      19 |   805959 |   620782 |    23905     53 |      924 |      832
1631.83/1632.37	c 1632s |      19 |   806600 |   621382 |    23905     53 |      924 |      832
1634.03/1634.57	c 1634s |      19 |   807293 |   621982 |    23905     53 |      924 |      832
1636.13/1636.60	c 1636s |      19 |   807837 |   622482 |    23905     53 |      924 |      832
1638.23/1638.72	c 1638s |      19 |   808351 |   622982 |    23905     53 |      924 |      832
1640.23/1640.77	c 1640s |      19 |   808887 |   623482 |    23905     53 |      924 |      832
1642.53/1643.09	c 1642s |      19 |   809584 |   624082 |    23905     53 |      924 |      832
1644.83/1645.31	c 1645s |      19 |   810123 |   624582 |    23905     53 |      924 |      832
1646.93/1647.44	c 1647s |      19 |   810559 |   624982 |    23905     54 |      924 |      832
1649.13/1649.66	c 1649s |      19 |   811461 |   625782 |    23905     54 |      924 |      832
1651.43/1651.96	c 1651s |      19 |   812269 |   626482 |    23905     54 |      924 |      832
1653.73/1654.22	c 1653s |      19 |   812925 |   627082 |    23905     54 |      924 |      832
1655.93/1656.44	c 1656s |      19 |   813567 |   627682 |    23905     54 |      924 |      832
1658.03/1658.53	c 1658s |      19 |   814239 |   628282 |    23905     54 |      924 |      832
1660.13/1660.69	c 1660s |      19 |   814871 |   628882 |    23905     54 |      924 |      832
1662.43/1662.90	c 1662s |      19 |   815538 |   629482 |    23905     54 |      924 |      832
1664.63/1665.10	c 1664s |      19 |   816206 |   630082 |    23905     54 |      924 |      832
1666.73/1667.25	c 1667s |      19 |   816881 |   630682 |    23905     54 |      924 |      832
1668.93/1669.44	c 1669s |      19 |   817426 |   631182 |    23905     54 |      924 |      832
1671.13/1671.69	c 1671s |      19 |   817977 |   631682 |    23905     54 |      924 |      832
1673.43/1673.98	c 1673s |      19 |   818531 |   632182 |    23905     54 |      924 |      832
1675.53/1676.09	c 1675s |      19 |   819048 |   632682 |    23905     54 |      924 |      832
1677.63/1678.14	c 1677s |      19 |   819593 |   633182 |    23905     54 |      924 |      832
1679.82/1680.32	c 1680s |      19 |   820249 |   633782 |    23905     54 |      924 |      832
1682.02/1682.50	c 1682s |      19 |   820794 |   634282 |    23905     54 |      924 |      832
1684.12/1684.64	c 1684s |      19 |   821324 |   634782 |    23905     54 |      924 |      832
1686.22/1686.73	c 1686s |      19 |   821869 |   635282 |    23905     54 |      924 |      832
1688.42/1688.98	c 1688s |      19 |   822422 |   635782 |    23905     54 |      924 |      832
1690.52/1691.04	c 1690s |      19 |   822980 |   636282 |    23905     54 |      924 |      832
1692.82/1693.32	c 1693s |      19 |   823644 |   636882 |    23905     54 |      924 |      832
1694.82/1695.35	c 1695s |      19 |   824217 |   637382 |    23905     54 |      924 |      832
1697.12/1697.64	c 1697s |      19 |   824809 |   637882 |    23905     54 |      924 |      832
1699.72/1700.29	c 1700s |      19 |   825336 |   638382 |    23905     55 |      924 |      832
1701.82/1702.30	c 1702s |      19 |   826159 |   639082 |    23905     55 |      924 |      832
1703.82/1704.39	c 1704s |      19 |   826934 |   639782 |    23905     55 |      924 |      832
1706.02/1706.51	c 1706s |      19 |   827576 |   640382 |    23905     55 |      924 |      832
1708.02/1708.55	c 1708s |      19 |   828248 |   640982 |    23905     55 |      924 |      832
1710.03/1710.60	c 1710s |      19 |   828910 |   641582 |    23905     55 |      924 |      832
1712.22/1712.77	c 1712s |      19 |   829588 |   642182 |    23905     55 |      924 |      832
1714.52/1715.08	c 1714s |      19 |   830246 |   642782 |    23905     55 |      924 |      832
1716.82/1717.36	c 1717s |      19 |   830907 |   643382 |    23905     55 |      924 |      832
1719.12/1719.69	c 1719s |      19 |   831572 |   643982 |    23905     55 |      924 |      832
1721.22/1721.73	c 1721s |      19 |   832116 |   644482 |    23905     55 |      924 |      832
1723.22/1723.74	c 1723s |      19 |   832658 |   644982 |    23905     55 |      924 |      832
1725.52/1726.05	c 1725s |      19 |   833229 |   645482 |    23905     55 |      924 |      832
1727.72/1728.28	c 1728s |      19 |   833906 |   646082 |    23905     55 |      924 |      832
1730.11/1730.63	c 1730s |      19 |   834599 |   646682 |    23905     55 |      924 |      832
1732.41/1732.93	c 1732s |      19 |   835271 |   647282 |    23905     55 |      924 |      832
1734.71/1735.23	c 1734s |      19 |   835925 |   647882 |    23905     55 |      924 |      832
1736.71/1737.26	c 1737s |      19 |   836478 |   648382 |    23905     55 |      924 |      832
1738.81/1739.31	c 1739s |      19 |   837036 |   648882 |    23905     55 |      924 |      832
1741.01/1741.51	c 1741s |      19 |   837590 |   649382 |    23905     55 |      924 |      832
1743.12/1743.68	c 1743s |      19 |   838167 |   649882 |    23905     55 |      924 |      832
1745.41/1745.99	c 1745s |      19 |   838820 |   650482 |    23905     55 |      924 |      832
1747.81/1748.35	c 1748s |      19 |   839488 |   651082 |    23905     55 |      924 |      832
1750.31/1750.85	c 1750s |      19 |   840055 |   651582 |    23905     55 |      924 |      832
1752.41/1752.98	c 1752s |      19 |   840496 |   651982 |    23905     56 |      924 |      832
1754.51/1755.01	c 1754s |      19 |   841043 |   652482 |    23905     56 |      924 |      832
1756.61/1757.13	c 1756s |      19 |   841730 |   653082 |    23905     56 |      924 |      832
1758.71/1759.22	c 1758s |      19 |   842381 |   653682 |    23905     56 |      924 |      832
1761.01/1761.53	c 1761s |      19 |   843038 |   654282 |    23905     56 |      924 |      832
1763.41/1763.97	c 1763s |      19 |   843686 |   654882 |    23905     56 |      924 |      832
1765.51/1766.00	c 1765s |      19 |   844250 |   655382 |    23905     56 |      924 |      832
1767.61/1768.10	c 1767s |      19 |   844809 |   655882 |    23905     56 |      924 |      832
1769.81/1770.33	c 1770s |      19 |   845464 |   656482 |    23905     56 |      924 |      832
1771.81/1772.33	c 1772s |      19 |   846006 |   656982 |    23905     56 |      924 |      832
1773.91/1774.44	c 1774s |      19 |   846559 |   657482 |    23905     56 |      924 |      832
1776.01/1776.51	c 1776s |      19 |   847109 |   657982 |    23905     56 |      924 |      832
1778.11/1778.66	c 1778s |      19 |   847828 |   658582 |    23905     56 |      924 |      832
1780.31/1780.89	c 1780s |      19 |   848488 |   659182 |    23905     56 |      924 |      832
1782.40/1782.99	c 1782s |      19 |   849176 |   659782 |    23905     56 |      924 |      832
1784.70/1785.26	c 1785s |      19 |   849982 |   660482 |    23905     56 |      924 |      832
1786.70/1787.27	c 1787s |      19 |   850644 |   661082 |    23905     56 |      924 |      832
1788.80/1789.34	c 1789s |      19 |   851218 |   661582 |    23905     56 |      924 |      832
1790.90/1791.49	c 1791s |      19 |   851777 |   662082 |    23905     56 |      924 |      832
1793.00/1793.52	c 1793s |      19 |   852350 |   662582 |    26296     56 |      924 |      832
1795.10/1795.69	c 1795s |      19 |   852897 |   663082 |    26296     56 |      924 |      832
1797.40/1797.94	c 1797s |      19 |   853443 |   663582 |    26296     56 |      924 |      832
1799.60/1800.17	c 1799s |      19 |   854030 |   664082 |    26296     56 |      924 |      832

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

pid=22704
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.11 2.13 2.11 3/179 22707
/proc/meminfo: memFree=29636584/32872528 swapFree=1085692/1157232
[pid=22707] ppid=22704 vsize=454076 CPUtime=0 cores=1,3,5,7
/proc/22707/stat : 22707 (toysat) R 22704 22707 21062 0 -1 4202496 1642 0 0 0 0 0 0 0 20 0 4 0 28277530 464973824 2003 33554432000 4194304 16246674 140737088871328 140737088870752 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22707/statm: 114031 2011 441 2943 0 110925 0
[pid=22707/tid=22708] ppid=22704 vsize=470460 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (toysat) S 22704 22707 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28277530 481751040 2070 33554432000 4194304 16246674 140737088871328 140668840160496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22707/tid=22709] ppid=22704 vsize=474556 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22709/stat : 22709 (toysat) S 22704 22707 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28277530 485945344 2086 33554432000 4194304 16246674 140737088871328 140668829670640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22707/tid=22710] ppid=22704 vsize=477628 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (toysat) S 22704 22707 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28277530 489091072 2098 33554432000 4194304 16246674 140737088871328 140668819197104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100207 s]
/proc/loadavg: 2.11 2.13 2.11 3/179 22707
/proc/meminfo: memFree=29636584/32872528 swapFree=1085692/1157232
[pid=22707] ppid=22704 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/22707/stat : 22707 (toysat) R 22704 22707 21062 0 -1 4202496 24507 0 0 0 5 4 0 0 20 0 4 0 28277530 1332285440 24807 33554432000 4194304 16246674 140737088871328 140737088870640 5703736 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22707/statm: 325265 24822 806 2943 0 322159 0
[pid=22707/tid=22708] ppid=22704 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (toysat) S 22704 22707 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28277530 1332285440 24833 33554432000 4194304 16246674 140737088871328 140668840160496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22707/tid=22709] ppid=22704 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22709/stat : 22709 (toysat) S 22704 22707 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28277530 1332285440 24844 33554432000 4194304 16246674 140737088871328 140668829670640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22707/tid=22710] ppid=22704 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (toysat) S 22704 22707 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28277530 1332285440 24855 33554432000 4194304 16246674 140737088871328 140668819197104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200395 s]
/proc/loadavg: 2.11 2.13 2.11 3/179 22707
/proc/meminfo: memFree=29636584/32872528 swapFree=1085692/1157232
[pid=22707] ppid=22704 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/22707/stat : 22707 (toysat) R 22704 22707 21062 0 -1 4202496 43550 0 0 0 12 7 0 0 20 0 4 0 28277530 1333334016 43849 33554432000 4194304 16246674 140737088871328 140737088870640 5657696 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22707/statm: 325521 43849 840 2943 0 322415 0
[pid=22707/tid=22708] ppid=22704 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (toysat) S 22704 22707 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28277530 1333334016 43849 33554432000 4194304 16246674 140737088871328 140668840160496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22707/tid=22709] ppid=22704 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22709/stat : 22709 (toysat) S 22704 22707 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28277530 1333334016 43849 33554432000 4194304 16246674 140737088871328 140668829670640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22707/tid=22710] ppid=22704 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (toysat) S 22704 22707 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28277530 1333334016 43849 33554432000 4194304 16246674 140737088871328 140668819197104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300503 s]
/proc/loadavg: 2.11 2.13 2.11 3/179 22707
/proc/meminfo: memFree=29636584/32872528 swapFree=1085692/1157232
[pid=22707] ppid=22704 vsize=1302084 CPUtime=0.29 cores=1,3,5,7
/proc/22707/stat : 22707 (toysat) R 22704 22707 21062 0 -1 4202496 48126 0 0 0 22 7 0 0 20 0 4 0 28277530 1333334016 48425 33554432000 4194304 16246674 140737088871328 140737088870640 13954518 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22707/statm: 325521 48429 880 2943 0 322415 0
[pid=22707/tid=22708] ppid=22704 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (toysat) S 22704 22707 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28277530 1333334016 48430 33554432000 4194304 16246674 140737088871328 140668840160496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22707/tid=22709] ppid=22704 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22709/stat : 22709 (toysat) S 22704 22707 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28277530 1333334016 48432 33554432000 4194304 16246674 140737088871328 140668829670640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22707/tid=22710] ppid=22704 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (toysat) S 22704 22707 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28277530 1333334016 48434 33554432000 4194304 16246674 140737088871328 140668819197104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700309 s]
/proc/loadavg: 2.11 2.13 2.11 3/179 22707
/proc/meminfo: memFree=29636584/32872528 swapFree=1085692/1157232
[pid=22707] ppid=22704 vsize=1302084 CPUtime=0.69 cores=1,3,5,7
/proc/22707/stat : 22707 (toysat) R 22704 22707 21062 0 -1 4202496 97841 0 0 0 55 14 0 0 20 0 4 0 28277530 1333334016 98140 33554432000 4194304 16246674 140737088871328 140737088853248 5600933 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22707/statm: 325521 98145 880 2943 0 322415 0
[pid=22707/tid=22708] ppid=22704 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (toysat) S 22704 22707 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28277530 1333334016 98149 33554432000 4194304 16246674 140737088871328 140668840160496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22707/tid=22709] ppid=22704 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22709/stat : 22709 (toysat) S 22704 22707 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28277530 1333334016 98152 33554432000 4194304 16246674 140737088871328 140668829670640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22707/tid=22710] ppid=22704 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (toysat) S 22704 22707 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28277530 1333334016 98155 33554432000 4194304 16246674 140737088871328 140668819197104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.5004 s]
/proc/loadavg: 2.11 2.13 2.11 3/183 22711
/proc/meminfo: memFree=29044488/32872528 swapFree=1085692/1157232
[pid=22707] ppid=22704 vsize=1302084 CPUtime=1.48 cores=1,3,5,7
/proc/22707/stat : 22707 (toysat) R 22704 22707 21062 0 -1 4202496 206834 0 0 0 120 28 0 0 20 0 4 0 28277530 1333334016 207133 33554432000 4194304 16246674 140737088871328 140737088853248 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22707/statm: 325521 207138 880 2943 0 322415 0
[pid=22707/tid=22708] ppid=22704 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (toysat) S 22704 22707 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28277530 1333334016 207143 33554432000 4194304 16246674 140737088871328 140668840160496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22707/tid=22709] ppid=22704 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22709/stat : 22709 (toysat) S 22704 22707 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28277530 1333334016 207148 33554432000 4194304 16246674 140737088871328 140668829670640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22707/tid=22710] ppid=22704 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (toysat) S 22704 22707 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28277530 1333334016 207152 33554432000 4194304 16246674 140737088871328 140668819197104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1302084

[startup+3.10042 s]
/proc/loadavg: 2.10 2.13 2.10 3/183 22711
/proc/meminfo: memFree=28560268/32872528 swapFree=1085692/1157232
[pid=22707] ppid=22704 vsize=1312324 CPUtime=3.08 cores=1,3,5,7
/proc/22707/stat : 22707 (toysat) R 22704 22707 21062 0 -1 4202496 269060 0 0 0 271 37 0 0 20 0 4 0 28277530 1343819776 269359 33554432000 4194304 16246674 140737088871328 140737088853248 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22707/statm: 328081 269359 886 2943 0 324975 0
[pid=22707/tid=22708] ppid=22704 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (toysat) S 22704 22707 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28277530 1343819776 269359 33554432000 4194304 16246674 140737088871328 140668840160496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22707/tid=22709] ppid=22704 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22709/stat : 22709 (toysat) S 22704 22707 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28277530 1343819776 269359 33554432000 4194304 16246674 140737088871328 140668829670640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22707/tid=22710] ppid=22704 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (toysat) S 22704 22707 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28277530 1343819776 269359 33554432000 4194304 16246674 140737088871328 140668819197104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1312324

[startup+6.30043 s]
/proc/loadavg: 2.10 2.13 2.10 3/183 22711
/proc/meminfo: memFree=28558992/32872528 swapFree=1085692/1157232
[pid=22707] ppid=22704 vsize=1312324 CPUtime=6.28 cores=1,3,5,7
/proc/22707/stat : 22707 (toysat) R 22704 22707 21062 0 -1 4202496 269264 0 0 0 591 37 0 0 20 0 4 0 28277530 1343819776 269563 33554432000 4194304 16246674 140737088871328 140737088853248 13966775 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22707/statm: 328081 269563 886 2943 0 324975 0
[pid=22707/tid=22708] ppid=22704 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (toysat) S 22704 22707 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28277530 1343819776 269563 33554432000 4194304 16246674 140737088871328 140668840160496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22707/tid=22709] ppid=22704 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22709/stat : 22709 (toysat) S 22704 22707 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28277530 1343819776 269563 33554432000 4194304 16246674 140737088871328 140668829670640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22707/tid=22710] ppid=22704 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (toysat) S 22704 22707 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28277530 1343819776 269563 33554432000 4194304 16246674 140737088871328 140668819197104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1312324

[startup+12.7003 s]
/proc/loadavg: 2.16 2.14 2.11 3/183 22711
/proc/meminfo: memFree=28558568/32872528 swapFree=1085692/1157232
[pid=22707] ppid=22704 vsize=1312324 CPUtime=12.68 cores=1,3,5,7
/proc/22707/stat : 22707 (toysat) R 22704 22707 21062 0 -1 4202496 269266 0 0 0 1231 37 0 0 20 0 4 0 28277530 1343819776 269565 33554432000 4194304 16246674 140737088871328 140737088853248 12483296 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22707/statm: 328081 269565 888 2943 0 324975 0
[pid=22707/tid=22708] ppid=22704 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (toysat) S 22704 22707 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28277530 1343819776 269565 33554432000 4194304 16246674 140737088871328 140668840160496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22707/tid=22709] ppid=22704 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22709/stat : 22709 (toysat) S 22704 22707 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28277530 1343819776 269565 33554432000 4194304 16246674 140737088871328 140668829670640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22707/tid=22710] ppid=22704 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (toysat) S 22704 22707 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28277530 1343819776 269565 33554432000 4194304 16246674 140737088871328 140668819197104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.14 2.13 2.11 3/183 22711
/proc/meminfo: memFree=28558836/32872528 swapFree=1085692/1157232
[pid=22707] ppid=22704 vsize=1312324 CPUtime=25.48 cores=1,3,5,7
/proc/22707/stat : 22707 (toysat) R 22704 22707 21062 0 -1 4202496 269267 0 0 0 2511 37 0 0 20 0 4 0 28277530 1343819776 269566 33554432000 4194304 16246674 140737088871328 140737088853248 6837238 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22707/statm: 328081 269566 889 2943 0 324975 0
[pid=22707/tid=22708] ppid=22704 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (toysat) S 22704 22707 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28277530 1343819776 269566 33554432000 4194304 16246674 140737088871328 140668840160496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22707/tid=22709] ppid=22704 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22709/stat : 22709 (toysat) S 22704 22707 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28277530 1343819776 269566 33554432000 4194304 16246674 140737088871328 140668829670640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22707/tid=22710] ppid=22704 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (toysat) S 22704 22707 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28277530 1343819776 269566 33554432000 4194304 16246674 140737088871328 140668819197104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.23 2.16 2.11 3/183 22711
/proc/meminfo: memFree=28558612/32872528 swapFree=1085692/1157232
[pid=22707] ppid=22704 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/22707/stat : 22707 (toysat) R 22704 22707 21062 0 -1 4202496 269279 0 0 0 5070 38 0 0 20 0 4 0 28277530 1343819776 269569 33554432000 4194304 16246674 140737088871328 140737088853248 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22707/statm: 328081 269569 889 2943 0 324975 0
[pid=22707/tid=22708] ppid=22704 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (toysat) S 22704 22707 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28277530 1343819776 269569 33554432000 4194304 16246674 140737088871328 140668840160496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22707/tid=22709] ppid=22704 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22709/stat : 22709 (toysat) S 22704 22707 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28277530 1343819776 269569 33554432000 4194304 16246674 140737088871328 140668829670640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22707/tid=22710] ppid=22704 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (toysat) S 22704 22707 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28277530 1343819776 269569 33554432000 4194304 16246674 140737088871328 140668819197104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.17 2.14 2.11 3/183 22712
/proc/meminfo: memFree=28555316/32872528 swapFree=1085692/1157232
[pid=22707] ppid=22704 vsize=1315396 CPUtime=102.26 cores=1,3,5,7
/proc/22707/stat : 22707 (toysat) R 22704 22707 21062 0 -1 4202496 270062 0 0 0 10188 38 0 0 20 0 4 0 28277530 1346965504 270333 33554432000 4194304 16246674 140737088871328 140737088853248 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22707/statm: 328849 270333 890 2943 0 325743 0
[pid=22707/tid=22708] ppid=22704 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (toysat) S 22704 22707 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28277530 1346965504 270333 33554432000 4194304 16246674 140737088871328 140668840160496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22707/tid=22709] ppid=22704 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22709/stat : 22709 (toysat) S 22704 22707 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28277530 1346965504 270333 33554432000 4194304 16246674 140737088871328 140668829670640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22707/tid=22710] ppid=22704 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (toysat) S 22704 22707 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28277530 1346965504 270333 33554432000 4194304 16246674 140737088871328 140668819197104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1315396


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

/proc/22707/task/22710/stat : 22710 (toysat) S 22704 22707 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668819197104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1333828

[startup+1362.3 s]
/proc/loadavg: 2.23 2.20 2.15 3/183 22912
/proc/meminfo: memFree=28541444/32872528 swapFree=1085692/1157232
[pid=22707] ppid=22704 vsize=1333828 CPUtime=1361.88 cores=1,3,5,7
/proc/22707/stat : 22707 (toysat) R 22704 22707 21062 0 -1 4202496 275022 0 0 0 136142 46 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140737088853248 5823250 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22707/statm: 333457 274946 890 2943 0 330351 0
[pid=22707/tid=22708] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (toysat) S 22704 22707 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668840160496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22707/tid=22709] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22709/stat : 22709 (toysat) S 22704 22707 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668829670640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22707/tid=22710] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (toysat) S 22704 22707 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668819197104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1333828

[startup+1422.3 s]
/proc/loadavg: 2.23 2.19 2.14 3/184 22916
/proc/meminfo: memFree=28541476/32872528 swapFree=1085692/1157232
[pid=22707] ppid=22704 vsize=1333828 CPUtime=1421.87 cores=1,3,5,7
/proc/22707/stat : 22707 (toysat) R 22704 22707 21062 0 -1 4202496 275022 0 0 0 142141 46 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140737088853248 5822240 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22707/statm: 333457 274946 890 2943 0 330351 0
[pid=22707/tid=22708] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (toysat) S 22704 22707 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668840160496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22707/tid=22709] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22709/stat : 22709 (toysat) S 22704 22707 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668829670640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22707/tid=22710] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (toysat) S 22704 22707 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668819197104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1333828

[startup+1482.3 s]
/proc/loadavg: 2.17 2.18 2.14 3/183 22917
/proc/meminfo: memFree=28539796/32872528 swapFree=1085692/1157232
[pid=22707] ppid=22704 vsize=1333828 CPUtime=1481.85 cores=1,3,5,7
/proc/22707/stat : 22707 (toysat) R 22704 22707 21062 0 -1 4202496 275022 0 0 0 148139 46 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140737088853248 5712756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22707/statm: 333457 274946 890 2943 0 330351 0
[pid=22707/tid=22708] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (toysat) S 22704 22707 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668840160496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22707/tid=22709] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22709/stat : 22709 (toysat) S 22704 22707 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668829670640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22707/tid=22710] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (toysat) S 22704 22707 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668819197104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1333828

[startup+1542.31 s]
/proc/loadavg: 2.12 2.16 2.14 3/183 22919
/proc/meminfo: memFree=28540208/32872528 swapFree=1085692/1157232
[pid=22707] ppid=22704 vsize=1333828 CPUtime=1541.85 cores=1,3,5,7
/proc/22707/stat : 22707 (toysat) R 22704 22707 21062 0 -1 4202496 275022 0 0 0 154139 46 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140737088853248 5589718 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22707/statm: 333457 274946 890 2943 0 330351 0
[pid=22707/tid=22708] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (toysat) S 22704 22707 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668840160496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22707/tid=22709] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22709/stat : 22709 (toysat) S 22704 22707 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668829670640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22707/tid=22710] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (toysat) S 22704 22707 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668819197104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1333828

[startup+1602.3 s]
/proc/loadavg: 2.15 2.16 2.14 3/183 22920
/proc/meminfo: memFree=28540640/32872528 swapFree=1085692/1157232
[pid=22707] ppid=22704 vsize=1333828 CPUtime=1601.84 cores=1,3,5,7
/proc/22707/stat : 22707 (toysat) R 22704 22707 21062 0 -1 4202496 275022 0 0 0 160137 47 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140737088853248 5659576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22707/statm: 333457 274946 890 2943 0 330351 0
[pid=22707/tid=22708] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (toysat) S 22704 22707 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668840160496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22707/tid=22709] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22709/stat : 22709 (toysat) S 22704 22707 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668829670640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22707/tid=22710] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (toysat) S 22704 22707 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668819197104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1333828

[startup+1662.3 s]
/proc/loadavg: 2.14 2.16 2.14 3/183 22921
/proc/meminfo: memFree=28541016/32872528 swapFree=1085692/1157232
[pid=22707] ppid=22704 vsize=1333828 CPUtime=1661.83 cores=1,3,5,7
/proc/22707/stat : 22707 (toysat) R 22704 22707 21062 0 -1 4202496 275022 0 0 0 166136 47 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140737088853248 12483481 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22707/statm: 333457 274946 890 2943 0 330351 0
[pid=22707/tid=22708] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (toysat) S 22704 22707 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668840160496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22707/tid=22709] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22709/stat : 22709 (toysat) S 22704 22707 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668829670640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22707/tid=22710] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (toysat) S 22704 22707 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668819197104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1333828

[startup+1722.3 s]
/proc/loadavg: 2.17 2.17 2.14 3/183 22922
/proc/meminfo: memFree=28540772/32872528 swapFree=1085692/1157232
[pid=22707] ppid=22704 vsize=1333828 CPUtime=1721.82 cores=1,3,5,7
/proc/22707/stat : 22707 (toysat) R 22704 22707 21062 0 -1 4202496 275022 0 0 0 172135 47 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140737088853248 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22707/statm: 333457 274946 890 2943 0 330351 0
[pid=22707/tid=22708] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (toysat) S 22704 22707 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668840160496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22707/tid=22709] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22709/stat : 22709 (toysat) S 22704 22707 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668829670640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22707/tid=22710] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (toysat) S 22704 22707 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668819197104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1333828

[startup+1782.3 s]
/proc/loadavg: 2.27 2.20 2.15 3/183 22923
/proc/meminfo: memFree=28540400/32872528 swapFree=1085692/1157232
[pid=22707] ppid=22704 vsize=1333828 CPUtime=1781.8 cores=1,3,5,7
/proc/22707/stat : 22707 (toysat) R 22704 22707 21062 0 -1 4202496 275022 0 0 0 178133 47 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140737088853248 12483332 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22707/statm: 333457 274946 890 2943 0 330351 0
[pid=22707/tid=22708] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (toysat) S 22704 22707 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668840160496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22707/tid=22709] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22709/stat : 22709 (toysat) S 22704 22707 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668829670640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22707/tid=22710] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (toysat) S 22704 22707 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668819197104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1333828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.21 2.19 2.15 3/183 22923
/proc/meminfo: memFree=28540400/32872528 swapFree=1085692/1157232
[pid=22707] ppid=22704 vsize=1333828 CPUtime=1800 cores=1,3,5,7
/proc/22707/stat : 22707 (toysat) R 22704 22707 21062 0 -1 4202496 275022 0 0 0 179953 47 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140737088853248 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22707/statm: 333457 274946 890 2943 0 330351 0
[pid=22707/tid=22708] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (toysat) S 22704 22707 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668840160496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22707/tid=22709] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22709/stat : 22709 (toysat) S 22704 22707 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668829670640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22707/tid=22710] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (toysat) S 22704 22707 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668819197104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1333828

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

[startup+1800.5 s]
/proc/loadavg: 2.21 2.19 2.15 3/183 22923
/proc/meminfo: memFree=28540400/32872528 swapFree=1085692/1157232
[pid=22707] ppid=22704 vsize=1333828 CPUtime=1800 cores=1,3,5,7
/proc/22707/stat : 22707 (toysat) R 22704 22707 21062 0 -1 4202496 275022 0 0 0 179953 47 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140737088853248 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22707/statm: 333457 274946 890 2943 0 330351 0
[pid=22707/tid=22708] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22708/stat : 22708 (toysat) S 22704 22707 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668840160496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22707/tid=22709] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22709/stat : 22709 (toysat) S 22704 22707 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668829670640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22707/tid=22710] ppid=22704 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/22707/task/22710/stat : 22710 (toysat) S 22704 22707 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28277530 1365839872 274946 33554432000 4194304 16246674 140737088871328 140668819197104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1333828

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.54
CPU system time (s): 0.479927
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 1333828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.479927
maximum resident set size= 1099784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275022
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= 394
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.13537 second user time and 7.38688 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 16:46:19
IDJOB=4116693
IDBENCH=109502
IDSOLVER=2542
FILE ID=node114/4116693-1466952379
RUNJOBID= node114-1466944456-21079
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-8.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116693-1466952379/watcher-4116693-1466952379 -o /tmp/evaluation-result-4116693-1466952379/solver-4116693-1466952379 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466944456-21079 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116693-1466952379.opb

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

MD5SUM BENCH= e1189837ef7b00368049cf6d1bdb5b61
RANDOM SEED=19983829

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29637460 kB
Buffers:           17768 kB
Cached:           217908 kB
SwapCached:        38932 kB
Active:          1165496 kB
Inactive:         210692 kB
Active(anon):    1104916 kB
Inactive(anon):    37756 kB
Active(file):      60580 kB
Inactive(file):   172936 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061376 kB
Dirty:             16700 kB
Writeback:             0 kB
AnonPages:       2413220 kB
Mapped:            10712 kB
Shmem:                 0 kB
Slab:             566664 kB
SReclaimable:      10832 kB
SUnreclaim:       555832 kB
KernelStack:        1520 kB
PageTables:         8080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2402804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1320960 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= 71624 MiB
End job on node114 at 2016-06-26 17:16:20