Trace number 4116277

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-9.opb
MD5SUMf9a64a64b49371491e530c3c526be748
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:14:51+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-4116277-1466979291.opb"]
0.00/0.01	c use --random-gen="3116649654 50651517 2927690215 214261416 38494375 3970538051 4027224952 2200923051 932410524 3994682275 3329618202 1978557224 266641015 4239512313 3281925788 1017793216 3041170633 3071713042 2222961198 4136397682 1471044687 3890418469 1445997096 845362914 3460824770 2212903642 3963365633 391109369 2089374235 277729859 2496026445 1792629749 1193224782 3224896287 4218632405 2165732699 1791771575 3486222352 508674173 3394687265 1136702040 3613755112 2769238081 3442556520 605118249 3506243107 2387768647 1719907588 1592327691 2684777561 2896480388 2864214014 3195644235 1814618094 489953848 2126786053 1478559576 798324673 3081563413 4134075824 1978284072 3376942732 4150766508 1107962833 38119170 4290511195 808532244 2949657744 925406520 2619695423 1188583972 1264277793 268754569 4232997046 2241687367 741971794 470350107 3184272628 2499894970 2786936794 3343806362 3731499602 2500842258 3309681222 3472055312 205156333 1763625536 974781471 3422805608 2885321259 1099607286 968805636 3198534728 2758230068 4018501873 3702331414 281778593 2838858758 3050194758 489177613 429237238 833707078 2287001045 3319038165 2932032560 2276485822 212387536 273289344 408343935 3220810768 3799559669 1504039409 2938085635 4175307493 3184505763 1368922086 2513475360 739482830 2716388482 3285602514 3967292630 2956269442 1749541135 3470918151 235781853 1373290552 2143535709 402665267 1825134978 423041085 4222425749 1526430710 1962383651 3683453306 3077683650 21195979 2566671250 4204645173 1869565250 2985054909 2124179209 3088212289 399021636 737180641 3879691047 3673505368 3807410305 1552380015 2016666153 1048604801 4135266682 2466273807 3809146764 2016050680 1174408749 602039594 1428722669 1374617108 1072311483 1704708726 84099651 1835498418 2411802437 3163587404 775773547 256879072 879149210 2787047180 3895467975 3473376916 4086627983 1335556708 4136138869 1683600975 3009153199 2172439166 4230036257 1463803216 3106516322 271089998 131614856 2739308099 3501911806 1340554880 1080563041 2843037002 195860653 483583144 2423780595 2470448544 2218730740 1383696945 2422075923 3854368276 589025220 1253011695 926932641 1329629026 512091504 3653708247 2202396727 1587857610 3485863526 2680571560 3181284590 3198631627 988677559 2723968326 3328602460 3734250170 737796724 4237409996 863961421 491035423 2760865946 896943547 3274854097 3495894197 3524654069 3561773202 4198578241 574401223 3120566285 3525302265 2032380648 2486403526 4033719472 3223390210 3335979590 3751056639 3714141577 2244252341 829233550 3123975631 1578926077 2963924667 2910915555 2631253590 580121930 2896985319 3857996125 3534408491 3844161156 2676268463 3620448172 615850987 3698600358 423499254 295191329 2076976147 2065762168 2564843189 1130089969 3514835520 922719518 832128133 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9504
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |     4565      0 |      752 |        0
0.29/0.36	c  0.1s |       1 |     1281 |      100 |     4565      0 |      753 |      704
0.39/0.47	c  0.2s |       2 |     2532 |      250 |     5022      0 |      754 |      704
0.59/0.60	c  0.3s |       3 |     3280 |      475 |     5525      0 |      754 |      704
0.69/0.79	c  0.5s |       4 |     4816 |      813 |     6078      0 |      754 |      704
0.99/1.09	c  0.8s |       5 |     7349 |     1320 |     6686      0 |      754 |      704
2.09/2.12	c  1.8s |       6 |     9242 |     2081 |     8091      0 |      754 |      704
3.29/3.34	c  3.1s |       7 |    12702 |     3223 |     8901      0 |      754 |      704
4.39/4.49	c  4.2s |       8 |    20330 |     4936 |     9792      0 |      754 |      704
6.39/6.50	c  6.2s |       8 |    24346 |     6436 |     9792      0 |      754 |      704
8.29/8.34	c  8.1s |       9 |    25538 |     7506 |    10772      0 |      754 |      704
10.39/10.41	c 10.1s |       9 |    33940 |    10006 |    10772      0 |      754 |      704
11.49/11.58	c 11.3s |      10 |    38203 |    11361 |    11850      0 |      754 |      704
13.59/13.62	c 13.3s |      10 |    40627 |    12561 |    11850      0 |      754 |      704
15.59/15.67	c 15.4s |      10 |    46928 |    14561 |    11850      1 |      754 |      704
17.70/17.76	c 17.5s |      10 |    50472 |    16261 |    11850      1 |      754 |      704
19.49/19.52	c 19.2s |      11 |    51581 |    17144 |    13036      1 |      754 |      704
21.79/21.82	c 21.5s |      11 |    55965 |    18544 |    13036      1 |      754 |      704
23.89/23.96	c 23.7s |      11 |    57520 |    19544 |    13036      1 |      754 |      704
26.09/26.13	c 25.9s |      11 |    59059 |    20644 |    13036      1 |      754 |      704
28.29/28.33	c 28.1s |      11 |    60050 |    21444 |    13036      1 |      754 |      704
30.29/30.35	c 30.1s |      11 |    60922 |    22144 |    13036      1 |      754 |      704
32.58/32.65	c 32.4s |      11 |    61929 |    22944 |    13036      1 |      754 |      704
34.78/34.84	c 34.6s |      11 |    63372 |    23944 |    13036      2 |      754 |      704
36.78/36.85	c 36.6s |      11 |    64189 |    24644 |    13036      2 |      754 |      704
39.08/39.17	c 38.9s |      11 |    64991 |    25344 |    13036      2 |      754 |      704
40.98/41.10	c 40.8s |      12 |    65605 |    25819 |    14340      2 |      754 |      704
43.18/43.21	c 42.9s |      12 |    75372 |    27819 |    14340      2 |      754 |      704
45.28/45.34	c 45.1s |      12 |    79734 |    29619 |    14340      2 |      754 |      704
47.39/47.43	c 47.2s |      12 |    81116 |    30719 |    14340      2 |      754 |      704
49.59/49.60	c 49.3s |      12 |    82560 |    31819 |    14340      2 |      754 |      704
51.58/51.65	c 51.4s |      12 |    83352 |    32519 |    14340      2 |      754 |      704
53.68/53.75	c 53.5s |      12 |    84912 |    33519 |    14340      3 |      754 |      704
55.78/55.87	c 55.6s |      12 |    86577 |    34819 |    14340      3 |      754 |      704
57.98/58.03	c 57.8s |      12 |    87977 |    35919 |    14340      3 |      754 |      704
60.08/60.18	c 59.9s |      12 |    89390 |    37019 |    14340      3 |      754 |      704
62.37/62.46	c 62.2s |      12 |    90604 |    38019 |    14340      3 |      754 |      704
64.37/64.49	c 64.2s |      12 |    91500 |    38819 |    15775      3 |      754 |      704
64.47/64.52	c 64.2s |      13 |    91518 |    38832 |    15775      3 |      754 |      704
66.57/66.66	c 66.4s |      13 |    96827 |    40432 |    15775      3 |      754 |      704
68.67/68.73	c 68.5s |      13 |   101495 |    41832 |    15775      4 |      754 |      704
70.67/70.78	c 70.5s |      13 |   105293 |    43732 |    15775      4 |      754 |      704
72.68/72.80	c 72.5s |      13 |   108350 |    45432 |    15775      4 |      754 |      704
74.67/74.80	c 74.5s |      13 |   110368 |    46732 |    15775      4 |      754 |      704
76.77/76.86	c 76.6s |      13 |   111934 |    47932 |    15775      4 |      754 |      704
78.97/79.07	c 78.8s |      13 |   113162 |    48932 |    15775      4 |      754 |      704
81.07/81.15	c 80.9s |      13 |   114816 |    50032 |    15775      4 |      754 |      704
83.16/83.22	c 82.9s |      13 |   115966 |    50932 |    15775      4 |      754 |      704
85.16/85.26	c 85.0s |      13 |   116938 |    51732 |    15775      4 |      754 |      704
87.36/87.45	c 87.2s |      13 |   117920 |    52532 |    15775      5 |      754 |      704
89.46/89.57	c 89.3s |      13 |   118895 |    53332 |    15775      5 |      754 |      704
91.76/91.81	c 91.5s |      13 |   119944 |    54232 |    15775      5 |      754 |      704
93.96/94.06	c 93.8s |      13 |   120865 |    55032 |    15775      5 |      754 |      704
96.06/96.15	c 95.9s |      13 |   121812 |    55832 |    15775      5 |      754 |      704
98.06/98.15	c 97.9s |      13 |   122658 |    56532 |    15775      5 |      754 |      704
100.27/100.30	c  100s |      13 |   123470 |    57232 |    15775      5 |      754 |      704
102.28/102.40	c  102s |      13 |   124306 |    57932 |    15775      5 |      754 |      704
103.67/103.75	c  103s |      14 |   124808 |    58352 |    17353      5 |      754 |      704
105.77/105.83	c  105s |      14 |   131352 |    60452 |    17353      5 |      754 |      704
107.87/107.94	c  107s |      14 |   134010 |    62652 |    17353      5 |      754 |      704
109.87/110.00	c  109s |      14 |   135408 |    63952 |    17353      6 |      754 |      704
111.97/112.03	c  111s |      14 |   136980 |    65352 |    17353      6 |      754 |      704
113.97/114.05	c  113s |      14 |   138389 |    66652 |    17353      6 |      754 |      704
116.06/116.11	c  115s |      14 |   139684 |    67852 |    17353      6 |      754 |      704
118.16/118.26	c  117s |      14 |   140889 |    68952 |    17353      6 |      754 |      704
120.26/120.30	c  120s |      14 |   141980 |    69952 |    17353      6 |      754 |      704
122.36/122.40	c  122s |      14 |   143075 |    70952 |    17353      6 |      754 |      704
124.46/124.53	c  124s |      14 |   144151 |    71952 |    17353      6 |      754 |      704
126.56/126.64	c  126s |      14 |   145097 |    72852 |    17353      6 |      754 |      704
128.66/128.78	c  128s |      14 |   145948 |    73652 |    17353      7 |      754 |      704
130.86/130.96	c  130s |      14 |   147007 |    74652 |    17353      7 |      754 |      704
132.95/133.07	c  132s |      14 |   147947 |    75552 |    17353      7 |      754 |      704
135.05/135.10	c  134s |      14 |   148794 |    76352 |    17353      7 |      754 |      704
137.05/137.14	c  136s |      14 |   149620 |    77152 |    17353      7 |      754 |      704
139.15/139.23	c  138s |      14 |   150362 |    77852 |    17353      7 |      754 |      704
141.25/141.33	c  141s |      14 |   151117 |    78552 |    17353      7 |      754 |      704
143.44/143.51	c  143s |      14 |   151863 |    79252 |    17353      7 |      754 |      704
145.64/145.72	c  145s |      14 |   152611 |    79952 |    17353      7 |      754 |      704
147.64/147.74	c  147s |      14 |   153488 |    80752 |    17353      7 |      754 |      704
149.74/149.86	c  149s |      14 |   154369 |    81552 |    17353      7 |      754 |      704
151.94/152.00	c  151s |      14 |   155245 |    82352 |    17353      7 |      754 |      704
154.04/154.15	c  153s |      14 |   155988 |    83052 |    17353      7 |      754 |      704
156.24/156.39	c  156s |      14 |   156635 |    83652 |    17353      8 |      754 |      704
158.34/158.43	c  158s |      14 |   157581 |    84552 |    17353      8 |      754 |      704
160.44/160.57	c  160s |      14 |   158543 |    85452 |    17353      8 |      754 |      704
162.53/162.65	c  162s |      14 |   159509 |    86352 |    17353      8 |      754 |      704
164.63/164.77	c  164s |      14 |   160383 |    87152 |    19089      8 |      754 |      704
165.93/166.08	c  165s |      15 |   160901 |    87632 |    19089      8 |      754 |      704
167.93/168.09	c  167s |      15 |   163277 |    89432 |    19089      8 |      754 |      704
170.03/170.19	c  169s |      15 |   165277 |    91332 |    19089      8 |      754 |      704
172.13/172.26	c  171s |      15 |   167318 |    92732 |    19089      8 |      754 |      704
174.13/174.27	c  173s |      15 |   172314 |    94432 |    19089      9 |      754 |      704
176.23/176.32	c  176s |      15 |   176362 |    96132 |    19089      9 |      754 |      704
178.33/178.45	c  178s |      15 |   178285 |    97232 |    19089      9 |      754 |      704
180.33/180.48	c  180s |      15 |   179516 |    98232 |    19089      9 |      754 |      704
182.43/182.54	c  182s |      15 |   180579 |    99132 |    19089      9 |      754 |      704
184.53/184.66	c  184s |      15 |   181497 |    99932 |    19089      9 |      754 |      704
186.72/186.88	c  186s |      15 |   182379 |   100732 |    19089      9 |      754 |      704
188.92/189.06	c  188s |      15 |   183232 |   101532 |    19089      9 |      754 |      704
190.92/191.07	c  190s |      15 |   184039 |   102232 |    19089      9 |      754 |      704
193.02/193.14	c  192s |      15 |   184594 |   102732 |    19089      9 |      754 |      704
195.02/195.17	c  194s |      15 |   185150 |   103232 |    19089      9 |      754 |      704
197.12/197.25	c  196s |      15 |   185668 |   103732 |    19089      9 |      754 |      704
199.42/199.53	c  199s |      15 |   186203 |   104232 |    19089      9 |      754 |      704
201.52/201.67	c  201s |      15 |   186629 |   104632 |    19089      9 |      754 |      704
203.81/203.90	c  203s |      15 |   187090 |   105032 |    19089      9 |      754 |      704
205.81/205.95	c  205s |      15 |   188951 |   106032 |    19089     10 |      754 |      704
208.01/208.11	c  207s |      15 |   190263 |   107032 |    19089     10 |      754 |      704
210.12/210.20	c  209s |      15 |   191418 |   107932 |    19089     10 |      754 |      704
212.11/212.21	c  211s |      15 |   192452 |   108732 |    19089     10 |      754 |      704
214.11/214.27	c  213s |      15 |   194888 |   109832 |    19089     10 |      754 |      704
216.11/216.28	c  216s |      15 |   195943 |   110732 |    19089     10 |      754 |      704
218.31/218.45	c  218s |      15 |   197026 |   111632 |    19089     10 |      754 |      704
220.31/220.49	c  220s |      15 |   197988 |   112432 |    19089     10 |      754 |      704
222.51/222.63	c  222s |      15 |   198836 |   113132 |    19089     10 |      754 |      704
224.51/224.66	c  224s |      15 |   199514 |   113732 |    19089     10 |      754 |      704
226.71/226.86	c  226s |      15 |   200154 |   114332 |    19089     10 |      754 |      704
228.81/228.98	c  228s |      15 |   200690 |   114832 |    19089     10 |      754 |      704
231.01/231.14	c  230s |      15 |   201357 |   115432 |    19089     10 |      754 |      704
233.00/233.19	c  232s |      15 |   202022 |   116032 |    19089     10 |      754 |      704
235.20/235.37	c  235s |      15 |   202719 |   116632 |    19089     10 |      754 |      704
237.40/237.54	c  237s |      15 |   203301 |   117132 |    19089     11 |      754 |      704
239.71/239.81	c  239s |      15 |   204118 |   117832 |    19089     11 |      754 |      704
241.81/241.95	c  241s |      15 |   204769 |   118432 |    19089     11 |      754 |      704
243.91/244.06	c  243s |      15 |   205485 |   119032 |    19089     11 |      754 |      704
246.11/246.23	c  245s |      15 |   206304 |   119732 |    19089     11 |      754 |      704
248.31/248.41	c  248s |      15 |   207116 |   120432 |    19089     11 |      754 |      704
250.31/250.47	c  250s |      15 |   207832 |   121032 |    19089     11 |      754 |      704
252.30/252.47	c  252s |      15 |   208572 |   121632 |    19089     11 |      754 |      704
254.50/254.60	c  254s |      15 |   209296 |   122232 |    19089     11 |      754 |      704
256.60/256.73	c  256s |      15 |   210014 |   122832 |    19089     11 |      754 |      704
258.80/258.95	c  258s |      15 |   210697 |   123432 |    19089     11 |      754 |      704
261.10/261.27	c  260s |      15 |   211356 |   124032 |    19089     11 |      754 |      704
263.40/263.55	c  263s |      15 |   212040 |   124632 |    19089     11 |      754 |      704
265.70/265.84	c  265s |      15 |   212708 |   125232 |    19089     11 |      754 |      704
268.00/268.17	c  267s |      15 |   213228 |   125732 |    19089     11 |      754 |      704
270.30/270.40	c  270s |      15 |   213753 |   126232 |    19089     11 |      754 |      704
272.59/272.71	c  272s |      15 |   214314 |   126732 |    19089     11 |      754 |      704
274.79/274.99	c  274s |      15 |   214897 |   127232 |    19089     11 |      754 |      704
277.10/277.22	c  276s |      15 |   215489 |   127732 |    19089     11 |      754 |      704
279.30/279.47	c  279s |      15 |   216061 |   128232 |    19089     11 |      754 |      704
281.69/281.82	c  281s |      15 |   216597 |   128732 |    19089     12 |      754 |      704
284.09/284.26	c  283s |      15 |   217267 |   129332 |    19089     12 |      754 |      704
286.29/286.41	c  286s |      15 |   217929 |   129932 |    19089     12 |      754 |      704
288.49/288.67	c  288s |      15 |   218600 |   130532 |    19089     12 |      754 |      704
290.89/291.02	c  290s |      15 |   219275 |   131132 |    20998     12 |      754 |      704
292.49/292.64	c  292s |      16 |   219745 |   131552 |    20998     12 |      754 |      704
294.49/294.68	c  294s |      16 |   227602 |   133552 |    20998     12 |      754 |      704
296.69/296.80	c  296s |      16 |   230469 |   135052 |    20998     12 |      754 |      704
298.69/298.85	c  298s |      16 |   231849 |   136252 |    20998     12 |      754 |      704
300.79/300.95	c  300s |      16 |   233057 |   137252 |    20998     12 |      754 |      704
303.08/303.22	c  302s |      16 |   234066 |   138152 |    20998     12 |      754 |      704
305.28/305.47	c  305s |      16 |   234900 |   138952 |    20998     12 |      754 |      704
307.38/307.54	c  307s |      16 |   235952 |   139852 |    20998     12 |      754 |      704
309.38/309.57	c  309s |      16 |   236952 |   140652 |    20998     12 |      754 |      704
311.48/311.63	c  311s |      16 |   237922 |   141452 |    20998     12 |      754 |      704
313.58/313.76	c  313s |      16 |   242453 |   142652 |    20998     13 |      754 |      704
315.68/315.86	c  315s |      16 |   246855 |   144152 |    20998     13 |      754 |      704
317.88/318.02	c  317s |      16 |   248170 |   145052 |    20998     13 |      754 |      704
319.98/320.12	c  319s |      16 |   249347 |   146052 |    20998     13 |      754 |      704
322.07/322.23	c  321s |      16 |   250442 |   146952 |    20998     13 |      754 |      704
324.38/324.51	c  324s |      16 |   251376 |   147752 |    20998     13 |      754 |      704
326.68/326.81	c  326s |      16 |   252155 |   148452 |    20998     13 |      754 |      704
328.88/329.04	c  328s |      16 |   252933 |   149152 |    20998     13 |      754 |      704
330.87/331.09	c  330s |      16 |   253607 |   149752 |    20998     13 |      754 |      704
333.17/333.30	c  333s |      16 |   254291 |   150352 |    20998     13 |      754 |      704
335.27/335.48	c  335s |      16 |   254958 |   150952 |    20998     13 |      754 |      704
337.47/337.69	c  337s |      16 |   256009 |   151752 |    20998     13 |      754 |      704
339.67/339.83	c  339s |      16 |   256995 |   152552 |    20998     13 |      754 |      704
341.76/341.93	c  341s |      16 |   257834 |   153252 |    20998     13 |      754 |      704
343.76/343.96	c  343s |      16 |   258564 |   153852 |    20998     14 |      754 |      704
346.06/346.23	c  345s |      16 |   259607 |   154652 |    20998     14 |      754 |      704
348.26/348.49	c  348s |      16 |   260463 |   155352 |    20998     14 |      754 |      704
350.55/350.74	c  350s |      16 |   261254 |   156052 |    20998     14 |      754 |      704
352.55/352.76	c  352s |      16 |   261924 |   156652 |    20998     14 |      754 |      704
354.65/354.89	c  354s |      16 |   262740 |   157352 |    20998     14 |      754 |      704
356.75/356.99	c  356s |      16 |   263593 |   158052 |    20998     14 |      754 |      704
358.85/359.09	c  358s |      16 |   264264 |   158652 |    20998     14 |      754 |      704
361.15/361.30	c  361s |      16 |   264953 |   159252 |    20998     14 |      754 |      704
363.34/363.54	c  363s |      16 |   266026 |   160052 |    20998     14 |      754 |      704
365.54/365.71	c  365s |      16 |   266811 |   160652 |    20998     14 |      754 |      704
367.54/367.77	c  367s |      16 |   267550 |   161252 |    20998     14 |      754 |      704
369.64/369.88	c  369s |      16 |   268250 |   161852 |    20998     14 |      754 |      704
371.75/371.95	c  371s |      16 |   268827 |   162352 |    20998     14 |      754 |      704
374.04/374.22	c  373s |      16 |   269636 |   163052 |    20998     14 |      754 |      704
376.14/376.36	c  376s |      16 |   270310 |   163652 |    20998     14 |      754 |      704
378.43/378.63	c  378s |      16 |   270982 |   164252 |    20998     14 |      754 |      704
380.44/380.64	c  380s |      16 |   271550 |   164752 |    20998     14 |      754 |      704
382.64/382.85	c  382s |      16 |   272179 |   165252 |    20998     14 |      754 |      704
384.84/385.03	c  384s |      16 |   272756 |   165752 |    20998     14 |      754 |      704
386.83/387.08	c  386s |      16 |   273225 |   166152 |    20998     15 |      754 |      704
389.03/389.23	c  388s |      16 |   273903 |   166752 |    20998     15 |      754 |      704
391.23/391.41	c  391s |      16 |   274562 |   167352 |    20998     15 |      754 |      704
393.43/393.64	c  393s |      16 |   275368 |   168052 |    20998     15 |      754 |      704
395.62/395.87	c  395s |      16 |   276038 |   168652 |    20998     15 |      754 |      704
397.82/398.03	c  397s |      16 |   276746 |   169252 |    20998     15 |      754 |      704
399.92/400.17	c  399s |      16 |   277401 |   169852 |    20998     15 |      754 |      704
402.12/402.36	c  402s |      16 |   278080 |   170452 |    20998     15 |      754 |      704
404.42/404.64	c  404s |      16 |   278731 |   171052 |    20998     15 |      754 |      704
406.52/406.74	c  406s |      16 |   279402 |   171652 |    20998     15 |      754 |      704
408.62/408.89	c  408s |      16 |   280083 |   172252 |    20998     15 |      754 |      704
411.02/411.28	c  411s |      16 |   280767 |   172852 |    20998     15 |      754 |      704
413.22/413.47	c  413s |      16 |   281305 |   173352 |    20998     15 |      754 |      704
415.42/415.60	c  415s |      16 |   281965 |   173952 |    20998     15 |      754 |      704
417.42/417.67	c  417s |      16 |   282628 |   174552 |    20998     15 |      754 |      704
419.52/419.78	c  419s |      16 |   283202 |   175052 |    20998     15 |      754 |      704
421.72/421.97	c  421s |      16 |   283896 |   175652 |    20998     15 |      754 |      704
424.02/424.29	c  424s |      16 |   284545 |   176252 |    20998     15 |      754 |      704
426.12/426.31	c  426s |      16 |   285109 |   176752 |    20998     15 |      754 |      704
428.41/428.64	c  428s |      16 |   285650 |   177252 |    20998     15 |      754 |      704
430.61/430.84	c  430s |      16 |   286188 |   177752 |    20998     15 |      754 |      704
432.71/432.90	c  432s |      16 |   286632 |   178152 |    20998     16 |      754 |      704
434.71/434.93	c  434s |      16 |   287330 |   178752 |    20998     16 |      754 |      704
437.01/437.22	c  436s |      16 |   287969 |   179352 |    20998     16 |      754 |      704
439.01/439.23	c  438s |      16 |   288505 |   179852 |    20998     16 |      754 |      704
441.31/441.56	c  441s |      16 |   289318 |   180552 |    20998     16 |      754 |      704
443.41/443.62	c  443s |      16 |   290035 |   181152 |    20998     16 |      754 |      704
445.51/445.75	c  445s |      16 |   290585 |   181652 |    20998     16 |      754 |      704
447.71/447.90	c  447s |      16 |   291150 |   182152 |    20998     16 |      754 |      704
450.01/450.24	c  449s |      16 |   291817 |   182752 |    20998     16 |      754 |      704
452.31/452.59	c  452s |      16 |   292483 |   183352 |    20998     16 |      754 |      704
454.81/455.06	c  454s |      16 |   293181 |   183952 |    20998     16 |      754 |      704
457.21/457.45	c  457s |      16 |   293707 |   184452 |    20998     16 |      754 |      704
459.51/459.77	c  459s |      16 |   294235 |   184952 |    20998     16 |      754 |      704
461.91/462.12	c  461s |      16 |   294814 |   185452 |    20998     16 |      754 |      704
464.11/464.34	c  464s |      16 |   295366 |   185952 |    20998     16 |      754 |      704
466.40/466.60	c  466s |      16 |   295900 |   186452 |    20998     16 |      754 |      704
468.51/468.75	c  468s |      16 |   296460 |   186952 |    20998     16 |      754 |      704
471.00/471.22	c  470s |      16 |   297045 |   187452 |    20998     16 |      754 |      704
473.19/473.46	c  473s |      16 |   297609 |   187952 |    20998     16 |      754 |      704
475.60/475.81	c  475s |      16 |   298160 |   188452 |    20998     16 |      754 |      704
477.70/477.96	c  477s |      16 |   298744 |   188952 |    20998     16 |      754 |      704
480.10/480.36	c  480s |      16 |   299476 |   189552 |    20998     16 |      754 |      704
482.60/482.89	c  482s |      16 |   300121 |   190052 |    20998     17 |      754 |      704
484.80/485.10	c  484s |      16 |   301138 |   190852 |    20998     17 |      754 |      704
487.11/487.33	c  487s |      16 |   301956 |   191552 |    20998     17 |      754 |      704
489.30/489.55	c  489s |      16 |   302784 |   192252 |    20998     17 |      754 |      704
491.60/491.85	c  491s |      16 |   303635 |   192952 |    20998     17 |      754 |      704
493.80/494.01	c  493s |      16 |   304196 |   193452 |    20998     17 |      754 |      704
496.09/496.35	c  496s |      16 |   305008 |   194152 |    20998     17 |      754 |      704
498.10/498.37	c  498s |      16 |   305600 |   194652 |    20998     17 |      754 |      704
500.30/500.51	c  500s |      16 |   306333 |   195252 |    20998     17 |      754 |      704
502.49/502.80	c  502s |      16 |   306999 |   195852 |    20998     17 |      754 |      704
504.89/505.11	c  504s |      16 |   307687 |   196452 |    23098     17 |      754 |      704
506.89/507.16	c  506s |      16 |   308226 |   196952 |    23098     17 |      754 |      704
508.89/509.12	c  508s |      17 |   308758 |   197432 |    23098     17 |      754 |      704
510.89/511.19	c  510s |      17 |   312740 |   199032 |    23098     17 |      754 |      704
513.18/513.40	c  513s |      17 |   317722 |   200932 |    23098     17 |      754 |      704
515.18/515.45	c  515s |      17 |   319587 |   202132 |    23098     17 |      754 |      704
517.28/517.53	c  517s |      17 |   321111 |   203232 |    23098     17 |      754 |      704
519.68/519.96	c  519s |      17 |   322446 |   204232 |    23098     18 |      754 |      704
521.98/522.23	c  521s |      17 |   323677 |   205232 |    23098     18 |      754 |      704
524.17/524.40	c  524s |      17 |   324505 |   205932 |    23098     18 |      754 |      704
526.17/526.40	c  526s |      17 |   325453 |   206732 |    23098     18 |      754 |      704
528.17/528.45	c  528s |      17 |   326591 |   207632 |    23098     18 |      754 |      704
530.37/530.68	c  530s |      17 |   327654 |   208532 |    23098     18 |      754 |      704
532.56/532.86	c  532s |      17 |   328790 |   209432 |    23098     18 |      754 |      704
534.66/534.98	c  534s |      17 |   329613 |   210132 |    23098     18 |      754 |      704
536.96/537.24	c  536s |      17 |   330432 |   210832 |    23098     18 |      754 |      704
538.96/539.28	c  539s |      17 |   331260 |   211532 |    23098     18 |      754 |      704
541.16/541.45	c  541s |      17 |   332052 |   212232 |    23098     18 |      754 |      704
543.26/543.56	c  543s |      17 |   332718 |   212832 |    23098     18 |      754 |      704
545.56/545.83	c  545s |      17 |   333492 |   213532 |    23098     18 |      754 |      704
547.66/547.95	c  547s |      17 |   334187 |   214132 |    23098     18 |      754 |      704
549.96/550.27	c  549s |      17 |   334865 |   214732 |    23098     18 |      754 |      704
552.15/552.48	c  552s |      17 |   335535 |   215332 |    23098     18 |      754 |      704
554.55/554.82	c  554s |      17 |   336084 |   215832 |    23098     18 |      754 |      704
556.65/556.99	c  556s |      17 |   336773 |   216432 |    23098     18 |      754 |      704
558.75/559.05	c  558s |      17 |   337327 |   216932 |    23098     18 |      754 |      704
561.15/561.42	c  561s |      17 |   338021 |   217532 |    23098     18 |      754 |      704
563.24/563.56	c  563s |      17 |   338472 |   217932 |    23098     19 |      754 |      704
565.44/565.70	c  565s |      17 |   339153 |   218532 |    23098     19 |      754 |      704
567.64/567.99	c  567s |      17 |   339845 |   219132 |    23098     19 |      754 |      704
569.74/570.08	c  569s |      17 |   340392 |   219632 |    23098     19 |      754 |      704
572.13/572.43	c  572s |      17 |   341189 |   220232 |    23098     19 |      754 |      704
574.33/574.63	c  574s |      17 |   341915 |   220832 |    23098     19 |      754 |      704
576.53/576.87	c  576s |      17 |   342640 |   221432 |    23098     19 |      754 |      704
578.93/579.26	c  578s |      17 |   343308 |   222032 |    23098     19 |      754 |      704
580.93/581.27	c  580s |      17 |   343881 |   222532 |    23098     19 |      754 |      704
583.13/583.40	c  583s |      17 |   344480 |   223032 |    23098     19 |      754 |      704
585.42/585.71	c  585s |      17 |   345061 |   223532 |    23098     19 |      754 |      704
587.62/587.91	c  587s |      17 |   345659 |   224032 |    23098     19 |      754 |      704
589.82/590.19	c  589s |      17 |   346221 |   224532 |    23098     19 |      754 |      704
592.12/592.46	c  592s |      17 |   346816 |   225032 |    23098     19 |      754 |      704
594.22/594.56	c  594s |      17 |   347465 |   225432 |    23098     19 |      754 |      704
596.42/596.70	c  596s |      17 |   348744 |   226232 |    23098     19 |      754 |      704
598.72/599.02	c  598s |      17 |   349704 |   226932 |    23098     19 |      754 |      704
600.71/601.08	c  600s |      17 |   350473 |   227532 |    23098     19 |      754 |      704
603.11/603.47	c  603s |      17 |   351325 |   228232 |    23098     19 |      754 |      704
605.31/605.62	c  605s |      17 |   352075 |   228832 |    23098     19 |      754 |      704
607.51/607.82	c  607s |      17 |   352830 |   229432 |    23098     19 |      754 |      704
609.71/610.09	c  609s |      17 |   353947 |   230132 |    23098     19 |      754 |      704
612.41/612.74	c  612s |      17 |   354762 |   230732 |    23098     20 |      754 |      704
614.50/614.80	c  614s |      17 |   355835 |   231532 |    23098     20 |      754 |      704
616.70/617.00	c  616s |      17 |   356701 |   232232 |    23098     20 |      754 |      704
618.90/619.30	c  619s |      17 |   357889 |   233032 |    23098     20 |      754 |      704
621.21/621.53	c  621s |      17 |   358529 |   233532 |    23098     20 |      754 |      704
623.20/623.54	c  623s |      17 |   359075 |   234032 |    23098     20 |      754 |      704
625.50/625.89	c  625s |      17 |   360070 |   234732 |    23098     20 |      754 |      704
627.81/628.13	c  627s |      17 |   360777 |   235332 |    23098     20 |      754 |      704
629.80/630.18	c  629s |      17 |   361503 |   235932 |    23098     20 |      754 |      704
631.90/632.26	c  631s |      17 |   362114 |   236432 |    23098     20 |      754 |      704
634.09/634.40	c  634s |      17 |   362842 |   237032 |    23098     20 |      754 |      704
636.09/636.43	c  636s |      17 |   363400 |   237532 |    23098     20 |      754 |      704
638.29/638.68	c  638s |      17 |   364114 |   238132 |    23098     20 |      754 |      704
640.70/641.07	c  640s |      17 |   364805 |   238732 |    23098     20 |      754 |      704
642.99/643.36	c  643s |      17 |   365506 |   239332 |    23098     20 |      754 |      704
645.19/645.56	c  645s |      17 |   366085 |   239832 |    23098     20 |      754 |      704
647.39/647.76	c  647s |      17 |   366659 |   240332 |    23098     20 |      754 |      704
649.90/650.22	c  649s |      17 |   367201 |   240832 |    23098     20 |      754 |      704
652.19/652.52	c  652s |      17 |   367743 |   241332 |    23098     20 |      754 |      704
654.39/654.73	c  654s |      17 |   368358 |   241832 |    23098     20 |      754 |      704
656.59/656.95	c  656s |      17 |   368805 |   242232 |    23098     20 |      754 |      704
658.69/659.04	c  658s |      17 |   369253 |   242632 |    23098     20 |      754 |      704
660.69/661.09	c  660s |      17 |   369728 |   243032 |    23098     20 |      754 |      704
662.88/663.20	c  662s |      17 |   370170 |   243432 |    23098     20 |      754 |      704
665.68/666.01	c  665s |      17 |   370799 |   243932 |    23098     21 |      754 |      704
667.78/668.14	c  667s |      17 |   371374 |   244432 |    23098     21 |      754 |      704
670.08/670.42	c  670s |      17 |   372049 |   245032 |    23098     21 |      754 |      704
672.38/672.74	c  672s |      17 |   372612 |   245532 |    23098     21 |      754 |      704
674.58/674.91	c  674s |      17 |   373204 |   246032 |    23098     21 |      754 |      704
676.58/676.93	c  676s |      17 |   373669 |   246432 |    23098     21 |      754 |      704
678.78/679.18	c  678s |      17 |   374270 |   246932 |    23098     21 |      754 |      704
681.18/681.52	c  681s |      17 |   374827 |   247432 |    23098     21 |      754 |      704
683.47/683.85	c  683s |      17 |   375385 |   247932 |    23098     21 |      754 |      704
685.57/685.91	c  685s |      17 |   375819 |   248332 |    23098     21 |      754 |      704
687.57/687.92	c  687s |      17 |   376273 |   248732 |    23098     21 |      754 |      704
689.77/690.18	c  689s |      17 |   376740 |   249132 |    23098     21 |      754 |      704
692.17/692.50	c  692s |      17 |   377187 |   249532 |    23098     21 |      754 |      704
694.67/695.08	c  694s |      17 |   377745 |   250032 |    23098     21 |      754 |      704
696.77/697.17	c  696s |      17 |   378196 |   250432 |    23098     21 |      754 |      704
699.17/699.58	c  699s |      17 |   378747 |   250932 |    23098     21 |      754 |      704
701.27/701.64	c  701s |      17 |   379181 |   251332 |    23098     21 |      754 |      704
703.37/703.74	c  703s |      17 |   379611 |   251732 |    23098     21 |      754 |      704
705.67/706.08	c  705s |      17 |   380039 |   252132 |    23098     21 |      754 |      704
707.97/708.34	c  708s |      17 |   380478 |   252532 |    23098     21 |      754 |      704
710.27/710.68	c  710s |      17 |   380920 |   252932 |    23098     21 |      754 |      704
712.37/712.74	c  712s |      17 |   381361 |   253332 |    23098     21 |      754 |      704
714.67/715.02	c  714s |      17 |   381802 |   253732 |    23098     21 |      754 |      704
717.06/717.42	c  717s |      17 |   382229 |   254132 |    23098     21 |      754 |      704
719.46/719.80	c  719s |      17 |   382679 |   254532 |    23098     21 |      754 |      704
722.06/722.41	c  722s |      17 |   383107 |   254932 |    23098     21 |      754 |      704
724.06/724.48	c  724s |      17 |   383451 |   255232 |    23098     21 |      754 |      704
726.36/726.73	c  726s |      17 |   383777 |   255532 |    23098     21 |      754 |      704
728.56/728.91	c  728s |      17 |   384296 |   255932 |    23098     21 |      754 |      704
730.76/731.19	c  730s |      17 |   384973 |   256432 |    23098     21 |      754 |      704
732.96/733.31	c  733s |      17 |   385460 |   256832 |    23098     21 |      754 |      704
735.16/735.51	c  735s |      17 |   385943 |   257232 |    23098     22 |      754 |      704
737.36/737.74	c  737s |      17 |   386817 |   257832 |    23098     22 |      754 |      704
739.56/739.95	c  739s |      17 |   387744 |   258532 |    23098     22 |      754 |      704
741.76/742.10	c  741s |      17 |   388362 |   259032 |    23098     22 |      754 |      704
743.86/744.26	c  743s |      17 |   389004 |   259532 |    23098     22 |      754 |      704
745.86/746.29	c  746s |      17 |   389478 |   259932 |    23098     22 |      754 |      704
748.16/748.55	c  748s |      17 |   390070 |   260432 |    23098     22 |      754 |      704
750.26/750.64	c  750s |      17 |   390671 |   260932 |    23098     22 |      754 |      704
752.66/753.07	c  752s |      17 |   391261 |   261432 |    23098     22 |      754 |      704
755.16/755.56	c  755s |      17 |   391836 |   261932 |    23098     22 |      754 |      704
757.56/757.96	c  757s |      17 |   392453 |   262432 |    23098     22 |      754 |      704
760.16/760.50	c  760s |      17 |   393075 |   262932 |    23098     22 |      754 |      704
762.56/762.99	c  762s |      17 |   393669 |   263432 |    23098     22 |      754 |      704
764.75/765.18	c  764s |      17 |   394155 |   263832 |    23098     22 |      754 |      704
767.15/767.58	c  767s |      17 |   394734 |   264332 |    23098     22 |      754 |      704
769.35/769.78	c  769s |      17 |   395168 |   264732 |    23098     22 |      754 |      704
771.96/772.35	c  772s |      17 |   395775 |   265232 |    23098     22 |      754 |      704
774.16/774.59	c  774s |      17 |   396230 |   265632 |    23098     22 |      754 |      704
776.55/776.95	c  776s |      17 |   396690 |   266032 |    23098     22 |      754 |      704
778.85/779.29	c  779s |      17 |   397007 |   266332 |    23098     22 |      754 |      704
780.95/781.39	c  781s |      17 |   397343 |   266632 |    23098     22 |      754 |      704
783.26/783.67	c  783s |      17 |   397827 |   267032 |    23098     22 |      754 |      704
785.56/785.96	c  785s |      17 |   398321 |   267432 |    23098     22 |      754 |      704
788.36/788.73	c  788s |      17 |   398784 |   267832 |    23098     22 |      754 |      704
790.56/791.00	c  790s |      17 |   399376 |   268332 |    23098     22 |      754 |      704
792.86/793.28	c  793s |      17 |   399822 |   268732 |    23098     22 |      754 |      704
794.96/795.36	c  795s |      17 |   400163 |   269032 |    23098     22 |      754 |      704
797.06/797.42	c  797s |      17 |   400475 |   269332 |    23098     22 |      754 |      704
799.56/799.91	c  799s |      17 |   400936 |   269732 |    23098     22 |      754 |      704
801.75/802.11	c  801s |      17 |   401416 |   270132 |    23098     22 |      754 |      704
803.76/804.12	c  803s |      17 |   401766 |   270432 |    23098     23 |      754 |      704
806.06/806.49	c  806s |      17 |   402344 |   270932 |    23098     23 |      754 |      704
808.35/808.70	c  808s |      17 |   402820 |   271332 |    23098     23 |      754 |      704
810.75/811.10	c  810s |      17 |   403378 |   271832 |    23098     23 |      754 |      704
812.85/813.28	c  813s |      17 |   403944 |   272332 |    23098     23 |      754 |      704
815.15/815.55	c  815s |      17 |   404402 |   272732 |    23098     23 |      754 |      704
817.65/818.09	c  817s |      17 |   404839 |   273132 |    23098     23 |      754 |      704
819.95/820.38	c  820s |      17 |   405296 |   273532 |    23098     23 |      754 |      704
822.15/822.50	c  822s |      17 |   405757 |   273932 |    23098     23 |      754 |      704
824.25/824.64	c  824s |      17 |   406200 |   274332 |    23098     23 |      754 |      704
826.55/826.96	c  826s |      17 |   406680 |   274732 |    23098     23 |      754 |      704
829.05/829.44	c  829s |      17 |   407232 |   275232 |    23098     23 |      754 |      704
831.45/831.80	c  831s |      17 |   407794 |   275732 |    23098     23 |      754 |      704
833.65/834.09	c  833s |      17 |   408228 |   276132 |    23098     23 |      754 |      704
835.95/836.38	c  836s |      17 |   408785 |   276632 |    23098     23 |      754 |      704
838.05/838.46	c  838s |      17 |   409253 |   277032 |    23098     23 |      754 |      704
840.25/840.65	c  840s |      17 |   409776 |   277432 |    23098     23 |      754 |      704
842.64/843.07	c  842s |      17 |   410270 |   277832 |    23098     23 |      754 |      704
844.74/845.11	c  844s |      17 |   410891 |   278332 |    23098     23 |      754 |      704
846.94/847.39	c  847s |      17 |   411625 |   278932 |    23098     23 |      754 |      704
849.34/849.76	c  849s |      17 |   412365 |   279532 |    23098     23 |      754 |      704
851.84/852.20	c  851s |      17 |   412951 |   280032 |    23098     23 |      754 |      704
854.04/854.43	c  854s |      17 |   413305 |   280332 |    23098     23 |      754 |      704
856.34/856.75	c  856s |      17 |   413759 |   280732 |    23098     23 |      754 |      704
858.85/859.28	c  859s |      17 |   414089 |   281032 |    23098     23 |      754 |      704
861.24/861.66	c  861s |      17 |   414697 |   281532 |    23098     23 |      754 |      704
863.44/863.82	c  863s |      17 |   415125 |   281932 |    23098     23 |      754 |      704
865.54/865.94	c  865s |      17 |   415578 |   282332 |    23098     23 |      754 |      704
867.84/868.24	c  867s |      17 |   416036 |   282732 |    23098     23 |      754 |      704
869.94/870.37	c  870s |      17 |   416515 |   283132 |    23098     23 |      754 |      704
872.84/873.22	c  872s |      17 |   416935 |   283532 |    23098     24 |      754 |      704
875.04/875.41	c  875s |      17 |   417470 |   284032 |    23098     24 |      754 |      704
877.44/877.88	c  877s |      17 |   418038 |   284532 |    23098     24 |      754 |      704
879.54/879.96	c  879s |      17 |   418468 |   284932 |    23098     24 |      754 |      704
881.74/882.10	c  881s |      17 |   418899 |   285332 |    23098     24 |      754 |      704
883.83/884.23	c  883s |      17 |   419500 |   285832 |    23098     24 |      754 |      704
886.13/886.51	c  886s |      17 |   420081 |   286332 |    23098     24 |      754 |      704
888.34/888.80	c  888s |      17 |   420643 |   286832 |    23098     24 |      754 |      704
890.84/891.28	c  891s |      17 |   421218 |   287332 |    23098     24 |      754 |      704
893.04/893.47	c  893s |      17 |   421794 |   287832 |    23098     24 |      754 |      704
895.74/896.17	c  895s |      17 |   422351 |   288332 |    23098     24 |      754 |      704
897.84/898.20	c  897s |      17 |   422790 |   288732 |    23098     24 |      754 |      704
900.04/900.42	c  900s |      17 |   423215 |   289132 |    23098     24 |      754 |      704
902.04/902.44	c  902s |      17 |   423646 |   289532 |    23098     24 |      754 |      704
904.24/904.69	c  904s |      17 |   424078 |   289932 |    23098     24 |      754 |      704
906.34/906.78	c  906s |      17 |   424526 |   290332 |    23098     24 |      754 |      704
908.64/909.08	c  908s |      17 |   424955 |   290732 |    23098     24 |      754 |      704
911.03/911.46	c  911s |      17 |   425417 |   291132 |    23098     24 |      754 |      704
913.23/913.66	c  913s |      17 |   425886 |   291532 |    23098     24 |      754 |      704
915.43/915.88	c  915s |      17 |   426342 |   291932 |    23098     24 |      754 |      704
917.93/918.37	c  918s |      17 |   426790 |   292332 |    23098     24 |      754 |      704
920.44/920.86	c  920s |      17 |   427241 |   292732 |    23098     24 |      754 |      704
922.64/923.09	c  922s |      17 |   427709 |   293132 |    23098     24 |      754 |      704
925.13/925.59	c  925s |      17 |   428164 |   293532 |    23098     24 |      754 |      704
927.63/928.07	c  927s |      17 |   428608 |   293932 |    23098     24 |      754 |      704
929.93/930.33	c  930s |      17 |   429070 |   294332 |    25408     24 |      754 |      704
932.03/932.46	c  932s |      17 |   429407 |   294632 |    25408     24 |      754 |      704
934.33/934.78	c  934s |      17 |   429743 |   294932 |    25408     24 |      754 |      704
936.63/937.09	c  936s |      17 |   430080 |   295232 |    25408     24 |      754 |      704
939.53/939.97	c  939s |      17 |   430536 |   295632 |    25408     24 |      754 |      704
941.73/942.14	c  941s |      17 |   430869 |   295932 |    25408     24 |      754 |      704
944.13/944.59	c  944s |      17 |   431195 |   296232 |    25408     24 |      754 |      704
944.43/944.87	c  944s |      18 |   431215 |   296252 |    25408     24 |      754 |      704
946.53/946.93	c  946s |      18 |   435501 |   296652 |    25408     25 |      754 |      704
948.53/948.98	c  948s |      18 |   437356 |   297852 |    25408     25 |      754 |      704
950.73/951.17	c  950s |      18 |   438593 |   298952 |    25408     25 |      754 |      704
952.93/953.30	c  953s |      18 |   439600 |   299852 |    25408     25 |      754 |      704
955.03/955.42	c  955s |      18 |   441115 |   300852 |    25408     25 |      754 |      704
957.13/957.52	c  957s |      18 |   442496 |   301952 |    25408     25 |      754 |      704
959.23/959.69	c  959s |      18 |   443967 |   303052 |    25408     25 |      754 |      704
961.43/961.83	c  961s |      18 |   445353 |   304252 |    25408     25 |      754 |      704
963.53/963.93	c  963s |      18 |   446419 |   305252 |    25408     25 |      754 |      704
965.73/966.10	c  965s |      18 |   447494 |   306252 |    25408     25 |      754 |      704
967.63/968.10	c  967s |      18 |   448238 |   306952 |    25408     25 |      754 |      704
969.93/970.39	c  970s |      18 |   449116 |   307752 |    25408     25 |      754 |      704
972.22/972.61	c  972s |      18 |   449865 |   308452 |    25408     25 |      754 |      704
974.42/974.80	c  974s |      18 |   450384 |   308952 |    25408     25 |      754 |      704
976.43/976.89	c  976s |      18 |   451138 |   309652 |    25408     25 |      754 |      704
978.52/978.99	c  978s |      18 |   451763 |   310252 |    25408     25 |      754 |      704
980.62/981.06	c  980s |      18 |   452407 |   310852 |    25408     25 |      754 |      704
982.92/983.30	c  983s |      18 |   453033 |   311452 |    25408     25 |      754 |      704
985.23/985.64	c  985s |      18 |   453543 |   311952 |    25408     26 |      754 |      704
987.43/987.87	c  987s |      18 |   454156 |   312552 |    25408     26 |      754 |      704
989.63/990.07	c  989s |      18 |   454971 |   313252 |    25408     26 |      754 |      704
991.93/992.39	c  992s |      18 |   455806 |   313952 |    25408     26 |      754 |      704
994.13/994.57	c  994s |      18 |   456511 |   314552 |    25408     26 |      754 |      704
996.12/996.58	c  996s |      18 |   457052 |   315052 |    25408     26 |      754 |      704
998.22/998.63	c  998s |      18 |   457604 |   315552 |    25408     26 |      754 |      704
1000.62/1001.06	c 1000s |      18 |   458268 |   316152 |    25408     26 |      754 |      704
1002.72/1003.12	c 1002s |      18 |   458807 |   316652 |    25408     26 |      754 |      704
1005.02/1005.41	c 1005s |      18 |   459467 |   317252 |    25408     26 |      754 |      704
1007.12/1007.50	c 1007s |      18 |   460187 |   317852 |    25408     26 |      754 |      704
1009.32/1009.73	c 1009s |      18 |   461027 |   318552 |    25408     26 |      754 |      704
1011.52/1011.93	c 1011s |      18 |   461689 |   319152 |    25408     26 |      754 |      704
1013.61/1014.05	c 1013s |      18 |   462445 |   319752 |    25408     26 |      754 |      704
1016.02/1016.43	c 1016s |      18 |   463340 |   320452 |    25408     26 |      754 |      704
1018.11/1018.53	c 1018s |      18 |   464549 |   321152 |    25408     26 |      754 |      704
1020.21/1020.68	c 1020s |      18 |   465433 |   321952 |    25408     26 |      754 |      704
1022.51/1022.92	c 1022s |      18 |   466171 |   322652 |    25408     26 |      754 |      704
1024.71/1025.15	c 1024s |      18 |   466998 |   323352 |    25408     26 |      754 |      704
1026.71/1027.18	c 1026s |      18 |   467643 |   323952 |    25408     26 |      754 |      704
1028.91/1029.35	c 1029s |      18 |   468279 |   324552 |    25408     26 |      754 |      704
1031.02/1031.44	c 1031s |      18 |   468919 |   325152 |    25408     26 |      754 |      704
1033.02/1033.45	c 1033s |      18 |   469467 |   325652 |    25408     26 |      754 |      704
1035.72/1036.13	c 1035s |      18 |   469999 |   326152 |    25408     27 |      754 |      704
1037.72/1038.20	c 1037s |      18 |   470646 |   326752 |    25408     27 |      754 |      704
1039.92/1040.32	c 1040s |      18 |   471314 |   327352 |    25408     27 |      754 |      704
1042.22/1042.64	c 1042s |      18 |   471954 |   327952 |    25408     27 |      754 |      704
1044.42/1044.85	c 1044s |      18 |   472573 |   328552 |    25408     27 |      754 |      704
1046.72/1047.13	c 1046s |      18 |   473220 |   329152 |    25408     27 |      754 |      704
1048.92/1049.37	c 1049s |      18 |   473875 |   329752 |    25408     27 |      754 |      704
1051.32/1051.77	c 1051s |      18 |   474513 |   330352 |    25408     27 |      754 |      704
1053.42/1053.81	c 1053s |      18 |   475033 |   330852 |    25408     27 |      754 |      704
1055.41/1055.87	c 1055s |      18 |   475451 |   331252 |    25408     27 |      754 |      704
1057.51/1057.94	c 1057s |      18 |   475861 |   331652 |    25408     27 |      754 |      704
1059.51/1059.95	c 1059s |      18 |   476289 |   332052 |    25408     27 |      754 |      704
1061.81/1062.29	c 1062s |      18 |   476810 |   332552 |    25408     27 |      754 |      704
1064.31/1064.80	c 1064s |      18 |   477352 |   333052 |    25408     27 |      754 |      704
1066.62/1067.02	c 1066s |      18 |   477778 |   333452 |    25408     27 |      754 |      704
1068.82/1069.26	c 1068s |      18 |   478181 |   333852 |    25408     27 |      754 |      704
1071.21/1071.64	c 1071s |      18 |   478730 |   334352 |    25408     27 |      754 |      704
1073.71/1074.10	c 1073s |      18 |   479262 |   334852 |    25408     27 |      754 |      704
1075.91/1076.38	c 1076s |      18 |   479770 |   335352 |    25408     27 |      754 |      704
1078.41/1078.81	c 1078s |      18 |   480285 |   335852 |    25408     27 |      754 |      704
1080.71/1081.19	c 1080s |      18 |   480802 |   336352 |    25408     27 |      754 |      704
1083.31/1083.76	c 1083s |      18 |   481325 |   336852 |    25408     27 |      754 |      704
1085.51/1085.93	c 1085s |      18 |   481739 |   337252 |    25408     27 |      754 |      704
1087.91/1088.31	c 1088s |      18 |   482157 |   337652 |    25408     27 |      754 |      704
1090.41/1090.82	c 1090s |      18 |   482580 |   338052 |    25408     27 |      754 |      704
1092.61/1093.08	c 1092s |      18 |   482996 |   338452 |    25408     27 |      754 |      704
1094.71/1095.17	c 1094s |      18 |   483306 |   338752 |    25408     27 |      754 |      704
1097.21/1097.62	c 1097s |      18 |   483734 |   339152 |    25408     27 |      754 |      704
1099.71/1100.11	c 1099s |      18 |   484154 |   339552 |    25408     27 |      754 |      704
1102.00/1102.41	c 1102s |      18 |   484568 |   339952 |    25408     27 |      754 |      704
1105.11/1105.60	c 1105s |      18 |   484992 |   340352 |    25408     28 |      754 |      704
1107.50/1107.90	c 1107s |      18 |   485524 |   340852 |    25408     28 |      754 |      704
1109.80/1110.21	c 1109s |      18 |   486063 |   341352 |    25408     28 |      754 |      704
1111.90/1112.32	c 1112s |      18 |   486492 |   341752 |    25408     28 |      754 |      704
1114.01/1114.41	c 1114s |      18 |   486913 |   342152 |    25408     28 |      754 |      704
1116.00/1116.48	c 1116s |      18 |   487336 |   342552 |    25408     28 |      754 |      704
1118.31/1118.74	c 1118s |      18 |   487746 |   342952 |    25408     28 |      754 |      704
1120.61/1121.01	c 1120s |      18 |   488168 |   343352 |    25408     28 |      754 |      704
1122.71/1123.19	c 1122s |      18 |   488608 |   343752 |    25408     28 |      754 |      704
1125.10/1125.50	c 1125s |      18 |   489145 |   344252 |    25408     28 |      754 |      704
1127.40/1127.84	c 1127s |      18 |   489675 |   344752 |    25408     28 |      754 |      704
1129.41/1129.87	c 1129s |      18 |   490088 |   345152 |    25408     28 |      754 |      704
1131.40/1131.90	c 1131s |      18 |   490504 |   345552 |    25408     28 |      754 |      704
1133.50/1133.91	c 1133s |      18 |   490926 |   345952 |    25408     28 |      754 |      704
1135.70/1136.10	c 1135s |      18 |   491363 |   346352 |    25408     28 |      754 |      704
1137.80/1138.21	c 1137s |      18 |   491781 |   346752 |    25408     28 |      754 |      704
1139.90/1140.32	c 1140s |      18 |   492211 |   347152 |    25408     28 |      754 |      704
1142.00/1142.49	c 1142s |      18 |   492643 |   347552 |    25408     28 |      754 |      704
1144.40/1144.80	c 1144s |      18 |   493067 |   347952 |    25408     28 |      754 |      704
1146.70/1147.13	c 1146s |      18 |   493484 |   348352 |    25408     28 |      754 |      704
1148.90/1149.36	c 1149s |      18 |   493905 |   348752 |    25408     28 |      754 |      704
1151.10/1151.54	c 1151s |      18 |   494330 |   349152 |    25408     28 |      754 |      704
1153.19/1153.69	c 1153s |      18 |   494760 |   349552 |    25408     28 |      754 |      704
1155.49/1155.93	c 1155s |      18 |   495180 |   349952 |    25408     28 |      754 |      704
1157.90/1158.39	c 1158s |      18 |   495603 |   350352 |    25408     28 |      754 |      704
1160.39/1160.87	c 1160s |      18 |   496018 |   350752 |    25408     28 |      754 |      704
1162.49/1162.91	c 1162s |      18 |   496340 |   351052 |    25408     28 |      754 |      704
1164.89/1165.38	c 1165s |      18 |   496759 |   351452 |    25408     28 |      754 |      704
1167.29/1167.78	c 1167s |      18 |   497181 |   351852 |    25408     28 |      754 |      704
1169.59/1170.09	c 1169s |      18 |   497599 |   352252 |    25408     28 |      754 |      704
1172.20/1172.69	c 1172s |      18 |   498016 |   352652 |    25408     28 |      754 |      704
1174.79/1175.25	c 1174s |      18 |   498439 |   353052 |    25408     28 |      754 |      704
1177.39/1177.84	c 1177s |      18 |   498867 |   353452 |    25408     28 |      754 |      704
1179.90/1180.36	c 1180s |      18 |   499290 |   353852 |    25408     28 |      754 |      704
1182.29/1182.75	c 1182s |      18 |   499601 |   354152 |    25408     28 |      754 |      704
1184.40/1184.81	c 1184s |      18 |   499914 |   354452 |    25408     28 |      754 |      704
1186.99/1187.48	c 1187s |      18 |   500234 |   354752 |    25408     29 |      754 |      704
1189.09/1189.56	c 1189s |      18 |   500650 |   355152 |    25408     29 |      754 |      704
1191.09/1191.57	c 1191s |      18 |   501073 |   355552 |    25408     29 |      754 |      704
1193.29/1193.75	c 1193s |      18 |   501509 |   355952 |    25408     29 |      754 |      704
1195.30/1195.79	c 1195s |      18 |   501912 |   356352 |    25408     29 |      754 |      704
1197.69/1198.13	c 1197s |      18 |   502321 |   356752 |    25408     29 |      754 |      704
1200.09/1200.56	c 1200s |      18 |   502837 |   357252 |    25408     29 |      754 |      704
1202.29/1202.77	c 1202s |      18 |   503253 |   357652 |    25408     29 |      754 |      704
1204.69/1205.13	c 1204s |      18 |   503774 |   358152 |    25408     29 |      754 |      704
1206.99/1207.45	c 1207s |      18 |   504180 |   358552 |    25408     29 |      754 |      704
1209.19/1209.60	c 1209s |      18 |   504607 |   358952 |    25408     29 |      754 |      704
1211.49/1211.95	c 1211s |      18 |   505019 |   359352 |    25408     29 |      754 |      704
1213.99/1214.47	c 1214s |      18 |   505435 |   359752 |    25408     29 |      754 |      704
1216.49/1216.99	c 1216s |      18 |   505849 |   360152 |    25408     29 |      754 |      704
1219.18/1219.67	c 1219s |      18 |   506256 |   360552 |    25408     29 |      754 |      704
1221.48/1221.91	c 1221s |      18 |   506559 |   360852 |    25408     29 |      754 |      704
1223.58/1224.01	c 1223s |      18 |   506870 |   361152 |    25408     29 |      754 |      704
1226.10/1226.58	c 1226s |      18 |   507292 |   361552 |    25408     29 |      754 |      704
1228.19/1228.61	c 1228s |      18 |   507606 |   361852 |    25408     29 |      754 |      704
1230.19/1230.68	c 1230s |      18 |   507930 |   362152 |    25408     29 |      754 |      704
1232.29/1232.76	c 1232s |      18 |   508239 |   362452 |    25408     29 |      754 |      704
1234.39/1234.86	c 1234s |      18 |   508549 |   362752 |    25408     29 |      754 |      704
1236.59/1237.03	c 1236s |      18 |   508869 |   363052 |    25408     29 |      754 |      704
1238.99/1239.40	c 1239s |      18 |   509290 |   363452 |    25408     29 |      754 |      704
1241.49/1242.00	c 1241s |      18 |   509708 |   363852 |    25408     29 |      754 |      704
1244.19/1244.66	c 1244s |      18 |   510123 |   364252 |    25408     29 |      754 |      704
1246.59/1247.01	c 1246s |      18 |   510550 |   364652 |    25408     29 |      754 |      704
1248.59/1249.03	c 1248s |      18 |   510855 |   364952 |    25408     29 |      754 |      704
1250.69/1251.16	c 1250s |      18 |   511166 |   365252 |    25408     29 |      754 |      704
1252.69/1253.18	c 1252s |      18 |   511481 |   365552 |    25408     29 |      754 |      704
1255.19/1255.65	c 1255s |      18 |   511789 |   365852 |    25408     29 |      754 |      704
1257.68/1258.19	c 1257s |      18 |   512209 |   366252 |    25408     29 |      754 |      704
1260.19/1260.61	c 1260s |      18 |   512631 |   366652 |    25408     29 |      754 |      704
1262.18/1262.65	c 1262s |      18 |   512953 |   366952 |    25408     29 |      754 |      704
1264.28/1264.73	c 1264s |      18 |   513263 |   367252 |    25408     29 |      754 |      704
1266.48/1266.90	c 1266s |      18 |   513568 |   367552 |    25408     29 |      754 |      704
1268.58/1269.09	c 1268s |      18 |   513876 |   367852 |    25408     29 |      754 |      704
1270.98/1271.45	c 1271s |      18 |   514189 |   368152 |    25408     29 |      754 |      704
1273.49/1273.91	c 1273s |      18 |   514500 |   368452 |    25408     29 |      754 |      704
1275.59/1276.04	c 1275s |      18 |   514814 |   368752 |    25408     29 |      754 |      704
1278.58/1279.02	c 1278s |      18 |   515126 |   369052 |    25408     30 |      754 |      704
1280.88/1281.35	c 1281s |      18 |   515550 |   369452 |    25408     30 |      754 |      704
1283.08/1283.52	c 1283s |      18 |   515961 |   369852 |    25408     30 |      754 |      704
1285.08/1285.59	c 1285s |      18 |   516375 |   370252 |    25408     30 |      754 |      704
1287.38/1287.86	c 1287s |      18 |   516795 |   370652 |    25408     30 |      754 |      704
1289.38/1289.88	c 1289s |      18 |   517207 |   371052 |    25408     30 |      754 |      704
1291.48/1291.90	c 1291s |      18 |   517628 |   371452 |    25408     30 |      754 |      704
1293.68/1294.10	c 1293s |      18 |   518150 |   371952 |    25408     30 |      754 |      704
1295.88/1296.37	c 1296s |      18 |   518678 |   372452 |    25408     30 |      754 |      704
1298.08/1298.52	c 1298s |      18 |   519089 |   372852 |    25408     30 |      754 |      704
1300.28/1300.74	c 1300s |      18 |   519609 |   373352 |    25408     30 |      754 |      704
1302.28/1302.76	c 1302s |      18 |   520019 |   373752 |    25408     30 |      754 |      704
1304.78/1305.20	c 1304s |      18 |   520546 |   374252 |    25408     30 |      754 |      704
1307.18/1307.64	c 1307s |      18 |   521063 |   374752 |    25408     30 |      754 |      704
1309.18/1309.64	c 1309s |      18 |   521476 |   375152 |    25408     30 |      754 |      704
1311.67/1312.15	c 1311s |      18 |   521983 |   375652 |    25408     30 |      754 |      704
1314.18/1314.66	c 1314s |      18 |   522491 |   376152 |    25408     30 |      754 |      704
1316.67/1317.13	c 1316s |      18 |   523014 |   376652 |    25408     30 |      754 |      704
1318.87/1319.32	c 1319s |      18 |   523423 |   377052 |    25408     30 |      754 |      704
1321.17/1321.60	c 1321s |      18 |   523837 |   377452 |    25408     30 |      754 |      704
1323.47/1323.93	c 1323s |      18 |   524248 |   377852 |    25408     30 |      754 |      704
1325.77/1326.20	c 1325s |      18 |   524672 |   378252 |    25408     30 |      754 |      704
1328.07/1328.54	c 1328s |      18 |   525076 |   378652 |    25408     30 |      754 |      704
1330.37/1330.88	c 1330s |      18 |   525480 |   379052 |    25408     30 |      754 |      704
1332.78/1333.24	c 1332s |      18 |   525887 |   379452 |    25408     30 |      754 |      704
1335.37/1335.81	c 1335s |      18 |   526292 |   379852 |    25408     30 |      754 |      704
1337.77/1338.20	c 1337s |      18 |   526718 |   380252 |    25408     30 |      754 |      704
1340.17/1340.64	c 1340s |      18 |   527136 |   380652 |    25408     30 |      754 |      704
1342.27/1342.78	c 1342s |      18 |   527441 |   380952 |    25408     30 |      754 |      704
1344.87/1345.37	c 1345s |      18 |   527862 |   381352 |    25408     30 |      754 |      704
1347.37/1347.80	c 1347s |      18 |   528286 |   381752 |    25408     30 |      754 |      704
1349.67/1350.19	c 1349s |      18 |   528705 |   382152 |    25408     30 |      754 |      704
1352.07/1352.54	c 1352s |      18 |   529120 |   382552 |    25408     30 |      754 |      704
1354.57/1355.09	c 1354s |      18 |   529533 |   382952 |    25408     30 |      754 |      704
1357.87/1358.35	c 1358s |      18 |   529947 |   383352 |    25408     31 |      754 |      704
1359.97/1360.41	c 1360s |      18 |   530365 |   383752 |    25408     31 |      754 |      704
1362.07/1362.57	c 1362s |      18 |   530886 |   384252 |    25408     31 |      754 |      704
1364.16/1364.68	c 1364s |      18 |   531406 |   384752 |    25408     31 |      754 |      704
1366.26/1366.73	c 1366s |      18 |   531829 |   385152 |    25408     31 |      754 |      704
1368.46/1368.93	c 1368s |      18 |   532243 |   385552 |    25408     31 |      754 |      704
1370.86/1371.36	c 1371s |      18 |   532756 |   386052 |    25408     31 |      754 |      704
1372.86/1373.37	c 1373s |      18 |   533188 |   386452 |    25408     31 |      754 |      704
1374.96/1375.41	c 1375s |      18 |   533603 |   386852 |    25408     31 |      754 |      704
1377.36/1377.86	c 1377s |      18 |   534133 |   387352 |    25408     31 |      754 |      704
1379.46/1379.94	c 1379s |      18 |   534548 |   387752 |    25408     31 |      754 |      704
1381.46/1381.94	c 1381s |      18 |   534956 |   388152 |    25408     31 |      754 |      704
1383.66/1384.11	c 1383s |      18 |   535363 |   388552 |    25408     31 |      754 |      704
1386.06/1386.52	c 1386s |      18 |   535778 |   388952 |    25408     31 |      754 |      704
1388.46/1388.99	c 1388s |      18 |   536194 |   389352 |    25408     31 |      754 |      704
1390.86/1391.36	c 1391s |      18 |   536606 |   389752 |    25408     31 |      754 |      704
1393.56/1394.00	c 1393s |      18 |   537029 |   390152 |    25408     31 |      754 |      704
1395.96/1396.49	c 1396s |      18 |   537451 |   390552 |    25408     31 |      754 |      704
1398.56/1399.08	c 1398s |      18 |   537869 |   390952 |    25408     31 |      754 |      704
1401.16/1401.65	c 1401s |      18 |   538297 |   391352 |    25408     31 |      754 |      704
1403.76/1404.22	c 1403s |      18 |   538710 |   391752 |    25408     31 |      754 |      704
1406.36/1406.88	c 1406s |      18 |   539120 |   392152 |    25408     31 |      754 |      704
1409.06/1409.55	c 1409s |      18 |   539537 |   392552 |    25408     31 |      754 |      704
1411.06/1411.56	c 1411s |      18 |   539846 |   392852 |    25408     31 |      754 |      704
1413.76/1414.26	c 1413s |      18 |   540257 |   393252 |    25408     31 |      754 |      704
1415.85/1416.35	c 1416s |      18 |   540567 |   393552 |    25408     31 |      754 |      704
1418.45/1418.93	c 1418s |      18 |   540988 |   393952 |    25408     31 |      754 |      704
1420.45/1420.96	c 1420s |      18 |   541291 |   394252 |    25408     31 |      754 |      704
1422.45/1422.98	c 1422s |      18 |   541605 |   394552 |    25408     31 |      754 |      704
1424.75/1425.21	c 1424s |      18 |   541922 |   394852 |    25408     31 |      754 |      704
1426.85/1427.35	c 1427s |      18 |   542228 |   395152 |    25408     31 |      754 |      704
1428.95/1429.45	c 1429s |      18 |   542545 |   395452 |    25408     31 |      754 |      704
1431.35/1431.84	c 1431s |      18 |   542847 |   395752 |    25408     31 |      754 |      704
1433.55/1434.05	c 1433s |      18 |   543165 |   396052 |    25408     31 |      754 |      704
1435.66/1436.11	c 1435s |      18 |   543483 |   396352 |    25408     31 |      754 |      704
1437.96/1438.46	c 1438s |      18 |   543786 |   396652 |    25408     31 |      754 |      704
1439.96/1440.48	c 1440s |      18 |   544095 |   396952 |    25408     31 |      754 |      704
1442.16/1442.67	c 1442s |      18 |   544419 |   397252 |    25408     31 |      754 |      704
1445.16/1445.69	c 1445s |      18 |   544723 |   397552 |    25408     32 |      754 |      704
1447.56/1448.03	c 1447s |      18 |   545131 |   397952 |    25408     32 |      754 |      704
1449.76/1450.26	c 1449s |      18 |   545545 |   398352 |    25408     32 |      754 |      704
1451.86/1452.38	c 1452s |      18 |   545965 |   398752 |    25408     32 |      754 |      704
1454.26/1454.72	c 1454s |      18 |   546393 |   399152 |    25408     32 |      754 |      704
1456.26/1456.77	c 1456s |      18 |   546833 |   399552 |    25408     32 |      754 |      704
1458.56/1459.03	c 1458s |      18 |   547372 |   400052 |    25408     32 |      754 |      704
1460.75/1461.23	c 1460s |      18 |   547903 |   400552 |    25408     32 |      754 |      704
1463.05/1463.57	c 1463s |      18 |   548427 |   401052 |    25408     32 |      754 |      704
1465.05/1465.58	c 1465s |      18 |   548841 |   401452 |    25408     32 |      754 |      704
1467.45/1467.99	c 1467s |      18 |   549371 |   401952 |    25408     32 |      754 |      704
1469.85/1470.31	c 1470s |      18 |   549876 |   402452 |    25408     32 |      754 |      704
1472.35/1472.85	c 1472s |      18 |   550397 |   402952 |    25408     32 |      754 |      704
1474.55/1475.07	c 1474s |      18 |   550829 |   403352 |    25408     32 |      754 |      704
1477.05/1477.53	c 1477s |      18 |   551361 |   403852 |    25408     32 |      754 |      704
1479.16/1479.62	c 1479s |      18 |   551788 |   404252 |    25408     32 |      754 |      704
1481.15/1481.66	c 1481s |      18 |   552201 |   404652 |    25408     32 |      754 |      704
1483.65/1484.13	c 1483s |      18 |   552627 |   405052 |    25408     32 |      754 |      704
1485.95/1486.48	c 1486s |      18 |   553042 |   405452 |    25408     32 |      754 |      704
1488.35/1488.88	c 1488s |      18 |   553461 |   405852 |    25408     32 |      754 |      704
1490.65/1491.15	c 1490s |      18 |   553888 |   406252 |    25408     32 |      754 |      704
1492.95/1493.49	c 1493s |      18 |   554300 |   406652 |    25408     32 |      754 |      704
1495.35/1495.83	c 1495s |      18 |   554724 |   407052 |    25408     32 |      754 |      704
1497.65/1498.11	c 1497s |      18 |   555145 |   407452 |    25408     32 |      754 |      704
1499.95/1500.48	c 1500s |      18 |   555571 |   407852 |    25408     32 |      754 |      704
1502.45/1502.98	c 1502s |      18 |   555990 |   408252 |    25408     32 |      754 |      704
1504.75/1505.29	c 1505s |      18 |   556427 |   408652 |    25408     32 |      754 |      704
1507.35/1507.83	c 1507s |      18 |   556853 |   409052 |    25408     32 |      754 |      704
1509.35/1509.83	c 1509s |      18 |   557170 |   409352 |    25408     32 |      754 |      704
1511.34/1511.87	c 1511s |      18 |   557488 |   409652 |    25408     32 |      754 |      704
1514.04/1514.58	c 1514s |      18 |   557900 |   410052 |    25408     32 |      754 |      704
1516.24/1516.78	c 1516s |      18 |   558202 |   410352 |    25408     32 |      754 |      704
1518.34/1518.89	c 1518s |      18 |   558522 |   410652 |    25408     32 |      754 |      704
1520.95/1521.48	c 1521s |      18 |   558943 |   411052 |    25408     32 |      754 |      704
1523.05/1523.56	c 1523s |      18 |   559261 |   411352 |    25408     32 |      754 |      704
1525.25/1525.73	c 1525s |      18 |   559572 |   411652 |    25408     32 |      754 |      704
1527.34/1527.80	c 1527s |      18 |   559783 |   411852 |    25408     33 |      754 |      704
1529.65/1530.18	c 1529s |      18 |   560312 |   412352 |    25408     33 |      754 |      704
1532.04/1532.52	c 1532s |      18 |   560853 |   412852 |    25408     33 |      754 |      704
1534.05/1534.57	c 1534s |      18 |   561268 |   413252 |    25408     33 |      754 |      704
1536.04/1536.58	c 1536s |      18 |   561675 |   413652 |    25408     33 |      754 |      704
1538.55/1539.09	c 1538s |      18 |   562199 |   414152 |    25408     33 |      754 |      704
1540.65/1541.12	c 1540s |      18 |   562622 |   414552 |    25408     33 |      754 |      704
1542.64/1543.13	c 1542s |      18 |   563035 |   414952 |    25408     33 |      754 |      704
1544.74/1545.29	c 1545s |      18 |   563467 |   415352 |    25408     33 |      754 |      704
1547.14/1547.67	c 1547s |      18 |   563881 |   415752 |    25408     33 |      754 |      704
1549.45/1549.97	c 1549s |      18 |   564309 |   416152 |    25408     33 |      754 |      704
1551.54/1552.08	c 1551s |      18 |   564729 |   416552 |    25408     33 |      754 |      704
1553.84/1554.37	c 1554s |      18 |   565139 |   416952 |    25408     33 |      754 |      704
1556.34/1556.84	c 1556s |      18 |   565681 |   417452 |    25408     33 |      754 |      704
1558.84/1559.37	c 1559s |      18 |   566197 |   417952 |    25408     33 |      754 |      704
1560.94/1561.41	c 1561s |      18 |   566620 |   418352 |    25408     33 |      754 |      704
1563.04/1563.53	c 1563s |      18 |   567034 |   418752 |    25408     33 |      754 |      704
1565.34/1565.83	c 1565s |      18 |   567451 |   419152 |    25408     33 |      754 |      704
1567.63/1568.11	c 1567s |      18 |   567869 |   419552 |    25408     33 |      754 |      704
1569.83/1570.37	c 1570s |      18 |   568288 |   419952 |    25408     33 |      754 |      704
1571.83/1572.38	c 1572s |      18 |   568605 |   420252 |    25408     33 |      754 |      704
1574.03/1574.55	c 1574s |      18 |   569035 |   420652 |    25408     33 |      754 |      704
1576.53/1577.02	c 1576s |      18 |   569445 |   421052 |    25408     33 |      754 |      704
1579.03/1579.54	c 1579s |      18 |   569866 |   421452 |    25408     33 |      754 |      704
1581.53/1582.00	c 1581s |      18 |   570303 |   421852 |    25408     33 |      754 |      704
1584.03/1584.52	c 1584s |      18 |   570713 |   422252 |    25408     33 |      754 |      704
1586.43/1586.91	c 1586s |      18 |   571144 |   422652 |    25408     33 |      754 |      704
1588.73/1589.25	c 1588s |      18 |   571569 |   423052 |    25408     33 |      754 |      704
1591.24/1591.76	c 1591s |      18 |   572001 |   423452 |    25408     33 |      754 |      704
1593.93/1594.46	c 1594s |      18 |   572421 |   423852 |    25408     33 |      754 |      704
1596.33/1596.88	c 1596s |      18 |   572736 |   424152 |    25408     33 |      754 |      704
1598.94/1599.42	c 1599s |      18 |   573148 |   424552 |    25408     33 |      754 |      704
1601.24/1601.74	c 1601s |      18 |   573572 |   424952 |    25408     33 |      754 |      704
1603.73/1604.21	c 1603s |      18 |   573987 |   425352 |    25408     33 |      754 |      704
1606.23/1606.78	c 1606s |      18 |   574393 |   425752 |    25408     33 |      754 |      704
1608.43/1608.95	c 1608s |      18 |   574696 |   426052 |    25408     33 |      754 |      704
1610.73/1611.28	c 1611s |      18 |   575040 |   426352 |    25408     34 |      754 |      704
1613.23/1613.77	c 1613s |      18 |   575564 |   426852 |    25408     34 |      754 |      704
1615.63/1616.19	c 1615s |      18 |   576086 |   427352 |    25408     34 |      754 |      704
1617.73/1618.24	c 1617s |      18 |   576505 |   427752 |    25408     34 |      754 |      704
1619.73/1620.25	c 1619s |      18 |   576921 |   428152 |    25408     34 |      754 |      704
1621.73/1622.26	c 1621s |      18 |   577339 |   428552 |    25408     34 |      754 |      704
1624.13/1624.68	c 1624s |      18 |   577864 |   429052 |    25408     34 |      754 |      704
1626.62/1627.15	c 1626s |      18 |   578385 |   429552 |    25408     34 |      754 |      704
1629.12/1629.69	c 1629s |      18 |   578905 |   430052 |    25408     34 |      754 |      704
1631.22/1631.74	c 1631s |      18 |   579321 |   430452 |    25408     34 |      754 |      704
1633.42/1633.90	c 1633s |      18 |   579733 |   430852 |    25408     34 |      754 |      704
1635.52/1636.02	c 1635s |      18 |   580155 |   431252 |    25408     34 |      754 |      704
1637.92/1638.50	c 1638s |      18 |   580680 |   431752 |    25408     34 |      754 |      704
1640.32/1640.86	c 1640s |      18 |   581193 |   432252 |    25408     34 |      754 |      704
1642.42/1642.99	c 1642s |      18 |   581599 |   432652 |    25408     34 |      754 |      704
1644.62/1645.17	c 1644s |      18 |   582014 |   433052 |    25408     34 |      754 |      704
1647.22/1647.72	c 1647s |      18 |   582427 |   433452 |    25408     34 |      754 |      704
1649.53/1650.04	c 1649s |      18 |   582842 |   433852 |    25408     34 |      754 |      704
1651.73/1652.30	c 1652s |      18 |   583260 |   434252 |    25408     34 |      754 |      704
1654.12/1654.67	c 1654s |      18 |   583679 |   434652 |    25408     34 |      754 |      704
1656.72/1657.22	c 1656s |      18 |   584104 |   435052 |    25408     34 |      754 |      704
1659.32/1659.83	c 1659s |      18 |   584515 |   435452 |    25408     34 |      754 |      704
1661.62/1662.19	c 1661s |      18 |   584926 |   435852 |    25408     34 |      754 |      704
1664.22/1664.76	c 1664s |      18 |   585345 |   436252 |    25408     34 |      754 |      704
1666.72/1667.28	c 1667s |      18 |   585764 |   436652 |    25408     34 |      754 |      704
1668.72/1669.29	c 1669s |      18 |   586085 |   436952 |    25408     34 |      754 |      704
1671.32/1671.85	c 1671s |      18 |   586491 |   437352 |    25408     34 |      754 |      704
1673.32/1673.88	c 1673s |      18 |   586805 |   437652 |    25408     34 |      754 |      704
1676.02/1676.55	c 1676s |      18 |   587228 |   438052 |    25408     34 |      754 |      704
1678.01/1678.60	c 1678s |      18 |   587539 |   438352 |    25408     34 |      754 |      704
1680.11/1680.61	c 1680s |      18 |   587855 |   438652 |    25408     34 |      754 |      704
1682.62/1683.16	c 1682s |      18 |   588260 |   439052 |    25408     34 |      754 |      704
1684.91/1685.45	c 1685s |      18 |   588590 |   439352 |    25408     34 |      754 |      704
1687.02/1687.54	c 1687s |      18 |   588904 |   439652 |    25408     34 |      754 |      704
1689.22/1689.71	c 1689s |      18 |   589228 |   439952 |    25408     34 |      754 |      704
1691.21/1691.74	c 1691s |      18 |   589539 |   440252 |    25408     34 |      754 |      704
1693.62/1694.14	c 1693s |      18 |   589850 |   440552 |    25408     35 |      754 |      704
1695.72/1696.25	c 1695s |      18 |   590263 |   440952 |    25408     35 |      754 |      704
1698.02/1698.52	c 1698s |      18 |   590681 |   441352 |    27949     35 |      754 |      704
1700.12/1700.65	c 1700s |      18 |   591093 |   441752 |    27949     35 |      754 |      704
1702.22/1702.73	c 1702s |      18 |   591505 |   442152 |    27949     35 |      754 |      704
1704.42/1704.94	c 1704s |      18 |   591924 |   442552 |    27949     35 |      754 |      704
1706.52/1707.00	c 1706s |      18 |   592337 |   442952 |    27949     35 |      754 |      704
1708.52/1709.07	c 1708s |      18 |   592765 |   443352 |    27949     35 |      754 |      704
1710.62/1711.15	c 1710s |      18 |   593195 |   443752 |    27949     35 |      754 |      704
1712.92/1713.43	c 1713s |      18 |   593620 |   444152 |    27949     35 |      754 |      704
1714.72/1715.25	c 1714s |      19 |   593958 |   444482 |    27949     35 |      754 |      704
1716.82/1717.33	c 1717s |      19 |   599804 |   446082 |    27949     35 |      754 |      704
1718.92/1719.42	c 1719s |      19 |   601635 |   447482 |    27949     35 |      754 |      704
1721.02/1721.59	c 1721s |      19 |   603304 |   448782 |    27949     35 |      754 |      704
1723.22/1723.74	c 1723s |      19 |   604609 |   449782 |    27949     35 |      754 |      704
1725.31/1725.82	c 1725s |      19 |   605696 |   450682 |    27949     35 |      754 |      704
1727.51/1728.04	c 1727s |      19 |   606491 |   451382 |    27949     35 |      754 |      704
1729.71/1730.20	c 1729s |      19 |   607437 |   452182 |    27949     35 |      754 |      704
1731.81/1732.35	c 1732s |      19 |   608265 |   452882 |    27949     35 |      754 |      704
1733.91/1734.44	c 1734s |      19 |   609109 |   453582 |    27949     35 |      754 |      704
1736.21/1736.73	c 1736s |      19 |   609878 |   454282 |    27949     35 |      754 |      704
1738.31/1738.80	c 1738s |      19 |   613117 |   455582 |    27949     35 |      754 |      704
1740.51/1741.07	c 1740s |      19 |   614839 |   456682 |    27949     35 |      754 |      704
1742.91/1743.46	c 1743s |      19 |   615557 |   457282 |    27949     36 |      754 |      704
1745.22/1745.72	c 1745s |      19 |   617395 |   458282 |    27949     36 |      754 |      704
1747.42/1747.98	c 1747s |      19 |   618433 |   459082 |    27949     36 |      754 |      704
1749.62/1750.12	c 1749s |      19 |   619314 |   459782 |    27949     36 |      754 |      704
1751.71/1752.30	c 1752s |      19 |   620007 |   460382 |    27949     36 |      754 |      704
1754.11/1754.65	c 1754s |      19 |   620679 |   460982 |    27949     36 |      754 |      704
1756.31/1756.89	c 1756s |      19 |   621590 |   461682 |    27949     36 |      754 |      704
1758.51/1759.01	c 1758s |      19 |   622343 |   462282 |    27949     36 |      754 |      704
1760.71/1761.27	c 1760s |      19 |   623104 |   462882 |    27949     36 |      754 |      704
1762.91/1763.44	c 1763s |      19 |   623830 |   463482 |    27949     36 |      754 |      704
1764.91/1765.48	c 1765s |      19 |   624444 |   463982 |    27949     36 |      754 |      704
1767.21/1767.73	c 1767s |      19 |   625187 |   464582 |    27949     36 |      754 |      704
1769.31/1769.82	c 1769s |      19 |   625774 |   465082 |    27949     36 |      754 |      704
1771.61/1772.18	c 1771s |      19 |   626501 |   465682 |    27949     36 |      754 |      704
1773.91/1774.48	c 1774s |      19 |   627169 |   466282 |    27949     36 |      754 |      704
1775.90/1776.48	c 1776s |      19 |   627763 |   466782 |    27949     36 |      754 |      704
1777.90/1778.48	c 1778s |      19 |   628332 |   467282 |    27949     36 |      754 |      704
1780.41/1780.94	c 1780s |      19 |   629078 |   467882 |    27949     36 |      754 |      704
1782.50/1783.10	c 1782s |      19 |   629626 |   468382 |    27949     36 |      754 |      704
1784.91/1785.42	c 1785s |      19 |   630220 |   468882 |    27949     36 |      754 |      704
1787.20/1787.71	c 1787s |      19 |   630800 |   469382 |    27949     36 |      754 |      704
1789.40/1789.98	c 1789s |      19 |   631394 |   469882 |    27949     36 |      754 |      704
1791.80/1792.39	c 1792s |      19 |   631997 |   470382 |    27949     36 |      754 |      704
1794.10/1794.63	c 1794s |      19 |   632570 |   470882 |    27949     36 |      754 |      704
1796.30/1796.82	c 1796s |      19 |   633014 |   471282 |    27949     36 |      754 |      704
1798.60/1799.12	c 1798s |      19 |   633600 |   471782 |    27949     36 |      754 |      704

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

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

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


[startup+0 s]
/proc/loadavg: 2.38 2.32 2.23 3/172 24782
/proc/meminfo: memFree=29863952/32872528 swapFree=1581260/1720252
[pid=24782] ppid=24779 vsize=771516 CPUtime=0 cores=0,2,4,6
/proc/24782/stat : 24782 (toysat) R 24779 24782 24580 0 -1 4202496 2885 0 0 0 0 0 0 0 20 0 4 0 30968496 790032384 3757 33554432000 4194304 16246674 140734563554960 140734563554384 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24782/statm: 193391 3765 441 2943 0 190285 0
[pid=24782/tid=24783] ppid=24779 vsize=787900 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24783/stat : 24783 (toysat) S 24779 24782 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30968496 806809600 3821 33554432000 4194304 16246674 140734563554960 140347717954800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24782/tid=24784] ppid=24779 vsize=791996 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24784/stat : 24784 (toysat) S 24779 24782 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968496 811003904 3837 33554432000 4194304 16246674 140734563554960 140347707464944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24782/tid=24785] ppid=24779 vsize=796092 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24785/stat : 24785 (toysat) S 24779 24782 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968496 815198208 3855 33554432000 4194304 16246674 140734563554960 140347585850544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.10016 s]
/proc/loadavg: 2.38 2.32 2.23 3/172 24782
/proc/meminfo: memFree=29863952/32872528 swapFree=1581260/1720252
[pid=24782] ppid=24779 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/24782/stat : 24782 (toysat) R 24779 24782 24580 0 -1 4202496 28469 0 0 0 5 4 0 0 20 0 4 0 30968496 1249447936 29278 33554432000 4194304 16246674 140734563554960 140734563554272 4220543 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24782/statm: 305041 29278 801 2943 0 301935 0
[pid=24782/tid=24783] ppid=24779 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24783/stat : 24783 (toysat) S 24779 24782 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30968496 1249447936 29278 33554432000 4194304 16246674 140734563554960 140347717954800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24782/tid=24784] ppid=24779 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24784/stat : 24784 (toysat) S 24779 24782 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968496 1249447936 29278 33554432000 4194304 16246674 140734563554960 140347707464944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24782/tid=24785] ppid=24779 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24785/stat : 24785 (toysat) S 24779 24782 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968496 1249447936 29278 33554432000 4194304 16246674 140734563554960 140347585850544 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.200528 s]
/proc/loadavg: 2.38 2.32 2.23 3/172 24782
/proc/meminfo: memFree=29863952/32872528 swapFree=1581260/1720252
[pid=24782] ppid=24779 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/24782/stat : 24782 (toysat) R 24779 24782 24580 0 -1 4202496 48674 0 0 0 13 6 0 0 20 0 4 0 30968496 1332285440 49483 33554432000 4194304 16246674 140734563554960 140734563554272 12473152 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24782/statm: 325265 49483 842 2943 0 322159 0
[pid=24782/tid=24783] ppid=24779 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24783/stat : 24783 (toysat) S 24779 24782 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30968496 1332285440 49483 33554432000 4194304 16246674 140734563554960 140347717954800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24782/tid=24784] ppid=24779 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24784/stat : 24784 (toysat) S 24779 24782 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968496 1332285440 49483 33554432000 4194304 16246674 140734563554960 140347707464944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24782/tid=24785] ppid=24779 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24785/stat : 24785 (toysat) S 24779 24782 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968496 1332285440 49483 33554432000 4194304 16246674 140734563554960 140347585850544 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.300479 s]
/proc/loadavg: 2.38 2.32 2.23 3/172 24782
/proc/meminfo: memFree=29863952/32872528 swapFree=1581260/1720252
[pid=24782] ppid=24779 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/24782/stat : 24782 (toysat) R 24779 24782 24580 0 -1 4202496 54768 0 0 0 22 7 0 0 20 0 4 0 30968496 1332285440 55577 33554432000 4194304 16246674 140734563554960 140734563554272 5831697 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24782/statm: 325265 55583 882 2943 0 322159 0
[pid=24782/tid=24783] ppid=24779 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24783/stat : 24783 (toysat) S 24779 24782 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30968496 1332285440 55586 33554432000 4194304 16246674 140734563554960 140347717954800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24782/tid=24784] ppid=24779 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24784/stat : 24784 (toysat) S 24779 24782 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968496 1332285440 55590 33554432000 4194304 16246674 140734563554960 140347707464944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24782/tid=24785] ppid=24779 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24785/stat : 24785 (toysat) S 24779 24782 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968496 1332285440 55594 33554432000 4194304 16246674 140734563554960 140347585850544 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.700303 s]
/proc/loadavg: 2.38 2.32 2.23 3/172 24782
/proc/meminfo: memFree=29863952/32872528 swapFree=1581260/1720252
[pid=24782] ppid=24779 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/24782/stat : 24782 (toysat) R 24779 24782 24580 0 -1 4202496 107755 0 0 0 55 14 0 0 20 0 4 0 30968496 1332285440 108564 33554432000 4194304 16246674 140734563554960 140734563554272 12874965 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24782/statm: 325265 108569 882 2943 0 322159 0
[pid=24782/tid=24783] ppid=24779 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24783/stat : 24783 (toysat) S 24779 24782 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30968496 1332285440 108571 33554432000 4194304 16246674 140734563554960 140347717954800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24782/tid=24784] ppid=24779 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24784/stat : 24784 (toysat) S 24779 24782 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968496 1332285440 108575 33554432000 4194304 16246674 140734563554960 140347707464944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24782/tid=24785] ppid=24779 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24785/stat : 24785 (toysat) S 24779 24782 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968496 1332285440 108580 33554432000 4194304 16246674 140734563554960 140347585850544 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.5004 s]
/proc/loadavg: 2.38 2.32 2.23 4/183 24809
/proc/meminfo: memFree=28656616/32872528 swapFree=1581260/1720252
[pid=24782] ppid=24779 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/24782/stat : 24782 (toysat) R 24779 24782 24580 0 -1 4202496 215419 0 0 0 120 29 0 0 20 0 4 0 30968496 1332285440 216229 33554432000 4194304 16246674 140734563554960 140734563537960 13954518 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24782/statm: 325265 216236 882 2943 0 322159 0
[pid=24782/tid=24783] ppid=24779 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24783/stat : 24783 (toysat) S 24779 24782 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30968496 1332285440 216240 33554432000 4194304 16246674 140734563554960 140347717954800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24782/tid=24784] ppid=24779 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24784/stat : 24784 (toysat) S 24779 24782 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968496 1332285440 216243 33554432000 4194304 16246674 140734563554960 140347707464944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24782/tid=24785] ppid=24779 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24785/stat : 24785 (toysat) S 24779 24782 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968496 1332285440 216246 33554432000 4194304 16246674 140734563554960 140347585850544 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.10041 s]
/proc/loadavg: 2.35 2.31 2.23 4/183 24809
/proc/meminfo: memFree=27719672/32872528 swapFree=1581260/1720252
[pid=24782] ppid=24779 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/24782/stat : 24782 (toysat) R 24779 24782 24580 0 -1 4202496 265678 0 0 0 274 35 0 0 20 0 4 0 30968496 1344868352 266487 33554432000 4194304 16246674 140734563554960 140734563536832 5712270 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24782/statm: 328337 266487 888 2943 0 325231 0
[pid=24782/tid=24783] ppid=24779 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24783/stat : 24783 (toysat) S 24779 24782 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30968496 1344868352 266487 33554432000 4194304 16246674 140734563554960 140347717954800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24782/tid=24784] ppid=24779 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24784/stat : 24784 (toysat) S 24779 24782 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968496 1344868352 266487 33554432000 4194304 16246674 140734563554960 140347707464944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24782/tid=24785] ppid=24779 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24785/stat : 24785 (toysat) S 24779 24782 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968496 1344868352 266487 33554432000 4194304 16246674 140734563554960 140347585850544 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.30041 s]
/proc/loadavg: 2.35 2.31 2.23 3/183 24809
/proc/meminfo: memFree=27704964/32872528 swapFree=1581260/1720252
[pid=24782] ppid=24779 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/24782/stat : 24782 (toysat) R 24779 24782 24580 0 -1 4202496 269523 0 0 0 593 36 0 0 20 0 4 0 30968496 1344868352 270332 33554432000 4194304 16246674 140734563554960 140734563536832 5722960 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24782/statm: 328337 270332 888 2943 0 325231 0
[pid=24782/tid=24783] ppid=24779 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24783/stat : 24783 (toysat) S 24779 24782 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30968496 1344868352 270332 33554432000 4194304 16246674 140734563554960 140347717954800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24782/tid=24784] ppid=24779 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24784/stat : 24784 (toysat) S 24779 24782 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968496 1344868352 270332 33554432000 4194304 16246674 140734563554960 140347707464944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24782/tid=24785] ppid=24779 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24785/stat : 24785 (toysat) S 24779 24782 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968496 1344868352 270332 33554432000 4194304 16246674 140734563554960 140347585850544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.30 2.30 2.23 3/183 24809
/proc/meminfo: memFree=27705008/32872528 swapFree=1581260/1720252
[pid=24782] ppid=24779 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/24782/stat : 24782 (toysat) R 24779 24782 24580 0 -1 4202496 269523 0 0 0 1233 36 0 0 20 0 4 0 30968496 1344868352 270332 33554432000 4194304 16246674 140734563554960 140734563536832 6020976 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24782/statm: 328337 270332 888 2943 0 325231 0
[pid=24782/tid=24783] ppid=24779 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24783/stat : 24783 (toysat) S 24779 24782 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30968496 1344868352 270332 33554432000 4194304 16246674 140734563554960 140347717954800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24782/tid=24784] ppid=24779 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24784/stat : 24784 (toysat) S 24779 24782 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968496 1344868352 270332 33554432000 4194304 16246674 140734563554960 140347707464944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24782/tid=24785] ppid=24779 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24785/stat : 24785 (toysat) S 24779 24782 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968496 1344868352 270332 33554432000 4194304 16246674 140734563554960 140347585850544 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.5005 s]
/proc/loadavg: 2.25 2.29 2.23 3/183 24809
/proc/meminfo: memFree=27705492/32872528 swapFree=1581260/1720252
[pid=24782] ppid=24779 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/24782/stat : 24782 (toysat) R 24779 24782 24580 0 -1 4202496 269528 0 0 0 2513 36 0 0 20 0 4 0 30968496 1344868352 270339 33554432000 4194304 16246674 140734563554960 140734563554136 5711705 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24782/statm: 328337 270339 892 2943 0 325231 0
[pid=24782/tid=24783] ppid=24779 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24783/stat : 24783 (toysat) S 24779 24782 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30968496 1344868352 270339 33554432000 4194304 16246674 140734563554960 140347717954800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24782/tid=24784] ppid=24779 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24784/stat : 24784 (toysat) S 24779 24782 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968496 1344868352 270339 33554432000 4194304 16246674 140734563554960 140347707464944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24782/tid=24785] ppid=24779 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24785/stat : 24785 (toysat) S 24779 24782 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968496 1344868352 270339 33554432000 4194304 16246674 140734563554960 140347585850544 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.1005 s]
/proc/loadavg: 2.23 2.28 2.22 3/183 24809
/proc/meminfo: memFree=27705956/32872528 swapFree=1581260/1720252
[pid=24782] ppid=24779 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/24782/stat : 24782 (toysat) R 24779 24782 24580 0 -1 4202496 269533 0 0 0 5072 36 0 0 20 0 4 0 30968496 1344868352 270339 33554432000 4194304 16246674 140734563554960 140734563536832 5721373 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24782/statm: 328337 270339 892 2943 0 325231 0
[pid=24782/tid=24783] ppid=24779 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24783/stat : 24783 (toysat) S 24779 24782 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30968496 1344868352 270339 33554432000 4194304 16246674 140734563554960 140347717954800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24782/tid=24784] ppid=24779 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24784/stat : 24784 (toysat) S 24779 24782 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968496 1344868352 270339 33554432000 4194304 16246674 140734563554960 140347707464944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24782/tid=24785] ppid=24779 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24785/stat : 24785 (toysat) S 24779 24782 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968496 1344868352 270339 33554432000 4194304 16246674 140734563554960 140347585850544 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.22 2.26 2.22 3/183 24810
/proc/meminfo: memFree=27700564/32872528 swapFree=1581260/1720252
[pid=24782] ppid=24779 vsize=1316420 CPUtime=102.28 cores=0,2,4,6
/proc/24782/stat : 24782 (toysat) R 24779 24782 24580 0 -1 4202496 270256 0 0 0 10191 37 0 0 20 0 4 0 30968496 1348014080 271046 33554432000 4194304 16246674 140734563554960 140734563536832 5523188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24782/statm: 329105 271046 892 2943 0 325999 0
[pid=24782/tid=24783] ppid=24779 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24783/stat : 24783 (toysat) S 24779 24782 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30968496 1348014080 271046 33554432000 4194304 16246674 140734563554960 140347717954800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24782/tid=24784] ppid=24779 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24784/stat : 24784 (toysat) S 24779 24782 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968496 1348014080 271046 33554432000 4194304 16246674 140734563554960 140347707464944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24782/tid=24785] ppid=24779 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24785/stat : 24785 (toysat) S 24779 24782 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968496 1348014080 271046 33554432000 4194304 16246674 140734563554960 140347585850544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1316420


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

/proc/24782/task/24785/stat : 24785 (toysat) S 24779 24782 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347585850544 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) 1346116

[startup+1362.3 s]
/proc/loadavg: 2.25 2.24 2.18 3/183 24842
/proc/meminfo: memFree=27647796/32872528 swapFree=1581260/1720252
[pid=24782] ppid=24779 vsize=1346116 CPUtime=1361.87 cores=0,2,4,6
/proc/24782/stat : 24782 (toysat) R 24779 24782 24580 0 -1 4202496 278086 0 0 0 136142 45 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140734563536832 5723568 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24782/statm: 336529 278531 892 2943 0 333423 0
[pid=24782/tid=24783] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24783/stat : 24783 (toysat) S 24779 24782 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347717954800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24782/tid=24784] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24784/stat : 24784 (toysat) S 24779 24782 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347707464944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24782/tid=24785] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24785/stat : 24785 (toysat) S 24779 24782 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347585850544 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) 1346116

[startup+1422.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 24843
/proc/meminfo: memFree=27647724/32872528 swapFree=1581260/1720252
[pid=24782] ppid=24779 vsize=1346116 CPUtime=1421.86 cores=0,2,4,6
/proc/24782/stat : 24782 (toysat) R 24779 24782 24580 0 -1 4202496 278086 0 0 0 142141 45 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140734563536832 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24782/statm: 336529 278531 892 2943 0 333423 0
[pid=24782/tid=24783] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24783/stat : 24783 (toysat) S 24779 24782 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347717954800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24782/tid=24784] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24784/stat : 24784 (toysat) S 24779 24782 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347707464944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24782/tid=24785] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24785/stat : 24785 (toysat) S 24779 24782 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347585850544 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) 1346116

[startup+1482.3 s]
/proc/loadavg: 2.25 2.23 2.18 3/183 24844
/proc/meminfo: memFree=27647844/32872528 swapFree=1581260/1720252
[pid=24782] ppid=24779 vsize=1346116 CPUtime=1481.85 cores=0,2,4,6
/proc/24782/stat : 24782 (toysat) R 24779 24782 24580 0 -1 4202496 278086 0 0 0 148139 46 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140734563536832 5675669 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24782/statm: 336529 278531 892 2943 0 333423 0
[pid=24782/tid=24783] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24783/stat : 24783 (toysat) S 24779 24782 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347717954800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24782/tid=24784] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24784/stat : 24784 (toysat) S 24779 24782 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347707464944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24782/tid=24785] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24785/stat : 24785 (toysat) S 24779 24782 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347585850544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1346116

[startup+1542.31 s]
/proc/loadavg: 2.32 2.25 2.19 3/184 24849
/proc/meminfo: memFree=27648040/32872528 swapFree=1581260/1720252
[pid=24782] ppid=24779 vsize=1346116 CPUtime=1541.85 cores=0,2,4,6
/proc/24782/stat : 24782 (toysat) R 24779 24782 24580 0 -1 4202496 278086 0 0 0 154139 46 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140734563536832 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24782/statm: 336529 278531 892 2943 0 333423 0
[pid=24782/tid=24783] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24783/stat : 24783 (toysat) S 24779 24782 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347717954800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24782/tid=24784] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24784/stat : 24784 (toysat) S 24779 24782 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347707464944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24782/tid=24785] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24785/stat : 24785 (toysat) S 24779 24782 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347585850544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1346116

[startup+1602.3 s]
/proc/loadavg: 2.26 2.24 2.19 3/183 24850
/proc/meminfo: memFree=27648304/32872528 swapFree=1581260/1720252
[pid=24782] ppid=24779 vsize=1346116 CPUtime=1601.83 cores=0,2,4,6
/proc/24782/stat : 24782 (toysat) R 24779 24782 24580 0 -1 4202496 278086 0 0 0 160137 46 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140734563554136 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24782/statm: 336529 278531 892 2943 0 333423 0
[pid=24782/tid=24783] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24783/stat : 24783 (toysat) S 24779 24782 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347717954800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24782/tid=24784] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24784/stat : 24784 (toysat) S 24779 24782 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347707464944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24782/tid=24785] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24785/stat : 24785 (toysat) S 24779 24782 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347585850544 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) 1346116

[startup+1662.3 s]
/proc/loadavg: 2.41 2.27 2.20 4/183 24851
/proc/meminfo: memFree=27648296/32872528 swapFree=1581260/1720252
[pid=24782] ppid=24779 vsize=1346116 CPUtime=1661.82 cores=0,2,4,6
/proc/24782/stat : 24782 (toysat) R 24779 24782 24580 0 -1 4202496 278086 0 0 0 166136 46 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140734563536832 5662824 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24782/statm: 336529 278531 892 2943 0 333423 0
[pid=24782/tid=24783] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24783/stat : 24783 (toysat) S 24779 24782 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347717954800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24782/tid=24784] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24784/stat : 24784 (toysat) S 24779 24782 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347707464944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24782/tid=24785] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24785/stat : 24785 (toysat) S 24779 24782 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347585850544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1346116

[startup+1722.3 s]
/proc/loadavg: 2.24 2.25 2.19 3/183 24852
/proc/meminfo: memFree=27648304/32872528 swapFree=1581260/1720252
[pid=24782] ppid=24779 vsize=1346116 CPUtime=1721.82 cores=0,2,4,6
/proc/24782/stat : 24782 (toysat) R 24779 24782 24580 0 -1 4202496 278086 0 0 0 172135 47 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140734563536832 5721540 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24782/statm: 336529 278531 892 2943 0 333423 0
[pid=24782/tid=24783] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24783/stat : 24783 (toysat) S 24779 24782 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347717954800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24782/tid=24784] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24784/stat : 24784 (toysat) S 24779 24782 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347707464944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24782/tid=24785] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24785/stat : 24785 (toysat) S 24779 24782 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347585850544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1346116

[startup+1782.3 s]
/proc/loadavg: 2.28 2.26 2.19 3/183 24853
/proc/meminfo: memFree=27647808/32872528 swapFree=1581260/1720252
[pid=24782] ppid=24779 vsize=1346116 CPUtime=1781.8 cores=0,2,4,6
/proc/24782/stat : 24782 (toysat) R 24779 24782 24580 0 -1 4202496 278086 0 0 0 178133 47 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140734563536832 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24782/statm: 336529 278531 892 2943 0 333423 0
[pid=24782/tid=24783] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24783/stat : 24783 (toysat) S 24779 24782 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347717954800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24782/tid=24784] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24784/stat : 24784 (toysat) S 24779 24782 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347707464944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24782/tid=24785] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24785/stat : 24785 (toysat) S 24779 24782 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347585850544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1346116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.27 2.26 2.19 3/183 24853
/proc/meminfo: memFree=27647688/32872528 swapFree=1581260/1720252
[pid=24782] ppid=24779 vsize=1346116 CPUtime=1800 cores=0,2,4,6
/proc/24782/stat : 24782 (toysat) R 24779 24782 24580 0 -1 4202496 278086 0 0 0 179953 47 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140734563536832 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24782/statm: 336529 278531 892 2943 0 333423 0
[pid=24782/tid=24783] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24783/stat : 24783 (toysat) S 24779 24782 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347717954800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24782/tid=24784] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24784/stat : 24784 (toysat) S 24779 24782 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347707464944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24782/tid=24785] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24785/stat : 24785 (toysat) S 24779 24782 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347585850544 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) 1346116

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

[startup+1800.5 s]
/proc/loadavg: 2.27 2.26 2.19 3/183 24853
/proc/meminfo: memFree=27647688/32872528 swapFree=1581260/1720252
[pid=24782] ppid=24779 vsize=1346116 CPUtime=1800 cores=0,2,4,6
/proc/24782/stat : 24782 (toysat) R 24779 24782 24580 0 -1 4202496 278086 0 0 0 179953 47 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140734563536832 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24782/statm: 336529 278531 892 2943 0 333423 0
[pid=24782/tid=24783] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24783/stat : 24783 (toysat) S 24779 24782 24580 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347717954800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24782/tid=24784] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24784/stat : 24784 (toysat) S 24779 24782 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347707464944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24782/tid=24785] ppid=24779 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/24782/task/24785/stat : 24785 (toysat) S 24779 24782 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30968496 1378422784 278531 33554432000 4194304 16246674 140734563554960 140347585850544 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) 1346116

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.474927
maximum resident set size= 1114124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278086
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= 381
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.45056 second user time and 9.1996 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-27 00:14:51
IDJOB=4116277
IDBENCH=109450
IDSOLVER=2542
FILE ID=node117/4116277-1466979291
RUNJOBID= node117-1466977489-24596
PBS_JOBID= 19976392
Free space on /tmp= 71608 MiB

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

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

MD5SUM BENCH= f9a64a64b49371491e530c3c526be748
RANDOM SEED=571939644

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.630
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:        29864488 kB
Buffers:           90548 kB
Cached:           446864 kB
SwapCached:         2208 kB
Active:           124500 kB
Inactive:         417396 kB
Active(anon):       2572 kB
Inactive(anon):     4136 kB
Active(file):     121928 kB
Inactive(file):   413260 kB
Unevictable:     1720252 kB
Mlocked:         1581260 kB
SwapTotal:      67108856 kB
SwapFree:       67099644 kB
Dirty:             16764 kB
Writeback:             0 kB
AnonPages:       1724352 kB
Mapped:             8856 kB
Shmem:                 0 kB
Slab:             611924 kB
SReclaimable:      55932 kB
SUnreclaim:       555992 kB
KernelStack:        1440 kB
PageTables:         7044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1817516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 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= 71592 MiB
End job on node117 at 2016-06-27 00:44:51