Trace number 4078885

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 172.686 172.714

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K75.opb
MD5SUM5349e46dd5b60bb87c86087d933e00a7
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 benchmark7.40287
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4125
Total number of constraints4277
Number of constraints which are clauses4202
Number of constraints which are cardinality constraints (but not clauses)75
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint75
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 76
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:17:16+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-4078885-1465287436.opb"]
0.00/0.01	c use --random-gen="2918044349 3894857429 765919096 1445678671 2657521245 1236948301 2003988509 621513857 3417866451 2469204056 3061987846 2601448318 3688908958 195119577 2531881461 1696521310 242754683 2320765680 2834551140 61004096 2711585927 277909823 1831293800 2886213847 991512979 2278518952 1418043204 2915743999 1624998766 3004256690 609324537 47083555 2301806257 1288106965 349239287 127385086 1876658645 3712760382 1023240579 1501859723 191892529 1907818473 110846842 1067302894 654419641 2595402119 3064971146 2425632157 3316585345 2742916891 585354548 3067388470 1684905367 2911554841 733542434 3453647481 1537713411 207442456 1413749598 4196236728 3425782726 3731553595 3836653560 1655108790 2666829240 3671062621 3109529344 50469505 77473995 3580966648 2546179331 4267607879 2103876969 293582685 3220592093 10451448 3632336126 3385663937 2099092361 561107917 1792553559 2763405133 1080189613 2323772294 948742217 216974822 769060601 2024684720 382930144 3322116022 150371819 2455277895 3000440890 3862256393 4068028401 1423053572 2803205456 4231078829 2401967178 4094767535 208665402 3487145174 1152456310 2583889025 283325324 3520028858 3684418184 3098340033 2866044792 1405301956 1675973039 1485622723 1970712990 3949975145 3398733976 3631338846 404569637 2641777078 1682125118 3735812986 1512156090 1320284724 1561035545 3378446618 3547339364 503514499 3816178950 2196776981 3465280669 2428433823 1452043029 2158884852 2629324864 1522517352 1315562968 3403825491 697765435 2964417086 3271804611 1233154881 2532045005 1196217897 1528899417 4023739688 3212476188 303649780 2600172407 2428050839 3707247816 85140274 1703620547 4204268743 646978021 4181017170 2199672400 3448578994 4144353219 329812657 3257482022 3492580881 2758562629 3973658066 757666316 499122101 1025065651 2644164130 322209382 2220153576 1991511588 1342270029 3343228460 747889902 853326787 140787524 1295163056 1721780040 1774701974 2952604857 1932131115 3052401327 518616208 4003121525 3123526621 3724935589 1048951513 2445737440 2074499069 1849116142 2412422517 2127029657 3316993987 50571748 4071311617 1590443635 872623030 521672862 3874865993 888945266 3368669847 3727976451 1852126201 1864021338 995712840 968254892 2875591724 1860746581 2590072830 1136242362 2903114178 407566977 2694660908 1785212793 171481655 3038693378 2413314161 2395441978 2958691352 2761460688 3620065178 594684781 1967670903 2684744873 3416580229 1438572780 2140051167 4248929358 1902247731 2817572148 2820267578 3392567920 1996883715 2294999523 2572753596 74558873 3343146318 2171129963 2715732466 2621597572 112513966 3112498837 2327605076 423999262 3146661922 1698307429 1824825258 3866551779 534483193 1628255931 3623091569 1407050441 928341939 232324573 1562010891 534818609 985252863 1516280949 255 362436" option to reproduce the execution
0.00/0.06	c #vars 4125
0.00/0.06	c #constraints 4277
0.08/0.16	c Solving starts ...
0.08/0.16	c ============================[ Search Statistics ]============================
0.08/0.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.16	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.16	c =============================================================================
0.08/0.16	c  0.0s |       0 |        0 |        0 |     2800      0 |      455 |        0
0.18/0.29	c  0.1s |       1 |     1510 |      100 |     2800      0 |      456 |      411
0.38/0.43	c  0.3s |       2 |     2952 |      250 |     3081      0 |      458 |      413
0.58/0.64	c  0.5s |       3 |     5923 |      475 |     3390      0 |      458 |      413
1.10/1.15	c  1.0s |       4 |    10185 |      813 |     3730      0 |      462 |      417
1.48/1.54	c  1.4s |       5 |    15103 |     1320 |     4103      0 |      464 |      419
2.08/2.19	c  2.0s |       6 |    25276 |     2081 |     4966      0 |      470 |      425
3.18/3.22	c  3.1s |       7 |    39415 |     3223 |     5463      0 |      475 |      430
4.88/4.98	c  4.8s |       8 |    55602 |     4936 |     6010      0 |      482 |      437
7.08/7.16	c  7.0s |       8 |    69659 |     7036 |     6010      0 |      486 |      441
7.79/7.89	c  7.7s |       9 |    73337 |     7506 |     6612      1 |      487 |      442
9.89/9.94	c  9.8s |       9 |    94111 |     9606 |     6612      1 |      493 |      448
11.68/11.76	c 11.6s |      10 |   105184 |    11361 |     7274      1 |      493 |      448
13.78/13.81	c 13.7s |      10 |   123685 |    13361 |     7274      2 |      495 |      450
15.78/15.87	c 15.7s |      10 |   128443 |    14561 |     7274      2 |      495 |      450
17.78/17.89	c 17.7s |      10 |   142829 |    16061 |     7274      3 |      498 |      453
18.98/19.06	c 18.9s |      11 |   151554 |    17144 |     8002      3 |      501 |      456
21.08/21.10	c 20.9s |      11 |   160648 |    18444 |     8002      3 |      501 |      456
23.28/23.31	c 23.1s |      11 |   168091 |    19644 |     8002      3 |      504 |      459
25.29/25.39	c 25.2s |      11 |   174699 |    21044 |     8002      3 |      504 |      459
27.49/27.53	c 27.4s |      11 |   179015 |    22444 |     8002      3 |      504 |      459
29.59/29.66	c 29.5s |      11 |   181357 |    23344 |     8002      4 |      504 |      459
31.89/31.97	c 31.8s |      11 |   182971 |    24044 |     8002      4 |      504 |      459
34.09/34.17	c 34.0s |      11 |   185945 |    25044 |     8002      4 |      504 |      459
35.58/35.64	c 35.5s |      12 |   188395 |    25819 |     8803      4 |      504 |      459
37.58/37.65	c 37.5s |      12 |   203920 |    27519 |     8803      5 |      504 |      459
39.59/39.69	c 39.5s |      12 |   213809 |    28919 |     8803      5 |      505 |      460
41.68/41.73	c 41.6s |      12 |   226281 |    30619 |     8803      5 |      507 |      462
43.68/43.78	c 43.6s |      12 |   232832 |    31519 |     8803      5 |      507 |      462
45.68/45.79	c 45.6s |      12 |   245539 |    33219 |     8803      6 |      508 |      463
48.18/48.20	c 48.0s |      12 |   252714 |    34819 |     8803      6 |      508 |      463
50.18/50.22	c 50.1s |      12 |   258663 |    36119 |     8803      6 |      508 |      463
52.28/52.34	c 52.2s |      12 |   262345 |    37119 |     8803      6 |      508 |      463
54.38/54.49	c 54.3s |      12 |   265515 |    38019 |     8803      7 |      508 |      463
56.88/56.94	c 56.8s |      12 |   267770 |    38819 |     9684      7 |      508 |      463
56.88/56.95	c 56.8s |      13 |   267793 |    38832 |     9684      7 |      508 |      463
58.88/58.99	c 58.8s |      13 |   285111 |    40832 |     9684      7 |      510 |      465
60.98/61.06	c 60.9s |      13 |   303842 |    42732 |     9684      7 |      512 |      467
63.08/63.14	c 63.0s |      13 |   321801 |    44732 |     9684      8 |      512 |      467
65.18/65.25	c 65.1s |      13 |   330301 |    46732 |     9684      8 |      513 |      468
67.18/67.25	c 67.1s |      13 |   338805 |    48332 |     9684      8 |      513 |      468
69.28/69.32	c 69.2s |      13 |   358709 |    50532 |     9684      9 |      513 |      468
71.38/71.44	c 71.3s |      13 |   376677 |    52532 |     9684      9 |      513 |      468
73.38/73.46	c 73.3s |      13 |   387898 |    54132 |     9684     10 |      513 |      468
75.38/75.46	c 75.3s |      13 |   401976 |    56132 |     9684     10 |      513 |      468
77.38/77.48	c 77.3s |      13 |   412881 |    57932 |     9684     10 |      513 |      468
77.98/78.00	c 77.8s |      14 |   414864 |    58352 |    10653     10 |      513 |      468
80.07/80.14	c 80.0s |      14 |   422764 |    59752 |    10653     10 |      513 |      468
82.17/82.25	c 82.1s |      14 |   433055 |    61352 |    10653     11 |      513 |      468
84.27/84.33	c 84.2s |      14 |   444801 |    63152 |    10653     11 |      513 |      468
86.27/86.34	c 86.2s |      14 |   449314 |    64352 |    10653     11 |      513 |      468
88.27/88.36	c 88.2s |      14 |   457589 |    65852 |    10653     11 |      513 |      468
90.28/90.37	c 90.2s |      14 |   471533 |    67352 |    10653     12 |      514 |      469
92.27/92.39	c 92.2s |      14 |   483708 |    69152 |    10653     12 |      514 |      469
94.47/94.50	c 94.3s |      14 |   490625 |    70352 |    10653     12 |      514 |      469
96.47/96.57	c 96.4s |      14 |   494746 |    71352 |    10653     12 |      514 |      469
98.77/98.81	c 98.7s |      14 |   496988 |    72152 |    10653     12 |      514 |      469
101.07/101.16	c  100s |      14 |   498556 |    72752 |    10653     12 |      514 |      469
103.67/103.70	c  103s |      14 |   499557 |    73252 |    10653     13 |      514 |      469
105.77/105.83	c  105s |      14 |   501226 |    73852 |    10653     13 |      514 |      469
107.97/108.01	c  107s |      14 |   505557 |    74652 |    10653     13 |      514 |      469
109.97/110.05	c  109s |      14 |   521050 |    76552 |    10653     13 |      514 |      469
112.07/112.17	c  112s |      14 |   535830 |    78452 |    10653     13 |      514 |      469
114.17/114.22	c  114s |      14 |   545177 |    80352 |    10653     14 |      514 |      469
116.27/116.30	c  116s |      14 |   556086 |    82152 |    10653     14 |      515 |      470
118.27/118.38	c  118s |      14 |   561671 |    83452 |    10653     14 |      515 |      470
120.37/120.44	c  120s |      14 |   574470 |    85152 |    10653     15 |      515 |      470
122.47/122.58	c  122s |      14 |   582373 |    86852 |    10653     15 |      515 |      470
123.77/123.86	c  123s |      15 |   589193 |    87632 |    11719     15 |      515 |      470
125.87/125.94	c  125s |      15 |   608156 |    89832 |    11719     15 |      515 |      470
127.97/128.05	c  127s |      15 |   619733 |    91732 |    11719     16 |      515 |      470
130.07/130.14	c  129s |      15 |   632109 |    93632 |    11719     16 |      515 |      470
132.17/132.27	c  132s |      15 |   637360 |    95032 |    11719     16 |      515 |      470
134.47/134.55	c  134s |      15 |   641457 |    96132 |    11719     16 |      515 |      470
136.67/136.79	c  136s |      15 |   644063 |    96932 |    11719     16 |      515 |      470
138.77/138.84	c  138s |      15 |   648552 |    98032 |    11719     16 |      515 |      470
140.97/141.04	c  140s |      15 |   653449 |    99432 |    11719     17 |      515 |      470
142.98/143.06	c  142s |      15 |   656371 |   100432 |    11719     17 |      515 |      470
145.07/145.14	c  144s |      15 |   659784 |   101332 |    11719     17 |      515 |      470
147.07/147.14	c  146s |      15 |   662268 |   102032 |    11719     17 |      515 |      470
149.17/149.28	c  149s |      15 |   668218 |   103332 |    11719     17 |      515 |      470
151.37/151.49	c  151s |      15 |   670962 |   104032 |    11719     17 |      515 |      470
153.47/153.57	c  153s |      15 |   675796 |   105032 |    11719     18 |      515 |      470
155.57/155.67	c  155s |      15 |   682843 |   106532 |    11719     18 |      515 |      470
157.57/157.69	c  157s |      15 |   688511 |   107732 |    11719     18 |      515 |      470
159.67/159.72	c  159s |      15 |   693768 |   109032 |    11719     18 |      515 |      470
161.67/161.73	c  161s |      15 |   701015 |   110332 |    11719     18 |      515 |      470
163.66/163.76	c  163s |      15 |   709370 |   112032 |    11719     19 |      515 |      470
165.86/165.90	c  165s |      15 |   714873 |   113632 |    11719     19 |      515 |      470
167.96/168.04	c  167s |      15 |   722282 |   115332 |    11719     19 |      515 |      470
169.96/170.08	c  169s |      15 |   728013 |   116732 |    11719     19 |      515 |      470
172.16/172.23	c  172s |      15 |   731156 |   117732 |    11719     19 |      515 |      470
172.56/172.65	c  172s |      15 |   733051 |   117989 |    11719     20 |      515 |      470
172.56/172.65	c #cpu_time = 172.482s
172.56/172.65	c #wall_clock_time = 172.486s
172.56/172.65	c #decision = 733051
172.56/172.65	c #random_decision = 1598
172.56/172.65	c #conflict = 117989
172.56/172.65	c #restart = 15
172.56/172.65	s SATISFIABLE
172.56/172.65	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
172.56/172.65	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
172.56/172.65	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
172.56/172.65	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
172.56/172.65	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
172.56/172.65	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
172.56/172.65	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
172.56/172.65	v -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80
172.56/172.65	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90
172.56/172.65	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
172.56/172.65	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110
172.56/172.65	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
172.56/172.65	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
172.56/172.65	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
172.56/172.65	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
172.56/172.65	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
172.56/172.65	v -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170
172.56/172.65	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
172.56/172.65	v -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
172.56/172.65	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
172.56/172.65	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
172.56/172.65	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
172.56/172.65	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
172.56/172.65	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
172.56/172.65	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
172.56/172.65	v -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260
172.56/172.65	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
172.56/172.65	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
172.56/172.65	v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
172.56/172.65	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300
172.56/172.65	v -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310
172.56/172.65	v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
172.56/172.65	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
172.56/172.65	v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
172.56/172.65	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
172.56/172.65	v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
172.56/172.65	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
172.56/172.65	v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
172.56/172.65	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390
172.56/172.65	v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
172.56/172.65	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410
172.56/172.65	v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
172.56/172.65	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
172.56/172.65	v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
172.56/172.65	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450
172.56/172.65	v -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460
172.56/172.65	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
172.56/172.65	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
172.56/172.65	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
172.56/172.65	v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
172.56/172.65	v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
172.56/172.65	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
172.56/172.65	v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
172.56/172.65	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
172.56/172.65	v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
172.56/172.65	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560
172.56/172.65	v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
172.56/172.65	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580
172.56/172.65	v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
172.56/172.65	v -x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600
172.56/172.65	v -x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 x610
172.56/172.65	v -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
172.56/172.65	v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
172.56/172.65	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
172.56/172.65	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
172.56/172.65	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
172.56/172.65	v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
172.56/172.65	v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
172.56/172.65	v -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690
172.56/172.65	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
172.56/172.65	v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
172.56/172.65	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
172.56/172.65	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
172.56/172.65	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
172.56/172.65	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
172.56/172.65	v -x751 -x752 -x753 -x754 x755 -x756 x757 -x758 -x759 -x760
172.56/172.65	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770
172.56/172.65	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780
172.56/172.65	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790
172.56/172.65	v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800
172.56/172.65	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
172.56/172.65	v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
172.56/172.65	v x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830
172.56/172.65	v -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840
172.56/172.65	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
172.56/172.65	v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
172.56/172.65	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870
172.56/172.65	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880
172.56/172.65	v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
172.56/172.65	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
172.56/172.65	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910
172.56/172.65	v -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
172.56/172.65	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930
172.56/172.65	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
172.56/172.65	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
172.56/172.65	v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
172.56/172.65	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970
172.56/172.65	v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980
172.56/172.65	v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990
172.56/172.65	v x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
172.56/172.65	v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x1010
172.56/172.65	v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
172.56/172.65	v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
172.56/172.65	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
172.56/172.65	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050
172.56/172.65	v -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 -x1060
172.56/172.65	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070
172.56/172.65	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
172.56/172.65	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
172.56/172.65	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100
172.56/172.65	v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
172.56/172.65	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
172.56/172.65	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130
172.56/172.65	v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140
172.56/172.65	v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
172.56/172.65	v -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160
172.56/172.65	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170
172.56/172.65	v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
172.56/172.65	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
172.56/172.65	v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
172.56/172.65	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
172.56/172.65	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220
172.56/172.65	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230
172.56/172.65	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240
172.56/172.65	v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
172.56/172.65	v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
172.56/172.65	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x1270
172.56/172.65	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
172.56/172.65	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
172.56/172.65	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
172.56/172.65	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
172.56/172.65	v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320
172.56/172.65	v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1327 -x1328 -x1329 -x1330
172.56/172.65	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340
172.56/172.65	v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
172.56/172.65	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360
172.56/172.65	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 x1368 -x1369 -x1370
172.56/172.65	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
172.56/172.65	v -x1381 -x1382 -x1383 -x1384 -x1385 x1386 -x1387 x1388 -x1389 -x1390
172.56/172.65	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
172.56/172.65	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410
172.56/172.65	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420
172.56/172.65	v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
172.56/172.65	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
172.56/172.65	v -x1441 -x1442 -x1443 x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
172.56/172.65	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460
172.56/172.65	v -x1461 x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
172.56/172.65	v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480
172.56/172.65	v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
172.56/172.65	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
172.56/172.65	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510
172.56/172.65	v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x1520
172.56/172.65	v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530
172.56/172.65	v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
172.56/172.65	v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550
172.56/172.65	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560
172.56/172.65	v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
172.56/172.65	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580
172.56/172.65	v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
172.56/172.65	v -x1591 -x1592 -x1593 -x1594 -x1595 x1596 -x1597 -x1598 -x1599 -x1600
172.56/172.65	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610
172.56/172.65	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
172.56/172.65	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630
172.56/172.65	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640
172.56/172.65	v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650
172.56/172.65	v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660
172.56/172.65	v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670
172.56/172.65	v -x1671 x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680
172.56/172.65	v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
172.56/172.65	v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 x1700
172.56/172.65	v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
172.56/172.65	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
172.56/172.65	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
172.56/172.65	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
172.56/172.65	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750
172.56/172.65	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760
172.56/172.65	v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
172.56/172.65	v -x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780
172.56/172.65	v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
172.56/172.65	v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800
172.56/172.65	v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
172.56/172.65	v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820
172.56/172.65	v -x1821 -x1822 -x1823 x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830
172.56/172.65	v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840
172.56/172.65	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850
172.56/172.65	v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
172.56/172.65	v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870
172.56/172.65	v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
172.56/172.65	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890
172.56/172.65	v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900
172.56/172.65	v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910
172.56/172.65	v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
172.56/172.65	v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930
172.56/172.65	v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
172.56/172.65	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950
172.56/172.65	v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
172.56/172.65	v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970
172.56/172.65	v -x1971 -x1972 -x1973 -x1974 -x1975 x1976 -x1977 -x1978 -x1979 -x1980
172.56/172.65	v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990
172.56/172.65	v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000
172.56/172.65	v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
172.56/172.65	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020
172.56/172.65	v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
172.56/172.65	v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040
172.56/172.65	v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050
172.56/172.65	v -x2051 x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060
172.56/172.65	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
172.56/172.65	v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080
172.56/172.65	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090
172.56/172.65	v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100
172.56/172.65	v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
172.56/172.65	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120
172.56/172.65	v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130
172.56/172.65	v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
172.56/172.65	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150
172.56/172.65	v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160
172.56/172.65	v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170
172.56/172.65	v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180
172.56/172.65	v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190
172.56/172.65	v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200
172.56/172.65	v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210
172.56/172.65	v -x2211 -x2212 -x2213 -x2214 x2215 -x2216 -x2217 -x2218 -x2219 -x2220
172.56/172.65	v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230
172.56/172.65	v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240
172.56/172.65	v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250
172.56/172.65	v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
172.56/172.65	v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270
172.56/172.65	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
172.56/172.65	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290
172.56/172.65	v -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 x2298 -x2299 -x2300
172.56/172.65	v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310
172.56/172.65	v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320
172.56/172.65	v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330
172.56/172.65	v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340
172.56/172.65	v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350
172.56/172.65	v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360
172.56/172.65	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370
172.56/172.65	v -x2371 x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380
172.56/172.65	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390
172.56/172.65	v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400
172.56/172.65	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410
172.56/172.65	v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420
172.56/172.65	v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430
172.56/172.65	v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440
172.56/172.65	v -x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450
172.56/172.65	v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460
172.56/172.65	v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470
172.56/172.65	v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480
172.56/172.65	v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490
172.56/172.65	v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500
172.56/172.65	v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510
172.56/172.65	v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520
172.56/172.65	v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530
172.56/172.65	v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540
172.56/172.65	v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550
172.56/172.65	v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560
172.56/172.65	v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570
172.56/172.65	v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580
172.56/172.65	v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590
172.56/172.65	v -x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600
172.56/172.65	v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610
172.56/172.65	v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620
172.56/172.65	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630
172.56/172.65	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640
172.56/172.65	v -x2641 x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650
172.56/172.65	v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 x2660
172.56/172.65	v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670
172.56/172.65	v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680
172.56/172.65	v -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690
172.56/172.65	v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700
172.56/172.65	v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710
172.56/172.65	v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720
172.56/172.65	v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 x2729 -x2730
172.56/172.65	v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740
172.56/172.65	v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750
172.56/172.65	v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760
172.56/172.65	v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770
172.56/172.65	v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780
172.56/172.65	v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790
172.56/172.65	v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800
172.56/172.65	v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810
172.56/172.65	v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820
172.56/172.65	v -x2821 -x2822 -x2823 -x2824 -x2825 x2826 -x2827 -x2828 -x2829 -x2830
172.56/172.65	v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840
172.56/172.65	v -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850
172.56/172.65	v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860
172.56/172.65	v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870
172.56/172.65	v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880
172.56/172.65	v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 x2889 -x2890
172.56/172.65	v x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900
172.56/172.65	v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910
172.56/172.65	v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920
172.56/172.65	v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930
172.56/172.65	v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940
172.56/172.65	v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950
172.56/172.65	v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960
172.56/172.65	v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 x2968 -x2969 x2970
172.56/172.65	v -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980
172.56/172.65	v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990
172.56/172.65	v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000
172.56/172.65	v -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010
172.56/172.65	v -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
172.56/172.65	v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030
172.56/172.65	v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040
172.56/172.65	v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050
172.56/172.65	v -x3051 -x3052 -x3053 -x3054 x3055 -x3056 -x3057 -x3058 -x3059 -x3060
172.56/172.65	v -x3061 -x3062 x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070
172.56/172.65	v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080
172.56/172.65	v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090
172.56/172.65	v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100
172.56/172.65	v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110
172.56/172.65	v -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120
172.56/172.65	v -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130
172.56/172.65	v x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140
172.56/172.65	v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150
172.56/172.65	v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160
172.56/172.65	v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170
172.56/172.65	v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180
172.56/172.65	v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190
172.56/172.65	v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200
172.56/172.65	v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 x3207 -x3208 -x3209 -x3210
172.56/172.65	v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220
172.56/172.65	v -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230
172.56/172.65	v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240
172.56/172.65	v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250
172.56/172.65	v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260
172.56/172.65	v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270
172.56/172.65	v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280
172.56/172.65	v -x3281 -x3282 x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290
172.56/172.65	v -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300
172.56/172.65	v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310
172.56/172.65	v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320
172.56/172.65	v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330
172.56/172.65	v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340
172.56/172.65	v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350
172.56/172.65	v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 x3359 -x3360
172.56/172.65	v -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370
172.56/172.65	v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380
172.56/172.65	v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390
172.56/172.65	v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400
172.56/172.65	v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410
172.56/172.65	v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420
172.56/172.65	v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430
172.56/172.65	v -x3431 -x3432 -x3433 -x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440
172.56/172.65	v -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450
172.56/172.65	v -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460
172.56/172.65	v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470
172.56/172.65	v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480
172.56/172.65	v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490
172.56/172.65	v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500
172.56/172.65	v -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510
172.56/172.65	v x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520
172.56/172.65	v -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530
172.56/172.65	v -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540
172.56/172.65	v -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550
172.56/172.65	v -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560
172.56/172.65	v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570
172.56/172.65	v -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580
172.56/172.65	v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 x3587 -x3588 -x3589 -x3590
172.56/172.65	v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600
172.56/172.65	v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610
172.56/172.65	v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620
172.56/172.65	v -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630
172.56/172.65	v -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640
172.56/172.65	v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650
172.56/172.65	v -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660
172.56/172.65	v -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 x3667 -x3668 -x3669 -x3670
172.56/172.65	v -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680
172.56/172.65	v -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690
172.56/172.65	v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700
172.56/172.65	v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710
172.56/172.65	v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720
172.56/172.65	v -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 x3729 -x3730
172.56/172.65	v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740
172.56/172.65	v -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750
172.56/172.65	v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760
172.56/172.65	v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770
172.56/172.65	v -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780
172.56/172.65	v -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790
172.56/172.65	v -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800
172.56/172.65	v -x3801 -x3802 x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810
172.56/172.65	v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820
172.56/172.65	v -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830
172.56/172.65	v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840
172.56/172.65	v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850
172.56/172.65	v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860
172.56/172.65	v -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870
172.56/172.65	v -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880
172.56/172.65	v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 x3890
172.56/172.65	v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900
172.56/172.65	v -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910
172.56/172.65	v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920
172.56/172.65	v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930
172.56/172.65	v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940
172.56/172.65	v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950
172.56/172.65	v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960
172.56/172.65	v -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 x3969 -x3970
172.56/172.65	v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980
172.56/172.65	v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990
172.56/172.65	v -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000
172.56/172.65	v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010
172.56/172.65	v -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020
172.56/172.65	v -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030
172.56/172.65	v -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 x4039 -x4040
172.56/172.65	v x4041 -x4042 x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050
172.56/172.65	v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060
172.56/172.65	v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070
172.56/172.65	v -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080
172.56/172.65	v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090
172.56/172.65	v -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100
172.56/172.65	v -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110
172.56/172.65	v -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120
172.56/172.65	v -x4121 -x4122 -x4123 -x4124 x4125
172.56/172.65	c total CPU time = 172.649s
172.56/172.65	c total wall clock time = 172.652s

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

pid=9691
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.06 2.07 2.08 3/179 9694
/proc/meminfo: memFree=30571360/32872528 swapFree=12744/274376
[pid=9694] ppid=9691 vsize=752060 CPUtime=0 cores=0,2,4,6
/proc/9694/stat : 9694 (toysat) R 9691 9694 5566 0 -1 4202496 2812 0 0 0 0 0 0 0 20 0 4 0 110678337 770109440 2662 33554432000 4194304 16246674 140736094677936 140736094677360 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9694/statm: 188783 2671 441 2943 0 185677 0
[pid=9694/tid=9695] ppid=9691 vsize=769468 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9695/stat : 9695 (toysat) S 9691 9694 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110678337 787935232 2729 33554432000 4194304 16246674 140736094677936 140604915821808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9694/tid=9696] ppid=9691 vsize=773564 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9696/stat : 9696 (toysat) S 9691 9694 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110678337 792129536 2746 33554432000 4194304 16246674 140736094677936 140604905331952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9694/tid=9697] ppid=9691 vsize=777660 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9697/stat : 9697 (toysat) S 9691 9694 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110678337 796323840 2762 33554432000 4194304 16246674 140736094677936 140604894858416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100228 s]
/proc/loadavg: 2.06 2.07 2.08 3/179 9694
/proc/meminfo: memFree=30571360/32872528 swapFree=12744/274376
[pid=9694] ppid=9691 vsize=1220164 CPUtime=0.08 cores=0,2,4,6
/proc/9694/stat : 9694 (toysat) R 9691 9694 5566 0 -1 4202496 26174 0 0 0 5 3 0 0 20 0 4 0 110678337 1249447936 25962 33554432000 4194304 16246674 140736094677936 140736094677248 6969814 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9694/statm: 305041 25969 833 2943 0 301935 0
[pid=9694/tid=9695] ppid=9691 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9695/stat : 9695 (toysat) S 9691 9694 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110678337 1249447936 25974 33554432000 4194304 16246674 140736094677936 140604915821808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9694/tid=9696] ppid=9691 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9696/stat : 9696 (toysat) S 9691 9694 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110678337 1249447936 25979 33554432000 4194304 16246674 140736094677936 140604905331952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9694/tid=9697] ppid=9691 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9697/stat : 9697 (toysat) S 9691 9694 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110678337 1249447936 25986 33554432000 4194304 16246674 140736094677936 140604894858416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200509 s]
/proc/loadavg: 2.06 2.07 2.08 3/179 9694
/proc/meminfo: memFree=30571360/32872528 swapFree=12744/274376
[pid=9694] ppid=9691 vsize=1220164 CPUtime=0.18 cores=0,2,4,6
/proc/9694/stat : 9694 (toysat) R 9691 9694 5566 0 -1 4202496 46332 0 0 0 13 5 0 0 20 0 4 0 110678337 1249447936 46121 33554432000 4194304 16246674 140736094677936 140736094677248 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9694/statm: 305041 46126 876 2943 0 301935 0
[pid=9694/tid=9695] ppid=9691 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9695/stat : 9695 (toysat) S 9691 9694 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110678337 1249447936 46131 33554432000 4194304 16246674 140736094677936 140604915821808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9694/tid=9696] ppid=9691 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9696/stat : 9696 (toysat) S 9691 9694 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110678337 1249447936 46137 33554432000 4194304 16246674 140736094677936 140604905331952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9694/tid=9697] ppid=9691 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9697/stat : 9697 (toysat) S 9691 9694 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110678337 1249447936 46144 33554432000 4194304 16246674 140736094677936 140604894858416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1220164

[startup+0.300489 s]
/proc/loadavg: 2.06 2.07 2.08 3/179 9694
/proc/meminfo: memFree=30571360/32872528 swapFree=12744/274376
[pid=9694] ppid=9691 vsize=1220164 CPUtime=0.29 cores=0,2,4,6
/proc/9694/stat : 9694 (toysat) R 9691 9694 5566 0 -1 4202496 65770 0 0 0 21 8 0 0 20 0 4 0 110678337 1249447936 65558 33554432000 4194304 16246674 140736094677936 140736094677248 5532301 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9694/statm: 305041 65565 876 2943 0 301935 0
[pid=9694/tid=9695] ppid=9691 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9695/stat : 9695 (toysat) S 9691 9694 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110678337 1249447936 65569 33554432000 4194304 16246674 140736094677936 140604915821808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9694/tid=9696] ppid=9691 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9696/stat : 9696 (toysat) S 9691 9694 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110678337 1249447936 65575 33554432000 4194304 16246674 140736094677936 140604905331952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9694/tid=9697] ppid=9691 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9697/stat : 9697 (toysat) S 9691 9694 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110678337 1249447936 65582 33554432000 4194304 16246674 140736094677936 140604894858416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700408 s]
/proc/loadavg: 2.06 2.07 2.08 3/179 9694
/proc/meminfo: memFree=30571360/32872528 swapFree=12744/274376
[pid=9694] ppid=9691 vsize=1220164 CPUtime=0.69 cores=0,2,4,6
/proc/9694/stat : 9694 (toysat) R 9691 9694 5566 0 -1 4202496 152532 0 0 0 50 19 0 0 20 0 4 0 110678337 1249447936 152320 33554432000 4194304 16246674 140736094677936 140736094659840 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9694/statm: 305041 152335 876 2943 0 301935 0
[pid=9694/tid=9695] ppid=9691 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9695/stat : 9695 (toysat) S 9691 9694 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110678337 1249447936 152344 33554432000 4194304 16246674 140736094677936 140604915821808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9694/tid=9696] ppid=9691 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9696/stat : 9696 (toysat) S 9691 9694 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110678337 1249447936 152353 33554432000 4194304 16246674 140736094677936 140604905331952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9694/tid=9697] ppid=9691 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9697/stat : 9697 (toysat) S 9691 9694 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110678337 1249447936 152363 33554432000 4194304 16246674 140736094677936 140604894858416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.50044 s]
/proc/loadavg: 2.06 2.07 2.08 3/183 9698
/proc/meminfo: memFree=29537276/32872528 swapFree=12744/274376
[pid=9694] ppid=9691 vsize=1300036 CPUtime=1.48 cores=0,2,4,6
/proc/9694/stat : 9694 (toysat) R 9691 9694 5566 0 -1 4202496 266061 0 0 0 117 31 0 0 20 0 4 0 110678337 1331236864 265849 33554432000 4194304 16246674 140736094677936 140736094659840 6026583 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9694/statm: 325009 265849 879 2943 0 321903 0
[pid=9694/tid=9695] ppid=9691 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9695/stat : 9695 (toysat) S 9691 9694 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110678337 1331236864 265849 33554432000 4194304 16246674 140736094677936 140604915821808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9694/tid=9696] ppid=9691 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9696/stat : 9696 (toysat) S 9691 9694 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110678337 1331236864 265849 33554432000 4194304 16246674 140736094677936 140604905331952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9694/tid=9697] ppid=9691 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9697/stat : 9697 (toysat) S 9691 9694 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110678337 1331236864 265849 33554432000 4194304 16246674 140736094677936 140604894858416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1300036

[startup+3.10041 s]
/proc/loadavg: 2.06 2.07 2.08 3/183 9698
/proc/meminfo: memFree=29502044/32872528 swapFree=12744/274376
[pid=9694] ppid=9691 vsize=1307204 CPUtime=3.08 cores=0,2,4,6
/proc/9694/stat : 9694 (toysat) R 9691 9694 5566 0 -1 4202496 267982 0 0 0 277 31 0 0 20 0 4 0 110678337 1338576896 267770 33554432000 4194304 16246674 140736094677936 140736094659840 5754608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9694/statm: 326801 267770 882 2943 0 323695 0
[pid=9694/tid=9695] ppid=9691 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9695/stat : 9695 (toysat) S 9691 9694 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110678337 1338576896 267770 33554432000 4194304 16246674 140736094677936 140604915821808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9694/tid=9696] ppid=9691 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9696/stat : 9696 (toysat) S 9691 9694 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110678337 1338576896 267770 33554432000 4194304 16246674 140736094677936 140604905331952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9694/tid=9697] ppid=9691 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9697/stat : 9697 (toysat) S 9691 9694 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110678337 1338576896 267770 33554432000 4194304 16246674 140736094677936 140604894858416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30031 s]
/proc/loadavg: 2.06 2.07 2.08 3/183 9698
/proc/meminfo: memFree=29501196/32872528 swapFree=12744/274376
[pid=9694] ppid=9691 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/9694/stat : 9694 (toysat) R 9691 9694 5566 0 -1 4202496 267982 0 0 0 597 31 0 0 20 0 4 0 110678337 1338576896 267770 33554432000 4194304 16246674 140736094677936 140736094659840 13899088 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9694/statm: 326801 267770 882 2943 0 323695 0
[pid=9694/tid=9695] ppid=9691 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9695/stat : 9695 (toysat) S 9691 9694 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110678337 1338576896 267770 33554432000 4194304 16246674 140736094677936 140604915821808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9694/tid=9696] ppid=9691 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9696/stat : 9696 (toysat) S 9691 9694 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110678337 1338576896 267770 33554432000 4194304 16246674 140736094677936 140604905331952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9694/tid=9697] ppid=9691 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9697/stat : 9697 (toysat) S 9691 9694 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110678337 1338576896 267770 33554432000 4194304 16246674 140736094677936 140604894858416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7003 s]
/proc/loadavg: 2.05 2.07 2.08 4/183 9698
/proc/meminfo: memFree=29500504/32872528 swapFree=12744/274376
[pid=9694] ppid=9691 vsize=1308228 CPUtime=12.68 cores=0,2,4,6
/proc/9694/stat : 9694 (toysat) R 9691 9694 5566 0 -1 4202496 268046 0 0 0 1237 31 0 0 20 0 4 0 110678337 1339625472 267834 33554432000 4194304 16246674 140736094677936 140736094659840 5545721 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9694/statm: 327057 267834 884 2943 0 323951 0
[pid=9694/tid=9695] ppid=9691 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9695/stat : 9695 (toysat) S 9691 9694 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110678337 1339625472 267834 33554432000 4194304 16246674 140736094677936 140604915821808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9694/tid=9696] ppid=9691 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9696/stat : 9696 (toysat) S 9691 9694 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110678337 1339625472 267834 33554432000 4194304 16246674 140736094677936 140604905331952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9694/tid=9697] ppid=9691 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9697/stat : 9697 (toysat) S 9691 9694 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110678337 1339625472 267834 33554432000 4194304 16246674 140736094677936 140604894858416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.04 2.06 2.08 3/183 9698
/proc/meminfo: memFree=29500856/32872528 swapFree=12744/274376
[pid=9694] ppid=9691 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/9694/stat : 9694 (toysat) R 9691 9694 5566 0 -1 4202496 268048 0 0 0 2517 31 0 0 20 0 4 0 110678337 1339625472 267836 33554432000 4194304 16246674 140736094677936 140736094659840 5545832 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9694/statm: 327057 267836 886 2943 0 323951 0
[pid=9694/tid=9695] ppid=9691 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9695/stat : 9695 (toysat) S 9691 9694 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110678337 1339625472 267836 33554432000 4194304 16246674 140736094677936 140604915821808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9694/tid=9696] ppid=9691 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9696/stat : 9696 (toysat) S 9691 9694 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110678337 1339625472 267836 33554432000 4194304 16246674 140736094677936 140604905331952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9694/tid=9697] ppid=9691 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9697/stat : 9697 (toysat) S 9691 9694 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110678337 1339625472 267836 33554432000 4194304 16246674 140736094677936 140604894858416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.02 2.06 2.07 3/183 9698
/proc/meminfo: memFree=29498104/32872528 swapFree=12744/274376
[pid=9694] ppid=9691 vsize=1310276 CPUtime=51.08 cores=0,2,4,6
/proc/9694/stat : 9694 (toysat) R 9691 9694 5566 0 -1 4202496 268754 0 0 0 5076 32 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140736094659840 5545984 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9694/statm: 327569 268542 886 2943 0 324463 0
[pid=9694/tid=9695] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9695/stat : 9695 (toysat) S 9691 9694 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604915821808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9694/tid=9696] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9696/stat : 9696 (toysat) S 9691 9694 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604905331952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9694/tid=9697] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9697/stat : 9697 (toysat) S 9691 9694 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604894858416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.3 s]
/proc/loadavg: 2.05 2.06 2.07 4/183 9699
/proc/meminfo: memFree=29497468/32872528 swapFree=12744/274376
[pid=9694] ppid=9691 vsize=1310276 CPUtime=102.28 cores=0,2,4,6
/proc/9694/stat : 9694 (toysat) R 9691 9694 5566 0 -1 4202496 268754 0 0 0 10196 32 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140736094659840 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9694/statm: 327569 268542 886 2943 0 324463 0
[pid=9694/tid=9695] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9695/stat : 9695 (toysat) S 9691 9694 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604915821808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9694/tid=9696] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9696/stat : 9696 (toysat) S 9691 9694 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604905331952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9694/tid=9697] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9697/stat : 9697 (toysat) S 9691 9694 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604894858416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1310276

[startup+162.3 s]
/proc/loadavg: 2.02 2.05 2.07 3/183 9700
/proc/meminfo: memFree=29497620/32872528 swapFree=12744/274376
[pid=9694] ppid=9691 vsize=1310276 CPUtime=162.26 cores=0,2,4,6
/proc/9694/stat : 9694 (toysat) R 9691 9694 5566 0 -1 4202496 268754 0 0 0 16193 33 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140736094660936 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9694/statm: 327569 268542 886 2943 0 324463 0
[pid=9694/tid=9695] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9695/stat : 9695 (toysat) S 9691 9694 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604915821808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9694/tid=9696] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9696/stat : 9696 (toysat) S 9691 9694 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604905331952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9694/tid=9697] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9697/stat : 9697 (toysat) S 9691 9694 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604894858416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1310276

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

[startup+166.4 s]
/proc/loadavg: 2.02 2.05 2.07 3/184 9703
/proc/meminfo: memFree=29497060/32872528 swapFree=12744/274376
[pid=9694] ppid=9691 vsize=1310276 CPUtime=166.36 cores=0,2,4,6
/proc/9694/stat : 9694 (toysat) R 9691 9694 5566 0 -1 4202496 268754 0 0 0 16603 33 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140736094677112 5721677 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9694/statm: 327569 268542 886 2943 0 324463 0
[pid=9694/tid=9695] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9695/stat : 9695 (toysat) S 9691 9694 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604915821808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9694/tid=9696] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9696/stat : 9696 (toysat) S 9691 9694 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604905331952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9694/tid=9697] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9697/stat : 9697 (toysat) S 9691 9694 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604894858416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 166.36
Current children cumulated vsize (KiB) 1310276

[startup+169.6 s]
/proc/loadavg: 2.01 2.05 2.07 3/183 9703
/proc/meminfo: memFree=29497280/32872528 swapFree=12744/274376
[pid=9694] ppid=9691 vsize=1310276 CPUtime=169.56 cores=0,2,4,6
/proc/9694/stat : 9694 (toysat) R 9691 9694 5566 0 -1 4202496 268754 0 0 0 16923 33 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140736094659840 5717656 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9694/statm: 327569 268542 886 2943 0 324463 0
[pid=9694/tid=9695] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9695/stat : 9695 (toysat) S 9691 9694 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604915821808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9694/tid=9696] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9696/stat : 9696 (toysat) S 9691 9694 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604905331952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9694/tid=9697] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9697/stat : 9697 (toysat) S 9691 9694 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604894858416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 169.56
Current children cumulated vsize (KiB) 1310276

[startup+171.2 s]
/proc/loadavg: 2.01 2.05 2.07 3/183 9703
/proc/meminfo: memFree=29497280/32872528 swapFree=12744/274376
[pid=9694] ppid=9691 vsize=1310276 CPUtime=171.16 cores=0,2,4,6
/proc/9694/stat : 9694 (toysat) R 9691 9694 5566 0 -1 4202496 268754 0 0 0 17083 33 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140736094659840 12483204 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9694/statm: 327569 268542 886 2943 0 324463 0
[pid=9694/tid=9695] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9695/stat : 9695 (toysat) S 9691 9694 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604915821808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9694/tid=9696] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9696/stat : 9696 (toysat) S 9691 9694 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604905331952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9694/tid=9697] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9697/stat : 9697 (toysat) S 9691 9694 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604894858416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 171.16
Current children cumulated vsize (KiB) 1310276

[startup+172 s]
/proc/loadavg: 2.01 2.05 2.07 3/183 9703
/proc/meminfo: memFree=29497460/32872528 swapFree=12744/274376
[pid=9694] ppid=9691 vsize=1310276 CPUtime=171.96 cores=0,2,4,6
/proc/9694/stat : 9694 (toysat) R 9691 9694 5566 0 -1 4202496 268754 0 0 0 17163 33 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140736094659840 12483204 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9694/statm: 327569 268542 886 2943 0 324463 0
[pid=9694/tid=9695] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9695/stat : 9695 (toysat) S 9691 9694 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604915821808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9694/tid=9696] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9696/stat : 9696 (toysat) S 9691 9694 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604905331952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9694/tid=9697] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9697/stat : 9697 (toysat) S 9691 9694 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604894858416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 171.96
Current children cumulated vsize (KiB) 1310276

[startup+172.4 s]
/proc/loadavg: 2.01 2.05 2.07 3/183 9703
/proc/meminfo: memFree=29497460/32872528 swapFree=12744/274376
[pid=9694] ppid=9691 vsize=1310276 CPUtime=172.36 cores=0,2,4,6
/proc/9694/stat : 9694 (toysat) R 9691 9694 5566 0 -1 4202496 268754 0 0 0 17203 33 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140736094677112 7249920 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9694/statm: 327569 268542 886 2943 0 324463 0
[pid=9694/tid=9695] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9695/stat : 9695 (toysat) S 9691 9694 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604915821808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9694/tid=9696] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9696/stat : 9696 (toysat) S 9691 9694 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604905331952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9694/tid=9697] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9697/stat : 9697 (toysat) S 9691 9694 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604894858416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 172.36
Current children cumulated vsize (KiB) 1310276

[startup+172.6 s]
/proc/loadavg: 2.01 2.05 2.07 3/183 9703
/proc/meminfo: memFree=29497460/32872528 swapFree=12744/274376
[pid=9694] ppid=9691 vsize=1310276 CPUtime=172.56 cores=0,2,4,6
/proc/9694/stat : 9694 (toysat) R 9691 9694 5566 0 -1 4202496 268754 0 0 0 17223 33 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140736094677112 5722180 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9694/statm: 327569 268542 886 2943 0 324463 0
[pid=9694/tid=9695] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9695/stat : 9695 (toysat) S 9691 9694 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604915821808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9694/tid=9696] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9696/stat : 9696 (toysat) S 9691 9694 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604905331952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9694/tid=9697] ppid=9691 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/9694/task/9697/stat : 9697 (toysat) S 9691 9694 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110678337 1341722624 268542 33554432000 4194304 16246674 140736094677936 140604894858416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 172.56
Current children cumulated vsize (KiB) 1310276

[startup+172.701 s]
/proc/loadavg: 2.01 2.05 2.07 3/180 9703
/proc/meminfo: memFree=30323796/32872528 swapFree=12744/274376
[pid=9694] ppid=9691 vsize=0 CPUtime=172.67 cores=0,2,4,6
/proc/9694/stat : 9694 (toysat) R 9691 9694 5566 0 -1 4202500 268761 0 0 0 17229 38 0 0 20 0 1 0 110678337 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9694/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 172.67
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 172.714
CPU time (s): 172.686
CPU user time (s): 172.292
CPU system time (s): 0.39394
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 172.292
system time used= 0.39394
maximum resident set size= 1074196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268761
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= 185

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.701893 second user time and 0.846871 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 10:17:16
IDJOB=4078885
IDBENCH=90221
IDSOLVER=2542
FILE ID=node107/4078885-1465287436
RUNJOBID= node107-1465255895-5582
PBS_JOBID= 19843278
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 5349e46dd5b60bb87c86087d933e00a7
RANDOM SEED=686341659

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.441
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:        30571368 kB
Buffers:           66308 kB
Cached:           131192 kB
SwapCached:         1652 kB
Active:          1184352 kB
Inactive:         108628 kB
Active(anon):    1092716 kB
Inactive(anon):     5256 kB
Active(file):      91636 kB
Inactive(file):   103372 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098528 kB
Dirty:             16728 kB
Writeback:             0 kB
AnonPages:       1455516 kB
Mapped:            10696 kB
Shmem:                 0 kB
Slab:             599412 kB
SReclaimable:      42852 kB
SUnreclaim:       556560 kB
KernelStack:        1520 kB
PageTables:         6760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1512312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    999424 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= 71716 MiB
End job on node107 at 2016-06-07 10:20:09