Trace number 4116525

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.02 1800.51

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-26T23:16:22+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-4116525-1466975782.opb"]
0.00/0.01	c use --random-gen="797297090 1373820134 3666860626 2734601749 3151321428 3530389272 2664814399 3366601103 2194476661 162642553 692578924 2232846580 3809321265 465799939 3969608421 1388883770 3429809815 3138048413 2515351951 618759519 658142227 1694782295 2007565484 1450405210 3125005050 2871573879 2074118684 2072992627 2008503276 1218245403 3979798581 1113833040 2201276523 684114077 3631331658 2669452945 3554082663 3039366716 1865080032 501332615 3759937552 2704049904 806533688 1215229346 170482935 1510180791 470772971 2944901337 122237414 262993746 3160316424 2279471402 1368221383 2293184033 3823221910 1374313213 415921236 2659323646 2509460796 3735452772 835210765 346205446 2161186423 4025981165 3744033646 875887178 2421438114 2660682714 2988291682 564871364 563515141 2855223968 3364761198 2658809222 2153655460 1616271146 2474735719 2751129924 1842388038 3372771375 1773694849 3733919366 4119170882 3286188941 1426051475 1485625846 995884370 1263399125 3821671219 2049892776 1411003284 394224522 2789028977 1071171491 1415783671 993493666 712074949 3185647773 3209734360 3813207811 106706409 107374524 274033780 478023177 1386665827 2606625123 3456927280 847987764 3720007710 1261714639 374250615 1285823663 410022602 40582575 2853187635 1203528205 3333306077 2254217575 3070876723 2499046011 3027974592 3526685601 1466370601 3620793335 2338480569 3227754370 1007107143 856914185 3639350435 3508403544 468024270 1633440096 499554192 3469076687 2043412456 2531329176 576738190 4253539676 3097799964 638052313 4232444958 1421725257 902480785 3097432203 3291812902 3264034554 1825954559 68578621 1073597275 1586409477 3682527594 2870203369 542513119 2164074879 3286629321 520326156 1472133274 3007841755 146913510 89583035 1701307405 459095293 925428723 3361515205 1176973303 954528819 2612957467 822569079 1399716318 573436202 4183843248 1248394105 1390049617 1683939433 1629989338 4228623943 361806476 3144362874 710585292 1347823829 2520350683 3727241212 1525525445 3914237005 3489860372 3879126885 3839545175 3499144225 2250089524 4199028508 3510443281 1201723102 2966398849 3740765991 2806715216 3134848234 3407276732 370000773 245408111 1764116100 1008380567 2843901177 3388154009 1802712095 4093000023 508236638 940250793 4106640700 1579747523 3574703535 3906906930 598723297 3533320782 158812635 2983346586 1503966836 3630946101 1479013617 3529250439 4061649686 4027846954 580759196 1996230178 1609121175 395968532 676952180 661208239 2188432336 3213392031 2435970473 188995703 2998053859 649599390 3267845777 4193271607 3305521027 2205399591 3734489676 1667799428 776826646 2431996158 1356381362 4176928559 3687516227 1761236498 2940746252 1928700259 968206065 3341569184 367111866 2978352916 612920855 2968933742 3059715039 3878539045 3362687488 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9472
0.19/0.28	c Solving starts ...
0.19/0.28	c ============================[ Search Statistics ]============================
0.19/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.28	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      646 |        0
0.29/0.37	c  0.1s |       1 |     1179 |      100 |     4565      0 |      647 |      434
0.49/0.50	c  0.2s |       2 |     3765 |      250 |     5022      0 |      648 |      434
0.59/0.65	c  0.4s |       3 |     5836 |      475 |     5525      0 |      648 |      434
0.98/1.03	c  0.8s |       4 |     7167 |      813 |     6078      0 |      648 |      434
1.39/1.46	c  1.2s |       5 |    10430 |     1320 |     6686      0 |      648 |      434
1.99/2.06	c  1.8s |       6 |    14612 |     2081 |     8091      0 |      648 |      434
3.50/3.59	c  3.3s |       7 |    16756 |     3223 |     8901      0 |      648 |      434
4.99/5.09	c  4.8s |       8 |    21869 |     4936 |     9792      0 |      648 |      434
7.19/7.20	c  6.9s |       8 |    26366 |     6836 |     9792      0 |      648 |      434
8.29/8.31	c  8.0s |       9 |    27159 |     7506 |    10772      0 |      648 |      434
10.29/10.36	c 10.1s |       9 |    31815 |     9106 |    10772      0 |      648 |      434
12.30/12.38	c 12.1s |       9 |    34576 |    10406 |    10772      0 |      648 |      434
13.59/13.62	c 13.3s |      10 |    37111 |    11361 |    11850      0 |      648 |      434
15.60/15.68	c 15.4s |      10 |    43503 |    13561 |    11850      0 |      648 |      434
17.69/17.78	c 17.5s |      10 |    45684 |    15161 |    11850      0 |      648 |      434
19.89/19.93	c 19.7s |      10 |    47341 |    16461 |    11850      1 |      648 |      434
21.10/21.20	c 20.9s |      11 |    48171 |    17144 |    13036      1 |      648 |      434
23.19/23.21	c 22.9s |      11 |    58074 |    19444 |    13036      1 |      648 |      434
25.19/25.24	c 25.0s |      11 |    59379 |    20544 |    13036      1 |      648 |      434
27.39/27.45	c 27.2s |      11 |    61027 |    21744 |    13036      1 |      648 |      434
29.59/29.64	c 29.4s |      11 |    62519 |    22844 |    13036      1 |      648 |      434
31.79/31.89	c 31.6s |      11 |    63677 |    23844 |    13036      1 |      648 |      434
33.88/33.93	c 33.7s |      11 |    67685 |    24944 |    13036      2 |      648 |      434
34.68/34.76	c 34.5s |      12 |    70660 |    25819 |    14340      2 |      648 |      434
36.78/36.89	c 36.6s |      12 |    74731 |    27719 |    14340      2 |      648 |      434
38.88/38.96	c 38.7s |      12 |    75982 |    28819 |    14340      2 |      648 |      434
41.08/41.16	c 40.9s |      12 |    77130 |    29819 |    14340      2 |      648 |      434
43.19/43.25	c 43.0s |      12 |    78340 |    30819 |    14340      2 |      648 |      434
45.29/45.39	c 45.1s |      12 |    79508 |    31819 |    14340      2 |      648 |      434
47.38/47.40	c 47.1s |      12 |    80445 |    32619 |    14340      2 |      648 |      434
49.58/49.61	c 49.3s |      12 |    81367 |    33419 |    14340      2 |      648 |      434
51.58/51.64	c 51.4s |      12 |    82148 |    34119 |    14340      3 |      648 |      434
53.88/53.92	c 53.6s |      12 |    82981 |    34919 |    14340      3 |      648 |      434
55.88/55.97	c 55.7s |      12 |    83735 |    35619 |    14340      3 |      648 |      434
58.18/58.26	c 58.0s |      12 |    84603 |    36419 |    14340      3 |      648 |      434
60.38/60.48	c 60.2s |      12 |    85364 |    37119 |    14340      3 |      648 |      434
62.68/62.71	c 62.4s |      12 |    86104 |    37819 |    14340      3 |      648 |      434
64.98/65.00	c 64.7s |      12 |    86857 |    38519 |    14340      3 |      648 |      434
66.08/66.10	c 65.8s |      13 |    87188 |    38832 |    15775      3 |      648 |      434
68.08/68.12	c 67.8s |      13 |    93326 |    41032 |    15775      3 |      648 |      434
70.18/70.21	c 69.9s |      13 |    95411 |    42532 |    15775      3 |      648 |      434
72.18/72.27	c 72.0s |      13 |    97008 |    43832 |    15775      3 |      648 |      434
74.38/74.40	c 74.1s |      13 |    98402 |    44932 |    15775      4 |      648 |      434
76.38/76.45	c 76.2s |      13 |    99786 |    46032 |    15775      4 |      648 |      434
78.48/78.57	c 78.3s |      13 |   101261 |    47232 |    15775      4 |      648 |      434
80.58/80.66	c 80.4s |      13 |   102676 |    48332 |    15775      4 |      648 |      434
82.68/82.76	c 82.5s |      13 |   103855 |    49332 |    15775      4 |      648 |      434
84.78/84.80	c 84.5s |      13 |   104895 |    50232 |    15775      4 |      648 |      434
86.77/86.89	c 86.6s |      13 |   105786 |    51032 |    15775      4 |      648 |      434
88.87/88.91	c 88.6s |      13 |   106733 |    51832 |    15775      4 |      648 |      434
91.17/91.22	c 90.9s |      13 |   107647 |    52632 |    15775      4 |      648 |      434
93.27/93.33	c 93.1s |      13 |   108416 |    53332 |    15775      4 |      648 |      434
95.37/95.40	c 95.1s |      13 |   109056 |    53932 |    15775      5 |      648 |      434
97.37/97.40	c 97.1s |      13 |   109823 |    54632 |    15775      5 |      648 |      434
99.57/99.63	c 99.3s |      13 |   110577 |    55332 |    15775      5 |      648 |      434
101.57/101.64	c  101s |      13 |   111315 |    56032 |    15775      5 |      648 |      434
103.58/103.64	c  103s |      13 |   112299 |    56832 |    15775      5 |      648 |      434
105.77/105.87	c  105s |      13 |   113238 |    57632 |    15775      5 |      648 |      434
107.76/107.89	c  107s |      13 |   113896 |    58232 |    17353      5 |      648 |      434
108.26/108.37	c  108s |      14 |   114029 |    58352 |    17353      5 |      648 |      434
110.36/110.41	c  110s |      14 |   118603 |    59952 |    17353      5 |      648 |      434
112.37/112.50	c  112s |      14 |   120656 |    61552 |    17353      5 |      648 |      434
114.57/114.64	c  114s |      14 |   122055 |    62852 |    17353      5 |      648 |      434
116.56/116.68	c  116s |      14 |   123371 |    64052 |    17353      5 |      648 |      434
118.76/118.87	c  118s |      14 |   124649 |    65152 |    17353      6 |      648 |      434
120.85/120.94	c  120s |      14 |   125746 |    66152 |    17353      6 |      648 |      434
123.05/123.10	c  122s |      14 |   126813 |    67152 |    17353      6 |      648 |      434
125.15/125.22	c  124s |      14 |   127765 |    68052 |    17353      6 |      648 |      434
127.25/127.34	c  127s |      14 |   128625 |    68852 |    17353      6 |      648 |      434
129.35/129.48	c  129s |      14 |   129490 |    69652 |    17353      6 |      648 |      434
131.45/131.52	c  131s |      14 |   130476 |    70552 |    17353      6 |      648 |      434
133.55/133.69	c  133s |      14 |   131541 |    71552 |    17353      6 |      648 |      434
135.64/135.75	c  135s |      14 |   132396 |    72352 |    17353      6 |      648 |      434
137.75/137.85	c  137s |      14 |   133372 |    73252 |    17353      6 |      648 |      434
139.74/139.89	c  139s |      14 |   134236 |    74052 |    17353      6 |      648 |      434
142.05/142.20	c  141s |      14 |   134882 |    74652 |    17353      7 |      648 |      434
144.14/144.22	c  143s |      14 |   135746 |    75452 |    17353      7 |      648 |      434
146.14/146.23	c  145s |      14 |   136617 |    76252 |    17353      7 |      648 |      434
148.24/148.32	c  148s |      14 |   137356 |    76952 |    17353      7 |      648 |      434
150.54/150.63	c  150s |      14 |   138206 |    77752 |    17353      7 |      648 |      434
152.64/152.72	c  152s |      14 |   138940 |    78452 |    17353      7 |      648 |      434
154.74/154.88	c  154s |      14 |   139684 |    79152 |    17353      7 |      648 |      434
156.94/157.08	c  156s |      14 |   140421 |    79852 |    17353      7 |      648 |      434
159.14/159.24	c  158s |      14 |   141170 |    80552 |    17353      7 |      648 |      434
161.44/161.54	c  161s |      14 |   141927 |    81252 |    17353      7 |      648 |      434
163.74/163.88	c  163s |      14 |   142668 |    81952 |    17353      7 |      648 |      434
166.13/166.25	c  165s |      14 |   143299 |    82552 |    17353      7 |      648 |      434
168.33/168.44	c  168s |      14 |   144048 |    83252 |    17353      7 |      648 |      434
170.44/170.57	c  170s |      14 |   144802 |    83952 |    17353      7 |      648 |      434
172.64/172.76	c  172s |      14 |   145562 |    84652 |    17353      7 |      648 |      434
174.84/174.93	c  174s |      14 |   146300 |    85352 |    17353      8 |      648 |      434
176.94/177.04	c  176s |      14 |   147156 |    86152 |    17353      8 |      648 |      434
179.14/179.22	c  178s |      14 |   147988 |    86952 |    17353      8 |      648 |      434
180.94/181.04	c  180s |      15 |   148720 |    87632 |    19089      8 |      648 |      434
182.94/183.06	c  182s |      15 |   153233 |    89132 |    19089      8 |      648 |      434
185.04/185.13	c  184s |      15 |   162121 |    91532 |    19089      8 |      648 |      434
187.03/187.19	c  186s |      15 |   164012 |    92732 |    19089      8 |      648 |      434
189.13/189.26	c  188s |      15 |   165210 |    93632 |    19089      8 |      648 |      434
191.13/191.29	c  191s |      15 |   166025 |    94332 |    19089      8 |      648 |      434
193.23/193.30	c  193s |      15 |   166889 |    95032 |    19089      8 |      648 |      434
195.33/195.41	c  195s |      15 |   167851 |    95832 |    19089      8 |      648 |      434
197.43/197.57	c  197s |      15 |   168766 |    96632 |    19089      8 |      648 |      434
199.73/199.86	c  199s |      15 |   169460 |    97232 |    19089      9 |      648 |      434
201.93/202.07	c  201s |      15 |   170425 |    98032 |    19089      9 |      648 |      434
204.13/204.25	c  203s |      15 |   171263 |    98732 |    19089      9 |      648 |      434
206.12/206.25	c  205s |      15 |   172529 |    99532 |    19089      9 |      648 |      434
208.32/208.44	c  208s |      15 |   173575 |   100432 |    19089      9 |      648 |      434
210.52/210.62	c  210s |      15 |   175108 |   101432 |    19089      9 |      648 |      434
212.53/212.67	c  212s |      15 |   176268 |   102332 |    19089      9 |      648 |      434
214.82/214.94	c  214s |      15 |   177351 |   103232 |    19089      9 |      648 |      434
217.02/217.14	c  216s |      15 |   178181 |   103932 |    19089      9 |      648 |      434
219.13/219.24	c  218s |      15 |   178877 |   104532 |    19089      9 |      648 |      434
221.52/221.67	c  221s |      15 |   179648 |   105232 |    19089      9 |      648 |      434
223.53/223.67	c  223s |      15 |   180347 |   105832 |    19089      9 |      648 |      434
225.73/225.88	c  225s |      15 |   181214 |   106532 |    19089      9 |      648 |      434
227.83/227.95	c  227s |      15 |   181913 |   107132 |    19089      9 |      648 |      434
230.13/230.25	c  229s |      15 |   182568 |   107732 |    19089      9 |      648 |      434
232.62/232.74	c  232s |      15 |   183272 |   108332 |    19089     10 |      648 |      434
234.72/234.85	c  234s |      15 |   184399 |   109132 |    19089     10 |      648 |      434
237.02/237.16	c  236s |      15 |   185204 |   109832 |    19089     10 |      648 |      434
239.02/239.18	c  238s |      15 |   185883 |   110432 |    19089     10 |      648 |      434
241.22/241.38	c  241s |      15 |   186701 |   111132 |    19089     10 |      648 |      434
243.42/243.54	c  243s |      15 |   187379 |   111732 |    19089     10 |      648 |      434
245.61/245.72	c  245s |      15 |   188091 |   112332 |    19089     10 |      648 |      434
247.72/247.84	c  247s |      15 |   188678 |   112832 |    19089     10 |      648 |      434
249.92/250.00	c  249s |      15 |   189276 |   113332 |    19089     10 |      648 |      434
252.21/252.32	c  252s |      15 |   189843 |   113832 |    19089     10 |      648 |      434
254.41/254.54	c  254s |      15 |   190436 |   114332 |    19089     10 |      648 |      434
256.80/256.95	c  256s |      15 |   191008 |   114832 |    19089     10 |      648 |      434
258.90/259.05	c  258s |      15 |   191579 |   115332 |    19089     10 |      648 |      434
261.30/261.42	c  261s |      15 |   192145 |   115832 |    19089     10 |      648 |      434
263.60/263.73	c  263s |      15 |   192733 |   116332 |    19089     10 |      648 |      434
265.90/266.08	c  265s |      15 |   193464 |   116932 |    19089     10 |      648 |      434
268.00/268.17	c  267s |      15 |   194044 |   117432 |    19089     10 |      648 |      434
270.10/270.20	c  269s |      15 |   194523 |   117832 |    19089     10 |      648 |      434
272.20/272.31	c  272s |      15 |   194974 |   118232 |    19089     10 |      648 |      434
274.60/274.72	c  274s |      15 |   195444 |   118632 |    19089     10 |      648 |      434
276.89/277.08	c  276s |      15 |   195863 |   119032 |    19089     10 |      648 |      434
278.89/279.09	c  278s |      15 |   196208 |   119332 |    19089     11 |      648 |      434
281.39/281.56	c  281s |      15 |   196750 |   119832 |    19089     11 |      648 |      434
283.69/283.82	c  283s |      15 |   197193 |   120232 |    19089     11 |      648 |      434
285.70/285.89	c  285s |      15 |   197910 |   120832 |    19089     11 |      648 |      434
287.80/287.97	c  287s |      15 |   198739 |   121532 |    19089     11 |      648 |      434
289.80/289.97	c  289s |      15 |   199353 |   122032 |    19089     11 |      648 |      434
292.20/292.34	c  292s |      15 |   200063 |   122632 |    19089     11 |      648 |      434
294.20/294.35	c  294s |      15 |   200613 |   123132 |    19089     11 |      648 |      434
296.29/296.46	c  296s |      15 |   201166 |   123632 |    19089     11 |      648 |      434
298.69/298.87	c  298s |      15 |   201841 |   124232 |    19089     11 |      648 |      434
300.99/301.14	c  300s |      15 |   202412 |   124732 |    19089     11 |      648 |      434
303.29/303.41	c  303s |      15 |   202996 |   125232 |    19089     11 |      648 |      434
305.59/305.70	c  305s |      15 |   203584 |   125732 |    19089     11 |      648 |      434
307.69/307.88	c  307s |      15 |   204008 |   126132 |    19089     11 |      648 |      434
310.09/310.22	c  309s |      15 |   204445 |   126532 |    19089     11 |      648 |      434
312.39/312.54	c  312s |      15 |   204884 |   126932 |    19089     11 |      648 |      434
314.39/314.59	c  314s |      15 |   205193 |   127232 |    19089     11 |      648 |      434
316.89/317.01	c  316s |      15 |   205628 |   127632 |    19089     11 |      648 |      434
319.09/319.27	c  318s |      15 |   206061 |   128032 |    19089     11 |      648 |      434
321.39/321.56	c  321s |      15 |   206808 |   128632 |    19089     11 |      648 |      434
323.59/323.72	c  323s |      15 |   207376 |   129132 |    19089     11 |      648 |      434
325.78/325.93	c  325s |      15 |   207996 |   129632 |    19089     11 |      648 |      434
327.98/328.18	c  327s |      15 |   208785 |   130232 |    19089     11 |      648 |      434
330.08/330.23	c  329s |      15 |   209138 |   130532 |    19089     12 |      648 |      434
332.08/332.24	c  331s |      15 |   209739 |   131032 |    20998     12 |      648 |      434
334.08/334.23	c  333s |      16 |   210344 |   131552 |    20998     12 |      648 |      434
336.17/336.33	c  336s |      16 |   218246 |   133452 |    20998     12 |      648 |      434
338.47/338.61	c  338s |      16 |   220133 |   134852 |    20998     12 |      648 |      434
340.47/340.69	c  340s |      16 |   224334 |   136652 |    20998     12 |      648 |      434
342.57/342.77	c  342s |      16 |   227405 |   138352 |    20998     12 |      648 |      434
344.67/344.88	c  344s |      16 |   229182 |   139752 |    20998     12 |      648 |      434
346.77/346.90	c  346s |      16 |   230446 |   140752 |    20998     12 |      648 |      434
348.88/349.05	c  348s |      16 |   231525 |   141652 |    20998     12 |      648 |      434
351.47/351.62	c  351s |      16 |   233607 |   142852 |    20998     13 |      648 |      434
353.57/353.71	c  353s |      16 |   235169 |   143952 |    20998     13 |      648 |      434
355.67/355.82	c  355s |      16 |   236449 |   144852 |    20998     13 |      648 |      434
357.67/357.88	c  357s |      16 |   237629 |   145752 |    20998     13 |      648 |      434
359.77/359.98	c  359s |      16 |   238633 |   146552 |    20998     13 |      648 |      434
361.87/362.08	c  361s |      16 |   240302 |   147552 |    20998     13 |      648 |      434
363.97/364.18	c  363s |      16 |   241838 |   148552 |    20998     13 |      648 |      434
365.97/366.18	c  365s |      16 |   243572 |   149652 |    20998     13 |      648 |      434
368.17/368.36	c  368s |      16 |   245025 |   150652 |    20998     13 |      648 |      434
370.37/370.56	c  370s |      16 |   246783 |   151752 |    20998     13 |      648 |      434
372.47/372.61	c  372s |      16 |   247825 |   152552 |    20998     13 |      648 |      434
374.47/374.61	c  374s |      16 |   249106 |   153452 |    20998     13 |      648 |      434
376.57/376.77	c  376s |      16 |   250141 |   154252 |    20998     13 |      648 |      434
378.67/378.86	c  378s |      16 |   250994 |   154952 |    20998     13 |      648 |      434
380.87/381.02	c  380s |      16 |   253252 |   156052 |    20998     14 |      648 |      434
382.98/383.11	c  382s |      16 |   254488 |   156952 |    20998     14 |      648 |      434
384.97/385.15	c  384s |      16 |   255776 |   157852 |    20998     14 |      648 |      434
387.07/387.24	c  386s |      16 |   256940 |   158752 |    20998     14 |      648 |      434
389.37/389.50	c  389s |      16 |   257948 |   159552 |    20998     14 |      648 |      434
391.37/391.55	c  391s |      16 |   258841 |   160252 |    20998     14 |      648 |      434
393.57/393.79	c  393s |      16 |   259874 |   161052 |    20998     14 |      648 |      434
395.96/396.11	c  395s |      16 |   260747 |   161752 |    20998     14 |      648 |      434
398.37/398.52	c  398s |      16 |   261591 |   162452 |    20998     14 |      648 |      434
400.47/400.61	c  400s |      16 |   262324 |   163052 |    20998     14 |      648 |      434
402.67/402.83	c  402s |      16 |   263031 |   163652 |    20998     14 |      648 |      434
404.66/404.89	c  404s |      16 |   263825 |   164252 |    20998     14 |      648 |      434
406.86/407.05	c  406s |      16 |   264535 |   164852 |    20998     14 |      648 |      434
409.16/409.35	c  409s |      16 |   265316 |   165452 |    20998     14 |      648 |      434
411.26/411.46	c  411s |      16 |   266048 |   166052 |    20998     14 |      648 |      434
413.36/413.54	c  413s |      16 |   266816 |   166652 |    20998     14 |      648 |      434
416.16/416.31	c  416s |      16 |   267495 |   167252 |    20998     15 |      648 |      434
418.26/418.41	c  418s |      16 |   268197 |   167852 |    20998     15 |      648 |      434
420.46/420.66	c  420s |      16 |   269049 |   168552 |    20998     15 |      648 |      434
422.75/422.95	c  422s |      16 |   269740 |   169152 |    20998     15 |      648 |      434
424.95/425.13	c  424s |      16 |   270466 |   169752 |    20998     15 |      648 |      434
427.25/427.44	c  427s |      16 |   271463 |   170552 |    20998     15 |      648 |      434
429.65/429.85	c  429s |      16 |   272357 |   171252 |    20998     15 |      648 |      434
431.95/432.14	c  431s |      16 |   273067 |   171852 |    20998     15 |      648 |      434
434.15/434.39	c  434s |      16 |   273649 |   172352 |    20998     15 |      648 |      434
436.44/436.62	c  436s |      16 |   274418 |   172952 |    20998     15 |      648 |      434
438.74/438.96	c  438s |      16 |   275147 |   173552 |    20998     15 |      648 |      434
440.74/440.98	c  440s |      16 |   275715 |   174052 |    20998     15 |      648 |      434
442.84/443.02	c  442s |      16 |   276410 |   174652 |    20998     15 |      648 |      434
444.94/445.15	c  444s |      16 |   277047 |   175152 |    20998     15 |      648 |      434
447.04/447.28	c  447s |      16 |   277626 |   175652 |    20998     15 |      648 |      434
449.25/449.46	c  449s |      16 |   278246 |   176152 |    20998     15 |      648 |      434
451.55/451.78	c  451s |      16 |   278812 |   176652 |    20998     15 |      648 |      434
454.05/454.24	c  453s |      16 |   279389 |   177152 |    20998     15 |      648 |      434
456.34/456.58	c  456s |      16 |   279985 |   177652 |    20998     15 |      648 |      434
458.75/458.94	c  458s |      16 |   280722 |   178252 |    20998     15 |      648 |      434
460.94/461.13	c  460s |      16 |   281297 |   178752 |    20998     15 |      648 |      434
463.34/463.52	c  463s |      16 |   281766 |   179152 |    20998     16 |      648 |      434
465.34/465.59	c  465s |      16 |   282477 |   179752 |    20998     16 |      648 |      434
467.53/467.73	c  467s |      16 |   283165 |   180352 |    20998     16 |      648 |      434
469.84/470.08	c  469s |      16 |   283856 |   180952 |    20998     16 |      648 |      434
472.13/472.35	c  472s |      16 |   284622 |   181552 |    20998     16 |      648 |      434
474.33/474.56	c  474s |      16 |   285181 |   182052 |    20998     16 |      648 |      434
476.62/476.85	c  476s |      16 |   285748 |   182552 |    20998     16 |      648 |      434
478.72/478.91	c  478s |      16 |   287348 |   183552 |    20998     16 |      648 |      434
480.73/480.94	c  480s |      16 |   288571 |   184552 |    20998     16 |      648 |      434
482.82/483.04	c  482s |      16 |   289508 |   185352 |    20998     16 |      648 |      434
485.02/485.21	c  484s |      16 |   291789 |   186552 |    20998     16 |      648 |      434
487.12/487.39	c  487s |      16 |   293304 |   187652 |    20998     16 |      648 |      434
489.21/489.44	c  489s |      16 |   294312 |   188452 |    20998     16 |      648 |      434
491.41/491.64	c  491s |      16 |   295127 |   189152 |    20998     16 |      648 |      434
493.51/493.75	c  493s |      16 |   296025 |   189852 |    20998     16 |      648 |      434
495.61/495.89	c  495s |      16 |   297674 |   190852 |    20998     16 |      648 |      434
497.81/498.08	c  497s |      16 |   298900 |   191652 |    20998     17 |      648 |      434
499.91/500.13	c  499s |      16 |   300365 |   192652 |    20998     17 |      648 |      434
502.01/502.24	c  501s |      16 |   301519 |   193552 |    20998     17 |      648 |      434
504.21/504.42	c  504s |      16 |   302468 |   194352 |    20998     17 |      648 |      434
506.40/506.67	c  506s |      16 |   303383 |   195152 |    20998     17 |      648 |      434
508.50/508.71	c  508s |      16 |   304215 |   195852 |    20998     17 |      648 |      434
510.60/510.83	c  510s |      16 |   305075 |   196552 |    23098     17 |      648 |      434
512.80/513.05	c  512s |      16 |   306033 |   197352 |    23098     17 |      648 |      434
513.00/513.25	c  512s |      17 |   306127 |   197432 |    23098     17 |      648 |      434
515.10/515.31	c  515s |      17 |   313048 |   198832 |    23098     17 |      648 |      434
517.10/517.39	c  517s |      17 |   315220 |   200332 |    23098     17 |      648 |      434
519.30/519.52	c  519s |      17 |   316801 |   201632 |    23098     17 |      648 |      434
521.40/521.67	c  521s |      17 |   318051 |   202732 |    23098     17 |      648 |      434
523.60/523.81	c  523s |      17 |   319219 |   203732 |    23098     17 |      648 |      434
525.68/525.98	c  525s |      17 |   320563 |   204732 |    23098     17 |      648 |      434
527.88/528.15	c  527s |      17 |   321695 |   205632 |    23098     18 |      648 |      434
530.78/531.03	c  530s |      17 |   322044 |   205932 |    23098     18 |      648 |      434
533.49/533.75	c  533s |      17 |   322396 |   206232 |    23098     18 |      648 |      434
535.69/535.91	c  535s |      17 |   322861 |   206632 |    23098     18 |      648 |      434
537.79/538.05	c  537s |      17 |   323664 |   207332 |    23098     18 |      648 |      434
539.98/540.23	c  539s |      17 |   324801 |   208232 |    23098     18 |      648 |      434
541.98/542.26	c  541s |      17 |   325891 |   209132 |    23098     18 |      648 |      434
544.18/544.43	c  544s |      17 |   326995 |   210032 |    23098     18 |      648 |      434
546.28/546.55	c  546s |      17 |   327952 |   210832 |    23098     18 |      648 |      434
548.58/548.86	c  548s |      17 |   328897 |   211632 |    23098     18 |      648 |      434
550.78/551.06	c  550s |      17 |   329674 |   212332 |    23098     18 |      648 |      434
552.88/553.11	c  552s |      17 |   330475 |   213032 |    23098     18 |      648 |      434
554.88/555.19	c  554s |      17 |   331291 |   213732 |    23098     18 |      648 |      434
556.97/557.29	c  557s |      17 |   332126 |   214432 |    23098     18 |      648 |      434
559.17/559.47	c  559s |      17 |   332960 |   215132 |    23098     18 |      648 |      434
561.57/561.82	c  561s |      17 |   333762 |   215832 |    23098     18 |      648 |      434
563.57/563.86	c  563s |      17 |   334388 |   216332 |    23098     18 |      648 |      434
565.66/565.97	c  565s |      17 |   334945 |   216832 |    23098     18 |      648 |      434
567.76/568.08	c  567s |      17 |   335644 |   217432 |    23098     18 |      648 |      434
570.16/570.42	c  570s |      17 |   336445 |   218132 |    23098     18 |      648 |      434
572.26/572.53	c  572s |      17 |   337184 |   218732 |    23098     18 |      648 |      434
574.36/574.65	c  574s |      17 |   337725 |   219232 |    23098     19 |      648 |      434
576.36/576.65	c  576s |      17 |   338442 |   219832 |    23098     19 |      648 |      434
579.35/579.68	c  579s |      17 |   338663 |   220032 |    23098     19 |      648 |      434
582.05/582.40	c  582s |      17 |   339016 |   220332 |    23098     19 |      648 |      434
584.55/584.86	c  584s |      17 |   339243 |   220532 |    23098     19 |      648 |      434
587.54/587.87	c  587s |      17 |   339675 |   220932 |    23098     19 |      648 |      434
590.34/590.68	c  590s |      17 |   340011 |   221232 |    23098     19 |      648 |      434
592.85/593.17	c  592s |      17 |   340462 |   221632 |    23098     19 |      648 |      434
595.05/595.35	c  595s |      17 |   340791 |   221932 |    23098     19 |      648 |      434
597.34/597.61	c  597s |      17 |   341235 |   222332 |    23098     19 |      648 |      434
599.44/599.74	c  599s |      17 |   341822 |   222832 |    23098     19 |      648 |      434
601.54/601.81	c  601s |      17 |   342578 |   223432 |    23098     19 |      648 |      434
603.94/604.23	c  603s |      17 |   343237 |   224032 |    23098     19 |      648 |      434
606.04/606.33	c  606s |      17 |   343798 |   224532 |    23098     19 |      648 |      434
608.34/608.68	c  608s |      17 |   344353 |   225032 |    23098     19 |      648 |      434
610.54/610.82	c  610s |      17 |   344920 |   225532 |    23098     19 |      648 |      434
612.53/612.84	c  612s |      17 |   345489 |   226032 |    23098     19 |      648 |      434
614.63/614.93	c  614s |      17 |   346081 |   226532 |    23098     19 |      648 |      434
616.62/616.95	c  616s |      17 |   346634 |   227032 |    23098     19 |      648 |      434
618.82/619.10	c  618s |      17 |   347206 |   227532 |    23098     19 |      648 |      434
621.02/621.39	c  621s |      17 |   347773 |   228032 |    23098     19 |      648 |      434
623.42/623.76	c  623s |      17 |   348314 |   228532 |    23098     19 |      648 |      434
625.82/626.20	c  625s |      17 |   348857 |   229032 |    23098     19 |      648 |      434
628.22/628.53	c  628s |      17 |   349444 |   229532 |    23098     19 |      648 |      434
630.42/630.77	c  630s |      17 |   350012 |   230032 |    23098     19 |      648 |      434
632.91/633.27	c  632s |      17 |   350564 |   230532 |    23098     19 |      648 |      434
635.01/635.32	c  635s |      17 |   351007 |   230932 |    23098     19 |      648 |      434
637.21/637.51	c  637s |      17 |   351432 |   231332 |    23098     19 |      648 |      434
639.31/639.68	c  639s |      17 |   351859 |   231732 |    23098     19 |      648 |      434
642.01/642.31	c  642s |      17 |   352286 |   232132 |    23098     20 |      648 |      434
644.01/644.36	c  644s |      17 |   352824 |   232632 |    23098     20 |      648 |      434
646.10/646.45	c  646s |      17 |   353400 |   233132 |    23098     20 |      648 |      434
648.50/648.80	c  648s |      17 |   354056 |   233732 |    23098     20 |      648 |      434
650.50/650.82	c  650s |      17 |   354625 |   234232 |    23098     20 |      648 |      434
652.79/653.19	c  652s |      17 |   355158 |   234732 |    23098     20 |      648 |      434
654.89/655.24	c  654s |      17 |   355719 |   235232 |    23098     20 |      648 |      434
657.09/657.45	c  657s |      17 |   356346 |   235732 |    23098     20 |      648 |      434
659.39/659.74	c  659s |      17 |   357038 |   236332 |    23098     20 |      648 |      434
661.69/662.05	c  661s |      17 |   357699 |   236932 |    23098     20 |      648 |      434
663.89/664.25	c  663s |      17 |   358263 |   237432 |    23098     20 |      648 |      434
665.98/666.35	c  666s |      17 |   358811 |   237932 |    23098     20 |      648 |      434
668.18/668.50	c  668s |      17 |   359148 |   238232 |    23098     20 |      648 |      434
670.38/670.74	c  670s |      17 |   359625 |   238632 |    23098     20 |      648 |      434
672.38/672.76	c  672s |      17 |   359965 |   238932 |    23098     20 |      648 |      434
675.17/675.53	c  675s |      17 |   360508 |   239432 |    23098     20 |      648 |      434
677.37/677.72	c  677s |      17 |   360969 |   239832 |    23098     20 |      648 |      434
679.68/680.04	c  679s |      17 |   361425 |   240232 |    23098     20 |      648 |      434
681.98/682.36	c  682s |      17 |   361773 |   240532 |    23098     20 |      648 |      434
684.87/685.24	c  684s |      17 |   362246 |   240932 |    23098     20 |      648 |      434
687.18/687.51	c  687s |      17 |   362709 |   241332 |    23098     20 |      648 |      434
690.18/690.58	c  690s |      17 |   363179 |   241732 |    23098     20 |      648 |      434
692.68/693.05	c  692s |      17 |   363402 |   241932 |    23098     20 |      648 |      434
694.88/695.21	c  694s |      17 |   363837 |   242332 |    23098     20 |      648 |      434
697.08/697.41	c  697s |      17 |   364171 |   242632 |    23098     20 |      648 |      434
699.08/699.45	c  699s |      17 |   364540 |   242932 |    23098     20 |      648 |      434
701.48/701.88	c  701s |      17 |   365108 |   243432 |    23098     20 |      648 |      434
703.99/704.33	c  704s |      17 |   365668 |   243932 |    23098     20 |      648 |      434
705.98/706.34	c  706s |      17 |   366101 |   244332 |    23098     20 |      648 |      434
708.08/708.41	c  708s |      17 |   366548 |   244732 |    23098     20 |      648 |      434
710.38/710.76	c  710s |      17 |   367125 |   245232 |    23098     20 |      648 |      434
712.78/713.11	c  712s |      17 |   367573 |   245632 |    23098     21 |      648 |      434
715.08/715.40	c  715s |      17 |   368237 |   246232 |    23098     21 |      648 |      434
717.18/717.52	c  717s |      17 |   368804 |   246732 |    23098     21 |      648 |      434
719.28/719.64	c  719s |      17 |   369359 |   247232 |    23098     21 |      648 |      434
721.48/721.83	c  721s |      17 |   369817 |   247632 |    23098     21 |      648 |      434
723.78/724.18	c  723s |      17 |   370388 |   248132 |    23098     21 |      648 |      434
726.57/726.95	c  726s |      17 |   370828 |   248532 |    23098     21 |      648 |      434
728.97/729.31	c  729s |      17 |   371046 |   248732 |    23098     21 |      648 |      434
731.97/732.32	c  732s |      17 |   371264 |   248932 |    23098     21 |      648 |      434
734.17/734.58	c  734s |      17 |   371824 |   249432 |    23098     21 |      648 |      434
736.47/736.89	c  736s |      17 |   372406 |   249932 |    23098     21 |      648 |      434
739.07/739.47	c  739s |      17 |   372854 |   250332 |    23098     21 |      648 |      434
741.67/742.00	c  741s |      17 |   373296 |   250732 |    23098     21 |      648 |      434
743.77/744.15	c  743s |      17 |   373625 |   251032 |    23098     21 |      648 |      434
746.07/746.49	c  746s |      17 |   374052 |   251432 |    23098     21 |      648 |      434
748.47/748.80	c  748s |      17 |   374494 |   251832 |    23098     21 |      648 |      434
750.67/751.08	c  750s |      17 |   374946 |   252232 |    23098     21 |      648 |      434
754.36/754.75	c  754s |      17 |   375279 |   252532 |    23098     21 |      648 |      434
756.46/756.89	c  756s |      17 |   375628 |   252832 |    23098     21 |      648 |      434
758.76/759.16	c  758s |      17 |   376223 |   253332 |    23098     21 |      648 |      434
760.86/761.28	c  761s |      17 |   376458 |   253532 |    23098     21 |      648 |      434
763.16/763.50	c  763s |      17 |   376686 |   253732 |    23098     21 |      648 |      434
765.86/766.26	c  765s |      17 |   377041 |   254032 |    23098     21 |      648 |      434
767.96/768.35	c  768s |      17 |   377492 |   254432 |    23098     21 |      648 |      434
770.97/771.35	c  771s |      17 |   377940 |   254832 |    23098     21 |      648 |      434
772.96/773.36	c  773s |      17 |   378057 |   254932 |    23098     21 |      648 |      434
775.86/776.24	c  775s |      17 |   378538 |   255332 |    23098     21 |      648 |      434
778.26/778.64	c  778s |      17 |   378880 |   255632 |    23098     21 |      648 |      434
780.26/780.68	c  780s |      17 |   379228 |   255932 |    23098     21 |      648 |      434
783.36/783.73	c  783s |      17 |   379451 |   256132 |    23098     21 |      648 |      434
785.76/786.15	c  785s |      17 |   380021 |   256632 |    23098     21 |      648 |      434
787.76/788.18	c  787s |      17 |   380461 |   257032 |    23098     21 |      648 |      434
790.16/790.52	c  790s |      17 |   380798 |   257332 |    23098     21 |      648 |      434
792.76/793.17	c  792s |      17 |   381025 |   257532 |    23098     21 |      648 |      434
795.17/795.60	c  795s |      17 |   381357 |   257832 |    23098     21 |      648 |      434
797.56/797.97	c  797s |      17 |   381822 |   258232 |    23098     21 |      648 |      434
801.16/801.57	c  801s |      17 |   382279 |   258632 |    23098     22 |      648 |      434
804.66/805.02	c  804s |      17 |   382500 |   258832 |    23098     22 |      648 |      434
807.46/807.83	c  807s |      17 |   382854 |   259132 |    23098     22 |      648 |      434
810.16/810.52	c  810s |      17 |   383375 |   259532 |    23098     22 |      648 |      434
812.36/812.79	c  812s |      17 |   383731 |   259832 |    23098     22 |      648 |      434
814.66/815.09	c  814s |      17 |   384407 |   260432 |    23098     22 |      648 |      434
816.95/817.31	c  817s |      17 |   385058 |   261032 |    23098     22 |      648 |      434
819.25/819.64	c  819s |      17 |   385635 |   261532 |    23098     22 |      648 |      434
822.25/822.63	c  822s |      17 |   386186 |   262032 |    23098     22 |      648 |      434
824.25/824.70	c  824s |      17 |   386789 |   262532 |    23098     22 |      648 |      434
826.85/827.27	c  826s |      17 |   387359 |   263032 |    23098     22 |      648 |      434
829.36/829.72	c  829s |      17 |   387705 |   263332 |    23098     22 |      648 |      434
832.05/832.47	c  832s |      17 |   387962 |   263532 |    23098     22 |      648 |      434
834.95/835.31	c  835s |      17 |   388391 |   263932 |    23098     22 |      648 |      434
837.06/837.43	c  837s |      17 |   388740 |   264232 |    23098     22 |      648 |      434
839.26/839.65	c  839s |      17 |   389290 |   264732 |    23098     22 |      648 |      434
841.75/842.17	c  841s |      17 |   389747 |   265132 |    23098     22 |      648 |      434
844.25/844.68	c  844s |      17 |   390066 |   265432 |    23098     22 |      648 |      434
846.96/847.36	c  847s |      17 |   390512 |   265832 |    23098     22 |      648 |      434
849.75/850.15	c  849s |      17 |   390949 |   266232 |    23098     22 |      648 |      434
852.46/852.81	c  852s |      17 |   391167 |   266432 |    23098     22 |      648 |      434
855.25/855.65	c  855s |      17 |   391394 |   266632 |    23098     22 |      648 |      434
857.75/858.13	c  857s |      17 |   391725 |   266932 |    23098     22 |      648 |      434
860.35/860.72	c  860s |      17 |   391943 |   267132 |    23098     22 |      648 |      434
862.65/863.07	c  862s |      17 |   392492 |   267632 |    23098     22 |      648 |      434
865.15/865.56	c  865s |      17 |   393036 |   268132 |    23098     22 |      648 |      434
867.25/867.60	c  867s |      17 |   393474 |   268532 |    23098     22 |      648 |      434
869.34/869.79	c  869s |      17 |   393912 |   268932 |    23098     22 |      648 |      434
871.44/871.84	c  871s |      17 |   394364 |   269332 |    23098     22 |      648 |      434
873.84/874.20	c  873s |      17 |   394672 |   269632 |    23098     22 |      648 |      434
876.24/876.63	c  876s |      17 |   395124 |   270032 |    23098     22 |      648 |      434
878.94/879.30	c  879s |      17 |   395716 |   270532 |    23098     22 |      648 |      434
881.05/881.44	c  881s |      17 |   396156 |   270932 |    23098     22 |      648 |      434
883.04/883.46	c  883s |      17 |   396616 |   271332 |    23098     22 |      648 |      434
885.45/885.81	c  885s |      17 |   397196 |   271832 |    23098     22 |      648 |      434
887.44/887.84	c  887s |      17 |   397521 |   272132 |    23098     23 |      648 |      434
889.54/889.99	c  889s |      17 |   398268 |   272732 |    23098     23 |      648 |      434
891.84/892.30	c  892s |      17 |   398941 |   273332 |    23098     23 |      648 |      434
894.34/894.73	c  894s |      17 |   399600 |   273932 |    23098     23 |      648 |      434
896.34/896.79	c  896s |      17 |   400185 |   274432 |    23098     23 |      648 |      434
898.85/899.26	c  898s |      17 |   400885 |   275032 |    23098     23 |      648 |      434
901.05/901.41	c  901s |      17 |   401450 |   275532 |    23098     23 |      648 |      434
903.15/903.59	c  903s |      17 |   402014 |   276032 |    23098     23 |      648 |      434
905.45/905.86	c  905s |      17 |   402571 |   276532 |    23098     23 |      648 |      434
907.75/908.16	c  907s |      17 |   403151 |   277032 |    23098     23 |      648 |      434
909.75/910.19	c  909s |      17 |   403728 |   277532 |    23098     23 |      648 |      434
912.75/913.18	c  912s |      17 |   404300 |   278032 |    23098     23 |      648 |      434
915.05/915.47	c  915s |      17 |   404631 |   278332 |    23098     23 |      648 |      434
917.54/917.92	c  917s |      17 |   405203 |   278832 |    23098     23 |      648 |      434
920.84/921.21	c  920s |      17 |   405533 |   279132 |    23098     23 |      648 |      434
922.85/923.23	c  922s |      17 |   405862 |   279432 |    23098     23 |      648 |      434
925.14/925.50	c  925s |      17 |   406464 |   279932 |    23098     23 |      648 |      434
927.44/927.86	c  927s |      17 |   407067 |   280432 |    23098     23 |      648 |      434
929.64/930.05	c  929s |      17 |   407512 |   280832 |    23098     23 |      648 |      434
931.84/932.21	c  931s |      17 |   407748 |   281032 |    23098     23 |      648 |      434
934.74/935.11	c  934s |      17 |   407979 |   281232 |    23098     23 |      648 |      434
937.05/937.47	c  937s |      17 |   408420 |   281632 |    23098     23 |      648 |      434
939.14/939.50	c  939s |      17 |   408854 |   282032 |    23098     23 |      648 |      434
941.74/942.12	c  941s |      17 |   409193 |   282332 |    23098     23 |      648 |      434
943.74/944.15	c  943s |      17 |   409399 |   282532 |    23098     23 |      648 |      434
945.84/946.24	c  945s |      17 |   409745 |   282832 |    23098     23 |      648 |      434
948.54/948.92	c  948s |      17 |   410188 |   283232 |    23098     23 |      648 |      434
950.84/951.27	c  950s |      17 |   410521 |   283532 |    23098     23 |      648 |      434
953.34/953.79	c  953s |      17 |   410848 |   283832 |    23098     23 |      648 |      434
955.84/956.24	c  955s |      17 |   411415 |   284332 |    23098     23 |      648 |      434
958.04/958.43	c  958s |      17 |   411861 |   284732 |    23098     23 |      648 |      434
961.13/961.60	c  961s |      17 |   412302 |   285132 |    23098     24 |      648 |      434
963.54/963.96	c  963s |      17 |   412641 |   285432 |    23098     24 |      648 |      434
965.74/966.10	c  965s |      17 |   413082 |   285832 |    23098     24 |      648 |      434
968.63/969.05	c  968s |      17 |   413536 |   286232 |    23098     24 |      648 |      434
971.14/971.50	c  971s |      17 |   414100 |   286732 |    23098     24 |      648 |      434
973.44/973.86	c  973s |      17 |   414647 |   287232 |    23098     24 |      648 |      434
975.64/976.01	c  975s |      17 |   414872 |   287432 |    23098     24 |      648 |      434
979.23/979.62	c  979s |      17 |   415214 |   287732 |    23098     24 |      648 |      434
981.53/981.96	c  981s |      17 |   415760 |   288232 |    23098     24 |      648 |      434
983.93/984.33	c  984s |      17 |   416318 |   288732 |    23098     24 |      648 |      434
986.43/986.87	c  986s |      17 |   416845 |   289232 |    23098     24 |      648 |      434
988.63/989.05	c  988s |      17 |   417284 |   289632 |    23098     24 |      648 |      434
991.04/991.47	c  991s |      17 |   417721 |   290032 |    23098     24 |      648 |      434
993.24/993.67	c  993s |      17 |   418086 |   290332 |    23098     24 |      648 |      434
995.33/995.79	c  995s |      17 |   418586 |   290732 |    23098     24 |      648 |      434
998.03/998.44	c  998s |      17 |   419039 |   291132 |    23098     24 |      648 |      434
1000.53/1000.95	c 1000s |      17 |   419363 |   291432 |    23098     24 |      648 |      434
1003.33/1003.77	c 1003s |      17 |   419937 |   291932 |    23098     24 |      648 |      434
1005.43/1005.87	c 1005s |      17 |   420533 |   292432 |    23098     24 |      648 |      434
1008.63/1009.08	c 1008s |      17 |   420989 |   292832 |    23098     24 |      648 |      434
1010.83/1011.23	c 1010s |      17 |   421327 |   293132 |    23098     24 |      648 |      434
1014.62/1015.03	c 1014s |      17 |   421548 |   293332 |    23098     24 |      648 |      434
1017.72/1018.14	c 1017s |      17 |   421774 |   293532 |    23098     24 |      648 |      434
1020.73/1021.11	c 1020s |      17 |   422105 |   293832 |    23098     24 |      648 |      434
1022.93/1023.35	c 1023s |      17 |   422539 |   294232 |    25408     24 |      648 |      434
1025.03/1025.42	c 1025s |      17 |   422753 |   294432 |    25408     24 |      648 |      434
1027.42/1027.88	c 1027s |      17 |   423076 |   294732 |    25408     24 |      648 |      434
1030.22/1030.66	c 1030s |      17 |   423510 |   295132 |    25408     24 |      648 |      434
1033.12/1033.53	c 1033s |      17 |   423833 |   295432 |    25408     24 |      648 |      434
1036.02/1036.43	c 1036s |      17 |   424171 |   295732 |    25408     24 |      648 |      434
1039.43/1039.86	c 1039s |      17 |   424608 |   296132 |    25408     24 |      648 |      434
1040.43/1040.87	c 1040s |      18 |   424745 |   296252 |    25408     24 |      648 |      434
1042.42/1042.89	c 1042s |      18 |   436878 |   298352 |    25408     24 |      648 |      434
1044.52/1044.99	c 1044s |      18 |   444142 |   300452 |    25408     24 |      648 |      434
1046.62/1047.00	c 1046s |      18 |   445389 |   301352 |    25408     25 |      648 |      434
1048.72/1049.11	c 1048s |      18 |   449872 |   303152 |    25408     25 |      648 |      434
1050.82/1051.22	c 1050s |      18 |   451856 |   304552 |    25408     25 |      648 |      434
1052.92/1053.37	c 1053s |      18 |   453097 |   305552 |    25408     25 |      648 |      434
1055.12/1055.50	c 1055s |      18 |   454081 |   306352 |    25408     25 |      648 |      434
1057.12/1057.59	c 1057s |      18 |   454789 |   306952 |    25408     25 |      648 |      434
1059.42/1059.81	c 1059s |      18 |   455748 |   307752 |    25408     25 |      648 |      434
1061.62/1062.00	c 1061s |      18 |   456784 |   308652 |    25408     25 |      648 |      434
1063.82/1064.23	c 1063s |      18 |   457643 |   309352 |    25408     25 |      648 |      434
1065.83/1066.27	c 1065s |      18 |   458593 |   310152 |    25408     25 |      648 |      434
1067.82/1068.30	c 1068s |      18 |   459367 |   310752 |    25408     25 |      648 |      434
1069.92/1070.39	c 1070s |      18 |   460342 |   311552 |    25408     25 |      648 |      434
1072.12/1072.50	c 1072s |      18 |   461197 |   312252 |    25408     25 |      648 |      434
1074.12/1074.52	c 1074s |      18 |   462041 |   312952 |    25408     25 |      648 |      434
1076.42/1076.85	c 1076s |      18 |   462982 |   313752 |    25408     25 |      648 |      434
1078.72/1079.19	c 1078s |      18 |   463778 |   314452 |    25408     25 |      648 |      434
1080.81/1081.23	c 1080s |      18 |   464485 |   315052 |    25408     25 |      648 |      434
1083.01/1083.46	c 1083s |      18 |   465076 |   315552 |    25408     26 |      648 |      434
1085.01/1085.49	c 1085s |      18 |   465667 |   316052 |    25408     26 |      648 |      434
1087.31/1087.71	c 1087s |      18 |   466631 |   316852 |    25408     26 |      648 |      434
1089.41/1089.83	c 1089s |      18 |   467594 |   317652 |    25408     26 |      648 |      434
1091.61/1092.04	c 1091s |      18 |   468442 |   318352 |    25408     26 |      648 |      434
1093.91/1094.31	c 1094s |      18 |   469227 |   319052 |    25408     26 |      648 |      434
1095.91/1096.36	c 1096s |      18 |   469920 |   319652 |    25408     26 |      648 |      434
1098.21/1098.65	c 1098s |      18 |   470776 |   320352 |    25408     26 |      648 |      434
1100.41/1100.89	c 1100s |      18 |   471500 |   320952 |    25408     26 |      648 |      434
1102.71/1103.19	c 1102s |      18 |   472085 |   321452 |    25408     26 |      648 |      434
1104.91/1105.35	c 1105s |      18 |   472701 |   321952 |    25408     26 |      648 |      434
1107.01/1107.46	c 1107s |      18 |   473289 |   322452 |    25408     26 |      648 |      434
1109.31/1109.78	c 1109s |      18 |   473962 |   323052 |    25408     26 |      648 |      434
1111.51/1111.97	c 1111s |      18 |   474530 |   323552 |    25408     26 |      648 |      434
1113.71/1114.17	c 1113s |      18 |   475108 |   324052 |    25408     26 |      648 |      434
1115.81/1116.25	c 1115s |      18 |   475686 |   324552 |    25408     26 |      648 |      434
1118.11/1118.57	c 1118s |      18 |   476247 |   325052 |    25408     26 |      648 |      434
1120.51/1120.90	c 1120s |      18 |   476826 |   325552 |    25408     26 |      648 |      434
1122.51/1122.92	c 1122s |      18 |   477294 |   325952 |    25408     26 |      648 |      434
1124.71/1125.18	c 1124s |      18 |   477886 |   326452 |    25408     26 |      648 |      434
1126.80/1127.22	c 1126s |      18 |   478490 |   326952 |    25408     26 |      648 |      434
1129.30/1129.70	c 1129s |      18 |   479082 |   327452 |    25408     26 |      648 |      434
1131.50/1131.96	c 1131s |      18 |   479522 |   327852 |    25408     26 |      648 |      434
1133.70/1134.18	c 1133s |      18 |   479990 |   328252 |    25408     26 |      648 |      434
1135.90/1136.33	c 1136s |      18 |   480468 |   328652 |    25408     26 |      648 |      434
1138.10/1138.50	c 1138s |      18 |   480912 |   329052 |    25408     26 |      648 |      434
1140.51/1140.95	c 1140s |      18 |   481234 |   329352 |    25408     27 |      648 |      434
1142.81/1143.21	c 1142s |      18 |   481805 |   329852 |    25408     27 |      648 |      434
1145.20/1145.63	c 1145s |      18 |   482476 |   330452 |    25408     27 |      648 |      434
1147.30/1147.72	c 1147s |      18 |   483102 |   330952 |    25408     27 |      648 |      434
1149.41/1149.83	c 1149s |      18 |   483862 |   331552 |    25408     27 |      648 |      434
1151.41/1151.90	c 1151s |      18 |   484581 |   332152 |    25408     27 |      648 |      434
1153.91/1154.30	c 1154s |      18 |   485469 |   332852 |    25408     27 |      648 |      434
1156.02/1156.49	c 1156s |      18 |   486206 |   333452 |    25408     27 |      648 |      434
1158.01/1158.50	c 1158s |      18 |   486796 |   333952 |    25408     27 |      648 |      434
1160.21/1160.70	c 1160s |      18 |   487506 |   334552 |    25408     27 |      648 |      434
1162.31/1162.77	c 1162s |      18 |   488063 |   335052 |    25408     27 |      648 |      434
1164.71/1165.12	c 1164s |      18 |   488652 |   335552 |    25408     27 |      648 |      434
1166.91/1167.39	c 1167s |      18 |   489229 |   336052 |    25408     27 |      648 |      434
1169.11/1169.51	c 1169s |      18 |   489824 |   336552 |    25408     27 |      648 |      434
1171.41/1171.87	c 1171s |      18 |   490402 |   337052 |    25408     27 |      648 |      434
1173.41/1173.89	c 1173s |      18 |   490854 |   337452 |    25408     27 |      648 |      434
1175.81/1176.26	c 1175s |      18 |   491393 |   337952 |    25408     27 |      648 |      434
1178.20/1178.68	c 1178s |      18 |   491832 |   338352 |    25408     27 |      648 |      434
1180.60/1181.02	c 1180s |      18 |   492386 |   338852 |    25408     27 |      648 |      434
1182.90/1183.30	c 1183s |      18 |   492986 |   339352 |    25408     27 |      648 |      434
1185.10/1185.55	c 1185s |      18 |   493437 |   339752 |    25408     27 |      648 |      434
1187.20/1187.65	c 1187s |      18 |   493908 |   340152 |    25408     27 |      648 |      434
1189.40/1189.86	c 1189s |      18 |   494515 |   340652 |    25408     27 |      648 |      434
1191.90/1192.32	c 1192s |      18 |   495148 |   341152 |    25408     27 |      648 |      434
1193.90/1194.39	c 1194s |      18 |   495639 |   341552 |    25408     27 |      648 |      434
1196.10/1196.56	c 1196s |      18 |   496112 |   341952 |    25408     27 |      648 |      434
1198.20/1198.64	c 1198s |      18 |   496440 |   342252 |    25408     27 |      648 |      434
1200.30/1200.70	c 1200s |      18 |   498481 |   343052 |    25408     27 |      648 |      434
1202.40/1202.82	c 1202s |      18 |   499687 |   343652 |    25408     28 |      648 |      434
1204.50/1204.92	c 1204s |      18 |   501008 |   344652 |    25408     28 |      648 |      434
1206.61/1207.05	c 1206s |      18 |   502874 |   345652 |    25408     28 |      648 |      434
1208.81/1209.21	c 1208s |      18 |   504168 |   346652 |    25408     28 |      648 |      434
1211.01/1211.41	c 1211s |      18 |   505124 |   347452 |    25408     28 |      648 |      434
1213.21/1213.61	c 1213s |      18 |   506621 |   348452 |    25408     28 |      648 |      434
1215.31/1215.72	c 1215s |      18 |   508619 |   349552 |    25408     28 |      648 |      434
1217.40/1217.87	c 1217s |      18 |   509956 |   350552 |    25408     28 |      648 |      434
1219.50/1219.95	c 1219s |      18 |   510959 |   351352 |    25408     28 |      648 |      434
1221.60/1222.03	c 1221s |      18 |   511810 |   352052 |    25408     28 |      648 |      434
1223.70/1224.12	c 1223s |      18 |   512672 |   352752 |    25408     28 |      648 |      434
1225.80/1226.22	c 1225s |      18 |   513492 |   353452 |    25408     28 |      648 |      434
1227.90/1228.31	c 1228s |      18 |   514159 |   354052 |    25408     28 |      648 |      434
1229.90/1230.39	c 1230s |      18 |   514857 |   354652 |    25408     28 |      648 |      434
1232.20/1232.63	c 1232s |      18 |   515509 |   355252 |    25408     28 |      648 |      434
1234.50/1234.96	c 1234s |      18 |   516181 |   355852 |    25408     28 |      648 |      434
1236.80/1237.21	c 1236s |      18 |   516851 |   356452 |    25408     28 |      648 |      434
1238.79/1239.22	c 1238s |      18 |   517743 |   357052 |    25408     28 |      648 |      434
1241.29/1241.73	c 1241s |      18 |   518881 |   357852 |    25408     29 |      648 |      434
1243.49/1243.92	c 1243s |      18 |   519805 |   358652 |    25408     29 |      648 |      434
1245.59/1246.05	c 1245s |      18 |   520974 |   359552 |    25408     29 |      648 |      434
1247.89/1248.34	c 1248s |      18 |   521934 |   360352 |    25408     29 |      648 |      434
1250.09/1250.50	c 1250s |      18 |   522801 |   361052 |    25408     29 |      648 |      434
1252.09/1252.51	c 1252s |      18 |   523621 |   361752 |    25408     29 |      648 |      434
1254.09/1254.56	c 1254s |      18 |   524454 |   362452 |    25408     29 |      648 |      434
1256.49/1256.92	c 1256s |      18 |   525279 |   363152 |    25408     29 |      648 |      434
1258.69/1259.15	c 1258s |      18 |   526127 |   363852 |    25408     29 |      648 |      434
1260.79/1261.21	c 1260s |      18 |   526866 |   364452 |    25408     29 |      648 |      434
1262.79/1263.22	c 1262s |      18 |   527556 |   365052 |    25408     29 |      648 |      434
1265.09/1265.52	c 1265s |      18 |   528246 |   365652 |    25408     29 |      648 |      434
1267.19/1267.68	c 1267s |      18 |   528926 |   366252 |    25408     29 |      648 |      434
1269.49/1269.97	c 1269s |      18 |   529611 |   366852 |    25408     29 |      648 |      434
1271.79/1272.28	c 1272s |      18 |   530290 |   367452 |    25408     29 |      648 |      434
1273.89/1274.37	c 1274s |      18 |   530994 |   368052 |    25408     29 |      648 |      434
1276.29/1276.71	c 1276s |      18 |   531657 |   368652 |    25408     29 |      648 |      434
1278.69/1279.15	c 1278s |      18 |   532319 |   369252 |    25408     29 |      648 |      434
1280.89/1281.33	c 1281s |      18 |   532904 |   369752 |    25408     29 |      648 |      434
1283.29/1283.72	c 1283s |      18 |   533459 |   370252 |    25408     29 |      648 |      434
1285.69/1286.16	c 1285s |      18 |   534003 |   370752 |    25408     29 |      648 |      434
1287.89/1288.34	c 1288s |      18 |   534575 |   371252 |    25408     29 |      648 |      434
1290.19/1290.64	c 1290s |      18 |   535145 |   371752 |    25408     29 |      648 |      434
1292.58/1293.02	c 1292s |      18 |   535600 |   372152 |    25408     30 |      648 |      434
1294.88/1295.36	c 1295s |      18 |   536286 |   372752 |    25408     30 |      648 |      434
1297.08/1297.52	c 1297s |      18 |   536953 |   373352 |    25408     30 |      648 |      434
1299.08/1299.59	c 1299s |      18 |   537607 |   373952 |    25408     30 |      648 |      434
1301.38/1301.89	c 1301s |      18 |   538261 |   374552 |    25408     30 |      648 |      434
1303.68/1304.12	c 1303s |      18 |   538931 |   375152 |    25408     30 |      648 |      434
1305.78/1306.25	c 1305s |      18 |   539637 |   375752 |    25408     30 |      648 |      434
1308.08/1308.53	c 1308s |      18 |   540298 |   376352 |    25408     30 |      648 |      434
1310.38/1310.84	c 1310s |      18 |   540961 |   376952 |    25408     30 |      648 |      434
1312.48/1312.94	c 1312s |      18 |   541486 |   377452 |    25408     30 |      648 |      434
1314.78/1315.22	c 1314s |      18 |   542207 |   378052 |    25408     30 |      648 |      434
1317.08/1317.58	c 1317s |      18 |   542861 |   378652 |    25408     30 |      648 |      434
1319.28/1319.71	c 1319s |      18 |   543448 |   379152 |    25408     30 |      648 |      434
1321.68/1322.13	c 1321s |      18 |   543975 |   379652 |    25408     30 |      648 |      434
1323.78/1324.22	c 1323s |      18 |   544417 |   380052 |    25408     30 |      648 |      434
1326.08/1326.58	c 1326s |      18 |   544960 |   380552 |    25408     30 |      648 |      434
1328.58/1329.07	c 1328s |      18 |   545514 |   381052 |    25408     30 |      648 |      434
1330.98/1331.43	c 1331s |      18 |   546102 |   381552 |    25408     30 |      648 |      434
1333.28/1333.77	c 1333s |      18 |   546682 |   382052 |    25408     30 |      648 |      434
1335.68/1336.16	c 1335s |      18 |   547227 |   382552 |    25408     30 |      648 |      434
1337.98/1338.43	c 1338s |      18 |   547788 |   383052 |    25408     30 |      648 |      434
1340.28/1340.73	c 1340s |      18 |   548371 |   383552 |    25408     30 |      648 |      434
1342.58/1343.09	c 1342s |      18 |   548953 |   384052 |    25408     30 |      648 |      434
1344.97/1345.41	c 1345s |      18 |   549531 |   384552 |    25408     30 |      648 |      434
1347.38/1347.88	c 1347s |      18 |   550076 |   385052 |    25408     30 |      648 |      434
1349.77/1350.23	c 1349s |      18 |   550515 |   385452 |    25408     30 |      648 |      434
1351.87/1352.37	c 1352s |      18 |   550950 |   385852 |    25408     30 |      648 |      434
1354.27/1354.70	c 1354s |      18 |   551388 |   386252 |    25408     30 |      648 |      434
1356.47/1356.92	c 1356s |      18 |   551716 |   386552 |    25408     31 |      648 |      434
1358.77/1359.21	c 1358s |      18 |   552380 |   387152 |    25408     31 |      648 |      434
1360.77/1361.27	c 1360s |      18 |   552923 |   387652 |    25408     31 |      648 |      434
1362.87/1363.38	c 1363s |      18 |   553466 |   388152 |    25408     31 |      648 |      434
1365.17/1365.63	c 1365s |      18 |   554015 |   388652 |    25408     31 |      648 |      434
1367.47/1367.95	c 1367s |      18 |   554711 |   389252 |    25408     31 |      648 |      434
1369.67/1370.10	c 1369s |      18 |   555409 |   389852 |    25408     31 |      648 |      434
1371.97/1372.49	c 1372s |      18 |   556079 |   390452 |    25408     31 |      648 |      434
1374.07/1374.51	c 1374s |      18 |   556627 |   390952 |    25408     31 |      648 |      434
1376.37/1376.81	c 1376s |      18 |   557274 |   391552 |    25408     31 |      648 |      434
1378.37/1378.82	c 1378s |      18 |   557825 |   392052 |    25408     31 |      648 |      434
1380.57/1381.09	c 1380s |      18 |   558470 |   392652 |    25408     31 |      648 |      434
1382.76/1383.24	c 1382s |      18 |   559015 |   393152 |    25408     31 |      648 |      434
1385.06/1385.51	c 1385s |      18 |   559560 |   393652 |    25408     31 |      648 |      434
1387.36/1387.82	c 1387s |      18 |   560126 |   394152 |    25408     31 |      648 |      434
1389.76/1390.20	c 1389s |      18 |   560664 |   394652 |    25408     31 |      648 |      434
1392.06/1392.57	c 1392s |      18 |   561210 |   395152 |    25408     31 |      648 |      434
1394.36/1394.85	c 1394s |      18 |   561790 |   395652 |    25408     31 |      648 |      434
1396.46/1396.97	c 1396s |      18 |   562354 |   396152 |    25408     31 |      648 |      434
1398.76/1399.23	c 1398s |      18 |   562896 |   396652 |    25408     31 |      648 |      434
1400.96/1401.47	c 1401s |      18 |   563489 |   397152 |    25408     31 |      648 |      434
1403.26/1403.70	c 1403s |      18 |   564045 |   397652 |    25408     31 |      648 |      434
1405.57/1406.09	c 1405s |      18 |   564607 |   398152 |    25408     31 |      648 |      434
1407.66/1408.12	c 1407s |      18 |   565052 |   398552 |    25408     31 |      648 |      434
1409.67/1410.18	c 1409s |      18 |   565482 |   398952 |    25408     31 |      648 |      434
1411.97/1412.44	c 1412s |      18 |   565914 |   399352 |    25408     31 |      648 |      434
1414.27/1414.78	c 1414s |      18 |   566347 |   399752 |    25408     31 |      648 |      434
1416.47/1416.95	c 1416s |      18 |   566802 |   400152 |    25408     31 |      648 |      434
1418.67/1419.10	c 1418s |      18 |   567235 |   400552 |    25408     31 |      648 |      434
1420.67/1421.13	c 1420s |      18 |   567575 |   400852 |    25408     32 |      648 |      434
1422.97/1423.41	c 1423s |      18 |   568256 |   401452 |    25408     32 |      648 |      434
1425.17/1425.65	c 1425s |      18 |   568935 |   402052 |    25408     32 |      648 |      434
1427.27/1427.73	c 1427s |      18 |   569489 |   402552 |    25408     32 |      648 |      434
1429.37/1429.86	c 1429s |      18 |   570015 |   403052 |    25408     32 |      648 |      434
1431.57/1432.07	c 1431s |      18 |   570548 |   403552 |    25408     32 |      648 |      434
1433.66/1434.16	c 1433s |      18 |   571093 |   404052 |    25408     32 |      648 |      434
1435.96/1436.42	c 1436s |      18 |   571631 |   404552 |    25408     32 |      648 |      434
1438.26/1438.77	c 1438s |      18 |   572168 |   405052 |    25408     32 |      648 |      434
1440.46/1440.95	c 1440s |      18 |   572716 |   405552 |    25408     32 |      648 |      434
1442.86/1443.31	c 1443s |      18 |   573265 |   406052 |    25408     32 |      648 |      434
1445.17/1445.69	c 1445s |      18 |   573810 |   406552 |    25408     32 |      648 |      434
1447.47/1447.95	c 1447s |      18 |   574363 |   407052 |    25408     32 |      648 |      434
1449.67/1450.13	c 1449s |      18 |   574776 |   407452 |    25408     32 |      648 |      434
1451.87/1452.36	c 1452s |      18 |   575352 |   407952 |    25408     32 |      648 |      434
1454.26/1454.79	c 1454s |      18 |   575886 |   408452 |    25408     32 |      648 |      434
1456.76/1457.26	c 1456s |      18 |   576421 |   408952 |    25408     32 |      648 |      434
1458.86/1459.32	c 1459s |      18 |   576840 |   409352 |    25408     32 |      648 |      434
1460.86/1461.36	c 1461s |      18 |   577169 |   409652 |    25408     32 |      648 |      434
1463.06/1463.52	c 1463s |      18 |   577616 |   410052 |    25408     32 |      648 |      434
1465.16/1465.64	c 1465s |      18 |   578045 |   410452 |    25408     32 |      648 |      434
1467.16/1467.69	c 1467s |      18 |   578493 |   410852 |    25408     32 |      648 |      434
1469.36/1469.87	c 1469s |      18 |   578934 |   411252 |    25408     32 |      648 |      434
1471.56/1472.06	c 1471s |      18 |   579353 |   411652 |    25408     32 |      648 |      434
1473.86/1474.36	c 1474s |      18 |   579798 |   412052 |    25408     32 |      648 |      434
1476.25/1476.70	c 1476s |      18 |   580230 |   412452 |    25408     32 |      648 |      434
1478.45/1478.94	c 1478s |      18 |   580672 |   412852 |    25408     32 |      648 |      434
1480.85/1481.37	c 1481s |      18 |   581100 |   413252 |    25408     32 |      648 |      434
1483.25/1483.78	c 1483s |      18 |   581533 |   413652 |    25408     32 |      648 |      434
1485.75/1486.28	c 1486s |      18 |   581973 |   414052 |    25408     32 |      648 |      434
1488.25/1488.77	c 1488s |      18 |   582397 |   414452 |    25408     32 |      648 |      434
1490.65/1491.17	c 1490s |      18 |   582831 |   414852 |    25408     32 |      648 |      434
1493.05/1493.52	c 1493s |      18 |   583145 |   415152 |    25408     33 |      648 |      434
1495.15/1495.64	c 1495s |      18 |   583704 |   415652 |    25408     33 |      648 |      434
1497.55/1498.03	c 1497s |      18 |   584238 |   416152 |    25408     33 |      648 |      434
1499.85/1500.37	c 1500s |      18 |   584772 |   416652 |    25408     33 |      648 |      434
1502.25/1502.80	c 1502s |      18 |   585301 |   417152 |    25408     33 |      648 |      434
1504.66/1505.15	c 1504s |      18 |   585836 |   417652 |    25408     33 |      648 |      434
1506.95/1507.42	c 1507s |      18 |   586369 |   418152 |    25408     33 |      648 |      434
1508.96/1509.47	c 1509s |      18 |   586789 |   418552 |    25408     33 |      648 |      434
1511.45/1511.94	c 1511s |      18 |   587338 |   419052 |    25408     33 |      648 |      434
1513.95/1514.43	c 1514s |      18 |   587869 |   419552 |    25408     33 |      648 |      434
1515.95/1516.49	c 1516s |      18 |   588310 |   419952 |    25408     33 |      648 |      434
1518.05/1518.57	c 1518s |      18 |   588880 |   420452 |    25408     33 |      648 |      434
1520.25/1520.79	c 1520s |      18 |   589424 |   420952 |    25408     33 |      648 |      434
1522.45/1522.92	c 1522s |      18 |   589976 |   421452 |    25408     33 |      648 |      434
1524.75/1525.21	c 1524s |      18 |   590536 |   421952 |    25408     33 |      648 |      434
1526.85/1527.30	c 1527s |      18 |   590974 |   422352 |    25408     33 |      648 |      434
1529.25/1529.73	c 1529s |      18 |   591523 |   422852 |    25408     33 |      648 |      434
1531.75/1532.25	c 1531s |      18 |   592097 |   423352 |    25408     33 |      648 |      434
1533.74/1534.30	c 1534s |      18 |   592540 |   423752 |    25408     33 |      648 |      434
1535.84/1536.35	c 1536s |      18 |   592974 |   424152 |    25408     33 |      648 |      434
1538.14/1538.69	c 1538s |      18 |   593413 |   424552 |    25408     33 |      648 |      434
1540.34/1540.82	c 1540s |      18 |   593870 |   424952 |    25408     33 |      648 |      434
1542.44/1542.96	c 1542s |      18 |   594289 |   425352 |    25408     33 |      648 |      434
1544.64/1545.11	c 1544s |      18 |   594721 |   425752 |    25408     33 |      648 |      434
1547.04/1547.55	c 1547s |      18 |   595280 |   426252 |    25408     33 |      648 |      434
1549.34/1549.85	c 1549s |      18 |   595825 |   426752 |    25408     33 |      648 |      434
1551.74/1552.21	c 1551s |      18 |   596261 |   427152 |    25408     33 |      648 |      434
1554.24/1554.70	c 1554s |      18 |   596687 |   427552 |    25408     33 |      648 |      434
1556.44/1556.97	c 1556s |      18 |   597111 |   427952 |    25408     33 |      648 |      434
1558.84/1559.39	c 1559s |      18 |   597548 |   428352 |    25408     33 |      648 |      434
1561.34/1561.85	c 1561s |      18 |   597972 |   428752 |    25408     33 |      648 |      434
1563.64/1564.18	c 1563s |      18 |   598413 |   429152 |    25408     33 |      648 |      434
1566.04/1566.55	c 1566s |      18 |   598739 |   429452 |    25408     34 |      648 |      434
1568.24/1568.76	c 1568s |      18 |   599272 |   429952 |    25408     34 |      648 |      434
1570.64/1571.17	c 1570s |      18 |   599941 |   430552 |    25408     34 |      648 |      434
1572.94/1573.43	c 1573s |      18 |   600472 |   431052 |    25408     34 |      648 |      434
1575.13/1575.68	c 1575s |      18 |   601011 |   431552 |    25408     34 |      648 |      434
1577.43/1577.93	c 1577s |      18 |   601553 |   432052 |    25408     34 |      648 |      434
1579.63/1580.16	c 1579s |      18 |   602090 |   432552 |    25408     34 |      648 |      434
1581.93/1582.48	c 1582s |      18 |   602632 |   433052 |    25408     34 |      648 |      434
1584.43/1584.98	c 1584s |      18 |   603176 |   433552 |    25408     34 |      648 |      434
1586.63/1587.17	c 1586s |      18 |   603591 |   433952 |    25408     34 |      648 |      434
1589.04/1589.57	c 1589s |      18 |   604029 |   434352 |    25408     34 |      648 |      434
1591.24/1591.78	c 1591s |      18 |   604451 |   434752 |    25408     34 |      648 |      434
1593.65/1594.14	c 1593s |      18 |   604883 |   435152 |    25408     34 |      648 |      434
1595.64/1596.15	c 1595s |      18 |   605350 |   435552 |    25408     34 |      648 |      434
1598.05/1598.55	c 1598s |      18 |   605900 |   436052 |    25408     34 |      648 |      434
1600.35/1600.88	c 1600s |      18 |   606444 |   436552 |    25408     34 |      648 |      434
1602.44/1602.97	c 1602s |      18 |   606880 |   436952 |    25408     34 |      648 |      434
1604.94/1605.48	c 1605s |      18 |   607408 |   437452 |    25408     34 |      648 |      434
1606.94/1607.48	c 1607s |      18 |   607855 |   437852 |    25408     34 |      648 |      434
1609.44/1609.92	c 1609s |      18 |   608400 |   438352 |    25408     34 |      648 |      434
1611.94/1612.42	c 1612s |      18 |   608946 |   438852 |    25408     34 |      648 |      434
1614.24/1614.79	c 1614s |      18 |   609389 |   439252 |    25408     34 |      648 |      434
1616.54/1617.06	c 1616s |      18 |   609811 |   439652 |    25408     34 |      648 |      434
1618.64/1619.16	c 1618s |      18 |   610247 |   440052 |    25408     34 |      648 |      434
1621.03/1621.54	c 1621s |      18 |   610800 |   440552 |    25408     34 |      648 |      434
1623.13/1623.66	c 1623s |      18 |   611216 |   440952 |    25408     34 |      648 |      434
1625.13/1625.68	c 1625s |      18 |   611677 |   441352 |    27949     34 |      648 |      434
1627.23/1627.79	c 1627s |      18 |   612126 |   441752 |    27949     34 |      648 |      434
1629.63/1630.13	c 1629s |      18 |   612553 |   442152 |    27949     34 |      648 |      434
1631.73/1632.29	c 1632s |      18 |   612985 |   442552 |    27949     34 |      648 |      434
1633.93/1634.49	c 1634s |      18 |   613437 |   442952 |    27949     34 |      648 |      434
1636.13/1636.69	c 1636s |      18 |   613891 |   443352 |    27949     34 |      648 |      434
1638.23/1638.77	c 1638s |      18 |   614320 |   443752 |    27949     34 |      648 |      434
1640.73/1641.20	c 1640s |      18 |   614752 |   444152 |    27949     34 |      648 |      434
1642.73/1643.21	c 1642s |      19 |   615111 |   444482 |    27949     34 |      648 |      434
1645.13/1645.67	c 1645s |      19 |   617692 |   444782 |    27949     35 |      648 |      434
1647.33/1647.80	c 1647s |      19 |   619121 |   446082 |    27949     35 |      648 |      434
1649.33/1649.87	c 1649s |      19 |   620473 |   447282 |    27949     35 |      648 |      434
1651.53/1652.02	c 1651s |      19 |   621562 |   448282 |    27949     35 |      648 |      434
1653.52/1654.07	c 1653s |      19 |   622453 |   449082 |    27949     35 |      648 |      434
1655.72/1656.22	c 1655s |      19 |   623316 |   449882 |    27949     35 |      648 |      434
1657.72/1658.27	c 1657s |      19 |   624197 |   450682 |    27949     35 |      648 |      434
1659.92/1660.45	c 1660s |      19 |   625163 |   451582 |    27949     35 |      648 |      434
1661.93/1662.45	c 1662s |      19 |   626094 |   452282 |    27949     35 |      648 |      434
1663.92/1664.46	c 1664s |      19 |   627602 |   453182 |    27949     35 |      648 |      434
1666.02/1666.57	c 1666s |      19 |   628651 |   454082 |    27949     35 |      648 |      434
1668.12/1668.65	c 1668s |      19 |   632136 |   455482 |    27949     35 |      648 |      434
1670.22/1670.77	c 1670s |      19 |   634008 |   456682 |    27949     35 |      648 |      434
1672.32/1672.87	c 1672s |      19 |   634966 |   457482 |    27949     35 |      648 |      434
1674.32/1674.87	c 1674s |      19 |   636569 |   458482 |    27949     35 |      648 |      434
1676.42/1676.98	c 1676s |      19 |   638226 |   459582 |    27949     35 |      648 |      434
1678.62/1679.13	c 1678s |      19 |   639330 |   460482 |    27949     35 |      648 |      434
1680.63/1681.14	c 1680s |      19 |   639957 |   460982 |    27949     36 |      648 |      434
1682.62/1683.17	c 1682s |      19 |   640802 |   461682 |    27949     36 |      648 |      434
1684.72/1685.28	c 1685s |      19 |   641493 |   462282 |    27949     36 |      648 |      434
1687.13/1687.67	c 1687s |      19 |   642288 |   462982 |    27949     36 |      648 |      434
1689.43/1689.96	c 1689s |      19 |   642976 |   463582 |    27949     36 |      648 |      434
1691.92/1692.40	c 1692s |      19 |   643619 |   464182 |    27949     36 |      648 |      434
1694.12/1694.64	c 1694s |      19 |   644367 |   464782 |    27949     36 |      648 |      434
1696.22/1696.75	c 1696s |      19 |   645083 |   465382 |    27949     36 |      648 |      434
1698.32/1698.83	c 1698s |      19 |   647561 |   466382 |    27949     36 |      648 |      434
1700.32/1700.87	c 1700s |      19 |   649340 |   467382 |    27949     36 |      648 |      434
1702.52/1703.07	c 1702s |      19 |   651796 |   468482 |    27949     36 |      648 |      434
1704.62/1705.14	c 1704s |      19 |   652828 |   469282 |    27949     36 |      648 |      434
1706.62/1707.16	c 1706s |      19 |   653804 |   470082 |    27949     36 |      648 |      434
1708.72/1709.24	c 1708s |      19 |   654914 |   470982 |    27949     36 |      648 |      434
1710.81/1711.39	c 1711s |      19 |   655844 |   471782 |    27949     36 |      648 |      434
1713.01/1713.54	c 1713s |      19 |   656892 |   472582 |    27949     36 |      648 |      434
1715.21/1715.70	c 1715s |      19 |   657681 |   473282 |    27949     36 |      648 |      434
1717.51/1718.02	c 1717s |      19 |   658498 |   473982 |    27949     36 |      648 |      434
1719.91/1720.46	c 1720s |      19 |   659392 |   474682 |    27949     36 |      648 |      434
1722.32/1722.82	c 1722s |      19 |   660091 |   475282 |    27949     36 |      648 |      434
1724.41/1724.99	c 1724s |      19 |   660672 |   475782 |    27949     36 |      648 |      434
1726.82/1727.32	c 1727s |      19 |   661231 |   476282 |    27949     36 |      648 |      434
1728.92/1729.44	c 1729s |      19 |   661698 |   476682 |    27949     37 |      648 |      434
1731.01/1731.50	c 1731s |      19 |   662376 |   477282 |    27949     37 |      648 |      434
1733.21/1733.76	c 1733s |      19 |   663176 |   477982 |    27949     37 |      648 |      434
1735.52/1736.09	c 1735s |      19 |   663963 |   478682 |    27949     37 |      648 |      434
1737.82/1738.37	c 1738s |      19 |   664760 |   479382 |    27949     37 |      648 |      434
1740.11/1740.62	c 1740s |      19 |   665568 |   480082 |    27949     37 |      648 |      434
1742.22/1742.71	c 1742s |      19 |   666237 |   480682 |    27949     37 |      648 |      434
1744.51/1745.03	c 1744s |      19 |   666923 |   481282 |    27949     37 |      648 |      434
1746.71/1747.24	c 1746s |      19 |   667585 |   481882 |    27949     37 |      648 |      434
1749.11/1749.66	c 1749s |      19 |   668275 |   482482 |    27949     37 |      648 |      434
1751.21/1751.76	c 1751s |      19 |   668827 |   482982 |    27949     37 |      648 |      434
1753.41/1753.93	c 1753s |      19 |   669549 |   483582 |    27949     37 |      648 |      434
1755.81/1756.34	c 1756s |      19 |   670250 |   484182 |    27949     37 |      648 |      434
1758.11/1758.67	c 1758s |      19 |   670955 |   484782 |    27949     37 |      648 |      434
1760.51/1761.06	c 1760s |      19 |   671674 |   485382 |    27949     37 |      648 |      434
1762.61/1763.14	c 1762s |      19 |   672345 |   485982 |    27949     37 |      648 |      434
1764.91/1765.49	c 1765s |      19 |   673141 |   486682 |    27949     37 |      648 |      434
1767.01/1767.52	c 1767s |      19 |   673871 |   487282 |    27949     37 |      648 |      434
1769.01/1769.53	c 1769s |      19 |   674563 |   487882 |    27949     37 |      648 |      434
1771.20/1771.73	c 1771s |      19 |   675253 |   488482 |    27949     37 |      648 |      434
1773.60/1774.19	c 1773s |      19 |   676054 |   489182 |    27949     37 |      648 |      434
1775.70/1776.21	c 1775s |      19 |   676473 |   489582 |    27949     37 |      648 |      434
1777.90/1778.48	c 1778s |      19 |   677020 |   490082 |    27949     37 |      648 |      434
1780.00/1780.52	c 1780s |      19 |   677590 |   490582 |    27949     37 |      648 |      434
1782.30/1782.81	c 1782s |      19 |   678156 |   491082 |    27949     37 |      648 |      434
1784.60/1785.10	c 1784s |      19 |   678735 |   491582 |    27949     37 |      648 |      434
1786.90/1787.45	c 1787s |      19 |   679283 |   492082 |    27949     37 |      648 |      434
1789.20/1789.77	c 1789s |      19 |   679617 |   492382 |    27949     38 |      648 |      434
1791.40/1791.95	c 1791s |      19 |   680175 |   492882 |    27949     38 |      648 |      434
1793.50/1794.08	c 1793s |      19 |   680728 |   493382 |    27949     38 |      648 |      434
1795.80/1796.31	c 1796s |      19 |   681265 |   493882 |    27949     38 |      648 |      434
1797.80/1798.32	c 1798s |      19 |   681837 |   494382 |    27949     38 |      648 |      434
1799.81/1800.36	c 1800s |      19 |   682410 |   494882 |    27949     38 |      648 |      434

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-4116525-1466975782/watcher-4116525-1466975782 -o /tmp/evaluation-result-4116525-1466975782/solver-4116525-1466975782 -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-4116525-1466975782.opb 

pid=24263
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.23 2.26 2.20 3/173 24266
/proc/meminfo: memFree=30325932/32872528 swapFree=1541156/1696500
[pid=24266] ppid=24263 vsize=738748 CPUtime=0 cores=0,2,4,6
/proc/24266/stat : 24266 (toysat) R 24263 24266 23447 0 -1 4202496 2762 0 0 0 0 0 0 0 20 0 4 0 30616897 756477952 2611 33554432000 4194304 16246674 140734530567744 140734530567168 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24266/statm: 185455 2620 441 2943 0 182349 0
[pid=24266/tid=24267] ppid=24263 vsize=756156 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24267/stat : 24267 (toysat) S 24263 24266 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30616898 774303744 2678 33554432000 4194304 16246674 140734530567744 140580188302576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24266/tid=24268] ppid=24263 vsize=760252 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24268/stat : 24268 (toysat) S 24263 24266 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616898 778498048 2694 33554432000 4194304 16246674 140734530567744 140580177812720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24266/tid=24269] ppid=24263 vsize=764348 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24269/stat : 24269 (toysat) S 24263 24266 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30616898 782692352 2711 33554432000 4194304 16246674 140734530567744 140580167339184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100158 s]
/proc/loadavg: 2.23 2.26 2.20 3/173 24266
/proc/meminfo: memFree=30325932/32872528 swapFree=1541156/1696500
[pid=24266] ppid=24263 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/24266/stat : 24266 (toysat) R 24263 24266 23447 0 -1 4202496 28470 0 0 0 5 4 0 0 20 0 4 0 30616897 1249447936 28257 33554432000 4194304 16246674 140734530567744 140734530567056 4220871 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24266/statm: 305041 28257 801 2943 0 301935 0
[pid=24266/tid=24267] ppid=24263 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24267/stat : 24267 (toysat) S 24263 24266 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30616898 1249447936 28257 33554432000 4194304 16246674 140734530567744 140580188302576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24266/tid=24268] ppid=24263 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24268/stat : 24268 (toysat) S 24263 24266 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616898 1249447936 28257 33554432000 4194304 16246674 140734530567744 140580177812720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24266/tid=24269] ppid=24263 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24269/stat : 24269 (toysat) S 24263 24266 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616898 1249447936 28257 33554432000 4194304 16246674 140734530567744 140580167339184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200526 s]
/proc/loadavg: 2.23 2.26 2.20 3/173 24266
/proc/meminfo: memFree=30325932/32872528 swapFree=1541156/1696500
[pid=24266] ppid=24263 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/24266/stat : 24266 (toysat) R 24263 24266 23447 0 -1 4202496 48677 0 0 0 12 7 0 0 20 0 4 0 30616897 1332285440 48464 33554432000 4194304 16246674 140734530567744 140734530567056 13007804 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24266/statm: 325265 48464 842 2943 0 322159 0
[pid=24266/tid=24267] ppid=24263 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24267/stat : 24267 (toysat) S 24263 24266 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30616898 1332285440 48464 33554432000 4194304 16246674 140734530567744 140580188302576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24266/tid=24268] ppid=24263 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24268/stat : 24268 (toysat) S 24263 24266 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616898 1332285440 48464 33554432000 4194304 16246674 140734530567744 140580177812720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24266/tid=24269] ppid=24263 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24269/stat : 24269 (toysat) S 24263 24266 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616898 1332285440 48464 33554432000 4194304 16246674 140734530567744 140580167339184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.30048 s]
/proc/loadavg: 2.23 2.26 2.20 3/173 24266
/proc/meminfo: memFree=30325932/32872528 swapFree=1541156/1696500
[pid=24266] ppid=24263 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/24266/stat : 24266 (toysat) R 24263 24266 23447 0 -1 4202496 54364 0 0 0 21 8 0 0 20 0 4 0 30616897 1332285440 54151 33554432000 4194304 16246674 140734530567744 140734530567056 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24266/statm: 325265 54157 882 2943 0 322159 0
[pid=24266/tid=24267] ppid=24263 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24267/stat : 24267 (toysat) S 24263 24266 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30616898 1332285440 54160 33554432000 4194304 16246674 140734530567744 140580188302576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24266/tid=24268] ppid=24263 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24268/stat : 24268 (toysat) S 24263 24266 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616898 1332285440 54163 33554432000 4194304 16246674 140734530567744 140580177812720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24266/tid=24269] ppid=24263 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24269/stat : 24269 (toysat) S 24263 24266 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616898 1332285440 54166 33554432000 4194304 16246674 140734530567744 140580167339184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700397 s]
/proc/loadavg: 2.23 2.26 2.20 3/173 24266
/proc/meminfo: memFree=30325932/32872528 swapFree=1541156/1696500
[pid=24266] ppid=24263 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/24266/stat : 24266 (toysat) R 24263 24266 23447 0 -1 4202496 101096 0 0 0 54 15 0 0 20 0 4 0 30616897 1332285440 100883 33554432000 4194304 16246674 140734530567744 140734530567056 5602579 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24266/statm: 325265 100886 882 2943 0 322159 0
[pid=24266/tid=24267] ppid=24263 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24267/stat : 24267 (toysat) S 24263 24266 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30616898 1332285440 100889 33554432000 4194304 16246674 140734530567744 140580188302576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24266/tid=24268] ppid=24263 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24268/stat : 24268 (toysat) S 24263 24266 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616898 1332285440 100893 33554432000 4194304 16246674 140734530567744 140580177812720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24266/tid=24269] ppid=24263 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24269/stat : 24269 (toysat) S 24263 24266 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616898 1332285440 100898 33554432000 4194304 16246674 140734530567744 140580167339184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.23 2.26 2.20 3/183 24279
/proc/meminfo: memFree=29062832/32872528 swapFree=1541156/1696500
[pid=24266] ppid=24263 vsize=1302084 CPUtime=1.49 cores=0,2,4,6
/proc/24266/stat : 24266 (toysat) R 24263 24266 23447 0 -1 4202496 211483 0 0 0 117 32 0 0 20 0 4 0 30616897 1333334016 211270 33554432000 4194304 16246674 140734530567744 140734530549632 13954518 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24266/statm: 325521 211275 882 2943 0 322415 0
[pid=24266/tid=24267] ppid=24263 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24267/stat : 24267 (toysat) S 24263 24266 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30616898 1333334016 211278 33554432000 4194304 16246674 140734530567744 140580188302576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24266/tid=24268] ppid=24263 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24268/stat : 24268 (toysat) S 24263 24266 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616898 1333334016 211282 33554432000 4194304 16246674 140734530567744 140580177812720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24266/tid=24269] ppid=24263 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24269/stat : 24269 (toysat) S 24263 24266 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616898 1333334016 211289 33554432000 4194304 16246674 140734530567744 140580167339184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10041 s]
/proc/loadavg: 2.21 2.26 2.20 3/183 24279
/proc/meminfo: memFree=28171884/32872528 swapFree=1541156/1696500
[pid=24266] ppid=24263 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/24266/stat : 24266 (toysat) R 24263 24266 23447 0 -1 4202496 269364 0 0 0 268 41 0 0 20 0 4 0 30616897 1344868352 269151 33554432000 4194304 16246674 140734530567744 140734530549632 5723388 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24266/statm: 328337 269151 890 2943 0 325231 0
[pid=24266/tid=24267] ppid=24263 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24267/stat : 24267 (toysat) S 24263 24266 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30616898 1344868352 269151 33554432000 4194304 16246674 140734530567744 140580188302576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24266/tid=24268] ppid=24263 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24268/stat : 24268 (toysat) S 24263 24266 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616898 1344868352 269151 33554432000 4194304 16246674 140734530567744 140580177812720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24266/tid=24269] ppid=24263 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24269/stat : 24269 (toysat) S 24263 24266 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616898 1344868352 269151 33554432000 4194304 16246674 140734530567744 140580167339184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30036 s]
/proc/loadavg: 2.21 2.26 2.20 3/183 24279
/proc/meminfo: memFree=28171280/32872528 swapFree=1541156/1696500
[pid=24266] ppid=24263 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/24266/stat : 24266 (toysat) R 24263 24266 23447 0 -1 4202496 269530 0 0 0 588 41 0 0 20 0 4 0 30616897 1344868352 269317 33554432000 4194304 16246674 140734530567744 140734530549632 5599990 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24266/statm: 328337 269317 892 2943 0 325231 0
[pid=24266/tid=24267] ppid=24263 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24267/stat : 24267 (toysat) S 24263 24266 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30616898 1344868352 269317 33554432000 4194304 16246674 140734530567744 140580188302576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24266/tid=24268] ppid=24263 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24268/stat : 24268 (toysat) S 24263 24266 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616898 1344868352 269317 33554432000 4194304 16246674 140734530567744 140580177812720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24266/tid=24269] ppid=24263 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24269/stat : 24269 (toysat) S 24263 24266 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616898 1344868352 269317 33554432000 4194304 16246674 140734530567744 140580167339184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.18 2.25 2.19 3/183 24279
/proc/meminfo: memFree=28171256/32872528 swapFree=1541156/1696500
[pid=24266] ppid=24263 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/24266/stat : 24266 (toysat) R 24263 24266 23447 0 -1 4202496 269530 0 0 0 1228 41 0 0 20 0 4 0 30616897 1344868352 269317 33554432000 4194304 16246674 140734530567744 140734530549632 12477979 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24266/statm: 328337 269317 892 2943 0 325231 0
[pid=24266/tid=24267] ppid=24263 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24267/stat : 24267 (toysat) S 24263 24266 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30616898 1344868352 269317 33554432000 4194304 16246674 140734530567744 140580188302576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24266/tid=24268] ppid=24263 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24268/stat : 24268 (toysat) S 24263 24266 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616898 1344868352 269317 33554432000 4194304 16246674 140734530567744 140580177812720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24266/tid=24269] ppid=24263 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24269/stat : 24269 (toysat) S 24263 24266 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616898 1344868352 269317 33554432000 4194304 16246674 140734530567744 140580167339184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5003 s]
/proc/loadavg: 2.22 2.25 2.20 3/183 24279
/proc/meminfo: memFree=28170320/32872528 swapFree=1541156/1696500
[pid=24266] ppid=24263 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/24266/stat : 24266 (toysat) R 24263 24266 23447 0 -1 4202496 269534 0 0 0 2508 41 0 0 20 0 4 0 30616897 1344868352 269574 33554432000 4194304 16246674 140734530567744 140734530549632 13927391 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24266/statm: 328337 269574 893 2943 0 325231 0
[pid=24266/tid=24267] ppid=24263 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24267/stat : 24267 (toysat) S 24263 24266 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30616898 1344868352 269574 33554432000 4194304 16246674 140734530567744 140580188302576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24266/tid=24268] ppid=24263 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24268/stat : 24268 (toysat) S 24263 24266 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616898 1344868352 269574 33554432000 4194304 16246674 140734530567744 140580177812720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24266/tid=24269] ppid=24263 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24269/stat : 24269 (toysat) S 24263 24266 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616898 1344868352 269574 33554432000 4194304 16246674 140734530567744 140580167339184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1004 s]
/proc/loadavg: 2.21 2.25 2.19 3/183 24280
/proc/meminfo: memFree=28170912/32872528 swapFree=1541156/1696500
[pid=24266] ppid=24263 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/24266/stat : 24266 (toysat) R 24263 24266 23447 0 -1 4202496 269536 0 0 0 5067 41 0 0 20 0 4 0 30616897 1344868352 269574 33554432000 4194304 16246674 140734530567744 140734530549632 12483416 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24266/statm: 328337 269574 893 2943 0 325231 0
[pid=24266/tid=24267] ppid=24263 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24267/stat : 24267 (toysat) S 24263 24266 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30616898 1344868352 269574 33554432000 4194304 16246674 140734530567744 140580188302576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24266/tid=24268] ppid=24263 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24268/stat : 24268 (toysat) S 24263 24266 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616898 1344868352 269574 33554432000 4194304 16246674 140734530567744 140580177812720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24266/tid=24269] ppid=24263 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24269/stat : 24269 (toysat) S 24263 24266 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616898 1344868352 269574 33554432000 4194304 16246674 140734530567744 140580167339184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.26 2.25 2.20 3/183 24281
/proc/meminfo: memFree=28166680/32872528 swapFree=1541156/1696500
[pid=24266] ppid=24263 vsize=1313348 CPUtime=102.27 cores=0,2,4,6
/proc/24266/stat : 24266 (toysat) R 24263 24266 23447 0 -1 4202496 269542 0 0 0 10186 41 0 0 20 0 4 0 30616897 1344868352 269574 33554432000 4194304 16246674 140734530567744 140734530549632 5522977 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24266/statm: 328337 269574 893 2943 0 325231 0
[pid=24266/tid=24267] ppid=24263 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24267/stat : 24267 (toysat) S 24263 24266 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30616898 1344868352 269574 33554432000 4194304 16246674 140734530567744 140580188302576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24266/tid=24268] ppid=24263 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24268/stat : 24268 (toysat) S 24263 24266 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616898 1344868352 269574 33554432000 4194304 16246674 140734530567744 140580177812720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24266/tid=24269] ppid=24263 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24269/stat : 24269 (toysat) S 24263 24266 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616898 1344868352 269574 33554432000 4194304 16246674 140734530567744 140580167339184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1313348


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

/proc/24266/task/24269/stat : 24269 (toysat) S 24263 24266 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616898 1364791296 274438 33554432000 4194304 16246674 140734530567744 140580167339184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1332804

[startup+1362.3 s]
/proc/loadavg: 2.29 2.25 2.19 4/183 24313
/proc/meminfo: memFree=28129212/32872528 swapFree=1541156/1696500
[pid=24266] ppid=24263 vsize=1332804 CPUtime=1361.87 cores=0,2,4,6
/proc/24266/stat : 24266 (toysat) R 24263 24266 23447 0 -1 4202496 274712 0 0 0 136135 52 0 0 20 0 4 0 30616897 1364791296 274438 33554432000 4194304 16246674 140734530567744 140734530549632 5827838 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24266/statm: 333201 274438 893 2943 0 330095 0
[pid=24266/tid=24267] ppid=24263 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24267/stat : 24267 (toysat) S 24263 24266 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30616898 1364791296 274438 33554432000 4194304 16246674 140734530567744 140580188302576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24266/tid=24268] ppid=24263 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24268/stat : 24268 (toysat) S 24263 24266 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616898 1364791296 274438 33554432000 4194304 16246674 140734530567744 140580177812720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24266/tid=24269] ppid=24263 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24269/stat : 24269 (toysat) S 24263 24266 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616898 1364791296 274438 33554432000 4194304 16246674 140734530567744 140580167339184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1332804

[startup+1422.3 s]
/proc/loadavg: 2.26 2.25 2.19 3/184 24317
/proc/meminfo: memFree=28129312/32872528 swapFree=1541156/1696500
[pid=24266] ppid=24263 vsize=1332804 CPUtime=1421.87 cores=0,2,4,6
/proc/24266/stat : 24266 (toysat) R 24263 24266 23447 0 -1 4202496 274712 0 0 0 142134 53 0 0 20 0 4 0 30616897 1364791296 274438 33554432000 4194304 16246674 140734530567744 140734530549632 12483307 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24266/statm: 333201 274438 893 2943 0 330095 0
[pid=24266/tid=24267] ppid=24263 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24267/stat : 24267 (toysat) S 24263 24266 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30616898 1364791296 274438 33554432000 4194304 16246674 140734530567744 140580188302576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24266/tid=24268] ppid=24263 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24268/stat : 24268 (toysat) S 24263 24266 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616898 1364791296 274438 33554432000 4194304 16246674 140734530567744 140580177812720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24266/tid=24269] ppid=24263 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24269/stat : 24269 (toysat) S 24263 24266 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616898 1364791296 274438 33554432000 4194304 16246674 140734530567744 140580167339184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1332804

[startup+1482.3 s]
/proc/loadavg: 2.29 2.25 2.19 3/183 24318
/proc/meminfo: memFree=28129732/32872528 swapFree=1541156/1696500
[pid=24266] ppid=24263 vsize=1332804 CPUtime=1481.85 cores=0,2,4,6
/proc/24266/stat : 24266 (toysat) R 24263 24266 23447 0 -1 4202496 274712 0 0 0 148132 53 0 0 20 0 4 0 30616897 1364791296 274438 33554432000 4194304 16246674 140734530567744 140734530566920 5723568 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24266/statm: 333201 274438 893 2943 0 330095 0
[pid=24266/tid=24267] ppid=24263 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24267/stat : 24267 (toysat) S 24263 24266 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30616898 1364791296 274438 33554432000 4194304 16246674 140734530567744 140580188302576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24266/tid=24268] ppid=24263 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24268/stat : 24268 (toysat) S 24263 24266 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616898 1364791296 274438 33554432000 4194304 16246674 140734530567744 140580177812720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24266/tid=24269] ppid=24263 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24269/stat : 24269 (toysat) S 24263 24266 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616898 1364791296 274438 33554432000 4194304 16246674 140734530567744 140580167339184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1332804

[startup+1542.3 s]
/proc/loadavg: 2.15 2.22 2.18 3/183 24319
/proc/meminfo: memFree=28129740/32872528 swapFree=1541156/1696500
[pid=24266] ppid=24263 vsize=1332804 CPUtime=1541.84 cores=0,2,4,6
/proc/24266/stat : 24266 (toysat) R 24263 24266 23447 0 -1 4202496 274712 0 0 0 154131 53 0 0 20 0 4 0 30616897 1364791296 274438 33554432000 4194304 16246674 140734530567744 140734530549632 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24266/statm: 333201 274438 893 2943 0 330095 0
[pid=24266/tid=24267] ppid=24263 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24267/stat : 24267 (toysat) S 24263 24266 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30616898 1364791296 274438 33554432000 4194304 16246674 140734530567744 140580188302576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24266/tid=24268] ppid=24263 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24268/stat : 24268 (toysat) S 24263 24266 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616898 1364791296 274438 33554432000 4194304 16246674 140734530567744 140580177812720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24266/tid=24269] ppid=24263 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24269/stat : 24269 (toysat) S 24263 24266 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616898 1364791296 274438 33554432000 4194304 16246674 140734530567744 140580167339184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1332804

[startup+1602.3 s]
/proc/loadavg: 2.25 2.23 2.18 4/183 24321
/proc/meminfo: memFree=28129624/32872528 swapFree=1541156/1696500
[pid=24266] ppid=24263 vsize=1332804 CPUtime=1601.84 cores=0,2,4,6
/proc/24266/stat : 24266 (toysat) R 24263 24266 23447 0 -1 4202496 274712 0 0 0 160130 54 0 0 20 0 4 0 30616897 1364791296 274438 33554432000 4194304 16246674 140734530567744 140734530549632 12483524 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24266/statm: 333201 274438 893 2943 0 330095 0
[pid=24266/tid=24267] ppid=24263 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24267/stat : 24267 (toysat) S 24263 24266 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30616898 1364791296 274438 33554432000 4194304 16246674 140734530567744 140580188302576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24266/tid=24268] ppid=24263 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24268/stat : 24268 (toysat) S 24263 24266 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616898 1364791296 274438 33554432000 4194304 16246674 140734530567744 140580177812720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24266/tid=24269] ppid=24263 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24269/stat : 24269 (toysat) S 24263 24266 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616898 1364791296 274438 33554432000 4194304 16246674 140734530567744 140580167339184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1332804

[startup+1662.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/183 24322
/proc/meminfo: memFree=28128644/32872528 swapFree=1541156/1696500
[pid=24266] ppid=24263 vsize=1334852 CPUtime=1661.83 cores=0,2,4,6
/proc/24266/stat : 24266 (toysat) R 24263 24266 23447 0 -1 4202496 274980 0 0 0 166129 54 0 0 20 0 4 0 30616897 1366888448 274706 33554432000 4194304 16246674 140734530567744 140734530549632 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24266/statm: 333713 274706 893 2943 0 330607 0
[pid=24266/tid=24267] ppid=24263 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24267/stat : 24267 (toysat) S 24263 24266 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30616898 1366888448 274706 33554432000 4194304 16246674 140734530567744 140580188302576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24266/tid=24268] ppid=24263 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24268/stat : 24268 (toysat) S 24263 24266 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616898 1366888448 274706 33554432000 4194304 16246674 140734530567744 140580177812720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24266/tid=24269] ppid=24263 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24269/stat : 24269 (toysat) S 24263 24266 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616898 1366888448 274706 33554432000 4194304 16246674 140734530567744 140580167339184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1334852

[startup+1722.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 24323
/proc/meminfo: memFree=28129024/32872528 swapFree=1541156/1696500
[pid=24266] ppid=24263 vsize=1334852 CPUtime=1721.81 cores=0,2,4,6
/proc/24266/stat : 24266 (toysat) R 24263 24266 23447 0 -1 4202496 274980 0 0 0 172127 54 0 0 20 0 4 0 30616897 1366888448 274706 33554432000 4194304 16246674 140734530567744 140734530549632 5677884 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24266/statm: 333713 274706 893 2943 0 330607 0
[pid=24266/tid=24267] ppid=24263 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24267/stat : 24267 (toysat) S 24263 24266 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30616898 1366888448 274706 33554432000 4194304 16246674 140734530567744 140580188302576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24266/tid=24268] ppid=24263 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24268/stat : 24268 (toysat) S 24263 24266 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616898 1366888448 274706 33554432000 4194304 16246674 140734530567744 140580177812720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24266/tid=24269] ppid=24263 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24269/stat : 24269 (toysat) S 24263 24266 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616898 1366888448 274706 33554432000 4194304 16246674 140734530567744 140580167339184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1334852

[startup+1782.31 s]
/proc/loadavg: 2.36 2.26 2.19 3/183 24324
/proc/meminfo: memFree=28128288/32872528 swapFree=1541156/1696500
[pid=24266] ppid=24263 vsize=1334852 CPUtime=1781.81 cores=0,2,4,6
/proc/24266/stat : 24266 (toysat) R 24263 24266 23447 0 -1 4202496 274980 0 0 0 178127 54 0 0 20 0 4 0 30616897 1366888448 274706 33554432000 4194304 16246674 140734530567744 140734530549632 13874572 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24266/statm: 333713 274706 893 2943 0 330607 0
[pid=24266/tid=24267] ppid=24263 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24267/stat : 24267 (toysat) S 24263 24266 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30616898 1366888448 274706 33554432000 4194304 16246674 140734530567744 140580188302576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24266/tid=24268] ppid=24263 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24268/stat : 24268 (toysat) S 24263 24266 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616898 1366888448 274706 33554432000 4194304 16246674 140734530567744 140580177812720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24266/tid=24269] ppid=24263 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24269/stat : 24269 (toysat) S 24263 24266 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616898 1366888448 274706 33554432000 4194304 16246674 140734530567744 140580167339184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1334852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.32 2.25 2.19 3/183 24324
/proc/meminfo: memFree=28128660/32872528 swapFree=1541156/1696500
[pid=24266] ppid=24263 vsize=1334852 CPUtime=1800.01 cores=0,2,4,6
/proc/24266/stat : 24266 (toysat) R 24263 24266 23447 0 -1 4202496 274980 0 0 0 179946 55 0 0 20 0 4 0 30616897 1366888448 274706 33554432000 4194304 16246674 140734530567744 140734530549632 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24266/statm: 333713 274706 893 2943 0 330607 0
[pid=24266/tid=24267] ppid=24263 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24267/stat : 24267 (toysat) S 24263 24266 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30616898 1366888448 274706 33554432000 4194304 16246674 140734530567744 140580188302576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24266/tid=24268] ppid=24263 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24268/stat : 24268 (toysat) S 24263 24266 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616898 1366888448 274706 33554432000 4194304 16246674 140734530567744 140580177812720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24266/tid=24269] ppid=24263 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24269/stat : 24269 (toysat) S 24263 24266 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616898 1366888448 274706 33554432000 4194304 16246674 140734530567744 140580167339184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1334852

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

[startup+1800.5 s]
/proc/loadavg: 2.32 2.25 2.19 3/183 24324
/proc/meminfo: memFree=28128660/32872528 swapFree=1541156/1696500
[pid=24266] ppid=24263 vsize=1334852 CPUtime=1800.01 cores=0,2,4,6
/proc/24266/stat : 24266 (toysat) R 24263 24266 23447 0 -1 4202496 274980 0 0 0 179946 55 0 0 20 0 4 0 30616897 1366888448 274706 33554432000 4194304 16246674 140734530567744 140734530549632 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24266/statm: 333713 274706 893 2943 0 330607 0
[pid=24266/tid=24267] ppid=24263 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24267/stat : 24267 (toysat) S 24263 24266 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30616898 1366888448 274706 33554432000 4194304 16246674 140734530567744 140580188302576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24266/tid=24268] ppid=24263 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24268/stat : 24268 (toysat) S 24263 24266 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30616898 1366888448 274706 33554432000 4194304 16246674 140734530567744 140580177812720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24266/tid=24269] ppid=24263 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/24266/task/24269/stat : 24269 (toysat) S 24263 24266 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30616898 1366888448 274706 33554432000 4194304 16246674 140734530567744 140580167339184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1334852

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.47
CPU system time (s): 0.550916
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 1334852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.550916
maximum resident set size= 1098824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274980
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= 331
involuntary context switches= 2018

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5853 second user time and 6.95194 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-26 23:16:22
IDJOB=4116525
IDBENCH=109481
IDSOLVER=2542
FILE ID=node125/4116525-1466975782
RUNJOBID= node125-1466966776-23463
PBS_JOBID= 19976375
Free space on /tmp= 71740 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-0.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116525-1466975782/watcher-4116525-1466975782 -o /tmp/evaluation-result-4116525-1466975782/solver-4116525-1466975782 -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-4116525-1466975782.opb

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

MD5SUM BENCH= c6c7770273574048f55bca555193e5de
RANDOM SEED=1583081618

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:        30325824 kB
Buffers:           46392 kB
Cached:            96784 kB
SwapCached:         1736 kB
Active:            74600 kB
Inactive:          71496 kB
Active(anon):       4728 kB
Inactive(anon):      448 kB
Active(file):      69872 kB
Inactive(file):    71048 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             33404 kB
Writeback:             0 kB
AnonPages:       1698248 kB
Mapped:             6928 kB
Shmem:                 0 kB
Slab:             568288 kB
SReclaimable:      11836 kB
SUnreclaim:       556452 kB
KernelStack:        1416 kB
PageTables:         7204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1793352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 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 23:46:23