Trace number 4110094

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.07 1800.53

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.8.accl.ucl--soft-66-100-0.wbo
MD5SUM7efdf9913882433684cdc1d0f3b36335
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark613.745
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables21380
Total number of constraints60984
Number of soft constraints20761
Number of constraints which are clauses58828
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2156
Minimum length of a constraint1
Maximum length of a constraint13
Top cost 1041832
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1041831
Biggest number in a constraint 73
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 262
Number of bits of the biggest sum of numbers9
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-19T15:57:22+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","--wbo","--search=bcd2","HOME/instance-4110094-1466344642.wbo"]
0.00/0.01	c use --random-gen="274423335 2275472943 1293008241 3588129951 126655494 3952138159 2140242072 3206444424 4236723144 3785727826 3580738084 3864240890 2201258925 2226760535 3081821655 1144092099 1226920318 1735669267 2192940058 826420227 1257237122 542349790 1725898004 2631672182 974921308 2279537130 576173113 2438601173 2647391347 1350312566 2834743050 1707012133 627816170 3277052000 4139203534 281524579 353545117 4035717638 753089383 3813671050 2942750060 1590610669 1672886527 3878602813 884978715 3138847579 1255485872 732685145 3018801363 1301686449 850227993 2076051869 812127574 3895364811 870921570 4176321605 1640927728 2043733583 1833857032 2273742255 318836912 3189677768 3810827975 3730633363 1142934834 4020060098 3144367863 4107263491 2557814112 2154720341 1736193427 208859099 692642526 3133449071 3444143197 2106714417 2828375426 2557695531 1364492460 2224430003 3905420259 141381069 3320555093 611893694 2374735297 1319861286 2912394977 2942044578 2789341164 1042189719 2388129820 444180294 4016744094 2013611748 2255735203 147778901 3415431750 2417664338 387333433 1340439553 1114486521 1649999535 142555579 2894535076 2650913365 3713921818 1506353206 3417635296 3173123303 722645530 3713561915 361485757 109001603 2080162744 1379593217 3826198926 1786441937 3649485957 1737360612 456965674 2041270482 1058606694 4217378968 143323062 1162763882 3390340363 2421077418 2371710555 2498336095 3727046766 222138034 1144715168 2027532726 288832545 3956655831 1790276240 3828359812 810636686 396851270 2277571483 2120488775 132884148 1739494380 3257062791 2705553086 982525962 2026448396 132406853 1790670788 3684484952 4062020090 3679674107 433817239 209987944 1313832245 2079952949 3721123105 2659976678 2492303041 4090777568 2932903081 115456837 4082472840 623777983 2736913230 480979332 1446402184 2480473413 3060442854 918074172 3131652131 2058391439 3639946896 3448527689 728296627 4122546516 1556085136 4034858733 2806621816 2040775477 2799050200 2120898567 4254647231 1683158262 3479470119 3374134498 3229924731 379227702 795402350 1924429290 3177321366 2882342214 115433718 2279499694 1178170089 591990682 1377085225 2561248624 1697368220 2156421374 1476542323 358280806 101460133 2809218038 1831041837 1581200661 1129743739 4011626260 1406453005 288385336 3483012443 2987310634 3330095477 2734669504 1916222101 2223459614 548554260 3773731995 3930958360 2860193854 3346526844 1093220743 1725347013 3834032762 14590142 2208656293 4046877067 4018871424 1077574400 1494819136 1155341745 2671873570 3343701296 1102251371 3242320056 3943851234 4204807364 3196474302 3368079794 2605873465 1274714041 1461845731 1079969993 3281925352 2679858659 1681695897 949307998 1941080211 2521637014 4053201351 3122304285 2434480664 1527958428 1336436128 3736236312 1447202074 255 362436" option to reproduce the execution
1.79/1.80	c #vars 21380
1.79/1.80	c #constraints 60984
3.08/3.15	c BCD2: Hardening is enabled.
3.08/3.15	c BCD2: BiasedSearch is enabled.
3.08/3.15	c Solving starts ...
3.08/3.15	c ============================[ Search Statistics ]============================
3.08/3.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.08/3.15	c       |         |          |          |    Limit     GC | Var      | Constra 
3.08/3.15	c =============================================================================
3.08/3.15	c  0.0s |       0 |        0 |        0 |    34374      0 |        6 |        0
3.39/3.45	c  0.3s |       0 |    59153 |       34 |    34374      0 |        6 |       11
3.39/3.45	c #cpu_time = 0.263s
3.39/3.45	c #wall_clock_time = 0.263s
3.39/3.45	c #decision = 59153
3.39/3.45	c #random_decision = 214
3.39/3.45	c #conflict = 34
3.39/3.45	c #restart = 0
3.39/3.45	o 5391
3.48/3.50	c BCD2: updating upper bound: 1041831 -> 5390
3.58/3.60	c BCD2: 0 <= obj <= 5390
3.58/3.61	c BCD2: #cores=0, #unrelaxed=20761, #relaxed=0, #hardened=0
3.58/3.61	c BCD2: #sat=1 #unsat=1 bias=1/2
3.58/3.61	c Solving starts ...
3.58/3.61	c ============================[ Search Statistics ]============================
3.58/3.61	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.58/3.61	c       |         |          |          |    Limit     GC | Var      | Constra 
3.58/3.61	c =============================================================================
3.58/3.61	c  0.0s |       0 |        0 |        0 |    34374      0 |        6 |       11
3.78/3.84	c  0.2s |       1 |    45625 |      100 |    37812      0 |        6 |       11
4.18/4.26	c  0.6s |       2 |    67472 |      250 |    41594      0 |        6 |       11
4.58/4.64	c  1.0s |       3 |    88979 |      475 |    45754      0 |        6 |       11
5.28/5.37	c  1.8s |       4 |   110729 |      813 |    50330      0 |        6 |       11
5.98/6.03	c  2.4s |       5 |   133542 |     1320 |    55364      0 |        6 |       11
8.18/8.25	c  4.6s |       5 |   155471 |     1820 |    55364      0 |        6 |       11
9.78/9.83	c  6.2s |       6 |   156441 |     2081 |    60901      0 |        6 |       11
12.09/12.17	c  8.6s |       6 |   178962 |     2581 |    60901      0 |        6 |       11
14.59/14.61	c 11.0s |       6 |   180131 |     2981 |    60901      0 |        6 |       11
15.98/16.05	c 12.4s |       7 |   180739 |     3223 |    66992      0 |        6 |       11
18.18/18.23	c 14.6s |       7 |   202257 |     3523 |    66992      0 |        6 |       11
20.18/20.26	c 16.7s |       7 |   202711 |     3723 |    66992      0 |        6 |       11
22.38/22.49	c 18.9s |       7 |   203669 |     4123 |    66992      0 |        6 |       11
25.08/25.14	c 21.5s |       7 |   204563 |     4523 |    66992      0 |        6 |       11
27.88/27.99	c 24.4s |       7 |   205335 |     4823 |    66992      0 |        6 |       11
29.28/29.31	c 25.7s |       8 |   205564 |     4936 |    73692      0 |        6 |       11
31.68/31.77	c 28.2s |       8 |   226912 |     5236 |    73692      0 |        6 |       11
33.88/33.96	c 30.4s |       8 |   229603 |     6136 |    73692      0 |        6 |       11
36.18/36.28	c 32.7s |       8 |   230811 |     6636 |    73692      0 |        6 |       11
38.77/38.80	c 35.2s |       8 |   231259 |     6936 |    73692      0 |        6 |       11
41.07/41.12	c 37.5s |       8 |   231814 |     7136 |    73692      0 |        6 |       11
43.99/44.06	c 40.4s |       8 |   232334 |     7436 |    73692      0 |        6 |       11
45.28/45.35	c 41.7s |       9 |   232411 |     7506 |    81062      0 |        6 |       11
47.47/47.51	c 43.9s |       9 |   254215 |     7806 |    81062      0 |        6 |       11
49.48/49.52	c 45.9s |       9 |   255895 |     8406 |    81062      0 |        6 |       11
52.18/52.24	c 48.6s |       9 |   257083 |     8906 |    81062      0 |        6 |       11
54.28/54.37	c 50.8s |       9 |   257409 |     9106 |    81062      0 |        6 |       11
56.77/56.83	c 53.2s |       9 |   258677 |     9506 |    81062      0 |        6 |       11
58.97/59.08	c 55.5s |       9 |   259029 |     9706 |    81062      0 |        6 |       11
61.08/61.15	c 57.5s |       9 |   259491 |    10006 |    81062      0 |        6 |       11
63.78/63.86	c 60.2s |       9 |   259912 |    10206 |    81062      0 |        6 |       11
66.08/66.14	c 62.5s |       9 |   260239 |    10406 |    81062      0 |        6 |       11
68.47/68.57	c 65.0s |       9 |   260576 |    10606 |    81062      0 |        6 |       11
71.48/71.55	c 67.9s |       9 |   260922 |    10806 |    81062      0 |        6 |       11
73.78/73.84	c 70.2s |       9 |   261026 |    10906 |    81062      0 |        6 |       11
76.37/76.47	c 72.9s |       9 |   261308 |    11106 |    81062      0 |        6 |       11
78.47/78.57	c 75.0s |      10 |   261767 |    11361 |    89169      0 |        6 |       11
80.57/80.66	c 77.0s |      10 |   282718 |    11461 |    89169      0 |        6 |       11
82.67/82.78	c 79.2s |      10 |   283786 |    11861 |    89169      0 |        6 |       11
84.97/85.04	c 81.4s |      10 |   285341 |    12561 |    89169      0 |        6 |       11
87.26/87.31	c 83.7s |      10 |   286474 |    12961 |    89169      0 |        6 |       11
89.47/89.58	c 86.0s |      10 |   286856 |    13161 |    89169      0 |        6 |       11
91.57/91.65	c 88.0s |      10 |   287221 |    13361 |    89169      0 |        6 |       11
94.17/94.26	c 90.6s |      10 |   287543 |    13561 |    89169      0 |        6 |       11
96.67/96.78	c 93.2s |      10 |   288656 |    13961 |    89169      0 |        6 |       11
98.76/98.83	c 95.2s |      10 |   289718 |    14261 |    89169      0 |        6 |       11
101.56/101.63	c 98.0s |      10 |   290383 |    14561 |    89169      0 |        6 |       11
104.77/104.84	c  101s |      10 |   290808 |    14761 |    89169      0 |        6 |       11
106.87/106.96	c  103s |      10 |   291272 |    14961 |    89169      0 |        6 |       11
110.07/110.11	c  106s |      10 |   291720 |    15261 |    89169      0 |        6 |       11
112.87/112.92	c  109s |      10 |   292139 |    15461 |    89169      0 |        6 |       11
114.96/115.05	c  111s |      10 |   292700 |    15661 |    89169      0 |        6 |       11
117.56/117.65	c  114s |      10 |   292982 |    15861 |    89169      0 |        6 |       11
120.97/121.02	c  117s |      10 |   293352 |    16061 |    89169      0 |        6 |       11
123.17/123.25	c  119s |      10 |   294778 |    16561 |    89169      0 |        6 |       11
125.37/125.47	c  121s |      10 |   295359 |    16861 |    89169      0 |        6 |       11
127.16/127.23	c  123s |      11 |   295958 |    17144 |    98086      0 |        6 |       11
129.26/129.31	c  125s |      11 |   316937 |    17244 |    98086      0 |        6 |       11
131.46/131.54	c  127s |      11 |   317700 |    17644 |    98086      0 |        6 |       11
133.56/133.66	c  130s |      11 |   318259 |    17944 |    98086      0 |        6 |       11
135.76/135.86	c  132s |      11 |   319170 |    18344 |    98086      0 |        6 |       11
137.87/137.99	c  134s |      11 |   320114 |    18644 |    98086      0 |        6 |       11
140.26/140.37	c  136s |      11 |   321352 |    19044 |    98086      0 |        6 |       11
142.86/142.96	c  139s |      11 |   322270 |    19444 |    98086      0 |        6 |       11
145.06/145.18	c  141s |      11 |   322713 |    19744 |    98086      0 |        6 |       11
147.36/147.46	c  143s |      11 |   323758 |    20144 |    98086      0 |        6 |       11
150.26/150.38	c  146s |      11 |   324141 |    20444 |    98086      0 |        6 |       11
152.46/152.54	c  148s |      11 |   324671 |    20744 |    98086      0 |        6 |       11
154.66/154.78	c  151s |      11 |   325080 |    21044 |    98086      0 |        6 |       11
157.37/157.43	c  153s |      11 |   325477 |    21344 |    98086      0 |        6 |       11
159.76/159.82	c  156s |      11 |   325869 |    21644 |    98086      0 |        6 |       11
162.25/162.34	c  158s |      11 |   326261 |    21944 |    98086      0 |        6 |       11
164.66/164.76	c  161s |      11 |   327102 |    22244 |    98086      0 |        6 |       11
167.17/167.23	c  163s |      11 |   327514 |    22544 |    98086      0 |        6 |       11
170.15/170.22	c  166s |      11 |   327839 |    22744 |    98086      0 |        6 |       11
172.85/172.95	c  169s |      11 |   328430 |    22944 |    98086      0 |        6 |       11
176.26/176.31	c  172s |      11 |   328796 |    23044 |    98086      0 |        6 |       11
178.85/178.98	c  175s |      11 |   329122 |    23244 |    98086      0 |        6 |       11
181.36/181.40	c  177s |      11 |   329659 |    23544 |    98086      0 |        6 |       11
184.25/184.34	c  180s |      11 |   330147 |    23844 |    98086      0 |        6 |       11
186.66/186.74	c  183s |      11 |   330488 |    24044 |    98086      0 |        6 |       11
188.65/188.75	c  185s |      11 |   330799 |    24244 |    98086      0 |        6 |       11
190.75/190.87	c  187s |      11 |   331093 |    24444 |    98086      0 |        6 |       11
192.95/193.00	c  189s |      11 |   331990 |    24744 |    98086      0 |        6 |       11
195.15/195.23	c  191s |      11 |   332494 |    25044 |    98086      0 |        6 |       11
197.25/197.31	c  193s |      11 |   334786 |    25544 |    98086      0 |        6 |       11
197.96/198.02	c  194s |      12 |   335663 |    25819 |   107895      0 |        6 |       11
200.85/200.96	c  197s |      12 |   356732 |    25919 |   107895      0 |        6 |       11
203.14/203.21	c  199s |      12 |   357787 |    26419 |   107895      0 |        6 |       11
205.66/205.74	c  202s |      12 |   358526 |    26819 |   107895      0 |        6 |       11
207.65/207.79	c  204s |      12 |   358987 |    27119 |   107895      0 |        6 |       11
210.15/210.21	c  206s |      12 |   359621 |    27419 |   107895      0 |        6 |       11
212.25/212.30	c  208s |      12 |   359971 |    27619 |   107895      0 |        6 |       11
214.55/214.61	c  210s |      12 |   360245 |    27819 |   107895      0 |        6 |       11
217.44/217.56	c  213s |      12 |   360686 |    28119 |   107895      0 |        6 |       11
219.73/219.86	c  216s |      12 |   361320 |    28419 |   107895      0 |        6 |       11
222.34/222.41	c  218s |      12 |   362215 |    28819 |   107895      0 |        6 |       11
224.74/224.81	c  221s |      12 |   363001 |    29219 |   107895      0 |        6 |       11
227.24/227.32	c  223s |      12 |   363660 |    29519 |   107895      0 |        6 |       11
229.94/230.05	c  226s |      12 |   364212 |    29819 |   107895      0 |        6 |       11
232.34/232.47	c  228s |      12 |   364574 |    30019 |   107895      0 |        6 |       11
234.54/234.64	c  231s |      12 |   364920 |    30219 |   107895      0 |        6 |       11
237.03/237.10	c  233s |      12 |   365310 |    30419 |   107895      0 |        6 |       11
239.74/239.89	c  236s |      12 |   365605 |    30619 |   107895      0 |        6 |       11
242.23/242.30	c  238s |      12 |   365905 |    30819 |   107895      0 |        6 |       11
244.83/244.96	c  241s |      12 |   366476 |    31119 |   107895      0 |        6 |       11
246.94/247.08	c  243s |      12 |   367214 |    31419 |   107895      0 |        6 |       11
249.23/249.37	c  245s |      12 |   367818 |    31719 |   107895      0 |        6 |       11
251.84/251.98	c  248s |      12 |   368248 |    32019 |   107895      0 |        6 |       11
254.53/254.61	c  251s |      12 |   368718 |    32319 |   107895      0 |        6 |       11
257.34/257.47	c  253s |      12 |   369311 |    32619 |   107895      0 |        6 |       11
259.54/259.69	c  256s |      12 |   369727 |    32819 |   107895      0 |        6 |       11
261.93/262.04	c  258s |      12 |   370144 |    33019 |   107895      0 |        6 |       11
264.83/264.97	c  261s |      12 |   370646 |    33319 |   107895      0 |        6 |       11
267.13/267.22	c  263s |      12 |   371224 |    33619 |   107895      0 |        6 |       11
269.23/269.30	c  265s |      12 |   371805 |    33919 |   107895      0 |        6 |       11
271.43/271.57	c  267s |      12 |   372119 |    34119 |   107895      0 |        6 |       11
273.43/273.57	c  269s |      12 |   373106 |    34419 |   107895      0 |        6 |       11
275.73/275.85	c  272s |      12 |   373962 |    34819 |   107895      0 |        6 |       11
278.12/278.21	c  274s |      12 |   374725 |    35119 |   107895      0 |        6 |       11
280.63/280.75	c  277s |      12 |   375224 |    35419 |   107895      0 |        6 |       11
283.13/283.22	c  279s |      12 |   375807 |    35719 |   107895      0 |        6 |       11
285.43/285.53	c  281s |      12 |   376556 |    36019 |   107895      0 |        6 |       11
287.82/287.96	c  284s |      12 |   377074 |    36319 |   107895      0 |        6 |       11
290.12/290.24	c  286s |      12 |   377774 |    36619 |   107895      0 |        6 |       11
292.22/292.31	c  288s |      12 |   378279 |    36919 |   107895      0 |        6 |       11
294.92/295.01	c  291s |      12 |   378827 |    37219 |   107895      0 |        6 |       11
297.42/297.55	c  293s |      12 |   380256 |    37519 |   107895      0 |        6 |       11
299.42/299.57	c  295s |      12 |   380873 |    37719 |   107895      0 |        6 |       11
301.81/301.91	c  298s |      12 |   381311 |    37919 |   107895      0 |        6 |       11
305.22/305.32	c  301s |      12 |   382219 |    38219 |   107895      0 |        6 |       11
308.21/308.35	c  304s |      12 |   382627 |    38419 |   107895      0 |        6 |       11
310.52/310.62	c  307s |      12 |   383283 |    38719 |   118685      0 |        6 |       11
311.32/311.49	c  307s |      13 |   383479 |    38832 |   118685      0 |        6 |       11
314.81/314.97	c  311s |      13 |   404525 |    38932 |   118685      0 |        6 |       11
316.91/317.06	c  313s |      13 |   404969 |    39232 |   118685      0 |        6 |       11
319.71/319.82	c  316s |      13 |   406237 |    39832 |   118685      0 |        6 |       11
322.91/323.08	c  319s |      13 |   406937 |    40132 |   118685      0 |        6 |       11
325.31/325.47	c  321s |      13 |   407400 |    40332 |   118685      0 |        6 |       11
328.01/328.12	c  324s |      13 |   407808 |    40532 |   118685      0 |        6 |       11
330.91/331.05	c  327s |      13 |   408206 |    40732 |   118685      0 |        6 |       11
333.51/333.62	c  330s |      13 |   408636 |    40932 |   118685      0 |        6 |       11
336.01/336.19	c  332s |      13 |   409174 |    41132 |   118685      0 |        6 |       11
339.11/339.20	c  335s |      13 |   409708 |    41332 |   118685      0 |        6 |       11
341.61/341.70	c  338s |      13 |   410253 |    41532 |   118685      0 |        6 |       11
344.40/344.56	c  340s |      13 |   410962 |    41732 |   118685      0 |        6 |       11
346.70/346.81	c  343s |      13 |   411709 |    41932 |   118685      0 |        6 |       11
349.60/349.80	c  346s |      13 |   412134 |    42132 |   118685      0 |        6 |       11
352.80/352.98	c  349s |      13 |   412570 |    42332 |   118685      0 |        6 |       11
356.50/356.69	c  353s |      13 |   413098 |    42532 |   118685      0 |        6 |       11
360.09/360.27	c  356s |      13 |   413547 |    42732 |   118685      0 |        6 |       11
363.49/363.60	c  359s |      13 |   413980 |    42932 |   118685      0 |        6 |       11
367.09/367.24	c  363s |      13 |   414392 |    43132 |   118685      0 |        6 |       11
370.99/371.10	c  367s |      13 |   415283 |    43532 |   118685      0 |        6 |       11
373.69/373.81	c  370s |      13 |   415419 |    43632 |   118685      0 |        6 |       11
375.88/376.03	c  372s |      13 |   415569 |    43732 |   118685      0 |        6 |       11
380.08/380.23	c  376s |      13 |   415931 |    43932 |   118685      0 |        6 |       11
382.19/382.39	c  378s |      13 |   416124 |    44032 |   118685      0 |        6 |       11
384.39/384.51	c  380s |      13 |   419125 |    44632 |   118685      0 |        6 |       11
386.39/386.53	c  382s |      13 |   422688 |    45332 |   118685      0 |        6 |       11
388.59/388.74	c  385s |      13 |   426962 |    46232 |   118685      0 |        6 |       11
390.89/391.08	c  387s |      13 |   431949 |    47132 |   118685      0 |        6 |       11
393.08/393.23	c  389s |      13 |   435657 |    47832 |   118685      0 |        6 |       11
395.18/395.32	c  391s |      13 |   439042 |    48532 |   118685      0 |        6 |       11
397.28/397.41	c  393s |      13 |   442477 |    49132 |   118685      0 |        6 |       11
399.28/399.43	c  395s |      13 |   445291 |    49732 |   118685      0 |        6 |       11
401.78/401.90	c  398s |      13 |   447645 |    50332 |   118685      0 |        6 |       11
404.18/404.31	c  400s |      13 |   449722 |    50932 |   118685      0 |        6 |       11
407.08/407.22	c  403s |      13 |   450043 |    51132 |   118685      0 |        6 |       11
409.78/409.98	c  406s |      13 |   450423 |    51432 |   118685      0 |        6 |       11
412.28/412.41	c  408s |      13 |   450859 |    51732 |   118685      0 |        6 |       11
414.88/415.05	c  411s |      13 |   451329 |    52032 |   118685      0 |        6 |       11
417.27/417.45	c  413s |      13 |   451759 |    52332 |   118685      0 |        6 |       11
419.98/420.17	c  416s |      13 |   453739 |    52832 |   118685      0 |        6 |       11
422.17/422.40	c  418s |      13 |   456337 |    53332 |   118685      0 |        6 |       11
424.97/425.19	c  421s |      13 |   459545 |    53832 |   118685      0 |        6 |       11
427.07/427.20	c  423s |      13 |   463456 |    54432 |   118685      0 |        6 |       11
429.27/429.48	c  425s |      13 |   465356 |    55132 |   118685      0 |        6 |       11
431.36/431.59	c  427s |      13 |   466240 |    55432 |   118685      0 |        6 |       11
433.47/433.65	c  430s |      13 |   466837 |    55632 |   118685      0 |        6 |       11
435.57/435.75	c  432s |      13 |   469256 |    56132 |   118685      0 |        6 |       11
437.96/438.19	c  434s |      13 |   472219 |    56532 |   118685      0 |        6 |       11
440.98/441.16	c  437s |      13 |   473371 |    56832 |   118685      0 |        6 |       11
443.57/443.73	c  440s |      13 |   473795 |    57032 |   118685      0 |        6 |       11
446.26/446.48	c  442s |      13 |   474274 |    57232 |   118685      0 |        6 |       11
449.06/449.22	c  445s |      13 |   474607 |    57432 |   118685      0 |        6 |       11
451.27/451.46	c  447s |      13 |   475438 |    57632 |   118685      0 |        6 |       11
453.67/453.83	c  450s |      13 |   477776 |    58032 |   130554      0 |        6 |       11
456.06/456.23	c  452s |      13 |   479223 |    58332 |   130554      0 |        6 |       11
456.76/456.91	c  453s |      14 |   479266 |    58352 |   130554      0 |        6 |       11
461.56/461.79	c  458s |      14 |   500226 |    58452 |   130554      0 |        6 |       11
464.56/464.73	c  461s |      14 |   500621 |    58752 |   130554      0 |        6 |       11
466.56/466.76	c  463s |      14 |   500853 |    58952 |   130554      0 |        6 |       11
468.86/469.07	c  465s |      14 |   501277 |    59252 |   130554      0 |        6 |       11
471.36/471.51	c  467s |      14 |   501867 |    59552 |   130554      0 |        6 |       11
473.55/473.74	c  470s |      14 |   502511 |    59952 |   130554      0 |        6 |       11
475.86/476.09	c  472s |      14 |   503028 |    60252 |   130554      0 |        6 |       11
478.46/478.67	c  475s |      14 |   503655 |    60652 |   130554      0 |        6 |       11
480.96/481.19	c  477s |      14 |   504180 |    60952 |   130554      0 |        6 |       11
483.16/483.30	c  479s |      14 |   506469 |    61552 |   130554      0 |        6 |       11
485.66/485.88	c  482s |      14 |   507589 |    61952 |   130554      0 |        6 |       11
487.85/488.06	c  484s |      14 |   508130 |    62152 |   130554      0 |        6 |       11
489.85/490.07	c  486s |      14 |   510202 |    63352 |   130554      0 |        6 |       11
492.15/492.30	c  488s |      14 |   512229 |    64552 |   130554      0 |        6 |       11
494.16/494.34	c  490s |      14 |   513374 |    65252 |   130554      0 |        6 |       11
496.35/496.53	c  492s |      14 |   514374 |    65752 |   130554      0 |        6 |       11
499.45/499.66	c  496s |      14 |   514744 |    66052 |   130554      0 |        6 |       11
501.46/501.67	c  498s |      14 |   515093 |    66252 |   130554      0 |        6 |       11
503.45/503.68	c  500s |      14 |   519424 |    67852 |   130554      0 |        6 |       11
505.65/505.85	c  502s |      14 |   521848 |    68852 |   130554      0 |        6 |       11
507.65/507.85	c  504s |      14 |   523923 |    69652 |   130554      0 |        6 |       11
509.94/510.16	c  506s |      14 |   525549 |    70452 |   130554      0 |        6 |       11
512.05/512.29	c  508s |      14 |   526998 |    71052 |   130554      0 |        6 |       11
514.15/514.31	c  510s |      14 |   528352 |    71652 |   130554      0 |        6 |       11
516.55/516.77	c  513s |      14 |   529375 |    72152 |   130554      0 |        6 |       11
518.55/518.79	c  515s |      14 |   530015 |    72352 |   130554      0 |        6 |       11
521.54/521.78	c  518s |      14 |   530371 |    72552 |   130554      0 |        6 |       11
524.24/524.46	c  520s |      14 |   530682 |    72752 |   130554      0 |        6 |       11
527.34/527.53	c  523s |      14 |   530938 |    72952 |   130554      0 |        6 |       11
530.24/530.48	c  526s |      14 |   531185 |    73152 |   130554      0 |        6 |       11
533.53/533.79	c  530s |      14 |   531526 |    73352 |   130554      0 |        6 |       11
536.65/536.87	c  533s |      14 |   531756 |    73552 |   130554      0 |        6 |       11
539.94/540.19	c  536s |      14 |   532108 |    73752 |   130554      0 |        6 |       11
542.34/542.53	c  538s |      14 |   532440 |    73952 |   130554      0 |        6 |       11
544.53/544.79	c  541s |      14 |   532659 |    74052 |   130554      0 |        6 |       11
547.74/547.90	c  544s |      14 |   532975 |    74252 |   130554      0 |        6 |       11
550.13/550.37	c  546s |      14 |   533140 |    74352 |   130554      0 |        6 |       11
553.03/553.29	c  549s |      14 |   533484 |    74552 |   130554      0 |        6 |       11
555.63/555.89	c  552s |      14 |   533755 |    74752 |   130554      0 |        6 |       11
558.53/558.78	c  555s |      14 |   534025 |    74952 |   130554      0 |        6 |       11
561.63/561.82	c  558s |      14 |   534318 |    75152 |   130554      0 |        6 |       11
565.24/565.44	c  561s |      14 |   534662 |    75352 |   130554      0 |        6 |       11
567.32/567.55	c  563s |      14 |   535000 |    75552 |   130554      0 |        6 |       11
570.22/570.43	c  566s |      14 |   535362 |    75752 |   130554      0 |        6 |       11
574.83/575.04	c  571s |      14 |   535643 |    75952 |   130554      0 |        6 |       11
577.93/578.16	c  574s |      14 |   536036 |    76152 |   130554      0 |        6 |       11
581.12/581.33	c  577s |      14 |   536396 |    76352 |   130554      0 |        6 |       11
583.62/583.85	c  580s |      14 |   536554 |    76452 |   130554      0 |        6 |       11
587.93/588.19	c  584s |      14 |   536849 |    76652 |   130554      0 |        6 |       11
590.82/591.04	c  587s |      14 |   537009 |    76752 |   130554      0 |        6 |       11
592.92/593.15	c  589s |      14 |   537139 |    76852 |   130554      0 |        6 |       11
596.32/596.54	c  592s |      14 |   537257 |    76952 |   130554      0 |        6 |       11
599.12/599.36	c  595s |      14 |   537734 |    77152 |   130554      0 |        6 |       11
601.81/602.00	c  598s |      14 |   538019 |    77352 |   130554      0 |        6 |       11
604.82/605.06	c  601s |      14 |   538345 |    77552 |   130554      0 |        6 |       11
606.92/607.20	c  603s |      14 |   538720 |    77752 |   130554      0 |        6 |       11
610.32/610.60	c  606s |      14 |   539243 |    78052 |   130554      0 |        6 |       11
613.22/613.46	c  609s |      14 |   539554 |    78252 |   130554      0 |        6 |       11
617.02/617.29	c  613s |      14 |   539845 |    78452 |   130554      0 |        6 |       11
619.82/620.05	c  616s |      14 |   540119 |    78652 |   130554      0 |        6 |       11
621.92/622.16	c  618s |      14 |   540466 |    78852 |   130554      0 |        6 |       11
624.11/624.34	c  620s |      14 |   540748 |    79052 |   130554      0 |        6 |       11
627.71/627.99	c  624s |      14 |   541006 |    79252 |   130554      0 |        6 |       11
630.71/630.97	c  627s |      14 |   541301 |    79452 |   130554      0 |        6 |       11
633.52/633.77	c  630s |      14 |   541651 |    79652 |   130554      0 |        6 |       11
636.51/636.71	c  633s |      14 |   541961 |    79852 |   130554      0 |        6 |       11
640.31/640.58	c  636s |      14 |   542246 |    80052 |   130554      0 |        6 |       11
643.61/643.82	c  640s |      14 |   542530 |    80252 |   130554      0 |        6 |       11
647.40/647.61	c  643s |      14 |   542815 |    80452 |   130554      0 |        6 |       11
650.10/650.34	c  646s |      14 |   542948 |    80552 |   130554      0 |        6 |       11
652.31/652.53	c  648s |      14 |   543090 |    80652 |   130554      0 |        6 |       11
654.70/654.90	c  651s |      14 |   543227 |    80752 |   130554      0 |        6 |       11
656.80/657.06	c  653s |      14 |   543590 |    80952 |   130554      0 |        6 |       11
659.00/659.23	c  655s |      14 |   544488 |    81252 |   130554      0 |        6 |       11
661.91/662.12	c  658s |      14 |   544793 |    81452 |   130554      0 |        6 |       11
665.80/666.03	c  662s |      14 |   545107 |    81652 |   130554      0 |        6 |       11
668.61/668.86	c  665s |      14 |   545513 |    81852 |   130554      0 |        6 |       11
671.91/672.18	c  668s |      14 |   545916 |    82052 |   130554      0 |        6 |       11
674.70/674.90	c  671s |      14 |   546081 |    82152 |   130554      0 |        6 |       11
677.10/677.36	c  673s |      14 |   546207 |    82252 |   130554      0 |        6 |       11
679.29/679.53	c  675s |      14 |   546345 |    82352 |   130554      0 |        6 |       11
681.59/681.80	c  678s |      14 |   546534 |    82452 |   130554      0 |        6 |       11
685.11/685.36	c  681s |      14 |   546784 |    82652 |   130554      0 |        6 |       11
688.70/688.95	c  685s |      14 |   547127 |    82852 |   130554      0 |        6 |       11
691.80/692.05	c  688s |      14 |   547550 |    83052 |   130554      0 |        6 |       11
696.30/696.50	c  692s |      14 |   547906 |    83252 |   130554      0 |        6 |       11
699.10/699.36	c  695s |      14 |   548096 |    83352 |   130554      0 |        6 |       11
701.19/701.43	c  697s |      14 |   548242 |    83452 |   130554      0 |        6 |       11
704.20/704.49	c  700s |      14 |   548367 |    83552 |   130554      0 |        6 |       11
707.29/707.52	c  703s |      14 |   548716 |    83752 |   130554      0 |        6 |       11
709.49/709.72	c  706s |      14 |   548914 |    83852 |   130554      0 |        6 |       11
711.49/711.78	c  708s |      14 |   549068 |    83952 |   130554      0 |        6 |       11
715.49/715.75	c  712s |      14 |   549444 |    84152 |   130554      0 |        6 |       11
719.29/719.53	c  715s |      14 |   549821 |    84352 |   130554      0 |        6 |       11
721.89/722.12	c  718s |      14 |   549980 |    84452 |   130554      0 |        6 |       11
724.69/724.90	c  721s |      14 |   550128 |    84552 |   130554      0 |        6 |       11
727.99/728.22	c  724s |      14 |   550274 |    84652 |   130554      0 |        6 |       11
730.39/730.62	c  727s |      14 |   550405 |    84752 |   130554      0 |        6 |       11
735.69/735.94	c  732s |      14 |   550785 |    84952 |   130554      0 |        6 |       11
737.99/738.22	c  734s |      14 |   550974 |    85052 |   130554      0 |        6 |       11
742.48/742.77	c  739s |      14 |   551266 |    85252 |   130554      0 |        6 |       11
745.38/745.66	c  742s |      14 |   551503 |    85352 |   130554      0 |        6 |       11
748.38/748.61	c  744s |      14 |   551660 |    85452 |   130554      0 |        6 |       11
751.68/751.97	c  748s |      14 |   552222 |    85752 |   130554      0 |        6 |       11
754.28/754.52	c  750s |      14 |   552360 |    85852 |   130554      0 |        6 |       11
759.27/759.50	c  755s |      14 |   552710 |    86052 |   130554      0 |        6 |       11
762.18/762.44	c  758s |      14 |   552912 |    86152 |   130554      0 |        6 |       11
764.87/765.14	c  761s |      14 |   553085 |    86252 |   130554      0 |        6 |       11
767.17/767.49	c  763s |      14 |   553280 |    86352 |   130554      0 |        6 |       11
769.57/769.83	c  766s |      14 |   553557 |    86552 |   130554      0 |        6 |       11
771.77/772.01	c  768s |      14 |   554582 |    86752 |   130554      0 |        6 |       11
773.97/774.26	c  770s |      14 |   557158 |    87252 |   143610      0 |        6 |       11
775.97/776.26	c  772s |      15 |   559839 |    87632 |   143610      0 |        6 |       11
784.47/784.79	c  781s |      15 |   581076 |    87732 |   143610      0 |        6 |       11
787.07/787.36	c  783s |      15 |   581583 |    88032 |   143610      0 |        6 |       11
789.17/789.49	c  785s |      15 |   582153 |    88332 |   143610      0 |        6 |       11
791.27/791.50	c  787s |      15 |   582820 |    88632 |   143610      0 |        6 |       11
793.77/794.00	c  790s |      15 |   584038 |    89032 |   143610      0 |        6 |       11
796.07/796.35	c  792s |      15 |   584926 |    89332 |   143610      0 |        6 |       11
798.66/798.99	c  795s |      15 |   585641 |    89632 |   143610      0 |        6 |       11
801.06/801.30	c  797s |      15 |   586569 |    89932 |   143610      0 |        6 |       11
803.16/803.48	c  799s |      15 |   587339 |    90232 |   143610      0 |        6 |       11
805.27/805.53	c  801s |      15 |   587978 |    90432 |   143610      0 |        6 |       11
807.27/807.58	c  803s |      15 |   588897 |    90732 |   143610      0 |        6 |       11
810.06/810.30	c  806s |      15 |   589443 |    91032 |   143610      0 |        6 |       11
812.67/812.92	c  809s |      15 |   590115 |    91332 |   143610      0 |        6 |       11
815.36/815.61	c  811s |      15 |   590649 |    91632 |   143610      0 |        6 |       11
818.06/818.38	c  814s |      15 |   591380 |    91932 |   143610      0 |        6 |       11
820.86/821.19	c  817s |      15 |   592159 |    92232 |   143610      0 |        6 |       11
823.16/823.47	c  819s |      15 |   592534 |    92432 |   143610      0 |        6 |       11
825.56/825.88	c  822s |      15 |   593031 |    92632 |   143610      0 |        6 |       11
828.07/828.33	c  824s |      15 |   593538 |    92832 |   143610      0 |        6 |       11
830.86/831.19	c  827s |      15 |   593832 |    93032 |   143610      0 |        6 |       11
833.06/833.37	c  829s |      15 |   594088 |    93232 |   143610      0 |        6 |       11
835.16/835.43	c  831s |      15 |   594738 |    93432 |   143610      0 |        6 |       11
837.26/837.57	c  833s |      15 |   595076 |    93632 |   143610      0 |        6 |       11
839.36/839.65	c  836s |      15 |   595389 |    93832 |   143610      0 |        6 |       11
843.56/843.85	c  840s |      15 |   595770 |    94032 |   143610      0 |        6 |       11
845.66/845.94	c  842s |      15 |   596028 |    94132 |   143610      0 |        6 |       11
847.76/848.05	c  844s |      15 |   597039 |    94432 |   143610      0 |        6 |       11
850.55/850.82	c  847s |      15 |   597285 |    94632 |   143610      0 |        6 |       11
852.65/852.96	c  849s |      15 |   597651 |    94832 |   143610      0 |        6 |       11
854.95/855.22	c  851s |      15 |   597971 |    95032 |   143610      0 |        6 |       11
858.75/859.02	c  855s |      15 |   598470 |    95232 |   143610      0 |        6 |       11
861.06/861.40	c  857s |      15 |   598828 |    95432 |   143610      0 |        6 |       11
863.65/863.96	c  860s |      15 |   599342 |    95632 |   143610      0 |        6 |       11
866.66/866.99	c  863s |      15 |   599752 |    95832 |   143610      0 |        6 |       11
869.25/869.53	c  865s |      15 |   600111 |    96032 |   143610      0 |        6 |       11
872.06/872.36	c  868s |      15 |   600543 |    96332 |   143610      0 |        6 |       11
874.75/875.08	c  871s |      15 |   600916 |    96532 |   143610      0 |        6 |       11
877.25/877.53	c  873s |      15 |   601185 |    96732 |   143610      0 |        6 |       11
879.94/880.26	c  876s |      15 |   601430 |    96932 |   143610      0 |        6 |       11
882.74/883.00	c  879s |      15 |   601692 |    97132 |   143610      0 |        6 |       11
886.04/886.36	c  882s |      15 |   601926 |    97332 |   143610      0 |        6 |       11
890.14/890.44	c  886s |      15 |   602232 |    97532 |   143610      0 |        6 |       11
893.64/893.99	c  890s |      15 |   602510 |    97732 |   143610      0 |        6 |       11
896.55/896.84	c  893s |      15 |   603164 |    98032 |   143610      0 |        6 |       11
898.84/899.20	c  895s |      15 |   603494 |    98232 |   143610      0 |        6 |       11
901.15/901.49	c  897s |      15 |   603819 |    98432 |   143610      0 |        6 |       11
903.24/903.58	c  899s |      15 |   604403 |    98632 |   143610      0 |        6 |       11
906.25/906.54	c  902s |      15 |   605001 |    98832 |   143610      0 |        6 |       11
909.24/909.59	c  905s |      15 |   605454 |    99032 |   143610      0 |        6 |       11
911.84/912.11	c  908s |      15 |   606109 |    99232 |   143610      0 |        6 |       11
914.13/914.43	c  910s |      15 |   606618 |    99432 |   143610      0 |        6 |       11
916.33/916.66	c  913s |      15 |   607189 |    99632 |   143610      0 |        6 |       11
918.33/918.69	c  915s |      15 |   607464 |    99732 |   143610      0 |        6 |       11
920.73/921.04	c  917s |      15 |   607823 |    99832 |   143610      0 |        6 |       11
923.73/924.03	c  920s |      15 |   608457 |   100032 |   143610      0 |        6 |       11
926.52/926.83	c  923s |      15 |   608898 |   100232 |   143610      0 |        6 |       11
928.83/929.10	c  925s |      15 |   609306 |   100432 |   143610      0 |        6 |       11
931.72/932.01	c  928s |      15 |   610876 |   100832 |   143610      0 |        6 |       11
934.62/934.93	c  931s |      15 |   611983 |   101132 |   143610      0 |        6 |       11
937.72/938.04	c  934s |      15 |   613985 |   101632 |   143610      0 |        6 |       11
939.72/940.06	c  936s |      15 |   615199 |   102032 |   143610      0 |        6 |       11
942.92/943.21	c  939s |      15 |   616031 |   102332 |   143610      0 |        6 |       11
945.73/946.02	c  942s |      15 |   616424 |   102532 |   143610      0 |        6 |       11
948.32/948.60	c  944s |      15 |   616800 |   102732 |   143610      0 |        6 |       11
950.92/951.27	c  947s |      15 |   617261 |   102932 |   143610      0 |        6 |       11
953.21/953.56	c  949s |      15 |   617728 |   103132 |   143610      0 |        6 |       11
955.62/955.99	c  952s |      15 |   617996 |   103332 |   143610      0 |        6 |       11
959.12/959.40	c  955s |      15 |   618285 |   103532 |   143610      0 |        6 |       11
961.22/961.56	c  957s |      15 |   619046 |   103732 |   143610      0 |        6 |       11
964.12/964.47	c  960s |      15 |   619427 |   103932 |   143610      0 |        6 |       11
966.21/966.52	c  962s |      15 |   619938 |   104132 |   143610      0 |        6 |       11
968.82/969.14	c  965s |      15 |   620322 |   104332 |   143610      0 |        6 |       11
971.31/971.62	c  968s |      15 |   620748 |   104532 |   143610      0 |        6 |       11
974.11/974.45	c  970s |      15 |   621247 |   104732 |   143610      0 |        6 |       11
977.41/977.74	c  974s |      15 |   621570 |   104932 |   143610      0 |        6 |       11
980.20/980.54	c  976s |      15 |   621969 |   105132 |   143610      0 |        6 |       11
982.61/982.91	c  979s |      15 |   622438 |   105332 |   143610      0 |        6 |       11
985.42/985.73	c  982s |      15 |   622735 |   105532 |   143610      0 |        6 |       11
987.62/987.95	c  984s |      15 |   623178 |   105732 |   143610      0 |        6 |       11
989.71/990.05	c  986s |      15 |   623996 |   105932 |   143610      0 |        6 |       11
991.80/992.16	c  988s |      15 |   624154 |   106032 |   143610      0 |        6 |       11
994.11/994.47	c  990s |      15 |   624282 |   106132 |   143610      0 |        6 |       11
996.80/997.14	c  993s |      15 |   625574 |   106432 |   143610      0 |        6 |       11
999.10/999.45	c  995s |      15 |   626059 |   106632 |   143610      0 |        6 |       11
1001.31/1001.65	c  998s |      15 |   626397 |   106832 |   143610      0 |        6 |       11
1004.11/1004.49	c 1000s |      15 |   626748 |   107032 |   143610      0 |        6 |       11
1006.61/1006.99	c 1003s |      15 |   627084 |   107232 |   143610      0 |        6 |       11
1009.20/1009.58	c 1005s |      15 |   627325 |   107432 |   143610      0 |        6 |       11
1012.50/1012.80	c 1009s |      15 |   627710 |   107632 |   143610      0 |        6 |       11
1015.70/1016.07	c 1012s |      15 |   628164 |   107832 |   143610      0 |        6 |       11
1017.90/1018.21	c 1014s |      15 |   628434 |   108032 |   143610      0 |        6 |       11
1020.61/1020.91	c 1017s |      15 |   628788 |   108232 |   143610      0 |        6 |       11
1023.50/1023.80	c 1020s |      15 |   629124 |   108432 |   143610      0 |        6 |       11
1026.20/1026.50	c 1022s |      15 |   629445 |   108632 |   143610      0 |        6 |       11
1028.60/1028.92	c 1025s |      15 |   629817 |   108832 |   143610      0 |        6 |       11
1031.90/1032.25	c 1028s |      15 |   630126 |   109032 |   143610      0 |        6 |       11
1034.81/1035.18	c 1031s |      15 |   630445 |   109232 |   143610      0 |        6 |       11
1037.60/1037.98	c 1034s |      15 |   630805 |   109432 |   143610      0 |        6 |       11
1041.30/1041.70	c 1038s |      15 |   631090 |   109632 |   143610      0 |        6 |       11
1043.80/1044.19	c 1040s |      15 |   631233 |   109732 |   143610      0 |        6 |       11
1047.20/1047.53	c 1043s |      15 |   631499 |   109932 |   143610      0 |        6 |       11
1050.30/1050.69	c 1047s |      15 |   631832 |   110132 |   143610      0 |        6 |       11
1054.40/1054.77	c 1051s |      15 |   632171 |   110332 |   143610      0 |        6 |       11
1057.19/1057.53	c 1053s |      15 |   632601 |   110532 |   143610      0 |        6 |       11
1059.40/1059.72	c 1056s |      15 |   633388 |   110832 |   143610      0 |        6 |       11
1062.30/1062.68	c 1059s |      15 |   633772 |   111032 |   143610      0 |        6 |       11
1064.60/1064.94	c 1061s |      15 |   634526 |   111232 |   143610      0 |        6 |       11
1067.70/1068.02	c 1064s |      15 |   635068 |   111432 |   143610      0 |        6 |       11
1070.49/1070.88	c 1067s |      15 |   635667 |   111632 |   143610      0 |        6 |       11
1073.99/1074.35	c 1070s |      15 |   636065 |   111832 |   143610      0 |        6 |       11
1076.39/1076.76	c 1073s |      15 |   636447 |   112032 |   143610      0 |        6 |       11
1078.99/1079.39	c 1075s |      15 |   636835 |   112232 |   143610      0 |        6 |       11
1082.20/1082.58	c 1078s |      15 |   637280 |   112432 |   143610      0 |        6 |       11
1084.49/1084.85	c 1081s |      15 |   638575 |   112832 |   143610      0 |        6 |       11
1088.59/1088.93	c 1085s |      15 |   639071 |   113032 |   143610      0 |        6 |       11
1091.00/1091.38	c 1087s |      15 |   639245 |   113132 |   143610      0 |        6 |       11
1092.99/1093.39	c 1089s |      15 |   639565 |   113232 |   143610      0 |        6 |       11
1095.48/1095.89	c 1092s |      15 |   639760 |   113332 |   143610      0 |        6 |       11
1098.29/1098.60	c 1094s |      15 |   639939 |   113432 |   143610      0 |        6 |       11
1100.49/1100.83	c 1097s |      15 |   640125 |   113532 |   143610      0 |        6 |       11
1102.58/1102.92	c 1099s |      15 |   641421 |   113732 |   143610      0 |        6 |       11
1104.69/1105.06	c 1101s |      15 |   641644 |   113832 |   143610      0 |        6 |       11
1107.19/1107.57	c 1103s |      15 |   641914 |   113932 |   143610      0 |        6 |       11
1109.29/1109.66	c 1106s |      15 |   642256 |   114032 |   143610      0 |        6 |       11
1111.49/1111.86	c 1108s |      15 |   642626 |   114132 |   143610      0 |        6 |       11
1114.19/1114.59	c 1110s |      15 |   642776 |   114232 |   143610      0 |        6 |       11
1117.69/1118.00	c 1114s |      15 |   643058 |   114432 |   143610      0 |        6 |       11
1120.09/1120.40	c 1116s |      15 |   643277 |   114632 |   143610      0 |        6 |       11
1123.48/1123.81	c 1120s |      15 |   643631 |   114832 |   143610      0 |        6 |       11
1126.38/1126.75	c 1123s |      15 |   643994 |   115032 |   143610      0 |        6 |       11
1128.68/1129.06	c 1125s |      15 |   644459 |   115232 |   143610      0 |        6 |       11
1131.78/1132.17	c 1128s |      15 |   644790 |   115432 |   143610      0 |        6 |       11
1133.98/1134.31	c 1130s |      15 |   644923 |   115532 |   143610      0 |        6 |       11
1136.28/1136.67	c 1133s |      15 |   645082 |   115632 |   143610      0 |        6 |       11
1139.08/1139.42	c 1135s |      15 |   645300 |   115732 |   143610      0 |        6 |       11
1142.78/1143.20	c 1139s |      15 |   645479 |   115832 |   143610      0 |        6 |       11
1146.38/1146.78	c 1143s |      15 |   645743 |   115932 |   143610      0 |        6 |       11
1149.29/1149.66	c 1146s |      15 |   645894 |   116032 |   143610      0 |        6 |       11
1151.78/1152.11	c 1148s |      15 |   646067 |   116132 |   143610      0 |        6 |       11
1154.88/1155.29	c 1151s |      15 |   646556 |   116332 |   143610      0 |        6 |       11
1157.58/1157.96	c 1154s |      15 |   646740 |   116432 |   143610      0 |        6 |       11
1160.18/1160.59	c 1156s |      15 |   647170 |   116632 |   143610      0 |        6 |       11
1162.77/1163.15	c 1159s |      15 |   647753 |   116832 |   143610      0 |        6 |       11
1166.28/1166.63	c 1163s |      15 |   648169 |   117032 |   143610      0 |        6 |       11
1169.97/1170.33	c 1166s |      15 |   648524 |   117232 |   143610      0 |        6 |       11
1172.57/1172.92	c 1169s |      15 |   648725 |   117332 |   143610      0 |        6 |       11
1175.38/1175.78	c 1172s |      15 |   648912 |   117432 |   143610      0 |        6 |       11
1178.57/1178.94	c 1175s |      15 |   649333 |   117632 |   143610      0 |        6 |       11
1181.08/1181.48	c 1177s |      15 |   650578 |   117932 |   143610      0 |        6 |       11
1183.47/1183.88	c 1180s |      15 |   651235 |   118232 |   143610      0 |        6 |       11
1186.17/1186.53	c 1182s |      15 |   651695 |   118432 |   143610      0 |        6 |       11
1188.57/1188.95	c 1185s |      15 |   652134 |   118632 |   143610      0 |        6 |       11
1191.27/1191.68	c 1188s |      15 |   652538 |   118832 |   143610      0 |        6 |       11
1193.77/1194.12	c 1190s |      15 |   652889 |   119032 |   143610      0 |        6 |       11
1196.07/1196.40	c 1192s |      15 |   653349 |   119232 |   143610      0 |        6 |       11
1198.78/1199.14	c 1195s |      15 |   654645 |   119632 |   143610      0 |        6 |       11
1200.98/1201.33	c 1197s |      15 |   655003 |   119832 |   143610      0 |        6 |       11
1203.97/1204.30	c 1200s |      15 |   655345 |   120032 |   143610      0 |        6 |       11
1206.66/1207.02	c 1203s |      15 |   655752 |   120232 |   143610      0 |        6 |       11
1208.96/1209.35	c 1205s |      15 |   656189 |   120432 |   143610      0 |        6 |       11
1211.77/1212.12	c 1208s |      15 |   657342 |   120832 |   143610      0 |        6 |       11
1214.76/1215.12	c 1211s |      15 |   657972 |   121132 |   143610      0 |        6 |       11
1216.96/1217.35	c 1213s |      15 |   658303 |   121332 |   143610      0 |        6 |       11
1219.07/1219.42	c 1215s |      15 |   658952 |   121532 |   143610      0 |        6 |       11
1221.26/1221.66	c 1218s |      15 |   659353 |   121732 |   143610      0 |        6 |       11
1223.67/1224.04	c 1220s |      15 |   659748 |   121932 |   143610      0 |        6 |       11
1226.27/1226.62	c 1223s |      15 |   660360 |   122132 |   143610      0 |        6 |       11
1228.47/1228.88	c 1225s |      15 |   661260 |   122332 |   143610      0 |        6 |       11
1230.66/1231.09	c 1227s |      15 |   662584 |   122632 |   143610      0 |        6 |       11
1233.16/1233.57	c 1229s |      15 |   662999 |   122832 |   143610      0 |        6 |       11
1235.26/1235.69	c 1232s |      15 |   663498 |   123032 |   143610      0 |        6 |       11
1237.36/1237.76	c 1234s |      15 |   663958 |   123232 |   143610      0 |        6 |       11
1239.66/1240.07	c 1236s |      15 |   664284 |   123432 |   143610      0 |        6 |       11
1242.06/1242.40	c 1238s |      15 |   664657 |   123632 |   143610      0 |        6 |       11
1244.35/1244.75	c 1241s |      15 |   665012 |   123832 |   143610      0 |        6 |       11
1247.45/1247.88	c 1244s |      15 |   665476 |   124032 |   143610      0 |        6 |       11
1249.66/1250.01	c 1246s |      15 |   666993 |   124432 |   143610      0 |        6 |       11
1251.65/1252.04	c 1248s |      15 |   667741 |   124732 |   143610      0 |        6 |       11
1254.65/1255.01	c 1251s |      15 |   668520 |   125032 |   143610      0 |        6 |       11
1257.15/1257.54	c 1253s |      15 |   669989 |   125432 |   143610      0 |        6 |       11
1260.05/1260.43	c 1256s |      15 |   670392 |   125632 |   143610      0 |        6 |       11
1262.85/1263.29	c 1259s |      15 |   670707 |   125832 |   143610      0 |        6 |       11
1265.55/1265.91	c 1262s |      15 |   671050 |   126032 |   143610      0 |        6 |       11
1268.65/1269.04	c 1265s |      15 |   671439 |   126232 |   143610      0 |        6 |       11
1270.85/1271.28	c 1267s |      15 |   671556 |   126332 |   143610      0 |        6 |       11
1275.15/1275.53	c 1271s |      15 |   671807 |   126532 |   143610      0 |        6 |       11
1277.25/1277.68	c 1274s |      15 |   671942 |   126632 |   143610      0 |        6 |       11
1281.16/1281.53	c 1277s |      15 |   672206 |   126832 |   143610      0 |        6 |       11
1283.85/1284.22	c 1280s |      15 |   672327 |   126932 |   143610      0 |        6 |       11
1286.45/1286.82	c 1283s |      15 |   672457 |   127032 |   143610      0 |        6 |       11
1288.86/1289.24	c 1285s |      15 |   672815 |   127232 |   143610      0 |        6 |       11
1292.25/1292.65	c 1289s |      15 |   673100 |   127432 |   143610      0 |        6 |       11
1295.55/1295.91	c 1292s |      15 |   673399 |   127632 |   143610      0 |        6 |       11
1298.24/1298.68	c 1295s |      15 |   673821 |   127832 |   143610      0 |        6 |       11
1300.84/1301.20	c 1297s |      15 |   675237 |   128232 |   143610      0 |        6 |       11
1303.15/1303.53	c 1299s |      15 |   675599 |   128432 |   143610      0 |        6 |       11
1305.54/1305.95	c 1302s |      15 |   676112 |   128632 |   143610      0 |        6 |       11
1307.75/1308.12	c 1304s |      15 |   678332 |   129932 |   143610      0 |        6 |       11
1309.75/1310.19	c 1306s |      15 |   680054 |   130432 |   143610      0 |        6 |       11
1312.05/1312.49	c 1308s |      15 |   681197 |   131232 |   157971      0 |        6 |       11
1313.54/1313.92	c 1310s |      16 |   681687 |   131552 |   157971      0 |        6 |       11
1324.15/1324.50	c 1320s |      16 |   702804 |   131652 |   157971      0 |        6 |       11
1327.04/1327.42	c 1323s |      16 |   703226 |   131952 |   157971      0 |        6 |       11
1329.33/1329.76	c 1326s |      16 |   703494 |   132152 |   157971      0 |        6 |       11
1332.94/1333.33	c 1329s |      16 |   703760 |   132352 |   157971      0 |        6 |       11
1336.44/1336.87	c 1333s |      16 |   704133 |   132552 |   157971      0 |        6 |       11
1339.14/1339.50	c 1335s |      16 |   704577 |   132752 |   157971      0 |        6 |       11
1343.14/1343.58	c 1339s |      16 |   704848 |   132952 |   157971      0 |        6 |       11
1345.74/1346.12	c 1342s |      16 |   704974 |   133052 |   157971      0 |        6 |       11
1347.94/1348.35	c 1344s |      16 |   705089 |   133152 |   157971      0 |        6 |       11
1350.24/1350.61	c 1346s |      16 |   705204 |   133252 |   157971      0 |        6 |       11
1352.24/1352.62	c 1349s |      16 |   705382 |   133352 |   157971      0 |        6 |       11
1354.43/1354.81	c 1351s |      16 |   705496 |   133452 |   157971      0 |        6 |       11
1358.14/1358.54	c 1354s |      16 |   705833 |   133652 |   157971      0 |        6 |       11
1360.74/1361.19	c 1357s |      16 |   705999 |   133752 |   157971      0 |        6 |       11
1365.33/1365.79	c 1362s |      16 |   706296 |   133952 |   157971      0 |        6 |       11
1367.43/1367.84	c 1364s |      16 |   706459 |   134052 |   157971      0 |        6 |       11
1370.24/1370.64	c 1367s |      16 |   706955 |   134252 |   157971      0 |        6 |       11
1374.43/1374.85	c 1371s |      16 |   707230 |   134452 |   157971      0 |        6 |       11
1376.53/1376.93	c 1373s |      16 |   707454 |   134552 |   157971      0 |        6 |       11
1378.73/1379.10	c 1375s |      16 |   707631 |   134652 |   157971      0 |        6 |       11
1381.33/1381.76	c 1378s |      16 |   707767 |   134752 |   157971      0 |        6 |       11
1384.03/1384.49	c 1380s |      16 |   707926 |   134852 |   157971      0 |        6 |       11
1387.84/1388.27	c 1384s |      16 |   708201 |   135052 |   157971      0 |        6 |       11
1393.13/1393.58	c 1389s |      16 |   708601 |   135252 |   157971      0 |        6 |       11
1395.33/1395.78	c 1392s |      16 |   708759 |   135352 |   157971      0 |        6 |       11
1397.53/1397.94	c 1394s |      16 |   708953 |   135452 |   157971      0 |        6 |       11
1400.43/1400.81	c 1397s |      16 |   709118 |   135552 |   157971      0 |        6 |       11
1404.33/1404.70	c 1401s |      16 |   709226 |   135652 |   157971      0 |        6 |       11
1408.12/1408.50	c 1404s |      16 |   709338 |   135752 |   157971      0 |        6 |       11
1411.82/1412.24	c 1408s |      16 |   709711 |   135952 |   157971      0 |        6 |       11
1415.43/1415.82	c 1412s |      16 |   710078 |   136152 |   157971      0 |        6 |       11
1417.63/1418.03	c 1414s |      16 |   710288 |   136252 |   157971      0 |        6 |       11
1421.73/1422.11	c 1418s |      16 |   711444 |   136652 |   157971      0 |        6 |       11
1424.62/1425.09	c 1421s |      16 |   711599 |   136752 |   157971      0 |        6 |       11
1427.53/1428.00	c 1424s |      16 |   711921 |   136952 |   157971      0 |        6 |       11
1429.63/1430.06	c 1426s |      16 |   712097 |   137052 |   157971      0 |        6 |       11
1431.72/1432.19	c 1428s |      16 |   712192 |   137152 |   157971      0 |        6 |       11
1433.92/1434.37	c 1430s |      16 |   712450 |   137252 |   157971      0 |        6 |       11
1436.12/1436.54	c 1432s |      16 |   712616 |   137352 |   157971      0 |        6 |       11
1439.32/1439.77	c 1436s |      16 |   712732 |   137452 |   157971      0 |        6 |       11
1443.72/1444.10	c 1440s |      16 |   712914 |   137552 |   157971      0 |        6 |       11
1450.62/1451.05	c 1447s |      16 |   713145 |   137652 |   157971      0 |        6 |       11
1467.61/1468.08	c 1464s |      16 |   713301 |   137752 |   157971      0 |        6 |       11
1481.41/1481.87	c 1478s |      16 |   713466 |   137852 |   157971      0 |        6 |       11
1487.81/1488.27	c 1484s |      16 |   713950 |   137952 |   157971      0 |        6 |       11
1503.21/1503.68	c 1500s |      16 |   714078 |   138052 |   157971      0 |        6 |       11
1514.41/1514.82	c 1511s |      16 |   714267 |   138152 |   157971      0 |        6 |       11
1524.90/1525.39	c 1521s |      16 |   714439 |   138252 |   157971      0 |        6 |       11
1530.50/1530.97	c 1527s |      16 |   714755 |   138352 |   157971      0 |        6 |       11
1536.41/1536.86	c 1533s |      16 |   715137 |   138452 |   157971      0 |        6 |       11
1542.80/1543.30	c 1539s |      16 |   715302 |   138552 |   157971      0 |        6 |       11
1548.19/1548.64	c 1545s |      16 |   716378 |   138852 |   157971      0 |        6 |       11
1551.10/1551.54	c 1547s |      16 |   716550 |   138952 |   157971      0 |        6 |       11
1554.10/1554.52	c 1550s |      16 |   717079 |   139152 |   157971      0 |        6 |       11
1558.79/1559.23	c 1555s |      16 |   717298 |   139252 |   157971      0 |        6 |       11
1564.30/1564.73	c 1561s |      16 |   717448 |   139352 |   157971      0 |        6 |       11
1569.59/1570.07	c 1566s |      16 |   717705 |   139452 |   157971      0 |        6 |       11
1572.99/1573.49	c 1569s |      16 |   717877 |   139552 |   157971      0 |        6 |       11
1575.90/1576.37	c 1572s |      16 |   718170 |   139652 |   157971      0 |        6 |       11
1578.29/1578.71	c 1575s |      16 |   718380 |   139752 |   157971      0 |        6 |       11
1580.60/1581.01	c 1577s |      16 |   718642 |   139852 |   157971      0 |        6 |       11
1585.40/1585.89	c 1582s |      16 |   718915 |   139952 |   157971      0 |        6 |       11
1588.10/1588.56	c 1584s |      16 |   719160 |   140052 |   157971      0 |        6 |       11
1590.59/1591.07	c 1587s |      16 |   719337 |   140152 |   157971      0 |        6 |       11
1593.50/1593.94	c 1590s |      16 |   719526 |   140252 |   157971      0 |        6 |       11
1599.10/1599.57	c 1595s |      16 |   719932 |   140452 |   157971      0 |        6 |       11
1602.40/1602.82	c 1599s |      16 |   720167 |   140552 |   157971      0 |        6 |       11
1605.19/1605.69	c 1602s |      16 |   721392 |   140852 |   157971      0 |        6 |       11
1607.39/1607.83	c 1604s |      16 |   721923 |   141052 |   157971      0 |        6 |       11
1609.89/1610.32	c 1606s |      16 |   722276 |   141152 |   157971      0 |        6 |       11
1611.89/1612.37	c 1608s |      16 |   723009 |   141552 |   157971      0 |        6 |       11
1614.29/1614.79	c 1611s |      16 |   723418 |   141852 |   157971      0 |        6 |       11
1616.99/1617.40	c 1613s |      16 |   723849 |   142152 |   157971      0 |        6 |       11
1619.29/1619.75	c 1616s |      16 |   724310 |   142452 |   157971      0 |        6 |       11
1621.88/1622.37	c 1618s |      16 |   724736 |   142752 |   157971      0 |        6 |       11
1623.99/1624.40	c 1620s |      16 |   724982 |   142952 |   157971      0 |        6 |       11
1626.38/1626.85	c 1623s |      16 |   725437 |   143252 |   157971      0 |        6 |       11
1628.59/1629.01	c 1625s |      16 |   725687 |   143452 |   157971      0 |        6 |       11
1630.69/1631.15	c 1627s |      16 |   726139 |   143752 |   157971      0 |        6 |       11
1632.78/1633.22	c 1629s |      16 |   726563 |   144052 |   157971      0 |        6 |       11
1635.49/1635.91	c 1632s |      16 |   727010 |   144352 |   157971      0 |        6 |       11
1637.88/1638.36	c 1634s |      16 |   727382 |   144652 |   157971      0 |        6 |       11
1640.48/1640.95	c 1637s |      16 |   727747 |   144952 |   157971      0 |        6 |       11
1642.68/1643.15	c 1639s |      16 |   728020 |   145152 |   157971      0 |        6 |       11
1645.68/1646.19	c 1642s |      16 |   728421 |   145452 |   157971      0 |        6 |       11
1647.88/1648.37	c 1644s |      16 |   728688 |   145652 |   157971      0 |        6 |       11
1650.18/1650.63	c 1647s |      16 |   728983 |   145852 |   157971      0 |        6 |       11
1652.38/1652.87	c 1649s |      16 |   729232 |   146052 |   157971      0 |        6 |       11
1655.08/1655.52	c 1651s |      16 |   729617 |   146352 |   157971      0 |        6 |       11
1657.58/1658.10	c 1654s |      16 |   730071 |   146652 |   157971      0 |        6 |       11
1659.97/1660.42	c 1656s |      16 |   730754 |   147052 |   157971      0 |        6 |       11
1662.27/1662.75	c 1659s |      16 |   731475 |   147552 |   157971      0 |        6 |       11
1664.58/1665.07	c 1661s |      16 |   732103 |   147952 |   157971      0 |        6 |       11
1667.18/1667.63	c 1664s |      16 |   732618 |   148352 |   157971      0 |        6 |       11
1669.17/1669.64	c 1666s |      16 |   733083 |   148652 |   157971      0 |        6 |       11
1671.58/1672.03	c 1668s |      16 |   733621 |   149052 |   157971      0 |        6 |       11
1674.27/1674.78	c 1671s |      16 |   734189 |   149452 |   157971      0 |        6 |       11
1676.67/1677.14	c 1673s |      16 |   734627 |   149752 |   157971      0 |        6 |       11
1678.67/1679.15	c 1675s |      16 |   735070 |   150052 |   157971      0 |        6 |       11
1680.67/1681.18	c 1677s |      16 |   735479 |   150352 |   157971      0 |        6 |       11
1682.87/1683.35	c 1679s |      16 |   735873 |   150652 |   157971      0 |        6 |       11
1685.47/1685.95	c 1682s |      16 |   736363 |   151052 |   157971      0 |        6 |       11
1687.67/1688.16	c 1684s |      16 |   736806 |   151352 |   157971      0 |        6 |       11
1690.08/1690.58	c 1686s |      16 |   737243 |   151652 |   157971      0 |        6 |       11
1692.77/1693.22	c 1689s |      16 |   737762 |   151952 |   157971      0 |        6 |       11
1694.87/1695.35	c 1691s |      16 |   738213 |   152252 |   157971      0 |        6 |       11
1697.06/1697.51	c 1693s |      16 |   738632 |   152552 |   157971      0 |        6 |       11
1699.57/1700.09	c 1696s |      16 |   739033 |   152852 |   157971      0 |        6 |       11
1702.57/1703.00	c 1699s |      16 |   739514 |   153152 |   157971      0 |        6 |       11
1705.07/1705.51	c 1701s |      16 |   739973 |   153452 |   157971      0 |        6 |       11
1707.37/1707.86	c 1704s |      16 |   740254 |   153652 |   157971      0 |        6 |       11
1709.47/1709.94	c 1706s |      16 |   740584 |   153852 |   157971      0 |        6 |       11
1712.07/1712.51	c 1708s |      16 |   740883 |   154052 |   157971      0 |        6 |       11
1714.57/1715.07	c 1711s |      16 |   741160 |   154252 |   157971      0 |        6 |       11
1717.16/1717.66	c 1714s |      16 |   741458 |   154452 |   157971      0 |        6 |       11
1719.76/1720.21	c 1716s |      16 |   741762 |   154652 |   157971      0 |        6 |       11
1721.97/1722.49	c 1718s |      16 |   742035 |   154852 |   157971      0 |        6 |       11
1724.26/1724.74	c 1721s |      16 |   742378 |   155052 |   157971      0 |        6 |       11
1726.67/1727.16	c 1723s |      16 |   742700 |   155252 |   157971      0 |        6 |       11
1728.96/1729.46	c 1725s |      16 |   742965 |   155452 |   157971      0 |        6 |       11
1731.07/1731.58	c 1727s |      16 |   743242 |   155652 |   157971      0 |        6 |       11
1733.56/1734.08	c 1730s |      16 |   743520 |   155852 |   157971      0 |        6 |       11
1735.86/1736.30	c 1732s |      16 |   743843 |   156052 |   157971      0 |        6 |       11
1737.96/1738.41	c 1734s |      16 |   744114 |   156252 |   157971      0 |        6 |       11
1740.46/1740.99	c 1737s |      16 |   744387 |   156452 |   157971      0 |        6 |       11
1743.07/1743.55	c 1739s |      16 |   744662 |   156652 |   157971      0 |        6 |       11
1745.76/1746.29	c 1742s |      16 |   744924 |   156852 |   157971      0 |        6 |       11
1748.75/1749.27	c 1745s |      16 |   745517 |   157252 |   157971      0 |        6 |       11
1750.86/1751.30	c 1747s |      16 |   745765 |   157452 |   157971      0 |        6 |       11
1753.15/1753.66	c 1750s |      16 |   746145 |   157752 |   157971      0 |        6 |       11
1756.15/1756.68	c 1753s |      16 |   746522 |   158052 |   157971      0 |        6 |       11
1758.64/1759.16	c 1755s |      16 |   746785 |   158252 |   157971      0 |        6 |       11
1761.25/1761.73	c 1758s |      16 |   747069 |   158452 |   157971      0 |        6 |       11
1763.65/1764.18	c 1760s |      16 |   747345 |   158652 |   157971      0 |        6 |       11
1766.26/1766.79	c 1763s |      16 |   747629 |   158852 |   157971      0 |        6 |       11
1769.45/1769.93	c 1766s |      16 |   747912 |   159052 |   157971      0 |        6 |       11
1772.14/1772.64	c 1769s |      16 |   748229 |   159252 |   157971      0 |        6 |       11
1774.95/1775.45	c 1771s |      16 |   748496 |   159452 |   157971      0 |        6 |       11
1777.16/1777.69	c 1774s |      16 |   748798 |   159652 |   157971      0 |        6 |       11
1780.35/1780.87	c 1777s |      16 |   749094 |   159852 |   157971      0 |        6 |       11
1783.04/1783.50	c 1779s |      16 |   749424 |   160052 |   157971      0 |        6 |       11
1785.64/1786.14	c 1782s |      16 |   749691 |   160252 |   157971      0 |        6 |       11
1788.65/1789.15	c 1785s |      16 |   749993 |   160452 |   157971      0 |        6 |       11
1791.45/1792.00	c 1788s |      16 |   750310 |   160652 |   157971      0 |        6 |       11
1794.94/1795.50	c 1791s |      16 |   750559 |   160852 |   157971      0 |        6 |       11
1797.94/1798.47	c 1794s |      16 |   750864 |   161052 |   157971      0 |        6 |       11

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-4110094-1466344642/watcher-4110094-1466344642 -o /tmp/evaluation-result-4110094-1466344642/solver-4110094-1466344642 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466341824-4862 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110094-1466344642.wbo 

pid=5785
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.02 2.07 1.97 3/179 5788
/proc/meminfo: memFree=30387960/32872528 swapFree=163656/177964
[pid=5788] ppid=5785 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/5788/stat : 5788 (toysat) R 5785 5788 4845 0 -1 4202496 817 0 0 0 0 0 0 0 20 0 4 0 36514138 246870016 667 33554432000 4194304 16246674 140734140897008 140734140896432 4222282 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5788/statm: 60527 671 441 2943 0 57421 0
[pid=5788/tid=5789] ppid=5785 vsize=254396 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5789/stat : 5789 (toysat) S 5785 5788 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36514138 260501504 720 33554432000 4194304 16246674 140734140897008 139731097595120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5788/tid=5790] ppid=5785 vsize=259516 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5790/stat : 5790 (toysat) S 5785 5788 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514138 265744384 737 33554432000 4194304 16246674 140734140897008 139731087105264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5788/tid=5791] ppid=5785 vsize=262588 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5791/stat : 5791 (toysat) S 5785 5788 4845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36514138 268890112 752 33554432000 4194304 16246674 140734140897008 139731076631728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.02 2.07 1.97 3/179 5788
/proc/meminfo: memFree=30387960/32872528 swapFree=163656/177964
[pid=5788] ppid=5785 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/5788/stat : 5788 (toysat) R 5785 5788 4845 0 -1 4202496 23809 0 0 0 5 4 0 0 20 0 4 0 36514138 1332285440 23599 33554432000 4194304 16246674 140734140897008 140734140896320 7369730 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5788/statm: 325265 23614 800 2943 0 322159 0
[pid=5788/tid=5789] ppid=5785 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5789/stat : 5789 (toysat) S 5785 5788 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36514138 1332285440 23626 33554432000 4194304 16246674 140734140897008 139731097595120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5788/tid=5790] ppid=5785 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5790/stat : 5790 (toysat) S 5785 5788 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514138 1332285440 23637 33554432000 4194304 16246674 140734140897008 139731087105264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5788/tid=5791] ppid=5785 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5791/stat : 5791 (toysat) S 5785 5788 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514138 1332285440 23647 33554432000 4194304 16246674 140734140897008 139731076631728 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.200544 s]
/proc/loadavg: 2.02 2.07 1.97 3/179 5788
/proc/meminfo: memFree=30387960/32872528 swapFree=163656/177964
[pid=5788] ppid=5785 vsize=1310276 CPUtime=0.18 cores=1,3,5,7
/proc/5788/stat : 5788 (toysat) R 5785 5788 4845 0 -1 4202496 48088 0 0 0 11 7 0 0 20 0 4 0 36514138 1341722624 48390 33554432000 4194304 16246674 140734140897008 140734140896320 4225154 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5788/statm: 327569 48396 800 2943 0 324463 0
[pid=5788/tid=5789] ppid=5785 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5789/stat : 5789 (toysat) S 5785 5788 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36514138 1341722624 48399 33554432000 4194304 16246674 140734140897008 139731097595120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5788/tid=5790] ppid=5785 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5790/stat : 5790 (toysat) S 5785 5788 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514138 1341722624 48403 33554432000 4194304 16246674 140734140897008 139731087105264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5788/tid=5791] ppid=5785 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5791/stat : 5791 (toysat) S 5785 5788 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514138 1341722624 48409 33554432000 4194304 16246674 140734140897008 139731076631728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1310276

[startup+0.300513 s]
/proc/loadavg: 2.02 2.07 1.97 3/179 5788
/proc/meminfo: memFree=30387960/32872528 swapFree=163656/177964
[pid=5788] ppid=5785 vsize=1314372 CPUtime=0.28 cores=1,3,5,7
/proc/5788/stat : 5788 (toysat) R 5785 5788 4845 0 -1 4202496 57941 0 0 0 20 8 0 0 20 0 4 0 36514138 1345916928 58242 33554432000 4194304 16246674 140734140897008 140734140896320 4220850 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5788/statm: 328593 58242 800 2943 0 325487 0
[pid=5788/tid=5789] ppid=5785 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5789/stat : 5789 (toysat) S 5785 5788 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36514138 1345916928 58242 33554432000 4194304 16246674 140734140897008 139731097595120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5788/tid=5790] ppid=5785 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5790/stat : 5790 (toysat) S 5785 5788 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514138 1345916928 58242 33554432000 4194304 16246674 140734140897008 139731087105264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5788/tid=5791] ppid=5785 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5791/stat : 5791 (toysat) S 5785 5788 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514138 1345916928 58242 33554432000 4194304 16246674 140734140897008 139731076631728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1314372

[startup+0.700416 s]
/proc/loadavg: 2.02 2.07 1.97 3/179 5788
/proc/meminfo: memFree=30387960/32872528 swapFree=163656/177964
[pid=5788] ppid=5785 vsize=1314372 CPUtime=0.68 cores=1,3,5,7
/proc/5788/stat : 5788 (toysat) R 5785 5788 4845 0 -1 4202496 61189 0 0 0 59 9 0 0 20 0 4 0 36514138 1345916928 61490 33554432000 4194304 16246674 140734140897008 140734140880000 6155640 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5788/statm: 328593 61490 824 2943 0 325487 0
[pid=5788/tid=5789] ppid=5785 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5789/stat : 5789 (toysat) S 5785 5788 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36514138 1345916928 61490 33554432000 4194304 16246674 140734140897008 139731097595120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5788/tid=5790] ppid=5785 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5790/stat : 5790 (toysat) S 5785 5788 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514138 1345916928 61490 33554432000 4194304 16246674 140734140897008 139731087105264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5788/tid=5791] ppid=5785 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5791/stat : 5791 (toysat) S 5785 5788 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514138 1345916928 61490 33554432000 4194304 16246674 140734140897008 139731076631728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372

[startup+1.50044 s]
/proc/loadavg: 2.02 2.07 1.97 3/183 5792
/proc/meminfo: memFree=30131064/32872528 swapFree=163656/177964
[pid=5788] ppid=5785 vsize=1314372 CPUtime=1.48 cores=1,3,5,7
/proc/5788/stat : 5788 (toysat) R 5785 5788 4845 0 -1 4202496 119701 0 0 0 131 17 0 0 20 0 4 0 36514138 1345916928 120002 33554432000 4194304 16246674 140734140897008 140734140878912 6694704 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5788/statm: 328593 120002 835 2943 0 325487 0
[pid=5788/tid=5789] ppid=5785 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5789/stat : 5789 (toysat) S 5785 5788 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36514138 1345916928 120002 33554432000 4194304 16246674 140734140897008 139731097595120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5788/tid=5790] ppid=5785 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5790/stat : 5790 (toysat) S 5785 5788 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514138 1345916928 120002 33554432000 4194304 16246674 140734140897008 139731087105264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5788/tid=5791] ppid=5785 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5791/stat : 5791 (toysat) S 5785 5788 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514138 1345916928 120002 33554432000 4194304 16246674 140734140897008 139731076631728 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) 1314372

[startup+3.10045 s]
/proc/loadavg: 2.02 2.07 1.97 3/183 5792
/proc/meminfo: memFree=29856148/32872528 swapFree=163656/177964
[pid=5788] ppid=5785 vsize=1366596 CPUtime=3.08 cores=1,3,5,7
/proc/5788/stat : 5788 (toysat) R 5785 5788 4845 0 -1 4202496 241794 0 0 0 271 37 0 0 20 0 4 0 36514138 1399394304 242095 33554432000 4194304 16246674 140734140897008 140734140895672 4220489 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5788/statm: 341649 242095 863 2943 0 338543 0
[pid=5788/tid=5789] ppid=5785 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5789/stat : 5789 (toysat) S 5785 5788 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36514138 1399394304 242095 33554432000 4194304 16246674 140734140897008 139731097595120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5788/tid=5790] ppid=5785 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5790/stat : 5790 (toysat) S 5785 5788 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514138 1399394304 242095 33554432000 4194304 16246674 140734140897008 139731087105264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5788/tid=5791] ppid=5785 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5791/stat : 5791 (toysat) S 5785 5788 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514138 1399394304 242095 33554432000 4194304 16246674 140734140897008 139731076631728 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) 1366596

[startup+6.30044 s]
/proc/loadavg: 2.02 2.07 1.97 3/183 5792
/proc/meminfo: memFree=29420296/32872528 swapFree=163656/177964
[pid=5788] ppid=5785 vsize=1366596 CPUtime=6.28 cores=1,3,5,7
/proc/5788/stat : 5788 (toysat) R 5785 5788 4845 0 -1 4202496 241856 0 0 0 591 37 0 0 20 0 4 0 36514138 1399394304 242157 33554432000 4194304 16246674 140734140897008 140734140878912 4220897 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5788/statm: 341649 242157 925 2943 0 338543 0
[pid=5788/tid=5789] ppid=5785 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5789/stat : 5789 (toysat) S 5785 5788 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36514138 1399394304 242157 33554432000 4194304 16246674 140734140897008 139731097595120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5788/tid=5790] ppid=5785 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5790/stat : 5790 (toysat) S 5785 5788 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514138 1399394304 242157 33554432000 4194304 16246674 140734140897008 139731087105264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5788/tid=5791] ppid=5785 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5791/stat : 5791 (toysat) S 5785 5788 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514138 1399394304 242157 33554432000 4194304 16246674 140734140897008 139731076631728 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) 1366596

[startup+12.7004 s]
/proc/loadavg: 2.02 2.07 1.97 3/183 5792
/proc/meminfo: memFree=29420244/32872528 swapFree=163656/177964
[pid=5788] ppid=5785 vsize=1366596 CPUtime=12.69 cores=1,3,5,7
/proc/5788/stat : 5788 (toysat) R 5785 5788 4845 0 -1 4202496 241856 0 0 0 1231 38 0 0 20 0 4 0 36514138 1399394304 242157 33554432000 4194304 16246674 140734140897008 140734140878912 5723580 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5788/statm: 341649 242157 925 2943 0 338543 0
[pid=5788/tid=5789] ppid=5785 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5789/stat : 5789 (toysat) S 5785 5788 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36514138 1399394304 242157 33554432000 4194304 16246674 140734140897008 139731097595120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5788/tid=5790] ppid=5785 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5790/stat : 5790 (toysat) S 5785 5788 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514138 1399394304 242157 33554432000 4194304 16246674 140734140897008 139731087105264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5788/tid=5791] ppid=5785 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5791/stat : 5791 (toysat) S 5785 5788 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514138 1399394304 242157 33554432000 4194304 16246674 140734140897008 139731076631728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1366596

[startup+25.5005 s]
/proc/loadavg: 2.01 2.07 1.97 3/183 5792
/proc/meminfo: memFree=29420756/32872528 swapFree=163656/177964
[pid=5788] ppid=5785 vsize=1366596 CPUtime=25.48 cores=1,3,5,7
/proc/5788/stat : 5788 (toysat) R 5785 5788 4845 0 -1 4202496 241860 0 0 0 2510 38 0 0 20 0 4 0 36514138 1399394304 242161 33554432000 4194304 16246674 140734140897008 140734140896184 5675761 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5788/statm: 341649 242161 929 2943 0 338543 0
[pid=5788/tid=5789] ppid=5785 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5789/stat : 5789 (toysat) S 5785 5788 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36514138 1399394304 242161 33554432000 4194304 16246674 140734140897008 139731097595120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5788/tid=5790] ppid=5785 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5790/stat : 5790 (toysat) S 5785 5788 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514138 1399394304 242161 33554432000 4194304 16246674 140734140897008 139731087105264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5788/tid=5791] ppid=5785 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5791/stat : 5791 (toysat) S 5785 5788 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514138 1399394304 242161 33554432000 4194304 16246674 140734140897008 139731076631728 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) 1366596

[startup+51.1005 s]
/proc/loadavg: 2.07 2.08 1.97 3/183 5792
/proc/meminfo: memFree=29419688/32872528 swapFree=163656/177964
[pid=5788] ppid=5785 vsize=1366596 CPUtime=51.08 cores=1,3,5,7
/proc/5788/stat : 5788 (toysat) R 5785 5788 4845 0 -1 4202496 241860 0 0 0 5067 41 0 0 20 0 4 0 36514138 1399394304 242161 33554432000 4194304 16246674 140734140897008 140734140896184 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5788/statm: 341649 242161 929 2943 0 338543 0
[pid=5788/tid=5789] ppid=5785 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5789/stat : 5789 (toysat) S 5785 5788 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36514138 1399394304 242161 33554432000 4194304 16246674 140734140897008 139731097595120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5788/tid=5790] ppid=5785 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5790/stat : 5790 (toysat) S 5785 5788 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514138 1399394304 242161 33554432000 4194304 16246674 140734140897008 139731087105264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5788/tid=5791] ppid=5785 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5791/stat : 5791 (toysat) S 5785 5788 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514138 1399394304 242161 33554432000 4194304 16246674 140734140897008 139731076631728 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) 1366596

[startup+102.3 s]
/proc/loadavg: 1.95 2.04 1.97 3/183 5891
/proc/meminfo: memFree=30167208/32872528 swapFree=163656/177964
[pid=5788] ppid=5785 vsize=1366596 CPUtime=102.28 cores=1,3,5,7
/proc/5788/stat : 5788 (toysat) R 5785 5788 4845 0 -1 4202496 241861 0 0 0 10182 46 0 0 20 0 4 0 36514138 1399394304 248054 33554432000 4194304 16246674 140734140897008 140734140878912 12477798 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5788/statm: 341649 248054 930 2943 0 338543 0
[pid=5788/tid=5789] ppid=5785 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5789/stat : 5789 (toysat) S 5785 5788 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36514138 1399394304 248054 33554432000 4194304 16246674 140734140897008 139731097595120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5788/tid=5790] ppid=5785 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5790/stat : 5790 (toysat) S 5785 5788 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514138 1399394304 248054 33554432000 4194304 16246674 140734140897008 139731087105264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5788/tid=5791] ppid=5785 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5791/stat : 5791 (toysat) S 5785 5788 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514138 1399394304 248054 33554432000 4194304 16246674 140734140897008 139731076631728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1366596


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

/proc/5788/task/5791/stat : 5791 (toysat) S 5785 5788 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514138 2826506240 631309 33554432000 4194304 16246674 140734140897008 139731076631728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 2760260

[startup+1362.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/184 6289
/proc/meminfo: memFree=26464612/32872528 swapFree=163656/177964
[pid=5788] ppid=5785 vsize=2852420 CPUtime=1361.93 cores=1,3,5,7
/proc/5788/stat : 5788 (toysat) R 5785 5788 4845 0 -1 4202496 616031 0 0 0 135746 447 0 0 20 0 4 0 36514138 2920878080 654178 33554432000 4194304 16246674 140734140897008 140734140896104 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5788/statm: 713105 654178 931 2943 0 709999 0
[pid=5788/tid=5789] ppid=5785 vsize=2852420 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5789/stat : 5789 (toysat) S 5785 5788 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36514138 2920878080 654178 33554432000 4194304 16246674 140734140897008 139731097595120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5788/tid=5790] ppid=5785 vsize=2852420 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5790/stat : 5790 (toysat) S 5785 5788 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514138 2920878080 654178 33554432000 4194304 16246674 140734140897008 139731087105264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5788/tid=5791] ppid=5785 vsize=2852420 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5791/stat : 5791 (toysat) S 5785 5788 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514138 2920878080 654178 33554432000 4194304 16246674 140734140897008 139731076631728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 2852420

[startup+1422.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/183 6290
/proc/meminfo: memFree=25556280/32872528 swapFree=163656/177964
[pid=5788] ppid=5785 vsize=2945604 CPUtime=1421.93 cores=1,3,5,7
/proc/5788/stat : 5788 (toysat) R 5785 5788 4845 0 -1 4202496 639341 0 0 0 141714 479 0 0 20 0 4 0 36514138 3016298496 677480 33554432000 4194304 16246674 140734140897008 140734140896184 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5788/statm: 736401 677480 931 2943 0 733295 0
[pid=5788/tid=5789] ppid=5785 vsize=2945604 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5789/stat : 5789 (toysat) S 5785 5788 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36514138 3016298496 677480 33554432000 4194304 16246674 140734140897008 139731097595120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5788/tid=5790] ppid=5785 vsize=2945604 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5790/stat : 5790 (toysat) S 5785 5788 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514138 3016298496 677480 33554432000 4194304 16246674 140734140897008 139731087105264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5788/tid=5791] ppid=5785 vsize=2945604 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5791/stat : 5791 (toysat) S 5785 5788 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514138 3016298496 677480 33554432000 4194304 16246674 140734140897008 139731076631728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 2945604

[startup+1482.3 s]
/proc/loadavg: 2.02 2.06 2.00 3/183 6291
/proc/meminfo: memFree=25496044/32872528 swapFree=163656/177964
[pid=5788] ppid=5785 vsize=3006020 CPUtime=1481.91 cores=1,3,5,7
/proc/5788/stat : 5788 (toysat) R 5785 5788 4845 0 -1 4202496 654411 0 0 0 147672 519 0 0 20 0 4 0 36514138 3078164480 692545 33554432000 4194304 16246674 140734140897008 140734140896104 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5788/statm: 751505 692545 931 2943 0 748399 0
[pid=5788/tid=5789] ppid=5785 vsize=3006020 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5789/stat : 5789 (toysat) S 5785 5788 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36514138 3078164480 692545 33554432000 4194304 16246674 140734140897008 139731097595120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5788/tid=5790] ppid=5785 vsize=3006020 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5790/stat : 5790 (toysat) S 5785 5788 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514138 3078164480 692545 33554432000 4194304 16246674 140734140897008 139731087105264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5788/tid=5791] ppid=5785 vsize=3006020 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5791/stat : 5791 (toysat) S 5785 5788 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514138 3078164480 692545 33554432000 4194304 16246674 140734140897008 139731076631728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 3006020

[startup+1542.31 s]
/proc/loadavg: 2.08 2.07 2.01 3/183 6292
/proc/meminfo: memFree=24470432/32872528 swapFree=163656/177964
[pid=5788] ppid=5785 vsize=3027524 CPUtime=1541.9 cores=1,3,5,7
/proc/5788/stat : 5788 (toysat) R 5785 5788 4845 0 -1 4202496 659840 0 0 0 153633 557 0 0 20 0 4 0 36514138 3100184576 697971 33554432000 4194304 16246674 140734140897008 140734140896184 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5788/statm: 756881 697971 931 2943 0 753775 0
[pid=5788/tid=5789] ppid=5785 vsize=3027524 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5789/stat : 5789 (toysat) S 5785 5788 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36514138 3100184576 697971 33554432000 4194304 16246674 140734140897008 139731097595120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5788/tid=5790] ppid=5785 vsize=3027524 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5790/stat : 5790 (toysat) S 5785 5788 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514138 3100184576 697971 33554432000 4194304 16246674 140734140897008 139731087105264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5788/tid=5791] ppid=5785 vsize=3027524 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5791/stat : 5791 (toysat) S 5785 5788 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514138 3100184576 697971 33554432000 4194304 16246674 140734140897008 139731076631728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 3027524

[startup+1602.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/183 6293
/proc/meminfo: memFree=24434988/32872528 swapFree=163656/177964
[pid=5788] ppid=5785 vsize=3063364 CPUtime=1601.89 cores=1,3,5,7
/proc/5788/stat : 5788 (toysat) R 5785 5788 4845 0 -1 4202496 668748 0 0 0 159598 591 0 0 20 0 4 0 36514138 3136884736 706878 33554432000 4194304 16246674 140734140897008 140734140896104 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5788/statm: 765841 706878 931 2943 0 762735 0
[pid=5788/tid=5789] ppid=5785 vsize=3063364 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5789/stat : 5789 (toysat) S 5785 5788 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36514138 3136884736 706878 33554432000 4194304 16246674 140734140897008 139731097595120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5788/tid=5790] ppid=5785 vsize=3063364 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5790/stat : 5790 (toysat) S 5785 5788 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514138 3136884736 706878 33554432000 4194304 16246674 140734140897008 139731087105264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5788/tid=5791] ppid=5785 vsize=3063364 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5791/stat : 5791 (toysat) S 5785 5788 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514138 3136884736 706878 33554432000 4194304 16246674 140734140897008 139731076631728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 3063364

[startup+1662.3 s]
/proc/loadavg: 2.04 2.06 2.00 3/183 6295
/proc/meminfo: memFree=24385656/32872528 swapFree=163656/177964
[pid=5788] ppid=5785 vsize=3112516 CPUtime=1661.88 cores=1,3,5,7
/proc/5788/stat : 5788 (toysat) R 5785 5788 4845 0 -1 4202496 681036 0 0 0 165560 628 0 0 20 0 4 0 36514138 3187216384 719156 33554432000 4194304 16246674 140734140897008 140734140896184 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5788/statm: 778129 719156 931 2943 0 775023 0
[pid=5788/tid=5789] ppid=5785 vsize=3112516 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5789/stat : 5789 (toysat) S 5785 5788 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36514138 3187216384 719156 33554432000 4194304 16246674 140734140897008 139731097595120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5788/tid=5790] ppid=5785 vsize=3112516 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5790/stat : 5790 (toysat) S 5785 5788 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514138 3187216384 719156 33554432000 4194304 16246674 140734140897008 139731087105264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5788/tid=5791] ppid=5785 vsize=3112516 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5791/stat : 5791 (toysat) S 5785 5788 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514138 3187216384 719156 33554432000 4194304 16246674 140734140897008 139731076631728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 3112516

[startup+1722.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/183 6296
/proc/meminfo: memFree=23087664/32872528 swapFree=163656/177964
[pid=5788] ppid=5785 vsize=3179076 CPUtime=1721.87 cores=1,3,5,7
/proc/5788/stat : 5788 (toysat) R 5785 5788 4845 0 -1 4202496 697705 0 0 0 171519 668 0 0 20 0 4 0 36514138 3255373824 735821 33554432000 4194304 16246674 140734140897008 140734140896104 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5788/statm: 794769 735821 931 2943 0 791663 0
[pid=5788/tid=5789] ppid=5785 vsize=3179076 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5789/stat : 5789 (toysat) S 5785 5788 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36514138 3255373824 735821 33554432000 4194304 16246674 140734140897008 139731097595120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5788/tid=5790] ppid=5785 vsize=3179076 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5790/stat : 5790 (toysat) S 5785 5788 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514138 3255373824 735821 33554432000 4194304 16246674 140734140897008 139731087105264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5788/tid=5791] ppid=5785 vsize=3179076 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5791/stat : 5791 (toysat) S 5785 5788 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514138 3255373824 735821 33554432000 4194304 16246674 140734140897008 139731076631728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 3179076

[startup+1782.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/183 6297
/proc/meminfo: memFree=23023456/32872528 swapFree=163656/177964
[pid=5788] ppid=5785 vsize=3233348 CPUtime=1781.85 cores=1,3,5,7
/proc/5788/stat : 5788 (toysat) R 5785 5788 4845 0 -1 4202496 711396 0 0 0 177475 710 0 0 20 0 4 0 36514138 3310948352 749498 33554432000 4194304 16246674 140734140897008 140734140896184 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5788/statm: 808337 749498 931 2943 0 805231 0
[pid=5788/tid=5789] ppid=5785 vsize=3233348 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5789/stat : 5789 (toysat) S 5785 5788 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36514138 3310948352 749498 33554432000 4194304 16246674 140734140897008 139731097595120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5788/tid=5790] ppid=5785 vsize=3233348 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5790/stat : 5790 (toysat) S 5785 5788 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514138 3310948352 749498 33554432000 4194304 16246674 140734140897008 139731087105264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5788/tid=5791] ppid=5785 vsize=3233348 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5791/stat : 5791 (toysat) S 5785 5788 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514138 3310948352 749498 33554432000 4194304 16246674 140734140897008 139731076631728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 3233348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.10 2.07 2.01 3/183 6298
/proc/meminfo: memFree=23012512/32872528 swapFree=163656/177964
[pid=5788] ppid=5785 vsize=3244612 CPUtime=1800.04 cores=1,3,5,7
/proc/5788/stat : 5788 (toysat) R 5785 5788 4845 0 -1 4202496 714097 0 0 0 179281 723 0 0 20 0 4 0 36514138 3322482688 752198 33554432000 4194304 16246674 140734140897008 140734140896184 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5788/statm: 811153 752198 931 2943 0 808047 0
[pid=5788/tid=5789] ppid=5785 vsize=3244612 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5789/stat : 5789 (toysat) S 5785 5788 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36514138 3322482688 752198 33554432000 4194304 16246674 140734140897008 139731097595120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5788/tid=5790] ppid=5785 vsize=3244612 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5790/stat : 5790 (toysat) S 5785 5788 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514138 3322482688 752198 33554432000 4194304 16246674 140734140897008 139731087105264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5788/tid=5791] ppid=5785 vsize=3244612 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5791/stat : 5791 (toysat) S 5785 5788 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514138 3322482688 752198 33554432000 4194304 16246674 140734140897008 139731076631728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3244612

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

[startup+1800.5 s]
/proc/loadavg: 2.10 2.07 2.01 3/183 6298
/proc/meminfo: memFree=23012512/32872528 swapFree=163656/177964
[pid=5788] ppid=5785 vsize=3244612 CPUtime=1800.04 cores=1,3,5,7
/proc/5788/stat : 5788 (toysat) R 5785 5788 4845 0 -1 4202496 714097 0 0 0 179281 723 0 0 20 0 4 0 36514138 3322482688 752198 33554432000 4194304 16246674 140734140897008 140734140896184 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5788/statm: 811153 752198 931 2943 0 808047 0
[pid=5788/tid=5789] ppid=5785 vsize=3244612 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5789/stat : 5789 (toysat) S 5785 5788 4845 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36514138 3322482688 752198 33554432000 4194304 16246674 140734140897008 139731097595120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=5788/tid=5790] ppid=5785 vsize=3244612 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5790/stat : 5790 (toysat) S 5785 5788 4845 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514138 3322482688 752198 33554432000 4194304 16246674 140734140897008 139731087105264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=5788/tid=5791] ppid=5785 vsize=3244612 CPUtime=0 cores=1,3,5,7
/proc/5788/task/5791/stat : 5791 (toysat) S 5785 5788 4845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514138 3322482688 752198 33554432000 4194304 16246674 140734140897008 139731076631728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3244612

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.07
CPU user time (s): 1792.82
CPU system time (s): 7.2499
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 3244612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.82
system time used= 7.2499
maximum resident set size= 3008792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 714097
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= 372
involuntary context switches= 2197

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74297 second user time and 9.67353 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-19 15:57:22
IDJOB=4110094
IDBENCH=79046
IDSOLVER=2553
FILE ID=node105/4110094-1466344642
RUNJOBID= node105-1466341824-4862
PBS_JOBID= 19922043
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110094-1466344642/watcher-4110094-1466344642 -o /tmp/evaluation-result-4110094-1466344642/solver-4110094-1466344642 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466341824-4862 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110094-1466344642.wbo

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

MD5SUM BENCH= 7efdf9913882433684cdc1d0f3b36335
RANDOM SEED=1988835446

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30388116 kB
Buffers:          128156 kB
Cached:           348832 kB
SwapCached:         1696 kB
Active:          1238068 kB
Inactive:         325948 kB
Active(anon):    1086156 kB
Inactive(anon):     3096 kB
Active(file):     151912 kB
Inactive(file):   322852 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67099304 kB
Dirty:             18264 kB
Writeback:             0 kB
AnonPages:       1268364 kB
Mapped:            10952 kB
Shmem:                 0 kB
Slab:             610016 kB
SReclaimable:      53232 kB
SUnreclaim:       556784 kB
KernelStack:        1520 kB
PageTables:         6556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1405468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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= 71712 MiB
End job on node105 at 2016-06-19 16:27:23