Trace number 4078934

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.07 1800.61

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K83.opb
MD5SUM87eecd69bf3cf4e36ad8fc8a9d8af53d
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 variables5644
Total number of constraints5812
Number of constraints which are clauses5729
Number of constraints which are cardinality constraints (but not clauses)83
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint83
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 84
Number of bits of the biggest sum of numbers7
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-07T09:17:14+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-4078934-1465283834.opb"]
0.00/0.01	c use --random-gen="167274733 1533478616 3732450603 2829024469 659974106 1128343383 1613930330 2863043459 2453148164 1797203789 3393462767 478606479 4188626784 1212136289 1063905950 3541135265 4184383462 835007652 535266671 3782839876 1166774619 403248654 2772954196 2285528317 2841887757 3677281798 4156315052 3068728238 180556619 2132831260 345480323 2270093817 3278685552 1723368788 4017281113 2626645450 4235544352 2977948207 525421198 1754766549 3266691679 2940959254 347503550 2976269697 3668266553 4073521596 1702016640 812772024 327792299 1739601859 3824623301 1771521375 1827249566 2451787131 1493524521 797335573 386878491 712925916 2814616725 4076690232 1379995824 416152782 3793209278 2818874447 3382475607 3749649338 2025418559 2665622026 1402372362 2324889726 1770712509 2484518227 1706109334 2968363831 2855061197 743217981 3643065822 46942194 2680698410 356617384 4006479305 1587871419 1491323520 2543605333 4135455950 2022234654 1253570129 424234840 1110384692 1777954858 3009806553 2997842695 2723974895 2599539685 2304445163 2549460313 1691752864 2470097876 4014624673 1879465592 193930303 3957732681 1233483020 3790765766 3006316182 3026548502 294388338 3662631466 3939572213 2788226556 4225171407 851175178 920187436 1172663730 3282324194 3988402022 4026169956 2413099129 1985534708 347904064 2705063577 58125604 530895751 2824547032 1660070514 4040479885 2028680497 2041906929 3703422672 1867796118 3720228695 729128413 2689964801 812237322 1813894614 4154294373 2977769829 625421676 2282248793 2301451353 467718313 2548165969 530479724 3731072554 668735882 3543112418 1429485377 118414635 1285724727 422976690 4140506323 3946251252 1456499112 1212771974 2982015263 1479841108 1767236663 2802520818 1179925985 4244390955 112301523 1116491406 227091277 495547582 3487775627 1620565937 1660337803 4115906330 3808235867 376427318 1752714716 1225814741 3949747294 2846040385 1183641128 885798334 3853361855 1370407665 1697930841 2434835225 3597568689 2699100733 523487316 2731772950 4131879649 196687740 844626510 2521425189 569004950 1558796741 4261232934 2358121788 2103948473 1379190210 3810664578 3614787307 2386473287 3016438269 404104698 308527929 1705713242 2829751364 4147877571 3843705177 3265389398 3702654196 326610958 2098406146 3738719309 1823276083 3731921242 2156767047 4177421556 3406855142 2241019088 130815228 1183142504 2111821279 3391321459 2277750351 1155655816 2359724828 2000052281 789362055 1389662317 3956983100 553641306 4279143438 743281579 2467018427 900863308 2878952157 3322537750 2948521366 1282162306 2553209785 3496640568 699536915 2895188250 1574535076 1511196558 2814974088 2152640287 2343055107 509255232 2942737172 3459747951 3504952812 3058202151 4247482617 209750976 867639705 4177839487 2154485658 3703961252 149631763 255 362436" option to reproduce the execution
0.09/0.10	c #vars 5644
0.09/0.10	c #constraints 5812
0.19/0.22	c Solving starts ...
0.19/0.22	c ============================[ Search Statistics ]============================
0.19/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.22	c =============================================================================
0.19/0.22	c  0.0s |       0 |        0 |        0 |     3818      0 |      362 |        0
0.29/0.37	c  0.1s |       1 |     5680 |      100 |     3818      0 |      363 |      304
0.69/0.74	c  0.5s |       2 |     7538 |      250 |     4200      0 |      363 |      304
0.89/0.96	c  0.7s |       3 |    10258 |      475 |     4620      0 |      363 |      304
1.30/1.40	c  1.2s |       4 |    18190 |      813 |     5082      0 |      367 |      308
1.88/1.99	c  1.8s |       5 |    27612 |     1320 |     5591      0 |      368 |      309
2.79/2.86	c  2.6s |       6 |    38572 |     2081 |     6767      0 |      370 |      311
4.19/4.23	c  4.0s |       7 |    49768 |     3223 |     7444      0 |      372 |      313
6.09/6.14	c  5.9s |       8 |    77995 |     4936 |     8189      0 |      375 |      316
8.19/8.29	c  8.1s |       8 |    95832 |     6836 |     8189      0 |      375 |      316
9.59/9.68	c  9.5s |       9 |   100909 |     7506 |     9008      0 |      375 |      316
11.69/11.75	c 11.5s |       9 |   123202 |     9106 |     9008      0 |      375 |      316
13.68/13.77	c 13.6s |       9 |   136970 |    10606 |     9008      1 |      377 |      318
14.68/14.71	c 14.5s |      10 |   147332 |    11361 |     9909      1 |      377 |      318
16.79/16.80	c 16.6s |      10 |   162892 |    12961 |     9909      1 |      377 |      318
18.89/18.91	c 18.7s |      10 |   174483 |    14561 |     9909      1 |      378 |      319
20.88/20.99	c 20.8s |      10 |   186501 |    15961 |     9909      1 |      378 |      319
22.68/22.78	c 22.6s |      11 |   197492 |    17144 |    10900      2 |      378 |      319
24.78/24.85	c 24.6s |      11 |   215940 |    18544 |    10900      2 |      380 |      321
26.88/26.96	c 26.7s |      11 |   221943 |    19844 |    10900      2 |      380 |      321
28.98/29.01	c 28.8s |      11 |   226502 |    20844 |    10900      2 |      380 |      321
30.99/31.10	c 30.9s |      11 |   228962 |    21644 |    10900      2 |      380 |      321
33.29/33.33	c 33.1s |      11 |   230611 |    22244 |    10900      2 |      380 |      321
35.58/35.61	c 35.4s |      11 |   231384 |    22644 |    10900      2 |      380 |      321
37.59/37.61	c 37.4s |      11 |   234496 |    23344 |    10900      2 |      380 |      321
39.69/39.70	c 39.5s |      11 |   240453 |    24544 |    10900      2 |      380 |      321
41.69/41.71	c 41.5s |      11 |   247202 |    25744 |    11991      3 |      380 |      321
41.79/41.81	c 41.6s |      12 |   247431 |    25819 |    11991      3 |      380 |      321
43.79/43.84	c 43.6s |      12 |   256126 |    27319 |    11991      3 |      380 |      321
45.79/45.87	c 45.6s |      12 |   267156 |    28519 |    11991      3 |      381 |      322
47.78/47.88	c 47.7s |      12 |   284799 |    29919 |    11991      3 |      382 |      323
49.88/49.94	c 49.7s |      12 |   301141 |    31419 |    11991      3 |      382 |      323
52.08/52.14	c 51.9s |      12 |   310827 |    32519 |    11991      4 |      383 |      324
54.09/54.15	c 53.9s |      12 |   328264 |    34119 |    11991      4 |      383 |      324
56.18/56.29	c 56.1s |      12 |   338761 |    35319 |    11991      4 |      384 |      325
58.28/58.31	c 58.1s |      12 |   345582 |    36419 |    11991      4 |      384 |      325
60.38/60.41	c 60.2s |      12 |   351634 |    37719 |    11991      4 |      384 |      325
62.38/62.49	c 62.3s |      12 |   356769 |    38819 |    13191      4 |      384 |      325
62.48/62.54	c 62.3s |      13 |   356776 |    38832 |    13191      4 |      384 |      325
64.58/64.64	c 64.4s |      13 |   367067 |    40432 |    13191      5 |      384 |      325
66.68/66.74	c 66.5s |      13 |   370995 |    41432 |    13191      5 |      384 |      325
68.78/68.83	c 68.6s |      13 |   376911 |    42432 |    13191      5 |      385 |      326
70.88/70.92	c 70.7s |      13 |   390588 |    43732 |    13191      5 |      385 |      326
72.89/72.97	c 72.8s |      13 |   399651 |    44732 |    13191      5 |      385 |      326
74.88/74.98	c 74.8s |      13 |   410710 |    45932 |    13191      6 |      385 |      326
76.98/77.08	c 76.9s |      13 |   428149 |    47632 |    13191      6 |      385 |      326
79.08/79.15	c 78.9s |      13 |   445794 |    49132 |    13191      6 |      385 |      326
81.18/81.27	c 81.0s |      13 |   459712 |    50532 |    13191      6 |      385 |      326
83.28/83.36	c 83.1s |      13 |   468098 |    51732 |    13191      6 |      385 |      326
85.48/85.52	c 85.3s |      13 |   474272 |    52632 |    13191      6 |      385 |      326
87.58/87.66	c 87.4s |      13 |   485038 |    54132 |    13191      7 |      385 |      326
89.78/89.89	c 89.7s |      13 |   488859 |    55032 |    13191      7 |      385 |      326
91.98/92.01	c 91.8s |      13 |   491707 |    55632 |    13191      7 |      385 |      326
94.47/94.56	c 94.3s |      13 |   495240 |    56432 |    13191      7 |      385 |      326
96.87/96.96	c 96.7s |      13 |   498037 |    56832 |    13191      7 |      385 |      326
99.18/99.22	c 99.0s |      13 |   501093 |    57632 |    13191      7 |      385 |      326
101.38/101.42	c  101s |      13 |   503603 |    58132 |    14511      7 |      385 |      326
101.67/101.71	c  101s |      14 |   504520 |    58352 |    14511      7 |      385 |      326
103.77/103.81	c  103s |      14 |   513208 |    59452 |    14511      7 |      385 |      326
105.97/106.00	c  105s |      14 |   529466 |    60952 |    14511      7 |      386 |      327
107.98/108.09	c  107s |      14 |   544062 |    62352 |    14511      7 |      387 |      328
110.18/110.28	c  110s |      14 |   555168 |    63652 |    14511      8 |      387 |      328
112.27/112.34	c  112s |      14 |   569260 |    64952 |    14511      8 |      387 |      328
114.27/114.38	c  114s |      14 |   586117 |    66352 |    14511      8 |      387 |      328
116.37/116.48	c  116s |      14 |   596813 |    67852 |    14511      8 |      387 |      328
118.47/118.56	c  118s |      14 |   603749 |    69052 |    14511      8 |      387 |      328
120.67/120.73	c  120s |      14 |   608380 |    70152 |    14511      8 |      387 |      328
122.87/122.92	c  122s |      14 |   611045 |    70852 |    14511      8 |      387 |      328
125.07/125.10	c  124s |      14 |   619578 |    72252 |    14511      9 |      387 |      328
127.07/127.11	c  126s |      14 |   625706 |    73252 |    14511      9 |      387 |      328
129.07/129.16	c  128s |      14 |   636829 |    74452 |    14511      9 |      387 |      328
131.27/131.35	c  131s |      14 |   641552 |    75552 |    14511      9 |      387 |      328
133.47/133.57	c  133s |      14 |   643849 |    76352 |    14511      9 |      387 |      328
135.77/135.88	c  135s |      14 |   645617 |    76852 |    14511      9 |      387 |      328
138.07/138.14	c  137s |      14 |   647773 |    77452 |    14511      9 |      387 |      328
140.16/140.26	c  140s |      14 |   652407 |    77952 |    14511      9 |      387 |      328
142.26/142.30	c  142s |      14 |   662846 |    79252 |    14511     10 |      387 |      328
144.28/144.38	c  144s |      14 |   677361 |    80752 |    14511     10 |      387 |      328
146.37/146.43	c  146s |      14 |   685436 |    81752 |    14511     10 |      387 |      328
148.37/148.45	c  148s |      14 |   692316 |    82652 |    14511     10 |      387 |      328
150.47/150.53	c  150s |      14 |   699623 |    83952 |    14511     10 |      387 |      328
152.47/152.58	c  152s |      14 |   707438 |    84952 |    14511     10 |      387 |      328
154.66/154.79	c  154s |      14 |   710248 |    85552 |    14511     10 |      387 |      328
156.86/156.97	c  156s |      14 |   713671 |    86352 |    14511     10 |      387 |      328
158.96/159.02	c  158s |      14 |   716111 |    87152 |    15963     10 |      387 |      328
159.77/159.82	c  159s |      15 |   719983 |    87632 |    15963     10 |      387 |      328
161.87/161.97	c  161s |      15 |   729018 |    88832 |    15963     11 |      387 |      328
163.96/164.07	c  163s |      15 |   741079 |    90432 |    15963     11 |      387 |      328
166.06/166.13	c  165s |      15 |   751239 |    91732 |    15963     11 |      387 |      328
168.16/168.26	c  168s |      15 |   763618 |    93232 |    15963     11 |      387 |      328
170.36/170.44	c  170s |      15 |   770213 |    94432 |    15963     11 |      387 |      328
172.56/172.61	c  172s |      15 |   779794 |    95432 |    15963     11 |      387 |      328
174.56/174.68	c  174s |      15 |   793442 |    96832 |    15963     12 |      388 |      329
176.66/176.70	c  176s |      15 |   809535 |    98532 |    15963     12 |      388 |      329
178.66/178.74	c  178s |      15 |   818169 |    99532 |    15963     12 |      389 |      330
180.76/180.86	c  180s |      15 |   834002 |   100832 |    15963     12 |      389 |      330
182.96/183.00	c  182s |      15 |   844317 |   102032 |    15963     12 |      389 |      330
184.97/185.04	c  184s |      15 |   853190 |   103332 |    15963     12 |      389 |      330
186.96/187.05	c  186s |      15 |   862467 |   104232 |    15963     13 |      390 |      331
188.96/189.05	c  188s |      15 |   880601 |   105832 |    15963     13 |      390 |      331
191.06/191.11	c  190s |      15 |   890829 |   107032 |    15963     13 |      390 |      331
193.06/193.17	c  192s |      15 |   899262 |   107932 |    15963     13 |      390 |      331
195.26/195.31	c  195s |      15 |   912504 |   109332 |    15963     13 |      391 |      332
197.26/197.36	c  197s |      15 |   926791 |   110732 |    15963     13 |      391 |      332
199.36/199.41	c  199s |      15 |   941937 |   112032 |    15963     13 |      391 |      332
201.35/201.44	c  201s |      15 |   956939 |   113332 |    15963     14 |      391 |      332
203.45/203.51	c  203s |      15 |   971460 |   114732 |    15963     14 |      391 |      332
205.46/205.57	c  205s |      15 |   977001 |   115732 |    15963     14 |      391 |      332
207.66/207.79	c  207s |      15 |   980664 |   116632 |    15963     14 |      391 |      332
209.76/209.84	c  209s |      15 |   987617 |   117432 |    15963     14 |      391 |      332
212.06/212.11	c  211s |      15 |   990130 |   117932 |    15963     14 |      391 |      332
214.16/214.27	c  214s |      15 |   994251 |   118632 |    15963     14 |      391 |      332
216.36/216.42	c  216s |      15 |   999292 |   119532 |    15963     14 |      391 |      332
218.36/218.47	c  218s |      15 |  1003387 |   120532 |    15963     14 |      391 |      332
220.36/220.49	c  220s |      15 |  1006033 |   121332 |    15963     14 |      391 |      332
222.66/222.73	c  222s |      15 |  1008303 |   122132 |    15963     14 |      391 |      332
224.95/225.03	c  224s |      15 |  1010363 |   122832 |    15963     14 |      391 |      332
227.15/227.20	c  226s |      15 |  1011552 |   123332 |    15963     14 |      391 |      332
229.45/229.57	c  229s |      15 |  1012623 |   123832 |    15963     15 |      391 |      332
231.45/231.59	c  231s |      15 |  1014226 |   124432 |    15963     15 |      391 |      332
233.95/234.02	c  233s |      15 |  1016134 |   125132 |    15963     15 |      391 |      332
236.25/236.30	c  236s |      15 |  1017618 |   125732 |    15963     15 |      391 |      332
238.25/238.32	c  238s |      15 |  1018572 |   126132 |    15963     15 |      391 |      332
240.45/240.50	c  240s |      15 |  1019268 |   126532 |    15963     15 |      391 |      332
242.55/242.63	c  242s |      15 |  1020689 |   127032 |    15963     15 |      391 |      332
244.75/244.85	c  244s |      15 |  1022606 |   127732 |    15963     15 |      391 |      332
246.85/246.95	c  246s |      15 |  1024532 |   128332 |    15963     15 |      391 |      332
249.15/249.29	c  249s |      15 |  1025742 |   128932 |    15963     15 |      391 |      332
251.35/251.47	c  251s |      15 |  1026822 |   129432 |    15963     15 |      391 |      332
253.55/253.69	c  253s |      15 |  1027821 |   129932 |    15963     15 |      391 |      332
256.05/256.12	c  255s |      15 |  1028762 |   130432 |    15963     15 |      391 |      332
258.05/258.18	c  257s |      15 |  1030089 |   130932 |    17560     15 |      391 |      332
260.35/260.41	c  260s |      15 |  1031501 |   131432 |    17560     15 |      391 |      332
260.75/260.85	c  260s |      16 |  1031946 |   131552 |    17560     15 |      391 |      332
262.85/262.95	c  262s |      16 |  1042673 |   132752 |    17560     15 |      391 |      332
264.85/264.98	c  264s |      16 |  1056316 |   133952 |    17560     16 |      391 |      332
266.94/267.07	c  266s |      16 |  1072530 |   135752 |    17560     16 |      392 |      333
269.05/269.11	c  268s |      16 |  1085917 |   137252 |    17560     16 |      392 |      333
271.15/271.24	c  271s |      16 |  1107815 |   138752 |    17560     16 |      392 |      333
273.15/273.27	c  273s |      16 |  1117268 |   140052 |    17560     16 |      392 |      333
275.25/275.32	c  275s |      16 |  1130694 |   141252 |    17560     16 |      392 |      333
277.24/277.34	c  277s |      16 |  1138978 |   142252 |    17560     16 |      392 |      333
279.24/279.35	c  279s |      16 |  1145505 |   143652 |    17560     16 |      392 |      333
281.24/281.35	c  281s |      16 |  1149614 |   144552 |    17560     17 |      392 |      333
283.34/283.46	c  283s |      16 |  1153357 |   145352 |    17560     17 |      392 |      333
285.33/285.48	c  285s |      16 |  1155873 |   146052 |    17560     17 |      392 |      333
287.43/287.50	c  287s |      16 |  1159930 |   146952 |    17560     17 |      392 |      333
289.54/289.61	c  289s |      16 |  1162237 |   147552 |    17560     17 |      392 |      333
291.83/291.91	c  291s |      16 |  1165524 |   148452 |    17560     17 |      392 |      333
293.94/294.05	c  293s |      16 |  1176058 |   149652 |    17560     17 |      392 |      333
295.93/296.09	c  295s |      16 |  1181949 |   150652 |    17560     17 |      392 |      333
298.03/298.12	c  297s |      16 |  1194274 |   151852 |    17560     17 |      392 |      333
300.03/300.17	c  299s |      16 |  1212497 |   153152 |    17560     18 |      392 |      333
302.13/302.24	c  302s |      16 |  1223523 |   154552 |    17560     18 |      392 |      333
304.13/304.28	c  304s |      16 |  1234347 |   155852 |    17560     18 |      392 |      333
306.22/306.39	c  306s |      16 |  1246406 |   157252 |    17560     18 |      392 |      333
308.32/308.40	c  308s |      16 |  1250511 |   157952 |    17560     18 |      392 |      333
310.33/310.42	c  310s |      16 |  1253684 |   158552 |    17560     18 |      392 |      333
312.42/312.60	c  312s |      16 |  1255780 |   159052 |    17560     18 |      392 |      333
315.12/315.28	c  315s |      16 |  1256512 |   159352 |    17560     18 |      392 |      333
318.51/318.67	c  318s |      16 |  1260099 |   159852 |    17560     18 |      392 |      333
320.61/320.78	c  320s |      16 |  1261014 |   160052 |    17560     18 |      392 |      333
323.52/323.66	c  323s |      16 |  1261698 |   160252 |    17560     18 |      392 |      333
325.51/325.67	c  325s |      16 |  1261930 |   160352 |    17560     18 |      392 |      333
327.71/327.86	c  327s |      16 |  1262592 |   160552 |    17560     18 |      392 |      333
331.22/331.31	c  331s |      16 |  1263231 |   160852 |    17560     18 |      392 |      333
333.31/333.44	c  333s |      16 |  1263446 |   160952 |    17560     18 |      392 |      333
335.41/335.59	c  335s |      16 |  1264372 |   161152 |    17560     18 |      392 |      333
337.51/337.63	c  337s |      16 |  1273367 |   162152 |    17560     19 |      392 |      333
339.61/339.72	c  339s |      16 |  1290210 |   163652 |    17560     19 |      392 |      333
341.81/341.97	c  341s |      16 |  1301857 |   165052 |    17560     19 |      392 |      333
343.91/344.06	c  343s |      16 |  1307328 |   165952 |    17560     19 |      392 |      333
346.00/346.10	c  345s |      16 |  1318302 |   167452 |    17560     19 |      392 |      333
348.10/348.28	c  348s |      16 |  1324082 |   168652 |    17560     19 |      392 |      333
350.30/350.44	c  350s |      16 |  1331059 |   169852 |    17560     19 |      392 |      333
352.40/352.58	c  352s |      16 |  1336905 |   170852 |    17560     19 |      392 |      333
354.60/354.78	c  354s |      16 |  1340250 |   171652 |    17560     19 |      392 |      333
356.80/356.95	c  356s |      16 |  1344556 |   172552 |    17560     19 |      392 |      333
358.90/359.09	c  358s |      16 |  1349529 |   173552 |    17560     20 |      392 |      333
361.21/361.31	c  361s |      16 |  1353780 |   174452 |    17560     20 |      392 |      333
363.31/363.40	c  363s |      16 |  1356831 |   175252 |    17560     20 |      392 |      333
365.31/365.49	c  365s |      16 |  1359245 |   176052 |    17560     20 |      392 |      333
367.30/367.50	c  367s |      16 |  1360668 |   176552 |    17560     20 |      392 |      333
369.60/369.70	c  369s |      16 |  1362671 |   177152 |    17560     20 |      392 |      333
371.59/371.77	c  371s |      16 |  1364931 |   177852 |    17560     20 |      392 |      333
373.79/373.97	c  373s |      16 |  1366871 |   178452 |    17560     20 |      392 |      333
376.00/376.10	c  375s |      16 |  1368702 |   179052 |    17560     20 |      392 |      333
378.10/378.29	c  378s |      16 |  1370196 |   179552 |    17560     20 |      392 |      333
380.60/380.70	c  380s |      16 |  1373135 |   180252 |    17560     20 |      392 |      333
382.79/382.92	c  382s |      16 |  1375486 |   180852 |    17560     20 |      392 |      333
385.39/385.51	c  385s |      16 |  1376892 |   181352 |    17560     20 |      392 |      333
387.49/387.60	c  387s |      16 |  1378231 |   181752 |    17560     20 |      392 |      333
389.50/389.64	c  389s |      16 |  1379165 |   182152 |    17560     20 |      392 |      333
391.59/391.72	c  391s |      16 |  1381107 |   182552 |    17560     21 |      392 |      333
393.69/393.89	c  393s |      16 |  1394601 |   184352 |    17560     21 |      392 |      333
395.78/395.99	c  395s |      16 |  1401350 |   185852 |    17560     21 |      392 |      333
397.98/398.19	c  397s |      16 |  1406498 |   186952 |    17560     21 |      392 |      333
400.18/400.37	c  400s |      16 |  1409595 |   187752 |    17560     21 |      392 |      333
402.38/402.57	c  402s |      16 |  1411057 |   188252 |    17560     21 |      392 |      333
404.58/404.72	c  404s |      16 |  1412041 |   188652 |    17560     21 |      392 |      333
406.58/406.73	c  406s |      16 |  1414119 |   189252 |    17560     21 |      392 |      333
408.88/409.09	c  408s |      16 |  1416255 |   189952 |    17560     21 |      392 |      333
410.98/411.14	c  410s |      16 |  1418255 |   190552 |    17560     21 |      392 |      333
413.37/413.52	c  413s |      16 |  1420233 |   191152 |    17560     21 |      392 |      333
415.47/415.60	c  415s |      16 |  1421526 |   191652 |    17560     21 |      392 |      333
417.77/417.98	c  417s |      16 |  1423556 |   192252 |    17560     21 |      392 |      333
420.17/420.40	c  420s |      16 |  1426705 |   192752 |    17560     22 |      392 |      333
422.37/422.53	c  422s |      16 |  1432171 |   193752 |    17560     22 |      392 |      333
424.36/424.54	c  424s |      16 |  1443820 |   195052 |    17560     22 |      392 |      333
426.66/426.86	c  426s |      16 |  1452935 |   196352 |    19316     22 |      392 |      333
428.76/428.97	c  428s |      16 |  1454869 |   196952 |    19316     22 |      392 |      333
430.17/430.39	c  430s |      17 |  1456559 |   197432 |    19316     22 |      392 |      333
432.37/432.51	c  432s |      17 |  1467876 |   198632 |    19316     22 |      392 |      333
434.37/434.57	c  434s |      17 |  1490530 |   200232 |    19316     22 |      392 |      333
436.56/436.76	c  436s |      17 |  1496727 |   201232 |    19316     22 |      392 |      333
438.86/439.10	c  438s |      17 |  1498555 |   201832 |    19316     22 |      392 |      333
441.06/441.22	c  441s |      17 |  1508451 |   202532 |    19316     22 |      392 |      333
443.16/443.31	c  443s |      17 |  1513807 |   203532 |    19316     22 |      392 |      333
445.26/445.46	c  445s |      17 |  1517758 |   204532 |    19316     22 |      392 |      333
447.46/447.64	c  447s |      17 |  1519798 |   205432 |    19316     23 |      392 |      333
449.46/449.68	c  449s |      17 |  1527817 |   206832 |    19316     23 |      392 |      333
451.66/451.82	c  451s |      17 |  1536340 |   208332 |    19316     23 |      392 |      333
453.76/453.91	c  453s |      17 |  1538996 |   209132 |    19316     23 |      392 |      333
455.86/456.00	c  455s |      17 |  1541100 |   209832 |    19316     23 |      392 |      333
457.85/458.08	c  457s |      17 |  1545325 |   210532 |    19316     23 |      392 |      333
459.96/460.19	c  459s |      17 |  1555286 |   211832 |    19316     23 |      392 |      333
462.06/462.20	c  461s |      17 |  1570752 |   213132 |    19316     23 |      392 |      333
464.15/464.34	c  464s |      17 |  1584766 |   214432 |    19316     24 |      392 |      333
466.15/466.39	c  466s |      17 |  1599014 |   216332 |    19316     24 |      392 |      333
468.35/468.56	c  468s |      17 |  1604712 |   217532 |    19316     24 |      392 |      333
470.44/470.63	c  470s |      17 |  1605984 |   218032 |    19316     24 |      392 |      333
472.44/472.66	c  472s |      17 |  1608482 |   218732 |    19316     24 |      392 |      333
474.64/474.81	c  474s |      17 |  1612270 |   219632 |    19316     24 |      392 |      333
476.64/476.88	c  476s |      17 |  1613777 |   220232 |    19316     24 |      392 |      333
478.94/479.19	c  478s |      17 |  1615291 |   220832 |    19316     24 |      392 |      333
481.33/481.59	c  481s |      17 |  1616512 |   221332 |    19316     24 |      392 |      333
483.63/483.84	c  483s |      17 |  1618623 |   222032 |    19316     24 |      392 |      333
486.04/486.23	c  486s |      17 |  1620863 |   222732 |    19316     24 |      392 |      333
488.14/488.35	c  488s |      17 |  1622850 |   223332 |    19316     24 |      392 |      333
490.34/490.59	c  490s |      17 |  1623993 |   223832 |    19316     24 |      392 |      333
492.44/492.66	c  492s |      17 |  1624676 |   224232 |    19316     24 |      392 |      333
494.94/495.12	c  494s |      17 |  1626096 |   224632 |    19316     24 |      392 |      333
496.94/497.14	c  496s |      17 |  1627388 |   225132 |    19316     24 |      392 |      333
499.04/499.27	c  499s |      17 |  1630012 |   225832 |    19316     24 |      392 |      333
501.43/501.64	c  501s |      17 |  1631778 |   226332 |    19316     24 |      392 |      333
503.73/503.92	c  503s |      17 |  1633850 |   226932 |    19316     25 |      392 |      333
505.93/506.19	c  505s |      17 |  1635681 |   227532 |    19316     25 |      392 |      333
508.34/508.51	c  508s |      17 |  1637388 |   228032 |    19316     25 |      392 |      333
510.83/511.05	c  510s |      17 |  1638846 |   228532 |    19316     25 |      392 |      333
512.93/513.11	c  512s |      17 |  1640003 |   228932 |    19316     25 |      392 |      333
515.03/515.24	c  515s |      17 |  1641134 |   229332 |    19316     25 |      392 |      333
517.23/517.43	c  517s |      17 |  1642082 |   229732 |    19316     25 |      392 |      333
519.33/519.54	c  519s |      17 |  1643285 |   230232 |    19316     25 |      392 |      333
521.43/521.68	c  521s |      17 |  1645514 |   230932 |    19316     25 |      392 |      333
523.53/523.76	c  523s |      17 |  1647815 |   231632 |    19316     25 |      392 |      333
525.62/525.88	c  525s |      17 |  1649428 |   232232 |    19316     25 |      392 |      333
527.92/528.17	c  527s |      17 |  1651524 |   232932 |    19316     25 |      392 |      333
530.33/530.59	c  530s |      17 |  1652861 |   233432 |    19316     25 |      392 |      333
532.82/533.08	c  532s |      17 |  1654069 |   233832 |    19316     25 |      392 |      333
535.32/535.56	c  535s |      17 |  1655691 |   234332 |    19316     25 |      392 |      333
538.22/538.40	c  538s |      17 |  1656593 |   234732 |    19316     25 |      392 |      333
540.42/540.65	c  540s |      17 |  1665972 |   235932 |    19316     26 |      392 |      333
542.42/542.66	c  542s |      17 |  1687832 |   237832 |    19316     26 |      392 |      333
544.52/544.76	c  544s |      17 |  1700252 |   239532 |    19316     26 |      392 |      333
546.51/546.78	c  546s |      17 |  1713539 |   241032 |    19316     26 |      392 |      333
548.61/548.87	c  548s |      17 |  1725535 |   242532 |    19316     26 |      392 |      333
550.81/551.06	c  550s |      17 |  1737926 |   244032 |    19316     26 |      392 |      333
552.91/553.18	c  552s |      17 |  1742692 |   245232 |    19316     26 |      392 |      333
555.00/555.20	c  554s |      17 |  1758534 |   246632 |    19316     27 |      392 |      333
557.21/557.42	c  557s |      17 |  1771038 |   248032 |    19316     27 |      392 |      333
559.61/559.89	c  559s |      17 |  1772437 |   248632 |    19316     27 |      392 |      333
561.71/561.95	c  561s |      17 |  1790158 |   250432 |    19316     27 |      392 |      333
563.80/564.06	c  563s |      17 |  1800472 |   251832 |    19316     27 |      392 |      333
565.80/566.09	c  565s |      17 |  1810589 |   253232 |    19316     27 |      392 |      333
567.90/568.11	c  567s |      17 |  1814977 |   254132 |    19316     27 |      392 |      333
570.00/570.20	c  569s |      17 |  1820604 |   255132 |    19316     27 |      392 |      333
572.30/572.50	c  572s |      17 |  1824601 |   256232 |    19316     28 |      392 |      333
574.30/574.52	c  574s |      17 |  1829266 |   257432 |    19316     28 |      392 |      333
576.40/576.65	c  576s |      17 |  1836077 |   258832 |    19316     28 |      392 |      333
578.49/578.72	c  578s |      17 |  1840759 |   259932 |    19316     28 |      392 |      333
580.90/581.16	c  580s |      17 |  1844216 |   260832 |    19316     28 |      392 |      333
582.89/583.17	c  582s |      17 |  1849820 |   261832 |    19316     28 |      392 |      333
584.89/585.17	c  584s |      17 |  1865093 |   263432 |    19316     28 |      392 |      333
587.09/587.36	c  587s |      17 |  1867573 |   264332 |    19316     28 |      392 |      333
589.39/589.67	c  589s |      17 |  1869400 |   265032 |    19316     28 |      392 |      333
591.69/591.93	c  591s |      17 |  1871668 |   265632 |    19316     28 |      392 |      333
593.79/594.03	c  593s |      17 |  1874440 |   266232 |    19316     28 |      392 |      333
595.89/596.19	c  595s |      17 |  1875637 |   266732 |    19316     28 |      392 |      333
598.08/598.35	c  598s |      17 |  1877930 |   267332 |    19316     29 |      392 |      333
600.18/600.43	c  600s |      17 |  1884225 |   268932 |    19316     29 |      392 |      333
602.49/602.73	c  602s |      17 |  1888237 |   270032 |    19316     29 |      392 |      333
604.58/604.83	c  604s |      17 |  1891569 |   271032 |    19316     29 |      392 |      333
606.98/607.20	c  606s |      17 |  1894884 |   272032 |    19316     29 |      392 |      333
608.97/609.29	c  609s |      17 |  1899620 |   273032 |    19316     29 |      393 |      334
611.08/611.35	c  611s |      17 |  1901641 |   273732 |    19316     29 |      393 |      334
613.27/613.50	c  613s |      17 |  1904292 |   274532 |    19316     29 |      393 |      334
615.57/615.89	c  615s |      17 |  1905701 |   275032 |    19316     29 |      393 |      334
617.88/618.20	c  617s |      17 |  1909366 |   276032 |    19316     29 |      393 |      334
620.18/620.46	c  620s |      17 |  1911233 |   276632 |    19316     29 |      393 |      334
622.68/622.95	c  622s |      17 |  1912739 |   277132 |    19316     29 |      393 |      334
625.27/625.57	c  625s |      17 |  1914511 |   277632 |    19316     30 |      393 |      334
627.27/627.58	c  627s |      17 |  1927262 |   279232 |    19316     30 |      393 |      334
629.57/629.82	c  629s |      17 |  1945642 |   280932 |    19316     30 |      394 |      335
631.77/632.04	c  631s |      17 |  1949940 |   281832 |    19316     30 |      394 |      335
633.76/634.09	c  633s |      17 |  1953815 |   282632 |    19316     30 |      394 |      335
636.36/636.60	c  636s |      17 |  1955603 |   283132 |    19316     30 |      394 |      335
638.56/638.88	c  638s |      17 |  1960597 |   284032 |    19316     30 |      394 |      335
640.66/640.90	c  640s |      17 |  1963765 |   284732 |    19316     30 |      394 |      335
642.86/643.15	c  642s |      17 |  1969312 |   285532 |    19316     31 |      394 |      335
644.95/645.21	c  644s |      17 |  1973966 |   286632 |    19316     31 |      394 |      335
646.95/647.25	c  647s |      17 |  1980203 |   287932 |    19316     31 |      394 |      335
648.96/649.26	c  649s |      17 |  1982523 |   288732 |    19316     31 |      394 |      335
651.05/651.30	c  651s |      17 |  1986833 |   289932 |    19316     31 |      394 |      335
653.06/653.33	c  653s |      17 |  1991325 |   291032 |    19316     31 |      394 |      335
655.25/655.54	c  655s |      17 |  1994869 |   292132 |    19316     31 |      394 |      335
657.45/657.72	c  657s |      17 |  1997538 |   292932 |    19316     31 |      394 |      335
659.55/659.87	c  659s |      17 |  1998879 |   293532 |    19316     31 |      394 |      335
661.85/662.14	c  661s |      17 |  2000431 |   294132 |    19316     31 |      394 |      335
664.15/664.46	c  664s |      17 |  2002183 |   294732 |    21248     31 |      394 |      335
666.45/666.75	c  666s |      17 |  2004453 |   295532 |    21248     31 |      394 |      335
668.65/669.00	c  668s |      17 |  2006176 |   296132 |    21248     31 |      394 |      335
669.25/669.57	c  669s |      18 |  2006432 |   296252 |    21248     31 |      394 |      335
671.44/671.72	c  671s |      18 |  2028226 |   297552 |    21248     32 |      394 |      335
673.44/673.76	c  673s |      18 |  2045403 |   299052 |    21248     32 |      394 |      335
675.64/675.91	c  675s |      18 |  2056565 |   300452 |    21248     32 |      394 |      335
677.65/677.99	c  677s |      18 |  2069378 |   301452 |    21248     32 |      394 |      335
680.14/680.48	c  680s |      18 |  2070772 |   301952 |    21248     32 |      394 |      335
682.24/682.58	c  682s |      18 |  2072177 |   302352 |    21248     32 |      394 |      335
684.34/684.69	c  684s |      18 |  2079589 |   303352 |    21248     32 |      394 |      335
686.45/686.75	c  686s |      18 |  2091067 |   304452 |    21248     32 |      394 |      335
688.44/688.75	c  688s |      18 |  2097326 |   305252 |    21248     32 |      394 |      335
690.64/690.92	c  690s |      18 |  2103549 |   306352 |    21248     33 |      394 |      335
693.04/693.34	c  693s |      18 |  2105769 |   307152 |    21248     33 |      394 |      335
695.43/695.74	c  695s |      18 |  2107043 |   307752 |    21248     33 |      394 |      335
697.53/697.89	c  697s |      18 |  2110164 |   308552 |    21248     33 |      394 |      335
699.83/700.11	c  699s |      18 |  2112335 |   309252 |    21248     33 |      394 |      335
701.93/702.21	c  701s |      18 |  2123751 |   310552 |    21248     33 |      394 |      335
703.93/704.24	c  704s |      18 |  2126280 |   311252 |    21248     33 |      394 |      335
706.14/706.45	c  706s |      18 |  2138627 |   312352 |    21248     33 |      394 |      335
708.34/708.66	c  708s |      18 |  2141362 |   313052 |    21248     33 |      394 |      335
710.63/710.98	c  710s |      18 |  2143925 |   313752 |    21248     33 |      394 |      335
713.12/713.42	c  713s |      18 |  2145495 |   314252 |    21248     33 |      394 |      335
715.52/715.81	c  715s |      18 |  2147212 |   314752 |    21248     33 |      394 |      335
717.52/717.84	c  717s |      18 |  2149633 |   315252 |    21248     33 |      394 |      335
719.72/720.03	c  719s |      18 |  2150498 |   315552 |    21248     33 |      394 |      335
722.02/722.34	c  722s |      18 |  2151593 |   315952 |    21248     33 |      394 |      335
724.42/724.74	c  724s |      18 |  2152294 |   316252 |    21248     33 |      394 |      335
726.52/726.83	c  726s |      18 |  2153340 |   316852 |    21248     34 |      394 |      335
728.71/729.07	c  728s |      18 |  2155936 |   317852 |    21248     34 |      394 |      335
730.81/731.14	c  730s |      18 |  2157919 |   318552 |    21248     34 |      394 |      335
733.62/733.91	c  733s |      18 |  2159899 |   319252 |    21248     34 |      394 |      335
736.01/736.31	c  736s |      18 |  2161065 |   319752 |    21248     34 |      394 |      335
738.31/738.60	c  738s |      18 |  2161623 |   320052 |    21248     34 |      394 |      335
740.41/740.73	c  740s |      18 |  2164133 |   320752 |    21248     34 |      394 |      335
742.51/742.86	c  742s |      18 |  2165151 |   321152 |    21248     34 |      394 |      335
744.72/745.07	c  744s |      18 |  2166335 |   321552 |    21248     34 |      394 |      335
747.51/747.80	c  747s |      18 |  2167161 |   321952 |    21248     34 |      394 |      335
749.51/749.89	c  749s |      18 |  2168589 |   322352 |    21248     34 |      394 |      335
751.60/751.90	c  751s |      18 |  2169756 |   322752 |    21248     34 |      394 |      335
753.91/754.25	c  754s |      18 |  2175535 |   323252 |    21248     34 |      394 |      335
756.30/756.62	c  756s |      18 |  2175913 |   323452 |    21248     34 |      394 |      335
758.40/758.71	c  758s |      18 |  2176997 |   323752 |    21248     34 |      394 |      335
760.69/761.05	c  760s |      18 |  2184278 |   324852 |    21248     34 |      394 |      335
762.79/763.12	c  762s |      18 |  2195740 |   325952 |    21248     35 |      394 |      335
765.19/765.50	c  765s |      18 |  2202850 |   327252 |    21248     35 |      394 |      335
767.29/767.64	c  767s |      18 |  2208413 |   328252 |    21248     35 |      394 |      335
769.39/769.71	c  769s |      18 |  2210328 |   328652 |    21248     35 |      394 |      335
771.59/771.93	c  771s |      18 |  2211249 |   328952 |    21248     35 |      394 |      335
774.69/775.04	c  774s |      18 |  2212703 |   329452 |    21248     35 |      394 |      335
777.19/777.59	c  777s |      18 |  2214129 |   329752 |    21248     35 |      394 |      335
779.69/780.01	c  779s |      18 |  2215265 |   330152 |    21248     35 |      394 |      335
781.79/782.15	c  781s |      18 |  2216842 |   330552 |    21248     35 |      394 |      335
784.68/785.09	c  784s |      18 |  2218202 |   330952 |    21248     35 |      394 |      335
788.59/788.92	c  788s |      18 |  2219274 |   331252 |    21248     35 |      394 |      335
792.88/793.20	c  792s |      18 |  2219834 |   331452 |    21248     35 |      394 |      335
795.67/796.09	c  795s |      18 |  2220566 |   331652 |    21248     35 |      394 |      335
798.37/798.74	c  798s |      18 |  2222057 |   332052 |    21248     35 |      394 |      335
800.68/801.09	c  800s |      18 |  2222496 |   332252 |    21248     35 |      394 |      335
803.17/803.55	c  803s |      18 |  2223438 |   332552 |    21248     35 |      394 |      335
805.27/805.66	c  805s |      18 |  2224119 |   332752 |    21248     35 |      394 |      335
807.37/807.74	c  807s |      18 |  2225340 |   333052 |    21248     35 |      394 |      335
809.76/810.14	c  809s |      18 |  2226019 |   333252 |    21248     35 |      394 |      335
811.97/812.33	c  812s |      18 |  2226681 |   333452 |    21248     35 |      394 |      335
814.36/814.79	c  814s |      18 |  2227141 |   333652 |    21248     35 |      394 |      335
816.46/816.90	c  816s |      18 |  2234558 |   334752 |    21248     36 |      394 |      335
818.56/818.96	c  818s |      18 |  2243719 |   336052 |    21248     36 |      394 |      335
820.57/821.00	c  820s |      18 |  2250866 |   337252 |    21248     36 |      394 |      335
822.86/823.20	c  822s |      18 |  2257467 |   338352 |    21248     36 |      394 |      335
824.96/825.37	c  825s |      18 |  2263292 |   339552 |    21248     36 |      394 |      335
827.06/827.48	c  827s |      18 |  2269578 |   340552 |    21248     36 |      394 |      335
829.16/829.51	c  829s |      18 |  2274838 |   341352 |    21248     36 |      394 |      335
831.15/831.59	c  831s |      18 |  2285098 |   342652 |    21248     37 |      395 |      336
833.25/833.68	c  833s |      18 |  2289651 |   343652 |    21248     37 |      395 |      336
835.25/835.68	c  835s |      18 |  2298406 |   344752 |    21248     37 |      395 |      336
837.35/837.71	c  837s |      18 |  2311850 |   346152 |    21248     37 |      395 |      336
839.35/839.77	c  839s |      18 |  2318643 |   347452 |    21248     37 |      395 |      336
841.45/841.83	c  841s |      18 |  2322620 |   348352 |    21248     37 |      395 |      336
843.74/844.17	c  843s |      18 |  2325287 |   349152 |    21248     37 |      395 |      336
845.94/846.39	c  846s |      18 |  2327941 |   349852 |    21248     37 |      395 |      336
848.14/848.55	c  848s |      18 |  2330113 |   350452 |    21248     38 |      395 |      336
850.34/850.70	c  850s |      18 |  2335668 |   351852 |    21248     38 |      395 |      336
852.35/852.79	c  852s |      18 |  2346381 |   353152 |    21248     38 |      395 |      336
854.44/854.88	c  854s |      18 |  2358837 |   354652 |    21248     38 |      395 |      336
856.63/857.06	c  856s |      18 |  2364337 |   355752 |    21248     38 |      395 |      336
858.73/859.10	c  858s |      18 |  2374430 |   357052 |    21248     38 |      395 |      336
860.93/861.33	c  861s |      18 |  2385075 |   358152 |    21248     38 |      395 |      336
862.93/863.36	c  863s |      18 |  2402597 |   359352 |    21248     39 |      396 |      337
865.02/865.45	c  865s |      18 |  2413900 |   361152 |    21248     39 |      396 |      337
867.02/867.48	c  867s |      18 |  2417359 |   362052 |    21248     39 |      396 |      337
869.22/869.66	c  869s |      18 |  2420089 |   362752 |    21248     39 |      396 |      337
871.33/871.72	c  871s |      18 |  2423892 |   363552 |    21248     39 |      396 |      337
873.33/873.76	c  873s |      18 |  2427628 |   364252 |    21248     39 |      396 |      337
875.53/875.95	c  875s |      18 |  2441657 |   365652 |    21248     39 |      396 |      337
877.63/878.06	c  877s |      18 |  2445465 |   366552 |    21248     39 |      396 |      337
879.83/880.22	c  880s |      18 |  2448614 |   367352 |    21248     40 |      396 |      337
882.03/882.46	c  882s |      18 |  2450161 |   367952 |    21248     40 |      396 |      337
884.12/884.53	c  884s |      18 |  2455853 |   368852 |    21248     40 |      396 |      337
886.21/886.60	c  886s |      18 |  2462870 |   369852 |    21248     40 |      396 |      337
888.31/888.75	c  888s |      18 |  2479856 |   371552 |    21248     40 |      396 |      337
890.41/890.81	c  890s |      18 |  2485403 |   372752 |    21248     40 |      396 |      337
892.51/892.92	c  892s |      18 |  2494071 |   374152 |    21248     41 |      396 |      337
894.60/895.05	c  894s |      18 |  2512200 |   376152 |    21248     41 |      396 |      337
896.60/897.07	c  896s |      18 |  2530653 |   377952 |    21248     41 |      396 |      337
898.60/899.09	c  898s |      18 |  2547535 |   379652 |    21248     41 |      396 |      337
900.70/901.12	c  900s |      18 |  2563252 |   381352 |    21248     42 |      396 |      337
902.70/903.12	c  902s |      18 |  2573284 |   382852 |    21248     42 |      396 |      337
904.80/905.21	c  904s |      18 |  2579714 |   384152 |    21248     42 |      396 |      337
906.90/907.34	c  907s |      18 |  2584076 |   385252 |    21248     42 |      396 |      337
909.10/909.57	c  909s |      18 |  2587757 |   386152 |    21248     42 |      396 |      337
911.29/911.70	c  911s |      18 |  2589110 |   386752 |    21248     42 |      396 |      337
913.39/913.87	c  913s |      18 |  2591787 |   387652 |    21248     42 |      396 |      337
915.78/916.24	c  916s |      18 |  2593167 |   388252 |    21248     42 |      396 |      337
917.88/918.36	c  918s |      18 |  2594855 |   388852 |    21248     43 |      396 |      337
919.98/920.48	c  920s |      18 |  2597105 |   389452 |    21248     43 |      396 |      337
921.99/922.49	c  922s |      18 |  2599875 |   390352 |    21248     43 |      396 |      337
924.09/924.50	c  924s |      18 |  2601115 |   390852 |    21248     43 |      396 |      337
926.29/926.75	c  926s |      18 |  2602788 |   391452 |    21248     43 |      396 |      337
928.38/928.88	c  928s |      18 |  2604419 |   391952 |    21248     43 |      396 |      337
930.49/930.98	c  930s |      18 |  2606354 |   392452 |    21248     43 |      396 |      337
932.69/933.17	c  932s |      18 |  2610702 |   393352 |    21248     43 |      396 |      337
934.89/935.34	c  935s |      18 |  2612410 |   393952 |    21248     43 |      396 |      337
936.89/937.36	c  937s |      18 |  2613316 |   394352 |    21248     43 |      396 |      337
939.09/939.52	c  939s |      18 |  2614653 |   394852 |    21248     43 |      396 |      337
941.19/941.62	c  941s |      18 |  2616424 |   395352 |    21248     44 |      396 |      337
943.28/943.78	c  943s |      18 |  2619195 |   396052 |    21248     44 |      396 |      337
945.39/945.82	c  945s |      18 |  2625859 |   396752 |    21248     44 |      396 |      337
947.38/947.89	c  947s |      18 |  2641055 |   398352 |    21248     44 |      396 |      337
949.68/950.15	c  949s |      18 |  2653194 |   399652 |    21248     44 |      396 |      337
951.78/952.29	c  952s |      18 |  2666756 |   400752 |    21248     45 |      396 |      337
953.88/954.32	c  954s |      18 |  2679964 |   402552 |    21248     45 |      396 |      337
956.18/956.61	c  956s |      18 |  2690897 |   404352 |    21248     45 |      396 |      337
958.18/958.69	c  958s |      18 |  2705850 |   405752 |    21248     46 |      396 |      337
960.28/960.78	c  960s |      18 |  2714322 |   406852 |    21248     46 |      396 |      337
962.39/962.83	c  962s |      18 |  2725831 |   408152 |    21248     46 |      396 |      337
964.59/965.05	c  964s |      18 |  2735073 |   409352 |    21248     46 |      396 |      337
966.69/967.11	c  966s |      18 |  2744625 |   410452 |    21248     46 |      396 |      337
968.68/969.17	c  968s |      18 |  2754470 |   411952 |    21248     47 |      396 |      337
971.19/971.64	c  971s |      18 |  2756011 |   412552 |    21248     47 |      396 |      337
973.29/973.79	c  973s |      18 |  2759110 |   413252 |    21248     47 |      396 |      337
975.68/976.15	c  975s |      18 |  2764268 |   414552 |    21248     47 |      396 |      337
978.08/978.51	c  978s |      18 |  2765802 |   415152 |    21248     47 |      396 |      337
980.18/980.64	c  980s |      18 |  2768921 |   416052 |    21248     47 |      396 |      337
982.38/982.87	c  982s |      18 |  2774757 |   417352 |    21248     48 |      396 |      337
984.58/985.01	c  984s |      18 |  2777819 |   418352 |    21248     48 |      396 |      337
986.59/987.06	c  986s |      18 |  2781839 |   419252 |    21248     48 |      396 |      337
988.68/989.19	c  988s |      18 |  2783722 |   419852 |    21248     48 |      396 |      337
990.78/991.24	c  991s |      18 |  2793752 |   421352 |    21248     49 |      396 |      337
992.77/993.27	c  993s |      18 |  2801601 |   422752 |    21248     49 |      396 |      337
994.98/995.43	c  995s |      18 |  2803901 |   423752 |    21248     49 |      396 |      337
997.08/997.57	c  997s |      18 |  2806038 |   424552 |    21248     49 |      396 |      337
999.37/999.83	c  999s |      18 |  2808646 |   425452 |    21248     49 |      396 |      337
1001.38/1001.86	c 1001s |      18 |  2810894 |   426152 |    21248     49 |      396 |      337
1003.77/1004.28	c 1004s |      18 |  2812537 |   426752 |    21248     49 |      396 |      337
1005.98/1006.45	c 1006s |      18 |  2816001 |   427352 |    21248     49 |      396 |      337
1007.98/1008.49	c 1008s |      18 |  2824284 |   428452 |    21248     50 |      396 |      337
1010.18/1010.66	c 1010s |      18 |  2833846 |   429952 |    21248     50 |      396 |      337
1012.18/1012.69	c 1012s |      18 |  2844592 |   431352 |    21248     50 |      396 |      337
1014.28/1014.72	c 1014s |      18 |  2858673 |   432852 |    21248     51 |      396 |      337
1016.38/1016.84	c 1016s |      18 |  2870449 |   434352 |    21248     51 |      396 |      337
1018.38/1018.87	c 1018s |      18 |  2882483 |   435852 |    21248     51 |      396 |      337
1020.48/1020.99	c 1020s |      18 |  2886267 |   436652 |    21248     51 |      396 |      337
1022.57/1023.08	c 1022s |      18 |  2892457 |   437852 |    21248     52 |      396 |      337
1024.67/1025.13	c 1024s |      18 |  2896276 |   438852 |    21248     52 |      396 |      337
1026.67/1027.13	c 1026s |      18 |  2900220 |   439852 |    21248     52 |      396 |      337
1028.87/1029.30	c 1029s |      18 |  2903775 |   441052 |    21248     52 |      396 |      337
1030.97/1031.45	c 1031s |      18 |  2909512 |   442052 |    23373     52 |      396 |      337
1033.27/1033.78	c 1033s |      18 |  2913222 |   442852 |    23373     52 |      396 |      337
1035.47/1035.93	c 1035s |      18 |  2916867 |   443652 |    23373     53 |      396 |      337
1036.67/1037.19	c 1036s |      19 |  2920925 |   444482 |    23373     53 |      396 |      337
1038.87/1039.31	c 1039s |      19 |  2926282 |   445682 |    23373     53 |      398 |      339
1041.07/1041.56	c 1041s |      19 |  2929889 |   446582 |    23373     53 |      398 |      339
1043.17/1043.66	c 1043s |      19 |  2931663 |   447082 |    23373     53 |      398 |      339
1045.17/1045.69	c 1045s |      19 |  2934216 |   447582 |    23373     53 |      398 |      339
1047.37/1047.81	c 1047s |      19 |  2946658 |   448982 |    23373     53 |      398 |      339
1049.47/1049.94	c 1049s |      19 |  2966966 |   450682 |    23373     54 |      398 |      339
1051.47/1051.98	c 1051s |      19 |  2988809 |   452382 |    23373     54 |      398 |      339
1053.57/1054.10	c 1053s |      19 |  3005837 |   454182 |    23373     54 |      398 |      339
1055.66/1056.20	c 1055s |      19 |  3020083 |   455682 |    23373     54 |      398 |      339
1057.76/1058.28	c 1058s |      19 |  3035299 |   457082 |    23373     55 |      398 |      339
1059.86/1060.39	c 1060s |      19 |  3056292 |   458882 |    23373     55 |      398 |      339
1062.06/1062.52	c 1062s |      19 |  3070773 |   460382 |    23373     55 |      398 |      339
1064.37/1064.80	c 1064s |      19 |  3081503 |   461882 |    23373     55 |      398 |      339
1066.47/1066.92	c 1066s |      19 |  3090143 |   463182 |    23373     56 |      398 |      339
1068.46/1068.93	c 1068s |      19 |  3101318 |   464682 |    23373     56 |      398 |      339
1070.56/1071.03	c 1070s |      19 |  3106679 |   465782 |    23373     56 |      398 |      339
1072.66/1073.17	c 1072s |      19 |  3108644 |   466582 |    23373     56 |      398 |      339
1074.77/1075.25	c 1075s |      19 |  3117344 |   467882 |    23373     56 |      398 |      339
1076.87/1077.40	c 1077s |      19 |  3126094 |   469282 |    23373     57 |      398 |      339
1078.97/1079.47	c 1079s |      19 |  3133247 |   470482 |    23373     57 |      398 |      339
1081.17/1081.61	c 1081s |      19 |  3135045 |   471182 |    23373     57 |      398 |      339
1083.17/1083.66	c 1083s |      19 |  3140643 |   472082 |    23373     57 |      398 |      339
1085.27/1085.74	c 1085s |      19 |  3145187 |   472882 |    23373     57 |      398 |      339
1087.26/1087.78	c 1087s |      19 |  3147072 |   473482 |    23373     57 |      398 |      339
1089.46/1089.94	c 1089s |      19 |  3152037 |   474482 |    23373     58 |      398 |      339
1091.46/1091.96	c 1091s |      19 |  3159284 |   475582 |    23373     58 |      398 |      339
1093.56/1094.04	c 1093s |      19 |  3166712 |   476882 |    23373     58 |      398 |      339
1095.76/1096.20	c 1095s |      19 |  3171450 |   477882 |    23373     58 |      398 |      339
1097.76/1098.21	c 1097s |      19 |  3179478 |   479082 |    23373     58 |      398 |      339
1099.76/1100.24	c 1100s |      19 |  3185330 |   480382 |    23373     59 |      398 |      339
1101.86/1102.31	c 1102s |      19 |  3193222 |   481782 |    23373     59 |      398 |      339
1103.96/1104.47	c 1104s |      19 |  3203518 |   483082 |    23373     59 |      398 |      339
1106.06/1106.50	c 1106s |      19 |  3210646 |   484282 |    23373     59 |      398 |      339
1108.16/1108.64	c 1108s |      19 |  3220494 |   485682 |    23373     60 |      398 |      339
1110.36/1110.85	c 1110s |      19 |  3224141 |   486582 |    23373     60 |      398 |      339
1112.46/1112.90	c 1112s |      19 |  3229873 |   487582 |    23373     60 |      398 |      339
1114.66/1115.11	c 1114s |      19 |  3236096 |   488682 |    23373     60 |      398 |      339
1116.86/1117.33	c 1117s |      19 |  3238283 |   489182 |    23373     61 |      398 |      339
1119.06/1119.58	c 1119s |      19 |  3249988 |   490482 |    23373     61 |      398 |      339
1121.16/1121.68	c 1121s |      19 |  3253623 |   491382 |    23373     61 |      398 |      339
1123.26/1123.71	c 1123s |      19 |  3256954 |   492182 |    23373     61 |      398 |      339
1125.36/1125.83	c 1125s |      19 |  3260097 |   492882 |    23373     61 |      398 |      339
1127.96/1128.45	c 1128s |      19 |  3262713 |   493482 |    23373     61 |      398 |      339
1130.26/1130.74	c 1130s |      19 |  3264621 |   493982 |    23373     62 |      398 |      339
1132.55/1133.00	c 1132s |      19 |  3266947 |   494782 |    23373     62 |      398 |      339
1134.56/1135.06	c 1134s |      19 |  3269111 |   495382 |    23373     62 |      398 |      339
1136.66/1137.14	c 1136s |      19 |  3271073 |   495982 |    23373     62 |      398 |      339
1138.85/1139.32	c 1139s |      19 |  3273042 |   496582 |    23373     62 |      398 |      339
1141.15/1141.60	c 1141s |      19 |  3277962 |   497582 |    23373     62 |      398 |      339
1143.15/1143.62	c 1143s |      19 |  3282842 |   498482 |    23373     63 |      398 |      339
1145.25/1145.76	c 1145s |      19 |  3289350 |   499782 |    23373     63 |      398 |      339
1147.45/1147.95	c 1147s |      19 |  3293285 |   500582 |    23373     63 |      398 |      339
1149.55/1150.08	c 1149s |      19 |  3294508 |   500982 |    23373     63 |      398 |      339
1152.05/1152.54	c 1152s |      19 |  3296965 |   501682 |    23373     63 |      398 |      339
1154.15/1154.65	c 1154s |      19 |  3298958 |   502282 |    23373     63 |      398 |      339
1156.56/1157.02	c 1156s |      19 |  3300062 |   502682 |    23373     63 |      398 |      339
1158.66/1159.11	c 1158s |      19 |  3301531 |   503082 |    23373     64 |      398 |      339
1160.86/1161.31	c 1161s |      19 |  3305963 |   504082 |    23373     64 |      398 |      339
1162.86/1163.36	c 1163s |      19 |  3308054 |   504682 |    23373     64 |      398 |      339
1165.06/1165.54	c 1165s |      19 |  3311481 |   505482 |    23373     64 |      398 |      339
1167.35/1167.85	c 1167s |      19 |  3312917 |   505882 |    23373     64 |      398 |      339
1169.95/1170.44	c 1170s |      19 |  3313871 |   506282 |    23373     64 |      398 |      339
1172.36/1172.89	c 1172s |      19 |  3314881 |   506682 |    23373     64 |      398 |      339
1174.56/1175.08	c 1174s |      19 |  3316540 |   507182 |    23373     65 |      398 |      339
1176.55/1177.09	c 1176s |      19 |  3318633 |   507782 |    23373     65 |      398 |      339
1178.75/1179.26	c 1179s |      19 |  3320991 |   508282 |    23373     65 |      398 |      339
1181.05/1181.50	c 1181s |      19 |  3322669 |   508782 |    23373     65 |      398 |      339
1183.05/1183.56	c 1183s |      19 |  3324997 |   509282 |    23373     65 |      398 |      339
1185.15/1185.63	c 1185s |      19 |  3326678 |   509782 |    23373     65 |      398 |      339
1187.25/1187.71	c 1187s |      19 |  3329048 |   510482 |    23373     65 |      398 |      339
1189.55/1190.01	c 1189s |      19 |  3330643 |   511082 |    23373     65 |      398 |      339
1191.95/1192.41	c 1192s |      19 |  3332386 |   511782 |    23373     66 |      398 |      339
1193.94/1194.46	c 1194s |      19 |  3334899 |   512482 |    23373     66 |      398 |      339
1195.94/1196.49	c 1196s |      19 |  3336968 |   512982 |    23373     66 |      398 |      339
1198.04/1198.54	c 1198s |      19 |  3339980 |   513882 |    23373     66 |      398 |      339
1200.14/1200.65	c 1200s |      19 |  3342342 |   514682 |    23373     66 |      398 |      339
1202.24/1202.71	c 1202s |      19 |  3344436 |   515282 |    23373     66 |      398 |      339
1204.35/1204.82	c 1204s |      19 |  3347783 |   515982 |    23373     67 |      398 |      339
1206.55/1207.04	c 1206s |      19 |  3349705 |   516782 |    23373     67 |      398 |      339
1208.75/1209.25	c 1209s |      19 |  3351024 |   517282 |    23373     67 |      398 |      339
1210.85/1211.38	c 1211s |      19 |  3352642 |   517882 |    23373     67 |      398 |      339
1212.94/1213.40	c 1213s |      19 |  3355212 |   518682 |    23373     67 |      398 |      339
1214.94/1215.44	c 1215s |      19 |  3358193 |   519582 |    23373     68 |      398 |      339
1216.94/1217.48	c 1217s |      19 |  3360857 |   520382 |    23373     68 |      398 |      339
1219.04/1219.57	c 1219s |      19 |  3363800 |   521182 |    23373     68 |      398 |      339
1221.34/1221.82	c 1221s |      19 |  3366280 |   521982 |    23373     68 |      398 |      339
1223.54/1224.05	c 1223s |      19 |  3367427 |   522382 |    23373     68 |      398 |      339
1225.64/1226.15	c 1225s |      19 |  3369760 |   523082 |    23373     69 |      398 |      339
1227.84/1228.32	c 1228s |      19 |  3371608 |   523682 |    23373     69 |      398 |      339
1230.04/1230.58	c 1230s |      19 |  3373054 |   524182 |    23373     69 |      398 |      339
1232.14/1232.60	c 1232s |      19 |  3374506 |   524682 |    23373     69 |      398 |      339
1234.34/1234.86	c 1234s |      19 |  3375826 |   525182 |    23373     69 |      398 |      339
1236.34/1236.86	c 1236s |      19 |  3377521 |   525782 |    23373     69 |      398 |      339
1238.45/1238.97	c 1238s |      19 |  3380287 |   526382 |    23373     69 |      398 |      339
1240.55/1241.10	c 1240s |      19 |  3382330 |   526982 |    23373     70 |      398 |      339
1242.64/1243.17	c 1242s |      19 |  3386179 |   527882 |    23373     70 |      398 |      339
1245.13/1245.61	c 1245s |      19 |  3387785 |   528582 |    23373     70 |      398 |      339
1247.15/1247.68	c 1247s |      19 |  3389311 |   529082 |    23373     70 |      398 |      339
1249.64/1250.12	c 1249s |      19 |  3390604 |   529582 |    23373     70 |      398 |      339
1251.73/1252.29	c 1252s |      19 |  3391532 |   529982 |    23373     70 |      398 |      339
1254.04/1254.54	c 1254s |      19 |  3392724 |   530482 |    23373     70 |      398 |      339
1256.34/1256.82	c 1256s |      19 |  3394946 |   531182 |    23373     71 |      398 |      339
1258.43/1258.90	c 1258s |      19 |  3396739 |   531782 |    23373     71 |      398 |      339
1260.54/1261.03	c 1260s |      19 |  3398186 |   532282 |    23373     71 |      398 |      339
1262.84/1263.34	c 1263s |      19 |  3401000 |   532982 |    23373     71 |      398 |      339
1264.84/1265.36	c 1265s |      19 |  3402581 |   533482 |    23373     71 |      398 |      339
1266.94/1267.47	c 1267s |      19 |  3404952 |   534082 |    23373     71 |      398 |      339
1269.14/1269.67	c 1269s |      19 |  3407959 |   534982 |    23373     72 |      398 |      339
1271.34/1271.81	c 1271s |      19 |  3410654 |   535782 |    23373     72 |      398 |      339
1273.73/1274.26	c 1274s |      19 |  3411661 |   536182 |    23373     72 |      398 |      339
1276.03/1276.56	c 1276s |      19 |  3412287 |   536482 |    23373     72 |      398 |      339
1278.04/1278.57	c 1278s |      19 |  3415415 |   537282 |    23373     72 |      398 |      339
1280.14/1280.64	c 1280s |      19 |  3417519 |   537882 |    23373     72 |      398 |      339
1282.13/1282.69	c 1282s |      19 |  3420103 |   538582 |    23373     73 |      398 |      339
1284.23/1284.76	c 1284s |      19 |  3422326 |   539182 |    23373     73 |      398 |      339
1286.44/1286.97	c 1286s |      19 |  3425785 |   540082 |    23373     73 |      398 |      339
1288.83/1289.37	c 1289s |      19 |  3427053 |   540682 |    23373     73 |      398 |      339
1291.03/1291.59	c 1291s |      19 |  3428076 |   541182 |    23373     73 |      398 |      339
1293.13/1293.68	c 1293s |      19 |  3429464 |   541682 |    23373     73 |      398 |      339
1295.64/1296.16	c 1295s |      19 |  3430913 |   542182 |    23373     73 |      398 |      339
1297.83/1298.34	c 1298s |      19 |  3432211 |   542682 |    23373     74 |      398 |      339
1299.94/1300.44	c 1300s |      19 |  3434085 |   543282 |    23373     74 |      398 |      339
1302.23/1302.75	c 1302s |      19 |  3435728 |   543782 |    23373     74 |      398 |      339
1304.52/1305.02	c 1304s |      19 |  3437240 |   544282 |    23373     74 |      398 |      339
1306.73/1307.28	c 1307s |      19 |  3439161 |   544882 |    23373     74 |      398 |      339
1308.84/1309.34	c 1309s |      19 |  3440275 |   545282 |    23373     74 |      398 |      339
1310.93/1311.48	c 1311s |      19 |  3441278 |   545682 |    23373     74 |      398 |      339
1313.33/1313.86	c 1313s |      19 |  3442484 |   546082 |    23373     74 |      398 |      339
1315.53/1316.01	c 1315s |      19 |  3443805 |   546482 |    23373     75 |      398 |      339
1317.92/1318.41	c 1318s |      19 |  3445405 |   546982 |    23373     75 |      398 |      339
1320.13/1320.63	c 1320s |      19 |  3446174 |   547282 |    23373     75 |      398 |      339
1322.42/1322.91	c 1322s |      19 |  3448430 |   547982 |    23373     75 |      398 |      339
1324.53/1325.00	c 1324s |      19 |  3449576 |   548382 |    23373     75 |      398 |      339
1326.53/1327.09	c 1326s |      19 |  3451347 |   548882 |    23373     75 |      398 |      339
1328.63/1329.17	c 1328s |      19 |  3452432 |   549282 |    23373     75 |      398 |      339
1330.84/1331.37	c 1331s |      19 |  3455714 |   550082 |    23373     75 |      398 |      339
1333.03/1333.58	c 1333s |      19 |  3458390 |   550782 |    23373     76 |      398 |      339
1335.13/1335.70	c 1335s |      19 |  3459555 |   551282 |    23373     76 |      398 |      339
1337.52/1338.09	c 1337s |      19 |  3462803 |   552182 |    23373     76 |      398 |      339
1340.02/1340.55	c 1340s |      19 |  3463889 |   552682 |    23373     76 |      398 |      339
1342.12/1342.64	c 1342s |      19 |  3465161 |   553182 |    23373     76 |      398 |      339
1344.42/1344.92	c 1344s |      19 |  3466867 |   553782 |    23373     76 |      398 |      339
1346.43/1346.95	c 1346s |      19 |  3470327 |   554682 |    23373     77 |      398 |      339
1348.63/1349.13	c 1348s |      19 |  3472801 |   555482 |    23373     77 |      398 |      339
1351.23/1351.72	c 1351s |      19 |  3474819 |   556082 |    23373     77 |      398 |      339
1353.62/1354.19	c 1353s |      19 |  3476212 |   556582 |    23373     77 |      398 |      339
1355.72/1356.28	c 1356s |      19 |  3481546 |   557682 |    23373     78 |      398 |      339
1358.12/1358.63	c 1358s |      19 |  3484031 |   558482 |    23373     78 |      398 |      339
1360.32/1360.81	c 1360s |      19 |  3487680 |   559482 |    23373     78 |      398 |      339
1362.52/1363.01	c 1362s |      19 |  3489864 |   560082 |    23373     78 |      398 |      339
1364.62/1365.12	c 1364s |      19 |  3493695 |   561082 |    23373     79 |      398 |      339
1366.82/1367.33	c 1367s |      19 |  3496592 |   562082 |    23373     79 |      398 |      339
1369.02/1369.53	c 1369s |      19 |  3498335 |   562682 |    23373     79 |      398 |      339
1371.12/1371.68	c 1371s |      19 |  3500146 |   563382 |    23373     79 |      398 |      339
1373.31/1373.84	c 1373s |      19 |  3502480 |   564182 |    23373     80 |      398 |      339
1375.52/1376.02	c 1375s |      19 |  3504915 |   564882 |    23373     80 |      398 |      339
1377.62/1378.11	c 1377s |      19 |  3506665 |   565482 |    23373     80 |      398 |      339
1380.42/1380.97	c 1380s |      19 |  3507637 |   565982 |    23373     80 |      398 |      339
1382.72/1383.27	c 1383s |      19 |  3509958 |   566782 |    23373     80 |      398 |      339
1384.92/1385.43	c 1385s |      19 |  3512595 |   567582 |    23373     81 |      398 |      339
1387.12/1387.69	c 1387s |      19 |  3515537 |   568582 |    23373     81 |      398 |      339
1389.42/1389.98	c 1389s |      19 |  3518517 |   569382 |    23373     81 |      398 |      339
1391.61/1392.10	c 1391s |      19 |  3520236 |   569982 |    23373     81 |      398 |      339
1393.62/1394.14	c 1393s |      19 |  3521018 |   570382 |    23373     82 |      398 |      339
1395.82/1396.33	c 1396s |      19 |  3523787 |   571382 |    23373     82 |      398 |      339
1397.82/1398.37	c 1398s |      19 |  3524976 |   571982 |    23373     82 |      398 |      339
1400.22/1400.71	c 1400s |      19 |  3526152 |   572582 |    23373     82 |      398 |      339
1402.52/1403.04	c 1402s |      19 |  3527334 |   573182 |    23373     82 |      398 |      339
1404.71/1405.27	c 1405s |      19 |  3532134 |   574282 |    23373     83 |      398 |      339
1406.91/1407.47	c 1407s |      19 |  3533911 |   574882 |    23373     83 |      398 |      339
1409.01/1409.56	c 1409s |      19 |  3536793 |   575482 |    23373     83 |      398 |      339
1411.82/1412.38	c 1412s |      19 |  3539550 |   576482 |    23373     83 |      398 |      339
1413.92/1414.47	c 1414s |      19 |  3542476 |   577282 |    23373     84 |      398 |      339
1416.01/1416.59	c 1416s |      19 |  3545836 |   578182 |    23373     84 |      398 |      339
1418.31/1418.83	c 1418s |      19 |  3547337 |   578682 |    23373     84 |      398 |      339
1420.51/1421.03	c 1420s |      19 |  3550419 |   579582 |    23373     84 |      398 |      339
1422.71/1423.29	c 1423s |      19 |  3553776 |   580382 |    23373     85 |      398 |      339
1425.01/1425.55	c 1425s |      19 |  3557144 |   581382 |    23373     85 |      398 |      339
1427.01/1427.57	c 1427s |      19 |  3559807 |   581982 |    23373     85 |      398 |      339
1429.31/1429.88	c 1429s |      19 |  3562865 |   582682 |    23373     85 |      398 |      339
1431.51/1432.06	c 1431s |      19 |  3563640 |   582982 |    23373     85 |      398 |      339
1433.91/1434.43	c 1434s |      19 |  3564533 |   583382 |    23373     85 |      398 |      339
1436.01/1436.52	c 1436s |      19 |  3567165 |   584182 |    23373     86 |      398 |      339
1438.62/1439.13	c 1438s |      19 |  3568411 |   584682 |    23373     86 |      398 |      339
1440.72/1441.25	c 1441s |      19 |  3569371 |   585082 |    23373     86 |      398 |      339
1442.71/1443.28	c 1443s |      19 |  3571125 |   585682 |    23373     86 |      398 |      339
1444.91/1445.44	c 1445s |      19 |  3574040 |   586282 |    23373     86 |      398 |      339
1447.01/1447.56	c 1447s |      19 |  3575482 |   586782 |    23373     87 |      398 |      339
1449.11/1449.65	c 1449s |      19 |  3577435 |   587482 |    23373     87 |      398 |      339
1451.41/1451.93	c 1451s |      19 |  3579586 |   588182 |    23373     87 |      398 |      339
1453.61/1454.17	c 1453s |      19 |  3582105 |   588882 |    23373     87 |      398 |      339
1455.70/1456.28	c 1456s |      19 |  3584958 |   589682 |    23373     87 |      398 |      339
1458.00/1458.50	c 1458s |      19 |  3588355 |   590582 |    23373     88 |      398 |      339
1460.20/1460.70	c 1460s |      19 |  3590660 |   591482 |    23373     88 |      398 |      339
1462.41/1462.92	c 1462s |      19 |  3592864 |   592282 |    23373     88 |      398 |      339
1464.71/1465.29	c 1465s |      19 |  3594089 |   592882 |    23373     88 |      398 |      339
1466.80/1467.39	c 1467s |      19 |  3596057 |   593582 |    23373     89 |      398 |      339
1469.00/1469.57	c 1469s |      19 |  3598157 |   594382 |    23373     89 |      398 |      339
1471.20/1471.80	c 1471s |      19 |  3600166 |   595082 |    23373     89 |      398 |      339
1473.30/1473.86	c 1473s |      19 |  3601763 |   595682 |    23373     89 |      398 |      339
1475.30/1475.86	c 1475s |      19 |  3605819 |   596682 |    23373     90 |      398 |      339
1477.30/1477.89	c 1477s |      19 |  3609634 |   597782 |    23373     90 |      398 |      339
1479.60/1480.13	c 1479s |      19 |  3611093 |   598382 |    23373     90 |      398 |      339
1481.60/1482.17	c 1481s |      19 |  3613630 |   599182 |    23373     91 |      398 |      339
1483.71/1484.24	c 1484s |      19 |  3616053 |   600082 |    23373     91 |      398 |      339
1485.81/1486.37	c 1486s |      19 |  3617600 |   600682 |    23373     91 |      398 |      339
1488.01/1488.57	c 1488s |      19 |  3619701 |   601382 |    23373     91 |      398 |      339
1490.31/1490.84	c 1490s |      19 |  3620476 |   601782 |    23373     91 |      398 |      339
1492.30/1492.89	c 1492s |      19 |  3623197 |   602582 |    23373     92 |      398 |      339
1494.40/1494.97	c 1494s |      19 |  3624554 |   603282 |    23373     92 |      398 |      339
1496.50/1497.05	c 1496s |      19 |  3626448 |   603882 |    23373     92 |      398 |      339
1498.70/1499.20	c 1498s |      19 |  3629462 |   604582 |    23373     93 |      398 |      339
1500.70/1501.29	c 1501s |      19 |  3632605 |   605482 |    23373     93 |      398 |      339
1502.90/1503.41	c 1503s |      19 |  3635217 |   606182 |    23373     93 |      398 |      339
1505.10/1505.69	c 1505s |      19 |  3637213 |   606782 |    23373     93 |      398 |      339
1507.50/1508.07	c 1507s |      19 |  3638691 |   607282 |    23373     94 |      398 |      339
1509.60/1510.15	c 1509s |      19 |  3642112 |   608082 |    23373     94 |      398 |      339
1511.80/1512.32	c 1512s |      19 |  3645517 |   608982 |    23373     94 |      398 |      339
1513.89/1514.47	c 1514s |      19 |  3647950 |   609682 |    23373     94 |      398 |      339
1516.09/1516.69	c 1516s |      19 |  3650546 |   610482 |    23373     95 |      398 |      339
1518.29/1518.81	c 1518s |      19 |  3653254 |   611382 |    23373     95 |      398 |      339
1520.39/1520.94	c 1520s |      19 |  3655981 |   612282 |    23373     95 |      398 |      339
1522.59/1523.13	c 1522s |      19 |  3657964 |   612982 |    23373     96 |      398 |      339
1524.60/1525.18	c 1524s |      19 |  3660615 |   613782 |    23373     96 |      398 |      339
1526.70/1527.25	c 1527s |      19 |  3661832 |   614282 |    23373     96 |      398 |      339
1528.89/1529.47	c 1529s |      19 |  3663315 |   614782 |    23373     96 |      398 |      339
1531.29/1531.88	c 1531s |      19 |  3664427 |   615282 |    23373     97 |      398 |      339
1533.49/1534.04	c 1533s |      19 |  3667818 |   616182 |    23373     97 |      398 |      339
1535.60/1536.17	c 1535s |      19 |  3670805 |   616982 |    23373     97 |      398 |      339
1537.69/1538.28	c 1538s |      19 |  3672613 |   617582 |    23373     97 |      398 |      339
1540.00/1540.56	c 1540s |      19 |  3673832 |   617982 |    23373     97 |      398 |      339
1542.20/1542.71	c 1542s |      19 |  3675362 |   618582 |    23373     98 |      398 |      339
1544.39/1544.92	c 1544s |      19 |  3677004 |   619182 |    23373     98 |      398 |      339
1546.49/1547.09	c 1546s |      19 |  3679212 |   619982 |    23373     98 |      398 |      339
1548.60/1549.11	c 1548s |      19 |  3682672 |   620882 |    23373     99 |      398 |      339
1550.69/1551.26	c 1551s |      19 |  3685624 |   621682 |    23373     99 |      398 |      339
1552.90/1553.47	c 1553s |      19 |  3688603 |   622482 |    23373    100 |      398 |      339
1554.99/1555.59	c 1555s |      19 |  3691856 |   623382 |    23373    100 |      398 |      339
1557.59/1558.11	c 1557s |      19 |  3693696 |   623882 |    23373    100 |      398 |      339
1559.89/1560.47	c 1560s |      19 |  3694521 |   624182 |    23373    100 |      398 |      339
1562.39/1562.96	c 1562s |      19 |  3695566 |   624582 |    23373    100 |      398 |      339
1564.49/1565.07	c 1564s |      19 |  3696114 |   624882 |    23373    100 |      398 |      339
1566.99/1567.53	c 1567s |      19 |  3697173 |   625182 |    23373    101 |      398 |      339
1569.19/1569.76	c 1569s |      19 |  3699695 |   625982 |    23373    101 |      398 |      339
1571.29/1571.85	c 1571s |      19 |  3700870 |   626482 |    23373    101 |      398 |      339
1573.39/1573.91	c 1573s |      19 |  3702134 |   626982 |    23373    101 |      398 |      339
1575.39/1575.95	c 1575s |      19 |  3704981 |   627782 |    23373    102 |      398 |      339
1577.39/1577.99	c 1577s |      19 |  3706818 |   628482 |    23373    102 |      398 |      339
1579.58/1580.12	c 1579s |      19 |  3709269 |   629182 |    23373    102 |      398 |      339
1581.69/1582.27	c 1582s |      19 |  3712342 |   629982 |    23373    103 |      398 |      339
1583.89/1584.48	c 1584s |      19 |  3714484 |   630782 |    23373    103 |      398 |      339
1586.19/1586.78	c 1586s |      19 |  3716666 |   631482 |    23373    103 |      398 |      339
1588.39/1588.99	c 1588s |      19 |  3718746 |   631982 |    23373    104 |      398 |      339
1590.58/1591.15	c 1590s |      19 |  3721958 |   632882 |    23373    104 |      398 |      339
1592.98/1593.52	c 1593s |      19 |  3723640 |   633482 |    23373    104 |      398 |      339
1595.28/1595.88	c 1595s |      19 |  3725265 |   633982 |    23373    104 |      398 |      339
1597.39/1597.93	c 1597s |      19 |  3727851 |   634682 |    23373    105 |      398 |      339
1599.79/1600.32	c 1600s |      19 |  3730160 |   635482 |    23373    105 |      398 |      339
1601.88/1602.44	c 1602s |      19 |  3731473 |   635982 |    23373    105 |      398 |      339
1603.98/1604.56	c 1604s |      19 |  3732604 |   636482 |    23373    105 |      398 |      339
1606.09/1606.69	c 1606s |      19 |  3734049 |   637082 |    23373    106 |      398 |      339
1608.39/1608.91	c 1608s |      19 |  3736111 |   637782 |    23373    106 |      398 |      339
1610.58/1611.19	c 1610s |      19 |  3738063 |   638482 |    23373    106 |      398 |      339
1612.89/1613.41	c 1613s |      19 |  3740829 |   639382 |    23373    107 |      398 |      339
1614.88/1615.42	c 1615s |      19 |  3742864 |   639982 |    23373    107 |      398 |      339
1617.08/1617.69	c 1617s |      19 |  3745329 |   640582 |    23373    107 |      398 |      339
1619.68/1620.27	c 1620s |      19 |  3746232 |   640982 |    23373    107 |      398 |      339
1621.88/1622.41	c 1622s |      19 |  3748020 |   641682 |    23373    108 |      398 |      339
1623.88/1624.45	c 1624s |      19 |  3749215 |   642282 |    23373    108 |      398 |      339
1625.98/1626.51	c 1626s |      19 |  3752281 |   642882 |    23373    109 |      398 |      339
1628.08/1628.68	c 1628s |      19 |  3754331 |   643582 |    23373    109 |      398 |      339
1630.28/1630.89	c 1630s |      19 |  3757348 |   644382 |    23373    109 |      398 |      339
1632.48/1633.07	c 1632s |      19 |  3760484 |   645082 |    23373    110 |      398 |      339
1634.98/1635.54	c 1635s |      19 |  3761780 |   645582 |    23373    110 |      398 |      339
1637.58/1638.15	c 1637s |      19 |  3763810 |   646182 |    23373    111 |      398 |      339
1639.89/1640.45	c 1640s |      19 |  3766933 |   646982 |    23373    111 |      398 |      339
1641.88/1642.49	c 1642s |      19 |  3768337 |   647482 |    23373    111 |      398 |      339
1644.19/1644.75	c 1644s |      19 |  3770917 |   648082 |    23373    112 |      398 |      339
1646.49/1647.03	c 1646s |      19 |  3772501 |   648582 |    23373    112 |      398 |      339
1648.58/1649.16	c 1648s |      19 |  3773294 |   648882 |    23373    112 |      398 |      339
1650.57/1651.17	c 1650s |      19 |  3774484 |   649282 |    23373    112 |      398 |      339
1652.98/1653.60	c 1653s |      19 |  3775072 |   649582 |    23373    112 |      398 |      339
1655.38/1655.95	c 1655s |      19 |  3777397 |   650182 |    23373    113 |      398 |      339
1657.38/1658.00	c 1657s |      19 |  3779529 |   650882 |    23373    113 |      398 |      339
1659.59/1660.19	c 1659s |      19 |  3780793 |   651282 |    23373    113 |      398 |      339
1661.68/1662.25	c 1662s |      19 |  3783053 |   651982 |    23373    114 |      398 |      339
1663.67/1664.25	c 1664s |      19 |  3784917 |   652582 |    23373    114 |      398 |      339
1665.77/1666.37	c 1666s |      19 |  3787350 |   653182 |    23373    114 |      398 |      339
1668.48/1669.02	c 1668s |      19 |  3788416 |   653582 |    23373    114 |      398 |      339
1670.68/1671.25	c 1671s |      19 |  3789663 |   653982 |    23373    115 |      398 |      339
1672.78/1673.34	c 1673s |      19 |  3791795 |   654482 |    23373    115 |      398 |      339
1674.78/1675.34	c 1675s |      19 |  3793041 |   654882 |    23373    115 |      398 |      339
1677.28/1677.86	c 1677s |      19 |  3793964 |   655282 |    23373    115 |      398 |      339
1679.27/1679.89	c 1679s |      19 |  3795816 |   655982 |    23373    116 |      398 |      339
1681.47/1682.09	c 1681s |      19 |  3798480 |   656782 |    23373    116 |      398 |      339
1683.57/1684.14	c 1683s |      19 |  3799923 |   657182 |    23373    117 |      398 |      339
1685.57/1686.17	c 1685s |      19 |  3802697 |   657882 |    23373    117 |      398 |      339
1687.97/1688.58	c 1688s |      19 |  3805097 |   658482 |    23373    117 |      398 |      339
1690.28/1690.84	c 1690s |      19 |  3806480 |   658882 |    23373    117 |      398 |      339
1692.58/1693.18	c 1692s |      19 |  3807746 |   659282 |    23373    117 |      398 |      339
1694.67/1695.30	c 1695s |      19 |  3809271 |   659782 |    23373    118 |      398 |      339
1696.97/1697.59	c 1697s |      19 |  3811946 |   660382 |    23373    118 |      398 |      339
1699.77/1700.31	c 1700s |      19 |  3813135 |   660782 |    23373    118 |      398 |      339
1701.97/1702.52	c 1702s |      19 |  3814643 |   661182 |    23373    118 |      398 |      339
1704.17/1704.75	c 1704s |      19 |  3816111 |   661582 |    23373    118 |      398 |      339
1706.67/1707.21	c 1706s |      19 |  3817986 |   662182 |    25711    119 |      398 |      339
1708.86/1709.44	c 1709s |      19 |  3819515 |   662582 |    25711    119 |      398 |      339
1711.17/1711.75	c 1711s |      19 |  3820769 |   662982 |    25711    119 |      398 |      339
1713.66/1714.29	c 1714s |      19 |  3822740 |   663482 |    25711    119 |      398 |      339
1715.78/1716.37	c 1716s |      19 |  3823537 |   663782 |    25711    119 |      398 |      339
1718.06/1718.64	c 1718s |      19 |  3824305 |   664082 |    25711    119 |      398 |      339
1720.47/1721.08	c 1720s |      19 |  3825809 |   664582 |    25711    119 |      398 |      339
1722.66/1723.27	c 1723s |      19 |  3826984 |   664982 |    25711    119 |      398 |      339
1724.87/1725.46	c 1725s |      19 |  3828550 |   665382 |    25711    119 |      398 |      339
1727.37/1727.92	c 1727s |      19 |  3830436 |   665882 |    25711    119 |      398 |      339
1729.37/1730.00	c 1729s |      19 |  3831174 |   666182 |    25711    119 |      398 |      339
1731.47/1732.09	c 1731s |      19 |  3832109 |   666482 |    25711    120 |      398 |      339
1732.67/1733.28	c 1733s |      20 |  3832993 |   666827 |    25711    120 |      398 |      339
1734.76/1735.32	c 1735s |      20 |  3840341 |   668027 |    25711    120 |      398 |      339
1736.86/1737.45	c 1737s |      20 |  3844630 |   669127 |    25711    120 |      398 |      339
1738.96/1739.52	c 1739s |      20 |  3846721 |   669827 |    25711    120 |      398 |      339
1741.07/1741.65	c 1741s |      20 |  3848443 |   670427 |    25711    120 |      398 |      339
1743.46/1744.10	c 1743s |      20 |  3850498 |   671127 |    25711    120 |      398 |      339
1745.56/1746.12	c 1745s |      20 |  3851311 |   671427 |    25711    121 |      398 |      339
1747.76/1748.38	c 1748s |      20 |  3854286 |   672327 |    25711    121 |      398 |      339
1749.87/1750.43	c 1750s |      20 |  3855909 |   672927 |    25711    121 |      398 |      339
1751.86/1752.44	c 1752s |      20 |  3865686 |   674027 |    25711    121 |      398 |      339
1754.06/1754.60	c 1754s |      20 |  3872092 |   675427 |    25711    121 |      398 |      339
1756.06/1756.63	c 1756s |      20 |  3879309 |   676627 |    25711    122 |      398 |      339
1758.36/1758.95	c 1758s |      20 |  3882410 |   677427 |    25711    122 |      398 |      339
1760.56/1761.16	c 1760s |      20 |  3885039 |   678127 |    25711    122 |      398 |      339
1762.86/1763.49	c 1763s |      20 |  3887107 |   678727 |    25711    122 |      398 |      339
1764.96/1765.57	c 1765s |      20 |  3897241 |   679927 |    25711    123 |      399 |      340
1767.16/1767.78	c 1767s |      20 |  3904065 |   681527 |    25711    123 |      399 |      340
1769.25/1769.86	c 1769s |      20 |  3906367 |   682227 |    25711    123 |      399 |      340
1771.56/1772.11	c 1771s |      20 |  3911664 |   683227 |    25711    123 |      399 |      340
1773.66/1774.20	c 1773s |      20 |  3913568 |   683827 |    25711    124 |      399 |      340
1775.76/1776.32	c 1776s |      20 |  3919828 |   685127 |    25711    124 |      399 |      340
1777.86/1778.49	c 1778s |      20 |  3922927 |   685927 |    25711    124 |      399 |      340
1779.96/1780.52	c 1780s |      20 |  3924915 |   686527 |    25711    124 |      399 |      340
1781.96/1782.57	c 1782s |      20 |  3927555 |   687127 |    25711    124 |      399 |      340
1784.26/1784.83	c 1784s |      20 |  3930504 |   687827 |    25711    124 |      399 |      340
1786.35/1786.90	c 1786s |      20 |  3932678 |   688327 |    25711    125 |      399 |      340
1788.46/1789.01	c 1788s |      20 |  3936484 |   689327 |    25711    125 |      399 |      340
1790.46/1791.03	c 1790s |      20 |  3938818 |   690027 |    25711    125 |      399 |      340
1792.45/1793.05	c 1792s |      20 |  3940696 |   690627 |    25711    125 |      399 |      340
1794.55/1795.12	c 1794s |      20 |  3942804 |   691127 |    25711    125 |      399 |      340
1796.86/1797.42	c 1797s |      20 |  3945404 |   691827 |    25711    125 |      399 |      340
1799.26/1799.83	c 1799s |      20 |  3947014 |   692427 |    25711    125 |      399 |      340

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

pid=9383
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.13 2.06 2.01 3/179 9386
/proc/meminfo: memFree=30596320/32872528 swapFree=12744/274376
[pid=9386] ppid=9383 vsize=720316 CPUtime=0 cores=0,2,4,6
/proc/9386/stat : 9386 (toysat) R 9383 9386 5566 0 -1 4202496 2685 0 0 0 0 0 0 0 20 0 4 0 110318133 737603584 3046 33554432000 4194304 16246674 140736639626016 140736639625440 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9386/statm: 180847 3055 441 2943 0 177741 0
[pid=9386/tid=9387] ppid=9383 vsize=737724 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9387/stat : 9387 (toysat) S 9383 9386 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110318133 755429376 3112 33554432000 4194304 16246674 140736639626016 139711069793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9386/tid=9388] ppid=9383 vsize=741820 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9388/stat : 9388 (toysat) S 9383 9386 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110318133 759623680 3128 33554432000 4194304 16246674 140736639626016 139710991150320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9386/tid=9389] ppid=9383 vsize=745916 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9389/stat : 9389 (toysat) S 9383 9386 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110318133 763817984 3146 33554432000 4194304 16246674 140736639626016 139710980676784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100132 s]
/proc/loadavg: 2.13 2.06 2.01 3/179 9386
/proc/meminfo: memFree=30596320/32872528 swapFree=12744/274376
[pid=9386] ppid=9383 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/9386/stat : 9386 (toysat) R 9383 9386 5566 0 -1 4202496 28263 0 0 0 5 4 0 0 20 0 4 0 110318133 1250496512 28563 33554432000 4194304 16246674 140736639626016 140736639625328 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9386/statm: 305297 28569 801 2943 0 302191 0
[pid=9386/tid=9387] ppid=9383 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9387/stat : 9387 (toysat) S 9383 9386 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110318133 1250496512 28575 33554432000 4194304 16246674 140736639626016 139711069793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9386/tid=9388] ppid=9383 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9388/stat : 9388 (toysat) S 9383 9386 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110318133 1250496512 28580 33554432000 4194304 16246674 140736639626016 139710991150320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9386/tid=9389] ppid=9383 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9389/stat : 9389 (toysat) S 9383 9386 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110318133 1250496512 28584 33554432000 4194304 16246674 140736639626016 139710980676784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200507 s]
/proc/loadavg: 2.13 2.06 2.01 3/179 9386
/proc/meminfo: memFree=30596320/32872528 swapFree=12744/274376
[pid=9386] ppid=9383 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/9386/stat : 9386 (toysat) R 9383 9386 5566 0 -1 4202496 48323 0 0 0 12 7 0 0 20 0 4 0 110318133 1332285440 48622 33554432000 4194304 16246674 140736639626016 140736639625328 6156021 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9386/statm: 325265 48622 833 2943 0 322159 0
[pid=9386/tid=9387] ppid=9383 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9387/stat : 9387 (toysat) S 9383 9386 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110318133 1332285440 48622 33554432000 4194304 16246674 140736639626016 139711069793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9386/tid=9388] ppid=9383 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9388/stat : 9388 (toysat) S 9383 9386 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110318133 1332285440 48622 33554432000 4194304 16246674 140736639626016 139710991150320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9386/tid=9389] ppid=9383 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9389/stat : 9389 (toysat) S 9383 9386 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110318133 1332285440 48622 33554432000 4194304 16246674 140736639626016 139710980676784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300495 s]
/proc/loadavg: 2.13 2.06 2.01 3/179 9386
/proc/meminfo: memFree=30596320/32872528 swapFree=12744/274376
[pid=9386] ppid=9383 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/9386/stat : 9386 (toysat) R 9383 9386 5566 0 -1 4202496 54155 0 0 0 21 8 0 0 20 0 4 0 110318133 1333334016 54455 33554432000 4194304 16246674 140736639626016 140736639625328 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9386/statm: 325521 54466 876 2943 0 322415 0
[pid=9386/tid=9387] ppid=9383 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9387/stat : 9387 (toysat) S 9383 9386 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110318133 1333334016 54474 33554432000 4194304 16246674 140736639626016 139711069793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9386/tid=9388] ppid=9383 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9388/stat : 9388 (toysat) S 9383 9386 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110318133 1333334016 54479 33554432000 4194304 16246674 140736639626016 139710991150320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9386/tid=9389] ppid=9383 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9389/stat : 9389 (toysat) S 9383 9386 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110318133 1333334016 54485 33554432000 4194304 16246674 140736639626016 139710980676784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700419 s]
/proc/loadavg: 2.13 2.06 2.01 3/179 9386
/proc/meminfo: memFree=30596320/32872528 swapFree=12744/274376
[pid=9386] ppid=9383 vsize=1309252 CPUtime=0.69 cores=0,2,4,6
/proc/9386/stat : 9386 (toysat) R 9383 9386 5566 0 -1 4202496 116486 0 0 0 52 17 0 0 20 0 4 0 110318133 1340674048 116785 33554432000 4194304 16246674 140736639626016 140736639625328 5546015 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9386/statm: 327313 116785 883 2943 0 324207 0
[pid=9386/tid=9387] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9387/stat : 9387 (toysat) S 9383 9386 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 116785 33554432000 4194304 16246674 140736639626016 139711069793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9386/tid=9388] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9388/stat : 9388 (toysat) S 9383 9386 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 116785 33554432000 4194304 16246674 140736639626016 139710991150320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9386/tid=9389] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9389/stat : 9389 (toysat) S 9383 9386 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 116785 33554432000 4194304 16246674 140736639626016 139710980676784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1309252

[startup+1.50047 s]
/proc/loadavg: 2.13 2.06 2.01 3/183 9390
/proc/meminfo: memFree=30129976/32872528 swapFree=12744/274376
[pid=9386] ppid=9383 vsize=1309252 CPUtime=1.48 cores=0,2,4,6
/proc/9386/stat : 9386 (toysat) R 9383 9386 5566 0 -1 4202496 123619 0 0 0 131 17 0 0 20 0 4 0 110318133 1340674048 123918 33554432000 4194304 16246674 140736639626016 140736639609016 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9386/statm: 327313 123923 883 2943 0 324207 0
[pid=9386/tid=9387] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9387/stat : 9387 (toysat) S 9383 9386 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 123925 33554432000 4194304 16246674 140736639626016 139711069793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9386/tid=9388] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9388/stat : 9388 (toysat) S 9383 9386 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 123926 33554432000 4194304 16246674 140736639626016 139710991150320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9386/tid=9389] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9389/stat : 9389 (toysat) S 9383 9386 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 123928 33554432000 4194304 16246674 140736639626016 139710980676784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1309252

[startup+3.10041 s]
/proc/loadavg: 2.13 2.06 2.01 3/183 9390
/proc/meminfo: memFree=29521508/32872528 swapFree=12744/274376
[pid=9386] ppid=9383 vsize=1309252 CPUtime=3.09 cores=0,2,4,6
/proc/9386/stat : 9386 (toysat) R 9383 9386 5566 0 -1 4202496 268492 0 0 0 271 38 0 0 20 0 4 0 110318133 1340674048 268791 33554432000 4194304 16246674 140736639626016 140736639607936 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9386/statm: 327313 268791 883 2943 0 324207 0
[pid=9386/tid=9387] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9387/stat : 9387 (toysat) S 9383 9386 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 268791 33554432000 4194304 16246674 140736639626016 139711069793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9386/tid=9388] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9388/stat : 9388 (toysat) S 9383 9386 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 268791 33554432000 4194304 16246674 140736639626016 139710991150320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9386/tid=9389] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9389/stat : 9389 (toysat) S 9383 9386 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 268791 33554432000 4194304 16246674 140736639626016 139710980676784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1309252

[startup+6.30036 s]
/proc/loadavg: 2.12 2.06 2.01 3/183 9390
/proc/meminfo: memFree=29522080/32872528 swapFree=12744/274376
[pid=9386] ppid=9383 vsize=1309252 CPUtime=6.29 cores=0,2,4,6
/proc/9386/stat : 9386 (toysat) R 9383 9386 5566 0 -1 4202496 268492 0 0 0 591 38 0 0 20 0 4 0 110318133 1340674048 268791 33554432000 4194304 16246674 140736639626016 140736639609016 5754966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9386/statm: 327313 268791 883 2943 0 324207 0
[pid=9386/tid=9387] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9387/stat : 9387 (toysat) S 9383 9386 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 268791 33554432000 4194304 16246674 140736639626016 139711069793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9386/tid=9388] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9388/stat : 9388 (toysat) S 9383 9386 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 268791 33554432000 4194304 16246674 140736639626016 139710991150320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9386/tid=9389] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9389/stat : 9389 (toysat) S 9383 9386 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 268791 33554432000 4194304 16246674 140736639626016 139710980676784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.11 2.06 2.01 3/183 9390
/proc/meminfo: memFree=29521972/32872528 swapFree=12744/274376
[pid=9386] ppid=9383 vsize=1309252 CPUtime=12.69 cores=0,2,4,6
/proc/9386/stat : 9386 (toysat) R 9383 9386 5566 0 -1 4202496 268494 0 0 0 1231 38 0 0 20 0 4 0 110318133 1340674048 268793 33554432000 4194304 16246674 140736639626016 140736639625112 5829044 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9386/statm: 327313 268793 885 2943 0 324207 0
[pid=9386/tid=9387] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9387/stat : 9387 (toysat) S 9383 9386 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 268793 33554432000 4194304 16246674 140736639626016 139711069793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9386/tid=9388] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9388/stat : 9388 (toysat) S 9383 9386 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 268793 33554432000 4194304 16246674 140736639626016 139710991150320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9386/tid=9389] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9389/stat : 9389 (toysat) S 9383 9386 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 268793 33554432000 4194304 16246674 140736639626016 139710980676784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1309252

[startup+25.5004 s]
/proc/loadavg: 2.16 2.07 2.01 3/183 9390
/proc/meminfo: memFree=29522328/32872528 swapFree=12744/274376
[pid=9386] ppid=9383 vsize=1309252 CPUtime=25.49 cores=0,2,4,6
/proc/9386/stat : 9386 (toysat) R 9383 9386 5566 0 -1 4202496 268495 0 0 0 2511 38 0 0 20 0 4 0 110318133 1340674048 268794 33554432000 4194304 16246674 140736639626016 140736639607936 12483583 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9386/statm: 327313 268794 886 2943 0 324207 0
[pid=9386/tid=9387] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9387/stat : 9387 (toysat) S 9383 9386 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 268794 33554432000 4194304 16246674 140736639626016 139711069793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9386/tid=9388] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9388/stat : 9388 (toysat) S 9383 9386 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 268794 33554432000 4194304 16246674 140736639626016 139710991150320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9386/tid=9389] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9389/stat : 9389 (toysat) S 9383 9386 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 268794 33554432000 4194304 16246674 140736639626016 139710980676784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1309252

[startup+51.1004 s]
/proc/loadavg: 2.11 2.07 2.01 3/183 9390
/proc/meminfo: memFree=29522504/32872528 swapFree=12744/274376
[pid=9386] ppid=9383 vsize=1309252 CPUtime=51.08 cores=0,2,4,6
/proc/9386/stat : 9386 (toysat) R 9383 9386 5566 0 -1 4202496 268495 0 0 0 5069 39 0 0 20 0 4 0 110318133 1340674048 268794 33554432000 4194304 16246674 140736639626016 140736639607936 6016034 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9386/statm: 327313 268794 886 2943 0 324207 0
[pid=9386/tid=9387] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9387/stat : 9387 (toysat) S 9383 9386 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 268794 33554432000 4194304 16246674 140736639626016 139711069793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9386/tid=9388] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9388/stat : 9388 (toysat) S 9383 9386 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 268794 33554432000 4194304 16246674 140736639626016 139710991150320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9386/tid=9389] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9389/stat : 9389 (toysat) S 9383 9386 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 268794 33554432000 4194304 16246674 140736639626016 139710980676784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

[startup+102.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/183 9391
/proc/meminfo: memFree=29522264/32872528 swapFree=12744/274376
[pid=9386] ppid=9383 vsize=1309252 CPUtime=102.27 cores=0,2,4,6
/proc/9386/stat : 9386 (toysat) R 9383 9386 5566 0 -1 4202496 268495 0 0 0 10188 39 0 0 20 0 4 0 110318133 1340674048 268794 33554432000 4194304 16246674 140736639626016 140736639607936 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9386/statm: 327313 268794 886 2943 0 324207 0
[pid=9386/tid=9387] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9387/stat : 9387 (toysat) S 9383 9386 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 268794 33554432000 4194304 16246674 140736639626016 139711069793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9386/tid=9388] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9388/stat : 9388 (toysat) S 9383 9386 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 268794 33554432000 4194304 16246674 140736639626016 139710991150320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9386/tid=9389] ppid=9383 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9389/stat : 9389 (toysat) S 9383 9386 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110318133 1340674048 268794 33554432000 4194304 16246674 140736639626016 139710980676784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1309252


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

/proc/9386/task/9389/stat : 9389 (toysat) S 9383 9386 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139710980676784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1314372

[startup+1302.3 s]
/proc/loadavg: 2.11 2.10 2.05 3/183 9470
/proc/meminfo: memFree=29489764/32872528 swapFree=12744/274376
[pid=9386] ppid=9383 vsize=1314372 CPUtime=1301.83 cores=0,2,4,6
/proc/9386/stat : 9386 (toysat) R 9383 9386 5566 0 -1 4202496 270194 0 0 0 130063 120 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 140736639607936 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9386/statm: 328593 270331 886 2943 0 325487 0
[pid=9386/tid=9387] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9387/stat : 9387 (toysat) S 9383 9386 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139711069793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9386/tid=9388] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9388/stat : 9388 (toysat) S 9383 9386 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139710991150320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9386/tid=9389] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9389/stat : 9389 (toysat) S 9383 9386 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139710980676784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.08 2.10 2.05 3/183 9472
/proc/meminfo: memFree=29489144/32872528 swapFree=12744/274376
[pid=9386] ppid=9383 vsize=1314372 CPUtime=1361.82 cores=0,2,4,6
/proc/9386/stat : 9386 (toysat) R 9383 9386 5566 0 -1 4202496 270194 0 0 0 136046 136 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 140736639625192 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9386/statm: 328593 270331 886 2943 0 325487 0
[pid=9386/tid=9387] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9387/stat : 9387 (toysat) S 9383 9386 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139711069793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9386/tid=9388] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9388/stat : 9388 (toysat) S 9383 9386 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139710991150320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9386/tid=9389] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9389/stat : 9389 (toysat) S 9383 9386 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139710980676784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.09 2.09 2.04 3/184 9476
/proc/meminfo: memFree=29489680/32872528 swapFree=12744/274376
[pid=9386] ppid=9383 vsize=1314372 CPUtime=1421.81 cores=0,2,4,6
/proc/9386/stat : 9386 (toysat) R 9383 9386 5566 0 -1 4202496 270194 0 0 0 142037 144 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 140736639607936 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9386/statm: 328593 270331 886 2943 0 325487 0
[pid=9386/tid=9387] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9387/stat : 9387 (toysat) S 9383 9386 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139711069793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9386/tid=9388] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9388/stat : 9388 (toysat) S 9383 9386 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139710991150320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9386/tid=9389] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9389/stat : 9389 (toysat) S 9383 9386 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139710980676784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.14 2.10 2.05 3/183 9477
/proc/meminfo: memFree=29489316/32872528 swapFree=12744/274376
[pid=9386] ppid=9383 vsize=1314372 CPUtime=1481.8 cores=0,2,4,6
/proc/9386/stat : 9386 (toysat) R 9383 9386 5566 0 -1 4202496 270194 0 0 0 148032 148 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 140736639607936 12477752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9386/statm: 328593 270331 886 2943 0 325487 0
[pid=9386/tid=9387] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9387/stat : 9387 (toysat) S 9383 9386 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139711069793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9386/tid=9388] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9388/stat : 9388 (toysat) S 9383 9386 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139710991150320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9386/tid=9389] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9389/stat : 9389 (toysat) S 9383 9386 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139710980676784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1314372

[startup+1542.3 s]
/proc/loadavg: 2.09 2.10 2.05 3/183 9478
/proc/meminfo: memFree=29489184/32872528 swapFree=12744/274376
[pid=9386] ppid=9383 vsize=1314372 CPUtime=1541.8 cores=0,2,4,6
/proc/9386/stat : 9386 (toysat) R 9383 9386 5566 0 -1 4202496 270194 0 0 0 154027 153 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 140736639607936 5675537 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9386/statm: 328593 270331 886 2943 0 325487 0
[pid=9386/tid=9387] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9387/stat : 9387 (toysat) S 9383 9386 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139711069793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9386/tid=9388] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9388/stat : 9388 (toysat) S 9383 9386 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139710991150320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9386/tid=9389] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9389/stat : 9389 (toysat) S 9383 9386 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139710980676784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.06 2.09 2.05 3/183 9479
/proc/meminfo: memFree=29489056/32872528 swapFree=12744/274376
[pid=9386] ppid=9383 vsize=1314372 CPUtime=1601.78 cores=0,2,4,6
/proc/9386/stat : 9386 (toysat) R 9383 9386 5566 0 -1 4202496 270194 0 0 0 160015 163 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 140736639607936 5545708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9386/statm: 328593 270331 886 2943 0 325487 0
[pid=9386/tid=9387] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9387/stat : 9387 (toysat) S 9383 9386 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139711069793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9386/tid=9388] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9388/stat : 9388 (toysat) S 9383 9386 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139710991150320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9386/tid=9389] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9389/stat : 9389 (toysat) S 9383 9386 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139710980676784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.15 2.10 2.05 3/183 9481
/proc/meminfo: memFree=29489060/32872528 swapFree=12744/274376
[pid=9386] ppid=9383 vsize=1314372 CPUtime=1661.78 cores=0,2,4,6
/proc/9386/stat : 9386 (toysat) R 9383 9386 5566 0 -1 4202496 270194 0 0 0 166001 177 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 140736639607936 5545898 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9386/statm: 328593 270331 886 2943 0 325487 0
[pid=9386/tid=9387] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9387/stat : 9387 (toysat) S 9383 9386 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139711069793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9386/tid=9388] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9388/stat : 9388 (toysat) S 9383 9386 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139710991150320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9386/tid=9389] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9389/stat : 9389 (toysat) S 9383 9386 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139710980676784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.09 2.10 2.05 3/183 9482
/proc/meminfo: memFree=29489052/32872528 swapFree=12744/274376
[pid=9386] ppid=9383 vsize=1314372 CPUtime=1721.77 cores=0,2,4,6
/proc/9386/stat : 9386 (toysat) R 9383 9386 5566 0 -1 4202496 270194 0 0 0 171974 203 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 140736639625192 13950236 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9386/statm: 328593 270331 886 2943 0 325487 0
[pid=9386/tid=9387] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9387/stat : 9387 (toysat) S 9383 9386 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139711069793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9386/tid=9388] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9388/stat : 9388 (toysat) S 9383 9386 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139710991150320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9386/tid=9389] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9389/stat : 9389 (toysat) S 9383 9386 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139710980676784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1314372

[startup+1782.31 s]
/proc/loadavg: 2.06 2.09 2.05 3/183 9483
/proc/meminfo: memFree=29488552/32872528 swapFree=12744/274376
[pid=9386] ppid=9383 vsize=1314372 CPUtime=1781.76 cores=0,2,4,6
/proc/9386/stat : 9386 (toysat) R 9383 9386 5566 0 -1 4202496 270194 0 0 0 177966 210 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 140736639625192 5522960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9386/statm: 328593 270331 886 2943 0 325487 0
[pid=9386/tid=9387] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9387/stat : 9387 (toysat) S 9383 9386 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139711069793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9386/tid=9388] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9388/stat : 9388 (toysat) S 9383 9386 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139710991150320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9386/tid=9389] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9389/stat : 9389 (toysat) S 9383 9386 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139710980676784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1314372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.05 2.08 2.05 3/183 9484
/proc/meminfo: memFree=29488676/32872528 swapFree=12744/274376
[pid=9386] ppid=9383 vsize=1314372 CPUtime=1800.05 cores=0,2,4,6
/proc/9386/stat : 9386 (toysat) R 9383 9386 5566 0 -1 4202496 270194 0 0 0 179793 212 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 140736639607936 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9386/statm: 328593 270331 886 2943 0 325487 0
[pid=9386/tid=9387] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9387/stat : 9387 (toysat) S 9383 9386 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139711069793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9386/tid=9388] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9388/stat : 9388 (toysat) S 9383 9386 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139710991150320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9386/tid=9389] ppid=9383 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9386/task/9389/stat : 9389 (toysat) S 9383 9386 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110318133 1345916928 270331 33554432000 4194304 16246674 140736639626016 139710980676784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1314372

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 9386 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.07
CPU user time (s): 1797.94
CPU system time (s): 2.12468
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.94
system time used= 2.12468
maximum resident set size= 1081324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270194
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= 434
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.25305 second user time and 8.09877 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 09:17:14
IDJOB=4078934
IDBENCH=90136
IDSOLVER=2542
FILE ID=node107/4078934-1465283834
RUNJOBID= node107-1465255895-5582
PBS_JOBID= 19843278
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K83.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078934-1465283834/watcher-4078934-1465283834 -o /tmp/evaluation-result-4078934-1465283834/solver-4078934-1465283834 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5582 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078934-1465283834.opb

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

MD5SUM BENCH= 87eecd69bf3cf4e36ad8fc8a9d8af53d
RANDOM SEED=71552688

node107.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.441
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:        30596740 kB
Buffers:           60776 kB
Cached:           126492 kB
SwapCached:         1492 kB
Active:          1167488 kB
Inactive:         100528 kB
Active(anon):    1077616 kB
Inactive(anon):     5100 kB
Active(file):      89872 kB
Inactive(file):    95428 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098524 kB
Dirty:             16728 kB
Writeback:             0 kB
AnonPages:       1353872 kB
Mapped:            10652 kB
Shmem:                 0 kB
Slab:             599288 kB
SReclaimable:      42740 kB
SUnreclaim:       556548 kB
KernelStack:        1528 kB
PageTables:         6560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1497964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    942080 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= 71716 MiB
End job on node107 at 2016-06-07 09:47:15