Trace number 4101025

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-scsd6.opb
MD5SUMbfb5077d5eeff8f757a286c0037df437
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40500
Total number of constraints147
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints147
Minimum length of a constraint600
Maximum length of a constraint1200
Number of terms in the objective function 40500
Biggest coefficient in the objective function 395
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 558134
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 24156
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 558134
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T05:29:09+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-4101025-1466220549.opb"]
0.00/0.01	c use --random-gen="522907398 2621888066 1397649337 2168042147 376445388 2775693906 621018023 2868939791 3967037209 3614153821 3872426631 2130673755 128644178 1419719288 1835200802 1647571487 2693012320 3977492257 1545439990 3717892919 566835548 2969313097 616972689 3308863672 4218860738 2689812016 3500754076 1500219358 3165979301 3711301095 148316397 821990847 3914979585 1694263428 2700217195 1355464177 2251323771 2538348301 2609277048 1596646424 2408797137 2710447613 443590181 313451133 2248688102 957161326 2486944024 3837186248 3859794185 3312343754 2716396876 1859100512 1030500105 2176125369 544713938 2906406659 870591391 2038482131 1890856658 742093766 170093254 292064412 2747957586 3659790787 2719046676 116958049 3621413224 1170105935 2528752714 4140153728 302016906 1144141711 2090269506 689396771 3793455729 3461004365 2642399849 4044823530 1358297187 3840196039 1198510945 3650760309 2181357920 3050477606 500274157 767449461 2069292719 3806121325 250245930 1862229299 1210056763 2441429831 2365712309 704724308 1788804228 1906910635 2563517945 1709861833 3307033686 3142921276 2066909025 934786754 3879388267 3487968002 966637115 3158799373 1407021753 3909431746 2328251006 3735835042 2157245325 3582097303 210725298 2611252446 1279144207 426080887 3337748327 619017935 406078178 4004222871 1875897766 315200937 1871015126 1266466153 1358531598 2230664577 2991585261 3572693550 3757081519 2182504416 3337432408 3765378752 3336911609 2129642126 543776080 3129429002 3767138626 1471050452 1814318190 3528376940 4092882403 531233543 3434825251 68067985 2199941075 2890043284 4199400142 950426197 1466790722 259457891 4120176043 2861684912 1129752095 1179991199 1339105552 3894033052 3341519827 3044057799 1120921000 4166480846 792605633 2086196149 1777898440 4070373619 2586371217 712095749 3820965476 1061726880 1786950029 2636019126 442489716 3998797840 3051898702 3053785896 216161925 1901321373 2254887627 3218349272 1143841837 3578584343 2336235869 4052490827 3410297024 4127143069 1231764429 4069982851 3253982243 4122532597 701201747 661059820 2477372170 4194405083 3861818855 874816628 2817155334 861323625 3897960254 2610712203 1197869756 2026531005 4124652336 2834819791 1251704480 1312149818 1304887506 3091697118 2297978504 3534995142 19361961 2384055546 879598539 227575288 3483860515 427010468 2711006838 3018774466 3207442884 2818786539 2056428349 2891791496 4129201683 4284723150 4025174717 2657836294 180911406 1048058074 1455018704 600558974 2336696938 1990072996 1030492307 4039640243 1490838118 340409814 1324732890 3770941601 636893572 3463715967 2748160558 3825017231 2109331959 3404152545 2330789725 1980573443 1782848836 2114616352 1020647561 2768441243 2480101758 3420367332 793826651 2236514513 1555503750 358653841 2086768439 925563884 255 362436" option to reproduce the execution
0.28/0.33	c #vars 40500
0.28/0.33	c #constraints 147
1.29/1.39	c BCD2: Hardening is enabled.
1.29/1.39	c BCD2: BiasedSearch is enabled.
1.29/1.39	c Solving starts ...
1.29/1.39	c ============================[ Search Statistics ]============================
1.29/1.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.29/1.39	c       |         |          |          |    Limit     GC | Var      | Constra 
1.29/1.39	c =============================================================================
1.39/1.40	c  0.0s |       0 |        0 |        0 |    13598      0 |        0 |        0
7.29/7.39	c  6.0s |       0 |    20203 |      100 |    13598      0 |        0 |        0
7.39/7.42	c  6.0s |       1 |    20203 |      100 |    13598      0 |        0 |        0
9.68/9.72	c  8.3s |       2 |    44211 |      250 |    14958      0 |        0 |        0
13.39/13.47	c 12.1s |       2 |    57659 |      450 |    16454      0 |        0 |        0
13.88/13.97	c 12.6s |       3 |    57966 |      475 |    16454      0 |        0 |        0
15.88/15.98	c 14.6s |       3 |    84160 |      675 |    18100      0 |        0 |        0
17.18/17.23	c 15.8s |       4 |    84301 |      813 |    18100      0 |        0 |        0
19.28/19.33	c 17.9s |       4 |   119978 |     1213 |    19910      0 |        0 |        0
20.68/20.77	c 19.4s |       5 |   120198 |     1320 |    19910      0 |        0 |        0
22.89/22.90	c 21.5s |       5 |   122636 |     1920 |    21901      0 |        0 |        0
23.29/23.39	c 22.0s |       6 |   122801 |     2081 |    24092      0 |        0 |        0
25.39/25.45	c 24.1s |       6 |   126649 |     2281 |    24092      0 |        0 |        0
27.48/27.54	c 26.1s |       6 |   126850 |     2481 |    24092      0 |        0 |        0
31.18/31.22	c 29.8s |       6 |   128058 |     2681 |    24092      0 |        0 |        0
33.88/33.95	c 32.6s |       6 |   128413 |     2881 |    24092      0 |        0 |        0
35.98/36.08	c 34.7s |       6 |   128612 |     3081 |    24092      0 |        0 |        0
37.68/37.76	c 36.4s |       7 |   128753 |     3223 |    26502      0 |        0 |        0
40.28/40.39	c 39.0s |       7 |   133436 |     3323 |    26502      0 |        0 |        0
43.58/43.63	c 42.2s |       7 |   133544 |     3423 |    26502      0 |        0 |        0
46.98/47.01	c 45.6s |       7 |   133648 |     3523 |    26502      0 |        0 |        0
50.49/50.51	c 49.1s |       7 |   133743 |     3623 |    26502      0 |        0 |        0
53.99/54.01	c 52.6s |       7 |   133843 |     3723 |    26502      0 |        0 |        0
57.48/57.54	c 56.1s |       7 |   133943 |     3823 |    26502      0 |        0 |        0
59.98/60.02	c 58.6s |       7 |   136124 |     3923 |    26502      0 |        0 |        0
62.18/62.23	c 60.8s |       7 |   144799 |     4123 |    26502      0 |        0 |        0
64.28/64.34	c 62.9s |       7 |   144996 |     4323 |    26502      0 |        0 |        0
66.48/66.52	c 65.1s |       7 |   145194 |     4523 |    26502      0 |        0 |        0
68.68/68.72	c 67.3s |       7 |   145393 |     4723 |    26502      0 |        0 |        0
70.88/70.93	c 69.5s |       7 |   145591 |     4923 |    29153      0 |        0 |        0
71.08/71.11	c 69.7s |       8 |   145606 |     4936 |    29153      0 |        0 |        0
73.08/73.12	c 71.7s |       8 |   147062 |     5736 |    29153      0 |        0 |        0
75.28/75.34	c 73.9s |       8 |   147986 |     6636 |    29153      0 |        0 |        0
77.28/77.35	c 75.9s |       8 |   148822 |     7436 |    29153      0 |        0 |        0
77.48/77.53	c 76.1s |       9 |   148898 |     7506 |    32069      0 |        0 |        0
79.47/79.57	c 78.2s |       9 |   150036 |     8106 |    32069      0 |        0 |        0
81.87/81.90	c 80.5s |       9 |   150759 |     8806 |    32069      0 |        0 |        0
83.87/83.92	c 82.5s |       9 |   151364 |     9406 |    32069      0 |        0 |        0
85.88/85.94	c 84.5s |       9 |   151989 |    10006 |    32069      0 |        0 |        0
88.18/88.27	c 86.9s |       9 |   152697 |    10706 |    32069      0 |        0 |        0
90.28/90.31	c 88.9s |       9 |   153317 |    11306 |    35276      0 |        0 |        0
90.47/90.50	c 89.1s |      10 |   153377 |    11361 |    35276      0 |        0 |        0
92.77/92.80	c 91.4s |      10 |   159216 |    11661 |    35276      0 |        0 |        0
95.67/95.72	c 94.3s |      10 |   159515 |    11961 |    35276      0 |        0 |        0
98.48/98.56	c 97.2s |      10 |   159818 |    12261 |    35276      0 |        0 |        0
101.38/101.43	c  100s |      10 |   160122 |    12561 |    35276      0 |        0 |        0
104.18/104.22	c  102s |      10 |   160421 |    12861 |    35276      0 |        0 |        0
106.98/107.05	c  105s |      10 |   160720 |    13161 |    35276      0 |        0 |        0
109.88/109.97	c  108s |      10 |   161020 |    13461 |    35276      0 |        0 |        0
112.77/112.89	c  111s |      10 |   161317 |    13761 |    35276      0 |        0 |        0
115.77/115.84	c  114s |      10 |   161623 |    14061 |    35276      0 |        0 |        0
117.78/117.85	c  116s |      10 |   161820 |    14261 |    35276      0 |        0 |        0
120.77/120.83	c  119s |      10 |   162120 |    14561 |    35276      0 |        0 |        0
123.67/123.76	c  122s |      10 |   162426 |    14861 |    35276      0 |        0 |        0
126.67/126.71	c  125s |      10 |   162729 |    15161 |    35276      0 |        0 |        0
129.57/129.68	c  128s |      10 |   163030 |    15461 |    35276      0 |        0 |        0
132.57/132.64	c  131s |      10 |   163326 |    15761 |    35276      0 |        0 |        0
135.57/135.60	c  134s |      10 |   163630 |    16061 |    35276      0 |        0 |        0
137.58/137.63	c  136s |      10 |   163831 |    16261 |    35276      0 |        0 |        0
139.57/139.66	c  138s |      10 |   164033 |    16461 |    35276      0 |        0 |        0
141.57/141.68	c  140s |      10 |   164236 |    16661 |    35276      0 |        0 |        0
144.57/144.69	c  143s |      10 |   164536 |    16961 |    35276      0 |        0 |        0
146.47/146.57	c  145s |      11 |   164716 |    17144 |    38804      0 |        0 |        0
149.47/149.52	c  148s |      11 |   165786 |    17344 |    38804      0 |        0 |        0
151.57/151.60	c  150s |      11 |   165996 |    17544 |    38804      0 |        0 |        0
153.57/153.65	c  152s |      11 |   166216 |    17744 |    38804      0 |        0 |        0
155.67/155.71	c  154s |      11 |   166439 |    17944 |    38804      0 |        0 |        0
157.66/157.76	c  156s |      11 |   166655 |    18144 |    38804      0 |        0 |        0
159.76/159.85	c  158s |      11 |   166862 |    18344 |    38804      0 |        0 |        0
162.76/162.81	c  161s |      11 |   167177 |    18644 |    38804      0 |        0 |        0
164.86/164.94	c  163s |      11 |   167390 |    18844 |    38804      0 |        0 |        0
166.96/167.09	c  165s |      11 |   167615 |    19044 |    38804      0 |        0 |        0
169.16/169.28	c  167s |      11 |   167836 |    19244 |    38804      0 |        0 |        0
171.36/171.44	c  170s |      11 |   168059 |    19444 |    38804      0 |        0 |        0
173.56/173.66	c  172s |      11 |   168281 |    19644 |    38804      0 |        0 |        0
175.77/175.89	c  174s |      11 |   168512 |    19844 |    38804      0 |        0 |        0
178.06/178.10	c  176s |      11 |   168752 |    20044 |    38804      0 |        0 |        0
180.26/180.33	c  178s |      11 |   168983 |    20244 |    38804      0 |        0 |        0
182.46/182.55	c  181s |      11 |   169210 |    20444 |    38804      0 |        0 |        0
184.66/184.79	c  183s |      11 |   169444 |    20644 |    38804      0 |        0 |        0
186.86/187.00	c  185s |      11 |   169665 |    20844 |    38804      0 |        0 |        0
189.16/189.28	c  187s |      11 |   169886 |    21044 |    38804      0 |        0 |        0
191.47/191.55	c  190s |      11 |   170120 |    21244 |    38804      0 |        0 |        0
193.77/193.90	c  192s |      11 |   170345 |    21444 |    38804      0 |        0 |        0
196.06/196.11	c  194s |      11 |   170576 |    21644 |    38804      0 |        0 |        0
198.26/198.36	c  196s |      11 |   170810 |    21844 |    38804      0 |        0 |        0
200.46/200.57	c  199s |      11 |   171035 |    22044 |    38804      0 |        0 |        0
202.76/202.81	c  201s |      11 |   171266 |    22244 |    38804      0 |        0 |        0
204.96/205.03	c  203s |      11 |   171481 |    22444 |    38804      0 |        0 |        0
207.06/207.17	c  205s |      11 |   171700 |    22644 |    38804      0 |        0 |        0
209.26/209.38	c  207s |      11 |   171924 |    22844 |    38804      0 |        0 |        0
211.55/211.63	c  210s |      11 |   172155 |    23044 |    38804      0 |        0 |        0
213.75/213.85	c  212s |      11 |   172387 |    23244 |    38804      0 |        0 |        0
215.85/215.93	c  214s |      11 |   172606 |    23444 |    38804      0 |        0 |        0
218.05/218.18	c  216s |      11 |   172823 |    23644 |    38804      0 |        0 |        0
220.35/220.41	c  219s |      11 |   173046 |    23844 |    38804      0 |        0 |        0
222.45/222.52	c  221s |      11 |   173261 |    24044 |    38804      0 |        0 |        0
224.65/224.79	c  223s |      11 |   173485 |    24244 |    38804      0 |        0 |        0
226.95/227.07	c  225s |      11 |   173723 |    24444 |    38804      0 |        0 |        0
229.25/229.34	c  227s |      11 |   173943 |    24644 |    38804      0 |        0 |        0
231.55/231.60	c  230s |      11 |   174158 |    24844 |    38804      0 |        0 |        0
233.85/233.91	c  232s |      11 |   174381 |    25044 |    38804      0 |        0 |        0
236.15/236.25	c  234s |      11 |   174618 |    25244 |    38804      0 |        0 |        0
238.45/238.56	c  237s |      11 |   174845 |    25444 |    38804      0 |        0 |        0
240.65/240.79	c  239s |      11 |   175047 |    25644 |    38804      0 |        0 |        0
242.55/242.69	c  241s |      12 |   175230 |    25819 |    42685      0 |        0 |        0
245.35/245.46	c  244s |      12 |   176161 |    25919 |    42685      0 |        0 |        0
248.25/248.32	c  246s |      12 |   176357 |    26119 |    42685      0 |        0 |        0
251.25/251.32	c  249s |      12 |   176554 |    26319 |    42685      0 |        0 |        0
254.35/254.48	c  253s |      12 |   176765 |    26519 |    42685      0 |        0 |        0
257.64/257.75	c  256s |      12 |   176966 |    26719 |    42685      0 |        0 |        0
261.04/261.11	c  259s |      12 |   177144 |    26919 |    42685      0 |        0 |        0
264.44/264.58	c  263s |      12 |   177338 |    27119 |    42685      0 |        0 |        0
268.04/268.16	c  266s |      12 |   177548 |    27319 |    42685      0 |        0 |        0
271.76/271.90	c  270s |      12 |   177716 |    27519 |    42685      0 |        0 |        0
275.55/275.65	c  274s |      12 |   177955 |    27719 |    42685      0 |        0 |        0
279.35/279.46	c  278s |      12 |   178145 |    27919 |    42685      0 |        0 |        0
281.35/281.47	c  280s |      12 |   178210 |    28019 |    42685      0 |        0 |        0
285.35/285.41	c  284s |      12 |   178411 |    28219 |    42685      0 |        0 |        0
289.25/289.39	c  287s |      12 |   178621 |    28419 |    42685      0 |        0 |        0
291.45/291.52	c  290s |      12 |   178766 |    28519 |    42685      0 |        0 |        0
295.45/295.56	c  294s |      12 |   178917 |    28719 |    42685      0 |        0 |        0
298.54/298.67	c  297s |      12 |   179173 |    28919 |    42685      0 |        0 |        0
301.64/301.78	c  300s |      12 |   179353 |    29119 |    42685      0 |        0 |        0
304.94/305.04	c  303s |      12 |   179564 |    29319 |    42685      0 |        0 |        0
308.34/308.45	c  307s |      12 |   179744 |    29519 |    42685      0 |        0 |        0
311.84/311.95	c  310s |      12 |   179951 |    29719 |    42685      0 |        0 |        0
315.54/315.61	c  314s |      12 |   180135 |    29919 |    42685      0 |        0 |        0
319.24/319.35	c  317s |      12 |   180333 |    30119 |    42685      0 |        0 |        0
322.94/323.09	c  321s |      12 |   180549 |    30319 |    42685      0 |        0 |        0
326.94/327.03	c  325s |      12 |   180780 |    30519 |    42685      0 |        0 |        0
330.84/330.92	c  329s |      12 |   180964 |    30719 |    42685      0 |        0 |        0
332.84/332.97	c  331s |      12 |   181027 |    30819 |    42685      0 |        0 |        0
336.93/337.06	c  335s |      12 |   181223 |    31019 |    42685      0 |        0 |        0
338.94/339.06	c  337s |      12 |   181359 |    31119 |    42685      0 |        0 |        0
341.04/341.18	c  339s |      12 |   181428 |    31219 |    42685      0 |        0 |        0
343.13/343.28	c  341s |      12 |   181573 |    31319 |    42685      0 |        0 |        0
345.33/345.49	c  344s |      12 |   181645 |    31419 |    42685      0 |        0 |        0
347.53/347.68	c  346s |      12 |   181720 |    31519 |    42685      0 |        0 |        0
349.63/349.73	c  348s |      12 |   181869 |    31619 |    42685      0 |        0 |        0
351.73/351.84	c  350s |      12 |   181945 |    31719 |    42685      0 |        0 |        0
353.93/354.07	c  352s |      12 |   182022 |    31819 |    42685      0 |        0 |        0
356.03/356.17	c  354s |      12 |   182179 |    31919 |    42685      0 |        0 |        0
358.13/358.26	c  356s |      12 |   182256 |    32019 |    42685      0 |        0 |        0
360.33/360.47	c  359s |      12 |   182332 |    32119 |    42685      0 |        0 |        0
362.53/362.67	c  361s |      12 |   182483 |    32219 |    42685      0 |        0 |        0
364.63/364.76	c  363s |      12 |   182556 |    32319 |    42685      0 |        0 |        0
366.83/366.98	c  365s |      12 |   182629 |    32419 |    42685      0 |        0 |        0
369.03/369.10	c  367s |      12 |   182771 |    32519 |    42685      0 |        0 |        0
371.13/371.26	c  369s |      12 |   182840 |    32619 |    42685      0 |        0 |        0
373.33/373.44	c  372s |      12 |   182975 |    32719 |    42685      0 |        0 |        0
375.43/375.57	c  374s |      12 |   183041 |    32819 |    42685      0 |        0 |        0
377.63/377.76	c  376s |      12 |   183170 |    32919 |    42685      0 |        0 |        0
379.83/379.92	c  378s |      12 |   183233 |    33019 |    42685      0 |        0 |        0
381.93/382.07	c  380s |      12 |   183356 |    33119 |    42685      0 |        0 |        0
384.23/384.31	c  382s |      12 |   183475 |    33219 |    42685      0 |        0 |        0
386.33/386.45	c  385s |      12 |   183533 |    33319 |    42685      0 |        0 |        0
388.53/388.61	c  387s |      12 |   183646 |    33419 |    42685      0 |        0 |        0
390.63/390.79	c  389s |      12 |   183755 |    33519 |    42685      0 |        0 |        0
392.83/392.96	c  391s |      12 |   183860 |    33619 |    42685      0 |        0 |        0
395.03/395.14	c  393s |      12 |   183962 |    33719 |    42685      0 |        0 |        0
397.13/397.29	c  395s |      12 |   184060 |    33819 |    42685      0 |        0 |        0
399.33/399.44	c  398s |      12 |   184153 |    33919 |    42685      0 |        0 |        0
401.53/401.61	c  400s |      12 |   184242 |    34019 |    42685      0 |        0 |        0
403.62/403.80	c  402s |      12 |   184327 |    34119 |    42685      0 |        0 |        0
405.82/405.94	c  404s |      12 |   184448 |    34219 |    42685      0 |        0 |        0
408.02/408.14	c  406s |      12 |   184559 |    34319 |    42685      0 |        0 |        0
410.12/410.27	c  408s |      12 |   184628 |    34419 |    42685      0 |        0 |        0
412.32/412.43	c  411s |      12 |   184724 |    34519 |    42685      0 |        0 |        0
414.42/414.55	c  413s |      12 |   184839 |    34619 |    42685      0 |        0 |        0
416.52/416.69	c  415s |      12 |   184937 |    34719 |    42685      0 |        0 |        0
418.72/418.82	c  417s |      12 |   185038 |    34819 |    42685      0 |        0 |        0
420.82/420.94	c  419s |      12 |   185126 |    34919 |    42685      0 |        0 |        0
424.02/424.18	c  422s |      12 |   185404 |    35119 |    42685      0 |        0 |        0
426.93/427.05	c  425s |      12 |   185586 |    35319 |    42685      0 |        0 |        0
429.92/430.07	c  428s |      12 |   185782 |    35519 |    42685      0 |        0 |        0
433.12/433.23	c  431s |      12 |   185989 |    35719 |    42685      0 |        0 |        0
436.32/436.49	c  435s |      12 |   186190 |    35919 |    42685      0 |        0 |        0
439.72/439.89	c  438s |      12 |   186368 |    36119 |    42685      0 |        0 |        0
443.23/443.37	c  441s |      12 |   186564 |    36319 |    42685      0 |        0 |        0
446.73/446.88	c  445s |      12 |   186774 |    36519 |    42685      0 |        0 |        0
450.42/450.54	c  449s |      12 |   187003 |    36719 |    42685      0 |        0 |        0
454.12/454.21	c  452s |      12 |   187184 |    36919 |    42685      0 |        0 |        0
457.82/457.99	c  456s |      12 |   187376 |    37119 |    42685      0 |        0 |        0
461.72/461.84	c  460s |      12 |   187575 |    37319 |    42685      0 |        0 |        0
463.82/463.92	c  462s |      12 |   187712 |    37419 |    42685      0 |        0 |        0
467.82/467.96	c  466s |      12 |   187854 |    37619 |    42685      0 |        0 |        0
469.92/470.08	c  468s |      12 |   188000 |    37719 |    42685      0 |        0 |        0
472.03/472.16	c  470s |      12 |   188076 |    37819 |    42685      0 |        0 |        0
474.23/474.35	c  472s |      12 |   188151 |    37919 |    42685      0 |        0 |        0
476.43/476.51	c  475s |      12 |   188305 |    38019 |    42685      0 |        0 |        0
478.42/478.60	c  477s |      12 |   188383 |    38119 |    42685      0 |        0 |        0
480.62/480.80	c  479s |      12 |   188463 |    38219 |    42685      0 |        0 |        0
482.92/483.08	c  481s |      12 |   224448 |    38619 |    46954      0 |        0 |        0
484.02/484.18	c  482s |      13 |   224675 |    38832 |    46954      0 |        0 |        0
487.51/487.61	c  486s |      13 |   230937 |    38932 |    46954      0 |        0 |        0
490.11/490.28	c  488s |      13 |   231123 |    39132 |    46954      0 |        0 |        0
493.01/493.15	c  491s |      13 |   231316 |    39332 |    46954      0 |        0 |        0
495.81/495.92	c  494s |      13 |   231534 |    39532 |    46954      0 |        0 |        0
498.51/498.68	c  497s |      13 |   231744 |    39732 |    46954      0 |        0 |        0
501.41/501.56	c  500s |      13 |   231938 |    39932 |    46954      0 |        0 |        0
504.31/504.45	c  503s |      13 |   232118 |    40132 |    46954      0 |        0 |        0
507.22/507.33	c  505s |      13 |   232320 |    40332 |    46954      0 |        0 |        0
510.11/510.22	c  508s |      13 |   232537 |    40532 |    46954      0 |        0 |        0
513.01/513.10	c  511s |      13 |   232722 |    40732 |    46954      0 |        0 |        0
515.61/515.76	c  514s |      13 |   232938 |    40932 |    46954      0 |        0 |        0
518.31/518.42	c  517s |      13 |   233142 |    41132 |    46954      0 |        0 |        0
521.01/521.12	c  519s |      13 |   233334 |    41332 |    46954      0 |        0 |        0
523.72/523.86	c  522s |      13 |   233539 |    41532 |    46954      0 |        0 |        0
526.51/526.62	c  525s |      13 |   233746 |    41732 |    46954      0 |        0 |        0
529.31/529.42	c  528s |      13 |   233940 |    41932 |    46954      0 |        0 |        0
532.11/532.27	c  530s |      13 |   234133 |    42132 |    46954      0 |        0 |        0
535.01/535.11	c  533s |      13 |   234345 |    42332 |    46954      0 |        0 |        0
537.91/538.01	c  536s |      13 |   234533 |    42532 |    46954      0 |        0 |        0
540.80/540.92	c  539s |      13 |   234736 |    42732 |    46954      0 |        0 |        0
543.70/543.81	c  542s |      13 |   234948 |    42932 |    46954      0 |        0 |        0
546.60/546.71	c  545s |      13 |   235140 |    43132 |    46954      0 |        0 |        0
549.50/549.68	c  548s |      13 |   235339 |    43332 |    46954      0 |        0 |        0
552.50/552.62	c  551s |      13 |   235552 |    43532 |    46954      0 |        0 |        0
555.40/555.52	c  554s |      13 |   235752 |    43732 |    46954      0 |        0 |        0
558.30/558.47	c  557s |      13 |   235945 |    43932 |    46954      0 |        0 |        0
561.30/561.42	c  560s |      13 |   236161 |    44132 |    46954      0 |        0 |        0
564.31/564.42	c  563s |      13 |   236346 |    44332 |    46954      0 |        0 |        0
567.30/567.40	c  565s |      13 |   236556 |    44532 |    46954      0 |        0 |        0
570.30/570.42	c  569s |      13 |   236755 |    44732 |    46954      0 |        0 |        0
573.30/573.42	c  572s |      13 |   236951 |    44932 |    46954      0 |        0 |        0
576.30/576.49	c  575s |      13 |   237171 |    45132 |    46954      0 |        0 |        0
579.40/579.56	c  578s |      13 |   237361 |    45332 |    46954      0 |        0 |        0
582.40/582.53	c  581s |      13 |   237578 |    45532 |    46954      0 |        0 |        0
585.10/585.26	c  583s |      13 |   237768 |    45732 |    46954      0 |        0 |        0
587.99/588.11	c  586s |      13 |   237966 |    45932 |    46954      0 |        0 |        0
590.80/590.94	c  589s |      13 |   238167 |    46132 |    46954      0 |        0 |        0
593.40/593.59	c  592s |      13 |   238375 |    46332 |    46954      0 |        0 |        0
596.10/596.21	c  594s |      13 |   238574 |    46532 |    46954      0 |        0 |        0
598.80/598.90	c  597s |      13 |   238772 |    46732 |    46954      0 |        0 |        0
601.50/601.67	c  600s |      13 |   238971 |    46932 |    46954      0 |        0 |        0
604.40/604.50	c  603s |      13 |   239176 |    47132 |    46954      0 |        0 |        0
607.21/607.32	c  605s |      13 |   239367 |    47332 |    46954      0 |        0 |        0
610.00/610.18	c  608s |      13 |   239572 |    47532 |    46954      0 |        0 |        0
612.90/613.08	c  611s |      13 |   239775 |    47732 |    46954      0 |        0 |        0
615.80/615.98	c  614s |      13 |   239977 |    47932 |    46954      0 |        0 |        0
618.80/618.96	c  617s |      13 |   240165 |    48132 |    46954      0 |        0 |        0
621.80/621.94	c  620s |      13 |   240373 |    48332 |    46954      0 |        0 |        0
624.70/624.89	c  623s |      13 |   240570 |    48532 |    46954      0 |        0 |        0
627.79/627.92	c  626s |      13 |   240769 |    48732 |    46954      0 |        0 |        0
630.79/630.94	c  629s |      13 |   240975 |    48932 |    46954      0 |        0 |        0
633.89/634.01	c  632s |      13 |   241174 |    49132 |    46954      0 |        0 |        0
636.90/637.08	c  635s |      13 |   241384 |    49332 |    46954      0 |        0 |        0
639.99/640.18	c  638s |      13 |   241572 |    49532 |    46954      0 |        0 |        0
643.09/643.29	c  641s |      13 |   241775 |    49732 |    46954      0 |        0 |        0
646.29/646.46	c  645s |      13 |   241971 |    49932 |    46954      0 |        0 |        0
649.39/649.59	c  648s |      13 |   242192 |    50132 |    46954      0 |        0 |        0
652.59/652.77	c  651s |      13 |   242376 |    50332 |    46954      0 |        0 |        0
655.79/655.92	c  654s |      13 |   242577 |    50532 |    46954      0 |        0 |        0
658.99/659.16	c  657s |      13 |   242792 |    50732 |    46954      0 |        0 |        0
662.19/662.33	c  660s |      13 |   242981 |    50932 |    46954      0 |        0 |        0
665.39/665.54	c  664s |      13 |   243198 |    51132 |    46954      0 |        0 |        0
668.69/668.85	c  667s |      13 |   243387 |    51332 |    46954      0 |        0 |        0
671.99/672.13	c  670s |      13 |   243575 |    51532 |    46954      0 |        0 |        0
675.18/675.39	c  673s |      13 |   243784 |    51732 |    46954      0 |        0 |        0
678.38/678.58	c  677s |      13 |   243992 |    51932 |    46954      0 |        0 |        0
681.48/681.60	c  680s |      13 |   244205 |    52132 |    46954      0 |        0 |        0
684.38/684.55	c  683s |      13 |   244396 |    52332 |    46954      0 |        0 |        0
687.38/687.53	c  686s |      13 |   244603 |    52532 |    46954      0 |        0 |        0
690.18/690.38	c  688s |      13 |   244799 |    52732 |    46954      0 |        0 |        0
692.99/693.13	c  691s |      13 |   244995 |    52932 |    46954      0 |        0 |        0
695.88/696.02	c  694s |      13 |   245197 |    53132 |    46954      0 |        0 |        0
698.78/698.96	c  697s |      13 |   245393 |    53332 |    46954      0 |        0 |        0
704.38/704.55	c  703s |      13 |   245597 |    53532 |    46954      1 |        0 |        0
707.38/707.56	c  706s |      13 |   245794 |    53732 |    46954      1 |        0 |        0
710.48/710.68	c  709s |      13 |   246010 |    53932 |    46954      1 |        0 |        0
713.58/713.74	c  712s |      13 |   246193 |    54132 |    46954      1 |        0 |        0
716.78/716.98	c  715s |      13 |   246397 |    54332 |    46954      1 |        0 |        0
719.98/720.15	c  718s |      13 |   246593 |    54532 |    46954      1 |        0 |        0
723.08/723.24	c  721s |      13 |   246794 |    54732 |    46954      1 |        0 |        0
726.28/726.45	c  725s |      13 |   246996 |    54932 |    46954      1 |        0 |        0
729.58/729.72	c  728s |      13 |   247210 |    55132 |    46954      1 |        0 |        0
732.78/732.97	c  731s |      13 |   247395 |    55332 |    46954      1 |        0 |        0
736.08/736.28	c  734s |      13 |   247615 |    55532 |    46954      1 |        0 |        0
739.48/739.69	c  738s |      13 |   247802 |    55732 |    46954      1 |        0 |        0
742.78/742.99	c  741s |      13 |   247999 |    55932 |    46954      1 |        0 |        0
746.08/746.29	c  744s |      13 |   248197 |    56132 |    46954      1 |        0 |        0
749.48/749.68	c  748s |      13 |   248413 |    56332 |    46954      1 |        0 |        0
752.98/753.18	c  751s |      13 |   248595 |    56532 |    46954      1 |        0 |        0
756.28/756.47	c  755s |      13 |   248804 |    56732 |    46954      1 |        0 |        0
759.57/759.75	c  758s |      13 |   249012 |    56932 |    46954      1 |        0 |        0
762.77/762.98	c  761s |      13 |   249219 |    57132 |    46954      1 |        0 |        0
765.97/766.19	c  764s |      13 |   249410 |    57332 |    46954      1 |        0 |        0
768.98/769.14	c  767s |      13 |   249617 |    57532 |    46954      1 |        0 |        0
771.77/771.97	c  770s |      13 |   249820 |    57732 |    46954      1 |        0 |        0
774.48/774.69	c  773s |      13 |   250016 |    57932 |    46954      1 |        0 |        0
777.27/777.47	c  776s |      13 |   250213 |    58132 |    51650      1 |        0 |        0
780.17/780.34	c  778s |      13 |   250417 |    58332 |    51650      1 |        0 |        0
780.47/780.63	c  779s |      14 |   250432 |    58352 |    51650      1 |        0 |        0
782.97/783.11	c  781s |      14 |   270820 |    58452 |    51650      1 |        0 |        0
784.97/785.15	c  783s |      14 |   272753 |    60352 |    51650      1 |        0 |        0
787.07/787.21	c  785s |      14 |   274262 |    61852 |    51650      1 |        0 |        0
789.17/789.30	c  787s |      14 |   275773 |    63352 |    51650      1 |        0 |        0
791.16/791.36	c  789s |      14 |   277174 |    64752 |    51650      1 |        0 |        0
793.26/793.46	c  792s |      14 |   278489 |    66052 |    51650      1 |        0 |        0
795.37/795.54	c  794s |      14 |   279693 |    67252 |    51650      1 |        0 |        0
797.36/797.58	c  796s |      14 |   280895 |    68452 |    51650      1 |        0 |        0
799.46/799.63	c  798s |      14 |   282099 |    69652 |    51650      1 |        0 |        0
801.56/801.72	c  800s |      14 |   283207 |    70752 |    51650      1 |        0 |        0
803.66/803.84	c  802s |      14 |   284322 |    71852 |    51650      1 |        0 |        0
805.76/805.92	c  804s |      14 |   285425 |    72952 |    51650      1 |        0 |        0
807.86/808.03	c  806s |      14 |   286532 |    74052 |    51650      1 |        0 |        0
810.06/810.21	c  808s |      14 |   287638 |    75152 |    51650      1 |        0 |        0
812.05/812.29	c  810s |      14 |   288640 |    76152 |    51650      1 |        0 |        0
814.15/814.39	c  812s |      14 |   289644 |    77152 |    51650      1 |        0 |        0
816.35/816.59	c  815s |      14 |   290645 |    78152 |    51650      1 |        0 |        0
818.65/818.81	c  817s |      14 |   291641 |    79152 |    51650      1 |        0 |        0
820.75/820.95	c  819s |      14 |   292651 |    80152 |    51650      1 |        0 |        0
822.95/823.15	c  821s |      14 |   293558 |    81052 |    51650      1 |        0 |        0
825.05/825.21	c  823s |      14 |   294473 |    81952 |    51650      1 |        0 |        0
827.15/827.36	c  825s |      14 |   295372 |    82852 |    51650      1 |        0 |        0
829.35/829.55	c  828s |      14 |   296287 |    83752 |    51650      1 |        0 |        0
833.24/833.44	c  832s |      14 |   296690 |    84152 |    51650      2 |        0 |        0
835.24/835.45	c  834s |      14 |   297501 |    84952 |    51650      2 |        0 |        0
837.34/837.59	c  836s |      14 |   298303 |    85752 |    51650      2 |        0 |        0
839.54/839.74	c  838s |      14 |   299205 |    86652 |    51650      2 |        0 |        0
841.54/841.75	c  840s |      14 |   300008 |    87452 |    56816      2 |        0 |        0
841.94/842.19	c  840s |      15 |   300194 |    87632 |    56816      2 |        0 |        0
844.14/844.34	c  842s |      15 |   334041 |    87832 |    56816      2 |        0 |        0
846.14/846.37	c  844s |      15 |   334452 |    88232 |    56816      2 |        0 |        0
848.23/848.48	c  847s |      15 |   334858 |    88632 |    56816      2 |        0 |        0
850.43/850.68	c  849s |      15 |   335257 |    89032 |    56816      2 |        0 |        0
852.63/852.83	c  851s |      15 |   335656 |    89432 |    56816      2 |        0 |        0
854.84/855.04	c  853s |      15 |   336062 |    89832 |    56816      2 |        0 |        0
857.04/857.27	c  855s |      15 |   336464 |    90232 |    56816      2 |        0 |        0
859.34/859.56	c  858s |      15 |   336862 |    90632 |    56816      2 |        0 |        0
861.53/861.76	c  860s |      15 |   337261 |    91032 |    56816      2 |        0 |        0
863.73/863.98	c  862s |      15 |   337665 |    91432 |    56816      2 |        0 |        0
865.93/866.13	c  864s |      15 |   338073 |    91832 |    56816      2 |        0 |        0
868.13/868.31	c  866s |      15 |   338474 |    92232 |    56816      2 |        0 |        0
870.33/870.53	c  869s |      15 |   338874 |    92632 |    56816      2 |        0 |        0
872.33/872.56	c  871s |      15 |   339283 |    93032 |    56816      2 |        0 |        0
874.44/874.70	c  873s |      15 |   339793 |    93532 |    56816      2 |        0 |        0
876.64/876.85	c  875s |      15 |   340395 |    94132 |    56816      2 |        0 |        0
878.94/879.11	c  877s |      15 |   340999 |    94732 |    56816      2 |        0 |        0
881.22/881.49	c  880s |      15 |   341603 |    95332 |    56816      2 |        0 |        0
883.62/883.84	c  882s |      15 |   342209 |    95932 |    56816      2 |        0 |        0
886.02/886.23	c  884s |      15 |   342804 |    96532 |    56816      2 |        0 |        0
888.02/888.29	c  886s |      15 |   343307 |    97032 |    56816      2 |        0 |        0
890.13/890.37	c  888s |      15 |   343811 |    97532 |    56816      2 |        0 |        0
892.52/892.71	c  891s |      15 |   344313 |    98032 |    56816      2 |        0 |        0
894.92/895.10	c  893s |      15 |   344920 |    98632 |    56816      2 |        0 |        0
896.92/897.15	c  895s |      15 |   345423 |    99132 |    56816      2 |        0 |        0
899.12/899.32	c  897s |      15 |   345925 |    99632 |    56816      2 |        0 |        0
901.22/901.47	c  900s |      15 |   346425 |   100132 |    56816      2 |        0 |        0
903.42/903.65	c  902s |      15 |   346926 |   100632 |    56816      2 |        0 |        0
905.82/906.01	c  904s |      15 |   347432 |   101132 |    56816      2 |        0 |        0
908.02/908.26	c  906s |      15 |   347935 |   101632 |    56816      2 |        0 |        0
910.22/910.49	c  909s |      15 |   348436 |   102132 |    56816      2 |        0 |        0
912.72/912.99	c  911s |      15 |   348937 |   102632 |    56816      2 |        0 |        0
914.72/914.99	c  913s |      15 |   349336 |   103032 |    56816      2 |        0 |        0
917.01/917.28	c  915s |      15 |   349840 |   103532 |    56816      2 |        0 |        0
919.32/919.58	c  918s |      15 |   350341 |   104032 |    56816      2 |        0 |        0
921.62/921.90	c  920s |      15 |   350839 |   104532 |    56816      2 |        0 |        0
924.03/924.28	c  922s |      15 |   351348 |   105032 |    56816      2 |        0 |        0
926.52/926.74	c  925s |      15 |   351852 |   105532 |    56816      2 |        0 |        0
928.51/928.75	c  927s |      15 |   352252 |   105932 |    56816      2 |        0 |        0
930.91/931.18	c  929s |      15 |   352756 |   106432 |    56816      2 |        0 |        0
933.41/933.66	c  932s |      15 |   353261 |   106932 |    56816      2 |        0 |        0
935.82/936.08	c  934s |      15 |   353760 |   107432 |    56816      2 |        0 |        0
937.82/938.09	c  936s |      15 |   354166 |   107832 |    56816      2 |        0 |        0
940.02/940.28	c  938s |      15 |   354570 |   108232 |    56816      2 |        0 |        0
942.11/942.30	c  940s |      15 |   354971 |   108632 |    56816      2 |        0 |        0
944.31/944.56	c  943s |      15 |   355376 |   109032 |    56816      2 |        0 |        0
946.71/946.90	c  945s |      15 |   355777 |   109432 |    56816      2 |        0 |        0
949.01/949.29	c  947s |      15 |   356278 |   109932 |    56816      2 |        0 |        0
951.11/951.31	c  949s |      15 |   356679 |   110332 |    56816      2 |        0 |        0
953.11/953.36	c  951s |      15 |   357083 |   110732 |    56816      2 |        0 |        0
955.21/955.43	c  954s |      15 |   357487 |   111132 |    56816      2 |        0 |        0
957.21/957.45	c  956s |      15 |   357889 |   111532 |    56816      2 |        0 |        0
959.21/959.46	c  958s |      15 |   358293 |   111932 |    56816      2 |        0 |        0
961.41/961.68	c  960s |      15 |   358694 |   112332 |    56816      2 |        0 |        0
963.51/963.78	c  962s |      15 |   359096 |   112732 |    56816      2 |        0 |        0
965.60/965.89	c  964s |      15 |   359500 |   113132 |    56816      2 |        0 |        0
967.91/968.13	c  966s |      15 |   359903 |   113532 |    56816      2 |        0 |        0
970.21/970.42	c  969s |      15 |   360309 |   113932 |    56816      2 |        0 |        0
972.70/972.90	c  971s |      15 |   360813 |   114432 |    56816      2 |        0 |        0
975.00/975.24	c  973s |      15 |   361212 |   114832 |    56816      2 |        0 |        0
977.40/977.67	c  976s |      15 |   361613 |   115232 |    56816      2 |        0 |        0
979.80/980.09	c  978s |      15 |   362114 |   115732 |    56816      2 |        0 |        0
981.99/982.20	c  980s |      15 |   362517 |   116132 |    56816      2 |        0 |        0
984.29/984.51	c  983s |      15 |   362918 |   116532 |    56816      2 |        0 |        0
986.39/986.62	c  985s |      15 |   363320 |   116932 |    56816      2 |        0 |        0
988.91/989.14	c  987s |      15 |   363819 |   117432 |    56816      2 |        0 |        0
991.10/991.31	c  989s |      15 |   364221 |   117832 |    56816      2 |        0 |        0
993.30/993.58	c  992s |      15 |   364622 |   118232 |    56816      2 |        0 |        0
995.49/995.74	c  994s |      15 |   365022 |   118632 |    56816      2 |        0 |        0
997.60/997.83	c  996s |      15 |   365332 |   118932 |    56816      2 |        0 |        0
999.59/999.87	c  998s |      15 |   365629 |   119232 |    56816      2 |        0 |        0
1002.18/1002.41	c 1001s |      15 |   366041 |   119632 |    56816      2 |        0 |        0
1004.49/1004.74	c 1003s |      15 |   366447 |   120032 |    56816      2 |        0 |        0
1006.69/1006.90	c 1005s |      15 |   366845 |   120432 |    56816      2 |        0 |        0
1008.89/1009.11	c 1007s |      15 |   367249 |   120832 |    56816      2 |        0 |        0
1011.18/1011.41	c 1010s |      15 |   367648 |   121232 |    56816      2 |        0 |        0
1013.38/1013.64	c 1012s |      15 |   368058 |   121632 |    56816      2 |        0 |        0
1015.68/1015.97	c 1014s |      15 |   368459 |   122032 |    56816      2 |        0 |        0
1018.18/1018.46	c 1017s |      15 |   368860 |   122432 |    56816      2 |        0 |        0
1020.57/1020.81	c 1019s |      15 |   369259 |   122832 |    56816      2 |        0 |        0
1022.67/1022.90	c 1021s |      15 |   369660 |   123232 |    56816      2 |        0 |        0
1024.97/1025.30	c 1023s |      15 |   370058 |   123632 |    56816      2 |        0 |        0
1027.47/1027.70	c 1026s |      15 |   370461 |   124032 |    56816      2 |        0 |        0
1029.97/1030.27	c 1028s |      15 |   370869 |   124432 |    56816      2 |        0 |        0
1032.08/1032.32	c 1030s |      15 |   371166 |   124732 |    56816      2 |        0 |        0
1034.57/1034.83	c 1033s |      15 |   371568 |   125132 |    56816      2 |        0 |        0
1037.08/1037.40	c 1035s |      15 |   371966 |   125532 |    56816      2 |        0 |        0
1039.68/1039.93	c 1038s |      15 |   372368 |   125932 |    56816      2 |        0 |        0
1042.17/1042.44	c 1041s |      15 |   372770 |   126332 |    56816      2 |        0 |        0
1044.57/1044.87	c 1043s |      15 |   373174 |   126732 |    56816      2 |        0 |        0
1046.67/1046.90	c 1045s |      15 |   373473 |   127032 |    56816      2 |        0 |        0
1049.38/1049.69	c 1048s |      15 |   373876 |   127432 |    56816      2 |        0 |        0
1051.57/1051.88	c 1050s |      15 |   374276 |   127832 |    56816      2 |        0 |        0
1053.77/1054.09	c 1052s |      15 |   374682 |   128232 |    56816      2 |        0 |        0
1056.06/1056.30	c 1054s |      15 |   375082 |   128632 |    56816      2 |        0 |        0
1058.66/1058.90	c 1057s |      15 |   375480 |   129032 |    56816      2 |        0 |        0
1061.16/1061.41	c 1060s |      15 |   375883 |   129432 |    56816      2 |        0 |        0
1063.26/1063.50	c 1062s |      15 |   376183 |   129732 |    56816      2 |        0 |        0
1065.66/1065.98	c 1064s |      15 |   376587 |   130132 |    56816      2 |        0 |        0
1067.76/1068.02	c 1066s |      15 |   376886 |   130432 |    56816      2 |        0 |        0
1069.96/1070.29	c 1068s |      15 |   377189 |   130732 |    62498      2 |        0 |        0
1072.37/1072.65	c 1071s |      15 |   377494 |   131032 |    62498      2 |        0 |        0
1074.66/1074.99	c 1073s |      15 |   377793 |   131332 |    62498      2 |        0 |        0
1076.25/1076.51	c 1075s |      16 |   378016 |   131552 |    62498      2 |        0 |        0
1082.76/1083.02	c 1081s |      16 |   378977 |   131652 |    62498      3 |        0 |        0
1084.85/1085.15	c 1083s |      16 |   413021 |   132052 |    62498      3 |        0 |        0
1087.05/1087.34	c 1085s |      16 |   414201 |   132552 |    62498      3 |        0 |        0
1089.05/1089.37	c 1087s |      16 |   415008 |   133352 |    62498      3 |        0 |        0
1091.16/1091.45	c 1090s |      16 |   415806 |   134152 |    62498      3 |        0 |        0
1093.36/1093.69	c 1092s |      16 |   416620 |   134952 |    62498      3 |        0 |        0
1095.95/1096.25	c 1094s |      16 |   417423 |   135752 |    62498      3 |        0 |        0
1097.95/1098.29	c 1096s |      16 |   418125 |   136452 |    62498      3 |        0 |        0
1100.15/1100.41	c 1099s |      16 |   418821 |   137152 |    62498      3 |        0 |        0
1102.35/1102.68	c 1101s |      16 |   419525 |   137852 |    62498      3 |        0 |        0
1104.65/1104.92	c 1103s |      16 |   420229 |   138552 |    62498      3 |        0 |        0
1106.95/1107.21	c 1105s |      16 |   421036 |   139352 |    62498      3 |        0 |        0
1108.95/1109.28	c 1107s |      16 |   421756 |   140052 |    62498      3 |        0 |        0
1111.15/1111.45	c 1110s |      16 |   422561 |   140852 |    62498      3 |        0 |        0
1113.24/1113.53	c 1112s |      16 |   423271 |   141552 |    62498      3 |        0 |        0
1115.45/1115.79	c 1114s |      16 |   424066 |   142352 |    62498      3 |        0 |        0
1117.65/1117.94	c 1116s |      16 |   424769 |   143052 |    62498      3 |        0 |        0
1119.84/1120.12	c 1118s |      16 |   425473 |   143752 |    62498      3 |        0 |        0
1122.15/1122.41	c 1121s |      16 |   426168 |   144452 |    62498      3 |        0 |        0
1124.75/1125.09	c 1123s |      16 |   427127 |   144952 |    62498      3 |        0 |        0
1127.55/1127.82	c 1126s |      16 |   427581 |   145252 |    62498      3 |        0 |        0
1130.05/1130.30	c 1128s |      16 |   427815 |   145452 |    62498      3 |        0 |        0
1132.25/1132.56	c 1131s |      16 |   428012 |   145652 |    62498      3 |        0 |        0
1135.34/1135.63	c 1134s |      16 |   428356 |   145852 |    62498      3 |        0 |        0
1137.44/1137.77	c 1136s |      16 |   428611 |   146052 |    62498      3 |        0 |        0
1139.95/1140.23	c 1138s |      16 |   428810 |   146252 |    62498      3 |        0 |        0
1142.95/1143.29	c 1141s |      16 |   429110 |   146552 |    62498      3 |        0 |        0
1145.34/1145.62	c 1144s |      16 |   429315 |   146752 |    62498      3 |        0 |        0
1148.24/1148.60	c 1147s |      16 |   429619 |   147052 |    62498      3 |        0 |        0
1150.55/1150.87	c 1149s |      16 |   429824 |   147252 |    62498      3 |        0 |        0
1153.14/1153.41	c 1152s |      16 |   430026 |   147452 |    62498      3 |        0 |        0
1155.64/1155.91	c 1154s |      16 |   430229 |   147652 |    62498      3 |        0 |        0
1157.84/1158.18	c 1156s |      16 |   430437 |   147852 |    62498      3 |        0 |        0
1161.04/1161.39	c 1159s |      16 |   430735 |   148152 |    62498      3 |        0 |        0
1164.04/1164.34	c 1162s |      16 |   431035 |   148452 |    62498      3 |        0 |        0
1166.44/1166.77	c 1165s |      16 |   431240 |   148652 |    62498      3 |        0 |        0
1169.34/1169.63	c 1168s |      16 |   431538 |   148952 |    62498      3 |        0 |        0
1171.54/1171.81	c 1170s |      16 |   431733 |   149152 |    62498      3 |        0 |        0
1173.84/1174.12	c 1172s |      16 |   431943 |   149352 |    62498      3 |        0 |        0
1176.74/1177.06	c 1175s |      16 |   432172 |   149552 |    62498      3 |        0 |        0
1179.84/1180.11	c 1178s |      16 |   432374 |   149752 |    62498      3 |        0 |        0
1181.84/1182.11	c 1180s |      16 |   432571 |   149952 |    62498      3 |        0 |        0
1183.94/1184.27	c 1182s |      16 |   432777 |   150152 |    62498      3 |        0 |        0
1186.75/1187.04	c 1185s |      16 |   433079 |   150452 |    62498      3 |        0 |        0
1189.05/1189.33	c 1187s |      16 |   433286 |   150652 |    62498      3 |        0 |        0
1191.14/1191.41	c 1190s |      16 |   433486 |   150852 |    62498      3 |        0 |        0
1193.94/1194.25	c 1192s |      16 |   433787 |   151152 |    62498      3 |        0 |        0
1196.44/1196.77	c 1195s |      16 |   433994 |   151352 |    62498      3 |        0 |        0
1199.14/1199.40	c 1197s |      16 |   434189 |   151552 |    62498      3 |        0 |        0
1201.33/1201.68	c 1200s |      16 |   434390 |   151752 |    62498      3 |        0 |        0
1204.23/1204.60	c 1203s |      16 |   434691 |   152052 |    62498      3 |        0 |        0
1206.54/1206.81	c 1205s |      16 |   434890 |   152252 |    62498      3 |        0 |        0
1209.53/1209.80	c 1208s |      16 |   435191 |   152552 |    62498      3 |        0 |        0
1212.04/1212.32	c 1210s |      16 |   435396 |   152752 |    62498      3 |        0 |        0
1214.94/1215.21	c 1213s |      16 |   435596 |   152952 |    62498      3 |        0 |        0
1217.93/1218.27	c 1216s |      16 |   435794 |   153152 |    62498      3 |        0 |        0
1220.33/1220.67	c 1219s |      16 |   435997 |   153352 |    62498      3 |        0 |        0
1223.14/1223.45	c 1222s |      16 |   436208 |   153552 |    62498      3 |        0 |        0
1226.23/1226.52	c 1225s |      16 |   436422 |   153752 |    62498      3 |        0 |        0
1229.03/1229.38	c 1227s |      16 |   436621 |   153952 |    62498      3 |        0 |        0
1232.03/1232.31	c 1230s |      16 |   436829 |   154152 |    62498      3 |        0 |        0
1234.93/1235.21	c 1233s |      16 |   437032 |   154352 |    62498      3 |        0 |        0
1237.63/1237.91	c 1236s |      16 |   437231 |   154552 |    62498      3 |        0 |        0
1240.52/1240.82	c 1239s |      16 |   437431 |   154752 |    62498      3 |        0 |        0
1243.94/1244.23	c 1242s |      16 |   437633 |   154952 |    62498      3 |        0 |        0
1247.03/1247.34	c 1245s |      16 |   437836 |   155152 |    62498      3 |        0 |        0
1250.23/1250.58	c 1249s |      16 |   438039 |   155352 |    62498      3 |        0 |        0
1253.33/1253.63	c 1252s |      16 |   438239 |   155552 |    62498      3 |        0 |        0
1256.63/1256.98	c 1255s |      16 |   438444 |   155752 |    62498      3 |        0 |        0
1259.43/1259.73	c 1258s |      16 |   438638 |   155952 |    62498      3 |        0 |        0
1261.63/1261.96	c 1260s |      16 |   438840 |   156152 |    62498      3 |        0 |        0
1264.02/1264.32	c 1262s |      16 |   439232 |   156352 |    62498      3 |        0 |        0
1266.92/1267.24	c 1265s |      16 |   439544 |   156652 |    62498      3 |        0 |        0
1269.83/1270.10	c 1268s |      16 |   439850 |   156952 |    62498      3 |        0 |        0
1272.63/1272.98	c 1271s |      16 |   440150 |   157252 |    62498      3 |        0 |        0
1275.22/1275.55	c 1274s |      16 |   440450 |   157552 |    62498      3 |        0 |        0
1278.33/1278.69	c 1277s |      16 |   440754 |   157852 |    62498      3 |        0 |        0
1280.92/1281.26	c 1279s |      16 |   441053 |   158152 |    62498      3 |        0 |        0
1283.53/1283.83	c 1282s |      16 |   441360 |   158452 |    62498      3 |        0 |        0
1286.22/1286.52	c 1285s |      16 |   441668 |   158752 |    62498      3 |        0 |        0
1289.13/1289.41	c 1288s |      16 |   441969 |   159052 |    62498      3 |        0 |        0
1291.61/1291.99	c 1290s |      16 |   442265 |   159352 |    62498      3 |        0 |        0
1294.22/1294.53	c 1293s |      16 |   442578 |   159652 |    62498      3 |        0 |        0
1296.62/1296.94	c 1295s |      16 |   442877 |   159952 |    62498      3 |        0 |        0
1299.22/1299.58	c 1298s |      16 |   443184 |   160252 |    62498      3 |        0 |        0
1301.52/1301.83	c 1300s |      16 |   443492 |   160552 |    62498      3 |        0 |        0
1304.21/1304.57	c 1303s |      16 |   443892 |   160952 |    62498      3 |        0 |        0
1306.42/1306.74	c 1305s |      16 |   444196 |   161252 |    62498      3 |        0 |        0
1308.62/1308.92	c 1307s |      16 |   444497 |   161552 |    62498      3 |        0 |        0
1310.92/1311.24	c 1309s |      16 |   444799 |   161852 |    62498      3 |        0 |        0
1313.33/1313.62	c 1312s |      16 |   445110 |   162152 |    62498      3 |        0 |        0
1315.52/1315.85	c 1314s |      16 |   445424 |   162452 |    62498      3 |        0 |        0
1318.01/1318.36	c 1316s |      16 |   445730 |   162752 |    62498      3 |        0 |        0
1320.42/1320.73	c 1319s |      16 |   446070 |   163052 |    62498      3 |        0 |        0
1322.51/1322.83	c 1321s |      16 |   446427 |   163352 |    62498      3 |        0 |        0
1326.31/1326.64	c 1325s |      16 |   447249 |   163752 |    62498      3 |        0 |        0
1329.02/1329.39	c 1327s |      16 |   447474 |   163952 |    62498      3 |        0 |        0
1331.11/1331.45	c 1330s |      16 |   447690 |   164152 |    62498      3 |        0 |        0
1333.51/1333.85	c 1332s |      16 |   447991 |   164452 |    62498      3 |        0 |        0
1335.90/1336.23	c 1334s |      16 |   448293 |   164752 |    62498      3 |        0 |        0
1338.31/1338.60	c 1337s |      16 |   448618 |   165052 |    62498      3 |        0 |        0
1340.30/1340.67	c 1339s |      16 |   448926 |   165352 |    62498      3 |        0 |        0
1342.30/1342.67	c 1341s |      16 |   449254 |   165652 |    62498      3 |        0 |        0
1344.61/1344.91	c 1343s |      16 |   449703 |   165952 |    62498      3 |        0 |        0
1346.70/1347.06	c 1345s |      16 |   450057 |   166252 |    62498      3 |        0 |        0
1349.21/1349.53	c 1348s |      16 |   450545 |   166552 |    62498      3 |        0 |        0
1351.30/1351.60	c 1350s |      16 |   450991 |   166852 |    62498      3 |        0 |        0
1353.40/1353.70	c 1352s |      16 |   451399 |   167152 |    62498      3 |        0 |        0
1355.40/1355.74	c 1354s |      16 |   451866 |   167452 |    62498      3 |        0 |        0
1357.61/1357.92	c 1356s |      16 |   452305 |   167752 |    62498      3 |        0 |        0
1359.80/1360.15	c 1358s |      16 |   452704 |   168052 |    62498      3 |        0 |        0
1362.50/1362.86	c 1361s |      16 |   453158 |   168352 |    62498      3 |        0 |        0
1364.70/1365.09	c 1363s |      16 |   453500 |   168652 |    62498      3 |        0 |        0
1367.10/1367.43	c 1366s |      16 |   453855 |   168952 |    62498      3 |        0 |        0
1369.31/1369.65	c 1368s |      16 |   454283 |   169252 |    62498      3 |        0 |        0
1371.40/1371.74	c 1370s |      16 |   454802 |   169552 |    62498      3 |        0 |        0
1374.20/1374.56	c 1373s |      16 |   455262 |   169852 |    62498      3 |        0 |        0
1376.80/1377.18	c 1375s |      16 |   455675 |   170152 |    62498      3 |        0 |        0
1379.50/1379.85	c 1378s |      16 |   456089 |   170452 |    62498      3 |        0 |        0
1382.09/1382.46	c 1381s |      16 |   456556 |   170752 |    62498      3 |        0 |        0
1384.30/1384.66	c 1383s |      16 |   456945 |   171052 |    62498      3 |        0 |        0
1386.79/1387.17	c 1385s |      16 |   457309 |   171352 |    62498      3 |        0 |        0
1389.00/1389.36	c 1387s |      16 |   457719 |   171652 |    62498      3 |        0 |        0
1391.31/1391.62	c 1390s |      16 |   458168 |   171952 |    62498      3 |        0 |        0
1393.60/1393.91	c 1392s |      16 |   458637 |   172252 |    62498      3 |        0 |        0
1395.90/1396.24	c 1394s |      16 |   459085 |   172552 |    62498      3 |        0 |        0
1398.70/1399.00	c 1397s |      16 |   459478 |   172852 |    62498      3 |        0 |        0
1401.20/1401.52	c 1400s |      16 |   459837 |   173152 |    62498      3 |        0 |        0
1403.40/1403.79	c 1402s |      16 |   460080 |   173352 |    62498      3 |        0 |        0
1406.09/1406.41	c 1405s |      16 |   460620 |   173652 |    62498      3 |        0 |        0
1408.69/1409.08	c 1407s |      16 |   461040 |   173952 |    62498      3 |        0 |        0
1411.29/1411.68	c 1410s |      16 |   461328 |   174152 |    62498      3 |        0 |        0
1413.40/1413.75	c 1412s |      16 |   461586 |   174352 |    62498      3 |        0 |        0
1415.99/1416.32	c 1414s |      16 |   461967 |   174652 |    62498      3 |        0 |        0
1418.48/1418.88	c 1417s |      16 |   462235 |   174852 |    62498      3 |        0 |        0
1422.39/1422.75	c 1421s |      16 |   462614 |   175152 |    62498      3 |        0 |        0
1425.28/1425.70	c 1424s |      16 |   462969 |   175452 |    62498      3 |        0 |        0
1427.89/1428.26	c 1426s |      16 |   463387 |   175752 |    62498      3 |        0 |        0
1430.28/1430.65	c 1429s |      16 |   464084 |   176252 |    62498      3 |        0 |        0
1432.69/1433.04	c 1431s |      16 |   464531 |   176652 |    62498      3 |        0 |        0
1434.89/1435.23	c 1433s |      16 |   464832 |   176952 |    62498      3 |        0 |        0
1437.49/1437.83	c 1436s |      16 |   465233 |   177352 |    62498      3 |        0 |        0
1439.99/1440.39	c 1438s |      16 |   465631 |   177752 |    62498      3 |        0 |        0
1442.68/1443.05	c 1441s |      16 |   466032 |   178152 |    62498      3 |        0 |        0
1444.69/1445.06	c 1443s |      16 |   466338 |   178452 |    62498      3 |        0 |        0
1446.78/1447.11	c 1445s |      16 |   466632 |   178752 |    62498      3 |        0 |        0
1448.78/1449.14	c 1447s |      16 |   466935 |   179052 |    62498      3 |        0 |        0
1451.38/1451.78	c 1450s |      16 |   467336 |   179452 |    62498      3 |        0 |        0
1453.68/1454.01	c 1452s |      16 |   467637 |   179752 |    62498      3 |        0 |        0
1455.78/1456.18	c 1454s |      16 |   467944 |   180052 |    62498      3 |        0 |        0
1457.98/1458.33	c 1456s |      16 |   468245 |   180352 |    62498      3 |        0 |        0
1460.08/1460.46	c 1459s |      16 |   468542 |   180652 |    62498      3 |        0 |        0
1462.28/1462.64	c 1461s |      16 |   468845 |   180952 |    62498      3 |        0 |        0
1464.47/1464.81	c 1463s |      16 |   469145 |   181252 |    62498      3 |        0 |        0
1466.58/1466.94	c 1465s |      16 |   469447 |   181552 |    62498      3 |        0 |        0
1468.58/1468.94	c 1467s |      16 |   469748 |   181852 |    62498      3 |        0 |        0
1470.68/1471.02	c 1469s |      16 |   470054 |   182152 |    62498      3 |        0 |        0
1473.37/1473.70	c 1472s |      16 |   470350 |   182452 |    62498      3 |        0 |        0
1475.38/1475.72	c 1474s |      16 |   470657 |   182752 |    62498      3 |        0 |        0
1477.37/1477.79	c 1476s |      16 |   470956 |   183052 |    62498      3 |        0 |        0
1479.48/1479.87	c 1478s |      16 |   471259 |   183352 |    62498      3 |        0 |        0
1481.77/1482.11	c 1480s |      16 |   471559 |   183652 |    62498      3 |        0 |        0
1483.97/1484.31	c 1482s |      16 |   471862 |   183952 |    62498      3 |        0 |        0
1486.17/1486.59	c 1485s |      16 |   472163 |   184252 |    62498      3 |        0 |        0
1488.67/1489.06	c 1487s |      16 |   472460 |   184552 |    62498      3 |        0 |        0
1490.87/1491.25	c 1489s |      16 |   472765 |   184852 |    62498      3 |        0 |        0
1493.18/1493.53	c 1492s |      16 |   473060 |   185152 |    62498      3 |        0 |        0
1495.37/1495.78	c 1494s |      16 |   473361 |   185452 |    62498      3 |        0 |        0
1497.67/1498.05	c 1496s |      16 |   473664 |   185752 |    62498      3 |        0 |        0
1499.97/1500.34	c 1498s |      16 |   473971 |   186052 |    62498      3 |        0 |        0
1502.17/1502.57	c 1501s |      16 |   474272 |   186352 |    62498      3 |        0 |        0
1504.27/1504.69	c 1503s |      16 |   474576 |   186652 |    62498      3 |        0 |        0
1506.47/1506.88	c 1505s |      16 |   474878 |   186952 |    62498      3 |        0 |        0
1508.67/1509.04	c 1507s |      16 |   475177 |   187252 |    62498      3 |        0 |        0
1511.18/1511.60	c 1510s |      16 |   475476 |   187552 |    62498      3 |        0 |        0
1513.57/1513.90	c 1512s |      16 |   475775 |   187852 |    62498      3 |        0 |        0
1515.77/1516.13	c 1514s |      16 |   476078 |   188152 |    62498      3 |        0 |        0
1518.16/1518.54	c 1517s |      16 |   476381 |   188452 |    62498      3 |        0 |        0
1520.47/1520.81	c 1519s |      16 |   476681 |   188752 |    62498      3 |        0 |        0
1528.07/1528.40	c 1527s |      16 |   476989 |   189052 |    62498      4 |        0 |        0
1530.27/1530.61	c 1529s |      16 |   477291 |   189352 |    62498      4 |        0 |        0
1532.76/1533.11	c 1531s |      16 |   477592 |   189652 |    62498      4 |        0 |        0
1534.86/1535.25	c 1533s |      16 |   477895 |   189952 |    62498      4 |        0 |        0
1537.06/1537.43	c 1536s |      16 |   478196 |   190252 |    62498      4 |        0 |        0
1539.27/1539.66	c 1538s |      16 |   478500 |   190552 |    62498      4 |        0 |        0
1541.47/1541.88	c 1540s |      16 |   478798 |   190852 |    62498      4 |        0 |        0
1543.77/1544.13	c 1542s |      16 |   479101 |   191152 |    62498      4 |        0 |        0
1546.56/1546.98	c 1545s |      16 |   479436 |   191452 |    62498      4 |        0 |        0
1549.57/1549.91	c 1548s |      16 |   479739 |   191752 |    62498      4 |        0 |        0
1551.76/1552.16	c 1550s |      16 |   480039 |   192052 |    62498      4 |        0 |        0
1554.17/1554.52	c 1553s |      16 |   480339 |   192352 |    62498      4 |        0 |        0
1556.66/1557.01	c 1555s |      16 |   480637 |   192652 |    62498      4 |        0 |        0
1559.46/1559.82	c 1558s |      16 |   480952 |   192952 |    62498      4 |        0 |        0
1562.26/1562.64	c 1561s |      16 |   481254 |   193252 |    62498      4 |        0 |        0
1564.66/1565.06	c 1563s |      16 |   481556 |   193552 |    62498      4 |        0 |        0
1567.06/1567.47	c 1566s |      16 |   481864 |   193852 |    62498      4 |        0 |        0
1569.65/1570.02	c 1568s |      16 |   482169 |   194152 |    62498      4 |        0 |        0
1572.25/1572.60	c 1571s |      16 |   482476 |   194452 |    62498      4 |        0 |        0
1575.06/1575.41	c 1574s |      16 |   482896 |   194752 |    62498      4 |        0 |        0
1577.17/1577.56	c 1576s |      16 |   483102 |   194952 |    62498      4 |        0 |        0
1579.86/1580.20	c 1578s |      16 |   483418 |   195252 |    62498      4 |        0 |        0
1582.56/1582.98	c 1581s |      16 |   483726 |   195552 |    62498      4 |        0 |        0
1585.26/1585.65	c 1584s |      16 |   484023 |   195852 |    62498      4 |        0 |        0
1587.85/1588.24	c 1586s |      16 |   484322 |   196152 |    68748      4 |        0 |        0
1589.96/1590.31	c 1588s |      16 |   484521 |   196352 |    68748      4 |        0 |        0
1592.66/1593.05	c 1591s |      16 |   484826 |   196652 |    68748      4 |        0 |        0
1594.76/1595.17	c 1593s |      16 |   485073 |   196852 |    68748      4 |        0 |        0
1597.65/1598.09	c 1596s |      16 |   485447 |   197152 |    68748      4 |        0 |        0
1599.76/1600.12	c 1598s |      16 |   485647 |   197352 |    68748      4 |        0 |        0
1600.56/1600.97	c 1599s |      17 |   485728 |   197432 |    68748      4 |        0 |        0
1604.85/1605.26	c 1603s |      17 |   487661 |   197532 |    68748      4 |        0 |        0
1606.96/1607.34	c 1605s |      17 |   521098 |   197832 |    68748      4 |        0 |        0
1609.06/1609.45	c 1608s |      17 |   521824 |   198332 |    68748      4 |        0 |        0
1611.26/1611.61	c 1610s |      17 |   522725 |   199232 |    68748      4 |        0 |        0
1613.36/1613.75	c 1612s |      17 |   523625 |   200132 |    68748      4 |        0 |        0
1615.56/1615.92	c 1614s |      17 |   524532 |   201032 |    68748      4 |        0 |        0
1617.55/1617.98	c 1616s |      17 |   525339 |   201832 |    68748      4 |        0 |        0
1619.65/1620.07	c 1618s |      17 |   526138 |   202632 |    68748      4 |        0 |        0
1621.95/1622.30	c 1620s |      17 |   527045 |   203532 |    68748      4 |        0 |        0
1624.05/1624.43	c 1623s |      17 |   527847 |   204332 |    68748      4 |        0 |        0
1626.25/1626.64	c 1625s |      17 |   528651 |   205132 |    68748      4 |        0 |        0
1628.44/1628.81	c 1627s |      17 |   529456 |   205932 |    68748      4 |        0 |        0
1630.64/1631.01	c 1629s |      17 |   530259 |   206732 |    68748      4 |        0 |        0
1632.75/1633.16	c 1631s |      17 |   530959 |   207432 |    68748      4 |        0 |        0
1635.35/1635.74	c 1634s |      17 |   531515 |   207932 |    68748      4 |        0 |        0
1637.55/1638.00	c 1636s |      17 |   532177 |   208532 |    68748      4 |        0 |        0
1639.64/1640.05	c 1638s |      17 |   532780 |   209132 |    68748      4 |        0 |        0
1641.94/1642.34	c 1640s |      17 |   533486 |   209832 |    68748      4 |        0 |        0
1644.55/1644.91	c 1643s |      17 |   541977 |   210432 |    68748      4 |        0 |        0
1646.55/1646.98	c 1645s |      17 |   543287 |   211332 |    68748      4 |        0 |        0
1648.64/1649.03	c 1647s |      17 |   543964 |   211932 |    68748      4 |        0 |        0
1650.95/1651.37	c 1649s |      17 |   544618 |   212532 |    68748      4 |        0 |        0
1653.04/1653.41	c 1652s |      17 |   545266 |   213132 |    68748      4 |        0 |        0
1655.14/1655.55	c 1654s |      17 |   545896 |   213732 |    68748      4 |        0 |        0
1657.24/1657.65	c 1656s |      17 |   546530 |   214332 |    68748      4 |        0 |        0
1659.34/1659.71	c 1658s |      17 |   547158 |   214932 |    68748      4 |        0 |        0
1661.44/1661.82	c 1660s |      17 |   547802 |   215532 |    68748      4 |        0 |        0
1663.44/1663.84	c 1662s |      17 |   548460 |   216132 |    68748      4 |        0 |        0
1665.54/1665.92	c 1664s |      17 |   549105 |   216732 |    68748      4 |        0 |        0
1667.64/1668.02	c 1666s |      17 |   549648 |   217232 |    68748      4 |        0 |        0
1669.94/1670.33	c 1668s |      17 |   550416 |   217932 |    68748      4 |        0 |        0
1672.03/1672.40	c 1670s |      17 |   551083 |   218532 |    68748      4 |        0 |        0
1674.34/1674.71	c 1673s |      17 |   551872 |   219232 |    68748      4 |        0 |        0
1676.34/1676.74	c 1675s |      17 |   552528 |   219832 |    68748      4 |        0 |        0
1678.44/1678.82	c 1677s |      17 |   553178 |   220432 |    68748      4 |        0 |        0
1680.55/1680.96	c 1679s |      17 |   553799 |   221032 |    68748      4 |        0 |        0
1682.63/1683.10	c 1681s |      17 |   554448 |   221632 |    68748      4 |        0 |        0
1684.84/1685.28	c 1683s |      17 |   555078 |   222232 |    68748      4 |        0 |        0
1687.03/1687.49	c 1686s |      17 |   555736 |   222832 |    68748      4 |        0 |        0
1689.34/1689.73	c 1688s |      17 |   556390 |   223432 |    68748      4 |        0 |        0
1691.64/1692.04	c 1690s |      17 |   557038 |   224032 |    68748      4 |        0 |        0
1693.93/1694.38	c 1692s |      17 |   557689 |   224632 |    68748      4 |        0 |        0
1696.13/1696.58	c 1695s |      17 |   558347 |   225232 |    68748      4 |        0 |        0
1698.44/1698.89	c 1697s |      17 |   559003 |   225832 |    68748      4 |        0 |        0
1700.83/1701.27	c 1699s |      17 |   559641 |   226432 |    68748      4 |        0 |        0
1703.03/1703.43	c 1702s |      17 |   560271 |   226932 |    68748      4 |        0 |        0
1705.33/1705.75	c 1704s |      17 |   560900 |   227532 |    68748      4 |        0 |        0
1707.73/1708.12	c 1706s |      17 |   561532 |   228132 |    68748      4 |        0 |        0
1709.84/1710.21	c 1708s |      17 |   561952 |   228532 |    68748      4 |        0 |        0
1711.83/1712.26	c 1710s |      17 |   562483 |   229032 |    68748      4 |        0 |        0
1714.13/1714.56	c 1713s |      17 |   563117 |   229632 |    68748      4 |        0 |        0
1716.33/1716.79	c 1715s |      17 |   563749 |   230232 |    68748      4 |        0 |        0
1718.73/1719.12	c 1717s |      17 |   564392 |   230832 |    68748      4 |        0 |        0
1721.13/1721.50	c 1720s |      17 |   565028 |   231432 |    68748      4 |        0 |        0
1723.43/1723.87	c 1722s |      17 |   565655 |   232032 |    68748      4 |        0 |        0
1725.53/1725.92	c 1724s |      17 |   566184 |   232532 |    68748      4 |        0 |        0
1727.63/1728.03	c 1726s |      17 |   566709 |   233032 |    68748      4 |        0 |        0
1729.73/1730.13	c 1728s |      17 |   567244 |   233532 |    68748      4 |        0 |        0
1731.93/1732.30	c 1730s |      17 |   567777 |   234032 |    68748      4 |        0 |        0
1734.02/1734.45	c 1733s |      17 |   568301 |   234532 |    68748      4 |        0 |        0
1736.23/1736.66	c 1735s |      17 |   568939 |   235132 |    68748      4 |        0 |        0
1738.63/1739.07	c 1737s |      17 |   569565 |   235732 |    68748      4 |        0 |        0
1740.72/1741.16	c 1739s |      17 |   570097 |   236232 |    68748      4 |        0 |        0
1742.92/1743.33	c 1741s |      17 |   570621 |   236732 |    68748      4 |        0 |        0
1745.12/1745.50	c 1744s |      17 |   571154 |   237232 |    68748      4 |        0 |        0
1747.22/1747.67	c 1746s |      17 |   571686 |   237732 |    68748      4 |        0 |        0
1749.42/1749.83	c 1748s |      17 |   572115 |   238132 |    68748      4 |        0 |        0
1751.62/1752.03	c 1750s |      17 |   572639 |   238632 |    68748      4 |        0 |        0
1753.81/1754.28	c 1752s |      17 |   573165 |   239132 |    68748      4 |        0 |        0
1756.22/1756.68	c 1755s |      17 |   573690 |   239632 |    68748      4 |        0 |        0
1758.62/1759.09	c 1757s |      17 |   574216 |   240132 |    68748      4 |        0 |        0
1761.11/1761.53	c 1760s |      17 |   574740 |   240632 |    68748      4 |        0 |        0
1763.22/1763.70	c 1762s |      17 |   575195 |   241032 |    68748      4 |        0 |        0
1765.61/1766.02	c 1764s |      17 |   575635 |   241432 |    68748      4 |        0 |        0
1767.71/1768.18	c 1766s |      17 |   576062 |   241832 |    68748      4 |        0 |        0
1776.02/1776.43	c 1775s |      17 |   576168 |   241932 |    68748      5 |        0 |        0
1778.43/1778.82	c 1777s |      17 |   576613 |   242332 |    68748      5 |        0 |        0
1780.82/1781.27	c 1779s |      17 |   577050 |   242732 |    68748      5 |        0 |        0
1783.41/1783.81	c 1782s |      17 |   577481 |   243132 |    68748      5 |        0 |        0
1785.91/1786.32	c 1784s |      17 |   577912 |   243532 |    68748      5 |        0 |        0
1788.21/1788.67	c 1787s |      17 |   578262 |   243832 |    68748      5 |        0 |        0
1790.52/1790.94	c 1789s |      17 |   578786 |   244232 |    68748      5 |        0 |        0
1793.11/1793.51	c 1792s |      17 |   579292 |   244732 |    68748      5 |        0 |        0
1795.21/1795.63	c 1794s |      17 |   579692 |   245132 |    68748      5 |        0 |        0
1797.22/1797.67	c 1796s |      17 |   580101 |   245532 |    68748      5 |        0 |        0
1799.32/1799.73	c 1798s |      17 |   580504 |   245932 |    68748      5 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.22 2.24 3/179 19191
/proc/meminfo: memFree=27513248/32872528 swapFree=1459628/1655852
[pid=19191] ppid=19188 vsize=680380 CPUtime=0 cores=1,3,5,7
/proc/19191/stat : 19191 (toysat) R 19188 19191 16189 0 -1 4202496 2536 0 0 0 0 0 0 0 20 0 4 0 24100421 696709120 2385 33554432000 4194304 16246674 140734220333568 140734220332992 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19191/statm: 171119 2395 441 2943 0 168013 0
[pid=19191/tid=19192] ppid=19188 vsize=699836 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19192/stat : 19192 (toysat) S 19188 19191 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24100421 716632064 2457 33554432000 4194304 16246674 140734220333568 140718541614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19191/tid=19193] ppid=19188 vsize=703932 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19193/stat : 19193 (toysat) S 19188 19191 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24100421 720826368 2474 33554432000 4194304 16246674 140734220333568 140718531124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19191/tid=19194] ppid=19188 vsize=708028 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19194/stat : 19194 (toysat) S 19188 19191 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24100421 725020672 2488 33554432000 4194304 16246674 140734220333568 140718520650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100185 s]
/proc/loadavg: 2.12 2.22 2.24 3/179 19191
/proc/meminfo: memFree=27513248/32872528 swapFree=1459628/1655852
[pid=19191] ppid=19188 vsize=1301060 CPUtime=0.08 cores=1,3,5,7
/proc/19191/stat : 19191 (toysat) R 19188 19191 16189 0 -1 4202496 27410 0 0 0 5 3 0 0 20 0 4 0 24100421 1332285440 27198 33554432000 4194304 16246674 140734220333568 140734220332880 8056990 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19191/statm: 325265 27216 798 2943 0 322159 0
[pid=19191/tid=19192] ppid=19188 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19192/stat : 19192 (toysat) S 19188 19191 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24100421 1332285440 27228 33554432000 4194304 16246674 140734220333568 140718541614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19191/tid=19193] ppid=19188 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19193/stat : 19193 (toysat) S 19188 19191 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24100421 1332285440 27239 33554432000 4194304 16246674 140734220333568 140718531124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19191/tid=19194] ppid=19188 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19194/stat : 19194 (toysat) S 19188 19191 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24100421 1332285440 27250 33554432000 4194304 16246674 140734220333568 140718520650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1301060

[startup+0.200549 s]
/proc/loadavg: 2.12 2.22 2.24 3/179 19191
/proc/meminfo: memFree=27513248/32872528 swapFree=1459628/1655852
[pid=19191] ppid=19188 vsize=1311300 CPUtime=0.18 cores=1,3,5,7
/proc/19191/stat : 19191 (toysat) R 19188 19191 16189 0 -1 4202496 45216 0 0 0 12 6 0 0 20 0 4 0 24100421 1342771200 45514 33554432000 4194304 16246674 140734220333568 140734220332880 8055525 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19191/statm: 327825 45514 800 2943 0 324719 0
[pid=19191/tid=19192] ppid=19188 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19192/stat : 19192 (toysat) S 19188 19191 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24100421 1342771200 45514 33554432000 4194304 16246674 140734220333568 140718541614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19191/tid=19193] ppid=19188 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19193/stat : 19193 (toysat) S 19188 19191 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24100421 1342771200 45514 33554432000 4194304 16246674 140734220333568 140718531124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19191/tid=19194] ppid=19188 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19194/stat : 19194 (toysat) S 19188 19191 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24100421 1342771200 45514 33554432000 4194304 16246674 140734220333568 140718520650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1311300

[startup+0.300509 s]
/proc/loadavg: 2.12 2.22 2.24 3/179 19191
/proc/meminfo: memFree=27513248/32872528 swapFree=1459628/1655852
[pid=19191] ppid=19188 vsize=1312324 CPUtime=0.28 cores=1,3,5,7
/proc/19191/stat : 19191 (toysat) R 19188 19191 16189 0 -1 4202496 50966 0 0 0 21 7 0 0 20 0 4 0 24100421 1343819776 51264 33554432000 4194304 16246674 140734220333568 140734220332880 4220894 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19191/statm: 328081 51264 801 2943 0 324975 0
[pid=19191/tid=19192] ppid=19188 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19192/stat : 19192 (toysat) S 19188 19191 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24100421 1343819776 51264 33554432000 4194304 16246674 140734220333568 140718541614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19191/tid=19193] ppid=19188 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19193/stat : 19193 (toysat) S 19188 19191 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24100421 1343819776 51264 33554432000 4194304 16246674 140734220333568 140718531124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19191/tid=19194] ppid=19188 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19194/stat : 19194 (toysat) S 19188 19191 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24100421 1343819776 51264 33554432000 4194304 16246674 140734220333568 140718520650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1312324

[startup+0.700405 s]
/proc/loadavg: 2.12 2.22 2.24 3/179 19191
/proc/meminfo: memFree=27513248/32872528 swapFree=1459628/1655852
[pid=19191] ppid=19188 vsize=1325636 CPUtime=0.69 cores=1,3,5,7
/proc/19191/stat : 19191 (toysat) R 19188 19191 16189 0 -1 4202496 54328 0 0 0 61 8 0 0 20 0 4 0 24100421 1357451264 54626 33554432000 4194304 16246674 140734220333568 140734220332880 13790550 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19191/statm: 331409 54626 829 2943 0 328303 0
[pid=19191/tid=19192] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19192/stat : 19192 (toysat) S 19188 19191 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 54626 33554432000 4194304 16246674 140734220333568 140718541614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19191/tid=19193] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19193/stat : 19193 (toysat) S 19188 19191 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 54626 33554432000 4194304 16246674 140734220333568 140718531124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19191/tid=19194] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19194/stat : 19194 (toysat) S 19188 19191 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 54626 33554432000 4194304 16246674 140734220333568 140718520650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1325636

[startup+1.50038 s]
/proc/loadavg: 2.12 2.22 2.24 4/183 19195
/proc/meminfo: memFree=27295260/32872528 swapFree=1459628/1655852
[pid=19191] ppid=19188 vsize=1325636 CPUtime=1.49 cores=1,3,5,7
/proc/19191/stat : 19191 (toysat) R 19188 19191 16189 0 -1 4202496 54368 0 0 0 141 8 0 0 20 0 4 0 24100421 1357451264 54666 33554432000 4194304 16246674 140734220333568 140734220315456 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19191/statm: 331409 54666 867 2943 0 328303 0
[pid=19191/tid=19192] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19192/stat : 19192 (toysat) S 19188 19191 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 54666 33554432000 4194304 16246674 140734220333568 140718541614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19191/tid=19193] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19193/stat : 19193 (toysat) S 19188 19191 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 54666 33554432000 4194304 16246674 140734220333568 140718531124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19191/tid=19194] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19194/stat : 19194 (toysat) S 19188 19191 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 54666 33554432000 4194304 16246674 140734220333568 140718520650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1325636

[startup+3.10043 s]
/proc/loadavg: 2.12 2.22 2.24 4/183 19195
/proc/meminfo: memFree=27218380/32872528 swapFree=1459628/1655852
[pid=19191] ppid=19188 vsize=1325636 CPUtime=3.09 cores=1,3,5,7
/proc/19191/stat : 19191 (toysat) R 19188 19191 16189 0 -1 4202496 75318 0 0 0 298 11 0 0 20 0 4 0 24100421 1357451264 75616 33554432000 4194304 16246674 140734220333568 140734220315456 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19191/statm: 331409 75616 889 2943 0 328303 0
[pid=19191/tid=19192] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19192/stat : 19192 (toysat) S 19188 19191 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 75616 33554432000 4194304 16246674 140734220333568 140718541614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19191/tid=19193] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19193/stat : 19193 (toysat) S 19188 19191 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 75616 33554432000 4194304 16246674 140734220333568 140718531124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19191/tid=19194] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19194/stat : 19194 (toysat) S 19188 19191 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 75616 33554432000 4194304 16246674 140734220333568 140718520650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1325636

[startup+6.30042 s]
/proc/loadavg: 2.19 2.23 2.24 3/183 19195
/proc/meminfo: memFree=27211396/32872528 swapFree=1459628/1655852
[pid=19191] ppid=19188 vsize=1325636 CPUtime=6.29 cores=1,3,5,7
/proc/19191/stat : 19191 (toysat) R 19188 19191 16189 0 -1 4202496 75318 0 0 0 618 11 0 0 20 0 4 0 24100421 1357451264 75616 33554432000 4194304 16246674 140734220333568 140734220315456 13760258 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19191/statm: 331409 75616 889 2943 0 328303 0
[pid=19191/tid=19192] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19192/stat : 19192 (toysat) S 19188 19191 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 75616 33554432000 4194304 16246674 140734220333568 140718541614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19191/tid=19193] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19193/stat : 19193 (toysat) S 19188 19191 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 75616 33554432000 4194304 16246674 140734220333568 140718531124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19191/tid=19194] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19194/stat : 19194 (toysat) S 19188 19191 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 75616 33554432000 4194304 16246674 140734220333568 140718520650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1325636

[startup+12.7004 s]
/proc/loadavg: 2.18 2.23 2.24 3/183 19195
/proc/meminfo: memFree=27199148/32872528 swapFree=1459628/1655852
[pid=19191] ppid=19188 vsize=1325636 CPUtime=12.68 cores=1,3,5,7
/proc/19191/stat : 19191 (toysat) R 19188 19191 16189 0 -1 4202496 78321 0 0 0 1257 11 0 0 20 0 4 0 24100421 1357451264 78619 33554432000 4194304 16246674 140734220333568 140734220315456 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19191/statm: 331409 78619 889 2943 0 328303 0
[pid=19191/tid=19192] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19192/stat : 19192 (toysat) S 19188 19191 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 78619 33554432000 4194304 16246674 140734220333568 140718541614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19191/tid=19193] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19193/stat : 19193 (toysat) S 19188 19191 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 78619 33554432000 4194304 16246674 140734220333568 140718531124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19191/tid=19194] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19194/stat : 19194 (toysat) S 19188 19191 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 78619 33554432000 4194304 16246674 140734220333568 140718520650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1325636

[startup+25.5074 s]
/proc/loadavg: 2.29 2.25 2.25 3/183 19195
/proc/meminfo: memFree=26424404/32872528 swapFree=1459628/1655852
[pid=19191] ppid=19188 vsize=1325636 CPUtime=25.49 cores=1,3,5,7
/proc/19191/stat : 19191 (toysat) R 19188 19191 16189 0 -1 4202496 272088 0 0 0 2512 37 0 0 20 0 4 0 24100421 1357451264 272386 33554432000 4194304 16246674 140734220333568 140734220315456 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19191/statm: 331409 272386 889 2943 0 328303 0
[pid=19191/tid=19192] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19192/stat : 19192 (toysat) S 19188 19191 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 272386 33554432000 4194304 16246674 140734220333568 140718541614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19191/tid=19193] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19193/stat : 19193 (toysat) S 19188 19191 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 272386 33554432000 4194304 16246674 140734220333568 140718531124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19191/tid=19194] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19194/stat : 19194 (toysat) S 19188 19191 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 272386 33554432000 4194304 16246674 140734220333568 140718520650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1325636

[startup+51.1004 s]
/proc/loadavg: 2.32 2.26 2.25 3/183 19196
/proc/meminfo: memFree=26424408/32872528 swapFree=1459628/1655852
[pid=19191] ppid=19188 vsize=1325636 CPUtime=51.09 cores=1,3,5,7
/proc/19191/stat : 19191 (toysat) R 19188 19191 16189 0 -1 4202496 272091 0 0 0 5071 38 0 0 20 0 4 0 24100421 1357451264 272389 33554432000 4194304 16246674 140734220333568 140734220315456 6013144 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19191/statm: 331409 272389 892 2943 0 328303 0
[pid=19191/tid=19192] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19192/stat : 19192 (toysat) S 19188 19191 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 272389 33554432000 4194304 16246674 140734220333568 140718541614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19191/tid=19193] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19193/stat : 19193 (toysat) S 19188 19191 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 272389 33554432000 4194304 16246674 140734220333568 140718531124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19191/tid=19194] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19194/stat : 19194 (toysat) S 19188 19191 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 272389 33554432000 4194304 16246674 140734220333568 140718520650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1325636

[startup+102.3 s]
/proc/loadavg: 2.29 2.25 2.24 4/184 19200
/proc/meminfo: memFree=26424388/32872528 swapFree=1459628/1655852
[pid=19191] ppid=19188 vsize=1325636 CPUtime=102.28 cores=1,3,5,7
/proc/19191/stat : 19191 (toysat) R 19188 19191 16189 0 -1 4202496 272094 0 0 0 10189 39 0 0 20 0 4 0 24100421 1357451264 272392 33554432000 4194304 16246674 140734220333568 140734220332664 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19191/statm: 331409 272392 895 2943 0 328303 0
[pid=19191/tid=19192] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19192/stat : 19192 (toysat) S 19188 19191 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 272392 33554432000 4194304 16246674 140734220333568 140718541614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19191/tid=19193] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19193/stat : 19193 (toysat) S 19188 19191 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 272392 33554432000 4194304 16246674 140734220333568 140718531124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19191/tid=19194] ppid=19188 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19194/stat : 19194 (toysat) S 19188 19191 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24100421 1357451264 272392 33554432000 4194304 16246674 140734220333568 140718520650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1325636


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

/proc/19191/task/19192/stat : 19192 (toysat) S 19188 19191 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24100421 3043561472 683984 33554432000 4194304 16246674 140734220333568 140718541614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19191/tid=19193] ppid=19188 vsize=2972228 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19193/stat : 19193 (toysat) S 19188 19191 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24100421 3043561472 683984 33554432000 4194304 16246674 140734220333568 140718531124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19191/tid=19194] ppid=19188 vsize=2972228 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19194/stat : 19194 (toysat) S 19188 19191 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24100421 3043561472 683984 33554432000 4194304 16246674 140734220333568 140718520650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 2972228

[startup+1362.3 s]
/proc/loadavg: 2.15 2.17 2.21 3/183 19280
/proc/meminfo: memFree=24659180/32872528 swapFree=1459628/1655852
[pid=19191] ppid=19188 vsize=3120708 CPUtime=1362 cores=1,3,5,7
/proc/19191/stat : 19191 (toysat) R 19188 19191 16189 0 -1 4202496 720822 0 0 0 136002 198 0 0 20 0 4 0 24100421 3195604992 720946 33554432000 4194304 16246674 140734220333568 140734220331328 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19191/statm: 780177 720946 901 2943 0 777071 0
[pid=19191/tid=19192] ppid=19188 vsize=3120708 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19192/stat : 19192 (toysat) S 19188 19191 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24100421 3195604992 720946 33554432000 4194304 16246674 140734220333568 140718541614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19191/tid=19193] ppid=19188 vsize=3120708 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19193/stat : 19193 (toysat) S 19188 19191 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24100421 3195604992 720946 33554432000 4194304 16246674 140734220333568 140718531124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19191/tid=19194] ppid=19188 vsize=3120708 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19194/stat : 19194 (toysat) S 19188 19191 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24100421 3195604992 720946 33554432000 4194304 16246674 140734220333568 140718520650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 3120708

[startup+1422.3 s]
/proc/loadavg: 2.23 2.19 2.21 4/183 19281
/proc/meminfo: memFree=24518108/32872528 swapFree=1459628/1655852
[pid=19191] ppid=19188 vsize=3292740 CPUtime=1421.99 cores=1,3,5,7
/proc/19191/stat : 19191 (toysat) R 19188 19191 16189 0 -1 4202496 763876 0 0 0 141979 220 0 0 20 0 4 0 24100421 3371765760 763993 33554432000 4194304 16246674 140734220333568 140734220315456 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19191/statm: 823185 763993 901 2943 0 820079 0
[pid=19191/tid=19192] ppid=19188 vsize=3292740 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19192/stat : 19192 (toysat) S 19188 19191 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24100421 3371765760 763993 33554432000 4194304 16246674 140734220333568 140718541614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19191/tid=19193] ppid=19188 vsize=3292740 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19193/stat : 19193 (toysat) S 19188 19191 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24100421 3371765760 763993 33554432000 4194304 16246674 140734220333568 140718531124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19191/tid=19194] ppid=19188 vsize=3292740 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19194/stat : 19194 (toysat) S 19188 19191 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24100421 3371765760 763993 33554432000 4194304 16246674 140734220333568 140718520650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 3292740

[startup+1482.3 s]
/proc/loadavg: 2.16 2.18 2.20 3/183 19282
/proc/meminfo: memFree=24372796/32872528 swapFree=1459628/1655852
[pid=19191] ppid=19188 vsize=3405380 CPUtime=1481.97 cores=1,3,5,7
/proc/19191/stat : 19191 (toysat) R 19188 19191 16189 0 -1 4202496 792114 0 0 0 147957 240 0 0 20 0 4 0 24100421 3487109120 792218 33554432000 4194304 16246674 140734220333568 140734220315456 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19191/statm: 851345 792218 901 2943 0 848239 0
[pid=19191/tid=19192] ppid=19188 vsize=3405380 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19192/stat : 19192 (toysat) S 19188 19191 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24100421 3487109120 792218 33554432000 4194304 16246674 140734220333568 140718541614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19191/tid=19193] ppid=19188 vsize=3405380 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19193/stat : 19193 (toysat) S 19188 19191 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24100421 3487109120 792218 33554432000 4194304 16246674 140734220333568 140718531124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19191/tid=19194] ppid=19188 vsize=3405380 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19194/stat : 19194 (toysat) S 19188 19191 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24100421 3487109120 792218 33554432000 4194304 16246674 140734220333568 140718520650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 3405380

[startup+1542.3 s]
/proc/loadavg: 2.22 2.19 2.20 3/183 19283
/proc/meminfo: memFree=24231720/32872528 swapFree=1459628/1655852
[pid=19191] ppid=19188 vsize=3545668 CPUtime=1541.97 cores=1,3,5,7
/proc/19191/stat : 19191 (toysat) R 19188 19191 16189 0 -1 4202496 827256 0 0 0 153936 261 0 0 20 0 4 0 24100421 3630764032 827354 33554432000 4194304 16246674 140734220333568 140734220315456 5600010 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19191/statm: 886417 827354 901 2943 0 883311 0
[pid=19191/tid=19192] ppid=19188 vsize=3545668 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19192/stat : 19192 (toysat) S 19188 19191 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24100421 3630764032 827354 33554432000 4194304 16246674 140734220333568 140718541614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19191/tid=19193] ppid=19188 vsize=3545668 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19193/stat : 19193 (toysat) S 19188 19191 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24100421 3630764032 827354 33554432000 4194304 16246674 140734220333568 140718531124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19191/tid=19194] ppid=19188 vsize=3545668 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19194/stat : 19194 (toysat) S 19188 19191 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24100421 3630764032 827354 33554432000 4194304 16246674 140734220333568 140718520650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 3545668

[startup+1602.3 s]
/proc/loadavg: 2.18 2.18 2.20 3/183 19285
/proc/meminfo: memFree=24087668/32872528 swapFree=1459628/1655852
[pid=19191] ppid=19188 vsize=3689028 CPUtime=1601.95 cores=1,3,5,7
/proc/19191/stat : 19191 (toysat) R 19188 19191 16189 0 -1 4202496 863066 0 0 0 159913 282 0 0 20 0 4 0 24100421 3777564672 863161 33554432000 4194304 16246674 140734220333568 140734220315456 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19191/statm: 922257 863161 901 2943 0 919151 0
[pid=19191/tid=19192] ppid=19188 vsize=3689028 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19192/stat : 19192 (toysat) S 19188 19191 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24100421 3777564672 863161 33554432000 4194304 16246674 140734220333568 140718541614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19191/tid=19193] ppid=19188 vsize=3689028 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19193/stat : 19193 (toysat) S 19188 19191 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24100421 3777564672 863161 33554432000 4194304 16246674 140734220333568 140718531124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19191/tid=19194] ppid=19188 vsize=3689028 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19194/stat : 19194 (toysat) S 19188 19191 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24100421 3777564672 863161 33554432000 4194304 16246674 140734220333568 140718520650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 3689028

[startup+1662.31 s]
/proc/loadavg: 2.31 2.22 2.20 3/183 19286
/proc/meminfo: memFree=24043544/32872528 swapFree=1459628/1655852
[pid=19191] ppid=19188 vsize=3733060 CPUtime=1661.95 cores=1,3,5,7
/proc/19191/stat : 19191 (toysat) R 19188 19191 16189 0 -1 4202496 874172 0 0 0 165892 303 0 0 20 0 4 0 24100421 3822653440 874255 33554432000 4194304 16246674 140734220333568 140734220315456 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19191/statm: 933265 874255 901 2943 0 930159 0
[pid=19191/tid=19192] ppid=19188 vsize=3733060 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19192/stat : 19192 (toysat) S 19188 19191 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24100421 3822653440 874255 33554432000 4194304 16246674 140734220333568 140718541614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19191/tid=19193] ppid=19188 vsize=3733060 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19193/stat : 19193 (toysat) S 19188 19191 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24100421 3822653440 874255 33554432000 4194304 16246674 140734220333568 140718531124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19191/tid=19194] ppid=19188 vsize=3733060 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19194/stat : 19194 (toysat) S 19188 19191 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24100421 3822653440 874255 33554432000 4194304 16246674 140734220333568 140718520650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 3733060

[startup+1722.3 s]
/proc/loadavg: 2.27 2.22 2.20 3/183 19287
/proc/meminfo: memFree=23770528/32872528 swapFree=1459628/1655852
[pid=19191] ppid=19188 vsize=4006468 CPUtime=1721.93 cores=1,3,5,7
/proc/19191/stat : 19191 (toysat) R 19188 19191 16189 0 -1 4202496 942364 0 0 0 171867 326 0 0 20 0 4 0 24100421 4102623232 942444 33554432000 4194304 16246674 140734220333568 140734220315456 5600498 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19191/statm: 1001617 942444 901 2943 0 998511 0
[pid=19191/tid=19192] ppid=19188 vsize=4006468 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19192/stat : 19192 (toysat) S 19188 19191 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24100421 4102623232 942444 33554432000 4194304 16246674 140734220333568 140718541614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19191/tid=19193] ppid=19188 vsize=4006468 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19193/stat : 19193 (toysat) S 19188 19191 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24100421 4102623232 942444 33554432000 4194304 16246674 140734220333568 140718531124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19191/tid=19194] ppid=19188 vsize=4006468 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19194/stat : 19194 (toysat) S 19188 19191 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24100421 4102623232 942444 33554432000 4194304 16246674 140734220333568 140718520650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 4006468

[startup+1782.3 s]
/proc/loadavg: 2.23 2.22 2.20 3/183 19288
/proc/meminfo: memFree=23618316/32872528 swapFree=1459628/1655852
[pid=19191] ppid=19188 vsize=4152900 CPUtime=1781.91 cores=1,3,5,7
/proc/19191/stat : 19191 (toysat) R 19188 19191 16189 0 -1 4202496 978952 0 0 0 177848 343 0 0 20 0 4 0 24100421 4252569600 979013 33554432000 4194304 16246674 140734220333568 140734220315456 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19191/statm: 1038225 979013 901 2943 0 1035119 0
[pid=19191/tid=19192] ppid=19188 vsize=4152900 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19192/stat : 19192 (toysat) S 19188 19191 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24100421 4252569600 979013 33554432000 4194304 16246674 140734220333568 140718541614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19191/tid=19193] ppid=19188 vsize=4152900 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19193/stat : 19193 (toysat) S 19188 19191 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24100421 4252569600 979013 33554432000 4194304 16246674 140734220333568 140718531124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19191/tid=19194] ppid=19188 vsize=4152900 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19194/stat : 19194 (toysat) S 19188 19191 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24100421 4252569600 979013 33554432000 4194304 16246674 140734220333568 140718520650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 4152900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.16 2.21 2.20 3/183 19288
/proc/meminfo: memFree=23494548/32872528 swapFree=1459628/1655852
[pid=19191] ppid=19188 vsize=4276804 CPUtime=1800.01 cores=1,3,5,7
/proc/19191/stat : 19191 (toysat) R 19188 19191 16189 0 -1 4202496 1009890 0 0 0 179650 351 0 0 20 0 4 0 24100421 4379447296 1009950 33554432000 4194304 16246674 140734220333568 140734220315456 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19191/statm: 1069201 1009950 901 2943 0 1066095 0
[pid=19191/tid=19192] ppid=19188 vsize=4276804 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19192/stat : 19192 (toysat) S 19188 19191 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24100421 4379447296 1009950 33554432000 4194304 16246674 140734220333568 140718541614320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19191/tid=19193] ppid=19188 vsize=4276804 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19193/stat : 19193 (toysat) S 19188 19191 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24100421 4379447296 1009950 33554432000 4194304 16246674 140734220333568 140718531124464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19191/tid=19194] ppid=19188 vsize=4276804 CPUtime=0 cores=1,3,5,7
/proc/19191/task/19194/stat : 19194 (toysat) S 19188 19191 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24100421 4379447296 1009950 33554432000 4194304 16246674 140734220333568 140718520650928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 4276804

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

[startup+1800.5 s]
/proc/loadavg: 2.16 2.21 2.20 3/183 19288
/proc/meminfo: memFree=23494548/32872528 swapFree=1459628/1655852
[pid=19191] ppid=19188 vsize=0 CPUtime=1800.11 cores=1,3,5,7
/proc/19191/stat : 19191 (toysat) Z 19188 19191 16189 0 -1 4203532 1009890 0 0 0 179650 361 0 0 20 0 2 0 24100421 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19191/statm: 0 0 0 0 0 0 0
[pid=19191/tid=19193] ppid=19188 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/19191/task/19193/stat : 19193 (toysat) R 19188 19191 16189 0 -1 4203588 8 0 0 0 0 9 0 0 20 0 2 0 24100421 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.15
CPU user time (s): 1796.51
CPU system time (s): 3.63745
CPU usage (%): 99.9789
Max. virtual memory (cumulated for all children) (KiB): 4276804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.51
system time used= 3.63745
maximum resident set size= 4039800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1009890
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= 288
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.79627 second user time and 6.72498 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 05:29:09
IDJOB=4101025
IDBENCH=1691
IDSOLVER=2542
FILE ID=node136/4101025-1466220549
RUNJOBID= node136-1466206055-16206
PBS_JOBID= 19918141
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scsd6.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101025-1466220549/watcher-4101025-1466220549 -o /tmp/evaluation-result-4101025-1466220549/solver-4101025-1466220549 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16206 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101025-1466220549.opb

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

MD5SUM BENCH= bfb5077d5eeff8f757a286c0037df437
RANDOM SEED=2125728474

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27513884 kB
Buffers:          154920 kB
Cached:          1654256 kB
SwapCached:            0 kB
Active:          1287936 kB
Inactive:        1671612 kB
Active(anon):    1152808 kB
Inactive(anon):        0 kB
Active(file):     135128 kB
Inactive(file):  1671612 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             17872 kB
Writeback:             0 kB
AnonPages:       2805880 kB
Mapped:            16432 kB
Shmem:               204 kB
Slab:             609420 kB
SReclaimable:      53672 kB
SUnreclaim:       555748 kB
KernelStack:        1488 kB
PageTables:         9304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2941084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1331200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node136 at 2016-06-18 05:59:10