Trace number 4090226

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.06 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
Instances3col_OPB/normalized-3col-almost3reg-l080-r079-n1.opb
MD5SUM5d30d18ef05ffba8d0245479521b8577
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4323
Total number of constraints9214
Number of constraints which are clauses7773
Number of constraints which are cardinality constraints (but not clauses)1441
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
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-16T03:02:51+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4090226-1466038970.opb"]
0.00/0.01	c use --random-gen="3412794487 222873844 3485438632 2096308767 1292809796 1880366333 2700050300 2079787037 918908925 1264494319 2816909843 3065046046 1325682791 1766372399 209999232 4028207825 1742584276 3343789644 1835962071 2158049885 3472261887 296429010 3757559451 2486728860 3893174445 1131662123 3384390606 2280003203 2436700963 4191648948 2090609065 1169473064 156920395 3397333829 4196061665 3316317568 2480909873 2909057363 1182846187 3453435819 718788967 1103697927 576045287 147367690 2373891908 401704775 51183937 1481948795 422721138 2190590910 1363028779 839213616 2919415356 2406129578 1055601332 2430501093 2120749594 1735561800 747057635 2743261084 3760839070 2490547444 1236850800 327976826 1160216057 3928960773 3733142709 2886579780 1257799794 4153608000 1430729604 4057798622 1346782362 715194765 4157672766 713836982 3140545404 2601415107 4264542062 1417818230 2249749243 3337540874 3280216684 123430938 3595482685 2870601084 4288964782 2627559301 2982406233 140581617 3236097374 1871799713 4292742679 4236816682 2976669285 2640861784 3038083782 4239472353 1941640065 215119818 2447319735 332816546 3041931633 824780382 1796652193 2966338092 1270135936 2699283623 1816585486 1422674945 464942031 170785243 118493116 3979226112 175230757 3990556686 1917562135 4063276339 350613649 1330819706 1283950192 3575797869 2974435933 2997365244 734208463 2648234394 3971917144 2638732179 2992333702 3388129050 4286818344 2215446545 2733785395 2633565909 2973000354 3412692169 3727341059 3491447660 2005214297 1683742443 2735120148 3937874101 938225997 4134713680 3976767114 3545736915 2861380470 3472284211 652022337 3504524155 3922218338 3257383707 3285636562 1019934398 1837883826 871884739 2035536531 1027952582 2713651997 303599788 1885977831 2323579585 4087483565 860514989 2860048805 828211916 4294783218 1170609813 52981262 2493962392 1243033028 1196725800 960806735 650870580 2413520485 4076994394 401349666 3439623262 4204362915 1851006122 595207181 3877578055 3211241144 325163151 1229137268 2796944981 3073427671 3753849926 3075459176 3102676169 3738254537 327114864 3768608683 1457480979 3975352551 3792494266 3030529989 966647157 330141729 3869179772 3432746759 2746229194 2860203781 3682395587 2895615991 838499190 3879478328 3946569535 3177151375 3457584453 2351281359 1734993953 2153955302 587564645 3314714336 4089612531 1089635733 248756900 2052339332 3714929098 3519700576 3228850781 95635630 3085576179 256770843 217559101 2347554181 1215191430 1933204614 1061825797 2175599588 3363225788 4234872924 3378305597 3513828655 3365101274 385861592 3313399406 2735332326 920596156 2532189714 1332263324 4072851979 3368099292 3278591890 1131104850 2565779430 2799011945 2460182094 3566758704 631138637 1490941979 384327816 2300305789 3208206000 3671849132 255 362436" option to reproduce the execution
0.00/0.07	c #vars 4323
0.00/0.07	c #constraints 9214
0.19/0.21	c Solving starts ...
0.19/0.21	c ============================[ Search Statistics ]============================
0.19/0.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.21	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.21	c =============================================================================
0.19/0.21	c  0.0s |       0 |        0 |        0 |     4992      0 |        0 |        0
0.29/0.34	c  0.1s |       1 |     9049 |      100 |     4992      0 |        0 |        0
0.59/0.62	c  0.4s |       2 |    27233 |      250 |     5492      0 |        0 |        0
1.09/1.19	c  1.0s |       3 |    57509 |      475 |     6042      0 |        0 |        0
2.09/2.18	c  2.0s |       4 |   104143 |      813 |     6647      0 |        0 |        0
2.99/3.00	c  2.8s |       5 |   127311 |     1320 |     7312      0 |        0 |        0
4.19/4.22	c  4.0s |       6 |   131314 |     2081 |     8849      0 |        0 |        0
6.29/6.34	c  6.1s |       6 |   150368 |     3181 |     8849      0 |        0 |        0
6.39/6.40	c  6.2s |       7 |   150429 |     3223 |     9734      0 |        0 |        0
8.49/8.52	c  8.3s |       7 |   152821 |     4923 |    10708      0 |        0 |        0
8.49/8.54	c  8.3s |       8 |   152835 |     4936 |    10708      0 |        0 |        0
10.49/10.57	c 10.4s |       8 |   172234 |     6136 |    10708      0 |        0 |        0
12.49/12.58	c 12.4s |       8 |   173326 |     7136 |    10708      0 |        0 |        0
13.39/13.41	c 13.2s |       9 |   173719 |     7506 |    11779      0 |        0 |        0
15.58/15.65	c 15.4s |       9 |   177821 |     8606 |    11779      0 |        0 |        0
17.69/17.78	c 17.6s |       9 |   184682 |     9506 |    11779      0 |        0 |        0
19.89/19.96	c 19.8s |       9 |   185694 |    10406 |    11779      0 |        0 |        0
22.09/22.18	c 22.0s |       9 |   186548 |    11206 |    11779      0 |        0 |        0
22.48/22.55	c 22.3s |      10 |   186712 |    11361 |    12957      0 |        0 |        0
24.48/24.55	c 24.3s |      10 |   187873 |    12161 |    12957      0 |        0 |        0
26.68/26.70	c 26.5s |      10 |   189030 |    13161 |    12957      0 |        0 |        0
28.69/28.72	c 28.5s |      10 |   189934 |    13961 |    12957      1 |        0 |        0
30.90/30.91	c 30.7s |      10 |   191173 |    15061 |    12957      1 |        0 |        0
32.89/32.99	c 32.8s |      10 |   206807 |    16161 |    12957      1 |        0 |        0
34.79/34.81	c 34.6s |      11 |   213495 |    17144 |    14253      1 |        0 |        0
36.79/36.82	c 36.6s |      11 |   242512 |    18044 |    14253      1 |        0 |        0
38.79/38.88	c 38.7s |      11 |   245104 |    18744 |    14253      1 |        0 |        0
40.98/41.02	c 40.8s |      11 |   247282 |    19544 |    14253      1 |        0 |        0
43.18/43.20	c 43.0s |      11 |   252377 |    20344 |    14253      1 |        0 |        0
45.19/45.29	c 45.1s |      11 |   253433 |    21144 |    14253      1 |        0 |        0
47.58/47.64	c 47.4s |      11 |   254344 |    21944 |    14253      2 |        0 |        0
49.78/49.81	c 49.6s |      11 |   255454 |    22944 |    14253      2 |        0 |        0
51.79/51.89	c 51.7s |      11 |   256689 |    23944 |    14253      2 |        0 |        0
54.08/54.11	c 53.9s |      11 |   257793 |    24944 |    14253      2 |        0 |        0
56.09/56.19	c 56.0s |      12 |   259158 |    25819 |    15679      2 |        0 |        0
58.39/58.41	c 58.2s |      12 |   261387 |    26819 |    15679      2 |        0 |        0
60.49/60.55	c 60.3s |      12 |   262475 |    27819 |    15679      2 |        0 |        0
62.48/62.55	c 62.3s |      12 |   268354 |    28619 |    15679      2 |        0 |        0
64.58/64.64	c 64.4s |      12 |   269392 |    29519 |    15679      2 |        0 |        0
66.58/66.67	c 66.5s |      12 |   270733 |    30419 |    15679      2 |        0 |        0
68.68/68.74	c 68.5s |      12 |   271773 |    31319 |    15679      3 |        0 |        0
70.78/70.84	c 70.6s |      12 |   273032 |    32419 |    15679      3 |        0 |        0
72.78/72.85	c 72.6s |      12 |   274165 |    33419 |    15679      3 |        0 |        0
74.88/74.92	c 74.7s |      12 |   275612 |    34419 |    15679      3 |        0 |        0
76.88/76.94	c 76.7s |      12 |   276733 |    35419 |    15679      3 |        0 |        0
79.08/79.11	c 78.9s |      12 |   278178 |    36519 |    15679      3 |        0 |        0
81.27/81.32	c 81.1s |      12 |   281657 |    37219 |    15679      3 |        0 |        0
83.37/83.50	c 83.3s |      12 |   282340 |    37819 |    15679      3 |        0 |        0
85.47/85.59	c 85.4s |      12 |   283271 |    38419 |    15679      3 |        0 |        0
86.98/87.01	c 86.8s |      13 |   284801 |    38832 |    17247      3 |        0 |        0
88.97/89.09	c 88.9s |      13 |   289264 |    39532 |    17247      3 |        0 |        0
91.17/91.29	c 91.1s |      13 |   290088 |    40232 |    17247      3 |        0 |        0
93.27/93.38	c 93.2s |      13 |   291876 |    40832 |    17247      4 |        0 |        0
95.38/95.42	c 95.2s |      13 |   292899 |    41732 |    17247      4 |        0 |        0
97.48/97.50	c 97.3s |      13 |   293891 |    42632 |    17247      4 |        0 |        0
99.47/99.52	c 99.3s |      13 |   329376 |    43532 |    17247      4 |        0 |        0
101.57/101.69	c  101s |      13 |   360409 |    44532 |    17247      4 |        0 |        0
103.77/103.80	c  103s |      13 |   362413 |    45632 |    17247      4 |        0 |        0
105.77/105.81	c  105s |      13 |   363411 |    46532 |    17247      4 |        0 |        0
107.88/107.91	c  107s |      13 |   364865 |    47632 |    17247      4 |        0 |        0
109.87/109.96	c  109s |      13 |   365955 |    48632 |    17247      4 |        0 |        0
111.97/112.04	c  111s |      13 |   367123 |    49632 |    17247      4 |        0 |        0
114.07/114.15	c  113s |      13 |   368137 |    50532 |    17247      5 |        0 |        0
116.27/116.31	c  116s |      13 |   369383 |    51632 |    17247      5 |        0 |        0
118.27/118.36	c  118s |      13 |   370459 |    52632 |    17247      5 |        0 |        0
120.37/120.41	c  120s |      13 |   371443 |    53532 |    17247      5 |        0 |        0
122.57/122.63	c  122s |      13 |   372533 |    54532 |    17247      5 |        0 |        0
124.77/124.89	c  124s |      13 |   373536 |    55432 |    17247      5 |        0 |        0
126.87/126.92	c  126s |      13 |   374284 |    56132 |    17247      5 |        0 |        0
128.97/129.03	c  128s |      13 |   376404 |    56932 |    17247      5 |        0 |        0
131.17/131.26	c  131s |      13 |   377286 |    57732 |    17247      5 |        0 |        0
132.97/133.08	c  132s |      14 |   377946 |    58352 |    18972      5 |        0 |        0
135.17/135.21	c  135s |      14 |   391724 |    59252 |    18972      5 |        0 |        0
137.27/137.33	c  137s |      14 |   392878 |    60252 |    18972      5 |        0 |        0
139.36/139.47	c  139s |      14 |   397565 |    61052 |    18972      6 |        0 |        0
141.56/141.62	c  141s |      14 |   399042 |    62252 |    18972      6 |        0 |        0
143.66/143.72	c  143s |      14 |   400564 |    63452 |    18972      6 |        0 |        0
145.66/145.76	c  145s |      14 |   401818 |    64552 |    18972      6 |        0 |        0
147.76/147.88	c  147s |      14 |   402962 |    65552 |    18972      6 |        0 |        0
149.86/149.98	c  149s |      14 |   403993 |    66452 |    18972      6 |        0 |        0
152.06/152.10	c  151s |      14 |   405207 |    67452 |    18972      6 |        0 |        0
154.07/154.19	c  153s |      14 |   406280 |    68352 |    18972      6 |        0 |        0
156.27/156.36	c  156s |      14 |   407278 |    69252 |    18972      6 |        0 |        0
158.26/158.37	c  158s |      14 |   408168 |    70052 |    18972      6 |        0 |        0
160.46/160.51	c  160s |      14 |   409098 |    70852 |    18972      7 |        0 |        0
162.56/162.66	c  162s |      14 |   410302 |    71952 |    18972      7 |        0 |        0
164.76/164.87	c  164s |      14 |   411385 |    72952 |    18972      7 |        0 |        0
166.96/167.05	c  166s |      14 |   412538 |    73952 |    18972      7 |        0 |        0
169.06/169.15	c  168s |      14 |   413521 |    74852 |    18972      7 |        0 |        0
171.26/171.36	c  171s |      14 |   414485 |    75752 |    18972      7 |        0 |        0
173.46/173.53	c  173s |      14 |   415490 |    76652 |    18972      7 |        0 |        0
175.46/175.56	c  175s |      14 |   416347 |    77452 |    18972      7 |        0 |        0
177.46/177.56	c  177s |      14 |   418170 |    78152 |    18972      7 |        0 |        0
179.66/179.78	c  179s |      14 |   419120 |    78952 |    18972      7 |        0 |        0
181.76/181.81	c  181s |      14 |   420014 |    79752 |    18972      7 |        0 |        0
184.06/184.12	c  183s |      14 |   420786 |    80452 |    18972      8 |        0 |        0
186.15/186.26	c  186s |      14 |   422201 |    81252 |    18972      8 |        0 |        0
188.25/188.37	c  188s |      14 |   423242 |    82152 |    18972      8 |        0 |        0
190.26/190.40	c  190s |      14 |   424128 |    82952 |    18972      8 |        0 |        0
192.46/192.55	c  192s |      14 |   425014 |    83752 |    18972      8 |        0 |        0
194.66/194.73	c  194s |      14 |   425868 |    84552 |    18972      8 |        0 |        0
196.65/196.74	c  196s |      14 |   426645 |    85252 |    18972      8 |        0 |        0
198.85/198.98	c  198s |      14 |   427507 |    86052 |    18972      8 |        0 |        0
200.95/201.07	c  200s |      14 |   428468 |    86852 |    18972      8 |        0 |        0
202.95/203.09	c  202s |      15 |   429433 |    87632 |    20870      8 |        0 |        0
205.15/205.21	c  204s |      15 |   438827 |    88232 |    20870      8 |        0 |        0
207.25/207.33	c  207s |      15 |   452199 |    89132 |    20870      8 |        0 |        0
209.35/209.42	c  209s |      15 |   453269 |    90032 |    20870      8 |        0 |        0
211.45/211.59	c  211s |      15 |   454941 |    90932 |    20870      8 |        0 |        0
213.55/213.63	c  213s |      15 |   455883 |    91732 |    20870      8 |        0 |        0
215.66/215.72	c  215s |      15 |   459084 |    92432 |    20870      9 |        0 |        0
217.76/217.88	c  217s |      15 |   460443 |    93532 |    20870      9 |        0 |        0
219.86/219.92	c  219s |      15 |   461469 |    94432 |    20870      9 |        0 |        0
222.06/222.12	c  221s |      15 |   462462 |    95332 |    20870      9 |        0 |        0
224.06/224.17	c  223s |      15 |   463372 |    96132 |    20870      9 |        0 |        0
226.26/226.38	c  226s |      15 |   464255 |    96932 |    20870      9 |        0 |        0
228.56/228.62	c  228s |      15 |   465260 |    97832 |    20870      9 |        0 |        0
230.56/230.64	c  230s |      15 |   466184 |    98632 |    20870      9 |        0 |        0
232.75/232.89	c  232s |      15 |   467055 |    99432 |    20870      9 |        0 |        0
234.85/234.91	c  234s |      15 |   467821 |   100132 |    20870      9 |        0 |        0
237.05/237.11	c  236s |      15 |   468731 |   100932 |    20870      9 |        0 |        0
239.05/239.12	c  238s |      15 |   469656 |   101732 |    20870      9 |        0 |        0
241.15/241.23	c  241s |      15 |   477919 |   102532 |    20870      9 |        0 |        0
243.35/243.47	c  243s |      15 |   501908 |   103232 |    20870     10 |        0 |        0
245.45/245.56	c  245s |      15 |   503245 |   104132 |    20870     10 |        0 |        0
247.65/247.72	c  247s |      15 |   504436 |   105132 |    20870     10 |        0 |        0
249.76/249.85	c  249s |      15 |   505418 |   106032 |    20870     10 |        0 |        0
251.86/251.91	c  251s |      15 |   506273 |   106832 |    20870     10 |        0 |        0
253.95/254.06	c  253s |      15 |   507706 |   107632 |    20870     10 |        0 |        0
256.05/256.15	c  255s |      15 |   510278 |   108332 |    20870     10 |        0 |        0
258.25/258.37	c  258s |      15 |   511080 |   109032 |    20870     10 |        0 |        0
260.55/260.62	c  260s |      15 |   511822 |   109732 |    20870     10 |        0 |        0
262.65/262.73	c  262s |      15 |   512466 |   110332 |    20870     10 |        0 |        0
264.95/265.04	c  264s |      15 |   513237 |   111032 |    20870     10 |        0 |        0
267.15/267.28	c  267s |      15 |   514017 |   111732 |    20870     10 |        0 |        0
269.55/269.63	c  269s |      15 |   514791 |   112432 |    20870     10 |        0 |        0
271.85/271.95	c  271s |      15 |   515550 |   113132 |    20870     10 |        0 |        0
274.04/274.10	c  273s |      15 |   516098 |   113632 |    20870     11 |        0 |        0
276.05/276.17	c  275s |      15 |   516989 |   114432 |    20870     11 |        0 |        0
278.25/278.37	c  278s |      15 |   517955 |   115332 |    20870     11 |        0 |        0
280.34/280.45	c  280s |      15 |   518808 |   116132 |    20870     11 |        0 |        0
282.44/282.57	c  282s |      15 |   519676 |   116932 |    20870     11 |        0 |        0
284.64/284.73	c  284s |      15 |   520761 |   117832 |    20870     11 |        0 |        0
286.74/286.85	c  286s |      15 |   521638 |   118632 |    20870     11 |        0 |        0
288.94/289.00	c  288s |      15 |   522520 |   119432 |    20870     11 |        0 |        0
290.94/291.07	c  290s |      15 |   523500 |   120232 |    20870     11 |        0 |        0
293.14/293.25	c  293s |      15 |   524390 |   121032 |    20870     11 |        0 |        0
295.24/295.30	c  295s |      15 |   525131 |   121732 |    20870     11 |        0 |        0
297.34/297.41	c  297s |      15 |   525865 |   122432 |    20870     11 |        0 |        0
299.44/299.55	c  299s |      15 |   526616 |   123132 |    20870     11 |        0 |        0
301.74/301.83	c  301s |      15 |   531312 |   123832 |    20870     11 |        0 |        0
303.94/304.00	c  303s |      15 |   532117 |   124532 |    20870     12 |        0 |        0
305.94/306.03	c  305s |      15 |   535136 |   125432 |    20870     12 |        0 |        0
308.04/308.16	c  307s |      15 |   536128 |   126332 |    20870     12 |        0 |        0
310.24/310.37	c  310s |      15 |   538578 |   127132 |    20870     12 |        0 |        0
312.34/312.43	c  312s |      15 |   539640 |   128032 |    20870     12 |        0 |        0
314.44/314.53	c  314s |      15 |   540531 |   128832 |    20870     12 |        0 |        0
316.44/316.56	c  316s |      15 |   541427 |   129632 |    20870     12 |        0 |        0
318.54/318.61	c  318s |      15 |   544487 |   130432 |    20870     12 |        0 |        0
320.64/320.73	c  320s |      15 |   547163 |   131432 |    22958     12 |        0 |        0
320.94/321.00	c  320s |      16 |   547309 |   131552 |    22958     12 |        0 |        0
323.03/323.13	c  322s |      16 |   552808 |   132252 |    22958     12 |        0 |        0
325.23/325.34	c  325s |      16 |   555783 |   133152 |    22958     12 |        0 |        0
327.43/327.51	c  327s |      16 |   556794 |   134052 |    22958     12 |        0 |        0
329.63/329.76	c  329s |      16 |   585836 |   134952 |    22958     12 |        0 |        0
331.93/332.08	c  331s |      16 |   617403 |   135752 |    22958     12 |        0 |        0
333.93/334.09	c  333s |      16 |   618170 |   136352 |    22958     12 |        0 |        0
336.33/336.40	c  336s |      16 |   618934 |   137052 |    22958     12 |        0 |        0
338.43/338.51	c  338s |      16 |   619821 |   137552 |    22958     13 |        0 |        0
340.53/340.66	c  340s |      16 |   624364 |   138452 |    22958     13 |        0 |        0
342.63/342.78	c  342s |      16 |   625624 |   139252 |    22958     13 |        0 |        0
344.94/345.02	c  344s |      16 |   626665 |   140152 |    22958     13 |        0 |        0
347.04/347.11	c  346s |      16 |   659508 |   141052 |    22958     13 |        0 |        0
349.04/349.14	c  348s |      16 |   663463 |   141952 |    22958     13 |        0 |        0
351.23/351.38	c  351s |      16 |   664358 |   142752 |    22958     13 |        0 |        0
353.23/353.40	c  353s |      16 |   665136 |   143452 |    22958     13 |        0 |        0
355.53/355.63	c  355s |      16 |   672291 |   144152 |    22958     13 |        0 |        0
357.73/357.88	c  357s |      16 |   673700 |   144852 |    22958     13 |        0 |        0
359.83/359.91	c  359s |      16 |   674395 |   145452 |    22958     13 |        0 |        0
361.84/362.00	c  361s |      16 |   676230 |   146052 |    22958     13 |        0 |        0
364.23/364.30	c  364s |      16 |   676892 |   146652 |    22958     13 |        0 |        0
366.34/366.41	c  366s |      16 |   677580 |   147252 |    22958     13 |        0 |        0
368.54/368.63	c  368s |      16 |   678259 |   147852 |    22958     13 |        0 |        0
370.63/370.75	c  370s |      16 |   678807 |   148352 |    22958     13 |        0 |        0
372.73/372.90	c  372s |      16 |   679352 |   148852 |    22958     13 |        0 |        0
374.83/374.99	c  374s |      16 |   679782 |   149252 |    22958     14 |        0 |        0
377.03/377.11	c  376s |      16 |   682046 |   149952 |    22958     14 |        0 |        0
379.13/379.23	c  379s |      16 |   687228 |   150852 |    22958     14 |        0 |        0
381.23/381.34	c  381s |      16 |   687997 |   151552 |    22958     14 |        0 |        0
383.23/383.35	c  383s |      16 |   688765 |   152252 |    22958     14 |        0 |        0
385.33/385.47	c  385s |      16 |   697060 |   152952 |    22958     14 |        0 |        0
387.53/387.66	c  387s |      16 |   698018 |   153752 |    22958     14 |        0 |        0
389.82/389.92	c  389s |      16 |   698979 |   154552 |    22958     14 |        0 |        0
391.92/392.07	c  391s |      16 |   699876 |   155352 |    22958     14 |        0 |        0
394.22/394.35	c  394s |      16 |   700684 |   155952 |    22958     14 |        0 |        0
396.52/396.61	c  396s |      16 |   701323 |   156552 |    22958     14 |        0 |        0
398.72/398.82	c  398s |      16 |   703653 |   157452 |    22958     14 |        0 |        0
400.82/400.93	c  400s |      16 |   704663 |   158352 |    22958     14 |        0 |        0
402.92/403.04	c  402s |      16 |   705564 |   159152 |    22958     14 |        0 |        0
404.92/405.05	c  404s |      16 |   706444 |   159952 |    22958     14 |        0 |        0
406.93/407.10	c  406s |      16 |   707294 |   160752 |    22958     14 |        0 |        0
409.13/409.25	c  409s |      16 |   708183 |   161552 |    22958     15 |        0 |        0
411.22/411.36	c  411s |      16 |   709287 |   162552 |    22958     15 |        0 |        0
413.32/413.47	c  413s |      16 |   726884 |   163352 |    22958     15 |        0 |        0
415.62/415.72	c  415s |      16 |   729160 |   164252 |    22958     15 |        0 |        0
417.72/417.85	c  417s |      16 |   730220 |   164952 |    22958     15 |        0 |        0
419.82/419.98	c  419s |      16 |   731252 |   165852 |    22958     15 |        0 |        0
421.92/422.05	c  421s |      16 |   732241 |   166552 |    22958     15 |        0 |        0
423.92/424.08	c  423s |      16 |   734267 |   167252 |    22958     15 |        0 |        0
426.42/426.50	c  426s |      16 |   738849 |   168052 |    22958     15 |        0 |        0
428.62/428.71	c  428s |      16 |   739391 |   168552 |    22958     15 |        0 |        0
430.82/430.91	c  430s |      16 |   739918 |   169052 |    22958     15 |        0 |        0
433.02/433.12	c  432s |      16 |   740456 |   169552 |    22958     15 |        0 |        0
435.31/435.45	c  435s |      16 |   740995 |   170052 |    22958     15 |        0 |        0
437.41/437.55	c  437s |      16 |   743615 |   170652 |    22958     15 |        0 |        0
439.51/439.67	c  439s |      16 |   744297 |   171252 |    22958     15 |        0 |        0
441.91/442.04	c  441s |      16 |   745075 |   171952 |    22958     15 |        0 |        0
444.01/444.17	c  443s |      16 |   745734 |   172552 |    22958     15 |        0 |        0
446.01/446.20	c  445s |      16 |   746280 |   173052 |    22958     16 |        0 |        0
448.11/448.23	c  448s |      16 |   747060 |   173752 |    22958     16 |        0 |        0
450.21/450.39	c  450s |      16 |   748069 |   174652 |    22958     16 |        0 |        0
452.41/452.55	c  452s |      16 |   749043 |   175552 |    22958     16 |        0 |        0
454.61/454.77	c  454s |      16 |   750012 |   176452 |    22958     16 |        0 |        0
456.91/457.00	c  456s |      16 |   750977 |   177352 |    22958     16 |        0 |        0
459.01/459.19	c  458s |      16 |   754115 |   177952 |    22958     16 |        0 |        0
461.11/461.28	c  461s |      16 |   754670 |   178452 |    22958     16 |        0 |        0
463.51/463.63	c  463s |      16 |   755356 |   179052 |    22958     16 |        0 |        0
465.71/465.86	c  465s |      16 |   755908 |   179552 |    22958     16 |        0 |        0
468.01/468.18	c  467s |      16 |   756465 |   180052 |    22958     16 |        0 |        0
470.31/470.44	c  470s |      16 |   757126 |   180652 |    22958     16 |        0 |        0
472.41/472.50	c  472s |      16 |   757772 |   181252 |    22958     16 |        0 |        0
474.41/474.51	c  474s |      16 |   758434 |   181852 |    22958     16 |        0 |        0
476.61/476.71	c  476s |      16 |   759098 |   182452 |    22958     16 |        0 |        0
478.71/478.85	c  478s |      16 |   759772 |   183052 |    22958     16 |        0 |        0
480.91/481.00	c  480s |      16 |   760622 |   183552 |    22958     16 |        0 |        0
482.91/483.08	c  482s |      16 |   770631 |   184252 |    22958     16 |        0 |        0
485.01/485.12	c  484s |      16 |   773365 |   184952 |    22958     17 |        0 |        0
487.01/487.18	c  486s |      16 |   775736 |   186052 |    22958     17 |        0 |        0
489.21/489.36	c  489s |      16 |   778511 |   187252 |    22958     17 |        0 |        0
491.21/491.38	c  491s |      16 |   782173 |   188152 |    22958     17 |        0 |        0
493.41/493.52	c  493s |      16 |   783503 |   189252 |    22958     17 |        0 |        0
495.50/495.69	c  495s |      16 |   784743 |   190352 |    22958     17 |        0 |        0
497.60/497.79	c  497s |      16 |   785843 |   191352 |    22958     17 |        0 |        0
499.70/499.86	c  499s |      16 |   786827 |   192252 |    22958     17 |        0 |        0
501.80/501.96	c  501s |      16 |   790539 |   193052 |    22958     17 |        0 |        0
503.90/504.03	c  503s |      16 |   791220 |   193652 |    22958     17 |        0 |        0
506.10/506.25	c  506s |      16 |   792030 |   194352 |    22958     17 |        0 |        0
508.40/508.52	c  508s |      16 |   792849 |   195052 |    22958     17 |        0 |        0
510.50/510.68	c  510s |      16 |   793515 |   195652 |    22958     17 |        0 |        0
512.70/512.86	c  512s |      16 |   796250 |   196352 |    25254     17 |        0 |        0
515.10/515.27	c  515s |      16 |   798801 |   197152 |    25254     17 |        0 |        0
516.80/516.93	c  516s |      17 |   799126 |   197432 |    25254     17 |        0 |        0
519.00/519.11	c  518s |      17 |   810943 |   198032 |    25254     17 |        0 |        0
521.00/521.13	c  520s |      17 |   818994 |   198532 |    25254     18 |        0 |        0
523.20/523.32	c  523s |      17 |   820047 |   199432 |    25254     18 |        0 |        0
525.40/525.52	c  525s |      17 |   821152 |   200332 |    25254     18 |        0 |        0
527.60/527.76	c  527s |      17 |   822208 |   201232 |    25254     18 |        0 |        0
529.80/529.91	c  529s |      17 |   823099 |   202032 |    25254     18 |        0 |        0
531.80/531.96	c  531s |      17 |   824294 |   202832 |    25254     18 |        0 |        0
533.80/533.97	c  533s |      17 |   825188 |   203632 |    25254     18 |        0 |        0
536.00/536.18	c  535s |      17 |   826108 |   204432 |    25254     18 |        0 |        0
538.10/538.22	c  538s |      17 |   827013 |   205232 |    25254     18 |        0 |        0
540.30/540.46	c  540s |      17 |   828063 |   206132 |    25254     18 |        0 |        0
542.60/542.77	c  542s |      17 |   828950 |   206932 |    25254     18 |        0 |        0
544.70/544.81	c  544s |      17 |   829726 |   207632 |    25254     18 |        0 |        0
546.99/547.10	c  546s |      17 |   830597 |   208432 |    25254     18 |        0 |        0
549.19/549.33	c  549s |      17 |   831485 |   209232 |    25254     18 |        0 |        0
551.19/551.36	c  551s |      17 |   832283 |   209932 |    25254     18 |        0 |        0
553.49/553.61	c  553s |      17 |   833079 |   210632 |    25254     18 |        0 |        0
555.50/555.63	c  555s |      17 |   833737 |   211232 |    25254     18 |        0 |        0
557.49/557.69	c  557s |      17 |   834297 |   211732 |    25254     19 |        0 |        0
559.69/559.81	c  559s |      17 |   835157 |   212532 |    25254     19 |        0 |        0
561.79/561.93	c  561s |      17 |   835963 |   213232 |    25254     19 |        0 |        0
563.99/564.12	c  563s |      17 |   836900 |   214032 |    25254     19 |        0 |        0
565.99/566.13	c  565s |      17 |   837685 |   214732 |    25254     19 |        0 |        0
568.19/568.30	c  568s |      17 |   838471 |   215432 |    25254     19 |        0 |        0
570.29/570.42	c  570s |      17 |   839253 |   216132 |    25254     19 |        0 |        0
572.39/572.53	c  572s |      17 |   840090 |   216832 |    25254     19 |        0 |        0
574.49/574.61	c  574s |      17 |   840882 |   217532 |    25254     19 |        0 |        0
576.69/576.88	c  576s |      17 |   841659 |   218232 |    25254     19 |        0 |        0
578.99/579.14	c  578s |      17 |   842437 |   218932 |    25254     19 |        0 |        0
581.09/581.24	c  581s |      17 |   843097 |   219532 |    25254     19 |        0 |        0
583.19/583.30	c  583s |      17 |   843783 |   220132 |    25254     19 |        0 |        0
585.49/585.62	c  585s |      17 |   844484 |   220732 |    25254     19 |        0 |        0
587.79/587.95	c  587s |      17 |   845149 |   221332 |    25254     19 |        0 |        0
589.99/590.19	c  589s |      17 |   845833 |   221932 |    25254     19 |        0 |        0
592.19/592.34	c  592s |      17 |   848345 |   222532 |    25254     19 |        0 |        0
594.39/594.50	c  594s |      17 |   849040 |   223132 |    25254     19 |        0 |        0
596.49/596.69	c  596s |      17 |   849778 |   223732 |    25254     19 |        0 |        0
598.79/598.96	c  598s |      17 |   850445 |   224332 |    25254     19 |        0 |        0
600.98/601.19	c  600s |      17 |   850912 |   224732 |    25254     20 |        0 |        0
603.18/603.30	c  603s |      17 |   851786 |   225532 |    25254     20 |        0 |        0
605.28/605.44	c  605s |      17 |   852720 |   226332 |    25254     20 |        0 |        0
607.38/607.54	c  607s |      17 |   853631 |   227132 |    25254     20 |        0 |        0
609.39/609.58	c  609s |      17 |   854453 |   227832 |    25254     20 |        0 |        0
611.59/611.77	c  611s |      17 |   855229 |   228532 |    25254     20 |        0 |        0
613.69/613.86	c  613s |      17 |   856090 |   229232 |    25254     20 |        0 |        0
615.89/616.05	c  615s |      17 |   857737 |   229932 |    25254     20 |        0 |        0
618.09/618.29	c  618s |      17 |   862675 |   230632 |    25254     20 |        0 |        0
620.39/620.56	c  620s |      17 |   863431 |   231332 |    25254     20 |        0 |        0
622.68/622.81	c  622s |      17 |   864178 |   232032 |    25254     20 |        0 |        0
624.98/625.16	c  624s |      17 |   864951 |   232732 |    25254     20 |        0 |        0
627.08/627.23	c  627s |      17 |   865596 |   233332 |    25254     20 |        0 |        0
629.09/629.29	c  629s |      17 |   866281 |   233932 |    25254     20 |        0 |        0
631.29/631.44	c  631s |      17 |   867073 |   234632 |    25254     20 |        0 |        0
633.39/633.53	c  633s |      17 |   867741 |   235232 |    25254     20 |        0 |        0
635.49/635.61	c  635s |      17 |   868392 |   235832 |    25254     20 |        0 |        0
637.59/637.74	c  637s |      17 |   869048 |   236432 |    25254     20 |        0 |        0
639.79/639.93	c  639s |      17 |   869720 |   237032 |    25254     20 |        0 |        0
641.99/642.19	c  641s |      17 |   870278 |   237532 |    25254     21 |        0 |        0
644.19/644.40	c  644s |      17 |   871066 |   238232 |    25254     21 |        0 |        0
646.29/646.46	c  646s |      17 |   871810 |   238932 |    25254     21 |        0 |        0
648.39/648.60	c  648s |      17 |   872579 |   239632 |    25254     21 |        0 |        0
650.59/650.73	c  650s |      17 |   873362 |   240332 |    25254     21 |        0 |        0
652.69/652.86	c  652s |      17 |   874246 |   241132 |    25254     21 |        0 |        0
654.89/655.01	c  654s |      17 |   875032 |   241832 |    25254     21 |        0 |        0
656.89/657.05	c  656s |      17 |   875702 |   242432 |    25254     21 |        0 |        0
658.98/659.11	c  658s |      17 |   882653 |   242832 |    25254     21 |        0 |        0
660.99/661.15	c  660s |      17 |   912018 |   243532 |    25254     21 |        0 |        0
662.98/663.19	c  662s |      17 |   912925 |   244332 |    25254     21 |        0 |        0
665.28/665.41	c  665s |      17 |   913810 |   245132 |    25254     21 |        0 |        0
667.28/667.47	c  667s |      17 |   914592 |   245832 |    25254     21 |        0 |        0
669.58/669.76	c  669s |      17 |   915372 |   246532 |    25254     21 |        0 |        0
671.88/672.01	c  671s |      17 |   916123 |   247232 |    25254     21 |        0 |        0
674.08/674.27	c  674s |      17 |   916886 |   247932 |    25254     21 |        0 |        0
676.18/676.30	c  676s |      17 |   917523 |   248532 |    25254     21 |        0 |        0
678.18/678.31	c  678s |      17 |   923908 |   249132 |    25254     21 |        0 |        0
680.38/680.56	c  680s |      17 |   924684 |   249832 |    25254     21 |        0 |        0
682.48/682.69	c  682s |      17 |   925370 |   250432 |    25254     21 |        0 |        0
684.68/684.83	c  684s |      17 |   925917 |   250932 |    25254     22 |        0 |        0
686.98/687.11	c  686s |      17 |   926660 |   251532 |    25254     22 |        0 |        0
688.98/689.13	c  688s |      17 |   927466 |   252232 |    25254     22 |        0 |        0
691.17/691.31	c  691s |      17 |   928362 |   253032 |    25254     22 |        0 |        0
693.37/693.51	c  693s |      17 |   929273 |   253832 |    25254     22 |        0 |        0
695.57/695.74	c  695s |      17 |   930175 |   254632 |    25254     22 |        0 |        0
697.67/697.85	c  697s |      17 |   930995 |   255332 |    25254     22 |        0 |        0
699.67/699.86	c  699s |      17 |   931807 |   256032 |    25254     22 |        0 |        0
701.87/702.06	c  701s |      17 |   932608 |   256732 |    25254     22 |        0 |        0
704.17/704.39	c  704s |      17 |   933408 |   257432 |    25254     22 |        0 |        0
706.57/706.71	c  706s |      17 |   934213 |   258132 |    25254     22 |        0 |        0
708.57/708.72	c  708s |      17 |   944663 |   258632 |    25254     22 |        0 |        0
710.67/710.82	c  710s |      17 |   949065 |   259132 |    25254     22 |        0 |        0
712.87/713.06	c  712s |      17 |   951478 |   259832 |    25254     22 |        0 |        0
714.98/715.12	c  714s |      17 |   952269 |   260532 |    25254     22 |        0 |        0
717.27/717.48	c  717s |      17 |   952918 |   261132 |    25254     22 |        0 |        0
719.47/719.63	c  719s |      17 |   953587 |   261732 |    25254     22 |        0 |        0
721.67/721.85	c  721s |      17 |   954249 |   262332 |    25254     22 |        0 |        0
723.97/724.16	c  723s |      17 |   954923 |   262932 |    25254     22 |        0 |        0
726.37/726.58	c  726s |      17 |   955463 |   263432 |    25254     23 |        0 |        0
728.47/728.60	c  728s |      17 |   956105 |   264032 |    25254     23 |        0 |        0
730.47/730.63	c  730s |      17 |   956528 |   264432 |    25254     23 |        0 |        0
732.67/732.82	c  732s |      17 |   957406 |   265232 |    25254     23 |        0 |        0
734.87/735.09	c  734s |      17 |   958164 |   265932 |    25254     23 |        0 |        0
737.17/737.30	c  737s |      17 |   958906 |   266632 |    25254     23 |        0 |        0
739.18/739.36	c  739s |      17 |   959644 |   267332 |    25254     23 |        0 |        0
741.28/741.42	c  741s |      17 |   960079 |   267732 |    25254     23 |        0 |        0
743.37/743.51	c  743s |      17 |   960830 |   268432 |    25254     23 |        0 |        0
745.47/745.69	c  745s |      17 |   961608 |   269132 |    25254     23 |        0 |        0
747.47/747.69	c  747s |      17 |   962268 |   269732 |    25254     23 |        0 |        0
749.57/749.75	c  749s |      17 |   962921 |   270332 |    25254     23 |        0 |        0
751.67/751.81	c  751s |      17 |   963599 |   270932 |    25254     23 |        0 |        0
753.76/753.94	c  753s |      17 |   964250 |   271532 |    25254     23 |        0 |        0
755.96/756.16	c  755s |      17 |   965030 |   272232 |    25254     23 |        0 |        0
758.06/758.22	c  758s |      17 |   965718 |   272832 |    25254     23 |        0 |        0
760.07/760.23	c  760s |      17 |   966427 |   273432 |    25254     23 |        0 |        0
762.17/762.38	c  762s |      17 |   967094 |   274032 |    25254     23 |        0 |        0
764.46/764.62	c  764s |      17 |   967770 |   274632 |    25254     23 |        0 |        0
766.56/766.75	c  766s |      17 |   968431 |   275232 |    25254     23 |        0 |        0
768.65/768.80	c  768s |      17 |   968981 |   275732 |    25254     23 |        0 |        0
770.96/771.19	c  770s |      17 |   969652 |   276332 |    25254     23 |        0 |        0
773.26/773.42	c  773s |      17 |   970317 |   276932 |    25254     24 |        0 |        0
775.36/775.51	c  775s |      17 |   971122 |   277632 |    25254     24 |        0 |        0
778.75/778.99	c  778s |      17 |   971657 |   278132 |    25254     24 |        0 |        0
780.95/781.20	c  780s |      17 |   972418 |   278832 |    25254     24 |        0 |        0
782.94/783.20	c  782s |      17 |   973169 |   279532 |    25254     24 |        0 |        0
785.14/785.37	c  785s |      17 |   973926 |   280232 |    25254     24 |        0 |        0
787.34/787.52	c  787s |      17 |   974705 |   280932 |    25254     24 |        0 |        0
789.54/789.72	c  789s |      17 |   975480 |   281632 |    25254     24 |        0 |        0
791.74/791.91	c  791s |      17 |   976261 |   282332 |    25254     24 |        0 |        0
793.93/794.18	c  793s |      17 |   977028 |   283032 |    25254     24 |        0 |        0
796.24/796.49	c  796s |      17 |   986588 |   283732 |    25254     24 |        0 |        0
798.54/798.77	c  798s |      17 |   987397 |   284432 |    25254     24 |        0 |        0
800.83/801.01	c  800s |      17 |   988212 |   285132 |    25254     24 |        0 |        0
803.03/803.22	c  803s |      17 |   989004 |   285832 |    25254     24 |        0 |        0
805.33/805.50	c  805s |      17 |   989832 |   286532 |    25254     24 |        0 |        0
807.33/807.53	c  807s |      17 |   990504 |   287132 |    25254     24 |        0 |        0
809.62/809.84	c  809s |      17 |   991167 |   287732 |    25254     24 |        0 |        0
811.63/811.86	c  811s |      17 |   991839 |   288332 |    25254     24 |        0 |        0
813.72/813.99	c  813s |      17 |   992508 |   288932 |    25254     24 |        0 |        0
815.92/816.19	c  815s |      17 |   993054 |   289432 |    25254     25 |        0 |        0
818.23/818.41	c  818s |      17 |   993935 |   290232 |    25254     25 |        0 |        0
820.53/820.73	c  820s |      17 |   994708 |   290932 |    25254     25 |        0 |        0
822.82/823.00	c  822s |      17 |   995621 |   291732 |    25254     25 |        0 |        0
824.92/825.10	c  824s |      17 |   996380 |   292432 |    25254     25 |        0 |        0
827.22/827.40	c  827s |      17 |   997263 |   293232 |    25254     25 |        0 |        0
829.22/829.43	c  829s |      17 |   998325 |   293732 |    25254     25 |        0 |        0
831.42/831.60	c  831s |      17 |   999113 |   294432 |    27780     25 |        0 |        0
833.41/833.63	c  833s |      17 |   999893 |   295132 |    27780     25 |        0 |        0
835.61/835.82	c  835s |      17 |  1000790 |   295932 |    27780     25 |        0 |        0
836.51/836.79	c  836s |      18 |  1001145 |   296252 |    27780     25 |        0 |        0
838.71/838.96	c  838s |      18 |  1012890 |   296952 |    27780     25 |        0 |        0
840.71/840.99	c  840s |      18 |  1013867 |   297752 |    27780     25 |        0 |        0
843.00/843.26	c  843s |      18 |  1015570 |   298652 |    27780     25 |        0 |        0
845.00/845.28	c  845s |      18 |  1020440 |   299352 |    27780     25 |        0 |        0
847.20/847.49	c  847s |      18 |  1021307 |   300152 |    27780     25 |        0 |        0
849.40/849.60	c  849s |      18 |  1022235 |   300952 |    27780     25 |        0 |        0
851.61/851.85	c  851s |      18 |  1023785 |   301752 |    27780     25 |        0 |        0
853.70/853.93	c  853s |      18 |  1024550 |   302452 |    27780     25 |        0 |        0
855.71/855.93	c  855s |      18 |  1025367 |   303152 |    27780     25 |        0 |        0
857.70/857.96	c  857s |      18 |  1026012 |   303752 |    27780     25 |        0 |        0
859.80/860.01	c  859s |      18 |  1026671 |   304352 |    27780     25 |        0 |        0
861.80/862.03	c  861s |      18 |  1027273 |   304852 |    27780     26 |        0 |        0
863.90/864.10	c  863s |      18 |  1028066 |   305552 |    27780     26 |        0 |        0
865.99/866.29	c  866s |      18 |  1029064 |   306352 |    27780     26 |        0 |        0
868.19/868.49	c  868s |      18 |  1030412 |   307252 |    27780     26 |        0 |        0
870.29/870.55	c  870s |      18 |  1031326 |   308052 |    27780     26 |        0 |        0
872.39/872.69	c  872s |      18 |  1032205 |   308852 |    27780     26 |        0 |        0
874.49/874.75	c  874s |      18 |  1033122 |   309652 |    27780     26 |        0 |        0
876.69/876.99	c  876s |      18 |  1037054 |   310452 |    27780     26 |        0 |        0
878.70/879.00	c  878s |      18 |  1037865 |   311152 |    27780     26 |        0 |        0
880.79/881.04	c  880s |      18 |  1038804 |   311952 |    27780     26 |        0 |        0
882.88/883.16	c  882s |      18 |  1039738 |   312752 |    27780     26 |        0 |        0
884.98/885.25	c  885s |      18 |  1040780 |   313552 |    27780     26 |        0 |        0
887.08/887.38	c  887s |      18 |  1041551 |   314252 |    27780     26 |        0 |        0
889.18/889.43	c  889s |      18 |  1042561 |   315052 |    27780     26 |        0 |        0
891.28/891.58	c  891s |      18 |  1043516 |   315852 |    27780     26 |        0 |        0
893.38/893.70	c  893s |      18 |  1044308 |   316552 |    27780     26 |        0 |        0
895.58/895.82	c  895s |      18 |  1044992 |   317152 |    27780     26 |        0 |        0
897.58/897.85	c  897s |      18 |  1045659 |   317752 |    27780     26 |        0 |        0
899.58/899.87	c  899s |      18 |  1046372 |   318352 |    27780     26 |        0 |        0
901.68/901.90	c  901s |      18 |  1047114 |   318952 |    27780     26 |        0 |        0
903.77/904.09	c  903s |      18 |  1047827 |   319552 |    27780     27 |        0 |        0
905.87/906.17	c  905s |      18 |  1048393 |   320052 |    27780     27 |        0 |        0
907.97/908.26	c  908s |      18 |  1049270 |   320852 |    27780     27 |        0 |        0
910.17/910.43	c  910s |      18 |  1052373 |   321652 |    27780     27 |        0 |        0
912.27/912.51	c  912s |      18 |  1054174 |   322352 |    27780     27 |        0 |        0
914.36/914.65	c  914s |      18 |  1055082 |   323152 |    27780     27 |        0 |        0
916.46/916.78	c  916s |      18 |  1056042 |   323952 |    27780     27 |        0 |        0
918.66/918.91	c  918s |      18 |  1057131 |   324752 |    27780     27 |        0 |        0
920.66/920.98	c  920s |      18 |  1060843 |   325452 |    27780     27 |        0 |        0
922.86/923.10	c  922s |      18 |  1061643 |   326152 |    27780     27 |        0 |        0
924.97/925.26	c  925s |      18 |  1062457 |   326852 |    27780     27 |        0 |        0
927.26/927.55	c  927s |      18 |  1063367 |   327652 |    27780     27 |        0 |        0
929.46/929.72	c  929s |      18 |  1064301 |   328452 |    27780     27 |        0 |        0
931.47/931.78	c  931s |      18 |  1065101 |   329152 |    27780     27 |        0 |        0
933.76/934.07	c  933s |      18 |  1065899 |   329852 |    27780     27 |        0 |        0
936.05/936.35	c  936s |      18 |  1066655 |   330552 |    27780     27 |        0 |        0
938.25/938.50	c  938s |      18 |  1067436 |   331252 |    27780     27 |        0 |        0
940.36/940.64	c  940s |      18 |  1068203 |   331952 |    27780     27 |        0 |        0
942.46/942.75	c  942s |      18 |  1068998 |   332652 |    27780     27 |        0 |        0
945.04/945.32	c  945s |      18 |  1069818 |   333352 |    27780     28 |        0 |        0
947.04/947.35	c  947s |      18 |  1070593 |   334052 |    27780     28 |        0 |        0
949.24/949.50	c  949s |      18 |  1071394 |   334752 |    27780     28 |        0 |        0
951.25/951.53	c  951s |      18 |  1072298 |   335552 |    27780     28 |        0 |        0
953.34/953.60	c  953s |      18 |  1073185 |   336352 |    27780     28 |        0 |        0
955.44/955.79	c  955s |      18 |  1074215 |   337252 |    27780     28 |        0 |        0
957.54/957.85	c  957s |      18 |  1075287 |   338152 |    27780     28 |        0 |        0
959.74/960.03	c  959s |      18 |  1076405 |   338952 |    27780     28 |        0 |        0
961.84/962.13	c  961s |      18 |  1077565 |   339852 |    27780     28 |        0 |        0
964.03/964.36	c  964s |      18 |  1078703 |   340752 |    27780     28 |        0 |        0
966.23/966.58	c  966s |      18 |  1079552 |   341452 |    27780     28 |        0 |        0
968.53/968.84	c  968s |      18 |  1080331 |   342152 |    27780     28 |        0 |        0
970.73/971.05	c  970s |      18 |  1081130 |   342852 |    27780     28 |        0 |        0
972.83/973.17	c  972s |      18 |  1081898 |   343552 |    27780     28 |        0 |        0
975.13/975.40	c  975s |      18 |  1082835 |   344352 |    27780     28 |        0 |        0
977.13/977.42	c  977s |      18 |  1083690 |   345052 |    27780     28 |        0 |        0
979.33/979.62	c  979s |      18 |  1084519 |   345752 |    27780     28 |        0 |        0
981.63/981.94	c  981s |      18 |  1088703 |   346452 |    27780     28 |        0 |        0
983.73/984.06	c  983s |      18 |  1089407 |   347052 |    27780     28 |        0 |        0
986.53/986.81	c  986s |      18 |  1090183 |   347752 |    27780     29 |        0 |        0
988.52/988.84	c  988s |      18 |  1090866 |   348352 |    27780     29 |        0 |        0
990.72/991.08	c  990s |      18 |  1091897 |   349252 |    27780     29 |        0 |        0
993.02/993.33	c  993s |      18 |  1099628 |   349752 |    27780     29 |        0 |        0
995.12/995.41	c  995s |      18 |  1101940 |   350652 |    27780     29 |        0 |        0
997.61/997.97	c  997s |      18 |  1102806 |   351452 |    27780     29 |        0 |        0
999.81/1000.15	c  999s |      18 |  1103967 |   352452 |    27780     29 |        0 |        0
1001.82/1002.18	c 1001s |      18 |  1104819 |   353252 |    27780     29 |        0 |        0
1003.91/1004.22	c 1004s |      18 |  1105846 |   354152 |    27780     29 |        0 |        0
1006.01/1006.30	c 1006s |      18 |  1106908 |   355052 |    27780     29 |        0 |        0
1008.01/1008.39	c 1008s |      18 |  1107864 |   355852 |    27780     29 |        0 |        0
1010.31/1010.69	c 1010s |      18 |  1109105 |   356752 |    27780     29 |        0 |        0
1012.61/1012.90	c 1012s |      18 |  1110292 |   357652 |    27780     29 |        0 |        0
1014.60/1014.96	c 1014s |      18 |  1110980 |   358252 |    27780     29 |        0 |        0
1016.70/1017.10	c 1016s |      18 |  1111738 |   358952 |    27780     29 |        0 |        0
1018.90/1019.29	c 1019s |      18 |  1112627 |   359752 |    27780     29 |        0 |        0
1021.11/1021.46	c 1021s |      18 |  1113414 |   360452 |    27780     29 |        0 |        0
1023.41/1023.71	c 1023s |      18 |  1114241 |   361152 |    27780     29 |        0 |        0
1025.41/1025.72	c 1025s |      18 |  1114977 |   361752 |    27780     29 |        0 |        0
1027.80/1028.15	c 1027s |      18 |  1115832 |   362252 |    27780     30 |        0 |        0
1030.10/1030.41	c 1030s |      18 |  1116838 |   363152 |    27780     30 |        0 |        0
1032.10/1032.42	c 1032s |      18 |  1121375 |   363952 |    27780     30 |        0 |        0
1034.30/1034.61	c 1034s |      18 |  1122722 |   364952 |    27780     30 |        0 |        0
1036.30/1036.66	c 1036s |      18 |  1123766 |   365852 |    27780     30 |        0 |        0
1038.40/1038.72	c 1038s |      18 |  1124679 |   366652 |    27780     30 |        0 |        0
1040.70/1041.03	c 1040s |      18 |  1125594 |   367452 |    27780     30 |        0 |        0
1042.80/1043.11	c 1042s |      18 |  1126390 |   368152 |    27780     30 |        0 |        0
1044.90/1045.30	c 1045s |      18 |  1127145 |   368852 |    27780     30 |        0 |        0
1047.19/1047.57	c 1047s |      18 |  1128004 |   369652 |    27780     30 |        0 |        0
1049.39/1049.72	c 1049s |      18 |  1131932 |   370352 |    27780     30 |        0 |        0
1051.49/1051.89	c 1051s |      18 |  1132512 |   370852 |    27780     30 |        0 |        0
1053.60/1053.93	c 1053s |      18 |  1133310 |   371552 |    27780     30 |        0 |        0
1055.59/1056.00	c 1055s |      18 |  1134108 |   372252 |    27780     30 |        0 |        0
1057.90/1058.23	c 1058s |      18 |  1134920 |   372952 |    27780     30 |        0 |        0
1060.20/1060.51	c 1060s |      18 |  1135736 |   373652 |    27780     30 |        0 |        0
1062.30/1062.68	c 1062s |      18 |  1136361 |   374252 |    27780     30 |        0 |        0
1064.50/1064.85	c 1064s |      18 |  1137220 |   374952 |    27780     30 |        0 |        0
1066.79/1067.17	c 1066s |      18 |  1138006 |   375652 |    27780     30 |        0 |        0
1069.19/1069.59	c 1069s |      18 |  1138629 |   376252 |    27780     31 |        0 |        0
1071.29/1071.62	c 1071s |      18 |  1139526 |   377052 |    27780     31 |        0 |        0
1073.39/1073.75	c 1073s |      18 |  1140635 |   378052 |    27780     31 |        0 |        0
1075.38/1075.77	c 1075s |      18 |  1141603 |   378952 |    27780     31 |        0 |        0
1077.58/1077.95	c 1077s |      18 |  1142674 |   379852 |    27780     31 |        0 |        0
1079.78/1080.12	c 1079s |      18 |  1143696 |   380752 |    27780     31 |        0 |        0
1081.78/1082.17	c 1081s |      18 |  1144580 |   381552 |    27780     31 |        0 |        0
1083.78/1084.19	c 1083s |      18 |  1145883 |   382252 |    27780     31 |        0 |        0
1086.08/1086.42	c 1086s |      18 |  1146958 |   383152 |    27780     31 |        0 |        0
1088.18/1088.54	c 1088s |      18 |  1148042 |   384052 |    27780     31 |        0 |        0
1090.38/1090.78	c 1090s |      18 |  1148958 |   384852 |    27780     31 |        0 |        0
1092.47/1092.88	c 1092s |      18 |  1149888 |   385652 |    27780     31 |        0 |        0
1094.77/1095.17	c 1094s |      18 |  1150853 |   386452 |    27780     31 |        0 |        0
1096.87/1097.20	c 1096s |      18 |  1151627 |   387152 |    27780     31 |        0 |        0
1098.87/1099.29	c 1099s |      18 |  1152428 |   387852 |    27780     31 |        0 |        0
1101.07/1101.43	c 1101s |      18 |  1153243 |   388552 |    27780     31 |        0 |        0
1103.17/1103.58	c 1103s |      18 |  1154101 |   389252 |    27780     31 |        0 |        0
1105.37/1105.72	c 1105s |      18 |  1154861 |   389952 |    27780     31 |        0 |        0
1107.76/1108.10	c 1107s |      18 |  1155544 |   390552 |    27780     32 |        0 |        0
1109.76/1110.12	c 1109s |      18 |  1158067 |   391352 |    27780     32 |        0 |        0
1111.77/1112.18	c 1111s |      18 |  1158958 |   392152 |    27780     32 |        0 |        0
1113.86/1114.29	c 1114s |      18 |  1163875 |   392952 |    27780     32 |        0 |        0
1117.56/1117.91	c 1117s |      18 |  1167962 |   393852 |    27780     32 |        0 |        0
1119.57/1119.96	c 1119s |      18 |  1171240 |   394352 |    27780     32 |        0 |        0
1121.77/1122.12	c 1121s |      18 |  1172267 |   395152 |    27780     32 |        0 |        0
1123.76/1124.20	c 1123s |      18 |  1173146 |   395852 |    27780     32 |        0 |        0
1125.85/1126.27	c 1126s |      18 |  1174132 |   396652 |    27780     32 |        0 |        0
1127.95/1128.39	c 1128s |      18 |  1175278 |   397452 |    27780     32 |        0 |        0
1130.25/1130.65	c 1130s |      18 |  1176217 |   398252 |    27780     32 |        0 |        0
1132.55/1132.91	c 1132s |      18 |  1177123 |   399052 |    27780     32 |        0 |        0
1134.55/1134.94	c 1134s |      18 |  1177912 |   399752 |    27780     32 |        0 |        0
1136.85/1137.28	c 1137s |      18 |  1178760 |   400552 |    27780     32 |        0 |        0
1138.95/1139.37	c 1139s |      18 |  1179552 |   401252 |    27780     32 |        0 |        0
1140.95/1141.39	c 1141s |      18 |  1180348 |   401952 |    27780     32 |        0 |        0
1143.24/1143.61	c 1143s |      18 |  1181229 |   402752 |    27780     32 |        0 |        0
1145.24/1145.68	c 1145s |      18 |  1181983 |   403452 |    27780     32 |        0 |        0
1147.34/1147.77	c 1147s |      18 |  1182940 |   404252 |    27780     32 |        0 |        0
1149.64/1150.08	c 1149s |      18 |  1183674 |   404852 |    27780     33 |        0 |        0
1151.84/1152.28	c 1152s |      18 |  1184563 |   405652 |    27780     33 |        0 |        0
1153.93/1154.35	c 1154s |      18 |  1187701 |   406352 |    27780     33 |        0 |        0
1156.13/1156.51	c 1156s |      18 |  1188611 |   407152 |    27780     33 |        0 |        0
1158.23/1158.67	c 1158s |      18 |  1189425 |   407852 |    27780     33 |        0 |        0
1160.43/1160.81	c 1160s |      18 |  1190423 |   408752 |    27780     33 |        0 |        0
1162.44/1162.88	c 1162s |      18 |  1191459 |   409652 |    27780     33 |        0 |        0
1164.63/1165.01	c 1164s |      18 |  1192395 |   410452 |    27780     33 |        0 |        0
1166.63/1167.09	c 1166s |      18 |  1195319 |   411252 |    27780     33 |        0 |        0
1168.93/1169.34	c 1169s |      18 |  1196108 |   411952 |    27780     33 |        0 |        0
1171.13/1171.56	c 1171s |      18 |  1196902 |   412652 |    27780     33 |        0 |        0
1173.22/1173.64	c 1173s |      18 |  1197759 |   413352 |    27780     33 |        0 |        0
1175.32/1175.73	c 1175s |      18 |  1198620 |   414052 |    27780     33 |        0 |        0
1177.52/1177.92	c 1177s |      18 |  1199407 |   414752 |    27780     33 |        0 |        0
1179.72/1180.11	c 1179s |      18 |  1200478 |   415552 |    27780     33 |        0 |        0
1181.92/1182.30	c 1182s |      18 |  1201332 |   416252 |    27780     33 |        0 |        0
1184.22/1184.60	c 1184s |      18 |  1202117 |   416952 |    27780     33 |        0 |        0
1186.32/1186.77	c 1186s |      18 |  1203031 |   417652 |    27780     33 |        0 |        0
1188.61/1189.10	c 1188s |      18 |  1203886 |   418352 |    27780     33 |        0 |        0
1191.02/1191.48	c 1191s |      18 |  1204625 |   418952 |    27780     34 |        0 |        0
1193.11/1193.53	c 1193s |      18 |  1205527 |   419752 |    27780     34 |        0 |        0
1195.31/1195.75	c 1195s |      18 |  1206220 |   420352 |    27780     34 |        0 |        0
1197.41/1197.80	c 1197s |      18 |  1207516 |   421152 |    27780     34 |        0 |        0
1199.60/1200.03	c 1199s |      18 |  1208737 |   422152 |    27780     34 |        0 |        0
1201.60/1202.08	c 1201s |      18 |  1211817 |   422852 |    27780     34 |        0 |        0
1203.70/1204.16	c 1203s |      18 |  1212809 |   423652 |    27780     34 |        0 |        0
1205.80/1206.28	c 1206s |      18 |  1213752 |   424452 |    27780     34 |        0 |        0
1207.80/1208.28	c 1208s |      18 |  1215670 |   425052 |    27780     34 |        0 |        0
1210.00/1210.44	c 1210s |      18 |  1216589 |   425852 |    27780     34 |        0 |        0
1212.10/1212.56	c 1212s |      18 |  1217622 |   426652 |    27780     34 |        0 |        0
1214.20/1214.67	c 1214s |      18 |  1218679 |   427452 |    27780     34 |        0 |        0
1216.40/1216.83	c 1216s |      18 |  1219691 |   428252 |    27780     34 |        0 |        0
1218.50/1218.99	c 1218s |      18 |  1220638 |   429052 |    27780     34 |        0 |        0
1220.60/1221.01	c 1220s |      18 |  1221447 |   429752 |    27780     34 |        0 |        0
1222.59/1223.06	c 1222s |      18 |  1222254 |   430452 |    27780     34 |        0 |        0
1224.89/1225.38	c 1225s |      18 |  1223242 |   431252 |    27780     34 |        0 |        0
1227.20/1227.63	c 1227s |      18 |  1224063 |   431952 |    27780     34 |        0 |        0
1229.59/1230.04	c 1229s |      18 |  1224830 |   432652 |    27780     34 |        0 |        0
1231.70/1232.14	c 1231s |      18 |  1225413 |   433152 |    27780     34 |        0 |        0
1233.68/1234.18	c 1233s |      18 |  1225853 |   433552 |    27780     35 |        0 |        0
1237.10/1237.59	c 1237s |      18 |  1232965 |   433752 |    27780     35 |        0 |        0
1239.30/1239.77	c 1239s |      18 |  1233999 |   434652 |    27780     35 |        0 |        0
1241.39/1241.88	c 1241s |      18 |  1235056 |   435552 |    27780     35 |        0 |        0
1243.59/1244.08	c 1243s |      18 |  1236113 |   436452 |    27780     35 |        0 |        0
1245.78/1246.28	c 1246s |      18 |  1236996 |   437252 |    27780     35 |        0 |        0
1247.98/1248.44	c 1248s |      18 |  1238013 |   438152 |    27780     35 |        0 |        0
1250.08/1250.57	c 1250s |      18 |  1238885 |   438952 |    27780     35 |        0 |        0
1252.28/1252.75	c 1252s |      18 |  1239770 |   439752 |    27780     35 |        0 |        0
1254.38/1254.85	c 1254s |      18 |  1240542 |   440452 |    27780     35 |        0 |        0
1256.68/1257.17	c 1256s |      18 |  1241419 |   441252 |    27780     35 |        0 |        0
1258.68/1259.17	c 1258s |      18 |  1242189 |   441952 |    30559     35 |        0 |        0
1260.78/1261.22	c 1261s |      18 |  1242851 |   442552 |    30559     35 |        0 |        0
1262.78/1263.29	c 1263s |      18 |  1244677 |   443252 |    30559     35 |        0 |        0
1265.07/1265.57	c 1265s |      18 |  1245582 |   444052 |    30559     35 |        0 |        0
1266.57/1267.02	c 1266s |      19 |  1246072 |   444482 |    30559     35 |        0 |        0
1268.77/1269.26	c 1269s |      19 |  1250341 |   445182 |    30559     35 |        0 |        0
1270.97/1271.46	c 1271s |      19 |  1259564 |   445882 |    30559     35 |        0 |        0
1273.07/1273.59	c 1273s |      19 |  1260206 |   446482 |    30559     35 |        0 |        0
1275.37/1275.82	c 1275s |      19 |  1266508 |   447082 |    30559     35 |        0 |        0
1277.47/1277.92	c 1277s |      19 |  1267068 |   447582 |    30559     35 |        0 |        0
1279.77/1280.24	c 1280s |      19 |  1267749 |   448182 |    30559     35 |        0 |        0
1281.77/1282.25	c 1282s |      19 |  1268310 |   448682 |    30559     35 |        0 |        0
1284.07/1284.50	c 1284s |      19 |  1269011 |   449282 |    30559     35 |        0 |        0
1286.07/1286.57	c 1286s |      19 |  1269571 |   449782 |    30559     35 |        0 |        0
1288.17/1288.65	c 1288s |      19 |  1270141 |   450282 |    30559     35 |        0 |        0
1290.36/1290.82	c 1290s |      19 |  1270588 |   450682 |    30559     36 |        0 |        0
1292.46/1292.96	c 1292s |      19 |  1271274 |   451282 |    30559     36 |        0 |        0
1294.76/1295.22	c 1295s |      19 |  1271917 |   451882 |    30559     36 |        0 |        0
1296.76/1297.24	c 1297s |      19 |  1272917 |   452482 |    30559     36 |        0 |        0
1298.86/1299.35	c 1299s |      19 |  1273575 |   453082 |    30559     36 |        0 |        0
1301.16/1301.60	c 1301s |      19 |  1274215 |   453682 |    30559     36 |        0 |        0
1303.25/1303.78	c 1303s |      19 |  1274996 |   454382 |    30559     36 |        0 |        0
1305.55/1306.09	c 1305s |      19 |  1275693 |   454982 |    30559     36 |        0 |        0
1307.75/1308.24	c 1308s |      19 |  1276341 |   455582 |    30559     36 |        0 |        0
1309.95/1310.45	c 1310s |      19 |  1276990 |   456182 |    30559     36 |        0 |        0
1312.05/1312.52	c 1312s |      19 |  1277543 |   456682 |    30559     36 |        0 |        0
1314.24/1314.72	c 1314s |      19 |  1278224 |   457282 |    30559     36 |        0 |        0
1316.54/1317.03	c 1316s |      19 |  1278886 |   457882 |    30559     36 |        0 |        0
1318.84/1319.37	c 1319s |      19 |  1279565 |   458482 |    30559     36 |        0 |        0
1321.14/1321.69	c 1321s |      19 |  1280219 |   459082 |    30559     36 |        0 |        0
1323.43/1323.90	c 1323s |      19 |  1281949 |   459682 |    30559     36 |        0 |        0
1325.63/1326.16	c 1325s |      19 |  1282612 |   460282 |    30559     36 |        0 |        0
1327.93/1328.42	c 1328s |      19 |  1283283 |   460882 |    30559     36 |        0 |        0
1330.23/1330.78	c 1330s |      19 |  1283972 |   461482 |    30559     36 |        0 |        0
1332.43/1332.94	c 1332s |      19 |  1284531 |   461982 |    30559     36 |        0 |        0
1334.53/1335.09	c 1334s |      19 |  1285100 |   462482 |    30559     36 |        0 |        0
1336.63/1337.14	c 1336s |      19 |  1285682 |   462982 |    30559     36 |        0 |        0
1338.73/1339.29	c 1339s |      19 |  1286294 |   463482 |    30559     36 |        0 |        0
1340.83/1341.33	c 1341s |      19 |  1286868 |   463982 |    30559     36 |        0 |        0
1343.12/1343.61	c 1343s |      19 |  1287435 |   464482 |    30559     36 |        0 |        0
1345.52/1346.00	c 1345s |      19 |  1287992 |   464982 |    30559     36 |        0 |        0
1347.72/1348.21	c 1348s |      19 |  1288408 |   465382 |    30559     36 |        0 |        0
1350.12/1350.63	c 1350s |      19 |  1288994 |   465882 |    30559     36 |        0 |        0
1352.32/1352.84	c 1352s |      19 |  1289318 |   466182 |    30559     37 |        0 |        0
1354.42/1354.99	c 1354s |      19 |  1289983 |   466782 |    30559     37 |        0 |        0
1356.62/1357.13	c 1356s |      19 |  1290774 |   467482 |    30559     37 |        0 |        0
1358.82/1359.40	c 1359s |      19 |  1291515 |   468182 |    30559     37 |        0 |        0
1361.02/1361.50	c 1361s |      19 |  1292151 |   468782 |    30559     37 |        0 |        0
1363.12/1363.68	c 1363s |      19 |  1292721 |   469282 |    30559     37 |        0 |        0
1365.42/1365.98	c 1365s |      19 |  1293517 |   469982 |    30559     37 |        0 |        0
1367.82/1368.37	c 1368s |      19 |  1294197 |   470582 |    30559     37 |        0 |        0
1369.91/1370.44	c 1370s |      19 |  1294747 |   471082 |    30559     37 |        0 |        0
1372.11/1372.65	c 1372s |      19 |  1295284 |   471582 |    30559     37 |        0 |        0
1374.21/1374.76	c 1374s |      19 |  1295818 |   472082 |    30559     37 |        0 |        0
1376.42/1376.99	c 1376s |      19 |  1305844 |   472482 |    30559     37 |        0 |        0
1378.52/1379.04	c 1378s |      19 |  1306371 |   472982 |    30559     37 |        0 |        0
1380.72/1381.24	c 1381s |      19 |  1307027 |   473482 |    30559     37 |        0 |        0
1382.82/1383.36	c 1383s |      19 |  1307564 |   473982 |    30559     37 |        0 |        0
1385.02/1385.56	c 1385s |      19 |  1308137 |   474482 |    30559     37 |        0 |        0
1387.22/1387.79	c 1387s |      19 |  1308669 |   474982 |    30559     37 |        0 |        0
1389.72/1390.21	c 1390s |      19 |  1309324 |   475582 |    30559     37 |        0 |        0
1392.02/1392.50	c 1392s |      19 |  1309972 |   476182 |    30559     37 |        0 |        0
1394.32/1394.85	c 1394s |      19 |  1310496 |   476682 |    30559     37 |        0 |        0
1396.31/1396.88	c 1396s |      19 |  1311068 |   477182 |    30559     37 |        0 |        0
1398.51/1399.00	c 1398s |      19 |  1311625 |   477682 |    30559     37 |        0 |        0
1400.61/1401.19	c 1400s |      19 |  1312168 |   478182 |    30559     37 |        0 |        0
1402.81/1403.38	c 1403s |      19 |  1312720 |   478682 |    30559     37 |        0 |        0
1405.01/1405.53	c 1405s |      19 |  1313172 |   479082 |    30559     37 |        0 |        0
1407.21/1407.71	c 1407s |      19 |  1313608 |   479482 |    30559     37 |        0 |        0
1409.21/1409.74	c 1409s |      19 |  1314067 |   479882 |    30559     37 |        0 |        0
1411.61/1412.19	c 1411s |      19 |  1314600 |   480382 |    30559     37 |        0 |        0
1413.71/1414.28	c 1414s |      19 |  1315022 |   480782 |    30559     37 |        0 |        0
1415.71/1416.28	c 1416s |      19 |  1315466 |   481182 |    30559     37 |        0 |        0
1417.91/1418.43	c 1418s |      19 |  1315898 |   481582 |    30559     37 |        0 |        0
1420.91/1421.43	c 1421s |      19 |  1316320 |   481982 |    30559     38 |        0 |        0
1422.91/1423.43	c 1423s |      19 |  1316644 |   482282 |    30559     38 |        0 |        0
1425.21/1425.71	c 1425s |      19 |  1317404 |   482982 |    30559     38 |        0 |        0
1427.50/1428.04	c 1427s |      19 |  1318157 |   483682 |    30559     38 |        0 |        0
1429.51/1430.07	c 1429s |      19 |  1318813 |   484282 |    30559     38 |        0 |        0
1431.71/1432.30	c 1432s |      19 |  1319452 |   484882 |    30559     38 |        0 |        0
1433.91/1434.44	c 1434s |      19 |  1320093 |   485482 |    30559     38 |        0 |        0
1436.11/1436.69	c 1436s |      19 |  1320745 |   486082 |    30559     38 |        0 |        0
1438.41/1438.94	c 1438s |      19 |  1321402 |   486682 |    30559     38 |        0 |        0
1440.51/1441.01	c 1440s |      19 |  1321928 |   487182 |    30559     38 |        0 |        0
1442.60/1443.20	c 1442s |      19 |  1322588 |   487782 |    30559     38 |        0 |        0
1444.70/1445.25	c 1445s |      19 |  1323113 |   488282 |    30559     38 |        0 |        0
1446.80/1447.31	c 1447s |      19 |  1323645 |   488782 |    30559     38 |        0 |        0
1449.20/1449.72	c 1449s |      19 |  1324279 |   489382 |    30559     38 |        0 |        0
1451.51/1452.09	c 1451s |      19 |  1324919 |   489982 |    30559     38 |        0 |        0
1453.81/1454.38	c 1454s |      19 |  1326993 |   490382 |    30559     38 |        0 |        0
1455.80/1456.39	c 1456s |      19 |  1327542 |   490882 |    30559     38 |        0 |        0
1458.10/1458.63	c 1458s |      19 |  1328191 |   491482 |    30559     38 |        0 |        0
1460.50/1461.02	c 1460s |      19 |  1328846 |   492082 |    30559     38 |        0 |        0
1462.50/1463.08	c 1462s |      19 |  1329383 |   492582 |    30559     38 |        0 |        0
1464.70/1465.23	c 1465s |      19 |  1329936 |   493082 |    30559     38 |        0 |        0
1466.80/1467.32	c 1467s |      19 |  1330382 |   493482 |    30559     38 |        0 |        0
1468.90/1469.48	c 1469s |      19 |  1330811 |   493882 |    30559     38 |        0 |        0
1471.30/1471.85	c 1471s |      19 |  1331401 |   494382 |    30559     38 |        0 |        0
1473.50/1474.04	c 1473s |      19 |  1331827 |   494782 |    30559     38 |        0 |        0
1475.70/1476.24	c 1476s |      19 |  1332381 |   495282 |    30559     38 |        0 |        0
1477.69/1478.27	c 1478s |      19 |  1332808 |   495682 |    30559     38 |        0 |        0
1480.10/1480.65	c 1480s |      19 |  1333365 |   496182 |    30559     38 |        0 |        0
1482.49/1483.03	c 1482s |      19 |  1333912 |   496682 |    30559     38 |        0 |        0
1484.69/1485.28	c 1485s |      19 |  1334483 |   497182 |    30559     38 |        0 |        0
1487.29/1487.83	c 1487s |      19 |  1334911 |   497582 |    30559     39 |        0 |        0
1489.39/1489.94	c 1489s |      19 |  1335445 |   498082 |    30559     39 |        0 |        0
1491.39/1491.96	c 1491s |      19 |  1336106 |   498682 |    30559     39 |        0 |        0
1493.69/1494.24	c 1494s |      19 |  1336849 |   499382 |    30559     39 |        0 |        0
1495.99/1496.51	c 1496s |      19 |  1337590 |   500082 |    30559     39 |        0 |        0
1498.09/1498.61	c 1498s |      19 |  1338225 |   500682 |    30559     39 |        0 |        0
1500.29/1500.86	c 1500s |      19 |  1338879 |   501282 |    30559     39 |        0 |        0
1502.59/1503.12	c 1502s |      19 |  1339530 |   501882 |    30559     39 |        0 |        0
1504.59/1505.15	c 1504s |      19 |  1340161 |   502482 |    30559     39 |        0 |        0
1506.89/1507.44	c 1507s |      19 |  1340812 |   503082 |    30559     39 |        0 |        0
1509.19/1509.76	c 1509s |      19 |  1341437 |   503682 |    30559     39 |        0 |        0
1511.39/1511.92	c 1511s |      19 |  1342497 |   504282 |    30559     39 |        0 |        0
1513.59/1514.10	c 1513s |      19 |  1343057 |   504782 |    30559     39 |        0 |        0
1515.59/1516.19	c 1515s |      19 |  1343591 |   505282 |    30559     39 |        0 |        0
1517.69/1518.27	c 1518s |      19 |  1344126 |   505782 |    30559     39 |        0 |        0
1519.79/1520.36	c 1520s |      19 |  1344665 |   506282 |    30559     39 |        0 |        0
1521.89/1522.49	c 1522s |      19 |  1345214 |   506782 |    30559     39 |        0 |        0
1524.28/1524.80	c 1524s |      19 |  1345733 |   507282 |    30559     39 |        0 |        0
1526.48/1527.03	c 1526s |      19 |  1346293 |   507782 |    30559     39 |        0 |        0
1528.68/1529.21	c 1529s |      19 |  1346838 |   508282 |    30559     39 |        0 |        0
1530.98/1531.50	c 1531s |      19 |  1347379 |   508782 |    30559     39 |        0 |        0
1533.28/1533.80	c 1533s |      19 |  1347924 |   509282 |    30559     39 |        0 |        0
1535.28/1535.86	c 1535s |      19 |  1348350 |   509682 |    30559     39 |        0 |        0
1537.78/1538.34	c 1538s |      19 |  1350435 |   510182 |    30559     39 |        0 |        0
1539.98/1540.58	c 1540s |      19 |  1352531 |   510682 |    30559     39 |        0 |        0
1542.09/1542.66	c 1542s |      19 |  1354380 |   510782 |    30559     39 |        0 |        0
1544.09/1544.67	c 1544s |      19 |  1354939 |   511282 |    30559     39 |        0 |        0
1546.19/1546.72	c 1546s |      19 |  1355474 |   511782 |    30559     39 |        0 |        0
1548.69/1549.21	c 1548s |      19 |  1356032 |   512282 |    30559     39 |        0 |        0
1551.09/1551.68	c 1551s |      19 |  1356581 |   512782 |    30559     39 |        0 |        0
1554.58/1555.16	c 1554s |      19 |  1357127 |   513282 |    30559     40 |        0 |        0
1556.88/1557.44	c 1557s |      19 |  1357901 |   513982 |    30559     40 |        0 |        0
1558.98/1559.52	c 1559s |      19 |  1358572 |   514582 |    30559     40 |        0 |        0
1561.08/1561.63	c 1561s |      19 |  1359212 |   515182 |    30559     40 |        0 |        0
1563.38/1563.98	c 1563s |      19 |  1359960 |   515882 |    30559     40 |        0 |        0
1565.58/1566.12	c 1565s |      19 |  1360615 |   516482 |    30559     40 |        0 |        0
1567.58/1568.19	c 1567s |      19 |  1361240 |   517082 |    30559     40 |        0 |        0
1569.68/1570.21	c 1570s |      19 |  1361918 |   517682 |    30559     40 |        0 |        0
1571.88/1572.43	c 1572s |      19 |  1362561 |   518282 |    30559     40 |        0 |        0
1574.08/1574.62	c 1574s |      19 |  1363198 |   518882 |    30559     40 |        0 |        0
1576.38/1576.94	c 1576s |      19 |  1363827 |   519482 |    30559     40 |        0 |        0
1578.48/1579.04	c 1578s |      19 |  1364501 |   520082 |    30559     40 |        0 |        0
1580.58/1581.19	c 1580s |      19 |  1365145 |   520682 |    30559     40 |        0 |        0
1582.98/1583.53	c 1583s |      19 |  1365798 |   521282 |    30559     40 |        0 |        0
1584.98/1585.56	c 1585s |      19 |  1366336 |   521782 |    30559     40 |        0 |        0
1586.97/1587.58	c 1587s |      19 |  1366882 |   522282 |    30559     40 |        0 |        0
1589.17/1589.79	c 1589s |      19 |  1367427 |   522782 |    30559     40 |        0 |        0
1591.67/1592.20	c 1591s |      19 |  1368943 |   523282 |    30559     40 |        0 |        0
1593.67/1594.29	c 1594s |      19 |  1369479 |   523782 |    30559     40 |        0 |        0
1595.87/1596.42	c 1596s |      19 |  1370033 |   524282 |    30559     40 |        0 |        0
1598.07/1598.65	c 1598s |      19 |  1370666 |   524882 |    30559     40 |        0 |        0
1600.27/1600.82	c 1600s |      19 |  1371195 |   525382 |    30559     40 |        0 |        0
1602.47/1603.07	c 1602s |      19 |  1371726 |   525882 |    30559     40 |        0 |        0
1604.67/1605.29	c 1605s |      19 |  1372255 |   526382 |    30559     40 |        0 |        0
1606.97/1607.59	c 1607s |      19 |  1372779 |   526882 |    30559     40 |        0 |        0
1609.37/1609.94	c 1609s |      19 |  1373435 |   527482 |    30559     40 |        0 |        0
1611.37/1611.99	c 1611s |      19 |  1373972 |   527982 |    30559     40 |        0 |        0
1613.47/1614.06	c 1613s |      19 |  1374525 |   528482 |    30559     40 |        0 |        0
1615.48/1616.09	c 1615s |      19 |  1375062 |   528982 |    30559     40 |        0 |        0
1617.77/1618.30	c 1618s |      19 |  1375506 |   529382 |    30559     41 |        0 |        0
1619.88/1620.43	c 1620s |      19 |  1376265 |   530082 |    30559     41 |        0 |        0
1622.17/1622.74	c 1622s |      19 |  1377018 |   530782 |    30559     41 |        0 |        0
1624.18/1624.74	c 1624s |      19 |  1377664 |   531382 |    30559     41 |        0 |        0
1626.57/1627.11	c 1626s |      19 |  1378319 |   531982 |    30559     41 |        0 |        0
1628.87/1629.43	c 1629s |      19 |  1378975 |   532582 |    30559     41 |        0 |        0
1631.07/1631.65	c 1631s |      19 |  1381101 |   533082 |    30559     41 |        0 |        0
1633.07/1633.66	c 1633s |      19 |  1381598 |   533482 |    30559     41 |        0 |        0
1635.27/1635.86	c 1635s |      19 |  1382141 |   533982 |    30559     41 |        0 |        0
1637.47/1638.01	c 1637s |      19 |  1382689 |   534482 |    30559     41 |        0 |        0
1639.47/1640.10	c 1639s |      19 |  1383214 |   534982 |    30559     41 |        0 |        0
1641.77/1642.31	c 1642s |      19 |  1383753 |   535482 |    30559     41 |        0 |        0
1644.07/1644.61	c 1644s |      19 |  1384277 |   535982 |    30559     41 |        0 |        0
1646.17/1646.76	c 1646s |      19 |  1384803 |   536482 |    30559     41 |        0 |        0
1648.47/1649.09	c 1648s |      19 |  1385349 |   536982 |    30559     41 |        0 |        0
1650.67/1651.26	c 1651s |      19 |  1385888 |   537482 |    30559     41 |        0 |        0
1653.06/1653.62	c 1653s |      19 |  1386429 |   537982 |    30559     41 |        0 |        0
1655.16/1655.78	c 1655s |      19 |  1386844 |   538382 |    30559     41 |        0 |        0
1662.47/1663.09	c 1662s |      19 |  1393374 |   538682 |    30559     41 |        0 |        0
1664.87/1665.44	c 1665s |      19 |  1393925 |   539182 |    30559     41 |        0 |        0
1667.17/1667.74	c 1667s |      19 |  1394574 |   539682 |    30559     41 |        0 |        0
1669.57/1670.10	c 1669s |      19 |  1395109 |   540182 |    30559     41 |        0 |        0
1671.57/1672.12	c 1671s |      19 |  1395547 |   540582 |    30559     41 |        0 |        0
1673.97/1674.51	c 1674s |      19 |  1396097 |   541082 |    30559     41 |        0 |        0
1676.27/1676.80	c 1676s |      19 |  1396664 |   541582 |    30559     41 |        0 |        0
1678.36/1678.97	c 1678s |      19 |  1397098 |   541982 |    30559     41 |        0 |        0
1680.86/1681.40	c 1681s |      19 |  1397657 |   542482 |    30559     41 |        0 |        0
1683.06/1683.66	c 1683s |      19 |  1398202 |   542982 |    30559     41 |        0 |        0
1685.56/1686.10	c 1685s |      19 |  1398726 |   543482 |    30559     41 |        0 |        0
1687.56/1688.18	c 1687s |      19 |  1399159 |   543882 |    30559     41 |        0 |        0
1689.76/1690.33	c 1690s |      19 |  1399589 |   544282 |    30559     41 |        0 |        0
1692.76/1693.36	c 1693s |      19 |  1400038 |   544682 |    30559     42 |        0 |        0
1694.76/1695.37	c 1695s |      19 |  1400604 |   545182 |    30559     42 |        0 |        0
1696.77/1697.40	c 1697s |      19 |  1401164 |   545682 |    30559     42 |        0 |        0
1698.86/1699.43	c 1699s |      19 |  1401714 |   546182 |    30559     42 |        0 |        0
1700.86/1701.45	c 1701s |      19 |  1402238 |   546682 |    30559     42 |        0 |        0
1702.96/1703.53	c 1703s |      19 |  1402666 |   547082 |    30559     42 |        0 |        0
1705.06/1705.65	c 1705s |      19 |  1403201 |   547582 |    30559     42 |        0 |        0
1707.16/1707.79	c 1707s |      19 |  1403731 |   548082 |    30559     42 |        0 |        0
1709.26/1709.84	c 1709s |      19 |  1404282 |   548582 |    30559     42 |        0 |        0
1711.56/1712.17	c 1711s |      19 |  1404938 |   549182 |    30559     42 |        0 |        0
1713.96/1714.50	c 1714s |      19 |  1405590 |   549782 |    30559     42 |        0 |        0
1715.96/1716.53	c 1716s |      19 |  1406288 |   550382 |    30559     42 |        0 |        0
1718.26/1718.88	c 1718s |      19 |  1406949 |   550982 |    30559     42 |        0 |        0
1723.06/1723.60	c 1723s |      19 |  1407427 |   551382 |    30559     42 |        0 |        0
1725.36/1725.99	c 1725s |      19 |  1408145 |   551982 |    30559     42 |        0 |        0
1727.56/1728.18	c 1727s |      19 |  1408699 |   552482 |    30559     42 |        0 |        0
1729.95/1730.55	c 1730s |      19 |  1409244 |   552982 |    30559     42 |        0 |        0
1732.25/1732.87	c 1732s |      19 |  1409802 |   553482 |    30559     42 |        0 |        0
1734.26/1734.88	c 1734s |      19 |  1410233 |   553882 |    30559     42 |        0 |        0
1736.25/1736.88	c 1736s |      19 |  1410673 |   554282 |    30559     42 |        0 |        0
1738.45/1739.03	c 1738s |      19 |  1411217 |   554782 |    30559     42 |        0 |        0
1740.76/1741.38	c 1741s |      19 |  1411782 |   555282 |    30559     42 |        0 |        0
1743.15/1743.73	c 1743s |      19 |  1412332 |   555782 |    30559     42 |        0 |        0
1745.45/1746.00	c 1745s |      19 |  1412872 |   556282 |    30559     42 |        0 |        0
1747.65/1748.28	c 1748s |      19 |  1413418 |   556782 |    30559     42 |        0 |        0
1749.95/1750.58	c 1750s |      19 |  1413978 |   557282 |    30559     42 |        0 |        0
1752.05/1752.64	c 1752s |      19 |  1414430 |   557682 |    30559     42 |        0 |        0
1754.35/1754.99	c 1754s |      19 |  1414990 |   558182 |    30559     42 |        0 |        0
1756.85/1757.41	c 1757s |      19 |  1415538 |   558682 |    30559     42 |        0 |        0
1759.25/1759.80	c 1759s |      19 |  1416090 |   559182 |    30559     42 |        0 |        0
1761.35/1761.94	c 1761s |      19 |  1416528 |   559582 |    30559     42 |        0 |        0
1763.45/1764.01	c 1763s |      19 |  1416975 |   559982 |    30559     42 |        0 |        0
1765.65/1766.23	c 1766s |      19 |  1417304 |   560282 |    30559     43 |        0 |        0
1767.95/1768.53	c 1768s |      19 |  1417857 |   560782 |    30559     43 |        0 |        0
1770.15/1770.79	c 1770s |      19 |  1418513 |   561382 |    30559     43 |        0 |        0
1772.25/1772.82	c 1772s |      19 |  1419166 |   561982 |    30559     43 |        0 |        0
1775.45/1776.00	c 1775s |      19 |  1419712 |   562482 |    30559     43 |        0 |        0
1777.65/1778.25	c 1778s |      19 |  1420375 |   563082 |    30559     43 |        0 |        0
1779.85/1780.45	c 1780s |      19 |  1421002 |   563682 |    30559     43 |        0 |        0
1782.15/1782.76	c 1782s |      19 |  1421622 |   564282 |    30559     43 |        0 |        0
1784.24/1784.81	c 1784s |      19 |  1422153 |   564782 |    30559     43 |        0 |        0
1786.54/1787.12	c 1786s |      19 |  1422793 |   565382 |    30559     43 |        0 |        0
1788.94/1789.59	c 1789s |      19 |  1425758 |   565982 |    30559     43 |        0 |        0
1791.24/1791.82	c 1791s |      19 |  1426408 |   566582 |    30559     43 |        0 |        0
1793.65/1794.22	c 1794s |      19 |  1427051 |   567182 |    30559     43 |        0 |        0
1795.75/1796.33	c 1796s |      19 |  1427575 |   567682 |    30559     43 |        0 |        0
1797.95/1798.53	c 1798s |      19 |  1428128 |   568182 |    30559     43 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4090226-1466038970/watcher-4090226-1466038970 -o /tmp/evaluation-result-4090226-1466038970/solver-4090226-1466038970 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090226-1466038970.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.17 2.10 2.09 3/180 9634
/proc/meminfo: memFree=30394400/32872528 swapFree=496356/529060
[pid=9634] ppid=9631 vsize=631228 CPUtime=0 cores=0,2,4,6
/proc/9634/stat : 9634 (toysat) R 9631 9634 5955 0 -1 4202496 2338 0 0 0 0 0 0 0 20 0 4 0 5942478 646377472 3209 33554432000 4194304 16246674 140734090076576 140734090076000 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9634/statm: 158575 3217 441 2943 0 155469 0
[pid=9634/tid=9635] ppid=9631 vsize=649660 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9635/stat : 9635 (toysat) S 9631 9634 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5942478 665251840 3278 33554432000 4194304 16246674 140734090076576 140594095566064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9634/tid=9636] ppid=9631 vsize=653756 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9636/stat : 9636 (toysat) S 9631 9634 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5942478 669446144 3296 33554432000 4194304 16246674 140734090076576 140594009582832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9634/tid=9637] ppid=9631 vsize=657852 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9637/stat : 9637 (toysat) S 9631 9634 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5942478 673640448 3312 33554432000 4194304 16246674 140734090076576 140593999109296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.17 2.10 2.09 3/180 9634
/proc/meminfo: memFree=30394400/32872528 swapFree=496356/529060
[pid=9634] ppid=9631 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/9634/stat : 9634 (toysat) R 9631 9634 5955 0 -1 4202496 21792 0 0 0 5 4 0 0 20 0 4 0 5942478 1250496512 22601 33554432000 4194304 16246674 140734090076576 140734090075888 6739976 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9634/statm: 305297 22601 831 2943 0 302191 0
[pid=9634/tid=9635] ppid=9631 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9635/stat : 9635 (toysat) S 9631 9634 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5942478 1250496512 22601 33554432000 4194304 16246674 140734090076576 140594095566064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9634/tid=9636] ppid=9631 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9636/stat : 9636 (toysat) S 9631 9634 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5942478 1250496512 22601 33554432000 4194304 16246674 140734090076576 140594009582832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9634/tid=9637] ppid=9631 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9637/stat : 9637 (toysat) S 9631 9634 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5942478 1250496512 22601 33554432000 4194304 16246674 140734090076576 140593999109296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200474 s]
/proc/loadavg: 2.17 2.10 2.09 3/180 9634
/proc/meminfo: memFree=30394400/32872528 swapFree=496356/529060
[pid=9634] ppid=9631 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/9634/stat : 9634 (toysat) R 9631 9634 5955 0 -1 4202496 37964 0 0 0 12 7 0 0 20 0 4 0 5942478 1250496512 38773 33554432000 4194304 16246674 140734090076576 140734090075888 5516804 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9634/statm: 305297 38781 833 2943 0 302191 0
[pid=9634/tid=9635] ppid=9631 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9635/stat : 9635 (toysat) S 9631 9634 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5942478 1250496512 38787 33554432000 4194304 16246674 140734090076576 140594095566064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9634/tid=9636] ppid=9631 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9636/stat : 9636 (toysat) S 9631 9634 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5942478 1250496512 38791 33554432000 4194304 16246674 140734090076576 140594009582832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9634/tid=9637] ppid=9631 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9637/stat : 9637 (toysat) S 9631 9634 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5942478 1250496512 38791 33554432000 4194304 16246674 140734090076576 140593999109296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300432 s]
/proc/loadavg: 2.17 2.10 2.09 3/180 9634
/proc/meminfo: memFree=30394400/32872528 swapFree=496356/529060
[pid=9634] ppid=9631 vsize=1221188 CPUtime=0.29 cores=0,2,4,6
/proc/9634/stat : 9634 (toysat) R 9631 9634 5955 0 -1 4202496 53891 0 0 0 20 9 0 0 20 0 4 0 5942478 1250496512 54700 33554432000 4194304 16246674 140734090076576 140734090075888 5523709 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9634/statm: 305297 54710 871 2943 0 302191 0
[pid=9634/tid=9635] ppid=9631 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9635/stat : 9635 (toysat) S 9631 9634 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5942478 1250496512 54714 33554432000 4194304 16246674 140734090076576 140594095566064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9634/tid=9636] ppid=9631 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9636/stat : 9636 (toysat) S 9631 9634 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5942478 1250496512 54718 33554432000 4194304 16246674 140734090076576 140594009582832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9634/tid=9637] ppid=9631 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9637/stat : 9637 (toysat) S 9631 9634 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5942478 1250496512 54723 33554432000 4194304 16246674 140734090076576 140593999109296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700347 s]
/proc/loadavg: 2.17 2.10 2.09 3/180 9634
/proc/meminfo: memFree=30394400/32872528 swapFree=496356/529060
[pid=9634] ppid=9631 vsize=1221188 CPUtime=0.69 cores=0,2,4,6
/proc/9634/stat : 9634 (toysat) R 9631 9634 5955 0 -1 4202496 116146 0 0 0 51 18 0 0 20 0 4 0 5942478 1250496512 116955 33554432000 4194304 16246674 140734090076576 140734090075888 5661217 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9634/statm: 305297 116963 871 2943 0 302191 0
[pid=9634/tid=9635] ppid=9631 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9635/stat : 9635 (toysat) S 9631 9634 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5942478 1250496512 116968 33554432000 4194304 16246674 140734090076576 140594095566064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9634/tid=9636] ppid=9631 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9636/stat : 9636 (toysat) S 9631 9634 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5942478 1250496512 116972 33554432000 4194304 16246674 140734090076576 140594009582832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9634/tid=9637] ppid=9631 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9637/stat : 9637 (toysat) S 9631 9634 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5942478 1250496512 116978 33554432000 4194304 16246674 140734090076576 140593999109296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50034 s]
/proc/loadavg: 2.17 2.10 2.09 3/184 9638
/proc/meminfo: memFree=29684696/32872528 swapFree=496356/529060
[pid=9634] ppid=9631 vsize=1221188 CPUtime=1.49 cores=0,2,4,6
/proc/9634/stat : 9634 (toysat) R 9631 9634 5955 0 -1 4202496 236778 0 0 0 114 35 0 0 20 0 4 0 5942478 1250496512 237587 33554432000 4194304 16246674 140734090076576 140734090058496 13954518 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9634/statm: 305297 237596 871 2943 0 302191 0
[pid=9634/tid=9635] ppid=9631 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9635/stat : 9635 (toysat) S 9631 9634 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5942478 1250496512 237602 33554432000 4194304 16246674 140734090076576 140594095566064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9634/tid=9636] ppid=9631 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9636/stat : 9636 (toysat) S 9631 9634 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5942478 1250496512 237608 33554432000 4194304 16246674 140734090076576 140594009582832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9634/tid=9637] ppid=9631 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9637/stat : 9637 (toysat) S 9631 9634 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5942478 1250496512 237614 33554432000 4194304 16246674 140734090076576 140593999109296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.10036 s]
/proc/loadavg: 2.15 2.10 2.09 3/184 9638
/proc/meminfo: memFree=29328444/32872528 swapFree=496356/529060
[pid=9634] ppid=9631 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/9634/stat : 9634 (toysat) R 9631 9634 5955 0 -1 4202496 267641 0 0 0 270 39 0 0 20 0 4 0 5942478 1337528320 268450 33554432000 4194304 16246674 140734090076576 140734090058496 5721979 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9634/statm: 326545 268450 874 2943 0 323439 0
[pid=9634/tid=9635] ppid=9631 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9635/stat : 9635 (toysat) S 9631 9634 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5942478 1337528320 268450 33554432000 4194304 16246674 140734090076576 140594095566064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9634/tid=9636] ppid=9631 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9636/stat : 9636 (toysat) S 9631 9634 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5942478 1337528320 268450 33554432000 4194304 16246674 140734090076576 140594009582832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9634/tid=9637] ppid=9631 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9637/stat : 9637 (toysat) S 9631 9634 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5942478 1337528320 268450 33554432000 4194304 16246674 140734090076576 140593999109296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30036 s]
/proc/loadavg: 2.15 2.10 2.09 3/184 9638
/proc/meminfo: memFree=29320596/32872528 swapFree=496356/529060
[pid=9634] ppid=9631 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/9634/stat : 9634 (toysat) R 9631 9634 5955 0 -1 4202496 267756 0 0 0 590 39 0 0 20 0 4 0 5942478 1338576896 268565 33554432000 4194304 16246674 140734090076576 140734090058496 5664005 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9634/statm: 326801 268565 880 2943 0 323695 0
[pid=9634/tid=9635] ppid=9631 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9635/stat : 9635 (toysat) S 9631 9634 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5942478 1338576896 268565 33554432000 4194304 16246674 140734090076576 140594095566064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9634/tid=9636] ppid=9631 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9636/stat : 9636 (toysat) S 9631 9634 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5942478 1338576896 268565 33554432000 4194304 16246674 140734090076576 140594009582832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9634/tid=9637] ppid=9631 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9637/stat : 9637 (toysat) S 9631 9634 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5942478 1338576896 268565 33554432000 4194304 16246674 140734090076576 140593999109296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7003 s]
/proc/loadavg: 2.14 2.10 2.09 3/184 9638
/proc/meminfo: memFree=29318776/32872528 swapFree=496356/529060
[pid=9634] ppid=9631 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/9634/stat : 9634 (toysat) R 9631 9634 5955 0 -1 4202496 268235 0 0 0 1230 39 0 0 20 0 4 0 5942478 1339625472 269044 33554432000 4194304 16246674 140734090076576 140734090058496 5677821 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9634/statm: 327057 269044 880 2943 0 323951 0
[pid=9634/tid=9635] ppid=9631 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9635/stat : 9635 (toysat) S 9631 9634 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5942478 1339625472 269044 33554432000 4194304 16246674 140734090076576 140594095566064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9634/tid=9636] ppid=9631 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9636/stat : 9636 (toysat) S 9631 9634 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5942478 1339625472 269044 33554432000 4194304 16246674 140734090076576 140594009582832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9634/tid=9637] ppid=9631 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9637/stat : 9637 (toysat) S 9631 9634 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5942478 1339625472 269044 33554432000 4194304 16246674 140734090076576 140593999109296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5004 s]
/proc/loadavg: 2.11 2.10 2.09 3/184 9638
/proc/meminfo: memFree=29317964/32872528 swapFree=496356/529060
[pid=9634] ppid=9631 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/9634/stat : 9634 (toysat) R 9631 9634 5955 0 -1 4202496 268235 0 0 0 2509 39 0 0 20 0 4 0 5942478 1339625472 269044 33554432000 4194304 16246674 140734090076576 140734090058496 5672056 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9634/statm: 327057 269044 880 2943 0 323951 0
[pid=9634/tid=9635] ppid=9631 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9635/stat : 9635 (toysat) S 9631 9634 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5942478 1339625472 269044 33554432000 4194304 16246674 140734090076576 140594095566064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9634/tid=9636] ppid=9631 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9636/stat : 9636 (toysat) S 9631 9634 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5942478 1339625472 269044 33554432000 4194304 16246674 140734090076576 140594009582832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9634/tid=9637] ppid=9631 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9637/stat : 9637 (toysat) S 9631 9634 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5942478 1339625472 269044 33554432000 4194304 16246674 140734090076576 140593999109296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1004 s]
/proc/loadavg: 2.07 2.09 2.09 3/184 9638
/proc/meminfo: memFree=29311612/32872528 swapFree=496356/529060
[pid=9634] ppid=9631 vsize=1314372 CPUtime=51.08 cores=0,2,4,6
/proc/9634/stat : 9634 (toysat) R 9631 9634 5955 0 -1 4202496 269776 0 0 0 5068 40 0 0 20 0 4 0 5942478 1345916928 270585 33554432000 4194304 16246674 140734090076576 140734090058496 5723366 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9634/statm: 328593 270585 885 2943 0 325487 0
[pid=9634/tid=9635] ppid=9631 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9635/stat : 9635 (toysat) S 9631 9634 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5942478 1345916928 270585 33554432000 4194304 16246674 140734090076576 140594095566064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9634/tid=9636] ppid=9631 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9636/stat : 9636 (toysat) S 9631 9634 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5942478 1345916928 270585 33554432000 4194304 16246674 140734090076576 140594009582832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9634/tid=9637] ppid=9631 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9637/stat : 9637 (toysat) S 9631 9634 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5942478 1345916928 270585 33554432000 4194304 16246674 140734090076576 140593999109296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.3 s]
/proc/loadavg: 2.03 2.07 2.08 3/184 9639
/proc/meminfo: memFree=29295760/32872528 swapFree=496356/529060
[pid=9634] ppid=9631 vsize=1330756 CPUtime=102.28 cores=0,2,4,6
/proc/9634/stat : 9634 (toysat) R 9631 9634 5955 0 -1 4202496 273704 0 0 0 10187 41 0 0 20 0 4 0 5942478 1362694144 274513 33554432000 4194304 16246674 140734090076576 140734090058496 8224803 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9634/statm: 332689 274513 885 2943 0 329583 0
[pid=9634/tid=9635] ppid=9631 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9635/stat : 9635 (toysat) S 9631 9634 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5942478 1362694144 274513 33554432000 4194304 16246674 140734090076576 140594095566064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9634/tid=9636] ppid=9631 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9636/stat : 9636 (toysat) S 9631 9634 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5942478 1362694144 274513 33554432000 4194304 16246674 140734090076576 140594009582832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9634/tid=9637] ppid=9631 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9637/stat : 9637 (toysat) S 9631 9634 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5942478 1362694144 274513 33554432000 4194304 16246674 140734090076576 140593999109296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1330756


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

/proc/9634/task/9637/stat : 9637 (toysat) S 9631 9634 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280829 33554432000 4194304 16246674 140734090076576 140593999109296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1355332

[startup+1302.3 s]
/proc/loadavg: 2.08 2.06 2.07 3/184 9670
/proc/meminfo: memFree=29221088/32872528 swapFree=496356/529060
[pid=9634] ppid=9631 vsize=1355332 CPUtime=1301.86 cores=0,2,4,6
/proc/9634/stat : 9634 (toysat) R 9631 9634 5955 0 -1 4202496 280401 0 0 0 130136 50 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140734090058496 5822704 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9634/statm: 338833 280830 887 2943 0 335727 0
[pid=9634/tid=9635] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9635/stat : 9635 (toysat) S 9631 9634 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140594095566064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9634/tid=9636] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9636/stat : 9636 (toysat) S 9631 9634 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140594009582832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9634/tid=9637] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9637/stat : 9637 (toysat) S 9631 9634 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140593999109296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1355332

[startup+1362.3 s]
/proc/loadavg: 2.06 2.06 2.07 3/184 9671
/proc/meminfo: memFree=29220988/32872528 swapFree=496356/529060
[pid=9634] ppid=9631 vsize=1355332 CPUtime=1361.82 cores=0,2,4,6
/proc/9634/stat : 9634 (toysat) R 9631 9634 5955 0 -1 4202496 280437 0 0 0 136132 50 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140734090058496 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9634/statm: 338833 280830 887 2943 0 335727 0
[pid=9634/tid=9635] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9635/stat : 9635 (toysat) S 9631 9634 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140594095566064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9634/tid=9636] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9636/stat : 9636 (toysat) S 9631 9634 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140594009582832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9634/tid=9637] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9637/stat : 9637 (toysat) S 9631 9634 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140593999109296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1355332

[startup+1422.3 s]
/proc/loadavg: 2.08 2.06 2.07 3/184 9672
/proc/meminfo: memFree=29220888/32872528 swapFree=496356/529060
[pid=9634] ppid=9631 vsize=1355332 CPUtime=1421.81 cores=0,2,4,6
/proc/9634/stat : 9634 (toysat) R 9631 9634 5955 0 -1 4202496 280456 0 0 0 142130 51 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140734090058496 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9634/statm: 338833 280830 887 2943 0 335727 0
[pid=9634/tid=9635] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9635/stat : 9635 (toysat) S 9631 9634 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140594095566064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9634/tid=9636] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9636/stat : 9636 (toysat) S 9631 9634 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140594009582832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9634/tid=9637] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9637/stat : 9637 (toysat) S 9631 9634 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140593999109296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1355332

[startup+1482.3 s]
/proc/loadavg: 2.03 2.05 2.07 3/184 9673
/proc/meminfo: memFree=29221428/32872528 swapFree=496356/529060
[pid=9634] ppid=9631 vsize=1355332 CPUtime=1481.79 cores=0,2,4,6
/proc/9634/stat : 9634 (toysat) R 9631 9634 5955 0 -1 4202496 280457 0 0 0 148128 51 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140734090058496 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9634/statm: 338833 280830 887 2943 0 335727 0
[pid=9634/tid=9635] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9635/stat : 9635 (toysat) S 9631 9634 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140594095566064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9634/tid=9636] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9636/stat : 9636 (toysat) S 9631 9634 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140594009582832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9634/tid=9637] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9637/stat : 9637 (toysat) S 9631 9634 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140593999109296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1355332

[startup+1542.31 s]
/proc/loadavg: 2.05 2.05 2.07 3/184 9675
/proc/meminfo: memFree=29221056/32872528 swapFree=496356/529060
[pid=9634] ppid=9631 vsize=1355332 CPUtime=1541.79 cores=0,2,4,6
/proc/9634/stat : 9634 (toysat) R 9631 9634 5955 0 -1 4202496 280457 0 0 0 154127 52 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140734090075672 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9634/statm: 338833 280830 887 2943 0 335727 0
[pid=9634/tid=9635] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9635/stat : 9635 (toysat) S 9631 9634 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140594095566064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9634/tid=9636] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9636/stat : 9636 (toysat) S 9631 9634 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140594009582832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9634/tid=9637] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9637/stat : 9637 (toysat) S 9631 9634 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140593999109296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1355332

[startup+1602.3 s]
/proc/loadavg: 1.49 1.90 2.01 2/174 9706
/proc/meminfo: memFree=30386824/32872528 swapFree=496356/529060
[pid=9634] ppid=9631 vsize=1355332 CPUtime=1601.77 cores=0,2,4,6
/proc/9634/stat : 9634 (toysat) R 9631 9634 5955 0 -1 4202496 280457 0 0 0 160125 52 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140734090058496 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9634/statm: 338833 280830 887 2943 0 335727 0
[pid=9634/tid=9635] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9635/stat : 9635 (toysat) S 9631 9634 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140594095566064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9634/tid=9636] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9636/stat : 9636 (toysat) S 9631 9634 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140594009582832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9634/tid=9637] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9637/stat : 9637 (toysat) S 9631 9634 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140593999109296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1355332

[startup+1662.3 s]
/proc/loadavg: 1.31 1.78 1.96 2/175 9710
/proc/meminfo: memFree=30386884/32872528 swapFree=496356/529060
[pid=9634] ppid=9631 vsize=1355332 CPUtime=1661.77 cores=0,2,4,6
/proc/9634/stat : 9634 (toysat) R 9631 9634 5955 0 -1 4202496 280457 0 0 0 166124 53 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140734090074624 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9634/statm: 338833 280830 887 2943 0 335727 0
[pid=9634/tid=9635] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9635/stat : 9635 (toysat) S 9631 9634 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140594095566064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9634/tid=9636] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9636/stat : 9636 (toysat) S 9631 9634 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140594009582832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9634/tid=9637] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9637/stat : 9637 (toysat) S 9631 9634 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140593999109296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1355332

[startup+1722.3 s]
/proc/loadavg: 1.11 1.63 1.90 2/174 9711
/proc/meminfo: memFree=30387200/32872528 swapFree=496356/529060
[pid=9634] ppid=9631 vsize=1355332 CPUtime=1721.76 cores=0,2,4,6
/proc/9634/stat : 9634 (toysat) R 9631 9634 5955 0 -1 4202496 280457 0 0 0 172123 53 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140734090074368 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9634/statm: 338833 280830 887 2943 0 335727 0
[pid=9634/tid=9635] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9635/stat : 9635 (toysat) S 9631 9634 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140594095566064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9634/tid=9636] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9636/stat : 9636 (toysat) S 9631 9634 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140594009582832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9634/tid=9637] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9637/stat : 9637 (toysat) S 9631 9634 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140593999109296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1355332

[startup+1782.3 s]
/proc/loadavg: 1.14 1.55 1.85 2/174 9712
/proc/meminfo: memFree=30387020/32872528 swapFree=496356/529060
[pid=9634] ppid=9631 vsize=1355332 CPUtime=1781.75 cores=0,2,4,6
/proc/9634/stat : 9634 (toysat) R 9631 9634 5955 0 -1 4202496 280457 0 0 0 178122 53 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140734090058496 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9634/statm: 338833 280830 887 2943 0 335727 0
[pid=9634/tid=9635] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9635/stat : 9635 (toysat) S 9631 9634 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140594095566064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9634/tid=9636] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9636/stat : 9636 (toysat) S 9631 9634 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140594009582832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9634/tid=9637] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9637/stat : 9637 (toysat) S 9631 9634 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140593999109296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1355332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.16 1.53 1.84 2/175 9714
/proc/meminfo: memFree=30386752/32872528 swapFree=496356/529060
[pid=9634] ppid=9631 vsize=1355332 CPUtime=1800.04 cores=0,2,4,6
/proc/9634/stat : 9634 (toysat) R 9631 9634 5955 0 -1 4202496 280457 0 0 0 179951 53 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140734090058496 12478241 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9634/statm: 338833 280830 887 2943 0 335727 0
[pid=9634/tid=9635] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9635/stat : 9635 (toysat) S 9631 9634 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140594095566064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=9634/tid=9636] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9636/stat : 9636 (toysat) S 9631 9634 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140594009582832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=9634/tid=9637] ppid=9631 vsize=1355332 CPUtime=0 cores=0,2,4,6
/proc/9634/task/9637/stat : 9637 (toysat) S 9631 9634 5955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5942478 1387859968 280830 33554432000 4194304 16246674 140734090076576 140593999109296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1355332

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.06
CPU user time (s): 1799.52
CPU system time (s): 0.536918
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 1355332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.536918
maximum resident set size= 1123320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280457
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= 454
involuntary context switches= 2120

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.96624 second user time and 6.75497 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-16 03:02:50
IDJOB=4090226
IDBENCH=107519
IDSOLVER=2542
FILE ID=node141/4090226-1466038970
RUNJOBID= node141-1466008015-5971
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/Instances3col_OPB/normalized-3col-almost3reg-l080-r079-n1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090226-1466038970/watcher-4090226-1466038970 -o /tmp/evaluation-result-4090226-1466038970/solver-4090226-1466038970 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090226-1466038970.opb

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

MD5SUM BENCH= 5d30d18ef05ffba8d0245479521b8577
RANDOM SEED=1636354501

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30394664 kB
Buffers:           51852 kB
Cached:            81944 kB
SwapCached:        13084 kB
Active:          1167156 kB
Inactive:          80580 kB
Active(anon):    1104176 kB
Inactive(anon):    12044 kB
Active(file):      62980 kB
Inactive(file):    68536 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088080 kB
Dirty:             16576 kB
Writeback:            32 kB
AnonPages:       1631024 kB
Mapped:            10836 kB
Shmem:                 0 kB
Slab:             568056 kB
SReclaimable:      11692 kB
SUnreclaim:       556364 kB
KernelStack:        1480 kB
PageTables:         7492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1774948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 71732 MiB
End job on node141 at 2016-06-16 03:32:51