Trace number 4116637

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size96-round22-9.opb
MD5SUM16a4f59e2b2123f7f2760440e462508a
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1305.04
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8672
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)384
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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-26T18:19:22+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-4116637-1466957962.opb"]
0.00/0.01	c use --random-gen="3483623648 3063364095 4126085510 2312923028 1523224168 46318304 3926631696 2616780542 2020338877 1308615744 2188240473 2611511799 3024541968 4150796041 4156132598 2838256050 2722296276 1370713292 1266413919 4190788348 4204233092 1189686699 696783399 295751286 3632205964 4010285451 1343132208 1029456995 1600071307 2650782967 4060020376 425450190 2414036336 2234800521 3141590639 1221993163 4118586129 4195793499 3051360405 813527155 3558453269 1755660206 2710908406 797786739 4000124232 129430840 4054492103 2471034839 2884820959 2613006936 815645253 4145044494 381782103 3697080858 30738574 760301530 3388406801 1786797932 2377603968 2995375293 7632324 2993230828 1503825306 3202224619 2880159556 2855273687 1642563026 3367530697 541954052 1785585136 1896463941 2985543967 2875401226 3397765604 1558040991 83011129 1436562124 1490784214 4095905989 2225045824 1151387909 3062171834 3548969230 599304998 1788240867 2121900408 1653005718 1875236783 1703796206 233449717 4105301181 2163890775 1400475431 603887532 3938601209 1397263519 1041500647 2671749464 1816494923 2274266510 1375664342 540299984 1611317226 3762676644 687973595 540165913 2740406988 2087412728 4024436277 1529481707 1055260198 1899626607 137619227 2301109933 354047776 2773611923 3611894097 2282404382 208830309 1042255940 856946043 4152494112 1684108671 2305772138 654765924 3507956803 3990420100 2419227135 3031007116 4028022731 1177803487 3567007234 920327476 3738099104 1224532507 204306308 1975458313 3558209924 2790927520 3001764688 960218288 3989528124 837374811 401683932 898705285 4227080070 720019162 1760712146 342414556 504752205 4275812981 1320718163 3447934513 2640680764 508711043 4180347904 2115629504 2627064639 3066835625 2132965610 797506847 362284751 3183646434 3319635715 3003881182 2782764136 2255881002 2763768931 1101034823 226509320 42395422 1774392846 2254117426 4179312048 3128427403 715075388 4108233380 2903762431 1449366325 1031568061 3335285567 1533821714 3342255733 4146201338 1501608642 1945157187 3972253104 600182834 3115644138 242092178 385851661 742290680 2279506874 858304753 1067510729 295921537 1889816472 2453719827 3886376571 2176742675 1404278246 1915566039 3438462592 2120584960 1057417677 3708546116 1885351961 912978659 2871043824 2769929569 4130262292 2451560453 3010322830 4031906142 2575299791 2353415022 692593743 948008784 500402591 3370392749 2873281321 997588677 145036455 4109976608 4186142741 1838036402 1888584834 2604729275 768383697 936947476 3398475354 3095424277 1319893812 4278789655 3031858138 1705979011 2965028094 62105670 4024565955 1846269299 3031112065 2020958828 711361678 2878851446 4293075727 1187495295 687181360 1515178113 948760487 709920286 2375720554 1326851457 2567485863 271215004 1780394343 4078629232 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8672
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     4234      0 |      623 |        0
0.29/0.35	c  0.1s |       1 |     2182 |      100 |     4234      0 |      625 |      386
0.49/0.51	c  0.3s |       2 |     4473 |      250 |     4658      0 |      625 |      386
0.58/0.68	c  0.4s |       3 |     6349 |      475 |     5124      0 |      625 |      386
0.89/0.91	c  0.7s |       4 |     9386 |      813 |     5637      0 |      625 |      386
1.39/1.47	c  1.2s |       5 |    10834 |     1320 |     6201      0 |      625 |      386
2.20/2.21	c  2.0s |       6 |    15335 |     2081 |     7505      0 |      625 |      386
3.09/3.12	c  2.9s |       7 |    21172 |     3223 |     8256      0 |      625 |      386
4.29/4.38	c  4.1s |       8 |    27297 |     4936 |     9082      0 |      625 |      386
6.39/6.48	c  6.2s |       8 |    37602 |     7236 |     9082      0 |      625 |      386
6.89/6.90	c  6.6s |       9 |    38063 |     7506 |     9991      0 |      625 |      386
8.99/9.01	c  8.8s |       9 |    45460 |     9206 |     9991      0 |      625 |      386
11.00/11.08	c 10.8s |       9 |    46538 |    10206 |     9991      0 |      625 |      386
13.09/13.17	c 12.9s |       9 |    47533 |    11106 |     9991      0 |      625 |      386
13.58/13.69	c 13.4s |      10 |    47844 |    11361 |    10991      0 |      625 |      386
15.68/15.78	c 15.5s |      10 |    56787 |    13261 |    10991      0 |      625 |      386
17.78/17.80	c 17.5s |      10 |    60437 |    14661 |    10991      1 |      625 |      386
19.79/19.90	c 19.6s |      10 |    61893 |    15861 |    10991      1 |      625 |      386
21.68/21.73	c 21.5s |      11 |    66120 |    17144 |    12091      1 |      625 |      386
23.68/23.74	c 23.5s |      11 |    70599 |    18844 |    12091      1 |      625 |      386
25.68/25.80	c 25.5s |      11 |    77373 |    20744 |    12091      2 |      625 |      386
27.78/27.87	c 27.6s |      11 |    86997 |    23144 |    12091      2 |      625 |      386
29.88/29.94	c 29.7s |      11 |    89408 |    24744 |    12091      2 |      625 |      386
31.48/31.53	c 31.3s |      12 |    90829 |    25819 |    13301      2 |      625 |      386
33.48/33.56	c 33.3s |      12 |    94318 |    27219 |    13301      2 |      625 |      386
35.68/35.75	c 35.5s |      12 |    95521 |    28319 |    13301      2 |      625 |      386
37.88/37.91	c 37.7s |      12 |    96597 |    29319 |    13301      2 |      625 |      386
40.18/40.22	c 40.0s |      12 |    97662 |    30319 |    13301      3 |      625 |      386
42.18/42.27	c 42.0s |      12 |    98635 |    31219 |    13301      3 |      625 |      386
44.29/44.33	c 44.1s |      12 |    99623 |    32119 |    13301      3 |      625 |      386
46.39/46.47	c 46.2s |      12 |   100828 |    33219 |    13301      3 |      625 |      386
48.50/48.55	c 48.3s |      12 |   101866 |    34219 |    13301      3 |      625 |      386
50.60/50.71	c 50.5s |      12 |   102817 |    35119 |    13301      3 |      625 |      386
52.80/52.87	c 52.6s |      12 |   103794 |    36019 |    13301      3 |      625 |      386
54.88/54.93	c 54.7s |      12 |   109355 |    37219 |    13301      4 |      625 |      386
56.88/56.97	c 56.7s |      12 |   111475 |    38719 |    14632      4 |      625 |      386
57.08/57.15	c 56.9s |      13 |   111602 |    38832 |    14632      4 |      625 |      386
59.28/59.30	c 59.0s |      13 |   119200 |    40832 |    14632      4 |      625 |      386
61.38/61.44	c 61.2s |      13 |   120784 |    42032 |    14632      4 |      625 |      386
63.38/63.47	c 63.2s |      13 |   121935 |    43032 |    14632      4 |      625 |      386
65.58/65.64	c 65.4s |      13 |   123086 |    44032 |    14632      4 |      625 |      386
67.68/67.77	c 67.5s |      13 |   124264 |    45032 |    14632      4 |      625 |      386
69.88/69.99	c 69.7s |      13 |   125269 |    45932 |    14632      4 |      625 |      386
71.98/72.04	c 71.8s |      13 |   126326 |    46832 |    14632      4 |      625 |      386
74.08/74.19	c 73.9s |      13 |   127092 |    47532 |    14632      5 |      625 |      386
76.18/76.24	c 76.0s |      13 |   128284 |    48432 |    14632      5 |      625 |      386
78.28/78.31	c 78.1s |      13 |   129780 |    49432 |    14632      5 |      625 |      386
80.29/80.37	c 80.1s |      13 |   130844 |    50332 |    14632      5 |      625 |      386
82.38/82.40	c 82.1s |      13 |   131788 |    51132 |    14632      5 |      625 |      386
84.38/84.46	c 84.2s |      13 |   132781 |    51932 |    14632      5 |      625 |      386
86.58/86.62	c 86.4s |      13 |   134332 |    52932 |    14632      5 |      625 |      386
88.78/88.83	c 88.6s |      13 |   135469 |    53732 |    14632      5 |      625 |      386
90.78/90.86	c 90.6s |      13 |   138215 |    54932 |    14632      5 |      625 |      386
92.78/92.87	c 92.6s |      13 |   140361 |    56032 |    14632      5 |      625 |      386
94.88/94.92	c 94.7s |      13 |   141171 |    56732 |    14632      6 |      625 |      386
96.89/96.95	c 96.7s |      13 |   142029 |    57532 |    14632      6 |      625 |      386
98.88/98.91	c 98.7s |      14 |   142984 |    58352 |    16096      6 |      625 |      386
100.87/100.93	c  100s |      14 |   151918 |    60752 |    16096      6 |      625 |      386
102.87/102.98	c  102s |      14 |   155090 |    62452 |    16096      6 |      625 |      386
104.97/105.08	c  104s |      14 |   167003 |    65052 |    16096      6 |      625 |      386
107.07/107.16	c  106s |      14 |   168894 |    66652 |    16096      6 |      625 |      386
109.07/109.16	c  108s |      14 |   170151 |    67752 |    16096      7 |      625 |      386
111.27/111.31	c  111s |      14 |   171758 |    69152 |    16096      7 |      625 |      386
113.38/113.42	c  113s |      14 |   173010 |    70252 |    16096      7 |      625 |      386
115.58/115.62	c  115s |      14 |   177814 |    71952 |    16096      7 |      625 |      386
117.57/117.68	c  117s |      14 |   179289 |    73152 |    16096      7 |      625 |      386
119.67/119.70	c  119s |      14 |   180597 |    74252 |    16096      7 |      625 |      386
121.77/121.87	c  121s |      14 |   181952 |    75452 |    16096      7 |      625 |      386
123.87/123.95	c  123s |      14 |   183285 |    76552 |    16096      8 |      625 |      386
125.97/126.02	c  125s |      14 |   184941 |    77952 |    16096      8 |      625 |      386
127.97/128.07	c  127s |      14 |   186526 |    79152 |    16096      8 |      625 |      386
129.97/130.08	c  129s |      14 |   187823 |    80252 |    16096      8 |      625 |      386
132.17/132.20	c  131s |      14 |   189261 |    81352 |    16096      8 |      625 |      386
134.37/134.40	c  134s |      14 |   190500 |    82352 |    16096      8 |      625 |      386
136.38/136.49	c  136s |      14 |   191435 |    83152 |    16096      8 |      625 |      386
138.58/138.64	c  138s |      14 |   192764 |    84152 |    16096      8 |      625 |      386
140.78/140.82	c  140s |      14 |   194296 |    85252 |    16096      8 |      625 |      386
142.77/142.87	c  142s |      14 |   195399 |    86152 |    16096      9 |      625 |      386
144.97/145.04	c  144s |      14 |   196722 |    87252 |    17706      9 |      625 |      386
145.66/145.77	c  145s |      15 |   197186 |    87632 |    17706      9 |      625 |      386
147.76/147.85	c  147s |      15 |   208631 |    90132 |    17706      9 |      625 |      386
149.86/149.90	c  149s |      15 |   210562 |    91532 |    17706      9 |      625 |      386
151.96/152.03	c  151s |      15 |   212381 |    92932 |    17706      9 |      625 |      386
153.97/154.03	c  153s |      15 |   213870 |    94132 |    17706      9 |      625 |      386
156.17/156.23	c  155s |      15 |   215467 |    95332 |    17706      9 |      625 |      386
158.16/158.26	c  158s |      15 |   216861 |    96432 |    17706      9 |      625 |      386
160.46/160.53	c  160s |      15 |   217845 |    97232 |    17706     10 |      625 |      386
162.56/162.64	c  162s |      15 |   219117 |    98232 |    17706     10 |      625 |      386
164.66/164.76	c  164s |      15 |   220271 |    99132 |    17706     10 |      625 |      386
166.76/166.83	c  166s |      15 |   221225 |    99932 |    17706     10 |      625 |      386
168.86/168.90	c  168s |      15 |   222212 |   100732 |    17706     10 |      625 |      386
170.96/171.02	c  170s |      15 |   223103 |   101432 |    17706     10 |      625 |      386
172.96/173.09	c  172s |      15 |   224040 |   102232 |    17706     10 |      625 |      386
175.16/175.21	c  174s |      15 |   225032 |   103032 |    17706     10 |      625 |      386
177.26/177.33	c  177s |      15 |   226507 |   103932 |    17706     10 |      625 |      386
179.46/179.52	c  179s |      15 |   227942 |   104932 |    17706     10 |      625 |      386
181.76/181.83	c  181s |      15 |   228785 |   105732 |    17706     10 |      625 |      386
183.86/183.91	c  183s |      15 |   229421 |   106332 |    17706     10 |      625 |      386
186.16/186.27	c  186s |      15 |   230206 |   107032 |    17706     10 |      625 |      386
188.56/188.63	c  188s |      15 |   230905 |   107632 |    17706     11 |      625 |      386
190.86/190.95	c  190s |      15 |   231799 |   108432 |    17706     11 |      625 |      386
193.16/193.21	c  192s |      15 |   232745 |   109232 |    17706     11 |      625 |      386
195.26/195.30	c  195s |      15 |   233847 |   110032 |    17706     11 |      625 |      386
197.26/197.40	c  197s |      15 |   235767 |   111332 |    17706     11 |      625 |      386
199.46/199.57	c  199s |      15 |   236895 |   112232 |    17706     11 |      625 |      386
201.66/201.75	c  201s |      15 |   238135 |   113232 |    17706     11 |      625 |      386
203.66/203.78	c  203s |      15 |   239416 |   114232 |    17706     11 |      625 |      386
205.77/205.82	c  205s |      15 |   240618 |   115132 |    17706     11 |      625 |      386
207.76/207.84	c  207s |      15 |   241611 |   115932 |    17706     11 |      625 |      386
209.86/209.99	c  209s |      15 |   242794 |   116832 |    17706     11 |      625 |      386
212.27/212.35	c  212s |      15 |   243749 |   117632 |    17706     11 |      625 |      386
214.36/214.46	c  214s |      15 |   244674 |   118332 |    17706     12 |      625 |      386
216.46/216.51	c  216s |      15 |   245674 |   119132 |    17706     12 |      625 |      386
218.56/218.66	c  218s |      15 |   246806 |   120032 |    17706     12 |      625 |      386
220.86/220.91	c  220s |      15 |   247790 |   120832 |    17706     12 |      625 |      386
223.06/223.16	c  222s |      15 |   248776 |   121632 |    17706     12 |      625 |      386
225.26/225.31	c  225s |      15 |   249632 |   122332 |    17706     12 |      625 |      386
227.56/227.62	c  227s |      15 |   250437 |   123032 |    17706     12 |      625 |      386
229.76/229.81	c  229s |      15 |   251294 |   123732 |    17706     12 |      625 |      386
231.76/231.87	c  231s |      15 |   252158 |   124432 |    17706     12 |      625 |      386
234.05/234.13	c  233s |      15 |   253180 |   125232 |    17706     12 |      625 |      386
236.15/236.24	c  235s |      15 |   254038 |   125932 |    17706     12 |      625 |      386
238.15/238.25	c  237s |      15 |   254796 |   126532 |    17706     12 |      625 |      386
240.25/240.31	c  240s |      15 |   255509 |   127132 |    17706     12 |      625 |      386
242.35/242.40	c  242s |      15 |   256198 |   127732 |    17706     12 |      625 |      386
244.55/244.66	c  244s |      15 |   256914 |   128332 |    17706     12 |      625 |      386
246.85/246.93	c  246s |      15 |   257623 |   128932 |    17706     13 |      625 |      386
248.85/248.98	c  248s |      15 |   258490 |   129632 |    17706     13 |      625 |      386
251.25/251.30	c  251s |      15 |   259433 |   130432 |    17706     13 |      625 |      386
253.25/253.32	c  253s |      15 |   260446 |   131132 |    19477     13 |      625 |      386
254.16/254.29	c  254s |      16 |   261203 |   131552 |    19477     13 |      625 |      386
256.26/256.35	c  256s |      16 |   267449 |   133752 |    19477     13 |      625 |      386
258.25/258.36	c  258s |      16 |   270663 |   135652 |    19477     13 |      625 |      386
260.25/260.36	c  260s |      16 |   272303 |   136952 |    19477     13 |      625 |      386
262.35/262.46	c  262s |      16 |   273816 |   138152 |    19477     13 |      625 |      386
264.54/264.61	c  264s |      16 |   275440 |   139352 |    19477     13 |      625 |      386
266.64/266.70	c  266s |      16 |   276721 |   140352 |    19477     13 |      625 |      386
268.84/268.90	c  268s |      16 |   277727 |   141152 |    19477     14 |      625 |      386
270.94/271.05	c  270s |      16 |   278956 |   142152 |    19477     14 |      625 |      386
273.04/273.13	c  272s |      16 |   279921 |   142952 |    19477     14 |      625 |      386
275.24/275.36	c  275s |      16 |   280861 |   143752 |    19477     14 |      625 |      386
277.54/277.64	c  277s |      16 |   281807 |   144552 |    19477     14 |      625 |      386
279.74/279.82	c  279s |      16 |   282468 |   145152 |    19477     14 |      625 |      386
281.74/281.84	c  281s |      16 |   283288 |   145852 |    19477     14 |      625 |      386
284.04/284.11	c  283s |      16 |   284114 |   146552 |    19477     14 |      625 |      386
286.05/286.15	c  285s |      16 |   284909 |   147252 |    19477     14 |      625 |      386
288.15/288.29	c  288s |      16 |   285716 |   147952 |    19477     14 |      625 |      386
290.23/290.35	c  290s |      16 |   286377 |   148552 |    19477     14 |      625 |      386
292.54/292.65	c  292s |      16 |   287197 |   149252 |    19477     14 |      625 |      386
294.63/294.74	c  294s |      16 |   287899 |   149852 |    19477     14 |      625 |      386
296.83/296.91	c  296s |      16 |   288720 |   150552 |    19477     14 |      625 |      386
298.93/299.00	c  298s |      16 |   289438 |   151152 |    19477     14 |      625 |      386
301.13/301.23	c  300s |      16 |   290233 |   151852 |    19477     14 |      625 |      386
303.13/303.29	c  303s |      16 |   290816 |   152352 |    19477     15 |      625 |      386
305.33/305.49	c  305s |      16 |   291690 |   153052 |    19477     15 |      625 |      386
307.54/307.68	c  307s |      16 |   292543 |   153752 |    19477     15 |      625 |      386
309.74/309.85	c  309s |      16 |   293347 |   154452 |    19477     15 |      625 |      386
311.74/311.86	c  311s |      16 |   294051 |   155052 |    19477     15 |      625 |      386
313.83/313.99	c  313s |      16 |   294741 |   155652 |    19477     15 |      625 |      386
316.03/316.17	c  315s |      16 |   295438 |   156252 |    19477     15 |      625 |      386
318.13/318.25	c  317s |      16 |   296128 |   156852 |    19477     15 |      625 |      386
320.14/320.28	c  320s |      16 |   296826 |   157452 |    19477     15 |      625 |      386
322.53/322.63	c  322s |      16 |   297520 |   158052 |    19477     15 |      625 |      386
324.93/325.07	c  324s |      16 |   298170 |   158652 |    19477     15 |      625 |      386
327.33/327.41	c  327s |      16 |   298853 |   159252 |    19477     15 |      625 |      386
329.73/329.88	c  329s |      16 |   299518 |   159852 |    19477     15 |      625 |      386
331.83/331.94	c  331s |      16 |   300062 |   160352 |    19477     15 |      625 |      386
333.82/333.94	c  333s |      16 |   300623 |   160852 |    19477     15 |      625 |      386
335.92/336.01	c  335s |      16 |   301199 |   161352 |    19477     15 |      625 |      386
338.03/338.11	c  337s |      16 |   301787 |   161852 |    19477     15 |      625 |      386
340.23/340.36	c  340s |      16 |   302531 |   162452 |    19477     15 |      625 |      386
342.53/342.61	c  342s |      16 |   303230 |   163052 |    19477     15 |      625 |      386
344.53/344.69	c  344s |      16 |   303815 |   163552 |    19477     16 |      625 |      386
346.73/346.83	c  346s |      16 |   304627 |   164252 |    19477     16 |      625 |      386
348.83/348.99	c  348s |      16 |   305427 |   164952 |    19477     16 |      625 |      386
351.12/351.29	c  351s |      16 |   306251 |   165652 |    19477     16 |      625 |      386
353.42/353.55	c  353s |      16 |   307026 |   166352 |    19477     16 |      625 |      386
355.42/355.59	c  355s |      16 |   307710 |   166952 |    19477     16 |      625 |      386
357.53/357.66	c  357s |      16 |   308406 |   167552 |    19477     16 |      625 |      386
359.82/359.96	c  359s |      16 |   309079 |   168152 |    19477     16 |      625 |      386
361.92/362.09	c  361s |      16 |   309780 |   168752 |    19477     16 |      625 |      386
364.02/364.11	c  363s |      16 |   310460 |   169352 |    19477     16 |      625 |      386
366.11/366.29	c  366s |      16 |   311149 |   169952 |    19477     16 |      625 |      386
368.42/368.52	c  368s |      16 |   311824 |   170552 |    19477     16 |      625 |      386
370.51/370.67	c  370s |      16 |   312384 |   171052 |    19477     16 |      625 |      386
372.61/372.80	c  372s |      16 |   312956 |   171552 |    19477     16 |      625 |      386
375.02/375.15	c  374s |      16 |   313639 |   172152 |    19477     16 |      625 |      386
377.12/377.26	c  377s |      16 |   314192 |   172652 |    19477     16 |      625 |      386
379.22/379.33	c  379s |      16 |   314757 |   173152 |    19477     16 |      625 |      386
381.51/381.66	c  381s |      16 |   315443 |   173752 |    19477     16 |      625 |      386
383.92/384.03	c  383s |      16 |   315982 |   174252 |    19477     16 |      625 |      386
386.21/386.35	c  386s |      16 |   316436 |   174652 |    19477     17 |      625 |      386
388.51/388.63	c  388s |      16 |   317115 |   175252 |    19477     17 |      625 |      386
390.52/390.65	c  390s |      16 |   317783 |   175852 |    19477     17 |      625 |      386
392.72/392.88	c  392s |      16 |   318460 |   176452 |    19477     17 |      625 |      386
394.92/395.06	c  394s |      16 |   319149 |   177052 |    19477     17 |      625 |      386
396.91/397.10	c  396s |      16 |   319847 |   177652 |    19477     17 |      625 |      386
399.11/399.24	c  398s |      16 |   320558 |   178252 |    19477     17 |      625 |      386
401.30/401.45	c  401s |      16 |   321255 |   178852 |    19477     17 |      625 |      386
403.50/403.65	c  403s |      16 |   321930 |   179452 |    19477     17 |      625 |      386
405.81/405.93	c  405s |      16 |   322916 |   180252 |    19477     17 |      625 |      386
407.90/408.05	c  407s |      16 |   323719 |   180952 |    19477     17 |      625 |      386
410.10/410.26	c  410s |      16 |   324575 |   181652 |    19477     17 |      625 |      386
412.20/412.30	c  412s |      16 |   325250 |   182252 |    19477     17 |      625 |      386
414.40/414.51	c  414s |      16 |   325826 |   182752 |    19477     17 |      625 |      386
416.70/416.81	c  416s |      16 |   326499 |   183352 |    19477     17 |      625 |      386
418.70/418.87	c  418s |      16 |   327078 |   183852 |    19477     17 |      625 |      386
420.70/420.87	c  420s |      16 |   327637 |   184352 |    19477     17 |      625 |      386
423.00/423.15	c  422s |      16 |   328338 |   184952 |    19477     17 |      625 |      386
425.40/425.55	c  425s |      16 |   329001 |   185552 |    19477     17 |      625 |      386
427.59/427.77	c  427s |      16 |   329580 |   186052 |    19477     18 |      625 |      386
429.79/429.93	c  429s |      16 |   330390 |   186752 |    19477     18 |      625 |      386
432.09/432.25	c  431s |      16 |   331201 |   187452 |    19477     18 |      625 |      386
434.40/434.53	c  434s |      16 |   331860 |   188052 |    19477     18 |      625 |      386
436.49/436.69	c  436s |      16 |   332526 |   188652 |    19477     18 |      625 |      386
438.69/438.85	c  438s |      16 |   333186 |   189252 |    19477     18 |      625 |      386
440.89/441.08	c  440s |      16 |   333850 |   189852 |    19477     18 |      625 |      386
443.09/443.28	c  443s |      16 |   334660 |   190552 |    19477     18 |      625 |      386
445.19/445.34	c  445s |      16 |   335358 |   191152 |    19477     18 |      625 |      386
447.39/447.58	c  447s |      16 |   336020 |   191752 |    19477     18 |      625 |      386
449.68/449.81	c  449s |      16 |   336689 |   192352 |    19477     18 |      625 |      386
451.88/452.07	c  451s |      16 |   337460 |   193052 |    19477     18 |      625 |      386
453.88/454.09	c  453s |      16 |   338140 |   193652 |    19477     18 |      625 |      386
455.98/456.14	c  455s |      16 |   338691 |   194152 |    19477     18 |      625 |      386
458.29/458.45	c  458s |      16 |   339369 |   194752 |    19477     18 |      625 |      386
460.29/460.47	c  460s |      16 |   339921 |   195252 |    19477     18 |      625 |      386
462.39/462.50	c  462s |      16 |   340477 |   195752 |    19477     18 |      625 |      386
464.59/464.70	c  464s |      16 |   341017 |   196252 |    21425     18 |      625 |      386
466.59/466.73	c  466s |      16 |   341624 |   196752 |    21425     18 |      625 |      386
468.89/469.06	c  468s |      16 |   342308 |   197352 |    21425     18 |      625 |      386
469.29/469.45	c  469s |      17 |   342397 |   197432 |    21425     18 |      625 |      386
471.28/471.49	c  471s |      17 |   346653 |   198432 |    21425     19 |      625 |      386
473.48/473.60	c  473s |      17 |   348526 |   200032 |    21425     19 |      625 |      386
475.58/475.73	c  475s |      17 |   349846 |   201232 |    21425     19 |      625 |      386
477.68/477.84	c  477s |      17 |   351206 |   202432 |    21425     19 |      625 |      386
479.88/480.04	c  479s |      17 |   352422 |   203532 |    21425     19 |      625 |      386
481.87/482.09	c  481s |      17 |   353605 |   204532 |    21425     19 |      625 |      386
483.88/484.10	c  483s |      17 |   354694 |   205532 |    21425     19 |      625 |      386
486.08/486.23	c  485s |      17 |   355828 |   206532 |    21425     19 |      625 |      386
488.17/488.33	c  488s |      17 |   358304 |   208132 |    21425     19 |      625 |      386
490.27/490.47	c  490s |      17 |   361004 |   209732 |    21425     19 |      625 |      386
492.37/492.58	c  492s |      17 |   362139 |   210732 |    21425     20 |      625 |      386
494.47/494.60	c  494s |      17 |   363341 |   211832 |    21425     20 |      625 |      386
496.57/496.78	c  496s |      17 |   364530 |   212932 |    21425     20 |      625 |      386
498.67/498.81	c  498s |      17 |   365592 |   213932 |    21425     20 |      625 |      386
500.66/500.82	c  500s |      17 |   366579 |   214832 |    21425     20 |      625 |      386
502.86/503.03	c  502s |      17 |   367544 |   215732 |    21425     20 |      625 |      386
504.87/505.08	c  504s |      17 |   368513 |   216632 |    21425     20 |      625 |      386
506.86/507.09	c  506s |      17 |   369354 |   217432 |    21425     20 |      625 |      386
508.96/509.13	c  508s |      17 |   370218 |   218232 |    21425     20 |      625 |      386
511.26/511.42	c  511s |      17 |   371084 |   219032 |    21425     20 |      625 |      386
513.57/513.71	c  513s |      17 |   372108 |   219932 |    21425     20 |      625 |      386
515.77/515.91	c  515s |      17 |   372990 |   220732 |    21425     20 |      625 |      386
517.86/518.10	c  517s |      17 |   373758 |   221432 |    21425     20 |      625 |      386
520.06/520.26	c  520s |      17 |   374520 |   222132 |    21425     20 |      625 |      386
522.25/522.41	c  522s |      17 |   375143 |   222732 |    21425     21 |      625 |      386
524.35/524.51	c  524s |      17 |   376004 |   223532 |    21425     21 |      625 |      386
526.65/526.82	c  526s |      17 |   376887 |   224332 |    21425     21 |      625 |      386
528.65/528.86	c  528s |      17 |   377625 |   225032 |    21425     21 |      625 |      386
530.95/531.13	c  530s |      17 |   378377 |   225732 |    21425     21 |      625 |      386
533.05/533.27	c  533s |      17 |   379120 |   226432 |    21425     21 |      625 |      386
535.14/535.39	c  535s |      17 |   379861 |   227132 |    21425     21 |      625 |      386
537.34/537.54	c  537s |      17 |   380759 |   227932 |    21425     21 |      625 |      386
539.54/539.74	c  539s |      17 |   381635 |   228732 |    21425     21 |      625 |      386
541.74/541.91	c  541s |      17 |   382726 |   229532 |    21425     21 |      625 |      386
543.84/544.05	c  543s |      17 |   383686 |   230332 |    21425     21 |      625 |      386
546.04/546.23	c  545s |      17 |   384467 |   231032 |    21425     21 |      625 |      386
548.14/548.34	c  548s |      17 |   385478 |   231832 |    21425     21 |      625 |      386
550.34/550.56	c  550s |      17 |   386522 |   232632 |    21425     21 |      625 |      386
552.34/552.58	c  552s |      17 |   387389 |   233332 |    21425     21 |      625 |      386
554.44/554.67	c  554s |      17 |   388215 |   234032 |    21425     21 |      625 |      386
556.74/556.93	c  556s |      17 |   389037 |   234732 |    21425     21 |      625 |      386
558.75/558.94	c  558s |      17 |   389571 |   235232 |    21425     22 |      625 |      386
560.84/561.03	c  560s |      17 |   390481 |   236032 |    21425     22 |      625 |      386
562.93/563.17	c  562s |      17 |   393388 |   236932 |    21425     22 |      625 |      386
565.03/565.21	c  564s |      17 |   397619 |   238332 |    21425     22 |      625 |      386
567.23/567.46	c  567s |      17 |   398913 |   239432 |    21425     22 |      625 |      386
569.33/569.54	c  569s |      17 |   399895 |   240332 |    21425     22 |      625 |      386
571.53/571.76	c  571s |      17 |   400891 |   241232 |    21425     22 |      625 |      386
573.63/573.83	c  573s |      17 |   401648 |   241932 |    21425     22 |      625 |      386
575.63/575.89	c  575s |      17 |   402572 |   242732 |    21425     22 |      625 |      386
577.93/578.17	c  577s |      17 |   403487 |   243532 |    21425     22 |      625 |      386
580.03/580.22	c  579s |      17 |   404393 |   244332 |    21425     22 |      625 |      386
582.13/582.30	c  582s |      17 |   405176 |   245032 |    21425     22 |      625 |      386
584.23/584.45	c  584s |      17 |   405960 |   245732 |    21425     22 |      625 |      386
586.24/586.49	c  586s |      17 |   406772 |   246432 |    21425     22 |      625 |      386
588.22/588.50	c  588s |      17 |   407432 |   247032 |    21425     22 |      625 |      386
590.42/590.63	c  590s |      17 |   407962 |   247532 |    21425     23 |      625 |      386
592.52/592.76	c  592s |      17 |   408836 |   248332 |    21425     23 |      625 |      386
594.82/595.04	c  594s |      17 |   409698 |   249132 |    21425     23 |      625 |      386
597.02/597.26	c  597s |      17 |   410465 |   249832 |    21425     23 |      625 |      386
599.12/599.39	c  599s |      17 |   411219 |   250532 |    21425     23 |      625 |      386
601.21/601.49	c  601s |      17 |   411971 |   251232 |    21425     23 |      625 |      386
603.31/603.56	c  603s |      17 |   412623 |   251832 |    21425     23 |      625 |      386
605.61/605.80	c  605s |      17 |   413389 |   252532 |    21425     23 |      625 |      386
607.81/608.06	c  607s |      17 |   414148 |   253232 |    21425     23 |      625 |      386
609.91/610.15	c  609s |      17 |   414800 |   253832 |    21425     23 |      625 |      386
612.21/612.48	c  612s |      17 |   415570 |   254532 |    21425     23 |      625 |      386
614.41/614.64	c  614s |      17 |   416216 |   255132 |    21425     23 |      625 |      386
616.61/616.86	c  616s |      17 |   416838 |   255732 |    21425     23 |      625 |      386
618.71/618.97	c  618s |      17 |   417501 |   256332 |    21425     23 |      625 |      386
620.80/621.04	c  620s |      17 |   418026 |   256832 |    21425     23 |      625 |      386
622.80/623.07	c  622s |      17 |   418583 |   257332 |    21425     23 |      625 |      386
625.20/625.40	c  625s |      17 |   419225 |   257932 |    21425     23 |      625 |      386
627.20/627.43	c  627s |      17 |   419760 |   258432 |    21425     23 |      625 |      386
629.40/629.63	c  629s |      17 |   420300 |   258932 |    21425     23 |      625 |      386
631.79/632.04	c  631s |      17 |   420844 |   259432 |    21425     23 |      625 |      386
633.89/634.19	c  633s |      17 |   421268 |   259832 |    21425     24 |      625 |      386
635.99/636.20	c  635s |      17 |   421924 |   260432 |    21425     24 |      625 |      386
638.09/638.36	c  638s |      17 |   422679 |   261132 |    21425     24 |      625 |      386
640.10/640.39	c  640s |      17 |   423321 |   261732 |    21425     24 |      625 |      386
642.38/642.65	c  642s |      17 |   424075 |   262432 |    21425     24 |      625 |      386
644.49/644.73	c  644s |      17 |   424934 |   263132 |    21425     24 |      625 |      386
646.59/646.82	c  646s |      17 |   425967 |   264032 |    21425     24 |      625 |      386
648.79/649.01	c  648s |      17 |   427102 |   265032 |    21425     24 |      625 |      386
650.99/651.25	c  651s |      17 |   427988 |   265832 |    21425     24 |      625 |      386
653.07/653.34	c  653s |      17 |   428760 |   266532 |    21425     24 |      625 |      386
655.27/655.52	c  655s |      17 |   429502 |   267232 |    21425     24 |      625 |      386
657.27/657.53	c  657s |      17 |   430164 |   267832 |    21425     24 |      625 |      386
659.37/659.62	c  659s |      17 |   430833 |   268432 |    21425     24 |      625 |      386
661.37/661.68	c  661s |      17 |   431471 |   269032 |    21425     24 |      625 |      386
663.57/663.84	c  663s |      17 |   432222 |   269732 |    21425     24 |      625 |      386
665.57/665.89	c  665s |      17 |   432883 |   270332 |    21425     24 |      625 |      386
667.97/668.28	c  668s |      17 |   433639 |   271032 |    21425     24 |      625 |      386
670.07/670.33	c  670s |      17 |   434290 |   271632 |    21425     24 |      625 |      386
672.66/672.96	c  672s |      17 |   435066 |   272332 |    21425     25 |      625 |      386
674.76/675.01	c  674s |      17 |   435831 |   273032 |    21425     25 |      625 |      386
676.86/677.11	c  676s |      17 |   436565 |   273732 |    21425     25 |      625 |      386
679.06/679.36	c  679s |      17 |   437322 |   274432 |    21425     25 |      625 |      386
681.45/681.71	c  681s |      17 |   438100 |   275132 |    21425     25 |      625 |      386
683.75/684.02	c  683s |      17 |   438853 |   275832 |    21425     25 |      625 |      386
685.85/686.15	c  685s |      17 |   439619 |   276532 |    21425     25 |      625 |      386
687.95/688.24	c  687s |      17 |   440398 |   277232 |    21425     25 |      625 |      386
690.05/690.33	c  690s |      17 |   441169 |   277932 |    21425     25 |      625 |      386
692.24/692.53	c  692s |      17 |   441942 |   278632 |    21425     25 |      625 |      386
694.34/694.69	c  694s |      17 |   442568 |   279232 |    21425     25 |      625 |      386
696.54/696.81	c  696s |      17 |   443208 |   279832 |    21425     25 |      625 |      386
698.84/699.15	c  698s |      17 |   443974 |   280532 |    21425     25 |      625 |      386
701.04/701.35	c  701s |      17 |   444645 |   281132 |    21425     25 |      625 |      386
703.44/703.71	c  703s |      17 |   445281 |   281732 |    21425     25 |      625 |      386
705.44/705.78	c  705s |      17 |   445809 |   282232 |    21425     25 |      625 |      386
707.54/707.86	c  707s |      17 |   446347 |   282732 |    21425     25 |      625 |      386
710.04/710.34	c  710s |      17 |   447015 |   283332 |    21425     25 |      625 |      386
712.14/712.45	c  712s |      17 |   447578 |   283832 |    21425     25 |      625 |      386
714.34/714.65	c  714s |      17 |   448239 |   284432 |    21425     25 |      625 |      386
716.54/716.89	c  716s |      17 |   448770 |   284932 |    21425     26 |      625 |      386
718.63/719.00	c  718s |      17 |   449405 |   285532 |    21425     26 |      625 |      386
720.83/721.17	c  720s |      17 |   450152 |   286232 |    21425     26 |      625 |      386
723.13/723.42	c  723s |      17 |   450893 |   286932 |    21425     26 |      625 |      386
725.23/725.51	c  725s |      17 |   451532 |   287532 |    21425     26 |      625 |      386
727.33/727.65	c  727s |      17 |   452322 |   288232 |    21425     26 |      625 |      386
729.43/729.77	c  729s |      17 |   453189 |   289032 |    21425     26 |      625 |      386
731.52/731.85	c  731s |      17 |   454064 |   289832 |    21425     26 |      625 |      386
733.62/733.98	c  733s |      17 |   454924 |   290632 |    21425     26 |      625 |      386
735.63/735.98	c  735s |      17 |   455667 |   291332 |    21425     26 |      625 |      386
737.93/738.28	c  738s |      17 |   456531 |   292132 |    21425     26 |      625 |      386
740.13/740.43	c  740s |      17 |   457550 |   293032 |    21425     26 |      625 |      386
742.11/742.44	c  742s |      17 |   458557 |   293932 |    21425     26 |      625 |      386
744.21/744.50	c  744s |      17 |   459528 |   294832 |    23568     26 |      625 |      386
746.31/746.63	c  746s |      17 |   460512 |   295732 |    23568     26 |      625 |      386
747.72/748.03	c  747s |      18 |   461068 |   296252 |    23568     26 |      625 |      386
749.71/750.06	c  749s |      18 |   465979 |   298052 |    23568     26 |      625 |      386
751.80/752.10	c  751s |      18 |   467795 |   299352 |    23568     27 |      625 |      386
753.80/754.15	c  753s |      18 |   472034 |   301052 |    23568     27 |      625 |      386
755.90/756.22	c  755s |      18 |   473664 |   302152 |    23568     27 |      625 |      386
758.10/758.43	c  758s |      18 |   475058 |   303252 |    23568     27 |      625 |      386
760.10/760.47	c  760s |      18 |   477071 |   304552 |    23568     27 |      625 |      386
762.20/762.52	c  762s |      18 |   478644 |   305552 |    23568     27 |      625 |      386
764.39/764.73	c  764s |      18 |   480247 |   306752 |    23568     27 |      625 |      386
766.50/766.86	c  766s |      18 |   481430 |   307652 |    23568     27 |      625 |      386
768.49/768.89	c  768s |      18 |   482632 |   308552 |    23568     27 |      625 |      386
770.59/770.92	c  770s |      18 |   483693 |   309352 |    23568     27 |      625 |      386
772.59/772.98	c  772s |      18 |   484597 |   310052 |    23568     27 |      625 |      386
774.68/775.03	c  774s |      18 |   485530 |   310752 |    23568     27 |      625 |      386
776.68/777.05	c  776s |      18 |   486580 |   311552 |    23568     27 |      625 |      386
778.79/779.10	c  778s |      18 |   487551 |   312252 |    23568     28 |      625 |      386
780.79/781.13	c  780s |      18 |   488452 |   312952 |    23568     28 |      625 |      386
782.89/783.25	c  782s |      18 |   489297 |   313652 |    23568     28 |      625 |      386
785.19/785.51	c  785s |      18 |   490110 |   314352 |    23568     28 |      625 |      386
787.39/787.77	c  787s |      18 |   490800 |   314952 |    23568     28 |      625 |      386
789.59/789.91	c  789s |      18 |   491692 |   315652 |    23568     28 |      625 |      386
791.87/792.26	c  792s |      18 |   492828 |   316452 |    23568     28 |      625 |      386
793.98/794.39	c  794s |      18 |   493674 |   317152 |    23568     28 |      625 |      386
796.08/796.48	c  796s |      18 |   494482 |   317852 |    23568     28 |      625 |      386
798.17/798.52	c  798s |      18 |   495275 |   318552 |    23568     28 |      625 |      386
800.48/800.88	c  800s |      18 |   496077 |   319252 |    23568     28 |      625 |      386
802.68/803.09	c  802s |      18 |   496783 |   319852 |    23568     28 |      625 |      386
805.16/805.51	c  805s |      18 |   497579 |   320552 |    23568     28 |      625 |      386
807.36/807.70	c  807s |      18 |   498311 |   321152 |    23568     28 |      625 |      386
809.46/809.88	c  809s |      18 |   499012 |   321752 |    23568     28 |      625 |      386
811.47/811.90	c  811s |      18 |   499564 |   322252 |    23568     28 |      625 |      386
813.77/814.12	c  813s |      18 |   500146 |   322752 |    23568     28 |      625 |      386
816.06/816.43	c  816s |      18 |   500854 |   323352 |    23568     28 |      625 |      386
818.06/818.48	c  818s |      18 |   501406 |   323852 |    23568     28 |      625 |      386
820.26/820.68	c  820s |      18 |   501967 |   324352 |    23568     28 |      625 |      386
822.66/823.00	c  822s |      18 |   502540 |   324852 |    23568     28 |      625 |      386
824.85/825.21	c  824s |      18 |   503104 |   325352 |    23568     28 |      625 |      386
826.86/827.28	c  827s |      18 |   503549 |   325752 |    23568     29 |      625 |      386
829.25/829.66	c  829s |      18 |   504202 |   326352 |    23568     29 |      625 |      386
831.55/831.91	c  831s |      18 |   504868 |   326952 |    23568     29 |      625 |      386
833.56/833.95	c  833s |      18 |   505468 |   327452 |    23568     29 |      625 |      386
835.66/836.07	c  835s |      18 |   506169 |   328052 |    23568     29 |      625 |      386
837.96/838.39	c  838s |      18 |   506826 |   328652 |    23568     29 |      625 |      386
839.94/840.40	c  840s |      18 |   507397 |   329152 |    23568     29 |      625 |      386
842.04/842.48	c  842s |      18 |   508099 |   329752 |    23568     29 |      625 |      386
844.24/844.66	c  844s |      18 |   508797 |   330352 |    23568     29 |      625 |      386
846.44/846.87	c  846s |      18 |   509485 |   330952 |    23568     29 |      625 |      386
848.64/849.06	c  848s |      18 |   510165 |   331552 |    23568     29 |      625 |      386
851.04/851.41	c  851s |      18 |   510973 |   332252 |    23568     29 |      625 |      386
853.43/853.82	c  853s |      18 |   511682 |   332852 |    23568     29 |      625 |      386
855.63/856.00	c  855s |      18 |   512419 |   333452 |    23568     29 |      625 |      386
857.93/858.37	c  858s |      18 |   513111 |   334052 |    23568     29 |      625 |      386
860.13/860.55	c  860s |      18 |   513904 |   334652 |    23568     29 |      625 |      386
862.32/862.75	c  862s |      18 |   514666 |   335252 |    23568     29 |      625 |      386
864.52/864.90	c  864s |      18 |   515249 |   335752 |    23568     29 |      625 |      386
866.53/866.97	c  866s |      18 |   515839 |   336252 |    23568     29 |      625 |      386
868.82/869.26	c  869s |      18 |   516387 |   336752 |    23568     29 |      625 |      386
870.93/871.39	c  871s |      18 |   517042 |   337252 |    23568     29 |      625 |      386
873.31/873.75	c  873s |      18 |   517627 |   337752 |    23568     29 |      625 |      386
875.51/875.93	c  875s |      18 |   518187 |   338252 |    23568     29 |      625 |      386
877.81/878.26	c  878s |      18 |   518759 |   338752 |    23568     29 |      625 |      386
880.21/880.69	c  880s |      18 |   519383 |   339252 |    23568     30 |      625 |      386
882.31/882.77	c  882s |      18 |   520417 |   340052 |    23568     30 |      625 |      386
884.41/884.82	c  884s |      18 |   521155 |   340652 |    23568     30 |      625 |      386
886.61/887.08	c  886s |      18 |   521703 |   341152 |    23568     30 |      625 |      386
888.91/889.30	c  889s |      18 |   522442 |   341752 |    23568     30 |      625 |      386
891.21/891.64	c  891s |      18 |   522992 |   342252 |    23568     30 |      625 |      386
893.31/893.80	c  893s |      18 |   523659 |   342852 |    23568     30 |      625 |      386
895.71/896.11	c  895s |      18 |   524196 |   343352 |    23568     30 |      625 |      386
897.81/898.26	c  898s |      18 |   525146 |   344052 |    23568     30 |      625 |      386
899.91/900.35	c  900s |      18 |   526204 |   344852 |    23568     30 |      625 |      386
902.00/902.46	c  902s |      18 |   527245 |   345652 |    23568     30 |      625 |      386
904.20/904.63	c  904s |      18 |   528183 |   346352 |    23568     30 |      625 |      386
906.50/906.90	c  906s |      18 |   529092 |   347052 |    23568     30 |      625 |      386
908.50/908.92	c  908s |      18 |   529843 |   347652 |    23568     30 |      625 |      386
910.60/911.08	c  910s |      18 |   530563 |   348252 |    23568     30 |      625 |      386
912.90/913.32	c  913s |      18 |   531556 |   349052 |    23568     30 |      625 |      386
915.00/915.49	c  915s |      18 |   532255 |   349652 |    23568     30 |      625 |      386
917.20/917.67	c  917s |      18 |   532944 |   350252 |    23568     30 |      625 |      386
919.40/919.85	c  919s |      18 |   533532 |   350752 |    23568     30 |      625 |      386
921.41/921.86	c  921s |      18 |   534120 |   351252 |    23568     30 |      625 |      386
923.71/924.18	c  923s |      18 |   534670 |   351752 |    23568     30 |      625 |      386
926.20/926.68	c  926s |      18 |   535281 |   352252 |    23568     31 |      625 |      386
928.50/928.98	c  928s |      18 |   536156 |   352952 |    23568     31 |      625 |      386
930.70/931.12	c  930s |      18 |   536887 |   353552 |    23568     31 |      625 |      386
933.10/933.55	c  933s |      18 |   537564 |   354152 |    23568     31 |      625 |      386
935.29/935.72	c  935s |      18 |   538244 |   354752 |    23568     31 |      625 |      386
937.49/937.91	c  937s |      18 |   538962 |   355352 |    23568     31 |      625 |      386
939.89/940.34	c  940s |      18 |   539632 |   355952 |    23568     31 |      625 |      386
942.19/942.64	c  942s |      18 |   540308 |   356552 |    23568     31 |      625 |      386
944.19/944.66	c  944s |      18 |   540876 |   357052 |    23568     31 |      625 |      386
946.39/946.81	c  946s |      18 |   541554 |   357652 |    23568     31 |      625 |      386
948.90/949.31	c  949s |      18 |   542215 |   358252 |    23568     31 |      625 |      386
950.89/951.31	c  951s |      18 |   542773 |   358752 |    23568     31 |      625 |      386
953.19/953.69	c  953s |      18 |   543540 |   359352 |    23568     31 |      625 |      386
955.39/955.83	c  955s |      18 |   544400 |   360052 |    23568     31 |      625 |      386
957.49/957.90	c  957s |      18 |   545097 |   360652 |    23568     31 |      625 |      386
959.69/960.14	c  959s |      18 |   545944 |   361352 |    23568     31 |      625 |      386
961.79/962.22	c  961s |      18 |   546671 |   361952 |    23568     31 |      625 |      386
963.99/964.41	c  964s |      18 |   547348 |   362552 |    23568     31 |      625 |      386
966.00/966.42	c  966s |      18 |   547937 |   363052 |    23568     31 |      625 |      386
968.39/968.87	c  968s |      18 |   548624 |   363652 |    23568     31 |      625 |      386
970.69/971.11	c  970s |      18 |   549183 |   364152 |    23568     31 |      625 |      386
972.79/973.29	c  973s |      18 |   549770 |   364652 |    23568     31 |      625 |      386
975.30/975.77	c  975s |      18 |   550354 |   365152 |    23568     31 |      625 |      386
977.50/977.98	c  977s |      18 |   550827 |   365552 |    23568     32 |      625 |      386
979.70/980.15	c  979s |      18 |   551643 |   366252 |    23568     32 |      625 |      386
981.79/982.23	c  981s |      18 |   552332 |   366852 |    23568     32 |      625 |      386
983.89/984.30	c  984s |      18 |   552992 |   367452 |    23568     32 |      625 |      386
985.89/986.31	c  986s |      18 |   553665 |   368052 |    23568     32 |      625 |      386
987.89/988.38	c  988s |      18 |   554312 |   368652 |    23568     32 |      625 |      386
989.99/990.41	c  990s |      18 |   554994 |   369252 |    23568     32 |      625 |      386
992.09/992.56	c  992s |      18 |   555652 |   369852 |    23568     32 |      625 |      386
994.29/994.76	c  994s |      18 |   556339 |   370452 |    23568     32 |      625 |      386
996.69/997.15	c  996s |      18 |   557019 |   371052 |    23568     32 |      625 |      386
998.99/999.49	c  999s |      18 |   557732 |   371652 |    23568     32 |      625 |      386
1001.09/1001.58	c 1001s |      18 |   558301 |   372152 |    23568     32 |      625 |      386
1003.39/1003.88	c 1003s |      18 |   558967 |   372752 |    23568     32 |      625 |      386
1005.59/1006.09	c 1005s |      18 |   559669 |   373352 |    23568     32 |      625 |      386
1007.88/1008.31	c 1008s |      18 |   560350 |   373952 |    23568     32 |      625 |      386
1009.88/1010.32	c 1010s |      18 |   560886 |   374452 |    23568     32 |      625 |      386
1012.08/1012.51	c 1012s |      18 |   561590 |   375052 |    23568     32 |      625 |      386
1014.08/1014.58	c 1014s |      18 |   562163 |   375552 |    23568     32 |      625 |      386
1016.18/1016.61	c 1016s |      18 |   562755 |   376052 |    23568     32 |      625 |      386
1018.29/1018.74	c 1018s |      18 |   563351 |   376552 |    23568     32 |      625 |      386
1020.58/1021.05	c 1020s |      18 |   563898 |   377052 |    23568     32 |      625 |      386
1022.78/1023.22	c 1022s |      18 |   564489 |   377552 |    23568     32 |      625 |      386
1024.89/1025.35	c 1025s |      18 |   565099 |   378052 |    23568     32 |      625 |      386
1027.18/1027.66	c 1027s |      18 |   565681 |   378552 |    23568     32 |      625 |      386
1029.19/1029.68	c 1029s |      18 |   565998 |   378852 |    23568     33 |      625 |      386
1031.39/1031.84	c 1031s |      18 |   566728 |   379452 |    23568     33 |      625 |      386
1033.59/1034.08	c 1033s |      18 |   567538 |   380152 |    23568     33 |      625 |      386
1035.89/1036.37	c 1036s |      18 |   568310 |   380852 |    23568     33 |      625 |      386
1038.18/1038.64	c 1038s |      18 |   569104 |   381552 |    23568     33 |      625 |      386
1040.29/1040.72	c 1040s |      18 |   569762 |   382152 |    23568     33 |      625 |      386
1042.28/1042.73	c 1042s |      18 |   570449 |   382752 |    23568     33 |      625 |      386
1044.28/1044.74	c 1044s |      18 |   571003 |   383252 |    23568     33 |      625 |      386
1046.58/1047.01	c 1046s |      18 |   571662 |   383852 |    23568     33 |      625 |      386
1048.68/1049.16	c 1048s |      18 |   572349 |   384452 |    23568     33 |      625 |      386
1051.08/1051.52	c 1051s |      18 |   573026 |   385052 |    23568     33 |      625 |      386
1053.08/1053.59	c 1053s |      18 |   573580 |   385552 |    23568     33 |      625 |      386
1055.18/1055.65	c 1055s |      18 |   574150 |   386052 |    23568     33 |      625 |      386
1057.68/1058.16	c 1057s |      18 |   574818 |   386652 |    23568     33 |      625 |      386
1059.78/1060.24	c 1059s |      18 |   575247 |   387052 |    23568     33 |      625 |      386
1062.08/1062.54	c 1062s |      18 |   575790 |   387552 |    23568     33 |      625 |      386
1064.28/1064.77	c 1064s |      18 |   576357 |   388052 |    23568     33 |      625 |      386
1066.58/1067.07	c 1066s |      18 |   576897 |   388552 |    23568     33 |      625 |      386
1068.88/1069.39	c 1069s |      18 |   577470 |   389052 |    23568     33 |      625 |      386
1071.37/1071.82	c 1071s |      18 |   578033 |   389552 |    23568     33 |      625 |      386
1073.77/1074.25	c 1073s |      18 |   578606 |   390052 |    23568     33 |      625 |      386
1075.97/1076.48	c 1076s |      18 |   579286 |   390652 |    23568     33 |      625 |      386
1078.27/1078.73	c 1078s |      18 |   579854 |   391152 |    23568     33 |      625 |      386
1080.47/1080.91	c 1080s |      18 |   580401 |   391652 |    23568     33 |      625 |      386
1082.77/1083.22	c 1082s |      18 |   580940 |   392152 |    23568     33 |      625 |      386
1085.07/1085.53	c 1085s |      18 |   581424 |   392552 |    23568     34 |      625 |      386
1087.27/1087.75	c 1087s |      18 |   582072 |   393152 |    23568     34 |      625 |      386
1089.27/1089.79	c 1089s |      18 |   582613 |   393652 |    23568     34 |      625 |      386
1091.37/1091.82	c 1091s |      18 |   583276 |   394252 |    23568     34 |      625 |      386
1093.67/1094.11	c 1093s |      18 |   583906 |   394852 |    23568     34 |      625 |      386
1095.97/1096.49	c 1096s |      18 |   584589 |   395452 |    23568     34 |      625 |      386
1098.17/1098.65	c 1098s |      18 |   585128 |   395952 |    23568     34 |      625 |      386
1100.37/1100.80	c 1100s |      18 |   585681 |   396452 |    23568     34 |      625 |      386
1102.48/1102.98	c 1102s |      18 |   586238 |   396952 |    23568     34 |      625 |      386
1104.67/1105.17	c 1104s |      18 |   586781 |   397452 |    23568     34 |      625 |      386
1106.87/1107.39	c 1107s |      18 |   587321 |   397952 |    23568     34 |      625 |      386
1109.17/1109.66	c 1109s |      18 |   587878 |   398452 |    23568     34 |      625 |      386
1111.57/1112.01	c 1111s |      18 |   588447 |   398952 |    23568     34 |      625 |      386
1113.88/1114.39	c 1114s |      18 |   588991 |   399452 |    23568     34 |      625 |      386
1115.97/1116.42	c 1116s |      18 |   589478 |   399852 |    23568     34 |      625 |      386
1118.28/1118.72	c 1118s |      18 |   590155 |   400452 |    23568     34 |      625 |      386
1120.27/1120.78	c 1120s |      18 |   590701 |   400952 |    23568     34 |      625 |      386
1122.37/1122.84	c 1122s |      18 |   591254 |   401452 |    23568     34 |      625 |      386
1124.57/1125.00	c 1124s |      18 |   591835 |   401952 |    23568     34 |      625 |      386
1126.97/1127.40	c 1127s |      18 |   592474 |   402552 |    23568     34 |      625 |      386
1129.17/1129.62	c 1129s |      18 |   593018 |   403052 |    23568     34 |      625 |      386
1131.17/1131.64	c 1131s |      18 |   593585 |   403552 |    23568     34 |      625 |      386
1133.26/1133.79	c 1133s |      18 |   594127 |   404052 |    23568     34 |      625 |      386
1135.56/1136.02	c 1135s |      18 |   594663 |   404552 |    23568     34 |      625 |      386
1137.76/1138.22	c 1137s |      18 |   595203 |   405052 |    23568     34 |      625 |      386
1139.96/1140.41	c 1140s |      18 |   595749 |   405552 |    23568     34 |      625 |      386
1142.07/1142.59	c 1142s |      18 |   596173 |   405952 |    23568     35 |      625 |      386
1144.17/1144.65	c 1144s |      18 |   596861 |   406552 |    23568     35 |      625 |      386
1146.37/1146.82	c 1146s |      18 |   597499 |   407152 |    23568     35 |      625 |      386
1148.47/1148.90	c 1148s |      18 |   598156 |   407752 |    23568     35 |      625 |      386
1150.46/1150.99	c 1150s |      18 |   598818 |   408352 |    23568     35 |      625 |      386
1152.86/1153.31	c 1153s |      18 |   599468 |   408952 |    23568     35 |      625 |      386
1154.96/1155.44	c 1155s |      18 |   600125 |   409552 |    23568     35 |      625 |      386
1157.16/1157.61	c 1157s |      18 |   600767 |   410152 |    23568     35 |      625 |      386
1159.26/1159.73	c 1159s |      18 |   601302 |   410652 |    23568     35 |      625 |      386
1161.66/1162.11	c 1161s |      18 |   601940 |   411252 |    23568     35 |      625 |      386
1163.67/1164.17	c 1163s |      18 |   602489 |   411752 |    23568     35 |      625 |      386
1165.77/1166.27	c 1166s |      18 |   603007 |   412252 |    23568     35 |      625 |      386
1168.06/1168.57	c 1168s |      18 |   603532 |   412752 |    23568     35 |      625 |      386
1170.36/1170.82	c 1170s |      18 |   604069 |   413252 |    23568     35 |      625 |      386
1172.46/1172.91	c 1172s |      18 |   604597 |   413752 |    23568     35 |      625 |      386
1174.86/1175.34	c 1175s |      18 |   605125 |   414252 |    23568     35 |      625 |      386
1177.16/1177.63	c 1177s |      18 |   605648 |   414752 |    23568     35 |      625 |      386
1179.16/1179.67	c 1179s |      18 |   606061 |   415152 |    23568     35 |      625 |      386
1181.16/1181.69	c 1181s |      18 |   606481 |   415552 |    23568     35 |      625 |      386
1183.36/1183.88	c 1183s |      18 |   606891 |   415952 |    23568     35 |      625 |      386
1185.55/1186.01	c 1185s |      18 |   607304 |   416352 |    23568     35 |      625 |      386
1187.95/1188.42	c 1188s |      18 |   607821 |   416852 |    23568     35 |      625 |      386
1190.06/1190.54	c 1190s |      18 |   608236 |   417252 |    23568     35 |      625 |      386
1192.16/1192.68	c 1192s |      18 |   608654 |   417652 |    23568     35 |      625 |      386
1194.46/1194.99	c 1194s |      18 |   609079 |   418052 |    23568     35 |      625 |      386
1196.66/1197.17	c 1196s |      18 |   609512 |   418452 |    23568     35 |      625 |      386
1198.86/1199.33	c 1199s |      18 |   609839 |   418752 |    23568     36 |      625 |      386
1201.26/1201.71	c 1201s |      18 |   610603 |   419452 |    23568     36 |      625 |      386
1203.46/1203.97	c 1203s |      18 |   611291 |   420052 |    23568     36 |      625 |      386
1205.56/1206.06	c 1205s |      18 |   611955 |   420652 |    23568     36 |      625 |      386
1207.76/1208.22	c 1207s |      18 |   612598 |   421252 |    23568     36 |      625 |      386
1209.96/1210.40	c 1210s |      18 |   613248 |   421852 |    23568     36 |      625 |      386
1211.96/1212.43	c 1212s |      18 |   613790 |   422352 |    23568     36 |      625 |      386
1214.26/1214.76	c 1214s |      18 |   614469 |   422952 |    23568     36 |      625 |      386
1216.45/1216.90	c 1216s |      18 |   614990 |   423452 |    23568     36 |      625 |      386
1218.55/1219.05	c 1218s |      18 |   615523 |   423952 |    23568     36 |      625 |      386
1220.66/1221.16	c 1220s |      18 |   616064 |   424452 |    23568     36 |      625 |      386
1222.76/1223.26	c 1223s |      18 |   616609 |   424952 |    23568     36 |      625 |      386
1224.75/1225.29	c 1225s |      18 |   617150 |   425452 |    23568     36 |      625 |      386
1227.05/1227.60	c 1227s |      18 |   617692 |   425952 |    23568     36 |      625 |      386
1229.25/1229.72	c 1229s |      18 |   618247 |   426452 |    23568     36 |      625 |      386
1231.25/1231.79	c 1231s |      18 |   618670 |   426852 |    23568     36 |      625 |      386
1233.76/1234.27	c 1234s |      18 |   619208 |   427352 |    23568     36 |      625 |      386
1236.06/1236.52	c 1236s |      18 |   619743 |   427852 |    23568     36 |      625 |      386
1238.45/1238.96	c 1238s |      18 |   620273 |   428352 |    23568     36 |      625 |      386
1240.85/1241.34	c 1241s |      18 |   620822 |   428852 |    23568     36 |      625 |      386
1243.25/1243.72	c 1243s |      18 |   621355 |   429352 |    23568     36 |      625 |      386
1245.75/1246.25	c 1245s |      18 |   621899 |   429852 |    23568     36 |      625 |      386
1247.75/1248.28	c 1248s |      18 |   622334 |   430252 |    23568     36 |      625 |      386
1249.95/1250.45	c 1250s |      18 |   622767 |   430652 |    23568     36 |      625 |      386
1252.04/1252.52	c 1252s |      18 |   623196 |   431052 |    23568     36 |      625 |      386
1254.54/1255.05	c 1254s |      18 |   623752 |   431552 |    23568     36 |      625 |      386
1256.74/1257.24	c 1256s |      18 |   624292 |   432052 |    23568     36 |      625 |      386
1258.94/1259.44	c 1259s |      18 |   624725 |   432452 |    23568     37 |      625 |      386
1261.15/1261.60	c 1261s |      18 |   625389 |   433052 |    23568     37 |      625 |      386
1263.15/1263.70	c 1263s |      18 |   625948 |   433552 |    23568     37 |      625 |      386
1265.45/1265.96	c 1265s |      18 |   626603 |   434152 |    23568     37 |      625 |      386
1267.86/1268.37	c 1268s |      18 |   627240 |   434752 |    23568     37 |      625 |      386
1270.15/1270.68	c 1270s |      18 |   627902 |   435352 |    23568     37 |      625 |      386
1272.35/1272.84	c 1272s |      18 |   628436 |   435852 |    23568     37 |      625 |      386
1274.74/1275.21	c 1274s |      18 |   629087 |   436452 |    23568     37 |      625 |      386
1276.75/1277.23	c 1276s |      18 |   629634 |   436952 |    23568     37 |      625 |      386
1278.95/1279.49	c 1279s |      18 |   630160 |   437452 |    23568     37 |      625 |      386
1281.24/1281.74	c 1281s |      18 |   630694 |   437952 |    23568     37 |      625 |      386
1283.45/1283.91	c 1283s |      18 |   631231 |   438452 |    23568     37 |      625 |      386
1285.64/1286.16	c 1285s |      18 |   631758 |   438952 |    23568     37 |      625 |      386
1287.84/1288.30	c 1288s |      18 |   632285 |   439452 |    23568     37 |      625 |      386
1290.04/1290.53	c 1290s |      18 |   632858 |   439952 |    23568     37 |      625 |      386
1292.15/1292.62	c 1292s |      18 |   633271 |   440352 |    23568     37 |      625 |      386
1294.54/1295.04	c 1294s |      18 |   633802 |   440852 |    23568     37 |      625 |      386
1296.64/1297.11	c 1296s |      18 |   634231 |   441252 |    23568     37 |      625 |      386
1298.65/1299.15	c 1298s |      18 |   634657 |   441652 |    25925     37 |      625 |      386
1301.04/1301.52	c 1301s |      18 |   635180 |   442152 |    25925     37 |      625 |      386
1303.15/1303.66	c 1303s |      18 |   635593 |   442552 |    25925     37 |      625 |      386
1305.64/1306.15	c 1305s |      18 |   636120 |   443052 |    25925     37 |      625 |      386
1308.04/1308.50	c 1308s |      18 |   636654 |   443552 |    25925     37 |      625 |      386
1310.24/1310.71	c 1310s |      18 |   637335 |   444052 |    25925     37 |      625 |      386
1312.14/1312.62	c 1312s |      19 |   637817 |   444482 |    25925     37 |      625 |      386
1314.15/1314.67	c 1314s |      19 |   643175 |   446382 |    25925     37 |      625 |      386
1316.64/1317.10	c 1316s |      19 |   645930 |   448082 |    25925     38 |      625 |      386
1318.64/1319.16	c 1318s |      19 |   647630 |   449482 |    25925     38 |      625 |      386
1320.75/1321.29	c 1321s |      19 |   649243 |   450782 |    25925     38 |      625 |      386
1322.85/1323.38	c 1323s |      19 |   650535 |   451882 |    25925     38 |      625 |      386
1325.05/1325.55	c 1325s |      19 |   651892 |   452982 |    25925     38 |      625 |      386
1327.14/1327.61	c 1327s |      19 |   653087 |   453982 |    25925     38 |      625 |      386
1329.14/1329.69	c 1329s |      19 |   654180 |   454882 |    25925     38 |      625 |      386
1331.23/1331.77	c 1331s |      19 |   655784 |   455982 |    25925     38 |      625 |      386
1333.33/1333.83	c 1333s |      19 |   657191 |   457082 |    25925     38 |      625 |      386
1335.43/1335.97	c 1335s |      19 |   658762 |   458182 |    25925     38 |      625 |      386
1337.53/1338.00	c 1337s |      19 |   659875 |   459082 |    25925     38 |      625 |      386
1339.63/1340.15	c 1339s |      19 |   661244 |   460182 |    25925     38 |      625 |      386
1341.83/1342.36	c 1342s |      19 |   662287 |   461082 |    25925     38 |      625 |      386
1344.03/1344.56	c 1344s |      19 |   663377 |   461982 |    25925     38 |      625 |      386
1346.43/1346.94	c 1346s |      19 |   664159 |   462682 |    25925     39 |      625 |      386
1348.63/1349.17	c 1348s |      19 |   665056 |   463482 |    25925     39 |      625 |      386
1350.73/1351.27	c 1351s |      19 |   665989 |   464282 |    25925     39 |      625 |      386
1352.93/1353.44	c 1353s |      19 |   666921 |   465082 |    25925     39 |      625 |      386
1355.23/1355.71	c 1355s |      19 |   667721 |   465782 |    25925     39 |      625 |      386
1357.33/1357.82	c 1357s |      19 |   668362 |   466382 |    25925     39 |      625 |      386
1359.43/1359.99	c 1359s |      19 |   669241 |   467082 |    25925     39 |      625 |      386
1361.73/1362.22	c 1361s |      19 |   669913 |   467682 |    25925     39 |      625 |      386
1363.92/1364.44	c 1364s |      19 |   670579 |   468282 |    25925     39 |      625 |      386
1366.02/1366.56	c 1366s |      19 |   671375 |   468982 |    25925     39 |      625 |      386
1368.42/1368.93	c 1368s |      19 |   672145 |   469682 |    25925     39 |      625 |      386
1370.43/1370.93	c 1370s |      19 |   672837 |   470282 |    25925     39 |      625 |      386
1372.63/1373.10	c 1372s |      19 |   673617 |   470982 |    25925     39 |      625 |      386
1374.64/1375.12	c 1374s |      19 |   674303 |   471582 |    25925     39 |      625 |      386
1376.63/1377.19	c 1376s |      19 |   674974 |   472182 |    25925     39 |      625 |      386
1378.73/1379.27	c 1379s |      19 |   675643 |   472782 |    25925     39 |      625 |      386
1381.03/1381.52	c 1381s |      19 |   676326 |   473382 |    25925     39 |      625 |      386
1383.03/1383.55	c 1383s |      19 |   676873 |   473882 |    25925     39 |      625 |      386
1385.03/1385.59	c 1385s |      19 |   677430 |   474382 |    25925     39 |      625 |      386
1387.13/1387.67	c 1387s |      19 |   677974 |   474882 |    25925     39 |      625 |      386
1389.43/1389.96	c 1389s |      19 |   678643 |   475482 |    25925     39 |      625 |      386
1391.53/1392.09	c 1391s |      19 |   679344 |   476082 |    25925     39 |      625 |      386
1393.63/1394.17	c 1393s |      19 |   679889 |   476582 |    25925     39 |      625 |      386
1395.73/1396.25	c 1395s |      19 |   680460 |   477082 |    25925     39 |      625 |      386
1397.83/1398.35	c 1398s |      19 |   680916 |   477482 |    25925     40 |      625 |      386
1400.22/1400.71	c 1400s |      19 |   681703 |   478182 |    25925     40 |      625 |      386
1402.32/1402.87	c 1402s |      19 |   682351 |   478782 |    25925     40 |      625 |      386
1404.62/1405.11	c 1404s |      19 |   682986 |   479382 |    25925     40 |      625 |      386
1406.62/1407.11	c 1406s |      19 |   683655 |   479982 |    25925     40 |      625 |      386
1408.63/1409.13	c 1408s |      19 |   684289 |   480582 |    25925     40 |      625 |      386
1410.83/1411.32	c 1411s |      19 |   684943 |   481182 |    25925     40 |      625 |      386
1412.82/1413.37	c 1413s |      19 |   685470 |   481682 |    25925     40 |      625 |      386
1414.92/1415.43	c 1415s |      19 |   685998 |   482182 |    25925     40 |      625 |      386
1417.32/1417.81	c 1417s |      19 |   686664 |   482782 |    25925     40 |      625 |      386
1419.32/1419.84	c 1419s |      19 |   687202 |   483282 |    25925     40 |      625 |      386
1421.72/1422.21	c 1421s |      19 |   687860 |   483882 |    25925     40 |      625 |      386
1424.03/1424.53	c 1424s |      19 |   688412 |   484382 |    25925     40 |      625 |      386
1426.42/1426.91	c 1426s |      19 |   688943 |   484882 |    25925     40 |      625 |      386
1428.52/1429.02	c 1428s |      19 |   689481 |   485382 |    25925     40 |      625 |      386
1430.62/1431.16	c 1430s |      19 |   690016 |   485882 |    25925     40 |      625 |      386
1432.82/1433.39	c 1433s |      19 |   690552 |   486382 |    25925     40 |      625 |      386
1435.31/1435.88	c 1435s |      19 |   691107 |   486882 |    25925     40 |      625 |      386
1437.61/1438.11	c 1437s |      19 |   691818 |   487482 |    25925     40 |      625 |      386
1439.81/1440.33	c 1440s |      19 |   692496 |   488082 |    25925     40 |      625 |      386
1442.01/1442.51	c 1442s |      19 |   692940 |   488482 |    25925     40 |      625 |      386
1444.11/1444.60	c 1444s |      19 |   693383 |   488882 |    25925     40 |      625 |      386
1446.41/1446.95	c 1446s |      19 |   693931 |   489382 |    25925     40 |      625 |      386
1448.51/1449.07	c 1448s |      19 |   694538 |   489882 |    25925     40 |      625 |      386
1450.91/1451.49	c 1451s |      19 |   695101 |   490382 |    25925     40 |      625 |      386
1453.31/1453.83	c 1453s |      19 |   695684 |   490882 |    25925     40 |      625 |      386
1455.81/1456.31	c 1456s |      19 |   696236 |   491382 |    25925     40 |      625 |      386
1458.31/1458.88	c 1458s |      19 |   696691 |   491782 |    25925     41 |      625 |      386
1460.51/1461.00	c 1460s |      19 |   697254 |   492282 |    25925     41 |      625 |      386
1462.82/1463.35	c 1463s |      19 |   697910 |   492882 |    25925     41 |      625 |      386
1465.12/1465.69	c 1465s |      19 |   698584 |   493482 |    25925     41 |      625 |      386
1467.22/1467.78	c 1467s |      19 |   699121 |   493982 |    25925     41 |      625 |      386
1469.23/1469.78	c 1469s |      19 |   699658 |   494482 |    25925     41 |      625 |      386
1471.52/1472.02	c 1471s |      19 |   700202 |   494982 |    25925     41 |      625 |      386
1473.72/1474.25	c 1473s |      19 |   700847 |   495582 |    25925     41 |      625 |      386
1475.83/1476.38	c 1476s |      19 |   701383 |   496082 |    25925     41 |      625 |      386
1478.12/1478.62	c 1478s |      19 |   701917 |   496582 |    25925     41 |      625 |      386
1480.22/1480.76	c 1480s |      19 |   702449 |   497082 |    25925     41 |      625 |      386
1482.32/1482.84	c 1482s |      19 |   702882 |   497482 |    25925     41 |      625 |      386
1484.71/1485.24	c 1484s |      19 |   703304 |   497882 |    25925     41 |      625 |      386
1486.82/1487.33	c 1487s |      19 |   703751 |   498282 |    25925     41 |      625 |      386
1488.81/1489.39	c 1489s |      19 |   704105 |   498582 |    25925     41 |      625 |      386
1490.91/1491.46	c 1491s |      19 |   704689 |   499082 |    25925     41 |      625 |      386
1493.71/1494.22	c 1493s |      19 |   705122 |   499482 |    25925     41 |      625 |      386
1495.71/1496.23	c 1495s |      19 |   705532 |   499882 |    25925     41 |      625 |      386
1498.11/1498.61	c 1498s |      19 |   706081 |   500382 |    25925     41 |      625 |      386
1500.21/1500.72	c 1500s |      19 |   706633 |   500882 |    25925     41 |      625 |      386
1502.60/1503.17	c 1502s |      19 |   707182 |   501382 |    25925     41 |      625 |      386
1505.00/1505.59	c 1505s |      19 |   707742 |   501882 |    25925     41 |      625 |      386
1507.10/1507.62	c 1507s |      19 |   708179 |   502282 |    25925     41 |      625 |      386
1509.40/1509.99	c 1509s |      19 |   708606 |   502682 |    25925     41 |      625 |      386
1512.20/1512.75	c 1512s |      19 |   709045 |   503082 |    25925     41 |      625 |      386
1514.40/1514.95	c 1514s |      19 |   709467 |   503482 |    25925     41 |      625 |      386
1516.51/1517.01	c 1516s |      19 |   709779 |   503782 |    25925     41 |      625 |      386
1518.81/1519.35	c 1519s |      19 |   710112 |   504082 |    25925     41 |      625 |      386
1520.92/1521.47	c 1521s |      19 |   710444 |   504382 |    25925     41 |      625 |      386
1523.51/1524.00	c 1523s |      19 |   710996 |   504882 |    25925     41 |      625 |      386
1526.01/1526.55	c 1526s |      19 |   711431 |   505282 |    25925     41 |      625 |      386
1528.01/1528.57	c 1528s |      19 |   711748 |   505582 |    25925     41 |      625 |      386
1530.41/1530.97	c 1530s |      19 |   712207 |   505982 |    25925     41 |      625 |      386
1532.81/1533.33	c 1533s |      19 |   712529 |   506282 |    25925     42 |      625 |      386
1534.90/1535.47	c 1535s |      19 |   712959 |   506682 |    25925     42 |      625 |      386
1536.90/1537.48	c 1537s |      19 |   713402 |   507082 |    25925     42 |      625 |      386
1539.20/1539.79	c 1539s |      19 |   713964 |   507582 |    25925     42 |      625 |      386
1541.40/1541.90	c 1541s |      19 |   714630 |   508182 |    25925     42 |      625 |      386
1543.40/1543.95	c 1543s |      19 |   715213 |   508682 |    25925     42 |      625 |      386
1545.70/1546.24	c 1545s |      19 |   715677 |   509082 |    25925     42 |      625 |      386
1548.20/1548.74	c 1548s |      19 |   716224 |   509582 |    25925     42 |      625 |      386
1550.51/1551.03	c 1550s |      19 |   716782 |   510082 |    25925     42 |      625 |      386
1552.60/1553.17	c 1552s |      19 |   717199 |   510482 |    25925     42 |      625 |      386
1554.80/1555.37	c 1555s |      19 |   717634 |   510882 |    25925     42 |      625 |      386
1557.30/1557.83	c 1557s |      19 |   718175 |   511382 |    25925     42 |      625 |      386
1559.60/1560.17	c 1559s |      19 |   718699 |   511882 |    25925     42 |      625 |      386
1561.80/1562.34	c 1562s |      19 |   719127 |   512282 |    25925     42 |      625 |      386
1563.90/1564.44	c 1564s |      19 |   719555 |   512682 |    25925     42 |      625 |      386
1566.01/1566.59	c 1566s |      19 |   719873 |   512982 |    25925     42 |      625 |      386
1568.60/1569.12	c 1568s |      19 |   720408 |   513482 |    25925     42 |      625 |      386
1570.90/1571.41	c 1571s |      19 |   720838 |   513882 |    25925     42 |      625 |      386
1573.10/1573.62	c 1573s |      19 |   721266 |   514282 |    25925     42 |      625 |      386
1575.40/1575.99	c 1575s |      19 |   721700 |   514682 |    25925     42 |      625 |      386
1578.01/1578.53	c 1578s |      19 |   722134 |   515082 |    25925     42 |      625 |      386
1580.70/1581.21	c 1580s |      19 |   722448 |   515382 |    25925     42 |      625 |      386
1582.70/1583.24	c 1582s |      19 |   722769 |   515682 |    25925     42 |      625 |      386
1585.20/1585.77	c 1585s |      19 |   723090 |   515982 |    25925     42 |      625 |      386
1587.49/1588.02	c 1587s |      19 |   723414 |   516282 |    25925     42 |      625 |      386
1589.89/1590.40	c 1590s |      19 |   723844 |   516682 |    25925     42 |      625 |      386
1592.40/1592.95	c 1592s |      19 |   724268 |   517082 |    25925     42 |      625 |      386
1594.79/1595.39	c 1595s |      19 |   724712 |   517482 |    25925     42 |      625 |      386
1597.19/1597.71	c 1597s |      19 |   725031 |   517782 |    25925     42 |      625 |      386
1599.69/1600.24	c 1599s |      19 |   725457 |   518182 |    25925     42 |      625 |      386
1602.49/1603.02	c 1602s |      19 |   725881 |   518582 |    25925     42 |      625 |      386
1604.89/1605.45	c 1605s |      19 |   726204 |   518882 |    25925     42 |      625 |      386
1607.29/1607.84	c 1607s |      19 |   726651 |   519282 |    25925     42 |      625 |      386
1609.49/1610.01	c 1609s |      19 |   727080 |   519682 |    25925     42 |      625 |      386
1611.79/1612.31	c 1612s |      19 |   727487 |   520082 |    25925     42 |      625 |      386
1614.19/1614.70	c 1614s |      19 |   728011 |   520582 |    25925     42 |      625 |      386
1616.50/1617.08	c 1616s |      19 |   728333 |   520882 |    25925     43 |      625 |      386
1619.08/1619.63	c 1619s |      19 |   728844 |   521382 |    25925     43 |      625 |      386
1621.39/1621.98	c 1621s |      19 |   729388 |   521882 |    25925     43 |      625 |      386
1623.69/1624.26	c 1624s |      19 |   729825 |   522282 |    25925     43 |      625 |      386
1625.89/1626.40	c 1626s |      19 |   730392 |   522782 |    25925     43 |      625 |      386
1627.99/1628.55	c 1628s |      19 |   730935 |   523282 |    25925     43 |      625 |      386
1630.99/1631.53	c 1631s |      19 |   731592 |   523882 |    25925     43 |      625 |      386
1633.10/1633.62	c 1633s |      19 |   732143 |   524382 |    25925     43 |      625 |      386
1635.20/1635.78	c 1635s |      19 |   732699 |   524882 |    25925     43 |      625 |      386
1637.50/1638.08	c 1637s |      19 |   733393 |   525482 |    25925     43 |      625 |      386
1639.69/1640.25	c 1639s |      19 |   734043 |   526082 |    25925     43 |      625 |      386
1641.68/1642.29	c 1642s |      19 |   734575 |   526582 |    25925     43 |      625 |      386
1643.99/1644.58	c 1644s |      19 |   735230 |   527182 |    25925     43 |      625 |      386
1646.29/1646.88	c 1646s |      19 |   735874 |   527782 |    25925     43 |      625 |      386
1648.28/1648.90	c 1648s |      19 |   736444 |   528282 |    25925     43 |      625 |      386
1650.48/1651.09	c 1650s |      19 |   737040 |   528782 |    25925     43 |      625 |      386
1652.79/1653.33	c 1653s |      19 |   737858 |   529482 |    25925     43 |      625 |      386
1654.88/1655.40	c 1655s |      19 |   738536 |   530082 |    25925     43 |      625 |      386
1656.88/1657.45	c 1657s |      19 |   739227 |   530682 |    25925     43 |      625 |      386
1659.08/1659.67	c 1659s |      19 |   739920 |   531282 |    25925     43 |      625 |      386
1661.18/1661.77	c 1661s |      19 |   740599 |   531882 |    25925     43 |      625 |      386
1663.48/1664.00	c 1663s |      19 |   741289 |   532482 |    25925     43 |      625 |      386
1665.68/1666.23	c 1665s |      19 |   741983 |   533082 |    25925     43 |      625 |      386
1667.78/1668.35	c 1668s |      19 |   742674 |   533682 |    25925     43 |      625 |      386
1669.78/1670.38	c 1670s |      19 |   743250 |   534182 |    25925     43 |      625 |      386
1672.08/1672.66	c 1672s |      19 |   743811 |   534682 |    25925     43 |      625 |      386
1674.38/1674.93	c 1674s |      19 |   744351 |   535182 |    25925     43 |      625 |      386
1676.58/1677.16	c 1676s |      19 |   744778 |   535582 |    25925     44 |      625 |      386
1678.78/1679.34	c 1679s |      19 |   745304 |   536082 |    25925     44 |      625 |      386
1681.08/1681.67	c 1681s |      19 |   745942 |   536682 |    25925     44 |      625 |      386
1683.18/1683.75	c 1683s |      19 |   746593 |   537282 |    25925     44 |      625 |      386
1685.48/1686.02	c 1685s |      19 |   747141 |   537782 |    25925     44 |      625 |      386
1687.77/1688.34	c 1688s |      19 |   747809 |   538382 |    25925     44 |      625 |      386
1690.07/1690.64	c 1690s |      19 |   748582 |   539082 |    25925     44 |      625 |      386
1692.28/1692.84	c 1692s |      19 |   749244 |   539682 |    25925     44 |      625 |      386
1694.48/1695.08	c 1694s |      19 |   749999 |   540382 |    25925     44 |      625 |      386
1696.68/1697.28	c 1697s |      19 |   750709 |   540982 |    25925     44 |      625 |      386
1698.99/1699.56	c 1699s |      19 |   751748 |   541782 |    25925     44 |      625 |      386
1700.98/1701.58	c 1701s |      19 |   752436 |   542382 |    25925     44 |      625 |      386
1702.98/1703.59	c 1703s |      19 |   753108 |   542982 |    25925     44 |      625 |      386
1705.18/1705.71	c 1705s |      19 |   753813 |   543582 |    25925     44 |      625 |      386
1707.38/1707.93	c 1707s |      19 |   754466 |   544182 |    25925     44 |      625 |      386
1709.38/1709.94	c 1709s |      19 |   755005 |   544682 |    25925     44 |      625 |      386
1711.48/1712.02	c 1711s |      19 |   755665 |   545282 |    25925     44 |      625 |      386
1713.48/1714.08	c 1713s |      19 |   756342 |   545882 |    25925     44 |      625 |      386
1715.68/1716.29	c 1716s |      19 |   757001 |   546482 |    25925     44 |      625 |      386
1717.98/1718.54	c 1718s |      19 |   757650 |   547082 |    25925     44 |      625 |      386
1720.08/1720.68	c 1720s |      19 |   758185 |   547582 |    25925     44 |      625 |      386
1722.28/1722.80	c 1722s |      19 |   758724 |   548082 |    25925     44 |      625 |      386
1724.47/1725.04	c 1724s |      19 |   759274 |   548582 |    25925     44 |      625 |      386
1726.67/1727.24	c 1726s |      19 |   759826 |   549082 |    25925     44 |      625 |      386
1728.68/1729.26	c 1729s |      19 |   760369 |   549582 |    25925     44 |      625 |      386
1730.98/1731.56	c 1731s |      19 |   760837 |   549982 |    25925     45 |      625 |      386
1733.18/1733.76	c 1733s |      19 |   761471 |   550582 |    25925     45 |      625 |      386
1735.57/1736.10	c 1735s |      19 |   762114 |   551182 |    25925     45 |      625 |      386
1737.87/1738.49	c 1738s |      19 |   762746 |   551782 |    25925     45 |      625 |      386
1740.27/1740.84	c 1740s |      19 |   763397 |   552382 |    25925     45 |      625 |      386
1742.37/1742.96	c 1742s |      19 |   764056 |   552982 |    25925     45 |      625 |      386
1744.47/1745.02	c 1744s |      19 |   764614 |   553482 |    25925     45 |      625 |      386
1746.77/1747.38	c 1747s |      19 |   765253 |   554082 |    25925     45 |      625 |      386
1749.17/1749.76	c 1749s |      19 |   765915 |   554682 |    25925     45 |      625 |      386
1751.27/1751.85	c 1751s |      19 |   766470 |   555182 |    25925     45 |      625 |      386
1753.47/1754.00	c 1753s |      19 |   767005 |   555682 |    25925     45 |      625 |      386
1755.47/1756.02	c 1755s |      19 |   767570 |   556182 |    25925     45 |      625 |      386
1757.77/1758.32	c 1758s |      19 |   768249 |   556782 |    25925     45 |      625 |      386
1759.97/1760.53	c 1760s |      19 |   768825 |   557282 |    25925     45 |      625 |      386
1762.17/1762.76	c 1762s |      19 |   769389 |   557782 |    25925     45 |      625 |      386
1764.16/1764.80	c 1764s |      19 |   769963 |   558282 |    25925     45 |      625 |      386
1766.26/1766.82	c 1766s |      19 |   770530 |   558782 |    25925     45 |      625 |      386
1768.27/1768.89	c 1768s |      19 |   771070 |   559282 |    25925     45 |      625 |      386
1770.47/1771.09	c 1770s |      19 |   771626 |   559782 |    25925     45 |      625 |      386
1772.77/1773.33	c 1773s |      19 |   772218 |   560282 |    25925     45 |      625 |      386
1774.97/1775.58	c 1775s |      19 |   772785 |   560782 |    25925     45 |      625 |      386
1777.36/1777.96	c 1777s |      19 |   773334 |   561282 |    25925     45 |      625 |      386
1779.46/1780.01	c 1779s |      19 |   773779 |   561682 |    25925     45 |      625 |      386
1781.66/1782.24	c 1781s |      19 |   774338 |   562182 |    25925     45 |      625 |      386
1783.67/1784.29	c 1784s |      19 |   774762 |   562582 |    25925     45 |      625 |      386
1785.76/1786.34	c 1786s |      19 |   775197 |   562982 |    25925     45 |      625 |      386
1787.97/1788.53	c 1788s |      19 |   775631 |   563382 |    25925     45 |      625 |      386
1790.17/1790.72	c 1790s |      19 |   776069 |   563782 |    25925     45 |      625 |      386
1792.17/1792.75	c 1792s |      19 |   776511 |   564182 |    25925     45 |      625 |      386
1794.27/1794.87	c 1794s |      19 |   776838 |   564482 |    25925     46 |      625 |      386
1796.37/1796.99	c 1796s |      19 |   777522 |   565082 |    25925     46 |      625 |      386
1798.86/1799.41	c 1799s |      19 |   778158 |   565682 |    25925     46 |      625 |      386

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

pid=2857
running on 8 cores: 4-7,12-15

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.05 2.07 2.08 3/261 2860
/proc/meminfo: memFree=30850056/32872528 swapFree=7556/7556
[pid=2860] ppid=2857 vsize=1066428 CPUtime=0 cores=4-7,12-15
/proc/2860/stat : 2860 (toysat) R 2857 2860 32495 0 -1 4202496 4037 0 0 0 0 0 0 0 20 0 4 0 28834347 1092022272 4397 33554432000 4194304 16246674 140733200804272 140733200803696 13880264 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2860/statm: 267119 4405 441 2943 0 264013 0
[pid=2860/tid=2861] ppid=2857 vsize=1120700 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2861/stat : 2861 (toysat) S 2857 2860 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28834347 1147596800 4609 33554432000 4194304 16246674 140733200804272 140002012933360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2860/tid=2862] ppid=2857 vsize=1124796 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2862/stat : 2862 (toysat) S 2857 2860 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28834347 1151791104 4627 33554432000 4194304 16246674 140733200804272 140002002443504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2860/tid=2863] ppid=2857 vsize=1129916 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2863/stat : 2863 (toysat) S 2857 2860 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28834347 1157033984 4644 33554432000 4194304 16246674 140733200804272 140001991969968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0

[startup+0.100162 s]
/proc/loadavg: 2.05 2.07 2.08 3/261 2860
/proc/meminfo: memFree=30850056/32872528 swapFree=7556/7556
[pid=2860] ppid=2857 vsize=1220164 CPUtime=0.09 cores=4-7,12-15
/proc/2860/stat : 2860 (toysat) R 2857 2860 32495 0 -1 4202496 28275 0 0 0 6 3 0 0 20 0 4 0 28834347 1249447936 28573 33554432000 4194304 16246674 140733200804272 140733200803584 4220897 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2860/statm: 305041 28573 801 2943 0 301935 0
[pid=2860/tid=2861] ppid=2857 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2861/stat : 2861 (toysat) S 2857 2860 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28834347 1249447936 28573 33554432000 4194304 16246674 140733200804272 140002012933360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2860/tid=2862] ppid=2857 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2862/stat : 2862 (toysat) S 2857 2860 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28834347 1249447936 28573 33554432000 4194304 16246674 140733200804272 140002002443504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2860/tid=2863] ppid=2857 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2863/stat : 2863 (toysat) S 2857 2860 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28834347 1249447936 28573 33554432000 4194304 16246674 140733200804272 140001991969968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200533 s]
/proc/loadavg: 2.05 2.07 2.08 3/261 2860
/proc/meminfo: memFree=30850056/32872528 swapFree=7556/7556
[pid=2860] ppid=2857 vsize=1301060 CPUtime=0.19 cores=4-7,12-15
/proc/2860/stat : 2860 (toysat) R 2857 2860 32495 0 -1 4202496 48485 0 0 0 13 6 0 0 20 0 4 0 28834347 1332285440 48783 33554432000 4194304 16246674 140733200804272 140733200786176 6975748 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2860/statm: 325265 48783 844 2943 0 322159 0
[pid=2860/tid=2861] ppid=2857 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2861/stat : 2861 (toysat) S 2857 2860 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28834347 1332285440 48783 33554432000 4194304 16246674 140733200804272 140002012933360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2860/tid=2862] ppid=2857 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2862/stat : 2862 (toysat) S 2857 2860 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28834347 1332285440 48783 33554432000 4194304 16246674 140733200804272 140002002443504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2860/tid=2863] ppid=2857 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2863/stat : 2863 (toysat) S 2857 2860 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28834347 1332285440 48783 33554432000 4194304 16246674 140733200804272 140001991969968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300492 s]
/proc/loadavg: 2.05 2.07 2.08 3/261 2860
/proc/meminfo: memFree=30850056/32872528 swapFree=7556/7556
[pid=2860] ppid=2857 vsize=1301060 CPUtime=0.29 cores=4-7,12-15
/proc/2860/stat : 2860 (toysat) R 2857 2860 32495 0 -1 4202496 50396 0 0 0 22 7 0 0 20 0 4 0 28834347 1332285440 50695 33554432000 4194304 16246674 140733200804272 140733200786176 5677541 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2860/statm: 325265 50703 883 2943 0 322159 0
[pid=2860/tid=2861] ppid=2857 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2861/stat : 2861 (toysat) S 2857 2860 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28834347 1332285440 50707 33554432000 4194304 16246674 140733200804272 140002012933360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2860/tid=2862] ppid=2857 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2862/stat : 2862 (toysat) S 2857 2860 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28834347 1332285440 50710 33554432000 4194304 16246674 140733200804272 140002002443504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2860/tid=2863] ppid=2857 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2863/stat : 2863 (toysat) S 2857 2860 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28834347 1332285440 50716 33554432000 4194304 16246674 140733200804272 140001991969968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700373 s]
/proc/loadavg: 2.05 2.07 2.08 3/261 2860
/proc/meminfo: memFree=30850056/32872528 swapFree=7556/7556
[pid=2860] ppid=2857 vsize=1301060 CPUtime=0.69 cores=4-7,12-15
/proc/2860/stat : 2860 (toysat) R 2857 2860 32495 0 -1 4202496 95468 0 0 0 55 14 0 0 20 0 4 0 28834347 1332285440 95766 33554432000 4194304 16246674 140733200804272 140733200786176 13954518 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2860/statm: 325265 95771 883 2943 0 322159 0
[pid=2860/tid=2861] ppid=2857 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2861/stat : 2861 (toysat) S 2857 2860 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28834347 1332285440 95774 33554432000 4194304 16246674 140733200804272 140002012933360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2860/tid=2862] ppid=2857 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2862/stat : 2862 (toysat) S 2857 2860 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28834347 1332285440 95777 33554432000 4194304 16246674 140733200804272 140002002443504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2860/tid=2863] ppid=2857 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2863/stat : 2863 (toysat) S 2857 2860 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28834347 1332285440 95779 33554432000 4194304 16246674 140733200804272 140001991969968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50037 s]
/proc/loadavg: 2.05 2.07 2.08 3/265 2864
/proc/meminfo: memFree=30270424/32872528 swapFree=7556/7556
[pid=2860] ppid=2857 vsize=1301060 CPUtime=1.49 cores=4-7,12-15
/proc/2860/stat : 2860 (toysat) R 2857 2860 32495 0 -1 4202496 200128 0 0 0 120 29 0 0 20 0 4 0 28834347 1332285440 200426 33554432000 4194304 16246674 140733200804272 140733200786176 5675357 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2860/statm: 325265 200430 883 2943 0 322159 0
[pid=2860/tid=2861] ppid=2857 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2861/stat : 2861 (toysat) S 2857 2860 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28834347 1332285440 200434 33554432000 4194304 16246674 140733200804272 140002012933360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2860/tid=2862] ppid=2857 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2862/stat : 2862 (toysat) S 2857 2860 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28834347 1332285440 200438 33554432000 4194304 16246674 140733200804272 140002002443504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2860/tid=2863] ppid=2857 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2863/stat : 2863 (toysat) S 2857 2860 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28834347 1332285440 200441 33554432000 4194304 16246674 140733200804272 140001991969968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10039 s]
/proc/loadavg: 2.05 2.07 2.08 3/265 2864
/proc/meminfo: memFree=29772424/32872528 swapFree=7556/7556
[pid=2860] ppid=2857 vsize=1312324 CPUtime=3.09 cores=4-7,12-15
/proc/2860/stat : 2860 (toysat) R 2857 2860 32495 0 -1 4202496 269269 0 0 0 272 37 0 0 20 0 4 0 28834347 1343819776 269567 33554432000 4194304 16246674 140733200804272 140733200786176 12415676 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2860/statm: 328081 269567 889 2943 0 324975 0
[pid=2860/tid=2861] ppid=2857 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2861/stat : 2861 (toysat) S 2857 2860 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28834347 1343819776 269567 33554432000 4194304 16246674 140733200804272 140002012933360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2860/tid=2862] ppid=2857 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2862/stat : 2862 (toysat) S 2857 2860 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28834347 1343819776 269567 33554432000 4194304 16246674 140733200804272 140002002443504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2860/tid=2863] ppid=2857 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2863/stat : 2863 (toysat) S 2857 2860 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28834347 1343819776 269567 33554432000 4194304 16246674 140733200804272 140001991969968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30041 s]
/proc/loadavg: 2.04 2.07 2.07 3/265 2864
/proc/meminfo: memFree=29771908/32872528 swapFree=7556/7556
[pid=2860] ppid=2857 vsize=1312324 CPUtime=6.29 cores=4-7,12-15
/proc/2860/stat : 2860 (toysat) R 2857 2860 32495 0 -1 4202496 269269 0 0 0 592 37 0 0 20 0 4 0 28834347 1343819776 269567 33554432000 4194304 16246674 140733200804272 140733200786176 5711584 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2860/statm: 328081 269567 889 2943 0 324975 0
[pid=2860/tid=2861] ppid=2857 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2861/stat : 2861 (toysat) S 2857 2860 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28834347 1343819776 269567 33554432000 4194304 16246674 140733200804272 140002012933360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2860/tid=2862] ppid=2857 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2862/stat : 2862 (toysat) S 2857 2860 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28834347 1343819776 269567 33554432000 4194304 16246674 140733200804272 140002002443504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2860/tid=2863] ppid=2857 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2863/stat : 2863 (toysat) S 2857 2860 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28834347 1343819776 269567 33554432000 4194304 16246674 140733200804272 140001991969968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.04 2.07 2.07 3/265 2864
/proc/meminfo: memFree=29771212/32872528 swapFree=7556/7556
[pid=2860] ppid=2857 vsize=1312324 CPUtime=12.69 cores=4-7,12-15
/proc/2860/stat : 2860 (toysat) R 2857 2860 32495 0 -1 4202496 269270 0 0 0 1232 37 0 0 20 0 4 0 28834347 1343819776 269568 33554432000 4194304 16246674 140733200804272 140733200786176 5659504 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2860/statm: 328081 269568 890 2943 0 324975 0
[pid=2860/tid=2861] ppid=2857 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2861/stat : 2861 (toysat) S 2857 2860 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28834347 1343819776 269568 33554432000 4194304 16246674 140733200804272 140002012933360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2860/tid=2862] ppid=2857 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2862/stat : 2862 (toysat) S 2857 2860 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28834347 1343819776 269568 33554432000 4194304 16246674 140733200804272 140002002443504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2860/tid=2863] ppid=2857 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2863/stat : 2863 (toysat) S 2857 2860 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28834347 1343819776 269568 33554432000 4194304 16246674 140733200804272 140001991969968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.03 2.06 2.07 3/265 2864
/proc/meminfo: memFree=29771824/32872528 swapFree=7556/7556
[pid=2860] ppid=2857 vsize=1312324 CPUtime=25.48 cores=4-7,12-15
/proc/2860/stat : 2860 (toysat) R 2857 2860 32495 0 -1 4202496 269273 0 0 0 2511 37 0 0 20 0 4 0 28834347 1343819776 269571 33554432000 4194304 16246674 140733200804272 140733200786176 5675793 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2860/statm: 328081 269571 893 2943 0 324975 0
[pid=2860/tid=2861] ppid=2857 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2861/stat : 2861 (toysat) S 2857 2860 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28834347 1343819776 269571 33554432000 4194304 16246674 140733200804272 140002012933360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2860/tid=2862] ppid=2857 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2862/stat : 2862 (toysat) S 2857 2860 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28834347 1343819776 269571 33554432000 4194304 16246674 140733200804272 140002002443504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2860/tid=2863] ppid=2857 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2863/stat : 2863 (toysat) S 2857 2860 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28834347 1343819776 269571 33554432000 4194304 16246674 140733200804272 140001991969968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.15 2.09 2.08 3/266 2867
/proc/meminfo: memFree=29772296/32872528 swapFree=7556/7556
[pid=2860] ppid=2857 vsize=1312324 CPUtime=51.09 cores=4-7,12-15
/proc/2860/stat : 2860 (toysat) R 2857 2860 32495 0 -1 4202496 269273 0 0 0 5071 38 0 0 20 0 4 0 28834347 1343819776 269571 33554432000 4194304 16246674 140733200804272 140733200786176 12477688 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2860/statm: 328081 269571 893 2943 0 324975 0
[pid=2860/tid=2861] ppid=2857 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2861/stat : 2861 (toysat) S 2857 2860 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28834347 1343819776 269571 33554432000 4194304 16246674 140733200804272 140002012933360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2860/tid=2862] ppid=2857 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2862/stat : 2862 (toysat) S 2857 2860 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28834347 1343819776 269571 33554432000 4194304 16246674 140733200804272 140002002443504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2860/tid=2863] ppid=2857 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2863/stat : 2863 (toysat) S 2857 2860 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28834347 1343819776 269571 33554432000 4194304 16246674 140733200804272 140001991969968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.12 2.09 2.08 3/265 2868
/proc/meminfo: memFree=29770784/32872528 swapFree=7556/7556
[pid=2860] ppid=2857 vsize=1313348 CPUtime=102.28 cores=4-7,12-15
/proc/2860/stat : 2860 (toysat) R 2857 2860 32495 0 -1 4202496 269319 0 0 0 10190 38 0 0 20 0 4 0 28834347 1344868352 269617 33554432000 4194304 16246674 140733200804272 140733200786176 5822428 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2860/statm: 328337 269617 893 2943 0 325231 0
[pid=2860/tid=2861] ppid=2857 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2861/stat : 2861 (toysat) S 2857 2860 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28834347 1344868352 269617 33554432000 4194304 16246674 140733200804272 140002012933360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2860/tid=2862] ppid=2857 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2862/stat : 2862 (toysat) S 2857 2860 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28834347 1344868352 269617 33554432000 4194304 16246674 140733200804272 140002002443504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2860/tid=2863] ppid=2857 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2863/stat : 2863 (toysat) S 2857 2860 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28834347 1344868352 269617 33554432000 4194304 16246674 140733200804272 140001991969968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/2860/task/2863/stat : 2863 (toysat) S 2857 2860 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140001991969968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1327684

[startup+1302.3 s]
/proc/loadavg: 2.22 2.13 2.09 3/265 2947
/proc/meminfo: memFree=29750608/32872528 swapFree=7556/7556
[pid=2860] ppid=2857 vsize=1327684 CPUtime=1301.83 cores=4-7,12-15
/proc/2860/stat : 2860 (toysat) R 2857 2860 32495 0 -1 4202496 273466 0 0 0 130127 56 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140733200786176 5822484 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2860/statm: 331921 273414 893 2943 0 328815 0
[pid=2860/tid=2861] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2861/stat : 2861 (toysat) S 2857 2860 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140002012933360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2860/tid=2862] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2862/stat : 2862 (toysat) S 2857 2860 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140002002443504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2860/tid=2863] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2863/stat : 2863 (toysat) S 2857 2860 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140001991969968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1327684

[startup+1362.3 s]
/proc/loadavg: 2.08 2.11 2.09 3/266 2949
/proc/meminfo: memFree=29750584/32872528 swapFree=7556/7556
[pid=2860] ppid=2857 vsize=1327684 CPUtime=1361.83 cores=4-7,12-15
/proc/2860/stat : 2860 (toysat) R 2857 2860 32495 0 -1 4202496 273466 0 0 0 136126 57 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140733200786176 5672188 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2860/statm: 331921 273414 893 2943 0 328815 0
[pid=2860/tid=2861] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2861/stat : 2861 (toysat) S 2857 2860 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140002012933360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2860/tid=2862] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2862/stat : 2862 (toysat) S 2857 2860 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140002002443504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2860/tid=2863] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2863/stat : 2863 (toysat) S 2857 2860 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140001991969968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1327684

[startup+1422.3 s]
/proc/loadavg: 2.08 2.10 2.09 3/265 2951
/proc/meminfo: memFree=29750404/32872528 swapFree=7556/7556
[pid=2860] ppid=2857 vsize=1327684 CPUtime=1421.83 cores=4-7,12-15
/proc/2860/stat : 2860 (toysat) R 2857 2860 32495 0 -1 4202496 273466 0 0 0 142125 58 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140733200786176 5601651 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2860/statm: 331921 273414 893 2943 0 328815 0
[pid=2860/tid=2861] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2861/stat : 2861 (toysat) S 2857 2860 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140002012933360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2860/tid=2862] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2862/stat : 2862 (toysat) S 2857 2860 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140002002443504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2860/tid=2863] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2863/stat : 2863 (toysat) S 2857 2860 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140001991969968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1327684

[startup+1482.3 s]
/proc/loadavg: 2.03 2.08 2.08 3/265 2952
/proc/meminfo: memFree=29750628/32872528 swapFree=7556/7556
[pid=2860] ppid=2857 vsize=1327684 CPUtime=1481.81 cores=4-7,12-15
/proc/2860/stat : 2860 (toysat) R 2857 2860 32495 0 -1 4202496 273466 0 0 0 148122 59 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140733200803448 5711439 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2860/statm: 331921 273414 893 2943 0 328815 0
[pid=2860/tid=2861] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2861/stat : 2861 (toysat) S 2857 2860 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140002012933360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2860/tid=2862] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2862/stat : 2862 (toysat) S 2857 2860 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140002002443504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2860/tid=2863] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2863/stat : 2863 (toysat) S 2857 2860 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140001991969968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1327684

[startup+1542.31 s]
/proc/loadavg: 2.01 2.06 2.07 3/265 2953
/proc/meminfo: memFree=29750456/32872528 swapFree=7556/7556
[pid=2860] ppid=2857 vsize=1327684 CPUtime=1541.81 cores=4-7,12-15
/proc/2860/stat : 2860 (toysat) R 2857 2860 32495 0 -1 4202496 273466 0 0 0 154121 60 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140733200786176 12478333 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2860/statm: 331921 273414 893 2943 0 328815 0
[pid=2860/tid=2861] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2861/stat : 2861 (toysat) S 2857 2860 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140002012933360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2860/tid=2862] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2862/stat : 2862 (toysat) S 2857 2860 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140002002443504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2860/tid=2863] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2863/stat : 2863 (toysat) S 2857 2860 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140001991969968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1327684

[startup+1602.3 s]
/proc/loadavg: 2.10 2.08 2.08 3/265 2954
/proc/meminfo: memFree=29750928/32872528 swapFree=7556/7556
[pid=2860] ppid=2857 vsize=1327684 CPUtime=1601.79 cores=4-7,12-15
/proc/2860/stat : 2860 (toysat) R 2857 2860 32495 0 -1 4202496 273466 0 0 0 160118 61 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140733200786176 12875603 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2860/statm: 331921 273414 893 2943 0 328815 0
[pid=2860/tid=2861] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2861/stat : 2861 (toysat) S 2857 2860 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140002012933360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2860/tid=2862] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2862/stat : 2862 (toysat) S 2857 2860 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140002002443504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2860/tid=2863] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2863/stat : 2863 (toysat) S 2857 2860 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140001991969968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1327684

[startup+1662.3 s]
/proc/loadavg: 2.31 2.14 2.10 3/265 2955
/proc/meminfo: memFree=29749956/32872528 swapFree=7556/7556
[pid=2860] ppid=2857 vsize=1327684 CPUtime=1661.78 cores=4-7,12-15
/proc/2860/stat : 2860 (toysat) R 2857 2860 32495 0 -1 4202496 273466 0 0 0 166116 62 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140733200786176 5545796 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2860/statm: 331921 273414 893 2943 0 328815 0
[pid=2860/tid=2861] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2861/stat : 2861 (toysat) S 2857 2860 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140002012933360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2860/tid=2862] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2862/stat : 2862 (toysat) S 2857 2860 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140002002443504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2860/tid=2863] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2863/stat : 2863 (toysat) S 2857 2860 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140001991969968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1327684

[startup+1722.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/265 2957
/proc/meminfo: memFree=29747428/32872528 swapFree=7556/7556
[pid=2860] ppid=2857 vsize=1327684 CPUtime=1721.78 cores=4-7,12-15
/proc/2860/stat : 2860 (toysat) R 2857 2860 32495 0 -1 4202496 273466 0 0 0 172115 63 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140733200786176 5822484 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2860/statm: 331921 273414 893 2943 0 328815 0
[pid=2860/tid=2861] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2861/stat : 2861 (toysat) S 2857 2860 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140002012933360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2860/tid=2862] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2862/stat : 2862 (toysat) S 2857 2860 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140002002443504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2860/tid=2863] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2863/stat : 2863 (toysat) S 2857 2860 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140001991969968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1327684

[startup+1782.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/265 2958
/proc/meminfo: memFree=29746684/32872528 swapFree=7556/7556
[pid=2860] ppid=2857 vsize=1327684 CPUtime=1781.76 cores=4-7,12-15
/proc/2860/stat : 2860 (toysat) R 2857 2860 32495 0 -1 4202496 273466 0 0 0 178113 63 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140733200786176 5823455 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2860/statm: 331921 273414 893 2943 0 328815 0
[pid=2860/tid=2861] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2861/stat : 2861 (toysat) S 2857 2860 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140002012933360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2860/tid=2862] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2862/stat : 2862 (toysat) S 2857 2860 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140002002443504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2860/tid=2863] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2863/stat : 2863 (toysat) S 2857 2860 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140001991969968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1327684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.09 2.11 2.09 3/265 2958
/proc/meminfo: memFree=29747244/32872528 swapFree=7556/7556
[pid=2860] ppid=2857 vsize=1327684 CPUtime=1800.06 cores=4-7,12-15
/proc/2860/stat : 2860 (toysat) R 2857 2860 32495 0 -1 4202496 273466 0 0 0 179942 64 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140733200786176 5712760 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/2860/statm: 331921 273414 893 2943 0 328815 0
[pid=2860/tid=2861] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2861/stat : 2861 (toysat) S 2857 2860 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140002012933360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=2860/tid=2862] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2862/stat : 2862 (toysat) S 2857 2860 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140002002443504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=2860/tid=2863] ppid=2857 vsize=1327684 CPUtime=0 cores=4-7,12-15
/proc/2860/task/2863/stat : 2863 (toysat) S 2857 2860 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28834347 1359548416 273414 33554432000 4194304 16246674 140733200804272 140001991969968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1327684

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.43
CPU system time (s): 0.642902
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 1327684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.642902
maximum resident set size= 1093656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273466
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= 368
involuntary context switches= 2069

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.46471 second user time and 11.0673 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 18:19:22
IDJOB=4116637
IDBENCH=109495
IDSOLVER=2542
FILE ID=node132/4116637-1466957962
RUNJOBID= node132-1466939688-32512
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-9.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116637-1466957962/watcher-4116637-1466957962 -o /tmp/evaluation-result-4116637-1466957962/solver-4116637-1466957962 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466939688-32512 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116637-1466957962.opb

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

MD5SUM BENCH= 16a4f59e2b2123f7f2760440e462508a
RANDOM SEED=375506257

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30850468 kB
Buffers:           32400 kB
Cached:           178904 kB
SwapCached:         1784 kB
Active:          1153720 kB
Inactive:         149796 kB
Active(anon):    1092464 kB
Inactive(anon):     1700 kB
Active(file):      61256 kB
Inactive(file):   148096 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             16976 kB
Writeback:             0 kB
AnonPages:       1099980 kB
Mapped:            10772 kB
Shmem:                 0 kB
Slab:             571032 kB
SReclaimable:      11472 kB
SUnreclaim:       559560 kB
KernelStack:        2240 kB
PageTables:         6332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1242020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    737280 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= 71496 MiB
End job on node132 at 2016-06-26 18:49:22