Trace number 4079823

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_7.opb
MD5SUM7da351a6b3346c83b923d96056c07b3e
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark109.001
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables12935
Total number of constraints47889
Number of constraints which are clauses47870
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints18
Minimum length of a constraint1
Maximum length of a constraint953
Number of terms in the objective function 953
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 953
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 984
Number of bits of the biggest sum of numbers10
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-07T00:23:00+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-4079823-1465251780.opb"]
0.00/0.01	c use --random-gen="1957154773 9660304 3747420842 3659081118 1180857235 3392991392 239229501 204906411 3632835414 654330093 3607221980 1721384792 3660269027 196029851 1088032030 444354186 4096728816 4005081423 1645018377 1524039396 1900779149 2134109113 911593522 3410987485 2529924876 3695519499 2462478656 1492016133 343869154 3303902833 2559465231 379674473 69687493 684621567 3082701706 3986654291 1617582617 38048958 71609650 1673895639 4031491374 1060381808 2153118650 1446070658 1160263764 3677090436 2991131260 393898644 2030166176 486466390 1060833951 383234605 2415441929 3962181543 115273173 4183840309 2458838460 2964439619 2093741988 300571009 3582429869 4266211937 3322154652 2426289846 3125656403 2328211105 2861676520 2761968428 3770812814 4066385662 3153373351 922218970 1506300647 4059617062 2026876863 968637947 3131336023 3507741757 2905365553 3613071987 1914158359 1534526554 3830344392 1685166970 25983294 117611735 282935310 381413306 1597926872 2414232002 2805321852 3947833377 3366290620 3357917333 2733679535 3347084158 3705949906 4215945490 4022017983 2883487201 4039581090 2031224783 3034228891 1992548247 1419495673 3743590261 3619097191 104049526 431383868 1392335782 3608141185 3626896738 546011630 799576367 3442040528 594341474 3224213398 1568218405 1510162855 2191582240 724032409 2104241466 3772921688 2738279671 2789771430 2407181730 3143088597 1649693570 2886493720 2034075595 1839605412 3979102697 3002408823 1143781420 2392046807 4242708952 2820302273 1568696950 428796611 2562022931 3382266671 357737857 122103533 3976614371 2808529607 2903476035 1177241556 3159351138 835855332 393323379 648241131 990643508 2020425583 463579773 2873155149 2970662358 1933206007 3522793013 1260778634 4011458198 3163836123 3649175511 4181595928 964938008 61168525 3088225441 920276611 868069078 261526428 8182581 3386917730 496967123 2382749288 3697902260 605327751 1311937715 3335209577 2149995106 42111072 2637831818 3660316982 4115954486 992881914 1421736756 2146806278 3633622270 1431145844 3648763942 3681983251 2126978688 1741144506 955936045 1367007078 1611914902 2180424717 2455430614 4164247057 3148680913 2925422837 2924163724 857290198 3806874008 1086190666 2364082326 3066640195 2989755105 2388187993 2222271896 986347533 1440268768 1194114443 918555726 2451726766 3291431901 755455307 3125216182 2392782950 439157613 509890169 3344121178 2056069823 3039501572 1215174705 4189621954 2280849405 678803832 3594250165 1512585798 2191148956 1687618438 827201949 3854609568 1695657453 901694845 3500531325 3306723632 2787646018 1775571089 3840431939 3926487371 3768349821 777200513 3318048216 4254721107 93524424 3880319789 3223981925 631450809 1454373576 3771489821 3927547520 2381721648 3855410820 3364149766 1619981893 2610681115 255 362436" option to reproduce the execution
0.29/0.31	c #vars 12935
0.29/0.31	c #constraints 47889
0.99/1.04	c BCD2: Hardening is enabled.
0.99/1.04	c BCD2: BiasedSearch is enabled.
0.99/1.04	c Solving starts ...
0.99/1.04	c ============================[ Search Statistics ]============================
0.99/1.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.99/1.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.99/1.04	c =============================================================================
0.99/1.04	c  0.0s |       0 |        0 |        0 |    20273      0 |        5 |        0
1.89/1.96	c  0.9s |       1 |     2754 |      100 |    20273      0 |        5 |        0
3.29/3.36	c  2.3s |       2 |     3368 |      250 |    22301      0 |        5 |        0
5.38/5.44	c  4.4s |       3 |    10931 |      475 |    24532      0 |        5 |        0
7.48/7.52	c  6.5s |       4 |    20515 |      813 |    26986      0 |        5 |        0
10.08/10.17	c  9.1s |       4 |    30417 |     1113 |    29685      0 |        5 |        0
13.08/13.11	c 12.1s |       4 |    51643 |     1313 |    29685      0 |        5 |        0
13.08/13.15	c 12.1s |       5 |    51689 |     1320 |    29685      0 |        5 |        0
15.18/15.28	c 14.2s |       5 |    65595 |     1620 |    32654      0 |        5 |        0
17.78/17.87	c 16.8s |       5 |    75441 |     1920 |    32654      0 |        5 |        0
18.79/18.85	c 17.8s |       6 |    81327 |     2081 |    35920      0 |        5 |        0
20.98/21.04	c 20.0s |       6 |    92963 |     2381 |    35920      0 |        5 |        0
23.88/23.93	c 22.9s |       6 |   103539 |     2781 |    35920      0 |        5 |        0
26.08/26.18	c 25.1s |       6 |   113777 |     3081 |    35920      0 |        5 |        0
27.68/27.72	c 26.7s |       7 |   115032 |     3223 |    39512      0 |        5 |        0
29.98/30.04	c 29.0s |       7 |   124881 |     3523 |    39512      0 |        5 |        0
32.37/32.48	c 31.4s |       7 |   134210 |     3923 |    39512      0 |        5 |        0
34.67/34.78	c 33.7s |       7 |   138434 |     4223 |    39512      0 |        5 |        0
36.97/37.08	c 36.0s |       7 |   143267 |     4623 |    39512      0 |        5 |        0
39.27/39.30	c 38.3s |       7 |   151573 |     4923 |    43464      0 |        5 |        0
39.37/39.45	c 38.4s |       8 |   152195 |     4936 |    43464      0 |        5 |        0
42.27/42.33	c 41.3s |       8 |   162622 |     5236 |    43464      0 |        5 |        0
44.47/44.52	c 43.5s |       8 |   174161 |     5536 |    43464      0 |        5 |        0
46.77/46.83	c 45.8s |       8 |   191946 |     5736 |    43464      0 |        5 |        0
49.47/49.59	c 48.5s |       8 |   207761 |     5936 |    43464      0 |        5 |        0
52.37/52.42	c 51.4s |       8 |   213905 |     6136 |    43464      0 |        5 |        0
54.47/54.52	c 53.5s |       8 |   223406 |     6436 |    43464      0 |        5 |        0
57.77/57.89	c 56.9s |       8 |   243820 |     6736 |    43464      0 |        5 |        0
60.58/60.60	c 59.6s |       8 |   258550 |     6936 |    43464      0 |        5 |        0
62.57/62.63	c 61.6s |       8 |   265626 |     7136 |    43464      0 |        5 |        0
64.77/64.80	c 63.8s |       9 |   275201 |     7506 |    47811      0 |        5 |        0
68.07/68.10	c 67.1s |       9 |   296909 |     7706 |    47811      0 |        5 |        0
71.27/71.35	c 70.3s |       9 |   313242 |     7906 |    47811      0 |        5 |        0
73.68/73.77	c 72.7s |       9 |   322489 |     8206 |    47811      0 |        5 |        0
76.07/76.13	c 75.1s |       9 |   335967 |     8606 |    47811      0 |        5 |        0
78.27/78.38	c 77.3s |       9 |   353469 |     8906 |    47811      0 |        5 |        0
81.27/81.37	c 80.3s |       9 |   368802 |     9106 |    47811      0 |        5 |        0
83.47/83.54	c 82.5s |       9 |   377262 |     9306 |    47811      0 |        5 |        0
85.88/85.93	c 84.9s |       9 |   386196 |     9806 |    47811      0 |        5 |        0
88.37/88.49	c 87.4s |       9 |   391984 |    10306 |    47811      0 |        5 |        0
90.77/90.86	c 89.8s |       9 |   394798 |    10706 |    47811      0 |        5 |        0
93.67/93.75	c 92.7s |       9 |   406287 |    11006 |    47811      0 |        5 |        0
96.87/96.91	c 95.9s |       9 |   422803 |    11206 |    47811      0 |        5 |        0
98.26/98.33	c 97.3s |      10 |   432120 |    11361 |    52593      0 |        5 |        0
100.96/101.02	c 100.0s |      10 |   448084 |    11661 |    52593      0 |        5 |        0
104.47/104.51	c  103s |      10 |   467455 |    11861 |    52593      0 |        5 |        0
106.77/106.81	c  105s |      10 |   477863 |    12061 |    52593      0 |        5 |        0
109.06/109.14	c  108s |      10 |   488489 |    12361 |    52593      0 |        5 |        0
112.17/112.27	c  111s |      10 |   505166 |    12661 |    52593      0 |        5 |        0
115.47/115.52	c  114s |      10 |   527193 |    12861 |    52593      0 |        5 |        0
117.86/117.96	c  116s |      10 |   538044 |    13061 |    52593      0 |        5 |        0
120.06/120.18	c  119s |      10 |   547563 |    13361 |    52593      0 |        5 |        0
122.86/122.98	c  121s |      10 |   558490 |    13661 |    52593      0 |        5 |        0
125.46/125.54	c  124s |      10 |   579433 |    13961 |    52593      0 |        5 |        0
127.96/128.06	c  127s |      10 |   595126 |    14161 |    52593      0 |        5 |        0
129.96/130.09	c  129s |      10 |   602401 |    14361 |    52593      0 |        5 |        0
131.96/132.10	c  131s |      10 |   609041 |    14561 |    52593      0 |        5 |        0
135.06/135.17	c  134s |      10 |   627209 |    14861 |    52593      0 |        5 |        0
137.76/137.88	c  136s |      10 |   643093 |    15061 |    52593      0 |        5 |        0
140.25/140.32	c  139s |      10 |   653855 |    15361 |    52593      0 |        5 |        0
142.85/142.98	c  141s |      10 |   679568 |    15661 |    52593      0 |        5 |        0
145.75/145.80	c  144s |      10 |   690018 |    15861 |    52593      0 |        5 |        0
148.65/148.73	c  147s |      10 |   701744 |    16161 |    52593      0 |        5 |        0
151.35/151.40	c  150s |      10 |   721236 |    16361 |    52593      0 |        5 |        0
153.85/153.92	c  152s |      10 |   728299 |    16561 |    52593      0 |        5 |        0
157.36/157.43	c  156s |      10 |   745392 |    16961 |    52593      0 |        5 |        0
159.46/159.57	c  158s |      11 |   762152 |    17144 |    57853      0 |        5 |        0
162.15/162.25	c  161s |      11 |   769042 |    17344 |    57853      0 |        5 |        0
164.15/164.29	c  163s |      11 |   778002 |    17644 |    57853      0 |        5 |        0
166.75/166.86	c  165s |      11 |   798520 |    17844 |    57853      0 |        5 |        0
169.15/169.21	c  168s |      11 |   805488 |    18044 |    57853      0 |        5 |        0
171.45/171.56	c  170s |      11 |   816465 |    18444 |    57853      0 |        5 |        0
173.95/174.02	c  172s |      11 |   834901 |    18844 |    57853      0 |        5 |        0
176.25/176.30	c  175s |      11 |   852378 |    19044 |    57853      0 |        5 |        0
178.25/178.31	c  177s |      11 |   859866 |    19244 |    57853      0 |        5 |        0
180.35/180.46	c  179s |      11 |   870919 |    19644 |    57853      0 |        5 |        0
182.45/182.60	c  181s |      11 |   886918 |    20244 |    57853      0 |        5 |        0
184.55/184.61	c  183s |      11 |   892117 |    20644 |    57853      0 |        5 |        0
187.15/187.26	c  186s |      11 |   907199 |    20944 |    57853      0 |        5 |        0
190.15/190.28	c  189s |      11 |   924834 |    21144 |    57853      0 |        5 |        0
193.15/193.25	c  192s |      11 |   932789 |    21344 |    57853      0 |        5 |        0
195.95/196.05	c  195s |      11 |   943808 |    21644 |    57853      0 |        5 |        0
199.05/199.19	c  198s |      11 |   967463 |    21944 |    57853      0 |        5 |        0
202.24/202.40	c  201s |      11 |   978325 |    22144 |    57853      0 |        5 |        0
204.94/205.08	c  204s |      11 |   989395 |    22444 |    57853      0 |        5 |        0
206.94/207.08	c  206s |      11 |   995142 |    22644 |    57853      0 |        5 |        0
209.05/209.11	c  208s |      11 |  1013207 |    22844 |    57853      0 |        5 |        0
211.94/212.00	c  210s |      11 |  1025646 |    23044 |    57853      0 |        5 |        0
213.94/214.04	c  212s |      11 |  1043665 |    23344 |    57853      0 |        5 |        0
216.84/216.98	c  215s |      11 |  1065092 |    23644 |    57853      0 |        5 |        0
220.05/220.17	c  219s |      11 |  1076781 |    23844 |    57853      0 |        5 |        0
222.34/222.41	c  221s |      11 |  1083027 |    24044 |    57853      0 |        5 |        0
224.35/224.45	c  223s |      11 |  1093371 |    24344 |    57853      0 |        5 |        0
226.55/226.67	c  225s |      11 |  1111428 |    24544 |    57853      0 |        5 |        0
229.14/229.23	c  228s |      11 |  1123275 |    24744 |    57853      0 |        5 |        0
231.54/231.67	c  230s |      11 |  1133940 |    25044 |    57853      0 |        5 |        0
233.94/234.03	c  232s |      11 |  1150303 |    25444 |    57853      0 |        5 |        0
236.14/236.29	c  235s |      11 |  1168661 |    25644 |    57853      0 |        5 |        0
238.54/238.64	c  237s |      12 |  1180084 |    25819 |    63639      0 |        5 |        0
241.44/241.54	c  240s |      12 |  1186072 |    26019 |    63639      0 |        5 |        0
244.14/244.22	c  243s |      12 |  1198191 |    26419 |    63639      0 |        5 |        0
247.24/247.33	c  246s |      12 |  1212269 |    26619 |    63639      0 |        5 |        0
249.54/249.62	c  248s |      12 |  1224616 |    26819 |    63639      0 |        5 |        0
252.44/252.57	c  251s |      12 |  1238034 |    27119 |    63639      0 |        5 |        0
254.74/254.88	c  253s |      12 |  1253280 |    27319 |    63639      0 |        5 |        0
257.13/257.21	c  256s |      12 |  1261676 |    27619 |    63639      0 |        5 |        0
259.43/259.59	c  258s |      12 |  1272434 |    28019 |    63639      0 |        5 |        0
261.53/261.61	c  260s |      12 |  1288161 |    28519 |    63639      0 |        5 |        0
263.94/264.08	c  263s |      12 |  1303745 |    28719 |    63639      0 |        5 |        0
266.14/266.25	c  265s |      12 |  1310306 |    28919 |    63639      0 |        5 |        0
268.53/268.66	c  267s |      12 |  1330404 |    29219 |    63639      0 |        5 |        0
270.83/270.91	c  269s |      12 |  1342268 |    29419 |    63639      0 |        5 |        0
273.33/273.45	c  272s |      12 |  1348335 |    29719 |    63639      0 |        5 |        0
275.73/275.82	c  274s |      12 |  1359100 |    30419 |    63639      0 |        5 |        0
278.53/278.65	c  277s |      12 |  1360940 |    30819 |    63639      0 |        5 |        0
281.13/281.28	c  280s |      12 |  1363663 |    31119 |    63639      0 |        5 |        0
284.33/284.45	c  283s |      12 |  1368384 |    31419 |    63639      0 |        5 |        0
287.33/287.45	c  286s |      12 |  1387554 |    31719 |    63639      0 |        5 |        0
290.53/290.69	c  289s |      12 |  1402159 |    31919 |    63639      0 |        5 |        0
293.43/293.51	c  292s |      12 |  1407939 |    32119 |    63639      0 |        5 |        0
296.03/296.18	c  295s |      12 |  1423535 |    32419 |    63639      0 |        5 |        0
298.33/298.44	c  297s |      12 |  1431683 |    32719 |    63639      0 |        5 |        0
300.63/300.70	c  299s |      12 |  1447312 |    33119 |    63639      0 |        5 |        0
302.63/302.77	c  301s |      12 |  1466154 |    33619 |    63639      0 |        5 |        0
305.32/305.40	c  304s |      12 |  1477756 |    34019 |    63639      0 |        5 |        0
308.72/308.83	c  307s |      12 |  1504510 |    34319 |    63639      0 |        5 |        0
311.12/311.20	c  310s |      12 |  1512803 |    34519 |    63639      0 |        5 |        0
313.22/313.33	c  312s |      12 |  1521972 |    34819 |    63639      0 |        5 |        0
315.73/315.88	c  314s |      12 |  1545826 |    35019 |    63639      0 |        5 |        0
318.51/318.62	c  317s |      12 |  1554583 |    35219 |    63639      0 |        5 |        0
321.12/321.29	c  320s |      12 |  1563086 |    35519 |    63639      0 |        5 |        0
323.42/323.59	c  322s |      12 |  1583512 |    35719 |    63639      0 |        5 |        0
326.41/326.52	c  325s |      12 |  1593209 |    35919 |    63639      0 |        5 |        0
329.21/329.38	c  328s |      12 |  1614246 |    36219 |    63639      0 |        5 |        0
332.12/332.27	c  331s |      12 |  1625543 |    36419 |    63639      0 |        5 |        0
334.71/334.81	c  333s |      12 |  1634472 |    36719 |    63639      0 |        5 |        0
336.81/336.93	c  335s |      12 |  1647310 |    37119 |    63639      0 |        5 |        0
340.11/340.28	c  339s |      12 |  1672918 |    37419 |    63639      0 |        5 |        0
342.60/342.77	c  341s |      12 |  1677316 |    37619 |    63639      0 |        5 |        0
345.10/345.21	c  344s |      12 |  1700180 |    37819 |    63639      0 |        5 |        0
347.90/348.00	c  346s |      12 |  1708004 |    38019 |    63639      0 |        5 |        0
350.50/350.63	c  349s |      12 |  1715587 |    38319 |    63639      0 |        5 |        0
353.80/353.99	c  352s |      12 |  1728725 |    38619 |    70003      0 |        5 |        0
356.20/356.40	c  355s |      12 |  1742640 |    38819 |    70003      0 |        5 |        0
356.40/356.53	c  355s |      13 |  1743236 |    38832 |    70003      0 |        5 |        0
358.79/358.94	c  357s |      13 |  1751970 |    39032 |    70003      0 |        5 |        0
361.90/362.05	c  361s |      13 |  1776383 |    39332 |    70003      0 |        5 |        0
365.59/365.72	c  364s |      13 |  1786899 |    39532 |    70003      0 |        5 |        0
367.79/367.96	c  366s |      13 |  1794847 |    39832 |    70003      0 |        5 |        0
369.99/370.19	c  369s |      13 |  1802954 |    40532 |    70003      0 |        5 |        0
372.49/372.68	c  371s |      13 |  1822182 |    40732 |    70003      0 |        5 |        0
375.39/375.59	c  374s |      13 |  1836438 |    40932 |    70003      0 |        5 |        0
377.69/377.85	c  376s |      13 |  1850129 |    41132 |    70003      0 |        5 |        0
380.39/380.50	c  379s |      13 |  1866933 |    41332 |    70003      0 |        5 |        0
383.09/383.21	c  382s |      13 |  1872239 |    41532 |    70003      0 |        5 |        0
385.19/385.35	c  384s |      13 |  1877718 |    41732 |    70003      0 |        5 |        0
388.08/388.27	c  387s |      13 |  1887753 |    42032 |    70003      0 |        5 |        0
391.18/391.31	c  390s |      13 |  1894966 |    42332 |    70003      0 |        5 |        0
393.98/394.16	c  393s |      13 |  1911603 |    42632 |    70003      0 |        5 |        0
396.98/397.16	c  396s |      13 |  1921239 |    42832 |    70003      0 |        5 |        0
399.28/399.49	c  398s |      13 |  1939654 |    43032 |    70003      0 |        5 |        0
402.18/402.36	c  401s |      13 |  1944387 |    43232 |    70003      0 |        5 |        0
405.08/405.25	c  404s |      13 |  1976402 |    43532 |    70003      0 |        5 |        0
407.27/407.42	c  406s |      13 |  1983182 |    43732 |    70003      0 |        5 |        0
409.77/409.99	c  408s |      13 |  1990910 |    44032 |    70003      0 |        5 |        0
413.07/413.23	c  412s |      13 |  2021076 |    44332 |    70003      0 |        5 |        0
416.07/416.20	c  415s |      13 |  2032077 |    44632 |    70003      0 |        5 |        0
418.17/418.38	c  417s |      13 |  2040311 |    44732 |    70003      0 |        5 |        0
420.67/420.81	c  419s |      13 |  2057474 |    44932 |    70003      0 |        5 |        0
423.37/423.55	c  422s |      13 |  2062546 |    45132 |    70003      0 |        5 |        0
425.77/425.97	c  424s |      13 |  2069867 |    45432 |    70003      0 |        5 |        0
428.56/428.77	c  427s |      13 |  2095274 |    45732 |    70003      0 |        5 |        0
431.07/431.24	c  430s |      13 |  2104552 |    46032 |    70003      0 |        5 |        0
433.76/433.97	c  432s |      13 |  2128309 |    46332 |    70003      0 |        5 |        0
435.86/436.02	c  434s |      13 |  2134951 |    46532 |    70003      0 |        5 |        0
439.06/439.27	c  438s |      13 |  2143210 |    47032 |    70003      0 |        5 |        0
441.25/441.48	c  440s |      13 |  2155345 |    47232 |    70003      0 |        5 |        0
443.65/443.82	c  442s |      13 |  2168685 |    47432 |    70003      0 |        5 |        0
446.05/446.23	c  445s |      13 |  2173395 |    47732 |    70003      0 |        5 |        0
448.45/448.65	c  447s |      13 |  2178137 |    48032 |    70003      0 |        5 |        0
450.65/450.80	c  449s |      13 |  2181394 |    48232 |    70003      0 |        5 |        0
453.06/453.27	c  452s |      13 |  2189932 |    48532 |    70003      0 |        5 |        0
455.75/455.94	c  454s |      13 |  2200261 |    48832 |    70003      0 |        5 |        0
458.04/458.22	c  457s |      13 |  2210607 |    49132 |    70003      0 |        5 |        0
460.85/461.08	c  460s |      13 |  2219632 |    49432 |    70003      0 |        5 |        0
464.24/464.45	c  463s |      13 |  2249319 |    49832 |    70003      0 |        5 |        0
466.64/466.85	c  465s |      13 |  2255805 |    50032 |    70003      0 |        5 |        0
469.04/469.26	c  468s |      13 |  2269881 |    50332 |    70003      0 |        5 |        0
472.24/472.41	c  471s |      13 |  2292167 |    50632 |    70003      0 |        5 |        0
475.34/475.53	c  474s |      13 |  2308496 |    50932 |    70003      0 |        5 |        0
478.23/478.49	c  477s |      13 |  2326793 |    51232 |    70003      0 |        5 |        0
481.13/481.37	c  480s |      13 |  2348391 |    51532 |    70003      0 |        5 |        0
483.43/483.68	c  482s |      13 |  2359347 |    51732 |    70003      0 |        5 |        0
486.04/486.23	c  485s |      13 |  2366975 |    52032 |    70003      0 |        5 |        0
488.52/488.71	c  487s |      13 |  2375988 |    52332 |    70003      0 |        5 |        0
491.72/491.97	c  490s |      13 |  2397674 |    52632 |    70003      0 |        5 |        0
494.02/494.20	c  493s |      13 |  2408416 |    52932 |    70003      0 |        5 |        0
496.03/496.28	c  495s |      13 |  2414839 |    53132 |    70003      0 |        5 |        0
498.62/498.82	c  497s |      13 |  2424169 |    53432 |    70003      0 |        5 |        0
501.32/501.58	c  500s |      13 |  2429849 |    53932 |    70003      0 |        5 |        0
503.72/503.96	c  502s |      13 |  2433233 |    54132 |    70003      0 |        5 |        0
506.72/506.91	c  505s |      13 |  2446116 |    54432 |    70003      0 |        5 |        0
509.12/509.32	c  508s |      13 |  2456505 |    54632 |    70003      0 |        5 |        0
511.32/511.58	c  510s |      13 |  2467030 |    54832 |    70003      0 |        5 |        0
513.42/513.61	c  512s |      13 |  2473925 |    55032 |    70003      0 |        5 |        0
515.72/515.92	c  514s |      13 |  2487565 |    55232 |    70003      0 |        5 |        0
517.71/517.98	c  516s |      13 |  2493913 |    55432 |    70003      0 |        5 |        0
519.91/520.18	c  519s |      13 |  2513287 |    55732 |    70003      0 |        5 |        0
522.21/522.41	c  521s |      13 |  2525476 |    55932 |    70003      0 |        5 |        0
524.41/524.62	c  523s |      13 |  2545822 |    56232 |    70003      0 |        5 |        0
527.21/527.50	c  526s |      13 |  2570638 |    56732 |    70003      0 |        5 |        0
529.31/529.57	c  528s |      13 |  2587953 |    56932 |    70003      0 |        5 |        0
531.91/532.14	c  531s |      13 |  2592167 |    57132 |    70003      0 |        5 |        0
535.01/535.29	c  534s |      13 |  2614297 |    57432 |    70003      0 |        5 |        0
538.00/538.28	c  537s |      13 |  2625429 |    57732 |    70003      0 |        5 |        0
540.01/540.28	c  539s |      13 |  2643519 |    57932 |    70003      0 |        5 |        0
542.30/542.58	c  541s |      13 |  2648074 |    58132 |    77004      0 |        5 |        0
544.50/544.71	c  543s |      14 |  2649290 |    58352 |    77004      0 |        5 |        0
547.20/547.48	c  546s |      14 |  2650638 |    58552 |    77004      0 |        5 |        0
549.40/549.66	c  548s |      14 |  2656448 |    58752 |    77004      0 |        5 |        0
552.11/552.33	c  551s |      14 |  2662454 |    58952 |    77004      0 |        5 |        0
554.50/554.72	c  553s |      14 |  2672306 |    59252 |    77004      0 |        5 |        0
557.20/557.47	c  556s |      14 |  2679997 |    59552 |    77004      0 |        5 |        0
560.00/560.26	c  559s |      14 |  2680421 |    59752 |    77004      0 |        5 |        0
562.30/562.56	c  561s |      14 |  2687950 |    59952 |    77004      0 |        5 |        0
564.60/564.83	c  563s |      14 |  2697552 |    60152 |    77004      0 |        5 |        0
566.60/566.86	c  565s |      14 |  2712118 |    60352 |    77004      0 |        5 |        0
568.79/569.08	c  568s |      14 |  2717673 |    60552 |    77004      0 |        5 |        0
571.39/571.68	c  570s |      14 |  2725502 |    60752 |    77004      0 |        5 |        0
573.69/573.91	c  572s |      14 |  2740170 |    60952 |    77004      0 |        5 |        0
576.99/577.22	c  576s |      14 |  2760323 |    61252 |    77004      0 |        5 |        0
579.39/579.65	c  578s |      14 |  2767541 |    61452 |    77004      0 |        5 |        0
581.58/581.83	c  580s |      14 |  2774761 |    61752 |    77004      0 |        5 |        0
584.28/584.58	c  583s |      14 |  2791278 |    62152 |    77004      0 |        5 |        0
587.29/587.56	c  586s |      14 |  2808041 |    62552 |    77004      0 |        5 |        0
589.78/590.02	c  588s |      14 |  2818143 |    62752 |    77004      0 |        5 |        0
591.78/592.03	c  590s |      14 |  2822977 |    63052 |    77004      0 |        5 |        0
594.89/595.10	c  594s |      14 |  2827102 |    63352 |    77004      0 |        5 |        0
596.98/597.28	c  596s |      14 |  2832110 |    63552 |    77004      0 |        5 |        0
599.18/599.43	c  598s |      14 |  2836752 |    63752 |    77004      0 |        5 |        0
601.58/601.81	c  600s |      14 |  2838255 |    63952 |    77004      0 |        5 |        0
603.98/604.26	c  603s |      14 |  2844491 |    64152 |    77004      0 |        5 |        0
606.47/606.70	c  605s |      14 |  2863821 |    64352 |    77004      0 |        5 |        0
609.07/609.33	c  608s |      14 |  2876006 |    64552 |    77004      0 |        5 |        0
611.27/611.57	c  610s |      14 |  2890032 |    64752 |    77004      0 |        5 |        0
613.77/614.03	c  612s |      14 |  2908903 |    64952 |    77004      0 |        5 |        0
616.57/616.87	c  615s |      14 |  2914349 |    65152 |    77004      0 |        5 |        0
618.96/619.25	c  618s |      14 |  2926399 |    65352 |    77004      0 |        5 |        0
621.76/622.09	c  621s |      14 |  2942806 |    65652 |    77004      0 |        5 |        0
624.96/625.28	c  624s |      14 |  2962599 |    65952 |    77004      0 |        5 |        0
627.16/627.42	c  626s |      14 |  2969796 |    66152 |    77004      0 |        5 |        0
629.36/629.66	c  628s |      14 |  2982457 |    66452 |    77004      0 |        5 |        0
631.66/631.91	c  630s |      14 |  2988324 |    66752 |    77004      0 |        5 |        0
634.16/634.48	c  633s |      14 |  2994832 |    66952 |    77004      0 |        5 |        0
636.96/637.27	c  636s |      14 |  3012586 |    67152 |    77004      0 |        5 |        0
639.96/640.30	c  639s |      14 |  3017791 |    67352 |    77004      0 |        5 |        0
642.05/642.33	c  641s |      14 |  3022145 |    67552 |    77004      0 |        5 |        0
644.36/644.67	c  643s |      14 |  3036200 |    67752 |    77004      0 |        5 |        0
646.66/646.91	c  645s |      14 |  3048477 |    68052 |    77004      0 |        5 |        0
649.45/649.73	c  648s |      14 |  3051070 |    68352 |    77004      0 |        5 |        0
652.45/652.73	c  651s |      14 |  3061379 |    68552 |    77004      0 |        5 |        0
654.85/655.15	c  654s |      14 |  3064926 |    68752 |    77004      0 |        5 |        0
657.14/657.43	c  656s |      14 |  3069691 |    68952 |    77004      0 |        5 |        0
659.54/659.88	c  658s |      14 |  3084382 |    69152 |    77004      0 |        5 |        0
662.54/662.83	c  661s |      14 |  3090102 |    69352 |    77004      0 |        5 |        0
664.64/664.99	c  663s |      14 |  3094251 |    69552 |    77004      0 |        5 |        0
667.04/667.30	c  666s |      14 |  3097595 |    69752 |    77004      0 |        5 |        0
669.54/669.80	c  668s |      14 |  3101650 |    69952 |    77004      0 |        5 |        0
671.95/672.26	c  671s |      14 |  3118294 |    70152 |    77004      0 |        5 |        0
674.05/674.39	c  673s |      14 |  3129627 |    70352 |    77004      0 |        5 |        0
676.35/676.69	c  675s |      14 |  3134391 |    70552 |    77004      0 |        5 |        0
679.44/679.78	c  678s |      14 |  3142805 |    70852 |    77004      0 |        5 |        0
682.34/682.60	c  681s |      14 |  3148843 |    71052 |    77004      0 |        5 |        0
684.74/685.04	c  683s |      14 |  3153484 |    71252 |    77004      0 |        5 |        0
687.83/688.19	c  687s |      14 |  3171171 |    71552 |    77004      0 |        5 |        0
690.83/691.10	c  690s |      14 |  3181631 |    71752 |    77004      0 |        5 |        0
693.13/693.47	c  692s |      14 |  3203546 |    72052 |    77004      0 |        5 |        0
695.23/695.54	c  694s |      14 |  3204971 |    72252 |    77004      0 |        5 |        0
698.23/698.60	c  697s |      14 |  3209105 |    72452 |    77004      0 |        5 |        0
701.72/702.02	c  700s |      14 |  3213380 |    72652 |    77004      0 |        5 |        0
705.02/705.31	c  704s |      14 |  3221266 |    72852 |    77004      0 |        5 |        0
707.52/707.82	c  706s |      14 |  3241241 |    73052 |    77004      0 |        5 |        0
709.82/710.16	c  709s |      14 |  3248779 |    73252 |    77004      0 |        5 |        0
712.11/712.41	c  711s |      14 |  3260571 |    73452 |    77004      0 |        5 |        0
714.61/714.96	c  713s |      14 |  3278855 |    73652 |    77004      0 |        5 |        0
717.02/717.32	c  716s |      14 |  3288045 |    73852 |    77004      0 |        5 |        0
719.31/719.61	c  718s |      14 |  3303182 |    74052 |    77004      0 |        5 |        0
721.51/721.84	c  720s |      14 |  3311330 |    74252 |    77004      0 |        5 |        0
724.72/725.04	c  723s |      14 |  3313323 |    74452 |    77004      0 |        5 |        0
727.01/727.35	c  726s |      14 |  3315844 |    74652 |    77004      0 |        5 |        0
730.51/730.88	c  729s |      14 |  3319191 |    74952 |    77004      0 |        5 |        0
733.52/733.85	c  732s |      14 |  3326813 |    75152 |    77004      0 |        5 |        0
736.31/736.61	c  735s |      14 |  3340924 |    75352 |    77004      0 |        5 |        0
739.31/739.68	c  738s |      14 |  3348487 |    75552 |    77004      0 |        5 |        0
741.71/742.09	c  741s |      14 |  3352162 |    75752 |    77004      0 |        5 |        0
744.31/744.62	c  743s |      14 |  3354104 |    76052 |    77004      0 |        5 |        0
746.81/747.15	c  746s |      14 |  3355147 |    76252 |    77004      0 |        5 |        0
749.61/749.92	c  748s |      14 |  3357315 |    76452 |    77004      0 |        5 |        0
752.21/752.51	c  751s |      14 |  3359722 |    76652 |    77004      0 |        5 |        0
754.51/754.83	c  753s |      14 |  3363608 |    76852 |    77004      0 |        5 |        0
757.40/757.76	c  756s |      14 |  3365319 |    77052 |    77004      0 |        5 |        0
760.60/760.94	c  759s |      14 |  3368420 |    77252 |    77004      0 |        5 |        0
763.21/763.54	c  762s |      14 |  3370895 |    77452 |    77004      0 |        5 |        0
765.90/766.23	c  765s |      14 |  3374431 |    77752 |    77004      0 |        5 |        0
768.10/768.40	c  767s |      14 |  3377111 |    77952 |    77004      0 |        5 |        0
770.50/770.85	c  769s |      14 |  3389260 |    78152 |    77004      0 |        5 |        0
773.80/774.11	c  773s |      14 |  3390249 |    78352 |    77004      0 |        5 |        0
776.31/776.70	c  775s |      14 |  3395832 |    78452 |    77004      0 |        5 |        0
779.30/779.63	c  778s |      14 |  3402185 |    78652 |    77004      0 |        5 |        0
781.30/781.67	c  780s |      14 |  3404415 |    78752 |    77004      1 |        5 |        0
783.80/784.19	c  783s |      14 |  3406351 |    78852 |    77004      1 |        5 |        0
787.50/787.87	c  786s |      14 |  3421865 |    79152 |    77004      1 |        5 |        0
789.90/790.27	c  789s |      14 |  3433874 |    79352 |    77004      1 |        5 |        0
793.20/793.58	c  792s |      14 |  3442526 |    79552 |    77004      1 |        5 |        0
795.60/795.92	c  794s |      14 |  3453090 |    79752 |    77004      1 |        5 |        0
798.20/798.59	c  797s |      14 |  3463983 |    79952 |    77004      1 |        5 |        0
801.50/801.82	c  800s |      14 |  3477042 |    80152 |    77004      1 |        5 |        0
803.81/804.16	c  803s |      14 |  3493080 |    80352 |    77004      1 |        5 |        0
807.30/807.68	c  806s |      14 |  3513733 |    80652 |    77004      1 |        5 |        0
810.20/810.59	c  809s |      14 |  3523396 |    80852 |    77004      1 |        5 |        0
812.40/812.78	c  811s |      14 |  3530049 |    81052 |    77004      1 |        5 |        0
814.81/815.14	c  814s |      14 |  3537869 |    81252 |    77004      1 |        5 |        0
817.30/817.67	c  816s |      14 |  3556734 |    81552 |    77004      1 |        5 |        0
820.00/820.34	c  819s |      14 |  3563256 |    81852 |    77004      1 |        5 |        0
822.90/823.24	c  822s |      14 |  3564928 |    82052 |    77004      1 |        5 |        0
825.90/826.21	c  825s |      14 |  3569481 |    82252 |    77004      1 |        5 |        0
828.60/828.90	c  827s |      14 |  3572691 |    82452 |    77004      1 |        5 |        0
831.10/831.40	c  830s |      14 |  3577130 |    82652 |    77004      1 |        5 |        0
833.10/833.43	c  832s |      14 |  3582328 |    82852 |    77004      1 |        5 |        0
835.70/836.09	c  835s |      14 |  3589115 |    83052 |    77004      1 |        5 |        0
839.10/839.45	c  838s |      14 |  3593073 |    83152 |    77004      1 |        5 |        0
841.20/841.60	c  840s |      14 |  3598231 |    83352 |    77004      1 |        5 |        0
843.29/843.68	c  842s |      14 |  3601940 |    83552 |    77004      1 |        5 |        0
846.09/846.47	c  845s |      14 |  3618189 |    83752 |    77004      1 |        5 |        0
849.09/849.41	c  848s |      14 |  3622850 |    83952 |    77004      1 |        5 |        0
851.89/852.29	c  851s |      14 |  3628210 |    84152 |    77004      1 |        5 |        0
854.69/855.06	c  854s |      14 |  3629795 |    84352 |    77004      1 |        5 |        0
857.49/857.83	c  856s |      14 |  3633132 |    84652 |    77004      1 |        5 |        0
859.99/860.32	c  859s |      14 |  3645420 |    84852 |    77004      1 |        5 |        0
862.39/862.73	c  861s |      14 |  3654159 |    85052 |    77004      1 |        5 |        0
865.39/865.77	c  864s |      14 |  3659295 |    85252 |    77004      1 |        5 |        0
868.39/868.72	c  867s |      14 |  3667850 |    85452 |    77004      1 |        5 |        0
870.58/870.92	c  869s |      14 |  3682774 |    85652 |    77004      1 |        5 |        0
873.19/873.55	c  872s |      14 |  3688382 |    85852 |    77004      1 |        5 |        0
875.29/875.68	c  874s |      14 |  3697577 |    86052 |    77004      1 |        5 |        0
877.49/877.82	c  876s |      14 |  3703922 |    86252 |    77004      1 |        5 |        0
880.68/881.01	c  879s |      14 |  3711520 |    86452 |    77004      1 |        5 |        0
883.09/883.42	c  882s |      14 |  3722022 |    86652 |    77004      1 |        5 |        0
886.08/886.43	c  885s |      14 |  3725817 |    86852 |    77004      1 |        5 |        0
888.08/888.49	c  887s |      14 |  3728087 |    87052 |    84705      1 |        5 |        0
890.38/890.76	c  889s |      14 |  3731525 |    87352 |    84705      1 |        5 |        0
893.18/893.50	c  892s |      14 |  3742107 |    87552 |    84705      1 |        5 |        0
893.99/894.40	c  893s |      15 |  3746545 |    87632 |    84705      1 |        5 |        0
905.09/905.43	c  904s |      15 |  3754096 |    87832 |    84705      1 |        5 |        0
907.78/908.11	c  907s |      15 |  3765991 |    88032 |    84705      1 |        5 |        0
910.18/910.59	c  909s |      15 |  3767240 |    88232 |    84705      1 |        5 |        0
912.48/912.80	c  911s |      15 |  3767847 |    88432 |    84705      1 |        5 |        0
916.28/916.66	c  915s |      15 |  3768335 |    88632 |    84705      1 |        5 |        0
919.18/919.51	c  918s |      15 |  3775054 |    88832 |    84705      1 |        5 |        0
922.69/923.09	c  922s |      15 |  3785821 |    89032 |    84705      1 |        5 |        0
925.58/925.96	c  924s |      15 |  3791458 |    89232 |    84705      1 |        5 |        0
927.68/928.09	c  927s |      15 |  3801761 |    89432 |    84705      1 |        5 |        0
930.58/930.99	c  929s |      15 |  3816232 |    89632 |    84705      1 |        5 |        0
933.78/934.19	c  933s |      15 |  3824984 |    89832 |    84705      1 |        5 |        0
937.68/938.00	c  936s |      15 |  3834032 |    90032 |    84705      1 |        5 |        0
941.38/941.73	c  940s |      15 |  3843942 |    90232 |    84705      1 |        5 |        0
944.28/944.65	c  943s |      15 |  3849181 |    90432 |    84705      1 |        5 |        0
956.17/956.56	c  955s |      15 |  3860063 |    90632 |    84705      1 |        5 |        0
958.88/959.29	c  958s |      15 |  3870472 |    90832 |    84705      1 |        5 |        0
962.18/962.59	c  961s |      15 |  3880917 |    91032 |    84705      1 |        5 |        0
964.88/965.23	c  964s |      15 |  3887687 |    91232 |    84705      1 |        5 |        0
967.68/968.08	c  967s |      15 |  3895054 |    91432 |    84705      1 |        5 |        0
970.07/970.46	c  969s |      15 |  3902522 |    91632 |    84705      1 |        5 |        0
973.07/973.48	c  972s |      15 |  3911595 |    91832 |    84705      1 |        5 |        0
975.67/976.06	c  975s |      15 |  3920675 |    92032 |    84705      1 |        5 |        0
978.37/978.72	c  977s |      15 |  3931291 |    92332 |    84705      1 |        5 |        0
980.98/981.39	c  980s |      15 |  3937968 |    92532 |    84705      1 |        5 |        0
983.77/984.14	c  983s |      15 |  3946121 |    92832 |    84705      1 |        5 |        0
985.87/986.20	c  985s |      15 |  3955570 |    93132 |    84705      1 |        5 |        0
988.47/988.88	c  987s |      15 |  3966154 |    93532 |    84705      1 |        5 |        0
991.17/991.52	c  990s |      15 |  3974312 |    93832 |    84705      1 |        5 |        0
993.27/993.61	c  992s |      15 |  3984508 |    94232 |    84705      1 |        5 |        0
995.67/996.06	c  995s |      15 |  3995120 |    94432 |    84705      1 |        5 |        0
998.07/998.40	c  997s |      15 |  3999936 |    94632 |    84705      1 |        5 |        0
1000.17/1000.56	c  999s |      15 |  4005137 |    94832 |    84705      1 |        5 |        0
1003.37/1003.72	c 1002s |      15 |  4012560 |    95032 |    84705      1 |        5 |        0
1006.28/1006.68	c 1005s |      15 |  4022372 |    95332 |    84705      1 |        5 |        0
1008.57/1008.97	c 1007s |      15 |  4027028 |    95632 |    84705      1 |        5 |        0
1011.17/1011.53	c 1010s |      15 |  4033093 |    95932 |    84705      1 |        5 |        0
1014.17/1014.52	c 1013s |      15 |  4038190 |    96232 |    84705      1 |        5 |        0
1016.27/1016.61	c 1015s |      15 |  4042162 |    96432 |    84705      1 |        5 |        0
1019.67/1020.02	c 1018s |      15 |  4046999 |    96732 |    84705      1 |        5 |        0
1022.27/1022.61	c 1021s |      15 |  4066299 |    96932 |    84705      1 |        5 |        0
1025.17/1025.56	c 1024s |      15 |  4072658 |    97132 |    84705      1 |        5 |        0
1027.96/1028.37	c 1027s |      15 |  4076988 |    97332 |    84705      1 |        5 |        0
1030.56/1030.94	c 1029s |      15 |  4078826 |    97532 |    84705      1 |        5 |        0
1033.77/1034.10	c 1033s |      15 |  4080939 |    97832 |    84705      1 |        5 |        0
1036.36/1036.71	c 1035s |      15 |  4084138 |    98032 |    84705      1 |        5 |        0
1039.27/1039.68	c 1038s |      15 |  4085842 |    98232 |    84705      1 |        5 |        0
1042.16/1042.55	c 1041s |      15 |  4090832 |    98432 |    84705      1 |        5 |        0
1045.66/1046.01	c 1044s |      15 |  4112839 |    98732 |    84705      1 |        5 |        0
1048.07/1048.45	c 1047s |      15 |  4119971 |    98932 |    84705      1 |        5 |        0
1050.56/1050.96	c 1049s |      15 |  4126539 |    99132 |    84705      1 |        5 |        0
1052.86/1053.28	c 1052s |      15 |  4133711 |    99332 |    84705      1 |        5 |        0
1055.26/1055.65	c 1054s |      15 |  4148129 |    99532 |    84705      1 |        5 |        0
1058.56/1058.96	c 1057s |      15 |  4160919 |    99732 |    84705      1 |        5 |        0
1061.56/1061.94	c 1060s |      15 |  4175068 |    99932 |    84705      1 |        5 |        0
1063.86/1064.20	c 1063s |      15 |  4186856 |   100132 |    84705      1 |        5 |        0
1066.45/1066.81	c 1065s |      15 |  4192662 |   100332 |    84705      1 |        5 |        0
1069.05/1069.43	c 1068s |      15 |  4214270 |   100632 |    84705      1 |        5 |        0
1071.75/1072.12	c 1071s |      15 |  4218026 |   100932 |    84705      1 |        5 |        0
1074.25/1074.64	c 1073s |      15 |  4219629 |   101232 |    84705      1 |        5 |        0
1076.66/1077.03	c 1075s |      15 |  4232303 |   101432 |    84705      1 |        5 |        0
1079.15/1079.58	c 1078s |      15 |  4234175 |   101632 |    84705      1 |        5 |        0
1081.95/1082.36	c 1081s |      15 |  4241435 |   101832 |    84705      1 |        5 |        0
1084.05/1084.43	c 1083s |      15 |  4263894 |   102032 |    84705      1 |        5 |        0
1086.65/1087.05	c 1086s |      15 |  4268344 |   102232 |    84705      1 |        5 |        0
1088.95/1089.39	c 1088s |      15 |  4284438 |   102432 |    84705      1 |        5 |        0
1091.85/1092.21	c 1091s |      15 |  4295894 |   102632 |    84705      1 |        5 |        0
1094.26/1094.67	c 1093s |      15 |  4313892 |   102832 |    84705      1 |        5 |        0
1096.75/1097.16	c 1096s |      15 |  4324763 |   103032 |    84705      1 |        5 |        0
1099.95/1100.33	c 1099s |      15 |  4333904 |   103232 |    84705      1 |        5 |        0
1102.96/1103.37	c 1102s |      15 |  4342761 |   103432 |    84705      1 |        5 |        0
1106.35/1106.73	c 1105s |      15 |  4345382 |   103632 |    84705      1 |        5 |        0
1108.75/1109.16	c 1108s |      15 |  4348574 |   103832 |    84705      1 |        5 |        0
1111.35/1111.72	c 1110s |      15 |  4349769 |   104032 |    84705      1 |        5 |        0
1113.55/1113.96	c 1112s |      15 |  4351850 |   104232 |    84705      1 |        5 |        0
1117.05/1117.41	c 1116s |      15 |  4353130 |   104432 |    84705      1 |        5 |        0
1119.85/1120.26	c 1119s |      15 |  4356109 |   104632 |    84705      1 |        5 |        0
1122.75/1123.12	c 1122s |      15 |  4360248 |   104832 |    84705      1 |        5 |        0
1125.15/1125.52	c 1124s |      15 |  4365896 |   105032 |    84705      1 |        5 |        0
1127.64/1128.07	c 1127s |      15 |  4378652 |   105232 |    84705      1 |        5 |        0
1130.14/1130.54	c 1129s |      15 |  4386240 |   105432 |    84705      1 |        5 |        0
1133.34/1133.72	c 1132s |      15 |  4395130 |   105632 |    84705      1 |        5 |        0
1136.14/1136.51	c 1135s |      15 |  4404599 |   105832 |    84705      1 |        5 |        0
1138.54/1138.97	c 1137s |      15 |  4418533 |   106132 |    84705      1 |        5 |        0
1140.74/1141.15	c 1140s |      15 |  4428393 |   106332 |    84705      1 |        5 |        0
1143.84/1144.24	c 1143s |      15 |  4438159 |   106532 |    84705      1 |        5 |        0
1146.64/1147.00	c 1145s |      15 |  4450151 |   106832 |    84705      1 |        5 |        0
1149.44/1149.80	c 1148s |      15 |  4456409 |   107132 |    84705      1 |        5 |        0
1151.54/1151.98	c 1150s |      15 |  4463464 |   107432 |    84705      1 |        5 |        0
1154.44/1154.83	c 1153s |      15 |  4484534 |   107732 |    84705      1 |        5 |        0
1156.64/1157.10	c 1156s |      15 |  4489487 |   107932 |    84705      1 |        5 |        0
1159.05/1159.44	c 1158s |      15 |  4496041 |   108132 |    84705      1 |        5 |        0
1161.14/1161.60	c 1160s |      15 |  4503506 |   108332 |    84705      1 |        5 |        0
1164.34/1164.76	c 1163s |      15 |  4515679 |   108632 |    84705      1 |        5 |        0
1166.44/1166.89	c 1165s |      15 |  4528464 |   108832 |    84705      1 |        5 |        0
1169.24/1169.66	c 1168s |      15 |  4534857 |   109032 |    84705      1 |        5 |        0
1172.34/1172.74	c 1171s |      15 |  4549228 |   109332 |    84705      1 |        5 |        0
1174.34/1174.78	c 1173s |      15 |  4557664 |   109532 |    84705      1 |        5 |        0
1176.54/1176.92	c 1175s |      15 |  4563864 |   109832 |    84705      1 |        5 |        0
1179.84/1180.25	c 1179s |      15 |  4583187 |   110232 |    84705      1 |        5 |        0
1182.64/1183.04	c 1182s |      15 |  4593065 |   110532 |    84705      1 |        5 |        0
1185.04/1185.47	c 1184s |      15 |  4602982 |   111032 |    84705      1 |        5 |        0
1187.34/1187.76	c 1186s |      15 |  4606942 |   111232 |    84705      1 |        5 |        0
1190.34/1190.73	c 1189s |      15 |  4617450 |   111532 |    84705      1 |        5 |        0
1192.63/1193.06	c 1192s |      15 |  4620501 |   111732 |    84705      1 |        5 |        0
1194.93/1195.34	c 1194s |      15 |  4624513 |   111932 |    84705      1 |        5 |        0
1196.93/1197.36	c 1196s |      15 |  4632415 |   112232 |    84705      1 |        5 |        0
1199.53/1199.94	c 1198s |      15 |  4642139 |   112632 |    84705      1 |        5 |        0
1201.53/1201.94	c 1200s |      15 |  4646044 |   112932 |    84705      1 |        5 |        0
1204.33/1204.75	c 1203s |      15 |  4648016 |   113232 |    84705      1 |        5 |        0
1207.54/1207.93	c 1206s |      15 |  4659474 |   113432 |    84705      1 |        5 |        0
1210.13/1210.52	c 1209s |      15 |  4665103 |   113632 |    84705      1 |        5 |        0
1212.63/1213.04	c 1211s |      15 |  4672067 |   113832 |    84705      1 |        5 |        0
1214.83/1215.29	c 1214s |      15 |  4697165 |   114032 |    84705      1 |        5 |        0
1218.34/1218.76	c 1217s |      15 |  4721582 |   114332 |    84705      1 |        5 |        0
1221.44/1221.88	c 1220s |      15 |  4733121 |   114532 |    84705      1 |        5 |        0
1223.95/1224.35	c 1223s |      15 |  4746943 |   114732 |    84705      1 |        5 |        0
1226.84/1227.28	c 1226s |      15 |  4759968 |   114932 |    84705      1 |        5 |        0
1229.34/1229.75	c 1228s |      15 |  4763267 |   115132 |    84705      1 |        5 |        0
1232.24/1232.63	c 1231s |      15 |  4781050 |   115432 |    84705      1 |        5 |        0
1235.04/1235.48	c 1234s |      15 |  4795480 |   115732 |    84705      1 |        5 |        0
1237.44/1237.82	c 1236s |      15 |  4813630 |   115932 |    84705      1 |        5 |        0
1239.54/1239.98	c 1238s |      15 |  4820472 |   116132 |    84705      1 |        5 |        0
1242.34/1242.71	c 1241s |      15 |  4834484 |   116432 |    84705      1 |        5 |        0
1244.53/1244.96	c 1243s |      15 |  4848449 |   116732 |    84705      1 |        5 |        0
1246.83/1247.28	c 1246s |      15 |  4859279 |   117232 |    84705      1 |        5 |        0
1249.24/1249.65	c 1248s |      15 |  4875539 |   117532 |    84705      1 |        5 |        0
1252.33/1252.70	c 1251s |      15 |  4891325 |   117732 |    84705      1 |        5 |        0
1255.13/1255.53	c 1254s |      15 |  4897185 |   117932 |    84705      1 |        5 |        0
1258.04/1258.41	c 1257s |      15 |  4914244 |   118132 |    84705      1 |        5 |        0
1260.73/1261.14	c 1260s |      15 |  4928017 |   118332 |    84705      1 |        5 |        0
1262.83/1263.26	c 1262s |      15 |  4940650 |   118532 |    84705      1 |        5 |        0
1265.93/1266.37	c 1265s |      15 |  4943163 |   118732 |    84705      1 |        5 |        0
1268.13/1268.52	c 1267s |      15 |  4959456 |   118932 |    84705      1 |        5 |        0
1270.93/1271.32	c 1270s |      15 |  4968103 |   119132 |    84705      1 |        5 |        0
1273.03/1273.42	c 1272s |      15 |  4983497 |   119332 |    84705      1 |        5 |        0
1275.83/1276.20	c 1275s |      15 |  4996885 |   119532 |    84705      1 |        5 |        0
1277.93/1278.31	c 1277s |      15 |  5007934 |   119732 |    84705      1 |        5 |        0
1280.03/1280.41	c 1279s |      15 |  5020863 |   120032 |    84705      1 |        5 |        0
1282.93/1283.33	c 1282s |      15 |  5033958 |   120332 |    84705      1 |        5 |        0
1285.53/1285.99	c 1284s |      15 |  5044638 |   120532 |    84705      1 |        5 |        0
1287.63/1288.00	c 1286s |      15 |  5047448 |   120832 |    84705      1 |        5 |        0
1289.63/1290.06	c 1289s |      15 |  5049831 |   121032 |    84705      1 |        5 |        0
1292.13/1292.60	c 1291s |      15 |  5065537 |   121232 |    84705      1 |        5 |        0
1294.93/1295.36	c 1294s |      15 |  5076832 |   121432 |    84705      1 |        5 |        0
1297.22/1297.62	c 1296s |      15 |  5087506 |   121632 |    84705      1 |        5 |        0
1300.12/1300.57	c 1299s |      15 |  5100141 |   121832 |    84705      1 |        5 |        0
1302.92/1303.36	c 1302s |      15 |  5115095 |   122032 |    84705      1 |        5 |        0
1305.12/1305.58	c 1304s |      15 |  5132179 |   122232 |    84705      1 |        5 |        0
1307.92/1308.34	c 1307s |      15 |  5139335 |   122432 |    84705      1 |        5 |        0
1310.42/1310.81	c 1309s |      15 |  5143021 |   122632 |    84705      1 |        5 |        0
1312.92/1313.32	c 1312s |      15 |  5148010 |   122832 |    84705      1 |        5 |        0
1315.12/1315.53	c 1314s |      15 |  5152907 |   123132 |    84705      1 |        5 |        0
1317.32/1317.74	c 1316s |      15 |  5156889 |   123432 |    84705      1 |        5 |        0
1320.12/1320.54	c 1319s |      15 |  5163629 |   123732 |    84705      1 |        5 |        0
1322.82/1323.25	c 1322s |      15 |  5175974 |   123932 |    84705      1 |        5 |        0
1325.13/1325.56	c 1324s |      15 |  5185241 |   124132 |    84705      1 |        5 |        0
1327.72/1328.19	c 1327s |      15 |  5194801 |   124332 |    84705      1 |        5 |        0
1330.32/1330.79	c 1329s |      15 |  5215036 |   124632 |    84705      1 |        5 |        0
1332.42/1332.82	c 1331s |      15 |  5221337 |   124832 |    84705      1 |        5 |        0
1334.62/1335.01	c 1333s |      15 |  5237940 |   125032 |    84705      1 |        5 |        0
1337.22/1337.63	c 1336s |      15 |  5250337 |   125232 |    84705      1 |        5 |        0
1339.42/1339.85	c 1338s |      15 |  5261258 |   125432 |    84705      1 |        5 |        0
1342.12/1342.58	c 1341s |      15 |  5277492 |   125632 |    84705      1 |        5 |        0
1344.21/1344.63	c 1343s |      15 |  5281460 |   125732 |    84705      2 |        5 |        0
1346.61/1347.00	c 1345s |      15 |  5295610 |   125932 |    84705      2 |        5 |        0
1350.71/1351.19	c 1350s |      15 |  5297861 |   126032 |    84705      2 |        5 |        0
1353.51/1353.97	c 1352s |      15 |  5306271 |   126232 |    84705      2 |        5 |        0
1356.71/1357.17	c 1356s |      15 |  5313030 |   126432 |    84705      2 |        5 |        0
1359.32/1359.79	c 1358s |      15 |  5339821 |   126732 |    84705      2 |        5 |        0
1362.22/1362.64	c 1361s |      15 |  5355310 |   127032 |    84705      2 |        5 |        0
1365.62/1366.08	c 1365s |      15 |  5363067 |   127232 |    84705      2 |        5 |        0
1368.12/1368.51	c 1367s |      15 |  5376673 |   127532 |    84705      2 |        5 |        0
1370.52/1370.96	c 1369s |      15 |  5390879 |   128032 |    84705      2 |        5 |        0
1373.52/1373.94	c 1372s |      15 |  5397739 |   128232 |    84705      2 |        5 |        0
1376.82/1377.23	c 1376s |      15 |  5409550 |   128432 |    84705      2 |        5 |        0
1378.82/1379.25	c 1378s |      15 |  5417513 |   128632 |    84705      2 |        5 |        0
1380.92/1381.34	c 1380s |      15 |  5438097 |   128832 |    84705      2 |        5 |        0
1382.91/1383.37	c 1382s |      15 |  5443722 |   129032 |    84705      2 |        5 |        0
1385.51/1385.96	c 1384s |      15 |  5450670 |   129232 |    84705      2 |        5 |        0
1388.31/1388.71	c 1387s |      15 |  5461673 |   129532 |    84705      2 |        5 |        0
1391.01/1391.47	c 1390s |      15 |  5470933 |   129732 |    84705      2 |        5 |        0
1393.11/1393.52	c 1392s |      15 |  5474539 |   130032 |    84705      2 |        5 |        0
1395.11/1395.52	c 1394s |      15 |  5476439 |   130332 |    84705      2 |        5 |        0
1398.01/1398.41	c 1397s |      15 |  5482222 |   130532 |    84705      2 |        5 |        0
1400.41/1400.83	c 1399s |      15 |  5486544 |   130732 |    93176      2 |        5 |        0
1403.32/1403.71	c 1402s |      15 |  5491439 |   130932 |    93176      2 |        5 |        0
1405.61/1406.04	c 1405s |      15 |  5494659 |   131132 |    93176      2 |        5 |        0
1407.91/1408.33	c 1407s |      15 |  5506509 |   131332 |    93176      2 |        5 |        0
1410.41/1410.86	c 1409s |      15 |  5508881 |   131532 |    93176      2 |        5 |        0
1410.51/1410.99	c 1409s |      16 |  5509140 |   131552 |    93176      2 |        5 |        0
1414.22/1414.64	c 1413s |      16 |  5526311 |   131752 |    93176      2 |        5 |        0
1418.01/1418.45	c 1417s |      16 |  5538149 |   131952 |    93176      2 |        5 |        0
1420.51/1420.97	c 1419s |      16 |  5545892 |   132152 |    93176      2 |        5 |        0
1422.70/1423.15	c 1422s |      16 |  5561479 |   132352 |    93176      2 |        5 |        0
1425.00/1425.47	c 1424s |      16 |  5563665 |   132552 |    93176      2 |        5 |        0
1428.30/1428.73	c 1427s |      16 |  5567290 |   132852 |    93176      2 |        5 |        0
1430.90/1431.37	c 1430s |      16 |  5569291 |   133052 |    93176      2 |        5 |        0
1434.11/1434.57	c 1433s |      16 |  5572653 |   133252 |    93176      2 |        5 |        0
1437.70/1438.19	c 1437s |      16 |  5581450 |   133452 |    93176      2 |        5 |        0
1440.50/1440.98	c 1439s |      16 |  5586583 |   133652 |    93176      2 |        5 |        0
1443.30/1443.72	c 1442s |      16 |  5596423 |   133852 |    93176      2 |        5 |        0
1445.70/1446.17	c 1445s |      16 |  5603647 |   134052 |    93176      2 |        5 |        0
1447.90/1448.38	c 1447s |      16 |  5616596 |   134452 |    93176      2 |        5 |        0
1450.10/1450.50	c 1449s |      16 |  5618433 |   134652 |    93176      2 |        5 |        0
1452.20/1452.66	c 1451s |      16 |  5622386 |   134852 |    93176      2 |        5 |        0
1454.60/1455.07	c 1454s |      16 |  5626025 |   135152 |    93176      2 |        5 |        0
1456.70/1457.12	c 1456s |      16 |  5626548 |   135352 |    93176      2 |        5 |        0
1459.40/1459.87	c 1458s |      16 |  5636973 |   135652 |    93176      2 |        5 |        0
1462.10/1462.50	c 1461s |      16 |  5651549 |   135952 |    93176      2 |        5 |        0
1465.00/1465.46	c 1464s |      16 |  5661900 |   136252 |    93176      2 |        5 |        0
1467.20/1467.60	c 1466s |      16 |  5662779 |   136452 |    93176      2 |        5 |        0
1469.39/1469.88	c 1468s |      16 |  5672402 |   136652 |    93176      2 |        5 |        0
1472.19/1472.67	c 1471s |      16 |  5680608 |   136852 |    93176      2 |        5 |        0
1474.89/1475.31	c 1474s |      16 |  5689042 |   137052 |    93176      2 |        5 |        0
1477.69/1478.16	c 1477s |      16 |  5696102 |   137252 |    93176      2 |        5 |        0
1480.69/1481.13	c 1480s |      16 |  5702609 |   137452 |    93176      2 |        5 |        0
1482.69/1483.14	c 1482s |      16 |  5704146 |   137652 |    93176      2 |        5 |        0
1485.29/1485.71	c 1484s |      16 |  5705699 |   137852 |    93176      2 |        5 |        0
1488.09/1488.56	c 1487s |      16 |  5713653 |   138052 |    93176      2 |        5 |        0
1490.10/1490.59	c 1489s |      16 |  5726548 |   138252 |    93176      2 |        5 |        0
1492.59/1493.06	c 1492s |      16 |  5737772 |   138452 |    93176      2 |        5 |        0
1494.79/1495.27	c 1494s |      16 |  5754415 |   138652 |    93176      2 |        5 |        0
1496.99/1497.44	c 1496s |      16 |  5759964 |   138852 |    93176      2 |        5 |        0
1500.19/1500.66	c 1499s |      16 |  5763244 |   139152 |    93176      2 |        5 |        0
1503.09/1503.55	c 1502s |      16 |  5765627 |   139352 |    93176      2 |        5 |        0
1505.89/1506.33	c 1505s |      16 |  5767154 |   139552 |    93176      2 |        5 |        0
1508.99/1509.46	c 1508s |      16 |  5776773 |   139752 |    93176      2 |        5 |        0
1511.19/1511.66	c 1510s |      16 |  5794832 |   139952 |    93176      2 |        5 |        0
1513.69/1514.11	c 1513s |      16 |  5799396 |   140152 |    93176      2 |        5 |        0
1516.19/1516.64	c 1515s |      16 |  5807046 |   140352 |    93176      2 |        5 |        0
1518.79/1519.29	c 1518s |      16 |  5810774 |   140552 |    93176      2 |        5 |        0
1521.69/1522.17	c 1521s |      16 |  5821796 |   140752 |    93176      2 |        5 |        0
1523.89/1524.37	c 1523s |      16 |  5829835 |   140952 |    93176      2 |        5 |        0
1526.69/1527.10	c 1526s |      16 |  5837296 |   141152 |    93176      2 |        5 |        0
1528.79/1529.28	c 1528s |      16 |  5844581 |   141552 |    93176      2 |        5 |        0
1531.09/1531.54	c 1530s |      16 |  5847820 |   141952 |    93176      2 |        5 |        0
1533.09/1533.57	c 1532s |      16 |  5852370 |   142252 |    93176      2 |        5 |        0
1535.58/1536.03	c 1534s |      16 |  5854769 |   142552 |    93176      2 |        5 |        0
1537.58/1538.08	c 1537s |      16 |  5855392 |   142752 |    93176      2 |        5 |        0
1539.98/1540.42	c 1539s |      16 |  5856787 |   142952 |    93176      2 |        5 |        0
1542.68/1543.12	c 1542s |      16 |  5859519 |   143152 |    93176      2 |        5 |        0
1544.98/1545.41	c 1544s |      16 |  5866183 |   143352 |    93176      2 |        5 |        0
1547.48/1547.96	c 1546s |      16 |  5877097 |   143552 |    93176      2 |        5 |        0
1549.68/1550.19	c 1549s |      16 |  5889053 |   143752 |    93176      2 |        5 |        0
1551.88/1552.40	c 1551s |      16 |  5891373 |   143952 |    93176      2 |        5 |        0
1554.18/1554.63	c 1553s |      16 |  5892714 |   144152 |    93176      2 |        5 |        0
1557.08/1557.50	c 1556s |      16 |  5897604 |   144452 |    93176      2 |        5 |        0
1560.28/1560.77	c 1559s |      16 |  5902528 |   144652 |    93176      2 |        5 |        0
1562.48/1562.97	c 1561s |      16 |  5914429 |   144852 |    93176      2 |        5 |        0
1564.89/1565.37	c 1564s |      16 |  5920231 |   145052 |    93176      2 |        5 |        0
1567.58/1568.01	c 1566s |      16 |  5926640 |   145252 |    93176      2 |        5 |        0
1569.58/1570.03	c 1568s |      16 |  5933656 |   145452 |    93176      2 |        5 |        0
1572.18/1572.61	c 1571s |      16 |  5935904 |   145652 |    93176      2 |        5 |        0
1574.18/1574.65	c 1573s |      16 |  5939055 |   145952 |    93176      2 |        5 |        0
1576.58/1577.04	c 1575s |      16 |  5942594 |   146252 |    93176      2 |        5 |        0
1579.68/1580.14	c 1579s |      16 |  5948877 |   146552 |    93176      2 |        5 |        0
1581.98/1582.44	c 1581s |      16 |  5952099 |   146752 |    93176      2 |        5 |        0
1584.38/1584.82	c 1583s |      16 |  5954954 |   146952 |    93176      2 |        5 |        0
1586.67/1587.11	c 1586s |      16 |  5955992 |   147152 |    93176      2 |        5 |        0
1588.77/1589.29	c 1588s |      16 |  5956703 |   147352 |    93176      2 |        5 |        0
1591.38/1591.85	c 1590s |      16 |  5957694 |   147552 |    93176      2 |        5 |        0
1594.07/1594.58	c 1593s |      16 |  5960916 |   147752 |    93176      2 |        5 |        0
1596.27/1596.73	c 1595s |      16 |  5963055 |   147952 |    93176      2 |        5 |        0
1598.37/1598.85	c 1597s |      16 |  5965544 |   148152 |    93176      2 |        5 |        0
1601.28/1601.77	c 1600s |      16 |  5969091 |   148452 |    93176      2 |        5 |        0
1603.87/1604.33	c 1603s |      16 |  5970077 |   148652 |    93176      2 |        5 |        0
1605.87/1606.36	c 1605s |      16 |  5973116 |   148852 |    93176      2 |        5 |        0
1607.97/1608.46	c 1607s |      16 |  5974771 |   149052 |    93176      2 |        5 |        0
1610.67/1611.12	c 1610s |      16 |  5975870 |   149252 |    93176      2 |        5 |        0
1613.17/1613.61	c 1612s |      16 |  5979982 |   149552 |    93176      2 |        5 |        0
1615.17/1615.69	c 1614s |      16 |  5981121 |   149752 |    93176      2 |        5 |        0
1618.07/1618.53	c 1617s |      16 |  5985222 |   150052 |    93176      2 |        5 |        0
1621.27/1621.74	c 1620s |      16 |  5992231 |   150352 |    93176      2 |        5 |        0
1624.17/1624.70	c 1623s |      16 |  6009747 |   150652 |    93176      2 |        5 |        0
1626.77/1627.22	c 1626s |      16 |  6023790 |   150952 |    93176      2 |        5 |        0
1629.78/1630.27	c 1629s |      16 |  6031931 |   151252 |    93176      2 |        5 |        0
1631.87/1632.34	c 1631s |      16 |  6036706 |   151452 |    93176      2 |        5 |        0
1634.87/1635.30	c 1634s |      16 |  6043553 |   151752 |    93176      2 |        5 |        0
1637.37/1637.84	c 1636s |      16 |  6060818 |   152052 |    93176      2 |        5 |        0
1639.47/1639.95	c 1638s |      16 |  6063401 |   152252 |    93176      2 |        5 |        0
1641.77/1642.26	c 1641s |      16 |  6064834 |   152452 |    93176      2 |        5 |        0
1643.97/1644.40	c 1643s |      16 |  6067114 |   152752 |    93176      2 |        5 |        0
1646.57/1647.09	c 1646s |      16 |  6070876 |   153152 |    93176      2 |        5 |        0
1649.47/1649.95	c 1648s |      16 |  6072489 |   153452 |    93176      2 |        5 |        0
1652.27/1652.79	c 1651s |      16 |  6075070 |   153752 |    93176      2 |        5 |        0
1654.47/1654.92	c 1653s |      16 |  6076148 |   153952 |    93176      2 |        5 |        0
1657.07/1657.56	c 1656s |      16 |  6077467 |   154152 |    93176      2 |        5 |        0
1659.77/1660.25	c 1659s |      16 |  6078446 |   154452 |    93176      2 |        5 |        0
1662.37/1662.89	c 1661s |      16 |  6080502 |   154752 |    93176      2 |        5 |        0
1664.77/1665.23	c 1664s |      16 |  6082670 |   155052 |    93176      2 |        5 |        0
1667.47/1667.96	c 1666s |      16 |  6086184 |   155252 |    93176      2 |        5 |        0
1670.27/1670.77	c 1669s |      16 |  6091764 |   155452 |    93176      2 |        5 |        0
1673.27/1673.70	c 1672s |      16 |  6096426 |   155652 |    93176      2 |        5 |        0
1676.17/1676.67	c 1675s |      16 |  6100422 |   155852 |    93176      2 |        5 |        0
1679.38/1679.82	c 1678s |      16 |  6106429 |   156052 |    93176      2 |        5 |        0
1681.87/1682.36	c 1681s |      16 |  6108402 |   156252 |    93176      2 |        5 |        0
1683.97/1684.45	c 1683s |      16 |  6113645 |   156452 |    93176      2 |        5 |        0
1686.67/1687.11	c 1686s |      16 |  6117541 |   156752 |    93176      2 |        5 |        0
1689.67/1690.11	c 1689s |      16 |  6120477 |   157052 |    93176      2 |        5 |        0
1692.17/1692.62	c 1691s |      16 |  6124991 |   157252 |    93176      2 |        5 |        0
1694.87/1695.31	c 1694s |      16 |  6127038 |   157452 |    93176      2 |        5 |        0
1697.47/1697.91	c 1696s |      16 |  6128538 |   157652 |    93176      2 |        5 |        0
1699.67/1700.12	c 1699s |      16 |  6129299 |   157852 |    93176      2 |        5 |        0
1701.87/1702.34	c 1701s |      16 |  6133060 |   158052 |    93176      2 |        5 |        0
1703.97/1704.48	c 1703s |      16 |  6134809 |   158252 |    93176      2 |        5 |        0
1706.96/1707.42	c 1706s |      16 |  6138753 |   158452 |    93176      2 |        5 |        0
1709.36/1709.85	c 1708s |      16 |  6155095 |   158652 |    93176      2 |        5 |        0
1711.86/1712.38	c 1711s |      16 |  6162530 |   158952 |    93176      2 |        5 |        0
1715.46/1715.90	c 1714s |      16 |  6164491 |   159252 |    93176      2 |        5 |        0
1717.87/1718.32	c 1717s |      16 |  6172054 |   159452 |    93176      2 |        5 |        0
1720.07/1720.57	c 1719s |      16 |  6177606 |   159652 |    93176      2 |        5 |        0
1722.36/1722.89	c 1721s |      16 |  6178694 |   159852 |    93176      2 |        5 |        0
1724.76/1725.27	c 1724s |      16 |  6179429 |   160052 |    93176      2 |        5 |        0
1726.96/1727.47	c 1726s |      16 |  6181000 |   160252 |    93176      2 |        5 |        0
1729.06/1729.53	c 1728s |      16 |  6182687 |   160452 |    93176      2 |        5 |        0
1731.86/1732.34	c 1731s |      16 |  6186900 |   160752 |    93176      2 |        5 |        0
1734.06/1734.57	c 1733s |      16 |  6187927 |   160952 |    93176      2 |        5 |        0
1736.26/1736.75	c 1735s |      16 |  6188635 |   161152 |    93176      2 |        5 |        0
1738.46/1738.93	c 1737s |      16 |  6195398 |   161352 |    93176      2 |        5 |        0
1741.06/1741.56	c 1740s |      16 |  6197684 |   161552 |    93176      2 |        5 |        0
1744.06/1744.51	c 1743s |      16 |  6199451 |   161752 |    93176      2 |        5 |        0
1746.56/1747.04	c 1746s |      16 |  6200986 |   161952 |    93176      2 |        5 |        0
1748.76/1749.27	c 1748s |      16 |  6201923 |   162152 |    93176      2 |        5 |        0
1751.86/1752.35	c 1751s |      16 |  6203792 |   162352 |    93176      2 |        5 |        0
1754.06/1754.53	c 1753s |      16 |  6214081 |   162552 |    93176      2 |        5 |        0
1756.66/1757.15	c 1756s |      16 |  6215554 |   162752 |    93176      2 |        5 |        0
1759.35/1759.88	c 1758s |      16 |  6217762 |   162952 |    93176      2 |        5 |        0
1761.55/1762.02	c 1760s |      16 |  6218555 |   163152 |    93176      2 |        5 |        0
1764.06/1764.52	c 1763s |      16 |  6219493 |   163452 |    93176      2 |        5 |        0
1767.26/1767.72	c 1766s |      16 |  6220767 |   163652 |    93176      2 |        5 |        0
1769.65/1770.19	c 1769s |      16 |  6224231 |   163852 |    93176      2 |        5 |        0
1772.55/1773.08	c 1772s |      16 |  6233482 |   164052 |    93176      2 |        5 |        0
1775.45/1775.96	c 1774s |      16 |  6249378 |   164352 |    93176      2 |        5 |        0
1778.15/1778.66	c 1777s |      16 |  6252752 |   164552 |    93176      2 |        5 |        0
1780.35/1780.83	c 1779s |      16 |  6261860 |   164752 |    93176      2 |        5 |        0
1782.76/1783.24	c 1782s |      16 |  6267188 |   164952 |    93176      2 |        5 |        0
1785.15/1785.64	c 1784s |      16 |  6276825 |   165152 |    93176      2 |        5 |        0
1787.35/1787.83	c 1786s |      16 |  6279300 |   165352 |    93176      2 |        5 |        0
1790.15/1790.62	c 1789s |      16 |  6280665 |   165652 |    93176      2 |        5 |        0
1792.75/1793.24	c 1792s |      16 |  6282273 |   165852 |    93176      2 |        5 |        0
1795.65/1796.10	c 1795s |      16 |  6283661 |   166052 |    93176      2 |        5 |        0
1799.26/1799.77	c 1798s |      16 |  6286082 |   166252 |    93176      2 |        5 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

pid=12669
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.09 2.07 2.01 3/179 12672
/proc/meminfo: memFree=30491868/32872528 swapFree=11196/354588
[pid=12672] ppid=12669 vsize=691644 CPUtime=0 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 8429 0 -1 4202496 2571 0 0 0 0 0 0 0 20 0 4 0 107111430 708243456 3442 33554432000 4194304 16246674 140733751785984 140733751785408 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12672/statm: 173423 3451 441 2943 0 170317 0
[pid=12672/tid=12673] ppid=12669 vsize=710076 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107111431 727117824 3513 33554432000 4194304 16246674 140733751785984 139916103101680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=714172 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107111431 731312128 3532 33554432000 4194304 16246674 140733751785984 139916092611824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=719292 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107111431 736555008 3551 33554432000 4194304 16246674 140733751785984 139916008746160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100181 s]
/proc/loadavg: 2.09 2.07 2.01 3/179 12672
/proc/meminfo: memFree=30491868/32872528 swapFree=11196/354588
[pid=12672] ppid=12669 vsize=1220164 CPUtime=0.08 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 8429 0 -1 4202496 28375 0 0 0 4 4 0 0 20 0 4 0 107111430 1249447936 29184 33554432000 4194304 16246674 140733751785984 140733751785296 4220897 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12672/statm: 305041 29184 800 2943 0 301935 0
[pid=12672/tid=12673] ppid=12669 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107111431 1249447936 29184 33554432000 4194304 16246674 140733751785984 139916103101680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107111431 1249447936 29184 33554432000 4194304 16246674 140733751785984 139916092611824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107111431 1249447936 29184 33554432000 4194304 16246674 140733751785984 139916008746160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200543 s]
/proc/loadavg: 2.09 2.07 2.01 3/179 12672
/proc/meminfo: memFree=30491868/32872528 swapFree=11196/354588
[pid=12672] ppid=12669 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 8429 0 -1 4202496 50637 0 0 0 11 8 0 0 20 0 4 0 107111430 1343819776 51957 33554432000 4194304 16246674 140733751785984 140733751785296 4221016 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12672/statm: 328081 51959 801 2943 0 324975 0
[pid=12672/tid=12673] ppid=12669 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107111431 1343819776 51963 33554432000 4194304 16246674 140733751785984 139916103101680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107111431 1343819776 51967 33554432000 4194304 16246674 140733751785984 139916092611824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107111431 1343819776 51971 33554432000 4194304 16246674 140733751785984 139916008746160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300504 s]
/proc/loadavg: 2.09 2.07 2.01 3/179 12672
/proc/meminfo: memFree=30491868/32872528 swapFree=11196/354588
[pid=12672] ppid=12669 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 8429 0 -1 4202496 59635 0 0 0 19 10 0 0 20 0 4 0 107111430 1344868352 60955 33554432000 4194304 16246674 140733751785984 140733751785296 14073329 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12672/statm: 328337 60955 801 2943 0 325231 0
[pid=12672/tid=12673] ppid=12669 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107111431 1344868352 60955 33554432000 4194304 16246674 140733751785984 139916103101680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107111431 1344868352 60955 33554432000 4194304 16246674 140733751785984 139916092611824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107111431 1344868352 60955 33554432000 4194304 16246674 140733751785984 139916008746160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700412 s]
/proc/loadavg: 2.09 2.07 2.01 3/179 12672
/proc/meminfo: memFree=30491868/32872528 swapFree=11196/354588
[pid=12672] ppid=12669 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 8429 0 -1 4202496 112942 0 0 0 52 17 0 0 20 0 4 0 107111430 1344868352 114262 33554432000 4194304 16246674 140733751785984 140733751767872 13954914 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12672/statm: 328337 114272 837 2943 0 325231 0
[pid=12672/tid=12673] ppid=12669 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107111431 1344868352 114277 33554432000 4194304 16246674 140733751785984 139916103101680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107111431 1344868352 114285 33554432000 4194304 16246674 140733751785984 139916092611824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107111431 1344868352 114291 33554432000 4194304 16246674 140733751785984 139916008746160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.09 2.07 2.01 3/183 12676
/proc/meminfo: memFree=29863368/32872528 swapFree=11196/354588
[pid=12672] ppid=12669 vsize=1324612 CPUtime=1.49 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 8429 0 -1 4202496 156080 0 0 0 125 24 0 0 20 0 4 0 107111430 1356402688 157400 33554432000 4194304 16246674 140733751785984 140733751767872 5827966 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12672/statm: 331153 157400 885 2943 0 328047 0
[pid=12672/tid=12673] ppid=12669 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107111431 1356402688 157400 33554432000 4194304 16246674 140733751785984 139916103101680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107111431 1356402688 157400 33554432000 4194304 16246674 140733751785984 139916092611824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107111431 1356402688 157400 33554432000 4194304 16246674 140733751785984 139916008746160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1324612

[startup+3.10042 s]
/proc/loadavg: 2.09 2.07 2.01 3/183 12676
/proc/meminfo: memFree=29755976/32872528 swapFree=11196/354588
[pid=12672] ppid=12669 vsize=1324612 CPUtime=3.08 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 8429 0 -1 4202496 271826 0 0 0 270 38 0 0 20 0 4 0 107111430 1356402688 273146 33554432000 4194304 16246674 140733751785984 140733751767872 5677716 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12672/statm: 331153 273146 888 2943 0 328047 0
[pid=12672/tid=12673] ppid=12669 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107111431 1356402688 273146 33554432000 4194304 16246674 140733751785984 139916103101680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107111431 1356402688 273146 33554432000 4194304 16246674 140733751785984 139916092611824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107111431 1356402688 273146 33554432000 4194304 16246674 140733751785984 139916008746160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1324612

[startup+6.30043 s]
/proc/loadavg: 2.08 2.07 2.01 3/183 12676
/proc/meminfo: memFree=29400364/32872528 swapFree=11196/354588
[pid=12672] ppid=12669 vsize=1324612 CPUtime=6.28 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 8429 0 -1 4202496 271831 0 0 0 590 38 0 0 20 0 4 0 107111430 1356402688 273151 33554432000 4194304 16246674 140733751785984 140733751767872 5822428 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12672/statm: 331153 273151 892 2943 0 328047 0
[pid=12672/tid=12673] ppid=12669 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107111431 1356402688 273151 33554432000 4194304 16246674 140733751785984 139916103101680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107111431 1356402688 273151 33554432000 4194304 16246674 140733751785984 139916092611824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107111431 1356402688 273151 33554432000 4194304 16246674 140733751785984 139916008746160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1324612

[startup+12.7004 s]
/proc/loadavg: 2.08 2.07 2.01 3/182 12676
/proc/meminfo: memFree=29400144/32872528 swapFree=11196/354588
[pid=12672] ppid=12669 vsize=1324612 CPUtime=12.68 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 8429 0 -1 4202496 271831 0 0 0 1230 38 0 0 20 0 4 0 107111430 1356402688 273151 33554432000 4194304 16246674 140733751785984 140733751767872 12483636 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12672/statm: 331153 273151 892 2943 0 328047 0
[pid=12672/tid=12673] ppid=12669 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107111431 1356402688 273151 33554432000 4194304 16246674 140733751785984 139916103101680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107111431 1356402688 273151 33554432000 4194304 16246674 140733751785984 139916092611824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107111431 1356402688 273151 33554432000 4194304 16246674 140733751785984 139916008746160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1324612

[startup+25.5005 s]
/proc/loadavg: 2.06 2.06 2.01 3/183 12677
/proc/meminfo: memFree=29400656/32872528 swapFree=11196/354588
[pid=12672] ppid=12669 vsize=1324612 CPUtime=25.48 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 8429 0 -1 4202496 271831 0 0 0 2510 38 0 0 20 0 4 0 107111430 1356402688 273151 33554432000 4194304 16246674 140733751785984 140733751767872 5823275 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12672/statm: 331153 273151 892 2943 0 328047 0
[pid=12672/tid=12673] ppid=12669 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107111431 1356402688 273151 33554432000 4194304 16246674 140733751785984 139916103101680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107111431 1356402688 273151 33554432000 4194304 16246674 140733751785984 139916092611824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107111431 1356402688 273151 33554432000 4194304 16246674 140733751785984 139916008746160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1324612

[startup+51.1005 s]
/proc/loadavg: 2.04 2.06 2.01 3/183 12726
/proc/meminfo: memFree=29425532/32872528 swapFree=11196/354588
[pid=12672] ppid=12669 vsize=1324612 CPUtime=51.07 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 8429 0 -1 4202496 271832 0 0 0 5069 38 0 0 20 0 4 0 107111430 1356402688 273154 33554432000 4194304 16246674 140733751785984 140733751767872 5677667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12672/statm: 331153 273154 892 2943 0 328047 0
[pid=12672/tid=12673] ppid=12669 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107111431 1356402688 273154 33554432000 4194304 16246674 140733751785984 139916103101680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107111431 1356402688 273154 33554432000 4194304 16246674 140733751785984 139916092611824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107111431 1356402688 273154 33554432000 4194304 16246674 140733751785984 139916008746160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1324612

[startup+102.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/183 12727
/proc/meminfo: memFree=29424712/32872528 swapFree=11196/354588
[pid=12672] ppid=12669 vsize=1324612 CPUtime=102.27 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 8429 0 -1 4202496 271837 0 0 0 10188 39 0 0 20 0 4 0 107111430 1356402688 273154 33554432000 4194304 16246674 140733751785984 140733751767872 5672743 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12672/statm: 331153 273154 892 2943 0 328047 0
[pid=12672/tid=12673] ppid=12669 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107111431 1356402688 273154 33554432000 4194304 16246674 140733751785984 139916103101680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107111431 1356402688 273154 33554432000 4194304 16246674 140733751785984 139916092611824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107111431 1356402688 273154 33554432000 4194304 16246674 140733751785984 139916008746160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1324612


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

/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107111431 1387859968 280838 33554432000 4194304 16246674 140733751785984 139916008746160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1355332

[startup+1362.3 s]
/proc/loadavg: 2.05 2.09 2.06 3/183 12758
/proc/meminfo: memFree=29383048/32872528 swapFree=11196/354588
[pid=12672] ppid=12669 vsize=1355332 CPUtime=1361.92 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 8429 0 -1 4202496 279794 0 0 0 136139 53 0 0 20 0 4 0 107111430 1387859968 280838 33554432000 4194304 16246674 140733751785984 140733751767872 12483674 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12672/statm: 338833 280838 896 2943 0 335727 0
[pid=12672/tid=12673] ppid=12669 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107111431 1387859968 280838 33554432000 4194304 16246674 140733751785984 139916103101680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107111431 1387859968 280838 33554432000 4194304 16246674 140733751785984 139916092611824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107111431 1387859968 280838 33554432000 4194304 16246674 140733751785984 139916008746160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1355332

[startup+1422.3 s]
/proc/loadavg: 2.10 2.10 2.07 3/183 12759
/proc/meminfo: memFree=29383104/32872528 swapFree=11196/354588
[pid=12672] ppid=12669 vsize=1355332 CPUtime=1421.91 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 8429 0 -1 4202496 279794 0 0 0 142138 53 0 0 20 0 4 0 107111430 1387859968 280838 33554432000 4194304 16246674 140733751785984 140733751767872 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12672/statm: 338833 280838 896 2943 0 335727 0
[pid=12672/tid=12673] ppid=12669 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107111431 1387859968 280838 33554432000 4194304 16246674 140733751785984 139916103101680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107111431 1387859968 280838 33554432000 4194304 16246674 140733751785984 139916092611824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107111431 1387859968 280838 33554432000 4194304 16246674 140733751785984 139916008746160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1355332

[startup+1482.3 s]
/proc/loadavg: 2.17 2.11 2.07 3/183 12760
/proc/meminfo: memFree=29375168/32872528 swapFree=11196/354588
[pid=12672] ppid=12669 vsize=1363524 CPUtime=1481.89 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 8429 0 -1 4202496 281842 0 0 0 148136 53 0 0 20 0 4 0 107111430 1396248576 282886 33554432000 4194304 16246674 140733751785984 140733751767872 5717462 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12672/statm: 340881 282886 896 2943 0 337775 0
[pid=12672/tid=12673] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916103101680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916092611824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916008746160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1363524

[startup+1542.31 s]
/proc/loadavg: 2.17 2.12 2.08 3/182 12761
/proc/meminfo: memFree=29375308/32872528 swapFree=11196/354588
[pid=12672] ppid=12669 vsize=1363524 CPUtime=1541.89 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 8429 0 -1 4202496 281842 0 0 0 154136 53 0 0 20 0 4 0 107111430 1396248576 282886 33554432000 4194304 16246674 140733751785984 140733751767872 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12672/statm: 340881 282886 896 2943 0 337775 0
[pid=12672/tid=12673] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916103101680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916092611824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916008746160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1363524

[startup+1602.3 s]
/proc/loadavg: 2.11 2.11 2.08 3/183 12763
/proc/meminfo: memFree=29375176/32872528 swapFree=11196/354588
[pid=12672] ppid=12669 vsize=1363524 CPUtime=1601.87 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 8429 0 -1 4202496 281842 0 0 0 160134 53 0 0 20 0 4 0 107111430 1396248576 282886 33554432000 4194304 16246674 140733751785984 140733751783936 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12672/statm: 340881 282886 896 2943 0 337775 0
[pid=12672/tid=12673] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916103101680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916092611824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916008746160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1363524

[startup+1662.3 s]
/proc/loadavg: 2.09 2.10 2.08 3/184 12767
/proc/meminfo: memFree=29361788/32872528 swapFree=11196/354588
[pid=12672] ppid=12669 vsize=1363524 CPUtime=1661.87 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 8429 0 -1 4202496 281842 0 0 0 166133 54 0 0 20 0 4 0 107111430 1396248576 282886 33554432000 4194304 16246674 140733751785984 140733751767872 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12672/statm: 340881 282886 896 2943 0 337775 0
[pid=12672/tid=12673] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916103101680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916092611824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916008746160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1363524

[startup+1722.3 s]
/proc/loadavg: 2.03 2.08 2.07 3/183 12768
/proc/meminfo: memFree=29361796/32872528 swapFree=11196/354588
[pid=12672] ppid=12669 vsize=1363524 CPUtime=1721.86 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 8429 0 -1 4202496 281842 0 0 0 172132 54 0 0 20 0 4 0 107111430 1396248576 282886 33554432000 4194304 16246674 140733751785984 140733751767872 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12672/statm: 340881 282886 896 2943 0 337775 0
[pid=12672/tid=12673] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916103101680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916092611824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916008746160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1363524

[startup+1782.3 s]
/proc/loadavg: 2.12 2.10 2.07 3/183 12769
/proc/meminfo: memFree=29361424/32872528 swapFree=11196/354588
[pid=12672] ppid=12669 vsize=1363524 CPUtime=1781.85 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 8429 0 -1 4202496 281842 0 0 0 178131 54 0 0 20 0 4 0 107111430 1396248576 282886 33554432000 4194304 16246674 140733751785984 140733751767872 5674844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12672/statm: 340881 282886 896 2943 0 337775 0
[pid=12672/tid=12673] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916103101680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916092611824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916008746160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1363524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.10 2.09 2.07 3/183 12769
/proc/meminfo: memFree=29361428/32872528 swapFree=11196/354588
[pid=12672] ppid=12669 vsize=1363524 CPUtime=1800.05 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 8429 0 -1 4202496 281842 0 0 0 179951 54 0 0 20 0 4 0 107111430 1396248576 282886 33554432000 4194304 16246674 140733751785984 140733751767872 13820945 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12672/statm: 340881 282886 896 2943 0 337775 0
[pid=12672/tid=12673] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916103101680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916092611824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916008746160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1363524

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

[startup+1800.5 s]
/proc/loadavg: 2.10 2.09 2.07 3/183 12769
/proc/meminfo: memFree=29361428/32872528 swapFree=11196/354588
[pid=12672] ppid=12669 vsize=1363524 CPUtime=1800.05 cores=1,3,5,7
/proc/12672/stat : 12672 (toysat) R 12669 12672 8429 0 -1 4202496 281842 0 0 0 179951 54 0 0 20 0 4 0 107111430 1396248576 282886 33554432000 4194304 16246674 140733751785984 140733751767872 13820945 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12672/statm: 340881 282886 896 2943 0 337775 0
[pid=12672/tid=12673] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12673/stat : 12673 (toysat) S 12669 12672 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916103101680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=12672/tid=12674] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12674/stat : 12674 (toysat) S 12669 12672 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916092611824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=12672/tid=12675] ppid=12669 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/12672/task/12675/stat : 12675 (toysat) S 12669 12672 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107111431 1396248576 282886 33554432000 4194304 16246674 140733751785984 139916008746160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1363524

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.52
CPU system time (s): 0.543917
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 1363524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.543917
maximum resident set size= 1131544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281842
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= 294
involuntary context switches= 1982

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.32519 second user time and 7.83681 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 00:23:00
IDJOB=4079823
IDBENCH=25014
IDSOLVER=2542
FILE ID=node126/4079823-1465251780
RUNJOBID= node126-1465218023-8446
PBS_JOBID= 19843210
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_7.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079823-1465251780/watcher-4079823-1465251780 -o /tmp/evaluation-result-4079823-1465251780/solver-4079823-1465251780 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8446 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079823-1465251780.opb

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

MD5SUM BENCH= 7da351a6b3346c83b923d96056c07b3e
RANDOM SEED=1598614941

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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:        30492428 kB
Buffers:           57656 kB
Cached:           140176 kB
SwapCached:         2244 kB
Active:          1210768 kB
Inactive:         114188 kB
Active(anon):    1127132 kB
Inactive(anon):     2384 kB
Active(file):      83636 kB
Inactive(file):   111804 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098552 kB
Dirty:             17484 kB
Writeback:             0 kB
AnonPages:       1595100 kB
Mapped:            10900 kB
Shmem:                 0 kB
Slab:             568300 kB
SReclaimable:      12552 kB
SUnreclaim:       555748 kB
KernelStack:        1520 kB
PageTables:         7472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1623628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1572864 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 node126 at 2016-06-07 00:53:00