Trace number 4093409

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.03 1800.51

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-66-100-0.wbo
MD5SUM93dc403e7aa7832c1308ab9b3db02163
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1800.09
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3660
Total number of constraints121
Number of soft constraints39
Number of constraints which are clauses61
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint61
Top cost 2003
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 2002
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
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-16T15:37:41+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-4093409-1466084261.wbo"]
0.00/0.01	c use --random-gen="1890976342 3797423125 90986595 1567582237 1939570048 1044816928 4008134279 2534927198 3965285182 179099976 2148356460 4035142720 2623452202 2137577176 592299585 1535241115 1891948984 2115489823 1029638442 2219111020 4241983632 1866592110 930600033 407907026 2323269186 3229664811 2697441978 1081072224 1900423712 4148341955 874987471 2789635050 1081585217 2328716772 1901147772 2556763732 1648721912 2717813459 249627846 247171810 2359573627 4107382924 1475919438 463842953 1861083049 2008223279 4162935156 1329159333 3671486230 1317675211 3225389471 220788565 1597817435 662219815 2805486810 1863946544 1719293634 3745842803 1582689679 568437314 1474839740 4118012040 2260637238 2432065500 380358395 1826406965 555378648 2745172055 3634250816 16460226 1752386336 4228070363 3105047855 3628443035 3574870858 1632864596 3988669914 1575757727 620694975 3231121275 3791883876 167688514 3033913271 3075292430 1616749957 4156723706 4052867410 1635294161 67284826 953791452 965978291 467070108 896756364 3306423528 3588118746 1877497620 2874595941 3494572364 3346901308 3372460914 2080991781 86650046 197170308 1421216681 556269609 3489318124 2334763853 3926223222 1025497662 683432029 3760001492 3640796424 1848971349 1356236776 1618307190 2117888926 764304656 3170467714 4080567787 3379478154 4031840411 608732059 798707990 3470878687 2520388928 2157525580 3123731694 1105087083 2184191605 3535292599 1614715607 1391763726 1919395453 4137500224 128820946 3893547287 1175694073 891432199 2519754742 173677742 790447992 802624733 3108554984 955008141 3679276163 1857347648 320848993 4040059878 1571244858 4237199780 3121689536 1744251816 1121810985 3995206261 167626277 1065412700 809257104 817970952 261278693 1567583522 1096316955 2904634405 2367154219 3296298952 3345919453 2307429947 1219304066 2182326918 3453906699 1283072470 2648143053 2167667955 4176041998 1594673232 4151169066 4152132593 2517316391 1967200724 3010526241 2382628964 1230007872 2748936004 2768989454 1455295384 1642616144 1761691551 2523777769 440511015 3955446163 1942001331 1185921635 3395713307 1041729479 2133590901 814352023 2106376899 2018811238 230738148 1849870012 4091689241 3787142139 478314988 521906079 3016866300 2365849848 1362541073 2181106696 1655140208 4036617197 1519605223 1454860857 1471128450 1015624693 2674620060 1199872042 2996579711 4211308041 3424082758 3733905398 3608095804 338934148 1179339311 3185743137 3961792228 2463801297 20470451 2457946143 1835594401 380749863 3803979858 55330192 1729889630 4292633024 1651639602 506755020 843564312 4259206104 1400269706 1206417850 2482646031 3158190657 3787458510 1234099217 47610881 1682654594 1603958016 3145317584 3407214655 3961458550 2292955519 1850082844 1077191187 241418643 712325671 3702084606 196694689 255 362436" option to reproduce the execution
0.09/0.18	c #vars 3660
0.09/0.18	c #constraints 121
0.09/0.19	c BCD2: Hardening is enabled.
0.09/0.19	c BCD2: BiasedSearch is enabled.
0.09/0.19	c Solving starts ...
0.09/0.19	c ============================[ Search Statistics ]============================
0.09/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.19	c =============================================================================
0.09/0.19	c  0.0s |       0 |        0 |        0 |     1273      0 |        0 |        0
0.19/0.26	c  0.1s |       1 |      216 |      100 |     1273      0 |        0 |        0
0.19/0.27	c  0.1s |       1 |     2479 |      101 |     1401      0 |        0 |        0
0.19/0.27	c #cpu_time = 0.074s
0.19/0.27	c #wall_clock_time = 0.074s
0.19/0.27	c #decision = 2479
0.19/0.27	c #random_decision = 12
0.19/0.27	c #conflict = 101
0.19/0.27	c #restart = 1
0.19/0.27	o 1248
0.19/0.27	c BCD2: updating upper bound: 2002 -> 1247
0.19/0.27	c BCD2: 0 <= obj <= 1247
0.19/0.27	c BCD2: #cores=0, #unrelaxed=39, #relaxed=0, #hardened=0
0.19/0.27	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |     1401      0 |        0 |        0
0.39/0.44	c  0.2s |       1 |     1509 |      100 |     1401      0 |        0 |        0
0.59/0.68	c  0.4s |       2 |     3528 |      250 |     1542      0 |        0 |        0
0.99/1.07	c  0.8s |       3 |     5627 |      475 |     1697      0 |        0 |        0
1.49/1.55	c  1.3s |       4 |     8136 |      813 |     1867      0 |        0 |        0
2.30/2.32	c  2.1s |       5 |    10584 |     1320 |     2054      0 |        0 |        0
3.19/3.30	c  3.0s |       6 |    13298 |     2081 |     2260      0 |        0 |        0
4.99/5.06	c  4.8s |       7 |    16505 |     3223 |     2486      0 |        0 |        0
7.09/7.10	c  6.8s |       7 |    19485 |     4223 |     2486      1 |        0 |        0
8.68/8.72	c  8.4s |       8 |    20302 |     4936 |     2735      1 |        0 |        0
10.68/10.77	c 10.5s |       8 |    23975 |     6336 |     2735      2 |        0 |        0
12.78/12.83	c 12.6s |       9 |    25322 |     7506 |     3009      2 |        0 |        0
14.88/14.96	c 14.7s |       9 |    28930 |     8906 |     3009      3 |        0 |        0
16.98/17.07	c 16.8s |       9 |    30204 |     9906 |     3009      3 |        0 |        0
19.09/19.14	c 18.9s |       9 |    31149 |    10706 |     3009      3 |        0 |        0
20.89/20.92	c 20.6s |      10 |    31991 |    11361 |     3310      3 |        0 |        0
22.99/23.10	c 22.8s |      10 |    35303 |    12661 |     3310      4 |        0 |        0
25.09/25.13	c 24.9s |      10 |    36482 |    13761 |     3310      4 |        0 |        0
27.19/27.28	c 27.0s |      10 |    37731 |    14861 |     3310      4 |        0 |        0
29.19/29.28	c 29.0s |      10 |    38612 |    15661 |     3310      5 |        0 |        0
31.29/31.37	c 31.1s |      10 |    39606 |    16561 |     3310      5 |        0 |        0
32.69/32.77	c 32.5s |      11 |    40240 |    17144 |     3642      5 |        0 |        0
34.89/34.93	c 34.7s |      11 |    43622 |    18144 |     3642      6 |        0 |        0
37.09/37.19	c 36.9s |      11 |    44526 |    18944 |     3642      6 |        0 |        0
39.18/39.20	c 38.9s |      11 |    45338 |    19644 |     3642      6 |        0 |        0
41.18/41.26	c 41.0s |      11 |    46483 |    20644 |     3642      6 |        0 |        0
43.28/43.30	c 43.0s |      11 |    47364 |    21444 |     3642      6 |        0 |        0
45.28/45.34	c 45.1s |      11 |    48032 |    22044 |     3642      7 |        0 |        0
47.38/47.41	c 47.1s |      11 |    48685 |    22644 |     3642      7 |        0 |        0
49.48/49.53	c 49.3s |      11 |    49346 |    23244 |     3642      7 |        0 |        0
51.69/51.72	c 51.4s |      11 |    50034 |    23844 |     3642      7 |        0 |        0
53.99/54.04	c 53.8s |      11 |    50693 |    24444 |     3642      7 |        0 |        0
56.19/56.27	c 56.0s |      11 |    51392 |    25044 |     3642      7 |        0 |        0
58.38/58.41	c 58.1s |      11 |    51967 |    25544 |     3642      8 |        0 |        0
59.28/59.39	c 59.1s |      12 |    52271 |    25819 |     4007      8 |        0 |        0
61.48/61.55	c 61.3s |      12 |    54184 |    26919 |     4007      9 |        0 |        0
63.58/63.62	c 63.3s |      12 |    55551 |    28119 |     4007      9 |        0 |        0
65.68/65.78	c 65.5s |      12 |    58190 |    29319 |     4007      9 |        0 |        0
67.78/67.89	c 67.6s |      12 |    59460 |    30419 |     4007      9 |        0 |        0
70.28/70.34	c 70.1s |      12 |    60579 |    31419 |     4007     10 |        0 |        0
72.48/72.51	c 72.2s |      12 |    61758 |    32419 |     4007     10 |        0 |        0
74.68/74.73	c 74.5s |      12 |    62765 |    33319 |     4007     10 |        0 |        0
76.78/76.84	c 76.6s |      12 |    63686 |    34119 |     4007     10 |        0 |        0
78.87/78.96	c 78.7s |      12 |    64582 |    34919 |     4007     10 |        0 |        0
80.97/81.09	c 80.8s |      12 |    65347 |    35619 |     4007     11 |        0 |        0
83.07/83.13	c 82.9s |      12 |    66260 |    36419 |     4007     11 |        0 |        0
85.27/85.39	c 85.1s |      12 |    67146 |    37219 |     4007     11 |        0 |        0
87.38/87.44	c 87.2s |      12 |    67936 |    37919 |     4007     11 |        0 |        0
89.48/89.54	c 89.3s |      12 |    68734 |    38619 |     4408     11 |        0 |        0
90.08/90.14	c 89.9s |      13 |    68975 |    38832 |     4408     11 |        0 |        0
92.07/92.19	c 91.9s |      13 |    71905 |    39732 |     4408     12 |        0 |        0
94.17/94.27	c 94.0s |      13 |    73121 |    40832 |     4408     12 |        0 |        0
96.27/96.34	c 96.1s |      13 |    74135 |    41732 |     4408     12 |        0 |        0
98.27/98.37	c 98.1s |      13 |    75059 |    42532 |     4408     12 |        0 |        0
100.37/100.48	c  100s |      13 |    75838 |    43232 |     4408     13 |        0 |        0
102.47/102.50	c  102s |      13 |    76631 |    43932 |     4408     13 |        0 |        0
104.48/104.54	c  104s |      13 |    77421 |    44632 |     4408     13 |        0 |        0
106.47/106.58	c  106s |      13 |    78360 |    45432 |     4408     13 |        0 |        0
108.67/108.70	c  108s |      13 |    79145 |    46132 |     4408     13 |        0 |        0
110.67/110.78	c  110s |      13 |    79931 |    46832 |     4408     13 |        0 |        0
112.87/112.99	c  112s |      13 |    80719 |    47532 |     4408     14 |        0 |        0
114.96/115.06	c  114s |      13 |    81510 |    48232 |     4408     14 |        0 |        0
117.06/117.17	c  116s |      13 |    82305 |    48932 |     4408     14 |        0 |        0
119.37/119.43	c  119s |      13 |    83091 |    49632 |     4408     14 |        0 |        0
121.37/121.46	c  121s |      13 |    83767 |    50232 |     4408     14 |        0 |        0
123.67/123.73	c  123s |      13 |    84452 |    50832 |     4408     14 |        0 |        0
125.87/125.94	c  125s |      13 |    85122 |    51432 |     4408     15 |        0 |        0
127.96/128.00	c  127s |      13 |    85805 |    52032 |     4408     15 |        0 |        0
130.06/130.17	c  129s |      13 |    86575 |    52732 |     4408     15 |        0 |        0
132.46/132.51	c  132s |      13 |    87358 |    53432 |     4408     15 |        0 |        0
134.76/134.85	c  134s |      13 |    88152 |    54132 |     4408     15 |        0 |        0
136.86/136.97	c  136s |      13 |    88840 |    54732 |     4408     15 |        0 |        0
139.16/139.21	c  138s |      13 |    89622 |    55432 |     4408     16 |        0 |        0
141.17/141.23	c  140s |      13 |    90432 |    56132 |     4408     16 |        0 |        0
143.27/143.36	c  143s |      13 |    91209 |    56832 |     4408     16 |        0 |        0
145.56/145.61	c  145s |      13 |    92019 |    57532 |     4408     16 |        0 |        0
147.66/147.76	c  147s |      13 |    92775 |    58232 |     4849     16 |        0 |        0
148.06/148.12	c  147s |      14 |    92920 |    58352 |     4849     16 |        0 |        0
150.06/150.13	c  149s |      14 |    95477 |    59252 |     4849     17 |        0 |        0
152.16/152.21	c  151s |      14 |    96845 |    60452 |     4849     17 |        0 |        0
154.36/154.44	c  154s |      14 |    98119 |    61552 |     4849     17 |        0 |        0
156.46/156.55	c  156s |      14 |    99120 |    62452 |     4849     17 |        0 |        0
158.66/158.72	c  158s |      14 |   100001 |    63252 |     4849     18 |        0 |        0
160.75/160.85	c  160s |      14 |   100987 |    64152 |     4849     18 |        0 |        0
162.86/162.98	c  162s |      14 |   101891 |    64952 |     4849     18 |        0 |        0
165.06/165.19	c  164s |      14 |   102833 |    65752 |     4849     18 |        0 |        0
167.27/167.35	c  167s |      14 |   103756 |    66552 |     4849     18 |        0 |        0
169.56/169.62	c  169s |      14 |   104539 |    67252 |     4849     19 |        0 |        0
171.56/171.65	c  171s |      14 |   105429 |    68052 |     4849     19 |        0 |        0
173.76/173.90	c  173s |      14 |   106322 |    68852 |     4849     19 |        0 |        0
175.85/175.99	c  175s |      14 |   107113 |    69552 |     4849     19 |        0 |        0
177.95/178.07	c  177s |      14 |   107924 |    70252 |     4849     19 |        0 |        0
180.25/180.33	c  180s |      14 |   108698 |    70952 |     4849     19 |        0 |        0
182.45/182.52	c  182s |      14 |   109361 |    71552 |     4849     20 |        0 |        0
184.55/184.66	c  184s |      14 |   110281 |    72352 |     4849     20 |        0 |        0
186.65/186.74	c  186s |      14 |   111078 |    73052 |     4849     20 |        0 |        0
188.85/188.99	c  188s |      14 |   112004 |    73852 |     4849     20 |        0 |        0
191.15/191.26	c  190s |      14 |   112777 |    74552 |     4849     20 |        0 |        0
193.25/193.38	c  193s |      14 |   113554 |    75252 |     4849     20 |        0 |        0
195.45/195.51	c  195s |      14 |   114223 |    75852 |     4849     21 |        0 |        0
197.45/197.55	c  197s |      14 |   114989 |    76552 |     4849     21 |        0 |        0
199.74/199.83	c  199s |      14 |   115894 |    77352 |     4849     21 |        0 |        0
202.04/202.12	c  201s |      14 |   116648 |    78052 |     4849     21 |        0 |        0
204.24/204.39	c  204s |      14 |   117545 |    78852 |     4849     21 |        0 |        0
206.55/206.70	c  206s |      14 |   118314 |    79552 |     4849     21 |        0 |        0
208.84/208.96	c  208s |      14 |   118993 |    80152 |     4849     22 |        0 |        0
210.84/210.99	c  210s |      14 |   120109 |    81152 |     4849     22 |        0 |        0
213.14/213.20	c  212s |      14 |   121122 |    82052 |     4849     22 |        0 |        0
215.14/215.25	c  214s |      14 |   122026 |    82852 |     4849     22 |        0 |        0
217.34/217.49	c  217s |      14 |   122930 |    83652 |     4849     22 |        0 |        0
219.44/219.57	c  219s |      14 |   123695 |    84352 |     4849     23 |        0 |        0
221.54/221.67	c  221s |      14 |   124564 |    85152 |     4849     23 |        0 |        0
223.64/223.77	c  223s |      14 |   125449 |    85952 |     4849     23 |        0 |        0
225.84/225.99	c  225s |      14 |   126306 |    86752 |     4849     23 |        0 |        0
228.14/228.25	c  227s |      14 |   127053 |    87452 |     5334     23 |        0 |        0
228.64/228.71	c  228s |      15 |   127260 |    87632 |     5334     23 |        0 |        0
230.74/230.80	c  230s |      15 |   129889 |    88732 |     5334     24 |        0 |        0
232.73/232.84	c  232s |      15 |   131101 |    89732 |     5334     24 |        0 |        0
234.93/235.01	c  234s |      15 |   132238 |    90732 |     5334     24 |        0 |        0
237.04/237.19	c  236s |      15 |   133465 |    91732 |     5334     24 |        0 |        0
239.14/239.26	c  238s |      15 |   134376 |    92532 |     5334     25 |        0 |        0
241.34/241.41	c  241s |      15 |   135251 |    93332 |     5334     25 |        0 |        0
243.54/243.67	c  243s |      15 |   136236 |    94132 |     5334     25 |        0 |        0
245.74/245.88	c  245s |      15 |   137136 |    94932 |     5334     25 |        0 |        0
248.03/248.12	c  247s |      15 |   138104 |    95732 |     5334     25 |        0 |        0
250.13/250.27	c  249s |      15 |   138913 |    96432 |     5334     25 |        0 |        0
252.23/252.34	c  252s |      15 |   139460 |    96932 |     5334     26 |        0 |        0
254.34/254.44	c  254s |      15 |   140237 |    97632 |     5334     26 |        0 |        0
256.35/256.48	c  256s |      15 |   140914 |    98232 |     5334     26 |        0 |        0
258.64/258.72	c  258s |      15 |   141995 |    99032 |     5334     26 |        0 |        0
260.83/260.91	c  260s |      15 |   142942 |    99732 |     5334     26 |        0 |        0
262.94/263.01	c  262s |      15 |   143622 |   100332 |     5334     26 |        0 |        0
265.44/265.57	c  265s |      15 |   144545 |   101132 |     5334     27 |        0 |        0
267.84/267.91	c  267s |      15 |   145435 |   101932 |     5334     27 |        0 |        0
269.83/269.93	c  269s |      15 |   146336 |   102732 |     5334     27 |        0 |        0
271.83/271.97	c  271s |      15 |   147154 |   103432 |     5334     27 |        0 |        0
273.93/274.02	c  273s |      15 |   148005 |   104132 |     5334     27 |        0 |        0
275.93/276.07	c  275s |      15 |   148798 |   104832 |     5334     27 |        0 |        0
278.53/278.61	c  278s |      15 |   149612 |   105532 |     5334     28 |        0 |        0
280.73/280.84	c  280s |      15 |   150511 |   106332 |     5334     28 |        0 |        0
282.73/282.89	c  282s |      15 |   151284 |   107032 |     5334     28 |        0 |        0
285.02/285.18	c  284s |      15 |   152280 |   107832 |     5334     28 |        0 |        0
287.13/287.22	c  286s |      15 |   152952 |   108432 |     5334     28 |        0 |        0
289.12/289.29	c  289s |      15 |   153636 |   109032 |     5334     28 |        0 |        0
291.53/291.62	c  291s |      15 |   154275 |   109632 |     5334     28 |        0 |        0
293.52/293.64	c  293s |      15 |   154812 |   110132 |     5334     29 |        0 |        0
295.52/295.67	c  295s |      15 |   155495 |   110732 |     5334     29 |        0 |        0
297.62/297.78	c  297s |      15 |   156420 |   111532 |     5334     29 |        0 |        0
300.02/300.11	c  299s |      15 |   157339 |   112332 |     5334     29 |        0 |        0
302.22/302.37	c  302s |      15 |   158274 |   113132 |     5334     29 |        0 |        0
304.42/304.50	c  304s |      15 |   159045 |   113832 |     5334     29 |        0 |        0
306.42/306.52	c  306s |      15 |   159599 |   114332 |     5334     30 |        0 |        0
308.72/308.81	c  308s |      15 |   160842 |   115132 |     5334     30 |        0 |        0
310.92/311.00	c  310s |      15 |   161606 |   115832 |     5334     30 |        0 |        0
313.01/313.12	c  312s |      15 |   162304 |   116432 |     5334     30 |        0 |        0
315.21/315.32	c  315s |      15 |   163110 |   117132 |     5334     30 |        0 |        0
317.41/317.58	c  317s |      15 |   163764 |   117732 |     5334     30 |        0 |        0
319.61/319.71	c  319s |      15 |   164326 |   118232 |     5334     30 |        0 |        0
322.11/322.21	c  321s |      15 |   164905 |   118732 |     5334     31 |        0 |        0
324.42/324.57	c  324s |      15 |   165570 |   119332 |     5334     31 |        0 |        0
326.62/326.77	c  326s |      15 |   166268 |   119932 |     5334     31 |        0 |        0
328.61/328.79	c  328s |      15 |   166958 |   120532 |     5334     31 |        0 |        0
330.81/330.98	c  330s |      15 |   167626 |   121132 |     5334     31 |        0 |        0
333.11/333.24	c  332s |      15 |   168319 |   121732 |     5334     31 |        0 |        0
335.41/335.54	c  335s |      15 |   168995 |   122332 |     5334     31 |        0 |        0
337.80/337.91	c  337s |      15 |   169645 |   122932 |     5334     31 |        0 |        0
339.91/340.07	c  339s |      15 |   170354 |   123532 |     5334     32 |        0 |        0
342.01/342.17	c  341s |      15 |   171038 |   124132 |     5334     32 |        0 |        0
344.30/344.41	c  344s |      15 |   171709 |   124732 |     5334     32 |        0 |        0
346.41/346.56	c  346s |      15 |   172270 |   125232 |     5334     32 |        0 |        0
348.61/348.72	c  348s |      15 |   172820 |   125732 |     5334     32 |        0 |        0
350.90/351.03	c  350s |      15 |   173510 |   126332 |     5334     32 |        0 |        0
353.00/353.17	c  352s |      15 |   174076 |   126832 |     5334     32 |        0 |        0
355.79/355.90	c  355s |      15 |   174615 |   127332 |     5334     33 |        0 |        0
357.99/358.10	c  357s |      15 |   175179 |   127832 |     5334     33 |        0 |        0
360.20/360.39	c  360s |      15 |   175742 |   128332 |     5334     33 |        0 |        0
362.49/362.68	c  362s |      15 |   176301 |   128832 |     5334     33 |        0 |        0
364.79/364.90	c  364s |      15 |   176855 |   129332 |     5334     33 |        0 |        0
367.19/367.33	c  367s |      15 |   177535 |   129932 |     5334     33 |        0 |        0
369.49/369.69	c  369s |      15 |   178120 |   130432 |     5334     33 |        0 |        0
371.88/372.01	c  371s |      15 |   178682 |   130932 |     5868     33 |        0 |        0
374.08/374.29	c  374s |      15 |   179256 |   131432 |     5868     33 |        0 |        0
374.58/374.74	c  374s |      16 |   179389 |   131552 |     5868     33 |        0 |        0
376.59/376.79	c  376s |      16 |   181565 |   132152 |     5868     34 |        0 |        0
378.78/378.92	c  378s |      16 |   182830 |   133252 |     5868     34 |        0 |        0
380.78/380.93	c  380s |      16 |   183708 |   134052 |     5868     34 |        0 |        0
382.78/382.96	c  382s |      16 |   184567 |   134852 |     5868     34 |        0 |        0
384.88/385.04	c  384s |      16 |   185611 |   135752 |     5868     34 |        0 |        0
386.87/387.04	c  386s |      16 |   186531 |   136552 |     5868     34 |        0 |        0
388.87/389.08	c  388s |      16 |   187192 |   137152 |     5868     35 |        0 |        0
390.97/391.16	c  390s |      16 |   187976 |   137852 |     5868     35 |        0 |        0
393.17/393.36	c  393s |      16 |   188752 |   138552 |     5868     35 |        0 |        0
395.38/395.58	c  395s |      16 |   189513 |   139252 |     5868     35 |        0 |        0
397.67/397.88	c  397s |      16 |   190269 |   139952 |     5868     35 |        0 |        0
399.97/400.17	c  399s |      16 |   190923 |   140552 |     5868     35 |        0 |        0
402.07/402.22	c  401s |      16 |   191585 |   141152 |     5868     35 |        0 |        0
404.07/404.25	c  403s |      16 |   192271 |   141752 |     5868     36 |        0 |        0
406.27/406.44	c  406s |      16 |   193163 |   142552 |     5868     36 |        0 |        0
408.36/408.55	c  408s |      16 |   193950 |   143252 |     5868     36 |        0 |        0
410.56/410.78	c  410s |      16 |   194717 |   143952 |     5868     36 |        0 |        0
412.86/413.08	c  412s |      16 |   195383 |   144552 |     5868     36 |        0 |        0
415.17/415.32	c  415s |      16 |   196036 |   145152 |     5868     36 |        0 |        0
417.27/417.48	c  417s |      16 |   196690 |   145752 |     5868     36 |        0 |        0
419.36/419.53	c  419s |      16 |   197222 |   146252 |     5868     37 |        0 |        0
421.36/421.55	c  421s |      16 |   197762 |   146752 |     5868     37 |        0 |        0
423.66/423.87	c  423s |      16 |   198410 |   147352 |     5868     37 |        0 |        0
425.66/425.89	c  425s |      16 |   199062 |   147952 |     5868     37 |        0 |        0
428.05/428.20	c  427s |      16 |   199701 |   148552 |     5868     37 |        0 |        0
430.35/430.52	c  430s |      16 |   200349 |   149152 |     5868     37 |        0 |        0
432.54/432.73	c  432s |      16 |   201268 |   149952 |     5868     37 |        0 |        0
434.84/435.00	c  434s |      16 |   202037 |   150652 |     5868     38 |        0 |        0
436.95/437.10	c  436s |      16 |   202816 |   151352 |     5868     38 |        0 |        0
438.95/439.11	c  438s |      16 |   203612 |   152052 |     5868     38 |        0 |        0
441.05/441.23	c  440s |      16 |   204372 |   152752 |     5868     38 |        0 |        0
443.34/443.57	c  443s |      16 |   205281 |   153552 |     5868     38 |        0 |        0
445.45/445.64	c  445s |      16 |   205932 |   154152 |     5868     38 |        0 |        0
447.84/448.03	c  447s |      16 |   206592 |   154752 |     5868     38 |        0 |        0
450.13/450.39	c  450s |      16 |   207144 |   155252 |     5868     39 |        0 |        0
452.23/452.46	c  452s |      16 |   207819 |   155852 |     5868     39 |        0 |        0
454.34/454.54	c  454s |      16 |   208486 |   156452 |     5868     39 |        0 |        0
456.63/456.89	c  456s |      16 |   209147 |   157052 |     5868     39 |        0 |        0
458.74/458.91	c  458s |      16 |   209664 |   157552 |     5868     39 |        0 |        0
461.04/461.26	c  460s |      16 |   210300 |   158152 |     5868     39 |        0 |        0
463.14/463.40	c  463s |      16 |   210854 |   158652 |     5868     39 |        0 |        0
465.24/465.48	c  465s |      16 |   211387 |   159152 |     5868     39 |        0 |        0
467.63/467.89	c  467s |      16 |   212034 |   159752 |     5868     39 |        0 |        0
469.92/470.14	c  469s |      16 |   212575 |   160252 |     5868     40 |        0 |        0
472.13/472.37	c  472s |      16 |   213212 |   160852 |     5868     40 |        0 |        0
474.43/474.63	c  474s |      16 |   213861 |   161452 |     5868     40 |        0 |        0
476.43/476.69	c  476s |      16 |   214390 |   161952 |     5868     40 |        0 |        0
478.72/478.93	c  478s |      16 |   215046 |   162552 |     5868     40 |        0 |        0
480.82/481.08	c  480s |      16 |   215695 |   163152 |     5868     40 |        0 |        0
483.12/483.37	c  483s |      16 |   216236 |   163652 |     5868     40 |        0 |        0
485.41/485.64	c  485s |      16 |   216940 |   164252 |     5868     40 |        0 |        0
487.72/487.96	c  487s |      16 |   217521 |   164752 |     5868     41 |        0 |        0
489.92/490.17	c  489s |      16 |   218285 |   165452 |     5868     41 |        0 |        0
492.42/492.62	c  492s |      16 |   218956 |   166052 |     5868     41 |        0 |        0
494.71/494.92	c  494s |      16 |   219633 |   166652 |     5868     41 |        0 |        0
497.02/497.23	c  496s |      16 |   220295 |   167252 |     5868     41 |        0 |        0
499.31/499.51	c  499s |      16 |   220974 |   167852 |     5868     41 |        0 |        0
501.31/501.54	c  501s |      16 |   221528 |   168352 |     5868     41 |        0 |        0
503.62/503.85	c  503s |      16 |   222076 |   168852 |     5868     41 |        0 |        0
505.81/506.07	c  505s |      16 |   222660 |   169352 |     5868     42 |        0 |        0
508.01/508.30	c  508s |      16 |   223456 |   170052 |     5868     42 |        0 |        0
510.21/510.45	c  510s |      16 |   224241 |   170752 |     5868     42 |        0 |        0
512.21/512.49	c  512s |      16 |   224878 |   171352 |     5868     42 |        0 |        0
514.51/514.75	c  514s |      16 |   225534 |   171952 |     5868     42 |        0 |        0
516.61/516.87	c  516s |      16 |   226191 |   172552 |     5868     42 |        0 |        0
518.90/519.13	c  518s |      16 |   226839 |   173152 |     5868     42 |        0 |        0
521.40/521.62	c  521s |      16 |   227491 |   173752 |     5868     43 |        0 |        0
523.41/523.69	c  523s |      16 |   228030 |   174252 |     5868     43 |        0 |        0
525.50/525.79	c  525s |      16 |   228679 |   174852 |     5868     43 |        0 |        0
527.80/528.09	c  527s |      16 |   229314 |   175452 |     5868     43 |        0 |        0
530.20/530.48	c  530s |      16 |   229988 |   176052 |     5868     43 |        0 |        0
532.30/532.53	c  532s |      16 |   230674 |   176652 |     5868     43 |        0 |        0
534.59/534.82	c  534s |      16 |   231324 |   177252 |     5868     43 |        0 |        0
536.70/536.96	c  536s |      16 |   231851 |   177752 |     5868     43 |        0 |        0
538.80/539.01	c  538s |      16 |   232394 |   178252 |     5868     43 |        0 |        0
541.10/541.34	c  541s |      16 |   232941 |   178752 |     5868     44 |        0 |        0
543.39/543.66	c  543s |      16 |   233587 |   179352 |     5868     44 |        0 |        0
545.59/545.82	c  545s |      16 |   234238 |   179952 |     5868     44 |        0 |        0
547.98/548.22	c  547s |      16 |   234891 |   180552 |     5868     44 |        0 |        0
550.08/550.38	c  550s |      16 |   235474 |   181052 |     5868     44 |        0 |        0
552.28/552.53	c  552s |      16 |   236147 |   181652 |     5868     44 |        0 |        0
554.38/554.62	c  554s |      16 |   236691 |   182152 |     5868     44 |        0 |        0
556.39/556.68	c  556s |      16 |   237223 |   182652 |     5868     44 |        0 |        0
558.88/559.10	c  558s |      16 |   237697 |   183052 |     5868     45 |        0 |        0
560.98/561.26	c  560s |      16 |   238357 |   183652 |     5868     45 |        0 |        0
563.18/563.40	c  563s |      16 |   239006 |   184252 |     5868     45 |        0 |        0
565.18/565.44	c  565s |      16 |   239557 |   184752 |     5868     45 |        0 |        0
567.17/567.47	c  567s |      16 |   240095 |   185252 |     5868     45 |        0 |        0
569.47/569.76	c  569s |      16 |   240753 |   185852 |     5868     45 |        0 |        0
571.67/571.94	c  571s |      16 |   241296 |   186352 |     5868     45 |        0 |        0
573.77/574.02	c  573s |      16 |   241821 |   186852 |     5868     45 |        0 |        0
575.97/576.23	c  575s |      16 |   242372 |   187352 |     5868     45 |        0 |        0
578.06/578.34	c  578s |      16 |   242922 |   187852 |     5868     46 |        0 |        0
580.16/580.46	c  580s |      16 |   243721 |   188552 |     5868     46 |        0 |        0
582.36/582.69	c  582s |      16 |   244466 |   189252 |     5868     46 |        0 |        0
584.56/584.89	c  584s |      16 |   245109 |   189852 |     5868     46 |        0 |        0
586.96/587.21	c  586s |      16 |   245757 |   190452 |     5868     46 |        0 |        0
589.06/589.36	c  589s |      16 |   246300 |   190952 |     5868     46 |        0 |        0
591.25/591.58	c  591s |      16 |   246974 |   191552 |     5868     46 |        0 |        0
593.46/593.70	c  593s |      16 |   247642 |   192152 |     5868     46 |        0 |        0
595.46/595.79	c  595s |      16 |   248219 |   192652 |     5868     47 |        0 |        0
597.75/598.06	c  597s |      16 |   249015 |   193352 |     5868     47 |        0 |        0
600.15/600.41	c  600s |      16 |   249594 |   193852 |     5868     47 |        0 |        0
602.45/602.73	c  602s |      16 |   250270 |   194452 |     5868     47 |        0 |        0
604.56/604.89	c  604s |      16 |   250917 |   195052 |     5868     47 |        0 |        0
606.75/607.04	c  606s |      16 |   251459 |   195552 |     5868     47 |        0 |        0
609.05/609.39	c  609s |      16 |   252114 |   196152 |     6455     47 |        0 |        0
611.25/611.53	c  611s |      16 |   252771 |   196752 |     6455     47 |        0 |        0
613.25/613.58	c  613s |      16 |   253435 |   197352 |     6455     47 |        0 |        0
613.95/614.21	c  613s |      17 |   253526 |   197432 |     6455     48 |        0 |        0
615.94/616.29	c  616s |      17 |   255870 |   198532 |     6455     48 |        0 |        0
618.05/618.31	c  618s |      17 |   256953 |   199532 |     6455     48 |        0 |        0
620.25/620.53	c  620s |      17 |   258086 |   200532 |     6455     48 |        0 |        0
622.45/622.72	c  622s |      17 |   258965 |   201332 |     6455     48 |        0 |        0
624.65/624.98	c  624s |      17 |   259937 |   202232 |     6455     48 |        0 |        0
626.95/627.20	c  626s |      17 |   260715 |   202932 |     6455     49 |        0 |        0
628.95/629.28	c  629s |      17 |   261459 |   203632 |     6455     49 |        0 |        0
631.34/631.61	c  631s |      17 |   262209 |   204332 |     6455     49 |        0 |        0
633.35/633.65	c  633s |      17 |   262863 |   204932 |     6455     49 |        0 |        0
635.65/635.90	c  635s |      17 |   263500 |   205532 |     6455     49 |        0 |        0
637.94/638.23	c  637s |      17 |   264165 |   206132 |     6455     49 |        0 |        0
640.13/640.44	c  640s |      17 |   264803 |   206732 |     6455     49 |        0 |        0
642.83/643.12	c  642s |      17 |   265441 |   207332 |     6455     50 |        0 |        0
644.83/645.14	c  644s |      17 |   266206 |   208032 |     6455     50 |        0 |        0
646.84/647.19	c  646s |      17 |   266859 |   208632 |     6455     50 |        0 |        0
649.03/649.30	c  649s |      17 |   267642 |   209332 |     6455     50 |        0 |        0
651.13/651.42	c  651s |      17 |   268427 |   210032 |     6455     50 |        0 |        0
653.23/653.52	c  653s |      17 |   269206 |   210732 |     6455     50 |        0 |        0
655.44/655.71	c  655s |      17 |   269969 |   211432 |     6455     50 |        0 |        0
657.43/657.77	c  657s |      17 |   270630 |   212032 |     6455     50 |        0 |        0
659.73/660.07	c  659s |      17 |   271319 |   212632 |     6455     51 |        0 |        0
661.82/662.13	c  661s |      17 |   272085 |   213332 |     6455     51 |        0 |        0
663.92/664.21	c  663s |      17 |   272859 |   214032 |     6455     51 |        0 |        0
666.22/666.52	c  666s |      17 |   273623 |   214732 |     6455     51 |        0 |        0
668.22/668.58	c  668s |      17 |   274411 |   215432 |     6455     51 |        0 |        0
670.52/670.87	c  670s |      17 |   275174 |   216132 |     6455     51 |        0 |        0
672.61/672.92	c  672s |      17 |   275831 |   216732 |     6455     51 |        0 |        0
674.91/675.29	c  675s |      17 |   276387 |   217232 |     6455     52 |        0 |        0
677.02/677.34	c  677s |      17 |   277049 |   217832 |     6455     52 |        0 |        0
679.11/679.42	c  679s |      17 |   277737 |   218432 |     6455     52 |        0 |        0
681.21/681.58	c  681s |      17 |   278508 |   219132 |     6455     52 |        0 |        0
683.51/683.89	c  683s |      17 |   279268 |   219832 |     6455     52 |        0 |        0
685.71/686.06	c  685s |      17 |   280042 |   220532 |     6455     52 |        0 |        0
687.80/688.17	c  687s |      17 |   280800 |   221232 |     6455     52 |        0 |        0
689.90/690.20	c  689s |      17 |   281450 |   221832 |     6455     52 |        0 |        0
692.10/692.46	c  692s |      17 |   282111 |   222432 |     6455     53 |        0 |        0
694.10/694.47	c  694s |      17 |   282854 |   223132 |     6455     53 |        0 |        0
696.20/696.59	c  696s |      17 |   283590 |   223832 |     6455     53 |        0 |        0
698.60/698.91	c  698s |      17 |   284342 |   224532 |     6455     53 |        0 |        0
700.60/700.99	c  700s |      17 |   284983 |   225132 |     6455     53 |        0 |        0
702.71/703.05	c  702s |      17 |   285537 |   225632 |     6455     53 |        0 |        0
704.91/705.22	c  704s |      17 |   286176 |   226232 |     6455     53 |        0 |        0
707.01/707.35	c  707s |      17 |   286828 |   226832 |     6455     53 |        0 |        0
709.10/709.40	c  709s |      17 |   287354 |   227332 |     6455     54 |        0 |        0
711.29/711.63	c  711s |      17 |   288234 |   228132 |     6455     54 |        0 |        0
713.49/713.80	c  713s |      17 |   289012 |   228832 |     6455     54 |        0 |        0
715.80/716.13	c  715s |      17 |   289756 |   229532 |     6455     54 |        0 |        0
717.79/718.19	c  717s |      17 |   290296 |   230032 |     6455     54 |        0 |        0
719.89/720.29	c  720s |      17 |   291042 |   230732 |     6455     54 |        0 |        0
722.09/722.44	c  722s |      17 |   291702 |   231332 |     6455     54 |        0 |        0
724.19/724.50	c  724s |      17 |   292345 |   231932 |     6455     54 |        0 |        0
726.19/726.50	c  726s |      17 |   292882 |   232432 |     6455     55 |        0 |        0
728.48/728.80	c  728s |      17 |   293628 |   233132 |     6455     55 |        0 |        0
730.59/730.94	c  730s |      17 |   294172 |   233632 |     6455     55 |        0 |        0
732.79/733.15	c  732s |      17 |   294958 |   234332 |     6455     55 |        0 |        0
734.89/735.24	c  734s |      17 |   295724 |   235032 |     6455     55 |        0 |        0
736.88/737.25	c  736s |      17 |   296349 |   235632 |     6455     55 |        0 |        0
738.89/739.29	c  739s |      17 |   297011 |   236232 |     6455     55 |        0 |        0
740.98/741.40	c  741s |      17 |   297645 |   236832 |     6455     55 |        0 |        0
743.08/743.49	c  743s |      17 |   298167 |   237332 |     6455     56 |        0 |        0
745.18/745.58	c  745s |      17 |   298846 |   237932 |     6455     56 |        0 |        0
747.38/747.73	c  747s |      17 |   299612 |   238632 |     6455     56 |        0 |        0
749.68/750.06	c  749s |      17 |   300358 |   239332 |     6455     56 |        0 |        0
751.78/752.13	c  751s |      17 |   300988 |   239932 |     6455     56 |        0 |        0
753.87/754.26	c  753s |      17 |   301626 |   240532 |     6455     56 |        0 |        0
756.18/756.53	c  756s |      17 |   302281 |   241132 |     6455     56 |        0 |        0
758.18/758.57	c  758s |      17 |   302939 |   241732 |     6455     56 |        0 |        0
760.28/760.61	c  760s |      17 |   303469 |   242232 |     6455     57 |        0 |        0
762.38/762.75	c  762s |      17 |   304313 |   243032 |     6455     57 |        0 |        0
765.08/765.47	c  765s |      17 |   305108 |   243732 |     6455     57 |        0 |        0
767.07/767.49	c  767s |      17 |   305787 |   244332 |     6455     57 |        0 |        0
769.17/769.54	c  769s |      17 |   306486 |   244932 |     6455     57 |        0 |        0
771.38/771.75	c  771s |      17 |   307265 |   245632 |     6455     57 |        0 |        0
773.48/773.86	c  773s |      17 |   307911 |   246232 |     6455     57 |        0 |        0
776.08/776.44	c  776s |      17 |   308569 |   246832 |     6455     58 |        0 |        0
778.48/778.88	c  778s |      17 |   309464 |   247632 |     6455     58 |        0 |        0
780.58/781.00	c  780s |      17 |   310262 |   248332 |     6455     58 |        0 |        0
782.68/783.08	c  782s |      17 |   310918 |   248932 |     6455     58 |        0 |        0
784.97/785.33	c  785s |      17 |   311570 |   249532 |     6455     58 |        0 |        0
787.28/787.61	c  787s |      17 |   312335 |   250232 |     6455     58 |        0 |        0
789.58/789.94	c  789s |      17 |   312972 |   250832 |     6455     58 |        0 |        0
791.97/792.30	c  792s |      17 |   313625 |   251432 |     6455     58 |        0 |        0
794.18/794.53	c  794s |      17 |   314176 |   251932 |     6455     59 |        0 |        0
796.28/796.61	c  796s |      17 |   314962 |   252632 |     6455     59 |        0 |        0
798.47/798.82	c  798s |      17 |   315626 |   253232 |     6455     59 |        0 |        0
800.58/800.94	c  800s |      17 |   316271 |   253832 |     6455     59 |        0 |        0
802.68/803.05	c  802s |      17 |   316911 |   254432 |     6455     59 |        0 |        0
804.88/805.22	c  804s |      17 |   317560 |   255032 |     6455     59 |        0 |        0
807.18/807.58	c  807s |      17 |   318335 |   255732 |     6455     59 |        0 |        0
809.38/809.72	c  809s |      17 |   318973 |   256332 |     6455     59 |        0 |        0
811.57/811.97	c  811s |      17 |   319422 |   256732 |     6455     60 |        0 |        0
813.78/814.10	c  813s |      17 |   320078 |   257332 |     6455     60 |        0 |        0
815.77/816.17	c  815s |      17 |   320710 |   257932 |     6455     60 |        0 |        0
817.87/818.22	c  817s |      17 |   321246 |   258432 |     6455     60 |        0 |        0
819.97/820.34	c  820s |      17 |   321922 |   259032 |     6455     60 |        0 |        0
822.07/822.45	c  822s |      17 |   322580 |   259632 |     6455     60 |        0 |        0
824.47/824.84	c  824s |      17 |   323222 |   260232 |     6455     60 |        0 |        0
826.76/827.16	c  826s |      17 |   323874 |   260832 |     6455     60 |        0 |        0
828.86/829.22	c  828s |      17 |   324413 |   261332 |     6455     60 |        0 |        0
830.86/831.22	c  830s |      17 |   324839 |   261732 |     6455     61 |        0 |        0
833.17/833.51	c  833s |      17 |   325501 |   262332 |     6455     61 |        0 |        0
835.17/835.55	c  835s |      17 |   326150 |   262932 |     6455     61 |        0 |        0
837.37/837.79	c  837s |      17 |   326895 |   263632 |     6455     61 |        0 |        0
839.66/840.01	c  839s |      17 |   327528 |   264232 |     6455     61 |        0 |        0
841.76/842.19	c  841s |      17 |   328156 |   264832 |     6455     61 |        0 |        0
844.06/844.40	c  844s |      17 |   328813 |   265432 |     6455     61 |        0 |        0
846.46/846.81	c  846s |      17 |   329486 |   266032 |     6455     61 |        0 |        0
848.76/849.13	c  848s |      17 |   330034 |   266532 |     6455     62 |        0 |        0
851.07/851.44	c  851s |      17 |   330812 |   267232 |     6455     62 |        0 |        0
853.27/853.61	c  853s |      17 |   331559 |   267932 |     6455     62 |        0 |        0
855.36/855.72	c  855s |      17 |   332209 |   268532 |     6455     62 |        0 |        0
857.66/858.05	c  857s |      17 |   332845 |   269132 |     6455     62 |        0 |        0
860.07/860.40	c  860s |      17 |   333382 |   269632 |     6455     62 |        0 |        0
862.07/862.48	c  862s |      17 |   333908 |   270132 |     6455     62 |        0 |        0
864.06/864.49	c  864s |      17 |   334439 |   270632 |     6455     62 |        0 |        0
866.26/866.63	c  866s |      17 |   334958 |   271132 |     6455     62 |        0 |        0
868.27/868.69	c  868s |      17 |   335370 |   271532 |     6455     63 |        0 |        0
870.36/870.73	c  870s |      17 |   336033 |   272132 |     6455     63 |        0 |        0
872.46/872.81	c  872s |      17 |   336688 |   272732 |     6455     63 |        0 |        0
874.66/875.07	c  874s |      17 |   337463 |   273432 |     6455     63 |        0 |        0
876.96/877.39	c  877s |      17 |   338219 |   274132 |     6455     63 |        0 |        0
879.16/879.53	c  879s |      17 |   338848 |   274732 |     6455     63 |        0 |        0
881.46/881.86	c  881s |      17 |   339480 |   275332 |     6455     63 |        0 |        0
883.66/884.02	c  883s |      17 |   340126 |   275932 |     6455     63 |        0 |        0
886.36/886.71	c  886s |      17 |   340719 |   276432 |     6455     64 |        0 |        0
888.47/888.81	c  888s |      17 |   341473 |   277132 |     6455     64 |        0 |        0
890.46/890.90	c  890s |      17 |   342112 |   277732 |     6455     64 |        0 |        0
892.76/893.14	c  892s |      17 |   343009 |   278532 |     6455     64 |        0 |        0
894.76/895.16	c  894s |      17 |   343653 |   279132 |     6455     64 |        0 |        0
896.85/897.28	c  897s |      17 |   344284 |   279732 |     6455     64 |        0 |        0
899.15/899.54	c  899s |      17 |   344920 |   280332 |     6455     64 |        0 |        0
901.56/901.91	c  901s |      17 |   345570 |   280932 |     6455     64 |        0 |        0
903.96/904.32	c  904s |      17 |   346122 |   281432 |     6455     65 |        0 |        0
906.16/906.56	c  906s |      17 |   346890 |   282132 |     6455     65 |        0 |        0
908.36/908.72	c  908s |      17 |   347654 |   282832 |     6455     65 |        0 |        0
910.36/910.73	c  910s |      17 |   348308 |   283432 |     6455     65 |        0 |        0
912.46/912.81	c  912s |      17 |   348950 |   284032 |     6455     65 |        0 |        0
914.55/914.99	c  914s |      17 |   349603 |   284632 |     6455     65 |        0 |        0
916.65/917.00	c  916s |      17 |   350137 |   285132 |     6455     65 |        0 |        0
918.65/919.07	c  918s |      17 |   350705 |   285632 |     6455     65 |        0 |        0
920.75/921.13	c  920s |      17 |   351251 |   286132 |     6455     65 |        0 |        0
923.15/923.56	c  923s |      17 |   351775 |   286632 |     6455     66 |        0 |        0
925.36/925.74	c  925s |      17 |   352399 |   287232 |     6455     66 |        0 |        0
927.55/927.95	c  927s |      17 |   353062 |   287832 |     6455     66 |        0 |        0
929.75/930.10	c  929s |      17 |   353724 |   288432 |     6455     66 |        0 |        0
931.75/932.19	c  931s |      17 |   354554 |   289132 |     6455     66 |        0 |        0
934.05/934.45	c  934s |      17 |   355348 |   289832 |     6455     66 |        0 |        0
936.35/936.78	c  936s |      17 |   356128 |   290532 |     6455     66 |        0 |        0
938.75/939.19	c  938s |      17 |   356797 |   291132 |     6455     67 |        0 |        0
940.85/941.20	c  940s |      17 |   357455 |   291732 |     6455     67 |        0 |        0
943.05/943.43	c  943s |      17 |   358230 |   292432 |     6455     67 |        0 |        0
945.05/945.49	c  945s |      17 |   358871 |   293032 |     6455     67 |        0 |        0
947.35/947.79	c  947s |      17 |   359530 |   293632 |     6455     67 |        0 |        0
949.45/949.87	c  949s |      17 |   360051 |   294132 |     7101     67 |        0 |        0
951.55/951.96	c  951s |      17 |   360596 |   294632 |     7101     67 |        0 |        0
953.74/954.18	c  953s |      17 |   361284 |   295232 |     7101     67 |        0 |        0
955.94/956.38	c  956s |      17 |   362056 |   295932 |     7101     67 |        0 |        0
957.14/957.53	c  957s |      18 |   362403 |   296252 |     7101     67 |        0 |        0
959.14/959.54	c  959s |      18 |   364902 |   297252 |     7101     68 |        0 |        0
961.16/961.59	c  961s |      18 |   366400 |   298552 |     7101     68 |        0 |        0
963.26/963.65	c  963s |      18 |   367487 |   299552 |     7101     68 |        0 |        0
965.35/965.74	c  965s |      18 |   368600 |   300552 |     7101     68 |        0 |        0
967.45/967.87	c  967s |      18 |   369725 |   301552 |     7101     68 |        0 |        0
969.55/969.90	c  969s |      18 |   370621 |   302352 |     7101     69 |        0 |        0
971.55/971.91	c  971s |      18 |   371607 |   303252 |     7101     69 |        0 |        0
973.55/973.92	c  973s |      18 |   372655 |   304152 |     7101     69 |        0 |        0
975.65/976.08	c  975s |      18 |   373687 |   305052 |     7101     69 |        0 |        0
977.85/978.23	c  977s |      18 |   374740 |   305952 |     7101     69 |        0 |        0
980.05/980.43	c  980s |      18 |   375760 |   306852 |     7101     69 |        0 |        0
982.14/982.57	c  982s |      18 |   376587 |   307552 |     7101     70 |        0 |        0
984.34/984.77	c  984s |      18 |   377773 |   308552 |     7101     70 |        0 |        0
986.45/986.81	c  986s |      18 |   378794 |   309452 |     7101     70 |        0 |        0
988.65/989.06	c  988s |      18 |   379715 |   310252 |     7101     70 |        0 |        0
990.94/991.30	c  991s |      18 |   380657 |   311052 |     7101     70 |        0 |        0
993.05/993.46	c  993s |      18 |   381437 |   311752 |     7101     70 |        0 |        0
995.04/995.47	c  995s |      18 |   382130 |   312352 |     7101     70 |        0 |        0
997.24/997.66	c  997s |      18 |   382847 |   312952 |     7101     71 |        0 |        0
999.34/999.75	c  999s |      18 |   383859 |   313852 |     7101     71 |        0 |        0
1001.44/1001.88	c 1001s |      18 |   384873 |   314752 |     7101     71 |        0 |        0
1003.54/1003.93	c 1003s |      18 |   385803 |   315552 |     7101     71 |        0 |        0
1005.54/1005.94	c 1005s |      18 |   386586 |   316252 |     7101     71 |        0 |        0
1007.74/1008.13	c 1007s |      18 |   387357 |   316952 |     7101     71 |        0 |        0
1010.33/1010.74	c 1010s |      18 |   388267 |   317752 |     7101     72 |        0 |        0
1012.43/1012.89	c 1012s |      18 |   389272 |   318652 |     7101     72 |        0 |        0
1014.64/1015.07	c 1014s |      18 |   390260 |   319552 |     7101     72 |        0 |        0
1016.74/1017.15	c 1016s |      18 |   391126 |   320352 |     7101     72 |        0 |        0
1018.84/1019.24	c 1018s |      18 |   392017 |   321152 |     7101     72 |        0 |        0
1021.14/1021.51	c 1021s |      18 |   392905 |   321952 |     7101     72 |        0 |        0
1023.44/1023.83	c 1023s |      18 |   393684 |   322652 |     7101     72 |        0 |        0
1025.44/1025.89	c 1025s |      18 |   394262 |   323152 |     7101     73 |        0 |        0
1027.54/1027.91	c 1027s |      18 |   395147 |   323952 |     7101     73 |        0 |        0
1029.54/1029.95	c 1029s |      18 |   396044 |   324752 |     7101     73 |        0 |        0
1031.64/1032.05	c 1031s |      18 |   396952 |   325552 |     7101     73 |        0 |        0
1033.64/1034.07	c 1033s |      18 |   397730 |   326252 |     7101     73 |        0 |        0
1035.74/1036.15	c 1035s |      18 |   398529 |   326952 |     7101     73 |        0 |        0
1037.94/1038.30	c 1038s |      18 |   399307 |   327652 |     7101     73 |        0 |        0
1040.03/1040.44	c 1040s |      18 |   399962 |   328252 |     7101     73 |        0 |        0
1042.23/1042.63	c 1042s |      18 |   400627 |   328852 |     7101     74 |        0 |        0
1044.43/1044.83	c 1044s |      18 |   401624 |   329752 |     7101     74 |        0 |        0
1046.53/1046.96	c 1046s |      18 |   402402 |   330452 |     7101     74 |        0 |        0
1048.63/1049.06	c 1048s |      18 |   403177 |   331152 |     7101     74 |        0 |        0
1050.73/1051.17	c 1050s |      18 |   403930 |   331852 |     7101     74 |        0 |        0
1052.94/1053.31	c 1053s |      18 |   404700 |   332552 |     7101     74 |        0 |        0
1054.94/1055.32	c 1055s |      18 |   405609 |   333352 |     7101     74 |        0 |        0
1056.94/1057.34	c 1057s |      18 |   406417 |   334052 |     7101     75 |        0 |        0
1059.14/1059.52	c 1059s |      18 |   407404 |   334952 |     7101     75 |        0 |        0
1061.24/1061.66	c 1061s |      18 |   408415 |   335852 |     7101     75 |        0 |        0
1063.44/1063.87	c 1063s |      18 |   409577 |   336852 |     7101     75 |        0 |        0
1065.54/1065.99	c 1065s |      18 |   410466 |   337652 |     7101     75 |        0 |        0
1067.74/1068.19	c 1067s |      18 |   411368 |   338452 |     7101     75 |        0 |        0
1069.93/1070.31	c 1070s |      18 |   411941 |   338952 |     7101     76 |        0 |        0
1072.03/1072.49	c 1072s |      18 |   413102 |   339952 |     7101     76 |        0 |        0
1074.13/1074.50	c 1074s |      18 |   414217 |   340952 |     7101     76 |        0 |        0
1076.13/1076.55	c 1076s |      18 |   415204 |   341852 |     7101     76 |        0 |        0
1078.33/1078.74	c 1078s |      18 |   416207 |   342752 |     7101     76 |        0 |        0
1080.33/1080.75	c 1080s |      18 |   417108 |   343552 |     7101     76 |        0 |        0
1082.53/1082.91	c 1082s |      18 |   417874 |   344252 |     7101     77 |        0 |        0
1084.63/1085.01	c 1084s |      18 |   418769 |   345052 |     7101     77 |        0 |        0
1086.82/1087.29	c 1087s |      18 |   419657 |   345852 |     7101     77 |        0 |        0
1088.92/1089.34	c 1089s |      18 |   420430 |   346552 |     7101     77 |        0 |        0
1091.22/1091.61	c 1091s |      18 |   421194 |   347252 |     7101     77 |        0 |        0
1093.22/1093.67	c 1093s |      18 |   421886 |   347852 |     7101     77 |        0 |        0
1095.42/1095.87	c 1095s |      18 |   422794 |   348652 |     7101     77 |        0 |        0
1097.72/1098.11	c 1097s |      18 |   423596 |   349352 |     7101     77 |        0 |        0
1099.82/1100.22	c 1099s |      18 |   424237 |   349952 |     7101     78 |        0 |        0
1101.83/1102.27	c 1102s |      18 |   425011 |   350652 |     7101     78 |        0 |        0
1103.92/1104.39	c 1104s |      18 |   425894 |   351452 |     7101     78 |        0 |        0
1106.02/1106.48	c 1106s |      18 |   426778 |   352252 |     7101     78 |        0 |        0
1108.33/1108.76	c 1108s |      18 |   427553 |   352952 |     7101     78 |        0 |        0
1110.43/1110.81	c 1110s |      18 |   428183 |   353552 |     7101     78 |        0 |        0
1112.73/1113.13	c 1112s |      18 |   428817 |   354152 |     7101     78 |        0 |        0
1115.03/1115.41	c 1115s |      18 |   429483 |   354752 |     7101     78 |        0 |        0
1117.02/1117.43	c 1117s |      18 |   430088 |   355252 |     7101     79 |        0 |        0
1119.12/1119.55	c 1119s |      18 |   431447 |   356452 |     7101     79 |        0 |        0
1121.42/1121.82	c 1121s |      18 |   432494 |   357352 |     7101     79 |        0 |        0
1123.62/1124.03	c 1123s |      18 |   433409 |   358152 |     7101     79 |        0 |        0
1125.72/1126.17	c 1125s |      18 |   434307 |   358952 |     7101     79 |        0 |        0
1127.82/1128.23	c 1127s |      18 |   435092 |   359652 |     7101     79 |        0 |        0
1129.92/1130.33	c 1130s |      18 |   435671 |   360152 |     7101     80 |        0 |        0
1132.22/1132.61	c 1132s |      18 |   436682 |   361052 |     7101     80 |        0 |        0
1134.22/1134.70	c 1134s |      18 |   437684 |   361952 |     7101     80 |        0 |        0
1136.52/1136.96	c 1136s |      18 |   438688 |   362852 |     7101     80 |        0 |        0
1138.92/1139.33	c 1139s |      18 |   439559 |   363652 |     7101     80 |        0 |        0
1141.22/1141.62	c 1141s |      18 |   440464 |   364452 |     7101     80 |        0 |        0
1143.32/1143.78	c 1143s |      18 |   441276 |   365152 |     7101     80 |        0 |        0
1145.42/1145.88	c 1145s |      18 |   441925 |   365752 |     7101     81 |        0 |        0
1147.62/1148.02	c 1147s |      18 |   443039 |   366752 |     7101     81 |        0 |        0
1149.72/1150.14	c 1149s |      18 |   444046 |   367652 |     7101     81 |        0 |        0
1151.72/1152.18	c 1151s |      18 |   445082 |   368552 |     7101     81 |        0 |        0
1153.82/1154.29	c 1154s |      18 |   445950 |   369352 |     7101     81 |        0 |        0
1156.12/1156.53	c 1156s |      18 |   446831 |   370152 |     7101     81 |        0 |        0
1158.22/1158.66	c 1158s |      18 |   447532 |   370752 |     7101     82 |        0 |        0
1160.32/1160.78	c 1160s |      18 |   448401 |   371552 |     7101     82 |        0 |        0
1162.43/1162.84	c 1162s |      18 |   449251 |   372352 |     7101     82 |        0 |        0
1164.63/1165.00	c 1164s |      18 |   450105 |   373152 |     7101     82 |        0 |        0
1166.82/1167.25	c 1166s |      18 |   450987 |   373952 |     7101     82 |        0 |        0
1169.02/1169.41	c 1169s |      18 |   451882 |   374752 |     7101     82 |        0 |        0
1171.12/1171.57	c 1171s |      18 |   452648 |   375452 |     7101     82 |        0 |        0
1173.32/1173.75	c 1173s |      18 |   453281 |   376052 |     7101     83 |        0 |        0
1175.41/1175.81	c 1175s |      18 |   453926 |   376652 |     7101     83 |        0 |        0
1177.61/1178.07	c 1177s |      18 |   454809 |   377452 |     7101     83 |        0 |        0
1179.92/1180.33	c 1180s |      18 |   455690 |   378252 |     7101     83 |        0 |        0
1182.12/1182.51	c 1182s |      18 |   456437 |   378952 |     7101     83 |        0 |        0
1184.12/1184.56	c 1184s |      18 |   457244 |   379652 |     7101     83 |        0 |        0
1186.41/1186.80	c 1186s |      18 |   458018 |   380352 |     7101     83 |        0 |        0
1188.41/1188.85	c 1188s |      18 |   458765 |   381052 |     7101     83 |        0 |        0
1190.61/1191.08	c 1190s |      18 |   459353 |   381552 |     7101     84 |        0 |        0
1192.61/1193.09	c 1192s |      18 |   460668 |   382652 |     7101     84 |        0 |        0
1194.81/1195.27	c 1194s |      18 |   461707 |   383552 |     7101     84 |        0 |        0
1196.91/1197.34	c 1197s |      18 |   462574 |   384352 |     7101     84 |        0 |        0
1198.91/1199.34	c 1199s |      18 |   463346 |   385052 |     7101     84 |        0 |        0
1201.21/1201.60	c 1201s |      18 |   464200 |   385852 |     7101     84 |        0 |        0
1203.81/1204.25	c 1203s |      18 |   465109 |   386652 |     7101     85 |        0 |        0
1205.91/1206.34	c 1206s |      18 |   465974 |   387452 |     7101     85 |        0 |        0
1208.11/1208.60	c 1208s |      18 |   466879 |   388252 |     7101     85 |        0 |        0
1210.41/1210.84	c 1210s |      18 |   467770 |   389052 |     7101     85 |        0 |        0
1212.51/1212.92	c 1212s |      18 |   468684 |   389852 |     7101     85 |        0 |        0
1214.71/1215.17	c 1214s |      18 |   469589 |   390652 |     7101     85 |        0 |        0
1216.91/1217.31	c 1217s |      18 |   470478 |   391452 |     7101     85 |        0 |        0
1219.10/1219.54	c 1219s |      18 |   471240 |   392152 |     7101     86 |        0 |        0
1221.31/1221.72	c 1221s |      18 |   472007 |   392852 |     7101     86 |        0 |        0
1223.51/1223.96	c 1223s |      18 |   472767 |   393552 |     7101     86 |        0 |        0
1225.61/1226.03	c 1225s |      18 |   473659 |   394352 |     7101     86 |        0 |        0
1227.81/1228.25	c 1227s |      18 |   474760 |   395352 |     7101     86 |        0 |        0
1230.01/1230.47	c 1230s |      18 |   475736 |   396152 |     7101     86 |        0 |        0
1232.30/1232.71	c 1232s |      18 |   476677 |   396952 |     7101     86 |        0 |        0
1234.40/1234.84	c 1234s |      18 |   477472 |   397652 |     7101     87 |        0 |        0
1236.60/1237.05	c 1236s |      18 |   478471 |   398552 |     7101     87 |        0 |        0
1238.80/1239.27	c 1238s |      18 |   479349 |   399352 |     7101     87 |        0 |        0
1241.10/1241.51	c 1241s |      18 |   480216 |   400152 |     7101     87 |        0 |        0
1243.30/1243.70	c 1243s |      18 |   481147 |   400952 |     7101     87 |        0 |        0
1245.30/1245.71	c 1245s |      18 |   482227 |   401852 |     7101     87 |        0 |        0
1247.40/1247.87	c 1247s |      18 |   483034 |   402552 |     7101     88 |        0 |        0
1249.50/1249.98	c 1249s |      18 |   484103 |   403452 |     7101     88 |        0 |        0
1251.71/1252.14	c 1251s |      18 |   484986 |   404252 |     7101     88 |        0 |        0
1253.91/1254.36	c 1254s |      18 |   486155 |   405252 |     7101     88 |        0 |        0
1256.00/1256.40	c 1256s |      18 |   487054 |   406052 |     7101     88 |        0 |        0
1258.01/1258.45	c 1258s |      18 |   487811 |   406752 |     7101     88 |        0 |        0
1260.10/1260.57	c 1260s |      18 |   488613 |   407452 |     7101     88 |        0 |        0
1262.20/1262.63	c 1262s |      18 |   489431 |   408152 |     7101     89 |        0 |        0
1264.20/1264.69	c 1264s |      18 |   490572 |   409152 |     7101     89 |        0 |        0
1266.30/1266.75	c 1266s |      18 |   491588 |   410052 |     7101     89 |        0 |        0
1268.80/1269.22	c 1268s |      18 |   492481 |   410852 |     7101     89 |        0 |        0
1271.00/1271.44	c 1271s |      18 |   493616 |   411852 |     7101     89 |        0 |        0
1273.20/1273.66	c 1273s |      18 |   494527 |   412652 |     7101     89 |        0 |        0
1275.40/1275.82	c 1275s |      18 |   495179 |   413252 |     7101     90 |        0 |        0
1277.50/1277.99	c 1277s |      18 |   496098 |   414052 |     7101     90 |        0 |        0
1279.59/1280.01	c 1279s |      18 |   496973 |   414852 |     7101     90 |        0 |        0
1281.59/1282.02	c 1281s |      18 |   497741 |   415552 |     7101     90 |        0 |        0
1283.59/1284.03	c 1283s |      18 |   498496 |   416252 |     7101     90 |        0 |        0
1285.69/1286.15	c 1285s |      18 |   499262 |   416952 |     7101     90 |        0 |        0
1287.90/1288.39	c 1288s |      18 |   500173 |   417752 |     7101     90 |        0 |        0
1290.10/1290.50	c 1290s |      18 |   500836 |   418352 |     7101     91 |        0 |        0
1292.20/1292.64	c 1292s |      18 |   501736 |   419152 |     7101     91 |        0 |        0
1294.40/1294.82	c 1294s |      18 |   502831 |   420152 |     7101     91 |        0 |        0
1296.39/1296.84	c 1296s |      18 |   503747 |   420952 |     7101     91 |        0 |        0
1298.59/1299.04	c 1298s |      18 |   504635 |   421752 |     7101     91 |        0 |        0
1300.69/1301.10	c 1300s |      18 |   505405 |   422452 |     7101     91 |        0 |        0
1302.79/1303.23	c 1302s |      18 |   506161 |   423152 |     7101     91 |        0 |        0
1304.79/1305.26	c 1304s |      18 |   506826 |   423752 |     7101     92 |        0 |        0
1307.00/1307.47	c 1307s |      18 |   507853 |   424652 |     7101     92 |        0 |        0
1309.20/1309.65	c 1309s |      18 |   508706 |   425452 |     7101     92 |        0 |        0
1311.19/1311.66	c 1311s |      18 |   509499 |   426152 |     7101     92 |        0 |        0
1313.29/1313.77	c 1313s |      18 |   510251 |   426852 |     7101     92 |        0 |        0
1315.30/1315.78	c 1315s |      18 |   511005 |   427552 |     7101     92 |        0 |        0
1317.59/1318.01	c 1317s |      18 |   511779 |   428252 |     7101     92 |        0 |        0
1319.79/1320.22	c 1319s |      18 |   512433 |   428852 |     7101     92 |        0 |        0
1321.89/1322.38	c 1322s |      18 |   513005 |   429352 |     7101     93 |        0 |        0
1323.90/1324.39	c 1324s |      18 |   513677 |   429952 |     7101     93 |        0 |        0
1325.99/1326.43	c 1326s |      18 |   514611 |   430752 |     7101     93 |        0 |        0
1327.99/1328.45	c 1328s |      18 |   515563 |   431552 |     7101     93 |        0 |        0
1330.19/1330.62	c 1330s |      18 |   516477 |   432352 |     7101     93 |        0 |        0
1332.29/1332.77	c 1332s |      18 |   517172 |   432952 |     7101     93 |        0 |        0
1334.59/1335.08	c 1334s |      18 |   517847 |   433552 |     7101     93 |        0 |        0
1336.69/1337.16	c 1336s |      18 |   518404 |   434052 |     7101     93 |        0 |        0
1338.69/1339.16	c 1338s |      18 |   518828 |   434452 |     7101     94 |        0 |        0
1340.89/1341.37	c 1341s |      18 |   519531 |   435052 |     7101     94 |        0 |        0
1343.18/1343.63	c 1343s |      18 |   520320 |   435752 |     7101     94 |        0 |        0
1345.29/1345.74	c 1345s |      18 |   521235 |   436552 |     7101     94 |        0 |        0
1347.29/1347.74	c 1347s |      18 |   522036 |   437252 |     7101     94 |        0 |        0
1349.40/1349.82	c 1349s |      18 |   522711 |   437852 |     7101     94 |        0 |        0
1351.49/1351.92	c 1351s |      18 |   523400 |   438452 |     7101     94 |        0 |        0
1353.69/1354.10	c 1353s |      18 |   524055 |   439052 |     7101     94 |        0 |        0
1355.99/1356.48	c 1356s |      18 |   524618 |   439552 |     7101     95 |        0 |        0
1358.48/1358.92	c 1358s |      18 |   525421 |   440252 |     7101     95 |        0 |        0
1360.68/1361.11	c 1360s |      18 |   526095 |   440852 |     7101     95 |        0 |        0
1362.68/1363.18	c 1362s |      18 |   526782 |   441452 |     7812     95 |        0 |        0
1364.98/1365.47	c 1365s |      18 |   527449 |   442052 |     7812     95 |        0 |        0
1367.28/1367.71	c 1367s |      18 |   528129 |   442652 |     7812     95 |        0 |        0
1369.38/1369.89	c 1369s |      18 |   528769 |   443252 |     7812     95 |        0 |        0
1371.68/1372.17	c 1371s |      18 |   529430 |   443852 |     7812     95 |        0 |        0
1373.79/1374.23	c 1373s |      18 |   529994 |   444352 |     7812     95 |        0 |        0
1374.29/1374.72	c 1374s |      19 |   530134 |   444482 |     7812     95 |        0 |        0
1376.29/1376.73	c 1376s |      19 |   532350 |   445082 |     7812     96 |        0 |        0
1378.38/1378.82	c 1378s |      19 |   533605 |   446182 |     7812     96 |        0 |        0
1380.38/1380.89	c 1380s |      19 |   534727 |   447182 |     7812     96 |        0 |        0
1382.48/1382.97	c 1382s |      19 |   535952 |   448182 |     7812     96 |        0 |        0
1384.59/1385.01	c 1384s |      19 |   536909 |   448982 |     7812     96 |        0 |        0
1386.69/1387.15	c 1386s |      19 |   537734 |   449682 |     7812     96 |        0 |        0
1388.99/1389.42	c 1389s |      19 |   538504 |   450382 |     7812     96 |        0 |        0
1391.09/1391.51	c 1391s |      19 |   539074 |   450882 |     7812     97 |        0 |        0
1393.29/1393.76	c 1393s |      19 |   539909 |   451582 |     7812     97 |        0 |        0
1395.38/1395.83	c 1395s |      19 |   540619 |   452182 |     7812     97 |        0 |        0
1397.48/1397.93	c 1397s |      19 |   541333 |   452782 |     7812     97 |        0 |        0
1399.78/1400.25	c 1399s |      19 |   542118 |   453482 |     7812     97 |        0 |        0
1401.88/1402.35	c 1402s |      19 |   542945 |   454182 |     7812     97 |        0 |        0
1404.18/1404.63	c 1404s |      19 |   543760 |   454882 |     7812     97 |        0 |        0
1406.28/1406.74	c 1406s |      19 |   544452 |   455482 |     7812     97 |        0 |        0
1408.28/1408.75	c 1408s |      19 |   545103 |   456082 |     7812     97 |        0 |        0
1410.58/1411.04	c 1410s |      19 |   545564 |   456482 |     7812     98 |        0 |        0
1412.58/1413.09	c 1412s |      19 |   546357 |   457182 |     7812     98 |        0 |        0
1414.68/1415.16	c 1414s |      19 |   547141 |   457882 |     7812     98 |        0 |        0
1416.97/1417.45	c 1417s |      19 |   548037 |   458682 |     7812     98 |        0 |        0
1419.28/1419.71	c 1419s |      19 |   548831 |   459382 |     7812     98 |        0 |        0
1421.48/1421.92	c 1421s |      19 |   549605 |   460082 |     7812     98 |        0 |        0
1423.48/1423.94	c 1423s |      19 |   550279 |   460682 |     7812     98 |        0 |        0
1425.48/1425.98	c 1425s |      19 |   550988 |   461282 |     7812     98 |        0 |        0
1428.07/1428.59	c 1428s |      19 |   551666 |   461882 |     7812     99 |        0 |        0
1430.28/1430.71	c 1430s |      19 |   552436 |   462582 |     7812     99 |        0 |        0
1432.38/1432.83	c 1432s |      19 |   553225 |   463282 |     7812     99 |        0 |        0
1434.58/1435.06	c 1434s |      19 |   554027 |   463982 |     7812     99 |        0 |        0
1436.78/1437.26	c 1436s |      19 |   554714 |   464582 |     7812     99 |        0 |        0
1438.87/1439.33	c 1439s |      19 |   555378 |   465182 |     7812     99 |        0 |        0
1440.87/1441.35	c 1441s |      19 |   556044 |   465782 |     7812     99 |        0 |        0
1442.97/1443.40	c 1443s |      19 |   556735 |   466382 |     7812     99 |        0 |        0
1445.17/1445.69	c 1445s |      19 |   557392 |   466982 |     7812     99 |        0 |        0
1448.07/1448.58	c 1448s |      19 |   557949 |   467482 |     7812    100 |        0 |        0
1450.27/1450.76	c 1450s |      19 |   558542 |   467982 |     7812    100 |        0 |        0
1452.68/1453.11	c 1452s |      19 |   559324 |   468682 |     7812    100 |        0 |        0
1454.77/1455.29	c 1455s |      19 |   560275 |   469382 |     7812    100 |        0 |        0
1456.97/1457.44	c 1457s |      19 |   561111 |   470082 |     7812    100 |        0 |        0
1459.07/1459.57	c 1459s |      19 |   561884 |   470782 |     7812    100 |        0 |        0
1461.48/1461.92	c 1461s |      19 |   562702 |   471482 |     7812    100 |        0 |        0
1463.57/1464.06	c 1463s |      19 |   563349 |   472082 |     7812    100 |        0 |        0
1465.77/1466.20	c 1465s |      19 |   563997 |   472682 |     7812    100 |        0 |        0
1468.07/1468.55	c 1468s |      19 |   564573 |   473182 |     7812    101 |        0 |        0
1470.28/1470.76	c 1470s |      19 |   565396 |   473882 |     7812    101 |        0 |        0
1472.37/1472.81	c 1472s |      19 |   566067 |   474482 |     7812    101 |        0 |        0
1474.47/1474.92	c 1474s |      19 |   566746 |   475082 |     7812    101 |        0 |        0
1476.56/1477.04	c 1476s |      19 |   567297 |   475582 |     7812    101 |        0 |        0
1478.77/1479.22	c 1478s |      19 |   568124 |   476282 |     7812    101 |        0 |        0
1480.87/1481.31	c 1481s |      19 |   568867 |   476882 |     7812    101 |        0 |        0
1482.97/1483.46	c 1483s |      19 |   569562 |   477482 |     7812    101 |        0 |        0
1485.26/1485.76	c 1485s |      19 |   570229 |   478082 |     7812    101 |        0 |        0
1487.47/1487.99	c 1487s |      19 |   570880 |   478682 |     7812    101 |        0 |        0
1489.67/1490.12	c 1489s |      19 |   571437 |   479182 |     7812    102 |        0 |        0
1491.77/1492.21	c 1491s |      19 |   572192 |   479882 |     7812    102 |        0 |        0
1493.87/1494.33	c 1494s |      19 |   572860 |   480482 |     7812    102 |        0 |        0
1496.16/1496.64	c 1496s |      19 |   573416 |   480982 |     7812    102 |        0 |        0
1498.46/1498.90	c 1498s |      19 |   574086 |   481582 |     7812    102 |        0 |        0
1500.66/1501.13	c 1500s |      19 |   575002 |   482282 |     7812    102 |        0 |        0
1502.96/1503.40	c 1503s |      19 |   575774 |   482982 |     7812    102 |        0 |        0
1505.16/1505.67	c 1505s |      19 |   576572 |   483682 |     7812    102 |        0 |        0
1507.27/1507.71	c 1507s |      19 |   577227 |   484282 |     7812    102 |        0 |        0
1509.46/1509.95	c 1509s |      19 |   577890 |   484882 |     7812    103 |        0 |        0
1511.66/1512.16	c 1511s |      19 |   578663 |   485582 |     7812    103 |        0 |        0
1513.76/1514.28	c 1514s |      19 |   579330 |   486182 |     7812    103 |        0 |        0
1516.17/1516.62	c 1516s |      19 |   579919 |   486682 |     7812    103 |        0 |        0
1518.26/1518.77	c 1518s |      19 |   580474 |   487182 |     7812    103 |        0 |        0
1520.26/1520.77	c 1520s |      19 |   581027 |   487682 |     7812    103 |        0 |        0
1522.36/1522.81	c 1522s |      19 |   581694 |   488282 |     7812    103 |        0 |        0
1524.46/1524.94	c 1524s |      19 |   582393 |   488882 |     7812    103 |        0 |        0
1526.76/1527.20	c 1526s |      19 |   583063 |   489482 |     7812    103 |        0 |        0
1529.26/1529.71	c 1529s |      19 |   583622 |   489982 |     7812    104 |        0 |        0
1531.56/1532.03	c 1531s |      19 |   584288 |   490582 |     7812    104 |        0 |        0
1533.56/1534.03	c 1533s |      19 |   584966 |   491182 |     7812    104 |        0 |        0
1535.56/1536.06	c 1535s |      19 |   585521 |   491682 |     7812    104 |        0 |        0
1537.66/1538.14	c 1537s |      19 |   586214 |   492282 |     7812    104 |        0 |        0
1539.86/1540.34	c 1540s |      19 |   586887 |   492882 |     7812    104 |        0 |        0
1542.06/1542.51	c 1542s |      19 |   587522 |   493482 |     7812    104 |        0 |        0
1544.46/1544.93	c 1544s |      19 |   588233 |   494082 |     7812    104 |        0 |        0
1546.56/1547.05	c 1546s |      19 |   588772 |   494582 |     7812    104 |        0 |        0
1548.66/1549.14	c 1548s |      19 |   589462 |   495182 |     7812    104 |        0 |        0
1550.96/1551.43	c 1551s |      19 |   590045 |   495682 |     7812    105 |        0 |        0
1553.15/1553.67	c 1553s |      19 |   590874 |   496382 |     7812    105 |        0 |        0
1555.46/1555.91	c 1555s |      19 |   591565 |   496982 |     7812    105 |        0 |        0
1557.66/1558.19	c 1557s |      19 |   592267 |   497582 |     7812    105 |        0 |        0
1559.76/1560.25	c 1559s |      19 |   592968 |   498182 |     7812    105 |        0 |        0
1562.05/1562.58	c 1562s |      19 |   593651 |   498782 |     7812    105 |        0 |        0
1564.15/1564.68	c 1564s |      19 |   594365 |   499382 |     7812    105 |        0 |        0
1566.45/1566.95	c 1566s |      19 |   595042 |   499982 |     7812    105 |        0 |        0
1568.66/1569.19	c 1568s |      19 |   595724 |   500582 |     7812    105 |        0 |        0
1570.66/1571.20	c 1570s |      19 |   596276 |   501082 |     7812    105 |        0 |        0
1572.86/1573.33	c 1573s |      19 |   596731 |   501482 |     7812    106 |        0 |        0
1575.06/1575.54	c 1575s |      19 |   597688 |   502282 |     7812    106 |        0 |        0
1577.26/1577.71	c 1577s |      19 |   598491 |   502982 |     7812    106 |        0 |        0
1579.55/1580.03	c 1579s |      19 |   599257 |   503682 |     7812    106 |        0 |        0
1581.85/1582.30	c 1582s |      19 |   599942 |   504282 |     7812    106 |        0 |        0
1584.05/1584.55	c 1584s |      19 |   600660 |   504882 |     7812    106 |        0 |        0
1586.25/1586.75	c 1586s |      19 |   601358 |   505482 |     7812    106 |        0 |        0
1588.36/1588.82	c 1588s |      19 |   602106 |   506082 |     7812    106 |        0 |        0
1590.46/1590.95	c 1590s |      19 |   602828 |   506682 |     7812    106 |        0 |        0
1592.65/1593.17	c 1592s |      19 |   603313 |   507082 |     7812    107 |        0 |        0
1594.75/1595.21	c 1594s |      19 |   604139 |   507782 |     7812    107 |        0 |        0
1596.95/1597.49	c 1597s |      19 |   604976 |   508482 |     7812    107 |        0 |        0
1599.15/1599.64	c 1599s |      19 |   605694 |   509082 |     7812    107 |        0 |        0
1601.35/1601.82	c 1601s |      19 |   606382 |   509682 |     7812    107 |        0 |        0
1603.46/1603.96	c 1603s |      19 |   607069 |   510282 |     7812    107 |        0 |        0
1605.66/1606.11	c 1605s |      19 |   607757 |   510882 |     7812    107 |        0 |        0
1607.86/1608.34	c 1608s |      19 |   608459 |   511482 |     7812    107 |        0 |        0
1609.85/1610.37	c 1610s |      19 |   609199 |   512082 |     7812    107 |        0 |        0
1612.26/1612.71	c 1612s |      19 |   609776 |   512582 |     7812    108 |        0 |        0
1614.35/1614.86	c 1614s |      19 |   610564 |   513282 |     7812    108 |        0 |        0
1616.35/1616.89	c 1616s |      19 |   611258 |   513882 |     7812    108 |        0 |        0
1618.76/1619.22	c 1618s |      19 |   612043 |   514582 |     7812    108 |        0 |        0
1620.85/1621.34	c 1621s |      19 |   612707 |   515182 |     7812    108 |        0 |        0
1623.05/1623.52	c 1623s |      19 |   613368 |   515782 |     7812    108 |        0 |        0
1625.35/1625.88	c 1625s |      19 |   614061 |   516382 |     7812    108 |        0 |        0
1627.74/1628.22	c 1627s |      19 |   614772 |   516982 |     7812    108 |        0 |        0
1630.14/1630.67	c 1630s |      19 |   615345 |   517482 |     7812    108 |        0 |        0
1632.24/1632.70	c 1632s |      19 |   615804 |   517882 |     7812    108 |        0 |        0
1634.34/1634.82	c 1634s |      19 |   616134 |   518182 |     7812    109 |        0 |        0
1636.64/1637.17	c 1636s |      19 |   616842 |   518782 |     7812    109 |        0 |        0
1639.04/1639.53	c 1639s |      19 |   617575 |   519382 |     7812    109 |        0 |        0
1641.24/1641.70	c 1641s |      19 |   618406 |   520082 |     7812    109 |        0 |        0
1643.34/1643.81	c 1643s |      19 |   619233 |   520782 |     7812    109 |        0 |        0
1645.54/1646.04	c 1645s |      19 |   620044 |   521482 |     7812    109 |        0 |        0
1647.55/1648.04	c 1647s |      19 |   620734 |   522082 |     7812    109 |        0 |        0
1649.84/1650.37	c 1650s |      19 |   621414 |   522682 |     7812    109 |        0 |        0
1652.14/1652.67	c 1652s |      19 |   622084 |   523282 |     7812    109 |        0 |        0
1654.44/1654.98	c 1654s |      19 |   622654 |   523782 |     7812    110 |        0 |        0
1656.64/1657.17	c 1656s |      19 |   623323 |   524382 |     7812    110 |        0 |        0
1658.74/1659.26	c 1658s |      19 |   624034 |   524982 |     7812    110 |        0 |        0
1660.84/1661.37	c 1661s |      19 |   624715 |   525582 |     7812    110 |        0 |        0
1663.14/1663.64	c 1663s |      19 |   625412 |   526182 |     7812    110 |        0 |        0
1665.34/1665.89	c 1665s |      19 |   626220 |   526882 |     7812    110 |        0 |        0
1667.54/1668.05	c 1667s |      19 |   626970 |   527482 |     7812    110 |        0 |        0
1669.64/1670.17	c 1669s |      19 |   627668 |   528082 |     7812    110 |        0 |        0
1671.84/1672.39	c 1672s |      19 |   628313 |   528682 |     7812    110 |        0 |        0
1673.94/1674.48	c 1674s |      19 |   628866 |   529182 |     7812    110 |        0 |        0
1676.04/1676.53	c 1676s |      19 |   629287 |   529582 |     7812    111 |        0 |        0
1678.34/1678.80	c 1678s |      19 |   629945 |   530182 |     7812    111 |        0 |        0
1680.54/1681.04	c 1680s |      19 |   630643 |   530782 |     7812    111 |        0 |        0
1682.83/1683.30	c 1683s |      19 |   631208 |   531282 |     7812    111 |        0 |        0
1684.93/1685.45	c 1685s |      19 |   631968 |   531882 |     7812    111 |        0 |        0
1687.05/1687.50	c 1687s |      19 |   632639 |   532482 |     7812    111 |        0 |        0
1689.04/1689.59	c 1689s |      19 |   633356 |   533082 |     7812    111 |        0 |        0
1691.54/1692.00	c 1691s |      19 |   634089 |   533682 |     7812    111 |        0 |        0
1693.84/1694.30	c 1694s |      19 |   634670 |   534182 |     7812    111 |        0 |        0
1695.84/1696.32	c 1696s |      19 |   635210 |   534682 |     7812    111 |        0 |        0
1697.94/1698.41	c 1698s |      19 |   635699 |   535082 |     7812    112 |        0 |        0
1700.03/1700.52	c 1700s |      19 |   636628 |   535882 |     7812    112 |        0 |        0
1702.23/1702.70	c 1702s |      19 |   637415 |   536582 |     7812    112 |        0 |        0
1704.43/1705.00	c 1704s |      19 |   638244 |   537282 |     7812    112 |        0 |        0
1706.54/1707.09	c 1706s |      19 |   639098 |   537982 |     7812    112 |        0 |        0
1708.84/1709.30	c 1709s |      19 |   639979 |   538682 |     7812    112 |        0 |        0
1711.14/1711.65	c 1711s |      19 |   640800 |   539382 |     7812    112 |        0 |        0
1713.34/1713.87	c 1713s |      19 |   641561 |   540082 |     7812    112 |        0 |        0
1715.43/1716.00	c 1715s |      19 |   642162 |   540582 |     7812    113 |        0 |        0
1717.74/1718.22	c 1717s |      19 |   642962 |   541282 |     7812    113 |        0 |        0
1719.83/1720.30	c 1720s |      19 |   643557 |   541782 |     7812    113 |        0 |        0
1721.93/1722.47	c 1722s |      19 |   644199 |   542382 |     7812    113 |        0 |        0
1724.13/1724.63	c 1724s |      19 |   644878 |   542982 |     7812    113 |        0 |        0
1726.43/1726.95	c 1726s |      19 |   645540 |   543582 |     7812    113 |        0 |        0
1728.53/1729.08	c 1728s |      19 |   646188 |   544182 |     7812    113 |        0 |        0
1730.83/1731.35	c 1731s |      19 |   646921 |   544782 |     7812    113 |        0 |        0
1732.83/1733.36	c 1733s |      19 |   647566 |   545282 |     7812    113 |        0 |        0
1734.93/1735.46	c 1735s |      19 |   648136 |   545782 |     7812    113 |        0 |        0
1737.33/1737.83	c 1737s |      19 |   648637 |   546182 |     7812    114 |        0 |        0
1739.33/1739.87	c 1739s |      19 |   649467 |   546882 |     7812    114 |        0 |        0
1741.62/1742.12	c 1741s |      19 |   650490 |   547682 |     7812    114 |        0 |        0
1743.63/1744.16	c 1743s |      19 |   651319 |   548282 |     7812    114 |        0 |        0
1746.03/1746.50	c 1746s |      19 |   652150 |   548982 |     7812    114 |        0 |        0
1748.03/1748.59	c 1748s |      19 |   652898 |   549582 |     7812    114 |        0 |        0
1750.33/1750.85	c 1750s |      19 |   653813 |   550382 |     7812    114 |        0 |        0
1752.52/1753.09	c 1752s |      19 |   654634 |   551082 |     7812    114 |        0 |        0
1754.62/1755.15	c 1754s |      19 |   655317 |   551682 |     7812    114 |        0 |        0
1756.82/1757.37	c 1757s |      19 |   656012 |   552282 |     7812    115 |        0 |        0
1758.82/1759.39	c 1759s |      19 |   656833 |   552982 |     7812    115 |        0 |        0
1761.23/1761.74	c 1761s |      19 |   657617 |   553682 |     7812    115 |        0 |        0
1763.33/1763.82	c 1763s |      19 |   658316 |   554282 |     7812    115 |        0 |        0
1765.62/1766.14	c 1765s |      19 |   658972 |   554882 |     7812    115 |        0 |        0
1767.72/1768.24	c 1767s |      19 |   659666 |   555482 |     7812    115 |        0 |        0
1769.92/1770.49	c 1770s |      19 |   660372 |   556082 |     7812    115 |        0 |        0
1772.33/1772.87	c 1772s |      19 |   661046 |   556682 |     7812    115 |        0 |        0
1774.43/1774.95	c 1774s |      19 |   661611 |   557182 |     7812    115 |        0 |        0
1776.52/1777.01	c 1776s |      19 |   662086 |   557582 |     7812    116 |        0 |        0
1778.62/1779.13	c 1778s |      19 |   662913 |   558282 |     7812    116 |        0 |        0
1780.62/1781.19	c 1780s |      19 |   663692 |   558882 |     7812    116 |        0 |        0
1782.82/1783.31	c 1783s |      19 |   664350 |   559482 |     7812    116 |        0 |        0
1785.02/1785.58	c 1785s |      19 |   664979 |   560082 |     7812    116 |        0 |        0
1787.13/1787.64	c 1787s |      19 |   665501 |   560582 |     7812    116 |        0 |        0
1789.33/1789.86	c 1789s |      19 |   666241 |   561182 |     7812    116 |        0 |        0
1791.43/1791.95	c 1791s |      19 |   666948 |   561782 |     7812    116 |        0 |        0
1793.62/1794.10	c 1793s |      19 |   667617 |   562382 |     7812    116 |        0 |        0
1796.32/1796.84	c 1796s |      19 |   668296 |   562982 |     7812    117 |        0 |        0
1798.62/1799.11	c 1798s |      19 |   669146 |   563682 |     7812    117 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093409-1466084261/watcher-4093409-1466084261 -o /tmp/evaluation-result-4093409-1466084261/solver-4093409-1466084261 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466075236-16166 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093409-1466084261.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.28 2.35 2.30 3/181 17055
/proc/meminfo: memFree=28100560/32872528 swapFree=1504664/1684536
[pid=17055] ppid=17052 vsize=743868 CPUtime=0 cores=0,2,4,6
/proc/17055/stat : 17055 (toysat) R 17052 17055 12407 0 -1 4202496 2781 0 0 0 0 0 0 0 20 0 4 0 10471993 761720832 3142 33554432000 4194304 16246674 140734332027360 140734332026784 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17055/statm: 186735 3151 441 2943 0 183629 0
[pid=17055/tid=17056] ppid=17052 vsize=762300 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17056/stat : 17056 (toysat) S 17052 17055 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10471993 780595200 3212 33554432000 4194304 16246674 140734332027360 140077194783984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17055/tid=17057] ppid=17052 vsize=766396 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17057/stat : 17057 (toysat) S 17052 17055 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10471993 784789504 3228 33554432000 4194304 16246674 140734332027360 140077184294128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17055/tid=17058] ppid=17052 vsize=770492 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17058/stat : 17058 (toysat) S 17052 17055 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10471993 788983808 3246 33554432000 4194304 16246674 140734332027360 140077070019760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.28 2.35 2.30 3/181 17055
/proc/meminfo: memFree=28100560/32872528 swapFree=1504664/1684536
[pid=17055] ppid=17052 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/17055/stat : 17055 (toysat) R 17052 17055 12407 0 -1 4202496 25844 0 0 0 6 3 0 0 20 0 4 0 10471993 1247350784 26199 33554432000 4194304 16246674 140734332027360 140734332026784 12400590 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17055/statm: 304529 26205 605 2943 0 301423 0
[pid=17055/tid=17056] ppid=17052 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17056/stat : 17056 (toysat) S 17052 17055 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10471993 1247350784 26211 33554432000 4194304 16246674 140734332027360 140077194783984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17055/tid=17057] ppid=17052 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17057/stat : 17057 (toysat) S 17052 17055 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10471993 1247350784 26219 33554432000 4194304 16246674 140734332027360 140077184294128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17055/tid=17058] ppid=17052 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17058/stat : 17058 (toysat) S 17052 17055 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10471993 1247350784 26225 33554432000 4194304 16246674 140734332027360 140077070019760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200499 s]
/proc/loadavg: 2.28 2.35 2.30 3/181 17055
/proc/meminfo: memFree=28100560/32872528 swapFree=1504664/1684536
[pid=17055] ppid=17052 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/17055/stat : 17055 (toysat) R 17052 17055 12407 0 -1 4202496 48035 0 0 0 13 6 0 0 20 0 4 0 10471993 1247350784 48383 33554432000 4194304 16246674 140734332027360 140734332026784 5530837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17055/statm: 304529 48398 744 2943 0 301423 0
[pid=17055/tid=17056] ppid=17052 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17056/stat : 17056 (toysat) S 17052 17055 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10471993 1247350784 48408 33554432000 4194304 16246674 140734332027360 140077194783984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17055/tid=17057] ppid=17052 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17057/stat : 17057 (toysat) S 17052 17055 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10471993 1247350784 48417 33554432000 4194304 16246674 140734332027360 140077184294128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17055/tid=17058] ppid=17052 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17058/stat : 17058 (toysat) S 17052 17055 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10471993 1247350784 48428 33554432000 4194304 16246674 140734332027360 140077070019760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300497 s]
/proc/loadavg: 2.28 2.35 2.30 3/181 17055
/proc/meminfo: memFree=28100560/32872528 swapFree=1504664/1684536
[pid=17055] ppid=17052 vsize=1220164 CPUtime=0.29 cores=0,2,4,6
/proc/17055/stat : 17055 (toysat) R 17052 17055 12407 0 -1 4202496 71043 0 0 0 20 9 0 0 20 0 4 0 10471993 1249447936 71369 33554432000 4194304 16246674 140734332027360 140734332026784 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17055/statm: 305041 71373 836 2943 0 301935 0
[pid=17055/tid=17056] ppid=17052 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17056/stat : 17056 (toysat) S 17052 17055 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10471993 1249447936 71377 33554432000 4194304 16246674 140734332027360 140077194783984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17055/tid=17057] ppid=17052 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17057/stat : 17057 (toysat) S 17052 17055 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10471993 1249447936 71379 33554432000 4194304 16246674 140734332027360 140077184294128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17055/tid=17058] ppid=17052 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17058/stat : 17058 (toysat) S 17052 17055 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10471993 1249447936 71382 33554432000 4194304 16246674 140734332027360 140077070019760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700443 s]
/proc/loadavg: 2.28 2.35 2.30 3/181 17055
/proc/meminfo: memFree=28100560/32872528 swapFree=1504664/1684536
[pid=17055] ppid=17052 vsize=1306180 CPUtime=0.69 cores=0,2,4,6
/proc/17055/stat : 17055 (toysat) R 17052 17055 12407 0 -1 4202496 85924 0 0 0 58 11 0 0 20 0 4 0 10471993 1337528320 86249 33554432000 4194304 16246674 140734332027360 140734332026672 5513048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17055/statm: 326545 86249 868 2943 0 323439 0
[pid=17055/tid=17056] ppid=17052 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17056/stat : 17056 (toysat) S 17052 17055 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10471993 1337528320 86249 33554432000 4194304 16246674 140734332027360 140077194783984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17055/tid=17057] ppid=17052 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17057/stat : 17057 (toysat) S 17052 17055 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10471993 1337528320 86249 33554432000 4194304 16246674 140734332027360 140077184294128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17055/tid=17058] ppid=17052 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17058/stat : 17058 (toysat) S 17052 17055 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10471993 1337528320 86249 33554432000 4194304 16246674 140734332027360 140077070019760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1306180

[startup+1.50043 s]
/proc/loadavg: 2.34 2.36 2.30 4/185 17059
/proc/meminfo: memFree=27729720/32872528 swapFree=1504664/1684536
[pid=17055] ppid=17052 vsize=1306180 CPUtime=1.49 cores=0,2,4,6
/proc/17055/stat : 17055 (toysat) R 17052 17055 12407 0 -1 4202496 182487 0 0 0 125 24 0 0 20 0 4 0 10471993 1337528320 182812 33554432000 4194304 16246674 140734332027360 140734332009280 5722241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17055/statm: 326545 182826 868 2943 0 323439 0
[pid=17055/tid=17056] ppid=17052 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17056/stat : 17056 (toysat) S 17052 17055 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10471993 1337528320 182838 33554432000 4194304 16246674 140734332027360 140077194783984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17055/tid=17057] ppid=17052 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17057/stat : 17057 (toysat) S 17052 17055 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10471993 1337528320 182850 33554432000 4194304 16246674 140734332027360 140077184294128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17055/tid=17058] ppid=17052 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17058/stat : 17058 (toysat) S 17052 17055 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10471993 1337528320 182862 33554432000 4194304 16246674 140734332027360 140077070019760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1306180

[startup+3.10044 s]
/proc/loadavg: 2.34 2.36 2.30 4/185 17059
/proc/meminfo: memFree=27011388/32872528 swapFree=1504664/1684536
[pid=17055] ppid=17052 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/17055/stat : 17055 (toysat) R 17052 17055 12407 0 -1 4202496 267916 0 0 0 274 35 0 0 20 0 4 0 10471993 1338576896 268241 33554432000 4194304 16246674 140734332027360 140734332009280 5545907 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17055/statm: 326801 268241 868 2943 0 323695 0
[pid=17055/tid=17056] ppid=17052 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17056/stat : 17056 (toysat) S 17052 17055 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10471993 1338576896 268241 33554432000 4194304 16246674 140734332027360 140077194783984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17055/tid=17057] ppid=17052 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17057/stat : 17057 (toysat) S 17052 17055 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10471993 1338576896 268241 33554432000 4194304 16246674 140734332027360 140077184294128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17055/tid=17058] ppid=17052 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17058/stat : 17058 (toysat) S 17052 17055 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10471993 1338576896 268241 33554432000 4194304 16246674 140734332027360 140077070019760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30046 s]
/proc/loadavg: 2.34 2.36 2.30 4/185 17059
/proc/meminfo: memFree=27010604/32872528 swapFree=1504664/1684536
[pid=17055] ppid=17052 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/17055/stat : 17055 (toysat) R 17052 17055 12407 0 -1 4202496 268176 0 0 0 594 35 0 0 20 0 4 0 10471993 1339625472 268501 33554432000 4194304 16246674 140734332027360 140734332026536 5545988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17055/statm: 327057 268501 872 2943 0 323951 0
[pid=17055/tid=17056] ppid=17052 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17056/stat : 17056 (toysat) S 17052 17055 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10471993 1339625472 268501 33554432000 4194304 16246674 140734332027360 140077194783984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17055/tid=17057] ppid=17052 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17057/stat : 17057 (toysat) S 17052 17055 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10471993 1339625472 268501 33554432000 4194304 16246674 140734332027360 140077184294128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17055/tid=17058] ppid=17052 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17058/stat : 17058 (toysat) S 17052 17055 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10471993 1339625472 268501 33554432000 4194304 16246674 140734332027360 140077070019760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.36 2.36 2.30 3/185 17059
/proc/meminfo: memFree=27010272/32872528 swapFree=1504664/1684536
[pid=17055] ppid=17052 vsize=1309252 CPUtime=12.68 cores=0,2,4,6
/proc/17055/stat : 17055 (toysat) R 17052 17055 12407 0 -1 4202496 268215 0 0 0 1233 35 0 0 20 0 4 0 10471993 1340674048 268540 33554432000 4194304 16246674 140734332027360 140734332009280 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17055/statm: 327313 268540 873 2943 0 324207 0
[pid=17055/tid=17056] ppid=17052 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17056/stat : 17056 (toysat) S 17052 17055 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10471993 1340674048 268540 33554432000 4194304 16246674 140734332027360 140077194783984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17055/tid=17057] ppid=17052 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17057/stat : 17057 (toysat) S 17052 17055 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10471993 1340674048 268540 33554432000 4194304 16246674 140734332027360 140077184294128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17055/tid=17058] ppid=17052 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17058/stat : 17058 (toysat) S 17052 17055 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10471993 1340674048 268540 33554432000 4194304 16246674 140734332027360 140077070019760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.30 2.35 2.30 3/185 17059
/proc/meminfo: memFree=26946920/32872528 swapFree=1504664/1684536
[pid=17055] ppid=17052 vsize=1309252 CPUtime=25.49 cores=0,2,4,6
/proc/17055/stat : 17055 (toysat) R 17052 17055 12407 0 -1 4202496 268435 0 0 0 2513 36 0 0 20 0 4 0 10471993 1340674048 268760 33554432000 4194304 16246674 140734332027360 140734332009280 5545903 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17055/statm: 327313 268760 875 2943 0 324207 0
[pid=17055/tid=17056] ppid=17052 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17056/stat : 17056 (toysat) S 17052 17055 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10471993 1340674048 268760 33554432000 4194304 16246674 140734332027360 140077194783984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17055/tid=17057] ppid=17052 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17057/stat : 17057 (toysat) S 17052 17055 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10471993 1340674048 268760 33554432000 4194304 16246674 140734332027360 140077184294128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17055/tid=17058] ppid=17052 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17058/stat : 17058 (toysat) S 17052 17055 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10471993 1340674048 268760 33554432000 4194304 16246674 140734332027360 140077070019760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1309252

[startup+51.1004 s]
/proc/loadavg: 2.27 2.33 2.30 4/185 17108
/proc/meminfo: memFree=28193452/32872528 swapFree=1504664/1684536
[pid=17055] ppid=17052 vsize=1313348 CPUtime=51.09 cores=0,2,4,6
/proc/17055/stat : 17055 (toysat) R 17052 17055 12407 0 -1 4202496 269239 0 0 0 5072 37 0 0 20 0 4 0 10471993 1344868352 269564 33554432000 4194304 16246674 140734332027360 140734332026536 5823246 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17055/statm: 328337 269564 875 2943 0 325231 0
[pid=17055/tid=17056] ppid=17052 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17056/stat : 17056 (toysat) S 17052 17055 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10471993 1344868352 269564 33554432000 4194304 16246674 140734332027360 140077194783984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17055/tid=17057] ppid=17052 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17057/stat : 17057 (toysat) S 17052 17055 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10471993 1344868352 269564 33554432000 4194304 16246674 140734332027360 140077184294128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17055/tid=17058] ppid=17052 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17058/stat : 17058 (toysat) S 17052 17055 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10471993 1344868352 269564 33554432000 4194304 16246674 140734332027360 140077070019760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.37 2.35 2.30 3/185 17109
/proc/meminfo: memFree=28181520/32872528 swapFree=1504664/1684536
[pid=17055] ppid=17052 vsize=1318468 CPUtime=102.28 cores=0,2,4,6
/proc/17055/stat : 17055 (toysat) R 17052 17055 12407 0 -1 4202496 270744 0 0 0 10188 40 0 0 20 0 4 0 10471993 1350111232 271064 33554432000 4194304 16246674 140734332027360 140734332009280 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17055/statm: 329617 271064 875 2943 0 326511 0
[pid=17055/tid=17056] ppid=17052 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17056/stat : 17056 (toysat) S 17052 17055 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10471993 1350111232 271064 33554432000 4194304 16246674 140734332027360 140077194783984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17055/tid=17057] ppid=17052 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17057/stat : 17057 (toysat) S 17052 17055 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10471993 1350111232 271064 33554432000 4194304 16246674 140734332027360 140077184294128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17055/tid=17058] ppid=17052 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17058/stat : 17058 (toysat) S 17052 17055 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10471993 1350111232 271064 33554432000 4194304 16246674 140734332027360 140077070019760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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

/proc/17055/task/17058/stat : 17058 (toysat) S 17052 17055 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10471993 1363742720 274392 33554432000 4194304 16246674 140734332027360 140077070019760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1331780

[startup+1362.3 s]
/proc/loadavg: 2.34 2.32 2.27 3/186 17144
/proc/meminfo: memFree=28152644/32872528 swapFree=1504664/1684536
[pid=17055] ppid=17052 vsize=1331780 CPUtime=1361.88 cores=0,2,4,6
/proc/17055/stat : 17055 (toysat) R 17052 17055 12407 0 -1 4202496 274376 0 0 0 136080 108 0 0 20 0 4 0 10471993 1363742720 274392 33554432000 4194304 16246674 140734332027360 140734332009280 13966775 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17055/statm: 332945 274392 875 2943 0 329839 0
[pid=17055/tid=17056] ppid=17052 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17056/stat : 17056 (toysat) S 17052 17055 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10471993 1363742720 274392 33554432000 4194304 16246674 140734332027360 140077194783984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17055/tid=17057] ppid=17052 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17057/stat : 17057 (toysat) S 17052 17055 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10471993 1363742720 274392 33554432000 4194304 16246674 140734332027360 140077184294128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17055/tid=17058] ppid=17052 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17058/stat : 17058 (toysat) S 17052 17055 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10471993 1363742720 274392 33554432000 4194304 16246674 140734332027360 140077070019760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1331780

[startup+1422.3 s]
/proc/loadavg: 2.34 2.32 2.27 3/186 17168
/proc/meminfo: memFree=28152452/32872528 swapFree=1504664/1684536
[pid=17055] ppid=17052 vsize=1331780 CPUtime=1421.88 cores=0,2,4,6
/proc/17055/stat : 17055 (toysat) R 17052 17055 12407 0 -1 4202496 274376 0 0 0 142076 112 0 0 20 0 4 0 10471993 1363742720 274392 33554432000 4194304 16246674 140734332027360 140734332026536 5822432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17055/statm: 332945 274392 875 2943 0 329839 0
[pid=17055/tid=17056] ppid=17052 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17056/stat : 17056 (toysat) S 17052 17055 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10471993 1363742720 274392 33554432000 4194304 16246674 140734332027360 140077194783984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17055/tid=17057] ppid=17052 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17057/stat : 17057 (toysat) S 17052 17055 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10471993 1363742720 274392 33554432000 4194304 16246674 140734332027360 140077184294128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17055/tid=17058] ppid=17052 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17058/stat : 17058 (toysat) S 17052 17055 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10471993 1363742720 274392 33554432000 4194304 16246674 140734332027360 140077070019760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1331780

[startup+1482.3 s]
/proc/loadavg: 2.38 2.34 2.28 3/185 17169
/proc/meminfo: memFree=28153220/32872528 swapFree=1504664/1684536
[pid=17055] ppid=17052 vsize=1331780 CPUtime=1481.87 cores=0,2,4,6
/proc/17055/stat : 17055 (toysat) R 17052 17055 12407 0 -1 4202496 274376 0 0 0 148071 116 0 0 20 0 4 0 10471993 1363742720 274392 33554432000 4194304 16246674 140734332027360 140734332026536 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17055/statm: 332945 274392 875 2943 0 329839 0
[pid=17055/tid=17056] ppid=17052 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17056/stat : 17056 (toysat) S 17052 17055 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10471993 1363742720 274392 33554432000 4194304 16246674 140734332027360 140077194783984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17055/tid=17057] ppid=17052 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17057/stat : 17057 (toysat) S 17052 17055 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10471993 1363742720 274392 33554432000 4194304 16246674 140734332027360 140077184294128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17055/tid=17058] ppid=17052 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17058/stat : 17058 (toysat) S 17052 17055 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10471993 1363742720 274392 33554432000 4194304 16246674 140734332027360 140077070019760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1331780

[startup+1542.31 s]
/proc/loadavg: 2.32 2.33 2.28 3/185 17170
/proc/meminfo: memFree=28152844/32872528 swapFree=1504664/1684536
[pid=17055] ppid=17052 vsize=1331780 CPUtime=1541.86 cores=0,2,4,6
/proc/17055/stat : 17055 (toysat) R 17052 17055 12407 0 -1 4202496 274376 0 0 0 154066 120 0 0 20 0 4 0 10471993 1363742720 274392 33554432000 4194304 16246674 140734332027360 140734332009280 6010504 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17055/statm: 332945 274392 875 2943 0 329839 0
[pid=17055/tid=17056] ppid=17052 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17056/stat : 17056 (toysat) S 17052 17055 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10471993 1363742720 274392 33554432000 4194304 16246674 140734332027360 140077194783984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17055/tid=17057] ppid=17052 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17057/stat : 17057 (toysat) S 17052 17055 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10471993 1363742720 274392 33554432000 4194304 16246674 140734332027360 140077184294128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17055/tid=17058] ppid=17052 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17058/stat : 17058 (toysat) S 17052 17055 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10471993 1363742720 274392 33554432000 4194304 16246674 140734332027360 140077070019760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1331780

[startup+1602.3 s]
/proc/loadavg: 2.35 2.33 2.28 3/185 17171
/proc/meminfo: memFree=28153108/32872528 swapFree=1504664/1684536
[pid=17055] ppid=17052 vsize=1332804 CPUtime=1601.85 cores=0,2,4,6
/proc/17055/stat : 17055 (toysat) R 17052 17055 12407 0 -1 4202496 274408 0 0 0 160061 124 0 0 20 0 4 0 10471993 1364791296 274424 33554432000 4194304 16246674 140734332027360 140734332026536 5722656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17055/statm: 333201 274424 875 2943 0 330095 0
[pid=17055/tid=17056] ppid=17052 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17056/stat : 17056 (toysat) S 17052 17055 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10471993 1364791296 274424 33554432000 4194304 16246674 140734332027360 140077194783984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17055/tid=17057] ppid=17052 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17057/stat : 17057 (toysat) S 17052 17055 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10471993 1364791296 274424 33554432000 4194304 16246674 140734332027360 140077184294128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17055/tid=17058] ppid=17052 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17058/stat : 17058 (toysat) S 17052 17055 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10471993 1364791296 274424 33554432000 4194304 16246674 140734332027360 140077070019760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1332804

[startup+1662.3 s]
/proc/loadavg: 2.30 2.31 2.27 3/185 17173
/proc/meminfo: memFree=28151992/32872528 swapFree=1504664/1684536
[pid=17055] ppid=17052 vsize=1332804 CPUtime=1661.84 cores=0,2,4,6
/proc/17055/stat : 17055 (toysat) R 17052 17055 12407 0 -1 4202496 274632 0 0 0 166057 127 0 0 20 0 4 0 10471993 1364791296 274648 33554432000 4194304 16246674 140734332027360 140734332026536 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17055/statm: 333201 274648 875 2943 0 330095 0
[pid=17055/tid=17056] ppid=17052 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17056/stat : 17056 (toysat) S 17052 17055 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10471993 1364791296 274648 33554432000 4194304 16246674 140734332027360 140077194783984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17055/tid=17057] ppid=17052 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17057/stat : 17057 (toysat) S 17052 17055 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10471993 1364791296 274648 33554432000 4194304 16246674 140734332027360 140077184294128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17055/tid=17058] ppid=17052 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17058/stat : 17058 (toysat) S 17052 17055 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10471993 1364791296 274648 33554432000 4194304 16246674 140734332027360 140077070019760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1332804

[startup+1722.3 s]
/proc/loadavg: 2.31 2.31 2.27 4/185 17174
/proc/meminfo: memFree=28151996/32872528 swapFree=1504664/1684536
[pid=17055] ppid=17052 vsize=1332804 CPUtime=1721.83 cores=0,2,4,6
/proc/17055/stat : 17055 (toysat) R 17052 17055 12407 0 -1 4202496 274632 0 0 0 172052 131 0 0 20 0 4 0 10471993 1364791296 274648 33554432000 4194304 16246674 140734332027360 140734332026536 5545752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17055/statm: 333201 274648 875 2943 0 330095 0
[pid=17055/tid=17056] ppid=17052 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17056/stat : 17056 (toysat) S 17052 17055 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10471993 1364791296 274648 33554432000 4194304 16246674 140734332027360 140077194783984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17055/tid=17057] ppid=17052 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17057/stat : 17057 (toysat) S 17052 17055 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10471993 1364791296 274648 33554432000 4194304 16246674 140734332027360 140077184294128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17055/tid=17058] ppid=17052 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17058/stat : 17058 (toysat) S 17052 17055 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10471993 1364791296 274648 33554432000 4194304 16246674 140734332027360 140077070019760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1332804

[startup+1782.3 s]
/proc/loadavg: 2.42 2.34 2.28 3/185 17175
/proc/meminfo: memFree=28140340/32872528 swapFree=1504664/1684536
[pid=17055] ppid=17052 vsize=1332804 CPUtime=1781.82 cores=0,2,4,6
/proc/17055/stat : 17055 (toysat) R 17052 17055 12407 0 -1 4202496 274632 0 0 0 178048 134 0 0 20 0 4 0 10471993 1364791296 274648 33554432000 4194304 16246674 140734332027360 140734332026536 5553760 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17055/statm: 333201 274648 875 2943 0 330095 0
[pid=17055/tid=17056] ppid=17052 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17056/stat : 17056 (toysat) S 17052 17055 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10471993 1364791296 274648 33554432000 4194304 16246674 140734332027360 140077194783984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17055/tid=17057] ppid=17052 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17057/stat : 17057 (toysat) S 17052 17055 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10471993 1364791296 274648 33554432000 4194304 16246674 140734332027360 140077184294128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17055/tid=17058] ppid=17052 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17058/stat : 17058 (toysat) S 17052 17055 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10471993 1364791296 274648 33554432000 4194304 16246674 140734332027360 140077070019760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1332804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.40 2.34 2.28 3/185 17175
/proc/meminfo: memFree=28140712/32872528 swapFree=1504664/1684536
[pid=17055] ppid=17052 vsize=1332804 CPUtime=1800.02 cores=0,2,4,6
/proc/17055/stat : 17055 (toysat) R 17052 17055 12407 0 -1 4202496 274632 0 0 0 179866 136 0 0 20 0 4 0 10471993 1364791296 274648 33554432000 4194304 16246674 140734332027360 140734332026536 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17055/statm: 333201 274648 875 2943 0 330095 0
[pid=17055/tid=17056] ppid=17052 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17056/stat : 17056 (toysat) S 17052 17055 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10471993 1364791296 274648 33554432000 4194304 16246674 140734332027360 140077194783984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17055/tid=17057] ppid=17052 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17057/stat : 17057 (toysat) S 17052 17055 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10471993 1364791296 274648 33554432000 4194304 16246674 140734332027360 140077184294128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17055/tid=17058] ppid=17052 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17058/stat : 17058 (toysat) S 17052 17055 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10471993 1364791296 274648 33554432000 4194304 16246674 140734332027360 140077070019760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1332804

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

[startup+1800.5 s]
/proc/loadavg: 2.40 2.34 2.28 3/185 17175
/proc/meminfo: memFree=28140712/32872528 swapFree=1504664/1684536
[pid=17055] ppid=17052 vsize=1332804 CPUtime=1800.02 cores=0,2,4,6
/proc/17055/stat : 17055 (toysat) R 17052 17055 12407 0 -1 4202496 274632 0 0 0 179866 136 0 0 20 0 4 0 10471993 1364791296 274648 33554432000 4194304 16246674 140734332027360 140734332026536 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17055/statm: 333201 274648 875 2943 0 330095 0
[pid=17055/tid=17056] ppid=17052 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17056/stat : 17056 (toysat) S 17052 17055 12407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10471993 1364791296 274648 33554432000 4194304 16246674 140734332027360 140077194783984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17055/tid=17057] ppid=17052 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17057/stat : 17057 (toysat) S 17052 17055 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10471993 1364791296 274648 33554432000 4194304 16246674 140734332027360 140077184294128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17055/tid=17058] ppid=17052 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/17055/task/17058/stat : 17058 (toysat) S 17052 17055 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10471993 1364791296 274648 33554432000 4194304 16246674 140734332027360 140077070019760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1332804

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1798.67
CPU system time (s): 1.36479
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 1332804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.67
system time used= 1.36479
maximum resident set size= 1098592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274632
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= 321
involuntary context switches= 1864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.83311 second user time and 7.49486 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-16 15:37:41
IDJOB=4093409
IDBENCH=78723
IDSOLVER=2553
FILE ID=node135/4093409-1466084261
RUNJOBID= node135-1466075236-16166
PBS_JOBID= 19904004
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-61-60--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-4093409-1466084261/watcher-4093409-1466084261 -o /tmp/evaluation-result-4093409-1466084261/solver-4093409-1466084261 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466075236-16166 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093409-1466084261.wbo

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

MD5SUM BENCH= 93dc403e7aa7832c1308ab9b3db02163
RANDOM SEED=1660904831

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28100824 kB
Buffers:           31424 kB
Cached:           105372 kB
SwapCached:         2276 kB
Active:          2319868 kB
Inactive:          58920 kB
Active(anon):    2242740 kB
Inactive(anon):     1492 kB
Active(file):      77128 kB
Inactive(file):    57428 kB
Unevictable:     1684536 kB
Mlocked:         1504664 kB
SwapTotal:      67108856 kB
SwapFree:       67099236 kB
Dirty:             16348 kB
Writeback:             0 kB
AnonPages:       3929324 kB
Mapped:            10812 kB
Shmem:                 0 kB
Slab:             566516 kB
SReclaimable:      10792 kB
SUnreclaim:       555724 kB
KernelStack:        1528 kB
PageTables:        11644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4073024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1898496 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= 71704 MiB
End job on node135 at 2016-06-16 16:07:41