Trace number 4115925

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.07 1800.61

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-26T14:44:54+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-4115925-1466945093.opb"]
0.00/0.01	c use --random-gen="1787959536 3556604146 3291183059 1664273580 2412242885 1462658831 215112787 3548960238 4059861416 3823139658 2256607192 2073885885 2457592976 2924686911 1595735970 3736523153 615615310 1646654538 2888895921 4289160303 316498962 586133046 350501036 263396964 1854616157 563908884 3024717872 393555269 2517552910 1693467730 411134058 2669255331 935777372 3328860189 21555337 3311345810 3256466347 2874886095 730546666 2942215461 2245159769 1109494906 2257639594 128065506 3842077733 324190946 3034985480 4153886256 1426082748 3730907752 3725447994 3781018329 3007505947 2952376291 1441016761 2880128091 212725648 572610450 3027634254 1650232409 164499419 607210058 3493150069 3511948901 4022835007 2484659264 925067579 95826681 9330369 3809425090 4206576002 2225534515 2780622127 3327893333 1856864866 1538755344 2486047886 1715031933 1428727846 241899014 3925103165 1122007156 2813410638 3589293616 2500385354 390615062 3594194909 3132366602 4169872843 3252920001 450852736 3524501538 917479589 4024667567 3328083427 1005793600 1477037088 49059705 4202569160 1401763123 3469307307 3596591706 1744944149 473004795 2649824229 188673028 3461156864 3826340010 1637683203 2023671603 4258632195 3913446937 1268395336 1255242310 921803513 540734207 4226958035 1347842698 1586380539 2009025737 1150975612 2180886202 541496779 3819898376 1801590966 1984550364 1583743102 1648890069 1349118343 1214008418 3822159685 1776104867 2111076714 3657838650 3334796825 1095344751 4010432330 2597843975 252614507 252947317 3871406366 2765560057 2273974796 4191222484 1352025787 4076114625 4182763699 2081382474 2877548203 879014660 2036398004 3826114961 1385108744 1509413739 3177383295 1809464109 1071210198 848915585 1490830853 3947775667 1899286211 1301945124 3589239997 295813171 1120552415 3730930467 3602554986 3688326211 670089397 1542220451 3520943200 1872523902 184760785 1743415479 2379036664 3217504275 2669275291 4190095525 1268662073 1352575035 3250162855 2602764390 243409114 3201247119 851483353 2880273291 429683938 3691746948 3096846910 4174794864 3332914158 3208142137 983183160 1538380214 1577658712 551254406 2898430770 3509599185 384694196 859180578 3500890433 2035054720 4080750891 974235558 3851893028 1186436463 3042324679 3289702054 1849410401 2707681939 2561751364 1117007567 4159468315 2749288296 3761717901 2054971252 3819715041 2660626606 934510447 4034337753 2131752967 318187554 1912888192 1131712325 1174546597 1986564603 1140307443 2554403869 1846623678 2294662665 926284675 2572707984 3237006645 1671026126 3577007816 568932026 1548962760 2085433422 2373519189 2148224751 2409266447 3184061575 3423078501 3615710304 2405989728 1679457396 3878109325 3517893174 4206014741 2314417688 898022852 3431236538 1374354367 2662988161 1752672190 3252887459 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9488
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      687 |        0
0.28/0.36	c  0.1s |       1 |     1488 |      100 |     4565      0 |      688 |      456
0.49/0.50	c  0.2s |       2 |     2971 |      250 |     5022      0 |      688 |      456
0.69/0.74	c  0.5s |       3 |     4966 |      475 |     5525      0 |      689 |      456
0.99/1.03	c  0.8s |       4 |     9154 |      813 |     6078      0 |      689 |      456
1.59/1.62	c  1.3s |       5 |    11723 |     1320 |     6686      0 |      689 |      456
1.98/2.08	c  1.8s |       6 |    17569 |     2081 |     8091      0 |      689 |      456
2.68/2.79	c  2.5s |       7 |    23169 |     3223 |     8901      0 |      689 |      456
4.08/4.19	c  3.9s |       8 |    30780 |     4936 |     9792      0 |      689 |      456
6.08/6.18	c  5.9s |       9 |    38044 |     7506 |    10772      0 |      689 |      456
8.18/8.20	c  7.9s |       9 |    46464 |     9706 |    10772      0 |      689 |      456
9.68/9.77	c  9.5s |      10 |    49690 |    11361 |    11850      0 |      689 |      456
11.68/11.79	c 11.5s |      10 |    57209 |    13361 |    11850      0 |      689 |      456
13.78/13.83	c 13.6s |      10 |    62397 |    15461 |    11850      1 |      689 |      456
15.39/15.49	c 15.2s |      11 |    67254 |    17144 |    13036      1 |      689 |      456
17.78/17.87	c 17.6s |      11 |    71094 |    18544 |    13036      1 |      689 |      456
19.89/19.95	c 19.7s |      11 |    72136 |    19344 |    13036      1 |      689 |      456
21.88/21.96	c 21.7s |      11 |    73516 |    20144 |    13036      1 |      689 |      456
24.08/24.19	c 23.9s |      11 |    75035 |    21344 |    13036      1 |      689 |      456
26.28/26.30	c 26.0s |      11 |    76056 |    22244 |    13036      1 |      689 |      456
28.38/28.45	c 28.2s |      11 |    77053 |    23144 |    13036      1 |      689 |      456
30.58/30.65	c 30.4s |      11 |    77939 |    23944 |    13036      1 |      689 |      456
32.69/32.72	c 32.4s |      11 |    80316 |    24544 |    13036      2 |      689 |      456
34.09/34.15	c 33.9s |      12 |    83945 |    25819 |    14340      2 |      689 |      456
36.09/36.19	c 35.9s |      12 |    91979 |    28319 |    14340      2 |      689 |      456
38.29/38.30	c 38.0s |      12 |    93766 |    29519 |    14340      2 |      689 |      456
40.29/40.31	c 40.0s |      12 |    96024 |    31019 |    14340      2 |      689 |      456
42.39/42.44	c 42.2s |      12 |    97569 |    32219 |    14340      2 |      689 |      456
44.39/44.45	c 44.2s |      12 |    98940 |    33319 |    14340      2 |      689 |      456
46.48/46.52	c 46.2s |      12 |   100016 |    34219 |    14340      3 |      689 |      456
48.50/48.52	c 48.2s |      12 |   101051 |    35119 |    14340      3 |      689 |      456
50.59/50.61	c 50.3s |      12 |   101973 |    35919 |    14340      3 |      689 |      456
52.58/52.64	c 52.4s |      12 |   103038 |    36819 |    14340      3 |      689 |      456
54.68/54.70	c 54.4s |      12 |   103952 |    37619 |    14340      3 |      689 |      456
56.88/56.92	c 56.6s |      12 |   105019 |    38519 |    14340      3 |      689 |      456
57.78/57.82	c 57.5s |      13 |   105374 |    38832 |    15775      3 |      689 |      456
59.78/59.87	c 59.6s |      13 |   109162 |    40332 |    15775      3 |      689 |      456
61.88/61.93	c 61.7s |      13 |   110549 |    41532 |    15775      3 |      689 |      456
63.98/64.05	c 63.8s |      13 |   112142 |    42832 |    15775      3 |      689 |      456
66.09/66.14	c 65.9s |      13 |   113435 |    43932 |    15775      3 |      689 |      456
68.19/68.26	c 68.0s |      13 |   115631 |    45132 |    15775      4 |      689 |      456
70.18/70.27	c 70.0s |      13 |   119159 |    46732 |    15775      4 |      689 |      456
72.28/72.37	c 72.1s |      13 |   122056 |    48332 |    15775      4 |      689 |      456
74.48/74.54	c 74.3s |      13 |   123463 |    49632 |    15775      4 |      689 |      456
76.48/76.58	c 76.3s |      13 |   124959 |    50932 |    15775      4 |      689 |      456
78.58/78.69	c 78.4s |      13 |   126278 |    52132 |    15775      4 |      689 |      456
80.78/80.80	c 80.5s |      13 |   127471 |    53232 |    15775      4 |      689 |      456
82.88/82.99	c 82.7s |      13 |   128717 |    54332 |    15775      5 |      689 |      456
84.98/85.09	c 84.8s |      13 |   129840 |    55332 |    15775      5 |      689 |      456
87.18/87.20	c 86.9s |      13 |   130929 |    56332 |    15775      5 |      689 |      456
89.38/89.46	c 89.2s |      13 |   131988 |    57332 |    15775      5 |      689 |      456
91.58/91.62	c 91.3s |      13 |   132832 |    58132 |    17353      5 |      689 |      456
92.08/92.13	c 91.9s |      14 |   133057 |    58352 |    17353      5 |      689 |      456
94.18/94.25	c 94.0s |      14 |   135583 |    60152 |    17353      5 |      689 |      456
96.27/96.33	c 96.1s |      14 |   146662 |    62952 |    17353      5 |      689 |      456
98.57/98.67	c 98.4s |      14 |   150304 |    64652 |    17353      6 |      689 |      456
100.77/100.80	c  100s |      14 |   152811 |    66052 |    17353      6 |      689 |      456
102.87/102.91	c  102s |      14 |   154578 |    67352 |    17353      6 |      689 |      456
104.87/104.96	c  104s |      14 |   156151 |    68552 |    17353      6 |      689 |      456
106.97/107.10	c  106s |      14 |   158455 |    69752 |    17353      6 |      689 |      456
109.07/109.13	c  108s |      14 |   159583 |    70652 |    17353      6 |      689 |      456
111.18/111.21	c  110s |      14 |   160558 |    71452 |    17353      6 |      689 |      456
113.28/113.40	c  113s |      14 |   162150 |    72552 |    17353      6 |      689 |      456
115.37/115.50	c  115s |      14 |   163515 |    73552 |    17353      6 |      689 |      456
117.47/117.51	c  117s |      14 |   164627 |    74452 |    17353      6 |      689 |      456
119.47/119.56	c  119s |      14 |   165606 |    75252 |    17353      7 |      689 |      456
121.57/121.64	c  121s |      14 |   166852 |    76252 |    17353      7 |      689 |      456
123.77/123.83	c  123s |      14 |   168093 |    77252 |    17353      7 |      689 |      456
125.87/125.97	c  125s |      14 |   169164 |    78152 |    17353      7 |      689 |      456
128.07/128.14	c  127s |      14 |   170229 |    79052 |    17353      7 |      689 |      456
130.27/130.35	c  130s |      14 |   171262 |    79952 |    17353      7 |      689 |      456
132.37/132.43	c  132s |      14 |   172120 |    80652 |    17353      7 |      689 |      456
134.47/134.57	c  134s |      14 |   172944 |    81352 |    17353      7 |      689 |      456
136.67/136.72	c  136s |      14 |   173730 |    82052 |    17353      7 |      689 |      456
138.77/138.81	c  138s |      14 |   174536 |    82752 |    17353      7 |      689 |      456
140.78/140.86	c  140s |      14 |   175408 |    83452 |    17353      7 |      689 |      456
142.87/142.95	c  142s |      14 |   176250 |    84152 |    17353      7 |      689 |      456
144.97/145.00	c  144s |      14 |   177055 |    84852 |    17353      7 |      689 |      456
147.07/147.14	c  146s |      14 |   177772 |    85452 |    17353      8 |      689 |      456
149.27/149.30	c  149s |      14 |   178781 |    86252 |    17353      8 |      689 |      456
151.27/151.39	c  151s |      14 |   179889 |    87152 |    19089      8 |      689 |      456
152.37/152.49	c  152s |      15 |   180471 |    87632 |    19089      8 |      689 |      456
154.47/154.56	c  154s |      15 |   188261 |    89732 |    19089      8 |      689 |      456
156.57/156.60	c  156s |      15 |   191433 |    91532 |    19089      8 |      689 |      456
158.56/158.69	c  158s |      15 |   193555 |    93032 |    19089      8 |      689 |      456
160.76/160.83	c  160s |      15 |   195437 |    94332 |    19089      8 |      689 |      456
162.96/163.04	c  162s |      15 |   196689 |    95432 |    19089      8 |      689 |      456
164.97/165.05	c  164s |      15 |   197998 |    96532 |    19089      8 |      689 |      456
167.17/167.29	c  167s |      15 |   199089 |    97432 |    19089      9 |      689 |      456
169.26/169.36	c  169s |      15 |   200357 |    98432 |    19089      9 |      689 |      456
171.36/171.41	c  171s |      15 |   201789 |    99532 |    19089      9 |      689 |      456
173.36/173.48	c  173s |      15 |   203055 |   100432 |    19089      9 |      689 |      456
175.56/175.62	c  175s |      15 |   204490 |   101532 |    19089      9 |      689 |      456
177.56/177.63	c  177s |      15 |   205581 |   102432 |    19089      9 |      689 |      456
179.66/179.74	c  179s |      15 |   206367 |   103132 |    19089      9 |      689 |      456
181.76/181.88	c  181s |      15 |   207441 |   104032 |    19089      9 |      689 |      456
183.96/184.01	c  183s |      15 |   208219 |   104732 |    19089      9 |      689 |      456
186.06/186.18	c  185s |      15 |   209156 |   105532 |    19089      9 |      689 |      456
188.36/188.43	c  188s |      15 |   210064 |   106332 |    19089      9 |      689 |      456
190.46/190.56	c  190s |      15 |   210832 |   107032 |    19089      9 |      689 |      456
192.66/192.75	c  192s |      15 |   211625 |   107732 |    19089      9 |      689 |      456
194.86/194.96	c  194s |      15 |   212698 |   108532 |    19089      9 |      689 |      456
197.06/197.17	c  196s |      15 |   213941 |   109432 |    19089     10 |      689 |      456
199.26/199.37	c  199s |      15 |   214971 |   110332 |    19089     10 |      689 |      456
201.26/201.39	c  201s |      15 |   215915 |   111132 |    19089     10 |      689 |      456
203.26/203.39	c  203s |      15 |   216763 |   111832 |    19089     10 |      689 |      456
205.35/205.44	c  205s |      15 |   217789 |   112632 |    19089     10 |      689 |      456
207.45/207.57	c  207s |      15 |   218776 |   113432 |    19089     10 |      689 |      456
209.65/209.73	c  209s |      15 |   219570 |   114132 |    19089     10 |      689 |      456
211.75/211.84	c  211s |      15 |   220422 |   114832 |    19089     10 |      689 |      456
213.85/213.91	c  213s |      15 |   221252 |   115532 |    19089     10 |      689 |      456
216.05/216.11	c  215s |      15 |   222245 |   116332 |    19089     10 |      689 |      456
218.05/218.15	c  217s |      15 |   222912 |   116932 |    19089     10 |      689 |      456
220.25/220.33	c  220s |      15 |   223571 |   117532 |    19089     10 |      689 |      456
222.45/222.55	c  222s |      15 |   224260 |   118132 |    19089     10 |      689 |      456
224.46/224.59	c  224s |      15 |   224933 |   118732 |    19089     10 |      689 |      456
226.75/226.89	c  226s |      15 |   225731 |   119432 |    19089     10 |      689 |      456
228.95/229.09	c  228s |      15 |   226400 |   120032 |    19089     10 |      689 |      456
231.15/231.25	c  230s |      15 |   227059 |   120632 |    19089     11 |      689 |      456
233.26/233.35	c  233s |      15 |   227851 |   121332 |    19089     11 |      689 |      456
235.46/235.57	c  235s |      15 |   228726 |   122132 |    19089     11 |      689 |      456
237.45/237.58	c  237s |      15 |   229537 |   122832 |    19089     11 |      689 |      456
239.55/239.68	c  239s |      15 |   230301 |   123532 |    19089     11 |      689 |      456
241.85/241.92	c  241s |      15 |   231084 |   124232 |    19089     11 |      689 |      456
244.05/244.20	c  243s |      15 |   231850 |   124932 |    19089     11 |      689 |      456
246.36/246.45	c  246s |      15 |   232500 |   125532 |    19089     11 |      689 |      456
248.35/248.45	c  248s |      15 |   233158 |   126132 |    19089     11 |      689 |      456
250.45/250.52	c  250s |      15 |   233834 |   126732 |    19089     11 |      689 |      456
252.75/252.82	c  252s |      15 |   234628 |   127432 |    19089     11 |      689 |      456
254.95/255.07	c  254s |      15 |   235386 |   128132 |    19089     11 |      689 |      456
257.25/257.40	c  257s |      15 |   236067 |   128732 |    19089     11 |      689 |      456
259.35/259.48	c  259s |      15 |   236795 |   129332 |    19089     11 |      689 |      456
261.54/261.67	c  261s |      15 |   237487 |   129932 |    19089     11 |      689 |      456
263.95/264.09	c  263s |      15 |   238286 |   130632 |    19089     11 |      689 |      456
266.25/266.33	c  266s |      15 |   239478 |   131532 |    20998     11 |      689 |      456
266.25/266.39	c  266s |      16 |   239501 |   131552 |    20998     11 |      689 |      456
268.45/268.52	c  268s |      16 |   242438 |   132752 |    20998     12 |      689 |      456
270.44/270.55	c  270s |      16 |   244245 |   134252 |    20998     12 |      689 |      456
272.44/272.59	c  272s |      16 |   246276 |   135852 |    20998     12 |      689 |      456
274.64/274.71	c  274s |      16 |   247944 |   137252 |    20998     12 |      689 |      456
276.74/276.85	c  276s |      16 |   249561 |   138652 |    20998     12 |      689 |      456
278.84/278.98	c  278s |      16 |   250813 |   139752 |    20998     12 |      689 |      456
281.04/281.11	c  280s |      16 |   251910 |   140752 |    20998     12 |      689 |      456
283.14/283.21	c  282s |      16 |   252884 |   141652 |    20998     12 |      689 |      456
285.14/285.21	c  284s |      16 |   254046 |   142652 |    20998     12 |      689 |      456
287.24/287.38	c  287s |      16 |   255415 |   143752 |    20998     12 |      689 |      456
289.54/289.69	c  289s |      16 |   256340 |   144552 |    20998     13 |      689 |      456
291.64/291.71	c  291s |      16 |   257422 |   145452 |    20998     13 |      689 |      456
293.65/293.72	c  293s |      16 |   258182 |   146152 |    20998     13 |      689 |      456
295.64/295.79	c  295s |      16 |   259319 |   147052 |    20998     13 |      689 |      456
297.74/297.88	c  297s |      16 |   261064 |   148152 |    20998     13 |      689 |      456
299.84/299.95	c  299s |      16 |   262810 |   149352 |    20998     13 |      689 |      456
301.94/302.02	c  301s |      16 |   264479 |   150552 |    20998     13 |      689 |      456
304.04/304.13	c  303s |      16 |   265901 |   151652 |    20998     13 |      689 |      456
306.24/306.32	c  306s |      16 |   267170 |   152652 |    20998     13 |      689 |      456
308.24/308.33	c  308s |      16 |   268191 |   153452 |    20998     13 |      689 |      456
310.34/310.45	c  310s |      16 |   269313 |   154352 |    20998     13 |      689 |      456
312.34/312.48	c  312s |      16 |   270255 |   155152 |    20998     13 |      689 |      456
314.44/314.59	c  314s |      16 |   271229 |   155952 |    20998     13 |      689 |      456
317.03/317.10	c  316s |      16 |   272628 |   156952 |    20998     14 |      689 |      456
319.13/319.24	c  318s |      16 |   273957 |   158052 |    20998     14 |      689 |      456
321.25/321.36	c  321s |      16 |   275482 |   159252 |    20998     14 |      689 |      456
323.34/323.49	c  323s |      16 |   276680 |   160252 |    20998     14 |      689 |      456
325.43/325.59	c  325s |      16 |   277740 |   161152 |    20998     14 |      689 |      456
327.53/327.62	c  327s |      16 |   278835 |   162052 |    20998     14 |      689 |      456
329.63/329.75	c  329s |      16 |   279921 |   162952 |    20998     14 |      689 |      456
331.83/331.93	c  331s |      16 |   280805 |   163752 |    20998     14 |      689 |      456
333.83/333.98	c  333s |      16 |   281722 |   164552 |    20998     14 |      689 |      456
336.03/336.11	c  335s |      16 |   282640 |   165352 |    20998     14 |      689 |      456
338.23/338.32	c  338s |      16 |   283580 |   166152 |    20998     14 |      689 |      456
340.33/340.43	c  340s |      16 |   284398 |   166852 |    20998     14 |      689 |      456
342.53/342.65	c  342s |      16 |   285326 |   167652 |    20998     14 |      689 |      456
344.73/344.85	c  344s |      16 |   286275 |   168452 |    20998     14 |      689 |      456
346.93/347.02	c  346s |      16 |   287021 |   169052 |    20998     15 |      689 |      456
349.13/349.23	c  348s |      16 |   288128 |   169952 |    20998     15 |      689 |      456
351.23/351.35	c  351s |      16 |   288965 |   170652 |    20998     15 |      689 |      456
353.33/353.44	c  353s |      16 |   289948 |   171452 |    20998     15 |      689 |      456
355.53/355.60	c  355s |      16 |   290670 |   172052 |    20998     15 |      689 |      456
357.73/357.82	c  357s |      16 |   291333 |   172652 |    20998     15 |      689 |      456
359.74/359.89	c  359s |      16 |   292275 |   173452 |    20998     15 |      689 |      456
361.73/361.90	c  361s |      16 |   293096 |   174152 |    20998     15 |      689 |      456
364.03/364.11	c  363s |      16 |   293879 |   174852 |    20998     15 |      689 |      456
366.03/366.14	c  365s |      16 |   294562 |   175452 |    20998     15 |      689 |      456
368.13/368.24	c  367s |      16 |   295005 |   175852 |    20998     15 |      689 |      456
370.33/370.44	c  370s |      16 |   295822 |   176552 |    20998     15 |      689 |      456
372.53/372.62	c  372s |      16 |   296503 |   177152 |    20998     15 |      689 |      456
374.73/374.88	c  374s |      16 |   297329 |   177852 |    20998     15 |      689 |      456
376.92/377.00	c  376s |      16 |   298111 |   178552 |    20998     15 |      689 |      456
379.12/379.29	c  379s |      16 |   298775 |   179152 |    20998     15 |      689 |      456
381.74/381.86	c  381s |      16 |   299461 |   179752 |    20998     15 |      689 |      456
383.94/384.08	c  383s |      16 |   300153 |   180352 |    20998     15 |      689 |      456
386.23/386.34	c  386s |      16 |   301209 |   181152 |    20998     15 |      689 |      456
388.24/388.39	c  388s |      16 |   302061 |   181852 |    20998     16 |      689 |      456
390.44/390.60	c  390s |      16 |   303278 |   182852 |    20998     16 |      689 |      456
392.53/392.60	c  392s |      16 |   304239 |   183652 |    20998     16 |      689 |      456
394.63/394.72	c  394s |      16 |   305205 |   184452 |    20998     16 |      689 |      456
396.83/396.99	c  396s |      16 |   306145 |   185252 |    20998     16 |      689 |      456
399.03/399.19	c  398s |      16 |   307049 |   186052 |    20998     16 |      689 |      456
401.13/401.22	c  400s |      16 |   307839 |   186752 |    20998     16 |      689 |      456
403.23/403.32	c  403s |      16 |   308622 |   187452 |    20998     16 |      689 |      456
405.33/405.41	c  405s |      16 |   309303 |   188052 |    20998     16 |      689 |      456
407.43/407.55	c  407s |      16 |   310173 |   188752 |    20998     16 |      689 |      456
409.73/409.83	c  409s |      16 |   310960 |   189452 |    20998     16 |      689 |      456
411.83/411.94	c  411s |      16 |   311795 |   190152 |    20998     16 |      689 |      456
413.92/414.07	c  413s |      16 |   312463 |   190752 |    20998     16 |      689 |      456
416.02/416.14	c  415s |      16 |   313165 |   191352 |    20998     16 |      689 |      456
418.12/418.22	c  417s |      16 |   313849 |   191952 |    20998     16 |      689 |      456
420.42/420.55	c  420s |      16 |   314638 |   192652 |    20998     16 |      689 |      456
422.92/423.02	c  422s |      16 |   315445 |   193352 |    20998     16 |      689 |      456
425.02/425.11	c  424s |      16 |   316294 |   194052 |    20998     17 |      689 |      456
427.02/427.16	c  426s |      16 |   317349 |   194952 |    20998     17 |      689 |      456
429.22/429.33	c  429s |      16 |   318455 |   195852 |    20998     17 |      689 |      456
431.32/431.46	c  431s |      16 |   319675 |   196852 |    23098     17 |      689 |      456
432.62/432.76	c  432s |      17 |   320411 |   197432 |    23098     17 |      689 |      456
434.81/434.90	c  434s |      17 |   326226 |   199432 |    23098     17 |      689 |      456
436.81/436.92	c  436s |      17 |   328345 |   200932 |    23098     17 |      689 |      456
438.93/439.05	c  438s |      17 |   330557 |   202532 |    23098     17 |      689 |      456
440.91/441.07	c  440s |      17 |   332557 |   203932 |    23098     17 |      689 |      456
443.01/443.17	c  442s |      17 |   334827 |   205432 |    23098     17 |      689 |      456
445.11/445.21	c  444s |      17 |   336324 |   206632 |    23098     17 |      689 |      456
447.31/447.47	c  447s |      17 |   337768 |   207732 |    23098     18 |      689 |      456
449.31/449.49	c  449s |      17 |   339080 |   208732 |    23098     18 |      689 |      456
451.41/451.50	c  451s |      17 |   340130 |   209632 |    23098     18 |      689 |      456
453.61/453.72	c  453s |      17 |   341363 |   210632 |    23098     18 |      689 |      456
455.81/455.95	c  455s |      17 |   342424 |   211532 |    23098     18 |      689 |      456
458.01/458.19	c  457s |      17 |   343550 |   212432 |    23098     18 |      689 |      456
460.21/460.36	c  460s |      17 |   344721 |   213332 |    23098     18 |      689 |      456
462.40/462.54	c  462s |      17 |   345741 |   214232 |    23098     18 |      689 |      456
464.60/464.70	c  464s |      17 |   346793 |   215132 |    23098     18 |      689 |      456
466.60/466.79	c  466s |      17 |   347701 |   215932 |    23098     18 |      689 |      456
468.70/468.87	c  468s |      17 |   348705 |   216732 |    23098     18 |      689 |      456
470.90/471.04	c  470s |      17 |   349501 |   217432 |    23098     18 |      689 |      456
472.91/473.06	c  472s |      17 |   350662 |   218332 |    23098     18 |      689 |      456
475.00/475.11	c  474s |      17 |   351418 |   218932 |    23098     18 |      689 |      456
477.20/477.37	c  477s |      17 |   352383 |   219732 |    23098     18 |      689 |      456
479.51/479.71	c  479s |      17 |   353168 |   220432 |    23098     18 |      689 |      456
481.81/481.97	c  481s |      17 |   353869 |   221032 |    23098     18 |      689 |      456
483.91/484.05	c  483s |      17 |   354362 |   221432 |    23098     19 |      689 |      456
486.00/486.20	c  485s |      17 |   355405 |   222332 |    23098     19 |      689 |      456
488.20/488.33	c  488s |      17 |   356178 |   223032 |    23098     19 |      689 |      456
490.40/490.60	c  490s |      17 |   357124 |   223832 |    23098     19 |      689 |      456
492.60/492.79	c  492s |      17 |   358264 |   224732 |    23098     19 |      689 |      456
494.80/494.93	c  494s |      17 |   359628 |   225732 |    23098     19 |      689 |      456
497.00/497.17	c  496s |      17 |   360930 |   226732 |    23098     19 |      689 |      456
499.10/499.29	c  499s |      17 |   361888 |   227532 |    23098     19 |      689 |      456
501.29/501.42	c  501s |      17 |   362994 |   228432 |    23098     19 |      689 |      456
503.29/503.44	c  503s |      17 |   363842 |   229132 |    23098     19 |      689 |      456
505.39/505.50	c  505s |      17 |   364699 |   229832 |    23098     19 |      689 |      456
507.39/507.59	c  507s |      17 |   365523 |   230532 |    23098     19 |      689 |      456
509.49/509.69	c  509s |      17 |   366409 |   231232 |    23098     19 |      689 |      456
511.69/511.87	c  511s |      17 |   367247 |   231932 |    23098     19 |      689 |      456
513.80/513.92	c  513s |      17 |   368121 |   232632 |    23098     19 |      689 |      456
515.91/516.03	c  515s |      17 |   368795 |   233232 |    23098     19 |      689 |      456
518.20/518.35	c  518s |      17 |   369687 |   233932 |    23098     19 |      689 |      456
520.21/520.40	c  520s |      17 |   370312 |   234432 |    23098     20 |      689 |      456
522.30/522.47	c  522s |      17 |   371419 |   235332 |    23098     20 |      689 |      456
524.50/524.64	c  524s |      17 |   372499 |   236232 |    23098     20 |      689 |      456
526.81/526.94	c  526s |      17 |   373585 |   237132 |    23098     20 |      689 |      456
529.11/529.23	c  528s |      17 |   374505 |   237932 |    23098     20 |      689 |      456
531.10/531.25	c  530s |      17 |   375329 |   238632 |    23098     20 |      689 |      456
533.10/533.29	c  533s |      17 |   376301 |   239432 |    23098     20 |      689 |      456
535.19/535.39	c  535s |      17 |   377094 |   240132 |    23098     20 |      689 |      456
537.19/537.39	c  537s |      17 |   377919 |   240832 |    23098     20 |      689 |      456
539.29/539.44	c  539s |      17 |   378733 |   241532 |    23098     20 |      689 |      456
541.59/541.74	c  541s |      17 |   379545 |   242232 |    23098     20 |      689 |      456
543.69/543.82	c  543s |      17 |   380240 |   242832 |    23098     20 |      689 |      456
545.69/545.86	c  545s |      17 |   380805 |   243332 |    23098     20 |      689 |      456
547.80/547.97	c  547s |      17 |   381484 |   243932 |    23098     20 |      689 |      456
550.00/550.12	c  549s |      17 |   382163 |   244532 |    23098     20 |      689 |      456
552.29/552.40	c  552s |      17 |   382834 |   245132 |    23098     20 |      689 |      456
554.49/554.66	c  554s |      17 |   383502 |   245732 |    23098     20 |      689 |      456
556.89/557.02	c  556s |      17 |   384163 |   246332 |    23098     20 |      689 |      456
558.89/559.09	c  558s |      17 |   384729 |   246832 |    23098     20 |      689 |      456
561.08/561.22	c  560s |      17 |   385276 |   247332 |    23098     20 |      689 |      456
563.20/563.35	c  563s |      17 |   385847 |   247832 |    23098     21 |      689 |      456
565.29/565.44	c  565s |      17 |   386872 |   248632 |    23098     21 |      689 |      456
567.38/567.54	c  567s |      17 |   387743 |   249332 |    23098     21 |      689 |      456
569.68/569.81	c  569s |      17 |   388870 |   250232 |    23098     21 |      689 |      456
571.88/572.02	c  571s |      17 |   390009 |   251132 |    23098     21 |      689 |      456
573.97/574.17	c  573s |      17 |   390921 |   251932 |    23098     21 |      689 |      456
576.07/576.23	c  575s |      17 |   391863 |   252732 |    23098     21 |      689 |      456
578.17/578.38	c  578s |      17 |   392667 |   253432 |    23098     21 |      689 |      456
580.47/580.61	c  580s |      17 |   393602 |   254232 |    23098     21 |      689 |      456
582.57/582.73	c  582s |      17 |   394413 |   254932 |    23098     21 |      689 |      456
584.57/584.78	c  584s |      17 |   395247 |   255632 |    23098     21 |      689 |      456
586.57/586.78	c  586s |      17 |   395927 |   256232 |    23098     21 |      689 |      456
588.67/588.85	c  588s |      17 |   396619 |   256832 |    23098     21 |      689 |      456
590.87/591.04	c  590s |      17 |   397312 |   257432 |    23098     21 |      689 |      456
592.97/593.13	c  592s |      17 |   398042 |   258032 |    23098     21 |      689 |      456
595.26/595.43	c  595s |      17 |   398615 |   258532 |    23098     21 |      689 |      456
597.27/597.49	c  597s |      17 |   399333 |   259132 |    23098     21 |      689 |      456
599.37/599.52	c  599s |      17 |   399905 |   259632 |    23098     21 |      689 |      456
601.36/601.59	c  601s |      17 |   400504 |   260132 |    23098     21 |      689 |      456
603.56/603.78	c  603s |      17 |   401064 |   260632 |    23098     21 |      689 |      456
605.65/605.85	c  605s |      17 |   401502 |   261032 |    23098     22 |      689 |      456
607.75/607.94	c  607s |      17 |   402212 |   261632 |    23098     22 |      689 |      456
609.85/610.04	c  609s |      17 |   403233 |   262432 |    23098     22 |      689 |      456
611.85/612.09	c  611s |      17 |   403929 |   263032 |    23098     22 |      689 |      456
613.95/614.19	c  613s |      17 |   404841 |   263732 |    23098     22 |      689 |      456
616.15/616.33	c  616s |      17 |   405641 |   264432 |    23098     22 |      689 |      456
618.16/618.38	c  618s |      17 |   406469 |   265132 |    23098     22 |      689 |      456
620.55/620.71	c  620s |      17 |   407365 |   265832 |    23098     22 |      689 |      456
622.75/622.93	c  622s |      17 |   408061 |   266432 |    23098     22 |      689 |      456
624.94/625.11	c  624s |      17 |   408770 |   267032 |    23098     22 |      689 |      456
627.24/627.41	c  627s |      17 |   409443 |   267632 |    23098     22 |      689 |      456
629.54/629.71	c  629s |      17 |   410133 |   268232 |    23098     22 |      689 |      456
631.54/631.79	c  631s |      17 |   410720 |   268732 |    23098     22 |      689 |      456
633.93/634.18	c  633s |      17 |   411427 |   269332 |    23098     22 |      689 |      456
636.33/636.58	c  636s |      17 |   411970 |   269832 |    23098     22 |      689 |      456
638.43/638.61	c  638s |      17 |   412537 |   270332 |    23098     22 |      689 |      456
640.73/640.92	c  640s |      17 |   413088 |   270832 |    23098     22 |      689 |      456
642.84/643.07	c  642s |      17 |   413638 |   271332 |    23098     22 |      689 |      456
644.94/645.12	c  644s |      17 |   414114 |   271732 |    23098     22 |      689 |      456
646.94/647.17	c  646s |      17 |   414676 |   272232 |    23098     22 |      689 |      456
649.34/649.51	c  649s |      17 |   415231 |   272732 |    23098     22 |      689 |      456
651.54/651.72	c  651s |      17 |   415958 |   273232 |    23098     22 |      689 |      456
653.53/653.73	c  653s |      17 |   416894 |   273932 |    23098     22 |      689 |      456
655.55/655.75	c  655s |      17 |   417662 |   274532 |    23098     23 |      689 |      456
657.53/657.75	c  657s |      17 |   418460 |   275232 |    23098     23 |      689 |      456
659.73/659.93	c  659s |      17 |   419542 |   276132 |    23098     23 |      689 |      456
661.93/662.14	c  661s |      17 |   420509 |   276932 |    23098     23 |      689 |      456
663.93/664.14	c  663s |      17 |   421319 |   277632 |    23098     23 |      689 |      456
666.03/666.29	c  666s |      17 |   422075 |   278332 |    23098     23 |      689 |      456
668.23/668.44	c  668s |      17 |   422988 |   279132 |    23098     23 |      689 |      456
670.43/670.68	c  670s |      17 |   424102 |   280032 |    23098     23 |      689 |      456
672.63/672.86	c  672s |      17 |   425078 |   280832 |    23098     23 |      689 |      456
674.83/675.04	c  674s |      17 |   426013 |   281632 |    23098     23 |      689 |      456
676.93/677.14	c  676s |      17 |   426862 |   282332 |    23098     23 |      689 |      456
679.23/679.48	c  679s |      17 |   427662 |   283032 |    23098     23 |      689 |      456
681.43/681.62	c  681s |      17 |   428522 |   283732 |    23098     23 |      689 |      456
683.72/683.96	c  683s |      17 |   429331 |   284432 |    23098     23 |      689 |      456
686.02/686.20	c  685s |      17 |   430158 |   285132 |    23098     23 |      689 |      456
688.22/688.42	c  688s |      17 |   430864 |   285732 |    23098     23 |      689 |      456
690.32/690.57	c  690s |      17 |   431553 |   286332 |    23098     23 |      689 |      456
692.52/692.78	c  692s |      17 |   432247 |   286932 |    23098     23 |      689 |      456
695.13/695.33	c  695s |      17 |   432806 |   287432 |    23098     24 |      689 |      456
697.33/697.59	c  697s |      17 |   433598 |   288132 |    23098     24 |      689 |      456
699.43/699.63	c  699s |      17 |   434379 |   288832 |    23098     24 |      689 |      456
701.63/701.82	c  701s |      17 |   435166 |   289532 |    23098     24 |      689 |      456
703.83/704.06	c  703s |      17 |   435932 |   290232 |    23098     24 |      689 |      456
706.13/706.31	c  706s |      17 |   436803 |   290932 |    23098     24 |      689 |      456
708.42/708.60	c  708s |      17 |   437915 |   291832 |    23098     24 |      689 |      456
710.42/710.64	c  710s |      17 |   438779 |   292532 |    23098     24 |      689 |      456
712.52/712.71	c  712s |      17 |   439647 |   293232 |    23098     24 |      689 |      456
714.61/714.90	c  714s |      17 |   440388 |   293832 |    23098     24 |      689 |      456
716.71/716.93	c  716s |      17 |   440968 |   294332 |    25408     24 |      689 |      456
718.81/719.08	c  718s |      17 |   441839 |   295032 |    25408     24 |      689 |      456
720.91/721.18	c  720s |      17 |   442549 |   295632 |    25408     24 |      689 |      456
722.91/723.18	c  722s |      17 |   443244 |   296232 |    25408     24 |      689 |      456
723.01/723.27	c  722s |      18 |   443275 |   296252 |    25408     24 |      689 |      456
725.10/725.37	c  725s |      18 |   446083 |   297652 |    25408     24 |      689 |      456
727.20/727.42	c  727s |      18 |   448347 |   299352 |    25408     24 |      689 |      456
729.30/729.50	c  729s |      18 |   450563 |   301052 |    25408     24 |      689 |      456
731.41/731.67	c  731s |      18 |   452261 |   302452 |    25408     24 |      689 |      456
733.39/733.67	c  733s |      18 |   453772 |   303452 |    25408     25 |      689 |      456
735.59/735.80	c  735s |      18 |   455354 |   304752 |    25408     25 |      689 |      456
737.59/737.80	c  737s |      18 |   457722 |   306452 |    25408     25 |      689 |      456
739.59/739.82	c  739s |      18 |   459234 |   307652 |    25408     25 |      689 |      456
741.69/741.93	c  741s |      18 |   460756 |   308852 |    25408     25 |      689 |      456
743.78/744.02	c  743s |      18 |   462279 |   310052 |    25408     25 |      689 |      456
745.88/746.12	c  745s |      18 |   463860 |   311252 |    25408     25 |      689 |      456
747.98/748.27	c  747s |      18 |   465216 |   312352 |    25408     25 |      689 |      456
750.18/750.48	c  750s |      18 |   466391 |   313352 |    25408     25 |      689 |      456
752.29/752.51	c  752s |      18 |   467523 |   314252 |    25408     25 |      689 |      456
754.49/754.72	c  754s |      18 |   468773 |   315252 |    25408     25 |      689 |      456
756.59/756.81	c  756s |      18 |   469859 |   316152 |    25408     25 |      689 |      456
758.68/759.01	c  758s |      18 |   470820 |   316952 |    25408     25 |      689 |      456
760.78/761.08	c  760s |      18 |   471644 |   317652 |    25408     26 |      689 |      456
762.88/763.12	c  762s |      18 |   472682 |   318452 |    25408     26 |      689 |      456
764.97/765.29	c  765s |      18 |   473581 |   319252 |    25408     26 |      689 |      456
767.17/767.47	c  767s |      18 |   474557 |   320052 |    25408     26 |      689 |      456
769.27/769.53	c  769s |      18 |   475351 |   320752 |    25408     26 |      689 |      456
771.37/771.62	c  771s |      18 |   476278 |   321552 |    25408     26 |      689 |      456
773.56/773.80	c  773s |      18 |   477379 |   322452 |    25408     26 |      689 |      456
775.86/776.17	c  775s |      18 |   478316 |   323252 |    25408     26 |      689 |      456
777.96/778.26	c  777s |      18 |   479145 |   323952 |    25408     26 |      689 |      456
779.96/780.29	c  780s |      18 |   479970 |   324652 |    25408     26 |      689 |      456
782.16/782.48	c  782s |      18 |   480797 |   325352 |    25408     26 |      689 |      456
784.25/784.50	c  784s |      18 |   481501 |   325952 |    25408     26 |      689 |      456
786.45/786.77	c  786s |      18 |   482620 |   326752 |    25408     26 |      689 |      456
788.65/788.94	c  788s |      18 |   483496 |   327452 |    25408     26 |      689 |      456
790.85/791.15	c  790s |      18 |   484180 |   328052 |    25408     26 |      689 |      456
792.86/793.19	c  792s |      18 |   484934 |   328652 |    25408     26 |      689 |      456
795.25/795.52	c  795s |      18 |   485800 |   329352 |    25408     26 |      689 |      456
797.36/797.65	c  797s |      18 |   486696 |   330052 |    25408     26 |      689 |      456
799.64/799.98	c  799s |      18 |   487566 |   330752 |    25408     26 |      689 |      456
801.65/802.01	c  801s |      18 |   488156 |   331252 |    25408     26 |      689 |      456
803.74/804.07	c  803s |      18 |   488757 |   331752 |    25408     27 |      689 |      456
805.94/806.25	c  805s |      18 |   489589 |   332452 |    25408     27 |      689 |      456
808.14/808.46	c  808s |      18 |   490411 |   333152 |    25408     27 |      689 |      456
810.23/810.52	c  810s |      18 |   491092 |   333752 |    25408     27 |      689 |      456
812.33/812.66	c  812s |      18 |   491769 |   334352 |    25408     27 |      689 |      456
814.73/815.06	c  814s |      18 |   492445 |   334952 |    25408     27 |      689 |      456
816.93/817.25	c  816s |      18 |   493293 |   335652 |    25408     27 |      689 |      456
819.03/819.39	c  819s |      18 |   494086 |   336352 |    25408     27 |      689 |      456
821.13/821.49	c  821s |      18 |   494787 |   336952 |    25408     27 |      689 |      456
823.32/823.60	c  823s |      18 |   495474 |   337552 |    25408     27 |      689 |      456
825.42/825.76	c  825s |      18 |   496158 |   338152 |    25408     27 |      689 |      456
827.73/828.03	c  827s |      18 |   496843 |   338752 |    25408     27 |      689 |      456
829.83/830.15	c  829s |      18 |   497520 |   339352 |    25408     27 |      689 |      456
832.13/832.46	c  832s |      18 |   498225 |   339952 |    25408     27 |      689 |      456
834.42/834.78	c  834s |      18 |   498790 |   340452 |    25408     27 |      689 |      456
836.62/836.96	c  836s |      18 |   499364 |   340952 |    25408     27 |      689 |      456
838.72/839.07	c  838s |      18 |   499915 |   341452 |    25408     27 |      689 |      456
840.82/841.16	c  840s |      18 |   500484 |   341952 |    25408     27 |      689 |      456
842.92/843.20	c  842s |      18 |   501046 |   342452 |    25408     27 |      689 |      456
844.91/845.29	c  845s |      18 |   501760 |   343052 |    25408     27 |      689 |      456
847.11/847.42	c  847s |      18 |   502388 |   343552 |    25408     27 |      689 |      456
849.41/849.79	c  849s |      18 |   503099 |   344152 |    25408     27 |      689 |      456
851.71/852.04	c  851s |      18 |   503823 |   344752 |    25408     27 |      689 |      456
853.70/854.06	c  853s |      18 |   504394 |   345252 |    25408     27 |      689 |      456
855.90/856.27	c  855s |      18 |   504971 |   345752 |    25408     27 |      689 |      456
858.20/858.58	c  858s |      18 |   505701 |   346352 |    25408     28 |      689 |      456
860.50/860.84	c  860s |      18 |   506526 |   347052 |    25408     28 |      689 |      456
862.70/863.09	c  862s |      18 |   507336 |   347752 |    25408     28 |      689 |      456
865.10/865.45	c  865s |      18 |   508098 |   348452 |    25408     28 |      689 |      456
867.30/867.60	c  867s |      18 |   508640 |   348952 |    25408     28 |      689 |      456
869.50/869.81	c  869s |      18 |   509303 |   349552 |    25408     28 |      689 |      456
871.70/872.07	c  871s |      18 |   509979 |   350152 |    25408     28 |      689 |      456
873.79/874.15	c  873s |      18 |   510658 |   350752 |    25408     28 |      689 |      456
875.99/876.38	c  876s |      18 |   511398 |   351352 |    25408     28 |      689 |      456
878.39/878.78	c  878s |      18 |   512093 |   351952 |    25408     28 |      689 |      456
880.49/880.80	c  880s |      18 |   512652 |   352452 |    25408     28 |      689 |      456
882.48/882.90	c  882s |      18 |   513395 |   353052 |    25408     28 |      689 |      456
884.88/885.20	c  884s |      18 |   514079 |   353652 |    25408     28 |      689 |      456
887.08/887.42	c  887s |      18 |   514773 |   354252 |    25408     28 |      689 |      456
889.28/889.62	c  889s |      18 |   515337 |   354752 |    25408     28 |      689 |      456
891.48/891.85	c  891s |      18 |   515893 |   355252 |    25408     28 |      689 |      456
893.67/894.09	c  893s |      18 |   516474 |   355752 |    25408     28 |      689 |      456
895.97/896.37	c  896s |      18 |   517040 |   356252 |    25408     28 |      689 |      456
898.27/898.68	c  898s |      18 |   517479 |   356652 |    25408     28 |      689 |      456
900.47/900.80	c  900s |      18 |   517927 |   357052 |    25408     28 |      689 |      456
902.57/902.96	c  902s |      18 |   518381 |   357452 |    25408     28 |      689 |      456
904.97/905.38	c  905s |      18 |   518969 |   357952 |    25408     28 |      689 |      456
907.36/907.72	c  907s |      18 |   519547 |   358452 |    25408     28 |      689 |      456
909.56/909.97	c  909s |      18 |   520152 |   358952 |    25408     28 |      689 |      456
911.86/912.25	c  911s |      18 |   520728 |   359452 |    25408     28 |      689 |      456
914.25/914.60	c  914s |      18 |   521297 |   359952 |    25408     28 |      689 |      456
916.35/916.74	c  916s |      18 |   521617 |   360252 |    25408     29 |      689 |      456
918.55/918.97	c  918s |      18 |   522271 |   360852 |    25408     29 |      689 |      456
920.95/921.30	c  921s |      18 |   522953 |   361452 |    25408     29 |      689 |      456
923.15/923.53	c  923s |      18 |   523615 |   362052 |    25408     29 |      689 |      456
925.14/925.57	c  925s |      18 |   524184 |   362552 |    25408     29 |      689 |      456
927.34/927.74	c  927s |      18 |   524736 |   363052 |    25408     29 |      689 |      456
929.54/929.92	c  929s |      18 |   525276 |   363552 |    25408     29 |      689 |      456
931.64/932.07	c  931s |      18 |   525815 |   364052 |    25408     29 |      689 |      456
933.83/934.25	c  933s |      18 |   526360 |   364552 |    25408     29 |      689 |      456
936.13/936.58	c  936s |      18 |   526910 |   365052 |    25408     29 |      689 |      456
938.23/938.62	c  938s |      18 |   527323 |   365452 |    25408     29 |      689 |      456
940.33/940.78	c  940s |      18 |   527924 |   365952 |    25408     29 |      689 |      456
942.44/942.82	c  942s |      18 |   528491 |   366452 |    25408     29 |      689 |      456
944.72/945.10	c  944s |      18 |   529042 |   366952 |    25408     29 |      689 |      456
946.84/947.25	c  946s |      18 |   529602 |   367452 |    25408     29 |      689 |      456
948.93/949.33	c  949s |      18 |   530184 |   367952 |    25408     29 |      689 |      456
951.13/951.53	c  951s |      18 |   530893 |   368552 |    25408     29 |      689 |      456
953.12/953.53	c  953s |      18 |   531453 |   369052 |    25408     29 |      689 |      456
955.41/955.85	c  955s |      18 |   532030 |   369552 |    25408     29 |      689 |      456
957.83/958.23	c  957s |      18 |   532610 |   370052 |    25408     29 |      689 |      456
960.21/960.60	c  960s |      18 |   533301 |   370652 |    25408     29 |      689 |      456
962.41/962.85	c  962s |      18 |   533876 |   371152 |    25408     29 |      689 |      456
964.81/965.24	c  964s |      18 |   534441 |   371652 |    25408     29 |      689 |      456
967.31/967.79	c  967s |      18 |   534966 |   372152 |    25408     29 |      689 |      456
969.61/970.06	c  969s |      18 |   535406 |   372552 |    25408     29 |      689 |      456
971.81/972.28	c  972s |      18 |   535845 |   372952 |    25408     29 |      689 |      456
973.90/974.32	c  974s |      18 |   536286 |   373352 |    25408     29 |      689 |      456
975.90/976.37	c  976s |      18 |   536740 |   373752 |    25408     29 |      689 |      456
978.00/978.42	c  978s |      18 |   537174 |   374152 |    25408     29 |      689 |      456
980.30/980.79	c  980s |      18 |   537493 |   374452 |    25408     30 |      689 |      456
982.50/982.91	c  982s |      18 |   538200 |   375052 |    25408     30 |      689 |      456
984.59/985.04	c  984s |      18 |   538953 |   375652 |    25408     30 |      689 |      456
986.99/987.45	c  987s |      18 |   539748 |   376352 |    25408     30 |      689 |      456
989.19/989.66	c  989s |      18 |   540393 |   376952 |    25408     30 |      689 |      456
991.39/991.85	c  991s |      18 |   541046 |   377552 |    25408     30 |      689 |      456
993.58/994.05	c  993s |      18 |   541721 |   378152 |    25408     30 |      689 |      456
995.98/996.40	c  996s |      18 |   542395 |   378752 |    25408     30 |      689 |      456
997.98/998.48	c  998s |      18 |   542928 |   379252 |    25408     30 |      689 |      456
1000.28/1000.74	c 1000s |      18 |   543488 |   379752 |    25408     30 |      689 |      456
1002.48/1002.96	c 1002s |      18 |   544040 |   380252 |    25408     30 |      689 |      456
1004.87/1005.34	c 1005s |      18 |   544582 |   380752 |    25408     30 |      689 |      456
1007.07/1007.52	c 1007s |      18 |   545112 |   381252 |    25408     30 |      689 |      456
1009.07/1009.57	c 1009s |      18 |   545564 |   381652 |    25408     30 |      689 |      456
1011.37/1011.82	c 1011s |      18 |   546131 |   382152 |    25408     30 |      689 |      456
1013.67/1014.10	c 1013s |      18 |   546714 |   382652 |    25408     30 |      689 |      456
1015.77/1016.27	c 1015s |      18 |   547276 |   383152 |    25408     30 |      689 |      456
1017.87/1018.37	c 1018s |      18 |   547726 |   383552 |    25408     30 |      689 |      456
1019.97/1020.44	c 1020s |      18 |   548167 |   383952 |    25408     30 |      689 |      456
1022.27/1022.72	c 1022s |      18 |   548587 |   384352 |    25408     30 |      689 |      456
1024.27/1024.75	c 1024s |      18 |   549052 |   384752 |    25408     30 |      689 |      456
1026.27/1026.79	c 1026s |      18 |   549494 |   385152 |    25408     30 |      689 |      456
1028.37/1028.89	c 1028s |      18 |   549937 |   385552 |    25408     30 |      689 |      456
1030.47/1030.96	c 1030s |      18 |   550385 |   385952 |    25408     30 |      689 |      456
1033.07/1033.52	c 1033s |      18 |   550838 |   386352 |    25408     30 |      689 |      456
1035.06/1035.59	c 1035s |      18 |   551277 |   386752 |    25408     30 |      689 |      456
1037.46/1037.92	c 1037s |      18 |   551726 |   387152 |    25408     30 |      689 |      456
1039.96/1040.42	c 1040s |      18 |   552153 |   387552 |    25408     30 |      689 |      456
1042.06/1042.54	c 1042s |      18 |   552488 |   387852 |    25408     30 |      689 |      456
1044.36/1044.89	c 1044s |      18 |   552921 |   388252 |    25408     30 |      689 |      456
1047.56/1048.03	c 1047s |      18 |   553354 |   388652 |    25408     31 |      689 |      456
1049.86/1050.37	c 1050s |      18 |   553910 |   389152 |    25408     31 |      689 |      456
1052.06/1052.53	c 1052s |      18 |   554443 |   389652 |    25408     31 |      689 |      456
1054.26/1054.70	c 1054s |      18 |   554987 |   390152 |    25408     31 |      689 |      456
1056.67/1057.18	c 1056s |      18 |   555523 |   390652 |    25408     31 |      689 |      456
1059.06/1059.57	c 1059s |      18 |   556066 |   391152 |    25408     31 |      689 |      456
1061.36/1061.88	c 1061s |      18 |   556617 |   391652 |    25408     31 |      689 |      456
1063.66/1064.10	c 1063s |      18 |   557195 |   392152 |    25408     31 |      689 |      456
1065.86/1066.38	c 1066s |      18 |   557788 |   392652 |    25408     31 |      689 |      456
1068.26/1068.70	c 1068s |      18 |   558372 |   393152 |    25408     31 |      689 |      456
1070.46/1070.92	c 1070s |      18 |   558920 |   393652 |    25408     31 |      689 |      456
1072.86/1073.31	c 1073s |      18 |   559469 |   394152 |    25408     31 |      689 |      456
1075.26/1075.75	c 1075s |      18 |   560008 |   394652 |    25408     31 |      689 |      456
1077.67/1078.16	c 1077s |      18 |   560578 |   395152 |    25408     31 |      689 |      456
1080.06/1080.55	c 1080s |      18 |   561116 |   395652 |    25408     31 |      689 |      456
1082.36/1082.83	c 1082s |      18 |   561715 |   396152 |    25408     31 |      689 |      456
1084.66/1085.12	c 1084s |      18 |   562260 |   396652 |    25408     31 |      689 |      456
1087.06/1087.58	c 1087s |      18 |   562840 |   397152 |    25408     31 |      689 |      456
1089.26/1089.76	c 1089s |      18 |   563283 |   397552 |    25408     31 |      689 |      456
1091.66/1092.11	c 1091s |      18 |   563717 |   397952 |    25408     31 |      689 |      456
1093.95/1094.41	c 1094s |      18 |   564145 |   398352 |    25408     31 |      689 |      456
1096.05/1096.50	c 1096s |      18 |   564571 |   398752 |    25408     31 |      689 |      456
1098.15/1098.62	c 1098s |      18 |   565012 |   399152 |    25408     31 |      689 |      456
1100.25/1100.74	c 1100s |      18 |   565488 |   399552 |    25408     31 |      689 |      456
1102.65/1103.12	c 1102s |      18 |   566088 |   400052 |    25408     31 |      689 |      456
1104.75/1105.29	c 1105s |      18 |   566543 |   400452 |    25408     31 |      689 |      456
1107.15/1107.68	c 1107s |      18 |   566989 |   400852 |    25408     31 |      689 |      456
1109.65/1110.14	c 1109s |      18 |   567540 |   401352 |    25408     31 |      689 |      456
1111.76/1112.27	c 1112s |      18 |   568195 |   401852 |    25408     31 |      689 |      456
1114.25/1114.74	c 1114s |      18 |   568806 |   402352 |    25408     31 |      689 |      456
1116.45/1116.90	c 1116s |      18 |   569443 |   402852 |    25408     31 |      689 |      456
1118.45/1118.98	c 1118s |      18 |   569926 |   403252 |    25408     32 |      689 |      456
1120.56/1121.08	c 1120s |      18 |   570654 |   403852 |    25408     32 |      689 |      456
1122.85/1123.34	c 1123s |      18 |   571349 |   404452 |    25408     32 |      689 |      456
1124.86/1125.39	c 1125s |      18 |   572062 |   405052 |    25408     32 |      689 |      456
1127.25/1127.73	c 1127s |      18 |   572756 |   405652 |    25408     32 |      689 |      456
1129.26/1129.81	c 1129s |      18 |   573332 |   406152 |    25408     32 |      689 |      456
1131.65/1132.10	c 1131s |      18 |   573885 |   406652 |    25408     32 |      689 |      456
1133.76/1134.21	c 1133s |      18 |   574453 |   407152 |    25408     32 |      689 |      456
1135.75/1136.25	c 1135s |      18 |   575788 |   407952 |    25408     32 |      689 |      456
1138.45/1138.92	c 1138s |      18 |   576766 |   408752 |    25408     32 |      689 |      456
1140.55/1141.08	c 1140s |      18 |   577622 |   409452 |    25408     32 |      689 |      456
1142.65/1143.15	c 1142s |      18 |   579931 |   410852 |    25408     32 |      689 |      456
1144.85/1145.36	c 1145s |      18 |   581631 |   412152 |    25408     32 |      689 |      456
1146.85/1147.40	c 1147s |      18 |   583054 |   413152 |    25408     32 |      689 |      456
1149.05/1149.57	c 1149s |      18 |   584503 |   414152 |    25408     32 |      689 |      456
1151.15/1151.60	c 1151s |      18 |   586016 |   415152 |    25408     32 |      689 |      456
1153.34/1153.80	c 1153s |      18 |   587591 |   416152 |    25408     32 |      689 |      456
1155.44/1155.92	c 1155s |      18 |   588640 |   416952 |    25408     32 |      689 |      456
1157.54/1158.09	c 1157s |      18 |   589526 |   417552 |    25408     33 |      689 |      456
1159.74/1160.24	c 1159s |      18 |   590971 |   418552 |    25408     33 |      689 |      456
1161.74/1162.29	c 1162s |      18 |   592452 |   419552 |    25408     33 |      689 |      456
1163.94/1164.41	c 1164s |      18 |   594115 |   420652 |    25408     33 |      689 |      456
1166.05/1166.59	c 1166s |      18 |   595302 |   421752 |    25408     33 |      689 |      456
1168.25/1168.70	c 1168s |      18 |   596204 |   422552 |    25408     33 |      689 |      456
1170.55/1171.06	c 1170s |      18 |   597415 |   423452 |    25408     33 |      689 |      456
1172.65/1173.13	c 1172s |      18 |   598455 |   424252 |    25408     33 |      689 |      456
1174.85/1175.39	c 1175s |      18 |   599556 |   425052 |    25408     33 |      689 |      456
1177.15/1177.60	c 1177s |      18 |   600327 |   425652 |    25408     33 |      689 |      456
1179.25/1179.73	c 1179s |      18 |   601426 |   426452 |    25408     33 |      689 |      456
1181.35/1181.82	c 1181s |      18 |   602704 |   427352 |    25408     33 |      689 |      456
1183.35/1183.86	c 1183s |      18 |   603438 |   427952 |    25408     33 |      689 |      456
1185.65/1186.15	c 1185s |      18 |   604098 |   428552 |    25408     33 |      689 |      456
1187.75/1188.28	c 1188s |      18 |   604827 |   429152 |    25408     33 |      689 |      456
1189.76/1190.28	c 1190s |      18 |   605619 |   429752 |    25408     33 |      689 |      456
1191.96/1192.46	c 1192s |      18 |   606589 |   430452 |    25408     33 |      689 |      456
1194.26/1194.76	c 1194s |      18 |   607817 |   431252 |    25408     33 |      689 |      456
1196.46/1196.97	c 1196s |      18 |   609055 |   432052 |    25408     34 |      689 |      456
1198.85/1199.37	c 1199s |      18 |   610135 |   432852 |    25408     34 |      689 |      456
1201.04/1201.56	c 1201s |      18 |   611235 |   433652 |    25408     34 |      689 |      456
1203.14/1203.65	c 1203s |      18 |   612314 |   434452 |    25408     34 |      689 |      456
1205.15/1205.68	c 1205s |      18 |   613349 |   435152 |    25408     34 |      689 |      456
1207.35/1207.86	c 1207s |      18 |   614342 |   435852 |    25408     34 |      689 |      456
1209.65/1210.14	c 1209s |      18 |   615113 |   436452 |    25408     34 |      689 |      456
1211.75/1212.25	c 1211s |      18 |   615751 |   436952 |    25408     34 |      689 |      456
1214.05/1214.57	c 1214s |      18 |   616659 |   437652 |    25408     34 |      689 |      456
1216.44/1216.92	c 1216s |      18 |   617499 |   438252 |    25408     34 |      689 |      456
1218.45/1218.98	c 1218s |      18 |   618044 |   438752 |    25408     34 |      689 |      456
1220.74/1221.28	c 1221s |      18 |   619002 |   439552 |    25408     34 |      689 |      456
1222.85/1223.31	c 1223s |      18 |   619824 |   440252 |    25408     34 |      689 |      456
1225.05/1225.56	c 1225s |      18 |   620772 |   441052 |    25408     34 |      689 |      456
1227.04/1227.61	c 1227s |      18 |   621647 |   441752 |    27949     34 |      689 |      456
1229.14/1229.68	c 1229s |      18 |   622601 |   442552 |    27949     34 |      689 |      456
1231.34/1231.84	c 1231s |      18 |   623340 |   443152 |    27949     34 |      689 |      456
1233.64/1234.15	c 1233s |      18 |   624197 |   443852 |    27949     34 |      689 |      456
1235.74/1236.29	c 1236s |      18 |   625022 |   444452 |    27949     34 |      689 |      456
1235.95/1236.45	c 1236s |      19 |   625063 |   444482 |    27949     34 |      689 |      456
1238.14/1238.63	c 1238s |      19 |   627379 |   445582 |    27949     34 |      689 |      456
1240.24/1240.80	c 1240s |      19 |   628687 |   446682 |    27949     34 |      689 |      456
1242.34/1242.88	c 1242s |      19 |   629646 |   447382 |    27949     35 |      689 |      456
1244.43/1244.97	c 1244s |      19 |   631356 |   448682 |    27949     35 |      689 |      456
1246.63/1247.16	c 1246s |      19 |   632695 |   449782 |    27949     35 |      689 |      456
1248.83/1249.36	c 1249s |      19 |   633729 |   450682 |    27949     35 |      689 |      456
1250.93/1251.47	c 1251s |      19 |   634779 |   451582 |    27949     35 |      689 |      456
1253.03/1253.57	c 1253s |      19 |   640410 |   453082 |    27949     35 |      689 |      456
1255.03/1255.59	c 1255s |      19 |   642743 |   454682 |    27949     35 |      689 |      456
1257.13/1257.64	c 1257s |      19 |   645690 |   456182 |    27949     35 |      689 |      456
1259.14/1259.67	c 1259s |      19 |   648327 |   457682 |    27949     35 |      689 |      456
1261.34/1261.87	c 1261s |      19 |   649806 |   458782 |    27949     35 |      689 |      456
1263.44/1263.91	c 1263s |      19 |   650883 |   459682 |    27949     35 |      689 |      456
1265.43/1265.93	c 1265s |      19 |   651840 |   460482 |    27949     35 |      689 |      456
1267.64/1268.12	c 1267s |      19 |   652638 |   461182 |    27949     35 |      689 |      456
1269.64/1270.13	c 1269s |      19 |   653182 |   461682 |    27949     35 |      689 |      456
1271.84/1272.38	c 1272s |      19 |   653975 |   462382 |    27949     35 |      689 |      456
1273.94/1274.45	c 1274s |      19 |   655001 |   463182 |    27949     35 |      689 |      456
1276.04/1276.55	c 1276s |      19 |   655971 |   463882 |    27949     36 |      689 |      456
1278.23/1278.76	c 1278s |      19 |   656963 |   464682 |    27949     36 |      689 |      456
1280.43/1280.95	c 1280s |      19 |   657802 |   465382 |    27949     36 |      689 |      456
1282.53/1283.07	c 1282s |      19 |   658497 |   465982 |    27949     36 |      689 |      456
1284.93/1285.48	c 1285s |      19 |   659153 |   466582 |    27949     36 |      689 |      456
1286.93/1287.48	c 1287s |      19 |   659758 |   467082 |    27949     36 |      689 |      456
1289.13/1289.62	c 1289s |      19 |   660341 |   467582 |    27949     36 |      689 |      456
1291.33/1291.89	c 1291s |      19 |   661294 |   468282 |    27949     36 |      689 |      456
1293.63/1294.14	c 1293s |      19 |   662032 |   468882 |    27949     36 |      689 |      456
1295.63/1296.16	c 1295s |      19 |   662644 |   469382 |    27949     36 |      689 |      456
1297.93/1298.48	c 1298s |      19 |   663467 |   469982 |    27949     36 |      689 |      456
1300.13/1300.64	c 1300s |      19 |   664696 |   470782 |    27949     36 |      689 |      456
1302.33/1302.82	c 1302s |      19 |   665850 |   471582 |    27949     36 |      689 |      456
1304.53/1305.03	c 1304s |      19 |   666719 |   472282 |    27949     36 |      689 |      456
1306.83/1307.31	c 1307s |      19 |   667700 |   472982 |    27949     36 |      689 |      456
1309.02/1309.54	c 1309s |      19 |   668479 |   473582 |    27949     36 |      689 |      456
1311.32/1311.89	c 1311s |      19 |   669192 |   474182 |    27949     36 |      689 |      456
1313.62/1314.14	c 1313s |      19 |   669946 |   474782 |    27949     36 |      689 |      456
1316.02/1316.51	c 1316s |      19 |   670561 |   475282 |    27949     36 |      689 |      456
1318.02/1318.58	c 1318s |      19 |   671171 |   475782 |    27949     36 |      689 |      456
1320.63/1321.15	c 1320s |      19 |   671741 |   476282 |    27949     36 |      689 |      456
1322.93/1323.45	c 1323s |      19 |   672329 |   476782 |    27949     36 |      689 |      456
1325.32/1325.83	c 1325s |      19 |   672766 |   477182 |    27949     36 |      689 |      456
1327.33/1327.89	c 1327s |      19 |   673274 |   477582 |    27949     36 |      689 |      456
1329.72/1330.25	c 1329s |      19 |   674055 |   478182 |    27949     36 |      689 |      456
1332.12/1332.62	c 1332s |      19 |   674611 |   478682 |    27949     36 |      689 |      456
1335.12/1335.63	c 1335s |      19 |   675186 |   479182 |    27949     37 |      689 |      456
1337.12/1337.64	c 1337s |      19 |   675780 |   479682 |    27949     37 |      689 |      456
1339.32/1339.83	c 1339s |      19 |   676506 |   480282 |    27949     37 |      689 |      456
1341.42/1341.98	c 1341s |      19 |   677206 |   480882 |    27949     37 |      689 |      456
1343.62/1344.19	c 1343s |      19 |   677781 |   481382 |    27949     37 |      689 |      456
1345.82/1346.34	c 1346s |      19 |   678567 |   481982 |    27949     37 |      689 |      456
1348.02/1348.54	c 1348s |      19 |   679284 |   482582 |    27949     37 |      689 |      456
1350.32/1350.88	c 1350s |      19 |   679987 |   483182 |    27949     37 |      689 |      456
1352.42/1353.00	c 1352s |      19 |   680556 |   483682 |    27949     37 |      689 |      456
1354.62/1355.17	c 1354s |      19 |   681165 |   484182 |    27949     37 |      689 |      456
1356.82/1357.35	c 1357s |      19 |   681769 |   484682 |    27949     37 |      689 |      456
1359.02/1359.60	c 1359s |      19 |   682377 |   485182 |    27949     37 |      689 |      456
1361.43/1361.91	c 1361s |      19 |   682958 |   485682 |    27949     37 |      689 |      456
1363.42/1363.94	c 1363s |      19 |   683429 |   486082 |    27949     37 |      689 |      456
1365.62/1366.14	c 1365s |      19 |   683870 |   486482 |    27949     37 |      689 |      456
1367.82/1368.36	c 1368s |      19 |   684318 |   486882 |    27949     37 |      689 |      456
1370.02/1370.51	c 1370s |      19 |   684901 |   487382 |    27949     37 |      689 |      456
1372.52/1373.02	c 1372s |      19 |   685453 |   487882 |    27949     37 |      689 |      456
1374.92/1375.45	c 1375s |      19 |   686036 |   488382 |    27949     37 |      689 |      456
1377.02/1377.52	c 1377s |      19 |   686507 |   488782 |    27949     37 |      689 |      456
1379.22/1379.71	c 1379s |      19 |   686980 |   489182 |    27949     37 |      689 |      456
1381.42/1381.98	c 1381s |      19 |   687419 |   489582 |    27949     37 |      689 |      456
1383.82/1384.38	c 1384s |      19 |   688020 |   490082 |    27949     37 |      689 |      456
1385.92/1386.43	c 1386s |      19 |   688484 |   490482 |    27949     37 |      689 |      456
1388.42/1388.92	c 1388s |      19 |   689048 |   490982 |    27949     37 |      689 |      456
1390.92/1391.43	c 1391s |      19 |   689643 |   491482 |    27949     37 |      689 |      456
1393.12/1393.65	c 1393s |      19 |   690107 |   491882 |    27949     37 |      689 |      456
1395.42/1395.95	c 1395s |      19 |   690718 |   492382 |    27949     37 |      689 |      456
1397.91/1398.42	c 1398s |      19 |   691189 |   492782 |    27949     37 |      689 |      456
1400.31/1400.88	c 1400s |      19 |   691617 |   493182 |    27949     37 |      689 |      456
1402.61/1403.19	c 1402s |      19 |   692063 |   493582 |    27949     37 |      689 |      456
1405.21/1405.71	c 1405s |      19 |   692526 |   493982 |    27949     37 |      689 |      456
1407.62/1408.18	c 1407s |      19 |   692988 |   494382 |    27949     37 |      689 |      456
1410.01/1410.53	c 1410s |      19 |   693341 |   494682 |    27949     38 |      689 |      456
1412.31/1412.85	c 1412s |      19 |   693900 |   495182 |    27949     38 |      689 |      456
1414.71/1415.25	c 1414s |      19 |   694482 |   495682 |    27949     38 |      689 |      456
1416.91/1417.41	c 1417s |      19 |   694912 |   496082 |    27949     38 |      689 |      456
1419.31/1419.88	c 1419s |      19 |   695497 |   496582 |    27949     38 |      689 |      456
1421.51/1422.03	c 1421s |      19 |   696067 |   497082 |    27949     38 |      689 |      456
1423.71/1424.26	c 1423s |      19 |   696625 |   497582 |    27949     38 |      689 |      456
1425.81/1426.33	c 1426s |      19 |   697072 |   497982 |    27949     38 |      689 |      456
1428.21/1428.74	c 1428s |      19 |   697637 |   498482 |    27949     38 |      689 |      456
1430.21/1430.78	c 1430s |      19 |   698127 |   498882 |    27949     38 |      689 |      456
1432.40/1432.97	c 1432s |      19 |   698602 |   499282 |    27949     38 |      689 |      456
1434.60/1435.19	c 1434s |      19 |   699076 |   499682 |    27949     38 |      689 |      456
1437.00/1437.55	c 1437s |      19 |   699500 |   500082 |    27949     38 |      689 |      456
1439.30/1439.81	c 1439s |      19 |   699965 |   500482 |    27949     38 |      689 |      456
1441.50/1442.10	c 1441s |      19 |   700523 |   500982 |    27949     38 |      689 |      456
1443.60/1444.15	c 1443s |      19 |   701153 |   501482 |    27949     38 |      689 |      456
1445.60/1446.17	c 1445s |      19 |   701622 |   501882 |    27949     38 |      689 |      456
1448.10/1448.65	c 1448s |      19 |   702202 |   502382 |    27949     38 |      689 |      456
1450.20/1450.72	c 1450s |      19 |   702672 |   502782 |    27949     38 |      689 |      456
1452.30/1452.82	c 1452s |      19 |   703117 |   503182 |    27949     38 |      689 |      456
1454.30/1454.85	c 1454s |      19 |   703573 |   503582 |    27949     38 |      689 |      456
1456.50/1457.06	c 1456s |      19 |   704023 |   503982 |    27949     38 |      689 |      456
1458.90/1459.44	c 1459s |      19 |   704482 |   504382 |    27949     38 |      689 |      456
1461.10/1461.69	c 1461s |      19 |   705080 |   504882 |    27949     38 |      689 |      456
1463.50/1464.08	c 1463s |      19 |   705659 |   505382 |    27949     38 |      689 |      456
1465.70/1466.21	c 1465s |      19 |   706288 |   505882 |    27949     38 |      689 |      456
1468.11/1468.62	c 1468s |      19 |   706898 |   506382 |    27949     38 |      689 |      456
1470.10/1470.69	c 1470s |      19 |   707499 |   506882 |    27949     38 |      689 |      456
1472.40/1472.98	c 1472s |      19 |   708088 |   507382 |    27949     38 |      689 |      456
1474.50/1475.11	c 1474s |      19 |   708547 |   507782 |    27949     38 |      689 |      456
1477.00/1477.59	c 1477s |      19 |   709141 |   508282 |    27949     38 |      689 |      456
1479.20/1479.71	c 1479s |      19 |   709591 |   508682 |    27949     38 |      689 |      456
1481.21/1481.78	c 1481s |      19 |   710050 |   509082 |    27949     38 |      689 |      456
1483.41/1483.96	c 1483s |      19 |   710508 |   509482 |    27949     38 |      689 |      456
1485.71/1486.24	c 1485s |      19 |   710957 |   509882 |    27949     38 |      689 |      456
1488.20/1488.73	c 1488s |      19 |   711293 |   510182 |    27949     39 |      689 |      456
1490.40/1490.97	c 1490s |      19 |   711878 |   510682 |    27949     39 |      689 |      456
1492.50/1493.08	c 1492s |      19 |   712467 |   511182 |    27949     39 |      689 |      456
1494.60/1495.10	c 1494s |      19 |   713015 |   511682 |    27949     39 |      689 |      456
1497.10/1497.61	c 1497s |      19 |   713719 |   512282 |    27949     39 |      689 |      456
1499.30/1499.84	c 1499s |      19 |   714287 |   512782 |    27949     39 |      689 |      456
1501.50/1502.06	c 1501s |      19 |   714855 |   513282 |    27949     39 |      689 |      456
1503.70/1504.29	c 1504s |      19 |   715417 |   513782 |    27949     39 |      689 |      456
1506.00/1506.52	c 1506s |      19 |   715970 |   514282 |    27949     39 |      689 |      456
1508.10/1508.61	c 1508s |      19 |   716534 |   514782 |    27949     39 |      689 |      456
1510.40/1510.98	c 1510s |      19 |   717071 |   515282 |    27949     39 |      689 |      456
1512.80/1513.38	c 1513s |      19 |   717620 |   515782 |    27949     39 |      689 |      456
1514.90/1515.46	c 1515s |      19 |   718066 |   516182 |    27949     39 |      689 |      456
1517.00/1517.53	c 1517s |      19 |   718405 |   516482 |    27949     39 |      689 |      456
1519.10/1519.67	c 1519s |      19 |   718864 |   516882 |    27949     39 |      689 |      456
1521.59/1522.11	c 1521s |      19 |   719433 |   517382 |    27949     39 |      689 |      456
1523.59/1524.19	c 1523s |      19 |   719872 |   517782 |    27949     39 |      689 |      456
1525.89/1526.43	c 1526s |      19 |   720315 |   518182 |    27949     39 |      689 |      456
1528.09/1528.68	c 1528s |      19 |   720897 |   518682 |    27949     39 |      689 |      456
1530.19/1530.73	c 1530s |      19 |   721360 |   519082 |    27949     39 |      689 |      456
1532.69/1533.21	c 1532s |      19 |   721983 |   519582 |    27949     39 |      689 |      456
1534.99/1535.59	c 1535s |      19 |   722423 |   519982 |    27949     39 |      689 |      456
1537.30/1537.84	c 1537s |      19 |   722876 |   520382 |    27949     39 |      689 |      456
1539.50/1540.08	c 1539s |      19 |   723326 |   520782 |    27949     39 |      689 |      456
1541.49/1542.09	c 1541s |      19 |   723668 |   521082 |    27949     39 |      689 |      456
1544.29/1544.85	c 1544s |      19 |   724115 |   521482 |    27949     39 |      689 |      456
1546.49/1547.03	c 1546s |      19 |   724440 |   521782 |    27949     39 |      689 |      456
1548.89/1549.44	c 1549s |      19 |   724885 |   522182 |    27949     39 |      689 |      456
1551.39/1551.98	c 1551s |      19 |   725320 |   522582 |    27949     39 |      689 |      456
1553.49/1554.00	c 1553s |      19 |   725648 |   522882 |    27949     39 |      689 |      456
1555.59/1556.16	c 1555s |      19 |   726144 |   523282 |    27949     39 |      689 |      456
1557.89/1558.47	c 1558s |      19 |   726600 |   523682 |    27949     39 |      689 |      456
1560.29/1560.83	c 1560s |      19 |   727041 |   524082 |    27949     39 |      689 |      456
1562.69/1563.26	c 1562s |      19 |   727499 |   524482 |    27949     39 |      689 |      456
1565.28/1565.83	c 1565s |      19 |   727942 |   524882 |    27949     39 |      689 |      456
1567.78/1568.38	c 1568s |      19 |   728391 |   525282 |    27949     39 |      689 |      456
1569.98/1570.59	c 1570s |      19 |   728842 |   525682 |    27949     39 |      689 |      456
1572.08/1572.66	c 1572s |      19 |   729213 |   525982 |    27949     40 |      689 |      456
1574.29/1574.83	c 1574s |      19 |   729788 |   526482 |    27949     40 |      689 |      456
1576.39/1576.92	c 1576s |      19 |   730401 |   526982 |    27949     40 |      689 |      456
1578.59/1579.14	c 1578s |      19 |   731218 |   527582 |    27949     40 |      689 |      456
1580.89/1581.45	c 1581s |      19 |   732159 |   528282 |    27949     40 |      689 |      456
1582.99/1583.55	c 1583s |      19 |   732926 |   528882 |    27949     40 |      689 |      456
1585.09/1585.64	c 1585s |      19 |   733669 |   529482 |    27949     40 |      689 |      456
1587.29/1587.84	c 1587s |      19 |   734377 |   530082 |    27949     40 |      689 |      456
1589.39/1589.99	c 1589s |      19 |   734935 |   530582 |    27949     40 |      689 |      456
1591.49/1592.09	c 1591s |      19 |   735507 |   531082 |    27949     40 |      689 |      456
1593.58/1594.12	c 1593s |      19 |   736091 |   531582 |    27949     40 |      689 |      456
1595.98/1596.54	c 1596s |      19 |   736952 |   532282 |    27949     40 |      689 |      456
1598.18/1598.73	c 1598s |      19 |   737529 |   532782 |    27949     40 |      689 |      456
1600.18/1600.75	c 1600s |      19 |   738116 |   533282 |    27949     40 |      689 |      456
1602.29/1602.89	c 1602s |      19 |   738683 |   533782 |    27949     40 |      689 |      456
1604.58/1605.14	c 1604s |      19 |   739284 |   534282 |    27949     40 |      689 |      456
1607.08/1607.65	c 1607s |      19 |   739858 |   534782 |    27949     40 |      689 |      456
1609.48/1610.02	c 1609s |      19 |   740443 |   535282 |    27949     40 |      689 |      456
1611.68/1612.27	c 1611s |      19 |   740897 |   535682 |    27949     40 |      689 |      456
1613.88/1614.45	c 1614s |      19 |   741343 |   536082 |    27949     40 |      689 |      456
1616.18/1616.76	c 1616s |      19 |   741804 |   536482 |    27949     40 |      689 |      456
1618.28/1618.81	c 1618s |      19 |   742237 |   536882 |    27949     40 |      689 |      456
1620.48/1621.04	c 1620s |      19 |   742690 |   537282 |    27949     40 |      689 |      456
1622.68/1623.25	c 1622s |      19 |   743146 |   537682 |    27949     40 |      689 |      456
1624.88/1625.43	c 1625s |      19 |   743610 |   538082 |    27949     40 |      689 |      456
1627.18/1627.72	c 1627s |      19 |   744063 |   538482 |    27949     40 |      689 |      456
1629.58/1630.13	c 1629s |      19 |   744515 |   538882 |    27949     40 |      689 |      456
1631.99/1632.57	c 1632s |      19 |   744949 |   539282 |    27949     40 |      689 |      456
1634.18/1634.76	c 1634s |      19 |   745420 |   539682 |    27949     40 |      689 |      456
1636.38/1636.97	c 1636s |      19 |   745862 |   540082 |    27949     40 |      689 |      456
1638.58/1639.19	c 1638s |      19 |   746318 |   540482 |    27949     40 |      689 |      456
1640.97/1641.59	c 1641s |      19 |   746760 |   540882 |    27949     40 |      689 |      456
1644.08/1644.68	c 1644s |      19 |   747191 |   541282 |    27949     41 |      689 |      456
1646.18/1646.77	c 1646s |      19 |   747630 |   541682 |    27949     41 |      689 |      456
1648.49/1649.08	c 1648s |      19 |   748083 |   542082 |    27949     41 |      689 |      456
1650.69/1651.23	c 1650s |      19 |   748635 |   542582 |    27949     41 |      689 |      456
1652.68/1653.26	c 1652s |      19 |   749072 |   542982 |    27949     41 |      689 |      456
1654.68/1655.26	c 1654s |      19 |   749505 |   543382 |    27949     41 |      689 |      456
1657.08/1657.70	c 1657s |      19 |   750076 |   543882 |    27949     41 |      689 |      456
1659.49/1660.05	c 1659s |      19 |   750641 |   544382 |    27949     41 |      689 |      456
1661.97/1662.52	c 1662s |      19 |   751329 |   544982 |    27949     41 |      689 |      456
1663.97/1664.58	c 1664s |      19 |   751796 |   545382 |    27949     41 |      689 |      456
1666.27/1666.84	c 1666s |      19 |   752389 |   545882 |    27949     41 |      689 |      456
1668.37/1668.99	c 1668s |      19 |   752926 |   546382 |    27949     41 |      689 |      456
1670.67/1671.30	c 1671s |      19 |   753495 |   546882 |    27949     41 |      689 |      456
1673.07/1673.69	c 1673s |      19 |   754062 |   547382 |    27949     41 |      689 |      456
1675.27/1675.84	c 1675s |      19 |   754524 |   547782 |    27949     41 |      689 |      456
1677.57/1678.13	c 1677s |      19 |   755134 |   548282 |    27949     41 |      689 |      456
1679.67/1680.29	c 1680s |      19 |   755572 |   548682 |    27949     41 |      689 |      456
1681.87/1682.48	c 1682s |      19 |   756018 |   549082 |    27949     41 |      689 |      456
1684.27/1684.89	c 1684s |      19 |   756558 |   549582 |    27949     41 |      689 |      456
1686.57/1687.18	c 1686s |      19 |   756993 |   549982 |    27949     41 |      689 |      456
1688.97/1689.58	c 1689s |      19 |   757447 |   550382 |    27949     41 |      689 |      456
1691.27/1691.84	c 1691s |      19 |   757889 |   550782 |    27949     41 |      689 |      456
1693.27/1693.88	c 1693s |      19 |   758341 |   551182 |    27949     41 |      689 |      456
1695.27/1695.89	c 1695s |      19 |   758806 |   551582 |    27949     41 |      689 |      456
1697.56/1698.18	c 1697s |      19 |   759249 |   551982 |    27949     41 |      689 |      456
1699.96/1700.50	c 1700s |      19 |   759682 |   552382 |    27949     41 |      689 |      456
1702.06/1702.60	c 1702s |      19 |   760130 |   552782 |    27949     41 |      689 |      456
1704.47/1705.06	c 1704s |      19 |   760577 |   553182 |    27949     41 |      689 |      456
1707.06/1707.60	c 1707s |      19 |   761016 |   553582 |    27949     41 |      689 |      456
1709.56/1710.14	c 1709s |      19 |   761451 |   553982 |    27949     41 |      689 |      456
1711.76/1712.36	c 1712s |      19 |   761779 |   554282 |    27949     41 |      689 |      456
1713.86/1714.44	c 1714s |      19 |   762102 |   554582 |    27949     41 |      689 |      456
1716.06/1716.62	c 1716s |      19 |   762426 |   554882 |    27949     41 |      689 |      456
1718.56/1719.13	c 1718s |      19 |   762869 |   555282 |    27949     41 |      689 |      456
1720.86/1721.40	c 1721s |      19 |   763199 |   555582 |    27949     41 |      689 |      456
1722.96/1723.52	c 1723s |      19 |   763533 |   555882 |    27949     41 |      689 |      456
1725.66/1726.26	c 1725s |      19 |   763974 |   556282 |    27949     41 |      689 |      456
1727.96/1728.50	c 1728s |      19 |   764296 |   556582 |    27949     41 |      689 |      456
1730.46/1731.03	c 1730s |      19 |   764626 |   556882 |    27949     42 |      689 |      456
1732.76/1733.36	c 1733s |      19 |   765094 |   557282 |    27949     42 |      689 |      456
1735.06/1735.62	c 1735s |      19 |   765659 |   557782 |    27949     42 |      689 |      456
1737.36/1738.00	c 1737s |      19 |   766199 |   558282 |    27949     42 |      689 |      456
1739.56/1740.20	c 1739s |      19 |   766755 |   558782 |    27949     42 |      689 |      456
1741.97/1742.54	c 1742s |      19 |   767312 |   559282 |    27949     42 |      689 |      456
1744.06/1744.65	c 1744s |      19 |   767892 |   559782 |    27949     42 |      689 |      456
1746.15/1746.73	c 1746s |      19 |   768472 |   560282 |    27949     42 |      689 |      456
1748.35/1748.96	c 1748s |      19 |   769027 |   560782 |    27949     42 |      689 |      456
1750.45/1751.09	c 1750s |      19 |   769601 |   561282 |    27949     42 |      689 |      456
1752.65/1753.26	c 1752s |      19 |   770169 |   561782 |    27949     42 |      689 |      456
1754.75/1755.31	c 1755s |      19 |   770613 |   562182 |    27949     42 |      689 |      456
1756.86/1757.43	c 1757s |      19 |   771044 |   562582 |    27949     42 |      689 |      456
1758.86/1759.47	c 1759s |      19 |   771507 |   562982 |    27949     42 |      689 |      456
1761.26/1761.83	c 1761s |      19 |   772144 |   563482 |    27949     42 |      689 |      456
1763.36/1763.91	c 1763s |      19 |   772587 |   563882 |    27949     42 |      689 |      456
1765.46/1766.02	c 1765s |      19 |   773035 |   564282 |    27949     42 |      689 |      456
1767.56/1768.13	c 1767s |      19 |   773494 |   564682 |    27949     42 |      689 |      456
1769.66/1770.27	c 1769s |      19 |   773932 |   565082 |    27949     42 |      689 |      456
1772.26/1772.86	c 1772s |      19 |   774470 |   565582 |    27949     42 |      689 |      456
1774.86/1775.44	c 1775s |      19 |   775042 |   566082 |    27949     42 |      689 |      456
1777.17/1777.76	c 1777s |      19 |   775496 |   566482 |    27949     42 |      689 |      456
1779.45/1780.01	c 1779s |      19 |   775936 |   566882 |    27949     42 |      689 |      456
1781.95/1782.60	c 1782s |      19 |   776374 |   567282 |    27949     42 |      689 |      456
1784.05/1784.67	c 1784s |      19 |   776703 |   567582 |    27949     42 |      689 |      456
1786.35/1786.93	c 1786s |      19 |   777156 |   567982 |    27949     42 |      689 |      456
1788.45/1789.05	c 1788s |      19 |   777636 |   568382 |    27949     42 |      689 |      456
1790.65/1791.24	c 1790s |      19 |   778212 |   568882 |    27949     42 |      689 |      456
1793.05/1793.66	c 1793s |      19 |   778771 |   569382 |    27949     42 |      689 |      456
1795.45/1796.06	c 1795s |      19 |   779334 |   569882 |    27949     42 |      689 |      456
1797.85/1798.40	c 1798s |      19 |   779790 |   570282 |    27949     42 |      689 |      456

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

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

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


[startup+0 s]
/proc/loadavg: 2.06 2.08 2.08 3/261 581
/proc/meminfo: memFree=30873408/32872528 swapFree=7556/7556
[pid=581] ppid=578 vsize=745916 CPUtime=0 cores=4-7,12-15
/proc/581/stat : 581 (toysat) R 578 581 32495 0 -1 4202496 2786 0 0 0 0 0 0 0 20 0 4 0 27547538 763817984 3147 33554432000 4194304 16246674 140733575457536 140733575456472 13880264 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/581/statm: 187247 3155 441 2943 0 184141 0
[pid=581/tid=582] ppid=578 vsize=1120700 CPUtime=0 cores=4-7,12-15
/proc/581/task/582/stat : 582 (toysat) S 578 581 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27547538 1147596800 4610 33554432000 4194304 16246674 140733575457536 139722447891696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=581/tid=583] ppid=578 vsize=1124796 CPUtime=0 cores=4-7,12-15
/proc/581/task/583/stat : 583 (toysat) S 578 581 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27547538 1151791104 4623 33554432000 4194304 16246674 140733575457536 139722437401840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=581/tid=584] ppid=578 vsize=1128892 CPUtime=0 cores=4-7,12-15
/proc/581/task/584/stat : 584 (toysat) S 578 581 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27547538 1155985408 4642 33554432000 4194304 16246674 140733575457536 139722426928304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 2.06 2.08 2.08 3/261 581
/proc/meminfo: memFree=30873408/32872528 swapFree=7556/7556
[pid=581] ppid=578 vsize=1220164 CPUtime=0.09 cores=4-7,12-15
/proc/581/stat : 581 (toysat) R 578 581 32495 0 -1 4202496 28466 0 0 0 5 4 0 0 20 0 4 0 27547538 1249447936 28765 33554432000 4194304 16246674 140733575457536 140733575456848 4220897 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/581/statm: 305041 28765 801 2943 0 301935 0
[pid=581/tid=582] ppid=578 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/581/task/582/stat : 582 (toysat) S 578 581 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27547538 1249447936 28765 33554432000 4194304 16246674 140733575457536 139722447891696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=581/tid=583] ppid=578 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/581/task/583/stat : 583 (toysat) S 578 581 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27547538 1249447936 28765 33554432000 4194304 16246674 140733575457536 139722437401840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=581/tid=584] ppid=578 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/581/task/584/stat : 584 (toysat) S 578 581 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27547538 1249447936 28765 33554432000 4194304 16246674 140733575457536 139722426928304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200616 s]
/proc/loadavg: 2.06 2.08 2.08 3/261 581
/proc/meminfo: memFree=30873408/32872528 swapFree=7556/7556
[pid=581] ppid=578 vsize=1301060 CPUtime=0.19 cores=4-7,12-15
/proc/581/stat : 581 (toysat) R 578 581 32495 0 -1 4202496 48673 0 0 0 12 7 0 0 20 0 4 0 27547538 1332285440 48972 33554432000 4194304 16246674 140733575457536 140733575456848 12481283 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/581/statm: 325265 48972 842 2943 0 322159 0
[pid=581/tid=582] ppid=578 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/581/task/582/stat : 582 (toysat) S 578 581 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27547538 1332285440 48972 33554432000 4194304 16246674 140733575457536 139722447891696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=581/tid=583] ppid=578 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/581/task/583/stat : 583 (toysat) S 578 581 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27547538 1332285440 48972 33554432000 4194304 16246674 140733575457536 139722437401840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=581/tid=584] ppid=578 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/581/task/584/stat : 584 (toysat) S 578 581 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27547538 1332285440 48972 33554432000 4194304 16246674 140733575457536 139722426928304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300552 s]
/proc/loadavg: 2.06 2.08 2.08 3/261 581
/proc/meminfo: memFree=30873408/32872528 swapFree=7556/7556
[pid=581] ppid=578 vsize=1301060 CPUtime=0.28 cores=4-7,12-15
/proc/581/stat : 581 (toysat) R 578 581 32495 0 -1 4202496 54650 0 0 0 21 7 0 0 20 0 4 0 27547538 1332285440 54949 33554432000 4194304 16246674 140733575457536 140733575439424 6842729 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/581/statm: 325265 54958 882 2943 0 322159 0
[pid=581/tid=582] ppid=578 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/581/task/582/stat : 582 (toysat) S 578 581 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27547538 1332285440 54961 33554432000 4194304 16246674 140733575457536 139722447891696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=581/tid=583] ppid=578 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/581/task/583/stat : 583 (toysat) S 578 581 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27547538 1332285440 54964 33554432000 4194304 16246674 140733575457536 139722437401840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=581/tid=584] ppid=578 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/581/task/584/stat : 584 (toysat) S 578 581 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27547538 1332285440 54968 33554432000 4194304 16246674 140733575457536 139722426928304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1301060

[startup+0.700379 s]
/proc/loadavg: 2.06 2.08 2.08 3/261 581
/proc/meminfo: memFree=30873408/32872528 swapFree=7556/7556
[pid=581] ppid=578 vsize=1301060 CPUtime=0.69 cores=4-7,12-15
/proc/581/stat : 581 (toysat) R 578 581 32495 0 -1 4202496 105369 0 0 0 55 14 0 0 20 0 4 0 27547538 1332285440 105668 33554432000 4194304 16246674 140733575457536 140733575439424 5677277 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/581/statm: 325265 105672 882 2943 0 322159 0
[pid=581/tid=582] ppid=578 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/581/task/582/stat : 582 (toysat) S 578 581 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27547538 1332285440 105674 33554432000 4194304 16246674 140733575457536 139722447891696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=581/tid=583] ppid=578 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/581/task/583/stat : 583 (toysat) S 578 581 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27547538 1332285440 105677 33554432000 4194304 16246674 140733575457536 139722437401840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=581/tid=584] ppid=578 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/581/task/584/stat : 584 (toysat) S 578 581 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27547538 1332285440 105679 33554432000 4194304 16246674 140733575457536 139722426928304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.5004 s]
/proc/loadavg: 2.06 2.08 2.08 3/265 585
/proc/meminfo: memFree=30257204/32872528 swapFree=7556/7556
[pid=581] ppid=578 vsize=1301060 CPUtime=1.49 cores=4-7,12-15
/proc/581/stat : 581 (toysat) R 578 581 32495 0 -1 4202496 208612 0 0 0 123 26 0 0 20 0 4 0 27547538 1332285440 208911 33554432000 4194304 16246674 140733575457536 140733575439424 13780501 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/581/statm: 325265 208918 882 2943 0 322159 0
[pid=581/tid=582] ppid=578 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/581/task/582/stat : 582 (toysat) S 578 581 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27547538 1332285440 208934 33554432000 4194304 16246674 140733575457536 139722447891696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=581/tid=583] ppid=578 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/581/task/583/stat : 583 (toysat) S 578 581 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27547538 1332285440 208944 33554432000 4194304 16246674 140733575457536 139722437401840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=581/tid=584] ppid=578 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/581/task/584/stat : 584 (toysat) S 578 581 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27547538 1332285440 208957 33554432000 4194304 16246674 140733575457536 139722426928304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10041 s]
/proc/loadavg: 2.06 2.08 2.08 3/264 585
/proc/meminfo: memFree=29795800/32872528 swapFree=7556/7556
[pid=581] ppid=578 vsize=1313348 CPUtime=3.08 cores=4-7,12-15
/proc/581/stat : 581 (toysat) R 578 581 32495 0 -1 4202496 269311 0 0 0 275 33 0 0 20 0 4 0 27547538 1344868352 269610 33554432000 4194304 16246674 140733575457536 140733575439424 5827577 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/581/statm: 328337 269610 888 2943 0 325231 0
[pid=581/tid=582] ppid=578 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/581/task/582/stat : 582 (toysat) S 578 581 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27547538 1344868352 269610 33554432000 4194304 16246674 140733575457536 139722447891696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=581/tid=583] ppid=578 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/581/task/583/stat : 583 (toysat) S 578 581 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27547538 1344868352 269610 33554432000 4194304 16246674 140733575457536 139722437401840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=581/tid=584] ppid=578 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/581/task/584/stat : 584 (toysat) S 578 581 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27547538 1344868352 269610 33554432000 4194304 16246674 140733575457536 139722426928304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1313348

[startup+6.30043 s]
/proc/loadavg: 2.06 2.08 2.08 3/264 585
/proc/meminfo: memFree=29794720/32872528 swapFree=7556/7556
[pid=581] ppid=578 vsize=1313348 CPUtime=6.28 cores=4-7,12-15
/proc/581/stat : 581 (toysat) R 578 581 32495 0 -1 4202496 269522 0 0 0 595 33 0 0 20 0 4 0 27547538 1344868352 269821 33554432000 4194304 16246674 140733575457536 140733575439424 5823447 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/581/statm: 328337 269821 888 2943 0 325231 0
[pid=581/tid=582] ppid=578 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/581/task/582/stat : 582 (toysat) S 578 581 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27547538 1344868352 269821 33554432000 4194304 16246674 140733575457536 139722447891696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=581/tid=583] ppid=578 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/581/task/583/stat : 583 (toysat) S 578 581 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27547538 1344868352 269821 33554432000 4194304 16246674 140733575457536 139722437401840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=581/tid=584] ppid=578 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/581/task/584/stat : 584 (toysat) S 578 581 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27547538 1344868352 269821 33554432000 4194304 16246674 140733575457536 139722426928304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.05 2.08 2.08 3/264 585
/proc/meminfo: memFree=29794680/32872528 swapFree=7556/7556
[pid=581] ppid=578 vsize=1313348 CPUtime=12.68 cores=4-7,12-15
/proc/581/stat : 581 (toysat) R 578 581 32495 0 -1 4202496 269523 0 0 0 1235 33 0 0 20 0 4 0 27547538 1344868352 269822 33554432000 4194304 16246674 140733575457536 140733575439424 5712760 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/581/statm: 328337 269822 889 2943 0 325231 0
[pid=581/tid=582] ppid=578 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/581/task/582/stat : 582 (toysat) S 578 581 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27547538 1344868352 269822 33554432000 4194304 16246674 140733575457536 139722447891696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=581/tid=583] ppid=578 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/581/task/583/stat : 583 (toysat) S 578 581 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27547538 1344868352 269822 33554432000 4194304 16246674 140733575457536 139722437401840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=581/tid=584] ppid=578 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/581/task/584/stat : 584 (toysat) S 578 581 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27547538 1344868352 269822 33554432000 4194304 16246674 140733575457536 139722426928304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1313348

[startup+25.5006 s]
/proc/loadavg: 2.04 2.07 2.08 3/264 586
/proc/meminfo: memFree=29795504/32872528 swapFree=7556/7556
[pid=581] ppid=578 vsize=1313348 CPUtime=25.48 cores=4-7,12-15
/proc/581/stat : 581 (toysat) R 578 581 32495 0 -1 4202496 269526 0 0 0 2515 33 0 0 20 0 4 0 27547538 1344868352 269825 33554432000 4194304 16246674 140733575457536 140733575439424 12415740 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/581/statm: 328337 269825 892 2943 0 325231 0
[pid=581/tid=582] ppid=578 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/581/task/582/stat : 582 (toysat) S 578 581 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27547538 1344868352 269825 33554432000 4194304 16246674 140733575457536 139722447891696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=581/tid=583] ppid=578 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/581/task/583/stat : 583 (toysat) S 578 581 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27547538 1344868352 269825 33554432000 4194304 16246674 140733575457536 139722437401840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=581/tid=584] ppid=578 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/581/task/584/stat : 584 (toysat) S 578 581 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27547538 1344868352 269825 33554432000 4194304 16246674 140733575457536 139722426928304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1006 s]
/proc/loadavg: 2.03 2.07 2.08 3/264 586
/proc/meminfo: memFree=29796340/32872528 swapFree=7556/7556
[pid=581] ppid=578 vsize=1313348 CPUtime=51.08 cores=4-7,12-15
/proc/581/stat : 581 (toysat) R 578 581 32495 0 -1 4202496 269526 0 0 0 5074 34 0 0 20 0 4 0 27547538 1344868352 269825 33554432000 4194304 16246674 140733575457536 140733575439424 5822428 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/581/statm: 328337 269825 892 2943 0 325231 0
[pid=581/tid=582] ppid=578 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/581/task/582/stat : 582 (toysat) S 578 581 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27547538 1344868352 269825 33554432000 4194304 16246674 140733575457536 139722447891696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=581/tid=583] ppid=578 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/581/task/583/stat : 583 (toysat) S 578 581 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27547538 1344868352 269825 33554432000 4194304 16246674 140733575457536 139722437401840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=581/tid=584] ppid=578 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/581/task/584/stat : 584 (toysat) S 578 581 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27547538 1344868352 269825 33554432000 4194304 16246674 140733575457536 139722426928304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 2.05 2.07 2.08 3/265 588
/proc/meminfo: memFree=29789736/32872528 swapFree=7556/7556
[pid=581] ppid=578 vsize=1319492 CPUtime=102.28 cores=4-7,12-15
/proc/581/stat : 581 (toysat) R 578 581 32495 0 -1 4202496 271057 0 0 0 10194 34 0 0 20 0 4 0 27547538 1351159808 271356 33554432000 4194304 16246674 140733575457536 140733575439424 5546205 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/581/statm: 329873 271356 892 2943 0 326767 0
[pid=581/tid=582] ppid=578 vsize=1319492 CPUtime=0 cores=4-7,12-15
/proc/581/task/582/stat : 582 (toysat) S 578 581 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27547538 1351159808 271356 33554432000 4194304 16246674 140733575457536 139722447891696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=581/tid=583] ppid=578 vsize=1319492 CPUtime=0 cores=4-7,12-15
/proc/581/task/583/stat : 583 (toysat) S 578 581 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27547538 1351159808 271356 33554432000 4194304 16246674 140733575457536 139722437401840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=581/tid=584] ppid=578 vsize=1319492 CPUtime=0 cores=4-7,12-15
/proc/581/task/584/stat : 584 (toysat) S 578 581 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27547538 1351159808 271356 33554432000 4194304 16246674 140733575457536 139722426928304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1319492


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

/proc/581/task/584/stat : 584 (toysat) S 578 581 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275443 33554432000 4194304 16246674 140733575457536 139722426928304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1335876

[startup+1302.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/265 838
/proc/meminfo: memFree=29780164/32872528 swapFree=7556/7556
[pid=581] ppid=578 vsize=1335876 CPUtime=1301.83 cores=4-7,12-15
/proc/581/stat : 581 (toysat) R 578 581 32495 0 -1 4202496 275500 0 0 0 130142 41 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 140733575439424 5712608 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/581/statm: 333969 275460 892 2943 0 330863 0
[pid=581/tid=582] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/582/stat : 582 (toysat) S 578 581 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722447891696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=581/tid=583] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/583/stat : 583 (toysat) S 578 581 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722437401840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=581/tid=584] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/584/stat : 584 (toysat) S 578 581 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722426928304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1335876

[startup+1362.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/265 839
/proc/meminfo: memFree=29779656/32872528 swapFree=7556/7556
[pid=581] ppid=578 vsize=1335876 CPUtime=1361.82 cores=4-7,12-15
/proc/581/stat : 581 (toysat) R 578 581 32495 0 -1 4202496 275500 0 0 0 136140 42 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 140733575439424 5822604 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/581/statm: 333969 275460 892 2943 0 330863 0
[pid=581/tid=582] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/582/stat : 582 (toysat) S 578 581 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722447891696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=581/tid=583] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/583/stat : 583 (toysat) S 578 581 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722437401840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=581/tid=584] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/584/stat : 584 (toysat) S 578 581 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722426928304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1335876

[startup+1422.3 s]
/proc/loadavg: 2.03 2.07 2.08 3/265 840
/proc/meminfo: memFree=29779404/32872528 swapFree=7556/7556
[pid=581] ppid=578 vsize=1335876 CPUtime=1421.82 cores=4-7,12-15
/proc/581/stat : 581 (toysat) R 578 581 32495 0 -1 4202496 275500 0 0 0 142140 42 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 140733575439424 12483399 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/581/statm: 333969 275460 892 2943 0 330863 0
[pid=581/tid=582] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/582/stat : 582 (toysat) S 578 581 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722447891696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=581/tid=583] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/583/stat : 583 (toysat) S 578 581 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722437401840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=581/tid=584] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/584/stat : 584 (toysat) S 578 581 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722426928304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1335876

[startup+1482.3 s]
/proc/loadavg: 2.05 2.07 2.08 3/265 841
/proc/meminfo: memFree=29779396/32872528 swapFree=7556/7556
[pid=581] ppid=578 vsize=1335876 CPUtime=1481.8 cores=4-7,12-15
/proc/581/stat : 581 (toysat) R 578 581 32495 0 -1 4202496 275500 0 0 0 148137 43 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 140733575439424 13950199 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/581/statm: 333969 275460 892 2943 0 330863 0
[pid=581/tid=582] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/582/stat : 582 (toysat) S 578 581 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722447891696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=581/tid=583] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/583/stat : 583 (toysat) S 578 581 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722437401840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=581/tid=584] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/584/stat : 584 (toysat) S 578 581 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722426928304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1335876

[startup+1542.31 s]
/proc/loadavg: 2.05 2.07 2.08 3/266 845
/proc/meminfo: memFree=29778448/32872528 swapFree=7556/7556
[pid=581] ppid=578 vsize=1335876 CPUtime=1541.8 cores=4-7,12-15
/proc/581/stat : 581 (toysat) R 578 581 32495 0 -1 4202496 275500 0 0 0 154137 43 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 140733575439424 4220880 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/581/statm: 333969 275460 892 2943 0 330863 0
[pid=581/tid=582] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/582/stat : 582 (toysat) S 578 581 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722447891696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=581/tid=583] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/583/stat : 583 (toysat) S 578 581 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722437401840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=581/tid=584] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/584/stat : 584 (toysat) S 578 581 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722426928304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1335876

[startup+1602.3 s]
/proc/loadavg: 2.08 2.07 2.08 3/265 847
/proc/meminfo: memFree=29778068/32872528 swapFree=7556/7556
[pid=581] ppid=578 vsize=1335876 CPUtime=1601.78 cores=4-7,12-15
/proc/581/stat : 581 (toysat) R 578 581 32495 0 -1 4202496 275500 0 0 0 160134 44 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 140733575439424 6012041 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/581/statm: 333969 275460 892 2943 0 330863 0
[pid=581/tid=582] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/582/stat : 582 (toysat) S 578 581 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722447891696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=581/tid=583] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/583/stat : 583 (toysat) S 578 581 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722437401840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=581/tid=584] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/584/stat : 584 (toysat) S 578 581 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722426928304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1335876

[startup+1662.3 s]
/proc/loadavg: 2.10 2.08 2.08 3/265 848
/proc/meminfo: memFree=29778436/32872528 swapFree=7556/7556
[pid=581] ppid=578 vsize=1335876 CPUtime=1661.77 cores=4-7,12-15
/proc/581/stat : 581 (toysat) R 578 581 32495 0 -1 4202496 275500 0 0 0 166132 45 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 140733575439424 14628944 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/581/statm: 333969 275460 892 2943 0 330863 0
[pid=581/tid=582] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/582/stat : 582 (toysat) S 578 581 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722447891696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=581/tid=583] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/583/stat : 583 (toysat) S 578 581 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722437401840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=581/tid=584] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/584/stat : 584 (toysat) S 578 581 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722426928304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1335876

[startup+1722.3 s]
/proc/loadavg: 2.08 2.08 2.08 3/265 849
/proc/meminfo: memFree=29777576/32872528 swapFree=7556/7556
[pid=581] ppid=578 vsize=1335876 CPUtime=1721.76 cores=4-7,12-15
/proc/581/stat : 581 (toysat) R 578 581 32495 0 -1 4202496 275500 0 0 0 172131 45 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 140733575439424 5672188 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/581/statm: 333969 275460 892 2943 0 330863 0
[pid=581/tid=582] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/582/stat : 582 (toysat) S 578 581 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722447891696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=581/tid=583] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/583/stat : 583 (toysat) S 578 581 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722437401840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=581/tid=584] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/584/stat : 584 (toysat) S 578 581 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722426928304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1335876

[startup+1782.3 s]
/proc/loadavg: 2.03 2.06 2.08 3/265 850
/proc/meminfo: memFree=29778060/32872528 swapFree=7556/7556
[pid=581] ppid=578 vsize=1335876 CPUtime=1781.75 cores=4-7,12-15
/proc/581/stat : 581 (toysat) R 578 581 32495 0 -1 4202496 275500 0 0 0 178129 46 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 140733575439424 5827784 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/581/statm: 333969 275460 892 2943 0 330863 0
[pid=581/tid=582] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/582/stat : 582 (toysat) S 578 581 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722447891696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=581/tid=583] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/583/stat : 583 (toysat) S 578 581 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722437401840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=581/tid=584] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/584/stat : 584 (toysat) S 578 581 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722426928304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1335876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.02 2.06 2.08 3/265 851
/proc/meminfo: memFree=29777852/32872528 swapFree=7556/7556
[pid=581] ppid=578 vsize=1335876 CPUtime=1800.05 cores=4-7,12-15
/proc/581/stat : 581 (toysat) R 578 581 32495 0 -1 4202496 275500 0 0 0 179959 46 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 140733575456712 12415740 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/581/statm: 333969 275460 892 2943 0 330863 0
[pid=581/tid=582] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/582/stat : 582 (toysat) S 578 581 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722447891696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=581/tid=583] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/583/stat : 583 (toysat) S 578 581 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722437401840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=581/tid=584] ppid=578 vsize=1335876 CPUtime=0 cores=4-7,12-15
/proc/581/task/584/stat : 584 (toysat) S 578 581 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27547538 1367937024 275460 33554432000 4194304 16246674 140733575457536 139722426928304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1335876

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.6
CPU system time (s): 0.467928
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 1335876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.467928
maximum resident set size= 1101840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275500
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= 357
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.12377 second user time and 12.0762 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 14:44:54
IDJOB=4115925
IDBENCH=109406
IDSOLVER=2542
FILE ID=node132/4115925-1466945093
RUNJOBID= node132-1466939688-32512
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

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

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

MD5SUM BENCH= 84f041f353ac1b81b2fd2c2b0e38b90c
RANDOM SEED=1719040544

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30873116 kB
Buffers:           11204 kB
Cached:           171388 kB
SwapCached:         1788 kB
Active:          1159616 kB
Inactive:         124788 kB
Active(anon):    1102020 kB
Inactive(anon):     1700 kB
Active(file):      57596 kB
Inactive(file):   123088 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098632 kB
Dirty:             16984 kB
Writeback:             0 kB
AnonPages:       1201132 kB
Mapped:            10948 kB
Shmem:                 0 kB
Slab:             569552 kB
SReclaimable:      10168 kB
SUnreclaim:       559384 kB
KernelStack:        2248 kB
PageTables:         5792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1251460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1185792 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71496 MiB
End job on node132 at 2016-06-26 15:14:54