Trace number 4078971

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

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_2_40.opb
MD5SUMff64c7b9cef588c95a335f732f2d905b
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non 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 variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
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 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12440
Sum of products size (including duplicates)24880
Number of different products6220
Sum of products size12440

Solver Data 

0.00/0.00	c 2016-06-07T03:55:04+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-4078971-1465264504.opb"]
0.00/0.01	c use --random-gen="2504429116 2208748794 296056387 4216150400 1625563313 3444053494 1994157830 2103155045 2206943876 1184476787 2305489571 2615355953 3055578940 242336657 2008984399 979490956 4236756482 3382892692 2593010506 3293577690 3107100703 3127352375 3081217469 3857624033 1207929549 1659750345 91819912 3174868979 947240089 716389823 1122366476 3912345811 426019777 575678086 3048112450 3367151285 1540860488 2052330208 2443971079 1635142607 2050024783 3345873725 3916804945 868258658 2518931269 3255007616 3845543276 1229360674 858273677 932715715 2291009716 2688320157 433181586 62989565 3172587428 510262718 1333499231 3836124533 4139546453 669990010 770967394 1617749739 3853518552 1008504453 3701030160 2136840037 1979036920 3520904668 1001241685 2579533420 1274609934 3892175591 787146720 1418539840 3375993720 1676824264 2510001345 2804234775 1735337524 3960982670 2216034099 2062626893 233961003 1820985679 3873968410 18264710 1020138248 1599904653 263726976 2945586350 1033482437 2169414978 587685566 3139160382 3052927905 4257739940 243834499 4292696535 290055619 3338281347 1833860770 595152088 4158314451 1459884984 3117798855 1775239739 3225992661 1340128123 3517976668 2562685939 1998449966 3103040001 3034520689 2094638826 2898248882 2211973803 883187621 4276263911 2912692425 3069316933 727974523 1043860917 1294353368 2783872129 3444663282 4029853825 3466637329 1296803239 2940764842 669537593 1103850383 1288624189 42122255 1529149069 1288084495 2230510911 2833621751 497868049 3615870753 188474689 2994605608 3431343090 2219957655 2866506252 3457248138 330128564 3713567134 2881089962 3977795753 2832722903 2198737567 2349232506 3086967841 4184969090 195171023 4228693452 2168359869 1743039141 3795014546 27205090 2922985088 2706707907 29585500 1483717696 3279690423 2062937912 1726770734 4125353833 3018949787 758120350 2250934860 1052025972 479176054 3657879690 2419234494 2896796409 334534654 3077387578 1899374741 2696219160 3052801972 1260939956 849682107 475669805 2945134814 557093239 2592860533 2702080466 3334806862 3537909359 2890264110 1593080786 3537692353 2801909831 3452485958 3906289600 2735098552 2141416935 400597823 1202614736 3735367690 2772955559 416775765 902150158 3815330787 4149546921 3013076316 1065233145 3255681842 361521145 2250911855 834401423 4187643855 72862028 721814753 316199842 3983003948 3639679942 3609838245 3472281769 3377424302 4264362572 1686013255 452154786 646952527 1253867427 3911702561 3599706769 234404954 878735350 993039323 554541196 249883638 3951583435 899047221 3220773635 3727224806 1404619086 4000495254 2951508693 2255021087 3833957384 2271826839 3496542217 267098428 1196785687 1494318420 4248518853 4266129174 3735843359 2600064478 931049014 893951450 2643982350 3908373514 499789532 255 362436" option to reproduce the execution
0.00/0.06	c #vars 400
0.00/0.06	c #constraints 602
0.19/0.20	c Solving starts ...
0.19/0.20	c ============================[ Search Statistics ]============================
0.19/0.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.20	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.20	c =============================================================================
0.19/0.20	c  0.0s |       0 |        0 |        0 |     4481      0 |        0 |        0
0.29/0.31	c  0.1s |       1 |      400 |      100 |     4481      0 |        0 |        0
0.39/0.41	c  0.2s |       2 |    11432 |      250 |     4930      0 |        0 |        0
0.48/0.56	c  0.4s |       3 |    12810 |      475 |     5423      0 |        0 |        0
0.69/0.79	c  0.6s |       4 |    14145 |      813 |     5966      0 |        0 |        0
1.28/1.31	c  1.1s |       5 |    14998 |     1320 |     6563      0 |        0 |        0
1.80/1.82	c  1.6s |       6 |    16166 |     2081 |     7943      0 |        0 |        0
2.68/2.71	c  2.5s |       7 |    17693 |     3223 |     8738      0 |        0 |        0
4.28/4.39	c  4.2s |       8 |    19732 |     4936 |     9612      0 |        0 |        0
6.38/6.40	c  6.2s |       8 |    21938 |     6736 |     9612      0 |        0 |        0
7.28/7.31	c  7.1s |       9 |    22713 |     7506 |    10574      0 |        0 |        0
9.28/9.32	c  9.1s |       9 |    24398 |     9006 |    10574      0 |        0 |        0
11.29/11.33	c 11.1s |       9 |    25828 |    10406 |    10574      0 |        0 |        0
12.48/12.52	c 12.3s |      10 |    26865 |    11361 |    11632      1 |        0 |        0
14.50/14.60	c 14.4s |      10 |    28797 |    13061 |    11632      1 |        0 |        0
16.59/16.65	c 16.4s |      10 |    30467 |    14561 |    11632      1 |        0 |        0
18.79/18.83	c 18.6s |      10 |    32107 |    16061 |    11632      1 |        0 |        0
20.49/20.53	c 20.3s |      11 |    33175 |    17144 |    12796      1 |        0 |        0
22.49/22.56	c 22.4s |      11 |    34592 |    18344 |    12796      1 |        0 |        0
24.50/24.58	c 24.4s |      11 |    36101 |    19844 |    12796      2 |        0 |        0
26.49/26.60	c 26.4s |      11 |    38264 |    21744 |    12796      2 |        0 |        0
28.59/28.62	c 28.4s |      11 |    39795 |    23144 |    12796      2 |        0 |        0
30.69/30.78	c 30.6s |      11 |    41138 |    24444 |    12796      2 |        0 |        0
32.69/32.79	c 32.6s |      11 |    42387 |    25644 |    12796      3 |        0 |        0
32.99/33.00	c 32.8s |      12 |    42581 |    25819 |    14076      3 |        0 |        0
34.98/35.09	c 34.9s |      12 |    44186 |    27119 |    14076      3 |        0 |        0
37.08/37.16	c 37.0s |      12 |    45524 |    28419 |    14076      3 |        0 |        0
39.38/39.43	c 39.2s |      12 |    46648 |    29519 |    14076      3 |        0 |        0
41.48/41.54	c 41.3s |      12 |    48023 |    30819 |    14076      3 |        0 |        0
43.58/43.60	c 43.4s |      12 |    49164 |    31919 |    14076      3 |        0 |        0
45.58/45.69	c 45.5s |      12 |    50408 |    33119 |    14076      4 |        0 |        0
47.67/47.74	c 47.5s |      12 |    52305 |    34819 |    14076      4 |        0 |        0
49.78/49.85	c 49.7s |      12 |    53844 |    36319 |    14076      4 |        0 |        0
52.37/52.41	c 52.2s |      12 |    54958 |    37419 |    14076      4 |        0 |        0
54.37/54.42	c 54.2s |      12 |    56034 |    38519 |    14076      4 |        0 |        0
54.87/54.95	c 54.7s |      13 |    56365 |    38832 |    15484      4 |        0 |        0
56.87/56.95	c 56.7s |      13 |    57551 |    39832 |    15484      4 |        0 |        0
59.07/59.11	c 58.9s |      13 |    58666 |    40932 |    15484      4 |        0 |        0
61.07/61.16	c 61.0s |      13 |    59669 |    41932 |    15484      5 |        0 |        0
63.17/63.25	c 63.1s |      13 |    61359 |    43532 |    15484      5 |        0 |        0
65.27/65.38	c 65.2s |      13 |    62378 |    44532 |    15484      5 |        0 |        0
67.37/67.45	c 67.3s |      13 |    63570 |    45732 |    15484      5 |        0 |        0
69.47/69.60	c 69.4s |      13 |    64700 |    46832 |    15484      5 |        0 |        0
71.56/71.69	c 71.5s |      13 |    65799 |    47932 |    15484      5 |        0 |        0
73.76/73.84	c 73.6s |      13 |    66802 |    48932 |    15484      5 |        0 |        0
75.86/75.90	c 75.7s |      13 |    67911 |    50032 |    15484      6 |        0 |        0
77.86/77.95	c 77.7s |      13 |    69242 |    51332 |    15484      6 |        0 |        0
79.86/79.99	c 79.8s |      13 |    70406 |    52432 |    15484      6 |        0 |        0
81.95/82.09	c 81.9s |      13 |    71832 |    53832 |    15484      6 |        0 |        0
84.25/84.30	c 84.1s |      13 |    73036 |    55032 |    15484      6 |        0 |        0
86.25/86.39	c 86.2s |      13 |    74035 |    56032 |    15484      6 |        0 |        0
88.45/88.55	c 88.4s |      13 |    74946 |    56932 |    15484      6 |        0 |        0
91.06/91.11	c 90.9s |      13 |    75892 |    57832 |    15484      7 |        0 |        0
92.06/92.17	c 92.0s |      14 |    76417 |    58352 |    17033      7 |        0 |        0
94.16/94.29	c 94.1s |      14 |    77657 |    59352 |    17033      7 |        0 |        0
96.36/96.40	c 96.2s |      14 |    78658 |    60352 |    17033      7 |        0 |        0
98.46/98.50	c 98.3s |      14 |    79673 |    61352 |    17033      7 |        0 |        0
100.56/100.66	c  100s |      14 |    80690 |    62352 |    17033      7 |        0 |        0
102.66/102.78	c  102s |      14 |    81857 |    63452 |    17033      7 |        0 |        0
104.66/104.79	c  104s |      14 |    82904 |    64452 |    17033      7 |        0 |        0
106.86/106.95	c  106s |      14 |    83905 |    65452 |    17033      7 |        0 |        0
108.85/108.96	c  108s |      14 |    84846 |    66352 |    17033      7 |        0 |        0
110.95/111.02	c  110s |      14 |    85911 |    67352 |    17033      8 |        0 |        0
113.15/113.28	c  113s |      14 |    86817 |    68152 |    17033      8 |        0 |        0
115.25/115.30	c  115s |      14 |    88026 |    69352 |    17033      8 |        0 |        0
117.25/117.38	c  117s |      14 |    89245 |    70552 |    17033      8 |        0 |        0
119.45/119.50	c  119s |      14 |    90608 |    71752 |    17033      8 |        0 |        0
121.54/121.62	c  121s |      14 |    91636 |    72752 |    17033      8 |        0 |        0
123.64/123.77	c  123s |      14 |    92782 |    73852 |    17033      8 |        0 |        0
125.74/125.84	c  125s |      14 |    93741 |    74752 |    17033      8 |        0 |        0
127.75/127.86	c  127s |      14 |    94563 |    75552 |    17033      9 |        0 |        0
129.84/129.90	c  129s |      14 |    96102 |    76952 |    17033      9 |        0 |        0
131.94/132.05	c  131s |      14 |    97700 |    78352 |    17033      9 |        0 |        0
133.94/134.06	c  133s |      14 |    99005 |    79552 |    17033      9 |        0 |        0
136.04/136.12	c  135s |      14 |   100237 |    80652 |    17033      9 |        0 |        0
138.04/138.16	c  137s |      14 |   101341 |    81652 |    17033      9 |        0 |        0
140.14/140.27	c  140s |      14 |   102371 |    82652 |    17033      9 |        0 |        0
142.24/142.31	c  142s |      14 |   103371 |    83552 |    17033      9 |        0 |        0
144.35/144.45	c  144s |      14 |   104323 |    84452 |    17033     10 |        0 |        0
146.44/146.51	c  146s |      14 |   105801 |    85852 |    17033     10 |        0 |        0
148.84/148.94	c  148s |      14 |   106224 |    86252 |    17033     10 |        0 |        0
150.94/151.05	c  150s |      14 |   107568 |    87552 |    18737     10 |        0 |        0
151.03/151.15	c  150s |      15 |   107658 |    87632 |    18737     10 |        0 |        0
153.04/153.17	c  152s |      15 |   108673 |    88432 |    18737     10 |        0 |        0
155.24/155.31	c  155s |      15 |   110043 |    89732 |    18737     10 |        0 |        0
157.23/157.32	c  157s |      15 |   111284 |    90932 |    18737     10 |        0 |        0
159.33/159.42	c  159s |      15 |   112435 |    92032 |    18737     10 |        0 |        0
161.32/161.43	c  161s |      15 |   113674 |    93132 |    18737     10 |        0 |        0
164.72/164.81	c  164s |      15 |   115140 |    94432 |    18737     11 |        0 |        0
166.72/166.87	c  166s |      15 |   116632 |    95832 |    18737     11 |        0 |        0
168.72/168.88	c  168s |      15 |   118046 |    97232 |    18737     11 |        0 |        0
170.92/171.04	c  170s |      15 |   119501 |    98632 |    18737     11 |        0 |        0
172.92/173.05	c  172s |      15 |   120661 |    99732 |    18737     11 |        0 |        0
174.92/175.09	c  174s |      15 |   121961 |   100932 |    18737     11 |        0 |        0
177.02/177.16	c  176s |      15 |   123220 |   102132 |    18737     11 |        0 |        0
179.22/179.32	c  179s |      15 |   124255 |   103132 |    18737     11 |        0 |        0
181.22/181.36	c  181s |      15 |   125307 |   104132 |    18737     12 |        0 |        0
183.32/183.41	c  183s |      15 |   126893 |   105632 |    18737     12 |        0 |        0
185.41/185.56	c  185s |      15 |   128350 |   107032 |    18737     12 |        0 |        0
187.51/187.69	c  187s |      15 |   129808 |   108432 |    18737     12 |        0 |        0
189.71/189.81	c  189s |      15 |   131378 |   109832 |    18737     12 |        0 |        0
191.71/191.88	c  191s |      15 |   133013 |   111232 |    18737     12 |        0 |        0
193.82/193.95	c  193s |      15 |   134494 |   112632 |    18737     12 |        0 |        0
196.51/196.60	c  196s |      15 |   135054 |   113132 |    18737     12 |        0 |        0
198.52/198.67	c  198s |      15 |   135837 |   113932 |    18737     13 |        0 |        0
200.62/200.75	c  200s |      15 |   137167 |   115232 |    18737     13 |        0 |        0
202.71/202.80	c  202s |      15 |   138447 |   116432 |    18737     13 |        0 |        0
204.91/205.04	c  204s |      15 |   139890 |   117732 |    18737     13 |        0 |        0
206.92/207.06	c  206s |      15 |   141192 |   118932 |    18737     13 |        0 |        0
209.01/209.15	c  208s |      15 |   142453 |   120032 |    18737     13 |        0 |        0
211.10/211.25	c  211s |      15 |   143603 |   121132 |    18737     13 |        0 |        0
213.40/213.53	c  213s |      15 |   144412 |   121932 |    18737     13 |        0 |        0
215.50/215.60	c  215s |      15 |   145142 |   122632 |    18737     13 |        0 |        0
217.50/217.63	c  217s |      15 |   145947 |   123432 |    18737     14 |        0 |        0
219.60/219.72	c  219s |      15 |   147158 |   124632 |    18737     14 |        0 |        0
221.70/221.90	c  221s |      15 |   148628 |   126032 |    18737     14 |        0 |        0
223.90/224.06	c  223s |      15 |   150061 |   127332 |    18737     14 |        0 |        0
226.00/226.19	c  225s |      15 |   151102 |   128332 |    18737     14 |        0 |        0
228.20/228.35	c  228s |      15 |   152139 |   129332 |    18737     14 |        0 |        0
230.30/230.43	c  230s |      15 |   153046 |   130232 |    18737     14 |        0 |        0
232.39/232.59	c  232s |      15 |   154178 |   131332 |    20611     14 |        0 |        0
233.09/233.22	c  233s |      16 |   154406 |   131552 |    20611     14 |        0 |        0
235.29/235.41	c  235s |      16 |   155378 |   132352 |    20611     14 |        0 |        0
237.29/237.41	c  237s |      16 |   156329 |   133252 |    20611     14 |        0 |        0
239.59/239.73	c  239s |      16 |   157389 |   134252 |    20611     15 |        0 |        0
241.59/241.77	c  241s |      16 |   158743 |   135552 |    20611     15 |        0 |        0
243.69/243.83	c  243s |      16 |   159869 |   136652 |    20611     15 |        0 |        0
245.79/245.96	c  245s |      16 |   161218 |   137952 |    20611     15 |        0 |        0
247.89/248.08	c  247s |      16 |   162437 |   139152 |    20611     15 |        0 |        0
250.09/250.29	c  250s |      16 |   163821 |   140452 |    20611     15 |        0 |        0
252.28/252.43	c  252s |      16 |   165085 |   141652 |    20611     15 |        0 |        0
254.38/254.54	c  254s |      16 |   166421 |   142852 |    20611     15 |        0 |        0
256.58/256.74	c  256s |      16 |   167502 |   143852 |    20611     15 |        0 |        0
258.88/259.00	c  258s |      16 |   168491 |   144752 |    20611     16 |        0 |        0
261.49/261.66	c  261s |      16 |   169796 |   145852 |    20611     16 |        0 |        0
263.59/263.78	c  263s |      16 |   170954 |   146952 |    20611     16 |        0 |        0
265.59/265.79	c  265s |      16 |   172153 |   148152 |    20611     16 |        0 |        0
267.69/267.88	c  267s |      16 |   173622 |   149552 |    20611     16 |        0 |        0
269.89/270.05	c  269s |      16 |   174956 |   150852 |    20611     16 |        0 |        0
272.08/272.23	c  272s |      16 |   175977 |   151852 |    20611     16 |        0 |        0
274.18/274.34	c  274s |      16 |   176880 |   152752 |    20611     16 |        0 |        0
276.29/276.44	c  276s |      16 |   177887 |   153752 |    20611     16 |        0 |        0
278.49/278.63	c  278s |      16 |   179039 |   154852 |    20611     16 |        0 |        0
280.48/280.69	c  280s |      16 |   180156 |   155952 |    20611     17 |        0 |        0
282.58/282.75	c  282s |      16 |   181299 |   157052 |    20611     17 |        0 |        0
284.68/284.89	c  284s |      16 |   182408 |   158152 |    20611     17 |        0 |        0
286.78/286.96	c  286s |      16 |   183628 |   159352 |    20611     17 |        0 |        0
288.98/289.18	c  288s |      16 |   185002 |   160652 |    20611     17 |        0 |        0
291.17/291.30	c  291s |      16 |   186141 |   161752 |    20611     17 |        0 |        0
293.27/293.42	c  293s |      16 |   187159 |   162752 |    20611     17 |        0 |        0
295.37/295.58	c  295s |      16 |   188423 |   163952 |    20611     17 |        0 |        0
297.47/297.68	c  297s |      16 |   189347 |   164852 |    20611     17 |        0 |        0
299.67/299.87	c  299s |      16 |   190217 |   165652 |    20611     18 |        0 |        0
301.87/302.02	c  301s |      16 |   191777 |   167152 |    20611     18 |        0 |        0
303.86/304.08	c  303s |      16 |   193171 |   168452 |    20611     18 |        0 |        0
305.97/306.19	c  305s |      16 |   194403 |   169652 |    20611     18 |        0 |        0
307.96/308.20	c  307s |      16 |   195411 |   170652 |    20611     18 |        0 |        0
310.06/310.22	c  310s |      16 |   196472 |   171652 |    20611     18 |        0 |        0
312.16/312.34	c  312s |      16 |   197741 |   172852 |    20611     18 |        0 |        0
314.16/314.37	c  314s |      16 |   198763 |   173852 |    20611     18 |        0 |        0
316.36/316.52	c  316s |      16 |   200034 |   175052 |    20611     18 |        0 |        0
318.66/318.86	c  318s |      16 |   201047 |   176052 |    20611     19 |        0 |        0
320.76/320.93	c  320s |      16 |   202404 |   177352 |    20611     19 |        0 |        0
322.85/323.05	c  322s |      16 |   203691 |   178552 |    20611     19 |        0 |        0
324.85/325.05	c  324s |      16 |   205095 |   179852 |    20611     19 |        0 |        0
327.96/328.18	c  327s |      16 |   206777 |   181252 |    20611     19 |        0 |        0
330.75/330.91	c  330s |      16 |   207775 |   182152 |    20611     19 |        0 |        0
332.75/332.94	c  332s |      16 |   208671 |   183052 |    20611     19 |        0 |        0
334.85/335.04	c  334s |      16 |   209671 |   184052 |    20611     19 |        0 |        0
336.95/337.14	c  336s |      16 |   211089 |   185352 |    20611     19 |        0 |        0
339.15/339.30	c  339s |      16 |   212216 |   186452 |    20611     20 |        0 |        0
341.34/341.50	c  341s |      16 |   213406 |   187652 |    20611     20 |        0 |        0
343.35/343.52	c  343s |      16 |   214546 |   188752 |    20611     20 |        0 |        0
345.34/345.54	c  345s |      16 |   215774 |   189952 |    20611     20 |        0 |        0
347.34/347.57	c  347s |      16 |   217044 |   191152 |    20611     20 |        0 |        0
349.44/349.64	c  349s |      16 |   218074 |   192152 |    20611     20 |        0 |        0
351.44/351.64	c  351s |      16 |   219339 |   193352 |    20611     20 |        0 |        0
353.44/353.69	c  353s |      16 |   220364 |   194352 |    20611     20 |        0 |        0
355.54/355.78	c  355s |      16 |   221609 |   195552 |    20611     20 |        0 |        0
357.64/357.81	c  357s |      16 |   222887 |   196752 |    22673     20 |        0 |        0
358.74/358.99	c  358s |      17 |   223609 |   197432 |    22673     20 |        0 |        0
360.94/361.16	c  360s |      17 |   224582 |   198232 |    22673     20 |        0 |        0
363.33/363.59	c  363s |      17 |   225463 |   199032 |    22673     21 |        0 |        0
365.53/365.74	c  365s |      17 |   226912 |   200432 |    22673     21 |        0 |        0
369.74/369.98	c  369s |      17 |   227671 |   201132 |    22673     21 |        0 |        0
371.84/372.02	c  371s |      17 |   229189 |   202532 |    22673     21 |        0 |        0
373.83/374.03	c  373s |      17 |   230447 |   203732 |    22673     21 |        0 |        0
376.03/376.22	c  376s |      17 |   231483 |   204732 |    22673     21 |        0 |        0
378.03/378.22	c  378s |      17 |   232420 |   205632 |    22673     21 |        0 |        0
380.13/380.36	c  380s |      17 |   233431 |   206632 |    22673     21 |        0 |        0
382.23/382.43	c  382s |      17 |   234689 |   207832 |    22673     21 |        0 |        0
384.23/384.46	c  384s |      17 |   235500 |   208632 |    22673     21 |        0 |        0
386.43/386.62	c  386s |      17 |   236314 |   209432 |    22673     21 |        0 |        0
388.53/388.73	c  388s |      17 |   237248 |   210332 |    22673     21 |        0 |        0
390.63/390.87	c  390s |      17 |   238178 |   211232 |    22673     22 |        0 |        0
392.73/392.91	c  392s |      17 |   239536 |   212532 |    22673     22 |        0 |        0
394.72/394.96	c  394s |      17 |   240560 |   213532 |    22673     22 |        0 |        0
396.92/397.12	c  396s |      17 |   241842 |   214732 |    22673     22 |        0 |        0
398.92/399.14	c  398s |      17 |   243040 |   215832 |    22673     22 |        0 |        0
401.92/402.17	c  401s |      17 |   244673 |   217232 |    22673     22 |        0 |        0
404.02/404.26	c  404s |      17 |   245823 |   218332 |    22673     22 |        0 |        0
406.03/406.29	c  406s |      17 |   246892 |   219332 |    22673     22 |        0 |        0
408.13/408.36	c  408s |      17 |   247702 |   220132 |    22673     22 |        0 |        0
410.33/410.53	c  410s |      17 |   248646 |   221032 |    22673     22 |        0 |        0
412.62/412.84	c  412s |      17 |   249485 |   221832 |    22673     23 |        0 |        0
414.72/415.00	c  414s |      17 |   250834 |   223132 |    22673     23 |        0 |        0
416.81/417.03	c  416s |      17 |   252195 |   224432 |    22673     23 |        0 |        0
418.91/419.14	c  418s |      17 |   253674 |   225832 |    22673     23 |        0 |        0
421.11/421.34	c  421s |      17 |   255057 |   227132 |    22673     23 |        0 |        0
423.11/423.37	c  423s |      17 |   255856 |   227932 |    22673     23 |        0 |        0
427.10/427.33	c  427s |      17 |   257044 |   229032 |    22673     23 |        0 |        0
429.20/429.47	c  429s |      17 |   258060 |   230032 |    22673     23 |        0 |        0
431.21/431.49	c  431s |      17 |   259216 |   231132 |    22673     23 |        0 |        0
433.30/433.56	c  433s |      17 |   260375 |   232232 |    22673     23 |        0 |        0
435.30/435.58	c  435s |      17 |   261376 |   233232 |    22673     23 |        0 |        0
437.40/437.67	c  437s |      17 |   262522 |   234332 |    22673     24 |        0 |        0
439.40/439.68	c  439s |      17 |   263989 |   235732 |    22673     24 |        0 |        0
441.49/441.78	c  441s |      17 |   265755 |   237232 |    22673     24 |        0 |        0
443.69/443.97	c  443s |      17 |   266900 |   238232 |    22673     24 |        0 |        0
445.79/446.06	c  445s |      17 |   267970 |   239232 |    22673     24 |        0 |        0
447.80/448.07	c  447s |      17 |   268903 |   240132 |    22673     24 |        0 |        0
449.79/450.09	c  449s |      17 |   269938 |   241132 |    22673     24 |        0 |        0
451.89/452.11	c  451s |      17 |   271228 |   242232 |    22673     24 |        0 |        0
453.89/454.15	c  453s |      17 |   272344 |   243232 |    22673     24 |        0 |        0
455.99/456.23	c  456s |      17 |   273653 |   244432 |    22673     24 |        0 |        0
462.99/463.20	c  463s |      17 |   274161 |   244832 |    22673     25 |        0 |        0
464.99/465.22	c  465s |      17 |   275572 |   246132 |    22673     25 |        0 |        0
466.99/467.28	c  467s |      17 |   277051 |   247532 |    22673     25 |        0 |        0
469.09/469.34	c  469s |      17 |   277911 |   248332 |    22673     25 |        0 |        0
471.08/471.37	c  471s |      17 |   279214 |   249532 |    22673     25 |        0 |        0
473.28/473.50	c  473s |      17 |   280562 |   250832 |    22673     25 |        0 |        0
475.38/475.65	c  475s |      17 |   281911 |   252132 |    22673     25 |        0 |        0
477.58/477.82	c  477s |      17 |   283550 |   253532 |    22673     25 |        0 |        0
479.78/480.06	c  479s |      17 |   284481 |   254432 |    22673     25 |        0 |        0
481.78/482.08	c  481s |      17 |   285560 |   255432 |    22673     25 |        0 |        0
484.18/484.45	c  484s |      17 |   286546 |   256332 |    22673     26 |        0 |        0
486.28/486.54	c  486s |      17 |   288087 |   257732 |    22673     26 |        0 |        0
488.38/488.67	c  488s |      17 |   289555 |   259132 |    22673     26 |        0 |        0
490.48/490.74	c  490s |      17 |   291115 |   260632 |    22673     26 |        0 |        0
492.57/492.83	c  492s |      17 |   292543 |   261932 |    22673     26 |        0 |        0
494.57/494.85	c  494s |      17 |   293955 |   263232 |    22673     26 |        0 |        0
496.77/497.02	c  496s |      17 |   295449 |   264632 |    22673     26 |        0 |        0
498.97/499.27	c  499s |      17 |   296498 |   265632 |    22673     26 |        0 |        0
501.07/501.36	c  501s |      17 |   297409 |   266532 |    22673     26 |        0 |        0
503.88/504.12	c  503s |      17 |   298778 |   267732 |    22673     27 |        0 |        0
506.67/506.91	c  506s |      17 |   300049 |   268832 |    22673     27 |        0 |        0
508.66/508.92	c  508s |      17 |   301659 |   270332 |    22673     27 |        0 |        0
510.66/510.97	c  510s |      17 |   303426 |   271932 |    22673     27 |        0 |        0
512.76/513.02	c  512s |      17 |   304946 |   273332 |    22673     27 |        0 |        0
514.77/515.10	c  514s |      17 |   306929 |   275032 |    22673     27 |        0 |        0
516.86/517.14	c  516s |      17 |   308479 |   276432 |    22673     27 |        0 |        0
519.17/519.47	c  519s |      17 |   309551 |   277332 |    22673     27 |        0 |        0
522.76/523.09	c  522s |      17 |   310104 |   277832 |    22673     27 |        0 |        0
524.86/525.13	c  524s |      17 |   311337 |   278832 |    22673     27 |        0 |        0
526.87/527.17	c  526s |      17 |   312158 |   279632 |    22673     28 |        0 |        0
528.86/529.18	c  528s |      17 |   313745 |   281032 |    22673     28 |        0 |        0
531.27/531.56	c  531s |      17 |   315386 |   282532 |    22673     28 |        0 |        0
533.36/533.66	c  533s |      17 |   316729 |   283832 |    22673     28 |        0 |        0
535.56/535.81	c  535s |      17 |   318026 |   285032 |    22673     28 |        0 |        0
539.06/539.31	c  539s |      17 |   319475 |   286332 |    22673     28 |        0 |        0
541.16/541.48	c  541s |      17 |   320615 |   287432 |    22673     28 |        0 |        0
543.36/543.63	c  543s |      17 |   321648 |   288432 |    22673     28 |        0 |        0
545.35/545.64	c  545s |      17 |   322606 |   289332 |    22673     28 |        0 |        0
547.35/547.67	c  547s |      17 |   323728 |   290332 |    22673     28 |        0 |        0
549.35/549.69	c  549s |      17 |   324926 |   291432 |    22673     29 |        0 |        0
551.44/551.75	c  551s |      17 |   326028 |   292432 |    22673     29 |        0 |        0
553.44/553.76	c  553s |      17 |   327105 |   293432 |    22673     29 |        0 |        0
555.55/555.82	c  555s |      17 |   328560 |   294732 |    24941     29 |        0 |        0
557.54/557.89	c  557s |      17 |   330046 |   296032 |    24941     29 |        0 |        0
557.94/558.27	c  558s |      18 |   330277 |   296252 |    24941     29 |        0 |        0
560.14/560.40	c  560s |      18 |   331225 |   296952 |    24941     29 |        0 |        0
562.15/562.41	c  562s |      18 |   332301 |   297952 |    24941     29 |        0 |        0
564.25/564.55	c  564s |      18 |   333112 |   298752 |    24941     29 |        0 |        0
566.34/566.65	c  566s |      18 |   334032 |   299652 |    24941     29 |        0 |        0
568.44/568.75	c  568s |      18 |   335038 |   300652 |    24941     29 |        0 |        0
570.54/570.87	c  570s |      18 |   336022 |   301552 |    24941     29 |        0 |        0
572.74/573.00	c  572s |      18 |   336839 |   302352 |    24941     29 |        0 |        0
574.94/575.21	c  575s |      18 |   337706 |   303152 |    24941     29 |        0 |        0
577.04/577.32	c  577s |      18 |   338324 |   303752 |    24941     29 |        0 |        0
579.53/579.89	c  579s |      18 |   338831 |   304252 |    24941     30 |        0 |        0
581.73/582.00	c  581s |      18 |   340155 |   305552 |    24941     30 |        0 |        0
585.54/585.81	c  585s |      18 |   341376 |   306652 |    24941     30 |        0 |        0
587.64/587.95	c  587s |      18 |   342833 |   308052 |    24941     30 |        0 |        0
589.94/590.20	c  589s |      18 |   343937 |   309152 |    24941     30 |        0 |        0
591.93/592.23	c  592s |      18 |   344960 |   310152 |    24941     30 |        0 |        0
593.94/594.25	c  594s |      18 |   345967 |   311152 |    24941     30 |        0 |        0
596.14/596.46	c  596s |      18 |   347153 |   312252 |    24941     30 |        0 |        0
598.23/598.56	c  598s |      18 |   348163 |   313252 |    24941     30 |        0 |        0
600.23/600.56	c  600s |      18 |   349435 |   314452 |    24941     30 |        0 |        0
602.43/602.79	c  602s |      18 |   350388 |   315352 |    24941     30 |        0 |        0
604.63/604.93	c  604s |      18 |   351197 |   316152 |    24941     30 |        0 |        0
606.93/607.27	c  607s |      18 |   352041 |   316952 |    24941     31 |        0 |        0
609.03/609.39	c  609s |      18 |   353311 |   318152 |    24941     31 |        0 |        0
611.23/611.54	c  611s |      18 |   354320 |   319152 |    24941     31 |        0 |        0
613.43/613.76	c  613s |      18 |   355847 |   320452 |    24941     31 |        0 |        0
615.53/615.86	c  615s |      18 |   357039 |   321552 |    24941     31 |        0 |        0
617.53/617.88	c  617s |      18 |   358393 |   322752 |    24941     31 |        0 |        0
619.92/620.25	c  620s |      18 |   359324 |   323552 |    24941     31 |        0 |        0
622.02/622.34	c  622s |      18 |   360186 |   324352 |    24941     31 |        0 |        0
624.02/624.39	c  624s |      18 |   361159 |   325252 |    24941     31 |        0 |        0
626.12/626.40	c  626s |      18 |   362162 |   326152 |    24941     31 |        0 |        0
628.32/628.66	c  628s |      18 |   362971 |   326952 |    24941     31 |        0 |        0
630.52/630.86	c  630s |      18 |   363784 |   327752 |    24941     31 |        0 |        0
632.71/633.04	c  632s |      18 |   364878 |   328752 |    24941     31 |        0 |        0
635.21/635.57	c  635s |      18 |   365616 |   329452 |    24941     32 |        0 |        0
637.41/637.72	c  637s |      18 |   366888 |   330652 |    24941     32 |        0 |        0
639.51/639.82	c  639s |      18 |   368331 |   332052 |    24941     32 |        0 |        0
641.51/641.84	c  641s |      18 |   369348 |   333052 |    24941     32 |        0 |        0
643.61/643.96	c  643s |      18 |   370599 |   334252 |    24941     32 |        0 |        0
645.72/646.09	c  645s |      18 |   371880 |   335452 |    24941     32 |        0 |        0
647.82/648.17	c  647s |      18 |   372828 |   336352 |    24941     32 |        0 |        0
650.02/650.33	c  650s |      18 |   374091 |   337452 |    24941     32 |        0 |        0
652.21/652.53	c  652s |      18 |   375380 |   338652 |    24941     32 |        0 |        0
654.21/654.59	c  654s |      18 |   376759 |   339852 |    24941     32 |        0 |        0
656.51/656.81	c  656s |      18 |   377426 |   340352 |    24941     32 |        0 |        0
658.60/658.95	c  658s |      18 |   378201 |   341052 |    24941     32 |        0 |        0
660.70/661.00	c  660s |      18 |   378829 |   341652 |    24941     32 |        0 |        0
662.90/663.21	c  663s |      18 |   379337 |   342152 |    24941     33 |        0 |        0
665.00/665.32	c  665s |      18 |   380480 |   343252 |    24941     33 |        0 |        0
667.10/667.41	c  667s |      18 |   381848 |   344552 |    24941     33 |        0 |        0
669.10/669.42	c  669s |      18 |   383199 |   345852 |    24941     33 |        0 |        0
671.10/671.45	c  671s |      18 |   384584 |   347152 |    24941     33 |        0 |        0
673.30/673.63	c  673s |      18 |   386118 |   348552 |    24941     33 |        0 |        0
675.30/675.67	c  675s |      18 |   387219 |   349552 |    24941     33 |        0 |        0
678.10/678.42	c  678s |      18 |   388411 |   350552 |    24941     33 |        0 |        0
680.20/680.58	c  680s |      18 |   389309 |   351452 |    24941     33 |        0 |        0
682.20/682.59	c  682s |      18 |   390435 |   352452 |    24941     33 |        0 |        0
684.40/684.71	c  684s |      18 |   391230 |   353252 |    24941     33 |        0 |        0
686.40/686.78	c  686s |      18 |   392185 |   354152 |    24941     33 |        0 |        0
688.50/688.87	c  688s |      18 |   392920 |   354852 |    24941     34 |        0 |        0
690.60/690.94	c  690s |      18 |   394246 |   356052 |    24941     34 |        0 |        0
692.70/693.01	c  692s |      18 |   395373 |   357152 |    24941     34 |        0 |        0
694.80/695.10	c  694s |      18 |   396615 |   358352 |    24941     34 |        0 |        0
696.90/697.22	c  697s |      18 |   398029 |   359652 |    24941     34 |        0 |        0
698.89/699.27	c  699s |      18 |   399576 |   361052 |    24941     34 |        0 |        0
700.99/701.31	c  701s |      18 |   400316 |   361652 |    24941     34 |        0 |        0
702.99/703.33	c  703s |      18 |   401123 |   362452 |    24941     34 |        0 |        0
705.10/705.45	c  705s |      18 |   402136 |   363452 |    24941     34 |        0 |        0
707.30/707.70	c  707s |      18 |   403569 |   364652 |    24941     34 |        0 |        0
709.40/709.77	c  709s |      18 |   404478 |   365552 |    24941     34 |        0 |        0
711.60/711.92	c  711s |      18 |   405542 |   366552 |    24941     34 |        0 |        0
714.59/714.91	c  714s |      18 |   406377 |   367352 |    24941     35 |        0 |        0
716.59/716.97	c  716s |      18 |   408253 |   369052 |    24941     35 |        0 |        0
718.79/719.17	c  718s |      18 |   408853 |   369552 |    24941     35 |        0 |        0
720.89/721.25	c  721s |      18 |   409973 |   370652 |    24941     35 |        0 |        0
722.99/723.31	c  723s |      18 |   411344 |   371952 |    24941     35 |        0 |        0
725.19/725.50	c  725s |      18 |   412572 |   373152 |    24941     35 |        0 |        0
727.19/727.55	c  727s |      18 |   413825 |   374352 |    24941     35 |        0 |        0
729.30/729.65	c  729s |      18 |   415098 |   375552 |    24941     35 |        0 |        0
731.29/731.66	c  731s |      18 |   416154 |   376552 |    24941     35 |        0 |        0
733.49/733.88	c  733s |      18 |   417405 |   377752 |    24941     35 |        0 |        0
735.69/736.05	c  735s |      18 |   418463 |   378752 |    24941     35 |        0 |        0
737.79/738.14	c  737s |      18 |   419628 |   379852 |    24941     35 |        0 |        0
739.89/740.24	c  740s |      18 |   420839 |   380952 |    24941     36 |        0 |        0
741.89/742.26	c  742s |      18 |   422108 |   382152 |    24941     36 |        0 |        0
743.99/744.33	c  744s |      18 |   423523 |   383452 |    24941     36 |        0 |        0
745.99/746.34	c  746s |      18 |   424924 |   384752 |    24941     36 |        0 |        0
748.00/748.38	c  748s |      18 |   426572 |   386152 |    24941     36 |        0 |        0
750.20/750.56	c  750s |      18 |   427973 |   387452 |    24941     36 |        0 |        0
752.39/752.72	c  752s |      18 |   429105 |   388552 |    24941     36 |        0 |        0
754.49/754.81	c  754s |      18 |   430254 |   389652 |    24941     36 |        0 |        0
756.49/756.82	c  756s |      18 |   431553 |   390852 |    24941     36 |        0 |        0
758.59/758.95	c  758s |      18 |   432817 |   391952 |    24941     36 |        0 |        0
761.39/761.79	c  761s |      18 |   433417 |   392552 |    24941     37 |        0 |        0
763.59/763.95	c  763s |      18 |   434798 |   393852 |    24941     37 |        0 |        0
765.69/766.03	c  765s |      18 |   436679 |   395552 |    24941     37 |        0 |        0
767.89/768.23	c  768s |      18 |   438387 |   397152 |    24941     37 |        0 |        0
769.89/770.28	c  770s |      18 |   439800 |   398452 |    24941     37 |        0 |        0
783.78/784.15	c  783s |      18 |   440779 |   399352 |    24941     37 |        0 |        0
785.98/786.33	c  786s |      18 |   441886 |   400352 |    24941     37 |        0 |        0
788.18/788.57	c  788s |      18 |   443041 |   401352 |    24941     37 |        0 |        0
790.28/790.60	c  790s |      18 |   444063 |   402352 |    24941     37 |        0 |        0
792.28/792.69	c  792s |      18 |   445049 |   403252 |    24941     37 |        0 |        0
794.58/794.90	c  794s |      18 |   445962 |   404152 |    24941     37 |        0 |        0
796.68/797.02	c  796s |      18 |   446913 |   405052 |    24941     37 |        0 |        0
798.68/799.05	c  798s |      18 |   447931 |   405852 |    24941     38 |        0 |        0
800.79/801.13	c  800s |      18 |   449179 |   407052 |    24941     38 |        0 |        0
802.89/803.28	c  803s |      18 |   450476 |   408252 |    24941     38 |        0 |        0
804.98/805.30	c  805s |      18 |   451499 |   409252 |    24941     38 |        0 |        0
806.98/807.31	c  807s |      18 |   452708 |   410352 |    24941     38 |        0 |        0
809.08/809.49	c  809s |      18 |   453749 |   411352 |    24941     38 |        0 |        0
811.28/811.68	c  811s |      18 |   454891 |   412352 |    24941     38 |        0 |        0
813.28/813.69	c  813s |      18 |   455826 |   413252 |    24941     38 |        0 |        0
815.48/815.86	c  815s |      18 |   456875 |   414252 |    24941     38 |        0 |        0
817.68/818.01	c  817s |      18 |   458211 |   415452 |    24941     38 |        0 |        0
819.78/820.14	c  819s |      18 |   459025 |   416252 |    24941     38 |        0 |        0
821.78/822.14	c  821s |      18 |   460035 |   417152 |    24941     38 |        0 |        0
823.78/824.20	c  823s |      18 |   460852 |   417952 |    24941     39 |        0 |        0
825.88/826.27	c  826s |      18 |   462441 |   419352 |    24941     39 |        0 |        0
828.08/828.49	c  828s |      18 |   463935 |   420552 |    24941     39 |        0 |        0
830.18/830.57	c  830s |      18 |   465088 |   421652 |    24941     39 |        0 |        0
832.28/832.60	c  832s |      18 |   466500 |   422952 |    24941     39 |        0 |        0
834.38/834.78	c  834s |      18 |   467463 |   423852 |    24941     39 |        0 |        0
836.47/836.82	c  836s |      18 |   468420 |   424652 |    24941     39 |        0 |        0
838.57/838.94	c  838s |      18 |   469360 |   425552 |    24941     39 |        0 |        0
840.67/841.04	c  840s |      18 |   470063 |   426252 |    24941     39 |        0 |        0
842.77/843.15	c  842s |      18 |   471080 |   427152 |    24941     39 |        0 |        0
844.87/845.28	c  845s |      18 |   471913 |   427952 |    24941     39 |        0 |        0
846.98/847.39	c  847s |      18 |   472875 |   428852 |    24941     39 |        0 |        0
849.08/849.42	c  849s |      18 |   473714 |   429652 |    24941     39 |        0 |        0
851.38/851.73	c  851s |      18 |   474434 |   430352 |    24941     40 |        0 |        0
853.48/853.87	c  853s |      18 |   475711 |   431552 |    24941     40 |        0 |        0
855.57/855.91	c  855s |      18 |   477133 |   432852 |    24941     40 |        0 |        0
857.57/857.94	c  857s |      18 |   478614 |   434252 |    24941     40 |        0 |        0
859.67/860.00	c  859s |      18 |   479351 |   434952 |    24941     40 |        0 |        0
861.67/862.09	c  861s |      18 |   480461 |   435952 |    24941     40 |        0 |        0
863.87/864.22	c  864s |      18 |   481757 |   437152 |    24941     40 |        0 |        0
866.07/866.44	c  866s |      18 |   482941 |   438252 |    24941     40 |        0 |        0
868.27/868.63	c  868s |      18 |   484096 |   439352 |    24941     40 |        0 |        0
870.27/870.67	c  870s |      18 |   485028 |   440252 |    24941     40 |        0 |        0
872.57/872.92	c  872s |      18 |   485981 |   441152 |    24941     40 |        0 |        0
874.97/875.32	c  875s |      18 |   486675 |   441852 |    27436     40 |        0 |        0
876.97/877.39	c  877s |      18 |   487519 |   442652 |    27436     40 |        0 |        0
879.07/879.42	c  879s |      18 |   488596 |   443652 |    27436     40 |        0 |        0
881.07/881.43	c  881s |      18 |   489431 |   444452 |    27436     40 |        0 |        0
881.07/881.49	c  881s |      19 |   489454 |   444482 |    27436     40 |        0 |        0
883.27/883.67	c  883s |      19 |   490146 |   444982 |    27436     40 |        0 |        0
886.37/886.78	c  886s |      19 |   490546 |   445382 |    27436     41 |        0 |        0
888.46/888.82	c  888s |      19 |   491368 |   446182 |    27436     41 |        0 |        0
890.56/890.92	c  890s |      19 |   492390 |   447182 |    27436     41 |        0 |        0
892.66/893.02	c  892s |      19 |   493121 |   447882 |    27436     41 |        0 |        0
894.76/895.16	c  894s |      19 |   494161 |   448882 |    27436     41 |        0 |        0
896.96/897.31	c  897s |      19 |   495104 |   449782 |    27436     41 |        0 |        0
898.96/899.36	c  899s |      19 |   496152 |   450782 |    27436     41 |        0 |        0
901.06/901.41	c  901s |      19 |   497408 |   451882 |    27436     41 |        0 |        0
903.16/903.52	c  903s |      19 |   498131 |   452582 |    27436     41 |        0 |        0
905.17/905.57	c  905s |      19 |   498954 |   453382 |    27436     41 |        0 |        0
907.47/907.84	c  907s |      19 |   499872 |   454282 |    27436     41 |        0 |        0
909.57/909.99	c  909s |      19 |   500721 |   455082 |    27436     41 |        0 |        0
911.77/912.12	c  911s |      19 |   501689 |   455982 |    27436     41 |        0 |        0
913.86/914.25	c  914s |      19 |   502525 |   456782 |    27436     41 |        0 |        0
915.96/916.36	c  916s |      19 |   503585 |   457782 |    27436     41 |        0 |        0
918.16/918.59	c  918s |      19 |   504573 |   458682 |    27436     41 |        0 |        0
920.76/921.14	c  920s |      19 |   505213 |   459282 |    27436     42 |        0 |        0
922.86/923.23	c  923s |      19 |   506403 |   460382 |    27436     42 |        0 |        0
925.16/925.53	c  925s |      19 |   506717 |   460682 |    27436     42 |        0 |        0
927.27/927.62	c  927s |      19 |   507644 |   461582 |    27436     42 |        0 |        0
929.37/929.80	c  929s |      19 |   508800 |   462682 |    27436     42 |        0 |        0
931.57/931.99	c  931s |      19 |   509856 |   463682 |    27436     42 |        0 |        0
933.77/934.15	c  933s |      19 |   510917 |   464682 |    27436     42 |        0 |        0
935.86/936.24	c  936s |      19 |   512115 |   465782 |    27436     42 |        0 |        0
937.96/938.30	c  938s |      19 |   513023 |   466682 |    27436     42 |        0 |        0
940.06/940.41	c  940s |      19 |   514088 |   467682 |    27436     42 |        0 |        0
942.16/942.56	c  942s |      19 |   515330 |   468782 |    27436     42 |        0 |        0
944.26/944.62	c  944s |      19 |   516432 |   469782 |    27436     42 |        0 |        0
946.26/946.63	c  946s |      19 |   517539 |   470782 |    27436     42 |        0 |        0
948.36/948.78	c  948s |      19 |   518672 |   471782 |    27436     42 |        0 |        0
950.46/950.87	c  950s |      19 |   519517 |   472582 |    27436     42 |        0 |        0
952.76/953.13	c  952s |      19 |   520267 |   473282 |    27436     43 |        0 |        0
954.76/955.14	c  954s |      19 |   521321 |   474282 |    27436     43 |        0 |        0
956.76/957.17	c  956s |      19 |   523001 |   475782 |    27436     43 |        0 |        0
959.06/959.41	c  959s |      19 |   524483 |   477182 |    27436     43 |        0 |        0
961.16/961.58	c  961s |      19 |   525518 |   478182 |    27436     43 |        0 |        0
963.36/963.78	c  963s |      19 |   526692 |   479282 |    27436     43 |        0 |        0
965.56/965.94	c  965s |      19 |   527887 |   480382 |    27436     43 |        0 |        0
967.65/968.04	c  967s |      19 |   528915 |   481382 |    27436     43 |        0 |        0
969.85/970.28	c  970s |      19 |   530064 |   482482 |    27436     43 |        0 |        0
971.95/972.38	c  972s |      19 |   531213 |   483582 |    27436     43 |        0 |        0
974.25/974.61	c  974s |      19 |   532177 |   484482 |    27436     43 |        0 |        0
976.35/976.75	c  976s |      19 |   533046 |   485282 |    27436     43 |        0 |        0
978.35/978.79	c  978s |      19 |   533995 |   486182 |    27436     43 |        0 |        0
981.06/981.44	c  981s |      19 |   534990 |   487082 |    27436     44 |        0 |        0
983.15/983.53	c  983s |      19 |   535780 |   487782 |    27436     44 |        0 |        0
985.15/985.55	c  985s |      19 |   536603 |   488582 |    27436     44 |        0 |        0
987.25/987.68	c  987s |      19 |   537956 |   489882 |    27436     44 |        0 |        0
989.35/989.78	c  989s |      19 |   539466 |   491282 |    27436     44 |        0 |        0
991.55/991.96	c  991s |      19 |   541097 |   492782 |    27436     44 |        0 |        0
993.75/994.13	c  993s |      19 |   542394 |   493982 |    27436     44 |        0 |        0
995.75/996.14	c  995s |      19 |   543534 |   495082 |    27436     44 |        0 |        0
997.75/998.19	c  997s |      19 |   544928 |   496282 |    27436     44 |        0 |        0
999.95/1000.34	c 1000s |      19 |   546281 |   497482 |    27436     44 |        0 |        0
1001.96/1002.35	c 1002s |      19 |   547543 |   498582 |    27436     44 |        0 |        0
1004.05/1004.43	c 1004s |      19 |   548915 |   499782 |    27436     44 |        0 |        0
1006.85/1007.28	c 1007s |      19 |   550181 |   500882 |    27436     45 |        0 |        0
1008.95/1009.35	c 1009s |      19 |   551380 |   501982 |    27436     45 |        0 |        0
1011.15/1011.53	c 1011s |      19 |   553233 |   503582 |    27436     45 |        0 |        0
1013.15/1013.55	c 1013s |      19 |   554739 |   504982 |    27436     45 |        0 |        0
1015.25/1015.62	c 1015s |      19 |   556580 |   506582 |    27436     45 |        0 |        0
1020.15/1020.58	c 1020s |      19 |   557173 |   506982 |    27436     45 |        0 |        0
1024.95/1025.34	c 1025s |      19 |   557398 |   507182 |    27436     45 |        0 |        0
1026.95/1027.34	c 1027s |      19 |   558256 |   507982 |    27436     45 |        0 |        0
1028.95/1029.38	c 1029s |      19 |   559348 |   508982 |    27436     45 |        0 |        0
1031.15/1031.58	c 1031s |      19 |   560398 |   509982 |    27436     45 |        0 |        0
1035.74/1036.12	c 1035s |      19 |   560734 |   510282 |    27436     45 |        0 |        0
1037.84/1038.26	c 1038s |      19 |   561794 |   511282 |    27436     45 |        0 |        0
1039.84/1040.26	c 1040s |      19 |   562763 |   512182 |    27436     45 |        0 |        0
1041.94/1042.37	c 1042s |      19 |   563431 |   512782 |    27436     45 |        0 |        0
1044.14/1044.55	c 1044s |      19 |   564683 |   513882 |    27436     45 |        0 |        0
1047.05/1047.50	c 1047s |      19 |   565505 |   514682 |    27436     46 |        0 |        0
1049.25/1049.65	c 1049s |      19 |   566863 |   515982 |    27436     46 |        0 |        0
1051.45/1051.84	c 1051s |      19 |   567459 |   516482 |    27436     46 |        0 |        0
1053.44/1053.86	c 1053s |      19 |   568616 |   517582 |    27436     46 |        0 |        0
1055.54/1055.97	c 1055s |      19 |   569773 |   518682 |    27436     46 |        0 |        0
1057.74/1058.12	c 1057s |      19 |   570690 |   519582 |    27436     46 |        0 |        0
1059.74/1060.13	c 1059s |      19 |   571672 |   520482 |    27436     46 |        0 |        0
1061.74/1062.15	c 1061s |      19 |   572876 |   521582 |    27436     46 |        0 |        0
1063.84/1064.27	c 1064s |      19 |   573925 |   522582 |    27436     46 |        0 |        0
1066.14/1066.55	c 1066s |      19 |   574774 |   523382 |    27436     46 |        0 |        0
1068.34/1068.79	c 1068s |      19 |   576018 |   524482 |    27436     46 |        0 |        0
1070.44/1070.82	c 1070s |      19 |   577328 |   525482 |    27436     46 |        0 |        0
1072.54/1072.95	c 1072s |      19 |   578532 |   526382 |    27436     46 |        0 |        0
1074.94/1075.39	c 1075s |      19 |   579251 |   527082 |    27436     46 |        0 |        0
1077.04/1077.47	c 1077s |      19 |   579891 |   527682 |    27436     46 |        0 |        0
1079.04/1079.49	c 1079s |      19 |   580489 |   528282 |    27436     46 |        0 |        0
1081.14/1081.53	c 1081s |      19 |   581098 |   528882 |    27436     47 |        0 |        0
1084.33/1084.70	c 1084s |      19 |   582153 |   529882 |    27436     47 |        0 |        0
1086.33/1086.71	c 1086s |      19 |   583361 |   530982 |    27436     47 |        0 |        0
1088.33/1088.73	c 1088s |      19 |   584589 |   532182 |    27436     47 |        0 |        0
1090.33/1090.74	c 1090s |      19 |   586508 |   533582 |    27436     47 |        0 |        0
1092.43/1092.89	c 1092s |      19 |   587566 |   534582 |    27436     47 |        0 |        0
1094.53/1094.95	c 1094s |      19 |   588380 |   535382 |    27436     47 |        0 |        0
1096.83/1097.27	c 1097s |      19 |   589234 |   536182 |    27436     47 |        0 |        0
1099.23/1099.66	c 1099s |      19 |   589943 |   536882 |    27436     47 |        0 |        0
1101.43/1101.88	c 1101s |      19 |   590552 |   537482 |    27436     47 |        0 |        0
1103.43/1103.89	c 1103s |      19 |   591177 |   538082 |    27436     47 |        0 |        0
1105.73/1106.11	c 1105s |      19 |   591889 |   538782 |    27436     47 |        0 |        0
1107.93/1108.30	c 1108s |      19 |   592682 |   539582 |    27436     47 |        0 |        0
1110.13/1110.56	c 1110s |      19 |   593542 |   540382 |    27436     47 |        0 |        0
1112.43/1112.84	c 1112s |      19 |   594353 |   541082 |    27436     47 |        0 |        0
1114.43/1114.89	c 1114s |      19 |   595135 |   541782 |    27436     47 |        0 |        0
1116.73/1117.18	c 1116s |      19 |   595944 |   542482 |    27436     48 |        0 |        0
1118.93/1119.33	c 1119s |      19 |   597054 |   543582 |    27436     48 |        0 |        0
1121.13/1121.51	c 1121s |      19 |   598422 |   544882 |    27436     48 |        0 |        0
1123.13/1123.55	c 1123s |      19 |   599352 |   545782 |    27436     48 |        0 |        0
1125.13/1125.56	c 1125s |      19 |   600382 |   546782 |    27436     48 |        0 |        0
1127.33/1127.77	c 1127s |      19 |   601422 |   547782 |    27436     48 |        0 |        0
1129.42/1129.80	c 1129s |      19 |   602499 |   548782 |    27436     48 |        0 |        0
1131.52/1131.99	c 1131s |      19 |   603596 |   549782 |    27436     48 |        0 |        0
1133.62/1134.01	c 1133s |      19 |   604478 |   550582 |    27436     48 |        0 |        0
1135.62/1136.03	c 1135s |      19 |   605182 |   551282 |    27436     48 |        0 |        0
1137.72/1138.14	c 1137s |      19 |   606136 |   552182 |    27436     48 |        0 |        0
1139.93/1140.39	c 1140s |      19 |   607560 |   553382 |    27436     48 |        0 |        0
1141.93/1142.40	c 1142s |      19 |   608631 |   554382 |    27436     48 |        0 |        0
1145.73/1146.10	c 1145s |      19 |   609619 |   555182 |    27436     48 |        0 |        0
1147.93/1148.38	c 1148s |      19 |   610462 |   555982 |    27436     48 |        0 |        0
1150.23/1150.64	c 1150s |      19 |   610975 |   556482 |    27436     49 |        0 |        0
1152.23/1152.69	c 1152s |      19 |   611889 |   557382 |    27436     49 |        0 |        0
1154.33/1154.71	c 1154s |      19 |   612744 |   558182 |    27436     49 |        0 |        0
1156.43/1156.84	c 1156s |      19 |   613893 |   559282 |    27436     49 |        0 |        0
1158.43/1158.89	c 1158s |      19 |   614813 |   560182 |    27436     49 |        0 |        0
1160.53/1160.98	c 1160s |      19 |   615873 |   561182 |    27436     49 |        0 |        0
1162.73/1163.17	c 1162s |      19 |   616951 |   562182 |    27436     49 |        0 |        0
1164.83/1165.24	c 1165s |      19 |   617827 |   562982 |    27436     49 |        0 |        0
1167.03/1167.41	c 1167s |      19 |   618760 |   563882 |    27436     49 |        0 |        0
1169.13/1169.50	c 1169s |      19 |   619687 |   564782 |    27436     49 |        0 |        0
1171.12/1171.59	c 1171s |      19 |   620620 |   565682 |    27436     49 |        0 |        0
1173.32/1173.71	c 1173s |      19 |   621683 |   566682 |    27436     49 |        0 |        0
1175.32/1175.79	c 1175s |      19 |   622617 |   567582 |    27436     49 |        0 |        0
1177.52/1177.97	c 1177s |      19 |   623823 |   568682 |    27436     49 |        0 |        0
1180.02/1180.46	c 1180s |      19 |   624271 |   569082 |    27436     49 |        0 |        0
1182.22/1182.69	c 1182s |      19 |   625271 |   569982 |    27436     49 |        0 |        0
1184.32/1184.72	c 1184s |      19 |   626155 |   570782 |    27436     50 |        0 |        0
1186.32/1186.76	c 1186s |      19 |   627509 |   571982 |    27436     50 |        0 |        0
1188.42/1188.81	c 1188s |      19 |   628656 |   573082 |    27436     50 |        0 |        0
1190.42/1190.88	c 1190s |      19 |   629567 |   573982 |    27436     50 |        0 |        0
1192.52/1192.93	c 1192s |      19 |   630576 |   574982 |    27436     50 |        0 |        0
1194.62/1195.09	c 1194s |      19 |   631849 |   576182 |    27436     50 |        0 |        0
1196.73/1197.12	c 1196s |      19 |   632928 |   577182 |    27436     50 |        0 |        0
1198.72/1199.20	c 1198s |      19 |   634095 |   578282 |    27436     50 |        0 |        0
1200.92/1201.32	c 1201s |      19 |   635300 |   579382 |    27436     50 |        0 |        0
1203.02/1203.41	c 1203s |      19 |   636567 |   580482 |    27436     50 |        0 |        0
1205.12/1205.56	c 1205s |      19 |   637241 |   581082 |    27436     50 |        0 |        0
1207.22/1207.69	c 1207s |      19 |   638066 |   581882 |    27436     50 |        0 |        0
1209.62/1210.03	c 1209s |      19 |   638820 |   582582 |    27436     50 |        0 |        0
1211.82/1212.23	c 1212s |      19 |   639646 |   583382 |    27436     50 |        0 |        0
1214.52/1214.90	c 1214s |      19 |   640289 |   583982 |    27436     51 |        0 |        0
1216.61/1217.00	c 1216s |      19 |   641455 |   585082 |    27436     51 |        0 |        0
1218.62/1219.03	c 1218s |      19 |   642878 |   586382 |    27436     51 |        0 |        0
1220.61/1221.04	c 1220s |      19 |   644165 |   587582 |    27436     51 |        0 |        0
1223.71/1224.18	c 1223s |      19 |   645464 |   588782 |    27436     51 |        0 |        0
1225.91/1226.33	c 1226s |      19 |   646256 |   589582 |    27436     51 |        0 |        0
1228.11/1228.56	c 1228s |      19 |   647291 |   590582 |    27436     51 |        0 |        0
1230.21/1230.67	c 1230s |      19 |   648486 |   591682 |    27436     51 |        0 |        0
1232.31/1232.73	c 1232s |      19 |   649313 |   592482 |    27436     51 |        0 |        0
1234.31/1234.77	c 1234s |      19 |   650369 |   593482 |    27436     51 |        0 |        0
1236.32/1236.77	c 1236s |      19 |   651623 |   594582 |    27436     51 |        0 |        0
1238.52/1238.95	c 1238s |      19 |   652823 |   595682 |    27436     51 |        0 |        0
1240.62/1241.08	c 1240s |      19 |   653993 |   596782 |    27436     51 |        0 |        0
1242.82/1243.25	c 1243s |      19 |   654950 |   597682 |    27436     51 |        0 |        0
1244.91/1245.39	c 1245s |      19 |   655665 |   598382 |    27436     52 |        0 |        0
1247.11/1247.51	c 1247s |      19 |   656903 |   599582 |    27436     52 |        0 |        0
1249.61/1250.02	c 1249s |      19 |   658512 |   600982 |    27436     52 |        0 |        0
1251.81/1252.23	c 1252s |      19 |   659718 |   602082 |    27436     52 |        0 |        0
1253.82/1254.26	c 1254s |      19 |   661030 |   603182 |    27436     52 |        0 |        0
1255.91/1256.39	c 1256s |      19 |   662553 |   604582 |    27436     52 |        0 |        0
1258.01/1258.43	c 1258s |      19 |   663768 |   605682 |    27436     52 |        0 |        0
1260.01/1260.48	c 1260s |      19 |   664820 |   606682 |    27436     52 |        0 |        0
1262.11/1262.57	c 1262s |      19 |   666249 |   607982 |    27436     52 |        0 |        0
1264.21/1264.60	c 1264s |      19 |   667428 |   609082 |    27436     52 |        0 |        0
1266.21/1266.62	c 1266s |      19 |   668643 |   610182 |    27436     52 |        0 |        0
1268.41/1268.80	c 1268s |      19 |   669852 |   611282 |    27436     52 |        0 |        0
1270.81/1271.20	c 1270s |      19 |   670572 |   611982 |    27436     53 |        0 |        0
1272.81/1273.25	c 1273s |      19 |   672341 |   613582 |    27436     53 |        0 |        0
1277.01/1277.43	c 1277s |      19 |   674520 |   615482 |    27436     53 |        0 |        0
1285.91/1286.31	c 1286s |      19 |   674641 |   615582 |    27436     53 |        0 |        0
1305.80/1306.26	c 1306s |      19 |   675376 |   616182 |    27436     53 |        0 |        0
1307.90/1308.31	c 1308s |      19 |   676300 |   617082 |    27436     53 |        0 |        0
1309.91/1310.40	c 1310s |      19 |   677341 |   617982 |    27436     53 |        0 |        0
1312.30/1312.74	c 1312s |      19 |   678357 |   618882 |    27436     53 |        0 |        0
1314.50/1314.94	c 1314s |      19 |   679506 |   619782 |    27436     53 |        0 |        0
1316.60/1317.02	c 1316s |      19 |   680776 |   620782 |    27436     53 |        0 |        0
1318.60/1319.08	c 1318s |      19 |   681687 |   621682 |    27436     53 |        0 |        0
1320.60/1321.08	c 1320s |      19 |   682577 |   622382 |    27436     53 |        0 |        0
1322.80/1323.22	c 1323s |      19 |   683419 |   623182 |    27436     53 |        0 |        0
1324.80/1325.25	c 1325s |      19 |   684068 |   623782 |    27436     53 |        0 |        0
1327.00/1327.41	c 1327s |      19 |   684893 |   624582 |    27436     53 |        0 |        0
1329.10/1329.55	c 1329s |      19 |   685634 |   625282 |    27436     53 |        0 |        0
1331.10/1331.55	c 1331s |      19 |   686395 |   625982 |    27436     54 |        0 |        0
1333.40/1333.80	c 1333s |      19 |   687685 |   627082 |    27436     54 |        0 |        0
1335.40/1335.83	c 1335s |      19 |   688946 |   628282 |    27436     54 |        0 |        0
1337.50/1337.97	c 1337s |      19 |   690444 |   629582 |    27436     54 |        0 |        0
1339.60/1340.09	c 1339s |      19 |   691344 |   630482 |    27436     54 |        0 |        0
1341.69/1342.18	c 1341s |      19 |   692516 |   631482 |    27436     54 |        0 |        0
1343.79/1344.24	c 1344s |      19 |   693556 |   632482 |    27436     54 |        0 |        0
1345.89/1346.34	c 1346s |      19 |   694862 |   633582 |    27436     54 |        0 |        0
1347.89/1348.36	c 1348s |      19 |   695902 |   634582 |    27436     54 |        0 |        0
1350.09/1350.51	c 1350s |      19 |   696968 |   635582 |    27436     54 |        0 |        0
1352.09/1352.52	c 1352s |      19 |   698131 |   636582 |    27436     54 |        0 |        0
1354.09/1354.52	c 1354s |      19 |   699079 |   637382 |    27436     54 |        0 |        0
1356.39/1356.83	c 1356s |      19 |   700133 |   638382 |    27436     54 |        0 |        0
1358.40/1358.86	c 1358s |      19 |   700755 |   638982 |    27436     54 |        0 |        0
1360.60/1361.00	c 1360s |      19 |   701413 |   639582 |    27436     55 |        0 |        0
1362.80/1363.21	c 1363s |      19 |   702386 |   640482 |    27436     55 |        0 |        0
1364.79/1365.23	c 1365s |      19 |   703411 |   641482 |    27436     55 |        0 |        0
1366.79/1367.24	c 1367s |      19 |   704697 |   642682 |    27436     55 |        0 |        0
1369.79/1370.29	c 1370s |      19 |   705032 |   642982 |    27436     55 |        0 |        0
1371.99/1372.48	c 1372s |      19 |   705968 |   643882 |    27436     55 |        0 |        0
1374.19/1374.61	c 1374s |      19 |   707209 |   645082 |    27436     55 |        0 |        0
1376.39/1376.89	c 1376s |      19 |   708217 |   646082 |    27436     55 |        0 |        0
1378.49/1378.95	c 1378s |      19 |   709049 |   646882 |    27436     55 |        0 |        0
1380.69/1381.12	c 1380s |      19 |   710114 |   647882 |    27436     55 |        0 |        0
1382.79/1383.23	c 1383s |      19 |   711063 |   648782 |    27436     55 |        0 |        0
1384.89/1385.33	c 1385s |      19 |   711909 |   649582 |    27436     55 |        0 |        0
1386.89/1387.37	c 1387s |      19 |   712845 |   650482 |    27436     55 |        0 |        0
1389.09/1389.59	c 1389s |      19 |   713954 |   651482 |    27436     55 |        0 |        0
1391.29/1391.70	c 1391s |      19 |   715065 |   652482 |    27436     55 |        0 |        0
1396.39/1396.85	c 1396s |      19 |   715882 |   653182 |    27436     56 |        0 |        0
1398.59/1399.02	c 1398s |      19 |   717129 |   654282 |    27436     56 |        0 |        0
1400.69/1401.18	c 1400s |      19 |   718044 |   655182 |    27436     56 |        0 |        0
1402.79/1403.24	c 1403s |      19 |   719219 |   656282 |    27436     56 |        0 |        0
1404.89/1405.35	c 1405s |      19 |   720479 |   657482 |    27436     56 |        0 |        0
1406.99/1407.49	c 1407s |      19 |   721869 |   658782 |    27436     56 |        0 |        0
1409.09/1409.59	c 1409s |      19 |   723227 |   659982 |    27436     56 |        0 |        0
1411.49/1411.94	c 1411s |      19 |   724897 |   661382 |    27436     56 |        0 |        0
1413.69/1414.17	c 1413s |      19 |   725694 |   662182 |    30180     56 |        0 |        0
1415.99/1416.41	c 1416s |      19 |   726622 |   663082 |    30180     56 |        0 |        0
1417.99/1418.48	c 1418s |      19 |   727418 |   663882 |    30180     56 |        0 |        0
1420.19/1420.64	c 1420s |      19 |   728146 |   664582 |    30180     56 |        0 |        0
1422.29/1422.78	c 1422s |      19 |   729142 |   665482 |    30180     56 |        0 |        0
1424.59/1425.02	c 1424s |      19 |   730023 |   666282 |    30180     56 |        0 |        0
1426.49/1426.96	c 1426s |      20 |   730575 |   666827 |    30180     56 |        0 |        0
1434.98/1435.47	c 1435s |      20 |   731155 |   666927 |    30180     56 |        0 |        0
1437.28/1437.70	c 1437s |      20 |   731904 |   667627 |    30180     56 |        0 |        0
1439.58/1440.07	c 1439s |      20 |   732518 |   668227 |    30180     56 |        0 |        0
1441.78/1442.24	c 1442s |      20 |   733281 |   668927 |    30180     56 |        0 |        0
1445.18/1445.65	c 1445s |      20 |   734062 |   669627 |    30180     57 |        0 |        0
1447.28/1447.79	c 1447s |      20 |   734672 |   670227 |    30180     57 |        0 |        0
1449.38/1449.88	c 1449s |      20 |   735997 |   671427 |    30180     57 |        0 |        0
1451.48/1451.92	c 1451s |      20 |   737273 |   672627 |    30180     57 |        0 |        0
1454.88/1455.38	c 1455s |      20 |   738684 |   673827 |    30180     57 |        0 |        0
1456.98/1457.41	c 1457s |      20 |   739494 |   674627 |    30180     57 |        0 |        0
1458.98/1459.48	c 1459s |      20 |   740479 |   675527 |    30180     57 |        0 |        0
1461.18/1461.61	c 1461s |      20 |   741306 |   676327 |    30180     57 |        0 |        0
1463.18/1463.68	c 1463s |      20 |   742123 |   677127 |    30180     57 |        0 |        0
1465.28/1465.79	c 1465s |      20 |   743323 |   678227 |    30180     57 |        0 |        0
1467.38/1467.86	c 1467s |      20 |   744241 |   679127 |    30180     57 |        0 |        0
1469.49/1469.99	c 1469s |      20 |   745197 |   680027 |    30180     57 |        0 |        0
1471.59/1472.04	c 1471s |      20 |   746167 |   680927 |    30180     57 |        0 |        0
1473.68/1474.11	c 1473s |      20 |   747110 |   681827 |    30180     57 |        0 |        0
1475.68/1476.19	c 1475s |      20 |   748306 |   682827 |    30180     57 |        0 |        0
1477.78/1478.28	c 1478s |      20 |   749300 |   683627 |    30180     57 |        0 |        0
1479.98/1480.47	c 1480s |      20 |   750124 |   684427 |    30180     57 |        0 |        0
1482.18/1482.60	c 1482s |      20 |   750957 |   685227 |    30180     58 |        0 |        0
1484.28/1484.72	c 1484s |      20 |   752208 |   686427 |    30180     58 |        0 |        0
1486.28/1486.72	c 1486s |      20 |   753282 |   687427 |    30180     58 |        0 |        0
1488.38/1488.80	c 1488s |      20 |   753640 |   687727 |    30180     58 |        0 |        0
1490.38/1490.81	c 1490s |      20 |   754730 |   688627 |    30180     58 |        0 |        0
1492.48/1492.96	c 1492s |      20 |   755786 |   689627 |    30180     58 |        0 |        0
1494.58/1495.10	c 1494s |      20 |   757167 |   690927 |    30180     58 |        0 |        0
1496.68/1497.11	c 1496s |      20 |   758089 |   691827 |    30180     58 |        0 |        0
1498.78/1499.20	c 1498s |      20 |   758792 |   692527 |    30180     58 |        0 |        0
1500.87/1501.39	c 1501s |      20 |   759882 |   693527 |    30180     58 |        0 |        0
1503.07/1503.56	c 1503s |      20 |   760832 |   694427 |    30180     58 |        0 |        0
1505.07/1505.56	c 1505s |      20 |   761946 |   695427 |    30180     58 |        0 |        0
1507.27/1507.74	c 1507s |      20 |   762886 |   696327 |    30180     58 |        0 |        0
1509.37/1509.89	c 1509s |      20 |   764130 |   697427 |    30180     58 |        0 |        0
1511.47/1511.98	c 1511s |      20 |   765014 |   698227 |    30180     58 |        0 |        0
1513.57/1514.01	c 1513s |      20 |   765748 |   698927 |    30180     58 |        0 |        0
1515.58/1516.04	c 1515s |      20 |   766601 |   699727 |    30180     58 |        0 |        0
1517.88/1518.31	c 1518s |      20 |   767221 |   700327 |    30180     59 |        0 |        0
1520.08/1520.50	c 1520s |      20 |   768346 |   701327 |    30180     59 |        0 |        0
1522.18/1522.64	c 1522s |      20 |   769809 |   702727 |    30180     59 |        0 |        0
1524.17/1524.68	c 1524s |      20 |   771458 |   704227 |    30180     59 |        0 |        0
1526.27/1526.79	c 1526s |      20 |   773111 |   705727 |    30180     59 |        0 |        0
1528.37/1528.87	c 1528s |      20 |   774419 |   706927 |    30180     59 |        0 |        0
1530.47/1530.96	c 1530s |      20 |   775509 |   707927 |    30180     59 |        0 |        0
1532.67/1533.11	c 1532s |      20 |   776859 |   709127 |    30180     59 |        0 |        0
1534.67/1535.13	c 1534s |      20 |   778154 |   710327 |    30180     59 |        0 |        0
1536.77/1537.26	c 1537s |      20 |   779244 |   711327 |    30180     59 |        0 |        0
1547.57/1548.03	c 1547s |      20 |   779637 |   711627 |    30180     59 |        0 |        0
1549.67/1550.12	c 1549s |      20 |   780452 |   712327 |    30180     59 |        0 |        0
1551.77/1552.23	c 1552s |      20 |   781058 |   712927 |    30180     59 |        0 |        0
1553.87/1554.38	c 1554s |      20 |   781846 |   713627 |    30180     59 |        0 |        0
1555.97/1556.44	c 1556s |      20 |   782735 |   714427 |    30180     59 |        0 |        0
1558.17/1558.68	c 1558s |      20 |   783351 |   715027 |    30180     59 |        0 |        0
1560.26/1560.70	c 1560s |      20 |   783648 |   715327 |    30180     60 |        0 |        0
1562.26/1562.75	c 1562s |      20 |   784555 |   716227 |    30180     60 |        0 |        0
1564.36/1564.86	c 1564s |      20 |   786039 |   717427 |    30180     60 |        0 |        0
1566.46/1566.94	c 1566s |      20 |   786953 |   718327 |    30180     60 |        0 |        0
1568.47/1568.99	c 1568s |      20 |   788018 |   719327 |    30180     60 |        0 |        0
1570.57/1571.01	c 1570s |      20 |   789178 |   720427 |    30180     60 |        0 |        0
1572.66/1573.13	c 1572s |      20 |   790024 |   721227 |    30180     60 |        0 |        0
1574.76/1575.22	c 1575s |      20 |   790839 |   722027 |    30180     60 |        0 |        0
1576.96/1577.43	c 1577s |      20 |   791867 |   723027 |    30180     60 |        0 |        0
1579.06/1579.52	c 1579s |      20 |   792755 |   723827 |    30180     60 |        0 |        0
1581.36/1581.80	c 1581s |      20 |   793689 |   724627 |    30180     60 |        0 |        0
1583.66/1584.15	c 1583s |      20 |   794937 |   725627 |    30180     60 |        0 |        0
1585.76/1586.23	c 1586s |      20 |   795534 |   726227 |    30180     60 |        0 |        0
1587.76/1588.28	c 1588s |      20 |   796433 |   727027 |    30180     60 |        0 |        0
1589.86/1590.31	c 1590s |      20 |   797260 |   727827 |    30180     60 |        0 |        0
1592.06/1592.59	c 1592s |      20 |   798377 |   728827 |    30180     60 |        0 |        0
1594.36/1594.85	c 1594s |      20 |   799227 |   729627 |    30180     60 |        0 |        0
1596.36/1596.89	c 1596s |      20 |   800165 |   730527 |    30180     60 |        0 |        0
1598.46/1598.93	c 1598s |      20 |   801148 |   731427 |    30180     61 |        0 |        0
1600.96/1601.46	c 1601s |      20 |   801405 |   731627 |    30180     61 |        0 |        0
1603.06/1603.58	c 1603s |      20 |   802209 |   732427 |    30180     61 |        0 |        0
1605.26/1605.70	c 1605s |      20 |   803025 |   733227 |    30180     61 |        0 |        0
1607.26/1607.78	c 1607s |      20 |   804097 |   734227 |    30180     61 |        0 |        0
1609.66/1610.12	c 1609s |      20 |   804934 |   735027 |    30180     61 |        0 |        0
1611.76/1612.26	c 1612s |      20 |   805659 |   735727 |    30180     61 |        0 |        0
1613.85/1614.39	c 1614s |      20 |   806809 |   736727 |    30180     61 |        0 |        0
1616.15/1616.68	c 1616s |      20 |   807505 |   737427 |    30180     61 |        0 |        0
1618.35/1618.84	c 1618s |      20 |   808441 |   738327 |    30180     61 |        0 |        0
1620.35/1620.85	c 1620s |      20 |   809312 |   739127 |    30180     61 |        0 |        0
1622.65/1623.12	c 1622s |      20 |   810239 |   740027 |    30180     61 |        0 |        0
1624.85/1625.40	c 1625s |      20 |   810949 |   740727 |    30180     61 |        0 |        0
1627.05/1627.51	c 1627s |      20 |   811966 |   741627 |    30180     61 |        0 |        0
1629.05/1629.57	c 1629s |      20 |   812683 |   742327 |    30180     61 |        0 |        0
1631.35/1631.83	c 1631s |      20 |   813288 |   742927 |    30180     61 |        0 |        0
1633.45/1633.98	c 1633s |      20 |   814187 |   743727 |    30180     61 |        0 |        0
1635.46/1636.00	c 1635s |      20 |   814895 |   744427 |    30180     61 |        0 |        0
1637.55/1638.04	c 1637s |      20 |   815694 |   745227 |    30180     61 |        0 |        0
1639.75/1640.25	c 1640s |      20 |   816442 |   745927 |    30180     62 |        0 |        0
1643.05/1643.56	c 1643s |      20 |   817608 |   747027 |    30180     62 |        0 |        0
1645.05/1645.59	c 1645s |      20 |   818463 |   747827 |    30180     62 |        0 |        0
1647.25/1647.73	c 1647s |      20 |   819625 |   748827 |    30180     62 |        0 |        0
1649.45/1649.91	c 1649s |      20 |   820790 |   749927 |    30180     62 |        0 |        0
1651.65/1652.13	c 1651s |      20 |   821725 |   750827 |    30180     62 |        0 |        0
1653.65/1654.17	c 1653s |      20 |   822669 |   751727 |    30180     62 |        0 |        0
1655.85/1656.30	c 1656s |      20 |   823743 |   752727 |    30180     62 |        0 |        0
1657.95/1658.48	c 1658s |      20 |   824799 |   753727 |    30180     62 |        0 |        0
1660.05/1660.52	c 1660s |      20 |   825544 |   754427 |    30180     62 |        0 |        0
1662.05/1662.58	c 1662s |      20 |   826301 |   755127 |    30180     62 |        0 |        0
1664.25/1664.71	c 1664s |      20 |   827491 |   756227 |    30180     62 |        0 |        0
1666.64/1667.10	c 1666s |      20 |   828561 |   757227 |    30180     62 |        0 |        0
1669.04/1669.52	c 1669s |      20 |   829169 |   757827 |    30180     62 |        0 |        0
1671.04/1671.52	c 1671s |      20 |   829764 |   758427 |    30180     62 |        0 |        0
1673.24/1673.75	c 1673s |      20 |   830533 |   759127 |    30180     62 |        0 |        0
1675.54/1676.02	c 1675s |      20 |   831031 |   759627 |    30180     62 |        0 |        0
1677.84/1678.34	c 1678s |      20 |   831633 |   760227 |    30180     62 |        0 |        0
1680.04/1680.59	c 1680s |      20 |   832375 |   760927 |    30180     62 |        0 |        0
1682.24/1682.72	c 1682s |      20 |   832769 |   761327 |    30180     63 |        0 |        0
1684.34/1684.88	c 1684s |      20 |   833835 |   762327 |    30180     63 |        0 |        0
1686.34/1686.89	c 1686s |      20 |   834654 |   763127 |    30180     63 |        0 |        0
1688.44/1688.90	c 1688s |      20 |   835740 |   764127 |    30180     63 |        0 |        0
1690.75/1691.26	c 1691s |      20 |   836481 |   764827 |    30180     63 |        0 |        0
1692.95/1693.45	c 1693s |      20 |   837209 |   765527 |    30180     63 |        0 |        0
1695.15/1695.61	c 1695s |      20 |   838291 |   766527 |    30180     63 |        0 |        0
1697.25/1697.71	c 1697s |      20 |   839208 |   767427 |    30180     63 |        0 |        0
1699.25/1699.74	c 1699s |      20 |   840124 |   768227 |    30180     63 |        0 |        0
1701.45/1701.97	c 1701s |      20 |   841082 |   769127 |    30180     63 |        0 |        0
1703.55/1704.00	c 1703s |      20 |   842036 |   770027 |    30180     63 |        0 |        0
1705.65/1706.19	c 1705s |      20 |   842868 |   770827 |    30180     63 |        0 |        0
1707.65/1708.19	c 1707s |      20 |   843897 |   771727 |    30180     63 |        0 |        0
1709.75/1710.29	c 1710s |      20 |   845408 |   773027 |    30180     63 |        0 |        0
1712.04/1712.53	c 1712s |      20 |   846287 |   773827 |    30180     63 |        0 |        0
1714.34/1714.86	c 1714s |      20 |   846995 |   774527 |    30180     63 |        0 |        0
1716.44/1716.91	c 1716s |      20 |   847497 |   775027 |    30180     63 |        0 |        0
1718.54/1719.03	c 1718s |      20 |   848232 |   775727 |    30180     63 |        0 |        0
1721.74/1722.22	c 1722s |      20 |   848829 |   776327 |    30180     64 |        0 |        0
1723.84/1724.30	c 1724s |      20 |   849752 |   777227 |    30180     64 |        0 |        0
1725.84/1726.35	c 1726s |      20 |   850882 |   778327 |    30180     64 |        0 |        0
1727.95/1728.46	c 1728s |      20 |   852384 |   779727 |    30180     64 |        0 |        0
1730.15/1730.64	c 1730s |      20 |   853458 |   780627 |    30180     64 |        0 |        0
1732.35/1732.84	c 1732s |      20 |   854383 |   781527 |    30180     64 |        0 |        0
1734.45/1734.91	c 1734s |      20 |   855448 |   782527 |    30180     64 |        0 |        0
1736.54/1737.04	c 1736s |      20 |   856408 |   783427 |    30180     64 |        0 |        0
1738.74/1739.23	c 1739s |      20 |   857580 |   784427 |    30180     64 |        0 |        0
1740.84/1741.36	c 1741s |      20 |   858661 |   785427 |    30180     64 |        0 |        0
1742.94/1743.43	c 1743s |      20 |   859860 |   786427 |    30180     64 |        0 |        0
1745.04/1745.54	c 1745s |      20 |   860716 |   787227 |    30180     64 |        0 |        0
1747.24/1747.72	c 1747s |      20 |   861546 |   788027 |    30180     64 |        0 |        0
1749.24/1749.79	c 1749s |      20 |   862248 |   788727 |    30180     64 |        0 |        0
1751.34/1751.80	c 1751s |      20 |   863160 |   789527 |    30180     64 |        0 |        0
1753.44/1753.90	c 1753s |      20 |   864135 |   790427 |    30180     64 |        0 |        0
1755.45/1755.97	c 1755s |      20 |   865278 |   791427 |    30180     64 |        0 |        0
1757.74/1758.20	c 1758s |      20 |   865711 |   791827 |    30180     65 |        0 |        0
1759.74/1760.24	c 1760s |      20 |   867007 |   793027 |    30180     65 |        0 |        0
1762.04/1762.56	c 1762s |      20 |   868505 |   794427 |    30180     65 |        0 |        0
1764.24/1764.72	c 1764s |      20 |   869980 |   795727 |    30180     65 |        0 |        0
1766.24/1766.79	c 1766s |      20 |   871510 |   797127 |    30180     65 |        0 |        0
1768.34/1768.85	c 1768s |      20 |   872800 |   798327 |    30180     65 |        0 |        0
1770.53/1771.00	c 1770s |      20 |   874426 |   799727 |    30180     65 |        0 |        0
1772.53/1773.06	c 1772s |      20 |   875886 |   801027 |    30180     65 |        0 |        0
1787.73/1788.24	c 1788s |      20 |   877181 |   802127 |    30180     65 |        0 |        0
1795.43/1795.94	c 1795s |      20 |   877287 |   802227 |    30180     65 |        0 |        0
1797.73/1798.23	c 1798s |      20 |   878092 |   802927 |    30180     65 |        0 |        0
1799.73/1800.27	c 1800s |      20 |   878981 |   803727 |    30180     65 |        0 |        0

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

pid=3934
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.31 2.35 2.16 3/170 3937
/proc/meminfo: memFree=30202752/32872528 swapFree=17892/1720544
[pid=3937] ppid=3934 vsize=765372 CPUtime=0 cores=0,2,4,6
/proc/3937/stat : 3937 (toysat) R 3934 3937 3556 0 -1 4202496 2865 0 0 0 0 0 0 0 20 0 4 0 108383546 783740928 3226 33554432000 4194304 16246674 140734907233280 140734907232704 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3937/statm: 191855 3234 441 2943 0 188749 0
[pid=3937/tid=3938] ppid=3934 vsize=782780 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3938/stat : 3938 (toysat) S 3934 3937 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108383547 801566720 3294 33554432000 4194304 16246674 140734907233280 140113911721200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3937/tid=3939] ppid=3934 vsize=787900 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3939/stat : 3939 (toysat) S 3934 3937 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108383547 806809600 3311 33554432000 4194304 16246674 140734907233280 140113901231344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3937/tid=3940] ppid=3934 vsize=791996 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3940/stat : 3940 (toysat) S 3934 3937 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108383547 811003904 3328 33554432000 4194304 16246674 140734907233280 140113778568368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.31 2.35 2.16 3/170 3937
/proc/meminfo: memFree=30202752/32872528 swapFree=17892/1720544
[pid=3937] ppid=3934 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/3937/stat : 3937 (toysat) R 3934 3937 3556 0 -1 4202496 21431 0 0 0 7 2 0 0 20 0 4 0 108383546 1250496512 21729 33554432000 4194304 16246674 140734907233280 140734907232592 6195976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3937/statm: 305297 21729 838 2943 0 302191 0
[pid=3937/tid=3938] ppid=3934 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3938/stat : 3938 (toysat) S 3934 3937 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108383547 1250496512 21729 33554432000 4194304 16246674 140734907233280 140113911721200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3937/tid=3939] ppid=3934 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3939/stat : 3939 (toysat) S 3934 3937 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108383547 1250496512 21729 33554432000 4194304 16246674 140734907233280 140113901231344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3937/tid=3940] ppid=3934 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3940/stat : 3940 (toysat) S 3934 3937 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108383547 1250496512 21729 33554432000 4194304 16246674 140734907233280 140113778568368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200521 s]
/proc/loadavg: 2.31 2.35 2.16 3/170 3937
/proc/meminfo: memFree=30202752/32872528 swapFree=17892/1720544
[pid=3937] ppid=3934 vsize=1299012 CPUtime=0.19 cores=0,2,4,6
/proc/3937/stat : 3937 (toysat) R 3934 3937 3556 0 -1 4202496 40298 0 0 0 14 5 0 0 20 0 4 0 108383546 1330188288 40596 33554432000 4194304 16246674 140734907233280 140734907232592 12481124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3937/statm: 324753 40607 839 2943 0 321647 0
[pid=3937/tid=3938] ppid=3934 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3938/stat : 3938 (toysat) S 3934 3937 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108383547 1330188288 40614 33554432000 4194304 16246674 140734907233280 140113911721200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3937/tid=3939] ppid=3934 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3939/stat : 3939 (toysat) S 3934 3937 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108383547 1330188288 40621 33554432000 4194304 16246674 140734907233280 140113901231344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3937/tid=3940] ppid=3934 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3940/stat : 3940 (toysat) S 3934 3937 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108383547 1330188288 40628 33554432000 4194304 16246674 140734907233280 140113778568368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1299012

[startup+0.300466 s]
/proc/loadavg: 2.31 2.35 2.16 3/170 3937
/proc/meminfo: memFree=30202752/32872528 swapFree=17892/1720544
[pid=3937] ppid=3934 vsize=1299012 CPUtime=0.29 cores=0,2,4,6
/proc/3937/stat : 3937 (toysat) R 3934 3937 3556 0 -1 4202496 53691 0 0 0 23 6 0 0 20 0 4 0 108383546 1330188288 53990 33554432000 4194304 16246674 140734907233280 140734907215168 5707789 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3937/statm: 324753 53997 876 2943 0 321647 0
[pid=3937/tid=3938] ppid=3934 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3938/stat : 3938 (toysat) S 3934 3937 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108383547 1330188288 54004 33554432000 4194304 16246674 140734907233280 140113911721200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3937/tid=3939] ppid=3934 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3939/stat : 3939 (toysat) S 3934 3937 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108383547 1330188288 54011 33554432000 4194304 16246674 140734907233280 140113901231344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3937/tid=3940] ppid=3934 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3940/stat : 3940 (toysat) S 3934 3937 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108383547 1330188288 54018 33554432000 4194304 16246674 140734907233280 140113778568368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1299012

[startup+0.700395 s]
/proc/loadavg: 2.31 2.35 2.16 3/170 3937
/proc/meminfo: memFree=30202752/32872528 swapFree=17892/1720544
[pid=3937] ppid=3934 vsize=1299012 CPUtime=0.69 cores=0,2,4,6
/proc/3937/stat : 3937 (toysat) R 3934 3937 3556 0 -1 4202496 145083 0 0 0 52 17 0 0 20 0 4 0 108383546 1330188288 145382 33554432000 4194304 16246674 140734907233280 140734907215168 5724508 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3937/statm: 324753 145397 876 2943 0 321647 0
[pid=3937/tid=3938] ppid=3934 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3938/stat : 3938 (toysat) S 3934 3937 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108383547 1330188288 145405 33554432000 4194304 16246674 140734907233280 140113911721200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3937/tid=3939] ppid=3934 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3939/stat : 3939 (toysat) S 3934 3937 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108383547 1330188288 145413 33554432000 4194304 16246674 140734907233280 140113901231344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3937/tid=3940] ppid=3934 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3940/stat : 3940 (toysat) S 3934 3937 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108383547 1330188288 145422 33554432000 4194304 16246674 140734907233280 140113778568368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1299012

[startup+1.50036 s]
/proc/loadavg: 2.31 2.35 2.16 3/183 3954
/proc/meminfo: memFree=28346856/32872528 swapFree=17892/1720544
[pid=3937] ppid=3934 vsize=1308228 CPUtime=1.48 cores=0,2,4,6
/proc/3937/stat : 3937 (toysat) R 3934 3937 3556 0 -1 4202496 268133 0 0 0 116 32 0 0 20 0 4 0 108383546 1339625472 268431 33554432000 4194304 16246674 140734907233280 140734907231944 6010552 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3937/statm: 327057 268431 882 2943 0 323951 0
[pid=3937/tid=3938] ppid=3934 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3938/stat : 3938 (toysat) S 3934 3937 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108383547 1339625472 268431 33554432000 4194304 16246674 140734907233280 140113911721200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3937/tid=3939] ppid=3934 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3939/stat : 3939 (toysat) S 3934 3937 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108383547 1339625472 268431 33554432000 4194304 16246674 140734907233280 140113901231344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3937/tid=3940] ppid=3934 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3940/stat : 3940 (toysat) S 3934 3937 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108383547 1339625472 268431 33554432000 4194304 16246674 140734907233280 140113778568368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1308228

[startup+3.1004 s]
/proc/loadavg: 2.36 2.36 2.17 3/183 3954
/proc/meminfo: memFree=28053480/32872528 swapFree=17892/1720544
[pid=3937] ppid=3934 vsize=1308228 CPUtime=3.08 cores=0,2,4,6
/proc/3937/stat : 3937 (toysat) R 3934 3937 3556 0 -1 4202496 268240 0 0 0 276 32 0 0 20 0 4 0 108383546 1339625472 268538 33554432000 4194304 16246674 140734907233280 140734907216280 13954625 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3937/statm: 327057 268538 882 2943 0 323951 0
[pid=3937/tid=3938] ppid=3934 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3938/stat : 3938 (toysat) S 3934 3937 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108383547 1339625472 268538 33554432000 4194304 16246674 140734907233280 140113911721200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3937/tid=3939] ppid=3934 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3939/stat : 3939 (toysat) S 3934 3937 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108383547 1339625472 268538 33554432000 4194304 16246674 140734907233280 140113901231344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3937/tid=3940] ppid=3934 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3940/stat : 3940 (toysat) S 3934 3937 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108383547 1339625472 268538 33554432000 4194304 16246674 140734907233280 140113778568368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1308228

[startup+6.30038 s]
/proc/loadavg: 2.36 2.36 2.17 4/183 3954
/proc/meminfo: memFree=28054012/32872528 swapFree=17892/1720544
[pid=3937] ppid=3934 vsize=1308228 CPUtime=6.28 cores=0,2,4,6
/proc/3937/stat : 3937 (toysat) R 3934 3937 3556 0 -1 4202496 268240 0 0 0 596 32 0 0 20 0 4 0 108383546 1339625472 268538 33554432000 4194304 16246674 140734907233280 140734907215168 6020686 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3937/statm: 327057 268538 882 2943 0 323951 0
[pid=3937/tid=3938] ppid=3934 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3938/stat : 3938 (toysat) S 3934 3937 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108383547 1339625472 268538 33554432000 4194304 16246674 140734907233280 140113911721200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3937/tid=3939] ppid=3934 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3939/stat : 3939 (toysat) S 3934 3937 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108383547 1339625472 268538 33554432000 4194304 16246674 140734907233280 140113901231344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3937/tid=3940] ppid=3934 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3940/stat : 3940 (toysat) S 3934 3937 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108383547 1339625472 268538 33554432000 4194304 16246674 140734907233280 140113778568368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.39 2.36 2.17 3/183 3954
/proc/meminfo: memFree=28054460/32872528 swapFree=17892/1720544
[pid=3937] ppid=3934 vsize=1312324 CPUtime=12.68 cores=0,2,4,6
/proc/3937/stat : 3937 (toysat) R 3934 3937 3556 0 -1 4202496 269203 0 0 0 1236 32 0 0 20 0 4 0 108383546 1343819776 269501 33554432000 4194304 16246674 140734907233280 140734907215168 6836977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3937/statm: 328081 269501 889 2943 0 324975 0
[pid=3937/tid=3938] ppid=3934 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3938/stat : 3938 (toysat) S 3934 3937 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108383547 1343819776 269501 33554432000 4194304 16246674 140734907233280 140113911721200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3937/tid=3939] ppid=3934 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3939/stat : 3939 (toysat) S 3934 3937 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108383547 1343819776 269501 33554432000 4194304 16246674 140734907233280 140113901231344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3937/tid=3940] ppid=3934 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3940/stat : 3940 (toysat) S 3934 3937 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108383547 1343819776 269501 33554432000 4194304 16246674 140734907233280 140113778568368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1312324

[startup+25.5004 s]
/proc/loadavg: 2.33 2.35 2.17 3/183 3955
/proc/meminfo: memFree=28022488/32872528 swapFree=17892/1720544
[pid=3937] ppid=3934 vsize=1319492 CPUtime=25.5 cores=0,2,4,6
/proc/3937/stat : 3937 (toysat) R 3934 3937 3556 0 -1 4202496 271066 0 0 0 2517 33 0 0 20 0 4 0 108383546 1351159808 271362 33554432000 4194304 16246674 140734907233280 140734907215168 5723504 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3937/statm: 329873 271362 890 2943 0 326767 0
[pid=3937/tid=3938] ppid=3934 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3938/stat : 3938 (toysat) S 3934 3937 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108383547 1351159808 271362 33554432000 4194304 16246674 140734907233280 140113911721200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3937/tid=3939] ppid=3934 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3939/stat : 3939 (toysat) S 3934 3937 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108383547 1351159808 271362 33554432000 4194304 16246674 140734907233280 140113901231344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3937/tid=3940] ppid=3934 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3940/stat : 3940 (toysat) S 3934 3937 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108383547 1351159808 271362 33554432000 4194304 16246674 140734907233280 140113778568368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1319492

[startup+51.1004 s]
/proc/loadavg: 2.28 2.34 2.17 3/183 3955
/proc/meminfo: memFree=28014760/32872528 swapFree=17892/1720544
[pid=3937] ppid=3934 vsize=1327684 CPUtime=51.07 cores=0,2,4,6
/proc/3937/stat : 3937 (toysat) R 3934 3937 3556 0 -1 4202496 273134 0 0 0 5074 33 0 0 20 0 4 0 108383546 1359548416 273410 33554432000 4194304 16246674 140734907233280 140734907215168 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3937/statm: 331921 273410 890 2943 0 328815 0
[pid=3937/tid=3938] ppid=3934 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3938/stat : 3938 (toysat) S 3934 3937 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108383547 1359548416 273410 33554432000 4194304 16246674 140734907233280 140113911721200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3937/tid=3939] ppid=3934 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3939/stat : 3939 (toysat) S 3934 3937 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108383547 1359548416 273410 33554432000 4194304 16246674 140734907233280 140113901231344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3937/tid=3940] ppid=3934 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3940/stat : 3940 (toysat) S 3934 3937 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108383547 1359548416 273410 33554432000 4194304 16246674 140734907233280 140113778568368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1327684

[startup+102.3 s]
/proc/loadavg: 2.21 2.31 2.17 4/183 3956
/proc/meminfo: memFree=27978384/32872528 swapFree=17892/1720544
[pid=3937] ppid=3934 vsize=1354308 CPUtime=102.26 cores=0,2,4,6
/proc/3937/stat : 3937 (toysat) R 3934 3937 3556 0 -1 4202496 279815 0 0 0 10191 35 0 0 20 0 4 0 108383546 1386811392 280066 33554432000 4194304 16246674 140734907233280 140734907215168 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3937/statm: 338577 280066 890 2943 0 335471 0
[pid=3937/tid=3938] ppid=3934 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3938/stat : 3938 (toysat) S 3934 3937 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108383547 1386811392 280066 33554432000 4194304 16246674 140734907233280 140113911721200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3937/tid=3939] ppid=3934 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3939/stat : 3939 (toysat) S 3934 3937 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108383547 1386811392 280066 33554432000 4194304 16246674 140734907233280 140113901231344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3937/tid=3940] ppid=3934 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3940/stat : 3940 (toysat) S 3934 3937 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108383547 1386811392 280066 33554432000 4194304 16246674 140734907233280 140113778568368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1354308


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

/proc/3937/task/3940/stat : 3940 (toysat) S 3934 3937 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297218 33554432000 4194304 16246674 140734907233280 140113778568368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1422916

[startup+1362.3 s]
/proc/loadavg: 2.19 2.24 2.18 4/183 4010
/proc/meminfo: memFree=27833192/32872528 swapFree=17892/1720544
[pid=3937] ppid=3934 vsize=1422916 CPUtime=1361.89 cores=0,2,4,6
/proc/3937/stat : 3937 (toysat) R 3934 3937 3556 0 -1 4202496 297288 0 0 0 136139 50 0 0 20 0 4 0 108383546 1457065984 297218 33554432000 4194304 16246674 140734907233280 140734907232376 13879728 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3937/statm: 355729 297218 890 2943 0 352623 0
[pid=3937/tid=3938] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3938/stat : 3938 (toysat) S 3934 3937 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297218 33554432000 4194304 16246674 140734907233280 140113911721200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3937/tid=3939] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3939/stat : 3939 (toysat) S 3934 3937 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297218 33554432000 4194304 16246674 140734907233280 140113901231344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3937/tid=3940] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3940/stat : 3940 (toysat) S 3934 3937 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297218 33554432000 4194304 16246674 140734907233280 140113778568368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1422916

[startup+1422.3 s]
/proc/loadavg: 2.21 2.24 2.18 3/183 4011
/proc/meminfo: memFree=27833352/32872528 swapFree=17892/1720544
[pid=3937] ppid=3934 vsize=1422916 CPUtime=1421.89 cores=0,2,4,6
/proc/3937/stat : 3937 (toysat) R 3934 3937 3556 0 -1 4202496 297289 0 0 0 142138 51 0 0 20 0 4 0 108383546 1457065984 297219 33554432000 4194304 16246674 140734907233280 140734907215168 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3937/statm: 355729 297219 891 2943 0 352623 0
[pid=3937/tid=3938] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3938/stat : 3938 (toysat) S 3934 3937 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113911721200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3937/tid=3939] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3939/stat : 3939 (toysat) S 3934 3937 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113901231344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3937/tid=3940] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3940/stat : 3940 (toysat) S 3934 3937 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113778568368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1422916

[startup+1482.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/183 4012
/proc/meminfo: memFree=27833208/32872528 swapFree=17892/1720544
[pid=3937] ppid=3934 vsize=1422916 CPUtime=1481.88 cores=0,2,4,6
/proc/3937/stat : 3937 (toysat) R 3934 3937 3556 0 -1 4202496 297289 0 0 0 148136 52 0 0 20 0 4 0 108383546 1457065984 297219 33554432000 4194304 16246674 140734907233280 140734907215168 12477861 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3937/statm: 355729 297219 891 2943 0 352623 0
[pid=3937/tid=3938] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3938/stat : 3938 (toysat) S 3934 3937 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113911721200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3937/tid=3939] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3939/stat : 3939 (toysat) S 3934 3937 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113901231344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3937/tid=3940] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3940/stat : 3940 (toysat) S 3934 3937 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113778568368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1422916

[startup+1542.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/183 4016
/proc/meminfo: memFree=27833316/32872528 swapFree=17892/1720544
[pid=3937] ppid=3934 vsize=1422916 CPUtime=1541.86 cores=0,2,4,6
/proc/3937/stat : 3937 (toysat) R 3934 3937 3556 0 -1 4202496 297289 0 0 0 154134 52 0 0 20 0 4 0 108383546 1457065984 297219 33554432000 4194304 16246674 140734907233280 140734907232456 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3937/statm: 355729 297219 891 2943 0 352623 0
[pid=3937/tid=3938] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3938/stat : 3938 (toysat) S 3934 3937 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113911721200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3937/tid=3939] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3939/stat : 3939 (toysat) S 3934 3937 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113901231344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3937/tid=3940] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3940/stat : 3940 (toysat) S 3934 3937 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113778568368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1422916

[startup+1602.3 s]
/proc/loadavg: 2.33 2.27 2.19 3/183 4018
/proc/meminfo: memFree=27833560/32872528 swapFree=17892/1720544
[pid=3937] ppid=3934 vsize=1422916 CPUtime=1601.86 cores=0,2,4,6
/proc/3937/stat : 3937 (toysat) R 3934 3937 3556 0 -1 4202496 297289 0 0 0 160133 53 0 0 20 0 4 0 108383546 1457065984 297219 33554432000 4194304 16246674 140734907233280 140734907215168 5822488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3937/statm: 355729 297219 891 2943 0 352623 0
[pid=3937/tid=3938] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3938/stat : 3938 (toysat) S 3934 3937 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113911721200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3937/tid=3939] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3939/stat : 3939 (toysat) S 3934 3937 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113901231344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3937/tid=3940] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3940/stat : 3940 (toysat) S 3934 3937 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113778568368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1422916

[startup+1662.3 s]
/proc/loadavg: 2.27 2.27 2.19 3/183 4019
/proc/meminfo: memFree=27833564/32872528 swapFree=17892/1720544
[pid=3937] ppid=3934 vsize=1422916 CPUtime=1661.85 cores=0,2,4,6
/proc/3937/stat : 3937 (toysat) R 3934 3937 3556 0 -1 4202496 297289 0 0 0 166132 53 0 0 20 0 4 0 108383546 1457065984 297219 33554432000 4194304 16246674 140734907233280 140734907215168 12874961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3937/statm: 355729 297219 891 2943 0 352623 0
[pid=3937/tid=3938] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3938/stat : 3938 (toysat) S 3934 3937 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113911721200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3937/tid=3939] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3939/stat : 3939 (toysat) S 3934 3937 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113901231344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3937/tid=3940] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3940/stat : 3940 (toysat) S 3934 3937 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113778568368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1422916

[startup+1722.3 s]
/proc/loadavg: 2.27 2.26 2.19 3/183 4020
/proc/meminfo: memFree=27833568/32872528 swapFree=17892/1720544
[pid=3937] ppid=3934 vsize=1422916 CPUtime=1721.84 cores=0,2,4,6
/proc/3937/stat : 3937 (toysat) R 3934 3937 3556 0 -1 4202496 297289 0 0 0 172130 54 0 0 20 0 4 0 108383546 1457065984 297219 33554432000 4194304 16246674 140734907233280 140734907216272 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3937/statm: 355729 297219 891 2943 0 352623 0
[pid=3937/tid=3938] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3938/stat : 3938 (toysat) S 3934 3937 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113911721200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3937/tid=3939] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3939/stat : 3939 (toysat) S 3934 3937 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113901231344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3937/tid=3940] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3940/stat : 3940 (toysat) S 3934 3937 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113778568368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1422916

[startup+1782.31 s]
/proc/loadavg: 2.14 2.23 2.18 3/183 4021
/proc/meminfo: memFree=27833072/32872528 swapFree=17892/1720544
[pid=3937] ppid=3934 vsize=1422916 CPUtime=1781.84 cores=0,2,4,6
/proc/3937/stat : 3937 (toysat) R 3934 3937 3556 0 -1 4202496 297289 0 0 0 178130 54 0 0 20 0 4 0 108383546 1457065984 297219 33554432000 4194304 16246674 140734907233280 140734907231104 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3937/statm: 355729 297219 891 2943 0 352623 0
[pid=3937/tid=3938] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3938/stat : 3938 (toysat) S 3934 3937 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113911721200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3937/tid=3939] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3939/stat : 3939 (toysat) S 3934 3937 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113901231344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3937/tid=3940] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3940/stat : 3940 (toysat) S 3934 3937 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113778568368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1422916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.19 2.23 2.18 3/183 4021
/proc/meminfo: memFree=27833200/32872528 swapFree=17892/1720544
[pid=3937] ppid=3934 vsize=1422916 CPUtime=1800.03 cores=0,2,4,6
/proc/3937/stat : 3937 (toysat) R 3934 3937 3556 0 -1 4202496 297289 0 0 0 179948 55 0 0 20 0 4 0 108383546 1457065984 297219 33554432000 4194304 16246674 140734907233280 140734907215168 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3937/statm: 355729 297219 891 2943 0 352623 0
[pid=3937/tid=3938] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3938/stat : 3938 (toysat) S 3934 3937 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113911721200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3937/tid=3939] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3939/stat : 3939 (toysat) S 3934 3937 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113901231344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3937/tid=3940] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3940/stat : 3940 (toysat) S 3934 3937 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113778568368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1422916

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

[startup+1800.5 s]
/proc/loadavg: 2.19 2.23 2.18 3/183 4021
/proc/meminfo: memFree=27833200/32872528 swapFree=17892/1720544
[pid=3937] ppid=3934 vsize=1422916 CPUtime=1800.03 cores=0,2,4,6
/proc/3937/stat : 3937 (toysat) R 3934 3937 3556 0 -1 4202496 297289 0 0 0 179948 55 0 0 20 0 4 0 108383546 1457065984 297219 33554432000 4194304 16246674 140734907233280 140734907215168 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3937/statm: 355729 297219 891 2943 0 352623 0
[pid=3937/tid=3938] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3938/stat : 3938 (toysat) S 3934 3937 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113911721200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3937/tid=3939] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3939/stat : 3939 (toysat) S 3934 3937 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113901231344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3937/tid=3940] ppid=3934 vsize=1422916 CPUtime=0 cores=0,2,4,6
/proc/3937/task/3940/stat : 3940 (toysat) S 3934 3937 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108383547 1457065984 297219 33554432000 4194304 16246674 140734907233280 140113778568368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1422916

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.49
CPU system time (s): 0.554915
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 1422916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.554915
maximum resident set size= 1188876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 297289
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= 384
involuntary context switches= 1959

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.43633 second user time and 7.07492 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-07 03:55:04
IDJOB=4078971
IDBENCH=48359
IDSOLVER=2542
FILE ID=node117/4078971-1465264504
RUNJOBID= node117-1465262703-3572
PBS_JOBID= 19843298
Free space on /tmp= 71740 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_2_40.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078971-1465264504/watcher-4078971-1465264504 -o /tmp/evaluation-result-4078971-1465264504/solver-4078971-1465264504 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465262703-3572 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078971-1465264504.opb

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

MD5SUM BENCH= ff64c7b9cef588c95a335f732f2d905b
RANDOM SEED=655929012

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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		: 2667.088
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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:        30203288 kB
Buffers:           74492 kB
Cached:            84788 kB
SwapCached:        55392 kB
Active:            67168 kB
Inactive:         149244 kB
Active(anon):       4396 kB
Inactive(anon):    54760 kB
Active(file):      62772 kB
Inactive(file):    94484 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67045080 kB
Dirty:             32616 kB
Writeback:             0 kB
AnonPages:       1817784 kB
Mapped:             7232 kB
Shmem:                 0 kB
Slab:             598176 kB
SReclaimable:      42492 kB
SUnreclaim:       555684 kB
KernelStack:        1520 kB
PageTables:         7052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1817024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1800192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node117 at 2016-06-07 04:25:05