Trace number 4102049

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.1 1800.61

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par32-2-c.opb
MD5SUM02ee6f086501e1f86c8de97a222a24d7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2606
Total number of constraints6509
Number of constraints which are clauses6509
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 2606
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2606
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2606
Number of bits of the biggest sum of numbers12
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-18T07:59:42+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-4102049-1466229582.opb"]
0.00/0.01	c use --random-gen="1919360808 2164690961 3793085822 194357498 1493618649 4237784332 468351818 3903007473 2424219531 778686354 3571113058 2969352986 556871615 1250412386 124373896 855989456 1973636776 2732419145 839989676 3400816493 616137568 2175079861 352011115 1244992706 3981613933 4165926823 2697900610 2330572116 1167399687 849727054 847111596 915903050 1940837542 3353495683 634731232 242681924 3303650588 2171968942 2671126281 3447303389 2072718713 2653722877 1346121496 1651854997 307871089 2798638216 3806477593 937524501 2008097825 4143883836 1259299015 2898276099 3735114035 1985081694 4103977325 3036252683 3161812109 600388269 3569244656 2489838999 2190441988 734721581 2437928106 208931821 4132312417 7051771 1342691104 2905848471 2800514479 563035538 3286853143 658259012 3967857421 306377074 677663606 1086122711 1022420359 667300035 2408589603 1011890099 2548106912 515012559 470544905 37076709 712743988 3523444433 3880245029 441957822 3439039938 3287665638 988372670 1708390996 3111655699 3923343076 2909700360 126797654 3355018639 4122142465 2035631617 3146132505 1745307021 33852876 3967144633 2527761568 3767753325 2096319263 3992547012 373860888 4134557879 3967688067 3730040948 2949007978 3942604282 13353060 1948132816 2897545666 3968188180 370005075 2016934269 87251461 2031225301 752601009 3031606321 1782011988 16993045 3429941974 2287012114 3492850715 950126742 3780779762 147139368 325131068 587419978 144745706 1538963192 4158618969 2469309132 877909672 3355410209 1771462904 1844689428 2147182522 3177341412 204853078 3460201423 2205680666 1031919595 275402362 296870073 4268133260 974858543 1329381190 1959411397 304586079 1648315934 722389044 2689443900 1427328479 366185370 169360985 1485730112 508216252 1924120677 2100440878 1154772540 2447774167 163909979 544666611 500126496 1625750601 1674436413 319149825 1220550548 2403455662 3784105681 185333106 1996081068 162687512 1930768817 3804115570 2218682935 1516972396 452068676 1913700548 4222642572 2354345343 190882481 1615743634 1542373956 965146577 3750013036 3319618259 1510551748 1542913043 3895339854 577577050 301639334 1791901022 100554160 1300668479 98646001 1647943526 2165307674 2020226311 3633281473 973942080 2069395042 288969663 3957163136 268460834 3661122294 3993423651 1311131201 2889780136 3106542752 1295938338 4015617649 1236929999 2461196411 383696321 4177422645 1686917232 552663112 444513180 3036189555 4253841357 697414876 1891494916 643137980 2921669324 4249532471 1290804171 1986443413 4198250546 1311975456 3185659568 4251050717 53024583 1360409741 3868599219 4227969135 1875110959 1506368747 3949611966 2337203904 967628612 553632594 2165120811 3329241146 198034360 3926324876 914541241 650730002 633570139 2061342154 78478011 255 362436" option to reproduce the execution
0.00/0.06	c #vars 2606
0.00/0.06	c #constraints 6509
0.09/0.14	c BCD2: Hardening is enabled.
0.09/0.14	c BCD2: BiasedSearch is enabled.
0.09/0.14	c Solving starts ...
0.09/0.14	c ============================[ Search Statistics ]============================
0.09/0.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.14	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.14	c =============================================================================
0.09/0.14	c  0.0s |       0 |        0 |        0 |     3038      0 |        0 |        0
0.29/0.36	c  0.2s |       1 |      128 |      100 |     3038      0 |        0 |        0
0.69/0.78	c  0.6s |       2 |      305 |      250 |     3342      0 |        0 |        0
1.29/1.35	c  1.2s |       3 |      559 |      475 |     3677      0 |        0 |        0
1.99/2.00	c  1.9s |       4 |      929 |      813 |     4045      0 |        0 |        0
2.89/2.95	c  2.8s |       5 |     1465 |     1320 |     4450      0 |        0 |        0
4.29/4.38	c  4.2s |       6 |     2251 |     2081 |     5385      0 |        0 |        0
6.49/6.58	c  6.4s |       6 |     3378 |     3181 |     5385      0 |        0 |        0
6.60/6.66	c  6.5s |       7 |     3419 |     3223 |     5924      0 |        0 |        0
8.69/8.76	c  8.6s |       7 |     4453 |     4223 |     5924      0 |        0 |        0
10.19/10.23	c 10.1s |       8 |     5175 |     4936 |     6517      0 |        0 |        0
12.29/12.30	c 12.2s |       8 |     6105 |     5836 |     6517      0 |        0 |        0
14.30/14.39	c 14.3s |       8 |     7123 |     6836 |     6517      1 |        0 |        0
15.69/15.79	c 15.7s |       9 |     7795 |     7506 |     7169      1 |        0 |        0
17.79/17.84	c 17.7s |       9 |     8829 |     8506 |     7169      1 |        0 |        0
19.89/19.97	c 19.8s |       9 |     9833 |     9506 |     7169      1 |        0 |        0
21.89/21.97	c 21.8s |       9 |    10848 |    10506 |     7169      1 |        0 |        0
23.39/23.45	c 23.3s |      10 |    11754 |    11361 |     7886      2 |        0 |        0
25.49/25.54	c 25.4s |      10 |    13135 |    12661 |     7886      2 |        0 |        0
27.59/27.69	c 27.6s |      10 |    14468 |    13961 |     7886      2 |        0 |        0
29.69/29.72	c 29.6s |      10 |    15704 |    15161 |     7886      3 |        0 |        0
31.68/31.72	c 31.6s |      10 |    16933 |    16361 |     7886      3 |        0 |        0
32.99/33.09	c 33.0s |      11 |    17742 |    17144 |     8675      3 |        0 |        0
35.08/35.10	c 35.0s |      11 |    18879 |    18244 |     8675      3 |        0 |        0
37.18/37.20	c 37.1s |      11 |    20028 |    19344 |     8675      3 |        0 |        0
39.18/39.23	c 39.1s |      11 |    21144 |    20444 |     8675      4 |        0 |        0
41.18/41.24	c 41.1s |      11 |    22258 |    21544 |     8675      4 |        0 |        0
43.28/43.31	c 43.2s |      11 |    23370 |    22644 |     8675      4 |        0 |        0
45.28/45.35	c 45.2s |      11 |    24389 |    23644 |     8675      4 |        0 |        0
47.29/47.38	c 47.2s |      11 |    25537 |    24744 |     8675      5 |        0 |        0
49.28/49.30	c 49.2s |      12 |    26665 |    25819 |     9543      5 |        0 |        0
51.38/51.48	c 51.3s |      12 |    27835 |    26919 |     9543      5 |        0 |        0
53.48/53.50	c 53.4s |      12 |    28872 |    27919 |     9543      5 |        0 |        0
55.58/55.61	c 55.5s |      12 |    29932 |    28919 |     9543      5 |        0 |        0
57.78/57.80	c 57.7s |      12 |    31088 |    30019 |     9543      6 |        0 |        0
59.88/59.93	c 59.8s |      12 |    32248 |    31119 |     9543      6 |        0 |        0
61.88/61.95	c 61.8s |      12 |    33439 |    32219 |     9543      6 |        0 |        0
63.98/64.00	c 63.9s |      12 |    34490 |    33219 |     9543      6 |        0 |        0
65.88/66.00	c 65.9s |      12 |    35449 |    34119 |     9543      7 |        0 |        0
68.08/68.17	c 68.0s |      12 |    36597 |    35219 |     9543      7 |        0 |        0
70.18/70.27	c 70.1s |      12 |    37756 |    36319 |     9543      7 |        0 |        0
72.28/72.33	c 72.2s |      12 |    38799 |    37319 |     9543      7 |        0 |        0
74.38/74.48	c 74.3s |      12 |    39859 |    38319 |     9543      7 |        0 |        0
75.48/75.58	c 75.4s |      13 |    40403 |    38832 |    10498      7 |        0 |        0
77.58/77.61	c 77.5s |      13 |    41487 |    39832 |    10498      7 |        0 |        0
79.68/79.71	c 79.6s |      13 |    42768 |    41032 |    10498      8 |        0 |        0
81.78/81.88	c 81.7s |      13 |    44036 |    42232 |    10498      8 |        0 |        0
83.88/83.94	c 83.8s |      13 |    45206 |    43332 |    10498      8 |        0 |        0
85.98/86.09	c 86.0s |      13 |    46281 |    44332 |    10498      8 |        0 |        0
88.18/88.20	c 88.1s |      13 |    47320 |    45332 |    10498      9 |        0 |        0
90.29/90.37	c 90.2s |      13 |    48569 |    46532 |    10498      9 |        0 |        0
92.39/92.44	c 92.3s |      13 |    49724 |    47632 |    10498      9 |        0 |        0
94.48/94.52	c 94.4s |      13 |    50862 |    48732 |    10498      9 |        0 |        0
96.48/96.52	c 96.4s |      13 |    51918 |    49732 |    10498      9 |        0 |        0
98.48/98.58	c 98.4s |      13 |    52965 |    50732 |    10498     10 |        0 |        0
100.68/100.74	c  100s |      13 |    54210 |    51932 |    10498     10 |        0 |        0
102.68/102.76	c  102s |      13 |    55392 |    53032 |    10498     10 |        0 |        0
104.78/104.82	c  104s |      13 |    56567 |    54132 |    10498     10 |        0 |        0
106.78/106.86	c  106s |      13 |    57634 |    55132 |    10498     10 |        0 |        0
108.98/109.01	c  108s |      13 |    58807 |    56232 |    10498     11 |        0 |        0
110.97/111.10	c  110s |      13 |    59974 |    57332 |    10498     11 |        0 |        0
112.97/113.00	c  112s |      14 |    61054 |    58352 |    11548     11 |        0 |        0
114.97/115.04	c  114s |      14 |    62143 |    59352 |    11548     11 |        0 |        0
117.07/117.11	c  116s |      14 |    63203 |    60352 |    11548     11 |        0 |        0
119.17/119.26	c  119s |      14 |    64269 |    61352 |    11548     11 |        0 |        0
121.17/121.26	c  121s |      14 |    65103 |    62152 |    11548     12 |        0 |        0
123.28/123.34	c  123s |      14 |    66241 |    63252 |    11548     12 |        0 |        0
125.27/125.38	c  125s |      14 |    67324 |    64252 |    11548     12 |        0 |        0
127.47/127.54	c  127s |      14 |    68354 |    65252 |    11548     12 |        0 |        0
129.57/129.62	c  129s |      14 |    69419 |    66252 |    11548     12 |        0 |        0
131.77/131.83	c  131s |      14 |    70450 |    67252 |    11548     12 |        0 |        0
133.87/133.91	c  133s |      14 |    71381 |    68152 |    11548     13 |        0 |        0
135.87/135.97	c  135s |      14 |    72520 |    69252 |    11548     13 |        0 |        0
137.97/138.02	c  137s |      14 |    73542 |    70252 |    11548     13 |        0 |        0
139.97/140.02	c  139s |      14 |    74603 |    71252 |    11548     13 |        0 |        0
142.17/142.21	c  142s |      14 |    75663 |    72252 |    11548     13 |        0 |        0
144.37/144.41	c  144s |      14 |    76709 |    73252 |    11548     13 |        0 |        0
146.46/146.53	c  146s |      14 |    77763 |    74252 |    11548     14 |        0 |        0
148.57/148.68	c  148s |      14 |    78909 |    75352 |    11548     14 |        0 |        0
150.67/150.71	c  150s |      14 |    79950 |    76352 |    11548     14 |        0 |        0
152.66/152.78	c  152s |      14 |    80985 |    77352 |    11548     14 |        0 |        0
154.76/154.83	c  154s |      14 |    81935 |    78252 |    11548     14 |        0 |        0
156.76/156.88	c  156s |      14 |    82863 |    79152 |    11548     14 |        0 |        0
158.86/158.98	c  158s |      14 |    83901 |    80152 |    11548     15 |        0 |        0
161.06/161.15	c  161s |      14 |    85025 |    81252 |    11548     15 |        0 |        0
163.16/163.26	c  163s |      14 |    86040 |    82252 |    11548     15 |        0 |        0
165.26/165.39	c  165s |      14 |    87066 |    83252 |    11548     15 |        0 |        0
167.36/167.40	c  167s |      14 |    87986 |    84152 |    11548     15 |        0 |        0
169.47/169.52	c  169s |      14 |    88912 |    85052 |    11548     15 |        0 |        0
171.47/171.58	c  171s |      14 |    89831 |    85952 |    11548     16 |        0 |        0
173.67/173.79	c  173s |      14 |    90959 |    87052 |    12703     16 |        0 |        0
175.07/175.17	c  175s |      15 |    91547 |    87632 |    12703     16 |        0 |        0
177.27/177.34	c  177s |      15 |    92606 |    88632 |    12703     16 |        0 |        0
179.27/179.37	c  179s |      15 |    93559 |    89532 |    12703     16 |        0 |        0
181.27/181.38	c  181s |      15 |    94516 |    90432 |    12703     16 |        0 |        0
183.37/183.46	c  183s |      15 |    95455 |    91332 |    12703     16 |        0 |        0
185.57/185.64	c  185s |      15 |    96394 |    92232 |    12703     16 |        0 |        0
187.67/187.73	c  187s |      15 |    97556 |    93332 |    12703     17 |        0 |        0
189.77/189.87	c  189s |      15 |    98724 |    94432 |    12703     17 |        0 |        0
191.97/192.06	c  191s |      15 |    99882 |    95532 |    12703     17 |        0 |        0
194.07/194.17	c  194s |      15 |   100958 |    96532 |    12703     17 |        0 |        0
196.17/196.26	c  196s |      15 |   101905 |    97432 |    12703     17 |        0 |        0
198.36/198.42	c  198s |      15 |   102851 |    98332 |    12703     17 |        0 |        0
200.36/200.47	c  200s |      15 |   103829 |    99232 |    12703     18 |        2 |        7
202.56/202.65	c  202s |      15 |   105008 |   100332 |    12703     18 |        2 |        7
204.67/204.73	c  204s |      15 |   106043 |   101332 |    12703     18 |        2 |        7
206.87/206.91	c  206s |      15 |   107095 |   102332 |    12703     18 |        2 |        7
208.86/208.91	c  208s |      15 |   108034 |   103232 |    12703     18 |        2 |        7
210.96/211.05	c  210s |      15 |   108974 |   104132 |    12703     18 |        2 |        7
213.16/213.26	c  213s |      15 |   109926 |   105032 |    12703     19 |        2 |        7
215.26/215.36	c  215s |      15 |   111068 |   106132 |    12703     19 |        2 |        7
217.36/217.42	c  217s |      15 |   112118 |   107132 |    12703     19 |        2 |        7
219.36/219.47	c  219s |      15 |   113133 |   108132 |    12703     19 |        2 |        7
221.46/221.50	c  221s |      15 |   114058 |   109032 |    12703     19 |        2 |        7
223.46/223.54	c  223s |      15 |   114997 |   109932 |    12703     19 |        2 |        7
225.56/225.68	c  225s |      15 |   115835 |   110732 |    12703     19 |        2 |        7
227.86/227.90	c  227s |      15 |   116767 |   111632 |    12703     20 |        2 |        7
229.86/229.92	c  229s |      15 |   117782 |   112632 |    12703     20 |        2 |        7
231.96/232.03	c  231s |      15 |   118832 |   113632 |    12703     20 |        2 |        7
233.96/234.03	c  233s |      15 |   119763 |   114532 |    12703     20 |        2 |        7
236.15/236.20	c  236s |      15 |   120805 |   115532 |    12703     20 |        2 |        7
238.25/238.31	c  238s |      15 |   121739 |   116432 |    12703     20 |        2 |        7
240.35/240.45	c  240s |      15 |   122669 |   117332 |    12703     20 |        2 |        7
242.55/242.64	c  242s |      15 |   123681 |   118332 |    12703     21 |        2 |        7
244.65/244.79	c  244s |      15 |   124800 |   119432 |    12703     21 |        2 |        7
246.85/246.94	c  246s |      15 |   125829 |   120432 |    12703     21 |        2 |        7
248.85/248.96	c  248s |      15 |   126667 |   121232 |    12703     21 |        2 |        7
251.05/251.18	c  251s |      15 |   127690 |   122232 |    12703     21 |        2 |        7
253.15/253.26	c  253s |      15 |   128620 |   123132 |    12703     21 |        2 |        7
255.16/255.27	c  255s |      15 |   129471 |   123932 |    12703     21 |        2 |        7
257.36/257.44	c  257s |      15 |   130406 |   124832 |    12703     22 |        2 |        7
259.45/259.52	c  259s |      15 |   131432 |   125832 |    12703     22 |        2 |        7
261.55/261.67	c  261s |      15 |   132472 |   126832 |    12703     22 |        2 |        7
263.65/263.77	c  263s |      15 |   133410 |   127732 |    12703     22 |        2 |        7
265.85/265.95	c  265s |      15 |   134467 |   128732 |    12703     22 |        2 |        7
268.05/268.12	c  267s |      15 |   135381 |   129632 |    12703     22 |        2 |        7
270.25/270.36	c  270s |      15 |   136307 |   130532 |    12703     23 |        2 |        7
272.25/272.32	c  272s |      16 |   137344 |   131552 |    13974     23 |        2 |        7
274.44/274.52	c  274s |      16 |   138398 |   132552 |    13974     23 |        2 |        7
276.44/276.58	c  276s |      16 |   139435 |   133552 |    13974     23 |        2 |        7
278.64/278.72	c  278s |      16 |   140463 |   134552 |    13974     23 |        2 |        7
280.74/280.82	c  280s |      16 |   141373 |   135452 |    13974     23 |        2 |        7
282.84/282.92	c  282s |      16 |   142302 |   136352 |    13974     23 |        2 |        7
285.04/285.11	c  284s |      16 |   143216 |   137252 |    13974     23 |        2 |        7
287.05/287.13	c  286s |      16 |   144042 |   138052 |    13974     23 |        2 |        7
289.14/289.25	c  289s |      16 |   145066 |   139052 |    13974     24 |        2 |        7
291.24/291.33	c  291s |      16 |   145977 |   139952 |    13974     24 |        2 |        7
293.34/293.45	c  293s |      16 |   146900 |   140852 |    13974     24 |        2 |        7
295.54/295.66	c  295s |      16 |   147822 |   141752 |    13974     24 |        2 |        7
297.74/297.84	c  297s |      16 |   148748 |   142652 |    13974     24 |        2 |        7
299.84/299.90	c  299s |      16 |   149580 |   143452 |    13974     24 |        2 |        7
301.94/302.05	c  301s |      16 |   150429 |   144252 |    13974     24 |        2 |        7
304.24/304.34	c  304s |      16 |   151242 |   145052 |    13974     24 |        2 |        7
306.24/306.38	c  306s |      16 |   152187 |   145952 |    13974     25 |        2 |        7
308.44/308.53	c  308s |      16 |   153227 |   146952 |    13974     25 |        2 |        7
310.44/310.55	c  310s |      16 |   154151 |   147852 |    13974     25 |        2 |        7
312.45/312.56	c  312s |      16 |   155084 |   148752 |    13974     25 |        2 |        7
314.55/314.68	c  314s |      16 |   156013 |   149652 |    13974     25 |        2 |        7
316.64/316.79	c  316s |      16 |   156938 |   150552 |    13974     25 |        2 |        7
318.74/318.81	c  318s |      16 |   157757 |   151352 |    13974     25 |        2 |        7
320.84/320.92	c  320s |      16 |   158594 |   152152 |    13974     25 |        2 |        7
322.94/323.06	c  322s |      16 |   159623 |   153152 |    13974     26 |        2 |        7
325.34/325.41	c  325s |      16 |   160658 |   154152 |    13974     26 |        2 |        7
327.54/327.64	c  327s |      16 |   161690 |   155152 |    13974     26 |        2 |        7
329.64/329.72	c  329s |      16 |   162604 |   156052 |    13974     26 |        2 |        7
331.83/331.95	c  331s |      16 |   163551 |   156952 |    13974     26 |        2 |        7
333.93/334.00	c  333s |      16 |   164396 |   157752 |    13974     26 |        2 |        7
336.03/336.19	c  336s |      16 |   165206 |   158552 |    13974     26 |        2 |        7
338.33/338.46	c  338s |      16 |   166031 |   159352 |    13974     27 |        2 |        7
340.43/340.59	c  340s |      16 |   167058 |   160352 |    13974     27 |        2 |        7
342.62/342.78	c  342s |      16 |   168091 |   161352 |    13974     27 |        2 |        7
344.72/344.85	c  344s |      16 |   169009 |   162252 |    13974     27 |        2 |        7
346.92/347.04	c  346s |      16 |   169945 |   163152 |    13974     27 |        2 |        7
348.92/349.07	c  348s |      16 |   170784 |   163952 |    13974     27 |        2 |        7
351.03/351.18	c  351s |      16 |   171614 |   164752 |    13974     27 |        2 |        7
353.23/353.38	c  353s |      16 |   172428 |   165552 |    13974     27 |        2 |        7
355.43/355.53	c  355s |      16 |   173245 |   166352 |    13974     28 |        2 |        7
357.54/357.69	c  357s |      16 |   174181 |   167252 |    13974     28 |        2 |        7
359.74/359.81	c  359s |      16 |   175116 |   168152 |    13974     28 |        2 |        7
361.83/361.98	c  361s |      16 |   176164 |   169152 |    13974     28 |        2 |        7
363.93/364.03	c  363s |      16 |   177085 |   170052 |    13974     28 |        2 |        7
366.03/366.13	c  365s |      16 |   178009 |   170952 |    13974     28 |        2 |        7
368.13/368.27	c  368s |      16 |   178934 |   171852 |    13974     28 |        2 |        7
370.23/370.31	c  370s |      16 |   179761 |   172652 |    13974     28 |        2 |        7
372.23/372.37	c  372s |      16 |   180591 |   173452 |    13974     29 |        2 |        7
374.43/374.58	c  374s |      16 |   181736 |   174552 |    13974     29 |        2 |        7
376.62/376.75	c  376s |      16 |   182781 |   175552 |    13974     29 |        2 |        7
378.72/378.81	c  378s |      16 |   183716 |   176452 |    13974     29 |        2 |        7
380.72/380.82	c  380s |      16 |   184538 |   177252 |    13974     29 |        2 |        7
382.83/382.99	c  382s |      16 |   185465 |   178152 |    13974     29 |        2 |        7
384.93/385.04	c  384s |      16 |   186308 |   178952 |    13974     29 |        2 |        7
386.92/387.06	c  386s |      16 |   187122 |   179752 |    13974     29 |        2 |        7
389.12/389.23	c  389s |      16 |   188052 |   180652 |    13974     30 |        2 |        7
391.22/391.35	c  391s |      16 |   189093 |   181652 |    13974     30 |        2 |        7
393.22/393.35	c  393s |      16 |   190046 |   182552 |    13974     30 |        2 |        7
395.31/395.42	c  395s |      16 |   190974 |   183452 |    13974     30 |        2 |        7
397.41/397.54	c  397s |      16 |   191901 |   184352 |    13974     30 |        2 |        7
399.51/399.61	c  399s |      16 |   192717 |   185152 |    13974     30 |        2 |        7
401.61/401.70	c  401s |      16 |   193548 |   185952 |    13974     30 |        2 |        7
403.72/403.84	c  403s |      16 |   194379 |   186752 |    13974     30 |        2 |        7
405.71/405.88	c  405s |      16 |   195202 |   187552 |    13974     31 |        2 |        7
407.91/408.05	c  407s |      16 |   196255 |   188552 |    13974     31 |        2 |        7
410.11/410.23	c  410s |      16 |   197295 |   189552 |    13974     31 |        2 |        7
412.21/412.37	c  412s |      16 |   198228 |   190452 |    13974     31 |        2 |        7
414.31/414.45	c  414s |      16 |   199044 |   191252 |    13974     31 |        2 |        7
416.51/416.63	c  416s |      16 |   199880 |   192052 |    13974     31 |        2 |        7
418.51/418.68	c  418s |      16 |   200700 |   192852 |    13974     31 |        2 |        7
420.60/420.72	c  420s |      16 |   201521 |   193652 |    13974     31 |        2 |        7
422.70/422.85	c  422s |      16 |   202341 |   194452 |    13974     32 |        2 |        7
424.80/424.98	c  424s |      16 |   203387 |   195452 |    13974     32 |        2 |        7
427.00/427.14	c  427s |      16 |   204418 |   196452 |    15372     32 |        2 |        7
429.10/429.23	c  429s |      16 |   205357 |   197352 |    15372     32 |        2 |        7
429.30/429.41	c  429s |      17 |   205435 |   197432 |    15372     32 |        2 |        7
431.50/431.61	c  431s |      17 |   206404 |   198332 |    15372     32 |        2 |        7
433.49/433.63	c  433s |      17 |   207245 |   199132 |    15372     32 |        2 |        7
435.50/435.68	c  435s |      17 |   208097 |   199932 |    15372     32 |        2 |        7
437.70/437.82	c  437s |      17 |   208919 |   200732 |    15372     32 |        2 |        7
439.79/440.00	c  439s |      17 |   209761 |   201532 |    15372     32 |        2 |        7
442.09/442.22	c  442s |      17 |   210605 |   202332 |    15372     32 |        2 |        7
444.18/444.40	c  444s |      17 |   211567 |   203232 |    15372     33 |        2 |        7
446.49/446.62	c  446s |      17 |   212609 |   204232 |    15372     33 |        2 |        7
448.58/448.72	c  448s |      17 |   213556 |   205132 |    15372     33 |        2 |        7
450.68/450.86	c  450s |      17 |   214506 |   206032 |    15372     33 |        2 |        7
452.88/453.09	c  452s |      17 |   215449 |   206932 |    15372     33 |        2 |        7
454.98/455.15	c  455s |      17 |   216271 |   207732 |    15372     33 |        2 |        7
457.08/457.25	c  457s |      17 |   217103 |   208532 |    15372     33 |        2 |        7
459.28/459.45	c  459s |      17 |   217932 |   209332 |    15372     33 |        2 |        7
461.28/461.49	c  461s |      17 |   218665 |   210032 |    15372     33 |        2 |        7
463.48/463.65	c  463s |      17 |   219507 |   210832 |    15372     34 |        2 |        7
465.68/465.82	c  465s |      17 |   220346 |   211632 |    15372     34 |        2 |        7
467.68/467.89	c  467s |      17 |   221288 |   212532 |    15372     34 |        2 |        7
470.08/470.27	c  470s |      17 |   222239 |   213432 |    15372     34 |        2 |        7
472.07/472.27	c  472s |      17 |   223064 |   214232 |    15372     34 |        2 |        7
474.17/474.39	c  474s |      17 |   223896 |   215032 |    15372     34 |        2 |        7
476.47/476.60	c  476s |      17 |   224723 |   215832 |    15372     34 |        2 |        7
478.67/478.81	c  478s |      17 |   225553 |   216632 |    15372     34 |        2 |        7
480.87/481.00	c  480s |      17 |   226391 |   217432 |    15372     34 |        2 |        7
482.87/483.01	c  482s |      17 |   227141 |   218132 |    15372     35 |        2 |        7
484.87/485.10	c  484s |      17 |   228212 |   219132 |    15372     35 |        2 |        7
487.17/487.33	c  487s |      17 |   229265 |   220132 |    15372     35 |        2 |        7
489.27/489.43	c  489s |      17 |   230204 |   221032 |    15372     35 |        2 |        7
491.47/491.60	c  491s |      17 |   231151 |   221932 |    15372     35 |        2 |        7
493.66/493.82	c  493s |      17 |   232118 |   222832 |    15372     35 |        2 |        7
495.76/495.95	c  495s |      17 |   232940 |   223632 |    15372     35 |        2 |        7
497.76/497.99	c  497s |      17 |   233670 |   224332 |    15372     35 |        2 |        7
499.86/500.01	c  499s |      17 |   234407 |   225032 |    15372     35 |        2 |        7
501.96/502.15	c  502s |      17 |   235125 |   225732 |    15372     35 |        2 |        7
504.06/504.26	c  504s |      17 |   236076 |   226632 |    15372     36 |        2 |        7
506.16/506.32	c  506s |      17 |   237021 |   227532 |    15372     36 |        2 |        7
508.36/508.57	c  508s |      17 |   237939 |   228432 |    15372     36 |        2 |        7
510.66/510.81	c  510s |      17 |   238873 |   229332 |    15372     36 |        2 |        7
512.85/513.05	c  512s |      17 |   239795 |   230232 |    15372     36 |        2 |        7
514.85/515.06	c  514s |      17 |   240626 |   231032 |    15372     36 |        2 |        7
517.15/517.32	c  517s |      17 |   241344 |   231732 |    15372     36 |        2 |        7
519.25/519.45	c  519s |      17 |   242193 |   232532 |    15372     36 |        2 |        7
521.26/521.49	c  521s |      17 |   242936 |   233232 |    15372     36 |        2 |        7
523.35/523.58	c  523s |      17 |   243770 |   234032 |    15372     37 |        2 |        7
525.55/525.80	c  525s |      17 |   244787 |   235032 |    15372     37 |        2 |        7
527.75/527.91	c  527s |      17 |   245722 |   235932 |    15372     37 |        2 |        7
529.85/530.09	c  529s |      17 |   246545 |   236732 |    15372     37 |        2 |        7
532.05/532.29	c  532s |      17 |   247484 |   237632 |    15372     37 |        2 |        7
534.14/534.35	c  534s |      17 |   248309 |   238432 |    15372     37 |        2 |        7
536.34/536.54	c  536s |      17 |   249121 |   239232 |    15372     37 |        2 |        7
538.54/538.75	c  538s |      17 |   249942 |   240032 |    15372     37 |        2 |        7
540.84/541.00	c  540s |      17 |   250776 |   240832 |    15372     37 |        2 |        7
542.94/543.16	c  543s |      17 |   251606 |   241632 |    15372     38 |        2 |        7
545.14/545.38	c  545s |      17 |   252666 |   242632 |    15372     38 |        2 |        7
547.24/547.49	c  547s |      17 |   253624 |   243532 |    15372     38 |        2 |        7
549.44/549.67	c  549s |      17 |   254567 |   244432 |    15372     38 |        2 |        7
551.54/551.75	c  551s |      17 |   255420 |   245232 |    15372     38 |        2 |        7
553.73/553.93	c  553s |      17 |   256255 |   246032 |    15372     38 |        2 |        7
555.73/555.98	c  555s |      17 |   257079 |   246832 |    15372     38 |        2 |        7
557.93/558.14	c  558s |      17 |   257919 |   247632 |    15372     38 |        2 |        7
560.13/560.37	c  560s |      17 |   258758 |   248432 |    15372     38 |        2 |        7
562.33/562.53	c  562s |      17 |   259585 |   249232 |    15372     39 |        2 |        7
564.53/564.72	c  564s |      17 |   260624 |   250232 |    15372     39 |        2 |        7
566.63/566.82	c  566s |      17 |   261589 |   251132 |    15372     39 |        2 |        7
568.73/568.93	c  568s |      17 |   262429 |   251932 |    15372     39 |        2 |        7
570.84/571.07	c  570s |      17 |   263413 |   252832 |    15372     39 |        2 |        7
572.93/573.20	c  573s |      17 |   264234 |   253632 |    15372     39 |        2 |        7
575.13/575.36	c  575s |      17 |   265084 |   254432 |    15372     39 |        2 |        7
577.43/577.64	c  577s |      17 |   265910 |   255232 |    15372     39 |        2 |        7
579.43/579.66	c  579s |      17 |   266629 |   255932 |    15372     39 |        2 |        7
581.63/581.86	c  581s |      17 |   267467 |   256732 |    15372     40 |        2 |        7
583.83/584.05	c  583s |      17 |   268519 |   257732 |    15372     40 |        2 |        7
585.92/586.19	c  586s |      17 |   269455 |   258632 |    15372     40 |        2 |        7
588.12/588.38	c  588s |      17 |   270385 |   259532 |    15372     40 |        2 |        7
590.12/590.39	c  590s |      17 |   271217 |   260332 |    15372     40 |        2 |        7
592.43/592.62	c  592s |      17 |   272172 |   261232 |    15372     40 |        2 |        7
594.63/594.84	c  594s |      17 |   272993 |   262032 |    15372     40 |        2 |        7
596.93/597.11	c  596s |      17 |   273824 |   262832 |    15372     40 |        2 |        7
598.93/599.12	c  598s |      17 |   274547 |   263532 |    15372     40 |        2 |        7
601.03/601.20	c  601s |      17 |   275268 |   264232 |    15372     40 |        2 |        7
603.33/603.52	c  603s |      17 |   276240 |   265132 |    15372     41 |        2 |        7
605.33/605.53	c  605s |      17 |   277163 |   266032 |    15372     41 |        2 |        7
607.43/607.64	c  607s |      17 |   278109 |   266932 |    15372     41 |        2 |        7
609.53/609.70	c  609s |      17 |   278938 |   267732 |    15372     41 |        2 |        7
611.62/611.82	c  611s |      17 |   279772 |   268532 |    15372     41 |        2 |        7
613.73/613.99	c  613s |      17 |   280604 |   269332 |    15372     41 |        2 |        7
616.12/616.36	c  616s |      17 |   281434 |   270132 |    15372     41 |        2 |        7
618.32/618.54	c  618s |      17 |   282257 |   270932 |    15372     41 |        2 |        7
620.62/620.81	c  620s |      17 |   283089 |   271732 |    15372     41 |        2 |        7
622.61/622.84	c  622s |      17 |   283919 |   272532 |    15372     42 |        2 |        7
624.72/624.91	c  624s |      17 |   284848 |   273432 |    15372     42 |        2 |        7
626.92/627.11	c  626s |      17 |   285770 |   274332 |    15372     42 |        2 |        7
629.02/629.21	c  629s |      17 |   286624 |   275132 |    15372     42 |        2 |        7
631.01/631.23	c  631s |      17 |   287433 |   275932 |    15372     42 |        2 |        7
633.11/633.33	c  633s |      17 |   288255 |   276732 |    15372     42 |        2 |        7
635.11/635.36	c  635s |      17 |   288979 |   277432 |    15372     42 |        2 |        7
637.31/637.59	c  637s |      17 |   289809 |   278232 |    15372     42 |        2 |        7
639.40/639.62	c  639s |      17 |   290541 |   278932 |    15372     42 |        2 |        7
641.70/641.90	c  641s |      17 |   291279 |   279632 |    15372     42 |        2 |        7
643.80/644.04	c  643s |      17 |   292216 |   280532 |    15372     43 |        2 |        7
645.80/646.05	c  645s |      17 |   293157 |   281432 |    15372     43 |        2 |        7
647.90/648.19	c  648s |      17 |   294103 |   282332 |    15372     43 |        2 |        7
649.91/650.19	c  650s |      17 |   294929 |   283132 |    15372     43 |        2 |        7
652.10/652.34	c  652s |      17 |   295732 |   283932 |    15372     43 |        2 |        7
654.30/654.56	c  654s |      17 |   296590 |   284732 |    15372     43 |        2 |        7
656.60/656.85	c  656s |      17 |   297417 |   285532 |    15372     43 |        2 |        7
658.59/658.86	c  658s |      17 |   298152 |   286232 |    15372     43 |        2 |        7
660.69/660.90	c  660s |      17 |   298886 |   286932 |    15372     43 |        2 |        7
662.69/662.96	c  662s |      17 |   299618 |   287632 |    15372     44 |        2 |        7
664.79/665.08	c  664s |      17 |   300539 |   288532 |    15372     44 |        2 |        7
666.89/667.11	c  666s |      17 |   301404 |   289332 |    15372     44 |        2 |        7
669.09/669.33	c  669s |      17 |   302436 |   290332 |    15372     44 |        2 |        7
671.19/671.44	c  671s |      17 |   303380 |   291232 |    15372     44 |        2 |        7
673.19/673.49	c  673s |      17 |   304207 |   292032 |    15372     44 |        2 |        7
675.29/675.59	c  675s |      17 |   305038 |   292832 |    15372     44 |        2 |        7
677.59/677.85	c  677s |      17 |   305894 |   293632 |    15372     44 |        2 |        7
679.69/679.92	c  679s |      17 |   306612 |   294332 |    16910     44 |        2 |        7
681.68/682.00	c  681s |      17 |   307342 |   295032 |    16910     44 |        2 |        7
683.88/684.18	c  684s |      17 |   308066 |   295732 |    16910     44 |        2 |        7
685.58/685.84	c  685s |      18 |   308617 |   296252 |    16910     44 |        2 |        7
687.68/687.99	c  687s |      18 |   309255 |   296852 |    16910     45 |        2 |        7
689.88/690.12	c  689s |      18 |   310169 |   297752 |    16910     45 |        2 |        7
691.88/692.17	c  692s |      18 |   311004 |   298552 |    16910     45 |        2 |        7
693.98/694.28	c  694s |      18 |   311721 |   299252 |    16910     45 |        2 |        7
695.98/696.28	c  696s |      18 |   312436 |   299952 |    16910     45 |        2 |        7
698.07/698.33	c  698s |      18 |   313154 |   300652 |    16910     45 |        2 |        7
700.27/700.57	c  700s |      18 |   313872 |   301352 |    16910     45 |        2 |        7
702.57/702.80	c  702s |      18 |   314589 |   302052 |    16910     45 |        2 |        7
704.67/704.97	c  704s |      18 |   315329 |   302752 |    16910     45 |        2 |        7
706.77/707.00	c  706s |      18 |   315960 |   303352 |    16910     45 |        2 |        7
708.97/709.27	c  709s |      18 |   316685 |   304052 |    16910     45 |        2 |        7
711.07/711.33	c  711s |      18 |   317307 |   304652 |    16910     45 |        2 |        7
713.26/713.55	c  713s |      18 |   317931 |   305252 |    16910     46 |        2 |        7
715.26/715.57	c  715s |      18 |   318763 |   306052 |    16910     46 |        2 |        7
717.26/717.60	c  717s |      18 |   319593 |   306852 |    16910     46 |        2 |        7
719.46/719.74	c  719s |      18 |   320430 |   307652 |    16910     46 |        2 |        7
721.66/721.96	c  721s |      18 |   321251 |   308452 |    16910     46 |        2 |        7
723.76/724.01	c  723s |      18 |   321973 |   309152 |    16910     46 |        2 |        7
725.86/726.18	c  726s |      18 |   322699 |   309852 |    16910     46 |        2 |        7
728.16/728.43	c  728s |      18 |   323512 |   310652 |    16910     46 |        2 |        7
730.46/730.72	c  730s |      18 |   324327 |   311452 |    16910     46 |        2 |        7
732.56/732.80	c  732s |      18 |   325054 |   312152 |    16910     46 |        2 |        7
734.76/735.05	c  734s |      18 |   325768 |   312852 |    16910     46 |        2 |        7
737.06/737.33	c  737s |      18 |   326495 |   313552 |    16910     46 |        2 |        7
739.25/739.56	c  739s |      18 |   327317 |   314352 |    16910     47 |        2 |        7
741.45/741.75	c  741s |      18 |   328171 |   315152 |    16910     47 |        2 |        7
743.55/743.81	c  743s |      18 |   329017 |   315952 |    16910     47 |        2 |        7
745.75/746.00	c  745s |      18 |   329838 |   316752 |    16910     47 |        2 |        7
747.95/748.21	c  748s |      18 |   330661 |   317552 |    16910     47 |        2 |        7
749.95/750.22	c  750s |      18 |   331381 |   318252 |    16910     47 |        2 |        7
752.04/752.32	c  752s |      18 |   332106 |   318952 |    16910     47 |        2 |        7
754.24/754.50	c  754s |      18 |   332816 |   319652 |    16910     47 |        2 |        7
756.34/756.66	c  756s |      18 |   333564 |   320352 |    16910     47 |        2 |        7
758.64/758.96	c  758s |      18 |   334331 |   321052 |    16910     47 |        2 |        7
760.95/761.25	c  761s |      18 |   334955 |   321652 |    16910     47 |        2 |        7
763.14/763.48	c  763s |      18 |   335563 |   322252 |    16910     48 |        2 |        7
765.34/765.62	c  765s |      18 |   336406 |   323052 |    16910     48 |        2 |        7
767.33/767.68	c  767s |      18 |   337224 |   323852 |    16910     48 |        2 |        7
769.43/769.73	c  769s |      18 |   338047 |   324652 |    16910     48 |        2 |        7
771.53/771.87	c  771s |      18 |   338883 |   325452 |    16910     48 |        2 |        7
773.72/774.04	c  773s |      18 |   339695 |   326252 |    16910     48 |        2 |        7
775.92/776.26	c  776s |      18 |   340524 |   327052 |    16910     48 |        2 |        7
778.02/778.32	c  778s |      18 |   341259 |   327752 |    16910     48 |        2 |        7
780.12/780.41	c  780s |      18 |   341990 |   328452 |    16910     48 |        2 |        7
782.22/782.58	c  782s |      18 |   342702 |   329152 |    16910     48 |        2 |        7
784.52/784.83	c  784s |      18 |   343430 |   329852 |    16910     48 |        2 |        7
786.52/786.86	c  786s |      18 |   344039 |   330452 |    16910     48 |        2 |        7
788.62/788.90	c  788s |      18 |   344751 |   331152 |    16910     49 |        2 |        7
790.62/790.93	c  790s |      18 |   345587 |   331952 |    16910     49 |        2 |        7
792.61/792.99	c  792s |      18 |   346411 |   332752 |    16910     49 |        2 |        7
794.71/795.07	c  794s |      18 |   347055 |   333352 |    16910     49 |        2 |        7
796.91/797.25	c  797s |      18 |   347865 |   334152 |    16910     49 |        2 |        7
799.21/799.50	c  799s |      18 |   348689 |   334952 |    16910     49 |        2 |        7
801.31/801.64	c  801s |      18 |   349414 |   335652 |    16910     49 |        2 |        7
803.50/803.80	c  803s |      18 |   350133 |   336352 |    16910     49 |        2 |        7
805.70/806.04	c  805s |      18 |   350857 |   337052 |    16910     49 |        2 |        7
808.10/808.41	c  808s |      18 |   351462 |   337652 |    16910     49 |        2 |        7
810.41/810.78	c  810s |      18 |   351969 |   338152 |    16910     49 |        2 |        7
812.90/813.24	c  813s |      18 |   352476 |   338652 |    16910     49 |        2 |        7
814.91/815.26	c  815s |      18 |   352881 |   339052 |    16910     49 |        2 |        7
817.20/817.51	c  817s |      18 |   353691 |   339852 |    16910     50 |        2 |        7
819.40/819.70	c  819s |      18 |   354523 |   340652 |    16910     50 |        2 |        7
821.40/821.80	c  821s |      18 |   355336 |   341452 |    16910     50 |        2 |        7
823.70/824.06	c  823s |      18 |   356164 |   342252 |    16910     50 |        2 |        7
825.69/826.10	c  825s |      18 |   356879 |   342952 |    16910     50 |        2 |        7
827.79/828.18	c  828s |      18 |   357601 |   343652 |    16910     50 |        2 |        7
830.09/830.43	c  830s |      18 |   358326 |   344352 |    16910     50 |        2 |        7
832.39/832.74	c  832s |      18 |   359037 |   345052 |    16910     50 |        2 |        7
834.69/835.04	c  834s |      18 |   359763 |   345752 |    16910     50 |        2 |        7
836.79/837.11	c  836s |      18 |   360371 |   346352 |    16910     50 |        2 |        7
838.88/839.23	c  839s |      18 |   360980 |   346952 |    16910     50 |        2 |        7
841.08/841.40	c  841s |      18 |   361591 |   347552 |    16910     50 |        2 |        7
843.28/843.61	c  843s |      18 |   362320 |   348252 |    16910     51 |        2 |        7
845.48/845.87	c  845s |      18 |   363183 |   349052 |    16910     51 |        2 |        7
847.68/848.04	c  847s |      18 |   364128 |   349952 |    16910     51 |        2 |        7
849.78/850.10	c  849s |      18 |   364976 |   350752 |    16910     51 |        2 |        7
851.78/852.16	c  852s |      18 |   365791 |   351552 |    16910     51 |        2 |        7
853.98/854.30	c  854s |      18 |   366622 |   352352 |    16910     51 |        2 |        7
855.98/856.33	c  856s |      18 |   367336 |   353052 |    16910     51 |        2 |        7
858.18/858.51	c  858s |      18 |   368080 |   353752 |    16910     51 |        2 |        7
860.48/860.80	c  860s |      18 |   368804 |   354452 |    16910     51 |        2 |        7
862.47/862.83	c  862s |      18 |   369419 |   355052 |    16910     51 |        2 |        7
864.57/864.90	c  864s |      18 |   370040 |   355652 |    16910     51 |        2 |        7
866.58/866.95	c  866s |      18 |   370675 |   356252 |    16910     52 |        2 |        7
868.68/869.04	c  868s |      18 |   371491 |   357052 |    16910     52 |        2 |        7
870.77/871.15	c  871s |      18 |   372319 |   357852 |    16910     52 |        2 |        7
872.96/873.38	c  873s |      18 |   373144 |   358652 |    16910     52 |        2 |        7
875.06/875.42	c  875s |      18 |   373865 |   359352 |    16910     52 |        2 |        7
877.16/877.51	c  877s |      18 |   374582 |   360052 |    16910     52 |        2 |        7
879.36/879.71	c  879s |      18 |   375313 |   360752 |    16910     52 |        2 |        7
881.36/881.74	c  881s |      18 |   375927 |   361352 |    16910     52 |        2 |        7
883.35/883.77	c  883s |      18 |   376538 |   361952 |    16910     52 |        2 |        7
885.65/886.01	c  885s |      18 |   377266 |   362652 |    16910     52 |        2 |        7
887.65/888.03	c  887s |      18 |   377897 |   363252 |    16910     52 |        2 |        7
889.75/890.17	c  890s |      18 |   378521 |   363852 |    16910     52 |        2 |        7
892.05/892.44	c  892s |      18 |   379164 |   364452 |    16910     52 |        2 |        7
894.05/894.47	c  894s |      18 |   379889 |   365152 |    16910     53 |        2 |        7
896.05/896.49	c  896s |      18 |   380716 |   365952 |    16910     53 |        2 |        7
898.15/898.56	c  898s |      18 |   381539 |   366752 |    16910     53 |        2 |        7
900.35/900.77	c  900s |      18 |   382352 |   367552 |    16910     53 |        2 |        7
902.54/902.92	c  902s |      18 |   383083 |   368252 |    16910     53 |        2 |        7
904.64/905.10	c  904s |      18 |   383809 |   368952 |    16910     53 |        2 |        7
906.84/907.25	c  907s |      18 |   384527 |   369652 |    16910     53 |        2 |        7
908.94/909.30	c  909s |      18 |   385241 |   370352 |    16910     53 |        2 |        7
911.04/911.42	c  911s |      18 |   385984 |   371052 |    16910     53 |        2 |        7
913.14/913.55	c  913s |      18 |   386704 |   371752 |    16910     53 |        2 |        7
915.43/915.83	c  915s |      18 |   387449 |   372452 |    16910     53 |        2 |        7
917.43/917.87	c  917s |      18 |   387971 |   372952 |    16910     53 |        2 |        7
919.53/919.97	c  919s |      18 |   388686 |   373652 |    16910     54 |        2 |        7
921.73/922.10	c  921s |      18 |   389515 |   374452 |    16910     54 |        2 |        7
923.83/924.29	c  924s |      18 |   390339 |   375252 |    16910     54 |        2 |        7
926.03/926.48	c  926s |      18 |   391169 |   376052 |    16910     54 |        2 |        7
928.04/928.49	c  928s |      18 |   391902 |   376752 |    16910     54 |        2 |        7
930.24/930.61	c  930s |      18 |   392624 |   377452 |    16910     54 |        2 |        7
932.44/932.81	c  932s |      18 |   393340 |   378152 |    16910     54 |        2 |        7
934.53/934.98	c  934s |      18 |   394079 |   378852 |    16910     54 |        2 |        7
936.83/937.29	c  937s |      18 |   394786 |   379552 |    16910     54 |        2 |        7
938.93/939.32	c  939s |      18 |   395390 |   380152 |    16910     54 |        2 |        7
940.93/941.37	c  941s |      18 |   395998 |   380752 |    16910     54 |        2 |        7
943.02/943.40	c  943s |      18 |   396623 |   381352 |    16910     54 |        2 |        7
945.12/945.56	c  945s |      18 |   397352 |   382052 |    16910     55 |        2 |        7
947.22/947.68	c  947s |      18 |   398166 |   382852 |    16910     55 |        2 |        7
949.32/949.74	c  949s |      18 |   398880 |   383552 |    16910     55 |        2 |        7
951.32/951.79	c  951s |      18 |   399591 |   384252 |    16910     55 |        2 |        7
953.43/953.84	c  953s |      18 |   400229 |   384852 |    16910     55 |        2 |        7
955.42/955.84	c  955s |      18 |   400947 |   385552 |    16910     55 |        2 |        7
957.43/957.89	c  957s |      18 |   401668 |   386252 |    16910     55 |        2 |        7
959.53/959.97	c  959s |      18 |   402387 |   386952 |    16910     55 |        2 |        7
961.73/962.19	c  962s |      18 |   403110 |   387652 |    16910     55 |        2 |        7
964.03/964.43	c  964s |      18 |   403829 |   388352 |    16910     55 |        2 |        7
966.12/966.53	c  966s |      18 |   404444 |   388952 |    16910     55 |        2 |        7
968.32/968.71	c  968s |      18 |   405063 |   389552 |    16910     55 |        2 |        7
970.52/970.94	c  970s |      18 |   405678 |   390152 |    16910     56 |        2 |        7
972.52/972.97	c  972s |      18 |   406414 |   390852 |    16910     56 |        2 |        7
974.82/975.21	c  975s |      18 |   407243 |   391652 |    16910     56 |        2 |        7
976.82/977.24	c  977s |      18 |   407966 |   392352 |    16910     56 |        2 |        7
979.02/979.46	c  979s |      18 |   408576 |   392952 |    16910     56 |        2 |        7
981.12/981.55	c  981s |      18 |   409294 |   393652 |    16910     56 |        2 |        7
983.41/983.82	c  983s |      18 |   409999 |   394352 |    16910     56 |        2 |        7
985.61/986.08	c  985s |      18 |   410715 |   395052 |    16910     56 |        2 |        7
987.71/988.18	c  988s |      18 |   411333 |   395652 |    16910     56 |        2 |        7
989.91/990.35	c  990s |      18 |   411844 |   396152 |    16910     56 |        2 |        7
992.01/992.45	c  992s |      18 |   412344 |   396652 |    16910     56 |        2 |        7
994.02/994.48	c  994s |      18 |   412854 |   397152 |    16910     56 |        2 |        7
996.01/996.49	c  996s |      18 |   413474 |   397752 |    16910     56 |        2 |        7
998.21/998.64	c  998s |      18 |   414084 |   398352 |    16910     56 |        2 |        7
1000.41/1000.82	c 1000s |      18 |   414805 |   399052 |    16910     57 |        2 |        7
1002.61/1003.02	c 1002s |      18 |   415621 |   399852 |    16910     57 |        2 |        7
1004.71/1005.18	c 1005s |      18 |   416450 |   400652 |    16910     57 |        2 |        7
1006.91/1007.37	c 1007s |      18 |   417295 |   401452 |    16910     57 |        2 |        7
1009.01/1009.46	c 1009s |      18 |   418012 |   402152 |    16910     57 |        2 |        7
1011.21/1011.65	c 1011s |      18 |   418737 |   402852 |    16910     57 |        2 |        7
1013.41/1013.82	c 1013s |      18 |   419459 |   403552 |    16910     57 |        2 |        7
1015.61/1016.08	c 1015s |      18 |   420169 |   404252 |    16910     57 |        2 |        7
1017.71/1018.16	c 1018s |      18 |   420803 |   404852 |    16910     57 |        2 |        7
1019.81/1020.29	c 1020s |      18 |   421419 |   405452 |    16910     57 |        2 |        7
1022.00/1022.42	c 1022s |      18 |   422025 |   406052 |    16910     57 |        2 |        7
1024.00/1024.46	c 1024s |      18 |   422645 |   406652 |    16910     57 |        2 |        7
1026.20/1026.64	c 1026s |      18 |   423258 |   407252 |    16910     58 |        2 |        7
1028.30/1028.77	c 1028s |      18 |   424082 |   408052 |    16910     58 |        2 |        7
1030.60/1031.03	c 1030s |      18 |   424906 |   408852 |    16910     58 |        2 |        7
1032.70/1033.15	c 1033s |      18 |   425624 |   409552 |    16910     58 |        2 |        7
1034.81/1035.28	c 1035s |      18 |   426334 |   410252 |    16910     58 |        2 |        7
1036.91/1037.31	c 1037s |      18 |   427048 |   410952 |    16910     58 |        2 |        7
1038.90/1039.39	c 1039s |      18 |   427763 |   411652 |    16910     58 |        2 |        7
1041.20/1041.65	c 1041s |      18 |   428487 |   412352 |    16910     58 |        2 |        7
1043.40/1043.89	c 1043s |      18 |   429216 |   413052 |    16910     58 |        2 |        7
1045.71/1046.18	c 1046s |      18 |   429927 |   413752 |    16910     58 |        2 |        7
1047.91/1048.36	c 1048s |      18 |   430542 |   414352 |    16910     58 |        2 |        7
1050.00/1050.44	c 1050s |      18 |   431163 |   414952 |    16910     58 |        2 |        7
1052.10/1052.51	c 1052s |      18 |   431794 |   415552 |    16910     58 |        2 |        7
1054.10/1054.54	c 1054s |      18 |   432500 |   416252 |    16910     59 |        2 |        7
1056.30/1056.76	c 1056s |      18 |   433356 |   417052 |    16910     59 |        2 |        7
1058.30/1058.76	c 1058s |      18 |   434179 |   417852 |    16910     59 |        2 |        7
1060.50/1060.96	c 1060s |      18 |   434997 |   418652 |    16910     59 |        2 |        7
1062.80/1063.21	c 1063s |      18 |   435824 |   419452 |    16910     59 |        2 |        7
1064.80/1065.25	c 1065s |      18 |   436547 |   420152 |    16910     59 |        2 |        7
1066.90/1067.34	c 1067s |      18 |   437280 |   420852 |    16910     59 |        2 |        7
1069.00/1069.41	c 1069s |      18 |   437896 |   421452 |    16910     59 |        2 |        7
1071.20/1071.61	c 1071s |      18 |   438502 |   422052 |    16910     59 |        2 |        7
1073.49/1073.91	c 1073s |      18 |   439217 |   422752 |    16910     59 |        2 |        7
1075.50/1075.97	c 1075s |      18 |   439839 |   423352 |    16910     59 |        2 |        7
1077.70/1078.11	c 1077s |      18 |   440455 |   423952 |    16910     59 |        2 |        7
1079.69/1080.11	c 1079s |      18 |   441164 |   424652 |    16910     60 |        2 |        7
1081.79/1082.29	c 1082s |      18 |   441983 |   425452 |    16910     60 |        2 |        7
1084.20/1084.62	c 1084s |      18 |   442801 |   426252 |    16910     60 |        2 |        7
1086.19/1086.65	c 1086s |      18 |   443519 |   426952 |    16910     60 |        2 |        7
1088.19/1088.68	c 1088s |      18 |   444246 |   427652 |    16910     60 |        2 |        7
1090.39/1090.85	c 1090s |      18 |   444977 |   428352 |    16910     60 |        2 |        7
1092.59/1093.07	c 1092s |      18 |   445710 |   429052 |    16910     60 |        2 |        7
1094.89/1095.32	c 1095s |      18 |   446342 |   429652 |    16910     60 |        2 |        7
1097.19/1097.63	c 1097s |      18 |   447068 |   430352 |    16910     60 |        2 |        7
1099.29/1099.70	c 1099s |      18 |   447708 |   430952 |    16910     60 |        2 |        7
1101.39/1101.85	c 1101s |      18 |   448350 |   431552 |    16910     60 |        2 |        7
1103.59/1104.05	c 1103s |      18 |   448975 |   432152 |    16910     60 |        2 |        7
1106.09/1106.54	c 1106s |      18 |   449481 |   432652 |    16910     61 |        2 |        7
1108.29/1108.77	c 1108s |      18 |   450312 |   433452 |    16910     61 |        2 |        7
1110.49/1110.99	c 1110s |      18 |   451128 |   434252 |    16910     61 |        2 |        7
1112.69/1113.13	c 1112s |      18 |   451957 |   435052 |    16910     61 |        2 |        7
1114.89/1115.31	c 1115s |      18 |   452787 |   435852 |    16910     61 |        2 |        7
1117.09/1117.52	c 1117s |      18 |   453626 |   436652 |    16910     61 |        2 |        7
1119.09/1119.58	c 1119s |      18 |   454356 |   437352 |    16910     61 |        2 |        7
1121.29/1121.78	c 1121s |      18 |   455083 |   438052 |    16910     61 |        2 |        7
1123.39/1123.82	c 1123s |      18 |   455692 |   438652 |    16910     61 |        2 |        7
1125.38/1125.85	c 1125s |      18 |   456308 |   439252 |    16910     61 |        2 |        7
1127.48/1127.93	c 1127s |      18 |   456914 |   439852 |    16910     61 |        2 |        7
1129.58/1130.07	c 1129s |      18 |   457550 |   440452 |    16910     61 |        2 |        7
1131.68/1132.18	c 1132s |      18 |   458171 |   441052 |    16910     61 |        2 |        7
1133.79/1134.21	c 1134s |      18 |   458898 |   441752 |    18601     62 |        2 |        7
1135.99/1136.41	c 1136s |      18 |   459706 |   442552 |    18601     62 |        2 |        7
1138.19/1138.65	c 1138s |      18 |   460512 |   443352 |    18601     62 |        2 |        7
1140.29/1140.78	c 1140s |      18 |   461225 |   444052 |    18601     62 |        2 |        7
1141.58/1142.06	c 1141s |      19 |   461665 |   444482 |    18601     62 |        2 |        7
1143.78/1144.22	c 1144s |      19 |   462408 |   445182 |    18601     62 |        2 |        7
1146.18/1146.66	c 1146s |      19 |   462927 |   445682 |    18601     62 |        2 |        7
1148.28/1148.72	c 1148s |      19 |   463647 |   446382 |    18601     62 |        2 |        7
1150.58/1151.02	c 1150s |      19 |   464369 |   447082 |    18601     62 |        2 |        7
1152.88/1153.32	c 1153s |      19 |   465094 |   447782 |    18601     62 |        2 |        7
1154.88/1155.36	c 1155s |      19 |   465705 |   448382 |    18601     62 |        2 |        7
1156.98/1157.43	c 1157s |      19 |   466324 |   448982 |    18601     62 |        2 |        7
1159.28/1159.72	c 1159s |      19 |   466945 |   449582 |    18601     62 |        2 |        7
1161.48/1161.92	c 1161s |      19 |   467562 |   450182 |    18601     62 |        2 |        7
1163.68/1164.19	c 1164s |      19 |   468193 |   450782 |    18601     62 |        2 |        7
1165.98/1166.43	c 1166s |      19 |   468809 |   451382 |    18601     63 |        2 |        7
1168.28/1168.71	c 1168s |      19 |   469635 |   452182 |    18601     63 |        2 |        7
1170.28/1170.73	c 1170s |      19 |   470354 |   452882 |    18601     63 |        2 |        7
1172.59/1173.06	c 1172s |      19 |   471185 |   453682 |    18601     63 |        2 |        7
1174.69/1175.17	c 1175s |      19 |   471892 |   454382 |    18601     63 |        2 |        7
1176.89/1177.38	c 1177s |      19 |   472613 |   455082 |    18601     63 |        2 |        7
1179.19/1179.60	c 1179s |      19 |   473328 |   455782 |    18601     63 |        2 |        7
1181.38/1181.87	c 1181s |      19 |   474045 |   456482 |    18601     63 |        2 |        7
1183.48/1183.90	c 1183s |      19 |   474652 |   457082 |    18601     63 |        2 |        7
1185.49/1185.95	c 1185s |      19 |   475276 |   457682 |    18601     63 |        2 |        7
1187.59/1188.07	c 1187s |      19 |   475900 |   458282 |    18601     63 |        2 |        7
1189.79/1190.28	c 1190s |      19 |   476523 |   458882 |    18601     63 |        2 |        7
1192.09/1192.51	c 1192s |      19 |   477135 |   459482 |    18601     63 |        2 |        7
1194.38/1194.82	c 1194s |      19 |   477746 |   460082 |    18601     63 |        2 |        7
1196.68/1197.12	c 1196s |      19 |   478374 |   460682 |    18601     64 |        2 |        7
1198.69/1199.17	c 1199s |      19 |   479087 |   461382 |    18601     64 |        2 |        7
1200.68/1201.18	c 1201s |      19 |   479831 |   462082 |    18601     64 |        2 |        7
1202.68/1203.19	c 1203s |      19 |   480550 |   462782 |    18601     64 |        2 |        7
1204.78/1205.23	c 1205s |      19 |   481285 |   463482 |    18601     64 |        2 |        7
1206.98/1207.49	c 1207s |      19 |   482100 |   464282 |    18601     64 |        2 |        7
1209.18/1209.67	c 1209s |      19 |   482816 |   464982 |    18601     64 |        2 |        7
1211.48/1211.90	c 1211s |      19 |   483531 |   465682 |    18601     64 |        2 |        7
1213.78/1214.22	c 1214s |      19 |   484039 |   466182 |    18601     64 |        2 |        7
1215.98/1216.45	c 1216s |      19 |   484639 |   466782 |    18601     64 |        2 |        7
1217.98/1218.47	c 1218s |      19 |   485261 |   467382 |    18601     64 |        2 |        7
1220.18/1220.62	c 1220s |      19 |   485884 |   467982 |    18601     64 |        2 |        7
1222.18/1222.62	c 1222s |      19 |   486385 |   468482 |    18601     64 |        2 |        7
1224.38/1224.82	c 1224s |      19 |   487011 |   469082 |    18601     64 |        2 |        7
1226.58/1227.05	c 1226s |      19 |   487625 |   469682 |    18601     64 |        2 |        7
1228.68/1229.17	c 1229s |      19 |   488244 |   470282 |    18601     65 |        2 |        7
1230.88/1231.36	c 1231s |      19 |   489067 |   471082 |    18601     65 |        2 |        7
1233.08/1233.51	c 1233s |      19 |   489890 |   471882 |    18601     65 |        2 |        7
1235.18/1235.62	c 1235s |      19 |   490612 |   472582 |    18601     65 |        2 |        7
1237.18/1237.63	c 1237s |      19 |   491330 |   473282 |    18601     65 |        2 |        7
1239.28/1239.72	c 1239s |      19 |   492048 |   473982 |    18601     65 |        2 |        7
1241.37/1241.84	c 1241s |      19 |   492768 |   474682 |    18601     65 |        2 |        7
1243.57/1244.01	c 1243s |      19 |   493491 |   475382 |    18601     65 |        2 |        7
1245.77/1246.29	c 1246s |      19 |   494198 |   476082 |    18601     65 |        2 |        7
1247.87/1248.37	c 1248s |      19 |   494808 |   476682 |    18601     65 |        2 |        7
1250.07/1250.55	c 1250s |      19 |   495418 |   477282 |    18601     65 |        2 |        7
1252.37/1252.84	c 1252s |      19 |   496035 |   477882 |    18601     65 |        2 |        7
1254.57/1255.05	c 1254s |      19 |   496548 |   478382 |    18601     65 |        2 |        7
1256.88/1257.36	c 1257s |      19 |   497058 |   478882 |    18601     65 |        2 |        7
1258.97/1259.40	c 1259s |      19 |   497693 |   479482 |    18601     66 |        2 |        7
1261.07/1261.52	c 1261s |      19 |   498426 |   480182 |    18601     66 |        2 |        7
1263.17/1263.68	c 1263s |      19 |   499251 |   480982 |    18601     66 |        2 |        7
1265.37/1265.89	c 1265s |      19 |   500071 |   481782 |    18601     66 |        2 |        7
1267.47/1267.94	c 1267s |      19 |   500810 |   482482 |    18601     66 |        2 |        7
1269.57/1270.07	c 1269s |      19 |   501540 |   483182 |    18601     66 |        2 |        7
1271.77/1272.23	c 1272s |      19 |   502269 |   483882 |    18601     66 |        2 |        7
1274.07/1274.50	c 1274s |      19 |   502984 |   484582 |    18601     66 |        2 |        7
1276.27/1276.77	c 1276s |      19 |   503732 |   485282 |    18601     66 |        2 |        7
1278.37/1278.81	c 1278s |      19 |   504364 |   485882 |    18601     66 |        2 |        7
1280.47/1280.92	c 1280s |      19 |   504977 |   486482 |    18601     66 |        2 |        7
1282.47/1282.97	c 1282s |      19 |   505608 |   487082 |    18601     66 |        2 |        7
1284.67/1285.13	c 1284s |      19 |   506222 |   487682 |    18601     66 |        2 |        7
1286.77/1287.28	c 1287s |      19 |   506846 |   488282 |    18601     66 |        2 |        7
1288.87/1289.34	c 1289s |      19 |   507481 |   488882 |    18601     67 |        2 |        7
1290.97/1291.46	c 1291s |      19 |   508311 |   489682 |    18601     67 |        2 |        7
1293.07/1293.59	c 1293s |      19 |   509132 |   490482 |    18601     67 |        2 |        7
1295.17/1295.65	c 1295s |      19 |   509853 |   491182 |    18601     67 |        2 |        7
1297.26/1297.77	c 1297s |      19 |   510586 |   491882 |    18601     67 |        2 |        7
1299.36/1299.88	c 1299s |      19 |   511305 |   492582 |    18601     67 |        2 |        7
1301.66/1302.14	c 1302s |      19 |   512054 |   493282 |    18601     67 |        2 |        7
1303.96/1304.42	c 1304s |      19 |   512780 |   493982 |    18601     67 |        2 |        7
1306.06/1306.53	c 1306s |      19 |   513402 |   494582 |    18601     67 |        2 |        7
1308.36/1308.80	c 1308s |      19 |   514022 |   495182 |    18601     67 |        2 |        7
1310.46/1310.94	c 1310s |      19 |   514643 |   495782 |    18601     67 |        2 |        7
1312.66/1313.16	c 1313s |      19 |   515252 |   496382 |    18601     67 |        2 |        7
1314.86/1315.37	c 1315s |      19 |   515870 |   496982 |    18601     67 |        2 |        7
1317.16/1317.65	c 1317s |      19 |   516483 |   497582 |    18601     67 |        2 |        7
1319.26/1319.71	c 1319s |      19 |   517107 |   498182 |    18601     68 |        2 |        7
1321.46/1321.93	c 1321s |      19 |   517933 |   498982 |    18601     68 |        2 |        7
1323.66/1324.12	c 1323s |      19 |   518562 |   499582 |    18601     68 |        2 |        7
1325.76/1326.25	c 1326s |      19 |   519287 |   500282 |    18601     68 |        2 |        7
1327.96/1328.41	c 1328s |      19 |   520007 |   500982 |    18601     68 |        2 |        7
1330.16/1330.65	c 1330s |      19 |   520729 |   501682 |    18601     68 |        2 |        7
1332.46/1332.91	c 1332s |      19 |   521447 |   502382 |    18601     68 |        2 |        7
1334.46/1334.95	c 1334s |      19 |   522056 |   502982 |    18601     68 |        2 |        7
1336.76/1337.27	c 1337s |      19 |   522800 |   503682 |    18601     68 |        2 |        7
1338.76/1339.27	c 1339s |      19 |   523413 |   504282 |    18601     68 |        2 |        7
1340.86/1341.38	c 1341s |      19 |   524025 |   504882 |    18601     68 |        2 |        7
1343.06/1343.50	c 1343s |      19 |   524639 |   505482 |    18601     68 |        2 |        7
1345.26/1345.75	c 1345s |      19 |   525256 |   506082 |    18601     68 |        2 |        7
1347.56/1348.03	c 1347s |      19 |   525861 |   506682 |    18601     68 |        2 |        7
1349.85/1350.35	c 1350s |      19 |   526491 |   507282 |    18601     69 |        2 |        7
1352.15/1352.60	c 1352s |      19 |   527311 |   508082 |    18601     69 |        2 |        7
1354.15/1354.62	c 1354s |      19 |   528042 |   508782 |    18601     69 |        2 |        7
1356.35/1356.80	c 1356s |      19 |   528877 |   509582 |    18601     69 |        2 |        7
1358.35/1358.89	c 1358s |      19 |   529600 |   510282 |    18601     69 |        2 |        7
1360.45/1360.96	c 1360s |      19 |   530320 |   510982 |    18601     69 |        2 |        7
1362.75/1363.25	c 1363s |      19 |   530958 |   511582 |    18601     69 |        2 |        7
1364.95/1365.49	c 1365s |      19 |   531687 |   512282 |    18601     69 |        2 |        7
1367.05/1367.55	c 1367s |      19 |   532306 |   512882 |    18601     69 |        2 |        7
1369.06/1369.58	c 1369s |      19 |   532917 |   513482 |    18601     69 |        2 |        7
1371.15/1371.64	c 1371s |      19 |   533528 |   514082 |    18601     69 |        2 |        7
1373.25/1373.71	c 1373s |      19 |   534150 |   514682 |    18601     69 |        2 |        7
1375.35/1375.85	c 1375s |      19 |   534773 |   515282 |    18601     69 |        2 |        7
1377.65/1378.10	c 1377s |      19 |   535385 |   515882 |    18601     69 |        2 |        7
1379.95/1380.40	c 1380s |      19 |   536002 |   516482 |    18601     69 |        2 |        7
1382.15/1382.64	c 1382s |      19 |   536820 |   517282 |    18601     70 |        2 |        7
1384.35/1384.86	c 1384s |      19 |   537649 |   518082 |    18601     70 |        2 |        7
1386.35/1386.86	c 1386s |      19 |   538371 |   518782 |    18601     70 |        2 |        7
1388.54/1389.05	c 1388s |      19 |   539079 |   519482 |    18601     70 |        2 |        7
1390.54/1391.07	c 1390s |      19 |   539710 |   520082 |    18601     70 |        2 |        7
1392.54/1393.07	c 1392s |      19 |   540464 |   520782 |    18601     70 |        2 |        7
1394.64/1395.14	c 1395s |      19 |   541206 |   521482 |    18601     70 |        2 |        7
1396.84/1397.30	c 1397s |      19 |   541940 |   522182 |    18601     70 |        2 |        7
1399.04/1399.53	c 1399s |      19 |   542653 |   522882 |    18601     70 |        2 |        7
1401.34/1401.84	c 1401s |      19 |   543369 |   523582 |    18601     70 |        2 |        7
1403.34/1403.88	c 1403s |      19 |   543992 |   524182 |    18601     70 |        2 |        7
1405.45/1405.93	c 1405s |      19 |   544598 |   524782 |    18601     70 |        2 |        7
1407.55/1408.06	c 1407s |      19 |   545213 |   525382 |    18601     70 |        2 |        7
1409.64/1410.18	c 1410s |      19 |   545839 |   525982 |    18601     71 |        2 |        7
1411.74/1412.27	c 1412s |      19 |   546648 |   526782 |    18601     71 |        2 |        7
1413.94/1414.42	c 1414s |      19 |   547474 |   527582 |    18601     71 |        2 |        7
1416.24/1416.79	c 1416s |      19 |   547891 |   527982 |    18601     71 |        2 |        7
1418.34/1418.80	c 1418s |      19 |   548605 |   528682 |    18601     71 |        2 |        7
1420.34/1420.82	c 1420s |      19 |   549330 |   529382 |    18601     71 |        2 |        7
1422.54/1423.07	c 1422s |      19 |   550051 |   530082 |    18601     71 |        2 |        7
1424.75/1425.29	c 1425s |      19 |   550785 |   530782 |    18601     71 |        2 |        7
1426.85/1427.32	c 1427s |      19 |   551419 |   531382 |    18601     71 |        2 |        7
1428.85/1429.37	c 1429s |      19 |   552022 |   531982 |    18601     71 |        2 |        7
1430.95/1431.40	c 1431s |      19 |   552650 |   532582 |    18601     71 |        2 |        7
1432.95/1433.43	c 1433s |      19 |   553260 |   533182 |    18601     71 |        2 |        7
1435.05/1435.51	c 1435s |      19 |   553877 |   533782 |    18601     71 |        2 |        7
1437.25/1437.73	c 1437s |      19 |   554496 |   534382 |    18601     71 |        2 |        7
1439.45/1439.92	c 1439s |      19 |   555124 |   534982 |    18601     71 |        2 |        7
1441.65/1442.14	c 1442s |      19 |   555841 |   535682 |    18601     72 |        2 |        7
1443.85/1444.40	c 1444s |      19 |   556661 |   536482 |    18601     72 |        2 |        7
1446.05/1446.59	c 1446s |      19 |   557480 |   537282 |    18601     72 |        2 |        7
1448.35/1448.86	c 1448s |      19 |   558313 |   538082 |    18601     72 |        2 |        7
1450.34/1450.88	c 1450s |      19 |   559026 |   538782 |    18601     72 |        2 |        7
1452.44/1452.97	c 1452s |      19 |   559747 |   539482 |    18601     72 |        2 |        7
1454.54/1455.08	c 1454s |      19 |   560471 |   540182 |    18601     72 |        2 |        7
1456.74/1457.28	c 1457s |      19 |   561198 |   540882 |    18601     72 |        2 |        7
1459.04/1459.52	c 1459s |      19 |   561935 |   541582 |    18601     72 |        2 |        7
1461.04/1461.53	c 1461s |      19 |   562562 |   542182 |    18601     72 |        2 |        7
1463.04/1463.57	c 1463s |      19 |   563176 |   542782 |    18601     72 |        2 |        7
1465.14/1465.67	c 1465s |      19 |   563799 |   543382 |    18601     72 |        2 |        7
1467.34/1467.89	c 1467s |      19 |   564412 |   543982 |    18601     72 |        2 |        7
1469.44/1469.91	c 1469s |      19 |   564947 |   544482 |    18601     73 |        2 |        7
1471.74/1472.22	c 1472s |      19 |   565773 |   545282 |    18601     73 |        2 |        7
1473.84/1474.36	c 1474s |      19 |   566588 |   546082 |    18601     73 |        2 |        7
1475.94/1476.40	c 1476s |      19 |   567099 |   546582 |    18601     73 |        2 |        7
1477.95/1478.44	c 1478s |      19 |   567815 |   547282 |    18601     73 |        2 |        7
1479.94/1480.45	c 1480s |      19 |   568522 |   547982 |    18601     73 |        2 |        7
1482.04/1482.55	c 1482s |      19 |   569248 |   548682 |    18601     73 |        2 |        7
1484.34/1484.84	c 1484s |      19 |   569979 |   549382 |    18601     73 |        2 |        7
1486.64/1487.15	c 1487s |      19 |   570707 |   550082 |    18601     73 |        2 |        7
1488.64/1489.15	c 1489s |      19 |   571327 |   550682 |    18601     73 |        2 |        7
1490.74/1491.27	c 1491s |      19 |   571942 |   551282 |    18601     73 |        2 |        7
1492.94/1493.43	c 1493s |      19 |   572558 |   551882 |    18601     73 |        2 |        7
1495.14/1495.69	c 1495s |      19 |   573194 |   552482 |    18601     73 |        2 |        7
1497.24/1497.71	c 1497s |      19 |   573696 |   552982 |    18601     73 |        2 |        7
1499.54/1500.08	c 1499s |      19 |   574303 |   553582 |    18601     73 |        2 |        7
1501.64/1502.16	c 1502s |      19 |   574902 |   554182 |    18601     74 |        2 |        7
1503.73/1504.24	c 1504s |      19 |   575610 |   554882 |    18601     74 |        2 |        7
1505.83/1506.31	c 1506s |      19 |   576315 |   555582 |    18601     74 |        2 |        7
1508.03/1508.51	c 1508s |      19 |   577028 |   556282 |    18601     74 |        2 |        7
1510.23/1510.75	c 1510s |      19 |   577735 |   556982 |    18601     74 |        2 |        7
1512.33/1512.83	c 1512s |      19 |   578444 |   557682 |    18601     74 |        2 |        7
1514.43/1514.97	c 1514s |      19 |   579156 |   558382 |    18601     74 |        2 |        7
1516.63/1517.10	c 1516s |      19 |   579864 |   559082 |    18601     74 |        2 |        7
1518.74/1519.21	c 1519s |      19 |   580587 |   559782 |    18601     74 |        2 |        7
1520.84/1521.30	c 1521s |      19 |   581324 |   560482 |    18601     74 |        2 |        7
1522.93/1523.50	c 1523s |      19 |   582038 |   561182 |    18601     74 |        2 |        7
1525.24/1525.78	c 1525s |      19 |   582765 |   561882 |    18601     74 |        2 |        7
1527.33/1527.82	c 1527s |      19 |   583376 |   562482 |    18601     74 |        2 |        7
1529.74/1530.21	c 1530s |      19 |   584089 |   563182 |    18601     75 |        2 |        7
1531.94/1532.43	c 1532s |      19 |   584934 |   563982 |    18601     75 |        2 |        7
1534.04/1534.51	c 1534s |      19 |   585642 |   564682 |    18601     75 |        2 |        7
1536.24/1536.71	c 1536s |      19 |   586465 |   565482 |    18601     75 |        2 |        7
1538.23/1538.75	c 1538s |      19 |   587193 |   566182 |    18601     75 |        2 |        7
1540.23/1540.76	c 1540s |      19 |   587925 |   566882 |    18601     75 |        2 |        7
1542.43/1542.93	c 1542s |      19 |   588655 |   567582 |    18601     75 |        2 |        7
1544.53/1545.06	c 1544s |      19 |   589281 |   568182 |    18601     75 |        2 |        7
1546.63/1547.12	c 1546s |      19 |   590026 |   568882 |    18601     75 |        2 |        7
1548.83/1549.37	c 1549s |      19 |   590752 |   569582 |    18601     75 |        2 |        7
1551.13/1551.62	c 1551s |      19 |   591510 |   570282 |    18601     75 |        2 |        7
1553.13/1553.63	c 1553s |      19 |   592154 |   570882 |    18601     75 |        2 |        7
1555.13/1555.69	c 1555s |      19 |   592787 |   571482 |    18601     75 |        2 |        7
1557.23/1557.79	c 1557s |      19 |   593403 |   572082 |    18601     75 |        2 |        7
1559.52/1560.03	c 1559s |      19 |   594129 |   572782 |    18601     76 |        2 |        7
1561.72/1562.22	c 1562s |      19 |   594957 |   573582 |    18601     76 |        2 |        7
1563.92/1564.47	c 1564s |      19 |   595784 |   574382 |    18601     76 |        2 |        7
1565.93/1566.49	c 1566s |      19 |   596504 |   575082 |    18601     76 |        2 |        7
1568.02/1568.56	c 1568s |      19 |   597234 |   575782 |    18601     76 |        2 |        7
1570.12/1570.61	c 1570s |      19 |   597985 |   576482 |    18601     76 |        2 |        7
1572.32/1572.83	c 1572s |      19 |   598710 |   577182 |    18601     76 |        2 |        7
1574.62/1575.12	c 1574s |      19 |   599427 |   577882 |    18601     76 |        2 |        7
1576.62/1577.15	c 1577s |      19 |   600044 |   578482 |    18601     76 |        2 |        7
1578.72/1579.23	c 1579s |      19 |   600654 |   579082 |    18601     76 |        2 |        7
1580.72/1581.26	c 1581s |      19 |   601285 |   579682 |    18601     76 |        2 |        7
1583.32/1583.82	c 1583s |      19 |   601806 |   580182 |    18601     76 |        2 |        7
1585.42/1585.90	c 1585s |      19 |   602426 |   580782 |    18601     76 |        2 |        7
1587.52/1588.02	c 1587s |      19 |   603037 |   581382 |    18601     76 |        2 |        7
1589.62/1590.11	c 1589s |      19 |   603648 |   581982 |    18601     77 |        2 |        7
1591.72/1592.29	c 1592s |      19 |   604502 |   582782 |    18601     77 |        2 |        7
1594.02/1594.53	c 1594s |      19 |   605344 |   583582 |    18601     77 |        2 |        7
1596.22/1596.77	c 1596s |      19 |   605970 |   584182 |    18601     77 |        2 |        7
1598.32/1598.84	c 1598s |      19 |   606701 |   584882 |    18601     77 |        2 |        7
1600.42/1600.96	c 1600s |      19 |   607430 |   585582 |    18601     77 |        2 |        7
1602.62/1603.14	c 1603s |      19 |   608169 |   586282 |    18601     77 |        2 |        7
1604.82/1605.40	c 1605s |      19 |   608909 |   586982 |    18601     77 |        2 |        7
1606.92/1607.43	c 1607s |      19 |   609542 |   587582 |    18601     77 |        2 |        7
1608.92/1609.47	c 1609s |      19 |   610151 |   588182 |    18601     77 |        2 |        7
1611.12/1611.62	c 1611s |      19 |   610768 |   588782 |    18601     77 |        2 |        7
1613.22/1613.73	c 1613s |      19 |   611406 |   589382 |    18601     77 |        2 |        7
1615.52/1616.05	c 1615s |      19 |   612122 |   590082 |    18601     77 |        2 |        7
1617.62/1618.11	c 1617s |      19 |   612770 |   590682 |    18601     77 |        2 |        7
1619.71/1620.20	c 1620s |      19 |   613388 |   591282 |    18601     78 |        2 |        7
1621.81/1622.35	c 1622s |      19 |   614209 |   592082 |    18601     78 |        2 |        7
1624.01/1624.56	c 1624s |      19 |   615038 |   592882 |    18601     78 |        2 |        7
1626.31/1626.81	c 1626s |      19 |   615868 |   593682 |    18601     78 |        2 |        7
1628.31/1628.83	c 1628s |      19 |   616597 |   594382 |    18601     78 |        2 |        7
1630.51/1631.00	c 1630s |      19 |   617337 |   595082 |    18601     78 |        2 |        7
1632.71/1633.20	c 1633s |      19 |   618058 |   595782 |    18601     78 |        2 |        7
1635.01/1635.53	c 1635s |      19 |   618798 |   596482 |    18601     78 |        2 |        7
1637.01/1637.55	c 1637s |      19 |   619419 |   597082 |    18601     78 |        2 |        7
1639.11/1639.62	c 1639s |      19 |   620055 |   597682 |    18601     78 |        2 |        7
1641.21/1641.72	c 1641s |      19 |   620659 |   598282 |    18601     78 |        2 |        7
1643.31/1643.87	c 1643s |      19 |   621274 |   598882 |    18601     78 |        2 |        7
1645.51/1646.03	c 1645s |      19 |   621900 |   599482 |    18601     78 |        2 |        7
1647.71/1648.26	c 1648s |      19 |   622525 |   600082 |    18601     78 |        2 |        7
1649.81/1650.33	c 1650s |      19 |   623155 |   600682 |    18601     79 |        2 |        7
1651.91/1652.45	c 1652s |      19 |   623988 |   601482 |    18601     79 |        2 |        7
1654.21/1654.72	c 1654s |      19 |   624807 |   602282 |    18601     79 |        2 |        7
1656.31/1656.88	c 1656s |      19 |   625530 |   602982 |    18601     79 |        2 |        7
1658.41/1658.92	c 1658s |      19 |   626264 |   603682 |    18601     79 |        2 |        7
1660.40/1660.98	c 1660s |      19 |   626985 |   604382 |    18601     79 |        2 |        7
1662.60/1663.12	c 1662s |      19 |   627711 |   605082 |    18601     79 |        2 |        7
1664.70/1665.28	c 1665s |      19 |   628429 |   605782 |    18601     79 |        2 |        7
1666.90/1667.41	c 1667s |      19 |   629148 |   606482 |    18601     79 |        2 |        7
1669.10/1669.61	c 1669s |      19 |   629884 |   607182 |    18601     79 |        2 |        7
1671.30/1671.86	c 1671s |      19 |   630615 |   607882 |    18601     79 |        2 |        7
1673.60/1674.13	c 1673s |      19 |   631348 |   608582 |    18601     79 |        2 |        7
1675.70/1676.21	c 1676s |      19 |   631975 |   609182 |    18601     79 |        2 |        7
1677.80/1678.32	c 1678s |      19 |   632598 |   609782 |    18601     79 |        2 |        7
1680.00/1680.55	c 1680s |      19 |   633429 |   610582 |    18601     80 |        2 |        7
1682.30/1682.85	c 1682s |      19 |   634243 |   611382 |    18601     80 |        2 |        7
1684.50/1685.04	c 1684s |      19 |   635073 |   612182 |    18601     80 |        2 |        7
1687.51/1688.04	c 1687s |      19 |   635911 |   612982 |    18601     80 |        2 |        7
1689.61/1690.19	c 1690s |      19 |   636424 |   613482 |    18601     80 |        2 |        7
1691.71/1692.24	c 1692s |      19 |   637131 |   614182 |    18601     80 |        2 |        7
1693.91/1694.43	c 1694s |      19 |   637866 |   614882 |    18601     80 |        2 |        7
1695.91/1696.47	c 1696s |      19 |   638474 |   615482 |    18601     80 |        2 |        7
1698.20/1698.73	c 1698s |      19 |   639213 |   616182 |    18601     80 |        2 |        7
1700.21/1700.76	c 1700s |      19 |   639828 |   616782 |    18601     80 |        2 |        7
1702.20/1702.79	c 1702s |      19 |   640450 |   617382 |    18601     80 |        2 |        7
1704.30/1704.86	c 1704s |      19 |   641073 |   617982 |    18601     80 |        2 |        7
1706.50/1707.01	c 1706s |      19 |   641696 |   618582 |    18601     80 |        2 |        7
1708.80/1709.31	c 1709s |      19 |   642309 |   619182 |    18601     81 |        2 |        7
1710.90/1711.42	c 1711s |      19 |   643136 |   619982 |    18601     81 |        2 |        7
1713.10/1713.68	c 1713s |      19 |   643964 |   620782 |    18601     81 |        2 |        7
1715.20/1715.73	c 1715s |      19 |   644686 |   621482 |    18601     81 |        2 |        7
1717.40/1717.98	c 1717s |      19 |   645523 |   622282 |    18601     81 |        2 |        7
1719.60/1720.11	c 1719s |      19 |   646237 |   622982 |    18601     81 |        2 |        7
1721.80/1722.37	c 1722s |      19 |   646984 |   623682 |    18601     81 |        2 |        7
1723.90/1724.40	c 1724s |      19 |   647608 |   624282 |    18601     81 |        2 |        7
1726.20/1726.70	c 1726s |      19 |   648350 |   624982 |    18601     81 |        2 |        7
1728.40/1728.93	c 1728s |      19 |   648876 |   625482 |    18601     81 |        2 |        7
1730.50/1731.09	c 1730s |      19 |   649510 |   626082 |    18601     81 |        2 |        7
1732.80/1733.32	c 1733s |      19 |   650122 |   626682 |    18601     81 |        2 |        7
1735.00/1735.54	c 1735s |      19 |   650739 |   627282 |    18601     81 |        2 |        7
1737.30/1737.88	c 1737s |      19 |   651346 |   627882 |    18601     81 |        2 |        7
1739.71/1740.28	c 1740s |      19 |   651963 |   628482 |    18601     82 |        2 |        7
1742.20/1742.75	c 1742s |      19 |   652804 |   629282 |    18601     82 |        2 |        7
1744.40/1744.91	c 1744s |      19 |   653745 |   630182 |    18601     82 |        2 |        7
1746.40/1746.94	c 1746s |      19 |   654585 |   630982 |    18601     82 |        2 |        7
1748.70/1749.22	c 1749s |      19 |   655190 |   631582 |    18601     82 |        2 |        7
1750.70/1751.22	c 1751s |      19 |   655912 |   632282 |    18601     82 |        2 |        7
1752.79/1753.37	c 1753s |      19 |   656734 |   633082 |    18601     82 |        2 |        7
1754.89/1755.45	c 1755s |      19 |   657461 |   633782 |    18601     82 |        2 |        7
1757.09/1757.63	c 1757s |      19 |   658212 |   634482 |    18601     82 |        2 |        7
1759.39/1759.97	c 1759s |      19 |   658937 |   635182 |    18601     82 |        2 |        7
1761.49/1762.01	c 1761s |      19 |   659575 |   635782 |    18601     82 |        2 |        7
1763.69/1764.23	c 1764s |      19 |   660185 |   636382 |    18601     82 |        2 |        7
1765.89/1766.44	c 1766s |      19 |   660813 |   636982 |    18601     82 |        2 |        7
1768.09/1768.66	c 1768s |      19 |   661421 |   637582 |    18601     82 |        2 |        7
1770.39/1770.91	c 1770s |      19 |   662135 |   638282 |    18601     83 |        2 |        7
1772.59/1773.15	c 1773s |      19 |   662967 |   639082 |    18601     83 |        2 |        7
1774.69/1775.24	c 1775s |      19 |   663799 |   639882 |    18601     83 |        2 |        7
1776.79/1777.30	c 1777s |      19 |   664513 |   640582 |    18601     83 |        2 |        7
1778.89/1779.50	c 1779s |      19 |   665221 |   641282 |    18601     83 |        2 |        7
1781.19/1781.74	c 1781s |      19 |   665970 |   641982 |    18601     83 |        2 |        7
1783.49/1784.04	c 1783s |      19 |   666765 |   642682 |    18601     83 |        2 |        7
1785.59/1786.17	c 1786s |      19 |   667383 |   643282 |    18601     83 |        2 |        7
1787.69/1788.27	c 1788s |      19 |   668005 |   643882 |    18601     83 |        2 |        7
1789.89/1790.43	c 1790s |      19 |   668623 |   644482 |    18601     83 |        2 |        7
1792.19/1792.78	c 1792s |      19 |   669259 |   645082 |    18601     83 |        2 |        7
1794.49/1795.01	c 1794s |      19 |   669886 |   645682 |    18601     83 |        2 |        7
1796.79/1797.33	c 1797s |      19 |   670511 |   646282 |    18601     83 |        2 |        7
1798.89/1799.48	c 1799s |      19 |   671042 |   646782 |    18601     83 |        2 |        7

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

pid=26687
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26690
/proc/meminfo: memFree=24479672/32872528 swapFree=7780/7780
[pid=26690] ppid=26687 vsize=783804 CPUtime=0 cores=1,3,5,7
/proc/26690/stat : 26690 (toysat) R 26687 26690 23276 0 -1 4202496 2933 0 0 0 0 0 0 0 20 0 4 0 25002998 802615296 3294 33554432000 4194304 16246674 140734027206064 140734027205488 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26690/statm: 196463 3302 441 2943 0 193357 0
[pid=26690/tid=26691] ppid=26687 vsize=800188 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26691/stat : 26691 (toysat) S 26687 26690 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002998 819392512 3360 33554432000 4194304 16246674 140734027206064 140231055486192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26690/tid=26692] ppid=26687 vsize=805308 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26692/stat : 26692 (toysat) S 26687 26690 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002998 824635392 3380 33554432000 4194304 16246674 140734027206064 140231044996336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26690/tid=26693] ppid=26687 vsize=810428 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26693/stat : 26693 (toysat) S 26687 26690 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25002998 829878272 3397 33554432000 4194304 16246674 140734027206064 140231034522800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26690
/proc/meminfo: memFree=24479672/32872528 swapFree=7780/7780
[pid=26690] ppid=26687 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/26690/stat : 26690 (toysat) R 26687 26690 23276 0 -1 4202496 22019 0 0 0 5 4 0 0 20 0 4 0 25002998 1250496512 22317 33554432000 4194304 16246674 140734027206064 140734027205376 13930238 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26690/statm: 305297 22325 831 2943 0 302191 0
[pid=26690/tid=26691] ppid=26687 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26691/stat : 26691 (toysat) S 26687 26690 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002998 1250496512 22331 33554432000 4194304 16246674 140734027206064 140231055486192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26690/tid=26692] ppid=26687 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26692/stat : 26692 (toysat) S 26687 26690 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002998 1250496512 22336 33554432000 4194304 16246674 140734027206064 140231044996336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26690/tid=26693] ppid=26687 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26693/stat : 26693 (toysat) S 26687 26690 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002998 1250496512 22343 33554432000 4194304 16246674 140734027206064 140231034522800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200537 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26690
/proc/meminfo: memFree=24479672/32872528 swapFree=7780/7780
[pid=26690] ppid=26687 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/26690/stat : 26690 (toysat) R 26687 26690 23276 0 -1 4202496 40382 0 0 0 13 6 0 0 20 0 4 0 25002998 1250496512 40680 33554432000 4194304 16246674 140734027206064 140734027205376 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26690/statm: 305297 40688 879 2943 0 302191 0
[pid=26690/tid=26691] ppid=26687 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26691/stat : 26691 (toysat) S 26687 26690 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002998 1250496512 40697 33554432000 4194304 16246674 140734027206064 140231055486192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26690/tid=26692] ppid=26687 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26692/stat : 26692 (toysat) S 26687 26690 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002998 1250496512 40706 33554432000 4194304 16246674 140734027206064 140231044996336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26690/tid=26693] ppid=26687 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26693/stat : 26693 (toysat) S 26687 26690 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002998 1250496512 40716 33554432000 4194304 16246674 140734027206064 140231034522800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300484 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26690
/proc/meminfo: memFree=24479672/32872528 swapFree=7780/7780
[pid=26690] ppid=26687 vsize=1221188 CPUtime=0.29 cores=1,3,5,7
/proc/26690/stat : 26690 (toysat) R 26687 26690 23276 0 -1 4202496 58719 0 0 0 21 8 0 0 20 0 4 0 25002998 1250496512 59018 33554432000 4194304 16246674 140734027206064 140734027205376 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26690/statm: 305297 59027 879 2943 0 302191 0
[pid=26690/tid=26691] ppid=26687 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26691/stat : 26691 (toysat) S 26687 26690 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002998 1250496512 59031 33554432000 4194304 16246674 140734027206064 140231055486192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26690/tid=26692] ppid=26687 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26692/stat : 26692 (toysat) S 26687 26690 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002998 1250496512 59038 33554432000 4194304 16246674 140734027206064 140231044996336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26690/tid=26693] ppid=26687 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26693/stat : 26693 (toysat) S 26687 26690 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002998 1250496512 59041 33554432000 4194304 16246674 140734027206064 140231034522800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700459 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26690
/proc/meminfo: memFree=24479672/32872528 swapFree=7780/7780
[pid=26690] ppid=26687 vsize=1221188 CPUtime=0.69 cores=1,3,5,7
/proc/26690/stat : 26690 (toysat) R 26687 26690 23276 0 -1 4202496 126085 0 0 0 53 16 0 0 20 0 4 0 25002998 1250496512 126383 33554432000 4194304 16246674 140734027206064 140734027205376 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26690/statm: 305297 126392 879 2943 0 302191 0
[pid=26690/tid=26691] ppid=26687 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26691/stat : 26691 (toysat) S 26687 26690 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002998 1250496512 126398 33554432000 4194304 16246674 140734027206064 140231055486192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26690/tid=26692] ppid=26687 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26692/stat : 26692 (toysat) S 26687 26690 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002998 1250496512 126402 33554432000 4194304 16246674 140734027206064 140231044996336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26690/tid=26693] ppid=26687 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26693/stat : 26693 (toysat) S 26687 26690 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25002998 1250496512 126407 33554432000 4194304 16246674 140734027206064 140231034522800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50041 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26694
/proc/meminfo: memFree=23703088/32872528 swapFree=7780/7780
[pid=26690] ppid=26687 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/26690/stat : 26690 (toysat) R 26687 26690 23276 0 -1 4202496 261812 0 0 0 114 35 0 0 20 0 4 0 25002998 1332285440 262110 33554432000 4194304 16246674 140734027206064 140734027205376 5830026 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26690/statm: 325265 262120 882 2943 0 322159 0
[pid=26690/tid=26691] ppid=26687 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26691/stat : 26691 (toysat) S 26687 26690 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002998 1332285440 262125 33554432000 4194304 16246674 140734027206064 140231055486192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26690/tid=26692] ppid=26687 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26692/stat : 26692 (toysat) S 26687 26690 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002998 1332285440 262131 33554432000 4194304 16246674 140734027206064 140231044996336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26690/tid=26693] ppid=26687 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26693/stat : 26693 (toysat) S 26687 26690 23276 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25002998 1332285440 262135 33554432000 4194304 16246674 140734027206064 140231034522800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26694
/proc/meminfo: memFree=23413540/32872528 swapFree=7780/7780
[pid=26690] ppid=26687 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/26690/stat : 26690 (toysat) R 26687 26690 23276 0 -1 4202496 267638 0 0 0 273 36 0 0 20 0 4 0 25002998 1337528320 267936 33554432000 4194304 16246674 140734027206064 140734027187968 13820875 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26690/statm: 326545 267936 884 2943 0 323439 0
[pid=26690/tid=26691] ppid=26687 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26691/stat : 26691 (toysat) S 26687 26690 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002998 1337528320 267936 33554432000 4194304 16246674 140734027206064 140231055486192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26690/tid=26692] ppid=26687 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26692/stat : 26692 (toysat) S 26687 26690 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002998 1337528320 267936 33554432000 4194304 16246674 140734027206064 140231044996336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26690/tid=26693] ppid=26687 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26693/stat : 26693 (toysat) S 26687 26690 23276 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25002998 1337528320 267936 33554432000 4194304 16246674 140734027206064 140231034522800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26694
/proc/meminfo: memFree=23407848/32872528 swapFree=7780/7780
[pid=26690] ppid=26687 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/26690/stat : 26690 (toysat) R 26687 26690 23276 0 -1 4202496 267729 0 0 0 593 36 0 0 20 0 4 0 25002998 1337528320 268027 33554432000 4194304 16246674 140734027206064 140734027187968 12460171 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26690/statm: 326545 268027 887 2943 0 323439 0
[pid=26690/tid=26691] ppid=26687 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26691/stat : 26691 (toysat) S 26687 26690 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002998 1337528320 268027 33554432000 4194304 16246674 140734027206064 140231055486192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26690/tid=26692] ppid=26687 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26692/stat : 26692 (toysat) S 26687 26690 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002998 1337528320 268027 33554432000 4194304 16246674 140734027206064 140231044996336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26690/tid=26693] ppid=26687 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26693/stat : 26693 (toysat) S 26687 26690 23276 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25002998 1337528320 268027 33554432000 4194304 16246674 140734027206064 140231034522800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26694
/proc/meminfo: memFree=23407872/32872528 swapFree=7780/7780
[pid=26690] ppid=26687 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/26690/stat : 26690 (toysat) R 26687 26690 23276 0 -1 4202496 267730 0 0 0 1233 36 0 0 20 0 4 0 25002998 1337528320 268028 33554432000 4194304 16246674 140734027206064 140734027187968 5823266 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26690/statm: 326545 268028 887 2943 0 323439 0
[pid=26690/tid=26691] ppid=26687 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26691/stat : 26691 (toysat) S 26687 26690 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002998 1337528320 268028 33554432000 4194304 16246674 140734027206064 140231055486192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26690/tid=26692] ppid=26687 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26692/stat : 26692 (toysat) S 26687 26690 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002998 1337528320 268028 33554432000 4194304 16246674 140734027206064 140231044996336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26690/tid=26693] ppid=26687 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26693/stat : 26693 (toysat) S 26687 26690 23276 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25002998 1337528320 268028 33554432000 4194304 16246674 140734027206064 140231034522800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 26697
/proc/meminfo: memFree=23405076/32872528 swapFree=7780/7780
[pid=26690] ppid=26687 vsize=1309252 CPUtime=25.49 cores=1,3,5,7
/proc/26690/stat : 26690 (toysat) R 26687 26690 23276 0 -1 4202496 268504 0 0 0 2513 36 0 0 20 0 4 0 25002998 1340674048 268802 33554432000 4194304 16246674 140734027206064 140734027187968 5823643 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26690/statm: 327313 268802 892 2943 0 324207 0
[pid=26690/tid=26691] ppid=26687 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26691/stat : 26691 (toysat) S 26687 26690 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002998 1340674048 268802 33554432000 4194304 16246674 140734027206064 140231055486192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26690/tid=26692] ppid=26687 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26692/stat : 26692 (toysat) S 26687 26690 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002998 1340674048 268802 33554432000 4194304 16246674 140734027206064 140231044996336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26690/tid=26693] ppid=26687 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26693/stat : 26693 (toysat) S 26687 26690 23276 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25002998 1340674048 268802 33554432000 4194304 16246674 140734027206064 140231034522800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 26697
/proc/meminfo: memFree=23402652/32872528 swapFree=7780/7780
[pid=26690] ppid=26687 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/26690/stat : 26690 (toysat) R 26687 26690 23276 0 -1 4202496 269272 0 0 0 5072 36 0 0 20 0 4 0 25002998 1343819776 269570 33554432000 4194304 16246674 140734027206064 140734027187968 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26690/statm: 328081 269570 892 2943 0 324975 0
[pid=26690/tid=26691] ppid=26687 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26691/stat : 26691 (toysat) S 26687 26690 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002998 1343819776 269570 33554432000 4194304 16246674 140734027206064 140231055486192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26690/tid=26692] ppid=26687 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26692/stat : 26692 (toysat) S 26687 26690 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002998 1343819776 269570 33554432000 4194304 16246674 140734027206064 140231044996336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26690/tid=26693] ppid=26687 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26693/stat : 26693 (toysat) S 26687 26690 23276 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25002998 1343819776 269570 33554432000 4194304 16246674 140734027206064 140231034522800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 26721
/proc/meminfo: memFree=23399924/32872528 swapFree=7780/7780
[pid=26690] ppid=26687 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/26690/stat : 26690 (toysat) R 26687 26690 23276 0 -1 4202496 269785 0 0 0 10191 37 0 0 20 0 4 0 25002998 1345916928 270083 33554432000 4194304 16246674 140734027206064 140734027187968 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26690/statm: 328593 270083 893 2943 0 325487 0
[pid=26690/tid=26691] ppid=26687 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26691/stat : 26691 (toysat) S 26687 26690 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002998 1345916928 270083 33554432000 4194304 16246674 140734027206064 140231055486192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26690/tid=26692] ppid=26687 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26692/stat : 26692 (toysat) S 26687 26690 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002998 1345916928 270083 33554432000 4194304 16246674 140734027206064 140231044996336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26690/tid=26693] ppid=26687 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26693/stat : 26693 (toysat) S 26687 26690 23276 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25002998 1345916928 270083 33554432000 4194304 16246674 140734027206064 140231034522800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/26690/task/26693/stat : 26693 (toysat) S 26687 26690 23276 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25002998 1357451264 272902 33554432000 4194304 16246674 140734027206064 140231034522800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1325636

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26848
/proc/meminfo: memFree=29513752/32872528 swapFree=7780/7780
[pid=26690] ppid=26687 vsize=1325636 CPUtime=1301.86 cores=1,3,5,7
/proc/26690/stat : 26690 (toysat) R 26687 26690 23276 0 -1 4202496 272945 0 0 0 130144 42 0 0 20 0 4 0 25002998 1357451264 272902 33554432000 4194304 16246674 140734027206064 140734027187968 5677908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26690/statm: 331409 272902 893 2943 0 328303 0
[pid=26690/tid=26691] ppid=26687 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26691/stat : 26691 (toysat) S 26687 26690 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002998 1357451264 272902 33554432000 4194304 16246674 140734027206064 140231055486192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26690/tid=26692] ppid=26687 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26692/stat : 26692 (toysat) S 26687 26690 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002998 1357451264 272902 33554432000 4194304 16246674 140734027206064 140231044996336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26690/tid=26693] ppid=26687 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26693/stat : 26693 (toysat) S 26687 26690 23276 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25002998 1357451264 272902 33554432000 4194304 16246674 140734027206064 140231034522800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1325636

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26850
/proc/meminfo: memFree=29487120/32872528 swapFree=7780/7780
[pid=26690] ppid=26687 vsize=1352260 CPUtime=1361.85 cores=1,3,5,7
/proc/26690/stat : 26690 (toysat) R 26687 26690 23276 0 -1 4202496 279601 0 0 0 136142 43 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140734027187968 13198352 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26690/statm: 338065 279558 893 2943 0 334959 0
[pid=26690/tid=26691] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26691/stat : 26691 (toysat) S 26687 26690 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231055486192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26690/tid=26692] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26692/stat : 26692 (toysat) S 26687 26690 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231044996336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26690/tid=26693] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26693/stat : 26693 (toysat) S 26687 26690 23276 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231034522800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1352260

[startup+1422.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 26851
/proc/meminfo: memFree=29486776/32872528 swapFree=7780/7780
[pid=26690] ppid=26687 vsize=1352260 CPUtime=1421.85 cores=1,3,5,7
/proc/26690/stat : 26690 (toysat) R 26687 26690 23276 0 -1 4202496 279601 0 0 0 142142 43 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140734027187968 5675010 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26690/statm: 338065 279558 893 2943 0 334959 0
[pid=26690/tid=26691] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26691/stat : 26691 (toysat) S 26687 26690 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231055486192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26690/tid=26692] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26692/stat : 26692 (toysat) S 26687 26690 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231044996336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26690/tid=26693] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26693/stat : 26693 (toysat) S 26687 26690 23276 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231034522800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1352260

[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 26852
/proc/meminfo: memFree=29487176/32872528 swapFree=7780/7780
[pid=26690] ppid=26687 vsize=1352260 CPUtime=1481.84 cores=1,3,5,7
/proc/26690/stat : 26690 (toysat) R 26687 26690 23276 0 -1 4202496 279601 0 0 0 148140 44 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140734027187968 5675233 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26690/statm: 338065 279558 893 2943 0 334959 0
[pid=26690/tid=26691] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26691/stat : 26691 (toysat) S 26687 26690 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231055486192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26690/tid=26692] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26692/stat : 26692 (toysat) S 26687 26690 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231044996336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26690/tid=26693] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26693/stat : 26693 (toysat) S 26687 26690 23276 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231034522800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1352260

[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 26853
/proc/meminfo: memFree=29486960/32872528 swapFree=7780/7780
[pid=26690] ppid=26687 vsize=1352260 CPUtime=1541.83 cores=1,3,5,7
/proc/26690/stat : 26690 (toysat) R 26687 26690 23276 0 -1 4202496 279601 0 0 0 154139 44 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140734027187968 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26690/statm: 338065 279558 893 2943 0 334959 0
[pid=26690/tid=26691] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26691/stat : 26691 (toysat) S 26687 26690 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231055486192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26690/tid=26692] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26692/stat : 26692 (toysat) S 26687 26690 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231044996336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26690/tid=26693] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26693/stat : 26693 (toysat) S 26687 26690 23276 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231034522800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1352260

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 26854
/proc/meminfo: memFree=29486868/32872528 swapFree=7780/7780
[pid=26690] ppid=26687 vsize=1352260 CPUtime=1601.82 cores=1,3,5,7
/proc/26690/stat : 26690 (toysat) R 26687 26690 23276 0 -1 4202496 279601 0 0 0 160138 44 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140734027187968 6026583 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26690/statm: 338065 279558 893 2943 0 334959 0
[pid=26690/tid=26691] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26691/stat : 26691 (toysat) S 26687 26690 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231055486192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26690/tid=26692] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26692/stat : 26692 (toysat) S 26687 26690 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231044996336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26690/tid=26693] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26693/stat : 26693 (toysat) S 26687 26690 23276 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231034522800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1352260

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26856
/proc/meminfo: memFree=29486892/32872528 swapFree=7780/7780
[pid=26690] ppid=26687 vsize=1352260 CPUtime=1661.8 cores=1,3,5,7
/proc/26690/stat : 26690 (toysat) R 26687 26690 23276 0 -1 4202496 279601 0 0 0 166136 44 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140734027187968 6022252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26690/statm: 338065 279558 893 2943 0 334959 0
[pid=26690/tid=26691] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26691/stat : 26691 (toysat) S 26687 26690 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231055486192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26690/tid=26692] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26692/stat : 26692 (toysat) S 26687 26690 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231044996336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26690/tid=26693] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26693/stat : 26693 (toysat) S 26687 26690 23276 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231034522800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1352260

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26857
/proc/meminfo: memFree=29486592/32872528 swapFree=7780/7780
[pid=26690] ppid=26687 vsize=1352260 CPUtime=1721.8 cores=1,3,5,7
/proc/26690/stat : 26690 (toysat) R 26687 26690 23276 0 -1 4202496 279601 0 0 0 172135 45 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140734027187968 6022661 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26690/statm: 338065 279558 893 2943 0 334959 0
[pid=26690/tid=26691] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26691/stat : 26691 (toysat) S 26687 26690 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231055486192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26690/tid=26692] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26692/stat : 26692 (toysat) S 26687 26690 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231044996336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26690/tid=26693] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26693/stat : 26693 (toysat) S 26687 26690 23276 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231034522800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1352260

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26858
/proc/meminfo: memFree=29482460/32872528 swapFree=7780/7780
[pid=26690] ppid=26687 vsize=1352260 CPUtime=1781.79 cores=1,3,5,7
/proc/26690/stat : 26690 (toysat) R 26687 26690 23276 0 -1 4202496 279601 0 0 0 178134 45 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140734027187968 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26690/statm: 338065 279558 893 2943 0 334959 0
[pid=26690/tid=26691] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26691/stat : 26691 (toysat) S 26687 26690 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231055486192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26690/tid=26692] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26692/stat : 26692 (toysat) S 26687 26690 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231044996336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26690/tid=26693] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26693/stat : 26693 (toysat) S 26687 26690 23276 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231034522800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1352260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26858
/proc/meminfo: memFree=29482460/32872528 swapFree=7780/7780
[pid=26690] ppid=26687 vsize=1352260 CPUtime=1800.09 cores=1,3,5,7
/proc/26690/stat : 26690 (toysat) R 26687 26690 23276 0 -1 4202496 279601 0 0 0 179964 45 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140734027187968 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26690/statm: 338065 279558 893 2943 0 334959 0
[pid=26690/tid=26691] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26691/stat : 26691 (toysat) S 26687 26690 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231055486192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26690/tid=26692] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26692/stat : 26692 (toysat) S 26687 26690 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231044996336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26690/tid=26693] ppid=26687 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/26690/task/26693/stat : 26693 (toysat) S 26687 26690 23276 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25002998 1384714240 279558 33554432000 4194304 16246674 140734027206064 140231034522800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1352260

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 26690 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.1
CPU user time (s): 1799.65
CPU system time (s): 0.45593
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 1352260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.45593
maximum resident set size= 1118232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279601
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= 361
involuntary context switches= 1924

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.50931 second user time and 7.02093 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-18 07:59:42
IDJOB=4102049
IDBENCH=2057
IDSOLVER=2542
FILE ID=node151/4102049-1466229582
RUNJOBID= node151-1466206051-23293
PBS_JOBID= 19918135
Free space on /tmp= 71656 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2-c.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4102049-1466229582/watcher-4102049-1466229582 -o /tmp/evaluation-result-4102049-1466229582/solver-4102049-1466229582 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23293 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4102049-1466229582.opb

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

MD5SUM BENCH= 02ee6f086501e1f86c8de97a222a24d7
RANDOM SEED=675414437

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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		: 2667.103
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:        24480208 kB
Buffers:          112740 kB
Cached:           342496 kB
SwapCached:         1996 kB
Active:          7358644 kB
Inactive:         275132 kB
Active(anon):    7179528 kB
Inactive(anon):     1788 kB
Active(file):     179116 kB
Inactive(file):   273344 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             16348 kB
Writeback:             0 kB
AnonPages:       7185692 kB
Mapped:            11796 kB
Shmem:                 0 kB
Slab:             606720 kB
SReclaimable:      50140 kB
SUnreclaim:       556580 kB
KernelStack:        1472 kB
PageTables:        18288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    7331300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1579008 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 node151 at 2016-06-18 08:29:43