Trace number 4116149

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size160-round23-8.opb
MD5SUM64f83e92e9499eb11dc8bcd5da77f0bb
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9536
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)448
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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-27T00:48:43+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-4116149-1466981323.opb"]
0.00/0.01	c use --random-gen="1150653117 3010013688 3759121803 1602563293 212773945 1583189613 2329808621 3931324462 930114457 293939539 769400688 3953418095 3623855669 2181413913 1150875526 1002221987 3840939814 606233844 262275153 85096677 1247653951 3535589282 3008138219 3764871016 2716703017 2499043976 182753228 1607939490 1617837982 2827125979 3415449702 937644241 4253456734 4156688687 1858053768 1541053849 3611587147 1227678476 2509524591 599778126 2500815501 4020854640 2793040609 1801626674 1089862161 3736688196 2937806742 1816006722 877504044 2407063996 3062414189 887035945 943139487 3768089145 411601713 4278392772 2434836318 351749078 1872211439 496467266 2417956322 2648911997 2106814703 4207551493 1543636018 3278674866 3035579265 2009722791 159415254 1602159823 1318939308 3766046210 3863607965 700119488 1992188426 2635495777 3102680057 1357169196 2029305564 33179561 2310522487 1479264158 4090485411 1293076124 253835827 4244038909 4273091721 2892989454 3490730859 1875296572 2420933715 3006678621 1956093983 1028408982 1697149011 1896710802 3654182800 1336037467 2804416883 3216441345 946574209 3806543316 676318106 2608851104 3800563202 961943759 2989029862 3838244870 1461765847 3345296091 3000124779 1169070176 3943804481 659745358 1943955013 2203769604 2760275558 1408635969 1536164953 630741522 1685554358 977356965 846718018 3266156411 2935984353 3076754301 2838418349 3435756544 447885278 3246624604 2586016800 1407502569 787534179 2546606520 2851638637 178750513 291591134 2654347807 1068946773 2544472534 1098878249 148433342 1271442257 2098772990 1177497157 1119732737 2972303729 961165051 3898483222 598261350 4163497310 1814410571 3728150573 3379979481 2578943941 2297102891 2744353329 2011309724 1907546100 3189045256 1180316246 1737036715 1922710400 2567082999 784204422 1023050712 3672745381 2246173183 3609609368 2131254811 1090898488 625959603 395056431 193650462 2171069091 2217026029 1004547461 1690257491 3570227901 300879965 2300870082 693251325 3177517430 4113973409 1835838272 1773530004 576019094 2588223688 2369671754 462131937 3450899056 2130284199 421851203 1758684999 139829112 3986065321 2878386257 3195250581 475296589 2720521734 2931261572 2356747239 943413847 4088899225 2057201074 114866098 2961381944 2078791078 456962577 1782060971 1619100881 2101713421 4190662701 649723341 1127124104 3133853534 644572505 867103199 2023663867 1657305844 1342847215 1386076902 3709635827 1423895074 921918815 759187824 637888114 1972051136 1273357577 4133896559 2354358363 2019806951 438274347 451135304 824482596 2071189544 3225994179 1993272288 1234077597 3005469485 4064391266 3634574852 3202849413 3337043348 213809430 1279531939 1640468848 2756193102 3169867056 1236092820 2896772423 970576021 1585179755 2662571222 3434736666 966334240 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9536
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      906 |        0
0.29/0.34	c  0.1s |       1 |      822 |      100 |     4565      0 |      906 |      944
0.39/0.45	c  0.2s |       2 |     2020 |      250 |     5022      0 |      906 |      944
0.59/0.62	c  0.3s |       3 |     4845 |      475 |     5525      0 |      907 |      944
0.99/1.01	c  0.7s |       4 |     6227 |      813 |     6078      0 |      907 |      944
1.39/1.41	c  1.1s |       5 |    10466 |     1320 |     6686      0 |      907 |      944
1.89/1.94	c  1.7s |       6 |    14646 |     2081 |     8091      0 |      907 |      944
2.99/3.04	c  2.8s |       7 |    17511 |     3223 |     8901      0 |      907 |      944
4.49/4.59	c  4.3s |       8 |    22336 |     4936 |     9792      0 |      907 |      944
6.59/6.61	c  6.3s |       8 |    29646 |     7436 |     9792      0 |      908 |      944
6.59/6.66	c  6.4s |       9 |    29960 |     7506 |    10772      0 |      908 |      944
8.69/8.76	c  8.5s |       9 |    40944 |    10806 |    10772      0 |      908 |      944
9.48/9.54	c  9.3s |      10 |    41954 |    11361 |    11850      0 |      908 |      944
11.48/11.56	c 11.3s |      10 |    45580 |    13061 |    11850      0 |      908 |      944
13.58/13.64	c 13.4s |      10 |    50265 |    15261 |    11850      1 |      908 |      944
15.68/15.73	c 15.5s |      11 |    52271 |    17144 |    13036      1 |      908 |      944
17.78/17.81	c 17.5s |      11 |    55730 |    19044 |    13036      1 |      908 |      944
19.79/19.89	c 19.6s |      11 |    60066 |    20944 |    13036      1 |      908 |      944
21.88/22.00	c 21.7s |      11 |    61405 |    22144 |    13036      1 |      908 |      944
23.98/24.03	c 23.8s |      11 |    62654 |    23244 |    13036      1 |      908 |      944
26.08/26.11	c 25.8s |      11 |    63740 |    24244 |    13036      2 |      908 |      944
28.08/28.19	c 27.9s |      11 |    64927 |    25244 |    13036      2 |      908 |      944
29.18/29.28	c 29.0s |      12 |    65623 |    25819 |    14340      2 |      908 |      944
31.18/31.29	c 31.0s |      12 |    73690 |    28019 |    14340      2 |      909 |      944
33.28/33.38	c 33.1s |      12 |    79664 |    30619 |    14340      2 |      909 |      944
35.38/35.43	c 35.2s |      12 |    82616 |    32319 |    14340      2 |      909 |      944
37.48/37.56	c 37.3s |      12 |    84497 |    33619 |    14340      3 |      909 |      944
39.48/39.58	c 39.3s |      12 |    86525 |    35019 |    14340      3 |      909 |      944
41.58/41.60	c 41.3s |      12 |    87993 |    36119 |    14340      3 |      909 |      944
43.67/43.75	c 43.5s |      12 |    89589 |    37319 |    14340      3 |      909 |      944
45.87/45.91	c 45.6s |      12 |    91023 |    38419 |    14340      3 |      909 |      944
46.57/46.66	c 46.4s |      13 |    91683 |    38832 |    15775      3 |      909 |      944
48.57/48.66	c 48.4s |      13 |    95080 |    40432 |    15775      3 |      909 |      944
50.77/50.89	c 50.6s |      13 |    96625 |    41732 |    15775      3 |      909 |      944
52.88/52.90	c 52.6s |      13 |    97641 |    42632 |    15775      3 |      909 |      944
54.98/55.03	c 54.8s |      13 |    98835 |    43632 |    15775      4 |      909 |      944
56.97/57.03	c 56.8s |      13 |   103825 |    45432 |    15775      4 |      909 |      944
58.97/59.07	c 58.8s |      13 |   105957 |    47332 |    15775      4 |      909 |      944
61.07/61.18	c 60.9s |      13 |   107608 |    48832 |    15775      4 |      909 |      944
63.27/63.31	c 63.0s |      13 |   109030 |    50132 |    15775      4 |      909 |      944
65.37/65.44	c 65.2s |      13 |   110466 |    51432 |    15775      4 |      909 |      944
67.36/67.46	c 67.2s |      13 |   111726 |    52532 |    15775      5 |      909 |      944
69.46/69.53	c 69.3s |      13 |   113296 |    53832 |    15775      5 |      909 |      944
71.57/71.61	c 71.3s |      13 |   114497 |    54932 |    15775      5 |      909 |      944
73.77/73.81	c 73.5s |      13 |   115841 |    56132 |    15775      5 |      909 |      944
75.87/76.00	c 75.7s |      13 |   117374 |    57332 |    15775      5 |      909 |      944
77.96/78.05	c 77.8s |      13 |   118383 |    58232 |    17353      5 |      909 |      944
78.26/78.35	c 78.1s |      14 |   118512 |    58352 |    17353      5 |      909 |      944
80.36/80.46	c 80.2s |      14 |   124120 |    60452 |    17353      5 |      909 |      944
82.47/82.58	c 82.3s |      14 |   125877 |    61852 |    17353      5 |      909 |      944
84.67/84.76	c 84.5s |      14 |   127437 |    63052 |    17353      5 |      909 |      944
86.66/86.78	c 86.5s |      14 |   128432 |    63852 |    17353      6 |      909 |      944
88.86/88.90	c 88.6s |      14 |   129418 |    64752 |    17353      6 |      909 |      944
90.96/91.07	c 90.8s |      14 |   130329 |    65552 |    17353      6 |      909 |      944
93.06/93.15	c 92.9s |      14 |   131439 |    66452 |    17353      6 |      909 |      944
95.26/95.31	c 95.0s |      14 |   132428 |    67252 |    17353      6 |      909 |      944
97.26/97.39	c 97.1s |      14 |   133116 |    67852 |    17353      6 |      909 |      944
99.56/99.64	c 99.4s |      14 |   133916 |    68552 |    17353      6 |      909 |      944
101.86/101.91	c  101s |      14 |   134715 |    69252 |    17353      6 |      909 |      944
103.96/104.09	c  103s |      14 |   135406 |    69852 |    17353      6 |      909 |      944
106.05/106.17	c  105s |      14 |   136081 |    70452 |    17353      6 |      909 |      944
108.15/108.28	c  108s |      14 |   136696 |    70952 |    17353      6 |      909 |      944
110.35/110.48	c  110s |      14 |   137359 |    71552 |    17353      6 |      909 |      944
112.45/112.57	c  112s |      14 |   138039 |    72152 |    17353      6 |      909 |      944
114.65/114.78	c  114s |      14 |   138880 |    72852 |    17353      6 |      909 |      944
116.95/117.01	c  116s |      14 |   139723 |    73552 |    17353      6 |      909 |      944
118.95/119.08	c  118s |      14 |   140401 |    74152 |    17353      7 |      909 |      944
121.15/121.21	c  120s |      14 |   141228 |    74852 |    17353      7 |      909 |      944
123.35/123.43	c  123s |      14 |   142311 |    75752 |    17353      7 |      909 |      944
125.35/125.45	c  125s |      14 |   143170 |    76452 |    17353      7 |      909 |      944
127.55/127.63	c  127s |      14 |   144292 |    77352 |    17353      7 |      909 |      944
129.64/129.76	c  129s |      14 |   145109 |    78052 |    17353      7 |      909 |      944
131.84/131.99	c  131s |      14 |   145988 |    78752 |    17353      7 |      909 |      944
134.04/134.11	c  133s |      14 |   146907 |    79552 |    17353      7 |      909 |      944
136.04/136.19	c  135s |      14 |   147636 |    80152 |    17353      7 |      909 |      944
138.24/138.31	c  138s |      14 |   148471 |    80852 |    17353      7 |      909 |      944
140.34/140.42	c  140s |      14 |   149181 |    81452 |    17353      7 |      909 |      944
142.44/142.51	c  142s |      14 |   149890 |    82052 |    17353      7 |      909 |      944
144.64/144.78	c  144s |      14 |   150689 |    82752 |    17353      7 |      909 |      944
146.73/146.82	c  146s |      14 |   151596 |    83452 |    17353      7 |      909 |      944
148.73/148.86	c  148s |      14 |   152347 |    84052 |    17353      7 |      909 |      944
150.83/150.96	c  150s |      14 |   153191 |    84652 |    17353      8 |      909 |      944
152.94/153.07	c  152s |      14 |   154518 |    85552 |    17353      8 |      909 |      944
155.23/155.34	c  155s |      14 |   155510 |    86352 |    17353      8 |      909 |      944
157.34/157.43	c  157s |      14 |   156195 |    86952 |    17353      8 |      909 |      944
159.33/159.48	c  159s |      14 |   156901 |    87552 |    19089      8 |      909 |      944
159.63/159.76	c  159s |      15 |   156998 |    87632 |    19089      8 |      909 |      944
161.74/161.82	c  161s |      15 |   158428 |    88432 |    19089      8 |      909 |      944
163.73/163.89	c  163s |      15 |   166036 |    90232 |    19089      8 |      909 |      944
165.83/165.91	c  165s |      15 |   168803 |    91832 |    19089      8 |      909 |      944
167.93/168.05	c  167s |      15 |   171163 |    93532 |    19089      8 |      909 |      944
169.93/170.07	c  169s |      15 |   174564 |    95232 |    19089      8 |      909 |      944
172.23/172.36	c  172s |      15 |   176192 |    96432 |    19089      9 |      909 |      944
174.33/174.49	c  174s |      15 |   177396 |    97432 |    19089      9 |      909 |      944
176.43/176.58	c  176s |      15 |   180796 |    99032 |    19089      9 |      909 |      944
178.53/178.66	c  178s |      15 |   183663 |   100632 |    19089      9 |      909 |      944
180.63/180.70	c  180s |      15 |   186231 |   102232 |    19089      9 |      909 |      944
182.64/182.77	c  182s |      15 |   187736 |   103532 |    19089      9 |      909 |      944
184.74/184.81	c  184s |      15 |   191266 |   104932 |    19089      9 |      909 |      944
186.73/186.83	c  186s |      15 |   194571 |   106732 |    19089      9 |      909 |      944
189.03/189.11	c  188s |      15 |   195991 |   107832 |    19089     10 |      909 |      944
191.23/191.32	c  191s |      15 |   197953 |   109332 |    19089     10 |      909 |      944
193.33/193.48	c  193s |      15 |   199630 |   110632 |    19089     10 |      909 |      944
195.43/195.54	c  195s |      15 |   201173 |   111832 |    19089     10 |      909 |      944
197.63/197.74	c  197s |      15 |   202476 |   112932 |    19089     10 |      909 |      944
199.83/199.90	c  199s |      15 |   203876 |   114032 |    19089     10 |      909 |      944
201.83/201.99	c  201s |      15 |   205111 |   115032 |    19089     10 |      909 |      944
203.93/204.01	c  203s |      15 |   206433 |   116032 |    19089     10 |      909 |      944
206.13/206.27	c  205s |      15 |   207526 |   116932 |    19089     10 |      909 |      944
208.12/208.28	c  208s |      15 |   208522 |   117732 |    19089     10 |      909 |      944
210.32/210.42	c  210s |      15 |   209590 |   118632 |    19089     10 |      909 |      944
212.42/212.59	c  212s |      15 |   210454 |   119332 |    19089     11 |      909 |      944
214.62/214.79	c  214s |      15 |   211521 |   120232 |    19089     11 |      909 |      944
216.92/217.01	c  216s |      15 |   212560 |   121132 |    19089     11 |      909 |      944
218.93/219.02	c  218s |      15 |   213413 |   121832 |    19089     11 |      909 |      944
220.92/221.05	c  220s |      15 |   214379 |   122632 |    19089     11 |      909 |      944
223.02/223.12	c  222s |      15 |   215232 |   123332 |    19089     11 |      909 |      944
225.32/225.49	c  225s |      15 |   215897 |   123932 |    19089     11 |      909 |      944
227.42/227.55	c  227s |      15 |   216584 |   124532 |    19089     11 |      909 |      944
229.52/229.61	c  229s |      15 |   217307 |   125132 |    19089     11 |      909 |      944
231.52/231.66	c  231s |      15 |   218021 |   125732 |    19089     11 |      909 |      944
233.61/233.75	c  233s |      15 |   218718 |   126332 |    19089     11 |      909 |      944
235.81/235.93	c  235s |      15 |   219416 |   126932 |    19089     11 |      909 |      944
238.01/238.13	c  237s |      15 |   220126 |   127532 |    19089     11 |      909 |      944
240.01/240.14	c  239s |      15 |   220801 |   128132 |    19089     11 |      909 |      944
242.31/242.41	c  242s |      15 |   221469 |   128732 |    19089     11 |      909 |      944
244.41/244.54	c  244s |      15 |   222172 |   129332 |    19089     11 |      909 |      944
246.71/246.83	c  246s |      15 |   222980 |   130032 |    19089     11 |      909 |      944
248.81/248.91	c  248s |      15 |   223547 |   130532 |    19089     12 |      909 |      944
250.91/251.05	c  250s |      15 |   224469 |   131332 |    20998     12 |      909 |      944
251.51/251.67	c  251s |      16 |   224725 |   131552 |    20998     12 |      909 |      944
253.60/253.77	c  253s |      16 |   231392 |   133652 |    20998     12 |      909 |      944
255.70/255.87	c  255s |      16 |   233728 |   135452 |    20998     12 |      909 |      944
257.80/257.92	c  257s |      16 |   236084 |   137152 |    20998     12 |      909 |      944
259.90/260.04	c  259s |      16 |   237761 |   138552 |    20998     12 |      909 |      944
262.00/262.13	c  261s |      16 |   239100 |   139752 |    20998     12 |      909 |      944
264.10/264.28	c  264s |      16 |   240188 |   140752 |    20998     12 |      909 |      944
266.20/266.34	c  266s |      16 |   241341 |   141752 |    20998     12 |      909 |      944
268.30/268.48	c  268s |      16 |   242462 |   142752 |    20998     12 |      909 |      944
270.39/270.56	c  270s |      16 |   243349 |   143552 |    20998     13 |      909 |      944
272.59/272.77	c  272s |      16 |   244335 |   144452 |    20998     13 |      909 |      944
274.69/274.82	c  274s |      16 |   245196 |   145252 |    20998     13 |      909 |      944
276.69/276.85	c  276s |      16 |   245945 |   145952 |    20998     13 |      909 |      944
278.79/278.93	c  278s |      16 |   246815 |   146752 |    20998     13 |      909 |      944
280.89/281.01	c  280s |      16 |   247562 |   147452 |    20998     13 |      909 |      944
282.98/283.16	c  282s |      16 |   248309 |   148152 |    20998     13 |      909 |      944
285.38/285.52	c  285s |      16 |   249051 |   148852 |    20998     13 |      909 |      944
287.38/287.54	c  287s |      16 |   249692 |   149452 |    20998     13 |      909 |      944
289.38/289.54	c  289s |      16 |   250334 |   150052 |    20998     13 |      909 |      944
291.50/291.68	c  291s |      16 |   250973 |   150652 |    20998     13 |      909 |      944
293.59/293.77	c  293s |      16 |   251603 |   151252 |    20998     13 |      909 |      944
295.59/295.78	c  295s |      16 |   252240 |   151852 |    20998     13 |      909 |      944
297.79/297.93	c  297s |      16 |   252882 |   152452 |    20998     13 |      909 |      944
300.09/300.28	c  300s |      16 |   253628 |   153152 |    20998     13 |      909 |      944
302.39/302.56	c  302s |      16 |   254246 |   153752 |    20998     13 |      909 |      944
304.59/304.79	c  304s |      16 |   254880 |   154352 |    20998     13 |      909 |      944
306.78/306.92	c  306s |      16 |   255518 |   154952 |    20998     13 |      909 |      944
309.08/309.28	c  309s |      16 |   256149 |   155552 |    20998     13 |      909 |      944
311.28/311.46	c  311s |      16 |   256800 |   156152 |    20998     14 |      909 |      944
313.38/313.60	c  313s |      16 |   257685 |   156952 |    20998     14 |      909 |      944
315.47/315.62	c  315s |      16 |   258448 |   157652 |    20998     14 |      909 |      944
317.67/317.80	c  317s |      16 |   259184 |   158352 |    20998     14 |      909 |      944
319.77/319.95	c  319s |      16 |   259952 |   159052 |    20998     14 |      909 |      944
322.07/322.26	c  321s |      16 |   260706 |   159752 |    20998     14 |      909 |      944
324.27/324.45	c  324s |      16 |   261474 |   160452 |    20998     14 |      909 |      944
326.37/326.51	c  326s |      16 |   262130 |   161052 |    20998     14 |      909 |      944
328.37/328.59	c  328s |      16 |   262802 |   161652 |    20998     14 |      909 |      944
330.57/330.77	c  330s |      16 |   263459 |   162252 |    20998     14 |      909 |      944
332.87/333.00	c  332s |      16 |   264101 |   162852 |    20998     14 |      909 |      944
335.06/335.28	c  335s |      16 |   264742 |   163452 |    20998     14 |      909 |      944
337.36/337.53	c  337s |      16 |   265422 |   164052 |    20998     14 |      909 |      944
339.56/339.70	c  339s |      16 |   266082 |   164652 |    20998     14 |      909 |      944
341.76/341.95	c  341s |      16 |   266871 |   165352 |    20998     14 |      909 |      944
344.06/344.23	c  343s |      16 |   267523 |   165952 |    20998     14 |      909 |      944
346.36/346.52	c  346s |      16 |   268157 |   166552 |    20998     14 |      909 |      944
348.66/348.88	c  348s |      16 |   268813 |   167152 |    20998     14 |      909 |      944
350.96/351.16	c  350s |      16 |   269469 |   167752 |    20998     14 |      909 |      944
353.15/353.36	c  353s |      16 |   270007 |   168252 |    20998     15 |      909 |      944
355.16/355.40	c  355s |      16 |   270671 |   168852 |    20998     15 |      909 |      944
357.46/357.64	c  357s |      16 |   271574 |   169652 |    20998     15 |      909 |      944
359.56/359.71	c  359s |      16 |   272347 |   170352 |    20998     15 |      909 |      944
361.76/361.96	c  361s |      16 |   273092 |   171052 |    20998     15 |      909 |      944
363.95/364.13	c  363s |      16 |   273868 |   171752 |    20998     15 |      909 |      944
366.04/366.26	c  365s |      16 |   274493 |   172352 |    20998     15 |      909 |      944
368.35/368.53	c  368s |      16 |   275245 |   173052 |    20998     15 |      909 |      944
370.44/370.63	c  370s |      16 |   275897 |   173652 |    20998     15 |      909 |      944
372.54/372.76	c  372s |      16 |   276527 |   174252 |    20998     15 |      909 |      944
374.74/374.99	c  374s |      16 |   277181 |   174852 |    20998     15 |      909 |      944
377.04/377.20	c  376s |      16 |   277817 |   175452 |    20998     15 |      909 |      944
379.24/379.48	c  379s |      16 |   278442 |   176052 |    20998     15 |      909 |      944
381.44/381.69	c  381s |      16 |   279098 |   176652 |    20998     15 |      909 |      944
383.43/383.69	c  383s |      16 |   279620 |   177152 |    20998     15 |      909 |      944
385.83/386.02	c  385s |      16 |   280253 |   177752 |    20998     15 |      909 |      944
388.03/388.29	c  388s |      16 |   280890 |   178352 |    20998     15 |      909 |      944
390.44/390.69	c  390s |      16 |   281538 |   178952 |    20998     15 |      909 |      944
392.53/392.73	c  392s |      16 |   282068 |   179452 |    20998     15 |      909 |      944
394.73/394.91	c  394s |      16 |   282807 |   180052 |    20998     15 |      909 |      944
396.73/396.92	c  396s |      16 |   283456 |   180652 |    20998     16 |      909 |      944
398.73/398.95	c  398s |      16 |   284376 |   181452 |    20998     16 |      909 |      944
400.83/401.01	c  400s |      16 |   285296 |   182252 |    20998     16 |      909 |      944
402.82/403.10	c  402s |      16 |   286226 |   183052 |    20998     16 |      909 |      944
404.92/405.18	c  404s |      16 |   286990 |   183752 |    20998     16 |      909 |      944
407.02/407.26	c  406s |      16 |   287737 |   184452 |    20998     16 |      909 |      944
409.32/409.56	c  409s |      16 |   288626 |   185252 |    20998     16 |      909 |      944
411.42/411.60	c  411s |      16 |   289276 |   185852 |    20998     16 |      909 |      944
413.52/413.77	c  413s |      16 |   290082 |   186552 |    20998     16 |      909 |      944
415.52/415.78	c  415s |      16 |   290759 |   187152 |    20998     16 |      909 |      944
417.82/418.03	c  417s |      16 |   291580 |   187852 |    20998     16 |      909 |      944
420.02/420.24	c  419s |      16 |   292351 |   188552 |    20998     16 |      909 |      944
422.22/422.50	c  422s |      16 |   293152 |   189252 |    20998     16 |      909 |      944
424.31/424.57	c  424s |      16 |   293797 |   189852 |    20998     16 |      909 |      944
426.62/426.81	c  426s |      16 |   294449 |   190452 |    20998     16 |      909 |      944
428.92/429.15	c  428s |      16 |   295112 |   191052 |    20998     16 |      909 |      944
431.31/431.53	c  431s |      16 |   295758 |   191652 |    20998     16 |      909 |      944
433.91/434.18	c  433s |      16 |   296428 |   192252 |    20998     17 |      909 |      944
436.01/436.28	c  436s |      16 |   297186 |   192952 |    20998     17 |      909 |      944
438.21/438.49	c  438s |      16 |   297922 |   193652 |    20998     17 |      909 |      944
440.30/440.53	c  440s |      16 |   298726 |   194352 |    20998     17 |      909 |      944
442.50/442.78	c  442s |      16 |   299597 |   195152 |    20998     17 |      909 |      944
444.71/444.94	c  444s |      16 |   300346 |   195852 |    20998     17 |      909 |      944
446.91/447.15	c  446s |      16 |   301094 |   196552 |    23098     17 |      909 |      944
449.21/449.44	c  449s |      16 |   301875 |   197252 |    23098     17 |      909 |      944
449.81/450.00	c  449s |      17 |   302073 |   197432 |    23098     17 |      909 |      944
451.81/452.07	c  451s |      17 |   311720 |   199532 |    23098     17 |      909 |      944
453.80/454.09	c  453s |      17 |   320661 |   201832 |    23098     17 |      909 |      944
455.80/456.09	c  455s |      17 |   326908 |   203732 |    23098     17 |      909 |      944
457.90/458.11	c  457s |      17 |   329432 |   205232 |    23098     17 |      909 |      944
460.10/460.35	c  460s |      17 |   331141 |   206432 |    23098     18 |      909 |      944
462.29/462.54	c  462s |      17 |   332666 |   207632 |    23098     18 |      909 |      944
464.39/464.65	c  464s |      17 |   334273 |   208832 |    23098     18 |      909 |      944
466.59/466.88	c  466s |      17 |   335466 |   209832 |    23098     18 |      909 |      944
468.69/468.94	c  468s |      17 |   336487 |   210732 |    23098     18 |      909 |      944
470.89/471.15	c  470s |      17 |   337393 |   211532 |    23098     18 |      909 |      944
472.99/473.21	c  472s |      17 |   338606 |   212432 |    23098     18 |      909 |      944
474.99/475.29	c  475s |      17 |   339689 |   213332 |    23098     18 |      909 |      944
477.09/477.33	c  477s |      17 |   340604 |   214132 |    23098     18 |      909 |      944
479.09/479.38	c  479s |      17 |   341410 |   214832 |    23098     18 |      909 |      944
481.18/481.42	c  481s |      17 |   342224 |   215532 |    23098     18 |      909 |      944
483.28/483.53	c  483s |      17 |   342938 |   216132 |    23098     18 |      909 |      944
485.38/485.64	c  485s |      17 |   343867 |   216832 |    23098     18 |      909 |      944
487.48/487.73	c  487s |      17 |   344878 |   217632 |    23098     18 |      909 |      944
489.58/489.84	c  489s |      17 |   345717 |   218332 |    23098     18 |      909 |      944
491.88/492.13	c  491s |      17 |   346532 |   219032 |    23098     18 |      909 |      944
494.18/494.45	c  494s |      17 |   347276 |   219632 |    23098     19 |      909 |      944
496.18/496.46	c  496s |      17 |   349390 |   220732 |    23098     19 |      909 |      944
498.18/498.48	c  498s |      17 |   350395 |   221532 |    23098     19 |      909 |      944
500.17/500.50	c  500s |      17 |   355900 |   223432 |    23098     19 |      909 |      944
502.37/502.60	c  502s |      17 |   361968 |   225632 |    23098     19 |      909 |      944
504.37/504.61	c  504s |      17 |   363542 |   226732 |    23098     19 |      909 |      944
506.47/506.70	c  506s |      17 |   366001 |   228032 |    23098     19 |      909 |      944
508.57/508.84	c  508s |      17 |   367543 |   229032 |    23098     19 |      909 |      944
510.57/510.87	c  510s |      17 |   368930 |   230032 |    23098     19 |      909 |      944
512.76/513.04	c  512s |      17 |   370112 |   230932 |    23098     19 |      909 |      944
514.86/515.17	c  514s |      17 |   371366 |   231832 |    23098     19 |      909 |      944
517.06/517.36	c  517s |      17 |   372570 |   232732 |    23098     19 |      909 |      944
519.16/519.42	c  519s |      17 |   373322 |   233332 |    23098     20 |      909 |      944
521.17/521.43	c  521s |      17 |   374610 |   234332 |    23098     20 |      909 |      944
523.25/523.55	c  523s |      17 |   375654 |   235232 |    23098     20 |      909 |      944
525.35/525.67	c  525s |      17 |   376562 |   236032 |    23098     20 |      909 |      944
527.55/527.82	c  527s |      17 |   377963 |   237032 |    23098     20 |      909 |      944
529.75/530.06	c  529s |      17 |   378904 |   237832 |    23098     20 |      909 |      944
531.85/532.10	c  531s |      17 |   379949 |   238632 |    23098     20 |      909 |      944
534.05/534.36	c  534s |      17 |   380811 |   239332 |    23098     20 |      909 |      944
536.05/536.39	c  536s |      17 |   381605 |   239932 |    23098     20 |      909 |      944
538.25/538.54	c  538s |      17 |   382429 |   240632 |    23098     20 |      909 |      944
540.35/540.62	c  540s |      17 |   383147 |   241232 |    23098     20 |      909 |      944
542.54/542.82	c  542s |      17 |   383853 |   241832 |    23098     20 |      909 |      944
544.74/545.00	c  544s |      17 |   384530 |   242432 |    23098     20 |      909 |      944
546.94/547.26	c  546s |      17 |   385283 |   243032 |    23098     20 |      909 |      944
549.24/549.55	c  549s |      17 |   386000 |   243632 |    23098     20 |      909 |      944
551.44/551.78	c  551s |      17 |   386694 |   244232 |    23098     20 |      909 |      944
553.53/553.82	c  553s |      17 |   387272 |   244732 |    23098     20 |      909 |      944
555.63/555.98	c  555s |      17 |   387971 |   245332 |    23098     20 |      909 |      944
557.73/558.06	c  557s |      17 |   388812 |   245932 |    23098     21 |      909 |      944
560.03/560.35	c  560s |      17 |   389679 |   246632 |    23098     21 |      909 |      944
562.23/562.50	c  562s |      17 |   390716 |   247432 |    23098     21 |      909 |      944
564.23/564.59	c  564s |      17 |   392730 |   248632 |    23098     21 |      909 |      944
566.43/566.73	c  566s |      17 |   395522 |   250032 |    23098     21 |      909 |      944
568.43/568.77	c  568s |      17 |   397238 |   251132 |    23098     21 |      909 |      944
570.53/570.84	c  570s |      17 |   398610 |   252132 |    23098     21 |      909 |      944
572.62/572.95	c  572s |      17 |   401016 |   253432 |    23098     21 |      909 |      944
574.62/574.96	c  574s |      17 |   403202 |   254732 |    23098     21 |      909 |      944
576.62/576.99	c  576s |      17 |   405235 |   256032 |    23098     21 |      909 |      944
578.72/579.03	c  578s |      17 |   406649 |   257032 |    23098     21 |      909 |      944
580.82/581.11	c  580s |      17 |   408274 |   258132 |    23098     21 |      909 |      944
582.91/583.20	c  582s |      17 |   409810 |   259132 |    23098     21 |      909 |      944
584.92/585.27	c  584s |      17 |   410845 |   259932 |    23098     22 |      909 |      944
587.12/587.45	c  587s |      17 |   412104 |   260932 |    23098     22 |      909 |      944
589.32/589.67	c  589s |      17 |   413403 |   261932 |    23098     22 |      909 |      944
591.41/591.74	c  591s |      17 |   414383 |   262732 |    23098     22 |      909 |      944
593.50/593.89	c  593s |      17 |   415471 |   263632 |    23098     22 |      909 |      944
595.60/595.90	c  595s |      17 |   417317 |   264832 |    23098     22 |      909 |      944
597.60/597.97	c  597s |      17 |   418545 |   265732 |    23098     22 |      909 |      944
599.71/600.06	c  599s |      17 |   419848 |   266732 |    23098     22 |      909 |      944
601.81/602.16	c  601s |      17 |   421029 |   267632 |    23098     22 |      909 |      944
603.91/604.21	c  603s |      17 |   421734 |   268232 |    23098     22 |      909 |      944
606.11/606.45	c  606s |      17 |   422732 |   269032 |    23098     22 |      909 |      944
608.31/608.69	c  608s |      17 |   423714 |   269832 |    23098     22 |      909 |      944
610.40/610.79	c  610s |      17 |   424796 |   270632 |    23098     22 |      909 |      944
612.60/612.92	c  612s |      17 |   425678 |   271332 |    23098     22 |      909 |      944
614.71/615.01	c  614s |      17 |   426367 |   271932 |    23098     22 |      909 |      944
616.81/617.17	c  616s |      17 |   426935 |   272432 |    23098     23 |      909 |      944
618.90/619.29	c  619s |      17 |   427891 |   273232 |    23098     23 |      909 |      944
621.21/621.52	c  621s |      17 |   429048 |   274132 |    23098     23 |      909 |      944
623.19/623.57	c  623s |      17 |   430076 |   274932 |    23098     23 |      909 |      944
625.39/625.73	c  625s |      17 |   431227 |   275832 |    23098     23 |      909 |      944
627.49/627.89	c  627s |      17 |   432223 |   276632 |    23098     23 |      909 |      944
629.59/629.96	c  629s |      17 |   433070 |   277332 |    23098     23 |      909 |      944
631.79/632.13	c  631s |      17 |   434126 |   278232 |    23098     23 |      909 |      944
633.88/634.22	c  633s |      17 |   434986 |   278932 |    23098     23 |      909 |      944
635.88/636.27	c  635s |      17 |   435849 |   279632 |    23098     23 |      909 |      944
637.98/638.32	c  638s |      17 |   436837 |   280432 |    23098     23 |      909 |      944
640.08/640.50	c  640s |      17 |   437685 |   281132 |    23098     23 |      909 |      944
642.09/642.50	c  642s |      17 |   438425 |   281732 |    23098     23 |      909 |      944
644.29/644.62	c  644s |      17 |   441040 |   282932 |    23098     23 |      909 |      944
646.49/646.80	c  646s |      17 |   441938 |   283632 |    23098     23 |      909 |      944
648.58/648.92	c  648s |      17 |   443515 |   284632 |    23098     23 |      909 |      944
650.58/650.99	c  650s |      17 |   444769 |   285532 |    23098     23 |      909 |      944
652.68/653.07	c  652s |      17 |   446791 |   286632 |    23098     24 |      909 |      944
654.78/655.13	c  654s |      17 |   450134 |   288332 |    23098     24 |      909 |      944
656.88/657.29	c  657s |      17 |   452330 |   289732 |    23098     24 |      909 |      944
659.07/659.49	c  659s |      17 |   454501 |   291032 |    23098     24 |      909 |      944
661.27/661.61	c  661s |      17 |   456323 |   292232 |    23098     24 |      909 |      944
663.47/663.86	c  663s |      17 |   457826 |   293332 |    23098     24 |      909 |      944
665.67/666.01	c  665s |      17 |   459201 |   294332 |    25408     24 |      909 |      944
667.87/668.21	c  667s |      17 |   460334 |   295232 |    25408     24 |      909 |      944
669.97/670.34	c  670s |      17 |   461393 |   296032 |    25408     24 |      909 |      944
670.57/670.91	c  670s |      18 |   461670 |   296252 |    25408     24 |      909 |      944
672.56/672.92	c  672s |      18 |   469822 |   298552 |    25408     24 |      909 |      944
674.66/675.03	c  674s |      18 |   473011 |   300252 |    25408     24 |      909 |      944
676.76/677.17	c  676s |      18 |   474407 |   301552 |    25408     25 |      909 |      944
678.86/679.20	c  678s |      18 |   477312 |   303152 |    25408     25 |      909 |      944
680.86/681.23	c  680s |      18 |   480344 |   304952 |    25408     25 |      909 |      944
682.96/683.33	c  683s |      18 |   482593 |   306552 |    25408     25 |      909 |      944
684.96/685.33	c  685s |      18 |   484915 |   308052 |    25408     25 |      909 |      944
687.06/687.42	c  687s |      18 |   487075 |   309452 |    25408     25 |      909 |      944
689.16/689.51	c  689s |      18 |   488987 |   310752 |    25408     25 |      909 |      944
691.25/691.61	c  691s |      18 |   490696 |   311952 |    25408     25 |      909 |      944
693.25/693.66	c  693s |      18 |   492232 |   313052 |    25408     25 |      909 |      944
695.35/695.73	c  695s |      18 |   493414 |   313952 |    25408     25 |      909 |      944
697.45/697.87	c  697s |      18 |   494771 |   314952 |    25408     25 |      909 |      944
699.55/699.98	c  699s |      18 |   495960 |   315852 |    25408     26 |      909 |      944
701.65/702.05	c  701s |      18 |   497173 |   316752 |    25408     26 |      909 |      944
703.76/704.14	c  703s |      18 |   498369 |   317652 |    25408     26 |      909 |      944
705.86/706.24	c  705s |      18 |   499255 |   318352 |    25408     26 |      909 |      944
708.06/708.46	c  708s |      18 |   500628 |   319352 |    25408     26 |      909 |      944
710.26/710.70	c  710s |      18 |   501769 |   320252 |    25408     26 |      909 |      944
712.35/712.72	c  712s |      18 |   503595 |   321252 |    25408     26 |      909 |      944
714.35/714.78	c  714s |      18 |   506983 |   322952 |    25408     26 |      909 |      944
716.45/716.85	c  716s |      18 |   508576 |   324152 |    25408     26 |      909 |      944
718.55/718.92	c  718s |      18 |   510017 |   325252 |    25408     26 |      909 |      944
720.65/721.06	c  720s |      18 |   511342 |   326252 |    25408     26 |      909 |      944
722.85/723.20	c  722s |      18 |   512456 |   327152 |    25408     26 |      909 |      944
724.95/725.31	c  725s |      18 |   513579 |   328052 |    25408     26 |      909 |      944
726.95/727.31	c  727s |      18 |   514721 |   328952 |    25408     26 |      909 |      944
729.25/729.65	c  729s |      18 |   515994 |   329952 |    25408     27 |      909 |      944
731.35/731.74	c  731s |      18 |   517566 |   331152 |    25408     27 |      909 |      944
733.55/733.90	c  733s |      18 |   518899 |   332252 |    25408     27 |      909 |      944
735.66/736.02	c  735s |      18 |   520057 |   333152 |    25408     27 |      909 |      944
737.75/738.13	c  737s |      18 |   521048 |   333952 |    25408     27 |      909 |      944
739.85/740.20	c  739s |      18 |   522006 |   334752 |    25408     27 |      909 |      944
742.05/742.44	c  742s |      18 |   522852 |   335452 |    25408     27 |      909 |      944
744.35/744.77	c  744s |      18 |   523647 |   336152 |    25408     27 |      909 |      944
746.35/746.77	c  746s |      18 |   524517 |   336852 |    25408     27 |      909 |      944
748.45/748.83	c  748s |      18 |   525517 |   337652 |    25408     27 |      909 |      944
750.64/751.02	c  750s |      18 |   526385 |   338352 |    25408     27 |      909 |      944
752.74/753.19	c  752s |      18 |   527354 |   339152 |    25408     27 |      909 |      944
754.94/755.38	c  755s |      18 |   528409 |   339952 |    25408     27 |      909 |      944
757.24/757.63	c  757s |      18 |   529259 |   340652 |    25408     27 |      909 |      944
759.34/759.78	c  759s |      18 |   530574 |   341552 |    25408     27 |      909 |      944
761.44/761.80	c  761s |      18 |   531645 |   342352 |    25408     27 |      909 |      944
763.44/763.85	c  763s |      18 |   532744 |   343152 |    25408     27 |      909 |      944
765.54/765.98	c  765s |      18 |   534387 |   344052 |    25408     27 |      909 |      944
767.74/768.10	c  767s |      18 |   535350 |   344752 |    25408     28 |      909 |      944
769.94/770.34	c  770s |      18 |   536844 |   345852 |    25408     28 |      909 |      944
772.14/772.53	c  772s |      18 |   538095 |   346852 |    25408     28 |      909 |      944
774.34/774.71	c  774s |      18 |   539257 |   347752 |    25408     28 |      909 |      944
776.54/776.90	c  776s |      18 |   540225 |   348552 |    25408     28 |      909 |      944
778.64/779.07	c  778s |      18 |   541209 |   349352 |    25408     28 |      909 |      944
780.94/781.34	c  781s |      18 |   542182 |   350152 |    25408     28 |      909 |      944
783.14/783.51	c  783s |      18 |   543396 |   351052 |    25408     28 |      909 |      944
785.14/785.57	c  785s |      18 |   544570 |   351952 |    25408     28 |      909 |      944
787.34/787.75	c  787s |      18 |   545778 |   352852 |    25408     28 |      909 |      944
789.35/789.76	c  789s |      18 |   546655 |   353552 |    25408     28 |      909 |      944
791.35/791.77	c  791s |      18 |   547708 |   354352 |    25408     28 |      909 |      944
793.35/793.78	c  793s |      18 |   548537 |   355052 |    25408     28 |      909 |      944
795.54/795.98	c  795s |      18 |   549546 |   355852 |    25408     28 |      909 |      944
797.84/798.26	c  797s |      18 |   550428 |   356552 |    25408     28 |      909 |      944
800.14/800.57	c  800s |      18 |   551107 |   357152 |    25408     28 |      909 |      944
802.44/802.85	c  802s |      18 |   551951 |   357852 |    25408     28 |      909 |      944
804.44/804.87	c  804s |      18 |   552669 |   358452 |    25408     28 |      909 |      944
806.54/806.99	c  806s |      18 |   553403 |   359052 |    25408     29 |      909 |      944
808.74/809.13	c  808s |      18 |   554372 |   359852 |    25408     29 |      909 |      944
810.84/811.29	c  811s |      18 |   555181 |   360552 |    25408     29 |      909 |      944
813.04/813.49	c  813s |      18 |   556113 |   361252 |    25408     29 |      909 |      944
815.14/815.58	c  815s |      18 |   556966 |   361952 |    25408     29 |      909 |      944
817.54/817.91	c  817s |      18 |   557910 |   362752 |    25408     29 |      909 |      944
819.54/819.91	c  819s |      18 |   558803 |   363352 |    25408     29 |      909 |      944
821.54/821.98	c  821s |      18 |   560303 |   364352 |    25408     29 |      909 |      944
823.74/824.11	c  823s |      18 |   561265 |   365052 |    25408     29 |      909 |      944
826.24/826.67	c  826s |      18 |   562487 |   365952 |    25408     29 |      909 |      944
828.34/828.73	c  828s |      18 |   563392 |   366652 |    25408     29 |      909 |      944
830.43/830.86	c  830s |      18 |   564307 |   367352 |    25408     29 |      909 |      944
832.83/833.28	c  833s |      18 |   565161 |   368052 |    25408     29 |      909 |      944
834.93/835.34	c  835s |      18 |   565604 |   368452 |    25408     29 |      909 |      944
837.23/837.60	c  837s |      18 |   566178 |   368952 |    25408     29 |      909 |      944
839.23/839.63	c  839s |      18 |   566631 |   369352 |    25408     29 |      909 |      944
841.43/841.86	c  841s |      18 |   567122 |   369752 |    25408     29 |      909 |      944
843.44/843.89	c  843s |      18 |   567747 |   370252 |    25408     29 |      909 |      944
846.03/846.47	c  846s |      18 |   568335 |   370752 |    25408     29 |      909 |      944
848.14/848.56	c  848s |      18 |   568815 |   371152 |    25408     29 |      909 |      944
850.24/850.65	c  850s |      18 |   569416 |   371652 |    25408     29 |      909 |      944
852.34/852.79	c  852s |      18 |   570619 |   372552 |    25408     29 |      909 |      944
854.44/854.84	c  854s |      18 |   571302 |   373052 |    25408     30 |      909 |      944
856.44/856.88	c  856s |      18 |   572480 |   373952 |    25408     30 |      909 |      944
858.63/859.04	c  858s |      18 |   574139 |   375152 |    25408     30 |      909 |      944
860.73/861.16	c  860s |      18 |   575241 |   376052 |    25408     30 |      909 |      944
862.93/863.39	c  863s |      18 |   576361 |   376952 |    25408     30 |      909 |      944
865.34/865.77	c  865s |      18 |   577435 |   377652 |    25408     30 |      909 |      944
867.33/867.79	c  867s |      18 |   578257 |   378252 |    25408     30 |      909 |      944
869.74/870.10	c  869s |      18 |   579201 |   378952 |    25408     30 |      909 |      944
871.73/872.15	c  871s |      18 |   579999 |   379552 |    25408     30 |      909 |      944
873.83/874.26	c  873s |      18 |   580625 |   380052 |    25408     30 |      909 |      944
876.23/876.68	c  876s |      18 |   581480 |   380652 |    25408     30 |      909 |      944
878.54/878.92	c  878s |      18 |   582250 |   381252 |    25408     30 |      909 |      944
880.74/881.11	c  880s |      18 |   583052 |   381852 |    25408     30 |      909 |      944
882.94/883.38	c  883s |      18 |   584014 |   382652 |    25408     30 |      909 |      944
885.03/885.48	c  885s |      18 |   584759 |   383252 |    25408     30 |      909 |      944
887.34/887.78	c  887s |      18 |   585373 |   383752 |    25408     30 |      909 |      944
889.63/890.03	c  889s |      18 |   586137 |   384352 |    25408     30 |      909 |      944
892.63/893.02	c  892s |      18 |   586786 |   384852 |    25408     30 |      909 |      944
894.83/895.20	c  894s |      18 |   587767 |   385552 |    25408     30 |      909 |      944
897.03/897.47	c  897s |      18 |   588504 |   386152 |    25408     30 |      909 |      944
899.03/899.47	c  899s |      18 |   589090 |   386652 |    25408     30 |      909 |      944
901.32/901.75	c  901s |      18 |   589803 |   387252 |    25408     30 |      909 |      944
903.32/903.79	c  903s |      18 |   590319 |   387652 |    25408     31 |      909 |      944
905.32/905.79	c  905s |      18 |   591155 |   388252 |    25408     31 |      909 |      944
907.62/908.08	c  907s |      18 |   592434 |   389252 |    25408     31 |      909 |      944
910.02/910.40	c  910s |      18 |   593184 |   389852 |    25408     31 |      909 |      944
912.22/912.66	c  912s |      18 |   593776 |   390352 |    25408     31 |      909 |      944
914.42/914.86	c  914s |      18 |   594412 |   390852 |    25408     31 |      909 |      944
916.72/917.18	c  916s |      18 |   595018 |   391352 |    25408     31 |      909 |      944
918.92/919.39	c  919s |      18 |   595628 |   391852 |    25408     31 |      909 |      944
920.92/921.39	c  921s |      18 |   596068 |   392252 |    25408     31 |      909 |      944
923.02/923.43	c  923s |      18 |   596693 |   392752 |    25408     31 |      909 |      944
925.32/925.73	c  925s |      18 |   597343 |   393252 |    25408     31 |      909 |      944
927.42/927.82	c  927s |      18 |   598385 |   394052 |    25408     31 |      909 |      944
929.82/930.25	c  929s |      18 |   598935 |   394452 |    25408     31 |      909 |      944
931.82/932.29	c  932s |      18 |   599324 |   394752 |    25408     31 |      909 |      944
934.02/934.43	c  934s |      18 |   600335 |   395552 |    25408     31 |      909 |      944
936.02/936.48	c  936s |      18 |   601289 |   396352 |    25408     31 |      909 |      944
938.31/938.70	c  938s |      18 |   602374 |   397152 |    25408     31 |      909 |      944
940.41/940.87	c  940s |      18 |   603208 |   397852 |    25408     31 |      909 |      944
942.62/943.01	c  942s |      18 |   603860 |   398352 |    25408     31 |      909 |      944
945.02/945.46	c  945s |      18 |   604459 |   398852 |    25408     31 |      909 |      944
947.42/947.86	c  947s |      18 |   605230 |   399452 |    25408     31 |      909 |      944
949.52/949.96	c  949s |      18 |   605940 |   399952 |    25408     31 |      909 |      944
952.02/952.46	c  952s |      18 |   606521 |   400452 |    25408     31 |      909 |      944
954.22/954.61	c  954s |      18 |   606973 |   400852 |    25408     31 |      909 |      944
956.32/956.74	c  956s |      18 |   607722 |   401452 |    25408     31 |      909 |      944
958.62/959.06	c  958s |      18 |   608340 |   401952 |    25408     32 |      909 |      944
960.82/961.29	c  961s |      18 |   608932 |   402452 |    25408     32 |      909 |      944
963.12/963.55	c  963s |      18 |   609535 |   402952 |    25408     32 |      909 |      944
965.42/965.80	c  965s |      18 |   610126 |   403452 |    25408     32 |      909 |      944
967.72/968.12	c  967s |      18 |   610776 |   403952 |    25408     32 |      909 |      944
969.82/970.23	c  969s |      18 |   611504 |   404552 |    25408     32 |      909 |      944
971.81/972.28	c  972s |      18 |   612085 |   405052 |    25408     32 |      909 |      944
973.91/974.38	c  974s |      18 |   612959 |   405752 |    25408     32 |      909 |      944
976.21/976.61	c  976s |      18 |   613456 |   406152 |    25408     32 |      909 |      944
978.62/979.08	c  978s |      18 |   613701 |   406352 |    25408     32 |      909 |      944
980.82/981.29	c  981s |      18 |   614074 |   406652 |    25408     32 |      909 |      944
983.51/983.98	c  983s |      18 |   614420 |   406952 |    25408     32 |      909 |      944
986.01/986.43	c  986s |      18 |   614980 |   407452 |    25408     32 |      909 |      944
988.52/988.91	c  988s |      18 |   615559 |   407952 |    25408     32 |      909 |      944
990.91/991.31	c  991s |      18 |   616029 |   408352 |    25408     32 |      909 |      944
992.92/993.36	c  993s |      18 |   616619 |   408852 |    25408     32 |      909 |      944
995.01/995.40	c  995s |      18 |   617199 |   409352 |    25408     32 |      909 |      944
997.21/997.61	c  997s |      18 |   617769 |   409852 |    25408     32 |      909 |      944
999.31/999.71	c  999s |      18 |   618375 |   410352 |    25408     32 |      909 |      944
1001.60/1002.03	c 1001s |      18 |   618998 |   410852 |    25408     32 |      909 |      944
1003.81/1004.23	c 1003s |      18 |   619490 |   411252 |    25408     32 |      909 |      944
1006.31/1006.75	c 1006s |      18 |   620214 |   411852 |    25408     32 |      909 |      944
1008.61/1009.00	c 1008s |      18 |   620848 |   412352 |    25408     32 |      909 |      944
1010.62/1011.06	c 1010s |      18 |   621547 |   412952 |    25408     32 |      909 |      944
1012.61/1013.10	c 1012s |      18 |   622408 |   413652 |    25408     32 |      909 |      944
1014.92/1015.33	c 1015s |      18 |   623388 |   414452 |    25408     32 |      909 |      944
1017.41/1017.86	c 1017s |      18 |   623904 |   414852 |    25408     32 |      909 |      944
1019.71/1020.20	c 1019s |      18 |   624235 |   415152 |    25408     32 |      909 |      944
1021.91/1022.32	c 1022s |      18 |   624463 |   415352 |    25408     32 |      909 |      944
1024.91/1025.35	c 1025s |      18 |   624802 |   415652 |    25408     32 |      909 |      944
1027.31/1027.78	c 1027s |      18 |   625137 |   415952 |    25408     32 |      909 |      944
1029.61/1030.09	c 1029s |      18 |   625369 |   416152 |    25408     33 |      909 |      944
1032.61/1033.09	c 1032s |      18 |   625706 |   416452 |    25408     33 |      909 |      944
1035.10/1035.51	c 1035s |      18 |   626086 |   416752 |    25408     33 |      909 |      944
1037.70/1038.12	c 1037s |      18 |   626721 |   417252 |    25408     33 |      909 |      944
1040.10/1040.58	c 1040s |      18 |   627428 |   417852 |    25408     33 |      909 |      944
1042.20/1042.66	c 1042s |      18 |   628258 |   418552 |    25408     33 |      909 |      944
1044.81/1045.30	c 1045s |      18 |   628974 |   419152 |    25408     33 |      909 |      944
1047.11/1047.56	c 1047s |      18 |   629691 |   419752 |    25408     33 |      909 |      944
1049.21/1049.62	c 1049s |      18 |   630300 |   420252 |    25408     33 |      909 |      944
1051.51/1051.97	c 1051s |      18 |   630882 |   420752 |    25408     33 |      909 |      944
1053.90/1054.39	c 1054s |      18 |   631480 |   421252 |    25408     33 |      909 |      944
1056.30/1056.72	c 1056s |      18 |   632086 |   421752 |    25408     33 |      909 |      944
1058.60/1059.01	c 1058s |      18 |   632546 |   422152 |    25408     33 |      909 |      944
1061.00/1061.40	c 1061s |      18 |   633027 |   422552 |    25408     33 |      909 |      944
1063.00/1063.47	c 1063s |      18 |   633489 |   422952 |    25408     33 |      909 |      944
1065.30/1065.71	c 1065s |      18 |   634104 |   423452 |    25408     33 |      909 |      944
1067.60/1068.05	c 1067s |      18 |   634709 |   423952 |    25408     33 |      909 |      944
1069.91/1070.31	c 1070s |      18 |   635059 |   424252 |    25408     33 |      909 |      944
1071.90/1072.37	c 1072s |      18 |   635533 |   424652 |    25408     33 |      909 |      944
1074.00/1074.41	c 1074s |      18 |   635994 |   425052 |    25408     33 |      909 |      944
1076.30/1076.78	c 1076s |      18 |   636436 |   425452 |    25408     33 |      909 |      944
1078.40/1078.87	c 1078s |      18 |   636767 |   425752 |    25408     33 |      909 |      944
1080.59/1081.06	c 1080s |      18 |   637236 |   426152 |    25408     33 |      909 |      944
1082.79/1083.26	c 1082s |      18 |   637848 |   426652 |    25408     33 |      909 |      944
1085.41/1085.88	c 1085s |      18 |   638442 |   427152 |    25408     33 |      909 |      944
1088.00/1088.48	c 1088s |      18 |   638922 |   427552 |    25408     33 |      909 |      944
1090.20/1090.69	c 1090s |      18 |   639295 |   427852 |    25408     33 |      909 |      944
1092.30/1092.76	c 1092s |      18 |   639652 |   428152 |    25408     33 |      909 |      944
1095.00/1095.43	c 1095s |      18 |   640130 |   428552 |    25408     33 |      909 |      944
1097.00/1097.47	c 1097s |      18 |   640385 |   428752 |    25408     33 |      909 |      944
1099.19/1099.68	c 1099s |      18 |   640724 |   429052 |    25408     33 |      909 |      944
1101.69/1102.19	c 1101s |      18 |   641062 |   429352 |    25408     33 |      909 |      944
1104.10/1104.53	c 1104s |      18 |   641796 |   429952 |    25408     33 |      909 |      944
1106.39/1106.89	c 1106s |      18 |   642387 |   430452 |    25408     33 |      909 |      944
1108.50/1108.96	c 1108s |      18 |   642729 |   430752 |    25408     34 |      909 |      944
1110.79/1111.20	c 1110s |      18 |   643109 |   431052 |    25408     34 |      909 |      944
1112.80/1113.23	c 1112s |      18 |   643332 |   431252 |    25408     34 |      909 |      944
1114.79/1115.27	c 1114s |      18 |   643931 |   431752 |    25408     34 |      909 |      944
1116.89/1117.35	c 1117s |      18 |   644453 |   432152 |    25408     34 |      909 |      944
1118.89/1119.37	c 1119s |      18 |   645188 |   432752 |    25408     34 |      909 |      944
1121.39/1121.80	c 1121s |      18 |   645706 |   433152 |    25408     34 |      909 |      944
1123.59/1124.09	c 1123s |      18 |   646182 |   433552 |    25408     34 |      909 |      944
1125.69/1126.19	c 1125s |      18 |   646799 |   434052 |    25408     34 |      909 |      944
1128.09/1128.54	c 1128s |      18 |   647539 |   434652 |    25408     34 |      909 |      944
1130.49/1130.97	c 1130s |      18 |   648252 |   435252 |    25408     34 |      909 |      944
1132.59/1133.03	c 1132s |      18 |   648783 |   435652 |    25408     34 |      909 |      944
1134.58/1135.09	c 1134s |      18 |   651065 |   436752 |    25408     34 |      909 |      944
1136.68/1137.17	c 1136s |      18 |   652812 |   437852 |    25408     34 |      909 |      944
1138.78/1139.23	c 1138s |      18 |   653943 |   438752 |    25408     34 |      909 |      944
1140.98/1141.48	c 1141s |      18 |   655030 |   439652 |    25408     34 |      909 |      944
1143.19/1143.66	c 1143s |      18 |   656037 |   440452 |    25408     34 |      909 |      944
1145.39/1145.90	c 1145s |      18 |   656978 |   441252 |    25408     34 |      909 |      944
1147.59/1148.01	c 1147s |      18 |   657793 |   441952 |    27949     34 |      909 |      944
1149.69/1150.11	c 1149s |      18 |   658901 |   442752 |    27949     34 |      909 |      944
1151.69/1152.17	c 1151s |      18 |   659807 |   443452 |    27949     34 |      909 |      944
1153.79/1154.26	c 1153s |      18 |   660703 |   444152 |    27949     34 |      909 |      944
1154.79/1155.22	c 1154s |      19 |   661113 |   444482 |    27949     34 |      909 |      944
1156.80/1157.27	c 1156s |      19 |   666320 |   445582 |    27949     34 |      909 |      944
1158.89/1159.35	c 1159s |      19 |   669795 |   447282 |    27949     34 |      909 |      944
1160.99/1161.43	c 1161s |      19 |   671201 |   448382 |    27949     35 |      909 |      944
1162.99/1163.43	c 1163s |      19 |   672766 |   449682 |    27949     35 |      909 |      944
1165.09/1165.59	c 1165s |      19 |   674273 |   450882 |    27949     35 |      909 |      944
1167.29/1167.73	c 1167s |      19 |   675800 |   452182 |    27949     35 |      909 |      944
1169.39/1169.81	c 1169s |      19 |   676955 |   453182 |    27949     35 |      909 |      944
1171.39/1171.84	c 1171s |      19 |   678166 |   454182 |    27949     35 |      909 |      944
1173.49/1173.94	c 1173s |      19 |   679265 |   455082 |    27949     35 |      909 |      944
1175.59/1176.09	c 1175s |      19 |   680469 |   456082 |    27949     35 |      909 |      944
1177.58/1178.10	c 1177s |      19 |   681616 |   456982 |    27949     35 |      909 |      944
1179.68/1180.11	c 1179s |      19 |   682877 |   457982 |    27949     35 |      909 |      944
1181.68/1182.13	c 1181s |      19 |   683851 |   458782 |    27949     35 |      909 |      944
1183.78/1184.20	c 1183s |      19 |   685040 |   459682 |    27949     35 |      909 |      944
1185.88/1186.34	c 1186s |      19 |   685991 |   460482 |    27949     35 |      909 |      944
1187.98/1188.43	c 1188s |      19 |   687474 |   461482 |    27949     35 |      909 |      944
1190.18/1190.62	c 1190s |      19 |   689280 |   462582 |    27949     35 |      909 |      944
1192.28/1192.73	c 1192s |      19 |   690160 |   463282 |    27949     36 |      909 |      944
1194.38/1194.80	c 1194s |      19 |   691485 |   464182 |    27949     36 |      909 |      944
1196.58/1197.04	c 1196s |      19 |   692453 |   464982 |    27949     36 |      909 |      944
1198.69/1199.17	c 1198s |      19 |   693562 |   465882 |    27949     36 |      909 |      944
1200.79/1201.30	c 1201s |      19 |   694391 |   466582 |    27949     36 |      909 |      944
1202.99/1203.44	c 1203s |      19 |   695520 |   467482 |    27949     36 |      909 |      944
1205.08/1205.55	c 1205s |      19 |   696443 |   468282 |    27949     36 |      909 |      944
1207.28/1207.70	c 1207s |      19 |   697393 |   469082 |    27949     36 |      909 |      944
1209.28/1209.73	c 1209s |      19 |   698230 |   469782 |    27949     36 |      909 |      944
1211.28/1211.74	c 1211s |      19 |   698929 |   470382 |    27949     36 |      909 |      944
1213.48/1213.98	c 1213s |      19 |   699910 |   471182 |    27949     36 |      909 |      944
1215.68/1216.11	c 1215s |      19 |   700589 |   471782 |    27949     36 |      909 |      944
1217.68/1218.18	c 1217s |      19 |   701307 |   472382 |    27949     36 |      909 |      944
1219.88/1220.37	c 1220s |      19 |   702125 |   473082 |    27949     36 |      909 |      944
1222.08/1222.54	c 1222s |      19 |   702966 |   473782 |    27949     36 |      909 |      944
1224.28/1224.74	c 1224s |      19 |   703842 |   474482 |    27949     36 |      909 |      944
1226.38/1226.80	c 1226s |      19 |   704552 |   475082 |    27949     36 |      909 |      944
1228.47/1228.99	c 1228s |      19 |   705376 |   475782 |    27949     36 |      909 |      944
1230.67/1231.16	c 1230s |      19 |   706079 |   476382 |    27949     36 |      909 |      944
1233.07/1233.53	c 1233s |      19 |   706796 |   476982 |    27949     36 |      909 |      944
1235.07/1235.55	c 1235s |      19 |   707362 |   477482 |    27949     36 |      909 |      944
1237.47/1237.90	c 1237s |      19 |   708066 |   478082 |    27949     36 |      909 |      944
1239.47/1239.90	c 1239s |      19 |   708635 |   478582 |    27949     36 |      909 |      944
1241.48/1241.94	c 1241s |      19 |   709231 |   479082 |    27949     37 |      909 |      944
1243.68/1244.14	c 1243s |      19 |   710053 |   479782 |    27949     37 |      909 |      944
1245.88/1246.30	c 1246s |      19 |   710865 |   480482 |    27949     37 |      909 |      944
1247.87/1248.37	c 1248s |      19 |   711548 |   481082 |    27949     37 |      909 |      944
1249.97/1250.42	c 1250s |      19 |   712394 |   481782 |    27949     37 |      909 |      944
1252.17/1252.65	c 1252s |      19 |   713226 |   482482 |    27949     37 |      909 |      944
1254.47/1254.90	c 1254s |      19 |   714071 |   483182 |    27949     37 |      909 |      944
1256.57/1257.09	c 1256s |      19 |   714779 |   483782 |    27949     37 |      909 |      944
1258.77/1259.22	c 1258s |      19 |   715461 |   484382 |    27949     37 |      909 |      944
1261.07/1261.51	c 1261s |      19 |   716012 |   484882 |    27949     37 |      909 |      944
1263.37/1263.88	c 1263s |      19 |   716569 |   485382 |    27949     37 |      909 |      944
1265.56/1266.08	c 1265s |      19 |   717129 |   485882 |    27949     37 |      909 |      944
1267.88/1268.33	c 1268s |      19 |   717822 |   486482 |    27949     37 |      909 |      944
1270.08/1270.54	c 1270s |      19 |   718388 |   486982 |    27949     37 |      909 |      944
1272.17/1272.61	c 1272s |      19 |   718830 |   487382 |    27949     37 |      909 |      944
1274.27/1274.74	c 1274s |      19 |   719268 |   487782 |    27949     37 |      909 |      944
1276.37/1276.87	c 1276s |      19 |   719816 |   488282 |    27949     37 |      909 |      944
1278.57/1279.06	c 1278s |      19 |   720513 |   488882 |    27949     37 |      909 |      944
1280.57/1281.08	c 1280s |      19 |   721065 |   489382 |    27949     37 |      909 |      944
1282.67/1283.10	c 1282s |      19 |   721614 |   489882 |    27949     37 |      909 |      944
1284.77/1285.20	c 1284s |      19 |   722205 |   490382 |    27949     37 |      909 |      944
1286.97/1287.48	c 1287s |      19 |   722762 |   490882 |    27949     37 |      909 |      944
1289.37/1289.82	c 1289s |      19 |   723344 |   491382 |    27949     37 |      909 |      944
1291.67/1292.15	c 1291s |      19 |   723884 |   491882 |    27949     37 |      909 |      944
1294.07/1294.54	c 1294s |      19 |   724429 |   492382 |    27949     37 |      909 |      944
1296.47/1296.93	c 1296s |      19 |   724993 |   492882 |    27949     37 |      909 |      944
1298.77/1299.25	c 1298s |      19 |   725544 |   493382 |    27949     37 |      909 |      944
1301.07/1301.53	c 1301s |      19 |   726108 |   493882 |    27949     37 |      909 |      944
1303.27/1303.79	c 1303s |      19 |   726555 |   494282 |    27949     38 |      909 |      944
1305.57/1306.05	c 1305s |      19 |   727213 |   494882 |    27949     38 |      909 |      944
1307.57/1308.07	c 1307s |      19 |   727759 |   495382 |    27949     38 |      909 |      944
1309.57/1310.07	c 1309s |      19 |   728350 |   495882 |    27949     38 |      909 |      944
1311.67/1312.11	c 1311s |      19 |   728891 |   496382 |    27949     38 |      909 |      944
1313.97/1314.46	c 1314s |      19 |   729571 |   496982 |    27949     38 |      909 |      944
1316.27/1316.77	c 1316s |      19 |   730237 |   497582 |    27949     38 |      909 |      944
1318.26/1318.80	c 1318s |      19 |   730792 |   498082 |    27949     38 |      909 |      944
1320.46/1320.92	c 1320s |      19 |   731340 |   498582 |    27949     38 |      909 |      944
1322.66/1323.19	c 1322s |      19 |   731868 |   499082 |    27949     38 |      909 |      944
1324.86/1325.36	c 1325s |      19 |   732423 |   499582 |    27949     38 |      909 |      944
1327.06/1327.55	c 1327s |      19 |   733115 |   500182 |    27949     38 |      909 |      944
1329.47/1329.91	c 1329s |      19 |   733684 |   500682 |    27949     38 |      909 |      944
1331.56/1332.03	c 1331s |      19 |   734247 |   501182 |    27949     38 |      909 |      944
1333.87/1334.36	c 1334s |      19 |   734799 |   501682 |    27949     38 |      909 |      944
1335.96/1336.42	c 1336s |      19 |   735357 |   502182 |    27949     38 |      909 |      944
1338.36/1338.86	c 1338s |      19 |   736019 |   502782 |    27949     38 |      909 |      944
1340.76/1341.24	c 1340s |      19 |   736601 |   503282 |    27949     38 |      909 |      944
1343.26/1343.75	c 1343s |      19 |   737145 |   503782 |    27949     38 |      909 |      944
1345.46/1345.95	c 1345s |      19 |   737690 |   504282 |    27949     38 |      909 |      944
1347.56/1348.02	c 1347s |      19 |   738121 |   504682 |    27949     38 |      909 |      944
1349.95/1350.41	c 1350s |      19 |   738679 |   505182 |    27949     38 |      909 |      944
1352.05/1352.52	c 1352s |      19 |   739117 |   505582 |    27949     38 |      909 |      944
1354.05/1354.56	c 1354s |      19 |   739560 |   505982 |    27949     38 |      909 |      944
1356.25/1356.73	c 1356s |      19 |   739994 |   506382 |    27949     38 |      909 |      944
1358.45/1358.91	c 1358s |      19 |   740426 |   506782 |    27949     38 |      909 |      944
1360.55/1361.07	c 1360s |      19 |   741001 |   507282 |    27949     38 |      909 |      944
1362.75/1363.23	c 1362s |      19 |   741548 |   507782 |    27949     38 |      909 |      944
1364.76/1365.29	c 1365s |      19 |   741983 |   508182 |    27949     38 |      909 |      944
1367.05/1367.54	c 1367s |      19 |   742546 |   508682 |    27949     38 |      909 |      944
1369.45/1369.91	c 1369s |      19 |   743109 |   509182 |    27949     38 |      909 |      944
1371.75/1372.26	c 1371s |      19 |   743656 |   509682 |    27949     38 |      909 |      944
1373.85/1374.34	c 1374s |      19 |   743996 |   509982 |    27949     39 |      909 |      944
1376.05/1376.56	c 1376s |      19 |   744679 |   510582 |    27949     39 |      909 |      944
1378.05/1378.60	c 1378s |      19 |   745229 |   511082 |    27949     39 |      909 |      944
1380.16/1380.62	c 1380s |      19 |   745772 |   511582 |    27949     39 |      909 |      944
1382.26/1382.73	c 1382s |      19 |   746326 |   512082 |    27949     39 |      909 |      944
1384.36/1384.81	c 1384s |      19 |   746865 |   512582 |    27949     39 |      909 |      944
1386.56/1387.04	c 1386s |      19 |   747541 |   513182 |    27949     39 |      909 |      944
1388.55/1389.08	c 1388s |      19 |   748098 |   513682 |    27949     39 |      909 |      944
1390.95/1391.44	c 1391s |      19 |   748760 |   514282 |    27949     39 |      909 |      944
1392.95/1393.49	c 1393s |      19 |   749315 |   514782 |    27949     39 |      909 |      944
1395.25/1395.77	c 1395s |      19 |   749858 |   515282 |    27949     39 |      909 |      944
1397.66/1398.16	c 1397s |      19 |   750552 |   515882 |    27949     39 |      909 |      944
1399.86/1400.40	c 1400s |      19 |   751129 |   516382 |    27949     39 |      909 |      944
1402.25/1402.78	c 1402s |      19 |   751806 |   516982 |    27949     39 |      909 |      944
1404.55/1405.00	c 1404s |      19 |   752349 |   517482 |    27949     39 |      909 |      944
1406.75/1407.29	c 1407s |      19 |   753017 |   518082 |    27949     39 |      909 |      944
1409.05/1409.53	c 1409s |      19 |   753553 |   518582 |    27949     39 |      909 |      944
1411.15/1411.60	c 1411s |      19 |   754133 |   519082 |    27949     39 |      909 |      944
1413.35/1413.85	c 1413s |      19 |   754662 |   519582 |    27949     39 |      909 |      944
1415.75/1416.21	c 1415s |      19 |   755205 |   520082 |    27949     39 |      909 |      944
1417.95/1418.44	c 1418s |      19 |   755758 |   520582 |    27949     39 |      909 |      944
1420.25/1420.71	c 1420s |      19 |   756441 |   521182 |    27949     39 |      909 |      944
1422.45/1422.96	c 1422s |      19 |   756996 |   521682 |    27949     39 |      909 |      944
1424.75/1425.20	c 1424s |      19 |   757543 |   522182 |    27949     39 |      909 |      944
1427.15/1427.60	c 1427s |      19 |   758093 |   522682 |    27949     39 |      909 |      944
1429.24/1429.76	c 1429s |      19 |   758642 |   523182 |    27949     39 |      909 |      944
1431.54/1432.00	c 1431s |      19 |   759175 |   523682 |    27949     39 |      909 |      944
1433.74/1434.29	c 1434s |      19 |   759704 |   524182 |    27949     39 |      909 |      944
1436.04/1436.50	c 1436s |      19 |   760238 |   524682 |    27949     39 |      909 |      944
1438.14/1438.67	c 1438s |      19 |   760777 |   525182 |    27949     39 |      909 |      944
1440.65/1441.12	c 1440s |      19 |   761217 |   525582 |    27949     40 |      909 |      944
1442.94/1443.48	c 1443s |      19 |   761854 |   526182 |    27949     40 |      909 |      944
1445.24/1445.75	c 1445s |      19 |   762516 |   526782 |    27949     40 |      909 |      944
1447.44/1447.94	c 1447s |      19 |   763296 |   527482 |    27949     40 |      909 |      944
1449.54/1450.05	c 1449s |      19 |   763968 |   528082 |    27949     40 |      909 |      944
1451.55/1452.08	c 1451s |      19 |   764622 |   528682 |    27949     40 |      909 |      944
1453.75/1454.29	c 1454s |      19 |   765275 |   529282 |    27949     40 |      909 |      944
1456.05/1456.51	c 1456s |      19 |   765949 |   529882 |    27949     40 |      909 |      944
1458.54/1459.07	c 1458s |      19 |   766469 |   530382 |    27949     40 |      909 |      944
1460.64/1461.15	c 1460s |      19 |   767022 |   530882 |    27949     40 |      909 |      944
1462.84/1463.30	c 1463s |      19 |   767589 |   531382 |    27949     40 |      909 |      944
1464.84/1465.33	c 1465s |      19 |   768143 |   531882 |    27949     40 |      909 |      944
1467.14/1467.69	c 1467s |      19 |   768801 |   532482 |    27949     40 |      909 |      944
1469.53/1470.04	c 1469s |      19 |   769470 |   533082 |    27949     40 |      909 |      944
1471.73/1472.20	c 1471s |      19 |   770026 |   533582 |    27949     40 |      909 |      944
1473.93/1474.46	c 1474s |      19 |   770697 |   534182 |    27949     40 |      909 |      944
1476.23/1476.74	c 1476s |      19 |   771351 |   534782 |    27949     40 |      909 |      944
1478.63/1479.11	c 1478s |      19 |   772019 |   535382 |    27949     40 |      909 |      944
1480.73/1481.20	c 1480s |      19 |   772572 |   535882 |    27949     40 |      909 |      944
1483.03/1483.58	c 1483s |      19 |   773093 |   536382 |    27949     40 |      909 |      944
1485.33/1485.80	c 1485s |      19 |   773646 |   536882 |    27949     40 |      909 |      944
1487.73/1488.23	c 1487s |      19 |   774189 |   537382 |    27949     40 |      909 |      944
1490.04/1490.60	c 1490s |      19 |   774733 |   537882 |    27949     40 |      909 |      944
1492.43/1492.94	c 1492s |      19 |   775279 |   538382 |    27949     40 |      909 |      944
1494.93/1495.43	c 1495s |      19 |   775813 |   538882 |    27949     40 |      909 |      944
1497.34/1497.82	c 1497s |      19 |   776360 |   539382 |    27949     40 |      909 |      944
1499.44/1499.99	c 1499s |      19 |   777594 |   540082 |    27949     40 |      909 |      944
1502.14/1502.68	c 1502s |      19 |   778605 |   540782 |    27949     41 |      909 |      944
1504.44/1504.95	c 1504s |      19 |   779556 |   541582 |    27949     41 |      909 |      944
1506.54/1507.09	c 1506s |      19 |   781018 |   542482 |    27949     41 |      909 |      944
1508.64/1509.17	c 1508s |      19 |   782583 |   543682 |    27949     41 |      909 |      944
1510.74/1511.20	c 1510s |      19 |   783686 |   544682 |    27949     41 |      909 |      944
1512.84/1513.30	c 1513s |      19 |   784554 |   545482 |    27949     41 |      909 |      944
1514.83/1515.31	c 1515s |      19 |   785418 |   546282 |    27949     41 |      909 |      944
1517.03/1517.57	c 1517s |      19 |   786274 |   547082 |    27949     41 |      909 |      944
1519.33/1519.80	c 1519s |      19 |   787133 |   547882 |    27949     41 |      909 |      944
1521.53/1522.05	c 1521s |      19 |   787995 |   548682 |    27949     41 |      909 |      944
1523.83/1524.36	c 1524s |      19 |   788739 |   549382 |    27949     41 |      909 |      944
1526.03/1526.55	c 1526s |      19 |   789487 |   550082 |    27949     41 |      909 |      944
1528.13/1528.65	c 1528s |      19 |   790110 |   550682 |    27949     41 |      909 |      944
1530.23/1530.76	c 1530s |      19 |   790755 |   551282 |    27949     41 |      909 |      944
1532.43/1532.94	c 1532s |      19 |   791517 |   551982 |    27949     41 |      909 |      944
1534.63/1535.17	c 1534s |      19 |   792270 |   552682 |    27949     41 |      909 |      944
1536.93/1537.45	c 1537s |      19 |   793020 |   553382 |    27949     41 |      909 |      944
1539.03/1539.56	c 1539s |      19 |   793672 |   553982 |    27949     41 |      909 |      944
1541.23/1541.71	c 1541s |      19 |   794332 |   554582 |    27949     41 |      909 |      944
1543.43/1543.91	c 1543s |      19 |   794971 |   555182 |    27949     41 |      909 |      944
1545.53/1546.08	c 1545s |      19 |   795605 |   555782 |    27949     41 |      909 |      944
1547.63/1548.11	c 1547s |      19 |   796232 |   556382 |    27949     41 |      909 |      944
1549.73/1550.23	c 1549s |      19 |   796754 |   556882 |    27949     42 |      909 |      944
1551.83/1552.39	c 1552s |      19 |   797391 |   557482 |    27949     42 |      909 |      944
1554.03/1554.51	c 1554s |      19 |   797914 |   557982 |    27949     42 |      909 |      944
1556.13/1556.61	c 1556s |      19 |   798435 |   558482 |    27949     42 |      909 |      944
1558.12/1558.62	c 1558s |      19 |   798973 |   558982 |    27949     42 |      909 |      944
1560.43/1560.91	c 1560s |      19 |   799592 |   559582 |    27949     42 |      909 |      944
1562.52/1563.04	c 1562s |      19 |   800396 |   560182 |    27949     42 |      909 |      944
1564.62/1565.10	c 1564s |      19 |   801773 |   561182 |    27949     42 |      909 |      944
1566.62/1567.11	c 1566s |      19 |   802896 |   562082 |    27949     42 |      909 |      944
1568.62/1569.11	c 1568s |      19 |   803551 |   562682 |    27949     42 |      909 |      944
1570.72/1571.20	c 1570s |      19 |   804328 |   563382 |    27949     42 |      909 |      944
1572.72/1573.28	c 1573s |      19 |   805400 |   564282 |    27949     42 |      909 |      944
1574.83/1575.33	c 1575s |      19 |   806235 |   565082 |    27949     42 |      909 |      944
1577.03/1577.50	c 1577s |      19 |   807139 |   565882 |    27949     42 |      909 |      944
1579.02/1579.53	c 1579s |      19 |   807859 |   566582 |    27949     42 |      909 |      944
1581.02/1581.56	c 1581s |      19 |   808463 |   567182 |    27949     42 |      909 |      944
1583.32/1583.82	c 1583s |      19 |   809181 |   567882 |    27949     42 |      909 |      944
1585.42/1585.92	c 1585s |      19 |   809793 |   568482 |    27949     42 |      909 |      944
1587.42/1587.96	c 1587s |      19 |   810505 |   569182 |    27949     42 |      909 |      944
1589.62/1590.17	c 1589s |      19 |   811216 |   569882 |    27949     42 |      909 |      944
1591.92/1592.49	c 1592s |      19 |   811933 |   570582 |    27949     42 |      909 |      944
1594.12/1594.66	c 1594s |      19 |   812536 |   571182 |    27949     42 |      909 |      944
1596.22/1596.78	c 1596s |      19 |   813148 |   571782 |    27949     42 |      909 |      944
1598.52/1599.06	c 1598s |      19 |   813670 |   572282 |    27949     43 |      909 |      944
1600.61/1601.10	c 1600s |      19 |   814406 |   572982 |    27949     43 |      909 |      944
1602.61/1603.18	c 1602s |      19 |   815133 |   573682 |    27949     43 |      909 |      944
1604.61/1605.19	c 1604s |      19 |   815750 |   574282 |    27949     43 |      909 |      944
1606.72/1607.24	c 1606s |      19 |   816361 |   574882 |    27949     43 |      909 |      944
1609.01/1609.54	c 1609s |      19 |   817080 |   575582 |    27949     43 |      909 |      944
1611.12/1611.64	c 1611s |      19 |   817700 |   576182 |    27949     43 |      909 |      944
1613.32/1613.88	c 1613s |      19 |   818313 |   576782 |    27949     43 |      909 |      944
1615.61/1616.11	c 1615s |      19 |   818926 |   577382 |    27949     43 |      909 |      944
1617.72/1618.29	c 1618s |      19 |   819448 |   577882 |    27949     43 |      909 |      944
1620.01/1620.59	c 1620s |      19 |   820052 |   578482 |    27949     43 |      909 |      944
1622.12/1622.63	c 1622s |      19 |   820566 |   578982 |    27949     43 |      909 |      944
1624.32/1624.86	c 1624s |      19 |   821076 |   579482 |    27949     43 |      909 |      944
1626.31/1626.87	c 1626s |      19 |   821591 |   579982 |    27949     43 |      909 |      944
1628.41/1628.95	c 1628s |      19 |   822107 |   580482 |    27949     43 |      909 |      944
1630.51/1631.00	c 1630s |      19 |   822614 |   580982 |    27949     43 |      909 |      944
1632.51/1633.05	c 1632s |      19 |   823237 |   581582 |    27949     43 |      909 |      944
1634.61/1635.13	c 1634s |      19 |   823855 |   582182 |    27949     43 |      909 |      944
1636.81/1637.30	c 1637s |      19 |   824469 |   582782 |    27949     43 |      909 |      944
1638.81/1639.38	c 1639s |      19 |   825087 |   583382 |    27949     43 |      909 |      944
1641.01/1641.53	c 1641s |      19 |   825702 |   583982 |    27949     43 |      909 |      944
1643.21/1643.73	c 1643s |      19 |   826323 |   584582 |    27949     43 |      909 |      944
1645.31/1645.89	c 1645s |      19 |   826941 |   585182 |    27949     43 |      909 |      944
1647.51/1648.07	c 1647s |      19 |   827565 |   585782 |    27949     43 |      909 |      944
1649.81/1650.32	c 1650s |      19 |   828188 |   586382 |    27949     43 |      909 |      944
1652.31/1652.82	c 1652s |      19 |   828838 |   586982 |    27949     43 |      909 |      944
1654.91/1655.41	c 1655s |      19 |   829615 |   587682 |    27949     44 |      909 |      944
1657.01/1657.52	c 1657s |      19 |   830506 |   588482 |    27949     44 |      909 |      944
1659.10/1659.66	c 1659s |      19 |   831367 |   589282 |    27949     44 |      909 |      944
1661.20/1661.74	c 1661s |      19 |   832120 |   589982 |    27949     44 |      909 |      944
1663.30/1663.85	c 1663s |      19 |   832863 |   590682 |    27949     44 |      909 |      944
1665.40/1665.96	c 1665s |      19 |   833601 |   591382 |    27949     44 |      909 |      944
1667.70/1668.25	c 1667s |      19 |   834351 |   592082 |    27949     44 |      909 |      944
1669.90/1670.47	c 1670s |      19 |   835142 |   592782 |    27949     44 |      909 |      944
1672.20/1672.79	c 1672s |      19 |   835909 |   593482 |    27949     44 |      909 |      944
1674.30/1674.85	c 1674s |      19 |   836550 |   594082 |    27949     44 |      909 |      944
1676.40/1676.91	c 1676s |      19 |   837078 |   594582 |    27949     44 |      909 |      944
1678.70/1679.22	c 1678s |      19 |   837821 |   595282 |    27949     44 |      909 |      944
1680.80/1681.38	c 1681s |      19 |   838472 |   595882 |    27949     44 |      909 |      944
1683.20/1683.73	c 1683s |      19 |   839126 |   596482 |    27949     44 |      909 |      944
1685.20/1685.77	c 1685s |      19 |   839667 |   596982 |    27949     44 |      909 |      944
1687.30/1687.85	c 1687s |      19 |   840193 |   597482 |    27949     44 |      909 |      944
1689.60/1690.16	c 1689s |      19 |   840847 |   598082 |    27949     44 |      909 |      944
1691.90/1692.49	c 1692s |      19 |   841490 |   598682 |    27949     44 |      909 |      944
1694.11/1694.61	c 1694s |      19 |   842030 |   599182 |    27949     44 |      909 |      944
1696.11/1696.61	c 1696s |      19 |   842553 |   599682 |    27949     44 |      909 |      944
1698.31/1698.86	c 1698s |      19 |   843083 |   600182 |    27949     44 |      909 |      944
1700.71/1701.21	c 1700s |      19 |   843733 |   600782 |    27949     44 |      909 |      944
1703.01/1703.59	c 1703s |      19 |   844363 |   601382 |    27949     44 |      909 |      944
1705.30/1705.88	c 1705s |      19 |   844891 |   601882 |    27949     44 |      909 |      944
1707.50/1708.09	c 1707s |      19 |   845415 |   602382 |    27949     44 |      909 |      944
1709.60/1710.12	c 1709s |      19 |   845828 |   602782 |    27949     44 |      909 |      944
1711.60/1712.16	c 1711s |      19 |   846243 |   603182 |    27949     44 |      909 |      944
1713.70/1714.29	c 1714s |      19 |   846674 |   603582 |    27949     45 |      909 |      944
1715.90/1716.40	c 1716s |      19 |   847315 |   604182 |    27949     45 |      909 |      944
1718.00/1718.53	c 1718s |      19 |   847952 |   604782 |    27949     45 |      909 |      944
1720.20/1720.72	c 1720s |      19 |   848600 |   605382 |    27949     45 |      909 |      944
1722.60/1723.10	c 1722s |      19 |   849239 |   605982 |    27949     45 |      909 |      944
1724.70/1725.20	c 1724s |      19 |   849897 |   606582 |    27949     45 |      909 |      944
1726.90/1727.46	c 1727s |      19 |   850550 |   607182 |    27949     45 |      909 |      944
1728.90/1729.47	c 1729s |      19 |   851067 |   607682 |    27949     45 |      909 |      944
1731.20/1731.74	c 1731s |      19 |   851707 |   608282 |    27949     45 |      909 |      944
1733.40/1733.93	c 1733s |      19 |   852238 |   608782 |    27949     45 |      909 |      944
1735.80/1736.30	c 1736s |      19 |   852897 |   609382 |    27949     45 |      909 |      944
1737.90/1738.44	c 1738s |      19 |   853419 |   609882 |    27949     45 |      909 |      944
1740.10/1740.69	c 1740s |      19 |   853949 |   610382 |    27949     45 |      909 |      944
1742.20/1742.80	c 1742s |      19 |   854473 |   610882 |    27949     45 |      909 |      944
1744.59/1745.18	c 1744s |      19 |   855018 |   611382 |    27949     45 |      909 |      944
1746.99/1747.53	c 1747s |      19 |   855666 |   611982 |    27949     45 |      909 |      944
1748.99/1749.59	c 1749s |      19 |   856194 |   612482 |    27949     45 |      909 |      944
1751.29/1751.80	c 1751s |      19 |   856722 |   612982 |    27949     45 |      909 |      944
1753.59/1754.17	c 1753s |      19 |   857243 |   613482 |    27949     45 |      909 |      944
1755.99/1756.54	c 1756s |      19 |   857760 |   613982 |    27949     45 |      909 |      944
1758.10/1758.67	c 1758s |      19 |   858182 |   614382 |    27949     45 |      909 |      944
1760.40/1760.99	c 1760s |      19 |   858710 |   614882 |    27949     45 |      909 |      944
1762.91/1763.48	c 1763s |      19 |   859225 |   615382 |    27949     45 |      909 |      944
1765.30/1765.87	c 1765s |      19 |   859779 |   615882 |    27949     45 |      909 |      944
1767.50/1768.09	c 1767s |      19 |   860299 |   616382 |    27949     45 |      909 |      944
1769.90/1770.49	c 1770s |      19 |   860838 |   616882 |    27949     45 |      909 |      944
1772.30/1772.81	c 1772s |      19 |   861375 |   617382 |    27949     45 |      909 |      944
1774.30/1774.85	c 1774s |      19 |   861795 |   617782 |    27949     45 |      909 |      944
1776.50/1777.03	c 1776s |      19 |   862215 |   618182 |    27949     45 |      909 |      944
1778.70/1779.25	c 1778s |      19 |   862638 |   618582 |    27949     45 |      909 |      944
1780.89/1781.44	c 1781s |      19 |   862958 |   618882 |    27949     46 |      909 |      944
1783.19/1783.75	c 1783s |      19 |   863583 |   619482 |    27949     46 |      909 |      944
1785.19/1785.79	c 1785s |      19 |   864212 |   620082 |    27949     46 |      909 |      944
1787.59/1788.13	c 1787s |      19 |   864836 |   620682 |    27949     46 |      909 |      944
1789.89/1790.40	c 1790s |      19 |   865476 |   621282 |    27949     46 |      909 |      944
1792.19/1792.77	c 1792s |      19 |   866141 |   621882 |    27949     46 |      909 |      944
1794.29/1794.83	c 1794s |      19 |   866804 |   622482 |    27949     46 |      909 |      944
1796.59/1797.16	c 1796s |      19 |   867581 |   623182 |    27949     46 |      909 |      944
1798.69/1799.27	c 1798s |      19 |   868230 |   623782 |    27949     46 |      909 |      944

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

pid=30914
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 1.98 1.90 3/173 30917
/proc/meminfo: memFree=31706112/32872528 swapFree=8540/8540
[pid=30917] ppid=30914 vsize=738748 CPUtime=0 cores=1,3,5,7
/proc/30917/stat : 30917 (toysat) R 30914 30917 30739 0 -1 4202496 2758 0 0 0 0 0 0 0 20 0 4 0 31169353 756477952 3118 33554432000 4194304 16246674 140737183110320 140737183109744 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30917/statm: 185199 3129 441 2943 0 182093 0
[pid=30917/tid=30919] ppid=30914 vsize=756156 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30919/stat : 30919 (toysat) S 30914 30917 30739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31169353 774303744 3187 33554432000 4194304 16246674 140737183110320 139756236156144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30917/tid=30920] ppid=30914 vsize=760252 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30920/stat : 30920 (toysat) S 30914 30917 30739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31169353 778498048 3204 33554432000 4194304 16246674 140737183110320 139756155415792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30917/tid=30921] ppid=30914 vsize=764348 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30921/stat : 30921 (toysat) S 30914 30917 30739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31169353 782692352 3221 33554432000 4194304 16246674 140737183110320 139756144942256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 2.00 1.98 1.90 3/173 30917
/proc/meminfo: memFree=31706112/32872528 swapFree=8540/8540
[pid=30917] ppid=30914 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/30917/stat : 30917 (toysat) R 30914 30917 30739 0 -1 4202496 28469 0 0 0 5 4 0 0 20 0 4 0 31169353 1249447936 28767 33554432000 4194304 16246674 140737183110320 140737183109632 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30917/statm: 305041 28767 801 2943 0 301935 0
[pid=30917/tid=30919] ppid=30914 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30919/stat : 30919 (toysat) S 30914 30917 30739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31169353 1249447936 28767 33554432000 4194304 16246674 140737183110320 139756236156144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30917/tid=30920] ppid=30914 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30920/stat : 30920 (toysat) S 30914 30917 30739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31169353 1249447936 28767 33554432000 4194304 16246674 140737183110320 139756155415792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30917/tid=30921] ppid=30914 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30921/stat : 30921 (toysat) S 30914 30917 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169353 1249447936 28767 33554432000 4194304 16246674 140737183110320 139756144942256 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) 1220164

[startup+0.20043 s]
/proc/loadavg: 2.00 1.98 1.90 3/173 30917
/proc/meminfo: memFree=31706112/32872528 swapFree=8540/8540
[pid=30917] ppid=30914 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/30917/stat : 30917 (toysat) R 30914 30917 30739 0 -1 4202496 48676 0 0 0 11 8 0 0 20 0 4 0 31169353 1332285440 48974 33554432000 4194304 16246674 140737183110320 140737183092224 5589944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30917/statm: 325265 48974 842 2943 0 322159 0
[pid=30917/tid=30919] ppid=30914 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30919/stat : 30919 (toysat) S 30914 30917 30739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31169353 1332285440 48974 33554432000 4194304 16246674 140737183110320 139756236156144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30917/tid=30920] ppid=30914 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30920/stat : 30920 (toysat) S 30914 30917 30739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31169353 1332285440 48974 33554432000 4194304 16246674 140737183110320 139756155415792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30917/tid=30921] ppid=30914 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30921/stat : 30921 (toysat) S 30914 30917 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169353 1332285440 48974 33554432000 4194304 16246674 140737183110320 139756144942256 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) 1301060

[startup+0.300386 s]
/proc/loadavg: 2.00 1.98 1.90 3/173 30917
/proc/meminfo: memFree=31706112/32872528 swapFree=8540/8540
[pid=30917] ppid=30914 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/30917/stat : 30917 (toysat) R 30914 30917 30739 0 -1 4202496 54830 0 0 0 20 9 0 0 20 0 4 0 31169353 1332285440 55129 33554432000 4194304 16246674 140737183110320 140737183092224 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30917/statm: 325265 55134 882 2943 0 322159 0
[pid=30917/tid=30919] ppid=30914 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30919/stat : 30919 (toysat) S 30914 30917 30739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31169353 1332285440 55137 33554432000 4194304 16246674 140737183110320 139756236156144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30917/tid=30920] ppid=30914 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30920/stat : 30920 (toysat) S 30914 30917 30739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31169353 1332285440 55141 33554432000 4194304 16246674 140737183110320 139756155415792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30917/tid=30921] ppid=30914 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30921/stat : 30921 (toysat) S 30914 30917 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169353 1332285440 55144 33554432000 4194304 16246674 140737183110320 139756144942256 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) 1301060

[startup+0.700299 s]
/proc/loadavg: 2.00 1.98 1.90 3/173 30917
/proc/meminfo: memFree=31706112/32872528 swapFree=8540/8540
[pid=30917] ppid=30914 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/30917/stat : 30917 (toysat) R 30914 30917 30739 0 -1 4202496 104484 0 0 0 54 15 0 0 20 0 4 0 31169353 1332285440 104782 33554432000 4194304 16246674 140737183110320 140737183092224 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30917/statm: 325265 104795 882 2943 0 322159 0
[pid=30917/tid=30919] ppid=30914 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30919/stat : 30919 (toysat) S 30914 30917 30739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31169353 1332285440 104798 33554432000 4194304 16246674 140737183110320 139756236156144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30917/tid=30920] ppid=30914 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30920/stat : 30920 (toysat) S 30914 30917 30739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31169353 1332285440 104802 33554432000 4194304 16246674 140737183110320 139756155415792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30917/tid=30921] ppid=30914 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30921/stat : 30921 (toysat) S 30914 30917 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169353 1332285440 104812 33554432000 4194304 16246674 140737183110320 139756144942256 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) 1301060

[startup+1.50036 s]
/proc/loadavg: 2.00 1.98 1.90 3/183 30930
/proc/meminfo: memFree=30455436/32872528 swapFree=8540/8540
[pid=30917] ppid=30914 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/30917/stat : 30917 (toysat) R 30914 30917 30739 0 -1 4202496 217221 0 0 0 118 31 0 0 20 0 4 0 31169353 1332285440 217519 33554432000 4194304 16246674 140737183110320 140737183092224 5602147 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30917/statm: 325265 217524 882 2943 0 322159 0
[pid=30917/tid=30919] ppid=30914 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30919/stat : 30919 (toysat) S 30914 30917 30739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31169353 1332285440 217528 33554432000 4194304 16246674 140737183110320 139756236156144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30917/tid=30920] ppid=30914 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30920/stat : 30920 (toysat) S 30914 30917 30739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31169353 1332285440 217530 33554432000 4194304 16246674 140737183110320 139756155415792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30917/tid=30921] ppid=30914 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30921/stat : 30921 (toysat) S 30914 30917 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169353 1332285440 217532 33554432000 4194304 16246674 140737183110320 139756144942256 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.10037 s]
/proc/loadavg: 2.00 1.98 1.90 3/183 30930
/proc/meminfo: memFree=29552692/32872528 swapFree=8540/8540
[pid=30917] ppid=30914 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/30917/stat : 30917 (toysat) R 30914 30917 30739 0 -1 4202496 269517 0 0 0 270 39 0 0 20 0 4 0 31169353 1344868352 269815 33554432000 4194304 16246674 140737183110320 140737183092224 13774516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30917/statm: 328337 269815 888 2943 0 325231 0
[pid=30917/tid=30919] ppid=30914 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30919/stat : 30919 (toysat) S 30914 30917 30739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31169353 1344868352 269815 33554432000 4194304 16246674 140737183110320 139756236156144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30917/tid=30920] ppid=30914 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30920/stat : 30920 (toysat) S 30914 30917 30739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31169353 1344868352 269815 33554432000 4194304 16246674 140737183110320 139756155415792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30917/tid=30921] ppid=30914 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30921/stat : 30921 (toysat) S 30914 30917 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169353 1344868352 269815 33554432000 4194304 16246674 140737183110320 139756144942256 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) 1313348

[startup+6.30038 s]
/proc/loadavg: 2.00 1.98 1.90 3/183 30930
/proc/meminfo: memFree=29551000/32872528 swapFree=8540/8540
[pid=30917] ppid=30914 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/30917/stat : 30917 (toysat) R 30914 30917 30739 0 -1 4202496 269527 0 0 0 590 39 0 0 20 0 4 0 31169353 1344868352 269825 33554432000 4194304 16246674 140737183110320 140737183092224 12415781 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30917/statm: 328337 269825 890 2943 0 325231 0
[pid=30917/tid=30919] ppid=30914 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30919/stat : 30919 (toysat) S 30914 30917 30739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31169353 1344868352 269825 33554432000 4194304 16246674 140737183110320 139756236156144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30917/tid=30920] ppid=30914 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30920/stat : 30920 (toysat) S 30914 30917 30739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31169353 1344868352 269825 33554432000 4194304 16246674 140737183110320 139756155415792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30917/tid=30921] ppid=30914 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30921/stat : 30921 (toysat) S 30914 30917 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169353 1344868352 269825 33554432000 4194304 16246674 140737183110320 139756144942256 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) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.08 2.00 1.90 3/183 30930
/proc/meminfo: memFree=29550644/32872528 swapFree=8540/8540
[pid=30917] ppid=30914 vsize=1313348 CPUtime=12.68 cores=1,3,5,7
/proc/30917/stat : 30917 (toysat) R 30914 30917 30739 0 -1 4202496 269527 0 0 0 1229 39 0 0 20 0 4 0 31169353 1344868352 269825 33554432000 4194304 16246674 140737183110320 140737183092224 7250045 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30917/statm: 328337 269825 890 2943 0 325231 0
[pid=30917/tid=30919] ppid=30914 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30919/stat : 30919 (toysat) S 30914 30917 30739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31169353 1344868352 269825 33554432000 4194304 16246674 140737183110320 139756236156144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30917/tid=30920] ppid=30914 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30920/stat : 30920 (toysat) S 30914 30917 30739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31169353 1344868352 269825 33554432000 4194304 16246674 140737183110320 139756155415792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30917/tid=30921] ppid=30914 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30921/stat : 30921 (toysat) S 30914 30917 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169353 1344868352 269825 33554432000 4194304 16246674 140737183110320 139756144942256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.06 2.00 1.91 3/183 30930
/proc/meminfo: memFree=29550860/32872528 swapFree=8540/8540
[pid=30917] ppid=30914 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/30917/stat : 30917 (toysat) R 30914 30917 30739 0 -1 4202496 269531 0 0 0 2509 39 0 0 20 0 4 0 31169353 1344868352 270083 33554432000 4194304 16246674 140737183110320 140737183092224 5523460 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30917/statm: 328337 270083 892 2943 0 325231 0
[pid=30917/tid=30919] ppid=30914 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30919/stat : 30919 (toysat) S 30914 30917 30739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31169353 1344868352 270083 33554432000 4194304 16246674 140737183110320 139756236156144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30917/tid=30920] ppid=30914 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30920/stat : 30920 (toysat) S 30914 30917 30739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31169353 1344868352 270083 33554432000 4194304 16246674 140737183110320 139756155415792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30917/tid=30921] ppid=30914 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30921/stat : 30921 (toysat) S 30914 30917 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169353 1344868352 270083 33554432000 4194304 16246674 140737183110320 139756144942256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.04 2.00 1.91 3/183 30930
/proc/meminfo: memFree=29550708/32872528 swapFree=8540/8540
[pid=30917] ppid=30914 vsize=1313348 CPUtime=51.07 cores=1,3,5,7
/proc/30917/stat : 30917 (toysat) R 30914 30917 30739 0 -1 4202496 269542 0 0 0 5068 39 0 0 20 0 4 0 31169353 1344868352 270083 33554432000 4194304 16246674 140737183110320 140737183092224 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30917/statm: 328337 270083 892 2943 0 325231 0
[pid=30917/tid=30919] ppid=30914 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30919/stat : 30919 (toysat) S 30914 30917 30739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31169353 1344868352 270083 33554432000 4194304 16246674 140737183110320 139756236156144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30917/tid=30920] ppid=30914 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30920/stat : 30920 (toysat) S 30914 30917 30739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31169353 1344868352 270083 33554432000 4194304 16246674 140737183110320 139756155415792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30917/tid=30921] ppid=30914 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30921/stat : 30921 (toysat) S 30914 30917 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169353 1344868352 270083 33554432000 4194304 16246674 140737183110320 139756144942256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.02 2.00 1.91 3/184 30934
/proc/meminfo: memFree=29547740/32872528 swapFree=8540/8540
[pid=30917] ppid=30914 vsize=1316420 CPUtime=102.26 cores=1,3,5,7
/proc/30917/stat : 30917 (toysat) R 30914 30917 30739 0 -1 4202496 270144 0 0 0 10186 40 0 0 20 0 4 0 31169353 1348014080 270659 33554432000 4194304 16246674 140737183110320 140737183109496 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30917/statm: 329105 270659 892 2943 0 325999 0
[pid=30917/tid=30919] ppid=30914 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30919/stat : 30919 (toysat) S 30914 30917 30739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31169353 1348014080 270659 33554432000 4194304 16246674 140737183110320 139756236156144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30917/tid=30920] ppid=30914 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30920/stat : 30920 (toysat) S 30914 30917 30739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31169353 1348014080 270659 33554432000 4194304 16246674 140737183110320 139756155415792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30917/tid=30921] ppid=30914 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30921/stat : 30921 (toysat) S 30914 30917 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169353 1348014080 270659 33554432000 4194304 16246674 140737183110320 139756144942256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1316420


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

/proc/30917/task/30921/stat : 30921 (toysat) S 30914 30917 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276258 33554432000 4194304 16246674 140737183110320 139756144942256 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) 1338948

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/184 30988
/proc/meminfo: memFree=29503112/32872528 swapFree=8540/8540
[pid=30917] ppid=30914 vsize=1338948 CPUtime=1301.87 cores=1,3,5,7
/proc/30917/stat : 30917 (toysat) R 30914 30917 30739 0 -1 4202496 276098 0 0 0 130134 53 0 0 20 0 4 0 31169353 1371082752 276258 33554432000 4194304 16246674 140737183110320 140737183108160 6012032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30917/statm: 334737 276258 892 2943 0 331631 0
[pid=30917/tid=30919] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30919/stat : 30919 (toysat) S 30914 30917 30739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276258 33554432000 4194304 16246674 140737183110320 139756236156144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30917/tid=30920] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30920/stat : 30920 (toysat) S 30914 30917 30739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276258 33554432000 4194304 16246674 140737183110320 139756155415792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30917/tid=30921] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30921/stat : 30921 (toysat) S 30914 30917 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276258 33554432000 4194304 16246674 140737183110320 139756144942256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1338948

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/183 30989
/proc/meminfo: memFree=29502516/32872528 swapFree=8540/8540
[pid=30917] ppid=30914 vsize=1338948 CPUtime=1361.85 cores=1,3,5,7
/proc/30917/stat : 30917 (toysat) R 30914 30917 30739 0 -1 4202496 276098 0 0 0 136132 53 0 0 20 0 4 0 31169353 1371082752 276258 33554432000 4194304 16246674 140737183110320 140737183092224 5546219 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30917/statm: 334737 276258 892 2943 0 331631 0
[pid=30917/tid=30919] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30919/stat : 30919 (toysat) S 30914 30917 30739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276258 33554432000 4194304 16246674 140737183110320 139756236156144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30917/tid=30920] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30920/stat : 30920 (toysat) S 30914 30917 30739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276258 33554432000 4194304 16246674 140737183110320 139756155415792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30917/tid=30921] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30921/stat : 30921 (toysat) S 30914 30917 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276258 33554432000 4194304 16246674 140737183110320 139756144942256 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) 1338948

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/183 30990
/proc/meminfo: memFree=29503020/32872528 swapFree=8540/8540
[pid=30917] ppid=30914 vsize=1338948 CPUtime=1421.85 cores=1,3,5,7
/proc/30917/stat : 30917 (toysat) R 30914 30917 30739 0 -1 4202496 276098 0 0 0 142131 54 0 0 20 0 4 0 31169353 1371082752 276258 33554432000 4194304 16246674 140737183110320 140737183092224 5823584 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30917/statm: 334737 276258 892 2943 0 331631 0
[pid=30917/tid=30919] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30919/stat : 30919 (toysat) S 30914 30917 30739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276258 33554432000 4194304 16246674 140737183110320 139756236156144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30917/tid=30920] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30920/stat : 30920 (toysat) S 30914 30917 30739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276258 33554432000 4194304 16246674 140737183110320 139756155415792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30917/tid=30921] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30921/stat : 30921 (toysat) S 30914 30917 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276258 33554432000 4194304 16246674 140737183110320 139756144942256 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) 1338948

[startup+1482.3 s]
/proc/loadavg: 2.18 2.05 1.97 3/183 30991
/proc/meminfo: memFree=29503028/32872528 swapFree=8540/8540
[pid=30917] ppid=30914 vsize=1338948 CPUtime=1481.83 cores=1,3,5,7
/proc/30917/stat : 30917 (toysat) R 30914 30917 30739 0 -1 4202496 276098 0 0 0 148129 54 0 0 20 0 4 0 31169353 1371082752 276258 33554432000 4194304 16246674 140737183110320 140737183092224 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30917/statm: 334737 276258 892 2943 0 331631 0
[pid=30917/tid=30919] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30919/stat : 30919 (toysat) S 30914 30917 30739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276258 33554432000 4194304 16246674 140737183110320 139756236156144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30917/tid=30920] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30920/stat : 30920 (toysat) S 30914 30917 30739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276258 33554432000 4194304 16246674 140737183110320 139756155415792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30917/tid=30921] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30921/stat : 30921 (toysat) S 30914 30917 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276258 33554432000 4194304 16246674 140737183110320 139756144942256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1338948

[startup+1542.31 s]
/proc/loadavg: 2.18 2.07 1.98 3/183 30993
/proc/meminfo: memFree=29501784/32872528 swapFree=8540/8540
[pid=30917] ppid=30914 vsize=1338948 CPUtime=1541.84 cores=1,3,5,7
/proc/30917/stat : 30917 (toysat) R 30914 30917 30739 0 -1 4202496 276323 0 0 0 154129 55 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 140737183092224 5712683 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30917/statm: 334737 276483 892 2943 0 331631 0
[pid=30917/tid=30919] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30919/stat : 30919 (toysat) S 30914 30917 30739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 139756236156144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30917/tid=30920] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30920/stat : 30920 (toysat) S 30914 30917 30739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 139756155415792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30917/tid=30921] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30921/stat : 30921 (toysat) S 30914 30917 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 139756144942256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1338948

[startup+1602.3 s]
/proc/loadavg: 2.06 2.06 1.98 3/183 30994
/proc/meminfo: memFree=29502036/32872528 swapFree=8540/8540
[pid=30917] ppid=30914 vsize=1338948 CPUtime=1601.81 cores=1,3,5,7
/proc/30917/stat : 30917 (toysat) R 30914 30917 30739 0 -1 4202496 276323 0 0 0 160126 55 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 140737183092224 12477709 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30917/statm: 334737 276483 892 2943 0 331631 0
[pid=30917/tid=30919] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30919/stat : 30919 (toysat) S 30914 30917 30739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 139756236156144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30917/tid=30920] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30920/stat : 30920 (toysat) S 30914 30917 30739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 139756155415792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30917/tid=30921] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30921/stat : 30921 (toysat) S 30914 30917 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 139756144942256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1338948

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 1.98 3/183 30995
/proc/meminfo: memFree=29502036/32872528 swapFree=8540/8540
[pid=30917] ppid=30914 vsize=1338948 CPUtime=1661.8 cores=1,3,5,7
/proc/30917/stat : 30917 (toysat) R 30914 30917 30739 0 -1 4202496 276323 0 0 0 166125 55 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 140737183092224 6021684 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30917/statm: 334737 276483 892 2943 0 331631 0
[pid=30917/tid=30919] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30919/stat : 30919 (toysat) S 30914 30917 30739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 139756236156144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30917/tid=30920] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30920/stat : 30920 (toysat) S 30914 30917 30739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 139756155415792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30917/tid=30921] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30921/stat : 30921 (toysat) S 30914 30917 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 139756144942256 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) 1338948

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/183 30996
/proc/meminfo: memFree=29501408/32872528 swapFree=8540/8540
[pid=30917] ppid=30914 vsize=1338948 CPUtime=1721.8 cores=1,3,5,7
/proc/30917/stat : 30917 (toysat) R 30914 30917 30739 0 -1 4202496 276323 0 0 0 172124 56 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 140737183092224 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30917/statm: 334737 276483 892 2943 0 331631 0
[pid=30917/tid=30919] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30919/stat : 30919 (toysat) S 30914 30917 30739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 139756236156144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30917/tid=30920] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30920/stat : 30920 (toysat) S 30914 30917 30739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 139756155415792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30917/tid=30921] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30921/stat : 30921 (toysat) S 30914 30917 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 139756144942256 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) 1338948

[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 1.98 3/183 30997
/proc/meminfo: memFree=29501380/32872528 swapFree=8540/8540
[pid=30917] ppid=30914 vsize=1338948 CPUtime=1781.79 cores=1,3,5,7
/proc/30917/stat : 30917 (toysat) R 30914 30917 30739 0 -1 4202496 276323 0 0 0 178122 57 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 140737183092224 6010181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30917/statm: 334737 276483 892 2943 0 331631 0
[pid=30917/tid=30919] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30919/stat : 30919 (toysat) S 30914 30917 30739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 139756236156144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30917/tid=30920] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30920/stat : 30920 (toysat) S 30914 30917 30739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 139756155415792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30917/tid=30921] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30921/stat : 30921 (toysat) S 30914 30917 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 139756144942256 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) 1338948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.08 2.05 1.99 3/183 30997
/proc/meminfo: memFree=29501264/32872528 swapFree=8540/8540
[pid=30917] ppid=30914 vsize=1338948 CPUtime=1800.09 cores=1,3,5,7
/proc/30917/stat : 30917 (toysat) R 30914 30917 30739 0 -1 4202496 276323 0 0 0 179952 57 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 140737183092224 12415821 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30917/statm: 334737 276483 892 2943 0 331631 0
[pid=30917/tid=30919] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30919/stat : 30919 (toysat) S 30914 30917 30739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 139756236156144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30917/tid=30920] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30920/stat : 30920 (toysat) S 30914 30917 30739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 139756155415792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30917/tid=30921] ppid=30914 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/30917/task/30921/stat : 30921 (toysat) S 30914 30917 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169353 1371082752 276483 33554432000 4194304 16246674 140737183110320 139756144942256 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) 1338948

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 30917 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.53
CPU system time (s): 0.571913
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 1338948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.571913
maximum resident set size= 1105932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276323
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= 410
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54831 second user time and 6.97094 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-27 00:48:43
IDJOB=4116149
IDBENCH=109434
IDSOLVER=2542
FILE ID=node151/4116149-1466981323
RUNJOBID= node151-1466981323-30894
PBS_JOBID= 19976342
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-8.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116149-1466981323/watcher-4116149-1466981323 -o /tmp/evaluation-result-4116149-1466981323/solver-4116149-1466981323 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466981323-30894 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116149-1466981323.opb

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

MD5SUM BENCH= 64f83e92e9499eb11dc8bcd5da77f0bb
RANDOM SEED=833071568

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.217
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.43
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.217
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.217
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.217
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.54
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.217
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.56
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.217
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.217
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.217
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31706632 kB
Buffers:           81840 kB
Cached:           342624 kB
SwapCached:         1816 kB
Active:           106156 kB
Inactive:         321212 kB
Active(anon):       5116 kB
Inactive(anon):      848 kB
Active(file):     101040 kB
Inactive(file):   320364 kB
Unevictable:        8540 kB
Mlocked:            8540 kB
SwapTotal:      67108856 kB
SwapFree:       67097004 kB
Dirty:             33388 kB
Writeback:             0 kB
AnonPages:         87972 kB
Mapped:             7236 kB
Shmem:                 0 kB
Slab:             597844 kB
SReclaimable:      41540 kB
SUnreclaim:       556304 kB
KernelStack:        1456 kB
PageTables:         4148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     105100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 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= 71688 MiB
End job on node151 at 2016-06-27 01:18:44