Trace number 4099953

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.05 1800.43

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10c.opb
MD5SUM7b94c3aac6895e79f8b40603fea93848
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.025995
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables3100
Total number of constraints120
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint31
Maximum length of a constraint300
Number of terms in the objective function 3100
Biggest coefficient in the objective function 4915
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 526817
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 526817
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T02:29:05+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-4099953-1466209745.opb"]
0.00/0.01	c use --random-gen="253273618 2411763734 2708618413 1475375667 1159993698 3352335767 2195361817 1445176139 2033847188 2509203209 2267104806 3952093276 1383791421 1925240667 3370792889 2968903365 3266620453 45848711 2886992350 2203485587 3474694085 121155108 3922092648 2699703212 3309513098 4096874968 2465749611 135038253 3973719136 2197789060 3055454072 2926469388 1218453077 701530724 2665219364 2814706398 2024024983 3259405756 1447736769 844089266 1234733520 1894674977 4289403875 1550583914 3065904519 4203317590 3688992085 3588770216 3714820503 325786455 2154022568 1830719206 2888802720 2448484076 2005553337 2768993048 322541320 1276191843 794826864 1123343742 3555733584 481630336 369900564 1851574721 2478024936 3900906937 3464375775 188731267 654185647 2645636590 3991172522 1519427616 1840739367 1556827232 3919393660 2241984072 1167494609 2313745552 2905373345 2479286304 3991683399 3254349728 2073371332 1309521131 4062974067 3492043995 3431243092 612974222 2903594012 204656280 415093607 3466983184 1164726975 949110175 4201916557 567039703 2562989487 752758191 3316648162 2041431469 3369537177 1367953533 492878987 985700913 579347899 2973837751 875560344 1684000134 372603797 1980222091 3374887046 348973621 2279385947 1958273788 2409551297 152439549 3692782845 3863108029 2745490404 1308975389 2963762267 4119197549 883744551 897496518 1968024838 795062980 667830822 1318876986 3600776646 3800120756 53909222 2628438173 3436192929 342763504 1043263878 4198469180 2902136224 1267023203 766821790 823213891 3264258141 43164525 2919707557 576912930 2109235322 1418117113 2821648335 2505910714 1915188829 1177806400 2818897855 3834054037 2636258359 4194109765 1982341380 3569930253 1018742988 3497184044 3183063396 420483215 1800557798 3475858800 2997038243 1076844114 242566435 3991334222 333818253 2581170633 551569188 1908665109 226765259 40438496 687992362 1457049732 288241785 3757762934 1801277315 3483794526 2598237398 1088636893 2940836800 101397753 3327386150 2811319920 2758668744 576280890 1649320180 1803293349 3949799732 3223698951 3322041245 3129707873 1674133403 2386726612 789780128 1872935664 2854409314 470618209 519540036 1765419704 1090303550 671438163 4018809646 3242474538 206539357 36243079 1045014554 63887749 420907918 2407114426 2544598460 290128439 3773086735 3172234729 973307679 3881109049 2805732828 166327546 4190124521 7873254 1310591404 2893645169 2862729009 1544034825 3299578257 1306194490 461455714 2610998773 1864892843 2398447671 2935978461 3228936600 866163279 2145167022 425988307 4032744587 1723657541 1532411503 2788637301 4074331272 4045805474 3937349292 2951649066 3461030799 2887433930 2091532660 3554961463 319020751 4134692586 3289995951 2876828989 3202770048 3769947925 1840416316 1849369173 3110196143 255 362436" option to reproduce the execution
0.00/0.04	c #vars 3100
0.00/0.04	c #constraints 120
0.00/0.07	c BCD2: Hardening is enabled.
0.00/0.07	c BCD2: BiasedSearch is enabled.
0.00/0.07	c Solving starts ...
0.00/0.07	c ============================[ Search Statistics ]============================
0.00/0.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.07	c =============================================================================
0.00/0.07	c  0.0s |       0 |        0 |        0 |     1080      0 |     1688 |        0
0.19/0.21	c  0.1s |       1 |      577 |      100 |     1080      0 |     1688 |        0
0.59/0.60	c  0.5s |       2 |     1817 |      250 |     1188      0 |     1688 |        0
0.89/0.92	c  0.9s |       3 |     2841 |      475 |     1307      0 |     1688 |        0
1.49/1.56	c  1.5s |       4 |     5008 |      813 |     1438      0 |     1688 |        0
2.30/2.37	c  2.3s |       5 |     7665 |     1320 |     1582      0 |     1688 |        0
3.89/3.99	c  3.9s |       6 |    11442 |     2081 |     1916      0 |     1688 |        0
6.09/6.11	c  6.0s |       6 |    16127 |     3181 |     1916      0 |     1688 |        0
6.19/6.21	c  6.1s |       7 |    16207 |     3223 |     2108      0 |     1688 |        0
8.19/8.22	c  8.2s |       7 |    23759 |     4123 |     2108      0 |     1688 |        0
10.29/10.39	c 10.3s |       7 |    26433 |     4823 |     2108      0 |     1688 |        0
10.79/10.87	c 10.8s |       8 |    26988 |     4936 |     2319      0 |     1688 |        0
12.99/13.03	c 13.0s |       8 |    33338 |     6136 |     2319      1 |     1688 |        0
14.99/15.09	c 15.0s |       8 |    36803 |     6936 |     2319      1 |     1688 |        0
16.99/17.09	c 17.0s |       9 |    38502 |     7506 |     2551      1 |     1688 |        0
19.09/19.19	c 19.1s |       9 |    42173 |     8206 |     2551      2 |     1688 |        0
21.58/21.65	c 21.6s |       9 |    44767 |     8906 |     2551      2 |     1688 |        0
23.78/23.85	c 23.8s |       9 |    64203 |     9706 |     2551      3 |     1688 |        0
25.78/25.85	c 25.8s |       9 |    84106 |    10706 |     2551      3 |     1688 |        0
27.18/27.20	c 27.1s |      10 |    87740 |    11361 |     2807      3 |     1688 |        0
29.18/29.23	c 29.2s |      10 |   109091 |    12261 |     2807      3 |     1688 |        0
31.29/31.33	c 31.3s |      10 |   117300 |    13261 |     2807      4 |     1688 |        0
33.49/33.54	c 33.5s |      10 |   122819 |    13961 |     2807      4 |     1688 |        0
35.78/35.82	c 35.8s |      10 |   129080 |    14961 |     2807      4 |     1688 |        0
37.78/37.87	c 37.8s |      10 |   143180 |    15861 |     2807      5 |     1688 |        0
40.08/40.13	c 40.1s |      10 |   148677 |    16661 |     2807      5 |     1688 |        0
41.99/42.03	c 42.0s |      11 |   152831 |    17144 |     3088      5 |     1688 |        0
44.19/44.23	c 44.2s |      11 |   157678 |    17844 |     3088      5 |     1688 |        0
46.68/46.79	c 46.7s |      11 |   162837 |    18344 |     3088      6 |     1688 |        0
49.69/49.74	c 49.7s |      11 |   165022 |    18744 |     3088      6 |     1688 |        0
52.09/52.12	c 52.0s |      11 |   165775 |    18944 |     3088      6 |     1688 |        0
54.18/54.20	c 54.1s |      11 |   166809 |    19144 |     3088      6 |     1688 |        0
56.29/56.36	c 56.3s |      11 |   168383 |    19544 |     3088      6 |     1688 |        0
58.39/58.50	c 58.4s |      11 |   170047 |    19844 |     3088      6 |     1688 |        0
60.88/60.91	c 60.8s |      11 |   174646 |    20144 |     3088      6 |     1688 |        0
63.78/63.89	c 63.8s |      11 |   175672 |    20344 |     3088      6 |     1688 |        0
66.98/67.07	c 67.0s |      11 |   177935 |    20644 |     3088      6 |     1688 |        0
70.08/70.16	c 70.1s |      11 |   178950 |    20844 |     3088      6 |     1688 |        0
73.07/73.16	c 73.1s |      11 |   180642 |    21144 |     3088      7 |     1688 |        0
75.47/75.53	c 75.5s |      11 |   182492 |    21544 |     3088      7 |     1688 |        0
77.68/77.79	c 77.7s |      11 |   183363 |    21844 |     3088      7 |     1688 |        0
79.88/79.92	c 79.9s |      11 |   185216 |    22244 |     3088      7 |     1688 |        0
82.38/82.47	c 82.4s |      11 |   186583 |    22644 |     3088      7 |     1688 |        0
84.58/84.63	c 84.6s |      11 |   189179 |    23044 |     3088      7 |     1688 |        0
86.88/86.99	c 86.9s |      11 |   190518 |    23344 |     3088      7 |     1688 |        0
89.18/89.22	c 89.2s |      11 |   192999 |    23744 |     3088      8 |     1688 |        0
91.48/91.56	c 91.5s |      11 |   196027 |    24344 |     3088      8 |     1688 |        0
93.77/93.84	c 93.8s |      11 |   197230 |    24744 |     3088      8 |     1688 |        0
96.07/96.10	c 96.0s |      11 |   198524 |    25244 |     3088      8 |     1688 |        0
98.09/98.13	c 98.1s |      11 |   199513 |    25644 |     3088      8 |     1688 |        0
98.78/98.80	c 98.7s |      12 |   200465 |    25819 |     3397      8 |     1688 |        0
100.88/100.90	c  100s |      12 |   207103 |    26419 |     3397      9 |     1688 |        0
102.98/103.07	c  103s |      12 |   218772 |    27319 |     3397      9 |     1688 |        0
105.48/105.59	c  105s |      12 |   220250 |    27819 |     3397      9 |     1688 |        0
107.57/107.67	c  107s |      12 |   237499 |    28819 |     3397      9 |     1688 |        0
109.67/109.70	c  109s |      12 |   240688 |    29419 |     3397      9 |     1688 |        0
111.87/111.92	c  111s |      12 |   250675 |    30219 |     3397     10 |     1688 |        0
113.87/113.96	c  113s |      12 |   260339 |    31119 |     3397     10 |     1688 |        0
116.17/116.22	c  116s |      12 |   263662 |    31819 |     3397     10 |     1688 |        0
118.17/118.24	c  118s |      12 |   269393 |    32519 |     3397     11 |     1688 |        0
120.57/120.61	c  120s |      12 |   273180 |    33219 |     3397     11 |     1688 |        0
122.97/123.05	c  122s |      12 |   276854 |    33719 |     3397     11 |     1688 |        0
125.28/125.37	c  125s |      12 |   290241 |    34919 |     3397     11 |     1688 |        0
127.37/127.48	c  127s |      12 |   298680 |    35719 |     3397     12 |     1688 |        0
129.37/129.49	c  129s |      12 |   302246 |    36419 |     3397     12 |     1688 |        0
131.57/131.63	c  131s |      12 |   304602 |    37019 |     3397     12 |     1688 |        0
134.07/134.10	c  134s |      12 |   306915 |    37619 |     3397     12 |     1688 |        0
136.17/136.24	c  136s |      12 |   308232 |    38019 |     3397     12 |     1688 |        0
138.57/138.62	c  138s |      12 |   309445 |    38419 |     3397     13 |     1688 |        0
140.77/140.86	c  140s |      12 |   310618 |    38819 |     3737     13 |     1688 |        0
140.88/140.95	c  140s |      13 |   310630 |    38832 |     3737     13 |     1688 |        0
143.08/143.11	c  143s |      13 |   326601 |    39932 |     3737     13 |     1688 |        0
145.07/145.17	c  145s |      13 |   337295 |    40732 |     3737     13 |     1688 |        0
147.17/147.24	c  147s |      13 |   345402 |    41532 |     3737     14 |     1688 |        0
149.47/149.51	c  149s |      13 |   347951 |    42132 |     3737     14 |     1688 |        0
151.77/151.81	c  151s |      13 |   349492 |    42632 |     3737     14 |     1688 |        0
153.97/154.10	c  154s |      13 |   350777 |    43132 |     3737     14 |     1688 |        0
156.17/156.20	c  156s |      13 |   353761 |    43832 |     3737     14 |     1688 |        0
158.17/158.22	c  158s |      13 |   355888 |    44332 |     3737     14 |     1688 |        0
160.16/160.23	c  160s |      13 |   357387 |    44832 |     3737     15 |     1688 |        0
162.36/162.42	c  162s |      13 |   359304 |    45432 |     3737     15 |     1688 |        0
164.47/164.56	c  164s |      13 |   361019 |    45932 |     3737     15 |     1688 |        0
166.77/166.82	c  166s |      13 |   363115 |    46432 |     3737     15 |     1688 |        0
168.97/169.06	c  168s |      13 |   364668 |    46732 |     3737     15 |     1688 |        0
171.07/171.18	c  171s |      13 |   365860 |    46932 |     3737     15 |     1688 |        0
173.87/173.95	c  173s |      13 |   366732 |    47232 |     3737     15 |     1688 |        0
176.26/176.32	c  176s |      13 |   368030 |    47432 |     3737     15 |     1688 |        0
178.37/178.43	c  178s |      13 |   370095 |    47832 |     3737     15 |     1688 |        0
180.96/181.05	c  180s |      13 |   372760 |    48132 |     3737     16 |     1688 |        0
182.96/183.05	c  182s |      13 |   373461 |    48332 |     3737     16 |     1688 |        0
185.56/185.68	c  185s |      13 |   374796 |    48532 |     3737     16 |     1688 |        0
187.66/187.76	c  187s |      13 |   375355 |    48732 |     3737     16 |     1688 |        0
190.66/190.76	c  190s |      13 |   376429 |    49032 |     3737     16 |     1688 |        0
193.06/193.17	c  193s |      13 |   377098 |    49232 |     3737     16 |     1688 |        0
196.06/196.12	c  196s |      13 |   378430 |    49532 |     3737     16 |     1688 |        0
198.26/198.32	c  198s |      13 |   379158 |    49732 |     3737     16 |     1688 |        0
200.86/200.99	c  200s |      13 |   379361 |    49832 |     3737     16 |     1688 |        0
204.26/204.34	c  204s |      13 |   380096 |    50032 |     3737     16 |     1688 |        0
206.46/206.57	c  206s |      13 |   384354 |    51032 |     3737     16 |     1688 |        0
208.56/208.62	c  208s |      13 |   386588 |    51532 |     3737     17 |     1688 |        0
210.76/210.84	c  210s |      13 |   396133 |    52532 |     3737     17 |     1688 |        0
212.75/212.89	c  212s |      13 |   402359 |    53332 |     3737     17 |     1688 |        0
214.95/215.08	c  215s |      13 |   405793 |    54032 |     3737     17 |     1688 |        0
217.25/217.33	c  217s |      13 |   409680 |    54832 |     3737     18 |     1688 |        0
220.56/220.64	c  220s |      13 |   411871 |    55432 |     3737     18 |     1688 |        0
222.66/222.70	c  222s |      13 |   412440 |    55732 |     3737     18 |     1688 |        0
224.76/224.84	c  224s |      13 |   415628 |    56232 |     3737     18 |     1688 |        0
227.16/227.22	c  227s |      13 |   418201 |    56832 |     3737     18 |     1688 |        0
229.26/229.31	c  229s |      13 |   420383 |    57232 |     3737     18 |     1688 |        0
232.16/232.22	c  232s |      13 |   422013 |    57532 |     3737     19 |     1688 |        0
234.76/234.90	c  234s |      13 |   423939 |    57932 |     3737     19 |     1688 |        0
236.56/236.66	c  236s |      14 |   425442 |    58352 |     4111     19 |     1688 |        0
238.55/238.69	c  238s |      14 |   433309 |    59352 |     4111     19 |     1688 |        0
240.65/240.73	c  240s |      14 |   438700 |    60352 |     4111     19 |     1688 |        0
242.95/243.07	c  242s |      14 |   440879 |    61152 |     4111     19 |     1688 |        0
245.15/245.27	c  245s |      14 |   442868 |    61752 |     4111     20 |     1688 |        0
247.35/247.43	c  247s |      14 |   448525 |    62452 |     4111     20 |     1688 |        0
249.65/249.79	c  249s |      14 |   450337 |    63152 |     4111     20 |     1688 |        0
251.85/251.94	c  251s |      14 |   452218 |    63852 |     4111     20 |     1688 |        0
253.95/254.09	c  254s |      14 |   454351 |    64552 |     4111     20 |     1688 |        0
256.15/256.24	c  256s |      14 |   456917 |    65152 |     4111     21 |     1688 |        0
258.45/258.50	c  258s |      14 |   459745 |    65752 |     4111     21 |     1688 |        0
260.45/260.58	c  260s |      14 |   461809 |    66352 |     4111     21 |     1688 |        0
262.55/262.67	c  262s |      14 |   463581 |    66952 |     4111     21 |     1688 |        0
264.65/264.75	c  264s |      14 |   465104 |    67452 |     4111     21 |     1688 |        0
266.75/266.85	c  266s |      14 |   466584 |    67952 |     4111     21 |     1688 |        0
268.94/269.00	c  268s |      14 |   467782 |    68352 |     4111     22 |     1688 |        0
270.95/271.01	c  270s |      14 |   474417 |    69452 |     4111     22 |     1688 |        0
273.05/273.18	c  273s |      14 |   477224 |    70352 |     4111     22 |     1688 |        0
275.06/275.19	c  275s |      14 |   479610 |    70952 |     4111     22 |     1688 |        0
277.15/277.24	c  277s |      14 |   481672 |    71452 |     4111     23 |     1688 |        0
279.46/279.52	c  279s |      14 |   483976 |    72052 |     4111     23 |     1688 |        0
281.65/281.78	c  281s |      14 |   486138 |    72552 |     4111     23 |     1688 |        0
283.95/284.07	c  284s |      14 |   492504 |    73452 |     4111     23 |     1688 |        0
286.05/286.11	c  286s |      14 |   499153 |    74152 |     4111     23 |     1688 |        0
288.15/288.25	c  288s |      14 |   503895 |    75052 |     4111     24 |     1688 |        0
290.34/290.41	c  290s |      14 |   513600 |    75952 |     4111     24 |     1688 |        0
292.34/292.46	c  292s |      14 |   519229 |    76852 |     4111     24 |     1688 |        0
294.54/294.63	c  294s |      14 |   523818 |    77652 |     4111     24 |     1688 |        0
296.74/296.86	c  296s |      14 |   530402 |    78452 |     4111     25 |     1688 |        0
299.05/299.13	c  299s |      14 |   533892 |    79152 |     4111     25 |     1688 |        0
301.05/301.17	c  301s |      14 |   535778 |    79752 |     4111     25 |     1688 |        0
303.34/303.48	c  303s |      14 |   538338 |    80452 |     4111     25 |     1688 |        0
305.45/305.56	c  305s |      14 |   539732 |    80952 |     4111     25 |     1688 |        0
307.45/307.58	c  307s |      14 |   540671 |    81352 |     4111     26 |     1688 |        0
309.64/309.76	c  309s |      14 |   543098 |    82052 |     4111     26 |     1688 |        0
311.84/311.93	c  311s |      14 |   545140 |    82752 |     4111     26 |     1688 |        0
314.04/314.17	c  314s |      14 |   547012 |    83352 |     4111     26 |     1688 |        0
316.34/316.40	c  316s |      14 |   548628 |    83852 |     4111     26 |     1688 |        0
318.64/318.79	c  318s |      14 |   549946 |    84352 |     4111     26 |     1688 |        0
320.74/320.88	c  320s |      14 |   551474 |    84752 |     4111     27 |     1688 |        0
322.84/322.90	c  322s |      14 |   554067 |    85252 |     4111     27 |     1688 |        0
325.04/325.19	c  325s |      14 |   557101 |    85952 |     4111     27 |     1688 |        0
327.24/327.40	c  327s |      14 |   558988 |    86552 |     4111     27 |     1688 |        0
329.44/329.57	c  329s |      14 |   560772 |    87052 |     4523     27 |     1688 |        0
331.64/331.73	c  331s |      14 |   562789 |    87552 |     4523     27 |     1688 |        0
332.04/332.13	c  332s |      15 |   563014 |    87632 |     4523     27 |     1688 |        0
334.04/334.18	c  334s |      15 |   576617 |    88432 |     4523     28 |     1688 |        0
336.24/336.32	c  336s |      15 |   602069 |    89332 |     4523     28 |     1688 |        0
338.34/338.44	c  338s |      15 |   619160 |    90532 |     4523     28 |     1688 |        0
340.43/340.50	c  340s |      15 |   623849 |    91532 |     4523     29 |     1688 |        0
342.53/342.68	c  342s |      15 |   626178 |    92432 |     4523     29 |     1688 |        0
344.64/344.73	c  344s |      15 |   628614 |    93132 |     4523     29 |     1688 |        0
346.74/346.87	c  346s |      15 |   631440 |    93932 |     4523     29 |     1688 |        0
348.94/349.05	c  348s |      15 |   634077 |    94632 |     4523     29 |     1688 |        0
351.13/351.28	c  351s |      15 |   635723 |    95232 |     4523     30 |     1688 |        0
353.25/353.34	c  353s |      15 |   637714 |    95832 |     4523     30 |     1688 |        0
355.35/355.48	c  355s |      15 |   639312 |    96432 |     4523     30 |     1688 |        0
357.54/357.65	c  357s |      15 |   640932 |    97032 |     4523     30 |     1688 |        0
359.84/359.98	c  359s |      15 |   642837 |    97632 |     4523     30 |     1688 |        0
362.13/362.25	c  362s |      15 |   644428 |    98232 |     4523     30 |     1688 |        0
364.74/364.82	c  364s |      15 |   646145 |    98832 |     4523     31 |     1688 |        0
367.04/367.16	c  367s |      15 |   647644 |    99332 |     4523     31 |     1688 |        0
369.33/369.42	c  369s |      15 |   648989 |    99832 |     4523     31 |     1688 |        0
371.53/371.65	c  371s |      15 |   651186 |   100532 |     4523     31 |     1688 |        0
373.74/373.84	c  373s |      15 |   653644 |   101132 |     4523     31 |     1688 |        0
375.93/376.09	c  376s |      15 |   655115 |   101632 |     4523     31 |     1688 |        0
378.13/378.20	c  378s |      15 |   656714 |   102232 |     4523     31 |     1688 |        0
380.23/380.30	c  380s |      15 |   660158 |   102932 |     4523     32 |     1688 |        0
382.33/382.44	c  382s |      15 |   663834 |   103732 |     4523     32 |     1688 |        0
384.43/384.59	c  384s |      15 |   666109 |   104432 |     4523     32 |     1688 |        0
386.53/386.68	c  386s |      15 |   668290 |   105132 |     4523     32 |     1688 |        0
388.73/388.85	c  388s |      15 |   670489 |   105832 |     4523     32 |     1688 |        0
390.93/391.05	c  390s |      15 |   672283 |   106432 |     4523     33 |     1688 |        0
393.33/393.41	c  393s |      15 |   673814 |   107032 |     4523     33 |     1688 |        0
395.43/395.54	c  395s |      15 |   675810 |   107632 |     4523     33 |     1688 |        0
397.93/398.03	c  397s |      15 |   677104 |   108132 |     4523     33 |     1688 |        0
400.13/400.26	c  400s |      15 |   678235 |   108632 |     4523     33 |     1688 |        0
402.33/402.47	c  402s |      15 |   679785 |   109232 |     4523     33 |     1688 |        0
404.63/404.74	c  404s |      15 |   681844 |   109732 |     4523     34 |     1688 |        0
406.92/407.06	c  406s |      15 |   683672 |   110332 |     4523     34 |     1688 |        0
409.12/409.26	c  409s |      15 |   685427 |   110832 |     4523     34 |     1688 |        0
411.13/411.26	c  411s |      15 |   694632 |   111832 |     4523     34 |     1688 |        0
413.43/413.54	c  413s |      15 |   696654 |   112432 |     4523     34 |     1688 |        0
415.53/415.63	c  415s |      15 |   698163 |   112932 |     4523     34 |     1688 |        0
417.63/417.76	c  417s |      15 |   701127 |   113632 |     4523     35 |     1688 |        0
419.83/419.95	c  419s |      15 |   703423 |   114332 |     4523     35 |     1688 |        0
421.93/422.00	c  421s |      15 |   704716 |   114832 |     4523     35 |     1688 |        0
424.32/424.46	c  424s |      15 |   706792 |   115432 |     4523     35 |     1688 |        0
426.32/426.49	c  426s |      15 |   708092 |   115832 |     4523     35 |     1688 |        0
428.82/428.95	c  428s |      15 |   709616 |   116332 |     4523     35 |     1688 |        0
430.82/430.95	c  430s |      15 |   714556 |   116732 |     4523     36 |     1688 |        0
432.93/433.00	c  432s |      15 |   723743 |   117732 |     4523     36 |     1688 |        0
434.93/435.03	c  434s |      15 |   727158 |   118432 |     4523     36 |     1688 |        0
437.13/437.22	c  437s |      15 |   729703 |   119132 |     4523     36 |     1688 |        0
439.42/439.50	c  439s |      15 |   732073 |   119832 |     4523     36 |     1688 |        0
441.62/441.71	c  441s |      15 |   735881 |   120532 |     4523     37 |     1688 |        0
443.72/443.85	c  443s |      15 |   738368 |   121132 |     4523     37 |     1688 |        0
445.92/446.07	c  446s |      15 |   741161 |   121732 |     4523     37 |     1688 |        0
448.23/448.38	c  448s |      15 |   744121 |   122332 |     4523     37 |     1688 |        0
450.62/450.76	c  450s |      15 |   746040 |   122832 |     4523     37 |     1688 |        0
452.72/452.80	c  452s |      15 |   747767 |   123432 |     4523     37 |     1688 |        0
454.92/455.05	c  454s |      15 |   749699 |   124032 |     4523     37 |     1688 |        0
457.22/457.32	c  457s |      15 |   751340 |   124632 |     4523     38 |     1688 |        0
459.52/459.64	c  459s |      15 |   753562 |   125232 |     4523     38 |     1688 |        0
461.52/461.67	c  461s |      15 |   756040 |   125832 |     4523     38 |     1688 |        0
463.72/463.80	c  463s |      15 |   758044 |   126432 |     4523     38 |     1688 |        0
465.82/465.92	c  465s |      15 |   759244 |   126732 |     4523     38 |     1688 |        0
468.02/468.17	c  468s |      15 |   761053 |   127232 |     4523     38 |     1688 |        0
470.22/470.38	c  470s |      15 |   762510 |   127632 |     4523     38 |     1688 |        0
472.32/472.43	c  472s |      15 |   763692 |   128032 |     4523     39 |     1688 |        0
474.41/474.57	c  474s |      15 |   765377 |   128532 |     4523     39 |     1688 |        0
476.72/476.80	c  476s |      15 |   766848 |   128932 |     4523     39 |     1688 |        0
479.12/479.21	c  479s |      15 |   769610 |   129632 |     4523     39 |     1688 |        0
481.22/481.32	c  481s |      15 |   771539 |   130232 |     4523     39 |     1688 |        0
483.51/483.63	c  483s |      15 |   773374 |   130732 |     4976     39 |     1688 |        0
485.51/485.66	c  485s |      15 |   775833 |   131232 |     4976     39 |     1688 |        0
486.71/486.86	c  486s |      16 |   776620 |   131552 |     4976     39 |     1688 |        0
488.81/488.94	c  488s |      16 |   779945 |   132352 |     4976     40 |     1688 |        0
490.81/490.96	c  490s |      16 |   782665 |   133252 |     4976     40 |     1688 |        0
492.92/493.06	c  492s |      16 |   785033 |   134052 |     4976     40 |     1688 |        0
495.02/495.14	c  495s |      16 |   787053 |   134752 |     4976     40 |     1688 |        0
497.22/497.35	c  497s |      16 |   788275 |   135352 |     4976     40 |     1688 |        0
499.31/499.46	c  499s |      16 |   789508 |   135852 |     4976     41 |     1688 |        0
501.41/501.54	c  501s |      16 |   790804 |   136452 |     4976     41 |     1688 |        0
503.41/503.56	c  503s |      16 |   792493 |   137152 |     4976     41 |     1688 |        0
505.61/505.71	c  505s |      16 |   794016 |   137752 |     4976     41 |     1688 |        0
507.91/508.04	c  507s |      16 |   796017 |   138452 |     4976     41 |     1688 |        0
510.42/510.51	c  510s |      16 |   797490 |   139052 |     4976     41 |     1688 |        0
512.51/512.68	c  512s |      16 |   798797 |   139552 |     4976     42 |     1688 |        0
514.51/514.68	c  514s |      16 |   799993 |   140052 |     4976     42 |     1688 |        0
516.61/516.74	c  516s |      16 |   801033 |   140552 |     4976     42 |     1688 |        0
518.71/518.88	c  518s |      16 |   802112 |   141052 |     4976     42 |     1688 |        0
521.01/521.12	c  521s |      16 |   802805 |   141552 |     4976     42 |     1688 |        0
523.01/523.19	c  523s |      16 |   804213 |   142052 |     4976     42 |     1688 |        0
525.41/525.53	c  525s |      16 |   806017 |   142652 |     4976     42 |     1688 |        0
527.51/527.65	c  527s |      16 |   807401 |   143152 |     4976     42 |     1688 |        0
529.81/529.95	c  529s |      16 |   809551 |   143852 |     4976     43 |     1688 |        0
532.01/532.17	c  532s |      16 |   811338 |   144552 |     4976     43 |     1688 |        0
534.20/534.38	c  534s |      16 |   813722 |   145352 |     4976     43 |     1688 |        0
536.30/536.45	c  536s |      16 |   815155 |   145952 |     4976     43 |     1688 |        0
538.60/538.72	c  538s |      16 |   817259 |   146652 |     4976     43 |     1688 |        0
540.90/541.03	c  540s |      16 |   819156 |   147252 |     4976     43 |     1688 |        0
543.20/543.37	c  543s |      16 |   820901 |   147852 |     4976     44 |     1688 |        0
545.30/545.47	c  545s |      16 |   821848 |   148352 |     4976     44 |     1688 |        0
547.40/547.51	c  547s |      16 |   823516 |   148852 |     4976     44 |     1688 |        0
549.70/549.80	c  549s |      16 |   825838 |   149452 |     4976     44 |     1688 |        0
551.70/551.87	c  551s |      16 |   828309 |   150052 |     4976     44 |     1688 |        0
554.00/554.19	c  554s |      16 |   829983 |   150652 |     4976     44 |     1688 |        0
556.50/556.65	c  556s |      16 |   833400 |   151352 |     4976     45 |     1688 |        0
558.71/558.87	c  558s |      16 |   835046 |   151952 |     4976     45 |     1688 |        0
560.81/560.96	c  560s |      16 |   837337 |   152552 |     4976     45 |     1688 |        0
563.11/563.25	c  563s |      16 |   838798 |   153052 |     4976     45 |     1688 |        0
565.21/565.35	c  565s |      16 |   840055 |   153452 |     4976     45 |     1688 |        0
567.61/567.75	c  567s |      16 |   841119 |   153952 |     4976     45 |     1688 |        0
569.81/569.93	c  569s |      16 |   843049 |   154552 |     4976     45 |     1688 |        0
571.91/572.04	c  571s |      16 |   845285 |   155152 |     4976     45 |     1688 |        0
574.01/574.15	c  574s |      16 |   847196 |   155652 |     4976     46 |     1688 |        0
576.20/576.37	c  576s |      16 |   848698 |   156152 |     4976     46 |     1688 |        0
578.50/578.63	c  578s |      16 |   851205 |   156852 |     4976     46 |     1688 |        0
580.50/580.69	c  580s |      16 |   852562 |   157352 |     4976     46 |     1688 |        0
583.01/583.11	c  583s |      16 |   853482 |   157752 |     4976     46 |     1688 |        0
585.20/585.33	c  585s |      16 |   854362 |   158152 |     4976     46 |     1688 |        0
587.20/587.34	c  587s |      16 |   855415 |   158552 |     4976     46 |     1688 |        0
589.20/589.35	c  589s |      16 |   856350 |   158852 |     4976     46 |     1688 |        0
591.30/591.48	c  591s |      16 |   857291 |   159252 |     4976     47 |     1688 |        0
593.40/593.54	c  593s |      16 |   858301 |   159652 |     4976     47 |     1688 |        0
595.80/595.96	c  595s |      16 |   860088 |   160152 |     4976     47 |     1688 |        0
598.20/598.32	c  598s |      16 |   861126 |   160552 |     4976     47 |     1688 |        0
600.60/600.75	c  600s |      16 |   862418 |   160952 |     4976     47 |     1688 |        0
603.00/603.18	c  603s |      16 |   863664 |   161352 |     4976     47 |     1688 |        0
605.30/605.49	c  605s |      16 |   865100 |   161852 |     4976     47 |     1688 |        0
607.50/607.64	c  607s |      16 |   866688 |   162352 |     4976     47 |     1688 |        0
609.80/609.91	c  609s |      16 |   868188 |   162852 |     4976     47 |     1688 |        0
612.20/612.30	c  612s |      16 |   869296 |   163352 |     4976     48 |     1688 |        0
614.49/614.67	c  614s |      16 |   870622 |   163852 |     4976     48 |     1688 |        0
616.69/616.89	c  616s |      16 |   871360 |   164252 |     4976     48 |     1688 |        0
618.89/619.00	c  618s |      16 |   872496 |   164652 |     4976     48 |     1688 |        0
620.99/621.18	c  621s |      16 |   874064 |   165152 |     4976     48 |     1688 |        0
623.09/623.27	c  623s |      16 |   875988 |   165752 |     4976     48 |     1688 |        0
625.49/625.68	c  625s |      16 |   878120 |   166352 |     4976     48 |     1688 |        0
627.69/627.80	c  627s |      16 |   879774 |   166852 |     4976     48 |     1688 |        0
629.79/629.92	c  629s |      16 |   880666 |   167252 |     4976     49 |     1688 |        0
632.09/632.20	c  632s |      16 |   882943 |   167852 |     4976     49 |     1688 |        0
634.39/634.59	c  634s |      16 |   884347 |   168352 |     4976     49 |     1688 |        0
636.90/637.06	c  636s |      16 |   886043 |   168852 |     4976     49 |     1688 |        0
639.10/639.21	c  639s |      16 |   887538 |   169352 |     4976     49 |     1688 |        0
641.40/641.57	c  641s |      16 |   890614 |   170052 |     4976     49 |     1688 |        0
643.69/643.82	c  643s |      16 |   892494 |   170552 |     4976     49 |     1688 |        0
646.19/646.36	c  646s |      16 |   894990 |   170952 |     4976     50 |     1688 |        0
648.49/648.64	c  648s |      16 |   896713 |   171352 |     4976     50 |     1688 |        0
650.59/650.71	c  650s |      16 |   897640 |   171752 |     4976     50 |     1688 |        0
652.79/652.91	c  652s |      16 |   899210 |   172152 |     4976     50 |     1688 |        0
654.99/655.16	c  655s |      16 |   900803 |   172652 |     4976     50 |     1688 |        0
657.29/657.46	c  657s |      16 |   902481 |   173052 |     4976     50 |     1688 |        0
659.49/659.66	c  659s |      16 |   904620 |   173652 |     4976     50 |     1688 |        0
661.59/661.78	c  661s |      16 |   907335 |   174252 |     4976     50 |     1688 |        0
663.89/664.06	c  663s |      16 |   909818 |   174752 |     4976     51 |     1688 |        0
666.08/666.21	c  666s |      16 |   911717 |   175352 |     4976     51 |     1688 |        0
668.28/668.45	c  668s |      16 |   913800 |   176052 |     4976     51 |     1688 |        0
670.48/670.65	c  670s |      16 |   915575 |   176652 |     4976     51 |     1688 |        0
672.58/672.76	c  672s |      16 |   917346 |   177152 |     4976     51 |     1688 |        0
674.98/675.15	c  675s |      16 |   919002 |   177752 |     4976     51 |     1688 |        0
676.98/677.18	c  677s |      16 |   920684 |   178252 |     4976     51 |     1688 |        0
679.09/679.21	c  679s |      16 |   922305 |   178652 |     4976     51 |     1688 |        0
681.39/681.56	c  681s |      16 |   923641 |   179052 |     4976     52 |     1688 |        0
683.49/683.64	c  683s |      16 |   925277 |   179552 |     4976     52 |     1688 |        0
686.19/686.30	c  686s |      16 |   927029 |   180052 |     4976     52 |     1688 |        0
688.28/688.46	c  688s |      16 |   928490 |   180452 |     4976     52 |     1688 |        0
690.48/690.68	c  690s |      16 |   929819 |   180852 |     4976     52 |     1688 |        0
692.89/693.02	c  692s |      16 |   931457 |   181252 |     4976     52 |     1688 |        0
695.09/695.24	c  695s |      16 |   933192 |   181752 |     4976     52 |     1688 |        0
697.58/697.72	c  697s |      16 |   935510 |   182152 |     4976     52 |     1688 |        0
699.78/699.94	c  699s |      16 |   936456 |   182452 |     4976     52 |     1688 |        0
702.09/702.25	c  702s |      16 |   938112 |   182952 |     4976     53 |     1688 |        0
704.09/704.28	c  704s |      16 |   939571 |   183452 |     4976     53 |     1688 |        0
706.29/706.42	c  706s |      16 |   941141 |   183952 |     4976     53 |     1688 |        0
708.39/708.54	c  708s |      16 |   942998 |   184452 |     4976     53 |     1688 |        0
710.69/710.85	c  710s |      16 |   944749 |   184952 |     4976     53 |     1688 |        0
712.68/712.85	c  712s |      16 |   946468 |   185352 |     4976     53 |     1688 |        0
715.18/715.37	c  715s |      16 |   949011 |   185852 |     4976     53 |     1688 |        0
717.49/717.70	c  717s |      16 |   950282 |   186252 |     4976     53 |     1688 |        0
719.58/719.79	c  719s |      16 |   951532 |   186652 |     4976     54 |     1688 |        0
721.69/721.86	c  721s |      16 |   952830 |   187052 |     4976     54 |     1688 |        0
723.89/724.08	c  724s |      16 |   954412 |   187452 |     4976     54 |     1688 |        0
726.17/726.35	c  726s |      16 |   955300 |   187852 |     4976     54 |     1688 |        0
728.29/728.47	c  728s |      16 |   956746 |   188252 |     4976     54 |     1688 |        0
730.49/730.62	c  730s |      16 |   958397 |   188652 |     4976     54 |     1688 |        0
732.88/733.06	c  732s |      16 |   960433 |   189152 |     4976     54 |     1688 |        0
735.68/735.82	c  735s |      16 |   961631 |   189552 |     4976     54 |     1688 |        0
737.68/737.85	c  737s |      16 |   963005 |   189852 |     4976     54 |     1688 |        0
739.67/739.89	c  739s |      16 |   963892 |   190152 |     4976     54 |     1688 |        0
742.37/742.58	c  742s |      16 |   965055 |   190552 |     4976     55 |     1688 |        0
744.98/745.17	c  745s |      16 |   966086 |   190952 |     4976     55 |     1688 |        0
747.78/747.95	c  747s |      16 |   967452 |   191352 |     4976     55 |     1688 |        0
750.08/750.29	c  750s |      16 |   968400 |   191652 |     4976     55 |     1688 |        0
752.48/752.67	c  752s |      16 |   969151 |   191952 |     4976     55 |     1688 |        0
754.78/754.98	c  754s |      16 |   970505 |   192352 |     4976     55 |     1688 |        0
756.88/757.07	c  756s |      16 |   972517 |   192652 |     4976     55 |     1688 |        0
759.57/759.72	c  759s |      16 |   973257 |   192952 |     4976     55 |     1688 |        0
761.78/761.98	c  761s |      16 |   974240 |   193252 |     4976     55 |     1688 |        0
763.87/764.07	c  764s |      16 |   975373 |   193552 |     4976     55 |     1688 |        0
765.97/766.14	c  766s |      16 |   976828 |   193852 |     4976     55 |     1688 |        0
768.27/768.41	c  768s |      16 |   978006 |   194252 |     4976     55 |     1688 |        0
770.37/770.57	c  770s |      16 |   979136 |   194652 |     4976     56 |     1688 |        0
772.67/772.87	c  772s |      16 |   980620 |   195152 |     4976     56 |     1688 |        0
774.97/775.10	c  775s |      16 |   981793 |   195552 |     4976     56 |     1688 |        0
777.27/777.47	c  777s |      16 |   982969 |   195952 |     4976     56 |     1688 |        0
779.77/779.93	c  779s |      16 |   984397 |   196352 |     5474     56 |     1688 |        0
781.77/781.96	c  781s |      16 |   985090 |   196652 |     5474     56 |     1688 |        0
784.07/784.24	c  784s |      16 |   986390 |   197052 |     5474     56 |     1688 |        0
786.17/786.30	c  786s |      16 |   986943 |   197352 |     5474     56 |     1688 |        0
786.67/786.81	c  786s |      17 |   987182 |   197432 |     5474     56 |     1688 |        0
788.77/788.96	c  788s |      17 |   988988 |   197832 |     5474     56 |     1688 |        0
790.97/791.13	c  791s |      17 |   991172 |   198432 |     5474     57 |     1688 |        0
792.96/793.19	c  793s |      17 |   994952 |   199532 |     5474     57 |     1688 |        0
795.06/795.27	c  795s |      17 |   999255 |   200632 |     5474     57 |     1688 |        0
797.27/797.42	c  797s |      17 |  1002084 |   201532 |     5474     57 |     1688 |        0
799.37/799.55	c  799s |      17 |  1005483 |   202532 |     5474     58 |     1688 |        0
801.57/801.70	c  801s |      17 |  1007658 |   203332 |     5474     58 |     1688 |        0
803.57/803.74	c  803s |      17 |  1011161 |   204432 |     5474     58 |     1688 |        0
805.57/805.76	c  805s |      17 |  1013790 |   205432 |     5474     58 |     1688 |        0
807.77/807.92	c  807s |      17 |  1016941 |   206332 |     5474     59 |     1688 |        0
809.97/810.19	c  810s |      17 |  1019178 |   207032 |     5474     59 |     1688 |        0
812.37/812.55	c  812s |      17 |  1020895 |   207632 |     5474     59 |     1688 |        0
814.57/814.70	c  814s |      17 |  1023258 |   208432 |     5474     59 |     1688 |        0
816.57/816.80	c  816s |      17 |  1026206 |   209232 |     5474     59 |     1688 |        0
818.77/818.94	c  818s |      17 |  1028174 |   209932 |     5474     59 |     1688 |        0
820.87/821.08	c  821s |      17 |  1029960 |   210532 |     5474     60 |     1688 |        0
822.87/823.08	c  823s |      17 |  1033706 |   211632 |     5474     60 |     1688 |        0
825.16/825.35	c  825s |      17 |  1037387 |   212532 |     5474     60 |     1688 |        0
827.18/827.36	c  827s |      17 |  1040481 |   213232 |     5474     60 |     1688 |        0
829.47/829.62	c  829s |      17 |  1042841 |   213932 |     5474     60 |     1688 |        0
831.77/831.92	c  831s |      17 |  1044439 |   214432 |     5474     61 |     1688 |        0
833.87/834.05	c  833s |      17 |  1046818 |   215132 |     5474     61 |     1688 |        0
836.26/836.44	c  836s |      17 |  1048464 |   215732 |     5474     61 |     1688 |        0
838.56/838.75	c  838s |      17 |  1049662 |   216232 |     5474     61 |     1688 |        0
840.76/840.93	c  840s |      17 |  1052195 |   217232 |     5474     61 |     1688 |        0
843.26/843.45	c  843s |      17 |  1054991 |   218132 |     5474     62 |     1688 |        0
845.26/845.47	c  845s |      17 |  1056789 |   218732 |     5474     62 |     1688 |        0
847.46/847.62	c  847s |      17 |  1059404 |   219432 |     5474     62 |     1688 |        0
849.56/849.73	c  849s |      17 |  1061734 |   220132 |     5474     62 |     1688 |        0
851.96/852.10	c  852s |      17 |  1063142 |   220732 |     5474     62 |     1688 |        0
854.36/854.59	c  854s |      17 |  1065009 |   221332 |     5474     62 |     1688 |        0
856.65/856.89	c  856s |      17 |  1066649 |   221832 |     5474     62 |     1688 |        0
858.85/859.05	c  858s |      17 |  1068143 |   222432 |     5474     63 |     1688 |        0
860.85/861.06	c  860s |      17 |  1070530 |   223232 |     5474     63 |     1688 |        0
863.16/863.31	c  863s |      17 |  1071878 |   223832 |     5474     63 |     1688 |        0
865.46/865.61	c  865s |      17 |  1073424 |   224432 |     5474     63 |     1688 |        0
867.66/867.84	c  867s |      17 |  1076292 |   225132 |     5474     63 |     1688 |        0
869.76/869.91	c  869s |      17 |  1078225 |   225732 |     5474     63 |     1688 |        0
871.86/872.07	c  872s |      17 |  1079631 |   226232 |     5474     64 |     1688 |        0
873.86/874.07	c  874s |      17 |  1081644 |   226832 |     5474     64 |     1688 |        0
876.15/876.35	c  876s |      17 |  1083460 |   227432 |     5474     64 |     1688 |        0
878.15/878.39	c  878s |      17 |  1086507 |   228232 |     5474     64 |     1688 |        0
880.35/880.53	c  880s |      17 |  1088898 |   228932 |     5474     64 |     1688 |        0
882.55/882.77	c  882s |      17 |  1091528 |   229632 |     5474     64 |     1688 |        0
884.75/884.93	c  884s |      17 |  1093091 |   230132 |     5474     65 |     1688 |        0
886.95/887.16	c  887s |      17 |  1095160 |   230832 |     5474     65 |     1688 |        0
889.25/889.46	c  889s |      17 |  1097121 |   231532 |     5474     65 |     1688 |        0
891.35/891.58	c  891s |      17 |  1102323 |   232632 |     5474     65 |     1688 |        0
893.45/893.66	c  893s |      17 |  1105549 |   233432 |     5474     65 |     1688 |        0
895.55/895.70	c  895s |      17 |  1108169 |   234232 |     5474     66 |     1688 |        0
897.56/897.78	c  897s |      17 |  1111352 |   235132 |     5474     66 |     1688 |        0
899.95/900.12	c  900s |      17 |  1113761 |   235832 |     5474     66 |     1688 |        0
902.06/902.21	c  902s |      17 |  1115975 |   236532 |     5474     66 |     1688 |        0
904.05/904.25	c  904s |      17 |  1118595 |   237232 |     5474     66 |     1688 |        0
906.15/906.33	c  906s |      17 |  1121278 |   238032 |     5474     67 |     1688 |        0
908.25/908.46	c  908s |      17 |  1123397 |   238832 |     5474     67 |     1688 |        0
910.55/910.71	c  910s |      17 |  1125289 |   239532 |     5474     67 |     1688 |        0
912.55/912.74	c  912s |      17 |  1128582 |   240132 |     5474     67 |     1688 |        0
914.55/914.76	c  914s |      17 |  1130493 |   240632 |     5474     67 |     1688 |        0
916.65/916.81	c  916s |      17 |  1134498 |   241732 |     5474     68 |     1688 |        0
918.65/918.85	c  918s |      17 |  1137745 |   242832 |     5474     68 |     1688 |        0
920.75/920.98	c  920s |      17 |  1142345 |   244032 |     5474     68 |     1688 |        0
922.95/923.16	c  923s |      17 |  1147314 |   245432 |     5474     68 |     1688 |        0
924.95/925.19	c  925s |      17 |  1150681 |   246432 |     5474     69 |     1688 |        0
927.25/927.41	c  927s |      17 |  1154724 |   247732 |     5474     69 |     1688 |        0
929.34/929.55	c  929s |      17 |  1157683 |   248832 |     5474     69 |     1688 |        0
931.44/931.69	c  931s |      17 |  1162544 |   250032 |     5474     70 |     1688 |        0
933.54/933.78	c  933s |      17 |  1165649 |   251132 |     5474     70 |     1688 |        0
935.64/935.88	c  935s |      17 |  1169432 |   252232 |     5474     70 |     1688 |        0
937.84/938.03	c  937s |      17 |  1172388 |   253132 |     5474     70 |     1688 |        0
939.94/940.17	c  940s |      17 |  1174690 |   253832 |     5474     71 |     1688 |        0
942.14/942.35	c  942s |      17 |  1178434 |   255032 |     5474     71 |     1688 |        0
944.24/944.49	c  944s |      17 |  1183601 |   256332 |     5474     71 |     1688 |        0
946.44/946.61	c  946s |      17 |  1187383 |   257332 |     5474     72 |     1688 |        0
948.54/948.73	c  948s |      17 |  1192308 |   258732 |     5474     72 |     1688 |        0
950.54/950.75	c  950s |      17 |  1197119 |   259932 |     5474     72 |     1688 |        0
952.74/952.90	c  952s |      17 |  1202145 |   261032 |     5474     73 |     1688 |        0
954.95/955.11	c  955s |      17 |  1208020 |   262232 |     5474     73 |     1688 |        0
956.95/957.17	c  957s |      17 |  1210705 |   263232 |     5474     73 |     1688 |        0
959.35/959.55	c  959s |      17 |  1212536 |   264132 |     5474     73 |     1688 |        0
961.45/961.62	c  961s |      17 |  1214224 |   264832 |     5474     74 |     1688 |        0
963.55/963.76	c  963s |      17 |  1216917 |   265632 |     5474     74 |     1688 |        0
965.64/965.86	c  965s |      17 |  1219626 |   266632 |     5474     74 |     1688 |        0
967.64/967.87	c  967s |      17 |  1222329 |   267432 |     5474     74 |     1688 |        0
969.94/970.16	c  970s |      17 |  1224798 |   268232 |     5474     74 |     1688 |        0
972.45/972.66	c  972s |      17 |  1226435 |   268932 |     5474     75 |     1688 |        0
974.65/974.88	c  974s |      17 |  1228626 |   269732 |     5474     75 |     1688 |        0
976.85/977.02	c  976s |      17 |  1230544 |   270432 |     5474     75 |     1688 |        0
979.14/979.31	c  979s |      17 |  1232698 |   271232 |     5474     75 |     1688 |        0
981.34/981.53	c  981s |      17 |  1234182 |   271732 |     5474     75 |     1688 |        0
983.45/983.69	c  983s |      17 |  1235423 |   272232 |     5474     75 |     1688 |        0
985.74/985.92	c  985s |      17 |  1240083 |   272932 |     5474     76 |     1688 |        0
987.85/988.02	c  987s |      17 |  1244917 |   273732 |     5474     76 |     1688 |        0
989.84/990.05	c  989s |      17 |  1247770 |   274432 |     5474     76 |     1688 |        0
992.04/992.20	c  992s |      17 |  1250495 |   275132 |     5474     76 |     1688 |        0
994.14/994.32	c  994s |      17 |  1253936 |   276132 |     5474     76 |     1688 |        0
996.24/996.46	c  996s |      17 |  1257390 |   277032 |     5474     77 |     1688 |        0
998.34/998.55	c  998s |      17 |  1260201 |   277932 |     5474     77 |     1688 |        0
1000.44/1000.62	c 1000s |      17 |  1262030 |   278532 |     5474     77 |     1688 |        0
1002.54/1002.71	c 1002s |      17 |  1263906 |   279132 |     5474     77 |     1688 |        0
1004.54/1004.72	c 1004s |      17 |  1267456 |   280032 |     5474     77 |     1688 |        0
1006.74/1006.91	c 1006s |      17 |  1270081 |   280932 |     5474     78 |     1688 |        0
1008.74/1008.96	c 1008s |      17 |  1272702 |   281732 |     5474     78 |     1688 |        0
1010.84/1011.04	c 1010s |      17 |  1275275 |   282432 |     5474     78 |     1688 |        0
1013.04/1013.29	c 1013s |      17 |  1277945 |   283132 |     5474     78 |     1688 |        0
1015.43/1015.63	c 1015s |      17 |  1280618 |   283932 |     5474     78 |     1688 |        0
1017.73/1017.97	c 1017s |      17 |  1282978 |   284632 |     5474     79 |     1688 |        0
1020.03/1020.22	c 1020s |      17 |  1285264 |   285232 |     5474     79 |     1688 |        0
1022.03/1022.29	c 1022s |      17 |  1288255 |   286032 |     5474     79 |     1688 |        0
1024.04/1024.30	c 1024s |      17 |  1290494 |   286832 |     5474     79 |     1688 |        0
1026.13/1026.39	c 1026s |      17 |  1292561 |   287532 |     5474     79 |     1688 |        0
1028.44/1028.64	c 1028s |      17 |  1295712 |   288432 |     5474     80 |     1688 |        0
1030.43/1030.68	c 1030s |      17 |  1297984 |   289232 |     5474     80 |     1688 |        0
1032.63/1032.80	c 1032s |      17 |  1299743 |   289932 |     5474     80 |     1688 |        0
1034.83/1035.01	c 1034s |      17 |  1302264 |   290732 |     5474     80 |     1688 |        0
1036.84/1037.03	c 1036s |      17 |  1304014 |   291332 |     5474     80 |     1688 |        0
1038.84/1039.04	c 1038s |      17 |  1305887 |   291932 |     5474     81 |     1688 |        0
1040.84/1041.04	c 1040s |      17 |  1307620 |   292532 |     5474     81 |     1688 |        0
1043.04/1043.23	c 1043s |      17 |  1309991 |   293332 |     5474     81 |     1688 |        0
1045.14/1045.38	c 1045s |      17 |  1312334 |   294132 |     5474     81 |     1688 |        0
1047.33/1047.53	c 1047s |      17 |  1314510 |   294732 |     6022     81 |     1688 |        0
1049.53/1049.79	c 1049s |      17 |  1316159 |   295332 |     6022     81 |     1688 |        0
1051.64/1051.82	c 1051s |      17 |  1317674 |   295932 |     6022     81 |     1688 |        0
1052.43/1052.69	c 1052s |      18 |  1318587 |   296252 |     6022     81 |     1688 |        0
1054.73/1054.91	c 1054s |      18 |  1320541 |   296852 |     6022     82 |     1688 |        0
1056.93/1057.10	c 1057s |      18 |  1322595 |   297552 |     6022     82 |     1688 |        0
1059.03/1059.26	c 1059s |      18 |  1323996 |   298152 |     6022     82 |     1688 |        0
1061.44/1061.64	c 1061s |      18 |  1324821 |   298752 |     6022     82 |     1688 |        0
1063.64/1063.89	c 1063s |      18 |  1325784 |   299252 |     6022     82 |     1688 |        0
1065.94/1066.18	c 1066s |      18 |  1326900 |   299852 |     6022     82 |     1688 |        0
1068.23/1068.47	c 1068s |      18 |  1327793 |   300352 |     6022     82 |     1688 |        0
1070.62/1070.80	c 1070s |      18 |  1329198 |   300952 |     6022     82 |     1688 |        0
1072.82/1073.03	c 1072s |      18 |  1330041 |   301452 |     6022     83 |     1688 |        0
1075.13/1075.31	c 1075s |      18 |  1330987 |   301952 |     6022     83 |     1688 |        0
1077.43/1077.65	c 1077s |      18 |  1331870 |   302452 |     6022     83 |     1688 |        0
1079.83/1080.02	c 1079s |      18 |  1333292 |   302952 |     6022     83 |     1688 |        0
1082.13/1082.33	c 1082s |      18 |  1334488 |   303552 |     6022     83 |     1688 |        0
1084.23/1084.45	c 1084s |      18 |  1335333 |   304052 |     6022     83 |     1688 |        0
1086.32/1086.55	c 1086s |      18 |  1336307 |   304552 |     6022     83 |     1688 |        0
1088.52/1088.76	c 1088s |      18 |  1337012 |   304952 |     6022     83 |     1688 |        0
1090.72/1090.90	c 1090s |      18 |  1337694 |   305352 |     6022     83 |     1688 |        0
1093.12/1093.39	c 1093s |      18 |  1338293 |   305752 |     6022     84 |     1688 |        0
1095.22/1095.49	c 1095s |      18 |  1339249 |   306152 |     6022     84 |     1688 |        0
1097.53/1097.79	c 1097s |      18 |  1340262 |   306552 |     6022     84 |     1688 |        0
1100.12/1100.33	c 1100s |      18 |  1341052 |   306952 |     6022     84 |     1688 |        0
1102.32/1102.54	c 1102s |      18 |  1341521 |   307252 |     6022     84 |     1688 |        0
1104.52/1104.78	c 1104s |      18 |  1341945 |   307552 |     6022     84 |     1688 |        0
1106.82/1107.01	c 1106s |      18 |  1343305 |   308052 |     6022     84 |     1688 |        0
1108.83/1109.01	c 1108s |      18 |  1345659 |   308552 |     6022     84 |     1688 |        0
1111.03/1111.21	c 1111s |      18 |  1346874 |   309052 |     6022     84 |     1688 |        0
1113.12/1113.36	c 1113s |      18 |  1347851 |   309452 |     6022     84 |     1688 |        0
1115.22/1115.50	c 1115s |      18 |  1348567 |   309852 |     6022     84 |     1688 |        0
1117.52/1117.75	c 1117s |      18 |  1349101 |   310152 |     6022     85 |     1688 |        0
1119.92/1120.14	c 1120s |      18 |  1350037 |   310552 |     6022     85 |     1688 |        0
1122.12/1122.35	c 1122s |      18 |  1350816 |   310952 |     6022     85 |     1688 |        0
1124.72/1124.93	c 1124s |      18 |  1351836 |   311352 |     6022     85 |     1688 |        0
1127.32/1127.51	c 1127s |      18 |  1352706 |   311752 |     6022     85 |     1688 |        0
1129.52/1129.72	c 1129s |      18 |  1353802 |   312152 |     6022     85 |     1688 |        0
1131.82/1132.06	c 1131s |      18 |  1355139 |   312552 |     6022     85 |     1688 |        0
1133.92/1134.13	c 1134s |      18 |  1355645 |   312852 |     6022     85 |     1688 |        0
1136.42/1136.64	c 1136s |      18 |  1356847 |   313352 |     6022     85 |     1688 |        0
1138.42/1138.67	c 1138s |      18 |  1357594 |   313652 |     6022     85 |     1688 |        0
1140.81/1141.01	c 1140s |      18 |  1358147 |   313952 |     6022     85 |     1688 |        0
1143.22/1143.43	c 1143s |      18 |  1359222 |   314352 |     6022     85 |     1688 |        0
1145.52/1145.78	c 1145s |      18 |  1359971 |   314652 |     6022     86 |     1688 |        0
1148.02/1148.25	c 1148s |      18 |  1360944 |   315052 |     6022     86 |     1688 |        0
1150.62/1150.88	c 1150s |      18 |  1361949 |   315452 |     6022     86 |     1688 |        0
1152.72/1152.95	c 1152s |      18 |  1362534 |   315752 |     6022     86 |     1688 |        0
1155.31/1155.54	c 1155s |      18 |  1363108 |   316052 |     6022     86 |     1688 |        0
1158.22/1158.44	c 1158s |      18 |  1363557 |   316352 |     6022     86 |     1688 |        0
1160.52/1160.73	c 1160s |      18 |  1364688 |   316652 |     6022     86 |     1688 |        0
1163.02/1163.26	c 1163s |      18 |  1367088 |   317052 |     6022     86 |     1688 |        0
1165.31/1165.57	c 1165s |      18 |  1368016 |   317452 |     6022     86 |     1688 |        0
1167.81/1168.07	c 1168s |      18 |  1369000 |   317852 |     6022     86 |     1688 |        0
1170.21/1170.43	c 1170s |      18 |  1369665 |   318152 |     6022     86 |     1688 |        0
1172.62/1172.89	c 1172s |      18 |  1370312 |   318452 |     6022     86 |     1688 |        0
1174.82/1175.01	c 1174s |      18 |  1371526 |   318852 |     6022     86 |     1688 |        0
1176.92/1177.20	c 1177s |      18 |  1372359 |   319152 |     6022     87 |     1688 |        0
1179.51/1179.78	c 1179s |      18 |  1373471 |   319552 |     6022     87 |     1688 |        0
1182.01/1182.21	c 1182s |      18 |  1374245 |   319852 |     6022     87 |     1688 |        0
1184.51/1184.74	c 1184s |      18 |  1375137 |   320252 |     6022     87 |     1688 |        0
1187.01/1187.21	c 1187s |      18 |  1376269 |   320652 |     6022     87 |     1688 |        0
1189.31/1189.50	c 1189s |      18 |  1376943 |   320952 |     6022     87 |     1688 |        0
1191.71/1191.97	c 1191s |      18 |  1377770 |   321252 |     6022     87 |     1688 |        0
1194.31/1194.57	c 1194s |      18 |  1378255 |   321552 |     6022     87 |     1688 |        0
1197.01/1197.21	c 1197s |      18 |  1379114 |   321952 |     6022     87 |     1688 |        0
1199.51/1199.72	c 1199s |      18 |  1379963 |   322252 |     6022     87 |     1688 |        0
1201.91/1202.14	c 1202s |      18 |  1380788 |   322552 |     6022     87 |     1688 |        0
1204.81/1205.02	c 1204s |      18 |  1381385 |   322852 |     6022     87 |     1688 |        0
1207.20/1207.49	c 1207s |      18 |  1382390 |   323252 |     6022     87 |     1688 |        0
1209.51/1209.70	c 1209s |      18 |  1383526 |   323652 |     6022     88 |     1688 |        0
1211.81/1212.05	c 1211s |      18 |  1384436 |   324052 |     6022     88 |     1688 |        0
1213.80/1214.09	c 1214s |      18 |  1385101 |   324352 |     6022     88 |     1688 |        0
1216.40/1216.62	c 1216s |      18 |  1385786 |   324652 |     6022     88 |     1688 |        0
1218.60/1218.80	c 1218s |      18 |  1386776 |   325052 |     6022     88 |     1688 |        0
1220.91/1221.15	c 1221s |      18 |  1388426 |   325652 |     6022     88 |     1688 |        0
1223.11/1223.40	c 1223s |      18 |  1390246 |   326052 |     6022     88 |     1688 |        0
1225.50/1225.79	c 1225s |      18 |  1391627 |   326552 |     6022     88 |     1688 |        0
1227.61/1227.87	c 1227s |      18 |  1392299 |   326852 |     6022     88 |     1688 |        0
1230.11/1230.38	c 1230s |      18 |  1393566 |   327352 |     6022     88 |     1688 |        0
1233.11/1233.35	c 1233s |      18 |  1394515 |   327752 |     6022     89 |     1688 |        0
1235.11/1235.38	c 1235s |      18 |  1395129 |   328052 |     6022     89 |     1688 |        0
1237.70/1237.92	c 1237s |      18 |  1396766 |   328552 |     6022     89 |     1688 |        0
1240.20/1240.46	c 1240s |      18 |  1397824 |   328952 |     6022     89 |     1688 |        0
1242.50/1242.73	c 1242s |      18 |  1399115 |   329352 |     6022     89 |     1688 |        0
1244.70/1244.98	c 1244s |      18 |  1400508 |   329752 |     6022     89 |     1688 |        0
1246.90/1247.13	c 1247s |      18 |  1401414 |   330152 |     6022     89 |     1688 |        0
1249.30/1249.59	c 1249s |      18 |  1402330 |   330552 |     6022     89 |     1688 |        0
1251.40/1251.69	c 1251s |      18 |  1403394 |   330952 |     6022     89 |     1688 |        0
1254.10/1254.30	c 1254s |      18 |  1404391 |   331352 |     6022     89 |     1688 |        0
1256.50/1256.70	c 1256s |      18 |  1405533 |   331752 |     6022     89 |     1688 |        0
1259.19/1259.49	c 1259s |      18 |  1407398 |   332152 |     6022     90 |     1688 |        0
1261.80/1262.01	c 1261s |      18 |  1408454 |   332552 |     6022     90 |     1688 |        0
1263.81/1264.09	c 1264s |      18 |  1409468 |   332852 |     6022     90 |     1688 |        0
1266.11/1266.37	c 1266s |      18 |  1410575 |   333252 |     6022     90 |     1688 |        0
1268.50/1268.74	c 1268s |      18 |  1411702 |   333652 |     6022     90 |     1688 |        0
1270.80/1271.03	c 1270s |      18 |  1412693 |   334052 |     6022     90 |     1688 |        0
1272.99/1273.29	c 1273s |      18 |  1413804 |   334452 |     6022     90 |     1688 |        0
1275.09/1275.34	c 1275s |      18 |  1414866 |   334852 |     6022     90 |     1688 |        0
1277.49/1277.78	c 1277s |      18 |  1415904 |   335252 |     6022     90 |     1688 |        0
1279.69/1279.93	c 1279s |      18 |  1416700 |   335552 |     6022     90 |     1688 |        0
1282.30/1282.50	c 1282s |      18 |  1417763 |   335852 |     6022     90 |     1688 |        0
1284.50/1284.79	c 1284s |      18 |  1418658 |   336252 |     6022     90 |     1688 |        0
1286.90/1287.13	c 1287s |      18 |  1419348 |   336552 |     6022     91 |     1688 |        0
1289.00/1289.23	c 1289s |      18 |  1420107 |   336852 |     6022     91 |     1688 |        0
1291.20/1291.42	c 1291s |      18 |  1420621 |   337052 |     6022     91 |     1688 |        0
1293.89/1294.13	c 1294s |      18 |  1421306 |   337352 |     6022     91 |     1688 |        0
1296.49/1296.76	c 1296s |      18 |  1421862 |   337652 |     6022     91 |     1688 |        0
1299.30/1299.52	c 1299s |      18 |  1422334 |   337852 |     6022     91 |     1688 |        0
1301.50/1301.72	c 1301s |      18 |  1423070 |   338052 |     6022     91 |     1688 |        0
1303.59/1303.85	c 1303s |      18 |  1423438 |   338252 |     6022     91 |     1688 |        0
1305.89/1306.18	c 1306s |      18 |  1423926 |   338452 |     6022     91 |     1688 |        0
1308.79/1309.08	c 1309s |      18 |  1424490 |   338752 |     6022     91 |     1688 |        0
1311.29/1311.56	c 1311s |      18 |  1425346 |   339052 |     6022     91 |     1688 |        0
1313.99/1314.28	c 1314s |      18 |  1426203 |   339352 |     6022     91 |     1688 |        0
1316.89/1317.10	c 1317s |      18 |  1426879 |   339652 |     6022     91 |     1688 |        0
1319.29/1319.51	c 1319s |      18 |  1427927 |   339952 |     6022     91 |     1688 |        0
1321.99/1322.21	c 1322s |      18 |  1428633 |   340252 |     6022     91 |     1688 |        0
1324.09/1324.36	c 1324s |      18 |  1429008 |   340452 |     6022     91 |     1688 |        0
1326.09/1326.38	c 1326s |      18 |  1429726 |   340752 |     6022     91 |     1688 |        0
1328.89/1329.19	c 1329s |      18 |  1430487 |   341052 |     6022     92 |     1688 |        0
1331.69/1331.94	c 1331s |      18 |  1431809 |   341452 |     6022     92 |     1688 |        0
1334.29/1334.60	c 1334s |      18 |  1432794 |   341752 |     6022     92 |     1688 |        0
1337.49/1337.79	c 1337s |      18 |  1433487 |   342052 |     6022     92 |     1688 |        0
1340.39/1340.62	c 1340s |      18 |  1434119 |   342352 |     6022     92 |     1688 |        0
1342.69/1342.93	c 1342s |      18 |  1434970 |   342652 |     6022     92 |     1688 |        0
1344.78/1345.03	c 1344s |      18 |  1435718 |   342952 |     6022     92 |     1688 |        0
1347.28/1347.59	c 1347s |      18 |  1436890 |   343252 |     6022     92 |     1688 |        0
1349.78/1350.02	c 1349s |      18 |  1437634 |   343552 |     6022     92 |     1688 |        0
1352.18/1352.40	c 1352s |      18 |  1438441 |   343852 |     6022     92 |     1688 |        0
1354.68/1354.99	c 1354s |      18 |  1439170 |   344152 |     6022     92 |     1688 |        0
1356.98/1357.23	c 1357s |      18 |  1440676 |   344652 |     6022     92 |     1688 |        0
1359.38/1359.68	c 1359s |      18 |  1442571 |   345152 |     6022     92 |     1688 |        0
1361.98/1362.25	c 1362s |      18 |  1443940 |   345552 |     6022     93 |     1688 |        0
1364.07/1364.32	c 1364s |      18 |  1445007 |   345852 |     6022     93 |     1688 |        0
1366.57/1366.80	c 1366s |      18 |  1447115 |   346452 |     6022     93 |     1688 |        0
1368.77/1369.08	c 1369s |      18 |  1448265 |   346852 |     6022     93 |     1688 |        0
1371.07/1371.36	c 1371s |      18 |  1449801 |   347352 |     6022     93 |     1688 |        0
1373.17/1373.49	c 1373s |      18 |  1450757 |   347752 |     6022     93 |     1688 |        0
1375.57/1375.89	c 1375s |      18 |  1452110 |   348252 |     6022     93 |     1688 |        0
1378.18/1378.43	c 1378s |      18 |  1453723 |   348752 |     6022     93 |     1688 |        0
1380.57/1380.85	c 1380s |      18 |  1455588 |   349252 |     6022     93 |     1688 |        0
1382.87/1383.16	c 1383s |      18 |  1456931 |   349652 |     6022     94 |     1688 |        0
1384.87/1385.18	c 1385s |      18 |  1458112 |   350052 |     6022     94 |     1688 |        0
1387.46/1387.71	c 1387s |      18 |  1459959 |   350552 |     6022     94 |     1688 |        0
1389.86/1390.15	c 1390s |      18 |  1461454 |   351052 |     6022     94 |     1688 |        0
1392.47/1392.74	c 1392s |      18 |  1462672 |   351452 |     6022     94 |     1688 |        0
1394.46/1394.76	c 1394s |      18 |  1464091 |   351852 |     6022     94 |     1688 |        0
1396.46/1396.76	c 1396s |      18 |  1465395 |   352252 |     6022     94 |     1688 |        0
1398.86/1399.11	c 1399s |      18 |  1466520 |   352652 |     6022     94 |     1688 |        0
1400.86/1401.20	c 1401s |      18 |  1468099 |   353052 |     6022     94 |     1688 |        0
1403.26/1403.55	c 1403s |      18 |  1469229 |   353452 |     6022     94 |     1688 |        0
1405.35/1405.65	c 1405s |      18 |  1470711 |   353852 |     6022     94 |     1688 |        0
1407.75/1408.10	c 1408s |      18 |  1471978 |   354252 |     6022     95 |     1688 |        0
1410.07/1410.31	c 1410s |      18 |  1473379 |   354652 |     6022     95 |     1688 |        0
1412.65/1412.91	c 1412s |      18 |  1474680 |   355052 |     6022     95 |     1688 |        0
1415.15/1415.44	c 1415s |      18 |  1476106 |   355452 |     6022     95 |     1688 |        0
1417.45/1417.77	c 1417s |      18 |  1477659 |   355852 |     6022     95 |     1688 |        0
1420.15/1420.45	c 1420s |      18 |  1478652 |   356252 |     6022     95 |     1688 |        0
1422.65/1422.96	c 1422s |      18 |  1480257 |   356652 |     6022     95 |     1688 |        0
1424.75/1425.04	c 1424s |      18 |  1481683 |   356952 |     6022     95 |     1688 |        0
1427.25/1427.53	c 1427s |      18 |  1483410 |   357352 |     6022     95 |     1688 |        0
1429.35/1429.65	c 1429s |      18 |  1484327 |   357652 |     6022     95 |     1688 |        0
1431.34/1431.66	c 1431s |      18 |  1485147 |   357952 |     6022     95 |     1688 |        0
1434.05/1434.32	c 1434s |      18 |  1485978 |   358352 |     6022     95 |     1688 |        0
1436.25/1436.58	c 1436s |      18 |  1486973 |   358652 |     6022     96 |     1688 |        0
1438.45/1438.72	c 1438s |      18 |  1487962 |   358952 |     6022     96 |     1688 |        0
1440.45/1440.75	c 1440s |      18 |  1488838 |   359252 |     6022     96 |     1688 |        0
1443.05/1443.32	c 1443s |      18 |  1490226 |   359652 |     6022     96 |     1688 |        0
1445.45/1445.70	c 1445s |      18 |  1491253 |   359952 |     6022     96 |     1688 |        0
1447.45/1447.77	c 1447s |      18 |  1492330 |   360252 |     6022     96 |     1688 |        0
1449.94/1450.27	c 1450s |      18 |  1493485 |   360552 |     6022     96 |     1688 |        0
1452.54/1452.86	c 1452s |      18 |  1494718 |   360952 |     6022     96 |     1688 |        0
1455.24/1455.56	c 1455s |      18 |  1495642 |   361252 |     6022     96 |     1688 |        0
1458.25/1458.55	c 1458s |      18 |  1496588 |   361552 |     6022     96 |     1688 |        0
1460.44/1460.77	c 1460s |      18 |  1497488 |   361852 |     6022     96 |     1688 |        0
1462.95/1463.25	c 1463s |      18 |  1498256 |   362152 |     6022     96 |     1688 |        0
1465.44/1465.75	c 1465s |      18 |  1499394 |   362452 |     6022     96 |     1688 |        0
1467.64/1467.95	c 1467s |      18 |  1500312 |   362752 |     6022     96 |     1688 |        0
1469.83/1470.14	c 1470s |      18 |  1501748 |   363052 |     6022     97 |     1688 |        0
1472.03/1472.33	c 1472s |      18 |  1502604 |   363352 |     6022     97 |     1688 |        0
1474.23/1474.50	c 1474s |      18 |  1503592 |   363652 |     6022     97 |     1688 |        0
1476.33/1476.65	c 1476s |      18 |  1504462 |   363952 |     6022     97 |     1688 |        0
1478.83/1479.11	c 1479s |      18 |  1505385 |   364252 |     6022     97 |     1688 |        0
1481.33/1481.64	c 1481s |      18 |  1506314 |   364552 |     6022     97 |     1688 |        0
1484.03/1484.30	c 1484s |      18 |  1507748 |   364952 |     6022     97 |     1688 |        0
1486.43/1486.72	c 1486s |      18 |  1508632 |   365252 |     6022     97 |     1688 |        0
1488.82/1489.14	c 1489s |      18 |  1509475 |   365552 |     6022     97 |     1688 |        0
1491.23/1491.51	c 1491s |      18 |  1510497 |   365852 |     6022     97 |     1688 |        0
1493.74/1494.03	c 1493s |      18 |  1511376 |   366152 |     6022     97 |     1688 |        0
1496.13/1496.48	c 1496s |      18 |  1512545 |   366452 |     6022     97 |     1688 |        0
1498.53/1498.87	c 1498s |      18 |  1514882 |   367052 |     6022     97 |     1688 |        0
1500.82/1501.14	c 1501s |      18 |  1516169 |   367452 |     6022     98 |     1688 |        0
1502.82/1503.15	c 1503s |      18 |  1517323 |   367852 |     6022     98 |     1688 |        0
1505.42/1505.74	c 1505s |      18 |  1518786 |   368252 |     6022     98 |     1688 |        0
1508.12/1508.45	c 1508s |      18 |  1520282 |   368652 |     6022     98 |     1688 |        0
1510.42/1510.74	c 1510s |      18 |  1520973 |   368952 |     6022     98 |     1688 |        0
1512.43/1512.74	c 1512s |      18 |  1521991 |   369252 |     6022     98 |     1688 |        0
1514.53/1514.84	c 1514s |      18 |  1523658 |   369552 |     6022     98 |     1688 |        0
1516.83/1517.11	c 1517s |      18 |  1525129 |   370352 |     6022     98 |     1688 |        0
1519.03/1519.34	c 1519s |      18 |  1526205 |   370952 |     6022     98 |     1688 |        0
1521.22/1521.55	c 1521s |      18 |  1526930 |   371452 |     6022     98 |     1688 |        0
1523.42/1523.76	c 1523s |      18 |  1527972 |   372052 |     6022     99 |     1688 |        0
1525.52/1525.89	c 1525s |      18 |  1528974 |   372552 |     6022     99 |     1688 |        0
1527.72/1528.05	c 1527s |      18 |  1529956 |   373052 |     6022     99 |     1688 |        0
1529.92/1530.27	c 1530s |      18 |  1530969 |   373652 |     6022     99 |     1688 |        0
1532.01/1532.30	c 1532s |      18 |  1531674 |   374052 |     6022     99 |     1688 |        0
1534.33/1534.62	c 1534s |      18 |  1532599 |   374552 |     6022     99 |     1688 |        0
1536.42/1536.76	c 1536s |      18 |  1533479 |   375052 |     6022     99 |     1688 |        0
1538.42/1538.78	c 1538s |      18 |  1534604 |   375552 |     6022     99 |     1688 |        0
1540.92/1541.27	c 1541s |      18 |  1535392 |   376052 |     6022     99 |     1688 |        0
1543.32/1543.65	c 1543s |      18 |  1536139 |   376552 |     6022    100 |     1688 |        0
1545.72/1546.07	c 1546s |      18 |  1537342 |   377152 |     6022    100 |     1688 |        0
1547.92/1548.22	c 1548s |      18 |  1538560 |   377652 |     6022    100 |     1688 |        0
1550.11/1550.41	c 1550s |      18 |  1539794 |   378152 |     6022    100 |     1688 |        0
1552.31/1552.64	c 1552s |      18 |  1540856 |   378652 |     6022    100 |     1688 |        0
1554.41/1554.72	c 1554s |      18 |  1541619 |   379052 |     6022    100 |     1688 |        0
1556.51/1556.88	c 1556s |      18 |  1542524 |   379452 |     6022    100 |     1688 |        0
1558.91/1559.25	c 1559s |      18 |  1543722 |   379852 |     6022    100 |     1688 |        0
1561.21/1561.50	c 1561s |      18 |  1544456 |   380252 |     6022    100 |     1688 |        0
1563.31/1563.64	c 1563s |      18 |  1545250 |   380652 |     6022    100 |     1688 |        0
1565.51/1565.80	c 1565s |      18 |  1546164 |   381052 |     6022    101 |     1688 |        0
1567.51/1567.83	c 1567s |      18 |  1547536 |   381452 |     6022    101 |     1688 |        0
1569.71/1570.09	c 1570s |      18 |  1548812 |   381952 |     6022    101 |     1688 |        0
1571.82/1572.16	c 1572s |      18 |  1550141 |   382352 |     6022    101 |     1688 |        0
1573.92/1574.23	c 1574s |      18 |  1551325 |   382852 |     6022    101 |     1688 |        0
1576.22/1576.57	c 1576s |      18 |  1552882 |   383452 |     6022    101 |     1688 |        0
1578.61/1578.90	c 1578s |      18 |  1554157 |   383952 |     6022    101 |     1688 |        0
1581.01/1581.34	c 1581s |      18 |  1555317 |   384452 |     6022    101 |     1688 |        0
1583.01/1583.38	c 1583s |      18 |  1556557 |   384952 |     6022    101 |     1688 |        0
1585.21/1585.54	c 1585s |      18 |  1557419 |   385352 |     6022    102 |     1688 |        0
1587.41/1587.76	c 1587s |      18 |  1559034 |   385952 |     6022    102 |     1688 |        0
1589.71/1590.00	c 1589s |      18 |  1560613 |   386452 |     6022    102 |     1688 |        0
1591.91/1592.24	c 1592s |      18 |  1562099 |   386952 |     6022    102 |     1688 |        0
1594.11/1594.46	c 1594s |      18 |  1563576 |   387452 |     6022    102 |     1688 |        0
1596.31/1596.68	c 1596s |      18 |  1565096 |   387952 |     6022    102 |     1688 |        0
1598.61/1598.99	c 1598s |      18 |  1566504 |   388452 |     6022    102 |     1688 |        0
1601.11/1601.45	c 1601s |      18 |  1567926 |   388952 |     6022    102 |     1688 |        0
1603.51/1603.89	c 1603s |      18 |  1569368 |   389352 |     6022    102 |     1688 |        0
1605.91/1606.29	c 1606s |      18 |  1570489 |   389752 |     6022    103 |     1688 |        0
1608.20/1608.57	c 1608s |      18 |  1571895 |   390252 |     6022    103 |     1688 |        0
1610.70/1611.04	c 1610s |      18 |  1573578 |   390752 |     6022    103 |     1688 |        0
1612.90/1613.21	c 1613s |      18 |  1574869 |   391252 |     6022    103 |     1688 |        0
1615.00/1615.38	c 1615s |      18 |  1576624 |   391752 |     6022    103 |     1688 |        0
1617.50/1617.87	c 1617s |      18 |  1577853 |   392252 |     6022    103 |     1688 |        0
1619.80/1620.19	c 1620s |      18 |  1579118 |   392652 |     6022    103 |     1688 |        0
1622.20/1622.57	c 1622s |      18 |  1580901 |   393152 |     6022    103 |     1688 |        0
1624.61/1624.95	c 1624s |      18 |  1582536 |   393552 |     6022    103 |     1688 |        0
1627.30/1627.69	c 1627s |      18 |  1583977 |   393952 |     6022    103 |     1688 |        0
1629.40/1629.71	c 1629s |      18 |  1585339 |   394352 |     6022    104 |     1688 |        0
1631.60/1631.90	c 1631s |      18 |  1586712 |   394752 |     6022    104 |     1688 |        0
1633.70/1634.07	c 1634s |      18 |  1587879 |   395152 |     6022    104 |     1688 |        0
1636.00/1636.33	c 1636s |      18 |  1589120 |   395652 |     6022    104 |     1688 |        0
1638.29/1638.69	c 1638s |      18 |  1590803 |   396152 |     6022    104 |     1688 |        0
1641.00/1641.31	c 1641s |      18 |  1592175 |   396552 |     6022    104 |     1688 |        0
1643.00/1643.36	c 1643s |      18 |  1593799 |   396952 |     6022    104 |     1688 |        0
1645.20/1645.50	c 1645s |      18 |  1595226 |   397352 |     6022    104 |     1688 |        0
1647.19/1647.53	c 1647s |      18 |  1596467 |   397752 |     6022    104 |     1688 |        0
1649.69/1650.00	c 1649s |      18 |  1598122 |   398252 |     6022    104 |     1688 |        0
1651.79/1652.19	c 1652s |      18 |  1599373 |   398652 |     6022    105 |     1688 |        0
1654.30/1654.65	c 1654s |      18 |  1600875 |   399152 |     6022    105 |     1688 |        0
1656.29/1656.66	c 1656s |      18 |  1602039 |   399552 |     6022    105 |     1688 |        0
1658.29/1658.68	c 1658s |      18 |  1603059 |   399952 |     6022    105 |     1688 |        0
1660.79/1661.17	c 1661s |      18 |  1604630 |   400452 |     6022    105 |     1688 |        0
1663.10/1663.41	c 1663s |      18 |  1605996 |   400852 |     6022    105 |     1688 |        0
1665.49/1665.82	c 1665s |      18 |  1607685 |   401252 |     6022    105 |     1688 |        0
1667.50/1667.83	c 1667s |      18 |  1609154 |   401652 |     6022    105 |     1688 |        0
1669.49/1669.89	c 1669s |      18 |  1610213 |   402052 |     6022    105 |     1688 |        0
1671.59/1671.96	c 1671s |      18 |  1612991 |   402552 |     6022    106 |     1688 |        0
1673.68/1674.06	c 1673s |      18 |  1618253 |   403252 |     6022    106 |     1688 |        0
1676.08/1676.48	c 1676s |      18 |  1622035 |   403952 |     6022    106 |     1688 |        0
1678.39/1678.74	c 1678s |      18 |  1623849 |   404452 |     6022    106 |     1688 |        0
1680.59/1680.97	c 1680s |      18 |  1625032 |   404852 |     6022    106 |     1688 |        0
1683.08/1683.43	c 1683s |      18 |  1626629 |   405352 |     6022    106 |     1688 |        0
1685.38/1685.71	c 1685s |      18 |  1627939 |   405752 |     6022    106 |     1688 |        0
1687.68/1688.04	c 1687s |      18 |  1629003 |   406152 |     6022    106 |     1688 |        0
1690.08/1690.47	c 1690s |      18 |  1630505 |   406552 |     6022    106 |     1688 |        0
1692.68/1693.07	c 1692s |      18 |  1631976 |   407052 |     6022    106 |     1688 |        0
1695.19/1695.56	c 1695s |      18 |  1633092 |   407452 |     6022    107 |     1688 |        0
1697.39/1697.76	c 1697s |      18 |  1633799 |   407852 |     6022    107 |     1688 |        0
1699.48/1699.81	c 1699s |      18 |  1635222 |   408352 |     6022    107 |     1688 |        0
1701.59/1701.91	c 1701s |      18 |  1636479 |   408752 |     6022    107 |     1688 |        0
1703.98/1704.39	c 1704s |      18 |  1638020 |   409252 |     6022    107 |     1688 |        0
1706.18/1706.53	c 1706s |      18 |  1639001 |   409652 |     6022    107 |     1688 |        0
1708.28/1708.63	c 1708s |      18 |  1640052 |   410052 |     6022    107 |     1688 |        0
1710.38/1710.79	c 1710s |      18 |  1640937 |   410452 |     6022    107 |     1688 |        0
1712.58/1712.97	c 1712s |      18 |  1641958 |   410852 |     6022    107 |     1688 |        0
1714.78/1715.19	c 1715s |      18 |  1643118 |   411252 |     6022    107 |     1688 |        0
1716.98/1717.37	c 1717s |      18 |  1643919 |   411552 |     6022    108 |     1688 |        0
1719.57/1719.96	c 1719s |      18 |  1644768 |   411952 |     6022    108 |     1688 |        0
1722.07/1722.46	c 1722s |      18 |  1646598 |   412352 |     6022    108 |     1688 |        0
1724.27/1724.69	c 1724s |      18 |  1648168 |   412752 |     6022    108 |     1688 |        0
1726.67/1727.08	c 1727s |      18 |  1649220 |   413152 |     6022    108 |     1688 |        0
1728.77/1729.12	c 1729s |      18 |  1657757 |   413752 |     6022    108 |     1688 |        0
1731.07/1731.49	c 1731s |      18 |  1672861 |   414752 |     6022    108 |     1688 |        0
1733.57/1733.92	c 1733s |      18 |  1675963 |   415352 |     6022    108 |     1688 |        0
1735.57/1735.94	c 1735s |      18 |  1677951 |   415752 |     6022    108 |     1688 |        0
1737.56/1737.97	c 1737s |      18 |  1679590 |   416052 |     6022    109 |     1688 |        0
1739.56/1739.99	c 1739s |      18 |  1681129 |   416552 |     6022    109 |     1688 |        0
1741.86/1742.23	c 1742s |      18 |  1682142 |   416952 |     6022    109 |     1688 |        0
1744.25/1744.64	c 1744s |      18 |  1683291 |   417352 |     6022    109 |     1688 |        0
1746.76/1747.12	c 1747s |      18 |  1684220 |   417752 |     6022    109 |     1688 |        0
1748.77/1749.16	c 1749s |      18 |  1685027 |   418052 |     6022    109 |     1688 |        0
1750.96/1751.38	c 1751s |      18 |  1687327 |   418552 |     6022    109 |     1688 |        0
1753.35/1753.78	c 1753s |      18 |  1688888 |   419052 |     6022    109 |     1688 |        0
1755.46/1755.82	c 1755s |      18 |  1690472 |   419452 |     6022    109 |     1688 |        0
1757.85/1758.27	c 1758s |      18 |  1691604 |   419852 |     6022    109 |     1688 |        0
1760.15/1760.52	c 1760s |      18 |  1692615 |   420152 |     6022    109 |     1688 |        0
1762.45/1762.81	c 1762s |      18 |  1695312 |   420852 |     6022    110 |     1688 |        0
1764.65/1765.04	c 1764s |      18 |  1698063 |   421552 |     6022    110 |     1688 |        0
1767.05/1767.46	c 1767s |      18 |  1700850 |   422152 |     6022    110 |     1688 |        0
1769.54/1769.95	c 1769s |      18 |  1702185 |   422652 |     6022    110 |     1688 |        0
1772.04/1772.46	c 1772s |      18 |  1703424 |   423152 |     6022    110 |     1688 |        0
1774.04/1774.50	c 1774s |      18 |  1704577 |   423552 |     6022    110 |     1688 |        0
1776.85/1777.22	c 1777s |      18 |  1705764 |   423952 |     6022    110 |     1688 |        0
1778.84/1779.27	c 1779s |      18 |  1708312 |   424552 |     6022    110 |     1688 |        0
1780.94/1781.35	c 1781s |      18 |  1709993 |   425052 |     6022    111 |     1688 |        0
1783.04/1783.49	c 1783s |      18 |  1711878 |   425652 |     6022    111 |     1688 |        0
1785.34/1785.78	c 1785s |      18 |  1713309 |   426152 |     6022    111 |     1688 |        0
1787.44/1787.85	c 1787s |      18 |  1714366 |   426552 |     6022    111 |     1688 |        0
1789.83/1790.27	c 1790s |      18 |  1716418 |   426952 |     6022    111 |     1688 |        0
1792.03/1792.48	c 1792s |      18 |  1718877 |   427452 |     6022    111 |     1688 |        0
1794.13/1794.54	c 1794s |      18 |  1720116 |   427852 |     6022    111 |     1688 |        0
1796.34/1796.73	c 1796s |      18 |  1721608 |   428252 |     6022    111 |     1688 |        0
1798.34/1798.77	c 1798s |      18 |  1723295 |   428652 |     6022    111 |     1688 |        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-4099953-1466209745/watcher-4099953-1466209745 -o /tmp/evaluation-result-4099953-1466209745/solver-4099953-1466209745 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16205 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099953-1466209745.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.19 2.27 2.20 3/179 17918
/proc/meminfo: memFree=28303256/32872528 swapFree=1459628/1655852
[pid=17918] ppid=17915 vsize=765508 CPUtime=0 cores=0,2,4,6
/proc/17918/stat : 17918 (toysat) R 17915 17918 16189 0 -1 4202496 2865 0 0 0 0 0 0 0 20 0 4 0 23020026 783880192 3226 33554432000 4194304 16246674 140735173808368 140735173807792 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17918/statm: 192145 3235 442 2943 0 189039 0
[pid=17918/tid=17919] ppid=17915 vsize=783940 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17919/stat : 17919 (toysat) S 17915 17918 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23020026 802754560 3297 33554432000 4194304 16246674 140735173808368 140165901167856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17918/tid=17920] ppid=17915 vsize=789060 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17920/stat : 17920 (toysat) S 17915 17918 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020026 807997440 3315 33554432000 4194304 16246674 140735173808368 140165890678000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17918/tid=17921] ppid=17915 vsize=793156 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17921/stat : 17921 (toysat) S 17915 17918 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23020026 812191744 3332 33554432000 4194304 16246674 140735173808368 140165880204464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.19 2.27 2.20 3/179 17918
/proc/meminfo: memFree=28303256/32872528 swapFree=1459628/1655852
[pid=17918] ppid=17915 vsize=1222212 CPUtime=0.09 cores=0,2,4,6
/proc/17918/stat : 17918 (toysat) R 17915 17918 16189 0 -1 4202496 20186 0 0 0 7 2 0 0 20 0 4 0 23020026 1251545088 20494 33554432000 4194304 16246674 140735173808368 140735173807680 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17918/statm: 305553 20494 886 2943 0 302447 0
[pid=17918/tid=17919] ppid=17915 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17919/stat : 17919 (toysat) S 17915 17918 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23020026 1251545088 20494 33554432000 4194304 16246674 140735173808368 140165901167856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17918/tid=17920] ppid=17915 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17920/stat : 17920 (toysat) S 17915 17918 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020026 1251545088 20494 33554432000 4194304 16246674 140735173808368 140165890678000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17918/tid=17921] ppid=17915 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17921/stat : 17921 (toysat) S 17915 17918 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020026 1251545088 20494 33554432000 4194304 16246674 140735173808368 140165880204464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1222212

[startup+0.200504 s]
/proc/loadavg: 2.19 2.27 2.20 3/179 17918
/proc/meminfo: memFree=28303256/32872528 swapFree=1459628/1655852
[pid=17918] ppid=17915 vsize=1222212 CPUtime=0.19 cores=0,2,4,6
/proc/17918/stat : 17918 (toysat) R 17915 17918 16189 0 -1 4202496 28327 0 0 0 15 4 0 0 20 0 4 0 23020026 1251545088 28635 33554432000 4194304 16246674 140735173808368 140735173807680 5712452 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17918/statm: 305553 28635 886 2943 0 302447 0
[pid=17918/tid=17919] ppid=17915 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17919/stat : 17919 (toysat) S 17915 17918 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23020026 1251545088 28636 33554432000 4194304 16246674 140735173808368 140165901167856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17918/tid=17920] ppid=17915 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17920/stat : 17920 (toysat) S 17915 17918 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020026 1251545088 28636 33554432000 4194304 16246674 140735173808368 140165890678000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17918/tid=17921] ppid=17915 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17921/stat : 17921 (toysat) S 17915 17918 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020026 1251545088 28636 33554432000 4194304 16246674 140735173808368 140165880204464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1222212

[startup+0.300463 s]
/proc/loadavg: 2.19 2.27 2.20 3/179 17918
/proc/meminfo: memFree=28303256/32872528 swapFree=1459628/1655852
[pid=17918] ppid=17915 vsize=1222212 CPUtime=0.29 cores=0,2,4,6
/proc/17918/stat : 17918 (toysat) R 17915 17918 16189 0 -1 4202496 51677 0 0 0 23 6 0 0 20 0 4 0 23020026 1251545088 51985 33554432000 4194304 16246674 140735173808368 140735173807680 5721660 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17918/statm: 305553 52002 886 2943 0 302447 0
[pid=17918/tid=17919] ppid=17915 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17919/stat : 17919 (toysat) S 17915 17918 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23020026 1251545088 52012 33554432000 4194304 16246674 140735173808368 140165901167856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17918/tid=17920] ppid=17915 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17920/stat : 17920 (toysat) S 17915 17918 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020026 1251545088 52024 33554432000 4194304 16246674 140735173808368 140165890678000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17918/tid=17921] ppid=17915 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17921/stat : 17921 (toysat) S 17915 17918 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020026 1251545088 52036 33554432000 4194304 16246674 140735173808368 140165880204464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1222212

[startup+0.700389 s]
/proc/loadavg: 2.19 2.27 2.20 3/179 17918
/proc/meminfo: memFree=28303256/32872528 swapFree=1459628/1655852
[pid=17918] ppid=17915 vsize=1303108 CPUtime=0.69 cores=0,2,4,6
/proc/17918/stat : 17918 (toysat) R 17915 17918 16189 0 -1 4202496 138755 0 0 0 52 17 0 0 20 0 4 0 23020026 1334382592 139063 33554432000 4194304 16246674 140735173808368 140735173790272 13906976 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17918/statm: 325777 139063 889 2943 0 322671 0
[pid=17918/tid=17919] ppid=17915 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17919/stat : 17919 (toysat) S 17915 17918 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23020026 1334382592 139063 33554432000 4194304 16246674 140735173808368 140165901167856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17918/tid=17920] ppid=17915 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17920/stat : 17920 (toysat) S 17915 17918 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020026 1334382592 139063 33554432000 4194304 16246674 140735173808368 140165890678000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17918/tid=17921] ppid=17915 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17921/stat : 17921 (toysat) S 17915 17918 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020026 1334382592 139063 33554432000 4194304 16246674 140735173808368 140165880204464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1303108

[startup+1.50039 s]
/proc/loadavg: 2.18 2.27 2.20 3/183 17922
/proc/meminfo: memFree=27610712/32872528 swapFree=1459628/1655852
[pid=17918] ppid=17915 vsize=1303108 CPUtime=1.49 cores=0,2,4,6
/proc/17918/stat : 17918 (toysat) R 17915 17918 16189 0 -1 4202496 230227 0 0 0 121 28 0 0 20 0 4 0 23020026 1334382592 230536 33554432000 4194304 16246674 140735173808368 140735173790272 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17918/statm: 325777 230556 889 2943 0 322671 0
[pid=17918/tid=17919] ppid=17915 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17919/stat : 17919 (toysat) S 17915 17918 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23020026 1334382592 230567 33554432000 4194304 16246674 140735173808368 140165901167856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17918/tid=17920] ppid=17915 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17920/stat : 17920 (toysat) S 17915 17918 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020026 1334382592 230578 33554432000 4194304 16246674 140735173808368 140165890678000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17918/tid=17921] ppid=17915 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17921/stat : 17921 (toysat) S 17915 17918 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020026 1334382592 230586 33554432000 4194304 16246674 140735173808368 140165880204464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1303108

[startup+3.1004 s]
/proc/loadavg: 2.18 2.27 2.20 3/183 17922
/proc/meminfo: memFree=26922264/32872528 swapFree=1459628/1655852
[pid=17918] ppid=17915 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/17918/stat : 17918 (toysat) R 17915 17918 16189 0 -1 4202496 268112 0 0 0 275 34 0 0 20 0 4 0 23020026 1339625472 268420 33554432000 4194304 16246674 140735173808368 140735173790272 5711369 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17918/statm: 327057 268420 894 2943 0 323951 0
[pid=17918/tid=17919] ppid=17915 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17919/stat : 17919 (toysat) S 17915 17918 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23020026 1339625472 268420 33554432000 4194304 16246674 140735173808368 140165901167856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17918/tid=17920] ppid=17915 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17920/stat : 17920 (toysat) S 17915 17918 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020026 1339625472 268420 33554432000 4194304 16246674 140735173808368 140165890678000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17918/tid=17921] ppid=17915 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17921/stat : 17921 (toysat) S 17915 17918 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020026 1339625472 268420 33554432000 4194304 16246674 140735173808368 140165880204464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.3004 s]
/proc/loadavg: 2.18 2.27 2.20 3/183 17922
/proc/meminfo: memFree=26919728/32872528 swapFree=1459628/1655852
[pid=17918] ppid=17915 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/17918/stat : 17918 (toysat) R 17915 17918 16189 0 -1 4202496 268233 0 0 0 595 34 0 0 20 0 4 0 23020026 1339625472 268541 33554432000 4194304 16246674 140735173808368 140735173790272 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17918/statm: 327057 268541 894 2943 0 323951 0
[pid=17918/tid=17919] ppid=17915 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17919/stat : 17919 (toysat) S 17915 17918 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23020026 1339625472 268541 33554432000 4194304 16246674 140735173808368 140165901167856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17918/tid=17920] ppid=17915 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17920/stat : 17920 (toysat) S 17915 17918 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020026 1339625472 268541 33554432000 4194304 16246674 140735173808368 140165890678000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17918/tid=17921] ppid=17915 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17921/stat : 17921 (toysat) S 17915 17918 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020026 1339625472 268541 33554432000 4194304 16246674 140735173808368 140165880204464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7003 s]
/proc/loadavg: 2.22 2.27 2.21 3/183 17922
/proc/meminfo: memFree=26919656/32872528 swapFree=1459628/1655852
[pid=17918] ppid=17915 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/17918/stat : 17918 (toysat) R 17915 17918 16189 0 -1 4202496 268239 0 0 0 1235 34 0 0 20 0 4 0 23020026 1339625472 268547 33554432000 4194304 16246674 140735173808368 140735173790272 5711496 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17918/statm: 327057 268547 900 2943 0 323951 0
[pid=17918/tid=17919] ppid=17915 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17919/stat : 17919 (toysat) S 17915 17918 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23020026 1339625472 268547 33554432000 4194304 16246674 140735173808368 140165901167856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17918/tid=17920] ppid=17915 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17920/stat : 17920 (toysat) S 17915 17918 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020026 1339625472 268547 33554432000 4194304 16246674 140735173808368 140165890678000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17918/tid=17921] ppid=17915 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17921/stat : 17921 (toysat) S 17915 17918 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020026 1339625472 268547 33554432000 4194304 16246674 140735173808368 140165880204464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5074 s]
/proc/loadavg: 2.19 2.26 2.20 4/183 17922
/proc/meminfo: memFree=26902596/32872528 swapFree=1459628/1655852
[pid=17918] ppid=17915 vsize=1308228 CPUtime=25.49 cores=0,2,4,6
/proc/17918/stat : 17918 (toysat) R 17915 17918 16189 0 -1 4202496 268240 0 0 0 2515 34 0 0 20 0 4 0 23020026 1339625472 268548 33554432000 4194304 16246674 140735173808368 140735173790272 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17918/statm: 327057 268548 901 2943 0 323951 0
[pid=17918/tid=17919] ppid=17915 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17919/stat : 17919 (toysat) S 17915 17918 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23020026 1339625472 268548 33554432000 4194304 16246674 140735173808368 140165901167856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17918/tid=17920] ppid=17915 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17920/stat : 17920 (toysat) S 17915 17918 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020026 1339625472 268548 33554432000 4194304 16246674 140735173808368 140165890678000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17918/tid=17921] ppid=17915 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17921/stat : 17921 (toysat) S 17915 17918 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020026 1339625472 268548 33554432000 4194304 16246674 140735173808368 140165880204464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1004 s]
/proc/loadavg: 2.32 2.29 2.21 4/183 17922
/proc/meminfo: memFree=26890200/32872528 swapFree=1459628/1655852
[pid=17918] ppid=17915 vsize=1309252 CPUtime=51.09 cores=0,2,4,6
/proc/17918/stat : 17918 (toysat) R 17915 17918 16189 0 -1 4202496 268340 0 0 0 5073 36 0 0 20 0 4 0 23020026 1340674048 268648 33554432000 4194304 16246674 140735173808368 140735173790272 5722477 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17918/statm: 327313 268648 901 2943 0 324207 0
[pid=17918/tid=17919] ppid=17915 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17919/stat : 17919 (toysat) S 17915 17918 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23020026 1340674048 268648 33554432000 4194304 16246674 140735173808368 140165901167856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17918/tid=17920] ppid=17915 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17920/stat : 17920 (toysat) S 17915 17918 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020026 1340674048 268648 33554432000 4194304 16246674 140735173808368 140165890678000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17918/tid=17921] ppid=17915 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17921/stat : 17921 (toysat) S 17915 17918 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020026 1340674048 268648 33554432000 4194304 16246674 140735173808368 140165880204464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1309252

[startup+102.3 s]
/proc/loadavg: 2.33 2.30 2.22 3/184 17926
/proc/meminfo: memFree=26889432/32872528 swapFree=1459628/1655852
[pid=17918] ppid=17915 vsize=1309252 CPUtime=102.28 cores=0,2,4,6
/proc/17918/stat : 17918 (toysat) R 17915 17918 16189 0 -1 4202496 268496 0 0 0 10190 38 0 0 20 0 4 0 23020026 1340674048 268804 33554432000 4194304 16246674 140735173808368 140735173790272 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17918/statm: 327313 268804 901 2943 0 324207 0
[pid=17918/tid=17919] ppid=17915 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17919/stat : 17919 (toysat) S 17915 17918 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23020026 1340674048 268804 33554432000 4194304 16246674 140735173808368 140165901167856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17918/tid=17920] ppid=17915 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17920/stat : 17920 (toysat) S 17915 17918 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020026 1340674048 268804 33554432000 4194304 16246674 140735173808368 140165890678000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17918/tid=17921] ppid=17915 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17921/stat : 17921 (toysat) S 17915 17918 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020026 1340674048 268804 33554432000 4194304 16246674 140735173808368 140165880204464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252


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

/proc/17918/task/17921/stat : 17921 (toysat) S 17915 17918 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272132 33554432000 4194304 16246674 140735173808368 140165880204464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 1322564

[startup+1362.3 s]
/proc/loadavg: 2.43 2.36 2.29 3/183 17957
/proc/meminfo: memFree=26436668/32872528 swapFree=1459628/1655852
[pid=17918] ppid=17915 vsize=1322564 CPUtime=1362.08 cores=0,2,4,6
/proc/17918/stat : 17918 (toysat) R 17915 17918 16189 0 -1 4202496 271837 0 0 0 136121 87 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140735173790272 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17918/statm: 330641 272135 901 2943 0 327535 0
[pid=17918/tid=17919] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17919/stat : 17919 (toysat) S 17915 17918 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165901167856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17918/tid=17920] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17920/stat : 17920 (toysat) S 17915 17918 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165890678000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17918/tid=17921] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17921/stat : 17921 (toysat) S 17915 17918 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165880204464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1322564

[startup+1422.3 s]
/proc/loadavg: 2.46 2.37 2.29 4/183 17959
/proc/meminfo: memFree=26436696/32872528 swapFree=1459628/1655852
[pid=17918] ppid=17915 vsize=1322564 CPUtime=1422.06 cores=0,2,4,6
/proc/17918/stat : 17918 (toysat) R 17915 17918 16189 0 -1 4202496 271862 0 0 0 142115 91 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140735173790272 6012116 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17918/statm: 330641 272135 901 2943 0 327535 0
[pid=17918/tid=17919] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17919/stat : 17919 (toysat) S 17915 17918 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165901167856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17918/tid=17920] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17920/stat : 17920 (toysat) S 17915 17918 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165890678000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17918/tid=17921] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17921/stat : 17921 (toysat) S 17915 17918 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165880204464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1322564

[startup+1482.3 s]
/proc/loadavg: 2.34 2.34 2.28 3/183 17960
/proc/meminfo: memFree=26436724/32872528 swapFree=1459628/1655852
[pid=17918] ppid=17915 vsize=1322564 CPUtime=1482.03 cores=0,2,4,6
/proc/17918/stat : 17918 (toysat) R 17915 17918 16189 0 -1 4202496 271884 0 0 0 148108 95 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140735173807464 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17918/statm: 330641 272135 901 2943 0 327535 0
[pid=17918/tid=17919] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17919/stat : 17919 (toysat) S 17915 17918 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165901167856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17918/tid=17920] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17920/stat : 17920 (toysat) S 17915 17918 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165890678000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17918/tid=17921] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17921/stat : 17921 (toysat) S 17915 17918 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165880204464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1322564

[startup+1542.3 s]
/proc/loadavg: 2.40 2.36 2.29 4/183 17961
/proc/meminfo: memFree=26436752/32872528 swapFree=1459628/1655852
[pid=17918] ppid=17915 vsize=1322564 CPUtime=1542.02 cores=0,2,4,6
/proc/17918/stat : 17918 (toysat) R 17915 17918 16189 0 -1 4202496 271899 0 0 0 154104 98 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140735173790272 5523288 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17918/statm: 330641 272135 901 2943 0 327535 0
[pid=17918/tid=17919] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17919/stat : 17919 (toysat) S 17915 17918 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165901167856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17918/tid=17920] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17920/stat : 17920 (toysat) S 17915 17918 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165890678000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17918/tid=17921] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17921/stat : 17921 (toysat) S 17915 17918 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165880204464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1322564

[startup+1602.3 s]
/proc/loadavg: 2.42 2.36 2.29 4/183 17962
/proc/meminfo: memFree=26436656/32872528 swapFree=1459628/1655852
[pid=17918] ppid=17915 vsize=1322564 CPUtime=1602.01 cores=0,2,4,6
/proc/17918/stat : 17918 (toysat) R 17915 17918 16189 0 -1 4202496 271901 0 0 0 160102 99 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140735173790272 5721633 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17918/statm: 330641 272135 901 2943 0 327535 0
[pid=17918/tid=17919] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17919/stat : 17919 (toysat) S 17915 17918 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165901167856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17918/tid=17920] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17920/stat : 17920 (toysat) S 17915 17918 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165890678000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17918/tid=17921] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17921/stat : 17921 (toysat) S 17915 17918 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165880204464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1322564

[startup+1662.31 s]
/proc/loadavg: 2.43 2.37 2.29 3/183 17963
/proc/meminfo: memFree=26436684/32872528 swapFree=1459628/1655852
[pid=17918] ppid=17915 vsize=1322564 CPUtime=1662 cores=0,2,4,6
/proc/17918/stat : 17918 (toysat) R 17915 17918 16189 0 -1 4202496 271915 0 0 0 166098 102 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140735173790272 13963975 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17918/statm: 330641 272135 901 2943 0 327535 0
[pid=17918/tid=17919] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17919/stat : 17919 (toysat) S 17915 17918 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165901167856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17918/tid=17920] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17920/stat : 17920 (toysat) S 17915 17918 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165890678000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17918/tid=17921] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17921/stat : 17921 (toysat) S 17915 17918 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165880204464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1322564

[startup+1722.3 s]
/proc/loadavg: 2.36 2.36 2.29 3/183 17965
/proc/meminfo: memFree=26436472/32872528 swapFree=1459628/1655852
[pid=17918] ppid=17915 vsize=1322564 CPUtime=1721.97 cores=0,2,4,6
/proc/17918/stat : 17918 (toysat) R 17915 17918 16189 0 -1 4202496 271938 0 0 0 172094 103 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140735173790272 13759557 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17918/statm: 330641 272135 901 2943 0 327535 0
[pid=17918/tid=17919] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17919/stat : 17919 (toysat) S 17915 17918 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165901167856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17918/tid=17920] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17920/stat : 17920 (toysat) S 17915 17918 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165890678000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17918/tid=17921] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17921/stat : 17921 (toysat) S 17915 17918 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165880204464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 1322564

[startup+1782.3 s]
/proc/loadavg: 2.29 2.34 2.29 4/183 17966
/proc/meminfo: memFree=26436136/32872528 swapFree=1459628/1655852
[pid=17918] ppid=17915 vsize=1322564 CPUtime=1781.94 cores=0,2,4,6
/proc/17918/stat : 17918 (toysat) R 17915 17918 16189 0 -1 4202496 271977 0 0 0 178088 106 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140735173807544 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17918/statm: 330641 272135 901 2943 0 327535 0
[pid=17918/tid=17919] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17919/stat : 17919 (toysat) S 17915 17918 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165901167856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17918/tid=17920] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17920/stat : 17920 (toysat) S 17915 17918 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165890678000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17918/tid=17921] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17921/stat : 17921 (toysat) S 17915 17918 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165880204464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 1322564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.29 2.34 2.29 3/183 18015
/proc/meminfo: memFree=27285120/32872528 swapFree=1459628/1655852
[pid=17918] ppid=17915 vsize=1322564 CPUtime=1800.03 cores=0,2,4,6
/proc/17918/stat : 17918 (toysat) R 17915 17918 16189 0 -1 4202496 271988 0 0 0 179895 108 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140735173790272 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17918/statm: 330641 272135 901 2943 0 327535 0
[pid=17918/tid=17919] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17919/stat : 17919 (toysat) S 17915 17918 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165901167856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17918/tid=17920] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17920/stat : 17920 (toysat) S 17915 17918 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165890678000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17918/tid=17921] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17921/stat : 17921 (toysat) S 17915 17918 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165880204464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1322564

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

[startup+1800.4 s]
/proc/loadavg: 2.29 2.34 2.29 3/183 18015
/proc/meminfo: memFree=27285120/32872528 swapFree=1459628/1655852
[pid=17918] ppid=17915 vsize=1322564 CPUtime=1800.03 cores=0,2,4,6
/proc/17918/stat : 17918 (toysat) R 17915 17918 16189 0 -1 4202496 271988 0 0 0 179895 108 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140735173790272 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17918/statm: 330641 272135 901 2943 0 327535 0
[pid=17918/tid=17919] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17919/stat : 17919 (toysat) S 17915 17918 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165901167856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17918/tid=17920] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17920/stat : 17920 (toysat) S 17915 17918 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165890678000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17918/tid=17921] ppid=17915 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/17918/task/17921/stat : 17921 (toysat) S 17915 17918 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23020026 1354305536 272135 33554432000 4194304 16246674 140735173808368 140165880204464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1322564

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.43
CPU time (s): 1800.05
CPU user time (s): 1798.96
CPU system time (s): 1.09483
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 1322564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.09483
maximum resident set size= 1088540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271988
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= 180
involuntary context switches= 1863

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.44432 second user time and 7.06492 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 02:29:05
IDJOB=4099953
IDBENCH=1555
IDSOLVER=2542
FILE ID=node136/4099953-1466209745
RUNJOBID= node136-1466206055-16205
PBS_JOBID= 19918141
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10c.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099953-1466209745/watcher-4099953-1466209745 -o /tmp/evaluation-result-4099953-1466209745/solver-4099953-1466209745 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16205 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099953-1466209745.opb

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

MD5SUM BENCH= 7b94c3aac6895e79f8b40603fea93848
RANDOM SEED=1261066251

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28310332 kB
Buffers:          138804 kB
Cached:          1649164 kB
SwapCached:            0 kB
Active:           513384 kB
Inactive:        1647828 kB
Active(anon):     375692 kB
Inactive(anon):        0 kB
Active(file):     137692 kB
Inactive(file):  1647828 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             39280 kB
Writeback:             0 kB
AnonPages:       2018892 kB
Mapped:            16220 kB
Shmem:               204 kB
Slab:             610088 kB
SReclaimable:      53708 kB
SUnreclaim:       556380 kB
KernelStack:        1520 kB
PageTables:         9388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2947192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 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= 71708 MiB
End job on node136 at 2016-06-18 02:59:06