Trace number 4097947

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_13.opb
MD5SUM33399b9fd213ab3fb29f26b2f1270bc6
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 variables6006
Total number of constraints29342
Number of constraints which are clauses29337
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint77
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 13
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 90
Number of bits of the biggest sum of numbers7
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-17T01:17:46+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-4097947-1466119066.opb"]
0.00/0.01	c use --random-gen="1025231721 4184735112 1242117196 3168167854 827359057 1264530939 1531694691 2228977203 3947106628 3602536382 1077963760 3601782198 580123269 1104402192 1348189013 1139867281 2203148521 2265661105 2364502576 877393103 3098001339 3242036277 3769736525 1656030101 3697993764 907299711 2613419689 1215773176 555381419 3112990487 2325790049 1181043794 4255039386 1756449998 3417041210 413090927 2268546946 3047450713 1755548065 3844395470 1617119059 2916255427 422318784 1171324519 1817256153 3946203353 1409471658 3802605306 2240493436 2332304057 3326365716 29233861 2217235656 731963085 2400155206 1759830753 1713256943 3980575173 1780236530 1786572914 938587139 2396024476 3554152167 287734224 191437041 866582856 3395012282 1893008020 18764529 3908533774 537800970 3936577149 3696520425 1408248944 2608136565 807138869 801890929 1421876730 3355551382 3143476889 1364772422 2244949137 1077971306 1209454705 19626564 1258458685 2914882192 879658970 1345949698 3955933377 708313603 3395691050 2404573195 473895780 4240697521 2360837479 3262892146 2291891176 4132001162 2136792250 2832867405 2894048897 3703108912 3692631428 2194946750 3023821151 1320211199 1055214795 2841922601 300048994 330384928 4237791164 3335101869 2117896157 2365260803 1895330460 4151336104 2441102457 3196471345 4214804895 2154206254 2973023369 601898856 3777893027 1138972539 4079613042 2493977007 1308917793 27596126 975578492 1334846918 1163803394 2589077692 3290948279 4018387058 2825389179 2699817346 1770727039 2934700920 1712592896 3558980681 3979241640 511739222 3924413059 198978310 1068824762 4204187362 188695981 3944158882 3527569502 2139750095 2381485605 3900272993 1793838994 2895017008 4100831652 3419399289 2331506046 2723690782 2156007680 885854331 1519326071 2533368918 3755476580 2220406487 3487455619 2186242428 2864709424 3130409030 447278766 915868962 3305646301 3803539249 3394592133 2507940032 486464644 1037961032 2427867385 1972907400 3295101936 2559787751 1204309034 1228500213 3586421334 1361901618 3977392447 1943096333 2295001237 2689669960 540994223 1916009561 2090551300 2276580286 2796340260 1736646124 2365306896 3675801708 1388253961 3092654069 1740290477 2468996896 44775211 3182479219 183642558 3372936752 2244249033 3905750650 557038509 3956214740 1589687340 1649951501 1601583839 3938140271 1660823980 1235283515 3816085049 1721989827 3596393529 4016843248 2717483077 1296855862 1046969235 1788598564 17457905 2239839148 189107172 3128175004 153109529 2462908943 2798329981 349452560 463979959 1921140758 2097955110 3259199469 3498177048 2257745840 1937821861 2521656758 3839208948 477168309 1776587762 735734476 3756359042 4046273334 1108122063 731546833 3491950116 61470972 3281052219 3377389414 2424395623 349215402 570460040 160896088 280055891 255 362436" option to reproduce the execution
0.68/0.74	c #vars 6006
0.68/0.74	c #constraints 29342
2.09/2.10	c Solving starts ...
2.09/2.10	c ============================[ Search Statistics ]============================
2.09/2.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.09/2.10	c       |         |          |          |    Limit     GC | Var      | Constra 
2.09/2.10	c =============================================================================
2.09/2.10	c  0.0s |       0 |        0 |        0 |    11781      0 |        5 |        0
2.49/2.58	c  0.5s |       1 |     1638 |      100 |    11781      0 |        5 |      672
3.19/3.30	c  1.2s |       2 |     2876 |      250 |    12960      0 |        5 |      672
4.09/4.19	c  2.1s |       3 |     5822 |      475 |    14257      0 |        5 |      672
5.50/5.56	c  3.5s |       4 |     9687 |      813 |    15683      0 |        5 |      672
7.29/7.35	c  5.3s |       5 |    16453 |     1320 |    17252      0 |        5 |      672
9.39/9.41	c  7.3s |       5 |    20581 |     2020 |    18978      0 |        5 |      672
9.49/9.57	c  7.5s |       6 |    20940 |     2081 |    20876      0 |        5 |      672
11.59/11.65	c  9.6s |       6 |    25988 |     2781 |    20876      0 |        5 |      672
13.59/13.69	c 11.6s |       7 |    31487 |     3223 |    22964      0 |        5 |      672
15.69/15.72	c 13.6s |       7 |    36790 |     3823 |    22964      0 |        5 |      672
17.89/17.90	c 15.8s |       7 |    43736 |     4623 |    22964      0 |        5 |      672
18.99/19.01	c 16.9s |       8 |    48218 |     4936 |    25261      0 |        5 |      672
20.99/21.05	c 18.9s |       8 |    56043 |     5436 |    25261      0 |        5 |      672
23.19/23.26	c 21.2s |       8 |    61470 |     6236 |    25261      0 |        5 |      672
25.19/25.30	c 23.2s |       8 |    67591 |     6836 |    25261      0 |        5 |      672
27.39/27.42	c 25.3s |       8 |    74369 |     7436 |    25261      0 |        5 |      672
27.69/27.72	c 25.6s |       9 |    75403 |     7506 |    27788      0 |        5 |      672
29.69/29.74	c 27.6s |       9 |    79525 |     8006 |    27788      0 |        5 |      672
31.89/31.92	c 29.8s |       9 |    85419 |     8806 |    27788      0 |        5 |      672
33.99/34.10	c 32.0s |       9 |    94959 |     9406 |    27788      0 |        5 |      672
36.29/36.34	c 34.2s |       9 |   104470 |    10006 |    27788      0 |        5 |      672
38.39/38.43	c 36.3s |       9 |   110073 |    10806 |    27788      0 |        5 |      672
40.28/40.38	c 38.3s |      10 |   117218 |    11361 |    30567      0 |        5 |      672
42.58/42.62	c 40.5s |      10 |   124183 |    11961 |    30567      0 |        5 |      672
44.88/44.91	c 42.8s |      10 |   133608 |    12961 |    30567      0 |        5 |      672
46.88/46.97	c 44.9s |      10 |   138930 |    13661 |    30567      0 |        5 |      672
48.98/49.02	c 46.9s |      10 |   146331 |    14261 |    30567      0 |        5 |      672
51.18/51.21	c 49.1s |      10 |   152064 |    14861 |    30567      0 |        5 |      672
53.18/53.23	c 51.1s |      10 |   157151 |    15661 |    30567      0 |        5 |      672
55.38/55.40	c 53.3s |      10 |   162498 |    16461 |    30567      0 |        5 |      672
57.38/57.45	c 55.4s |      10 |   168449 |    17061 |    33624      0 |        5 |      672
57.78/57.80	c 55.7s |      11 |   169205 |    17144 |    33624      0 |        5 |      672
59.78/59.87	c 57.8s |      11 |   177477 |    17744 |    33624      0 |        5 |      672
61.78/61.87	c 59.8s |      11 |   183465 |    18544 |    33624      0 |        5 |      672
64.08/64.16	c 62.1s |      11 |   191282 |    19444 |    33624      0 |        5 |      672
66.28/66.31	c 64.2s |      11 |   200496 |    20144 |    33624      0 |        5 |      672
68.38/68.46	c 66.4s |      11 |   205249 |    20844 |    33624      0 |        5 |      672
70.49/70.56	c 68.5s |      11 |   213817 |    21744 |    33624      0 |        5 |      672
72.59/72.69	c 70.6s |      11 |   220984 |    22644 |    33624      0 |        5 |      672
74.89/74.96	c 72.9s |      11 |   228485 |    23544 |    33624      0 |        5 |      672
76.88/77.00	c 74.9s |      11 |   234879 |    24444 |    33624      0 |        5 |      672
78.98/79.05	c 77.0s |      11 |   241196 |    25344 |    33624      0 |        5 |      672
80.08/80.17	c 78.1s |      12 |   243648 |    25819 |    36987      0 |        5 |      672
82.28/82.36	c 80.3s |      12 |   246790 |    26619 |    36987      0 |        5 |      672
84.38/84.46	c 82.4s |      12 |   251225 |    27519 |    36987      0 |        5 |      672
86.48/86.54	c 84.4s |      12 |   256645 |    28519 |    36987      0 |        5 |      672
88.58/88.64	c 86.5s |      12 |   261275 |    29619 |    36987      0 |        5 |      672
90.68/90.74	c 88.6s |      12 |   266271 |    30719 |    36987      0 |        5 |      672
92.88/92.93	c 90.8s |      12 |   272293 |    31319 |    36987      0 |        5 |      672
95.18/95.22	c 93.1s |      12 |   280262 |    32019 |    36987      0 |        5 |      672
97.28/97.33	c 95.2s |      12 |   288421 |    32619 |    36987      0 |        5 |      672
99.68/99.72	c 97.6s |      12 |   295620 |    33419 |    36987      0 |        5 |      672
101.78/101.84	c 99.7s |      12 |   305672 |    34019 |    36987      0 |        5 |      672
103.98/104.06	c  101s |      12 |   310545 |    34719 |    36987      0 |        5 |      672
106.37/106.41	c  104s |      12 |   315598 |    35219 |    36987      0 |        5 |      672
108.57/108.64	c  106s |      12 |   322434 |    35919 |    36987      0 |        5 |      672
110.87/110.90	c  108s |      12 |   328673 |    36519 |    36987      0 |        5 |      672
113.07/113.12	c  111s |      12 |   335081 |    37319 |    36987      0 |        5 |      672
115.37/115.48	c  113s |      12 |   342651 |    37919 |    36987      0 |        5 |      672
117.47/117.52	c  115s |      12 |   347063 |    38419 |    36987      0 |        5 |      672
118.37/118.48	c  116s |      13 |   349479 |    38832 |    40686      0 |        5 |      672
120.57/120.66	c  118s |      13 |   354557 |    39232 |    40686      0 |        5 |      672
122.87/122.94	c  120s |      13 |   361984 |    39732 |    40686      0 |        5 |      672
124.87/124.95	c  122s |      13 |   368915 |    40532 |    40686      0 |        5 |      672
127.17/127.28	c  125s |      13 |   376832 |    41132 |    40686      0 |        5 |      672
130.27/130.38	c  128s |      13 |   381557 |    41432 |    40686      1 |        5 |      672
132.67/132.78	c  130s |      13 |   387885 |    41832 |    40686      1 |        5 |      672
134.77/134.81	c  132s |      13 |   393335 |    42532 |    40686      1 |        5 |      672
136.87/136.98	c  134s |      13 |   399095 |    43132 |    40686      1 |        5 |      672
139.07/139.14	c  137s |      13 |   406250 |    43632 |    40686      1 |        5 |      672
141.17/141.21	c  139s |      13 |   413082 |    44132 |    40686      1 |        5 |      672
143.17/143.25	c  141s |      13 |   420900 |    44932 |    40686      1 |        5 |      672
145.37/145.48	c  143s |      13 |   427628 |    45632 |    40686      1 |        5 |      672
147.38/147.49	c  145s |      13 |   435295 |    46132 |    40686      1 |        5 |      672
149.58/149.61	c  147s |      13 |   441861 |    46732 |    40686      1 |        5 |      672
151.67/151.72	c  149s |      13 |   447655 |    47632 |    40686      1 |        5 |      672
153.67/153.73	c  151s |      13 |   453845 |    48132 |    40686      1 |        5 |      672
155.87/155.92	c  153s |      13 |   459465 |    48832 |    40686      1 |        5 |      672
158.17/158.21	c  156s |      13 |   466840 |    49532 |    40686      1 |        5 |      672
160.57/160.67	c  158s |      13 |   475555 |    50132 |    40686      1 |        5 |      672
162.67/162.74	c  160s |      13 |   481401 |    50732 |    40686      1 |        5 |      672
164.87/164.97	c  162s |      13 |   487256 |    51532 |    40686      1 |        5 |      672
167.07/167.15	c  165s |      13 |   494674 |    52132 |    40686      1 |        5 |      672
169.07/169.15	c  167s |      13 |   500700 |    53032 |    40686      1 |        5 |      672
171.17/171.22	c  169s |      13 |   507195 |    53632 |    40686      1 |        5 |      672
173.27/173.37	c  171s |      13 |   512312 |    54332 |    40686      1 |        5 |      672
175.47/175.50	c  173s |      13 |   516537 |    54932 |    40686      1 |        5 |      672
177.77/177.81	c  175s |      13 |   522908 |    55532 |    40686      1 |        5 |      672
179.86/179.98	c  177s |      13 |   530853 |    56432 |    40686      1 |        5 |      672
181.96/182.03	c  179s |      13 |   535118 |    57132 |    40686      1 |        5 |      672
184.06/184.17	c  182s |      13 |   540161 |    57732 |    40686      1 |        5 |      672
185.97/186.04	c  183s |      14 |   545660 |    58352 |    44755      1 |        5 |      672
187.96/188.05	c  185s |      14 |   550557 |    58952 |    44755      1 |        5 |      672
190.16/190.21	c  188s |      14 |   554484 |    59552 |    44755      1 |        5 |      672
192.36/192.44	c  190s |      14 |   559569 |    60252 |    44755      1 |        5 |      672
194.46/194.51	c  192s |      14 |   564356 |    61052 |    44755      1 |        5 |      672
196.46/196.56	c  194s |      14 |   568549 |    61752 |    44755      1 |        5 |      672
198.66/198.73	c  196s |      14 |   574322 |    62452 |    44755      1 |        5 |      672
200.76/200.83	c  198s |      14 |   578478 |    63152 |    44755      1 |        5 |      672
202.86/202.91	c  200s |      14 |   583129 |    63852 |    44755      1 |        5 |      672
204.86/204.91	c  202s |      14 |   588438 |    64652 |    44755      1 |        5 |      672
206.87/206.97	c  204s |      14 |   593149 |    65552 |    44755      1 |        5 |      672
208.86/208.98	c  206s |      14 |   598499 |    66552 |    44755      1 |        5 |      672
211.06/211.19	c  209s |      14 |   602993 |    67452 |    44755      1 |        5 |      672
213.16/213.29	c  211s |      14 |   606380 |    68352 |    44755      1 |        5 |      672
215.46/215.53	c  213s |      14 |   610125 |    69352 |    44755      2 |        5 |      672
217.46/217.54	c  215s |      14 |   612641 |    70252 |    44755      2 |        5 |      672
223.06/223.15	c  221s |      14 |   614812 |    70352 |    44755      2 |        5 |      672
225.36/225.44	c  223s |      14 |   620339 |    70852 |    44755      2 |        5 |      672
227.56/227.60	c  225s |      14 |   622994 |    71352 |    44755      2 |        5 |      672
229.86/229.90	c  227s |      14 |   628400 |    71852 |    44755      2 |        5 |      672
232.06/232.12	c  230s |      14 |   636529 |    72352 |    44755      2 |        5 |      672
234.06/234.18	c  232s |      14 |   642249 |    72852 |    44755      2 |        5 |      672
236.16/236.27	c  234s |      14 |   651928 |    73752 |    44755      2 |        5 |      672
238.46/238.53	c  236s |      14 |   658912 |    74252 |    44755      2 |        5 |      672
240.66/240.70	c  238s |      14 |   666663 |    74852 |    44755      2 |        5 |      672
242.86/242.93	c  240s |      14 |   671370 |    75552 |    44755      2 |        5 |      672
244.95/245.07	c  242s |      14 |   681119 |    76052 |    44755      2 |        5 |      672
247.35/247.41	c  245s |      14 |   687878 |    76552 |    44755      2 |        5 |      672
249.45/249.59	c  247s |      14 |   693088 |    77252 |    44755      2 |        5 |      672
251.65/251.70	c  249s |      14 |   698651 |    77752 |    44755      2 |        5 |      672
253.75/253.81	c  251s |      14 |   705483 |    78252 |    44755      2 |        5 |      672
255.95/256.07	c  253s |      14 |   713865 |    79152 |    44755      2 |        5 |      672
258.05/258.18	c  256s |      14 |   719941 |    79652 |    44755      2 |        5 |      672
260.15/260.20	c  258s |      14 |   723628 |    80152 |    44755      2 |        5 |      672
262.15/262.29	c  260s |      14 |   728757 |    80852 |    44755      2 |        5 |      672
264.35/264.40	c  262s |      14 |   735813 |    81352 |    44755      2 |        5 |      672
266.45/266.51	c  264s |      14 |   740604 |    81952 |    44755      2 |        5 |      672
268.65/268.77	c  266s |      14 |   747638 |    82652 |    44755      2 |        5 |      672
270.95/271.03	c  268s |      14 |   753749 |    83252 |    44755      2 |        5 |      672
272.95/273.03	c  270s |      14 |   757974 |    83952 |    44755      2 |        5 |      672
275.15/275.23	c  273s |      14 |   763563 |    84552 |    44755      2 |        5 |      672
277.55/277.69	c  275s |      14 |   769172 |    85252 |    44755      2 |        5 |      672
279.65/279.70	c  277s |      14 |   774211 |    85752 |    44755      2 |        5 |      672
281.85/281.90	c  279s |      14 |   779795 |    86552 |    44755      2 |        5 |      672
283.95/284.01	c  281s |      14 |   785535 |    87152 |    49231      2 |        5 |      672
285.15/285.25	c  283s |      15 |   788112 |    87632 |    49231      2 |        5 |      672
287.15/287.25	c  285s |      15 |   793723 |    88032 |    49231      2 |        5 |      672
289.45/289.54	c  287s |      15 |   800682 |    88532 |    49231      2 |        5 |      672
291.75/291.82	c  289s |      15 |   803701 |    89232 |    49231      2 |        5 |      672
293.95/294.03	c  291s |      15 |   808857 |    89832 |    49231      2 |        5 |      672
296.05/296.15	c  294s |      15 |   813901 |    90332 |    49231      2 |        5 |      672
298.15/298.21	c  296s |      15 |   819498 |    90732 |    49231      2 |        5 |      672
300.35/300.45	c  298s |      15 |   827449 |    91232 |    49231      2 |        5 |      672
302.45/302.59	c  300s |      15 |   831396 |    91832 |    49231      2 |        5 |      672
304.54/304.63	c  302s |      15 |   835590 |    92332 |    49231      2 |        5 |      672
306.54/306.69	c  304s |      15 |   843089 |    92832 |    49231      2 |        5 |      672
308.94/309.03	c  306s |      15 |   848084 |    93632 |    49231      2 |        5 |      672
310.94/311.06	c  308s |      15 |   853773 |    94132 |    49231      2 |        5 |      672
313.24/313.39	c  311s |      15 |   861364 |    94632 |    49231      2 |        5 |      672
315.65/315.70	c  313s |      15 |   865838 |    95132 |    49231      2 |        5 |      672
317.95/318.05	c  315s |      15 |   869473 |    95632 |    49231      2 |        5 |      672
320.34/320.44	c  318s |      15 |   873477 |    96332 |    49231      2 |        5 |      672
322.74/322.81	c  320s |      15 |   876325 |    96632 |    49231      3 |        5 |      672
324.84/324.91	c  322s |      15 |   880798 |    97032 |    49231      3 |        5 |      672
327.04/327.14	c  325s |      15 |   888962 |    97632 |    49231      3 |        5 |      672
329.34/329.41	c  327s |      15 |   893831 |    98432 |    49231      3 |        5 |      672
331.54/331.63	c  329s |      15 |   900360 |    99032 |    49231      3 |        5 |      672
333.64/333.79	c  331s |      15 |   904648 |    99632 |    49231      3 |        5 |      672
336.04/336.11	c  334s |      15 |   910163 |   100332 |    49231      3 |        5 |      672
338.24/338.35	c  336s |      15 |   918929 |   100932 |    49231      3 |        5 |      672
340.34/340.50	c  338s |      15 |   925602 |   101532 |    49231      3 |        5 |      672
342.44/342.55	c  340s |      15 |   929131 |   102232 |    49231      3 |        5 |      672
344.64/344.74	c  342s |      15 |   933970 |   102832 |    49231      3 |        5 |      672
346.74/346.83	c  344s |      15 |   940552 |   103532 |    49231      3 |        5 |      672
348.94/349.09	c  346s |      15 |   945649 |   104232 |    49231      3 |        5 |      672
351.24/351.35	c  349s |      15 |   953142 |   105132 |    49231      3 |        5 |      672
353.54/353.62	c  351s |      15 |   958698 |   105732 |    49231      3 |        5 |      672
355.64/355.77	c  353s |      15 |   965566 |   106532 |    49231      3 |        5 |      672
357.93/358.07	c  355s |      15 |   970935 |   107132 |    49231      3 |        5 |      672
359.93/360.09	c  357s |      15 |   977067 |   107932 |    49231      3 |        5 |      672
362.13/362.23	c  360s |      15 |   983101 |   108532 |    49231      3 |        5 |      672
364.14/364.24	c  362s |      15 |   988192 |   109332 |    49231      3 |        5 |      672
366.24/366.39	c  364s |      15 |   993839 |   109932 |    49231      3 |        5 |      672
368.44/368.56	c  366s |      15 |   997627 |   110732 |    49231      3 |        5 |      672
370.64/370.76	c  368s |      15 |  1003395 |   111532 |    49231      3 |        5 |      672
372.63/372.78	c  370s |      15 |  1008554 |   112132 |    49231      3 |        5 |      672
374.83/374.91	c  372s |      15 |  1013461 |   112932 |    49231      3 |        5 |      672
376.83/376.98	c  374s |      15 |  1021195 |   113832 |    49231      3 |        5 |      672
379.13/379.22	c  377s |      15 |  1028326 |   114732 |    49231      3 |        5 |      672
381.33/381.42	c  379s |      15 |  1035236 |   115632 |    49231      3 |        5 |      672
383.43/383.50	c  381s |      15 |  1039841 |   116532 |    49231      3 |        5 |      672
385.63/385.71	c  383s |      15 |  1045937 |   117532 |    49231      3 |        5 |      672
387.63/387.77	c  385s |      15 |  1050784 |   118532 |    49231      3 |        5 |      672
389.73/389.86	c  387s |      15 |  1054862 |   119632 |    49231      3 |        5 |      672
391.93/392.04	c  389s |      15 |  1057890 |   120832 |    49231      3 |        5 |      672
394.43/394.58	c  392s |      15 |  1060319 |   121032 |    49231      4 |        5 |      672
407.32/407.42	c  405s |      15 |  1067168 |   121532 |    49231      4 |        5 |      672
409.62/409.75	c  407s |      15 |  1072502 |   122332 |    49231      4 |        5 |      672
411.82/411.91	c  409s |      15 |  1078619 |   122832 |    49231      4 |        5 |      672
414.12/414.20	c  412s |      15 |  1084783 |   123332 |    49231      4 |        5 |      672
416.22/416.33	c  414s |      15 |  1088869 |   123932 |    49231      4 |        5 |      672
418.42/418.51	c  416s |      15 |  1094073 |   124532 |    49231      4 |        5 |      672
420.82/420.98	c  418s |      15 |  1101776 |   125132 |    49231      4 |        5 |      672
423.02/423.15	c  421s |      15 |  1107907 |   125632 |    49231      4 |        5 |      672
425.12/425.23	c  423s |      15 |  1112494 |   126132 |    49231      4 |        5 |      672
427.51/427.66	c  425s |      15 |  1115250 |   126832 |    49231      4 |        5 |      672
429.81/429.95	c  427s |      15 |  1118663 |   127332 |    49231      4 |        5 |      672
432.11/432.22	c  430s |      15 |  1123305 |   128032 |    49231      4 |        5 |      672
434.21/434.33	c  432s |      15 |  1128128 |   128632 |    49231      4 |        5 |      672
436.41/436.51	c  434s |      15 |  1134558 |   129132 |    49231      4 |        5 |      672
438.41/438.56	c  436s |      15 |  1137719 |   129632 |    49231      4 |        5 |      672
440.41/440.57	c  438s |      15 |  1141663 |   130332 |    49231      4 |        5 |      672
442.71/442.82	c  440s |      15 |  1146046 |   130832 |    54155      4 |        5 |      672
445.01/445.10	c  443s |      15 |  1151714 |   131332 |    54155      4 |        5 |      672
445.71/445.83	c  443s |      16 |  1152801 |   131552 |    54155      4 |        5 |      672
447.81/447.91	c  445s |      16 |  1157151 |   132152 |    54155      4 |        5 |      672
449.82/449.92	c  447s |      16 |  1161891 |   132752 |    54155      4 |        5 |      672
451.91/452.08	c  449s |      16 |  1165002 |   133152 |    54155      4 |        5 |      672
454.11/454.21	c  452s |      16 |  1170839 |   133652 |    54155      4 |        5 |      672
456.21/456.36	c  454s |      16 |  1173973 |   134352 |    54155      4 |        5 |      672
458.31/458.42	c  456s |      16 |  1178686 |   134852 |    54155      4 |        5 |      672
460.41/460.52	c  458s |      16 |  1183600 |   135352 |    54155      4 |        5 |      672
462.61/462.72	c  460s |      16 |  1187170 |   136052 |    54155      4 |        5 |      672
464.61/464.79	c  462s |      16 |  1192546 |   136552 |    54155      4 |        5 |      672
466.71/466.80	c  464s |      16 |  1198872 |   137052 |    54155      4 |        5 |      672
469.01/469.12	c  467s |      16 |  1202537 |   137852 |    54155      4 |        5 |      672
471.01/471.12	c  469s |      16 |  1206710 |   138352 |    54155      4 |        5 |      672
473.01/473.17	c  471s |      16 |  1211698 |   138852 |    54155      4 |        5 |      672
475.40/475.53	c  473s |      16 |  1215211 |   139652 |    54155      4 |        5 |      672
477.50/477.62	c  475s |      16 |  1219535 |   140052 |    54155      4 |        5 |      672
479.51/479.63	c  477s |      16 |  1224889 |   140552 |    54155      4 |        5 |      672
481.90/482.02	c  479s |      16 |  1230357 |   141352 |    54155      4 |        5 |      672
484.21/484.31	c  482s |      16 |  1234173 |   141852 |    54155      4 |        5 |      672
486.22/486.34	c  484s |      16 |  1238684 |   142352 |    54155      4 |        5 |      672
488.32/488.42	c  486s |      16 |  1241794 |   143052 |    54155      4 |        5 |      672
490.31/490.43	c  488s |      16 |  1245472 |   143552 |    54155      4 |        5 |      672
492.31/492.47	c  490s |      16 |  1248966 |   144252 |    54155      4 |        5 |      672
494.61/494.73	c  492s |      16 |  1254020 |   144852 |    54155      4 |        5 |      672
496.91/497.06	c  494s |      16 |  1257604 |   145552 |    54155      4 |        5 |      672
499.01/499.14	c  497s |      16 |  1260737 |   146252 |    54155      4 |        5 |      672
501.41/501.54	c  499s |      16 |  1265329 |   146852 |    54155      4 |        5 |      672
503.51/503.69	c  501s |      16 |  1269172 |   147552 |    54155      4 |        5 |      672
505.61/505.77	c  503s |      16 |  1273458 |   148252 |    54155      4 |        5 |      672
507.61/507.79	c  505s |      16 |  1277428 |   148952 |    54155      4 |        5 |      672
509.91/510.01	c  507s |      16 |  1280901 |   149752 |    54155      4 |        5 |      672
512.11/512.28	c  510s |      16 |  1283678 |   150452 |    54155      4 |        5 |      672
514.21/514.35	c  512s |      16 |  1287430 |   151252 |    54155      4 |        5 |      672
516.51/516.68	c  514s |      16 |  1289942 |   152052 |    54155      4 |        5 |      672
518.71/518.80	c  516s |      16 |  1293907 |   152952 |    54155      4 |        5 |      672
520.70/520.89	c  518s |      16 |  1296441 |   153752 |    54155      5 |        5 |      672
523.20/523.33	c  521s |      16 |  1299857 |   154752 |    54155      5 |        5 |      672
535.79/535.94	c  533s |      16 |  1302123 |   154952 |    54155      5 |        5 |      672
537.90/538.01	c  535s |      16 |  1307189 |   155552 |    54155      5 |        5 |      672
540.19/540.38	c  538s |      16 |  1311975 |   156252 |    54155      5 |        5 |      672
542.59/542.70	c  540s |      16 |  1317339 |   156752 |    54155      5 |        5 |      672
544.99/545.12	c  543s |      16 |  1323326 |   157252 |    54155      5 |        5 |      672
547.39/547.50	c  545s |      16 |  1329020 |   157752 |    54155      5 |        5 |      672
549.69/549.80	c  547s |      16 |  1333148 |   158352 |    54155      5 |        5 |      672
551.79/551.93	c  549s |      16 |  1337160 |   158952 |    54155      5 |        5 |      672
553.98/554.17	c  552s |      16 |  1343172 |   159452 |    54155      5 |        5 |      672
556.08/556.22	c  554s |      16 |  1347600 |   160052 |    54155      5 |        5 |      672
558.18/558.39	c  556s |      16 |  1351565 |   160652 |    54155      5 |        5 |      672
560.38/560.56	c  558s |      16 |  1356876 |   161152 |    54155      5 |        5 |      672
562.58/562.78	c  560s |      16 |  1360437 |   161852 |    54155      5 |        5 |      672
565.08/565.24	c  563s |      16 |  1366115 |   162452 |    54155      5 |        5 |      672
567.08/567.30	c  565s |      16 |  1370174 |   162952 |    54155      5 |        5 |      672
569.48/569.69	c  567s |      16 |  1372956 |   163552 |    54155      5 |        5 |      672
571.68/571.86	c  569s |      16 |  1377016 |   164052 |    54155      5 |        5 |      672
573.97/574.17	c  572s |      16 |  1383045 |   164652 |    54155      5 |        5 |      672
576.07/576.20	c  574s |      16 |  1386903 |   165252 |    54155      5 |        5 |      672
578.07/578.26	c  576s |      16 |  1391544 |   165752 |    54155      5 |        5 |      672
580.37/580.58	c  578s |      16 |  1395853 |   166552 |    54155      5 |        5 |      672
582.47/582.66	c  580s |      16 |  1400388 |   167052 |    54155      5 |        5 |      672
584.77/584.93	c  582s |      16 |  1405420 |   167752 |    54155      5 |        5 |      672
586.96/587.10	c  584s |      16 |  1409839 |   168252 |    54155      5 |        5 |      672
589.16/589.33	c  587s |      16 |  1413748 |   168852 |    54155      5 |        5 |      672
591.46/591.69	c  589s |      16 |  1418941 |   169552 |    54155      5 |        5 |      672
593.76/593.98	c  591s |      16 |  1422790 |   170252 |    54155      5 |        5 |      672
595.96/596.10	c  594s |      16 |  1427200 |   170752 |    54155      5 |        5 |      672
598.26/598.46	c  596s |      16 |  1429955 |   171352 |    54155      5 |        5 |      672
600.56/600.76	c  598s |      16 |  1433789 |   171952 |    54155      5 |        5 |      672
602.85/603.08	c  600s |      16 |  1437176 |   172552 |    54155      5 |        5 |      672
604.96/605.18	c  603s |      16 |  1440242 |   173152 |    54155      5 |        5 |      672
607.05/607.23	c  605s |      16 |  1444566 |   173852 |    54155      5 |        5 |      672
609.36/609.53	c  607s |      16 |  1449343 |   174552 |    54155      5 |        5 |      672
611.45/611.61	c  609s |      16 |  1451956 |   175052 |    54155      5 |        5 |      672
613.75/613.92	c  611s |      16 |  1455714 |   175752 |    54155      5 |        5 |      672
615.95/616.19	c  614s |      16 |  1458648 |   176352 |    54155      5 |        5 |      672
618.25/618.42	c  616s |      16 |  1461309 |   176952 |    54155      5 |        5 |      672
620.25/620.45	c  618s |      16 |  1464360 |   177552 |    54155      5 |        5 |      672
622.45/622.60	c  620s |      16 |  1466824 |   178152 |    54155      5 |        5 |      672
624.45/624.63	c  622s |      16 |  1468183 |   178652 |    54155      5 |        5 |      672
626.44/626.67	c  624s |      16 |  1469374 |   179152 |    54155      5 |        5 |      672
628.44/628.67	c  626s |      16 |  1470610 |   179652 |    54155      5 |        5 |      672
630.74/630.94	c  628s |      16 |  1471548 |   180052 |    54155      6 |        5 |      672
632.94/633.15	c  631s |      16 |  1474207 |   180552 |    54155      6 |        5 |      672
635.04/635.27	c  633s |      16 |  1477482 |   181152 |    54155      6 |        5 |      672
637.44/637.62	c  635s |      16 |  1482966 |   181652 |    54155      6 |        5 |      672
639.44/639.69	c  637s |      16 |  1487631 |   182052 |    54155      6 |        5 |      672
641.74/641.95	c  639s |      16 |  1492842 |   182552 |    54155      6 |        5 |      672
643.94/644.15	c  642s |      16 |  1498045 |   183352 |    54155      6 |        5 |      672
646.24/646.46	c  644s |      16 |  1504667 |   183952 |    54155      6 |        5 |      672
648.54/648.73	c  646s |      16 |  1510201 |   184452 |    54155      6 |        5 |      672
650.74/650.99	c  648s |      16 |  1515621 |   185252 |    54155      6 |        5 |      672
653.24/653.45	c  651s |      16 |  1520889 |   185852 |    54155      6 |        5 |      672
655.44/655.65	c  653s |      16 |  1528241 |   186452 |    54155      6 |        5 |      672
657.43/657.69	c  655s |      16 |  1532892 |   187152 |    54155      6 |        5 |      672
659.53/659.79	c  657s |      16 |  1538713 |   187652 |    54155      6 |        5 |      672
661.73/661.99	c  659s |      16 |  1543748 |   188252 |    54155      6 |        5 |      672
663.83/664.01	c  661s |      16 |  1547582 |   188952 |    54155      6 |        5 |      672
665.93/666.14	c  664s |      16 |  1553183 |   189452 |    54155      6 |        5 |      672
668.13/668.38	c  666s |      16 |  1557827 |   189952 |    54155      6 |        5 |      672
670.23/670.47	c  668s |      16 |  1561917 |   190652 |    54155      6 |        5 |      672
672.33/672.59	c  670s |      16 |  1565866 |   191152 |    54155      6 |        5 |      672
674.73/674.97	c  672s |      16 |  1569988 |   191652 |    54155      6 |        5 |      672
677.13/677.36	c  675s |      16 |  1573210 |   192352 |    54155      6 |        5 |      672
679.43/679.69	c  677s |      16 |  1576909 |   192852 |    54155      6 |        5 |      672
681.73/681.92	c  679s |      16 |  1582307 |   193352 |    54155      6 |        5 |      672
683.93/684.10	c  682s |      16 |  1585108 |   193952 |    54155      6 |        5 |      672
685.93/686.18	c  684s |      16 |  1588692 |   194452 |    54155      6 |        5 |      672
688.12/688.33	c  686s |      16 |  1593111 |   195152 |    54155      6 |        5 |      672
690.12/690.39	c  688s |      16 |  1596465 |   195652 |    54155      6 |        5 |      672
692.32/692.57	c  690s |      16 |  1600158 |   196152 |    59571      6 |        5 |      672
694.32/694.58	c  692s |      16 |  1603014 |   196752 |    59571      6 |        5 |      672
696.52/696.79	c  694s |      16 |  1606360 |   197252 |    59571      6 |        5 |      672
697.23/697.46	c  695s |      17 |  1607632 |   197432 |    59571      6 |        5 |      672
699.72/699.90	c  697s |      17 |  1609852 |   197932 |    59571      6 |        5 |      672
701.73/701.93	c  699s |      17 |  1613446 |   198332 |    59571      6 |        5 |      672
703.72/703.96	c  701s |      17 |  1616032 |   198932 |    59571      6 |        5 |      672
706.22/706.44	c  704s |      17 |  1618810 |   199532 |    59571      6 |        5 |      672
708.42/708.66	c  706s |      17 |  1623120 |   199932 |    59571      6 |        5 |      672
710.42/710.70	c  708s |      17 |  1626455 |   200532 |    59571      6 |        5 |      672
712.92/713.16	c  711s |      17 |  1632181 |   201132 |    59571      6 |        5 |      672
715.32/715.55	c  713s |      17 |  1638287 |   201632 |    59571      6 |        5 |      672
717.51/717.79	c  715s |      17 |  1641024 |   202232 |    59571      6 |        5 |      672
719.81/720.04	c  717s |      17 |  1643879 |   202732 |    59571      6 |        5 |      672
722.11/722.30	c  720s |      17 |  1647043 |   203332 |    59571      6 |        5 |      672
724.21/724.43	c  722s |      17 |  1649792 |   203832 |    59571      6 |        5 |      672
726.21/726.48	c  724s |      17 |  1652430 |   204332 |    59571      6 |        5 |      672
728.41/728.66	c  726s |      17 |  1655031 |   204832 |    59571      6 |        5 |      672
730.51/730.79	c  728s |      17 |  1657866 |   205432 |    59571      6 |        5 |      672
732.61/732.85	c  730s |      17 |  1659929 |   205932 |    59571      6 |        5 |      672
735.01/735.25	c  733s |      17 |  1663042 |   206532 |    59571      6 |        5 |      672
737.01/737.28	c  735s |      17 |  1664446 |   207032 |    59571      6 |        5 |      672
739.11/739.36	c  737s |      17 |  1666244 |   207532 |    59571      6 |        5 |      672
741.41/741.63	c  739s |      17 |  1669143 |   208132 |    59571      6 |        5 |      672
743.51/743.78	c  741s |      17 |  1671342 |   208732 |    59571      6 |        5 |      672
745.61/745.83	c  743s |      17 |  1673374 |   209332 |    59571      6 |        5 |      672
747.70/748.00	c  745s |      17 |  1674794 |   209932 |    59571      6 |        5 |      672
749.80/750.04	c  747s |      17 |  1676554 |   210532 |    59571      6 |        5 |      672
759.20/759.44	c  757s |      17 |  1677554 |   210632 |    59571      6 |        5 |      672
761.30/761.57	c  759s |      17 |  1681286 |   211232 |    59571      6 |        5 |      672
763.70/763.91	c  761s |      17 |  1685008 |   211732 |    59571      6 |        5 |      672
765.90/766.15	c  764s |      17 |  1689717 |   212232 |    59571      6 |        5 |      672
768.00/768.20	c  766s |      17 |  1692077 |   212832 |    59571      6 |        5 |      672
770.00/770.25	c  768s |      17 |  1695849 |   213332 |    59571      6 |        5 |      672
772.40/772.67	c  770s |      17 |  1698764 |   213632 |    59571      7 |        5 |      672
774.70/774.95	c  772s |      17 |  1702909 |   214232 |    59571      7 |        5 |      672
777.00/777.20	c  775s |      17 |  1706197 |   214932 |    59571      7 |        5 |      672
779.10/779.37	c  777s |      17 |  1711380 |   215532 |    59571      7 |        5 |      672
781.40/781.61	c  779s |      17 |  1715527 |   216332 |    59571      7 |        5 |      672
783.59/783.86	c  781s |      17 |  1720557 |   216932 |    59571      7 |        5 |      672
785.89/786.16	c  784s |      17 |  1724390 |   217632 |    59571      7 |        5 |      672
787.99/788.20	c  786s |      17 |  1727035 |   218332 |    59571      7 |        5 |      672
790.09/790.36	c  788s |      17 |  1730852 |   218932 |    59571      7 |        5 |      672
792.19/792.49	c  790s |      17 |  1734248 |   219532 |    59571      7 |        5 |      672
794.59/794.81	c  792s |      17 |  1738342 |   220232 |    59571      7 |        5 |      672
796.69/796.92	c  794s |      17 |  1742193 |   220832 |    59571      7 |        5 |      672
798.89/799.15	c  797s |      17 |  1745912 |   221532 |    59571      7 |        5 |      672
801.29/801.54	c  799s |      17 |  1748543 |   222232 |    59571      7 |        5 |      672
803.69/803.91	c  801s |      17 |  1751388 |   222832 |    59571      7 |        5 |      672
805.69/805.92	c  803s |      17 |  1753917 |   223332 |    59571      7 |        5 |      672
807.88/808.18	c  806s |      17 |  1757392 |   224032 |    59571      7 |        5 |      672
809.98/810.23	c  808s |      17 |  1761489 |   224732 |    59571      7 |        5 |      672
812.08/812.35	c  810s |      17 |  1763870 |   225332 |    59571      7 |        5 |      672
814.18/814.47	c  812s |      17 |  1766452 |   225932 |    59571      7 |        5 |      672
816.48/816.74	c  814s |      17 |  1769026 |   226532 |    59571      7 |        5 |      672
818.78/819.05	c  816s |      17 |  1770710 |   227132 |    59571      7 |        5 |      672
820.87/821.14	c  819s |      17 |  1772512 |   227732 |    59571      7 |        5 |      672
822.87/823.15	c  821s |      17 |  1774807 |   228332 |    59571      7 |        5 |      672
824.97/825.29	c  823s |      17 |  1776841 |   228932 |    59571      7 |        5 |      672
827.17/827.40	c  825s |      17 |  1778489 |   229532 |    59571      7 |        5 |      672
829.18/829.46	c  827s |      17 |  1779503 |   230032 |    59571      7 |        5 |      672
831.48/831.71	c  829s |      17 |  1780880 |   230632 |    59571      7 |        5 |      672
833.47/833.72	c  831s |      17 |  1782373 |   231132 |    59571      7 |        5 |      672
835.67/835.92	c  833s |      17 |  1786285 |   231632 |    59571      7 |        5 |      672
837.87/838.10	c  836s |      17 |  1788832 |   232232 |    59571      7 |        5 |      672
840.17/840.50	c  838s |      17 |  1793232 |   232832 |    59571      7 |        5 |      672
842.27/842.52	c  840s |      17 |  1796627 |   233232 |    59571      7 |        5 |      672
844.67/844.93	c  842s |      17 |  1802179 |   233732 |    59571      7 |        5 |      672
846.67/846.94	c  844s |      17 |  1805650 |   234232 |    59571      7 |        5 |      672
848.76/849.04	c  846s |      17 |  1808522 |   234832 |    59571      7 |        5 |      672
850.96/851.27	c  849s |      17 |  1812617 |   235332 |    59571      7 |        5 |      672
853.16/853.47	c  851s |      17 |  1816266 |   236032 |    59571      7 |        5 |      672
855.36/855.61	c  853s |      17 |  1820308 |   236532 |    59571      7 |        5 |      672
857.66/857.94	c  855s |      17 |  1824611 |   237032 |    59571      7 |        5 |      672
859.86/860.10	c  858s |      17 |  1827178 |   237632 |    59571      7 |        5 |      672
862.16/862.45	c  860s |      17 |  1832357 |   238132 |    59571      7 |        5 |      672
864.16/864.45	c  862s |      17 |  1837363 |   238632 |    59571      7 |        5 |      672
866.26/866.51	c  864s |      17 |  1840713 |   239232 |    59571      7 |        5 |      672
868.45/868.78	c  866s |      17 |  1844881 |   239732 |    59571      7 |        5 |      672
870.55/870.86	c  868s |      17 |  1847994 |   240232 |    59571      7 |        5 |      672
872.85/873.16	c  871s |      17 |  1851985 |   240832 |    59571      7 |        5 |      672
875.15/875.45	c  873s |      17 |  1855667 |   241332 |    59571      7 |        5 |      672
877.25/877.54	c  875s |      17 |  1858612 |   241932 |    59571      7 |        5 |      672
879.65/879.92	c  877s |      17 |  1861927 |   242432 |    59571      7 |        5 |      672
881.75/882.08	c  879s |      17 |  1864246 |   243032 |    59571      7 |        5 |      672
883.95/884.24	c  882s |      17 |  1867936 |   243532 |    59571      7 |        5 |      672
885.95/886.26	c  884s |      17 |  1870126 |   244132 |    59571      7 |        5 |      672
888.05/888.37	c  886s |      17 |  1872493 |   244532 |    59571      8 |        5 |      672
890.45/890.72	c  888s |      17 |  1874528 |   245032 |    59571      8 |        5 |      672
892.65/892.93	c  890s |      17 |  1877651 |   245632 |    59571      8 |        5 |      672
894.75/895.05	c  892s |      17 |  1881686 |   246332 |    59571      8 |        5 |      672
896.94/897.21	c  895s |      17 |  1884426 |   246932 |    59571      8 |        5 |      672
899.24/899.54	c  897s |      17 |  1887342 |   247532 |    59571      8 |        5 |      672
901.34/901.69	c  899s |      17 |  1890457 |   248232 |    59571      8 |        5 |      672
903.64/903.90	c  901s |      17 |  1893287 |   248932 |    59571      8 |        5 |      672
905.84/906.10	c  904s |      17 |  1895835 |   249632 |    59571      8 |        5 |      672
908.04/908.31	c  906s |      17 |  1898942 |   250332 |    59571      8 |        5 |      672
910.14/910.42	c  908s |      17 |  1900865 |   251032 |    59571      8 |        5 |      672
912.24/912.59	c  910s |      17 |  1903499 |   251732 |    59571      8 |        5 |      672
914.54/914.80	c  912s |      17 |  1905692 |   252432 |    59571      8 |        5 |      672
916.54/916.85	c  914s |      17 |  1907184 |   253032 |    59571      8 |        5 |      672
918.73/919.07	c  916s |      17 |  1908848 |   253732 |    59571      8 |        5 |      672
920.83/921.17	c  919s |      17 |  1910441 |   254532 |    59571      8 |        5 |      672
923.03/923.32	c  921s |      17 |  1912350 |   255432 |    59571      8 |        5 |      672
925.13/925.42	c  923s |      17 |  1913734 |   256332 |    59571      8 |        5 |      672
927.23/927.50	c  925s |      17 |  1915139 |   257232 |    59571      8 |        5 |      672
929.33/929.62	c  927s |      17 |  1916612 |   258132 |    59571      8 |        5 |      672
931.32/931.63	c  929s |      17 |  1917813 |   259032 |    59571      8 |        5 |      672
933.42/933.70	c  931s |      17 |  1919627 |   259932 |    59571      8 |        5 |      672
935.42/935.76	c  933s |      17 |  1921541 |   260732 |    59571      8 |        5 |      672
937.62/937.91	c  935s |      17 |  1922953 |   261432 |    59571      8 |        5 |      672
939.72/940.08	c  937s |      17 |  1924699 |   262232 |    59571      8 |        5 |      672
941.82/942.19	c  940s |      17 |  1925956 |   262932 |    59571      8 |        5 |      672
944.02/944.31	c  942s |      17 |  1927330 |   263632 |    59571      8 |        5 |      672
946.12/946.43	c  944s |      17 |  1928808 |   264332 |    59571      8 |        5 |      672
948.31/948.64	c  946s |      17 |  1930230 |   265032 |    59571      8 |        5 |      672
950.51/950.85	c  948s |      17 |  1932252 |   265732 |    59571      8 |        5 |      672
952.51/952.87	c  950s |      17 |  1933484 |   266332 |    59571      8 |        5 |      672
954.81/955.12	c  953s |      17 |  1934872 |   267032 |    59571      8 |        5 |      672
957.11/957.40	c  955s |      17 |  1936059 |   267732 |    59571      8 |        5 |      672
959.21/959.55	c  957s |      17 |  1937608 |   268332 |    59571      8 |        5 |      672
961.51/961.81	c  959s |      17 |  1939090 |   268932 |    59571      8 |        5 |      672
963.71/964.02	c  961s |      17 |  1940500 |   269532 |    59571      8 |        5 |      672
965.91/966.20	c  964s |      17 |  1941345 |   270032 |    59571      8 |        5 |      672
968.00/968.31	c  966s |      17 |  1942550 |   270632 |    59571      8 |        5 |      672
970.10/970.40	c  968s |      17 |  1944549 |   271232 |    59571      8 |        5 |      672
972.21/972.55	c  970s |      17 |  1946439 |   271832 |    59571      8 |        5 |      672
974.41/974.74	c  972s |      17 |  1948156 |   272432 |    59571      8 |        5 |      672
976.70/977.03	c  974s |      17 |  1949245 |   273032 |    59571      8 |        5 |      672
978.90/979.22	c  977s |      17 |  1950262 |   273632 |    59571      8 |        5 |      672
981.10/981.45	c  979s |      17 |  1952334 |   274232 |    59571      8 |        5 |      672
983.20/983.57	c  981s |      17 |  1953928 |   274832 |    59571      8 |        5 |      672
985.40/985.71	c  983s |      17 |  1955348 |   275432 |    59571      8 |        5 |      672
987.39/987.73	c  985s |      17 |  1956379 |   275932 |    59571      8 |        5 |      672
989.39/989.79	c  987s |      17 |  1957271 |   276432 |    59571      8 |        5 |      672
991.59/991.91	c  989s |      17 |  1958797 |   276832 |    59571      9 |        5 |      672
993.69/994.07	c  991s |      17 |  1960500 |   277532 |    59571      9 |        5 |      672
995.79/996.12	c  994s |      17 |  1963043 |   278232 |    59571      9 |        5 |      672
997.79/998.16	c  996s |      17 |  1964649 |   278932 |    59571      9 |        5 |      672
999.99/1000.37	c  998s |      17 |  1966108 |   279632 |    59571      9 |        5 |      672
1002.20/1002.56	c 1000s |      17 |  1968648 |   280232 |    59571      9 |        5 |      672
1004.20/1004.57	c 1002s |      17 |  1970873 |   280832 |    59571      9 |        5 |      672
1006.50/1006.85	c 1004s |      17 |  1972914 |   281532 |    59571      9 |        5 |      672
1008.69/1009.08	c 1006s |      17 |  1975670 |   282232 |    59571      9 |        5 |      672
1010.89/1011.29	c 1009s |      17 |  1977553 |   282832 |    59571      9 |        5 |      672
1013.39/1013.71	c 1011s |      17 |  1980331 |   283532 |    59571      9 |        5 |      672
1015.59/1015.98	c 1013s |      17 |  1981939 |   284132 |    59571      9 |        5 |      672
1017.79/1018.19	c 1016s |      17 |  1982918 |   284632 |    59571      9 |        5 |      672
1020.29/1020.68	c 1018s |      17 |  1983583 |   285132 |    59571      9 |        5 |      672
1022.69/1023.02	c 1020s |      17 |  1985409 |   285732 |    59571      9 |        5 |      672
1024.69/1025.07	c 1022s |      17 |  1988701 |   286432 |    59571      9 |        5 |      672
1027.09/1027.46	c 1025s |      17 |  1991561 |   287132 |    59571      9 |        5 |      672
1029.39/1029.75	c 1027s |      17 |  1993608 |   287732 |    59571      9 |        5 |      672
1031.69/1032.00	c 1029s |      17 |  1994937 |   288232 |    59571      9 |        5 |      672
1033.98/1034.30	c 1032s |      17 |  1995924 |   288732 |    59571      9 |        5 |      672
1035.99/1036.34	c 1034s |      17 |  1996486 |   289132 |    59571      9 |        5 |      672
1038.28/1038.62	c 1036s |      17 |  1998661 |   289732 |    59571      9 |        5 |      672
1040.39/1040.71	c 1038s |      17 |  2000716 |   290332 |    59571      9 |        5 |      672
1042.49/1042.86	c 1040s |      17 |  2002919 |   290932 |    59571      9 |        5 |      672
1044.69/1045.10	c 1042s |      17 |  2004690 |   291532 |    59571      9 |        5 |      672
1046.89/1047.22	c 1045s |      17 |  2006415 |   292232 |    59571      9 |        5 |      672
1049.09/1049.42	c 1047s |      17 |  2007769 |   292932 |    59571      9 |        5 |      672
1051.39/1051.75	c 1049s |      17 |  2009681 |   293632 |    59571      9 |        5 |      672
1053.68/1054.04	c 1051s |      17 |  2011849 |   294232 |    65529      9 |        5 |      672
1055.79/1056.18	c 1054s |      17 |  2013615 |   294832 |    65529      9 |        5 |      672
1058.08/1058.42	c 1056s |      17 |  2015742 |   295432 |    65529      9 |        5 |      672
1060.19/1060.54	c 1058s |      17 |  2018388 |   295932 |    65529      9 |        5 |      672
1061.29/1061.69	c 1059s |      18 |  2019415 |   296252 |    65529      9 |        5 |      672
1071.88/1072.23	c 1070s |      18 |  2021030 |   296352 |    65529      9 |        5 |      672
1074.38/1074.71	c 1072s |      18 |  2025459 |   296752 |    65529      9 |        5 |      672
1076.38/1076.77	c 1074s |      18 |  2028512 |   297152 |    65529      9 |        5 |      672
1078.68/1079.08	c 1076s |      18 |  2032117 |   297852 |    65529      9 |        5 |      672
1081.18/1081.53	c 1079s |      18 |  2036683 |   298352 |    65529      9 |        5 |      672
1083.28/1083.63	c 1081s |      18 |  2040901 |   298752 |    65529      9 |        5 |      672
1085.68/1086.08	c 1083s |      18 |  2042707 |   299252 |    65529      9 |        5 |      672
1087.78/1088.14	c 1086s |      18 |  2044951 |   299652 |    65529      9 |        5 |      672
1089.88/1090.29	c 1088s |      18 |  2048033 |   300052 |    65529      9 |        5 |      672
1092.28/1092.65	c 1090s |      18 |  2051794 |   300552 |    65529      9 |        5 |      672
1094.57/1094.94	c 1092s |      18 |  2055109 |   301052 |    65529      9 |        5 |      672
1096.87/1097.25	c 1095s |      18 |  2059202 |   301552 |    65529      9 |        5 |      672
1098.97/1099.35	c 1097s |      18 |  2062386 |   302052 |    65529      9 |        5 |      672
1100.97/1101.36	c 1099s |      18 |  2068307 |   302452 |    65529      9 |        5 |      672
1103.08/1103.43	c 1101s |      18 |  2071691 |   302852 |    65529      9 |        5 |      672
1105.18/1105.58	c 1103s |      18 |  2075715 |   303552 |    65529      9 |        5 |      672
1107.48/1107.80	c 1105s |      18 |  2080314 |   304052 |    65529      9 |        5 |      672
1109.58/1109.93	c 1107s |      18 |  2083706 |   304452 |    65529      9 |        5 |      672
1111.67/1112.09	c 1109s |      18 |  2088080 |   304952 |    65529      9 |        5 |      672
1113.87/1114.30	c 1112s |      18 |  2090478 |   305552 |    65529      9 |        5 |      672
1116.28/1116.61	c 1114s |      18 |  2094493 |   306052 |    65529      9 |        5 |      672
1118.27/1118.64	c 1116s |      18 |  2096684 |   306552 |    65529      9 |        5 |      672
1120.58/1120.94	c 1118s |      18 |  2100602 |   307152 |    65529      9 |        5 |      672
1122.97/1123.35	c 1121s |      18 |  2104346 |   307752 |    65529      9 |        5 |      672
1125.37/1125.79	c 1123s |      18 |  2108069 |   308252 |    65529      9 |        5 |      672
1127.57/1127.91	c 1125s |      18 |  2110965 |   308852 |    65529      9 |        5 |      672
1129.57/1129.96	c 1127s |      18 |  2115205 |   309352 |    65529      9 |        5 |      672
1131.77/1132.18	c 1130s |      18 |  2119591 |   309852 |    65529      9 |        5 |      672
1134.07/1134.45	c 1132s |      18 |  2123230 |   310452 |    65529      9 |        5 |      672
1136.17/1136.52	c 1134s |      18 |  2126334 |   311052 |    65529      9 |        5 |      672
1138.27/1138.65	c 1136s |      18 |  2129455 |   311552 |    65529      9 |        5 |      672
1140.77/1141.14	c 1139s |      18 |  2132923 |   312152 |    65529      9 |        5 |      672
1143.07/1143.40	c 1141s |      18 |  2136046 |   312752 |    65529      9 |        5 |      672
1145.36/1145.73	c 1143s |      18 |  2137795 |   312952 |    65529     10 |        5 |      672
1147.46/1147.85	c 1145s |      18 |  2140348 |   313552 |    65529     10 |        5 |      672
1149.46/1149.86	c 1147s |      18 |  2144039 |   314252 |    65529     10 |        5 |      672
1151.56/1151.92	c 1149s |      18 |  2147913 |   315052 |    65529     10 |        5 |      672
1153.67/1154.01	c 1151s |      18 |  2150620 |   315852 |    65529     10 |        5 |      672
1155.77/1156.19	c 1154s |      18 |  2153218 |   316752 |    65529     10 |        5 |      672
1157.86/1158.20	c 1156s |      18 |  2155280 |   317652 |    65529     10 |        5 |      672
1160.06/1160.40	c 1158s |      18 |  2157205 |   318052 |    65529     10 |        5 |      672
1162.06/1162.42	c 1160s |      18 |  2158326 |   318152 |    65529     10 |        5 |      672
1164.06/1164.43	c 1162s |      18 |  2161884 |   318552 |    65529     10 |        5 |      672
1166.06/1166.48	c 1164s |      18 |  2166442 |   319152 |    65529     10 |        5 |      672
1168.46/1168.83	c 1166s |      18 |  2171076 |   319852 |    65529     10 |        5 |      672
1170.56/1170.97	c 1168s |      18 |  2173524 |   320352 |    65529     10 |        5 |      672
1172.76/1173.14	c 1171s |      18 |  2178889 |   320852 |    65529     10 |        5 |      672
1175.06/1175.41	c 1173s |      18 |  2184050 |   321552 |    65529     10 |        5 |      672
1177.36/1177.72	c 1175s |      18 |  2190316 |   322152 |    65529     10 |        5 |      672
1179.65/1180.08	c 1177s |      18 |  2196743 |   322652 |    65529     10 |        5 |      672
1181.85/1182.21	c 1180s |      18 |  2201418 |   323152 |    65529     10 |        5 |      672
1184.05/1184.47	c 1182s |      18 |  2204134 |   323852 |    65529     10 |        5 |      672
1186.25/1186.64	c 1184s |      18 |  2207805 |   324352 |    65529     10 |        5 |      672
1188.45/1188.84	c 1186s |      18 |  2214324 |   324852 |    65529     10 |        5 |      672
1190.55/1190.96	c 1188s |      18 |  2218056 |   325452 |    65529     10 |        5 |      672
1192.95/1193.33	c 1191s |      18 |  2221217 |   326152 |    65529     10 |        5 |      672
1195.25/1195.70	c 1193s |      18 |  2225589 |   326652 |    65529     10 |        5 |      672
1197.45/1197.86	c 1195s |      18 |  2229747 |   327152 |    65529     10 |        5 |      672
1199.86/1200.27	c 1198s |      18 |  2234548 |   327952 |    65529     10 |        5 |      672
1202.06/1202.43	c 1200s |      18 |  2238957 |   328452 |    65529     10 |        5 |      672
1204.26/1204.68	c 1202s |      18 |  2243024 |   329152 |    65529     10 |        5 |      672
1206.36/1206.77	c 1204s |      18 |  2247695 |   329752 |    65529     10 |        5 |      672
1208.56/1208.97	c 1206s |      18 |  2253366 |   330252 |    65529     10 |        5 |      672
1210.76/1211.18	c 1209s |      18 |  2256183 |   330952 |    65529     10 |        5 |      672
1212.85/1213.24	c 1211s |      18 |  2259508 |   331452 |    65529     10 |        5 |      672
1214.85/1215.27	c 1213s |      18 |  2263357 |   331952 |    65529     10 |        5 |      672
1217.05/1217.47	c 1215s |      18 |  2267145 |   332652 |    65529     10 |        5 |      672
1219.65/1220.01	c 1217s |      18 |  2272845 |   333252 |    65529     10 |        5 |      672
1221.85/1222.25	c 1220s |      18 |  2277536 |   333852 |    65529     10 |        5 |      672
1224.25/1224.65	c 1222s |      18 |  2282586 |   334652 |    65529     10 |        5 |      672
1226.35/1226.79	c 1224s |      18 |  2286306 |   335252 |    65529     10 |        5 |      672
1228.56/1228.91	c 1226s |      18 |  2289449 |   335852 |    65529     10 |        5 |      672
1230.56/1230.99	c 1228s |      18 |  2292421 |   336452 |    65529     10 |        5 |      672
1232.95/1233.30	c 1231s |      18 |  2297576 |   337152 |    65529     10 |        5 |      672
1235.06/1235.43	c 1233s |      18 |  2301987 |   337652 |    65529     10 |        5 |      672
1237.26/1237.62	c 1235s |      18 |  2304914 |   338352 |    65529     10 |        5 |      672
1239.36/1239.72	c 1237s |      18 |  2307766 |   338952 |    65529     10 |        5 |      672
1241.56/1241.99	c 1239s |      18 |  2310966 |   339552 |    65529     10 |        5 |      672
1243.65/1244.09	c 1241s |      18 |  2315259 |   340252 |    65529     10 |        5 |      672
1245.85/1246.28	c 1244s |      18 |  2318297 |   340852 |    65529     10 |        5 |      672
1248.05/1248.50	c 1246s |      18 |  2321357 |   341552 |    65529     10 |        5 |      672
1250.25/1250.69	c 1248s |      18 |  2324118 |   342252 |    65529     10 |        5 |      672
1252.35/1252.72	c 1250s |      18 |  2328670 |   342952 |    65529     10 |        5 |      672
1254.35/1254.75	c 1252s |      18 |  2331786 |   343652 |    65529     10 |        5 |      672
1256.45/1256.85	c 1254s |      18 |  2335073 |   344352 |    65529     10 |        5 |      672
1258.55/1258.96	c 1256s |      18 |  2338041 |   345052 |    65529     10 |        5 |      672
1260.95/1261.31	c 1259s |      18 |  2340784 |   345852 |    65529     10 |        5 |      672
1263.15/1263.51	c 1261s |      18 |  2343313 |   346752 |    65529     10 |        5 |      672
1265.15/1265.59	c 1263s |      18 |  2345023 |   347552 |    65529     10 |        5 |      672
1268.75/1269.17	c 1267s |      18 |  2346669 |   348052 |    65529     11 |        5 |      672
1271.05/1271.45	c 1269s |      18 |  2350975 |   348452 |    65529     11 |        5 |      672
1273.25/1273.60	c 1271s |      18 |  2355872 |   349052 |    65529     11 |        5 |      672
1275.54/1275.94	c 1273s |      18 |  2360095 |   349552 |    65529     11 |        5 |      672
1277.64/1278.09	c 1275s |      18 |  2365106 |   350152 |    65529     11 |        5 |      672
1279.94/1280.31	c 1278s |      18 |  2369361 |   350752 |    65529     11 |        5 |      672
1282.14/1282.55	c 1280s |      18 |  2374361 |   351352 |    65529     11 |        5 |      672
1284.24/1284.62	c 1282s |      18 |  2377576 |   352052 |    65529     11 |        5 |      672
1286.24/1286.62	c 1284s |      18 |  2383316 |   352552 |    65529     11 |        5 |      672
1288.54/1288.97	c 1286s |      18 |  2393368 |   353152 |    65529     11 |        5 |      672
1290.84/1291.24	c 1289s |      18 |  2398287 |   353852 |    65529     11 |        5 |      672
1293.14/1293.57	c 1291s |      18 |  2404629 |   354452 |    65529     11 |        5 |      672
1295.24/1295.65	c 1293s |      18 |  2409628 |   355252 |    65529     11 |        5 |      672
1297.44/1297.87	c 1295s |      18 |  2414455 |   355852 |    65529     11 |        5 |      672
1299.64/1300.04	c 1297s |      18 |  2417881 |   356652 |    65529     11 |        5 |      672
1301.94/1302.34	c 1300s |      18 |  2423086 |   357252 |    65529     11 |        5 |      672
1303.94/1304.36	c 1302s |      18 |  2425995 |   357852 |    65529     11 |        5 |      672
1306.14/1306.56	c 1304s |      18 |  2429375 |   358552 |    65529     11 |        5 |      672
1308.44/1308.84	c 1306s |      18 |  2433797 |   359152 |    65529     11 |        5 |      672
1310.84/1311.21	c 1309s |      18 |  2437516 |   359952 |    65529     11 |        5 |      672
1312.94/1313.38	c 1311s |      18 |  2442130 |   360552 |    65529     11 |        5 |      672
1315.04/1315.42	c 1313s |      18 |  2444846 |   361152 |    65529     11 |        5 |      672
1317.04/1317.47	c 1315s |      18 |  2448573 |   361752 |    65529     11 |        5 |      672
1319.34/1319.75	c 1317s |      18 |  2453024 |   362552 |    65529     11 |        5 |      672
1321.34/1321.78	c 1319s |      18 |  2456157 |   363252 |    65529     11 |        5 |      672
1323.54/1323.98	c 1321s |      18 |  2459595 |   363952 |    65529     11 |        5 |      672
1325.84/1326.23	c 1324s |      18 |  2464202 |   364852 |    65529     11 |        5 |      672
1327.84/1328.25	c 1326s |      18 |  2467581 |   365552 |    65529     11 |        5 |      672
1330.04/1330.42	c 1328s |      18 |  2470288 |   366352 |    65529     11 |        5 |      672
1332.04/1332.47	c 1330s |      18 |  2472217 |   367152 |    65529     11 |        5 |      672
1334.54/1334.98	c 1332s |      18 |  2475928 |   368152 |    65529     11 |        5 |      672
1336.73/1337.13	c 1335s |      18 |  2480083 |   368652 |    65529     11 |        5 |      672
1338.93/1339.35	c 1337s |      18 |  2483532 |   369352 |    65529     11 |        5 |      672
1341.13/1341.59	c 1339s |      18 |  2487205 |   369852 |    65529     11 |        5 |      672
1343.43/1343.84	c 1341s |      18 |  2492706 |   370352 |    65529     11 |        5 |      672
1345.73/1346.13	c 1344s |      18 |  2498985 |   370952 |    65529     11 |        5 |      672
1347.93/1348.36	c 1346s |      18 |  2501909 |   371552 |    65529     11 |        5 |      672
1350.23/1350.60	c 1348s |      18 |  2506836 |   372052 |    65529     11 |        5 |      672
1352.23/1352.67	c 1350s |      18 |  2511298 |   372752 |    65529     11 |        5 |      672
1354.33/1354.71	c 1352s |      18 |  2515968 |   373252 |    65529     11 |        5 |      672
1356.63/1357.00	c 1354s |      18 |  2520737 |   373752 |    65529     11 |        5 |      672
1358.63/1359.07	c 1356s |      18 |  2524103 |   374452 |    65529     11 |        5 |      672
1360.83/1361.20	c 1359s |      18 |  2527195 |   375052 |    65529     11 |        5 |      672
1362.93/1363.34	c 1361s |      18 |  2529835 |   375552 |    65529     11 |        5 |      672
1365.23/1365.65	c 1363s |      18 |  2533162 |   376252 |    65529     11 |        5 |      672
1367.33/1367.78	c 1365s |      18 |  2536204 |   376752 |    65529     11 |        5 |      672
1369.53/1369.90	c 1367s |      18 |  2538409 |   377352 |    65529     11 |        5 |      672
1371.63/1372.05	c 1369s |      18 |  2543316 |   377852 |    65529     11 |        5 |      672
1373.93/1374.32	c 1372s |      18 |  2548949 |   378452 |    65529     11 |        5 |      672
1376.13/1376.57	c 1374s |      18 |  2554267 |   379352 |    65529     11 |        5 |      672
1378.23/1378.61	c 1376s |      18 |  2557072 |   379952 |    65529     11 |        5 |      672
1380.23/1380.67	c 1378s |      18 |  2561286 |   380452 |    65529     11 |        5 |      672
1382.23/1382.67	c 1380s |      18 |  2565258 |   381152 |    65529     11 |        5 |      672
1384.53/1384.96	c 1382s |      18 |  2569079 |   381652 |    65529     12 |        5 |      672
1386.73/1387.20	c 1385s |      18 |  2573325 |   382452 |    65529     12 |        5 |      672
1388.93/1389.36	c 1387s |      18 |  2577044 |   383252 |    65529     12 |        5 |      672
1391.13/1391.52	c 1389s |      18 |  2580656 |   383952 |    65529     12 |        5 |      672
1393.22/1393.60	c 1391s |      18 |  2584012 |   384752 |    65529     12 |        5 |      672
1395.32/1395.72	c 1393s |      18 |  2587406 |   385552 |    65529     12 |        5 |      672
1397.52/1397.92	c 1395s |      18 |  2591586 |   386352 |    65529     12 |        5 |      672
1399.72/1400.14	c 1398s |      18 |  2595153 |   387152 |    65529     12 |        5 |      672
1401.72/1402.14	c 1400s |      18 |  2597467 |   387852 |    65529     12 |        5 |      672
1403.92/1404.34	c 1402s |      18 |  2601741 |   388752 |    65529     12 |        5 |      672
1406.02/1406.43	c 1404s |      18 |  2605194 |   389752 |    65529     12 |        5 |      672
1408.02/1408.46	c 1406s |      18 |  2608557 |   390852 |    65529     12 |        5 |      672
1410.02/1410.49	c 1408s |      18 |  2609574 |   391252 |    65529     12 |        5 |      672
1412.13/1412.52	c 1410s |      18 |  2613708 |   391752 |    65529     12 |        5 |      672
1414.42/1414.81	c 1412s |      18 |  2618271 |   392252 |    65529     12 |        5 |      672
1416.82/1417.22	c 1415s |      18 |  2620598 |   392852 |    65529     12 |        5 |      672
1418.92/1419.33	c 1417s |      18 |  2623424 |   393452 |    65529     12 |        5 |      672
1421.02/1421.48	c 1419s |      18 |  2628025 |   393952 |    65529     12 |        5 |      672
1423.32/1423.70	c 1421s |      18 |  2632850 |   394452 |    65529     12 |        5 |      672
1425.42/1425.89	c 1423s |      18 |  2636276 |   395052 |    65529     12 |        5 |      672
1427.72/1428.17	c 1426s |      18 |  2640267 |   395552 |    65529     12 |        5 |      672
1429.82/1430.20	c 1428s |      18 |  2642844 |   396152 |    65529     12 |        5 |      672
1432.12/1432.50	c 1430s |      18 |  2646707 |   396752 |    65529     12 |        5 |      672
1434.32/1434.71	c 1432s |      18 |  2650698 |   397352 |    65529     12 |        5 |      672
1436.42/1436.81	c 1434s |      18 |  2652943 |   397952 |    65529     12 |        5 |      672
1438.72/1439.18	c 1437s |      18 |  2657489 |   398552 |    65529     12 |        5 |      672
1441.02/1441.42	c 1439s |      18 |  2661389 |   399152 |    65529     12 |        5 |      672
1443.22/1443.62	c 1441s |      18 |  2664504 |   399752 |    65529     12 |        5 |      672
1445.22/1445.68	c 1443s |      18 |  2666885 |   400352 |    65529     12 |        5 |      672
1447.32/1447.78	c 1445s |      18 |  2670834 |   400952 |    65529     12 |        5 |      672
1449.61/1450.03	c 1447s |      18 |  2673351 |   401652 |    65529     12 |        5 |      672
1451.62/1452.05	c 1449s |      18 |  2676145 |   402252 |    65529     12 |        5 |      672
1453.71/1454.10	c 1452s |      18 |  2679484 |   402952 |    65529     12 |        5 |      672
1455.91/1456.35	c 1454s |      18 |  2682813 |   403752 |    65529     12 |        5 |      672
1458.22/1458.69	c 1456s |      18 |  2685291 |   404552 |    65529     12 |        5 |      672
1460.31/1460.71	c 1458s |      18 |  2687501 |   405452 |    65529     12 |        5 |      672
1462.62/1463.06	c 1460s |      18 |  2692654 |   406052 |    65529     12 |        5 |      672
1465.11/1465.50	c 1463s |      18 |  2697152 |   406652 |    65529     12 |        5 |      672
1467.31/1467.76	c 1465s |      18 |  2699848 |   407352 |    65529     12 |        5 |      672
1469.71/1470.13	c 1468s |      18 |  2703939 |   407852 |    65529     12 |        5 |      672
1472.01/1472.50	c 1470s |      18 |  2707921 |   408352 |    65529     12 |        5 |      672
1474.21/1474.64	c 1472s |      18 |  2711677 |   408952 |    65529     12 |        5 |      672
1476.41/1476.80	c 1474s |      18 |  2716045 |   409552 |    65529     12 |        5 |      672
1478.51/1478.99	c 1476s |      18 |  2719214 |   410152 |    65529     12 |        5 |      672
1480.91/1481.36	c 1479s |      18 |  2722661 |   410652 |    65529     12 |        5 |      672
1483.21/1483.66	c 1481s |      18 |  2726359 |   411252 |    65529     12 |        5 |      672
1485.51/1485.94	c 1483s |      18 |  2729541 |   411852 |    65529     12 |        5 |      672
1487.71/1488.19	c 1486s |      18 |  2732963 |   412452 |    65529     12 |        5 |      672
1490.11/1490.60	c 1488s |      18 |  2737482 |   413152 |    65529     12 |        5 |      672
1492.21/1492.69	c 1490s |      18 |  2741065 |   413552 |    65529     12 |        5 |      672
1494.41/1494.90	c 1492s |      18 |  2743824 |   414052 |    65529     12 |        5 |      672
1497.51/1497.95	c 1495s |      18 |  2747644 |   414752 |    65529     13 |        5 |      672
1499.51/1499.99	c 1497s |      18 |  2750779 |   415352 |    65529     13 |        5 |      672
1501.81/1502.20	c 1500s |      18 |  2755012 |   416052 |    65529     13 |        5 |      672
1503.81/1504.20	c 1502s |      18 |  2759013 |   416652 |    65529     13 |        5 |      672
1505.91/1506.32	c 1504s |      18 |  2762622 |   417452 |    65529     13 |        5 |      672
1507.91/1508.34	c 1506s |      18 |  2766530 |   418252 |    65529     13 |        5 |      672
1509.91/1510.40	c 1508s |      18 |  2770585 |   419052 |    65529     13 |        5 |      672
1512.01/1512.48	c 1510s |      18 |  2773923 |   419752 |    65529     13 |        5 |      672
1514.10/1514.54	c 1512s |      18 |  2777805 |   420552 |    65529     13 |        5 |      672
1516.30/1516.75	c 1514s |      18 |  2781399 |   421352 |    65529     13 |        5 |      672
1518.50/1518.98	c 1516s |      18 |  2784213 |   422152 |    65529     13 |        5 |      672
1520.70/1521.18	c 1519s |      18 |  2787379 |   423052 |    65529     13 |        5 |      672
1522.90/1523.35	c 1521s |      18 |  2790379 |   423952 |    65529     13 |        5 |      672
1525.00/1525.41	c 1523s |      18 |  2793387 |   424852 |    65529     13 |        5 |      672
1527.10/1527.56	c 1525s |      18 |  2795083 |   425852 |    65529     13 |        5 |      672
1529.20/1529.61	c 1527s |      18 |  2797840 |   426352 |    65529     13 |        5 |      672
1531.60/1532.02	c 1529s |      18 |  2800768 |   426952 |    65529     13 |        5 |      672
1533.80/1534.21	c 1532s |      18 |  2804795 |   427452 |    65529     13 |        5 |      672
1535.90/1536.36	c 1534s |      18 |  2807929 |   428152 |    65529     13 |        5 |      672
1538.00/1538.41	c 1536s |      18 |  2811619 |   428652 |    65529     13 |        5 |      672
1540.00/1540.49	c 1538s |      18 |  2814298 |   429152 |    65529     13 |        5 |      672
1542.10/1542.51	c 1540s |      18 |  2817858 |   429752 |    65529     13 |        5 |      672
1544.20/1544.69	c 1542s |      18 |  2821118 |   430352 |    65529     13 |        5 |      672
1546.50/1546.94	c 1544s |      18 |  2824810 |   430952 |    65529     13 |        5 |      672
1548.80/1549.21	c 1547s |      18 |  2828458 |   431552 |    65529     13 |        5 |      672
1550.80/1551.29	c 1549s |      18 |  2831018 |   432152 |    65529     13 |        5 |      672
1553.20/1553.61	c 1551s |      18 |  2833931 |   432752 |    65529     13 |        5 |      672
1555.50/1555.97	c 1553s |      18 |  2836240 |   433352 |    65529     13 |        5 |      672
1557.60/1558.03	c 1555s |      18 |  2838753 |   433952 |    65529     13 |        5 |      672
1559.70/1560.17	c 1558s |      18 |  2841175 |   434552 |    65529     13 |        5 |      672
1561.80/1562.23	c 1560s |      18 |  2843819 |   435252 |    65529     13 |        5 |      672
1564.00/1564.46	c 1562s |      18 |  2846205 |   435952 |    65529     13 |        5 |      672
1566.30/1566.74	c 1564s |      18 |  2848434 |   436752 |    65529     13 |        5 |      672
1568.40/1568.80	c 1566s |      18 |  2850251 |   437552 |    65529     13 |        5 |      672
1570.40/1570.81	c 1568s |      18 |  2852172 |   438452 |    65529     13 |        5 |      672
1572.79/1573.28	c 1571s |      18 |  2856580 |   438952 |    65529     13 |        5 |      672
1575.09/1575.55	c 1573s |      18 |  2861338 |   439552 |    65529     13 |        5 |      672
1577.10/1577.58	c 1575s |      18 |  2864331 |   440152 |    65529     13 |        5 |      672
1579.49/1579.91	c 1577s |      18 |  2869238 |   440652 |    65529     13 |        5 |      672
1581.59/1582.04	c 1579s |      18 |  2871928 |   441252 |    65529     13 |        5 |      672
1583.79/1584.27	c 1582s |      18 |  2875198 |   441752 |    72082     13 |        5 |      672
1586.09/1586.59	c 1584s |      18 |  2879382 |   442252 |    72082     13 |        5 |      672
1588.49/1588.91	c 1586s |      18 |  2882709 |   442952 |    72082     13 |        5 |      672
1590.69/1591.13	c 1589s |      18 |  2886164 |   443452 |    72082     13 |        5 |      672
1592.69/1593.13	c 1591s |      18 |  2889083 |   444052 |    72082     13 |        5 |      672
1594.70/1595.16	c 1593s |      19 |  2891440 |   444482 |    72082     13 |        5 |      672
1596.90/1597.35	c 1595s |      19 |  2894679 |   444982 |    72082     13 |        5 |      672
1599.10/1599.53	c 1597s |      19 |  2897758 |   445582 |    72082     13 |        5 |      672
1601.30/1601.74	c 1599s |      19 |  2900237 |   446282 |    72082     13 |        5 |      672
1603.50/1603.91	c 1601s |      19 |  2902959 |   446882 |    72082     13 |        5 |      672
1605.79/1606.20	c 1604s |      19 |  2906867 |   447482 |    72082     13 |        5 |      672
1607.80/1608.28	c 1606s |      19 |  2909105 |   448082 |    72082     13 |        5 |      672
1610.10/1610.51	c 1608s |      19 |  2912796 |   448782 |    72082     13 |        5 |      672
1612.09/1612.60	c 1610s |      19 |  2915313 |   449382 |    72082     13 |        5 |      672
1614.39/1614.86	c 1612s |      19 |  2918005 |   450082 |    72082     13 |        5 |      672
1616.49/1616.91	c 1614s |      19 |  2920419 |   450782 |    72082     13 |        5 |      672
1618.59/1619.08	c 1616s |      19 |  2923281 |   451482 |    72082     13 |        5 |      672
1620.69/1621.12	c 1619s |      19 |  2925899 |   452182 |    72082     13 |        5 |      672
1622.79/1623.27	c 1621s |      19 |  2927879 |   452982 |    72082     13 |        5 |      672
1624.99/1625.45	c 1623s |      19 |  2929995 |   453882 |    72082     13 |        5 |      672
1627.49/1627.95	c 1625s |      19 |  2932463 |   454582 |    72082     14 |        5 |      672
1629.69/1630.11	c 1628s |      19 |  2936521 |   455182 |    72082     14 |        5 |      672
1631.99/1632.49	c 1630s |      19 |  2941158 |   455782 |    72082     14 |        5 |      672
1634.29/1634.76	c 1632s |      19 |  2944751 |   456382 |    72082     14 |        5 |      672
1636.69/1637.11	c 1635s |      19 |  2948442 |   457082 |    72082     14 |        5 |      672
1638.69/1639.19	c 1637s |      19 |  2953820 |   457682 |    72082     14 |        5 |      672
1640.89/1641.32	c 1639s |      19 |  2957112 |   458382 |    72082     14 |        5 |      672
1642.88/1643.39	c 1641s |      19 |  2960219 |   458982 |    72082     14 |        5 |      672
1644.98/1645.41	c 1643s |      19 |  2963138 |   459582 |    72082     14 |        5 |      672
1646.98/1647.41	c 1645s |      19 |  2966851 |   460182 |    72082     14 |        5 |      672
1649.08/1649.55	c 1647s |      19 |  2969704 |   460982 |    72082     14 |        5 |      672
1651.28/1651.73	c 1649s |      19 |  2972299 |   461682 |    72082     14 |        5 |      672
1653.38/1653.84	c 1651s |      19 |  2975305 |   462382 |    72082     14 |        5 |      672
1655.58/1656.05	c 1653s |      19 |  2978301 |   463182 |    72082     14 |        5 |      672
1657.68/1658.11	c 1656s |      19 |  2981888 |   463982 |    72082     14 |        5 |      672
1659.68/1660.12	c 1658s |      19 |  2984799 |   464782 |    72082     14 |        5 |      672
1661.79/1662.22	c 1660s |      19 |  2987487 |   465782 |    72082     14 |        5 |      672
1664.08/1664.59	c 1662s |      19 |  2990216 |   466382 |    72082     14 |        5 |      672
1666.19/1666.61	c 1664s |      19 |  2993856 |   466982 |    72082     14 |        5 |      672
1668.48/1668.93	c 1666s |      19 |  2997428 |   467782 |    72082     14 |        5 |      672
1670.59/1671.01	c 1668s |      19 |  3000518 |   468282 |    72082     14 |        5 |      672
1672.98/1673.44	c 1671s |      19 |  3003190 |   468982 |    72082     14 |        5 |      672
1675.08/1675.50	c 1673s |      19 |  3006062 |   469482 |    72082     14 |        5 |      672
1677.08/1677.59	c 1675s |      19 |  3009222 |   470082 |    72082     14 |        5 |      672
1679.38/1679.82	c 1677s |      19 |  3013160 |   470782 |    72082     14 |        5 |      672
1681.78/1682.29	c 1680s |      19 |  3016946 |   471482 |    72082     14 |        5 |      672
1684.08/1684.50	c 1682s |      19 |  3021071 |   472182 |    72082     14 |        5 |      672
1686.18/1686.63	c 1684s |      19 |  3023658 |   472882 |    72082     14 |        5 |      672
1688.38/1688.82	c 1686s |      19 |  3026773 |   473482 |    72082     14 |        5 |      672
1690.38/1690.87	c 1688s |      19 |  3029223 |   474182 |    72082     14 |        5 |      672
1692.68/1693.13	c 1691s |      19 |  3031953 |   474882 |    72082     14 |        5 |      672
1694.68/1695.15	c 1693s |      19 |  3035293 |   475682 |    72082     14 |        5 |      672
1696.68/1697.17	c 1695s |      19 |  3037521 |   476382 |    72082     14 |        5 |      672
1698.98/1699.43	c 1697s |      19 |  3039660 |   477182 |    72082     14 |        5 |      672
1701.08/1701.52	c 1699s |      19 |  3041433 |   477982 |    72082     14 |        5 |      672
1703.18/1703.62	c 1701s |      19 |  3043175 |   478982 |    72082     14 |        5 |      672
1705.28/1705.75	c 1703s |      19 |  3046053 |   479482 |    72082     14 |        5 |      672
1707.38/1707.83	c 1705s |      19 |  3048804 |   479982 |    72082     14 |        5 |      672
1709.68/1710.11	c 1708s |      19 |  3051983 |   480582 |    72082     14 |        5 |      672
1712.08/1712.50	c 1710s |      19 |  3054369 |   481182 |    72082     14 |        5 |      672
1714.08/1714.57	c 1712s |      19 |  3057135 |   481782 |    72082     14 |        5 |      672
1716.38/1716.83	c 1714s |      19 |  3059700 |   482382 |    72082     14 |        5 |      672
1718.68/1719.10	c 1717s |      19 |  3062094 |   482982 |    72082     14 |        5 |      672
1720.88/1721.30	c 1719s |      19 |  3065539 |   483582 |    72082     14 |        5 |      672
1723.29/1723.71	c 1721s |      19 |  3068657 |   484282 |    72082     14 |        5 |      672
1725.38/1725.89	c 1723s |      19 |  3071405 |   484982 |    72082     14 |        5 |      672
1727.48/1727.97	c 1725s |      19 |  3074060 |   485682 |    72082     14 |        5 |      672
1729.58/1730.04	c 1727s |      19 |  3076577 |   486382 |    72082     14 |        5 |      672
1731.68/1732.16	c 1730s |      19 |  3078604 |   487182 |    72082     14 |        5 |      672
1733.88/1734.35	c 1732s |      19 |  3081505 |   487782 |    72082     14 |        5 |      672
1736.08/1736.55	c 1734s |      19 |  3084649 |   488382 |    72082     14 |        5 |      672
1738.48/1738.93	c 1736s |      19 |  3088012 |   488982 |    72082     14 |        5 |      672
1740.68/1741.17	c 1739s |      19 |  3090797 |   489582 |    72082     14 |        5 |      672
1742.68/1743.18	c 1741s |      19 |  3094714 |   490082 |    72082     14 |        5 |      672
1744.88/1745.38	c 1743s |      19 |  3097272 |   490682 |    72082     14 |        5 |      672
1747.08/1747.55	c 1745s |      19 |  3100190 |   491182 |    72082     14 |        5 |      672
1749.48/1749.96	c 1747s |      19 |  3103759 |   491882 |    72082     14 |        5 |      672
1751.77/1752.24	c 1750s |      19 |  3106513 |   492582 |    72082     14 |        5 |      672
1753.87/1754.39	c 1752s |      19 |  3109087 |   493182 |    72082     15 |        5 |      672
1756.07/1756.59	c 1754s |      19 |  3113235 |   493882 |    72082     15 |        5 |      672
1758.37/1758.82	c 1756s |      19 |  3115549 |   494682 |    72082     15 |        5 |      672
1760.37/1760.87	c 1758s |      19 |  3118657 |   495482 |    72082     15 |        5 |      672
1762.47/1762.95	c 1760s |      19 |  3121001 |   496282 |    72082     15 |        5 |      672
1764.67/1765.15	c 1763s |      19 |  3123614 |   497182 |    72082     15 |        5 |      672
1766.67/1767.17	c 1765s |      19 |  3125744 |   498082 |    72082     15 |        5 |      672
1768.87/1769.37	c 1767s |      19 |  3127797 |   499082 |    72082     15 |        5 |      672
1770.97/1771.46	c 1769s |      19 |  3130506 |   499682 |    72082     15 |        5 |      672
1772.97/1773.47	c 1771s |      19 |  3134548 |   500282 |    72082     15 |        5 |      672
1775.27/1775.73	c 1773s |      19 |  3138888 |   501082 |    72082     15 |        5 |      672
1777.28/1777.76	c 1775s |      19 |  3141495 |   501682 |    72082     15 |        5 |      672
1779.27/1779.78	c 1777s |      19 |  3144784 |   502382 |    72082     15 |        5 |      672
1781.57/1782.05	c 1779s |      19 |  3147478 |   503082 |    72082     15 |        5 |      672
1783.67/1784.18	c 1782s |      19 |  3150413 |   503782 |    72082     15 |        5 |      672
1785.87/1786.38	c 1784s |      19 |  3153060 |   504582 |    72082     15 |        5 |      672
1788.17/1788.62	c 1786s |      19 |  3156449 |   505482 |    72082     15 |        5 |      672
1790.27/1790.73	c 1788s |      19 |  3158777 |   506482 |    72082     15 |        5 |      672
1792.37/1792.88	c 1790s |      19 |  3162626 |   507182 |    72082     15 |        5 |      672
1794.57/1795.05	c 1792s |      19 |  3166409 |   507882 |    72082     15 |        5 |      672
1796.77/1797.29	c 1795s |      19 |  3170275 |   508482 |    72082     15 |        5 |      672
1798.87/1799.30	c 1797s |      19 |  3173855 |   509182 |    72082     15 |        5 |      672

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

pid=21144
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: 1.26 1.44 1.79 3/179 21147
/proc/meminfo: memFree=30222856/32872528 swapFree=1497568/1644736
[pid=21147] ppid=21144 vsize=723388 CPUtime=0 cores=0,2,4,6
/proc/21147/stat : 21147 (toysat) R 21144 21147 15832 0 -1 4202496 2696 0 0 0 0 0 0 0 20 0 4 0 13953458 740749312 3057 33554432000 4194304 16246674 140733579051408 140733579050832 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21147/statm: 181359 3065 441 2943 0 178253 0
[pid=21147/tid=21148] ppid=21144 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21148/stat : 21148 (toysat) S 21144 21147 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953458 758575104 3126 33554432000 4194304 16246674 140733579051408 140439855279344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21147/tid=21149] ppid=21144 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21149/stat : 21149 (toysat) S 21144 21147 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953458 762769408 3144 33554432000 4194304 16246674 140733579051408 140439844789488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21147/tid=21150] ppid=21144 vsize=748988 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21150/stat : 21150 (toysat) S 21144 21147 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953459 766963712 3160 33554432000 4194304 16246674 140733579051408 140439726320816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10016 s]
/proc/loadavg: 1.26 1.44 1.79 3/179 21147
/proc/meminfo: memFree=30222856/32872528 swapFree=1497568/1644736
[pid=21147] ppid=21144 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/21147/stat : 21147 (toysat) R 21144 21147 15832 0 -1 4202496 27271 0 0 0 6 3 0 0 20 0 4 0 13953458 1333334016 27569 33554432000 4194304 16246674 140733579051408 140733579050720 7374276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21147/statm: 325521 27584 800 2943 0 322415 0
[pid=21147/tid=21148] ppid=21144 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21148/stat : 21148 (toysat) S 21144 21147 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953458 1333334016 27595 33554432000 4194304 16246674 140733579051408 140439855279344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21147/tid=21149] ppid=21144 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21149/stat : 21149 (toysat) S 21144 21147 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953458 1333334016 27606 33554432000 4194304 16246674 140733579051408 140439844789488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21147/tid=21150] ppid=21144 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21150/stat : 21150 (toysat) S 21144 21147 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953459 1333334016 27617 33554432000 4194304 16246674 140733579051408 140439726320816 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) 1302084

[startup+0.200478 s]
/proc/loadavg: 1.26 1.44 1.79 3/179 21147
/proc/meminfo: memFree=30222856/32872528 swapFree=1497568/1644736
[pid=21147] ppid=21144 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/21147/stat : 21147 (toysat) R 21144 21147 15832 0 -1 4202496 48611 0 0 0 13 6 0 0 20 0 4 0 13953458 1344868352 49420 33554432000 4194304 16246674 140733579051408 140733579034400 7364027 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21147/statm: 328337 49420 800 2943 0 325231 0
[pid=21147/tid=21148] ppid=21144 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21148/stat : 21148 (toysat) S 21144 21147 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953458 1344868352 49420 33554432000 4194304 16246674 140733579051408 140439855279344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21147/tid=21149] ppid=21144 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21149/stat : 21149 (toysat) S 21144 21147 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953458 1344868352 49420 33554432000 4194304 16246674 140733579051408 140439844789488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21147/tid=21150] ppid=21144 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21150/stat : 21150 (toysat) S 21144 21147 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953459 1344868352 49420 33554432000 4194304 16246674 140733579051408 140439726320816 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) 1313348

[startup+0.300491 s]
/proc/loadavg: 1.26 1.44 1.79 3/179 21147
/proc/meminfo: memFree=30222856/32872528 swapFree=1497568/1644736
[pid=21147] ppid=21144 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/21147/stat : 21147 (toysat) R 21144 21147 15832 0 -1 4202496 60111 0 0 0 22 7 0 0 20 0 4 0 13953458 1344868352 60920 33554432000 4194304 16246674 140733579051408 140733579034400 8058596 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21147/statm: 328337 60920 800 2943 0 325231 0
[pid=21147/tid=21148] ppid=21144 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21148/stat : 21148 (toysat) S 21144 21147 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953458 1344868352 60920 33554432000 4194304 16246674 140733579051408 140439855279344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21147/tid=21149] ppid=21144 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21149/stat : 21149 (toysat) S 21144 21147 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953458 1344868352 60920 33554432000 4194304 16246674 140733579051408 140439844789488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21147/tid=21150] ppid=21144 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21150/stat : 21150 (toysat) S 21144 21147 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953459 1344868352 60920 33554432000 4194304 16246674 140733579051408 140439726320816 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) 1313348

[startup+0.700366 s]
/proc/loadavg: 1.26 1.44 1.79 3/179 21147
/proc/meminfo: memFree=30222856/32872528 swapFree=1497568/1644736
[pid=21147] ppid=21144 vsize=1313348 CPUtime=0.68 cores=0,2,4,6
/proc/21147/stat : 21147 (toysat) R 21144 21147 15832 0 -1 4202496 68427 0 0 0 60 8 0 0 20 0 4 0 13953458 1344868352 69236 33554432000 4194304 16246674 140733579051408 140733579034400 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21147/statm: 328337 69236 801 2943 0 325231 0
[pid=21147/tid=21148] ppid=21144 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21148/stat : 21148 (toysat) S 21144 21147 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953458 1344868352 69236 33554432000 4194304 16246674 140733579051408 140439855279344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21147/tid=21149] ppid=21144 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21149/stat : 21149 (toysat) S 21144 21147 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953458 1344868352 69236 33554432000 4194304 16246674 140733579051408 140439844789488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21147/tid=21150] ppid=21144 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21150/stat : 21150 (toysat) S 21144 21147 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953459 1344868352 69236 33554432000 4194304 16246674 140733579051408 140439726320816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50034 s]
/proc/loadavg: 1.26 1.44 1.79 5/183 21151
/proc/meminfo: memFree=28816412/32872528 swapFree=1497568/1644736
[pid=21147] ppid=21144 vsize=1315396 CPUtime=1.48 cores=0,2,4,6
/proc/21147/stat : 21147 (toysat) R 21144 21147 15832 0 -1 4202496 228339 0 0 0 120 28 0 0 20 0 4 0 13953458 1346965504 229148 33554432000 4194304 16246674 140733579051408 140733579033280 12457726 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21147/statm: 328849 229160 835 2943 0 325743 0
[pid=21147/tid=21148] ppid=21144 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21148/stat : 21148 (toysat) S 21144 21147 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953458 1346965504 229164 33554432000 4194304 16246674 140733579051408 140439855279344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21147/tid=21149] ppid=21144 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21149/stat : 21149 (toysat) S 21144 21147 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953458 1346965504 229169 33554432000 4194304 16246674 140733579051408 140439844789488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21147/tid=21150] ppid=21144 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21150/stat : 21150 (toysat) S 21144 21147 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953459 1346965504 229177 33554432000 4194304 16246674 140733579051408 140439726320816 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) 1315396

[startup+3.10049 s]
/proc/loadavg: 1.26 1.44 1.79 4/183 21200
/proc/meminfo: memFree=29053752/32872528 swapFree=1497568/1644736
[pid=21147] ppid=21144 vsize=1321540 CPUtime=3.09 cores=0,2,4,6
/proc/21147/stat : 21147 (toysat) R 21144 21147 15832 0 -1 4202496 271047 0 0 0 275 34 0 0 20 0 4 0 13953458 1353256960 271856 33554432000 4194304 16246674 140733579051408 140733579034400 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21147/statm: 330385 271856 880 2943 0 327279 0
[pid=21147/tid=21148] ppid=21144 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21148/stat : 21148 (toysat) S 21144 21147 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953458 1353256960 271856 33554432000 4194304 16246674 140733579051408 140439855279344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21147/tid=21149] ppid=21144 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21149/stat : 21149 (toysat) S 21144 21147 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953458 1353256960 271856 33554432000 4194304 16246674 140733579051408 140439844789488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21147/tid=21150] ppid=21144 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21150/stat : 21150 (toysat) S 21144 21147 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953459 1353256960 271856 33554432000 4194304 16246674 140733579051408 140439726320816 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) 1321540

[startup+6.3004 s]
/proc/loadavg: 1.40 1.46 1.79 3/183 21249
/proc/meminfo: memFree=28410104/32872528 swapFree=1497568/1644736
[pid=21147] ppid=21144 vsize=1321540 CPUtime=6.29 cores=0,2,4,6
/proc/21147/stat : 21147 (toysat) R 21144 21147 15832 0 -1 4202496 271052 0 0 0 595 34 0 0 20 0 4 0 13953458 1353256960 271861 33554432000 4194304 16246674 140733579051408 140733579033280 5674772 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21147/statm: 330385 271861 883 2943 0 327279 0
[pid=21147/tid=21148] ppid=21144 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21148/stat : 21148 (toysat) S 21144 21147 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953458 1353256960 271861 33554432000 4194304 16246674 140733579051408 140439855279344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21147/tid=21149] ppid=21144 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21149/stat : 21149 (toysat) S 21144 21147 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953458 1353256960 271861 33554432000 4194304 16246674 140733579051408 140439844789488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21147/tid=21150] ppid=21144 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21150/stat : 21150 (toysat) S 21144 21147 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953459 1353256960 271861 33554432000 4194304 16246674 140733579051408 140439726320816 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) 1321540

[startup+12.7004 s]
/proc/loadavg: 1.45 1.47 1.79 3/183 21249
/proc/meminfo: memFree=28128692/32872528 swapFree=1497568/1644736
[pid=21147] ppid=21144 vsize=1321540 CPUtime=12.69 cores=0,2,4,6
/proc/21147/stat : 21147 (toysat) R 21144 21147 15832 0 -1 4202496 271055 0 0 0 1235 34 0 0 20 0 4 0 13953458 1353256960 271864 33554432000 4194304 16246674 140733579051408 140733579033280 12483664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21147/statm: 330385 271864 883 2943 0 327279 0
[pid=21147/tid=21148] ppid=21144 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21148/stat : 21148 (toysat) S 21144 21147 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953458 1353256960 271864 33554432000 4194304 16246674 140733579051408 140439855279344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21147/tid=21149] ppid=21144 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21149/stat : 21149 (toysat) S 21144 21147 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953458 1353256960 271864 33554432000 4194304 16246674 140733579051408 140439844789488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21147/tid=21150] ppid=21144 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21150/stat : 21150 (toysat) S 21144 21147 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953459 1353256960 271864 33554432000 4194304 16246674 140733579051408 140439726320816 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) 1321540

[startup+25.5005 s]
/proc/loadavg: 1.57 1.50 1.80 4/183 21249
/proc/meminfo: memFree=28127452/32872528 swapFree=1497568/1644736
[pid=21147] ppid=21144 vsize=1321540 CPUtime=25.49 cores=0,2,4,6
/proc/21147/stat : 21147 (toysat) R 21144 21147 15832 0 -1 4202496 271055 0 0 0 2515 34 0 0 20 0 4 0 13953458 1353256960 271864 33554432000 4194304 16246674 140733579051408 140733579033280 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21147/statm: 330385 271864 883 2943 0 327279 0
[pid=21147/tid=21148] ppid=21144 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21148/stat : 21148 (toysat) S 21144 21147 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953458 1353256960 271864 33554432000 4194304 16246674 140733579051408 140439855279344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21147/tid=21149] ppid=21144 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21149/stat : 21149 (toysat) S 21144 21147 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953458 1353256960 271864 33554432000 4194304 16246674 140733579051408 140439844789488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21147/tid=21150] ppid=21144 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21150/stat : 21150 (toysat) S 21144 21147 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953459 1353256960 271864 33554432000 4194304 16246674 140733579051408 140439726320816 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) 1321540

[startup+51.1005 s]
/proc/loadavg: 1.86 1.57 1.81 4/183 21249
/proc/meminfo: memFree=28121388/32872528 swapFree=1497568/1644736
[pid=21147] ppid=21144 vsize=1321540 CPUtime=51.08 cores=0,2,4,6
/proc/21147/stat : 21147 (toysat) R 21144 21147 15832 0 -1 4202496 271055 0 0 0 5074 34 0 0 20 0 4 0 13953458 1353256960 271864 33554432000 4194304 16246674 140733579051408 140733579033280 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21147/statm: 330385 271864 883 2943 0 327279 0
[pid=21147/tid=21148] ppid=21144 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21148/stat : 21148 (toysat) S 21144 21147 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953458 1353256960 271864 33554432000 4194304 16246674 140733579051408 140439855279344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21147/tid=21149] ppid=21144 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21149/stat : 21149 (toysat) S 21144 21147 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953458 1353256960 271864 33554432000 4194304 16246674 140733579051408 140439844789488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21147/tid=21150] ppid=21144 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21150/stat : 21150 (toysat) S 21144 21147 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953459 1353256960 271864 33554432000 4194304 16246674 140733579051408 140439726320816 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) 1321540

[startup+102.301 s]
/proc/loadavg: 2.15 1.69 1.84 3/183 21251
/proc/meminfo: memFree=28096964/32872528 swapFree=1497568/1644736
[pid=21147] ppid=21144 vsize=1321540 CPUtime=102.28 cores=0,2,4,6
/proc/21147/stat : 21147 (toysat) R 21144 21147 15832 0 -1 4202496 271055 0 0 0 10194 34 0 0 20 0 4 0 13953458 1353256960 271864 33554432000 4194304 16246674 140733579051408 140733579033280 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21147/statm: 330385 271864 883 2943 0 327279 0
[pid=21147/tid=21148] ppid=21144 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21148/stat : 21148 (toysat) S 21144 21147 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953458 1353256960 271864 33554432000 4194304 16246674 140733579051408 140439855279344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21147/tid=21149] ppid=21144 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21149/stat : 21149 (toysat) S 21144 21147 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953458 1353256960 271864 33554432000 4194304 16246674 140733579051408 140439844789488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21147/tid=21150] ppid=21144 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21150/stat : 21150 (toysat) S 21144 21147 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953459 1353256960 271864 33554432000 4194304 16246674 140733579051408 140439726320816 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) 1321540


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

/proc/21147/task/21150/stat : 21150 (toysat) S 21144 21147 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953459 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439726320816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1493572

[startup+1362.3 s]
/proc/loadavg: 2.38 2.24 2.11 3/184 21285
/proc/meminfo: memFree=27869736/32872528 swapFree=1497568/1644736
[pid=21147] ppid=21144 vsize=1493572 CPUtime=1361.93 cores=0,2,4,6
/proc/21147/stat : 21147 (toysat) R 21144 21147 15832 0 -1 4202496 314348 0 0 0 136145 48 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140733579033280 5661532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21147/statm: 373393 315135 888 2943 0 370287 0
[pid=21147/tid=21148] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21148/stat : 21148 (toysat) S 21144 21147 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439855279344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21147/tid=21149] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21149/stat : 21149 (toysat) S 21144 21147 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439844789488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21147/tid=21150] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21150/stat : 21150 (toysat) S 21144 21147 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953459 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439726320816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1493572

[startup+1422.3 s]
/proc/loadavg: 2.35 2.25 2.12 3/183 21286
/proc/meminfo: memFree=27869780/32872528 swapFree=1497568/1644736
[pid=21147] ppid=21144 vsize=1493572 CPUtime=1421.92 cores=0,2,4,6
/proc/21147/stat : 21147 (toysat) R 21144 21147 15832 0 -1 4202496 314348 0 0 0 142144 48 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140733579033280 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21147/statm: 373393 315135 888 2943 0 370287 0
[pid=21147/tid=21148] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21148/stat : 21148 (toysat) S 21144 21147 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439855279344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21147/tid=21149] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21149/stat : 21149 (toysat) S 21144 21147 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439844789488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21147/tid=21150] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21150/stat : 21150 (toysat) S 21144 21147 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953459 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439726320816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1493572

[startup+1482.3 s]
/proc/loadavg: 2.23 2.24 2.12 4/183 21287
/proc/meminfo: memFree=27869440/32872528 swapFree=1497568/1644736
[pid=21147] ppid=21144 vsize=1493572 CPUtime=1481.91 cores=0,2,4,6
/proc/21147/stat : 21147 (toysat) R 21144 21147 15832 0 -1 4202496 314348 0 0 0 148143 48 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140733579033280 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21147/statm: 373393 315135 888 2943 0 370287 0
[pid=21147/tid=21148] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21148/stat : 21148 (toysat) S 21144 21147 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439855279344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21147/tid=21149] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21149/stat : 21149 (toysat) S 21144 21147 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439844789488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21147/tid=21150] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21150/stat : 21150 (toysat) S 21144 21147 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953459 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439726320816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1493572

[startup+1542.31 s]
/proc/loadavg: 2.30 2.25 2.13 3/183 21288
/proc/meminfo: memFree=27869348/32872528 swapFree=1497568/1644736
[pid=21147] ppid=21144 vsize=1493572 CPUtime=1541.91 cores=0,2,4,6
/proc/21147/stat : 21147 (toysat) R 21144 21147 15832 0 -1 4202496 314348 0 0 0 154143 48 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140733579033280 5754966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21147/statm: 373393 315135 888 2943 0 370287 0
[pid=21147/tid=21148] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21148/stat : 21148 (toysat) S 21144 21147 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439855279344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21147/tid=21149] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21149/stat : 21149 (toysat) S 21144 21147 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439844789488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21147/tid=21150] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21150/stat : 21150 (toysat) S 21144 21147 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953459 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439726320816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1493572

[startup+1602.3 s]
/proc/loadavg: 2.39 2.28 2.15 3/183 21289
/proc/meminfo: memFree=27869380/32872528 swapFree=1497568/1644736
[pid=21147] ppid=21144 vsize=1493572 CPUtime=1601.89 cores=0,2,4,6
/proc/21147/stat : 21147 (toysat) R 21144 21147 15832 0 -1 4202496 314348 0 0 0 160141 48 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140733579033280 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21147/statm: 373393 315135 888 2943 0 370287 0
[pid=21147/tid=21148] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21148/stat : 21148 (toysat) S 21144 21147 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439855279344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21147/tid=21149] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21149/stat : 21149 (toysat) S 21144 21147 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439844789488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21147/tid=21150] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21150/stat : 21150 (toysat) S 21144 21147 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953459 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439726320816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1493572

[startup+1662.3 s]
/proc/loadavg: 2.26 2.26 2.14 3/183 21291
/proc/meminfo: memFree=27869416/32872528 swapFree=1497572/1644740
[pid=21147] ppid=21144 vsize=1493572 CPUtime=1661.88 cores=0,2,4,6
/proc/21147/stat : 21147 (toysat) R 21144 21147 15832 0 -1 4202496 314348 0 0 0 166140 48 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140733579033280 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21147/statm: 373393 315135 888 2943 0 370287 0
[pid=21147/tid=21148] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21148/stat : 21148 (toysat) S 21144 21147 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439855279344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21147/tid=21149] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21149/stat : 21149 (toysat) S 21144 21147 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439844789488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21147/tid=21150] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21150/stat : 21150 (toysat) S 21144 21147 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953459 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439726320816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1493572

[startup+1722.3 s]
/proc/loadavg: 2.25 2.25 2.15 3/183 21292
/proc/meminfo: memFree=27869572/32872528 swapFree=1497568/1644736
[pid=21147] ppid=21144 vsize=1493572 CPUtime=1721.88 cores=0,2,4,6
/proc/21147/stat : 21147 (toysat) R 21144 21147 15832 0 -1 4202496 314348 0 0 0 172139 49 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140733579033280 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21147/statm: 373393 315135 888 2943 0 370287 0
[pid=21147/tid=21148] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21148/stat : 21148 (toysat) S 21144 21147 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439855279344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21147/tid=21149] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21149/stat : 21149 (toysat) S 21144 21147 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439844789488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21147/tid=21150] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21150/stat : 21150 (toysat) S 21144 21147 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953459 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439726320816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1493572

[startup+1782.3 s]
/proc/loadavg: 2.24 2.25 2.15 3/183 21293
/proc/meminfo: memFree=27869344/32872528 swapFree=1497568/1644736
[pid=21147] ppid=21144 vsize=1493572 CPUtime=1781.87 cores=0,2,4,6
/proc/21147/stat : 21147 (toysat) R 21144 21147 15832 0 -1 4202496 314348 0 0 0 178138 49 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140733579033280 5677537 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21147/statm: 373393 315135 888 2943 0 370287 0
[pid=21147/tid=21148] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21148/stat : 21148 (toysat) S 21144 21147 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439855279344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21147/tid=21149] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21149/stat : 21149 (toysat) S 21144 21147 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439844789488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21147/tid=21150] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21150/stat : 21150 (toysat) S 21144 21147 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953459 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439726320816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1493572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.17 2.23 2.15 3/183 21293
/proc/meminfo: memFree=27869192/32872528 swapFree=1497568/1644736
[pid=21147] ppid=21144 vsize=1493572 CPUtime=1800.07 cores=0,2,4,6
/proc/21147/stat : 21147 (toysat) R 21144 21147 15832 0 -1 4202496 314348 0 0 0 179958 49 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140733579033280 5661964 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21147/statm: 373393 315135 888 2943 0 370287 0
[pid=21147/tid=21148] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21148/stat : 21148 (toysat) S 21144 21147 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439855279344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21147/tid=21149] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21149/stat : 21149 (toysat) S 21144 21147 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439844789488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21147/tid=21150] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21150/stat : 21150 (toysat) S 21144 21147 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953459 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439726320816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1493572

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

[startup+1800.5 s]
/proc/loadavg: 2.17 2.23 2.15 3/183 21293
/proc/meminfo: memFree=27869192/32872528 swapFree=1497568/1644736
[pid=21147] ppid=21144 vsize=1493572 CPUtime=1800.07 cores=0,2,4,6
/proc/21147/stat : 21147 (toysat) R 21144 21147 15832 0 -1 4202496 314348 0 0 0 179958 49 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140733579033280 5661964 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21147/statm: 373393 315135 888 2943 0 370287 0
[pid=21147/tid=21148] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21148/stat : 21148 (toysat) S 21144 21147 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439855279344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21147/tid=21149] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21149/stat : 21149 (toysat) S 21144 21147 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953458 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439844789488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21147/tid=21150] ppid=21144 vsize=1493572 CPUtime=0 cores=0,2,4,6
/proc/21147/task/21150/stat : 21150 (toysat) S 21144 21147 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953459 1529417728 315135 33554432000 4194304 16246674 140733579051408 140439726320816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1493572

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.58
CPU system time (s): 0.492925
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 1493572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.492925
maximum resident set size= 1260540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 314348
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= 295
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.98363 second user time and 18.2402 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-17 01:17:46
IDJOB=4097947
IDBENCH=107830
IDSOLVER=2542
FILE ID=node124/4097947-1466119066
RUNJOBID= node124-1466119066-21114
PBS_JOBID= 19904063
Free space on /tmp= 71700 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_13.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097947-1466119066/watcher-4097947-1466119066 -o /tmp/evaluation-result-4097947-1466119066/solver-4097947-1466119066 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466119066-21114 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097947-1466119066.opb

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

MD5SUM BENCH= 33399b9fd213ab3fb29f26b2f1270bc6
RANDOM SEED=2084908005

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30250548 kB
Buffers:           47924 kB
Cached:           178428 kB
SwapCached:         2460 kB
Active:           174636 kB
Inactive:          95736 kB
Active(anon):      43964 kB
Inactive(anon):     2184 kB
Active(file):     130672 kB
Inactive(file):    93552 kB
Unevictable:     1644736 kB
Mlocked:         1497568 kB
SwapTotal:      67108856 kB
SwapFree:       67099600 kB
Dirty:             36488 kB
Writeback:             0 kB
AnonPages:       1684840 kB
Mapped:             8648 kB
Shmem:                 0 kB
Slab:             570312 kB
SReclaimable:      14852 kB
SUnreclaim:       555460 kB
KernelStack:        1408 kB
PageTables:         8976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2771840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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= 71684 MiB
End job on node124 at 2016-06-17 01:47:47