Trace number 4117037

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size144-round22-2.opb
MD5SUM1603e350e855b53698c29e37bc064a30
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 variables4128
Total number of constraints8720
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)432
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-26T21:16:18+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-4117037-1466968577.opb"]
0.00/0.01	c use --random-gen="2287495202 1259914130 1801243039 1320593245 1502071990 442717507 357383214 842363090 189036780 6104146 2222598517 122119110 2383287098 3793603210 2036253347 396828742 2896117496 1303474448 3672439530 1177178607 950126366 2040959178 270219370 2019671467 2913404724 2201858934 3527632821 557545511 3825541463 2741946116 2974627716 4014669451 541994161 1250884582 2443255857 413044554 2224353258 2600214607 1668077073 3787632508 830598255 3064058397 3618406087 1761906405 542715752 288189575 1437198045 1989035970 4047481306 3317938205 1452633240 4142878012 1894634164 3843261950 535551270 3052950195 2900266922 3772031571 133578575 56292176 4048504673 4231207461 3315459816 3273735574 3805303556 1730872142 1430256442 1059568068 639504919 203567155 2156462396 2780508789 1639679371 1968478686 3111729092 161874573 3157520362 896013493 3193876484 3286086011 1716625513 2151404458 3916112576 2383605257 1245927015 3531724046 3460489382 2379147290 2012097839 607213918 1150134031 4235942386 3535490110 484688387 1799366064 2100939912 3161829321 407550462 2807889958 2113499686 5815402 947337592 3655423453 3538996907 810911412 622221059 800375126 602682334 4177330478 1718128732 1695665509 4231253666 3350726912 1151862354 922071881 441618831 542749813 3179221183 2291957123 855492999 3009201351 2598281966 2582862669 1674623112 3847494187 3793009722 77316156 3196134649 1290388226 3460844913 3092631121 4222300019 2482028206 3390868253 545570791 1879014785 137886503 2950848202 273454337 3061432852 3179824095 2161797889 4126814665 3893950590 495417855 4152733529 767363782 3827164570 31186567 795678594 190755420 2025827036 2203177972 2187088485 3844521117 1682876419 415753114 1874945279 2642159128 3784148527 2330048592 766224195 1461594251 197953033 3404275790 378032085 1093425270 2576096681 1229957895 193781997 2249903401 2271443614 2940728780 3619106476 231583107 2310631817 905599535 457511565 659731691 1782597612 675129596 955688672 2785719155 3896081243 2595518892 753353804 3404624063 1322064898 67630256 3680223462 1380943613 2852758191 3064197473 1971807727 2049409592 3601880010 3248303187 2856318515 1633479507 3103374470 1879648941 462323945 1089246885 4048243266 665771677 1570085116 574285205 99275519 2641831838 2714909371 3412377051 440510964 2570862544 1321829053 758146324 2856498902 4035808723 2985938745 1820537182 4198562347 2906926038 1666503062 2260874566 2818416487 3514603367 1214730070 498876281 2743594607 1707113441 4115638408 3123493447 3190475385 758743753 3341309007 1490777222 1294527955 1916121293 4040667902 138178161 3131874010 4231536483 2166465908 4082843788 1308038671 1959268522 3655206217 1205074985 2292009016 3488098082 265122084 2137961709 2479697198 4186410685 1581424376 2189739731 3289066800 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8720
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     4234      0 |      835 |        0
0.29/0.33	c  0.1s |       1 |      481 |      100 |     4234      0 |      836 |      756
0.39/0.42	c  0.2s |       2 |     1779 |      250 |     4658      0 |      836 |      756
0.59/0.62	c  0.4s |       3 |     2829 |      475 |     5124      0 |      836 |      756
0.79/0.84	c  0.6s |       4 |     6272 |      813 |     5637      0 |      837 |      756
1.29/1.35	c  1.1s |       5 |     7721 |     1320 |     6201      0 |      837 |      756
2.30/2.33	c  2.1s |       6 |    10329 |     2081 |     7505      0 |      837 |      756
2.99/3.02	c  2.8s |       7 |    14731 |     3223 |     8256      0 |      837 |      756
4.89/4.93	c  4.7s |       8 |    19616 |     4936 |     9082      0 |      837 |      756
6.49/6.56	c  6.3s |       9 |    34536 |     7506 |     9991      0 |      838 |      756
8.59/8.63	c  8.4s |       9 |    39312 |     9106 |     9991      0 |      838 |      756
10.59/10.68	c 10.4s |       9 |    41014 |    10606 |     9991      0 |      838 |      756
11.99/12.02	c 11.8s |      10 |    41879 |    11361 |    10991      0 |      838 |      756
14.09/14.12	c 13.9s |      10 |    49402 |    13261 |    10991      0 |      838 |      756
16.09/16.17	c 15.9s |      10 |    50733 |    14461 |    10991      0 |      838 |      756
18.19/18.23	c 18.0s |      10 |    51827 |    15461 |    10991      1 |      838 |      756
20.29/20.30	c 20.0s |      10 |    55383 |    16861 |    10991      1 |      838 |      756
20.69/20.75	c 20.5s |      11 |    55722 |    17144 |    12091      1 |      838 |      756
22.79/22.88	c 22.6s |      11 |    61743 |    19244 |    12091      1 |      838 |      756
24.99/25.00	c 24.7s |      11 |    64320 |    20944 |    12091      1 |      838 |      756
26.99/27.09	c 26.8s |      11 |    65926 |    22144 |    12091      1 |      838 |      756
29.19/29.28	c 29.0s |      11 |    67641 |    23344 |    12091      2 |      838 |      756
31.39/31.46	c 31.2s |      11 |    68986 |    24444 |    12091      2 |      838 |      756
33.59/33.60	c 33.3s |      11 |    70686 |    25644 |    12091      2 |      838 |      756
33.89/33.91	c 33.7s |      12 |    70886 |    25819 |    13301      2 |      838 |      756
35.89/35.98	c 35.7s |      12 |    77489 |    27719 |    13301      2 |      838 |      756
37.99/38.01	c 37.8s |      12 |    79186 |    29119 |    13301      2 |      838 |      756
40.09/40.14	c 39.9s |      12 |    80392 |    30219 |    13301      2 |      838 |      756
42.09/42.19	c 41.9s |      12 |    81659 |    31319 |    13301      2 |      838 |      756
44.19/44.20	c 43.9s |      12 |    82639 |    32219 |    13301      3 |      838 |      756
46.20/46.24	c 46.0s |      12 |    86680 |    33719 |    13301      3 |      838 |      756
48.29/48.38	c 48.1s |      12 |    89333 |    35319 |    13301      3 |      838 |      756
50.49/50.55	c 50.3s |      12 |    90631 |    36519 |    13301      3 |      838 |      756
52.69/52.70	c 52.4s |      12 |    91870 |    37619 |    13301      3 |      838 |      756
54.79/54.89	c 54.6s |      12 |    93152 |    38619 |    14632      3 |      838 |      756
55.09/55.19	c 54.9s |      13 |    93813 |    38832 |    14632      3 |      838 |      756
57.19/57.20	c 56.9s |      13 |   103299 |    40932 |    14632      4 |      838 |      756
59.19/59.26	c 59.0s |      13 |   108785 |    43032 |    14632      4 |      838 |      756
61.19/61.28	c 61.0s |      13 |   110227 |    44132 |    14632      4 |      838 |      756
63.29/63.39	c 63.1s |      13 |   112120 |    45532 |    14632      4 |      838 |      756
65.38/65.44	c 65.2s |      13 |   114022 |    46632 |    14632      4 |      838 |      756
67.48/67.59	c 67.3s |      13 |   116049 |    47932 |    14632      4 |      838 |      756
69.58/69.68	c 69.4s |      13 |   118533 |    49332 |    14632      5 |      838 |      756
71.68/71.70	c 71.4s |      13 |   121036 |    50732 |    14632      5 |      838 |      756
73.69/73.80	c 73.5s |      13 |   124772 |    52532 |    14632      5 |      838 |      756
75.78/75.81	c 75.5s |      13 |   126504 |    53832 |    14632      5 |      838 |      756
77.78/77.82	c 77.6s |      13 |   127922 |    55032 |    14632      5 |      838 |      756
79.78/79.88	c 79.6s |      13 |   129058 |    56032 |    14632      5 |      838 |      756
81.88/81.96	c 81.7s |      13 |   130117 |    56932 |    14632      5 |      838 |      756
84.08/84.11	c 83.9s |      13 |   131214 |    57832 |    14632      5 |      838 |      756
85.38/85.48	c 85.2s |      14 |   131793 |    58352 |    16096      5 |      838 |      756
87.48/87.56	c 87.3s |      14 |   138738 |    60352 |    16096      6 |      838 |      756
89.58/89.67	c 89.4s |      14 |   140736 |    61852 |    16096      6 |      838 |      756
91.68/91.75	c 91.5s |      14 |   142614 |    63252 |    16096      6 |      838 |      756
93.68/93.77	c 93.5s |      14 |   144336 |    64552 |    16096      6 |      838 |      756
95.79/95.86	c 95.6s |      14 |   146087 |    65852 |    16096      6 |      838 |      756
97.89/97.96	c 97.7s |      14 |   147304 |    66852 |    16096      6 |      838 |      756
100.08/100.18	c 99.9s |      14 |   148561 |    67852 |    16096      6 |      838 |      756
102.38/102.43	c  102s |      14 |   149569 |    68652 |    16096      7 |      838 |      756
104.48/104.51	c  104s |      14 |   150670 |    69552 |    16096      7 |      838 |      756
106.57/106.66	c  106s |      14 |   151881 |    70452 |    16096      7 |      838 |      756
108.57/108.68	c  108s |      14 |   154251 |    71652 |    16096      7 |      838 |      756
110.77/110.85	c  110s |      14 |   157278 |    73152 |    16096      7 |      838 |      756
112.87/112.98	c  112s |      14 |   158969 |    74352 |    16096      7 |      838 |      756
115.17/115.28	c  115s |      14 |   160191 |    75252 |    16096      7 |      838 |      756
117.37/117.44	c  117s |      14 |   161393 |    76152 |    16096      7 |      838 |      756
119.47/119.58	c  119s |      14 |   162615 |    77052 |    16096      7 |      838 |      756
121.67/121.79	c  121s |      14 |   163726 |    77952 |    16096      7 |      838 |      756
123.77/123.88	c  123s |      14 |   164538 |    78652 |    16096      8 |      838 |      756
125.87/125.93	c  125s |      14 |   165490 |    79452 |    16096      8 |      838 |      756
128.07/128.13	c  127s |      14 |   166604 |    80352 |    16096      8 |      838 |      756
130.17/130.22	c  129s |      14 |   168541 |    81552 |    16096      8 |      838 |      756
132.17/132.24	c  131s |      14 |   169608 |    82452 |    16096      8 |      838 |      756
134.27/134.36	c  134s |      14 |   170545 |    83252 |    16096      8 |      838 |      756
136.47/136.56	c  136s |      14 |   171464 |    84052 |    16096      8 |      838 |      756
138.77/138.83	c  138s |      14 |   172243 |    84752 |    16096      8 |      838 |      756
140.97/141.00	c  140s |      14 |   173196 |    85552 |    16096      8 |      838 |      756
143.17/143.21	c  142s |      14 |   174131 |    86352 |    16096      8 |      838 |      756
145.37/145.42	c  145s |      14 |   175048 |    87152 |    17706      8 |      838 |      756
146.77/146.87	c  146s |      15 |   175612 |    87632 |    17706      8 |      838 |      756
148.87/148.93	c  148s |      15 |   181700 |    89232 |    17706      9 |      838 |      756
150.87/150.95	c  150s |      15 |   183983 |    90932 |    17706      9 |      838 |      756
152.87/152.96	c  152s |      15 |   185634 |    92332 |    17706      9 |      838 |      756
154.96/155.09	c  154s |      15 |   187115 |    93632 |    17706      9 |      838 |      756
157.16/157.27	c  157s |      15 |   188475 |    94832 |    17706      9 |      838 |      756
159.26/159.39	c  159s |      15 |   189859 |    95932 |    17706      9 |      838 |      756
161.46/161.53	c  161s |      15 |   193499 |    97632 |    17706      9 |      838 |      756
163.46/163.58	c  163s |      15 |   194856 |    98932 |    17706      9 |      838 |      756
165.56/165.64	c  165s |      15 |   195910 |    99932 |    17706     10 |      838 |      756
167.66/167.70	c  167s |      15 |   197201 |   101132 |    17706     10 |      838 |      756
169.66/169.76	c  169s |      15 |   198507 |   102332 |    17706     10 |      838 |      756
171.76/171.82	c  171s |      15 |   199707 |   103432 |    17706     10 |      838 |      756
173.77/173.90	c  173s |      15 |   200736 |   104432 |    17706     10 |      838 |      756
175.86/175.98	c  175s |      15 |   201765 |   105432 |    17706     10 |      838 |      756
177.96/178.07	c  177s |      15 |   202783 |   106332 |    17706     10 |      838 |      756
180.16/180.25	c  179s |      15 |   203502 |   107032 |    17706     10 |      838 |      756
182.36/182.40	c  182s |      15 |   204260 |   107732 |    17706     10 |      838 |      756
184.56/184.67	c  184s |      15 |   204992 |   108432 |    17706     10 |      838 |      756
186.76/186.89	c  186s |      15 |   205849 |   109232 |    17706     10 |      838 |      756
188.96/189.09	c  188s |      15 |   206728 |   110032 |    17706     11 |      838 |      756
191.06/191.14	c  190s |      15 |   207631 |   110832 |    17706     11 |      838 |      756
193.16/193.24	c  192s |      15 |   208473 |   111632 |    17706     11 |      838 |      756
195.26/195.38	c  195s |      15 |   209312 |   112432 |    17706     11 |      838 |      756
197.56/197.61	c  197s |      15 |   210030 |   113132 |    17706     11 |      838 |      756
199.66/199.70	c  199s |      15 |   210769 |   113832 |    17706     11 |      838 |      756
201.76/201.85	c  201s |      15 |   211485 |   114532 |    17706     11 |      838 |      756
204.06/204.11	c  203s |      15 |   212116 |   115132 |    17706     11 |      838 |      756
206.36/206.44	c  206s |      15 |   212853 |   115832 |    17706     11 |      838 |      756
208.46/208.56	c  208s |      15 |   213606 |   116532 |    17706     11 |      838 |      756
210.56/210.64	c  210s |      15 |   214382 |   117232 |    17706     11 |      838 |      756
212.85/212.93	c  212s |      15 |   215120 |   117932 |    17706     11 |      838 |      756
214.85/214.99	c  214s |      15 |   215750 |   118532 |    17706     11 |      838 |      756
217.15/217.22	c  216s |      15 |   216395 |   119132 |    17706     11 |      838 |      756
219.35/219.42	c  219s |      15 |   217020 |   119732 |    17706     11 |      838 |      756
221.65/221.71	c  221s |      15 |   217653 |   120332 |    17706     11 |      838 |      756
223.75/223.85	c  223s |      15 |   218397 |   121032 |    17706     12 |      838 |      756
225.85/225.98	c  225s |      15 |   219241 |   121832 |    17706     12 |      838 |      756
228.05/228.15	c  227s |      15 |   220077 |   122632 |    17706     12 |      838 |      756
230.25/230.36	c  230s |      15 |   220911 |   123432 |    17706     12 |      838 |      756
232.45/232.52	c  232s |      15 |   221750 |   124232 |    17706     12 |      838 |      756
234.45/234.55	c  234s |      15 |   222491 |   124932 |    17706     12 |      838 |      756
236.56/236.62	c  236s |      15 |   223226 |   125632 |    17706     12 |      838 |      756
238.76/238.85	c  238s |      15 |   223953 |   126332 |    17706     12 |      838 |      756
241.05/241.18	c  240s |      15 |   224687 |   127032 |    17706     12 |      838 |      756
243.45/243.54	c  243s |      15 |   225296 |   127632 |    17706     12 |      838 |      756
245.75/245.83	c  245s |      15 |   225930 |   128232 |    17706     12 |      838 |      756
247.85/247.93	c  247s |      15 |   226547 |   128832 |    17706     12 |      838 |      756
249.95/250.01	c  249s |      15 |   227178 |   129432 |    17706     12 |      838 |      756
251.95/252.09	c  251s |      15 |   227831 |   130032 |    17706     12 |      838 |      756
254.45/254.50	c  254s |      15 |   228450 |   130632 |    17706     12 |      838 |      756
256.75/256.86	c  256s |      15 |   229074 |   131232 |    19477     12 |      838 |      756
258.25/258.31	c  258s |      16 |   229403 |   131552 |    19477     12 |      838 |      756
260.25/260.34	c  260s |      16 |   235331 |   133052 |    19477     13 |      838 |      756
262.35/262.48	c  262s |      16 |   237915 |   134452 |    19477     13 |      838 |      756
264.45/264.55	c  264s |      16 |   239001 |   135252 |    19477     13 |      838 |      756
266.55/266.66	c  266s |      16 |   241004 |   136452 |    19477     13 |      838 |      756
268.55/268.68	c  268s |      16 |   242477 |   137452 |    19477     13 |      838 |      756
270.56/270.68	c  270s |      16 |   243793 |   138352 |    19477     13 |      838 |      756
272.86/272.95	c  272s |      16 |   245111 |   139252 |    19477     13 |      838 |      756
275.06/275.16	c  274s |      16 |   246877 |   140352 |    19477     13 |      838 |      756
277.16/277.23	c  276s |      16 |   248123 |   141252 |    19477     13 |      838 |      756
279.15/279.25	c  278s |      16 |   249198 |   142052 |    19477     13 |      838 |      756
281.45/281.53	c  281s |      16 |   250222 |   142852 |    19477     13 |      838 |      756
283.45/283.56	c  283s |      16 |   251322 |   143652 |    19477     14 |      838 |      756
285.65/285.73	c  285s |      16 |   254100 |   145052 |    19477     14 |      838 |      756
287.65/287.76	c  287s |      16 |   255546 |   146052 |    19477     14 |      838 |      756
289.85/289.94	c  289s |      16 |   256672 |   146952 |    19477     14 |      838 |      756
292.05/292.16	c  291s |      16 |   257509 |   147652 |    19477     14 |      838 |      756
294.15/294.20	c  293s |      16 |   258501 |   148452 |    19477     14 |      838 |      756
296.25/296.31	c  296s |      16 |   259400 |   149152 |    19477     14 |      838 |      756
298.45/298.50	c  298s |      16 |   260725 |   150052 |    19477     14 |      838 |      756
300.65/300.78	c  300s |      16 |   261837 |   150952 |    19477     14 |      838 |      756
302.75/302.86	c  302s |      16 |   262667 |   151652 |    19477     14 |      838 |      756
304.94/305.04	c  304s |      16 |   263474 |   152352 |    19477     14 |      838 |      756
307.04/307.13	c  306s |      16 |   264359 |   153052 |    19477     14 |      838 |      756
309.15/309.29	c  309s |      16 |   265206 |   153752 |    19477     14 |      838 |      756
311.25/311.37	c  311s |      16 |   265800 |   154252 |    19477     15 |      838 |      756
313.74/313.86	c  313s |      16 |   267357 |   155352 |    19477     15 |      838 |      756
315.75/315.88	c  315s |      16 |   268610 |   156252 |    19477     15 |      838 |      756
317.74/317.89	c  317s |      16 |   269845 |   157152 |    19477     15 |      838 |      756
319.84/319.98	c  319s |      16 |   270891 |   157952 |    19477     15 |      838 |      756
322.14/322.24	c  321s |      16 |   271900 |   158752 |    19477     15 |      838 |      756
324.34/324.50	c  324s |      16 |   273112 |   159652 |    19477     15 |      838 |      756
326.54/326.64	c  326s |      16 |   273986 |   160352 |    19477     15 |      838 |      756
328.74/328.83	c  328s |      16 |   274815 |   161052 |    19477     15 |      838 |      756
330.84/330.99	c  330s |      16 |   275735 |   161752 |    19477     15 |      838 |      756
332.94/333.07	c  332s |      16 |   276682 |   162452 |    19477     15 |      838 |      756
335.14/335.23	c  334s |      16 |   277611 |   163152 |    19477     15 |      838 |      756
337.34/337.47	c  337s |      16 |   278328 |   163752 |    19477     15 |      838 |      756
339.44/339.58	c  339s |      16 |   279058 |   164352 |    19477     15 |      838 |      756
341.84/341.91	c  341s |      16 |   280016 |   165052 |    19477     15 |      838 |      756
344.13/344.23	c  343s |      16 |   280607 |   165552 |    19477     16 |      838 |      756
346.23/346.36	c  346s |      16 |   281586 |   166352 |    19477     16 |      838 |      756
348.33/348.48	c  348s |      16 |   282911 |   167252 |    19477     16 |      838 |      756
350.53/350.62	c  350s |      16 |   283946 |   168052 |    19477     16 |      838 |      756
352.83/352.95	c  352s |      16 |   284946 |   168852 |    19477     16 |      838 |      756
355.03/355.16	c  354s |      16 |   285786 |   169552 |    19477     16 |      838 |      756
357.23/357.38	c  357s |      16 |   286799 |   170352 |    19477     16 |      838 |      756
359.33/359.47	c  359s |      16 |   287650 |   171052 |    19477     16 |      838 |      756
361.73/361.83	c  361s |      16 |   288448 |   171752 |    19477     16 |      838 |      756
363.83/363.90	c  363s |      16 |   289268 |   172452 |    19477     16 |      838 |      756
365.83/365.97	c  365s |      16 |   290072 |   173152 |    19477     16 |      838 |      756
368.13/368.28	c  368s |      16 |   290861 |   173852 |    19477     16 |      838 |      756
370.44/370.51	c  370s |      16 |   291564 |   174452 |    19477     16 |      838 |      756
372.74/372.88	c  372s |      16 |   292230 |   175052 |    19477     16 |      838 |      756
374.84/374.99	c  374s |      16 |   292931 |   175652 |    19477     16 |      838 |      756
376.94/377.00	c  376s |      16 |   293668 |   176252 |    19477     16 |      838 |      756
379.04/379.16	c  378s |      16 |   294461 |   176852 |    19477     17 |      838 |      756
381.14/381.21	c  380s |      16 |   295313 |   177552 |    19477     17 |      838 |      756
383.33/383.47	c  383s |      16 |   296490 |   178452 |    19477     17 |      838 |      756
385.53/385.64	c  385s |      16 |   297462 |   179252 |    19477     17 |      838 |      756
387.53/387.69	c  387s |      16 |   298375 |   179952 |    19477     17 |      838 |      756
389.63/389.76	c  389s |      16 |   299341 |   180652 |    19477     17 |      838 |      756
391.83/391.98	c  391s |      16 |   300513 |   181552 |    19477     17 |      838 |      756
393.93/394.08	c  393s |      16 |   301474 |   182352 |    19477     17 |      838 |      756
396.04/396.18	c  395s |      16 |   302815 |   183252 |    19477     17 |      838 |      756
398.33/398.42	c  398s |      16 |   303654 |   183952 |    19477     17 |      838 |      756
400.44/400.56	c  400s |      16 |   304631 |   184652 |    19477     17 |      838 |      756
402.54/402.65	c  402s |      16 |   305401 |   185252 |    19477     17 |      838 |      756
404.63/404.78	c  404s |      16 |   306120 |   185852 |    19477     17 |      838 |      756
406.83/406.99	c  406s |      16 |   306840 |   186452 |    19477     17 |      838 |      756
408.93/409.06	c  408s |      16 |   307598 |   187052 |    19477     17 |      838 |      756
411.13/411.27	c  411s |      16 |   308376 |   187652 |    19477     17 |      838 |      756
413.13/413.27	c  413s |      16 |   308821 |   188052 |    19477     18 |      838 |      756
415.33/415.42	c  415s |      16 |   309739 |   188752 |    19477     18 |      838 |      756
417.53/417.68	c  417s |      16 |   310747 |   189552 |    19477     18 |      838 |      756
419.82/419.96	c  419s |      16 |   311589 |   190252 |    19477     18 |      838 |      756
422.02/422.11	c  421s |      16 |   312701 |   191052 |    19477     18 |      838 |      756
424.12/424.28	c  424s |      16 |   313738 |   191852 |    19477     18 |      838 |      756
426.42/426.52	c  426s |      16 |   314707 |   192652 |    19477     18 |      838 |      756
428.52/428.66	c  428s |      16 |   315747 |   193452 |    19477     18 |      838 |      756
430.72/430.85	c  430s |      16 |   316797 |   194252 |    19477     18 |      838 |      756
432.92/433.00	c  432s |      16 |   317647 |   194952 |    19477     18 |      838 |      756
435.12/435.25	c  434s |      16 |   318354 |   195552 |    19477     18 |      838 |      756
437.42/437.51	c  437s |      16 |   319209 |   196252 |    21425     18 |      838 |      756
439.72/439.82	c  439s |      16 |   320188 |   197052 |    21425     18 |      838 |      756
440.82/440.96	c  440s |      17 |   320636 |   197432 |    21425     18 |      838 |      756
442.82/442.99	c  442s |      17 |   330883 |   199532 |    21425     18 |      838 |      756
444.92/445.01	c  444s |      17 |   332310 |   200532 |    21425     18 |      838 |      756
447.22/447.32	c  447s |      17 |   333106 |   201132 |    21425     19 |      838 |      756
449.32/449.50	c  449s |      17 |   334104 |   201932 |    21425     19 |      838 |      756
451.42/451.58	c  451s |      17 |   335696 |   203032 |    21425     19 |      838 |      756
453.52/453.66	c  453s |      17 |   337113 |   204032 |    21425     19 |      838 |      756
455.63/455.72	c  455s |      17 |   339019 |   205032 |    21425     19 |      838 |      756
457.63/457.76	c  457s |      17 |   344696 |   207532 |    21425     19 |      838 |      756
459.73/459.81	c  459s |      17 |   349245 |   209532 |    21425     19 |      838 |      756
461.72/461.81	c  461s |      17 |   351146 |   210632 |    21425     19 |      838 |      756
463.72/463.81	c  463s |      17 |   352141 |   211432 |    21425     19 |      838 |      756
465.72/465.85	c  465s |      17 |   353232 |   212232 |    21425     19 |      838 |      756
467.92/468.03	c  467s |      17 |   354554 |   213132 |    21425     19 |      838 |      756
469.92/470.07	c  469s |      17 |   355624 |   213832 |    21425     20 |      838 |      756
472.12/472.27	c  472s |      17 |   356831 |   214832 |    21425     20 |      838 |      756
474.42/474.59	c  474s |      17 |   357711 |   215532 |    21425     20 |      838 |      756
476.52/476.64	c  476s |      17 |   358298 |   216032 |    21425     20 |      838 |      756
478.53/478.66	c  478s |      17 |   358762 |   216432 |    21425     20 |      838 |      756
480.82/480.96	c  480s |      17 |   359588 |   217132 |    21425     20 |      838 |      756
482.93/483.07	c  482s |      17 |   360675 |   218032 |    21425     20 |      838 |      756
485.03/485.17	c  484s |      17 |   361632 |   218832 |    21425     20 |      838 |      756
487.12/487.25	c  486s |      17 |   362552 |   219632 |    21425     20 |      838 |      756
489.22/489.31	c  489s |      17 |   363315 |   220332 |    21425     20 |      838 |      756
491.22/491.39	c  491s |      17 |   364554 |   221232 |    21425     20 |      838 |      756
493.52/493.63	c  493s |      17 |   365560 |   222132 |    21425     20 |      838 |      756
495.82/495.93	c  495s |      17 |   366539 |   222932 |    21425     20 |      838 |      756
497.82/497.98	c  497s |      17 |   367343 |   223632 |    21425     20 |      838 |      756
499.92/500.03	c  499s |      17 |   368174 |   224332 |    21425     20 |      838 |      756
502.12/502.21	c  501s |      17 |   369157 |   225132 |    21425     20 |      838 |      756
504.42/504.57	c  504s |      17 |   369987 |   225832 |    21425     21 |      838 |      756
506.62/506.77	c  506s |      17 |   370926 |   226632 |    21425     21 |      838 |      756
508.91/509.00	c  508s |      17 |   371841 |   227432 |    21425     21 |      838 |      756
511.01/511.10	c  510s |      17 |   372627 |   228132 |    21425     21 |      838 |      756
513.31/513.41	c  513s |      17 |   373525 |   228832 |    21425     21 |      838 |      756
515.61/515.70	c  515s |      17 |   374845 |   229732 |    21425     21 |      838 |      756
517.81/517.94	c  517s |      17 |   375752 |   230432 |    21425     21 |      838 |      756
520.32/520.41	c  520s |      17 |   376471 |   231032 |    21425     21 |      838 |      756
522.31/522.46	c  522s |      17 |   377243 |   231632 |    21425     21 |      838 |      756
524.62/524.73	c  524s |      17 |   377962 |   232232 |    21425     21 |      838 |      756
526.61/526.79	c  526s |      17 |   378745 |   232932 |    21425     21 |      838 |      756
528.71/528.87	c  528s |      17 |   379470 |   233532 |    21425     21 |      838 |      756
531.01/531.16	c  530s |      17 |   380322 |   234232 |    21425     21 |      838 |      756
533.31/533.47	c  533s |      17 |   381022 |   234832 |    21425     21 |      838 |      756
535.62/535.75	c  535s |      17 |   381782 |   235432 |    21425     21 |      838 |      756
538.01/538.18	c  537s |      17 |   382512 |   235932 |    21425     21 |      838 |      756
540.51/540.60	c  540s |      17 |   382898 |   236232 |    21425     21 |      838 |      756
542.81/542.94	c  542s |      17 |   383383 |   236632 |    21425     21 |      838 |      756
545.11/545.29	c  545s |      17 |   383638 |   236832 |    21425     21 |      838 |      756
548.21/548.37	c  548s |      17 |   383882 |   237032 |    21425     21 |      838 |      756
550.41/550.51	c  550s |      17 |   384150 |   237232 |    21425     21 |      838 |      756
553.21/553.37	c  553s |      17 |   384575 |   237532 |    21425     21 |      838 |      756
556.20/556.35	c  556s |      17 |   385158 |   238032 |    21425     22 |      838 |      756
558.81/558.93	c  558s |      17 |   385408 |   238232 |    21425     22 |      838 |      756
561.20/561.30	c  561s |      17 |   385914 |   238632 |    21425     22 |      838 |      756
563.30/563.40	c  563s |      17 |   386531 |   239132 |    21425     22 |      838 |      756
565.50/565.61	c  565s |      17 |   387167 |   239632 |    21425     22 |      838 |      756
567.61/567.75	c  567s |      17 |   388143 |   240432 |    21425     22 |      838 |      756
570.00/570.12	c  569s |      17 |   388987 |   241132 |    21425     22 |      838 |      756
572.20/572.37	c  572s |      17 |   389663 |   241732 |    21425     22 |      838 |      756
574.40/574.50	c  574s |      17 |   390340 |   242332 |    21425     22 |      838 |      756
576.41/576.54	c  576s |      17 |   391028 |   242932 |    21425     22 |      838 |      756
578.40/578.57	c  578s |      17 |   391745 |   243532 |    21425     22 |      838 |      756
580.40/580.59	c  580s |      17 |   392479 |   244132 |    21425     22 |      838 |      756
582.40/582.59	c  582s |      17 |   393041 |   244632 |    21425     22 |      838 |      756
584.40/584.59	c  584s |      17 |   393594 |   245132 |    21425     22 |      838 |      756
586.80/586.91	c  586s |      17 |   394237 |   245732 |    21425     22 |      838 |      756
589.21/589.30	c  589s |      17 |   394915 |   246332 |    21425     22 |      838 |      756
591.31/591.45	c  591s |      17 |   395485 |   246832 |    21425     22 |      838 |      756
593.60/593.76	c  593s |      17 |   396197 |   247432 |    21425     22 |      838 |      756
595.70/595.89	c  595s |      17 |   396629 |   247832 |    21425     22 |      838 |      756
597.90/598.07	c  597s |      17 |   397073 |   248232 |    21425     22 |      838 |      756
600.10/600.22	c  599s |      17 |   397518 |   248632 |    21425     22 |      838 |      756
602.30/602.43	c  602s |      17 |   397955 |   249032 |    21425     22 |      838 |      756
604.70/604.80	c  604s |      17 |   398697 |   249632 |    21425     22 |      838 |      756
606.70/606.88	c  606s |      17 |   399225 |   250132 |    21425     22 |      838 |      756
608.80/608.93	c  608s |      17 |   399660 |   250532 |    21425     23 |      838 |      756
610.90/611.08	c  610s |      17 |   400360 |   251132 |    21425     23 |      838 |      756
613.20/613.32	c  613s |      17 |   401187 |   251832 |    21425     23 |      838 |      756
615.50/615.61	c  615s |      17 |   401989 |   252532 |    21425     23 |      838 |      756
617.50/617.63	c  617s |      17 |   402716 |   253132 |    21425     23 |      838 |      756
619.80/619.92	c  619s |      17 |   403282 |   253632 |    21425     23 |      838 |      756
622.10/622.27	c  622s |      17 |   403961 |   254232 |    21425     23 |      838 |      756
624.29/624.49	c  624s |      17 |   404527 |   254732 |    21425     23 |      838 |      756
626.69/626.87	c  626s |      17 |   405114 |   255232 |    21425     23 |      838 |      756
629.10/629.21	c  628s |      17 |   405877 |   255832 |    21425     23 |      838 |      756
631.19/631.34	c  631s |      17 |   406653 |   256432 |    21425     23 |      838 |      756
633.39/633.57	c  633s |      17 |   407555 |   257132 |    21425     23 |      838 |      756
635.49/635.66	c  635s |      17 |   408321 |   257832 |    21425     23 |      838 |      756
637.79/637.98	c  637s |      17 |   409194 |   258532 |    21425     23 |      838 |      756
640.29/640.41	c  640s |      17 |   409891 |   259132 |    21425     23 |      838 |      756
642.30/642.43	c  642s |      17 |   410349 |   259532 |    21425     23 |      838 |      756
644.39/644.60	c  644s |      17 |   410898 |   260032 |    21425     23 |      838 |      756
646.70/646.85	c  646s |      17 |   411350 |   260432 |    21425     23 |      838 |      756
649.09/649.26	c  649s |      17 |   411929 |   260932 |    21425     23 |      838 |      756
651.09/651.29	c  651s |      17 |   412389 |   261332 |    21425     23 |      838 |      756
653.59/653.70	c  653s |      17 |   412839 |   261732 |    21425     23 |      838 |      756
655.69/655.80	c  655s |      17 |   414550 |   262532 |    21425     24 |      838 |      756
657.70/657.85	c  657s |      17 |   416267 |   263632 |    21425     24 |      838 |      756
659.79/659.92	c  659s |      17 |   417751 |   264632 |    21425     24 |      838 |      756
661.79/661.96	c  661s |      17 |   419491 |   265732 |    21425     24 |      838 |      756
663.99/664.19	c  663s |      17 |   420827 |   266732 |    21425     24 |      838 |      756
666.29/666.40	c  666s |      17 |   421800 |   267532 |    21425     24 |      838 |      756
668.29/668.42	c  668s |      17 |   422832 |   268332 |    21425     24 |      838 |      756
670.29/670.46	c  670s |      17 |   424087 |   269232 |    21425     24 |      838 |      756
672.39/672.55	c  672s |      17 |   425223 |   270032 |    21425     24 |      838 |      756
674.49/674.62	c  674s |      17 |   426100 |   270732 |    21425     24 |      838 |      756
676.69/676.81	c  676s |      17 |   426790 |   271332 |    21425     24 |      838 |      756
678.89/679.09	c  678s |      17 |   427489 |   271932 |    21425     24 |      838 |      756
681.09/681.20	c  680s |      17 |   428375 |   272632 |    21425     24 |      838 |      756
683.19/683.32	c  683s |      17 |   429216 |   273332 |    21425     24 |      838 |      756
685.19/685.40	c  685s |      17 |   429940 |   273932 |    21425     24 |      838 |      756
687.59/687.76	c  687s |      17 |   430710 |   274532 |    21425     25 |      838 |      756
689.79/689.92	c  689s |      17 |   431546 |   275232 |    21425     25 |      838 |      756
691.99/692.17	c  691s |      17 |   432396 |   275932 |    21425     25 |      838 |      756
694.09/694.29	c  694s |      17 |   433092 |   276532 |    21425     25 |      838 |      756
696.29/696.48	c  696s |      17 |   433800 |   277132 |    21425     25 |      838 |      756
698.68/698.87	c  698s |      17 |   434617 |   277832 |    21425     25 |      838 |      756
700.98/701.11	c  700s |      17 |   435328 |   278432 |    21425     25 |      838 |      756
703.08/703.21	c  702s |      17 |   436018 |   279032 |    21425     25 |      838 |      756
705.09/705.29	c  705s |      17 |   436598 |   279532 |    21425     25 |      838 |      756
707.19/707.37	c  707s |      17 |   437300 |   280132 |    21425     25 |      838 |      756
709.58/709.71	c  709s |      17 |   438030 |   280732 |    21425     25 |      838 |      756
711.59/711.75	c  711s |      17 |   438629 |   281232 |    21425     25 |      838 |      756
713.68/713.82	c  713s |      17 |   439546 |   281932 |    21425     25 |      838 |      756
715.88/716.03	c  715s |      17 |   440434 |   282632 |    21425     25 |      838 |      756
717.88/718.03	c  717s |      17 |   441231 |   283332 |    21425     25 |      838 |      756
719.88/720.06	c  719s |      17 |   441984 |   283932 |    21425     25 |      838 |      756
722.18/722.30	c  722s |      17 |   442844 |   284632 |    21425     25 |      838 |      756
724.18/724.39	c  724s |      17 |   443809 |   285332 |    21425     25 |      838 |      756
726.28/726.44	c  726s |      17 |   444489 |   285832 |    21425     25 |      838 |      756
728.47/728.68	c  728s |      17 |   445146 |   286332 |    21425     25 |      838 |      756
730.57/730.70	c  730s |      17 |   445797 |   286832 |    21425     26 |      838 |      756
732.77/732.90	c  732s |      17 |   447001 |   287732 |    21425     26 |      838 |      756
734.78/734.98	c  734s |      17 |   447864 |   288432 |    21425     26 |      838 |      756
737.07/737.27	c  737s |      17 |   448763 |   289132 |    21425     26 |      838 |      756
739.17/739.31	c  739s |      17 |   449460 |   289732 |    21425     26 |      838 |      756
741.37/741.58	c  741s |      17 |   450426 |   290532 |    21425     26 |      838 |      756
743.57/743.79	c  743s |      17 |   451299 |   291232 |    21425     26 |      838 |      756
745.77/745.92	c  745s |      17 |   451993 |   291832 |    21425     26 |      838 |      756
747.77/747.99	c  747s |      17 |   452813 |   292532 |    21425     26 |      838 |      756
749.86/750.08	c  749s |      17 |   453616 |   293232 |    21425     26 |      838 |      756
752.06/752.23	c  751s |      17 |   454425 |   293932 |    21425     26 |      838 |      756
754.06/754.25	c  753s |      17 |   455134 |   294532 |    23568     26 |      838 |      756
756.16/756.33	c  756s |      17 |   455846 |   295132 |    23568     26 |      838 |      756
758.36/758.50	c  758s |      17 |   456549 |   295732 |    23568     26 |      838 |      756
759.76/759.94	c  759s |      18 |   457157 |   296252 |    23568     26 |      838 |      756
761.86/762.05	c  761s |      18 |   462754 |   298252 |    23568     26 |      838 |      756
763.86/764.07	c  763s |      18 |   465140 |   299852 |    23568     26 |      838 |      756
765.86/766.08	c  765s |      18 |   466666 |   301052 |    23568     26 |      838 |      756
767.97/768.14	c  767s |      18 |   468386 |   302252 |    23568     27 |      838 |      756
770.07/770.23	c  769s |      18 |   470341 |   303552 |    23568     27 |      838 |      756
772.08/772.26	c  772s |      18 |   473768 |   305152 |    23568     27 |      838 |      756
774.17/774.30	c  774s |      18 |   478470 |   307152 |    23568     27 |      838 |      756
776.17/776.34	c  776s |      18 |   484804 |   309152 |    23568     27 |      838 |      756
778.36/778.50	c  778s |      18 |   487236 |   310652 |    23568     27 |      838 |      756
780.46/780.67	c  780s |      18 |   488927 |   311852 |    23568     27 |      838 |      756
782.56/782.73	c  782s |      18 |   490280 |   312852 |    23568     27 |      838 |      756
784.56/784.76	c  784s |      18 |   491612 |   313852 |    23568     27 |      838 |      756
786.75/786.96	c  786s |      18 |   492821 |   314752 |    23568     28 |      838 |      756
788.95/789.14	c  788s |      18 |   494218 |   315752 |    23568     28 |      838 |      756
791.05/791.22	c  790s |      18 |   495700 |   316752 |    23568     28 |      838 |      756
793.06/793.28	c  793s |      18 |   499184 |   318252 |    23568     28 |      838 |      756
795.26/795.43	c  795s |      18 |   500606 |   319352 |    23568     28 |      838 |      756
797.35/797.55	c  797s |      18 |   501563 |   320152 |    23568     28 |      838 |      756
799.55/799.71	c  799s |      18 |   502527 |   320952 |    23568     28 |      838 |      756
801.64/801.90	c  801s |      18 |   503769 |   321952 |    23568     28 |      838 |      756
803.84/804.03	c  803s |      18 |   504634 |   322652 |    23568     28 |      838 |      756
805.94/806.19	c  805s |      18 |   505799 |   323552 |    23568     28 |      838 |      756
808.04/808.28	c  808s |      18 |   507267 |   324552 |    23568     28 |      838 |      756
810.24/810.42	c  810s |      18 |   508453 |   325452 |    23568     28 |      838 |      756
812.24/812.43	c  812s |      18 |   509728 |   326352 |    23568     28 |      838 |      756
814.34/814.55	c  814s |      18 |   510950 |   327252 |    23568     28 |      838 |      756
816.44/816.68	c  816s |      18 |   511806 |   327952 |    23568     28 |      838 |      756
818.63/818.88	c  818s |      18 |   512508 |   328552 |    23568     29 |      838 |      756
820.83/821.04	c  820s |      18 |   513743 |   329552 |    23568     29 |      838 |      756
823.03/823.28	c  823s |      18 |   514895 |   330452 |    23568     29 |      838 |      756
825.23/825.43	c  825s |      18 |   515847 |   331252 |    23568     29 |      838 |      756
827.33/827.58	c  827s |      18 |   516829 |   332052 |    23568     29 |      838 |      756
829.43/829.61	c  829s |      18 |   517680 |   332752 |    23568     29 |      838 |      756
831.54/831.76	c  831s |      18 |   518501 |   333452 |    23568     29 |      838 |      756
833.74/833.93	c  833s |      18 |   519385 |   334152 |    23568     29 |      838 |      756
835.73/835.99	c  835s |      18 |   520417 |   334952 |    23568     29 |      838 |      756
838.04/838.28	c  838s |      18 |   521381 |   335752 |    23568     29 |      838 |      756
840.03/840.29	c  840s |      18 |   522259 |   336452 |    23568     29 |      838 |      756
842.13/842.36	c  842s |      18 |   523116 |   337152 |    23568     29 |      838 |      756
844.33/844.59	c  844s |      18 |   523940 |   337852 |    23568     29 |      838 |      756
846.63/846.88	c  846s |      18 |   524794 |   338552 |    23568     29 |      838 |      756
848.93/849.11	c  848s |      18 |   525474 |   339152 |    23568     29 |      838 |      756
850.93/851.14	c  850s |      18 |   526453 |   339852 |    23568     29 |      838 |      756
853.03/853.28	c  853s |      18 |   527538 |   340652 |    23568     29 |      838 |      756
855.33/855.59	c  855s |      18 |   528265 |   341252 |    23568     30 |      838 |      756
857.42/857.61	c  857s |      18 |   529537 |   342252 |    23568     30 |      838 |      756
859.52/859.78	c  859s |      18 |   530614 |   343152 |    23568     30 |      838 |      756
861.62/861.88	c  861s |      18 |   531693 |   343952 |    23568     30 |      838 |      756
863.92/864.14	c  863s |      18 |   532691 |   344752 |    23568     30 |      838 |      756
866.03/866.22	c  865s |      18 |   533520 |   345452 |    23568     30 |      838 |      756
868.03/868.24	c  867s |      18 |   534361 |   346152 |    23568     30 |      838 |      756
870.23/870.46	c  870s |      18 |   535322 |   346952 |    23568     30 |      838 |      756
872.53/872.77	c  872s |      18 |   536054 |   347552 |    23568     30 |      838 |      756
874.73/874.99	c  874s |      18 |   536921 |   348252 |    23568     30 |      838 |      756
877.02/877.25	c  876s |      18 |   537788 |   348952 |    23568     30 |      838 |      756
879.22/879.47	c  879s |      18 |   538688 |   349652 |    23568     30 |      838 |      756
881.62/881.81	c  881s |      18 |   539386 |   350252 |    23568     30 |      838 |      756
883.72/883.94	c  883s |      18 |   540144 |   350852 |    23568     30 |      838 |      756
885.82/886.05	c  885s |      18 |   540996 |   351552 |    23568     30 |      838 |      756
888.02/888.26	c  888s |      18 |   541741 |   352152 |    23568     30 |      838 |      756
890.32/890.55	c  890s |      18 |   542560 |   352852 |    23568     30 |      838 |      756
892.62/892.90	c  892s |      18 |   543268 |   353452 |    23568     30 |      838 |      756
894.72/894.90	c  894s |      18 |   544008 |   354052 |    23568     30 |      838 |      756
897.21/897.47	c  897s |      18 |   544738 |   354652 |    23568     31 |      838 |      756
899.51/899.72	c  899s |      18 |   545559 |   355352 |    23568     31 |      838 |      756
901.51/901.77	c  901s |      18 |   546384 |   356052 |    23568     31 |      838 |      756
903.61/903.83	c  903s |      18 |   547213 |   356752 |    23568     31 |      838 |      756
905.71/905.96	c  905s |      18 |   548033 |   357452 |    23568     31 |      838 |      756
907.91/908.15	c  907s |      18 |   548853 |   358152 |    23568     31 |      838 |      756
910.01/910.25	c  909s |      18 |   549665 |   358852 |    23568     31 |      838 |      756
912.41/912.60	c  912s |      18 |   550496 |   359552 |    23568     31 |      838 |      756
914.61/914.88	c  914s |      18 |   551228 |   360152 |    23568     31 |      838 |      756
916.91/917.20	c  916s |      18 |   551914 |   360752 |    23568     31 |      838 |      756
919.21/919.48	c  919s |      18 |   552635 |   361352 |    23568     31 |      838 |      756
921.31/921.56	c  921s |      18 |   553386 |   361952 |    23568     31 |      838 |      756
923.40/923.66	c  923s |      18 |   554354 |   362652 |    23568     31 |      838 |      756
925.60/925.86	c  925s |      18 |   555226 |   363352 |    23568     31 |      838 |      756
927.60/927.88	c  927s |      18 |   555926 |   363952 |    23568     31 |      838 |      756
929.80/930.08	c  929s |      18 |   556837 |   364652 |    23568     31 |      838 |      756
932.10/932.34	c  932s |      18 |   557678 |   365352 |    23568     31 |      838 |      756
934.30/934.52	c  934s |      18 |   558268 |   365852 |    23568     31 |      838 |      756
936.40/936.63	c  936s |      18 |   559004 |   366452 |    23568     31 |      838 |      756
938.50/938.79	c  938s |      18 |   559748 |   367052 |    23568     31 |      838 |      756
940.80/941.03	c  940s |      18 |   560477 |   367652 |    23568     31 |      838 |      756
943.00/943.26	c  943s |      18 |   561094 |   368152 |    23568     32 |      838 |      756
945.20/945.43	c  945s |      18 |   562094 |   368952 |    23568     32 |      838 |      756
947.40/947.66	c  947s |      18 |   563176 |   369852 |    23568     32 |      838 |      756
949.50/949.74	c  949s |      18 |   564125 |   370652 |    23568     32 |      838 |      756
951.50/951.78	c  951s |      18 |   564941 |   371352 |    23568     32 |      838 |      756
953.61/953.85	c  953s |      18 |   565784 |   372052 |    23568     32 |      838 |      756
955.81/956.01	c  955s |      18 |   566581 |   372752 |    23568     32 |      838 |      756
957.80/958.08	c  957s |      18 |   567369 |   373452 |    23568     32 |      838 |      756
959.90/960.15	c  959s |      18 |   568056 |   374052 |    23568     32 |      838 |      756
962.31/962.52	c  962s |      18 |   568877 |   374752 |    23568     32 |      838 |      756
964.40/964.67	c  964s |      18 |   569567 |   375352 |    23568     32 |      838 |      756
966.60/966.87	c  966s |      18 |   570284 |   375952 |    23568     32 |      838 |      756
969.01/969.22	c  968s |      18 |   571007 |   376552 |    23568     32 |      838 |      756
971.30/971.54	c  971s |      18 |   571711 |   377152 |    23568     32 |      838 |      756
973.31/973.57	c  973s |      18 |   572320 |   377652 |    23568     32 |      838 |      756
975.70/975.95	c  975s |      18 |   573008 |   378252 |    23568     32 |      838 |      756
977.80/978.01	c  977s |      18 |   573594 |   378752 |    23568     32 |      838 |      756
980.19/980.47	c  980s |      18 |   574267 |   379352 |    23568     32 |      838 |      756
982.29/982.59	c  982s |      18 |   575065 |   379952 |    23568     32 |      838 |      756
984.69/984.98	c  984s |      18 |   575846 |   380552 |    23568     32 |      838 |      756
987.19/987.41	c  987s |      18 |   576559 |   381152 |    23568     32 |      838 |      756
989.29/989.59	c  989s |      18 |   577199 |   381652 |    23568     33 |      838 |      756
991.59/991.85	c  991s |      18 |   578280 |   382452 |    23568     33 |      838 |      756
993.89/994.14	c  993s |      18 |   579227 |   383252 |    23568     33 |      838 |      756
995.99/996.26	c  996s |      18 |   580066 |   383952 |    23568     33 |      838 |      756
998.18/998.48	c  998s |      18 |   580896 |   384652 |    23568     33 |      838 |      756
1000.48/1000.71	c 1000s |      18 |   581905 |   385452 |    23568     33 |      838 |      756
1002.58/1002.82	c 1002s |      18 |   583129 |   386352 |    23568     33 |      838 |      756
1004.68/1004.99	c 1004s |      18 |   584146 |   387152 |    23568     33 |      838 |      756
1006.87/1007.17	c 1006s |      18 |   585151 |   387952 |    23568     33 |      838 |      756
1008.97/1009.24	c 1008s |      18 |   586082 |   388652 |    23568     33 |      838 |      756
1011.17/1011.43	c 1011s |      18 |   587227 |   389552 |    23568     33 |      838 |      756
1013.27/1013.58	c 1013s |      18 |   588103 |   390252 |    23568     33 |      838 |      756
1015.47/1015.77	c 1015s |      18 |   588812 |   390852 |    23568     33 |      838 |      756
1017.77/1018.04	c 1017s |      18 |   589659 |   391552 |    23568     33 |      838 |      756
1020.07/1020.33	c 1020s |      18 |   590396 |   392152 |    23568     33 |      838 |      756
1022.26/1022.54	c 1022s |      18 |   591149 |   392752 |    23568     33 |      838 |      756
1024.46/1024.79	c 1024s |      18 |   592014 |   393452 |    23568     33 |      838 |      756
1026.66/1026.92	c 1026s |      18 |   592744 |   394052 |    23568     33 |      838 |      756
1028.96/1029.25	c 1028s |      18 |   593323 |   394552 |    23568     33 |      838 |      756
1031.06/1031.31	c 1031s |      18 |   593802 |   394952 |    23568     34 |      838 |      756
1033.26/1033.56	c 1033s |      18 |   594750 |   395752 |    23568     34 |      838 |      756
1035.46/1035.74	c 1035s |      18 |   595724 |   396552 |    23568     34 |      838 |      756
1037.55/1037.83	c 1037s |      18 |   596677 |   397352 |    23568     34 |      838 |      756
1039.75/1040.00	c 1039s |      18 |   597471 |   398052 |    23568     34 |      838 |      756
1041.96/1042.25	c 1041s |      18 |   598334 |   398752 |    23568     34 |      838 |      756
1044.36/1044.60	c 1044s |      18 |   599142 |   399452 |    23568     34 |      838 |      756
1046.66/1046.94	c 1046s |      18 |   599961 |   400152 |    23568     34 |      838 |      756
1049.06/1049.40	c 1049s |      18 |   600732 |   400852 |    23568     34 |      838 |      756
1051.16/1051.45	c 1051s |      18 |   601309 |   401352 |    23568     34 |      838 |      756
1053.26/1053.50	c 1053s |      18 |   601999 |   401952 |    23568     34 |      838 |      756
1055.36/1055.67	c 1055s |      18 |   602670 |   402552 |    23568     34 |      838 |      756
1057.55/1057.81	c 1057s |      18 |   603236 |   403052 |    23568     34 |      838 |      756
1059.65/1059.91	c 1059s |      18 |   603809 |   403552 |    23568     34 |      838 |      756
1062.05/1062.32	c 1062s |      18 |   604489 |   404152 |    23568     34 |      838 |      756
1064.25/1064.50	c 1064s |      18 |   605039 |   404652 |    23568     34 |      838 |      756
1066.25/1066.54	c 1066s |      18 |   605607 |   405152 |    23568     34 |      838 |      756
1068.44/1068.79	c 1068s |      18 |   606177 |   405652 |    23568     34 |      838 |      756
1070.74/1071.07	c 1070s |      18 |   606740 |   406152 |    23568     34 |      838 |      756
1072.94/1073.27	c 1073s |      18 |   607468 |   406752 |    23568     34 |      838 |      756
1075.24/1075.54	c 1075s |      18 |   608195 |   407352 |    23568     34 |      838 |      756
1077.34/1077.64	c 1077s |      18 |   608770 |   407852 |    23568     34 |      838 |      756
1079.44/1079.76	c 1079s |      18 |   609240 |   408252 |    23568     35 |      838 |      756
1081.74/1082.07	c 1081s |      18 |   609932 |   408852 |    23568     35 |      838 |      756
1083.84/1084.16	c 1083s |      18 |   610610 |   409452 |    23568     35 |      838 |      756
1086.14/1086.49	c 1086s |      18 |   611287 |   410052 |    23568     35 |      838 |      756
1088.43/1088.76	c 1088s |      18 |   611942 |   410652 |    23568     35 |      838 |      756
1090.63/1090.90	c 1090s |      18 |   612698 |   411252 |    23568     35 |      838 |      756
1092.73/1093.05	c 1092s |      18 |   613689 |   412052 |    23568     35 |      838 |      756
1094.93/1095.26	c 1095s |      18 |   614509 |   412752 |    23568     35 |      838 |      756
1097.32/1097.62	c 1097s |      18 |   615314 |   413452 |    23568     35 |      838 |      756
1099.42/1099.72	c 1099s |      18 |   615993 |   414052 |    23568     35 |      838 |      756
1101.62/1101.94	c 1101s |      18 |   616866 |   414752 |    23568     35 |      838 |      756
1103.72/1104.08	c 1103s |      18 |   617841 |   415552 |    23568     35 |      838 |      756
1105.92/1106.26	c 1106s |      18 |   618685 |   416252 |    23568     35 |      838 |      756
1108.12/1108.45	c 1108s |      18 |   619548 |   416952 |    23568     35 |      838 |      756
1110.42/1110.71	c 1110s |      18 |   620559 |   417752 |    23568     35 |      838 |      756
1112.42/1112.72	c 1112s |      18 |   621275 |   418352 |    23568     35 |      838 |      756
1114.52/1114.83	c 1114s |      18 |   621879 |   418852 |    23568     35 |      838 |      756
1116.62/1116.93	c 1116s |      18 |   622571 |   419452 |    23568     35 |      838 |      756
1118.71/1119.07	c 1118s |      18 |   623317 |   420052 |    23568     35 |      838 |      756
1120.81/1121.14	c 1120s |      18 |   624027 |   420652 |    23568     35 |      838 |      756
1123.11/1123.49	c 1123s |      18 |   624741 |   421252 |    23568     35 |      838 |      756
1125.41/1125.76	c 1125s |      18 |   625324 |   421752 |    23568     36 |      838 |      756
1127.70/1128.05	c 1127s |      18 |   626125 |   422452 |    23568     36 |      838 |      756
1130.10/1130.44	c 1130s |      18 |   626808 |   423052 |    23568     36 |      838 |      756
1132.10/1132.49	c 1132s |      18 |   627487 |   423652 |    23568     36 |      838 |      756
1134.20/1134.53	c 1134s |      18 |   628294 |   424352 |    23568     36 |      838 |      756
1136.20/1136.54	c 1136s |      18 |   629196 |   425052 |    23568     36 |      838 |      756
1138.30/1138.61	c 1138s |      18 |   630029 |   425752 |    23568     36 |      838 |      756
1140.40/1140.71	c 1140s |      18 |   630763 |   426352 |    23568     36 |      838 |      756
1142.70/1143.06	c 1142s |      18 |   631556 |   427052 |    23568     36 |      838 |      756
1144.80/1145.17	c 1144s |      18 |   632259 |   427652 |    23568     36 |      838 |      756
1147.09/1147.45	c 1147s |      18 |   632952 |   428252 |    23568     36 |      838 |      756
1149.39/1149.76	c 1149s |      18 |   633702 |   428852 |    23568     36 |      838 |      756
1151.68/1152.02	c 1151s |      18 |   634286 |   429352 |    23568     36 |      838 |      756
1153.98/1154.33	c 1154s |      18 |   634892 |   429852 |    23568     36 |      838 |      756
1156.18/1156.52	c 1156s |      18 |   635597 |   430452 |    23568     36 |      838 |      756
1158.28/1158.67	c 1158s |      18 |   636290 |   431052 |    23568     36 |      838 |      756
1160.58/1160.91	c 1160s |      18 |   636970 |   431652 |    23568     36 |      838 |      756
1162.68/1163.03	c 1162s |      18 |   637553 |   432152 |    23568     36 |      838 |      756
1164.98/1165.30	c 1165s |      18 |   638115 |   432652 |    23568     36 |      838 |      756
1166.97/1167.37	c 1167s |      18 |   638672 |   433152 |    23568     36 |      838 |      756
1169.47/1169.85	c 1169s |      18 |   639347 |   433752 |    23568     36 |      838 |      756
1171.67/1172.03	c 1171s |      18 |   640070 |   434352 |    23568     36 |      838 |      756
1173.67/1174.05	c 1173s |      18 |   640539 |   434752 |    23568     37 |      838 |      756
1175.68/1176.07	c 1175s |      18 |   641263 |   435352 |    23568     37 |      838 |      756
1177.96/1178.34	c 1178s |      18 |   642097 |   436052 |    23568     37 |      838 |      756
1180.16/1180.56	c 1180s |      18 |   642908 |   436752 |    23568     37 |      838 |      756
1182.57/1182.90	c 1182s |      18 |   643737 |   437452 |    23568     37 |      838 |      756
1184.57/1184.97	c 1184s |      18 |   644543 |   438152 |    23568     37 |      838 |      756
1186.87/1187.27	c 1187s |      18 |   645229 |   438752 |    23568     37 |      838 |      756
1188.97/1189.34	c 1189s |      18 |   645842 |   439252 |    23568     37 |      838 |      756
1191.36/1191.76	c 1191s |      18 |   646671 |   439952 |    23568     37 |      838 |      756
1193.46/1193.83	c 1193s |      18 |   647388 |   440552 |    23568     37 |      838 |      756
1195.47/1195.85	c 1195s |      18 |   647977 |   441052 |    23568     37 |      838 |      756
1197.96/1198.32	c 1198s |      18 |   648661 |   441652 |    25925     37 |      838 |      756
1199.96/1200.39	c 1200s |      18 |   649254 |   442152 |    25925     37 |      838 |      756
1202.16/1202.50	c 1202s |      18 |   649842 |   442652 |    25925     37 |      838 |      756
1204.26/1204.64	c 1204s |      18 |   650843 |   443352 |    25925     37 |      838 |      756
1206.56/1206.95	c 1206s |      18 |   651709 |   444052 |    25925     37 |      838 |      756
1207.95/1208.31	c 1208s |      19 |   652223 |   444482 |    25925     37 |      838 |      756
1209.95/1210.34	c 1210s |      19 |   659037 |   445882 |    25925     37 |      838 |      756
1212.04/1212.49	c 1212s |      19 |   660613 |   447382 |    25925     37 |      838 |      756
1214.05/1214.49	c 1214s |      19 |   662025 |   448582 |    25925     37 |      838 |      756
1216.14/1216.52	c 1216s |      19 |   663251 |   449682 |    25925     37 |      838 |      756
1218.54/1218.95	c 1218s |      19 |   664262 |   450582 |    25925     38 |      838 |      756
1220.64/1221.10	c 1220s |      19 |   665528 |   451682 |    25925     38 |      838 |      756
1222.94/1223.33	c 1223s |      19 |   666799 |   452782 |    25925     38 |      838 |      756
1224.94/1225.38	c 1225s |      19 |   667972 |   453782 |    25925     38 |      838 |      756
1227.03/1227.42	c 1227s |      19 |   670136 |   454882 |    25925     38 |      838 |      756
1229.23/1229.61	c 1229s |      19 |   671084 |   455782 |    25925     38 |      838 |      756
1231.43/1231.80	c 1231s |      19 |   671912 |   456582 |    25925     38 |      838 |      756
1233.53/1233.91	c 1233s |      19 |   672803 |   457282 |    25925     38 |      838 |      756
1235.53/1235.99	c 1235s |      19 |   674637 |   458282 |    25925     38 |      838 |      756
1237.72/1238.13	c 1237s |      19 |   675483 |   458982 |    25925     38 |      838 |      756
1239.82/1240.30	c 1240s |      19 |   676163 |   459582 |    25925     38 |      838 |      756
1242.02/1242.49	c 1242s |      19 |   676910 |   460282 |    25925     38 |      838 |      756
1244.22/1244.63	c 1244s |      19 |   677688 |   460982 |    25925     38 |      838 |      756
1246.52/1246.95	c 1246s |      19 |   678499 |   461682 |    25925     38 |      838 |      756
1248.61/1249.10	c 1248s |      19 |   679283 |   462382 |    25925     38 |      838 |      756
1250.91/1251.32	c 1251s |      19 |   679939 |   462982 |    25925     38 |      838 |      756
1252.91/1253.36	c 1253s |      19 |   680634 |   463582 |    25925     38 |      838 |      756
1255.01/1255.50	c 1255s |      19 |   681284 |   464182 |    25925     38 |      838 |      756
1257.40/1257.82	c 1257s |      19 |   681919 |   464782 |    25925     38 |      838 |      756
1259.70/1260.16	c 1259s |      19 |   682474 |   465282 |    25925     39 |      838 |      756
1261.90/1262.33	c 1262s |      19 |   683145 |   465882 |    25925     39 |      838 |      756
1264.00/1264.43	c 1264s |      19 |   683805 |   466482 |    25925     39 |      838 |      756
1266.20/1266.61	c 1266s |      19 |   684505 |   467082 |    25925     39 |      838 |      756
1268.30/1268.77	c 1268s |      19 |   685155 |   467682 |    25925     39 |      838 |      756
1270.30/1270.80	c 1270s |      19 |   685715 |   468182 |    25925     39 |      838 |      756
1272.40/1272.84	c 1272s |      19 |   686274 |   468682 |    25925     39 |      838 |      756
1274.40/1274.87	c 1274s |      19 |   686839 |   469182 |    25925     39 |      838 |      756
1276.80/1277.22	c 1276s |      19 |   687507 |   469782 |    25925     39 |      838 |      756
1279.09/1279.54	c 1279s |      19 |   688035 |   470282 |    25925     39 |      838 |      756
1281.20/1281.63	c 1281s |      19 |   688583 |   470782 |    25925     39 |      838 |      756
1283.29/1283.74	c 1283s |      19 |   689118 |   471282 |    25925     39 |      838 |      756
1285.59/1286.09	c 1285s |      19 |   689645 |   471782 |    25925     39 |      838 |      756
1287.69/1288.17	c 1287s |      19 |   690212 |   472282 |    25925     39 |      838 |      756
1289.99/1290.45	c 1290s |      19 |   690753 |   472782 |    25925     39 |      838 |      756
1292.19/1292.66	c 1292s |      19 |   691309 |   473282 |    25925     39 |      838 |      756
1294.39/1294.83	c 1294s |      19 |   691739 |   473682 |    25925     39 |      838 |      756
1296.49/1296.92	c 1296s |      19 |   692171 |   474082 |    25925     39 |      838 |      756
1298.58/1299.05	c 1298s |      19 |   692603 |   474482 |    25925     39 |      838 |      756
1300.88/1301.38	c 1301s |      19 |   693017 |   474882 |    25925     39 |      838 |      756
1303.27/1303.74	c 1303s |      19 |   693433 |   475282 |    25925     39 |      838 |      756
1305.57/1306.06	c 1305s |      19 |   693855 |   475682 |    25925     39 |      838 |      756
1307.97/1308.48	c 1308s |      19 |   694408 |   476182 |    25925     39 |      838 |      756
1310.07/1310.56	c 1310s |      19 |   694828 |   476582 |    25925     39 |      838 |      756
1312.47/1312.92	c 1312s |      19 |   695267 |   476982 |    25925     39 |      838 |      756
1314.88/1315.36	c 1315s |      19 |   695844 |   477482 |    25925     39 |      838 |      756
1317.07/1317.55	c 1317s |      19 |   696253 |   477882 |    25925     39 |      838 |      756
1319.37/1319.85	c 1319s |      19 |   696685 |   478282 |    25925     39 |      838 |      756
1321.78/1322.21	c 1321s |      19 |   697133 |   478682 |    25925     39 |      838 |      756
1324.27/1324.79	c 1324s |      19 |   697544 |   479082 |    25925     39 |      838 |      756
1326.96/1327.40	c 1327s |      19 |   697956 |   479482 |    25925     39 |      838 |      756
1329.36/1329.81	c 1329s |      19 |   698272 |   479782 |    25925     40 |      838 |      756
1331.77/1332.25	c 1331s |      19 |   698787 |   480282 |    25925     40 |      838 |      756
1334.06/1334.51	c 1334s |      19 |   699333 |   480782 |    25925     40 |      838 |      756
1336.26/1336.74	c 1336s |      19 |   699864 |   481282 |    25925     40 |      838 |      756
1338.56/1339.06	c 1338s |      19 |   700374 |   481782 |    25925     40 |      838 |      756
1340.56/1341.09	c 1340s |      19 |   700798 |   482182 |    25925     40 |      838 |      756
1342.96/1343.49	c 1343s |      19 |   701336 |   482682 |    25925     40 |      838 |      756
1345.16/1345.69	c 1345s |      19 |   701879 |   483182 |    25925     40 |      838 |      756
1347.35/1347.89	c 1347s |      19 |   702439 |   483682 |    25925     40 |      838 |      756
1349.65/1350.16	c 1349s |      19 |   702980 |   484182 |    25925     40 |      838 |      756
1352.05/1352.54	c 1352s |      19 |   703513 |   484682 |    25925     40 |      838 |      756
1354.55/1355.08	c 1354s |      19 |   704040 |   485182 |    25925     40 |      838 |      756
1356.74/1357.29	c 1357s |      19 |   704484 |   485582 |    25925     40 |      838 |      756
1358.94/1359.40	c 1359s |      19 |   704942 |   485982 |    25925     40 |      838 |      756
1361.04/1361.52	c 1361s |      19 |   705365 |   486382 |    25925     40 |      838 |      756
1363.04/1363.59	c 1363s |      19 |   705819 |   486782 |    25925     40 |      838 |      756
1365.34/1365.80	c 1365s |      19 |   706287 |   487182 |    25925     40 |      838 |      756
1367.64/1368.17	c 1367s |      19 |   706716 |   487582 |    25925     40 |      838 |      756
1370.14/1370.64	c 1370s |      19 |   707162 |   487982 |    25925     40 |      838 |      756
1372.34/1372.88	c 1372s |      19 |   707611 |   488382 |    25925     40 |      838 |      756
1374.64/1375.15	c 1374s |      19 |   708059 |   488782 |    25925     40 |      838 |      756
1377.03/1377.54	c 1377s |      19 |   708494 |   489182 |    25925     40 |      838 |      756
1379.04/1379.59	c 1379s |      19 |   708989 |   489582 |    25925     40 |      838 |      756
1381.03/1381.60	c 1381s |      19 |   709469 |   489982 |    25925     40 |      838 |      756
1383.23/1383.73	c 1383s |      19 |   710125 |   490482 |    25925     40 |      838 |      756
1385.54/1386.01	c 1385s |      19 |   710739 |   490982 |    25925     40 |      838 |      756
1387.53/1388.09	c 1387s |      19 |   711210 |   491382 |    25925     40 |      838 |      756
1389.73/1390.27	c 1390s |      19 |   712011 |   491982 |    25925     40 |      838 |      756
1391.93/1392.44	c 1392s |      19 |   712751 |   492582 |    25925     40 |      838 |      756
1393.93/1394.46	c 1394s |      19 |   713332 |   493082 |    25925     40 |      838 |      756
1396.03/1396.53	c 1396s |      19 |   713959 |   493582 |    25925     40 |      838 |      756
1398.33/1398.83	c 1398s |      19 |   714386 |   493982 |    25925     40 |      838 |      756
1400.63/1401.11	c 1400s |      19 |   714716 |   494282 |    25925     41 |      838 |      756
1402.83/1403.32	c 1403s |      19 |   715399 |   494882 |    25925     41 |      838 |      756
1404.93/1405.46	c 1405s |      19 |   716062 |   495482 |    25925     41 |      838 |      756
1407.03/1407.54	c 1407s |      19 |   716772 |   496082 |    25925     41 |      838 |      756
1409.43/1409.92	c 1409s |      19 |   717464 |   496682 |    25925     41 |      838 |      756
1411.53/1412.06	c 1411s |      19 |   718028 |   497182 |    25925     41 |      838 |      756
1413.93/1414.49	c 1414s |      19 |   718586 |   497682 |    25925     41 |      838 |      756
1416.23/1416.75	c 1416s |      19 |   719123 |   498182 |    25925     41 |      838 |      756
1418.73/1419.23	c 1418s |      19 |   719645 |   498682 |    25925     41 |      838 |      756
1420.93/1421.47	c 1421s |      19 |   720200 |   499182 |    25925     41 |      838 |      756
1423.22/1423.77	c 1423s |      19 |   720752 |   499682 |    25925     41 |      838 |      756
1425.32/1425.86	c 1425s |      19 |   721185 |   500082 |    25925     41 |      838 |      756
1427.72/1428.21	c 1427s |      19 |   721723 |   500582 |    25925     41 |      838 |      756
1430.12/1430.67	c 1430s |      19 |   722253 |   501082 |    25925     41 |      838 |      756
1432.22/1432.72	c 1432s |      19 |   722683 |   501482 |    25925     41 |      838 |      756
1434.62/1435.16	c 1434s |      19 |   723208 |   501982 |    25925     41 |      838 |      756
1436.62/1437.19	c 1436s |      19 |   723622 |   502382 |    25925     41 |      838 |      756
1438.72/1439.24	c 1438s |      19 |   724037 |   502782 |    25925     41 |      838 |      756
1440.72/1441.25	c 1440s |      19 |   724470 |   503182 |    25925     41 |      838 |      756
1442.83/1443.38	c 1443s |      19 |   724918 |   503582 |    25925     41 |      838 |      756
1445.42/1445.91	c 1445s |      19 |   725439 |   504082 |    25925     41 |      838 |      756
1447.62/1448.12	c 1447s |      19 |   725867 |   504482 |    25925     41 |      838 |      756
1449.82/1450.39	c 1450s |      19 |   726282 |   504882 |    25925     41 |      838 |      756
1452.22/1452.72	c 1452s |      19 |   726696 |   505282 |    25925     41 |      838 |      756
1454.52/1455.08	c 1454s |      19 |   727122 |   505682 |    25925     41 |      838 |      756
1456.62/1457.16	c 1456s |      19 |   727556 |   506082 |    25925     41 |      838 |      756
1458.92/1459.40	c 1459s |      19 |   727981 |   506482 |    25925     41 |      838 |      756
1461.32/1461.81	c 1461s |      19 |   728420 |   506882 |    25925     41 |      838 |      756
1463.92/1464.41	c 1464s |      19 |   728828 |   507282 |    25925     41 |      838 |      756
1465.92/1466.47	c 1466s |      19 |   729137 |   507582 |    25925     41 |      838 |      756
1468.62/1469.18	c 1468s |      19 |   729554 |   507982 |    25925     41 |      838 |      756
1470.72/1471.28	c 1471s |      19 |   729873 |   508282 |    25925     41 |      838 |      756
1472.82/1473.37	c 1473s |      19 |   730189 |   508582 |    25925     41 |      838 |      756
1475.11/1475.60	c 1475s |      19 |   730493 |   508882 |    25925     42 |      838 |      756
1477.31/1477.84	c 1477s |      19 |   730916 |   509282 |    25925     42 |      838 |      756
1479.71/1480.28	c 1480s |      19 |   731439 |   509782 |    25925     42 |      838 |      756
1482.21/1482.74	c 1482s |      19 |   731966 |   510282 |    25925     42 |      838 |      756
1484.41/1484.91	c 1484s |      19 |   732379 |   510682 |    25925     42 |      838 |      756
1486.51/1487.07	c 1486s |      19 |   732798 |   511082 |    25925     42 |      838 |      756
1488.92/1489.46	c 1489s |      19 |   733209 |   511482 |    25925     42 |      838 |      756
1491.22/1491.76	c 1491s |      19 |   733634 |   511882 |    25925     42 |      838 |      756
1493.32/1493.88	c 1493s |      19 |   734080 |   512282 |    25925     42 |      838 |      756
1495.71/1496.24	c 1495s |      19 |   734507 |   512682 |    25925     42 |      838 |      756
1498.11/1498.67	c 1498s |      19 |   734922 |   513082 |    25925     42 |      838 |      756
1500.51/1501.08	c 1500s |      19 |   735335 |   513482 |    25925     42 |      838 |      756
1502.61/1503.10	c 1502s |      19 |   735649 |   513782 |    25925     42 |      838 |      756
1505.11/1505.67	c 1505s |      19 |   736071 |   514182 |    25925     42 |      838 |      756
1507.41/1507.93	c 1507s |      19 |   736498 |   514582 |    25925     42 |      838 |      756
1509.81/1510.37	c 1510s |      19 |   736916 |   514982 |    25925     42 |      838 |      756
1512.21/1512.71	c 1512s |      19 |   737334 |   515382 |    25925     42 |      838 |      756
1514.81/1515.32	c 1515s |      19 |   737763 |   515782 |    25925     42 |      838 |      756
1517.40/1517.92	c 1517s |      19 |   738185 |   516182 |    25925     42 |      838 |      756
1519.81/1520.33	c 1520s |      19 |   738600 |   516582 |    25925     42 |      838 |      756
1521.80/1522.39	c 1522s |      19 |   739019 |   516982 |    25925     42 |      838 |      756
1524.50/1525.00	c 1524s |      19 |   739435 |   517382 |    25925     42 |      838 |      756
1526.50/1527.02	c 1526s |      19 |   739753 |   517682 |    25925     42 |      838 |      756
1529.10/1529.62	c 1529s |      19 |   740179 |   518082 |    25925     42 |      838 |      756
1531.70/1532.20	c 1531s |      19 |   740595 |   518482 |    25925     42 |      838 |      756
1533.80/1534.34	c 1534s |      19 |   740903 |   518782 |    25925     42 |      838 |      756
1536.40/1536.93	c 1536s |      19 |   741335 |   519182 |    25925     42 |      838 |      756
1538.60/1539.16	c 1538s |      19 |   741644 |   519482 |    25925     42 |      838 |      756
1540.80/1541.37	c 1541s |      19 |   741954 |   519782 |    25925     42 |      838 |      756
1543.00/1543.50	c 1543s |      19 |   742258 |   520082 |    25925     42 |      838 |      756
1545.20/1545.72	c 1545s |      19 |   742568 |   520382 |    25925     42 |      838 |      756
1547.21/1547.76	c 1547s |      19 |   742891 |   520682 |    25925     42 |      838 |      756
1549.30/1549.82	c 1549s |      19 |   743198 |   520982 |    25925     42 |      838 |      756
1551.40/1551.96	c 1551s |      19 |   743524 |   521282 |    25925     42 |      838 |      756
1553.60/1554.11	c 1553s |      19 |   743844 |   521582 |    25925     42 |      838 |      756
1556.20/1556.72	c 1556s |      19 |   744259 |   521982 |    25925     42 |      838 |      756
1558.80/1559.34	c 1559s |      19 |   744687 |   522382 |    25925     42 |      838 |      756
1561.20/1561.79	c 1561s |      19 |   745127 |   522782 |    25925     42 |      838 |      756
1563.40/1563.95	c 1563s |      19 |   745449 |   523082 |    25925     42 |      838 |      756
1566.00/1566.56	c 1566s |      19 |   745777 |   523382 |    25925     43 |      838 |      756
1568.40/1568.98	c 1568s |      19 |   746196 |   523782 |    25925     43 |      838 |      756
1570.40/1570.99	c 1570s |      19 |   746623 |   524182 |    25925     43 |      838 |      756
1572.60/1573.19	c 1572s |      19 |   747056 |   524582 |    25925     43 |      838 |      756
1574.80/1575.36	c 1575s |      19 |   747470 |   524982 |    25925     43 |      838 |      756
1577.39/1577.99	c 1577s |      19 |   747881 |   525382 |    25925     43 |      838 |      756
1579.99/1580.51	c 1580s |      19 |   748284 |   525782 |    25925     43 |      838 |      756
1582.09/1582.60	c 1582s |      19 |   748589 |   526082 |    25925     43 |      838 |      756
1584.49/1585.04	c 1584s |      19 |   749022 |   526482 |    25925     43 |      838 |      756
1586.90/1587.43	c 1587s |      19 |   749441 |   526882 |    25925     43 |      838 |      756
1588.90/1589.46	c 1589s |      19 |   749751 |   527182 |    25925     43 |      838 |      756
1591.00/1591.55	c 1591s |      19 |   750061 |   527482 |    25925     43 |      838 |      756
1593.51/1594.05	c 1593s |      19 |   750475 |   527882 |    25925     43 |      838 |      756
1596.10/1596.61	c 1596s |      19 |   750885 |   528282 |    25925     43 |      838 |      756
1598.70/1599.29	c 1599s |      19 |   751294 |   528682 |    25925     43 |      838 |      756
1600.80/1601.36	c 1601s |      19 |   751606 |   528982 |    25925     43 |      838 |      756
1602.80/1603.37	c 1603s |      19 |   751937 |   529282 |    25925     43 |      838 |      756
1604.90/1605.44	c 1605s |      19 |   752265 |   529582 |    25925     43 |      838 |      756
1607.10/1607.69	c 1607s |      19 |   752696 |   529982 |    25925     43 |      838 |      756
1609.50/1610.03	c 1609s |      19 |   753129 |   530382 |    25925     43 |      838 |      756
1612.10/1612.69	c 1612s |      19 |   753560 |   530782 |    25925     43 |      838 |      756
1614.70/1615.24	c 1614s |      19 |   753988 |   531182 |    25925     43 |      838 |      756
1616.70/1617.28	c 1617s |      19 |   754304 |   531482 |    25925     43 |      838 |      756
1618.89/1619.40	c 1619s |      19 |   754618 |   531782 |    25925     43 |      838 |      756
1620.90/1621.43	c 1621s |      19 |   754933 |   532082 |    25925     43 |      838 |      756
1623.10/1623.66	c 1623s |      19 |   755246 |   532382 |    25925     43 |      838 |      756
1625.59/1626.11	c 1625s |      19 |   755565 |   532682 |    25925     43 |      838 |      756
1627.69/1628.24	c 1627s |      19 |   755880 |   532982 |    25925     43 |      838 |      756
1629.70/1630.28	c 1630s |      19 |   756189 |   533282 |    25925     43 |      838 |      756
1631.90/1632.45	c 1632s |      19 |   756495 |   533582 |    25925     43 |      838 |      756
1634.10/1634.62	c 1634s |      19 |   756804 |   533882 |    25925     43 |      838 |      756
1636.30/1636.83	c 1636s |      19 |   757106 |   534182 |    25925     43 |      838 |      756
1638.39/1638.90	c 1638s |      19 |   757433 |   534482 |    25925     43 |      838 |      756
1640.59/1641.13	c 1640s |      19 |   757884 |   534882 |    25925     43 |      838 |      756
1642.90/1643.46	c 1643s |      19 |   758305 |   535282 |    25925     43 |      838 |      756
1645.29/1645.81	c 1645s |      19 |   758725 |   535682 |    25925     43 |      838 |      756
1647.69/1648.29	c 1648s |      19 |   759143 |   536082 |    25925     43 |      838 |      756
1650.39/1650.93	c 1650s |      19 |   759555 |   536482 |    25925     43 |      838 |      756
1652.59/1653.11	c 1652s |      19 |   759864 |   536782 |    25925     43 |      838 |      756
1654.79/1655.35	c 1655s |      19 |   760177 |   537082 |    25925     43 |      838 |      756
1656.79/1657.38	c 1657s |      19 |   760498 |   537382 |    25925     43 |      838 |      756
1659.69/1660.25	c 1659s |      19 |   760808 |   537682 |    25925     44 |      838 |      756
1661.99/1662.59	c 1662s |      19 |   761322 |   538182 |    25925     44 |      838 |      756
1664.09/1664.66	c 1664s |      19 |   761733 |   538582 |    25925     44 |      838 |      756
1666.19/1666.79	c 1666s |      19 |   762139 |   538982 |    25925     44 |      838 |      756
1668.79/1669.39	c 1669s |      19 |   762552 |   539382 |    25925     44 |      838 |      756
1671.29/1671.89	c 1671s |      19 |   762968 |   539782 |    25925     44 |      838 |      756
1673.89/1674.41	c 1674s |      19 |   763384 |   540182 |    25925     44 |      838 |      756
1676.39/1676.96	c 1676s |      19 |   763793 |   540582 |    25925     44 |      838 |      756
1679.08/1679.64	c 1679s |      19 |   764208 |   540982 |    25925     44 |      838 |      756
1681.28/1681.84	c 1681s |      19 |   764519 |   541282 |    25925     44 |      838 |      756
1683.98/1684.50	c 1684s |      19 |   764929 |   541682 |    25925     44 |      838 |      756
1685.98/1686.54	c 1686s |      19 |   765649 |   542182 |    25925     44 |      838 |      756
1688.28/1688.84	c 1688s |      19 |   766728 |   542882 |    25925     44 |      838 |      756
1690.29/1690.86	c 1690s |      19 |   767416 |   543482 |    25925     44 |      838 |      756
1692.49/1693.03	c 1692s |      19 |   768098 |   544082 |    25925     44 |      838 |      756
1694.78/1695.35	c 1695s |      19 |   768956 |   544782 |    25925     44 |      838 |      756
1696.98/1697.57	c 1697s |      19 |   769616 |   545382 |    25925     44 |      838 |      756
1699.28/1699.88	c 1699s |      19 |   770250 |   545982 |    25925     44 |      838 |      756
1701.68/1702.22	c 1701s |      19 |   770919 |   546582 |    25925     44 |      838 |      756
1703.78/1704.30	c 1704s |      19 |   771455 |   547082 |    25925     44 |      838 |      756
1705.98/1706.57	c 1706s |      19 |   772006 |   547582 |    25925     44 |      838 |      756
1708.18/1708.73	c 1708s |      19 |   772567 |   548082 |    25925     44 |      838 |      756
1710.38/1710.96	c 1710s |      19 |   773159 |   548582 |    25925     44 |      838 |      756
1712.78/1713.30	c 1713s |      19 |   773713 |   549082 |    25925     44 |      838 |      756
1715.18/1715.73	c 1715s |      19 |   774257 |   549582 |    25925     44 |      838 |      756
1717.68/1718.26	c 1718s |      19 |   774828 |   550082 |    25925     44 |      838 |      756
1719.98/1720.59	c 1720s |      19 |   775383 |   550582 |    25925     44 |      838 |      756
1722.48/1723.00	c 1722s |      19 |   775941 |   551082 |    25925     44 |      838 |      756
1724.48/1725.08	c 1724s |      19 |   776366 |   551482 |    25925     44 |      838 |      756
1726.78/1727.33	c 1727s |      19 |   776792 |   551882 |    25925     44 |      838 |      756
1729.68/1730.20	c 1729s |      19 |   777208 |   552282 |    25925     45 |      838 |      756
1731.87/1732.43	c 1732s |      19 |   777850 |   552882 |    25925     45 |      838 |      756
1733.97/1734.57	c 1734s |      19 |   778397 |   553382 |    25925     45 |      838 |      756
1736.07/1736.69	c 1736s |      19 |   778942 |   553882 |    25925     45 |      838 |      756
1738.37/1738.93	c 1738s |      19 |   779587 |   554482 |    25925     45 |      838 |      756
1740.57/1741.10	c 1740s |      19 |   780122 |   554982 |    25925     45 |      838 |      756
1742.57/1743.18	c 1742s |      19 |   780655 |   555482 |    25925     45 |      838 |      756
1744.67/1745.21	c 1744s |      19 |   781219 |   555982 |    25925     45 |      838 |      756
1746.77/1747.34	c 1747s |      19 |   781759 |   556482 |    25925     45 |      838 |      756
1749.07/1749.64	c 1749s |      19 |   782320 |   556982 |    25925     45 |      838 |      756
1751.27/1751.80	c 1751s |      19 |   782863 |   557482 |    25925     45 |      838 |      756
1753.27/1753.85	c 1753s |      19 |   783298 |   557882 |    25925     45 |      838 |      756
1755.47/1756.04	c 1755s |      19 |   783835 |   558382 |    25925     45 |      838 |      756
1757.77/1758.39	c 1758s |      19 |   784357 |   558882 |    25925     45 |      838 |      756
1760.27/1760.82	c 1760s |      19 |   784878 |   559382 |    25925     45 |      838 |      756
1762.37/1762.92	c 1762s |      19 |   785425 |   559882 |    25925     45 |      838 |      756
1764.37/1764.93	c 1764s |      19 |   785844 |   560282 |    25925     45 |      838 |      756
1766.67/1767.25	c 1766s |      19 |   786379 |   560782 |    25925     45 |      838 |      756
1769.07/1769.69	c 1769s |      19 |   786931 |   561282 |    25925     45 |      838 |      756
1771.36/1771.98	c 1771s |      19 |   787705 |   561782 |    25925     45 |      838 |      756
1773.66/1774.26	c 1774s |      19 |   788153 |   562182 |    25925     45 |      838 |      756
1776.08/1776.64	c 1776s |      19 |   788608 |   562582 |    25925     45 |      838 |      756
1778.67/1779.22	c 1778s |      19 |   789038 |   562982 |    25925     45 |      838 |      756
1780.67/1781.27	c 1781s |      19 |   789358 |   563282 |    25925     45 |      838 |      756
1782.97/1783.52	c 1783s |      19 |   790294 |   563782 |    25925     45 |      838 |      756
1785.17/1785.78	c 1785s |      19 |   790851 |   564282 |    25925     45 |      838 |      756
1787.67/1788.27	c 1788s |      19 |   791388 |   564782 |    25925     45 |      838 |      756
1789.87/1790.46	c 1790s |      19 |   791808 |   565182 |    25925     45 |      838 |      756
1791.87/1792.47	c 1792s |      19 |   792250 |   565582 |    25925     45 |      838 |      756
1793.97/1794.58	c 1794s |      19 |   792714 |   565982 |    25925     45 |      838 |      756
1796.47/1797.00	c 1796s |      19 |   793136 |   566382 |    25925     45 |      838 |      756
1798.97/1799.52	c 1799s |      19 |   793549 |   566782 |    25925     45 |      838 |      756

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

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

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


[startup+0 s]
/proc/loadavg: 2.27 2.32 2.18 3/179 23661
/proc/meminfo: memFree=30264756/32872528 swapFree=1541156/1696500
[pid=23661] ppid=23658 vsize=760252 CPUtime=0 cores=0,2,4,6
/proc/23661/stat : 23661 (toysat) R 23658 23661 23447 0 -1 4202496 2846 0 0 0 0 0 0 0 20 0 4 0 29896454 778498048 2696 33554432000 4194304 16246674 140735999018400 140735999017824 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23661/statm: 190831 2705 441 2943 0 187725 0
[pid=23661/tid=23662] ppid=23658 vsize=778684 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23662/stat : 23662 (toysat) S 23658 23661 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896454 797372416 2765 33554432000 4194304 16246674 140735999018400 140576528772336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23661/tid=23663] ppid=23658 vsize=782780 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23663/stat : 23663 (toysat) S 23658 23661 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896454 801566720 2780 33554432000 4194304 16246674 140735999018400 140576518282480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23661/tid=23664] ppid=23658 vsize=785852 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23664/stat : 23664 (toysat) S 23658 23661 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29896454 804712448 2796 33554432000 4194304 16246674 140735999018400 140576507808944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100224 s]
/proc/loadavg: 2.27 2.32 2.18 3/179 23661
/proc/meminfo: memFree=30264756/32872528 swapFree=1541156/1696500
[pid=23661] ppid=23658 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/23661/stat : 23661 (toysat) R 23658 23661 23447 0 -1 4202496 28276 0 0 0 5 4 0 0 20 0 4 0 29896454 1249447936 28064 33554432000 4194304 16246674 140735999018400 140735999017712 4220507 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23661/statm: 305041 28064 801 2943 0 301935 0
[pid=23661/tid=23662] ppid=23658 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23662/stat : 23662 (toysat) S 23658 23661 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896454 1249447936 28064 33554432000 4194304 16246674 140735999018400 140576528772336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23661/tid=23663] ppid=23658 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23663/stat : 23663 (toysat) S 23658 23661 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896454 1249447936 28064 33554432000 4194304 16246674 140735999018400 140576518282480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23661/tid=23664] ppid=23658 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23664/stat : 23664 (toysat) S 23658 23661 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29896454 1249447936 28064 33554432000 4194304 16246674 140735999018400 140576507808944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200524 s]
/proc/loadavg: 2.27 2.32 2.18 3/179 23661
/proc/meminfo: memFree=30264756/32872528 swapFree=1541156/1696500
[pid=23661] ppid=23658 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/23661/stat : 23661 (toysat) R 23658 23661 23447 0 -1 4202496 48485 0 0 0 13 6 0 0 20 0 4 0 29896454 1332285440 48273 33554432000 4194304 16246674 140735999018400 140735999000320 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23661/statm: 325265 48273 842 2943 0 322159 0
[pid=23661/tid=23662] ppid=23658 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23662/stat : 23662 (toysat) S 23658 23661 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896454 1332285440 48273 33554432000 4194304 16246674 140735999018400 140576528772336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23661/tid=23663] ppid=23658 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23663/stat : 23663 (toysat) S 23658 23661 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896454 1332285440 48273 33554432000 4194304 16246674 140735999018400 140576518282480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23661/tid=23664] ppid=23658 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23664/stat : 23664 (toysat) S 23658 23661 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29896454 1332285440 48273 33554432000 4194304 16246674 140735999018400 140576507808944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300429 s]
/proc/loadavg: 2.27 2.32 2.18 3/179 23661
/proc/meminfo: memFree=30264756/32872528 swapFree=1541156/1696500
[pid=23661] ppid=23658 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/23661/stat : 23661 (toysat) R 23658 23661 23447 0 -1 4202496 50334 0 0 0 22 7 0 0 20 0 4 0 29896454 1332285440 50122 33554432000 4194304 16246674 140735999018400 140735999000320 12875570 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23661/statm: 325265 50125 882 2943 0 322159 0
[pid=23661/tid=23662] ppid=23658 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23662/stat : 23662 (toysat) S 23658 23661 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896454 1332285440 50127 33554432000 4194304 16246674 140735999018400 140576528772336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23661/tid=23663] ppid=23658 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23663/stat : 23663 (toysat) S 23658 23661 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896454 1332285440 50130 33554432000 4194304 16246674 140735999018400 140576518282480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23661/tid=23664] ppid=23658 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23664/stat : 23664 (toysat) S 23658 23661 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29896454 1332285440 50134 33554432000 4194304 16246674 140735999018400 140576507808944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.70039 s]
/proc/loadavg: 2.27 2.32 2.18 3/179 23661
/proc/meminfo: memFree=30264756/32872528 swapFree=1541156/1696500
[pid=23661] ppid=23658 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/23661/stat : 23661 (toysat) R 23658 23661 23447 0 -1 4202496 100074 0 0 0 56 13 0 0 20 0 4 0 29896454 1332285440 99862 33554432000 4194304 16246674 140735999018400 140735999000320 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23661/statm: 325265 99867 882 2943 0 322159 0
[pid=23661/tid=23662] ppid=23658 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23662/stat : 23662 (toysat) S 23658 23661 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896454 1332285440 99869 33554432000 4194304 16246674 140735999018400 140576528772336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23661/tid=23663] ppid=23658 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23663/stat : 23663 (toysat) S 23658 23661 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896454 1332285440 99871 33554432000 4194304 16246674 140735999018400 140576518282480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23661/tid=23664] ppid=23658 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23664/stat : 23664 (toysat) S 23658 23661 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29896454 1332285440 99874 33554432000 4194304 16246674 140735999018400 140576507808944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50039 s]
/proc/loadavg: 2.33 2.33 2.18 3/183 23665
/proc/meminfo: memFree=29076880/32872528 swapFree=1541156/1696500
[pid=23661] ppid=23658 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/23661/stat : 23661 (toysat) R 23658 23661 23447 0 -1 4202496 212586 0 0 0 120 29 0 0 20 0 4 0 29896454 1332285440 212375 33554432000 4194304 16246674 140735999018400 140735999000320 5722381 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23661/statm: 325265 212380 882 2943 0 322159 0
[pid=23661/tid=23662] ppid=23658 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23662/stat : 23662 (toysat) S 23658 23661 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896454 1332285440 212385 33554432000 4194304 16246674 140735999018400 140576528772336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23661/tid=23663] ppid=23658 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23663/stat : 23663 (toysat) S 23658 23661 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896454 1332285440 212388 33554432000 4194304 16246674 140735999018400 140576518282480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23661/tid=23664] ppid=23658 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23664/stat : 23664 (toysat) S 23658 23661 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29896454 1332285440 212392 33554432000 4194304 16246674 140735999018400 140576507808944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.1004 s]
/proc/loadavg: 2.33 2.33 2.18 3/183 23665
/proc/meminfo: memFree=28189784/32872528 swapFree=1541156/1696500
[pid=23661] ppid=23658 vsize=1312324 CPUtime=3.09 cores=0,2,4,6
/proc/23661/stat : 23661 (toysat) R 23658 23661 23447 0 -1 4202496 269190 0 0 0 272 37 0 0 20 0 4 0 29896454 1343819776 268978 33554432000 4194304 16246674 140735999018400 140735999000320 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23661/statm: 328081 268978 889 2943 0 324975 0
[pid=23661/tid=23662] ppid=23658 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23662/stat : 23662 (toysat) S 23658 23661 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896454 1343819776 268978 33554432000 4194304 16246674 140735999018400 140576528772336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23661/tid=23663] ppid=23658 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23663/stat : 23663 (toysat) S 23658 23661 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896454 1343819776 268978 33554432000 4194304 16246674 140735999018400 140576518282480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23661/tid=23664] ppid=23658 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23664/stat : 23664 (toysat) S 23658 23661 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29896454 1343819776 268978 33554432000 4194304 16246674 140735999018400 140576507808944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30041 s]
/proc/loadavg: 2.30 2.33 2.18 3/183 23665
/proc/meminfo: memFree=28189044/32872528 swapFree=1541156/1696500
[pid=23661] ppid=23658 vsize=1312324 CPUtime=6.29 cores=0,2,4,6
/proc/23661/stat : 23661 (toysat) R 23658 23661 23447 0 -1 4202496 269270 0 0 0 592 37 0 0 20 0 4 0 29896454 1343819776 269058 33554432000 4194304 16246674 140735999018400 140735999000320 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23661/statm: 328081 269058 889 2943 0 324975 0
[pid=23661/tid=23662] ppid=23658 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23662/stat : 23662 (toysat) S 23658 23661 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896454 1343819776 269058 33554432000 4194304 16246674 140735999018400 140576528772336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23661/tid=23663] ppid=23658 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23663/stat : 23663 (toysat) S 23658 23661 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896454 1343819776 269058 33554432000 4194304 16246674 140735999018400 140576518282480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23661/tid=23664] ppid=23658 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23664/stat : 23664 (toysat) S 23658 23661 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29896454 1343819776 269058 33554432000 4194304 16246674 140735999018400 140576507808944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.36 2.34 2.19 4/183 23665
/proc/meminfo: memFree=28188528/32872528 swapFree=1541156/1696500
[pid=23661] ppid=23658 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/23661/stat : 23661 (toysat) R 23658 23661 23447 0 -1 4202496 269273 0 0 0 1232 37 0 0 20 0 4 0 29896454 1343819776 269061 33554432000 4194304 16246674 140735999018400 140735999000320 12415665 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23661/statm: 328081 269061 891 2943 0 324975 0
[pid=23661/tid=23662] ppid=23658 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23662/stat : 23662 (toysat) S 23658 23661 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896454 1343819776 269061 33554432000 4194304 16246674 140735999018400 140576528772336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23661/tid=23663] ppid=23658 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23663/stat : 23663 (toysat) S 23658 23661 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896454 1343819776 269061 33554432000 4194304 16246674 140735999018400 140576518282480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23661/tid=23664] ppid=23658 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23664/stat : 23664 (toysat) S 23658 23661 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29896454 1343819776 269061 33554432000 4194304 16246674 140735999018400 140576507808944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5004 s]
/proc/loadavg: 2.35 2.34 2.19 3/183 23665
/proc/meminfo: memFree=28189360/32872528 swapFree=1541156/1696500
[pid=23661] ppid=23658 vsize=1312324 CPUtime=25.49 cores=0,2,4,6
/proc/23661/stat : 23661 (toysat) R 23658 23661 23447 0 -1 4202496 269274 0 0 0 2512 37 0 0 20 0 4 0 29896454 1343819776 269062 33554432000 4194304 16246674 140735999018400 140735999000320 12483524 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23661/statm: 328081 269062 892 2943 0 324975 0
[pid=23661/tid=23662] ppid=23658 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23662/stat : 23662 (toysat) S 23658 23661 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896454 1343819776 269062 33554432000 4194304 16246674 140735999018400 140576528772336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23661/tid=23663] ppid=23658 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23663/stat : 23663 (toysat) S 23658 23661 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896454 1343819776 269062 33554432000 4194304 16246674 140735999018400 140576518282480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23661/tid=23664] ppid=23658 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23664/stat : 23664 (toysat) S 23658 23661 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29896454 1343819776 269062 33554432000 4194304 16246674 140735999018400 140576507808944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.23 2.31 2.18 3/183 23665
/proc/meminfo: memFree=28188956/32872528 swapFree=1541156/1696500
[pid=23661] ppid=23658 vsize=1312324 CPUtime=51.09 cores=0,2,4,6
/proc/23661/stat : 23661 (toysat) R 23658 23661 23447 0 -1 4202496 269274 0 0 0 5072 37 0 0 20 0 4 0 29896454 1343819776 269062 33554432000 4194304 16246674 140735999018400 140735999000320 5712550 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23661/statm: 328081 269062 892 2943 0 324975 0
[pid=23661/tid=23662] ppid=23658 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23662/stat : 23662 (toysat) S 23658 23661 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896454 1343819776 269062 33554432000 4194304 16246674 140735999018400 140576528772336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23661/tid=23663] ppid=23658 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23663/stat : 23663 (toysat) S 23658 23661 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896454 1343819776 269062 33554432000 4194304 16246674 140735999018400 140576518282480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23661/tid=23664] ppid=23658 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23664/stat : 23664 (toysat) S 23658 23661 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29896454 1343819776 269062 33554432000 4194304 16246674 140735999018400 140576507808944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.28 2.32 2.19 3/183 23666
/proc/meminfo: memFree=28177212/32872528 swapFree=1541156/1696500
[pid=23661] ppid=23658 vsize=1316420 CPUtime=102.28 cores=0,2,4,6
/proc/23661/stat : 23661 (toysat) R 23658 23661 23447 0 -1 4202496 270212 0 0 0 10191 37 0 0 20 0 4 0 29896454 1348014080 270000 33554432000 4194304 16246674 140735999018400 140735999000320 5603280 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23661/statm: 329105 270000 892 2943 0 325999 0
[pid=23661/tid=23662] ppid=23658 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23662/stat : 23662 (toysat) S 23658 23661 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896454 1348014080 270000 33554432000 4194304 16246674 140735999018400 140576528772336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23661/tid=23663] ppid=23658 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23663/stat : 23663 (toysat) S 23658 23661 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896454 1348014080 270000 33554432000 4194304 16246674 140735999018400 140576518282480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23661/tid=23664] ppid=23658 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23664/stat : 23664 (toysat) S 23658 23661 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29896454 1348014080 270000 33554432000 4194304 16246674 140735999018400 140576507808944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1316420


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

/proc/23661/task/23664/stat : 23664 (toysat) S 23658 23661 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576507808944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1339972

[startup+1302.3 s]
/proc/loadavg: 2.17 2.26 2.26 3/183 23696
/proc/meminfo: memFree=28132944/32872528 swapFree=1541156/1696500
[pid=23661] ppid=23658 vsize=1339972 CPUtime=1301.88 cores=0,2,4,6
/proc/23661/stat : 23661 (toysat) R 23658 23661 23447 0 -1 4202496 276337 0 0 0 130141 47 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140735999000320 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23661/statm: 334993 276046 892 2943 0 331887 0
[pid=23661/tid=23662] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23662/stat : 23662 (toysat) S 23658 23661 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576528772336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23661/tid=23663] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23663/stat : 23663 (toysat) S 23658 23661 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576518282480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23661/tid=23664] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23664/stat : 23664 (toysat) S 23658 23661 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576507808944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1339972

[startup+1362.3 s]
/proc/loadavg: 2.25 2.27 2.26 3/183 23697
/proc/meminfo: memFree=28132972/32872528 swapFree=1541156/1696500
[pid=23661] ppid=23658 vsize=1339972 CPUtime=1361.84 cores=0,2,4,6
/proc/23661/stat : 23661 (toysat) R 23658 23661 23447 0 -1 4202496 276383 0 0 0 136136 48 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140735999000320 5545898 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23661/statm: 334993 276046 892 2943 0 331887 0
[pid=23661/tid=23662] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23662/stat : 23662 (toysat) S 23658 23661 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576528772336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23661/tid=23663] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23663/stat : 23663 (toysat) S 23658 23661 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576518282480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23661/tid=23664] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23664/stat : 23664 (toysat) S 23658 23661 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576507808944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1339972

[startup+1422.3 s]
/proc/loadavg: 2.22 2.26 2.26 3/183 23698
/proc/meminfo: memFree=28133388/32872528 swapFree=1541156/1696500
[pid=23661] ppid=23658 vsize=1339972 CPUtime=1421.83 cores=0,2,4,6
/proc/23661/stat : 23661 (toysat) R 23658 23661 23447 0 -1 4202496 276397 0 0 0 142135 48 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140735999000320 5674832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23661/statm: 334993 276046 892 2943 0 331887 0
[pid=23661/tid=23662] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23662/stat : 23662 (toysat) S 23658 23661 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576528772336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23661/tid=23663] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23663/stat : 23663 (toysat) S 23658 23661 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576518282480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23661/tid=23664] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23664/stat : 23664 (toysat) S 23658 23661 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576507808944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1339972

[startup+1482.3 s]
/proc/loadavg: 2.36 2.29 2.27 3/184 23703
/proc/meminfo: memFree=28133100/32872528 swapFree=1541156/1696500
[pid=23661] ppid=23658 vsize=1339972 CPUtime=1481.81 cores=0,2,4,6
/proc/23661/stat : 23661 (toysat) R 23658 23661 23447 0 -1 4202496 276397 0 0 0 148133 48 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140735999000320 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23661/statm: 334993 276046 892 2943 0 331887 0
[pid=23661/tid=23662] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23662/stat : 23662 (toysat) S 23658 23661 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576528772336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23661/tid=23663] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23663/stat : 23663 (toysat) S 23658 23661 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576518282480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23661/tid=23664] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23664/stat : 23664 (toysat) S 23658 23661 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576507808944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1339972

[startup+1542.31 s]
/proc/loadavg: 2.17 2.25 2.26 3/183 23704
/proc/meminfo: memFree=28133472/32872528 swapFree=1541156/1696500
[pid=23661] ppid=23658 vsize=1339972 CPUtime=1541.81 cores=0,2,4,6
/proc/23661/stat : 23661 (toysat) R 23658 23661 23447 0 -1 4202496 276397 0 0 0 154133 48 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140735999000320 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23661/statm: 334993 276046 892 2943 0 331887 0
[pid=23661/tid=23662] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23662/stat : 23662 (toysat) S 23658 23661 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576528772336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23661/tid=23663] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23663/stat : 23663 (toysat) S 23658 23661 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576518282480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23661/tid=23664] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23664/stat : 23664 (toysat) S 23658 23661 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576507808944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1339972

[startup+1602.3 s]
/proc/loadavg: 2.22 2.25 2.26 3/183 23705
/proc/meminfo: memFree=28133348/32872528 swapFree=1541156/1696500
[pid=23661] ppid=23658 vsize=1339972 CPUtime=1601.8 cores=0,2,4,6
/proc/23661/stat : 23661 (toysat) R 23658 23661 23447 0 -1 4202496 276397 0 0 0 160131 49 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140735999000320 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23661/statm: 334993 276046 892 2943 0 331887 0
[pid=23661/tid=23662] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23662/stat : 23662 (toysat) S 23658 23661 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576528772336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23661/tid=23663] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23663/stat : 23663 (toysat) S 23658 23661 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576518282480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23661/tid=23664] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23664/stat : 23664 (toysat) S 23658 23661 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576507808944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1339972

[startup+1662.3 s]
/proc/loadavg: 2.24 2.24 2.26 3/183 23706
/proc/meminfo: memFree=28133336/32872528 swapFree=1541156/1696500
[pid=23661] ppid=23658 vsize=1339972 CPUtime=1661.79 cores=0,2,4,6
/proc/23661/stat : 23661 (toysat) R 23658 23661 23447 0 -1 4202496 276397 0 0 0 166130 49 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140735999000320 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23661/statm: 334993 276046 892 2943 0 331887 0
[pid=23661/tid=23662] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23662/stat : 23662 (toysat) S 23658 23661 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576528772336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23661/tid=23663] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23663/stat : 23663 (toysat) S 23658 23661 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576518282480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23661/tid=23664] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23664/stat : 23664 (toysat) S 23658 23661 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576507808944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1339972

[startup+1722.3 s]
/proc/loadavg: 2.13 2.21 2.24 3/183 23707
/proc/meminfo: memFree=28133400/32872528 swapFree=1541156/1696500
[pid=23661] ppid=23658 vsize=1339972 CPUtime=1721.78 cores=0,2,4,6
/proc/23661/stat : 23661 (toysat) R 23658 23661 23447 0 -1 4202496 276397 0 0 0 172129 49 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140735999000320 5711439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23661/statm: 334993 276046 892 2943 0 331887 0
[pid=23661/tid=23662] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23662/stat : 23662 (toysat) S 23658 23661 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576528772336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23661/tid=23663] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23663/stat : 23663 (toysat) S 23658 23661 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576518282480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23661/tid=23664] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23664/stat : 23664 (toysat) S 23658 23661 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576507808944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1339972

[startup+1782.3 s]
/proc/loadavg: 2.22 2.22 2.24 3/183 23709
/proc/meminfo: memFree=28132908/32872528 swapFree=1541156/1696500
[pid=23661] ppid=23658 vsize=1339972 CPUtime=1781.77 cores=0,2,4,6
/proc/23661/stat : 23661 (toysat) R 23658 23661 23447 0 -1 4202496 276397 0 0 0 178127 50 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140735999000320 5572296 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23661/statm: 334993 276046 892 2943 0 331887 0
[pid=23661/tid=23662] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23662/stat : 23662 (toysat) S 23658 23661 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576528772336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23661/tid=23663] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23663/stat : 23663 (toysat) S 23658 23661 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576518282480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23661/tid=23664] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23664/stat : 23664 (toysat) S 23658 23661 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576507808944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1339972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.25 2.22 2.24 3/183 23709
/proc/meminfo: memFree=28133284/32872528 swapFree=1541156/1696500
[pid=23661] ppid=23658 vsize=1339972 CPUtime=1800.07 cores=0,2,4,6
/proc/23661/stat : 23661 (toysat) R 23658 23661 23447 0 -1 4202496 276397 0 0 0 179957 50 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140735999000320 13906976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23661/statm: 334993 276046 892 2943 0 331887 0
[pid=23661/tid=23662] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23662/stat : 23662 (toysat) S 23658 23661 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576528772336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23661/tid=23663] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23663/stat : 23663 (toysat) S 23658 23661 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576518282480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23661/tid=23664] ppid=23658 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/23661/task/23664/stat : 23664 (toysat) S 23658 23661 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29896454 1372131328 276046 33554432000 4194304 16246674 140735999018400 140576507808944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1339972

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.58
CPU system time (s): 0.501923
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 1339972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.501923
maximum resident set size= 1104184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276397
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= 409
involuntary context switches= 2075

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5693 second user time and 6.93694 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-26 21:16:17
IDJOB=4117037
IDBENCH=109545
IDSOLVER=2542
FILE ID=node125/4117037-1466968577
RUNJOBID= node125-1466966776-23463
PBS_JOBID= 19976375
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 1603e350e855b53698c29e37bc064a30
RANDOM SEED=2118805213

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30274584 kB
Buffers:           35104 kB
Cached:            94076 kB
SwapCached:         1736 kB
Active:           145560 kB
Inactive:          54196 kB
Active(anon):      72252 kB
Inactive(anon):      448 kB
Active(file):      73308 kB
Inactive(file):    53748 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             33396 kB
Writeback:             0 kB
AnonPages:       1804904 kB
Mapped:             9444 kB
Shmem:                 0 kB
Slab:             567568 kB
SReclaimable:      11616 kB
SUnreclaim:       555952 kB
KernelStack:        1520 kB
PageTables:         9320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2825328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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= 71708 MiB
End job on node125 at 2016-06-26 21:46:18