Trace number 4119951

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.13 1800.53

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb
MD5SUM4dfa909155a817e1d19c3b8b4e58f199
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark229.769
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:44:44+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-4119951-1467279883.opb"]
0.00/0.01	c use --random-gen="389476792 2985840876 1182354591 1780956885 4154197953 1395213692 53120913 3897620561 449214150 4064649345 1514031509 4144149778 138819123 3487871999 3886836308 2209510341 294077174 3667662279 3657507390 1008824747 3089823465 2434155633 4250222892 3522282700 3652909920 3696777555 2833175426 2319262893 3451973367 1533108489 2758180499 3989049612 778588220 783487823 2465437515 624062174 955884690 1693573909 1983331681 2404817203 1841826196 3050287394 1866503361 715146693 2862912110 132757946 1098367944 3169139562 1008764097 474301071 1348007845 2766351541 2459532791 4056333397 4178106316 976485323 1369767071 3537502031 3670244987 452409528 2648533212 1327426865 3867091905 489501542 1422005025 1317307900 1875728910 3269870966 1879280367 1129189688 1435617082 4080922878 1498878148 1752662902 3390969359 3370993572 1887982213 2900185710 2402068468 1210947714 1051165344 827814216 4097162202 1611024473 3981468213 543665687 154466957 3604198421 3222957258 3383596046 3773305523 2546252138 100602536 763334958 2855414273 939236820 4229957913 4107113465 2515060408 238159613 21927869 4896696 3413550768 2224229693 2165612517 416589161 2151636977 2374973252 1704334756 1777187963 1869654407 2183622821 4101214866 2793594888 3791875976 4176132163 1834678708 1164058500 3338345890 1658260488 711882050 3084944618 1145482309 648054069 1014847543 1784002250 3137909005 3478206893 458897714 2710538792 1381213479 2761775044 4278576272 1273874820 4188862870 87205044 343523689 1642681651 1685785691 1383715168 3035731897 2578491619 1417094369 1900624146 4055388564 3997140669 2243372911 2437610530 1006447860 1902804214 152594560 3246362680 307395063 688988466 2240917366 2133831363 1616469167 1144589980 68665659 1946059204 52279349 2472806102 1057345311 768591505 3598879541 1015228316 2869544133 414976321 1100733005 1257892058 4113147518 2823619168 1867388397 3962638832 4118045202 4220674256 2407043103 3316341592 1186184550 837015384 2085942908 3172321313 2600261247 3059432251 3009619768 3266639203 3301725337 2106415642 1226048640 2606973934 3378343530 2396167941 3148128347 3827451516 2238850195 3801247629 2547566459 1863619607 1535880303 3539302763 2296081944 1195484731 1260774910 2429960888 2861195149 1817648743 1356198645 866149856 1093012269 345733744 3651784334 1553667808 3497589326 16486026 407378893 1876174278 534243748 1344046488 2344061965 4267147668 305363599 3029762012 3479201808 2068011309 2391843776 2369625434 3329352961 4287596768 1406087188 1731648804 1877337072 408841573 1300018227 2369118619 1757412392 29099804 3278440715 2704971590 3844983398 26432033 1198748814 138677919 1375905763 4192297133 3183151668 632392810 126955230 1690220789 455526184 4071884047 433727738 734731756 1251936458 2051024657 3856722100 176158608 255 362436" option to reproduce the execution
0.28/0.34	c #vars 45696
0.28/0.34	c #constraints 1556
0.69/1.09	c BCD2: Hardening is enabled.
0.69/1.09	c BCD2: BiasedSearch is enabled.
0.69/1.09	c Solving starts ...
0.69/1.09	c ============================[ Search Statistics ]============================
0.69/1.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/1.09	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/1.09	c =============================================================================
0.69/1.12	c  0.0s |       0 |        0 |        0 |    15750      0 |       64 |        0
1.39/1.46	c  0.3s |       1 |      733 |      100 |    15750      0 |       64 |        1
2.19/2.27	c  1.1s |       2 |     3314 |      250 |    17325      0 |       64 |        1
4.39/4.45	c  3.3s |       3 |     9491 |      475 |    19058      0 |       64 |        1
5.29/5.32	c  4.2s |       4 |    22789 |      813 |    20964      0 |       64 |        1
7.29/7.34	c  6.2s |       4 |    35433 |     1113 |    23061      0 |       64 |        1
8.69/8.72	c  7.6s |       5 |    35685 |     1320 |    23061      0 |       64 |        1
10.99/11.07	c  9.9s |       5 |    48368 |     1620 |    25368      0 |       64 |        1
13.19/13.24	c 12.1s |       5 |    48740 |     1920 |    25368      0 |       64 |        1
14.48/14.52	c 13.4s |       6 |    48964 |     2081 |    27905      0 |       64 |        1
16.99/17.07	c 16.0s |       6 |    60365 |     2281 |    27905      0 |       64 |        1
19.48/19.50	c 18.4s |       6 |    60660 |     2481 |    27905      0 |       64 |        1
22.58/22.62	c 21.5s |       6 |    60913 |     2681 |    27905      0 |       64 |        1
25.58/25.63	c 24.5s |       6 |    61160 |     2881 |    27905      0 |       64 |        1
29.09/29.12	c 28.0s |       6 |    61406 |     3081 |    27905      0 |       64 |        1
31.98/32.00	c 30.9s |       7 |    61578 |     3223 |    30696      0 |       64 |        1
34.59/34.68	c 33.6s |       7 |    78873 |     3523 |    30696      0 |       64 |        1
36.98/37.02	c 35.9s |       7 |    79218 |     3823 |    30696      0 |       64 |        1
39.48/39.55	c 38.4s |       7 |    79553 |     4123 |    30696      0 |       64 |        1
41.88/41.99	c 40.9s |       7 |    79879 |     4423 |    30696      0 |       64 |        1
44.58/44.67	c 43.6s |       7 |    80202 |     4723 |    30696      0 |       64 |        1
46.58/46.65	c 45.5s |       8 |    80422 |     4936 |    33766      0 |       64 |        1
48.68/48.77	c 47.7s |       8 |    85737 |     5236 |    33766      0 |       64 |        1
51.28/51.37	c 50.3s |       8 |    86187 |     5636 |    33766      0 |       64 |        1
53.38/53.46	c 52.3s |       8 |    86516 |     5936 |    33766      0 |       64 |        1
55.68/55.71	c 54.6s |       8 |    86853 |     6236 |    33766      0 |       64 |        1
58.18/58.24	c 57.1s |       8 |    87248 |     6536 |    33766      0 |       64 |        1
60.88/60.96	c 59.8s |       8 |    87576 |     6836 |    33766      0 |       64 |        1
63.37/63.43	c 62.3s |       8 |    87928 |     7136 |    33766      0 |       64 |        1
66.07/66.10	c 65.0s |       8 |    88261 |     7436 |    33766      0 |       64 |        1
66.77/66.84	c 65.7s |       9 |    88332 |     7506 |    37143      0 |       64 |        1
69.58/69.62	c 68.5s |       9 |    92629 |     7806 |    37143      0 |       64 |        1
72.08/72.11	c 71.0s |       9 |    92975 |     8106 |    37143      0 |       64 |        1
74.37/74.48	c 73.4s |       9 |    93318 |     8406 |    37143      0 |       64 |        1
76.97/77.00	c 75.9s |       9 |    93681 |     8706 |    37143      0 |       64 |        1
79.58/79.64	c 78.5s |       9 |    94064 |     9006 |    37143      0 |       64 |        1
82.07/82.18	c 81.1s |       9 |    94544 |     9306 |    37143      0 |       64 |        1
84.77/84.87	c 83.7s |       9 |    94882 |     9606 |    37143      0 |       64 |        1
87.38/87.43	c 86.3s |       9 |    95352 |     9906 |    37143      0 |       64 |        1
89.97/90.06	c 88.9s |       9 |    95747 |    10206 |    37143      0 |       64 |        1
92.67/92.71	c 91.6s |       9 |    96084 |    10506 |    37143      0 |       64 |        1
95.37/95.40	c 94.3s |       9 |    96427 |    10806 |    37143      0 |       64 |        1
98.07/98.11	c 97.0s |       9 |    96788 |    11106 |    37143      0 |       64 |        1
100.67/100.73	c 99.6s |      10 |    97197 |    11361 |    40858      0 |       64 |        1
103.07/103.15	c  102s |      10 |   101042 |    11661 |    40858      0 |       64 |        1
105.47/105.56	c  104s |      10 |   101485 |    12061 |    40858      0 |       64 |        1
107.77/107.87	c  106s |      10 |   101904 |    12461 |    40858      0 |       64 |        1
110.27/110.33	c  109s |      10 |   102342 |    12861 |    40858      0 |       64 |        1
112.77/112.87	c  111s |      10 |   102761 |    13261 |    40858      0 |       64 |        1
115.37/115.44	c  114s |      10 |   103231 |    13661 |    40858      0 |       64 |        1
117.97/118.07	c  116s |      10 |   103646 |    14061 |    40858      0 |       64 |        1
120.47/120.59	c  119s |      10 |   104057 |    14461 |    40858      0 |       64 |        1
123.17/123.22	c  122s |      10 |   104492 |    14861 |    40858      0 |       64 |        1
125.67/125.74	c  124s |      10 |   104926 |    15261 |    40858      0 |       64 |        1
128.27/128.32	c  127s |      10 |   105336 |    15661 |    40858      0 |       64 |        1
130.97/131.02	c  129s |      10 |   105739 |    16061 |    40858      0 |       64 |        1
133.57/133.61	c  132s |      10 |   106158 |    16461 |    40858      0 |       64 |        1
135.57/135.70	c  134s |      10 |   106471 |    16761 |    40858      0 |       64 |        1
138.17/138.24	c  137s |      11 |   106898 |    17144 |    44944      0 |       64 |        1
141.47/141.52	c  140s |      11 |   112941 |    17344 |    44944      0 |       64 |        1
144.27/144.36	c  143s |      11 |   113187 |    17544 |    44944      0 |       64 |        1
147.87/147.96	c  146s |      11 |   113405 |    17744 |    44944      0 |       64 |        1
151.07/151.11	c  149s |      11 |   113617 |    17944 |    44944      0 |       64 |        1
154.66/154.75	c  153s |      11 |   113830 |    18144 |    44944      0 |       64 |        1
157.86/157.97	c  156s |      11 |   114063 |    18344 |    44944      0 |       64 |        1
161.66/161.71	c  160s |      11 |   114270 |    18544 |    44944      0 |       64 |        1
164.06/164.19	c  163s |      11 |   114381 |    18644 |    44944      0 |       64 |        1
166.47/166.55	c  165s |      11 |   114482 |    18744 |    44944      0 |       64 |        1
168.67/168.72	c  167s |      11 |   114588 |    18844 |    44944      0 |       64 |        1
172.56/172.67	c  171s |      11 |   114819 |    19044 |    44944      0 |       64 |        1
175.97/176.09	c  174s |      11 |   115038 |    19244 |    44944      0 |       64 |        1
178.06/178.15	c  177s |      11 |   115136 |    19344 |    44944      0 |       64 |        1
180.16/180.28	c  179s |      11 |   115250 |    19444 |    44944      0 |       64 |        1
182.36/182.44	c  181s |      11 |   115360 |    19544 |    44944      0 |       64 |        1
184.46/184.52	c  183s |      11 |   115471 |    19644 |    44944      0 |       64 |        1
188.36/188.49	c  187s |      11 |   115705 |    19844 |    44944      0 |       64 |        1
190.46/190.55	c  189s |      11 |   115809 |    19944 |    44944      0 |       64 |        1
194.26/194.30	c  193s |      11 |   116040 |    20144 |    44944      0 |       64 |        1
196.26/196.35	c  195s |      11 |   116145 |    20244 |    44944      0 |       64 |        1
198.96/199.06	c  197s |      11 |   116256 |    20344 |    44944      0 |       64 |        1
202.46/202.57	c  201s |      11 |   116364 |    20444 |    44944      0 |       64 |        1
204.55/204.62	c  203s |      11 |   116474 |    20544 |    44944      0 |       64 |        1
206.65/206.75	c  205s |      11 |   116577 |    20644 |    44944      0 |       64 |        1
210.66/210.75	c  209s |      11 |   116810 |    20844 |    44944      0 |       64 |        1
212.77/212.81	c  211s |      11 |   116922 |    20944 |    44944      0 |       64 |        1
214.76/214.81	c  213s |      11 |   117040 |    21044 |    44944      0 |       64 |        1
216.86/216.99	c  215s |      11 |   117146 |    21144 |    44944      0 |       64 |        1
220.96/221.03	c  219s |      11 |   117366 |    21344 |    44944      0 |       64 |        1
223.67/223.74	c  222s |      11 |   117488 |    21444 |    44944      0 |       64 |        1
225.96/226.06	c  224s |      11 |   117599 |    21544 |    44944      0 |       64 |        1
228.66/228.77	c  227s |      11 |   117701 |    21644 |    44944      0 |       64 |        1
231.66/231.71	c  230s |      11 |   117811 |    21744 |    44944      0 |       64 |        1
234.66/234.71	c  233s |      11 |   117945 |    21844 |    44944      0 |       64 |        1
238.55/238.63	c  237s |      11 |   118170 |    22044 |    44944      0 |       64 |        1
240.85/240.95	c  239s |      11 |   118286 |    22144 |    44944      0 |       64 |        1
243.56/243.68	c  242s |      11 |   118411 |    22244 |    44944      0 |       64 |        1
246.55/246.67	c  245s |      11 |   118530 |    22344 |    44944      0 |       64 |        1
249.15/249.23	c  248s |      11 |   118641 |    22444 |    44944      0 |       64 |        1
252.36/252.49	c  251s |      11 |   118871 |    22644 |    44944      0 |       64 |        1
255.85/255.99	c  254s |      11 |   119119 |    22844 |    44944      0 |       64 |        1
259.25/259.32	c  258s |      11 |   119343 |    23044 |    44944      0 |       64 |        1
262.85/262.93	c  261s |      11 |   119560 |    23244 |    44944      0 |       64 |        1
266.75/266.80	c  265s |      11 |   119782 |    23444 |    44944      0 |       64 |        1
268.85/268.94	c  267s |      11 |   119895 |    23544 |    44944      0 |       64 |        1
271.24/271.39	c  270s |      11 |   120023 |    23644 |    44944      0 |       64 |        1
273.64/273.77	c  272s |      11 |   120136 |    23744 |    44944      0 |       64 |        1
276.34/276.40	c  275s |      11 |   120248 |    23844 |    44944      0 |       64 |        1
279.45/279.59	c  278s |      11 |   120380 |    23944 |    44944      0 |       64 |        1
282.55/282.63	c  281s |      11 |   120484 |    24044 |    44944      0 |       64 |        1
286.25/286.30	c  285s |      11 |   120587 |    24144 |    44944      0 |       64 |        1
288.95/289.05	c  287s |      11 |   120703 |    24244 |    44944      0 |       64 |        1
291.95/292.06	c  290s |      11 |   120829 |    24344 |    44944      0 |       64 |        1
294.74/294.81	c  293s |      11 |   120944 |    24444 |    44944      0 |       64 |        1
297.74/297.89	c  296s |      11 |   121047 |    24544 |    44944      0 |       64 |        1
300.54/300.61	c  299s |      11 |   121149 |    24644 |    44944      0 |       64 |        1
302.54/302.64	c  301s |      11 |   121273 |    24744 |    44944      0 |       64 |        1
305.64/305.76	c  304s |      11 |   121507 |    24944 |    44944      0 |       64 |        1
309.04/309.16	c  308s |      11 |   121730 |    25144 |    44944      0 |       64 |        1
312.54/312.62	c  311s |      11 |   121964 |    25344 |    44944      0 |       64 |        1
316.05/316.13	c  315s |      11 |   122203 |    25544 |    44944      0 |       64 |        1
319.24/319.39	c  318s |      11 |   122423 |    25744 |    49439      0 |       64 |        1
320.64/320.73	c  319s |      12 |   122508 |    25819 |    49439      0 |       64 |        1
322.84/322.98	c  321s |      12 |   130658 |    25919 |    49439      0 |       64 |        1
324.95/325.03	c  323s |      12 |   131005 |    26219 |    49439      0 |       64 |        1
327.34/327.48	c  326s |      12 |   131344 |    26519 |    49439      0 |       64 |        1
329.84/329.91	c  328s |      12 |   131669 |    26819 |    49439      0 |       64 |        1
332.24/332.37	c  331s |      12 |   131989 |    27119 |    49439      0 |       64 |        1
334.94/335.08	c  333s |      12 |   132331 |    27419 |    49439      0 |       64 |        1
337.14/337.20	c  336s |      12 |   132561 |    27619 |    49439      0 |       64 |        1
339.25/339.34	c  338s |      12 |   132769 |    27819 |    49439      0 |       64 |        1
342.24/342.32	c  341s |      12 |   133092 |    28119 |    49439      0 |       64 |        1
344.24/344.33	c  343s |      12 |   133299 |    28319 |    49439      0 |       64 |        1
346.34/346.48	c  345s |      12 |   133514 |    28519 |    49439      0 |       64 |        1
348.64/348.74	c  347s |      12 |   133731 |    28719 |    49439      0 |       64 |        1
350.94/351.08	c  349s |      12 |   133934 |    28919 |    49439      0 |       64 |        1
353.13/353.24	c  352s |      12 |   134155 |    29119 |    49439      0 |       64 |        1
355.23/355.35	c  354s |      12 |   134389 |    29319 |    49439      0 |       64 |        1
357.33/357.41	c  356s |      12 |   134606 |    29519 |    49439      0 |       64 |        1
360.33/360.46	c  359s |      12 |   134942 |    29819 |    49439      0 |       64 |        1
363.44/363.59	c  362s |      12 |   135272 |    30119 |    49439      0 |       64 |        1
365.64/365.79	c  364s |      12 |   135499 |    30319 |    49439      0 |       64 |        1
367.84/367.96	c  366s |      12 |   135719 |    30519 |    49439      0 |       64 |        1
369.94/370.04	c  368s |      12 |   135939 |    30719 |    49439      0 |       64 |        1
372.93/373.03	c  371s |      12 |   136286 |    31019 |    49439      0 |       64 |        1
375.03/375.18	c  374s |      12 |   136521 |    31219 |    49439      0 |       64 |        1
377.33/377.45	c  376s |      12 |   136747 |    31419 |    49439      0 |       64 |        1
379.63/379.78	c  378s |      12 |   136971 |    31619 |    49439      0 |       64 |        1
382.23/382.30	c  381s |      12 |   137192 |    31819 |    49439      0 |       64 |        1
384.63/384.76	c  383s |      12 |   137416 |    32019 |    49439      0 |       64 |        1
386.73/386.89	c  385s |      12 |   137638 |    32219 |    49439      0 |       64 |        1
389.03/389.19	c  388s |      12 |   137864 |    32419 |    49439      0 |       64 |        1
391.53/391.66	c  390s |      12 |   138080 |    32619 |    49439      0 |       64 |        1
393.83/393.96	c  392s |      12 |   138293 |    32819 |    49439      0 |       64 |        1
396.23/396.37	c  395s |      12 |   138527 |    33019 |    49439      0 |       64 |        1
398.73/398.86	c  397s |      12 |   138741 |    33219 |    49439      0 |       64 |        1
401.13/401.22	c  400s |      12 |   138980 |    33419 |    49439      0 |       64 |        1
403.63/403.73	c  402s |      12 |   139195 |    33619 |    49439      0 |       64 |        1
405.93/406.05	c  404s |      12 |   139433 |    33819 |    49439      0 |       64 |        1
408.43/408.56	c  407s |      12 |   139652 |    34019 |    49439      0 |       64 |        1
411.03/411.15	c  410s |      12 |   139871 |    34219 |    49439      0 |       64 |        1
413.83/413.95	c  412s |      12 |   140089 |    34419 |    49439      0 |       64 |        1
416.43/416.52	c  415s |      12 |   140314 |    34619 |    49439      0 |       64 |        1
418.93/419.00	c  417s |      12 |   140525 |    34819 |    49439      0 |       64 |        1
421.52/421.61	c  420s |      12 |   140741 |    35019 |    49439      0 |       64 |        1
423.72/423.89	c  422s |      12 |   140993 |    35219 |    49439      0 |       64 |        1
426.13/426.28	c  425s |      12 |   141226 |    35419 |    49439      0 |       64 |        1
428.82/428.99	c  427s |      12 |   141427 |    35619 |    49439      0 |       64 |        1
431.72/431.84	c  430s |      12 |   141773 |    35919 |    49439      0 |       64 |        1
434.32/434.44	c  433s |      12 |   142110 |    36219 |    49439      0 |       64 |        1
437.22/437.35	c  436s |      12 |   142453 |    36519 |    49439      0 |       64 |        1
439.42/439.53	c  438s |      12 |   142666 |    36719 |    49439      0 |       64 |        1
441.43/441.59	c  440s |      12 |   142897 |    36919 |    49439      0 |       64 |        1
443.52/443.69	c  442s |      12 |   143120 |    37119 |    49439      0 |       64 |        1
445.62/445.77	c  444s |      12 |   143338 |    37319 |    49439      0 |       64 |        1
447.72/447.86	c  446s |      12 |   143582 |    37519 |    49439      0 |       64 |        1
450.02/450.18	c  449s |      12 |   143790 |    37719 |    49439      0 |       64 |        1
452.42/452.50	c  451s |      12 |   144002 |    37919 |    49439      0 |       64 |        1
454.72/454.84	c  453s |      12 |   144206 |    38119 |    49439      0 |       64 |        1
456.82/456.99	c  455s |      12 |   144430 |    38319 |    49439      0 |       64 |        1
459.12/459.29	c  458s |      12 |   144660 |    38519 |    49439      0 |       64 |        1
461.42/461.59	c  460s |      12 |   144879 |    38719 |    54383      0 |       64 |        1
462.92/463.07	c  461s |      13 |   144994 |    38832 |    54383      0 |       64 |        1
466.12/466.20	c  465s |      13 |   152650 |    38932 |    54383      0 |       64 |        1
469.21/469.32	c  468s |      13 |   153113 |    39232 |    54383      0 |       64 |        1
471.31/471.41	c  470s |      13 |   153498 |    39432 |    54383      0 |       64 |        1
474.31/474.43	c  473s |      13 |   154856 |    39732 |    54383      0 |       64 |        1
477.21/477.35	c  476s |      13 |   155087 |    39932 |    54383      0 |       64 |        1
480.42/480.58	c  479s |      13 |   155332 |    40132 |    54383      0 |       64 |        1
483.72/483.81	c  482s |      13 |   155596 |    40332 |    54383      0 |       64 |        1
487.52/487.65	c  486s |      13 |   155881 |    40532 |    54383      0 |       64 |        1
490.92/491.10	c  489s |      13 |   156164 |    40732 |    54383      0 |       64 |        1
494.71/494.88	c  493s |      13 |   156455 |    40932 |    54383      0 |       64 |        1
496.81/496.97	c  495s |      13 |   156580 |    41032 |    54383      0 |       64 |        1
499.21/499.39	c  498s |      13 |   156688 |    41132 |    54383      0 |       64 |        1
501.61/501.72	c  500s |      13 |   156803 |    41232 |    54383      0 |       64 |        1
504.01/504.12	c  502s |      13 |   156921 |    41332 |    54383      0 |       64 |        1
506.31/506.42	c  505s |      13 |   157028 |    41432 |    54383      0 |       64 |        1
508.41/508.53	c  507s |      13 |   157160 |    41532 |    54383      0 |       64 |        1
510.61/510.79	c  509s |      13 |   157262 |    41632 |    54383      0 |       64 |        1
513.22/513.31	c  512s |      13 |   157364 |    41732 |    54383      0 |       64 |        1
517.32/517.44	c  516s |      13 |   157594 |    41932 |    54383      0 |       64 |        1
519.41/519.60	c  518s |      13 |   157702 |    42032 |    54383      0 |       64 |        1
522.01/522.12	c  520s |      13 |   157804 |    42132 |    54383      0 |       64 |        1
524.51/524.61	c  523s |      13 |   157904 |    42232 |    54383      0 |       64 |        1
526.61/526.78	c  525s |      13 |   158061 |    42332 |    54383      0 |       64 |        1
529.21/529.33	c  528s |      13 |   158168 |    42432 |    54383      0 |       64 |        1
531.62/531.70	c  530s |      13 |   158297 |    42532 |    54383      0 |       64 |        1
533.91/534.05	c  532s |      13 |   158415 |    42632 |    54383      0 |       64 |        1
536.51/536.66	c  535s |      13 |   158513 |    42732 |    54383      0 |       64 |        1
539.21/539.34	c  538s |      13 |   158623 |    42832 |    54383      0 |       64 |        1
541.61/541.74	c  540s |      13 |   158736 |    42932 |    54383      0 |       64 |        1
544.20/544.34	c  543s |      13 |   158844 |    43032 |    54383      0 |       64 |        1
546.80/546.90	c  545s |      13 |   158946 |    43132 |    54383      0 |       64 |        1
549.40/549.59	c  548s |      13 |   159051 |    43232 |    54383      0 |       64 |        1
552.20/552.32	c  551s |      13 |   159159 |    43332 |    54383      0 |       64 |        1
554.81/554.94	c  553s |      13 |   159271 |    43432 |    54383      0 |       64 |        1
557.60/557.74	c  556s |      13 |   159390 |    43532 |    54383      0 |       64 |        1
560.50/560.62	c  559s |      13 |   159484 |    43632 |    54383      0 |       64 |        1
562.51/562.68	c  561s |      13 |   159674 |    43732 |    54383      0 |       64 |        1
564.61/564.77	c  563s |      13 |   159808 |    43832 |    54383      0 |       64 |        1
568.60/568.71	c  567s |      13 |   160049 |    44032 |    54383      0 |       64 |        1
570.70/570.86	c  569s |      13 |   160170 |    44132 |    54383      0 |       64 |        1
574.51/574.61	c  573s |      13 |   160424 |    44332 |    54383      0 |       64 |        1
578.00/578.19	c  577s |      13 |   160652 |    44532 |    54383      0 |       64 |        1
581.70/581.82	c  580s |      13 |   160865 |    44732 |    54383      0 |       64 |        1
583.80/583.92	c  582s |      13 |   160977 |    44832 |    54383      0 |       64 |        1
586.00/586.13	c  585s |      13 |   161073 |    44932 |    54383      0 |       64 |        1
588.10/588.23	c  587s |      13 |   161195 |    45032 |    54383      0 |       64 |        1
591.80/591.98	c  590s |      13 |   161456 |    45232 |    54383      0 |       64 |        1
594.20/594.34	c  593s |      13 |   161564 |    45332 |    54383      0 |       64 |        1
596.20/596.37	c  595s |      13 |   161671 |    45432 |    54383      0 |       64 |        1
600.39/600.56	c  599s |      13 |   161930 |    45632 |    54383      0 |       64 |        1
602.89/603.02	c  601s |      13 |   162034 |    45732 |    54383      0 |       64 |        1
605.49/605.65	c  604s |      13 |   162148 |    45832 |    54383      0 |       64 |        1
608.09/608.25	c  607s |      13 |   162248 |    45932 |    54383      0 |       64 |        1
610.80/610.91	c  609s |      13 |   162357 |    46032 |    54383      0 |       64 |        1
613.00/613.19	c  612s |      13 |   162480 |    46132 |    54383      0 |       64 |        1
615.39/615.57	c  614s |      13 |   162593 |    46232 |    54383      0 |       64 |        1
618.19/618.36	c  617s |      13 |   162692 |    46332 |    54383      0 |       64 |        1
620.29/620.43	c  619s |      13 |   162809 |    46432 |    54383      0 |       64 |        1
622.90/623.09	c  621s |      13 |   162920 |    46532 |    54383      0 |       64 |        1
625.60/625.73	c  624s |      13 |   163039 |    46632 |    54383      0 |       64 |        1
628.20/628.32	c  627s |      13 |   163147 |    46732 |    54383      0 |       64 |        1
630.70/630.81	c  629s |      13 |   163252 |    46832 |    54383      0 |       64 |        1
633.19/633.30	c  632s |      13 |   163370 |    46932 |    54383      0 |       64 |        1
635.59/635.80	c  634s |      13 |   163476 |    47032 |    54383      0 |       64 |        1
638.19/638.30	c  637s |      13 |   163585 |    47132 |    54383      0 |       64 |        1
640.60/640.74	c  639s |      13 |   163692 |    47232 |    54383      0 |       64 |        1
642.99/643.11	c  641s |      13 |   163800 |    47332 |    54383      0 |       64 |        1
645.29/645.42	c  644s |      13 |   163905 |    47432 |    54383      0 |       64 |        1
647.89/648.03	c  646s |      13 |   164008 |    47532 |    54383      0 |       64 |        1
650.40/650.54	c  649s |      13 |   164120 |    47632 |    54383      0 |       64 |        1
652.99/653.12	c  652s |      13 |   164237 |    47732 |    54383      0 |       64 |        1
655.90/656.08	c  654s |      13 |   164353 |    47832 |    54383      0 |       64 |        1
658.99/659.12	c  658s |      13 |   164455 |    47932 |    54383      0 |       64 |        1
661.89/662.04	c  660s |      13 |   164573 |    48032 |    54383      0 |       64 |        1
664.89/665.09	c  663s |      13 |   164691 |    48132 |    54383      0 |       64 |        1
668.19/668.30	c  667s |      13 |   164822 |    48232 |    54383      0 |       64 |        1
670.49/670.65	c  669s |      13 |   164935 |    48332 |    54383      0 |       64 |        1
672.89/673.07	c  671s |      13 |   165033 |    48432 |    54383      0 |       64 |        1
675.39/675.51	c  674s |      13 |   165150 |    48532 |    54383      0 |       64 |        1
677.69/677.87	c  676s |      13 |   165261 |    48632 |    54383      0 |       64 |        1
680.28/680.45	c  679s |      13 |   165358 |    48732 |    54383      0 |       64 |        1
682.78/682.91	c  681s |      13 |   165465 |    48832 |    54383      0 |       64 |        1
685.08/685.26	c  684s |      13 |   165576 |    48932 |    54383      0 |       64 |        1
687.48/687.68	c  686s |      13 |   165681 |    49032 |    54383      0 |       64 |        1
689.89/690.01	c  688s |      13 |   165794 |    49132 |    54383      0 |       64 |        1
692.49/692.60	c  691s |      13 |   165904 |    49232 |    54383      0 |       64 |        1
694.99/695.19	c  694s |      13 |   166000 |    49332 |    54383      0 |       64 |        1
697.49/697.69	c  696s |      13 |   166107 |    49432 |    54383      0 |       64 |        1
700.18/700.30	c  699s |      13 |   166220 |    49532 |    54383      0 |       64 |        1
702.78/702.91	c  701s |      13 |   166325 |    49632 |    54383      0 |       64 |        1
705.18/705.33	c  704s |      13 |   166421 |    49732 |    54383      0 |       64 |        1
707.48/707.70	c  706s |      13 |   166526 |    49832 |    54383      0 |       64 |        1
709.89/710.08	c  708s |      13 |   166641 |    49932 |    54383      0 |       64 |        1
712.38/712.58	c  711s |      13 |   166756 |    50032 |    54383      0 |       64 |        1
715.18/715.32	c  714s |      13 |   166858 |    50132 |    54383      0 |       64 |        1
717.77/717.95	c  716s |      13 |   166962 |    50232 |    54383      0 |       64 |        1
720.37/720.58	c  719s |      13 |   167065 |    50332 |    54383      0 |       64 |        1
722.87/723.07	c  721s |      13 |   167162 |    50432 |    54383      0 |       64 |        1
725.18/725.34	c  724s |      13 |   167265 |    50532 |    54383      0 |       64 |        1
727.58/727.74	c  726s |      13 |   167369 |    50632 |    54383      0 |       64 |        1
730.28/730.43	c  729s |      13 |   167475 |    50732 |    54383      0 |       64 |        1
732.99/733.15	c  732s |      13 |   167586 |    50832 |    54383      0 |       64 |        1
735.88/736.01	c  734s |      13 |   167698 |    50932 |    54383      0 |       64 |        1
738.38/738.56	c  737s |      13 |   167805 |    51032 |    54383      0 |       64 |        1
741.28/741.45	c  740s |      13 |   167908 |    51132 |    54383      0 |       64 |        1
743.98/744.16	c  743s |      13 |   168016 |    51232 |    54383      0 |       64 |        1
746.77/746.99	c  745s |      13 |   168118 |    51332 |    54383      0 |       64 |        1
749.68/749.84	c  748s |      13 |   168221 |    51432 |    54383      0 |       64 |        1
752.08/752.28	c  751s |      13 |   168333 |    51532 |    54383      0 |       64 |        1
754.48/754.63	c  753s |      13 |   168442 |    51632 |    54383      0 |       64 |        1
757.08/757.28	c  756s |      13 |   168541 |    51732 |    54383      0 |       64 |        1
759.57/759.77	c  758s |      13 |   168653 |    51832 |    54383      0 |       64 |        1
762.07/762.24	c  761s |      13 |   168750 |    51932 |    54383      0 |       64 |        1
764.47/764.67	c  763s |      13 |   168852 |    52032 |    54383      0 |       64 |        1
766.98/767.13	c  766s |      13 |   168966 |    52132 |    54383      0 |       64 |        1
769.57/769.70	c  768s |      13 |   169071 |    52232 |    54383      0 |       64 |        1
772.37/772.51	c  771s |      13 |   169181 |    52332 |    54383      0 |       64 |        1
774.97/775.17	c  774s |      13 |   169285 |    52432 |    54383      0 |       64 |        1
777.77/777.94	c  776s |      13 |   169387 |    52532 |    54383      0 |       64 |        1
780.67/780.80	c  779s |      13 |   169496 |    52632 |    54383      0 |       64 |        1
783.58/783.71	c  782s |      13 |   169597 |    52732 |    54383      0 |       64 |        1
786.27/786.40	c  785s |      13 |   169696 |    52832 |    54383      0 |       64 |        1
788.77/788.91	c  787s |      13 |   169810 |    52932 |    54383      0 |       64 |        1
791.47/791.61	c  790s |      13 |   169912 |    53032 |    54383      0 |       64 |        1
794.07/794.29	c  793s |      13 |   170013 |    53132 |    54383      0 |       64 |        1
796.97/797.13	c  796s |      13 |   170116 |    53232 |    54383      0 |       64 |        1
799.56/799.79	c  798s |      13 |   170232 |    53332 |    54383      0 |       64 |        1
802.17/802.40	c  801s |      13 |   170335 |    53432 |    54383      0 |       64 |        1
804.77/804.97	c  803s |      13 |   170439 |    53532 |    54383      0 |       64 |        1
807.78/807.99	c  806s |      13 |   170532 |    53632 |    54383      0 |       64 |        1
810.07/810.27	c  809s |      13 |   170655 |    53732 |    54383      0 |       64 |        1
812.57/812.76	c  811s |      13 |   170761 |    53832 |    54383      0 |       64 |        1
815.27/815.43	c  814s |      13 |   170867 |    53932 |    54383      0 |       64 |        1
817.57/817.79	c  816s |      13 |   170977 |    54032 |    54383      0 |       64 |        1
820.36/820.51	c  819s |      13 |   171098 |    54132 |    54383      0 |       64 |        1
822.96/823.14	c  822s |      13 |   171194 |    54232 |    54383      0 |       64 |        1
825.16/825.36	c  824s |      13 |   171309 |    54332 |    54383      0 |       64 |        1
827.66/827.81	c  826s |      13 |   171409 |    54432 |    54383      0 |       64 |        1
829.67/829.88	c  828s |      13 |   171513 |    54532 |    54383      0 |       64 |        1
831.87/832.07	c  830s |      13 |   171618 |    54632 |    54383      0 |       64 |        1
834.16/834.38	c  833s |      13 |   171722 |    54732 |    54383      0 |       64 |        1
836.66/836.87	c  835s |      13 |   171827 |    54832 |    54383      0 |       64 |        1
839.06/839.26	c  838s |      13 |   171941 |    54932 |    54383      0 |       64 |        1
841.36/841.55	c  840s |      13 |   172036 |    55032 |    54383      0 |       64 |        1
843.76/843.92	c  842s |      13 |   172143 |    55132 |    54383      0 |       64 |        1
846.46/846.66	c  845s |      13 |   172248 |    55232 |    54383      0 |       64 |        1
849.16/849.30	c  848s |      13 |   172354 |    55332 |    54383      0 |       64 |        1
851.96/852.13	c  851s |      13 |   172454 |    55432 |    54383      0 |       64 |        1
854.56/854.78	c  853s |      13 |   172564 |    55532 |    54383      0 |       64 |        1
857.05/857.29	c  856s |      13 |   172667 |    55632 |    54383      0 |       64 |        1
859.85/860.06	c  858s |      13 |   172766 |    55732 |    54383      0 |       64 |        1
862.45/862.62	c  861s |      13 |   172877 |    55832 |    54383      0 |       64 |        1
865.16/865.36	c  864s |      13 |   172975 |    55932 |    54383      0 |       64 |        1
867.96/868.10	c  866s |      13 |   173082 |    56032 |    54383      0 |       64 |        1
870.65/870.84	c  869s |      13 |   173186 |    56132 |    54383      0 |       64 |        1
873.66/873.82	c  872s |      13 |   173293 |    56232 |    54383      0 |       64 |        1
875.96/876.19	c  875s |      13 |   173396 |    56332 |    54383      0 |       64 |        1
878.65/878.88	c  877s |      13 |   173501 |    56432 |    54383      0 |       64 |        1
881.25/881.46	c  880s |      13 |   173608 |    56532 |    54383      0 |       64 |        1
883.85/884.05	c  882s |      13 |   173716 |    56632 |    54383      0 |       64 |        1
886.45/886.61	c  885s |      13 |   173823 |    56732 |    54383      0 |       64 |        1
888.84/889.07	c  887s |      13 |   173920 |    56832 |    54383      0 |       64 |        1
891.54/891.79	c  890s |      13 |   174030 |    56932 |    54383      0 |       64 |        1
894.15/894.37	c  893s |      13 |   174135 |    57032 |    54383      0 |       64 |        1
896.65/896.86	c  895s |      13 |   174240 |    57132 |    54383      0 |       64 |        1
899.15/899.35	c  898s |      13 |   174349 |    57232 |    54383      0 |       64 |        1
901.75/901.90	c  900s |      13 |   174460 |    57332 |    54383      0 |       64 |        1
904.15/904.31	c  903s |      13 |   174571 |    57432 |    54383      0 |       64 |        1
906.75/906.96	c  905s |      13 |   174664 |    57532 |    54383      0 |       64 |        1
909.35/909.50	c  908s |      13 |   174770 |    57632 |    54383      0 |       64 |        1
911.85/912.03	c  910s |      13 |   174882 |    57732 |    54383      0 |       64 |        1
914.25/914.46	c  913s |      13 |   174988 |    57832 |    54383      0 |       64 |        1
916.94/917.19	c  916s |      13 |   175104 |    57932 |    54383      0 |       64 |        1
919.64/919.82	c  918s |      13 |   175213 |    58032 |    59822      0 |       64 |        1
922.24/922.48	c  921s |      13 |   175317 |    58132 |    59822      0 |       64 |        1
924.84/925.05	c  923s |      13 |   175425 |    58232 |    59822      0 |       64 |        1
927.34/927.50	c  926s |      13 |   175537 |    58332 |    59822      0 |       64 |        1
927.84/928.08	c  926s |      14 |   175555 |    58352 |    59822      0 |       64 |        1
932.93/933.20	c  932s |      14 |   177402 |    58452 |    59822      0 |       64 |        1
935.03/935.22	c  934s |      14 |   185038 |    58652 |    59822      0 |       64 |        1
938.13/938.38	c  937s |      14 |   185249 |    58852 |    59822      0 |       64 |        1
940.64/940.85	c  939s |      14 |   185459 |    59052 |    59822      0 |       64 |        1
943.14/943.34	c  942s |      14 |   185679 |    59252 |    59822      0 |       64 |        1
945.44/945.68	c  944s |      14 |   185899 |    59452 |    59822      0 |       64 |        1
948.13/948.39	c  947s |      14 |   186105 |    59652 |    59822      0 |       64 |        1
951.74/951.97	c  950s |      14 |   186318 |    59852 |    59822      0 |       64 |        1
955.63/955.87	c  954s |      14 |   186529 |    60052 |    59822      0 |       64 |        1
957.93/958.11	c  956s |      14 |   186633 |    60152 |    59822      0 |       64 |        1
961.03/961.26	c  960s |      14 |   186745 |    60252 |    59822      0 |       64 |        1
963.63/963.83	c  962s |      14 |   186850 |    60352 |    59822      0 |       64 |        1
965.92/966.12	c  965s |      14 |   187063 |    60552 |    59822      0 |       64 |        1
968.52/968.79	c  967s |      14 |   187267 |    60752 |    59822      0 |       64 |        1
971.53/971.72	c  970s |      14 |   187483 |    60952 |    59822      0 |       64 |        1
974.42/974.65	c  973s |      14 |   187690 |    61152 |    59822      0 |       64 |        1
977.32/977.53	c  976s |      14 |   187805 |    61252 |    59822      0 |       64 |        1
979.52/979.72	c  978s |      14 |   187907 |    61352 |    59822      0 |       64 |        1
981.62/981.85	c  980s |      14 |   188013 |    61452 |    59822      0 |       64 |        1
983.72/983.94	c  982s |      14 |   188120 |    61552 |    59822      0 |       64 |        1
985.82/986.09	c  984s |      14 |   188224 |    61652 |    59822      0 |       64 |        1
989.01/989.28	c  988s |      14 |   188429 |    61852 |    59822      0 |       64 |        1
991.91/992.18	c  991s |      14 |   188637 |    62052 |    59822      0 |       64 |        1
994.62/994.90	c  993s |      14 |   188845 |    62252 |    59822      0 |       64 |        1
996.82/997.03	c  995s |      14 |   189056 |    62452 |    59822      0 |       64 |        1
998.91/999.19	c  998s |      14 |   189266 |    62652 |    59822      0 |       64 |        1
1001.11/1001.30	c 1000s |      14 |   189480 |    62852 |    59822      0 |       64 |        1
1003.61/1003.89	c 1002s |      14 |   189685 |    63052 |    59822      0 |       64 |        1
1006.51/1006.73	c 1005s |      14 |   189888 |    63252 |    59822      0 |       64 |        1
1009.72/1009.90	c 1008s |      14 |   190106 |    63452 |    59822      0 |       64 |        1
1012.62/1012.82	c 1011s |      14 |   190312 |    63652 |    59822      0 |       64 |        1
1014.61/1014.86	c 1013s |      14 |   190419 |    63752 |    59822      0 |       64 |        1
1016.91/1017.16	c 1016s |      14 |   190521 |    63852 |    59822      0 |       64 |        1
1019.21/1019.41	c 1018s |      14 |   190630 |    63952 |    59822      0 |       64 |        1
1021.31/1021.54	c 1020s |      14 |   190736 |    64052 |    59822      0 |       64 |        1
1025.52/1025.74	c 1024s |      14 |   190947 |    64252 |    59822      0 |       64 |        1
1027.51/1027.77	c 1026s |      14 |   191058 |    64352 |    59822      0 |       64 |        1
1030.01/1030.26	c 1029s |      14 |   191160 |    64452 |    59822      0 |       64 |        1
1032.31/1032.59	c 1031s |      14 |   191262 |    64552 |    59822      0 |       64 |        1
1034.51/1034.77	c 1033s |      14 |   191366 |    64652 |    59822      0 |       64 |        1
1037.70/1037.98	c 1036s |      14 |   191583 |    64852 |    59822      0 |       64 |        1
1040.50/1040.79	c 1039s |      14 |   191797 |    65052 |    59822      0 |       64 |        1
1043.01/1043.27	c 1042s |      14 |   192000 |    65252 |    59822      0 |       64 |        1
1045.31/1045.58	c 1044s |      14 |   192220 |    65452 |    59822      0 |       64 |        1
1047.70/1047.96	c 1046s |      14 |   192430 |    65652 |    59822      0 |       64 |        1
1049.90/1050.11	c 1048s |      14 |   192642 |    65852 |    59822      0 |       64 |        1
1052.30/1052.57	c 1051s |      14 |   192859 |    66052 |    59822      0 |       64 |        1
1054.60/1054.84	c 1053s |      14 |   193065 |    66252 |    59822      0 |       64 |        1
1057.09/1057.34	c 1056s |      14 |   193272 |    66452 |    59822      0 |       64 |        1
1059.19/1059.41	c 1058s |      14 |   193485 |    66652 |    59822      0 |       64 |        1
1061.29/1061.59	c 1060s |      14 |   193708 |    66852 |    59822      0 |       64 |        1
1063.59/1063.80	c 1062s |      14 |   193915 |    67052 |    59822      0 |       64 |        1
1066.10/1066.35	c 1065s |      14 |   194121 |    67252 |    59822      0 |       64 |        1
1068.59/1068.87	c 1067s |      14 |   194335 |    67452 |    59822      0 |       64 |        1
1071.29/1071.57	c 1070s |      14 |   194537 |    67652 |    59822      0 |       64 |        1
1073.99/1074.25	c 1073s |      14 |   194746 |    67852 |    59822      0 |       64 |        1
1076.58/1076.86	c 1075s |      14 |   194965 |    68052 |    59822      0 |       64 |        1
1079.49/1079.79	c 1078s |      14 |   195174 |    68252 |    59822      0 |       64 |        1
1082.49/1082.75	c 1081s |      14 |   195380 |    68452 |    59822      0 |       64 |        1
1085.29/1085.53	c 1084s |      14 |   195594 |    68652 |    59822      0 |       64 |        1
1087.68/1087.97	c 1086s |      14 |   195801 |    68852 |    59822      0 |       64 |        1
1090.08/1090.38	c 1089s |      14 |   195902 |    68952 |    59822      0 |       64 |        1
1092.88/1093.15	c 1092s |      14 |   196114 |    69152 |    59822      0 |       64 |        1
1095.67/1095.98	c 1094s |      14 |   196323 |    69352 |    59822      0 |       64 |        1
1098.57/1098.80	c 1097s |      14 |   196533 |    69552 |    59822      0 |       64 |        1
1101.07/1101.35	c 1100s |      14 |   196757 |    69752 |    59822      0 |       64 |        1
1103.87/1104.19	c 1103s |      14 |   196971 |    69952 |    59822      0 |       64 |        1
1106.96/1107.28	c 1106s |      14 |   197180 |    70152 |    59822      0 |       64 |        1
1109.66/1109.93	c 1108s |      14 |   197392 |    70352 |    59822      0 |       64 |        1
1112.56/1112.84	c 1111s |      14 |   197617 |    70552 |    59822      0 |       64 |        1
1114.86/1115.15	c 1114s |      14 |   197821 |    70752 |    59822      0 |       64 |        1
1117.26/1117.60	c 1116s |      14 |   198034 |    70952 |    59822      0 |       64 |        1
1121.56/1121.87	c 1120s |      14 |   198244 |    71152 |    59822      0 |       64 |        1
1124.86/1125.16	c 1124s |      14 |   198454 |    71352 |    59822      0 |       64 |        1
1128.55/1128.85	c 1127s |      14 |   198665 |    71552 |    59822      0 |       64 |        1
1130.65/1130.92	c 1129s |      14 |   198767 |    71652 |    59822      0 |       64 |        1
1134.65/1134.91	c 1133s |      14 |   198975 |    71852 |    59822      0 |       64 |        1
1136.75/1137.09	c 1135s |      14 |   199085 |    71952 |    59822      0 |       64 |        1
1138.85/1139.12	c 1137s |      14 |   199197 |    72052 |    59822      0 |       64 |        1
1140.95/1141.22	c 1140s |      14 |   199300 |    72152 |    59822      0 |       64 |        1
1143.26/1143.58	c 1142s |      14 |   199404 |    72252 |    59822      0 |       64 |        1
1145.65/1145.96	c 1144s |      14 |   199506 |    72352 |    59822      0 |       64 |        1
1149.95/1150.23	c 1149s |      14 |   199718 |    72552 |    59822      0 |       64 |        1
1152.25/1152.54	c 1151s |      14 |   199817 |    72652 |    59822      0 |       64 |        1
1154.55/1154.84	c 1153s |      14 |   199920 |    72752 |    59822      0 |       64 |        1
1158.65/1158.94	c 1157s |      14 |   200127 |    72952 |    59822      0 |       64 |        1
1160.65/1161.00	c 1159s |      14 |   200231 |    73052 |    59822      0 |       64 |        1
1162.95/1163.25	c 1162s |      14 |   200339 |    73152 |    59822      0 |       64 |        1
1164.94/1165.29	c 1164s |      14 |   200446 |    73252 |    59822      0 |       64 |        1
1167.25/1167.59	c 1166s |      14 |   200549 |    73352 |    59822      0 |       64 |        1
1169.55/1169.86	c 1168s |      14 |   200650 |    73452 |    59822      0 |       64 |        1
1173.74/1174.10	c 1172s |      14 |   200859 |    73652 |    59822      0 |       64 |        1
1175.84/1176.17	c 1175s |      14 |   200968 |    73752 |    59822      0 |       64 |        1
1177.94/1178.29	c 1177s |      14 |   201069 |    73852 |    59822      0 |       64 |        1
1180.24/1180.56	c 1179s |      14 |   201174 |    73952 |    59822      0 |       64 |        1
1182.84/1183.15	c 1182s |      14 |   201273 |    74052 |    59822      0 |       64 |        1
1185.13/1185.45	c 1184s |      14 |   201377 |    74152 |    59822      0 |       64 |        1
1187.53/1187.85	c 1186s |      14 |   201483 |    74252 |    59822      0 |       64 |        1
1189.73/1190.05	c 1188s |      14 |   201589 |    74352 |    59822      0 |       64 |        1
1191.83/1192.19	c 1191s |      14 |   201701 |    74452 |    59822      0 |       64 |        1
1194.63/1194.90	c 1193s |      14 |   201816 |    74552 |    59822      0 |       64 |        1
1197.03/1197.38	c 1196s |      14 |   202024 |    74752 |    59822      0 |       64 |        1
1199.52/1199.80	c 1198s |      14 |   202227 |    74952 |    59822      0 |       64 |        1
1202.43/1202.75	c 1201s |      14 |   202435 |    75152 |    59822      0 |       64 |        1
1205.12/1205.42	c 1204s |      14 |   202646 |    75352 |    59822      0 |       64 |        1
1207.82/1208.18	c 1207s |      14 |   202860 |    75552 |    59822      0 |       64 |        1
1211.02/1211.37	c 1210s |      14 |   203069 |    75752 |    59822      0 |       64 |        1
1213.62/1213.97	c 1212s |      14 |   203285 |    75952 |    59822      0 |       64 |        1
1216.12/1216.43	c 1215s |      14 |   203498 |    76152 |    59822      0 |       64 |        1
1218.82/1219.20	c 1218s |      14 |   203700 |    76352 |    59822      0 |       64 |        1
1221.52/1221.89	c 1220s |      14 |   203914 |    76552 |    59822      0 |       64 |        1
1224.02/1224.36	c 1223s |      14 |   204122 |    76752 |    59822      0 |       64 |        1
1227.12/1227.43	c 1226s |      14 |   204332 |    76952 |    59822      0 |       64 |        1
1230.12/1230.48	c 1229s |      14 |   204544 |    77152 |    59822      0 |       64 |        1
1232.62/1232.97	c 1231s |      14 |   204753 |    77352 |    59822      0 |       64 |        1
1236.11/1236.46	c 1235s |      14 |   204965 |    77552 |    59822      0 |       64 |        1
1238.91/1239.27	c 1238s |      14 |   205175 |    77752 |    59822      0 |       64 |        1
1241.91/1242.22	c 1241s |      14 |   205378 |    77952 |    59822      0 |       64 |        1
1244.52/1244.86	c 1243s |      14 |   205590 |    78152 |    59822      0 |       64 |        1
1246.72/1247.01	c 1245s |      14 |   205796 |    78352 |    59822      0 |       64 |        1
1249.12/1249.42	c 1248s |      14 |   206002 |    78552 |    59822      0 |       64 |        1
1251.51/1251.82	c 1250s |      14 |   206207 |    78752 |    59822      0 |       64 |        1
1253.71/1254.04	c 1252s |      14 |   206414 |    78952 |    59822      0 |       64 |        1
1256.01/1256.30	c 1255s |      14 |   206627 |    79152 |    59822      0 |       64 |        1
1258.71/1259.04	c 1257s |      14 |   206831 |    79352 |    59822      0 |       64 |        1
1261.31/1261.64	c 1260s |      14 |   207035 |    79552 |    59822      0 |       64 |        1
1264.41/1264.76	c 1263s |      14 |   207241 |    79752 |    59822      0 |       64 |        1
1266.91/1267.30	c 1266s |      14 |   207447 |    79952 |    59822      0 |       64 |        1
1269.41/1269.74	c 1268s |      14 |   207656 |    80152 |    59822      0 |       64 |        1
1271.91/1272.20	c 1271s |      14 |   207882 |    80352 |    59822      0 |       64 |        1
1274.31/1274.65	c 1273s |      14 |   208084 |    80552 |    59822      0 |       64 |        1
1276.90/1277.24	c 1276s |      14 |   208299 |    80752 |    59822      0 |       64 |        1
1279.51/1279.87	c 1278s |      14 |   208506 |    80952 |    59822      0 |       64 |        1
1282.20/1282.58	c 1281s |      14 |   208719 |    81152 |    59822      0 |       64 |        1
1285.60/1285.94	c 1284s |      14 |   208928 |    81352 |    59822      0 |       64 |        1
1288.70/1289.09	c 1287s |      14 |   209128 |    81552 |    59822      0 |       64 |        1
1292.30/1292.68	c 1291s |      14 |   209335 |    81752 |    59822      0 |       64 |        1
1295.70/1296.01	c 1294s |      14 |   209540 |    81952 |    59822      0 |       64 |        1
1298.70/1299.07	c 1297s |      14 |   209747 |    82152 |    59822      0 |       64 |        1
1301.70/1302.09	c 1300s |      14 |   209948 |    82352 |    59822      0 |       64 |        1
1304.90/1305.27	c 1304s |      14 |   210162 |    82552 |    59822      0 |       64 |        1
1307.90/1308.29	c 1307s |      14 |   210363 |    82752 |    59822      0 |       64 |        1
1310.90/1311.25	c 1310s |      14 |   210576 |    82952 |    59822      0 |       64 |        1
1314.40/1314.70	c 1313s |      14 |   210780 |    83152 |    59822      0 |       64 |        1
1317.80/1318.18	c 1317s |      14 |   210982 |    83352 |    59822      0 |       64 |        1
1320.89/1321.22	c 1320s |      14 |   211197 |    83552 |    59822      0 |       64 |        1
1324.09/1324.43	c 1323s |      14 |   211408 |    83752 |    59822      0 |       64 |        1
1327.09/1327.49	c 1326s |      14 |   211615 |    83952 |    59822      0 |       64 |        1
1330.29/1330.60	c 1329s |      14 |   211820 |    84152 |    59822      0 |       64 |        1
1333.09/1333.49	c 1332s |      14 |   212030 |    84352 |    59822      0 |       64 |        1
1336.19/1336.58	c 1335s |      14 |   212233 |    84552 |    59822      0 |       64 |        1
1339.09/1339.48	c 1338s |      14 |   212443 |    84752 |    59822      0 |       64 |        1
1342.09/1342.41	c 1341s |      14 |   212655 |    84952 |    59822      0 |       64 |        1
1345.69/1346.02	c 1344s |      14 |   212863 |    85152 |    59822      0 |       64 |        1
1348.89/1349.26	c 1348s |      14 |   213085 |    85352 |    59822      0 |       64 |        1
1351.89/1352.25	c 1351s |      14 |   213293 |    85552 |    59822      0 |       64 |        1
1354.98/1355.31	c 1354s |      14 |   213506 |    85752 |    59822      0 |       64 |        1
1358.38/1358.73	c 1357s |      14 |   213715 |    85952 |    59822      0 |       64 |        1
1362.18/1362.50	c 1361s |      14 |   213933 |    86152 |    59822      0 |       64 |        1
1365.47/1365.83	c 1364s |      14 |   214139 |    86352 |    59822      0 |       64 |        1
1368.67/1369.05	c 1367s |      14 |   214339 |    86552 |    59822      0 |       64 |        1
1371.57/1371.99	c 1370s |      14 |   214548 |    86752 |    59822      0 |       64 |        1
1374.97/1375.33	c 1374s |      14 |   214751 |    86952 |    59822      0 |       64 |        1
1377.17/1377.51	c 1376s |      14 |   214860 |    87052 |    65805      0 |       64 |        1
1380.59/1381.00	c 1379s |      14 |   215066 |    87252 |    65805      0 |       64 |        1
1384.28/1384.61	c 1383s |      14 |   215267 |    87452 |    65805      0 |       64 |        1
1388.38/1388.76	c 1387s |      15 |   215450 |    87632 |    65805      0 |       64 |        1
1401.07/1401.47	c 1400s |      15 |   225299 |    87732 |    65805      1 |       64 |        1
1404.47/1404.80	c 1403s |      15 |   225618 |    88032 |    65805      1 |       64 |        1
1407.08/1407.41	c 1406s |      15 |   225825 |    88232 |    65805      1 |       64 |        1
1409.37/1409.75	c 1408s |      15 |   226048 |    88432 |    65805      1 |       64 |        1
1411.87/1412.22	c 1411s |      15 |   226261 |    88632 |    65805      1 |       64 |        1
1414.07/1414.48	c 1413s |      15 |   226460 |    88832 |    65805      1 |       64 |        1
1416.16/1416.58	c 1415s |      15 |   226701 |    89032 |    65805      1 |       64 |        1
1418.66/1419.09	c 1417s |      15 |   226922 |    89232 |    65805      1 |       64 |        1
1421.27/1421.62	c 1420s |      15 |   227129 |    89432 |    65805      1 |       64 |        1
1423.76/1424.12	c 1423s |      15 |   227336 |    89632 |    65805      1 |       64 |        1
1426.87/1427.29	c 1426s |      15 |   227543 |    89832 |    65805      1 |       64 |        1
1429.56/1429.94	c 1428s |      15 |   227752 |    90032 |    65805      1 |       64 |        1
1432.86/1433.29	c 1432s |      15 |   227953 |    90232 |    65805      1 |       64 |        1
1436.46/1436.81	c 1435s |      15 |   228165 |    90432 |    65805      1 |       64 |        1
1439.97/1440.34	c 1439s |      15 |   228377 |    90632 |    65805      1 |       64 |        1
1444.16/1444.50	c 1443s |      15 |   228589 |    90832 |    65805      1 |       64 |        1
1446.46/1446.88	c 1445s |      15 |   228690 |    90932 |    65805      1 |       64 |        1
1448.66/1449.09	c 1447s |      15 |   228794 |    91032 |    65805      1 |       64 |        1
1450.86/1451.24	c 1450s |      15 |   229023 |    91232 |    65805      1 |       64 |        1
1453.36/1453.76	c 1452s |      15 |   229233 |    91432 |    65805      1 |       64 |        1
1455.96/1456.39	c 1455s |      15 |   229551 |    91732 |    65805      1 |       64 |        1
1458.76/1459.15	c 1458s |      15 |   229865 |    92032 |    65805      1 |       64 |        1
1461.06/1461.41	c 1460s |      15 |   230092 |    92232 |    65805      1 |       64 |        1
1464.06/1464.44	c 1463s |      15 |   230438 |    92532 |    65805      1 |       64 |        1
1466.16/1466.53	c 1465s |      15 |   230649 |    92732 |    65805      1 |       64 |        1
1468.16/1468.58	c 1467s |      15 |   230864 |    92932 |    65805      1 |       64 |        1
1470.46/1470.86	c 1469s |      15 |   231078 |    93132 |    65805      1 |       64 |        1
1472.75/1473.15	c 1472s |      15 |   231295 |    93332 |    65805      1 |       64 |        1
1476.05/1476.48	c 1475s |      15 |   231506 |    93532 |    65805      1 |       64 |        1
1478.85/1479.29	c 1478s |      15 |   231717 |    93732 |    65805      1 |       64 |        1
1482.05/1482.48	c 1481s |      15 |   232031 |    94032 |    65805      1 |       64 |        1
1484.15/1484.56	c 1483s |      15 |   232244 |    94232 |    65805      1 |       64 |        1
1486.85/1487.21	c 1486s |      15 |   232452 |    94432 |    65805      1 |       64 |        1
1489.56/1489.98	c 1488s |      15 |   232672 |    94632 |    65805      1 |       64 |        1
1492.35/1492.75	c 1491s |      15 |   232898 |    94832 |    65805      1 |       64 |        1
1496.85/1497.20	c 1496s |      15 |   233109 |    95032 |    65805      1 |       64 |        1
1500.05/1500.45	c 1499s |      15 |   233315 |    95232 |    65805      1 |       64 |        1
1502.76/1503.15	c 1502s |      15 |   233521 |    95432 |    65805      1 |       64 |        1
1505.35/1505.72	c 1504s |      15 |   233723 |    95632 |    65805      1 |       64 |        1
1508.35/1508.71	c 1507s |      15 |   233926 |    95832 |    65805      1 |       64 |        1
1511.05/1511.45	c 1510s |      15 |   234158 |    96032 |    65805      1 |       64 |        1
1513.55/1514.00	c 1512s |      15 |   234498 |    96332 |    65805      1 |       64 |        1
1516.15/1516.50	c 1515s |      15 |   234808 |    96632 |    65805      1 |       64 |        1
1518.65/1519.06	c 1517s |      15 |   235126 |    96932 |    65805      1 |       64 |        1
1521.54/1521.94	c 1520s |      15 |   235445 |    97232 |    65805      1 |       64 |        1
1523.55/1524.00	c 1522s |      15 |   235657 |    97432 |    65805      1 |       64 |        1
1525.75/1526.15	c 1525s |      15 |   235870 |    97632 |    65805      1 |       64 |        1
1528.84/1529.26	c 1528s |      15 |   236180 |    97932 |    65805      1 |       64 |        1
1531.04/1531.44	c 1530s |      15 |   236381 |    98132 |    65805      1 |       64 |        1
1533.05/1533.44	c 1532s |      15 |   236589 |    98332 |    65805      1 |       64 |        1
1535.45/1535.84	c 1534s |      15 |   236795 |    98532 |    65805      1 |       64 |        1
1537.96/1538.32	c 1537s |      15 |   237003 |    98732 |    65805      1 |       64 |        1
1540.15/1540.57	c 1539s |      15 |   237206 |    98932 |    65805      1 |       64 |        1
1542.64/1543.00	c 1541s |      15 |   237408 |    99132 |    65805      1 |       64 |        1
1545.15/1545.59	c 1544s |      15 |   237726 |    99432 |    65805      1 |       64 |        1
1547.94/1548.31	c 1547s |      15 |   238040 |    99732 |    65805      1 |       64 |        1
1551.15/1551.52	c 1550s |      15 |   238249 |    99932 |    65805      1 |       64 |        1
1554.24/1554.63	c 1553s |      15 |   238454 |   100132 |    65805      1 |       64 |        1
1556.34/1556.72	c 1555s |      15 |   238830 |   100432 |    65805      1 |       64 |        1
1558.44/1558.88	c 1557s |      15 |   239265 |   100832 |    65805      1 |       64 |        1
1561.05/1561.45	c 1560s |      15 |   239687 |   101232 |    65805      1 |       64 |        1
1563.34/1563.76	c 1562s |      15 |   240143 |   101632 |    65805      1 |       64 |        1
1565.45/1565.89	c 1564s |      15 |   240612 |   102032 |    65805      1 |       64 |        1
1567.84/1568.28	c 1567s |      15 |   241065 |   102432 |    65805      1 |       64 |        1
1570.24/1570.67	c 1569s |      15 |   241553 |   102832 |    65805      1 |       64 |        1
1572.34/1572.73	c 1571s |      15 |   241887 |   103132 |    65805      1 |       64 |        1
1574.54/1574.95	c 1573s |      15 |   242207 |   103432 |    65805      1 |       64 |        1
1577.04/1577.48	c 1576s |      15 |   242640 |   103832 |    65805      1 |       64 |        1
1579.14/1579.52	c 1578s |      15 |   242955 |   104132 |    65805      1 |       64 |        1
1581.14/1581.57	c 1580s |      15 |   243283 |   104432 |    65805      1 |       64 |        1
1583.84/1584.21	c 1583s |      15 |   243719 |   104832 |    65805      1 |       64 |        1
1586.34/1586.79	c 1585s |      15 |   244158 |   105232 |    65805      1 |       64 |        1
1589.13/1589.53	c 1588s |      15 |   244584 |   105632 |    65805      1 |       64 |        1
1591.33/1591.77	c 1590s |      15 |   244904 |   105932 |    65805      1 |       64 |        1
1593.53/1593.96	c 1592s |      15 |   245231 |   106232 |    65805      1 |       64 |        1
1595.73/1596.11	c 1594s |      15 |   245552 |   106532 |    65805      1 |       64 |        1
1597.83/1598.20	c 1597s |      15 |   245893 |   106832 |    65805      1 |       64 |        1
1599.93/1600.37	c 1599s |      15 |   246230 |   107132 |    65805      1 |       64 |        1
1602.03/1602.40	c 1601s |      15 |   246554 |   107432 |    65805      1 |       64 |        1
1604.23/1604.61	c 1603s |      15 |   246897 |   107732 |    65805      1 |       64 |        1
1606.43/1606.81	c 1605s |      15 |   247203 |   108032 |    65805      1 |       64 |        1
1608.83/1609.21	c 1608s |      15 |   247500 |   108332 |    65805      1 |       64 |        1
1610.93/1611.37	c 1610s |      15 |   247806 |   108632 |    65805      1 |       64 |        1
1613.23/1613.63	c 1612s |      15 |   248125 |   108932 |    65805      1 |       64 |        1
1615.63/1616.00	c 1614s |      15 |   248438 |   109232 |    65805      1 |       64 |        1
1617.83/1618.29	c 1617s |      15 |   248783 |   109532 |    65805      1 |       64 |        1
1620.03/1620.49	c 1619s |      15 |   249120 |   109832 |    65805      1 |       64 |        1
1622.33/1622.79	c 1621s |      15 |   249459 |   110132 |    65805      1 |       64 |        1
1624.83/1625.23	c 1624s |      15 |   249783 |   110432 |    65805      1 |       64 |        1
1627.32/1627.74	c 1626s |      15 |   250096 |   110732 |    65805      1 |       64 |        1
1629.62/1630.05	c 1628s |      15 |   250422 |   111032 |    65805      1 |       64 |        1
1631.92/1632.36	c 1631s |      15 |   250759 |   111332 |    65805      1 |       64 |        1
1634.32/1634.72	c 1633s |      15 |   251105 |   111632 |    65805      1 |       64 |        1
1636.83/1637.22	c 1636s |      15 |   251427 |   111932 |    65805      1 |       64 |        1
1639.03/1639.50	c 1638s |      15 |   251752 |   112232 |    65805      1 |       64 |        1
1641.33/1641.74	c 1640s |      15 |   252093 |   112532 |    65805      1 |       64 |        1
1643.72/1644.11	c 1642s |      15 |   252418 |   112832 |    65805      1 |       64 |        1
1646.12/1646.53	c 1645s |      15 |   252747 |   113132 |    65805      1 |       64 |        1
1648.42/1648.83	c 1647s |      15 |   253068 |   113432 |    65805      1 |       64 |        1
1650.73/1651.17	c 1650s |      15 |   253383 |   113732 |    65805      1 |       64 |        1
1653.13/1653.52	c 1652s |      15 |   253754 |   114032 |    65805      1 |       64 |        1
1655.43/1655.80	c 1654s |      15 |   254093 |   114332 |    65805      1 |       64 |        1
1657.83/1658.21	c 1657s |      15 |   254451 |   114632 |    65805      1 |       64 |        1
1660.12/1660.56	c 1659s |      15 |   254767 |   114932 |    65805      1 |       64 |        1
1662.52/1662.94	c 1661s |      15 |   255109 |   115232 |    65805      1 |       64 |        1
1664.82/1665.29	c 1664s |      15 |   255436 |   115532 |    65805      1 |       64 |        1
1667.22/1667.61	c 1666s |      15 |   255768 |   115832 |    65805      1 |       64 |        1
1669.52/1669.93	c 1668s |      15 |   256118 |   116132 |    65805      1 |       64 |        1
1672.03/1672.46	c 1671s |      15 |   256446 |   116432 |    65805      1 |       64 |        1
1674.62/1675.02	c 1673s |      15 |   256805 |   116732 |    65805      1 |       64 |        1
1677.22/1677.62	c 1676s |      15 |   257135 |   117032 |    65805      1 |       64 |        1
1679.62/1680.10	c 1678s |      15 |   257460 |   117332 |    65805      1 |       64 |        1
1682.32/1682.78	c 1681s |      15 |   257802 |   117632 |    65805      1 |       64 |        1
1684.72/1685.17	c 1684s |      15 |   258183 |   117932 |    65805      1 |       64 |        1
1687.53/1687.97	c 1686s |      15 |   258510 |   118232 |    65805      1 |       64 |        1
1690.02/1690.46	c 1689s |      15 |   258865 |   118532 |    65805      1 |       64 |        1
1692.62/1693.01	c 1691s |      15 |   259230 |   118832 |    65805      1 |       64 |        1
1695.12/1695.59	c 1694s |      15 |   259586 |   119132 |    65805      1 |       64 |        1
1697.92/1698.34	c 1697s |      15 |   259946 |   119432 |    65805      1 |       64 |        1
1700.62/1701.04	c 1699s |      15 |   260274 |   119732 |    65805      1 |       64 |        1
1702.62/1703.04	c 1701s |      15 |   260479 |   119932 |    65805      1 |       64 |        1
1705.62/1706.03	c 1704s |      15 |   260807 |   120232 |    65805      1 |       64 |        1
1708.42/1708.86	c 1707s |      15 |   261232 |   120532 |    65805      1 |       64 |        1
1711.31/1711.77	c 1710s |      15 |   261574 |   120832 |    65805      1 |       64 |        1
1714.22/1714.62	c 1713s |      15 |   261987 |   121132 |    65805      1 |       64 |        1
1717.12/1717.53	c 1716s |      15 |   262303 |   121432 |    65805      1 |       64 |        1
1720.01/1720.42	c 1719s |      15 |   262625 |   121732 |    65805      1 |       64 |        1
1722.02/1722.46	c 1721s |      15 |   262829 |   121932 |    65805      1 |       64 |        1
1724.92/1725.35	c 1724s |      15 |   263293 |   122232 |    65805      1 |       64 |        1
1727.91/1728.30	c 1727s |      15 |   263627 |   122532 |    65805      1 |       64 |        1
1730.71/1731.16	c 1730s |      15 |   264015 |   122832 |    65805      1 |       64 |        1
1733.81/1734.22	c 1733s |      15 |   264391 |   123132 |    65805      1 |       64 |        1
1735.82/1736.30	c 1735s |      15 |   264618 |   123332 |    65805      1 |       64 |        1
1738.31/1738.79	c 1737s |      15 |   264819 |   123532 |    65805      1 |       64 |        1
1740.70/1741.16	c 1740s |      15 |   265046 |   123732 |    65805      1 |       64 |        1
1742.91/1743.39	c 1742s |      15 |   265270 |   123932 |    65805      1 |       64 |        1
1745.50/1745.96	c 1744s |      15 |   265610 |   124232 |    65805      1 |       64 |        1
1748.10/1748.55	c 1747s |      15 |   265953 |   124532 |    65805      1 |       64 |        1
1751.00/1751.45	c 1750s |      15 |   266263 |   124832 |    65805      1 |       64 |        1
1753.90/1754.38	c 1753s |      15 |   266605 |   125132 |    65805      1 |       64 |        1
1756.90/1757.31	c 1756s |      15 |   266923 |   125432 |    65805      1 |       64 |        1
1758.91/1759.33	c 1758s |      15 |   267137 |   125632 |    65805      1 |       64 |        1
1761.70/1762.18	c 1761s |      15 |   267481 |   125932 |    65805      1 |       64 |        1
1764.80/1765.22	c 1764s |      15 |   267810 |   126232 |    65805      1 |       64 |        1
1766.80/1767.23	c 1766s |      15 |   268033 |   126432 |    65805      1 |       64 |        1
1768.81/1769.25	c 1768s |      15 |   268245 |   126632 |    65805      1 |       64 |        1
1770.80/1771.26	c 1770s |      15 |   268469 |   126832 |    65805      1 |       64 |        1
1772.90/1773.33	c 1772s |      15 |   268670 |   127032 |    65805      1 |       64 |        1
1775.90/1776.37	c 1775s |      15 |   268995 |   127332 |    65805      1 |       64 |        1
1778.00/1778.40	c 1777s |      15 |   269205 |   127532 |    65805      1 |       64 |        1
1780.80/1781.24	c 1780s |      15 |   269514 |   127832 |    65805      1 |       64 |        1
1782.90/1783.34	c 1782s |      15 |   269719 |   128032 |    65805      1 |       64 |        1
1785.09/1785.53	c 1784s |      15 |   269930 |   128232 |    65805      1 |       64 |        1
1787.19/1787.67	c 1786s |      15 |   270154 |   128432 |    65805      1 |       64 |        1
1790.29/1790.73	c 1789s |      15 |   270468 |   128732 |    65805      1 |       64 |        1
1792.49/1792.97	c 1791s |      15 |   270678 |   128932 |    65805      1 |       64 |        1
1794.80/1795.20	c 1794s |      15 |   270890 |   129132 |    65805      1 |       64 |        1
1796.99/1797.44	c 1796s |      15 |   271091 |   129332 |    65805      1 |       64 |        1
1799.10/1799.53	c 1798s |      15 |   271306 |   129532 |    65805      1 |       64 |        1

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

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

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


[startup+0 s]
/proc/loadavg: 2.32 2.26 2.15 3/179 11462
/proc/meminfo: memFree=26758196/32872528 swapFree=11740/941760
[pid=11462] ppid=11459 vsize=784964 CPUtime=0 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 9951 0 -1 4202496 2942 0 0 0 0 0 0 0 20 0 4 0 8955692 803803136 3303 33554432000 4194304 16246674 140734965224496 140734965223920 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 196753 3312 442 2943 0 193647 0
[pid=11462/tid=11463] ppid=11459 vsize=803396 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8955692 822677504 3372 33554432000 4194304 16246674 140734965224496 140539706977520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=807492 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955692 826871808 3389 33554432000 4194304 16246674 140734965224496 140539696487664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=811588 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955692 831066112 3406 33554432000 4194304 16246674 140734965224496 140539584310448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.32 2.26 2.15 3/179 11462
/proc/meminfo: memFree=26758196/32872528 swapFree=11740/941760
[pid=11462] ppid=11459 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 9951 0 -1 4202496 30004 0 0 0 5 3 0 0 20 0 4 0 8955692 1333334016 30304 33554432000 4194304 16246674 140734965224496 140734965223808 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 325521 30320 801 2943 0 322415 0
[pid=11462/tid=11463] ppid=11459 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8955692 1333334016 30330 33554432000 4194304 16246674 140734965224496 140539706977520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955692 1333334016 30345 33554432000 4194304 16246674 140734965224496 140539696487664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955692 1333334016 30356 33554432000 4194304 16246674 140734965224496 140539584310448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200516 s]
/proc/loadavg: 2.32 2.26 2.15 3/179 11462
/proc/meminfo: memFree=26758196/32872528 swapFree=11740/941760
[pid=11462] ppid=11459 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 9951 0 -1 4202496 43883 0 0 0 13 6 0 0 20 0 4 0 8955692 1343819776 44693 33554432000 4194304 16246674 140734965224496 140734965223808 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 328081 44693 801 2943 0 324975 0
[pid=11462/tid=11463] ppid=11459 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8955692 1343819776 44693 33554432000 4194304 16246674 140734965224496 140539706977520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955692 1343819776 44693 33554432000 4194304 16246674 140734965224496 140539696487664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955692 1343819776 44693 33554432000 4194304 16246674 140734965224496 140539584310448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300491 s]
/proc/loadavg: 2.32 2.26 2.15 3/179 11462
/proc/meminfo: memFree=26758196/32872528 swapFree=11740/941760
[pid=11462] ppid=11459 vsize=1312324 CPUtime=0.28 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 9951 0 -1 4202496 54970 0 0 0 21 7 0 0 20 0 4 0 8955692 1343819776 55780 33554432000 4194304 16246674 140734965224496 140734965223808 8055570 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 328081 55780 801 2943 0 324975 0
[pid=11462/tid=11463] ppid=11459 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8955692 1343819776 55780 33554432000 4194304 16246674 140734965224496 140539706977520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955692 1343819776 55780 33554432000 4194304 16246674 140734965224496 140539696487664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955692 1343819776 55780 33554432000 4194304 16246674 140734965224496 140539584310448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1312324

[startup+0.700416 s]
/proc/loadavg: 2.32 2.26 2.15 3/179 11462
/proc/meminfo: memFree=26758196/32872528 swapFree=11740/941760
[pid=11462] ppid=11459 vsize=1328708 CPUtime=0.69 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 9951 0 -1 4202496 59617 0 0 0 61 8 0 0 20 0 4 0 8955692 1360596992 60427 33554432000 4194304 16246674 140734965224496 140734965223808 12449200 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 332177 60427 833 2943 0 329071 0
[pid=11462/tid=11463] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 60427 33554432000 4194304 16246674 140734965224496 140539706977520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 60427 33554432000 4194304 16246674 140734965224496 140539696487664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 60427 33554432000 4194304 16246674 140734965224496 140539584310448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1328708

[startup+1.50039 s]
/proc/loadavg: 2.53 2.30 2.17 3/183 11466
/proc/meminfo: memFree=26075312/32872528 swapFree=11740/941760
[pid=11462] ppid=11459 vsize=1328708 CPUtime=1.49 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 9951 0 -1 4202496 97566 0 0 0 136 13 0 0 20 0 4 0 8955692 1360596992 98376 33554432000 4194304 16246674 140734965224496 140734965223592 5829044 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 332177 98376 891 2943 0 329071 0
[pid=11462/tid=11463] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 98376 33554432000 4194304 16246674 140734965224496 140539706977520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 98376 33554432000 4194304 16246674 140734965224496 140539696487664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 98376 33554432000 4194304 16246674 140734965224496 140539584310448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1328708

[startup+3.10047 s]
/proc/loadavg: 2.53 2.30 2.17 3/183 11466
/proc/meminfo: memFree=25518800/32872528 swapFree=11740/941760
[pid=11462] ppid=11459 vsize=1328708 CPUtime=3.09 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 9951 0 -1 4202496 97570 0 0 0 296 13 0 0 20 0 4 0 8955692 1360596992 98380 33554432000 4194304 16246674 140734965224496 140734965206400 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 332177 98380 895 2943 0 329071 0
[pid=11462/tid=11463] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 98380 33554432000 4194304 16246674 140734965224496 140539706977520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 98380 33554432000 4194304 16246674 140734965224496 140539696487664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 98380 33554432000 4194304 16246674 140734965224496 140539584310448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1328708

[startup+6.3004 s]
/proc/loadavg: 2.53 2.30 2.17 3/183 11466
/proc/meminfo: memFree=25350656/32872528 swapFree=11740/941760
[pid=11462] ppid=11459 vsize=1328708 CPUtime=6.29 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 9951 0 -1 4202496 97570 0 0 0 616 13 0 0 20 0 4 0 8955692 1360596992 98380 33554432000 4194304 16246674 140734965224496 140734965206400 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 332177 98380 895 2943 0 329071 0
[pid=11462/tid=11463] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 98380 33554432000 4194304 16246674 140734965224496 140539706977520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 98380 33554432000 4194304 16246674 140734965224496 140539696487664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 98380 33554432000 4194304 16246674 140734965224496 140539584310448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1328708

[startup+12.7005 s]
/proc/loadavg: 2.45 2.29 2.16 3/183 11466
/proc/meminfo: memFree=25350904/32872528 swapFree=11740/941760
[pid=11462] ppid=11459 vsize=1328708 CPUtime=12.69 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 9951 0 -1 4202496 97574 0 0 0 1256 13 0 0 20 0 4 0 8955692 1360596992 98384 33554432000 4194304 16246674 140734965224496 140734965206400 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 332177 98384 899 2943 0 329071 0
[pid=11462/tid=11463] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 98384 33554432000 4194304 16246674 140734965224496 140539706977520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 98384 33554432000 4194304 16246674 140734965224496 140539696487664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 98384 33554432000 4194304 16246674 140734965224496 140539584310448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1328708

[startup+25.5005 s]
/proc/loadavg: 2.38 2.28 2.16 3/183 11466
/proc/meminfo: memFree=25352164/32872528 swapFree=11740/941760
[pid=11462] ppid=11459 vsize=1328708 CPUtime=25.48 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 9951 0 -1 4202496 97575 0 0 0 2535 13 0 0 20 0 4 0 8955692 1360596992 98385 33554432000 4194304 16246674 140734965224496 140734965206400 5711355 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 332177 98385 899 2943 0 329071 0
[pid=11462/tid=11463] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 98385 33554432000 4194304 16246674 140734965224496 140539706977520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 98385 33554432000 4194304 16246674 140734965224496 140539696487664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 98385 33554432000 4194304 16246674 140734965224496 140539584310448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1328708

[startup+51.1075 s]
/proc/loadavg: 2.32 2.27 2.16 3/183 11466
/proc/meminfo: memFree=25352440/32872528 swapFree=11740/941760
[pid=11462] ppid=11459 vsize=1328708 CPUtime=51.08 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 9951 0 -1 4202496 97575 0 0 0 5095 13 0 0 20 0 4 0 8955692 1360596992 98385 33554432000 4194304 16246674 140734965224496 140734965206400 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 332177 98385 899 2943 0 329071 0
[pid=11462/tid=11463] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 98385 33554432000 4194304 16246674 140734965224496 140539706977520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 98385 33554432000 4194304 16246674 140734965224496 140539696487664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 98385 33554432000 4194304 16246674 140734965224496 140539584310448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1328708

[startup+102.3 s]
/proc/loadavg: 2.32 2.28 2.17 3/183 11467
/proc/meminfo: memFree=25077660/32872528 swapFree=11740/941760
[pid=11462] ppid=11459 vsize=1328708 CPUtime=102.27 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 9951 0 -1 4202496 166338 0 0 0 10205 22 0 0 20 0 4 0 8955692 1360596992 167148 33554432000 4194304 16246674 140734965224496 140734965206400 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 332177 167148 899 2943 0 329071 0
[pid=11462/tid=11463] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 167148 33554432000 4194304 16246674 140734965224496 140539706977520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 167148 33554432000 4194304 16246674 140734965224496 140539696487664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955692 1360596992 167148 33554432000 4194304 16246674 140734965224496 140539584310448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1328708


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

/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955692 1526272000 313962 33554432000 4194304 16246674 140734965224496 140539584310448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1490500

[startup+1362.31 s]
/proc/loadavg: 2.08 2.13 2.14 3/183 11522
/proc/meminfo: memFree=24028688/32872528 swapFree=11740/941760
[pid=11462] ppid=11459 vsize=1798724 CPUtime=1361.98 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 9951 0 -1 4202496 390410 0 0 0 136117 81 0 0 20 0 4 0 8955692 1841893376 391056 33554432000 4194304 16246674 140734965224496 140734965206400 5711960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 449681 391056 901 2943 0 446575 0
[pid=11462/tid=11463] ppid=11459 vsize=1798724 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8955692 1841893376 391056 33554432000 4194304 16246674 140734965224496 140539706977520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1798724 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955692 1841893376 391056 33554432000 4194304 16246674 140734965224496 140539696487664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1798724 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955692 1841893376 391056 33554432000 4194304 16246674 140734965224496 140539584310448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1798724

[startup+1422.3 s]
/proc/loadavg: 2.16 2.13 2.14 3/183 11523
/proc/meminfo: memFree=24028408/32872528 swapFree=11740/941760
[pid=11462] ppid=11459 vsize=1798724 CPUtime=1421.96 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 9951 0 -1 4202496 390417 0 0 0 142114 82 0 0 20 0 4 0 8955692 1841893376 391057 33554432000 4194304 16246674 140734965224496 140734965206400 5724032 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 449681 391057 902 2943 0 446575 0
[pid=11462/tid=11463] ppid=11459 vsize=1798724 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8955692 1841893376 391057 33554432000 4194304 16246674 140734965224496 140539706977520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1798724 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955692 1841893376 391057 33554432000 4194304 16246674 140734965224496 140539696487664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1798724 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955692 1841893376 391057 33554432000 4194304 16246674 140734965224496 140539584310448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1798724

[startup+1482.3 s]
/proc/loadavg: 2.06 2.11 2.13 3/184 11533
/proc/meminfo: memFree=24025804/32872528 swapFree=11740/941760
[pid=11462] ppid=11459 vsize=1798724 CPUtime=1481.95 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 9951 0 -1 4202496 390419 0 0 0 148113 82 0 0 20 0 4 0 8955692 1841893376 391057 33554432000 4194304 16246674 140734965224496 140734965206400 5711984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 449681 391057 902 2943 0 446575 0
[pid=11462/tid=11463] ppid=11459 vsize=1798724 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8955692 1841893376 391057 33554432000 4194304 16246674 140734965224496 140539706977520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1798724 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955692 1841893376 391057 33554432000 4194304 16246674 140734965224496 140539696487664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1798724 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955692 1841893376 391057 33554432000 4194304 16246674 140734965224496 140539584310448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1798724

[startup+1542.3 s]
/proc/loadavg: 2.05 2.10 2.12 3/184 11536
/proc/meminfo: memFree=24026608/32872528 swapFree=11740/941760
[pid=11462] ppid=11459 vsize=1798724 CPUtime=1541.94 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 9951 0 -1 4202496 390543 0 0 0 154110 84 0 0 20 0 4 0 8955692 1841893376 391181 33554432000 4194304 16246674 140734965224496 140734965223592 4225134 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 449681 391181 902 2943 0 446575 0
[pid=11462/tid=11463] ppid=11459 vsize=1798724 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8955692 1841893376 391181 33554432000 4194304 16246674 140734965224496 140539706977520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1798724 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955692 1841893376 391181 33554432000 4194304 16246674 140734965224496 140539696487664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1798724 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955692 1841893376 391181 33554432000 4194304 16246674 140734965224496 140539584310448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1798724

[startup+1602.3 s]
/proc/loadavg: 2.06 2.09 2.12 3/183 11537
/proc/meminfo: memFree=23876788/32872528 swapFree=11740/941760
[pid=11462] ppid=11459 vsize=1948228 CPUtime=1601.93 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 9951 0 -1 4202496 427888 0 0 0 160102 91 0 0 20 0 4 0 8955692 1994985472 428518 33554432000 4194304 16246674 140734965224496 140734965206400 5711972 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 487057 428518 902 2943 0 483951 0
[pid=11462/tid=11463] ppid=11459 vsize=1948228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8955692 1994985472 428518 33554432000 4194304 16246674 140734965224496 140539706977520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1948228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955692 1994985472 428518 33554432000 4194304 16246674 140734965224496 140539696487664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1948228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955692 1994985472 428518 33554432000 4194304 16246674 140734965224496 140539584310448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1948228

[startup+1662.3 s]
/proc/loadavg: 2.12 2.10 2.12 3/183 11538
/proc/meminfo: memFree=23876980/32872528 swapFree=11740/941760
[pid=11462] ppid=11459 vsize=1948228 CPUtime=1661.92 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 9951 0 -1 4202496 427892 0 0 0 166100 92 0 0 20 0 4 0 8955692 1994985472 428518 33554432000 4194304 16246674 140734965224496 140734965206400 5711680 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 487057 428518 902 2943 0 483951 0
[pid=11462/tid=11463] ppid=11459 vsize=1948228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8955692 1994985472 428518 33554432000 4194304 16246674 140734965224496 140539706977520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1948228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955692 1994985472 428518 33554432000 4194304 16246674 140734965224496 140539696487664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1948228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955692 1994985472 428518 33554432000 4194304 16246674 140734965224496 140539584310448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1948228

[startup+1722.3 s]
/proc/loadavg: 2.13 2.11 2.12 3/183 11539
/proc/meminfo: memFree=23876548/32872528 swapFree=11740/941760
[pid=11462] ppid=11459 vsize=1948228 CPUtime=1721.92 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 9951 0 -1 4202496 427932 0 0 0 172097 95 0 0 20 0 4 0 8955692 1994985472 428558 33554432000 4194304 16246674 140734965224496 140734965223672 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 487057 428558 902 2943 0 483951 0
[pid=11462/tid=11463] ppid=11459 vsize=1948228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8955692 1994985472 428558 33554432000 4194304 16246674 140734965224496 140539706977520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=1948228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955692 1994985472 428558 33554432000 4194304 16246674 140734965224496 140539696487664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=1948228 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955692 1994985472 428558 33554432000 4194304 16246674 140734965224496 140539584310448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1948228

[startup+1782.3 s]
/proc/loadavg: 2.21 2.13 2.12 3/183 11541
/proc/meminfo: memFree=23629420/32872528 swapFree=11740/941760
[pid=11462] ppid=11459 vsize=2195012 CPUtime=1781.9 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 9951 0 -1 4202496 489418 0 0 0 178086 104 0 0 20 0 4 0 8955692 2247692288 490036 33554432000 4194304 16246674 140734965224496 140734965223672 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 548753 490036 902 2943 0 545647 0
[pid=11462/tid=11463] ppid=11459 vsize=2195012 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8955692 2247692288 490036 33554432000 4194304 16246674 140734965224496 140539706977520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=2195012 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955692 2247692288 490036 33554432000 4194304 16246674 140734965224496 140539696487664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=2195012 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955692 2247692288 490036 33554432000 4194304 16246674 140734965224496 140539584310448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 2195012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.23 2.14 2.12 3/183 11541
/proc/meminfo: memFree=23629564/32872528 swapFree=11740/941760
[pid=11462] ppid=11459 vsize=2195012 CPUtime=1800.09 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 9951 0 -1 4202496 489418 0 0 0 179902 107 0 0 20 0 4 0 8955692 2247692288 490036 33554432000 4194304 16246674 140734965224496 140734965223672 13780624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 548753 490036 902 2943 0 545647 0
[pid=11462/tid=11463] ppid=11459 vsize=2195012 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8955692 2247692288 490036 33554432000 4194304 16246674 140734965224496 140539706977520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=2195012 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955692 2247692288 490036 33554432000 4194304 16246674 140734965224496 140539696487664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=2195012 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955692 2247692288 490036 33554432000 4194304 16246674 140734965224496 140539584310448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2195012

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

[startup+1800.5 s]
/proc/loadavg: 2.23 2.14 2.12 3/183 11541
/proc/meminfo: memFree=23629564/32872528 swapFree=11740/941760
[pid=11462] ppid=11459 vsize=2195012 CPUtime=1800.09 cores=0,2,4,6
/proc/11462/stat : 11462 (toysat) R 11459 11462 9951 0 -1 4202496 489418 0 0 0 179902 107 0 0 20 0 4 0 8955692 2247692288 490036 33554432000 4194304 16246674 140734965224496 140734965223672 13780624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11462/statm: 548753 490036 902 2943 0 545647 0
[pid=11462/tid=11463] ppid=11459 vsize=2195012 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11463/stat : 11463 (toysat) S 11459 11462 9951 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 8955692 2247692288 490036 33554432000 4194304 16246674 140734965224496 140539706977520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11462/tid=11464] ppid=11459 vsize=2195012 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11464/stat : 11464 (toysat) S 11459 11462 9951 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8955692 2247692288 490036 33554432000 4194304 16246674 140734965224496 140539696487664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11462/tid=11465] ppid=11459 vsize=2195012 CPUtime=0 cores=0,2,4,6
/proc/11462/task/11465/stat : 11465 (toysat) S 11459 11462 9951 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8955692 2247692288 490036 33554432000 4194304 16246674 140734965224496 140539584310448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2195012

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.13
CPU user time (s): 1799.03
CPU system time (s): 1.09783
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 2195012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.09783
maximum resident set size= 1960144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 489418
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= 213
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.83726 second user time and 6.90495 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-30 11:44:44
IDJOB=4119951
IDBENCH=111824
IDSOLVER=2542
FILE ID=node113/4119951-1467279883
RUNJOBID= node113-1467279883-11429
PBS_JOBID= 20004491
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm99p-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-4119951-1467279883/watcher-4119951-1467279883 -o /tmp/evaluation-result-4119951-1467279883/solver-4119951-1467279883 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1467279883-11429 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119951-1467279883.opb

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

MD5SUM BENCH= 4dfa909155a817e1d19c3b8b4e58f199
RANDOM SEED=1559350590

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26776432 kB
Buffers:          111944 kB
Cached:          4204256 kB
SwapCached:            0 kB
Active:          2929584 kB
Inactive:        1459004 kB
Active(anon):      69780 kB
Inactive(anon):     5656 kB
Active(file):    2859804 kB
Inactive(file):  1453348 kB
Unevictable:      941760 kB
Mlocked:           11740 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             36116 kB
Writeback:             0 kB
AnonPages:       1011132 kB
Mapped:            15060 kB
Shmem:               204 kB
Slab:             630228 kB
SReclaimable:      73928 kB
SUnreclaim:       556300 kB
KernelStack:        1384 kB
PageTables:         7652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2072500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    935936 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= 71700 MiB
End job on node113 at 2016-06-30 12:14:44