Trace number 4116293

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.01 1800.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size112-round23-0.opb
MD5SUMd00c6e0d896449632541fc8326733986
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9488
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)400
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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-26T23:46:23+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-4116293-1466977583.opb"]
0.00/0.01	c use --random-gen="1014242302 3730604669 3489819232 354713757 173283420 2997936394 3862917554 1784471614 2911658563 935972047 2262582017 1711333472 212087374 2366056353 1597456195 2481983022 2527866743 3237949290 3261021059 370762463 1504659971 2576617433 1575050978 386112919 138119898 2218155851 2916409480 3995577122 2195836500 1885121585 2237191066 2992832421 2491189189 2604933398 354478321 3860730607 208744229 1770429795 826272308 3049885998 3522219531 4207441935 1064960900 2042439215 193910078 647747922 676657392 3184463560 1091205130 2879802152 1905926620 298135607 1495627567 790010838 3175662206 3354303477 3597951835 2183583941 1538102291 2821274269 1492904547 1256100295 1259210525 40956223 4176690499 3943205590 4239862696 1172375275 660481505 4057391066 630072257 3668169723 1283572374 797577461 568332342 2496510738 1842027802 2339437210 1095942689 2476604987 3278928946 2430669752 396109265 1302039692 3319855536 2541095209 1080602160 1042957877 4251094122 2098667991 813209904 3882812121 1538551585 21241110 1244936855 2160112140 1694406159 3714954963 4249573606 1356458720 3097165728 3104628227 1853657675 2647143992 2348654095 2073556437 4287987706 757488383 2326221277 1323624001 941509613 2878261809 2774104217 1779050043 1161315953 1493564735 1266930910 294048819 801685767 2273792063 2290694516 2591410735 2123056762 3055624433 2008572758 1015996283 4182965935 3612453137 1187993153 2187233696 3230945512 3160290425 3344496962 1714141407 3017240268 2206172500 2142001974 2712062485 980799419 1471833807 1122209254 3898132446 4023473884 944101209 777720400 815406590 3501984419 473133868 3922240969 3201499098 2877913220 2203480351 639347194 180843182 9786974 697840775 1427651961 1238699158 1414609994 938168742 509049703 893225180 3360452675 2484753395 2141892377 2701023457 2116507858 2238061662 3432833573 3315846349 3098710776 251717671 123227394 496586388 1385021142 4047190239 3620685571 1157373547 2001469460 2279678243 1747752127 3394349998 2352824532 684539359 4148899646 2244306952 1435930715 2990386619 2985044295 1674963210 2051603064 1881480602 2907267267 1582387008 1483979789 3123501075 1760346664 958020905 2474004172 2898919962 1499337713 1691608125 3793370627 330281219 96313065 3908759388 101412076 2892447725 756742286 4036483931 3540316514 966879677 3050590887 1246040218 2764650721 4018722818 750320920 2144584082 347150441 3021474552 2836058332 4088502222 1125684661 1329348127 2457545187 2346565261 3047334869 3515969312 871896650 1136596762 3582942252 2556824815 3141637834 4051256970 3841725404 2734316254 2376102831 2221644335 2955765405 3739673530 4173250552 3593774971 2993755007 624143405 4193295780 1709549777 3049538303 3978487908 2388643422 1551705736 4283624279 118310948 2358945584 1321459133 2700234201 1172958951 255 362436" option to reproduce the execution
0.10/0.12	c #vars 4288
0.10/0.12	c #constraints 9488
0.19/0.28	c Solving starts ...
0.19/0.28	c ============================[ Search Statistics ]============================
0.19/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.28	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      719 |        0
0.29/0.36	c  0.1s |       1 |      526 |      100 |     4565      0 |      719 |      614
0.40/0.46	c  0.2s |       2 |     1892 |      250 |     5022      0 |      720 |      614
0.59/0.60	c  0.3s |       3 |     3612 |      475 |     5525      0 |      720 |      614
0.79/0.88	c  0.6s |       4 |     6228 |      813 |     6078      0 |      720 |      614
1.20/1.24	c  1.0s |       5 |     8253 |     1320 |     6686      0 |      720 |      614
1.69/1.75	c  1.5s |       6 |    12347 |     2081 |     8091      0 |      720 |      614
2.69/2.78	c  2.5s |       7 |    16895 |     3223 |     8901      0 |      720 |      614
4.69/4.72	c  4.4s |       8 |    23537 |     4936 |     9792      0 |      720 |      614
6.79/6.80	c  6.5s |       8 |    28790 |     7136 |     9792      0 |      720 |      614
7.29/7.32	c  7.0s |       9 |    29383 |     7506 |    10772      0 |      720 |      614
9.39/9.49	c  9.2s |       9 |    36347 |     9406 |    10772      0 |      720 |      614
11.59/11.64	c 11.4s |       9 |    37714 |    10506 |    10772      0 |      720 |      614
13.49/13.59	c 13.3s |      10 |    38702 |    11361 |    11850      0 |      720 |      614
15.59/15.63	c 15.4s |      10 |    41430 |    13161 |    11850      0 |      720 |      614
17.70/17.72	c 17.4s |      10 |    43075 |    14661 |    11850      1 |      720 |      614
19.69/19.76	c 19.5s |      10 |    44336 |    15861 |    11850      1 |      720 |      614
21.69/21.72	c 21.4s |      11 |    46657 |    17144 |    13036      1 |      720 |      614
23.69/23.79	c 23.5s |      11 |    52475 |    19144 |    13036      1 |      720 |      614
25.79/25.86	c 25.6s |      11 |    54545 |    20544 |    13036      1 |      720 |      614
27.99/28.03	c 27.8s |      11 |    56057 |    21644 |    13036      1 |      720 |      614
30.09/30.16	c 29.9s |      11 |    57424 |    22744 |    13036      1 |      720 |      614
32.39/32.48	c 32.2s |      11 |    58765 |    23744 |    13036      2 |      720 |      614
34.49/34.58	c 34.3s |      11 |    59955 |    24744 |    13036      2 |      720 |      614
36.49/36.59	c 36.3s |      11 |    61210 |    25744 |    14340      2 |      720 |      614
36.69/36.79	c 36.5s |      12 |    61304 |    25819 |    14340      2 |      720 |      614
38.79/38.88	c 38.6s |      12 |    67586 |    27719 |    14340      2 |      720 |      614
40.88/40.92	c 40.6s |      12 |    74686 |    29919 |    14340      2 |      720 |      614
42.89/42.99	c 42.7s |      12 |    76410 |    31319 |    14340      2 |      720 |      614
45.09/45.11	c 44.8s |      12 |    78212 |    32619 |    14340      2 |      720 |      614
47.18/47.20	c 46.9s |      12 |    79108 |    33419 |    14340      3 |      720 |      614
49.28/49.34	c 49.1s |      12 |    80662 |    34619 |    14340      3 |      720 |      614
51.38/51.47	c 51.2s |      12 |    82091 |    35719 |    14340      3 |      720 |      614
53.58/53.65	c 53.4s |      12 |    83458 |    36719 |    14340      3 |      720 |      614
55.88/55.91	c 55.6s |      12 |    84524 |    37619 |    14340      3 |      720 |      614
58.08/58.11	c 57.8s |      12 |    85424 |    38419 |    14340      3 |      720 |      614
59.18/59.23	c 59.0s |      13 |    85902 |    38832 |    15775      3 |      720 |      614
61.18/61.27	c 61.0s |      13 |    89682 |    40632 |    15775      3 |      720 |      614
63.28/63.31	c 63.0s |      13 |    91700 |    42232 |    15775      3 |      720 |      614
65.68/65.74	c 65.5s |      13 |    93746 |    43832 |    15775      4 |      720 |      614
67.68/67.76	c 67.5s |      13 |    95234 |    45032 |    15775      4 |      720 |      614
69.78/69.85	c 69.6s |      13 |    97055 |    46432 |    15775      4 |      720 |      614
71.78/71.88	c 71.6s |      13 |    98392 |    47532 |    15775      4 |      720 |      614
73.98/74.07	c 73.8s |      13 |    99543 |    48532 |    15775      4 |      720 |      614
76.08/76.18	c 75.9s |      13 |   100615 |    49432 |    15775      4 |      720 |      614
78.28/78.30	c 78.0s |      13 |   101511 |    50232 |    15775      4 |      720 |      614
80.28/80.39	c 80.1s |      13 |   103081 |    51132 |    15775      4 |      720 |      614
82.38/82.45	c 82.2s |      13 |   104688 |    52332 |    15775      4 |      720 |      614
84.58/84.62	c 84.3s |      13 |   106012 |    53432 |    15775      4 |      720 |      614
86.68/86.75	c 86.5s |      13 |   106892 |    54232 |    15775      5 |      720 |      614
88.78/88.83	c 88.6s |      13 |   109011 |    55532 |    15775      5 |      720 |      614
90.88/90.92	c 90.6s |      13 |   110994 |    56932 |    15775      5 |      720 |      614
92.87/92.93	c 92.7s |      13 |   112779 |    58232 |    17353      5 |      720 |      614
93.07/93.15	c 92.9s |      14 |   112953 |    58352 |    17353      5 |      720 |      614
95.07/95.18	c 94.9s |      14 |   121158 |    60252 |    17353      5 |      721 |      614
97.17/97.22	c 96.9s |      14 |   129989 |    62752 |    17353      5 |      721 |      614
99.17/99.22	c 98.9s |      14 |   133518 |    64552 |    17353      6 |      721 |      614
101.19/101.23	c  100s |      14 |   135123 |    65852 |    17353      6 |      721 |      614
103.28/103.36	c  103s |      14 |   136595 |    67052 |    17353      6 |      721 |      614
105.38/105.44	c  105s |      14 |   137807 |    68052 |    17353      6 |      721 |      614
107.48/107.55	c  107s |      14 |   138998 |    69052 |    17353      6 |      721 |      614
109.58/109.68	c  109s |      14 |   140050 |    69952 |    17353      6 |      721 |      614
111.68/111.73	c  111s |      14 |   143139 |    71552 |    17353      6 |      721 |      614
113.88/113.90	c  113s |      14 |   145630 |    73052 |    17353      6 |      721 |      614
115.98/116.09	c  115s |      14 |   147398 |    74152 |    17353      7 |      721 |      614
118.17/118.25	c  117s |      14 |   149517 |    75552 |    17353      7 |      721 |      614
120.17/120.30	c  120s |      14 |   151059 |    76552 |    17353      7 |      721 |      614
122.27/122.37	c  122s |      14 |   153280 |    78052 |    17353      7 |      721 |      614
124.47/124.51	c  124s |      14 |   154547 |    79052 |    17353      7 |      721 |      614
126.67/126.80	c  126s |      14 |   155591 |    79852 |    17353      7 |      721 |      614
128.97/129.02	c  128s |      14 |   156394 |    80452 |    17353      7 |      721 |      614
130.98/131.04	c  130s |      14 |   157041 |    80952 |    17353      7 |      721 |      614
133.08/133.20	c  132s |      14 |   158899 |    82152 |    17353      7 |      721 |      614
135.47/135.57	c  135s |      14 |   161129 |    83552 |    17353      8 |      721 |      614
137.58/137.62	c  137s |      14 |   163043 |    84852 |    17353      8 |      721 |      614
139.57/139.65	c  139s |      14 |   164855 |    86152 |    17353      8 |      721 |      614
141.77/141.80	c  141s |      14 |   166502 |    87352 |    19089      8 |      721 |      614
142.17/142.29	c  142s |      15 |   166880 |    87632 |    19089      8 |      721 |      614
144.27/144.31	c  144s |      15 |   175942 |    89732 |    19089      8 |      721 |      614
146.27/146.40	c  146s |      15 |   178634 |    91432 |    19089      8 |      721 |      614
148.47/148.55	c  148s |      15 |   180435 |    92732 |    19089      8 |      721 |      614
150.57/150.63	c  150s |      15 |   182347 |    94032 |    19089      8 |      721 |      614
152.67/152.75	c  152s |      15 |   184294 |    95432 |    19089      8 |      721 |      614
154.87/154.96	c  154s |      15 |   185223 |    96232 |    19089      9 |      721 |      614
156.97/157.06	c  156s |      15 |   186280 |    97132 |    19089      9 |      721 |      614
159.17/159.27	c  158s |      15 |   187773 |    98232 |    19089      9 |      721 |      614
161.37/161.42	c  161s |      15 |   189056 |    99232 |    19089      9 |      721 |      614
163.47/163.53	c  163s |      15 |   191065 |   100432 |    19089      9 |      721 |      614
165.56/165.67	c  165s |      15 |   192825 |   101632 |    19089      9 |      721 |      614
167.76/167.81	c  167s |      15 |   194824 |   102932 |    19089      9 |      721 |      614
169.76/169.81	c  169s |      15 |   196151 |   103932 |    19089      9 |      721 |      614
171.76/171.83	c  171s |      15 |   197317 |   104832 |    19089      9 |      721 |      614
173.77/173.88	c  173s |      15 |   198325 |   105632 |    19089      9 |      721 |      614
175.76/175.88	c  175s |      15 |   199470 |   106532 |    19089      9 |      721 |      614
178.17/178.21	c  177s |      15 |   200420 |   107332 |    19089     10 |      721 |      614
180.16/180.22	c  179s |      15 |   201358 |   108132 |    19089     10 |      721 |      614
182.16/182.27	c  181s |      15 |   202339 |   108932 |    19089     10 |      721 |      614
184.36/184.41	c  184s |      15 |   203336 |   109732 |    19089     10 |      721 |      614
186.46/186.55	c  186s |      15 |   204463 |   110632 |    19089     10 |      721 |      614
188.56/188.69	c  188s |      15 |   205456 |   111432 |    19089     10 |      721 |      614
190.86/190.95	c  190s |      15 |   206456 |   112232 |    19089     10 |      721 |      614
192.86/192.98	c  192s |      15 |   207408 |   112932 |    19089     10 |      721 |      614
195.06/195.19	c  194s |      15 |   208381 |   113732 |    19089     10 |      721 |      614
197.26/197.38	c  197s |      15 |   209233 |   114432 |    19089     10 |      721 |      614
199.26/199.39	c  199s |      15 |   209962 |   115032 |    19089     10 |      721 |      614
201.27/201.40	c  201s |      15 |   213082 |   115932 |    19089     10 |      721 |      614
203.47/203.59	c  203s |      15 |   216309 |   117332 |    19089     10 |      721 |      614
205.96/206.00	c  205s |      15 |   217970 |   118332 |    19089     11 |      721 |      614
208.06/208.16	c  207s |      15 |   219796 |   119632 |    19089     11 |      721 |      614
210.17/210.26	c  209s |      15 |   221341 |   120832 |    19089     11 |      721 |      614
212.16/212.30	c  212s |      15 |   222344 |   121732 |    19089     11 |      721 |      614
214.26/214.38	c  214s |      15 |   223370 |   122632 |    19089     11 |      721 |      614
216.56/216.63	c  216s |      15 |   224237 |   123432 |    19089     11 |      721 |      614
218.66/218.78	c  218s |      15 |   225131 |   124232 |    19089     11 |      721 |      614
220.66/220.78	c  220s |      15 |   225912 |   124932 |    19089     11 |      721 |      614
222.86/222.91	c  222s |      15 |   226668 |   125632 |    19089     11 |      721 |      614
225.06/225.17	c  224s |      15 |   227414 |   126332 |    19089     11 |      721 |      614
227.26/227.32	c  227s |      15 |   228092 |   126932 |    19089     11 |      721 |      614
229.46/229.54	c  229s |      15 |   228731 |   127532 |    19089     11 |      721 |      614
231.75/231.81	c  231s |      15 |   229365 |   128132 |    19089     11 |      721 |      614
233.75/233.82	c  233s |      15 |   229891 |   128632 |    19089     11 |      721 |      614
236.15/236.20	c  235s |      15 |   230520 |   129232 |    19089     11 |      721 |      614
238.25/238.37	c  238s |      15 |   231058 |   129732 |    19089     12 |      721 |      614
240.45/240.56	c  240s |      15 |   231693 |   130332 |    19089     12 |      721 |      614
242.65/242.79	c  242s |      15 |   232547 |   131032 |    20998     12 |      721 |      614
244.16/244.27	c  243s |      16 |   233181 |   131552 |    20998     12 |      721 |      614
246.25/246.31	c  246s |      16 |   236865 |   132952 |    20998     12 |      721 |      614
248.25/248.39	c  248s |      16 |   238811 |   134452 |    20998     12 |      721 |      614
250.35/250.49	c  250s |      16 |   240286 |   135652 |    20998     12 |      721 |      614
252.45/252.59	c  252s |      16 |   241578 |   136752 |    20998     12 |      721 |      614
254.55/254.61	c  254s |      16 |   242996 |   137852 |    20998     12 |      721 |      614
256.65/256.77	c  256s |      16 |   244185 |   138852 |    20998     12 |      721 |      614
258.65/258.78	c  258s |      16 |   245169 |   139652 |    20998     12 |      721 |      614
260.76/260.85	c  260s |      16 |   246326 |   140652 |    20998     12 |      721 |      614
263.05/263.10	c  262s |      16 |   247410 |   141552 |    20998     12 |      721 |      614
265.16/265.26	c  264s |      16 |   248440 |   142452 |    20998     12 |      721 |      614
267.15/267.28	c  267s |      16 |   249207 |   143052 |    20998     13 |      721 |      614
269.15/269.29	c  269s |      16 |   250063 |   143752 |    20998     13 |      721 |      614
271.36/271.41	c  271s |      16 |   250938 |   144452 |    20998     13 |      721 |      614
273.36/273.48	c  273s |      16 |   251795 |   145152 |    20998     13 |      721 |      614
275.36/275.49	c  275s |      16 |   252475 |   145752 |    20998     13 |      721 |      614
277.55/277.63	c  277s |      16 |   253157 |   146352 |    20998     13 |      721 |      614
279.65/279.76	c  279s |      16 |   254009 |   147052 |    20998     13 |      721 |      614
281.75/281.85	c  281s |      16 |   254988 |   147852 |    20998     13 |      721 |      614
283.95/284.01	c  283s |      16 |   256227 |   148752 |    20998     13 |      721 |      614
286.15/286.24	c  285s |      16 |   257347 |   149652 |    20998     13 |      721 |      614
288.45/288.52	c  288s |      16 |   258305 |   150452 |    20998     13 |      721 |      614
290.46/290.54	c  290s |      16 |   259186 |   151152 |    20998     13 |      721 |      614
292.56/292.63	c  292s |      16 |   260064 |   151852 |    20998     13 |      721 |      614
294.76/294.85	c  294s |      16 |   261028 |   152652 |    20998     13 |      721 |      614
296.96/297.09	c  296s |      16 |   261819 |   153352 |    20998     13 |      721 |      614
299.26/299.38	c  299s |      16 |   262496 |   153952 |    20998     13 |      721 |      614
301.46/301.51	c  301s |      16 |   263059 |   154452 |    20998     13 |      721 |      614
303.55/303.70	c  303s |      16 |   263634 |   154952 |    20998     14 |      721 |      614
305.85/305.96	c  305s |      16 |   264620 |   155752 |    20998     14 |      721 |      614
308.05/308.17	c  307s |      16 |   265438 |   156452 |    20998     14 |      721 |      614
310.15/310.20	c  309s |      16 |   266246 |   157152 |    20998     14 |      721 |      614
312.45/312.53	c  312s |      16 |   267028 |   157852 |    20998     14 |      721 |      614
314.75/314.88	c  314s |      16 |   267804 |   158552 |    20998     14 |      721 |      614
317.25/317.31	c  317s |      16 |   268461 |   159152 |    20998     14 |      721 |      614
319.45/319.56	c  319s |      16 |   269101 |   159752 |    20998     14 |      721 |      614
321.55/321.69	c  321s |      16 |   269806 |   160352 |    20998     14 |      721 |      614
323.74/323.81	c  323s |      16 |   270542 |   160952 |    20998     14 |      721 |      614
326.04/326.14	c  325s |      16 |   271194 |   161552 |    20998     14 |      721 |      614
328.44/328.55	c  328s |      16 |   271855 |   162152 |    20998     14 |      721 |      614
330.54/330.69	c  330s |      16 |   272513 |   162752 |    20998     14 |      721 |      614
332.94/333.00	c  332s |      16 |   273213 |   163352 |    20998     14 |      721 |      614
335.14/335.20	c  334s |      16 |   273742 |   163852 |    20998     14 |      721 |      614
337.34/337.40	c  337s |      16 |   274279 |   164352 |    20998     14 |      721 |      614
339.34/339.47	c  339s |      16 |   274822 |   164852 |    20998     14 |      721 |      614
341.44/341.55	c  341s |      16 |   275417 |   165352 |    20998     14 |      721 |      614
344.04/344.13	c  343s |      16 |   275959 |   165852 |    20998     14 |      721 |      614
346.45/346.54	c  346s |      16 |   276509 |   166352 |    20998     14 |      721 |      614
348.44/348.57	c  348s |      16 |   276945 |   166752 |    20998     14 |      721 |      614
350.54/350.63	c  350s |      16 |   277263 |   167052 |    20998     15 |      721 |      614
352.74/352.83	c  352s |      16 |   277926 |   167652 |    20998     15 |      721 |      614
354.84/354.90	c  354s |      16 |   278770 |   168352 |    20998     15 |      721 |      614
356.94/357.07	c  356s |      16 |   279678 |   169152 |    20998     15 |      721 |      614
358.94/359.07	c  358s |      16 |   280456 |   169852 |    20998     15 |      721 |      614
361.24/361.35	c  361s |      16 |   281534 |   170752 |    20998     15 |      721 |      614
363.24/363.38	c  363s |      16 |   282327 |   171452 |    20998     15 |      721 |      614
365.44/365.56	c  365s |      16 |   282966 |   172052 |    20998     15 |      721 |      614
367.74/367.80	c  367s |      16 |   283746 |   172752 |    20998     15 |      721 |      614
369.83/369.95	c  369s |      16 |   284528 |   173452 |    20998     15 |      721 |      614
372.03/372.17	c  371s |      16 |   285180 |   174052 |    20998     15 |      721 |      614
374.33/374.49	c  374s |      16 |   285839 |   174652 |    20998     15 |      721 |      614
376.53/376.64	c  376s |      16 |   286523 |   175252 |    20998     15 |      721 |      614
378.83/378.95	c  378s |      16 |   287173 |   175852 |    20998     15 |      721 |      614
381.03/381.15	c  380s |      16 |   287826 |   176452 |    20998     15 |      721 |      614
383.03/383.16	c  382s |      16 |   288357 |   176952 |    20998     15 |      721 |      614
385.33/385.43	c  385s |      16 |   289038 |   177552 |    20998     15 |      721 |      614
387.53/387.68	c  387s |      16 |   289714 |   178152 |    20998     15 |      721 |      614
389.93/390.00	c  389s |      16 |   290393 |   178752 |    20998     15 |      721 |      614
392.33/392.40	c  392s |      16 |   290957 |   179252 |    20998     16 |      721 |      614
394.53/394.67	c  394s |      16 |   291863 |   180052 |    20998     16 |      721 |      614
396.63/396.70	c  396s |      16 |   292667 |   180752 |    20998     16 |      721 |      614
398.73/398.82	c  398s |      16 |   293430 |   181452 |    20998     16 |      721 |      614
400.93/401.03	c  400s |      16 |   294198 |   182152 |    20998     16 |      721 |      614
403.03/403.11	c  402s |      16 |   295002 |   182852 |    20998     16 |      721 |      614
405.13/405.22	c  404s |      16 |   295664 |   183452 |    20998     16 |      721 |      614
407.13/407.27	c  406s |      16 |   296344 |   184052 |    20998     16 |      721 |      614
409.43/409.53	c  409s |      16 |   297009 |   184652 |    20998     16 |      721 |      614
411.73/411.80	c  411s |      16 |   297664 |   185252 |    20998     16 |      721 |      614
414.03/414.11	c  413s |      16 |   298334 |   185852 |    20998     16 |      721 |      614
416.03/416.15	c  415s |      16 |   298899 |   186352 |    20998     16 |      721 |      614
418.23/418.32	c  418s |      16 |   299599 |   186952 |    20998     16 |      721 |      614
420.53/420.62	c  420s |      16 |   300292 |   187552 |    20998     16 |      721 |      614
422.72/422.86	c  422s |      16 |   300851 |   188052 |    20998     16 |      721 |      614
425.12/425.28	c  425s |      16 |   301496 |   188652 |    20998     16 |      721 |      614
427.32/427.43	c  427s |      16 |   302035 |   189152 |    20998     16 |      721 |      614
429.62/429.74	c  429s |      16 |   302835 |   189852 |    20998     16 |      721 |      614
431.92/432.04	c  431s |      16 |   303478 |   190452 |    20998     16 |      721 |      614
434.02/434.13	c  433s |      16 |   304174 |   191052 |    20998     16 |      721 |      614
436.12/436.28	c  436s |      16 |   304596 |   191452 |    20998     17 |      721 |      614
438.22/438.37	c  438s |      16 |   305355 |   192152 |    20998     17 |      721 |      614
440.32/440.44	c  440s |      16 |   306131 |   192852 |    20998     17 |      721 |      614
442.62/442.72	c  442s |      16 |   307038 |   193652 |    20998     17 |      721 |      614
444.72/444.82	c  444s |      16 |   307856 |   194352 |    20998     17 |      721 |      614
446.72/446.82	c  446s |      16 |   308505 |   194952 |    20998     17 |      721 |      614
448.73/448.84	c  448s |      16 |   309315 |   195652 |    20998     17 |      721 |      614
450.72/450.86	c  450s |      16 |   310140 |   196352 |    23098     17 |      721 |      614
452.82/452.95	c  452s |      16 |   310796 |   196952 |    23098     17 |      721 |      614
454.62/454.76	c  454s |      17 |   311352 |   197432 |    23098     17 |      721 |      614
456.72/456.80	c  456s |      17 |   317558 |   199132 |    23098     17 |      721 |      614
458.83/458.97	c  458s |      17 |   318671 |   199732 |    23098     17 |      721 |      614
461.33/461.40	c  461s |      17 |   319179 |   200132 |    23098     17 |      721 |      614
463.72/463.88	c  463s |      17 |   319679 |   200532 |    23098     17 |      721 |      614
465.82/465.93	c  465s |      17 |   322817 |   201832 |    23098     17 |      721 |      614
467.82/467.94	c  467s |      17 |   333446 |   203732 |    23098     18 |      721 |      614
469.92/470.03	c  469s |      17 |   337441 |   205732 |    23098     18 |      721 |      614
471.93/472.07	c  471s |      17 |   342688 |   207832 |    23098     18 |      721 |      614
473.92/474.08	c  473s |      17 |   345874 |   209432 |    23098     18 |      721 |      614
476.02/476.11	c  475s |      17 |   347877 |   210732 |    23098     18 |      721 |      614
478.12/478.20	c  477s |      17 |   351299 |   212432 |    23098     18 |      721 |      614
480.12/480.26	c  479s |      17 |   354823 |   213832 |    23098     18 |      721 |      614
482.32/482.40	c  482s |      17 |   356863 |   215032 |    23098     18 |      721 |      614
484.42/484.55	c  484s |      17 |   358710 |   216232 |    23098     18 |      721 |      614
486.42/486.57	c  486s |      17 |   360308 |   217332 |    23098     18 |      721 |      614
488.52/488.61	c  488s |      17 |   361175 |   218032 |    23098     19 |      721 |      614
490.72/490.87	c  490s |      17 |   362138 |   218832 |    23098     19 |      721 |      614
492.83/492.91	c  492s |      17 |   363511 |   219732 |    23098     19 |      721 |      614
494.92/495.09	c  494s |      17 |   364476 |   220532 |    23098     19 |      721 |      614
497.02/497.10	c  496s |      17 |   365699 |   221432 |    23098     19 |      721 |      614
499.12/499.21	c  498s |      17 |   367056 |   222432 |    23098     19 |      721 |      614
501.22/501.30	c  501s |      17 |   368027 |   223232 |    23098     19 |      721 |      614
503.52/503.60	c  503s |      17 |   369019 |   224032 |    23098     19 |      721 |      614
505.52/505.61	c  505s |      17 |   370096 |   224832 |    23098     19 |      721 |      614
507.51/507.67	c  507s |      17 |   371167 |   225632 |    23098     19 |      721 |      614
509.81/509.93	c  509s |      17 |   372197 |   226432 |    23098     19 |      721 |      614
512.01/512.19	c  511s |      17 |   372904 |   227032 |    23098     19 |      721 |      614
514.11/514.28	c  514s |      17 |   373589 |   227632 |    23098     19 |      721 |      614
516.41/516.52	c  516s |      17 |   374446 |   228332 |    23098     19 |      721 |      614
518.61/518.77	c  518s |      17 |   375143 |   228932 |    23098     19 |      721 |      614
520.81/520.96	c  520s |      17 |   376089 |   229632 |    23098     19 |      721 |      614
523.11/523.22	c  522s |      17 |   376801 |   230232 |    23098     19 |      721 |      614
525.11/525.28	c  525s |      17 |   377362 |   230732 |    23098     19 |      721 |      614
527.41/527.59	c  527s |      17 |   377938 |   231232 |    23098     20 |      721 |      614
529.71/529.80	c  529s |      17 |   378623 |   231832 |    23098     20 |      721 |      614
531.91/532.04	c  531s |      17 |   379453 |   232532 |    23098     20 |      721 |      614
534.31/534.40	c  534s |      17 |   380257 |   233232 |    23098     20 |      721 |      614
536.31/536.44	c  536s |      17 |   380957 |   233832 |    23098     20 |      721 |      614
538.41/538.53	c  538s |      17 |   381633 |   234432 |    23098     20 |      721 |      614
540.61/540.76	c  540s |      17 |   382446 |   235132 |    23098     20 |      721 |      614
542.81/542.94	c  542s |      17 |   383145 |   235732 |    23098     20 |      721 |      614
545.01/545.12	c  544s |      17 |   383848 |   236332 |    23098     20 |      721 |      614
547.30/547.41	c  547s |      17 |   384563 |   236932 |    23098     20 |      721 |      614
549.50/549.68	c  549s |      17 |   385264 |   237532 |    23098     20 |      721 |      614
551.80/551.96	c  551s |      17 |   385989 |   238132 |    23098     20 |      721 |      614
554.20/554.32	c  554s |      17 |   386693 |   238732 |    23098     20 |      721 |      614
556.61/556.78	c  556s |      17 |   387238 |   239232 |    23098     20 |      721 |      614
559.00/559.12	c  558s |      17 |   387803 |   239732 |    23098     20 |      721 |      614
561.31/561.48	c  561s |      17 |   388355 |   240232 |    23098     20 |      721 |      614
563.71/563.88	c  563s |      17 |   388911 |   240732 |    23098     20 |      721 |      614
566.11/566.29	c  566s |      17 |   389469 |   241232 |    23098     20 |      721 |      614
568.31/568.41	c  568s |      17 |   389913 |   241632 |    23098     20 |      721 |      614
570.51/570.69	c  570s |      17 |   390337 |   242032 |    23098     20 |      721 |      614
572.81/572.96	c  572s |      17 |   390903 |   242532 |    23098     20 |      721 |      614
575.11/575.25	c  574s |      17 |   391453 |   243032 |    23098     20 |      721 |      614
577.31/577.44	c  577s |      17 |   391892 |   243432 |    23098     20 |      721 |      614
579.71/579.83	c  579s |      17 |   392451 |   243932 |    23098     20 |      721 |      614
581.81/581.96	c  581s |      17 |   392898 |   244332 |    23098     21 |      721 |      614
583.81/583.97	c  583s |      17 |   393461 |   244832 |    23098     21 |      721 |      614
586.10/586.27	c  585s |      17 |   394188 |   245432 |    23098     21 |      721 |      614
588.30/588.40	c  588s |      17 |   394896 |   246032 |    23098     21 |      721 |      614
590.40/590.51	c  590s |      17 |   395569 |   246632 |    23098     21 |      721 |      614
592.50/592.65	c  592s |      17 |   396270 |   247232 |    23098     21 |      721 |      614
594.80/594.91	c  594s |      17 |   396974 |   247832 |    23098     21 |      721 |      614
597.10/597.20	c  596s |      17 |   397651 |   248432 |    23098     21 |      721 |      614
599.41/599.58	c  599s |      17 |   398352 |   249032 |    23098     21 |      721 |      614
601.40/601.58	c  601s |      17 |   398929 |   249532 |    23098     21 |      721 |      614
603.50/603.64	c  603s |      17 |   399496 |   250032 |    23098     21 |      721 |      614
605.60/605.75	c  605s |      17 |   400267 |   250632 |    23098     21 |      721 |      614
607.70/607.88	c  607s |      17 |   400991 |   251232 |    23098     21 |      721 |      614
609.80/609.91	c  609s |      17 |   401774 |   251832 |    23098     21 |      721 |      614
612.20/612.31	c  612s |      17 |   402581 |   252532 |    23098     21 |      721 |      614
614.50/614.62	c  614s |      17 |   403317 |   253132 |    23098     21 |      721 |      614
616.80/616.95	c  616s |      17 |   403896 |   253632 |    23098     21 |      721 |      614
618.90/619.05	c  618s |      17 |   404332 |   254032 |    23098     21 |      721 |      614
621.00/621.19	c  620s |      17 |   404921 |   254532 |    23098     21 |      721 |      614
623.10/623.29	c  623s |      17 |   405525 |   255032 |    23098     21 |      721 |      614
625.49/625.64	c  625s |      17 |   406077 |   255532 |    23098     21 |      721 |      614
628.00/628.13	c  627s |      17 |   406615 |   256032 |    23098     21 |      721 |      614
630.30/630.43	c  630s |      17 |   407174 |   256532 |    23098     21 |      721 |      614
632.40/632.53	c  632s |      17 |   407607 |   256932 |    23098     21 |      721 |      614
634.60/634.79	c  634s |      17 |   408045 |   257332 |    23098     22 |      721 |      614
636.69/636.81	c  636s |      17 |   408730 |   257932 |    23098     22 |      721 |      614
638.89/639.06	c  638s |      17 |   409399 |   258532 |    23098     22 |      721 |      614
641.30/641.42	c  641s |      17 |   410093 |   259132 |    23098     22 |      721 |      614
643.40/643.51	c  643s |      17 |   410631 |   259632 |    23098     22 |      721 |      614
645.39/645.57	c  645s |      17 |   411182 |   260132 |    23098     22 |      721 |      614
647.39/647.58	c  647s |      17 |   411753 |   260632 |    23098     22 |      721 |      614
649.59/649.74	c  649s |      17 |   412314 |   261132 |    23098     22 |      721 |      614
651.79/651.96	c  651s |      17 |   412878 |   261632 |    23098     22 |      721 |      614
653.89/654.09	c  653s |      17 |   413436 |   262132 |    23098     22 |      721 |      614
656.09/656.28	c  656s |      17 |   413984 |   262632 |    23098     22 |      721 |      614
658.39/658.59	c  658s |      17 |   414541 |   263132 |    23098     22 |      721 |      614
660.79/660.99	c  660s |      17 |   415238 |   263732 |    23098     22 |      721 |      614
663.20/663.40	c  663s |      17 |   415933 |   264332 |    23098     22 |      721 |      614
665.29/665.46	c  665s |      17 |   416518 |   264832 |    23098     22 |      721 |      614
667.70/667.83	c  667s |      17 |   417060 |   265332 |    23098     22 |      721 |      614
670.09/670.28	c  670s |      17 |   417615 |   265832 |    23098     22 |      721 |      614
672.19/672.38	c  672s |      17 |   418040 |   266232 |    23098     22 |      721 |      614
674.68/674.83	c  674s |      17 |   418594 |   266732 |    23098     22 |      721 |      614
676.88/677.02	c  676s |      17 |   419014 |   267132 |    23098     22 |      721 |      614
678.88/679.09	c  678s |      17 |   419484 |   267532 |    23098     22 |      721 |      614
680.98/681.17	c  680s |      17 |   420071 |   268032 |    23098     22 |      721 |      614
683.28/683.45	c  683s |      17 |   420636 |   268532 |    23098     22 |      721 |      614
685.48/685.69	c  685s |      17 |   421088 |   268932 |    23098     22 |      721 |      614
687.78/687.91	c  687s |      17 |   421511 |   269332 |    23098     22 |      721 |      614
690.18/690.32	c  690s |      17 |   422085 |   269832 |    23098     22 |      721 |      614
692.88/693.03	c  692s |      17 |   422514 |   270232 |    23098     23 |      721 |      614
695.08/695.24	c  694s |      17 |   423071 |   270732 |    23098     23 |      721 |      614
697.18/697.39	c  697s |      17 |   423637 |   271232 |    23098     23 |      721 |      614
699.17/699.39	c  699s |      17 |   424218 |   271732 |    23098     23 |      721 |      614
701.37/701.52	c  701s |      17 |   424764 |   272232 |    23098     23 |      721 |      614
703.47/703.67	c  703s |      17 |   425310 |   272732 |    23098     23 |      721 |      614
705.67/705.88	c  705s |      17 |   426042 |   273332 |    23098     23 |      721 |      614
707.97/708.14	c  707s |      17 |   426850 |   274032 |    23098     23 |      721 |      614
709.97/710.18	c  709s |      17 |   427580 |   274632 |    23098     23 |      721 |      614
712.07/712.23	c  711s |      17 |   428280 |   275232 |    23098     23 |      721 |      614
714.37/714.59	c  714s |      17 |   428959 |   275832 |    23098     23 |      721 |      614
716.77/716.92	c  716s |      17 |   429627 |   276432 |    23098     23 |      721 |      614
718.97/719.14	c  718s |      17 |   430168 |   276932 |    23098     23 |      721 |      614
721.07/721.21	c  720s |      17 |   430753 |   277432 |    23098     23 |      721 |      614
723.27/723.43	c  723s |      17 |   431368 |   277932 |    23098     23 |      721 |      614
725.56/725.71	c  725s |      17 |   431961 |   278432 |    23098     23 |      721 |      614
727.86/728.02	c  727s |      17 |   432511 |   278932 |    23098     23 |      721 |      614
730.37/730.52	c  730s |      17 |   433073 |   279432 |    23098     23 |      721 |      614
732.36/732.54	c  732s |      17 |   433527 |   279832 |    23098     23 |      721 |      614
734.76/734.92	c  734s |      17 |   434091 |   280332 |    23098     23 |      721 |      614
737.06/737.24	c  736s |      17 |   434518 |   280732 |    23098     23 |      721 |      614
739.06/739.28	c  738s |      17 |   434972 |   281132 |    23098     23 |      721 |      614
741.16/741.32	c  741s |      17 |   435407 |   281532 |    23098     23 |      721 |      614
743.66/743.83	c  743s |      17 |   435982 |   282032 |    23098     23 |      721 |      614
745.66/745.86	c  745s |      17 |   436421 |   282432 |    23098     23 |      721 |      614
747.96/748.16	c  747s |      17 |   436845 |   282832 |    23098     23 |      721 |      614
751.26/751.45	c  751s |      17 |   437282 |   283232 |    23098     24 |      721 |      614
753.75/753.90	c  753s |      17 |   437812 |   283732 |    23098     24 |      721 |      614
756.25/756.44	c  756s |      17 |   438357 |   284232 |    23098     24 |      721 |      614
758.24/758.49	c  758s |      17 |   438793 |   284632 |    23098     24 |      721 |      614
760.54/760.78	c  760s |      17 |   439432 |   285232 |    23098     24 |      721 |      614
762.74/762.94	c  762s |      17 |   439969 |   285732 |    23098     24 |      721 |      614
764.94/765.15	c  764s |      17 |   440511 |   286232 |    23098     24 |      721 |      614
767.24/767.47	c  767s |      17 |   441048 |   286732 |    23098     24 |      721 |      614
769.54/769.78	c  769s |      17 |   441707 |   287332 |    23098     24 |      721 |      614
771.84/772.02	c  771s |      17 |   442370 |   287932 |    23098     24 |      721 |      614
774.14/774.38	c  774s |      17 |   443049 |   288532 |    23098     24 |      721 |      614
776.24/776.42	c  776s |      17 |   443570 |   289032 |    23098     24 |      721 |      614
778.65/778.81	c  778s |      17 |   444114 |   289532 |    23098     24 |      721 |      614
780.65/780.87	c  780s |      17 |   444581 |   289932 |    23098     24 |      721 |      614
782.75/782.96	c  782s |      17 |   445033 |   290332 |    23098     24 |      721 |      614
785.05/785.28	c  785s |      17 |   445593 |   290832 |    23098     24 |      721 |      614
787.25/787.47	c  787s |      17 |   446147 |   291332 |    23098     24 |      721 |      614
789.45/789.64	c  789s |      17 |   446839 |   291932 |    23098     24 |      721 |      614
791.75/791.99	c  791s |      17 |   447501 |   292532 |    23098     24 |      721 |      614
793.85/794.05	c  793s |      17 |   448078 |   293032 |    23098     24 |      721 |      614
796.05/796.21	c  795s |      17 |   448645 |   293532 |    23098     24 |      721 |      614
798.14/798.38	c  798s |      17 |   449205 |   294032 |    23098     24 |      721 |      614
800.54/800.79	c  800s |      17 |   449756 |   294532 |    25408     24 |      721 |      614
802.95/803.16	c  802s |      17 |   450336 |   295032 |    25408     24 |      721 |      614
805.05/805.25	c  804s |      17 |   450786 |   295432 |    25408     24 |      721 |      614
807.14/807.31	c  807s |      17 |   451224 |   295832 |    25408     24 |      721 |      614
809.14/809.38	c  809s |      18 |   451699 |   296252 |    25408     24 |      721 |      614
811.24/811.45	c  811s |      18 |   455205 |   297052 |    25408     25 |      721 |      614
813.24/813.48	c  813s |      18 |   457699 |   298652 |    25408     25 |      721 |      614
815.34/815.50	c  815s |      18 |   459226 |   300052 |    25408     25 |      721 |      614
817.44/817.63	c  817s |      18 |   460575 |   301252 |    25408     25 |      721 |      614
819.54/819.73	c  819s |      18 |   461940 |   302452 |    25408     25 |      721 |      614
821.64/821.88	c  821s |      18 |   463027 |   303452 |    25408     25 |      721 |      614
823.63/823.89	c  823s |      18 |   463917 |   304252 |    25408     25 |      721 |      614
825.73/825.98	c  825s |      18 |   464909 |   305152 |    25408     25 |      721 |      614
827.83/828.04	c  827s |      18 |   465916 |   306052 |    25408     25 |      721 |      614
830.03/830.24	c  829s |      18 |   466910 |   306952 |    25408     25 |      721 |      614
832.13/832.35	c  832s |      18 |   467911 |   307852 |    25408     25 |      721 |      614
834.43/834.61	c  834s |      18 |   468908 |   308752 |    25408     25 |      721 |      614
836.42/836.62	c  836s |      18 |   470498 |   309752 |    25408     25 |      721 |      614
838.42/838.66	c  838s |      18 |   471843 |   310752 |    25408     25 |      721 |      614
840.62/840.80	c  840s |      18 |   473096 |   311752 |    25408     25 |      721 |      614
842.62/842.89	c  842s |      18 |   473924 |   312452 |    25408     26 |      721 |      614
844.73/844.95	c  844s |      18 |   475163 |   313452 |    25408     26 |      721 |      614
846.93/847.14	c  846s |      18 |   476137 |   314252 |    25408     26 |      721 |      614
849.12/849.31	c  849s |      18 |   478382 |   315452 |    25408     26 |      721 |      614
851.22/851.49	c  851s |      18 |   479837 |   316552 |    25408     26 |      721 |      614
853.42/853.66	c  853s |      18 |   481009 |   317452 |    25408     26 |      721 |      614
855.41/855.69	c  855s |      18 |   482020 |   318252 |    25408     26 |      721 |      614
857.82/858.04	c  857s |      18 |   482834 |   318952 |    25408     26 |      721 |      614
859.91/860.19	c  859s |      18 |   483671 |   319652 |    25408     26 |      721 |      614
862.11/862.40	c  862s |      18 |   485318 |   320652 |    25408     26 |      721 |      614
864.31/864.57	c  864s |      18 |   487043 |   321752 |    25408     26 |      721 |      614
866.41/866.66	c  866s |      18 |   488164 |   322652 |    25408     26 |      721 |      614
868.61/868.84	c  868s |      18 |   489149 |   323452 |    25408     26 |      721 |      614
870.70/870.96	c  870s |      18 |   489981 |   324152 |    25408     26 |      721 |      614
872.90/873.11	c  872s |      18 |   490763 |   324852 |    25408     26 |      721 |      614
875.10/875.36	c  875s |      18 |   491606 |   325552 |    25408     26 |      721 |      614
877.20/877.44	c  877s |      18 |   492258 |   326152 |    25408     26 |      721 |      614
879.40/879.69	c  879s |      18 |   492812 |   326652 |    25408     27 |      721 |      614
881.60/881.83	c  881s |      18 |   493579 |   327352 |    25408     27 |      721 |      614
883.80/884.03	c  883s |      18 |   494498 |   328152 |    25408     27 |      721 |      614
885.80/886.06	c  885s |      18 |   495289 |   328852 |    25408     27 |      721 |      614
887.90/888.13	c  887s |      18 |   496101 |   329552 |    25408     27 |      721 |      614
890.00/890.20	c  889s |      18 |   497000 |   330352 |    25408     27 |      721 |      614
892.20/892.46	c  892s |      18 |   497914 |   331152 |    25408     27 |      721 |      614
894.30/894.55	c  894s |      18 |   498824 |   331952 |    25408     27 |      721 |      614
896.41/896.63	c  896s |      18 |   499753 |   332752 |    25408     27 |      721 |      614
898.51/898.71	c  898s |      18 |   500668 |   333552 |    25408     27 |      721 |      614
900.60/900.90	c  900s |      18 |   501717 |   334452 |    25408     27 |      721 |      614
902.70/902.94	c  902s |      18 |   502623 |   335252 |    25408     27 |      721 |      614
904.80/905.01	c  904s |      18 |   503416 |   335952 |    25408     27 |      721 |      614
907.10/907.32	c  907s |      18 |   504214 |   336652 |    25408     27 |      721 |      614
909.30/909.58	c  909s |      18 |   504865 |   337252 |    25408     27 |      721 |      614
911.60/911.81	c  911s |      18 |   505516 |   337852 |    25408     27 |      721 |      614
913.90/914.16	c  913s |      18 |   506430 |   338652 |    25408     27 |      721 |      614
916.00/916.26	c  915s |      18 |   507083 |   339252 |    25408     27 |      721 |      614
918.20/918.49	c  918s |      18 |   507742 |   339852 |    25408     27 |      721 |      614
920.50/920.75	c  920s |      18 |   508561 |   340552 |    25408     27 |      721 |      614
923.10/923.34	c  923s |      18 |   509227 |   341152 |    25408     28 |      721 |      614
925.09/925.34	c  925s |      18 |   510015 |   341852 |    25408     28 |      721 |      614
927.20/927.49	c  927s |      18 |   510809 |   342552 |    25408     28 |      721 |      614
929.30/929.59	c  929s |      18 |   511608 |   343252 |    25408     28 |      721 |      614
931.50/931.75	c  931s |      18 |   512399 |   343952 |    25408     28 |      721 |      614
933.49/933.77	c  933s |      18 |   513034 |   344552 |    25408     28 |      721 |      614
935.69/935.98	c  935s |      18 |   513830 |   345252 |    25408     28 |      721 |      614
937.79/938.01	c  937s |      18 |   514623 |   345952 |    25408     28 |      721 |      614
939.89/940.13	c  939s |      18 |   515411 |   346652 |    25408     28 |      721 |      614
942.09/942.35	c  942s |      18 |   516203 |   347352 |    25408     28 |      721 |      614
944.29/944.57	c  944s |      18 |   517008 |   348052 |    25408     28 |      721 |      614
946.49/946.77	c  946s |      18 |   517810 |   348752 |    25408     28 |      721 |      614
948.79/949.09	c  948s |      18 |   518607 |   349452 |    25408     28 |      721 |      614
950.99/951.28	c  950s |      18 |   519273 |   350052 |    25408     28 |      721 |      614
953.19/953.49	c  953s |      18 |   519923 |   350652 |    25408     28 |      721 |      614
955.59/955.80	c  955s |      18 |   520590 |   351252 |    25408     28 |      721 |      614
957.59/957.86	c  957s |      18 |   521126 |   351752 |    25408     28 |      721 |      614
959.79/960.07	c  959s |      18 |   521797 |   352352 |    25408     28 |      721 |      614
962.19/962.42	c  962s |      18 |   522445 |   352952 |    25408     28 |      721 |      614
964.59/964.83	c  964s |      18 |   523100 |   353552 |    25408     28 |      721 |      614
966.69/966.94	c  966s |      18 |   523655 |   354052 |    25408     28 |      721 |      614
968.89/969.13	c  968s |      18 |   524213 |   354552 |    25408     28 |      721 |      614
971.09/971.31	c  971s |      18 |   524766 |   355052 |    25408     28 |      721 |      614
973.08/973.36	c  973s |      18 |   525227 |   355452 |    25408     29 |      721 |      614
975.28/975.58	c  975s |      18 |   525874 |   356052 |    25408     29 |      721 |      614
977.38/977.61	c  977s |      18 |   526524 |   356652 |    25408     29 |      721 |      614
979.68/979.98	c  979s |      18 |   527286 |   357352 |    25408     29 |      721 |      614
981.78/982.05	c  981s |      18 |   528091 |   358052 |    25408     29 |      721 |      614
983.78/984.08	c  983s |      18 |   528847 |   358752 |    25408     29 |      721 |      614
986.08/986.36	c  986s |      18 |   529642 |   359452 |    25408     29 |      721 |      614
988.37/988.66	c  988s |      18 |   530431 |   360152 |    25408     29 |      721 |      614
990.57/990.89	c  990s |      18 |   531233 |   360852 |    25408     29 |      721 |      614
992.87/993.11	c  992s |      18 |   531920 |   361452 |    25408     29 |      721 |      614
994.87/995.18	c  994s |      18 |   532471 |   361952 |    25408     29 |      721 |      614
996.97/997.28	c  997s |      18 |   533009 |   362452 |    25408     29 |      721 |      614
999.37/999.64	c  999s |      18 |   533680 |   363052 |    25408     29 |      721 |      614
1001.47/1001.70	c 1001s |      18 |   534238 |   363552 |    25408     29 |      721 |      614
1003.57/1003.83	c 1003s |      18 |   535052 |   364252 |    25408     29 |      721 |      614
1005.77/1006.09	c 1005s |      18 |   535988 |   365052 |    25408     29 |      721 |      614
1007.87/1008.12	c 1007s |      18 |   536682 |   365652 |    25408     29 |      721 |      614
1010.07/1010.38	c 1010s |      18 |   537524 |   366352 |    25408     29 |      721 |      614
1012.27/1012.57	c 1012s |      18 |   538344 |   367052 |    25408     29 |      721 |      614
1014.46/1014.70	c 1014s |      18 |   539018 |   367652 |    25408     29 |      721 |      614
1016.76/1017.08	c 1016s |      18 |   539705 |   368252 |    25408     29 |      721 |      614
1019.16/1019.46	c 1019s |      18 |   540358 |   368852 |    25408     29 |      721 |      614
1021.16/1021.48	c 1021s |      18 |   540901 |   369352 |    25408     29 |      721 |      614
1023.26/1023.54	c 1023s |      18 |   541484 |   369852 |    25408     29 |      721 |      614
1025.36/1025.63	c 1025s |      18 |   542034 |   370352 |    25408     30 |      721 |      614
1027.65/1027.90	c 1027s |      18 |   542808 |   371052 |    25408     30 |      721 |      614
1029.85/1030.10	c 1029s |      18 |   543598 |   371752 |    25408     30 |      721 |      614
1031.95/1032.27	c 1031s |      18 |   544365 |   372452 |    25408     30 |      721 |      614
1034.05/1034.34	c 1034s |      18 |   545285 |   373252 |    25408     30 |      721 |      614
1036.25/1036.55	c 1036s |      18 |   546222 |   374052 |    25408     30 |      721 |      614
1038.35/1038.62	c 1038s |      18 |   546987 |   374752 |    25408     30 |      721 |      614
1040.55/1040.84	c 1040s |      18 |   547792 |   375452 |    25408     30 |      721 |      614
1042.66/1042.96	c 1042s |      18 |   548589 |   376152 |    25408     30 |      721 |      614
1044.85/1045.11	c 1044s |      18 |   549386 |   376852 |    25408     30 |      721 |      614
1046.84/1047.17	c 1046s |      18 |   550078 |   377452 |    25408     30 |      721 |      614
1049.04/1049.37	c 1049s |      18 |   550728 |   378052 |    25408     30 |      721 |      614
1051.35/1051.64	c 1051s |      18 |   551372 |   378652 |    25408     30 |      721 |      614
1053.55/1053.90	c 1053s |      18 |   552047 |   379252 |    25408     30 |      721 |      614
1055.64/1055.96	c 1055s |      18 |   552725 |   379852 |    25408     30 |      721 |      614
1057.84/1058.19	c 1057s |      18 |   553549 |   380552 |    25408     30 |      721 |      614
1059.94/1060.26	c 1059s |      18 |   554223 |   381152 |    25408     30 |      721 |      614
1062.14/1062.47	c 1062s |      18 |   555018 |   381852 |    25408     30 |      721 |      614
1064.34/1064.68	c 1064s |      18 |   555846 |   382552 |    25408     30 |      721 |      614
1066.63/1066.92	c 1066s |      18 |   556547 |   383152 |    25408     30 |      721 |      614
1068.94/1069.22	c 1068s |      18 |   557087 |   383652 |    25408     30 |      721 |      614
1071.33/1071.66	c 1071s |      18 |   557761 |   384252 |    25408     30 |      721 |      614
1073.53/1073.84	c 1073s |      18 |   558305 |   384752 |    25408     31 |      721 |      614
1075.72/1076.03	c 1075s |      18 |   559096 |   385452 |    25408     31 |      721 |      614
1077.83/1078.13	c 1077s |      18 |   560003 |   386252 |    25408     31 |      721 |      614
1079.82/1080.15	c 1079s |      18 |   560823 |   386952 |    25408     31 |      721 |      614
1082.13/1082.42	c 1082s |      18 |   561628 |   387652 |    25408     31 |      721 |      614
1084.33/1084.67	c 1084s |      18 |   562535 |   388452 |    25408     31 |      721 |      614
1086.42/1086.71	c 1086s |      18 |   563239 |   389052 |    25408     31 |      721 |      614
1088.52/1088.84	c 1088s |      18 |   564037 |   389752 |    25408     31 |      721 |      614
1090.72/1091.04	c 1090s |      18 |   564852 |   390452 |    25408     31 |      721 |      614
1092.81/1093.15	c 1092s |      18 |   565668 |   391152 |    25408     31 |      721 |      614
1095.11/1095.41	c 1095s |      18 |   566457 |   391852 |    25408     31 |      721 |      614
1097.11/1097.43	c 1097s |      18 |   567139 |   392452 |    25408     31 |      721 |      614
1099.21/1099.57	c 1099s |      18 |   567820 |   393052 |    25408     31 |      721 |      614
1101.51/1101.84	c 1101s |      18 |   568476 |   393652 |    25408     31 |      721 |      614
1103.61/1103.96	c 1103s |      18 |   569161 |   394252 |    25408     31 |      721 |      614
1105.60/1105.99	c 1105s |      18 |   569958 |   394952 |    25408     31 |      721 |      614
1107.90/1108.24	c 1107s |      18 |   570768 |   395652 |    25408     31 |      721 |      614
1110.20/1110.57	c 1110s |      18 |   571570 |   396352 |    25408     31 |      721 |      614
1112.30/1112.69	c 1112s |      18 |   572264 |   396952 |    25408     31 |      721 |      614
1114.40/1114.70	c 1114s |      18 |   572969 |   397552 |    25408     31 |      721 |      614
1116.39/1116.73	c 1116s |      18 |   573681 |   398152 |    25408     31 |      721 |      614
1118.59/1118.98	c 1118s |      18 |   574346 |   398752 |    25408     31 |      721 |      614
1120.89/1121.24	c 1120s |      18 |   575045 |   399352 |    25408     32 |      721 |      614
1122.90/1123.27	c 1122s |      18 |   575935 |   400152 |    25408     32 |      721 |      614
1125.09/1125.43	c 1125s |      18 |   576838 |   400952 |    25408     32 |      721 |      614
1127.09/1127.46	c 1127s |      18 |   577759 |   401752 |    25408     32 |      721 |      614
1129.09/1129.47	c 1129s |      18 |   578714 |   402552 |    25408     32 |      721 |      614
1131.19/1131.51	c 1131s |      18 |   579520 |   403252 |    25408     32 |      721 |      614
1133.18/1133.59	c 1133s |      18 |   580202 |   403852 |    25408     32 |      721 |      614
1135.58/1135.92	c 1135s |      18 |   581001 |   404552 |    25408     32 |      721 |      614
1137.78/1138.11	c 1137s |      18 |   581677 |   405152 |    25408     32 |      721 |      614
1139.78/1140.15	c 1139s |      18 |   582357 |   405752 |    25408     32 |      721 |      614
1141.98/1142.31	c 1142s |      18 |   583040 |   406352 |    25408     32 |      721 |      614
1143.98/1144.38	c 1144s |      18 |   583727 |   406952 |    25408     32 |      721 |      614
1145.98/1146.40	c 1146s |      18 |   584411 |   407552 |    25408     32 |      721 |      614
1148.27/1148.69	c 1148s |      18 |   585090 |   408152 |    25408     32 |      721 |      614
1150.57/1150.96	c 1150s |      18 |   585773 |   408752 |    25408     32 |      721 |      614
1152.77/1153.15	c 1152s |      18 |   586497 |   409352 |    25408     32 |      721 |      614
1155.07/1155.44	c 1155s |      18 |   587298 |   410052 |    25408     32 |      721 |      614
1157.07/1157.45	c 1157s |      18 |   587986 |   410652 |    25408     32 |      721 |      614
1159.07/1159.45	c 1159s |      18 |   588695 |   411252 |    25408     32 |      721 |      614
1161.37/1161.79	c 1161s |      18 |   589385 |   411852 |    25408     32 |      721 |      614
1163.57/1163.92	c 1163s |      18 |   589982 |   412352 |    25408     32 |      721 |      614
1165.76/1166.15	c 1165s |      18 |   590549 |   412852 |    25408     32 |      721 |      614
1167.76/1168.18	c 1167s |      18 |   591033 |   413252 |    25408     33 |      721 |      614
1169.87/1170.29	c 1170s |      18 |   591985 |   414052 |    25408     33 |      721 |      614
1171.96/1172.32	c 1172s |      18 |   592806 |   414752 |    25408     33 |      721 |      614
1174.16/1174.54	c 1174s |      18 |   593592 |   415452 |    25408     33 |      721 |      614
1176.16/1176.56	c 1176s |      18 |   594412 |   416152 |    25408     33 |      721 |      614
1178.16/1178.59	c 1178s |      18 |   595266 |   416852 |    25408     33 |      721 |      614
1180.36/1180.76	c 1180s |      18 |   596063 |   417552 |    25408     33 |      721 |      614
1182.56/1182.91	c 1182s |      18 |   596847 |   418252 |    25408     33 |      721 |      614
1184.56/1184.98	c 1184s |      18 |   597537 |   418852 |    25408     33 |      721 |      614
1186.66/1187.01	c 1186s |      18 |   598218 |   419452 |    25408     33 |      721 |      614
1188.76/1189.18	c 1188s |      18 |   599006 |   420152 |    25408     33 |      721 |      614
1190.85/1191.29	c 1191s |      18 |   599674 |   420752 |    25408     33 |      721 |      614
1193.05/1193.43	c 1193s |      18 |   600369 |   421352 |    25408     33 |      721 |      614
1195.15/1195.58	c 1195s |      18 |   601054 |   421952 |    25408     33 |      721 |      614
1197.55/1197.93	c 1197s |      18 |   601700 |   422552 |    25408     33 |      721 |      614
1199.65/1200.05	c 1199s |      18 |   602382 |   423152 |    25408     33 |      721 |      614
1201.75/1202.19	c 1201s |      18 |   603087 |   423752 |    25408     33 |      721 |      614
1203.85/1204.26	c 1203s |      18 |   603794 |   424352 |    25408     33 |      721 |      614
1206.14/1206.57	c 1206s |      18 |   604449 |   424952 |    25408     33 |      721 |      614
1208.55/1208.91	c 1208s |      18 |   605095 |   425552 |    25408     33 |      721 |      614
1210.85/1211.25	c 1210s |      18 |   605734 |   426152 |    25408     33 |      721 |      614
1212.95/1213.32	c 1213s |      18 |   606292 |   426652 |    25408     33 |      721 |      614
1215.14/1215.50	c 1215s |      18 |   606831 |   427152 |    25408     33 |      721 |      614
1217.44/1217.81	c 1217s |      18 |   607283 |   427552 |    25408     34 |      721 |      614
1219.54/1219.91	c 1219s |      18 |   607931 |   428152 |    25408     34 |      721 |      614
1221.63/1222.05	c 1221s |      18 |   608708 |   428852 |    25408     34 |      721 |      614
1223.94/1224.32	c 1224s |      18 |   609460 |   429552 |    25408     34 |      721 |      614
1226.03/1226.43	c 1226s |      18 |   610301 |   430252 |    25408     34 |      721 |      614
1228.13/1228.55	c 1228s |      18 |   611804 |   431252 |    25408     34 |      721 |      614
1230.23/1230.66	c 1230s |      18 |   613230 |   432252 |    25408     34 |      721 |      614
1232.33/1232.73	c 1232s |      18 |   614325 |   433152 |    25408     34 |      721 |      614
1234.33/1234.76	c 1234s |      18 |   615128 |   433852 |    25408     34 |      721 |      614
1236.42/1236.86	c 1236s |      18 |   616138 |   434652 |    25408     34 |      721 |      614
1238.52/1238.99	c 1238s |      18 |   617459 |   435552 |    25408     34 |      721 |      614
1240.82/1241.25	c 1240s |      18 |   618425 |   436352 |    25408     34 |      721 |      614
1243.02/1243.49	c 1243s |      18 |   619342 |   437152 |    25408     34 |      721 |      614
1245.31/1245.73	c 1245s |      18 |   620269 |   437952 |    25408     34 |      721 |      614
1247.41/1247.89	c 1247s |      18 |   621098 |   438652 |    25408     34 |      721 |      614
1249.71/1250.18	c 1249s |      18 |   621881 |   439352 |    25408     34 |      721 |      614
1251.81/1252.21	c 1251s |      18 |   622581 |   439952 |    25408     34 |      721 |      614
1254.11/1254.53	c 1254s |      18 |   623240 |   440552 |    25408     34 |      721 |      614
1256.41/1256.81	c 1256s |      18 |   624053 |   441252 |    25408     34 |      721 |      614
1258.61/1259.00	c 1258s |      18 |   624725 |   441852 |    27949     34 |      721 |      614
1260.71/1261.12	c 1260s |      18 |   625424 |   442452 |    27949     34 |      721 |      614
1263.01/1263.48	c 1263s |      18 |   626108 |   443052 |    27949     34 |      721 |      614
1265.30/1265.75	c 1265s |      18 |   626779 |   443652 |    27949     34 |      721 |      614
1267.60/1268.06	c 1267s |      18 |   627463 |   444252 |    27949     34 |      721 |      614
1269.11/1269.57	c 1269s |      19 |   627715 |   444482 |    27949     35 |      721 |      614
1271.21/1271.60	c 1271s |      19 |   637311 |   446382 |    27949     35 |      721 |      614
1273.20/1273.61	c 1273s |      19 |   638948 |   447882 |    27949     35 |      721 |      614
1275.19/1275.61	c 1275s |      19 |   641162 |   449582 |    27949     35 |      721 |      614
1277.29/1277.76	c 1277s |      19 |   643341 |   451282 |    27949     35 |      721 |      614
1279.29/1279.78	c 1279s |      19 |   645356 |   452782 |    27949     35 |      721 |      614
1281.39/1281.88	c 1281s |      19 |   647239 |   454182 |    27949     35 |      721 |      614
1283.49/1283.91	c 1283s |      19 |   649156 |   455682 |    27949     35 |      721 |      614
1285.49/1285.92	c 1285s |      19 |   650638 |   456982 |    27949     35 |      721 |      614
1287.49/1287.97	c 1287s |      19 |   656172 |   458682 |    27949     36 |      721 |      614
1289.49/1289.98	c 1289s |      19 |   661273 |   460782 |    27949     36 |      721 |      614
1291.58/1292.04	c 1291s |      19 |   665644 |   462782 |    27949     36 |      721 |      614
1293.58/1294.05	c 1293s |      19 |   667534 |   464182 |    27949     36 |      721 |      614
1295.68/1296.13	c 1295s |      19 |   669263 |   465482 |    27949     36 |      721 |      614
1297.68/1298.20	c 1297s |      19 |   671787 |   467082 |    27949     36 |      721 |      614
1299.78/1300.27	c 1299s |      19 |   676575 |   469182 |    27949     36 |      721 |      614
1301.88/1302.30	c 1302s |      19 |   680252 |   471182 |    27949     36 |      721 |      614
1303.98/1304.43	c 1304s |      19 |   682869 |   473082 |    27949     36 |      721 |      614
1306.17/1306.64	c 1306s |      19 |   684790 |   474382 |    27949     36 |      721 |      614
1308.37/1308.80	c 1308s |      19 |   685873 |   475282 |    27949     37 |      721 |      614
1310.47/1310.92	c 1310s |      19 |   687165 |   476382 |    27949     37 |      721 |      614
1312.47/1312.92	c 1312s |      19 |   688350 |   477482 |    27949     37 |      721 |      614
1314.47/1314.94	c 1314s |      19 |   689293 |   478382 |    27949     37 |      721 |      614
1316.47/1316.97	c 1316s |      19 |   690307 |   479282 |    27949     37 |      721 |      614
1318.48/1318.98	c 1318s |      19 |   691465 |   480182 |    27949     37 |      721 |      614
1320.78/1321.23	c 1320s |      19 |   693296 |   481382 |    27949     37 |      721 |      614
1322.88/1323.35	c 1323s |      19 |   694757 |   482382 |    27949     37 |      721 |      614
1325.08/1325.53	c 1325s |      19 |   696128 |   483382 |    27949     37 |      721 |      614
1327.28/1327.78	c 1327s |      19 |   697209 |   484282 |    27949     37 |      721 |      614
1329.47/1329.99	c 1329s |      19 |   698405 |   485182 |    27949     37 |      721 |      614
1331.67/1332.12	c 1331s |      19 |   699954 |   486182 |    27949     37 |      721 |      614
1333.87/1334.32	c 1334s |      19 |   701215 |   487082 |    27949     37 |      721 |      614
1335.97/1336.45	c 1336s |      19 |   702864 |   488182 |    27949     37 |      721 |      614
1337.97/1338.45	c 1338s |      19 |   703858 |   488982 |    27949     37 |      721 |      614
1340.27/1340.79	c 1340s |      19 |   704981 |   489782 |    27949     37 |      721 |      614
1342.46/1342.99	c 1342s |      19 |   705918 |   490482 |    27949     38 |      721 |      614
1344.66/1345.15	c 1344s |      19 |   706986 |   491282 |    27949     38 |      721 |      614
1346.66/1347.16	c 1346s |      19 |   707889 |   491982 |    27949     38 |      721 |      614
1348.77/1349.21	c 1348s |      19 |   710733 |   493382 |    27949     38 |      721 |      614
1350.77/1351.27	c 1350s |      19 |   712979 |   494782 |    27949     38 |      721 |      614
1352.87/1353.31	c 1353s |      19 |   714494 |   495782 |    27949     38 |      721 |      614
1354.97/1355.41	c 1355s |      19 |   719937 |   497482 |    27949     38 |      721 |      614
1357.08/1357.54	c 1357s |      19 |   723816 |   499182 |    27949     38 |      721 |      614
1359.18/1359.68	c 1359s |      19 |   725561 |   500382 |    27949     38 |      721 |      614
1361.27/1361.76	c 1361s |      19 |   731393 |   502182 |    27949     38 |      721 |      614
1363.37/1363.88	c 1363s |      19 |   736171 |   504182 |    27949     38 |      721 |      614
1365.47/1365.97	c 1365s |      19 |   737783 |   505382 |    27949     38 |      721 |      614
1367.57/1368.00	c 1367s |      19 |   738918 |   506182 |    27949     39 |      721 |      614
1369.57/1370.03	c 1369s |      19 |   741532 |   507582 |    27949     39 |      721 |      614
1371.67/1372.15	c 1371s |      19 |   743344 |   508782 |    27949     39 |      721 |      614
1373.77/1374.29	c 1374s |      19 |   744606 |   509782 |    27949     39 |      721 |      614
1375.87/1376.38	c 1376s |      19 |   746196 |   510882 |    27949     39 |      721 |      614
1378.07/1378.59	c 1378s |      19 |   747233 |   511682 |    27949     39 |      721 |      614
1380.17/1380.63	c 1380s |      19 |   748100 |   512382 |    27949     39 |      721 |      614
1382.27/1382.74	c 1382s |      19 |   749117 |   513182 |    27949     39 |      721 |      614
1384.27/1384.75	c 1384s |      19 |   750260 |   514082 |    27949     39 |      721 |      614
1386.37/1386.89	c 1386s |      19 |   751430 |   514982 |    27949     39 |      721 |      614
1388.67/1389.16	c 1388s |      19 |   752396 |   515782 |    27949     39 |      721 |      614
1390.77/1391.28	c 1391s |      19 |   753397 |   516582 |    27949     39 |      721 |      614
1392.77/1393.29	c 1393s |      19 |   754248 |   517282 |    27949     39 |      721 |      614
1394.86/1395.35	c 1395s |      19 |   755259 |   518082 |    27949     39 |      721 |      614
1396.96/1397.40	c 1397s |      19 |   756136 |   518782 |    27949     39 |      721 |      614
1399.16/1399.69	c 1399s |      19 |   757170 |   519582 |    27949     39 |      721 |      614
1401.36/1401.82	c 1401s |      19 |   758016 |   520282 |    27949     39 |      721 |      614
1403.46/1403.94	c 1403s |      19 |   758725 |   520882 |    27949     39 |      721 |      614
1405.56/1406.04	c 1405s |      19 |   759464 |   521482 |    27949     39 |      721 |      614
1407.57/1408.07	c 1407s |      19 |   760263 |   522082 |    27949     40 |      721 |      614
1409.66/1410.16	c 1409s |      19 |   761027 |   522682 |    27949     40 |      721 |      614
1411.76/1412.21	c 1411s |      19 |   761606 |   523182 |    27949     40 |      721 |      614
1413.86/1414.33	c 1414s |      19 |   762442 |   523882 |    27949     40 |      721 |      614
1415.96/1416.47	c 1416s |      19 |   763296 |   524582 |    27949     40 |      721 |      614
1418.26/1418.73	c 1418s |      19 |   764301 |   525382 |    27949     40 |      721 |      614
1420.56/1421.02	c 1420s |      19 |   765276 |   526182 |    27949     40 |      721 |      614
1422.76/1423.25	c 1422s |      19 |   766093 |   526882 |    27949     40 |      721 |      614
1424.86/1425.36	c 1425s |      19 |   767793 |   527882 |    27949     40 |      721 |      614
1426.96/1427.49	c 1427s |      19 |   769260 |   528882 |    27949     40 |      721 |      614
1429.16/1429.68	c 1429s |      19 |   770371 |   529782 |    27949     40 |      721 |      614
1431.26/1431.76	c 1431s |      19 |   771321 |   530582 |    27949     40 |      721 |      614
1433.56/1434.00	c 1433s |      19 |   772239 |   531382 |    27949     40 |      721 |      614
1435.76/1436.29	c 1436s |      19 |   773185 |   532182 |    27949     40 |      721 |      614
1437.96/1438.49	c 1438s |      19 |   774472 |   533082 |    27949     40 |      721 |      614
1440.16/1440.67	c 1440s |      19 |   775863 |   534082 |    27949     40 |      721 |      614
1442.45/1442.93	c 1442s |      19 |   777014 |   534982 |    27949     40 |      721 |      614
1444.65/1445.13	c 1444s |      19 |   778162 |   535882 |    27949     40 |      721 |      614
1446.65/1447.14	c 1446s |      19 |   779209 |   536682 |    27949     40 |      721 |      614
1448.95/1449.46	c 1449s |      19 |   780144 |   537382 |    27949     41 |      721 |      614
1451.05/1451.51	c 1451s |      19 |   781348 |   538382 |    27949     41 |      721 |      614
1453.15/1453.60	c 1453s |      19 |   782478 |   539282 |    27949     41 |      721 |      614
1455.35/1455.86	c 1455s |      19 |   783536 |   540182 |    27949     41 |      721 |      614
1457.45/1457.97	c 1457s |      19 |   784483 |   540982 |    27949     41 |      721 |      614
1459.55/1460.02	c 1459s |      19 |   785428 |   541782 |    27949     41 |      721 |      614
1461.65/1462.13	c 1461s |      19 |   786382 |   542582 |    27949     41 |      721 |      614
1463.76/1464.21	c 1463s |      19 |   787070 |   543182 |    27949     41 |      721 |      614
1465.96/1466.42	c 1466s |      19 |   787737 |   543782 |    27949     41 |      721 |      614
1467.95/1468.44	c 1468s |      19 |   788412 |   544382 |    27949     41 |      721 |      614
1470.26/1470.76	c 1470s |      19 |   789251 |   545082 |    27949     41 |      721 |      614
1472.46/1472.92	c 1472s |      19 |   789911 |   545682 |    27949     41 |      721 |      614
1474.55/1475.04	c 1474s |      19 |   790601 |   546282 |    27949     41 |      721 |      614
1476.65/1477.18	c 1476s |      19 |   791285 |   546882 |    27949     41 |      721 |      614
1479.06/1479.51	c 1479s |      19 |   792092 |   547582 |    27949     41 |      721 |      614
1481.15/1481.65	c 1481s |      19 |   792784 |   548182 |    27949     41 |      721 |      614
1483.35/1483.88	c 1483s |      19 |   793462 |   548782 |    27949     41 |      721 |      614
1485.45/1485.90	c 1485s |      19 |   794033 |   549282 |    27949     41 |      721 |      614
1487.65/1488.18	c 1487s |      19 |   794717 |   549882 |    27949     41 |      721 |      614
1489.95/1490.46	c 1490s |      19 |   795396 |   550482 |    27949     41 |      721 |      614
1492.35/1492.81	c 1492s |      19 |   796077 |   551082 |    27949     41 |      721 |      614
1494.35/1494.90	c 1494s |      19 |   796644 |   551582 |    27949     41 |      721 |      614
1496.45/1496.95	c 1496s |      19 |   797359 |   552182 |    27949     41 |      721 |      614
1498.55/1499.01	c 1498s |      19 |   798094 |   552782 |    27949     41 |      721 |      614
1500.64/1501.18	c 1500s |      19 |   798834 |   553382 |    27949     42 |      721 |      614
1502.74/1503.20	c 1502s |      19 |   799647 |   554082 |    27949     42 |      721 |      614
1504.84/1505.37	c 1505s |      19 |   800429 |   554782 |    27949     42 |      721 |      614
1506.94/1507.43	c 1507s |      19 |   801248 |   555482 |    27949     42 |      721 |      614
1509.14/1509.66	c 1509s |      19 |   802191 |   556282 |    27949     42 |      721 |      614
1511.24/1511.72	c 1511s |      19 |   803010 |   556982 |    27949     42 |      721 |      614
1513.25/1513.74	c 1513s |      19 |   803829 |   557682 |    27949     42 |      721 |      614
1515.45/1515.92	c 1515s |      19 |   804637 |   558382 |    27949     42 |      721 |      614
1517.65/1518.17	c 1517s |      19 |   805482 |   559082 |    27949     42 |      721 |      614
1520.04/1520.51	c 1520s |      19 |   806308 |   559782 |    27949     42 |      721 |      614
1522.14/1522.62	c 1522s |      19 |   807197 |   560482 |    27949     42 |      721 |      614
1524.25/1524.75	c 1524s |      19 |   807878 |   561082 |    27949     42 |      721 |      614
1526.45/1526.92	c 1526s |      19 |   808572 |   561682 |    27949     42 |      721 |      614
1528.54/1529.04	c 1528s |      19 |   809132 |   562182 |    27949     42 |      721 |      614
1530.54/1531.04	c 1530s |      19 |   809697 |   562682 |    27949     42 |      721 |      614
1532.74/1533.30	c 1533s |      19 |   810402 |   563282 |    27949     42 |      721 |      614
1534.94/1535.48	c 1535s |      19 |   811076 |   563882 |    27949     42 |      721 |      614
1537.04/1537.57	c 1537s |      19 |   811676 |   564382 |    27949     42 |      721 |      614
1539.04/1539.59	c 1539s |      19 |   812245 |   564882 |    27949     42 |      721 |      614
1541.34/1541.83	c 1541s |      19 |   812972 |   565482 |    27949     42 |      721 |      614
1543.64/1544.11	c 1543s |      19 |   813669 |   566082 |    27949     42 |      721 |      614
1545.64/1546.19	c 1545s |      19 |   814255 |   566582 |    27949     42 |      721 |      614
1547.84/1548.32	c 1548s |      19 |   814828 |   567082 |    27949     42 |      721 |      614
1549.94/1550.45	c 1550s |      19 |   815395 |   567582 |    27949     42 |      721 |      614
1552.04/1552.55	c 1552s |      19 |   815979 |   568082 |    27949     42 |      721 |      614
1554.34/1554.89	c 1554s |      19 |   816525 |   568582 |    27949     42 |      721 |      614
1556.64/1557.19	c 1556s |      19 |   816972 |   568982 |    27949     43 |      721 |      614
1559.04/1559.52	c 1559s |      19 |   817650 |   569582 |    27949     43 |      721 |      614
1561.14/1561.62	c 1561s |      19 |   818214 |   570082 |    27949     43 |      721 |      614
1563.54/1564.07	c 1563s |      19 |   818750 |   570582 |    27949     43 |      721 |      614
1565.84/1566.39	c 1566s |      19 |   819303 |   571082 |    27949     43 |      721 |      614
1568.34/1568.89	c 1568s |      19 |   819832 |   571582 |    27949     43 |      721 |      614
1570.64/1571.18	c 1570s |      19 |   820529 |   572182 |    27949     43 |      721 |      614
1572.93/1573.42	c 1573s |      19 |   821210 |   572782 |    27949     43 |      721 |      614
1575.13/1575.62	c 1575s |      19 |   821858 |   573382 |    27949     43 |      721 |      614
1577.33/1577.80	c 1577s |      19 |   822428 |   573882 |    27949     43 |      721 |      614
1579.33/1579.88	c 1579s |      19 |   822997 |   574382 |    27949     43 |      721 |      614
1581.73/1582.24	c 1581s |      19 |   823645 |   574982 |    27949     43 |      721 |      614
1583.93/1584.41	c 1584s |      19 |   824189 |   575482 |    27949     43 |      721 |      614
1586.23/1586.76	c 1586s |      19 |   824737 |   575982 |    27949     43 |      721 |      614
1588.73/1589.24	c 1588s |      19 |   825276 |   576482 |    27949     43 |      721 |      614
1590.73/1591.26	c 1590s |      19 |   825832 |   576982 |    27949     43 |      721 |      614
1592.93/1593.40	c 1593s |      19 |   826373 |   577482 |    27949     43 |      721 |      614
1595.13/1595.66	c 1595s |      19 |   826926 |   577982 |    27949     43 |      721 |      614
1597.43/1597.93	c 1597s |      19 |   827499 |   578482 |    27949     43 |      721 |      614
1599.53/1600.01	c 1599s |      19 |   827939 |   578882 |    27949     43 |      721 |      614
1601.93/1602.43	c 1602s |      19 |   828493 |   579382 |    27949     43 |      721 |      614
1603.93/1604.49	c 1604s |      19 |   828931 |   579782 |    27949     43 |      721 |      614
1606.02/1606.50	c 1606s |      19 |   829376 |   580182 |    27949     43 |      721 |      614
1608.02/1608.50	c 1608s |      19 |   829811 |   580582 |    27949     43 |      721 |      614
1610.12/1610.67	c 1610s |      19 |   830363 |   581082 |    27949     43 |      721 |      614
1612.32/1612.81	c 1612s |      19 |   830922 |   581582 |    27949     43 |      721 |      614
1614.62/1615.10	c 1614s |      19 |   831510 |   582082 |    27949     43 |      721 |      614
1616.92/1617.49	c 1617s |      19 |   832049 |   582582 |    27949     43 |      721 |      614
1619.42/1619.91	c 1619s |      19 |   832583 |   583082 |    27949     43 |      721 |      614
1621.82/1622.33	c 1622s |      19 |   833147 |   583582 |    27949     43 |      721 |      614
1623.82/1624.37	c 1624s |      19 |   833575 |   583982 |    27949     43 |      721 |      614
1626.53/1627.03	c 1626s |      19 |   834010 |   584382 |    27949     44 |      721 |      614
1628.63/1629.15	c 1628s |      19 |   834666 |   584982 |    27949     44 |      721 |      614
1630.72/1631.29	c 1631s |      19 |   835320 |   585582 |    27949     44 |      721 |      614
1632.82/1633.34	c 1633s |      19 |   835977 |   586182 |    27949     44 |      721 |      614
1635.02/1635.55	c 1635s |      19 |   836630 |   586782 |    27949     44 |      721 |      614
1637.22/1637.76	c 1637s |      19 |   837316 |   587382 |    27949     44 |      721 |      614
1639.43/1639.92	c 1639s |      19 |   837980 |   587982 |    27949     44 |      721 |      614
1641.43/1641.99	c 1641s |      19 |   838514 |   588482 |    27949     44 |      721 |      614
1643.53/1644.03	c 1643s |      19 |   839063 |   588982 |    27949     44 |      721 |      614
1645.63/1646.11	c 1645s |      19 |   839624 |   589482 |    27949     44 |      721 |      614
1647.72/1648.21	c 1647s |      19 |   840163 |   589982 |    27949     44 |      721 |      614
1649.92/1650.41	c 1650s |      19 |   840694 |   590482 |    27949     44 |      721 |      614
1652.22/1652.78	c 1652s |      19 |   841370 |   591082 |    27949     44 |      721 |      614
1654.52/1655.02	c 1654s |      19 |   841916 |   591582 |    27949     44 |      721 |      614
1656.72/1657.26	c 1656s |      19 |   842466 |   592082 |    27949     44 |      721 |      614
1658.92/1659.48	c 1659s |      19 |   843023 |   592582 |    27949     44 |      721 |      614
1661.12/1661.65	c 1661s |      19 |   843579 |   593082 |    27949     44 |      721 |      614
1663.52/1664.07	c 1663s |      19 |   844115 |   593582 |    27949     44 |      721 |      614
1665.52/1666.07	c 1665s |      19 |   844540 |   593982 |    27949     44 |      721 |      614
1667.92/1668.42	c 1668s |      19 |   845099 |   594482 |    27949     44 |      721 |      614
1670.22/1670.80	c 1670s |      19 |   845648 |   594982 |    27949     44 |      721 |      614
1672.42/1672.99	c 1672s |      19 |   846194 |   595482 |    27949     44 |      721 |      614
1674.72/1675.28	c 1675s |      19 |   846747 |   595982 |    27949     44 |      721 |      614
1677.12/1677.66	c 1677s |      19 |   847283 |   596482 |    27949     44 |      721 |      614
1679.42/1679.99	c 1679s |      19 |   847835 |   596982 |    27949     44 |      721 |      614
1681.72/1682.27	c 1681s |      19 |   848391 |   597482 |    27949     44 |      721 |      614
1683.82/1684.34	c 1684s |      19 |   848823 |   597882 |    27949     44 |      721 |      614
1686.02/1686.55	c 1686s |      19 |   849253 |   598282 |    27949     44 |      721 |      614
1688.22/1688.77	c 1688s |      19 |   849812 |   598782 |    27949     44 |      721 |      614
1690.62/1691.17	c 1690s |      19 |   850381 |   599282 |    27949     44 |      721 |      614
1692.71/1693.28	c 1693s |      19 |   850805 |   599682 |    27949     44 |      721 |      614
1694.91/1695.49	c 1695s |      19 |   851136 |   599982 |    27949     45 |      721 |      614
1697.01/1697.53	c 1697s |      19 |   851669 |   600482 |    27949     45 |      721 |      614
1699.21/1699.73	c 1699s |      19 |   852325 |   601082 |    27949     45 |      721 |      614
1701.51/1702.08	c 1701s |      19 |   852975 |   601682 |    27949     45 |      721 |      614
1703.81/1704.35	c 1704s |      19 |   853535 |   602182 |    27949     45 |      721 |      614
1705.91/1706.40	c 1706s |      19 |   854082 |   602682 |    27949     45 |      721 |      614
1708.11/1708.60	c 1708s |      19 |   854628 |   603182 |    27949     45 |      721 |      614
1710.12/1710.68	c 1710s |      19 |   855421 |   603782 |    27949     45 |      721 |      614
1712.22/1712.77	c 1712s |      19 |   856270 |   604482 |    27949     45 |      721 |      614
1714.21/1714.79	c 1714s |      19 |   856978 |   605082 |    27949     45 |      721 |      614
1716.41/1716.97	c 1716s |      19 |   857660 |   605682 |    27949     45 |      721 |      614
1718.61/1719.10	c 1718s |      19 |   858363 |   606282 |    27949     45 |      721 |      614
1720.71/1721.26	c 1720s |      19 |   859013 |   606882 |    27949     45 |      721 |      614
1723.01/1723.54	c 1723s |      19 |   859678 |   607482 |    27949     45 |      721 |      614
1725.31/1725.81	c 1725s |      19 |   860331 |   608082 |    27949     45 |      721 |      614
1727.51/1728.01	c 1727s |      19 |   861023 |   608682 |    27949     45 |      721 |      614
1729.51/1730.07	c 1729s |      19 |   861569 |   609182 |    27949     45 |      721 |      614
1731.91/1732.41	c 1732s |      19 |   862207 |   609782 |    27949     45 |      721 |      614
1733.91/1734.44	c 1734s |      19 |   862762 |   610282 |    27949     45 |      721 |      614
1736.21/1736.74	c 1736s |      19 |   863308 |   610782 |    27949     45 |      721 |      614
1738.51/1739.06	c 1738s |      19 |   863830 |   611282 |    27949     45 |      721 |      614
1740.81/1741.31	c 1741s |      19 |   864670 |   611882 |    27949     45 |      721 |      614
1743.11/1743.64	c 1743s |      19 |   865370 |   612482 |    27949     45 |      721 |      614
1745.21/1745.80	c 1745s |      19 |   865954 |   612982 |    27949     45 |      721 |      614
1747.51/1748.01	c 1747s |      19 |   866522 |   613482 |    27949     45 |      721 |      614
1749.71/1750.21	c 1749s |      19 |   867068 |   613982 |    27949     45 |      721 |      614
1752.00/1752.50	c 1752s |      19 |   867624 |   614482 |    27949     45 |      721 |      614
1754.20/1754.78	c 1754s |      19 |   868179 |   614982 |    27949     45 |      721 |      614
1756.21/1756.79	c 1756s |      19 |   868614 |   615382 |    27949     45 |      721 |      614
1758.20/1758.79	c 1758s |      19 |   868944 |   615682 |    27949     46 |      721 |      614
1760.40/1760.94	c 1760s |      19 |   869619 |   616282 |    27949     46 |      721 |      614
1762.50/1763.04	c 1762s |      19 |   870265 |   616882 |    27949     46 |      721 |      614
1764.70/1765.24	c 1764s |      19 |   870926 |   617482 |    27949     46 |      721 |      614
1767.00/1767.55	c 1767s |      19 |   871655 |   618082 |    27949     46 |      721 |      614
1769.30/1769.90	c 1769s |      19 |   872361 |   618682 |    27949     46 |      721 |      614
1771.50/1772.05	c 1771s |      19 |   872891 |   619182 |    27949     46 |      721 |      614
1773.60/1774.17	c 1773s |      19 |   873614 |   619782 |    27949     46 |      721 |      614
1775.80/1776.35	c 1776s |      19 |   874510 |   620482 |    27949     46 |      721 |      614
1778.21/1778.70	c 1778s |      19 |   875167 |   621082 |    27949     46 |      721 |      614
1780.20/1780.78	c 1780s |      19 |   875879 |   621682 |    27949     46 |      721 |      614
1782.40/1782.92	c 1782s |      19 |   876583 |   622282 |    27949     46 |      721 |      614
1784.70/1785.21	c 1784s |      19 |   877250 |   622882 |    27949     46 |      721 |      614
1787.00/1787.51	c 1787s |      19 |   877939 |   623482 |    27949     46 |      721 |      614
1789.31/1789.81	c 1789s |      19 |   878612 |   624082 |    27949     46 |      721 |      614
1791.51/1792.06	c 1791s |      19 |   879291 |   624682 |    27949     46 |      721 |      614
1793.61/1794.13	c 1793s |      19 |   879874 |   625182 |    27949     46 |      721 |      614
1795.60/1796.13	c 1795s |      19 |   880430 |   625682 |    27949     46 |      721 |      614
1797.90/1798.44	c 1798s |      19 |   880969 |   626182 |    27949     46 |      721 |      614

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.32 2.25 2.19 3/170 24405
/proc/meminfo: memFree=30321936/32872528 swapFree=1541156/1696500
[pid=24405] ppid=24402 vsize=696764 CPUtime=0 cores=0,2,4,6
/proc/24405/stat : 24405 (toysat) R 24402 24405 23447 0 -1 4202496 2593 0 0 0 0 0 0 0 20 0 4 0 30797018 713486336 2953 33554432000 4194304 16246674 140734457512448 140734457511872 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24405/statm: 174703 2961 441 2943 0 171597 0
[pid=24405/tid=24406] ppid=24402 vsize=714172 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24406/stat : 24406 (toysat) S 24402 24405 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797018 731312128 3022 33554432000 4194304 16246674 140734457512448 140376748829936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24405/tid=24407] ppid=24402 vsize=718268 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24407/stat : 24407 (toysat) S 24402 24405 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797018 735506432 3039 33554432000 4194304 16246674 140734457512448 140376738340080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24405/tid=24408] ppid=24402 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24408/stat : 24408 (toysat) S 24402 24405 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30797018 739700736 3053 33554432000 4194304 16246674 140734457512448 140376727866544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.32 2.25 2.19 3/170 24405
/proc/meminfo: memFree=30321936/32872528 swapFree=1541156/1696500
[pid=24405] ppid=24402 vsize=1220164 CPUtime=0.1 cores=0,2,4,6
/proc/24405/stat : 24405 (toysat) R 24402 24405 23447 0 -1 4202496 28468 0 0 0 5 5 0 0 20 0 4 0 30797018 1249447936 28766 33554432000 4194304 16246674 140734457512448 140734457511760 4206868 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24405/statm: 305041 28766 801 2943 0 301935 0
[pid=24405/tid=24406] ppid=24402 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24406/stat : 24406 (toysat) S 24402 24405 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797018 1249447936 28766 33554432000 4194304 16246674 140734457512448 140376748829936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24405/tid=24407] ppid=24402 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24407/stat : 24407 (toysat) S 24402 24405 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797018 1249447936 28766 33554432000 4194304 16246674 140734457512448 140376738340080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24405/tid=24408] ppid=24402 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24408/stat : 24408 (toysat) S 24402 24405 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797018 1249447936 28766 33554432000 4194304 16246674 140734457512448 140376727866544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1220164

[startup+0.20052 s]
/proc/loadavg: 2.32 2.25 2.19 3/170 24405
/proc/meminfo: memFree=30321936/32872528 swapFree=1541156/1696500
[pid=24405] ppid=24402 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/24405/stat : 24405 (toysat) R 24402 24405 23447 0 -1 4202496 48675 0 0 0 11 8 0 0 20 0 4 0 30797018 1332285440 48973 33554432000 4194304 16246674 140734457512448 140734457511760 6757816 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24405/statm: 325265 48973 842 2943 0 322159 0
[pid=24405/tid=24406] ppid=24402 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24406/stat : 24406 (toysat) S 24402 24405 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797018 1332285440 48973 33554432000 4194304 16246674 140734457512448 140376748829936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24405/tid=24407] ppid=24402 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24407/stat : 24407 (toysat) S 24402 24405 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797018 1332285440 48973 33554432000 4194304 16246674 140734457512448 140376738340080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24405/tid=24408] ppid=24402 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24408/stat : 24408 (toysat) S 24402 24405 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797018 1332285440 48973 33554432000 4194304 16246674 140734457512448 140376727866544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.30047 s]
/proc/loadavg: 2.32 2.25 2.19 3/170 24405
/proc/meminfo: memFree=30321936/32872528 swapFree=1541156/1696500
[pid=24405] ppid=24402 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/24405/stat : 24405 (toysat) R 24402 24405 23447 0 -1 4202496 54442 0 0 0 20 9 0 0 20 0 4 0 30797018 1332285440 54740 33554432000 4194304 16246674 140734457512448 140734457511760 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24405/statm: 325265 54746 882 2943 0 322159 0
[pid=24405/tid=24406] ppid=24402 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24406/stat : 24406 (toysat) S 24402 24405 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797018 1332285440 54749 33554432000 4194304 16246674 140734457512448 140376748829936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24405/tid=24407] ppid=24402 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24407/stat : 24407 (toysat) S 24402 24405 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797018 1332285440 54752 33554432000 4194304 16246674 140734457512448 140376738340080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24405/tid=24408] ppid=24402 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24408/stat : 24408 (toysat) S 24402 24405 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797018 1332285440 54755 33554432000 4194304 16246674 140734457512448 140376727866544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700396 s]
/proc/loadavg: 2.32 2.25 2.19 3/170 24405
/proc/meminfo: memFree=30321936/32872528 swapFree=1541156/1696500
[pid=24405] ppid=24402 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/24405/stat : 24405 (toysat) R 24402 24405 23447 0 -1 4202496 105859 0 0 0 53 16 0 0 20 0 4 0 30797018 1332285440 106157 33554432000 4194304 16246674 140734457512448 140734457494336 6020769 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24405/statm: 325265 106168 882 2943 0 322159 0
[pid=24405/tid=24406] ppid=24402 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24406/stat : 24406 (toysat) S 24402 24405 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797018 1332285440 106172 33554432000 4194304 16246674 140734457512448 140376748829936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24405/tid=24407] ppid=24402 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24407/stat : 24407 (toysat) S 24402 24405 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797018 1332285440 106174 33554432000 4194304 16246674 140734457512448 140376738340080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24405/tid=24408] ppid=24402 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24408/stat : 24408 (toysat) S 24402 24405 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797018 1332285440 106176 33554432000 4194304 16246674 140734457512448 140376727866544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.5004 s]
/proc/loadavg: 2.32 2.25 2.19 3/183 24422
/proc/meminfo: memFree=29069428/32872528 swapFree=1541156/1696500
[pid=24405] ppid=24402 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/24405/stat : 24405 (toysat) R 24402 24405 23447 0 -1 4202496 210410 0 0 0 117 32 0 0 20 0 4 0 30797018 1332285440 210708 33554432000 4194304 16246674 140734457512448 140734457494336 5601494 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24405/statm: 325265 210713 882 2943 0 322159 0
[pid=24405/tid=24406] ppid=24402 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24406/stat : 24406 (toysat) S 24402 24405 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797018 1332285440 210718 33554432000 4194304 16246674 140734457512448 140376748829936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24405/tid=24407] ppid=24402 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24407/stat : 24407 (toysat) S 24402 24405 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797018 1332285440 210721 33554432000 4194304 16246674 140734457512448 140376738340080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24405/tid=24408] ppid=24402 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24408/stat : 24408 (toysat) S 24402 24405 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797018 1332285440 210723 33554432000 4194304 16246674 140734457512448 140376727866544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10041 s]
/proc/loadavg: 2.38 2.27 2.20 3/183 24422
/proc/meminfo: memFree=28166460/32872528 swapFree=1541156/1696500
[pid=24405] ppid=24402 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/24405/stat : 24405 (toysat) R 24402 24405 23447 0 -1 4202496 269354 0 0 0 270 39 0 0 20 0 4 0 30797018 1344868352 269652 33554432000 4194304 16246674 140734457512448 140734457494336 5601537 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24405/statm: 328337 269652 888 2943 0 325231 0
[pid=24405/tid=24406] ppid=24402 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24406/stat : 24406 (toysat) S 24402 24405 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797018 1344868352 269652 33554432000 4194304 16246674 140734457512448 140376748829936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24405/tid=24407] ppid=24402 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24407/stat : 24407 (toysat) S 24402 24405 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797018 1344868352 269652 33554432000 4194304 16246674 140734457512448 140376738340080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24405/tid=24408] ppid=24402 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24408/stat : 24408 (toysat) S 24402 24405 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797018 1344868352 269652 33554432000 4194304 16246674 140734457512448 140376727866544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.3004 s]
/proc/loadavg: 2.38 2.27 2.20 3/183 24422
/proc/meminfo: memFree=28165224/32872528 swapFree=1541156/1696500
[pid=24405] ppid=24402 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/24405/stat : 24405 (toysat) R 24402 24405 23447 0 -1 4202496 269526 0 0 0 590 39 0 0 20 0 4 0 30797018 1344868352 269824 33554432000 4194304 16246674 140734457512448 140734457494336 5711688 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24405/statm: 328337 269824 890 2943 0 325231 0
[pid=24405/tid=24406] ppid=24402 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24406/stat : 24406 (toysat) S 24402 24405 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797018 1344868352 269824 33554432000 4194304 16246674 140734457512448 140376748829936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24405/tid=24407] ppid=24402 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24407/stat : 24407 (toysat) S 24402 24405 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797018 1344868352 269824 33554432000 4194304 16246674 140734457512448 140376738340080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24405/tid=24408] ppid=24402 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24408/stat : 24408 (toysat) S 24402 24405 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797018 1344868352 269824 33554432000 4194304 16246674 140734457512448 140376727866544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.39 2.27 2.20 3/183 24422
/proc/meminfo: memFree=28165304/32872528 swapFree=1541156/1696500
[pid=24405] ppid=24402 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/24405/stat : 24405 (toysat) R 24402 24405 23447 0 -1 4202496 269526 0 0 0 1230 39 0 0 20 0 4 0 30797018 1344868352 269824 33554432000 4194304 16246674 140734457512448 140734457494336 5712756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24405/statm: 328337 269824 890 2943 0 325231 0
[pid=24405/tid=24406] ppid=24402 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24406/stat : 24406 (toysat) S 24402 24405 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797018 1344868352 269824 33554432000 4194304 16246674 140734457512448 140376748829936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24405/tid=24407] ppid=24402 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24407/stat : 24407 (toysat) S 24402 24405 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797018 1344868352 269824 33554432000 4194304 16246674 140734457512448 140376738340080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24405/tid=24408] ppid=24402 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24408/stat : 24408 (toysat) S 24402 24405 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797018 1344868352 269824 33554432000 4194304 16246674 140734457512448 140376727866544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.41 2.28 2.20 3/183 24422
/proc/meminfo: memFree=28166740/32872528 swapFree=1541156/1696500
[pid=24405] ppid=24402 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/24405/stat : 24405 (toysat) R 24402 24405 23447 0 -1 4202496 269528 0 0 0 2510 39 0 0 20 0 4 0 30797018 1344868352 269826 33554432000 4194304 16246674 140734457512448 140734457494336 5711811 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24405/statm: 328337 269826 892 2943 0 325231 0
[pid=24405/tid=24406] ppid=24402 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24406/stat : 24406 (toysat) S 24402 24405 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797018 1344868352 269826 33554432000 4194304 16246674 140734457512448 140376748829936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24405/tid=24407] ppid=24402 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24407/stat : 24407 (toysat) S 24402 24405 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797018 1344868352 269826 33554432000 4194304 16246674 140734457512448 140376738340080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24405/tid=24408] ppid=24402 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24408/stat : 24408 (toysat) S 24402 24405 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797018 1344868352 269826 33554432000 4194304 16246674 140734457512448 140376727866544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.33 2.27 2.20 3/183 24422
/proc/meminfo: memFree=28166892/32872528 swapFree=1541156/1696500
[pid=24405] ppid=24402 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/24405/stat : 24405 (toysat) R 24402 24405 23447 0 -1 4202496 269528 0 0 0 5069 39 0 0 20 0 4 0 30797018 1344868352 269826 33554432000 4194304 16246674 140734457512448 140734457494336 12483393 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24405/statm: 328337 269826 892 2943 0 325231 0
[pid=24405/tid=24406] ppid=24402 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24406/stat : 24406 (toysat) S 24402 24405 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797018 1344868352 269826 33554432000 4194304 16246674 140734457512448 140376748829936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24405/tid=24407] ppid=24402 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24407/stat : 24407 (toysat) S 24402 24405 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797018 1344868352 269826 33554432000 4194304 16246674 140734457512448 140376738340080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24405/tid=24408] ppid=24402 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24408/stat : 24408 (toysat) S 24402 24405 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797018 1344868352 269826 33554432000 4194304 16246674 140734457512448 140376727866544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.34 2.29 2.20 3/183 24424
/proc/meminfo: memFree=28160656/32872528 swapFree=1541156/1696500
[pid=24405] ppid=24402 vsize=1318468 CPUtime=102.29 cores=0,2,4,6
/proc/24405/stat : 24405 (toysat) R 24402 24405 23447 0 -1 4202496 270808 0 0 0 10189 40 0 0 20 0 4 0 30797018 1350111232 271106 33554432000 4194304 16246674 140734457512448 140734457494336 6010789 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24405/statm: 329617 271106 892 2943 0 326511 0
[pid=24405/tid=24406] ppid=24402 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24406/stat : 24406 (toysat) S 24402 24405 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797018 1350111232 271106 33554432000 4194304 16246674 140734457512448 140376748829936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24405/tid=24407] ppid=24402 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24407/stat : 24407 (toysat) S 24402 24405 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797018 1350111232 271106 33554432000 4194304 16246674 140734457512448 140376738340080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24405/tid=24408] ppid=24402 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24408/stat : 24408 (toysat) S 24402 24405 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797018 1350111232 271106 33554432000 4194304 16246674 140734457512448 140376727866544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1318468


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

/proc/24405/task/24408/stat : 24408 (toysat) S 24402 24405 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797018 1359548416 273413 33554432000 4194304 16246674 140734457512448 140376727866544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1327684

[startup+1362.3 s]
/proc/loadavg: 2.42 2.37 2.28 3/183 24490
/proc/meminfo: memFree=28106324/32872528 swapFree=1541156/1696500
[pid=24405] ppid=24402 vsize=1328708 CPUtime=1361.87 cores=0,2,4,6
/proc/24405/stat : 24405 (toysat) R 24402 24405 23447 0 -1 4202496 273610 0 0 0 136139 48 0 0 20 0 4 0 30797018 1360596992 273553 33554432000 4194304 16246674 140734457512448 140734457494336 5829844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24405/statm: 332177 273553 892 2943 0 329071 0
[pid=24405/tid=24406] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24406/stat : 24406 (toysat) S 24402 24405 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273553 33554432000 4194304 16246674 140734457512448 140376748829936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24405/tid=24407] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24407/stat : 24407 (toysat) S 24402 24405 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273553 33554432000 4194304 16246674 140734457512448 140376738340080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24405/tid=24408] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24408/stat : 24408 (toysat) S 24402 24405 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273553 33554432000 4194304 16246674 140734457512448 140376727866544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1328708

[startup+1422.3 s]
/proc/loadavg: 2.54 2.41 2.30 4/184 24494
/proc/meminfo: memFree=28104608/32872528 swapFree=1541156/1696500
[pid=24405] ppid=24402 vsize=1328708 CPUtime=1421.86 cores=0,2,4,6
/proc/24405/stat : 24405 (toysat) R 24402 24405 23447 0 -1 4202496 273610 0 0 0 142138 48 0 0 20 0 4 0 30797018 1360596992 273553 33554432000 4194304 16246674 140734457512448 140734457494336 5712756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24405/statm: 332177 273553 892 2943 0 329071 0
[pid=24405/tid=24406] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24406/stat : 24406 (toysat) S 24402 24405 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273553 33554432000 4194304 16246674 140734457512448 140376748829936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24405/tid=24407] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24407/stat : 24407 (toysat) S 24402 24405 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273553 33554432000 4194304 16246674 140734457512448 140376738340080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24405/tid=24408] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24408/stat : 24408 (toysat) S 24402 24405 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273553 33554432000 4194304 16246674 140734457512448 140376727866544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1328708

[startup+1482.3 s]
/proc/loadavg: 2.46 2.40 2.30 3/183 24495
/proc/meminfo: memFree=28104608/32872528 swapFree=1541156/1696500
[pid=24405] ppid=24402 vsize=1328708 CPUtime=1481.85 cores=0,2,4,6
/proc/24405/stat : 24405 (toysat) R 24402 24405 23447 0 -1 4202496 273610 0 0 0 148137 48 0 0 20 0 4 0 30797018 1360596992 273553 33554432000 4194304 16246674 140734457512448 140734457494336 12483387 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24405/statm: 332177 273553 892 2943 0 329071 0
[pid=24405/tid=24406] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24406/stat : 24406 (toysat) S 24402 24405 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273553 33554432000 4194304 16246674 140734457512448 140376748829936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24405/tid=24407] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24407/stat : 24407 (toysat) S 24402 24405 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273553 33554432000 4194304 16246674 140734457512448 140376738340080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24405/tid=24408] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24408/stat : 24408 (toysat) S 24402 24405 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273553 33554432000 4194304 16246674 140734457512448 140376727866544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1328708

[startup+1542.31 s]
/proc/loadavg: 2.55 2.45 2.32 3/183 24496
/proc/meminfo: memFree=28105520/32872528 swapFree=1541156/1696500
[pid=24405] ppid=24402 vsize=1328708 CPUtime=1541.85 cores=0,2,4,6
/proc/24405/stat : 24405 (toysat) R 24402 24405 23447 0 -1 4202496 273610 0 0 0 154136 49 0 0 20 0 4 0 30797018 1360596992 273553 33554432000 4194304 16246674 140734457512448 140734457494336 12467569 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24405/statm: 332177 273553 892 2943 0 329071 0
[pid=24405/tid=24406] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24406/stat : 24406 (toysat) S 24402 24405 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273553 33554432000 4194304 16246674 140734457512448 140376748829936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24405/tid=24407] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24407/stat : 24407 (toysat) S 24402 24405 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273553 33554432000 4194304 16246674 140734457512448 140376738340080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24405/tid=24408] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24408/stat : 24408 (toysat) S 24402 24405 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273553 33554432000 4194304 16246674 140734457512448 140376727866544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1328708

[startup+1602.3 s]
/proc/loadavg: 2.50 2.45 2.33 4/183 24498
/proc/meminfo: memFree=28104940/32872528 swapFree=1541156/1696500
[pid=24405] ppid=24402 vsize=1328708 CPUtime=1601.83 cores=0,2,4,6
/proc/24405/stat : 24405 (toysat) R 24402 24405 23447 0 -1 4202496 273726 0 0 0 160134 49 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140734457494336 5677888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24405/statm: 332177 273669 892 2943 0 329071 0
[pid=24405/tid=24406] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24406/stat : 24406 (toysat) S 24402 24405 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140376748829936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24405/tid=24407] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24407/stat : 24407 (toysat) S 24402 24405 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140376738340080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24405/tid=24408] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24408/stat : 24408 (toysat) S 24402 24405 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140376727866544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1328708

[startup+1662.3 s]
/proc/loadavg: 2.46 2.45 2.33 4/183 24499
/proc/meminfo: memFree=28104988/32872528 swapFree=1541156/1696500
[pid=24405] ppid=24402 vsize=1328708 CPUtime=1661.82 cores=0,2,4,6
/proc/24405/stat : 24405 (toysat) R 24402 24405 23447 0 -1 4202496 273726 0 0 0 166132 50 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140734457494336 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24405/statm: 332177 273669 892 2943 0 329071 0
[pid=24405/tid=24406] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24406/stat : 24406 (toysat) S 24402 24405 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140376748829936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24405/tid=24407] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24407/stat : 24407 (toysat) S 24402 24405 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140376738340080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24405/tid=24408] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24408/stat : 24408 (toysat) S 24402 24405 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140376727866544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1328708

[startup+1722.3 s]
/proc/loadavg: 2.35 2.42 2.33 3/183 24500
/proc/meminfo: memFree=28104272/32872528 swapFree=1541156/1696500
[pid=24405] ppid=24402 vsize=1328708 CPUtime=1721.81 cores=0,2,4,6
/proc/24405/stat : 24405 (toysat) R 24402 24405 23447 0 -1 4202496 273726 0 0 0 172131 50 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140734457494336 12483481 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24405/statm: 332177 273669 892 2943 0 329071 0
[pid=24405/tid=24406] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24406/stat : 24406 (toysat) S 24402 24405 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140376748829936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24405/tid=24407] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24407/stat : 24407 (toysat) S 24402 24405 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140376738340080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24405/tid=24408] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24408/stat : 24408 (toysat) S 24402 24405 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140376727866544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1328708

[startup+1782.3 s]
/proc/loadavg: 2.33 2.39 2.32 4/183 24501
/proc/meminfo: memFree=28104408/32872528 swapFree=1541156/1696500
[pid=24405] ppid=24402 vsize=1328708 CPUtime=1781.8 cores=0,2,4,6
/proc/24405/stat : 24405 (toysat) R 24402 24405 23447 0 -1 4202496 273726 0 0 0 178130 50 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140734457511624 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24405/statm: 332177 273669 892 2943 0 329071 0
[pid=24405/tid=24406] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24406/stat : 24406 (toysat) S 24402 24405 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140376748829936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24405/tid=24407] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24407/stat : 24407 (toysat) S 24402 24405 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140376738340080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24405/tid=24408] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24408/stat : 24408 (toysat) S 24402 24405 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140376727866544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1328708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.26 2.37 2.32 4/183 24501
/proc/meminfo: memFree=28104252/32872528 swapFree=1541156/1696500
[pid=24405] ppid=24402 vsize=1328708 CPUtime=1800 cores=0,2,4,6
/proc/24405/stat : 24405 (toysat) R 24402 24405 23447 0 -1 4202496 273726 0 0 0 179949 51 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140734457494336 5672943 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24405/statm: 332177 273669 892 2943 0 329071 0
[pid=24405/tid=24406] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24406/stat : 24406 (toysat) S 24402 24405 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140376748829936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24405/tid=24407] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24407/stat : 24407 (toysat) S 24402 24405 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140376738340080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24405/tid=24408] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24408/stat : 24408 (toysat) S 24402 24405 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140376727866544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1328708

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.5 s]
/proc/loadavg: 2.26 2.37 2.32 4/183 24501
/proc/meminfo: memFree=28104252/32872528 swapFree=1541156/1696500
[pid=24405] ppid=24402 vsize=1328708 CPUtime=1800 cores=0,2,4,6
/proc/24405/stat : 24405 (toysat) R 24402 24405 23447 0 -1 4202496 273726 0 0 0 179949 51 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140734457494336 5672943 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24405/statm: 332177 273669 892 2943 0 329071 0
[pid=24405/tid=24406] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24406/stat : 24406 (toysat) S 24402 24405 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140376748829936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24405/tid=24407] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24407/stat : 24407 (toysat) S 24402 24405 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140376738340080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24405/tid=24408] ppid=24402 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/24405/task/24408/stat : 24408 (toysat) S 24402 24405 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797018 1360596992 273669 33554432000 4194304 16246674 140734457512448 140376727866544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1328708

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.5
CPU system time (s): 0.510922
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 1328708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.510922
maximum resident set size= 1094676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273726
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= 375
involuntary context switches= 2135

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.14937 second user time and 7.36388 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-26 23:46:23
IDJOB=4116293
IDBENCH=109452
IDSOLVER=2542
FILE ID=node125/4116293-1466977583
RUNJOBID= node125-1466966776-23463
PBS_JOBID= 19976375
Free space on /tmp= 71740 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-0.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116293-1466977583/watcher-4116293-1466977583 -o /tmp/evaluation-result-4116293-1466977583/solver-4116293-1466977583 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466966776-23463 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116293-1466977583.opb

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

MD5SUM BENCH= d00c6e0d896449632541fc8326733986
RANDOM SEED=1822059979

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30322464 kB
Buffers:           49216 kB
Cached:            97260 kB
SwapCached:         1736 kB
Active:            69004 kB
Inactive:          81700 kB
Active(anon):       5376 kB
Inactive(anon):      448 kB
Active(file):      63628 kB
Inactive(file):    81252 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             33448 kB
Writeback:             0 kB
AnonPages:       1698632 kB
Mapped:             7112 kB
Shmem:                 0 kB
Slab:             568328 kB
SReclaimable:      11952 kB
SUnreclaim:       556376 kB
KernelStack:        1392 kB
PageTables:         6808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1793352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 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= 71708 MiB
End job on node125 at 2016-06-27 00:16:24