Trace number 4117189

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.05 1800.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size96-round23-9.opb
MD5SUMe065f1c8e7f6201cf78fb94f3d7a1f66
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9472
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)384
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-26T23:39:41+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-4117189-1466977181.opb"]
0.00/0.01	c use --random-gen="3938469051 2216257856 1655978266 1123596828 849169973 103718141 490113069 3012409421 3732332143 2824253341 1821624719 1099190120 325685918 3526559753 3550216590 1086055169 884358839 4080807478 444204628 1369132876 888567675 3168762735 2448132596 2381074001 2446534995 3332399442 1308610265 4165979930 730654476 2047524505 785829549 1042895666 490083937 2689407075 3577771366 2310553519 3249052404 1815088728 2912003103 1186290805 2353592529 1896620542 1194695184 4201022924 1078761950 3101582677 152076477 2164324858 659885294 517528967 557851630 2715463444 3382419101 1489930346 27485509 3723433800 601120855 1868403374 3608161390 570590374 18735344 114226149 2690912541 568423876 4288852441 1715339297 1231213536 259745356 729478115 10014555 1053140521 181230615 65023391 4187551511 3484699186 1019683805 2556101973 1142087164 3250186150 3635153142 4144768781 3412330468 116655171 312281391 1100116056 429836759 2398194647 1446602757 1156311713 381950503 3105947869 155401563 1583234305 671118881 3397899950 79106998 590272082 2626747120 2996052271 4113728718 2040309582 2621349026 2792310223 2184799412 1010888303 1585980423 3581954234 3080460360 3541593888 3179387958 464612678 4050351802 1189209393 2016917727 3786895587 1011797680 2708622556 1644872241 3793774599 2756855111 3616760849 1276814110 2476345559 3536503043 2557643743 4188195199 3696346368 2225022237 1318532839 2975010209 3904055826 3446134333 448148286 4042539221 680874968 3173856985 1747582329 4100310022 2662787862 3621699540 56560122 2891629808 1093320788 2687153394 3748842997 1262467759 348300073 2422357619 2000311591 1436467036 3007322781 1759582659 3796580649 1889277213 2568191330 344348867 4182217897 4058591609 3138093289 2909578367 3143430407 310081148 3719441308 2236472730 59279230 2018198512 2542216240 3018253441 1820723695 3728254560 2400428414 3849171928 691809396 610321806 3777738090 3086511543 616181524 628115332 862459406 4102174387 3927840491 4001019990 892243695 1060842677 1499124765 3923793708 93981543 3863574076 2912865109 1304581134 137462217 2837121614 1151989378 1240636316 1305840910 765516624 3801630145 39292478 409984620 520287969 1375196639 3052029907 350877556 3697761628 3190106435 2375534192 3608989168 1880151471 2184662260 416856619 3768847512 3326840178 1233527778 2230013406 2566590362 2899089070 3533726730 4208963896 181487011 2288441957 1471834577 3969428324 1993901054 370880535 1921155430 1469757218 745310620 3487191922 4137671216 1023908915 2520068693 183164114 3763760475 1196684329 4125727699 3596298101 3035241938 924538913 2774341138 314012787 11955773 2630590362 2663632874 682815950 4026863907 2875558833 709725330 2875750509 645666513 3616173903 2805447108 871258367 6858141 3164240094 3707773047 3680125335 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9472
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |     4565      0 |      642 |        0
0.29/0.33	c  0.1s |       1 |      728 |      100 |     4565      0 |      642 |      394
0.39/0.43	c  0.2s |       2 |     2860 |      250 |     5022      0 |      642 |      394
0.59/0.68	c  0.4s |       3 |     3838 |      475 |     5525      0 |      642 |      394
0.89/0.94	c  0.7s |       4 |     5905 |      813 |     6078      0 |      642 |      394
1.39/1.40	c  1.1s |       5 |     9714 |     1320 |     6686      0 |      642 |      394
1.98/2.02	c  1.7s |       6 |    16436 |     2081 |     8091      0 |      644 |      394
3.09/3.14	c  2.9s |       7 |    21464 |     3223 |     8901      0 |      644 |      394
4.50/4.52	c  4.3s |       8 |    25647 |     4936 |     9792      0 |      644 |      394
6.49/6.59	c  6.3s |       8 |    35892 |     7336 |     9792      0 |      644 |      394
6.79/6.83	c  6.6s |       9 |    36129 |     7506 |    10772      0 |      644 |      394
8.80/8.86	c  8.6s |       9 |    47083 |    10206 |    10772      0 |      644 |      394
10.09/10.15	c  9.9s |      10 |    49466 |    11361 |    11850      0 |      644 |      394
12.20/12.26	c 12.0s |      10 |    61250 |    13661 |    11850      0 |      644 |      394
14.40/14.47	c 14.2s |      10 |    63302 |    14961 |    11850      1 |      644 |      394
16.50/16.51	c 16.2s |      10 |    66294 |    16461 |    11850      1 |      644 |      394
17.70/17.77	c 17.5s |      11 |    67146 |    17144 |    13036      1 |      644 |      394
19.80/19.86	c 19.6s |      11 |    71009 |    19144 |    13036      1 |      644 |      394
21.89/21.97	c 21.7s |      11 |    72810 |    20644 |    13036      1 |      644 |      394
23.89/23.99	c 23.7s |      11 |    85150 |    23044 |    13036      2 |      644 |      394
25.99/26.01	c 25.7s |      11 |    86607 |    24144 |    13036      2 |      644 |      394
28.29/28.31	c 28.0s |      11 |    87593 |    24944 |    13036      2 |      644 |      394
30.49/30.57	c 30.3s |      11 |    88630 |    25744 |    14340      2 |      644 |      394
30.69/30.80	c 30.5s |      12 |    88724 |    25819 |    14340      2 |      644 |      394
32.89/32.91	c 32.6s |      12 |    92032 |    27619 |    14340      2 |      644 |      394
34.89/34.92	c 34.6s |      12 |    93848 |    29119 |    14340      2 |      644 |      394
36.89/36.99	c 36.7s |      12 |    95445 |    30519 |    14340      2 |      644 |      394
38.99/39.08	c 38.8s |      12 |    97031 |    31819 |    14340      2 |      644 |      394
41.09/41.15	c 40.9s |      12 |    98154 |    32819 |    14340      3 |      644 |      394
43.29/43.39	c 43.1s |      12 |    99354 |    33919 |    14340      3 |      644 |      394
45.49/45.51	c 45.2s |      12 |   100327 |    34819 |    14340      3 |      644 |      394
47.48/47.52	c 47.3s |      12 |   101398 |    35719 |    14340      3 |      644 |      394
49.78/49.84	c 49.6s |      12 |   102421 |    36619 |    14340      3 |      644 |      394
51.79/51.84	c 51.6s |      12 |   103282 |    37419 |    14340      3 |      644 |      394
53.99/54.04	c 53.8s |      12 |   104138 |    38219 |    14340      3 |      644 |      394
55.68/55.75	c 55.5s |      13 |   104852 |    38832 |    15775      3 |      644 |      394
57.68/57.77	c 57.5s |      13 |   118400 |    41132 |    15775      3 |      644 |      394
59.68/59.77	c 59.5s |      13 |   125697 |    43132 |    15775      4 |      644 |      394
61.78/61.89	c 61.6s |      13 |   130742 |    45232 |    15775      4 |      644 |      394
63.98/64.00	c 63.7s |      13 |   132503 |    46732 |    15775      4 |      644 |      394
65.99/66.00	c 65.7s |      13 |   133718 |    47832 |    15775      4 |      644 |      394
68.08/68.11	c 67.8s |      13 |   135157 |    49032 |    15775      4 |      644 |      394
70.08/70.12	c 69.9s |      13 |   137277 |    50332 |    15775      4 |      644 |      394
72.18/72.26	c 72.0s |      13 |   139240 |    51632 |    15775      4 |      644 |      394
74.18/74.26	c 74.0s |      13 |   140196 |    52432 |    15775      5 |      644 |      394
76.28/76.35	c 76.1s |      13 |   141275 |    53332 |    15775      5 |      644 |      394
78.28/78.38	c 78.1s |      13 |   142234 |    54132 |    15775      5 |      644 |      394
80.38/80.48	c 80.2s |      13 |   143065 |    54832 |    15775      5 |      644 |      394
82.38/82.49	c 82.2s |      13 |   143918 |    55532 |    15775      5 |      644 |      394
84.58/84.66	c 84.4s |      13 |   145070 |    56432 |    15775      5 |      644 |      394
86.68/86.74	c 86.5s |      13 |   146206 |    57332 |    15775      5 |      644 |      394
88.78/88.89	c 88.6s |      13 |   147297 |    58132 |    17353      5 |      644 |      394
89.38/89.47	c 89.2s |      14 |   147661 |    58352 |    17353      5 |      644 |      394
91.48/91.56	c 91.3s |      14 |   152482 |    60052 |    17353      5 |      644 |      394
93.78/93.85	c 93.6s |      14 |   157118 |    61952 |    17353      6 |      644 |      394
95.88/95.95	c 95.7s |      14 |   160384 |    63652 |    17353      6 |      644 |      394
97.99/98.02	c 97.8s |      14 |   162545 |    65052 |    17353      6 |      644 |      394
99.98/100.04	c 99.8s |      14 |   164275 |    66252 |    17353      6 |      644 |      394
101.98/102.04	c  101s |      14 |   165547 |    67252 |    17353      6 |      644 |      394
103.98/104.09	c  103s |      14 |   166919 |    68352 |    17353      6 |      644 |      394
106.28/106.32	c  106s |      14 |   168078 |    69352 |    17353      6 |      644 |      394
108.38/108.43	c  108s |      14 |   169162 |    70252 |    17353      6 |      644 |      394
110.58/110.60	c  110s |      14 |   170088 |    71052 |    17353      6 |      644 |      394
112.77/112.85	c  112s |      14 |   170918 |    71752 |    17353      6 |      644 |      394
114.77/114.86	c  114s |      14 |   171911 |    72552 |    17353      6 |      644 |      394
116.97/117.09	c  116s |      14 |   172884 |    73352 |    17353      7 |      644 |      394
119.07/119.19	c  118s |      14 |   173774 |    74152 |    17353      7 |      644 |      394
121.27/121.34	c  121s |      14 |   174708 |    74952 |    17353      7 |      644 |      394
123.47/123.55	c  123s |      14 |   175483 |    75652 |    17353      7 |      644 |      394
125.48/125.55	c  125s |      14 |   176272 |    76352 |    17353      7 |      644 |      394
127.77/127.84	c  127s |      14 |   177071 |    77052 |    17353      7 |      644 |      394
129.78/129.85	c  129s |      14 |   177741 |    77652 |    17353      7 |      644 |      394
131.77/131.89	c  131s |      14 |   181784 |    79052 |    17353      7 |      644 |      394
133.97/134.00	c  133s |      14 |   186528 |    80952 |    17353      7 |      644 |      394
135.97/136.06	c  135s |      14 |   189235 |    82352 |    17353      7 |      644 |      394
138.17/138.25	c  137s |      14 |   190407 |    83252 |    17353      8 |      644 |      394
140.17/140.28	c  140s |      14 |   192268 |    84352 |    17353      8 |      644 |      394
142.27/142.31	c  142s |      14 |   195725 |    85952 |    17353      8 |      644 |      394
144.27/144.32	c  144s |      14 |   197670 |    87152 |    19089      8 |      644 |      394
144.87/144.98	c  144s |      15 |   198448 |    87632 |    19089      8 |      644 |      394
146.97/147.01	c  146s |      15 |   205876 |    89432 |    19089      8 |      644 |      394
148.97/149.09	c  148s |      15 |   207270 |    90632 |    19089      8 |      644 |      394
151.07/151.17	c  150s |      15 |   208687 |    91832 |    19089      8 |      644 |      394
153.16/153.24	c  152s |      15 |   209975 |    92932 |    19089      8 |      644 |      394
155.26/155.33	c  155s |      15 |   211288 |    94032 |    19089      8 |      644 |      394
157.37/157.45	c  157s |      15 |   212488 |    95032 |    19089      8 |      644 |      394
159.36/159.47	c  159s |      15 |   213302 |    95732 |    19089      9 |      644 |      394
161.67/161.71	c  161s |      15 |   214203 |    96532 |    19089      9 |      644 |      394
163.76/163.84	c  163s |      15 |   215133 |    97332 |    19089      9 |      644 |      394
165.96/166.06	c  165s |      15 |   216023 |    98132 |    19089      9 |      644 |      394
168.06/168.11	c  167s |      15 |   216820 |    98832 |    19089      9 |      644 |      394
170.06/170.17	c  169s |      15 |   217478 |    99432 |    19089      9 |      644 |      394
172.26/172.36	c  172s |      15 |   218277 |   100132 |    19089      9 |      644 |      394
174.56/174.63	c  174s |      15 |   219035 |   100832 |    19089      9 |      644 |      394
176.76/176.81	c  176s |      15 |   219686 |   101432 |    19089      9 |      644 |      394
178.76/178.86	c  178s |      15 |   220779 |   102332 |    19089      9 |      644 |      394
180.96/181.03	c  180s |      15 |   221899 |   103232 |    19089      9 |      644 |      394
183.06/183.19	c  182s |      15 |   223060 |   104132 |    19089      9 |      644 |      394
185.36/185.44	c  185s |      15 |   223989 |   104932 |    19089      9 |      644 |      394
187.66/187.70	c  187s |      15 |   224901 |   105732 |    19089      9 |      644 |      394
189.66/189.76	c  189s |      15 |   225704 |   106432 |    19089      9 |      644 |      394
191.96/192.00	c  191s |      15 |   226524 |   107132 |    19089     10 |      644 |      394
194.16/194.28	c  194s |      15 |   227423 |   107932 |    19089     10 |      644 |      394
196.46/196.51	c  196s |      15 |   228204 |   108632 |    19089     10 |      644 |      394
198.46/198.55	c  198s |      15 |   228988 |   109332 |    19089     10 |      644 |      394
200.76/200.84	c  200s |      15 |   229796 |   110032 |    19089     10 |      644 |      394
202.76/202.85	c  202s |      15 |   230455 |   110632 |    19089     10 |      644 |      394
204.96/205.05	c  204s |      15 |   231229 |   111332 |    19089     10 |      644 |      394
207.06/207.12	c  206s |      15 |   231899 |   111932 |    19089     10 |      644 |      394
209.16/209.23	c  208s |      15 |   232664 |   112632 |    19089     10 |      644 |      394
211.16/211.26	c  210s |      15 |   235840 |   113732 |    19089     10 |      644 |      394
213.25/213.37	c  213s |      15 |   238430 |   114932 |    19089     10 |      644 |      394
215.25/215.37	c  215s |      15 |   241005 |   116132 |    19089     10 |      644 |      394
217.45/217.53	c  217s |      15 |   242936 |   117332 |    19089     10 |      644 |      394
219.55/219.63	c  219s |      15 |   244364 |   118332 |    19089     11 |      644 |      394
221.65/221.73	c  221s |      15 |   245893 |   119432 |    19089     11 |      644 |      394
223.95/224.01	c  223s |      15 |   247366 |   120432 |    19089     11 |      644 |      394
225.95/226.02	c  225s |      15 |   248552 |   121332 |    19089     11 |      644 |      394
228.25/228.34	c  228s |      15 |   249742 |   122232 |    19089     11 |      644 |      394
230.26/230.38	c  230s |      15 |   250719 |   123032 |    19089     11 |      644 |      394
232.46/232.53	c  232s |      15 |   252121 |   124032 |    19089     11 |      644 |      394
234.46/234.59	c  234s |      15 |   253415 |   125032 |    19089     11 |      644 |      394
236.57/236.65	c  236s |      15 |   254478 |   125832 |    19089     11 |      644 |      394
238.56/238.67	c  238s |      15 |   255683 |   126632 |    19089     11 |      644 |      394
240.76/240.80	c  240s |      15 |   256523 |   127332 |    19089     11 |      644 |      394
242.76/242.85	c  242s |      15 |   257433 |   128032 |    19089     11 |      644 |      394
245.16/245.27	c  244s |      15 |   258322 |   128732 |    19089     12 |      644 |      394
247.36/247.44	c  247s |      15 |   259529 |   129632 |    19089     12 |      644 |      394
249.56/249.62	c  249s |      15 |   260710 |   130532 |    19089     12 |      644 |      394
251.55/251.64	c  251s |      15 |   261777 |   131432 |    20998     12 |      644 |      394
251.86/251.99	c  251s |      16 |   261921 |   131552 |    20998     12 |      644 |      394
253.95/254.03	c  253s |      16 |   268997 |   133452 |    20998     12 |      644 |      394
256.05/256.11	c  255s |      16 |   271828 |   134852 |    20998     12 |      644 |      394
258.05/258.18	c  257s |      16 |   273479 |   136052 |    20998     12 |      644 |      394
260.15/260.24	c  259s |      16 |   274999 |   137152 |    20998     12 |      644 |      394
262.25/262.31	c  262s |      16 |   276880 |   138452 |    20998     12 |      644 |      394
264.25/264.35	c  264s |      16 |   278333 |   139552 |    20998     12 |      644 |      394
266.26/266.38	c  266s |      16 |   279366 |   140352 |    20998     12 |      644 |      394
268.46/268.57	c  268s |      16 |   280294 |   141152 |    20998     12 |      644 |      394
270.45/270.58	c  270s |      16 |   281120 |   141752 |    20998     13 |      644 |      394
272.76/272.80	c  272s |      16 |   282069 |   142552 |    20998     13 |      644 |      394
274.85/274.97	c  274s |      16 |   283005 |   143252 |    20998     13 |      644 |      394
276.95/277.09	c  276s |      16 |   283599 |   143752 |    20998     13 |      644 |      394
279.05/279.12	c  278s |      16 |   284411 |   144452 |    20998     13 |      644 |      394
281.15/281.26	c  280s |      16 |   285115 |   145052 |    20998     13 |      644 |      394
283.45/283.52	c  283s |      16 |   285915 |   145752 |    20998     13 |      644 |      394
285.65/285.72	c  285s |      16 |   286742 |   146452 |    20998     13 |      644 |      394
287.95/288.05	c  287s |      16 |   287500 |   147052 |    20998     13 |      644 |      394
290.24/290.35	c  290s |      16 |   288561 |   147852 |    20998     13 |      644 |      394
292.44/292.56	c  292s |      16 |   289387 |   148552 |    20998     13 |      644 |      394
294.64/294.73	c  294s |      16 |   290103 |   149152 |    20998     13 |      644 |      394
296.84/296.98	c  296s |      16 |   290795 |   149752 |    20998     13 |      644 |      394
299.15/299.26	c  298s |      16 |   291470 |   150352 |    20998     13 |      644 |      394
301.45/301.59	c  301s |      16 |   292166 |   150952 |    20998     13 |      644 |      394
303.65/303.79	c  303s |      16 |   292864 |   151552 |    20998     13 |      644 |      394
305.75/305.83	c  305s |      16 |   293437 |   152052 |    20998     13 |      644 |      394
308.14/308.29	c  308s |      16 |   294106 |   152652 |    20998     13 |      644 |      394
310.34/310.47	c  310s |      16 |   294674 |   153152 |    20998     13 |      644 |      394
312.64/312.72	c  312s |      16 |   295799 |   153652 |    20998     14 |      644 |      394
314.74/314.87	c  314s |      16 |   300698 |   155452 |    20998     14 |      644 |      394
316.84/316.96	c  316s |      16 |   302432 |   156652 |    20998     14 |      644 |      394
318.94/319.00	c  318s |      16 |   303704 |   157652 |    20998     14 |      644 |      394
321.04/321.18	c  320s |      16 |   304795 |   158552 |    20998     14 |      644 |      394
323.34/323.44	c  323s |      16 |   305901 |   159452 |    20998     14 |      644 |      394
325.44/325.51	c  325s |      16 |   314016 |   161252 |    20998     14 |      644 |      394
327.44/327.56	c  327s |      16 |   318306 |   163152 |    20998     14 |      644 |      394
329.64/329.72	c  329s |      16 |   320215 |   164452 |    20998     14 |      644 |      394
331.74/331.82	c  331s |      16 |   321585 |   165452 |    20998     14 |      644 |      394
333.84/333.99	c  333s |      16 |   323020 |   166452 |    20998     15 |      644 |      394
336.14/336.21	c  335s |      16 |   324685 |   167652 |    20998     15 |      644 |      394
338.24/338.32	c  338s |      16 |   325973 |   168652 |    20998     15 |      644 |      394
340.24/340.37	c  340s |      16 |   327517 |   169752 |    20998     15 |      644 |      394
342.34/342.42	c  342s |      16 |   330045 |   170852 |    20998     15 |      644 |      394
344.44/344.51	c  344s |      16 |   333514 |   172852 |    20998     15 |      644 |      394
346.55/346.61	c  346s |      16 |   335764 |   174552 |    20998     15 |      644 |      394
348.54/348.67	c  348s |      16 |   337884 |   176052 |    20998     15 |      644 |      394
350.64/350.75	c  350s |      16 |   339760 |   177452 |    20998     15 |      644 |      394
352.74/352.88	c  352s |      16 |   341090 |   178552 |    20998     16 |      644 |      394
354.94/355.05	c  354s |      16 |   342595 |   179852 |    20998     16 |      644 |      394
357.13/357.24	c  356s |      16 |   343999 |   181052 |    20998     16 |      644 |      394
359.23/359.37	c  359s |      16 |   345350 |   182152 |    20998     16 |      644 |      394
361.43/361.58	c  361s |      16 |   346471 |   183152 |    20998     16 |      644 |      394
363.73/363.82	c  363s |      16 |   347607 |   184152 |    20998     16 |      644 |      394
365.73/365.85	c  365s |      16 |   348709 |   185052 |    20998     16 |      644 |      394
368.03/368.15	c  367s |      16 |   349753 |   185952 |    20998     16 |      644 |      394
370.23/370.33	c  370s |      16 |   350690 |   186752 |    20998     16 |      644 |      394
372.33/372.47	c  372s |      16 |   351645 |   187552 |    20998     16 |      644 |      394
374.53/374.61	c  374s |      16 |   352396 |   188252 |    20998     16 |      644 |      394
376.53/376.67	c  376s |      16 |   353225 |   188952 |    20998     16 |      644 |      394
378.73/378.84	c  378s |      16 |   354035 |   189652 |    20998     16 |      644 |      394
380.93/381.00	c  380s |      16 |   354912 |   190352 |    20998     17 |      644 |      394
382.93/383.05	c  382s |      16 |   356007 |   191252 |    20998     17 |      644 |      394
385.13/385.24	c  384s |      16 |   357084 |   192152 |    20998     17 |      644 |      394
387.14/387.25	c  386s |      16 |   358055 |   192952 |    20998     17 |      644 |      394
389.34/389.41	c  389s |      16 |   359105 |   193852 |    20998     17 |      644 |      394
391.43/391.60	c  391s |      16 |   360215 |   194752 |    20998     17 |      644 |      394
393.53/393.61	c  393s |      16 |   361083 |   195452 |    20998     17 |      644 |      394
395.53/395.68	c  395s |      16 |   361969 |   196152 |    23098     17 |      644 |      394
397.63/397.79	c  397s |      16 |   362805 |   196852 |    23098     17 |      644 |      394
399.23/399.37	c  399s |      17 |   363539 |   197432 |    23098     17 |      644 |      394
401.33/401.43	c  401s |      17 |   369776 |   199232 |    23098     17 |      644 |      394
403.33/403.44	c  403s |      17 |   375371 |   201232 |    23098     17 |      644 |      394
405.33/405.49	c  405s |      17 |   376884 |   202432 |    23098     17 |      644 |      394
407.43/407.57	c  407s |      17 |   378498 |   203632 |    23098     17 |      644 |      394
409.53/409.62	c  409s |      17 |   379770 |   204632 |    23098     18 |      644 |      394
411.53/411.62	c  411s |      17 |   380940 |   205632 |    23098     18 |      644 |      394
413.53/413.62	c  413s |      17 |   382161 |   206632 |    23098     18 |      644 |      394
415.52/415.68	c  415s |      17 |   383372 |   207632 |    23098     18 |      644 |      394
417.62/417.76	c  417s |      17 |   384473 |   208532 |    23098     18 |      644 |      394
419.72/419.80	c  419s |      17 |   385651 |   209432 |    23098     18 |      644 |      394
421.72/421.85	c  421s |      17 |   387008 |   210432 |    23098     18 |      644 |      394
423.72/423.86	c  423s |      17 |   388171 |   211332 |    23098     18 |      644 |      394
426.02/426.12	c  425s |      17 |   389096 |   212132 |    23098     18 |      644 |      394
428.02/428.17	c  427s |      17 |   390059 |   212932 |    23098     18 |      644 |      394
430.13/430.29	c  430s |      17 |   390991 |   213732 |    23098     18 |      644 |      394
432.12/432.30	c  432s |      17 |   391986 |   214532 |    23098     18 |      644 |      394
434.22/434.38	c  434s |      17 |   392929 |   215332 |    23098     18 |      644 |      394
436.32/436.49	c  436s |      17 |   393905 |   216132 |    23098     18 |      644 |      394
438.42/438.56	c  438s |      17 |   394762 |   216832 |    23098     18 |      644 |      394
440.92/441.01	c  440s |      17 |   395602 |   217532 |    23098     19 |      644 |      394
443.02/443.14	c  442s |      17 |   396603 |   218332 |    23098     19 |      644 |      394
445.12/445.29	c  445s |      17 |   397563 |   219132 |    23098     19 |      644 |      394
447.22/447.36	c  447s |      17 |   398526 |   219932 |    23098     19 |      644 |      394
449.52/449.66	c  449s |      17 |   399445 |   220732 |    23098     19 |      644 |      394
451.62/451.72	c  451s |      17 |   400281 |   221432 |    23098     19 |      644 |      394
453.62/453.75	c  453s |      17 |   401097 |   222132 |    23098     19 |      644 |      394
455.92/456.02	c  455s |      17 |   401908 |   222832 |    23098     19 |      644 |      394
457.92/458.04	c  457s |      17 |   402745 |   223532 |    23098     19 |      644 |      394
459.92/460.05	c  459s |      17 |   403598 |   224232 |    23098     19 |      644 |      394
462.12/462.24	c  461s |      17 |   404513 |   225032 |    23098     19 |      644 |      394
464.32/464.49	c  464s |      17 |   405289 |   225732 |    23098     19 |      644 |      394
466.62/466.74	c  466s |      17 |   406088 |   226432 |    23098     19 |      644 |      394
468.71/468.87	c  468s |      17 |   406768 |   227032 |    23098     19 |      644 |      394
470.82/470.93	c  470s |      17 |   407460 |   227632 |    23098     19 |      644 |      394
472.81/472.99	c  472s |      17 |   408144 |   228232 |    23098     19 |      644 |      394
474.91/475.06	c  474s |      17 |   408868 |   228832 |    23098     19 |      644 |      394
477.01/477.15	c  476s |      17 |   409575 |   229432 |    23098     19 |      644 |      394
479.21/479.39	c  479s |      17 |   410270 |   230032 |    23098     19 |      644 |      394
481.72/481.87	c  481s |      17 |   410968 |   230632 |    23098     20 |      644 |      394
483.81/483.96	c  483s |      17 |   411773 |   231332 |    23098     20 |      644 |      394
486.01/486.14	c  485s |      17 |   412556 |   232032 |    23098     20 |      644 |      394
488.11/488.24	c  487s |      17 |   413643 |   232832 |    23098     20 |      644 |      394
490.41/490.50	c  490s |      17 |   414692 |   233732 |    23098     20 |      644 |      394
492.51/492.68	c  492s |      17 |   415637 |   234532 |    23098     20 |      644 |      394
494.92/495.00	c  494s |      17 |   416563 |   235332 |    23098     20 |      644 |      394
497.12/497.27	c  496s |      17 |   417538 |   236132 |    23098     20 |      644 |      394
499.32/499.50	c  499s |      17 |   418373 |   236832 |    23098     20 |      644 |      394
501.62/501.78	c  501s |      17 |   419187 |   237532 |    23098     20 |      644 |      394
503.82/503.99	c  503s |      17 |   420004 |   238232 |    23098     20 |      644 |      394
505.92/506.01	c  505s |      17 |   420794 |   238932 |    23098     20 |      644 |      394
508.02/508.17	c  507s |      17 |   421664 |   239632 |    23098     20 |      644 |      394
510.22/510.33	c  510s |      17 |   422524 |   240332 |    23098     20 |      644 |      394
512.32/512.46	c  512s |      17 |   423201 |   240932 |    23098     20 |      644 |      394
514.31/514.48	c  514s |      17 |   423764 |   241432 |    23098     20 |      644 |      394
516.61/516.74	c  516s |      17 |   424489 |   242032 |    23098     20 |      644 |      394
518.71/518.82	c  518s |      17 |   425186 |   242632 |    23098     20 |      644 |      394
520.71/520.88	c  520s |      17 |   425903 |   243232 |    23098     20 |      644 |      394
523.11/523.20	c  522s |      17 |   426498 |   243732 |    23098     21 |      644 |      394
525.11/525.21	c  524s |      17 |   427323 |   244432 |    23098     21 |      644 |      394
527.31/527.41	c  527s |      17 |   428181 |   245132 |    23098     21 |      644 |      394
529.41/529.51	c  529s |      17 |   428978 |   245832 |    23098     21 |      644 |      394
531.61/531.73	c  531s |      17 |   429790 |   246532 |    23098     21 |      644 |      394
533.81/533.92	c  533s |      17 |   430600 |   247232 |    23098     21 |      644 |      394
536.01/536.13	c  535s |      17 |   431429 |   247932 |    23098     21 |      644 |      394
538.31/538.41	c  538s |      17 |   432239 |   248632 |    23098     21 |      644 |      394
540.51/540.66	c  540s |      17 |   433048 |   249332 |    23098     21 |      644 |      394
542.61/542.77	c  542s |      17 |   433741 |   249932 |    23098     21 |      644 |      394
544.91/545.01	c  544s |      17 |   434578 |   250632 |    23098     21 |      644 |      394
547.21/547.33	c  547s |      17 |   435441 |   251332 |    23098     21 |      644 |      394
549.41/549.58	c  549s |      17 |   436279 |   252032 |    23098     21 |      644 |      394
551.51/551.68	c  551s |      17 |   437616 |   252832 |    23098     21 |      644 |      394
553.61/553.78	c  553s |      17 |   438692 |   253632 |    23098     21 |      644 |      394
555.81/555.93	c  555s |      17 |   439514 |   254332 |    23098     21 |      644 |      394
558.01/558.19	c  557s |      17 |   440303 |   255032 |    23098     21 |      644 |      394
560.11/560.29	c  560s |      17 |   441156 |   255732 |    23098     21 |      644 |      394
562.40/562.50	c  562s |      17 |   441971 |   256432 |    23098     21 |      644 |      394
564.50/564.63	c  564s |      17 |   442608 |   256932 |    23098     22 |      644 |      394
566.60/566.71	c  566s |      17 |   443535 |   257732 |    23098     22 |      644 |      394
568.61/568.73	c  568s |      17 |   444493 |   258532 |    23098     22 |      644 |      394
570.60/570.76	c  570s |      17 |   445400 |   259332 |    23098     22 |      644 |      394
572.80/572.99	c  572s |      17 |   446339 |   260132 |    23098     22 |      644 |      394
575.00/575.12	c  574s |      17 |   447365 |   260832 |    23098     22 |      644 |      394
577.00/577.18	c  576s |      17 |   448224 |   261532 |    23098     22 |      644 |      394
579.20/579.38	c  579s |      17 |   449125 |   262232 |    23098     22 |      644 |      394
581.30/581.48	c  581s |      17 |   449839 |   262832 |    23098     22 |      644 |      394
583.40/583.55	c  583s |      17 |   450656 |   263532 |    23098     22 |      644 |      394
585.60/585.73	c  585s |      17 |   451330 |   264132 |    23098     22 |      644 |      394
587.90/588.08	c  587s |      17 |   452028 |   264732 |    23098     22 |      644 |      394
590.30/590.42	c  590s |      17 |   452671 |   265332 |    23098     22 |      644 |      394
592.60/592.70	c  592s |      17 |   453214 |   265832 |    23098     22 |      644 |      394
594.70/594.80	c  594s |      17 |   453782 |   266332 |    23098     22 |      644 |      394
597.10/597.22	c  596s |      17 |   454334 |   266832 |    23098     22 |      644 |      394
599.40/599.59	c  599s |      17 |   455018 |   267432 |    23098     22 |      644 |      394
601.49/601.67	c  601s |      17 |   455717 |   268032 |    23098     22 |      644 |      394
603.59/603.77	c  603s |      17 |   456435 |   268632 |    23098     22 |      644 |      394
605.79/605.98	c  605s |      17 |   457325 |   269332 |    23098     22 |      644 |      394
607.99/608.13	c  607s |      17 |   458022 |   269932 |    23098     22 |      644 |      394
610.19/610.32	c  610s |      17 |   458740 |   270532 |    23098     23 |      644 |      394
612.19/612.39	c  612s |      17 |   459541 |   271232 |    23098     23 |      644 |      394
614.39/614.57	c  614s |      17 |   460329 |   271932 |    23098     23 |      644 |      394
616.49/616.68	c  616s |      17 |   461147 |   272632 |    23098     23 |      644 |      394
618.69/618.84	c  618s |      17 |   461982 |   273332 |    23098     23 |      644 |      394
620.70/620.89	c  620s |      17 |   462695 |   273932 |    23098     23 |      644 |      394
623.00/623.16	c  622s |      17 |   463506 |   274632 |    23098     23 |      644 |      394
625.00/625.17	c  624s |      17 |   464185 |   275232 |    23098     23 |      644 |      394
627.10/627.25	c  626s |      17 |   465061 |   275932 |    23098     23 |      644 |      394
629.21/629.35	c  629s |      17 |   466046 |   276732 |    23098     23 |      644 |      394
631.41/631.53	c  631s |      17 |   467010 |   277532 |    23098     23 |      644 |      394
633.50/633.69	c  633s |      17 |   467805 |   278232 |    23098     23 |      644 |      394
635.60/635.70	c  635s |      17 |   468479 |   278832 |    23098     23 |      644 |      394
637.60/637.78	c  637s |      17 |   469328 |   279532 |    23098     23 |      644 |      394
639.80/639.95	c  639s |      17 |   470002 |   280132 |    23098     23 |      644 |      394
642.00/642.19	c  641s |      17 |   470561 |   280632 |    23098     23 |      644 |      394
644.10/644.20	c  643s |      17 |   471228 |   281232 |    23098     23 |      644 |      394
646.20/646.36	c  646s |      17 |   471932 |   281832 |    23098     23 |      644 |      394
648.20/648.38	c  648s |      17 |   472655 |   282432 |    23098     23 |      644 |      394
650.50/650.63	c  650s |      17 |   473338 |   283032 |    23098     23 |      644 |      394
652.59/652.72	c  652s |      17 |   473929 |   283532 |    23098     24 |      644 |      394
654.79/654.91	c  654s |      17 |   474861 |   284332 |    23098     24 |      644 |      394
656.79/656.98	c  656s |      17 |   475652 |   285032 |    23098     24 |      644 |      394
658.90/659.01	c  658s |      17 |   476446 |   285732 |    23098     24 |      644 |      394
661.10/661.25	c  660s |      17 |   477388 |   286532 |    23098     24 |      644 |      394
663.30/663.43	c  663s |      17 |   478176 |   287232 |    23098     24 |      644 |      394
665.50/665.65	c  665s |      17 |   478964 |   287932 |    23098     24 |      644 |      394
667.60/667.74	c  667s |      17 |   479649 |   288532 |    23098     24 |      644 |      394
669.59/669.77	c  669s |      17 |   480340 |   289132 |    23098     24 |      644 |      394
672.00/672.16	c  671s |      17 |   480994 |   289732 |    23098     24 |      644 |      394
673.99/674.17	c  673s |      17 |   481527 |   290232 |    23098     24 |      644 |      394
676.29/676.41	c  676s |      17 |   482226 |   290832 |    23098     24 |      644 |      394
678.59/678.72	c  678s |      17 |   482903 |   291432 |    23098     24 |      644 |      394
680.69/680.86	c  680s |      17 |   483447 |   291932 |    23098     24 |      644 |      394
682.89/683.08	c  682s |      17 |   484138 |   292532 |    23098     24 |      644 |      394
685.08/685.24	c  684s |      17 |   484831 |   293132 |    23098     24 |      644 |      394
687.08/687.25	c  686s |      17 |   485521 |   293732 |    23098     24 |      644 |      394
689.18/689.35	c  689s |      17 |   486212 |   294332 |    25408     24 |      644 |      394
691.38/691.52	c  691s |      17 |   486911 |   294932 |    25408     24 |      644 |      394
693.48/693.60	c  693s |      17 |   487774 |   295632 |    25408     24 |      644 |      394
695.48/695.61	c  695s |      18 |   488479 |   296252 |    25408     24 |      644 |      394
697.48/697.62	c  697s |      18 |   495862 |   297652 |    25408     25 |      644 |      394
699.49/699.65	c  699s |      18 |   501057 |   299752 |    25408     25 |      644 |      394
701.58/701.71	c  701s |      18 |   503374 |   301152 |    25408     25 |      644 |      394
703.68/703.84	c  703s |      18 |   504870 |   302252 |    25408     25 |      644 |      394
705.78/705.91	c  705s |      18 |   506539 |   303352 |    25408     25 |      644 |      394
707.98/708.17	c  707s |      18 |   508536 |   304652 |    25408     25 |      644 |      394
709.98/710.18	c  709s |      18 |   509879 |   305552 |    25408     25 |      644 |      394
712.28/712.46	c  712s |      18 |   510825 |   306252 |    25408     25 |      644 |      394
714.58/714.73	c  714s |      18 |   511465 |   306752 |    25408     25 |      644 |      394
716.88/717.00	c  716s |      18 |   512233 |   307352 |    25408     25 |      644 |      394
718.88/719.09	c  718s |      18 |   512973 |   307952 |    25408     25 |      644 |      394
721.08/721.26	c  720s |      18 |   513617 |   308452 |    25408     25 |      644 |      394
723.18/723.38	c  723s |      18 |   514278 |   309052 |    25408     25 |      644 |      394
725.38/725.51	c  725s |      18 |   515010 |   309652 |    25408     25 |      644 |      394
727.68/727.89	c  727s |      18 |   515489 |   310052 |    25408     25 |      644 |      394
729.77/729.97	c  729s |      18 |   516175 |   310652 |    25408     25 |      644 |      394
732.07/732.27	c  731s |      18 |   516854 |   311252 |    25408     25 |      644 |      394
734.48/734.62	c  734s |      18 |   517543 |   311852 |    25408     25 |      644 |      394
736.58/736.70	c  736s |      18 |   519423 |   312752 |    25408     26 |      644 |      394
738.68/738.89	c  738s |      18 |   520810 |   313852 |    25408     26 |      644 |      394
740.88/741.06	c  740s |      18 |   521848 |   314752 |    25408     26 |      644 |      394
742.98/743.16	c  742s |      18 |   522868 |   315552 |    25408     26 |      644 |      394
745.08/745.22	c  744s |      18 |   523660 |   316252 |    25408     26 |      644 |      394
747.08/747.25	c  746s |      18 |   524534 |   317052 |    25408     26 |      644 |      394
749.28/749.47	c  749s |      18 |   527538 |   318352 |    25408     26 |      644 |      394
751.29/751.49	c  751s |      18 |   528610 |   319252 |    25408     26 |      644 |      394
753.58/753.71	c  753s |      18 |   529509 |   320052 |    25408     26 |      644 |      394
755.58/755.72	c  755s |      18 |   530323 |   320752 |    25408     26 |      644 |      394
757.78/757.91	c  757s |      18 |   531306 |   321552 |    25408     26 |      644 |      394
759.88/760.05	c  759s |      18 |   532733 |   322452 |    25408     26 |      644 |      394
762.08/762.30	c  762s |      18 |   533580 |   323152 |    25408     26 |      644 |      394
764.27/764.45	c  764s |      18 |   535001 |   324152 |    25408     26 |      644 |      394
766.47/766.68	c  766s |      18 |   535996 |   324952 |    25408     26 |      644 |      394
768.67/768.82	c  768s |      18 |   536786 |   325652 |    25408     26 |      644 |      394
770.98/771.20	c  770s |      18 |   537591 |   326352 |    25408     26 |      644 |      394
773.28/773.45	c  773s |      18 |   538596 |   327052 |    25408     27 |      644 |      394
775.38/775.52	c  775s |      18 |   539823 |   327852 |    25408     27 |      644 |      394
777.68/777.84	c  777s |      18 |   540833 |   328652 |    25408     27 |      644 |      394
779.67/779.87	c  779s |      18 |   541755 |   329352 |    25408     27 |      644 |      394
781.77/781.94	c  781s |      18 |   542825 |   330152 |    25408     27 |      644 |      394
783.77/783.97	c  783s |      18 |   544007 |   330952 |    25408     27 |      644 |      394
785.87/786.03	c  785s |      18 |   545406 |   331852 |    25408     27 |      644 |      394
787.97/788.19	c  787s |      18 |   546439 |   332652 |    25408     27 |      644 |      394
789.97/790.20	c  789s |      18 |   547327 |   333352 |    25408     27 |      644 |      394
792.17/792.37	c  792s |      18 |   548225 |   334052 |    25408     27 |      644 |      394
794.27/794.49	c  794s |      18 |   549118 |   334752 |    25408     27 |      644 |      394
796.47/796.69	c  796s |      18 |   549949 |   335452 |    25408     27 |      644 |      394
798.77/798.95	c  798s |      18 |   550824 |   336152 |    25408     27 |      644 |      394
800.97/801.18	c  800s |      18 |   551520 |   336752 |    25408     27 |      644 |      394
803.17/803.38	c  803s |      18 |   552336 |   337352 |    25408     27 |      644 |      394
805.27/805.48	c  805s |      18 |   553055 |   337952 |    25408     27 |      644 |      394
807.57/807.75	c  807s |      18 |   553867 |   338652 |    25408     27 |      644 |      394
809.67/809.88	c  809s |      18 |   554572 |   339252 |    25408     27 |      644 |      394
811.87/812.06	c  811s |      18 |   555237 |   339852 |    25408     27 |      644 |      394
814.47/814.67	c  814s |      18 |   556336 |   340552 |    25408     28 |      644 |      394
816.67/816.80	c  816s |      18 |   557961 |   341652 |    25408     28 |      644 |      394
818.67/818.83	c  818s |      18 |   559232 |   342652 |    25408     28 |      644 |      394
820.87/821.04	c  820s |      18 |   560477 |   343652 |    25408     28 |      644 |      394
823.06/823.21	c  822s |      18 |   561573 |   344552 |    25408     28 |      644 |      394
825.16/825.35	c  825s |      18 |   562478 |   345352 |    25408     28 |      644 |      394
827.26/827.41	c  827s |      18 |   563398 |   346152 |    25408     28 |      644 |      394
829.37/829.58	c  829s |      18 |   564346 |   346952 |    25408     28 |      644 |      394
831.47/831.64	c  831s |      18 |   565220 |   347652 |    25408     28 |      644 |      394
833.56/833.77	c  833s |      18 |   566014 |   348352 |    25408     28 |      644 |      394
835.76/835.98	c  835s |      18 |   566822 |   349052 |    25408     28 |      644 |      394
837.86/838.05	c  837s |      18 |   567657 |   349752 |    25408     28 |      644 |      394
839.96/840.10	c  839s |      18 |   568362 |   350352 |    25408     28 |      644 |      394
842.16/842.33	c  842s |      18 |   569049 |   350952 |    25408     28 |      644 |      394
844.46/844.67	c  844s |      18 |   569870 |   351652 |    25408     28 |      644 |      394
846.66/846.82	c  846s |      18 |   570550 |   352252 |    25408     28 |      644 |      394
848.86/849.03	c  848s |      18 |   571226 |   352852 |    25408     28 |      644 |      394
851.06/851.29	c  851s |      18 |   571929 |   353452 |    25408     28 |      644 |      394
853.56/853.78	c  853s |      18 |   572586 |   354052 |    25408     28 |      644 |      394
856.06/856.24	c  855s |      18 |   573290 |   354652 |    25408     28 |      644 |      394
858.16/858.30	c  858s |      18 |   573757 |   355052 |    25408     29 |      644 |      394
860.16/860.35	c  860s |      18 |   574416 |   355652 |    25408     29 |      644 |      394
862.15/862.40	c  862s |      18 |   575088 |   356252 |    25408     29 |      644 |      394
864.46/864.70	c  864s |      18 |   575735 |   356852 |    25408     29 |      644 |      394
866.76/866.98	c  866s |      18 |   576395 |   357452 |    25408     29 |      644 |      394
868.96/869.17	c  868s |      18 |   577077 |   358052 |    25408     29 |      644 |      394
871.16/871.35	c  871s |      18 |   577743 |   358652 |    25408     29 |      644 |      394
873.36/873.56	c  873s |      18 |   578394 |   359252 |    25408     29 |      644 |      394
875.56/875.77	c  875s |      18 |   579071 |   359852 |    25408     29 |      644 |      394
877.55/877.79	c  877s |      18 |   579622 |   360352 |    25408     29 |      644 |      394
879.65/879.89	c  879s |      18 |   580155 |   360852 |    25408     29 |      644 |      394
882.16/882.34	c  882s |      18 |   580795 |   361452 |    25408     29 |      644 |      394
884.45/884.62	c  884s |      18 |   581457 |   362052 |    25408     29 |      644 |      394
886.75/886.90	c  886s |      18 |   582006 |   362552 |    25408     29 |      644 |      394
888.85/889.00	c  888s |      18 |   582565 |   363052 |    25408     29 |      644 |      394
891.06/891.23	c  890s |      18 |   583456 |   363752 |    25408     29 |      644 |      394
893.07/893.30	c  893s |      18 |   584193 |   364352 |    25408     29 |      644 |      394
895.36/895.59	c  895s |      18 |   584870 |   364952 |    25408     29 |      644 |      394
897.56/897.72	c  897s |      18 |   585579 |   365552 |    25408     29 |      644 |      394
899.86/900.02	c  899s |      18 |   586274 |   366152 |    25408     29 |      644 |      394
901.86/902.05	c  901s |      18 |   586864 |   366652 |    25408     29 |      644 |      394
904.16/904.31	c  904s |      18 |   587561 |   367252 |    25408     29 |      644 |      394
906.36/906.52	c  906s |      18 |   588140 |   367752 |    25408     29 |      644 |      394
908.35/908.53	c  908s |      18 |   588749 |   368252 |    25408     29 |      644 |      394
910.45/910.68	c  910s |      18 |   589318 |   368752 |    25408     29 |      644 |      394
912.55/912.75	c  912s |      18 |   589894 |   369252 |    25408     29 |      644 |      394
914.65/914.84	c  914s |      18 |   590478 |   369752 |    25408     30 |      644 |      394
916.75/916.99	c  916s |      18 |   591291 |   370452 |    25408     30 |      644 |      394
918.95/919.17	c  918s |      18 |   592070 |   371152 |    25408     30 |      644 |      394
921.05/921.29	c  921s |      18 |   592875 |   371852 |    25408     30 |      644 |      394
923.15/923.39	c  923s |      18 |   593564 |   372452 |    25408     30 |      644 |      394
925.45/925.63	c  925s |      18 |   594528 |   373252 |    25408     30 |      644 |      394
927.45/927.67	c  927s |      18 |   595378 |   373952 |    25408     30 |      644 |      394
929.75/929.95	c  929s |      18 |   596177 |   374652 |    25408     30 |      644 |      394
931.75/931.99	c  931s |      18 |   596877 |   375252 |    25408     30 |      644 |      394
934.05/934.27	c  934s |      18 |   597669 |   375952 |    25408     30 |      644 |      394
936.25/936.41	c  936s |      18 |   598346 |   376552 |    25408     30 |      644 |      394
938.45/938.65	c  938s |      18 |   599018 |   377152 |    25408     30 |      644 |      394
940.65/940.82	c  940s |      18 |   599696 |   377752 |    25408     30 |      644 |      394
942.95/943.10	c  942s |      18 |   600428 |   378352 |    25408     30 |      644 |      394
944.95/945.19	c  944s |      18 |   601111 |   378952 |    25408     30 |      644 |      394
947.25/947.49	c  947s |      18 |   601779 |   379552 |    25408     30 |      644 |      394
949.55/949.75	c  949s |      18 |   602349 |   380052 |    25408     30 |      644 |      394
951.95/952.10	c  951s |      18 |   602887 |   380552 |    25408     30 |      644 |      394
954.14/954.34	c  954s |      18 |   603472 |   381052 |    25408     30 |      644 |      394
956.34/956.52	c  956s |      18 |   604191 |   381652 |    25408     30 |      644 |      394
958.64/958.82	c  958s |      18 |   604890 |   382252 |    25408     30 |      644 |      394
960.64/960.84	c  960s |      18 |   605450 |   382752 |    25408     30 |      644 |      394
962.74/962.95	c  962s |      18 |   606007 |   383252 |    25408     30 |      644 |      394
965.14/965.38	c  965s |      18 |   606453 |   383652 |    25408     31 |      644 |      394
967.34/967.53	c  967s |      18 |   607122 |   384252 |    25408     31 |      644 |      394
969.34/969.54	c  969s |      18 |   607793 |   384852 |    25408     31 |      644 |      394
971.44/971.66	c  971s |      18 |   608472 |   385452 |    25408     31 |      644 |      394
973.74/973.93	c  973s |      18 |   609140 |   386052 |    25408     31 |      644 |      394
975.94/976.14	c  975s |      18 |   609803 |   386652 |    25408     31 |      644 |      394
977.94/978.18	c  977s |      18 |   610489 |   387252 |    25408     31 |      644 |      394
980.14/980.33	c  980s |      18 |   611193 |   387852 |    25408     31 |      644 |      394
982.25/982.46	c  982s |      18 |   611968 |   388452 |    25408     31 |      644 |      394
984.64/984.82	c  984s |      18 |   612804 |   389152 |    25408     31 |      644 |      394
986.84/987.05	c  986s |      18 |   613510 |   389752 |    25408     31 |      644 |      394
988.84/989.08	c  988s |      18 |   614094 |   390252 |    25408     31 |      644 |      394
991.14/991.32	c  991s |      18 |   615002 |   390952 |    25408     31 |      644 |      394
993.14/993.37	c  993s |      18 |   615721 |   391552 |    25408     31 |      644 |      394
995.13/995.38	c  995s |      18 |   616442 |   392152 |    25408     31 |      644 |      394
997.43/997.66	c  997s |      18 |   617125 |   392752 |    25408     31 |      644 |      394
999.75/1000.00	c  999s |      18 |   617840 |   393352 |    25408     31 |      644 |      394
1001.95/1002.18	c 1001s |      18 |   618399 |   393852 |    25408     31 |      644 |      394
1004.25/1004.48	c 1004s |      18 |   619090 |   394452 |    25408     31 |      644 |      394
1006.45/1006.65	c 1006s |      18 |   619837 |   395052 |    25408     31 |      644 |      394
1008.44/1008.67	c 1008s |      18 |   620423 |   395552 |    25408     31 |      644 |      394
1010.75/1010.92	c 1010s |      18 |   621163 |   396152 |    25408     31 |      644 |      394
1012.95/1013.16	c 1012s |      18 |   621893 |   396752 |    25408     31 |      644 |      394
1015.44/1015.60	c 1015s |      18 |   622582 |   397352 |    25408     31 |      644 |      394
1017.54/1017.73	c 1017s |      18 |   623159 |   397852 |    25408     31 |      644 |      394
1019.84/1020.01	c 1019s |      18 |   623625 |   398252 |    25408     32 |      644 |      394
1021.94/1022.14	c 1021s |      18 |   624311 |   398852 |    25408     32 |      644 |      394
1024.05/1024.28	c 1024s |      18 |   625135 |   399552 |    25408     32 |      644 |      394
1026.44/1026.61	c 1026s |      18 |   625940 |   400252 |    25408     32 |      644 |      394
1028.44/1028.68	c 1028s |      18 |   626632 |   400852 |    25408     32 |      644 |      394
1030.54/1030.79	c 1030s |      18 |   628411 |   401752 |    25408     32 |      644 |      394
1032.64/1032.81	c 1032s |      18 |   629464 |   402552 |    25408     32 |      644 |      394
1034.74/1034.98	c 1034s |      18 |   630746 |   403552 |    25408     32 |      644 |      394
1036.83/1037.09	c 1036s |      18 |   631708 |   404352 |    25408     32 |      644 |      394
1038.93/1039.13	c 1038s |      18 |   632635 |   405052 |    25408     32 |      644 |      394
1041.03/1041.29	c 1041s |      18 |   633535 |   405752 |    25408     32 |      644 |      394
1043.13/1043.38	c 1043s |      18 |   634729 |   406552 |    25408     32 |      644 |      394
1045.23/1045.47	c 1045s |      18 |   635608 |   407252 |    25408     32 |      644 |      394
1047.43/1047.68	c 1047s |      18 |   636397 |   407852 |    25408     32 |      644 |      394
1049.53/1049.71	c 1049s |      18 |   637034 |   408352 |    25408     32 |      644 |      394
1051.73/1051.90	c 1051s |      18 |   638064 |   409052 |    25408     32 |      644 |      394
1053.74/1053.91	c 1053s |      18 |   639172 |   409852 |    25408     32 |      644 |      394
1055.84/1056.01	c 1055s |      18 |   640036 |   410552 |    25408     32 |      644 |      394
1058.04/1058.23	c 1057s |      18 |   640849 |   411252 |    25408     32 |      644 |      394
1060.34/1060.53	c 1060s |      18 |   641750 |   411952 |    25408     32 |      644 |      394
1062.54/1062.74	c 1062s |      18 |   642492 |   412552 |    25408     33 |      644 |      394
1064.64/1064.85	c 1064s |      18 |   643456 |   413352 |    25408     33 |      644 |      394
1066.83/1067.10	c 1066s |      18 |   644426 |   414152 |    25408     33 |      644 |      394
1069.03/1069.26	c 1068s |      18 |   645379 |   414952 |    25408     33 |      644 |      394
1071.33/1071.54	c 1071s |      18 |   646330 |   415752 |    25408     33 |      644 |      394
1073.43/1073.68	c 1073s |      18 |   647427 |   416552 |    25408     33 |      644 |      394
1075.43/1075.68	c 1075s |      18 |   648370 |   417252 |    25408     33 |      644 |      394
1077.63/1077.81	c 1077s |      18 |   649215 |   417952 |    25408     33 |      644 |      394
1079.73/1079.95	c 1079s |      18 |   650054 |   418652 |    25408     33 |      644 |      394
1081.83/1082.03	c 1081s |      18 |   650766 |   419252 |    25408     33 |      644 |      394
1083.93/1084.11	c 1083s |      18 |   651483 |   419852 |    25408     33 |      644 |      394
1086.12/1086.35	c 1086s |      18 |   652182 |   420452 |    25408     33 |      644 |      394
1088.22/1088.40	c 1088s |      18 |   652886 |   421052 |    25408     33 |      644 |      394
1090.32/1090.55	c 1090s |      18 |   653630 |   421652 |    25408     33 |      644 |      394
1092.62/1092.89	c 1092s |      18 |   654323 |   422252 |    25408     33 |      644 |      394
1095.12/1095.34	c 1095s |      18 |   655032 |   422852 |    25408     33 |      644 |      394
1097.12/1097.35	c 1097s |      18 |   655609 |   423352 |    25408     33 |      644 |      394
1099.22/1099.49	c 1099s |      18 |   656166 |   423852 |    25408     33 |      644 |      394
1101.52/1101.71	c 1101s |      18 |   656750 |   424352 |    25408     33 |      644 |      394
1103.82/1104.01	c 1103s |      18 |   657284 |   424852 |    25408     33 |      644 |      394
1106.22/1106.49	c 1106s |      18 |   657869 |   425352 |    25408     33 |      644 |      394
1108.63/1108.83	c 1108s |      18 |   658418 |   425852 |    25408     33 |      644 |      394
1110.83/1111.04	c 1110s |      18 |   658986 |   426352 |    25408     33 |      644 |      394
1113.03/1113.27	c 1112s |      18 |   659565 |   426852 |    25408     34 |      644 |      394
1115.32/1115.51	c 1115s |      18 |   660519 |   427652 |    25408     34 |      644 |      394
1117.42/1117.67	c 1117s |      18 |   661339 |   428352 |    25408     34 |      644 |      394
1119.51/1119.73	c 1119s |      18 |   662033 |   428952 |    25408     34 |      644 |      394
1121.61/1121.83	c 1121s |      18 |   662704 |   429552 |    25408     34 |      644 |      394
1123.71/1123.91	c 1123s |      18 |   663360 |   430152 |    25408     34 |      644 |      394
1126.01/1126.20	c 1125s |      18 |   664194 |   430852 |    25408     34 |      644 |      394
1128.01/1128.28	c 1128s |      18 |   664854 |   431452 |    25408     34 |      644 |      394
1130.31/1130.51	c 1130s |      18 |   665530 |   432052 |    25408     34 |      644 |      394
1132.51/1132.74	c 1132s |      18 |   666306 |   432652 |    25408     34 |      644 |      394
1134.51/1134.78	c 1134s |      18 |   667021 |   433252 |    25408     34 |      644 |      394
1136.61/1136.87	c 1136s |      18 |   667716 |   433852 |    25408     34 |      644 |      394
1138.91/1139.12	c 1138s |      18 |   668370 |   434452 |    25408     34 |      644 |      394
1141.02/1141.28	c 1141s |      18 |   669046 |   435052 |    25408     34 |      644 |      394
1143.12/1143.34	c 1143s |      18 |   669714 |   435652 |    25408     34 |      644 |      394
1145.22/1145.45	c 1145s |      18 |   670277 |   436152 |    25408     34 |      644 |      394
1147.23/1147.47	c 1147s |      18 |   670854 |   436652 |    25408     34 |      644 |      394
1149.33/1149.53	c 1149s |      18 |   671423 |   437152 |    25408     34 |      644 |      394
1151.32/1151.55	c 1151s |      18 |   672019 |   437652 |    25408     34 |      644 |      394
1153.62/1153.84	c 1153s |      18 |   672726 |   438252 |    25408     34 |      644 |      394
1155.62/1155.85	c 1155s |      18 |   673294 |   438752 |    25408     34 |      644 |      394
1157.92/1158.16	c 1157s |      18 |   673863 |   439252 |    25408     34 |      644 |      394
1160.42/1160.65	c 1160s |      18 |   674441 |   439752 |    25408     34 |      644 |      394
1162.72/1162.94	c 1162s |      18 |   674875 |   440152 |    25408     34 |      644 |      394
1164.82/1165.02	c 1164s |      18 |   675306 |   440552 |    25408     34 |      644 |      394
1166.92/1167.12	c 1166s |      18 |   675639 |   440852 |    25408     35 |      644 |      394
1168.91/1169.13	c 1168s |      18 |   676341 |   441452 |    27949     35 |      644 |      394
1171.01/1171.27	c 1171s |      18 |   677019 |   442052 |    27949     35 |      644 |      394
1173.21/1173.44	c 1173s |      18 |   677686 |   442652 |    27949     35 |      644 |      394
1175.41/1175.67	c 1175s |      18 |   678232 |   443152 |    27949     35 |      644 |      394
1177.41/1177.68	c 1177s |      18 |   678777 |   443652 |    27949     35 |      644 |      394
1179.71/1179.91	c 1179s |      18 |   679583 |   444252 |    27949     35 |      644 |      394
1180.41/1180.65	c 1180s |      19 |   679849 |   444482 |    27949     35 |      644 |      394
1182.50/1182.73	c 1182s |      19 |   688565 |   445982 |    27949     35 |      644 |      394
1184.51/1184.75	c 1184s |      19 |   692261 |   447682 |    27949     35 |      644 |      394
1186.50/1186.78	c 1186s |      19 |   698148 |   449682 |    27949     35 |      644 |      394
1188.50/1188.79	c 1188s |      19 |   699384 |   450682 |    27949     35 |      644 |      394
1190.60/1190.85	c 1190s |      19 |   700707 |   451782 |    27949     35 |      644 |      394
1192.70/1192.97	c 1192s |      19 |   705943 |   453182 |    27949     35 |      644 |      394
1194.80/1195.06	c 1194s |      19 |   709182 |   454582 |    27949     35 |      644 |      394
1196.80/1197.08	c 1196s |      19 |   710222 |   455482 |    27949     35 |      644 |      394
1199.00/1199.21	c 1198s |      19 |   713604 |   456982 |    27949     35 |      644 |      394
1201.01/1201.25	c 1200s |      19 |   714527 |   457682 |    27949     36 |      644 |      394
1203.10/1203.32	c 1203s |      19 |   715968 |   458682 |    27949     36 |      644 |      394
1205.10/1205.36	c 1205s |      19 |   717017 |   459482 |    27949     36 |      644 |      394
1207.30/1207.54	c 1207s |      19 |   718240 |   460382 |    27949     36 |      644 |      394
1209.40/1209.69	c 1209s |      19 |   719054 |   461082 |    27949     36 |      644 |      394
1211.50/1211.76	c 1211s |      19 |   721412 |   462182 |    27949     36 |      644 |      394
1213.70/1213.90	c 1213s |      19 |   724315 |   463482 |    27949     36 |      644 |      394
1215.80/1216.09	c 1215s |      19 |   727643 |   464782 |    27949     36 |      644 |      394
1217.80/1218.09	c 1217s |      19 |   728703 |   465682 |    27949     36 |      644 |      394
1220.00/1220.21	c 1219s |      19 |   729643 |   466482 |    27949     36 |      644 |      394
1222.10/1222.32	c 1222s |      19 |   730619 |   467282 |    27949     36 |      644 |      394
1224.30/1224.50	c 1224s |      19 |   731410 |   467982 |    27949     36 |      644 |      394
1226.30/1226.54	c 1226s |      19 |   734082 |   469082 |    27949     36 |      644 |      394
1228.40/1228.66	c 1228s |      19 |   735233 |   469982 |    27949     36 |      644 |      394
1230.60/1230.84	c 1230s |      19 |   736015 |   470682 |    27949     36 |      644 |      394
1232.60/1232.86	c 1232s |      19 |   736855 |   471382 |    27949     36 |      644 |      394
1234.70/1234.93	c 1234s |      19 |   737849 |   472182 |    27949     36 |      644 |      394
1237.40/1237.64	c 1237s |      19 |   738696 |   472882 |    27949     37 |      644 |      394
1239.40/1239.65	c 1239s |      19 |   739548 |   473582 |    27949     37 |      644 |      394
1241.60/1241.84	c 1241s |      19 |   740342 |   474282 |    27949     37 |      644 |      394
1243.90/1244.13	c 1243s |      19 |   741127 |   474982 |    27949     37 |      644 |      394
1246.20/1246.44	c 1246s |      19 |   741907 |   475682 |    27949     37 |      644 |      394
1248.19/1248.44	c 1248s |      19 |   742464 |   476182 |    27949     37 |      644 |      394
1250.29/1250.59	c 1250s |      19 |   743178 |   476782 |    27949     37 |      644 |      394
1252.70/1252.92	c 1252s |      19 |   743872 |   477382 |    27949     37 |      644 |      394
1254.79/1255.02	c 1254s |      19 |   744515 |   477982 |    27949     37 |      644 |      394
1256.79/1257.08	c 1256s |      19 |   745063 |   478482 |    27949     37 |      644 |      394
1259.19/1259.43	c 1259s |      19 |   745772 |   479082 |    27949     37 |      644 |      394
1261.59/1261.81	c 1261s |      19 |   746439 |   479682 |    27949     37 |      644 |      394
1263.89/1264.11	c 1263s |      19 |   747116 |   480282 |    27949     37 |      644 |      394
1265.99/1266.25	c 1265s |      19 |   747694 |   480782 |    27949     37 |      644 |      394
1268.19/1268.46	c 1268s |      19 |   748241 |   481282 |    27949     37 |      644 |      394
1270.49/1270.73	c 1270s |      19 |   748781 |   481782 |    27949     37 |      644 |      394
1272.59/1272.88	c 1272s |      19 |   749323 |   482282 |    27949     37 |      644 |      394
1274.79/1275.09	c 1274s |      19 |   749878 |   482782 |    27949     37 |      644 |      394
1276.99/1277.24	c 1276s |      19 |   750401 |   483282 |    27949     37 |      644 |      394
1279.28/1279.50	c 1279s |      19 |   750942 |   483782 |    27949     37 |      644 |      394
1281.78/1282.00	c 1281s |      19 |   751476 |   484282 |    27949     37 |      644 |      394
1283.88/1284.17	c 1283s |      19 |   752055 |   484782 |    27949     37 |      644 |      394
1286.18/1286.42	c 1286s |      19 |   752615 |   485282 |    27949     37 |      644 |      394
1288.58/1288.80	c 1288s |      19 |   753196 |   485782 |    27949     37 |      644 |      394
1290.88/1291.12	c 1290s |      19 |   753756 |   486282 |    27949     37 |      644 |      394
1292.88/1293.19	c 1292s |      19 |   754331 |   486782 |    27949     37 |      644 |      394
1295.18/1295.46	c 1295s |      19 |   754887 |   487282 |    27949     37 |      644 |      394
1297.59/1297.82	c 1297s |      19 |   755436 |   487782 |    27949     37 |      644 |      394
1299.89/1300.11	c 1299s |      19 |   755996 |   488282 |    27949     37 |      644 |      394
1302.09/1302.38	c 1302s |      19 |   756452 |   488682 |    27949     38 |      644 |      394
1304.29/1304.50	c 1304s |      19 |   757020 |   489182 |    27949     38 |      644 |      394
1306.60/1306.82	c 1306s |      19 |   757576 |   489682 |    27949     38 |      644 |      394
1308.99/1309.21	c 1308s |      19 |   758132 |   490182 |    27949     38 |      644 |      394
1310.99/1311.22	c 1310s |      19 |   758570 |   490582 |    27949     38 |      644 |      394
1313.08/1313.31	c 1313s |      19 |   759135 |   491082 |    27949     38 |      644 |      394
1315.08/1315.35	c 1315s |      19 |   759729 |   491582 |    27949     38 |      644 |      394
1317.28/1317.55	c 1317s |      19 |   760254 |   492082 |    27949     38 |      644 |      394
1319.68/1319.90	c 1319s |      19 |   760814 |   492582 |    27949     38 |      644 |      394
1321.88/1322.14	c 1321s |      19 |   761369 |   493082 |    27949     38 |      644 |      394
1324.08/1324.31	c 1324s |      19 |   761935 |   493582 |    27949     38 |      644 |      394
1326.48/1326.77	c 1326s |      19 |   762480 |   494082 |    27949     38 |      644 |      394
1328.58/1328.85	c 1328s |      19 |   762935 |   494482 |    27949     38 |      644 |      394
1330.88/1331.18	c 1330s |      19 |   763472 |   494982 |    27949     38 |      644 |      394
1332.98/1333.22	c 1332s |      19 |   763911 |   495382 |    27949     38 |      644 |      394
1334.97/1335.27	c 1335s |      19 |   764336 |   495782 |    27949     38 |      644 |      394
1337.38/1337.63	c 1337s |      19 |   764911 |   496282 |    27949     38 |      644 |      394
1339.37/1339.64	c 1339s |      19 |   765362 |   496682 |    27949     38 |      644 |      394
1341.47/1341.78	c 1341s |      19 |   765806 |   497082 |    27949     38 |      644 |      394
1343.77/1344.06	c 1343s |      19 |   766229 |   497482 |    27949     38 |      644 |      394
1345.86/1346.15	c 1345s |      19 |   766699 |   497882 |    27949     38 |      644 |      394
1347.96/1348.29	c 1348s |      19 |   767265 |   498382 |    27949     38 |      644 |      394
1350.36/1350.67	c 1350s |      19 |   767718 |   498782 |    27949     38 |      644 |      394
1352.77/1353.05	c 1352s |      19 |   768150 |   499182 |    27949     38 |      644 |      394
1354.87/1355.17	c 1354s |      19 |   768605 |   499582 |    27949     38 |      644 |      394
1357.28/1357.55	c 1357s |      19 |   769040 |   499982 |    27949     38 |      644 |      394
1359.57/1359.86	c 1359s |      19 |   769486 |   500382 |    27949     38 |      644 |      394
1361.97/1362.27	c 1361s |      19 |   769911 |   500782 |    27949     38 |      644 |      394
1364.56/1364.80	c 1364s |      19 |   770347 |   501182 |    27949     38 |      644 |      394
1366.56/1366.82	c 1366s |      19 |   770667 |   501482 |    27949     38 |      644 |      394
1369.06/1369.34	c 1369s |      19 |   771099 |   501882 |    27949     38 |      644 |      394
1371.36/1371.66	c 1371s |      19 |   771536 |   502282 |    27949     38 |      644 |      394
1373.46/1373.77	c 1373s |      19 |   771845 |   502582 |    27949     38 |      644 |      394
1375.45/1375.78	c 1375s |      19 |   772167 |   502882 |    27949     38 |      644 |      394
1377.55/1377.82	c 1377s |      19 |   772486 |   503182 |    27949     38 |      644 |      394
1380.05/1380.35	c 1380s |      19 |   772913 |   503582 |    27949     38 |      644 |      394
1382.05/1382.39	c 1382s |      19 |   773227 |   503882 |    27949     38 |      644 |      394
1384.15/1384.40	c 1384s |      19 |   773443 |   504082 |    27949     39 |      644 |      394
1386.25/1386.58	c 1386s |      19 |   773856 |   504482 |    27949     39 |      644 |      394
1388.25/1388.58	c 1388s |      19 |   774285 |   504882 |    27949     39 |      644 |      394
1390.44/1390.77	c 1390s |      19 |   774692 |   505282 |    27949     39 |      644 |      394
1392.54/1392.88	c 1392s |      19 |   775105 |   505682 |    27949     39 |      644 |      394
1394.84/1395.17	c 1394s |      19 |   775528 |   506082 |    27949     39 |      644 |      394
1397.04/1397.33	c 1397s |      19 |   775947 |   506482 |    27949     39 |      644 |      394
1399.14/1399.41	c 1399s |      19 |   776521 |   506982 |    27949     39 |      644 |      394
1401.34/1401.65	c 1401s |      19 |   777226 |   507582 |    27949     39 |      644 |      394
1403.53/1403.84	c 1403s |      19 |   777780 |   508082 |    27949     39 |      644 |      394
1405.93/1406.27	c 1405s |      19 |   778317 |   508582 |    27949     39 |      644 |      394
1408.03/1408.31	c 1408s |      19 |   778745 |   508982 |    27949     39 |      644 |      394
1410.13/1410.47	c 1410s |      19 |   779167 |   509382 |    27949     39 |      644 |      394
1412.23/1412.52	c 1412s |      19 |   779602 |   509782 |    27949     39 |      644 |      394
1414.33/1414.61	c 1414s |      19 |   780030 |   510182 |    27949     39 |      644 |      394
1416.42/1416.70	c 1416s |      19 |   780453 |   510582 |    27949     39 |      644 |      394
1418.62/1418.95	c 1418s |      19 |   780881 |   510982 |    27949     39 |      644 |      394
1420.93/1421.21	c 1420s |      19 |   781324 |   511382 |    27949     39 |      644 |      394
1423.03/1423.38	c 1423s |      19 |   781756 |   511782 |    27949     39 |      644 |      394
1425.43/1425.77	c 1425s |      19 |   782280 |   512282 |    27949     39 |      644 |      394
1427.72/1428.03	c 1427s |      19 |   782724 |   512682 |    27949     39 |      644 |      394
1430.02/1430.36	c 1430s |      19 |   783141 |   513082 |    27949     39 |      644 |      394
1432.52/1432.88	c 1432s |      19 |   783558 |   513482 |    27949     39 |      644 |      394
1435.02/1435.31	c 1435s |      19 |   783982 |   513882 |    27949     39 |      644 |      394
1437.62/1437.95	c 1437s |      19 |   784397 |   514282 |    27949     39 |      644 |      394
1439.72/1440.01	c 1439s |      19 |   784722 |   514582 |    27949     39 |      644 |      394
1442.31/1442.65	c 1442s |      19 |   785138 |   514982 |    27949     39 |      644 |      394
1444.51/1444.86	c 1444s |      19 |   785597 |   515382 |    27949     39 |      644 |      394
1446.71/1447.03	c 1446s |      19 |   786043 |   515782 |    27949     39 |      644 |      394
1449.00/1449.38	c 1449s |      19 |   786485 |   516182 |    27949     39 |      644 |      394
1451.10/1451.44	c 1451s |      19 |   786899 |   516582 |    27949     39 |      644 |      394
1453.30/1453.66	c 1453s |      19 |   787321 |   516982 |    27949     39 |      644 |      394
1455.70/1456.03	c 1455s |      19 |   787753 |   517382 |    27949     39 |      644 |      394
1457.70/1458.08	c 1457s |      19 |   788201 |   517782 |    27949     39 |      644 |      394
1460.00/1460.35	c 1460s |      19 |   788638 |   518182 |    27949     39 |      644 |      394
1462.40/1462.73	c 1462s |      19 |   789077 |   518582 |    27949     39 |      644 |      394
1464.59/1464.90	c 1464s |      19 |   789510 |   518982 |    27949     39 |      644 |      394
1466.89/1467.25	c 1466s |      19 |   789959 |   519382 |    27949     39 |      644 |      394
1468.89/1469.28	c 1469s |      19 |   790169 |   519582 |    27949     40 |      644 |      394
1471.09/1471.41	c 1471s |      19 |   790588 |   519982 |    27949     40 |      644 |      394
1473.19/1473.53	c 1473s |      19 |   791130 |   520482 |    27949     40 |      644 |      394
1475.38/1475.78	c 1475s |      19 |   791680 |   520982 |    27949     40 |      644 |      394
1477.78/1478.12	c 1477s |      19 |   792237 |   521482 |    27949     40 |      644 |      394
1480.08/1480.46	c 1480s |      19 |   792787 |   521982 |    27949     40 |      644 |      394
1482.49/1482.85	c 1482s |      19 |   793334 |   522482 |    27949     40 |      644 |      394
1484.98/1485.30	c 1485s |      19 |   793877 |   522982 |    27949     40 |      644 |      394
1486.98/1487.36	c 1487s |      19 |   794303 |   523382 |    27949     40 |      644 |      394
1489.58/1489.90	c 1489s |      19 |   794821 |   523882 |    27949     40 |      644 |      394
1491.58/1491.95	c 1491s |      19 |   795249 |   524282 |    27949     40 |      644 |      394
1493.97/1494.34	c 1494s |      19 |   795667 |   524682 |    27949     40 |      644 |      394
1496.57/1496.93	c 1496s |      19 |   796203 |   525182 |    27949     40 |      644 |      394
1499.08/1499.41	c 1499s |      19 |   796657 |   525582 |    27949     40 |      644 |      394
1501.28/1501.68	c 1501s |      19 |   797125 |   525982 |    27949     40 |      644 |      394
1503.67/1504.02	c 1503s |      19 |   797573 |   526382 |    27949     40 |      644 |      394
1506.07/1506.41	c 1506s |      19 |   797996 |   526782 |    27949     40 |      644 |      394
1508.06/1508.44	c 1508s |      19 |   798313 |   527082 |    27949     40 |      644 |      394
1510.27/1510.61	c 1510s |      19 |   798634 |   527382 |    27949     40 |      644 |      394
1512.28/1512.62	c 1512s |      19 |   798948 |   527682 |    27949     40 |      644 |      394
1514.27/1514.66	c 1514s |      19 |   799286 |   527982 |    27949     40 |      644 |      394
1516.37/1516.78	c 1516s |      19 |   799610 |   528282 |    27949     40 |      644 |      394
1518.87/1519.26	c 1518s |      19 |   800058 |   528682 |    27949     40 |      644 |      394
1521.07/1521.45	c 1521s |      19 |   800369 |   528982 |    27949     40 |      644 |      394
1523.27/1523.61	c 1523s |      19 |   800711 |   529282 |    27949     40 |      644 |      394
1525.37/1525.79	c 1525s |      19 |   801037 |   529582 |    27949     40 |      644 |      394
1527.36/1527.80	c 1527s |      19 |   801353 |   529882 |    27949     40 |      644 |      394
1529.96/1530.36	c 1530s |      19 |   801774 |   530282 |    27949     40 |      644 |      394
1532.16/1532.50	c 1532s |      19 |   802093 |   530582 |    27949     40 |      644 |      394
1534.26/1534.60	c 1534s |      19 |   802400 |   530882 |    27949     40 |      644 |      394
1536.46/1536.87	c 1536s |      19 |   802718 |   531182 |    27949     40 |      644 |      394
1538.86/1539.23	c 1538s |      19 |   803040 |   531482 |    27949     40 |      644 |      394
1540.95/1541.34	c 1541s |      19 |   803376 |   531782 |    27949     40 |      644 |      394
1543.45/1543.82	c 1543s |      19 |   803687 |   532082 |    27949     40 |      644 |      394
1545.55/1545.94	c 1545s |      19 |   804013 |   532382 |    27949     40 |      644 |      394
1548.05/1548.40	c 1548s |      19 |   804326 |   532682 |    27949     40 |      644 |      394
1550.35/1550.79	c 1550s |      19 |   804629 |   532982 |    27949     40 |      644 |      394
1552.85/1553.23	c 1552s |      19 |   804940 |   533282 |    27949     40 |      644 |      394
1555.05/1555.42	c 1555s |      19 |   805261 |   533582 |    27949     40 |      644 |      394
1557.84/1558.21	c 1557s |      19 |   805582 |   533882 |    27949     40 |      644 |      394
1560.04/1560.45	c 1560s |      19 |   805905 |   534182 |    27949     40 |      644 |      394
1562.14/1562.58	c 1562s |      19 |   806217 |   534482 |    27949     40 |      644 |      394
1564.33/1564.72	c 1564s |      19 |   806546 |   534782 |    27949     40 |      644 |      394
1566.93/1567.30	c 1567s |      19 |   806764 |   534982 |    27949     41 |      644 |      394
1569.44/1569.84	c 1569s |      19 |   807199 |   535382 |    27949     41 |      644 |      394
1571.64/1572.04	c 1571s |      19 |   807627 |   535782 |    27949     41 |      644 |      394
1574.23/1574.61	c 1574s |      19 |   808058 |   536182 |    27949     41 |      644 |      394
1576.53/1576.94	c 1576s |      19 |   808548 |   536582 |    27949     41 |      644 |      394
1578.73/1579.15	c 1578s |      19 |   808996 |   536982 |    27949     41 |      644 |      394
1581.13/1581.54	c 1581s |      19 |   809559 |   537482 |    27949     41 |      644 |      394
1583.13/1583.57	c 1583s |      19 |   809990 |   537882 |    27949     41 |      644 |      394
1585.32/1585.76	c 1585s |      19 |   810553 |   538382 |    27949     41 |      644 |      394
1587.82/1588.24	c 1587s |      19 |   811094 |   538882 |    27949     41 |      644 |      394
1590.12/1590.53	c 1590s |      19 |   811527 |   539282 |    27949     41 |      644 |      394
1592.52/1592.91	c 1592s |      19 |   811950 |   539682 |    27949     41 |      644 |      394
1594.81/1595.26	c 1594s |      19 |   812396 |   540082 |    27949     41 |      644 |      394
1597.11/1597.57	c 1597s |      19 |   812831 |   540482 |    27949     41 |      644 |      394
1599.51/1599.94	c 1599s |      19 |   813270 |   540882 |    27949     41 |      644 |      394
1602.11/1602.52	c 1602s |      19 |   813693 |   541282 |    27949     41 |      644 |      394
1604.11/1604.55	c 1604s |      19 |   814011 |   541582 |    27949     41 |      644 |      394
1606.21/1606.63	c 1606s |      19 |   814328 |   541882 |    27949     41 |      644 |      394
1608.41/1608.80	c 1608s |      19 |   814757 |   542282 |    27949     41 |      644 |      394
1610.50/1610.91	c 1610s |      19 |   815087 |   542582 |    27949     41 |      644 |      394
1612.70/1613.19	c 1612s |      19 |   815406 |   542882 |    27949     41 |      644 |      394
1615.30/1615.78	c 1615s |      19 |   815835 |   543282 |    27949     41 |      644 |      394
1617.31/1617.78	c 1617s |      19 |   816163 |   543582 |    27949     41 |      644 |      394
1619.51/1619.91	c 1619s |      19 |   816488 |   543882 |    27949     41 |      644 |      394
1621.61/1622.02	c 1621s |      19 |   816835 |   544182 |    27949     41 |      644 |      394
1623.70/1624.13	c 1623s |      19 |   817170 |   544482 |    27949     41 |      644 |      394
1626.10/1626.53	c 1626s |      19 |   817488 |   544782 |    27949     41 |      644 |      394
1628.20/1628.60	c 1628s |      19 |   817806 |   545082 |    27949     41 |      644 |      394
1630.30/1630.72	c 1630s |      19 |   818149 |   545382 |    27949     41 |      644 |      394
1632.89/1633.35	c 1633s |      19 |   818569 |   545782 |    27949     41 |      644 |      394
1635.19/1635.62	c 1635s |      19 |   818898 |   546082 |    27949     41 |      644 |      394
1637.39/1637.85	c 1637s |      19 |   819211 |   546382 |    27949     41 |      644 |      394
1639.69/1640.16	c 1639s |      19 |   819523 |   546682 |    27949     41 |      644 |      394
1642.09/1642.58	c 1642s |      19 |   819855 |   546982 |    27949     41 |      644 |      394
1644.28/1644.79	c 1644s |      19 |   820174 |   547282 |    27949     41 |      644 |      394
1646.48/1646.95	c 1646s |      19 |   820614 |   547682 |    27949     41 |      644 |      394
1648.68/1649.13	c 1648s |      19 |   820927 |   547982 |    27949     41 |      644 |      394
1650.69/1651.17	c 1650s |      19 |   821240 |   548282 |    27949     41 |      644 |      394
1653.18/1653.67	c 1653s |      19 |   821668 |   548682 |    27949     41 |      644 |      394
1655.27/1655.71	c 1655s |      19 |   821997 |   548982 |    27949     41 |      644 |      394
1657.67/1658.18	c 1657s |      19 |   822448 |   549382 |    27949     41 |      644 |      394
1660.27/1660.72	c 1660s |      19 |   822887 |   549782 |    27949     41 |      644 |      394
1662.27/1662.78	c 1662s |      19 |   823214 |   550082 |    27949     41 |      644 |      394
1664.47/1664.94	c 1664s |      19 |   823539 |   550382 |    27949     41 |      644 |      394
1666.68/1667.12	c 1666s |      19 |   823753 |   550582 |    27949     42 |      644 |      394
1668.78/1669.28	c 1669s |      19 |   824321 |   551082 |    27949     42 |      644 |      394
1670.88/1671.34	c 1671s |      19 |   824995 |   551682 |    27949     42 |      644 |      394
1673.18/1673.69	c 1673s |      19 |   825639 |   552282 |    27949     42 |      644 |      394
1675.27/1675.74	c 1675s |      19 |   826195 |   552782 |    27949     42 |      644 |      394
1677.57/1678.09	c 1677s |      19 |   826735 |   553282 |    27949     42 |      644 |      394
1679.67/1680.14	c 1679s |      19 |   827270 |   553782 |    27949     42 |      644 |      394
1681.77/1682.28	c 1682s |      19 |   827808 |   554282 |    27949     42 |      644 |      394
1684.17/1684.64	c 1684s |      19 |   828341 |   554782 |    27949     42 |      644 |      394
1686.17/1686.67	c 1686s |      19 |   828780 |   555182 |    27949     42 |      644 |      394
1688.57/1689.08	c 1688s |      19 |   829317 |   555682 |    27949     42 |      644 |      394
1690.67/1691.13	c 1690s |      19 |   829774 |   556082 |    27949     42 |      644 |      394
1692.87/1693.39	c 1693s |      19 |   830204 |   556482 |    27949     42 |      644 |      394
1694.96/1695.47	c 1695s |      19 |   830622 |   556882 |    27949     42 |      644 |      394
1697.16/1697.63	c 1697s |      19 |   831042 |   557282 |    27949     42 |      644 |      394
1699.26/1699.70	c 1699s |      19 |   831463 |   557682 |    27949     42 |      644 |      394
1701.46/1701.90	c 1701s |      19 |   831889 |   558082 |    27949     42 |      644 |      394
1703.66/1704.14	c 1703s |      19 |   832332 |   558482 |    27949     42 |      644 |      394
1706.16/1706.68	c 1706s |      19 |   832770 |   558882 |    27949     42 |      644 |      394
1708.46/1708.92	c 1708s |      19 |   833203 |   559282 |    27949     42 |      644 |      394
1710.76/1711.24	c 1710s |      19 |   833643 |   559682 |    27949     42 |      644 |      394
1713.26/1713.78	c 1713s |      19 |   834060 |   560082 |    27949     42 |      644 |      394
1715.66/1716.18	c 1715s |      19 |   834492 |   560482 |    27949     42 |      644 |      394
1718.35/1718.89	c 1718s |      19 |   834922 |   560882 |    27949     42 |      644 |      394
1720.75/1721.22	c 1720s |      19 |   835356 |   561282 |    27949     42 |      644 |      394
1723.15/1723.67	c 1723s |      19 |   835778 |   561682 |    27949     42 |      644 |      394
1725.75/1726.23	c 1725s |      19 |   836195 |   562082 |    27949     42 |      644 |      394
1728.15/1728.64	c 1728s |      19 |   836623 |   562482 |    27949     42 |      644 |      394
1730.74/1731.24	c 1730s |      19 |   837036 |   562882 |    27949     42 |      644 |      394
1732.94/1733.42	c 1733s |      19 |   837358 |   563182 |    27949     42 |      644 |      394
1735.35/1735.87	c 1735s |      19 |   837786 |   563582 |    27949     42 |      644 |      394
1737.34/1737.88	c 1737s |      19 |   838116 |   563882 |    27949     42 |      644 |      394
1739.54/1740.05	c 1739s |      19 |   838445 |   564182 |    27949     42 |      644 |      394
1742.44/1742.99	c 1742s |      19 |   838763 |   564482 |    27949     42 |      644 |      394
1744.94/1745.48	c 1745s |      19 |   839077 |   564782 |    27949     42 |      644 |      394
1747.45/1747.93	c 1747s |      19 |   839398 |   565082 |    27949     42 |      644 |      394
1750.04/1750.51	c 1750s |      19 |   839718 |   565382 |    27949     42 |      644 |      394
1752.54/1753.01	c 1752s |      19 |   840035 |   565682 |    27949     42 |      644 |      394
1755.24/1755.72	c 1755s |      19 |   840355 |   565982 |    27949     42 |      644 |      394
1757.94/1758.40	c 1758s |      19 |   840555 |   566182 |    27949     43 |      644 |      394
1760.34/1760.89	c 1760s |      19 |   840987 |   566582 |    27949     43 |      644 |      394
1763.04/1763.59	c 1763s |      19 |   841402 |   566982 |    27949     43 |      644 |      394
1765.24/1765.71	c 1765s |      19 |   841717 |   567282 |    27949     43 |      644 |      394
1767.44/1767.92	c 1767s |      19 |   842033 |   567582 |    27949     43 |      644 |      394
1769.54/1770.03	c 1769s |      19 |   842351 |   567882 |    27949     43 |      644 |      394
1771.53/1772.09	c 1771s |      19 |   842969 |   568382 |    27949     43 |      644 |      394
1773.73/1774.24	c 1773s |      19 |   843498 |   568882 |    27949     43 |      644 |      394
1776.04/1776.55	c 1776s |      19 |   844036 |   569382 |    27949     43 |      644 |      394
1778.34/1778.82	c 1778s |      19 |   844614 |   569882 |    27949     43 |      644 |      394
1780.33/1780.84	c 1780s |      19 |   845045 |   570282 |    27949     43 |      644 |      394
1782.43/1782.92	c 1782s |      19 |   845492 |   570682 |    27949     43 |      644 |      394
1784.73/1785.23	c 1784s |      19 |   845937 |   571082 |    27949     43 |      644 |      394
1787.04/1787.58	c 1787s |      19 |   846376 |   571482 |    27949     43 |      644 |      394
1789.63/1790.14	c 1789s |      19 |   846805 |   571882 |    27949     43 |      644 |      394
1791.73/1792.29	c 1792s |      19 |   847125 |   572182 |    27949     43 |      644 |      394
1794.03/1794.50	c 1794s |      19 |   847446 |   572482 |    27949     43 |      644 |      394
1796.23/1796.71	c 1796s |      19 |   847773 |   572782 |    27949     43 |      644 |      394
1798.93/1799.42	c 1799s |      19 |   848213 |   573182 |    27949     43 |      644 |      394

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

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

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


[startup+0 s]
/proc/loadavg: 2.18 2.16 2.01 4/179 22907
/proc/meminfo: memFree=30651448/32872528 swapFree=870628/942168
[pid=22907] ppid=22904 vsize=786876 CPUtime=0 cores=0,2,4,6
/proc/22907/stat : 22907 (toysat) R 22904 22907 22716 0 -1 4202496 2946 0 0 0 0 0 0 0 20 0 4 0 30757814 805761024 3307 33554432000 4194304 16246674 140735207914032 140735207913456 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22907/statm: 197231 3316 441 2943 0 194125 0
[pid=22907/tid=22908] ppid=22904 vsize=805308 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22908/stat : 22908 (toysat) S 22904 22907 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757814 824635392 3380 33554432000 4194304 16246674 140735207914032 140379484564720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22907/tid=22909] ppid=22904 vsize=810428 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22909/stat : 22909 (toysat) S 22904 22907 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757814 829878272 3400 33554432000 4194304 16246674 140735207914032 140379474074864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22907/tid=22910] ppid=22904 vsize=814524 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22910/stat : 22910 (toysat) S 22904 22907 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757814 834072576 3416 33554432000 4194304 16246674 140735207914032 140379395452080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.18 2.16 2.01 4/179 22907
/proc/meminfo: memFree=30651448/32872528 swapFree=870628/942168
[pid=22907] ppid=22904 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/22907/stat : 22907 (toysat) R 22904 22907 22716 0 -1 4202496 28469 0 0 0 5 4 0 0 20 0 4 0 30757814 1249447936 28767 33554432000 4194304 16246674 140735207914032 140735207913344 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22907/statm: 305041 28767 801 2943 0 301935 0
[pid=22907/tid=22908] ppid=22904 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22908/stat : 22908 (toysat) S 22904 22907 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757814 1249447936 28767 33554432000 4194304 16246674 140735207914032 140379484564720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22907/tid=22909] ppid=22904 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22909/stat : 22909 (toysat) S 22904 22907 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757814 1249447936 28767 33554432000 4194304 16246674 140735207914032 140379474074864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22907/tid=22910] ppid=22904 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22910/stat : 22910 (toysat) S 22904 22907 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757814 1249447936 28767 33554432000 4194304 16246674 140735207914032 140379395452080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200506 s]
/proc/loadavg: 2.18 2.16 2.01 4/179 22907
/proc/meminfo: memFree=30651448/32872528 swapFree=870628/942168
[pid=22907] ppid=22904 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/22907/stat : 22907 (toysat) R 22904 22907 22716 0 -1 4202496 48674 0 0 0 13 6 0 0 20 0 4 0 30757814 1332285440 48972 33554432000 4194304 16246674 140735207914032 140735207913344 13193645 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22907/statm: 325265 48972 842 2943 0 322159 0
[pid=22907/tid=22908] ppid=22904 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22908/stat : 22908 (toysat) S 22904 22907 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757814 1332285440 48972 33554432000 4194304 16246674 140735207914032 140379484564720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22907/tid=22909] ppid=22904 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22909/stat : 22909 (toysat) S 22904 22907 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757814 1332285440 48972 33554432000 4194304 16246674 140735207914032 140379474074864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22907/tid=22910] ppid=22904 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22910/stat : 22910 (toysat) S 22904 22907 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757814 1332285440 48972 33554432000 4194304 16246674 140735207914032 140379395452080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300484 s]
/proc/loadavg: 2.18 2.16 2.01 4/179 22907
/proc/meminfo: memFree=30651448/32872528 swapFree=870628/942168
[pid=22907] ppid=22904 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/22907/stat : 22907 (toysat) R 22904 22907 22716 0 -1 4202496 54867 0 0 0 21 8 0 0 20 0 4 0 30757814 1332285440 55166 33554432000 4194304 16246674 140735207914032 140735207913344 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22907/statm: 325265 55170 882 2943 0 322159 0
[pid=22907/tid=22908] ppid=22904 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22908/stat : 22908 (toysat) S 22904 22907 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757814 1332285440 55174 33554432000 4194304 16246674 140735207914032 140379484564720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22907/tid=22909] ppid=22904 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22909/stat : 22909 (toysat) S 22904 22907 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757814 1332285440 55177 33554432000 4194304 16246674 140735207914032 140379474074864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22907/tid=22910] ppid=22904 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22910/stat : 22910 (toysat) S 22904 22907 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757814 1332285440 55180 33554432000 4194304 16246674 140735207914032 140379395452080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.70039 s]
/proc/loadavg: 2.18 2.16 2.01 4/179 22907
/proc/meminfo: memFree=30651448/32872528 swapFree=870628/942168
[pid=22907] ppid=22904 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/22907/stat : 22907 (toysat) R 22904 22907 22716 0 -1 4202496 107225 0 0 0 55 14 0 0 20 0 4 0 30757814 1332285440 107524 33554432000 4194304 16246674 140735207914032 140735207895936 5532301 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22907/statm: 325265 107538 882 2943 0 322159 0
[pid=22907/tid=22908] ppid=22904 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22908/stat : 22908 (toysat) S 22904 22907 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757814 1332285440 107547 33554432000 4194304 16246674 140735207914032 140379484564720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22907/tid=22909] ppid=22904 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22909/stat : 22909 (toysat) S 22904 22907 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757814 1332285440 107558 33554432000 4194304 16246674 140735207914032 140379474074864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22907/tid=22910] ppid=22904 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22910/stat : 22910 (toysat) S 22904 22907 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757814 1332285440 107569 33554432000 4194304 16246674 140735207914032 140379395452080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50039 s]
/proc/loadavg: 2.18 2.16 2.01 3/183 22911
/proc/meminfo: memFree=29452852/32872528 swapFree=870628/942168
[pid=22907] ppid=22904 vsize=1301060 CPUtime=1.48 cores=0,2,4,6
/proc/22907/stat : 22907 (toysat) R 22904 22907 22716 0 -1 4202496 212718 0 0 0 121 27 0 0 20 0 4 0 30757814 1332285440 213016 33554432000 4194304 16246674 140735207914032 140735207895936 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22907/statm: 325265 213021 882 2943 0 322159 0
[pid=22907/tid=22908] ppid=22904 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22908/stat : 22908 (toysat) S 22904 22907 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757814 1332285440 213024 33554432000 4194304 16246674 140735207914032 140379484564720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22907/tid=22909] ppid=22904 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22909/stat : 22909 (toysat) S 22904 22907 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757814 1332285440 213029 33554432000 4194304 16246674 140735207914032 140379474074864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22907/tid=22910] ppid=22904 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22910/stat : 22910 (toysat) S 22904 22907 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757814 1332285440 213031 33554432000 4194304 16246674 140735207914032 140379395452080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.10036 s]
/proc/loadavg: 2.18 2.16 2.01 3/183 22911
/proc/meminfo: memFree=28609528/32872528 swapFree=870628/942168
[pid=22907] ppid=22904 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/22907/stat : 22907 (toysat) R 22904 22907 22716 0 -1 4202496 269523 0 0 0 275 34 0 0 20 0 4 0 30757814 1344868352 269821 33554432000 4194304 16246674 140735207914032 140735207895936 5721677 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22907/statm: 328337 269821 888 2943 0 325231 0
[pid=22907/tid=22908] ppid=22904 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22908/stat : 22908 (toysat) S 22904 22907 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757814 1344868352 269821 33554432000 4194304 16246674 140735207914032 140379484564720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22907/tid=22909] ppid=22904 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22909/stat : 22909 (toysat) S 22904 22907 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757814 1344868352 269821 33554432000 4194304 16246674 140735207914032 140379474074864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22907/tid=22910] ppid=22904 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22910/stat : 22910 (toysat) S 22904 22907 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757814 1344868352 269821 33554432000 4194304 16246674 140735207914032 140379395452080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.3004 s]
/proc/loadavg: 2.16 2.16 2.01 3/183 22911
/proc/meminfo: memFree=28608308/32872528 swapFree=870628/942168
[pid=22907] ppid=22904 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/22907/stat : 22907 (toysat) R 22904 22907 22716 0 -1 4202496 269523 0 0 0 595 34 0 0 20 0 4 0 30757814 1344868352 269821 33554432000 4194304 16246674 140735207914032 140735207913208 5712683 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22907/statm: 328337 269821 888 2943 0 325231 0
[pid=22907/tid=22908] ppid=22904 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22908/stat : 22908 (toysat) S 22904 22907 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757814 1344868352 269821 33554432000 4194304 16246674 140735207914032 140379484564720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22907/tid=22909] ppid=22904 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22909/stat : 22909 (toysat) S 22904 22907 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757814 1344868352 269821 33554432000 4194304 16246674 140735207914032 140379474074864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22907/tid=22910] ppid=22904 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22910/stat : 22910 (toysat) S 22904 22907 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757814 1344868352 269821 33554432000 4194304 16246674 140735207914032 140379395452080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.23 2.17 2.01 3/183 22911
/proc/meminfo: memFree=28608196/32872528 swapFree=870628/942168
[pid=22907] ppid=22904 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/22907/stat : 22907 (toysat) R 22904 22907 22716 0 -1 4202496 269523 0 0 0 1235 34 0 0 20 0 4 0 30757814 1344868352 269821 33554432000 4194304 16246674 140735207914032 140735207895936 12483296 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22907/statm: 328337 269821 888 2943 0 325231 0
[pid=22907/tid=22908] ppid=22904 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22908/stat : 22908 (toysat) S 22904 22907 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757814 1344868352 269821 33554432000 4194304 16246674 140735207914032 140379484564720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22907/tid=22909] ppid=22904 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22909/stat : 22909 (toysat) S 22904 22907 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757814 1344868352 269821 33554432000 4194304 16246674 140735207914032 140379474074864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22907/tid=22910] ppid=22904 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22910/stat : 22910 (toysat) S 22904 22907 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757814 1344868352 269821 33554432000 4194304 16246674 140735207914032 140379395452080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.18 2.16 2.01 4/184 22914
/proc/meminfo: memFree=28608520/32872528 swapFree=870628/942168
[pid=22907] ppid=22904 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/22907/stat : 22907 (toysat) R 22904 22907 22716 0 -1 4202496 269527 0 0 0 2515 34 0 0 20 0 4 0 30757814 1344868352 269825 33554432000 4194304 16246674 140735207914032 140735207913208 12415665 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22907/statm: 328337 269825 892 2943 0 325231 0
[pid=22907/tid=22908] ppid=22904 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22908/stat : 22908 (toysat) S 22904 22907 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757814 1344868352 269825 33554432000 4194304 16246674 140735207914032 140379484564720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22907/tid=22909] ppid=22904 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22909/stat : 22909 (toysat) S 22904 22907 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757814 1344868352 269825 33554432000 4194304 16246674 140735207914032 140379474074864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22907/tid=22910] ppid=22904 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22910/stat : 22910 (toysat) S 22904 22907 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757814 1344868352 269825 33554432000 4194304 16246674 140735207914032 140379395452080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.19 2.17 2.01 3/184 22914
/proc/meminfo: memFree=28609260/32872528 swapFree=870628/942168
[pid=22907] ppid=22904 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/22907/stat : 22907 (toysat) R 22904 22907 22716 0 -1 4202496 269527 0 0 0 5074 34 0 0 20 0 4 0 30757814 1344868352 269825 33554432000 4194304 16246674 140735207914032 140735207895936 5712555 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22907/statm: 328337 269825 892 2943 0 325231 0
[pid=22907/tid=22908] ppid=22904 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22908/stat : 22908 (toysat) S 22904 22907 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757814 1344868352 269825 33554432000 4194304 16246674 140735207914032 140379484564720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22907/tid=22909] ppid=22904 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22909/stat : 22909 (toysat) S 22904 22907 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757814 1344868352 269825 33554432000 4194304 16246674 140735207914032 140379474074864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22907/tid=22910] ppid=22904 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22910/stat : 22910 (toysat) S 22904 22907 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757814 1344868352 269825 33554432000 4194304 16246674 140735207914032 140379395452080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.08 2.14 2.01 3/183 22915
/proc/meminfo: memFree=28590844/32872528 swapFree=870628/942168
[pid=22907] ppid=22904 vsize=1327684 CPUtime=102.28 cores=0,2,4,6
/proc/22907/stat : 22907 (toysat) R 22904 22907 22716 0 -1 4202496 272908 0 0 0 10193 35 0 0 20 0 4 0 30757814 1359548416 273206 33554432000 4194304 16246674 140735207914032 140735207895936 5830005 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22907/statm: 331921 273206 892 2943 0 328815 0
[pid=22907/tid=22908] ppid=22904 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22908/stat : 22908 (toysat) S 22904 22907 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757814 1359548416 273206 33554432000 4194304 16246674 140735207914032 140379484564720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22907/tid=22909] ppid=22904 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22909/stat : 22909 (toysat) S 22904 22907 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757814 1359548416 273206 33554432000 4194304 16246674 140735207914032 140379474074864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22907/tid=22910] ppid=22904 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22910/stat : 22910 (toysat) S 22904 22907 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757814 1359548416 273206 33554432000 4194304 16246674 140735207914032 140379395452080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1327684


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

/proc/22907/task/22910/stat : 22910 (toysat) S 22904 22907 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379395452080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1330756

[startup+1362.3 s]
/proc/loadavg: 2.24 2.22 2.10 3/183 22981
/proc/meminfo: memFree=28563656/32872528 swapFree=870628/942168
[pid=22907] ppid=22904 vsize=1330756 CPUtime=1362.07 cores=0,2,4,6
/proc/22907/stat : 22907 (toysat) R 22904 22907 22716 0 -1 4202496 273915 0 0 0 136161 46 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140735207895936 5827980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22907/statm: 332689 274433 892 2943 0 329583 0
[pid=22907/tid=22908] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22908/stat : 22908 (toysat) S 22904 22907 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379484564720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22907/tid=22909] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22909/stat : 22909 (toysat) S 22904 22907 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379474074864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22907/tid=22910] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22910/stat : 22910 (toysat) S 22904 22907 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379395452080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1330756

[startup+1422.3 s]
/proc/loadavg: 2.18 2.20 2.10 3/183 22982
/proc/meminfo: memFree=28564092/32872528 swapFree=870628/942168
[pid=22907] ppid=22904 vsize=1330756 CPUtime=1422.03 cores=0,2,4,6
/proc/22907/stat : 22907 (toysat) R 22904 22907 22716 0 -1 4202496 273962 0 0 0 142156 47 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140735207895936 5823863 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22907/statm: 332689 274433 892 2943 0 329583 0
[pid=22907/tid=22908] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22908/stat : 22908 (toysat) S 22904 22907 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379484564720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22907/tid=22909] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22909/stat : 22909 (toysat) S 22904 22907 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379474074864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22907/tid=22910] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22910/stat : 22910 (toysat) S 22904 22907 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379395452080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 1330756

[startup+1482.3 s]
/proc/loadavg: 2.20 2.21 2.10 3/183 22984
/proc/meminfo: memFree=28564116/32872528 swapFree=870628/942168
[pid=22907] ppid=22904 vsize=1330756 CPUtime=1481.98 cores=0,2,4,6
/proc/22907/stat : 22907 (toysat) R 22904 22907 22716 0 -1 4202496 274010 0 0 0 148151 47 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140735207895936 5677410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22907/statm: 332689 274433 892 2943 0 329583 0
[pid=22907/tid=22908] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22908/stat : 22908 (toysat) S 22904 22907 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379484564720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22907/tid=22909] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22909/stat : 22909 (toysat) S 22904 22907 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379474074864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22907/tid=22910] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22910/stat : 22910 (toysat) S 22904 22907 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379395452080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 1330756

[startup+1542.31 s]
/proc/loadavg: 2.13 2.18 2.10 3/183 22985
/proc/meminfo: memFree=28564372/32872528 swapFree=870628/942168
[pid=22907] ppid=22904 vsize=1330756 CPUtime=1541.96 cores=0,2,4,6
/proc/22907/stat : 22907 (toysat) R 22904 22907 22716 0 -1 4202496 274056 0 0 0 154148 48 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140735207911872 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22907/statm: 332689 274433 892 2943 0 329583 0
[pid=22907/tid=22908] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22908/stat : 22908 (toysat) S 22904 22907 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379484564720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22907/tid=22909] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22909/stat : 22909 (toysat) S 22904 22907 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379474074864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22907/tid=22910] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22910/stat : 22910 (toysat) S 22904 22907 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379395452080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1330756

[startup+1602.3 s]
/proc/loadavg: 2.10 2.16 2.09 3/183 22986
/proc/meminfo: memFree=28564392/32872528 swapFree=870628/942168
[pid=22907] ppid=22904 vsize=1330756 CPUtime=1601.91 cores=0,2,4,6
/proc/22907/stat : 22907 (toysat) R 22904 22907 22716 0 -1 4202496 274101 0 0 0 160143 48 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140735207895936 4220853 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22907/statm: 332689 274433 892 2943 0 329583 0
[pid=22907/tid=22908] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22908/stat : 22908 (toysat) S 22904 22907 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379484564720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22907/tid=22909] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22909/stat : 22909 (toysat) S 22904 22907 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379474074864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22907/tid=22910] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22910/stat : 22910 (toysat) S 22904 22907 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379395452080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1330756

[startup+1662.3 s]
/proc/loadavg: 2.04 2.13 2.09 3/183 22987
/proc/meminfo: memFree=28564160/32872528 swapFree=870628/942168
[pid=22907] ppid=22904 vsize=1330756 CPUtime=1661.87 cores=0,2,4,6
/proc/22907/stat : 22907 (toysat) R 22904 22907 22716 0 -1 4202496 274147 0 0 0 166138 49 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140735207895936 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22907/statm: 332689 274433 892 2943 0 329583 0
[pid=22907/tid=22908] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22908/stat : 22908 (toysat) S 22904 22907 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379484564720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22907/tid=22909] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22909/stat : 22909 (toysat) S 22904 22907 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379474074864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22907/tid=22910] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22910/stat : 22910 (toysat) S 22904 22907 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379395452080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1330756

[startup+1722.3 s]
/proc/loadavg: 2.13 2.14 2.09 3/183 22988
/proc/meminfo: memFree=28563944/32872528 swapFree=870628/942168
[pid=22907] ppid=22904 vsize=1330756 CPUtime=1721.85 cores=0,2,4,6
/proc/22907/stat : 22907 (toysat) R 22904 22907 22716 0 -1 4202496 274190 0 0 0 172135 50 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140735207895936 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22907/statm: 332689 274433 892 2943 0 329583 0
[pid=22907/tid=22908] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22908/stat : 22908 (toysat) S 22904 22907 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379484564720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22907/tid=22909] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22909/stat : 22909 (toysat) S 22904 22907 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379474074864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22907/tid=22910] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22910/stat : 22910 (toysat) S 22904 22907 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379395452080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1330756

[startup+1782.3 s]
/proc/loadavg: 2.10 2.12 2.09 3/183 22990
/proc/meminfo: memFree=28563852/32872528 swapFree=870628/942168
[pid=22907] ppid=22904 vsize=1330756 CPUtime=1781.83 cores=0,2,4,6
/proc/22907/stat : 22907 (toysat) R 22904 22907 22716 0 -1 4202496 274199 0 0 0 178133 50 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140735207895936 12477844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22907/statm: 332689 274433 892 2943 0 329583 0
[pid=22907/tid=22908] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22908/stat : 22908 (toysat) S 22904 22907 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379484564720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22907/tid=22909] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22909/stat : 22909 (toysat) S 22904 22907 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379474074864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22907/tid=22910] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22910/stat : 22910 (toysat) S 22904 22907 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379395452080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1330756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.15 2.13 2.09 3/183 22990
/proc/meminfo: memFree=28563852/32872528 swapFree=870628/942168
[pid=22907] ppid=22904 vsize=1330756 CPUtime=1800.03 cores=0,2,4,6
/proc/22907/stat : 22907 (toysat) R 22904 22907 22716 0 -1 4202496 274199 0 0 0 179953 50 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140735207895936 12483272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22907/statm: 332689 274433 892 2943 0 329583 0
[pid=22907/tid=22908] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22908/stat : 22908 (toysat) S 22904 22907 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379484564720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22907/tid=22909] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22909/stat : 22909 (toysat) S 22904 22907 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379474074864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22907/tid=22910] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22910/stat : 22910 (toysat) S 22904 22907 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379395452080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1330756

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

[startup+1800.5 s]
/proc/loadavg: 2.15 2.13 2.09 3/183 22990
/proc/meminfo: memFree=28563852/32872528 swapFree=870628/942168
[pid=22907] ppid=22904 vsize=1330756 CPUtime=1800.03 cores=0,2,4,6
/proc/22907/stat : 22907 (toysat) R 22904 22907 22716 0 -1 4202496 274199 0 0 0 179953 50 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140735207895936 12483272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22907/statm: 332689 274433 892 2943 0 329583 0
[pid=22907/tid=22908] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22908/stat : 22908 (toysat) S 22904 22907 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379484564720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22907/tid=22909] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22909/stat : 22909 (toysat) S 22904 22907 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379474074864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22907/tid=22910] ppid=22904 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/22907/task/22910/stat : 22910 (toysat) S 22904 22907 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30757814 1362694144 274433 33554432000 4194304 16246674 140735207914032 140379395452080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1330756

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.54
CPU system time (s): 0.507922
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 1330756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.507922
maximum resident set size= 1097732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274199
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= 334
involuntary context switches= 1964

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54531 second user time and 6.96994 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-26 23:39:41
IDJOB=4117189
IDBENCH=109564
IDSOLVER=2542
FILE ID=node113/4117189-1466977181
RUNJOBID= node113-1466975380-22732
PBS_JOBID= 19976383
Free space on /tmp= 71684 MiB

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

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

MD5SUM BENCH= e065f1c8e7f6201cf78fb94f3d7a1f66
RANDOM SEED=1258596632

node113.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.699
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.39
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.699
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.58
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.699
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30675148 kB
Buffers:           55612 kB
Cached:           356780 kB
SwapCached:        18844 kB
Active:           176572 kB
Inactive:         345676 kB
Active(anon):      92476 kB
Inactive(anon):    20016 kB
Active(file):      84096 kB
Inactive(file):   325660 kB
Unevictable:      942168 kB
Mlocked:          870628 kB
SwapTotal:      67108856 kB
SwapFree:       67082244 kB
Dirty:             33440 kB
Writeback:             4 kB
AnonPages:       1033200 kB
Mapped:            11256 kB
Shmem:                 0 kB
Slab:             598148 kB
SReclaimable:      42104 kB
SUnreclaim:       556044 kB
KernelStack:        1464 kB
PageTables:         7828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2073260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 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= 71668 MiB
End job on node113 at 2016-06-27 00:09:42