Trace number 4078937

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K86.opb
MD5SUMa7a3236cd0071452eec601ea09fe7bbe
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 variables5848
Total number of constraints6022
Number of constraints which are clauses5936
Number of constraints which are cardinality constraints (but not clauses)86
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint86
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 87
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T09:12:24+0200
0.00/0.31	c version = 0.5.0
0.00/0.31	c githash = 1a49202
0.00/0.31	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.31	c arch = x86_64
0.00/0.31	c os = linux
0.00/0.31	c compiler = ghc 7.10
0.00/0.31	c packages:
0.00/0.31	c   OptDir-0.0.3
0.00/0.31	c   array-0.5.1.0
0.00/0.31	c   base-4.8.2.0
0.00/0.31	c   bytestring-0.10.6.0
0.00/0.31	c   bytestring-builder-0.10.6.0.0
0.00/0.31	c   clock-0.7.2
0.00/0.31	c   containers-0.5.6.2
0.00/0.31	c   data-default-0.5.3
0.00/0.31	c   data-default-class-0.0.1
0.00/0.31	c   data-interval-1.2.0
0.00/0.31	c   deepseq-1.4.1.1
0.00/0.31	c   directory-1.2.2.0
0.00/0.31	c   exceptions-0.8.2.1
0.00/0.31	c   extended-reals-0.2.1.0
0.00/0.31	c   filepath-1.4.0.0
0.00/0.31	c   finite-field-0.8.0
0.00/0.31	c   hashable-1.2.4.0
0.00/0.31	c   heaps-0.3.3
0.00/0.31	c   intern-0.9.1.4
0.00/0.31	c   loop-0.3.0
0.00/0.31	c   mtl-2.2.1
0.00/0.31	c   multiset-0.3.2
0.00/0.31	c   mwc-random-0.13.3.2
0.00/0.31	c   parse_dimacs-1.3
0.00/0.31	c   parsec-3.1.9
0.00/0.31	c   prettyclass-1.0.0.0
0.00/0.31	c   primes-0.2.1.0
0.00/0.31	c   primitive-0.6.1.0
0.00/0.31	c   process-1.2.3.0
0.00/0.31	c   pseudo-boolean-0.1.3.0
0.00/0.31	c   queue-0.1.2
0.00/0.31	c   semigroups-0.18.1
0.00/0.31	c   sign-0.4.3
0.00/0.31	c   stm-2.4.4.1
0.00/0.31	c   template-haskell-2.10.0.0
0.00/0.31	c   temporary-1.2.0.4
0.00/0.31	c   time-1.5.0.1
0.00/0.31	c   transformers-0.4.2.0
0.00/0.31	c   transformers-compat-0.5.1.4
0.00/0.31	c   type-level-numbers-0.1.1.1
0.00/0.31	c   unbounded-delays-0.1.0.9
0.00/0.31	c   unordered-containers-0.2.6.0
0.00/0.31	c   vector-0.11.0.0
0.00/0.31	c   vector-space-0.10.3
0.00/0.31	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078937-1465283544.opb"]
0.00/0.31	c use --random-gen="588974231 1401805370 3995119473 1797662560 1403360621 3299969009 2543151237 3583661445 1894357681 4011981026 1291090762 709279461 2023547992 3127090724 3788793435 864039913 3439156600 963496977 3404153417 138506024 2774930134 1690042551 304186762 1366409739 642756078 3249102814 2215448263 3528759582 533998678 147776977 1853171955 995430780 2302487222 471725120 3308939365 1097309003 1294294297 3881596526 3030163648 1711111740 2670342063 2562298716 3310683230 1408890265 3667511911 313328932 1938394231 1780504065 3246548857 717865331 4046453648 737569556 2139095572 1218998550 1738580942 2702323341 2978965531 1443274544 2836171933 3235140538 2290065571 288755140 1446400671 1610142630 1756627265 284285153 586827113 1699870711 2041862741 3343867600 938494685 3781788184 1678368300 662633669 2722562661 3431736420 3557409045 1869081026 317355308 4291352735 481654335 2432540943 1380927837 2723579633 1558459457 1080110230 2886466048 3471983901 889981813 2940414473 2600268004 2967087949 2370075831 986384583 3129991705 3566134428 3442061536 1105539304 2577375227 3057429242 2439621407 2678290855 3945613363 2807743600 439719092 2470113932 1555800334 1241176054 1769997792 2958919505 2196470106 3560641069 3892886231 259948561 671359073 588249691 1630135646 3778727156 3845418436 2437091546 1432235754 3401248027 292074067 3398569816 3830402972 213071990 2843178949 745955352 2076614357 2690127362 1867658427 2530958654 1560243296 3387705605 3952405591 217298166 2023937920 2380188235 3137398509 3557758178 3696174964 3310141205 2211724206 3563292551 3772264544 2572827322 3539758483 2971905080 2648316139 2509068925 2748129436 2588103568 3828323667 2186706933 2750435643 2278104205 1861973661 1726892624 3172489331 359222407 2744052776 2304828 655179431 179627129 2015073397 679096600 3286629835 3086165332 3791589598 1217030765 4161123086 3223065930 1343716008 4111827241 1084001406 2440570221 3450753370 1094839284 247738044 3272050160 2587019984 1480303404 1709945643 2077522812 3209626625 1242166373 1317138533 2257644980 1788094406 686361930 2408727944 4146876183 2726777045 3066527361 242782684 3033108988 1672785661 1564576355 753679639 2327610167 3307193806 4082633846 3274982175 1065238828 3387833057 3889205823 3110366632 2410810364 1486918084 550895400 97064510 1045126148 3129118680 2789029624 709623773 2179319296 262945142 3657832543 3208112547 2291537754 2408363354 1722610680 1141003979 1461824314 976463204 956893814 829882942 2062468771 3513210607 770465518 2559772935 3910576453 102742559 2678004235 250902936 1272019977 365239409 3965893546 63770849 338347926 3487557475 743871700 2369795727 1586219082 3869456354 1900975689 3398198260 3351906784 2320739142 1366439443 1257379011 3765762525 435252212 1254098513 1264629397 1564202358 255 362436" option to reproduce the execution
0.00/0.32	c #vars 5848
0.00/0.32	c #constraints 6022
0.00/0.32	c Solving starts ...
0.00/0.32	c ============================[ Search Statistics ]============================
0.00/0.32	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.32	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.32	c =============================================================================
0.00/0.32	c  0.0s |       0 |        0 |        0 |     3956      0 |      362 |        0
0.00/0.33	c  0.1s |       1 |     3213 |      100 |     3956      0 |      363 |      304
0.49/0.57	c  0.3s |       2 |     7230 |      250 |     4352      0 |      363 |      304
0.78/0.86	c  0.6s |       3 |    11842 |      475 |     4788      0 |      363 |      304
1.29/1.31	c  1.1s |       4 |    15800 |      813 |     5267      0 |      363 |      304
1.69/1.79	c  1.6s |       5 |    21259 |     1320 |     5794      0 |      363 |      304
2.79/2.81	c  2.6s |       6 |    27548 |     2081 |     7012      0 |      363 |      304
4.29/4.31	c  4.1s |       7 |    38510 |     3223 |     7714      0 |      364 |      305
6.29/6.36	c  6.1s |       7 |    56966 |     4823 |     7714      0 |      366 |      307
6.39/6.46	c  6.2s |       8 |    57297 |     4936 |     8486      0 |      366 |      307
8.49/8.55	c  8.3s |       8 |    76277 |     6236 |     8486      0 |      366 |      307
10.59/10.66	c 10.4s |       8 |    85335 |     7236 |     8486      0 |      366 |      307
10.89/10.93	c 10.7s |       9 |    87995 |     7506 |     9335      0 |      366 |      307
12.99/13.06	c 12.8s |       9 |    94522 |     8906 |     9335      0 |      366 |      307
15.08/15.14	c 14.9s |       9 |    97778 |     9806 |     9335      0 |      366 |      307
17.08/17.15	c 16.9s |       9 |   102358 |    10906 |     9335      0 |      366 |      307
18.08/18.13	c 17.9s |      10 |   104132 |    11361 |    10269      0 |      366 |      307
20.09/20.16	c 19.9s |      10 |   122972 |    12761 |    10269      1 |      368 |      309
22.18/22.23	c 22.0s |      10 |   138900 |    14361 |    10269      1 |      369 |      310
24.18/24.25	c 24.0s |      10 |   161637 |    16161 |    10269      1 |      369 |      310
25.48/25.59	c 25.4s |      11 |   164785 |    17144 |    11296      1 |      369 |      310
27.58/27.69	c 27.5s |      11 |   183134 |    18444 |    11296      2 |      370 |      311
29.68/29.70	c 29.5s |      11 |   196080 |    19844 |    11296      2 |      371 |      312
31.68/31.75	c 31.5s |      11 |   217219 |    21244 |    11296      2 |      372 |      313
33.78/33.86	c 33.6s |      11 |   233186 |    22644 |    11296      2 |      372 |      313
36.08/36.14	c 35.9s |      11 |   237087 |    23444 |    11296      2 |      372 |      313
38.18/38.23	c 38.0s |      11 |   249881 |    24744 |    11296      3 |      374 |      315
40.28/40.32	c 40.1s |      11 |   258006 |    25544 |    11296      3 |      376 |      317
41.38/41.45	c 41.2s |      12 |   258778 |    25819 |    12426      3 |      376 |      317
43.88/43.91	c 43.7s |      12 |   271780 |    26719 |    12426      3 |      376 |      317
46.08/46.10	c 45.9s |      12 |   283380 |    27919 |    12426      3 |      377 |      318
48.18/48.20	c 48.0s |      12 |   307821 |    29119 |    12426      3 |      381 |      322
50.28/50.32	c 50.1s |      12 |   323720 |    30819 |    12426      3 |      381 |      322
52.38/52.40	c 52.2s |      12 |   337863 |    32219 |    12426      3 |      381 |      322
54.38/54.46	c 54.2s |      12 |   348688 |    33319 |    12426      4 |      381 |      322
56.49/56.56	c 56.3s |      12 |   359918 |    34419 |    12426      4 |      381 |      322
58.48/58.58	c 58.4s |      12 |   370125 |    35519 |    12426      4 |      381 |      322
60.78/60.81	c 60.6s |      12 |   376119 |    36519 |    12426      4 |      381 |      322
62.88/62.94	c 62.7s |      12 |   382792 |    37219 |    12426      4 |      381 |      322
65.19/65.27	c 65.1s |      12 |   387020 |    37819 |    12426      4 |      381 |      322
67.39/67.47	c 67.2s |      12 |   389622 |    38219 |    12426      4 |      381 |      322
70.28/70.32	c 70.1s |      12 |   390487 |    38519 |    12426      4 |      381 |      322
72.28/72.38	c 72.2s |      12 |   391801 |    38819 |    13669      4 |      381 |      322
72.38/72.41	c 72.2s |      13 |   391847 |    38832 |    13669      4 |      381 |      322
74.48/74.50	c 74.3s |      13 |   404296 |    39732 |    13669      4 |      381 |      322
76.48/76.53	c 76.3s |      13 |   418976 |    41332 |    13669      5 |      381 |      322
78.78/78.87	c 78.7s |      13 |   426078 |    42432 |    13669      5 |      381 |      322
80.88/80.98	c 80.8s |      13 |   447812 |    43932 |    13669      5 |      381 |      322
82.98/83.02	c 82.8s |      13 |   449797 |    44732 |    13669      5 |      381 |      322
85.18/85.26	c 85.0s |      13 |   452243 |    45332 |    13669      5 |      381 |      322
87.48/87.59	c 87.4s |      13 |   453834 |    45832 |    13669      5 |      381 |      322
89.78/89.86	c 89.6s |      13 |   455124 |    46232 |    13669      5 |      381 |      322
91.98/92.05	c 91.8s |      13 |   457970 |    46932 |    13669      5 |      381 |      322
93.98/94.06	c 93.8s |      13 |   459007 |    47332 |    13669      5 |      381 |      322
96.47/96.52	c 96.3s |      13 |   460475 |    47832 |    13669      5 |      381 |      322
98.57/98.64	c 98.4s |      13 |   462689 |    48332 |    13669      5 |      381 |      322
101.07/101.11	c  100s |      13 |   463786 |    48832 |    13669      5 |      381 |      322
103.37/103.44	c  103s |      13 |   464920 |    49232 |    13669      5 |      381 |      322
106.08/106.15	c  105s |      13 |   465939 |    49632 |    13669      5 |      381 |      322
108.58/108.69	c  108s |      13 |   466846 |    50032 |    13669      5 |      381 |      322
111.67/111.72	c  111s |      13 |   467253 |    50332 |    13669      5 |      381 |      322
114.27/114.38	c  114s |      13 |   467768 |    50632 |    13669      6 |      381 |      322
116.37/116.43	c  116s |      13 |   468399 |    50932 |    13669      6 |      381 |      322
119.47/119.50	c  119s |      13 |   470137 |    51432 |    13669      6 |      381 |      322
121.57/121.69	c  121s |      13 |   470946 |    51732 |    13669      6 |      381 |      322
124.07/124.12	c  123s |      13 |   473020 |    52232 |    13669      6 |      381 |      322
126.57/126.63	c  126s |      13 |   474550 |    52732 |    13669      6 |      381 |      322
128.97/129.02	c  128s |      13 |   476060 |    53232 |    13669      6 |      381 |      322
131.07/131.13	c  130s |      13 |   477684 |    53632 |    13669      6 |      381 |      322
133.17/133.20	c  132s |      13 |   478396 |    53932 |    13669      6 |      381 |      322
135.17/135.27	c  135s |      13 |   480120 |    54332 |    13669      6 |      381 |      322
137.37/137.45	c  137s |      13 |   480809 |    54632 |    13669      6 |      381 |      322
139.77/139.81	c  139s |      13 |   481816 |    54932 |    13669      6 |      381 |      322
141.77/141.89	c  141s |      13 |   483408 |    55332 |    13669      6 |      381 |      322
143.97/144.09	c  143s |      13 |   484419 |    55732 |    13669      6 |      381 |      322
146.47/146.57	c  146s |      13 |   485923 |    56232 |    13669      6 |      381 |      322
148.97/149.02	c  148s |      13 |   487511 |    56732 |    13669      6 |      381 |      322
151.57/151.67	c  151s |      13 |   488460 |    57132 |    13669      6 |      381 |      322
153.96/154.07	c  153s |      13 |   488962 |    57432 |    13669      6 |      381 |      322
156.47/156.54	c  156s |      13 |   489969 |    57832 |    13669      6 |      381 |      322
158.56/158.61	c  158s |      13 |   490760 |    58132 |    15036      6 |      381 |      322
159.46/159.56	c  159s |      14 |   491148 |    58352 |    15036      6 |      381 |      322
161.46/161.58	c  161s |      14 |   497515 |    59052 |    15036      7 |      381 |      322
163.67/163.74	c  163s |      14 |   518326 |    60852 |    15036      7 |      381 |      322
165.67/165.79	c  165s |      14 |   530986 |    61952 |    15036      7 |      382 |      323
167.76/167.86	c  167s |      14 |   546656 |    63252 |    15036      7 |      382 |      323
169.86/169.92	c  169s |      14 |   556736 |    64352 |    15036      7 |      383 |      324
171.97/172.05	c  171s |      14 |   560949 |    65452 |    15036      7 |      383 |      324
174.07/174.15	c  173s |      14 |   567649 |    66152 |    15036      7 |      383 |      324
176.06/176.17	c  175s |      14 |   579709 |    67352 |    15036      8 |      384 |      325
178.26/178.37	c  178s |      14 |   587505 |    68652 |    15036      8 |      385 |      326
180.36/180.40	c  180s |      14 |   590531 |    69352 |    15036      8 |      385 |      326
182.56/182.61	c  182s |      14 |   593593 |    70052 |    15036      8 |      385 |      326
184.96/185.04	c  184s |      14 |   595756 |    70652 |    15036      8 |      385 |      326
187.27/187.33	c  187s |      14 |   597741 |    71352 |    15036      8 |      385 |      326
189.47/189.56	c  189s |      14 |   599260 |    71852 |    15036      8 |      385 |      326
191.67/191.72	c  191s |      14 |   600200 |    72252 |    15036      8 |      385 |      326
193.97/194.04	c  193s |      14 |   601850 |    72852 |    15036      8 |      385 |      326
196.26/196.36	c  196s |      14 |   603264 |    73452 |    15036      8 |      385 |      326
198.66/198.71	c  198s |      14 |   604791 |    73952 |    15036      8 |      385 |      326
200.66/200.72	c  200s |      14 |   609998 |    75052 |    15036      9 |      385 |      326
202.67/202.77	c  202s |      14 |   617286 |    76652 |    15036      9 |      385 |      326
204.66/204.78	c  204s |      14 |   620221 |    77452 |    15036      9 |      385 |      326
206.76/206.87	c  206s |      14 |   629383 |    78452 |    15036      9 |      385 |      326
208.86/208.98	c  208s |      14 |   640378 |    79752 |    15036      9 |      385 |      326
210.96/211.10	c  210s |      14 |   650476 |    81052 |    15036      9 |      386 |      327
213.16/213.23	c  213s |      14 |   662547 |    82552 |    15036      9 |      386 |      327
215.26/215.38	c  215s |      14 |   682305 |    83652 |    15036     10 |      386 |      327
217.36/217.49	c  217s |      14 |   692067 |    84952 |    15036     10 |      386 |      327
219.55/219.68	c  219s |      14 |   699361 |    86052 |    15036     10 |      386 |      327
221.65/221.71	c  221s |      14 |   712563 |    87352 |    16540     10 |      386 |      327
222.25/222.33	c  222s |      15 |   713916 |    87632 |    16540     10 |      386 |      327
224.35/224.45	c  224s |      15 |   720612 |    88432 |    16540     10 |      386 |      327
226.55/226.60	c  226s |      15 |   725168 |    89532 |    16540     10 |      386 |      327
228.55/228.64	c  228s |      15 |   727843 |    90332 |    16540     10 |      386 |      327
230.76/230.86	c  230s |      15 |   731176 |    91232 |    16540     10 |      386 |      327
233.06/233.14	c  232s |      15 |   734368 |    92032 |    16540     10 |      386 |      327
235.06/235.18	c  234s |      15 |   739976 |    92632 |    16540     11 |      386 |      327
237.16/237.29	c  237s |      15 |   764944 |    94432 |    16540     11 |      386 |      327
239.25/239.38	c  239s |      15 |   780903 |    95932 |    16540     11 |      386 |      327
241.35/241.48	c  241s |      15 |   800105 |    97432 |    16540     11 |      386 |      327
243.55/243.68	c  243s |      15 |   807635 |    98432 |    16540     11 |      386 |      327
245.56/245.70	c  245s |      15 |   817320 |    99632 |    16540     11 |      386 |      327
247.65/247.80	c  247s |      15 |   825342 |   100932 |    16540     11 |      386 |      327
249.75/249.82	c  249s |      15 |   841370 |   102332 |    16540     12 |      386 |      327
251.95/252.08	c  251s |      15 |   849368 |   103632 |    16540     12 |      386 |      327
254.05/254.14	c  253s |      15 |   850810 |   104232 |    16540     12 |      386 |      327
256.15/256.25	c  256s |      15 |   851879 |   104732 |    16540     12 |      386 |      327
258.45/258.51	c  258s |      15 |   852730 |   105132 |    16540     12 |      386 |      327
260.85/260.90	c  260s |      15 |   853530 |   105532 |    16540     12 |      386 |      327
262.95/263.07	c  262s |      15 |   854565 |   106032 |    16540     12 |      386 |      327
265.04/265.15	c  264s |      15 |   860468 |   106732 |    16540     12 |      386 |      327
267.44/267.54	c  267s |      15 |   863496 |   107632 |    16540     12 |      386 |      327
269.54/269.61	c  269s |      15 |   867337 |   108432 |    16540     12 |      386 |      327
271.64/271.72	c  271s |      15 |   875229 |   109232 |    16540     12 |      386 |      327
273.64/273.74	c  273s |      15 |   884308 |   110132 |    16540     13 |      386 |      327
275.74/275.83	c  275s |      15 |   895629 |   111632 |    16540     13 |      386 |      327
277.84/277.92	c  277s |      15 |   909740 |   113232 |    16540     13 |      386 |      327
279.84/279.94	c  279s |      15 |   921017 |   114632 |    16540     13 |      386 |      327
281.85/282.00	c  281s |      15 |   931400 |   115732 |    16540     13 |      386 |      327
284.05/284.17	c  283s |      15 |   935237 |   116432 |    16540     13 |      386 |      327
286.14/286.27	c  286s |      15 |   936177 |   116832 |    16540     13 |      386 |      327
288.34/288.42	c  288s |      15 |   951008 |   118032 |    16540     13 |      386 |      327
290.54/290.64	c  290s |      15 |   960660 |   119132 |    16540     14 |      386 |      327
292.74/292.81	c  292s |      15 |   968855 |   120432 |    16540     14 |      386 |      327
294.84/294.94	c  294s |      15 |   980543 |   121732 |    16540     14 |      386 |      327
296.94/297.02	c  296s |      15 |   986424 |   123132 |    16540     14 |      386 |      327
298.94/299.04	c  298s |      15 |   995912 |   124432 |    16540     14 |      386 |      327
300.94/301.06	c  300s |      15 |  1005279 |   125432 |    16540     14 |      386 |      327
303.04/303.17	c  302s |      15 |  1011456 |   126432 |    16540     14 |      386 |      327
305.15/305.29	c  305s |      15 |  1015474 |   127432 |    16540     14 |      386 |      327
307.25/307.39	c  307s |      15 |  1023175 |   128132 |    16540     15 |      386 |      327
309.35/309.44	c  309s |      15 |  1031089 |   129432 |    16540     15 |      386 |      327
311.35/311.48	c  311s |      15 |  1038489 |   130732 |    18194     15 |      386 |      327
312.75/312.89	c  312s |      16 |  1046485 |   131552 |    18194     15 |      386 |      327
314.95/315.01	c  314s |      16 |  1071358 |   133252 |    18194     15 |      386 |      327
316.94/317.08	c  316s |      16 |  1092411 |   134652 |    18194     15 |      386 |      327
319.04/319.15	c  318s |      16 |  1100345 |   135852 |    18194     15 |      386 |      327
321.64/321.70	c  321s |      16 |  1103843 |   136552 |    18194     15 |      386 |      327
323.75/323.87	c  323s |      16 |  1115602 |   137652 |    18194     15 |      386 |      327
325.85/325.98	c  325s |      16 |  1121239 |   138552 |    18194     15 |      386 |      327
328.05/328.16	c  327s |      16 |  1122524 |   138852 |    18194     15 |      386 |      327
330.24/330.32	c  330s |      16 |  1124602 |   139352 |    18194     15 |      386 |      327
332.24/332.35	c  332s |      16 |  1126495 |   139852 |    18194     15 |      386 |      327
334.54/334.64	c  334s |      16 |  1127436 |   140252 |    18194     15 |      386 |      327
336.84/336.93	c  336s |      16 |  1128678 |   140652 |    18194     15 |      386 |      327
339.44/339.50	c  339s |      16 |  1131431 |   141152 |    18194     16 |      386 |      327
341.84/341.91	c  341s |      16 |  1132317 |   141452 |    18194     16 |      386 |      327
343.83/343.97	c  343s |      16 |  1138398 |   142152 |    18194     16 |      386 |      327
346.13/346.24	c  346s |      16 |  1144466 |   142952 |    18194     16 |      386 |      327
348.13/348.28	c  348s |      16 |  1145861 |   143352 |    18194     16 |      386 |      327
351.25/351.35	c  351s |      16 |  1146647 |   143652 |    18194     16 |      386 |      327
353.45/353.54	c  353s |      16 |  1149018 |   144152 |    18194     16 |      386 |      327
355.74/355.81	c  355s |      16 |  1150592 |   144652 |    18194     16 |      386 |      327
357.84/357.91	c  357s |      16 |  1151762 |   144952 |    18194     16 |      386 |      327
360.23/360.33	c  360s |      16 |  1154386 |   145552 |    18194     16 |      386 |      327
362.83/362.93	c  362s |      16 |  1155366 |   145852 |    18194     16 |      386 |      327
364.93/365.05	c  364s |      16 |  1160072 |   146452 |    18194     16 |      386 |      327
367.13/367.23	c  367s |      16 |  1164282 |   147152 |    18194     16 |      386 |      327
369.63/369.74	c  369s |      16 |  1166632 |   147752 |    18194     16 |      386 |      327
371.83/371.93	c  371s |      16 |  1167679 |   147952 |    18194     16 |      386 |      327
373.93/374.07	c  373s |      16 |  1179908 |   148952 |    18194     16 |      386 |      327
376.33/376.40	c  376s |      16 |  1189350 |   150152 |    18194     17 |      386 |      327
378.33/378.45	c  378s |      16 |  1205551 |   151652 |    18194     17 |      386 |      327
380.33/380.49	c  380s |      16 |  1217389 |   152952 |    18194     17 |      386 |      327
382.53/382.65	c  382s |      16 |  1229135 |   154052 |    18194     17 |      386 |      327
385.73/385.88	c  385s |      16 |  1231097 |   154552 |    18194     17 |      386 |      327
388.13/388.29	c  388s |      16 |  1231800 |   154852 |    18194     17 |      386 |      327
390.63/390.73	c  390s |      16 |  1233325 |   155252 |    18194     17 |      386 |      327
393.13/393.28	c  393s |      16 |  1233683 |   155452 |    18194     17 |      386 |      327
395.53/395.67	c  395s |      16 |  1234324 |   155652 |    18194     17 |      386 |      327
397.83/397.93	c  397s |      16 |  1234876 |   155852 |    18194     17 |      386 |      327
399.83/399.97	c  399s |      16 |  1243856 |   156652 |    18194     17 |      386 |      327
402.83/402.94	c  402s |      16 |  1250066 |   157252 |    18194     17 |      386 |      327
405.03/405.12	c  404s |      16 |  1251018 |   157452 |    18194     17 |      386 |      327
407.92/408.04	c  407s |      16 |  1253268 |   157952 |    18194     17 |      386 |      327
409.92/410.08	c  409s |      16 |  1256256 |   158252 |    18194     17 |      386 |      327
412.02/412.13	c  411s |      16 |  1266641 |   159152 |    18194     17 |      386 |      327
414.82/414.92	c  414s |      16 |  1274229 |   159952 |    18194     17 |      386 |      327
417.32/417.47	c  417s |      16 |  1274924 |   160152 |    18194     17 |      386 |      327
419.43/419.57	c  419s |      16 |  1279839 |   160652 |    18194     18 |      386 |      327
421.53/421.69	c  421s |      16 |  1293348 |   161552 |    18194     18 |      386 |      327
423.73/423.90	c  423s |      16 |  1302479 |   162652 |    18194     18 |      386 |      327
425.83/425.92	c  425s |      16 |  1316616 |   163852 |    18194     18 |      388 |      329
427.93/428.07	c  427s |      16 |  1333002 |   165352 |    18194     18 |      388 |      329
430.03/430.13	c  429s |      16 |  1337261 |   166152 |    18194     18 |      388 |      329
432.03/432.14	c  431s |      16 |  1353854 |   167652 |    18194     18 |      388 |      329
434.23/434.30	c  434s |      16 |  1371545 |   169152 |    18194     18 |      388 |      329
436.33/436.42	c  436s |      16 |  1378872 |   170352 |    18194     19 |      388 |      329
438.43/438.54	c  438s |      16 |  1386371 |   171852 |    18194     19 |      388 |      329
440.63/440.71	c  440s |      16 |  1389050 |   172752 |    18194     19 |      388 |      329
442.62/442.76	c  442s |      16 |  1391319 |   173452 |    18194     19 |      388 |      329
444.82/444.93	c  444s |      16 |  1400144 |   174752 |    18194     19 |      388 |      329
446.93/447.01	c  446s |      16 |  1419715 |   176152 |    18194     19 |      389 |      330
448.92/449.03	c  448s |      16 |  1436371 |   177352 |    18194     19 |      390 |      331
451.02/451.13	c  450s |      16 |  1455453 |   178852 |    18194     19 |      390 |      331
453.22/453.30	c  453s |      16 |  1471527 |   180252 |    18194     20 |      390 |      331
455.22/455.36	c  455s |      16 |  1476043 |   181552 |    18194     20 |      390 |      331
457.32/457.46	c  457s |      16 |  1479169 |   182352 |    18194     20 |      390 |      331
459.72/459.80	c  459s |      16 |  1481546 |   183052 |    18194     20 |      390 |      331
461.82/461.90	c  461s |      16 |  1483238 |   183552 |    18194     20 |      390 |      331
464.12/464.22	c  464s |      16 |  1485746 |   184252 |    18194     20 |      390 |      331
466.63/466.80	c  466s |      16 |  1486962 |   184652 |    18194     20 |      390 |      331
469.02/469.20	c  468s |      16 |  1488448 |   185052 |    18194     20 |      390 |      331
471.22/471.34	c  471s |      16 |  1493354 |   185852 |    18194     20 |      390 |      331
473.23/473.36	c  473s |      16 |  1508985 |   187452 |    18194     20 |      390 |      331
475.42/475.51	c  475s |      16 |  1517006 |   188752 |    18194     20 |      390 |      331
477.62/477.78	c  477s |      16 |  1522472 |   189852 |    18194     20 |      390 |      331
480.12/480.21	c  479s |      16 |  1523514 |   190252 |    18194     20 |      390 |      331
482.62/482.70	c  482s |      16 |  1526791 |   191252 |    18194     21 |      390 |      331
484.72/484.86	c  484s |      16 |  1531640 |   192152 |    18194     21 |      390 |      331
486.82/486.97	c  486s |      16 |  1535632 |   192952 |    18194     21 |      390 |      331
488.91/489.06	c  488s |      16 |  1538008 |   193552 |    18194     21 |      390 |      331
491.01/491.18	c  490s |      16 |  1539951 |   194152 |    18194     21 |      390 |      331
493.12/493.23	c  493s |      16 |  1542476 |   194752 |    18194     21 |      390 |      331
495.41/495.54	c  495s |      16 |  1545507 |   195452 |    18194     21 |      390 |      331
497.71/497.80	c  497s |      16 |  1547720 |   196052 |    18194     21 |      390 |      331
500.11/500.26	c  500s |      16 |  1550328 |   196652 |    20014     21 |      390 |      331
502.21/502.35	c  502s |      16 |  1551439 |   197052 |    20014     21 |      390 |      331
504.12/504.28	c  504s |      17 |  1552657 |   197432 |    20014     21 |      390 |      331
506.41/506.51	c  506s |      17 |  1568164 |   198932 |    20014     21 |      390 |      331
508.42/508.52	c  508s |      17 |  1576746 |   200132 |    20014     21 |      390 |      331
510.62/510.74	c  510s |      17 |  1580279 |   201132 |    20014     21 |      390 |      331
512.92/513.01	c  512s |      17 |  1583013 |   201632 |    20014     21 |      390 |      331
515.01/515.18	c  514s |      17 |  1591742 |   203032 |    20014     22 |      390 |      331
517.11/517.24	c  517s |      17 |  1594007 |   203832 |    20014     22 |      390 |      331
519.31/519.46	c  519s |      17 |  1600998 |   205332 |    20014     22 |      390 |      331
521.61/521.76	c  521s |      17 |  1603837 |   206132 |    20014     22 |      390 |      331
523.71/523.87	c  523s |      17 |  1610135 |   207232 |    20014     22 |      390 |      331
525.71/525.88	c  525s |      17 |  1621843 |   208832 |    20014     22 |      390 |      331
527.80/527.92	c  527s |      17 |  1627324 |   209932 |    20014     22 |      390 |      331
529.80/529.93	c  529s |      17 |  1635227 |   210832 |    20014     22 |      390 |      331
531.90/532.02	c  531s |      17 |  1655620 |   212332 |    20014     22 |      390 |      331
533.90/534.07	c  533s |      17 |  1666784 |   213732 |    20014     23 |      390 |      331
536.10/536.21	c  535s |      17 |  1677156 |   215432 |    20014     23 |      390 |      331
538.22/538.33	c  538s |      17 |  1685521 |   216532 |    20014     23 |      390 |      331
540.42/540.55	c  540s |      17 |  1690106 |   217632 |    20014     23 |      390 |      331
542.41/542.60	c  542s |      17 |  1692908 |   218232 |    20014     23 |      390 |      331
544.72/544.89	c  544s |      17 |  1697254 |   219132 |    20014     23 |      390 |      331
546.81/546.96	c  546s |      17 |  1702757 |   220032 |    20014     23 |      390 |      331
549.12/549.28	c  549s |      17 |  1705807 |   220932 |    20014     23 |      390 |      331
551.21/551.32	c  551s |      17 |  1710757 |   221832 |    20014     23 |      390 |      331
553.21/553.33	c  553s |      17 |  1715742 |   222632 |    20014     23 |      390 |      331
555.61/555.71	c  555s |      17 |  1720815 |   223532 |    20014     23 |      390 |      331
557.81/557.94	c  557s |      17 |  1723401 |   224232 |    20014     23 |      390 |      331
560.00/560.20	c  559s |      17 |  1725252 |   224832 |    20014     23 |      390 |      331
562.20/562.34	c  562s |      17 |  1727880 |   225532 |    20014     24 |      390 |      331
564.30/564.42	c  564s |      17 |  1745455 |   227132 |    20014     24 |      390 |      331
566.40/566.54	c  566s |      17 |  1762395 |   228832 |    20014     24 |      390 |      331
568.50/568.64	c  568s |      17 |  1776297 |   230632 |    20014     24 |      390 |      331
570.80/570.96	c  570s |      17 |  1783418 |   231832 |    20014     24 |      390 |      331
572.80/572.98	c  572s |      17 |  1789459 |   232632 |    20014     24 |      390 |      331
575.30/575.43	c  575s |      17 |  1798826 |   233832 |    20014     24 |      390 |      331
577.90/578.08	c  577s |      17 |  1800628 |   234332 |    20014     24 |      390 |      331
580.69/580.82	c  580s |      17 |  1801881 |   234732 |    20014     24 |      390 |      331
583.59/583.72	c  583s |      17 |  1802567 |   235032 |    20014     24 |      390 |      331
585.69/585.84	c  585s |      17 |  1803421 |   235332 |    20014     24 |      390 |      331
587.99/588.18	c  587s |      17 |  1805323 |   235732 |    20014     24 |      390 |      331
590.09/590.25	c  590s |      17 |  1807048 |   236132 |    20014     24 |      390 |      331
592.19/592.36	c  592s |      17 |  1807890 |   236432 |    20014     24 |      390 |      331
594.59/594.73	c  594s |      17 |  1808949 |   236732 |    20014     25 |      390 |      331
596.69/596.82	c  596s |      17 |  1818573 |   238432 |    20014     25 |      391 |      332
598.70/598.85	c  598s |      17 |  1826349 |   239632 |    20014     25 |      391 |      332
600.89/601.09	c  600s |      17 |  1833340 |   240832 |    20014     25 |      391 |      332
602.99/603.18	c  602s |      17 |  1835423 |   241532 |    20014     25 |      391 |      332
605.39/605.59	c  605s |      17 |  1837438 |   242232 |    20014     25 |      391 |      332
608.09/608.23	c  608s |      17 |  1839605 |   242832 |    20014     25 |      391 |      332
610.19/610.38	c  610s |      17 |  1840965 |   243332 |    20014     25 |      391 |      332
612.29/612.43	c  612s |      17 |  1852781 |   244932 |    20014     25 |      392 |      333
614.29/614.49	c  614s |      17 |  1861303 |   246332 |    20014     25 |      392 |      333
616.39/616.50	c  616s |      17 |  1867236 |   247432 |    20014     25 |      392 |      333
618.59/618.76	c  618s |      17 |  1869511 |   248132 |    20014     25 |      392 |      333
620.69/620.82	c  620s |      17 |  1871386 |   248432 |    20014     26 |      392 |      333
622.68/622.85	c  622s |      17 |  1881981 |   250132 |    20014     26 |      392 |      333
624.68/624.85	c  624s |      17 |  1888520 |   251632 |    20014     26 |      392 |      333
626.78/626.98	c  626s |      17 |  1894770 |   253232 |    20014     26 |      392 |      333
628.88/629.08	c  628s |      17 |  1900954 |   254532 |    20014     26 |      392 |      333
631.18/631.32	c  631s |      17 |  1906938 |   255832 |    20014     26 |      392 |      333
633.28/633.41	c  633s |      17 |  1909747 |   256732 |    20014     26 |      392 |      333
635.38/635.56	c  635s |      17 |  1916144 |   257832 |    20014     26 |      392 |      333
637.58/637.73	c  637s |      17 |  1919081 |   258632 |    20014     26 |      392 |      333
639.78/639.92	c  639s |      17 |  1921197 |   259432 |    20014     26 |      392 |      333
641.88/642.09	c  641s |      17 |  1922721 |   260032 |    20014     26 |      392 |      333
644.08/644.26	c  644s |      17 |  1924036 |   260432 |    20014     26 |      392 |      333
646.17/646.35	c  646s |      17 |  1929854 |   261532 |    20014     27 |      392 |      333
648.18/648.36	c  648s |      17 |  1938436 |   263032 |    20014     27 |      392 |      333
650.28/650.43	c  650s |      17 |  1944976 |   264532 |    20014     27 |      392 |      333
652.27/652.49	c  652s |      17 |  1950694 |   265932 |    20014     27 |      392 |      333
654.37/654.55	c  654s |      17 |  1953499 |   266732 |    20014     27 |      392 |      333
656.37/656.59	c  656s |      17 |  1956259 |   267532 |    20014     27 |      392 |      333
658.47/658.65	c  658s |      17 |  1958052 |   268232 |    20014     27 |      392 |      333
660.67/660.84	c  660s |      17 |  1960727 |   268832 |    20014     27 |      392 |      333
662.77/662.91	c  662s |      17 |  1964171 |   269432 |    20014     28 |      393 |      334
664.77/664.98	c  664s |      17 |  1984570 |   271132 |    20014     28 |      393 |      334
666.97/667.11	c  666s |      17 |  2005369 |   272932 |    20014     28 |      394 |      335
668.98/669.11	c  668s |      17 |  2015292 |   274032 |    20014     28 |      394 |      335
670.96/671.13	c  670s |      17 |  2024665 |   275532 |    20014     28 |      394 |      335
673.06/673.23	c  673s |      17 |  2033732 |   276832 |    20014     28 |      394 |      335
675.06/675.24	c  675s |      17 |  2040733 |   277832 |    20014     28 |      394 |      335
677.36/677.56	c  677s |      17 |  2046002 |   278932 |    20014     29 |      394 |      335
679.36/679.60	c  679s |      17 |  2065991 |   280932 |    20014     29 |      394 |      335
681.56/681.73	c  681s |      17 |  2077275 |   282532 |    20014     29 |      394 |      335
683.66/683.89	c  683s |      17 |  2083826 |   283832 |    20014     29 |      394 |      335
685.86/686.09	c  685s |      17 |  2088766 |   285032 |    20014     29 |      394 |      335
687.96/688.13	c  687s |      17 |  2091388 |   285832 |    20014     29 |      394 |      335
689.96/690.19	c  689s |      17 |  2094066 |   286732 |    20014     29 |      394 |      335
692.06/692.22	c  692s |      17 |  2096194 |   287432 |    20014     29 |      394 |      335
694.16/694.34	c  694s |      17 |  2099002 |   288132 |    20014     29 |      394 |      335
696.16/696.36	c  696s |      17 |  2101334 |   288732 |    20014     30 |      394 |      335
698.25/698.44	c  698s |      17 |  2113842 |   290532 |    20014     30 |      394 |      335
700.45/700.63	c  700s |      17 |  2119394 |   291832 |    20014     30 |      394 |      335
702.55/702.70	c  702s |      17 |  2122663 |   292632 |    20014     30 |      394 |      335
704.75/704.99	c  704s |      17 |  2125784 |   293432 |    20014     30 |      394 |      335
706.85/707.04	c  706s |      17 |  2127651 |   294032 |    20014     30 |      394 |      335
708.96/709.11	c  708s |      17 |  2128655 |   294432 |    22016     30 |      394 |      335
711.05/711.29	c  711s |      17 |  2132157 |   295332 |    22016     30 |      394 |      335
713.15/713.36	c  713s |      17 |  2135408 |   296132 |    22016     30 |      394 |      335
713.45/713.61	c  713s |      18 |  2136083 |   296252 |    22016     30 |      394 |      335
715.55/715.74	c  715s |      18 |  2158452 |   297852 |    22016     30 |      394 |      335
717.65/717.81	c  717s |      18 |  2168440 |   299152 |    22016     31 |      394 |      335
719.66/719.85	c  719s |      18 |  2182305 |   301152 |    22016     31 |      394 |      335
721.76/721.94	c  721s |      18 |  2201994 |   303152 |    22016     31 |      394 |      335
723.85/724.04	c  723s |      18 |  2218689 |   304752 |    22016     31 |      394 |      335
725.95/726.17	c  725s |      18 |  2235912 |   306252 |    22016     31 |      394 |      335
728.15/728.34	c  728s |      18 |  2245076 |   307752 |    22016     31 |      394 |      335
730.15/730.34	c  730s |      18 |  2257005 |   309252 |    22016     31 |      394 |      335
732.25/732.42	c  732s |      18 |  2262973 |   310352 |    22016     32 |      394 |      335
734.45/734.60	c  734s |      18 |  2268446 |   311452 |    22016     32 |      394 |      335
736.45/736.60	c  736s |      18 |  2277608 |   312552 |    22016     32 |      394 |      335
738.55/738.79	c  738s |      18 |  2283876 |   313652 |    22016     32 |      394 |      335
741.15/741.30	c  741s |      18 |  2290440 |   314752 |    22016     32 |      394 |      335
743.25/743.41	c  743s |      18 |  2295796 |   315552 |    22016     32 |      394 |      335
745.24/745.45	c  745s |      18 |  2305233 |   317052 |    22016     32 |      394 |      335
747.34/747.50	c  747s |      18 |  2307980 |   317952 |    22016     32 |      394 |      335
749.54/749.70	c  749s |      18 |  2311548 |   318652 |    22016     32 |      394 |      335
751.55/751.78	c  751s |      18 |  2313619 |   319152 |    22016     32 |      394 |      335
753.84/754.02	c  753s |      18 |  2321437 |   320152 |    22016     32 |      394 |      335
755.85/756.07	c  755s |      18 |  2329552 |   321452 |    22016     33 |      394 |      335
758.05/758.24	c  758s |      18 |  2338052 |   323052 |    22016     33 |      394 |      335
760.25/760.42	c  760s |      18 |  2343017 |   324252 |    22016     33 |      394 |      335
762.24/762.45	c  762s |      18 |  2344962 |   324952 |    22016     33 |      394 |      335
764.24/764.49	c  764s |      18 |  2347818 |   325752 |    22016     33 |      394 |      335
766.64/766.85	c  766s |      18 |  2349022 |   326252 |    22016     33 |      394 |      335
768.74/768.90	c  768s |      18 |  2353761 |   326952 |    22016     33 |      394 |      335
770.73/770.95	c  770s |      18 |  2367178 |   328552 |    22016     33 |      394 |      335
772.93/773.17	c  772s |      18 |  2371956 |   329752 |    22016     33 |      394 |      335
775.23/775.43	c  775s |      18 |  2376727 |   330352 |    22016     34 |      394 |      335
777.43/777.63	c  777s |      18 |  2393014 |   332352 |    22016     34 |      394 |      335
779.43/779.66	c  779s |      18 |  2405122 |   334052 |    22016     34 |      394 |      335
781.43/781.69	c  781s |      18 |  2409725 |   334952 |    22016     34 |      394 |      335
783.63/783.81	c  783s |      18 |  2432402 |   336652 |    22016     34 |      394 |      335
785.64/785.88	c  785s |      18 |  2452807 |   338252 |    22016     34 |      394 |      335
787.73/787.94	c  787s |      18 |  2472048 |   339952 |    22016     35 |      394 |      335
789.72/789.98	c  789s |      18 |  2491913 |   341652 |    22016     35 |      394 |      335
791.82/792.01	c  791s |      18 |  2510884 |   343252 |    22016     35 |      394 |      335
793.82/794.02	c  793s |      18 |  2520822 |   344752 |    22016     35 |      394 |      335
795.92/796.16	c  795s |      18 |  2524632 |   345952 |    22016     35 |      394 |      335
798.02/798.20	c  797s |      18 |  2527043 |   346852 |    22016     35 |      394 |      335
800.02/800.26	c  800s |      18 |  2538483 |   348352 |    22016     36 |      394 |      335
802.12/802.31	c  802s |      18 |  2552230 |   350052 |    22016     36 |      394 |      335
804.12/804.34	c  804s |      18 |  2556670 |   351052 |    22016     36 |      394 |      335
806.22/806.45	c  806s |      18 |  2564356 |   352352 |    22016     36 |      394 |      335
808.32/808.57	c  808s |      18 |  2568329 |   353452 |    22016     36 |      394 |      335
810.51/810.78	c  810s |      18 |  2570810 |   354452 |    22016     36 |      394 |      335
812.61/812.81	c  812s |      18 |  2575865 |   355552 |    22016     36 |      394 |      335
814.61/814.86	c  814s |      18 |  2580703 |   356752 |    22016     37 |      394 |      335
816.61/816.86	c  816s |      18 |  2587889 |   358052 |    22016     37 |      394 |      335
818.81/819.08	c  818s |      18 |  2591156 |   359152 |    22016     37 |      394 |      335
820.91/821.19	c  820s |      18 |  2598632 |   360252 |    22016     37 |      394 |      335
823.02/823.29	c  823s |      18 |  2616204 |   361852 |    22016     37 |      394 |      335
825.11/825.39	c  825s |      18 |  2633941 |   363552 |    22016     37 |      394 |      335
827.21/827.40	c  827s |      18 |  2643457 |   364652 |    22016     38 |      394 |      335
829.21/829.42	c  829s |      18 |  2657304 |   366252 |    22016     38 |      394 |      335
831.21/831.47	c  831s |      18 |  2671004 |   367852 |    22016     38 |      394 |      335
833.41/833.60	c  833s |      18 |  2683051 |   369052 |    22016     38 |      394 |      335
835.41/835.69	c  835s |      18 |  2688913 |   370052 |    22016     38 |      394 |      335
837.80/838.06	c  837s |      18 |  2690225 |   370452 |    22016     38 |      394 |      335
840.30/840.55	c  840s |      18 |  2696481 |   371552 |    22016     38 |      394 |      335
842.30/842.56	c  842s |      18 |  2702552 |   372352 |    22016     39 |      394 |      335
844.40/844.60	c  844s |      18 |  2719305 |   374152 |    22016     39 |      394 |      335
846.40/846.64	c  846s |      18 |  2734201 |   375652 |    22016     39 |      394 |      335
848.40/848.66	c  848s |      18 |  2752054 |   377352 |    22016     39 |      394 |      335
850.40/850.68	c  850s |      18 |  2763682 |   378752 |    22016     39 |      394 |      335
852.39/852.69	c  852s |      18 |  2768466 |   379852 |    22016     39 |      394 |      335
854.49/854.74	c  854s |      18 |  2775147 |   381252 |    22016     40 |      394 |      335
856.49/856.76	c  856s |      18 |  2784776 |   382652 |    22016     40 |      394 |      335
858.49/858.76	c  858s |      18 |  2792827 |   383952 |    22016     40 |      394 |      335
860.69/860.90	c  860s |      18 |  2797988 |   385052 |    22016     40 |      394 |      335
862.99/863.28	c  863s |      18 |  2802128 |   385952 |    22016     40 |      394 |      335
865.60/865.80	c  865s |      18 |  2806011 |   386652 |    22016     40 |      394 |      335
867.60/867.80	c  867s |      18 |  2812122 |   387852 |    22016     41 |      394 |      335
869.59/869.82	c  869s |      18 |  2816755 |   389052 |    22016     41 |      394 |      335
871.69/871.90	c  871s |      18 |  2824666 |   390452 |    22016     41 |      394 |      335
873.79/874.02	c  873s |      18 |  2829491 |   391552 |    22016     41 |      394 |      335
875.89/876.14	c  875s |      18 |  2831545 |   392252 |    22016     41 |      394 |      335
878.09/878.31	c  878s |      18 |  2837044 |   393552 |    22016     41 |      394 |      335
880.10/880.40	c  880s |      18 |  2842928 |   394552 |    22016     42 |      394 |      335
882.40/882.68	c  882s |      18 |  2852136 |   396052 |    22016     42 |      394 |      335
884.69/884.91	c  884s |      18 |  2854974 |   396852 |    22016     42 |      394 |      335
886.70/886.94	c  886s |      18 |  2859005 |   397752 |    22016     42 |      394 |      335
888.79/889.01	c  888s |      18 |  2864151 |   398852 |    22016     42 |      394 |      335
890.79/891.03	c  890s |      18 |  2869743 |   399852 |    22016     42 |      394 |      335
892.79/893.05	c  892s |      18 |  2873857 |   400852 |    22016     43 |      394 |      335
894.89/895.12	c  894s |      18 |  2879705 |   402352 |    22016     43 |      394 |      335
896.88/897.17	c  896s |      18 |  2885039 |   403652 |    22016     43 |      394 |      335
898.98/899.27	c  899s |      18 |  2890424 |   404852 |    22016     43 |      394 |      335
901.09/901.34	c  901s |      18 |  2894867 |   405852 |    22016     43 |      394 |      335
903.08/903.36	c  903s |      18 |  2898804 |   406852 |    22016     44 |      394 |      335
905.18/905.43	c  905s |      18 |  2905229 |   408452 |    22016     44 |      394 |      335
907.28/907.54	c  907s |      18 |  2915923 |   409952 |    22016     44 |      394 |      335
909.28/909.59	c  909s |      18 |  2926305 |   411452 |    22016     44 |      394 |      335
911.37/911.60	c  911s |      18 |  2939284 |   413052 |    22016     45 |      394 |      335
913.47/913.75	c  913s |      18 |  2948290 |   414252 |    22016     45 |      394 |      335
915.47/915.79	c  915s |      18 |  2959279 |   415452 |    22016     45 |      394 |      335
917.67/917.91	c  917s |      18 |  2967675 |   416652 |    22016     45 |      394 |      335
919.87/920.18	c  919s |      18 |  2976551 |   417952 |    22016     46 |      394 |      335
921.98/922.24	c  922s |      18 |  2986907 |   419352 |    22016     46 |      394 |      335
924.17/924.43	c  924s |      18 |  2991315 |   420452 |    22016     46 |      394 |      335
926.37/926.69	c  926s |      18 |  2993164 |   421052 |    22016     46 |      394 |      335
928.67/928.94	c  928s |      18 |  2994395 |   421552 |    22016     46 |      394 |      335
931.26/931.53	c  931s |      18 |  2995735 |   422052 |    22016     46 |      394 |      335
933.46/933.72	c  933s |      18 |  2996670 |   422452 |    22016     46 |      394 |      335
935.46/935.74	c  935s |      18 |  3003020 |   423252 |    22016     47 |      394 |      335
937.56/937.84	c  937s |      18 |  3017762 |   424852 |    22016     47 |      395 |      336
939.65/939.95	c  939s |      18 |  3036276 |   426552 |    22016     47 |      396 |      337
941.66/941.99	c  941s |      18 |  3044945 |   427852 |    22016     48 |      396 |      337
943.75/944.03	c  943s |      18 |  3067366 |   429752 |    22016     48 |      396 |      337
945.85/946.16	c  945s |      18 |  3070877 |   431052 |    22016     48 |      396 |      337
948.26/948.56	c  948s |      18 |  3077377 |   432152 |    22016     49 |      396 |      337
950.25/950.57	c  950s |      18 |  3091948 |   433852 |    22016     49 |      396 |      337
952.46/952.72	c  952s |      18 |  3094964 |   434852 |    22016     49 |      396 |      337
954.55/954.87	c  954s |      18 |  3103359 |   435952 |    22016     49 |      396 |      337
956.75/957.07	c  956s |      18 |  3108436 |   437252 |    22016     49 |      396 |      337
958.85/959.14	c  958s |      18 |  3112439 |   438052 |    22016     50 |      396 |      337
960.95/961.23	c  961s |      18 |  3121644 |   439552 |    22016     50 |      396 |      337
963.05/963.34	c  963s |      18 |  3129265 |   440852 |    22016     50 |      396 |      337
965.15/965.44	c  965s |      18 |  3137299 |   442252 |    24218     50 |      396 |      337
967.35/967.60	c  967s |      18 |  3142122 |   443352 |    24218     50 |      396 |      337
969.25/969.54	c  969s |      19 |  3148560 |   444482 |    24218     50 |      396 |      337
971.45/971.71	c  971s |      19 |  3170373 |   446082 |    24218     51 |      396 |      337
973.55/973.80	c  973s |      19 |  3182981 |   447682 |    24218     51 |      396 |      337
975.54/975.85	c  975s |      19 |  3186868 |   448782 |    24218     51 |      396 |      337
977.84/978.15	c  977s |      19 |  3190043 |   449682 |    24218     51 |      396 |      337
979.93/980.26	c  980s |      19 |  3193815 |   450582 |    24218     51 |      396 |      337
982.03/982.34	c  982s |      19 |  3204709 |   452082 |    24218     52 |      396 |      337
984.23/984.55	c  984s |      19 |  3217963 |   453782 |    24218     52 |      396 |      337
986.53/986.83	c  986s |      19 |  3225182 |   454982 |    24218     52 |      396 |      337
988.73/989.02	c  988s |      19 |  3227547 |   455782 |    24218     52 |      396 |      337
990.92/991.28	c  991s |      19 |  3229911 |   456582 |    24218     52 |      396 |      337
993.02/993.37	c  993s |      19 |  3231033 |   457082 |    24218     52 |      396 |      337
995.22/995.52	c  995s |      19 |  3232512 |   457582 |    24218     52 |      396 |      337
997.43/997.72	c  997s |      19 |  3233695 |   457982 |    24218     52 |      396 |      337
999.43/999.77	c  999s |      19 |  3237485 |   458682 |    24218     53 |      396 |      337
1001.83/1002.16	c 1001s |      19 |  3245162 |   460082 |    24218     53 |      396 |      337
1003.93/1004.28	c 1004s |      19 |  3247575 |   460682 |    24218     53 |      396 |      337
1006.03/1006.39	c 1006s |      19 |  3250378 |   461282 |    24218     53 |      396 |      337
1008.22/1008.57	c 1008s |      19 |  3261383 |   462882 |    24218     53 |      396 |      337
1010.32/1010.69	c 1010s |      19 |  3280821 |   464382 |    24218     53 |      396 |      337
1012.52/1012.86	c 1012s |      19 |  3288509 |   465582 |    24218     53 |      396 |      337
1014.62/1014.93	c 1014s |      19 |  3292133 |   466182 |    24218     54 |      396 |      337
1016.72/1017.01	c 1016s |      19 |  3297620 |   467382 |    24218     54 |      396 |      337
1018.73/1019.03	c 1018s |      19 |  3308606 |   468782 |    24218     54 |      396 |      337
1020.71/1021.06	c 1020s |      19 |  3316764 |   469982 |    24218     54 |      396 |      337
1023.02/1023.35	c 1023s |      19 |  3319655 |   470882 |    24218     54 |      396 |      337
1025.01/1025.35	c 1025s |      19 |  3323240 |   471682 |    24218     54 |      396 |      337
1027.42/1027.70	c 1027s |      19 |  3328568 |   472882 |    24218     55 |      396 |      337
1029.61/1029.94	c 1029s |      19 |  3329828 |   473382 |    24218     55 |      396 |      337
1031.61/1031.98	c 1031s |      19 |  3332177 |   473982 |    24218     55 |      396 |      337
1033.60/1033.99	c 1033s |      19 |  3340240 |   475382 |    24218     55 |      396 |      337
1035.70/1036.00	c 1035s |      19 |  3349974 |   476782 |    24218     55 |      396 |      337
1037.80/1038.14	c 1037s |      19 |  3355394 |   478082 |    24218     55 |      396 |      337
1039.90/1040.22	c 1039s |      19 |  3364033 |   479482 |    24218     56 |      396 |      337
1042.00/1042.37	c 1042s |      19 |  3369966 |   480882 |    24218     56 |      396 |      337
1044.20/1044.50	c 1044s |      19 |  3376447 |   482082 |    24218     56 |      396 |      337
1046.20/1046.57	c 1046s |      19 |  3381682 |   483082 |    24218     56 |      396 |      337
1048.49/1048.82	c 1048s |      19 |  3384167 |   483982 |    24218     56 |      396 |      337
1050.99/1051.38	c 1051s |      19 |  3387939 |   484782 |    24218     57 |      396 |      337
1053.09/1053.47	c 1053s |      19 |  3393222 |   486182 |    24218     57 |      396 |      337
1055.29/1055.63	c 1055s |      19 |  3400064 |   487582 |    24218     57 |      396 |      337
1057.29/1057.68	c 1057s |      19 |  3407813 |   488882 |    24218     57 |      396 |      337
1059.40/1059.76	c 1059s |      19 |  3411685 |   489882 |    24218     57 |      396 |      337
1061.49/1061.83	c 1061s |      19 |  3415619 |   490782 |    24218     57 |      396 |      337
1063.48/1063.84	c 1063s |      19 |  3419357 |   491782 |    24218     58 |      396 |      337
1065.58/1065.94	c 1065s |      19 |  3423905 |   492782 |    24218     58 |      396 |      337
1067.68/1068.08	c 1067s |      19 |  3428369 |   493882 |    24218     58 |      396 |      337
1070.08/1070.44	c 1070s |      19 |  3431779 |   494782 |    24218     58 |      396 |      337
1072.18/1072.51	c 1072s |      19 |  3433333 |   495282 |    24218     58 |      396 |      337
1074.38/1074.76	c 1074s |      19 |  3436035 |   495982 |    24218     58 |      396 |      337
1076.68/1077.00	c 1076s |      19 |  3437736 |   496582 |    24218     58 |      396 |      337
1078.98/1079.33	c 1079s |      19 |  3439917 |   497182 |    24218     58 |      396 |      337
1081.07/1081.48	c 1081s |      19 |  3442145 |   497882 |    24218     59 |      396 |      337
1083.47/1083.88	c 1083s |      19 |  3447051 |   498882 |    24218     59 |      396 |      337
1085.67/1086.07	c 1085s |      19 |  3449861 |   499882 |    24218     59 |      396 |      337
1087.77/1088.16	c 1087s |      19 |  3453687 |   500782 |    24218     59 |      396 |      337
1089.97/1090.35	c 1090s |      19 |  3455295 |   501382 |    24218     59 |      396 |      337
1092.17/1092.58	c 1092s |      19 |  3456656 |   501982 |    24218     59 |      396 |      337
1094.27/1094.65	c 1094s |      19 |  3458811 |   502482 |    24218     59 |      396 |      337
1096.37/1096.71	c 1096s |      19 |  3461031 |   503082 |    24218     59 |      396 |      337
1098.46/1098.84	c 1098s |      19 |  3462920 |   503582 |    24218     60 |      396 |      337
1100.46/1100.88	c 1100s |      19 |  3469549 |   504882 |    24218     60 |      396 |      337
1102.46/1102.88	c 1102s |      19 |  3476503 |   506082 |    24218     60 |      396 |      337
1104.96/1105.35	c 1105s |      19 |  3479209 |   506882 |    24218     60 |      396 |      337
1107.06/1107.43	c 1107s |      19 |  3481953 |   507582 |    24218     60 |      396 |      337
1109.65/1110.03	c 1109s |      19 |  3483741 |   508282 |    24218     60 |      396 |      337
1111.75/1112.15	c 1111s |      19 |  3491805 |   509282 |    24218     61 |      396 |      337
1113.95/1114.37	c 1114s |      19 |  3496386 |   510382 |    24218     61 |      396 |      337
1116.05/1116.42	c 1116s |      19 |  3497761 |   510882 |    24218     61 |      396 |      337
1118.15/1118.57	c 1118s |      19 |  3504683 |   511682 |    24218     61 |      396 |      337
1120.24/1120.60	c 1120s |      19 |  3508097 |   512782 |    24218     61 |      396 |      337
1122.44/1122.88	c 1122s |      19 |  3510180 |   513482 |    24218     61 |      396 |      337
1124.94/1125.31	c 1125s |      19 |  3511709 |   514082 |    24218     61 |      396 |      337
1127.14/1127.55	c 1127s |      19 |  3514580 |   515082 |    24218     62 |      396 |      337
1129.24/1129.69	c 1129s |      19 |  3519717 |   516282 |    24218     62 |      396 |      337
1131.34/1131.73	c 1131s |      19 |  3526780 |   517382 |    24218     62 |      396 |      337
1133.43/1133.84	c 1133s |      19 |  3533867 |   518682 |    24218     62 |      396 |      337
1135.53/1135.95	c 1135s |      19 |  3536706 |   519382 |    24218     62 |      396 |      337
1137.93/1138.39	c 1138s |      19 |  3539061 |   519982 |    24218     62 |      396 |      337
1140.23/1140.60	c 1140s |      19 |  3540576 |   520382 |    24218     62 |      396 |      337
1142.34/1142.77	c 1142s |      19 |  3543355 |   521382 |    24218     63 |      396 |      337
1144.54/1144.95	c 1144s |      19 |  3544704 |   521882 |    24218     63 |      396 |      337
1146.64/1147.04	c 1146s |      19 |  3546318 |   522382 |    24218     63 |      396 |      337
1148.84/1149.21	c 1148s |      19 |  3547156 |   522682 |    24218     63 |      396 |      337
1150.93/1151.38	c 1151s |      19 |  3551273 |   523682 |    24218     63 |      396 |      337
1153.03/1153.49	c 1153s |      19 |  3552806 |   524282 |    24218     63 |      396 |      337
1155.23/1155.61	c 1155s |      19 |  3554161 |   524782 |    24218     63 |      396 |      337
1157.33/1157.77	c 1157s |      19 |  3556080 |   525282 |    24218     63 |      396 |      337
1159.33/1159.78	c 1159s |      19 |  3559886 |   525982 |    24218     64 |      396 |      337
1161.42/1161.90	c 1161s |      19 |  3566247 |   527482 |    24218     64 |      396 |      337
1163.62/1164.03	c 1163s |      19 |  3569040 |   528382 |    24218     64 |      396 |      337
1165.72/1166.20	c 1165s |      19 |  3571685 |   529282 |    24218     64 |      396 |      337
1167.92/1168.35	c 1168s |      19 |  3576039 |   530182 |    24218     64 |      396 |      337
1169.91/1170.40	c 1170s |      19 |  3578558 |   530982 |    24218     64 |      396 |      337
1172.01/1172.47	c 1172s |      19 |  3581504 |   531882 |    24218     65 |      396 |      337
1174.31/1174.70	c 1174s |      19 |  3583977 |   532682 |    24218     65 |      396 |      337
1176.31/1176.71	c 1176s |      19 |  3586050 |   533482 |    24218     65 |      396 |      337
1178.31/1178.75	c 1178s |      19 |  3587874 |   534182 |    24218     65 |      396 |      337
1180.51/1180.90	c 1180s |      19 |  3590393 |   534882 |    24218     65 |      396 |      337
1182.61/1183.09	c 1182s |      19 |  3592470 |   535582 |    24218     65 |      396 |      337
1184.91/1185.35	c 1185s |      19 |  3595383 |   536182 |    24218     65 |      396 |      337
1186.92/1187.35	c 1187s |      19 |  3598281 |   536882 |    24218     66 |      396 |      337
1188.91/1189.38	c 1189s |      19 |  3602200 |   537782 |    24218     66 |      396 |      337
1191.21/1191.67	c 1191s |      19 |  3605360 |   538582 |    24218     66 |      396 |      337
1193.41/1193.89	c 1193s |      19 |  3607163 |   539182 |    24218     66 |      396 |      337
1195.80/1196.29	c 1196s |      19 |  3608370 |   539682 |    24218     66 |      396 |      337
1197.91/1198.36	c 1198s |      19 |  3610299 |   540282 |    24218     66 |      396 |      337
1200.01/1200.43	c 1200s |      19 |  3613057 |   540982 |    24218     66 |      396 |      337
1202.00/1202.49	c 1202s |      19 |  3614192 |   541382 |    24218     66 |      396 |      337
1204.10/1204.59	c 1204s |      19 |  3616896 |   542082 |    24218     67 |      396 |      337
1206.30/1206.79	c 1206s |      19 |  3619783 |   542882 |    24218     67 |      396 |      337
1208.40/1208.82	c 1208s |      19 |  3623757 |   543782 |    24218     67 |      396 |      337
1210.50/1210.94	c 1210s |      19 |  3626498 |   544582 |    24218     67 |      396 |      337
1212.59/1213.06	c 1212s |      19 |  3627900 |   545082 |    24218     67 |      396 |      337
1214.69/1215.16	c 1214s |      19 |  3630339 |   545782 |    24218     67 |      396 |      337
1216.69/1217.16	c 1216s |      19 |  3631575 |   546182 |    24218     67 |      396 |      337
1218.80/1219.21	c 1218s |      19 |  3632248 |   546482 |    24218     67 |      396 |      337
1220.79/1221.24	c 1221s |      19 |  3634211 |   546982 |    24218     68 |      396 |      337
1222.99/1223.46	c 1223s |      19 |  3638321 |   548082 |    24218     68 |      396 |      337
1225.40/1225.82	c 1225s |      19 |  3640751 |   548882 |    24218     68 |      396 |      337
1227.69/1228.13	c 1227s |      19 |  3645162 |   549882 |    24218     68 |      396 |      337
1229.80/1230.21	c 1229s |      19 |  3646348 |   550482 |    24218     68 |      396 |      337
1232.09/1232.55	c 1232s |      19 |  3647689 |   551082 |    24218     68 |      396 |      337
1234.10/1234.55	c 1234s |      19 |  3650388 |   551782 |    24218     69 |      396 |      337
1236.19/1236.62	c 1236s |      19 |  3654909 |   552982 |    24218     69 |      396 |      337
1238.49/1238.96	c 1238s |      19 |  3657846 |   553882 |    24218     69 |      396 |      337
1240.79/1241.28	c 1241s |      19 |  3658997 |   554382 |    24218     69 |      396 |      337
1242.99/1243.44	c 1243s |      19 |  3660691 |   554882 |    24218     69 |      396 |      337
1245.19/1245.62	c 1245s |      19 |  3662855 |   555482 |    24218     69 |      396 |      337
1247.59/1248.05	c 1247s |      19 |  3663712 |   555882 |    24218     69 |      396 |      337
1249.99/1250.41	c 1250s |      19 |  3665089 |   556382 |    24218     69 |      396 |      337
1252.09/1252.58	c 1252s |      19 |  3667785 |   557082 |    24218     70 |      396 |      337
1254.49/1254.98	c 1254s |      19 |  3669640 |   557782 |    24218     70 |      396 |      337
1256.79/1257.27	c 1257s |      19 |  3671503 |   558382 |    24218     70 |      396 |      337
1258.99/1259.45	c 1259s |      19 |  3673188 |   559082 |    24218     70 |      396 |      337
1261.09/1261.58	c 1261s |      19 |  3674326 |   559582 |    24218     70 |      396 |      337
1263.39/1263.80	c 1263s |      19 |  3675806 |   560082 |    24218     70 |      396 |      337
1265.59/1266.01	c 1265s |      19 |  3676868 |   560582 |    24218     70 |      396 |      337
1268.19/1268.67	c 1268s |      19 |  3677923 |   560982 |    24218     70 |      396 |      337
1270.78/1271.23	c 1271s |      19 |  3680536 |   561582 |    24218     71 |      396 |      337
1273.08/1273.58	c 1273s |      19 |  3681810 |   562082 |    24218     71 |      396 |      337
1275.39/1275.88	c 1275s |      19 |  3683418 |   562682 |    24218     71 |      396 |      337
1277.49/1277.91	c 1277s |      19 |  3684793 |   563182 |    24218     71 |      396 |      337
1279.69/1280.15	c 1279s |      19 |  3686293 |   563682 |    24218     71 |      396 |      337
1282.18/1282.60	c 1282s |      19 |  3687811 |   564182 |    24218     71 |      396 |      337
1284.18/1284.65	c 1284s |      19 |  3688370 |   564482 |    24218     71 |      396 |      337
1286.29/1286.73	c 1286s |      19 |  3689259 |   564882 |    24218     71 |      396 |      337
1288.59/1289.01	c 1288s |      19 |  3690556 |   565382 |    24218     71 |      396 |      337
1290.69/1291.13	c 1290s |      19 |  3692226 |   565982 |    24218     72 |      396 |      337
1292.79/1293.20	c 1292s |      19 |  3694216 |   566682 |    24218     72 |      396 |      337
1294.98/1295.44	c 1295s |      19 |  3695263 |   567182 |    24218     72 |      396 |      337
1297.18/1297.62	c 1297s |      19 |  3696687 |   567682 |    24218     72 |      396 |      337
1299.68/1300.13	c 1299s |      19 |  3697899 |   568182 |    24218     72 |      396 |      337
1302.18/1302.69	c 1302s |      19 |  3699078 |   568682 |    24218     72 |      396 |      337
1305.08/1305.53	c 1305s |      19 |  3699685 |   568982 |    24218     72 |      396 |      337
1307.58/1308.01	c 1307s |      19 |  3700034 |   569182 |    24218     72 |      396 |      337
1310.09/1310.56	c 1310s |      19 |  3700597 |   569482 |    24218     72 |      396 |      337
1312.88/1313.33	c 1313s |      19 |  3701634 |   569882 |    24218     73 |      396 |      337
1315.18/1315.62	c 1315s |      19 |  3705776 |   570982 |    24218     73 |      396 |      337
1317.18/1317.62	c 1317s |      19 |  3710562 |   571782 |    24218     73 |      396 |      337
1319.28/1319.70	c 1319s |      19 |  3712530 |   572482 |    24218     73 |      396 |      337
1321.28/1321.74	c 1321s |      19 |  3715698 |   573182 |    24218     73 |      396 |      337
1323.38/1323.82	c 1323s |      19 |  3717929 |   573782 |    24218     73 |      396 |      337
1325.67/1326.16	c 1325s |      19 |  3719548 |   574282 |    24218     74 |      396 |      337
1327.78/1328.23	c 1328s |      19 |  3725153 |   575482 |    24218     74 |      396 |      337
1329.79/1330.25	c 1330s |      19 |  3730809 |   576582 |    24218     74 |      396 |      337
1331.88/1332.33	c 1332s |      19 |  3733987 |   577482 |    24218     74 |      396 |      337
1333.88/1334.38	c 1334s |      19 |  3736019 |   578082 |    24218     74 |      396 |      337
1336.08/1336.51	c 1336s |      19 |  3737557 |   578582 |    24218     74 |      396 |      337
1338.17/1338.60	c 1338s |      19 |  3740587 |   579282 |    24218     75 |      396 |      337
1340.27/1340.70	c 1340s |      19 |  3742354 |   579882 |    24218     75 |      396 |      337
1342.37/1342.86	c 1342s |      19 |  3743184 |   580282 |    24218     75 |      396 |      337
1344.47/1344.92	c 1344s |      19 |  3750904 |   581482 |    24218     76 |      396 |      337
1346.67/1347.14	c 1346s |      19 |  3761174 |   582882 |    24218     76 |      396 |      337
1348.87/1349.36	c 1349s |      19 |  3764875 |   583982 |    24218     77 |      396 |      337
1350.97/1351.49	c 1351s |      19 |  3766733 |   584682 |    24218     77 |      396 |      337
1353.08/1353.51	c 1353s |      19 |  3768292 |   585282 |    24218     77 |      396 |      337
1355.38/1355.82	c 1355s |      19 |  3769025 |   585682 |    24218     77 |      396 |      337
1357.47/1357.95	c 1357s |      19 |  3770098 |   586182 |    24218     77 |      396 |      337
1360.07/1360.59	c 1360s |      19 |  3771231 |   586682 |    24218     77 |      396 |      337
1362.47/1362.98	c 1362s |      19 |  3771935 |   587082 |    24218     77 |      396 |      337
1364.67/1365.11	c 1364s |      19 |  3779767 |   587882 |    24218     78 |      396 |      337
1366.97/1367.43	c 1367s |      19 |  3781747 |   588482 |    24218     78 |      396 |      337
1369.07/1369.53	c 1369s |      19 |  3783081 |   588882 |    24218     78 |      396 |      337
1371.17/1371.60	c 1371s |      19 |  3787066 |   589682 |    24218     78 |      396 |      337
1373.17/1373.69	c 1373s |      19 |  3795833 |   590982 |    24218     79 |      396 |      337
1375.27/1375.75	c 1375s |      19 |  3801923 |   592082 |    24218     79 |      396 |      337
1377.27/1377.79	c 1377s |      19 |  3806336 |   592882 |    24218     79 |      396 |      337
1379.38/1379.83	c 1379s |      19 |  3809186 |   593482 |    24218     79 |      396 |      337
1381.47/1381.96	c 1381s |      19 |  3811080 |   593982 |    24218     80 |      396 |      337
1383.57/1384.04	c 1383s |      19 |  3814710 |   594982 |    24218     80 |      396 |      337
1385.67/1386.12	c 1385s |      19 |  3817400 |   595582 |    24218     80 |      396 |      337
1387.87/1388.33	c 1388s |      19 |  3819975 |   596182 |    24218     80 |      396 |      337
1389.96/1390.45	c 1390s |      19 |  3822644 |   596682 |    24218     80 |      396 |      337
1392.06/1392.56	c 1392s |      19 |  3826519 |   597482 |    24218     80 |      396 |      337
1394.26/1394.72	c 1394s |      19 |  3834169 |   598782 |    24218     81 |      396 |      337
1396.36/1396.88	c 1396s |      19 |  3838302 |   599682 |    24218     81 |      396 |      337
1398.66/1399.14	c 1398s |      19 |  3841258 |   600282 |    24218     81 |      396 |      337
1400.86/1401.35	c 1401s |      19 |  3842361 |   600682 |    24218     81 |      396 |      337
1402.96/1403.45	c 1403s |      19 |  3844015 |   601282 |    24218     82 |      396 |      337
1405.26/1405.79	c 1405s |      19 |  3846920 |   602082 |    24218     82 |      396 |      337
1407.46/1407.97	c 1407s |      19 |  3849423 |   602782 |    24218     82 |      396 |      337
1409.56/1410.07	c 1409s |      19 |  3850820 |   603282 |    24218     82 |      396 |      337
1411.96/1412.40	c 1412s |      19 |  3852958 |   603782 |    24218     82 |      396 |      337
1413.96/1414.43	c 1414s |      19 |  3858324 |   604782 |    24218     83 |      396 |      337
1416.06/1416.54	c 1416s |      19 |  3861032 |   605582 |    24218     83 |      396 |      337
1418.06/1418.57	c 1418s |      19 |  3863255 |   606282 |    24218     83 |      396 |      337
1420.16/1420.65	c 1420s |      19 |  3864295 |   606782 |    24218     83 |      396 |      337
1422.36/1422.80	c 1422s |      19 |  3865272 |   607282 |    24218     83 |      396 |      337
1424.37/1424.86	c 1424s |      19 |  3868231 |   608082 |    24218     84 |      396 |      337
1426.46/1426.99	c 1426s |      19 |  3871617 |   608982 |    24218     84 |      396 |      337
1428.57/1429.05	c 1428s |      19 |  3873020 |   609482 |    24218     84 |      396 |      337
1430.77/1431.21	c 1430s |      19 |  3875250 |   610182 |    24218     84 |      396 |      337
1432.97/1433.44	c 1433s |      19 |  3877142 |   610782 |    24218     84 |      396 |      337
1435.16/1435.62	c 1435s |      19 |  3879002 |   611382 |    24218     85 |      396 |      337
1437.26/1437.79	c 1437s |      19 |  3884130 |   612482 |    24218     85 |      396 |      337
1439.36/1439.82	c 1439s |      19 |  3885243 |   612982 |    24218     85 |      396 |      337
1441.66/1442.12	c 1441s |      19 |  3887558 |   613682 |    24218     85 |      396 |      337
1443.96/1444.50	c 1444s |      19 |  3888565 |   614082 |    24218     85 |      396 |      337
1446.06/1446.57	c 1446s |      19 |  3891066 |   614682 |    24218     86 |      396 |      337
1448.06/1448.59	c 1448s |      19 |  3896886 |   615782 |    24218     86 |      396 |      337
1450.36/1450.85	c 1450s |      19 |  3900128 |   616682 |    24218     86 |      396 |      337
1452.56/1453.06	c 1452s |      19 |  3901525 |   617182 |    24218     86 |      396 |      337
1455.16/1455.62	c 1455s |      19 |  3903178 |   617682 |    24218     87 |      396 |      337
1457.46/1457.91	c 1457s |      19 |  3908018 |   618782 |    24218     87 |      396 |      337
1459.45/1459.94	c 1459s |      19 |  3911120 |   619582 |    24218     87 |      396 |      337
1461.65/1462.11	c 1461s |      19 |  3913497 |   620182 |    24218     87 |      396 |      337
1463.85/1464.30	c 1464s |      19 |  3914487 |   620582 |    24218     87 |      396 |      337
1465.95/1466.43	c 1466s |      19 |  3916263 |   620882 |    24218     88 |      396 |      337
1468.16/1468.61	c 1468s |      19 |  3921210 |   622082 |    24218     88 |      396 |      337
1470.26/1470.73	c 1470s |      19 |  3924266 |   622882 |    24218     88 |      396 |      337
1472.26/1472.78	c 1472s |      19 |  3926165 |   623482 |    24218     88 |      396 |      337
1474.45/1474.91	c 1474s |      19 |  3927624 |   623882 |    24218     89 |      396 |      337
1476.55/1477.03	c 1476s |      19 |  3931633 |   624882 |    24218     89 |      396 |      337
1479.05/1479.50	c 1479s |      19 |  3933859 |   625482 |    24218     89 |      396 |      337
1481.05/1481.57	c 1481s |      19 |  3934672 |   625782 |    24218     89 |      396 |      337
1483.55/1484.04	c 1483s |      19 |  3935584 |   626082 |    24218     89 |      396 |      337
1485.75/1486.26	c 1486s |      19 |  3937282 |   626682 |    24218     89 |      396 |      337
1488.26/1488.75	c 1488s |      19 |  3938855 |   627182 |    24218     89 |      396 |      337
1490.35/1490.90	c 1490s |      19 |  3941524 |   627882 |    24218     90 |      396 |      337
1492.55/1493.10	c 1492s |      19 |  3944042 |   628682 |    24218     90 |      396 |      337
1494.96/1495.47	c 1495s |      19 |  3945268 |   629182 |    24218     90 |      396 |      337
1497.46/1497.90	c 1497s |      19 |  3949895 |   629982 |    24218     90 |      396 |      337
1499.46/1499.95	c 1499s |      19 |  3953140 |   630982 |    24218     91 |      396 |      337
1501.65/1502.16	c 1501s |      19 |  3956060 |   632082 |    24218     91 |      396 |      337
1503.66/1504.17	c 1503s |      19 |  3959250 |   632782 |    24218     91 |      396 |      337
1505.86/1506.36	c 1506s |      19 |  3961116 |   633482 |    24218     92 |      396 |      337
1508.15/1508.62	c 1508s |      19 |  3963705 |   634282 |    24218     92 |      396 |      337
1510.75/1511.22	c 1511s |      19 |  3964897 |   634782 |    24218     92 |      396 |      337
1513.05/1513.55	c 1513s |      19 |  3965778 |   635182 |    24218     92 |      396 |      337
1515.15/1515.65	c 1515s |      19 |  3967567 |   635782 |    24218     92 |      396 |      337
1517.25/1517.75	c 1517s |      19 |  3971094 |   636682 |    24218     93 |      396 |      337
1519.35/1519.87	c 1519s |      19 |  3972300 |   637282 |    24218     93 |      396 |      337
1521.75/1522.20	c 1521s |      19 |  3974055 |   637882 |    24218     93 |      396 |      337
1523.85/1524.36	c 1524s |      19 |  3975684 |   638482 |    24218     93 |      396 |      337
1525.95/1526.41	c 1526s |      19 |  3978462 |   639282 |    24218     94 |      396 |      337
1528.14/1528.64	c 1528s |      19 |  3980928 |   640082 |    24218     94 |      396 |      337
1530.34/1530.86	c 1530s |      19 |  3982926 |   640682 |    24218     94 |      396 |      337
1532.35/1532.88	c 1532s |      19 |  3983698 |   641082 |    24218     94 |      396 |      337
1534.46/1534.92	c 1534s |      19 |  3984849 |   641582 |    24218     94 |      396 |      337
1536.45/1536.94	c 1536s |      19 |  3987339 |   642482 |    24218     95 |      396 |      337
1538.65/1539.10	c 1538s |      19 |  3989525 |   643382 |    24218     95 |      396 |      337
1540.75/1541.28	c 1541s |      19 |  3991249 |   643982 |    24218     95 |      396 |      337
1542.95/1543.49	c 1543s |      19 |  3993228 |   644682 |    24218     96 |      396 |      337
1545.05/1545.59	c 1545s |      19 |  3997665 |   645782 |    24218     96 |      396 |      337
1547.34/1547.84	c 1547s |      19 |  4000194 |   646582 |    24218     96 |      396 |      337
1549.34/1549.89	c 1549s |      19 |  4001590 |   647082 |    24218     96 |      396 |      337
1551.64/1552.16	c 1551s |      19 |  4002604 |   647482 |    24218     96 |      396 |      337
1553.84/1554.39	c 1554s |      19 |  4004718 |   648282 |    24218     97 |      396 |      337
1556.35/1556.82	c 1556s |      19 |  4007070 |   649082 |    24218     97 |      396 |      337
1558.44/1558.90	c 1558s |      19 |  4008640 |   649582 |    24218     97 |      396 |      337
1560.64/1561.15	c 1560s |      19 |  4009968 |   649982 |    24218     97 |      396 |      337
1562.84/1563.36	c 1563s |      19 |  4011413 |   650382 |    24218     98 |      396 |      337
1565.15/1565.69	c 1565s |      19 |  4013961 |   651382 |    24218     98 |      396 |      337
1567.24/1567.80	c 1567s |      19 |  4016751 |   652082 |    24218     98 |      396 |      337
1569.55/1570.06	c 1569s |      19 |  4018129 |   652682 |    24218     98 |      396 |      337
1571.64/1572.12	c 1571s |      19 |  4020405 |   653282 |    24218     99 |      396 |      337
1573.74/1574.26	c 1574s |      19 |  4023294 |   654182 |    24218     99 |      396 |      337
1575.94/1576.48	c 1576s |      19 |  4024842 |   654782 |    24218     99 |      396 |      337
1578.04/1578.54	c 1578s |      19 |  4026033 |   655282 |    24218     99 |      396 |      337
1580.24/1580.79	c 1580s |      19 |  4027619 |   655882 |    24218    100 |      396 |      337
1582.54/1583.08	c 1582s |      19 |  4030220 |   656682 |    24218    100 |      396 |      337
1585.05/1585.52	c 1585s |      19 |  4032080 |   657382 |    24218    100 |      396 |      337
1587.14/1587.64	c 1587s |      19 |  4033803 |   657982 |    24218    100 |      396 |      337
1589.24/1589.79	c 1589s |      19 |  4035815 |   658682 |    24218    101 |      396 |      337
1591.54/1592.01	c 1591s |      19 |  4037238 |   659282 |    24218    101 |      396 |      337
1593.85/1594.34	c 1594s |      19 |  4038265 |   659782 |    24218    101 |      396 |      337
1596.05/1596.56	c 1596s |      19 |  4039572 |   660282 |    24218    101 |      396 |      337
1598.15/1598.60	c 1598s |      19 |  4040570 |   660682 |    24218    101 |      396 |      337
1600.24/1600.76	c 1600s |      19 |  4043929 |   661482 |    24218    102 |      396 |      337
1602.54/1603.05	c 1602s |      19 |  4045506 |   662082 |    24218    102 |      396 |      337
1604.84/1605.31	c 1605s |      19 |  4046750 |   662582 |    26640    102 |      396 |      337
1607.13/1607.65	c 1607s |      19 |  4047586 |   662982 |    26640    102 |      396 |      337
1609.53/1610.00	c 1609s |      19 |  4047969 |   663182 |    26640    102 |      396 |      337
1612.03/1612.57	c 1612s |      19 |  4049154 |   663582 |    26640    102 |      396 |      337
1614.24/1614.75	c 1614s |      19 |  4050187 |   663982 |    26640    102 |      396 |      337
1616.84/1617.31	c 1617s |      19 |  4053124 |   664582 |    26640    102 |      396 |      337
1618.83/1619.38	c 1619s |      19 |  4054278 |   664982 |    26640    102 |      396 |      337
1620.93/1621.49	c 1621s |      19 |  4055537 |   665282 |    26640    102 |      396 |      337
1623.03/1623.51	c 1623s |      19 |  4056784 |   665582 |    26640    102 |      396 |      337
1625.53/1626.06	c 1625s |      19 |  4058092 |   665882 |    26640    103 |      396 |      337
1628.04/1628.51	c 1628s |      19 |  4060135 |   666382 |    26640    103 |      396 |      337
1629.93/1630.49	c 1630s |      20 |  4061776 |   666827 |    26640    103 |      396 |      337
1632.03/1632.57	c 1632s |      20 |  4068175 |   668027 |    26640    103 |      396 |      337
1634.03/1634.59	c 1634s |      20 |  4080449 |   669327 |    26640    103 |      396 |      337
1636.13/1636.61	c 1636s |      20 |  4100252 |   671127 |    26640    104 |      396 |      337
1638.13/1638.65	c 1638s |      20 |  4117306 |   672927 |    26640    104 |      396 |      337
1640.23/1640.77	c 1640s |      20 |  4128419 |   674527 |    26640    105 |      396 |      337
1642.24/1642.79	c 1642s |      20 |  4143599 |   676127 |    26640    105 |      396 |      337
1644.34/1644.81	c 1644s |      20 |  4148691 |   677127 |    26640    105 |      396 |      337
1646.33/1646.83	c 1646s |      20 |  4150192 |   677727 |    26640    105 |      396 |      337
1648.63/1649.14	c 1648s |      20 |  4151637 |   678227 |    26640    105 |      396 |      337
1651.13/1651.60	c 1651s |      20 |  4154263 |   679027 |    26640    105 |      396 |      337
1653.33/1653.84	c 1653s |      20 |  4157636 |   679927 |    26640    106 |      396 |      337
1655.33/1655.90	c 1655s |      20 |  4160779 |   680727 |    26640    106 |      396 |      337
1657.53/1658.04	c 1657s |      20 |  4164340 |   681627 |    26640    106 |      396 |      337
1659.92/1660.45	c 1660s |      20 |  4167094 |   682327 |    26640    106 |      396 |      337
1662.03/1662.52	c 1662s |      20 |  4169316 |   683027 |    26640    106 |      396 |      337
1664.32/1664.81	c 1664s |      20 |  4171224 |   683627 |    26640    106 |      396 |      337
1666.52/1667.04	c 1666s |      20 |  4171948 |   684027 |    26640    106 |      396 |      337
1668.82/1669.33	c 1669s |      20 |  4172930 |   684427 |    26640    106 |      396 |      337
1671.02/1671.53	c 1671s |      20 |  4177024 |   685327 |    26640    107 |      396 |      337
1673.13/1673.61	c 1673s |      20 |  4181150 |   686327 |    26640    107 |      396 |      337
1675.33/1675.81	c 1675s |      20 |  4184897 |   687227 |    26640    107 |      396 |      337
1677.83/1678.37	c 1678s |      20 |  4187364 |   687927 |    26640    107 |      396 |      337
1680.32/1680.80	c 1680s |      20 |  4188959 |   688527 |    26640    107 |      396 |      337
1682.42/1682.99	c 1682s |      20 |  4192702 |   689327 |    26640    108 |      396 |      337
1684.72/1685.29	c 1685s |      20 |  4196550 |   690427 |    26640    108 |      396 |      337
1686.92/1687.45	c 1687s |      20 |  4199997 |   691327 |    26640    108 |      396 |      337
1689.12/1689.68	c 1689s |      20 |  4201951 |   691927 |    26640    108 |      396 |      337
1691.42/1691.96	c 1691s |      20 |  4203075 |   692327 |    26640    108 |      396 |      337
1693.72/1694.23	c 1694s |      20 |  4205368 |   693027 |    26640    108 |      396 |      337
1695.82/1696.30	c 1696s |      20 |  4209041 |   694027 |    26640    109 |      396 |      337
1697.82/1698.36	c 1698s |      20 |  4212073 |   694927 |    26640    109 |      396 |      337
1700.02/1700.51	c 1700s |      20 |  4215739 |   695827 |    26640    109 |      396 |      337
1702.22/1702.73	c 1702s |      20 |  4217908 |   696527 |    26640    109 |      396 |      337
1704.52/1705.09	c 1704s |      20 |  4220009 |   697127 |    26640    109 |      396 |      337
1706.62/1707.16	c 1706s |      20 |  4221605 |   697627 |    26640    110 |      396 |      337
1708.71/1709.27	c 1709s |      20 |  4224520 |   698327 |    26640    110 |      396 |      337
1711.01/1711.58	c 1711s |      20 |  4225348 |   698627 |    26640    110 |      396 |      337
1713.22/1713.71	c 1713s |      20 |  4227357 |   699227 |    26640    110 |      396 |      337
1715.42/1715.96	c 1715s |      20 |  4228562 |   699727 |    26640    110 |      396 |      337
1717.42/1717.97	c 1717s |      20 |  4229681 |   700127 |    26640    110 |      396 |      337
1719.51/1720.04	c 1719s |      20 |  4230884 |   700527 |    26640    110 |      396 |      337
1721.52/1722.10	c 1721s |      20 |  4231567 |   700827 |    26640    110 |      396 |      337
1723.63/1724.16	c 1723s |      20 |  4232558 |   701127 |    26640    110 |      396 |      337
1725.72/1726.24	c 1726s |      20 |  4233774 |   701427 |    26640    111 |      396 |      337
1728.11/1728.65	c 1728s |      20 |  4236738 |   702327 |    26640    111 |      396 |      337
1730.31/1730.88	c 1730s |      20 |  4239893 |   703227 |    26640    111 |      396 |      337
1732.51/1733.01	c 1732s |      20 |  4241853 |   703927 |    26640    111 |      396 |      337
1734.62/1735.18	c 1734s |      20 |  4244073 |   704527 |    26640    111 |      396 |      337
1736.72/1737.28	c 1737s |      20 |  4245727 |   705127 |    26640    111 |      396 |      337
1738.93/1739.46	c 1739s |      20 |  4247506 |   705727 |    26640    112 |      396 |      337
1740.92/1741.48	c 1741s |      20 |  4249425 |   706427 |    26640    112 |      396 |      337
1743.02/1743.56	c 1743s |      20 |  4251062 |   707027 |    26640    112 |      396 |      337
1745.02/1745.59	c 1745s |      20 |  4254223 |   707727 |    26640    112 |      396 |      337
1747.11/1747.61	c 1747s |      20 |  4255661 |   708227 |    26640    112 |      396 |      337
1749.31/1749.88	c 1749s |      20 |  4257278 |   708727 |    26640    112 |      396 |      337
1751.41/1751.94	c 1751s |      20 |  4266473 |   710027 |    26640    113 |      396 |      337
1753.51/1754.06	c 1753s |      20 |  4278291 |   711627 |    26640    114 |      396 |      337
1755.52/1756.07	c 1755s |      20 |  4291527 |   713327 |    26640    116 |      396 |      337
1757.62/1758.18	c 1757s |      20 |  4310182 |   715227 |    26640    117 |      396 |      337
1759.82/1760.33	c 1760s |      20 |  4312936 |   716027 |    26640    117 |      396 |      337
1761.81/1762.36	c 1762s |      20 |  4324707 |   717327 |    26640    118 |      396 |      337
1763.81/1764.36	c 1764s |      20 |  4335066 |   718927 |    26640    119 |      396 |      337
1765.81/1766.38	c 1766s |      20 |  4346513 |   720527 |    26640    120 |      396 |      337
1767.91/1768.49	c 1768s |      20 |  4357730 |   722127 |    26640    121 |      396 |      337
1770.01/1770.51	c 1770s |      20 |  4366075 |   723527 |    26640    122 |      396 |      337
1772.11/1772.64	c 1772s |      20 |  4370522 |   724827 |    26640    122 |      396 |      337
1774.12/1774.66	c 1774s |      20 |  4377378 |   726027 |    26640    123 |      396 |      337
1776.21/1776.72	c 1776s |      20 |  4382072 |   727327 |    26640    124 |      396 |      337
1778.31/1778.85	c 1778s |      20 |  4396077 |   728927 |    26640    126 |      396 |      337
1780.41/1780.91	c 1780s |      20 |  4411963 |   731027 |    26640    128 |      396 |      337
1782.51/1783.00	c 1782s |      20 |  4417209 |   732327 |    26640    128 |      396 |      337
1784.51/1785.04	c 1784s |      20 |  4425737 |   733727 |    26640    130 |      396 |      337
1786.61/1787.15	c 1786s |      20 |  4428340 |   734527 |    26640    130 |      396 |      337
1788.81/1789.34	c 1789s |      20 |  4431507 |   735627 |    26640    131 |      396 |      337
1790.91/1791.44	c 1791s |      20 |  4434805 |   736627 |    26640    132 |      396 |      337
1792.91/1793.49	c 1793s |      20 |  4438591 |   737727 |    26640    132 |      396 |      337
1795.11/1795.64	c 1795s |      20 |  4441207 |   738627 |    26640    133 |      396 |      337
1797.40/1797.91	c 1797s |      20 |  4443435 |   739627 |    26640    133 |      396 |      337
1799.51/1800.07	c 1799s |      20 |  4450242 |   741027 |    26640    135 |      396 |      337

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

pid=16232
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.27 2.24 2.19 3/179 16235
/proc/meminfo: memFree=29506828/32872528 swapFree=12208/1156848
[pid=16235] ppid=16232 vsize=837052 CPUtime=0 cores=1,3,5,7
/proc/16235/stat : 16235 (toysat) R 16232 16235 15571 0 -1 4202496 3141 0 0 0 0 0 0 0 20 0 4 0 110288967 857141248 3503 33554432000 4194304 16246674 140733851071408 140733851070832 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16235/statm: 209775 3513 441 2943 0 206669 0
[pid=16235/tid=16236] ppid=16232 vsize=855484 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16236/stat : 16236 (toysat) S 16232 16235 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110288967 876015616 3576 33554432000 4194304 16246674 140733851071408 140289983360240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16235/tid=16237] ppid=16232 vsize=859580 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16237/stat : 16237 (toysat) S 16232 16235 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110288967 880209920 3593 33554432000 4194304 16246674 140733851071408 140289972870384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16235/tid=16238] ppid=16232 vsize=864700 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16238/stat : 16238 (toysat) S 16232 16235 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110288967 885452800 3613 33554432000 4194304 16246674 140733851071408 140289962396848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.400158 s]
/proc/loadavg: 2.27 2.24 2.19 3/179 16235
/proc/meminfo: memFree=29506828/32872528 swapFree=12208/1156848
[pid=16235] ppid=16232 vsize=1302084 CPUtime=0.39 cores=1,3,5,7
/proc/16235/stat : 16235 (toysat) R 16232 16235 15571 0 -1 4202496 76458 0 0 0 26 13 0 0 20 0 4 0 110288967 1333334016 76757 33554432000 4194304 16246674 140733851071408 140733851070720 5523709 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16235/statm: 325521 76761 877 2943 0 322415 0
[pid=16235/tid=16236] ppid=16232 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16236/stat : 16236 (toysat) S 16232 16235 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110288967 1333334016 76767 33554432000 4194304 16246674 140733851071408 140289983360240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16235/tid=16237] ppid=16232 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16237/stat : 16237 (toysat) S 16232 16235 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110288967 1333334016 76774 33554432000 4194304 16246674 140733851071408 140289972870384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16235/tid=16238] ppid=16232 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16238/stat : 16238 (toysat) S 16232 16235 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110288967 1333334016 76780 33554432000 4194304 16246674 140733851071408 140289962396848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 1302084

[startup+0.500552 s]
/proc/loadavg: 2.27 2.24 2.19 3/179 16235
/proc/meminfo: memFree=29506828/32872528 swapFree=12208/1156848
[pid=16235] ppid=16232 vsize=1302084 CPUtime=0.49 cores=1,3,5,7
/proc/16235/stat : 16235 (toysat) R 16232 16235 15571 0 -1 4202496 96141 0 0 0 33 16 0 0 20 0 4 0 110288967 1333334016 96440 33554432000 4194304 16246674 140733851071408 140733851070720 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16235/statm: 325521 96449 877 2943 0 322415 0
[pid=16235/tid=16236] ppid=16232 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16236/stat : 16236 (toysat) S 16232 16235 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110288967 1333334016 96456 33554432000 4194304 16246674 140733851071408 140289983360240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16235/tid=16237] ppid=16232 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16237/stat : 16237 (toysat) S 16232 16235 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110288967 1333334016 96462 33554432000 4194304 16246674 140733851071408 140289972870384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16235/tid=16238] ppid=16232 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16238/stat : 16238 (toysat) S 16232 16235 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110288967 1333334016 96467 33554432000 4194304 16246674 140733851071408 140289962396848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 1302084

[startup+0.600515 s]
/proc/loadavg: 2.27 2.24 2.19 3/179 16235
/proc/meminfo: memFree=29506828/32872528 swapFree=12208/1156848
[pid=16235] ppid=16232 vsize=1302084 CPUtime=0.58 cores=1,3,5,7
/proc/16235/stat : 16235 (toysat) R 16232 16235 15571 0 -1 4202496 116543 0 0 0 40 18 0 0 20 0 4 0 110288967 1333334016 116842 33554432000 4194304 16246674 140733851071408 140733851070720 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16235/statm: 325521 116847 877 2943 0 322415 0
[pid=16235/tid=16236] ppid=16232 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16236/stat : 16236 (toysat) S 16232 16235 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110288967 1333334016 116850 33554432000 4194304 16246674 140733851071408 140289983360240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16235/tid=16237] ppid=16232 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16237/stat : 16237 (toysat) S 16232 16235 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110288967 1333334016 116853 33554432000 4194304 16246674 140733851071408 140289972870384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16235/tid=16238] ppid=16232 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16238/stat : 16238 (toysat) S 16232 16235 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110288967 1333334016 116856 33554432000 4194304 16246674 140733851071408 140289962396848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 1302084

[startup+0.700503 s]
/proc/loadavg: 2.27 2.24 2.19 3/179 16235
/proc/meminfo: memFree=29506828/32872528 swapFree=12208/1156848
[pid=16235] ppid=16232 vsize=1302084 CPUtime=0.68 cores=1,3,5,7
/proc/16235/stat : 16235 (toysat) R 16232 16235 15571 0 -1 4202496 137410 0 0 0 47 21 0 0 20 0 4 0 110288967 1333334016 137710 33554432000 4194304 16246674 140733851071408 140733851070720 6010521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16235/statm: 325521 137721 877 2943 0 322415 0
[pid=16235/tid=16236] ppid=16232 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16236/stat : 16236 (toysat) S 16232 16235 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110288967 1333334016 137730 33554432000 4194304 16246674 140733851071408 140289983360240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16235/tid=16237] ppid=16232 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16237/stat : 16237 (toysat) S 16232 16235 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110288967 1333334016 137738 33554432000 4194304 16246674 140733851071408 140289972870384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16235/tid=16238] ppid=16232 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16238/stat : 16238 (toysat) S 16232 16235 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110288967 1333334016 137747 33554432000 4194304 16246674 140733851071408 140289962396848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1302084

[startup+1.50788 s]
/proc/loadavg: 2.25 2.24 2.18 3/183 16239
/proc/meminfo: memFree=28432320/32872528 swapFree=12208/1156848
[pid=16235] ppid=16232 vsize=1310276 CPUtime=1.5 cores=1,3,5,7
/proc/16235/stat : 16235 (toysat) R 16232 16235 15571 0 -1 4202496 268592 0 0 0 111 39 0 0 20 0 4 0 110288967 1341722624 268891 33554432000 4194304 16246674 140733851071408 140733851070720 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16235/statm: 327569 268891 883 2943 0 324463 0
[pid=16235/tid=16236] ppid=16232 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16236/stat : 16236 (toysat) S 16232 16235 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110288967 1341722624 268891 33554432000 4194304 16246674 140733851071408 140289983360240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16235/tid=16237] ppid=16232 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16237/stat : 16237 (toysat) S 16232 16235 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110288967 1341722624 268891 33554432000 4194304 16246674 140733851071408 140289972870384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16235/tid=16238] ppid=16232 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16238/stat : 16238 (toysat) S 16232 16235 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110288967 1341722624 268891 33554432000 4194304 16246674 140733851071408 140289962396848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 1310276

[startup+3.10045 s]
/proc/loadavg: 2.25 2.24 2.18 3/183 16239
/proc/meminfo: memFree=28431204/32872528 swapFree=12208/1156848
[pid=16235] ppid=16232 vsize=1310276 CPUtime=3.09 cores=1,3,5,7
/proc/16235/stat : 16235 (toysat) R 16232 16235 15571 0 -1 4202496 268754 0 0 0 270 39 0 0 20 0 4 0 110288967 1341722624 269053 33554432000 4194304 16246674 140733851071408 140733851054408 5829313 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16235/statm: 327569 269053 885 2943 0 324463 0
[pid=16235/tid=16236] ppid=16232 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16236/stat : 16236 (toysat) S 16232 16235 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110288967 1341722624 269053 33554432000 4194304 16246674 140733851071408 140289983360240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16235/tid=16237] ppid=16232 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16237/stat : 16237 (toysat) S 16232 16235 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110288967 1341722624 269053 33554432000 4194304 16246674 140733851071408 140289972870384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16235/tid=16238] ppid=16232 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16238/stat : 16238 (toysat) S 16232 16235 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110288967 1341722624 269053 33554432000 4194304 16246674 140733851071408 140289962396848 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) 1310276

[startup+6.30038 s]
/proc/loadavg: 2.25 2.24 2.18 3/183 16239
/proc/meminfo: memFree=28431180/32872528 swapFree=12208/1156848
[pid=16235] ppid=16232 vsize=1310276 CPUtime=6.29 cores=1,3,5,7
/proc/16235/stat : 16235 (toysat) R 16232 16235 15571 0 -1 4202496 268754 0 0 0 590 39 0 0 20 0 4 0 110288967 1341722624 269053 33554432000 4194304 16246674 140733851071408 140733851053312 12483366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16235/statm: 327569 269053 885 2943 0 324463 0
[pid=16235/tid=16236] ppid=16232 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16236/stat : 16236 (toysat) S 16232 16235 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110288967 1341722624 269053 33554432000 4194304 16246674 140733851071408 140289983360240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16235/tid=16237] ppid=16232 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16237/stat : 16237 (toysat) S 16232 16235 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110288967 1341722624 269053 33554432000 4194304 16246674 140733851071408 140289972870384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16235/tid=16238] ppid=16232 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16238/stat : 16238 (toysat) S 16232 16235 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110288967 1341722624 269053 33554432000 4194304 16246674 140733851071408 140289962396848 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) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.21 2.23 2.18 3/183 16239
/proc/meminfo: memFree=28431096/32872528 swapFree=12208/1156848
[pid=16235] ppid=16232 vsize=1310276 CPUtime=12.69 cores=1,3,5,7
/proc/16235/stat : 16235 (toysat) R 16232 16235 15571 0 -1 4202496 268755 0 0 0 1230 39 0 0 20 0 4 0 110288967 1341722624 269054 33554432000 4194304 16246674 140733851071408 140733851053312 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16235/statm: 327569 269054 886 2943 0 324463 0
[pid=16235/tid=16236] ppid=16232 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16236/stat : 16236 (toysat) S 16232 16235 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110288967 1341722624 269054 33554432000 4194304 16246674 140733851071408 140289983360240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16235/tid=16237] ppid=16232 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16237/stat : 16237 (toysat) S 16232 16235 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110288967 1341722624 269054 33554432000 4194304 16246674 140733851071408 140289972870384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16235/tid=16238] ppid=16232 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16238/stat : 16238 (toysat) S 16232 16235 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110288967 1341722624 269054 33554432000 4194304 16246674 140733851071408 140289962396848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5004 s]
/proc/loadavg: 2.18 2.22 2.18 3/183 16239
/proc/meminfo: memFree=28431356/32872528 swapFree=12208/1156848
[pid=16235] ppid=16232 vsize=1310276 CPUtime=25.48 cores=1,3,5,7
/proc/16235/stat : 16235 (toysat) R 16232 16235 15571 0 -1 4202496 268755 0 0 0 2509 39 0 0 20 0 4 0 110288967 1341722624 269054 33554432000 4194304 16246674 140733851071408 140733851053312 5754961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16235/statm: 327569 269054 886 2943 0 324463 0
[pid=16235/tid=16236] ppid=16232 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16236/stat : 16236 (toysat) S 16232 16235 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110288967 1341722624 269054 33554432000 4194304 16246674 140733851071408 140289983360240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16235/tid=16237] ppid=16232 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16237/stat : 16237 (toysat) S 16232 16235 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110288967 1341722624 269054 33554432000 4194304 16246674 140733851071408 140289972870384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16235/tid=16238] ppid=16232 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16238/stat : 16238 (toysat) S 16232 16235 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110288967 1341722624 269054 33554432000 4194304 16246674 140733851071408 140289962396848 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) 1310276

[startup+51.1004 s]
/proc/loadavg: 2.17 2.21 2.18 3/183 16239
/proc/meminfo: memFree=28431236/32872528 swapFree=12208/1156848
[pid=16235] ppid=16232 vsize=1310276 CPUtime=51.08 cores=1,3,5,7
/proc/16235/stat : 16235 (toysat) R 16232 16235 15571 0 -1 4202496 268756 0 0 0 5069 39 0 0 20 0 4 0 110288967 1341722624 269055 33554432000 4194304 16246674 140733851071408 140733851053312 13191984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16235/statm: 327569 269055 887 2943 0 324463 0
[pid=16235/tid=16236] ppid=16232 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16236/stat : 16236 (toysat) S 16232 16235 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110288967 1341722624 269055 33554432000 4194304 16246674 140733851071408 140289983360240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16235/tid=16237] ppid=16232 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16237/stat : 16237 (toysat) S 16232 16235 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110288967 1341722624 269055 33554432000 4194304 16246674 140733851071408 140289972870384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16235/tid=16238] ppid=16232 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16238/stat : 16238 (toysat) S 16232 16235 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110288967 1341722624 269055 33554432000 4194304 16246674 140733851071408 140289962396848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 16240
/proc/meminfo: memFree=28431116/32872528 swapFree=12208/1156848
[pid=16235] ppid=16232 vsize=1310276 CPUtime=102.27 cores=1,3,5,7
/proc/16235/stat : 16235 (toysat) R 16232 16235 15571 0 -1 4202496 268756 0 0 0 10187 40 0 0 20 0 4 0 110288967 1341722624 269055 33554432000 4194304 16246674 140733851071408 140733851053312 12483332 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16235/statm: 327569 269055 887 2943 0 324463 0
[pid=16235/tid=16236] ppid=16232 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16236/stat : 16236 (toysat) S 16232 16235 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110288967 1341722624 269055 33554432000 4194304 16246674 140733851071408 140289983360240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16235/tid=16237] ppid=16232 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16237/stat : 16237 (toysat) S 16232 16235 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110288967 1341722624 269055 33554432000 4194304 16246674 140733851071408 140289972870384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16235/tid=16238] ppid=16232 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16238/stat : 16238 (toysat) S 16232 16235 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110288967 1341722624 269055 33554432000 4194304 16246674 140733851071408 140289962396848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1310276


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

/proc/16235/task/16238/stat : 16238 (toysat) S 16232 16235 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289962396848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1314372

[startup+1302.3 s]
/proc/loadavg: 2.08 2.12 2.13 4/183 16320
/proc/meminfo: memFree=28425816/32872528 swapFree=12208/1156848
[pid=16235] ppid=16232 vsize=1314372 CPUtime=1301.88 cores=1,3,5,7
/proc/16235/stat : 16235 (toysat) R 16232 16235 15571 0 -1 4202496 270171 0 0 0 130128 60 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140733851053312 5721701 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16235/statm: 328593 270082 887 2943 0 325487 0
[pid=16235/tid=16236] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16236/stat : 16236 (toysat) S 16232 16235 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289983360240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16235/tid=16237] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16237/stat : 16237 (toysat) S 16232 16235 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289972870384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16235/tid=16238] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16238/stat : 16238 (toysat) S 16232 16235 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289962396848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.03 2.09 2.12 3/183 16321
/proc/meminfo: memFree=28425856/32872528 swapFree=12208/1156848
[pid=16235] ppid=16232 vsize=1314372 CPUtime=1361.87 cores=1,3,5,7
/proc/16235/stat : 16235 (toysat) R 16232 16235 15571 0 -1 4202496 270171 0 0 0 136124 63 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140733851070584 5722908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16235/statm: 328593 270082 887 2943 0 325487 0
[pid=16235/tid=16236] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16236/stat : 16236 (toysat) S 16232 16235 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289983360240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16235/tid=16237] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16237/stat : 16237 (toysat) S 16232 16235 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289972870384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16235/tid=16238] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16238/stat : 16238 (toysat) S 16232 16235 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289962396848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.01 2.07 2.11 3/183 16322
/proc/meminfo: memFree=28425636/32872528 swapFree=12208/1156848
[pid=16235] ppid=16232 vsize=1314372 CPUtime=1421.86 cores=1,3,5,7
/proc/16235/stat : 16235 (toysat) R 16232 16235 15571 0 -1 4202496 270171 0 0 0 142123 63 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140733851070584 5717656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16235/statm: 328593 270082 887 2943 0 325487 0
[pid=16235/tid=16236] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16236/stat : 16236 (toysat) S 16232 16235 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289983360240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16235/tid=16237] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16237/stat : 16237 (toysat) S 16232 16235 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289972870384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16235/tid=16238] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16238/stat : 16238 (toysat) S 16232 16235 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289962396848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.14 2.10 2.11 4/183 16324
/proc/meminfo: memFree=28425788/32872528 swapFree=12208/1156848
[pid=16235] ppid=16232 vsize=1314372 CPUtime=1481.85 cores=1,3,5,7
/proc/16235/stat : 16235 (toysat) R 16232 16235 15571 0 -1 4202496 270171 0 0 0 148120 65 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140733851070584 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16235/statm: 328593 270082 887 2943 0 325487 0
[pid=16235/tid=16236] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16236/stat : 16236 (toysat) S 16232 16235 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289983360240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16235/tid=16237] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16237/stat : 16237 (toysat) S 16232 16235 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289972870384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16235/tid=16238] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16238/stat : 16238 (toysat) S 16232 16235 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289962396848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1314372

[startup+1542.3 s]
/proc/loadavg: 2.23 2.14 2.12 3/183 16325
/proc/meminfo: memFree=28425580/32872528 swapFree=12208/1156848
[pid=16235] ppid=16232 vsize=1314372 CPUtime=1541.85 cores=1,3,5,7
/proc/16235/stat : 16235 (toysat) R 16232 16235 15571 0 -1 4202496 270171 0 0 0 154118 67 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140733851053312 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16235/statm: 328593 270082 887 2943 0 325487 0
[pid=16235/tid=16236] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16236/stat : 16236 (toysat) S 16232 16235 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289983360240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16235/tid=16237] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16237/stat : 16237 (toysat) S 16232 16235 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289972870384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16235/tid=16238] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16238/stat : 16238 (toysat) S 16232 16235 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289962396848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.21 2.14 2.12 3/183 16326
/proc/meminfo: memFree=28425980/32872528 swapFree=12208/1156848
[pid=16235] ppid=16232 vsize=1314372 CPUtime=1601.84 cores=1,3,5,7
/proc/16235/stat : 16235 (toysat) R 16232 16235 15571 0 -1 4202496 270171 0 0 0 160115 69 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140733851053312 5667424 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16235/statm: 328593 270082 887 2943 0 325487 0
[pid=16235/tid=16236] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16236/stat : 16236 (toysat) S 16232 16235 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289983360240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16235/tid=16237] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16237/stat : 16237 (toysat) S 16232 16235 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289972870384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16235/tid=16238] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16238/stat : 16238 (toysat) S 16232 16235 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289962396848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.22 2.16 2.13 3/184 16330
/proc/meminfo: memFree=28425116/32872528 swapFree=12208/1156848
[pid=16235] ppid=16232 vsize=1314372 CPUtime=1661.82 cores=1,3,5,7
/proc/16235/stat : 16235 (toysat) R 16232 16235 15571 0 -1 4202496 270171 0 0 0 166111 71 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140733851070584 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16235/statm: 328593 270082 887 2943 0 325487 0
[pid=16235/tid=16236] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16236/stat : 16236 (toysat) S 16232 16235 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289983360240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16235/tid=16237] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16237/stat : 16237 (toysat) S 16232 16235 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289972870384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16235/tid=16238] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16238/stat : 16238 (toysat) S 16232 16235 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289962396848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.33 2.20 2.14 3/183 16331
/proc/meminfo: memFree=28425324/32872528 swapFree=12208/1156848
[pid=16235] ppid=16232 vsize=1314372 CPUtime=1721.82 cores=1,3,5,7
/proc/16235/stat : 16235 (toysat) R 16232 16235 15571 0 -1 4202496 270171 0 0 0 172108 74 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140733851053312 5722908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16235/statm: 328593 270082 887 2943 0 325487 0
[pid=16235/tid=16236] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16236/stat : 16236 (toysat) S 16232 16235 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289983360240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16235/tid=16237] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16237/stat : 16237 (toysat) S 16232 16235 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289972870384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16235/tid=16238] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16238/stat : 16238 (toysat) S 16232 16235 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289962396848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1314372

[startup+1782.3 s]
/proc/loadavg: 2.21 2.19 2.14 3/183 16333
/proc/meminfo: memFree=28425340/32872528 swapFree=12208/1156848
[pid=16235] ppid=16232 vsize=1314372 CPUtime=1781.81 cores=1,3,5,7
/proc/16235/stat : 16235 (toysat) R 16232 16235 15571 0 -1 4202496 270171 0 0 0 178106 75 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140733851053312 5754796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16235/statm: 328593 270082 887 2943 0 325487 0
[pid=16235/tid=16236] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16236/stat : 16236 (toysat) S 16232 16235 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289983360240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16235/tid=16237] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16237/stat : 16237 (toysat) S 16232 16235 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289972870384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16235/tid=16238] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16238/stat : 16238 (toysat) S 16232 16235 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289962396848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1314372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.16 2.18 2.14 4/183 16333
/proc/meminfo: memFree=28425456/32872528 swapFree=12208/1156848
[pid=16235] ppid=16232 vsize=1314372 CPUtime=1800 cores=1,3,5,7
/proc/16235/stat : 16235 (toysat) R 16232 16235 15571 0 -1 4202496 270171 0 0 0 179925 75 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140733851053312 5717656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16235/statm: 328593 270082 887 2943 0 325487 0
[pid=16235/tid=16236] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16236/stat : 16236 (toysat) S 16232 16235 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289983360240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16235/tid=16237] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16237/stat : 16237 (toysat) S 16232 16235 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289972870384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16235/tid=16238] ppid=16232 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16235/task/16238/stat : 16238 (toysat) S 16232 16235 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110288967 1345916928 270082 33554432000 4194304 16246674 140733851071408 140289962396848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1314372

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16235 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.51
CPU time (s): 1800.02
CPU user time (s): 1799.26
CPU system time (s): 0.755885
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.26
system time used= 0.755885
maximum resident set size= 1080328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270171
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= 407
involuntary context switches= 1873

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.02978 second user time and 9.76951 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-07 09:12:24
IDJOB=4078937
IDBENCH=90132
IDSOLVER=2542
FILE ID=node114/4078937-1465283544
RUNJOBID= node114-1465276339-15588
PBS_JOBID= 19843307
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= a7a3236cd0071452eec601ea09fe7bbe
RANDOM SEED=1042738891

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29508000 kB
Buffers:          142336 kB
Cached:           247480 kB
SwapCached:         1696 kB
Active:          1228872 kB
Inactive:         243872 kB
Active(anon):    1083904 kB
Inactive(anon):     1252 kB
Active(file):     144968 kB
Inactive(file):   242620 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096680 kB
Dirty:             16732 kB
Writeback:             0 kB
AnonPages:       2321260 kB
Mapped:            10688 kB
Shmem:                 0 kB
Slab:             602344 kB
SReclaimable:      46388 kB
SUnreclaim:       555956 kB
KernelStack:        1520 kB
PageTables:         8448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2382992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2304000 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node114 at 2016-06-07 09:42:25