Trace number 4100001

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

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-ran8x32.opb
MD5SUM857268f55ca3006474c2fa40f262a214
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.073987
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables7936
Total number of constraints296
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 constraints296
Minimum length of a constraint31
Maximum length of a constraint960
Number of terms in the objective function 7936
Biggest coefficient in the objective function 1818
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 530569
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 530569
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:20+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-4100001-1466209759.opb"]
0.00/0.01	c use --random-gen="1750570795 3514494778 2051912434 2508779030 2982176641 1417788663 4258660778 243882995 1018338333 2411594635 1418246961 2421303996 3308234116 2925712721 1497748411 2602956310 3825042482 4184086667 3087414294 3442769395 4115500048 4035691606 34917709 796214433 1351858813 857494859 2389143904 3766786224 3447952437 1444982511 1702039935 965956375 4173325507 2426139586 1584990793 2534537913 4195991338 4166155501 3004402954 3166282655 2393001075 3109991207 2434037592 2705151889 1463735375 1330834638 679095477 555525052 3133803715 341863056 1826989028 2214246101 219126706 3190768526 3752018361 328364022 3698068991 1316887537 138446323 3839752869 3477198407 342848120 2131015542 2848846442 933572496 1851283992 2714374262 2252154627 1649450222 3151397619 2890533641 2343912569 3346148005 492360673 1766092559 3941485400 3063745170 1907157023 1234303610 3269578510 1444960170 1911463288 638076559 843105417 720889786 3104617161 3302770997 2950462128 3227163827 1746260521 2618378962 792628056 2547417147 2194306034 2405562694 1532444947 3548373166 4247504843 2364844565 3405171757 774669464 1318911380 3558900974 3283177579 2501007343 1484393140 2385132547 3012105062 1686756251 2226965176 1955925969 771525828 2565426250 2884772529 342130974 4206659284 2160547196 329297058 2593613208 40086703 1289228600 2143157810 1169571297 2687845501 1885807696 3958305615 2798653350 3836907962 2361286428 1607402489 4210567275 1286643664 735078135 1047246581 1651726063 2338993708 1113354665 3016363225 131296589 3563595061 1071241640 1696280032 2735491342 627284939 3571609724 2483344318 2284724685 2562916990 106557093 3922290016 2708895463 678218216 55682022 3095231181 1971336225 2285177013 1794211194 1068416513 2232137876 1757300734 186257627 3183680656 447535744 3336383710 327383298 96447762 1956192382 3791042497 2406734776 3293499077 2136957437 2876224730 231758893 2993281860 3365842225 1609215703 2273990980 1507980666 3753918038 3645184068 19264638 2023590605 4214419340 2161724218 3592437897 4155436445 4202561649 680727834 2856869537 446946352 1835654979 3546269582 3789107835 3914217048 3724329374 1990258742 2298066404 2444613680 152678966 956669152 2711315015 1483149668 1901807250 2136858827 3470219745 1170967349 1049496898 2066650721 2635475756 3736262695 136933726 4065839607 4260308184 3964440963 2075323116 1060651994 2428299381 4107268730 1740353139 1414938296 1702543032 1554466113 1203856917 4158562087 3283700555 3361195704 2787359521 3733517679 2363117414 2853575282 1505177795 3893661818 3684600724 3895430803 2600589465 3160850023 657410700 3630043243 2603883210 1440280288 61787976 1131478737 3504128668 2117112575 2641778313 699828997 833624062 2836907277 3914046037 229378066 3919741953 4079532980 1860908309 2492539290 151185605 576370382 255 362436" option to reproduce the execution
0.00/0.07	c #vars 7936
0.00/0.07	c #constraints 296
0.09/0.17	c BCD2: Hardening is enabled.
0.09/0.17	c BCD2: BiasedSearch is enabled.
0.09/0.17	c Solving starts ...
0.09/0.17	c ============================[ Search Statistics ]============================
0.09/0.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.17	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.17	c =============================================================================
0.09/0.19	c  0.0s |       0 |        0 |        0 |     2757      0 |     4124 |        0
0.39/0.41	c  0.2s |       1 |      850 |      100 |     2757      0 |     4124 |        0
0.69/0.78	c  0.6s |       2 |     2350 |      250 |     3033      0 |     4124 |        0
1.29/1.38	c  1.2s |       3 |     4768 |      475 |     3337      0 |     4124 |        0
2.59/2.63	c  2.4s |       4 |     6630 |      813 |     3671      0 |     4124 |        0
5.29/5.35	c  5.2s |       4 |    11049 |     1313 |     4039      0 |     4124 |        0
5.39/5.42	c  5.2s |       5 |    11054 |     1320 |     4039      0 |     4124 |        0
6.79/6.85	c  6.7s |       6 |    17514 |     2081 |     4888      0 |     4124 |        0
8.89/8.92	c  8.7s |       6 |    20947 |     2681 |     4888      0 |     4124 |        0
11.48/11.55	c 11.4s |       6 |    22870 |     3081 |     4888      0 |     4124 |        0
12.68/12.77	c 12.6s |       7 |    23474 |     3223 |     5377      0 |     4124 |        0
14.78/14.88	c 14.7s |       7 |    31777 |     4523 |     5377      0 |     4124 |        0
15.68/15.72	c 15.5s |       8 |    32849 |     4936 |     5915      0 |     4124 |        0
17.98/18.08	c 17.9s |       8 |    36286 |     5936 |     5915      0 |     4124 |        0
20.08/20.16	c 20.0s |       8 |    38709 |     6436 |     5915      0 |     4124 |        0
22.38/22.40	c 22.2s |       8 |    41386 |     7136 |     5915      0 |     4124 |        0
23.28/23.37	c 23.2s |       9 |    42077 |     7506 |     6507      0 |     4124 |        0
25.88/25.93	c 25.7s |       9 |    44710 |     8006 |     6507      0 |     4124 |        0
28.09/28.18	c 28.0s |       9 |    45559 |     8506 |     6507      0 |     4124 |        0
30.90/30.96	c 30.8s |       9 |    46870 |     8906 |     6507      0 |     4124 |        0
33.29/33.37	c 33.2s |       9 |    47681 |     9206 |     6507      0 |     4124 |        0
35.39/35.41	c 35.2s |       9 |    50673 |     9506 |     6507      0 |     4124 |        0
37.59/37.64	c 37.5s |       9 |    52551 |     9906 |     6507      0 |     4124 |        0
40.29/40.36	c 40.2s |       9 |    54095 |    10306 |     6507      0 |     4124 |        0
42.39/42.42	c 42.2s |       9 |    55312 |    10606 |     6507      0 |     4124 |        0
44.99/45.00	c 44.8s |       9 |    56642 |    11006 |     6507      0 |     4124 |        0
46.98/47.08	c 46.9s |       9 |    57447 |    11306 |     7158      0 |     4124 |        0
47.39/47.43	c 47.2s |      10 |    57642 |    11361 |     7158      0 |     4124 |        0
49.49/49.53	c 49.3s |      10 |    63522 |    12361 |     7158      1 |     4124 |        0
51.58/51.65	c 51.5s |      10 |    65792 |    13161 |     7158      1 |     4124 |        0
53.68/53.76	c 53.6s |      10 |    69661 |    14361 |     7158      1 |     4124 |        0
55.78/55.83	c 55.6s |      10 |    72245 |    15161 |     7158      1 |     4124 |        0
57.78/57.86	c 57.7s |      10 |    74494 |    15861 |     7158      1 |     4124 |        0
59.88/59.97	c 59.8s |      10 |    76536 |    16561 |     7158      1 |     4124 |        0
61.88/61.90	c 61.7s |      11 |    78715 |    17144 |     7874      1 |     4124 |        0
63.89/63.97	c 63.8s |      11 |    81810 |    17644 |     7874      1 |     4124 |        0
65.99/66.00	c 65.8s |      11 |    83089 |    18044 |     7874      1 |     4124 |        0
68.78/68.80	c 68.6s |      11 |    84148 |    18444 |     7874      1 |     4124 |        0
70.88/70.99	c 70.8s |      11 |    84722 |    18744 |     7874      1 |     4124 |        0
73.69/73.79	c 73.6s |      11 |    85675 |    19144 |     7874      1 |     4124 |        0
76.38/76.44	c 76.3s |      11 |    86971 |    19444 |     7874      1 |     4124 |        0
78.68/78.75	c 78.6s |      11 |    88218 |    19744 |     7874      1 |     4124 |        0
80.68/80.76	c 80.6s |      11 |    88690 |    19944 |     7874      1 |     4124 |        0
83.08/83.12	c 82.9s |      11 |    89482 |    20144 |     7874      1 |     4124 |        0
86.28/86.31	c 86.1s |      11 |    91119 |    20444 |     7874      1 |     4124 |        0
88.57/88.64	c 88.4s |      11 |    95167 |    20644 |     7874      2 |     4124 |        0
91.77/91.86	c 91.7s |      11 |    98936 |    20844 |     7874      2 |     4124 |        0
94.78/94.88	c 94.7s |      11 |   105039 |    21244 |     7874      2 |     4124 |        0
97.08/97.12	c 96.9s |      11 |   107016 |    21744 |     7874      2 |     4124 |        0
99.88/99.90	c 99.7s |      11 |   108853 |    22244 |     7874      2 |     4124 |        0
102.48/102.57	c  102s |      11 |   109917 |    22544 |     7874      2 |     4124 |        0
104.97/105.07	c  104s |      11 |   110341 |    22744 |     7874      2 |     4124 |        0
107.47/107.52	c  107s |      11 |   111052 |    23044 |     7874      2 |     4124 |        0
109.98/110.01	c  109s |      11 |   113549 |    23344 |     7874      2 |     4124 |        0
112.28/112.35	c  112s |      11 |   116383 |    23644 |     7874      2 |     4124 |        0
114.97/115.00	c  114s |      11 |   121177 |    23944 |     7874      2 |     4124 |        0
117.78/117.89	c  117s |      11 |   123616 |    24244 |     7874      2 |     4124 |        0
120.98/121.09	c  120s |      11 |   126816 |    24544 |     7874      2 |     4124 |        0
123.67/123.70	c  123s |      11 |   127977 |    24744 |     7874      2 |     4124 |        0
126.17/126.28	c  126s |      11 |   135595 |    25044 |     7874      2 |     4124 |        0
128.57/128.70	c  128s |      11 |   138177 |    25344 |     7874      2 |     4124 |        0
130.77/130.81	c  130s |      11 |   140236 |    25444 |     7874      2 |     4124 |        0
134.37/134.44	c  134s |      11 |   140839 |    25544 |     7874      2 |     4124 |        0
138.67/138.71	c  138s |      11 |   141362 |    25644 |     7874      2 |     4124 |        0
141.07/141.16	c  140s |      12 |   143636 |    25819 |     8662      2 |     4124 |        0
143.67/143.70	c  143s |      12 |   153831 |    26119 |     8662      3 |     4124 |        0
145.67/145.71	c  145s |      12 |   159289 |    27519 |     8662      3 |     4124 |        0
147.97/148.06	c  147s |      12 |   161675 |    28319 |     8662      3 |     4124 |        0
150.27/150.32	c  150s |      12 |   163768 |    28819 |     8662      3 |     4124 |        0
152.27/152.38	c  152s |      12 |   165823 |    29319 |     8662      3 |     4124 |        0
154.57/154.63	c  154s |      12 |   167442 |    29819 |     8662      3 |     4124 |        0
156.77/156.87	c  156s |      12 |   168832 |    30419 |     8662      3 |     4124 |        0
158.97/159.02	c  158s |      12 |   170043 |    31019 |     8662      3 |     4124 |        0
160.97/161.04	c  160s |      12 |   170908 |    31419 |     8662      3 |     4124 |        0
163.27/163.32	c  163s |      12 |   171914 |    31819 |     8662      3 |     4124 |        0
165.77/165.80	c  165s |      12 |   173279 |    32219 |     8662      3 |     4124 |        0
168.07/168.18	c  167s |      12 |   175830 |    32719 |     8662      3 |     4124 |        0
170.47/170.56	c  170s |      12 |   177579 |    33219 |     8662      3 |     4124 |        0
172.96/173.06	c  172s |      12 |   179438 |    33619 |     8662      3 |     4124 |        0
175.26/175.31	c  175s |      12 |   181098 |    33919 |     8662      3 |     4124 |        0
177.36/177.42	c  177s |      12 |   181888 |    34219 |     8662      3 |     4124 |        0
179.76/179.82	c  179s |      12 |   182810 |    34619 |     8662      3 |     4124 |        0
182.16/182.27	c  182s |      12 |   184118 |    35119 |     8662      3 |     4124 |        0
184.16/184.28	c  184s |      12 |   184742 |    35319 |     8662      4 |     4124 |        0
186.56/186.65	c  186s |      12 |   185287 |    35619 |     8662      4 |     4124 |        0
189.36/189.46	c  189s |      12 |   187055 |    36019 |     8662      4 |     4124 |        0
191.56/191.69	c  191s |      12 |   188108 |    36319 |     8662      4 |     4124 |        0
194.36/194.44	c  194s |      12 |   189620 |    36719 |     8662      4 |     4124 |        0
196.76/196.88	c  196s |      12 |   190716 |    37019 |     8662      4 |     4124 |        0
198.86/198.98	c  198s |      12 |   191220 |    37219 |     8662      4 |     4124 |        0
201.16/201.25	c  201s |      12 |   191755 |    37419 |     8662      4 |     4124 |        0
203.36/203.48	c  203s |      12 |   192255 |    37619 |     8662      4 |     4124 |        0
205.96/206.00	c  205s |      12 |   192683 |    37819 |     8662      4 |     4124 |        0
208.16/208.20	c  208s |      12 |   193405 |    38019 |     8662      4 |     4124 |        0
210.56/210.68	c  210s |      12 |   194389 |    38419 |     8662      4 |     4124 |        0
213.46/213.55	c  213s |      12 |   195261 |    38719 |     9529      4 |     4124 |        0
214.16/214.28	c  214s |      13 |   195591 |    38832 |     9529      4 |     4124 |        0
216.36/216.40	c  216s |      13 |   199992 |    40032 |     9529      4 |     4124 |        0
218.36/218.41	c  218s |      13 |   202794 |    41032 |     9529      4 |     4124 |        0
220.36/220.44	c  220s |      13 |   204754 |    41532 |     9529      4 |     4124 |        0
223.05/223.11	c  222s |      13 |   207765 |    41932 |     9529      4 |     4124 |        0
225.75/225.84	c  225s |      13 |   209195 |    42232 |     9529      4 |     4124 |        0
228.05/228.17	c  227s |      13 |   210405 |    42532 |     9529      4 |     4124 |        0
230.25/230.34	c  230s |      13 |   212319 |    42832 |     9529      4 |     4124 |        0
232.86/232.99	c  232s |      13 |   214111 |    43132 |     9529      4 |     4124 |        0
235.16/235.20	c  235s |      13 |   214712 |    43332 |     9529      5 |     4124 |        0
237.36/237.49	c  237s |      13 |   216213 |    43632 |     9529      5 |     4124 |        0
239.96/240.04	c  239s |      13 |   218240 |    44032 |     9529      5 |     4124 |        0
242.36/242.48	c  242s |      13 |   219591 |    44332 |     9529      5 |     4124 |        0
244.75/244.89	c  244s |      13 |   221080 |    44632 |     9529      5 |     4124 |        0
247.35/247.47	c  247s |      13 |   222416 |    44932 |     9529      5 |     4124 |        0
249.45/249.55	c  249s |      13 |   224608 |    45232 |     9529      5 |     4124 |        0
251.96/252.06	c  251s |      13 |   225727 |    45532 |     9529      5 |     4124 |        0
254.06/254.19	c  253s |      13 |   226265 |    45732 |     9529      5 |     4124 |        0
256.26/256.32	c  256s |      13 |   227049 |    45932 |     9529      5 |     4124 |        0
258.75/258.88	c  258s |      13 |   228586 |    46232 |     9529      5 |     4124 |        0
261.25/261.32	c  261s |      13 |   229936 |    46432 |     9529      5 |     4124 |        0
263.25/263.38	c  263s |      13 |   231910 |    46732 |     9529      5 |     4124 |        0
265.85/265.93	c  265s |      13 |   233704 |    47032 |     9529      5 |     4124 |        0
267.95/268.02	c  267s |      13 |   234491 |    47232 |     9529      5 |     4124 |        0
270.35/270.42	c  270s |      13 |   235665 |    47432 |     9529      5 |     4124 |        0
272.54/272.62	c  272s |      13 |   236392 |    47632 |     9529      5 |     4124 |        0
275.55/275.62	c  275s |      13 |   237461 |    47932 |     9529      5 |     4124 |        0
277.65/277.76	c  277s |      13 |   238485 |    48132 |     9529      5 |     4124 |        0
280.05/280.15	c  279s |      13 |   239418 |    48332 |     9529      5 |     4124 |        0
282.25/282.33	c  282s |      13 |   240137 |    48532 |     9529      5 |     4124 |        0
285.55/285.67	c  285s |      13 |   241190 |    48832 |     9529      5 |     4124 |        0
288.15/288.27	c  288s |      13 |   242017 |    49032 |     9529      5 |     4124 |        0
290.74/290.86	c  290s |      13 |   242733 |    49232 |     9529      5 |     4124 |        0
293.45/293.51	c  293s |      13 |   243172 |    49432 |     9529      5 |     4124 |        0
296.15/296.29	c  296s |      13 |   243748 |    49632 |     9529      5 |     4124 |        0
299.05/299.13	c  298s |      13 |   244437 |    49832 |     9529      5 |     4124 |        0
301.35/301.45	c  301s |      13 |   245465 |    50032 |     9529      5 |     4124 |        0
304.04/304.10	c  303s |      13 |   246612 |    50232 |     9529      5 |     4124 |        0
306.85/306.99	c  306s |      13 |   247236 |    50432 |     9529      5 |     4124 |        0
310.15/310.26	c  310s |      13 |   247727 |    50632 |     9529      5 |     4124 |        0
313.04/313.12	c  312s |      13 |   248419 |    50832 |     9529      5 |     4124 |        0
315.54/315.69	c  315s |      13 |   248991 |    51032 |     9529      5 |     4124 |        0
318.55/318.68	c  318s |      13 |   249465 |    51232 |     9529      6 |     4124 |        0
321.25/321.37	c  321s |      13 |   250192 |    51432 |     9529      6 |     4124 |        0
324.34/324.42	c  324s |      13 |   250580 |    51632 |     9529      6 |     4124 |        0
326.75/326.81	c  326s |      13 |   251376 |    51832 |     9529      6 |     4124 |        0
329.54/329.66	c  329s |      13 |   252170 |    52032 |     9529      6 |     4124 |        0
332.64/332.72	c  332s |      13 |   252990 |    52232 |     9529      6 |     4124 |        0
335.34/335.47	c  335s |      13 |   254564 |    52432 |     9529      6 |     4124 |        0
338.13/338.23	c  338s |      13 |   255278 |    52632 |     9529      6 |     4124 |        0
340.34/340.48	c  340s |      13 |   256316 |    52832 |     9529      6 |     4124 |        0
342.54/342.69	c  342s |      13 |   259032 |    53032 |     9529      6 |     4124 |        0
345.14/345.26	c  345s |      13 |   260732 |    53332 |     9529      6 |     4124 |        0
347.24/347.33	c  347s |      13 |   261596 |    53532 |     9529      6 |     4124 |        0
350.14/350.28	c  350s |      13 |   262592 |    53832 |     9529      6 |     4124 |        0
352.34/352.44	c  352s |      13 |   264118 |    54132 |     9529      6 |     4124 |        0
354.94/355.04	c  354s |      13 |   265548 |    54532 |     9529      6 |     4124 |        0
357.44/357.53	c  357s |      13 |   268060 |    54932 |     9529      6 |     4124 |        0
359.74/359.87	c  359s |      13 |   269175 |    55232 |     9529      6 |     4124 |        0
362.14/362.28	c  362s |      13 |   271420 |    55632 |     9529      6 |     4124 |        0
364.33/364.45	c  364s |      13 |   273140 |    55932 |     9529      6 |     4124 |        0
366.93/367.07	c  366s |      13 |   274546 |    56332 |     9529      6 |     4124 |        0
369.54/369.65	c  369s |      13 |   275581 |    56632 |     9529      6 |     4124 |        0
371.84/371.92	c  371s |      13 |   277222 |    56932 |     9529      6 |     4124 |        0
373.94/374.05	c  373s |      13 |   278806 |    57232 |     9529      6 |     4124 |        0
376.43/376.52	c  376s |      13 |   281155 |    57632 |     9529      6 |     4124 |        0
379.23/379.33	c  379s |      13 |   282771 |    58032 |    10482      6 |     4124 |        0
381.64/381.75	c  381s |      13 |   284073 |    58332 |    10482      6 |     4124 |        0
381.83/381.98	c  381s |      14 |   284194 |    58352 |    10482      6 |     4124 |        0
383.94/384.02	c  383s |      14 |   286488 |    58652 |    10482      7 |     4124 |        0
386.14/386.25	c  386s |      14 |   289035 |    59252 |    10482      7 |     4124 |        0
388.63/388.72	c  388s |      14 |   291481 |    59852 |    10482      7 |     4124 |        0
390.73/390.85	c  390s |      14 |   294728 |    60452 |    10482      7 |     4124 |        0
393.03/393.16	c  392s |      14 |   297657 |    61152 |    10482      7 |     4124 |        0
395.13/395.27	c  395s |      14 |   300248 |    61752 |    10482      7 |     4124 |        0
397.23/397.30	c  397s |      14 |   304733 |    62452 |    10482      7 |     4124 |        0
399.24/399.36	c  399s |      14 |   306864 |    62952 |    10482      7 |     4124 |        0
401.44/401.55	c  401s |      14 |   308922 |    63552 |    10482      7 |     4124 |        0
403.83/403.90	c  403s |      14 |   311862 |    64352 |    10482      7 |     4124 |        0
406.03/406.19	c  405s |      14 |   315000 |    65152 |    10482      7 |     4124 |        0
408.23/408.36	c  408s |      14 |   318219 |    66052 |    10482      7 |     4124 |        0
410.53/410.67	c  410s |      14 |   320779 |    66652 |    10482      8 |     4124 |        0
412.54/412.69	c  412s |      14 |   322751 |    67352 |    10482      8 |     4124 |        0
414.64/414.75	c  414s |      14 |   325685 |    68252 |    10482      8 |     4124 |        0
416.83/416.94	c  416s |      14 |   327755 |    68952 |    10482      8 |     4124 |        0
418.92/419.07	c  418s |      14 |   331774 |    69552 |    10482      8 |     4124 |        0
421.12/421.22	c  421s |      14 |   335240 |    70152 |    10482      8 |     4124 |        0
423.12/423.25	c  423s |      14 |   338856 |    70552 |    10482      8 |     4124 |        0
425.12/425.26	c  425s |      14 |   341581 |    71052 |    10482      8 |     4124 |        0
427.62/427.71	c  427s |      14 |   346580 |    71652 |    10482      8 |     4124 |        0
429.92/430.03	c  429s |      14 |   348307 |    72152 |    10482      8 |     4124 |        0
432.33/432.41	c  432s |      14 |   350925 |    72752 |    10482      8 |     4124 |        0
434.53/434.67	c  434s |      14 |   356772 |    73252 |    10482      8 |     4124 |        0
436.73/436.81	c  436s |      14 |   367059 |    73752 |    10482      8 |     4124 |        0
439.22/439.39	c  439s |      14 |   377456 |    74252 |    10482      8 |     4124 |        0
441.63/441.79	c  441s |      14 |   382866 |    74652 |    10482      8 |     4124 |        0
444.03/444.15	c  443s |      14 |   388506 |    74952 |    10482      9 |     4124 |        0
446.23/446.37	c  446s |      14 |   393990 |    75252 |    10482      9 |     4124 |        0
449.23/449.39	c  449s |      14 |   400108 |    75652 |    10482      9 |     4124 |        0
452.23/452.38	c  452s |      14 |   404834 |    75952 |    10482      9 |     4124 |        0
454.33/454.48	c  454s |      14 |   407424 |    76752 |    10482      9 |     4124 |        0
456.62/456.75	c  456s |      14 |   410176 |    77552 |    10482      9 |     4124 |        0
458.82/458.91	c  458s |      14 |   414083 |    77952 |    10482      9 |     4124 |        0
461.32/461.40	c  461s |      14 |   418550 |    78352 |    10482      9 |     4124 |        0
463.32/463.42	c  463s |      14 |   422347 |    78652 |    10482      9 |     4124 |        0
465.92/466.01	c  465s |      14 |   426746 |    79052 |    10482      9 |     4124 |        0
467.92/468.05	c  467s |      14 |   428885 |    79352 |    10482      9 |     4124 |        0
470.42/470.56	c  470s |      14 |   430676 |    79652 |    10482      9 |     4124 |        0
472.62/472.78	c  472s |      14 |   433050 |    80352 |    10482      9 |     4124 |        0
474.62/474.79	c  474s |      14 |   434719 |    80652 |    10482      9 |     4124 |        0
476.92/477.07	c  476s |      14 |   437816 |    80952 |    10482      9 |     4124 |        0
479.42/479.53	c  479s |      14 |   441537 |    81352 |    10482      9 |     4124 |        0
481.92/482.02	c  481s |      14 |   446839 |    81752 |    10482      9 |     4124 |        0
484.32/484.41	c  484s |      14 |   451161 |    82152 |    10482      9 |     4124 |        0
487.12/487.24	c  487s |      14 |   453424 |    82552 |    10482      9 |     4124 |        0
489.82/489.99	c  489s |      14 |   456491 |    82852 |    10482      9 |     4124 |        0
492.62/492.73	c  492s |      14 |   460354 |    83252 |    10482     10 |     4124 |        0
495.62/495.75	c  495s |      14 |   466171 |    83652 |    10482     10 |     4124 |        0
497.82/497.98	c  497s |      14 |   469571 |    84052 |    10482     10 |     4124 |        0
500.12/500.23	c  500s |      14 |   473528 |    84452 |    10482     10 |     4124 |        0
502.11/502.29	c  502s |      14 |   476062 |    84852 |    10482     10 |     4124 |        0
504.21/504.35	c  504s |      14 |   480698 |    85452 |    10482     10 |     4124 |        0
506.41/506.50	c  506s |      14 |   483957 |    85752 |    10482     10 |     4124 |        0
508.71/508.85	c  508s |      14 |   487467 |    86052 |    10482     10 |     4124 |        0
511.11/511.26	c  511s |      14 |   490674 |    86552 |    10482     10 |     4124 |        0
514.01/514.13	c  513s |      14 |   493946 |    86952 |    10482     10 |     4124 |        0
516.41/516.58	c  516s |      14 |   498413 |    87452 |    11531     10 |     4124 |        0
516.81/516.99	c  516s |      15 |   498903 |    87632 |    11531     10 |     4124 |        0
519.31/519.48	c  519s |      15 |   505132 |    88032 |    11531     10 |     4124 |        0
521.81/521.91	c  521s |      15 |   510304 |    88432 |    11531     10 |     4124 |        0
523.91/524.04	c  523s |      15 |   513615 |    88932 |    11531     10 |     4124 |        0
526.51/526.64	c  526s |      15 |   515402 |    89332 |    11531     10 |     4124 |        0
528.81/528.90	c  528s |      15 |   517912 |    89832 |    11531     10 |     4124 |        0
531.91/532.01	c  531s |      15 |   520329 |    90232 |    11531     10 |     4124 |        0
534.11/534.21	c  534s |      15 |   522103 |    90532 |    11531     10 |     4124 |        0
536.51/536.62	c  536s |      15 |   523277 |    90832 |    11531     10 |     4124 |        0
538.51/538.68	c  538s |      15 |   524494 |    90932 |    11531     10 |     4124 |        0
544.91/545.05	c  544s |      15 |   525875 |    91132 |    11531     10 |     4124 |        0
547.01/547.10	c  546s |      15 |   526992 |    91332 |    11531     10 |     4124 |        0
549.01/549.18	c  548s |      15 |   528049 |    91632 |    11531     10 |     4124 |        0
551.41/551.51	c  551s |      15 |   529113 |    91932 |    11531     10 |     4124 |        0
553.70/553.89	c  553s |      15 |   530097 |    92232 |    11531     10 |     4124 |        0
556.20/556.33	c  556s |      15 |   531093 |    92532 |    11531     10 |     4124 |        0
558.50/558.68	c  558s |      15 |   532139 |    92832 |    11531     11 |     4124 |        0
560.91/561.03	c  560s |      15 |   533293 |    93132 |    11531     11 |     4124 |        0
563.00/563.12	c  562s |      15 |   534553 |    93432 |    11531     11 |     4124 |        0
565.31/565.49	c  565s |      15 |   535854 |    93732 |    11531     11 |     4124 |        0
567.90/568.03	c  567s |      15 |   537875 |    94132 |    11531     11 |     4124 |        0
570.10/570.25	c  570s |      15 |   539849 |    94532 |    11531     11 |     4124 |        0
572.10/572.27	c  572s |      15 |   541262 |    94932 |    11531     11 |     4124 |        0
574.50/574.69	c  574s |      15 |   542355 |    95332 |    11531     11 |     4124 |        0
576.90/577.09	c  576s |      15 |   543527 |    95732 |    11531     11 |     4124 |        0
579.61/579.74	c  579s |      15 |   544292 |    96132 |    11531     11 |     4124 |        0
582.10/582.27	c  582s |      15 |   545041 |    96532 |    11531     11 |     4124 |        0
584.40/584.52	c  584s |      15 |   546586 |    96932 |    11531     11 |     4124 |        0
587.10/587.25	c  587s |      15 |   547560 |    97332 |    11531     11 |     4124 |        0
589.20/589.33	c  589s |      15 |   548597 |    97632 |    11531     11 |     4124 |        0
591.50/591.67	c  591s |      15 |   549974 |    98032 |    11531     11 |     4124 |        0
594.20/594.34	c  594s |      15 |   551051 |    98432 |    11531     11 |     4124 |        0
596.30/596.42	c  596s |      15 |   551696 |    98732 |    11531     11 |     4124 |        0
598.41/598.56	c  598s |      15 |   553279 |    99032 |    11531     11 |     4124 |        0
600.60/600.72	c  600s |      15 |   553983 |    99332 |    11531     11 |     4124 |        0
602.70/602.85	c  602s |      15 |   554532 |    99632 |    11531     11 |     4124 |        0
605.30/605.48	c  605s |      15 |   556001 |   100032 |    11531     11 |     4124 |        0
607.70/607.84	c  607s |      15 |   556578 |   100332 |    11531     11 |     4124 |        0
609.70/609.88	c  609s |      15 |   557474 |   100632 |    11531     11 |     4124 |        0
612.40/612.56	c  612s |      15 |   558634 |   101032 |    11531     11 |     4124 |        0
614.70/614.85	c  614s |      15 |   560249 |   101332 |    11531     11 |     4124 |        0
616.80/616.93	c  616s |      15 |   560936 |   101632 |    11531     11 |     4124 |        0
619.39/619.57	c  619s |      15 |   561633 |   101932 |    11531     12 |     4124 |        0
621.59/621.78	c  621s |      15 |   562488 |   102232 |    11531     12 |     4124 |        0
623.89/624.02	c  623s |      15 |   563205 |   102532 |    11531     12 |     4124 |        0
626.09/626.28	c  626s |      15 |   563736 |   102832 |    11531     12 |     4124 |        0
628.39/628.50	c  628s |      15 |   564736 |   103132 |    11531     12 |     4124 |        0
630.79/630.94	c  630s |      15 |   565721 |   103432 |    11531     12 |     4124 |        0
633.29/633.42	c  633s |      15 |   566885 |   103832 |    11531     12 |     4124 |        0
635.39/635.55	c  635s |      15 |   567527 |   104132 |    11531     12 |     4124 |        0
637.69/637.82	c  637s |      15 |   569504 |   104532 |    11531     12 |     4124 |        0
639.89/640.07	c  639s |      15 |   570904 |   105032 |    11531     12 |     4124 |        0
642.49/642.60	c  642s |      15 |   572305 |   105432 |    11531     12 |     4124 |        0
644.89/645.06	c  644s |      15 |   573128 |   105732 |    11531     12 |     4124 |        0
647.59/647.71	c  647s |      15 |   574241 |   106132 |    11531     12 |     4124 |        0
650.10/650.26	c  650s |      15 |   575550 |   106532 |    11531     12 |     4124 |        0
652.59/652.70	c  652s |      15 |   579675 |   106932 |    11531     12 |     4124 |        0
655.09/655.27	c  655s |      15 |   580681 |   107232 |    11531     12 |     4124 |        0
657.70/657.90	c  657s |      15 |   581770 |   107532 |    11531     12 |     4124 |        0
660.29/660.40	c  660s |      15 |   582622 |   107832 |    11531     12 |     4124 |        0
663.09/663.29	c  663s |      15 |   583379 |   108132 |    11531     12 |     4124 |        0
665.19/665.39	c  665s |      15 |   583913 |   108332 |    11531     12 |     4124 |        0
667.39/667.55	c  667s |      15 |   584601 |   108532 |    11531     12 |     4124 |        0
669.59/669.78	c  669s |      15 |   585015 |   108732 |    11531     12 |     4124 |        0
671.89/672.02	c  671s |      15 |   585405 |   108932 |    11531     12 |     4124 |        0
674.29/674.49	c  674s |      15 |   585784 |   109132 |    11531     12 |     4124 |        0
676.49/676.65	c  676s |      15 |   586158 |   109332 |    11531     12 |     4124 |        0
678.59/678.73	c  678s |      15 |   586455 |   109532 |    11531     12 |     4124 |        0
680.58/680.78	c  680s |      15 |   586821 |   109732 |    11531     12 |     4124 |        0
682.68/682.88	c  682s |      15 |   587195 |   109932 |    11531     12 |     4124 |        0
684.98/685.13	c  684s |      15 |   587627 |   110132 |    11531     12 |     4124 |        0
687.08/687.24	c  687s |      15 |   588025 |   110332 |    11531     12 |     4124 |        0
689.59/689.74	c  689s |      15 |   588301 |   110532 |    11531     12 |     4124 |        0
691.98/692.18	c  691s |      15 |   588602 |   110732 |    11531     12 |     4124 |        0
694.38/694.57	c  694s |      15 |   589939 |   110932 |    11531     13 |     4124 |        0
696.78/696.95	c  696s |      15 |   593636 |   111332 |    11531     13 |     4124 |        0
698.88/699.08	c  698s |      15 |   595920 |   111632 |    11531     13 |     4124 |        0
700.88/701.09	c  700s |      15 |   598590 |   111932 |    11531     13 |     4124 |        0
703.08/703.26	c  703s |      15 |   600518 |   112232 |    11531     13 |     4124 |        0
705.28/705.48	c  705s |      15 |   601442 |   112532 |    11531     13 |     4124 |        0
707.48/707.68	c  707s |      15 |   602406 |   112832 |    11531     13 |     4124 |        0
709.58/709.76	c  709s |      15 |   603243 |   113132 |    11531     13 |     4124 |        0
711.98/712.17	c  711s |      15 |   603834 |   113432 |    11531     13 |     4124 |        0
714.58/714.78	c  714s |      15 |   605919 |   113932 |    11531     13 |     4124 |        0
716.78/716.97	c  716s |      15 |   606921 |   114232 |    11531     13 |     4124 |        0
718.88/719.06	c  718s |      15 |   607718 |   114532 |    11531     13 |     4124 |        0
720.88/721.09	c  720s |      15 |   608364 |   114832 |    11531     13 |     4124 |        0
722.98/723.15	c  722s |      15 |   609099 |   115132 |    11531     13 |     4124 |        0
725.38/725.50	c  725s |      15 |   609803 |   115432 |    11531     13 |     4124 |        0
727.78/727.92	c  727s |      15 |   610407 |   115732 |    11531     13 |     4124 |        0
730.18/730.32	c  730s |      15 |   610983 |   116032 |    11531     13 |     4124 |        0
732.48/732.69	c  732s |      15 |   611567 |   116332 |    11531     13 |     4124 |        0
734.68/734.86	c  734s |      15 |   612203 |   116632 |    11531     13 |     4124 |        0
736.98/737.18	c  736s |      15 |   612842 |   116932 |    11531     13 |     4124 |        0
739.19/739.33	c  739s |      15 |   613660 |   117232 |    11531     13 |     4124 |        0
741.88/742.01	c  741s |      15 |   614574 |   117632 |    11531     13 |     4124 |        0
743.98/744.12	c  743s |      15 |   615689 |   117932 |    11531     13 |     4124 |        0
746.08/746.20	c  746s |      15 |   616717 |   118232 |    11531     13 |     4124 |        0
748.38/748.58	c  748s |      15 |   617470 |   118532 |    11531     13 |     4124 |        0
750.58/750.76	c  750s |      15 |   618171 |   118832 |    11531     13 |     4124 |        0
752.78/752.98	c  752s |      15 |   620362 |   119132 |    11531     13 |     4124 |        0
754.98/755.15	c  754s |      15 |   624017 |   119432 |    11531     14 |     4124 |        0
757.18/757.37	c  757s |      15 |   624757 |   119732 |    11531     14 |     4124 |        0
759.38/759.51	c  759s |      15 |   625427 |   120032 |    11531     14 |     4124 |        0
761.48/761.66	c  761s |      15 |   626427 |   120332 |    11531     14 |     4124 |        0
763.98/764.11	c  763s |      15 |   627483 |   120632 |    11531     14 |     4124 |        0
766.69/766.84	c  766s |      15 |   628200 |   120932 |    11531     14 |     4124 |        0
769.48/769.61	c  769s |      15 |   629162 |   121232 |    11531     14 |     4124 |        0
771.78/771.90	c  771s |      15 |   629541 |   121432 |    11531     14 |     4124 |        0
774.08/774.27	c  774s |      15 |   633086 |   121732 |    11531     14 |     4124 |        0
776.28/776.40	c  776s |      15 |   635815 |   122032 |    11531     14 |     4124 |        0
779.08/779.29	c  779s |      15 |   637180 |   122332 |    11531     14 |     4124 |        0
781.77/781.97	c  781s |      15 |   638234 |   122532 |    11531     14 |     4124 |        0
783.97/784.19	c  784s |      15 |   639296 |   122832 |    11531     14 |     4124 |        0
786.07/786.29	c  786s |      15 |   640211 |   123132 |    11531     14 |     4124 |        0
788.17/788.38	c  788s |      15 |   642272 |   123432 |    11531     14 |     4124 |        0
790.57/790.73	c  790s |      15 |   645045 |   123732 |    11531     14 |     4124 |        0
792.77/792.99	c  792s |      15 |   651003 |   124232 |    11531     14 |     4124 |        0
795.28/795.47	c  795s |      15 |   656391 |   124632 |    11531     14 |     4124 |        0
797.57/797.78	c  797s |      15 |   661325 |   124932 |    11531     14 |     4124 |        0
800.07/800.22	c  800s |      15 |   661710 |   125132 |    11531     14 |     4124 |        0
803.07/803.24	c  803s |      15 |   662121 |   125332 |    11531     14 |     4124 |        0
805.57/805.70	c  805s |      15 |   665212 |   125632 |    11531     14 |     4124 |        0
808.27/808.47	c  808s |      15 |   668053 |   125932 |    11531     14 |     4124 |        0
810.76/810.95	c  810s |      15 |   670482 |   126232 |    11531     14 |     4124 |        0
812.77/812.95	c  812s |      15 |   670855 |   126432 |    11531     14 |     4124 |        0
815.56/815.74	c  815s |      15 |   671838 |   126632 |    11531     14 |     4124 |        0
818.27/818.43	c  818s |      15 |   672076 |   126732 |    11531     14 |     4124 |        0
820.36/820.54	c  820s |      15 |   672328 |   126832 |    11531     14 |     4124 |        0
823.36/823.55	c  823s |      15 |   673562 |   127032 |    11531     14 |     4124 |        0
826.46/826.67	c  826s |      15 |   674165 |   127232 |    11531     14 |     4124 |        0
828.86/829.07	c  828s |      15 |   674768 |   127432 |    11531     14 |     4124 |        0
831.46/831.63	c  831s |      15 |   675265 |   127632 |    11531     15 |     4124 |        0
834.15/834.31	c  834s |      15 |   676413 |   127932 |    11531     15 |     4124 |        0
836.55/836.79	c  836s |      15 |   681071 |   128232 |    11531     15 |     4124 |        0
839.35/839.50	c  839s |      15 |   682198 |   128432 |    11531     15 |     4124 |        0
841.85/842.06	c  841s |      15 |   683260 |   128632 |    11531     15 |     4124 |        0
844.66/844.85	c  844s |      15 |   686013 |   129032 |    11531     15 |     4124 |        0
847.35/847.50	c  847s |      15 |   687334 |   129332 |    11531     15 |     4124 |        0
849.85/850.05	c  849s |      15 |   688972 |   129632 |    11531     15 |     4124 |        0
852.15/852.35	c  852s |      15 |   689995 |   129932 |    11531     15 |     4124 |        0
854.65/854.89	c  854s |      15 |   691461 |   130232 |    11531     15 |     4124 |        0
857.14/857.39	c  857s |      15 |   692668 |   130532 |    11531     15 |     4124 |        0
859.74/859.90	c  859s |      15 |   693864 |   130832 |    12685     15 |     4124 |        0
861.74/861.91	c  861s |      15 |   696010 |   131032 |    12685     15 |     4124 |        0
863.74/863.92	c  863s |      15 |   699011 |   131232 |    12685     15 |     4124 |        0
865.84/866.09	c  865s |      15 |   700667 |   131432 |    12685     15 |     4124 |        0
866.84/867.06	c  866s |      16 |   701477 |   131552 |    12685     15 |     4124 |        0
869.24/869.41	c  869s |      16 |   705392 |   132152 |    12685     15 |     4124 |        0
871.24/871.46	c  871s |      16 |   708570 |   132752 |    12685     15 |     4124 |        0
873.64/873.80	c  873s |      16 |   712405 |   133452 |    12685     15 |     4124 |        0
875.64/875.85	c  875s |      16 |   714456 |   133852 |    12685     15 |     4124 |        0
877.84/878.08	c  877s |      16 |   715909 |   134252 |    12685     15 |     4124 |        0
880.34/880.54	c  880s |      16 |   718401 |   134752 |    12685     15 |     4124 |        0
882.65/882.83	c  882s |      16 |   720385 |   135152 |    12685     15 |     4124 |        0
884.65/884.88	c  884s |      16 |   722040 |   135452 |    12685     15 |     4124 |        0
887.35/887.52	c  887s |      16 |   723918 |   135852 |    12685     15 |     4124 |        0
889.35/889.54	c  889s |      16 |   725666 |   136152 |    12685     15 |     4124 |        0
891.45/891.61	c  891s |      16 |   727370 |   136552 |    12685     15 |     4124 |        0
893.65/893.89	c  893s |      16 |   729829 |   137052 |    12685     15 |     4124 |        0
895.84/896.02	c  895s |      16 |   730772 |   137252 |    12685     15 |     4124 |        0
897.94/898.16	c  897s |      16 |   733182 |   137652 |    12685     15 |     4124 |        0
900.14/900.36	c  900s |      16 |   734261 |   138052 |    12685     16 |     4124 |        0
902.54/902.73	c  902s |      16 |   736055 |   138452 |    12685     16 |     4124 |        0
904.74/904.94	c  904s |      16 |   736680 |   138752 |    12685     16 |     4124 |        0
907.04/907.21	c  907s |      16 |   738140 |   139152 |    12685     16 |     4124 |        0
909.44/909.65	c  909s |      16 |   739130 |   139552 |    12685     16 |     4124 |        0
911.64/911.89	c  911s |      16 |   741295 |   139952 |    12685     16 |     4124 |        0
914.24/914.40	c  914s |      16 |   743809 |   140452 |    12685     16 |     4124 |        0
916.34/916.58	c  916s |      16 |   744463 |   140652 |    12685     16 |     4124 |        0
919.45/919.66	c  919s |      16 |   746839 |   140852 |    12685     16 |     4124 |        0
921.65/921.88	c  921s |      16 |   747415 |   141052 |    12685     16 |     4124 |        0
924.14/924.35	c  924s |      16 |   748025 |   141152 |    12685     16 |     4124 |        0
927.25/927.46	c  927s |      16 |   748679 |   141352 |    12685     16 |     4124 |        0
929.74/929.99	c  929s |      16 |   750920 |   141852 |    12685     16 |     4124 |        0
932.64/932.89	c  932s |      16 |   751623 |   142052 |    12685     16 |     4124 |        0
934.84/935.09	c  934s |      16 |   751930 |   142152 |    12685     16 |     4124 |        0
937.04/937.26	c  937s |      16 |   752790 |   142352 |    12685     16 |     4124 |        0
939.24/939.46	c  939s |      16 |   754240 |   142752 |    12685     16 |     4124 |        0
941.73/941.95	c  941s |      16 |   756071 |   143152 |    12685     16 |     4124 |        0
944.03/944.28	c  944s |      16 |   757356 |   143452 |    12685     16 |     4124 |        0
946.33/946.55	c  946s |      16 |   758569 |   143852 |    12685     16 |     4124 |        0
948.73/948.91	c  948s |      16 |   759776 |   144152 |    12685     16 |     4124 |        0
951.03/951.21	c  951s |      16 |   760731 |   144452 |    12685     16 |     4124 |        0
953.03/953.27	c  953s |      16 |   761482 |   144752 |    12685     16 |     4124 |        0
955.03/955.28	c  955s |      16 |   762598 |   145052 |    12685     16 |     4124 |        0
957.73/957.95	c  957s |      16 |   764661 |   145452 |    12685     16 |     4124 |        0
959.93/960.12	c  959s |      16 |   765939 |   145752 |    12685     16 |     4124 |        0
962.63/962.84	c  962s |      16 |   766838 |   146052 |    12685     16 |     4124 |        0
965.33/965.50	c  965s |      16 |   767618 |   146352 |    12685     16 |     4124 |        0
968.23/968.45	c  968s |      16 |   769325 |   146752 |    12685     16 |     4124 |        0
970.43/970.67	c  970s |      16 |   770535 |   147052 |    12685     16 |     4124 |        0
973.13/973.33	c  973s |      16 |   771488 |   147352 |    12685     16 |     4124 |        0
975.73/975.96	c  975s |      16 |   772573 |   147652 |    12685     17 |     4124 |        0
978.52/978.72	c  978s |      16 |   773749 |   147952 |    12685     17 |     4124 |        0
981.13/981.31	c  981s |      16 |   774896 |   148152 |    12685     17 |     4124 |        0
984.22/984.40	c  984s |      16 |   776028 |   148452 |    12685     17 |     4124 |        0
986.22/986.41	c  986s |      16 |   776731 |   148652 |    12685     17 |     4124 |        0
988.42/988.60	c  988s |      16 |   777279 |   148852 |    12685     17 |     4124 |        0
991.12/991.38	c  991s |      16 |   778202 |   149152 |    12685     17 |     4124 |        0
993.42/993.61	c  993s |      16 |   778823 |   149352 |    12685     17 |     4124 |        0
995.82/996.10	c  995s |      16 |   780474 |   149652 |    12685     17 |     4124 |        0
998.22/998.46	c  998s |      16 |   781100 |   149852 |    12685     17 |     4124 |        0
1000.72/1000.96	c 1000s |      16 |   782647 |   150152 |    12685     17 |     4124 |        0
1002.92/1003.19	c 1003s |      16 |   784735 |   150452 |    12685     17 |     4124 |        0
1005.42/1005.61	c 1005s |      16 |   786880 |   150752 |    12685     17 |     4124 |        0
1007.52/1007.70	c 1007s |      16 |   788478 |   151152 |    12685     17 |     4124 |        0
1010.21/1010.44	c 1010s |      16 |   790083 |   151552 |    12685     17 |     4124 |        0
1012.21/1012.48	c 1012s |      16 |   791431 |   151852 |    12685     17 |     4124 |        0
1014.31/1014.50	c 1014s |      16 |   792643 |   152152 |    12685     17 |     4124 |        0
1016.32/1016.60	c 1016s |      16 |   793783 |   152452 |    12685     17 |     4124 |        0
1018.81/1019.04	c 1018s |      16 |   794907 |   152752 |    12685     17 |     4124 |        0
1021.31/1021.52	c 1021s |      16 |   795816 |   153052 |    12685     17 |     4124 |        0
1023.61/1023.88	c 1023s |      16 |   796220 |   153252 |    12685     17 |     4124 |        0
1026.51/1026.74	c 1026s |      16 |   796760 |   153452 |    12685     17 |     4124 |        0
1029.41/1029.67	c 1029s |      16 |   797451 |   153752 |    12685     17 |     4124 |        0
1031.51/1031.77	c 1031s |      16 |   798932 |   154052 |    12685     17 |     4124 |        0
1033.81/1034.05	c 1033s |      16 |   800069 |   154352 |    12685     17 |     4124 |        0
1036.90/1037.14	c 1036s |      16 |   800672 |   154652 |    12685     17 |     4124 |        0
1039.20/1039.46	c 1039s |      16 |   801195 |   154852 |    12685     17 |     4124 |        0
1041.51/1041.79	c 1041s |      16 |   801923 |   155052 |    12685     17 |     4124 |        0
1044.20/1044.48	c 1044s |      16 |   803272 |   155252 |    12685     17 |     4124 |        0
1046.90/1047.19	c 1047s |      16 |   804103 |   155552 |    12685     17 |     4124 |        0
1049.00/1049.26	c 1049s |      16 |   804764 |   155752 |    12685     17 |     4124 |        0
1052.70/1052.92	c 1052s |      16 |   806258 |   156052 |    12685     17 |     4124 |        0
1055.30/1055.55	c 1055s |      16 |   807625 |   156352 |    12685     17 |     4124 |        0
1057.80/1058.00	c 1057s |      16 |   808462 |   156652 |    12685     17 |     4124 |        0
1060.00/1060.27	c 1060s |      16 |   810014 |   156952 |    12685     18 |     4124 |        0
1062.30/1062.60	c 1062s |      16 |   811400 |   157252 |    12685     18 |     4124 |        0
1065.00/1065.26	c 1065s |      16 |   813615 |   157652 |    12685     18 |     4124 |        0
1066.99/1067.28	c 1067s |      16 |   815654 |   157952 |    12685     18 |     4124 |        0
1069.19/1069.40	c 1069s |      16 |   816580 |   158152 |    12685     18 |     4124 |        0
1072.09/1072.30	c 1072s |      16 |   817759 |   158452 |    12685     18 |     4124 |        0
1074.29/1074.54	c 1074s |      16 |   818371 |   158652 |    12685     18 |     4124 |        0
1077.39/1077.67	c 1077s |      16 |   819776 |   158952 |    12685     18 |     4124 |        0
1080.58/1080.89	c 1080s |      16 |   820869 |   159152 |    12685     18 |     4124 |        0
1082.98/1083.20	c 1083s |      16 |   821484 |   159352 |    12685     18 |     4124 |        0
1086.08/1086.32	c 1086s |      16 |   823053 |   159652 |    12685     18 |     4124 |        0
1088.28/1088.56	c 1088s |      16 |   823402 |   159852 |    12685     18 |     4124 |        0
1090.38/1090.60	c 1090s |      16 |   824075 |   160052 |    12685     18 |     4124 |        0
1093.08/1093.31	c 1093s |      16 |   824794 |   160352 |    12685     18 |     4124 |        0
1095.18/1095.40	c 1095s |      16 |   825422 |   160552 |    12685     18 |     4124 |        0
1097.48/1097.79	c 1097s |      16 |   827447 |   160752 |    12685     18 |     4124 |        0
1099.78/1100.09	c 1099s |      16 |   829299 |   161152 |    12685     18 |     4124 |        0
1102.38/1102.60	c 1102s |      16 |   831156 |   161552 |    12685     18 |     4124 |        0
1104.77/1105.06	c 1104s |      16 |   832553 |   161852 |    12685     18 |     4124 |        0
1106.97/1107.21	c 1107s |      16 |   836240 |   162352 |    12685     18 |     4124 |        0
1109.17/1109.48	c 1109s |      16 |   837869 |   162852 |    12685     18 |     4124 |        0
1111.37/1111.62	c 1111s |      16 |   839429 |   163252 |    12685     18 |     4124 |        0
1113.67/1113.92	c 1113s |      16 |   840391 |   163552 |    12685     18 |     4124 |        0
1116.38/1116.62	c 1116s |      16 |   841726 |   163952 |    12685     18 |     4124 |        0
1118.48/1118.80	c 1118s |      16 |   843374 |   164352 |    12685     18 |     4124 |        0
1120.87/1121.15	c 1120s |      16 |   845182 |   164752 |    12685     18 |     4124 |        0
1123.07/1123.39	c 1123s |      16 |   847914 |   165152 |    12685     18 |     4124 |        0
1125.37/1125.67	c 1125s |      16 |   849381 |   165452 |    12685     18 |     4124 |        0
1127.38/1127.68	c 1127s |      16 |   850847 |   165752 |    12685     18 |     4124 |        0
1130.57/1130.84	c 1130s |      16 |   852156 |   166152 |    12685     19 |     4124 |        0
1133.27/1133.57	c 1133s |      16 |   854167 |   166552 |    12685     19 |     4124 |        0
1135.67/1135.98	c 1135s |      16 |   855935 |   166852 |    12685     19 |     4124 |        0
1138.46/1138.72	c 1138s |      16 |   857756 |   167252 |    12685     19 |     4124 |        0
1141.16/1141.48	c 1141s |      16 |   859811 |   167752 |    12685     19 |     4124 |        0
1143.36/1143.69	c 1143s |      16 |   861690 |   168052 |    12685     19 |     4124 |        0
1145.97/1146.27	c 1146s |      16 |   862661 |   168352 |    12685     19 |     4124 |        0
1149.06/1149.36	c 1149s |      16 |   864071 |   168652 |    12685     19 |     4124 |        0
1151.36/1151.66	c 1151s |      16 |   864743 |   168852 |    12685     19 |     4124 |        0
1153.56/1153.88	c 1153s |      16 |   865616 |   169152 |    12685     19 |     4124 |        0
1156.26/1156.55	c 1156s |      16 |   867172 |   169452 |    12685     19 |     4124 |        0
1159.06/1159.34	c 1159s |      16 |   868325 |   169752 |    12685     19 |     4124 |        0
1161.36/1161.61	c 1161s |      16 |   869324 |   170052 |    12685     19 |     4124 |        0
1163.96/1164.29	c 1164s |      16 |   871255 |   170452 |    12685     19 |     4124 |        0
1166.15/1166.43	c 1166s |      16 |   872620 |   170752 |    12685     19 |     4124 |        0
1168.95/1169.22	c 1169s |      16 |   873965 |   171052 |    12685     19 |     4124 |        0
1171.15/1171.42	c 1171s |      16 |   874374 |   171252 |    12685     19 |     4124 |        0
1174.05/1174.36	c 1174s |      16 |   875201 |   171552 |    12685     19 |     4124 |        0
1176.25/1176.54	c 1176s |      16 |   876022 |   171852 |    12685     19 |     4124 |        0
1178.55/1178.87	c 1178s |      16 |   876746 |   172152 |    12685     19 |     4124 |        0
1180.65/1180.95	c 1180s |      16 |   878086 |   172452 |    12685     19 |     4124 |        0
1182.85/1183.13	c 1182s |      16 |   880151 |   172852 |    12685     19 |     4124 |        0
1185.34/1185.60	c 1185s |      16 |   881779 |   173252 |    12685     19 |     4124 |        0
1187.54/1187.86	c 1187s |      16 |   883903 |   173652 |    12685     19 |     4124 |        0
1190.64/1190.92	c 1190s |      16 |   885341 |   173952 |    12685     19 |     4124 |        0
1192.74/1193.06	c 1192s |      16 |   886235 |   174252 |    12685     19 |     4124 |        0
1194.94/1195.23	c 1195s |      16 |   887385 |   174552 |    12685     19 |     4124 |        0
1197.44/1197.78	c 1197s |      16 |   888207 |   174852 |    12685     19 |     4124 |        0
1199.64/1199.94	c 1199s |      16 |   889217 |   175052 |    12685     19 |     4124 |        0
1203.14/1203.49	c 1203s |      16 |   889875 |   175352 |    12685     19 |     4124 |        0
1205.54/1205.86	c 1205s |      16 |   890384 |   175552 |    12685     20 |     4124 |        0
1207.64/1207.92	c 1207s |      16 |   891029 |   175752 |    12685     20 |     4124 |        0
1209.63/1209.99	c 1209s |      16 |   891560 |   175952 |    12685     20 |     4124 |        0
1212.33/1212.61	c 1212s |      16 |   892912 |   176352 |    12685     20 |     4124 |        0
1214.93/1215.27	c 1215s |      16 |   894284 |   176652 |    12685     20 |     4124 |        0
1217.43/1217.72	c 1217s |      16 |   895551 |   176952 |    12685     20 |     4124 |        0
1219.93/1220.28	c 1220s |      16 |   897138 |   177252 |    12685     20 |     4124 |        0
1222.33/1222.65	c 1222s |      16 |   898560 |   177552 |    12685     20 |     4124 |        0
1225.13/1225.42	c 1225s |      16 |   899426 |   177852 |    12685     20 |     4124 |        0
1227.73/1228.04	c 1227s |      16 |   900605 |   178152 |    12685     20 |     4124 |        0
1230.33/1230.63	c 1230s |      16 |   901707 |   178452 |    12685     20 |     4124 |        0
1232.72/1233.01	c 1232s |      16 |   902650 |   178752 |    12685     20 |     4124 |        0
1235.13/1235.45	c 1235s |      16 |   903145 |   178952 |    12685     20 |     4124 |        0
1237.62/1237.93	c 1237s |      16 |   903744 |   179152 |    12685     20 |     4124 |        0
1240.22/1240.56	c 1240s |      16 |   904400 |   179352 |    12685     20 |     4124 |        0
1243.32/1243.66	c 1243s |      16 |   904860 |   179552 |    12685     20 |     4124 |        0
1246.22/1246.50	c 1246s |      16 |   906214 |   179952 |    12685     20 |     4124 |        0
1249.03/1249.34	c 1249s |      16 |   908157 |   180252 |    12685     20 |     4124 |        0
1252.12/1252.42	c 1252s |      16 |   908676 |   180452 |    12685     20 |     4124 |        0
1254.22/1254.58	c 1254s |      16 |   909153 |   180652 |    12685     20 |     4124 |        0
1256.92/1257.28	c 1257s |      16 |   909665 |   180852 |    12685     20 |     4124 |        0
1259.92/1260.25	c 1260s |      16 |   910102 |   181052 |    12685     20 |     4124 |        0
1261.92/1262.28	c 1262s |      16 |   911110 |   181252 |    12685     20 |     4124 |        0
1264.22/1264.57	c 1264s |      16 |   911861 |   181452 |    12685     20 |     4124 |        0
1267.32/1267.67	c 1267s |      16 |   912547 |   181652 |    12685     20 |     4124 |        0
1270.71/1271.07	c 1270s |      16 |   913072 |   181852 |    12685     20 |     4124 |        0
1273.21/1273.57	c 1273s |      16 |   913387 |   181952 |    12685     20 |     4124 |        0
1276.51/1276.85	c 1276s |      16 |   913866 |   182152 |    12685     20 |     4124 |        0
1279.02/1279.40	c 1279s |      16 |   914237 |   182352 |    12685     20 |     4124 |        0
1281.11/1281.47	c 1281s |      16 |   914527 |   182452 |    12685     20 |     4124 |        0
1284.21/1284.59	c 1284s |      16 |   915106 |   182652 |    12685     20 |     4124 |        0
1286.82/1287.15	c 1286s |      16 |   916880 |   182952 |    12685     20 |     4124 |        0
1290.31/1290.64	c 1290s |      16 |   917569 |   183152 |    12685     20 |     4124 |        0
1293.71/1294.04	c 1293s |      16 |   917891 |   183352 |    12685     20 |     4124 |        0
1297.01/1297.31	c 1297s |      16 |   918435 |   183552 |    12685     20 |     4124 |        0
1299.50/1299.89	c 1299s |      16 |   919293 |   183752 |    12685     20 |     4124 |        0
1302.00/1302.34	c 1302s |      16 |   920002 |   183952 |    12685     20 |     4124 |        0
1304.70/1305.01	c 1304s |      16 |   920890 |   184252 |    12685     20 |     4124 |        0
1307.10/1307.40	c 1307s |      16 |   921565 |   184552 |    12685     20 |     4124 |        0
1309.50/1309.85	c 1309s |      16 |   922804 |   184852 |    12685     21 |     4124 |        0
1311.80/1312.12	c 1311s |      16 |   924572 |   185152 |    12685     21 |     4124 |        0
1314.00/1314.39	c 1314s |      16 |   926133 |   185452 |    12685     21 |     4124 |        0
1316.80/1317.14	c 1316s |      16 |   927629 |   185752 |    12685     21 |     4124 |        0
1319.20/1319.52	c 1319s |      16 |   928812 |   186052 |    12685     21 |     4124 |        0
1321.50/1321.80	c 1321s |      16 |   930538 |   186352 |    12685     21 |     4124 |        0
1324.40/1324.78	c 1324s |      16 |   931558 |   186652 |    12685     21 |     4124 |        0
1326.60/1326.93	c 1326s |      16 |   932176 |   186852 |    12685     21 |     4124 |        0
1329.99/1330.31	c 1330s |      16 |   933505 |   187152 |    12685     21 |     4124 |        0
1332.79/1333.15	c 1332s |      16 |   934933 |   187452 |    12685     21 |     4124 |        0
1335.29/1335.64	c 1335s |      16 |   935661 |   187652 |    12685     21 |     4124 |        0
1337.99/1338.36	c 1338s |      16 |   936437 |   187952 |    12685     21 |     4124 |        0
1340.29/1340.69	c 1340s |      16 |   937291 |   188252 |    12685     21 |     4124 |        0
1342.39/1342.79	c 1342s |      16 |   937864 |   188452 |    12685     21 |     4124 |        0
1344.49/1344.81	c 1344s |      16 |   938393 |   188652 |    12685     21 |     4124 |        0
1346.89/1347.29	c 1347s |      16 |   939190 |   188952 |    12685     21 |     4124 |        0
1349.28/1349.66	c 1349s |      16 |   940302 |   189252 |    12685     21 |     4124 |        0
1351.88/1352.24	c 1352s |      16 |   942232 |   189652 |    12685     21 |     4124 |        0
1354.28/1354.61	c 1354s |      16 |   943154 |   189952 |    12685     21 |     4124 |        0
1356.68/1357.03	c 1356s |      16 |   944290 |   190252 |    12685     21 |     4124 |        0
1358.78/1359.14	c 1358s |      16 |   945401 |   190552 |    12685     21 |     4124 |        0
1361.08/1361.42	c 1361s |      16 |   946767 |   190852 |    12685     21 |     4124 |        0
1363.28/1363.66	c 1363s |      16 |   948153 |   191152 |    12685     21 |     4124 |        0
1365.58/1365.94	c 1365s |      16 |   949193 |   191352 |    12685     21 |     4124 |        0
1367.77/1368.12	c 1367s |      16 |   949680 |   191552 |    12685     21 |     4124 |        0
1369.87/1370.24	c 1370s |      16 |   950936 |   191852 |    12685     21 |     4124 |        0
1372.58/1372.99	c 1372s |      16 |   951761 |   192152 |    12685     21 |     4124 |        0
1375.17/1375.54	c 1375s |      16 |   952409 |   192452 |    12685     21 |     4124 |        0
1377.27/1377.62	c 1377s |      16 |   952896 |   192652 |    12685     21 |     4124 |        0
1379.77/1380.13	c 1379s |      16 |   954091 |   192952 |    12685     21 |     4124 |        0
1382.27/1382.64	c 1382s |      16 |   955380 |   193252 |    12685     21 |     4124 |        0
1384.57/1384.91	c 1384s |      16 |   957301 |   193652 |    12685     21 |     4124 |        0
1386.67/1387.04	c 1386s |      16 |   958179 |   193952 |    12685     21 |     4124 |        0
1389.66/1390.01	c 1389s |      16 |   959168 |   194252 |    12685     22 |     4124 |        0
1392.76/1393.17	c 1392s |      16 |   960074 |   194552 |    12685     22 |     4124 |        0
1395.06/1395.45	c 1395s |      16 |   960927 |   194852 |    12685     22 |     4124 |        0
1398.06/1398.47	c 1398s |      16 |   961598 |   195152 |    12685     22 |     4124 |        0
1400.56/1400.90	c 1400s |      16 |   962226 |   195352 |    12685     22 |     4124 |        0
1402.76/1403.19	c 1403s |      16 |   964018 |   195752 |    12685     22 |     4124 |        0
1405.46/1405.84	c 1405s |      16 |   966085 |   196152 |    13954     22 |     4124 |        0
1408.05/1408.40	c 1408s |      16 |   967160 |   196452 |    13954     22 |     4124 |        0
1410.15/1410.58	c 1410s |      16 |   968957 |   196852 |    13954     22 |     4124 |        0
1413.05/1413.49	c 1413s |      16 |   970431 |   197252 |    13954     22 |     4124 |        0
1413.95/1414.36	c 1414s |      17 |   971368 |   197432 |    13954     22 |     4124 |        0
1416.35/1416.79	c 1416s |      17 |   972499 |   197632 |    13954     22 |     4124 |        0
1419.15/1419.57	c 1419s |      17 |   973318 |   197932 |    13954     22 |     4124 |        0
1421.35/1421.78	c 1421s |      17 |   974194 |   198332 |    13954     22 |     4124 |        0
1423.55/1423.96	c 1423s |      17 |   976105 |   198832 |    13954     22 |     4124 |        0
1425.85/1426.22	c 1426s |      17 |   978707 |   199332 |    13954     22 |     4124 |        0
1427.94/1428.32	c 1428s |      17 |   980614 |   199832 |    13954     22 |     4124 |        0
1430.24/1430.68	c 1430s |      17 |   982715 |   200332 |    13954     22 |     4124 |        0
1432.44/1432.82	c 1432s |      17 |   984506 |   200832 |    13954     22 |     4124 |        0
1434.54/1434.96	c 1434s |      17 |   986181 |   201332 |    13954     22 |     4124 |        0
1436.94/1437.39	c 1437s |      17 |   988970 |   201932 |    13954     22 |     4124 |        0
1439.14/1439.59	c 1439s |      17 |   991495 |   202432 |    13954     22 |     4124 |        0
1441.14/1441.59	c 1441s |      17 |   993589 |   202932 |    13954     22 |     4124 |        0
1443.64/1444.00	c 1443s |      17 |   995172 |   203432 |    13954     22 |     4124 |        0
1445.94/1446.33	c 1446s |      17 |   996405 |   203932 |    13954     22 |     4124 |        0
1448.04/1448.47	c 1448s |      17 |   997360 |   204232 |    13954     23 |     4124 |        0
1450.04/1450.49	c 1450s |      17 |   999137 |   204632 |    13954     23 |     4124 |        0
1452.14/1452.59	c 1452s |      17 |  1000774 |   205032 |    13954     23 |     4124 |        0
1454.23/1454.68	c 1454s |      17 |  1002272 |   205532 |    13954     23 |     4124 |        0
1456.63/1457.03	c 1456s |      17 |  1003770 |   206032 |    13954     23 |     4124 |        0
1458.73/1459.15	c 1458s |      17 |  1005422 |   206632 |    13954     23 |     4124 |        0
1460.73/1461.17	c 1460s |      17 |  1007679 |   207132 |    13954     23 |     4124 |        0
1462.83/1463.28	c 1463s |      17 |  1009059 |   207632 |    13954     23 |     4124 |        0
1465.13/1465.52	c 1465s |      17 |  1010729 |   208032 |    13954     23 |     4124 |        0
1467.23/1467.62	c 1467s |      17 |  1012231 |   208332 |    13954     23 |     4124 |        0
1470.13/1470.58	c 1470s |      17 |  1012930 |   208632 |    13954     23 |     4124 |        0
1472.33/1472.73	c 1472s |      17 |  1013713 |   208932 |    13954     23 |     4124 |        0
1474.43/1474.88	c 1474s |      17 |  1015723 |   209432 |    13954     23 |     4124 |        0
1476.63/1477.09	c 1476s |      17 |  1017227 |   209932 |    13954     23 |     4124 |        0
1479.14/1479.52	c 1479s |      17 |  1018801 |   210432 |    13954     23 |     4124 |        0
1481.13/1481.55	c 1481s |      17 |  1019847 |   210732 |    13954     23 |     4124 |        0
1483.64/1484.01	c 1483s |      17 |  1020729 |   211032 |    13954     23 |     4124 |        0
1485.93/1486.34	c 1486s |      17 |  1021419 |   211332 |    13954     23 |     4124 |        0
1488.23/1488.60	c 1488s |      17 |  1023448 |   211832 |    13954     23 |     4124 |        0
1490.53/1490.90	c 1490s |      17 |  1024996 |   212432 |    13954     23 |     4124 |        0
1492.63/1493.01	c 1492s |      17 |  1025869 |   212832 |    13954     23 |     4124 |        0
1495.23/1495.62	c 1495s |      17 |  1027005 |   213332 |    13954     23 |     4124 |        0
1497.53/1497.91	c 1497s |      17 |  1028348 |   213732 |    13954     23 |     4124 |        0
1499.93/1500.35	c 1500s |      17 |  1029590 |   214032 |    13954     23 |     4124 |        0
1502.13/1502.51	c 1502s |      17 |  1031175 |   214432 |    13954     24 |     4124 |        0
1504.23/1504.62	c 1504s |      17 |  1032390 |   214932 |    13954     24 |     4124 |        0
1506.53/1507.00	c 1506s |      17 |  1034334 |   215532 |    13954     24 |     4124 |        0
1508.63/1509.03	c 1508s |      17 |  1035471 |   216032 |    13954     24 |     4124 |        0
1511.03/1511.46	c 1511s |      17 |  1036595 |   216532 |    13954     24 |     4124 |        0
1513.13/1513.53	c 1513s |      17 |  1038021 |   217032 |    13954     24 |     4124 |        0
1515.62/1516.03	c 1515s |      17 |  1039118 |   217432 |    13954     24 |     4124 |        0
1517.82/1518.20	c 1518s |      17 |  1040918 |   217932 |    13954     24 |     4124 |        0
1520.02/1520.42	c 1520s |      17 |  1041835 |   218232 |    13954     24 |     4124 |        0
1522.13/1522.60	c 1522s |      17 |  1043051 |   218632 |    13954     24 |     4124 |        0
1524.62/1525.09	c 1524s |      17 |  1044118 |   219132 |    13954     24 |     4124 |        0
1526.92/1527.34	c 1527s |      17 |  1045598 |   219532 |    13954     24 |     4124 |        0
1529.32/1529.79	c 1529s |      17 |  1047214 |   220032 |    13954     24 |     4124 |        0
1531.72/1532.14	c 1531s |      17 |  1049273 |   220432 |    13954     24 |     4124 |        0
1533.72/1534.15	c 1533s |      17 |  1049970 |   220832 |    13954     24 |     4124 |        0
1535.92/1536.38	c 1536s |      17 |  1050745 |   221232 |    13954     24 |     4124 |        0
1538.22/1538.63	c 1538s |      17 |  1052425 |   221732 |    13954     24 |     4124 |        0
1540.73/1541.11	c 1540s |      17 |  1053482 |   222132 |    13954     24 |     4124 |        0
1542.72/1543.18	c 1542s |      17 |  1054802 |   222532 |    13954     24 |     4124 |        0
1545.13/1545.53	c 1545s |      17 |  1055293 |   222832 |    13954     24 |     4124 |        0
1547.43/1547.80	c 1547s |      17 |  1056136 |   223232 |    13954     24 |     4124 |        0
1549.82/1550.26	c 1550s |      17 |  1057644 |   223632 |    13954     24 |     4124 |        0
1552.12/1552.57	c 1552s |      17 |  1058646 |   224032 |    13954     25 |     4124 |        0
1554.22/1554.67	c 1554s |      17 |  1059843 |   224532 |    13954     25 |     4124 |        0
1556.82/1557.22	c 1557s |      17 |  1060567 |   224932 |    13954     25 |     4124 |        0
1559.02/1559.49	c 1559s |      17 |  1061272 |   225332 |    13954     25 |     4124 |        0
1561.32/1561.74	c 1561s |      17 |  1062100 |   225732 |    13954     25 |     4124 |        0
1563.52/1563.98	c 1563s |      17 |  1062643 |   226032 |    13954     25 |     4124 |        0
1566.12/1566.56	c 1566s |      17 |  1063274 |   226332 |    13954     25 |     4124 |        0
1568.32/1568.71	c 1568s |      17 |  1064120 |   226732 |    13954     25 |     4124 |        0
1570.62/1571.02	c 1570s |      17 |  1065020 |   227132 |    13954     25 |     4124 |        0
1572.91/1573.35	c 1573s |      17 |  1065482 |   227332 |    13954     25 |     4124 |        0
1575.11/1575.60	c 1575s |      17 |  1065818 |   227532 |    13954     25 |     4124 |        0
1577.31/1577.76	c 1577s |      17 |  1066549 |   227832 |    13954     25 |     4124 |        0
1580.01/1580.47	c 1580s |      17 |  1067849 |   228232 |    13954     25 |     4124 |        0
1582.31/1582.73	c 1582s |      17 |  1068901 |   228532 |    13954     25 |     4124 |        0
1584.41/1584.89	c 1584s |      17 |  1069592 |   228832 |    13954     25 |     4124 |        0
1587.11/1587.52	c 1587s |      17 |  1071206 |   229232 |    13954     25 |     4124 |        0
1589.31/1589.79	c 1589s |      17 |  1071787 |   229532 |    13954     25 |     4124 |        0
1591.71/1592.12	c 1591s |      17 |  1072589 |   229832 |    13954     25 |     4124 |        0
1593.71/1594.15	c 1593s |      17 |  1073072 |   230132 |    13954     25 |     4124 |        0
1595.91/1596.33	c 1596s |      17 |  1073776 |   230432 |    13954     25 |     4124 |        0
1598.71/1599.10	c 1598s |      17 |  1074864 |   230832 |    13954     25 |     4124 |        0
1600.81/1601.27	c 1601s |      17 |  1075844 |   231132 |    13954     25 |     4124 |        0
1603.01/1603.44	c 1603s |      17 |  1076755 |   231432 |    13954     25 |     4124 |        0
1605.62/1606.05	c 1605s |      17 |  1077420 |   231732 |    13954     25 |     4124 |        0
1607.81/1608.29	c 1608s |      17 |  1078595 |   232032 |    13954     25 |     4124 |        0
1610.21/1610.60	c 1610s |      17 |  1079485 |   232432 |    13954     25 |     4124 |        0
1612.71/1613.11	c 1612s |      17 |  1080378 |   232832 |    13954     25 |     4124 |        0
1615.41/1615.89	c 1615s |      17 |  1081315 |   233232 |    13954     25 |     4124 |        0
1617.82/1618.28	c 1618s |      17 |  1082375 |   233632 |    13954     25 |     4124 |        0
1620.02/1620.42	c 1620s |      17 |  1083539 |   233932 |    13954     26 |     4124 |        0
1622.22/1622.66	c 1622s |      17 |  1083928 |   234132 |    13954     26 |     4124 |        0
1624.51/1624.97	c 1624s |      17 |  1085186 |   234532 |    13954     26 |     4124 |        0
1627.21/1627.68	c 1627s |      17 |  1086009 |   234932 |    13954     26 |     4124 |        0
1629.41/1629.82	c 1629s |      17 |  1086678 |   235232 |    13954     26 |     4124 |        0
1632.21/1632.65	c 1632s |      17 |  1087370 |   235532 |    13954     26 |     4124 |        0
1634.51/1634.98	c 1634s |      17 |  1088668 |   235932 |    13954     26 |     4124 |        0
1636.91/1637.37	c 1637s |      17 |  1089942 |   236332 |    13954     26 |     4124 |        0
1639.61/1640.05	c 1639s |      17 |  1090703 |   236732 |    13954     26 |     4124 |        0
1641.92/1642.37	c 1642s |      17 |  1091302 |   237032 |    13954     26 |     4124 |        0
1644.71/1645.10	c 1644s |      17 |  1092971 |   237432 |    13954     26 |     4124 |        0
1647.01/1647.49	c 1647s |      17 |  1094559 |   237832 |    13954     26 |     4124 |        0
1649.21/1649.64	c 1649s |      17 |  1095011 |   238132 |    13954     26 |     4124 |        0
1651.71/1652.11	c 1651s |      17 |  1096880 |   238532 |    13954     26 |     4124 |        0
1653.81/1654.27	c 1654s |      17 |  1100564 |   239232 |    13954     26 |     4124 |        0
1656.21/1656.61	c 1656s |      17 |  1103745 |   239832 |    13954     26 |     4124 |        0
1658.31/1658.79	c 1658s |      17 |  1105651 |   240232 |    13954     26 |     4124 |        0
1660.81/1661.25	c 1661s |      17 |  1107649 |   240732 |    13954     26 |     4124 |        0
1663.31/1663.74	c 1663s |      17 |  1109905 |   241232 |    13954     26 |     4124 |        0
1665.70/1666.11	c 1665s |      17 |  1111917 |   241732 |    13954     26 |     4124 |        0
1667.80/1668.22	c 1668s |      17 |  1114027 |   242132 |    13954     26 |     4124 |        0
1670.61/1671.09	c 1670s |      17 |  1115654 |   242532 |    13954     26 |     4124 |        0
1673.50/1673.90	c 1673s |      17 |  1117342 |   242832 |    13954     26 |     4124 |        0
1675.80/1676.28	c 1676s |      17 |  1118331 |   243032 |    13954     26 |     4124 |        0
1678.40/1678.82	c 1678s |      17 |  1118756 |   243232 |    13954     26 |     4124 |        0
1680.90/1681.33	c 1681s |      17 |  1119487 |   243532 |    13954     26 |     4124 |        0
1683.60/1684.01	c 1683s |      17 |  1119932 |   243732 |    13954     27 |     4124 |        0
1687.50/1687.92	c 1687s |      17 |  1120728 |   244032 |    13954     27 |     4124 |        0
1690.10/1690.51	c 1690s |      17 |  1123549 |   244632 |    13954     27 |     4124 |        0
1692.90/1693.30	c 1693s |      17 |  1125088 |   245032 |    13954     27 |     4124 |        0
1695.30/1695.77	c 1695s |      17 |  1126589 |   245432 |    13954     27 |     4124 |        0
1697.40/1697.84	c 1697s |      17 |  1128522 |   245932 |    13954     27 |     4124 |        0
1699.80/1700.24	c 1700s |      17 |  1129899 |   246332 |    13954     27 |     4124 |        0
1702.20/1702.61	c 1702s |      17 |  1131061 |   246732 |    13954     27 |     4124 |        0
1704.50/1704.97	c 1704s |      17 |  1132075 |   247132 |    13954     27 |     4124 |        0
1706.91/1707.37	c 1707s |      17 |  1134318 |   247532 |    13954     27 |     4124 |        0
1709.30/1709.71	c 1709s |      17 |  1135746 |   247932 |    13954     27 |     4124 |        0
1712.10/1712.57	c 1712s |      17 |  1136922 |   248332 |    13954     27 |     4124 |        0
1714.50/1715.00	c 1714s |      17 |  1137851 |   248632 |    13954     27 |     4124 |        0
1717.10/1717.55	c 1717s |      17 |  1139208 |   249032 |    13954     27 |     4124 |        0
1719.30/1719.78	c 1719s |      17 |  1140107 |   249332 |    13954     27 |     4124 |        0
1722.10/1722.53	c 1722s |      17 |  1140823 |   249632 |    13954     27 |     4124 |        0
1724.40/1724.85	c 1724s |      17 |  1142117 |   250032 |    13954     27 |     4124 |        0
1726.40/1726.87	c 1726s |      17 |  1142911 |   250332 |    13954     27 |     4124 |        0
1728.70/1729.18	c 1728s |      17 |  1143725 |   250632 |    13954     27 |     4124 |        0
1731.00/1731.50	c 1731s |      17 |  1144401 |   250932 |    13954     27 |     4124 |        0
1733.89/1734.37	c 1734s |      17 |  1145275 |   251232 |    13954     27 |     4124 |        0
1736.19/1736.60	c 1736s |      17 |  1146185 |   251532 |    13954     27 |     4124 |        0
1738.49/1738.95	c 1738s |      17 |  1146800 |   251832 |    13954     27 |     4124 |        0
1740.90/1741.35	c 1741s |      17 |  1147367 |   252132 |    13954     27 |     4124 |        0
1743.39/1743.88	c 1743s |      17 |  1148485 |   252532 |    13954     27 |     4124 |        0
1745.89/1746.36	c 1746s |      17 |  1149799 |   252932 |    13954     27 |     4124 |        0
1747.99/1748.42	c 1748s |      17 |  1150758 |   253232 |    13954     27 |     4124 |        0
1750.49/1750.94	c 1750s |      17 |  1151432 |   253532 |    13954     28 |     4124 |        0
1752.69/1753.13	c 1752s |      17 |  1152646 |   253932 |    13954     28 |     4124 |        0
1754.89/1755.34	c 1755s |      17 |  1153362 |   254232 |    13954     28 |     4124 |        0
1757.29/1757.77	c 1757s |      17 |  1155596 |   254632 |    13954     28 |     4124 |        0
1759.70/1760.18	c 1759s |      17 |  1156804 |   255032 |    13954     28 |     4124 |        0
1761.99/1762.49	c 1762s |      17 |  1158435 |   255532 |    13954     28 |     4124 |        0
1764.10/1764.57	c 1764s |      17 |  1159383 |   255832 |    13954     28 |     4124 |        0
1766.20/1766.63	c 1766s |      17 |  1160536 |   256132 |    13954     28 |     4124 |        0
1768.59/1769.04	c 1768s |      17 |  1161448 |   256532 |    13954     28 |     4124 |        0
1770.89/1771.31	c 1771s |      17 |  1162171 |   256832 |    13954     28 |     4124 |        0
1773.09/1773.54	c 1773s |      17 |  1162893 |   257132 |    13954     28 |     4124 |        0
1775.19/1775.69	c 1775s |      17 |  1164128 |   257532 |    13954     28 |     4124 |        0
1777.29/1777.72	c 1777s |      17 |  1165412 |   257932 |    13954     28 |     4124 |        0
1779.39/1779.90	c 1779s |      17 |  1166011 |   258232 |    13954     28 |     4124 |        0
1781.59/1782.01	c 1781s |      17 |  1166593 |   258532 |    13954     28 |     4124 |        0
1783.69/1784.15	c 1783s |      17 |  1167882 |   258832 |    13954     28 |     4124 |        0
1786.19/1786.62	c 1786s |      17 |  1169142 |   259232 |    13954     28 |     4124 |        0
1788.59/1789.02	c 1788s |      17 |  1169877 |   259532 |    13954     28 |     4124 |        0
1790.99/1791.48	c 1791s |      17 |  1170583 |   259932 |    13954     28 |     4124 |        0
1793.59/1794.02	c 1793s |      17 |  1171193 |   260232 |    13954     28 |     4124 |        0
1796.09/1796.57	c 1796s |      17 |  1172370 |   260632 |    13954     28 |     4124 |        0
1798.09/1798.59	c 1798s |      17 |  1173027 |   260932 |    13954     28 |     4124 |        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-4100001-1466209759/watcher-4100001-1466209759 -o /tmp/evaluation-result-4100001-1466209759/solver-4100001-1466209759 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15196 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100001-1466209759.opb 

pid=16512
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.37 2.31 2.21 3/179 16515
/proc/meminfo: memFree=29386308/32872528 swapFree=1431120/1543540
[pid=16515] ppid=16512 vsize=737724 CPUtime=0 cores=0,2,4,6
/proc/16515/stat : 16515 (toysat) R 16512 16515 15180 0 -1 4202496 2753 0 0 0 0 0 0 0 20 0 4 0 23024680 755429376 3625 33554432000 4194304 16246674 140734377663040 140734377662464 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16515/statm: 185199 3635 441 2943 0 182093 0
[pid=16515/tid=16516] ppid=16512 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16516/stat : 16516 (toysat) S 16512 16515 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23024680 773255168 3690 33554432000 4194304 16246674 140734377663040 140199206038768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16515/tid=16517] ppid=16512 vsize=760252 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16517/stat : 16517 (toysat) S 16512 16515 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23024680 778498048 3710 33554432000 4194304 16246674 140734377663040 140199195548912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16515/tid=16518] ppid=16512 vsize=764348 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16518/stat : 16518 (toysat) S 16512 16515 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23024680 782692352 3729 33554432000 4194304 16246674 140734377663040 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.37 2.31 2.21 3/179 16515
/proc/meminfo: memFree=29386308/32872528 swapFree=1431120/1543540
[pid=16515] ppid=16512 vsize=1299012 CPUtime=0.09 cores=0,2,4,6
/proc/16515/stat : 16515 (toysat) R 16512 16515 15180 0 -1 4202496 26672 0 0 0 6 3 0 0 20 0 4 0 23024680 1330188288 27483 33554432000 4194304 16246674 140734377663040 140734377662352 6974459 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16515/statm: 324753 27493 836 2943 0 321647 0
[pid=16515/tid=16516] ppid=16512 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16516/stat : 16516 (toysat) S 16512 16515 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23024680 1330188288 27500 33554432000 4194304 16246674 140734377663040 140199206038768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16515/tid=16517] ppid=16512 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16517/stat : 16517 (toysat) S 16512 16515 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23024680 1330188288 27501 33554432000 4194304 16246674 140734377663040 140199195548912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16515/tid=16518] ppid=16512 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16518/stat : 16518 (toysat) S 16512 16515 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23024680 1330188288 27507 33554432000 4194304 16246674 140734377663040 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1299012

[startup+0.200399 s]
/proc/loadavg: 2.37 2.31 2.21 3/179 16515
/proc/meminfo: memFree=29386308/32872528 swapFree=1431120/1543540
[pid=16515] ppid=16512 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/16515/stat : 16515 (toysat) R 16512 16515 15180 0 -1 4202496 40424 0 0 0 14 5 0 0 20 0 4 0 23024680 1342771200 41234 33554432000 4194304 16246674 140734377663040 140734377662352 5754568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16515/statm: 327825 41234 884 2943 0 324719 0
[pid=16515/tid=16516] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16516/stat : 16516 (toysat) S 16512 16515 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 41234 33554432000 4194304 16246674 140734377663040 140199206038768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16515/tid=16517] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16517/stat : 16517 (toysat) S 16512 16515 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 41234 33554432000 4194304 16246674 140734377663040 140199195548912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16515/tid=16518] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16518/stat : 16518 (toysat) S 16512 16515 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 41234 33554432000 4194304 16246674 140734377663040 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.30046 s]
/proc/loadavg: 2.37 2.31 2.21 3/179 16515
/proc/meminfo: memFree=29386308/32872528 swapFree=1431120/1543540
[pid=16515] ppid=16512 vsize=1311300 CPUtime=0.29 cores=0,2,4,6
/proc/16515/stat : 16515 (toysat) R 16512 16515 15180 0 -1 4202496 40424 0 0 0 24 5 0 0 20 0 4 0 23024680 1342771200 41234 33554432000 4194304 16246674 140734377663040 140734377662352 13781202 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16515/statm: 327825 41234 884 2943 0 324719 0
[pid=16515/tid=16516] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16516/stat : 16516 (toysat) S 16512 16515 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 41234 33554432000 4194304 16246674 140734377663040 140199206038768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16515/tid=16517] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16517/stat : 16517 (toysat) S 16512 16515 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 41234 33554432000 4194304 16246674 140734377663040 140199195548912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16515/tid=16518] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16518/stat : 16518 (toysat) S 16512 16515 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 41234 33554432000 4194304 16246674 140734377663040 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.700287 s]
/proc/loadavg: 2.37 2.31 2.21 3/179 16515
/proc/meminfo: memFree=29386308/32872528 swapFree=1431120/1543540
[pid=16515] ppid=16512 vsize=1311300 CPUtime=0.69 cores=0,2,4,6
/proc/16515/stat : 16515 (toysat) R 16512 16515 15180 0 -1 4202496 76870 0 0 0 59 10 0 0 20 0 4 0 23024680 1342771200 77680 33554432000 4194304 16246674 140734377663040 140734377662352 5712452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16515/statm: 327825 77681 884 2943 0 324719 0
[pid=16515/tid=16516] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16516/stat : 16516 (toysat) S 16512 16515 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 77681 33554432000 4194304 16246674 140734377663040 140199206038768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16515/tid=16517] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16517/stat : 16517 (toysat) S 16512 16515 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 77681 33554432000 4194304 16246674 140734377663040 140199195548912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16515/tid=16518] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16518/stat : 16518 (toysat) S 16512 16515 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 77681 33554432000 4194304 16246674 140734377663040 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1311300

[startup+1.50039 s]
/proc/loadavg: 2.37 2.31 2.21 3/183 16519
/proc/meminfo: memFree=28819360/32872528 swapFree=1431120/1543540
[pid=16515] ppid=16512 vsize=1311300 CPUtime=1.49 cores=0,2,4,6
/proc/16515/stat : 16515 (toysat) R 16512 16515 15180 0 -1 4202496 205438 0 0 0 122 27 0 0 20 0 4 0 23024680 1342771200 206248 33554432000 4194304 16246674 140734377663040 140734377644928 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16515/statm: 327825 206249 884 2943 0 324719 0
[pid=16515/tid=16516] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16516/stat : 16516 (toysat) S 16512 16515 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 206250 33554432000 4194304 16246674 140734377663040 140199206038768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16515/tid=16517] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16517/stat : 16517 (toysat) S 16512 16515 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 206250 33554432000 4194304 16246674 140734377663040 140199195548912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16515/tid=16518] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16518/stat : 16518 (toysat) S 16512 16515 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 206253 33554432000 4194304 16246674 140734377663040 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1311300

[startup+3.10039 s]
/proc/loadavg: 2.37 2.31 2.21 3/183 16519
/proc/meminfo: memFree=28308472/32872528 swapFree=1431120/1543540
[pid=16515] ppid=16512 vsize=1311300 CPUtime=3.09 cores=0,2,4,6
/proc/16515/stat : 16515 (toysat) R 16512 16515 15180 0 -1 4202496 268814 0 0 0 274 35 0 0 20 0 4 0 23024680 1342771200 269624 33554432000 4194304 16246674 140734377663040 140734377644928 5711318 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16515/statm: 327825 269624 887 2943 0 324719 0
[pid=16515/tid=16516] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16516/stat : 16516 (toysat) S 16512 16515 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 269624 33554432000 4194304 16246674 140734377663040 140199206038768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16515/tid=16517] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16517/stat : 16517 (toysat) S 16512 16515 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 269624 33554432000 4194304 16246674 140734377663040 140199195548912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16515/tid=16518] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16518/stat : 16518 (toysat) S 16512 16515 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 269624 33554432000 4194304 16246674 140734377663040 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1311300

[startup+6.30035 s]
/proc/loadavg: 2.50 2.34 2.22 4/183 16519
/proc/meminfo: memFree=28308364/32872528 swapFree=1431120/1543540
[pid=16515] ppid=16512 vsize=1311300 CPUtime=6.29 cores=0,2,4,6
/proc/16515/stat : 16515 (toysat) R 16512 16515 15180 0 -1 4202496 268818 0 0 0 594 35 0 0 20 0 4 0 23024680 1342771200 269628 33554432000 4194304 16246674 140734377663040 140734377644928 5600573 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16515/statm: 327825 269628 891 2943 0 324719 0
[pid=16515/tid=16516] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16516/stat : 16516 (toysat) S 16512 16515 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 269628 33554432000 4194304 16246674 140734377663040 140199206038768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16515/tid=16517] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16517/stat : 16517 (toysat) S 16512 16515 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 269628 33554432000 4194304 16246674 140734377663040 140199195548912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16515/tid=16518] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16518/stat : 16518 (toysat) S 16512 16515 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 269628 33554432000 4194304 16246674 140734377663040 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1311300

[startup+12.7003 s]
/proc/loadavg: 2.54 2.35 2.23 3/183 16519
/proc/meminfo: memFree=28308168/32872528 swapFree=1431120/1543540
[pid=16515] ppid=16512 vsize=1311300 CPUtime=12.68 cores=0,2,4,6
/proc/16515/stat : 16515 (toysat) R 16512 16515 15180 0 -1 4202496 268818 0 0 0 1233 35 0 0 20 0 4 0 23024680 1342771200 269628 33554432000 4194304 16246674 140734377663040 140734377644928 13780568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16515/statm: 327825 269628 891 2943 0 324719 0
[pid=16515/tid=16516] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16516/stat : 16516 (toysat) S 16512 16515 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 269628 33554432000 4194304 16246674 140734377663040 140199206038768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16515/tid=16517] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16517/stat : 16517 (toysat) S 16512 16515 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 269628 33554432000 4194304 16246674 140734377663040 140199195548912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16515/tid=16518] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16518/stat : 16518 (toysat) S 16512 16515 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 269628 33554432000 4194304 16246674 140734377663040 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.49 2.35 2.23 4/182 16519
/proc/meminfo: memFree=28308188/32872528 swapFree=1431120/1543540
[pid=16515] ppid=16512 vsize=1311300 CPUtime=25.48 cores=0,2,4,6
/proc/16515/stat : 16515 (toysat) R 16512 16515 15180 0 -1 4202496 268818 0 0 0 2513 35 0 0 20 0 4 0 23024680 1342771200 269628 33554432000 4194304 16246674 140734377663040 140734377644928 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16515/statm: 327825 269628 891 2943 0 324719 0
[pid=16515/tid=16516] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16516/stat : 16516 (toysat) S 16512 16515 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 269628 33554432000 4194304 16246674 140734377663040 140199206038768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16515/tid=16517] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16517/stat : 16517 (toysat) S 16512 16515 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 269628 33554432000 4194304 16246674 140734377663040 140199195548912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16515/tid=16518] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16518/stat : 16518 (toysat) S 16512 16515 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 269628 33554432000 4194304 16246674 140734377663040 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.40 2.34 2.22 4/184 16523
/proc/meminfo: memFree=28307932/32872528 swapFree=1431120/1543540
[pid=16515] ppid=16512 vsize=1311300 CPUtime=51.08 cores=0,2,4,6
/proc/16515/stat : 16515 (toysat) R 16512 16515 15180 0 -1 4202496 268824 0 0 0 5072 36 0 0 20 0 4 0 23024680 1342771200 269634 33554432000 4194304 16246674 140734377663040 140734377644928 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16515/statm: 327825 269634 897 2943 0 324719 0
[pid=16515/tid=16516] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16516/stat : 16516 (toysat) S 16512 16515 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 269634 33554432000 4194304 16246674 140734377663040 140199206038768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16515/tid=16517] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16517/stat : 16517 (toysat) S 16512 16515 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 269634 33554432000 4194304 16246674 140734377663040 140199195548912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16515/tid=16518] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16518/stat : 16518 (toysat) S 16512 16515 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 269634 33554432000 4194304 16246674 140734377663040 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1311300

[startup+102.3 s]
/proc/loadavg: 2.38 2.34 2.23 4/183 16524
/proc/meminfo: memFree=28307008/32872528 swapFree=1431120/1543540
[pid=16515] ppid=16512 vsize=1311300 CPUtime=102.28 cores=0,2,4,6
/proc/16515/stat : 16515 (toysat) R 16512 16515 15180 0 -1 4202496 269018 0 0 0 10191 37 0 0 20 0 4 0 23024680 1342771200 269828 33554432000 4194304 16246674 140734377663040 140734377662216 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16515/statm: 327825 269828 898 2943 0 324719 0
[pid=16515/tid=16516] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16516/stat : 16516 (toysat) S 16512 16515 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 269828 33554432000 4194304 16246674 140734377663040 140199206038768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16515/tid=16517] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16517/stat : 16517 (toysat) S 16512 16515 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 269828 33554432000 4194304 16246674 140734377663040 140199195548912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16515/tid=16518] ppid=16512 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16518/stat : 16518 (toysat) S 16512 16515 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23024680 1342771200 269828 33554432000 4194304 16246674 140734377663040 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1311300


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

/proc/16515/task/16518/stat : 16518 (toysat) S 16512 16515 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23024680 1361645568 274439 33554432000 4194304 16246674 140734377663040 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1329732

[startup+1362.3 s]
/proc/loadavg: 2.45 2.33 2.28 4/183 16604
/proc/meminfo: memFree=27389352/32872528 swapFree=1431120/1543540
[pid=16515] ppid=16512 vsize=1329732 CPUtime=1361.98 cores=0,2,4,6
/proc/16515/stat : 16515 (toysat) R 16512 16515 15180 0 -1 4202496 273835 0 0 0 136149 49 0 0 20 0 4 0 23024680 1361645568 274439 33554432000 4194304 16246674 140734377663040 140734377644928 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16515/statm: 332433 274439 898 2943 0 329327 0
[pid=16515/tid=16516] ppid=16512 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16516/stat : 16516 (toysat) S 16512 16515 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23024680 1361645568 274439 33554432000 4194304 16246674 140734377663040 140199206038768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16515/tid=16517] ppid=16512 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16517/stat : 16517 (toysat) S 16512 16515 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23024680 1361645568 274439 33554432000 4194304 16246674 140734377663040 140199195548912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16515/tid=16518] ppid=16512 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16518/stat : 16518 (toysat) S 16512 16515 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23024680 1361645568 274439 33554432000 4194304 16246674 140734377663040 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1329732

[startup+1422.3 s]
/proc/loadavg: 2.32 2.32 2.27 3/183 16605
/proc/meminfo: memFree=27387672/32872528 swapFree=1431120/1543540
[pid=16515] ppid=16512 vsize=1331780 CPUtime=1421.96 cores=0,2,4,6
/proc/16515/stat : 16515 (toysat) R 16512 16515 15180 0 -1 4202496 274357 0 0 0 142147 49 0 0 20 0 4 0 23024680 1363742720 274933 33554432000 4194304 16246674 140734377663040 140734377644928 6861629 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16515/statm: 332945 274933 898 2943 0 329839 0
[pid=16515/tid=16516] ppid=16512 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16516/stat : 16516 (toysat) S 16512 16515 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23024680 1363742720 274933 33554432000 4194304 16246674 140734377663040 140199206038768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16515/tid=16517] ppid=16512 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16517/stat : 16517 (toysat) S 16512 16515 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23024680 1363742720 274933 33554432000 4194304 16246674 140734377663040 140199195548912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16515/tid=16518] ppid=16512 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16518/stat : 16518 (toysat) S 16512 16515 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23024680 1363742720 274933 33554432000 4194304 16246674 140734377663040 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1331780

[startup+1482.3 s]
/proc/loadavg: 2.27 2.30 2.27 3/183 16606
/proc/meminfo: memFree=27388016/32872528 swapFree=1431120/1543540
[pid=16515] ppid=16512 vsize=1331780 CPUtime=1481.93 cores=0,2,4,6
/proc/16515/stat : 16515 (toysat) R 16512 16515 15180 0 -1 4202496 274374 0 0 0 148144 49 0 0 20 0 4 0 23024680 1363742720 274933 33554432000 4194304 16246674 140734377663040 140734377644928 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16515/statm: 332945 274933 898 2943 0 329839 0
[pid=16515/tid=16516] ppid=16512 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16516/stat : 16516 (toysat) S 16512 16515 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23024680 1363742720 274933 33554432000 4194304 16246674 140734377663040 140199206038768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16515/tid=16517] ppid=16512 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16517/stat : 16517 (toysat) S 16512 16515 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23024680 1363742720 274933 33554432000 4194304 16246674 140734377663040 140199195548912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16515/tid=16518] ppid=16512 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16518/stat : 16518 (toysat) S 16512 16515 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23024680 1363742720 274933 33554432000 4194304 16246674 140734377663040 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1331780

[startup+1542.31 s]
/proc/loadavg: 2.28 2.29 2.27 3/183 16607
/proc/meminfo: memFree=27387188/32872528 swapFree=1431120/1543540
[pid=16515] ppid=16512 vsize=1331780 CPUtime=1541.93 cores=0,2,4,6
/proc/16515/stat : 16515 (toysat) R 16512 16515 15180 0 -1 4202496 274374 0 0 0 154144 49 0 0 20 0 4 0 23024680 1363742720 274933 33554432000 4194304 16246674 140734377663040 140734377644928 5711576 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16515/statm: 332945 274933 898 2943 0 329839 0
[pid=16515/tid=16516] ppid=16512 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16516/stat : 16516 (toysat) S 16512 16515 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23024680 1363742720 274933 33554432000 4194304 16246674 140734377663040 140199206038768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16515/tid=16517] ppid=16512 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16517/stat : 16517 (toysat) S 16512 16515 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23024680 1363742720 274933 33554432000 4194304 16246674 140734377663040 140199195548912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16515/tid=16518] ppid=16512 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16518/stat : 16518 (toysat) S 16512 16515 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23024680 1363742720 274933 33554432000 4194304 16246674 140734377663040 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1331780

[startup+1602.3 s]
/proc/loadavg: 2.34 2.30 2.27 3/183 16609
/proc/meminfo: memFree=27387456/32872528 swapFree=1431120/1543540
[pid=16515] ppid=16512 vsize=1331780 CPUtime=1601.91 cores=0,2,4,6
/proc/16515/stat : 16515 (toysat) R 16512 16515 15180 0 -1 4202496 274374 0 0 0 160142 49 0 0 20 0 4 0 23024680 1363742720 274933 33554432000 4194304 16246674 140734377663040 140734377644928 5712628 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16515/statm: 332945 274933 898 2943 0 329839 0
[pid=16515/tid=16516] ppid=16512 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16516/stat : 16516 (toysat) S 16512 16515 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23024680 1363742720 274933 33554432000 4194304 16246674 140734377663040 140199206038768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16515/tid=16517] ppid=16512 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16517/stat : 16517 (toysat) S 16512 16515 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23024680 1363742720 274933 33554432000 4194304 16246674 140734377663040 140199195548912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16515/tid=16518] ppid=16512 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16518/stat : 16518 (toysat) S 16512 16515 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23024680 1363742720 274933 33554432000 4194304 16246674 140734377663040 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1331780

[startup+1662.3 s]
/proc/loadavg: 2.31 2.30 2.27 3/183 16610
/proc/meminfo: memFree=27343452/32872528 swapFree=1431120/1543540
[pid=16515] ppid=16512 vsize=1375812 CPUtime=1661.91 cores=0,2,4,6
/proc/16515/stat : 16515 (toysat) R 16512 16515 15180 0 -1 4202496 285400 0 0 0 166140 51 0 0 20 0 4 0 23024680 1408831488 285959 33554432000 4194304 16246674 140734377663040 140734377644928 5711980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16515/statm: 343953 285959 898 2943 0 340847 0
[pid=16515/tid=16516] ppid=16512 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16516/stat : 16516 (toysat) S 16512 16515 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23024680 1408831488 285959 33554432000 4194304 16246674 140734377663040 140199206038768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16515/tid=16517] ppid=16512 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16517/stat : 16517 (toysat) S 16512 16515 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23024680 1408831488 285959 33554432000 4194304 16246674 140734377663040 140199195548912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16515/tid=16518] ppid=16512 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16518/stat : 16518 (toysat) S 16512 16515 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23024680 1408831488 285959 33554432000 4194304 16246674 140734377663040 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1375812

[startup+1722.3 s]
/proc/loadavg: 2.23 2.27 2.26 4/183 16611
/proc/meminfo: memFree=27343124/32872528 swapFree=1431120/1543540
[pid=16515] ppid=16512 vsize=1375812 CPUtime=1721.9 cores=0,2,4,6
/proc/16515/stat : 16515 (toysat) R 16512 16515 15180 0 -1 4202496 285400 0 0 0 172139 51 0 0 20 0 4 0 23024680 1408831488 285959 33554432000 4194304 16246674 140734377663040 140734377644928 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16515/statm: 343953 285959 898 2943 0 340847 0
[pid=16515/tid=16516] ppid=16512 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16516/stat : 16516 (toysat) S 16512 16515 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23024680 1408831488 285959 33554432000 4194304 16246674 140734377663040 140199206038768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16515/tid=16517] ppid=16512 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16517/stat : 16517 (toysat) S 16512 16515 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23024680 1408831488 285959 33554432000 4194304 16246674 140734377663040 140199195548912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16515/tid=16518] ppid=16512 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16518/stat : 16518 (toysat) S 16512 16515 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23024680 1408831488 285959 33554432000 4194304 16246674 140734377663040 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1375812

[startup+1782.3 s]
/proc/loadavg: 2.14 2.24 2.25 3/183 16612
/proc/meminfo: memFree=27342660/32872528 swapFree=1431120/1543540
[pid=16515] ppid=16512 vsize=1375812 CPUtime=1781.89 cores=0,2,4,6
/proc/16515/stat : 16515 (toysat) R 16512 16515 15180 0 -1 4202496 285400 0 0 0 178138 51 0 0 20 0 4 0 23024680 1408831488 285959 33554432000 4194304 16246674 140734377663040 140734377644928 12483272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16515/statm: 343953 285959 898 2943 0 340847 0
[pid=16515/tid=16516] ppid=16512 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16516/stat : 16516 (toysat) S 16512 16515 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23024680 1408831488 285959 33554432000 4194304 16246674 140734377663040 140199206038768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16515/tid=16517] ppid=16512 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16517/stat : 16517 (toysat) S 16512 16515 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23024680 1408831488 285959 33554432000 4194304 16246674 140734377663040 140199195548912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16515/tid=16518] ppid=16512 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16518/stat : 16518 (toysat) S 16512 16515 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23024680 1408831488 285959 33554432000 4194304 16246674 140734377663040 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1375812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.19 2.24 2.25 3/183 16612
/proc/meminfo: memFree=27342888/32872528 swapFree=1431120/1543540
[pid=16515] ppid=16512 vsize=1375812 CPUtime=1800.08 cores=0,2,4,6
/proc/16515/stat : 16515 (toysat) R 16512 16515 15180 0 -1 4202496 285400 0 0 0 179957 51 0 0 20 0 4 0 23024680 1408831488 285959 33554432000 4194304 16246674 140734377663040 140734377644928 5827838 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16515/statm: 343953 285959 898 2943 0 340847 0
[pid=16515/tid=16516] ppid=16512 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16516/stat : 16516 (toysat) S 16512 16515 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23024680 1408831488 285959 33554432000 4194304 16246674 140734377663040 140199206038768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16515/tid=16517] ppid=16512 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16517/stat : 16517 (toysat) S 16512 16515 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23024680 1408831488 285959 33554432000 4194304 16246674 140734377663040 140199195548912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16515/tid=16518] ppid=16512 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16518/stat : 16518 (toysat) S 16512 16515 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23024680 1408831488 285959 33554432000 4194304 16246674 140734377663040 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1375812

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

[startup+1800.5 s]
/proc/loadavg: 2.19 2.24 2.25 3/183 16612
/proc/meminfo: memFree=27342888/32872528 swapFree=1431120/1543540
[pid=16515] ppid=16512 vsize=1375812 CPUtime=1800.08 cores=0,2,4,6
/proc/16515/stat : 16515 (toysat) R 16512 16515 15180 0 -1 4202496 285400 0 0 0 179957 51 0 0 20 0 4 0 23024680 1408831488 285959 33554432000 4194304 16246674 140734377663040 140734377644928 5827838 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16515/statm: 343953 285959 898 2943 0 340847 0
[pid=16515/tid=16516] ppid=16512 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16516/stat : 16516 (toysat) S 16512 16515 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23024680 1408831488 285959 33554432000 4194304 16246674 140734377663040 140199206038768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16515/tid=16517] ppid=16512 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16517/stat : 16517 (toysat) S 16512 16515 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23024680 1408831488 285959 33554432000 4194304 16246674 140734377663040 140199195548912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16515/tid=16518] ppid=16512 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/16515/task/16518/stat : 16518 (toysat) S 16512 16515 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23024680 1408831488 285959 33554432000 4194304 16246674 140734377663040 140199073934512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1375812

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1799.58
CPU system time (s): 0.513921
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 1375812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.513921
maximum resident set size= 1143836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285400
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= 268
involuntary context switches= 1966

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.63629 second user time and 6.85396 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-18 02:29:19
IDJOB=4100001
IDBENCH=1561
IDSOLVER=2542
FILE ID=node116/4100001-1466209759
RUNJOBID= node116-1466206094-15196
PBS_JOBID= 19918160
Free space on /tmp= 71620 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-ran8x32.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100001-1466209759/watcher-4100001-1466209759 -o /tmp/evaluation-result-4100001-1466209759/solver-4100001-1466209759 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15196 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100001-1466209759.opb

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

MD5SUM BENCH= 857268f55ca3006474c2fa40f262a214
RANDOM SEED=1649490919

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29387224 kB
Buffers:           42480 kB
Cached:           102732 kB
SwapCached:         2180 kB
Active:          1169848 kB
Inactive:          65652 kB
Active(anon):    1091184 kB
Inactive(anon):     1500 kB
Active(file):      78664 kB
Inactive(file):    64152 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099540 kB
Dirty:             16696 kB
Writeback:            52 kB
AnonPages:       2632908 kB
Mapped:            10732 kB
Shmem:                 0 kB
Slab:             572148 kB
SReclaimable:      16332 kB
SUnreclaim:       555816 kB
KernelStack:        1456 kB
PageTables:         9264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2775176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1196032 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= 71580 MiB
End job on node116 at 2016-06-18 02:59:20