Trace number 4100769

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.04 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg2.opb
MD5SUM7b629a8e586efe367931c6cdc897e95b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark16917
Best CPU time to get the best result obtained on this benchmark1800.19
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9060
Total number of constraints429
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints429
Minimum length of a constraint30
Maximum length of a constraint1440
Number of terms in the objective function 6930
Biggest coefficient in the objective function 3308
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 529735
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 529735
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T04:31:50+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-4100769-1466217110.opb"]
0.00/0.01	c use --random-gen="3929315824 3536244061 826945270 3625016243 369721629 1273972350 1335492727 1848555198 4075254982 3116422874 381087339 3022251065 1011349091 1246077489 3590838918 1817197232 822237529 4106078748 3413797651 2501848820 3258242799 4058572526 713988660 3516071984 2730232194 3373713700 1832896344 2071821483 1510804284 1158206758 257394457 98919056 1180275190 1164869009 2999403794 2350520932 234700659 3081616692 3646317942 3866604579 4114086591 1603437103 3412676288 202146686 4101652834 1312076059 2951784614 2527092262 3549552938 1079621633 2010304478 4153547808 568501860 1375239108 3029667756 3108695475 2579345735 64398400 1950960125 628680055 1286709678 3313143285 3734206824 2816802128 2604745566 4049509746 4258047679 3946519275 4019602652 3409713070 1883519932 2672732247 3783393851 2267964645 830802505 2912177048 1662202223 3685802187 1871703256 3232398945 3357722172 2077371254 2360401903 3523971213 2032514558 3843261404 2280865603 80494111 3584980606 3941716277 712512058 3597147800 2101714000 3856359000 2637264219 4015174503 4228196224 2346354454 1737832089 57925461 2334483046 2206304586 1984984333 1462971197 951543760 4144334720 3779492388 2584355388 2840515579 3721802591 2287951441 3412763039 442770176 1251684013 2338389246 2032541528 2020159127 3518839408 216460183 1005261209 1840208213 4293479584 1393885292 2355174868 955686462 628372599 4249485667 849088035 597223801 658984072 2691273643 3640145188 2554862116 751872375 2535455006 2265518285 1641843774 1635828385 669323494 1295676187 2652430550 3943622536 3862472984 2928730448 3254920802 1293165771 841015206 560113435 3065079421 1834311877 3428097018 1318604472 648655057 10661097 3770506741 919133865 1224763635 2354040662 4003515311 925005513 2409745169 1099563019 4245694559 2602345572 2503546041 4127860388 1946207122 1132667380 1505561403 2445487281 1900643023 3770926962 3370706054 4009075054 3711366036 1529319614 984301602 3045491062 4051890558 2094910396 2374715874 994362344 76728285 2639149226 108308408 1560692742 4007577667 1316958225 2657205453 2973925980 2335727237 2706718193 2593625640 3580272503 2672353390 880673440 2934778710 151556447 2280367293 2415503681 1857235658 486595578 219504084 3727332661 17085238 756857511 1738284689 1025414405 1143284054 1163137007 1343980426 1234479151 243159366 1774508726 3088286197 3592682569 528320538 184387299 2724717632 2310381535 1854541482 822185471 127169880 3570630569 5977244 1396068117 427039444 2106755020 2787321051 2712483154 192668915 2222002774 3824777240 3260813083 1950431383 1259143073 169949001 2904733089 3660680614 2955811978 3811196771 2352346249 2822779169 3493865 2720863425 2427959836 527232197 3515890033 1494593 2963737700 1065477595 3249444651 322486910 3571589174 3465584097 4068135378 255 362436" option to reproduce the execution
0.19/0.20	c #vars 9060
0.19/0.20	c #constraints 429
0.89/0.96	c BCD2: Hardening is enabled.
0.89/0.96	c BCD2: BiasedSearch is enabled.
0.89/0.96	c Solving starts ...
0.89/0.96	c ============================[ Search Statistics ]============================
0.89/0.96	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.89/0.96	c       |         |          |          |    Limit     GC | Var      | Constra 
0.89/0.96	c =============================================================================
0.89/0.96	c  0.0s |       0 |        0 |        0 |     3158      0 |     1232 |        0
0.99/1.08	c  0.1s |       1 |      554 |      100 |     3158      0 |     1232 |       99
1.19/1.25	c  0.3s |       2 |     1479 |      250 |     3474      0 |     1232 |       99
1.59/1.63	c  0.7s |       3 |     2390 |      475 |     3822      0 |     1232 |       99
1.79/1.82	c  0.9s |       4 |     3891 |      813 |     4205      0 |     1232 |       99
2.20/2.26	c  1.3s |       5 |     4454 |     1320 |     4626      0 |     1232 |       99
2.79/2.84	c  1.9s |       6 |     5296 |     2081 |     5598      0 |     1232 |       99
3.69/3.77	c  2.8s |       7 |     6503 |     3223 |     6158      0 |     1232 |       99
5.09/5.19	c  4.2s |       8 |     8263 |     4936 |     6774      0 |     1232 |       99
6.99/7.06	c  6.1s |       9 |    10889 |     7506 |     7452      0 |     1232 |       99
9.09/9.14	c  8.2s |       9 |    13040 |     9606 |     7452      1 |     1232 |       99
10.49/10.53	c  9.6s |      10 |    14856 |    11361 |     8198      1 |     1232 |       99
12.49/12.56	c 11.6s |      10 |    17154 |    13561 |     8198      1 |     1232 |       99
14.49/14.57	c 13.6s |      10 |    19373 |    15761 |     8198      2 |     1232 |       99
15.89/15.92	c 15.0s |      11 |    20841 |    17144 |     9018      2 |     1232 |       99
17.89/17.93	c 17.0s |      11 |    22663 |    18844 |     9018      2 |     1232 |       99
19.99/20.03	c 19.1s |      11 |    24683 |    20744 |     9018      3 |     1232 |       99
21.99/22.08	c 21.1s |      11 |    27282 |    23344 |     9018      3 |     1232 |       99
24.08/24.10	c 23.1s |      12 |    29771 |    25819 |     9920      4 |     1232 |       99
26.18/26.20	c 25.2s |      12 |    31616 |    27619 |     9920      4 |     1232 |       99
28.18/28.26	c 27.3s |      12 |    33848 |    29819 |     9920      4 |     1232 |       99
30.28/30.35	c 29.4s |      12 |    35585 |    31519 |     9920      5 |     1232 |       99
32.38/32.44	c 31.5s |      12 |    37650 |    33519 |     9920      5 |     1232 |       99
34.48/34.52	c 33.6s |      12 |    39470 |    35219 |     9920      5 |     1232 |       99
36.48/36.57	c 35.6s |      12 |    41032 |    36619 |     9920      6 |     1232 |       99
38.59/38.67	c 37.7s |      12 |    45406 |    38819 |    10912      6 |     1232 |       99
38.59/38.68	c 37.7s |      13 |    45418 |    38832 |    10912      6 |     1232 |       99
40.68/40.79	c 39.8s |      13 |    50728 |    41232 |    10912      6 |     1232 |       99
42.68/42.79	c 41.8s |      13 |    52451 |    42932 |    10912      6 |     1232 |       99
44.78/44.86	c 43.9s |      13 |    54855 |    45332 |    10912      6 |     1232 |       99
46.88/46.98	c 46.0s |      13 |    56357 |    46832 |    10912      7 |     1232 |       99
48.98/49.05	c 48.1s |      13 |    57981 |    48432 |    10912      7 |     1232 |       99
51.08/51.17	c 50.2s |      13 |    59376 |    49832 |    10912      7 |     1232 |       99
53.18/53.23	c 52.3s |      13 |    60494 |    50932 |    10912      7 |     1232 |       99
55.28/55.35	c 54.4s |      13 |    61478 |    51932 |    10912      7 |     1232 |       99
57.28/57.40	c 56.4s |      13 |    62398 |    52832 |    10912      7 |     1232 |       99
59.38/59.41	c 58.4s |      13 |    63428 |    53832 |    10912      7 |     1232 |       99
61.38/61.45	c 60.5s |      13 |    64326 |    54732 |    10912      8 |     1232 |       99
63.39/63.46	c 62.5s |      13 |    66159 |    56432 |    10912      8 |     1232 |       99
65.49/65.53	c 64.6s |      13 |    67760 |    58032 |    12004      8 |     1232 |       99
65.99/66.02	c 65.1s |      14 |    68076 |    58352 |    12004      8 |     1232 |       99
68.08/68.17	c 67.2s |      14 |    69331 |    59352 |    12004      8 |     1232 |       99
70.18/70.25	c 69.3s |      14 |    70680 |    60552 |    12004      9 |     1232 |       99
72.28/72.36	c 71.4s |      14 |    72492 |    62352 |    12004      9 |     1232 |       99
74.28/74.36	c 73.4s |      14 |    74003 |    63852 |    12004      9 |     1232 |       99
76.48/76.56	c 75.6s |      14 |    75435 |    65152 |    12004      9 |     1232 |       99
78.58/78.63	c 77.7s |      14 |    76652 |    65952 |    12004      9 |     1232 |       99
80.68/80.73	c 79.8s |      14 |    78031 |    67052 |    12004      9 |     1232 |       99
82.98/83.00	c 82.0s |      14 |    79235 |    67852 |    12004     10 |     1232 |       99
85.08/85.12	c 84.2s |      14 |    80402 |    68552 |    12004     10 |     1232 |       99
87.18/87.21	c 86.3s |      14 |    81541 |    69552 |    12004     10 |     1232 |       99
89.19/89.26	c 88.3s |      14 |    82666 |    70552 |    12004     10 |     1232 |       99
91.28/91.30	c 90.3s |      14 |    83662 |    71352 |    12004     10 |     1232 |       99
93.28/93.38	c 92.4s |      14 |    84607 |    72052 |    12004     10 |     1232 |       99
95.48/95.56	c 94.6s |      14 |    85411 |    72752 |    12004     10 |     1232 |       99
97.58/97.60	c 96.6s |      14 |    86086 |    73352 |    12004     10 |     1232 |       99
99.58/99.61	c 98.6s |      14 |    86718 |    73952 |    12004     10 |     1232 |       99
101.78/101.87	c  100s |      14 |    87582 |    74652 |    12004     11 |     1232 |       99
104.08/104.17	c  103s |      14 |    88666 |    75452 |    12004     11 |     1232 |       99
106.08/106.18	c  105s |      14 |    90598 |    76052 |    12004     11 |     1232 |       99
108.38/108.40	c  107s |      14 |    93946 |    76852 |    12004     11 |     1232 |       99
110.48/110.54	c  109s |      14 |    94721 |    77552 |    12004     11 |     1232 |       99
112.78/112.86	c  111s |      14 |    95465 |    78252 |    12004     11 |     1232 |       99
114.98/115.02	c  114s |      14 |    96207 |    78952 |    12004     11 |     1232 |       99
117.08/117.17	c  116s |      14 |    97444 |    79652 |    12004     11 |     1232 |       99
119.37/119.42	c  118s |      14 |    99024 |    80352 |    12004     11 |     1232 |       99
121.57/121.66	c  120s |      14 |    99796 |    81052 |    12004     11 |     1232 |       99
123.57/123.66	c  122s |      14 |   101112 |    81552 |    12004     12 |     1232 |       99
125.57/125.69	c  124s |      14 |   103040 |    82252 |    12004     12 |     1232 |       99
127.97/128.01	c  127s |      14 |   104810 |    82952 |    12004     12 |     1232 |       99
130.17/130.21	c  129s |      14 |   107308 |    83652 |    12004     12 |     1232 |       99
132.47/132.53	c  131s |      14 |   108449 |    84352 |    12004     12 |     1232 |       99
134.67/134.77	c  133s |      14 |   110631 |    85052 |    12004     12 |     1232 |       99
136.77/136.89	c  135s |      14 |   111356 |    85652 |    12004     12 |     1232 |       99
138.87/138.93	c  137s |      14 |   112061 |    86252 |    12004     12 |     1232 |       99
140.97/141.02	c  140s |      14 |   113404 |    86852 |    12004     12 |     1232 |       99
143.27/143.35	c  142s |      14 |   114491 |    87552 |    13205     12 |     1232 |       99
143.47/143.57	c  142s |      15 |   114618 |    87632 |    13205     12 |     1232 |       99
145.57/145.60	c  144s |      15 |   116129 |    88832 |    13205     13 |     1232 |       99
147.57/147.68	c  146s |      15 |   118149 |    90832 |    13205     13 |     1232 |       99
149.77/149.80	c  148s |      15 |   120065 |    92732 |    13205     13 |     1232 |       99
151.88/151.94	c  150s |      15 |   121782 |    94432 |    13205     13 |     1232 |       99
153.97/154.02	c  153s |      15 |   123398 |    96032 |    13205     13 |     1232 |       99
155.97/156.08	c  155s |      15 |   125326 |    97932 |    13205     14 |     1232 |       99
158.07/158.14	c  157s |      15 |   127242 |    99832 |    13205     14 |     1232 |       99
160.17/160.24	c  159s |      15 |   129148 |   101732 |    13205     14 |     1232 |       99
162.27/162.31	c  161s |      15 |   130760 |   103332 |    13205     14 |     1232 |       99
164.26/164.36	c  163s |      15 |   132677 |   105232 |    13205     15 |     1232 |       99
166.26/166.39	c  165s |      15 |   134576 |   107132 |    13205     15 |     1232 |       99
168.37/168.42	c  167s |      15 |   136393 |   108932 |    13205     15 |     1232 |       99
170.36/170.46	c  169s |      15 |   138106 |   110632 |    13205     15 |     1232 |       99
172.46/172.58	c  171s |      15 |   139809 |   112332 |    13205     16 |     1232 |       99
174.56/174.62	c  173s |      15 |   141821 |   114332 |    13205     16 |     1232 |       99
176.56/176.66	c  175s |      15 |   143625 |   116132 |    13205     16 |     1232 |       99
178.66/178.76	c  177s |      15 |   145349 |   117832 |    13205     16 |     1232 |       99
180.66/180.76	c  179s |      15 |   147355 |   119832 |    13205     17 |     1232 |       99
182.67/182.79	c  181s |      15 |   149164 |   121632 |    13205     17 |     1232 |       99
184.76/184.82	c  183s |      15 |   150869 |   123332 |    13205     17 |     1232 |       99
186.76/186.87	c  185s |      15 |   152373 |   124832 |    13205     17 |     1232 |       99
188.86/188.92	c  187s |      15 |   153980 |   126432 |    13205     18 |     1232 |       99
190.96/191.02	c  190s |      15 |   155585 |   128032 |    13205     18 |     1232 |       99
192.96/193.02	c  192s |      15 |   157292 |   129732 |    13205     18 |     1232 |       99
194.86/194.90	c  193s |      16 |   159134 |   131552 |    14526     18 |     1232 |       99
196.86/196.92	c  195s |      16 |   160734 |   132952 |    14526     18 |     1232 |       99
198.96/199.00	c  198s |      16 |   162041 |   134252 |    14526     19 |     1232 |       99
200.96/201.05	c  200s |      16 |   163953 |   136152 |    14526     19 |     1232 |       99
203.06/203.16	c  202s |      16 |   165964 |   138152 |    14526     19 |     1232 |       99
205.16/205.22	c  204s |      16 |   167987 |   140152 |    14526     19 |     1232 |       99
207.16/207.23	c  206s |      16 |   169713 |   141852 |    14526     19 |     1232 |       99
209.16/209.24	c  208s |      16 |   171236 |   143352 |    14526     20 |     1232 |       99
211.45/211.55	c  210s |      16 |   173043 |   145152 |    14526     20 |     1232 |       99
213.46/213.59	c  212s |      16 |   174898 |   146952 |    14526     20 |     1232 |       99
215.66/215.71	c  214s |      16 |   176495 |   148552 |    14526     20 |     1232 |       99
217.65/217.78	c  216s |      16 |   178419 |   150452 |    14526     21 |     1232 |       99
219.75/219.86	c  218s |      16 |   180137 |   152152 |    14526     21 |     1232 |       99
221.75/221.88	c  220s |      16 |   181961 |   153952 |    14526     21 |     1232 |       99
223.85/223.99	c  223s |      16 |   183889 |   155852 |    14526     21 |     1232 |       99
225.95/226.05	c  225s |      16 |   185504 |   157452 |    14526     21 |     1232 |       99
228.06/228.11	c  227s |      16 |   186937 |   158852 |    14526     22 |     1232 |       99
230.06/230.14	c  229s |      16 |   188547 |   160452 |    14526     22 |     1232 |       99
232.06/232.18	c  231s |      16 |   190531 |   162352 |    14526     22 |     1232 |       99
234.06/234.19	c  233s |      16 |   192152 |   163952 |    14526     22 |     1232 |       99
236.26/236.38	c  235s |      16 |   193650 |   165452 |    14526     22 |     1232 |       99
238.36/238.41	c  237s |      16 |   195302 |   167052 |    14526     23 |     1232 |       99
240.36/240.42	c  239s |      16 |   197618 |   169352 |    14526     23 |     1232 |       99
242.35/242.43	c  241s |      16 |   198824 |   170552 |    14526     23 |     1232 |       99
244.45/244.50	c  243s |      16 |   201456 |   173152 |    14526     23 |     1232 |       99
246.55/246.60	c  245s |      16 |   203160 |   174852 |    14526     24 |     1232 |       99
248.56/248.61	c  247s |      16 |   205266 |   176952 |    14526     24 |     1232 |       99
250.55/250.64	c  249s |      16 |   207169 |   178852 |    14526     24 |     1232 |       99
252.65/252.74	c  251s |      16 |   208774 |   180452 |    14526     24 |     1232 |       99
254.75/254.85	c  253s |      16 |   210188 |   181852 |    14526     24 |     1232 |       99
256.86/256.92	c  255s |      16 |   211585 |   183252 |    14526     25 |     1232 |       99
258.96/259.07	c  258s |      16 |   213207 |   184852 |    14526     25 |     1232 |       99
261.05/261.16	c  260s |      16 |   214713 |   186352 |    14526     25 |     1232 |       99
263.05/263.16	c  262s |      16 |   216221 |   187852 |    14526     25 |     1232 |       99
265.16/265.24	c  264s |      16 |   217832 |   189452 |    14526     25 |     1232 |       99
267.65/267.75	c  266s |      16 |   218534 |   190152 |    14526     26 |     1232 |       99
269.65/269.75	c  268s |      16 |   220445 |   192052 |    14526     26 |     1232 |       99
271.76/271.83	c  270s |      16 |   222366 |   193952 |    14526     26 |     1232 |       99
275.95/276.01	c  275s |      16 |   223881 |   195452 |    14526     26 |     1232 |       99
277.95/278.08	c  277s |      16 |   225403 |   196952 |    15979     26 |     1232 |       99
278.75/278.87	c  277s |      17 |   225888 |   197432 |    15979     26 |     1232 |       99
280.75/280.89	c  279s |      17 |   232707 |   201332 |    15979     26 |     1232 |       99
282.85/282.92	c  281s |      17 |   237581 |   205832 |    15979     27 |     1232 |       99
284.85/284.93	c  283s |      17 |   242115 |   209932 |    15979     27 |     1232 |       99
286.95/287.08	c  286s |      17 |   245542 |   213132 |    15979     28 |     1232 |       99
289.05/289.11	c  288s |      17 |   248796 |   216132 |    15979     28 |     1232 |       99
291.05/291.12	c  290s |      17 |   251634 |   218732 |    15979     28 |     1232 |       99
293.05/293.18	c  292s |      17 |   253855 |   220832 |    15979     28 |     1232 |       99
295.15/295.22	c  294s |      17 |   256161 |   222932 |    15979     28 |     1232 |       99
297.54/297.63	c  296s |      17 |   257639 |   224332 |    15979     29 |     1232 |       99
299.55/299.68	c  298s |      17 |   261546 |   227832 |    15979     29 |     1232 |       99
301.65/301.72	c  300s |      17 |   264548 |   230532 |    15979     29 |     1232 |       99
303.65/303.73	c  302s |      17 |   267118 |   232832 |    15979     29 |     1232 |       99
305.65/305.75	c  304s |      17 |   269465 |   234932 |    15979     30 |     1232 |       99
307.65/307.78	c  306s |      17 |   272426 |   237632 |    15979     30 |     1232 |       99
309.75/309.81	c  308s |      17 |   274847 |   239832 |    15979     30 |     1232 |       99
311.75/311.89	c  310s |      17 |   277388 |   242132 |    15979     30 |     1232 |       99
313.95/314.00	c  313s |      17 |   279676 |   244232 |    15979     31 |     1232 |       99
315.94/316.00	c  315s |      17 |   282763 |   247032 |    15979     31 |     1232 |       99
317.95/318.01	c  317s |      17 |   285381 |   249432 |    15979     31 |     1232 |       99
319.94/320.09	c  319s |      17 |   287984 |   251832 |    15979     31 |     1232 |       99
322.04/322.13	c  321s |      17 |   290355 |   254032 |    15979     31 |     1232 |       99
324.04/324.16	c  323s |      17 |   292973 |   256432 |    15979     32 |     1232 |       99
326.34/326.45	c  325s |      17 |   295936 |   259132 |    15979     32 |     1232 |       99
328.34/328.46	c  327s |      17 |   298668 |   261632 |    15979     32 |     1232 |       99
330.43/330.54	c  329s |      17 |   301485 |   264232 |    15979     32 |     1232 |       99
332.53/332.68	c  331s |      17 |   304754 |   267232 |    15979     33 |     1232 |       99
334.63/334.74	c  333s |      17 |   307907 |   270132 |    15979     33 |     1232 |       99
336.64/336.74	c  335s |      17 |   310763 |   272732 |    15979     33 |     1232 |       99
338.63/338.80	c  337s |      17 |   313629 |   275332 |    15979     34 |     1232 |       99
340.73/340.85	c  339s |      17 |   316937 |   278332 |    15979     34 |     1232 |       99
342.73/342.87	c  341s |      17 |   319573 |   280732 |    15979     34 |     1232 |       99
344.83/344.93	c  343s |      17 |   322314 |   283232 |    15979     34 |     1232 |       99
346.83/346.95	c  345s |      17 |   324621 |   285332 |    15979     34 |     1232 |       99
348.93/349.00	c  348s |      17 |   326494 |   287032 |    15979     35 |     1232 |       99
350.93/351.02	c  350s |      17 |   329243 |   289632 |    15979     35 |     1232 |       99
352.92/353.04	c  352s |      17 |   331818 |   292032 |    15979     35 |     1232 |       99
354.92/355.04	c  354s |      17 |   334338 |   294332 |    17577     35 |     1232 |       99
356.82/356.93	c  355s |      18 |   336468 |   296252 |    17577     35 |     1232 |       99
358.82/358.95	c  357s |      18 |   342686 |   298652 |    17577     36 |     1232 |       99
360.92/361.03	c  360s |      18 |   346088 |   300852 |    17577     36 |     1232 |       99
362.92/363.08	c  362s |      18 |   347983 |   302652 |    17577     36 |     1232 |       99
365.02/365.19	c  364s |      18 |   350077 |   304352 |    17577     36 |     1232 |       99
367.12/367.20	c  366s |      18 |   351618 |   305852 |    17577     37 |     1232 |       99
369.11/369.28	c  368s |      18 |   353828 |   308052 |    17577     37 |     1232 |       99
371.21/371.32	c  370s |      18 |   355544 |   309752 |    17577     37 |     1232 |       99
373.31/373.41	c  372s |      18 |   356944 |   311152 |    17577     37 |     1232 |       99
375.31/375.49	c  374s |      18 |   358258 |   312452 |    17577     37 |     1232 |       99
377.41/377.53	c  376s |      18 |   359473 |   313652 |    17577     37 |     1232 |       99
379.52/379.61	c  378s |      18 |   360487 |   314652 |    17577     38 |     1232 |       99
381.51/381.68	c  380s |      18 |   361757 |   315852 |    17577     38 |     1232 |       99
383.71/383.86	c  382s |      18 |   362834 |   316952 |    17577     38 |     1232 |       99
385.71/385.86	c  384s |      18 |   363955 |   318052 |    17577     38 |     1232 |       99
387.91/388.03	c  387s |      18 |   365188 |   319252 |    17577     38 |     1232 |       99
390.10/390.23	c  389s |      18 |   366187 |   320252 |    17577     38 |     1232 |       99
392.20/392.30	c  391s |      18 |   367105 |   321152 |    17577     38 |     1232 |       99
394.20/394.33	c  393s |      18 |   367816 |   321852 |    17577     38 |     1232 |       99
396.40/396.54	c  395s |      18 |   368712 |   322752 |    17577     38 |     1232 |       99
398.60/398.76	c  397s |      18 |   369530 |   323552 |    17577     38 |     1232 |       99
400.70/400.80	c  399s |      18 |   369930 |   323952 |    17577     39 |     1232 |       99
405.30/405.47	c  404s |      18 |   370471 |   324452 |    17577     39 |     1232 |       99
407.40/407.54	c  406s |      18 |   371824 |   325752 |    17577     39 |     1232 |       99
409.60/409.75	c  408s |      18 |   373401 |   326852 |    17577     39 |     1232 |       99
411.60/411.78	c  410s |      18 |   379179 |   329352 |    17577     39 |     1232 |       99
413.70/413.85	c  412s |      18 |   382792 |   332052 |    17577     39 |     1232 |       99
415.71/415.86	c  414s |      18 |   385218 |   334252 |    17577     39 |     1232 |       99
417.80/417.92	c  416s |      18 |   387767 |   336452 |    17577     39 |     1232 |       99
419.80/419.93	c  418s |      18 |   389527 |   338052 |    17577     40 |     1232 |       99
421.90/422.00	c  421s |      18 |   391934 |   340152 |    17577     40 |     1232 |       99
423.90/424.07	c  423s |      18 |   394395 |   342352 |    17577     40 |     1232 |       99
426.00/426.16	c  425s |      18 |   396449 |   344052 |    17577     40 |     1232 |       99
428.10/428.28	c  427s |      18 |   398310 |   345652 |    17577     40 |     1232 |       99
430.20/430.34	c  429s |      18 |   400277 |   347452 |    17577     40 |     1232 |       99
432.30/432.45	c  431s |      18 |   401828 |   348852 |    17577     41 |     1232 |       99
434.40/434.52	c  433s |      18 |   403752 |   350552 |    17577     41 |     1232 |       99
436.40/436.59	c  435s |      18 |   406496 |   352352 |    17577     41 |     1232 |       99
438.50/438.68	c  437s |      18 |   408762 |   354152 |    17577     41 |     1232 |       99
440.59/440.77	c  439s |      18 |   410782 |   355952 |    17577     41 |     1232 |       99
442.59/442.79	c  441s |      18 |   412525 |   357552 |    17577     41 |     1232 |       99
444.79/444.90	c  443s |      18 |   414740 |   359352 |    17577     41 |     1232 |       99
446.79/446.92	c  445s |      18 |   416091 |   360452 |    17577     42 |     1232 |       99
448.89/449.01	c  448s |      18 |   416980 |   361052 |    17577     42 |     1232 |       99
450.89/451.07	c  450s |      18 |   419272 |   362852 |    17577     42 |     1232 |       99
452.99/453.17	c  452s |      18 |   422848 |   365952 |    17577     42 |     1232 |       99
455.18/455.30	c  454s |      18 |   424703 |   367352 |    17577     42 |     1232 |       99
457.18/457.31	c  456s |      18 |   426335 |   368952 |    17577     42 |     1232 |       99
459.18/459.38	c  458s |      18 |   427938 |   370552 |    17577     42 |     1232 |       99
461.38/461.50	c  460s |      18 |   429444 |   372052 |    17577     43 |     1232 |       99
463.38/463.58	c  462s |      18 |   430950 |   373552 |    17577     43 |     1232 |       99
465.48/465.60	c  464s |      18 |   432360 |   374952 |    17577     43 |     1232 |       99
467.49/467.64	c  466s |      18 |   433761 |   376352 |    17577     43 |     1232 |       99
469.48/469.67	c  468s |      18 |   435067 |   377652 |    17577     43 |     1232 |       99
471.68/471.80	c  470s |      18 |   436376 |   378952 |    17577     43 |     1232 |       99
473.68/473.88	c  472s |      18 |   437581 |   380152 |    17577     43 |     1232 |       99
475.88/476.03	c  475s |      18 |   438785 |   381352 |    17577     43 |     1232 |       99
477.88/478.06	c  477s |      18 |   439990 |   382552 |    17577     43 |     1232 |       99
479.98/480.16	c  479s |      18 |   441094 |   383652 |    17577     44 |     1232 |       99
481.98/482.18	c  481s |      18 |   442299 |   384852 |    17577     44 |     1232 |       99
484.08/484.26	c  483s |      18 |   443500 |   386052 |    17577     44 |     1232 |       99
486.18/486.37	c  485s |      18 |   444602 |   387152 |    17577     44 |     1232 |       99
488.28/488.43	c  487s |      18 |   445808 |   388352 |    17577     44 |     1232 |       99
490.37/490.50	c  489s |      18 |   447007 |   389552 |    17577     44 |     1232 |       99
492.37/492.54	c  491s |      18 |   448116 |   390652 |    17577     44 |     1232 |       99
494.47/494.63	c  493s |      18 |   449317 |   391852 |    17577     44 |     1232 |       99
496.77/496.95	c  495s |      18 |   450226 |   392752 |    17577     44 |     1232 |       99
498.87/499.01	c  498s |      18 |   451148 |   393652 |    17577     44 |     1232 |       99
501.07/501.27	c  500s |      18 |   452662 |   394452 |    17577     45 |     1232 |       99
503.17/503.32	c  502s |      18 |   456799 |   396052 |    17577     45 |     1232 |       99
505.27/505.45	c  504s |      18 |   459142 |   397952 |    17577     45 |     1232 |       99
507.47/507.63	c  506s |      18 |   461266 |   399552 |    17577     45 |     1232 |       99
510.16/510.33	c  509s |      18 |   461792 |   400052 |    17577     45 |     1232 |       99
512.26/512.40	c  511s |      18 |   462810 |   401052 |    17577     45 |     1232 |       99
514.36/514.59	c  513s |      18 |   463838 |   402052 |    17577     45 |     1232 |       99
516.46/516.60	c  515s |      18 |   464828 |   402852 |    17577     45 |     1232 |       99
518.46/518.64	c  517s |      18 |   465652 |   403652 |    17577     45 |     1232 |       99
520.56/520.71	c  519s |      18 |   466586 |   404552 |    17577     45 |     1232 |       99
522.66/522.82	c  521s |      18 |   467544 |   405452 |    17577     45 |     1232 |       99
524.67/524.85	c  523s |      18 |   468151 |   406052 |    17577     46 |     1232 |       99
526.87/527.03	c  526s |      18 |   469293 |   407152 |    17577     46 |     1232 |       99
528.97/529.16	c  528s |      18 |   470252 |   408052 |    17577     46 |     1232 |       99
531.06/531.24	c  530s |      18 |   471327 |   409052 |    17577     46 |     1232 |       99
533.16/533.31	c  532s |      18 |   472378 |   410052 |    17577     46 |     1232 |       99
535.36/535.55	c  534s |      18 |   473539 |   411152 |    17577     46 |     1232 |       99
537.56/537.71	c  536s |      18 |   474443 |   412052 |    17577     46 |     1232 |       99
539.66/539.85	c  538s |      18 |   475449 |   413052 |    17577     46 |     1232 |       99
541.76/541.99	c  541s |      18 |   476455 |   414052 |    17577     46 |     1232 |       99
543.96/544.17	c  543s |      18 |   477462 |   415052 |    17577     46 |     1232 |       99
546.06/546.21	c  545s |      18 |   478364 |   415952 |    17577     46 |     1232 |       99
548.06/548.25	c  547s |      18 |   479269 |   416852 |    17577     46 |     1232 |       99
550.25/550.44	c  549s |      18 |   480089 |   417652 |    17577     47 |     1232 |       99
552.35/552.59	c  551s |      18 |   481134 |   418652 |    17577     47 |     1232 |       99
554.55/554.75	c  553s |      18 |   482370 |   419852 |    17577     47 |     1232 |       99
556.65/556.89	c  555s |      18 |   483594 |   421052 |    17577     47 |     1232 |       99
558.65/558.90	c  557s |      18 |   484661 |   422052 |    17577     47 |     1232 |       99
560.75/560.98	c  560s |      18 |   485847 |   423052 |    17577     47 |     1232 |       99
562.95/563.16	c  562s |      18 |   487009 |   424152 |    17577     47 |     1232 |       99
565.05/565.26	c  564s |      18 |   488121 |   425252 |    17577     47 |     1232 |       99
567.25/567.43	c  566s |      18 |   489226 |   426352 |    17577     47 |     1232 |       99
570.24/570.41	c  569s |      18 |   489832 |   426952 |    17577     47 |     1232 |       99
572.34/572.51	c  571s |      18 |   490967 |   427852 |    17577     47 |     1232 |       99
574.34/574.54	c  573s |      18 |   491966 |   428752 |    17577     47 |     1232 |       99
576.54/576.74	c  575s |      18 |   492975 |   429752 |    17577     48 |     1232 |       99
578.55/578.77	c  577s |      18 |   494182 |   430952 |    17577     48 |     1232 |       99
580.64/580.83	c  579s |      18 |   495291 |   432052 |    17577     48 |     1232 |       99
582.74/582.94	c  581s |      18 |   496404 |   433152 |    17577     48 |     1232 |       99
584.84/585.02	c  584s |      18 |   498144 |   434252 |    17577     48 |     1232 |       99
586.94/587.13	c  586s |      18 |   499351 |   435452 |    17577     48 |     1232 |       99
589.04/589.21	c  588s |      18 |   500427 |   436452 |    17577     48 |     1232 |       99
591.14/591.35	c  590s |      18 |   501529 |   437452 |    17577     48 |     1232 |       99
593.34/593.51	c  592s |      18 |   502942 |   438652 |    17577     48 |     1232 |       99
596.23/596.44	c  595s |      18 |   503723 |   439252 |    17577     48 |     1232 |       99
598.43/598.66	c  597s |      18 |   504974 |   440352 |    17577     49 |     1232 |       99
600.54/600.78	c  599s |      18 |   505802 |   441152 |    17577     49 |     1232 |       99
602.64/602.84	c  601s |      18 |   508091 |   442052 |    19335     49 |     1232 |       99
604.74/604.91	c  603s |      18 |   511037 |   444352 |    19335     49 |     1232 |       99
604.74/605.00	c  604s |      19 |   511292 |   444482 |    19335     49 |     1232 |       99
606.84/607.08	c  606s |      19 |   519641 |   446782 |    19335     49 |     1232 |       99
608.94/609.15	c  608s |      19 |   521138 |   448282 |    19335     49 |     1232 |       99
611.03/611.22	c  610s |      19 |   522551 |   449682 |    19335     49 |     1232 |       99
613.13/613.33	c  612s |      19 |   523957 |   451082 |    19335     49 |     1232 |       99
615.13/615.33	c  614s |      19 |   525262 |   452382 |    19335     49 |     1232 |       99
617.23/617.41	c  616s |      19 |   526559 |   453682 |    19335     49 |     1232 |       99
619.24/619.41	c  618s |      19 |   527763 |   454882 |    19335     49 |     1232 |       99
621.23/621.49	c  620s |      19 |   528876 |   455982 |    19335     50 |     1232 |       99
623.33/623.56	c  622s |      19 |   529973 |   457082 |    19335     50 |     1232 |       99
625.53/625.74	c  624s |      19 |   531174 |   458282 |    19335     50 |     1232 |       99
627.63/627.81	c  626s |      19 |   532284 |   459382 |    19335     50 |     1232 |       99
629.73/629.98	c  629s |      19 |   533388 |   460482 |    19335     50 |     1232 |       99
631.92/632.18	c  631s |      19 |   534490 |   461582 |    19335     50 |     1232 |       99
633.92/634.19	c  633s |      19 |   535492 |   462582 |    19335     50 |     1232 |       99
636.12/636.33	c  635s |      19 |   536496 |   463582 |    19335     50 |     1232 |       99
638.32/638.50	c  637s |      19 |   537502 |   464582 |    19335     50 |     1232 |       99
640.32/640.59	c  639s |      19 |   538424 |   465482 |    19335     50 |     1232 |       99
642.52/642.70	c  641s |      19 |   539434 |   466482 |    19335     50 |     1232 |       99
644.62/644.84	c  643s |      19 |   540437 |   467482 |    19335     50 |     1232 |       99
646.62/646.85	c  645s |      19 |   541241 |   468282 |    19335     51 |     1232 |       99
648.72/648.91	c  647s |      19 |   542248 |   469282 |    19335     51 |     1232 |       99
650.81/651.04	c  650s |      19 |   543355 |   470382 |    19335     51 |     1232 |       99
652.91/653.13	c  652s |      19 |   544360 |   471382 |    19335     51 |     1232 |       99
654.91/655.15	c  654s |      19 |   545261 |   472282 |    19335     51 |     1232 |       99
657.01/657.23	c  656s |      19 |   546365 |   473382 |    19335     51 |     1232 |       99
659.01/659.27	c  658s |      19 |   547371 |   474382 |    19335     51 |     1232 |       99
661.21/661.45	c  660s |      19 |   548369 |   475382 |    19335     51 |     1232 |       99
663.31/663.52	c  662s |      19 |   549271 |   476282 |    19335     51 |     1232 |       99
665.31/665.55	c  664s |      19 |   550074 |   477082 |    19335     51 |     1232 |       99
667.41/667.63	c  666s |      19 |   550977 |   477982 |    19335     51 |     1232 |       99
669.50/669.77	c  668s |      19 |   551872 |   478882 |    19335     51 |     1232 |       99
671.60/671.82	c  670s |      19 |   552681 |   479682 |    19335     51 |     1232 |       99
673.60/673.87	c  672s |      19 |   553487 |   480482 |    19335     51 |     1232 |       99
675.70/675.96	c  674s |      19 |   554084 |   481082 |    19335     52 |     1232 |       99
677.80/678.01	c  677s |      19 |   554987 |   481982 |    19335     52 |     1232 |       99
679.89/680.12	c  679s |      19 |   555992 |   482982 |    19335     52 |     1232 |       99
682.09/682.35	c  681s |      19 |   556998 |   483982 |    19335     52 |     1232 |       99
684.19/684.45	c  683s |      19 |   557998 |   484982 |    19335     52 |     1232 |       99
686.39/686.66	c  685s |      19 |   558997 |   485982 |    19335     52 |     1232 |       99
688.59/688.89	c  687s |      19 |   559602 |   486582 |    19335     52 |     1232 |       99
690.89/691.18	c  690s |      19 |   560209 |   487182 |    19335     52 |     1232 |       99
693.18/693.40	c  692s |      19 |   560810 |   487782 |    19335     52 |     1232 |       99
695.28/695.55	c  694s |      19 |   561410 |   488382 |    19335     52 |     1232 |       99
697.38/697.60	c  696s |      19 |   562017 |   488982 |    19335     52 |     1232 |       99
699.50/699.70	c  698s |      19 |   562619 |   489582 |    19335     52 |     1232 |       99
701.49/701.80	c  700s |      19 |   563222 |   490182 |    19335     52 |     1232 |       99
703.59/703.88	c  702s |      19 |   563823 |   490782 |    19335     52 |     1232 |       99
705.89/706.11	c  705s |      19 |   564428 |   491382 |    19335     52 |     1232 |       99
707.99/708.23	c  707s |      19 |   565031 |   491982 |    19335     52 |     1232 |       99
710.19/710.48	c  709s |      19 |   565633 |   492582 |    19335     52 |     1232 |       99
712.38/712.64	c  711s |      19 |   566233 |   493182 |    19335     52 |     1232 |       99
714.48/714.72	c  713s |      19 |   566733 |   493682 |    19335     52 |     1232 |       99
718.68/718.97	c  718s |      19 |   567235 |   494182 |    19335     53 |     1232 |       99
720.88/721.15	c  720s |      19 |   568037 |   494982 |    19335     53 |     1232 |       99
722.88/723.16	c  722s |      19 |   568838 |   495782 |    19335     53 |     1232 |       99
724.98/725.21	c  724s |      19 |   569642 |   496582 |    19335     53 |     1232 |       99
727.18/727.40	c  726s |      19 |   570248 |   497182 |    19335     53 |     1232 |       99
729.37/729.65	c  728s |      19 |   571148 |   498082 |    19335     53 |     1232 |       99
731.47/731.71	c  730s |      19 |   571950 |   498882 |    19335     53 |     1232 |       99
733.58/733.86	c  732s |      19 |   572756 |   499682 |    19335     53 |     1232 |       99
735.78/736.02	c  735s |      19 |   573558 |   500482 |    19335     53 |     1232 |       99
737.98/738.23	c  737s |      19 |   574364 |   501282 |    19335     53 |     1232 |       99
740.07/740.40	c  739s |      19 |   575162 |   502082 |    19335     53 |     1232 |       99
742.17/742.42	c  741s |      19 |   575866 |   502782 |    19335     53 |     1232 |       99
744.27/744.56	c  743s |      19 |   576473 |   503382 |    19335     53 |     1232 |       99
746.46/746.78	c  745s |      19 |   577174 |   504082 |    19335     53 |     1232 |       99
748.76/749.02	c  748s |      19 |   577872 |   504782 |    19335     53 |     1232 |       99
750.96/751.26	c  750s |      19 |   578580 |   505482 |    19335     53 |     1232 |       99
753.06/753.35	c  752s |      19 |   579281 |   506182 |    19335     53 |     1232 |       99
755.06/755.36	c  754s |      19 |   579885 |   506782 |    19335     53 |     1232 |       99
757.45/757.71	c  756s |      19 |   580388 |   507282 |    19335     54 |     1232 |       99
759.55/759.87	c  758s |      19 |   581293 |   508182 |    19335     54 |     1232 |       99
761.55/761.89	c  760s |      19 |   582195 |   509082 |    19335     54 |     1232 |       99
763.55/763.89	c  762s |      19 |   583094 |   509982 |    19335     54 |     1232 |       99
765.65/765.96	c  765s |      19 |   584004 |   510882 |    19335     54 |     1232 |       99
767.75/768.03	c  767s |      19 |   584911 |   511782 |    19335     54 |     1232 |       99
775.44/775.77	c  774s |      19 |   585417 |   512282 |    19335     54 |     1232 |       99
777.45/777.78	c  776s |      19 |   586016 |   512882 |    19335     54 |     1232 |       99
779.55/779.82	c  778s |      19 |   586918 |   513782 |    19335     54 |     1232 |       99
781.75/782.02	c  781s |      19 |   587818 |   514682 |    19335     54 |     1232 |       99
783.85/784.11	c  783s |      19 |   588625 |   515482 |    19335     54 |     1232 |       99
785.85/786.13	c  785s |      19 |   589427 |   516282 |    19335     54 |     1232 |       99
787.95/788.23	c  787s |      19 |   590326 |   517182 |    19335     54 |     1232 |       99
790.14/790.47	c  789s |      19 |   591228 |   518082 |    19335     54 |     1232 |       99
792.14/792.48	c  791s |      19 |   592035 |   518882 |    19335     54 |     1232 |       99
794.34/794.67	c  793s |      19 |   592840 |   519682 |    19335     54 |     1232 |       99
797.04/797.32	c  796s |      19 |   593436 |   520282 |    19335     55 |     1232 |       99
799.13/799.42	c  798s |      19 |   594145 |   520982 |    19335     55 |     1232 |       99
801.33/801.60	c  800s |      19 |   595251 |   522082 |    19335     55 |     1232 |       99
803.43/803.78	c  802s |      19 |   596351 |   523182 |    19335     55 |     1232 |       99
805.53/805.86	c  804s |      19 |   597356 |   524182 |    19335     55 |     1232 |       99
807.63/807.95	c  806s |      19 |   598354 |   525182 |    19335     55 |     1232 |       99
809.83/810.17	c  809s |      19 |   599365 |   526182 |    19335     55 |     1232 |       99
812.03/812.31	c  811s |      19 |   600266 |   527082 |    19335     55 |     1232 |       99
814.23/814.51	c  813s |      19 |   601168 |   527982 |    19335     55 |     1232 |       99
816.43/816.77	c  815s |      19 |   602072 |   528882 |    19335     55 |     1232 |       99
818.73/819.02	c  818s |      19 |   602971 |   529782 |    19335     55 |     1232 |       99
820.73/821.06	c  820s |      19 |   603677 |   530482 |    19335     55 |     1232 |       99
822.73/823.08	c  822s |      19 |   604481 |   531282 |    19335     55 |     1232 |       99
824.83/825.14	c  824s |      19 |   605280 |   532082 |    19335     55 |     1232 |       99
826.93/827.29	c  826s |      19 |   606088 |   532882 |    19335     55 |     1232 |       99
829.32/829.64	c  828s |      19 |   606690 |   533482 |    19335     56 |     1232 |       99
831.32/831.66	c  830s |      19 |   607592 |   534382 |    19335     56 |     1232 |       99
833.52/833.86	c  832s |      19 |   608494 |   535282 |    19335     56 |     1232 |       99
835.62/835.98	c  835s |      19 |   609401 |   536182 |    19335     56 |     1232 |       99
839.81/840.15	c  839s |      19 |   609699 |   536482 |    19335     56 |     1232 |       99
849.21/849.58	c  848s |      19 |   610299 |   537082 |    19335     56 |     1232 |       99
851.31/851.65	c  850s |      19 |   611304 |   538082 |    19335     56 |     1232 |       99
853.41/853.78	c  852s |      19 |   612306 |   539082 |    19335     56 |     1232 |       99
855.70/856.00	c  855s |      19 |   613015 |   539782 |    19335     56 |     1232 |       99
857.90/858.23	c  857s |      19 |   614013 |   540782 |    19335     56 |     1232 |       99
860.01/860.33	c  859s |      19 |   614929 |   541682 |    19335     56 |     1232 |       99
862.10/862.48	c  861s |      19 |   615931 |   542682 |    19335     56 |     1232 |       99
864.30/864.62	c  863s |      19 |   616930 |   543682 |    19335     56 |     1232 |       99
866.30/866.68	c  865s |      19 |   617829 |   544582 |    19335     56 |     1232 |       99
868.40/868.70	c  867s |      19 |   618634 |   545382 |    19335     56 |     1232 |       99
870.60/870.90	c  869s |      19 |   619529 |   546282 |    19335     56 |     1232 |       99
873.70/874.09	c  873s |      19 |   619838 |   546582 |    19335     57 |     1232 |       99
875.80/876.14	c  875s |      19 |   620538 |   547282 |    19335     57 |     1232 |       99
878.00/878.33	c  877s |      19 |   621337 |   548082 |    19335     57 |     1232 |       99
880.20/880.57	c  879s |      19 |   622133 |   548882 |    19335     57 |     1232 |       99
882.20/882.59	c  881s |      19 |   622839 |   549582 |    19335     57 |     1232 |       99
884.20/884.59	c  883s |      19 |   623543 |   550282 |    19335     57 |     1232 |       99
886.30/886.61	c  885s |      19 |   624244 |   550982 |    19335     57 |     1232 |       99
888.30/888.65	c  887s |      19 |   624945 |   551682 |    19335     57 |     1232 |       99
890.49/890.84	c  889s |      19 |   625652 |   552382 |    19335     57 |     1232 |       99
892.59/893.00	c  892s |      19 |   626356 |   553082 |    19335     57 |     1232 |       99
894.79/895.14	c  894s |      19 |   627057 |   553782 |    19335     57 |     1232 |       99
896.99/897.34	c  896s |      19 |   627756 |   554482 |    19335     57 |     1232 |       99
898.99/899.34	c  898s |      19 |   628365 |   555082 |    19335     57 |     1232 |       99
901.28/901.69	c  900s |      19 |   628984 |   555682 |    19335     57 |     1232 |       99
903.28/903.69	c  902s |      19 |   629590 |   556282 |    19335     57 |     1232 |       99
905.38/905.78	c  904s |      19 |   630202 |   556882 |    19335     57 |     1232 |       99
907.48/907.88	c  906s |      19 |   630809 |   557482 |    19335     57 |     1232 |       99
909.68/910.06	c  909s |      19 |   631507 |   558182 |    19335     57 |     1232 |       99
911.78/912.16	c  911s |      19 |   632112 |   558782 |    19335     57 |     1232 |       99
913.78/914.16	c  913s |      19 |   632716 |   559382 |    19335     57 |     1232 |       99
915.87/916.26	c  915s |      19 |   633210 |   559882 |    19335     58 |     1232 |       99
917.87/918.26	c  917s |      19 |   634019 |   560682 |    19335     58 |     1232 |       99
919.97/920.37	c  919s |      19 |   635016 |   561682 |    19335     58 |     1232 |       99
921.97/922.38	c  921s |      19 |   635932 |   562582 |    19335     58 |     1232 |       99
924.17/924.59	c  923s |      19 |   636938 |   563582 |    19335     58 |     1232 |       99
926.27/926.69	c  925s |      19 |   637846 |   564482 |    19335     58 |     1232 |       99
928.47/928.88	c  927s |      19 |   638747 |   565382 |    19335     58 |     1232 |       99
930.66/931.09	c  930s |      19 |   639652 |   566282 |    19335     58 |     1232 |       99
932.76/933.10	c  932s |      19 |   640452 |   567082 |    19335     58 |     1232 |       99
936.66/937.02	c  936s |      19 |   640870 |   567482 |    19335     58 |     1232 |       99
938.86/939.22	c  938s |      19 |   641679 |   568282 |    19335     58 |     1232 |       99
940.86/941.25	c  940s |      19 |   642579 |   569182 |    19335     58 |     1232 |       99
943.06/943.44	c  942s |      19 |   643487 |   570082 |    19335     58 |     1232 |       99
945.16/945.53	c  944s |      19 |   644285 |   570882 |    19335     58 |     1232 |       99
947.16/947.57	c  946s |      19 |   645091 |   571682 |    19335     58 |     1232 |       99
949.25/949.63	c  948s |      19 |   645895 |   572482 |    19335     58 |     1232 |       99
951.35/951.75	c  950s |      19 |   646394 |   572982 |    19335     59 |     1232 |       99
953.46/953.88	c  952s |      19 |   647400 |   573982 |    19335     59 |     1232 |       99
955.65/956.02	c  955s |      19 |   648310 |   574882 |    19335     59 |     1232 |       99
957.75/958.11	c  957s |      19 |   649219 |   575782 |    19335     59 |     1232 |       99
959.85/960.22	c  959s |      19 |   650117 |   576682 |    19335     59 |     1232 |       99
961.94/962.36	c  961s |      19 |   651018 |   577582 |    19335     59 |     1232 |       99
964.14/964.50	c  963s |      19 |   651916 |   578482 |    19335     59 |     1232 |       99
966.34/966.70	c  965s |      19 |   652818 |   579382 |    19335     59 |     1232 |       99
968.34/968.75	c  967s |      19 |   653525 |   580082 |    19335     59 |     1232 |       99
970.44/970.89	c  969s |      19 |   654327 |   580882 |    19335     59 |     1232 |       99
972.64/973.00	c  972s |      19 |   655142 |   581682 |    19335     59 |     1232 |       99
974.64/975.02	c  974s |      19 |   655949 |   582482 |    19335     59 |     1232 |       99
976.74/977.19	c  976s |      19 |   656763 |   583282 |    19335     59 |     1232 |       99
978.84/979.27	c  978s |      19 |   657466 |   583982 |    19335     59 |     1232 |       99
981.04/981.49	c  980s |      19 |   658273 |   584782 |    19335     59 |     1232 |       99
984.24/984.64	c  983s |      19 |   659095 |   585582 |    19335     60 |     1232 |       99
986.34/986.75	c  985s |      19 |   659893 |   586382 |    19335     60 |     1232 |       99
988.33/988.77	c  987s |      19 |   660801 |   587282 |    19335     60 |     1232 |       99
990.43/990.82	c  989s |      19 |   661707 |   588182 |    19335     60 |     1232 |       99
993.44/993.85	c  992s |      19 |   662228 |   588682 |    19335     60 |     1232 |       99
995.44/995.86	c  994s |      19 |   662923 |   589382 |    19335     60 |     1232 |       99
997.54/997.99	c  997s |      19 |   663729 |   590182 |    19335     60 |     1232 |       99
999.54/999.99	c  999s |      19 |   664539 |   590982 |    19335     60 |     1232 |       99
1001.85/1002.22	c 1001s |      19 |   665344 |   591782 |    19335     60 |     1232 |       99
1003.84/1004.26	c 1003s |      19 |   666143 |   592582 |    19335     60 |     1232 |       99
1005.94/1006.31	c 1005s |      19 |   666956 |   593382 |    19335     60 |     1232 |       99
1008.14/1008.54	c 1007s |      19 |   667854 |   594282 |    19335     60 |     1232 |       99
1010.34/1010.79	c 1009s |      19 |   668655 |   595082 |    19335     60 |     1232 |       99
1012.54/1012.97	c 1012s |      19 |   669360 |   595782 |    19335     60 |     1232 |       99
1014.64/1015.04	c 1014s |      19 |   670059 |   596482 |    19335     60 |     1232 |       99
1016.84/1017.29	c 1016s |      19 |   670860 |   597282 |    19335     60 |     1232 |       99
1018.94/1019.38	c 1018s |      19 |   671567 |   597982 |    19335     60 |     1232 |       99
1021.64/1022.02	c 1021s |      19 |   672268 |   598682 |    19335     61 |     1232 |       99
1024.03/1024.44	c 1023s |      19 |   673077 |   599482 |    19335     61 |     1232 |       99
1026.23/1026.64	c 1025s |      19 |   674073 |   600482 |    19335     61 |     1232 |       99
1028.33/1028.74	c 1027s |      19 |   674990 |   601382 |    19335     61 |     1232 |       99
1030.44/1030.82	c 1029s |      19 |   675788 |   602182 |    19335     61 |     1232 |       99
1037.33/1037.77	c 1036s |      19 |   675996 |   602382 |    19335     61 |     1232 |       99
1039.33/1039.79	c 1038s |      19 |   676889 |   603282 |    19335     61 |     1232 |       99
1041.44/1041.86	c 1040s |      19 |   677800 |   604182 |    19335     61 |     1232 |       99
1043.54/1043.95	c 1042s |      19 |   678712 |   605082 |    19335     61 |     1232 |       99
1045.74/1046.13	c 1045s |      19 |   679608 |   605982 |    19335     61 |     1232 |       99
1047.93/1048.33	c 1047s |      19 |   680517 |   606882 |    19335     61 |     1232 |       99
1050.13/1050.55	c 1049s |      19 |   681417 |   607782 |    19335     61 |     1232 |       99
1052.33/1052.73	c 1051s |      19 |   682322 |   608682 |    19335     61 |     1232 |       99
1054.43/1054.83	c 1053s |      19 |   683135 |   609482 |    19335     61 |     1232 |       99
1056.63/1057.06	c 1056s |      19 |   683928 |   610282 |    19335     61 |     1232 |       99
1058.83/1059.22	c 1058s |      19 |   684640 |   610982 |    19335     61 |     1232 |       99
1061.43/1061.86	c 1060s |      19 |   685341 |   611682 |    19335     62 |     1232 |       99
1066.03/1066.45	c 1065s |      19 |   685843 |   612182 |    19335     62 |     1232 |       99
1068.13/1068.58	c 1067s |      19 |   686939 |   613282 |    19335     62 |     1232 |       99
1070.23/1070.65	c 1069s |      19 |   687952 |   614282 |    19335     62 |     1232 |       99
1072.43/1072.83	c 1071s |      19 |   688959 |   615282 |    19335     62 |     1232 |       99
1074.63/1075.03	c 1074s |      19 |   689966 |   616282 |    19335     62 |     1232 |       99
1076.73/1077.19	c 1076s |      19 |   690960 |   617282 |    19335     62 |     1232 |       99
1078.93/1079.37	c 1078s |      19 |   691973 |   618282 |    19335     62 |     1232 |       99
1080.93/1081.38	c 1080s |      19 |   692868 |   619182 |    19335     62 |     1232 |       99
1083.03/1083.50	c 1082s |      19 |   693776 |   620082 |    19335     62 |     1232 |       99
1085.23/1085.65	c 1084s |      19 |   694677 |   620982 |    19335     62 |     1232 |       99
1087.33/1087.71	c 1086s |      19 |   696522 |   622282 |    19335     62 |     1232 |       99
1091.12/1091.56	c 1090s |      19 |   697404 |   622982 |    19335     62 |     1232 |       99
1093.32/1093.79	c 1092s |      19 |   698929 |   624282 |    19335     63 |     1232 |       99
1095.32/1095.79	c 1094s |      19 |   700608 |   625582 |    19335     63 |     1232 |       99
1097.42/1097.85	c 1096s |      19 |   702864 |   626982 |    19335     63 |     1232 |       99
1099.52/1099.92	c 1098s |      19 |   705286 |   628382 |    19335     63 |     1232 |       99
1101.52/1101.93	c 1100s |      19 |   707331 |   629682 |    19335     63 |     1232 |       99
1103.52/1103.95	c 1102s |      19 |   708902 |   631082 |    19335     63 |     1232 |       99
1105.72/1106.10	c 1105s |      19 |   710580 |   632482 |    19335     63 |     1232 |       99
1107.82/1108.26	c 1107s |      19 |   712848 |   633782 |    19335     63 |     1232 |       99
1110.02/1110.40	c 1109s |      19 |   714112 |   634982 |    19335     63 |     1232 |       99
1112.12/1112.56	c 1111s |      19 |   715774 |   636282 |    19335     63 |     1232 |       99
1114.31/1114.74	c 1113s |      19 |   716897 |   637282 |    19335     64 |     1232 |       99
1116.31/1116.74	c 1115s |      19 |   717825 |   638082 |    19335     64 |     1232 |       99
1118.42/1118.85	c 1117s |      19 |   718751 |   638882 |    19335     64 |     1232 |       99
1120.52/1120.93	c 1119s |      19 |   719819 |   639682 |    19335     64 |     1232 |       99
1122.73/1123.13	c 1122s |      19 |   720853 |   640582 |    19335     64 |     1232 |       99
1124.93/1125.37	c 1124s |      19 |   721961 |   641482 |    19335     64 |     1232 |       99
1127.23/1127.62	c 1126s |      19 |   722910 |   642382 |    19335     64 |     1232 |       99
1129.52/1129.90	c 1128s |      19 |   723748 |   643182 |    19335     64 |     1232 |       99
1131.63/1132.04	c 1131s |      19 |   724492 |   643882 |    19335     64 |     1232 |       99
1133.83/1134.29	c 1133s |      19 |   725226 |   644582 |    19335     64 |     1232 |       99
1135.92/1136.32	c 1135s |      19 |   725976 |   645282 |    19335     64 |     1232 |       99
1137.92/1138.37	c 1137s |      19 |   726615 |   645882 |    19335     64 |     1232 |       99
1140.02/1140.44	c 1139s |      19 |   727230 |   646482 |    19335     64 |     1232 |       99
1142.22/1142.62	c 1141s |      19 |   727835 |   647082 |    19335     64 |     1232 |       99
1144.22/1144.62	c 1143s |      19 |   728453 |   647682 |    19335     64 |     1232 |       99
1146.22/1146.62	c 1145s |      19 |   729052 |   648282 |    19335     64 |     1232 |       99
1148.32/1148.70	c 1147s |      19 |   729697 |   648882 |    19335     64 |     1232 |       99
1150.32/1150.78	c 1149s |      19 |   730342 |   649482 |    19335     64 |     1232 |       99
1152.52/1152.92	c 1151s |      19 |   730960 |   650082 |    19335     65 |     1232 |       99
1154.72/1155.11	c 1154s |      19 |   731525 |   650482 |    19335     65 |     1232 |       99
1156.92/1157.39	c 1156s |      19 |   732309 |   651182 |    19335     65 |     1232 |       99
1159.22/1159.61	c 1158s |      19 |   733026 |   651882 |    19335     65 |     1232 |       99
1161.52/1161.91	c 1160s |      19 |   733733 |   652582 |    19335     65 |     1232 |       99
1163.82/1164.20	c 1163s |      19 |   734444 |   653282 |    19335     65 |     1232 |       99
1166.01/1166.41	c 1165s |      19 |   735052 |   653882 |    19335     65 |     1232 |       99
1168.21/1168.65	c 1167s |      19 |   735654 |   654482 |    19335     65 |     1232 |       99
1170.51/1170.99	c 1170s |      19 |   736275 |   655082 |    19335     65 |     1232 |       99
1172.71/1173.11	c 1172s |      19 |   736892 |   655682 |    19335     65 |     1232 |       99
1175.11/1175.54	c 1174s |      19 |   737489 |   656282 |    19335     65 |     1232 |       99
1177.41/1177.80	c 1176s |      19 |   738105 |   656882 |    19335     65 |     1232 |       99
1179.41/1179.80	c 1178s |      19 |   738739 |   657482 |    19335     65 |     1232 |       99
1181.61/1182.00	c 1181s |      19 |   739313 |   657982 |    19335     65 |     1232 |       99
1183.91/1184.30	c 1183s |      19 |   740063 |   658482 |    19335     65 |     1232 |       99
1186.11/1186.57	c 1185s |      19 |   741659 |   658882 |    19335     65 |     1232 |       99
1188.61/1189.04	c 1188s |      19 |   743051 |   659382 |    19335     65 |     1232 |       99
1190.81/1191.28	c 1190s |      19 |   743713 |   659882 |    19335     65 |     1232 |       99
1192.81/1193.29	c 1192s |      19 |   744286 |   660282 |    19335     65 |     1232 |       99
1194.91/1195.31	c 1194s |      19 |   744901 |   660682 |    19335     65 |     1232 |       99
1197.01/1197.46	c 1196s |      19 |   745633 |   661082 |    19335     65 |     1232 |       99
1199.51/1199.99	c 1199s |      19 |   746418 |   661582 |    19335     65 |     1232 |       99
1201.81/1202.24	c 1201s |      19 |   747207 |   661982 |    19335     65 |     1232 |       99
1203.91/1204.35	c 1203s |      19 |   747826 |   662382 |    21269     65 |     1232 |       99
1206.21/1206.66	c 1205s |      19 |   748517 |   662882 |    21269     65 |     1232 |       99
1208.71/1209.14	c 1208s |      19 |   749262 |   663382 |    21269     65 |     1232 |       99
1210.71/1211.17	c 1210s |      19 |   749844 |   663782 |    21269     65 |     1232 |       99
1212.91/1213.39	c 1212s |      19 |   750557 |   664182 |    21269     65 |     1232 |       99
1215.31/1215.78	c 1214s |      19 |   750976 |   664482 |    21269     66 |     1232 |       99
1217.50/1217.90	c 1216s |      19 |   751644 |   664982 |    21269     66 |     1232 |       99
1219.70/1220.14	c 1219s |      19 |   752399 |   665482 |    21269     66 |     1232 |       99
1221.81/1222.26	c 1221s |      19 |   753056 |   665982 |    21269     66 |     1232 |       99
1224.01/1224.47	c 1223s |      19 |   753757 |   666482 |    21269     66 |     1232 |       99
1225.50/1225.98	c 1225s |      20 |   754216 |   666827 |    21269     66 |     1232 |       99
1227.50/1227.99	c 1227s |      20 |   758673 |   670627 |    21269     66 |     1232 |       99
1229.70/1230.11	c 1229s |      20 |   761287 |   673027 |    21269     66 |     1232 |       99
1232.00/1232.44	c 1231s |      20 |   762001 |   673727 |    21269     66 |     1232 |       99
1234.80/1235.20	c 1234s |      20 |   762514 |   674227 |    21269     67 |     1232 |       99
1236.80/1237.29	c 1236s |      20 |   763418 |   675127 |    21269     67 |     1232 |       99
1239.00/1239.42	c 1238s |      20 |   764319 |   676027 |    21269     67 |     1232 |       99
1241.10/1241.58	c 1240s |      20 |   765228 |   676927 |    21269     67 |     1232 |       99
1243.30/1243.79	c 1242s |      20 |   766123 |   677827 |    21269     67 |     1232 |       99
1245.60/1246.02	c 1245s |      20 |   767031 |   678727 |    21269     67 |     1232 |       99
1247.60/1248.07	c 1247s |      20 |   767833 |   679527 |    21269     67 |     1232 |       99
1249.70/1250.10	c 1249s |      20 |   768637 |   680327 |    21269     67 |     1232 |       99
1251.80/1252.23	c 1251s |      20 |   769433 |   681127 |    21269     67 |     1232 |       99
1254.00/1254.42	c 1253s |      20 |   770239 |   681927 |    21269     67 |     1232 |       99
1256.10/1256.55	c 1255s |      20 |   771047 |   682727 |    21269     67 |     1232 |       99
1258.40/1258.81	c 1257s |      20 |   771855 |   683527 |    21269     67 |     1232 |       99
1260.60/1261.04	c 1260s |      20 |   772663 |   684327 |    21269     67 |     1232 |       99
1262.80/1263.23	c 1262s |      20 |   773471 |   685127 |    21269     67 |     1232 |       99
1264.90/1265.35	c 1264s |      20 |   774068 |   685727 |    21269     68 |     1232 |       99
1266.90/1267.39	c 1266s |      20 |   774775 |   686427 |    21269     68 |     1232 |       99
1269.00/1269.47	c 1268s |      20 |   775476 |   687127 |    21269     68 |     1232 |       99
1271.09/1271.57	c 1270s |      20 |   776181 |   687827 |    21269     68 |     1232 |       99
1273.19/1273.63	c 1272s |      20 |   776899 |   688527 |    21269     68 |     1232 |       99
1275.19/1275.64	c 1274s |      20 |   777487 |   689127 |    21269     68 |     1232 |       99
1277.19/1277.69	c 1276s |      20 |   778087 |   689727 |    21269     68 |     1232 |       99
1279.49/1279.96	c 1278s |      20 |   778798 |   690427 |    21269     68 |     1232 |       99
1281.79/1282.22	c 1281s |      20 |   779501 |   691127 |    21269     68 |     1232 |       99
1283.99/1284.49	c 1283s |      20 |   780210 |   691827 |    21269     68 |     1232 |       99
1286.19/1286.63	c 1285s |      20 |   780918 |   692527 |    21269     68 |     1232 |       99
1288.49/1288.97	c 1288s |      20 |   781616 |   693227 |    21269     68 |     1232 |       99
1290.59/1291.06	c 1290s |      20 |   782121 |   693727 |    21269     68 |     1232 |       99
1292.69/1293.15	c 1292s |      20 |   782718 |   694327 |    21269     68 |     1232 |       99
1294.79/1295.20	c 1294s |      20 |   783323 |   694927 |    21269     68 |     1232 |       99
1296.99/1297.41	c 1296s |      20 |   783930 |   695527 |    21269     68 |     1232 |       99
1299.09/1299.57	c 1298s |      20 |   784527 |   696127 |    21269     68 |     1232 |       99
1301.19/1301.60	c 1300s |      20 |   785135 |   696727 |    21269     68 |     1232 |       99
1303.59/1304.06	c 1303s |      20 |   785738 |   697327 |    21269     69 |     1232 |       99
1305.79/1306.22	c 1305s |      20 |   786250 |   697827 |    21269     69 |     1232 |       99
1307.89/1308.31	c 1307s |      20 |   786954 |   698527 |    21269     69 |     1232 |       99
1314.68/1315.17	c 1314s |      20 |   787449 |   699027 |    21269     69 |     1232 |       99
1316.88/1317.31	c 1316s |      20 |   788146 |   699727 |    21269     69 |     1232 |       99
1319.08/1319.50	c 1318s |      20 |   788847 |   700427 |    21269     69 |     1232 |       99
1321.28/1321.72	c 1320s |      20 |   789550 |   701127 |    21269     69 |     1232 |       99
1323.48/1323.97	c 1323s |      20 |   790255 |   701827 |    21269     69 |     1232 |       99
1325.78/1326.21	c 1325s |      20 |   790961 |   702527 |    21269     69 |     1232 |       99
1327.98/1328.40	c 1327s |      20 |   791658 |   703227 |    21269     69 |     1232 |       99
1330.18/1330.62	c 1329s |      20 |   792364 |   703927 |    21269     69 |     1232 |       99
1332.28/1332.72	c 1331s |      20 |   793070 |   704627 |    21269     69 |     1232 |       99
1334.28/1334.73	c 1333s |      20 |   793666 |   705227 |    21269     69 |     1232 |       99
1336.38/1336.89	c 1335s |      20 |   794168 |   705727 |    21269     69 |     1232 |       99
1338.48/1338.99	c 1338s |      20 |   794774 |   706327 |    21269     69 |     1232 |       99
1340.78/1341.23	c 1340s |      20 |   795384 |   706927 |    21269     69 |     1232 |       99
1342.99/1343.42	c 1342s |      20 |   795993 |   707527 |    21269     69 |     1232 |       99
1345.09/1345.57	c 1344s |      20 |   796588 |   708127 |    21269     69 |     1232 |       99
1347.39/1347.85	c 1346s |      20 |   797195 |   708727 |    21269     69 |     1232 |       99
1349.59/1350.06	c 1349s |      20 |   797591 |   709127 |    21269     70 |     1232 |       99
1351.79/1352.27	c 1351s |      20 |   798298 |   709827 |    21269     70 |     1232 |       99
1353.89/1354.34	c 1353s |      20 |   799004 |   710527 |    21269     70 |     1232 |       99
1355.99/1356.43	c 1355s |      20 |   799706 |   711227 |    21269     70 |     1232 |       99
1358.09/1358.52	c 1357s |      20 |   800401 |   711927 |    21269     70 |     1232 |       99
1360.19/1360.68	c 1359s |      20 |   801118 |   712627 |    21269     70 |     1232 |       99
1362.59/1363.09	c 1362s |      20 |   801812 |   713327 |    21269     70 |     1232 |       99
1367.78/1368.27	c 1367s |      20 |   802213 |   713727 |    21269     70 |     1232 |       99
1370.08/1370.51	c 1369s |      20 |   802924 |   714427 |    21269     70 |     1232 |       99
1372.18/1372.67	c 1371s |      20 |   803521 |   715027 |    21269     70 |     1232 |       99
1374.38/1374.88	c 1373s |      20 |   804231 |   715727 |    21269     70 |     1232 |       99
1376.48/1376.98	c 1376s |      20 |   804841 |   716327 |    21269     70 |     1232 |       99
1378.88/1379.33	c 1378s |      20 |   805529 |   717027 |    21269     70 |     1232 |       99
1380.88/1381.37	c 1380s |      20 |   806146 |   717627 |    21269     70 |     1232 |       99
1382.98/1383.48	c 1382s |      20 |   806741 |   718227 |    21269     70 |     1232 |       99
1385.18/1385.68	c 1384s |      20 |   807352 |   718827 |    21269     70 |     1232 |       99
1387.28/1387.77	c 1386s |      20 |   807954 |   719427 |    21269     70 |     1232 |       99
1389.38/1389.81	c 1388s |      20 |   808555 |   720027 |    21269     70 |     1232 |       99
1391.38/1391.86	c 1390s |      20 |   809160 |   720627 |    21269     70 |     1232 |       99
1393.48/1393.93	c 1392s |      20 |   809658 |   721127 |    21269     71 |     1232 |       99
1395.68/1396.13	c 1395s |      20 |   810372 |   721827 |    21269     71 |     1232 |       99
1397.78/1398.29	c 1397s |      20 |   811080 |   722527 |    21269     71 |     1232 |       99
1400.08/1400.55	c 1399s |      20 |   811771 |   723227 |    21269     71 |     1232 |       99
1403.28/1403.70	c 1402s |      20 |   811884 |   723327 |    21269     71 |     1232 |       99
1405.48/1405.92	c 1404s |      20 |   812581 |   724027 |    21269     71 |     1232 |       99
1407.68/1408.19	c 1407s |      20 |   813280 |   724727 |    21269     71 |     1232 |       99
1409.88/1410.39	c 1409s |      20 |   813995 |   725427 |    21269     71 |     1232 |       99
1411.87/1412.39	c 1411s |      20 |   814592 |   726027 |    21269     71 |     1232 |       99
1414.07/1414.58	c 1413s |      20 |   815287 |   726727 |    21269     71 |     1232 |       99
1416.17/1416.66	c 1415s |      20 |   815888 |   727327 |    21269     71 |     1232 |       99
1418.47/1418.90	c 1417s |      20 |   816596 |   728027 |    21269     71 |     1232 |       99
1420.47/1420.95	c 1419s |      20 |   817198 |   728627 |    21269     71 |     1232 |       99
1422.57/1423.00	c 1422s |      20 |   817789 |   729227 |    21269     71 |     1232 |       99
1424.57/1425.00	c 1424s |      20 |   818403 |   729827 |    21269     71 |     1232 |       99
1426.57/1427.08	c 1426s |      20 |   819004 |   730427 |    21269     71 |     1232 |       99
1428.77/1429.20	c 1428s |      20 |   819608 |   731027 |    21269     71 |     1232 |       99
1430.78/1431.25	c 1430s |      20 |   820211 |   731627 |    21269     71 |     1232 |       99
1432.77/1433.28	c 1432s |      20 |   820813 |   732227 |    21269     71 |     1232 |       99
1435.17/1435.69	c 1434s |      20 |   821435 |   732827 |    21269     72 |     1232 |       99
1437.47/1437.98	c 1437s |      20 |   822131 |   733527 |    21269     72 |     1232 |       99
1439.77/1440.21	c 1439s |      20 |   822834 |   734227 |    21269     72 |     1232 |       99
1441.87/1442.30	c 1441s |      20 |   823419 |   734827 |    21269     72 |     1232 |       99
1445.27/1445.79	c 1444s |      20 |   823527 |   734927 |    21269     72 |     1232 |       99
1447.37/1447.87	c 1446s |      20 |   824231 |   735627 |    21269     72 |     1232 |       99
1449.66/1450.10	c 1449s |      20 |   824933 |   736327 |    21269     72 |     1232 |       99
1451.76/1452.27	c 1451s |      20 |   825641 |   737027 |    21269     72 |     1232 |       99
1453.96/1454.49	c 1453s |      20 |   826346 |   737727 |    21269     72 |     1232 |       99
1456.07/1456.52	c 1455s |      20 |   826950 |   738327 |    21269     72 |     1232 |       99
1458.27/1458.72	c 1457s |      20 |   827649 |   739027 |    21269     72 |     1232 |       99
1460.37/1460.84	c 1459s |      20 |   828257 |   739627 |    21269     72 |     1232 |       99
1462.57/1463.04	c 1462s |      20 |   828962 |   740327 |    21269     72 |     1232 |       99
1464.66/1465.11	c 1464s |      20 |   829558 |   740927 |    21269     72 |     1232 |       99
1466.66/1467.13	c 1466s |      20 |   830164 |   741527 |    21269     72 |     1232 |       99
1468.66/1469.14	c 1468s |      20 |   830761 |   742127 |    21269     72 |     1232 |       99
1470.86/1471.31	c 1470s |      20 |   831365 |   742727 |    21269     72 |     1232 |       99
1472.96/1473.42	c 1472s |      20 |   831961 |   743327 |    21269     72 |     1232 |       99
1475.06/1475.52	c 1474s |      20 |   832566 |   743927 |    21269     72 |     1232 |       99
1477.06/1477.56	c 1476s |      20 |   833066 |   744427 |    21269     73 |     1232 |       99
1479.26/1479.72	c 1478s |      20 |   833772 |   745127 |    21269     73 |     1232 |       99
1481.37/1481.83	c 1480s |      20 |   834476 |   745827 |    21269     73 |     1232 |       99
1483.36/1483.89	c 1482s |      20 |   835096 |   746427 |    21269     73 |     1232 |       99
1485.66/1486.15	c 1485s |      20 |   835792 |   747127 |    21269     73 |     1232 |       99
1488.06/1488.50	c 1487s |      20 |   836494 |   747827 |    21269     73 |     1232 |       99
1490.17/1490.69	c 1489s |      20 |   837088 |   748427 |    21269     73 |     1232 |       99
1495.57/1496.05	c 1495s |      20 |   837202 |   748527 |    21269     73 |     1232 |       99
1497.66/1498.16	c 1497s |      20 |   837899 |   749227 |    21269     73 |     1232 |       99
1499.76/1500.26	c 1499s |      20 |   838611 |   749927 |    21269     73 |     1232 |       99
1501.86/1502.38	c 1501s |      20 |   839217 |   750527 |    21269     73 |     1232 |       99
1504.26/1504.72	c 1503s |      20 |   840011 |   751327 |    21269     73 |     1232 |       99
1506.36/1506.82	c 1505s |      20 |   840616 |   751927 |    21269     73 |     1232 |       99
1508.66/1509.10	c 1508s |      20 |   841321 |   752627 |    21269     73 |     1232 |       99
1510.66/1511.10	c 1510s |      20 |   841927 |   753227 |    21269     73 |     1232 |       99
1512.86/1513.31	c 1512s |      20 |   842520 |   753827 |    21269     73 |     1232 |       99
1515.06/1515.51	c 1514s |      20 |   843228 |   754527 |    21269     73 |     1232 |       99
1517.26/1517.72	c 1516s |      20 |   843823 |   755127 |    21269     73 |     1232 |       99
1519.66/1520.16	c 1519s |      20 |   844436 |   755727 |    21269     74 |     1232 |       99
1521.96/1522.44	c 1521s |      20 |   845127 |   756427 |    21269     74 |     1232 |       99
1523.96/1524.47	c 1523s |      20 |   845827 |   757127 |    21269     74 |     1232 |       99
1526.06/1526.58	c 1525s |      20 |   846539 |   757827 |    21269     74 |     1232 |       99
1528.26/1528.72	c 1527s |      20 |   847240 |   758527 |    21269     74 |     1232 |       99
1530.36/1530.88	c 1529s |      20 |   847938 |   759227 |    21269     74 |     1232 |       99
1532.56/1533.06	c 1532s |      20 |   848638 |   759927 |    21269     74 |     1232 |       99
1534.76/1535.23	c 1534s |      20 |   849341 |   760627 |    21269     74 |     1232 |       99
1536.96/1537.45	c 1536s |      20 |   850045 |   761327 |    21269     74 |     1232 |       99
1539.36/1539.80	c 1538s |      20 |   850767 |   762027 |    21269     74 |     1232 |       99
1541.45/1541.92	c 1540s |      20 |   851372 |   762627 |    21269     74 |     1232 |       99
1543.55/1544.09	c 1543s |      20 |   851972 |   763227 |    21269     74 |     1232 |       99
1545.85/1546.37	c 1545s |      20 |   852583 |   763827 |    21269     74 |     1232 |       99
1554.85/1555.37	c 1554s |      20 |   853164 |   764427 |    21269     74 |     1232 |       99
1556.85/1557.38	c 1556s |      20 |   853666 |   764927 |    21269     74 |     1232 |       99
1559.05/1559.52	c 1558s |      20 |   854381 |   765627 |    21269     74 |     1232 |       99
1561.15/1561.69	c 1560s |      20 |   854981 |   766227 |    21269     74 |     1232 |       99
1563.25/1563.75	c 1562s |      20 |   855475 |   766727 |    21269     74 |     1232 |       99
1565.85/1566.38	c 1565s |      20 |   856183 |   767427 |    21269     75 |     1232 |       99
1568.05/1568.54	c 1567s |      20 |   856779 |   768027 |    21269     75 |     1232 |       99
1570.25/1570.76	c 1569s |      20 |   857479 |   768727 |    21269     75 |     1232 |       99
1572.35/1572.88	c 1571s |      20 |   858194 |   769427 |    21269     75 |     1232 |       99
1574.55/1575.02	c 1574s |      20 |   858892 |   770127 |    21269     75 |     1232 |       99
1576.75/1577.23	c 1576s |      20 |   859604 |   770827 |    21269     75 |     1232 |       99
1578.85/1579.31	c 1578s |      20 |   860314 |   771527 |    21269     75 |     1232 |       99
1580.85/1581.32	c 1580s |      20 |   860906 |   772127 |    21269     75 |     1232 |       99
1582.95/1583.40	c 1582s |      20 |   861605 |   772827 |    21269     75 |     1232 |       99
1584.95/1585.43	c 1584s |      20 |   862217 |   773427 |    21269     75 |     1232 |       99
1587.15/1587.61	c 1586s |      20 |   862911 |   774127 |    21269     75 |     1232 |       99
1589.25/1589.70	c 1588s |      20 |   863510 |   774727 |    21269     75 |     1232 |       99
1591.45/1591.96	c 1590s |      20 |   864218 |   775427 |    21269     75 |     1232 |       99
1593.55/1594.01	c 1593s |      20 |   864819 |   776027 |    21269     75 |     1232 |       99
1595.65/1596.17	c 1595s |      20 |   865415 |   776627 |    21269     75 |     1232 |       99
1597.75/1598.27	c 1597s |      20 |   866017 |   777227 |    21269     75 |     1232 |       99
1599.85/1600.37	c 1599s |      20 |   866622 |   777827 |    21269     75 |     1232 |       99
1601.95/1602.46	c 1601s |      20 |   867226 |   778427 |    21269     75 |     1232 |       99
1604.35/1604.82	c 1603s |      20 |   867832 |   779027 |    21269     76 |     1232 |       99
1606.55/1607.02	c 1606s |      20 |   868531 |   779727 |    21269     76 |     1232 |       99
1608.85/1609.38	c 1608s |      20 |   869250 |   780427 |    21269     76 |     1232 |       99
1611.15/1611.67	c 1610s |      20 |   869952 |   781127 |    21269     76 |     1232 |       99
1613.44/1613.97	c 1613s |      20 |   870648 |   781827 |    21269     76 |     1232 |       99
1615.64/1616.10	c 1615s |      20 |   871248 |   782427 |    21269     76 |     1232 |       99
1617.84/1618.30	c 1617s |      20 |   871852 |   783027 |    21269     76 |     1232 |       99
1628.94/1629.43	c 1628s |      20 |   871945 |   783127 |    21269     76 |     1232 |       99
1631.04/1631.52	c 1630s |      20 |   872558 |   783727 |    21269     76 |     1232 |       99
1633.34/1633.81	c 1632s |      20 |   873351 |   784527 |    21269     76 |     1232 |       99
1635.35/1635.88	c 1634s |      20 |   873956 |   785127 |    21269     76 |     1232 |       99
1637.55/1638.07	c 1637s |      20 |   874562 |   785727 |    21269     76 |     1232 |       99
1639.64/1640.16	c 1639s |      20 |   875259 |   786427 |    21269     76 |     1232 |       99
1641.74/1642.28	c 1641s |      20 |   875867 |   787027 |    21269     76 |     1232 |       99
1644.04/1644.51	c 1643s |      20 |   876468 |   787627 |    21269     76 |     1232 |       99
1646.14/1646.67	c 1645s |      20 |   877075 |   788227 |    21269     76 |     1232 |       99
1648.44/1648.90	c 1647s |      20 |   877766 |   788927 |    21269     76 |     1232 |       99
1650.64/1651.18	c 1650s |      20 |   878375 |   789527 |    21269     76 |     1232 |       99
1652.74/1653.23	c 1652s |      20 |   878879 |   790027 |    21269     76 |     1232 |       99
1655.34/1655.83	c 1654s |      20 |   879578 |   790727 |    21269     77 |     1232 |       99
1657.34/1657.86	c 1656s |      20 |   880171 |   791327 |    21269     77 |     1232 |       99
1659.34/1659.90	c 1658s |      20 |   880771 |   791927 |    21269     77 |     1232 |       99
1661.44/1661.96	c 1661s |      20 |   881476 |   792627 |    21269     77 |     1232 |       99
1663.74/1664.22	c 1663s |      20 |   882178 |   793327 |    21269     77 |     1232 |       99
1665.83/1666.34	c 1665s |      20 |   882886 |   794027 |    21269     77 |     1232 |       99
1668.13/1668.62	c 1667s |      20 |   883582 |   794727 |    21269     77 |     1232 |       99
1670.33/1670.82	c 1669s |      20 |   884290 |   795427 |    21269     77 |     1232 |       99
1672.43/1672.90	c 1671s |      20 |   884891 |   796027 |    21269     77 |     1232 |       99
1674.63/1675.13	c 1674s |      20 |   885600 |   796727 |    21269     77 |     1232 |       99
1676.63/1677.16	c 1676s |      20 |   886201 |   797327 |    21269     77 |     1232 |       99
1678.73/1679.28	c 1678s |      20 |   886796 |   797927 |    21269     77 |     1232 |       99
1680.83/1681.34	c 1680s |      20 |   887403 |   798527 |    21269     77 |     1232 |       99
1682.93/1683.42	c 1682s |      20 |   888007 |   799127 |    21269     77 |     1232 |       99
1685.03/1685.50	c 1684s |      20 |   888606 |   799727 |    21269     77 |     1232 |       99
1687.13/1687.60	c 1686s |      20 |   889210 |   800327 |    21269     77 |     1232 |       99
1689.33/1689.83	c 1688s |      20 |   889817 |   800927 |    21269     77 |     1232 |       99
1691.44/1691.93	c 1690s |      20 |   890436 |   801527 |    21269     77 |     1232 |       99
1693.53/1694.01	c 1693s |      20 |   890935 |   802027 |    21269     77 |     1232 |       99
1696.13/1696.60	c 1695s |      20 |   891335 |   802427 |    21269     78 |     1232 |       99
1698.33/1698.84	c 1697s |      20 |   892035 |   803127 |    21269     78 |     1232 |       99
1700.63/1701.12	c 1700s |      20 |   892739 |   803827 |    21269     78 |     1232 |       99
1702.73/1703.20	c 1702s |      20 |   893347 |   804427 |    21269     78 |     1232 |       99
1710.92/1711.49	c 1710s |      20 |   893741 |   804827 |    21269     78 |     1232 |       99
1713.12/1713.64	c 1712s |      20 |   894441 |   805527 |    21269     78 |     1232 |       99
1715.12/1715.67	c 1714s |      20 |   895141 |   806227 |    21269     78 |     1232 |       99
1717.42/1717.94	c 1716s |      20 |   895842 |   806927 |    21269     78 |     1232 |       99
1719.52/1720.04	c 1719s |      20 |   896450 |   807527 |    21269     78 |     1232 |       99
1721.62/1722.12	c 1721s |      20 |   897149 |   808227 |    21269     78 |     1232 |       99
1723.82/1724.35	c 1723s |      20 |   897853 |   808927 |    21269     78 |     1232 |       99
1725.93/1726.47	c 1725s |      20 |   898449 |   809527 |    21269     78 |     1232 |       99
1728.23/1728.77	c 1727s |      20 |   899056 |   810127 |    21269     78 |     1232 |       99
1730.43/1730.97	c 1730s |      20 |   899765 |   810827 |    21269     78 |     1232 |       99
1732.83/1733.33	c 1732s |      20 |   900458 |   811527 |    21269     78 |     1232 |       99
1735.03/1735.54	c 1734s |      20 |   901061 |   812127 |    21269     78 |     1232 |       99
1737.03/1737.57	c 1736s |      20 |   901556 |   812627 |    21269     78 |     1232 |       99
1739.23/1739.78	c 1738s |      20 |   902268 |   813327 |    21269     78 |     1232 |       99
1741.43/1741.97	c 1741s |      20 |   902881 |   813927 |    21269     78 |     1232 |       99
1743.63/1744.12	c 1743s |      20 |   903374 |   814427 |    21269     79 |     1232 |       99
1745.72/1746.28	c 1745s |      20 |   904084 |   815127 |    21269     79 |     1232 |       99
1747.82/1748.35	c 1747s |      20 |   904788 |   815827 |    21269     79 |     1232 |       99
1749.82/1750.36	c 1749s |      20 |   905393 |   816427 |    21269     79 |     1232 |       99
1751.93/1752.48	c 1751s |      20 |   906090 |   817127 |    21269     79 |     1232 |       99
1753.92/1754.48	c 1753s |      20 |   906686 |   817727 |    21269     79 |     1232 |       99
1755.92/1756.49	c 1755s |      20 |   907297 |   818327 |    21269     79 |     1232 |       99
1758.12/1758.69	c 1757s |      20 |   907992 |   819027 |    21269     79 |     1232 |       99
1760.32/1760.81	c 1759s |      20 |   908609 |   819627 |    21269     79 |     1232 |       99
1762.52/1763.05	c 1762s |      20 |   909309 |   820327 |    21269     79 |     1232 |       99
1764.62/1765.13	c 1764s |      20 |   909907 |   820927 |    21269     79 |     1232 |       99
1766.72/1767.24	c 1766s |      20 |   910508 |   821527 |    21269     79 |     1232 |       99
1768.82/1769.30	c 1768s |      20 |   911105 |   822127 |    21269     79 |     1232 |       99
1770.92/1771.43	c 1770s |      20 |   911711 |   822727 |    21269     79 |     1232 |       99
1773.02/1773.59	c 1772s |      20 |   912313 |   823327 |    21269     79 |     1232 |       99
1775.12/1775.70	c 1774s |      20 |   912915 |   823927 |    21269     79 |     1232 |       99
1777.32/1777.86	c 1776s |      20 |   913520 |   824527 |    21269     79 |     1232 |       99
1779.43/1779.99	c 1779s |      20 |   914117 |   825127 |    21269     79 |     1232 |       99
1782.02/1782.57	c 1781s |      20 |   914725 |   825727 |    21269     80 |     1232 |       99
1784.32/1784.81	c 1783s |      20 |   915343 |   826327 |    21269     80 |     1232 |       99
1786.32/1786.89	c 1785s |      20 |   915846 |   826827 |    21269     80 |     1232 |       99
1788.62/1789.12	c 1788s |      20 |   916541 |   827527 |    21269     80 |     1232 |       99
1790.61/1791.12	c 1790s |      20 |   917152 |   828127 |    21269     80 |     1232 |       99
1792.62/1793.17	c 1792s |      20 |   917757 |   828727 |    21269     80 |     1232 |       99
1794.82/1795.37	c 1794s |      20 |   918342 |   829327 |    21269     80 |     1232 |       99

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

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

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


[startup+0 s]
/proc/loadavg: 2.09 2.14 2.16 3/179 925
/proc/meminfo: memFree=29488816/32872528 swapFree=1200228/1314692
[pid=925] ppid=922 vsize=399940 CPUtime=0 cores=1,3,5,7
/proc/925/stat : 925 (toysat) R 922 925 31224 0 -1 4202496 1437 0 0 0 0 0 0 0 20 0 4 0 23757493 409538560 2308 33554432000 4194304 16246674 140734714082864 140734714082288 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/925/statm: 100753 2317 442 2943 0 97647 0
[pid=925/tid=926] ppid=922 vsize=693828 CPUtime=0 cores=1,3,5,7
/proc/925/task/926/stat : 926 (toysat) S 922 925 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23757493 710479872 3456 33554432000 4194304 16246674 140734714082864 139826911227120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=925/tid=927] ppid=922 vsize=698948 CPUtime=0 cores=1,3,5,7
/proc/925/task/927/stat : 927 (toysat) S 922 925 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23757493 715722752 3475 33554432000 4194304 16246674 140734714082864 139826900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=925/tid=928] ppid=922 vsize=703044 CPUtime=0 cores=1,3,5,7
/proc/925/task/928/stat : 928 (toysat) S 922 925 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23757493 719917056 3491 33554432000 4194304 16246674 140734714082864 139826821065904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.09 2.14 2.16 3/179 925
/proc/meminfo: memFree=29488816/32872528 swapFree=1200228/1314692
[pid=925] ppid=922 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/925/stat : 925 (toysat) R 922 925 31224 0 -1 4202496 28525 0 0 0 5 4 0 0 20 0 4 0 23757493 1333334016 29334 33554432000 4194304 16246674 140734714082864 140734714082176 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/925/statm: 325521 29350 801 2943 0 322415 0
[pid=925/tid=926] ppid=922 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/925/task/926/stat : 926 (toysat) S 922 925 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23757493 1333334016 29362 33554432000 4194304 16246674 140734714082864 139826911227120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=925/tid=927] ppid=922 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/925/task/927/stat : 927 (toysat) S 922 925 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23757493 1333334016 29374 33554432000 4194304 16246674 140734714082864 139826900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=925/tid=928] ppid=922 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/925/task/928/stat : 928 (toysat) S 922 925 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23757493 1333334016 29384 33554432000 4194304 16246674 140734714082864 139826821065904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200539 s]
/proc/loadavg: 2.09 2.14 2.16 3/179 925
/proc/meminfo: memFree=29488816/32872528 swapFree=1200228/1314692
[pid=925] ppid=922 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/925/stat : 925 (toysat) R 922 925 31224 0 -1 4202496 47005 0 0 0 13 6 0 0 20 0 4 0 23757493 1345916928 48325 33554432000 4194304 16246674 140734714082864 140734714082176 8055417 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/925/statm: 328593 48325 802 2943 0 325487 0
[pid=925/tid=926] ppid=922 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/925/task/926/stat : 926 (toysat) S 922 925 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23757493 1345916928 48325 33554432000 4194304 16246674 140734714082864 139826911227120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=925/tid=927] ppid=922 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/925/task/927/stat : 927 (toysat) S 922 925 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23757493 1345916928 48325 33554432000 4194304 16246674 140734714082864 139826900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=925/tid=928] ppid=922 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/925/task/928/stat : 928 (toysat) S 922 925 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23757493 1345916928 48325 33554432000 4194304 16246674 140734714082864 139826821065904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300503 s]
/proc/loadavg: 2.09 2.14 2.16 3/179 925
/proc/meminfo: memFree=29488816/32872528 swapFree=1200228/1314692
[pid=925] ppid=922 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/925/stat : 925 (toysat) R 922 925 31224 0 -1 4202496 63493 0 0 0 20 9 0 0 20 0 4 0 23757493 1345916928 64813 33554432000 4194304 16246674 140734714082864 140734714082176 12449399 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/925/statm: 328593 64831 835 2943 0 325487 0
[pid=925/tid=926] ppid=922 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/925/task/926/stat : 926 (toysat) S 922 925 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23757493 1345916928 64840 33554432000 4194304 16246674 140734714082864 139826911227120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=925/tid=927] ppid=922 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/925/task/927/stat : 927 (toysat) S 922 925 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23757493 1345916928 64850 33554432000 4194304 16246674 140734714082864 139826900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=925/tid=928] ppid=922 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/925/task/928/stat : 928 (toysat) S 922 925 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23757493 1345916928 64859 33554432000 4194304 16246674 140734714082864 139826821065904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.70043 s]
/proc/loadavg: 2.09 2.14 2.16 3/179 925
/proc/meminfo: memFree=29488816/32872528 swapFree=1200228/1314692
[pid=925] ppid=922 vsize=1315396 CPUtime=0.69 cores=1,3,5,7
/proc/925/stat : 925 (toysat) R 922 925 31224 0 -1 4202496 129973 0 0 0 52 17 0 0 20 0 4 0 23757493 1346965504 131293 33554432000 4194304 16246674 140734714082864 140734714082176 12653121 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/925/statm: 328849 131293 836 2943 0 325743 0
[pid=925/tid=926] ppid=922 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/925/task/926/stat : 926 (toysat) S 922 925 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23757493 1346965504 131293 33554432000 4194304 16246674 140734714082864 139826911227120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=925/tid=927] ppid=922 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/925/task/927/stat : 927 (toysat) S 922 925 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23757493 1346965504 131293 33554432000 4194304 16246674 140734714082864 139826900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=925/tid=928] ppid=922 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/925/task/928/stat : 928 (toysat) S 922 925 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23757493 1346965504 131293 33554432000 4194304 16246674 140734714082864 139826821065904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.50043 s]
/proc/loadavg: 2.09 2.14 2.16 3/183 929
/proc/meminfo: memFree=28963964/32872528 swapFree=1200228/1314692
[pid=925] ppid=922 vsize=1315396 CPUtime=1.49 cores=1,3,5,7
/proc/925/stat : 925 (toysat) R 922 925 31224 0 -1 4202496 130109 0 0 0 132 17 0 0 20 0 4 0 23757493 1346965504 131429 33554432000 4194304 16246674 140734714082864 140734714064768 13780600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/925/statm: 328849 131429 893 2943 0 325743 0
[pid=925/tid=926] ppid=922 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/925/task/926/stat : 926 (toysat) S 922 925 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23757493 1346965504 131429 33554432000 4194304 16246674 140734714082864 139826911227120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=925/tid=927] ppid=922 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/925/task/927/stat : 927 (toysat) S 922 925 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23757493 1346965504 131429 33554432000 4194304 16246674 140734714082864 139826900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=925/tid=928] ppid=922 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/925/task/928/stat : 928 (toysat) S 922 925 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23757493 1346965504 131429 33554432000 4194304 16246674 140734714082864 139826821065904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1315396

[startup+3.10041 s]
/proc/loadavg: 2.09 2.14 2.16 3/183 929
/proc/meminfo: memFree=28766036/32872528 swapFree=1200228/1314692
[pid=925] ppid=922 vsize=1315396 CPUtime=3.09 cores=1,3,5,7
/proc/925/stat : 925 (toysat) R 922 925 31224 0 -1 4202496 269535 0 0 0 274 35 0 0 20 0 4 0 23757493 1346965504 270855 33554432000 4194304 16246674 140734714082864 140734714064768 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/925/statm: 328849 270855 899 2943 0 325743 0
[pid=925/tid=926] ppid=922 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/925/task/926/stat : 926 (toysat) S 922 925 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23757493 1346965504 270855 33554432000 4194304 16246674 140734714082864 139826911227120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=925/tid=927] ppid=922 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/925/task/927/stat : 927 (toysat) S 922 925 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23757493 1346965504 270855 33554432000 4194304 16246674 140734714082864 139826900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=925/tid=928] ppid=922 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/925/task/928/stat : 928 (toysat) S 922 925 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23757493 1346965504 270855 33554432000 4194304 16246674 140734714082864 139826821065904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1315396

[startup+6.30043 s]
/proc/loadavg: 2.08 2.13 2.16 3/183 929
/proc/meminfo: memFree=28405860/32872528 swapFree=1200228/1314692
[pid=925] ppid=922 vsize=1315396 CPUtime=6.29 cores=1,3,5,7
/proc/925/stat : 925 (toysat) R 922 925 31224 0 -1 4202496 269536 0 0 0 594 35 0 0 20 0 4 0 23757493 1346965504 270856 33554432000 4194304 16246674 140734714082864 140734714064768 6012147 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/925/statm: 328849 270856 899 2943 0 325743 0
[pid=925/tid=926] ppid=922 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/925/task/926/stat : 926 (toysat) S 922 925 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23757493 1346965504 270856 33554432000 4194304 16246674 140734714082864 139826911227120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=925/tid=927] ppid=922 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/925/task/927/stat : 927 (toysat) S 922 925 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23757493 1346965504 270856 33554432000 4194304 16246674 140734714082864 139826900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=925/tid=928] ppid=922 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/925/task/928/stat : 928 (toysat) S 922 925 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23757493 1346965504 270856 33554432000 4194304 16246674 140734714082864 139826821065904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.08 2.13 2.16 3/183 929
/proc/meminfo: memFree=28405800/32872528 swapFree=1200228/1314692
[pid=925] ppid=922 vsize=1315396 CPUtime=12.69 cores=1,3,5,7
/proc/925/stat : 925 (toysat) R 922 925 31224 0 -1 4202496 269537 0 0 0 1234 35 0 0 20 0 4 0 23757493 1346965504 270857 33554432000 4194304 16246674 140734714082864 140734714064768 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/925/statm: 328849 270857 900 2943 0 325743 0
[pid=925/tid=926] ppid=922 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/925/task/926/stat : 926 (toysat) S 922 925 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23757493 1346965504 270857 33554432000 4194304 16246674 140734714082864 139826911227120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=925/tid=927] ppid=922 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/925/task/927/stat : 927 (toysat) S 922 925 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23757493 1346965504 270857 33554432000 4194304 16246674 140734714082864 139826900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=925/tid=928] ppid=922 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/925/task/928/stat : 928 (toysat) S 922 925 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23757493 1346965504 270857 33554432000 4194304 16246674 140734714082864 139826821065904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.13 2.14 2.16 3/183 929
/proc/meminfo: memFree=28406184/32872528 swapFree=1200228/1314692
[pid=925] ppid=922 vsize=1315396 CPUtime=25.48 cores=1,3,5,7
/proc/925/stat : 925 (toysat) R 922 925 31224 0 -1 4202496 269538 0 0 0 2513 35 0 0 20 0 4 0 23757493 1346965504 270858 33554432000 4194304 16246674 140734714082864 140734714064768 5822756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/925/statm: 328849 270858 901 2943 0 325743 0
[pid=925/tid=926] ppid=922 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/925/task/926/stat : 926 (toysat) S 922 925 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23757493 1346965504 270858 33554432000 4194304 16246674 140734714082864 139826911227120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=925/tid=927] ppid=922 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/925/task/927/stat : 927 (toysat) S 922 925 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23757493 1346965504 270858 33554432000 4194304 16246674 140734714082864 139826900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=925/tid=928] ppid=922 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/925/task/928/stat : 928 (toysat) S 922 925 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23757493 1346965504 270858 33554432000 4194304 16246674 140734714082864 139826821065904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.08 2.13 2.16 4/183 929
/proc/meminfo: memFree=28392756/32872528 swapFree=1200228/1314692
[pid=925] ppid=922 vsize=1329732 CPUtime=51.08 cores=1,3,5,7
/proc/925/stat : 925 (toysat) R 922 925 31224 0 -1 4202496 272948 0 0 0 5073 35 0 0 20 0 4 0 23757493 1361645568 274268 33554432000 4194304 16246674 140734714082864 140734714064768 6020448 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/925/statm: 332433 274268 901 2943 0 329327 0
[pid=925/tid=926] ppid=922 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/925/task/926/stat : 926 (toysat) S 922 925 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23757493 1361645568 274268 33554432000 4194304 16246674 140734714082864 139826911227120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=925/tid=927] ppid=922 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/925/task/927/stat : 927 (toysat) S 922 925 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23757493 1361645568 274268 33554432000 4194304 16246674 140734714082864 139826900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=925/tid=928] ppid=922 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/925/task/928/stat : 928 (toysat) S 922 925 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23757493 1361645568 274268 33554432000 4194304 16246674 140734714082864 139826821065904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1329732

[startup+102.301 s]
/proc/loadavg: 2.20 2.15 2.16 3/183 930
/proc/meminfo: memFree=28391544/32872528 swapFree=1200228/1314692
[pid=925] ppid=922 vsize=1329732 CPUtime=102.28 cores=1,3,5,7
/proc/925/stat : 925 (toysat) R 922 925 31224 0 -1 4202496 273122 0 0 0 10192 36 0 0 20 0 4 0 23757493 1361645568 274442 33554432000 4194304 16246674 140734714082864 140734714064768 6011992 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/925/statm: 332433 274442 901 2943 0 329327 0
[pid=925/tid=926] ppid=922 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/925/task/926/stat : 926 (toysat) S 922 925 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23757493 1361645568 274442 33554432000 4194304 16246674 140734714082864 139826911227120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=925/tid=927] ppid=922 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/925/task/927/stat : 927 (toysat) S 922 925 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23757493 1361645568 274442 33554432000 4194304 16246674 140734714082864 139826900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=925/tid=928] ppid=922 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/925/task/928/stat : 928 (toysat) S 922 925 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23757493 1361645568 274442 33554432000 4194304 16246674 140734714082864 139826821065904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1329732


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

/proc/925/task/928/stat : 928 (toysat) S 922 925 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23757493 1566117888 324366 33554432000 4194304 16246674 140734714082864 139826821065904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1529412

[startup+1362.3 s]
/proc/loadavg: 2.14 2.22 2.18 3/183 1011
/proc/meminfo: memFree=28007436/32872528 swapFree=1200228/1314692
[pid=925] ppid=922 vsize=1657412 CPUtime=1361.89 cores=1,3,5,7
/proc/925/stat : 925 (toysat) R 922 925 31224 0 -1 4202496 355383 0 0 0 136126 63 0 0 20 0 4 0 23757493 1697189888 356366 33554432000 4194304 16246674 140734714082864 140734714064768 5600512 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/925/statm: 414353 356366 902 2943 0 411247 0
[pid=925/tid=926] ppid=922 vsize=1657412 CPUtime=0 cores=1,3,5,7
/proc/925/task/926/stat : 926 (toysat) S 922 925 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23757493 1697189888 356366 33554432000 4194304 16246674 140734714082864 139826911227120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=925/tid=927] ppid=922 vsize=1657412 CPUtime=0 cores=1,3,5,7
/proc/925/task/927/stat : 927 (toysat) S 922 925 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23757493 1697189888 356366 33554432000 4194304 16246674 140734714082864 139826900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=925/tid=928] ppid=922 vsize=1657412 CPUtime=0 cores=1,3,5,7
/proc/925/task/928/stat : 928 (toysat) S 922 925 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23757493 1697189888 356366 33554432000 4194304 16246674 140734714082864 139826821065904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1657412

[startup+1422.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/183 1013
/proc/meminfo: memFree=28002124/32872528 swapFree=1200228/1314692
[pid=925] ppid=922 vsize=1662532 CPUtime=1421.87 cores=1,3,5,7
/proc/925/stat : 925 (toysat) R 922 925 31224 0 -1 4202496 356663 0 0 0 142124 63 0 0 20 0 4 0 23757493 1702432768 357646 33554432000 4194304 16246674 140734714082864 140734714064768 5711496 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/925/statm: 415633 357646 902 2943 0 412527 0
[pid=925/tid=926] ppid=922 vsize=1662532 CPUtime=0 cores=1,3,5,7
/proc/925/task/926/stat : 926 (toysat) S 922 925 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23757493 1702432768 357646 33554432000 4194304 16246674 140734714082864 139826911227120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=925/tid=927] ppid=922 vsize=1662532 CPUtime=0 cores=1,3,5,7
/proc/925/task/927/stat : 927 (toysat) S 922 925 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23757493 1702432768 357646 33554432000 4194304 16246674 140734714082864 139826900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=925/tid=928] ppid=922 vsize=1662532 CPUtime=0 cores=1,3,5,7
/proc/925/task/928/stat : 928 (toysat) S 922 925 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23757493 1702432768 357646 33554432000 4194304 16246674 140734714082864 139826821065904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1662532

[startup+1482.3 s]
/proc/loadavg: 2.43 2.27 2.20 3/183 1014
/proc/meminfo: memFree=28002024/32872528 swapFree=1200228/1314692
[pid=925] ppid=922 vsize=1662532 CPUtime=1481.86 cores=1,3,5,7
/proc/925/stat : 925 (toysat) R 922 925 31224 0 -1 4202496 356663 0 0 0 148123 63 0 0 20 0 4 0 23757493 1702432768 357646 33554432000 4194304 16246674 140734714082864 140734714064768 12483215 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/925/statm: 415633 357646 902 2943 0 412527 0
[pid=925/tid=926] ppid=922 vsize=1662532 CPUtime=0 cores=1,3,5,7
/proc/925/task/926/stat : 926 (toysat) S 922 925 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23757493 1702432768 357646 33554432000 4194304 16246674 140734714082864 139826911227120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=925/tid=927] ppid=922 vsize=1662532 CPUtime=0 cores=1,3,5,7
/proc/925/task/927/stat : 927 (toysat) S 922 925 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23757493 1702432768 357646 33554432000 4194304 16246674 140734714082864 139826900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=925/tid=928] ppid=922 vsize=1662532 CPUtime=0 cores=1,3,5,7
/proc/925/task/928/stat : 928 (toysat) S 922 925 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23757493 1702432768 357646 33554432000 4194304 16246674 140734714082864 139826821065904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1662532

[startup+1542.31 s]
/proc/loadavg: 2.28 2.26 2.20 3/183 1015
/proc/meminfo: memFree=27927020/32872528 swapFree=1200228/1314692
[pid=925] ppid=922 vsize=1675844 CPUtime=1541.86 cores=1,3,5,7
/proc/925/stat : 925 (toysat) R 922 925 31224 0 -1 4202496 359991 0 0 0 154121 65 0 0 20 0 4 0 23757493 1716064256 360974 33554432000 4194304 16246674 140734714082864 140734714064768 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/925/statm: 418961 360974 902 2943 0 415855 0
[pid=925/tid=926] ppid=922 vsize=1675844 CPUtime=0 cores=1,3,5,7
/proc/925/task/926/stat : 926 (toysat) S 922 925 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23757493 1716064256 360974 33554432000 4194304 16246674 140734714082864 139826911227120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=925/tid=927] ppid=922 vsize=1675844 CPUtime=0 cores=1,3,5,7
/proc/925/task/927/stat : 927 (toysat) S 922 925 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23757493 1716064256 360974 33554432000 4194304 16246674 140734714082864 139826900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=925/tid=928] ppid=922 vsize=1675844 CPUtime=0 cores=1,3,5,7
/proc/925/task/928/stat : 928 (toysat) S 922 925 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23757493 1716064256 360974 33554432000 4194304 16246674 140734714082864 139826821065904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1675844

[startup+1602.3 s]
/proc/loadavg: 2.33 2.29 2.21 3/183 1016
/proc/meminfo: memFree=27902360/32872528 swapFree=1200228/1314692
[pid=925] ppid=922 vsize=1700420 CPUtime=1601.85 cores=1,3,5,7
/proc/925/stat : 925 (toysat) R 922 925 31224 0 -1 4202496 366135 0 0 0 160118 67 0 0 20 0 4 0 23757493 1741230080 367118 33554432000 4194304 16246674 140734714082864 140734714064768 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/925/statm: 425105 367118 902 2943 0 421999 0
[pid=925/tid=926] ppid=922 vsize=1700420 CPUtime=0 cores=1,3,5,7
/proc/925/task/926/stat : 926 (toysat) S 922 925 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23757493 1741230080 367118 33554432000 4194304 16246674 140734714082864 139826911227120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=925/tid=927] ppid=922 vsize=1700420 CPUtime=0 cores=1,3,5,7
/proc/925/task/927/stat : 927 (toysat) S 922 925 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23757493 1741230080 367118 33554432000 4194304 16246674 140734714082864 139826900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=925/tid=928] ppid=922 vsize=1700420 CPUtime=0 cores=1,3,5,7
/proc/925/task/928/stat : 928 (toysat) S 922 925 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23757493 1741230080 367118 33554432000 4194304 16246674 140734714082864 139826821065904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1700420

[startup+1662.3 s]
/proc/loadavg: 2.49 2.34 2.23 3/183 1017
/proc/meminfo: memFree=27902624/32872528 swapFree=1200228/1314692
[pid=925] ppid=922 vsize=1700420 CPUtime=1661.84 cores=1,3,5,7
/proc/925/stat : 925 (toysat) R 922 925 31224 0 -1 4202496 366135 0 0 0 166116 68 0 0 20 0 4 0 23757493 1741230080 367118 33554432000 4194304 16246674 140734714082864 140734714064768 5712600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/925/statm: 425105 367118 902 2943 0 421999 0
[pid=925/tid=926] ppid=922 vsize=1700420 CPUtime=0 cores=1,3,5,7
/proc/925/task/926/stat : 926 (toysat) S 922 925 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23757493 1741230080 367118 33554432000 4194304 16246674 140734714082864 139826911227120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=925/tid=927] ppid=922 vsize=1700420 CPUtime=0 cores=1,3,5,7
/proc/925/task/927/stat : 927 (toysat) S 922 925 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23757493 1741230080 367118 33554432000 4194304 16246674 140734714082864 139826900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=925/tid=928] ppid=922 vsize=1700420 CPUtime=0 cores=1,3,5,7
/proc/925/task/928/stat : 928 (toysat) S 922 925 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23757493 1741230080 367118 33554432000 4194304 16246674 140734714082864 139826821065904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1700420

[startup+1722.3 s]
/proc/loadavg: 2.47 2.35 2.23 3/184 1022
/proc/meminfo: memFree=27880364/32872528 swapFree=1200228/1314692
[pid=925] ppid=922 vsize=1719876 CPUtime=1721.82 cores=1,3,5,7
/proc/925/stat : 925 (toysat) R 922 925 31224 0 -1 4202496 370999 0 0 0 172113 69 0 0 20 0 4 0 23757493 1761153024 371982 33554432000 4194304 16246674 140734714082864 140734714064768 6021028 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/925/statm: 429969 371982 902 2943 0 426863 0
[pid=925/tid=926] ppid=922 vsize=1719876 CPUtime=0 cores=1,3,5,7
/proc/925/task/926/stat : 926 (toysat) S 922 925 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23757493 1761153024 371982 33554432000 4194304 16246674 140734714082864 139826911227120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=925/tid=927] ppid=922 vsize=1719876 CPUtime=0 cores=1,3,5,7
/proc/925/task/927/stat : 927 (toysat) S 922 925 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23757493 1761153024 371982 33554432000 4194304 16246674 140734714082864 139826900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=925/tid=928] ppid=922 vsize=1719876 CPUtime=0 cores=1,3,5,7
/proc/925/task/928/stat : 928 (toysat) S 922 925 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23757493 1761153024 371982 33554432000 4194304 16246674 140734714082864 139826821065904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1719876

[startup+1782.3 s]
/proc/loadavg: 2.50 2.38 2.25 3/184 1046
/proc/meminfo: memFree=27881064/32872528 swapFree=1200228/1314692
[pid=925] ppid=922 vsize=1719876 CPUtime=1781.82 cores=1,3,5,7
/proc/925/stat : 925 (toysat) R 922 925 31224 0 -1 4202496 370999 0 0 0 178112 70 0 0 20 0 4 0 23757493 1761153024 371982 33554432000 4194304 16246674 140734714082864 140734714064768 5589597 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/925/statm: 429969 371982 902 2943 0 426863 0
[pid=925/tid=926] ppid=922 vsize=1719876 CPUtime=0 cores=1,3,5,7
/proc/925/task/926/stat : 926 (toysat) S 922 925 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23757493 1761153024 371982 33554432000 4194304 16246674 140734714082864 139826911227120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=925/tid=927] ppid=922 vsize=1719876 CPUtime=0 cores=1,3,5,7
/proc/925/task/927/stat : 927 (toysat) S 922 925 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23757493 1761153024 371982 33554432000 4194304 16246674 140734714082864 139826900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=925/tid=928] ppid=922 vsize=1719876 CPUtime=0 cores=1,3,5,7
/proc/925/task/928/stat : 928 (toysat) S 922 925 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23757493 1761153024 371982 33554432000 4194304 16246674 140734714082864 139826821065904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1719876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.36 2.35 2.24 3/184 1047
/proc/meminfo: memFree=27881176/32872528 swapFree=1200228/1314692
[pid=925] ppid=922 vsize=1719876 CPUtime=1800.01 cores=1,3,5,7
/proc/925/stat : 925 (toysat) R 922 925 31224 0 -1 4202496 370999 0 0 0 179931 70 0 0 20 0 4 0 23757493 1761153024 371982 33554432000 4194304 16246674 140734714082864 140734714082040 4207001 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/925/statm: 429969 371982 902 2943 0 426863 0
[pid=925/tid=926] ppid=922 vsize=1719876 CPUtime=0 cores=1,3,5,7
/proc/925/task/926/stat : 926 (toysat) S 922 925 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23757493 1761153024 371982 33554432000 4194304 16246674 140734714082864 139826911227120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=925/tid=927] ppid=922 vsize=1719876 CPUtime=0 cores=1,3,5,7
/proc/925/task/927/stat : 927 (toysat) S 922 925 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23757493 1761153024 371982 33554432000 4194304 16246674 140734714082864 139826900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=925/tid=928] ppid=922 vsize=1719876 CPUtime=0 cores=1,3,5,7
/proc/925/task/928/stat : 928 (toysat) S 922 925 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23757493 1761153024 371982 33554432000 4194304 16246674 140734714082864 139826821065904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1719876

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

[startup+1800.5 s]
/proc/loadavg: 2.36 2.35 2.24 3/184 1047
/proc/meminfo: memFree=27881176/32872528 swapFree=1200228/1314692
[pid=925] ppid=922 vsize=1719876 CPUtime=1800.01 cores=1,3,5,7
/proc/925/stat : 925 (toysat) R 922 925 31224 0 -1 4202496 370999 0 0 0 179931 70 0 0 20 0 4 0 23757493 1761153024 371982 33554432000 4194304 16246674 140734714082864 140734714082040 4207001 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/925/statm: 429969 371982 902 2943 0 426863 0
[pid=925/tid=926] ppid=922 vsize=1719876 CPUtime=0 cores=1,3,5,7
/proc/925/task/926/stat : 926 (toysat) S 922 925 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23757493 1761153024 371982 33554432000 4194304 16246674 140734714082864 139826911227120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=925/tid=927] ppid=922 vsize=1719876 CPUtime=0 cores=1,3,5,7
/proc/925/task/927/stat : 927 (toysat) S 922 925 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23757493 1761153024 371982 33554432000 4194304 16246674 140734714082864 139826900737264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=925/tid=928] ppid=922 vsize=1719876 CPUtime=0 cores=1,3,5,7
/proc/925/task/928/stat : 928 (toysat) S 922 925 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23757493 1761153024 371982 33554432000 4194304 16246674 140734714082864 139826821065904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1719876

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.04
CPU user time (s): 1799.32
CPU system time (s): 0.716891
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 1719876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.716891
maximum resident set size= 1487928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 370999
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= 502
involuntary context switches= 2006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.34134 second user time and 7.18091 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 04:31:50
IDJOB=4100769
IDBENCH=1659
IDSOLVER=2542
FILE ID=node131/4100769-1466217110
RUNJOBID= node131-1466206062-31241
PBS_JOBID= 19918146
Free space on /tmp= 71688 MiB

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

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

MD5SUM BENCH= 7b629a8e586efe367931c6cdc897e95b
RANDOM SEED=688044122

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29489080 kB
Buffers:          101116 kB
Cached:           122268 kB
SwapCached:         1508 kB
Active:          1202832 kB
Inactive:         129040 kB
Active(anon):    1108428 kB
Inactive(anon):     2680 kB
Active(file):      94404 kB
Inactive(file):   126360 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099852 kB
Dirty:             17156 kB
Writeback:             0 kB
AnonPages:       2424504 kB
Mapped:            10648 kB
Shmem:                 0 kB
Slab:             600396 kB
SReclaimable:      44460 kB
SUnreclaim:       555936 kB
KernelStack:        1472 kB
PageTables:         9012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2565016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    684032 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= 71672 MiB
End job on node131 at 2016-06-18 05:01:50