Trace number 4078886

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-02SAT 197.97 198.002

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K76.opb
MD5SUMb21b0bbddae7db554b549f6efc66327c
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.269958
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4180
Total number of constraints4334
Number of constraints which are clauses4258
Number of constraints which are cardinality constraints (but not clauses)76
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint76
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 77
Number of bits of the biggest sum of numbers7
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-07T10:20:31+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-4078886-1465287630.opb"]
0.00/0.01	c use --random-gen="201463814 3217832616 1040433783 4152058130 293615540 4028101688 3565923078 2804903492 2307989688 3009854609 1779516845 2923863231 876608729 3437419705 3681575789 1512877535 2756768555 114499808 516053543 153982744 436644895 2230523405 1313036294 59625477 2861672929 1904192940 4008922876 2205056898 3457489887 1439644573 1322900517 3264585197 1703111697 1744363839 2531081432 350537135 2723192054 827957186 2229492444 2652449786 2173518294 408980323 1373565318 3287474387 425343941 1532372683 2387509247 1291827936 1214703659 2813808134 3962605280 3459107657 2006982005 382247267 1223675246 683830010 218551940 2141923579 3076801101 4119766033 2336021885 4234938623 1272584391 2640509808 1733713970 660484757 3099764463 1320439547 298439081 2304335039 1889625439 1879466581 2346907584 2280953711 1957469249 3850959875 2308733148 3876895413 2132419287 1322954419 119468407 3082789130 630241014 3096599294 972987701 2579389231 3889228123 2550541037 1070368233 2134053228 1966354493 3533257166 2155280631 3152393645 2945261172 2188469147 4132234037 2392513970 1174831550 916107673 1721565465 1529983646 3052852726 3072490205 562836406 1082859321 2659323867 1640402591 1415679870 807380491 3312032344 2501824511 877138571 2121349365 885059732 3344531347 2969306525 346235839 1046199150 1321262327 970694446 1282864673 498773818 2261788965 2503279615 23197808 3506821154 788050586 294511810 2032193392 170412524 3494747122 1075868705 2390458136 604638521 3450501423 3454923764 426528292 1992441419 2601592573 3364264211 4155492254 947347935 536920858 2517028631 2428787977 3006464120 2007119082 1458449277 3686771744 3789998160 1212197437 3934235240 2672889257 1328210557 2437753087 2445504323 1071735494 1590147950 2597117654 3107646630 3924971181 763920184 2968730584 2290206347 2952282013 2461263525 3152250371 2747292225 3340573683 1457634398 59170820 3980525823 2328130626 1373331914 1282822724 3339944776 2702284389 433078720 2612136782 2007991883 2325642646 690417163 1707710124 2485169066 1346458330 4180450103 3074839800 819009033 3066622887 3378514789 3594508445 831412950 3417711427 3319104919 370698577 734102083 261883809 865249170 2729140607 1563634497 3763150655 3497929905 3895004870 189948061 411527287 936231932 734525078 3320917353 4218661110 810306630 475920049 2338491591 2446744053 525870315 1246039138 1501888789 933244794 2419077653 3714825335 3799981942 973618180 2293341340 1401548580 479848482 3071643267 1794538255 1012262460 2728767594 3711255184 1893810 3499560975 3315222541 1165178645 2273040769 1901200726 221824525 2587134784 1373426794 2392651835 3454676445 1361002910 2790439527 3645506777 894730223 2253079055 2281452148 3821529384 802789130 4055779882 1140831331 2716057149 1667576520 1828023655 4073428896 1579431127 255 362436" option to reproduce the execution
0.00/0.07	c #vars 4180
0.00/0.07	c #constraints 4334
0.09/0.16	c Solving starts ...
0.09/0.16	c ============================[ Search Statistics ]============================
0.09/0.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.16	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.16	c =============================================================================
0.09/0.16	c  0.0s |       0 |        0 |        0 |     2837      0 |      455 |        0
0.29/0.36	c  0.2s |       1 |      943 |      100 |     2837      0 |      456 |      411
0.49/0.52	c  0.4s |       2 |     4499 |      250 |     3121      0 |      460 |      415
0.69/0.71	c  0.6s |       3 |     7532 |      475 |     3434      0 |      462 |      417
1.09/1.11	c  0.9s |       4 |    12866 |      813 |     3778      0 |      468 |      423
1.49/1.57	c  1.4s |       5 |    17082 |     1320 |     4156      0 |      472 |      427
2.30/2.36	c  2.2s |       6 |    19561 |     2081 |     5030      0 |      472 |      427
3.30/3.33	c  3.2s |       7 |    28141 |     3223 |     5533      0 |      472 |      427
5.09/5.15	c  5.0s |       8 |    47946 |     4936 |     6087      0 |      482 |      437
7.19/7.26	c  7.1s |       8 |    68502 |     7136 |     6087      0 |      483 |      438
7.59/7.66	c  7.5s |       9 |    74999 |     7506 |     6696      1 |      483 |      438
9.89/9.95	c  9.8s |       9 |    80496 |     8906 |     6696      1 |      484 |      439
11.89/11.99	c 11.8s |       9 |    82652 |     9506 |     6696      1 |      485 |      440
13.99/14.06	c 13.9s |       9 |   104609 |    11306 |     7366      2 |      492 |      447
14.09/14.12	c 14.0s |      10 |   105895 |    11361 |     7366      2 |      492 |      447
16.09/16.13	c 16.0s |      10 |   123352 |    13361 |     7366      2 |      493 |      448
18.09/18.14	c 18.0s |      10 |   146084 |    15361 |     7366      2 |      494 |      449
19.89/19.94	c 19.8s |      11 |   160570 |    17144 |     8103      3 |      494 |      449
21.99/22.05	c 21.9s |      11 |   178160 |    19044 |     8103      3 |      496 |      451
24.09/24.11	c 24.0s |      11 |   192958 |    20544 |     8103      3 |      497 |      452
26.19/26.25	c 26.1s |      11 |   205816 |    22344 |     8103      4 |      498 |      453
28.28/28.32	c 28.2s |      11 |   216330 |    23944 |     8103      4 |      499 |      454
30.28/30.36	c 30.2s |      11 |   237206 |    25744 |     8914      5 |      502 |      457
30.38/30.47	c 30.3s |      12 |   237887 |    25819 |     8914      5 |      503 |      458
32.48/32.50	c 32.3s |      12 |   255268 |    28019 |     8914      5 |      503 |      458
34.48/34.51	c 34.3s |      12 |   261208 |    29519 |     8914      5 |      503 |      458
36.48/36.56	c 36.4s |      12 |   268428 |    31019 |     8914      6 |      503 |      458
38.78/38.80	c 38.6s |      12 |   274327 |    32019 |     8914      6 |      503 |      458
40.79/40.86	c 40.7s |      12 |   277028 |    32619 |     8914      6 |      503 |      458
42.89/42.91	c 42.8s |      12 |   281892 |    33819 |     8914      6 |      503 |      458
44.98/45.03	c 44.9s |      12 |   285968 |    35019 |     8914      6 |      503 |      458
47.08/47.13	c 47.0s |      12 |   291905 |    36319 |     8914      7 |      503 |      458
49.28/49.31	c 49.1s |      12 |   297008 |    37719 |     8914      7 |      503 |      458
51.28/51.39	c 51.2s |      12 |   299367 |    38519 |     8914      7 |      503 |      458
52.28/52.35	c 52.2s |      13 |   300154 |    38832 |     9806      7 |      503 |      458
54.38/54.41	c 54.2s |      13 |   317891 |    40632 |     9806      7 |      506 |      461
56.38/56.41	c 56.3s |      13 |   334431 |    42532 |     9806      8 |      506 |      461
58.38/58.42	c 58.3s |      13 |   351801 |    44532 |     9806      8 |      509 |      464
60.38/60.43	c 60.3s |      13 |   362943 |    46132 |     9806      8 |      511 |      466
62.38/62.48	c 62.3s |      13 |   371731 |    47732 |     9806      8 |      511 |      466
64.68/64.74	c 64.6s |      13 |   373930 |    48532 |     9806      8 |      511 |      466
66.88/66.93	c 66.8s |      13 |   376494 |    49232 |     9806      8 |      511 |      466
69.18/69.21	c 69.1s |      13 |   377371 |    49632 |     9806      9 |      511 |      466
71.78/71.80	c 71.6s |      13 |   379059 |    50232 |     9806      9 |      511 |      466
73.98/74.04	c 73.9s |      13 |   381361 |    50932 |     9806      9 |      511 |      466
76.08/76.16	c 76.0s |      13 |   382487 |    51432 |     9806      9 |      511 |      466
78.58/78.66	c 78.5s |      13 |   383961 |    52032 |     9806      9 |      511 |      466
80.78/80.85	c 80.7s |      13 |   385520 |    52632 |     9806      9 |      511 |      466
82.78/82.85	c 82.7s |      13 |   387057 |    53132 |     9806      9 |      511 |      466
85.18/85.20	c 85.0s |      13 |   389343 |    53732 |     9806      9 |      511 |      466
87.18/87.26	c 87.1s |      13 |   390855 |    54032 |     9806     10 |      512 |      467
89.38/89.42	c 89.3s |      13 |   400626 |    55732 |     9806     10 |      512 |      467
91.38/91.43	c 91.3s |      13 |   402552 |    56432 |     9806     10 |      512 |      467
93.48/93.51	c 93.4s |      13 |   410873 |    57332 |     9806     10 |      512 |      467
94.77/94.89	c 94.7s |      14 |   416805 |    58352 |    10787     10 |      512 |      467
96.88/96.97	c 96.8s |      14 |   429830 |    60152 |    10787     10 |      512 |      467
98.87/98.98	c 98.8s |      14 |   446761 |    62052 |    10787     11 |      512 |      467
100.97/101.04	c  100s |      14 |   458578 |    63752 |    10787     11 |      512 |      467
103.07/103.12	c  102s |      14 |   463323 |    65052 |    10787     11 |      512 |      467
105.17/105.27	c  105s |      14 |   466561 |    66252 |    10787     11 |      512 |      467
107.37/107.43	c  107s |      14 |   469428 |    67252 |    10787     11 |      512 |      467
109.37/109.49	c  109s |      14 |   471993 |    68252 |    10787     12 |      512 |      467
111.57/111.63	c  111s |      14 |   475803 |    69452 |    10787     12 |      512 |      467
113.67/113.70	c  113s |      14 |   478996 |    70452 |    10787     12 |      512 |      467
115.77/115.80	c  115s |      14 |   480762 |    71252 |    10787     12 |      512 |      467
117.87/117.91	c  117s |      14 |   484584 |    72452 |    10787     12 |      512 |      467
119.87/119.97	c  119s |      14 |   486751 |    73452 |    10787     12 |      512 |      467
121.97/122.02	c  121s |      14 |   491012 |    74552 |    10787     13 |      512 |      467
123.97/124.04	c  123s |      14 |   506736 |    76652 |    10787     13 |      512 |      467
126.07/126.13	c  125s |      14 |   518495 |    78352 |    10787     13 |      512 |      467
128.17/128.22	c  128s |      14 |   522919 |    79452 |    10787     14 |      512 |      467
130.27/130.30	c  130s |      14 |   529856 |    81252 |    10787     14 |      512 |      467
132.27/132.39	c  132s |      14 |   541967 |    82952 |    10787     14 |      512 |      467
134.37/134.48	c  134s |      14 |   549475 |    84352 |    10787     14 |      512 |      467
136.47/136.56	c  136s |      14 |   559236 |    86052 |    10787     15 |      512 |      467
138.37/138.44	c  138s |      15 |   567892 |    87632 |    11866     15 |      512 |      467
140.46/140.54	c  140s |      15 |   581196 |    89532 |    11866     15 |      512 |      467
142.46/142.56	c  142s |      15 |   596164 |    91332 |    11866     15 |      512 |      467
144.56/144.60	c  144s |      15 |   608783 |    93032 |    11866     15 |      512 |      467
146.56/146.66	c  146s |      15 |   615970 |    94132 |    11866     16 |      512 |      467
148.76/148.88	c  148s |      15 |   618419 |    94732 |    11866     16 |      512 |      467
150.87/150.99	c  150s |      15 |   620782 |    95332 |    11866     16 |      512 |      467
152.98/153.04	c  152s |      15 |   630927 |    97232 |    11866     16 |      512 |      467
155.18/155.29	c  155s |      15 |   637253 |    98832 |    11866     16 |      512 |      467
157.38/157.44	c  157s |      15 |   643467 |   100232 |    11866     16 |      512 |      467
159.48/159.57	c  159s |      15 |   648975 |   101732 |    11866     17 |      512 |      467
161.68/161.71	c  161s |      15 |   654847 |   103132 |    11866     17 |      512 |      467
163.77/163.83	c  163s |      15 |   661033 |   104632 |    11866     17 |      512 |      467
165.77/165.87	c  165s |      15 |   664738 |   105732 |    11866     17 |      512 |      467
168.17/168.20	c  168s |      15 |   667750 |   106832 |    11866     17 |      512 |      467
170.27/170.36	c  170s |      15 |   670052 |   107632 |    11866     17 |      512 |      467
172.47/172.59	c  172s |      15 |   671854 |   108332 |    11866     18 |      512 |      467
174.67/174.70	c  174s |      15 |   674429 |   109332 |    11866     18 |      512 |      467
176.76/176.82	c  176s |      15 |   677024 |   110232 |    11866     18 |      512 |      467
178.86/178.93	c  178s |      15 |   679329 |   111132 |    11866     18 |      512 |      467
180.96/181.08	c  180s |      15 |   681598 |   112032 |    11866     18 |      512 |      467
183.06/183.16	c  183s |      15 |   685298 |   113032 |    11866     18 |      512 |      467
185.16/185.27	c  185s |      15 |   691623 |   114532 |    11866     18 |      512 |      467
187.36/187.47	c  187s |      15 |   697803 |   116032 |    11866     19 |      512 |      467
189.36/189.48	c  189s |      15 |   708571 |   117832 |    11866     19 |      512 |      467
191.47/191.57	c  191s |      15 |   713243 |   119232 |    11866     19 |      512 |      467
193.67/193.76	c  193s |      15 |   716905 |   120532 |    11866     19 |      512 |      467
195.77/195.87	c  195s |      15 |   724392 |   121932 |    11866     20 |      512 |      467
197.86/197.93	c  197s |      15 |   730897 |   123791 |    11866     20 |      512 |      467
197.86/197.93	c #cpu_time = 197.251s
197.86/197.93	c #wall_clock_time = 197.771s
197.86/197.93	c #decision = 730897
197.86/197.93	c #random_decision = 1599
197.86/197.93	c #conflict = 123791
197.86/197.93	c #restart = 15
197.86/197.93	s SATISFIABLE
197.86/197.93	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
197.86/197.93	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
197.86/197.93	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
197.86/197.93	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
197.86/197.93	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
197.86/197.93	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
197.86/197.93	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
197.86/197.93	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80
197.86/197.93	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
197.86/197.93	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
197.86/197.93	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
197.86/197.93	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
197.86/197.93	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
197.86/197.93	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140
197.86/197.93	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
197.86/197.93	v -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160
197.86/197.93	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
197.86/197.93	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
197.86/197.93	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
197.86/197.93	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
197.86/197.93	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
197.86/197.93	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
197.86/197.93	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
197.86/197.93	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
197.86/197.93	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
197.86/197.93	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
197.86/197.93	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
197.86/197.93	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280
197.86/197.93	v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
197.86/197.93	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
197.86/197.93	v -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310
197.86/197.93	v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
197.86/197.93	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
197.86/197.93	v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
197.86/197.93	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
197.86/197.93	v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
197.86/197.93	v -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370
197.86/197.93	v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
197.86/197.93	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390
197.86/197.93	v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
197.86/197.93	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410
197.86/197.93	v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
197.86/197.93	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
197.86/197.93	v -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
197.86/197.93	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
197.86/197.93	v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
197.86/197.93	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
197.86/197.93	v x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
197.86/197.93	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
197.86/197.93	v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
197.86/197.93	v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
197.86/197.93	v -x511 -x512 -x513 -x514 -x515 -x516 x517 -x518 -x519 -x520
197.86/197.93	v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
197.86/197.93	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
197.86/197.93	v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
197.86/197.93	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560
197.86/197.93	v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
197.86/197.93	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580
197.86/197.93	v -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590
197.86/197.93	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
197.86/197.93	v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
197.86/197.93	v -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
197.86/197.93	v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
197.86/197.93	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
197.86/197.93	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
197.86/197.93	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
197.86/197.93	v -x661 -x662 x663 -x664 x665 -x666 x667 -x668 -x669 -x670
197.86/197.93	v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
197.86/197.93	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
197.86/197.93	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
197.86/197.93	v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
197.86/197.93	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
197.86/197.93	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
197.86/197.93	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740
197.86/197.93	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
197.86/197.93	v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
197.86/197.93	v -x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770
197.86/197.93	v -x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780
197.86/197.93	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790
197.86/197.93	v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800
197.86/197.93	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
197.86/197.93	v -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 x820
197.86/197.93	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830
197.86/197.93	v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
197.86/197.93	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
197.86/197.93	v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
197.86/197.93	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870
197.86/197.93	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880
197.86/197.93	v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
197.86/197.93	v -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 -x900
197.86/197.93	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910
197.86/197.93	v -x911 -x912 -x913 -x914 -x915 x916 -x917 -x918 -x919 -x920
197.86/197.93	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930
197.86/197.93	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
197.86/197.93	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
197.86/197.93	v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
197.86/197.93	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970
197.86/197.93	v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980
197.86/197.93	v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990
197.86/197.93	v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
197.86/197.93	v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010
197.86/197.93	v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
197.86/197.93	v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
197.86/197.93	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
197.86/197.93	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050
197.86/197.93	v -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
197.86/197.93	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070
197.86/197.93	v x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
197.86/197.93	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
197.86/197.93	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100
197.86/197.93	v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
197.86/197.93	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
197.86/197.93	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130
197.86/197.93	v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140
197.86/197.93	v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
197.86/197.93	v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
197.86/197.93	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170
197.86/197.93	v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
197.86/197.93	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190
197.86/197.93	v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
197.86/197.93	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
197.86/197.93	v -x1211 -x1212 -x1213 x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220
197.86/197.93	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x1230
197.86/197.93	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240
197.86/197.93	v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
197.86/197.93	v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
197.86/197.93	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270
197.86/197.93	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
197.86/197.93	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
197.86/197.93	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
197.86/197.93	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 x1308 -x1309 -x1310
197.86/197.93	v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320
197.86/197.93	v -x1321 x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
197.86/197.93	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340
197.86/197.93	v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
197.86/197.93	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360
197.86/197.93	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
197.86/197.93	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
197.86/197.93	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390
197.86/197.93	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
197.86/197.93	v -x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410
197.86/197.93	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420
197.86/197.93	v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
197.86/197.93	v -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
197.86/197.93	v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
197.86/197.93	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460
197.86/197.93	v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
197.86/197.93	v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 x1479 -x1480
197.86/197.93	v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
197.86/197.93	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
197.86/197.93	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510
197.86/197.93	v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520
197.86/197.93	v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530
197.86/197.93	v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
197.86/197.93	v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550
197.86/197.93	v -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560
197.86/197.93	v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
197.86/197.93	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580
197.86/197.93	v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
197.86/197.93	v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
197.86/197.93	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610
197.86/197.93	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
197.86/197.93	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 x1629 -x1630
197.86/197.93	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640
197.86/197.93	v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650
197.86/197.93	v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660
197.86/197.93	v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670
197.86/197.93	v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680
197.86/197.93	v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
197.86/197.93	v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700
197.86/197.93	v -x1701 -x1702 -x1703 x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
197.86/197.93	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
197.86/197.93	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
197.86/197.93	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
197.86/197.93	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750
197.86/197.93	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760
197.86/197.93	v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
197.86/197.93	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780
197.86/197.93	v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
197.86/197.93	v x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800
197.86/197.93	v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
197.86/197.93	v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820
197.86/197.93	v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830
197.86/197.93	v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840
197.86/197.93	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850
197.86/197.93	v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
197.86/197.93	v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 x1868 -x1869 -x1870
197.86/197.93	v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
197.86/197.93	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890
197.86/197.93	v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
197.86/197.93	v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910
197.86/197.93	v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
197.86/197.93	v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930
197.86/197.93	v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
197.86/197.93	v -x1941 -x1942 -x1943 -x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950
197.86/197.93	v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
197.86/197.93	v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970
197.86/197.93	v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980
197.86/197.93	v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990
197.86/197.93	v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000
197.86/197.93	v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
197.86/197.93	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020
197.86/197.93	v -x2021 x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
197.86/197.93	v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040
197.86/197.93	v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050
197.86/197.93	v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060
197.86/197.93	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
197.86/197.93	v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080
197.86/197.93	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090
197.86/197.93	v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 -x2100
197.86/197.93	v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
197.86/197.93	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120
197.86/197.93	v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130
197.86/197.93	v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
197.86/197.93	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150
197.86/197.93	v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160
197.86/197.93	v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170
197.86/197.93	v -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x2180
197.86/197.93	v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190
197.86/197.93	v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x2200
197.86/197.93	v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210
197.86/197.93	v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
197.86/197.93	v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230
197.86/197.93	v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240
197.86/197.93	v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250
197.86/197.93	v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
197.86/197.93	v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270
197.86/197.93	v -x2271 x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
197.86/197.93	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290
197.86/197.93	v -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300
197.86/197.93	v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310
197.86/197.93	v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320
197.86/197.93	v -x2321 x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330
197.86/197.93	v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340
197.86/197.93	v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350
197.86/197.93	v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360
197.86/197.93	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370
197.86/197.93	v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380
197.86/197.93	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390
197.86/197.93	v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 x2397 -x2398 -x2399 -x2400
197.86/197.93	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410
197.86/197.93	v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420
197.86/197.93	v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430
197.86/197.93	v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440
197.86/197.93	v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450
197.86/197.93	v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460
197.86/197.93	v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470
197.86/197.93	v -x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480
197.86/197.93	v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490
197.86/197.93	v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500
197.86/197.93	v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510
197.86/197.93	v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520
197.86/197.93	v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530
197.86/197.93	v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540
197.86/197.93	v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550
197.86/197.93	v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560
197.86/197.93	v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570
197.86/197.93	v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 x2578 -x2579 -x2580
197.86/197.93	v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590
197.86/197.93	v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600
197.86/197.93	v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610
197.86/197.93	v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620
197.86/197.93	v -x2621 x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630
197.86/197.93	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640
197.86/197.93	v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650
197.86/197.93	v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660
197.86/197.93	v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670
197.86/197.93	v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680
197.86/197.93	v -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690
197.86/197.93	v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700
197.86/197.93	v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710
197.86/197.93	v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720
197.86/197.93	v -x2721 -x2722 -x2723 -x2724 x2725 -x2726 -x2727 -x2728 -x2729 -x2730
197.86/197.93	v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740
197.86/197.93	v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750
197.86/197.93	v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760
197.86/197.93	v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770
197.86/197.93	v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780
197.86/197.93	v -x2781 -x2782 -x2783 -x2784 x2785 -x2786 -x2787 -x2788 -x2789 -x2790
197.86/197.93	v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800
197.86/197.93	v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 x2809 -x2810
197.86/197.93	v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820
197.86/197.93	v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830
197.86/197.93	v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840
197.86/197.93	v -x2841 -x2842 x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850
197.86/197.93	v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860
197.86/197.93	v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870
197.86/197.93	v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880
197.86/197.93	v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890
197.86/197.93	v -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900
197.86/197.93	v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910
197.86/197.93	v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920
197.86/197.93	v -x2921 -x2922 -x2923 -x2924 x2925 -x2926 -x2927 -x2928 -x2929 -x2930
197.86/197.93	v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940
197.86/197.93	v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950
197.86/197.93	v -x2951 -x2952 -x2953 -x2954 x2955 -x2956 -x2957 -x2958 -x2959 -x2960
197.86/197.93	v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970
197.86/197.93	v -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980
197.86/197.93	v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990
197.86/197.93	v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000
197.86/197.93	v -x3001 -x3002 x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010
197.86/197.93	v -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
197.86/197.93	v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030
197.86/197.93	v -x3031 -x3032 x3033 -x3034 x3035 -x3036 -x3037 -x3038 -x3039 -x3040
197.86/197.93	v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050
197.86/197.93	v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 x3059 -x3060
197.86/197.93	v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 x3067 -x3068 -x3069 -x3070
197.86/197.93	v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080
197.86/197.93	v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090
197.86/197.93	v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100
197.86/197.93	v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110
197.86/197.93	v -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120
197.86/197.93	v -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130
197.86/197.93	v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140
197.86/197.93	v -x3141 x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150
197.86/197.93	v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160
197.86/197.93	v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170
197.86/197.93	v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180
197.86/197.93	v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190
197.86/197.93	v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200
197.86/197.93	v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210
197.86/197.93	v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 x3217 -x3218 -x3219 -x3220
197.86/197.93	v -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230
197.86/197.93	v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240
197.86/197.93	v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250
197.86/197.93	v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260
197.86/197.93	v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270
197.86/197.93	v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280
197.86/197.93	v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290
197.86/197.93	v -x3291 x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300
197.86/197.93	v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310
197.86/197.93	v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320
197.86/197.93	v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330
197.86/197.93	v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340
197.86/197.93	v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350
197.86/197.93	v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360
197.86/197.93	v -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 x3367 -x3368 -x3369 -x3370
197.86/197.93	v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380
197.86/197.93	v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390
197.86/197.93	v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400
197.86/197.93	v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410
197.86/197.93	v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420
197.86/197.93	v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430
197.86/197.93	v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440
197.86/197.93	v -x3441 x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450
197.86/197.93	v -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460
197.86/197.93	v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470
197.86/197.93	v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480
197.86/197.93	v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490
197.86/197.93	v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500
197.86/197.93	v -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510
197.86/197.93	v -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 x3517 -x3518 -x3519 -x3520
197.86/197.93	v -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530
197.86/197.93	v -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540
197.86/197.93	v -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550
197.86/197.93	v -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560
197.86/197.93	v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570
197.86/197.93	v -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580
197.86/197.93	v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590
197.86/197.93	v -x3591 x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600
197.86/197.93	v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610
197.86/197.93	v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620
197.86/197.93	v -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630
197.86/197.93	v -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640
197.86/197.93	v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650
197.86/197.93	v -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 x3658 -x3659 -x3660
197.86/197.93	v -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670
197.86/197.93	v -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680
197.86/197.93	v -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690
197.86/197.93	v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700
197.86/197.93	v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710
197.86/197.93	v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720
197.86/197.93	v -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730
197.86/197.93	v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740
197.86/197.93	v -x3741 x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750
197.86/197.93	v -x3751 x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760
197.86/197.93	v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770
197.86/197.93	v -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780
197.86/197.93	v -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790
197.86/197.93	v -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800
197.86/197.93	v -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810
197.86/197.93	v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 x3817 -x3818 -x3819 -x3820
197.86/197.93	v -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 x3829 -x3830
197.86/197.93	v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840
197.86/197.93	v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850
197.86/197.93	v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860
197.86/197.93	v -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870
197.86/197.93	v -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880
197.86/197.93	v -x3881 -x3882 -x3883 x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890
197.86/197.93	v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900
197.86/197.93	v -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910
197.86/197.93	v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920
197.86/197.93	v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930
197.86/197.93	v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940
197.86/197.93	v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950
197.86/197.93	v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960
197.86/197.93	v -x3961 -x3962 -x3963 x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970
197.86/197.93	v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980
197.86/197.93	v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990
197.86/197.93	v -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000
197.86/197.93	v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010
197.86/197.93	v -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020
197.86/197.93	v -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030
197.86/197.93	v -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 x4037 -x4038 x4039 -x4040
197.86/197.93	v -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050
197.86/197.93	v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060
197.86/197.93	v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070
197.86/197.93	v -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080
197.86/197.93	v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090
197.86/197.93	v -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100
197.86/197.93	v -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110
197.86/197.93	v -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120
197.86/197.93	v -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130
197.86/197.93	v -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140
197.86/197.93	v -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150
197.86/197.93	v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160
197.86/197.93	v -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170
197.86/197.93	v -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 x4180
197.86/197.93	c total CPU time = 197.416s
197.86/197.93	c total wall clock time = 197.937s

Verifier Data 

OK	0

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

pid=13604
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.20 2.20 2.18 3/180 13607
/proc/meminfo: memFree=29204084/32872528 swapFree=15272/1656604
[pid=13607] ppid=13604 vsize=715332 CPUtime=0 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 9894 0 -1 4202496 2667 0 0 0 0 0 0 0 20 0 4 0 110696373 732499968 3029 33554432000 4194304 16246674 140736530360832 140736530360256 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 179601 3038 442 2943 0 176495 0
[pid=13607/tid=13608] ppid=13604 vsize=731716 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110696374 749277184 3091 33554432000 4194304 16246674 140736530360832 140479317388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=735812 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110696374 753471488 3110 33554432000 4194304 16246674 140736530360832 140479306898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=740932 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110696374 758714368 3128 33554432000 4194304 16246674 140736530360832 140479186332848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.20 2.20 2.18 3/180 13607
/proc/meminfo: memFree=29204084/32872528 swapFree=15272/1656604
[pid=13607] ppid=13604 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 9894 0 -1 4202496 24094 0 0 0 5 4 0 0 20 0 4 0 110696373 1249447936 24393 33554432000 4194304 16246674 140736530360832 140736530360144 5886100 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 305041 24401 833 2943 0 301935 0
[pid=13607/tid=13608] ppid=13604 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110696374 1249447936 24407 33554432000 4194304 16246674 140736530360832 140479317388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110696374 1249447936 24413 33554432000 4194304 16246674 140736530360832 140479306898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110696374 1249447936 24419 33554432000 4194304 16246674 140736530360832 140479186332848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200516 s]
/proc/loadavg: 2.20 2.20 2.18 3/180 13607
/proc/meminfo: memFree=29204084/32872528 swapFree=15272/1656604
[pid=13607] ppid=13604 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 9894 0 -1 4202496 44318 0 0 0 12 7 0 0 20 0 4 0 110696373 1249447936 44617 33554432000 4194304 16246674 140736530360832 140736530360144 5830026 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 305041 44625 876 2943 0 301935 0
[pid=13607/tid=13608] ppid=13604 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110696374 1249447936 44630 33554432000 4194304 16246674 140736530360832 140479317388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110696374 1249447936 44634 33554432000 4194304 16246674 140736530360832 140479306898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110696374 1249447936 44640 33554432000 4194304 16246674 140736530360832 140479186332848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300458 s]
/proc/loadavg: 2.20 2.20 2.18 3/180 13607
/proc/meminfo: memFree=29204084/32872528 swapFree=15272/1656604
[pid=13607] ppid=13604 vsize=1220164 CPUtime=0.29 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 9894 0 -1 4202496 63748 0 0 0 20 9 0 0 20 0 4 0 110696373 1249447936 64047 33554432000 4194304 16246674 140736530360832 140736530360144 12461845 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 305041 64054 876 2943 0 301935 0
[pid=13607/tid=13608] ppid=13604 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110696374 1249447936 64059 33554432000 4194304 16246674 140736530360832 140479317388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110696374 1249447936 64063 33554432000 4194304 16246674 140736530360832 140479306898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110696374 1249447936 64067 33554432000 4194304 16246674 140736530360832 140479186332848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700388 s]
/proc/loadavg: 2.20 2.20 2.18 3/180 13607
/proc/meminfo: memFree=29204084/32872528 swapFree=15272/1656604
[pid=13607] ppid=13604 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 9894 0 -1 4202496 101472 0 0 0 55 14 0 0 20 0 4 0 110696373 1332285440 101772 33554432000 4194304 16246674 140736530360832 140736530360144 5532301 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 325265 101786 879 2943 0 322159 0
[pid=13607/tid=13608] ppid=13604 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110696374 1332285440 101796 33554432000 4194304 16246674 140736530360832 140479317388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110696374 1332285440 101805 33554432000 4194304 16246674 140736530360832 140479306898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110696374 1332285440 101814 33554432000 4194304 16246674 140736530360832 140479186332848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50036 s]
/proc/loadavg: 2.20 2.20 2.18 3/184 13611
/proc/meminfo: memFree=28422036/32872528 swapFree=15272/1656604
[pid=13607] ppid=13604 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 9894 0 -1 4202496 267772 0 0 0 112 37 0 0 20 0 4 0 110696373 1338576896 268071 33554432000 4194304 16246674 140736530360832 140736530342720 5546116 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 326801 268071 881 2943 0 323695 0
[pid=13607/tid=13608] ppid=13604 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110696374 1338576896 268071 33554432000 4194304 16246674 140736530360832 140479317388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110696374 1338576896 268071 33554432000 4194304 16246674 140736530360832 140479306898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110696374 1338576896 268071 33554432000 4194304 16246674 140736530360832 140479186332848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10037 s]
/proc/loadavg: 2.20 2.20 2.18 3/184 13611
/proc/meminfo: memFree=28130876/32872528 swapFree=15272/1656604
[pid=13607] ppid=13604 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 9894 0 -1 4202496 267983 0 0 0 272 37 0 0 20 0 4 0 110696373 1338576896 268282 33554432000 4194304 16246674 140736530360832 140736530342720 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 326801 268282 884 2943 0 323695 0
[pid=13607/tid=13608] ppid=13604 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110696374 1338576896 268282 33554432000 4194304 16246674 140736530360832 140479317388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110696374 1338576896 268282 33554432000 4194304 16246674 140736530360832 140479306898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110696374 1338576896 268282 33554432000 4194304 16246674 140736530360832 140479186332848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.3004 s]
/proc/loadavg: 2.18 2.20 2.18 3/184 13611
/proc/meminfo: memFree=28131252/32872528 swapFree=15272/1656604
[pid=13607] ppid=13604 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 9894 0 -1 4202496 267983 0 0 0 592 37 0 0 20 0 4 0 110696373 1338576896 268282 33554432000 4194304 16246674 140736530360832 140736530342720 5829044 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 326801 268282 884 2943 0 323695 0
[pid=13607/tid=13608] ppid=13604 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110696374 1338576896 268282 33554432000 4194304 16246674 140736530360832 140479317388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110696374 1338576896 268282 33554432000 4194304 16246674 140736530360832 140479306898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110696374 1338576896 268282 33554432000 4194304 16246674 140736530360832 140479186332848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.17 2.19 2.18 3/184 13611
/proc/meminfo: memFree=28131540/32872528 swapFree=15272/1656604
[pid=13607] ppid=13604 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 9894 0 -1 4202496 267985 0 0 0 1232 37 0 0 20 0 4 0 110696373 1338576896 268284 33554432000 4194304 16246674 140736530360832 140736530342720 5823542 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 326801 268284 886 2943 0 323695 0
[pid=13607/tid=13608] ppid=13604 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110696374 1338576896 268284 33554432000 4194304 16246674 140736530360832 140479317388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110696374 1338576896 268284 33554432000 4194304 16246674 140736530360832 140479306898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110696374 1338576896 268284 33554432000 4194304 16246674 140736530360832 140479186332848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.13 2.18 2.18 4/184 13611
/proc/meminfo: memFree=28130228/32872528 swapFree=15272/1656604
[pid=13607] ppid=13604 vsize=1309252 CPUtime=25.49 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 9894 0 -1 4202496 268347 0 0 0 2512 37 0 0 20 0 4 0 110696373 1340674048 268646 33554432000 4194304 16246674 140736530360832 140736530342720 5522960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 327313 268646 886 2943 0 324207 0
[pid=13607/tid=13608] ppid=13604 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110696374 1340674048 268646 33554432000 4194304 16246674 140736530360832 140479317388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110696374 1340674048 268646 33554432000 4194304 16246674 140736530360832 140479306898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110696374 1340674048 268646 33554432000 4194304 16246674 140736530360832 140479186332848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.14 2.18 2.18 3/183 13611
/proc/meminfo: memFree=28129620/32872528 swapFree=15272/1656604
[pid=13607] ppid=13604 vsize=1309252 CPUtime=51.08 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 9894 0 -1 4202496 268497 0 0 0 5071 37 0 0 20 0 4 0 110696373 1340674048 268796 33554432000 4194304 16246674 140736530360832 140736530342720 12483272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 327313 268796 886 2943 0 324207 0
[pid=13607/tid=13608] ppid=13604 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110696374 1340674048 268796 33554432000 4194304 16246674 140736530360832 140479317388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110696374 1340674048 268796 33554432000 4194304 16246674 140736530360832 140479306898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110696374 1340674048 268796 33554432000 4194304 16246674 140736530360832 140479186332848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

[startup+102.3 s]
/proc/loadavg: 2.22 2.20 2.18 4/183 13612
/proc/meminfo: memFree=28124900/32872528 swapFree=15272/1656604
[pid=13607] ppid=13604 vsize=1314372 CPUtime=102.28 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 9894 0 -1 4202496 269741 0 0 0 10190 38 0 0 20 0 4 0 110696373 1345916928 270040 33554432000 4194304 16246674 140736530360832 140736530342720 5523404 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 328593 270040 886 2943 0 325487 0
[pid=13607/tid=13608] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270040 33554432000 4194304 16246674 140736530360832 140479317388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270040 33554432000 4194304 16246674 140736530360832 140479306898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270040 33554432000 4194304 16246674 140736530360832 140479186332848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372

[startup+162.3 s]
/proc/loadavg: 2.12 2.17 2.17 4/183 13614
/proc/meminfo: memFree=28124536/32872528 swapFree=15272/1656604
[pid=13607] ppid=13604 vsize=1314372 CPUtime=162.27 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 9894 0 -1 4202496 269777 0 0 0 16188 39 0 0 20 0 4 0 110696373 1345916928 270076 33554432000 4194304 16246674 140736530360832 140736530342720 5546023 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 328593 270076 886 2943 0 325487 0
[pid=13607/tid=13608] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479317388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479306898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479186332848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1314372

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13607 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+179.2 s]
/proc/loadavg: 2.22 2.19 2.18 4/183 13614
/proc/meminfo: memFree=28124664/32872528 swapFree=15272/1656604
[pid=13607] ppid=13604 vsize=1314372 CPUtime=179.16 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 9894 0 -1 4202496 269777 0 0 0 17877 39 0 0 20 0 4 0 110696373 1345916928 270076 33554432000 4194304 16246674 140736530360832 140736530342720 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 328593 270076 886 2943 0 325487 0
[pid=13607/tid=13608] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479317388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479306898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479186332848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 179.16
Current children cumulated vsize (KiB) 1314372

[startup+185.6 s]
/proc/loadavg: 2.20 2.19 2.18 3/183 13615
/proc/meminfo: memFree=28124156/32872528 swapFree=15272/1656604
[pid=13607] ppid=13604 vsize=1314372 CPUtime=185.56 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 9894 0 -1 4202496 269777 0 0 0 18517 39 0 0 20 0 4 0 110696373 1345916928 270076 33554432000 4194304 16246674 140736530360832 140736530342720 5717656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 328593 270076 886 2943 0 325487 0
[pid=13607/tid=13608] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479317388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479306898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479186332848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 185.56
Current children cumulated vsize (KiB) 1314372

[startup+192 s]
/proc/loadavg: 2.18 2.19 2.18 4/183 13615
/proc/meminfo: memFree=28124484/32872528 swapFree=15272/1656604
[pid=13607] ppid=13604 vsize=1314372 CPUtime=191.96 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 9894 0 -1 4202496 269777 0 0 0 19157 39 0 0 20 0 4 0 110696373 1345916928 270076 33554432000 4194304 16246674 140736530360832 140736530342720 12483640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 328593 270076 886 2943 0 325487 0
[pid=13607/tid=13608] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479317388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479306898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479186332848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 191.96
Current children cumulated vsize (KiB) 1314372

[startup+195.2 s]
/proc/loadavg: 2.17 2.18 2.18 4/183 13615
/proc/meminfo: memFree=28124748/32872528 swapFree=15272/1656604
[pid=13607] ppid=13604 vsize=1314372 CPUtime=195.16 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 9894 0 -1 4202496 269777 0 0 0 19477 39 0 0 20 0 4 0 110696373 1345916928 270076 33554432000 4194304 16246674 140736530360832 140736530342720 5754983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 328593 270076 886 2943 0 325487 0
[pid=13607/tid=13608] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479317388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479306898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479186332848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 195.16
Current children cumulated vsize (KiB) 1314372

[startup+196.8 s]
/proc/loadavg: 2.17 2.18 2.18 3/183 13615
/proc/meminfo: memFree=28124748/32872528 swapFree=15272/1656604
[pid=13607] ppid=13604 vsize=1314372 CPUtime=196.76 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 9894 0 -1 4202496 269777 0 0 0 19637 39 0 0 20 0 4 0 110696373 1345916928 270076 33554432000 4194304 16246674 140736530360832 140736530342720 5661428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 328593 270076 886 2943 0 325487 0
[pid=13607/tid=13608] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479317388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479306898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479186332848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 196.76
Current children cumulated vsize (KiB) 1314372

[startup+197.6 s]
/proc/loadavg: 2.17 2.18 2.18 3/183 13615
/proc/meminfo: memFree=28124748/32872528 swapFree=15272/1656604
[pid=13607] ppid=13604 vsize=1314372 CPUtime=197.56 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 9894 0 -1 4202496 269777 0 0 0 19717 39 0 0 20 0 4 0 110696373 1345916928 270076 33554432000 4194304 16246674 140736530360832 140736530342720 5546205 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 328593 270076 886 2943 0 325487 0
[pid=13607/tid=13608] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479317388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479306898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479186332848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 197.56
Current children cumulated vsize (KiB) 1314372

[startup+197.8 s]
/proc/loadavg: 2.17 2.18 2.18 3/183 13615
/proc/meminfo: memFree=28124748/32872528 swapFree=15272/1656604
[pid=13607] ppid=13604 vsize=1314372 CPUtime=197.76 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 9894 0 -1 4202496 269777 0 0 0 19737 39 0 0 20 0 4 0 110696373 1345916928 270076 33554432000 4194304 16246674 140736530360832 140736530342720 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 328593 270076 886 2943 0 325487 0
[pid=13607/tid=13608] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479317388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479306898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479186332848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 197.76
Current children cumulated vsize (KiB) 1314372

[startup+197.9 s]
/proc/loadavg: 2.17 2.18 2.18 3/183 13615
/proc/meminfo: memFree=28124748/32872528 swapFree=15272/1656604
[pid=13607] ppid=13604 vsize=1314372 CPUtime=197.86 cores=0,2,4,6
/proc/13607/stat : 13607 (toysat) R 13604 13607 9894 0 -1 4202496 269777 0 0 0 19747 39 0 0 20 0 4 0 110696373 1345916928 270076 33554432000 4194304 16246674 140736530360832 140736530342720 5545708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13607/statm: 328593 270076 886 2943 0 325487 0
[pid=13607/tid=13608] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13608/stat : 13608 (toysat) S 13604 13607 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479317388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13607/tid=13609] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13609/stat : 13609 (toysat) S 13604 13607 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479306898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13607/tid=13610] ppid=13604 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13607/task/13610/stat : 13610 (toysat) S 13604 13607 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110696374 1345916928 270076 33554432000 4194304 16246674 140736530360832 140479186332848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 197.86
Current children cumulated vsize (KiB) 1314372

Child status: 0
Real time (s): 198.002
CPU time (s): 197.97
CPU user time (s): 197.514
CPU system time (s): 0.45593
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 197.514
system time used= 0.45593
maximum resident set size= 1080328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269784
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= 20
involuntary context switches= 206

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.52092 second user time and 0.749886 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-07 10:20:30
IDJOB=4078886
IDBENCH=90224
IDSOLVER=2542
FILE ID=node136/4078886-1465287630
RUNJOBID= node136-1465261284-9910
PBS_JOBID= 19843291
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K76.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078886-1465287630/watcher-4078886-1465287630 -o /tmp/evaluation-result-4078886-1465287630/solver-4078886-1465287630 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9910 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078886-1465287630.opb

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

MD5SUM BENCH= b21b0bbddae7db554b549f6efc66327c
RANDOM SEED=148095478

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29204620 kB
Buffers:           54976 kB
Cached:           144024 kB
SwapCached:          768 kB
Active:          1152084 kB
Inactive:         125124 kB
Active(anon):    1077032 kB
Inactive(anon):     3536 kB
Active(file):      75052 kB
Inactive(file):   121588 kB
Unevictable:     1656604 kB
Mlocked:           15272 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:             16764 kB
Writeback:             0 kB
AnonPages:       2734372 kB
Mapped:            10652 kB
Shmem:                 0 kB
Slab:             598608 kB
SReclaimable:      42364 kB
SUnreclaim:       556244 kB
KernelStack:        1456 kB
PageTables:         9448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2879312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1646592 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= 71704 MiB
End job on node136 at 2016-06-07 10:23:49