Trace number 4116989

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-size128-round23-0.opb
MD5SUM4afa13d1f672d029d1dc624e017e47fc
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 constraints9504
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)416
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-27T00:36:43+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-4116989-1466980602.opb"]
0.00/0.01	c use --random-gen="4243871126 3934395765 1642762385 491923578 3460268426 2521761806 470125167 3899374572 834464742 1422280504 1384581984 2987003367 1574519776 3543194498 701724776 157800331 2766700365 3275480378 2220145991 4293433571 2357482941 3068611019 1034772286 2341123500 2670128939 3627829839 494910373 949295792 554579824 3835754230 1978252307 482017970 769239120 867553494 1694655506 2282685364 3978265179 631230832 683767542 609788215 3435031847 2903203449 896423643 4209885017 4040320367 730103662 1091843503 1862955801 3168946586 3165865879 2256017357 2011194610 2750986880 2430307116 1354002744 603477079 1156866422 3448013094 3802736360 3538713756 2810415765 4133749891 26006130 4274070176 3050334250 2666576255 1128998832 2747316814 629830551 1181267880 3251949949 2817103529 873882628 1649126897 3699456510 382167198 845054392 4168336521 3632948825 3619842300 3792660924 1131868563 2791741288 2684660955 994258599 1654510096 4288755313 786396708 395923807 2579111694 3720404312 3891236985 3796864585 1271940508 4152103380 1513965224 276249021 1145963127 1582959487 3330804370 4007951066 1357836224 2574481920 3849031598 3433258120 1146529722 186766480 2640651843 1105914126 2707587550 2815773412 216467567 2396401065 3104019861 3451568488 1156821852 4144997123 331549984 3352606089 3493633141 2963148840 405854088 1192311779 767505162 2197898612 484336328 7147561 2129104668 3405794957 1033844413 3314564894 2227339011 2962248643 465092360 3642627467 4156380018 498569619 1997744837 515888513 3248639498 1748283407 1310889507 3952597732 3633469403 51649366 3962411021 2637963322 4055381238 1068661943 1513941019 3572782687 3255005800 51424280 63997208 2531150426 1056555764 3083808035 998430921 4268002952 23358820 1980855668 3753936670 4017449389 3041122064 1080741863 3828437348 153581067 1730014757 3876607017 622766303 1455484960 3998273239 3730431155 425349199 3976897926 3184092060 221523269 2246661086 3680230682 99110663 1225650542 2136589196 609986058 2575355911 642039184 4098818384 3798726803 4020499494 2252606348 71121946 3571868594 473063689 3192042074 1648429908 3454589048 485268580 3914630065 1609500423 379791091 3282664234 3978029768 3197723901 3300206139 975755549 600997980 1329792957 3393529867 311745872 586861867 1716237540 2557733140 2817708623 3394604541 417858174 960909520 560255064 562433844 2531514236 3693365547 2070022701 1696512560 358819796 271992701 805152586 4023351479 1423718168 3045447876 3962813348 3876522369 2464810178 197635938 3025857886 3864342934 2460687313 3033939464 1536098217 2621856565 2366301632 1884026455 3020273544 1232967972 1832084246 2957628956 488394518 613827484 662164926 3889826397 2499339846 3190818484 233804745 1845896200 4069798884 479367820 1476662081 1797146236 761569000 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9504
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 |      750 |        0
0.29/0.37	c  0.1s |       1 |     1514 |      100 |     4565      0 |      751 |      684
0.38/0.47	c  0.2s |       2 |     2946 |      250 |     5022      0 |      751 |      684
0.59/0.68	c  0.4s |       3 |     4446 |      475 |     5525      0 |      751 |      684
0.88/0.91	c  0.6s |       4 |     7007 |      813 |     6078      0 |      751 |      684
1.28/1.35	c  1.1s |       5 |     9608 |     1320 |     6686      0 |      751 |      684
2.09/2.19	c  1.9s |       6 |    14350 |     2081 |     8091      0 |      751 |      684
2.79/2.83	c  2.6s |       7 |    20648 |     3223 |     8901      0 |      752 |      684
4.09/4.14	c  3.9s |       8 |    27270 |     4936 |     9792      0 |      752 |      684
6.19/6.23	c  6.0s |       8 |    30243 |     6736 |     9792      0 |      752 |      684
7.29/7.31	c  7.0s |       9 |    31050 |     7506 |    10772      0 |      752 |      684
9.29/9.32	c  9.0s |       9 |    36510 |     9606 |    10772      0 |      752 |      684
11.09/11.20	c 10.9s |      10 |    42226 |    11361 |    11850      0 |      752 |      684
13.19/13.24	c 13.0s |      10 |    47975 |    13361 |    11850      0 |      752 |      684
15.39/15.41	c 15.1s |      10 |    50290 |    14961 |    11850      0 |      752 |      684
17.49/17.53	c 17.3s |      10 |    52515 |    16261 |    11850      1 |      752 |      684
19.19/19.20	c 18.9s |      11 |    53571 |    17144 |    13036      1 |      752 |      684
21.19/21.27	c 21.0s |      11 |    62444 |    19044 |    13036      1 |      752 |      684
23.18/23.29	c 23.0s |      11 |    63869 |    20244 |    13036      1 |      752 |      684
25.28/25.36	c 25.1s |      11 |    64985 |    21244 |    13036      1 |      752 |      684
27.38/27.40	c 27.1s |      11 |    66142 |    22244 |    13036      1 |      752 |      684
29.38/29.46	c 29.2s |      11 |    67534 |    23344 |    13036      1 |      752 |      684
31.68/31.70	c 31.4s |      11 |    68614 |    24244 |    13036      2 |      752 |      684
33.78/33.81	c 33.5s |      11 |    70451 |    25444 |    13036      2 |      752 |      684
34.58/34.60	c 34.3s |      12 |    70881 |    25819 |    14340      2 |      752 |      684
36.59/36.66	c 36.4s |      12 |    83139 |    28719 |    14340      2 |      752 |      684
38.69/38.76	c 38.5s |      12 |    85515 |    30219 |    14340      2 |      752 |      684
40.99/41.01	c 40.7s |      12 |    86887 |    31419 |    14340      2 |      752 |      684
42.98/43.01	c 42.7s |      12 |    88010 |    32419 |    14340      2 |      752 |      684
44.98/45.03	c 44.8s |      12 |    89007 |    33319 |    14340      2 |      752 |      684
47.08/47.15	c 46.9s |      12 |    90078 |    34219 |    14340      3 |      752 |      684
49.18/49.26	c 49.0s |      12 |    91733 |    35419 |    14340      3 |      752 |      684
51.28/51.38	c 51.1s |      12 |    93467 |    36719 |    14340      3 |      752 |      684
53.38/53.40	c 53.1s |      12 |    95537 |    38019 |    14340      3 |      752 |      684
54.88/54.91	c 54.6s |      13 |    96583 |    38832 |    15775      3 |      752 |      684
56.88/56.97	c 56.7s |      13 |   100521 |    40332 |    15775      3 |      752 |      684
59.08/59.11	c 58.8s |      13 |   102296 |    41632 |    15775      3 |      752 |      684
61.18/61.23	c 61.0s |      13 |   104246 |    43032 |    15775      3 |      752 |      684
63.18/63.25	c 63.0s |      13 |   105373 |    43832 |    15775      4 |      752 |      684
65.18/65.28	c 65.0s |      13 |   107135 |    45032 |    15775      4 |      752 |      684
67.28/67.37	c 67.1s |      13 |   108501 |    46132 |    15775      4 |      752 |      684
69.48/69.54	c 69.3s |      13 |   109773 |    47232 |    15775      4 |      752 |      684
71.68/71.74	c 71.5s |      13 |   110625 |    47932 |    15775      4 |      752 |      684
73.68/73.76	c 73.5s |      13 |   111175 |    48432 |    15775      4 |      752 |      684
75.78/75.89	c 75.6s |      13 |   111706 |    48932 |    15775      4 |      752 |      684
77.98/78.07	c 77.8s |      13 |   112240 |    49432 |    15775      4 |      752 |      684
79.97/80.08	c 79.8s |      13 |   112808 |    49932 |    15775      4 |      752 |      684
82.07/82.19	c 81.9s |      13 |   113355 |    50432 |    15775      4 |      752 |      684
84.17/84.26	c 84.0s |      13 |   113908 |    50932 |    15775      4 |      752 |      684
86.37/86.41	c 86.1s |      13 |   114833 |    51732 |    15775      4 |      752 |      684
88.67/88.70	c 88.4s |      13 |   115605 |    52432 |    15775      4 |      752 |      684
90.67/90.76	c 90.5s |      13 |   116244 |    53032 |    15775      4 |      752 |      684
92.87/92.90	c 92.6s |      13 |   116785 |    53532 |    15775      5 |      752 |      684
95.07/95.11	c 94.8s |      13 |   117433 |    54132 |    15775      5 |      752 |      684
97.08/97.13	c 96.9s |      13 |   117984 |    54632 |    15775      5 |      752 |      684
99.18/99.27	c 99.0s |      13 |   118622 |    55232 |    15775      5 |      752 |      684
101.57/101.63	c  101s |      13 |   119382 |    55932 |    15775      5 |      752 |      684
103.77/103.89	c  103s |      13 |   120012 |    56532 |    15775      5 |      752 |      684
106.07/106.10	c  105s |      13 |   120545 |    57032 |    15775      5 |      752 |      684
108.08/108.12	c  107s |      13 |   121246 |    57632 |    15775      5 |      752 |      684
110.07/110.18	c  109s |      13 |   122053 |    58332 |    17353      5 |      752 |      684
110.17/110.25	c  109s |      14 |   122078 |    58352 |    17353      5 |      752 |      684
112.17/112.28	c  111s |      14 |   136307 |    61152 |    17353      5 |      752 |      684
114.27/114.38	c  114s |      14 |   140753 |    63152 |    17353      5 |      752 |      684
116.47/116.55	c  116s |      14 |   142567 |    64452 |    17353      6 |      752 |      684
118.57/118.63	c  118s |      14 |   144263 |    65752 |    17353      6 |      752 |      684
120.67/120.76	c  120s |      14 |   146124 |    67052 |    17353      6 |      752 |      684
122.97/123.01	c  122s |      14 |   147411 |    68052 |    17353      6 |      752 |      684
125.07/125.15	c  124s |      14 |   150205 |    69452 |    17353      6 |      752 |      684
127.16/127.27	c  126s |      14 |   152275 |    70752 |    17353      6 |      752 |      684
129.36/129.40	c  129s |      14 |   153649 |    71852 |    17353      6 |      752 |      684
131.56/131.63	c  131s |      14 |   154894 |    72852 |    17353      6 |      752 |      684
133.66/133.79	c  133s |      14 |   156299 |    73952 |    17353      6 |      752 |      684
135.86/135.95	c  135s |      14 |   157295 |    74752 |    17353      7 |      752 |      684
137.86/137.99	c  137s |      14 |   158269 |    75552 |    17353      7 |      752 |      684
140.16/140.23	c  139s |      14 |   159220 |    76352 |    17353      7 |      752 |      684
142.26/142.30	c  142s |      14 |   160175 |    77152 |    17353      7 |      752 |      684
144.37/144.44	c  144s |      14 |   161281 |    78052 |    17353      7 |      752 |      684
146.47/146.57	c  146s |      14 |   162217 |    78852 |    17353      7 |      752 |      684
148.67/148.77	c  148s |      14 |   163195 |    79652 |    17353      7 |      752 |      684
150.97/151.02	c  150s |      14 |   164035 |    80352 |    17353      7 |      752 |      684
153.17/153.27	c  152s |      14 |   164836 |    81052 |    17353      7 |      752 |      684
155.38/155.41	c  155s |      14 |   165660 |    81752 |    17353      7 |      752 |      684
157.48/157.51	c  157s |      14 |   166329 |    82352 |    17353      7 |      752 |      684
159.57/159.66	c  159s |      14 |   167006 |    82952 |    17353      7 |      752 |      684
161.67/161.78	c  161s |      14 |   167673 |    83552 |    17353      7 |      752 |      684
164.27/164.33	c  164s |      14 |   168802 |    84252 |    17353      8 |      752 |      684
166.27/166.33	c  166s |      14 |   171742 |    85552 |    17353      8 |      752 |      684
168.37/168.44	c  168s |      14 |   173303 |    86652 |    17353      8 |      752 |      684
170.37/170.46	c  170s |      14 |   174455 |    87552 |    19089      8 |      752 |      684
170.57/170.63	c  170s |      15 |   174565 |    87632 |    19089      8 |      752 |      684
172.56/172.65	c  172s |      15 |   178853 |    89532 |    19089      8 |      752 |      684
174.66/174.73	c  174s |      15 |   181412 |    91132 |    19089      8 |      752 |      684
176.76/176.80	c  176s |      15 |   183890 |    92832 |    19089      8 |      752 |      684
178.76/178.82	c  178s |      15 |   185770 |    94432 |    19089      8 |      752 |      684
180.76/180.88	c  180s |      15 |   187691 |    96032 |    19089      8 |      752 |      684
182.87/182.95	c  182s |      15 |   188963 |    97132 |    19089      9 |      752 |      684
184.97/185.03	c  184s |      15 |   190606 |    98532 |    19089      9 |      752 |      684
187.06/187.18	c  186s |      15 |   192242 |    99932 |    19089      9 |      752 |      684
189.26/189.30	c  189s |      15 |   193659 |   101132 |    19089      9 |      752 |      684
191.26/191.39	c  191s |      15 |   195008 |   102332 |    19089      9 |      752 |      684
193.36/193.46	c  193s |      15 |   196100 |   103332 |    19089      9 |      752 |      684
195.36/195.47	c  195s |      15 |   197409 |   104432 |    19089      9 |      752 |      684
197.56/197.68	c  197s |      15 |   198417 |   105332 |    19089      9 |      752 |      684
199.86/199.92	c  199s |      15 |   199290 |   106132 |    19089      9 |      752 |      684
202.06/202.12	c  201s |      15 |   200321 |   107032 |    19089      9 |      752 |      684
204.16/204.26	c  203s |      15 |   201081 |   107732 |    19089     10 |      752 |      684
206.25/206.37	c  206s |      15 |   201971 |   108532 |    19089     10 |      752 |      684
208.35/208.46	c  208s |      15 |   202723 |   109232 |    19089     10 |      752 |      684
210.36/210.47	c  210s |      15 |   203463 |   109932 |    19089     10 |      752 |      684
212.56/212.62	c  212s |      15 |   204218 |   110632 |    19089     10 |      752 |      684
214.55/214.62	c  214s |      15 |   204864 |   111232 |    19089     10 |      752 |      684
216.65/216.70	c  216s |      15 |   205644 |   111932 |    19089     10 |      752 |      684
218.65/218.75	c  218s |      15 |   206710 |   112832 |    19089     10 |      752 |      684
220.95/221.03	c  220s |      15 |   207596 |   113632 |    19089     10 |      752 |      684
223.05/223.19	c  222s |      15 |   208377 |   114332 |    19089     10 |      752 |      684
225.15/225.23	c  224s |      15 |   209159 |   115032 |    19089     10 |      752 |      684
227.25/227.37	c  227s |      15 |   210065 |   115832 |    19089     10 |      752 |      684
229.55/229.60	c  229s |      15 |   210951 |   116632 |    19089     10 |      752 |      684
231.65/231.75	c  231s |      15 |   211707 |   117332 |    19089     10 |      752 |      684
233.75/233.83	c  233s |      15 |   212498 |   118032 |    19089     10 |      752 |      684
235.95/236.05	c  235s |      15 |   213175 |   118632 |    19089     11 |      752 |      684
238.05/238.11	c  237s |      15 |   214174 |   119532 |    19089     11 |      752 |      684
240.06/240.13	c  239s |      15 |   215182 |   120432 |    19089     11 |      752 |      684
242.06/242.19	c  241s |      15 |   216215 |   121332 |    19089     11 |      752 |      684
244.26/244.33	c  244s |      15 |   217194 |   122232 |    19089     11 |      752 |      684
246.36/246.45	c  246s |      15 |   218068 |   123032 |    19089     11 |      752 |      684
248.56/248.61	c  248s |      15 |   219053 |   123932 |    19089     11 |      752 |      684
250.65/250.76	c  250s |      15 |   219939 |   124732 |    19089     11 |      752 |      684
252.85/252.95	c  252s |      15 |   220804 |   125532 |    19089     11 |      752 |      684
254.95/255.09	c  254s |      15 |   221572 |   126232 |    19089     11 |      752 |      684
257.05/257.13	c  256s |      15 |   222852 |   127032 |    19089     11 |      752 |      684
259.05/259.16	c  258s |      15 |   226921 |   128632 |    19089     11 |      752 |      684
261.35/261.42	c  261s |      15 |   228580 |   129932 |    19089     12 |      752 |      684
263.35/263.43	c  263s |      15 |   230247 |   131132 |    20998     12 |      752 |      684
263.95/264.05	c  263s |      16 |   230819 |   131552 |    20998     12 |      752 |      684
266.05/266.12	c  265s |      16 |   235792 |   132952 |    20998     12 |      752 |      684
268.05/268.15	c  267s |      16 |   243322 |   134852 |    20998     12 |      752 |      684
270.14/270.21	c  269s |      16 |   250114 |   137152 |    20998     12 |      752 |      684
272.14/272.26	c  271s |      16 |   252840 |   138852 |    20998     12 |      752 |      684
274.24/274.36	c  274s |      16 |   254532 |   140152 |    20998     12 |      752 |      684
276.44/276.51	c  276s |      16 |   256322 |   141452 |    20998     12 |      752 |      684
278.55/278.64	c  278s |      16 |   257702 |   142552 |    20998     12 |      752 |      684
280.65/280.75	c  280s |      16 |   258528 |   143252 |    20998     13 |      752 |      684
282.85/282.95	c  282s |      16 |   259618 |   144152 |    20998     13 |      752 |      684
285.15/285.26	c  284s |      16 |   260797 |   145052 |    20998     13 |      752 |      684
287.14/287.29	c  287s |      16 |   261721 |   145852 |    20998     13 |      752 |      684
289.24/289.36	c  289s |      16 |   263079 |   146752 |    20998     13 |      752 |      684
291.53/291.60	c  291s |      16 |   264378 |   147652 |    20998     13 |      752 |      684
293.73/293.82	c  293s |      16 |   265221 |   148352 |    20998     13 |      752 |      684
295.83/295.92	c  295s |      16 |   265940 |   148952 |    20998     13 |      752 |      684
297.93/298.06	c  297s |      16 |   266815 |   149652 |    20998     13 |      752 |      684
300.23/300.31	c  300s |      16 |   267658 |   150352 |    20998     13 |      752 |      684
302.53/302.64	c  302s |      16 |   268363 |   150952 |    20998     13 |      752 |      684
304.84/304.92	c  304s |      16 |   269171 |   151652 |    20998     13 |      752 |      684
307.14/307.25	c  306s |      16 |   269866 |   152252 |    20998     13 |      752 |      684
309.24/309.35	c  309s |      16 |   270412 |   152752 |    20998     13 |      752 |      684
311.73/311.86	c  311s |      16 |   271104 |   153352 |    20998     13 |      752 |      684
313.93/314.00	c  313s |      16 |   271787 |   153952 |    20998     13 |      752 |      684
315.93/316.05	c  315s |      16 |   272326 |   154452 |    20998     13 |      752 |      684
318.23/318.38	c  318s |      16 |   273035 |   155052 |    20998     13 |      752 |      684
320.23/320.38	c  320s |      16 |   273463 |   155452 |    20998     14 |      752 |      684
322.33/322.41	c  322s |      16 |   274293 |   156152 |    20998     14 |      752 |      684
324.42/324.50	c  324s |      16 |   275050 |   156752 |    20998     14 |      752 |      684
326.52/326.69	c  326s |      16 |   275632 |   157252 |    20998     14 |      752 |      684
328.62/328.73	c  328s |      16 |   276254 |   157752 |    20998     14 |      752 |      684
331.02/331.10	c  330s |      16 |   276844 |   158252 |    20998     14 |      752 |      684
333.32/333.45	c  333s |      16 |   277284 |   158652 |    20998     14 |      752 |      684
335.52/335.67	c  335s |      16 |   277860 |   159152 |    20998     14 |      752 |      684
337.93/338.09	c  337s |      16 |   278395 |   159652 |    20998     14 |      752 |      684
340.03/340.20	c  339s |      16 |   278992 |   160152 |    20998     14 |      752 |      684
342.52/342.64	c  342s |      16 |   279550 |   160652 |    20998     14 |      752 |      684
344.53/344.66	c  344s |      16 |   280005 |   161052 |    20998     14 |      752 |      684
346.74/346.90	c  346s |      16 |   280560 |   161552 |    20998     14 |      752 |      684
348.84/348.95	c  348s |      16 |   280974 |   161952 |    20998     14 |      752 |      684
351.13/351.28	c  351s |      16 |   281550 |   162452 |    20998     14 |      752 |      684
353.43/353.52	c  353s |      16 |   282115 |   162952 |    20998     14 |      752 |      684
355.82/355.90	c  355s |      16 |   282672 |   163452 |    20998     14 |      752 |      684
358.02/358.10	c  357s |      16 |   283109 |   163852 |    20998     14 |      752 |      684
360.32/360.49	c  360s |      16 |   283659 |   164352 |    20998     14 |      752 |      684
362.62/362.71	c  362s |      16 |   284111 |   164752 |    20998     14 |      752 |      684
364.92/365.05	c  364s |      16 |   284541 |   165152 |    20998     14 |      752 |      684
367.22/367.35	c  367s |      16 |   285000 |   165552 |    20998     14 |      752 |      684
369.51/369.65	c  369s |      16 |   285439 |   165952 |    20998     14 |      752 |      684
371.71/371.88	c  371s |      16 |   286015 |   166452 |    20998     14 |      752 |      684
373.81/373.95	c  373s |      16 |   287225 |   167152 |    20998     14 |      752 |      684
376.01/376.14	c  375s |      16 |   288066 |   167752 |    20998     15 |      752 |      684
378.11/378.25	c  377s |      16 |   289252 |   168652 |    20998     15 |      752 |      684
380.11/380.26	c  379s |      16 |   290194 |   169352 |    20998     15 |      752 |      684
382.21/382.38	c  382s |      16 |   291105 |   170052 |    20998     15 |      752 |      684
384.31/384.41	c  384s |      16 |   291876 |   170652 |    20998     15 |      752 |      684
386.61/386.74	c  386s |      16 |   292604 |   171252 |    20998     15 |      752 |      684
388.71/388.87	c  388s |      16 |   293374 |   171852 |    20998     15 |      752 |      684
390.81/390.99	c  390s |      16 |   294006 |   172352 |    20998     15 |      752 |      684
392.81/393.00	c  392s |      16 |   294781 |   172952 |    20998     15 |      752 |      684
395.11/395.25	c  394s |      16 |   295508 |   173552 |    20998     15 |      752 |      684
397.21/397.39	c  397s |      16 |   296186 |   174152 |    20998     15 |      752 |      684
399.31/399.47	c  399s |      16 |   296801 |   174652 |    20998     15 |      752 |      684
401.50/401.62	c  401s |      16 |   297545 |   175252 |    20998     15 |      752 |      684
403.60/403.72	c  403s |      16 |   298291 |   175852 |    20998     15 |      752 |      684
405.70/405.83	c  405s |      16 |   298889 |   176352 |    20998     15 |      752 |      684
407.90/408.07	c  407s |      16 |   299594 |   176952 |    20998     15 |      752 |      684
410.10/410.28	c  409s |      16 |   300216 |   177452 |    20998     15 |      752 |      684
412.30/412.49	c  412s |      16 |   300806 |   177952 |    20998     15 |      752 |      684
414.49/414.61	c  414s |      16 |   301385 |   178452 |    20998     15 |      752 |      684
416.59/416.76	c  416s |      16 |   301990 |   178952 |    20998     15 |      752 |      684
418.69/418.81	c  418s |      16 |   302460 |   179352 |    20998     15 |      752 |      684
420.89/421.05	c  420s |      16 |   302906 |   179752 |    20998     16 |      752 |      684
422.89/423.07	c  422s |      16 |   303664 |   180352 |    20998     16 |      752 |      684
424.99/425.10	c  424s |      16 |   304370 |   180952 |    20998     16 |      752 |      684
427.19/427.34	c  427s |      16 |   305179 |   181652 |    20998     16 |      752 |      684
429.39/429.55	c  429s |      16 |   305935 |   182252 |    20998     16 |      752 |      684
431.49/431.61	c  431s |      16 |   306586 |   182852 |    20998     16 |      752 |      684
433.69/433.83	c  433s |      16 |   307291 |   183452 |    20998     16 |      752 |      684
435.89/436.01	c  435s |      16 |   308124 |   184152 |    20998     16 |      752 |      684
437.99/438.10	c  437s |      16 |   308808 |   184752 |    20998     16 |      752 |      684
439.99/440.18	c  439s |      16 |   309508 |   185352 |    20998     16 |      752 |      684
442.09/442.21	c  441s |      16 |   310099 |   185852 |    20998     16 |      752 |      684
444.09/444.29	c  444s |      16 |   310675 |   186352 |    20998     16 |      752 |      684
446.29/446.46	c  446s |      16 |   311226 |   186852 |    20998     16 |      752 |      684
448.68/448.80	c  448s |      16 |   311775 |   187352 |    20998     16 |      752 |      684
450.68/450.83	c  450s |      16 |   312196 |   187752 |    20998     16 |      752 |      684
452.98/453.19	c  452s |      16 |   312779 |   188252 |    20998     16 |      752 |      684
455.28/455.47	c  455s |      16 |   313329 |   188752 |    20998     16 |      752 |      684
457.58/457.79	c  457s |      16 |   313891 |   189252 |    20998     16 |      752 |      684
459.99/460.11	c  459s |      16 |   314487 |   189752 |    20998     16 |      752 |      684
462.28/462.42	c  462s |      16 |   315171 |   190352 |    20998     16 |      752 |      684
464.29/464.49	c  464s |      16 |   315741 |   190852 |    20998     16 |      752 |      684
466.38/466.55	c  466s |      16 |   316321 |   191352 |    20998     16 |      752 |      684
468.69/468.84	c  468s |      16 |   316765 |   191752 |    20998     17 |      752 |      684
470.88/471.10	c  470s |      16 |   317452 |   192352 |    20998     17 |      752 |      684
473.18/473.39	c  473s |      16 |   318109 |   192952 |    20998     17 |      752 |      684
475.38/475.57	c  475s |      16 |   318918 |   193652 |    20998     17 |      752 |      684
477.48/477.63	c  477s |      16 |   319608 |   194252 |    20998     17 |      752 |      684
479.57/479.77	c  479s |      16 |   320296 |   194852 |    20998     17 |      752 |      684
481.88/482.02	c  481s |      16 |   321119 |   195552 |    20998     17 |      752 |      684
483.97/484.12	c  483s |      16 |   321695 |   196052 |    20998     17 |      752 |      684
486.07/486.23	c  485s |      16 |   322239 |   196552 |    23098     17 |      752 |      684
488.37/488.56	c  488s |      16 |   322782 |   197052 |    23098     17 |      752 |      684
490.07/490.23	c  489s |      17 |   323205 |   197432 |    23098     17 |      752 |      684
492.17/492.34	c  492s |      17 |   326641 |   198832 |    23098     17 |      752 |      684
494.27/494.46	c  494s |      17 |   328594 |   200332 |    23098     17 |      752 |      684
496.28/496.48	c  496s |      17 |   336537 |   202932 |    23098     17 |      752 |      684
498.38/498.58	c  498s |      17 |   342770 |   205032 |    23098     17 |      752 |      684
500.57/500.75	c  500s |      17 |   343824 |   205832 |    23098     18 |      752 |      684
502.66/502.80	c  502s |      17 |   345535 |   207032 |    23098     18 |      752 |      684
504.76/504.93	c  504s |      17 |   346955 |   208132 |    23098     18 |      752 |      684
506.86/507.08	c  506s |      17 |   348525 |   209332 |    23098     18 |      752 |      684
509.26/509.45	c  509s |      17 |   349164 |   209932 |    23098     18 |      752 |      684
511.36/511.53	c  511s |      17 |   349823 |   210532 |    23098     18 |      752 |      684
513.36/513.53	c  513s |      17 |   350967 |   211432 |    23098     18 |      752 |      684
515.36/515.54	c  515s |      17 |   352106 |   212332 |    23098     18 |      752 |      684
517.56/517.79	c  517s |      17 |   353193 |   213232 |    23098     18 |      752 |      684
519.66/519.83	c  519s |      17 |   354140 |   214032 |    23098     18 |      752 |      684
521.75/521.96	c  521s |      17 |   355092 |   214832 |    23098     18 |      752 |      684
523.95/524.10	c  523s |      17 |   356037 |   215632 |    23098     18 |      752 |      684
525.96/526.12	c  525s |      17 |   356874 |   216332 |    23098     18 |      752 |      684
527.95/528.18	c  527s |      17 |   357679 |   217032 |    23098     18 |      752 |      684
530.15/530.39	c  530s |      17 |   358481 |   217732 |    23098     18 |      752 |      684
532.25/532.42	c  532s |      17 |   359130 |   218332 |    23098     18 |      752 |      684
534.25/534.49	c  534s |      17 |   359790 |   218932 |    23098     18 |      752 |      684
536.55/536.78	c  536s |      17 |   360473 |   219532 |    23098     19 |      752 |      684
538.75/538.95	c  538s |      17 |   361286 |   220232 |    23098     19 |      752 |      684
540.84/541.03	c  540s |      17 |   362109 |   220932 |    23098     19 |      752 |      684
543.04/543.24	c  542s |      17 |   362897 |   221632 |    23098     19 |      752 |      684
545.34/545.52	c  545s |      17 |   363719 |   222332 |    23098     19 |      752 |      684
547.44/547.69	c  547s |      17 |   364400 |   222932 |    23098     19 |      752 |      684
549.74/549.99	c  549s |      17 |   365067 |   223532 |    23098     19 |      752 |      684
552.25/552.44	c  552s |      17 |   365726 |   224132 |    23098     19 |      752 |      684
554.34/554.56	c  554s |      17 |   366504 |   224732 |    23098     19 |      752 |      684
556.44/556.60	c  556s |      17 |   367198 |   225332 |    23098     19 |      752 |      684
558.64/558.86	c  558s |      17 |   368034 |   226032 |    23098     19 |      752 |      684
560.94/561.12	c  560s |      17 |   368840 |   226732 |    23098     19 |      752 |      684
563.24/563.44	c  563s |      17 |   369526 |   227332 |    23098     19 |      752 |      684
565.54/565.77	c  565s |      17 |   370215 |   227932 |    23098     19 |      752 |      684
567.64/567.84	c  567s |      17 |   370804 |   228432 |    23098     19 |      752 |      684
569.64/569.88	c  569s |      17 |   371585 |   229032 |    23098     19 |      752 |      684
572.04/572.23	c  571s |      17 |   372315 |   229632 |    23098     19 |      752 |      684
574.34/574.54	c  574s |      17 |   372892 |   230132 |    23098     19 |      752 |      684
576.44/576.64	c  576s |      17 |   373510 |   230632 |    23098     19 |      752 |      684
578.74/578.94	c  578s |      17 |   374253 |   231232 |    23098     19 |      752 |      684
580.94/581.19	c  580s |      17 |   374800 |   231732 |    23098     19 |      752 |      684
583.23/583.40	c  583s |      17 |   375242 |   232132 |    23098     20 |      752 |      684
585.43/585.65	c  585s |      17 |   376043 |   232832 |    23098     20 |      752 |      684
587.73/587.94	c  587s |      17 |   376816 |   233532 |    23098     20 |      752 |      684
589.93/590.19	c  589s |      17 |   377596 |   234232 |    23098     20 |      752 |      684
592.23/592.49	c  592s |      17 |   378374 |   234932 |    23098     20 |      752 |      684
594.33/594.53	c  594s |      17 |   379037 |   235532 |    23098     20 |      752 |      684
596.53/596.77	c  596s |      17 |   379708 |   236132 |    23098     20 |      752 |      684
598.83/599.04	c  598s |      17 |   380367 |   236732 |    23098     20 |      752 |      684
601.03/601.26	c  600s |      17 |   381017 |   237332 |    23098     20 |      752 |      684
603.23/603.42	c  603s |      17 |   381667 |   237932 |    23098     20 |      752 |      684
605.43/605.67	c  605s |      17 |   382333 |   238532 |    23098     20 |      752 |      684
607.63/607.87	c  607s |      17 |   383016 |   239132 |    23098     20 |      752 |      684
609.63/609.88	c  609s |      17 |   383567 |   239632 |    23098     20 |      752 |      684
611.92/612.11	c  611s |      17 |   384105 |   240132 |    23098     20 |      752 |      684
614.12/614.37	c  614s |      17 |   384655 |   240632 |    23098     20 |      752 |      684
616.32/616.52	c  616s |      17 |   385188 |   241132 |    23098     20 |      752 |      684
618.33/618.52	c  618s |      17 |   385721 |   241632 |    23098     20 |      752 |      684
620.62/620.87	c  620s |      17 |   386275 |   242132 |    23098     20 |      752 |      684
622.82/623.06	c  622s |      17 |   386808 |   242632 |    23098     20 |      752 |      684
625.12/625.31	c  625s |      17 |   387346 |   243132 |    23098     20 |      752 |      684
627.32/627.59	c  627s |      17 |   387894 |   243632 |    23098     20 |      752 |      684
629.42/629.68	c  629s |      17 |   388449 |   244132 |    23098     20 |      752 |      684
631.71/631.99	c  631s |      17 |   388991 |   244632 |    23098     20 |      752 |      684
634.01/634.25	c  633s |      17 |   389409 |   245032 |    23098     20 |      752 |      684
636.11/636.33	c  636s |      17 |   389726 |   245332 |    23098     21 |      752 |      684
638.31/638.57	c  638s |      17 |   390506 |   246032 |    23098     21 |      752 |      684
640.41/640.64	c  640s |      17 |   391157 |   246632 |    23098     21 |      752 |      684
642.61/642.89	c  642s |      17 |   391802 |   247232 |    23098     21 |      752 |      684
645.01/645.25	c  644s |      17 |   392443 |   247832 |    23098     21 |      752 |      684
647.11/647.37	c  647s |      17 |   393117 |   248432 |    23098     21 |      752 |      684
649.52/649.76	c  649s |      17 |   393905 |   249132 |    23098     21 |      752 |      684
651.91/652.12	c  651s |      17 |   394560 |   249732 |    23098     21 |      752 |      684
654.21/654.44	c  654s |      17 |   395227 |   250332 |    23098     21 |      752 |      684
656.31/656.57	c  656s |      17 |   395776 |   250832 |    23098     21 |      752 |      684
658.71/658.94	c  658s |      17 |   396476 |   251432 |    23098     21 |      752 |      684
661.11/661.30	c  661s |      17 |   397146 |   252032 |    23098     21 |      752 |      684
663.31/663.58	c  663s |      17 |   397688 |   252532 |    23098     21 |      752 |      684
665.80/666.07	c  665s |      17 |   398238 |   253032 |    23098     21 |      752 |      684
668.20/668.44	c  668s |      17 |   398780 |   253532 |    23098     21 |      752 |      684
670.20/670.46	c  670s |      17 |   399205 |   253932 |    23098     21 |      752 |      684
672.60/672.80	c  672s |      17 |   399627 |   254332 |    23098     21 |      752 |      684
674.60/674.81	c  674s |      17 |   400063 |   254732 |    23098     21 |      752 |      684
676.90/677.16	c  676s |      17 |   400613 |   255232 |    23098     21 |      752 |      684
679.20/679.41	c  679s |      17 |   401166 |   255732 |    23098     21 |      752 |      684
681.59/681.86	c  681s |      17 |   401704 |   256232 |    23098     21 |      752 |      684
683.79/684.09	c  683s |      17 |   402138 |   256632 |    23098     21 |      752 |      684
685.99/686.27	c  685s |      17 |   402573 |   257032 |    23098     21 |      752 |      684
688.09/688.34	c  688s |      17 |   402989 |   257432 |    23098     21 |      752 |      684
690.29/690.54	c  690s |      17 |   403421 |   257832 |    23098     21 |      752 |      684
692.59/692.86	c  692s |      17 |   403856 |   258232 |    23098     21 |      752 |      684
694.69/694.91	c  694s |      17 |   404171 |   258532 |    23098     22 |      752 |      684
696.89/697.16	c  696s |      17 |   404693 |   259032 |    23098     22 |      752 |      684
699.28/699.55	c  699s |      17 |   405344 |   259632 |    23098     22 |      752 |      684
701.48/701.74	c  701s |      17 |   405889 |   260132 |    23098     22 |      752 |      684
703.68/703.97	c  703s |      17 |   406442 |   260632 |    23098     22 |      752 |      684
705.98/706.21	c  705s |      17 |   406978 |   261132 |    23098     22 |      752 |      684
708.18/708.48	c  708s |      17 |   407532 |   261632 |    23098     22 |      752 |      684
710.68/710.92	c  710s |      17 |   408048 |   262132 |    23098     22 |      752 |      684
712.98/713.26	c  712s |      17 |   408591 |   262632 |    23098     22 |      752 |      684
715.38/715.69	c  715s |      17 |   409140 |   263132 |    23098     22 |      752 |      684
717.87/718.13	c  717s |      17 |   409688 |   263632 |    23098     22 |      752 |      684
719.97/720.20	c  719s |      17 |   410113 |   264032 |    23098     22 |      752 |      684
722.27/722.50	c  722s |      17 |   410805 |   264632 |    23098     22 |      752 |      684
724.57/724.80	c  724s |      17 |   411516 |   265232 |    23098     22 |      752 |      684
726.87/727.15	c  726s |      17 |   412204 |   265832 |    23098     22 |      752 |      684
728.97/729.25	c  728s |      17 |   412725 |   266332 |    23098     22 |      752 |      684
731.26/731.58	c  731s |      17 |   413278 |   266832 |    23098     22 |      752 |      684
733.56/733.80	c  733s |      17 |   413845 |   267332 |    23098     22 |      752 |      684
735.66/735.90	c  735s |      17 |   414281 |   267732 |    23098     22 |      752 |      684
737.66/737.92	c  737s |      17 |   414725 |   268132 |    23098     22 |      752 |      684
740.05/740.31	c  740s |      17 |   415287 |   268632 |    23098     22 |      752 |      684
742.05/742.35	c  742s |      17 |   415727 |   269032 |    23098     22 |      752 |      684
744.15/744.45	c  744s |      17 |   416149 |   269432 |    23098     22 |      752 |      684
746.25/746.55	c  746s |      17 |   416600 |   269832 |    23098     22 |      752 |      684
748.45/748.70	c  748s |      17 |   417036 |   270232 |    23098     22 |      752 |      684
750.44/750.76	c  750s |      17 |   417480 |   270632 |    23098     22 |      752 |      684
752.84/753.18	c  752s |      17 |   417900 |   271032 |    23098     22 |      752 |      684
754.84/755.20	c  754s |      17 |   418345 |   271432 |    23098     22 |      752 |      684
757.04/757.37	c  757s |      17 |   418665 |   271732 |    23098     23 |      752 |      684
759.14/759.41	c  759s |      17 |   419225 |   272232 |    23098     23 |      752 |      684
761.44/761.71	c  761s |      17 |   419754 |   272732 |    23098     23 |      752 |      684
763.64/763.98	c  763s |      17 |   420276 |   273232 |    23098     23 |      752 |      684
766.04/766.30	c  766s |      17 |   420840 |   273732 |    23098     23 |      752 |      684
768.34/768.60	c  768s |      17 |   421387 |   274232 |    23098     23 |      752 |      684
770.43/770.77	c  770s |      17 |   421924 |   274732 |    23098     23 |      752 |      684
772.63/772.96	c  772s |      17 |   422474 |   275232 |    23098     23 |      752 |      684
775.03/775.30	c  775s |      17 |   423019 |   275732 |    23098     23 |      752 |      684
777.23/777.57	c  777s |      17 |   423584 |   276232 |    23098     23 |      752 |      684
779.33/779.61	c  779s |      17 |   424009 |   276632 |    23098     23 |      752 |      684
781.52/781.87	c  781s |      17 |   424426 |   277032 |    23098     23 |      752 |      684
783.92/784.24	c  783s |      17 |   424978 |   277532 |    23098     23 |      752 |      684
786.02/786.31	c  786s |      17 |   425412 |   277932 |    23098     23 |      752 |      684
788.12/788.45	c  788s |      17 |   425854 |   278332 |    23098     23 |      752 |      684
790.32/790.67	c  790s |      17 |   426808 |   279032 |    23098     23 |      752 |      684
792.62/792.91	c  792s |      17 |   427652 |   279732 |    23098     23 |      752 |      684
794.62/794.94	c  794s |      17 |   428342 |   280332 |    23098     23 |      752 |      684
797.11/797.42	c  797s |      17 |   429038 |   280932 |    23098     23 |      752 |      684
799.11/799.46	c  799s |      17 |   429648 |   281432 |    23098     23 |      752 |      684
801.31/801.69	c  801s |      17 |   430237 |   281932 |    23098     23 |      752 |      684
803.51/803.85	c  803s |      17 |   430823 |   282432 |    23098     23 |      752 |      684
805.51/805.88	c  805s |      17 |   431382 |   282932 |    23098     23 |      752 |      684
807.81/808.14	c  807s |      17 |   432114 |   283532 |    23098     23 |      752 |      684
810.00/810.33	c  810s |      17 |   432684 |   284032 |    23098     23 |      752 |      684
812.10/812.41	c  812s |      17 |   433247 |   284532 |    23098     23 |      752 |      684
814.40/814.70	c  814s |      17 |   433824 |   285032 |    23098     24 |      752 |      684
816.50/816.80	c  816s |      17 |   434525 |   285632 |    23098     24 |      752 |      684
818.60/818.90	c  818s |      17 |   435197 |   286232 |    23098     24 |      752 |      684
820.89/821.20	c  820s |      17 |   435891 |   286832 |    23098     24 |      752 |      684
822.89/823.28	c  823s |      17 |   436591 |   287432 |    23098     24 |      752 |      684
825.09/825.43	c  825s |      17 |   437282 |   288032 |    23098     24 |      752 |      684
827.20/827.56	c  827s |      17 |   437943 |   288632 |    23098     24 |      752 |      684
829.59/829.98	c  829s |      17 |   438612 |   289232 |    23098     24 |      752 |      684
831.69/832.08	c  831s |      17 |   439173 |   289732 |    23098     24 |      752 |      684
833.89/834.27	c  833s |      17 |   439876 |   290332 |    23098     24 |      752 |      684
836.19/836.59	c  836s |      17 |   440553 |   290932 |    23098     24 |      752 |      684
838.49/838.81	c  838s |      17 |   441105 |   291432 |    23098     24 |      752 |      684
840.79/841.10	c  840s |      17 |   441665 |   291932 |    23098     24 |      752 |      684
843.09/843.41	c  843s |      17 |   442239 |   292432 |    23098     24 |      752 |      684
845.09/845.47	c  845s |      17 |   442681 |   292832 |    23098     24 |      752 |      684
847.39/847.76	c  847s |      17 |   443284 |   293332 |    23098     24 |      752 |      684
849.59/849.95	c  849s |      17 |   443862 |   293832 |    23098     24 |      752 |      684
851.68/852.05	c  851s |      17 |   444472 |   294332 |    25408     24 |      752 |      684
853.98/854.36	c  854s |      17 |   445046 |   294832 |    25408     24 |      752 |      684
856.18/856.57	c  856s |      17 |   445606 |   295332 |    25408     24 |      752 |      684
858.48/858.84	c  858s |      17 |   446181 |   295832 |    25408     24 |      752 |      684
860.28/860.67	c  860s |      18 |   446653 |   296252 |    25408     24 |      752 |      684
862.38/862.78	c  862s |      18 |   451039 |   297352 |    25408     24 |      752 |      684
864.48/864.86	c  864s |      18 |   452897 |   298652 |    25408     24 |      752 |      684
866.68/867.06	c  866s |      18 |   453932 |   299552 |    25408     24 |      752 |      684
868.67/869.07	c  868s |      18 |   455149 |   300352 |    25408     25 |      752 |      684
870.77/871.17	c  870s |      18 |   456482 |   301452 |    25408     25 |      752 |      684
872.87/873.27	c  872s |      18 |   457609 |   302452 |    25408     25 |      752 |      684
875.07/875.48	c  875s |      18 |   458586 |   303352 |    25408     25 |      752 |      684
877.17/877.50	c  877s |      18 |   459599 |   304252 |    25408     25 |      752 |      684
879.27/879.62	c  879s |      18 |   460450 |   305052 |    25408     25 |      752 |      684
881.36/881.74	c  881s |      18 |   461211 |   305752 |    25408     25 |      752 |      684
883.56/883.95	c  883s |      18 |   462077 |   306552 |    25408     25 |      752 |      684
885.86/886.22	c  885s |      18 |   462963 |   307352 |    25408     25 |      752 |      684
887.86/888.24	c  887s |      18 |   463626 |   307952 |    25408     25 |      752 |      684
890.05/890.47	c  890s |      18 |   464406 |   308652 |    25408     25 |      752 |      684
892.25/892.62	c  892s |      18 |   465052 |   309252 |    25408     25 |      752 |      684
894.45/894.86	c  894s |      18 |   465733 |   309852 |    25408     25 |      752 |      684
896.65/897.06	c  896s |      18 |   466392 |   310452 |    25408     25 |      752 |      684
898.75/899.11	c  898s |      18 |   467033 |   311052 |    25408     25 |      752 |      684
900.94/901.38	c  901s |      18 |   467694 |   311652 |    25408     25 |      752 |      684
903.34/903.76	c  903s |      18 |   468358 |   312252 |    25408     25 |      752 |      684
905.54/905.98	c  905s |      18 |   468900 |   312752 |    25408     25 |      752 |      684
907.74/908.17	c  907s |      18 |   469436 |   313252 |    25408     25 |      752 |      684
910.23/910.63	c  910s |      18 |   470072 |   313852 |    25408     25 |      752 |      684
912.43/912.89	c  912s |      18 |   470655 |   314352 |    25408     26 |      752 |      684
914.53/914.92	c  914s |      18 |   471436 |   314952 |    25408     26 |      752 |      684
917.03/917.41	c  917s |      18 |   471950 |   315452 |    25408     26 |      752 |      684
919.23/919.64	c  919s |      18 |   472489 |   315952 |    25408     26 |      752 |      684
921.33/921.72	c  921s |      18 |   472999 |   316452 |    25408     26 |      752 |      684
923.63/924.00	c  923s |      18 |   473712 |   317052 |    25408     26 |      752 |      684
925.63/926.08	c  925s |      18 |   474273 |   317552 |    25408     26 |      752 |      684
927.83/928.26	c  927s |      18 |   474866 |   318052 |    25408     26 |      752 |      684
930.13/930.58	c  930s |      18 |   475688 |   318752 |    25408     26 |      752 |      684
932.43/932.83	c  932s |      18 |   476378 |   319352 |    25408     26 |      752 |      684
934.43/934.86	c  934s |      18 |   477101 |   319952 |    25408     26 |      752 |      684
936.93/937.39	c  937s |      18 |   477649 |   320452 |    25408     26 |      752 |      684
939.03/939.47	c  939s |      18 |   478092 |   320852 |    25408     26 |      752 |      684
941.13/941.57	c  941s |      18 |   478651 |   321352 |    25408     26 |      752 |      684
943.74/944.14	c  943s |      18 |   479214 |   321852 |    25408     26 |      752 |      684
945.73/946.18	c  945s |      18 |   479672 |   322252 |    25408     26 |      752 |      684
947.93/948.32	c  948s |      18 |   480114 |   322652 |    25408     26 |      752 |      684
950.13/950.60	c  950s |      18 |   480587 |   323052 |    25408     26 |      752 |      684
952.53/952.94	c  952s |      18 |   481302 |   323652 |    25408     26 |      752 |      684
954.73/955.11	c  954s |      18 |   481884 |   324152 |    25408     26 |      752 |      684
956.73/957.20	c  956s |      18 |   482439 |   324652 |    25408     26 |      752 |      684
959.13/959.56	c  959s |      18 |   482988 |   325152 |    25408     26 |      752 |      684
961.72/962.10	c  961s |      18 |   483534 |   325652 |    25408     26 |      752 |      684
963.72/964.17	c  963s |      18 |   483977 |   326052 |    25408     26 |      752 |      684
965.82/966.20	c  965s |      18 |   484582 |   326552 |    25408     26 |      752 |      684
968.22/968.60	c  968s |      18 |   485140 |   327052 |    25408     26 |      752 |      684
970.42/970.87	c  970s |      18 |   485720 |   327552 |    25408     26 |      752 |      684
972.92/973.37	c  973s |      18 |   486277 |   328052 |    25408     26 |      752 |      684
975.32/975.72	c  975s |      18 |   486855 |   328552 |    25408     26 |      752 |      684
977.52/977.94	c  977s |      18 |   487281 |   328952 |    25408     27 |      752 |      684
979.82/980.25	c  979s |      18 |   487948 |   329552 |    25408     27 |      752 |      684
982.02/982.49	c  982s |      18 |   488611 |   330152 |    25408     27 |      752 |      684
984.43/984.88	c  984s |      18 |   489157 |   330652 |    25408     27 |      752 |      684
986.53/986.99	c  986s |      18 |   490276 |   331352 |    25408     27 |      752 |      684
988.83/989.21	c  988s |      18 |   491408 |   332152 |    25408     27 |      752 |      684
990.82/991.22	c  990s |      18 |   492089 |   332652 |    25408     27 |      752 |      684
993.02/993.46	c  993s |      18 |   492872 |   333252 |    25408     27 |      752 |      684
995.33/995.74	c  995s |      18 |   493563 |   333852 |    25408     27 |      752 |      684
997.32/997.76	c  997s |      18 |   494171 |   334352 |    25408     27 |      752 |      684
999.62/1000.05	c  999s |      18 |   494764 |   334852 |    25408     27 |      752 |      684
1001.82/1002.29	c 1002s |      18 |   495591 |   335552 |    25408     27 |      752 |      684
1003.92/1004.30	c 1004s |      18 |   496384 |   336252 |    25408     27 |      752 |      684
1005.92/1006.31	c 1006s |      18 |   497194 |   336952 |    25408     27 |      752 |      684
1008.02/1008.43	c 1008s |      18 |   498023 |   337652 |    25408     27 |      752 |      684
1010.22/1010.69	c 1010s |      18 |   498687 |   338252 |    25408     27 |      752 |      684
1012.62/1013.08	c 1012s |      18 |   499429 |   338852 |    25408     27 |      752 |      684
1015.12/1015.56	c 1015s |      18 |   500117 |   339452 |    25408     27 |      752 |      684
1017.11/1017.56	c 1017s |      18 |   500689 |   339952 |    25408     27 |      752 |      684
1019.31/1019.72	c 1019s |      18 |   501410 |   340552 |    25408     27 |      752 |      684
1021.61/1022.01	c 1021s |      18 |   502147 |   341152 |    25408     27 |      752 |      684
1023.92/1024.38	c 1024s |      18 |   502860 |   341752 |    25408     27 |      752 |      684
1026.01/1026.49	c 1026s |      18 |   503455 |   342252 |    25408     27 |      752 |      684
1028.11/1028.59	c 1028s |      18 |   504008 |   342752 |    25408     27 |      752 |      684
1030.31/1030.73	c 1030s |      18 |   504461 |   343152 |    25408     28 |      752 |      684
1032.41/1032.82	c 1032s |      18 |   505141 |   343752 |    25408     28 |      752 |      684
1034.61/1035.02	c 1034s |      18 |   505785 |   344352 |    25408     28 |      752 |      684
1036.61/1037.06	c 1036s |      18 |   506454 |   344952 |    25408     28 |      752 |      684
1039.01/1039.43	c 1039s |      18 |   507109 |   345552 |    25408     28 |      752 |      684
1041.21/1041.69	c 1041s |      18 |   507781 |   346152 |    25408     28 |      752 |      684
1043.61/1044.05	c 1043s |      18 |   508467 |   346752 |    25408     28 |      752 |      684
1045.61/1046.07	c 1045s |      18 |   509017 |   347252 |    25408     28 |      752 |      684
1047.71/1048.15	c 1047s |      18 |   509577 |   347752 |    25408     28 |      752 |      684
1050.01/1050.49	c 1050s |      18 |   510311 |   348352 |    25408     28 |      752 |      684
1052.21/1052.62	c 1052s |      18 |   511049 |   348952 |    25408     28 |      752 |      684
1054.41/1054.81	c 1054s |      18 |   511812 |   349552 |    25408     28 |      752 |      684
1056.41/1056.85	c 1056s |      18 |   512437 |   350052 |    25408     28 |      752 |      684
1058.72/1059.13	c 1058s |      18 |   513221 |   350652 |    25408     28 |      752 |      684
1060.92/1061.35	c 1061s |      18 |   513812 |   351152 |    25408     28 |      752 |      684
1063.02/1063.43	c 1063s |      18 |   514402 |   351652 |    25408     28 |      752 |      684
1065.12/1065.55	c 1065s |      18 |   515010 |   352152 |    25408     28 |      752 |      684
1067.21/1067.61	c 1067s |      18 |   515463 |   352552 |    25408     28 |      752 |      684
1069.41/1069.89	c 1069s |      18 |   516046 |   353052 |    25408     28 |      752 |      684
1071.81/1072.29	c 1072s |      18 |   516626 |   353552 |    25408     28 |      752 |      684
1073.91/1074.38	c 1074s |      18 |   517258 |   354052 |    25408     28 |      752 |      684
1076.41/1076.82	c 1076s |      18 |   517679 |   354452 |    25408     28 |      752 |      684
1078.71/1079.15	c 1078s |      18 |   518250 |   354952 |    25408     28 |      752 |      684
1081.12/1081.54	c 1081s |      18 |   518825 |   355452 |    25408     28 |      752 |      684
1083.32/1083.74	c 1083s |      18 |   519274 |   355852 |    25408     28 |      752 |      684
1085.41/1085.82	c 1085s |      18 |   519730 |   356252 |    25408     28 |      752 |      684
1087.72/1088.12	c 1087s |      18 |   520178 |   356652 |    25408     28 |      752 |      684
1090.02/1090.41	c 1090s |      18 |   520769 |   357152 |    25408     28 |      752 |      684
1092.01/1092.44	c 1092s |      18 |   521091 |   357452 |    25408     29 |      752 |      684
1094.32/1094.76	c 1094s |      18 |   521636 |   357952 |    25408     29 |      752 |      684
1096.62/1097.09	c 1096s |      18 |   522478 |   358552 |    25408     29 |      752 |      684
1098.91/1099.36	c 1099s |      18 |   523204 |   359152 |    25408     29 |      752 |      684
1101.11/1101.50	c 1101s |      18 |   524135 |   359852 |    25408     29 |      752 |      684
1103.22/1103.62	c 1103s |      18 |   525035 |   360552 |    25408     29 |      752 |      684
1105.41/1105.85	c 1105s |      18 |   525878 |   361252 |    25408     29 |      752 |      684
1107.71/1108.19	c 1107s |      18 |   526594 |   361852 |    25408     29 |      752 |      684
1109.81/1110.24	c 1109s |      18 |   527174 |   362352 |    25408     29 |      752 |      684
1112.21/1112.64	c 1112s |      18 |   527880 |   362952 |    25408     29 |      752 |      684
1114.51/1114.96	c 1114s |      18 |   528588 |   363552 |    25408     29 |      752 |      684
1116.81/1117.29	c 1117s |      18 |   529293 |   364152 |    25408     29 |      752 |      684
1119.00/1119.45	c 1119s |      18 |   530026 |   364752 |    25408     29 |      752 |      684
1121.20/1121.67	c 1121s |      18 |   530633 |   365252 |    25408     29 |      752 |      684
1123.20/1123.68	c 1123s |      18 |   531283 |   365752 |    25408     29 |      752 |      684
1125.60/1126.09	c 1125s |      18 |   532074 |   366352 |    25408     29 |      752 |      684
1128.00/1128.42	c 1128s |      18 |   532716 |   366852 |    25408     29 |      752 |      684
1130.00/1130.45	c 1130s |      18 |   533366 |   367352 |    25408     29 |      752 |      684
1132.10/1132.53	c 1132s |      18 |   534141 |   367952 |    25408     29 |      752 |      684
1134.10/1134.54	c 1134s |      18 |   534852 |   368552 |    25408     29 |      752 |      684
1136.11/1136.59	c 1136s |      18 |   535501 |   369052 |    25408     29 |      752 |      684
1138.20/1138.66	c 1138s |      18 |   536223 |   369652 |    25408     29 |      752 |      684
1140.61/1141.02	c 1140s |      18 |   536818 |   370152 |    25408     29 |      752 |      684
1142.71/1143.10	c 1142s |      18 |   537431 |   370652 |    25408     29 |      752 |      684
1144.91/1145.34	c 1145s |      18 |   537984 |   371152 |    25408     29 |      752 |      684
1147.30/1147.77	c 1147s |      18 |   538425 |   371552 |    25408     30 |      752 |      684
1149.50/1149.98	c 1149s |      18 |   539403 |   372352 |    25408     30 |      752 |      684
1152.00/1152.44	c 1152s |      18 |   540248 |   373052 |    25408     30 |      752 |      684
1154.30/1154.72	c 1154s |      18 |   540954 |   373652 |    25408     30 |      752 |      684
1156.40/1156.83	c 1156s |      18 |   541733 |   374252 |    25408     30 |      752 |      684
1158.50/1158.97	c 1158s |      18 |   542439 |   374852 |    25408     30 |      752 |      684
1160.90/1161.34	c 1161s |      18 |   543178 |   375452 |    25408     30 |      752 |      684
1162.99/1163.44	c 1163s |      18 |   543644 |   375852 |    25408     30 |      752 |      684
1165.29/1165.77	c 1165s |      18 |   544330 |   376452 |    25408     30 |      752 |      684
1167.39/1167.84	c 1167s |      18 |   544898 |   376952 |    25408     30 |      752 |      684
1169.69/1170.16	c 1169s |      18 |   545457 |   377452 |    25408     30 |      752 |      684
1171.69/1172.18	c 1171s |      18 |   546021 |   377952 |    25408     30 |      752 |      684
1174.09/1174.59	c 1174s |      18 |   546597 |   378452 |    25408     30 |      752 |      684
1176.19/1176.65	c 1176s |      18 |   547176 |   378952 |    25408     30 |      752 |      684
1178.69/1179.15	c 1178s |      18 |   547746 |   379452 |    25408     30 |      752 |      684
1180.89/1181.38	c 1181s |      18 |   548322 |   379952 |    25408     30 |      752 |      684
1183.09/1183.57	c 1183s |      18 |   548917 |   380452 |    25408     30 |      752 |      684
1185.39/1185.84	c 1185s |      18 |   549635 |   381052 |    25408     30 |      752 |      684
1187.69/1188.16	c 1187s |      18 |   550188 |   381552 |    25408     30 |      752 |      684
1189.69/1190.17	c 1189s |      18 |   550625 |   381952 |    25408     30 |      752 |      684
1192.20/1192.63	c 1192s |      18 |   551065 |   382352 |    25408     30 |      752 |      684
1194.29/1194.75	c 1194s |      18 |   551555 |   382752 |    25408     30 |      752 |      684
1196.29/1196.78	c 1196s |      18 |   551992 |   383152 |    25408     30 |      752 |      684
1198.39/1198.84	c 1198s |      18 |   552448 |   383552 |    25408     30 |      752 |      684
1200.49/1200.93	c 1200s |      18 |   552898 |   383952 |    25408     30 |      752 |      684
1202.79/1203.23	c 1202s |      18 |   553500 |   384452 |    25408     30 |      752 |      684
1204.99/1205.42	c 1205s |      18 |   554084 |   384952 |    25408     30 |      752 |      684
1206.99/1207.49	c 1207s |      18 |   554669 |   385452 |    25408     30 |      752 |      684
1209.89/1210.32	c 1210s |      18 |   555272 |   385952 |    25408     31 |      752 |      684
1211.99/1212.41	c 1212s |      18 |   555924 |   386552 |    25408     31 |      752 |      684
1214.09/1214.59	c 1214s |      18 |   556654 |   387152 |    25408     31 |      752 |      684
1216.19/1216.61	c 1216s |      18 |   557299 |   387652 |    25408     31 |      752 |      684
1218.18/1218.65	c 1218s |      18 |   557917 |   388152 |    25408     31 |      752 |      684
1220.58/1221.02	c 1220s |      18 |   558777 |   388852 |    25408     31 |      752 |      684
1222.88/1223.34	c 1223s |      18 |   559622 |   389552 |    25408     31 |      752 |      684
1225.19/1225.61	c 1225s |      18 |   560343 |   390152 |    25408     31 |      752 |      684
1227.28/1227.76	c 1227s |      18 |   560969 |   390652 |    25408     31 |      752 |      684
1229.59/1230.04	c 1229s |      18 |   561777 |   391352 |    25408     31 |      752 |      684
1231.79/1232.26	c 1231s |      18 |   562484 |   391952 |    25408     31 |      752 |      684
1233.99/1234.49	c 1234s |      18 |   563168 |   392552 |    25408     31 |      752 |      684
1236.08/1236.55	c 1236s |      18 |   563909 |   393152 |    25408     31 |      752 |      684
1238.49/1238.96	c 1238s |      18 |   564616 |   393752 |    25408     31 |      752 |      684
1240.59/1241.08	c 1240s |      18 |   565155 |   394252 |    25408     31 |      752 |      684
1242.79/1243.26	c 1242s |      18 |   565862 |   394852 |    25408     31 |      752 |      684
1244.78/1245.27	c 1244s |      18 |   566466 |   395352 |    25408     31 |      752 |      684
1246.88/1247.39	c 1247s |      18 |   567014 |   395852 |    25408     31 |      752 |      684
1249.08/1249.56	c 1249s |      18 |   567578 |   396352 |    25408     31 |      752 |      684
1251.28/1251.71	c 1251s |      18 |   568173 |   396852 |    25408     31 |      752 |      684
1253.38/1253.83	c 1253s |      18 |   568735 |   397352 |    25408     31 |      752 |      684
1255.88/1256.32	c 1256s |      18 |   569456 |   397952 |    25408     31 |      752 |      684
1258.29/1258.78	c 1258s |      18 |   570038 |   398452 |    25408     31 |      752 |      684
1260.39/1260.81	c 1260s |      18 |   570616 |   398952 |    25408     31 |      752 |      684
1262.59/1263.05	c 1262s |      18 |   571223 |   399452 |    25408     31 |      752 |      684
1264.79/1265.24	c 1264s |      18 |   571803 |   399952 |    25408     31 |      752 |      684
1267.69/1268.16	c 1267s |      18 |   572416 |   400452 |    25408     32 |      752 |      684
1269.98/1270.44	c 1270s |      18 |   573142 |   401052 |    25408     32 |      752 |      684
1272.08/1272.57	c 1272s |      18 |   573626 |   401452 |    25408     32 |      752 |      684
1274.38/1274.84	c 1274s |      18 |   574151 |   401952 |    25408     32 |      752 |      684
1276.58/1277.00	c 1276s |      18 |   574693 |   402452 |    25408     32 |      752 |      684
1278.88/1279.31	c 1279s |      18 |   575378 |   403052 |    25408     32 |      752 |      684
1281.18/1281.69	c 1281s |      18 |   576064 |   403652 |    25408     32 |      752 |      684
1283.38/1283.82	c 1283s |      18 |   576769 |   404252 |    25408     32 |      752 |      684
1285.48/1285.99	c 1285s |      18 |   577318 |   404752 |    25408     32 |      752 |      684
1287.78/1288.26	c 1287s |      18 |   577885 |   405252 |    25408     32 |      752 |      684
1289.88/1290.35	c 1290s |      18 |   578445 |   405752 |    25408     32 |      752 |      684
1292.29/1292.70	c 1292s |      18 |   579004 |   406252 |    25408     32 |      752 |      684
1294.38/1294.83	c 1294s |      18 |   579545 |   406752 |    25408     32 |      752 |      684
1296.58/1297.00	c 1296s |      18 |   580099 |   407252 |    25408     32 |      752 |      684
1298.68/1299.10	c 1298s |      18 |   580518 |   407652 |    25408     32 |      752 |      684
1300.78/1301.26	c 1300s |      18 |   581163 |   408152 |    25408     32 |      752 |      684
1302.88/1303.39	c 1303s |      18 |   581863 |   408752 |    25408     32 |      752 |      684
1304.98/1305.43	c 1305s |      18 |   582525 |   409252 |    25408     32 |      752 |      684
1307.28/1307.78	c 1307s |      18 |   583075 |   409752 |    25408     32 |      752 |      684
1309.68/1310.12	c 1309s |      18 |   583665 |   410252 |    25408     32 |      752 |      684
1311.98/1312.42	c 1312s |      18 |   584359 |   410852 |    25408     32 |      752 |      684
1314.18/1314.70	c 1314s |      18 |   584928 |   411352 |    25408     32 |      752 |      684
1316.28/1316.72	c 1316s |      18 |   585397 |   411752 |    25408     32 |      752 |      684
1318.28/1318.74	c 1318s |      18 |   585844 |   412152 |    25408     32 |      752 |      684
1320.38/1320.85	c 1320s |      18 |   586277 |   412552 |    25408     32 |      752 |      684
1322.48/1322.93	c 1322s |      18 |   586721 |   412952 |    25408     32 |      752 |      684
1324.68/1325.12	c 1324s |      18 |   587162 |   413352 |    25408     32 |      752 |      684
1326.88/1327.37	c 1327s |      18 |   587611 |   413752 |    25408     32 |      752 |      684
1329.27/1329.75	c 1329s |      18 |   588060 |   414152 |    25408     32 |      752 |      684
1332.17/1332.65	c 1332s |      18 |   588772 |   414752 |    25408     33 |      752 |      684
1334.27/1334.78	c 1334s |      18 |   589573 |   415452 |    25408     33 |      752 |      684
1336.38/1336.81	c 1336s |      18 |   590468 |   416252 |    25408     33 |      752 |      684
1338.37/1338.84	c 1338s |      18 |   591296 |   416952 |    25408     33 |      752 |      684
1340.47/1340.97	c 1340s |      18 |   592018 |   417552 |    25408     33 |      752 |      684
1342.67/1343.13	c 1342s |      18 |   592759 |   418152 |    25408     33 |      752 |      684
1344.97/1345.46	c 1345s |      18 |   593464 |   418752 |    25408     33 |      752 |      684
1347.07/1347.59	c 1347s |      18 |   594104 |   419252 |    25408     33 |      752 |      684
1349.48/1349.93	c 1349s |      18 |   594989 |   419952 |    25408     33 |      752 |      684
1351.68/1352.14	c 1351s |      18 |   595660 |   420552 |    25408     33 |      752 |      684
1353.77/1354.24	c 1353s |      18 |   596361 |   421152 |    25408     33 |      752 |      684
1355.97/1356.46	c 1356s |      18 |   596916 |   421652 |    25408     33 |      752 |      684
1358.07/1358.54	c 1358s |      18 |   597551 |   422152 |    25408     33 |      752 |      684
1360.27/1360.77	c 1360s |      18 |   598042 |   422552 |    25408     33 |      752 |      684
1362.47/1362.93	c 1362s |      18 |   598645 |   423052 |    25408     33 |      752 |      684
1364.77/1365.24	c 1364s |      18 |   599359 |   423652 |    25408     33 |      752 |      684
1366.87/1367.37	c 1367s |      18 |   600021 |   424252 |    25408     33 |      752 |      684
1369.37/1369.81	c 1369s |      18 |   600552 |   424752 |    25408     33 |      752 |      684
1371.47/1371.97	c 1371s |      18 |   601005 |   425152 |    25408     33 |      752 |      684
1373.57/1374.03	c 1373s |      18 |   601592 |   425652 |    25408     33 |      752 |      684
1375.97/1376.41	c 1376s |      18 |   602160 |   426152 |    25408     33 |      752 |      684
1378.07/1378.55	c 1378s |      18 |   602607 |   426552 |    25408     33 |      752 |      684
1380.17/1380.70	c 1380s |      18 |   603059 |   426952 |    25408     33 |      752 |      684
1382.86/1383.32	c 1383s |      18 |   603606 |   427452 |    25408     33 |      752 |      684
1384.96/1385.46	c 1385s |      18 |   604047 |   427852 |    25408     33 |      752 |      684
1386.97/1387.46	c 1387s |      18 |   604486 |   428252 |    25408     33 |      752 |      684
1389.07/1389.56	c 1389s |      18 |   604933 |   428652 |    25408     33 |      752 |      684
1391.37/1391.86	c 1391s |      18 |   605416 |   429052 |    25408     34 |      752 |      684
1393.47/1393.93	c 1393s |      18 |   606312 |   429752 |    25408     34 |      752 |      684
1395.56/1396.04	c 1395s |      18 |   607191 |   430452 |    25408     34 |      752 |      684
1397.66/1398.16	c 1397s |      18 |   607899 |   431052 |    25408     34 |      752 |      684
1399.86/1400.37	c 1400s |      18 |   608590 |   431652 |    25408     34 |      752 |      684
1402.06/1402.57	c 1402s |      18 |   609267 |   432252 |    25408     34 |      752 |      684
1404.36/1404.85	c 1404s |      18 |   610008 |   432852 |    25408     34 |      752 |      684
1406.77/1407.27	c 1406s |      18 |   610695 |   433452 |    25408     34 |      752 |      684
1409.16/1409.64	c 1409s |      18 |   611394 |   434052 |    25408     34 |      752 |      684
1411.36/1411.87	c 1411s |      18 |   611924 |   434552 |    25408     34 |      752 |      684
1413.66/1414.15	c 1413s |      18 |   612471 |   435052 |    25408     34 |      752 |      684
1416.06/1416.59	c 1416s |      18 |   613019 |   435552 |    25408     34 |      752 |      684
1418.26/1418.79	c 1418s |      18 |   613460 |   435952 |    25408     34 |      752 |      684
1420.56/1421.05	c 1420s |      18 |   613905 |   436352 |    25408     34 |      752 |      684
1422.76/1423.28	c 1423s |      18 |   614337 |   436752 |    25408     34 |      752 |      684
1425.46/1425.91	c 1425s |      18 |   614755 |   437152 |    25408     34 |      752 |      684
1427.76/1428.29	c 1428s |      18 |   615334 |   437652 |    25408     34 |      752 |      684
1430.05/1430.56	c 1430s |      18 |   615757 |   438052 |    25408     34 |      752 |      684
1432.35/1432.88	c 1432s |      18 |   616188 |   438452 |    25408     34 |      752 |      684
1434.65/1435.14	c 1434s |      18 |   616757 |   438952 |    25408     34 |      752 |      684
1436.95/1437.42	c 1437s |      18 |   617427 |   439552 |    25408     34 |      752 |      684
1439.45/1439.93	c 1439s |      18 |   618138 |   440152 |    25408     34 |      752 |      684
1441.86/1442.34	c 1442s |      18 |   618709 |   440652 |    25408     34 |      752 |      684
1443.95/1444.46	c 1444s |      18 |   619137 |   441052 |    25408     34 |      752 |      684
1446.26/1446.79	c 1446s |      18 |   619709 |   441552 |    27949     34 |      752 |      684
1448.75/1449.23	c 1448s |      18 |   620247 |   442052 |    27949     34 |      752 |      684
1450.85/1451.31	c 1451s |      18 |   620685 |   442452 |    27949     34 |      752 |      684
1453.15/1453.69	c 1453s |      18 |   621256 |   442952 |    27949     34 |      752 |      684
1455.25/1455.72	c 1455s |      18 |   621684 |   443352 |    27949     34 |      752 |      684
1457.65/1458.18	c 1457s |      18 |   622273 |   443852 |    27949     34 |      752 |      684
1460.05/1460.55	c 1460s |      18 |   622859 |   444352 |    27949     34 |      752 |      684
1460.66/1461.18	c 1460s |      19 |   623005 |   444482 |    27949     34 |      752 |      684
1462.76/1463.23	c 1462s |      19 |   626573 |   445182 |    27949     35 |      752 |      684
1464.85/1465.30	c 1465s |      19 |   628917 |   446382 |    27949     35 |      752 |      684
1466.95/1467.42	c 1467s |      19 |   630037 |   447382 |    27949     35 |      752 |      684
1468.95/1469.43	c 1469s |      19 |   630818 |   448082 |    27949     35 |      752 |      684
1471.15/1471.64	c 1471s |      19 |   631837 |   448982 |    27949     35 |      752 |      684
1473.25/1473.71	c 1473s |      19 |   633089 |   449982 |    27949     35 |      752 |      684
1475.45/1475.96	c 1475s |      19 |   634393 |   450982 |    27949     35 |      752 |      684
1477.55/1478.00	c 1477s |      19 |   635989 |   452282 |    27949     35 |      752 |      684
1479.55/1480.09	c 1479s |      19 |   637218 |   453282 |    27949     35 |      752 |      684
1481.64/1482.10	c 1481s |      19 |   638547 |   454282 |    27949     35 |      752 |      684
1483.84/1484.30	c 1484s |      19 |   640040 |   455382 |    27949     35 |      752 |      684
1485.95/1486.41	c 1486s |      19 |   641369 |   456182 |    27949     35 |      752 |      684
1488.05/1488.52	c 1488s |      19 |   645348 |   457982 |    27949     35 |      752 |      684
1490.14/1490.63	c 1490s |      19 |   649755 |   459682 |    27949     35 |      752 |      684
1492.14/1492.65	c 1492s |      19 |   652287 |   460682 |    27949     36 |      752 |      684
1494.24/1494.70	c 1494s |      19 |   655881 |   462582 |    27949     36 |      752 |      684
1496.24/1496.72	c 1496s |      19 |   658748 |   464182 |    27949     36 |      752 |      684
1498.34/1498.82	c 1498s |      19 |   661363 |   465582 |    27949     36 |      752 |      684
1500.44/1500.91	c 1500s |      19 |   663344 |   466882 |    27949     36 |      752 |      684
1502.54/1503.05	c 1502s |      19 |   665176 |   468082 |    27949     36 |      752 |      684
1504.55/1505.05	c 1504s |      19 |   666259 |   468882 |    27949     36 |      752 |      684
1506.54/1507.09	c 1506s |      19 |   667585 |   469782 |    27949     36 |      752 |      684
1508.75/1509.21	c 1508s |      19 |   668576 |   470582 |    27949     36 |      752 |      684
1510.85/1511.33	c 1511s |      19 |   669616 |   471382 |    27949     36 |      752 |      684
1513.15/1513.66	c 1513s |      19 |   670483 |   472082 |    27949     36 |      752 |      684
1515.25/1515.73	c 1515s |      19 |   671370 |   472782 |    27949     36 |      752 |      684
1517.45/1517.99	c 1517s |      19 |   672268 |   473482 |    27949     36 |      752 |      684
1519.55/1520.07	c 1519s |      19 |   673025 |   474082 |    27949     36 |      752 |      684
1521.65/1522.17	c 1521s |      19 |   673949 |   474782 |    27949     36 |      752 |      684
1523.95/1524.47	c 1524s |      19 |   674800 |   475482 |    27949     36 |      752 |      684
1526.15/1526.66	c 1526s |      19 |   675756 |   476182 |    27949     36 |      752 |      684
1528.24/1528.76	c 1528s |      19 |   676780 |   476882 |    27949     37 |      752 |      684
1530.44/1530.97	c 1530s |      19 |   677709 |   477582 |    27949     37 |      752 |      684
1532.54/1533.04	c 1532s |      19 |   678840 |   478382 |    27949     37 |      752 |      684
1534.74/1535.20	c 1534s |      19 |   679709 |   479082 |    27949     37 |      752 |      684
1536.94/1537.48	c 1537s |      19 |   680604 |   479782 |    27949     37 |      752 |      684
1539.04/1539.58	c 1539s |      19 |   681497 |   480482 |    27949     37 |      752 |      684
1541.24/1541.72	c 1541s |      19 |   682251 |   481082 |    27949     37 |      752 |      684
1543.44/1543.93	c 1543s |      19 |   683049 |   481682 |    27949     37 |      752 |      684
1545.54/1546.02	c 1545s |      19 |   683821 |   482282 |    27949     37 |      752 |      684
1547.84/1548.34	c 1548s |      19 |   684396 |   482782 |    27949     37 |      752 |      684
1550.24/1550.77	c 1550s |      19 |   685169 |   483382 |    27949     37 |      752 |      684
1552.34/1552.88	c 1552s |      19 |   685890 |   483982 |    27949     37 |      752 |      684
1554.84/1555.35	c 1555s |      19 |   686662 |   484582 |    27949     37 |      752 |      684
1556.94/1557.42	c 1557s |      19 |   687131 |   484982 |    27949     37 |      752 |      684
1559.04/1559.53	c 1559s |      19 |   687595 |   485382 |    27949     37 |      752 |      684
1561.34/1561.85	c 1561s |      19 |   688198 |   485882 |    27949     37 |      752 |      684
1563.64/1564.12	c 1563s |      19 |   689175 |   486582 |    27949     37 |      752 |      684
1565.74/1566.24	c 1565s |      19 |   689946 |   487182 |    27949     37 |      752 |      684
1567.84/1568.35	c 1568s |      19 |   690688 |   487782 |    27949     37 |      752 |      684
1570.14/1570.67	c 1570s |      19 |   691493 |   488382 |    27949     37 |      752 |      684
1572.44/1572.94	c 1572s |      19 |   692280 |   488982 |    27949     37 |      752 |      684
1574.64/1575.18	c 1574s |      19 |   693070 |   489582 |    27949     37 |      752 |      684
1576.84/1577.34	c 1577s |      19 |   693813 |   490182 |    27949     37 |      752 |      684
1579.04/1579.57	c 1579s |      19 |   694646 |   490782 |    27949     37 |      752 |      684
1581.43/1581.99	c 1581s |      19 |   695389 |   491382 |    27949     37 |      752 |      684
1583.74/1584.28	c 1584s |      19 |   695858 |   491782 |    27949     38 |      752 |      684
1586.04/1586.58	c 1586s |      19 |   696604 |   492382 |    27949     38 |      752 |      684
1588.33/1588.89	c 1588s |      19 |   697438 |   493082 |    27949     38 |      752 |      684
1590.44/1590.97	c 1590s |      19 |   698128 |   493682 |    27949     38 |      752 |      684
1592.73/1593.26	c 1592s |      19 |   699056 |   494382 |    27949     38 |      752 |      684
1594.93/1595.40	c 1595s |      19 |   699805 |   494982 |    27949     38 |      752 |      684
1597.04/1597.53	c 1597s |      19 |   700525 |   495582 |    27949     38 |      752 |      684
1599.43/1599.93	c 1599s |      19 |   701451 |   496282 |    27949     38 |      752 |      684
1601.63/1602.11	c 1601s |      19 |   702168 |   496882 |    27949     38 |      752 |      684
1603.73/1604.24	c 1603s |      19 |   702754 |   497382 |    27949     38 |      752 |      684
1605.84/1606.32	c 1606s |      19 |   703358 |   497882 |    27949     38 |      752 |      684
1607.83/1608.35	c 1608s |      19 |   704138 |   498482 |    27949     38 |      752 |      684
1610.14/1610.65	c 1610s |      19 |   705038 |   499182 |    27949     38 |      752 |      684
1612.44/1612.95	c 1612s |      19 |   705768 |   499782 |    27949     38 |      752 |      684
1614.64/1615.15	c 1614s |      19 |   706524 |   500382 |    27949     38 |      752 |      684
1616.74/1617.26	c 1616s |      19 |   707108 |   500882 |    27949     38 |      752 |      684
1618.83/1619.39	c 1619s |      19 |   707717 |   501382 |    27949     38 |      752 |      684
1621.03/1621.54	c 1621s |      19 |   708307 |   501882 |    27949     38 |      752 |      684
1623.13/1623.64	c 1623s |      19 |   708876 |   502382 |    27949     38 |      752 |      684
1625.23/1625.76	c 1625s |      19 |   709463 |   502882 |    27949     38 |      752 |      684
1627.43/1627.99	c 1627s |      19 |   710082 |   503382 |    27949     38 |      752 |      684
1629.83/1630.30	c 1630s |      19 |   710667 |   503882 |    27949     38 |      752 |      684
1632.23/1632.72	c 1632s |      19 |   711379 |   504482 |    27949     38 |      752 |      684
1634.53/1635.03	c 1634s |      19 |   712018 |   504982 |    27949     38 |      752 |      684
1636.63/1637.17	c 1636s |      19 |   712632 |   505482 |    27949     38 |      752 |      684
1638.83/1639.39	c 1639s |      19 |   713252 |   505982 |    27949     38 |      752 |      684
1641.53/1642.04	c 1641s |      19 |   713827 |   506482 |    27949     38 |      752 |      684
1644.03/1644.52	c 1644s |      19 |   714397 |   506982 |    27949     38 |      752 |      684
1646.12/1646.64	c 1646s |      19 |   714838 |   507382 |    27949     38 |      752 |      684
1648.42/1648.98	c 1648s |      19 |   715173 |   507682 |    27949     39 |      752 |      684
1650.52/1651.03	c 1650s |      19 |   715908 |   508282 |    27949     39 |      752 |      684
1652.62/1653.18	c 1652s |      19 |   716679 |   508882 |    27949     39 |      752 |      684
1654.62/1655.19	c 1654s |      19 |   717403 |   509482 |    27949     39 |      752 |      684
1656.82/1657.39	c 1657s |      19 |   718101 |   510082 |    27949     39 |      752 |      684
1659.12/1659.70	c 1659s |      19 |   718839 |   510682 |    27949     39 |      752 |      684
1661.42/1661.90	c 1661s |      19 |   719572 |   511282 |    27949     39 |      752 |      684
1663.42/1663.97	c 1663s |      19 |   720161 |   511782 |    27949     39 |      752 |      684
1665.72/1666.29	c 1666s |      19 |   720776 |   512282 |    27949     39 |      752 |      684
1667.82/1668.39	c 1668s |      19 |   721395 |   512782 |    27949     39 |      752 |      684
1669.92/1670.43	c 1670s |      19 |   722052 |   513282 |    27949     39 |      752 |      684
1672.12/1672.61	c 1672s |      19 |   722766 |   513882 |    27949     39 |      752 |      684
1674.12/1674.67	c 1674s |      19 |   723549 |   514482 |    27949     39 |      752 |      684
1676.32/1676.81	c 1676s |      19 |   724130 |   514982 |    27949     39 |      752 |      684
1678.52/1679.00	c 1678s |      19 |   724692 |   515482 |    27949     39 |      752 |      684
1680.92/1681.46	c 1681s |      19 |   725240 |   515982 |    27949     39 |      752 |      684
1683.22/1683.77	c 1683s |      19 |   725791 |   516482 |    27949     39 |      752 |      684
1685.62/1686.11	c 1685s |      19 |   726356 |   516982 |    27949     39 |      752 |      684
1687.62/1688.12	c 1687s |      19 |   726814 |   517382 |    27949     39 |      752 |      684
1689.62/1690.19	c 1689s |      19 |   727495 |   517882 |    27949     39 |      752 |      684
1691.82/1692.32	c 1692s |      19 |   728137 |   518382 |    27949     39 |      752 |      684
1694.12/1694.63	c 1694s |      19 |   728590 |   518782 |    27949     39 |      752 |      684
1696.72/1697.23	c 1696s |      19 |   729179 |   519282 |    27949     39 |      752 |      684
1699.02/1699.50	c 1699s |      19 |   729645 |   519682 |    27949     39 |      752 |      684
1701.71/1702.21	c 1701s |      19 |   730220 |   520182 |    27949     39 |      752 |      684
1704.01/1704.58	c 1704s |      19 |   730696 |   520582 |    27949     39 |      752 |      684
1706.11/1706.68	c 1706s |      19 |   731177 |   520982 |    27949     39 |      752 |      684
1708.31/1708.87	c 1708s |      19 |   731793 |   521482 |    27949     39 |      752 |      684
1710.51/1711.07	c 1710s |      19 |   732457 |   521982 |    27949     39 |      752 |      684
1712.61/1713.12	c 1712s |      19 |   733109 |   522482 |    27949     39 |      752 |      684
1714.62/1715.15	c 1714s |      19 |   733754 |   522982 |    27949     39 |      752 |      684
1716.61/1717.19	c 1716s |      19 |   734279 |   523382 |    27949     40 |      752 |      684
1718.91/1719.43	c 1719s |      19 |   735031 |   523982 |    27949     40 |      752 |      684
1721.22/1721.78	c 1721s |      19 |   735758 |   524582 |    27949     40 |      752 |      684
1723.31/1723.80	c 1723s |      19 |   736348 |   525082 |    27949     40 |      752 |      684
1725.51/1726.09	c 1725s |      19 |   737074 |   525682 |    27949     40 |      752 |      684
1727.61/1728.12	c 1727s |      19 |   737675 |   526182 |    27949     40 |      752 |      684
1729.81/1730.34	c 1730s |      19 |   738372 |   526782 |    27949     40 |      752 |      684
1732.11/1732.67	c 1732s |      19 |   738921 |   527282 |    27949     40 |      752 |      684
1734.52/1735.03	c 1734s |      19 |   739654 |   527882 |    27949     40 |      752 |      684
1736.51/1737.07	c 1736s |      19 |   740267 |   528382 |    27949     40 |      752 |      684
1738.71/1739.30	c 1739s |      19 |   740972 |   528882 |    27949     40 |      752 |      684
1740.91/1741.46	c 1741s |      19 |   741833 |   529582 |    27949     40 |      752 |      684
1743.01/1743.59	c 1743s |      19 |   743827 |   530582 |    27949     40 |      752 |      684
1745.11/1745.61	c 1745s |      19 |   744741 |   531282 |    27949     40 |      752 |      684
1747.31/1747.84	c 1747s |      19 |   745893 |   532082 |    27949     40 |      752 |      684
1749.51/1750.04	c 1749s |      19 |   747051 |   532882 |    27949     40 |      752 |      684
1751.71/1752.27	c 1751s |      19 |   747971 |   533582 |    27949     40 |      752 |      684
1753.91/1754.43	c 1754s |      19 |   748742 |   534182 |    27949     40 |      752 |      684
1756.11/1756.65	c 1756s |      19 |   749793 |   534982 |    27949     40 |      752 |      684
1758.11/1758.66	c 1758s |      19 |   750554 |   535582 |    27949     40 |      752 |      684
1760.11/1760.66	c 1760s |      19 |   751183 |   536082 |    27949     40 |      752 |      684
1762.51/1763.00	c 1762s |      19 |   752013 |   536782 |    27949     40 |      752 |      684
1764.51/1765.03	c 1764s |      19 |   752646 |   537282 |    27949     40 |      752 |      684
1766.61/1767.17	c 1766s |      19 |   753542 |   537882 |    27949     40 |      752 |      684
1769.61/1770.11	c 1769s |      19 |   754453 |   538582 |    27949     41 |      752 |      684
1771.81/1772.31	c 1772s |      19 |   755312 |   539282 |    27949     41 |      752 |      684
1773.90/1774.43	c 1774s |      19 |   756592 |   540182 |    27949     41 |      752 |      684
1776.00/1776.50	c 1776s |      19 |   757874 |   541082 |    27949     41 |      752 |      684
1778.10/1778.65	c 1778s |      19 |   758917 |   541882 |    27949     41 |      752 |      684
1780.30/1780.87	c 1780s |      19 |   759739 |   542582 |    27949     41 |      752 |      684
1782.40/1782.90	c 1782s |      19 |   760427 |   543182 |    27949     41 |      752 |      684
1784.50/1785.04	c 1784s |      19 |   761408 |   543882 |    27949     41 |      752 |      684
1786.60/1787.18	c 1786s |      19 |   762398 |   544582 |    27949     41 |      752 |      684
1788.80/1789.31	c 1789s |      19 |   763221 |   545282 |    27949     41 |      752 |      684
1790.90/1791.42	c 1791s |      19 |   763921 |   545882 |    27949     41 |      752 |      684
1793.10/1793.64	c 1793s |      19 |   764815 |   546582 |    27949     41 |      752 |      684
1795.20/1795.78	c 1795s |      19 |   765708 |   547282 |    27949     41 |      752 |      684
1797.60/1798.15	c 1797s |      19 |   766495 |   547882 |    27949     41 |      752 |      684
1799.70/1800.21	c 1799s |      19 |   767078 |   548382 |    27949     41 |      752 |      684

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

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

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


[startup+0 s]
/proc/loadavg: 1.23 1.64 1.98 4/175 24014
/proc/meminfo: memFree=29778040/32872528 swapFree=1381468/1569516
[pid=24014] ppid=24008 vsize=721340 CPUtime=0 cores=0,2,4,6
/proc/24014/stat : 24014 (toysat) R 24008 24014 21593 0 -1 4202496 2691 0 0 0 0 0 0 0 20 0 4 0 31098077 738652160 3051 33554432000 4194304 16246674 140733885145696 140733885145120 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24014/statm: 181103 3061 441 2943 0 177997 0
[pid=24014/tid=24015] ppid=24008 vsize=738748 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24015/stat : 24015 (toysat) S 24008 24014 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31098078 756477952 3118 33554432000 4194304 16246674 140733885145696 139935872953584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24014/tid=24016] ppid=24008 vsize=742844 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24016/stat : 24016 (toysat) S 24008 24014 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 760672256 3134 33554432000 4194304 16246674 140733885145696 139935862463728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24014/tid=24018] ppid=24008 vsize=746940 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24018/stat : 24018 (toysat) S 24008 24014 21593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31098078 764866560 3152 33554432000 4194304 16246674 140733885145696 139935851990192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 1.23 1.64 1.98 4/175 24014
/proc/meminfo: memFree=29778040/32872528 swapFree=1381468/1569516
[pid=24014] ppid=24008 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/24014/stat : 24014 (toysat) R 24008 24014 21593 0 -1 4202496 28470 0 0 0 6 3 0 0 20 0 4 0 31098077 1249447936 28768 33554432000 4194304 16246674 140733885145696 140733885145008 4220936 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24014/statm: 305041 28768 801 2943 0 301935 0
[pid=24014/tid=24015] ppid=24008 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24015/stat : 24015 (toysat) S 24008 24014 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31098078 1249447936 28768 33554432000 4194304 16246674 140733885145696 139935872953584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24014/tid=24016] ppid=24008 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24016/stat : 24016 (toysat) S 24008 24014 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1249447936 28768 33554432000 4194304 16246674 140733885145696 139935862463728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24014/tid=24018] ppid=24008 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24018/stat : 24018 (toysat) S 24008 24014 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1249447936 28768 33554432000 4194304 16246674 140733885145696 139935851990192 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.200468 s]
/proc/loadavg: 1.23 1.64 1.98 4/175 24014
/proc/meminfo: memFree=29778040/32872528 swapFree=1381468/1569516
[pid=24014] ppid=24008 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/24014/stat : 24014 (toysat) R 24008 24014 21593 0 -1 4202496 48675 0 0 0 14 5 0 0 20 0 4 0 31098077 1332285440 48973 33554432000 4194304 16246674 140733885145696 140733885145008 5913644 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24014/statm: 325265 48973 842 2943 0 322159 0
[pid=24014/tid=24015] ppid=24008 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24015/stat : 24015 (toysat) S 24008 24014 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 48973 33554432000 4194304 16246674 140733885145696 139935872953584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24014/tid=24016] ppid=24008 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24016/stat : 24016 (toysat) S 24008 24014 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 48973 33554432000 4194304 16246674 140733885145696 139935862463728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24014/tid=24018] ppid=24008 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24018/stat : 24018 (toysat) S 24008 24014 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 48973 33554432000 4194304 16246674 140733885145696 139935851990192 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.300454 s]
/proc/loadavg: 1.23 1.64 1.98 4/175 24014
/proc/meminfo: memFree=29778040/32872528 swapFree=1381468/1569516
[pid=24014] ppid=24008 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/24014/stat : 24014 (toysat) R 24008 24014 21593 0 -1 4202496 54425 0 0 0 23 6 0 0 20 0 4 0 31098077 1332285440 54723 33554432000 4194304 16246674 140733885145696 140733885145008 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24014/statm: 325265 54727 882 2943 0 322159 0
[pid=24014/tid=24015] ppid=24008 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24015/stat : 24015 (toysat) S 24008 24014 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 54731 33554432000 4194304 16246674 140733885145696 139935872953584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24014/tid=24016] ppid=24008 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24016/stat : 24016 (toysat) S 24008 24014 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 54734 33554432000 4194304 16246674 140733885145696 139935862463728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24014/tid=24018] ppid=24008 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24018/stat : 24018 (toysat) S 24008 24014 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 54737 33554432000 4194304 16246674 140733885145696 139935851990192 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.700284 s]
/proc/loadavg: 1.23 1.64 1.98 4/175 24014
/proc/meminfo: memFree=29778040/32872528 swapFree=1381468/1569516
[pid=24014] ppid=24008 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/24014/stat : 24014 (toysat) R 24008 24014 21593 0 -1 4202496 102916 0 0 0 57 12 0 0 20 0 4 0 31098077 1332285440 103214 33554432000 4194304 16246674 140733885145696 140733885145008 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24014/statm: 325265 103217 882 2943 0 322159 0
[pid=24014/tid=24015] ppid=24008 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24015/stat : 24015 (toysat) S 24008 24014 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 103221 33554432000 4194304 16246674 140733885145696 139935872953584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24014/tid=24016] ppid=24008 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24016/stat : 24016 (toysat) S 24008 24014 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 103225 33554432000 4194304 16246674 140733885145696 139935862463728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24014/tid=24018] ppid=24008 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24018/stat : 24018 (toysat) S 24008 24014 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 103227 33554432000 4194304 16246674 140733885145696 139935851990192 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.50038 s]
/proc/loadavg: 1.23 1.64 1.98 4/183 24022
/proc/meminfo: memFree=28567624/32872528 swapFree=1381468/1569516
[pid=24014] ppid=24008 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/24014/stat : 24014 (toysat) R 24008 24014 21593 0 -1 4202496 203484 0 0 0 124 25 0 0 20 0 4 0 31098077 1332285440 203782 33554432000 4194304 16246674 140733885145696 140733885128688 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24014/statm: 325265 203787 882 2943 0 322159 0
[pid=24014/tid=24015] ppid=24008 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24015/stat : 24015 (toysat) S 24008 24014 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 203791 33554432000 4194304 16246674 140733885145696 139935872953584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24014/tid=24016] ppid=24008 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24016/stat : 24016 (toysat) S 24008 24014 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 203794 33554432000 4194304 16246674 140733885145696 139935862463728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24014/tid=24018] ppid=24008 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24018/stat : 24018 (toysat) S 24008 24014 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1332285440 203800 33554432000 4194304 16246674 140733885145696 139935851990192 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) 1301060

[startup+3.10034 s]
/proc/loadavg: 1.45 1.68 1.99 4/183 24022
/proc/meminfo: memFree=27624356/32872528 swapFree=1381468/1569516
[pid=24014] ppid=24008 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/24014/stat : 24014 (toysat) R 24008 24014 21593 0 -1 4202496 269347 0 0 0 274 35 0 0 20 0 4 0 31098077 1344868352 269645 33554432000 4194304 16246674 140733885145696 140733885127616 5661247 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24014/statm: 328337 269645 889 2943 0 325231 0
[pid=24014/tid=24015] ppid=24008 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24015/stat : 24015 (toysat) S 24008 24014 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269645 33554432000 4194304 16246674 140733885145696 139935872953584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24014/tid=24016] ppid=24008 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24016/stat : 24016 (toysat) S 24008 24014 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269645 33554432000 4194304 16246674 140733885145696 139935862463728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24014/tid=24018] ppid=24008 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24018/stat : 24018 (toysat) S 24008 24014 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269645 33554432000 4194304 16246674 140733885145696 139935851990192 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.30032 s]
/proc/loadavg: 1.45 1.68 1.99 4/183 24022
/proc/meminfo: memFree=27622896/32872528 swapFree=1381468/1569516
[pid=24014] ppid=24008 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/24014/stat : 24014 (toysat) R 24008 24014 21593 0 -1 4202496 269525 0 0 0 594 35 0 0 20 0 4 0 31098077 1344868352 269823 33554432000 4194304 16246674 140733885145696 140733885127616 13759916 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24014/statm: 328337 269823 889 2943 0 325231 0
[pid=24014/tid=24015] ppid=24008 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24015/stat : 24015 (toysat) S 24008 24014 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269823 33554432000 4194304 16246674 140733885145696 139935872953584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24014/tid=24016] ppid=24008 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24016/stat : 24016 (toysat) S 24008 24014 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269823 33554432000 4194304 16246674 140733885145696 139935862463728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24014/tid=24018] ppid=24008 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24018/stat : 24018 (toysat) S 24008 24014 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269823 33554432000 4194304 16246674 140733885145696 139935851990192 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: 1.69 1.72 2.01 4/183 24022
/proc/meminfo: memFree=27622816/32872528 swapFree=1381468/1569516
[pid=24014] ppid=24008 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/24014/stat : 24014 (toysat) R 24008 24014 21593 0 -1 4202496 269527 0 0 0 1234 35 0 0 20 0 4 0 31098077 1344868352 269825 33554432000 4194304 16246674 140733885145696 140733885143552 5711216 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24014/statm: 328337 269825 891 2943 0 325231 0
[pid=24014/tid=24015] ppid=24008 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24015/stat : 24015 (toysat) S 24008 24014 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269825 33554432000 4194304 16246674 140733885145696 139935872953584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24014/tid=24016] ppid=24008 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24016/stat : 24016 (toysat) S 24008 24014 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269825 33554432000 4194304 16246674 140733885145696 139935862463728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24014/tid=24018] ppid=24008 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24018/stat : 24018 (toysat) S 24008 24014 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269825 33554432000 4194304 16246674 140733885145696 139935851990192 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.5004 s]
/proc/loadavg: 1.74 1.73 2.00 5/183 24022
/proc/meminfo: memFree=27624048/32872528 swapFree=1381468/1569516
[pid=24014] ppid=24008 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/24014/stat : 24014 (toysat) R 24008 24014 21593 0 -1 4202496 269528 0 0 0 2514 35 0 0 20 0 4 0 31098077 1344868352 269826 33554432000 4194304 16246674 140733885145696 140733885127616 5659576 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24014/statm: 328337 269826 892 2943 0 325231 0
[pid=24014/tid=24015] ppid=24008 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24015/stat : 24015 (toysat) S 24008 24014 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269826 33554432000 4194304 16246674 140733885145696 139935872953584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24014/tid=24016] ppid=24008 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24016/stat : 24016 (toysat) S 24008 24014 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269826 33554432000 4194304 16246674 140733885145696 139935862463728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24014/tid=24018] ppid=24008 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24018/stat : 24018 (toysat) S 24008 24014 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269826 33554432000 4194304 16246674 140733885145696 139935851990192 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.1003 s]
/proc/loadavg: 1.88 1.77 2.01 4/183 24022
/proc/meminfo: memFree=27624104/32872528 swapFree=1381468/1569516
[pid=24014] ppid=24008 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/24014/stat : 24014 (toysat) R 24008 24014 21593 0 -1 4202496 269528 0 0 0 5073 35 0 0 20 0 4 0 31098077 1344868352 269826 33554432000 4194304 16246674 140733885145696 140733885144792 12415743 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24014/statm: 328337 269826 892 2943 0 325231 0
[pid=24014/tid=24015] ppid=24008 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24015/stat : 24015 (toysat) S 24008 24014 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269826 33554432000 4194304 16246674 140733885145696 139935872953584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24014/tid=24016] ppid=24008 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24016/stat : 24016 (toysat) S 24008 24014 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269826 33554432000 4194304 16246674 140733885145696 139935862463728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24014/tid=24018] ppid=24008 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24018/stat : 24018 (toysat) S 24008 24014 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269826 33554432000 4194304 16246674 140733885145696 139935851990192 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.19 1.87 2.02 4/183 24023
/proc/meminfo: memFree=27622656/32872528 swapFree=1381468/1569516
[pid=24014] ppid=24008 vsize=1313348 CPUtime=102.27 cores=0,2,4,6
/proc/24014/stat : 24014 (toysat) R 24008 24014 21593 0 -1 4202496 269528 0 0 0 10192 35 0 0 20 0 4 0 31098077 1344868352 269826 33554432000 4194304 16246674 140733885145696 140733885127616 12461832 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24014/statm: 328337 269826 892 2943 0 325231 0
[pid=24014/tid=24015] ppid=24008 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24015/stat : 24015 (toysat) S 24008 24014 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269826 33554432000 4194304 16246674 140733885145696 139935872953584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24014/tid=24016] ppid=24008 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24016/stat : 24016 (toysat) S 24008 24014 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269826 33554432000 4194304 16246674 140733885145696 139935862463728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24014/tid=24018] ppid=24008 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24018/stat : 24018 (toysat) S 24008 24014 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1344868352 269826 33554432000 4194304 16246674 140733885145696 139935851990192 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/24014/task/24018/stat : 24018 (toysat) S 24008 24014 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935851990192 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) 1330756

[startup+1362.3 s]
/proc/loadavg: 2.24 2.20 2.15 4/183 24055
/proc/meminfo: memFree=27581724/32872528 swapFree=1381468/1569516
[pid=24014] ppid=24008 vsize=1330756 CPUtime=1361.87 cores=0,2,4,6
/proc/24014/stat : 24014 (toysat) R 24008 24014 21593 0 -1 4202496 274258 0 0 0 136144 43 0 0 20 0 4 0 31098077 1362694144 274181 33554432000 4194304 16246674 140733885145696 140733885127616 5672201 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24014/statm: 332689 274181 892 2943 0 329583 0
[pid=24014/tid=24015] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24015/stat : 24015 (toysat) S 24008 24014 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935872953584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24014/tid=24016] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24016/stat : 24016 (toysat) S 24008 24014 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935862463728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24014/tid=24018] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24018/stat : 24018 (toysat) S 24008 24014 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935851990192 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) 1330756

[startup+1422.3 s]
/proc/loadavg: 2.18 2.20 2.15 5/184 24059
/proc/meminfo: memFree=27581632/32872528 swapFree=1381468/1569516
[pid=24014] ppid=24008 vsize=1330756 CPUtime=1421.86 cores=0,2,4,6
/proc/24014/stat : 24014 (toysat) R 24008 24014 21593 0 -1 4202496 274258 0 0 0 142143 43 0 0 20 0 4 0 31098077 1362694144 274181 33554432000 4194304 16246674 140733885145696 140733885127616 5522872 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24014/statm: 332689 274181 892 2943 0 329583 0
[pid=24014/tid=24015] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24015/stat : 24015 (toysat) S 24008 24014 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935872953584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24014/tid=24016] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24016/stat : 24016 (toysat) S 24008 24014 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935862463728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24014/tid=24018] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24018/stat : 24018 (toysat) S 24008 24014 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935851990192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1330756

[startup+1482.3 s]
/proc/loadavg: 2.37 2.25 2.17 4/184 24083
/proc/meminfo: memFree=27581544/32872528 swapFree=1381468/1569516
[pid=24014] ppid=24008 vsize=1330756 CPUtime=1481.84 cores=0,2,4,6
/proc/24014/stat : 24014 (toysat) R 24008 24014 21593 0 -1 4202496 274258 0 0 0 148141 43 0 0 20 0 4 0 31098077 1362694144 274181 33554432000 4194304 16246674 140733885145696 140733885127616 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24014/statm: 332689 274181 892 2943 0 329583 0
[pid=24014/tid=24015] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24015/stat : 24015 (toysat) S 24008 24014 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935872953584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24014/tid=24016] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24016/stat : 24016 (toysat) S 24008 24014 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935862463728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24014/tid=24018] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24018/stat : 24018 (toysat) S 24008 24014 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935851990192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1330756

[startup+1542.3 s]
/proc/loadavg: 2.27 2.23 2.17 4/183 24084
/proc/meminfo: memFree=27581932/32872528 swapFree=1381468/1569516
[pid=24014] ppid=24008 vsize=1330756 CPUtime=1541.84 cores=0,2,4,6
/proc/24014/stat : 24014 (toysat) R 24008 24014 21593 0 -1 4202496 274258 0 0 0 154140 44 0 0 20 0 4 0 31098077 1362694144 274181 33554432000 4194304 16246674 140733885145696 140733885127616 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24014/statm: 332689 274181 892 2943 0 329583 0
[pid=24014/tid=24015] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24015/stat : 24015 (toysat) S 24008 24014 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935872953584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24014/tid=24016] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24016/stat : 24016 (toysat) S 24008 24014 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935862463728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24014/tid=24018] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24018/stat : 24018 (toysat) S 24008 24014 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935851990192 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) 1330756

[startup+1602.3 s]
/proc/loadavg: 2.31 2.25 2.18 5/183 24085
/proc/meminfo: memFree=27582072/32872528 swapFree=1381472/1569520
[pid=24014] ppid=24008 vsize=1330756 CPUtime=1601.83 cores=0,2,4,6
/proc/24014/stat : 24014 (toysat) R 24008 24014 21593 0 -1 4202496 274258 0 0 0 160139 44 0 0 20 0 4 0 31098077 1362694144 274181 33554432000 4194304 16246674 140733885145696 140733885127616 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24014/statm: 332689 274181 892 2943 0 329583 0
[pid=24014/tid=24015] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24015/stat : 24015 (toysat) S 24008 24014 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935872953584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24014/tid=24016] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24016/stat : 24016 (toysat) S 24008 24014 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935862463728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24014/tid=24018] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24018/stat : 24018 (toysat) S 24008 24014 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935851990192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1330756

[startup+1662.3 s]
/proc/loadavg: 2.18 2.22 2.17 4/182 24086
/proc/meminfo: memFree=27582356/32872528 swapFree=1381468/1569516
[pid=24014] ppid=24008 vsize=1330756 CPUtime=1661.83 cores=0,2,4,6
/proc/24014/stat : 24014 (toysat) R 24008 24014 21593 0 -1 4202496 274258 0 0 0 166139 44 0 0 20 0 4 0 31098077 1362694144 274181 33554432000 4194304 16246674 140733885145696 140733885127616 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24014/statm: 332689 274181 892 2943 0 329583 0
[pid=24014/tid=24015] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24015/stat : 24015 (toysat) S 24008 24014 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935872953584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24014/tid=24016] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24016/stat : 24016 (toysat) S 24008 24014 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935862463728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24014/tid=24018] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24018/stat : 24018 (toysat) S 24008 24014 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935851990192 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) 1330756

[startup+1722.3 s]
/proc/loadavg: 2.12 2.19 2.17 4/182 24088
/proc/meminfo: memFree=27583156/32872528 swapFree=1381468/1569516
[pid=24014] ppid=24008 vsize=1330756 CPUtime=1721.81 cores=0,2,4,6
/proc/24014/stat : 24014 (toysat) R 24008 24014 21593 0 -1 4202496 274258 0 0 0 172137 44 0 0 20 0 4 0 31098077 1362694144 274181 33554432000 4194304 16246674 140733885145696 140733885127616 5822286 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24014/statm: 332689 274181 892 2943 0 329583 0
[pid=24014/tid=24015] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24015/stat : 24015 (toysat) S 24008 24014 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935872953584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24014/tid=24016] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24016/stat : 24016 (toysat) S 24008 24014 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935862463728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24014/tid=24018] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24018/stat : 24018 (toysat) S 24008 24014 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935851990192 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) 1330756

[startup+1782.31 s]
/proc/loadavg: 2.20 2.20 2.17 5/183 24090
/proc/meminfo: memFree=27581984/32872528 swapFree=1381468/1569516
[pid=24014] ppid=24008 vsize=1330756 CPUtime=1781.81 cores=0,2,4,6
/proc/24014/stat : 24014 (toysat) R 24008 24014 21593 0 -1 4202496 274258 0 0 0 178136 45 0 0 20 0 4 0 31098077 1362694144 274181 33554432000 4194304 16246674 140733885145696 140733885127616 5711439 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24014/statm: 332689 274181 892 2943 0 329583 0
[pid=24014/tid=24015] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24015/stat : 24015 (toysat) S 24008 24014 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935872953584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24014/tid=24016] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24016/stat : 24016 (toysat) S 24008 24014 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935862463728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24014/tid=24018] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24018/stat : 24018 (toysat) S 24008 24014 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935851990192 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) 1330756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.30 2.22 2.18 4/183 24090
/proc/meminfo: memFree=27582480/32872528 swapFree=1381468/1569516
[pid=24014] ppid=24008 vsize=1330756 CPUtime=1800 cores=0,2,4,6
/proc/24014/stat : 24014 (toysat) R 24008 24014 21593 0 -1 4202496 274258 0 0 0 179955 45 0 0 20 0 4 0 31098077 1362694144 274181 33554432000 4194304 16246674 140733885145696 140733885127616 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24014/statm: 332689 274181 892 2943 0 329583 0
[pid=24014/tid=24015] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24015/stat : 24015 (toysat) S 24008 24014 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935872953584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24014/tid=24016] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24016/stat : 24016 (toysat) S 24008 24014 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935862463728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24014/tid=24018] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24018/stat : 24018 (toysat) S 24008 24014 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935851990192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1330756

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24014 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.30 2.22 2.18 4/183 24090
/proc/meminfo: memFree=27582480/32872528 swapFree=1381468/1569516
[pid=24014] ppid=24008 vsize=1330756 CPUtime=1800 cores=0,2,4,6
/proc/24014/stat : 24014 (toysat) R 24008 24014 21593 0 -1 4202496 274258 0 0 0 179955 45 0 0 20 0 4 0 31098077 1362694144 274181 33554432000 4194304 16246674 140733885145696 140733885127616 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24014/statm: 332689 274181 892 2943 0 329583 0
[pid=24014/tid=24015] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24015/stat : 24015 (toysat) S 24008 24014 21593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935872953584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24014/tid=24016] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24016/stat : 24016 (toysat) S 24008 24014 21593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935862463728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24014/tid=24018] ppid=24008 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/24014/task/24018/stat : 24018 (toysat) S 24008 24014 21593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31098078 1362694144 274181 33554432000 4194304 16246674 140733885145696 139935851990192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1330756

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.56
CPU system time (s): 0.45593
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 1330756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.45593
maximum resident set size= 1096724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274258
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= 395
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6784 second user time and 15.0807 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-27 00:36:43
IDJOB=4116989
IDBENCH=109539
IDSOLVER=2542
FILE ID=node140/4116989-1466980602
RUNJOBID= node140-1466980602-23985
PBS_JOBID= 19976369
Free space on /tmp= 71648 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-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-4116989-1466980602/watcher-4116989-1466980602 -o /tmp/evaluation-result-4116989-1466980602/solver-4116989-1466980602 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466980602-23985 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116989-1466980602.opb

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

MD5SUM BENCH= 4afa13d1f672d029d1dc624e017e47fc
RANDOM SEED=2132672740

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.707
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:        29779064 kB
Buffers:          178732 kB
Cached:           606532 kB
SwapCached:         1824 kB
Active:           157576 kB
Inactive:         630792 kB
Active(anon):       3536 kB
Inactive(anon):     2380 kB
Active(file):     154040 kB
Inactive(file):   628412 kB
Unevictable:     1569516 kB
Mlocked:         1381468 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:             33692 kB
Writeback:             0 kB
AnonPages:       1629784 kB
Mapped:             7180 kB
Shmem:                 0 kB
Slab:             601800 kB
SReclaimable:      45336 kB
SUnreclaim:       556464 kB
KernelStack:        1416 kB
PageTables:         7144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1665772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 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= 71620 MiB
End job on node140 at 2016-06-27 01:06:43