Trace number 4090219

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.08 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
Instances3col_OPB/normalized-3col-almost3reg-l070-r069-n1.opb
MD5SUMd76c96017b581f63aaf0b7b87bca4e40
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3831
Total number of constraints8138
Number of constraints which are clauses6861
Number of constraints which are cardinality constraints (but not clauses)1277
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
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-16T03:01:31+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4090219-1466038891.opb"]
0.00/0.01	c use --random-gen="2234117431 3112530938 1184360226 17641492 3953826554 2219111769 1018949756 2352104365 4256819938 2257190249 2981845698 874014299 1765923780 1448001798 3039835339 3041356712 74619254 2763838499 138547795 872970013 3503111347 1371844307 2672158124 4109962718 25609028 2942724375 316539963 3666324114 8433682 232564568 3614745345 2193276528 3706833303 4208543545 1523409919 2113442964 4269100012 1426512228 2211443274 3578477786 2427173133 3035082051 392180555 3344693857 489970779 2167262506 958546107 1995574545 1886267282 4282836097 3879776441 3839643459 3914969438 3811162114 1611950080 993001730 3028750792 927498967 2233000748 221741735 182791970 1665743411 3725626154 1687566349 201542092 1270659522 1097054352 2562328671 4030966463 105551228 348151956 745019392 172683437 4241624058 1898744323 108707411 2188937103 3259310307 4250243805 3102603879 914323974 66193059 3296382471 34381813 2471317402 1513305850 2144416986 3760536474 2352883936 2401277933 1257138543 2915657703 3593225447 643877504 1945837538 406164843 1717348467 3831047408 2431712725 2970541385 3863036858 3683990629 3587782806 839662206 1686166961 2754265559 3203887360 4233676150 760006750 3041685293 3812086716 3374337820 4259580500 2781849769 775340712 3987294959 1995670067 2739754773 1959327910 3694558206 1062378369 3888378026 1000955540 3354016558 823141716 1201445292 844379835 1618519019 3754227123 1611580162 3148621337 2643767299 3492047974 3750813171 3288597029 2412764899 4029418384 149380287 1527240037 3862732122 4287565653 568361114 440740871 1222026039 3264409606 3488121080 1242724228 2585082502 372126856 3874875894 1593335762 1934433147 4171694398 2150982997 3308743007 2826610238 2215819551 1636730042 1394081427 2469915232 2448015061 703564594 1846056858 2158948252 2768808230 789125174 190009591 3337580427 706314122 3524908424 769640157 1298112903 2409268437 23838652 3652219538 2530178592 2719604057 3452898013 1512441459 2438647989 654938188 1209668467 808140210 2454248285 195568209 2180937645 3260198455 3554920485 581280258 2360092454 451492739 3346725808 997063352 3211116513 3212124768 501804177 1167114370 2639511268 1245537817 824075388 4120005579 2536228988 3434167892 3861726347 101968012 3567751538 851138837 2624036132 2485183832 45861254 38605035 1410327312 1344938523 2656011492 3861189132 3306252195 3095163354 1423674627 1778521182 1444168208 3044917858 2784139763 3286469451 266487293 2940119307 2434360800 2648654804 1100736364 974488634 1453673731 3524388456 415210949 360160019 825263199 4142161955 2537557296 2728226678 2619346243 906263218 2257721822 70382733 3923636159 1789806544 3627869792 3122056594 4113173552 2005380948 4287098930 2447039228 2101344003 3545596625 1241623097 2483733301 1876383299 2279503615 2191026289 255 362436" option to reproduce the execution
0.00/0.06	c #vars 3831
0.00/0.06	c #constraints 8138
0.08/0.18	c Solving starts ...
0.08/0.18	c ============================[ Search Statistics ]============================
0.08/0.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.18	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.18	c =============================================================================
0.08/0.33	c  0.0s |       0 |        0 |        0 |     4415      0 |        0 |        0
0.08/0.33	c  0.1s |       1 |     8874 |      100 |     4415      0 |        0 |        0
0.49/0.51	c  0.3s |       2 |    24793 |      250 |     4857      0 |        0 |        0
1.08/1.11	c  0.9s |       3 |    57393 |      475 |     5343      0 |        0 |        0
1.89/1.96	c  1.8s |       4 |    98530 |      813 |     5878      0 |        0 |        0
2.49/2.54	c  2.4s |       5 |   107164 |     1320 |     6466      0 |        0 |        0
3.29/3.39	c  3.2s |       6 |   110281 |     2081 |     7825      0 |        0 |        0
4.79/4.87	c  4.7s |       7 |   117836 |     3223 |     8608      0 |        0 |        0
6.89/6.99	c  6.8s |       7 |   147857 |     4723 |     8608      0 |        0 |        0
7.19/7.28	c  7.1s |       8 |   148641 |     4936 |     9469      0 |        0 |        0
9.29/9.34	c  9.2s |       8 |   169462 |     6636 |     9469      0 |        0 |        0
10.49/10.55	c 10.4s |       9 |   170436 |     7506 |    10416      0 |        0 |        0
12.49/12.60	c 12.4s |       9 |   175520 |     9006 |    10416      0 |        0 |        0
14.59/14.66	c 14.5s |       9 |   177432 |    10406 |    10416      0 |        0 |        0
16.08/16.17	c 16.0s |      10 |   178507 |    11361 |    11458      1 |        0 |        0
18.18/18.26	c 18.1s |      10 |   211896 |    12661 |    11458      1 |        0 |        0
20.18/20.27	c 20.1s |      10 |   217797 |    13961 |    11458      1 |        0 |        0
22.29/22.38	c 22.2s |      10 |   219401 |    15061 |    11458      1 |        0 |        0
24.39/24.49	c 24.3s |      10 |   221366 |    16261 |    11458      1 |        0 |        0
26.08/26.18	c 26.0s |      11 |   222315 |    17144 |    12604      1 |        0 |        0
28.38/28.45	c 28.3s |      11 |   236865 |    18044 |    12604      1 |        0 |        0
30.68/30.70	c 30.5s |      11 |   237425 |    18544 |    12604      1 |        0 |        0
32.78/32.83	c 32.7s |      11 |   238001 |    19044 |    12604      2 |        0 |        0
34.88/34.92	c 34.7s |      11 |   238538 |    19544 |    12604      2 |        0 |        0
36.88/36.98	c 36.8s |      11 |   239095 |    20044 |    12604      2 |        0 |        0
38.98/39.03	c 38.9s |      11 |   241057 |    20744 |    12604      2 |        0 |        0
41.08/41.15	c 41.0s |      11 |   242386 |    21944 |    12604      2 |        0 |        0
43.28/43.31	c 43.1s |      11 |   243576 |    23044 |    12604      2 |        0 |        0
45.29/45.37	c 45.2s |      11 |   244644 |    24044 |    12604      2 |        0 |        0
47.38/47.41	c 47.2s |      11 |   256410 |    25144 |    12604      2 |        0 |        0
48.69/48.74	c 48.6s |      12 |   271750 |    25819 |    13865      3 |        0 |        0
50.68/50.74	c 50.6s |      12 |   305349 |    27119 |    13865      3 |        0 |        0
52.68/52.77	c 52.6s |      12 |   308717 |    28519 |    13865      3 |        0 |        0
54.88/54.90	c 54.7s |      12 |   310250 |    29919 |    13865      3 |        0 |        0
56.98/57.08	c 56.9s |      12 |   311539 |    31119 |    13865      3 |        0 |        0
59.08/59.13	c 59.0s |      12 |   312631 |    32119 |    13865      3 |        0 |        0
61.28/61.33	c 61.2s |      12 |   313826 |    33219 |    13865      3 |        0 |        0
63.38/63.46	c 63.3s |      12 |   315053 |    34319 |    13865      4 |        0 |        0
65.58/65.64	c 65.5s |      12 |   316405 |    35519 |    13865      4 |        0 |        0
67.77/67.84	c 67.7s |      12 |   318992 |    36619 |    13865      4 |        0 |        0
69.77/69.86	c 69.7s |      12 |   320058 |    37619 |    13865      4 |        0 |        0
71.97/72.00	c 71.8s |      12 |   321298 |    38719 |    15252      4 |        0 |        0
72.17/72.23	c 72.1s |      13 |   321423 |    38832 |    15252      4 |        0 |        0
74.27/74.35	c 74.2s |      13 |   330630 |    39732 |    15252      4 |        0 |        0
76.37/76.41	c 76.2s |      13 |   331424 |    40432 |    15252      4 |        0 |        0
78.47/78.57	c 78.4s |      13 |   332202 |    41132 |    15252      4 |        0 |        0
80.58/80.69	c 80.5s |      13 |   372029 |    42032 |    15252      5 |        0 |        0
82.68/82.79	c 82.6s |      13 |   377107 |    43032 |    15252      5 |        0 |        0
84.77/84.87	c 84.7s |      13 |   379706 |    44332 |    15252      5 |        0 |        0
86.97/87.03	c 86.9s |      13 |   385159 |    45532 |    15252      5 |        0 |        0
89.07/89.13	c 88.9s |      13 |   405988 |    46532 |    15252      5 |        0 |        0
91.17/91.20	c 91.0s |      13 |   409529 |    47432 |    15252      5 |        0 |        0
93.37/93.43	c 93.3s |      13 |   410814 |    48332 |    15252      5 |        0 |        0
95.47/95.52	c 95.3s |      13 |   412190 |    49132 |    15252      5 |        0 |        0
97.47/97.58	c 97.4s |      13 |   412990 |    49832 |    15252      5 |        0 |        0
99.57/99.63	c 99.4s |      13 |   414972 |    50932 |    15252      6 |        0 |        0
101.57/101.63	c  101s |      13 |   416292 |    52132 |    15252      6 |        0 |        0
103.58/103.63	c  103s |      13 |   420495 |    53132 |    15252      6 |        0 |        0
105.58/105.66	c  105s |      13 |   422064 |    54332 |    15252      6 |        0 |        0
107.58/107.69	c  107s |      13 |   423348 |    55532 |    15252      6 |        0 |        0
109.88/109.92	c  109s |      13 |   425751 |    56432 |    15252      6 |        0 |        0
111.88/111.94	c  111s |      13 |   426643 |    57232 |    15252      6 |        0 |        0
114.08/114.17	c  113s |      13 |   427635 |    58132 |    16778      6 |        0 |        0
114.68/114.75	c  114s |      14 |   427874 |    58352 |    16778      6 |        0 |        0
117.08/117.10	c  116s |      14 |   437482 |    59452 |    16778      7 |        0 |        0
119.08/119.11	c  118s |      14 |   440191 |    60952 |    16778      7 |        0 |        0
121.07/121.13	c  120s |      14 |   445191 |    62352 |    16778      7 |        0 |        0
123.07/123.14	c  122s |      14 |   446820 |    63752 |    16778      7 |        0 |        0
125.17/125.29	c  125s |      14 |   448328 |    65052 |    16778      7 |        0 |        0
127.37/127.43	c  127s |      14 |   461609 |    66252 |    16778      7 |        0 |        0
129.47/129.52	c  129s |      14 |   464659 |    67352 |    16778      7 |        0 |        0
131.67/131.73	c  131s |      14 |   465636 |    68252 |    16778      8 |        0 |        0
133.77/133.89	c  133s |      14 |   468514 |    69452 |    16778      8 |        0 |        0
135.87/135.94	c  135s |      14 |   469952 |    70452 |    16778      8 |        0 |        0
138.07/138.19	c  138s |      14 |   473183 |    71552 |    16778      8 |        0 |        0
140.27/140.37	c  140s |      14 |   488103 |    72652 |    16778      8 |        0 |        0
142.47/142.55	c  142s |      14 |   490712 |    73752 |    16778      8 |        0 |        0
144.47/144.57	c  144s |      14 |   491702 |    74652 |    16778      8 |        0 |        0
146.67/146.71	c  146s |      14 |   493376 |    75652 |    16778      8 |        0 |        0
148.68/148.74	c  148s |      14 |   494377 |    76552 |    16778      8 |        0 |        0
150.77/150.83	c  150s |      14 |   495405 |    77452 |    16778      9 |        0 |        0
152.97/153.02	c  152s |      14 |   497300 |    78752 |    16778      9 |        0 |        0
154.97/155.03	c  154s |      14 |   498497 |    79852 |    16778      9 |        0 |        0
156.97/157.08	c  156s |      14 |   499573 |    80852 |    16778      9 |        0 |        0
159.17/159.25	c  159s |      14 |   500556 |    81752 |    16778      9 |        0 |        0
161.27/161.37	c  161s |      14 |   501543 |    82652 |    16778      9 |        0 |        0
163.37/163.48	c  163s |      14 |   502829 |    83552 |    16778      9 |        0 |        0
165.67/165.77	c  165s |      14 |   503889 |    84452 |    16778      9 |        0 |        0
167.97/168.06	c  167s |      14 |   504789 |    85252 |    16778      9 |        0 |        0
170.06/170.17	c  169s |      14 |   505492 |    85852 |    16778     10 |        0 |        0
172.26/172.32	c  172s |      14 |   506695 |    86952 |    16778     10 |        0 |        0
173.56/173.65	c  173s |      15 |   507459 |    87632 |    18456     10 |        0 |        0
175.66/175.73	c  175s |      15 |   538258 |    88532 |    18456     10 |        0 |        0
177.76/177.85	c  177s |      15 |   539959 |    89632 |    18456     10 |        0 |        0
179.86/179.94	c  179s |      15 |   541637 |    90632 |    18456     10 |        0 |        0
182.06/182.12	c  181s |      15 |   542723 |    91632 |    18456     10 |        0 |        0
184.16/184.25	c  184s |      15 |   543829 |    92632 |    18456     10 |        0 |        0
186.26/186.35	c  186s |      15 |   545527 |    93632 |    18456     10 |        0 |        0
188.46/188.51	c  188s |      15 |   546646 |    94632 |    18456     10 |        0 |        0
190.47/190.53	c  190s |      15 |   556690 |    95532 |    18456     10 |        0 |        0
192.56/192.67	c  192s |      15 |   586853 |    96332 |    18456     11 |        0 |        0
194.66/194.72	c  194s |      15 |   589032 |    97332 |    18456     11 |        0 |        0
196.76/196.81	c  196s |      15 |   594531 |    98232 |    18456     11 |        0 |        0
198.76/198.88	c  198s |      15 |   597916 |    99232 |    18456     11 |        0 |        0
200.96/201.07	c  200s |      15 |   599110 |   100232 |    18456     11 |        0 |        0
203.06/203.19	c  203s |      15 |   600375 |   101232 |    18456     11 |        0 |        0
205.26/205.35	c  205s |      15 |   601824 |   102232 |    18456     11 |        0 |        0
207.46/207.50	c  207s |      15 |   603081 |   103232 |    18456     11 |        0 |        0
209.56/209.60	c  209s |      15 |   604079 |   104132 |    18456     11 |        0 |        0
211.56/211.67	c  211s |      15 |   605179 |   105132 |    18456     11 |        0 |        0
213.76/213.82	c  213s |      15 |   606301 |   106132 |    18456     12 |        0 |        0
215.86/215.91	c  215s |      15 |   607428 |   107132 |    18456     12 |        0 |        0
217.85/218.00	c  217s |      15 |   608515 |   108132 |    18456     12 |        0 |        0
220.05/220.10	c  219s |      15 |   610172 |   109132 |    18456     12 |        0 |        0
222.25/222.32	c  222s |      15 |   611281 |   110132 |    18456     12 |        0 |        0
224.45/224.51	c  224s |      15 |   612361 |   111032 |    18456     12 |        0 |        0
226.55/226.67	c  226s |      15 |   613451 |   111932 |    18456     12 |        0 |        0
228.75/228.85	c  228s |      15 |   615118 |   112732 |    18456     12 |        0 |        0
230.95/231.03	c  230s |      15 |   616207 |   113632 |    18456     12 |        0 |        0
233.15/233.24	c  233s |      15 |   617130 |   114432 |    18456     12 |        0 |        0
235.45/235.60	c  235s |      15 |   617909 |   115132 |    18456     13 |        0 |        0
237.65/237.73	c  237s |      15 |   646200 |   116132 |    18456     13 |        0 |        0
239.75/239.86	c  239s |      15 |   648104 |   117032 |    18456     13 |        0 |        0
241.85/241.98	c  241s |      15 |   649526 |   117832 |    18456     13 |        0 |        0
243.95/244.01	c  243s |      15 |   650409 |   118632 |    18456     13 |        0 |        0
246.15/246.25	c  246s |      15 |   651309 |   119432 |    18456     13 |        0 |        0
248.35/248.48	c  248s |      15 |   652216 |   120232 |    18456     13 |        0 |        0
250.55/250.61	c  250s |      15 |   652995 |   120932 |    18456     13 |        0 |        0
252.65/252.78	c  252s |      15 |   653881 |   121732 |    18456     13 |        0 |        0
254.95/255.00	c  254s |      15 |   655232 |   122432 |    18456     13 |        0 |        0
257.15/257.22	c  257s |      15 |   656035 |   123132 |    18456     13 |        0 |        0
259.25/259.30	c  259s |      15 |   656882 |   123732 |    18456     13 |        0 |        0
261.25/261.38	c  261s |      15 |   693391 |   124532 |    18456     13 |        0 |        0
263.45/263.57	c  263s |      15 |   694641 |   125032 |    18456     14 |        0 |        0
265.65/265.75	c  265s |      15 |   695412 |   125732 |    18456     14 |        0 |        0
267.95/268.06	c  267s |      15 |   696157 |   126432 |    18456     14 |        0 |        0
269.95/270.07	c  269s |      15 |   696811 |   127032 |    18456     14 |        0 |        0
272.15/272.20	c  272s |      15 |   697456 |   127632 |    18456     14 |        0 |        0
274.15/274.24	c  274s |      15 |   698144 |   128232 |    18456     14 |        0 |        0
276.14/276.27	c  276s |      15 |   698807 |   128832 |    18456     14 |        0 |        0
278.34/278.42	c  278s |      15 |   699470 |   129432 |    18456     14 |        0 |        0
280.44/280.53	c  280s |      15 |   700139 |   130032 |    18456     14 |        0 |        0
282.54/282.65	c  282s |      15 |   700807 |   130632 |    18456     14 |        0 |        0
284.64/284.78	c  284s |      15 |   701456 |   131232 |    20302     14 |        0 |        0
285.94/286.01	c  285s |      16 |   701792 |   131552 |    20302     14 |        0 |        0
287.94/288.02	c  287s |      16 |   713596 |   132152 |    20302     14 |        0 |        0
290.04/290.15	c  289s |      16 |   718183 |   132952 |    20302     14 |        0 |        0
292.44/292.52	c  292s |      16 |   718858 |   133552 |    20302     14 |        0 |        0
294.44/294.54	c  294s |      16 |   719418 |   134052 |    20302     14 |        0 |        0
296.54/296.61	c  296s |      16 |   720000 |   134552 |    20302     14 |        0 |        0
298.74/298.88	c  298s |      16 |   720544 |   135052 |    20302     14 |        0 |        0
301.04/301.17	c  300s |      16 |   721074 |   135552 |    20302     14 |        0 |        0
303.34/303.49	c  303s |      16 |   721618 |   136052 |    20302     14 |        0 |        0
305.74/305.81	c  305s |      16 |   722166 |   136552 |    20302     15 |        0 |        0
307.84/307.95	c  307s |      16 |   723649 |   137252 |    20302     15 |        0 |        0
309.94/310.08	c  309s |      16 |   724767 |   138052 |    20302     15 |        0 |        0
312.04/312.11	c  311s |      16 |   725824 |   138952 |    20302     15 |        0 |        0
314.14/314.25	c  314s |      16 |   726812 |   139852 |    20302     15 |        0 |        0
316.44/316.56	c  316s |      16 |   727891 |   140652 |    20302     15 |        0 |        0
318.44/318.59	c  318s |      16 |   728545 |   141252 |    20302     15 |        0 |        0
320.94/321.05	c  320s |      16 |   729369 |   141752 |    20302     15 |        0 |        0
323.14/323.29	c  323s |      16 |   729823 |   142152 |    20302     15 |        0 |        0
325.24/325.35	c  325s |      16 |   730472 |   142752 |    20302     15 |        0 |        0
327.34/327.42	c  327s |      16 |   732198 |   143452 |    20302     15 |        0 |        0
329.33/329.43	c  329s |      16 |   733705 |   144052 |    20302     15 |        0 |        0
331.34/331.48	c  331s |      16 |   734357 |   144652 |    20302     15 |        0 |        0
333.44/333.58	c  333s |      16 |   736704 |   145252 |    20302     15 |        0 |        0
335.64/335.71	c  335s |      16 |   737649 |   146052 |    20302     15 |        0 |        0
337.84/337.91	c  337s |      16 |   738421 |   146752 |    20302     16 |        0 |        0
339.93/340.00	c  339s |      16 |   739368 |   147652 |    20302     16 |        0 |        0
341.93/342.08	c  341s |      16 |   740346 |   148552 |    20302     16 |        0 |        0
344.13/344.29	c  344s |      16 |   741439 |   149552 |    20302     16 |        0 |        0
346.23/346.33	c  346s |      16 |   742452 |   150452 |    20302     16 |        0 |        0
348.53/348.67	c  348s |      16 |   743412 |   151152 |    20302     16 |        0 |        0
350.83/350.93	c  350s |      16 |   745686 |   151752 |    20302     16 |        0 |        0
352.93/353.03	c  352s |      16 |   746589 |   152452 |    20302     16 |        0 |        0
355.33/355.42	c  355s |      16 |   747131 |   152952 |    20302     16 |        0 |        0
357.83/357.90	c  357s |      16 |   747701 |   153452 |    20302     16 |        0 |        0
360.23/360.32	c  360s |      16 |   748261 |   153952 |    20302     16 |        0 |        0
362.63/362.72	c  362s |      16 |   748802 |   154452 |    20302     16 |        0 |        0
364.93/365.09	c  364s |      16 |   749365 |   154952 |    20302     16 |        0 |        0
367.43/367.53	c  367s |      16 |   749911 |   155452 |    20302     16 |        0 |        0
369.43/369.56	c  369s |      16 |   750341 |   155852 |    20302     16 |        0 |        0
371.73/371.82	c  371s |      16 |   750901 |   156352 |    20302     16 |        0 |        0
374.14/374.27	c  374s |      16 |   751460 |   156852 |    20302     16 |        0 |        0
376.43/376.52	c  376s |      16 |   751888 |   157252 |    20302     17 |        0 |        0
378.53/378.62	c  378s |      16 |   752452 |   157752 |    20302     17 |        0 |        0
380.83/380.97	c  380s |      16 |   753101 |   158352 |    20302     17 |        0 |        0
382.93/383.05	c  382s |      16 |   753912 |   158952 |    20302     17 |        0 |        0
385.13/385.26	c  385s |      16 |   755105 |   160052 |    20302     17 |        0 |        0
387.23/387.31	c  387s |      16 |   756072 |   160952 |    20302     17 |        0 |        0
389.43/389.51	c  389s |      16 |   804758 |   161952 |    20302     17 |        0 |        0
391.52/391.60	c  391s |      16 |   808514 |   163052 |    20302     17 |        0 |        0
393.62/393.71	c  393s |      16 |   809736 |   164152 |    20302     17 |        0 |        0
395.72/395.82	c  395s |      16 |   811021 |   165252 |    20302     17 |        0 |        0
397.82/397.97	c  397s |      16 |   812817 |   166452 |    20302     17 |        0 |        0
400.02/400.20	c  400s |      16 |   813940 |   167452 |    20302     17 |        0 |        0
402.22/402.34	c  402s |      16 |   814938 |   168352 |    20302     18 |        0 |        0
404.22/404.37	c  404s |      16 |   816194 |   169452 |    20302     18 |        0 |        0
406.32/406.45	c  406s |      16 |   817320 |   170452 |    20302     18 |        0 |        0
408.33/408.45	c  408s |      16 |   818478 |   171452 |    20302     18 |        0 |        0
410.32/410.46	c  410s |      16 |   819524 |   172352 |    20302     18 |        0 |        0
412.42/412.54	c  412s |      16 |   820704 |   173352 |    20302     18 |        0 |        0
414.52/414.60	c  414s |      16 |   821894 |   174352 |    20302     18 |        0 |        0
416.62/416.72	c  416s |      16 |   823101 |   175352 |    20302     18 |        0 |        0
418.92/419.01	c  418s |      16 |   824137 |   176252 |    20302     18 |        0 |        0
421.02/421.17	c  420s |      16 |   825200 |   177152 |    20302     18 |        0 |        0
423.12/423.22	c  423s |      16 |   826090 |   177952 |    20302     18 |        0 |        0
425.12/425.28	c  425s |      16 |   826873 |   178652 |    20302     19 |        0 |        0
427.33/427.42	c  427s |      16 |   827977 |   179652 |    20302     19 |        0 |        0
429.53/429.63	c  429s |      16 |   829558 |   180752 |    20302     19 |        0 |        0
431.63/431.72	c  431s |      16 |   830686 |   181752 |    20302     19 |        0 |        0
433.73/433.81	c  433s |      16 |   831783 |   182752 |    20302     19 |        0 |        0
435.83/435.90	c  435s |      16 |   832776 |   183652 |    20302     19 |        0 |        0
437.93/438.10	c  437s |      16 |   834907 |   184552 |    20302     19 |        0 |        0
440.03/440.20	c  440s |      16 |   841420 |   185452 |    20302     19 |        0 |        0
442.33/442.42	c  442s |      16 |   842587 |   186452 |    20302     19 |        0 |        0
444.43/444.54	c  444s |      16 |   843642 |   187352 |    20302     19 |        0 |        0
446.53/446.67	c  446s |      16 |   844580 |   188152 |    20302     19 |        0 |        0
448.72/448.83	c  448s |      16 |   845276 |   188752 |    20302     20 |        0 |        0
450.72/450.89	c  450s |      16 |   846633 |   189852 |    20302     20 |        0 |        0
452.92/453.08	c  452s |      16 |   847951 |   190952 |    20302     20 |        0 |        0
455.02/455.18	c  455s |      16 |   849095 |   191952 |    20302     20 |        0 |        0
457.22/457.32	c  457s |      16 |   850117 |   192852 |    20302     20 |        0 |        0
459.42/459.53	c  459s |      16 |   851137 |   193752 |    20302     20 |        0 |        0
461.52/461.62	c  461s |      16 |   852173 |   194652 |    20302     20 |        0 |        0
463.52/463.63	c  463s |      16 |   853065 |   195452 |    20302     20 |        0 |        0
465.62/465.75	c  465s |      16 |   854125 |   196352 |    22333     20 |        0 |        0
467.82/467.93	c  467s |      16 |   855019 |   197152 |    22333     20 |        0 |        0
468.32/468.42	c  468s |      17 |   855385 |   197432 |    22333     20 |        0 |        0
470.42/470.51	c  470s |      17 |   866110 |   198332 |    22333     20 |        0 |        0
472.42/472.58	c  472s |      17 |   869246 |   199432 |    22333     20 |        0 |        0
474.52/474.63	c  474s |      17 |   870452 |   200432 |    22333     20 |        0 |        0
477.12/477.22	c  477s |      17 |   871459 |   201232 |    22333     21 |        0 |        0
479.22/479.34	c  479s |      17 |   873012 |   202532 |    22333     21 |        0 |        0
481.22/481.35	c  481s |      17 |   874493 |   203732 |    22333     21 |        0 |        0
483.32/483.46	c  483s |      17 |   875698 |   204832 |    22333     21 |        0 |        0
485.33/485.49	c  485s |      17 |   876848 |   205832 |    22333     21 |        0 |        0
487.42/487.59	c  487s |      17 |   878000 |   206832 |    22333     21 |        0 |        0
489.52/489.70	c  489s |      17 |   879171 |   207832 |    22333     21 |        0 |        0
491.62/491.73	c  491s |      17 |   880326 |   208732 |    22333     21 |        0 |        0
493.82/493.95	c  493s |      17 |   883216 |   209632 |    22333     21 |        0 |        0
496.02/496.17	c  495s |      17 |   884229 |   210532 |    22333     21 |        0 |        0
498.22/498.30	c  498s |      17 |   885124 |   211332 |    22333     21 |        0 |        0
500.32/500.47	c  500s |      17 |   886049 |   212132 |    22333     21 |        0 |        0
502.51/502.65	c  502s |      17 |   886824 |   212832 |    22333     22 |        0 |        0
504.61/504.75	c  504s |      17 |   887945 |   213832 |    22333     22 |        0 |        0
506.61/506.79	c  506s |      17 |   889047 |   214832 |    22333     22 |        0 |        0
508.71/508.83	c  508s |      17 |   890052 |   215732 |    22333     22 |        0 |        0
510.71/510.89	c  510s |      17 |   890893 |   216532 |    22333     22 |        0 |        0
513.01/513.12	c  512s |      17 |   891941 |   217432 |    22333     22 |        0 |        0
515.02/515.18	c  515s |      17 |   892825 |   218232 |    22333     22 |        0 |        0
517.12/517.23	c  517s |      17 |   893689 |   219032 |    22333     22 |        0 |        0
519.32/519.49	c  519s |      17 |   898505 |   219832 |    22333     22 |        0 |        0
521.62/521.75	c  521s |      17 |   899508 |   220732 |    22333     22 |        0 |        0
523.82/523.96	c  523s |      17 |   900378 |   221532 |    22333     22 |        0 |        0
526.11/526.24	c  526s |      17 |   901244 |   222332 |    22333     22 |        0 |        0
528.31/528.49	c  528s |      17 |   902236 |   223232 |    22333     22 |        0 |        0
530.61/530.75	c  530s |      17 |   903107 |   224032 |    22333     22 |        0 |        0
532.71/532.86	c  532s |      17 |   904234 |   224532 |    22333     23 |        0 |        0
535.11/535.26	c  535s |      17 |   906075 |   225532 |    22333     23 |        0 |        0
537.21/537.31	c  537s |      17 |   907322 |   226632 |    22333     23 |        0 |        0
539.22/539.34	c  539s |      17 |   908299 |   227532 |    22333     23 |        0 |        0
541.41/541.55	c  541s |      17 |   909415 |   228532 |    22333     23 |        0 |        0
543.41/543.58	c  543s |      17 |   910388 |   229432 |    22333     23 |        0 |        0
545.51/545.61	c  545s |      17 |   911422 |   230332 |    22333     23 |        0 |        0
547.71/547.80	c  547s |      17 |   912427 |   231232 |    22333     23 |        0 |        0
549.71/549.82	c  549s |      17 |   913293 |   232032 |    22333     23 |        0 |        0
551.91/552.03	c  551s |      17 |   914154 |   232832 |    22333     23 |        0 |        0
554.21/554.32	c  554s |      17 |   915011 |   233632 |    22333     23 |        0 |        0
556.21/556.37	c  556s |      17 |   915792 |   234332 |    22333     23 |        0 |        0
558.21/558.39	c  558s |      17 |   916556 |   235032 |    22333     23 |        0 |        0
560.40/560.60	c  560s |      17 |   917190 |   235632 |    22333     24 |        0 |        0
562.50/562.64	c  562s |      17 |   922111 |   236132 |    22333     24 |        0 |        0
564.60/564.73	c  564s |      17 |   923243 |   237132 |    22333     24 |        0 |        0
566.71/566.83	c  566s |      17 |   924338 |   238132 |    22333     24 |        0 |        0
568.81/568.97	c  568s |      17 |   925324 |   239032 |    22333     24 |        0 |        0
570.90/571.00	c  570s |      17 |   928685 |   239832 |    22333     24 |        0 |        0
573.00/573.16	c  572s |      17 |   931602 |   240732 |    22333     24 |        0 |        0
575.00/575.17	c  574s |      17 |   932704 |   241632 |    22333     24 |        0 |        0
577.10/577.21	c  577s |      17 |   933557 |   242432 |    22333     24 |        0 |        0
579.60/579.76	c  579s |      17 |   971784 |   243332 |    22333     24 |        0 |        0
581.90/582.01	c  581s |      17 |   981953 |   244032 |    22333     24 |        0 |        0
584.00/584.10	c  583s |      17 |   982641 |   244632 |    22333     24 |        0 |        0
586.20/586.36	c  586s |      17 |   983411 |   245332 |    22333     24 |        0 |        0
588.50/588.64	c  588s |      17 |   984236 |   246032 |    22333     24 |        0 |        0
590.70/590.89	c  590s |      17 |   985124 |   246832 |    22333     24 |        0 |        0
593.70/593.87	c  593s |      17 |   985909 |   247532 |    22333     25 |        0 |        0
595.80/595.90	c  595s |      17 |   986552 |   248132 |    22333     25 |        0 |        0
597.80/597.92	c  597s |      17 |   987557 |   249032 |    22333     25 |        0 |        0
599.90/600.04	c  599s |      17 |   988552 |   249932 |    22333     25 |        0 |        0
602.10/602.24	c  602s |      17 |   989642 |   250932 |    22333     25 |        0 |        0
604.30/604.40	c  604s |      17 |   991435 |   251932 |    22333     25 |        0 |        0
606.50/606.68	c  606s |      17 |   992595 |   252932 |    22333     25 |        0 |        0
608.50/608.69	c  608s |      17 |   993384 |   253632 |    22333     25 |        0 |        0
610.60/610.72	c  610s |      17 |   994163 |   254332 |    22333     25 |        0 |        0
612.60/612.77	c  612s |      17 |   995030 |   255132 |    22333     25 |        0 |        0
614.70/614.86	c  614s |      17 |   995805 |   255832 |    22333     25 |        0 |        0
616.80/616.96	c  616s |      17 |   996666 |   256632 |    22333     25 |        0 |        0
618.99/619.20	c  619s |      17 |   997542 |   257432 |    22333     25 |        0 |        0
621.39/621.50	c  621s |      17 |   998459 |   258232 |    22333     25 |        0 |        0
623.39/623.54	c  623s |      17 |   999130 |   258832 |    22333     25 |        0 |        0
625.39/625.56	c  625s |      17 |   999800 |   259432 |    22333     26 |        0 |        0
627.59/627.79	c  627s |      17 |  1000884 |   260432 |    22333     26 |        0 |        0
629.69/629.80	c  629s |      17 |  1001908 |   261332 |    22333     26 |        0 |        0
631.99/632.17	c  631s |      17 |  1010327 |   262032 |    22333     26 |        0 |        0
634.49/634.60	c  634s |      17 |  1010873 |   262532 |    22333     26 |        0 |        0
636.69/636.82	c  636s |      17 |  1011528 |   263132 |    22333     26 |        0 |        0
638.99/639.16	c  638s |      17 |  1012298 |   263832 |    22333     26 |        0 |        0
641.29/641.42	c  641s |      17 |  1013185 |   264432 |    22333     26 |        0 |        0
643.70/643.81	c  643s |      17 |  1013839 |   265032 |    22333     26 |        0 |        0
645.80/645.93	c  645s |      17 |  1014386 |   265532 |    22333     26 |        0 |        0
647.79/647.97	c  647s |      17 |  1014923 |   266032 |    22333     26 |        0 |        0
650.09/650.21	c  650s |      17 |  1015455 |   266532 |    22333     26 |        0 |        0
652.40/652.55	c  652s |      17 |  1016126 |   267132 |    22333     26 |        0 |        0
654.49/654.62	c  654s |      17 |  1016687 |   267632 |    22333     26 |        0 |        0
656.90/657.00	c  656s |      17 |  1017344 |   268232 |    22333     26 |        0 |        0
658.89/659.03	c  658s |      17 |  1017888 |   268732 |    22333     26 |        0 |        0
661.09/661.22	c  661s |      17 |  1018471 |   269232 |    22333     26 |        0 |        0
663.19/663.33	c  663s |      17 |  1019009 |   269732 |    22333     26 |        0 |        0
665.29/665.49	c  665s |      17 |  1019552 |   270232 |    22333     26 |        0 |        0
669.18/669.35	c  669s |      17 |  1022096 |   270732 |    22333     27 |        0 |        0
671.48/671.60	c  671s |      17 |  1022765 |   271332 |    22333     27 |        0 |        0
673.78/673.91	c  673s |      17 |  1023431 |   271932 |    22333     27 |        0 |        0
676.08/676.22	c  676s |      17 |  1025385 |   272532 |    22333     27 |        0 |        0
678.28/678.42	c  678s |      17 |  1026022 |   273132 |    22333     27 |        0 |        0
680.48/680.66	c  680s |      17 |  1026697 |   273732 |    22333     27 |        0 |        0
682.58/682.75	c  682s |      17 |  1027375 |   274332 |    22333     27 |        0 |        0
684.88/685.03	c  684s |      17 |  1028036 |   274932 |    22333     27 |        0 |        0
686.98/687.16	c  686s |      17 |  1028565 |   275432 |    22333     27 |        0 |        0
689.38/689.54	c  689s |      17 |  1029241 |   276032 |    22333     27 |        0 |        0
691.38/691.54	c  691s |      17 |  1029798 |   276532 |    22333     27 |        0 |        0
693.48/693.60	c  693s |      17 |  1030343 |   277032 |    22333     27 |        0 |        0
695.48/695.65	c  695s |      17 |  1030872 |   277532 |    22333     27 |        0 |        0
697.59/697.77	c  697s |      17 |  1031422 |   278032 |    22333     27 |        0 |        0
699.98/700.15	c  699s |      17 |  1031955 |   278532 |    22333     27 |        0 |        0
702.48/702.67	c  702s |      17 |  1032501 |   279032 |    22333     27 |        0 |        0
704.68/704.89	c  704s |      17 |  1032937 |   279432 |    22333     27 |        0 |        0
706.98/707.15	c  706s |      17 |  1033475 |   279932 |    22333     27 |        0 |        0
709.18/709.33	c  709s |      17 |  1034033 |   280432 |    22333     27 |        0 |        0
711.28/711.43	c  711s |      17 |  1034563 |   280932 |    22333     27 |        0 |        0
713.48/713.68	c  713s |      17 |  1035104 |   281432 |    22333     27 |        0 |        0
715.78/715.99	c  715s |      17 |  1035634 |   281932 |    22333     27 |        0 |        0
718.38/718.60	c  718s |      17 |  1036153 |   282432 |    22333     28 |        0 |        0
720.87/721.01	c  720s |      17 |  1036403 |   282632 |    22333     28 |        0 |        0
722.88/723.04	c  722s |      17 |  1038798 |   283132 |    22333     28 |        0 |        0
724.98/725.14	c  724s |      17 |  1055789 |   283932 |    22333     28 |        0 |        0
727.07/727.22	c  727s |      17 |  1056523 |   284632 |    22333     28 |        0 |        0
729.17/729.36	c  729s |      17 |  1057325 |   285332 |    22333     28 |        0 |        0
731.17/731.37	c  731s |      17 |  1058007 |   285932 |    22333     28 |        0 |        0
733.27/733.41	c  733s |      17 |  1058665 |   286532 |    22333     28 |        0 |        0
735.37/735.53	c  735s |      17 |  1059403 |   287132 |    22333     28 |        0 |        0
737.57/737.73	c  737s |      17 |  1060058 |   287732 |    22333     28 |        0 |        0
739.77/739.93	c  739s |      17 |  1060950 |   288532 |    22333     28 |        0 |        0
741.76/741.93	c  741s |      17 |  1061604 |   289132 |    22333     28 |        0 |        0
743.86/744.07	c  743s |      17 |  1062254 |   289732 |    22333     28 |        0 |        0
746.06/746.29	c  746s |      17 |  1062913 |   290332 |    22333     28 |        0 |        0
748.46/748.62	c  748s |      17 |  1063561 |   290932 |    22333     28 |        0 |        0
750.76/750.92	c  750s |      17 |  1064194 |   291532 |    22333     28 |        0 |        0
752.96/753.19	c  753s |      17 |  1065226 |   292132 |    22333     28 |        0 |        0
755.26/755.41	c  755s |      17 |  1071130 |   292832 |    22333     28 |        0 |        0
757.56/757.73	c  757s |      17 |  1072022 |   293432 |    22333     28 |        0 |        0
759.76/759.99	c  759s |      17 |  1073180 |   294032 |    22333     28 |        0 |        0
761.95/762.10	c  761s |      17 |  1073633 |   294432 |    24567     29 |        0 |        0
764.06/764.23	c  764s |      17 |  1077296 |   295132 |    24567     29 |        0 |        0
766.16/766.37	c  766s |      17 |  1078082 |   295832 |    24567     29 |        0 |        0
767.56/767.72	c  767s |      18 |  1078559 |   296252 |    24567     29 |        0 |        0
769.56/769.79	c  769s |      18 |  1099278 |   296952 |    24567     29 |        0 |        0
771.65/771.81	c  771s |      18 |  1111255 |   297952 |    24567     29 |        0 |        0
773.95/774.13	c  773s |      18 |  1115203 |   298752 |    24567     29 |        0 |        0
776.05/776.26	c  776s |      18 |  1115874 |   299352 |    24567     29 |        0 |        0
778.35/778.52	c  778s |      18 |  1116662 |   300052 |    24567     29 |        0 |        0
780.65/780.80	c  780s |      18 |  1117458 |   300752 |    24567     29 |        0 |        0
782.85/783.00	c  782s |      18 |  1118124 |   301352 |    24567     29 |        0 |        0
784.85/785.06	c  784s |      18 |  1118667 |   301852 |    24567     29 |        0 |        0
787.05/787.20	c  787s |      18 |  1119222 |   302352 |    24567     29 |        0 |        0
789.05/789.23	c  789s |      18 |  1119764 |   302852 |    24567     29 |        0 |        0
791.24/791.44	c  791s |      18 |  1120870 |   303552 |    24567     29 |        0 |        0
793.34/793.57	c  793s |      18 |  1121661 |   304252 |    24567     29 |        0 |        0
795.45/795.65	c  795s |      18 |  1122426 |   304952 |    24567     29 |        0 |        0
797.44/797.66	c  797s |      18 |  1123339 |   305752 |    24567     29 |        0 |        0
799.54/799.78	c  799s |      18 |  1124184 |   306552 |    24567     29 |        0 |        0
801.74/801.97	c  801s |      18 |  1125095 |   307352 |    24567     29 |        0 |        0
803.84/804.03	c  803s |      18 |  1125738 |   307952 |    24567     30 |        0 |        0
805.84/806.05	c  805s |      18 |  1127465 |   308752 |    24567     30 |        0 |        0
807.94/808.10	c  807s |      18 |  1130456 |   309852 |    24567     30 |        0 |        0
810.04/810.22	c  810s |      18 |  1152089 |   310852 |    24567     30 |        0 |        0
812.13/812.34	c  812s |      18 |  1152827 |   311552 |    24567     30 |        0 |        0
814.43/814.64	c  814s |      18 |  1153699 |   312352 |    24567     30 |        0 |        0
816.63/816.87	c  816s |      18 |  1173463 |   313352 |    24567     30 |        0 |        0
818.83/819.02	c  818s |      18 |  1173993 |   313852 |    24567     30 |        0 |        0
821.23/821.40	c  821s |      18 |  1174536 |   314352 |    24567     30 |        0 |        0
823.63/823.85	c  823s |      18 |  1175192 |   314952 |    24567     30 |        0 |        0
825.93/826.19	c  826s |      18 |  1175758 |   315452 |    24567     30 |        0 |        0
828.13/828.35	c  828s |      18 |  1182586 |   316152 |    24567     30 |        0 |        0
830.53/830.71	c  830s |      18 |  1184456 |   316952 |    24567     30 |        0 |        0
832.62/832.85	c  832s |      18 |  1185008 |   317452 |    24567     30 |        0 |        0
834.82/835.05	c  834s |      18 |  1185569 |   317952 |    24567     30 |        0 |        0
836.92/837.15	c  836s |      18 |  1186105 |   318452 |    24567     30 |        0 |        0
838.92/839.19	c  839s |      18 |  1186655 |   318952 |    24567     30 |        0 |        0
841.21/841.48	c  841s |      18 |  1187349 |   319552 |    24567     30 |        0 |        0
843.61/843.82	c  843s |      18 |  1188081 |   320152 |    24567     30 |        0 |        0
845.81/846.07	c  845s |      18 |  1188643 |   320652 |    24567     31 |        0 |        0
848.01/848.24	c  848s |      18 |  1189340 |   321252 |    24567     31 |        0 |        0
850.01/850.28	c  850s |      18 |  1190003 |   321852 |    24567     31 |        0 |        0
852.31/852.53	c  852s |      18 |  1190797 |   322552 |    24567     31 |        0 |        0
854.61/854.81	c  854s |      18 |  1191568 |   323252 |    24567     31 |        0 |        0
856.71/856.94	c  856s |      18 |  1192240 |   323852 |    24567     31 |        0 |        0
859.01/859.20	c  859s |      18 |  1192871 |   324452 |    24567     31 |        0 |        0
861.20/861.43	c  861s |      18 |  1193418 |   324952 |    24567     31 |        0 |        0
863.51/863.75	c  863s |      18 |  1193945 |   325452 |    24567     31 |        0 |        0
865.71/866.00	c  865s |      18 |  1194492 |   325952 |    24567     31 |        0 |        0
868.10/868.36	c  868s |      18 |  1195145 |   326552 |    24567     31 |        0 |        0
870.60/870.81	c  870s |      18 |  1195797 |   327152 |    24567     31 |        0 |        0
872.70/872.91	c  872s |      18 |  1196347 |   327652 |    24567     31 |        0 |        0
874.70/874.95	c  874s |      18 |  1197419 |   328152 |    24567     31 |        0 |        0
876.89/877.13	c  876s |      18 |  1198394 |   329052 |    24567     31 |        0 |        0
878.90/879.15	c  878s |      18 |  1201898 |   329852 |    24567     31 |        0 |        0
881.29/881.51	c  881s |      18 |  1204439 |   330652 |    24567     31 |        0 |        0
883.49/883.78	c  883s |      18 |  1205106 |   331252 |    24567     31 |        0 |        0
885.79/886.07	c  885s |      18 |  1205894 |   331952 |    24567     31 |        0 |        0
887.89/888.14	c  887s |      18 |  1206524 |   332552 |    24567     31 |        0 |        0
890.29/890.57	c  890s |      18 |  1207166 |   333152 |    24567     32 |        0 |        0
892.38/892.68	c  892s |      18 |  1208147 |   334052 |    24567     32 |        0 |        0
894.58/894.84	c  894s |      18 |  1209134 |   334952 |    24567     32 |        0 |        0
896.68/896.93	c  896s |      18 |  1210004 |   335752 |    24567     32 |        0 |        0
898.88/899.11	c  898s |      18 |  1210860 |   336552 |    24567     32 |        0 |        0
901.08/901.31	c  901s |      18 |  1211716 |   337352 |    24567     32 |        0 |        0
903.28/903.54	c  903s |      18 |  1212574 |   338152 |    24567     32 |        0 |        0
905.38/905.67	c  905s |      18 |  1213446 |   338952 |    24567     32 |        0 |        0
907.58/907.82	c  907s |      18 |  1214317 |   339752 |    24567     32 |        0 |        0
909.78/910.09	c  909s |      18 |  1215201 |   340552 |    24567     32 |        0 |        0
911.88/912.13	c  911s |      18 |  1215942 |   341252 |    24567     32 |        0 |        0
913.87/914.16	c  913s |      18 |  1216814 |   342052 |    24567     32 |        0 |        0
915.97/916.29	c  916s |      18 |  1217697 |   342852 |    24567     32 |        0 |        0
918.07/918.30	c  918s |      18 |  1218464 |   343552 |    24567     32 |        0 |        0
920.07/920.37	c  920s |      18 |  1219214 |   344252 |    24567     32 |        0 |        0
922.27/922.57	c  922s |      18 |  1219976 |   344952 |    24567     32 |        0 |        0
924.37/924.69	c  924s |      18 |  1220538 |   345452 |    24567     33 |        0 |        0
926.47/926.75	c  926s |      18 |  1221287 |   346152 |    24567     33 |        0 |        0
928.57/928.82	c  928s |      18 |  1222155 |   346952 |    24567     33 |        0 |        0
930.67/930.98	c  930s |      18 |  1223022 |   347752 |    24567     33 |        0 |        0
932.87/933.15	c  932s |      18 |  1224904 |   348552 |    24567     33 |        0 |        0
935.07/935.36	c  935s |      18 |  1225758 |   349352 |    24567     33 |        0 |        0
937.27/937.52	c  937s |      18 |  1226513 |   350052 |    24567     33 |        0 |        0
939.37/939.62	c  939s |      18 |  1229030 |   350952 |    24567     33 |        0 |        0
941.56/941.81	c  941s |      18 |  1230031 |   351852 |    24567     33 |        0 |        0
943.66/943.95	c  943s |      18 |  1231295 |   352652 |    24567     33 |        0 |        0
945.76/946.05	c  945s |      18 |  1247267 |   353452 |    24567     33 |        0 |        0
947.96/948.23	c  948s |      18 |  1307625 |   354352 |    24567     33 |        0 |        0
950.26/950.57	c  950s |      18 |  1320207 |   354952 |    24567     33 |        0 |        0
952.25/952.59	c  952s |      18 |  1320887 |   355552 |    24567     33 |        0 |        0
954.35/954.68	c  954s |      18 |  1321662 |   356252 |    24567     33 |        0 |        0
956.65/956.95	c  956s |      18 |  1322748 |   356952 |    24567     33 |        0 |        0
959.05/959.38	c  959s |      18 |  1326001 |   357752 |    24567     33 |        0 |        0
961.24/961.59	c  961s |      18 |  1326547 |   358252 |    24567     33 |        0 |        0
963.55/963.80	c  963s |      18 |  1327550 |   358452 |    24567     34 |        0 |        0
965.64/965.92	c  965s |      18 |  1328200 |   359052 |    24567     34 |        0 |        0
967.74/968.01	c  967s |      18 |  1343073 |   359752 |    24567     34 |        0 |        0
969.74/970.03	c  969s |      18 |  1344536 |   360752 |    24567     34 |        0 |        0
971.74/972.07	c  971s |      18 |  1345517 |   361652 |    24567     34 |        0 |        0
973.94/974.25	c  974s |      18 |  1346482 |   362552 |    24567     34 |        0 |        0
975.94/976.29	c  976s |      18 |  1347355 |   363352 |    24567     34 |        0 |        0
978.24/978.57	c  978s |      18 |  1350432 |   364252 |    24567     34 |        0 |        0
980.44/980.73	c  980s |      18 |  1351310 |   365052 |    24567     34 |        0 |        0
982.63/982.97	c  982s |      18 |  1352220 |   365852 |    24567     34 |        0 |        0
984.93/985.22	c  985s |      18 |  1354734 |   366652 |    24567     34 |        0 |        0
986.93/987.28	c  987s |      18 |  1355409 |   367252 |    24567     34 |        0 |        0
989.13/989.44	c  989s |      18 |  1356077 |   367852 |    24567     34 |        0 |        0
991.33/991.69	c  991s |      18 |  1356747 |   368452 |    24567     34 |        0 |        0
993.53/993.88	c  993s |      18 |  1357445 |   369052 |    24567     34 |        0 |        0
995.53/995.89	c  995s |      18 |  1358001 |   369552 |    24567     34 |        0 |        0
997.92/998.24	c  998s |      18 |  1358723 |   370152 |    24567     34 |        0 |        0
1000.02/1000.36	c 1000s |      18 |  1359302 |   370652 |    24567     34 |        0 |        0
1002.22/1002.55	c 1002s |      18 |  1359750 |   371052 |    24567     35 |        0 |        0
1004.42/1004.72	c 1004s |      18 |  1360444 |   371652 |    24567     35 |        0 |        0
1006.42/1006.74	c 1006s |      18 |  1361134 |   372252 |    24567     35 |        0 |        0
1008.72/1009.02	c 1008s |      18 |  1361794 |   372852 |    24567     35 |        0 |        0
1010.82/1011.20	c 1011s |      18 |  1362453 |   373452 |    24567     35 |        0 |        0
1012.91/1013.24	c 1013s |      18 |  1362984 |   373952 |    24567     35 |        0 |        0
1015.32/1015.62	c 1015s |      18 |  1371791 |   374652 |    24567     35 |        0 |        0
1017.52/1017.81	c 1017s |      18 |  1372738 |   375452 |    24567     35 |        0 |        0
1019.51/1019.83	c 1019s |      18 |  1373535 |   376152 |    24567     35 |        0 |        0
1021.61/1021.93	c 1021s |      18 |  1374322 |   376852 |    24567     35 |        0 |        0
1023.91/1024.23	c 1024s |      18 |  1375201 |   377652 |    24567     35 |        0 |        0
1025.91/1026.28	c 1026s |      18 |  1375993 |   378352 |    24567     35 |        0 |        0
1027.91/1028.29	c 1028s |      18 |  1399815 |   379052 |    24567     35 |        0 |        0
1030.21/1030.50	c 1030s |      18 |  1401099 |   379652 |    24567     35 |        0 |        0
1032.40/1032.74	c 1032s |      18 |  1402174 |   380252 |    24567     35 |        0 |        0
1034.60/1034.90	c 1034s |      18 |  1402912 |   380852 |    24567     35 |        0 |        0
1036.70/1037.08	c 1036s |      18 |  1403839 |   381452 |    24567     35 |        0 |        0
1039.00/1039.34	c 1039s |      18 |  1404805 |   382152 |    24567     35 |        0 |        0
1041.40/1041.77	c 1041s |      18 |  1405679 |   382752 |    24567     35 |        0 |        0
1043.70/1044.07	c 1043s |      18 |  1406395 |   383352 |    24567     35 |        0 |        0
1046.00/1046.31	c 1046s |      18 |  1406874 |   383752 |    24567     36 |        0 |        0
1048.00/1048.39	c 1048s |      18 |  1408529 |   384352 |    24567     36 |        0 |        0
1050.20/1050.52	c 1050s |      18 |  1409290 |   385052 |    24567     36 |        0 |        0
1052.39/1052.70	c 1052s |      18 |  1410099 |   385752 |    24567     36 |        0 |        0
1054.49/1054.89	c 1054s |      18 |  1410777 |   386352 |    24567     36 |        0 |        0
1056.69/1057.07	c 1056s |      18 |  1411455 |   386952 |    24567     36 |        0 |        0
1058.89/1059.27	c 1059s |      18 |  1412112 |   387552 |    24567     36 |        0 |        0
1061.09/1061.41	c 1061s |      18 |  1413660 |   388352 |    24567     36 |        0 |        0
1063.19/1063.58	c 1063s |      18 |  1414918 |   389452 |    24567     36 |        0 |        0
1065.29/1065.66	c 1065s |      18 |  1416997 |   390552 |    24567     36 |        0 |        0
1067.39/1067.71	c 1067s |      18 |  1418037 |   391452 |    24567     36 |        0 |        0
1069.49/1069.81	c 1069s |      18 |  1428735 |   392352 |    24567     36 |        0 |        0
1071.48/1071.84	c 1071s |      18 |  1430451 |   393152 |    24567     36 |        0 |        0
1073.68/1074.07	c 1073s |      18 |  1431364 |   393752 |    24567     36 |        0 |        0
1075.88/1076.20	c 1076s |      18 |  1431789 |   394152 |    24567     36 |        0 |        0
1077.99/1078.34	c 1078s |      18 |  1432226 |   394552 |    24567     36 |        0 |        0
1080.38/1080.71	c 1080s |      18 |  1432813 |   395052 |    24567     36 |        0 |        0
1082.88/1083.20	c 1083s |      18 |  1433371 |   395552 |    24567     36 |        0 |        0
1085.18/1085.50	c 1085s |      18 |  1433806 |   395952 |    24567     36 |        0 |        0
1087.28/1087.65	c 1087s |      18 |  1434131 |   396252 |    24567     37 |        0 |        0
1089.68/1090.05	c 1089s |      18 |  1434676 |   396752 |    24567     37 |        0 |        0
1091.77/1092.13	c 1091s |      18 |  1435726 |   397452 |    24567     37 |        0 |        0
1093.97/1094.32	c 1094s |      18 |  1436540 |   398152 |    24567     37 |        0 |        0
1096.17/1096.55	c 1096s |      18 |  1437306 |   398852 |    24567     37 |        0 |        0
1098.27/1098.66	c 1098s |      18 |  1437985 |   399452 |    24567     37 |        0 |        0
1100.37/1100.78	c 1100s |      18 |  1438638 |   400052 |    24567     37 |        0 |        0
1102.47/1102.83	c 1102s |      18 |  1439291 |   400652 |    24567     37 |        0 |        0
1104.67/1105.02	c 1104s |      18 |  1439935 |   401252 |    24567     37 |        0 |        0
1106.96/1107.31	c 1107s |      18 |  1440569 |   401852 |    24567     37 |        0 |        0
1108.96/1109.33	c 1109s |      18 |  1446682 |   402452 |    24567     37 |        0 |        0
1110.97/1111.38	c 1111s |      18 |  1455513 |   403452 |    24567     37 |        0 |        0
1113.17/1113.54	c 1113s |      18 |  1457052 |   404252 |    24567     37 |        0 |        0
1115.37/1115.71	c 1115s |      18 |  1457915 |   405052 |    24567     37 |        0 |        0
1117.57/1117.90	c 1117s |      18 |  1458824 |   405852 |    24567     37 |        0 |        0
1119.56/1119.96	c 1119s |      18 |  1459562 |   406552 |    24567     37 |        0 |        0
1121.66/1122.07	c 1121s |      18 |  1461064 |   407252 |    24567     37 |        0 |        0
1123.66/1124.09	c 1123s |      18 |  1461804 |   407952 |    24567     37 |        0 |        0
1125.86/1126.23	c 1126s |      18 |  1462729 |   408552 |    24567     37 |        0 |        0
1128.06/1128.44	c 1128s |      18 |  1469440 |   409352 |    24567     38 |        0 |        0
1130.26/1130.61	c 1130s |      18 |  1470781 |   410052 |    24567     38 |        0 |        0
1132.55/1132.94	c 1132s |      18 |  1471580 |   410752 |    24567     38 |        0 |        0
1134.65/1135.03	c 1134s |      18 |  1472488 |   411452 |    24567     38 |        0 |        0
1136.66/1137.09	c 1136s |      18 |  1485822 |   412552 |    24567     38 |        0 |        0
1138.96/1139.30	c 1139s |      18 |  1494194 |   413552 |    24567     38 |        0 |        0
1141.05/1141.42	c 1141s |      18 |  1495086 |   414352 |    24567     38 |        0 |        0
1143.15/1143.56	c 1143s |      18 |  1496113 |   415252 |    24567     38 |        0 |        0
1145.35/1145.77	c 1145s |      18 |  1497120 |   416152 |    24567     38 |        0 |        0
1147.45/1147.81	c 1147s |      18 |  1498318 |   416952 |    24567     38 |        0 |        0
1149.55/1149.97	c 1149s |      18 |  1499190 |   417752 |    24567     38 |        0 |        0
1151.75/1152.19	c 1152s |      18 |  1500087 |   418552 |    24567     38 |        0 |        0
1153.85/1154.20	c 1154s |      18 |  1500965 |   419352 |    24567     38 |        0 |        0
1155.95/1156.34	c 1156s |      18 |  1501875 |   420152 |    24567     38 |        0 |        0
1158.05/1158.50	c 1158s |      18 |  1502768 |   420952 |    24567     38 |        0 |        0
1160.35/1160.77	c 1160s |      18 |  1503519 |   421652 |    24567     39 |        0 |        0
1162.55/1162.93	c 1162s |      18 |  1504652 |   422652 |    24567     39 |        0 |        0
1164.54/1164.98	c 1164s |      18 |  1505646 |   423552 |    24567     39 |        0 |        0
1166.74/1167.13	c 1166s |      18 |  1506606 |   424452 |    24567     39 |        0 |        0
1168.74/1169.14	c 1168s |      18 |  1507551 |   425252 |    24567     39 |        0 |        0
1170.94/1171.33	c 1171s |      18 |  1508450 |   426052 |    24567     39 |        0 |        0
1173.04/1173.46	c 1173s |      18 |  1509321 |   426852 |    24567     39 |        0 |        0
1175.24/1175.69	c 1175s |      18 |  1510185 |   427652 |    24567     39 |        0 |        0
1177.34/1177.71	c 1177s |      18 |  1511045 |   428452 |    24567     39 |        0 |        0
1179.34/1179.72	c 1179s |      18 |  1511794 |   429152 |    24567     39 |        0 |        0
1181.34/1181.74	c 1181s |      18 |  1512560 |   429852 |    24567     39 |        0 |        0
1183.44/1183.86	c 1183s |      18 |  1513310 |   430552 |    24567     39 |        0 |        0
1185.54/1185.97	c 1185s |      18 |  1534719 |   431252 |    24567     39 |        0 |        0
1187.74/1188.13	c 1187s |      18 |  1542258 |   431952 |    24567     39 |        0 |        0
1190.04/1190.44	c 1190s |      18 |  1544596 |   432652 |    24567     39 |        0 |        0
1192.13/1192.53	c 1192s |      18 |  1545592 |   433252 |    24567     39 |        0 |        0
1194.44/1194.80	c 1194s |      18 |  1547227 |   433952 |    24567     39 |        0 |        0
1196.43/1196.81	c 1196s |      18 |  1547783 |   434452 |    24567     40 |        0 |        0
1198.63/1199.02	c 1198s |      18 |  1548731 |   435252 |    24567     40 |        0 |        0
1200.63/1201.04	c 1200s |      18 |  1550297 |   435952 |    24567     40 |        0 |        0
1202.72/1203.15	c 1202s |      18 |  1551222 |   436752 |    24567     40 |        0 |        0
1204.92/1205.35	c 1205s |      18 |  1551996 |   437452 |    24567     40 |        0 |        0
1206.92/1207.36	c 1207s |      18 |  1552686 |   438052 |    24567     40 |        0 |        0
1208.92/1209.39	c 1209s |      18 |  1555136 |   438652 |    24567     40 |        0 |        0
1211.32/1211.72	c 1211s |      18 |  1556087 |   439452 |    24567     40 |        0 |        0
1213.52/1213.96	c 1213s |      18 |  1556927 |   440152 |    24567     40 |        0 |        0
1215.52/1215.96	c 1215s |      18 |  1557634 |   440752 |    24567     40 |        0 |        0
1217.62/1218.02	c 1217s |      18 |  1558322 |   441352 |    27024     40 |        0 |        0
1219.62/1220.10	c 1219s |      18 |  1558978 |   441952 |    27024     40 |        0 |        0
1221.71/1222.14	c 1221s |      18 |  1559527 |   442452 |    27024     40 |        0 |        0
1224.01/1224.43	c 1224s |      18 |  1560178 |   443052 |    27024     40 |        0 |        0
1226.32/1226.74	c 1226s |      18 |  1561761 |   443652 |    27024     40 |        0 |        0
1228.31/1228.77	c 1228s |      18 |  1562437 |   444252 |    27024     40 |        0 |        0
1229.11/1229.52	c 1229s |      19 |  1562702 |   444482 |    27024     40 |        0 |        0
1231.21/1231.69	c 1231s |      19 |  1566909 |   444982 |    27024     40 |        0 |        0
1233.41/1233.84	c 1233s |      19 |  1569872 |   445582 |    27024     40 |        0 |        0
1235.71/1236.15	c 1235s |      19 |  1570545 |   446182 |    27024     40 |        0 |        0
1237.81/1238.22	c 1238s |      19 |  1571942 |   446882 |    27024     40 |        0 |        0
1239.91/1240.34	c 1240s |      19 |  1583589 |   447782 |    27024     40 |        0 |        0
1242.60/1243.08	c 1242s |      19 |  1588635 |   448482 |    27024     41 |        0 |        0
1244.80/1245.27	c 1245s |      19 |  1595634 |   449382 |    27024     41 |        0 |        0
1246.90/1247.34	c 1247s |      19 |  1596836 |   450382 |    27024     41 |        0 |        0
1248.90/1249.39	c 1249s |      19 |  1601065 |   451282 |    27024     41 |        0 |        0
1251.00/1251.47	c 1251s |      19 |  1602065 |   452182 |    27024     41 |        0 |        0
1253.10/1253.59	c 1253s |      19 |  1603227 |   453182 |    27024     41 |        0 |        0
1255.30/1255.72	c 1255s |      19 |  1610204 |   453982 |    27024     41 |        0 |        0
1257.50/1257.98	c 1257s |      19 |  1613573 |   454782 |    27024     41 |        0 |        0
1259.50/1259.98	c 1259s |      19 |  1614240 |   455382 |    27024     41 |        0 |        0
1261.60/1262.05	c 1261s |      19 |  1614891 |   455982 |    27024     41 |        0 |        0
1263.59/1264.07	c 1263s |      19 |  1615538 |   456582 |    27024     41 |        0 |        0
1265.79/1266.26	c 1266s |      19 |  1616331 |   457282 |    27024     41 |        0 |        0
1268.10/1268.53	c 1268s |      19 |  1617108 |   457982 |    27024     41 |        0 |        0
1270.19/1270.62	c 1270s |      19 |  1617774 |   458582 |    27024     41 |        0 |        0
1272.38/1272.80	c 1272s |      19 |  1618570 |   459282 |    27024     41 |        0 |        0
1274.38/1274.87	c 1274s |      19 |  1619805 |   459982 |    27024     41 |        0 |        0
1276.68/1277.13	c 1276s |      19 |  1620651 |   460782 |    27024     41 |        0 |        0
1278.78/1279.25	c 1279s |      19 |  1621379 |   461482 |    27024     41 |        0 |        0
1281.08/1281.51	c 1281s |      19 |  1622682 |   462082 |    27024     42 |        0 |        0
1283.17/1283.61	c 1283s |      19 |  1651202 |   462982 |    27024     42 |        0 |        0
1285.27/1285.74	c 1285s |      19 |  1661486 |   463982 |    27024     42 |        0 |        0
1287.57/1288.00	c 1287s |      19 |  1664546 |   464782 |    27024     42 |        0 |        0
1289.67/1290.19	c 1290s |      19 |  1667434 |   465482 |    27024     42 |        0 |        0
1291.77/1292.28	c 1292s |      19 |  1668525 |   466182 |    27024     42 |        0 |        0
1293.97/1294.49	c 1294s |      19 |  1669331 |   466882 |    27024     42 |        0 |        0
1296.07/1296.51	c 1296s |      19 |  1670456 |   467582 |    27024     42 |        0 |        0
1298.17/1298.65	c 1298s |      19 |  1671145 |   468182 |    27024     42 |        0 |        0
1300.37/1300.84	c 1300s |      19 |  1672136 |   468982 |    27024     42 |        0 |        0
1302.46/1302.98	c 1302s |      19 |  1673147 |   469782 |    27024     42 |        0 |        0
1304.76/1305.23	c 1305s |      19 |  1674137 |   470582 |    27024     42 |        0 |        0
1306.96/1307.43	c 1307s |      19 |  1674946 |   471282 |    27024     42 |        0 |        0
1309.16/1309.60	c 1309s |      19 |  1675600 |   471882 |    27024     42 |        0 |        0
1311.46/1311.94	c 1311s |      19 |  1679309 |   472482 |    27024     42 |        0 |        0
1313.66/1314.14	c 1313s |      19 |  1681022 |   473182 |    27024     42 |        0 |        0
1315.96/1316.40	c 1316s |      19 |  1682098 |   474082 |    27024     42 |        0 |        0
1317.96/1318.43	c 1318s |      19 |  1683022 |   474882 |    27024     42 |        0 |        0
1320.16/1320.63	c 1320s |      19 |  1683914 |   475682 |    27024     42 |        0 |        0
1322.75/1323.22	c 1323s |      19 |  1684701 |   476382 |    27024     43 |        0 |        0
1324.85/1325.31	c 1325s |      19 |  1685439 |   477082 |    27024     43 |        0 |        0
1326.85/1327.38	c 1327s |      19 |  1686402 |   477982 |    27024     43 |        0 |        0
1329.05/1329.58	c 1329s |      19 |  1687385 |   478882 |    27024     43 |        0 |        0
1331.15/1331.60	c 1331s |      19 |  1690150 |   479582 |    27024     43 |        0 |        0
1333.35/1333.87	c 1333s |      19 |  1691364 |   480382 |    27024     43 |        0 |        0
1335.35/1335.89	c 1335s |      19 |  1701120 |   481282 |    27024     43 |        0 |        0
1337.55/1338.03	c 1337s |      19 |  1709740 |   482282 |    27024     43 |        0 |        0
1339.65/1340.15	c 1339s |      19 |  1712585 |   482982 |    27024     43 |        0 |        0
1341.65/1342.19	c 1342s |      19 |  1713377 |   483682 |    27024     43 |        0 |        0
1343.85/1344.40	c 1344s |      19 |  1714453 |   484582 |    27024     43 |        0 |        0
1346.15/1346.65	c 1346s |      19 |  1715296 |   485282 |    27024     43 |        0 |        0
1348.45/1348.91	c 1348s |      19 |  1716195 |   485982 |    27024     43 |        0 |        0
1350.65/1351.10	c 1350s |      19 |  1716837 |   486582 |    27024     43 |        0 |        0
1352.64/1353.16	c 1352s |      19 |  1717490 |   487182 |    27024     43 |        0 |        0
1354.84/1355.35	c 1355s |      19 |  1718232 |   487882 |    27024     43 |        0 |        0
1356.94/1357.42	c 1357s |      19 |  1719021 |   488582 |    27024     43 |        0 |        0
1359.24/1359.74	c 1359s |      19 |  1719893 |   489182 |    27024     43 |        0 |        0
1361.44/1361.94	c 1361s |      19 |  1720999 |   489882 |    27024     43 |        0 |        0
1363.44/1363.97	c 1363s |      19 |  1721634 |   490482 |    27024     44 |        0 |        0
1365.54/1366.09	c 1365s |      19 |  1722492 |   491282 |    27024     44 |        0 |        0
1367.64/1368.13	c 1367s |      19 |  1723113 |   491782 |    27024     44 |        0 |        0
1369.84/1370.35	c 1370s |      19 |  1724120 |   492682 |    27024     44 |        0 |        0
1371.94/1372.47	c 1372s |      19 |  1725213 |   493682 |    27024     44 |        0 |        0
1374.14/1374.60	c 1374s |      19 |  1726109 |   494382 |    27024     44 |        0 |        0
1376.14/1376.60	c 1376s |      19 |  1730186 |   495082 |    27024     44 |        0 |        0
1378.24/1378.72	c 1378s |      19 |  1731370 |   495982 |    27024     44 |        0 |        0
1380.24/1380.74	c 1380s |      19 |  1732267 |   496782 |    27024     44 |        0 |        0
1382.44/1382.94	c 1382s |      19 |  1733291 |   497682 |    27024     44 |        0 |        0
1384.53/1385.07	c 1384s |      19 |  1736166 |   498482 |    27024     44 |        0 |        0
1386.63/1387.10	c 1386s |      19 |  1736963 |   499182 |    27024     44 |        0 |        0
1388.73/1389.23	c 1389s |      19 |  1737703 |   499882 |    27024     44 |        0 |        0
1390.93/1391.49	c 1391s |      19 |  1738559 |   500682 |    27024     44 |        0 |        0
1393.03/1393.54	c 1393s |      19 |  1739656 |   501482 |    27024     44 |        0 |        0
1395.13/1395.60	c 1395s |      19 |  1740661 |   502282 |    27024     44 |        0 |        0
1397.23/1397.79	c 1397s |      19 |  1742537 |   502982 |    27024     44 |        0 |        0
1399.53/1400.04	c 1399s |      19 |  1744325 |   503782 |    27024     44 |        0 |        0
1401.63/1402.14	c 1401s |      19 |  1745082 |   504182 |    27024     45 |        0 |        0
1403.93/1404.42	c 1404s |      19 |  1745846 |   504882 |    27024     45 |        0 |        0
1405.93/1406.42	c 1406s |      19 |  1746501 |   505482 |    27024     45 |        0 |        0
1408.22/1408.76	c 1408s |      19 |  1747229 |   506182 |    27024     45 |        0 |        0
1410.52/1411.03	c 1410s |      19 |  1747965 |   506882 |    27024     45 |        0 |        0
1412.52/1413.04	c 1412s |      19 |  1750091 |   507482 |    27024     45 |        0 |        0
1414.52/1415.06	c 1414s |      19 |  1751352 |   508582 |    27024     45 |        0 |        0
1416.72/1417.23	c 1417s |      19 |  1752523 |   509682 |    27024     45 |        0 |        0
1418.73/1419.24	c 1419s |      19 |  1753665 |   510682 |    27024     45 |        0 |        0
1420.82/1421.32	c 1421s |      19 |  1754780 |   511682 |    27024     45 |        0 |        0
1423.02/1423.55	c 1423s |      19 |  1755901 |   512682 |    27024     45 |        0 |        0
1425.12/1425.67	c 1425s |      19 |  1756922 |   513582 |    27024     45 |        0 |        0
1427.32/1427.82	c 1427s |      19 |  1757889 |   514482 |    27024     45 |        0 |        0
1429.32/1429.85	c 1429s |      19 |  1758876 |   515382 |    27024     45 |        0 |        0
1431.52/1432.05	c 1431s |      19 |  1759973 |   516382 |    27024     45 |        0 |        0
1433.72/1434.22	c 1434s |      19 |  1760961 |   517282 |    27024     45 |        0 |        0
1435.72/1436.26	c 1436s |      19 |  1761770 |   517982 |    27024     46 |        0 |        0
1437.82/1438.32	c 1438s |      19 |  1762860 |   518982 |    27024     46 |        0 |        0
1439.92/1440.43	c 1440s |      19 |  1765740 |   519982 |    27024     46 |        0 |        0
1442.02/1442.53	c 1442s |      19 |  1767081 |   521082 |    27024     46 |        0 |        0
1444.22/1444.70	c 1444s |      19 |  1768200 |   522082 |    27024     46 |        0 |        0
1446.23/1446.73	c 1446s |      19 |  1769341 |   523082 |    27024     46 |        0 |        0
1448.32/1448.87	c 1448s |      19 |  1770541 |   524082 |    27024     46 |        0 |        0
1450.42/1450.99	c 1450s |      19 |  1791895 |   525082 |    27024     46 |        0 |        0
1452.52/1453.01	c 1452s |      19 |  1793550 |   526082 |    27024     46 |        0 |        0
1454.72/1455.21	c 1455s |      19 |  1795677 |   527082 |    27024     46 |        0 |        0
1456.72/1457.22	c 1457s |      19 |  1796579 |   527882 |    27024     46 |        0 |        0
1458.82/1459.34	c 1459s |      19 |  1797900 |   528682 |    27024     46 |        0 |        0
1460.92/1461.40	c 1461s |      19 |  1798811 |   529482 |    27024     46 |        0 |        0
1463.02/1463.50	c 1463s |      19 |  1799575 |   530182 |    27024     46 |        0 |        0
1465.22/1465.75	c 1465s |      19 |  1816365 |   530882 |    27024     46 |        0 |        0
1467.42/1467.94	c 1467s |      19 |  1821526 |   531582 |    27024     46 |        0 |        0
1470.32/1470.80	c 1470s |      19 |  1826933 |   531982 |    27024     47 |        0 |        0
1472.32/1472.88	c 1472s |      19 |  1842516 |   533182 |    27024     47 |        0 |        0
1474.51/1475.00	c 1474s |      19 |  1844685 |   534382 |    27024     47 |        0 |        0
1476.61/1477.16	c 1476s |      19 |  1847474 |   535382 |    27024     47 |        0 |        0
1478.81/1479.31	c 1479s |      19 |  1848706 |   536482 |    27024     47 |        0 |        0
1480.81/1481.37	c 1481s |      19 |  1849934 |   537382 |    27024     47 |        0 |        0
1483.01/1483.59	c 1483s |      19 |  1850853 |   538182 |    27024     47 |        0 |        0
1485.11/1485.66	c 1485s |      19 |  1851485 |   538782 |    27024     47 |        0 |        0
1487.21/1487.75	c 1487s |      19 |  1852300 |   539482 |    27024     47 |        0 |        0
1489.41/1489.98	c 1489s |      19 |  1853062 |   540182 |    27024     47 |        0 |        0
1491.81/1492.30	c 1492s |      19 |  1853854 |   540882 |    27024     47 |        0 |        0
1493.81/1494.36	c 1494s |      19 |  1854649 |   541582 |    27024     47 |        0 |        0
1496.01/1496.54	c 1496s |      19 |  1855527 |   542382 |    27024     47 |        0 |        0
1498.11/1498.63	c 1498s |      19 |  1856292 |   543082 |    27024     47 |        0 |        0
1500.41/1500.96	c 1500s |      19 |  1857054 |   543782 |    27024     47 |        0 |        0
1502.42/1502.96	c 1502s |      19 |  1857577 |   544282 |    27024     47 |        0 |        0
1504.62/1505.19	c 1505s |      19 |  1858118 |   544782 |    27024     47 |        0 |        0
1507.51/1508.05	c 1507s |      19 |  1859261 |   545582 |    27024     48 |        0 |        0
1509.71/1510.21	c 1510s |      19 |  1860214 |   546482 |    27024     48 |        0 |        0
1511.81/1512.35	c 1512s |      19 |  1861203 |   547382 |    27024     48 |        0 |        0
1514.01/1514.51	c 1514s |      19 |  1862198 |   548282 |    27024     48 |        0 |        0
1516.21/1516.72	c 1516s |      19 |  1863163 |   549182 |    27024     48 |        0 |        0
1518.41/1518.93	c 1518s |      19 |  1863997 |   549982 |    27024     48 |        0 |        0
1520.61/1521.16	c 1520s |      19 |  1864848 |   550782 |    27024     48 |        0 |        0
1523.01/1523.53	c 1523s |      19 |  1865580 |   551482 |    27024     48 |        0 |        0
1525.11/1525.68	c 1525s |      19 |  1866441 |   552282 |    27024     48 |        0 |        0
1527.20/1527.79	c 1527s |      19 |  1867310 |   553082 |    27024     48 |        0 |        0
1529.40/1529.91	c 1529s |      19 |  1868157 |   553882 |    27024     48 |        0 |        0
1531.40/1531.95	c 1531s |      19 |  1868934 |   554582 |    27024     48 |        0 |        0
1533.50/1534.08	c 1533s |      19 |  1869703 |   555282 |    27024     48 |        0 |        0
1535.60/1536.14	c 1535s |      19 |  1870449 |   555982 |    27024     48 |        0 |        0
1537.80/1538.34	c 1538s |      19 |  1871311 |   556782 |    27024     48 |        0 |        0
1540.10/1540.62	c 1540s |      19 |  1872174 |   557582 |    27024     48 |        0 |        0
1542.20/1542.79	c 1542s |      19 |  1872835 |   558182 |    27024     48 |        0 |        0
1544.40/1544.99	c 1544s |      19 |  1873599 |   558882 |    27024     48 |        0 |        0
1547.52/1548.01	c 1547s |      19 |  1874350 |   559582 |    27024     49 |        0 |        0
1549.51/1550.07	c 1549s |      19 |  1875248 |   560382 |    27024     49 |        0 |        0
1551.61/1552.19	c 1552s |      19 |  1876129 |   561182 |    27024     49 |        0 |        0
1553.81/1554.39	c 1554s |      19 |  1876994 |   561982 |    27024     49 |        0 |        0
1556.01/1556.52	c 1556s |      19 |  1878698 |   562782 |    27024     49 |        0 |        0
1558.11/1558.62	c 1558s |      19 |  1879477 |   563482 |    27024     49 |        0 |        0
1560.11/1560.64	c 1560s |      19 |  1880240 |   564182 |    27024     49 |        0 |        0
1562.41/1562.93	c 1562s |      19 |  1880998 |   564882 |    27024     49 |        0 |        0
1564.61/1565.14	c 1564s |      19 |  1881858 |   565682 |    27024     49 |        0 |        0
1566.60/1567.15	c 1566s |      19 |  1882624 |   566382 |    27024     49 |        0 |        0
1568.70/1569.25	c 1569s |      19 |  1883279 |   566982 |    27024     49 |        0 |        0
1571.00/1571.57	c 1571s |      19 |  1883941 |   567582 |    27024     49 |        0 |        0
1573.20/1573.74	c 1573s |      19 |  1884603 |   568182 |    27024     49 |        0 |        0
1575.30/1575.89	c 1575s |      19 |  1885255 |   568782 |    27024     49 |        0 |        0
1577.70/1578.23	c 1578s |      19 |  1885927 |   569382 |    27024     49 |        0 |        0
1579.70/1580.26	c 1580s |      19 |  1886472 |   569882 |    27024     49 |        0 |        0
1581.80/1582.30	c 1582s |      19 |  1887016 |   570382 |    27024     49 |        0 |        0
1583.81/1584.38	c 1584s |      19 |  1887568 |   570882 |    27024     49 |        0 |        0
1585.91/1586.41	c 1586s |      19 |  1888114 |   571382 |    27024     49 |        0 |        0
1588.11/1588.69	c 1588s |      19 |  1888741 |   571982 |    27024     49 |        0 |        0
1590.20/1590.80	c 1590s |      19 |  1889275 |   572482 |    27024     49 |        0 |        0
1592.61/1593.18	c 1593s |      19 |  1889918 |   573082 |    27024     49 |        0 |        0
1597.60/1598.17	c 1597s |      19 |  1890835 |   573282 |    27024     50 |        0 |        0
1599.70/1600.29	c 1600s |      19 |  1893065 |   574282 |    27024     50 |        0 |        0
1601.90/1602.42	c 1602s |      19 |  1894013 |   575182 |    27024     50 |        0 |        0
1604.10/1604.63	c 1604s |      19 |  1895001 |   576082 |    27024     50 |        0 |        0
1606.40/1606.90	c 1606s |      19 |  1895878 |   576882 |    27024     50 |        0 |        0
1608.40/1608.91	c 1608s |      19 |  1896619 |   577582 |    27024     50 |        0 |        0
1610.40/1610.97	c 1610s |      19 |  1897505 |   578382 |    27024     50 |        0 |        0
1612.50/1613.01	c 1612s |      19 |  1898373 |   579182 |    27024     50 |        0 |        0
1614.50/1615.10	c 1614s |      19 |  1917384 |   579982 |    27024     50 |        0 |        0
1616.80/1617.35	c 1617s |      19 |  1926266 |   580882 |    27024     50 |        0 |        0
1618.90/1619.49	c 1619s |      19 |  1927147 |   581682 |    27024     50 |        0 |        0
1621.10/1621.67	c 1621s |      19 |  1928162 |   582582 |    27024     50 |        0 |        0
1623.19/1623.73	c 1623s |      19 |  1929642 |   583382 |    27024     50 |        0 |        0
1625.39/1625.95	c 1625s |      19 |  1930548 |   584182 |    27024     50 |        0 |        0
1627.49/1628.03	c 1627s |      19 |  1932803 |   584982 |    27024     50 |        0 |        0
1629.59/1630.17	c 1629s |      19 |  1934154 |   585782 |    27024     50 |        0 |        0
1631.79/1632.35	c 1632s |      19 |  1936354 |   586682 |    27024     50 |        0 |        0
1634.30/1634.87	c 1634s |      19 |  1942583 |   586782 |    27024     51 |        0 |        0
1636.50/1637.02	c 1636s |      19 |  1975372 |   587682 |    27024     51 |        0 |        0
1638.59/1639.18	c 1639s |      19 |  1976942 |   588682 |    27024     51 |        0 |        0
1640.69/1641.21	c 1641s |      19 |  1977966 |   589582 |    27024     51 |        0 |        0
1642.69/1643.23	c 1643s |      19 |  1979090 |   590582 |    27024     51 |        0 |        0
1644.79/1645.30	c 1645s |      19 |  1992953 |   591482 |    27024     51 |        0 |        0
1646.79/1647.39	c 1647s |      19 |  1993879 |   592282 |    27024     51 |        0 |        0
1649.09/1649.70	c 1649s |      19 |  1994766 |   593082 |    27024     51 |        0 |        0
1651.19/1651.74	c 1651s |      19 |  1995534 |   593782 |    27024     51 |        0 |        0
1653.29/1653.86	c 1653s |      19 |  1997975 |   594582 |    27024     51 |        0 |        0
1655.39/1655.94	c 1655s |      19 |  1998997 |   595482 |    27024     51 |        0 |        0
1657.39/1657.94	c 1657s |      19 |  1999898 |   596282 |    27024     51 |        0 |        0
1659.59/1660.12	c 1659s |      19 |  2000883 |   597182 |    27024     51 |        0 |        0
1661.59/1662.13	c 1661s |      19 |  2001789 |   597982 |    27024     51 |        0 |        0
1663.79/1664.35	c 1664s |      19 |  2002816 |   598882 |    27024     51 |        0 |        0
1665.99/1666.53	c 1666s |      19 |  2003679 |   599682 |    27024     51 |        0 |        0
1668.09/1668.61	c 1668s |      19 |  2004548 |   600482 |    27024     51 |        0 |        0
1670.18/1670.70	c 1670s |      19 |  2005593 |   600882 |    27024     52 |        0 |        0
1672.38/1672.93	c 1672s |      19 |  2006278 |   601482 |    27024     52 |        0 |        0
1674.58/1675.13	c 1674s |      19 |  2006940 |   602082 |    27024     52 |        0 |        0
1676.78/1677.30	c 1677s |      19 |  2007604 |   602682 |    27024     52 |        0 |        0
1678.78/1679.33	c 1679s |      19 |  2008151 |   603182 |    27024     52 |        0 |        0
1680.78/1681.33	c 1681s |      19 |  2008687 |   603682 |    27024     52 |        0 |        0
1682.88/1683.44	c 1683s |      19 |  2009213 |   604182 |    27024     52 |        0 |        0
1685.08/1685.68	c 1685s |      19 |  2009854 |   604782 |    27024     52 |        0 |        0
1687.48/1688.05	c 1687s |      19 |  2010480 |   605382 |    27024     52 |        0 |        0
1689.58/1690.15	c 1689s |      19 |  2011020 |   605882 |    27024     52 |        0 |        0
1691.68/1692.24	c 1692s |      19 |  2011558 |   606382 |    27024     52 |        0 |        0
1693.79/1694.32	c 1694s |      19 |  2012074 |   606882 |    27024     52 |        0 |        0
1695.78/1696.37	c 1696s |      19 |  2012607 |   607382 |    27024     52 |        0 |        0
1698.18/1698.77	c 1698s |      19 |  2013255 |   607982 |    27024     52 |        0 |        0
1700.48/1701.07	c 1700s |      19 |  2013805 |   608482 |    27024     52 |        0 |        0
1702.68/1703.21	c 1703s |      19 |  2014331 |   608982 |    27024     52 |        0 |        0
1704.88/1705.48	c 1705s |      19 |  2014990 |   609582 |    27024     52 |        0 |        0
1707.08/1707.63	c 1707s |      19 |  2015516 |   610082 |    27024     52 |        0 |        0
1709.18/1709.78	c 1709s |      19 |  2016042 |   610582 |    27024     52 |        0 |        0
1711.28/1711.81	c 1711s |      19 |  2021532 |   611082 |    27024     52 |        0 |        0
1713.58/1714.11	c 1713s |      19 |  2053417 |   611882 |    27024     52 |        0 |        0
1715.88/1716.44	c 1716s |      19 |  2056645 |   612582 |    27024     52 |        0 |        0
1717.98/1718.59	c 1718s |      19 |  2057325 |   613182 |    27024     52 |        0 |        0
1720.18/1720.77	c 1720s |      19 |  2059173 |   613782 |    27024     52 |        0 |        0
1722.17/1722.80	c 1722s |      19 |  2059742 |   614282 |    27024     52 |        0 |        0
1724.97/1725.52	c 1725s |      19 |  2060411 |   614882 |    27024     53 |        0 |        0
1727.07/1727.60	c 1727s |      19 |  2061212 |   615582 |    27024     53 |        0 |        0
1729.17/1729.71	c 1729s |      19 |  2062003 |   616282 |    27024     53 |        0 |        0
1731.18/1731.77	c 1731s |      19 |  2062800 |   616982 |    27024     53 |        0 |        0
1733.47/1734.03	c 1733s |      19 |  2063555 |   617682 |    27024     53 |        0 |        0
1735.67/1736.23	c 1736s |      19 |  2064321 |   618382 |    27024     53 |        0 |        0
1737.78/1738.39	c 1738s |      19 |  2065121 |   619082 |    27024     53 |        0 |        0
1739.88/1740.45	c 1740s |      19 |  2065931 |   619782 |    27024     53 |        0 |        0
1741.97/1742.53	c 1742s |      19 |  2066684 |   620482 |    27024     53 |        0 |        0
1744.17/1744.74	c 1744s |      19 |  2067464 |   621182 |    27024     53 |        0 |        0
1746.37/1747.00	c 1746s |      19 |  2068210 |   621882 |    27024     53 |        0 |        0
1748.47/1749.08	c 1748s |      19 |  2068880 |   622482 |    27024     53 |        0 |        0
1750.77/1751.37	c 1751s |      19 |  2069696 |   623182 |    27024     53 |        0 |        0
1752.77/1753.39	c 1753s |      19 |  2070343 |   623782 |    27024     53 |        0 |        0
1755.17/1755.75	c 1755s |      19 |  2071110 |   624482 |    27024     53 |        0 |        0
1757.17/1757.75	c 1757s |      19 |  2071844 |   625082 |    27024     53 |        0 |        0
1759.27/1759.82	c 1759s |      19 |  2072524 |   625682 |    27024     53 |        0 |        0
1761.37/1761.96	c 1761s |      19 |  2073174 |   626282 |    27024     53 |        0 |        0
1763.68/1764.22	c 1764s |      19 |  2073844 |   626882 |    27024     53 |        0 |        0
1765.88/1766.48	c 1766s |      19 |  2074507 |   627482 |    27024     53 |        0 |        0
1768.08/1768.63	c 1768s |      19 |  2075183 |   628082 |    27024     53 |        0 |        0
1770.17/1770.75	c 1770s |      19 |  2075794 |   628682 |    27024     53 |        0 |        0
1772.47/1773.09	c 1772s |      19 |  2076218 |   629082 |    27024     54 |        0 |        0
1774.67/1775.26	c 1775s |      19 |  2076956 |   629782 |    27024     54 |        0 |        0
1776.67/1777.29	c 1777s |      19 |  2077596 |   630382 |    27024     54 |        0 |        0
1778.87/1779.40	c 1779s |      19 |  2079614 |   631182 |    27024     54 |        0 |        0
1780.97/1781.52	c 1781s |      19 |  2080619 |   632082 |    27024     54 |        0 |        0
1783.07/1783.68	c 1783s |      19 |  2081590 |   632982 |    27024     54 |        0 |        0
1785.27/1785.88	c 1785s |      19 |  2082439 |   633782 |    27024     54 |        0 |        0
1787.47/1788.02	c 1787s |      19 |  2083321 |   634582 |    27024     54 |        0 |        0
1789.57/1790.16	c 1789s |      19 |  2084181 |   635382 |    27024     54 |        0 |        0
1791.68/1792.28	c 1792s |      19 |  2085057 |   636182 |    27024     54 |        0 |        0
1793.88/1794.40	c 1794s |      19 |  2085916 |   636982 |    27024     54 |        0 |        0
1796.08/1796.61	c 1796s |      19 |  2086771 |   637782 |    27024     54 |        0 |        0
1798.18/1798.71	c 1798s |      19 |  2088912 |   638482 |    27024     54 |        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-4090219-1466038891/watcher-4090219-1466038891 -o /tmp/evaluation-result-4090219-1466038891/solver-4090219-1466038891 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466038828-13978 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090219-1466038891.opb 

pid=14228
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.15 2.13 2.05 3/179 14231
/proc/meminfo: memFree=30467100/32872528 swapFree=446836/479540
[pid=14231] ppid=14228 vsize=711100 CPUtime=0 cores=0,2,4,6
/proc/14231/stat : 14231 (toysat) R 14228 14231 5711 0 -1 4202496 2653 0 0 0 0 0 0 0 20 0 4 0 5939219 728166400 2503 33554432000 4194304 16246674 140735471705424 140735471704848 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14231/statm: 178543 2511 441 2943 0 175437 0
[pid=14231/tid=14232] ppid=14228 vsize=729532 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14232/stat : 14232 (toysat) S 14228 14231 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5939219 747040768 2575 33554432000 4194304 16246674 140735471705424 139765266492656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14231/tid=14233] ppid=14228 vsize=734652 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14233/stat : 14233 (toysat) S 14228 14231 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5939219 752283648 2592 33554432000 4194304 16246674 140735471705424 139765256002800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14231/tid=14234] ppid=14228 vsize=738748 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14234/stat : 14234 (toysat) S 14228 14231 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5939219 756477952 2608 33554432000 4194304 16246674 140735471705424 139765245529264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.15 2.13 2.05 3/179 14231
/proc/meminfo: memFree=30467100/32872528 swapFree=446836/479540
[pid=14231] ppid=14228 vsize=1220164 CPUtime=0.08 cores=0,2,4,6
/proc/14231/stat : 14231 (toysat) R 14228 14231 5711 0 -1 4202496 23359 0 0 0 4 4 0 0 20 0 4 0 5939219 1249447936 23147 33554432000 4194304 16246674 140735471705424 140735471704736 5885249 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14231/statm: 305041 23154 835 2943 0 301935 0
[pid=14231/tid=14232] ppid=14228 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14232/stat : 14232 (toysat) S 14228 14231 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5939219 1249447936 23159 33554432000 4194304 16246674 140735471705424 139765266492656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14231/tid=14233] ppid=14228 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14233/stat : 14233 (toysat) S 14228 14231 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5939219 1249447936 23163 33554432000 4194304 16246674 140735471705424 139765256002800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14231/tid=14234] ppid=14228 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14234/stat : 14234 (toysat) S 14228 14231 5711 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5939219 1249447936 23168 33554432000 4194304 16246674 140735471705424 139765245529264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.4482 s]
/proc/loadavg: 2.15 2.13 2.05 3/179 14231
/proc/meminfo: memFree=30467100/32872528 swapFree=446836/479540
[pid=14231] ppid=14228 vsize=1220164 CPUtime=0.44 cores=0,2,4,6
/proc/14231/stat : 14231 (toysat) R 14228 14231 5711 0 -1 4202496 83084 0 0 0 31 13 0 0 20 0 4 0 5939219 1249447936 82872 33554432000 4194304 16246674 140735471705424 140735471704736 13954410 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14231/statm: 305041 82881 873 2943 0 301935 0
[pid=14231/tid=14232] ppid=14228 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14232/stat : 14232 (toysat) S 14228 14231 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5939219 1249447936 82887 33554432000 4194304 16246674 140735471705424 139765266492656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14231/tid=14233] ppid=14228 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14233/stat : 14233 (toysat) S 14228 14231 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5939219 1249447936 82893 33554432000 4194304 16246674 140735471705424 139765256002800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14231/tid=14234] ppid=14228 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14234/stat : 14234 (toysat) S 14228 14231 5711 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5939219 1249447936 82898 33554432000 4194304 16246674 140735471705424 139765245529264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 1220164

[startup+0.500452 s]
/proc/loadavg: 2.15 2.13 2.05 3/179 14231
/proc/meminfo: memFree=30467100/32872528 swapFree=446836/479540
[pid=14231] ppid=14228 vsize=1220164 CPUtime=0.49 cores=0,2,4,6
/proc/14231/stat : 14231 (toysat) R 14228 14231 5711 0 -1 4202496 91958 0 0 0 34 15 0 0 20 0 4 0 5939219 1249447936 91747 33554432000 4194304 16246674 140735471705424 140735471687296 13954518 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14231/statm: 305041 91754 873 2943 0 301935 0
[pid=14231/tid=14232] ppid=14228 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14232/stat : 14232 (toysat) S 14228 14231 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5939219 1249447936 91759 33554432000 4194304 16246674 140735471705424 139765266492656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14231/tid=14233] ppid=14228 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14233/stat : 14233 (toysat) S 14228 14231 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5939219 1249447936 91764 33554432000 4194304 16246674 140735471705424 139765256002800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14231/tid=14234] ppid=14228 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14234/stat : 14234 (toysat) S 14228 14231 5711 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5939219 1249447936 91768 33554432000 4194304 16246674 140735471705424 139765245529264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 1220164

[startup+0.700389 s]
/proc/loadavg: 2.15 2.13 2.05 3/179 14231
/proc/meminfo: memFree=30467100/32872528 swapFree=446836/479540
[pid=14231] ppid=14228 vsize=1220164 CPUtime=0.68 cores=0,2,4,6
/proc/14231/stat : 14231 (toysat) R 14228 14231 5711 0 -1 4202496 124943 0 0 0 50 18 0 0 20 0 4 0 5939219 1249447936 124731 33554432000 4194304 16246674 140735471705424 140735471687296 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14231/statm: 305041 124739 873 2943 0 301935 0
[pid=14231/tid=14232] ppid=14228 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14232/stat : 14232 (toysat) S 14228 14231 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5939219 1249447936 124745 33554432000 4194304 16246674 140735471705424 139765266492656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14231/tid=14233] ppid=14228 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14233/stat : 14233 (toysat) S 14228 14231 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5939219 1249447936 124750 33554432000 4194304 16246674 140735471705424 139765256002800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14231/tid=14234] ppid=14228 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14234/stat : 14234 (toysat) S 14228 14231 5711 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5939219 1249447936 124755 33554432000 4194304 16246674 140735471705424 139765245529264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1220164

[startup+1.50046 s]
/proc/loadavg: 2.15 2.13 2.05 3/183 14235
/proc/meminfo: memFree=29583328/32872528 swapFree=446836/479540
[pid=14231] ppid=14228 vsize=1300036 CPUtime=1.49 cores=0,2,4,6
/proc/14231/stat : 14231 (toysat) R 14228 14231 5711 0 -1 4202496 251298 0 0 0 111 38 0 0 20 0 4 0 5939219 1331236864 251086 33554432000 4194304 16246674 140735471705424 140735471687296 5661217 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14231/statm: 325009 251093 876 2943 0 321903 0
[pid=14231/tid=14232] ppid=14228 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14232/stat : 14232 (toysat) S 14228 14231 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5939219 1331236864 251097 33554432000 4194304 16246674 140735471705424 139765266492656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14231/tid=14233] ppid=14228 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14233/stat : 14233 (toysat) S 14228 14231 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5939219 1331236864 251101 33554432000 4194304 16246674 140735471705424 139765256002800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14231/tid=14234] ppid=14228 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14234/stat : 14234 (toysat) S 14228 14231 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5939219 1331236864 251105 33554432000 4194304 16246674 140735471705424 139765245529264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1300036

[startup+3.10038 s]
/proc/loadavg: 2.15 2.13 2.05 3/183 14235
/proc/meminfo: memFree=29404792/32872528 swapFree=446836/479540
[pid=14231] ppid=14228 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/14231/stat : 14231 (toysat) R 14228 14231 5711 0 -1 4202496 267706 0 0 0 269 40 0 0 20 0 4 0 5939219 1337528320 267494 33554432000 4194304 16246674 140735471705424 140735471704088 5829313 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14231/statm: 326545 267494 876 2943 0 323439 0
[pid=14231/tid=14232] ppid=14228 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14232/stat : 14232 (toysat) S 14228 14231 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5939219 1337528320 267494 33554432000 4194304 16246674 140735471705424 139765266492656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14231/tid=14233] ppid=14228 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14233/stat : 14233 (toysat) S 14228 14231 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5939219 1337528320 267494 33554432000 4194304 16246674 140735471705424 139765256002800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14231/tid=14234] ppid=14228 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14234/stat : 14234 (toysat) S 14228 14231 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5939219 1337528320 267494 33554432000 4194304 16246674 140735471705424 139765245529264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30039 s]
/proc/loadavg: 2.14 2.13 2.05 3/183 14235
/proc/meminfo: memFree=29398228/32872528 swapFree=446836/479540
[pid=14231] ppid=14228 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/14231/stat : 14231 (toysat) R 14228 14231 5711 0 -1 4202496 267816 0 0 0 589 40 0 0 20 0 4 0 5939219 1338576896 267604 33554432000 4194304 16246674 140735471705424 140735471687296 12483624 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14231/statm: 326801 267604 881 2943 0 323695 0
[pid=14231/tid=14232] ppid=14228 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14232/stat : 14232 (toysat) S 14228 14231 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5939219 1338576896 267604 33554432000 4194304 16246674 140735471705424 139765266492656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14231/tid=14233] ppid=14228 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14233/stat : 14233 (toysat) S 14228 14231 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5939219 1338576896 267604 33554432000 4194304 16246674 140735471705424 139765256002800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14231/tid=14234] ppid=14228 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14234/stat : 14234 (toysat) S 14228 14231 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5939219 1338576896 267604 33554432000 4194304 16246674 140735471705424 139765245529264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.13 2.13 2.05 3/183 14235
/proc/meminfo: memFree=29395692/32872528 swapFree=446836/479540
[pid=14231] ppid=14228 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/14231/stat : 14231 (toysat) R 14228 14231 5711 0 -1 4202496 267983 0 0 0 1229 40 0 0 20 0 4 0 5939219 1338576896 267771 33554432000 4194304 16246674 140735471705424 140735471687296 12477724 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14231/statm: 326801 267771 882 2943 0 323695 0
[pid=14231/tid=14232] ppid=14228 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14232/stat : 14232 (toysat) S 14228 14231 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5939219 1338576896 267771 33554432000 4194304 16246674 140735471705424 139765266492656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14231/tid=14233] ppid=14228 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14233/stat : 14233 (toysat) S 14228 14231 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5939219 1338576896 267771 33554432000 4194304 16246674 140735471705424 139765256002800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14231/tid=14234] ppid=14228 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14234/stat : 14234 (toysat) S 14228 14231 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5939219 1338576896 267771 33554432000 4194304 16246674 140735471705424 139765245529264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5004 s]
/proc/loadavg: 2.10 2.12 2.05 3/183 14235
/proc/meminfo: memFree=29394584/32872528 swapFree=446836/479540
[pid=14231] ppid=14228 vsize=1308228 CPUtime=25.49 cores=0,2,4,6
/proc/14231/stat : 14231 (toysat) R 14228 14231 5711 0 -1 4202496 268244 0 0 0 2509 40 0 0 20 0 4 0 5939219 1339625472 268032 33554432000 4194304 16246674 140735471705424 140735471687296 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14231/statm: 327057 268032 887 2943 0 323951 0
[pid=14231/tid=14232] ppid=14228 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14232/stat : 14232 (toysat) S 14228 14231 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5939219 1339625472 268032 33554432000 4194304 16246674 140735471705424 139765266492656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14231/tid=14233] ppid=14228 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14233/stat : 14233 (toysat) S 14228 14231 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5939219 1339625472 268032 33554432000 4194304 16246674 140735471705424 139765256002800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14231/tid=14234] ppid=14228 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14234/stat : 14234 (toysat) S 14228 14231 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5939219 1339625472 268032 33554432000 4194304 16246674 140735471705424 139765245529264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1004 s]
/proc/loadavg: 2.06 2.11 2.05 3/182 14235
/proc/meminfo: memFree=29373840/32872528 swapFree=446836/479540
[pid=14231] ppid=14228 vsize=1311300 CPUtime=51.08 cores=0,2,4,6
/proc/14231/stat : 14231 (toysat) R 14228 14231 5711 0 -1 4202496 269012 0 0 0 5068 40 0 0 20 0 4 0 5939219 1342771200 268800 33554432000 4194304 16246674 140735471705424 140735471687296 5722291 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14231/statm: 327825 268800 887 2943 0 324719 0
[pid=14231/tid=14232] ppid=14228 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14232/stat : 14232 (toysat) S 14228 14231 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5939219 1342771200 268800 33554432000 4194304 16246674 140735471705424 139765266492656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14231/tid=14233] ppid=14228 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14233/stat : 14233 (toysat) S 14228 14231 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5939219 1342771200 268800 33554432000 4194304 16246674 140735471705424 139765256002800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14231/tid=14234] ppid=14228 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14234/stat : 14234 (toysat) S 14228 14231 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5939219 1342771200 268800 33554432000 4194304 16246674 140735471705424 139765245529264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1311300

[startup+102.3 s]
/proc/loadavg: 2.09 2.11 2.05 3/182 14236
/proc/meminfo: memFree=29369056/32872528 swapFree=446836/479540
[pid=14231] ppid=14228 vsize=1315396 CPUtime=102.27 cores=0,2,4,6
/proc/14231/stat : 14231 (toysat) R 14228 14231 5711 0 -1 4202496 270036 0 0 0 10187 40 0 0 20 0 4 0 5939219 1346965504 269824 33554432000 4194304 16246674 140735471705424 140735471687296 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14231/statm: 328849 269824 887 2943 0 325743 0
[pid=14231/tid=14232] ppid=14228 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14232/stat : 14232 (toysat) S 14228 14231 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5939219 1346965504 269824 33554432000 4194304 16246674 140735471705424 139765266492656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14231/tid=14233] ppid=14228 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14233/stat : 14233 (toysat) S 14228 14231 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5939219 1346965504 269824 33554432000 4194304 16246674 140735471705424 139765256002800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14231/tid=14234] ppid=14228 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14234/stat : 14234 (toysat) S 14228 14231 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5939219 1346965504 269824 33554432000 4194304 16246674 140735471705424 139765245529264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1315396


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

/proc/14231/task/14234/stat : 14234 (toysat) S 14228 14231 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765245529264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1361476

[startup+1302.3 s]
/proc/loadavg: 2.26 2.16 2.10 3/182 14267
/proc/meminfo: memFree=29288232/32872528 swapFree=446836/479540
[pid=14231] ppid=14228 vsize=1361476 CPUtime=1301.86 cores=0,2,4,6
/proc/14231/stat : 14231 (toysat) R 14228 14231 5711 0 -1 4202496 281979 0 0 0 130142 44 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 140735471687296 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14231/statm: 340369 281601 888 2943 0 337263 0
[pid=14231/tid=14232] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14232/stat : 14232 (toysat) S 14228 14231 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765266492656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14231/tid=14233] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14233/stat : 14233 (toysat) S 14228 14231 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765256002800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14231/tid=14234] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14234/stat : 14234 (toysat) S 14228 14231 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765245529264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1361476

[startup+1362.3 s]
/proc/loadavg: 2.16 2.14 2.09 3/182 14268
/proc/meminfo: memFree=29288128/32872528 swapFree=446836/479540
[pid=14231] ppid=14228 vsize=1361476 CPUtime=1361.84 cores=0,2,4,6
/proc/14231/stat : 14231 (toysat) R 14228 14231 5711 0 -1 4202496 281997 0 0 0 136140 44 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 140735471687296 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14231/statm: 340369 281601 888 2943 0 337263 0
[pid=14231/tid=14232] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14232/stat : 14232 (toysat) S 14228 14231 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765266492656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14231/tid=14233] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14233/stat : 14233 (toysat) S 14228 14231 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765256002800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14231/tid=14234] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14234/stat : 14234 (toysat) S 14228 14231 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765245529264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1361476

[startup+1422.3 s]
/proc/loadavg: 2.17 2.15 2.09 3/182 14269
/proc/meminfo: memFree=29288124/32872528 swapFree=446836/479540
[pid=14231] ppid=14228 vsize=1361476 CPUtime=1421.82 cores=0,2,4,6
/proc/14231/stat : 14231 (toysat) R 14228 14231 5711 0 -1 4202496 282010 0 0 0 142138 44 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 140735471687296 5523288 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14231/statm: 340369 281601 888 2943 0 337263 0
[pid=14231/tid=14232] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14232/stat : 14232 (toysat) S 14228 14231 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765266492656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14231/tid=14233] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14233/stat : 14233 (toysat) S 14228 14231 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765256002800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14231/tid=14234] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14234/stat : 14234 (toysat) S 14228 14231 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765245529264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1361476

[startup+1482.3 s]
/proc/loadavg: 2.18 2.15 2.09 3/181 14270
/proc/meminfo: memFree=29288132/32872528 swapFree=446836/479540
[pid=14231] ppid=14228 vsize=1361476 CPUtime=1481.81 cores=0,2,4,6
/proc/14231/stat : 14231 (toysat) R 14228 14231 5711 0 -1 4202496 282010 0 0 0 148137 44 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 140735471687296 6021620 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14231/statm: 340369 281601 888 2943 0 337263 0
[pid=14231/tid=14232] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14232/stat : 14232 (toysat) S 14228 14231 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765266492656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14231/tid=14233] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14233/stat : 14233 (toysat) S 14228 14231 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765256002800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14231/tid=14234] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14234/stat : 14234 (toysat) S 14228 14231 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765245529264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1361476

[startup+1542.3 s]
/proc/loadavg: 2.16 2.15 2.09 3/182 14272
/proc/meminfo: memFree=29288368/32872528 swapFree=446836/479540
[pid=14231] ppid=14228 vsize=1361476 CPUtime=1541.8 cores=0,2,4,6
/proc/14231/stat : 14231 (toysat) R 14228 14231 5711 0 -1 4202496 282010 0 0 0 154136 44 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 140735471687296 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14231/statm: 340369 281601 888 2943 0 337263 0
[pid=14231/tid=14232] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14232/stat : 14232 (toysat) S 14228 14231 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765266492656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14231/tid=14233] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14233/stat : 14233 (toysat) S 14228 14231 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765256002800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14231/tid=14234] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14234/stat : 14234 (toysat) S 14228 14231 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765245529264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1361476

[startup+1602.3 s]
/proc/loadavg: 2.20 2.16 2.10 3/182 14273
/proc/meminfo: memFree=29288240/32872528 swapFree=446836/479540
[pid=14231] ppid=14228 vsize=1361476 CPUtime=1601.8 cores=0,2,4,6
/proc/14231/stat : 14231 (toysat) R 14228 14231 5711 0 -1 4202496 282010 0 0 0 160135 45 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 140735471687296 5823275 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14231/statm: 340369 281601 888 2943 0 337263 0
[pid=14231/tid=14232] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14232/stat : 14232 (toysat) S 14228 14231 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765266492656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14231/tid=14233] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14233/stat : 14233 (toysat) S 14228 14231 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765256002800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14231/tid=14234] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14234/stat : 14234 (toysat) S 14228 14231 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765245529264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1361476

[startup+1662.3 s]
/proc/loadavg: 2.37 2.21 2.11 3/182 14274
/proc/meminfo: memFree=29288116/32872528 swapFree=446836/479540
[pid=14231] ppid=14228 vsize=1361476 CPUtime=1661.79 cores=0,2,4,6
/proc/14231/stat : 14231 (toysat) R 14228 14231 5711 0 -1 4202496 282010 0 0 0 166134 45 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 140735471687296 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14231/statm: 340369 281601 888 2943 0 337263 0
[pid=14231/tid=14232] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14232/stat : 14232 (toysat) S 14228 14231 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765266492656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14231/tid=14233] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14233/stat : 14233 (toysat) S 14228 14231 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765256002800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14231/tid=14234] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14234/stat : 14234 (toysat) S 14228 14231 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765245529264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1361476

[startup+1722.3 s]
/proc/loadavg: 2.19 2.18 2.11 3/183 14278
/proc/meminfo: memFree=29288360/32872528 swapFree=446836/479540
[pid=14231] ppid=14228 vsize=1361476 CPUtime=1721.77 cores=0,2,4,6
/proc/14231/stat : 14231 (toysat) R 14228 14231 5711 0 -1 4202496 282010 0 0 0 172132 45 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 140735471687296 5673285 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14231/statm: 340369 281601 888 2943 0 337263 0
[pid=14231/tid=14232] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14232/stat : 14232 (toysat) S 14228 14231 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765266492656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14231/tid=14233] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14233/stat : 14233 (toysat) S 14228 14231 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765256002800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14231/tid=14234] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14234/stat : 14234 (toysat) S 14228 14231 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765245529264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1361476

[startup+1782.31 s]
/proc/loadavg: 1.54 2.01 2.05 2/172 14309
/proc/meminfo: memFree=30440004/32872528 swapFree=446836/479540
[pid=14231] ppid=14228 vsize=1361476 CPUtime=1781.78 cores=0,2,4,6
/proc/14231/stat : 14231 (toysat) R 14228 14231 5711 0 -1 4202496 282010 0 0 0 178132 46 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 140735471687296 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14231/statm: 340369 281601 888 2943 0 337263 0
[pid=14231/tid=14232] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14232/stat : 14232 (toysat) S 14228 14231 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765266492656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14231/tid=14233] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14233/stat : 14233 (toysat) S 14228 14231 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765256002800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14231/tid=14234] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14234/stat : 14234 (toysat) S 14228 14231 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765245529264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1361476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.50 1.97 2.04 2/172 14311
/proc/meminfo: memFree=30440124/32872528 swapFree=446836/479540
[pid=14231] ppid=14228 vsize=1361476 CPUtime=1800.07 cores=0,2,4,6
/proc/14231/stat : 14231 (toysat) R 14228 14231 5711 0 -1 4202496 282010 0 0 0 179961 46 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 140735471687296 12483423 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14231/statm: 340369 281601 888 2943 0 337263 0
[pid=14231/tid=14232] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14232/stat : 14232 (toysat) S 14228 14231 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765266492656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14231/tid=14233] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14233/stat : 14233 (toysat) S 14228 14231 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765256002800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14231/tid=14234] ppid=14228 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/14231/task/14234/stat : 14234 (toysat) S 14228 14231 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5939219 1394151424 281601 33554432000 4194304 16246674 140735471705424 139765245529264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1361476

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.62
CPU system time (s): 0.45993
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 1361476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.45993
maximum resident set size= 1126404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282010
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= 468
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.41218 second user time and 8.17676 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-16 03:01:31
IDJOB=4090219
IDBENCH=107518
IDSOLVER=2542
FILE ID=node104/4090219-1466038891
RUNJOBID= node104-1466038828-13978
PBS_JOBID= 19902812
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/Instances3col_OPB/normalized-3col-almost3reg-l070-r069-n1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090219-1466038891/watcher-4090219-1466038891 -o /tmp/evaluation-result-4090219-1466038891/solver-4090219-1466038891 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466038828-13978 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090219-1466038891.opb

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

MD5SUM BENCH= d76c96017b581f63aaf0b7b87bca4e40
RANDOM SEED=392168977

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
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.035
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.035
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.54
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.035
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.035
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:        30468000 kB
Buffers:           33024 kB
Cached:           107192 kB
SwapCached:         1448 kB
Active:          1169224 kB
Inactive:          55940 kB
Active(anon):    1085416 kB
Inactive(anon):     2028 kB
Active(file):      83808 kB
Inactive(file):    53912 kB
Unevictable:      479540 kB
Mlocked:          446836 kB
SwapTotal:      67108856 kB
SwapFree:       67099956 kB
Dirty:             16340 kB
Writeback:             0 kB
AnonPages:       1565100 kB
Mapped:            10856 kB
Shmem:                 0 kB
Slab:             568816 kB
SReclaimable:      12336 kB
SUnreclaim:       556480 kB
KernelStack:        1520 kB
PageTables:         7112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1699404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 71724 MiB
End job on node104 at 2016-06-16 03:31:32