Trace number 4108533

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.09 1800.54

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12019_5.std.opb
MD5SUMfca2bf846c4de68f23f92649fc394136
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark108
Best CPU time to get the best result obtained on this benchmark1800.2
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints234238
Number of constraints which are clauses233038
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-19T01:11:43+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4108533-1466291503.opb"]
0.00/0.01	c use --random-gen="2244587856 2790012283 4113576184 3177137324 4142404469 28058525 3913512427 352595709 40806038 3281862112 2989073487 2480396237 152312725 53109017 476231923 1390071073 1848167837 1363356742 2495968144 1319360426 2699084267 1999053952 1760874064 4103455161 2575823986 2370114435 360450690 3150545780 421223595 703748790 181584163 2219847668 452235621 1530780382 3746637300 1804699896 1271833165 3884682732 2229359022 2293903134 1042374255 1283601789 4077979609 352884349 3613101144 3892249188 2048083363 1789105656 1643111749 809075590 453839502 2935090516 2478456243 2210017294 1865651668 409667238 806839412 199569606 3365188748 1985717923 4257929206 550456834 1219800161 961451728 1072835265 3250347055 2158310055 539799414 3327518898 4076619643 962834350 157992620 1349295154 2428620032 3192710508 153814280 2991125252 1590033642 1738941932 338930919 1177479331 2917184074 2914108836 264013140 1995150057 2353841803 835832226 1582445338 2627516261 332313349 3791059633 4180422055 94935873 3099808467 2809215669 2830395689 3290769600 1011619458 2128674084 3493634241 76599603 3188388484 3262616656 529501990 363530874 729031129 2275113934 2496167260 8868536 3324170094 1729587007 3682547647 1794183855 4180476477 4118892177 2285330326 1172524381 1269104922 4171368000 1935663855 658224355 2290657019 2249454793 3368336659 4196978751 1181685614 1801884191 901300850 2487238624 4012200237 3863927393 1620981891 310041212 53864149 2772081353 1770798983 2101545098 65945759 3581037504 3752565484 3090495923 1769942756 3465553313 2277602711 1444955396 1541240214 4241491183 1768068252 3476825774 3718110690 3161479455 1034093005 1736841019 1042515486 517113444 3562042589 2764401823 3341871188 3037531996 2820538048 3346099382 3914553507 3610830292 3872204529 1436805407 3872608801 837440523 2850890019 4190654206 3315782481 1821204420 2682416437 16677944 3369883452 1458656983 221413054 3867946839 4048104874 3668653646 160701102 2880482741 11917238 1215986015 103986924 1486564319 993592491 2889459943 147973018 2306970730 2193430211 2782938872 825115659 243049929 1506830443 2455302084 3975329571 3784727223 747677062 3366904906 4235044163 536601417 2105884183 2946270919 3095934618 3622672079 986991835 3192358326 1386189903 2957160422 699639963 3743964249 3475975951 1784146496 249167989 2716901552 837370823 1272900138 2901249694 2571554725 2874022313 2240759980 1623745004 337159596 109441999 1657940270 2468884904 1134420649 3044163118 602016244 1578550798 1126194964 606422666 1824161645 642342099 1999228615 2220924743 831127248 2743952047 2173004370 2869587716 3051893730 1294433282 766969660 2888957885 568389752 89932588 2661998351 880143482 903477243 3048808683 1324270564 615535980 3321437541 530782370 1577989468 3254134171 255 362436" option to reproduce the execution
1.38/1.45	c #vars 72842
1.38/1.45	c #constraints 234238
4.39/4.49	c BCD2: Hardening is enabled.
4.39/4.49	c BCD2: BiasedSearch is enabled.
4.39/4.49	c Solving starts ...
4.39/4.49	c ============================[ Search Statistics ]============================
4.39/4.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.39/4.49	c       |         |          |          |    Limit     GC | Var      | Constra 
4.39/4.49	c =============================================================================
4.68/4.72	c  0.0s |       0 |        0 |        0 |    89977      0 |    14622 |        0
4.88/4.98	c  0.3s |       0 |      121 |        0 |    89977      0 |    14622 |    16773
4.88/4.98	c #cpu_time = 0.224s
4.88/4.98	c #wall_clock_time = 0.224s
4.88/4.98	c #decision = 121
4.88/4.98	c #random_decision = 0
4.88/4.98	c #conflict = 0
4.88/4.98	c #restart = 0
4.88/4.98	o 300
4.88/4.98	c BCD2: hardening fixes 1 literals
4.88/4.98	c BCD2: updating upper bound: 45150 -> 299
4.88/4.98	c BCD2: 0 <= obj <= 299
4.88/4.98	c BCD2: #cores=0, #unrelaxed=299, #relaxed=0, #hardened=1
4.88/4.98	c BCD2: #sat=1 #unsat=1 bias=1/2
4.88/4.98	c Solving starts ...
4.88/4.98	c ============================[ Search Statistics ]============================
4.88/4.98	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.88/4.98	c       |         |          |          |    Limit     GC | Var      | Constra 
4.88/4.98	c =============================================================================
4.88/4.98	c  0.0s |       0 |        0 |        0 |    89977      0 |    14864 |    16773
5.18/5.21	c  0.2s |       0 |      214 |        0 |    89977      0 |    14864 |    17558
5.18/5.21	c #cpu_time = 0.209s
5.18/5.21	c #wall_clock_time = 0.209s
5.18/5.21	c #decision = 214
5.18/5.21	c #random_decision = 0
5.18/5.21	c #conflict = 0
5.18/5.21	c #restart = 0
5.18/5.21	c BCD2: found a new core of size 215: cost of the new core is >=85
5.18/5.21	c lower bound updated to 85
5.18/5.21	c BCD2: 85 <= obj <= 299
5.18/5.21	c BCD2: #cores=1, #unrelaxed=84, #relaxed=215, #hardened=1
5.18/5.21	c BCD2: #sat=1 #unsat=2 bias=2/3
6.78/6.84	c Solving starts ...
6.78/6.84	c ============================[ Search Statistics ]============================
6.78/6.84	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.78/6.84	c       |         |          |          |    Limit     GC | Var      | Constra 
6.78/6.84	c =============================================================================
6.78/6.85	c  0.0s |       0 |        0 |        0 |    89977      0 |    14864 |    17558
7.18/7.21	c  0.4s |       1 |      146 |      100 |    89977      0 |    14864 |    17558
7.58/7.63	c  0.8s |       2 |      384 |      250 |    98975      0 |    14864 |    17558
8.18/8.28	c  1.4s |       3 |      690 |      475 |   108873      0 |    14864 |    17558
8.98/9.07	c  2.2s |       4 |     1136 |      813 |   119761      0 |    14864 |    17558
10.18/10.21	c  3.4s |       5 |     1840 |     1320 |   131738      0 |    14864 |    17558
11.88/11.90	c  5.1s |       6 |     2802 |     2081 |   159404      0 |    14864 |    17558
13.88/13.97	c  7.1s |       6 |     3960 |     2981 |   159404      0 |    14864 |    17558
14.39/14.48	c  7.6s |       7 |     4242 |     3223 |   175345      0 |    14864 |    17558
16.59/16.68	c  9.8s |       7 |     5549 |     4223 |   175345      0 |    14864 |    17558
18.08/18.11	c 11.3s |       8 |     6460 |     4936 |   192880      0 |    14864 |    17558
20.18/20.28	c 13.4s |       8 |     7730 |     5936 |   192880      0 |    14864 |    17558
22.38/22.41	c 15.6s |       8 |     9086 |     7036 |   192880      0 |    14864 |    17558
23.48/23.55	c 16.7s |       9 |     9666 |     7506 |   212169      0 |    14864 |    17558
25.48/25.56	c 18.7s |       9 |    10619 |     8306 |   212169      0 |    14864 |    17558
27.49/27.58	c 20.7s |       9 |    11685 |     9206 |   212169      0 |    14864 |    17558
29.69/29.78	c 22.9s |       9 |    12913 |    10206 |   212169      0 |    14864 |    17558
31.99/32.07	c 25.2s |       9 |    14157 |    11206 |   212169      0 |    14864 |    17558
32.38/32.45	c 25.6s |      10 |    14337 |    11361 |   233386      0 |    14864 |    17558
34.48/34.58	c 27.7s |      10 |    15303 |    12161 |   233386      0 |    14864 |    17558
36.68/36.78	c 29.9s |      10 |    16312 |    12961 |   233386      0 |    14864 |    17558
38.88/38.97	c 32.1s |      10 |    17410 |    13861 |   233386      0 |    14864 |    17558
41.08/41.13	c 34.3s |      10 |    18519 |    14761 |   233386      0 |    14864 |    17558
43.18/43.22	c 36.4s |      10 |    19714 |    15661 |   233386      0 |    14864 |    17558
45.38/45.43	c 38.6s |      10 |    20665 |    16461 |   233386      0 |    14864 |    17558
47.08/47.19	c 40.3s |      11 |    21519 |    17144 |   256725      0 |    14864 |    17558
49.28/49.31	c 42.5s |      11 |    22382 |    17844 |   256725      0 |    14864 |    17558
51.28/51.35	c 44.5s |      11 |    23368 |    18644 |   256725      0 |    14864 |    17558
53.27/53.37	c 46.5s |      11 |    24321 |    19444 |   256725      0 |    14864 |    17558
55.27/55.38	c 48.5s |      11 |    25346 |    20244 |   256725      0 |    14864 |    17558
57.57/57.61	c 50.8s |      11 |    26326 |    21044 |   256725      0 |    14864 |    17558
59.77/59.84	c 53.0s |      11 |    27289 |    21844 |   256725      0 |    14864 |    17558
61.97/62.07	c 55.2s |      11 |    28232 |    22644 |   256725      0 |    14864 |    17558
64.07/64.15	c 57.3s |      11 |    29193 |    23444 |   256725      0 |    14864 |    17558
66.27/66.32	c 59.5s |      11 |    30134 |    24244 |   256725      0 |    14864 |    17558
68.28/68.35	c 61.5s |      11 |    31039 |    25044 |   256725      0 |    14864 |    17558
70.07/70.18	c 63.3s |      12 |    31961 |    25819 |   282398      0 |    14864 |    17558
72.27/72.38	c 65.5s |      12 |    32802 |    26519 |   282398      0 |    14864 |    17558
74.37/74.41	c 67.6s |      12 |    33819 |    27319 |   282398      0 |    14864 |    17558
76.57/76.61	c 69.8s |      12 |    34790 |    28119 |   282398      0 |    14864 |    17558
78.67/78.71	c 71.9s |      12 |    35739 |    28919 |   282398      0 |    14864 |    17558
80.77/80.80	c 74.0s |      12 |    36688 |    29719 |   282398      0 |    14864 |    17558
82.87/82.90	c 76.1s |      12 |    37481 |    30419 |   282398      0 |    14864 |    17558
84.97/85.00	c 78.2s |      12 |    38405 |    31219 |   282398      0 |    14864 |    17558
87.07/87.10	c 80.3s |      12 |    39344 |    32019 |   282398      0 |    14864 |    17558
89.27/89.30	c 82.5s |      12 |    40249 |    32819 |   282398      0 |    14864 |    17558
91.38/91.43	c 84.6s |      12 |    41096 |    33519 |   282398      0 |    14864 |    17558
93.37/93.47	c 86.6s |      12 |    41935 |    34219 |   282398      0 |    14864 |    17558
95.47/95.51	c 88.7s |      12 |    42688 |    34819 |   282398      0 |    14864 |    17558
97.47/97.52	c 90.7s |      12 |    43468 |    35419 |   282398      0 |    14864 |    17558
99.57/99.60	c 92.8s |      12 |    44358 |    36119 |   282398      0 |    14864 |    17558
101.57/101.67	c 94.8s |      12 |    45225 |    36819 |   282398      0 |    14864 |    17558
103.87/103.91	c 97.1s |      12 |    46082 |    37519 |   282398      0 |    14864 |    17558
106.07/106.18	c 99.3s |      12 |    46954 |    38219 |   282398      0 |    14864 |    17558
108.07/108.19	c  101s |      12 |    47694 |    38819 |   310638      0 |    14864 |    17558
108.17/108.25	c  101s |      13 |    47707 |    38832 |   310638      0 |    14864 |    17558
110.47/110.51	c  103s |      13 |    48332 |    39332 |   310638      0 |    14864 |    17558
112.67/112.72	c  105s |      13 |    49076 |    39932 |   310638      0 |    14864 |    17558
114.87/114.99	c  108s |      13 |    49945 |    40632 |   310638      0 |    14864 |    17558
117.07/117.16	c  110s |      13 |    50846 |    41332 |   310638      0 |    14864 |    17558
119.26/119.35	c  112s |      13 |    51711 |    42032 |   310638      0 |    14864 |    17558
121.36/121.46	c  114s |      13 |    52487 |    42632 |   310638      0 |    14864 |    17558
123.46/123.51	c  116s |      13 |    53248 |    43232 |   310638      0 |    14864 |    17558
125.76/125.84	c  118s |      13 |    53974 |    43832 |   310638      0 |    14864 |    17558
127.86/127.90	c  121s |      13 |    54706 |    44432 |   310638      0 |    14864 |    17558
129.96/130.06	c  123s |      13 |    55433 |    45032 |   310638      0 |    14864 |    17558
132.07/132.19	c  125s |      13 |    56038 |    45532 |   310638      0 |    14864 |    17558
134.47/134.51	c  127s |      13 |    56755 |    46132 |   310638      0 |    14864 |    17558
136.48/136.52	c  129s |      13 |    57361 |    46632 |   310638      0 |    14864 |    17558
138.68/138.71	c  131s |      13 |    57963 |    47132 |   310638      0 |    14864 |    17558
140.78/140.89	c  134s |      13 |    58709 |    47732 |   310638      0 |    14864 |    17558
142.98/143.06	c  136s |      13 |    59447 |    48332 |   310638      0 |    14864 |    17558
145.28/145.34	c  138s |      13 |    60197 |    48932 |   310638      0 |    14864 |    17558
147.57/147.65	c  140s |      13 |    60951 |    49532 |   310638      0 |    14864 |    17558
149.58/149.67	c  142s |      13 |    61540 |    50032 |   310638      0 |    14864 |    17558
151.77/151.90	c  145s |      13 |    62250 |    50632 |   310638      0 |    14864 |    17558
154.17/154.25	c  147s |      13 |    62974 |    51232 |   310638      0 |    14864 |    17558
156.27/156.32	c  149s |      13 |    63579 |    51732 |   310638      0 |    14864 |    17558
158.67/158.74	c  151s |      13 |    64319 |    52332 |   310638      0 |    14864 |    17558
160.67/160.75	c  153s |      13 |    64959 |    52832 |   310638      0 |    14864 |    17558
162.97/163.05	c  156s |      13 |    65648 |    53432 |   310638      0 |    14864 |    17558
165.37/165.42	c  158s |      13 |    66344 |    54032 |   310638      0 |    14864 |    17558
167.47/167.58	c  160s |      13 |    66949 |    54532 |   310638      0 |    14864 |    17558
169.97/170.00	c  163s |      13 |    67598 |    55032 |   310638      0 |    14864 |    17558
172.16/172.29	c  165s |      13 |    68199 |    55532 |   310638      0 |    14864 |    17558
174.46/174.54	c  167s |      13 |    68792 |    56032 |   310638      0 |    14864 |    17558
176.76/176.88	c  170s |      13 |    69521 |    56632 |   310638      0 |    14864 |    17558
179.16/179.24	c  172s |      13 |    70145 |    57132 |   310638      0 |    14864 |    17558
181.16/181.27	c  174s |      13 |    70790 |    57632 |   310638      0 |    14864 |    17558
183.26/183.37	c  176s |      13 |    71414 |    58132 |   341702      0 |    14864 |    17558
184.36/184.48	c  177s |      14 |    71674 |    58352 |   341702      0 |    14864 |    17558
186.66/186.70	c  179s |      14 |    72058 |    58652 |   341702      0 |    14864 |    17558
188.76/188.82	c  181s |      14 |    72513 |    59052 |   341702      0 |    14864 |    17558
190.96/191.06	c  184s |      14 |    73132 |    59552 |   341702      0 |    14864 |    17558
193.26/193.35	c  186s |      14 |    73723 |    60052 |   341702      0 |    14864 |    17558
195.66/195.80	c  188s |      14 |    74333 |    60552 |   341702      0 |    14864 |    17558
198.26/198.31	c  191s |      14 |    74931 |    61052 |   341702      0 |    14864 |    17558
200.46/200.50	c  193s |      14 |    75579 |    61552 |   341702      0 |    14864 |    17558
202.47/202.53	c  195s |      14 |    76266 |    62052 |   341702      0 |    14864 |    17558
204.46/204.55	c  197s |      14 |    76895 |    62552 |   341702      0 |    14864 |    17558
206.56/206.67	c  199s |      14 |    77546 |    63052 |   341702      0 |    14864 |    17558
208.86/208.90	c  202s |      14 |    78141 |    63552 |   341702      0 |    14864 |    17558
211.26/211.34	c  204s |      14 |    78724 |    64052 |   341702      0 |    14864 |    17558
213.56/213.67	c  206s |      14 |    79332 |    64552 |   341702      0 |    14864 |    17558
215.76/215.82	c  208s |      14 |    79812 |    64952 |   341702      0 |    14864 |    17558
218.16/218.26	c  211s |      14 |    80407 |    65452 |   341702      0 |    14864 |    17558
220.36/220.47	c  213s |      14 |    81018 |    65952 |   341702      0 |    14864 |    17558
222.56/222.67	c  215s |      14 |    81626 |    66452 |   341702      0 |    14864 |    17558
224.66/224.76	c  217s |      14 |    82106 |    66852 |   341702      0 |    14864 |    17558
226.76/226.83	c  219s |      14 |    82598 |    67252 |   341702      0 |    14864 |    17558
228.76/228.88	c  222s |      14 |    83059 |    67652 |   341702      0 |    14864 |    17558
231.06/231.16	c  224s |      14 |    83536 |    68052 |   341702      0 |    14864 |    17558
233.26/233.33	c  226s |      14 |    84020 |    68452 |   341702      0 |    14864 |    17558
235.25/235.37	c  228s |      14 |    84478 |    68852 |   341702      0 |    14864 |    17558
237.45/237.50	c  230s |      14 |    84919 |    69252 |   341702      0 |    14864 |    17558
239.76/239.83	c  232s |      14 |    85545 |    69752 |   341702      0 |    14864 |    17558
241.75/241.84	c  234s |      14 |    86020 |    70152 |   341702      0 |    14864 |    17558
244.16/244.22	c  237s |      14 |    86628 |    70652 |   341702      0 |    14864 |    17558
246.55/246.60	c  239s |      14 |    87234 |    71152 |   341702      0 |    14864 |    17558
248.75/248.84	c  241s |      14 |    87839 |    71652 |   341702      0 |    14864 |    17558
251.15/251.24	c  244s |      14 |    88418 |    72152 |   341702      0 |    14864 |    17558
253.45/253.54	c  246s |      14 |    89001 |    72652 |   341702      0 |    14864 |    17558
255.95/256.02	c  249s |      14 |    89588 |    73152 |   341702      0 |    14864 |    17558
257.95/258.06	c  251s |      14 |    90070 |    73552 |   341702      0 |    14864 |    17558
260.15/260.26	c  253s |      14 |    90562 |    73952 |   341702      0 |    14864 |    17558
262.45/262.51	c  255s |      14 |    91049 |    74352 |   341702      0 |    14864 |    17558
264.85/264.97	c  258s |      14 |    91650 |    74852 |   341702      0 |    14864 |    17558
267.45/267.55	c  260s |      14 |    92242 |    75352 |   341702      0 |    14864 |    17558
269.75/269.83	c  262s |      14 |    92752 |    75752 |   341702      0 |    14864 |    17558
272.15/272.27	c  265s |      14 |    93359 |    76252 |   341702      0 |    14864 |    17558
274.65/274.71	c  267s |      14 |    93933 |    76752 |   341702      0 |    14864 |    17558
277.05/277.19	c  270s |      14 |    94527 |    77252 |   341702      0 |    14864 |    17558
279.45/279.52	c  272s |      14 |    95127 |    77752 |   341702      0 |    14864 |    17558
281.45/281.55	c  274s |      14 |    95606 |    78152 |   341702      0 |    14864 |    17558
283.45/283.57	c  276s |      14 |    96081 |    78552 |   341702      0 |    14864 |    17558
285.85/285.93	c  279s |      14 |    96546 |    78952 |   341702      0 |    14864 |    17558
288.15/288.30	c  281s |      14 |    96989 |    79352 |   341702      0 |    14864 |    17558
290.25/290.37	c  283s |      14 |    97482 |    79752 |   341702      0 |    14864 |    17558
292.35/292.47	c  285s |      14 |    97952 |    80152 |   341702      0 |    14864 |    17558
294.85/294.92	c  288s |      14 |    98427 |    80552 |   341702      0 |    14864 |    17558
296.84/296.98	c  290s |      14 |    98919 |    80952 |   341702      0 |    14864 |    17558
299.15/299.21	c  292s |      14 |    99379 |    81352 |   341702      0 |    14864 |    17558
301.24/301.36	c  294s |      14 |    99850 |    81752 |   341702      0 |    14864 |    17558
303.84/303.90	c  297s |      14 |   100332 |    82152 |   341702      0 |    14864 |    17558
306.34/306.42	c  299s |      14 |   100801 |    82552 |   341702      0 |    14864 |    17558
308.74/308.84	c  301s |      14 |   101255 |    82952 |   341702      0 |    14864 |    17558
311.25/311.35	c  304s |      14 |   101829 |    83452 |   341702      0 |    14864 |    17558
313.45/313.60	c  306s |      14 |   102322 |    83852 |   341702      0 |    14864 |    17558
315.65/315.79	c  308s |      14 |   102828 |    84252 |   341702      0 |    14864 |    17558
317.85/317.96	c  311s |      14 |   103295 |    84652 |   341702      0 |    14864 |    17558
320.24/320.32	c  313s |      14 |   103728 |    85052 |   341702      0 |    14864 |    17558
322.35/322.43	c  315s |      14 |   104087 |    85352 |   341702      0 |    14864 |    17558
324.74/324.80	c  317s |      14 |   104554 |    85752 |   341702      0 |    14864 |    17558
327.04/327.18	c  320s |      14 |   105051 |    86152 |   341702      0 |    14864 |    17558
329.54/329.64	c  322s |      14 |   105501 |    86552 |   341702      0 |    14864 |    17558
331.94/332.10	c  325s |      14 |   105957 |    86952 |   341702      0 |    14864 |    17558
334.64/334.70	c  327s |      14 |   106428 |    87352 |   375873      0 |    14864 |    17558
336.44/336.57	c  329s |      15 |   106751 |    87632 |   375873      0 |    14864 |    17558
338.85/338.95	c  332s |      15 |   106990 |    87832 |   375873      0 |    14864 |    17558
340.95/341.01	c  334s |      15 |   107346 |    88132 |   375873      0 |    14864 |    17558
343.34/343.42	c  336s |      15 |   107817 |    88532 |   375873      0 |    14864 |    17558
346.04/346.14	c  339s |      15 |   108313 |    88932 |   375873      0 |    14864 |    17558
348.34/348.41	c  341s |      15 |   108662 |    89232 |   375873      0 |    14864 |    17558
350.44/350.54	c  343s |      15 |   109011 |    89532 |   375873      0 |    14864 |    17558
352.94/353.02	c  346s |      15 |   109506 |    89932 |   375873      0 |    14864 |    17558
355.24/355.40	c  348s |      15 |   110009 |    90332 |   375873      0 |    14864 |    17558
357.54/357.63	c  350s |      15 |   110471 |    90732 |   375873      0 |    14864 |    17558
359.94/360.07	c  353s |      15 |   110957 |    91132 |   375873      0 |    14864 |    17558
362.23/362.33	c  355s |      15 |   111418 |    91532 |   375873      0 |    14864 |    17558
364.53/364.64	c  357s |      15 |   111932 |    91932 |   375873      0 |    14864 |    17558
367.23/367.31	c  360s |      15 |   112391 |    92332 |   375873      0 |    14864 |    17558
369.43/369.60	c  362s |      15 |   112870 |    92732 |   375873      0 |    14864 |    17558
371.84/371.95	c  365s |      15 |   113366 |    93132 |   375873      0 |    14864 |    17558
374.13/374.29	c  367s |      15 |   113814 |    93532 |   375873      0 |    14864 |    17558
376.24/376.32	c  369s |      15 |   114159 |    93832 |   375873      0 |    14864 |    17558
378.34/378.49	c  371s |      15 |   114507 |    94132 |   375873      0 |    14864 |    17558
380.54/380.69	c  373s |      15 |   114843 |    94432 |   375873      0 |    14864 |    17558
382.63/382.75	c  375s |      15 |   115189 |    94732 |   375873      0 |    14864 |    17558
385.23/385.34	c  378s |      15 |   115643 |    95132 |   375873      0 |    14864 |    17558
387.83/387.90	c  381s |      15 |   116122 |    95532 |   375873      0 |    14864 |    17558
390.54/390.64	c  383s |      15 |   116583 |    95932 |   375873      0 |    14864 |    17558
392.53/392.68	c  385s |      15 |   116944 |    96232 |   375873      0 |    14864 |    17558
394.63/394.70	c  387s |      15 |   117342 |    96532 |   375873      0 |    14864 |    17558
396.73/396.88	c  390s |      15 |   117696 |    96832 |   375873      0 |    14864 |    17558
398.83/398.96	c  392s |      15 |   118059 |    97132 |   375873      0 |    14864 |    17558
400.93/401.08	c  394s |      15 |   118424 |    97432 |   375873      0 |    14864 |    17558
403.03/403.15	c  396s |      15 |   118794 |    97732 |   375873      0 |    14864 |    17558
405.13/405.30	c  398s |      15 |   119137 |    98032 |   375873      0 |    14864 |    17558
407.23/407.34	c  400s |      15 |   119479 |    98332 |   375873      0 |    14864 |    17558
409.33/409.48	c  402s |      15 |   119842 |    98632 |   375873      0 |    14864 |    17558
411.53/411.63	c  404s |      15 |   120211 |    98932 |   375873      0 |    14864 |    17558
414.03/414.13	c  407s |      15 |   120702 |    99332 |   375873      0 |    14864 |    17558
416.62/416.79	c  409s |      15 |   121189 |    99732 |   375873      0 |    14864 |    17558
418.72/418.88	c  412s |      15 |   121538 |   100032 |   375873      0 |    14864 |    17558
420.92/421.03	c  414s |      15 |   121895 |   100332 |   375873      0 |    14864 |    17558
423.12/423.26	c  416s |      15 |   122224 |   100632 |   375873      0 |    14864 |    17558
425.63/425.80	c  418s |      15 |   122708 |   101032 |   375873      0 |    14864 |    17558
428.22/428.32	c  421s |      15 |   123213 |   101432 |   375873      0 |    14864 |    17558
430.62/430.77	c  423s |      15 |   123678 |   101832 |   375873      0 |    14864 |    17558
433.12/433.29	c  426s |      15 |   124149 |   102232 |   375873      0 |    14864 |    17558
435.22/435.34	c  428s |      15 |   124504 |   102532 |   375873      0 |    14864 |    17558
437.32/437.47	c  430s |      15 |   124884 |   102832 |   375873      0 |    14864 |    17558
439.52/439.60	c  432s |      15 |   125244 |   103132 |   375873      0 |    14864 |    17558
441.72/441.85	c  435s |      15 |   125591 |   103432 |   375873      0 |    14864 |    17558
444.02/444.18	c  437s |      15 |   126106 |   103832 |   375873      0 |    14864 |    17558
446.72/446.81	c  439s |      15 |   126588 |   104232 |   375873      0 |    14864 |    17558
448.73/448.86	c  442s |      15 |   126920 |   104532 |   375873      0 |    14864 |    17558
450.93/451.04	c  444s |      15 |   127300 |   104832 |   375873      0 |    14864 |    17558
453.02/453.10	c  446s |      15 |   127665 |   105132 |   375873      0 |    14864 |    17558
455.12/455.23	c  448s |      15 |   128004 |   105432 |   375873      0 |    14864 |    17558
457.72/457.81	c  450s |      15 |   128468 |   105832 |   375873      0 |    14864 |    17558
459.73/459.89	c  453s |      15 |   128846 |   106132 |   375873      0 |    14864 |    17558
461.92/462.08	c  455s |      15 |   129196 |   106432 |   375873      0 |    14864 |    17558
464.12/464.28	c  457s |      15 |   129560 |   106732 |   375873      0 |    14864 |    17558
466.42/466.52	c  459s |      15 |   129912 |   107032 |   375873      0 |    14864 |    17558
468.52/468.68	c  461s |      15 |   130257 |   107332 |   375873      0 |    14864 |    17558
471.12/471.27	c  464s |      15 |   130728 |   107732 |   375873      0 |    14864 |    17558
473.42/473.58	c  466s |      15 |   131173 |   108132 |   375873      0 |    14864 |    17558
475.62/475.73	c  468s |      15 |   131515 |   108432 |   375873      0 |    14864 |    17558
477.62/477.79	c  470s |      15 |   131878 |   108732 |   375873      0 |    14864 |    17558
479.92/480.01	c  473s |      15 |   132266 |   109032 |   375873      0 |    14864 |    17558
481.91/482.05	c  475s |      15 |   132650 |   109332 |   375873      0 |    14864 |    17558
484.31/484.47	c  477s |      15 |   133129 |   109732 |   375873      0 |    14864 |    17558
486.71/486.85	c  480s |      15 |   133581 |   110132 |   375873      0 |    14864 |    17558
488.71/488.88	c  482s |      15 |   133941 |   110432 |   375873      0 |    14864 |    17558
491.01/491.15	c  484s |      15 |   134282 |   110732 |   375873      0 |    14864 |    17558
493.41/493.57	c  486s |      15 |   134751 |   111132 |   375873      0 |    14864 |    17558
496.02/496.12	c  489s |      15 |   135220 |   111532 |   375873      0 |    14864 |    17558
498.41/498.56	c  491s |      15 |   135687 |   111932 |   375873      0 |    14864 |    17558
500.52/500.66	c  493s |      15 |   136055 |   112232 |   375873      0 |    14864 |    17558
503.21/503.31	c  496s |      15 |   136524 |   112632 |   375873      0 |    14864 |    17558
505.92/506.08	c  499s |      15 |   137022 |   113032 |   375873      0 |    14864 |    17558
508.01/508.11	c  501s |      15 |   137380 |   113332 |   375873      0 |    14864 |    17558
510.51/510.62	c  503s |      15 |   137857 |   113732 |   375873      0 |    14864 |    17558
512.91/513.02	c  506s |      15 |   138329 |   114132 |   375873      0 |    14864 |    17558
514.91/515.05	c  508s |      15 |   138689 |   114432 |   375873      0 |    14864 |    17558
517.11/517.27	c  510s |      15 |   139041 |   114732 |   375873      0 |    14864 |    17558
519.81/519.97	c  513s |      15 |   139545 |   115132 |   375873      0 |    14864 |    17558
522.42/522.59	c  515s |      15 |   140006 |   115532 |   375873      0 |    14864 |    17558
525.01/525.16	c  518s |      15 |   140461 |   115932 |   375873      0 |    14864 |    17558
527.11/527.24	c  520s |      15 |   140830 |   116232 |   375873      0 |    14864 |    17558
529.31/529.46	c  522s |      15 |   141197 |   116532 |   375873      0 |    14864 |    17558
531.91/532.08	c  525s |      15 |   141680 |   116932 |   375873      0 |    14864 |    17558
534.51/534.65	c  527s |      15 |   142179 |   117332 |   375873      0 |    14864 |    17558
537.01/537.16	c  530s |      15 |   142678 |   117732 |   375873      0 |    14864 |    17558
539.11/539.24	c  532s |      15 |   143038 |   118032 |   375873      0 |    14864 |    17558
541.21/541.32	c  534s |      15 |   143446 |   118332 |   375873      0 |    14864 |    17558
543.31/543.45	c  536s |      15 |   143793 |   118632 |   375873      0 |    14864 |    17558
545.40/545.50	c  538s |      15 |   144127 |   118932 |   375873      0 |    14864 |    17558
547.60/547.72	c  540s |      15 |   144485 |   119232 |   375873      0 |    14864 |    17558
549.60/549.75	c  542s |      15 |   144817 |   119532 |   375873      0 |    14864 |    17558
551.90/552.07	c  545s |      15 |   145177 |   119832 |   375873      0 |    14864 |    17558
554.20/554.38	c  547s |      15 |   145693 |   120232 |   375873      0 |    14864 |    17558
556.51/556.68	c  549s |      15 |   146212 |   120632 |   375873      0 |    14864 |    17558
558.81/558.92	c  552s |      15 |   146712 |   121032 |   375873      0 |    14864 |    17558
561.20/561.30	c  554s |      15 |   147237 |   121432 |   375873      0 |    14864 |    17558
563.60/563.70	c  556s |      15 |   147749 |   121832 |   375873      0 |    14864 |    17558
566.00/566.15	c  559s |      15 |   148246 |   122232 |   375873      0 |    14864 |    17558
568.50/568.62	c  561s |      15 |   148787 |   122632 |   375873      0 |    14864 |    17558
570.60/570.78	c  563s |      15 |   149124 |   122932 |   375873      0 |    14864 |    17558
572.80/572.96	c  566s |      15 |   149503 |   123232 |   375873      0 |    14864 |    17558
574.80/574.98	c  568s |      15 |   149872 |   123532 |   375873      0 |    14864 |    17558
577.10/577.24	c  570s |      15 |   150218 |   123832 |   375873      0 |    14864 |    17558
579.80/579.92	c  573s |      15 |   150737 |   124232 |   375873      0 |    14864 |    17558
581.81/581.93	c  575s |      15 |   151099 |   124532 |   375873      0 |    14864 |    17558
584.30/584.41	c  577s |      15 |   151449 |   124832 |   375873      0 |    14864 |    17558
586.40/586.53	c  579s |      15 |   151815 |   125132 |   375873      0 |    14864 |    17558
588.70/588.85	c  582s |      15 |   152168 |   125432 |   375873      0 |    14864 |    17558
591.00/591.10	c  584s |      15 |   152525 |   125732 |   375873      0 |    14864 |    17558
593.50/593.61	c  586s |      15 |   152863 |   126032 |   375873      0 |    14864 |    17558
595.70/595.87	c  589s |      15 |   153218 |   126332 |   375873      0 |    14864 |    17558
598.10/598.22	c  591s |      15 |   153585 |   126632 |   375873      0 |    14864 |    17558
600.19/600.32	c  593s |      15 |   153934 |   126932 |   375873      0 |    14864 |    17558
602.49/602.69	c  595s |      15 |   154293 |   127232 |   375873      0 |    14864 |    17558
604.90/605.06	c  598s |      15 |   154656 |   127532 |   375873      0 |    14864 |    17558
607.10/607.26	c  600s |      15 |   155014 |   127832 |   375873      0 |    14864 |    17558
609.30/609.49	c  602s |      15 |   155382 |   128132 |   375873      0 |    14864 |    17558
611.89/612.03	c  605s |      15 |   155912 |   128532 |   375873      0 |    14864 |    17558
613.99/614.13	c  607s |      15 |   156282 |   128832 |   375873      0 |    14864 |    17558
616.29/616.48	c  609s |      15 |   156665 |   129132 |   375873      0 |    14864 |    17558
618.69/618.87	c  612s |      15 |   157001 |   129432 |   375873      0 |    14864 |    17558
621.09/621.28	c  614s |      15 |   157338 |   129732 |   375873      0 |    14864 |    17558
623.89/624.00	c  617s |      15 |   157809 |   130132 |   375873      0 |    14864 |    17558
626.29/626.42	c  619s |      15 |   158172 |   130432 |   375873      0 |    14864 |    17558
628.49/628.61	c  621s |      15 |   158506 |   130732 |   413461      0 |    14864 |    17558
630.59/630.73	c  623s |      15 |   158891 |   131032 |   413461      0 |    14864 |    17558
632.59/632.76	c  625s |      15 |   159284 |   131332 |   413461      0 |    14864 |    17558
634.19/634.38	c  627s |      16 |   159546 |   131552 |   413461      0 |    14864 |    17558
636.99/637.10	c  630s |      16 |   159820 |   131752 |   413461      0 |    14864 |    17558
639.49/639.60	c  632s |      16 |   160192 |   132052 |   413461      0 |    14864 |    17558
641.69/641.80	c  634s |      16 |   160575 |   132352 |   413461      0 |    14864 |    17558
644.19/644.39	c  637s |      16 |   160921 |   132652 |   413461      0 |    14864 |    17558
646.49/646.67	c  639s |      16 |   161269 |   132952 |   413461      0 |    14864 |    17558
648.79/648.92	c  642s |      16 |   161617 |   133252 |   413461      0 |    14864 |    17558
651.19/651.38	c  644s |      16 |   161973 |   133552 |   413461      0 |    14864 |    17558
653.59/653.76	c  646s |      16 |   162347 |   133852 |   413461      0 |    14864 |    17558
656.08/656.24	c  649s |      16 |   162680 |   134152 |   413461      0 |    14864 |    17558
658.08/658.24	c  651s |      16 |   163083 |   134452 |   413461      0 |    14864 |    17558
660.58/660.70	c  653s |      16 |   163452 |   134752 |   413461      0 |    14864 |    17558
662.88/663.01	c  656s |      16 |   163823 |   135052 |   413461      0 |    14864 |    17558
664.98/665.11	c  658s |      16 |   164168 |   135352 |   413461      0 |    14864 |    17558
666.98/667.13	c  660s |      16 |   164572 |   135652 |   413461      0 |    14864 |    17558
669.48/669.60	c  662s |      16 |   165076 |   136052 |   413461      0 |    14864 |    17558
671.48/671.66	c  664s |      16 |   165419 |   136352 |   413461      0 |    14864 |    17558
673.78/673.94	c  667s |      16 |   165774 |   136652 |   413461      0 |    14864 |    17558
675.78/675.99	c  669s |      16 |   166135 |   136952 |   413461      0 |    14864 |    17558
678.08/678.20	c  671s |      16 |   166515 |   137252 |   413461      0 |    14864 |    17558
680.08/680.25	c  673s |      16 |   166861 |   137552 |   413461      0 |    14864 |    17558
682.48/682.61	c  675s |      16 |   167251 |   137852 |   413461      0 |    14864 |    17558
684.88/685.00	c  678s |      16 |   167605 |   138152 |   413461      0 |    14864 |    17558
687.18/687.39	c  680s |      16 |   167972 |   138452 |   413461      0 |    14864 |    17558
689.69/689.81	c  682s |      16 |   168332 |   138752 |   413461      0 |    14864 |    17558
691.89/692.06	c  685s |      16 |   168714 |   139052 |   413461      0 |    14864 |    17558
694.09/694.26	c  687s |      16 |   169086 |   139352 |   413461      0 |    14864 |    17558
696.38/696.53	c  689s |      16 |   169447 |   139652 |   413461      0 |    14864 |    17558
698.48/698.65	c  691s |      16 |   169796 |   139952 |   413461      0 |    14864 |    17558
700.58/700.71	c  693s |      16 |   170156 |   140252 |   413461      0 |    14864 |    17558
702.78/702.95	c  696s |      16 |   170494 |   140552 |   413461      0 |    14864 |    17558
705.18/705.30	c  698s |      16 |   170844 |   140852 |   413461      0 |    14864 |    17558
707.38/707.56	c  700s |      16 |   171209 |   141152 |   413461      0 |    14864 |    17558
709.58/709.77	c  702s |      16 |   171584 |   141452 |   413461      0 |    14864 |    17558
711.78/711.97	c  705s |      16 |   171956 |   141752 |   413461      0 |    14864 |    17558
714.38/714.52	c  707s |      16 |   172461 |   142152 |   413461      0 |    14864 |    17558
716.98/717.10	c  710s |      16 |   172956 |   142552 |   413461      0 |    14864 |    17558
719.47/719.69	c  712s |      16 |   173416 |   142952 |   413461      0 |    14864 |    17558
722.07/722.23	c  715s |      16 |   173883 |   143352 |   413461      0 |    14864 |    17558
724.47/724.62	c  717s |      16 |   174210 |   143652 |   413461      0 |    14864 |    17558
726.57/726.78	c  719s |      16 |   174581 |   143952 |   413461      0 |    14864 |    17558
728.77/728.91	c  722s |      16 |   174927 |   144252 |   413461      0 |    14864 |    17558
731.27/731.45	c  724s |      16 |   175308 |   144552 |   413461      0 |    14864 |    17558
733.47/733.63	c  726s |      16 |   175685 |   144852 |   413461      0 |    14864 |    17558
735.67/735.87	c  729s |      16 |   176069 |   145152 |   413461      0 |    14864 |    17558
738.17/738.37	c  731s |      16 |   176438 |   145452 |   413461      0 |    14864 |    17558
740.47/740.67	c  733s |      16 |   176790 |   145752 |   413461      0 |    14864 |    17558
742.87/743.06	c  736s |      16 |   177161 |   146052 |   413461      0 |    14864 |    17558
745.37/745.56	c  738s |      16 |   177504 |   146352 |   413461      0 |    14864 |    17558
747.77/747.96	c  741s |      16 |   177852 |   146652 |   413461      0 |    14864 |    17558
749.97/750.18	c  743s |      16 |   178224 |   146952 |   413461      0 |    14864 |    17558
752.38/752.56	c  745s |      16 |   178573 |   147252 |   413461      0 |    14864 |    17558
754.67/754.81	c  747s |      16 |   178915 |   147552 |   413461      0 |    14864 |    17558
757.17/757.31	c  750s |      16 |   179285 |   147852 |   413461      0 |    14864 |    17558
759.27/759.49	c  752s |      16 |   179635 |   148152 |   413461      0 |    14864 |    17558
761.47/761.64	c  754s |      16 |   179979 |   148452 |   413461      0 |    14864 |    17558
763.47/763.68	c  756s |      16 |   180331 |   148752 |   413461      0 |    14864 |    17558
765.57/765.77	c  758s |      16 |   180714 |   149052 |   413461      0 |    14864 |    17558
767.97/768.19	c  761s |      16 |   181065 |   149352 |   413461      0 |    14864 |    17558
770.47/770.63	c  763s |      16 |   181424 |   149652 |   413461      0 |    14864 |    17558
772.67/772.83	c  765s |      16 |   181799 |   149952 |   413461      0 |    14864 |    17558
774.77/774.93	c  768s |      16 |   182197 |   150252 |   413461      0 |    14864 |    17558
776.86/777.02	c  770s |      16 |   182570 |   150552 |   413461      0 |    14864 |    17558
778.86/779.09	c  772s |      16 |   182928 |   150852 |   413461      0 |    14864 |    17558
781.06/781.20	c  774s |      16 |   183273 |   151152 |   413461      0 |    14864 |    17558
783.26/783.43	c  776s |      16 |   183633 |   151452 |   413461      0 |    14864 |    17558
785.27/785.44	c  778s |      16 |   183863 |   151652 |   413461      0 |    14864 |    17558
787.76/787.97	c  781s |      16 |   184214 |   151952 |   413461      0 |    14864 |    17558
789.96/790.19	c  783s |      16 |   184588 |   152252 |   413461      0 |    14864 |    17558
792.06/792.25	c  785s |      16 |   184939 |   152552 |   413461      0 |    14864 |    17558
794.07/794.28	c  787s |      16 |   185327 |   152852 |   413461      0 |    14864 |    17558
796.56/796.74	c  789s |      16 |   185697 |   153152 |   413461      0 |    14864 |    17558
798.66/798.87	c  792s |      16 |   186075 |   153452 |   413461      0 |    14864 |    17558
801.16/801.35	c  794s |      16 |   186399 |   153752 |   413461      0 |    14864 |    17558
803.66/803.83	c  796s |      16 |   186767 |   154052 |   413461      0 |    14864 |    17558
806.27/806.43	c  799s |      16 |   187280 |   154452 |   413461      0 |    14864 |    17558
808.56/808.78	c  801s |      16 |   187631 |   154752 |   413461      0 |    14864 |    17558
810.96/811.16	c  804s |      16 |   187993 |   155052 |   413461      0 |    14864 |    17558
813.56/813.70	c  806s |      16 |   188460 |   155452 |   413461      0 |    14864 |    17558
815.76/815.90	c  809s |      16 |   188803 |   155752 |   413461      0 |    14864 |    17558
817.76/817.96	c  811s |      16 |   189169 |   156052 |   413461      0 |    14864 |    17558
820.16/820.31	c  813s |      16 |   189538 |   156352 |   413461      0 |    14864 |    17558
822.46/822.61	c  815s |      16 |   189890 |   156652 |   413461      0 |    14864 |    17558
824.56/824.71	c  817s |      16 |   190244 |   156952 |   413461      0 |    14864 |    17558
826.96/827.10	c  820s |      16 |   190615 |   157252 |   413461      0 |    14864 |    17558
829.66/829.83	c  822s |      16 |   190978 |   157552 |   413461      0 |    14864 |    17558
832.06/832.20	c  825s |      16 |   191331 |   157852 |   413461      0 |    14864 |    17558
834.26/834.47	c  827s |      16 |   191681 |   158152 |   413461      0 |    14864 |    17558
836.66/836.81	c  829s |      16 |   192035 |   158452 |   413461      0 |    14864 |    17558
838.86/839.03	c  832s |      16 |   192377 |   158752 |   413461      0 |    14864 |    17558
841.26/841.45	c  834s |      16 |   192712 |   159052 |   413461      0 |    14864 |    17558
843.85/844.04	c  837s |      16 |   193061 |   159352 |   413461      0 |    14864 |    17558
846.25/846.46	c  839s |      16 |   193428 |   159652 |   413461      0 |    14864 |    17558
849.16/849.33	c  842s |      16 |   193917 |   160052 |   413461      0 |    14864 |    17558
851.65/851.81	c  844s |      16 |   194249 |   160352 |   413461      0 |    14864 |    17558
853.95/854.12	c  847s |      16 |   194618 |   160652 |   413461      0 |    14864 |    17558
856.15/856.38	c  849s |      16 |   194985 |   160952 |   413461      0 |    14864 |    17558
858.65/858.89	c  852s |      16 |   195353 |   161252 |   413461      0 |    14864 |    17558
861.16/861.32	c  854s |      16 |   195717 |   161552 |   413461      0 |    14864 |    17558
863.46/863.66	c  856s |      16 |   196086 |   161852 |   413461      0 |    14864 |    17558
865.85/866.07	c  859s |      16 |   196467 |   162152 |   413461      0 |    14864 |    17558
868.55/868.77	c  861s |      16 |   196841 |   162452 |   413461      0 |    14864 |    17558
870.95/871.15	c  864s |      16 |   197191 |   162752 |   413461      0 |    14864 |    17558
873.65/873.84	c  866s |      16 |   197526 |   163052 |   413461      0 |    14864 |    17558
876.66/876.87	c  870s |      16 |   197882 |   163352 |   413461      0 |    14864 |    17558
879.25/879.46	c  872s |      16 |   198230 |   163652 |   413461      0 |    14864 |    17558
881.45/881.61	c  874s |      16 |   198591 |   163952 |   413461      0 |    14864 |    17558
883.85/884.03	c  877s |      16 |   198932 |   164252 |   413461      0 |    14864 |    17558
886.25/886.41	c  879s |      16 |   199286 |   164552 |   413461      0 |    14864 |    17558
889.15/889.37	c  882s |      16 |   199665 |   164852 |   413461      0 |    14864 |    17558
891.15/891.39	c  884s |      16 |   199908 |   165052 |   413461      0 |    14864 |    17558
893.95/894.17	c  887s |      16 |   200257 |   165352 |   413461      0 |    14864 |    17558
896.75/896.97	c  890s |      16 |   200605 |   165652 |   413461      0 |    14864 |    17558
899.35/899.58	c  892s |      16 |   200958 |   165952 |   413461      0 |    14864 |    17558
901.85/902.01	c  895s |      16 |   201311 |   166252 |   413461      0 |    14864 |    17558
904.74/904.94	c  898s |      16 |   201665 |   166552 |   413461      0 |    14864 |    17558
906.84/907.06	c  900s |      16 |   201890 |   166752 |   413461      0 |    14864 |    17558
908.94/909.16	c  902s |      16 |   202120 |   166952 |   413461      0 |    14864 |    17558
910.94/911.16	c  904s |      16 |   202364 |   167152 |   413461      0 |    14864 |    17558
913.04/913.21	c  906s |      16 |   202590 |   167352 |   413461      0 |    14864 |    17558
915.84/916.08	c  909s |      16 |   202951 |   167652 |   413461      0 |    14864 |    17558
918.74/918.97	c  912s |      16 |   203291 |   167952 |   413461      0 |    14864 |    17558
920.84/921.05	c  914s |      16 |   203539 |   168152 |   413461      0 |    14864 |    17558
923.74/923.95	c  917s |      16 |   203891 |   168452 |   413461      0 |    14864 |    17558
926.74/926.92	c  920s |      16 |   204250 |   168752 |   413461      0 |    14864 |    17558
929.45/929.67	c  922s |      16 |   204603 |   169052 |   413461      0 |    14864 |    17558
931.55/931.74	c  924s |      16 |   204829 |   169252 |   413461      0 |    14864 |    17558
934.44/934.67	c  927s |      16 |   205164 |   169552 |   413461      0 |    14864 |    17558
937.24/937.40	c  930s |      16 |   205557 |   169852 |   413461      0 |    14864 |    17558
939.54/939.75	c  932s |      16 |   205903 |   170152 |   413461      0 |    14864 |    17558
941.74/941.94	c  935s |      16 |   206240 |   170452 |   413461      0 |    14864 |    17558
944.04/944.20	c  937s |      16 |   206589 |   170752 |   413461      0 |    14864 |    17558
946.34/946.53	c  939s |      16 |   206924 |   171052 |   413461      0 |    14864 |    17558
948.44/948.63	c  941s |      16 |   207267 |   171352 |   413461      0 |    14864 |    17558
950.64/950.89	c  944s |      16 |   207624 |   171652 |   413461      0 |    14864 |    17558
953.34/953.58	c  946s |      16 |   207970 |   171952 |   413461      0 |    14864 |    17558
955.44/955.62	c  948s |      16 |   208219 |   172152 |   413461      0 |    14864 |    17558
957.94/958.16	c  951s |      16 |   208572 |   172452 |   413461      0 |    14864 |    17558
960.24/960.49	c  953s |      16 |   208910 |   172752 |   413461      0 |    14864 |    17558
962.84/963.07	c  956s |      16 |   209290 |   173052 |   413461      0 |    14864 |    17558
965.34/965.58	c  958s |      16 |   209648 |   173352 |   413461      0 |    14864 |    17558
967.94/968.16	c  961s |      16 |   210034 |   173652 |   413461      0 |    14864 |    17558
970.53/970.72	c  963s |      16 |   210424 |   173952 |   413461      0 |    14864 |    17558
973.03/973.23	c  966s |      16 |   210793 |   174252 |   413461      0 |    14864 |    17558
975.43/975.69	c  968s |      16 |   211152 |   174552 |   413461      0 |    14864 |    17558
977.53/977.78	c  970s |      16 |   211393 |   174752 |   413461      0 |    14864 |    17558
979.73/979.94	c  973s |      16 |   211609 |   174952 |   413461      0 |    14864 |    17558
981.83/982.04	c  975s |      16 |   211838 |   175152 |   413461      0 |    14864 |    17558
984.93/985.19	c  978s |      16 |   212195 |   175452 |   413461      0 |    14864 |    17558
987.13/987.32	c  980s |      16 |   212424 |   175652 |   413461      0 |    14864 |    17558
989.13/989.33	c  982s |      16 |   212655 |   175852 |   413461      0 |    14864 |    17558
992.23/992.44	c  985s |      16 |   213005 |   176152 |   413461      0 |    14864 |    17558
995.44/995.61	c  988s |      16 |   213363 |   176452 |   413461      0 |    14864 |    17558
997.43/997.70	c  990s |      16 |   213587 |   176652 |   413461      0 |    14864 |    17558
1000.43/1000.67	c  993s |      16 |   213914 |   176952 |   413461      0 |    14864 |    17558
1002.93/1003.12	c  996s |      16 |   214311 |   177252 |   413461      0 |    14864 |    17558
1005.03/1005.28	c  998s |      16 |   214543 |   177452 |   413461      0 |    14864 |    17558
1007.13/1007.30	c 1000s |      16 |   214794 |   177652 |   413461      0 |    14864 |    17558
1009.83/1010.05	c 1003s |      16 |   215137 |   177952 |   413461      0 |    14864 |    17558
1012.53/1012.72	c 1005s |      16 |   215494 |   178252 |   413461      0 |    14864 |    17558
1015.53/1015.73	c 1008s |      16 |   215860 |   178552 |   413461      0 |    14864 |    17558
1018.33/1018.59	c 1011s |      16 |   216218 |   178852 |   413461      0 |    14864 |    17558
1020.93/1021.19	c 1014s |      16 |   216566 |   179152 |   413461      0 |    14864 |    17558
1023.33/1023.58	c 1016s |      16 |   216946 |   179452 |   413461      0 |    14864 |    17558
1025.93/1026.19	c 1019s |      16 |   217293 |   179752 |   413461      0 |    14864 |    17558
1028.63/1028.87	c 1022s |      16 |   217634 |   180052 |   413461      0 |    14864 |    17558
1031.43/1031.60	c 1024s |      16 |   217989 |   180352 |   413461      0 |    14864 |    17558
1034.22/1034.48	c 1027s |      16 |   218322 |   180652 |   413461      0 |    14864 |    17558
1037.23/1037.44	c 1030s |      16 |   218658 |   180952 |   413461      0 |    14864 |    17558
1039.92/1040.14	c 1033s |      16 |   219026 |   181252 |   413461      0 |    14864 |    17558
1042.82/1043.08	c 1036s |      16 |   219399 |   181552 |   413461      0 |    14864 |    17558
1044.93/1045.18	c 1038s |      16 |   219636 |   181752 |   413461      0 |    14864 |    17558
1047.03/1047.21	c 1040s |      16 |   219871 |   181952 |   413461      0 |    14864 |    17558
1049.82/1050.05	c 1043s |      16 |   220229 |   182252 |   413461      0 |    14864 |    17558
1052.42/1052.64	c 1045s |      16 |   220587 |   182552 |   413461      0 |    14864 |    17558
1055.42/1055.64	c 1048s |      16 |   220956 |   182852 |   413461      0 |    14864 |    17558
1057.62/1057.83	c 1050s |      16 |   221214 |   183052 |   413461      0 |    14864 |    17558
1060.62/1060.82	c 1053s |      16 |   221560 |   183352 |   413461      0 |    14864 |    17558
1063.12/1063.30	c 1056s |      16 |   221940 |   183652 |   413461      0 |    14864 |    17558
1065.62/1065.89	c 1059s |      16 |   222293 |   183952 |   413461      0 |    14864 |    17558
1068.22/1068.41	c 1061s |      16 |   222657 |   184252 |   413461      0 |    14864 |    17558
1070.93/1071.15	c 1064s |      16 |   223029 |   184552 |   413461      0 |    14864 |    17558
1073.13/1073.32	c 1066s |      16 |   223264 |   184752 |   413461      0 |    14864 |    17558
1075.93/1076.12	c 1069s |      16 |   223637 |   185052 |   413461      0 |    14864 |    17558
1078.83/1079.01	c 1072s |      16 |   223989 |   185352 |   413461      0 |    14864 |    17558
1081.43/1081.64	c 1074s |      16 |   224352 |   185652 |   413461      0 |    14864 |    17558
1084.43/1084.70	c 1077s |      16 |   224717 |   185952 |   413461      0 |    14864 |    17558
1087.13/1087.34	c 1080s |      16 |   225095 |   186252 |   413461      0 |    14864 |    17558
1090.03/1090.28	c 1083s |      16 |   225455 |   186552 |   413461      0 |    14864 |    17558
1092.23/1092.46	c 1085s |      16 |   225699 |   186752 |   413461      0 |    14864 |    17558
1094.33/1094.56	c 1087s |      16 |   225937 |   186952 |   413461      0 |    14864 |    17558
1097.22/1097.42	c 1090s |      16 |   226287 |   187252 |   413461      0 |    14864 |    17558
1099.22/1099.43	c 1092s |      16 |   226512 |   187452 |   413461      0 |    14864 |    17558
1101.22/1101.48	c 1094s |      16 |   226734 |   187652 |   413461      0 |    14864 |    17558
1103.92/1104.13	c 1097s |      16 |   227097 |   187952 |   413461      0 |    14864 |    17558
1106.62/1106.84	c 1099s |      16 |   227464 |   188252 |   413461      0 |    14864 |    17558
1109.62/1109.85	c 1103s |      16 |   227830 |   188552 |   413461      0 |    14864 |    17558
1112.32/1112.53	c 1105s |      16 |   228182 |   188852 |   413461      0 |    14864 |    17558
1115.02/1115.21	c 1108s |      16 |   228526 |   189152 |   413461      0 |    14864 |    17558
1117.72/1117.97	c 1111s |      16 |   228895 |   189452 |   413461      0 |    14864 |    17558
1120.62/1120.80	c 1113s |      16 |   229250 |   189752 |   413461      0 |    14864 |    17558
1122.62/1122.86	c 1116s |      16 |   229488 |   189952 |   413461      0 |    14864 |    17558
1125.42/1125.63	c 1118s |      16 |   229844 |   190252 |   413461      0 |    14864 |    17558
1128.22/1128.48	c 1121s |      16 |   230193 |   190552 |   413461      0 |    14864 |    17558
1131.22/1131.49	c 1124s |      16 |   230554 |   190852 |   413461      0 |    14864 |    17558
1133.82/1134.05	c 1127s |      16 |   230904 |   191152 |   413461      0 |    14864 |    17558
1135.92/1136.11	c 1129s |      16 |   231156 |   191352 |   413461      0 |    14864 |    17558
1138.72/1138.90	c 1132s |      16 |   231502 |   191652 |   413461      0 |    14864 |    17558
1141.52/1141.74	c 1134s |      16 |   231844 |   191952 |   413461      0 |    14864 |    17558
1144.42/1144.63	c 1137s |      16 |   232188 |   192252 |   413461      0 |    14864 |    17558
1147.02/1147.20	c 1140s |      16 |   232545 |   192552 |   413461      0 |    14864 |    17558
1149.62/1149.89	c 1143s |      16 |   232889 |   192852 |   413461      0 |    14864 |    17558
1152.41/1152.67	c 1145s |      16 |   233247 |   193152 |   413461      0 |    14864 |    17558
1155.21/1155.45	c 1148s |      16 |   233581 |   193452 |   413461      0 |    14864 |    17558
1157.61/1157.80	c 1150s |      16 |   233942 |   193752 |   413461      0 |    14864 |    17558
1160.32/1160.58	c 1153s |      16 |   234283 |   194052 |   413461      0 |    14864 |    17558
1163.21/1163.45	c 1156s |      16 |   234640 |   194352 |   413461      0 |    14864 |    17558
1166.11/1166.31	c 1159s |      16 |   234989 |   194652 |   413461      0 |    14864 |    17558
1168.51/1168.73	c 1161s |      16 |   235368 |   194952 |   413461      0 |    14864 |    17558
1171.21/1171.40	c 1164s |      16 |   235710 |   195252 |   413461      0 |    14864 |    17558
1174.01/1174.20	c 1167s |      16 |   236078 |   195552 |   413461      0 |    14864 |    17558
1176.01/1176.26	c 1169s |      16 |   236319 |   195752 |   413461      0 |    14864 |    17558
1178.71/1178.94	c 1172s |      16 |   236697 |   196052 |   413461      0 |    14864 |    17558
1181.22/1181.44	c 1174s |      16 |   237093 |   196352 |   454808      0 |    14864 |    17558
1183.31/1183.50	c 1176s |      16 |   237353 |   196552 |   454808      0 |    14864 |    17558
1185.81/1186.06	c 1179s |      16 |   237709 |   196852 |   454808      0 |    14864 |    17558
1188.61/1188.83	c 1181s |      16 |   238067 |   197152 |   454808      0 |    14864 |    17558
1191.12/1191.36	c 1184s |      17 |   238397 |   197432 |   454808      0 |    14864 |    17558
1193.71/1193.91	c 1187s |      17 |   238551 |   197532 |   454808      0 |    14864 |    17558
1195.91/1196.11	c 1189s |      17 |   238784 |   197732 |   454808      0 |    14864 |    17558
1199.01/1199.20	c 1192s |      17 |   239172 |   198032 |   454808      0 |    14864 |    17558
1201.01/1201.24	c 1194s |      17 |   239405 |   198232 |   454808      0 |    14864 |    17558
1203.31/1203.51	c 1196s |      17 |   239645 |   198432 |   454808      0 |    14864 |    17558
1206.31/1206.58	c 1199s |      17 |   240025 |   198732 |   454808      0 |    14864 |    17558
1208.41/1208.68	c 1201s |      17 |   240249 |   198932 |   454808      0 |    14864 |    17558
1211.21/1211.48	c 1204s |      17 |   240593 |   199232 |   454808      0 |    14864 |    17558
1213.61/1213.88	c 1207s |      17 |   240828 |   199432 |   454808      0 |    14864 |    17558
1215.71/1215.90	c 1209s |      17 |   241074 |   199632 |   454808      0 |    14864 |    17558
1217.70/1217.98	c 1211s |      17 |   241320 |   199832 |   454808      0 |    14864 |    17558
1220.60/1220.88	c 1214s |      17 |   241658 |   200132 |   454808      0 |    14864 |    17558
1222.90/1223.15	c 1216s |      17 |   241886 |   200332 |   454808      0 |    14864 |    17558
1225.00/1225.25	c 1218s |      17 |   242139 |   200532 |   454808      0 |    14864 |    17558
1227.90/1228.12	c 1221s |      17 |   242504 |   200832 |   454808      0 |    14864 |    17558
1230.81/1231.02	c 1224s |      17 |   242880 |   201132 |   454808      0 |    14864 |    17558
1232.80/1233.04	c 1226s |      17 |   243102 |   201332 |   454808      0 |    14864 |    17558
1235.60/1235.84	c 1228s |      17 |   243465 |   201632 |   454808      0 |    14864 |    17558
1237.80/1238.09	c 1231s |      17 |   243691 |   201832 |   454808      0 |    14864 |    17558
1240.40/1240.65	c 1233s |      17 |   243924 |   202032 |   454808      0 |    14864 |    17558
1242.40/1242.69	c 1235s |      17 |   244178 |   202232 |   454808      0 |    14864 |    17558
1245.11/1245.34	c 1238s |      17 |   244535 |   202532 |   454808      0 |    14864 |    17558
1247.31/1247.53	c 1240s |      17 |   244766 |   202732 |   454808      0 |    14864 |    17558
1250.10/1250.31	c 1243s |      17 |   245118 |   203032 |   454808      0 |    14864 |    17558
1252.40/1252.61	c 1245s |      17 |   245363 |   203232 |   454808      0 |    14864 |    17558
1254.50/1254.70	c 1247s |      17 |   245588 |   203432 |   454808      0 |    14864 |    17558
1256.70/1256.94	c 1250s |      17 |   245852 |   203632 |   454808      0 |    14864 |    17558
1258.90/1259.15	c 1252s |      17 |   246083 |   203832 |   454808      0 |    14864 |    17558
1261.00/1261.24	c 1254s |      17 |   246313 |   204032 |   454808      0 |    14864 |    17558
1264.00/1264.23	c 1257s |      17 |   246661 |   204332 |   454808      0 |    14864 |    17558
1266.00/1266.25	c 1259s |      17 |   246899 |   204532 |   454808      0 |    14864 |    17558
1268.90/1269.19	c 1262s |      17 |   247242 |   204832 |   454808      0 |    14864 |    17558
1272.00/1272.21	c 1265s |      17 |   247616 |   205132 |   454808      0 |    14864 |    17558
1274.60/1274.90	c 1268s |      17 |   247961 |   205432 |   454808      0 |    14864 |    17558
1276.80/1277.09	c 1270s |      17 |   248191 |   205632 |   454808      0 |    14864 |    17558
1279.70/1279.99	c 1273s |      17 |   248539 |   205932 |   454808      0 |    14864 |    17558
1282.09/1282.30	c 1275s |      17 |   248783 |   206132 |   454808      0 |    14864 |    17558
1284.29/1284.59	c 1277s |      17 |   249022 |   206332 |   454808      0 |    14864 |    17558
1286.49/1286.78	c 1279s |      17 |   249268 |   206532 |   454808      0 |    14864 |    17558
1288.59/1288.84	c 1281s |      17 |   249519 |   206732 |   454808      0 |    14864 |    17558
1291.20/1291.43	c 1284s |      17 |   249903 |   207032 |   454808      0 |    14864 |    17558
1293.59/1293.85	c 1287s |      17 |   250127 |   207232 |   454808      0 |    14864 |    17558
1296.39/1296.66	c 1289s |      17 |   250458 |   207532 |   454808      0 |    14864 |    17558
1299.09/1299.30	c 1292s |      17 |   250827 |   207832 |   454808      0 |    14864 |    17558
1301.69/1301.96	c 1295s |      17 |   251195 |   208132 |   454808      0 |    14864 |    17558
1304.29/1304.53	c 1297s |      17 |   251554 |   208432 |   454808      0 |    14864 |    17558
1306.60/1306.86	c 1300s |      17 |   251915 |   208732 |   454808      0 |    14864 |    17558
1309.19/1309.43	c 1302s |      17 |   252286 |   209032 |   454808      0 |    14864 |    17558
1312.20/1312.41	c 1305s |      17 |   252629 |   209332 |   454808      0 |    14864 |    17558
1315.09/1315.36	c 1308s |      17 |   252986 |   209632 |   454808      0 |    14864 |    17558
1317.99/1318.28	c 1311s |      17 |   253342 |   209932 |   454808      0 |    14864 |    17558
1320.99/1321.21	c 1314s |      17 |   253707 |   210232 |   454808      0 |    14864 |    17558
1322.99/1323.24	c 1316s |      17 |   253944 |   210432 |   454808      0 |    14864 |    17558
1325.49/1325.70	c 1318s |      17 |   254177 |   210632 |   454808      0 |    14864 |    17558
1327.69/1327.97	c 1321s |      17 |   254398 |   210832 |   454808      0 |    14864 |    17558
1329.79/1330.08	c 1323s |      17 |   254637 |   211032 |   454808      0 |    14864 |    17558
1331.99/1332.25	c 1325s |      17 |   254849 |   211232 |   454808      0 |    14864 |    17558
1334.09/1334.32	c 1327s |      17 |   255086 |   211432 |   454808      0 |    14864 |    17558
1336.88/1337.16	c 1330s |      17 |   255442 |   211732 |   454808      0 |    14864 |    17558
1339.88/1340.13	c 1333s |      17 |   255791 |   212032 |   454808      0 |    14864 |    17558
1342.08/1342.31	c 1335s |      17 |   256029 |   212232 |   454808      0 |    14864 |    17558
1345.28/1345.56	c 1338s |      17 |   256363 |   212532 |   454808      0 |    14864 |    17558
1347.78/1348.05	c 1341s |      17 |   256598 |   212732 |   454808      0 |    14864 |    17558
1349.98/1350.21	c 1343s |      17 |   256829 |   212932 |   454808      0 |    14864 |    17558
1352.68/1352.99	c 1346s |      17 |   257201 |   213232 |   454808      0 |    14864 |    17558
1355.58/1355.82	c 1348s |      17 |   257551 |   213532 |   454808      0 |    14864 |    17558
1357.58/1357.86	c 1351s |      17 |   257796 |   213732 |   454808      0 |    14864 |    17558
1359.58/1359.88	c 1353s |      17 |   258023 |   213932 |   454808      0 |    14864 |    17558
1361.88/1362.17	c 1355s |      17 |   258253 |   214132 |   454808      0 |    14864 |    17558
1364.78/1365.01	c 1358s |      17 |   258603 |   214432 |   454808      0 |    14864 |    17558
1366.78/1367.07	c 1360s |      17 |   258832 |   214632 |   454808      0 |    14864 |    17558
1369.68/1369.99	c 1363s |      17 |   259156 |   214932 |   454808      0 |    14864 |    17558
1371.78/1372.08	c 1365s |      17 |   259372 |   215132 |   454808      0 |    14864 |    17558
1374.79/1375.03	c 1368s |      17 |   259723 |   215432 |   454808      0 |    14864 |    17558
1377.38/1377.67	c 1370s |      17 |   260121 |   215732 |   454808      0 |    14864 |    17558
1380.58/1380.88	c 1374s |      17 |   260469 |   216032 |   454808      0 |    14864 |    17558
1382.78/1383.06	c 1376s |      17 |   260695 |   216232 |   454808      0 |    14864 |    17558
1385.78/1386.06	c 1379s |      17 |   261026 |   216532 |   454808      0 |    14864 |    17558
1388.18/1388.40	c 1381s |      17 |   261251 |   216732 |   454808      0 |    14864 |    17558
1390.48/1390.74	c 1383s |      17 |   261496 |   216932 |   454808      0 |    14864 |    17558
1392.78/1393.03	c 1386s |      17 |   261721 |   217132 |   454808      0 |    14864 |    17558
1394.97/1395.22	c 1388s |      17 |   261943 |   217332 |   454808      0 |    14864 |    17558
1396.97/1397.22	c 1390s |      17 |   262182 |   217532 |   454808      0 |    14864 |    17558
1399.77/1400.03	c 1393s |      17 |   262569 |   217832 |   454808      0 |    14864 |    17558
1401.77/1402.05	c 1395s |      17 |   262821 |   218032 |   454808      0 |    14864 |    17558
1404.48/1404.79	c 1397s |      17 |   263166 |   218332 |   454808      0 |    14864 |    17558
1407.17/1407.40	c 1400s |      17 |   263523 |   218632 |   454808      0 |    14864 |    17558
1409.67/1409.94	c 1403s |      17 |   263752 |   218832 |   454808      0 |    14864 |    17558
1411.77/1412.05	c 1405s |      17 |   263984 |   219032 |   454808      0 |    14864 |    17558
1414.07/1414.37	c 1407s |      17 |   264207 |   219232 |   454808      0 |    14864 |    17558
1416.07/1416.37	c 1409s |      17 |   264429 |   219432 |   454808      0 |    14864 |    17558
1418.96/1419.21	c 1412s |      17 |   264796 |   219732 |   454808      0 |    14864 |    17558
1421.76/1422.03	c 1415s |      17 |   265149 |   220032 |   454808      0 |    14864 |    17558
1424.16/1424.43	c 1417s |      17 |   265392 |   220232 |   454808      0 |    14864 |    17558
1426.26/1426.55	c 1419s |      17 |   265626 |   220432 |   454808      0 |    14864 |    17558
1428.45/1428.77	c 1421s |      17 |   265854 |   220632 |   454808      0 |    14864 |    17558
1431.55/1431.82	c 1424s |      17 |   266205 |   220932 |   454808      0 |    14864 |    17558
1433.55/1433.85	c 1427s |      17 |   266432 |   221132 |   454808      0 |    14864 |    17558
1435.75/1436.01	c 1429s |      17 |   266676 |   221332 |   454808      0 |    14864 |    17558
1438.55/1438.82	c 1431s |      17 |   267042 |   221632 |   454808      0 |    14864 |    17558
1441.24/1441.52	c 1434s |      17 |   267387 |   221932 |   454808      0 |    14864 |    17558
1444.15/1444.43	c 1437s |      17 |   267760 |   222232 |   454808      0 |    14864 |    17558
1446.14/1446.49	c 1439s |      17 |   268002 |   222432 |   454808      0 |    14864 |    17558
1448.24/1448.51	c 1441s |      17 |   268246 |   222632 |   454808      0 |    14864 |    17558
1450.24/1450.58	c 1443s |      17 |   268475 |   222832 |   454808      0 |    14864 |    17558
1453.14/1453.49	c 1446s |      17 |   268823 |   223132 |   454808      0 |    14864 |    17558
1455.24/1455.57	c 1448s |      17 |   269060 |   223332 |   454808      0 |    14864 |    17558
1457.33/1457.64	c 1450s |      17 |   269300 |   223532 |   454808      0 |    14864 |    17558
1459.33/1459.65	c 1452s |      17 |   269549 |   223732 |   454808      0 |    14864 |    17558
1461.53/1461.82	c 1454s |      17 |   269781 |   223932 |   454808      0 |    14864 |    17558
1463.53/1463.82	c 1456s |      17 |   270007 |   224132 |   454808      0 |    14864 |    17558
1465.73/1466.07	c 1459s |      17 |   270229 |   224332 |   454808      0 |    14864 |    17558
1467.92/1468.23	c 1461s |      17 |   270450 |   224532 |   454808      0 |    14864 |    17558
1469.92/1470.27	c 1463s |      17 |   270683 |   224732 |   454808      0 |    14864 |    17558
1472.82/1473.10	c 1466s |      17 |   271030 |   225032 |   454808      0 |    14864 |    17558
1474.93/1475.24	c 1468s |      17 |   271271 |   225232 |   454808      0 |    14864 |    17558
1477.02/1477.37	c 1470s |      17 |   271538 |   225432 |   454808      0 |    14864 |    17558
1479.32/1479.62	c 1472s |      17 |   271772 |   225632 |   454808      0 |    14864 |    17558
1481.31/1481.68	c 1474s |      17 |   272015 |   225832 |   454808      0 |    14864 |    17558
1483.51/1483.90	c 1477s |      17 |   272245 |   226032 |   454808      0 |    14864 |    17558
1485.71/1486.03	c 1479s |      17 |   272485 |   226232 |   454808      0 |    14864 |    17558
1487.90/1488.30	c 1481s |      17 |   272721 |   226432 |   454808      0 |    14864 |    17558
1490.50/1490.88	c 1484s |      17 |   272965 |   226632 |   454808      0 |    14864 |    17558
1492.70/1493.09	c 1486s |      17 |   273198 |   226832 |   454808      0 |    14864 |    17558
1495.30/1495.70	c 1488s |      17 |   273434 |   227032 |   454808      0 |    14864 |    17558
1497.60/1497.94	c 1491s |      17 |   273645 |   227232 |   454808      0 |    14864 |    17558
1499.90/1500.24	c 1493s |      17 |   273891 |   227432 |   454808      0 |    14864 |    17558
1502.20/1502.60	c 1495s |      17 |   274126 |   227632 |   454808      0 |    14864 |    17558
1504.50/1504.86	c 1498s |      17 |   274344 |   227832 |   454808      0 |    14864 |    17558
1507.09/1507.42	c 1500s |      17 |   274566 |   228032 |   454808      0 |    14864 |    17558
1509.99/1510.38	c 1503s |      17 |   274779 |   228232 |   454808      0 |    14864 |    17558
1512.19/1512.56	c 1505s |      17 |   275009 |   228432 |   454808      0 |    14864 |    17558
1514.49/1514.84	c 1507s |      17 |   275244 |   228632 |   454808      0 |    14864 |    17558
1517.09/1517.49	c 1510s |      17 |   275483 |   228832 |   454808      0 |    14864 |    17558
1519.99/1520.36	c 1513s |      17 |   275700 |   229032 |   454808      0 |    14864 |    17558
1522.69/1523.08	c 1516s |      17 |   275934 |   229232 |   454808      0 |    14864 |    17558
1525.29/1525.66	c 1518s |      17 |   276158 |   229432 |   454808      0 |    14864 |    17558
1527.88/1528.28	c 1521s |      17 |   276380 |   229632 |   454808      0 |    14864 |    17558
1530.28/1530.68	c 1523s |      17 |   276603 |   229832 |   454808      0 |    14864 |    17558
1532.68/1533.03	c 1526s |      17 |   276849 |   230032 |   454808      0 |    14864 |    17558
1535.08/1535.41	c 1528s |      17 |   277083 |   230232 |   454808      0 |    14864 |    17558
1537.37/1537.79	c 1530s |      17 |   277322 |   230432 |   454808      0 |    14864 |    17558
1539.97/1540.36	c 1533s |      17 |   277563 |   230632 |   454808      0 |    14864 |    17558
1542.47/1542.89	c 1536s |      17 |   277802 |   230832 |   454808      0 |    14864 |    17558
1545.37/1545.75	c 1538s |      17 |   278031 |   231032 |   454808      0 |    14864 |    17558
1547.87/1548.28	c 1541s |      17 |   278274 |   231232 |   454808      0 |    14864 |    17558
1549.97/1550.37	c 1543s |      17 |   278516 |   231432 |   454808      0 |    14864 |    17558
1552.37/1552.71	c 1545s |      17 |   278760 |   231632 |   454808      0 |    14864 |    17558
1554.77/1555.13	c 1548s |      17 |   278982 |   231832 |   454808      0 |    14864 |    17558
1557.27/1557.65	c 1550s |      17 |   279228 |   232032 |   454808      0 |    14864 |    17558
1560.07/1560.40	c 1553s |      17 |   279457 |   232232 |   454808      0 |    14864 |    17558
1562.47/1562.80	c 1555s |      17 |   279714 |   232432 |   454808      0 |    14864 |    17558
1564.67/1565.08	c 1558s |      17 |   279950 |   232632 |   454808      0 |    14864 |    17558
1567.06/1567.50	c 1560s |      17 |   280188 |   232832 |   454808      0 |    14864 |    17558
1569.66/1570.03	c 1563s |      17 |   280433 |   233032 |   454808      0 |    14864 |    17558
1572.16/1572.52	c 1565s |      17 |   280662 |   233232 |   454808      0 |    14864 |    17558
1574.56/1574.96	c 1568s |      17 |   280891 |   233432 |   454808      0 |    14864 |    17558
1577.56/1577.98	c 1571s |      17 |   281121 |   233632 |   454808      0 |    14864 |    17558
1580.36/1580.72	c 1573s |      17 |   281360 |   233832 |   454808      0 |    14864 |    17558
1583.16/1583.50	c 1576s |      17 |   281604 |   234032 |   454808      0 |    14864 |    17558
1585.56/1585.90	c 1579s |      17 |   281841 |   234232 |   454808      0 |    14864 |    17558
1587.75/1588.13	c 1581s |      17 |   282071 |   234432 |   454808      0 |    14864 |    17558
1590.15/1590.59	c 1583s |      17 |   282347 |   234632 |   454808      0 |    14864 |    17558
1592.65/1593.07	c 1586s |      17 |   282579 |   234832 |   454808      0 |    14864 |    17558
1595.25/1595.65	c 1588s |      17 |   282829 |   235032 |   454808      0 |    14864 |    17558
1598.05/1598.44	c 1591s |      17 |   283070 |   235232 |   454808      0 |    14864 |    17558
1601.05/1601.42	c 1594s |      17 |   283440 |   235532 |   454808      0 |    14864 |    17558
1603.45/1603.86	c 1597s |      17 |   283675 |   235732 |   454808      0 |    14864 |    17558
1606.14/1606.51	c 1599s |      17 |   283919 |   235932 |   454808      0 |    14864 |    17558
1608.74/1609.15	c 1602s |      17 |   284169 |   236132 |   454808      0 |    14864 |    17558
1611.44/1611.87	c 1605s |      17 |   284381 |   236332 |   454808      0 |    14864 |    17558
1613.84/1614.23	c 1607s |      17 |   284627 |   236532 |   454808      0 |    14864 |    17558
1616.24/1616.66	c 1609s |      17 |   284859 |   236732 |   454808      0 |    14864 |    17558
1619.03/1619.44	c 1612s |      17 |   285079 |   236932 |   454808      0 |    14864 |    17558
1621.14/1621.56	c 1614s |      17 |   285328 |   237132 |   454808      0 |    14864 |    17558
1623.24/1623.68	c 1616s |      17 |   285579 |   237332 |   454808      0 |    14864 |    17558
1625.63/1626.06	c 1619s |      17 |   285811 |   237532 |   454808      0 |    14864 |    17558
1628.13/1628.51	c 1621s |      17 |   286038 |   237732 |   454808      0 |    14864 |    17558
1630.23/1630.61	c 1623s |      17 |   286288 |   237932 |   454808      0 |    14864 |    17558
1632.33/1632.77	c 1625s |      17 |   286505 |   238132 |   454808      0 |    14864 |    17558
1635.23/1635.69	c 1628s |      17 |   286736 |   238332 |   454808      0 |    14864 |    17558
1637.63/1638.09	c 1631s |      17 |   286971 |   238532 |   454808      0 |    14864 |    17558
1639.73/1640.10	c 1633s |      17 |   287224 |   238732 |   454808      0 |    14864 |    17558
1642.03/1642.48	c 1635s |      17 |   287471 |   238932 |   454808      0 |    14864 |    17558
1644.52/1644.95	c 1638s |      17 |   287703 |   239132 |   454808      0 |    14864 |    17558
1647.12/1647.50	c 1640s |      17 |   287922 |   239332 |   454808      0 |    14864 |    17558
1649.22/1649.69	c 1642s |      17 |   288163 |   239532 |   454808      0 |    14864 |    17558
1651.82/1652.21	c 1645s |      17 |   288379 |   239732 |   454808      0 |    14864 |    17558
1654.32/1654.74	c 1647s |      17 |   288607 |   239932 |   454808      0 |    14864 |    17558
1656.72/1657.16	c 1650s |      17 |   288827 |   240132 |   454808      0 |    14864 |    17558
1659.52/1659.99	c 1653s |      17 |   289048 |   240332 |   454808      0 |    14864 |    17558
1662.02/1662.41	c 1655s |      17 |   289274 |   240532 |   454808      0 |    14864 |    17558
1664.71/1665.15	c 1658s |      17 |   289502 |   240732 |   454808      0 |    14864 |    17558
1667.11/1667.52	c 1660s |      17 |   289736 |   240932 |   454808      0 |    14864 |    17558
1669.71/1670.19	c 1663s |      17 |   289949 |   241132 |   454808      0 |    14864 |    17558
1672.11/1672.51	c 1665s |      17 |   290166 |   241332 |   454808      0 |    14864 |    17558
1674.92/1675.33	c 1668s |      17 |   290411 |   241532 |   454808      0 |    14864 |    17558
1677.71/1678.16	c 1671s |      17 |   290637 |   241732 |   454808      0 |    14864 |    17558
1680.31/1680.79	c 1673s |      17 |   290872 |   241932 |   454808      0 |    14864 |    17558
1682.91/1683.30	c 1676s |      17 |   291101 |   242132 |   454808      0 |    14864 |    17558
1685.41/1685.86	c 1679s |      17 |   291334 |   242332 |   454808      0 |    14864 |    17558
1688.00/1688.43	c 1681s |      17 |   291578 |   242532 |   454808      0 |    14864 |    17558
1690.80/1691.22	c 1684s |      17 |   291809 |   242732 |   454808      0 |    14864 |    17558
1693.50/1693.92	c 1687s |      17 |   292042 |   242932 |   454808      0 |    14864 |    17558
1696.00/1696.48	c 1689s |      17 |   292272 |   243132 |   454808      0 |    14864 |    17558
1698.70/1699.15	c 1692s |      17 |   292498 |   243332 |   454808      0 |    14864 |    17558
1700.80/1701.23	c 1694s |      17 |   292732 |   243532 |   454808      0 |    14864 |    17558
1703.10/1703.59	c 1696s |      17 |   292985 |   243732 |   454808      0 |    14864 |    17558
1705.40/1705.86	c 1699s |      17 |   293207 |   243932 |   454808      0 |    14864 |    17558
1707.90/1708.39	c 1701s |      17 |   293431 |   244132 |   454808      0 |    14864 |    17558
1710.49/1710.95	c 1704s |      17 |   293662 |   244332 |   454808      0 |    14864 |    17558
1712.99/1713.40	c 1706s |      17 |   293897 |   244532 |   454808      0 |    14864 |    17558
1715.29/1715.75	c 1708s |      17 |   294144 |   244732 |   454808      0 |    14864 |    17558
1717.69/1718.14	c 1711s |      17 |   294388 |   244932 |   454808      0 |    14864 |    17558
1720.00/1720.42	c 1713s |      17 |   294668 |   245132 |   454808      0 |    14864 |    17558
1722.20/1722.69	c 1715s |      17 |   294920 |   245332 |   454808      0 |    14864 |    17558
1724.59/1725.02	c 1718s |      17 |   295148 |   245532 |   454808      0 |    14864 |    17558
1726.89/1727.32	c 1720s |      17 |   295381 |   245732 |   454808      0 |    14864 |    17558
1728.89/1729.37	c 1722s |      17 |   295645 |   245932 |   454808      0 |    14864 |    17558
1731.88/1732.34	c 1725s |      17 |   295994 |   246232 |   454808      0 |    14864 |    17558
1734.39/1734.81	c 1727s |      17 |   296228 |   246432 |   454808      0 |    14864 |    17558
1737.18/1737.64	c 1730s |      17 |   296441 |   246632 |   454808      0 |    14864 |    17558
1739.48/1739.99	c 1733s |      17 |   296667 |   246832 |   454808      0 |    14864 |    17558
1741.88/1742.35	c 1735s |      17 |   296911 |   247032 |   454808      0 |    14864 |    17558
1744.08/1744.58	c 1737s |      17 |   297161 |   247232 |   454808      0 |    14864 |    17558
1747.18/1747.67	c 1740s |      17 |   297493 |   247532 |   454808      0 |    14864 |    17558
1749.18/1749.69	c 1742s |      17 |   297728 |   247732 |   454808      0 |    14864 |    17558
1751.57/1752.04	c 1745s |      17 |   297946 |   247932 |   454808      0 |    14864 |    17558
1753.67/1754.18	c 1747s |      17 |   298185 |   248132 |   454808      0 |    14864 |    17558
1756.47/1756.97	c 1750s |      17 |   298525 |   248432 |   454808      0 |    14864 |    17558
1758.87/1759.31	c 1752s |      17 |   298756 |   248632 |   454808      0 |    14864 |    17558
1761.27/1761.75	c 1754s |      17 |   299002 |   248832 |   454808      0 |    14864 |    17558
1763.67/1764.18	c 1757s |      17 |   299225 |   249032 |   454808      0 |    14864 |    17558
1766.28/1766.75	c 1759s |      17 |   299456 |   249232 |   454808      0 |    14864 |    17558
1768.47/1768.93	c 1762s |      17 |   299688 |   249432 |   454808      0 |    14864 |    17558
1771.06/1771.53	c 1764s |      17 |   299911 |   249632 |   454808      0 |    14864 |    17558
1774.17/1774.63	c 1767s |      17 |   300147 |   249832 |   454808      0 |    14864 |    17558
1776.27/1776.78	c 1769s |      17 |   300405 |   250032 |   454808      0 |    14864 |    17558
1778.56/1779.06	c 1772s |      17 |   300647 |   250232 |   454808      0 |    14864 |    17558
1780.66/1781.16	c 1774s |      17 |   300879 |   250432 |   454808      0 |    14864 |    17558
1783.06/1783.53	c 1776s |      17 |   301104 |   250632 |   454808      0 |    14864 |    17558
1785.16/1785.65	c 1778s |      17 |   301342 |   250832 |   454808      0 |    14864 |    17558
1787.36/1787.82	c 1780s |      17 |   301570 |   251032 |   454808      0 |    14864 |    17558
1789.96/1790.42	c 1783s |      17 |   301797 |   251232 |   454808      0 |    14864 |    17558
1792.57/1793.07	c 1786s |      17 |   302015 |   251432 |   454808      0 |    14864 |    17558
1795.16/1795.62	c 1788s |      17 |   302253 |   251632 |   454808      0 |    14864 |    17558
1797.35/1797.81	c 1790s |      17 |   302500 |   251832 |   454808      0 |    14864 |    17558
1799.95/1800.44	c 1793s |      17 |   302723 |   252032 |   454808      0 |    14864 |    17558

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

pid=16371
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.74 1.94 1.96 2/179 16374
/proc/meminfo: memFree=29256456/32872528 swapFree=1286400/1433568
[pid=16374] ppid=16371 vsize=649660 CPUtime=0 cores=1,3,5,7
/proc/16374/stat : 16374 (toysat) R 16371 16374 16227 0 -1 4202496 2414 0 0 0 0 0 0 0 20 0 4 0 31197100 665251840 2264 33554432000 4194304 16246674 140736952849232 140736952848656 15002730 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16374/statm: 163183 2272 441 2943 0 160077 0
[pid=16374/tid=16375] ppid=16371 vsize=667068 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16375/stat : 16375 (toysat) S 16371 16374 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31197100 683077632 2332 33554432000 4194304 16246674 140736952849232 139913256217840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16374/tid=16376] ppid=16371 vsize=672188 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16376/stat : 16376 (toysat) S 16371 16374 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31197100 688320512 2350 33554432000 4194304 16246674 140736952849232 139913245727984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16374/tid=16377] ppid=16371 vsize=676284 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16377/stat : 16377 (toysat) S 16371 16374 16227 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31197100 692514816 2365 33554432000 4194304 16246674 140736952849232 139913235254448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 1.74 1.94 1.96 2/179 16374
/proc/meminfo: memFree=29256456/32872528 swapFree=1286400/1433568
[pid=16374] ppid=16371 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/16374/stat : 16374 (toysat) R 16371 16374 16227 0 -1 4202496 26639 0 0 0 5 4 0 0 20 0 4 0 31197100 1333334016 26428 33554432000 4194304 16246674 140736952849232 140736952848544 7369730 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16374/statm: 325521 26443 799 2943 0 322415 0
[pid=16374/tid=16375] ppid=16371 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16375/stat : 16375 (toysat) S 16371 16374 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31197100 1333334016 26454 33554432000 4194304 16246674 140736952849232 139913256217840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16374/tid=16376] ppid=16371 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16376/stat : 16376 (toysat) S 16371 16374 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31197100 1333334016 26465 33554432000 4194304 16246674 140736952849232 139913245727984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16374/tid=16377] ppid=16371 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16377/stat : 16377 (toysat) S 16371 16374 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31197100 1333334016 26475 33554432000 4194304 16246674 140736952849232 139913235254448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200537 s]
/proc/loadavg: 1.74 1.94 1.96 2/179 16374
/proc/meminfo: memFree=29256456/32872528 swapFree=1286400/1433568
[pid=16374] ppid=16371 vsize=1313348 CPUtime=0.18 cores=1,3,5,7
/proc/16374/stat : 16374 (toysat) R 16371 16374 16227 0 -1 4202496 45434 0 0 0 12 6 0 0 20 0 4 0 31197100 1344868352 45733 33554432000 4194304 16246674 140736952849232 140736952831992 7374549 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16374/statm: 328337 45733 799 2943 0 325231 0
[pid=16374/tid=16375] ppid=16371 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16375/stat : 16375 (toysat) S 16371 16374 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31197100 1344868352 45733 33554432000 4194304 16246674 140736952849232 139913256217840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16374/tid=16376] ppid=16371 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16376/stat : 16376 (toysat) S 16371 16374 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31197100 1344868352 45733 33554432000 4194304 16246674 140736952849232 139913245727984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16374/tid=16377] ppid=16371 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16377/stat : 16377 (toysat) S 16371 16374 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31197100 1344868352 45733 33554432000 4194304 16246674 140736952849232 139913235254448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300419 s]
/proc/loadavg: 1.74 1.94 1.96 2/179 16374
/proc/meminfo: memFree=29256456/32872528 swapFree=1286400/1433568
[pid=16374] ppid=16371 vsize=1313348 CPUtime=0.28 cores=1,3,5,7
/proc/16374/stat : 16374 (toysat) R 16371 16374 16227 0 -1 4202496 54491 0 0 0 21 7 0 0 20 0 4 0 31197100 1344868352 54790 33554432000 4194304 16246674 140736952849232 140736952847040 4220530 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16374/statm: 328337 54790 800 2943 0 325231 0
[pid=16374/tid=16375] ppid=16371 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16375/stat : 16375 (toysat) S 16371 16374 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31197100 1344868352 54790 33554432000 4194304 16246674 140736952849232 139913256217840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16374/tid=16376] ppid=16371 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16376/stat : 16376 (toysat) S 16371 16374 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31197100 1344868352 54790 33554432000 4194304 16246674 140736952849232 139913245727984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16374/tid=16377] ppid=16371 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16377/stat : 16377 (toysat) S 16371 16374 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31197100 1344868352 54790 33554432000 4194304 16246674 140736952849232 139913235254448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700413 s]
/proc/loadavg: 1.74 1.94 1.96 2/179 16374
/proc/meminfo: memFree=29256456/32872528 swapFree=1286400/1433568
[pid=16374] ppid=16371 vsize=1313348 CPUtime=0.68 cores=1,3,5,7
/proc/16374/stat : 16374 (toysat) R 16371 16374 16227 0 -1 4202496 66451 0 0 0 59 9 0 0 20 0 4 0 31197100 1344868352 66750 33554432000 4194304 16246674 140736952849232 140736952847040 7361381 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16374/statm: 328337 66750 801 2943 0 325231 0
[pid=16374/tid=16375] ppid=16371 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16375/stat : 16375 (toysat) S 16371 16374 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31197100 1344868352 66750 33554432000 4194304 16246674 140736952849232 139913256217840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16374/tid=16376] ppid=16371 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16376/stat : 16376 (toysat) S 16371 16374 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31197100 1344868352 66750 33554432000 4194304 16246674 140736952849232 139913245727984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16374/tid=16377] ppid=16371 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16377/stat : 16377 (toysat) S 16371 16374 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31197100 1344868352 66750 33554432000 4194304 16246674 140736952849232 139913235254448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 1.74 1.94 1.96 3/183 16378
/proc/meminfo: memFree=28958124/32872528 swapFree=1286400/1433568
[pid=16374] ppid=16371 vsize=1313348 CPUtime=1.48 cores=1,3,5,7
/proc/16374/stat : 16374 (toysat) R 16371 16374 16227 0 -1 4202496 80501 0 0 0 137 11 0 0 20 0 4 0 31197100 1344868352 80800 33554432000 4194304 16246674 140736952849232 140736952832224 5754924 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16374/statm: 328337 80800 808 2943 0 325231 0
[pid=16374/tid=16375] ppid=16371 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16375/stat : 16375 (toysat) S 16371 16374 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31197100 1344868352 80800 33554432000 4194304 16246674 140736952849232 139913256217840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16374/tid=16376] ppid=16371 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16376/stat : 16376 (toysat) S 16371 16374 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31197100 1344868352 80800 33554432000 4194304 16246674 140736952849232 139913245727984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16374/tid=16377] ppid=16371 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16377/stat : 16377 (toysat) S 16371 16374 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31197100 1344868352 80800 33554432000 4194304 16246674 140736952849232 139913235254448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1313348

[startup+3.10043 s]
/proc/loadavg: 1.76 1.94 1.96 3/183 16378
/proc/meminfo: memFree=28519280/32872528 swapFree=1286400/1433568
[pid=16374] ppid=16371 vsize=1340996 CPUtime=3.08 cores=1,3,5,7
/proc/16374/stat : 16374 (toysat) R 16371 16374 16227 0 -1 4202496 275869 0 0 0 267 41 0 0 20 0 4 0 31197100 1373179904 276168 33554432000 4194304 16246674 140736952849232 140736952831104 13763657 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16374/statm: 335249 276168 839 2943 0 332143 0
[pid=16374/tid=16375] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16375/stat : 16375 (toysat) S 16371 16374 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276168 33554432000 4194304 16246674 140736952849232 139913256217840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16374/tid=16376] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16376/stat : 16376 (toysat) S 16371 16374 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276168 33554432000 4194304 16246674 140736952849232 139913245727984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16374/tid=16377] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16377/stat : 16377 (toysat) S 16371 16374 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276168 33554432000 4194304 16246674 140736952849232 139913235254448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1340996

[startup+6.30044 s]
/proc/loadavg: 1.76 1.94 1.96 3/183 16378
/proc/meminfo: memFree=28152276/32872528 swapFree=1286400/1433568
[pid=16374] ppid=16371 vsize=1340996 CPUtime=6.28 cores=1,3,5,7
/proc/16374/stat : 16374 (toysat) R 16371 16374 16227 0 -1 4202496 275938 0 0 0 587 41 0 0 20 0 4 0 31197100 1373179904 276237 33554432000 4194304 16246674 140736952849232 140736952831104 12656213 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16374/statm: 335249 276237 903 2943 0 332143 0
[pid=16374/tid=16375] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16375/stat : 16375 (toysat) S 16371 16374 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276237 33554432000 4194304 16246674 140736952849232 139913256217840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16374/tid=16376] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16376/stat : 16376 (toysat) S 16371 16374 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276237 33554432000 4194304 16246674 140736952849232 139913245727984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16374/tid=16377] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16377/stat : 16377 (toysat) S 16371 16374 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276237 33554432000 4194304 16246674 140736952849232 139913235254448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1340996

[startup+12.7004 s]
/proc/loadavg: 1.80 1.94 1.96 3/182 16378
/proc/meminfo: memFree=28153608/32872528 swapFree=1286400/1433568
[pid=16374] ppid=16371 vsize=1340996 CPUtime=12.68 cores=1,3,5,7
/proc/16374/stat : 16374 (toysat) R 16371 16374 16227 0 -1 4202496 275952 0 0 0 1227 41 0 0 20 0 4 0 31197100 1373179904 276251 33554432000 4194304 16246674 140736952849232 140736952831104 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16374/statm: 335249 276251 915 2943 0 332143 0
[pid=16374/tid=16375] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16375/stat : 16375 (toysat) S 16371 16374 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276251 33554432000 4194304 16246674 140736952849232 139913256217840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16374/tid=16376] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16376/stat : 16376 (toysat) S 16371 16374 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276251 33554432000 4194304 16246674 140736952849232 139913245727984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16374/tid=16377] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16377/stat : 16377 (toysat) S 16371 16374 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276251 33554432000 4194304 16246674 140736952849232 139913235254448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1340996

[startup+25.5005 s]
/proc/loadavg: 1.83 1.94 1.96 3/182 16378
/proc/meminfo: memFree=28153932/32872528 swapFree=1286400/1433568
[pid=16374] ppid=16371 vsize=1340996 CPUtime=25.48 cores=1,3,5,7
/proc/16374/stat : 16374 (toysat) R 16371 16374 16227 0 -1 4202496 275952 0 0 0 2507 41 0 0 20 0 4 0 31197100 1373179904 276251 33554432000 4194304 16246674 140736952849232 140736952831104 13191666 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16374/statm: 335249 276251 915 2943 0 332143 0
[pid=16374/tid=16375] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16375/stat : 16375 (toysat) S 16371 16374 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276251 33554432000 4194304 16246674 140736952849232 139913256217840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16374/tid=16376] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16376/stat : 16376 (toysat) S 16371 16374 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276251 33554432000 4194304 16246674 140736952849232 139913245727984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16374/tid=16377] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16377/stat : 16377 (toysat) S 16371 16374 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276251 33554432000 4194304 16246674 140736952849232 139913235254448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1340996

[startup+51.1005 s]
/proc/loadavg: 1.95 1.96 1.97 4/182 16379
/proc/meminfo: memFree=28154180/32872528 swapFree=1286400/1433568
[pid=16374] ppid=16371 vsize=1340996 CPUtime=51.08 cores=1,3,5,7
/proc/16374/stat : 16374 (toysat) R 16371 16374 16227 0 -1 4202496 275957 0 0 0 5067 41 0 0 20 0 4 0 31197100 1373179904 276256 33554432000 4194304 16246674 140736952849232 140736952831104 6842840 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16374/statm: 335249 276256 919 2943 0 332143 0
[pid=16374/tid=16375] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16375/stat : 16375 (toysat) S 16371 16374 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276256 33554432000 4194304 16246674 140736952849232 139913256217840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16374/tid=16376] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16376/stat : 16376 (toysat) S 16371 16374 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276256 33554432000 4194304 16246674 140736952849232 139913245727984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16374/tid=16377] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16377/stat : 16377 (toysat) S 16371 16374 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276256 33554432000 4194304 16246674 140736952849232 139913235254448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1340996

[startup+102.301 s]
/proc/loadavg: 2.17 2.01 1.98 3/183 16381
/proc/meminfo: memFree=28153656/32872528 swapFree=1286400/1433568
[pid=16374] ppid=16371 vsize=1340996 CPUtime=102.27 cores=1,3,5,7
/proc/16374/stat : 16374 (toysat) R 16371 16374 16227 0 -1 4202496 275958 0 0 0 10186 41 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 140736952831104 6837238 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16374/statm: 335249 276257 919 2943 0 332143 0
[pid=16374/tid=16375] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16375/stat : 16375 (toysat) S 16371 16374 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913256217840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16374/tid=16376] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16376/stat : 16376 (toysat) S 16371 16374 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913245727984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16374/tid=16377] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16377/stat : 16377 (toysat) S 16371 16374 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913235254448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1340996


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

/proc/16374/task/16377/stat : 16377 (toysat) S 16371 16374 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913235254448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1340996

[startup+1362.3 s]
/proc/loadavg: 2.17 2.21 2.12 3/183 16412
/proc/meminfo: memFree=27868032/32872528 swapFree=1286400/1433568
[pid=16374] ppid=16371 vsize=1340996 CPUtime=1362.08 cores=1,3,5,7
/proc/16374/stat : 16374 (toysat) R 16371 16374 16227 0 -1 4202496 275958 0 0 0 136165 43 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 140736952831104 5823218 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16374/statm: 335249 276257 919 2943 0 332143 0
[pid=16374/tid=16375] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16375/stat : 16375 (toysat) S 16371 16374 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913256217840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16374/tid=16376] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16376/stat : 16376 (toysat) S 16371 16374 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913245727984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16374/tid=16377] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16377/stat : 16377 (toysat) S 16371 16374 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913235254448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1340996

[startup+1422.3 s]
/proc/loadavg: 2.11 2.18 2.12 3/183 16413
/proc/meminfo: memFree=27867060/32872528 swapFree=1286400/1433568
[pid=16374] ppid=16371 vsize=1340996 CPUtime=1422.07 cores=1,3,5,7
/proc/16374/stat : 16374 (toysat) R 16371 16374 16227 0 -1 4202496 275969 0 0 0 142164 43 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 140736952831104 5601651 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16374/statm: 335249 276257 919 2943 0 332143 0
[pid=16374/tid=16375] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16375/stat : 16375 (toysat) S 16371 16374 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913256217840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16374/tid=16376] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16376/stat : 16376 (toysat) S 16371 16374 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913245727984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16374/tid=16377] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16377/stat : 16377 (toysat) S 16371 16374 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913235254448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1340996

[startup+1482.3 s]
/proc/loadavg: 2.37 2.24 2.14 3/183 16414
/proc/meminfo: memFree=27867220/32872528 swapFree=1286400/1433568
[pid=16374] ppid=16371 vsize=1340996 CPUtime=1482.01 cores=1,3,5,7
/proc/16374/stat : 16374 (toysat) R 16371 16374 16227 0 -1 4202496 276017 0 0 0 148158 43 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 140736952831104 5677216 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16374/statm: 335249 276257 919 2943 0 332143 0
[pid=16374/tid=16375] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16375/stat : 16375 (toysat) S 16371 16374 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913256217840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16374/tid=16376] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16376/stat : 16376 (toysat) S 16371 16374 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913245727984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16374/tid=16377] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16377/stat : 16377 (toysat) S 16371 16374 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913235254448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 1340996

[startup+1542.31 s]
/proc/loadavg: 2.37 2.25 2.15 3/183 16415
/proc/meminfo: memFree=27646040/32872528 swapFree=1286400/1433568
[pid=16374] ppid=16371 vsize=1340996 CPUtime=1541.98 cores=1,3,5,7
/proc/16374/stat : 16374 (toysat) R 16371 16374 16227 0 -1 4202496 276062 0 0 0 154154 44 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 140736952831104 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16374/statm: 335249 276257 919 2943 0 332143 0
[pid=16374/tid=16375] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16375/stat : 16375 (toysat) S 16371 16374 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913256217840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16374/tid=16376] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16376/stat : 16376 (toysat) S 16371 16374 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913245727984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16374/tid=16377] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16377/stat : 16377 (toysat) S 16371 16374 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913235254448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1340996

[startup+1602.3 s]
/proc/loadavg: 2.23 2.24 2.15 4/183 16417
/proc/meminfo: memFree=27645708/32872528 swapFree=1286400/1433568
[pid=16374] ppid=16371 vsize=1340996 CPUtime=1601.95 cores=1,3,5,7
/proc/16374/stat : 16374 (toysat) R 16371 16374 16227 0 -1 4202496 276092 0 0 0 160151 44 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 140736952831104 5717660 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16374/statm: 335249 276257 919 2943 0 332143 0
[pid=16374/tid=16375] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16375/stat : 16375 (toysat) S 16371 16374 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913256217840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16374/tid=16376] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16376/stat : 16376 (toysat) S 16371 16374 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913245727984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16374/tid=16377] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16377/stat : 16377 (toysat) S 16371 16374 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913235254448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1340996

[startup+1662.3 s]
/proc/loadavg: 2.29 2.25 2.16 3/183 16418
/proc/meminfo: memFree=27645240/32872528 swapFree=1286400/1433568
[pid=16374] ppid=16371 vsize=1340996 CPUtime=1661.92 cores=1,3,5,7
/proc/16374/stat : 16374 (toysat) R 16371 16374 16227 0 -1 4202496 276122 0 0 0 166148 44 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 140736952831104 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16374/statm: 335249 276257 919 2943 0 332143 0
[pid=16374/tid=16375] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16375/stat : 16375 (toysat) S 16371 16374 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913256217840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16374/tid=16376] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16376/stat : 16376 (toysat) S 16371 16374 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913245727984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16374/tid=16377] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16377/stat : 16377 (toysat) S 16371 16374 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913235254448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1340996

[startup+1722.3 s]
/proc/loadavg: 2.42 2.30 2.18 3/184 16422
/proc/meminfo: memFree=27646128/32872528 swapFree=1286400/1433568
[pid=16374] ppid=16371 vsize=1340996 CPUtime=1721.89 cores=1,3,5,7
/proc/16374/stat : 16374 (toysat) R 16371 16374 16227 0 -1 4202496 276155 0 0 0 172145 44 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 140736952831104 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16374/statm: 335249 276257 919 2943 0 332143 0
[pid=16374/tid=16375] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16375/stat : 16375 (toysat) S 16371 16374 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913256217840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16374/tid=16376] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16376/stat : 16376 (toysat) S 16371 16374 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913245727984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16374/tid=16377] ppid=16371 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16377/stat : 16377 (toysat) S 16371 16374 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31197100 1373179904 276257 33554432000 4194304 16246674 140736952849232 139913235254448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1340996

[startup+1782.3 s]
/proc/loadavg: 2.25 2.28 2.18 4/183 16423
/proc/meminfo: memFree=27445280/32872528 swapFree=1286400/1433568
[pid=16374] ppid=16371 vsize=1376836 CPUtime=1781.86 cores=1,3,5,7
/proc/16374/stat : 16374 (toysat) R 16371 16374 16227 0 -1 4202496 285156 0 0 0 178140 46 0 0 20 0 4 0 31197100 1409880064 285217 33554432000 4194304 16246674 140736952849232 140736952831104 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16374/statm: 344209 285217 919 2943 0 341103 0
[pid=16374/tid=16375] ppid=16371 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16375/stat : 16375 (toysat) S 16371 16374 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31197100 1409880064 285217 33554432000 4194304 16246674 140736952849232 139913256217840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16374/tid=16376] ppid=16371 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16376/stat : 16376 (toysat) S 16371 16374 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31197100 1409880064 285217 33554432000 4194304 16246674 140736952849232 139913245727984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16374/tid=16377] ppid=16371 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16377/stat : 16377 (toysat) S 16371 16374 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31197100 1409880064 285217 33554432000 4194304 16246674 140736952849232 139913235254448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1376836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.27 2.28 2.18 4/183 16472
/proc/meminfo: memFree=28128992/32872528 swapFree=1286400/1433568
[pid=16374] ppid=16371 vsize=1376836 CPUtime=1800.05 cores=1,3,5,7
/proc/16374/stat : 16374 (toysat) R 16371 16374 16227 0 -1 4202496 285170 0 0 0 179959 46 0 0 20 0 4 0 31197100 1409880064 285217 33554432000 4194304 16246674 140736952849232 140736952831104 5823242 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16374/statm: 344209 285217 919 2943 0 341103 0
[pid=16374/tid=16375] ppid=16371 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16375/stat : 16375 (toysat) S 16371 16374 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31197100 1409880064 285217 33554432000 4194304 16246674 140736952849232 139913256217840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16374/tid=16376] ppid=16371 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16376/stat : 16376 (toysat) S 16371 16374 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31197100 1409880064 285217 33554432000 4194304 16246674 140736952849232 139913245727984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16374/tid=16377] ppid=16371 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16377/stat : 16377 (toysat) S 16371 16374 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31197100 1409880064 285217 33554432000 4194304 16246674 140736952849232 139913235254448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1376836

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

[startup+1800.5 s]
/proc/loadavg: 2.27 2.28 2.18 4/183 16472
/proc/meminfo: memFree=28128992/32872528 swapFree=1286400/1433568
[pid=16374] ppid=16371 vsize=1376836 CPUtime=1800.05 cores=1,3,5,7
/proc/16374/stat : 16374 (toysat) R 16371 16374 16227 0 -1 4202496 285170 0 0 0 179959 46 0 0 20 0 4 0 31197100 1409880064 285217 33554432000 4194304 16246674 140736952849232 140736952831104 5823242 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16374/statm: 344209 285217 919 2943 0 341103 0
[pid=16374/tid=16375] ppid=16371 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16375/stat : 16375 (toysat) S 16371 16374 16227 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31197100 1409880064 285217 33554432000 4194304 16246674 140736952849232 139913256217840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16374/tid=16376] ppid=16371 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16376/stat : 16376 (toysat) S 16371 16374 16227 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31197100 1409880064 285217 33554432000 4194304 16246674 140736952849232 139913245727984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16374/tid=16377] ppid=16371 vsize=1376836 CPUtime=0 cores=1,3,5,7
/proc/16374/task/16377/stat : 16377 (toysat) S 16371 16374 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31197100 1409880064 285217 33554432000 4194304 16246674 140736952849232 139913235254448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1376836

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.54
CPU time (s): 1800.09
CPU user time (s): 1799.6
CPU system time (s): 0.481926
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 1376836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.481926
maximum resident set size= 1140868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285170
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= 287
involuntary context switches= 1877

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.27405 second user time and 10.0035 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-19 01:11:43
IDJOB=4108533
IDBENCH=77546
IDSOLVER=2542
FILE ID=node130/4108533-1466291503
RUNJOBID= node130-1466291484-16244
PBS_JOBID= 19918279
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12019_5.std.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108533-1466291503/watcher-4108533-1466291503 -o /tmp/evaluation-result-4108533-1466291503/solver-4108533-1466291503 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466291484-16244 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108533-1466291503.opb

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

MD5SUM BENCH= fca2bf846c4de68f23f92649fc394136
RANDOM SEED=2131222864

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
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:        29256464 kB
Buffers:           70088 kB
Cached:           272380 kB
SwapCached:         1872 kB
Active:          1209796 kB
Inactive:         230848 kB
Active(anon):    1098336 kB
Inactive(anon):     2212 kB
Active(file):     111460 kB
Inactive(file):   228636 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67098744 kB
Dirty:             49620 kB
Writeback:             0 kB
AnonPages:       2531312 kB
Mapped:            10932 kB
Shmem:                 0 kB
Slab:             606128 kB
SReclaimable:      49176 kB
SUnreclaim:       556952 kB
KernelStack:        1456 kB
PageTables:         8916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2675968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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 node130 at 2016-06-19 01:41:44