Trace number 4119897

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.09 1800.54

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm98p-opt.opb.negationfix.opb
MD5SUM8af7ae93e70e402808c0b893072c263b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark1800.18
Has Objective Function
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables
Total number of constraints
Number of constraints which are clauses
Number of constraints which are cardinality constraints (but not clauses)
Number of constraints which are nor clauses,nor cardinality constraints
Minimum length of a constraint
Maximum length of a constraint
Number of terms in the objective function
Biggest coefficient in the objective function
Number of bits for the biggest coefficient in the objective function
Sum of the numbers in the objective function
Number of bits of the sum of numbers in the objective function
Biggest number in a constraint
Number of bits of the biggest number in a constraint
Biggest sum of numbers in a constraint
Number of bits of the biggest sum of numbers
Number of products (including duplicates)
Sum of products size (including duplicates)
Number of different products
Sum of products size

Solver Data 

0.00/0.00	c 2016-06-30T11:38:32+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4119897-1467279512.opb"]
0.00/0.02	c use --random-gen="2529284790 3541551110 3585561734 4032785933 3997468068 827389489 3471172783 257750227 1891371454 1219692538 1943462121 2223383927 572408055 1933952208 969657123 3956271438 544586924 180568277 1385602569 2789129845 1981547910 1350874836 3992341249 37511925 641869064 400572650 1184609266 121003561 425718172 4159053966 29950606 717307100 4204073270 1488065485 2703643138 3789598352 3312143277 4082610443 187903898 1385576380 3292297053 3772957133 3689025191 2280252834 3325767572 535180100 2156355609 1835229071 1420801110 3205539437 157577007 4021595851 2906681251 614212100 3698922136 2385101774 4000279393 2248865672 1558102407 4177010509 1147770087 1232151352 279175390 2721363017 351645710 878108293 2717029210 1679004512 3113413826 3120007169 2036046592 3750806811 345443550 1892358564 1228980924 1607288175 2078992215 1808144283 3564269020 1881672640 426544933 1007165603 1900007100 4130630458 2064766568 1818618895 820886742 124851915 1431700346 3498907492 1318201996 4212311595 808338753 1543134384 737859026 3709546589 3986281964 3871852121 3992392518 2153267734 529068740 3501042186 1023286612 3579485653 97204875 656736120 1236045266 1155016826 3105978375 1647426474 1199107429 3086543458 100730160 2873792724 3305829361 144084377 2427674544 2981652991 1251898706 4031543445 2899455418 3120209237 3833772271 164192702 3672904564 371815517 638809076 1789206227 645304868 3849392764 2964724853 1019651234 788362816 1364294786 4165653235 1863226892 2816585260 1647761216 48730351 924792393 627403124 579884290 983312005 2963343240 1342868998 838895616 4032604515 3443145836 2120421643 4130317919 3231565738 2865698671 2661167765 1171003034 1897783017 4282785418 4207815089 3735436601 2597905843 1175503321 2961400918 1868012563 722128048 2545202595 1934398549 2712052183 699099502 823998361 2698837891 357895072 985309311 2749985724 895128193 1867789683 4053164555 2390791684 3203505201 3897097972 1087301472 2416091620 2386388425 3781900051 1160720990 702498126 952614647 1692280921 756418673 2720847561 1157537929 469403975 2867896549 2595337496 1591696589 2470442627 4083786384 506195502 3013091921 2438102480 3773101348 3949727970 3223130702 3846482491 234494693 953649553 4266115459 2255647999 590082784 1461065681 1763001268 451641779 3459077626 3066646390 3490649692 1024818900 2146012031 1012929428 2498465102 1972999698 3175183981 1684146958 2766445768 4201464351 308388531 2669532349 2326137408 3722174452 3770189693 3490991863 1260193630 677002182 263194251 2235883176 1893121980 2870082023 2378555418 2502216494 261559454 374046636 662064345 3911857959 720874579 1551997282 4208052316 956724386 468250782 1505181125 995738283 3835998727 1569907917 774302878 4033651776 2928278849 28440201 1192454802 2705010286 2835758370 255 362436" option to reproduce the execution
0.29/0.37	c #vars 45632
0.29/0.37	c #constraints 1554
1.18/1.28	c BCD2: Hardening is enabled.
1.18/1.28	c BCD2: BiasedSearch is enabled.
1.18/1.28	c Solving starts ...
1.18/1.28	c ============================[ Search Statistics ]============================
1.18/1.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.18/1.28	c       |         |          |          |    Limit     GC | Var      | Constra 
1.18/1.28	c =============================================================================
1.28/1.32	c  0.0s |       0 |        0 |        0 |    15728      0 |        5 |        0
1.58/1.67	c  0.4s |       1 |      744 |      100 |    15728      0 |        5 |        0
2.58/2.62	c  1.3s |       2 |     4123 |      250 |    17301      0 |        5 |        0
4.39/4.44	c  3.1s |       3 |    10840 |      475 |    19032      0 |        5 |        0
6.98/7.06	c  5.7s |       3 |    25006 |      775 |    20936      0 |        5 |        0
7.28/7.39	c  6.1s |       4 |    25047 |      813 |    20936      0 |        5 |        0
9.58/9.68	c  8.4s |       4 |    36681 |     1213 |    23030      0 |        5 |        0
10.28/10.33	c  9.0s |       5 |    36804 |     1320 |    23030      0 |        5 |        0
12.38/12.41	c 11.1s |       5 |    48991 |     1620 |    25334      0 |        5 |        0
14.39/14.48	c 13.2s |       5 |    49353 |     1920 |    25334      0 |        5 |        0
15.68/15.77	c 14.5s |       6 |    49526 |     2081 |    27868      0 |        5 |        0
18.58/18.64	c 17.3s |       6 |    59227 |     2381 |    27868      0 |        5 |        0
20.78/20.83	c 19.5s |       6 |    59562 |     2681 |    27868      0 |        5 |        0
23.38/23.44	c 22.1s |       6 |    59994 |     3081 |    27868      0 |        5 |        0
24.28/24.37	c 23.1s |       7 |    60161 |     3223 |    30655      0 |        5 |        0
26.38/26.48	c 25.2s |       7 |    66855 |     3523 |    30655      0 |        5 |        0
28.98/29.07	c 27.8s |       7 |    67298 |     3923 |    30655      0 |        5 |        0
31.38/31.42	c 30.1s |       7 |    67621 |     4223 |    30655      0 |        5 |        0
33.68/33.79	c 32.5s |       7 |    67951 |     4523 |    30655      0 |        5 |        0
35.88/35.94	c 34.6s |       7 |    68283 |     4823 |    30655      0 |        5 |        0
36.88/36.99	c 35.7s |       8 |    68398 |     4936 |    33721      0 |        5 |        0
39.18/39.26	c 37.9s |       8 |    73132 |     5236 |    33721      0 |        5 |        0
41.57/41.60	c 40.3s |       8 |    73622 |     5636 |    33721      0 |        5 |        0
43.77/43.88	c 42.6s |       8 |    74097 |     6036 |    33721      0 |        5 |        0
46.28/46.35	c 45.0s |       8 |    74568 |     6436 |    33721      0 |        5 |        0
48.77/48.82	c 47.5s |       8 |    75000 |     6836 |    33721      0 |        5 |        0
51.27/51.35	c 50.0s |       8 |    75422 |     7236 |    33721      0 |        5 |        0
53.07/53.17	c 51.9s |       9 |    75756 |     7506 |    37094      0 |        5 |        0
55.17/55.22	c 53.9s |       9 |    79901 |     7706 |    37094      0 |        5 |        0
57.77/57.86	c 56.5s |       9 |    80241 |     8006 |    37094      0 |        5 |        0
60.48/60.59	c 59.3s |       9 |    80560 |     8306 |    37094      0 |        5 |        0
63.48/63.50	c 62.2s |       9 |    80875 |     8606 |    37094      0 |        5 |        0
66.47/66.56	c 65.2s |       9 |    81205 |     8906 |    37094      0 |        5 |        0
69.47/69.55	c 68.2s |       9 |    81573 |     9206 |    37094      0 |        5 |        0
72.27/72.36	c 71.0s |       9 |    82001 |     9506 |    37094      0 |        5 |        0
74.88/74.91	c 73.6s |       9 |    82261 |     9706 |    37094      0 |        5 |        0
77.08/77.14	c 75.8s |       9 |    82584 |     9906 |    37094      0 |        5 |        0
79.18/79.21	c 77.9s |       9 |    82824 |    10106 |    37094      0 |        5 |        0
81.77/81.85	c 80.5s |       9 |    83308 |    10406 |    37094      0 |        5 |        0
83.77/83.87	c 82.6s |       9 |    83646 |    10606 |    37094      0 |        5 |        0
86.57/86.62	c 85.3s |       9 |    83935 |    10806 |    37094      0 |        5 |        0
89.08/89.13	c 87.8s |       9 |    84219 |    11006 |    37094      0 |        5 |        0
91.67/91.70	c 90.4s |       9 |    84462 |    11206 |    37094      0 |        5 |        0
93.37/93.44	c 92.1s |      10 |    84648 |    11361 |    40804      0 |        5 |        0
95.78/95.86	c 94.5s |      10 |    88549 |    11661 |    40804      0 |        5 |        0
98.27/98.31	c 97.0s |      10 |    88981 |    12061 |    40804      0 |        5 |        0
100.86/100.97	c 99.7s |      10 |    89419 |    12461 |    40804      0 |        5 |        0
103.56/103.62	c  102s |      10 |    89841 |    12861 |    40804      0 |        5 |        0
105.96/106.07	c  104s |      10 |    90318 |    13261 |    40804      0 |        5 |        0
108.67/108.76	c  107s |      10 |    90737 |    13661 |    40804      0 |        5 |        0
110.77/110.87	c  109s |      10 |    91049 |    13961 |    40804      0 |        5 |        0
112.97/113.09	c  111s |      10 |    91358 |    14261 |    40804      0 |        5 |        0
115.07/115.14	c  113s |      10 |    91686 |    14561 |    40804      0 |        5 |        0
117.37/117.40	c  116s |      10 |    92010 |    14861 |    40804      0 |        5 |        0
119.36/119.44	c  118s |      10 |    92329 |    15161 |    40804      0 |        5 |        0
121.46/121.53	c  120s |      10 |    92644 |    15461 |    40804      0 |        5 |        0
123.56/123.62	c  122s |      10 |    92964 |    15761 |    40804      0 |        5 |        0
125.86/125.90	c  124s |      10 |    93275 |    16061 |    40804      0 |        5 |        0
128.16/128.23	c  126s |      10 |    93585 |    16361 |    40804      0 |        5 |        0
130.26/130.31	c  128s |      10 |    93913 |    16661 |    40804      0 |        5 |        0
132.46/132.54	c  131s |      10 |    94225 |    16961 |    40804      0 |        5 |        0
133.86/133.99	c  132s |      11 |    94418 |    17144 |    44885      0 |        5 |        0
136.37/136.45	c  135s |      11 |   100647 |    17344 |    44885      0 |        5 |        0
139.36/139.41	c  138s |      11 |   101175 |    17644 |    44885      0 |        5 |        0
141.46/141.50	c  140s |      11 |   101429 |    17844 |    44885      0 |        5 |        0
143.56/143.63	c  142s |      11 |   101768 |    18044 |    44885      0 |        5 |        0
145.76/145.84	c  144s |      11 |   102051 |    18244 |    44885      0 |        5 |        0
148.06/148.16	c  146s |      11 |   102585 |    18444 |    44885      0 |        5 |        0
150.36/150.45	c  149s |      11 |   103062 |    18644 |    44885      0 |        5 |        0
152.96/153.02	c  151s |      11 |   103409 |    18844 |    44885      0 |        5 |        0
155.76/155.81	c  154s |      11 |   103838 |    19044 |    44885      0 |        5 |        0
158.36/158.41	c  157s |      11 |   104163 |    19344 |    44885      0 |        5 |        0
160.35/160.48	c  159s |      11 |   104420 |    19544 |    44885      0 |        5 |        0
163.15/163.23	c  161s |      11 |   104712 |    19744 |    44885      0 |        5 |        0
165.55/165.63	c  164s |      11 |   105007 |    19944 |    44885      0 |        5 |        0
168.15/168.24	c  166s |      11 |   105448 |    20144 |    44885      0 |        5 |        0
171.66/171.71	c  170s |      11 |   105693 |    20344 |    44885      0 |        5 |        0
175.25/175.38	c  174s |      11 |   105920 |    20544 |    44885      0 |        5 |        0
177.95/178.04	c  176s |      11 |   106211 |    20744 |    44885      0 |        5 |        0
181.46/181.51	c  180s |      11 |   106437 |    20944 |    44885      0 |        5 |        0
185.06/185.13	c  183s |      11 |   106768 |    21144 |    44885      0 |        5 |        0
188.86/188.97	c  187s |      11 |   107011 |    21344 |    44885      0 |        5 |        0
191.15/191.29	c  189s |      11 |   107116 |    21444 |    44885      0 |        5 |        0
193.35/193.50	c  192s |      11 |   107274 |    21544 |    44885      0 |        5 |        0
195.86/195.96	c  194s |      11 |   107380 |    21644 |    44885      0 |        5 |        0
199.95/200.06	c  198s |      11 |   107635 |    21844 |    44885      0 |        5 |        0
204.05/204.18	c  202s |      11 |   107945 |    22044 |    44885      0 |        5 |        0
206.55/206.60	c  205s |      11 |   108056 |    22144 |    44885      0 |        5 |        0
208.65/208.78	c  207s |      11 |   108200 |    22244 |    44885      0 |        5 |        0
211.15/211.30	c  209s |      11 |   108300 |    22344 |    44885      0 |        5 |        0
213.24/213.30	c  211s |      11 |   108431 |    22444 |    44885      0 |        5 |        0
215.44/215.56	c  214s |      11 |   108552 |    22544 |    44885      0 |        5 |        0
217.64/217.71	c  216s |      11 |   108682 |    22644 |    44885      0 |        5 |        0
219.64/219.73	c  218s |      11 |   108875 |    22744 |    44885      0 |        5 |        0
221.74/221.80	c  220s |      11 |   109030 |    22844 |    44885      0 |        5 |        0
223.85/223.91	c  222s |      11 |   109212 |    22944 |    44885      0 |        5 |        0
226.56/226.63	c  225s |      11 |   109554 |    23144 |    44885      0 |        5 |        0
229.65/229.79	c  228s |      11 |   109969 |    23344 |    44885      0 |        5 |        0
231.75/231.89	c  230s |      11 |   110078 |    23444 |    44885      0 |        5 |        0
235.25/235.31	c  233s |      11 |   110451 |    23644 |    44885      0 |        5 |        0
239.15/239.29	c  237s |      11 |   110713 |    23844 |    44885      0 |        5 |        0
242.75/242.84	c  241s |      11 |   110995 |    24044 |    44885      0 |        5 |        0
246.35/246.44	c  245s |      11 |   111272 |    24244 |    44885      0 |        5 |        0
248.34/248.46	c  247s |      11 |   111390 |    24344 |    44885      0 |        5 |        0
250.54/250.63	c  249s |      11 |   111496 |    24444 |    44885      0 |        5 |        0
252.74/252.82	c  251s |      11 |   111667 |    24544 |    44885      0 |        5 |        0
254.84/254.93	c  253s |      11 |   111776 |    24644 |    44885      0 |        5 |        0
257.04/257.13	c  255s |      11 |   111945 |    24744 |    44885      0 |        5 |        0
259.14/259.29	c  257s |      11 |   112127 |    24844 |    44885      0 |        5 |        0
261.94/262.08	c  260s |      11 |   112504 |    25044 |    44885      0 |        5 |        0
265.54/265.60	c  264s |      11 |   112756 |    25244 |    44885      0 |        5 |        0
269.34/269.43	c  268s |      11 |   113056 |    25444 |    44885      0 |        5 |        0
272.84/272.96	c  271s |      11 |   113369 |    25644 |    44885      0 |        5 |        0
275.74/275.84	c  274s |      12 |   113590 |    25819 |    49374      0 |        5 |        0
278.53/278.61	c  277s |      12 |   119939 |    26019 |    49374      0 |        5 |        0
280.73/280.87	c  279s |      12 |   120196 |    26219 |    49374      0 |        5 |        0
283.23/283.35	c  282s |      12 |   120637 |    26519 |    49374      0 |        5 |        0
285.74/285.83	c  284s |      12 |   120962 |    26819 |    49374      0 |        5 |        0
288.44/288.52	c  287s |      12 |   121299 |    27119 |    49374      0 |        5 |        0
291.14/291.27	c  289s |      12 |   121630 |    27419 |    49374      0 |        5 |        0
294.04/294.13	c  292s |      12 |   121968 |    27719 |    49374      0 |        5 |        0
296.04/296.17	c  294s |      12 |   122201 |    27919 |    49374      0 |        5 |        0
299.04/299.17	c  297s |      12 |   122553 |    28219 |    49374      0 |        5 |        0
301.34/301.49	c  300s |      12 |   122768 |    28419 |    49374      0 |        5 |        0
303.54/303.66	c  302s |      12 |   122982 |    28619 |    49374      0 |        5 |        0
305.94/306.05	c  304s |      12 |   123198 |    28819 |    49374      0 |        5 |        0
308.04/308.18	c  306s |      12 |   123536 |    29019 |    49374      0 |        5 |        0
311.03/311.16	c  309s |      12 |   123902 |    29219 |    49374      0 |        5 |        0
313.03/313.17	c  311s |      12 |   124016 |    29319 |    49374      0 |        5 |        0
316.74/316.89	c  315s |      12 |   124862 |    29519 |    49374      0 |        5 |        0
318.83/318.90	c  317s |      12 |   125084 |    29719 |    49374      0 |        5 |        0
320.83/320.94	c  319s |      12 |   125315 |    29919 |    49374      0 |        5 |        0
323.23/323.30	c  321s |      12 |   125760 |    30119 |    49374      0 |        5 |        0
325.64/325.79	c  324s |      12 |   126092 |    30419 |    49374      0 |        5 |        0
328.23/328.34	c  327s |      12 |   126427 |    30719 |    49374      0 |        5 |        0
330.43/330.54	c  329s |      12 |   126868 |    30919 |    49374      0 |        5 |        0
332.53/332.62	c  331s |      12 |   127096 |    31119 |    49374      0 |        5 |        0
335.33/335.44	c  334s |      12 |   127428 |    31419 |    49374      0 |        5 |        0
337.53/337.70	c  336s |      12 |   127652 |    31619 |    49374      0 |        5 |        0
340.43/340.54	c  339s |      12 |   127923 |    31819 |    49374      0 |        5 |        0
343.53/343.69	c  342s |      12 |   128367 |    32019 |    49374      0 |        5 |        0
347.12/347.28	c  345s |      12 |   129247 |    32219 |    49374      0 |        5 |        0
349.83/349.99	c  348s |      12 |   129582 |    32519 |    49374      0 |        5 |        0
352.52/352.62	c  351s |      12 |   129920 |    32819 |    49374      0 |        5 |        0
355.24/355.35	c  354s |      12 |   130246 |    33119 |    49374      0 |        5 |        0
358.33/358.45	c  357s |      12 |   130636 |    33419 |    49374      0 |        5 |        0
361.03/361.15	c  359s |      12 |   130844 |    33619 |    49374      0 |        5 |        0
364.14/364.24	c  362s |      12 |   131080 |    33819 |    49374      0 |        5 |        0
367.73/367.89	c  366s |      12 |   131281 |    34019 |    49374      0 |        5 |        0
370.13/370.23	c  368s |      12 |   131499 |    34119 |    49374      0 |        5 |        0
372.63/372.79	c  371s |      12 |   131601 |    34219 |    49374      0 |        5 |        0
375.23/375.33	c  374s |      12 |   131833 |    34319 |    49374      0 |        5 |        0
377.33/377.45	c  376s |      12 |   131931 |    34419 |    49374      0 |        5 |        0
379.82/379.94	c  378s |      12 |   132043 |    34519 |    49374      0 |        5 |        0
382.83/382.90	c  381s |      12 |   132247 |    34719 |    49374      0 |        5 |        0
386.03/386.19	c  384s |      12 |   132468 |    34919 |    49374      0 |        5 |        0
389.52/389.65	c  388s |      12 |   132677 |    35119 |    49374      0 |        5 |        0
393.22/393.33	c  392s |      12 |   132879 |    35319 |    49374      0 |        5 |        0
396.72/396.84	c  395s |      12 |   133097 |    35519 |    49374      0 |        5 |        0
400.32/400.47	c  399s |      12 |   133305 |    35719 |    49374      0 |        5 |        0
404.02/404.18	c  402s |      12 |   133513 |    35919 |    49374      0 |        5 |        0
407.82/407.95	c  406s |      12 |   133728 |    36119 |    49374      0 |        5 |        0
411.42/411.51	c  410s |      12 |   133949 |    36319 |    49374      0 |        5 |        0
415.22/415.34	c  414s |      12 |   134153 |    36519 |    49374      0 |        5 |        0
418.92/419.00	c  417s |      12 |   134352 |    36719 |    49374      0 |        5 |        0
420.92/421.01	c  419s |      12 |   134458 |    36819 |    49374      0 |        5 |        0
422.92/423.09	c  421s |      12 |   134563 |    36919 |    49374      0 |        5 |        0
424.92/425.09	c  423s |      12 |   134671 |    37019 |    49374      0 |        5 |        0
428.92/429.06	c  427s |      12 |   134874 |    37219 |    49374      0 |        5 |        0
430.91/431.07	c  429s |      12 |   134971 |    37319 |    49374      0 |        5 |        0
433.01/433.11	c  431s |      12 |   135340 |    37419 |    49374      0 |        5 |        0
436.42/436.56	c  435s |      12 |   135653 |    37619 |    49374      0 |        5 |        0
440.52/440.61	c  439s |      12 |   135889 |    37819 |    49374      0 |        5 |        0
442.72/442.83	c  441s |      12 |   136001 |    37919 |    49374      0 |        5 |        0
444.91/445.03	c  443s |      12 |   136102 |    38019 |    49374      0 |        5 |        0
447.21/447.31	c  445s |      12 |   136205 |    38119 |    49374      0 |        5 |        0
449.51/449.67	c  448s |      12 |   136308 |    38219 |    49374      0 |        5 |        0
452.02/452.17	c  450s |      12 |   136412 |    38319 |    49374      0 |        5 |        0
454.32/454.43	c  453s |      12 |   136744 |    38419 |    49374      0 |        5 |        0
457.41/457.58	c  456s |      12 |   136846 |    38519 |    49374      0 |        5 |        0
460.31/460.42	c  459s |      12 |   136948 |    38619 |    54312      0 |        5 |        0
463.21/463.34	c  462s |      12 |   137047 |    38719 |    54312      0 |        5 |        0
466.01/466.16	c  464s |      12 |   137152 |    38819 |    54312      0 |        5 |        0
466.42/466.58	c  465s |      13 |   137163 |    38832 |    54312      0 |        5 |        0
468.81/468.91	c  467s |      13 |   143918 |    38932 |    54312      0 |        5 |        0
471.21/471.32	c  470s |      13 |   144361 |    39332 |    54312      0 |        5 |        0
473.81/473.92	c  472s |      13 |   144812 |    39732 |    54312      0 |        5 |        0
475.81/475.97	c  474s |      13 |   145131 |    40032 |    54312      0 |        5 |        0
477.91/478.04	c  476s |      13 |   145452 |    40332 |    54312      0 |        5 |        0
480.51/480.61	c  479s |      13 |   145887 |    40732 |    54312      0 |        5 |        0
482.70/482.88	c  481s |      13 |   146195 |    41032 |    54312      0 |        5 |        0
484.80/484.94	c  483s |      13 |   146516 |    41332 |    54312      0 |        5 |        0
487.21/487.35	c  486s |      13 |   146826 |    41632 |    54312      0 |        5 |        0
489.60/489.71	c  488s |      13 |   147129 |    41932 |    54312      0 |        5 |        0
491.90/492.06	c  490s |      13 |   147444 |    42232 |    54312      0 |        5 |        0
494.50/494.63	c  493s |      13 |   147859 |    42632 |    54312      0 |        5 |        0
496.50/496.67	c  495s |      13 |   148190 |    42932 |    54312      0 |        5 |        0
498.60/498.76	c  497s |      13 |   148503 |    43232 |    54312      0 |        5 |        0
500.70/500.82	c  499s |      13 |   148834 |    43532 |    54312      0 |        5 |        0
502.80/502.93	c  501s |      13 |   149163 |    43832 |    54312      0 |        5 |        0
505.00/505.14	c  503s |      13 |   149492 |    44132 |    54312      0 |        5 |        0
507.30/507.47	c  506s |      13 |   149809 |    44432 |    54312      0 |        5 |        0
509.60/509.79	c  508s |      13 |   150136 |    44732 |    54312      0 |        5 |        0
511.90/512.06	c  510s |      13 |   150447 |    45032 |    54312      0 |        5 |        0
514.20/514.37	c  513s |      13 |   150782 |    45332 |    54312      0 |        5 |        0
516.60/516.70	c  515s |      13 |   151109 |    45632 |    54312      0 |        5 |        0
519.20/519.36	c  518s |      13 |   151534 |    46032 |    54312      0 |        5 |        0
521.40/521.54	c  520s |      13 |   151852 |    46332 |    54312      0 |        5 |        0
523.50/523.67	c  522s |      13 |   152162 |    46632 |    54312      0 |        5 |        0
525.60/525.73	c  524s |      13 |   152477 |    46932 |    54312      0 |        5 |        0
527.80/527.95	c  526s |      13 |   152797 |    47232 |    54312      0 |        5 |        0
529.90/530.05	c  528s |      13 |   153118 |    47532 |    54312      0 |        5 |        0
532.20/532.32	c  530s |      13 |   153438 |    47832 |    54312      0 |        5 |        0
534.51/534.65	c  533s |      13 |   153753 |    48132 |    54312      0 |        5 |        0
536.60/536.80	c  535s |      13 |   154086 |    48432 |    54312      0 |        5 |        0
538.91/539.07	c  537s |      13 |   154416 |    48732 |    54312      0 |        5 |        0
541.30/541.41	c  540s |      13 |   154743 |    49032 |    54312      0 |        5 |        0
543.70/543.80	c  542s |      13 |   155062 |    49332 |    54312      0 |        5 |        0
546.00/546.18	c  544s |      13 |   155377 |    49632 |    54312      0 |        5 |        0
548.40/548.53	c  547s |      13 |   155689 |    49932 |    54312      0 |        5 |        0
550.40/550.54	c  549s |      13 |   156032 |    50232 |    54312      0 |        5 |        0
552.80/552.93	c  551s |      13 |   156349 |    50532 |    54312      0 |        5 |        0
555.41/555.55	c  554s |      13 |   156780 |    50932 |    54312      0 |        5 |        0
558.20/558.33	c  557s |      13 |   157200 |    51332 |    54312      0 |        5 |        0
560.40/560.56	c  559s |      13 |   157522 |    51632 |    54312      0 |        5 |        0
562.70/562.81	c  561s |      13 |   157839 |    51932 |    54312      0 |        5 |        0
564.90/565.05	c  563s |      13 |   158168 |    52232 |    54312      0 |        5 |        0
567.40/567.51	c  566s |      13 |   158490 |    52532 |    54312      0 |        5 |        0
569.80/569.93	c  568s |      13 |   158816 |    52832 |    54312      0 |        5 |        0
572.20/572.37	c  571s |      13 |   159141 |    53132 |    54312      0 |        5 |        0
574.59/574.74	c  573s |      13 |   159469 |    53432 |    54312      0 |        5 |        0
577.29/577.48	c  576s |      13 |   159794 |    53732 |    54312      0 |        5 |        0
579.70/579.87	c  578s |      13 |   160132 |    54032 |    54312      0 |        5 |        0
581.99/582.10	c  580s |      13 |   160452 |    54332 |    54312      0 |        5 |        0
584.19/584.35	c  583s |      13 |   160767 |    54632 |    54312      0 |        5 |        0
586.69/586.82	c  585s |      13 |   161090 |    54932 |    54312      0 |        5 |        0
589.29/589.47	c  588s |      13 |   161413 |    55232 |    54312      0 |        5 |        0
591.59/591.77	c  590s |      13 |   161728 |    55532 |    54312      0 |        5 |        0
593.79/593.99	c  592s |      13 |   162048 |    55832 |    54312      0 |        5 |        0
596.20/596.36	c  595s |      13 |   162361 |    56132 |    54312      0 |        5 |        0
598.40/598.59	c  597s |      13 |   162681 |    56432 |    54312      0 |        5 |        0
600.79/600.95	c  599s |      13 |   163012 |    56732 |    54312      0 |        5 |        0
603.09/603.26	c  601s |      13 |   163334 |    57032 |    54312      0 |        5 |        0
605.39/605.59	c  604s |      13 |   163665 |    57332 |    54312      0 |        5 |        0
607.89/608.07	c  606s |      13 |   163991 |    57632 |    54312      0 |        5 |        0
610.59/610.72	c  609s |      13 |   164324 |    57932 |    54312      0 |        5 |        0
613.09/613.29	c  611s |      13 |   164639 |    58232 |    59744      0 |        5 |        0
614.29/614.44	c  613s |      14 |   164757 |    58352 |    59744      0 |        5 |        0
617.49/617.62	c  616s |      14 |   173214 |    58452 |    59744      0 |        5 |        0
619.89/620.03	c  618s |      14 |   173531 |    58752 |    59744      0 |        5 |        0
622.59/622.78	c  621s |      14 |   173873 |    59052 |    59744      0 |        5 |        0
624.79/624.91	c  623s |      14 |   174091 |    59252 |    59744      0 |        5 |        0
626.78/626.96	c  625s |      14 |   174377 |    59452 |    59744      0 |        5 |        0
629.88/630.05	c  628s |      14 |   174994 |    59752 |    59744      0 |        5 |        0
631.98/632.15	c  630s |      14 |   175530 |    59952 |    59744      0 |        5 |        0
634.38/634.50	c  633s |      14 |   175871 |    60152 |    59744      0 |        5 |        0
637.18/637.36	c  636s |      14 |   176131 |    60352 |    59744      0 |        5 |        0
639.78/639.93	c  638s |      14 |   176535 |    60552 |    59744      0 |        5 |        0
642.29/642.47	c  641s |      14 |   176798 |    60752 |    59744      0 |        5 |        0
645.08/645.27	c  643s |      14 |   177026 |    60952 |    59744      0 |        5 |        0
647.89/648.06	c  646s |      14 |   177273 |    61152 |    59744      0 |        5 |        0
650.18/650.31	c  648s |      14 |   177808 |    61352 |    59744      0 |        5 |        0
652.78/652.99	c  651s |      14 |   178033 |    61552 |    59744      0 |        5 |        0
655.78/655.95	c  654s |      14 |   178298 |    61752 |    59744      0 |        5 |        0
658.58/658.76	c  657s |      14 |   178533 |    61952 |    59744      0 |        5 |        0
661.18/661.34	c  660s |      14 |   178975 |    62152 |    59744      0 |        5 |        0
663.88/664.02	c  662s |      14 |   179256 |    62352 |    59744      0 |        5 |        0
666.38/666.57	c  665s |      14 |   179581 |    62552 |    59744      0 |        5 |        0
669.28/669.42	c  668s |      14 |   179872 |    62752 |    59744      0 |        5 |        0
672.27/672.43	c  671s |      14 |   180093 |    62952 |    59744      0 |        5 |        0
675.28/675.41	c  674s |      14 |   180307 |    63152 |    59744      0 |        5 |        0
678.38/678.54	c  677s |      14 |   180523 |    63352 |    59744      0 |        5 |        0
681.18/681.37	c  680s |      14 |   180951 |    63552 |    59744      0 |        5 |        0
684.19/684.34	c  683s |      14 |   181261 |    63752 |    59744      0 |        5 |        0
687.08/687.27	c  685s |      14 |   181481 |    63952 |    59744      0 |        5 |        0
690.18/690.34	c  689s |      14 |   181718 |    64152 |    59744      0 |        5 |        0
693.18/693.30	c  691s |      14 |   181964 |    64352 |    59744      0 |        5 |        0
696.18/696.39	c  695s |      14 |   182181 |    64552 |    59744      0 |        5 |        0
698.98/699.15	c  697s |      14 |   182482 |    64752 |    59744      0 |        5 |        0
701.78/701.98	c  700s |      14 |   182800 |    64952 |    59744      0 |        5 |        0
704.47/704.62	c  703s |      14 |   183164 |    65152 |    59744      0 |        5 |        0
707.28/707.42	c  706s |      14 |   183400 |    65352 |    59744      0 |        5 |        0
709.87/710.02	c  708s |      14 |   183707 |    65552 |    59744      0 |        5 |        0
712.97/713.15	c  711s |      14 |   183945 |    65752 |    59744      0 |        5 |        0
715.87/716.09	c  714s |      14 |   184242 |    65952 |    59744      0 |        5 |        0
719.17/719.30	c  717s |      14 |   184469 |    66152 |    59744      0 |        5 |        0
722.07/722.26	c  720s |      14 |   184715 |    66352 |    59744      0 |        5 |        0
725.07/725.21	c  723s |      14 |   184947 |    66552 |    59744      0 |        5 |        0
727.97/728.12	c  726s |      14 |   185246 |    66752 |    59744      0 |        5 |        0
730.86/731.07	c  729s |      14 |   185509 |    66952 |    59744      0 |        5 |        0
733.76/733.90	c  732s |      14 |   185812 |    67152 |    59744      0 |        5 |        0
736.76/737.00	c  735s |      14 |   186055 |    67352 |    59744      0 |        5 |        0
739.36/739.58	c  738s |      14 |   186523 |    67552 |    59744      0 |        5 |        0
742.37/742.55	c  741s |      14 |   186758 |    67752 |    59744      0 |        5 |        0
745.26/745.45	c  744s |      14 |   187032 |    67952 |    59744      0 |        5 |        0
747.98/748.14	c  746s |      14 |   187342 |    68152 |    59744      0 |        5 |        0
750.87/751.05	c  749s |      14 |   187596 |    68352 |    59744      0 |        5 |        0
753.87/754.03	c  752s |      14 |   187833 |    68552 |    59744      0 |        5 |        0
756.87/757.09	c  755s |      14 |   188094 |    68752 |    59744      0 |        5 |        0
760.17/760.30	c  758s |      14 |   188314 |    68952 |    59744      0 |        5 |        0
762.97/763.17	c  761s |      14 |   188574 |    69152 |    59744      0 |        5 |        0
765.77/765.95	c  764s |      14 |   188871 |    69352 |    59744      0 |        5 |        0
768.77/768.92	c  767s |      14 |   189265 |    69552 |    59744      0 |        5 |        0
771.46/771.69	c  770s |      14 |   189606 |    69752 |    59744      0 |        5 |        0
774.66/774.86	c  773s |      14 |   189806 |    69952 |    59744      0 |        5 |        0
777.57/777.70	c  776s |      14 |   190138 |    70152 |    59744      0 |        5 |        0
780.36/780.54	c  779s |      14 |   190487 |    70352 |    59744      0 |        5 |        0
783.46/783.68	c  782s |      14 |   190737 |    70552 |    59744      0 |        5 |        0
786.37/786.60	c  785s |      14 |   191116 |    70752 |    59744      0 |        5 |        0
789.36/789.57	c  788s |      14 |   191457 |    70952 |    59744      0 |        5 |        0
792.36/792.58	c  791s |      14 |   191755 |    71152 |    59744      0 |        5 |        0
795.46/795.67	c  794s |      14 |   192022 |    71352 |    59744      0 |        5 |        0
798.46/798.68	c  797s |      14 |   192526 |    71552 |    59744      0 |        5 |        0
801.56/801.79	c  800s |      14 |   192800 |    71752 |    59744      0 |        5 |        0
804.25/804.43	c  803s |      14 |   193168 |    71952 |    59744      0 |        5 |        0
807.15/807.34	c  806s |      14 |   193417 |    72152 |    59744      0 |        5 |        0
810.35/810.50	c  809s |      14 |   193656 |    72352 |    59744      0 |        5 |        0
813.87/814.01	c  812s |      14 |   193876 |    72552 |    59744      0 |        5 |        0
817.06/817.22	c  815s |      14 |   194092 |    72752 |    59744      0 |        5 |        0
820.06/820.27	c  818s |      14 |   194321 |    72952 |    59744      0 |        5 |        0
823.56/823.73	c  822s |      14 |   194621 |    73152 |    59744      0 |        5 |        0
827.16/827.38	c  826s |      14 |   194847 |    73352 |    59744      0 |        5 |        0
830.65/830.82	c  829s |      14 |   195056 |    73552 |    59744      0 |        5 |        0
834.05/834.26	c  832s |      14 |   195273 |    73752 |    59744      0 |        5 |        0
837.65/837.83	c  836s |      14 |   195522 |    73952 |    59744      0 |        5 |        0
840.45/840.64	c  839s |      14 |   195753 |    74152 |    59744      0 |        5 |        0
843.25/843.43	c  842s |      14 |   196044 |    74352 |    59744      0 |        5 |        0
846.15/846.30	c  844s |      14 |   196376 |    74552 |    59744      0 |        5 |        0
848.55/848.79	c  847s |      14 |   196805 |    74752 |    59744      0 |        5 |        0
851.55/851.79	c  850s |      14 |   197065 |    74952 |    59744      0 |        5 |        0
854.55/854.71	c  853s |      14 |   197312 |    75152 |    59744      0 |        5 |        0
857.54/857.76	c  856s |      14 |   197543 |    75352 |    59744      0 |        5 |        0
860.34/860.58	c  859s |      14 |   197815 |    75552 |    59744      0 |        5 |        0
863.35/863.55	c  862s |      14 |   198079 |    75752 |    59744      0 |        5 |        0
866.34/866.58	c  865s |      14 |   198353 |    75952 |    59744      0 |        5 |        0
868.95/869.17	c  867s |      14 |   198626 |    76152 |    59744      0 |        5 |        0
871.54/871.79	c  870s |      14 |   198965 |    76352 |    59744      0 |        5 |        0
874.64/874.87	c  873s |      14 |   199224 |    76552 |    59744      0 |        5 |        0
877.65/877.81	c  876s |      14 |   199517 |    76752 |    59744      0 |        5 |        0
880.44/880.66	c  879s |      14 |   199778 |    76952 |    59744      0 |        5 |        0
883.14/883.37	c  882s |      14 |   200067 |    77152 |    59744      0 |        5 |        0
886.13/886.39	c  885s |      14 |   200366 |    77352 |    59744      0 |        5 |        0
889.33/889.51	c  888s |      14 |   200581 |    77552 |    59744      0 |        5 |        0
892.43/892.66	c  891s |      14 |   200847 |    77752 |    59744      0 |        5 |        0
895.23/895.45	c  894s |      14 |   201081 |    77952 |    59744      0 |        5 |        0
898.33/898.58	c  897s |      14 |   201311 |    78152 |    59744      0 |        5 |        0
901.63/901.83	c  900s |      14 |   201559 |    78352 |    59744      0 |        5 |        0
904.93/905.16	c  903s |      14 |   201786 |    78552 |    59744      0 |        5 |        0
908.03/908.28	c  906s |      14 |   201993 |    78752 |    59744      0 |        5 |        0
911.03/911.29	c  909s |      14 |   202276 |    78952 |    59744      0 |        5 |        0
913.93/914.15	c  912s |      14 |   202538 |    79152 |    59744      0 |        5 |        0
917.62/917.81	c  916s |      14 |   202743 |    79352 |    59744      0 |        5 |        0
920.92/921.14	c  919s |      14 |   202961 |    79552 |    59744      0 |        5 |        0
923.92/924.17	c  922s |      14 |   203218 |    79752 |    59744      0 |        5 |        0
927.22/927.43	c  926s |      14 |   203454 |    79952 |    59744      0 |        5 |        0
930.21/930.40	c  929s |      14 |   203683 |    80152 |    59744      0 |        5 |        0
933.31/933.50	c  932s |      14 |   204015 |    80352 |    59744      0 |        5 |        0
936.70/936.97	c  935s |      14 |   204254 |    80552 |    59744      0 |        5 |        0
939.90/940.10	c  938s |      14 |   204483 |    80752 |    59744      0 |        5 |        0
943.00/943.27	c  941s |      14 |   204724 |    80952 |    59744      0 |        5 |        0
946.31/946.52	c  945s |      14 |   204945 |    81152 |    59744      0 |        5 |        0
949.61/949.81	c  948s |      14 |   205191 |    81352 |    59744      0 |        5 |        0
952.91/953.18	c  951s |      14 |   205404 |    81552 |    59744      0 |        5 |        0
954.91/955.18	c  953s |      14 |   205514 |    81652 |    59744      0 |        5 |        0
958.80/959.02	c  957s |      14 |   205726 |    81852 |    59744      0 |        5 |        0
961.60/961.86	c  960s |      14 |   205951 |    82052 |    59744      0 |        5 |        0
964.80/965.03	c  963s |      14 |   206254 |    82252 |    59744      0 |        5 |        0
967.90/968.17	c  966s |      14 |   206626 |    82452 |    59744      0 |        5 |        0
970.89/971.15	c  969s |      14 |   206934 |    82652 |    59744      0 |        5 |        0
973.69/973.94	c  972s |      14 |   207192 |    82852 |    59744      0 |        5 |        0
976.48/976.73	c  975s |      14 |   207421 |    83052 |    59744      0 |        5 |        0
979.48/979.73	c  978s |      14 |   207654 |    83252 |    59744      0 |        5 |        0
982.48/982.73	c  981s |      14 |   207934 |    83452 |    59744      0 |        5 |        0
985.28/985.55	c  984s |      14 |   208243 |    83652 |    59744      0 |        5 |        0
988.19/988.42	c  987s |      14 |   208472 |    83852 |    59744      0 |        5 |        0
990.99/991.25	c  989s |      14 |   208749 |    84052 |    59744      0 |        5 |        0
994.09/994.36	c  993s |      14 |   208951 |    84252 |    59744      0 |        5 |        0
996.69/996.98	c  995s |      14 |   209168 |    84452 |    59744      0 |        5 |        0
999.99/1000.21	c  998s |      14 |   209466 |    84652 |    59744      0 |        5 |        0
1003.18/1003.49	c 1002s |      14 |   209677 |    84852 |    59744      0 |        5 |        0
1006.18/1006.45	c 1005s |      14 |   209952 |    85052 |    59744      0 |        5 |        0
1009.38/1009.62	c 1008s |      14 |   210183 |    85252 |    59744      0 |        5 |        0
1012.58/1012.85	c 1011s |      14 |   210401 |    85452 |    59744      0 |        5 |        0
1015.97/1016.20	c 1014s |      14 |   210623 |    85652 |    59744      0 |        5 |        0
1018.87/1019.16	c 1017s |      14 |   211019 |    85852 |    59744      0 |        5 |        0
1022.27/1022.56	c 1021s |      14 |   211277 |    86052 |    59744      0 |        5 |        0
1025.77/1026.00	c 1024s |      14 |   211501 |    86252 |    59744      0 |        5 |        0
1029.67/1029.97	c 1028s |      14 |   211785 |    86452 |    59744      0 |        5 |        0
1032.87/1033.20	c 1031s |      14 |   212009 |    86652 |    59744      0 |        5 |        0
1036.17/1036.41	c 1035s |      14 |   212325 |    86852 |    59744      0 |        5 |        0
1039.28/1039.54	c 1038s |      14 |   212559 |    87052 |    65719      0 |        5 |        0
1041.77/1042.03	c 1040s |      14 |   212966 |    87252 |    65719      0 |        5 |        0
1044.88/1045.16	c 1043s |      14 |   213228 |    87452 |    65719      0 |        5 |        0
1047.47/1047.78	c 1046s |      15 |   213433 |    87632 |    65719      0 |        5 |        0
1056.16/1056.44	c 1055s |      15 |   220624 |    87732 |    65719      1 |        5 |        0
1058.76/1059.05	c 1057s |      15 |   220966 |    88032 |    65719      1 |        5 |        0
1061.66/1061.99	c 1060s |      15 |   221320 |    88332 |    65719      1 |        5 |        0
1063.86/1064.16	c 1062s |      15 |   221534 |    88532 |    65719      1 |        5 |        0
1066.56/1066.81	c 1065s |      15 |   221753 |    88732 |    65719      1 |        5 |        0
1069.65/1069.97	c 1068s |      15 |   221994 |    88932 |    65719      1 |        5 |        0
1072.65/1072.92	c 1071s |      15 |   222205 |    89132 |    65719      1 |        5 |        0
1076.35/1076.66	c 1075s |      15 |   222413 |    89332 |    65719      1 |        5 |        0
1078.86/1079.20	c 1077s |      15 |   222514 |    89432 |    65719      1 |        5 |        0
1081.55/1081.85	c 1080s |      15 |   222619 |    89532 |    65719      1 |        5 |        0
1085.35/1085.69	c 1084s |      15 |   222825 |    89732 |    65719      1 |        5 |        0
1088.15/1088.44	c 1087s |      15 |   222946 |    89832 |    65719      1 |        5 |        0
1090.35/1090.70	c 1089s |      15 |   223045 |    89932 |    65719      1 |        5 |        0
1092.45/1092.77	c 1091s |      15 |   223156 |    90032 |    65719      1 |        5 |        0
1096.04/1096.32	c 1095s |      15 |   223405 |    90232 |    65719      1 |        5 |        0
1099.34/1099.62	c 1098s |      15 |   223630 |    90432 |    65719      1 |        5 |        0
1101.34/1101.69	c 1100s |      15 |   223738 |    90532 |    65719      1 |        5 |        0
1103.74/1104.07	c 1102s |      15 |   223953 |    90732 |    65719      1 |        5 |        0
1106.45/1106.71	c 1105s |      15 |   224324 |    91032 |    65719      1 |        5 |        0
1109.04/1109.35	c 1108s |      15 |   224673 |    91332 |    65719      1 |        5 |        0
1111.34/1111.63	c 1110s |      15 |   224898 |    91532 |    65719      1 |        5 |        0
1113.44/1113.74	c 1112s |      15 |   225147 |    91732 |    65719      1 |        5 |        0
1115.94/1116.23	c 1114s |      15 |   225366 |    91932 |    65719      1 |        5 |        0
1118.34/1118.64	c 1117s |      15 |   225573 |    92132 |    65719      1 |        5 |        0
1120.74/1121.02	c 1119s |      15 |   225798 |    92332 |    65719      1 |        5 |        0
1123.03/1123.38	c 1122s |      15 |   226006 |    92532 |    65719      1 |        5 |        0
1125.73/1126.01	c 1124s |      15 |   226213 |    92732 |    65719      1 |        5 |        0
1128.23/1128.50	c 1127s |      15 |   226439 |    92932 |    65719      1 |        5 |        0
1130.63/1130.94	c 1129s |      15 |   226660 |    93132 |    65719      1 |        5 |        0
1133.73/1134.07	c 1132s |      15 |   227039 |    93432 |    65719      1 |        5 |        0
1136.22/1136.54	c 1135s |      15 |   227258 |    93632 |    65719      1 |        5 |        0
1138.72/1139.07	c 1137s |      15 |   227470 |    93832 |    65719      1 |        5 |        0
1141.42/1141.70	c 1140s |      15 |   227698 |    94032 |    65719      1 |        5 |        0
1144.02/1144.39	c 1143s |      15 |   227909 |    94232 |    65719      1 |        5 |        0
1146.82/1147.13	c 1145s |      15 |   228117 |    94432 |    65719      1 |        5 |        0
1149.42/1149.74	c 1148s |      15 |   228346 |    94632 |    65719      1 |        5 |        0
1152.22/1152.52	c 1151s |      15 |   228553 |    94832 |    65719      1 |        5 |        0
1154.72/1155.04	c 1153s |      15 |   228765 |    95032 |    65719      1 |        5 |        0
1156.92/1157.22	c 1155s |      15 |   228979 |    95232 |    65719      1 |        5 |        0
1159.42/1159.77	c 1158s |      15 |   229191 |    95432 |    65719      1 |        5 |        0
1162.12/1162.43	c 1161s |      15 |   229416 |    95632 |    65719      1 |        5 |        0
1164.92/1165.25	c 1163s |      15 |   229620 |    95832 |    65719      1 |        5 |        0
1168.02/1168.31	c 1166s |      15 |   229847 |    96032 |    65719      1 |        5 |        0
1170.52/1170.83	c 1169s |      15 |   230060 |    96232 |    65719      1 |        5 |        0
1173.11/1173.46	c 1172s |      15 |   230265 |    96432 |    65719      1 |        5 |        0
1175.81/1176.13	c 1174s |      15 |   230477 |    96632 |    65719      1 |        5 |        0
1178.51/1178.86	c 1177s |      15 |   230686 |    96832 |    65719      1 |        5 |        0
1181.41/1181.73	c 1180s |      15 |   230907 |    97032 |    65719      1 |        5 |        0
1184.52/1184.88	c 1183s |      15 |   231110 |    97232 |    65719      1 |        5 |        0
1187.21/1187.59	c 1186s |      15 |   231318 |    97432 |    65719      1 |        5 |        0
1189.81/1190.14	c 1188s |      15 |   231553 |    97632 |    65719      1 |        5 |        0
1192.30/1192.61	c 1191s |      15 |   231765 |    97832 |    65719      1 |        5 |        0
1194.90/1195.24	c 1193s |      15 |   231975 |    98032 |    65719      1 |        5 |        0
1197.61/1197.94	c 1196s |      15 |   232181 |    98232 |    65719      1 |        5 |        0
1200.40/1200.71	c 1199s |      15 |   232384 |    98432 |    65719      1 |        5 |        0
1203.30/1203.60	c 1202s |      15 |   232595 |    98632 |    65719      1 |        5 |        0
1206.10/1206.49	c 1205s |      15 |   232801 |    98832 |    65719      1 |        5 |        0
1209.10/1209.46	c 1208s |      15 |   233007 |    99032 |    65719      1 |        5 |        0
1212.10/1212.45	c 1211s |      15 |   233221 |    99232 |    65719      1 |        5 |        0
1215.00/1215.39	c 1214s |      15 |   233430 |    99432 |    65719      1 |        5 |        0
1218.09/1218.42	c 1217s |      15 |   233644 |    99632 |    65719      1 |        5 |        0
1220.80/1221.11	c 1219s |      15 |   233851 |    99832 |    65719      1 |        5 |        0
1223.69/1224.01	c 1222s |      15 |   234055 |   100032 |    65719      1 |        5 |        0
1226.69/1227.03	c 1225s |      15 |   234266 |   100232 |    65719      1 |        5 |        0
1229.79/1230.17	c 1228s |      15 |   234474 |   100432 |    65719      1 |        5 |        0
1232.99/1233.33	c 1232s |      15 |   234680 |   100632 |    65719      1 |        5 |        0
1235.68/1236.06	c 1234s |      15 |   234885 |   100832 |    65719      1 |        5 |        0
1238.30/1238.69	c 1237s |      15 |   235101 |   101032 |    65719      1 |        5 |        0
1241.39/1241.70	c 1240s |      15 |   235313 |   101232 |    65719      1 |        5 |        0
1244.69/1245.05	c 1243s |      15 |   235509 |   101432 |    65719      1 |        5 |        0
1247.48/1247.87	c 1246s |      15 |   235728 |   101632 |    65719      1 |        5 |        0
1249.58/1249.95	c 1248s |      15 |   235955 |   101832 |    65719      1 |        5 |        0
1251.78/1252.19	c 1250s |      15 |   236170 |   102032 |    65719      1 |        5 |        0
1253.88/1254.23	c 1252s |      15 |   236387 |   102232 |    65719      1 |        5 |        0
1255.99/1256.34	c 1255s |      15 |   236608 |   102432 |    65719      1 |        5 |        0
1257.98/1258.36	c 1257s |      15 |   236840 |   102632 |    65719      1 |        5 |        0
1260.08/1260.48	c 1259s |      15 |   237055 |   102832 |    65719      1 |        5 |        0
1262.28/1262.66	c 1261s |      15 |   237267 |   103032 |    65719      1 |        5 |        0
1264.48/1264.85	c 1263s |      15 |   237473 |   103232 |    65719      1 |        5 |        0
1266.88/1267.29	c 1265s |      15 |   237685 |   103432 |    65719      1 |        5 |        0
1269.18/1269.51	c 1268s |      15 |   237904 |   103632 |    65719      1 |        5 |        0
1272.07/1272.43	c 1271s |      15 |   238117 |   103832 |    65719      1 |        5 |        0
1274.77/1275.14	c 1273s |      15 |   238334 |   104032 |    65719      1 |        5 |        0
1277.27/1277.63	c 1276s |      15 |   238556 |   104232 |    65719      1 |        5 |        0
1279.67/1280.09	c 1278s |      15 |   238766 |   104432 |    65719      1 |        5 |        0
1282.37/1282.77	c 1281s |      15 |   238987 |   104632 |    65719      1 |        5 |        0
1285.27/1285.67	c 1284s |      15 |   239200 |   104832 |    65719      1 |        5 |        0
1287.77/1288.17	c 1286s |      15 |   239422 |   105032 |    65719      1 |        5 |        0
1290.37/1290.71	c 1289s |      15 |   239637 |   105232 |    65719      1 |        5 |        0
1292.87/1293.22	c 1291s |      15 |   239851 |   105432 |    65719      1 |        5 |        0
1295.48/1295.89	c 1294s |      15 |   240071 |   105632 |    65719      1 |        5 |        0
1298.37/1298.70	c 1297s |      15 |   240295 |   105832 |    65719      1 |        5 |        0
1300.67/1301.06	c 1299s |      15 |   240516 |   106032 |    65719      1 |        5 |        0
1303.37/1303.76	c 1302s |      15 |   240721 |   106232 |    65719      1 |        5 |        0
1306.07/1306.47	c 1305s |      15 |   240928 |   106432 |    65719      1 |        5 |        0
1309.07/1309.43	c 1308s |      15 |   241132 |   106632 |    65719      1 |        5 |        0
1312.16/1312.58	c 1311s |      15 |   241346 |   106832 |    65719      1 |        5 |        0
1315.06/1315.46	c 1314s |      15 |   241567 |   107032 |    65719      1 |        5 |        0
1317.25/1317.64	c 1316s |      15 |   241672 |   107132 |    65719      1 |        5 |        0
1319.55/1319.96	c 1318s |      15 |   241905 |   107332 |    65719      1 |        5 |        0
1322.15/1322.51	c 1321s |      15 |   242122 |   107532 |    65719      1 |        5 |        0
1324.86/1325.25	c 1323s |      15 |   242338 |   107732 |    65719      1 |        5 |        0
1328.06/1328.47	c 1327s |      15 |   242546 |   107932 |    65719      1 |        5 |        0
1330.96/1331.39	c 1330s |      15 |   242760 |   108132 |    65719      1 |        5 |        0
1333.66/1334.01	c 1332s |      15 |   242967 |   108332 |    65719      1 |        5 |        0
1336.36/1336.78	c 1335s |      15 |   243181 |   108532 |    65719      1 |        5 |        0
1339.16/1339.51	c 1338s |      15 |   243394 |   108732 |    65719      1 |        5 |        0
1342.06/1342.40	c 1341s |      15 |   243602 |   108932 |    65719      1 |        5 |        0
1344.85/1345.28	c 1343s |      15 |   243811 |   109132 |    65719      1 |        5 |        0
1347.85/1348.22	c 1346s |      15 |   244020 |   109332 |    65719      1 |        5 |        0
1350.56/1350.91	c 1349s |      15 |   244229 |   109532 |    65719      1 |        5 |        0
1352.95/1353.38	c 1352s |      15 |   244447 |   109732 |    65719      1 |        5 |        0
1355.54/1355.95	c 1354s |      15 |   244656 |   109932 |    65719      1 |        5 |        0
1358.25/1358.62	c 1357s |      15 |   244862 |   110132 |    65719      1 |        5 |        0
1360.84/1361.26	c 1359s |      15 |   245157 |   110332 |    65719      1 |        5 |        0
1363.34/1363.74	c 1362s |      15 |   245367 |   110532 |    65719      1 |        5 |        0
1365.94/1366.38	c 1365s |      15 |   245591 |   110732 |    65719      1 |        5 |        0
1368.25/1368.62	c 1367s |      15 |   245808 |   110932 |    65719      1 |        5 |        0
1370.84/1371.21	c 1369s |      15 |   246046 |   111132 |    65719      1 |        5 |        0
1373.34/1373.75	c 1372s |      15 |   246277 |   111332 |    65719      1 |        5 |        0
1376.04/1376.49	c 1375s |      15 |   246488 |   111532 |    65719      1 |        5 |        0
1378.64/1379.07	c 1377s |      15 |   246698 |   111732 |    65719      1 |        5 |        0
1381.44/1381.80	c 1380s |      15 |   246915 |   111932 |    65719      1 |        5 |        0
1383.94/1384.36	c 1383s |      15 |   247145 |   112132 |    65719      1 |        5 |        0
1386.74/1387.14	c 1385s |      15 |   247363 |   112332 |    65719      1 |        5 |        0
1389.83/1390.20	c 1388s |      15 |   247587 |   112532 |    65719      1 |        5 |        0
1392.54/1392.95	c 1391s |      15 |   247789 |   112732 |    65719      1 |        5 |        0
1395.73/1396.15	c 1394s |      15 |   248009 |   112932 |    65719      1 |        5 |        0
1398.83/1399.21	c 1397s |      15 |   248234 |   113132 |    65719      1 |        5 |        0
1401.22/1401.63	c 1400s |      15 |   248477 |   113332 |    65719      1 |        5 |        0
1403.92/1404.31	c 1402s |      15 |   248687 |   113532 |    65719      1 |        5 |        0
1406.73/1407.12	c 1405s |      15 |   248909 |   113732 |    65719      1 |        5 |        0
1409.53/1409.93	c 1408s |      15 |   249109 |   113932 |    65719      1 |        5 |        0
1412.33/1412.73	c 1411s |      15 |   249315 |   114132 |    65719      1 |        5 |        0
1415.13/1415.56	c 1414s |      15 |   249539 |   114332 |    65719      1 |        5 |        0
1417.92/1418.30	c 1416s |      15 |   249760 |   114532 |    65719      1 |        5 |        0
1420.42/1420.85	c 1419s |      15 |   249980 |   114732 |    65719      1 |        5 |        0
1422.92/1423.39	c 1422s |      15 |   250180 |   114932 |    65719      1 |        5 |        0
1425.52/1425.91	c 1424s |      15 |   250393 |   115132 |    65719      1 |        5 |        0
1428.32/1428.74	c 1427s |      15 |   250616 |   115332 |    65719      1 |        5 |        0
1431.12/1431.53	c 1430s |      15 |   250833 |   115532 |    65719      1 |        5 |        0
1434.03/1434.42	c 1433s |      15 |   251060 |   115732 |    65719      1 |        5 |        0
1436.92/1437.33	c 1436s |      15 |   251277 |   115932 |    65719      1 |        5 |        0
1439.62/1440.04	c 1438s |      15 |   251479 |   116132 |    65719      1 |        5 |        0
1442.61/1443.04	c 1441s |      15 |   251705 |   116332 |    65719      1 |        5 |        0
1445.72/1446.19	c 1444s |      15 |   251916 |   116532 |    65719      1 |        5 |        0
1449.01/1449.45	c 1448s |      15 |   252122 |   116732 |    65719      1 |        5 |        0
1452.31/1452.70	c 1451s |      15 |   252350 |   116932 |    65719      1 |        5 |        0
1455.32/1455.71	c 1454s |      15 |   252576 |   117132 |    65719      1 |        5 |        0
1458.51/1458.94	c 1457s |      15 |   252793 |   117332 |    65719      1 |        5 |        0
1461.51/1461.98	c 1460s |      15 |   253044 |   117532 |    65719      1 |        5 |        0
1464.61/1465.09	c 1463s |      15 |   253246 |   117732 |    65719      1 |        5 |        0
1467.81/1468.27	c 1466s |      15 |   253461 |   117932 |    65719      1 |        5 |        0
1470.90/1471.38	c 1470s |      15 |   253670 |   118132 |    65719      1 |        5 |        0
1474.20/1474.66	c 1473s |      15 |   253877 |   118332 |    65719      1 |        5 |        0
1477.30/1477.72	c 1476s |      15 |   254095 |   118532 |    65719      1 |        5 |        0
1480.51/1480.98	c 1479s |      15 |   254306 |   118732 |    65719      1 |        5 |        0
1483.51/1483.99	c 1482s |      15 |   254522 |   118932 |    65719      1 |        5 |        0
1486.71/1487.16	c 1485s |      15 |   254726 |   119132 |    65719      1 |        5 |        0
1490.30/1490.75	c 1489s |      15 |   254936 |   119332 |    65719      1 |        5 |        0
1492.31/1492.76	c 1491s |      15 |   255041 |   119432 |    65719      1 |        5 |        0
1495.20/1495.69	c 1494s |      15 |   255277 |   119632 |    65719      1 |        5 |        0
1498.60/1499.03	c 1497s |      15 |   255491 |   119832 |    65719      1 |        5 |        0
1501.50/1501.95	c 1500s |      15 |   255719 |   120032 |    65719      1 |        5 |        0
1504.90/1505.30	c 1503s |      15 |   255937 |   120232 |    65719      1 |        5 |        0
1508.50/1508.94	c 1507s |      15 |   256148 |   120432 |    65719      1 |        5 |        0
1512.00/1512.41	c 1511s |      15 |   256357 |   120632 |    65719      1 |        5 |        0
1515.09/1515.51	c 1514s |      15 |   256568 |   120832 |    65719      1 |        5 |        0
1518.20/1518.69	c 1517s |      15 |   256788 |   121032 |    65719      1 |        5 |        0
1521.60/1522.06	c 1520s |      15 |   256998 |   121232 |    65719      1 |        5 |        0
1525.49/1525.95	c 1524s |      15 |   257215 |   121432 |    65719      1 |        5 |        0
1527.79/1528.29	c 1526s |      15 |   257315 |   121532 |    65719      1 |        5 |        0
1530.00/1530.40	c 1529s |      15 |   257467 |   121632 |    65719      1 |        5 |        0
1533.30/1533.71	c 1532s |      15 |   257674 |   121832 |    65719      1 |        5 |        0
1535.99/1536.49	c 1535s |      15 |   257892 |   122032 |    65719      1 |        5 |        0
1538.50/1538.91	c 1537s |      15 |   258130 |   122232 |    65719      1 |        5 |        0
1540.59/1541.08	c 1539s |      15 |   258362 |   122432 |    65719      1 |        5 |        0
1543.39/1543.81	c 1542s |      15 |   258571 |   122632 |    65719      1 |        5 |        0
1546.09/1546.54	c 1545s |      15 |   258789 |   122832 |    65719      1 |        5 |        0
1548.79/1549.22	c 1547s |      15 |   259007 |   123032 |    65719      1 |        5 |        0
1551.99/1552.48	c 1551s |      15 |   259223 |   123232 |    65719      1 |        5 |        0
1555.19/1555.69	c 1554s |      15 |   259431 |   123432 |    65719      1 |        5 |        0
1558.49/1558.93	c 1557s |      15 |   259658 |   123632 |    65719      1 |        5 |        0
1561.39/1561.87	c 1560s |      15 |   259873 |   123832 |    65719      1 |        5 |        0
1564.09/1564.58	c 1563s |      15 |   260091 |   124032 |    65719      1 |        5 |        0
1566.79/1567.23	c 1565s |      15 |   260315 |   124232 |    65719      1 |        5 |        0
1569.58/1570.02	c 1568s |      15 |   260521 |   124432 |    65719      1 |        5 |        0
1572.39/1572.82	c 1571s |      15 |   260744 |   124632 |    65719      1 |        5 |        0
1575.48/1575.91	c 1574s |      15 |   260959 |   124832 |    65719      1 |        5 |        0
1578.48/1578.91	c 1577s |      15 |   261171 |   125032 |    65719      1 |        5 |        0
1581.49/1581.91	c 1580s |      15 |   261377 |   125232 |    65719      1 |        5 |        0
1584.18/1584.63	c 1583s |      15 |   261600 |   125432 |    65719      1 |        5 |        0
1587.19/1587.65	c 1586s |      15 |   261808 |   125632 |    65719      1 |        5 |        0
1590.19/1590.63	c 1589s |      15 |   262022 |   125832 |    65719      1 |        5 |        0
1592.98/1593.47	c 1592s |      15 |   262232 |   126032 |    65719      1 |        5 |        0
1595.98/1596.42	c 1595s |      15 |   262439 |   126232 |    65719      1 |        5 |        0
1598.78/1599.29	c 1597s |      15 |   262658 |   126432 |    65719      1 |        5 |        0
1601.58/1602.07	c 1600s |      15 |   262873 |   126632 |    65719      1 |        5 |        0
1604.28/1604.74	c 1603s |      15 |   263108 |   126832 |    65719      1 |        5 |        0
1607.08/1607.51	c 1606s |      15 |   263333 |   127032 |    65719      1 |        5 |        0
1609.98/1610.44	c 1609s |      15 |   263541 |   127232 |    65719      1 |        5 |        0
1613.39/1613.83	c 1612s |      15 |   263754 |   127432 |    65719      1 |        5 |        0
1617.07/1617.58	c 1616s |      15 |   263969 |   127632 |    65719      1 |        5 |        0
1619.88/1620.32	c 1619s |      15 |   264189 |   127832 |    65719      1 |        5 |        0
1623.07/1623.55	c 1622s |      15 |   264396 |   128032 |    65719      1 |        5 |        0
1625.97/1626.42	c 1625s |      15 |   264603 |   128232 |    65719      1 |        5 |        0
1629.07/1629.59	c 1628s |      15 |   264818 |   128432 |    65719      1 |        5 |        0
1632.18/1632.68	c 1631s |      15 |   265019 |   128632 |    65719      1 |        5 |        0
1635.17/1635.65	c 1634s |      15 |   265238 |   128832 |    65719      1 |        5 |        0
1638.18/1638.69	c 1637s |      15 |   265450 |   129032 |    65719      1 |        5 |        0
1641.27/1641.70	c 1640s |      15 |   265662 |   129232 |    65719      1 |        5 |        0
1644.27/1644.78	c 1643s |      15 |   265883 |   129432 |    65719      1 |        5 |        0
1647.68/1648.12	c 1646s |      15 |   266091 |   129632 |    65719      1 |        5 |        0
1651.18/1651.61	c 1650s |      15 |   266296 |   129832 |    65719      1 |        5 |        0
1654.17/1654.65	c 1653s |      15 |   266504 |   130032 |    65719      1 |        5 |        0
1657.77/1658.22	c 1656s |      15 |   266717 |   130232 |    65719      1 |        5 |        0
1660.46/1660.90	c 1659s |      15 |   266937 |   130432 |    65719      1 |        5 |        0
1663.17/1663.65	c 1662s |      15 |   267148 |   130632 |    65719      1 |        5 |        0
1666.17/1666.66	c 1665s |      15 |   267363 |   130832 |    72291      1 |        5 |        0
1669.06/1669.55	c 1668s |      15 |   267567 |   131032 |    72291      1 |        5 |        0
1672.17/1672.69	c 1671s |      15 |   267781 |   131232 |    72291      1 |        5 |        0
1675.57/1676.07	c 1674s |      15 |   267991 |   131432 |    72291      1 |        5 |        0
1677.47/1677.91	c 1676s |      16 |   268112 |   131552 |    72291      1 |        5 |        0
1688.66/1689.12	c 1687s |      16 |   279148 |   131652 |    72291      2 |        5 |        0
1691.37/1691.83	c 1690s |      16 |   279459 |   131952 |    72291      2 |        5 |        0
1693.46/1693.94	c 1692s |      16 |   279680 |   132152 |    72291      2 |        5 |        0
1696.46/1696.94	c 1695s |      16 |   280025 |   132452 |    72291      2 |        5 |        0
1698.56/1699.08	c 1697s |      16 |   280260 |   132652 |    72291      2 |        5 |        0
1700.96/1701.41	c 1700s |      16 |   280489 |   132852 |    72291      2 |        5 |        0
1703.76/1704.23	c 1702s |      16 |   280837 |   133152 |    72291      2 |        5 |        0
1705.77/1706.26	c 1704s |      16 |   281056 |   133352 |    72291      2 |        5 |        0
1707.87/1708.35	c 1707s |      16 |   281263 |   133552 |    72291      2 |        5 |        0
1709.96/1710.43	c 1709s |      16 |   281472 |   133752 |    72291      2 |        5 |        0
1712.46/1712.91	c 1711s |      16 |   281679 |   133952 |    72291      2 |        5 |        0
1715.16/1715.60	c 1714s |      16 |   281896 |   134152 |    72291      2 |        5 |        0
1717.26/1717.79	c 1716s |      16 |   282110 |   134352 |    72291      2 |        5 |        0
1719.66/1720.11	c 1718s |      16 |   282330 |   134552 |    72291      2 |        5 |        0
1721.86/1722.38	c 1721s |      16 |   282552 |   134752 |    72291      2 |        5 |        0
1724.15/1724.65	c 1723s |      16 |   282772 |   134952 |    72291      2 |        5 |        0
1726.67/1727.19	c 1725s |      16 |   282993 |   135152 |    72291      2 |        5 |        0
1728.87/1729.34	c 1728s |      16 |   283206 |   135352 |    72291      2 |        5 |        0
1731.65/1732.10	c 1730s |      16 |   283426 |   135552 |    72291      2 |        5 |        0
1735.16/1735.68	c 1734s |      16 |   283646 |   135752 |    72291      2 |        5 |        0
1737.26/1737.79	c 1736s |      16 |   283755 |   135852 |    72291      2 |        5 |        0
1740.56/1741.09	c 1739s |      16 |   283978 |   136052 |    72291      2 |        5 |        0
1743.66/1744.10	c 1742s |      16 |   284194 |   136252 |    72291      2 |        5 |        0
1746.85/1747.39	c 1746s |      16 |   284415 |   136452 |    72291      2 |        5 |        0
1749.85/1750.35	c 1749s |      16 |   284627 |   136652 |    72291      2 |        5 |        0
1752.45/1752.95	c 1751s |      16 |   284843 |   136852 |    72291      2 |        5 |        0
1755.26/1755.77	c 1754s |      16 |   285059 |   137052 |    72291      2 |        5 |        0
1757.85/1758.39	c 1757s |      16 |   285279 |   137252 |    72291      2 |        5 |        0
1760.95/1761.49	c 1760s |      16 |   285508 |   137452 |    72291      2 |        5 |        0
1764.55/1765.05	c 1763s |      16 |   285740 |   137652 |    72291      2 |        5 |        0
1768.06/1768.59	c 1767s |      16 |   285951 |   137852 |    72291      2 |        5 |        0
1771.85/1772.31	c 1770s |      16 |   286162 |   138052 |    72291      2 |        5 |        0
1774.45/1774.96	c 1773s |      16 |   286266 |   138152 |    72291      2 |        5 |        0
1777.75/1778.26	c 1776s |      16 |   286376 |   138252 |    72291      2 |        5 |        0
1781.25/1781.70	c 1780s |      16 |   286492 |   138352 |    72291      2 |        5 |        0
1784.96/1785.43	c 1784s |      16 |   286599 |   138452 |    72291      2 |        5 |        0
1787.16/1787.68	c 1786s |      16 |   286822 |   138652 |    72291      2 |        5 |        0
1789.36/1789.86	c 1788s |      16 |   287045 |   138852 |    72291      2 |        5 |        0
1791.65/1792.10	c 1790s |      16 |   287274 |   139052 |    72291      2 |        5 |        0
1793.66/1794.19	c 1792s |      16 |   287505 |   139252 |    72291      2 |        5 |        0
1795.75/1796.21	c 1794s |      16 |   287729 |   139452 |    72291      2 |        5 |        0
1798.05/1798.59	c 1797s |      16 |   287955 |   139652 |    72291      2 |        5 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4119897-1467279512/watcher-4119897-1467279512 -o /tmp/evaluation-result-4119897-1467279512/solver-4119897-1467279512 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467279512-9190 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119897-1467279512.opb 

pid=9220
running on 4 cores: 0,2,4,6

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

[startup+0 s]
/proc/loadavg: 1.28 1.21 1.33 3/179 9223
/proc/meminfo: memFree=28313732/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/9223/stat : 9223 (runsolver) R 9220 8332 8332 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 1 0 6978832 24911872 75 33554432000 4194304 4338465 140737014901184 140737014898720 270320890832 0 0 4096 24578 0 0 0 17 6 0 0 0 0 0
/proc/9223/statm: 6082 75 29 36 0 2655 0
Current StackSize limit: 10240 KiB


[startup+0.100123 s]
/proc/loadavg: 1.28 1.21 1.33 3/179 9223
/proc/meminfo: memFree=28313732/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/9223/stat : 9223 (toysat) R 9220 9223 8332 0 -1 4202496 25331 0 0 0 5 4 0 0 20 0 4 0 6978832 1333334016 25629 33554432000 4194304 16246674 140735498583792 140735498583104 7369730 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9223/statm: 325521 25636 800 2943 0 322415 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200345 s]
/proc/loadavg: 1.28 1.21 1.33 3/179 9223
/proc/meminfo: memFree=28313732/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=1313348 CPUtime=0.18 cores=0,2,4,6
/proc/9223/stat : 9223 (toysat) R 9220 9223 8332 0 -1 4202496 43966 0 0 0 12 6 0 0 20 0 4 0 6978832 1344868352 44775 33554432000 4194304 16246674 140735498583792 140735498583104 13967455 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9223/statm: 328337 44775 800 2943 0 325231 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300322 s]
/proc/loadavg: 1.28 1.21 1.33 3/179 9223
/proc/meminfo: memFree=28313732/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/9223/stat : 9223 (toysat) R 9220 9223 8332 0 -1 4202496 52842 0 0 0 21 8 0 0 20 0 4 0 6978832 1344868352 53651 33554432000 4194304 16246674 140735498583792 140735498583104 4206604 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9223/statm: 328337 53651 800 2943 0 325231 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700306 s]
/proc/loadavg: 1.28 1.21 1.33 3/179 9223
/proc/meminfo: memFree=28313732/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=1327684 CPUtime=0.68 cores=0,2,4,6
/proc/9223/stat : 9223 (toysat) R 9220 9223 8332 0 -1 4202496 59718 0 0 0 59 9 0 0 20 0 4 0 6978832 1359548416 60527 33554432000 4194304 16246674 140735498583792 140735498583008 12654836 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9223/statm: 331921 60527 833 2943 0 328815 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1327684

[startup+1.5004 s]
/proc/loadavg: 1.42 1.24 1.34 3/183 9227
/proc/meminfo: memFree=27855988/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=1327684 CPUtime=1.48 cores=0,2,4,6
/proc/9223/stat : 9223 (toysat) R 9220 9223 8332 0 -1 4202496 97276 0 0 0 134 14 0 0 20 0 4 0 6978832 1359548416 98085 33554432000 4194304 16246674 140735498583792 140735498565696 5711338 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9223/statm: 331921 98085 888 2943 0 328815 0
[pid=9223/tid=9225] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9225/stat : 9225 (toysat) S 9220 9223 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 98085 33554432000 4194304 16246674 140735498583792 139919607442672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9223/tid=9226] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9226/stat : 9226 (toysat) S 9220 9223 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 98085 33554432000 4194304 16246674 140735498583792 139919596952816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9223/tid=9227] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9227/stat : 9227 (toysat) S 9220 9223 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 98085 33554432000 4194304 16246674 140735498583792 139919586479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1327684

[startup+3.10035 s]
/proc/loadavg: 1.42 1.24 1.34 3/183 9227
/proc/meminfo: memFree=27617412/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=1327684 CPUtime=3.08 cores=0,2,4,6
/proc/9223/stat : 9223 (toysat) R 9220 9223 8332 0 -1 4202496 97279 0 0 0 294 14 0 0 20 0 4 0 6978832 1359548416 98088 33554432000 4194304 16246674 140735498583792 140735498565696 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9223/statm: 331921 98088 891 2943 0 328815 0
[pid=9223/tid=9225] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9225/stat : 9225 (toysat) S 9220 9223 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 98088 33554432000 4194304 16246674 140735498583792 139919607442672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9223/tid=9226] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9226/stat : 9226 (toysat) S 9220 9223 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 98088 33554432000 4194304 16246674 140735498583792 139919596952816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9223/tid=9227] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9227/stat : 9227 (toysat) S 9220 9223 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 98088 33554432000 4194304 16246674 140735498583792 139919586479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1327684

[startup+6.30036 s]
/proc/loadavg: 1.42 1.24 1.34 3/183 9227
/proc/meminfo: memFree=26918800/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=1327684 CPUtime=6.28 cores=0,2,4,6
/proc/9223/stat : 9223 (toysat) R 9220 9223 8332 0 -1 4202496 97279 0 0 0 614 14 0 0 20 0 4 0 6978832 1359548416 98088 33554432000 4194304 16246674 140735498583792 140735498565696 5711952 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9223/statm: 331921 98088 891 2943 0 328815 0
[pid=9223/tid=9225] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9225/stat : 9225 (toysat) S 9220 9223 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 98088 33554432000 4194304 16246674 140735498583792 139919607442672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9223/tid=9226] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9226/stat : 9226 (toysat) S 9220 9223 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 98088 33554432000 4194304 16246674 140735498583792 139919596952816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9223/tid=9227] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9227/stat : 9227 (toysat) S 9220 9223 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 98088 33554432000 4194304 16246674 140735498583792 139919586479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1327684

[startup+12.7004 s]
/proc/loadavg: 1.51 1.26 1.35 3/183 9227
/proc/meminfo: memFree=26918956/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=1327684 CPUtime=12.68 cores=0,2,4,6
/proc/9223/stat : 9223 (toysat) R 9220 9223 8332 0 -1 4202496 97279 0 0 0 1254 14 0 0 20 0 4 0 6978832 1359548416 98088 33554432000 4194304 16246674 140735498583792 140735498565696 5711369 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9223/statm: 331921 98088 891 2943 0 328815 0
[pid=9223/tid=9225] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9225/stat : 9225 (toysat) S 9220 9223 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 98088 33554432000 4194304 16246674 140735498583792 139919607442672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9223/tid=9226] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9226/stat : 9226 (toysat) S 9220 9223 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 98088 33554432000 4194304 16246674 140735498583792 139919596952816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9223/tid=9227] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9227/stat : 9227 (toysat) S 9220 9223 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 98088 33554432000 4194304 16246674 140735498583792 139919586479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1327684

[startup+25.5005 s]
/proc/loadavg: 1.58 1.29 1.35 4/183 9227
/proc/meminfo: memFree=26920204/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=1327684 CPUtime=25.48 cores=0,2,4,6
/proc/9223/stat : 9223 (toysat) R 9220 9223 8332 0 -1 4202496 97284 0 0 0 2534 14 0 0 20 0 4 0 6978832 1359548416 98093 33554432000 4194304 16246674 140735498583792 140735498565696 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9223/statm: 331921 98093 895 2943 0 328815 0
[pid=9223/tid=9225] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9225/stat : 9225 (toysat) S 9220 9223 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 98093 33554432000 4194304 16246674 140735498583792 139919607442672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9223/tid=9226] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9226/stat : 9226 (toysat) S 9220 9223 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 98093 33554432000 4194304 16246674 140735498583792 139919596952816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9223/tid=9227] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9227/stat : 9227 (toysat) S 9220 9223 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 98093 33554432000 4194304 16246674 140735498583792 139919586479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1327684

[startup+51.1005 s]
/proc/loadavg: 1.78 1.36 1.37 3/183 9227
/proc/meminfo: memFree=26920420/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=1327684 CPUtime=51.07 cores=0,2,4,6
/proc/9223/stat : 9223 (toysat) R 9220 9223 8332 0 -1 4202496 97284 0 0 0 5093 14 0 0 20 0 4 0 6978832 1359548416 98093 33554432000 4194304 16246674 140735498583792 140735498565696 5711576 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9223/statm: 331921 98093 895 2943 0 328815 0
[pid=9223/tid=9225] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9225/stat : 9225 (toysat) S 9220 9223 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 98093 33554432000 4194304 16246674 140735498583792 139919607442672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9223/tid=9226] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9226/stat : 9226 (toysat) S 9220 9223 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 98093 33554432000 4194304 16246674 140735498583792 139919596952816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9223/tid=9227] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9227/stat : 9227 (toysat) S 9220 9223 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 98093 33554432000 4194304 16246674 140735498583792 139919586479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1327684

[startup+102.3 s]
/proc/loadavg: 2.17 1.54 1.43 4/184 9231
/proc/meminfo: memFree=26593644/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=1327684 CPUtime=102.27 cores=0,2,4,6
/proc/9223/stat : 9223 (toysat) R 9220 9223 8332 0 -1 4202496 178920 0 0 0 10201 26 0 0 20 0 4 0 6978832 1359548416 179729 33554432000 4194304 16246674 140735498583792 140735498565696 5711326 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9223/statm: 331921 179729 897 2943 0 328815 0
[pid=9223/tid=9225] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9225/stat : 9225 (toysat) S 9220 9223 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 179729 33554432000 4194304 16246674 140735498583792 139919607442672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9223/tid=9226] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9226/stat : 9226 (toysat) S 9220 9223 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 179729 33554432000 4194304 16246674 140735498583792 139919596952816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9223/tid=9227] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9227/stat : 9227 (toysat) S 9220 9223 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 179729 33554432000 4194304 16246674 140735498583792 139919586479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1327684

[startup+162.3 s]
/proc/loadavg: 2.28 1.68 1.48 4/183 9232
/proc/meminfo: memFree=26443476/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=1327684 CPUtime=162.25 cores=0,2,4,6
/proc/9223/stat : 9223 (toysat) R 9220 9223 8332 0 -1 4202496 216428 0 0 0 16196 29 0 0 20 0 4 0 6978832 1359548416 217237 33554432000 4194304 16246674 140735498583792 140735498565696 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9223/statm: 331921 217237 897 2943 0 328815 0
[pid=9223/tid=9225] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9225/stat : 9225 (toysat) S 9220 9223 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 217237 33554432000 4194304 16246674 140735498583792 139919607442672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9223/tid=9226] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9226/stat : 9226 (toysat) S 9220 9223 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 217237 33554432000 4194304 16246674 140735498583792 139919596952816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9223/tid=9227] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9227/stat : 9227 (toysat) S 9220 9223 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 217237 33554432000 4194304 16246674 140735498583792 139919586479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1327684

[startup+222.307 s]
/proc/loadavg: 2.32 1.80 1.54 3/183 9233
/proc/meminfo: memFree=26428508/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=1327684 CPUtime=222.25 cores=0,2,4,6
/proc/9223/stat : 9223 (toysat) R 9220 9223 8332 0 -1 4202496 216428 0 0 0 22195 30 0 0 20 0 4 0 6978832 1359548416 217237 33554432000 4194304 16246674 140735498583792 140735498565696 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9223/statm: 331921 217237 897 2943 0 328815 0
[pid=9223/tid=9225] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9225/stat : 9225 (toysat) S 9220 9223 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 217237 33554432000 4194304 16246674 140735498583792 139919607442672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9223/tid=9226] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9226/stat : 9226 (toysat) S 9220 9223 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 217237 33554432000 4194304 16246674 140735498583792 139919596952816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9223/tid=9227] ppid=9220 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9227/stat : 9227 (toysat) S 9220 9223 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978833 1359548416 217237 33554432000 4194304 16246674 140735498583792 139919586479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1327684


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

/proc/9223/task/9227/stat : 9227 (toysat) S 9220 9223 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978833 1476988928 301909 33554432000 4194304 16246674 140735498583792 139919586479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1442372

[startup+1362.3 s]
/proc/loadavg: 2.17 2.21 2.01 3/184 9285
/proc/meminfo: memFree=25128744/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=1713732 CPUtime=1361.94 cores=0,2,4,6
/proc/9223/stat : 9223 (toysat) R 9220 9223 8332 0 -1 4202496 369177 0 0 0 136127 67 0 0 20 0 4 0 6978832 1754861568 369755 33554432000 4194304 16246674 140735498583792 140735498565696 5712004 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9223/statm: 428433 369755 902 2943 0 425327 0
[pid=9223/tid=9225] ppid=9220 vsize=1713732 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9225/stat : 9225 (toysat) S 9220 9223 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978833 1754861568 369755 33554432000 4194304 16246674 140735498583792 139919607442672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9223/tid=9226] ppid=9220 vsize=1713732 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9226/stat : 9226 (toysat) S 9220 9223 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978833 1754861568 369755 33554432000 4194304 16246674 140735498583792 139919596952816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9223/tid=9227] ppid=9220 vsize=1713732 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9227/stat : 9227 (toysat) S 9220 9223 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978833 1754861568 369755 33554432000 4194304 16246674 140735498583792 139919586479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1713732

[startup+1422.3 s]
/proc/loadavg: 2.35 2.25 2.03 4/183 9286
/proc/meminfo: memFree=24957428/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=1884740 CPUtime=1421.93 cores=0,2,4,6
/proc/9223/stat : 9223 (toysat) R 9220 9223 8332 0 -1 4202496 412056 0 0 0 142116 77 0 0 20 0 4 0 6978832 1929973760 412613 33554432000 4194304 16246674 140735498583792 140735498565696 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9223/statm: 471185 412613 902 2943 0 468079 0
[pid=9223/tid=9225] ppid=9220 vsize=1884740 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9225/stat : 9225 (toysat) S 9220 9223 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978833 1929973760 412613 33554432000 4194304 16246674 140735498583792 139919607442672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9223/tid=9226] ppid=9220 vsize=1884740 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9226/stat : 9226 (toysat) S 9220 9223 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978833 1929973760 412613 33554432000 4194304 16246674 140735498583792 139919596952816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9223/tid=9227] ppid=9220 vsize=1884740 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9227/stat : 9227 (toysat) S 9220 9223 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978833 1929973760 412613 33554432000 4194304 16246674 140735498583792 139919586479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1884740

[startup+1482.3 s]
/proc/loadavg: 2.31 2.26 2.05 3/183 9288
/proc/meminfo: memFree=24851492/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=1990212 CPUtime=1481.91 cores=0,2,4,6
/proc/9223/stat : 9223 (toysat) R 9220 9223 8332 0 -1 4202496 438417 0 0 0 148106 85 0 0 20 0 4 0 6978832 2037977088 438952 33554432000 4194304 16246674 140735498583792 140735498565696 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9223/statm: 497553 438952 902 2943 0 494447 0
[pid=9223/tid=9225] ppid=9220 vsize=1990212 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9225/stat : 9225 (toysat) S 9220 9223 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978833 2037977088 438952 33554432000 4194304 16246674 140735498583792 139919607442672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9223/tid=9226] ppid=9220 vsize=1990212 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9226/stat : 9226 (toysat) S 9220 9223 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978833 2037977088 438952 33554432000 4194304 16246674 140735498583792 139919596952816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9223/tid=9227] ppid=9220 vsize=1990212 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9227/stat : 9227 (toysat) S 9220 9223 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978833 2037977088 438952 33554432000 4194304 16246674 140735498583792 139919586479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1990212

[startup+1542.31 s]
/proc/loadavg: 2.23 2.25 2.06 3/183 9289
/proc/meminfo: memFree=24723064/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=2113092 CPUtime=1541.9 cores=0,2,4,6
/proc/9223/stat : 9223 (toysat) R 9220 9223 8332 0 -1 4202496 469100 0 0 0 154095 95 0 0 20 0 4 0 6978832 2163806208 469633 33554432000 4194304 16246674 140735498583792 140735498565696 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9223/statm: 528273 469633 903 2943 0 525167 0
[pid=9223/tid=9225] ppid=9220 vsize=2113092 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9225/stat : 9225 (toysat) S 9220 9223 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978833 2163806208 469633 33554432000 4194304 16246674 140735498583792 139919607442672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9223/tid=9226] ppid=9220 vsize=2113092 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9226/stat : 9226 (toysat) S 9220 9223 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978833 2163806208 469633 33554432000 4194304 16246674 140735498583792 139919596952816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9223/tid=9227] ppid=9220 vsize=2113092 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9227/stat : 9227 (toysat) S 9220 9223 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978833 2163806208 469633 33554432000 4194304 16246674 140735498583792 139919586479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 2113092

[startup+1602.3 s]
/proc/loadavg: 2.30 2.26 2.07 4/183 9290
/proc/meminfo: memFree=24687956/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=2147908 CPUtime=1601.88 cores=0,2,4,6
/proc/9223/stat : 9223 (toysat) R 9220 9223 8332 0 -1 4202496 477812 0 0 0 160088 100 0 0 20 0 4 0 6978832 2199457792 478337 33554432000 4194304 16246674 140735498583792 140735498582968 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9223/statm: 536977 478337 903 2943 0 533871 0
[pid=9223/tid=9225] ppid=9220 vsize=2147908 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9225/stat : 9225 (toysat) S 9220 9223 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978833 2199457792 478337 33554432000 4194304 16246674 140735498583792 139919607442672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9223/tid=9226] ppid=9220 vsize=2147908 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9226/stat : 9226 (toysat) S 9220 9223 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978833 2199457792 478337 33554432000 4194304 16246674 140735498583792 139919596952816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9223/tid=9227] ppid=9220 vsize=2147908 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9227/stat : 9227 (toysat) S 9220 9223 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978833 2199457792 478337 33554432000 4194304 16246674 140735498583792 139919586479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 2147908

[startup+1662.3 s]
/proc/loadavg: 2.20 2.24 2.08 3/183 9291
/proc/meminfo: memFree=24441352/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=2253380 CPUtime=1661.87 cores=0,2,4,6
/proc/9223/stat : 9223 (toysat) R 9220 9223 8332 0 -1 4202496 504294 0 0 0 166078 109 0 0 20 0 4 0 6978832 2307461120 504815 33554432000 4194304 16246674 140735498583792 140735498582968 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9223/statm: 563345 504815 903 2943 0 560239 0
[pid=9223/tid=9225] ppid=9220 vsize=2253380 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9225/stat : 9225 (toysat) S 9220 9223 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978833 2307461120 504815 33554432000 4194304 16246674 140735498583792 139919607442672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9223/tid=9226] ppid=9220 vsize=2253380 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9226/stat : 9226 (toysat) S 9220 9223 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978833 2307461120 504815 33554432000 4194304 16246674 140735498583792 139919596952816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9223/tid=9227] ppid=9220 vsize=2253380 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9227/stat : 9227 (toysat) S 9220 9223 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978833 2307461120 504815 33554432000 4194304 16246674 140735498583792 139919586479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 2253380

[startup+1722.3 s]
/proc/loadavg: 2.16 2.22 2.08 4/183 9292
/proc/meminfo: memFree=24404096/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=2290244 CPUtime=1721.86 cores=0,2,4,6
/proc/9223/stat : 9223 (toysat) R 9220 9223 8332 0 -1 4202496 513426 0 0 0 172074 112 0 0 20 0 4 0 6978832 2345209856 513944 33554432000 4194304 16246674 140735498583792 140735498565696 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9223/statm: 572561 513944 903 2943 0 569455 0
[pid=9223/tid=9225] ppid=9220 vsize=2290244 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9225/stat : 9225 (toysat) S 9220 9223 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978833 2345209856 513944 33554432000 4194304 16246674 140735498583792 139919607442672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9223/tid=9226] ppid=9220 vsize=2290244 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9226/stat : 9226 (toysat) S 9220 9223 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978833 2345209856 513944 33554432000 4194304 16246674 140735498583792 139919596952816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9223/tid=9227] ppid=9220 vsize=2290244 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9227/stat : 9227 (toysat) S 9220 9223 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978833 2345209856 513944 33554432000 4194304 16246674 140735498583792 139919586479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 2290244

[startup+1782.3 s]
/proc/loadavg: 2.21 2.23 2.09 4/183 9294
/proc/meminfo: memFree=24363268/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=2330180 CPUtime=1781.85 cores=0,2,4,6
/proc/9223/stat : 9223 (toysat) R 9220 9223 8332 0 -1 4202496 523528 0 0 0 178066 119 0 0 20 0 4 0 6978832 2386104320 524046 33554432000 4194304 16246674 140735498583792 140735498582968 13781202 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9223/statm: 582545 524046 903 2943 0 579439 0
[pid=9223/tid=9225] ppid=9220 vsize=2330180 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9225/stat : 9225 (toysat) S 9220 9223 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978833 2386104320 524046 33554432000 4194304 16246674 140735498583792 139919607442672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9223/tid=9226] ppid=9220 vsize=2330180 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9226/stat : 9226 (toysat) S 9220 9223 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978833 2386104320 524046 33554432000 4194304 16246674 140735498583792 139919596952816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9223/tid=9227] ppid=9220 vsize=2330180 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9227/stat : 9227 (toysat) S 9220 9223 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978833 2386104320 524046 33554432000 4194304 16246674 140735498583792 139919586479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 2330180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.16 2.21 2.09 4/183 9294
/proc/meminfo: memFree=24286208/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=2406980 CPUtime=1800.04 cores=0,2,4,6
/proc/9223/stat : 9223 (toysat) R 9220 9223 8332 0 -1 4202496 542709 0 0 0 179882 122 0 0 20 0 4 0 6978832 2464747520 543225 33554432000 4194304 16246674 140735498583792 140735498582888 5711697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9223/statm: 601745 543225 903 2943 0 598639 0
[pid=9223/tid=9225] ppid=9220 vsize=2406980 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9225/stat : 9225 (toysat) S 9220 9223 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978833 2464747520 543225 33554432000 4194304 16246674 140735498583792 139919607442672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9223/tid=9226] ppid=9220 vsize=2406980 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9226/stat : 9226 (toysat) S 9220 9223 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978833 2464747520 543225 33554432000 4194304 16246674 140735498583792 139919596952816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9223/tid=9227] ppid=9220 vsize=2406980 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9227/stat : 9227 (toysat) S 9220 9223 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978833 2464747520 543225 33554432000 4194304 16246674 140735498583792 139919586479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2406980

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

[startup+1800.5 s]
/proc/loadavg: 2.16 2.21 2.09 4/183 9294
/proc/meminfo: memFree=24286208/32872528 swapFree=1555460/1718980
[pid=9223] ppid=9220 vsize=2406980 CPUtime=1800.04 cores=0,2,4,6
/proc/9223/stat : 9223 (toysat) R 9220 9223 8332 0 -1 4202496 542709 0 0 0 179882 122 0 0 20 0 4 0 6978832 2464747520 543225 33554432000 4194304 16246674 140735498583792 140735498582888 5711697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9223/statm: 601745 543225 903 2943 0 598639 0
[pid=9223/tid=9225] ppid=9220 vsize=2406980 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9225/stat : 9225 (toysat) S 9220 9223 8332 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6978833 2464747520 543225 33554432000 4194304 16246674 140735498583792 139919607442672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9223/tid=9226] ppid=9220 vsize=2406980 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9226/stat : 9226 (toysat) S 9220 9223 8332 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6978833 2464747520 543225 33554432000 4194304 16246674 140735498583792 139919596952816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9223/tid=9227] ppid=9220 vsize=2406980 CPUtime=0 cores=0,2,4,6
/proc/9223/task/9227/stat : 9227 (toysat) S 9220 9223 8332 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 6978833 2464747520 543225 33554432000 4194304 16246674 140735498583792 139919586479280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2406980

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.54
CPU time (s): 1800.09
CPU user time (s): 1798.83
CPU system time (s): 1.25681
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 2406980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.83
system time used= 1.25681
maximum resident set size= 2172900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 542709
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= 310
involuntary context switches= 1847

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66299 second user time and 9.08362 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-30 11:38:32
IDJOB=4119897
IDBENCH=111818
IDSOLVER=2542
FILE ID=node117/4119897-1467279512
RUNJOBID= node117-1467279512-9190
PBS_JOBID= 20004501
Free space on /tmp= 71608 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm98p-opt.opb.negationfix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119897-1467279512/watcher-4119897-1467279512 -o /tmp/evaluation-result-4119897-1467279512/solver-4119897-1467279512 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467279512-9190 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119897-1467279512.opb

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

MD5SUM BENCH= 8af7ae93e70e402808c0b893072c263b
RANDOM SEED=1655151497

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.714
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:        28324312 kB
Buffers:          136292 kB
Cached:          1864340 kB
SwapCached:            0 kB
Active:           275920 kB
Inactive:        1803240 kB
Active(anon):      80180 kB
Inactive(anon):      236 kB
Active(file):     195740 kB
Inactive(file):  1803004 kB
Unevictable:     1718980 kB
Mlocked:         1555460 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             34932 kB
Writeback:             0 kB
AnonPages:       1850340 kB
Mapped:            17000 kB
Shmem:               204 kB
Slab:             613524 kB
SReclaimable:      58208 kB
SUnreclaim:       555316 kB
KernelStack:        1416 kB
PageTables:         9396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2851844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 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= 71592 MiB
End job on node117 at 2016-06-30 12:08:33