Trace number 4098241

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 925.406 925.738

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_20.opb
MD5SUM049737624e54c17d9e15f76a40720f01
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.116981
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2756
Total number of constraints13317
Number of constraints which are clauses13312
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint52
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 20
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 72
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-17T01:36:22+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-4098241-1466120182.opb"]
0.00/0.01	c use --random-gen="2383902066 2083695514 934620259 1102440766 2875978971 2672523649 2189684807 2314758512 1652767970 2926283152 3093574846 498416457 1142126849 2707920838 339645198 3255867974 867346267 1905441223 2207582 800502364 1879054715 3933444112 2548260032 2355709205 4165894347 3060591492 697286328 2725216956 3909339941 4136411368 1186164296 2142885158 2786069398 1691483456 3627517704 861773714 453717342 506951779 1987725458 567949063 1445521086 4040674388 3083415790 1395908046 2504822839 2938009881 945560165 3738156433 3247629809 4058002083 439291651 896305021 1222274240 599019070 1408441075 442871598 4164600549 4249788976 3854577099 6297380 1082659759 3372972616 1216199678 3485742216 1459868589 3241513942 3754404011 1099667091 828270109 3750268377 3230982550 363983871 4133789261 1748137219 1031228982 2670316970 1029436018 1025735073 3879765639 2974574613 1322268651 1369202194 1034810610 2265660654 1714376038 3565900758 1410501840 1361132539 2841446957 744361355 81160217 1508272306 2530417102 2741244798 2153654054 1514422556 712180846 962458886 1999127173 3727204008 2026325438 3599003314 2626985389 1039660680 404499957 1639632960 2272601380 180777438 3348579207 3327458663 2993918636 2273019337 848052774 1417200461 140343312 202810850 2379476724 4000109445 1762808497 2824894521 1546937932 238663262 2222797150 3078610653 1948635987 2348002455 4089756228 1582635294 3220855136 2803030535 2379431546 1473098011 2950056043 3826817666 1440286157 1726030972 3674065425 511987435 2024740494 2024366329 1781431954 3037101762 2804919220 3675894126 3951511152 2239351041 3006683529 2007237328 74121309 1088498651 4257442848 4250430804 2822252700 1360089914 2999493713 3414964556 2139646433 390895339 2402097263 1839644413 119834196 190543731 2189438287 207371566 3511105594 2499857413 3185471017 479718792 410871859 1905830022 357260964 2190006321 1624958107 2086473087 3015374481 1138682336 3817332512 3124791386 2972666637 2366815714 1493264758 2917509282 3550453143 4178266691 501487181 1782056705 823940254 3800519306 3092146468 2624873679 3942071744 3998108260 1962787453 1424840846 3074058118 140127388 3584693179 2698783442 1292878263 1621424816 507187178 401519209 1292865307 942260298 3044765542 3381637625 1489239724 2208766239 1356671090 3048383974 20190243 2723264436 2959316301 4172133254 3558584625 4280348839 1055239138 113380641 3543031564 3534475252 1174297169 1526331920 3517799023 151205433 2938734596 1126486728 232104551 176334020 2301286430 2235480922 3868811495 3435844626 2517835805 1197078682 935430572 3193143814 3121969928 1862523460 3227595552 2919216808 806135559 2936692640 2954192312 2645663158 1844290168 2011017122 3311762605 2943104479 576691105 2712073753 122677554 2676950770 3155617633 2109150035 2706879987 1797234073 255 362436" option to reproduce the execution
0.19/0.22	c #vars 2756
0.19/0.22	c #constraints 13317
0.58/0.60	c Solving starts ...
0.58/0.60	c ============================[ Search Statistics ]============================
0.58/0.60	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.58/0.60	c       |         |          |          |    Limit     GC | Var      | Constra 
0.58/0.60	c =============================================================================
0.58/0.60	c  0.0s |       0 |        0 |        0 |     5356      0 |        5 |        0
0.79/0.80	c  0.2s |       1 |      280 |      100 |     5356      0 |        5 |      440
0.99/1.07	c  0.5s |       2 |      648 |      250 |     5892      0 |        5 |      440
1.49/1.50	c  0.9s |       3 |     1021 |      475 |     6482      0 |        5 |      440
1.79/1.88	c  1.3s |       4 |     1840 |      813 |     7131      0 |        5 |      440
2.39/2.43	c  1.8s |       5 |     2997 |     1320 |     7845      0 |        5 |      440
3.19/3.25	c  2.7s |       6 |     4730 |     2081 |     9493      0 |        5 |      440
4.19/4.27	c  3.7s |       7 |     6731 |     3223 |    10443      0 |        5 |      440
6.19/6.24	c  5.6s |       8 |    10403 |     4936 |    11488      0 |        5 |      440
8.29/8.32	c  7.7s |       8 |    14751 |     7036 |    11488      0 |        5 |      440
8.80/8.87	c  8.3s |       9 |    15450 |     7506 |    12637      0 |        5 |      440
10.89/10.94	c 10.3s |       9 |    19138 |     9006 |    12637      0 |        5 |      440
12.89/12.97	c 12.4s |       9 |    22900 |    10506 |    12637      0 |        5 |      440
13.89/13.91	c 13.3s |      10 |    24324 |    11361 |    13901      0 |        5 |      440
15.99/16.01	c 15.4s |      10 |    27297 |    12861 |    13901      0 |        5 |      440
17.99/18.02	c 17.4s |      10 |    30214 |    14561 |    13901      0 |        5 |      440
20.19/20.25	c 19.6s |      10 |    32829 |    16261 |    13901      1 |        5 |      440
21.19/21.20	c 20.6s |      11 |    34151 |    17144 |    15292      1 |        5 |      440
23.19/23.25	c 22.6s |      11 |    37310 |    18644 |    15292      1 |        5 |      440
25.29/25.34	c 24.7s |      11 |    40112 |    20244 |    15292      1 |        5 |      440
27.38/27.42	c 26.8s |      11 |    44157 |    21744 |    15292      1 |        5 |      440
29.48/29.50	c 28.9s |      11 |    47134 |    23344 |    15292      1 |        5 |      440
31.48/31.51	c 30.9s |      11 |    50298 |    25044 |    15292      2 |        5 |      440
32.18/32.29	c 31.7s |      12 |    51713 |    25819 |    16822      2 |        5 |      440
34.28/34.34	c 33.7s |      12 |    54217 |    27019 |    16822      2 |        5 |      440
36.29/36.38	c 35.8s |      12 |    57042 |    28719 |    16822      2 |        5 |      440
38.38/38.48	c 37.9s |      12 |    59604 |    30219 |    16822      2 |        5 |      440
40.48/40.52	c 39.9s |      12 |    62307 |    31819 |    16822      2 |        5 |      440
42.48/42.52	c 41.9s |      12 |    64385 |    33219 |    16822      3 |        5 |      440
44.48/44.59	c 44.0s |      12 |    67290 |    35319 |    16822      3 |        5 |      440
46.58/46.66	c 46.1s |      12 |    69944 |    37419 |    16822      3 |        5 |      440
48.39/48.42	c 47.8s |      13 |    71990 |    38832 |    18505      3 |        5 |      440
50.38/50.48	c 49.9s |      13 |    74372 |    40432 |    18505      3 |        5 |      440
52.59/52.61	c 52.0s |      13 |    77009 |    41732 |    18505      3 |        5 |      440
54.68/54.73	c 54.1s |      13 |    79390 |    43132 |    18505      4 |        5 |      440
56.68/56.77	c 56.2s |      13 |    81310 |    44532 |    18505      4 |        5 |      440
58.78/58.82	c 58.2s |      13 |    82817 |    45532 |    18505      4 |        5 |      440
60.88/60.93	c 60.3s |      13 |    84992 |    47132 |    18505      4 |        5 |      440
62.88/62.93	c 62.3s |      13 |    87160 |    48732 |    18505      4 |        5 |      440
64.99/65.00	c 64.4s |      13 |    89389 |    50532 |    18505      4 |        5 |      440
66.98/67.05	c 66.4s |      13 |    91728 |    52332 |    18505      4 |        5 |      440
69.08/69.19	c 68.6s |      13 |    93758 |    53732 |    18505      5 |        5 |      440
71.18/71.25	c 70.6s |      13 |    96125 |    55032 |    18505      5 |        5 |      440
73.18/73.26	c 72.7s |      13 |    98633 |    56632 |    18505      5 |        5 |      440
75.28/75.35	c 74.7s |      13 |   100848 |    58032 |    20356      5 |        5 |      440
75.78/75.82	c 75.2s |      14 |   101287 |    58352 |    20356      5 |        5 |      440
77.77/77.83	c 77.2s |      14 |   103406 |    59752 |    20356      5 |        5 |      440
79.87/79.94	c 79.3s |      14 |   105502 |    61352 |    20356      5 |        5 |      440
81.97/82.04	c 81.4s |      14 |   107407 |    62952 |    20356      5 |        5 |      440
84.17/84.23	c 83.6s |      14 |   109446 |    64552 |    20356      6 |        5 |      440
86.26/86.33	c 85.7s |      14 |   112343 |    66052 |    20356      6 |        5 |      440
88.36/88.44	c 87.8s |      14 |   114686 |    67652 |    20356      6 |        5 |      440
90.46/90.54	c 89.9s |      14 |   116593 |    69252 |    20356      6 |        5 |      440
92.47/92.59	c 92.0s |      14 |   118800 |    70852 |    20356      6 |        5 |      440
94.57/94.68	c 94.1s |      14 |   121100 |    72352 |    20356      6 |        5 |      440
96.66/96.77	c 96.2s |      14 |   123203 |    73752 |    20356      6 |        5 |      440
98.66/98.77	c 98.2s |      14 |   125601 |    75252 |    20356      6 |        5 |      440
100.76/100.80	c  100s |      14 |   127903 |    76852 |    20356      7 |        5 |      440
102.76/102.85	c  102s |      14 |   130134 |    78652 |    20356      7 |        5 |      440
104.86/104.90	c  104s |      14 |   132409 |    80252 |    20356      7 |        5 |      440
106.96/107.02	c  106s |      14 |   134195 |    81652 |    20356      7 |        5 |      440
109.06/109.11	c  108s |      14 |   136187 |    83152 |    20356      7 |        5 |      440
111.06/111.13	c  110s |      14 |   138156 |    84752 |    20356      7 |        5 |      440
113.26/113.32	c  112s |      14 |   140078 |    86152 |    20356      8 |        5 |      440
115.06/115.20	c  114s |      15 |   142111 |    87632 |    22392      8 |        5 |      440
117.15/117.21	c  116s |      15 |   144452 |    89432 |    22392      8 |        5 |      440
119.25/119.32	c  118s |      15 |   146838 |    91332 |    22392      8 |        5 |      440
121.35/121.40	c  120s |      15 |   149064 |    92932 |    22392      8 |        5 |      440
123.45/123.51	c  122s |      15 |   151124 |    94632 |    22392      8 |        5 |      440
125.46/125.58	c  124s |      15 |   153023 |    96132 |    22392      8 |        5 |      440
127.55/127.70	c  127s |      15 |   155155 |    97932 |    22392      8 |        5 |      440
129.65/129.75	c  129s |      15 |   157133 |    99432 |    22392      9 |        5 |      440
131.65/131.77	c  131s |      15 |   159612 |   101432 |    22392      9 |        5 |      440
133.64/133.79	c  133s |      15 |   161884 |   103432 |    22392      9 |        5 |      440
135.74/135.82	c  135s |      15 |   164190 |   105532 |    22392      9 |        5 |      440
140.55/140.68	c  140s |      15 |   164433 |   105632 |    22392      9 |        5 |      440
142.65/142.78	c  142s |      15 |   166776 |   107132 |    22392      9 |        5 |      440
144.75/144.80	c  144s |      15 |   169289 |   108432 |    22392      9 |        5 |      440
146.74/146.87	c  146s |      15 |   172085 |   109932 |    22392      9 |        5 |      440
148.84/148.90	c  148s |      15 |   174256 |   111332 |    22392     10 |        5 |      440
150.84/150.92	c  150s |      15 |   176719 |   112732 |    22392     10 |        5 |      440
152.95/153.01	c  152s |      15 |   179042 |   114432 |    22392     10 |        5 |      440
154.94/155.10	c  154s |      15 |   181502 |   116332 |    22392     10 |        5 |      440
157.14/157.20	c  156s |      15 |   183741 |   117832 |    22392     10 |        5 |      440
159.13/159.21	c  158s |      15 |   185700 |   119032 |    22392     10 |        5 |      440
161.13/161.29	c  160s |      15 |   187534 |   120432 |    22392     10 |        5 |      440
163.23/163.38	c  162s |      15 |   189560 |   121932 |    22392     10 |        5 |      440
165.33/165.43	c  164s |      15 |   191707 |   123532 |    22392     11 |        5 |      440
167.43/167.56	c  166s |      15 |   193786 |   125232 |    22392     11 |        5 |      440
169.53/169.61	c  169s |      15 |   195504 |   126532 |    22392     11 |        5 |      440
171.63/171.75	c  171s |      15 |   197834 |   127932 |    22392     11 |        5 |      440
173.73/173.86	c  173s |      15 |   199861 |   129432 |    22392     11 |        5 |      440
175.73/175.87	c  175s |      15 |   201665 |   130832 |    24632     11 |        5 |      440
176.82/176.92	c  176s |      16 |   202538 |   131552 |    24632     11 |        5 |      440
178.92/179.05	c  178s |      16 |   204191 |   132552 |    24632     11 |        5 |      440
181.02/181.14	c  180s |      16 |   205939 |   133752 |    24632     11 |        5 |      440
183.02/183.17	c  182s |      16 |   207799 |   135152 |    24632     11 |        5 |      440
185.12/185.28	c  184s |      16 |   208793 |   135952 |    24632     12 |        5 |      440
187.32/187.45	c  186s |      16 |   209931 |   136552 |    24632     12 |        5 |      440
189.32/189.46	c  188s |      16 |   211977 |   137852 |    24632     12 |        5 |      440
191.42/191.57	c  190s |      16 |   214180 |   139352 |    24632     12 |        5 |      440
193.52/193.64	c  193s |      16 |   216165 |   140652 |    24632     12 |        5 |      440
195.62/195.76	c  195s |      16 |   217980 |   141952 |    24632     12 |        5 |      440
197.71/197.89	c  197s |      16 |   219862 |   143252 |    24632     12 |        5 |      440
199.91/200.07	c  199s |      16 |   222008 |   144752 |    24632     12 |        5 |      440
202.01/202.10	c  201s |      16 |   223878 |   146152 |    24632     12 |        5 |      440
204.01/204.14	c  203s |      16 |   225726 |   147452 |    24632     12 |        5 |      440
206.11/206.20	c  205s |      16 |   227698 |   148852 |    24632     12 |        5 |      440
208.11/208.25	c  207s |      16 |   229857 |   150452 |    24632     13 |        5 |      440
210.42/210.53	c  209s |      16 |   232035 |   152252 |    24632     13 |        5 |      440
212.51/212.65	c  212s |      16 |   234196 |   153952 |    24632     13 |        5 |      440
214.61/214.70	c  214s |      16 |   236424 |   155652 |    24632     13 |        5 |      440
216.62/216.76	c  216s |      16 |   238164 |   157052 |    24632     13 |        5 |      440
218.61/218.76	c  218s |      16 |   239949 |   158352 |    24632     13 |        5 |      440
220.81/220.92	c  220s |      16 |   241648 |   159652 |    24632     13 |        5 |      440
222.81/222.96	c  222s |      16 |   243283 |   160852 |    24632     13 |        5 |      440
224.81/224.98	c  224s |      16 |   244829 |   161952 |    24632     14 |        5 |      440
226.80/226.99	c  226s |      16 |   246882 |   163352 |    24632     14 |        5 |      440
228.90/229.04	c  228s |      16 |   248871 |   164752 |    24632     14 |        5 |      440
231.01/231.14	c  230s |      16 |   250903 |   166052 |    24632     14 |        5 |      440
233.00/233.16	c  232s |      16 |   252822 |   167652 |    24632     14 |        5 |      440
235.10/235.28	c  234s |      16 |   254682 |   169152 |    24632     14 |        5 |      440
237.30/237.40	c  236s |      16 |   256471 |   170552 |    24632     14 |        5 |      440
239.30/239.43	c  238s |      16 |   258053 |   171752 |    24632     14 |        5 |      440
241.40/241.50	c  240s |      16 |   260012 |   173052 |    24632     14 |        5 |      440
243.40/243.59	c  242s |      16 |   261742 |   174252 |    24632     14 |        5 |      440
245.50/245.64	c  245s |      16 |   263323 |   175452 |    24632     15 |        5 |      440
247.59/247.75	c  247s |      16 |   265353 |   176952 |    24632     15 |        5 |      440
249.70/249.85	c  249s |      16 |   267392 |   178552 |    24632     15 |        5 |      440
251.80/251.91	c  251s |      16 |   269312 |   180152 |    24632     15 |        5 |      440
253.79/253.97	c  253s |      16 |   271119 |   181552 |    24632     15 |        5 |      440
255.89/256.01	c  255s |      16 |   272879 |   182952 |    24632     15 |        5 |      440
257.89/258.01	c  257s |      16 |   274556 |   184352 |    24632     15 |        5 |      440
259.89/260.06	c  259s |      16 |   276036 |   185452 |    24632     15 |        5 |      440
261.99/262.15	c  261s |      16 |   277629 |   186652 |    24632     15 |        5 |      440
263.99/264.19	c  263s |      16 |   279448 |   187952 |    24632     16 |        5 |      440
266.09/266.22	c  265s |      16 |   281352 |   189552 |    24632     16 |        5 |      440
268.18/268.40	c  267s |      16 |   283589 |   191352 |    24632     16 |        5 |      440
270.38/270.54	c  269s |      16 |   285568 |   192952 |    24632     16 |        5 |      440
272.48/272.69	c  272s |      16 |   287185 |   194352 |    24632     16 |        5 |      440
274.58/274.78	c  274s |      16 |   289150 |   195852 |    24632     16 |        5 |      440
276.78/276.91	c  276s |      16 |   290923 |   197352 |    27096     16 |        5 |      440
276.88/277.01	c  276s |      17 |   291006 |   197432 |    27096     16 |        5 |      440
278.98/279.11	c  278s |      17 |   291632 |   197832 |    27096     16 |        5 |      440
280.98/281.19	c  280s |      17 |   293023 |   198832 |    27096     16 |        5 |      440
285.78/285.92	c  285s |      17 |   294442 |   199932 |    27096     16 |        5 |      440
287.78/287.93	c  287s |      17 |   295982 |   201232 |    27096     16 |        5 |      440
290.08/290.22	c  289s |      17 |   297742 |   202732 |    27096     17 |        5 |      440
292.18/292.31	c  291s |      17 |   299835 |   204432 |    27096     17 |        5 |      440
294.18/294.37	c  293s |      17 |   301721 |   206032 |    27096     17 |        5 |      440
296.37/296.52	c  295s |      17 |   303655 |   207732 |    27096     17 |        5 |      440
298.47/298.64	c  298s |      17 |   305346 |   209132 |    27096     17 |        5 |      440
300.57/300.72	c  300s |      17 |   307044 |   210532 |    27096     17 |        5 |      440
302.77/302.90	c  302s |      17 |   308329 |   211632 |    27096     17 |        5 |      440
304.87/305.00	c  304s |      17 |   309648 |   212732 |    27096     17 |        5 |      440
306.88/307.01	c  306s |      17 |   311020 |   213832 |    27096     17 |        5 |      440
308.98/309.14	c  308s |      17 |   312502 |   215132 |    27096     17 |        5 |      440
310.97/311.18	c  310s |      17 |   313863 |   216132 |    27096     17 |        5 |      440
313.17/313.31	c  312s |      17 |   315401 |   217132 |    27096     18 |        5 |      440
315.27/315.40	c  314s |      17 |   317290 |   218632 |    27096     18 |        5 |      440
317.26/317.48	c  316s |      17 |   318984 |   219932 |    27096     18 |        5 |      440
319.26/319.48	c  318s |      17 |   320408 |   221032 |    27096     18 |        5 |      440
321.36/321.53	c  320s |      17 |   321920 |   222232 |    27096     18 |        5 |      440
323.46/323.64	c  323s |      17 |   323707 |   223532 |    27096     18 |        5 |      440
325.47/325.65	c  325s |      17 |   325280 |   224832 |    27096     18 |        5 |      440
327.86/328.04	c  327s |      17 |   326741 |   226032 |    27096     18 |        5 |      440
329.97/330.16	c  329s |      17 |   328197 |   227032 |    27096     18 |        5 |      440
331.96/332.20	c  331s |      17 |   329529 |   228132 |    27096     18 |        5 |      440
334.06/334.27	c  333s |      17 |   331064 |   229332 |    27096     18 |        5 |      440
336.16/336.30	c  335s |      17 |   332394 |   230332 |    27096     18 |        5 |      440
338.55/338.77	c  338s |      17 |   333244 |   231032 |    27096     19 |        5 |      440
340.55/340.78	c  340s |      17 |   334820 |   232232 |    27096     19 |        5 |      440
342.75/342.95	c  342s |      17 |   336552 |   233532 |    27096     19 |        5 |      440
344.95/345.10	c  344s |      17 |   338209 |   234832 |    27096     19 |        5 |      440
347.05/347.20	c  346s |      17 |   339734 |   236032 |    27096     19 |        5 |      440
349.05/349.25	c  348s |      17 |   341201 |   237232 |    27096     19 |        5 |      440
351.15/351.38	c  350s |      17 |   342825 |   238632 |    27096     19 |        5 |      440
353.25/353.41	c  352s |      17 |   344442 |   239932 |    27096     19 |        5 |      440
355.35/355.53	c  354s |      17 |   346187 |   241232 |    27096     19 |        5 |      440
357.36/357.57	c  356s |      17 |   347446 |   242132 |    27096     19 |        5 |      440
359.45/359.64	c  359s |      17 |   348873 |   243132 |    27096     19 |        5 |      440
361.55/361.76	c  361s |      17 |   350542 |   244332 |    27096     19 |        5 |      440
363.65/363.89	c  363s |      17 |   351574 |   245032 |    27096     20 |        5 |      440
365.85/366.04	c  365s |      17 |   353407 |   246332 |    27096     20 |        5 |      440
367.95/368.10	c  367s |      17 |   355349 |   247832 |    27096     20 |        5 |      440
369.95/370.10	c  369s |      17 |   357075 |   249132 |    27096     20 |        5 |      440
371.95/372.19	c  371s |      17 |   358821 |   250632 |    27096     20 |        5 |      440
374.05/374.22	c  373s |      17 |   360380 |   251932 |    27096     20 |        5 |      440
376.05/376.30	c  375s |      17 |   361990 |   253232 |    27096     20 |        5 |      440
378.14/378.40	c  377s |      17 |   363023 |   254032 |    27096     20 |        5 |      440
380.34/380.57	c  379s |      17 |   364692 |   255132 |    27096     20 |        5 |      440
382.44/382.66	c  382s |      17 |   366516 |   256332 |    27096     20 |        5 |      440
384.64/384.86	c  384s |      17 |   368174 |   257332 |    27096     20 |        5 |      440
386.74/386.97	c  386s |      17 |   369762 |   258432 |    27096     20 |        5 |      440
388.84/389.03	c  388s |      17 |   370691 |   259132 |    27096     21 |        5 |      440
390.94/391.16	c  390s |      17 |   372750 |   260632 |    27096     21 |        5 |      440
393.04/393.21	c  392s |      17 |   375109 |   262332 |    27096     21 |        5 |      440
395.04/395.25	c  394s |      17 |   377147 |   263932 |    27096     21 |        5 |      440
397.04/397.29	c  396s |      17 |   379404 |   265632 |    27096     21 |        5 |      440
399.14/399.36	c  398s |      17 |   381793 |   267532 |    27096     21 |        5 |      440
401.13/401.39	c  400s |      17 |   383517 |   268432 |    27096     21 |        5 |      440
403.33/403.59	c  402s |      17 |   385173 |   269532 |    27096     21 |        5 |      440
405.53/405.73	c  405s |      17 |   387022 |   270732 |    27096     21 |        5 |      440
407.52/407.76	c  407s |      17 |   389106 |   271932 |    27096     21 |        5 |      440
410.42/410.62	c  410s |      17 |   390633 |   272832 |    27096     22 |        5 |      440
412.52/412.75	c  412s |      17 |   392802 |   274332 |    27096     22 |        5 |      440
414.53/414.79	c  414s |      17 |   395095 |   275932 |    27096     22 |        5 |      440
416.72/416.92	c  416s |      17 |   397495 |   277632 |    27096     22 |        5 |      440
418.82/419.01	c  418s |      17 |   399502 |   279132 |    27096     22 |        5 |      440
420.92/421.16	c  420s |      17 |   401500 |   280632 |    27096     22 |        5 |      440
423.02/423.26	c  422s |      17 |   403346 |   282132 |    27096     22 |        5 |      440
425.22/425.45	c  424s |      17 |   405041 |   283532 |    27096     22 |        5 |      440
427.31/427.56	c  426s |      17 |   406650 |   284632 |    27096     22 |        5 |      440
429.41/429.65	c  429s |      17 |   408612 |   285932 |    27096     22 |        5 |      440
431.71/431.91	c  431s |      17 |   409958 |   286932 |    27096     23 |        5 |      440
433.71/433.92	c  433s |      17 |   412216 |   288332 |    27096     23 |        5 |      440
435.81/436.01	c  435s |      17 |   414086 |   289732 |    27096     23 |        5 |      440
437.80/438.06	c  437s |      17 |   416124 |   291332 |    27096     23 |        5 |      440
439.81/440.07	c  439s |      17 |   417837 |   292632 |    27096     23 |        5 |      440
441.90/442.13	c  441s |      17 |   419988 |   294232 |    29806     23 |        5 |      440
443.90/444.15	c  443s |      17 |   421953 |   295932 |    29806     23 |        5 |      440
444.40/444.66	c  444s |      18 |   422410 |   296252 |    29806     23 |        5 |      440
446.51/446.75	c  446s |      18 |   424166 |   297552 |    29806     23 |        5 |      440
448.61/448.82	c  448s |      18 |   425865 |   298752 |    29806     23 |        5 |      440
450.60/450.83	c  450s |      18 |   427650 |   300052 |    29806     23 |        5 |      440
452.70/452.96	c  452s |      18 |   429525 |   301452 |    29806     23 |        5 |      440
454.70/455.00	c  454s |      18 |   431212 |   302752 |    29806     23 |        5 |      440
456.80/457.05	c  456s |      18 |   432617 |   303852 |    29806     24 |        5 |      440
458.80/459.08	c  458s |      18 |   434671 |   305552 |    29806     24 |        5 |      440
460.90/461.19	c  460s |      18 |   436612 |   307052 |    29806     24 |        5 |      440
463.00/463.29	c  462s |      18 |   438326 |   308252 |    29806     24 |        5 |      440
465.10/465.35	c  464s |      18 |   440013 |   309552 |    29806     24 |        5 |      440
467.19/467.44	c  466s |      18 |   442115 |   311052 |    29806     24 |        5 |      440
469.19/469.45	c  468s |      18 |   444256 |   312752 |    29806     24 |        5 |      440
471.29/471.57	c  470s |      18 |   446252 |   314252 |    29806     24 |        5 |      440
473.39/473.69	c  473s |      18 |   448073 |   315652 |    29806     24 |        5 |      440
475.49/475.74	c  475s |      18 |   450222 |   317052 |    29806     24 |        5 |      440
477.59/477.86	c  477s |      18 |   452299 |   318552 |    29806     24 |        5 |      440
479.69/479.91	c  479s |      18 |   454219 |   320052 |    29806     25 |        5 |      440
481.70/481.92	c  481s |      18 |   456273 |   321652 |    29806     25 |        5 |      440
483.80/484.02	c  483s |      18 |   458202 |   323152 |    29806     25 |        5 |      440
485.79/486.05	c  485s |      18 |   459989 |   324552 |    29806     25 |        5 |      440
487.88/488.15	c  487s |      18 |   462188 |   326352 |    29806     25 |        5 |      440
489.98/490.23	c  489s |      18 |   463980 |   327752 |    29806     25 |        5 |      440
492.08/492.36	c  491s |      18 |   465938 |   329252 |    29806     25 |        5 |      440
494.18/494.49	c  493s |      18 |   467858 |   330852 |    29806     25 |        5 |      440
496.38/496.60	c  495s |      18 |   469618 |   332252 |    29806     25 |        5 |      440
498.38/498.60	c  497s |      18 |   471492 |   333752 |    29806     25 |        5 |      440
500.38/500.66	c  500s |      18 |   473171 |   335152 |    29806     26 |        5 |      440
502.48/502.75	c  502s |      18 |   475491 |   337052 |    29806     26 |        5 |      440
504.58/504.87	c  504s |      18 |   477801 |   338952 |    29806     26 |        5 |      440
506.67/506.94	c  506s |      18 |   479868 |   340752 |    29806     26 |        5 |      440
508.67/508.97	c  508s |      18 |   481673 |   342352 |    29806     26 |        5 |      440
519.37/519.65	c  519s |      18 |   482408 |   342952 |    29806     26 |        5 |      440
521.57/521.80	c  521s |      18 |   483234 |   343452 |    29806     26 |        5 |      440
523.57/523.81	c  523s |      18 |   485158 |   344752 |    29806     26 |        5 |      440
525.57/525.88	c  525s |      18 |   486948 |   346052 |    29806     26 |        5 |      440
527.66/527.91	c  527s |      18 |   488511 |   347252 |    29806     26 |        5 |      440
529.66/529.95	c  529s |      18 |   490224 |   348552 |    29806     26 |        5 |      440
531.96/532.22	c  531s |      18 |   491859 |   349852 |    29806     27 |        5 |      440
534.06/534.31	c  533s |      18 |   493907 |   351552 |    29806     27 |        5 |      440
536.06/536.33	c  535s |      18 |   495572 |   352852 |    29806     27 |        5 |      440
538.16/538.43	c  537s |      18 |   497609 |   354352 |    29806     27 |        5 |      440
540.36/540.60	c  539s |      18 |   499694 |   356052 |    29806     27 |        5 |      440
542.36/542.64	c  542s |      18 |   501225 |   357252 |    29806     27 |        5 |      440
544.46/544.76	c  544s |      18 |   503070 |   358652 |    29806     27 |        5 |      440
546.56/546.89	c  546s |      18 |   504923 |   360052 |    29806     27 |        5 |      440
548.76/549.02	c  548s |      18 |   506476 |   361352 |    29806     27 |        5 |      440
550.75/551.02	c  550s |      18 |   507655 |   362352 |    29806     27 |        5 |      440
552.85/553.19	c  552s |      18 |   509249 |   363552 |    29806     27 |        5 |      440
555.05/555.35	c  554s |      18 |   510669 |   364752 |    29806     27 |        5 |      440
557.15/557.40	c  556s |      18 |   511859 |   365752 |    29806     28 |        5 |      440
559.15/559.49	c  558s |      18 |   513592 |   367152 |    29806     28 |        5 |      440
561.35/561.61	c  561s |      18 |   515250 |   368452 |    29806     28 |        5 |      440
563.45/563.70	c  563s |      18 |   517071 |   369952 |    29806     28 |        5 |      440
565.55/565.84	c  565s |      18 |   518799 |   371352 |    29806     28 |        5 |      440
567.54/567.88	c  567s |      18 |   520365 |   372652 |    29806     28 |        5 |      440
569.74/570.00	c  569s |      18 |   521941 |   373952 |    29806     28 |        5 |      440
571.85/572.16	c  571s |      18 |   523417 |   375252 |    29806     28 |        5 |      440
574.05/574.31	c  573s |      18 |   524928 |   376552 |    29806     28 |        5 |      440
576.04/576.31	c  575s |      18 |   526270 |   377752 |    29806     28 |        5 |      440
578.14/578.46	c  577s |      18 |   527595 |   378952 |    29806     28 |        5 |      440
580.24/580.51	c  579s |      18 |   528805 |   379952 |    29806     28 |        5 |      440
582.64/582.99	c  582s |      18 |   529662 |   380652 |    29806     29 |        5 |      440
584.74/585.08	c  584s |      18 |   530832 |   381452 |    29806     29 |        5 |      440
586.93/587.20	c  586s |      18 |   532390 |   382652 |    29806     29 |        5 |      440
589.03/589.34	c  588s |      18 |   534114 |   383952 |    29806     29 |        5 |      440
591.13/591.46	c  590s |      18 |   535826 |   385352 |    29806     29 |        5 |      440
593.23/593.51	c  592s |      18 |   537397 |   386652 |    29806     29 |        5 |      440
596.05/596.37	c  595s |      18 |   538853 |   387752 |    29806     29 |        5 |      440
598.15/598.48	c  597s |      18 |   540353 |   388752 |    29806     29 |        5 |      440
600.35/600.70	c  600s |      18 |   541630 |   389752 |    29806     29 |        5 |      440
602.55/602.88	c  602s |      18 |   543052 |   390752 |    29806     29 |        5 |      440
604.64/604.97	c  604s |      18 |   544578 |   391952 |    29806     29 |        5 |      440
606.64/606.99	c  606s |      18 |   545869 |   392952 |    29806     29 |        5 |      440
608.84/609.11	c  608s |      18 |   547375 |   394152 |    29806     29 |        5 |      440
610.84/611.17	c  610s |      18 |   548791 |   395252 |    29806     29 |        5 |      440
613.34/613.62	c  613s |      18 |   550150 |   396352 |    29806     30 |        5 |      440
615.34/615.67	c  615s |      18 |   552130 |   397952 |    29806     30 |        5 |      440
617.34/617.68	c  617s |      18 |   553836 |   399452 |    29806     30 |        5 |      440
619.44/619.76	c  619s |      18 |   555430 |   400752 |    29806     30 |        5 |      440
621.54/621.81	c  621s |      18 |   557282 |   402152 |    29806     30 |        5 |      440
623.54/623.87	c  623s |      18 |   559128 |   403552 |    29806     30 |        5 |      440
625.64/625.96	c  625s |      18 |   560734 |   404852 |    29806     30 |        5 |      440
627.73/628.02	c  627s |      18 |   562201 |   406052 |    29806     30 |        5 |      440
629.83/630.10	c  629s |      18 |   563532 |   407152 |    29806     30 |        5 |      440
631.93/632.23	c  631s |      18 |   565049 |   408452 |    29806     30 |        5 |      440
634.03/634.35	c  633s |      18 |   566513 |   409652 |    29806     30 |        5 |      440
636.03/636.38	c  635s |      18 |   567972 |   410852 |    29806     30 |        5 |      440
638.23/638.56	c  637s |      18 |   569197 |   411852 |    29806     31 |        5 |      440
640.32/640.63	c  640s |      18 |   570953 |   413352 |    29806     31 |        5 |      440
642.32/642.67	c  642s |      18 |   572616 |   414652 |    29806     31 |        5 |      440
644.33/644.68	c  644s |      18 |   574248 |   416052 |    29806     31 |        5 |      440
646.42/646.76	c  646s |      18 |   575809 |   417352 |    29806     31 |        5 |      440
648.52/648.85	c  648s |      18 |   577445 |   418752 |    29806     31 |        5 |      440
650.62/650.91	c  650s |      18 |   579170 |   420252 |    29806     31 |        5 |      440
652.72/653.01	c  652s |      18 |   580805 |   421552 |    29806     31 |        5 |      440
654.82/655.14	c  654s |      18 |   582395 |   422952 |    29806     31 |        5 |      440
656.81/657.16	c  656s |      18 |   584080 |   424452 |    29806     31 |        5 |      440
659.72/660.02	c  659s |      18 |   585187 |   425452 |    29806     31 |        5 |      440
661.71/662.06	c  661s |      18 |   586335 |   426352 |    29806     31 |        5 |      440
664.41/664.72	c  664s |      18 |   586934 |   426852 |    29806     32 |        5 |      440
666.41/666.79	c  666s |      18 |   588544 |   428052 |    29806     32 |        5 |      440
668.51/668.87	c  668s |      18 |   590126 |   429252 |    29806     32 |        5 |      440
670.51/670.88	c  670s |      18 |   591727 |   430552 |    29806     32 |        5 |      440
672.71/673.04	c  672s |      18 |   593558 |   432052 |    29806     32 |        5 |      440
674.91/675.20	c  674s |      18 |   595265 |   433352 |    29806     32 |        5 |      440
677.00/677.32	c  676s |      18 |   596694 |   434452 |    29806     32 |        5 |      440
679.10/679.47	c  678s |      18 |   597957 |   435452 |    29806     32 |        5 |      440
681.30/681.65	c  681s |      18 |   599235 |   436552 |    29806     32 |        5 |      440
683.50/683.85	c  683s |      18 |   600511 |   437552 |    29806     32 |        5 |      440
685.50/685.87	c  685s |      18 |   601693 |   438552 |    29806     32 |        5 |      440
687.60/687.97	c  687s |      18 |   603038 |   439652 |    29806     32 |        5 |      440
689.70/690.05	c  689s |      18 |   604518 |   440852 |    29806     32 |        5 |      440
691.80/692.19	c  691s |      18 |   606216 |   442252 |    32787     32 |        5 |      440
694.00/694.30	c  693s |      18 |   607366 |   443152 |    32787     32 |        5 |      440
696.01/696.34	c  695s |      18 |   608662 |   444152 |    32787     32 |        5 |      440
696.50/696.84	c  696s |      19 |   609050 |   444482 |    32787     32 |        5 |      440
699.70/700.07	c  699s |      19 |   609281 |   444582 |    32787     33 |        5 |      440
701.80/702.15	c  701s |      19 |   610728 |   445282 |    32787     33 |        5 |      440
703.90/704.26	c  703s |      19 |   613183 |   446782 |    32787     33 |        5 |      440
706.01/706.33	c  705s |      19 |   615132 |   448182 |    32787     33 |        5 |      440
708.00/708.37	c  707s |      19 |   617044 |   449582 |    32787     33 |        5 |      440
710.00/710.38	c  709s |      19 |   618703 |   450882 |    32787     33 |        5 |      440
712.10/712.44	c  711s |      19 |   620646 |   452382 |    32787     33 |        5 |      440
714.10/714.45	c  713s |      19 |   622630 |   453882 |    32787     33 |        5 |      440
716.30/716.60	c  715s |      19 |   624430 |   455282 |    32787     33 |        5 |      440
718.30/718.65	c  718s |      19 |   626038 |   456282 |    32787     33 |        5 |      440
720.30/720.67	c  720s |      19 |   627601 |   457382 |    32787     33 |        5 |      440
722.40/722.72	c  722s |      19 |   629285 |   458482 |    32787     33 |        5 |      440
724.50/724.82	c  724s |      19 |   630820 |   459582 |    32787     33 |        5 |      440
726.60/726.94	c  726s |      19 |   633092 |   460782 |    32787     33 |        5 |      440
729.00/729.31	c  728s |      19 |   634631 |   461782 |    32787     34 |        5 |      440
730.99/731.39	c  730s |      19 |   636944 |   463582 |    32787     34 |        5 |      440
733.09/733.47	c  732s |      19 |   639068 |   465182 |    32787     34 |        5 |      440
735.19/735.53	c  734s |      19 |   641344 |   466882 |    32787     34 |        5 |      440
737.29/737.65	c  737s |      19 |   643532 |   468682 |    32787     34 |        5 |      440
739.49/739.83	c  739s |      19 |   644813 |   469582 |    32787     34 |        5 |      440
741.59/741.99	c  741s |      19 |   646940 |   470982 |    32787     34 |        5 |      440
743.59/743.99	c  743s |      19 |   648797 |   472182 |    32787     34 |        5 |      440
745.69/746.07	c  745s |      19 |   650512 |   473482 |    32787     34 |        5 |      440
747.80/748.12	c  747s |      19 |   652228 |   474782 |    32787     34 |        5 |      440
749.90/750.22	c  749s |      19 |   654120 |   476282 |    32787     34 |        5 |      440
751.89/752.23	c  751s |      19 |   655790 |   477582 |    32787     34 |        5 |      440
754.19/754.52	c  753s |      19 |   657658 |   479082 |    32787     35 |        5 |      440
756.29/756.62	c  756s |      19 |   659455 |   480382 |    32787     35 |        5 |      440
758.29/758.68	c  758s |      19 |   661565 |   481982 |    32787     35 |        5 |      440
760.39/760.73	c  760s |      19 |   663646 |   483382 |    32787     35 |        5 |      440
762.49/762.81	c  762s |      19 |   665879 |   485082 |    32787     35 |        5 |      440
764.49/764.81	c  764s |      19 |   667839 |   486682 |    32787     35 |        5 |      440
766.49/766.83	c  766s |      19 |   669843 |   488382 |    32787     35 |        5 |      440
768.59/768.95	c  768s |      19 |   671927 |   489882 |    32787     35 |        5 |      440
770.59/770.99	c  770s |      19 |   673859 |   491282 |    32787     35 |        5 |      440
772.69/773.02	c  772s |      19 |   675753 |   492682 |    32787     35 |        5 |      440
774.79/775.10	c  774s |      19 |   677650 |   494182 |    32787     35 |        5 |      440
776.78/777.16	c  776s |      19 |   679572 |   495782 |    32787     35 |        5 |      440
778.78/779.18	c  778s |      19 |   681329 |   497082 |    32787     36 |        5 |      440
780.88/781.22	c  780s |      19 |   683161 |   498482 |    32787     36 |        5 |      440
782.89/783.26	c  782s |      19 |   685283 |   500082 |    32787     36 |        5 |      440
784.88/785.29	c  784s |      19 |   687275 |   501782 |    32787     36 |        5 |      440
787.08/787.41	c  786s |      19 |   689482 |   503382 |    32787     36 |        5 |      440
789.08/789.44	c  788s |      19 |   691417 |   504882 |    32787     36 |        5 |      440
791.18/791.55	c  790s |      19 |   693194 |   506382 |    32787     36 |        5 |      440
793.38/793.71	c  793s |      19 |   694767 |   507682 |    32787     36 |        5 |      440
795.38/795.77	c  795s |      19 |   696585 |   509182 |    32787     36 |        5 |      440
797.38/797.79	c  797s |      19 |   698163 |   510482 |    32787     36 |        5 |      440
799.49/799.83	c  799s |      19 |   699813 |   511782 |    32787     36 |        5 |      440
801.59/801.92	c  801s |      19 |   701553 |   513182 |    32787     37 |        5 |      440
803.58/803.99	c  803s |      19 |   703999 |   515182 |    32787     37 |        5 |      440
805.68/806.00	c  805s |      19 |   706125 |   516982 |    32787     37 |        5 |      440
807.68/808.07	c  807s |      19 |   708148 |   518782 |    32787     37 |        5 |      440
809.78/810.11	c  809s |      19 |   710061 |   520382 |    32787     37 |        5 |      440
821.08/821.49	c  820s |      19 |   710731 |   520582 |    32787     37 |        5 |      440
823.18/823.54	c  822s |      19 |   712402 |   521582 |    32787     37 |        5 |      440
825.28/825.66	c  825s |      19 |   714308 |   522882 |    32787     37 |        5 |      440
827.28/827.69	c  827s |      19 |   715888 |   524082 |    32787     37 |        5 |      440
829.38/829.70	c  829s |      19 |   717555 |   525182 |    32787     37 |        5 |      440
831.39/831.77	c  831s |      19 |   719339 |   526482 |    32787     37 |        5 |      440
833.49/833.89	c  833s |      19 |   721039 |   527782 |    32787     37 |        5 |      440
835.58/835.97	c  835s |      19 |   722654 |   529082 |    32787     37 |        5 |      440
837.89/838.21	c  837s |      19 |   724043 |   530182 |    32787     38 |        5 |      440
839.88/840.29	c  839s |      19 |   726259 |   531982 |    32787     38 |        5 |      440
842.08/842.40	c  841s |      19 |   728239 |   533182 |    32787     38 |        5 |      440
844.08/844.49	c  843s |      19 |   729796 |   534382 |    32787     38 |        5 |      440
846.18/846.51	c  845s |      19 |   731644 |   535682 |    32787     38 |        5 |      440
848.28/848.66	c  848s |      19 |   733675 |   536982 |    32787     38 |        5 |      440
850.38/850.78	c  850s |      19 |   735017 |   537982 |    32787     38 |        5 |      440
852.38/852.78	c  852s |      19 |   736447 |   539082 |    32787     38 |        5 |      440
854.38/854.79	c  854s |      19 |   737989 |   540182 |    32787     38 |        5 |      440
856.58/856.99	c  856s |      19 |   739127 |   541082 |    32787     38 |        5 |      440
858.78/859.12	c  858s |      19 |   740601 |   542182 |    32787     38 |        5 |      440
860.78/861.17	c  860s |      19 |   741983 |   543282 |    32787     38 |        5 |      440
862.78/863.19	c  862s |      19 |   743418 |   544482 |    32787     38 |        5 |      440
864.98/865.30	c  864s |      19 |   745067 |   545682 |    32787     38 |        5 |      440
866.98/867.34	c  866s |      19 |   746386 |   546782 |    32787     38 |        5 |      440
868.97/869.38	c  868s |      19 |   747673 |   547882 |    32787     39 |        5 |      440
871.07/871.44	c  870s |      19 |   749015 |   548982 |    32787     39 |        5 |      440
873.18/873.54	c  872s |      19 |   750595 |   550082 |    32787     39 |        5 |      440
875.17/875.59	c  874s |      19 |   752467 |   551482 |    32787     39 |        5 |      440
877.37/877.75	c  877s |      19 |   754131 |   552782 |    32787     39 |        5 |      440
879.37/879.76	c  879s |      19 |   755560 |   553982 |    32787     39 |        5 |      440
881.47/881.82	c  881s |      19 |   757087 |   555282 |    32787     39 |        5 |      440
883.47/883.83	c  883s |      19 |   758589 |   556582 |    32787     39 |        5 |      440
885.67/886.00	c  885s |      19 |   760207 |   557882 |    32787     39 |        5 |      440
887.77/888.11	c  887s |      19 |   761669 |   559082 |    32787     39 |        5 |      440
889.77/890.12	c  889s |      19 |   763390 |   560182 |    32787     39 |        5 |      440
891.78/892.14	c  891s |      19 |   764996 |   561482 |    32787     39 |        5 |      440
893.87/894.23	c  893s |      19 |   766458 |   562582 |    32787     39 |        5 |      440
895.97/896.37	c  895s |      19 |   768129 |   563682 |    32787     39 |        5 |      440
898.07/898.48	c  897s |      19 |   769654 |   564882 |    32787     40 |        5 |      440
900.17/900.55	c  899s |      19 |   771487 |   566382 |    32787     40 |        5 |      440
902.17/902.58	c  901s |      19 |   773136 |   567782 |    32787     40 |        5 |      440
904.27/904.64	c  904s |      19 |   774786 |   569182 |    32787     40 |        5 |      440
906.37/906.70	c  906s |      19 |   776644 |   570682 |    32787     40 |        5 |      440
908.37/908.79	c  908s |      19 |   778024 |   571782 |    32787     40 |        5 |      440
910.47/910.88	c  910s |      19 |   779382 |   572882 |    32787     40 |        5 |      440
912.57/912.94	c  912s |      19 |   781119 |   574182 |    32787     40 |        5 |      440
914.57/914.97	c  914s |      19 |   782545 |   575282 |    32787     40 |        5 |      440
916.67/917.07	c  916s |      19 |   784114 |   576582 |    32787     40 |        5 |      440
918.77/919.17	c  918s |      19 |   785857 |   578082 |    32787     40 |        5 |      440
920.97/921.33	c  920s |      19 |   787077 |   579082 |    32787     40 |        5 |      440
923.07/923.48	c  922s |      19 |   788209 |   579982 |    32787     40 |        5 |      440
925.27/925.65	c  925s |      19 |   789574 |   581082 |    32787     40 |        5 |      440
925.37/925.72	c  925s |      19 |   789711 |   581119 |    32787     40 |        5 |      440
925.37/925.72	c #cpu_time = 924.884s
925.37/925.72	c #wall_clock_time = 925.118s
925.37/925.72	c #decision = 789711
925.37/925.72	c #random_decision = 2107
925.37/925.72	c #conflict = 581119
925.37/925.72	c #restart = 19
925.37/925.72	s SATISFIABLE
925.37/925.72	v x1 x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10
925.37/925.72	v -x11 -x12 -x13 x14 -x15 x16 -x17 x18 -x19 -x20
925.37/925.72	v x21 -x22 x23 x24 -x25 -x26 -x27 -x28 -x29 -x30
925.37/925.72	v x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
925.37/925.72	v -x41 x42 x43 x44 x45 x46 x47 x48 x49 x50
925.37/925.72	v x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 x59 -x60
925.37/925.72	v -x61 -x62 -x63 -x64 -x65 x66 -x67 x68 -x69 -x70
925.37/925.72	v -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80
925.37/925.72	v -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
925.37/925.72	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
925.37/925.72	v -x101 x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110
925.37/925.72	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
925.37/925.72	v -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130
925.37/925.72	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
925.37/925.72	v -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 x150
925.37/925.72	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
925.37/925.72	v -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170
925.37/925.72	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
925.37/925.72	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
925.37/925.72	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
925.37/925.72	v -x201 -x202 x203 -x204 -x205 x206 -x207 -x208 -x209 -x210
925.37/925.72	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
925.37/925.72	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
925.37/925.72	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
925.37/925.72	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
925.37/925.72	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
925.37/925.72	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
925.37/925.72	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
925.37/925.72	v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
925.37/925.72	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
925.37/925.72	v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310
925.37/925.72	v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
925.37/925.72	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
925.37/925.72	v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
925.37/925.72	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
925.37/925.72	v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
925.37/925.72	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
925.37/925.72	v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
925.37/925.72	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390
925.37/925.72	v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
925.37/925.72	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410
925.37/925.72	v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
925.37/925.72	v x421 -x422 -x423 x424 -x425 x426 -x427 -x428 -x429 -x430
925.37/925.72	v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
925.37/925.72	v -x441 -x442 -x443 -x444 -x445 -x446 x447 x448 x449 x450
925.37/925.72	v -x451 x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460
925.37/925.72	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
925.37/925.72	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
925.37/925.72	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
925.37/925.72	v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
925.37/925.72	v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
925.37/925.72	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
925.37/925.72	v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
925.37/925.72	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
925.37/925.72	v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
925.37/925.72	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560
925.37/925.72	v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
925.37/925.72	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580
925.37/925.72	v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
925.37/925.72	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
925.37/925.72	v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
925.37/925.72	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
925.37/925.72	v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
925.37/925.72	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
925.37/925.72	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
925.37/925.72	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
925.37/925.72	v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
925.37/925.72	v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
925.37/925.72	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
925.37/925.72	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
925.37/925.72	v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
925.37/925.72	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
925.37/925.72	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
925.37/925.72	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
925.37/925.72	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
925.37/925.72	v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
925.37/925.72	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770
925.37/925.72	v x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780
925.37/925.72	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790
925.37/925.72	v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800
925.37/925.72	v x801 -x802 -x803 x804 -x805 -x806 x807 -x808 -x809 -x810
925.37/925.72	v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
925.37/925.72	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830
925.37/925.72	v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
925.37/925.72	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
925.37/925.72	v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
925.37/925.72	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870
925.37/925.72	v x871 -x872 -x873 x874 -x875 x876 -x877 -x878 -x879 -x880
925.37/925.72	v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
925.37/925.72	v -x891 -x892 -x893 -x894 x895 -x896 x897 -x898 -x899 x900
925.37/925.72	v x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910
925.37/925.72	v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
925.37/925.72	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930
925.37/925.72	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
925.37/925.72	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
925.37/925.72	v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
925.37/925.72	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970
925.37/925.72	v -x971 -x972 -x973 -x974 -x975 -x976 x977 -x978 -x979 -x980
925.37/925.72	v -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x990
925.37/925.72	v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
925.37/925.72	v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010
925.37/925.72	v -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020
925.37/925.72	v x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
925.37/925.72	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
925.37/925.72	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050
925.37/925.72	v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
925.37/925.72	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070
925.37/925.72	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
925.37/925.72	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
925.37/925.72	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100
925.37/925.72	v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
925.37/925.72	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
925.37/925.72	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130
925.37/925.72	v -x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140
925.37/925.72	v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
925.37/925.72	v -x1151 -x1152 x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160
925.37/925.72	v -x1161 x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170
925.37/925.72	v x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
925.37/925.72	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
925.37/925.72	v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
925.37/925.72	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
925.37/925.72	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220
925.37/925.72	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 -x1228 -x1229 -x1230
925.37/925.72	v -x1231 -x1232 -x1233 x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240
925.37/925.72	v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
925.37/925.72	v -x1251 -x1252 x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260
925.37/925.72	v -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270
925.37/925.72	v x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
925.37/925.72	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
925.37/925.72	v -x1291 -x1292 -x1293 -x1294 x1295 x1296 x1297 x1298 x1299 x1300
925.37/925.72	v x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
925.37/925.72	v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320
925.37/925.72	v -x1321 -x1322 x1323 -x1324 -x1325 x1326 -x1327 x1328 -x1329 -x1330
925.37/925.72	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340
925.37/925.72	v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
925.37/925.72	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360
925.37/925.72	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
925.37/925.72	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
925.37/925.72	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390
925.37/925.72	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
925.37/925.72	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410
925.37/925.72	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420
925.37/925.72	v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
925.37/925.72	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
925.37/925.73	v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
925.37/925.73	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460
925.37/925.73	v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
925.37/925.73	v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480
925.37/925.73	v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
925.37/925.73	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
925.37/925.73	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510
925.37/925.73	v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520
925.37/925.73	v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530
925.37/925.73	v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
925.37/925.73	v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550
925.37/925.73	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560
925.37/925.73	v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
925.37/925.73	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580
925.37/925.73	v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
925.37/925.73	v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
925.37/925.73	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610
925.37/925.73	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
925.37/925.73	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630
925.37/925.73	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640
925.37/925.73	v -x1641 -x1642 -x1643 -x1644 x1645 x1646 -x1647 x1648 x1649 x1650
925.37/925.73	v x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660
925.37/925.73	v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670
925.37/925.73	v -x1671 -x1672 x1673 -x1674 -x1675 x1676 -x1677 x1678 -x1679 -x1680
925.37/925.73	v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
925.37/925.73	v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700
925.37/925.73	v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
925.37/925.73	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
925.37/925.73	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
925.37/925.73	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
925.37/925.73	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750
925.37/925.73	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760
925.37/925.73	v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
925.37/925.73	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780
925.37/925.73	v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
925.37/925.73	v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800
925.37/925.73	v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
925.37/925.73	v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820
925.37/925.73	v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830
925.37/925.73	v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840
925.37/925.73	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850
925.37/925.73	v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
925.37/925.73	v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870
925.37/925.73	v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
925.37/925.73	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890
925.37/925.73	v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
925.37/925.73	v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910
925.37/925.73	v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
925.37/925.73	v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930
925.37/925.73	v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
925.37/925.73	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950
925.37/925.73	v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
925.37/925.73	v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970
925.37/925.73	v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980
925.37/925.73	v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990
925.37/925.73	v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000
925.37/925.73	v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
925.37/925.73	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020
925.37/925.73	v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
925.37/925.73	v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040
925.37/925.73	v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050
925.37/925.73	v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060
925.37/925.73	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
925.37/925.73	v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080
925.37/925.73	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090
925.37/925.73	v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100
925.37/925.73	v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
925.37/925.73	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120
925.37/925.73	v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130
925.37/925.73	v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
925.37/925.73	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150
925.37/925.73	v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160
925.37/925.73	v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170
925.37/925.73	v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180
925.37/925.73	v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190
925.37/925.73	v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200
925.37/925.73	v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210
925.37/925.73	v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
925.37/925.73	v x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 x2229 -x2230
925.37/925.73	v -x2231 -x2232 -x2233 -x2234 -x2235 x2236 -x2237 -x2238 -x2239 -x2240
925.37/925.73	v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250
925.37/925.73	v -x2251 -x2252 x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
925.37/925.73	v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270
925.37/925.73	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 x2279 -x2280
925.37/925.73	v -x2281 -x2282 -x2283 -x2284 -x2285 x2286 -x2287 -x2288 -x2289 -x2290
925.37/925.73	v -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300
925.37/925.73	v -x2301 -x2302 x2303 -x2304 -x2305 x2306 -x2307 -x2308 -x2309 -x2310
925.37/925.73	v -x2311 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320
925.37/925.73	v x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330
925.37/925.73	v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340
925.37/925.73	v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350
925.37/925.73	v -x2351 -x2352 x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360
925.37/925.73	v -x2361 x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370
925.37/925.73	v x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 x2379 -x2380
925.37/925.73	v -x2381 -x2382 -x2383 -x2384 -x2385 x2386 -x2387 -x2388 -x2389 -x2390
925.37/925.73	v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400
925.37/925.73	v -x2401 -x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410
925.37/925.73	v -x2411 x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420
925.37/925.73	v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 x2429 -x2430
925.37/925.73	v -x2431 -x2432 -x2433 -x2434 -x2435 x2436 -x2437 -x2438 -x2439 -x2440
925.37/925.73	v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450
925.37/925.73	v -x2451 -x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460
925.37/925.73	v -x2461 x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x2470
925.37/925.73	v x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 x2479 -x2480
925.37/925.73	v -x2481 -x2482 -x2483 -x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490
925.37/925.73	v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500
925.37/925.73	v -x2501 -x2502 x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510
925.37/925.73	v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520
925.37/925.73	v x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 x2529 -x2530
925.37/925.73	v -x2531 -x2532 -x2533 -x2534 -x2535 x2536 -x2537 -x2538 -x2539 -x2540
925.37/925.73	v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550
925.37/925.73	v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560
925.37/925.73	v -x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570
925.37/925.73	v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 x2579 -x2580
925.37/925.73	v -x2581 -x2582 -x2583 -x2584 -x2585 x2586 -x2587 -x2588 -x2589 -x2590
925.37/925.73	v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600
925.37/925.73	v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610
925.37/925.73	v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620
925.37/925.73	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 x2628 -x2629 -x2630
925.37/925.73	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640
925.37/925.73	v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 x2648 -x2649 x2650
925.37/925.73	v x2651 x2652 x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660
925.37/925.73	v -x2661 x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 x2669 -x2670
925.37/925.73	v x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680
925.37/925.73	v -x2681 -x2682 -x2683 -x2684 -x2685 x2686 -x2687 -x2688 -x2689 -x2690
925.37/925.73	v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700
925.37/925.73	v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710
925.37/925.73	v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720
925.37/925.73	v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730
925.37/925.73	v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740
925.37/925.73	v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750
925.37/925.73	v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756
925.37/925.73	c total CPU time = 925.494s
925.37/925.73	c total wall clock time = 925.728s

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

pid=2526
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: 1.27 1.34 1.64 3/171 2529
/proc/meminfo: memFree=30409616/32872528 swapFree=1370072/1517240
[pid=2529] ppid=2526 vsize=712124 CPUtime=0 cores=0,2,4,6
/proc/2529/stat : 2529 (toysat) R 2526 2529 29649 0 -1 4202496 2655 0 0 0 0 0 0 0 20 0 4 0 14064650 729214976 3527 33554432000 4194304 16246674 140736652887584 140736652887008 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2529/statm: 178799 3536 441 2943 0 175693 0
[pid=2529/tid=2530] ppid=2526 vsize=745916 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2530/stat : 2530 (toysat) S 2526 2529 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14064650 763817984 3659 33554432000 4194304 16246674 140736652887584 140594305281264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2529/tid=2531] ppid=2526 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2531/stat : 2531 (toysat) S 2526 2529 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064650 768012288 3675 33554432000 4194304 16246674 140736652887584 140594294791408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2529/tid=2532] ppid=2526 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2532/stat : 2532 (toysat) S 2526 2529 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064650 773255168 3692 33554432000 4194304 16246674 140736652887584 140594210925744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 1.27 1.34 1.64 3/171 2529
/proc/meminfo: memFree=30409616/32872528 swapFree=1370072/1517240
[pid=2529] ppid=2526 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/2529/stat : 2529 (toysat) R 2526 2529 29649 0 -1 4202496 28645 0 0 0 5 3 0 0 20 0 4 0 14064650 1333334016 29455 33554432000 4194304 16246674 140736652887584 140736652886896 7371468 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2529/statm: 325521 29470 801 2943 0 322415 0
[pid=2529/tid=2530] ppid=2526 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2530/stat : 2530 (toysat) S 2526 2529 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14064650 1333334016 29480 33554432000 4194304 16246674 140736652887584 140594305281264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2529/tid=2531] ppid=2526 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2531/stat : 2531 (toysat) S 2526 2529 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064650 1333334016 29492 33554432000 4194304 16246674 140736652887584 140594294791408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2529/tid=2532] ppid=2526 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2532/stat : 2532 (toysat) S 2526 2529 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064650 1333334016 29503 33554432000 4194304 16246674 140736652887584 140594210925744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200503 s]
/proc/loadavg: 1.27 1.34 1.64 3/171 2529
/proc/meminfo: memFree=30409616/32872528 swapFree=1370072/1517240
[pid=2529] ppid=2526 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/2529/stat : 2529 (toysat) R 2526 2529 29649 0 -1 4202496 49933 0 0 0 13 6 0 0 20 0 4 0 14064650 1344868352 51253 33554432000 4194304 16246674 140736652887584 140736652886248 7852920 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2529/statm: 328337 51253 801 2943 0 325231 0
[pid=2529/tid=2530] ppid=2526 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2530/stat : 2530 (toysat) S 2526 2529 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14064650 1344868352 51253 33554432000 4194304 16246674 140736652887584 140594305281264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2529/tid=2531] ppid=2526 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2531/stat : 2531 (toysat) S 2526 2529 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064650 1344868352 51253 33554432000 4194304 16246674 140736652887584 140594294791408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2529/tid=2532] ppid=2526 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2532/stat : 2532 (toysat) S 2526 2529 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064650 1344868352 51253 33554432000 4194304 16246674 140736652887584 140594210925744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300492 s]
/proc/loadavg: 1.27 1.34 1.64 3/171 2529
/proc/meminfo: memFree=30409616/32872528 swapFree=1370072/1517240
[pid=2529] ppid=2526 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/2529/stat : 2529 (toysat) R 2526 2529 29649 0 -1 4202496 63107 0 0 0 21 8 0 0 20 0 4 0 14064650 1344868352 64427 33554432000 4194304 16246674 140736652887584 140736652886248 7205075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2529/statm: 328337 64438 835 2943 0 325231 0
[pid=2529/tid=2530] ppid=2526 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2530/stat : 2530 (toysat) S 2526 2529 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14064650 1344868352 64447 33554432000 4194304 16246674 140736652887584 140594305281264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2529/tid=2531] ppid=2526 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2531/stat : 2531 (toysat) S 2526 2529 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064650 1344868352 64454 33554432000 4194304 16246674 140736652887584 140594294791408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2529/tid=2532] ppid=2526 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2532/stat : 2532 (toysat) S 2526 2529 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064650 1344868352 64462 33554432000 4194304 16246674 140736652887584 140594210925744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700391 s]
/proc/loadavg: 1.27 1.34 1.64 3/171 2529
/proc/meminfo: memFree=30409616/32872528 swapFree=1370072/1517240
[pid=2529] ppid=2526 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/2529/stat : 2529 (toysat) R 2526 2529 29649 0 -1 4202496 147663 0 0 0 49 20 0 0 20 0 4 0 14064650 1344868352 148983 33554432000 4194304 16246674 140736652887584 140736652886248 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2529/statm: 328337 148994 879 2943 0 325231 0
[pid=2529/tid=2530] ppid=2526 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2530/stat : 2530 (toysat) S 2526 2529 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14064650 1344868352 149002 33554432000 4194304 16246674 140736652887584 140594305281264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2529/tid=2531] ppid=2526 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2531/stat : 2531 (toysat) S 2526 2529 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064650 1344868352 149009 33554432000 4194304 16246674 140736652887584 140594294791408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2529/tid=2532] ppid=2526 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2532/stat : 2532 (toysat) S 2526 2529 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064650 1344868352 149015 33554432000 4194304 16246674 140736652887584 140594210925744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.5004 s]
/proc/loadavg: 1.27 1.34 1.64 3/183 2546
/proc/meminfo: memFree=29017828/32872528 swapFree=1370072/1517240
[pid=2529] ppid=2526 vsize=1323588 CPUtime=1.49 cores=0,2,4,6
/proc/2529/stat : 2529 (toysat) R 2526 2529 29649 0 -1 4202496 271472 0 0 0 113 36 0 0 20 0 4 0 14064650 1355354112 272792 33554432000 4194304 16246674 140736652887584 140736652869504 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2529/statm: 330897 272792 882 2943 0 327791 0
[pid=2529/tid=2530] ppid=2526 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2530/stat : 2530 (toysat) S 2526 2529 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14064650 1355354112 272792 33554432000 4194304 16246674 140736652887584 140594305281264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2529/tid=2531] ppid=2526 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2531/stat : 2531 (toysat) S 2526 2529 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064650 1355354112 272792 33554432000 4194304 16246674 140736652887584 140594294791408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2529/tid=2532] ppid=2526 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2532/stat : 2532 (toysat) S 2526 2529 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064650 1355354112 272792 33554432000 4194304 16246674 140736652887584 140594210925744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1323588

[startup+3.10039 s]
/proc/loadavg: 1.33 1.35 1.64 3/183 2546
/proc/meminfo: memFree=28215160/32872528 swapFree=1370072/1517240
[pid=2529] ppid=2526 vsize=1323588 CPUtime=3.09 cores=0,2,4,6
/proc/2529/stat : 2529 (toysat) R 2526 2529 29649 0 -1 4202496 271567 0 0 0 273 36 0 0 20 0 4 0 14064650 1355354112 272887 33554432000 4194304 16246674 140736652887584 140736652886896 5675695 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2529/statm: 330897 272887 885 2943 0 327791 0
[pid=2529/tid=2530] ppid=2526 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2530/stat : 2530 (toysat) S 2526 2529 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14064650 1355354112 272887 33554432000 4194304 16246674 140736652887584 140594305281264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2529/tid=2531] ppid=2526 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2531/stat : 2531 (toysat) S 2526 2529 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064650 1355354112 272887 33554432000 4194304 16246674 140736652887584 140594294791408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2529/tid=2532] ppid=2526 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2532/stat : 2532 (toysat) S 2526 2529 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064650 1355354112 272887 33554432000 4194304 16246674 140736652887584 140594210925744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1323588

[startup+6.30035 s]
/proc/loadavg: 1.33 1.35 1.64 3/183 2546
/proc/meminfo: memFree=28213612/32872528 swapFree=1370072/1517240
[pid=2529] ppid=2526 vsize=1323588 CPUtime=6.29 cores=0,2,4,6
/proc/2529/stat : 2529 (toysat) R 2526 2529 29649 0 -1 4202496 271567 0 0 0 593 36 0 0 20 0 4 0 14064650 1355354112 272887 33554432000 4194304 16246674 140736652887584 140736652869504 6023234 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2529/statm: 330897 272887 885 2943 0 327791 0
[pid=2529/tid=2530] ppid=2526 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2530/stat : 2530 (toysat) S 2526 2529 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14064650 1355354112 272887 33554432000 4194304 16246674 140736652887584 140594305281264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2529/tid=2531] ppid=2526 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2531/stat : 2531 (toysat) S 2526 2529 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064650 1355354112 272887 33554432000 4194304 16246674 140736652887584 140594294791408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2529/tid=2532] ppid=2526 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2532/stat : 2532 (toysat) S 2526 2529 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064650 1355354112 272887 33554432000 4194304 16246674 140736652887584 140594210925744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1323588

[startup+12.7004 s]
/proc/loadavg: 1.51 1.39 1.65 4/183 2546
/proc/meminfo: memFree=28214268/32872528 swapFree=1370072/1517240
[pid=2529] ppid=2526 vsize=1323588 CPUtime=12.69 cores=0,2,4,6
/proc/2529/stat : 2529 (toysat) R 2526 2529 29649 0 -1 4202496 271568 0 0 0 1233 36 0 0 20 0 4 0 14064650 1355354112 272888 33554432000 4194304 16246674 140736652887584 140736652869504 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2529/statm: 330897 272888 885 2943 0 327791 0
[pid=2529/tid=2530] ppid=2526 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2530/stat : 2530 (toysat) S 2526 2529 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14064650 1355354112 272888 33554432000 4194304 16246674 140736652887584 140594305281264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2529/tid=2531] ppid=2526 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2531/stat : 2531 (toysat) S 2526 2529 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064650 1355354112 272888 33554432000 4194304 16246674 140736652887584 140594294791408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2529/tid=2532] ppid=2526 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2532/stat : 2532 (toysat) S 2526 2529 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064650 1355354112 272888 33554432000 4194304 16246674 140736652887584 140594210925744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1323588

[startup+25.5005 s]
/proc/loadavg: 1.59 1.40 1.65 4/183 2546
/proc/meminfo: memFree=28215772/32872528 swapFree=1370072/1517240
[pid=2529] ppid=2526 vsize=1323588 CPUtime=25.48 cores=0,2,4,6
/proc/2529/stat : 2529 (toysat) R 2526 2529 29649 0 -1 4202496 271570 0 0 0 2512 36 0 0 20 0 4 0 14064650 1355354112 272890 33554432000 4194304 16246674 140736652887584 140736652869504 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2529/statm: 330897 272890 886 2943 0 327791 0
[pid=2529/tid=2530] ppid=2526 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2530/stat : 2530 (toysat) S 2526 2529 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14064650 1355354112 272890 33554432000 4194304 16246674 140736652887584 140594305281264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2529/tid=2531] ppid=2526 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2531/stat : 2531 (toysat) S 2526 2529 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064650 1355354112 272890 33554432000 4194304 16246674 140736652887584 140594294791408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2529/tid=2532] ppid=2526 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2532/stat : 2532 (toysat) S 2526 2529 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064650 1355354112 272890 33554432000 4194304 16246674 140736652887584 140594210925744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1323588

[startup+51.1005 s]
/proc/loadavg: 1.73 1.45 1.66 4/183 2547
/proc/meminfo: memFree=28215412/32872528 swapFree=1370072/1517240
[pid=2529] ppid=2526 vsize=1335876 CPUtime=51.09 cores=0,2,4,6
/proc/2529/stat : 2529 (toysat) R 2526 2529 29649 0 -1 4202496 274432 0 0 0 5072 37 0 0 20 0 4 0 14064650 1367937024 275750 33554432000 4194304 16246674 140736652887584 140736652869504 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2529/statm: 333969 275750 886 2943 0 330863 0
[pid=2529/tid=2530] ppid=2526 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2530/stat : 2530 (toysat) S 2526 2529 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14064650 1367937024 275750 33554432000 4194304 16246674 140736652887584 140594305281264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2529/tid=2531] ppid=2526 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2531/stat : 2531 (toysat) S 2526 2529 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064650 1367937024 275750 33554432000 4194304 16246674 140736652887584 140594294791408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2529/tid=2532] ppid=2526 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2532/stat : 2532 (toysat) S 2526 2529 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064650 1367937024 275750 33554432000 4194304 16246674 140736652887584 140594210925744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1335876

[startup+102.3 s]
/proc/loadavg: 2.10 1.60 1.70 4/183 2548
/proc/meminfo: memFree=28192168/32872528 swapFree=1370072/1517240
[pid=2529] ppid=2526 vsize=1346116 CPUtime=102.27 cores=0,2,4,6
/proc/2529/stat : 2529 (toysat) R 2526 2529 29649 0 -1 4202496 277231 0 0 0 10190 37 0 0 20 0 4 0 14064650 1378422784 278526 33554432000 4194304 16246674 140736652887584 140736652869504 13928256 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2529/statm: 336529 278526 887 2943 0 333423 0
[pid=2529/tid=2530] ppid=2526 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2530/stat : 2530 (toysat) S 2526 2529 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14064650 1378422784 278526 33554432000 4194304 16246674 140736652887584 140594305281264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2529/tid=2531] ppid=2526 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2531/stat : 2531 (toysat) S 2526 2529 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064650 1378422784 278526 33554432000 4194304 16246674 140736652887584 140594294791408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2529/tid=2532] ppid=2526 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2532/stat : 2532 (toysat) S 2526 2529 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064650 1378422784 278526 33554432000 4194304 16246674 140736652887584 140594210925744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1346116


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

/proc/2529/stat : 2529 (toysat) R 2526 2529 29649 0 -1 4202496 286757 0 0 0 82150 48 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140736652869504 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2529/statm: 345745 287742 887 2943 0 342639 0
[pid=2529/tid=2530] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2530/stat : 2530 (toysat) S 2526 2529 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594305281264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2529/tid=2531] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2531/stat : 2531 (toysat) S 2526 2529 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594294791408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2529/tid=2532] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2532/stat : 2532 (toysat) S 2526 2529 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594210925744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 1382980

[startup+882.307 s]
/proc/loadavg: 2.19 2.13 1.95 3/183 2569
/proc/meminfo: memFree=28111876/32872528 swapFree=1370072/1517240
[pid=2529] ppid=2526 vsize=1382980 CPUtime=881.98 cores=0,2,4,6
/proc/2529/stat : 2529 (toysat) R 2526 2529 29649 0 -1 4202496 286757 0 0 0 88150 48 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140736652869504 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2529/statm: 345745 287742 887 2943 0 342639 0
[pid=2529/tid=2530] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2530/stat : 2530 (toysat) S 2526 2529 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594305281264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2529/tid=2531] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2531/stat : 2531 (toysat) S 2526 2529 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594294791408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2529/tid=2532] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2532/stat : 2532 (toysat) S 2526 2529 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594210925744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 1382980

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

[startup+896 s]
/proc/loadavg: 2.16 2.13 1.95 3/183 2569
/proc/meminfo: memFree=28111984/32872528 swapFree=1370072/1517240
[pid=2529] ppid=2526 vsize=1382980 CPUtime=895.67 cores=0,2,4,6
/proc/2529/stat : 2529 (toysat) R 2526 2529 29649 0 -1 4202496 286757 0 0 0 89519 48 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140736652869504 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2529/statm: 345745 287742 887 2943 0 342639 0
[pid=2529/tid=2530] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2530/stat : 2530 (toysat) S 2526 2529 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594305281264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2529/tid=2531] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2531/stat : 2531 (toysat) S 2526 2529 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594294791408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2529/tid=2532] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2532/stat : 2532 (toysat) S 2526 2529 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594210925744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 895.67
Current children cumulated vsize (KiB) 1382980

[startup+908.8 s]
/proc/loadavg: 2.12 2.12 1.95 4/183 2570
/proc/meminfo: memFree=28111656/32872528 swapFree=1370072/1517240
[pid=2529] ppid=2526 vsize=1382980 CPUtime=908.47 cores=0,2,4,6
/proc/2529/stat : 2529 (toysat) R 2526 2529 29649 0 -1 4202496 286757 0 0 0 90799 48 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140736652885440 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2529/statm: 345745 287742 887 2943 0 342639 0
[pid=2529/tid=2530] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2530/stat : 2530 (toysat) S 2526 2529 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594305281264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2529/tid=2531] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2531/stat : 2531 (toysat) S 2526 2529 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594294791408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2529/tid=2532] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2532/stat : 2532 (toysat) S 2526 2529 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594210925744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 908.47
Current children cumulated vsize (KiB) 1382980

[startup+915.2 s]
/proc/loadavg: 2.11 2.12 1.95 4/183 2570
/proc/meminfo: memFree=28112160/32872528 swapFree=1370072/1517240
[pid=2529] ppid=2526 vsize=1382980 CPUtime=914.87 cores=0,2,4,6
/proc/2529/stat : 2529 (toysat) R 2526 2529 29649 0 -1 4202496 286757 0 0 0 91439 48 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140736652869504 5523652 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2529/statm: 345745 287742 887 2943 0 342639 0
[pid=2529/tid=2530] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2530/stat : 2530 (toysat) S 2526 2529 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594305281264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2529/tid=2531] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2531/stat : 2531 (toysat) S 2526 2529 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594294791408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2529/tid=2532] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2532/stat : 2532 (toysat) S 2526 2529 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594210925744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 914.87
Current children cumulated vsize (KiB) 1382980

[startup+921.6 s]
/proc/loadavg: 2.18 2.13 1.96 3/183 2570
/proc/meminfo: memFree=28111820/32872528 swapFree=1370072/1517240
[pid=2529] ppid=2526 vsize=1382980 CPUtime=921.27 cores=0,2,4,6
/proc/2529/stat : 2529 (toysat) R 2526 2529 29649 0 -1 4202496 286757 0 0 0 92079 48 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140736652869504 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2529/statm: 345745 287742 887 2943 0 342639 0
[pid=2529/tid=2530] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2530/stat : 2530 (toysat) S 2526 2529 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594305281264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2529/tid=2531] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2531/stat : 2531 (toysat) S 2526 2529 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594294791408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2529/tid=2532] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2532/stat : 2532 (toysat) S 2526 2529 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594210925744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 921.27
Current children cumulated vsize (KiB) 1382980

[startup+923.2 s]
/proc/loadavg: 2.17 2.13 1.96 3/183 2570
/proc/meminfo: memFree=28111944/32872528 swapFree=1370072/1517240
[pid=2529] ppid=2526 vsize=1382980 CPUtime=922.87 cores=0,2,4,6
/proc/2529/stat : 2529 (toysat) R 2526 2529 29649 0 -1 4202496 286757 0 0 0 92239 48 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140736652869504 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2529/statm: 345745 287742 887 2943 0 342639 0
[pid=2529/tid=2530] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2530/stat : 2530 (toysat) S 2526 2529 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594305281264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2529/tid=2531] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2531/stat : 2531 (toysat) S 2526 2529 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594294791408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2529/tid=2532] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2532/stat : 2532 (toysat) S 2526 2529 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594210925744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 922.87
Current children cumulated vsize (KiB) 1382980

[startup+924.8 s]
/proc/loadavg: 2.17 2.13 1.96 3/183 2570
/proc/meminfo: memFree=28111944/32872528 swapFree=1370072/1517240
[pid=2529] ppid=2526 vsize=1382980 CPUtime=924.47 cores=0,2,4,6
/proc/2529/stat : 2529 (toysat) R 2526 2529 29649 0 -1 4202496 286757 0 0 0 92399 48 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140736652869504 5822761 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2529/statm: 345745 287742 887 2943 0 342639 0
[pid=2529/tid=2530] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2530/stat : 2530 (toysat) S 2526 2529 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594305281264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2529/tid=2531] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2531/stat : 2531 (toysat) S 2526 2529 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594294791408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2529/tid=2532] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2532/stat : 2532 (toysat) S 2526 2529 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594210925744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 924.47
Current children cumulated vsize (KiB) 1382980

[startup+925.207 s]
/proc/loadavg: 2.17 2.13 1.96 3/183 2570
/proc/meminfo: memFree=28111944/32872528 swapFree=1370072/1517240
[pid=2529] ppid=2526 vsize=1382980 CPUtime=924.87 cores=0,2,4,6
/proc/2529/stat : 2529 (toysat) R 2526 2529 29649 0 -1 4202496 286757 0 0 0 92439 48 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140736652869504 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2529/statm: 345745 287742 887 2943 0 342639 0
[pid=2529/tid=2530] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2530/stat : 2530 (toysat) S 2526 2529 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594305281264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2529/tid=2531] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2531/stat : 2531 (toysat) S 2526 2529 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594294791408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2529/tid=2532] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2532/stat : 2532 (toysat) S 2526 2529 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594210925744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 924.87
Current children cumulated vsize (KiB) 1382980

[startup+925.6 s]
/proc/loadavg: 2.17 2.13 1.96 3/183 2570
/proc/meminfo: memFree=28111944/32872528 swapFree=1370072/1517240
[pid=2529] ppid=2526 vsize=1382980 CPUtime=925.27 cores=0,2,4,6
/proc/2529/stat : 2529 (toysat) R 2526 2529 29649 0 -1 4202496 286757 0 0 0 92479 48 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140736652869504 5676564 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2529/statm: 345745 287742 887 2943 0 342639 0
[pid=2529/tid=2530] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2530/stat : 2530 (toysat) S 2526 2529 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594305281264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2529/tid=2531] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2531/stat : 2531 (toysat) S 2526 2529 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594294791408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2529/tid=2532] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2532/stat : 2532 (toysat) S 2526 2529 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594210925744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 925.27
Current children cumulated vsize (KiB) 1382980

[startup+925.7 s]
/proc/loadavg: 2.17 2.13 1.96 3/183 2570
/proc/meminfo: memFree=28111944/32872528 swapFree=1370072/1517240
[pid=2529] ppid=2526 vsize=1382980 CPUtime=925.37 cores=0,2,4,6
/proc/2529/stat : 2529 (toysat) R 2526 2529 29649 0 -1 4202496 286757 0 0 0 92489 48 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140736652869504 6837194 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2529/statm: 345745 287742 887 2943 0 342639 0
[pid=2529/tid=2530] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2530/stat : 2530 (toysat) S 2526 2529 29649 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594305281264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2529/tid=2531] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2531/stat : 2531 (toysat) S 2526 2529 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594294791408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2529/tid=2532] ppid=2526 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/2529/task/2532/stat : 2532 (toysat) S 2526 2529 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064650 1416171520 287742 33554432000 4194304 16246674 140736652887584 140594210925744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 925.37
Current children cumulated vsize (KiB) 1382980

Child status: 0
Real time (s): 925.738
CPU time (s): 925.406
CPU user time (s): 924.923
CPU system time (s): 0.482926
CPU usage (%): 99.9642
Max. virtual memory (cumulated for all children) (KiB): 1382980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 924.923
system time used= 0.482926
maximum resident set size= 1150992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286763
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= 361
involuntary context switches= 934

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.33264 second user time and 3.58745 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-17 01:36:22
IDJOB=4098241
IDBENCH=107872
IDSOLVER=2542
FILE ID=node129/4098241-1466120182
RUNJOBID= node129-1466120181-2509
PBS_JOBID= 19904039
Free space on /tmp= 71736 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_20.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098241-1466120182/watcher-4098241-1466120182 -o /tmp/evaluation-result-4098241-1466120182/solver-4098241-1466120182 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466120181-2509 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098241-1466120182.opb

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

MD5SUM BENCH= 049737624e54c17d9e15f76a40720f01
RANDOM SEED=133007900

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30423816 kB
Buffers:           62988 kB
Cached:           161000 kB
SwapCached:          748 kB
Active:           115616 kB
Inactive:         112188 kB
Active(anon):       4304 kB
Inactive(anon):     1144 kB
Active(file):     111312 kB
Inactive(file):   111044 kB
Unevictable:     1517240 kB
Mlocked:         1370072 kB
SwapTotal:      67108856 kB
SwapFree:       67100384 kB
Dirty:             20968 kB
Writeback:             0 kB
AnonPages:       1476136 kB
Mapped:             6984 kB
Shmem:                 0 kB
Slab:             570716 kB
SReclaimable:      15088 kB
SUnreclaim:       555628 kB
KernelStack:        1424 kB
PageTables:         6904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1613528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    104448 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= 71700 MiB
End job on node129 at 2016-06-17 01:51:47