Trace number 4108429

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.07 1800.63

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12019_2.std.opb
MD5SUM9033b116fa6917a1af0ec218f9c6d61f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark85
Best CPU time to get the best result obtained on this benchmark1800.11
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 constraints234215
Number of constraints which are clauses233015
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:07:10+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-4108429-1466291230.opb"]
0.00/0.01	c use --random-gen="125633479 1176534556 441727356 1029588054 1075364949 923498092 333773994 4213106517 3156376378 476048640 1428576073 4073896899 1592119921 3838812763 3971800429 3879063349 2706509304 3917808999 1029023348 1206747976 467343487 1320671038 2538438083 935624099 218600809 2844438213 605857143 977437852 2353102392 3028578198 2266461522 974592549 1726340444 3017784197 129608181 2231654996 2880701442 689291973 2940490176 3048493174 2389114813 2126245040 496301641 1684979677 3602505515 2760174843 2859985522 247021541 267091751 2446823534 503661896 1745361300 3919629924 2424202873 3031561493 1966663153 2791987963 1115713315 2508788437 2835140433 800704998 3081073896 1193767287 1808215443 4263227536 1455426462 701979420 1138581162 345690056 3284545967 4009134259 1476756306 2943554383 2035702465 1434867789 2293870776 699325132 1159000481 1262678914 2836227132 787886676 3139439652 1141487511 2296869867 3145387332 3128487429 360597166 272208391 366306688 3069848596 2535213925 399848718 2480453573 3064122437 687935813 2832784550 357458649 579277089 1692860152 1513334045 2844216579 2007440641 4220750047 3239545193 3659518901 889835373 4132610791 3190543968 2389313929 1419912624 3744732948 576088382 2520633740 1483728292 3234713082 3646445612 3251650653 535784884 1304949255 3839808599 801481254 2358894124 2939207806 3237980642 1535514706 669347685 2248905397 131543268 306203215 2504468529 372290249 2696820429 2122453992 481060069 2720748398 4281623183 2719380375 3455565443 3563918230 494545804 2782657786 1517730492 38597616 3198877435 1151349249 1419676290 1168156670 2849610420 3369964624 210600743 1305998625 3241218061 3255229845 3057677643 4246907439 3947804498 2422629078 2014481092 2790351094 1989467213 2789797856 2750405384 4187654725 1171301650 1791053117 2177257865 85278469 892263356 2070491 3267255335 3612667400 2825610656 3658265302 1195612719 2389248327 3138415747 3644291760 4060047171 1307257509 88605162 130944417 585324059 3761545649 3681678382 1451060578 2598216470 2709891260 1304686800 883983733 3998339546 779847892 1667085098 937681928 36714345 2761486581 2051228064 1045546940 3604730388 2811678614 3147539242 509174208 3464591130 4126431526 424154700 2644377742 4218884399 158497992 582685390 3809577752 3874681311 338774107 3977755014 1594106397 407170190 1402762816 2094851626 1970388322 535456984 2533116919 1982787376 1337369921 445615826 3313711634 258130362 1819589684 4131484495 1428213534 1862612314 573219306 463292077 2368734869 3633517685 610768756 4054408830 319682955 1875063333 2221482930 736094439 352954733 3470250328 4243481656 2593705250 88128253 327544708 4129598708 3837823633 690542073 2168718553 145792608 1028910365 791240996 2777369963 174332005 392440852 2416897356 3283815014 255 362436" option to reproduce the execution
1.38/1.46	c #vars 72842
1.38/1.46	c #constraints 234215
4.70/4.73	c BCD2: Hardening is enabled.
4.70/4.73	c BCD2: BiasedSearch is enabled.
4.70/4.73	c Solving starts ...
4.70/4.73	c ============================[ Search Statistics ]============================
4.70/4.73	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.70/4.73	c       |         |          |          |    Limit     GC | Var      | Constra 
4.70/4.73	c =============================================================================
4.80/4.80	c  0.0s |       0 |        0 |        0 |    90608      0 |    14126 |        0
4.99/5.07	c  0.3s |       0 |      122 |        0 |    90608      0 |    14126 |    17275
4.99/5.07	c #cpu_time = 0.233s
4.99/5.07	c #wall_clock_time = 0.233s
4.99/5.07	c #decision = 122
4.99/5.07	c #random_decision = 1
4.99/5.07	c #conflict = 0
4.99/5.07	c #restart = 0
4.99/5.07	o 300
4.99/5.07	c BCD2: hardening fixes 1 literals
4.99/5.07	c BCD2: updating upper bound: 45150 -> 299
4.99/5.07	c BCD2: 0 <= obj <= 299
4.99/5.07	c BCD2: #cores=0, #unrelaxed=299, #relaxed=0, #hardened=1
4.99/5.07	c BCD2: #sat=1 #unsat=1 bias=1/2
4.99/5.07	c Solving starts ...
4.99/5.07	c ============================[ Search Statistics ]============================
4.99/5.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.99/5.07	c       |         |          |          |    Limit     GC | Var      | Constra 
4.99/5.07	c =============================================================================
4.99/5.07	c  0.0s |       0 |        0 |        0 |    90608      0 |    14368 |    17275
5.29/5.31	c  0.2s |       0 |      218 |        0 |    90608      0 |    14368 |    18060
5.29/5.31	c #cpu_time = 0.212s
5.29/5.31	c #wall_clock_time = 0.212s
5.29/5.31	c #decision = 218
5.29/5.31	c #random_decision = 0
5.29/5.31	c #conflict = 0
5.29/5.31	c #restart = 0
5.29/5.31	c BCD2: found a new core of size 219: cost of the new core is >=81
5.29/5.31	c lower bound updated to 81
5.29/5.31	c BCD2: 81 <= obj <= 299
5.29/5.31	c BCD2: #cores=1, #unrelaxed=80, #relaxed=219, #hardened=1
5.29/5.31	c BCD2: #sat=1 #unsat=2 bias=2/3
6.90/6.95	c Solving starts ...
6.90/6.95	c ============================[ Search Statistics ]============================
6.90/6.95	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.90/6.95	c       |         |          |          |    Limit     GC | Var      | Constra 
6.90/6.95	c =============================================================================
6.90/6.95	c  0.0s |       0 |        0 |        0 |    90608      0 |    14368 |    18060
7.19/7.26	c  0.3s |       1 |      208 |      100 |    90608      0 |    14368 |    18060
7.69/7.73	c  0.8s |       2 |      445 |      250 |    99669      0 |    14368 |    18060
8.29/8.32	c  1.4s |       3 |      825 |      475 |   109636      0 |    14368 |    18060
8.89/8.95	c  2.0s |       4 |     1356 |      813 |   120600      0 |    14368 |    18060
9.89/9.97	c  3.0s |       5 |     2221 |     1320 |   132660      0 |    14368 |    18060
11.59/11.61	c  4.7s |       6 |     3226 |     2081 |   160519      0 |    14368 |    18060
13.69/13.73	c  6.8s |       6 |     4612 |     3081 |   160519      0 |    14368 |    18060
13.99/14.04	c  7.1s |       7 |     4821 |     3223 |   176571      0 |    14368 |    18060
16.09/16.14	c  9.2s |       7 |     5925 |     4023 |   176571      0 |    14368 |    18060
17.89/17.94	c 11.0s |       8 |     7105 |     4936 |   194229      0 |    14368 |    18060
19.99/20.05	c 13.1s |       8 |     8765 |     6036 |   194229      0 |    14368 |    18060
22.08/22.10	c 15.2s |       8 |    10228 |     7036 |   194229      0 |    14368 |    18060
23.18/23.23	c 16.3s |       9 |    10877 |     7506 |   213652      0 |    14368 |    18060
25.28/25.39	c 18.4s |       9 |    12124 |     8406 |   213652      0 |    14368 |    18060
27.58/27.60	c 20.7s |       9 |    13414 |     9406 |   213652      0 |    14368 |    18060
29.68/29.74	c 22.8s |       9 |    14574 |    10306 |   213652      0 |    14368 |    18060
31.78/31.84	c 24.9s |       9 |    15929 |    11306 |   235018      0 |    14368 |    18060
31.88/31.99	c 25.0s |      10 |    15999 |    11361 |   235018      0 |    14368 |    18060
33.98/34.04	c 27.1s |      10 |    17106 |    12161 |   235018      0 |    14368 |    18060
36.18/36.25	c 29.3s |      10 |    18362 |    13161 |   235018      0 |    14368 |    18060
38.38/38.43	c 31.5s |      10 |    19593 |    14161 |   235018      0 |    14368 |    18060
40.38/40.48	c 33.5s |      10 |    20709 |    15061 |   235018      0 |    14368 |    18060
42.58/42.65	c 35.7s |      10 |    21864 |    15961 |   235018      0 |    14368 |    18060
44.78/44.80	c 37.9s |      10 |    22950 |    16861 |   235018      0 |    14368 |    18060
45.49/45.53	c 38.6s |      11 |    23302 |    17144 |   258520      0 |    14368 |    18060
47.59/47.62	c 40.7s |      11 |    24159 |    17744 |   258520      0 |    14368 |    18060
49.58/49.62	c 42.7s |      11 |    25084 |    18444 |   258520      0 |    14368 |    18060
51.78/51.85	c 44.9s |      11 |    26104 |    19244 |   258520      0 |    14368 |    18060
53.78/53.85	c 46.9s |      11 |    27219 |    20044 |   258520      0 |    14368 |    18060
55.78/55.88	c 48.9s |      11 |    28140 |    20744 |   258520      0 |    14368 |    18060
57.88/57.96	c 51.0s |      11 |    28975 |    21444 |   258520      0 |    14368 |    18060
60.18/60.22	c 53.3s |      11 |    29906 |    22144 |   258520      0 |    14368 |    18060
62.18/62.29	c 55.3s |      11 |    30715 |    22744 |   258520      0 |    14368 |    18060
64.28/64.37	c 57.4s |      11 |    31586 |    23344 |   258520      0 |    14368 |    18060
66.48/66.55	c 59.6s |      11 |    32509 |    24044 |   258520      0 |    14368 |    18060
68.78/68.85	c 61.9s |      11 |    33338 |    24744 |   258520      0 |    14368 |    18060
70.88/70.97	c 64.0s |      11 |    34271 |    25444 |   258520      0 |    14368 |    18060
71.88/71.93	c 65.0s |      12 |    34868 |    25819 |   284372      0 |    14368 |    18060
74.18/74.21	c 67.3s |      12 |    35750 |    26419 |   284372      0 |    14368 |    18060
76.28/76.36	c 69.4s |      12 |    36803 |    27219 |   284372      0 |    14368 |    18060
78.48/78.51	c 71.6s |      12 |    37815 |    28019 |   284372      0 |    14368 |    18060
80.68/80.72	c 73.8s |      12 |    38857 |    28819 |   284372      0 |    14368 |    18060
82.88/82.90	c 76.0s |      12 |    39933 |    29619 |   284372      0 |    14368 |    18060
84.98/85.02	c 78.1s |      12 |    40906 |    30319 |   284372      0 |    14368 |    18060
87.07/87.13	c 80.2s |      12 |    41835 |    31019 |   284372      0 |    14368 |    18060
89.27/89.30	c 82.4s |      12 |    42548 |    31619 |   284372      0 |    14368 |    18060
91.47/91.57	c 84.6s |      12 |    43387 |    32319 |   284372      0 |    14368 |    18060
93.57/93.63	c 86.7s |      12 |    44165 |    32919 |   284372      0 |    14368 |    18060
95.77/95.83	c 88.9s |      12 |    45105 |    33619 |   284372      0 |    14368 |    18060
97.77/97.84	c 90.9s |      12 |    45890 |    34219 |   284372      0 |    14368 |    18060
99.87/99.95	c 93.0s |      12 |    46636 |    34819 |   284372      0 |    14368 |    18060
102.27/102.31	c 95.4s |      12 |    47333 |    35419 |   284372      0 |    14368 |    18060
104.37/104.42	c 97.5s |      12 |    48139 |    36019 |   284372      0 |    14368 |    18060
106.67/106.76	c 99.8s |      12 |    48973 |    36619 |   284372      0 |    14368 |    18060
108.77/108.86	c  101s |      12 |    49609 |    37119 |   284372      0 |    14368 |    18060
110.87/110.96	c  104s |      12 |    50359 |    37719 |   284372      0 |    14368 |    18060
112.97/113.07	c  106s |      12 |    51155 |    38319 |   284372      0 |    14368 |    18060
114.97/115.08	c  108s |      13 |    51839 |    38832 |   312810      0 |    14368 |    18060
117.27/117.32	c  110s |      13 |    52451 |    39232 |   312810      0 |    14368 |    18060
119.46/119.55	c  112s |      13 |    53184 |    39832 |   312810      0 |    14368 |    18060
121.66/121.71	c  114s |      13 |    54095 |    40532 |   312810      0 |    14368 |    18060
123.76/123.85	c  116s |      13 |    54959 |    41232 |   312810      0 |    14368 |    18060
125.96/126.06	c  119s |      13 |    55894 |    41932 |   312810      0 |    14368 |    18060
128.06/128.10	c  121s |      13 |    56657 |    42532 |   312810      0 |    14368 |    18060
130.07/130.15	c  123s |      13 |    57445 |    43132 |   312810      0 |    14368 |    18060
132.16/132.26	c  125s |      13 |    58147 |    43732 |   312810      0 |    14368 |    18060
134.26/134.31	c  127s |      13 |    58859 |    44332 |   312810      0 |    14368 |    18060
136.36/136.43	c  129s |      13 |    59622 |    44932 |   312810      0 |    14368 |    18060
138.56/138.64	c  131s |      13 |    60424 |    45532 |   312810      0 |    14368 |    18060
140.86/140.96	c  134s |      13 |    61384 |    46232 |   312810      0 |    14368 |    18060
142.96/143.00	c  136s |      13 |    62140 |    46832 |   312810      0 |    14368 |    18060
145.26/145.39	c  138s |      13 |    62897 |    47432 |   312810      0 |    14368 |    18060
147.36/147.40	c  140s |      13 |    63549 |    47932 |   312810      0 |    14368 |    18060
149.36/149.45	c  142s |      13 |    64133 |    48432 |   312810      0 |    14368 |    18060
151.56/151.65	c  144s |      13 |    64974 |    49032 |   312810      0 |    14368 |    18060
153.96/154.03	c  147s |      13 |    65727 |    49632 |   312810      0 |    14368 |    18060
156.26/156.33	c  149s |      13 |    66470 |    50232 |   312810      0 |    14368 |    18060
158.26/158.36	c  151s |      13 |    67336 |    50932 |   312810      0 |    14368 |    18060
160.46/160.51	c  153s |      13 |    68445 |    51832 |   312810      0 |    14368 |    18060
162.56/162.63	c  155s |      13 |    69396 |    52632 |   312810      0 |    14368 |    18060
164.56/164.67	c  157s |      13 |    70199 |    53332 |   312810      0 |    14368 |    18060
166.66/166.70	c  159s |      13 |    71030 |    54032 |   312810      0 |    14368 |    18060
168.86/168.91	c  161s |      13 |    71821 |    54732 |   312810      0 |    14368 |    18060
171.16/171.24	c  164s |      13 |    72631 |    55432 |   312810      0 |    14368 |    18060
173.26/173.33	c  166s |      13 |    73400 |    56032 |   312810      0 |    14368 |    18060
175.36/175.43	c  168s |      13 |    74148 |    56632 |   312810      0 |    14368 |    18060
177.66/177.74	c  170s |      13 |    74867 |    57232 |   312810      0 |    14368 |    18060
179.96/180.00	c  173s |      13 |    75570 |    57832 |   312810      0 |    14368 |    18060
181.86/181.98	c  175s |      14 |    76201 |    58352 |   344091      0 |    14368 |    18060
184.16/184.26	c  177s |      14 |    76736 |    58752 |   344091      0 |    14368 |    18060
186.36/186.46	c  179s |      14 |    77397 |    59252 |   344091      0 |    14368 |    18060
188.65/188.79	c  181s |      14 |    78197 |    59852 |   344091      0 |    14368 |    18060
191.05/191.10	c  184s |      14 |    79022 |    60452 |   344091      0 |    14368 |    18060
193.45/193.52	c  186s |      14 |    79820 |    61052 |   344091      0 |    14368 |    18060
195.65/195.71	c  188s |      14 |    80447 |    61552 |   344091      0 |    14368 |    18060
197.95/198.00	c  191s |      14 |    81274 |    62152 |   344091      0 |    14368 |    18060
200.05/200.13	c  193s |      14 |    81792 |    62552 |   344091      0 |    14368 |    18060
202.25/202.32	c  195s |      14 |    82372 |    63052 |   344091      0 |    14368 |    18060
204.55/204.60	c  197s |      14 |    83014 |    63552 |   344091      0 |    14368 |    18060
206.75/206.83	c  199s |      14 |    83666 |    64052 |   344091      0 |    14368 |    18060
209.05/209.12	c  202s |      14 |    84306 |    64552 |   344091      0 |    14368 |    18060
211.25/211.33	c  204s |      14 |    84980 |    65052 |   344091      0 |    14368 |    18060
213.55/213.63	c  206s |      14 |    85619 |    65552 |   344091      0 |    14368 |    18060
215.75/215.87	c  208s |      14 |    86270 |    66052 |   344091      0 |    14368 |    18060
218.25/218.39	c  211s |      14 |    86886 |    66552 |   344091      0 |    14368 |    18060
220.75/220.82	c  213s |      14 |    87689 |    67152 |   344091      0 |    14368 |    18060
223.05/223.14	c  216s |      14 |    88313 |    67652 |   344091      0 |    14368 |    18060
225.25/225.30	c  218s |      14 |    88975 |    68152 |   344091      0 |    14368 |    18060
227.65/227.71	c  220s |      14 |    89604 |    68652 |   344091      0 |    14368 |    18060
229.75/229.84	c  222s |      14 |    90242 |    69152 |   344091      0 |    14368 |    18060
231.85/231.92	c  224s |      14 |    90839 |    69652 |   344091      0 |    14368 |    18060
234.25/234.30	c  227s |      14 |    91458 |    70152 |   344091      0 |    14368 |    18060
236.35/236.46	c  229s |      14 |    92074 |    70652 |   344091      0 |    14368 |    18060
238.55/238.69	c  231s |      14 |    92667 |    71152 |   344091      0 |    14368 |    18060
240.65/240.76	c  233s |      14 |    93131 |    71552 |   344091      0 |    14368 |    18060
242.75/242.86	c  235s |      14 |    93608 |    71952 |   344091      0 |    14368 |    18060
244.74/244.86	c  237s |      14 |    94120 |    72352 |   344091      0 |    14368 |    18060
246.94/247.01	c  240s |      14 |    94581 |    72752 |   344091      0 |    14368 |    18060
249.34/249.48	c  242s |      14 |    95240 |    73252 |   344091      0 |    14368 |    18060
251.64/251.73	c  244s |      14 |    95724 |    73652 |   344091      0 |    14368 |    18060
254.15/254.24	c  247s |      14 |    96332 |    74152 |   344091      0 |    14368 |    18060
256.66/256.74	c  249s |      14 |    96944 |    74652 |   344091      0 |    14368 |    18060
258.65/258.79	c  251s |      14 |    97436 |    75052 |   344091      0 |    14368 |    18060
260.75/260.90	c  253s |      14 |    97928 |    75452 |   344091      0 |    14368 |    18060
263.16/263.28	c  256s |      14 |    98547 |    75952 |   344091      0 |    14368 |    18060
265.65/265.72	c  258s |      14 |    99143 |    76452 |   344091      0 |    14368 |    18060
268.05/268.18	c  261s |      14 |    99762 |    76952 |   344091      0 |    14368 |    18060
270.35/270.46	c  263s |      14 |   100372 |    77452 |   344091      0 |    14368 |    18060
272.85/272.93	c  265s |      14 |   101030 |    77952 |   344091      0 |    14368 |    18060
275.05/275.10	c  268s |      14 |   101541 |    78352 |   344091      0 |    14368 |    18060
277.35/277.47	c  270s |      14 |   102012 |    78752 |   344091      0 |    14368 |    18060
279.45/279.52	c  272s |      14 |   102486 |    79152 |   344091      0 |    14368 |    18060
281.65/281.73	c  274s |      14 |   102971 |    79552 |   344091      0 |    14368 |    18060
283.95/284.00	c  277s |      14 |   103477 |    79952 |   344091      0 |    14368 |    18060
286.25/286.40	c  279s |      14 |   103941 |    80352 |   344091      0 |    14368 |    18060
288.45/288.60	c  281s |      14 |   104413 |    80752 |   344091      0 |    14368 |    18060
290.95/291.02	c  284s |      14 |   104865 |    81152 |   344091      0 |    14368 |    18060
293.45/293.53	c  286s |      14 |   105460 |    81652 |   344091      0 |    14368 |    18060
295.65/295.78	c  288s |      14 |   105945 |    82052 |   344091      0 |    14368 |    18060
298.05/298.11	c  291s |      14 |   106433 |    82452 |   344091      0 |    14368 |    18060
300.35/300.45	c  293s |      14 |   106892 |    82852 |   344091      0 |    14368 |    18060
302.65/302.76	c  295s |      14 |   107407 |    83252 |   344091      0 |    14368 |    18060
304.95/305.09	c  298s |      14 |   107885 |    83652 |   344091      0 |    14368 |    18060
307.35/307.40	c  300s |      14 |   108373 |    84052 |   344091      0 |    14368 |    18060
309.45/309.58	c  302s |      14 |   108834 |    84452 |   344091      0 |    14368 |    18060
311.94/312.05	c  305s |      14 |   109291 |    84852 |   344091      0 |    14368 |    18060
314.34/314.49	c  307s |      14 |   109757 |    85252 |   344091      0 |    14368 |    18060
316.74/316.89	c  309s |      14 |   110270 |    85652 |   344091      0 |    14368 |    18060
319.14/319.22	c  312s |      14 |   110750 |    86052 |   344091      0 |    14368 |    18060
321.64/321.73	c  314s |      14 |   111210 |    86452 |   344091      0 |    14368 |    18060
323.94/324.00	c  317s |      14 |   111716 |    86852 |   344091      0 |    14368 |    18060
326.04/326.18	c  319s |      14 |   112193 |    87252 |   378501      0 |    14368 |    18060
328.15/328.25	c  321s |      15 |   112636 |    87632 |   378501      0 |    14368 |    18060
330.14/330.30	c  323s |      15 |   112947 |    87832 |   378501      0 |    14368 |    18060
332.55/332.66	c  325s |      15 |   113755 |    88432 |   378501      0 |    14368 |    18060
334.65/334.77	c  327s |      15 |   114387 |    88932 |   378501      0 |    14368 |    18060
336.74/336.89	c  329s |      15 |   115098 |    89432 |   378501      0 |    14368 |    18060
339.05/339.14	c  332s |      15 |   115697 |    89932 |   378501      0 |    14368 |    18060
341.14/341.28	c  334s |      15 |   116317 |    90432 |   378501      0 |    14368 |    18060
343.45/343.51	c  336s |      15 |   116950 |    90932 |   378501      0 |    14368 |    18060
345.54/345.64	c  338s |      15 |   117452 |    91332 |   378501      0 |    14368 |    18060
347.85/347.91	c  340s |      15 |   118045 |    91832 |   378501      0 |    14368 |    18060
349.94/350.04	c  343s |      15 |   118687 |    92332 |   378501      0 |    14368 |    18060
352.14/352.21	c  345s |      15 |   119320 |    92832 |   378501      0 |    14368 |    18060
354.24/354.36	c  347s |      15 |   119937 |    93332 |   378501      0 |    14368 |    18060
356.44/356.52	c  349s |      15 |   120580 |    93832 |   378501      0 |    14368 |    18060
358.44/358.56	c  351s |      15 |   121145 |    94332 |   378501      0 |    14368 |    18060
360.74/360.80	c  353s |      15 |   121719 |    94832 |   378501      0 |    14368 |    18060
362.93/363.09	c  356s |      15 |   122346 |    95332 |   378501      0 |    14368 |    18060
365.23/365.36	c  358s |      15 |   122983 |    95832 |   378501      0 |    14368 |    18060
367.33/367.42	c  360s |      15 |   123637 |    96332 |   378501      0 |    14368 |    18060
369.73/369.84	c  362s |      15 |   124271 |    96832 |   378501      0 |    14368 |    18060
372.04/372.10	c  365s |      15 |   124951 |    97332 |   378501      0 |    14368 |    18060
374.43/374.51	c  367s |      15 |   125573 |    97832 |   378501      0 |    14368 |    18060
376.73/376.83	c  369s |      15 |   126205 |    98332 |   378501      0 |    14368 |    18060
378.83/378.91	c  371s |      15 |   126824 |    98832 |   378501      0 |    14368 |    18060
381.23/381.30	c  374s |      15 |   127480 |    99332 |   378501      0 |    14368 |    18060
383.53/383.68	c  376s |      15 |   128130 |    99832 |   378501      0 |    14368 |    18060
386.13/386.23	c  379s |      15 |   128758 |   100332 |   378501      0 |    14368 |    18060
388.33/388.45	c  381s |      15 |   129268 |   100732 |   378501      0 |    14368 |    18060
390.93/391.02	c  384s |      15 |   129883 |   101232 |   378501      0 |    14368 |    18060
393.04/393.18	c  386s |      15 |   130536 |   101732 |   378501      0 |    14368 |    18060
395.33/395.48	c  388s |      15 |   131233 |   102232 |   378501      0 |    14368 |    18060
397.83/397.92	c  390s |      15 |   131872 |   102732 |   378501      0 |    14368 |    18060
400.03/400.10	c  393s |      15 |   132325 |   103132 |   378501      0 |    14368 |    18060
402.13/402.28	c  395s |      15 |   132796 |   103532 |   378501      0 |    14368 |    18060
404.33/404.49	c  397s |      15 |   133282 |   103932 |   378501      0 |    14368 |    18060
406.53/406.64	c  399s |      15 |   133802 |   104332 |   378501      0 |    14368 |    18060
408.73/408.82	c  401s |      15 |   134325 |   104732 |   378501      0 |    14368 |    18060
410.83/410.91	c  403s |      15 |   134850 |   105132 |   378501      0 |    14368 |    18060
413.03/413.11	c  406s |      15 |   135366 |   105532 |   378501      0 |    14368 |    18060
415.33/415.41	c  408s |      15 |   135872 |   105932 |   378501      0 |    14368 |    18060
417.73/417.81	c  410s |      15 |   136506 |   106432 |   378501      0 |    14368 |    18060
419.93/420.00	c  413s |      15 |   137033 |   106832 |   378501      0 |    14368 |    18060
422.13/422.22	c  415s |      15 |   137548 |   107232 |   378501      0 |    14368 |    18060
424.33/424.40	c  417s |      15 |   138051 |   107632 |   378501      0 |    14368 |    18060
426.53/426.66	c  419s |      15 |   138548 |   108032 |   378501      0 |    14368 |    18060
428.62/428.75	c  421s |      15 |   139042 |   108432 |   378501      0 |    14368 |    18060
431.02/431.15	c  424s |      15 |   139510 |   108832 |   378501      0 |    14368 |    18060
433.63/433.79	c  426s |      15 |   140006 |   109232 |   378501      0 |    14368 |    18060
435.72/435.86	c  428s |      15 |   140361 |   109532 |   378501      0 |    14368 |    18060
438.13/438.24	c  431s |      15 |   140879 |   109932 |   378501      0 |    14368 |    18060
440.42/440.59	c  433s |      15 |   141511 |   110432 |   378501      0 |    14368 |    18060
442.72/442.80	c  435s |      15 |   142146 |   110932 |   378501      0 |    14368 |    18060
444.73/444.84	c  437s |      15 |   142636 |   111332 |   378501      0 |    14368 |    18060
447.02/447.11	c  440s |      15 |   143262 |   111832 |   378501      0 |    14368 |    18060
449.03/449.13	c  442s |      15 |   143789 |   112232 |   378501      0 |    14368 |    18060
451.12/451.25	c  444s |      15 |   144307 |   112632 |   378501      0 |    14368 |    18060
453.32/453.42	c  446s |      15 |   144837 |   113032 |   378501      0 |    14368 |    18060
455.73/455.83	c  448s |      15 |   145503 |   113532 |   378501      0 |    14368 |    18060
457.83/457.90	c  450s |      15 |   146059 |   113932 |   378501      0 |    14368 |    18060
460.03/460.19	c  453s |      15 |   146573 |   114332 |   378501      0 |    14368 |    18060
462.42/462.59	c  455s |      15 |   147062 |   114732 |   378501      0 |    14368 |    18060
464.92/465.08	c  458s |      15 |   147729 |   115232 |   378501      0 |    14368 |    18060
467.12/467.22	c  460s |      15 |   148387 |   115732 |   378501      0 |    14368 |    18060
469.42/469.55	c  462s |      15 |   149063 |   116232 |   378501      0 |    14368 |    18060
471.82/471.97	c  465s |      15 |   149672 |   116732 |   378501      0 |    14368 |    18060
474.02/474.19	c  467s |      15 |   150171 |   117132 |   378501      0 |    14368 |    18060
476.32/476.45	c  469s |      15 |   150835 |   117632 |   378501      0 |    14368 |    18060
478.82/478.95	c  472s |      15 |   151511 |   118132 |   378501      0 |    14368 |    18060
480.92/481.04	c  474s |      15 |   151984 |   118532 |   378501      0 |    14368 |    18060
483.02/483.14	c  476s |      15 |   152517 |   118932 |   378501      0 |    14368 |    18060
485.22/485.37	c  478s |      15 |   153012 |   119332 |   378501      0 |    14368 |    18060
487.52/487.62	c  480s |      15 |   153512 |   119732 |   378501      0 |    14368 |    18060
489.61/489.80	c  482s |      15 |   153974 |   120132 |   378501      0 |    14368 |    18060
491.81/492.00	c  485s |      15 |   154494 |   120532 |   378501      0 |    14368 |    18060
493.91/494.07	c  487s |      15 |   154984 |   120932 |   378501      0 |    14368 |    18060
496.51/496.66	c  489s |      15 |   155463 |   121332 |   378501      0 |    14368 |    18060
499.01/499.10	c  492s |      15 |   155981 |   121732 |   378501      0 |    14368 |    18060
501.21/501.38	c  494s |      15 |   156437 |   122132 |   378501      0 |    14368 |    18060
503.61/503.78	c  496s |      15 |   156916 |   122532 |   378501      0 |    14368 |    18060
505.91/506.03	c  499s |      15 |   157382 |   122932 |   378501      0 |    14368 |    18060
508.42/508.59	c  501s |      15 |   158003 |   123432 |   378501      0 |    14368 |    18060
510.91/511.09	c  504s |      15 |   158702 |   123932 |   378501      0 |    14368 |    18060
513.31/513.49	c  506s |      15 |   159324 |   124432 |   378501      0 |    14368 |    18060
515.61/515.78	c  508s |      15 |   159874 |   124832 |   378501      0 |    14368 |    18060
517.91/518.10	c  511s |      15 |   160379 |   125232 |   378501      0 |    14368 |    18060
520.52/520.63	c  513s |      15 |   160970 |   125732 |   378501      0 |    14368 |    18060
522.72/522.87	c  515s |      15 |   161460 |   126132 |   378501      0 |    14368 |    18060
525.02/525.14	c  518s |      15 |   161930 |   126532 |   378501      0 |    14368 |    18060
527.22/527.31	c  520s |      15 |   162388 |   126932 |   378501      0 |    14368 |    18060
529.51/529.66	c  522s |      15 |   162881 |   127332 |   378501      0 |    14368 |    18060
531.91/532.03	c  525s |      15 |   163498 |   127832 |   378501      0 |    14368 |    18060
534.41/534.58	c  527s |      15 |   164200 |   128332 |   378501      0 |    14368 |    18060
536.81/536.95	c  530s |      15 |   164804 |   128832 |   378501      0 |    14368 |    18060
539.01/539.14	c  532s |      15 |   165332 |   129232 |   378501      0 |    14368 |    18060
541.01/541.15	c  534s |      15 |   165839 |   129632 |   378501      0 |    14368 |    18060
543.11/543.29	c  536s |      15 |   166326 |   130032 |   378501      0 |    14368 |    18060
545.41/545.51	c  538s |      15 |   166810 |   130432 |   378501      0 |    14368 |    18060
547.51/547.60	c  540s |      15 |   167293 |   130832 |   416352      0 |    14368 |    18060
549.51/549.62	c  542s |      15 |   167744 |   131232 |   416352      0 |    14368 |    18060
551.21/551.34	c  544s |      16 |   168109 |   131552 |   416352      0 |    14368 |    18060
553.51/553.69	c  546s |      16 |   168265 |   131652 |   416352      0 |    14368 |    18060
556.10/556.20	c  549s |      16 |   168753 |   132052 |   416352      0 |    14368 |    18060
558.10/558.24	c  551s |      16 |   169253 |   132452 |   416352      0 |    14368 |    18060
560.70/560.83	c  553s |      16 |   169910 |   132952 |   416352      0 |    14368 |    18060
563.20/563.37	c  556s |      16 |   170490 |   133452 |   416352      0 |    14368 |    18060
565.40/565.53	c  558s |      16 |   171049 |   133852 |   416352      0 |    14368 |    18060
567.50/567.65	c  560s |      16 |   171533 |   134252 |   416352      0 |    14368 |    18060
569.60/569.73	c  562s |      16 |   172042 |   134652 |   416352      0 |    14368 |    18060
571.70/571.80	c  564s |      16 |   172527 |   135052 |   416352      0 |    14368 |    18060
574.20/574.33	c  567s |      16 |   173158 |   135552 |   416352      0 |    14368 |    18060
576.50/576.63	c  569s |      16 |   173650 |   135952 |   416352      0 |    14368 |    18060
579.10/579.24	c  572s |      16 |   174115 |   136352 |   416352      0 |    14368 |    18060
581.20/581.35	c  574s |      16 |   174617 |   136752 |   416352      0 |    14368 |    18060
583.50/583.60	c  576s |      16 |   175098 |   137152 |   416352      0 |    14368 |    18060
585.80/585.97	c  579s |      16 |   175580 |   137552 |   416352      0 |    14368 |    18060
588.00/588.13	c  581s |      16 |   175958 |   137852 |   416352      0 |    14368 |    18060
590.50/590.61	c  583s |      16 |   176437 |   138252 |   416352      0 |    14368 |    18060
592.70/592.82	c  585s |      16 |   176791 |   138552 |   416352      0 |    14368 |    18060
595.10/595.28	c  588s |      16 |   177296 |   138952 |   416352      0 |    14368 |    18060
597.70/597.85	c  590s |      16 |   177763 |   139352 |   416352      0 |    14368 |    18060
599.90/600.08	c  593s |      16 |   178115 |   139652 |   416352      0 |    14368 |    18060
602.59/602.74	c  595s |      16 |   178608 |   140052 |   416352      0 |    14368 |    18060
604.79/604.92	c  597s |      16 |   178982 |   140352 |   416352      0 |    14368 |    18060
607.29/607.45	c  600s |      16 |   179464 |   140752 |   416352      0 |    14368 |    18060
609.70/609.89	c  602s |      16 |   179967 |   141152 |   416352      0 |    14368 |    18060
611.80/611.90	c  604s |      16 |   180289 |   141452 |   416352      0 |    14368 |    18060
614.29/614.42	c  607s |      16 |   180765 |   141852 |   416352      0 |    14368 |    18060
616.79/616.93	c  609s |      16 |   181258 |   142252 |   416352      0 |    14368 |    18060
618.79/618.93	c  611s |      16 |   181640 |   142552 |   416352      0 |    14368 |    18060
620.79/620.99	c  614s |      16 |   182008 |   142852 |   416352      0 |    14368 |    18060
622.90/623.05	c  616s |      16 |   182392 |   143152 |   416352      0 |    14368 |    18060
625.00/625.15	c  618s |      16 |   182762 |   143452 |   416352      0 |    14368 |    18060
627.59/627.74	c  620s |      16 |   183244 |   143852 |   416352      0 |    14368 |    18060
629.79/629.92	c  622s |      16 |   183640 |   144152 |   416352      0 |    14368 |    18060
631.99/632.19	c  625s |      16 |   184015 |   144452 |   416352      0 |    14368 |    18060
634.09/634.26	c  627s |      16 |   184402 |   144752 |   416352      0 |    14368 |    18060
636.49/636.66	c  629s |      16 |   184901 |   145152 |   416352      0 |    14368 |    18060
638.89/639.07	c  632s |      16 |   185383 |   145552 |   416352      0 |    14368 |    18060
641.29/641.47	c  634s |      16 |   185875 |   145952 |   416352      0 |    14368 |    18060
643.70/643.82	c  636s |      16 |   186358 |   146352 |   416352      0 |    14368 |    18060
646.29/646.49	c  639s |      16 |   186851 |   146752 |   416352      0 |    14368 |    18060
648.39/648.55	c  641s |      16 |   187199 |   147052 |   416352      0 |    14368 |    18060
650.39/650.57	c  643s |      16 |   187569 |   147352 |   416352      0 |    14368 |    18060
652.39/652.58	c  645s |      16 |   187923 |   147652 |   416352      0 |    14368 |    18060
654.89/655.08	c  648s |      16 |   188455 |   148052 |   416352      0 |    14368 |    18060
657.39/657.57	c  650s |      16 |   188979 |   148452 |   416352      0 |    14368 |    18060
660.08/660.27	c  653s |      16 |   189457 |   148852 |   416352      0 |    14368 |    18060
662.08/662.30	c  655s |      16 |   189817 |   149152 |   416352      0 |    14368 |    18060
664.28/664.40	c  657s |      16 |   190295 |   149552 |   416352      0 |    14368 |    18060
666.38/666.59	c  659s |      16 |   190807 |   149952 |   416352      0 |    14368 |    18060
668.48/668.67	c  661s |      16 |   191303 |   150352 |   416352      0 |    14368 |    18060
670.98/671.13	c  664s |      16 |   191754 |   150752 |   416352      0 |    14368 |    18060
672.98/673.13	c  666s |      16 |   192099 |   151052 |   416352      0 |    14368 |    18060
674.98/675.15	c  668s |      16 |   192491 |   151352 |   416352      0 |    14368 |    18060
677.38/677.53	c  670s |      16 |   192938 |   151752 |   416352      0 |    14368 |    18060
679.38/679.59	c  672s |      16 |   193278 |   152052 |   416352      0 |    14368 |    18060
681.58/681.73	c  674s |      16 |   193648 |   152352 |   416352      0 |    14368 |    18060
683.68/683.81	c  676s |      16 |   193997 |   152652 |   416352      0 |    14368 |    18060
686.18/686.32	c  679s |      16 |   194493 |   153052 |   416352      0 |    14368 |    18060
688.58/688.76	c  681s |      16 |   195008 |   153452 |   416352      0 |    14368 |    18060
691.18/691.38	c  684s |      16 |   195541 |   153852 |   416352      0 |    14368 |    18060
693.58/693.70	c  686s |      16 |   196015 |   154252 |   416352      0 |    14368 |    18060
695.58/695.70	c  688s |      16 |   196393 |   154552 |   416352      0 |    14368 |    18060
697.98/698.10	c  691s |      16 |   196912 |   154952 |   416352      0 |    14368 |    18060
700.28/700.47	c  693s |      16 |   197436 |   155352 |   416352      0 |    14368 |    18060
702.58/702.70	c  695s |      16 |   197957 |   155752 |   416352      0 |    14368 |    18060
704.78/704.97	c  698s |      16 |   198471 |   156152 |   416352      0 |    14368 |    18060
706.88/707.04	c  700s |      16 |   198995 |   156552 |   416352      0 |    14368 |    18060
709.08/709.29	c  702s |      16 |   199513 |   156952 |   416352      0 |    14368 |    18060
711.38/711.50	c  704s |      16 |   200072 |   157352 |   416352      0 |    14368 |    18060
713.88/714.01	c  707s |      16 |   200550 |   157752 |   416352      0 |    14368 |    18060
716.28/716.40	c  709s |      16 |   201025 |   158152 |   416352      0 |    14368 |    18060
718.28/718.41	c  711s |      16 |   201375 |   158452 |   416352      0 |    14368 |    18060
720.68/720.82	c  713s |      16 |   201903 |   158852 |   416352      0 |    14368 |    18060
723.18/723.36	c  716s |      16 |   202357 |   159252 |   416352      0 |    14368 |    18060
725.77/725.91	c  718s |      16 |   202861 |   159652 |   416352      0 |    14368 |    18060
728.17/728.36	c  721s |      16 |   203382 |   160052 |   416352      0 |    14368 |    18060
730.77/730.94	c  723s |      16 |   203862 |   160452 |   416352      0 |    14368 |    18060
733.27/733.48	c  726s |      16 |   204367 |   160852 |   416352      0 |    14368 |    18060
735.67/735.89	c  728s |      16 |   204835 |   161252 |   416352      0 |    14368 |    18060
738.17/738.38	c  731s |      16 |   205315 |   161652 |   416352      0 |    14368 |    18060
740.58/740.78	c  733s |      16 |   205797 |   162052 |   416352      0 |    14368 |    18060
743.17/743.31	c  736s |      16 |   206258 |   162452 |   416352      0 |    14368 |    18060
745.57/745.70	c  738s |      16 |   206768 |   162852 |   416352      0 |    14368 |    18060
748.07/748.29	c  741s |      16 |   207275 |   163252 |   416352      0 |    14368 |    18060
750.38/750.50	c  743s |      16 |   207617 |   163552 |   416352      0 |    14368 |    18060
752.37/752.57	c  745s |      16 |   207956 |   163852 |   416352      0 |    14368 |    18060
755.07/755.26	c  748s |      16 |   208437 |   164252 |   416352      0 |    14368 |    18060
757.57/757.74	c  750s |      16 |   208898 |   164652 |   416352      0 |    14368 |    18060
759.57/759.79	c  752s |      16 |   209271 |   164952 |   416352      0 |    14368 |    18060
761.67/761.88	c  754s |      16 |   209637 |   165252 |   416352      0 |    14368 |    18060
764.17/764.39	c  757s |      16 |   210117 |   165652 |   416352      0 |    14368 |    18060
766.57/766.71	c  759s |      16 |   210570 |   166052 |   416352      0 |    14368 |    18060
769.08/769.21	c  762s |      16 |   211076 |   166452 |   416352      0 |    14368 |    18060
771.27/771.42	c  764s |      16 |   211420 |   166752 |   416352      0 |    14368 |    18060
773.77/773.98	c  767s |      16 |   211801 |   167052 |   416352      0 |    14368 |    18060
776.07/776.28	c  769s |      16 |   212170 |   167352 |   416352      0 |    14368 |    18060
778.57/778.72	c  771s |      16 |   212547 |   167652 |   416352      0 |    14368 |    18060
780.97/781.14	c  774s |      16 |   212921 |   167952 |   416352      0 |    14368 |    18060
783.17/783.37	c  776s |      16 |   213331 |   168252 |   416352      0 |    14368 |    18060
785.77/785.97	c  779s |      16 |   213809 |   168652 |   416352      0 |    14368 |    18060
788.17/788.33	c  781s |      16 |   214187 |   168952 |   416352      0 |    14368 |    18060
790.66/790.86	c  783s |      16 |   214575 |   169252 |   416352      0 |    14368 |    18060
792.96/793.14	c  786s |      16 |   214925 |   169552 |   416352      0 |    14368 |    18060
795.26/795.41	c  788s |      16 |   215286 |   169852 |   416352      0 |    14368 |    18060
797.26/797.45	c  790s |      16 |   215634 |   170152 |   416352      0 |    14368 |    18060
799.36/799.59	c  792s |      16 |   215989 |   170452 |   416352      0 |    14368 |    18060
801.66/801.88	c  794s |      16 |   216388 |   170752 |   416352      0 |    14368 |    18060
804.16/804.36	c  797s |      16 |   216906 |   171152 |   416352      0 |    14368 |    18060
806.57/806.71	c  799s |      16 |   217299 |   171452 |   416352      0 |    14368 |    18060
808.77/808.91	c  801s |      16 |   217661 |   171752 |   416352      0 |    14368 |    18060
810.87/811.03	c  804s |      16 |   218045 |   172052 |   416352      0 |    14368 |    18060
812.96/813.18	c  806s |      16 |   218401 |   172352 |   416352      0 |    14368 |    18060
815.27/815.50	c  808s |      16 |   218749 |   172652 |   416352      0 |    14368 |    18060
817.76/817.99	c  811s |      16 |   219094 |   172952 |   416352      0 |    14368 |    18060
820.46/820.60	c  813s |      16 |   219486 |   173252 |   416352      0 |    14368 |    18060
822.76/822.92	c  815s |      16 |   219857 |   173552 |   416352      0 |    14368 |    18060
825.06/825.27	c  818s |      16 |   220226 |   173852 |   416352      0 |    14368 |    18060
827.26/827.44	c  820s |      16 |   220637 |   174152 |   416352      0 |    14368 |    18060
829.66/829.85	c  822s |      16 |   220992 |   174452 |   416352      0 |    14368 |    18060
831.86/832.08	c  825s |      16 |   221358 |   174752 |   416352      0 |    14368 |    18060
834.26/834.42	c  827s |      16 |   221704 |   175052 |   416352      0 |    14368 |    18060
836.66/836.83	c  829s |      16 |   222054 |   175352 |   416352      0 |    14368 |    18060
839.16/839.38	c  832s |      16 |   222395 |   175652 |   416352      0 |    14368 |    18060
841.46/841.68	c  834s |      16 |   222757 |   175952 |   416352      0 |    14368 |    18060
843.96/844.19	c  837s |      16 |   223106 |   176252 |   416352      0 |    14368 |    18060
846.55/846.75	c  839s |      16 |   223450 |   176552 |   416352      0 |    14368 |    18060
849.15/849.37	c  842s |      16 |   223786 |   176852 |   416352      0 |    14368 |    18060
851.56/851.78	c  844s |      16 |   224123 |   177152 |   416352      0 |    14368 |    18060
854.05/854.21	c  847s |      16 |   224455 |   177452 |   416352      0 |    14368 |    18060
856.45/856.67	c  849s |      16 |   224840 |   177752 |   416352      0 |    14368 |    18060
858.85/859.06	c  852s |      16 |   225204 |   178052 |   416352      0 |    14368 |    18060
861.46/861.65	c  854s |      16 |   225528 |   178352 |   416352      0 |    14368 |    18060
863.76/863.92	c  856s |      16 |   225887 |   178652 |   416352      0 |    14368 |    18060
865.86/866.08	c  859s |      16 |   226251 |   178952 |   416352      0 |    14368 |    18060
867.85/868.09	c  861s |      16 |   226613 |   179252 |   416352      0 |    14368 |    18060
870.05/870.27	c  863s |      16 |   226966 |   179552 |   416352      0 |    14368 |    18060
872.56/872.74	c  865s |      16 |   227329 |   179852 |   416352      0 |    14368 |    18060
874.85/875.05	c  868s |      16 |   227698 |   180152 |   416352      0 |    14368 |    18060
877.55/877.74	c  870s |      16 |   228060 |   180452 |   416352      0 |    14368 |    18060
879.85/880.05	c  873s |      16 |   228418 |   180752 |   416352      0 |    14368 |    18060
882.45/882.63	c  875s |      16 |   228759 |   181052 |   416352      0 |    14368 |    18060
885.25/885.43	c  878s |      16 |   229093 |   181352 |   416352      0 |    14368 |    18060
887.75/887.99	c  881s |      16 |   229436 |   181652 |   416352      0 |    14368 |    18060
890.05/890.28	c  883s |      16 |   229779 |   181952 |   416352      0 |    14368 |    18060
892.45/892.61	c  885s |      16 |   230168 |   182252 |   416352      0 |    14368 |    18060
894.65/894.86	c  887s |      16 |   230521 |   182552 |   416352      0 |    14368 |    18060
897.35/897.55	c  890s |      16 |   230880 |   182852 |   416352      0 |    14368 |    18060
900.25/900.46	c  893s |      16 |   231239 |   183152 |   416352      0 |    14368 |    18060
903.04/903.24	c  896s |      16 |   231607 |   183452 |   416352      0 |    14368 |    18060
905.84/906.03	c  899s |      16 |   231986 |   183752 |   416352      0 |    14368 |    18060
907.85/908.07	c  901s |      16 |   232231 |   183952 |   416352      0 |    14368 |    18060
910.64/910.85	c  903s |      16 |   232612 |   184252 |   416352      0 |    14368 |    18060
912.84/913.05	c  906s |      16 |   232854 |   184452 |   416352      0 |    14368 |    18060
915.54/915.77	c  908s |      16 |   233229 |   184752 |   416352      0 |    14368 |    18060
918.34/918.54	c  911s |      16 |   233588 |   185052 |   416352      0 |    14368 |    18060
920.95/921.10	c  914s |      16 |   233925 |   185352 |   416352      0 |    14368 |    18060
923.74/923.92	c  916s |      16 |   234300 |   185652 |   416352      0 |    14368 |    18060
926.54/926.79	c  919s |      16 |   234656 |   185952 |   416352      0 |    14368 |    18060
929.65/929.83	c  922s |      16 |   235002 |   186252 |   416352      0 |    14368 |    18060
932.34/932.51	c  925s |      16 |   235346 |   186552 |   416352      0 |    14368 |    18060
934.54/934.79	c  927s |      16 |   235591 |   186752 |   416352      0 |    14368 |    18060
937.54/937.71	c  930s |      16 |   235945 |   187052 |   416352      0 |    14368 |    18060
940.34/940.56	c  933s |      16 |   236307 |   187352 |   416352      0 |    14368 |    18060
942.54/942.72	c  935s |      16 |   236559 |   187552 |   416352      0 |    14368 |    18060
944.64/944.81	c  937s |      16 |   236776 |   187752 |   416352      0 |    14368 |    18060
947.54/947.79	c  940s |      16 |   237118 |   188052 |   416352      0 |    14368 |    18060
950.54/950.75	c  943s |      16 |   237479 |   188352 |   416352      0 |    14368 |    18060
953.34/953.57	c  946s |      16 |   237815 |   188652 |   416352      0 |    14368 |    18060
956.04/956.21	c  949s |      16 |   238179 |   188952 |   416352      0 |    14368 |    18060
959.04/959.23	c  952s |      16 |   238527 |   189252 |   416352      0 |    14368 |    18060
961.94/962.16	c  955s |      16 |   238872 |   189552 |   416352      0 |    14368 |    18060
964.14/964.34	c  957s |      16 |   239103 |   189752 |   416352      0 |    14368 |    18060
966.24/966.43	c  959s |      16 |   239332 |   189952 |   416352      0 |    14368 |    18060
968.24/968.47	c  961s |      16 |   239550 |   190152 |   416352      0 |    14368 |    18060
971.03/971.22	c  964s |      16 |   239920 |   190452 |   416352      0 |    14368 |    18060
974.03/974.20	c  967s |      16 |   240264 |   190752 |   416352      0 |    14368 |    18060
976.13/976.31	c  969s |      16 |   240491 |   190952 |   416352      0 |    14368 |    18060
978.93/979.17	c  972s |      16 |   240854 |   191252 |   416352      0 |    14368 |    18060
981.44/981.66	c  974s |      16 |   241196 |   191552 |   416352      0 |    14368 |    18060
984.13/984.37	c  977s |      16 |   241535 |   191852 |   416352      0 |    14368 |    18060
986.84/987.06	c  980s |      16 |   241942 |   192152 |   416352      0 |    14368 |    18060
989.23/989.45	c  982s |      16 |   242318 |   192452 |   416352      0 |    14368 |    18060
991.73/991.90	c  984s |      16 |   242677 |   192752 |   416352      0 |    14368 |    18060
994.23/994.47	c  987s |      16 |   243090 |   193052 |   416352      0 |    14368 |    18060
996.84/997.03	c  990s |      16 |   243447 |   193352 |   416352      0 |    14368 |    18060
999.43/999.64	c  992s |      16 |   243817 |   193652 |   416352      0 |    14368 |    18060
1001.93/1002.14	c  995s |      16 |   244190 |   193952 |   416352      0 |    14368 |    18060
1004.54/1004.76	c  997s |      16 |   244542 |   194252 |   416352      0 |    14368 |    18060
1007.43/1007.60	c 1000s |      16 |   244887 |   194552 |   416352      0 |    14368 |    18060
1010.13/1010.30	c 1003s |      16 |   245230 |   194852 |   416352      0 |    14368 |    18060
1012.43/1012.62	c 1005s |      16 |   245449 |   195052 |   416352      0 |    14368 |    18060
1014.44/1014.65	c 1007s |      16 |   245699 |   195252 |   416352      0 |    14368 |    18060
1017.24/1017.41	c 1010s |      16 |   246051 |   195552 |   416352      0 |    14368 |    18060
1019.94/1020.16	c 1013s |      16 |   246390 |   195852 |   416352      0 |    14368 |    18060
1021.93/1022.18	c 1015s |      16 |   246608 |   196052 |   416352      0 |    14368 |    18060
1024.13/1024.32	c 1017s |      16 |   246828 |   196252 |   457988      0 |    14368 |    18060
1026.93/1027.17	c 1020s |      16 |   247202 |   196552 |   457988      0 |    14368 |    18060
1029.63/1029.81	c 1022s |      16 |   247554 |   196852 |   457988      0 |    14368 |    18060
1032.23/1032.42	c 1025s |      16 |   247911 |   197152 |   457988      0 |    14368 |    18060
1035.03/1035.23	c 1028s |      17 |   248266 |   197432 |   457988      0 |    14368 |    18060
1038.43/1038.61	c 1031s |      17 |   248462 |   197532 |   457988      0 |    14368 |    18060
1040.63/1040.84	c 1033s |      17 |   248894 |   197832 |   457988      0 |    14368 |    18060
1042.94/1043.12	c 1036s |      17 |   249323 |   198132 |   457988      0 |    14368 |    18060
1045.24/1045.43	c 1038s |      17 |   249745 |   198432 |   457988      0 |    14368 |    18060
1047.23/1047.45	c 1040s |      17 |   250146 |   198732 |   457988      0 |    14368 |    18060
1049.33/1049.50	c 1042s |      17 |   250540 |   199032 |   457988      0 |    14368 |    18060
1051.43/1051.69	c 1044s |      17 |   250968 |   199332 |   457988      0 |    14368 |    18060
1053.43/1053.69	c 1046s |      17 |   251341 |   199632 |   457988      0 |    14368 |    18060
1056.03/1056.20	c 1049s |      17 |   251858 |   200032 |   457988      0 |    14368 |    18060
1058.53/1058.70	c 1051s |      17 |   252329 |   200432 |   457988      0 |    14368 |    18060
1060.53/1060.74	c 1053s |      17 |   252701 |   200732 |   457988      0 |    14368 |    18060
1063.03/1063.23	c 1056s |      17 |   253244 |   201132 |   457988      0 |    14368 |    18060
1065.43/1065.68	c 1058s |      17 |   253746 |   201532 |   457988      0 |    14368 |    18060
1067.63/1067.81	c 1060s |      17 |   254093 |   201832 |   457988      0 |    14368 |    18060
1069.93/1070.14	c 1063s |      17 |   254471 |   202132 |   457988      0 |    14368 |    18060
1072.43/1072.65	c 1065s |      17 |   254837 |   202432 |   457988      0 |    14368 |    18060
1074.63/1074.84	c 1067s |      17 |   255205 |   202732 |   457988      0 |    14368 |    18060
1076.63/1076.85	c 1069s |      17 |   255537 |   203032 |   457988      0 |    14368 |    18060
1078.73/1078.98	c 1072s |      17 |   255915 |   203332 |   457988      0 |    14368 |    18060
1081.02/1081.28	c 1074s |      17 |   256281 |   203632 |   457988      0 |    14368 |    18060
1083.32/1083.50	c 1076s |      17 |   256689 |   203932 |   457988      0 |    14368 |    18060
1085.72/1085.96	c 1079s |      17 |   257064 |   204232 |   457988      0 |    14368 |    18060
1088.32/1088.52	c 1081s |      17 |   257437 |   204532 |   457988      0 |    14368 |    18060
1090.92/1091.11	c 1084s |      17 |   257815 |   204832 |   457988      0 |    14368 |    18060
1093.22/1093.47	c 1086s |      17 |   258212 |   205132 |   457988      0 |    14368 |    18060
1095.32/1095.58	c 1088s |      17 |   258620 |   205432 |   457988      0 |    14368 |    18060
1097.62/1097.82	c 1090s |      17 |   259010 |   205732 |   457988      0 |    14368 |    18060
1100.42/1100.64	c 1093s |      17 |   259506 |   206132 |   457988      0 |    14368 |    18060
1102.92/1103.17	c 1096s |      17 |   260009 |   206532 |   457988      0 |    14368 |    18060
1105.42/1105.65	c 1098s |      17 |   260518 |   206932 |   457988      0 |    14368 |    18060
1108.02/1108.28	c 1101s |      17 |   260993 |   207332 |   457988      0 |    14368 |    18060
1110.13/1110.35	c 1103s |      17 |   261381 |   207632 |   457988      0 |    14368 |    18060
1112.32/1112.51	c 1105s |      17 |   261776 |   207932 |   457988      0 |    14368 |    18060
1114.42/1114.70	c 1107s |      17 |   262184 |   208232 |   457988      0 |    14368 |    18060
1116.72/1116.99	c 1110s |      17 |   262568 |   208532 |   457988      0 |    14368 |    18060
1119.22/1119.43	c 1112s |      17 |   262925 |   208832 |   457988      0 |    14368 |    18060
1121.81/1122.07	c 1115s |      17 |   263284 |   209132 |   457988      0 |    14368 |    18060
1124.01/1124.28	c 1117s |      17 |   263658 |   209432 |   457988      0 |    14368 |    18060
1126.81/1127.08	c 1120s |      17 |   264036 |   209732 |   457988      0 |    14368 |    18060
1129.01/1129.30	c 1122s |      17 |   264282 |   209932 |   457988      0 |    14368 |    18060
1131.31/1131.52	c 1124s |      17 |   264699 |   210232 |   457988      0 |    14368 |    18060
1133.41/1133.67	c 1126s |      17 |   265124 |   210532 |   457988      0 |    14368 |    18060
1135.61/1135.83	c 1128s |      17 |   265494 |   210832 |   457988      0 |    14368 |    18060
1137.71/1137.93	c 1130s |      17 |   265875 |   211132 |   457988      0 |    14368 |    18060
1140.20/1140.44	c 1133s |      17 |   266289 |   211432 |   457988      0 |    14368 |    18060
1142.80/1143.04	c 1136s |      17 |   266631 |   211732 |   457988      0 |    14368 |    18060
1145.10/1145.31	c 1138s |      17 |   267009 |   212032 |   457988      0 |    14368 |    18060
1147.20/1147.40	c 1140s |      17 |   267380 |   212332 |   457988      0 |    14368 |    18060
1149.50/1149.75	c 1142s |      17 |   267741 |   212632 |   457988      0 |    14368 |    18060
1151.99/1152.23	c 1145s |      17 |   268124 |   212932 |   457988      0 |    14368 |    18060
1154.49/1154.78	c 1147s |      17 |   268510 |   213232 |   457988      0 |    14368 |    18060
1156.69/1156.99	c 1150s |      17 |   268877 |   213532 |   457988      0 |    14368 |    18060
1158.99/1159.22	c 1152s |      17 |   269244 |   213832 |   457988      0 |    14368 |    18060
1161.08/1161.30	c 1154s |      17 |   269596 |   214132 |   457988      0 |    14368 |    18060
1163.08/1163.35	c 1156s |      17 |   269956 |   214432 |   457988      0 |    14368 |    18060
1165.18/1165.42	c 1158s |      17 |   270354 |   214732 |   457988      0 |    14368 |    18060
1167.19/1167.43	c 1160s |      17 |   270693 |   215032 |   457988      0 |    14368 |    18060
1169.18/1169.46	c 1162s |      17 |   271092 |   215332 |   457988      0 |    14368 |    18060
1171.18/1171.48	c 1164s |      17 |   271499 |   215632 |   457988      0 |    14368 |    18060
1173.28/1173.58	c 1166s |      17 |   271833 |   215932 |   457988      0 |    14368 |    18060
1175.38/1175.62	c 1168s |      17 |   272252 |   216232 |   457988      0 |    14368 |    18060
1177.97/1178.23	c 1171s |      17 |   272743 |   216632 |   457988      0 |    14368 |    18060
1180.07/1180.32	c 1173s |      17 |   273136 |   216932 |   457988      0 |    14368 |    18060
1182.37/1182.65	c 1175s |      17 |   273537 |   217232 |   457988      0 |    14368 |    18060
1184.37/1184.70	c 1177s |      17 |   273921 |   217532 |   457988      0 |    14368 |    18060
1186.77/1187.01	c 1180s |      17 |   274290 |   217832 |   457988      0 |    14368 |    18060
1188.87/1189.14	c 1182s |      17 |   274669 |   218132 |   457988      0 |    14368 |    18060
1191.16/1191.45	c 1184s |      17 |   275013 |   218432 |   457988      0 |    14368 |    18060
1193.26/1193.56	c 1186s |      17 |   275383 |   218732 |   457988      0 |    14368 |    18060
1195.36/1195.68	c 1188s |      17 |   275784 |   219032 |   457988      0 |    14368 |    18060
1197.46/1197.73	c 1190s |      17 |   276149 |   219332 |   457988      0 |    14368 |    18060
1200.06/1200.31	c 1193s |      17 |   276494 |   219632 |   457988      0 |    14368 |    18060
1202.46/1202.74	c 1195s |      17 |   276859 |   219932 |   457988      0 |    14368 |    18060
1204.76/1205.07	c 1198s |      17 |   277234 |   220232 |   457988      0 |    14368 |    18060
1207.15/1207.40	c 1200s |      17 |   277597 |   220532 |   457988      0 |    14368 |    18060
1209.45/1209.79	c 1202s |      17 |   277946 |   220832 |   457988      0 |    14368 |    18060
1212.05/1212.36	c 1205s |      17 |   278309 |   221132 |   457988      0 |    14368 |    18060
1214.65/1214.93	c 1207s |      17 |   278644 |   221432 |   457988      0 |    14368 |    18060
1217.15/1217.47	c 1210s |      17 |   278995 |   221732 |   457988      0 |    14368 |    18060
1219.65/1219.96	c 1213s |      17 |   279384 |   222032 |   457988      0 |    14368 |    18060
1222.04/1222.39	c 1215s |      17 |   279755 |   222332 |   457988      0 |    14368 |    18060
1224.35/1224.62	c 1217s |      17 |   280156 |   222632 |   457988      0 |    14368 |    18060
1226.34/1226.66	c 1219s |      17 |   280570 |   222932 |   457988      0 |    14368 |    18060
1228.85/1229.19	c 1222s |      17 |   280922 |   223232 |   457988      0 |    14368 |    18060
1231.14/1231.46	c 1224s |      17 |   281264 |   223532 |   457988      0 |    14368 |    18060
1233.54/1233.83	c 1226s |      17 |   281639 |   223832 |   457988      0 |    14368 |    18060
1235.74/1236.02	c 1229s |      17 |   282005 |   224132 |   457988      0 |    14368 |    18060
1237.94/1238.24	c 1231s |      17 |   282369 |   224432 |   457988      0 |    14368 |    18060
1240.24/1240.59	c 1233s |      17 |   282772 |   224732 |   457988      0 |    14368 |    18060
1242.63/1242.91	c 1235s |      17 |   283117 |   225032 |   457988      0 |    14368 |    18060
1245.13/1245.49	c 1238s |      17 |   283500 |   225332 |   457988      0 |    14368 |    18060
1247.23/1247.51	c 1240s |      17 |   283862 |   225632 |   457988      0 |    14368 |    18060
1249.64/1249.99	c 1243s |      17 |   284245 |   225932 |   457988      0 |    14368 |    18060
1252.42/1252.75	c 1245s |      17 |   284617 |   226232 |   457988      0 |    14368 |    18060
1255.02/1255.38	c 1248s |      17 |   284981 |   226532 |   457988      0 |    14368 |    18060
1257.52/1257.86	c 1250s |      17 |   285366 |   226832 |   457988      0 |    14368 |    18060
1260.12/1260.41	c 1253s |      17 |   285786 |   227132 |   457988      0 |    14368 |    18060
1262.62/1262.93	c 1255s |      17 |   286137 |   227432 |   457988      0 |    14368 |    18060
1265.42/1265.73	c 1258s |      17 |   286480 |   227732 |   457988      0 |    14368 |    18060
1268.02/1268.39	c 1261s |      17 |   286844 |   228032 |   457988      0 |    14368 |    18060
1270.62/1270.97	c 1264s |      17 |   287183 |   228332 |   457988      0 |    14368 |    18060
1273.21/1273.50	c 1266s |      17 |   287557 |   228632 |   457988      0 |    14368 |    18060
1275.91/1276.21	c 1269s |      17 |   287923 |   228932 |   457988      0 |    14368 |    18060
1278.51/1278.80	c 1271s |      17 |   288282 |   229232 |   457988      0 |    14368 |    18060
1281.20/1281.59	c 1274s |      17 |   288636 |   229532 |   457988      0 |    14368 |    18060
1283.71/1284.02	c 1277s |      17 |   288979 |   229832 |   457988      0 |    14368 |    18060
1286.50/1286.84	c 1279s |      17 |   289335 |   230132 |   457988      0 |    14368 |    18060
1289.10/1289.50	c 1282s |      17 |   289707 |   230432 |   457988      0 |    14368 |    18060
1291.79/1292.14	c 1285s |      17 |   290048 |   230732 |   457988      0 |    14368 |    18060
1294.29/1294.60	c 1287s |      17 |   290393 |   231032 |   457988      0 |    14368 |    18060
1297.00/1297.32	c 1290s |      17 |   290749 |   231332 |   457988      0 |    14368 |    18060
1299.79/1300.17	c 1293s |      17 |   291095 |   231632 |   457988      0 |    14368 |    18060
1302.40/1302.72	c 1295s |      17 |   291469 |   231932 |   457988      0 |    14368 |    18060
1304.99/1305.33	c 1298s |      17 |   291858 |   232232 |   457988      0 |    14368 |    18060
1307.39/1307.77	c 1300s |      17 |   292192 |   232532 |   457988      0 |    14368 |    18060
1309.79/1310.13	c 1303s |      17 |   292545 |   232832 |   457988      0 |    14368 |    18060
1312.58/1312.92	c 1305s |      17 |   292890 |   233132 |   457988      0 |    14368 |    18060
1315.38/1315.78	c 1308s |      17 |   293256 |   233432 |   457988      0 |    14368 |    18060
1318.08/1318.42	c 1311s |      17 |   293619 |   233732 |   457988      0 |    14368 |    18060
1320.88/1321.23	c 1314s |      17 |   293975 |   234032 |   457988      0 |    14368 |    18060
1323.38/1323.78	c 1316s |      17 |   294339 |   234332 |   457988      0 |    14368 |    18060
1326.18/1326.60	c 1319s |      17 |   294693 |   234632 |   457988      0 |    14368 |    18060
1328.38/1328.71	c 1321s |      17 |   294917 |   234832 |   457988      0 |    14368 |    18060
1331.17/1331.54	c 1324s |      17 |   295304 |   235132 |   457988      0 |    14368 |    18060
1333.57/1333.90	c 1326s |      17 |   295693 |   235432 |   457988      0 |    14368 |    18060
1336.07/1336.48	c 1329s |      17 |   296062 |   235732 |   457988      0 |    14368 |    18060
1338.97/1339.31	c 1332s |      17 |   296446 |   236032 |   457988      0 |    14368 |    18060
1341.76/1342.19	c 1335s |      17 |   296828 |   236332 |   457988      0 |    14368 |    18060
1344.56/1344.93	c 1337s |      17 |   297203 |   236632 |   457988      0 |    14368 |    18060
1347.36/1347.80	c 1340s |      17 |   297588 |   236932 |   457988      0 |    14368 |    18060
1350.26/1350.65	c 1343s |      17 |   297932 |   237232 |   457988      0 |    14368 |    18060
1353.16/1353.50	c 1346s |      17 |   298285 |   237532 |   457988      0 |    14368 |    18060
1355.96/1356.32	c 1349s |      17 |   298712 |   237832 |   457988      0 |    14368 |    18060
1357.96/1358.33	c 1351s |      17 |   298950 |   238032 |   457988      0 |    14368 |    18060
1360.95/1361.30	c 1354s |      17 |   299301 |   238332 |   457988      0 |    14368 |    18060
1363.85/1364.22	c 1357s |      17 |   299644 |   238632 |   457988      0 |    14368 |    18060
1366.45/1366.87	c 1359s |      17 |   300043 |   238932 |   457988      0 |    14368 |    18060
1369.15/1369.51	c 1362s |      17 |   300423 |   239232 |   457988      0 |    14368 |    18060
1371.25/1371.69	c 1364s |      17 |   300770 |   239532 |   457988      0 |    14368 |    18060
1373.35/1373.70	c 1366s |      17 |   301032 |   239732 |   457988      0 |    14368 |    18060
1375.35/1375.73	c 1368s |      17 |   301278 |   239932 |   457988      0 |    14368 |    18060
1377.35/1377.77	c 1370s |      17 |   301544 |   240132 |   457988      0 |    14368 |    18060
1380.25/1380.67	c 1373s |      17 |   301911 |   240432 |   457988      0 |    14368 |    18060
1383.04/1383.48	c 1376s |      17 |   302268 |   240732 |   457988      0 |    14368 |    18060
1385.74/1386.14	c 1379s |      17 |   302648 |   241032 |   457988      0 |    14368 |    18060
1388.25/1388.63	c 1381s |      17 |   303006 |   241332 |   457988      0 |    14368 |    18060
1390.74/1391.15	c 1384s |      17 |   303408 |   241632 |   457988      0 |    14368 |    18060
1393.44/1393.80	c 1386s |      17 |   303824 |   241932 |   457988      0 |    14368 |    18060
1396.04/1396.47	c 1389s |      17 |   304182 |   242232 |   457988      0 |    14368 |    18060
1398.63/1399.04	c 1392s |      17 |   304588 |   242532 |   457988      0 |    14368 |    18060
1401.13/1401.59	c 1394s |      17 |   304963 |   242832 |   457988      0 |    14368 |    18060
1403.83/1404.24	c 1397s |      17 |   305324 |   243132 |   457988      0 |    14368 |    18060
1406.53/1406.98	c 1400s |      17 |   305659 |   243432 |   457988      0 |    14368 |    18060
1409.53/1409.98	c 1403s |      17 |   306038 |   243732 |   457988      0 |    14368 |    18060
1411.52/1411.99	c 1405s |      17 |   306289 |   243932 |   457988      0 |    14368 |    18060
1414.63/1415.06	c 1408s |      17 |   306662 |   244232 |   457988      0 |    14368 |    18060
1417.42/1417.85	c 1410s |      17 |   307034 |   244532 |   457988      0 |    14368 |    18060
1420.42/1420.89	c 1413s |      17 |   307391 |   244832 |   457988      0 |    14368 |    18060
1423.33/1423.76	c 1416s |      17 |   307756 |   245132 |   457988      0 |    14368 |    18060
1425.42/1425.85	c 1418s |      17 |   308011 |   245332 |   457988      0 |    14368 |    18060
1427.52/1427.95	c 1421s |      17 |   308267 |   245532 |   457988      0 |    14368 |    18060
1429.72/1430.10	c 1423s |      17 |   308498 |   245732 |   457988      0 |    14368 |    18060
1431.91/1432.32	c 1425s |      17 |   308727 |   245932 |   457988      0 |    14368 |    18060
1433.91/1434.36	c 1427s |      17 |   308963 |   246132 |   457988      0 |    14368 |    18060
1436.01/1436.42	c 1429s |      17 |   309182 |   246332 |   457988      0 |    14368 |    18060
1438.11/1438.54	c 1431s |      17 |   309422 |   246532 |   457988      0 |    14368 |    18060
1440.31/1440.76	c 1433s |      17 |   309671 |   246732 |   457988      0 |    14368 |    18060
1442.51/1442.94	c 1435s |      17 |   309920 |   246932 |   457988      0 |    14368 |    18060
1444.61/1445.09	c 1438s |      17 |   310162 |   247132 |   457988      0 |    14368 |    18060
1446.71/1447.19	c 1440s |      17 |   310393 |   247332 |   457988      0 |    14368 |    18060
1449.00/1449.41	c 1442s |      17 |   310634 |   247532 |   457988      0 |    14368 |    18060
1451.00/1451.48	c 1444s |      17 |   310889 |   247732 |   457988      0 |    14368 |    18060
1453.20/1453.62	c 1446s |      17 |   311132 |   247932 |   457988      0 |    14368 |    18060
1456.10/1456.54	c 1449s |      17 |   311530 |   248232 |   457988      0 |    14368 |    18060
1458.10/1458.59	c 1451s |      17 |   311780 |   248432 |   457988      0 |    14368 |    18060
1460.20/1460.67	c 1453s |      17 |   312024 |   248632 |   457988      0 |    14368 |    18060
1462.29/1462.78	c 1455s |      17 |   312278 |   248832 |   457988      0 |    14368 |    18060
1465.40/1465.88	c 1458s |      17 |   312660 |   249132 |   457988      0 |    14368 |    18060
1467.69/1468.13	c 1461s |      17 |   312928 |   249332 |   457988      0 |    14368 |    18060
1469.69/1470.19	c 1463s |      17 |   313198 |   249532 |   457988      0 |    14368 |    18060
1471.80/1472.21	c 1465s |      17 |   313452 |   249732 |   457988      0 |    14368 |    18060
1474.69/1475.17	c 1468s |      17 |   313850 |   250032 |   457988      0 |    14368 |    18060
1476.89/1477.37	c 1470s |      17 |   314084 |   250232 |   457988      0 |    14368 |    18060
1479.09/1479.57	c 1472s |      17 |   314346 |   250432 |   457988      0 |    14368 |    18060
1481.18/1481.62	c 1474s |      17 |   314595 |   250632 |   457988      0 |    14368 |    18060
1483.38/1483.84	c 1476s |      17 |   314848 |   250832 |   457988      0 |    14368 |    18060
1485.58/1486.01	c 1479s |      17 |   315083 |   251032 |   457988      0 |    14368 |    18060
1487.98/1488.43	c 1481s |      17 |   315326 |   251232 |   457988      0 |    14368 |    18060
1490.18/1490.69	c 1483s |      17 |   315601 |   251432 |   457988      0 |    14368 |    18060
1493.18/1493.61	c 1486s |      17 |   315989 |   251732 |   457988      0 |    14368 |    18060
1495.28/1495.76	c 1488s |      17 |   316244 |   251932 |   457988      0 |    14368 |    18060
1497.38/1497.88	c 1490s |      17 |   316509 |   252132 |   457988      0 |    14368 |    18060
1499.38/1499.89	c 1492s |      17 |   316783 |   252332 |   457988      0 |    14368 |    18060
1501.67/1502.11	c 1495s |      17 |   317038 |   252532 |   457988      0 |    14368 |    18060
1503.68/1504.11	c 1497s |      17 |   317305 |   252732 |   457988      0 |    14368 |    18060
1505.78/1506.30	c 1499s |      17 |   317553 |   252932 |   457988      0 |    14368 |    18060
1507.98/1508.48	c 1501s |      17 |   317784 |   253132 |   457988      0 |    14368 |    18060
1510.87/1511.38	c 1504s |      17 |   318167 |   253432 |   457988      0 |    14368 |    18060
1513.17/1513.62	c 1506s |      17 |   318399 |   253632 |   457988      0 |    14368 |    18060
1515.36/1515.80	c 1508s |      17 |   318637 |   253832 |   457988      0 |    14368 |    18060
1517.37/1517.83	c 1510s |      17 |   318906 |   254032 |   457988      0 |    14368 |    18060
1519.67/1520.10	c 1513s |      17 |   319165 |   254232 |   457988      0 |    14368 |    18060
1521.87/1522.31	c 1515s |      17 |   319408 |   254432 |   457988      0 |    14368 |    18060
1524.27/1524.70	c 1517s |      17 |   319653 |   254632 |   457988      0 |    14368 |    18060
1526.37/1526.87	c 1519s |      17 |   319921 |   254832 |   457988      0 |    14368 |    18060
1528.47/1528.97	c 1522s |      17 |   320165 |   255032 |   457988      0 |    14368 |    18060
1530.67/1531.10	c 1524s |      17 |   320424 |   255232 |   457988      0 |    14368 |    18060
1532.96/1533.45	c 1526s |      17 |   320686 |   255432 |   457988      0 |    14368 |    18060
1535.36/1535.80	c 1528s |      17 |   320915 |   255632 |   457988      0 |    14368 |    18060
1537.67/1538.15	c 1531s |      17 |   321137 |   255832 |   457988      0 |    14368 |    18060
1539.76/1540.28	c 1533s |      17 |   321385 |   256032 |   457988      0 |    14368 |    18060
1541.96/1542.42	c 1535s |      17 |   321648 |   256232 |   457988      0 |    14368 |    18060
1544.16/1544.69	c 1537s |      17 |   321881 |   256432 |   457988      0 |    14368 |    18060
1546.46/1546.91	c 1539s |      17 |   322136 |   256632 |   457988      0 |    14368 |    18060
1548.86/1549.31	c 1542s |      17 |   322367 |   256832 |   457988      0 |    14368 |    18060
1551.15/1551.65	c 1544s |      17 |   322588 |   257032 |   457988      0 |    14368 |    18060
1554.26/1554.76	c 1547s |      17 |   322939 |   257332 |   457988      0 |    14368 |    18060
1556.65/1557.13	c 1550s |      17 |   323187 |   257532 |   457988      0 |    14368 |    18060
1559.05/1559.51	c 1552s |      17 |   323412 |   257732 |   457988      0 |    14368 |    18060
1561.35/1561.86	c 1554s |      17 |   323683 |   257932 |   457988      0 |    14368 |    18060
1563.65/1564.16	c 1557s |      17 |   323941 |   258132 |   457988      0 |    14368 |    18060
1566.15/1566.68	c 1559s |      17 |   324192 |   258332 |   457988      0 |    14368 |    18060
1568.85/1569.30	c 1562s |      17 |   324426 |   258532 |   457988      0 |    14368 |    18060
1571.15/1571.68	c 1564s |      17 |   324676 |   258732 |   457988      0 |    14368 |    18060
1573.75/1574.21	c 1567s |      17 |   324916 |   258932 |   457988      0 |    14368 |    18060
1576.25/1576.72	c 1569s |      17 |   325176 |   259132 |   457988      0 |    14368 |    18060
1578.35/1578.82	c 1571s |      17 |   325438 |   259332 |   457988      0 |    14368 |    18060
1580.75/1581.28	c 1574s |      17 |   325667 |   259532 |   457988      0 |    14368 |    18060
1583.04/1583.56	c 1576s |      17 |   325966 |   259732 |   457988      0 |    14368 |    18060
1585.64/1586.11	c 1579s |      17 |   326194 |   259932 |   457988      0 |    14368 |    18060
1587.94/1588.46	c 1581s |      17 |   326422 |   260132 |   457988      0 |    14368 |    18060
1590.34/1590.89	c 1583s |      17 |   326635 |   260332 |   457988      0 |    14368 |    18060
1592.83/1593.38	c 1586s |      17 |   326863 |   260532 |   457988      0 |    14368 |    18060
1595.23/1595.78	c 1588s |      17 |   327097 |   260732 |   457988      0 |    14368 |    18060
1597.53/1598.07	c 1591s |      17 |   327316 |   260932 |   457988      0 |    14368 |    18060
1600.13/1600.65	c 1593s |      17 |   327566 |   261132 |   457988      0 |    14368 |    18060
1602.83/1603.39	c 1596s |      17 |   327815 |   261332 |   457988      0 |    14368 |    18060
1605.23/1605.73	c 1598s |      17 |   328050 |   261532 |   457988      0 |    14368 |    18060
1607.73/1608.21	c 1601s |      17 |   328305 |   261732 |   457988      0 |    14368 |    18060
1610.03/1610.58	c 1603s |      17 |   328558 |   261932 |   457988      0 |    14368 |    18060
1612.83/1613.35	c 1606s |      17 |   328802 |   262132 |   457988      0 |    14368 |    18060
1615.33/1615.85	c 1608s |      17 |   329048 |   262332 |   457988      0 |    14368 |    18060
1617.63/1618.17	c 1611s |      17 |   329315 |   262532 |   457988      0 |    14368 |    18060
1620.42/1620.91	c 1613s |      17 |   329531 |   262732 |   457988      0 |    14368 |    18060
1622.62/1623.15	c 1616s |      17 |   329776 |   262932 |   457988      0 |    14368 |    18060
1625.02/1625.50	c 1618s |      17 |   330010 |   263132 |   457988      0 |    14368 |    18060
1627.42/1627.95	c 1621s |      17 |   330257 |   263332 |   457988      0 |    14368 |    18060
1629.82/1630.32	c 1623s |      17 |   330493 |   263532 |   457988      0 |    14368 |    18060
1632.22/1632.73	c 1625s |      17 |   330721 |   263732 |   457988      0 |    14368 |    18060
1634.52/1635.02	c 1628s |      17 |   330969 |   263932 |   457988      0 |    14368 |    18060
1637.01/1637.50	c 1630s |      17 |   331202 |   264132 |   457988      0 |    14368 |    18060
1639.31/1639.81	c 1632s |      17 |   331442 |   264332 |   457988      0 |    14368 |    18060
1641.71/1642.27	c 1635s |      17 |   331676 |   264532 |   457988      0 |    14368 |    18060
1644.31/1644.88	c 1637s |      17 |   331882 |   264732 |   457988      0 |    14368 |    18060
1646.71/1647.20	c 1640s |      17 |   332113 |   264932 |   457988      0 |    14368 |    18060
1649.31/1649.84	c 1642s |      17 |   332368 |   265132 |   457988      0 |    14368 |    18060
1652.01/1652.53	c 1645s |      17 |   332616 |   265332 |   457988      0 |    14368 |    18060
1654.60/1655.17	c 1648s |      17 |   332876 |   265532 |   457988      0 |    14368 |    18060
1657.20/1657.78	c 1650s |      17 |   333112 |   265732 |   457988      0 |    14368 |    18060
1659.90/1660.43	c 1653s |      17 |   333350 |   265932 |   457988      0 |    14368 |    18060
1662.30/1662.84	c 1655s |      17 |   333593 |   266132 |   457988      0 |    14368 |    18060
1665.50/1666.02	c 1659s |      17 |   333827 |   266332 |   457988      0 |    14368 |    18060
1667.60/1668.18	c 1661s |      17 |   334089 |   266532 |   457988      0 |    14368 |    18060
1670.00/1670.51	c 1663s |      17 |   334349 |   266732 |   457988      0 |    14368 |    18060
1672.39/1672.95	c 1666s |      17 |   334572 |   266932 |   457988      0 |    14368 |    18060
1674.69/1675.26	c 1668s |      17 |   334805 |   267132 |   457988      0 |    14368 |    18060
1677.30/1677.85	c 1670s |      17 |   335036 |   267332 |   457988      0 |    14368 |    18060
1679.69/1680.25	c 1673s |      17 |   335309 |   267532 |   457988      0 |    14368 |    18060
1682.09/1682.61	c 1675s |      17 |   335595 |   267732 |   457988      0 |    14368 |    18060
1684.69/1685.24	c 1678s |      17 |   335874 |   267932 |   457988      0 |    14368 |    18060
1687.19/1687.80	c 1680s |      17 |   336141 |   268132 |   457988      0 |    14368 |    18060
1689.59/1690.16	c 1683s |      17 |   336439 |   268332 |   457988      0 |    14368 |    18060
1692.48/1693.08	c 1686s |      17 |   336665 |   268532 |   457988      0 |    14368 |    18060
1694.89/1695.41	c 1688s |      17 |   336908 |   268732 |   457988      0 |    14368 |    18060
1697.19/1697.73	c 1690s |      17 |   337163 |   268932 |   457988      0 |    14368 |    18060
1699.48/1700.07	c 1693s |      17 |   337407 |   269132 |   457988      0 |    14368 |    18060
1701.98/1702.53	c 1695s |      17 |   337647 |   269332 |   457988      0 |    14368 |    18060
1704.18/1704.70	c 1697s |      17 |   337875 |   269532 |   457988      0 |    14368 |    18060
1706.18/1706.75	c 1699s |      17 |   338119 |   269732 |   457988      0 |    14368 |    18060
1708.38/1708.94	c 1701s |      17 |   338360 |   269932 |   457988      0 |    14368 |    18060
1710.58/1711.12	c 1704s |      17 |   338619 |   270132 |   457988      0 |    14368 |    18060
1712.97/1713.55	c 1706s |      17 |   338893 |   270332 |   457988      0 |    14368 |    18060
1715.37/1715.96	c 1709s |      17 |   339132 |   270532 |   457988      0 |    14368 |    18060
1717.67/1718.28	c 1711s |      17 |   339368 |   270732 |   457988      0 |    14368 |    18060
1719.77/1720.35	c 1713s |      17 |   339609 |   270932 |   457988      0 |    14368 |    18060
1722.07/1722.64	c 1715s |      17 |   339859 |   271132 |   457988      0 |    14368 |    18060
1724.27/1724.89	c 1717s |      17 |   340118 |   271332 |   457988      0 |    14368 |    18060
1726.37/1727.00	c 1720s |      17 |   340358 |   271532 |   457988      0 |    14368 |    18060
1729.07/1729.66	c 1722s |      17 |   340614 |   271732 |   457988      0 |    14368 |    18060
1731.56/1732.11	c 1725s |      17 |   340886 |   271932 |   457988      0 |    14368 |    18060
1733.86/1734.48	c 1727s |      17 |   341185 |   272132 |   457988      0 |    14368 |    18060
1736.16/1736.70	c 1729s |      17 |   341467 |   272332 |   457988      0 |    14368 |    18060
1738.66/1739.20	c 1732s |      17 |   341705 |   272532 |   457988      0 |    14368 |    18060
1741.16/1741.76	c 1734s |      17 |   341934 |   272732 |   457988      0 |    14368 |    18060
1743.76/1744.34	c 1737s |      17 |   342186 |   272932 |   457988      0 |    14368 |    18060
1746.06/1746.69	c 1739s |      17 |   342443 |   273132 |   457988      0 |    14368 |    18060
1748.36/1748.99	c 1742s |      17 |   342688 |   273332 |   457988      0 |    14368 |    18060
1750.66/1751.23	c 1744s |      17 |   342937 |   273532 |   457988      0 |    14368 |    18060
1753.75/1754.31	c 1747s |      17 |   343307 |   273832 |   457988      0 |    14368 |    18060
1755.95/1756.58	c 1749s |      17 |   343567 |   274032 |   457988      0 |    14368 |    18060
1758.15/1758.76	c 1751s |      17 |   343862 |   274232 |   457988      0 |    14368 |    18060
1760.45/1761.01	c 1754s |      17 |   344084 |   274432 |   457988      0 |    14368 |    18060
1762.75/1763.33	c 1756s |      17 |   344347 |   274632 |   457988      0 |    14368 |    18060
1765.15/1765.79	c 1758s |      17 |   344621 |   274832 |   457988      0 |    14368 |    18060
1767.25/1767.87	c 1760s |      17 |   344868 |   275032 |   457988      0 |    14368 |    18060
1769.55/1770.20	c 1763s |      17 |   345104 |   275232 |   457988      0 |    14368 |    18060
1772.04/1772.61	c 1765s |      17 |   345340 |   275432 |   457988      0 |    14368 |    18060
1774.15/1774.76	c 1767s |      17 |   345573 |   275632 |   457988      0 |    14368 |    18060
1777.04/1777.63	c 1770s |      17 |   345973 |   275932 |   457988      0 |    14368 |    18060
1779.94/1780.59	c 1773s |      17 |   346478 |   276332 |   457988      0 |    14368 |    18060
1782.14/1782.72	c 1775s |      17 |   346713 |   276532 |   457988      0 |    14368 |    18060
1784.64/1785.24	c 1778s |      17 |   347117 |   276832 |   457988      0 |    14368 |    18060
1787.14/1787.70	c 1780s |      17 |   347518 |   277132 |   457988      0 |    14368 |    18060
1790.14/1790.73	c 1783s |      17 |   347926 |   277432 |   457988      0 |    14368 |    18060
1793.04/1793.67	c 1786s |      17 |   348316 |   277732 |   457988      0 |    14368 |    18060
1795.74/1796.30	c 1789s |      17 |   348670 |   278032 |   457988      0 |    14368 |    18060
1798.53/1799.14	c 1792s |      17 |   349098 |   278332 |   457988      0 |    14368 |    18060

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

pid=29707
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: 2.12 2.25 2.26 3/179 29710
/proc/meminfo: memFree=29102828/32872528 swapFree=1499884/1696108
[pid=29710] ppid=29707 vsize=552380 CPUtime=0 cores=1,3,5,7
/proc/29710/stat : 29710 (toysat) R 29707 29710 24910 0 -1 4202496 2032 0 0 0 0 0 0 0 20 0 4 0 31168733 565637120 2393 33554432000 4194304 16246674 140733396306048 140733396305472 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29710/statm: 138863 2402 441 2943 0 135757 0
[pid=29710/tid=29711] ppid=29707 vsize=569788 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31168734 583462912 2461 33554432000 4194304 16246674 140733396306048 140484401933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=574908 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31168734 588705792 2477 33554432000 4194304 16246674 140733396306048 140484391443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=577980 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31168734 591851520 2493 33554432000 4194304 16246674 140733396306048 140484380970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.12 2.25 2.26 3/179 29710
/proc/meminfo: memFree=29102828/32872528 swapFree=1499884/1696108
[pid=29710] ppid=29707 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/29710/stat : 29710 (toysat) R 29707 29710 24910 0 -1 4202496 25931 0 0 0 5 3 0 0 20 0 4 0 31168733 1333334016 26230 33554432000 4194304 16246674 140733396306048 140733396305360 7368729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29710/statm: 325521 26245 799 2943 0 322415 0
[pid=29710/tid=29711] ppid=29707 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31168734 1333334016 26256 33554432000 4194304 16246674 140733396306048 140484401933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31168734 1333334016 26267 33554432000 4194304 16246674 140733396306048 140484391443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31168734 1333334016 26277 33554432000 4194304 16246674 140733396306048 140484380970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200487 s]
/proc/loadavg: 2.12 2.25 2.26 3/179 29710
/proc/meminfo: memFree=29102828/32872528 swapFree=1499884/1696108
[pid=29710] ppid=29707 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/29710/stat : 29710 (toysat) R 29707 29710 24910 0 -1 4202496 45404 0 0 0 12 7 0 0 20 0 4 0 31168733 1344868352 46214 33554432000 4194304 16246674 140733396306048 140733396305360 14795819 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29710/statm: 328337 46214 799 2943 0 325231 0
[pid=29710/tid=29711] ppid=29707 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31168734 1344868352 46214 33554432000 4194304 16246674 140733396306048 140484401933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31168734 1344868352 46214 33554432000 4194304 16246674 140733396306048 140484391443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31168734 1344868352 46214 33554432000 4194304 16246674 140733396306048 140484380970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300464 s]
/proc/loadavg: 2.12 2.25 2.26 3/179 29710
/proc/meminfo: memFree=29102828/32872528 swapFree=1499884/1696108
[pid=29710] ppid=29707 vsize=1313348 CPUtime=0.28 cores=1,3,5,7
/proc/29710/stat : 29710 (toysat) R 29707 29710 24910 0 -1 4202496 57414 0 0 0 20 8 0 0 20 0 4 0 31168733 1344868352 58224 33554432000 4194304 16246674 140733396306048 140733396305360 13927447 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29710/statm: 328337 58224 799 2943 0 325231 0
[pid=29710/tid=29711] ppid=29707 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31168734 1344868352 58224 33554432000 4194304 16246674 140733396306048 140484401933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31168734 1344868352 58224 33554432000 4194304 16246674 140733396306048 140484391443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31168734 1344868352 58224 33554432000 4194304 16246674 140733396306048 140484380970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700404 s]
/proc/loadavg: 2.12 2.25 2.26 3/179 29710
/proc/meminfo: memFree=29102828/32872528 swapFree=1499884/1696108
[pid=29710] ppid=29707 vsize=1313348 CPUtime=0.68 cores=1,3,5,7
/proc/29710/stat : 29710 (toysat) R 29707 29710 24910 0 -1 4202496 69773 0 0 0 58 10 0 0 20 0 4 0 31168733 1344868352 70583 33554432000 4194304 16246674 140733396306048 140733396289040 7371247 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29710/statm: 328337 70583 801 2943 0 325231 0
[pid=29710/tid=29711] ppid=29707 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31168734 1344868352 70583 33554432000 4194304 16246674 140733396306048 140484401933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31168734 1344868352 70583 33554432000 4194304 16246674 140733396306048 140484391443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31168734 1344868352 70583 33554432000 4194304 16246674 140733396306048 140484380970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50049 s]
/proc/loadavg: 2.12 2.25 2.26 3/183 29714
/proc/meminfo: memFree=28802316/32872528 swapFree=1499884/1696108
[pid=29710] ppid=29707 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/29710/stat : 29710 (toysat) R 29707 29710 24910 0 -1 4202496 84366 0 0 0 136 13 0 0 20 0 4 0 31168733 1344868352 85176 33554432000 4194304 16246674 140733396306048 140733396289040 5754801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29710/statm: 328337 85176 808 2943 0 325231 0
[pid=29710/tid=29711] ppid=29707 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31168734 1344868352 85176 33554432000 4194304 16246674 140733396306048 140484401933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31168734 1344868352 85176 33554432000 4194304 16246674 140733396306048 140484391443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31168734 1344868352 85176 33554432000 4194304 16246674 140733396306048 140484380970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10044 s]
/proc/loadavg: 2.12 2.25 2.26 4/183 29714
/proc/meminfo: memFree=28149456/32872528 swapFree=1499884/1696108
[pid=29710] ppid=29707 vsize=1340996 CPUtime=3.09 cores=1,3,5,7
/proc/29710/stat : 29710 (toysat) R 29707 29710 24910 0 -1 4202496 275867 0 0 0 267 42 0 0 20 0 4 0 31168733 1373179904 276677 33554432000 4194304 16246674 140733396306048 140733396287936 6757217 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29710/statm: 335249 276677 839 2943 0 332143 0
[pid=29710/tid=29711] ppid=29707 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31168734 1373179904 276677 33554432000 4194304 16246674 140733396306048 140484401933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31168734 1373179904 276677 33554432000 4194304 16246674 140733396306048 140484391443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31168734 1373179904 276677 33554432000 4194304 16246674 140733396306048 140484380970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1340996

[startup+6.30038 s]
/proc/loadavg: 2.11 2.25 2.26 3/183 29714
/proc/meminfo: memFree=27997588/32872528 swapFree=1499884/1696108
[pid=29710] ppid=29707 vsize=1340996 CPUtime=6.29 cores=1,3,5,7
/proc/29710/stat : 29710 (toysat) R 29707 29710 24910 0 -1 4202496 275937 0 0 0 587 42 0 0 20 0 4 0 31168733 1373179904 276747 33554432000 4194304 16246674 140733396306048 140733396303872 6955336 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29710/statm: 335249 276747 903 2943 0 332143 0
[pid=29710/tid=29711] ppid=29707 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31168734 1373179904 276747 33554432000 4194304 16246674 140733396306048 140484401933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31168734 1373179904 276747 33554432000 4194304 16246674 140733396306048 140484391443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31168734 1373179904 276747 33554432000 4194304 16246674 140733396306048 140484380970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1340996

[startup+12.7004 s]
/proc/loadavg: 2.10 2.24 2.26 3/183 29714
/proc/meminfo: memFree=27997944/32872528 swapFree=1499884/1696108
[pid=29710] ppid=29707 vsize=1340996 CPUtime=12.69 cores=1,3,5,7
/proc/29710/stat : 29710 (toysat) R 29707 29710 24910 0 -1 4202496 275951 0 0 0 1227 42 0 0 20 0 4 0 31168733 1373179904 276761 33554432000 4194304 16246674 140733396306048 140733396287936 5675937 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29710/statm: 335249 276761 915 2943 0 332143 0
[pid=29710/tid=29711] ppid=29707 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31168734 1373179904 276761 33554432000 4194304 16246674 140733396306048 140484401933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31168734 1373179904 276761 33554432000 4194304 16246674 140733396306048 140484391443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31168734 1373179904 276761 33554432000 4194304 16246674 140733396306048 140484380970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1340996

[startup+25.5004 s]
/proc/loadavg: 2.08 2.24 2.25 4/183 29714
/proc/meminfo: memFree=27998068/32872528 swapFree=1499884/1696108
[pid=29710] ppid=29707 vsize=1340996 CPUtime=25.48 cores=1,3,5,7
/proc/29710/stat : 29710 (toysat) R 29707 29710 24910 0 -1 4202496 275951 0 0 0 2506 42 0 0 20 0 4 0 31168733 1373179904 276761 33554432000 4194304 16246674 140733396306048 140733396287936 5721725 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29710/statm: 335249 276761 915 2943 0 332143 0
[pid=29710/tid=29711] ppid=29707 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31168734 1373179904 276761 33554432000 4194304 16246674 140733396306048 140484401933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31168734 1373179904 276761 33554432000 4194304 16246674 140733396306048 140484391443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31168734 1373179904 276761 33554432000 4194304 16246674 140733396306048 140484380970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1340996

[startup+51.1004 s]
/proc/loadavg: 2.23 2.26 2.26 3/183 29714
/proc/meminfo: memFree=27997696/32872528 swapFree=1499884/1696108
[pid=29710] ppid=29707 vsize=1340996 CPUtime=51.08 cores=1,3,5,7
/proc/29710/stat : 29710 (toysat) R 29707 29710 24910 0 -1 4202496 275955 0 0 0 5066 42 0 0 20 0 4 0 31168733 1373179904 276765 33554432000 4194304 16246674 140733396306048 140733396287936 5523188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29710/statm: 335249 276765 918 2943 0 332143 0
[pid=29710/tid=29711] ppid=29707 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31168734 1373179904 276765 33554432000 4194304 16246674 140733396306048 140484401933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31168734 1373179904 276765 33554432000 4194304 16246674 140733396306048 140484391443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31168734 1373179904 276765 33554432000 4194304 16246674 140733396306048 140484380970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1340996

[startup+102.3 s]
/proc/loadavg: 2.15 2.23 2.25 3/183 29715
/proc/meminfo: memFree=27997184/32872528 swapFree=1499884/1696108
[pid=29710] ppid=29707 vsize=1340996 CPUtime=102.27 cores=1,3,5,7
/proc/29710/stat : 29710 (toysat) R 29707 29710 24910 0 -1 4202496 275955 0 0 0 10185 42 0 0 20 0 4 0 31168733 1373179904 276765 33554432000 4194304 16246674 140733396306048 140733396287936 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29710/statm: 335249 276765 918 2943 0 332143 0
[pid=29710/tid=29711] ppid=29707 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31168734 1373179904 276765 33554432000 4194304 16246674 140733396306048 140484401933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31168734 1373179904 276765 33554432000 4194304 16246674 140733396306048 140484391443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31168734 1373179904 276765 33554432000 4194304 16246674 140733396306048 140484380970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1340996


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

/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31168734 1441337344 293244 33554432000 4194304 16246674 140733396306048 140484380970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 1407556

[startup+1362.3 s]
/proc/loadavg: 2.21 2.29 2.27 3/183 29795
/proc/meminfo: memFree=27920380/32872528 swapFree=1499884/1696108
[pid=29710] ppid=29707 vsize=1407556 CPUtime=1361.95 cores=1,3,5,7
/proc/29710/stat : 29710 (toysat) R 29707 29710 24910 0 -1 4202496 292623 0 0 0 136148 47 0 0 20 0 4 0 31168733 1441337344 293244 33554432000 4194304 16246674 140733396306048 140733396287936 5823013 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29710/statm: 351889 293244 919 2943 0 348783 0
[pid=29710/tid=29711] ppid=29707 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31168734 1441337344 293244 33554432000 4194304 16246674 140733396306048 140484401933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31168734 1441337344 293244 33554432000 4194304 16246674 140733396306048 140484391443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31168734 1441337344 293244 33554432000 4194304 16246674 140733396306048 140484380970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1407556

[startup+1422.3 s]
/proc/loadavg: 2.24 2.28 2.27 4/184 29799
/proc/meminfo: memFree=27920072/32872528 swapFree=1499884/1696108
[pid=29710] ppid=29707 vsize=1407556 CPUtime=1421.92 cores=1,3,5,7
/proc/29710/stat : 29710 (toysat) R 29707 29710 24910 0 -1 4202496 292664 0 0 0 142145 47 0 0 20 0 4 0 31168733 1441337344 293244 33554432000 4194304 16246674 140733396306048 140733396287936 5677667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29710/statm: 351889 293244 919 2943 0 348783 0
[pid=29710/tid=29711] ppid=29707 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31168734 1441337344 293244 33554432000 4194304 16246674 140733396306048 140484401933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31168734 1441337344 293244 33554432000 4194304 16246674 140733396306048 140484391443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31168734 1441337344 293244 33554432000 4194304 16246674 140733396306048 140484380970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1407556

[startup+1482.3 s]
/proc/loadavg: 2.34 2.30 2.27 3/183 29800
/proc/meminfo: memFree=27919932/32872528 swapFree=1499884/1696108
[pid=29710] ppid=29707 vsize=1407556 CPUtime=1481.88 cores=1,3,5,7
/proc/29710/stat : 29710 (toysat) R 29707 29710 24910 0 -1 4202496 292711 0 0 0 148141 47 0 0 20 0 4 0 31168733 1441337344 293244 33554432000 4194304 16246674 140733396306048 140733396287936 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29710/statm: 351889 293244 919 2943 0 348783 0
[pid=29710/tid=29711] ppid=29707 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31168734 1441337344 293244 33554432000 4194304 16246674 140733396306048 140484401933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31168734 1441337344 293244 33554432000 4194304 16246674 140733396306048 140484391443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31168734 1441337344 293244 33554432000 4194304 16246674 140733396306048 140484380970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1407556

[startup+1542.3 s]
/proc/loadavg: 2.36 2.31 2.27 3/183 29801
/proc/meminfo: memFree=27920616/32872528 swapFree=1499884/1696108
[pid=29710] ppid=29707 vsize=1407556 CPUtime=1541.86 cores=1,3,5,7
/proc/29710/stat : 29710 (toysat) R 29707 29710 24910 0 -1 4202496 292746 0 0 0 154138 48 0 0 20 0 4 0 31168733 1441337344 293244 33554432000 4194304 16246674 140733396306048 140733396287936 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29710/statm: 351889 293244 919 2943 0 348783 0
[pid=29710/tid=29711] ppid=29707 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31168734 1441337344 293244 33554432000 4194304 16246674 140733396306048 140484401933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31168734 1441337344 293244 33554432000 4194304 16246674 140733396306048 140484391443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31168734 1441337344 293244 33554432000 4194304 16246674 140733396306048 140484380970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1407556

[startup+1602.3 s]
/proc/loadavg: 2.21 2.28 2.27 4/183 29802
/proc/meminfo: memFree=27919444/32872528 swapFree=1499884/1696108
[pid=29710] ppid=29707 vsize=1407556 CPUtime=1601.83 cores=1,3,5,7
/proc/29710/stat : 29710 (toysat) R 29707 29710 24910 0 -1 4202496 292780 0 0 0 160135 48 0 0 20 0 4 0 31168733 1441337344 293244 33554432000 4194304 16246674 140733396306048 140733396287936 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29710/statm: 351889 293244 919 2943 0 348783 0
[pid=29710/tid=29711] ppid=29707 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31168734 1441337344 293244 33554432000 4194304 16246674 140733396306048 140484401933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31168734 1441337344 293244 33554432000 4194304 16246674 140733396306048 140484391443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31168734 1441337344 293244 33554432000 4194304 16246674 140733396306048 140484380970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1407556

[startup+1662.3 s]
/proc/loadavg: 2.27 2.28 2.27 4/182 29803
/proc/meminfo: memFree=27920184/32872528 swapFree=1499884/1696108
[pid=29710] ppid=29707 vsize=1407556 CPUtime=1661.8 cores=1,3,5,7
/proc/29710/stat : 29710 (toysat) R 29707 29710 24910 0 -1 4202496 292819 0 0 0 166132 48 0 0 20 0 4 0 31168733 1441337344 293244 33554432000 4194304 16246674 140733396306048 140733396287936 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29710/statm: 351889 293244 919 2943 0 348783 0
[pid=29710/tid=29711] ppid=29707 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31168734 1441337344 293244 33554432000 4194304 16246674 140733396306048 140484401933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31168734 1441337344 293244 33554432000 4194304 16246674 140733396306048 140484391443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31168734 1441337344 293244 33554432000 4194304 16246674 140733396306048 140484380970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1407556

[startup+1722.3 s]
/proc/loadavg: 2.19 2.26 2.26 3/183 29805
/proc/meminfo: memFree=27618060/32872528 swapFree=1499884/1696108
[pid=29710] ppid=29707 vsize=1708612 CPUtime=1721.77 cores=1,3,5,7
/proc/29710/stat : 29710 (toysat) R 29707 29710 24910 0 -1 4202496 368121 0 0 0 172118 59 0 0 20 0 4 0 31168733 1749618688 368505 33554432000 4194304 16246674 140733396306048 140733396287936 12477817 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29710/statm: 427153 368505 919 2943 0 424047 0
[pid=29710/tid=29711] ppid=29707 vsize=1708612 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31168734 1749618688 368505 33554432000 4194304 16246674 140733396306048 140484401933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1708612 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31168734 1749618688 368505 33554432000 4194304 16246674 140733396306048 140484391443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1708612 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31168734 1749618688 368505 33554432000 4194304 16246674 140733396306048 140484380970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1708612

[startup+1782.3 s]
/proc/loadavg: 2.17 2.24 2.26 4/183 29806
/proc/meminfo: memFree=27617320/32872528 swapFree=1499884/1696108
[pid=29710] ppid=29707 vsize=1708612 CPUtime=1781.74 cores=1,3,5,7
/proc/29710/stat : 29710 (toysat) R 29707 29710 24910 0 -1 4202496 368156 0 0 0 178115 59 0 0 20 0 4 0 31168733 1749618688 368505 33554432000 4194304 16246674 140733396306048 140733396287936 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29710/statm: 427153 368505 919 2943 0 424047 0
[pid=29710/tid=29711] ppid=29707 vsize=1708612 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31168734 1749618688 368505 33554432000 4194304 16246674 140733396306048 140484401933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1708612 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31168734 1749618688 368505 33554432000 4194304 16246674 140733396306048 140484391443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1708612 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31168734 1749618688 368505 33554432000 4194304 16246674 140733396306048 140484380970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1708612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.20 2.24 2.26 3/183 29807
/proc/meminfo: memFree=27617392/32872528 swapFree=1499884/1696108
[pid=29710] ppid=29707 vsize=1708612 CPUtime=1800.03 cores=1,3,5,7
/proc/29710/stat : 29710 (toysat) R 29707 29710 24910 0 -1 4202496 368156 0 0 0 179944 59 0 0 20 0 4 0 31168733 1749618688 368505 33554432000 4194304 16246674 140733396306048 140733396287936 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29710/statm: 427153 368505 919 2943 0 424047 0
[pid=29710/tid=29711] ppid=29707 vsize=1708612 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31168734 1749618688 368505 33554432000 4194304 16246674 140733396306048 140484401933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1708612 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31168734 1749618688 368505 33554432000 4194304 16246674 140733396306048 140484391443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1708612 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31168734 1749618688 368505 33554432000 4194304 16246674 140733396306048 140484380970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1708612

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

[startup+1800.6 s]
/proc/loadavg: 2.20 2.24 2.26 3/183 29807
/proc/meminfo: memFree=27617392/32872528 swapFree=1499884/1696108
[pid=29710] ppid=29707 vsize=1708612 CPUtime=1800.03 cores=1,3,5,7
/proc/29710/stat : 29710 (toysat) R 29707 29710 24910 0 -1 4202496 368156 0 0 0 179944 59 0 0 20 0 4 0 31168733 1749618688 368505 33554432000 4194304 16246674 140733396306048 140733396287936 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29710/statm: 427153 368505 919 2943 0 424047 0
[pid=29710/tid=29711] ppid=29707 vsize=1708612 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29711/stat : 29711 (toysat) S 29707 29710 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31168734 1749618688 368505 33554432000 4194304 16246674 140733396306048 140484401933552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29710/tid=29712] ppid=29707 vsize=1708612 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29712/stat : 29712 (toysat) S 29707 29710 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31168734 1749618688 368505 33554432000 4194304 16246674 140733396306048 140484391443696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29710/tid=29713] ppid=29707 vsize=1708612 CPUtime=0 cores=1,3,5,7
/proc/29710/task/29713/stat : 29713 (toysat) S 29707 29710 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31168734 1749618688 368505 33554432000 4194304 16246674 140733396306048 140484380970160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1708612

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.63
CPU time (s): 1800.07
CPU user time (s): 1799.45
CPU system time (s): 0.612906
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 1708612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.612906
maximum resident set size= 1474020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 368156
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= 491
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4304 second user time and 16.6405 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-19 01:07:10
IDJOB=4108429
IDBENCH=77372
IDSOLVER=2542
FILE ID=node137/4108429-1466291230
RUNJOBID= node137-1466264772-24927
PBS_JOBID= 19918225
Free space on /tmp= 71676 MiB

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

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

MD5SUM BENCH= 9033b116fa6917a1af0ec218f9c6d61f
RANDOM SEED=556540814

node137.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.486
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.97
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.486
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.486
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.56
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.486
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.486
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.486
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.38
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.486
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.486
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:        29103480 kB
Buffers:           47452 kB
Cached:           184572 kB
SwapCached:         1216 kB
Active:          1214456 kB
Inactive:         118580 kB
Active(anon):    1099944 kB
Inactive(anon):     3248 kB
Active(file):     114512 kB
Inactive(file):   115332 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100060 kB
Dirty:             24120 kB
Writeback:             4 kB
AnonPages:       2796308 kB
Mapped:            10692 kB
Shmem:                 0 kB
Slab:             604784 kB
SReclaimable:      48584 kB
SUnreclaim:       556200 kB
KernelStack:        1456 kB
PageTables:         9556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2938696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 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= 71656 MiB
End job on node137 at 2016-06-19 01:37:11