Trace number 4116573

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.09 1800.71

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size128-round22-2.opb
MD5SUM8b141e8f2d9bfccf1119dae7bc9b3f3f
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 variables4128
Total number of constraints8704
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)416
Number of constraints which are nor clauses,nor cardinality constraints864
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-26T19:49:25+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-4116573-1466963365.opb"]
0.00/0.01	c use --random-gen="1514523770 3136363169 2922653409 2733030403 831273560 415124763 1539131914 3269636624 1590331763 3335845184 3833500225 4085353894 1644588565 2605101044 2662556231 2158302735 1359381274 205963780 300176810 972839345 1205482150 274272109 648365279 1807086364 1298025381 2429127190 1906740892 1767178034 2634496994 1924402111 1283404656 3627371500 1962503058 3302204156 420436490 2464033285 1300984331 1576191015 1943162200 3577957274 2563466198 4170040575 1499420927 2962316305 1959802457 1057639564 1587583663 546820965 1583605558 257647659 116579117 4117628275 1727545923 3476191995 1789516878 3134548455 2484754445 2678993210 2538143328 2381725712 3059620672 1406492930 955113724 3634789316 2058262446 3229260455 1479306927 3820639590 431613090 2434657641 1102226554 2604246318 1303375522 2804299226 1642746593 1379370802 3755587748 2402731046 3944215054 3182363285 1488178973 4168570397 4069433465 2919629038 4165497084 2006340515 2918056536 3743355129 3649939940 2282492509 1648266932 3164639664 3162610288 3772556189 2811432241 3251479912 396086505 4046376330 3227502786 3409553947 568567743 2683615885 3966928442 1940244983 37966882 1937642565 293727023 2413865791 1431886643 140264211 406107638 311794505 3068114095 1440525548 2884936476 318175177 4199426781 2273058528 3077524049 2056744883 3932980038 596240521 3968049931 2060107084 2035872512 3698435854 3785354616 219832005 3076721901 3815309813 3622280982 2347781010 378334083 1582728736 3316525262 374357462 3010921477 2968653087 1919450389 1120204819 44749083 466260456 4284490404 2820478964 551440463 498277013 3920885928 990884688 1247456240 3678281422 1884040874 2045506798 2750027988 1853313968 1897116223 4043488473 470918164 1158852305 2836958243 2292231776 1025229628 3453723789 3928080478 693491257 89563147 3400615215 4148388908 3400323915 940222669 2877159672 454803145 3179031844 4209794288 342009084 3280128097 271130022 3402891936 949696171 696131075 1045224624 3231215420 334614722 2674401740 1213653277 2946083161 267519000 2425609530 2718584345 3512929158 2122341218 3481938218 511361984 1459325258 3291076995 2389221949 861944675 3244452168 2629014065 2640571520 1236757206 602884533 603235252 3265407691 3887959103 2036210507 3295669913 1702966294 1204908855 4223937456 2735032213 1343433031 2208351162 787750006 653074519 375809128 1230301936 1969657536 3017283020 3792164794 175288829 1500260021 591456707 2685426765 3019280727 3240039722 3440914020 4207172033 1879978888 1089265510 3602799437 3181770994 2412941653 2242255531 296024049 4024370350 3758980978 1570460524 531617565 3699163094 384400768 1778661769 2121757842 3006891824 3588289483 3233197788 1269295860 3766209352 1817418440 603124696 3154645475 2142739609 1565334494 1858897302 1715187509 3673816182 2641256141 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8704
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     4234      0 |      766 |        0
0.28/0.34	c  0.1s |       1 |      543 |      100 |     4234      0 |      767 |      644
0.39/0.44	c  0.2s |       2 |     1296 |      250 |     4658      0 |      767 |      644
0.59/0.61	c  0.4s |       3 |     4033 |      475 |     5124      0 |      768 |      644
0.99/1.06	c  0.8s |       4 |     5683 |      813 |     5637      0 |      768 |      644
1.39/1.48	c  1.2s |       5 |     9589 |     1320 |     6201      0 |      768 |      644
2.20/2.27	c  2.0s |       6 |    12072 |     2081 |     7505      0 |      768 |      644
2.99/3.02	c  2.8s |       7 |    16543 |     3223 |     8256      0 |      768 |      644
4.99/5.01	c  4.8s |       8 |    19926 |     4936 |     9082      0 |      768 |      644
6.99/7.06	c  6.8s |       8 |    24391 |     6636 |     9082      0 |      768 |      644
8.29/8.37	c  8.1s |       9 |    25394 |     7506 |     9991      0 |      768 |      644
10.39/10.42	c 10.2s |       9 |    41586 |    10406 |     9991      0 |      768 |      644
11.09/11.19	c 10.9s |      10 |    46091 |    11361 |    10991      0 |      768 |      644
13.18/13.21	c 13.0s |      10 |    49798 |    12961 |    10991      0 |      768 |      644
15.28/15.34	c 15.1s |      10 |    51721 |    14461 |    10991      0 |      768 |      644
17.38/17.42	c 17.2s |      10 |    53222 |    15661 |    10991      1 |      768 |      644
19.38/19.42	c 19.2s |      10 |    54671 |    16861 |    10991      1 |      768 |      644
19.88/19.91	c 19.7s |      11 |    55017 |    17144 |    12091      1 |      768 |      644
21.88/21.94	c 21.7s |      11 |    66020 |    19744 |    12091      1 |      768 |      644
23.88/23.99	c 23.7s |      11 |    68559 |    21244 |    12091      1 |      768 |      644
26.08/26.15	c 25.9s |      11 |    70404 |    22544 |    12091      1 |      768 |      644
28.28/28.31	c 28.1s |      11 |    71577 |    23544 |    12091      2 |      768 |      644
30.28/30.39	c 30.1s |      11 |    73211 |    24744 |    12091      2 |      768 |      644
32.38/32.45	c 32.2s |      12 |    74553 |    25819 |    13301      2 |      768 |      644
34.39/34.45	c 34.2s |      12 |    79158 |    27719 |    13301      2 |      768 |      644
36.49/36.54	c 36.3s |      12 |    81072 |    29319 |    13301      2 |      768 |      644
38.58/38.64	c 38.4s |      12 |    82575 |    30619 |    13301      2 |      768 |      644
40.78/40.83	c 40.6s |      12 |    84062 |    31819 |    13301      3 |      768 |      644
42.88/42.99	c 42.7s |      12 |    85415 |    33019 |    13301      3 |      768 |      644
44.98/45.02	c 44.8s |      12 |    86651 |    34119 |    13301      3 |      768 |      644
47.08/47.11	c 46.9s |      12 |    87750 |    35119 |    13301      3 |      768 |      644
49.08/49.14	c 48.9s |      12 |    88867 |    36119 |    13301      3 |      768 |      644
51.08/51.15	c 50.9s |      12 |    89894 |    37019 |    13301      3 |      768 |      644
53.18/53.28	c 53.0s |      12 |    91131 |    38019 |    13301      3 |      768 |      644
55.19/55.25	c 55.0s |      13 |    92039 |    38832 |    14632      3 |      768 |      644
57.28/57.30	c 57.0s |      13 |   100312 |    40932 |    14632      4 |      768 |      644
59.28/59.39	c 59.1s |      13 |   109350 |    43632 |    14632      4 |      768 |      644
61.37/61.43	c 61.2s |      13 |   116821 |    45732 |    14632      4 |      768 |      644
63.47/63.52	c 63.3s |      13 |   120017 |    47332 |    14632      4 |      768 |      644
65.57/65.66	c 65.4s |      13 |   121660 |    48632 |    14632      4 |      768 |      644
67.67/67.75	c 67.5s |      13 |   123210 |    49832 |    14632      5 |      768 |      644
69.77/69.89	c 69.6s |      13 |   124606 |    51032 |    14632      5 |      768 |      644
71.87/71.94	c 71.7s |      13 |   127340 |    52632 |    14632      5 |      768 |      644
73.88/74.00	c 73.7s |      13 |   129301 |    54032 |    14632      5 |      768 |      644
76.18/76.21	c 76.0s |      13 |   130609 |    55132 |    14632      5 |      768 |      644
78.28/78.37	c 78.1s |      13 |   131790 |    56132 |    14632      5 |      768 |      644
80.37/80.41	c 80.2s |      13 |   132806 |    57032 |    14632      5 |      768 |      644
82.47/82.59	c 82.3s |      13 |   133900 |    57932 |    14632      5 |      768 |      644
83.37/83.47	c 83.2s |      14 |   134484 |    58352 |    16096      5 |      768 |      644
85.48/85.52	c 85.3s |      14 |   138232 |    60052 |    16096      6 |      768 |      644
87.48/87.54	c 87.3s |      14 |   140586 |    62052 |    16096      6 |      768 |      644
89.58/89.61	c 89.4s |      14 |   142353 |    63652 |    16096      6 |      768 |      644
91.59/91.69	c 91.4s |      14 |   143910 |    65052 |    16096      6 |      768 |      644
93.79/93.82	c 93.6s |      14 |   145313 |    66352 |    16096      6 |      768 |      644
95.78/95.83	c 95.6s |      14 |   146508 |    67452 |    16096      6 |      768 |      644
97.88/97.96	c 97.7s |      14 |   147587 |    68452 |    16096      7 |      768 |      644
100.08/100.15	c 99.9s |      14 |   148762 |    69552 |    16096      7 |      768 |      644
102.18/102.20	c  101s |      14 |   149708 |    70452 |    16096      7 |      768 |      644
104.28/104.36	c  104s |      14 |   150649 |    71352 |    16096      7 |      768 |      644
106.37/106.48	c  106s |      14 |   151718 |    72352 |    16096      7 |      768 |      644
108.47/108.59	c  108s |      14 |   152672 |    73252 |    16096      7 |      768 |      644
110.57/110.64	c  110s |      14 |   153637 |    74152 |    16096      7 |      768 |      644
112.77/112.83	c  112s |      14 |   154586 |    75052 |    16096      7 |      768 |      644
114.77/114.84	c  114s |      14 |   155426 |    75852 |    16096      7 |      768 |      644
116.78/116.88	c  116s |      14 |   156170 |    76552 |    16096      7 |      768 |      644
118.87/118.97	c  118s |      14 |   157019 |    77352 |    16096      7 |      768 |      644
121.07/121.17	c  120s |      14 |   157755 |    78052 |    16096      7 |      768 |      644
123.27/123.31	c  123s |      14 |   158578 |    78852 |    16096      8 |      768 |      644
125.27/125.38	c  125s |      14 |   159402 |    79652 |    16096      8 |      768 |      644
127.57/127.66	c  127s |      14 |   160336 |    80552 |    16096      8 |      768 |      644
129.67/129.78	c  129s |      14 |   161161 |    81352 |    16096      8 |      768 |      644
131.97/132.05	c  131s |      14 |   161989 |    82152 |    16096      8 |      768 |      644
134.27/134.36	c  134s |      14 |   162823 |    82952 |    16096      8 |      768 |      644
136.37/136.41	c  136s |      14 |   163548 |    83652 |    16096      8 |      768 |      644
138.47/138.50	c  138s |      14 |   164317 |    84352 |    16096      8 |      768 |      644
140.47/140.59	c  140s |      14 |   165076 |    85052 |    16096      8 |      768 |      644
142.77/142.81	c  142s |      14 |   165811 |    85752 |    16096      8 |      768 |      644
144.97/145.08	c  144s |      14 |   166549 |    86452 |    16096      8 |      768 |      644
147.27/147.30	c  147s |      14 |   167277 |    87152 |    17706      8 |      768 |      644
148.78/148.84	c  148s |      15 |   167782 |    87632 |    17706      8 |      768 |      644
150.77/150.89	c  150s |      15 |   172433 |    89232 |    17706      9 |      768 |      644
152.87/152.90	c  152s |      15 |   174478 |    90832 |    17706      9 |      768 |      644
154.87/154.90	c  154s |      15 |   179902 |    92732 |    17706      9 |      768 |      644
156.87/156.93	c  156s |      15 |   181661 |    94232 |    17706      9 |      768 |      644
158.86/158.99	c  158s |      15 |   183037 |    95432 |    17706      9 |      768 |      644
160.96/161.07	c  160s |      15 |   184373 |    96532 |    17706      9 |      768 |      644
163.16/163.21	c  162s |      15 |   185502 |    97532 |    17706      9 |      768 |      644
165.27/165.33	c  165s |      15 |   186586 |    98532 |    17706      9 |      768 |      644
167.37/167.44	c  167s |      15 |   187479 |    99332 |    17706     10 |      768 |      644
169.36/169.47	c  169s |      15 |   188478 |   100232 |    17706     10 |      768 |      644
171.66/171.71	c  171s |      15 |   189435 |   101132 |    17706     10 |      768 |      644
173.66/173.72	c  173s |      15 |   190309 |   101932 |    17706     10 |      768 |      644
175.76/175.86	c  175s |      15 |   191343 |   102832 |    17706     10 |      768 |      644
177.96/178.02	c  177s |      15 |   192261 |   103632 |    17706     10 |      768 |      644
180.16/180.25	c  180s |      15 |   193148 |   104432 |    17706     10 |      768 |      644
182.26/182.32	c  182s |      15 |   193933 |   105132 |    17706     10 |      768 |      644
184.56/184.65	c  184s |      15 |   194656 |   105832 |    17706     10 |      768 |      644
186.66/186.78	c  186s |      15 |   195437 |   106532 |    17706     10 |      768 |      644
188.96/189.06	c  188s |      15 |   196202 |   107232 |    17706     10 |      768 |      644
191.06/191.10	c  190s |      15 |   196848 |   107832 |    17706     10 |      768 |      644
193.06/193.13	c  192s |      15 |   197490 |   108432 |    17706     10 |      768 |      644
195.36/195.40	c  195s |      15 |   198283 |   109132 |    17706     10 |      768 |      644
197.56/197.65	c  197s |      15 |   199064 |   109832 |    17706     11 |      768 |      644
199.56/199.67	c  199s |      15 |   199967 |   110632 |    17706     11 |      768 |      644
201.66/201.77	c  201s |      15 |   200727 |   111332 |    17706     11 |      768 |      644
203.67/203.80	c  203s |      15 |   201481 |   112032 |    17706     11 |      768 |      644
205.97/206.02	c  205s |      15 |   202210 |   112732 |    17706     11 |      768 |      644
208.07/208.16	c  207s |      15 |   203206 |   113632 |    17706     11 |      768 |      644
210.16/210.21	c  209s |      15 |   204134 |   114432 |    17706     11 |      768 |      644
212.35/212.44	c  212s |      15 |   204999 |   115232 |    17706     11 |      768 |      644
214.55/214.69	c  214s |      15 |   206067 |   116132 |    17706     11 |      768 |      644
216.86/216.99	c  216s |      15 |   206850 |   116832 |    17706     11 |      768 |      644
218.95/219.09	c  218s |      15 |   207817 |   117632 |    17706     11 |      768 |      644
221.45/221.50	c  221s |      15 |   209333 |   118432 |    17706     12 |      768 |      644
223.47/223.53	c  223s |      15 |   212933 |   119632 |    17706     12 |      768 |      644
225.46/225.55	c  225s |      15 |   214355 |   120732 |    17706     12 |      768 |      644
227.66/227.70	c  227s |      15 |   216803 |   122032 |    17706     12 |      768 |      644
229.76/229.88	c  229s |      15 |   217861 |   122932 |    17706     12 |      768 |      644
231.85/231.90	c  231s |      15 |   219583 |   123932 |    17706     12 |      768 |      644
233.95/234.08	c  233s |      15 |   221155 |   125032 |    17706     12 |      768 |      644
236.25/236.33	c  236s |      15 |   222589 |   126132 |    17706     12 |      768 |      644
238.45/238.51	c  238s |      15 |   223812 |   127132 |    17706     12 |      768 |      644
240.45/240.53	c  240s |      15 |   224990 |   128032 |    17706     12 |      768 |      644
242.45/242.54	c  242s |      15 |   225823 |   128732 |    17706     12 |      768 |      644
244.75/244.81	c  244s |      15 |   226603 |   129432 |    17706     12 |      768 |      644
246.85/246.90	c  246s |      15 |   227280 |   130032 |    17706     13 |      768 |      644
248.86/248.98	c  248s |      15 |   228334 |   130932 |    19477     13 |      768 |      644
250.55/250.65	c  250s |      16 |   229046 |   131552 |    19477     13 |      768 |      644
252.65/252.73	c  252s |      16 |   235156 |   133452 |    19477     13 |      768 |      644
254.75/254.85	c  254s |      16 |   237441 |   134952 |    19477     13 |      768 |      644
256.75/256.90	c  256s |      16 |   239118 |   136252 |    19477     13 |      768 |      644
258.85/258.95	c  258s |      16 |   240483 |   137352 |    19477     13 |      768 |      644
260.96/261.06	c  260s |      16 |   242008 |   138552 |    19477     13 |      768 |      644
263.16/263.29	c  263s |      16 |   243419 |   139652 |    19477     13 |      768 |      644
265.26/265.36	c  265s |      16 |   244620 |   140552 |    19477     13 |      768 |      644
267.46/267.59	c  267s |      16 |   245908 |   141552 |    19477     13 |      768 |      644
269.66/269.73	c  269s |      16 |   246760 |   142252 |    19477     14 |      768 |      644
271.75/271.86	c  271s |      16 |   247998 |   143252 |    19477     14 |      768 |      644
273.85/273.94	c  273s |      16 |   248934 |   144052 |    19477     14 |      768 |      644
275.95/276.02	c  275s |      16 |   249863 |   144852 |    19477     14 |      768 |      644
277.95/278.03	c  277s |      16 |   254346 |   146152 |    19477     14 |      768 |      644
280.05/280.17	c  279s |      16 |   256595 |   147552 |    19477     14 |      768 |      644
282.25/282.39	c  282s |      16 |   257881 |   148652 |    19477     14 |      768 |      644
284.44/284.57	c  284s |      16 |   259366 |   149752 |    19477     14 |      768 |      644
286.54/286.66	c  286s |      16 |   262740 |   151152 |    19477     14 |      768 |      644
288.74/288.83	c  288s |      16 |   265008 |   152552 |    19477     14 |      768 |      644
290.74/290.84	c  290s |      16 |   266547 |   153552 |    19477     15 |      768 |      644
292.85/292.99	c  292s |      16 |   268284 |   154852 |    19477     15 |      768 |      644
295.05/295.14	c  294s |      16 |   269936 |   156052 |    19477     15 |      768 |      644
297.15/297.28	c  297s |      16 |   271042 |   156952 |    19477     15 |      768 |      644
299.24/299.36	c  299s |      16 |   272177 |   157852 |    19477     15 |      768 |      644
301.24/301.38	c  301s |      16 |   273394 |   158752 |    19477     15 |      768 |      644
303.34/303.41	c  303s |      16 |   275046 |   159852 |    19477     15 |      768 |      644
305.44/305.57	c  305s |      16 |   276854 |   161052 |    19477     15 |      768 |      644
307.54/307.68	c  307s |      16 |   277685 |   161752 |    19477     15 |      768 |      644
309.54/309.69	c  309s |      16 |   278692 |   162552 |    19477     15 |      768 |      644
311.74/311.89	c  311s |      16 |   279803 |   163452 |    19477     15 |      768 |      644
314.04/314.10	c  313s |      16 |   280926 |   164352 |    19477     15 |      768 |      644
316.14/316.22	c  315s |      16 |   282258 |   165252 |    19477     16 |      768 |      644
318.23/318.32	c  318s |      16 |   283530 |   166252 |    19477     16 |      768 |      644
320.35/320.46	c  320s |      16 |   284629 |   167152 |    19477     16 |      768 |      644
322.44/322.57	c  322s |      16 |   285605 |   167952 |    19477     16 |      768 |      644
324.53/324.65	c  324s |      16 |   286854 |   168852 |    19477     16 |      768 |      644
326.73/326.84	c  326s |      16 |   288087 |   169752 |    19477     16 |      768 |      644
328.83/328.94	c  328s |      16 |   289751 |   170852 |    19477     16 |      768 |      644
330.83/330.96	c  330s |      16 |   290948 |   171752 |    19477     16 |      768 |      644
332.93/333.02	c  332s |      16 |   291940 |   172552 |    19477     16 |      768 |      644
335.03/335.17	c  334s |      16 |   293064 |   173452 |    19477     16 |      768 |      644
337.23/337.32	c  337s |      16 |   294068 |   174252 |    19477     16 |      768 |      644
339.23/339.35	c  339s |      16 |   294892 |   174952 |    19477     16 |      768 |      644
341.33/341.46	c  341s |      16 |   295714 |   175652 |    19477     16 |      768 |      644
343.73/343.89	c  343s |      16 |   296417 |   176252 |    19477     17 |      768 |      644
345.83/345.96	c  345s |      16 |   297218 |   176952 |    19477     17 |      768 |      644
347.93/348.01	c  347s |      16 |   297985 |   177652 |    19477     17 |      768 |      644
349.94/350.03	c  349s |      16 |   299077 |   178452 |    19477     17 |      768 |      644
352.14/352.23	c  351s |      16 |   300445 |   179452 |    19477     17 |      768 |      644
354.23/354.30	c  354s |      16 |   301523 |   180352 |    19477     17 |      768 |      644
356.23/356.34	c  356s |      16 |   302561 |   181152 |    19477     17 |      768 |      644
358.44/358.58	c  358s |      16 |   303966 |   182152 |    19477     17 |      768 |      644
360.54/360.60	c  360s |      16 |   304904 |   182952 |    19477     17 |      768 |      644
362.74/362.84	c  362s |      16 |   305837 |   183752 |    19477     17 |      768 |      644
364.84/364.98	c  364s |      16 |   306650 |   184452 |    19477     17 |      768 |      644
367.04/367.18	c  366s |      16 |   307504 |   185152 |    19477     17 |      768 |      644
369.13/369.24	c  368s |      16 |   308201 |   185752 |    19477     17 |      768 |      644
371.13/371.28	c  371s |      16 |   308872 |   186352 |    19477     17 |      768 |      644
373.23/373.35	c  373s |      16 |   309549 |   186952 |    19477     17 |      768 |      644
375.24/375.36	c  375s |      16 |   310236 |   187552 |    19477     17 |      768 |      644
377.44/377.56	c  377s |      16 |   310891 |   188152 |    19477     18 |      768 |      644
379.64/379.78	c  379s |      16 |   311787 |   188952 |    19477     18 |      768 |      644
381.94/382.06	c  381s |      16 |   312695 |   189752 |    19477     18 |      768 |      644
384.23/384.34	c  384s |      16 |   313636 |   190552 |    19477     18 |      768 |      644
386.43/386.52	c  386s |      16 |   314402 |   191252 |    19477     18 |      768 |      644
388.54/388.66	c  388s |      16 |   315193 |   191952 |    19477     18 |      768 |      644
390.53/390.67	c  390s |      16 |   315891 |   192552 |    19477     18 |      768 |      644
392.84/392.96	c  392s |      16 |   316665 |   193252 |    19477     18 |      768 |      644
394.93/395.03	c  394s |      16 |   317333 |   193852 |    19477     18 |      768 |      644
396.93/397.09	c  396s |      16 |   318043 |   194452 |    19477     18 |      768 |      644
399.03/399.19	c  398s |      16 |   319140 |   195252 |    19477     18 |      768 |      644
401.33/401.40	c  401s |      16 |   320095 |   195952 |    19477     18 |      768 |      644
403.42/403.53	c  403s |      16 |   320986 |   196652 |    21425     18 |      768 |      644
405.62/405.71	c  405s |      16 |   321809 |   197352 |    21425     18 |      768 |      644
405.82/405.96	c  405s |      17 |   321904 |   197432 |    21425     18 |      768 |      644
407.92/408.01	c  407s |      17 |   325227 |   199132 |    21425     18 |      768 |      644
410.02/410.12	c  409s |      17 |   326847 |   200632 |    21425     18 |      768 |      644
412.12/412.27	c  412s |      17 |   328047 |   201732 |    21425     19 |      768 |      644
414.22/414.34	c  414s |      17 |   329401 |   202932 |    21425     19 |      768 |      644
416.32/416.42	c  416s |      17 |   330481 |   203932 |    21425     19 |      768 |      644
418.42/418.55	c  418s |      17 |   331730 |   205032 |    21425     19 |      768 |      644
420.52/420.68	c  420s |      17 |   333286 |   206432 |    21425     19 |      768 |      644
422.63/422.74	c  422s |      17 |   334466 |   207532 |    21425     19 |      768 |      644
424.83/424.91	c  424s |      17 |   335544 |   208532 |    21425     19 |      768 |      644
426.93/427.02	c  426s |      17 |   336512 |   209432 |    21425     19 |      768 |      644
429.13/429.26	c  429s |      17 |   337471 |   210332 |    21425     19 |      768 |      644
431.22/431.40	c  431s |      17 |   338322 |   211132 |    21425     19 |      768 |      644
433.42/433.51	c  433s |      17 |   339056 |   211832 |    21425     19 |      768 |      644
435.62/435.80	c  435s |      17 |   339906 |   212632 |    21425     19 |      768 |      644
437.93/438.07	c  437s |      17 |   340761 |   213432 |    21425     19 |      768 |      644
439.92/440.09	c  439s |      17 |   341411 |   214032 |    21425     20 |      768 |      644
442.02/442.11	c  441s |      17 |   342166 |   214732 |    21425     20 |      768 |      644
444.02/444.18	c  443s |      17 |   342930 |   215432 |    21425     20 |      768 |      644
446.02/446.19	c  445s |      17 |   343699 |   216132 |    21425     20 |      768 |      644
448.12/448.25	c  447s |      17 |   344338 |   216732 |    21425     20 |      768 |      644
450.42/450.59	c  450s |      17 |   345098 |   217432 |    21425     20 |      768 |      644
452.52/452.68	c  452s |      17 |   345746 |   218032 |    21425     20 |      768 |      644
454.81/454.92	c  454s |      17 |   346386 |   218632 |    21425     20 |      768 |      644
457.11/457.29	c  457s |      17 |   347028 |   219232 |    21425     20 |      768 |      644
459.41/459.58	c  459s |      17 |   347652 |   219832 |    21425     20 |      768 |      644
461.41/461.59	c  461s |      17 |   348183 |   220332 |    21425     20 |      768 |      644
463.81/464.00	c  463s |      17 |   348789 |   220932 |    21425     20 |      768 |      644
466.01/466.19	c  465s |      17 |   349314 |   221432 |    21425     20 |      768 |      644
468.21/468.36	c  468s |      17 |   349842 |   221932 |    21425     20 |      768 |      644
470.41/470.54	c  470s |      17 |   350493 |   222532 |    21425     20 |      768 |      644
472.61/472.73	c  472s |      17 |   351168 |   223132 |    21425     20 |      768 |      644
474.71/474.88	c  474s |      17 |   351708 |   223632 |    21425     20 |      768 |      644
476.81/476.96	c  476s |      17 |   352564 |   224332 |    21425     20 |      768 |      644
478.81/478.97	c  478s |      17 |   353252 |   224932 |    21425     20 |      768 |      644
481.01/481.13	c  480s |      17 |   353924 |   225532 |    21425     20 |      768 |      644
483.12/483.28	c  483s |      17 |   354450 |   226032 |    21425     21 |      768 |      644
485.32/485.42	c  485s |      17 |   355190 |   226732 |    21425     21 |      768 |      644
487.42/487.53	c  487s |      17 |   355946 |   227432 |    21425     21 |      768 |      644
489.51/489.65	c  489s |      17 |   356698 |   228132 |    21425     21 |      768 |      644
491.82/491.95	c  491s |      17 |   357445 |   228832 |    21425     21 |      768 |      644
493.91/494.01	c  493s |      17 |   358070 |   229432 |    21425     21 |      768 |      644
496.01/496.10	c  495s |      17 |   358717 |   230032 |    21425     21 |      768 |      644
498.21/498.38	c  498s |      17 |   359357 |   230632 |    21425     21 |      768 |      644
500.41/500.50	c  500s |      17 |   359983 |   231232 |    21425     21 |      768 |      644
502.61/502.71	c  502s |      17 |   360613 |   231832 |    21425     21 |      768 |      644
504.61/504.71	c  504s |      17 |   361124 |   232332 |    21425     21 |      768 |      644
506.61/506.77	c  506s |      17 |   361777 |   232932 |    21425     21 |      768 |      644
509.00/509.18	c  508s |      17 |   362411 |   233532 |    21425     21 |      768 |      644
511.20/511.36	c  511s |      17 |   362920 |   234032 |    21425     21 |      768 |      644
513.50/513.68	c  513s |      17 |   363448 |   234532 |    21425     21 |      768 |      644
515.90/516.07	c  515s |      17 |   363965 |   235032 |    21425     21 |      768 |      644
517.90/518.09	c  517s |      17 |   364383 |   235432 |    21425     21 |      768 |      644
520.41/520.53	c  520s |      17 |   364907 |   235932 |    21425     21 |      768 |      644
522.71/522.85	c  522s |      17 |   365443 |   236432 |    21425     21 |      768 |      644
524.70/524.86	c  524s |      17 |   365876 |   236832 |    21425     21 |      768 |      644
527.01/527.20	c  526s |      17 |   366410 |   237332 |    21425     21 |      768 |      644
529.11/529.26	c  529s |      17 |   366833 |   237732 |    21425     21 |      768 |      644
531.42/531.56	c  531s |      17 |   367246 |   238132 |    21425     21 |      768 |      644
533.51/533.68	c  533s |      17 |   367552 |   238432 |    21425     22 |      768 |      644
535.61/535.79	c  535s |      17 |   368213 |   239032 |    21425     22 |      768 |      644
537.91/538.03	c  537s |      17 |   368853 |   239632 |    21425     22 |      768 |      644
540.32/540.43	c  540s |      17 |   369483 |   240232 |    21425     22 |      768 |      644
542.42/542.54	c  542s |      17 |   370008 |   240732 |    21425     22 |      768 |      644
544.41/544.56	c  544s |      17 |   370520 |   241232 |    21425     22 |      768 |      644
546.71/546.82	c  546s |      17 |   371048 |   241732 |    21425     22 |      768 |      644
548.90/549.05	c  548s |      17 |   371675 |   242332 |    21425     22 |      768 |      644
551.10/551.26	c  551s |      17 |   372186 |   242832 |    21425     22 |      768 |      644
553.60/553.76	c  553s |      17 |   372711 |   243332 |    21425     22 |      768 |      644
555.90/556.08	c  555s |      17 |   373357 |   243932 |    21425     22 |      768 |      644
558.10/558.21	c  557s |      17 |   373886 |   244432 |    21425     22 |      768 |      644
560.11/560.22	c  559s |      17 |   374423 |   244932 |    21425     22 |      768 |      644
562.21/562.39	c  562s |      17 |   374945 |   245432 |    21425     22 |      768 |      644
564.41/564.59	c  564s |      17 |   375476 |   245932 |    21425     22 |      768 |      644
566.80/566.92	c  566s |      17 |   376143 |   246532 |    21425     22 |      768 |      644
568.91/569.08	c  568s |      17 |   376785 |   247132 |    21425     22 |      768 |      644
571.20/571.34	c  571s |      17 |   377418 |   247732 |    21425     22 |      768 |      644
573.31/573.44	c  573s |      17 |   377953 |   248232 |    21425     22 |      768 |      644
575.30/575.49	c  575s |      17 |   378381 |   248632 |    21425     22 |      768 |      644
577.50/577.62	c  577s |      17 |   378811 |   249032 |    21425     22 |      768 |      644
579.50/579.66	c  579s |      17 |   379227 |   249432 |    21425     22 |      768 |      644
581.70/581.85	c  581s |      17 |   379747 |   249932 |    21425     22 |      768 |      644
583.80/583.99	c  583s |      17 |   380278 |   250432 |    21425     22 |      768 |      644
586.10/586.22	c  585s |      17 |   380704 |   250832 |    21425     23 |      768 |      644
588.30/588.40	c  588s |      17 |   381346 |   251432 |    21425     23 |      768 |      644
590.40/590.52	c  590s |      17 |   381876 |   251932 |    21425     23 |      768 |      644
592.60/592.76	c  592s |      17 |   382525 |   252532 |    21425     23 |      768 |      644
594.90/595.01	c  594s |      17 |   383163 |   253132 |    21425     23 |      768 |      644
597.00/597.16	c  596s |      17 |   383800 |   253732 |    21425     23 |      768 |      644
599.39/599.55	c  599s |      17 |   384411 |   254332 |    21425     23 |      768 |      644
601.49/601.67	c  601s |      17 |   384939 |   254832 |    21425     23 |      768 |      644
603.89/604.07	c  603s |      17 |   385468 |   255332 |    21425     23 |      768 |      644
606.09/606.25	c  605s |      17 |   386007 |   255832 |    21425     23 |      768 |      644
608.19/608.38	c  608s |      17 |   386539 |   256332 |    21425     23 |      768 |      644
610.39/610.52	c  610s |      17 |   387062 |   256832 |    21425     23 |      768 |      644
612.69/612.82	c  612s |      17 |   387590 |   257332 |    21425     23 |      768 |      644
614.89/615.01	c  614s |      17 |   388107 |   257832 |    21425     23 |      768 |      644
617.20/617.39	c  617s |      17 |   388640 |   258332 |    21425     23 |      768 |      644
619.50/619.61	c  619s |      17 |   389154 |   258832 |    21425     23 |      768 |      644
621.49/621.67	c  621s |      17 |   389562 |   259232 |    21425     23 |      768 |      644
623.80/623.93	c  623s |      17 |   390221 |   259832 |    21425     23 |      768 |      644
625.78/625.94	c  625s |      17 |   390755 |   260332 |    21425     23 |      768 |      644
627.78/627.99	c  627s |      17 |   391291 |   260832 |    21425     23 |      768 |      644
629.98/630.11	c  629s |      17 |   391823 |   261332 |    21425     23 |      768 |      644
631.98/632.12	c  631s |      17 |   392346 |   261832 |    21425     23 |      768 |      644
634.28/634.48	c  634s |      17 |   392994 |   262432 |    21425     23 |      768 |      644
636.88/637.03	c  636s |      17 |   393550 |   262932 |    21425     24 |      768 |      644
639.19/639.34	c  639s |      17 |   394295 |   263632 |    21425     24 |      768 |      644
641.58/641.75	c  641s |      17 |   395049 |   264332 |    21425     24 |      768 |      644
643.59/643.76	c  643s |      17 |   395680 |   264932 |    21425     24 |      768 |      644
645.79/645.95	c  645s |      17 |   396315 |   265532 |    21425     24 |      768 |      644
647.99/648.18	c  647s |      17 |   396943 |   266132 |    21425     24 |      768 |      644
650.18/650.31	c  650s |      17 |   397568 |   266732 |    21425     24 |      768 |      644
652.38/652.53	c  652s |      17 |   398194 |   267332 |    21425     24 |      768 |      644
654.58/654.80	c  654s |      17 |   398828 |   267932 |    21425     24 |      768 |      644
656.97/657.16	c  656s |      17 |   399460 |   268532 |    21425     24 |      768 |      644
659.08/659.21	c  658s |      17 |   399985 |   269032 |    21425     24 |      768 |      644
661.18/661.33	c  661s |      17 |   400492 |   269532 |    21425     24 |      768 |      644
663.17/663.40	c  663s |      17 |   401017 |   270032 |    21425     24 |      768 |      644
665.47/665.63	c  665s |      17 |   401539 |   270532 |    21425     24 |      768 |      644
667.67/667.90	c  667s |      17 |   402063 |   271032 |    21425     24 |      768 |      644
670.07/670.23	c  669s |      17 |   402585 |   271532 |    21425     24 |      768 |      644
672.46/672.67	c  672s |      17 |   403111 |   272032 |    21425     24 |      768 |      644
674.96/675.10	c  674s |      17 |   403630 |   272532 |    21425     24 |      768 |      644
677.36/677.54	c  677s |      17 |   404138 |   273032 |    21425     24 |      768 |      644
679.46/679.63	c  679s |      17 |   404547 |   273432 |    21425     24 |      768 |      644
681.46/681.65	c  681s |      17 |   404958 |   273832 |    21425     24 |      768 |      644
683.96/684.15	c  683s |      17 |   405483 |   274332 |    21425     24 |      768 |      644
686.16/686.33	c  686s |      17 |   406055 |   274832 |    21425     24 |      768 |      644
688.46/688.63	c  688s |      17 |   406588 |   275332 |    21425     25 |      768 |      644
690.75/690.92	c  690s |      17 |   407472 |   276132 |    21425     25 |      768 |      644
693.06/693.23	c  692s |      17 |   408230 |   276832 |    21425     25 |      768 |      644
695.15/695.38	c  695s |      17 |   408899 |   277432 |    21425     25 |      768 |      644
697.46/697.64	c  697s |      17 |   409517 |   278032 |    21425     25 |      768 |      644
699.55/699.70	c  699s |      17 |   410155 |   278632 |    21425     25 |      768 |      644
701.55/701.74	c  701s |      17 |   410793 |   279232 |    21425     25 |      768 |      644
703.65/703.90	c  703s |      17 |   411469 |   279832 |    21425     25 |      768 |      644
705.85/706.00	c  705s |      17 |   412263 |   280532 |    21425     25 |      768 |      644
707.95/708.10	c  707s |      17 |   412908 |   281132 |    21425     25 |      768 |      644
710.34/710.50	c  710s |      17 |   413671 |   281832 |    21425     25 |      768 |      644
712.34/712.52	c  712s |      17 |   414346 |   282432 |    21425     25 |      768 |      644
714.34/714.54	c  714s |      17 |   415018 |   283032 |    21425     25 |      768 |      644
716.44/716.68	c  716s |      17 |   415705 |   283632 |    21425     25 |      768 |      644
718.54/718.71	c  718s |      17 |   416234 |   284132 |    21425     25 |      768 |      644
720.55/720.72	c  720s |      17 |   416761 |   284632 |    21425     25 |      768 |      644
722.54/722.78	c  722s |      17 |   417275 |   285132 |    21425     25 |      768 |      644
724.74/724.93	c  724s |      17 |   417788 |   285632 |    21425     25 |      768 |      644
726.94/727.10	c  726s |      17 |   418315 |   286132 |    21425     25 |      768 |      644
729.04/729.28	c  729s |      17 |   418856 |   286632 |    21425     25 |      768 |      644
731.13/731.35	c  731s |      17 |   419401 |   287132 |    21425     25 |      768 |      644
733.93/734.16	c  733s |      17 |   419932 |   287632 |    21425     26 |      768 |      644
736.23/736.43	c  736s |      17 |   420686 |   288332 |    21425     26 |      768 |      644
738.33/738.50	c  738s |      17 |   421327 |   288932 |    21425     26 |      768 |      644
740.63/740.81	c  740s |      17 |   422057 |   289632 |    21425     26 |      768 |      644
742.73/742.98	c  742s |      17 |   422696 |   290232 |    21425     26 |      768 |      644
744.93/745.17	c  744s |      17 |   423224 |   290732 |    21425     26 |      768 |      644
747.23/747.46	c  747s |      17 |   424038 |   291432 |    21425     26 |      768 |      644
749.63/749.80	c  749s |      17 |   424826 |   292132 |    21425     26 |      768 |      644
751.92/752.13	c  751s |      17 |   425480 |   292732 |    21425     26 |      768 |      644
754.02/754.24	c  753s |      17 |   426134 |   293332 |    21425     26 |      768 |      644
756.32/756.50	c  756s |      17 |   426787 |   293932 |    21425     26 |      768 |      644
758.42/758.64	c  758s |      17 |   427493 |   294532 |    23568     26 |      768 |      644
760.72/760.94	c  760s |      17 |   428143 |   295132 |    23568     26 |      768 |      644
762.72/762.96	c  762s |      17 |   428683 |   295632 |    23568     26 |      768 |      644
764.92/765.13	c  764s |      17 |   429225 |   296132 |    23568     26 |      768 |      644
765.42/765.65	c  765s |      18 |   429357 |   296252 |    23568     26 |      768 |      644
767.53/767.75	c  767s |      18 |   437950 |   297652 |    23568     26 |      768 |      644
769.62/769.86	c  769s |      18 |   438908 |   298452 |    23568     26 |      768 |      644
771.82/772.00	c  771s |      18 |   439657 |   299152 |    23568     26 |      768 |      644
773.92/774.13	c  773s |      18 |   440444 |   299852 |    23568     26 |      768 |      644
776.02/776.29	c  776s |      18 |   441223 |   300552 |    23568     26 |      768 |      644
778.12/778.39	c  778s |      18 |   442017 |   301252 |    23568     26 |      768 |      644
780.31/780.59	c  780s |      18 |   442804 |   301952 |    23568     26 |      768 |      644
782.51/782.79	c  782s |      18 |   443540 |   302552 |    23568     27 |      768 |      644
784.61/784.85	c  784s |      18 |   444516 |   303352 |    23568     27 |      768 |      644
786.71/786.90	c  786s |      18 |   445442 |   304152 |    23568     27 |      768 |      644
788.82/789.03	c  788s |      18 |   446338 |   304952 |    23568     27 |      768 |      644
790.80/791.06	c  790s |      18 |   447115 |   305652 |    23568     27 |      768 |      644
793.11/793.34	c  793s |      18 |   448018 |   306452 |    23568     27 |      768 |      644
795.10/795.39	c  795s |      18 |   448773 |   307152 |    23568     27 |      768 |      644
797.20/797.49	c  797s |      18 |   449550 |   307852 |    23568     27 |      768 |      644
799.60/799.89	c  799s |      18 |   450285 |   308552 |    23568     27 |      768 |      644
801.91/802.11	c  801s |      18 |   451054 |   309252 |    23568     27 |      768 |      644
804.21/804.47	c  804s |      18 |   451822 |   309952 |    23568     27 |      768 |      644
806.41/806.62	c  806s |      18 |   452619 |   310652 |    23568     27 |      768 |      644
808.40/808.68	c  808s |      18 |   453377 |   311352 |    23568     27 |      768 |      644
810.49/810.77	c  810s |      18 |   454121 |   312052 |    23568     27 |      768 |      644
812.69/812.97	c  812s |      18 |   454878 |   312752 |    23568     27 |      768 |      644
814.99/815.26	c  815s |      18 |   455618 |   313452 |    23568     27 |      768 |      644
817.19/817.50	c  817s |      18 |   456508 |   314152 |    23568     27 |      768 |      644
819.60/819.84	c  819s |      18 |   457508 |   314952 |    23568     27 |      768 |      644
822.09/822.38	c  822s |      18 |   458204 |   315552 |    23568     28 |      768 |      644
824.19/824.46	c  824s |      18 |   459103 |   316352 |    23568     28 |      768 |      644
826.29/826.52	c  826s |      18 |   459902 |   317052 |    23568     28 |      768 |      644
828.49/828.73	c  828s |      18 |   460648 |   317752 |    23568     28 |      768 |      644
830.69/830.91	c  830s |      18 |   461395 |   318452 |    23568     28 |      768 |      644
832.80/833.07	c  832s |      18 |   462143 |   319152 |    23568     28 |      768 |      644
834.79/835.08	c  834s |      18 |   463019 |   319852 |    23568     28 |      768 |      644
837.10/837.35	c  837s |      18 |   463801 |   320552 |    23568     28 |      768 |      644
839.39/839.63	c  839s |      18 |   464559 |   321252 |    23568     28 |      768 |      644
841.49/841.81	c  841s |      18 |   465188 |   321852 |    23568     28 |      768 |      644
843.69/843.97	c  843s |      18 |   465874 |   322452 |    23568     28 |      768 |      644
845.99/846.27	c  846s |      18 |   466509 |   323052 |    23568     28 |      768 |      644
848.28/848.56	c  848s |      18 |   467126 |   323652 |    23568     28 |      768 |      644
850.39/850.65	c  850s |      18 |   467792 |   324252 |    23568     28 |      768 |      644
852.59/852.85	c  852s |      18 |   468421 |   324852 |    23568     28 |      768 |      644
854.88/855.17	c  854s |      18 |   469050 |   325452 |    23568     28 |      768 |      644
856.99/857.25	c  856s |      18 |   469586 |   325952 |    23568     28 |      768 |      644
859.09/859.38	c  859s |      18 |   470298 |   326552 |    23568     28 |      768 |      644
861.18/861.49	c  861s |      18 |   470829 |   327052 |    23568     28 |      768 |      644
863.28/863.57	c  863s |      18 |   471735 |   327752 |    23568     28 |      768 |      644
865.48/865.75	c  865s |      18 |   473091 |   328552 |    23568     29 |      768 |      644
867.58/867.89	c  867s |      18 |   474490 |   329552 |    23568     29 |      768 |      644
869.67/869.99	c  869s |      18 |   475416 |   330352 |    23568     29 |      768 |      644
871.88/872.15	c  871s |      18 |   476460 |   331252 |    23568     29 |      768 |      644
873.98/874.25	c  873s |      18 |   477432 |   332052 |    23568     29 |      768 |      644
876.08/876.32	c  876s |      18 |   478288 |   332852 |    23568     29 |      768 |      644
878.28/878.50	c  878s |      18 |   479045 |   333552 |    23568     29 |      768 |      644
880.37/880.64	c  880s |      18 |   479816 |   334252 |    23568     29 |      768 |      644
882.37/882.66	c  882s |      18 |   483458 |   335352 |    23568     29 |      768 |      644
884.48/884.74	c  884s |      18 |   486461 |   336952 |    23568     29 |      768 |      644
886.47/886.77	c  886s |      18 |   488144 |   338352 |    23568     29 |      768 |      644
888.57/888.84	c  888s |      18 |   489554 |   339552 |    23568     29 |      768 |      644
890.67/890.91	c  890s |      18 |   490681 |   340552 |    23568     29 |      768 |      644
892.77/893.07	c  892s |      18 |   492011 |   341652 |    23568     29 |      768 |      644
895.06/895.32	c  895s |      18 |   493216 |   342652 |    23568     30 |      768 |      644
897.16/897.42	c  897s |      18 |   494549 |   343752 |    23568     30 |      768 |      644
899.26/899.59	c  899s |      18 |   495704 |   344752 |    23568     30 |      768 |      644
901.36/901.69	c  901s |      18 |   496896 |   345752 |    23568     30 |      768 |      644
903.56/903.84	c  903s |      18 |   498070 |   346752 |    23568     30 |      768 |      644
905.66/905.96	c  905s |      18 |   499093 |   347652 |    23568     30 |      768 |      644
907.86/908.11	c  907s |      18 |   500140 |   348552 |    23568     30 |      768 |      644
909.85/910.19	c  909s |      18 |   501023 |   349352 |    23568     30 |      768 |      644
912.05/912.36	c  912s |      18 |   501764 |   350052 |    23568     30 |      768 |      644
914.16/914.45	c  914s |      18 |   502659 |   350852 |    23568     30 |      768 |      644
916.26/916.59	c  916s |      18 |   503418 |   351552 |    23568     30 |      768 |      644
918.46/918.71	c  918s |      18 |   504198 |   352252 |    23568     30 |      768 |      644
920.66/920.96	c  920s |      18 |   505173 |   353052 |    23568     30 |      768 |      644
922.65/922.99	c  922s |      18 |   506200 |   353852 |    23568     30 |      768 |      644
924.75/925.03	c  924s |      18 |   507358 |   354852 |    23568     30 |      768 |      644
926.85/927.14	c  926s |      18 |   508423 |   355752 |    23568     31 |      768 |      644
929.04/929.33	c  929s |      18 |   509471 |   356652 |    23568     31 |      768 |      644
931.04/931.38	c  931s |      18 |   510638 |   357552 |    23568     31 |      768 |      644
933.14/933.49	c  933s |      18 |   511890 |   358552 |    23568     31 |      768 |      644
935.24/935.50	c  935s |      18 |   512819 |   359352 |    23568     31 |      768 |      644
937.34/937.61	c  937s |      18 |   513862 |   360252 |    23568     31 |      768 |      644
939.53/939.83	c  939s |      18 |   515063 |   361252 |    23568     31 |      768 |      644
941.73/942.08	c  941s |      18 |   516142 |   362152 |    23568     31 |      768 |      644
944.03/944.33	c  944s |      18 |   517230 |   363052 |    23568     31 |      768 |      644
946.23/946.54	c  946s |      18 |   518370 |   363952 |    23568     31 |      768 |      644
948.33/948.60	c  948s |      18 |   519450 |   364852 |    23568     31 |      768 |      644
950.33/950.63	c  950s |      18 |   520776 |   365752 |    23568     31 |      768 |      644
952.53/952.83	c  952s |      18 |   521780 |   366552 |    23568     31 |      768 |      644
954.52/954.89	c  954s |      18 |   522621 |   367252 |    23568     31 |      768 |      644
956.82/957.10	c  956s |      18 |   523578 |   368052 |    23568     31 |      768 |      644
959.02/959.38	c  959s |      18 |   524276 |   368652 |    23568     32 |      768 |      644
961.21/961.61	c  961s |      18 |   525184 |   369452 |    23568     32 |      768 |      644
963.41/963.77	c  963s |      18 |   526102 |   370252 |    23568     32 |      768 |      644
965.51/965.86	c  965s |      18 |   526984 |   370952 |    23568     32 |      768 |      644
967.71/968.01	c  967s |      18 |   528052 |   371852 |    23568     32 |      768 |      644
969.90/970.26	c  970s |      18 |   528952 |   372652 |    23568     32 |      768 |      644
972.00/972.31	c  972s |      18 |   529811 |   373352 |    23568     32 |      768 |      644
974.20/974.56	c  974s |      18 |   530469 |   373952 |    23568     32 |      768 |      644
976.30/976.66	c  976s |      18 |   531162 |   374552 |    23568     32 |      768 |      644
978.60/978.93	c  978s |      18 |   531983 |   375252 |    23568     32 |      768 |      644
980.79/981.18	c  980s |      18 |   532810 |   375952 |    23568     32 |      768 |      644
982.89/983.21	c  982s |      18 |   533373 |   376452 |    23568     32 |      768 |      644
985.19/985.59	c  985s |      18 |   534066 |   377052 |    23568     32 |      768 |      644
987.29/987.65	c  987s |      18 |   534637 |   377552 |    23568     32 |      768 |      644
989.69/990.05	c  989s |      18 |   535346 |   378152 |    23568     32 |      768 |      644
991.99/992.31	c  992s |      18 |   536157 |   378852 |    23568     32 |      768 |      644
994.18/994.60	c  994s |      18 |   536805 |   379452 |    23568     32 |      768 |      644
996.60/996.96	c  996s |      18 |   537476 |   380052 |    23568     32 |      768 |      644
998.58/998.99	c  998s |      18 |   538025 |   380552 |    23568     32 |      768 |      644
1000.78/1001.15	c 1000s |      18 |   538774 |   381152 |    23568     32 |      768 |      644
1003.19/1003.53	c 1003s |      18 |   539468 |   381752 |    23568     32 |      768 |      644
1005.39/1005.76	c 1005s |      18 |   540155 |   382352 |    23568     33 |      768 |      644
1007.59/1007.91	c 1007s |      18 |   541086 |   383152 |    23568     33 |      768 |      644
1009.57/1009.94	c 1009s |      18 |   542067 |   383952 |    23568     33 |      768 |      644
1011.77/1012.16	c 1011s |      18 |   542888 |   384652 |    23568     33 |      768 |      644
1013.97/1014.31	c 1014s |      18 |   543693 |   385352 |    23568     33 |      768 |      644
1016.17/1016.57	c 1016s |      18 |   544464 |   386052 |    23568     33 |      768 |      644
1018.27/1018.64	c 1018s |      18 |   545139 |   386652 |    23568     33 |      768 |      644
1020.36/1020.70	c 1020s |      18 |   545822 |   387252 |    23568     33 |      768 |      644
1022.56/1022.94	c 1022s |      18 |   546618 |   387952 |    23568     33 |      768 |      644
1024.56/1024.94	c 1024s |      18 |   547326 |   388552 |    23568     33 |      768 |      644
1026.66/1027.09	c 1026s |      18 |   547987 |   389152 |    23568     33 |      768 |      644
1029.06/1029.46	c 1029s |      18 |   548661 |   389752 |    23568     33 |      768 |      644
1031.15/1031.59	c 1031s |      18 |   549314 |   390352 |    23568     33 |      768 |      644
1033.25/1033.69	c 1033s |      18 |   550039 |   390952 |    23568     33 |      768 |      644
1035.45/1035.86	c 1035s |      18 |   550716 |   391552 |    23568     33 |      768 |      644
1037.75/1038.19	c 1037s |      18 |   551394 |   392152 |    23568     33 |      768 |      644
1039.84/1040.22	c 1039s |      18 |   551959 |   392652 |    23568     33 |      768 |      644
1042.04/1042.46	c 1042s |      18 |   552675 |   393252 |    23568     33 |      768 |      644
1044.14/1044.57	c 1044s |      18 |   553362 |   393852 |    23568     33 |      768 |      644
1046.54/1046.91	c 1046s |      18 |   554213 |   394552 |    23568     33 |      768 |      644
1048.84/1049.30	c 1049s |      18 |   554905 |   395152 |    23568     33 |      768 |      644
1051.13/1051.55	c 1051s |      18 |   555576 |   395752 |    23568     34 |      768 |      644
1053.33/1053.77	c 1053s |      18 |   556516 |   396552 |    23568     34 |      768 |      644
1055.53/1055.97	c 1055s |      18 |   557449 |   397352 |    23568     34 |      768 |      644
1057.63/1058.04	c 1057s |      18 |   558260 |   398052 |    23568     34 |      768 |      644
1059.82/1060.24	c 1059s |      18 |   559055 |   398752 |    23568     34 |      768 |      644
1061.92/1062.35	c 1062s |      18 |   559881 |   399452 |    23568     34 |      768 |      644
1064.22/1064.64	c 1064s |      18 |   560850 |   400252 |    23568     34 |      768 |      644
1066.42/1066.84	c 1066s |      18 |   561519 |   400852 |    23568     34 |      768 |      644
1068.72/1069.15	c 1068s |      18 |   562204 |   401452 |    23568     34 |      768 |      644
1070.82/1071.21	c 1070s |      18 |   562915 |   402052 |    23568     34 |      768 |      644
1073.01/1073.44	c 1073s |      18 |   563731 |   402752 |    23568     34 |      768 |      644
1075.31/1075.75	c 1075s |      18 |   564566 |   403452 |    23568     34 |      768 |      644
1077.61/1078.00	c 1077s |      18 |   565350 |   404152 |    23568     34 |      768 |      644
1079.71/1080.13	c 1079s |      18 |   566032 |   404752 |    23568     34 |      768 |      644
1081.81/1082.27	c 1082s |      18 |   566726 |   405352 |    23568     34 |      768 |      644
1084.01/1084.49	c 1084s |      18 |   567416 |   405952 |    23568     34 |      768 |      644
1086.11/1086.55	c 1086s |      18 |   567978 |   406452 |    23568     34 |      768 |      644
1088.21/1088.65	c 1088s |      18 |   568525 |   406952 |    23568     34 |      768 |      644
1090.30/1090.74	c 1090s |      18 |   569109 |   407452 |    23568     34 |      768 |      644
1092.30/1092.78	c 1092s |      18 |   569696 |   407952 |    23568     34 |      768 |      644
1095.10/1095.51	c 1095s |      18 |   570493 |   408652 |    23568     35 |      768 |      644
1097.20/1097.60	c 1097s |      18 |   571308 |   409352 |    23568     35 |      768 |      644
1099.39/1099.88	c 1099s |      18 |   572248 |   410152 |    23568     35 |      768 |      644
1101.69/1102.16	c 1101s |      18 |   573207 |   410952 |    23568     35 |      768 |      644
1103.89/1104.34	c 1104s |      18 |   573984 |   411652 |    23568     35 |      768 |      644
1106.09/1106.55	c 1106s |      18 |   574841 |   412352 |    23568     35 |      768 |      644
1108.29/1108.70	c 1108s |      18 |   575676 |   413052 |    23568     35 |      768 |      644
1110.48/1110.94	c 1110s |      18 |   576333 |   413652 |    23568     35 |      768 |      644
1112.68/1113.10	c 1112s |      18 |   577016 |   414252 |    23568     35 |      768 |      644
1114.98/1115.41	c 1115s |      18 |   577673 |   414852 |    23568     35 |      768 |      644
1117.08/1117.53	c 1117s |      18 |   578337 |   415452 |    23568     35 |      768 |      644
1119.27/1119.78	c 1119s |      18 |   579008 |   416052 |    23568     35 |      768 |      644
1121.57/1122.06	c 1121s |      18 |   579680 |   416652 |    23568     35 |      768 |      644
1123.67/1124.11	c 1123s |      18 |   580240 |   417152 |    23568     35 |      768 |      644
1125.77/1126.21	c 1125s |      18 |   580922 |   417752 |    23568     35 |      768 |      644
1127.87/1128.36	c 1128s |      18 |   581492 |   418252 |    23568     35 |      768 |      644
1130.07/1130.58	c 1130s |      18 |   582074 |   418752 |    23568     35 |      768 |      644
1132.27/1132.74	c 1132s |      18 |   582651 |   419252 |    23568     35 |      768 |      644
1134.57/1135.01	c 1134s |      18 |   583382 |   419852 |    23568     35 |      768 |      644
1136.67/1137.19	c 1136s |      18 |   583934 |   420352 |    23568     35 |      768 |      644
1139.27/1139.70	c 1139s |      18 |   584471 |   420852 |    23568     35 |      768 |      644
1141.27/1141.71	c 1141s |      18 |   584892 |   421252 |    23568     35 |      768 |      644
1143.37/1143.89	c 1143s |      18 |   585475 |   421752 |    23568     35 |      768 |      644
1145.57/1146.04	c 1145s |      18 |   586059 |   422252 |    23568     36 |      768 |      644
1147.87/1148.32	c 1148s |      18 |   586899 |   422952 |    23568     36 |      768 |      644
1149.96/1150.49	c 1150s |      18 |   587597 |   423552 |    23568     36 |      768 |      644
1152.16/1152.69	c 1152s |      18 |   588400 |   424252 |    23568     36 |      768 |      644
1154.36/1154.80	c 1154s |      18 |   589053 |   424852 |    23568     36 |      768 |      644
1156.35/1156.89	c 1156s |      18 |   589720 |   425452 |    23568     36 |      768 |      644
1158.65/1159.11	c 1158s |      18 |   590392 |   426052 |    23568     36 |      768 |      644
1160.65/1161.14	c 1160s |      18 |   590936 |   426552 |    23568     36 |      768 |      644
1162.75/1163.25	c 1162s |      18 |   591591 |   427152 |    23568     36 |      768 |      644
1165.05/1165.57	c 1165s |      18 |   592383 |   427852 |    23568     36 |      768 |      644
1167.25/1167.71	c 1167s |      18 |   593078 |   428452 |    23568     36 |      768 |      644
1169.64/1170.10	c 1169s |      18 |   593775 |   429052 |    23568     36 |      768 |      644
1171.74/1172.26	c 1172s |      18 |   594479 |   429652 |    23568     36 |      768 |      644
1173.94/1174.40	c 1174s |      18 |   595195 |   430252 |    23568     36 |      768 |      644
1175.94/1176.44	c 1176s |      18 |   595892 |   430852 |    23568     36 |      768 |      644
1178.14/1178.63	c 1178s |      18 |   596617 |   431452 |    23568     36 |      768 |      644
1180.23/1180.70	c 1180s |      18 |   597209 |   431952 |    23568     36 |      768 |      644
1182.24/1182.78	c 1182s |      18 |   597770 |   432452 |    23568     36 |      768 |      644
1184.44/1184.94	c 1184s |      18 |   598485 |   433052 |    23568     36 |      768 |      644
1186.83/1187.34	c 1187s |      18 |   599178 |   433652 |    23568     36 |      768 |      644
1188.84/1189.40	c 1189s |      18 |   599755 |   434152 |    23568     36 |      768 |      644
1191.13/1191.62	c 1191s |      18 |   600342 |   434652 |    23568     36 |      768 |      644
1193.12/1193.69	c 1193s |      18 |   600928 |   435152 |    23568     36 |      768 |      644
1195.32/1195.82	c 1195s |      18 |   601483 |   435652 |    23568     37 |      768 |      644
1197.32/1197.87	c 1197s |      18 |   602169 |   436252 |    23568     37 |      768 |      644
1199.41/1199.92	c 1199s |      18 |   602974 |   436952 |    23568     37 |      768 |      644
1201.41/1201.96	c 1201s |      18 |   603786 |   437652 |    23568     37 |      768 |      644
1203.71/1204.28	c 1204s |      18 |   604602 |   438352 |    23568     37 |      768 |      644
1205.91/1206.44	c 1206s |      18 |   605273 |   438952 |    23568     37 |      768 |      644
1208.01/1208.56	c 1208s |      18 |   605837 |   439452 |    23568     37 |      768 |      644
1210.10/1210.66	c 1210s |      18 |   606559 |   440052 |    23568     37 |      768 |      644
1212.30/1212.86	c 1212s |      18 |   607359 |   440752 |    23568     37 |      768 |      644
1214.40/1214.94	c 1214s |      18 |   608210 |   441452 |    25925     37 |      768 |      644
1216.50/1217.07	c 1216s |      18 |   608898 |   442052 |    25925     37 |      768 |      644
1218.61/1219.16	c 1218s |      18 |   609617 |   442652 |    25925     37 |      768 |      644
1220.89/1221.49	c 1221s |      18 |   610309 |   443252 |    25925     37 |      768 |      644
1223.09/1223.66	c 1223s |      18 |   610996 |   443852 |    25925     37 |      768 |      644
1225.49/1226.04	c 1225s |      18 |   611674 |   444452 |    25925     37 |      768 |      644
1225.59/1226.13	c 1225s |      19 |   611713 |   444482 |    25925     37 |      768 |      644
1227.59/1228.16	c 1227s |      19 |   622480 |   446182 |    25925     37 |      768 |      644
1229.88/1230.41	c 1230s |      19 |   624073 |   447482 |    25925     37 |      768 |      644
1231.88/1232.43	c 1232s |      19 |   625296 |   448582 |    25925     37 |      768 |      644
1233.99/1234.58	c 1234s |      19 |   626543 |   449682 |    25925     37 |      768 |      644
1236.19/1236.76	c 1236s |      19 |   630204 |   450982 |    25925     38 |      768 |      644
1238.29/1238.86	c 1238s |      19 |   632035 |   452282 |    25925     38 |      768 |      644
1240.37/1240.94	c 1240s |      19 |   633433 |   453382 |    25925     38 |      768 |      644
1242.57/1243.13	c 1242s |      19 |   634507 |   454282 |    25925     38 |      768 |      644
1244.67/1245.26	c 1245s |      19 |   635856 |   455282 |    25925     38 |      768 |      644
1246.87/1247.48	c 1247s |      19 |   637164 |   456282 |    25925     38 |      768 |      644
1248.97/1249.54	c 1249s |      19 |   637989 |   456982 |    25925     38 |      768 |      644
1250.96/1251.59	c 1251s |      19 |   638793 |   457682 |    25925     38 |      768 |      644
1253.06/1253.67	c 1253s |      19 |   639671 |   458382 |    25925     38 |      768 |      644
1255.36/1255.91	c 1255s |      19 |   640590 |   459182 |    25925     38 |      768 |      644
1257.46/1258.05	c 1257s |      19 |   641388 |   459882 |    25925     38 |      768 |      644
1259.56/1260.14	c 1259s |      19 |   642160 |   460582 |    25925     38 |      768 |      644
1261.76/1262.30	c 1262s |      19 |   642832 |   461182 |    25925     38 |      768 |      644
1263.75/1264.31	c 1264s |      19 |   643485 |   461782 |    25925     38 |      768 |      644
1265.86/1266.41	c 1266s |      19 |   644159 |   462382 |    25925     38 |      768 |      644
1267.86/1268.46	c 1268s |      19 |   644892 |   462982 |    25925     38 |      768 |      644
1270.17/1270.71	c 1270s |      19 |   645555 |   463582 |    25925     38 |      768 |      644
1272.16/1272.79	c 1272s |      19 |   646110 |   464082 |    25925     38 |      768 |      644
1274.26/1274.81	c 1274s |      19 |   646681 |   464582 |    25925     38 |      768 |      644
1276.46/1277.08	c 1276s |      19 |   647245 |   465082 |    25925     38 |      768 |      644
1279.26/1279.87	c 1279s |      19 |   647798 |   465582 |    25925     39 |      768 |      644
1281.36/1281.98	c 1281s |      19 |   648360 |   466082 |    25925     39 |      768 |      644
1283.56/1284.20	c 1283s |      19 |   648920 |   466582 |    25925     39 |      768 |      644
1285.76/1286.34	c 1286s |      19 |   649455 |   467082 |    25925     39 |      768 |      644
1288.16/1288.76	c 1288s |      19 |   650002 |   467582 |    25925     39 |      768 |      644
1290.56/1291.18	c 1290s |      19 |   650648 |   468182 |    25925     39 |      768 |      644
1293.05/1293.60	c 1293s |      19 |   651205 |   468682 |    25925     39 |      768 |      644
1295.35/1295.97	c 1295s |      19 |   651786 |   469182 |    25925     39 |      768 |      644
1297.45/1298.08	c 1297s |      19 |   652209 |   469582 |    25925     39 |      768 |      644
1299.65/1300.27	c 1300s |      19 |   652639 |   469982 |    25925     39 |      768 |      644
1301.75/1302.34	c 1302s |      19 |   653096 |   470382 |    25925     39 |      768 |      644
1303.95/1304.53	c 1304s |      19 |   653523 |   470782 |    25925     39 |      768 |      644
1306.25/1306.89	c 1306s |      19 |   653956 |   471182 |    25925     39 |      768 |      644
1308.45/1309.05	c 1308s |      19 |   654387 |   471582 |    25925     39 |      768 |      644
1310.96/1311.56	c 1311s |      19 |   654934 |   472082 |    25925     39 |      768 |      644
1312.95/1313.58	c 1313s |      19 |   655350 |   472482 |    25925     39 |      768 |      644
1315.15/1315.79	c 1315s |      19 |   655809 |   472882 |    25925     39 |      768 |      644
1317.35/1317.98	c 1317s |      19 |   656374 |   473382 |    25925     39 |      768 |      644
1319.76/1320.36	c 1320s |      19 |   656916 |   473882 |    25925     39 |      768 |      644
1322.15/1322.72	c 1322s |      19 |   657470 |   474382 |    25925     39 |      768 |      644
1324.25/1324.82	c 1324s |      19 |   658027 |   474882 |    25925     39 |      768 |      644
1326.45/1327.08	c 1326s |      19 |   658573 |   475382 |    25925     39 |      768 |      644
1328.95/1329.53	c 1329s |      19 |   659135 |   475882 |    25925     39 |      768 |      644
1331.04/1331.63	c 1331s |      19 |   659561 |   476282 |    25925     39 |      768 |      644
1333.34/1333.96	c 1333s |      19 |   659993 |   476682 |    25925     39 |      768 |      644
1335.64/1336.25	c 1335s |      19 |   660450 |   477082 |    25925     39 |      768 |      644
1338.04/1338.65	c 1338s |      19 |   661019 |   477582 |    25925     39 |      768 |      644
1340.24/1340.89	c 1340s |      19 |   661568 |   478082 |    25925     39 |      768 |      644
1342.44/1343.04	c 1342s |      19 |   662020 |   478482 |    25925     39 |      768 |      644
1344.54/1345.14	c 1344s |      19 |   662456 |   478882 |    25925     39 |      768 |      644
1346.84/1347.44	c 1347s |      19 |   662883 |   479282 |    25925     39 |      768 |      644
1349.14/1349.75	c 1349s |      19 |   663337 |   479682 |    25925     39 |      768 |      644
1352.14/1352.77	c 1352s |      19 |   663773 |   480082 |    25925     40 |      768 |      644
1354.55/1355.17	c 1354s |      19 |   664296 |   480582 |    25925     40 |      768 |      644
1356.95/1357.60	c 1357s |      19 |   664836 |   481082 |    25925     40 |      768 |      644
1359.36/1359.91	c 1359s |      19 |   665356 |   481582 |    25925     40 |      768 |      644
1361.75/1362.32	c 1362s |      19 |   665917 |   482082 |    25925     40 |      768 |      644
1364.15/1364.76	c 1364s |      19 |   666446 |   482582 |    25925     40 |      768 |      644
1366.65/1367.26	c 1367s |      19 |   666992 |   483082 |    25925     40 |      768 |      644
1368.75/1369.32	c 1369s |      19 |   667418 |   483482 |    25925     40 |      768 |      644
1370.85/1371.50	c 1371s |      19 |   667852 |   483882 |    25925     40 |      768 |      644
1373.15/1373.71	c 1373s |      19 |   668274 |   484282 |    25925     40 |      768 |      644
1375.14/1375.79	c 1375s |      19 |   668702 |   484682 |    25925     40 |      768 |      644
1377.54/1378.16	c 1377s |      19 |   669243 |   485182 |    25925     40 |      768 |      644
1379.64/1380.20	c 1379s |      19 |   669676 |   485582 |    25925     40 |      768 |      644
1381.64/1382.22	c 1381s |      19 |   670109 |   485982 |    25925     40 |      768 |      644
1383.94/1384.55	c 1384s |      19 |   670533 |   486382 |    25925     40 |      768 |      644
1386.14/1386.78	c 1386s |      19 |   670955 |   486782 |    25925     40 |      768 |      644
1388.44/1389.07	c 1388s |      19 |   671385 |   487182 |    25925     40 |      768 |      644
1390.74/1391.33	c 1391s |      19 |   671813 |   487582 |    25925     40 |      768 |      644
1393.14/1393.76	c 1393s |      19 |   672250 |   487982 |    25925     40 |      768 |      644
1395.44/1396.07	c 1395s |      19 |   672684 |   488382 |    25925     40 |      768 |      644
1397.54/1398.18	c 1397s |      19 |   673287 |   488882 |    25925     40 |      768 |      644
1400.05/1400.62	c 1400s |      19 |   673846 |   489382 |    25925     40 |      768 |      644
1402.15/1402.71	c 1402s |      19 |   674291 |   489782 |    25925     40 |      768 |      644
1404.24/1404.85	c 1404s |      19 |   674732 |   490182 |    25925     40 |      768 |      644
1406.34/1406.94	c 1406s |      19 |   675160 |   490582 |    25925     40 |      768 |      644
1408.43/1409.05	c 1408s |      19 |   675616 |   490982 |    25925     40 |      768 |      644
1410.63/1411.29	c 1411s |      19 |   676048 |   491382 |    25925     40 |      768 |      644
1412.93/1413.58	c 1413s |      19 |   676494 |   491782 |    25925     40 |      768 |      644
1415.23/1415.84	c 1415s |      19 |   676920 |   492182 |    25925     40 |      768 |      644
1417.73/1418.32	c 1418s |      19 |   677350 |   492582 |    25925     40 |      768 |      644
1420.33/1420.93	c 1420s |      19 |   677764 |   492982 |    25925     40 |      768 |      644
1422.43/1423.09	c 1422s |      19 |   678075 |   493282 |    25925     40 |      768 |      644
1425.03/1425.66	c 1425s |      19 |   678510 |   493682 |    25925     40 |      768 |      644
1427.54/1428.18	c 1427s |      19 |   678932 |   494082 |    25925     40 |      768 |      644
1429.53/1430.20	c 1429s |      19 |   679247 |   494382 |    25925     40 |      768 |      644
1432.43/1433.05	c 1432s |      19 |   679562 |   494682 |    25925     41 |      768 |      644
1434.83/1435.46	c 1435s |      19 |   680077 |   495182 |    25925     41 |      768 |      644
1436.93/1437.59	c 1437s |      19 |   680541 |   495582 |    25925     41 |      768 |      644
1439.13/1439.74	c 1439s |      19 |   681066 |   496082 |    25925     41 |      768 |      644
1441.53/1442.12	c 1441s |      19 |   681715 |   496682 |    25925     41 |      768 |      644
1443.83/1444.41	c 1444s |      19 |   682387 |   497282 |    25925     41 |      768 |      644
1445.93/1446.57	c 1446s |      19 |   682925 |   497782 |    25925     41 |      768 |      644
1448.23/1448.84	c 1448s |      19 |   683469 |   498282 |    25925     41 |      768 |      644
1450.43/1451.10	c 1450s |      19 |   684001 |   498782 |    25925     41 |      768 |      644
1452.53/1453.19	c 1452s |      19 |   684434 |   499182 |    25925     41 |      768 |      644
1454.82/1455.47	c 1455s |      19 |   684979 |   499682 |    25925     41 |      768 |      644
1457.02/1457.70	c 1457s |      19 |   685550 |   500182 |    25925     41 |      768 |      644
1459.22/1459.90	c 1459s |      19 |   685968 |   500582 |    25925     41 |      768 |      644
1461.72/1462.38	c 1462s |      19 |   686510 |   501082 |    25925     41 |      768 |      644
1464.22/1464.87	c 1464s |      19 |   687060 |   501582 |    25925     41 |      768 |      644
1466.32/1466.92	c 1466s |      19 |   687492 |   501982 |    25925     41 |      768 |      644
1468.52/1469.11	c 1468s |      19 |   687922 |   502382 |    25925     41 |      768 |      644
1470.72/1471.32	c 1471s |      19 |   688349 |   502782 |    25925     41 |      768 |      644
1472.92/1473.58	c 1473s |      19 |   688759 |   503182 |    25925     41 |      768 |      644
1475.02/1475.61	c 1475s |      19 |   689182 |   503582 |    25925     41 |      768 |      644
1477.42/1478.07	c 1477s |      19 |   689614 |   503982 |    25925     41 |      768 |      644
1479.62/1480.20	c 1479s |      19 |   690066 |   504382 |    25925     41 |      768 |      644
1482.02/1482.64	c 1482s |      19 |   690632 |   504882 |    25925     41 |      768 |      644
1484.02/1484.68	c 1484s |      19 |   691073 |   505282 |    25925     41 |      768 |      644
1486.13/1486.77	c 1486s |      19 |   691530 |   505682 |    25925     41 |      768 |      644
1488.63/1489.23	c 1488s |      19 |   692090 |   506182 |    25925     41 |      768 |      644
1490.63/1491.28	c 1491s |      19 |   692540 |   506582 |    25925     41 |      768 |      644
1493.23/1493.83	c 1493s |      19 |   693081 |   507082 |    25925     41 |      768 |      644
1495.43/1496.01	c 1495s |      19 |   693519 |   507482 |    25925     41 |      768 |      644
1497.63/1498.29	c 1498s |      19 |   693963 |   507882 |    25925     41 |      768 |      644
1500.14/1500.80	c 1500s |      19 |   694421 |   508282 |    25925     41 |      768 |      644
1502.63/1503.29	c 1503s |      19 |   694857 |   508682 |    25925     41 |      768 |      644
1505.23/1505.81	c 1505s |      19 |   695290 |   509082 |    25925     41 |      768 |      644
1507.43/1508.05	c 1507s |      19 |   695598 |   509382 |    25925     42 |      768 |      644
1509.73/1510.30	c 1510s |      19 |   696121 |   509882 |    25925     42 |      768 |      644
1512.03/1512.65	c 1512s |      19 |   696653 |   510382 |    25925     42 |      768 |      644
1514.12/1514.73	c 1514s |      19 |   697065 |   510782 |    25925     42 |      768 |      644
1516.42/1517.10	c 1516s |      19 |   697622 |   511282 |    25925     42 |      768 |      644
1518.73/1519.39	c 1519s |      19 |   698178 |   511782 |    25925     42 |      768 |      644
1520.93/1521.56	c 1521s |      19 |   698760 |   512282 |    25925     42 |      768 |      644
1523.32/1523.92	c 1523s |      19 |   699308 |   512782 |    25925     42 |      768 |      644
1525.62/1526.28	c 1526s |      19 |   699863 |   513282 |    25925     42 |      768 |      644
1527.72/1528.36	c 1528s |      19 |   700286 |   513682 |    25925     42 |      768 |      644
1529.92/1530.54	c 1530s |      19 |   700720 |   514082 |    25925     42 |      768 |      644
1531.93/1532.60	c 1532s |      19 |   701157 |   514482 |    25925     42 |      768 |      644
1534.13/1534.77	c 1534s |      19 |   701592 |   514882 |    25925     42 |      768 |      644
1536.52/1537.16	c 1536s |      19 |   702020 |   515282 |    25925     42 |      768 |      644
1539.02/1539.60	c 1539s |      19 |   702434 |   515682 |    25925     42 |      768 |      644
1541.22/1541.86	c 1541s |      19 |   702858 |   516082 |    25925     42 |      768 |      644
1543.52/1544.17	c 1543s |      19 |   703270 |   516482 |    25925     42 |      768 |      644
1545.72/1546.33	c 1546s |      19 |   703714 |   516882 |    25925     42 |      768 |      644
1548.22/1548.81	c 1548s |      19 |   704127 |   517282 |    25925     42 |      768 |      644
1550.52/1551.18	c 1550s |      19 |   704555 |   517682 |    25925     42 |      768 |      644
1552.52/1553.20	c 1552s |      19 |   704865 |   517982 |    25925     42 |      768 |      644
1555.21/1555.80	c 1555s |      19 |   705276 |   518382 |    25925     42 |      768 |      644
1557.61/1558.29	c 1558s |      19 |   705706 |   518782 |    25925     42 |      768 |      644
1560.11/1560.78	c 1560s |      19 |   706136 |   519182 |    25925     42 |      768 |      644
1562.61/1563.21	c 1562s |      19 |   706572 |   519582 |    25925     42 |      768 |      644
1565.21/1565.89	c 1565s |      19 |   706992 |   519982 |    25925     42 |      768 |      644
1567.91/1568.56	c 1568s |      19 |   707430 |   520382 |    25925     42 |      768 |      644
1570.01/1570.67	c 1570s |      19 |   707759 |   520682 |    25925     42 |      768 |      644
1572.31/1572.90	c 1572s |      19 |   708070 |   520982 |    25925     42 |      768 |      644
1574.31/1574.92	c 1574s |      19 |   708377 |   521282 |    25925     42 |      768 |      644
1576.41/1577.06	c 1576s |      19 |   708692 |   521582 |    25925     42 |      768 |      644
1578.51/1579.16	c 1578s |      19 |   709020 |   521882 |    25925     42 |      768 |      644
1581.01/1581.68	c 1581s |      19 |   709459 |   522282 |    25925     42 |      768 |      644
1583.51/1584.18	c 1583s |      19 |   709892 |   522682 |    25925     42 |      768 |      644
1586.11/1586.79	c 1586s |      19 |   710339 |   523082 |    25925     42 |      768 |      644
1588.91/1589.50	c 1589s |      19 |   710763 |   523482 |    25925     42 |      768 |      644
1591.42/1592.07	c 1591s |      19 |   711089 |   523782 |    25925     43 |      768 |      644
1593.62/1594.29	c 1594s |      19 |   711513 |   524182 |    25925     43 |      768 |      644
1595.72/1596.38	c 1596s |      19 |   711938 |   524582 |    25925     43 |      768 |      644
1597.81/1598.40	c 1598s |      19 |   712358 |   524982 |    25925     43 |      768 |      644
1600.12/1600.72	c 1600s |      19 |   712899 |   525482 |    25925     43 |      768 |      644
1602.32/1602.94	c 1602s |      19 |   713330 |   525882 |    25925     43 |      768 |      644
1604.62/1605.21	c 1604s |      19 |   713754 |   526282 |    25925     43 |      768 |      644
1606.90/1607.58	c 1607s |      19 |   714171 |   526682 |    25925     43 |      768 |      644
1609.30/1609.98	c 1609s |      19 |   714591 |   527082 |    25925     43 |      768 |      644
1611.50/1612.17	c 1611s |      19 |   715012 |   527482 |    25925     43 |      768 |      644
1613.90/1614.53	c 1614s |      19 |   715420 |   527882 |    25925     43 |      768 |      644
1616.30/1616.96	c 1616s |      19 |   715834 |   528282 |    25925     43 |      768 |      644
1618.41/1619.08	c 1618s |      19 |   716256 |   528682 |    25925     43 |      768 |      644
1620.51/1621.15	c 1620s |      19 |   716677 |   529082 |    25925     43 |      768 |      644
1622.71/1623.34	c 1623s |      19 |   717093 |   529482 |    25925     43 |      768 |      644
1624.91/1625.54	c 1625s |      19 |   717531 |   529882 |    25925     43 |      768 |      644
1627.11/1627.79	c 1627s |      19 |   717940 |   530282 |    25925     43 |      768 |      644
1629.51/1630.15	c 1629s |      19 |   718361 |   530682 |    25925     43 |      768 |      644
1631.81/1632.49	c 1632s |      19 |   718801 |   531082 |    25925     43 |      768 |      644
1634.32/1634.95	c 1634s |      19 |   719221 |   531482 |    25925     43 |      768 |      644
1636.31/1637.00	c 1636s |      19 |   719527 |   531782 |    25925     43 |      768 |      644
1639.11/1639.73	c 1639s |      19 |   719944 |   532182 |    25925     43 |      768 |      644
1641.31/1641.93	c 1641s |      19 |   720258 |   532482 |    25925     43 |      768 |      644
1643.81/1644.48	c 1644s |      19 |   720680 |   532882 |    25925     43 |      768 |      644
1646.20/1646.89	c 1646s |      19 |   721107 |   533282 |    25925     43 |      768 |      644
1648.20/1648.90	c 1648s |      19 |   721426 |   533582 |    25925     43 |      768 |      644
1650.30/1650.96	c 1650s |      19 |   721742 |   533882 |    25925     43 |      768 |      644
1652.91/1653.60	c 1653s |      19 |   722159 |   534282 |    25925     43 |      768 |      644
1655.11/1655.76	c 1655s |      19 |   722473 |   534582 |    25925     43 |      768 |      644
1657.70/1658.31	c 1658s |      19 |   722899 |   534982 |    25925     43 |      768 |      644
1660.00/1660.65	c 1660s |      19 |   723338 |   535382 |    25925     43 |      768 |      644
1662.60/1663.23	c 1662s |      19 |   723773 |   535782 |    25925     43 |      768 |      644
1665.11/1665.79	c 1665s |      19 |   724189 |   536182 |    25925     43 |      768 |      644
1667.21/1667.87	c 1667s |      19 |   724497 |   536482 |    25925     43 |      768 |      644
1669.60/1670.28	c 1670s |      19 |   724932 |   536882 |    25925     43 |      768 |      644
1671.90/1672.57	c 1672s |      19 |   725368 |   537282 |    25925     43 |      768 |      644
1674.50/1675.16	c 1674s |      19 |   725804 |   537682 |    25925     43 |      768 |      644
1677.11/1677.71	c 1677s |      19 |   726238 |   538082 |    25925     43 |      768 |      644
1679.20/1679.83	c 1679s |      19 |   726450 |   538282 |    25925     44 |      768 |      644
1681.20/1681.88	c 1681s |      19 |   726876 |   538682 |    25925     44 |      768 |      644
1683.20/1683.89	c 1683s |      19 |   727322 |   539082 |    25925     44 |      768 |      644
1685.40/1686.04	c 1685s |      19 |   727741 |   539482 |    25925     44 |      768 |      644
1687.59/1688.29	c 1688s |      19 |   728166 |   539882 |    25925     44 |      768 |      644
1689.89/1690.55	c 1690s |      19 |   728599 |   540282 |    25925     44 |      768 |      644
1692.39/1693.00	c 1692s |      19 |   729119 |   540782 |    25925     44 |      768 |      644
1694.39/1695.10	c 1694s |      19 |   729535 |   541182 |    25925     44 |      768 |      644
1696.59/1697.23	c 1696s |      19 |   729968 |   541582 |    25925     44 |      768 |      644
1698.89/1699.51	c 1699s |      19 |   730396 |   541982 |    25925     44 |      768 |      644
1701.30/1701.91	c 1701s |      19 |   730831 |   542382 |    25925     44 |      768 |      644
1703.50/1704.14	c 1703s |      19 |   731374 |   542882 |    25925     44 |      768 |      644
1705.80/1706.49	c 1706s |      19 |   731912 |   543382 |    25925     44 |      768 |      644
1707.90/1708.54	c 1708s |      19 |   732342 |   543782 |    25925     44 |      768 |      644
1710.20/1710.85	c 1710s |      19 |   732877 |   544282 |    25925     44 |      768 |      644
1712.49/1713.18	c 1712s |      19 |   733437 |   544782 |    25925     44 |      768 |      644
1714.69/1715.35	c 1715s |      19 |   733876 |   545182 |    25925     44 |      768 |      644
1716.99/1717.61	c 1717s |      19 |   734306 |   545582 |    25925     44 |      768 |      644
1719.19/1719.86	c 1719s |      19 |   734740 |   545982 |    25925     44 |      768 |      644
1721.59/1722.27	c 1722s |      19 |   735171 |   546382 |    25925     44 |      768 |      644
1724.09/1724.76	c 1724s |      19 |   735601 |   546782 |    25925     44 |      768 |      644
1726.49/1727.19	c 1726s |      19 |   736020 |   547182 |    25925     44 |      768 |      644
1728.80/1729.43	c 1729s |      19 |   736451 |   547582 |    25925     44 |      768 |      644
1730.79/1731.48	c 1731s |      19 |   736875 |   547982 |    25925     44 |      768 |      644
1733.20/1733.85	c 1733s |      19 |   737303 |   548382 |    25925     44 |      768 |      644
1735.59/1736.29	c 1736s |      19 |   737718 |   548782 |    25925     44 |      768 |      644
1737.70/1738.35	c 1738s |      19 |   738034 |   549082 |    25925     44 |      768 |      644
1739.99/1740.68	c 1740s |      19 |   738464 |   549482 |    25925     44 |      768 |      644
1742.68/1743.39	c 1743s |      19 |   738882 |   549882 |    25925     44 |      768 |      644
1745.29/1745.92	c 1745s |      19 |   739302 |   550282 |    25925     44 |      768 |      644
1747.78/1748.43	c 1748s |      19 |   739729 |   550682 |    25925     44 |      768 |      644
1750.38/1751.05	c 1750s |      19 |   740149 |   551082 |    25925     44 |      768 |      644
1752.48/1753.15	c 1752s |      19 |   740467 |   551382 |    25925     44 |      768 |      644
1754.68/1755.30	c 1755s |      19 |   740784 |   551682 |    25925     44 |      768 |      644
1756.78/1757.45	c 1757s |      19 |   741099 |   551982 |    25925     44 |      768 |      644
1759.18/1759.80	c 1759s |      19 |   741411 |   552282 |    25925     44 |      768 |      644
1761.38/1762.05	c 1761s |      19 |   741725 |   552582 |    25925     44 |      768 |      644
1763.78/1764.41	c 1764s |      19 |   741925 |   552782 |    25925     45 |      768 |      644
1765.98/1766.66	c 1766s |      19 |   742339 |   553182 |    25925     45 |      768 |      644
1768.18/1768.82	c 1768s |      19 |   742749 |   553582 |    25925     45 |      768 |      644
1770.38/1771.03	c 1770s |      19 |   743163 |   553982 |    25925     45 |      768 |      644
1772.38/1773.05	c 1772s |      19 |   743584 |   554382 |    25925     45 |      768 |      644
1774.58/1775.23	c 1774s |      19 |   743992 |   554782 |    25925     45 |      768 |      644
1776.98/1777.64	c 1777s |      19 |   744434 |   555182 |    25925     45 |      768 |      644
1779.39/1780.08	c 1779s |      19 |   744851 |   555582 |    25925     45 |      768 |      644
1782.08/1782.73	c 1782s |      19 |   745271 |   555982 |    25925     45 |      768 |      644
1784.57/1785.25	c 1785s |      19 |   745696 |   556382 |    25925     45 |      768 |      644
1786.97/1787.69	c 1787s |      19 |   746111 |   556782 |    25925     45 |      768 |      644
1789.57/1790.29	c 1790s |      19 |   746525 |   557182 |    25925     45 |      768 |      644
1792.17/1792.82	c 1792s |      19 |   746943 |   557582 |    25925     45 |      768 |      644
1794.57/1795.25	c 1794s |      19 |   747356 |   557982 |    25925     45 |      768 |      644
1796.98/1797.68	c 1797s |      19 |   747964 |   558482 |    25925     45 |      768 |      644
1799.28/1799.97	c 1799s |      19 |   748517 |   558982 |    25925     45 |      768 |      644

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

pid=3309
running on 8 cores: 4-7,12-15

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.30 2.22 2.10 3/261 3312
/proc/meminfo: memFree=30838664/32872528 swapFree=7556/7556
[pid=3312] ppid=3309 vsize=1054140 CPUtime=0 cores=4-7,12-15
/proc/3312/stat : 3312 (toysat) R 3309 3312 32495 0 -1 4202496 3989 0 0 0 0 0 0 0 20 0 4 0 29374676 1079439360 4350 33554432000 4194304 16246674 140734900551488 140734900550912 13880264 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3312/statm: 264047 4360 441 2943 0 260941 0
[pid=3312/tid=3313] ppid=3309 vsize=1103292 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29374676 1129771008 4541 33554432000 4194304 16246674 140734900551488 140053274668272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3312/tid=3314] ppid=3309 vsize=1107388 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29374676 1133965312 4560 33554432000 4194304 16246674 140734900551488 140053264178416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3312/tid=3315] ppid=3309 vsize=1111484 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29374676 1138159616 4576 33554432000 4194304 16246674 140734900551488 140053179264176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0

[startup+0.100163 s]
/proc/loadavg: 2.30 2.22 2.10 3/261 3312
/proc/meminfo: memFree=30838664/32872528 swapFree=7556/7556
[pid=3312] ppid=3309 vsize=1220164 CPUtime=0.09 cores=4-7,12-15
/proc/3312/stat : 3312 (toysat) R 3309 3312 32495 0 -1 4202496 28275 0 0 0 6 3 0 0 20 0 4 0 29374676 1249447936 28573 33554432000 4194304 16246674 140734900551488 140734900550800 4220880 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3312/statm: 305041 28573 801 2943 0 301935 0
[pid=3312/tid=3313] ppid=3309 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29374676 1249447936 28573 33554432000 4194304 16246674 140734900551488 140053274668272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3312/tid=3314] ppid=3309 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29374676 1249447936 28573 33554432000 4194304 16246674 140734900551488 140053264178416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3312/tid=3315] ppid=3309 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29374676 1249447936 28573 33554432000 4194304 16246674 140734900551488 140053179264176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200535 s]
/proc/loadavg: 2.30 2.22 2.10 3/261 3312
/proc/meminfo: memFree=30838664/32872528 swapFree=7556/7556
[pid=3312] ppid=3309 vsize=1301060 CPUtime=0.19 cores=4-7,12-15
/proc/3312/stat : 3312 (toysat) R 3309 3312 32495 0 -1 4202496 48484 0 0 0 13 6 0 0 20 0 4 0 29374676 1332285440 48782 33554432000 4194304 16246674 140734900551488 140734900550800 6974304 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3312/statm: 325265 48782 844 2943 0 322159 0
[pid=3312/tid=3313] ppid=3309 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29374676 1332285440 48782 33554432000 4194304 16246674 140734900551488 140053274668272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3312/tid=3314] ppid=3309 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29374676 1332285440 48782 33554432000 4194304 16246674 140734900551488 140053264178416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3312/tid=3315] ppid=3309 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29374676 1332285440 48782 33554432000 4194304 16246674 140734900551488 140053179264176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300477 s]
/proc/loadavg: 2.30 2.22 2.10 3/261 3312
/proc/meminfo: memFree=30838664/32872528 swapFree=7556/7556
[pid=3312] ppid=3309 vsize=1301060 CPUtime=0.28 cores=4-7,12-15
/proc/3312/stat : 3312 (toysat) R 3309 3312 32495 0 -1 4202496 50816 0 0 0 22 6 0 0 20 0 4 0 29374676 1332285440 51115 33554432000 4194304 16246674 140734900551488 140734900550800 13954518 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3312/statm: 325265 51125 884 2943 0 322159 0
[pid=3312/tid=3313] ppid=3309 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29374676 1332285440 51131 33554432000 4194304 16246674 140734900551488 140053274668272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3312/tid=3314] ppid=3309 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29374676 1332285440 51136 33554432000 4194304 16246674 140734900551488 140053264178416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3312/tid=3315] ppid=3309 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29374676 1332285440 51139 33554432000 4194304 16246674 140734900551488 140053179264176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1301060

[startup+0.700394 s]
/proc/loadavg: 2.30 2.22 2.10 3/261 3312
/proc/meminfo: memFree=30838664/32872528 swapFree=7556/7556
[pid=3312] ppid=3309 vsize=1301060 CPUtime=0.69 cores=4-7,12-15
/proc/3312/stat : 3312 (toysat) R 3309 3312 32495 0 -1 4202496 102645 0 0 0 56 13 0 0 20 0 4 0 29374676 1332285440 102943 33554432000 4194304 16246674 140734900551488 140734900550800 5602579 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3312/statm: 325265 102947 884 2943 0 322159 0
[pid=3312/tid=3313] ppid=3309 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29374676 1332285440 102950 33554432000 4194304 16246674 140734900551488 140053274668272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3312/tid=3314] ppid=3309 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29374676 1332285440 102953 33554432000 4194304 16246674 140734900551488 140053264178416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3312/tid=3315] ppid=3309 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29374676 1332285440 102956 33554432000 4194304 16246674 140734900551488 140053179264176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50041 s]
/proc/loadavg: 2.30 2.22 2.10 3/265 3316
/proc/meminfo: memFree=30201976/32872528 swapFree=7556/7556
[pid=3312] ppid=3309 vsize=1301060 CPUtime=1.49 cores=4-7,12-15
/proc/3312/stat : 3312 (toysat) R 3309 3312 32495 0 -1 4202496 209375 0 0 0 121 28 0 0 20 0 4 0 29374676 1332285440 209673 33554432000 4194304 16246674 140734900551488 140734900533376 5530837 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3312/statm: 325265 209688 884 2943 0 322159 0
[pid=3312/tid=3313] ppid=3309 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29374676 1332285440 209698 33554432000 4194304 16246674 140734900551488 140053274668272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3312/tid=3314] ppid=3309 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29374676 1332285440 209709 33554432000 4194304 16246674 140734900551488 140053264178416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3312/tid=3315] ppid=3309 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29374676 1332285440 209719 33554432000 4194304 16246674 140734900551488 140053179264176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10042 s]
/proc/loadavg: 2.27 2.21 2.10 3/265 3316
/proc/meminfo: memFree=29761080/32872528 swapFree=7556/7556
[pid=3312] ppid=3309 vsize=1312324 CPUtime=3.09 cores=4-7,12-15
/proc/3312/stat : 3312 (toysat) R 3309 3312 32495 0 -1 4202496 269264 0 0 0 273 36 0 0 20 0 4 0 29374676 1343819776 269562 33554432000 4194304 16246674 140734900551488 140734900533376 13775067 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3312/statm: 328081 269562 891 2943 0 324975 0
[pid=3312/tid=3313] ppid=3309 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29374676 1343819776 269562 33554432000 4194304 16246674 140734900551488 140053274668272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3312/tid=3314] ppid=3309 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29374676 1343819776 269562 33554432000 4194304 16246674 140734900551488 140053264178416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3312/tid=3315] ppid=3309 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29374676 1343819776 269562 33554432000 4194304 16246674 140734900551488 140053179264176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.3004 s]
/proc/loadavg: 2.27 2.21 2.10 3/265 3316
/proc/meminfo: memFree=29760548/32872528 swapFree=7556/7556
[pid=3312] ppid=3309 vsize=1312324 CPUtime=6.29 cores=4-7,12-15
/proc/3312/stat : 3312 (toysat) R 3309 3312 32495 0 -1 4202496 269269 0 0 0 593 36 0 0 20 0 4 0 29374676 1343819776 269567 33554432000 4194304 16246674 140734900551488 140734900534488 6836236 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3312/statm: 328081 269567 891 2943 0 324975 0
[pid=3312/tid=3313] ppid=3309 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29374676 1343819776 269567 33554432000 4194304 16246674 140734900551488 140053274668272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3312/tid=3314] ppid=3309 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29374676 1343819776 269567 33554432000 4194304 16246674 140734900551488 140053264178416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3312/tid=3315] ppid=3309 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29374676 1343819776 269567 33554432000 4194304 16246674 140734900551488 140053179264176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.23 2.21 2.10 3/265 3316
/proc/meminfo: memFree=29760864/32872528 swapFree=7556/7556
[pid=3312] ppid=3309 vsize=1312324 CPUtime=12.68 cores=4-7,12-15
/proc/3312/stat : 3312 (toysat) R 3309 3312 32495 0 -1 4202496 269270 0 0 0 1232 36 0 0 20 0 4 0 29374676 1343819776 269568 33554432000 4194304 16246674 140734900551488 140734900533376 5722381 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3312/statm: 328081 269568 891 2943 0 324975 0
[pid=3312/tid=3313] ppid=3309 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29374676 1343819776 269568 33554432000 4194304 16246674 140734900551488 140053274668272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3312/tid=3314] ppid=3309 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29374676 1343819776 269568 33554432000 4194304 16246674 140734900551488 140053264178416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3312/tid=3315] ppid=3309 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29374676 1343819776 269568 33554432000 4194304 16246674 140734900551488 140053179264176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1312324

[startup+25.5004 s]
/proc/loadavg: 2.20 2.20 2.10 3/265 3316
/proc/meminfo: memFree=29761596/32872528 swapFree=7556/7556
[pid=3312] ppid=3309 vsize=1312324 CPUtime=25.49 cores=4-7,12-15
/proc/3312/stat : 3312 (toysat) R 3309 3312 32495 0 -1 4202496 269270 0 0 0 2513 36 0 0 20 0 4 0 29374676 1343819776 269568 33554432000 4194304 16246674 140734900551488 140734900533376 5676644 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3312/statm: 328081 269568 891 2943 0 324975 0
[pid=3312/tid=3313] ppid=3309 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29374676 1343819776 269568 33554432000 4194304 16246674 140734900551488 140053274668272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3312/tid=3314] ppid=3309 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29374676 1343819776 269568 33554432000 4194304 16246674 140734900551488 140053264178416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3312/tid=3315] ppid=3309 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29374676 1343819776 269568 33554432000 4194304 16246674 140734900551488 140053179264176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1004 s]
/proc/loadavg: 2.13 2.18 2.09 3/266 3320
/proc/meminfo: memFree=29761624/32872528 swapFree=7556/7556
[pid=3312] ppid=3309 vsize=1313348 CPUtime=51.08 cores=4-7,12-15
/proc/3312/stat : 3312 (toysat) R 3309 3312 32495 0 -1 4202496 269445 0 0 0 5072 36 0 0 20 0 4 0 29374676 1344868352 269743 33554432000 4194304 16246674 140734900551488 140734900533376 12415831 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3312/statm: 328337 269743 892 2943 0 325231 0
[pid=3312/tid=3313] ppid=3309 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29374676 1344868352 269743 33554432000 4194304 16246674 140734900551488 140053274668272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3312/tid=3314] ppid=3309 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29374676 1344868352 269743 33554432000 4194304 16246674 140734900551488 140053264178416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3312/tid=3315] ppid=3309 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29374676 1344868352 269743 33554432000 4194304 16246674 140734900551488 140053179264176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 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.21 2.19 2.10 3/265 3321
/proc/meminfo: memFree=29757416/32872528 swapFree=7556/7556
[pid=3312] ppid=3309 vsize=1316420 CPUtime=102.28 cores=4-7,12-15
/proc/3312/stat : 3312 (toysat) R 3309 3312 32495 0 -1 4202496 270275 0 0 0 10191 37 0 0 20 0 4 0 29374676 1348014080 270573 33554432000 4194304 16246674 140734900551488 140734900533376 5832732 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3312/statm: 329105 270573 892 2943 0 325999 0
[pid=3312/tid=3313] ppid=3309 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29374676 1348014080 270573 33554432000 4194304 16246674 140734900551488 140053274668272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3312/tid=3314] ppid=3309 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29374676 1348014080 270573 33554432000 4194304 16246674 140734900551488 140053264178416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3312/tid=3315] ppid=3309 vsize=1316420 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29374676 1348014080 270573 33554432000 4194304 16246674 140734900551488 140053179264176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1316420


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

/proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053179264176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 1353284

[startup+1362.3 s]
/proc/loadavg: 2.08 2.07 2.06 3/265 3424
/proc/meminfo: memFree=29683544/32872528 swapFree=7556/7556
[pid=3312] ppid=3309 vsize=1353284 CPUtime=1361.75 cores=4-7,12-15
/proc/3312/stat : 3312 (toysat) R 3309 3312 32495 0 -1 4202496 279932 0 0 0 136130 45 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140734900533376 5822428 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3312/statm: 338321 280065 892 2943 0 335215 0
[pid=3312/tid=3313] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053274668272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3312/tid=3314] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053264178416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3312/tid=3315] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053179264176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 1353284

[startup+1422.3 s]
/proc/loadavg: 2.06 2.07 2.06 3/265 3425
/proc/meminfo: memFree=29683528/32872528 swapFree=7556/7556
[pid=3312] ppid=3309 vsize=1353284 CPUtime=1421.73 cores=4-7,12-15
/proc/3312/stat : 3312 (toysat) R 3309 3312 32495 0 -1 4202496 279932 0 0 0 142128 45 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140734900533376 5822252 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3312/statm: 338321 280065 892 2943 0 335215 0
[pid=3312/tid=3313] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053274668272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3312/tid=3314] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053264178416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3312/tid=3315] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053179264176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 1353284

[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 2.06 3/265 3426
/proc/meminfo: memFree=29684284/32872528 swapFree=7556/7556
[pid=3312] ppid=3309 vsize=1353284 CPUtime=1481.72 cores=4-7,12-15
/proc/3312/stat : 3312 (toysat) R 3309 3312 32495 0 -1 4202496 279932 0 0 0 148127 45 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140734900533376 5522905 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3312/statm: 338321 280065 892 2943 0 335215 0
[pid=3312/tid=3313] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053274668272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3312/tid=3314] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053264178416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3312/tid=3315] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053179264176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 1353284

[startup+1542.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/265 3427
/proc/meminfo: memFree=29683384/32872528 swapFree=7556/7556
[pid=3312] ppid=3309 vsize=1353284 CPUtime=1541.72 cores=4-7,12-15
/proc/3312/stat : 3312 (toysat) R 3309 3312 32495 0 -1 4202496 279932 0 0 0 154126 46 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140734900533376 5712604 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3312/statm: 338321 280065 892 2943 0 335215 0
[pid=3312/tid=3313] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053274668272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3312/tid=3314] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053264178416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3312/tid=3315] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053179264176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 1353284

[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/265 3429
/proc/meminfo: memFree=29684012/32872528 swapFree=7556/7556
[pid=3312] ppid=3309 vsize=1353284 CPUtime=1601.71 cores=4-7,12-15
/proc/3312/stat : 3312 (toysat) R 3309 3312 32495 0 -1 4202496 279932 0 0 0 160125 46 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140734900550664 5659576 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3312/statm: 338321 280065 892 2943 0 335215 0
[pid=3312/tid=3313] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053274668272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3312/tid=3314] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053264178416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3312/tid=3315] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053179264176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 1353284

[startup+1662.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/265 3430
/proc/meminfo: memFree=29683488/32872528 swapFree=7556/7556
[pid=3312] ppid=3309 vsize=1353284 CPUtime=1661.71 cores=4-7,12-15
/proc/3312/stat : 3312 (toysat) R 3309 3312 32495 0 -1 4202496 279932 0 0 0 166124 47 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140734900533376 5711688 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3312/statm: 338321 280065 892 2943 0 335215 0
[pid=3312/tid=3313] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053274668272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3312/tid=3314] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053264178416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3312/tid=3315] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053179264176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1353284

[startup+1722.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/265 3431
/proc/meminfo: memFree=29683508/32872528 swapFree=7556/7556
[pid=3312] ppid=3309 vsize=1353284 CPUtime=1721.69 cores=4-7,12-15
/proc/3312/stat : 3312 (toysat) R 3309 3312 32495 0 -1 4202496 279932 0 0 0 172122 47 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140734900533376 5822428 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3312/statm: 338321 280065 892 2943 0 335215 0
[pid=3312/tid=3313] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053274668272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3312/tid=3314] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053264178416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3312/tid=3315] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053179264176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 1353284

[startup+1782.31 s]
/proc/loadavg: 2.07 2.06 2.05 3/265 3432
/proc/meminfo: memFree=29682360/32872528 swapFree=7556/7556
[pid=3312] ppid=3309 vsize=1353284 CPUtime=1781.69 cores=4-7,12-15
/proc/3312/stat : 3312 (toysat) R 3309 3312 32495 0 -1 4202496 279932 0 0 0 178122 47 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140734900533376 5712140 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3312/statm: 338321 280065 892 2943 0 335215 0
[pid=3312/tid=3313] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053274668272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3312/tid=3314] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053264178416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3312/tid=3315] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053179264176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 1353284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 2.05 2.05 2.05 3/265 3432
/proc/meminfo: memFree=29682820/32872528 swapFree=7556/7556
[pid=3312] ppid=3309 vsize=1353284 CPUtime=1800.07 cores=4-7,12-15
/proc/3312/stat : 3312 (toysat) R 3309 3312 32495 0 -1 4202496 279932 0 0 0 179960 47 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140734900550664 4220897 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3312/statm: 338321 280065 892 2943 0 335215 0
[pid=3312/tid=3313] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053274668272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3312/tid=3314] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053264178416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3312/tid=3315] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053179264176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1353284

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

[startup+1800.7 s]
/proc/loadavg: 2.05 2.05 2.05 3/265 3432
/proc/meminfo: memFree=29682820/32872528 swapFree=7556/7556
[pid=3312] ppid=3309 vsize=1353284 CPUtime=1800.07 cores=4-7,12-15
/proc/3312/stat : 3312 (toysat) R 3309 3312 32495 0 -1 4202496 279932 0 0 0 179960 47 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140734900550664 4220897 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3312/statm: 338321 280065 892 2943 0 335215 0
[pid=3312/tid=3313] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053274668272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3312/tid=3314] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053264178416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3312/tid=3315] ppid=3309 vsize=1353284 CPUtime=0 cores=4-7,12-15
/proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29374676 1385762816 280065 33554432000 4194304 16246674 140734900551488 140053179264176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1353284

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.71
CPU time (s): 1800.09
CPU user time (s): 1799.61
CPU system time (s): 0.479927
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (KiB): 1353284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.479927
maximum resident set size= 1120260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279932
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= 435
involuntary context switches= 2016

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.40972 second user time and 11.1513 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 19:49:25
IDJOB=4116573
IDBENCH=109487
IDSOLVER=2542
FILE ID=node132/4116573-1466963365
RUNJOBID= node132-1466939688-32512
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116573-1466963365/watcher-4116573-1466963365 -o /tmp/evaluation-result-4116573-1466963365/solver-4116573-1466963365 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466939688-32512 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116573-1466963365.opb

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

MD5SUM BENCH= 8b141e8f2d9bfccf1119dae7bc9b3f3f
RANDOM SEED=773602121

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

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

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

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

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        30838332 kB
Buffers:           40848 kB
Cached:           181496 kB
SwapCached:         1784 kB
Active:          1154148 kB
Inactive:         161888 kB
Active(anon):    1092004 kB
Inactive(anon):     3648 kB
Active(file):      62144 kB
Inactive(file):   158240 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             17024 kB
Writeback:            12 kB
AnonPages:       1101532 kB
Mapped:            11012 kB
Shmem:                 0 kB
Slab:             571368 kB
SReclaimable:      11820 kB
SUnreclaim:       559548 kB
KernelStack:        2208 kB
PageTables:         6288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1245116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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= 71496 MiB
End job on node132 at 2016-06-26 20:19:26