Trace number 4116997

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.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size112-round23-8.opb
MD5SUMcb74da8ad9da4ea1b2ea1d65756c1398
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9488
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)400
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-26T23:47:52+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-4116997-1466977672.opb"]
0.00/0.01	c use --random-gen="4092013919 3120985295 1811526234 701568964 2475296235 1927588031 1510237554 663194015 3174324796 2735400145 1089108845 887306532 2430038198 875823370 3035735354 543025865 3060258789 76446137 1085429681 555205593 3870985421 1112081903 2831239098 2106418242 1280863967 2239639672 777300108 365733027 4064585320 3879186795 3246075527 361475921 3879461790 81347840 451553355 2242343807 1291263172 1198444442 3989438707 3036779246 3637170625 3013658539 4219004634 1046457600 63063969 3437723305 550459150 1009311615 3982942280 2182175557 2119722311 781382329 602850976 2386065536 3322842708 2059318237 4112600516 3081191486 2256216812 798068100 2031147264 3431987468 3472962819 111970976 4087185596 2853556118 1307832047 2461594213 2343660483 3741200757 4030674182 1574962441 3789670950 1777953500 1347040005 2021465327 2893228758 3533502421 2889505243 3280904347 1395204065 812220658 3081496551 2031399257 1198077249 1433273978 3474643695 224518569 2039974945 555102477 3318992768 129224999 2169675690 1068039560 4025549098 3402429351 1597005856 3226195074 1162263195 2246261972 274210729 3915903257 3613705801 3789353086 3131110064 2515989852 1933086455 1352526657 422210957 2877234374 3253196344 2158883967 152780933 2912144343 3006550532 2598803351 4293455761 2826742914 1279517215 2191137991 2017048645 69555120 3509107726 3471662938 3768520504 3095505486 865628756 2590218171 1915733116 3789189305 1284584570 2017518390 1128723490 3424108928 3076454898 3610975405 3883115223 305488736 2139173588 535693227 2002610624 3185271195 3453491743 2776358839 2020331775 3842193380 135112149 1744482783 1908730223 2574846417 919473728 2444585456 3995775330 719185159 1104581024 794304442 2277944510 2279489806 1568323211 1356922766 267488658 1273104151 169990728 2003058814 2169172392 967520943 4064137559 3362036111 3522590105 1365879210 4263220653 580059880 820732277 2138748725 3141068458 3442157082 3558197474 615104540 559806089 3807390053 3028190629 1333784241 318404656 3530534062 1777520987 1899767312 1586066237 3451141148 649632888 874515344 508251489 1664590493 2110591986 2678338072 1904317075 1477363605 2095346769 686280005 1686104134 1619321515 2755284253 4139247055 113801714 11584832 378301004 3122103121 1203759332 51528788 3458651071 462312971 110652363 3457825958 3268452928 3300063076 1752381554 496672339 3821010926 1501193554 137467642 1164038742 434487294 129301015 3195507434 2272358333 4112199051 2933104143 255041922 1346818898 2328436077 2373907419 4155393548 2764613732 2932480949 3175220002 979702282 980672547 4069520035 2703456646 1280662844 1511948229 374838785 1942045796 3374899711 682796958 1003491947 980993241 2091015313 3749944414 2881022036 180251066 103302368 2831511854 1244077091 547008849 243076657 802035318 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9488
0.29/0.34	c Solving starts ...
0.29/0.34	c ============================[ Search Statistics ]============================
0.29/0.34	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.34	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.34	c =============================================================================
0.29/0.34	c  0.0s |       0 |        0 |        0 |     4565      0 |      733 |        0
0.29/0.34	c  0.1s |       1 |      761 |      100 |     4565      0 |      733 |      632
0.39/0.45	c  0.2s |       2 |     1701 |      250 |     5022      0 |      733 |      632
0.59/0.60	c  0.3s |       3 |     3467 |      475 |     5525      0 |      733 |      632
0.99/1.09	c  0.8s |       4 |     4388 |      813 |     6078      0 |      733 |      632
1.38/1.46	c  1.2s |       5 |     8734 |     1320 |     6686      0 |      733 |      632
2.39/2.47	c  2.2s |       6 |    12467 |     2081 |     8091      0 |      733 |      632
3.59/3.62	c  3.3s |       7 |    17284 |     3223 |     8901      0 |      734 |      632
4.99/5.08	c  4.8s |       8 |    24044 |     4936 |     9792      0 |      734 |      632
7.18/7.20	c  6.9s |       8 |    29847 |     7136 |     9792      0 |      734 |      632
7.68/7.71	c  7.4s |       9 |    30299 |     7506 |    10772      0 |      734 |      632
9.68/9.77	c  9.5s |       9 |    36447 |     9506 |    10772      0 |      734 |      632
11.78/11.86	c 11.6s |       9 |    37970 |    10906 |    10772      0 |      734 |      632
12.58/12.67	c 12.4s |      10 |    38459 |    11361 |    11850      0 |      734 |      632
14.68/14.78	c 14.5s |      10 |    47234 |    13461 |    11850      0 |      734 |      632
16.78/16.81	c 16.5s |      10 |    57261 |    15561 |    11850      1 |      734 |      632
18.79/18.84	c 18.6s |      10 |    59462 |    17061 |    13036      1 |      734 |      632
18.89/18.98	c 18.7s |      11 |    59562 |    17144 |    13036      1 |      734 |      632
20.99/21.04	c 20.8s |      11 |    68083 |    19344 |    13036      1 |      735 |      632
23.08/23.17	c 22.9s |      11 |    73937 |    21344 |    13036      1 |      735 |      632
25.28/25.31	c 25.0s |      11 |    78127 |    23044 |    13036      1 |      735 |      632
27.38/27.41	c 27.1s |      11 |    79478 |    24144 |    13036      2 |      735 |      632
29.38/29.45	c 29.2s |      11 |    80851 |    25244 |    13036      2 |      735 |      632
30.38/30.47	c 30.2s |      12 |    81887 |    25819 |    14340      2 |      735 |      632
32.48/32.52	c 32.2s |      12 |    88736 |    27819 |    14340      2 |      735 |      632
34.58/34.65	c 34.4s |      12 |    90340 |    29119 |    14340      2 |      735 |      632
36.68/36.71	c 36.4s |      12 |    91663 |    30219 |    14340      2 |      735 |      632
38.69/38.78	c 38.5s |      12 |    92809 |    31219 |    14340      2 |      735 |      632
40.88/40.94	c 40.7s |      12 |    93806 |    32119 |    14340      2 |      735 |      632
42.98/43.03	c 42.7s |      12 |    94716 |    32919 |    14340      2 |      735 |      632
44.98/45.04	c 44.8s |      12 |    95377 |    33519 |    14340      3 |      735 |      632
47.08/47.13	c 46.8s |      12 |    96291 |    34319 |    14340      3 |      735 |      632
49.18/49.24	c 49.0s |      12 |    97197 |    35119 |    14340      3 |      735 |      632
51.48/51.55	c 51.3s |      12 |    98066 |    35919 |    14340      3 |      735 |      632
53.67/53.71	c 53.4s |      12 |    98832 |    36619 |    14340      3 |      735 |      632
55.87/55.97	c 55.7s |      12 |    99589 |    37319 |    14340      3 |      735 |      632
58.17/58.22	c 57.9s |      12 |   100509 |    38119 |    14340      3 |      735 |      632
60.27/60.30	c 60.0s |      12 |   101155 |    38719 |    15775      3 |      735 |      632
60.58/60.69	c 60.4s |      13 |   101276 |    38832 |    15775      3 |      735 |      632
62.67/62.71	c 62.4s |      13 |   107777 |    41032 |    15775      3 |      735 |      632
64.78/64.83	c 64.6s |      13 |   110041 |    42632 |    15775      3 |      735 |      632
66.98/67.08	c 66.8s |      13 |   111602 |    43832 |    15775      4 |      735 |      632
69.18/69.24	c 69.0s |      13 |   113052 |    44932 |    15775      4 |      735 |      632
71.28/71.33	c 71.1s |      13 |   116421 |    46432 |    15775      4 |      735 |      632
73.38/73.47	c 73.2s |      13 |   118900 |    48032 |    15775      4 |      735 |      632
75.58/75.63	c 75.4s |      13 |   121784 |    49632 |    15775      4 |      735 |      632
77.68/77.77	c 77.5s |      13 |   123470 |    50932 |    15775      4 |      735 |      632
79.88/79.95	c 79.7s |      13 |   124722 |    51932 |    15775      4 |      735 |      632
82.08/82.14	c 81.9s |      13 |   125814 |    52832 |    15775      4 |      735 |      632
84.18/84.29	c 84.0s |      13 |   126727 |    53632 |    15775      5 |      735 |      632
86.48/86.55	c 86.3s |      13 |   127861 |    54632 |    15775      5 |      735 |      632
88.48/88.56	c 88.3s |      13 |   128754 |    55432 |    15775      5 |      735 |      632
90.58/90.70	c 90.4s |      13 |   129666 |    56232 |    15775      5 |      735 |      632
92.67/92.72	c 92.4s |      13 |   130595 |    57032 |    15775      5 |      735 |      632
94.87/94.90	c 94.6s |      13 |   131505 |    57832 |    15775      5 |      735 |      632
96.27/96.31	c 96.0s |      14 |   132092 |    58352 |    17353      5 |      735 |      632
98.27/98.35	c 98.1s |      14 |   137426 |    60452 |    17353      5 |      735 |      632
100.28/100.37	c  100s |      14 |   139401 |    62252 |    17353      5 |      735 |      632
102.38/102.47	c  102s |      14 |   141573 |    63852 |    17353      5 |      735 |      632
104.47/104.57	c  104s |      14 |   142843 |    64852 |    17353      6 |      735 |      632
106.47/106.59	c  106s |      14 |   144339 |    66052 |    17353      6 |      735 |      632
108.67/108.70	c  108s |      14 |   145681 |    67152 |    17353      6 |      735 |      632
110.77/110.82	c  110s |      14 |   146848 |    68152 |    17353      6 |      735 |      632
112.77/112.88	c  112s |      14 |   148008 |    69152 |    17353      6 |      735 |      632
114.77/114.89	c  114s |      14 |   149468 |    70152 |    17353      6 |      735 |      632
116.97/117.03	c  116s |      14 |   151316 |    71452 |    17353      6 |      735 |      632
119.16/119.23	c  118s |      14 |   153027 |    72752 |    17353      6 |      735 |      632
121.26/121.32	c  121s |      14 |   154357 |    73652 |    17353      6 |      735 |      632
123.46/123.58	c  123s |      14 |   155215 |    74352 |    17353      6 |      735 |      632
125.66/125.72	c  125s |      14 |   156113 |    75052 |    17353      7 |      735 |      632
127.86/127.90	c  127s |      14 |   157316 |    75952 |    17353      7 |      735 |      632
129.98/130.07	c  129s |      14 |   158205 |    76652 |    17353      7 |      735 |      632
131.97/132.08	c  131s |      14 |   159242 |    77452 |    17353      7 |      735 |      632
134.17/134.22	c  133s |      14 |   160299 |    78252 |    17353      7 |      735 |      632
136.27/136.37	c  136s |      14 |   161147 |    78952 |    17353      7 |      735 |      632
138.27/138.39	c  138s |      14 |   161855 |    79552 |    17353      7 |      735 |      632
140.37/140.43	c  140s |      14 |   162565 |    80152 |    17353      7 |      735 |      632
142.37/142.48	c  142s |      14 |   163422 |    80852 |    17353      7 |      735 |      632
144.47/144.59	c  144s |      14 |   164244 |    81552 |    17353      7 |      735 |      632
146.87/146.91	c  146s |      14 |   165203 |    82252 |    17353      7 |      735 |      632
149.17/149.21	c  148s |      14 |   165957 |    82852 |    17353      7 |      735 |      632
151.57/151.65	c  151s |      14 |   166486 |    83352 |    17353      7 |      735 |      632
153.97/154.05	c  153s |      14 |   167225 |    83952 |    17353      7 |      735 |      632
156.37/156.44	c  156s |      14 |   167962 |    84552 |    17353      7 |      735 |      632
158.47/158.56	c  158s |      14 |   168551 |    85052 |    17353      8 |      735 |      632
160.57/160.62	c  160s |      14 |   169250 |    85652 |    17353      8 |      735 |      632
162.87/162.94	c  162s |      14 |   170114 |    86352 |    17353      8 |      735 |      632
164.96/165.09	c  164s |      14 |   170931 |    87052 |    19089      8 |      735 |      632
166.96/167.07	c  166s |      15 |   171613 |    87632 |    19089      8 |      735 |      632
169.06/169.13	c  168s |      15 |   182050 |    90332 |    19089      8 |      735 |      632
171.06/171.19	c  170s |      15 |   189593 |    92432 |    19089      8 |      735 |      632
173.16/173.26	c  172s |      15 |   197576 |    94832 |    19089      8 |      735 |      632
175.46/175.53	c  175s |      15 |   199591 |    96332 |    19089      9 |      735 |      632
177.46/177.59	c  177s |      15 |   201730 |    97932 |    19089      9 |      735 |      632
179.66/179.76	c  179s |      15 |   203388 |    99232 |    19089      9 |      735 |      632
181.76/181.82	c  181s |      15 |   208236 |   100832 |    19089      9 |      735 |      632
183.86/183.91	c  183s |      15 |   214568 |   102732 |    19089      9 |      735 |      632
185.96/186.05	c  185s |      15 |   217358 |   104232 |    19089      9 |      735 |      632
188.06/188.15	c  187s |      15 |   219781 |   105732 |    19089      9 |      735 |      632
190.16/190.20	c  189s |      15 |   222390 |   107232 |    19089      9 |      735 |      632
192.36/192.41	c  192s |      15 |   223614 |   108232 |    19089     10 |      735 |      632
194.46/194.53	c  194s |      15 |   224943 |   109332 |    19089     10 |      735 |      632
196.56/196.63	c  196s |      15 |   226025 |   110232 |    19089     10 |      735 |      632
198.75/198.86	c  198s |      15 |   227087 |   111132 |    19089     10 |      735 |      632
200.85/200.93	c  200s |      15 |   228142 |   112032 |    19089     10 |      735 |      632
202.95/203.04	c  202s |      15 |   229193 |   112932 |    19089     10 |      735 |      632
205.05/205.16	c  204s |      15 |   230117 |   113732 |    19089     10 |      735 |      632
207.15/207.25	c  206s |      15 |   230916 |   114432 |    19089     10 |      735 |      632
209.45/209.54	c  209s |      15 |   231842 |   115232 |    19089     10 |      735 |      632
211.56/211.67	c  211s |      15 |   232608 |   115932 |    19089     10 |      735 |      632
213.66/213.72	c  213s |      15 |   233279 |   116532 |    19089     10 |      735 |      632
215.86/215.96	c  215s |      15 |   234236 |   117332 |    19089     10 |      735 |      632
218.26/218.30	c  218s |      15 |   235011 |   118032 |    19089     10 |      735 |      632
220.46/220.53	c  220s |      15 |   235843 |   118732 |    19089     10 |      735 |      632
222.86/222.95	c  222s |      15 |   236504 |   119332 |    19089     11 |      735 |      632
224.96/225.03	c  224s |      15 |   237168 |   119932 |    19089     11 |      735 |      632
227.16/227.20	c  226s |      15 |   237993 |   120632 |    19089     11 |      735 |      632
229.26/229.30	c  229s |      15 |   238805 |   121332 |    19089     11 |      735 |      632
231.46/231.53	c  231s |      15 |   239736 |   122132 |    19089     11 |      735 |      632
233.66/233.71	c  233s |      15 |   240542 |   122832 |    19089     11 |      735 |      632
235.66/235.79	c  235s |      15 |   241367 |   123532 |    19089     11 |      735 |      632
237.85/237.90	c  237s |      15 |   242203 |   124232 |    19089     11 |      735 |      632
239.96/240.01	c  239s |      15 |   242860 |   124832 |    19089     11 |      735 |      632
242.06/242.18	c  241s |      15 |   243544 |   125432 |    19089     11 |      735 |      632
244.15/244.24	c  243s |      15 |   244104 |   125932 |    19089     11 |      735 |      632
246.46/246.51	c  246s |      15 |   244753 |   126532 |    19089     11 |      735 |      632
248.55/248.60	c  248s |      15 |   247103 |   127632 |    19089     11 |      735 |      632
250.65/250.74	c  250s |      15 |   248688 |   128632 |    19089     11 |      735 |      632
252.75/252.85	c  252s |      15 |   250397 |   129632 |    19089     11 |      735 |      632
255.05/255.11	c  254s |      15 |   251973 |   130532 |    19089     12 |      735 |      632
256.65/256.71	c  256s |      16 |   253651 |   131552 |    20998     12 |      735 |      632
258.66/258.76	c  258s |      16 |   261286 |   133552 |    20998     12 |      735 |      632
260.65/260.76	c  260s |      16 |   263937 |   135352 |    20998     12 |      735 |      632
262.75/262.82	c  262s |      16 |   265723 |   136852 |    20998     12 |      735 |      632
264.75/264.86	c  264s |      16 |   268077 |   138552 |    20998     12 |      735 |      632
266.75/266.86	c  266s |      16 |   270028 |   140052 |    20998     12 |      735 |      632
268.85/268.92	c  268s |      16 |   271683 |   141452 |    20998     12 |      735 |      632
270.95/271.06	c  270s |      16 |   273044 |   142652 |    20998     12 |      735 |      632
273.15/273.22	c  272s |      16 |   274025 |   143552 |    20998     13 |      735 |      632
275.15/275.23	c  274s |      16 |   275122 |   144552 |    20998     13 |      735 |      632
277.45/277.50	c  277s |      16 |   276205 |   145552 |    20998     13 |      735 |      632
279.45/279.52	c  279s |      16 |   277064 |   146352 |    20998     13 |      735 |      632
281.55/281.68	c  281s |      16 |   277923 |   147152 |    20998     13 |      735 |      632
283.65/283.77	c  283s |      16 |   278793 |   147952 |    20998     13 |      735 |      632
285.65/285.78	c  285s |      16 |   279653 |   148752 |    20998     13 |      735 |      632
287.85/287.90	c  287s |      16 |   280497 |   149552 |    20998     13 |      735 |      632
289.84/289.97	c  289s |      16 |   281357 |   150352 |    20998     13 |      735 |      632
292.24/292.30	c  292s |      16 |   282205 |   151152 |    20998     13 |      735 |      632
294.24/294.36	c  294s |      16 |   282960 |   151852 |    20998     13 |      735 |      632
296.44/296.53	c  296s |      16 |   283692 |   152552 |    20998     13 |      735 |      632
298.64/298.73	c  298s |      16 |   284434 |   153252 |    20998     13 |      735 |      632
300.84/300.93	c  300s |      16 |   285187 |   153952 |    20998     13 |      735 |      632
302.84/302.95	c  302s |      16 |   285946 |   154652 |    20998     13 |      735 |      632
305.04/305.10	c  304s |      16 |   286690 |   155352 |    20998     13 |      735 |      632
307.05/307.11	c  306s |      16 |   287450 |   156052 |    20998     14 |      735 |      632
309.15/309.26	c  308s |      16 |   288444 |   156952 |    20998     14 |      735 |      632
311.24/311.37	c  311s |      16 |   289427 |   157852 |    20998     14 |      735 |      632
313.24/313.38	c  313s |      16 |   290403 |   158752 |    20998     14 |      735 |      632
315.34/315.49	c  315s |      16 |   291389 |   159652 |    20998     14 |      735 |      632
317.34/317.49	c  317s |      16 |   292240 |   160452 |    20998     14 |      735 |      632
319.54/319.70	c  319s |      16 |   293221 |   161352 |    20998     14 |      735 |      632
321.74/321.81	c  321s |      16 |   294081 |   162152 |    20998     14 |      735 |      632
323.74/323.82	c  323s |      16 |   294817 |   162852 |    20998     14 |      735 |      632
325.84/325.91	c  325s |      16 |   295548 |   163552 |    20998     14 |      735 |      632
328.04/328.10	c  327s |      16 |   296406 |   164352 |    20998     14 |      735 |      632
330.04/330.19	c  329s |      16 |   297138 |   165052 |    20998     14 |      735 |      632
332.24/332.40	c  332s |      16 |   297873 |   165752 |    20998     14 |      735 |      632
334.54/334.64	c  334s |      16 |   298607 |   166452 |    20998     14 |      735 |      632
336.64/336.76	c  336s |      16 |   299232 |   167052 |    20998     14 |      735 |      632
338.84/338.98	c  338s |      16 |   299860 |   167652 |    20998     15 |      735 |      632
341.04/341.11	c  340s |      16 |   300713 |   168452 |    20998     15 |      735 |      632
343.03/343.19	c  342s |      16 |   301551 |   169252 |    20998     15 |      735 |      632
345.23/345.37	c  345s |      16 |   302397 |   170052 |    20998     15 |      735 |      632
347.43/347.53	c  347s |      16 |   303275 |   170852 |    20998     15 |      735 |      632
349.73/349.87	c  349s |      16 |   304122 |   171652 |    20998     15 |      735 |      632
351.83/351.96	c  351s |      16 |   304906 |   172352 |    20998     15 |      735 |      632
354.03/354.13	c  353s |      16 |   305648 |   173052 |    20998     15 |      735 |      632
356.33/356.46	c  356s |      16 |   306387 |   173752 |    20998     15 |      735 |      632
358.64/358.72	c  358s |      16 |   307111 |   174452 |    20998     15 |      735 |      632
360.63/360.77	c  360s |      16 |   307747 |   175052 |    20998     15 |      735 |      632
362.83/362.94	c  362s |      16 |   308378 |   175652 |    20998     15 |      735 |      632
365.13/365.21	c  364s |      16 |   308994 |   176252 |    20998     15 |      735 |      632
367.13/367.27	c  366s |      16 |   309506 |   176752 |    20998     15 |      735 |      632
369.43/369.59	c  369s |      16 |   310137 |   177352 |    20998     15 |      735 |      632
371.73/371.84	c  371s |      16 |   310752 |   177952 |    20998     15 |      735 |      632
374.13/374.22	c  373s |      16 |   311377 |   178552 |    20998     15 |      735 |      632
376.13/376.25	c  375s |      16 |   311889 |   179052 |    20998     15 |      735 |      632
378.23/378.36	c  378s |      16 |   312412 |   179552 |    20998     15 |      735 |      632
380.43/380.51	c  380s |      16 |   312932 |   180052 |    20998     16 |      735 |      632
382.73/382.84	c  382s |      16 |   313773 |   180852 |    20998     16 |      735 |      632
384.93/385.02	c  384s |      16 |   314516 |   181552 |    20998     16 |      735 |      632
387.23/387.31	c  387s |      16 |   315255 |   182252 |    20998     16 |      735 |      632
389.43/389.56	c  389s |      16 |   316000 |   182952 |    20998     16 |      735 |      632
391.52/391.62	c  391s |      16 |   316526 |   183452 |    20998     16 |      735 |      632
393.62/393.77	c  393s |      16 |   317173 |   184052 |    20998     16 |      735 |      632
395.92/396.05	c  395s |      16 |   317897 |   184752 |    20998     16 |      735 |      632
398.02/398.16	c  397s |      16 |   318546 |   185352 |    20998     16 |      735 |      632
400.22/400.38	c  400s |      16 |   319205 |   185952 |    20998     16 |      735 |      632
402.52/402.63	c  402s |      16 |   319938 |   186652 |    20998     16 |      735 |      632
404.62/404.75	c  404s |      16 |   320666 |   187352 |    20998     16 |      735 |      632
406.82/406.94	c  406s |      16 |   321411 |   188052 |    20998     16 |      735 |      632
408.82/408.99	c  408s |      16 |   322035 |   188652 |    20998     16 |      735 |      632
410.82/410.99	c  410s |      16 |   322656 |   189252 |    20998     16 |      735 |      632
413.22/413.33	c  413s |      16 |   323283 |   189852 |    20998     16 |      735 |      632
415.32/415.46	c  415s |      16 |   323911 |   190452 |    20998     16 |      735 |      632
417.72/417.81	c  417s |      16 |   324574 |   191052 |    20998     16 |      735 |      632
419.82/419.99	c  419s |      16 |   325203 |   191652 |    20998     16 |      735 |      632
421.92/422.09	c  421s |      16 |   325856 |   192252 |    20998     17 |      735 |      632
424.12/424.24	c  423s |      16 |   326597 |   192952 |    20998     17 |      735 |      632
426.22/426.39	c  426s |      16 |   327342 |   193652 |    20998     17 |      735 |      632
428.52/428.63	c  428s |      16 |   328218 |   194452 |    20998     17 |      735 |      632
430.62/430.73	c  430s |      16 |   328963 |   195152 |    20998     17 |      735 |      632
432.72/432.84	c  432s |      16 |   329808 |   195952 |    20998     17 |      735 |      632
434.72/434.84	c  434s |      16 |   330559 |   196652 |    23098     17 |      735 |      632
436.92/437.04	c  436s |      16 |   331298 |   197352 |    23098     17 |      735 |      632
437.32/437.40	c  437s |      17 |   331380 |   197432 |    23098     17 |      735 |      632
439.33/439.40	c  439s |      17 |   343109 |   199632 |    23098     17 |      735 |      632
441.32/441.48	c  441s |      17 |   345334 |   201432 |    23098     17 |      735 |      632
443.43/443.55	c  443s |      17 |   346953 |   202832 |    23098     17 |      735 |      632
445.53/445.63	c  445s |      17 |   348373 |   204132 |    23098     17 |      735 |      632
447.52/447.64	c  447s |      17 |   349543 |   205232 |    23098     17 |      735 |      632
449.52/449.66	c  449s |      17 |   350296 |   205932 |    23098     18 |      735 |      632
451.72/451.80	c  451s |      17 |   351259 |   206832 |    23098     18 |      735 |      632
453.72/453.86	c  453s |      17 |   352351 |   207832 |    23098     18 |      735 |      632
455.82/455.97	c  455s |      17 |   353268 |   208732 |    23098     18 |      735 |      632
458.02/458.15	c  457s |      17 |   354241 |   209632 |    23098     18 |      735 |      632
460.22/460.38	c  460s |      17 |   355211 |   210532 |    23098     18 |      735 |      632
462.32/462.43	c  462s |      17 |   356160 |   211432 |    23098     18 |      735 |      632
464.33/464.49	c  464s |      17 |   357001 |   212232 |    23098     18 |      735 |      632
466.43/466.51	c  466s |      17 |   357720 |   212932 |    23098     18 |      735 |      632
468.42/468.52	c  468s |      17 |   358461 |   213632 |    23098     18 |      735 |      632
470.52/470.67	c  470s |      17 |   359203 |   214332 |    23098     18 |      735 |      632
472.62/472.72	c  472s |      17 |   359820 |   214932 |    23098     18 |      735 |      632
474.62/474.73	c  474s |      17 |   360446 |   215532 |    23098     18 |      735 |      632
476.82/476.94	c  476s |      17 |   361198 |   216232 |    23098     18 |      735 |      632
478.82/478.95	c  478s |      17 |   361819 |   216832 |    23098     18 |      735 |      632
481.12/481.20	c  480s |      17 |   362560 |   217532 |    23098     18 |      735 |      632
483.12/483.24	c  482s |      17 |   369563 |   218932 |    23098     19 |      735 |      632
485.12/485.28	c  485s |      17 |   377336 |   220832 |    23098     19 |      735 |      632
487.22/487.30	c  487s |      17 |   380180 |   222632 |    23098     19 |      735 |      632
489.22/489.36	c  489s |      17 |   382140 |   224032 |    23098     19 |      735 |      632
491.32/491.43	c  491s |      17 |   383559 |   225232 |    23098     19 |      735 |      632
493.42/493.56	c  493s |      17 |   385086 |   226532 |    23098     19 |      735 |      632
495.41/495.56	c  495s |      17 |   386411 |   227732 |    23098     19 |      735 |      632
497.61/497.71	c  497s |      17 |   387705 |   228932 |    23098     19 |      735 |      632
499.61/499.74	c  499s |      17 |   388789 |   229932 |    23098     19 |      735 |      632
501.81/501.92	c  501s |      17 |   389841 |   230932 |    23098     19 |      735 |      632
503.92/504.05	c  503s |      17 |   390817 |   231832 |    23098     20 |      735 |      632
506.02/506.10	c  505s |      17 |   391858 |   232832 |    23098     20 |      735 |      632
508.01/508.16	c  507s |      17 |   393043 |   233832 |    23098     20 |      735 |      632
510.11/510.28	c  510s |      17 |   394300 |   235032 |    23098     20 |      735 |      632
512.21/512.37	c  512s |      17 |   395321 |   236032 |    23098     20 |      735 |      632
514.31/514.44	c  514s |      17 |   396386 |   237032 |    23098     20 |      735 |      632
516.51/516.62	c  516s |      17 |   397448 |   238032 |    23098     20 |      735 |      632
518.51/518.65	c  518s |      17 |   398482 |   238932 |    23098     20 |      735 |      632
520.61/520.74	c  520s |      17 |   400777 |   240232 |    23098     20 |      735 |      632
522.71/522.84	c  522s |      17 |   402187 |   241232 |    23098     20 |      735 |      632
524.82/524.96	c  524s |      17 |   403031 |   242032 |    23098     20 |      735 |      632
526.81/526.98	c  526s |      17 |   403767 |   242732 |    23098     20 |      735 |      632
529.01/529.10	c  528s |      17 |   404659 |   243532 |    23098     20 |      735 |      632
531.01/531.13	c  530s |      17 |   405623 |   244332 |    23098     20 |      735 |      632
533.11/533.23	c  532s |      17 |   406316 |   244932 |    23098     21 |      735 |      632
535.21/535.35	c  535s |      17 |   407847 |   245932 |    23098     21 |      735 |      632
537.31/537.41	c  537s |      17 |   409199 |   246932 |    23098     21 |      735 |      632
539.31/539.47	c  539s |      17 |   410328 |   247932 |    23098     21 |      735 |      632
541.51/541.63	c  541s |      17 |   411284 |   248832 |    23098     21 |      735 |      632
543.71/543.80	c  543s |      17 |   412355 |   249832 |    23098     21 |      735 |      632
545.71/545.81	c  545s |      17 |   413185 |   250632 |    23098     21 |      735 |      632
547.91/548.03	c  547s |      17 |   414131 |   251532 |    23098     21 |      735 |      632
550.01/550.13	c  549s |      17 |   415084 |   252432 |    23098     21 |      735 |      632
552.11/552.22	c  551s |      17 |   415954 |   253232 |    23098     21 |      735 |      632
554.21/554.32	c  554s |      17 |   416694 |   253932 |    23098     21 |      735 |      632
556.31/556.40	c  556s |      17 |   417466 |   254632 |    23098     21 |      735 |      632
558.51/558.65	c  558s |      17 |   418358 |   255432 |    23098     21 |      735 |      632
560.50/560.69	c  560s |      17 |   419174 |   256132 |    23098     21 |      735 |      632
562.70/562.85	c  562s |      17 |   419900 |   256832 |    23098     21 |      735 |      632
565.00/565.16	c  564s |      17 |   420536 |   257432 |    23098     22 |      735 |      632
567.10/567.23	c  566s |      17 |   421316 |   258132 |    23098     22 |      735 |      632
569.10/569.29	c  569s |      17 |   422166 |   258932 |    23098     22 |      735 |      632
571.40/571.55	c  571s |      17 |   423002 |   259732 |    23098     22 |      735 |      632
573.60/573.76	c  573s |      17 |   423980 |   260532 |    23098     22 |      735 |      632
575.90/576.06	c  575s |      17 |   425003 |   261332 |    23098     22 |      735 |      632
578.10/578.29	c  578s |      17 |   426139 |   262132 |    23098     22 |      735 |      632
580.10/580.29	c  580s |      17 |   427072 |   262732 |    23098     22 |      735 |      632
582.20/582.33	c  582s |      17 |   428423 |   263732 |    23098     22 |      735 |      632
584.30/584.47	c  584s |      17 |   429233 |   264532 |    23098     22 |      735 |      632
586.31/586.48	c  586s |      17 |   429864 |   265132 |    23098     22 |      735 |      632
588.51/588.65	c  588s |      17 |   430477 |   265732 |    23098     22 |      735 |      632
590.90/591.03	c  590s |      17 |   431181 |   266432 |    23098     22 |      735 |      632
593.01/593.14	c  592s |      17 |   431785 |   267032 |    23098     22 |      735 |      632
595.11/595.25	c  594s |      17 |   432420 |   267632 |    23098     22 |      735 |      632
597.31/597.49	c  597s |      17 |   433276 |   268432 |    23098     22 |      735 |      632
599.40/599.54	c  599s |      17 |   434011 |   269132 |    23098     22 |      735 |      632
601.60/601.73	c  601s |      17 |   435035 |   269932 |    23098     22 |      735 |      632
603.60/603.78	c  603s |      17 |   435554 |   270432 |    23098     23 |      735 |      632
606.00/606.15	c  605s |      17 |   436380 |   271232 |    23098     23 |      735 |      632
608.10/608.25	c  607s |      17 |   437315 |   272132 |    23098     23 |      735 |      632
610.19/610.31	c  610s |      17 |   438142 |   272932 |    23098     23 |      735 |      632
612.29/612.40	c  612s |      17 |   438969 |   273732 |    23098     23 |      735 |      632
614.39/614.51	c  614s |      17 |   439800 |   274532 |    23098     23 |      735 |      632
616.39/616.52	c  616s |      17 |   440511 |   275232 |    23098     23 |      735 |      632
618.49/618.63	c  618s |      17 |   441343 |   275932 |    23098     23 |      735 |      632
620.69/620.87	c  620s |      17 |   442198 |   276732 |    23098     23 |      735 |      632
622.89/623.09	c  622s |      17 |   443073 |   277532 |    23098     23 |      735 |      632
624.99/625.16	c  624s |      17 |   443818 |   278232 |    23098     23 |      735 |      632
627.10/627.26	c  626s |      17 |   444584 |   278932 |    23098     23 |      735 |      632
629.30/629.45	c  629s |      17 |   445322 |   279632 |    23098     23 |      735 |      632
631.40/631.56	c  631s |      17 |   445958 |   280232 |    23098     23 |      735 |      632
633.79/633.97	c  633s |      17 |   446716 |   280932 |    23098     23 |      735 |      632
636.09/636.21	c  635s |      17 |   447347 |   281532 |    23098     23 |      735 |      632
638.19/638.35	c  638s |      17 |   447989 |   282132 |    23098     23 |      735 |      632
640.49/640.67	c  640s |      17 |   448631 |   282732 |    23098     23 |      735 |      632
642.59/642.78	c  642s |      17 |   449153 |   283232 |    23098     23 |      735 |      632
644.70/644.85	c  644s |      17 |   449568 |   283632 |    23098     24 |      735 |      632
646.90/647.00	c  646s |      17 |   450306 |   284332 |    23098     24 |      735 |      632
648.88/649.04	c  648s |      17 |   450999 |   284932 |    23098     24 |      735 |      632
651.08/651.25	c  650s |      17 |   451630 |   285532 |    23098     24 |      735 |      632
653.18/653.33	c  653s |      17 |   452264 |   286132 |    23098     24 |      735 |      632
655.18/655.37	c  655s |      17 |   453166 |   286832 |    23098     24 |      735 |      632
657.28/657.46	c  657s |      17 |   453882 |   287532 |    23098     24 |      735 |      632
659.38/659.58	c  659s |      17 |   454590 |   288232 |    23098     24 |      735 |      632
661.48/661.62	c  661s |      17 |   455207 |   288832 |    23098     24 |      735 |      632
663.58/663.76	c  663s |      17 |   455837 |   289432 |    23098     24 |      735 |      632
665.68/665.89	c  665s |      17 |   456451 |   290032 |    23098     24 |      735 |      632
667.87/668.00	c  667s |      17 |   457063 |   290632 |    23098     24 |      735 |      632
669.88/670.02	c  669s |      17 |   457671 |   291232 |    23098     24 |      735 |      632
672.08/672.21	c  671s |      17 |   458282 |   291832 |    23098     24 |      735 |      632
674.07/674.28	c  674s |      17 |   458905 |   292432 |    23098     24 |      735 |      632
676.27/676.48	c  676s |      17 |   459558 |   293032 |    23098     24 |      735 |      632
678.67/678.87	c  678s |      17 |   460215 |   293632 |    23098     24 |      735 |      632
680.76/680.96	c  680s |      17 |   460868 |   294232 |    25408     24 |      735 |      632
682.86/683.02	c  682s |      17 |   461567 |   294832 |    25408     24 |      735 |      632
684.86/685.07	c  684s |      17 |   462083 |   295332 |    25408     24 |      735 |      632
687.16/687.33	c  687s |      17 |   462724 |   295932 |    25408     24 |      735 |      632
688.46/688.62	c  688s |      18 |   463052 |   296252 |    25408     24 |      735 |      632
690.46/690.67	c  690s |      18 |   467065 |   297952 |    25408     24 |      735 |      632
692.56/692.74	c  692s |      18 |   468711 |   299352 |    25408     25 |      735 |      632
694.56/694.78	c  694s |      18 |   470957 |   301152 |    25408     25 |      735 |      632
696.76/696.93	c  696s |      18 |   472796 |   302652 |    25408     25 |      735 |      632
698.85/699.02	c  698s |      18 |   474702 |   304052 |    25408     25 |      735 |      632
700.95/701.12	c  700s |      18 |   482051 |   306352 |    25408     25 |      735 |      632
703.05/703.24	c  702s |      18 |   487665 |   308552 |    25408     25 |      735 |      632
705.06/705.24	c  704s |      18 |   490402 |   309952 |    25408     25 |      735 |      632
707.26/707.45	c  707s |      18 |   491991 |   311052 |    25408     25 |      735 |      632
709.35/709.53	c  709s |      18 |   493622 |   311852 |    25408     26 |      735 |      632
711.35/711.57	c  711s |      18 |   500434 |   314152 |    25408     26 |      735 |      632
713.45/713.67	c  713s |      18 |   502460 |   315452 |    25408     26 |      735 |      632
715.55/715.74	c  715s |      18 |   504584 |   316752 |    25408     26 |      735 |      632
717.65/717.85	c  717s |      18 |   506596 |   317952 |    25408     26 |      735 |      632
719.74/719.94	c  719s |      18 |   508636 |   319252 |    25408     26 |      735 |      632
721.84/722.02	c  721s |      18 |   509887 |   320152 |    25408     26 |      735 |      632
723.85/724.06	c  723s |      18 |   511451 |   321152 |    25408     26 |      735 |      632
725.95/726.19	c  725s |      18 |   513061 |   322252 |    25408     26 |      735 |      632
728.15/728.31	c  728s |      18 |   514318 |   323152 |    25408     26 |      735 |      632
730.14/730.35	c  730s |      18 |   515359 |   323952 |    25408     26 |      735 |      632
732.24/732.44	c  732s |      18 |   516641 |   324852 |    25408     26 |      735 |      632
734.44/734.66	c  734s |      18 |   517829 |   325752 |    25408     26 |      735 |      632
736.44/736.66	c  736s |      18 |   518921 |   326552 |    25408     26 |      735 |      632
738.53/738.76	c  738s |      18 |   519910 |   327252 |    25408     27 |      735 |      632
740.73/740.96	c  740s |      18 |   521357 |   328352 |    25408     27 |      735 |      632
743.03/743.22	c  742s |      18 |   522515 |   329252 |    25408     27 |      735 |      632
745.13/745.37	c  745s |      18 |   523532 |   330052 |    25408     27 |      735 |      632
747.43/747.61	c  747s |      18 |   524530 |   330852 |    25408     27 |      735 |      632
749.63/749.80	c  749s |      18 |   525557 |   331652 |    25408     27 |      735 |      632
751.83/752.06	c  751s |      18 |   526558 |   332452 |    25408     27 |      735 |      632
753.93/754.10	c  753s |      18 |   527473 |   333152 |    25408     27 |      735 |      632
755.93/756.17	c  755s |      18 |   528417 |   333852 |    25408     27 |      735 |      632
758.23/758.46	c  758s |      18 |   529232 |   334552 |    25408     27 |      735 |      632
760.53/760.74	c  760s |      18 |   530113 |   335252 |    25408     27 |      735 |      632
762.53/762.79	c  762s |      18 |   531047 |   335952 |    25408     27 |      735 |      632
764.82/765.05	c  764s |      18 |   532166 |   336752 |    25408     27 |      735 |      632
767.32/767.54	c  767s |      18 |   533071 |   337452 |    25408     27 |      735 |      632
769.42/769.67	c  769s |      18 |   533818 |   338052 |    25408     27 |      735 |      632
771.72/771.99	c  771s |      18 |   534770 |   338752 |    25408     27 |      735 |      632
773.92/774.19	c  773s |      18 |   535547 |   339352 |    25408     27 |      735 |      632
776.02/776.24	c  775s |      18 |   536296 |   339952 |    25408     27 |      735 |      632
778.21/778.40	c  778s |      18 |   537032 |   340552 |    25408     27 |      735 |      632
780.51/780.72	c  780s |      18 |   537918 |   341252 |    25408     27 |      735 |      632
782.61/782.88	c  782s |      18 |   538714 |   341852 |    25408     28 |      735 |      632
785.01/785.21	c  784s |      18 |   539697 |   342652 |    25408     28 |      735 |      632
787.01/787.23	c  786s |      18 |   540438 |   343252 |    25408     28 |      735 |      632
789.21/789.47	c  789s |      18 |   541301 |   343952 |    25408     28 |      735 |      632
791.31/791.51	c  791s |      18 |   542172 |   344652 |    25408     28 |      735 |      632
793.51/793.75	c  793s |      18 |   543194 |   345452 |    25408     28 |      735 |      632
795.71/795.95	c  795s |      18 |   544049 |   346152 |    25408     28 |      735 |      632
797.90/798.19	c  797s |      18 |   545196 |   346952 |    25408     28 |      735 |      632
800.00/800.24	c  799s |      18 |   545915 |   347552 |    25408     28 |      735 |      632
802.10/802.34	c  802s |      18 |   546649 |   348152 |    25408     28 |      735 |      632
804.11/804.38	c  804s |      18 |   547377 |   348752 |    25408     28 |      735 |      632
806.31/806.55	c  806s |      18 |   548075 |   349352 |    25408     28 |      735 |      632
808.41/808.66	c  808s |      18 |   550222 |   350352 |    25408     28 |      735 |      632
810.50/810.70	c  810s |      18 |   551874 |   351352 |    25408     28 |      735 |      632
812.50/812.72	c  812s |      18 |   554145 |   352652 |    25408     28 |      735 |      632
815.01/815.26	c  814s |      18 |   555933 |   353852 |    25408     29 |      735 |      632
817.20/817.46	c  817s |      18 |   560752 |   355752 |    25408     29 |      735 |      632
819.29/819.54	c  819s |      18 |   561974 |   356652 |    25408     29 |      735 |      632
821.49/821.75	c  821s |      18 |   563126 |   357452 |    25408     29 |      735 |      632
823.69/823.95	c  823s |      18 |   563994 |   358152 |    25408     29 |      735 |      632
825.79/826.09	c  825s |      18 |   564598 |   358652 |    25408     29 |      735 |      632
827.99/828.20	c  827s |      18 |   565599 |   359352 |    25408     29 |      735 |      632
830.09/830.32	c  830s |      18 |   566360 |   359952 |    25408     29 |      735 |      632
832.20/832.42	c  832s |      18 |   566951 |   360452 |    25408     29 |      735 |      632
834.30/834.59	c  834s |      18 |   568236 |   361352 |    25408     29 |      735 |      632
836.49/836.71	c  836s |      18 |   569418 |   362252 |    25408     29 |      735 |      632
838.69/838.93	c  838s |      18 |   570563 |   363152 |    25408     29 |      735 |      632
840.99/841.27	c  840s |      18 |   571366 |   363852 |    25408     29 |      735 |      632
843.09/843.31	c  843s |      18 |   572186 |   364552 |    25408     29 |      735 |      632
845.29/845.55	c  845s |      18 |   573015 |   365252 |    25408     29 |      735 |      632
847.49/847.70	c  847s |      18 |   573864 |   365952 |    25408     29 |      735 |      632
849.48/849.79	c  849s |      18 |   574569 |   366552 |    25408     29 |      735 |      632
851.68/851.98	c  851s |      18 |   575294 |   367152 |    25408     29 |      735 |      632
854.08/854.34	c  854s |      18 |   575984 |   367752 |    25408     29 |      735 |      632
856.08/856.39	c  856s |      18 |   576576 |   368252 |    25408     29 |      735 |      632
858.38/858.65	c  858s |      18 |   577160 |   368752 |    25408     29 |      735 |      632
860.78/861.02	c  860s |      18 |   577723 |   369252 |    25408     30 |      735 |      632
862.97/863.23	c  862s |      18 |   578434 |   369852 |    25408     30 |      735 |      632
864.97/865.28	c  865s |      18 |   579181 |   370452 |    25408     30 |      735 |      632
867.07/867.35	c  867s |      18 |   579789 |   370952 |    25408     30 |      735 |      632
869.37/869.68	c  869s |      18 |   580358 |   371452 |    25408     30 |      735 |      632
871.57/871.84	c  871s |      18 |   580924 |   371952 |    25408     30 |      735 |      632
873.77/874.06	c  873s |      18 |   581506 |   372452 |    25408     30 |      735 |      632
875.87/876.18	c  875s |      18 |   581971 |   372852 |    25408     30 |      735 |      632
877.96/878.26	c  877s |      18 |   582394 |   373252 |    25408     30 |      735 |      632
880.06/880.34	c  880s |      18 |   582818 |   373652 |    25408     30 |      735 |      632
882.36/882.61	c  882s |      18 |   583392 |   374152 |    25408     30 |      735 |      632
884.46/884.76	c  884s |      18 |   583836 |   374552 |    25408     30 |      735 |      632
886.96/887.23	c  886s |      18 |   584384 |   375052 |    25408     30 |      735 |      632
889.15/889.40	c  889s |      18 |   584831 |   375452 |    25408     30 |      735 |      632
891.45/891.75	c  891s |      18 |   585391 |   375952 |    25408     30 |      735 |      632
893.75/894.03	c  893s |      18 |   586017 |   376452 |    25408     30 |      735 |      632
896.15/896.40	c  896s |      18 |   586576 |   376952 |    25408     30 |      735 |      632
898.15/898.42	c  898s |      18 |   587007 |   377352 |    25408     30 |      735 |      632
900.45/900.77	c  900s |      18 |   587594 |   377852 |    25408     30 |      735 |      632
902.85/903.15	c  902s |      18 |   588125 |   378352 |    25408     30 |      735 |      632
905.15/905.47	c  905s |      18 |   588671 |   378852 |    25408     30 |      735 |      632
907.65/907.99	c  907s |      18 |   589197 |   379352 |    25408     30 |      735 |      632
910.14/910.47	c  910s |      18 |   589741 |   379852 |    25408     30 |      735 |      632
912.54/912.81	c  912s |      18 |   590298 |   380352 |    25408     30 |      735 |      632
914.94/915.20	c  914s |      18 |   590854 |   380852 |    25408     30 |      735 |      632
917.25/917.56	c  917s |      18 |   591424 |   381352 |    25408     30 |      735 |      632
919.73/920.04	c  919s |      18 |   591874 |   381752 |    25408     30 |      735 |      632
921.83/922.16	c  921s |      18 |   592320 |   382152 |    25408     30 |      735 |      632
924.13/924.49	c  924s |      18 |   592921 |   382652 |    25408     30 |      735 |      632
926.64/926.94	c  926s |      18 |   593341 |   383052 |    25408     30 |      735 |      632
929.04/929.32	c  929s |      18 |   593692 |   383352 |    25408     31 |      735 |      632
931.04/931.38	c  931s |      18 |   594295 |   383852 |    25408     31 |      735 |      632
933.23/933.54	c  933s |      18 |   594883 |   384352 |    25408     31 |      735 |      632
935.23/935.58	c  935s |      18 |   595631 |   384952 |    25408     31 |      735 |      632
937.43/937.79	c  937s |      18 |   596553 |   385652 |    25408     31 |      735 |      632
939.52/939.85	c  939s |      18 |   597287 |   386252 |    25408     31 |      735 |      632
941.62/941.92	c  941s |      18 |   597876 |   386752 |    25408     31 |      735 |      632
943.73/944.02	c  943s |      18 |   598468 |   387252 |    25408     31 |      735 |      632
946.22/946.52	c  946s |      18 |   599269 |   387852 |    25408     31 |      735 |      632
948.32/948.60	c  948s |      18 |   599947 |   388352 |    25408     31 |      735 |      632
950.62/950.90	c  950s |      18 |   600585 |   388852 |    25408     31 |      735 |      632
952.82/953.15	c  952s |      18 |   601187 |   389352 |    25408     31 |      735 |      632
955.12/955.45	c  955s |      18 |   601645 |   389752 |    25408     31 |      735 |      632
957.52/957.81	c  957s |      18 |   602246 |   390252 |    25408     31 |      735 |      632
959.62/959.99	c  959s |      18 |   602696 |   390652 |    25408     31 |      735 |      632
961.82/962.11	c  961s |      18 |   603151 |   391052 |    25408     31 |      735 |      632
964.02/964.32	c  964s |      18 |   603605 |   391452 |    25408     31 |      735 |      632
966.62/966.93	c  966s |      18 |   604045 |   391852 |    25408     31 |      735 |      632
969.21/969.59	c  969s |      18 |   604506 |   392252 |    25408     31 |      735 |      632
971.91/972.21	c  971s |      18 |   604929 |   392652 |    25408     31 |      735 |      632
974.01/974.39	c  974s |      18 |   605258 |   392952 |    25408     31 |      735 |      632
976.21/976.57	c  976s |      18 |   605707 |   393352 |    25408     31 |      735 |      632
978.61/978.93	c  978s |      18 |   606185 |   393752 |    25408     31 |      735 |      632
980.71/981.09	c  980s |      18 |   606715 |   394152 |    25408     31 |      735 |      632
983.21/983.56	c  983s |      18 |   607172 |   394552 |    25408     31 |      735 |      632
985.31/985.62	c  985s |      18 |   607650 |   394952 |    25408     31 |      735 |      632
987.30/987.70	c  987s |      18 |   608270 |   395452 |    25408     31 |      735 |      632
989.40/989.78	c  989s |      18 |   608738 |   395852 |    25408     31 |      735 |      632
991.80/992.19	c  991s |      18 |   609214 |   396252 |    25408     31 |      735 |      632
994.31/994.68	c  994s |      18 |   609655 |   396652 |    25408     31 |      735 |      632
996.51/996.81	c  996s |      18 |   609994 |   396952 |    25408     31 |      735 |      632
998.49/998.86	c  998s |      18 |   610493 |   397352 |    25408     31 |      735 |      632
1000.59/1000.92	c 1000s |      18 |   610843 |   397652 |    25408     32 |      735 |      632
1002.69/1003.07	c 1002s |      18 |   611553 |   398252 |    25408     32 |      735 |      632
1004.79/1005.19	c 1004s |      18 |   612197 |   398752 |    25408     32 |      735 |      632
1007.09/1007.47	c 1007s |      18 |   612789 |   399252 |    25408     32 |      735 |      632
1009.48/1009.82	c 1009s |      18 |   613378 |   399752 |    25408     32 |      735 |      632
1011.48/1011.89	c 1011s |      18 |   613820 |   400152 |    25408     32 |      735 |      632
1013.88/1014.24	c 1013s |      18 |   614391 |   400652 |    25408     32 |      735 |      632
1016.20/1016.52	c 1016s |      18 |   614952 |   401152 |    25408     32 |      735 |      632
1018.59/1018.98	c 1018s |      18 |   615389 |   401552 |    25408     32 |      735 |      632
1020.98/1021.33	c 1021s |      18 |   615817 |   401952 |    25408     32 |      735 |      632
1023.48/1023.89	c 1023s |      18 |   616250 |   402352 |    25408     32 |      735 |      632
1025.58/1025.95	c 1025s |      18 |   616574 |   402652 |    25408     32 |      735 |      632
1028.18/1028.57	c 1028s |      18 |   616997 |   403052 |    25408     32 |      735 |      632
1030.49/1030.85	c 1030s |      18 |   617450 |   403452 |    25408     32 |      735 |      632
1032.78/1033.10	c 1032s |      18 |   617890 |   403852 |    25408     32 |      735 |      632
1035.47/1035.82	c 1035s |      18 |   618332 |   404252 |    25408     32 |      735 |      632
1038.07/1038.47	c 1038s |      18 |   618786 |   404652 |    25408     32 |      735 |      632
1040.58/1040.93	c 1040s |      18 |   619233 |   405052 |    25408     32 |      735 |      632
1043.28/1043.60	c 1043s |      18 |   619676 |   405452 |    25408     32 |      735 |      632
1045.78/1046.17	c 1045s |      18 |   620105 |   405852 |    25408     32 |      735 |      632
1048.57/1048.90	c 1048s |      18 |   620553 |   406252 |    25408     32 |      735 |      632
1050.97/1051.36	c 1051s |      18 |   620975 |   406652 |    25408     32 |      735 |      632
1053.07/1053.47	c 1053s |      18 |   621320 |   406952 |    25408     32 |      735 |      632
1055.57/1055.93	c 1055s |      18 |   621759 |   407352 |    25408     32 |      735 |      632
1057.57/1057.97	c 1057s |      18 |   622109 |   407652 |    25408     32 |      735 |      632
1059.67/1060.03	c 1059s |      18 |   622441 |   407952 |    25408     32 |      735 |      632
1062.06/1062.45	c 1062s |      18 |   622878 |   408352 |    25408     32 |      735 |      632
1064.57/1064.91	c 1064s |      18 |   623353 |   408752 |    25408     32 |      735 |      632
1066.87/1067.27	c 1066s |      18 |   623801 |   409152 |    25408     32 |      735 |      632
1069.26/1069.66	c 1069s |      18 |   624253 |   409552 |    25408     32 |      735 |      632
1071.66/1072.04	c 1071s |      18 |   624751 |   409952 |    25408     32 |      735 |      632
1073.86/1074.28	c 1074s |      18 |   625201 |   410352 |    25408     32 |      735 |      632
1076.26/1076.62	c 1076s |      18 |   625662 |   410752 |    25408     32 |      735 |      632
1078.45/1078.88	c 1078s |      18 |   626098 |   411152 |    25408     32 |      735 |      632
1080.75/1081.19	c 1080s |      18 |   626432 |   411452 |    25408     32 |      735 |      632
1084.36/1084.75	c 1084s |      18 |   626865 |   411852 |    25408     33 |      735 |      632
1087.15/1087.58	c 1087s |      18 |   627200 |   412152 |    25408     33 |      735 |      632
1089.54/1089.96	c 1089s |      18 |   627646 |   412552 |    25408     33 |      735 |      632
1091.64/1092.03	c 1091s |      18 |   627984 |   412852 |    25408     33 |      735 |      632
1094.26/1094.63	c 1094s |      18 |   628455 |   413252 |    25408     33 |      735 |      632
1096.85/1097.25	c 1096s |      18 |   628906 |   413652 |    25408     33 |      735 |      632
1099.45/1099.84	c 1099s |      18 |   629363 |   414052 |    25408     33 |      735 |      632
1101.96/1102.36	c 1102s |      18 |   629805 |   414452 |    25408     33 |      735 |      632
1104.16/1104.57	c 1104s |      18 |   630259 |   414852 |    25408     33 |      735 |      632
1106.74/1107.17	c 1106s |      18 |   630709 |   415252 |    25408     33 |      735 |      632
1109.34/1109.72	c 1109s |      18 |   631147 |   415652 |    25408     33 |      735 |      632
1111.34/1111.75	c 1111s |      18 |   631481 |   415952 |    25408     33 |      735 |      632
1113.54/1113.96	c 1113s |      18 |   631832 |   416252 |    25408     33 |      735 |      632
1115.74/1116.13	c 1115s |      18 |   632323 |   416652 |    25408     33 |      735 |      632
1117.84/1118.23	c 1117s |      18 |   632791 |   417052 |    25408     33 |      735 |      632
1120.13/1120.57	c 1120s |      18 |   633235 |   417452 |    25408     33 |      735 |      632
1122.73/1123.15	c 1122s |      18 |   633672 |   417852 |    25408     33 |      735 |      632
1124.93/1125.36	c 1125s |      18 |   634135 |   418252 |    25408     33 |      735 |      632
1127.63/1128.02	c 1127s |      18 |   634565 |   418652 |    25408     33 |      735 |      632
1130.13/1130.53	c 1130s |      18 |   634996 |   419052 |    25408     33 |      735 |      632
1132.44/1132.85	c 1132s |      18 |   635438 |   419452 |    25408     33 |      735 |      632
1134.74/1135.14	c 1134s |      18 |   635883 |   419852 |    25408     33 |      735 |      632
1136.74/1137.14	c 1136s |      18 |   636242 |   420152 |    25408     33 |      735 |      632
1139.23/1139.68	c 1139s |      18 |   636692 |   420552 |    25408     33 |      735 |      632
1141.73/1142.17	c 1141s |      18 |   637132 |   420952 |    25408     33 |      735 |      632
1143.93/1144.35	c 1144s |      18 |   637561 |   421352 |    25408     33 |      735 |      632
1146.43/1146.88	c 1146s |      18 |   638004 |   421752 |    25408     33 |      735 |      632
1148.62/1149.09	c 1148s |      18 |   638437 |   422152 |    25408     33 |      735 |      632
1150.72/1151.10	c 1150s |      18 |   638761 |   422452 |    25408     33 |      735 |      632
1152.72/1153.15	c 1152s |      18 |   639079 |   422752 |    25408     33 |      735 |      632
1155.22/1155.69	c 1155s |      18 |   639510 |   423152 |    25408     33 |      735 |      632
1157.92/1158.35	c 1158s |      18 |   639944 |   423552 |    25408     33 |      735 |      632
1159.92/1160.38	c 1160s |      18 |   640274 |   423852 |    25408     33 |      735 |      632
1162.02/1162.48	c 1162s |      18 |   640593 |   424152 |    25408     33 |      735 |      632
1164.12/1164.59	c 1164s |      18 |   640947 |   424452 |    25408     33 |      735 |      632
1166.52/1166.96	c 1166s |      18 |   641513 |   424852 |    25408     33 |      735 |      632
1169.12/1169.55	c 1169s |      18 |   642141 |   425352 |    25408     33 |      735 |      632
1171.61/1172.04	c 1171s |      18 |   642603 |   425752 |    25408     33 |      735 |      632
1174.01/1174.40	c 1174s |      18 |   642938 |   426052 |    25408     33 |      735 |      632
1176.21/1176.60	c 1176s |      18 |   643347 |   426352 |    25408     34 |      735 |      632
1178.50/1178.97	c 1178s |      18 |   643941 |   426852 |    25408     34 |      735 |      632
1180.70/1181.10	c 1180s |      18 |   644414 |   427252 |    25408     34 |      735 |      632
1183.31/1183.73	c 1183s |      18 |   644877 |   427652 |    25408     34 |      735 |      632
1185.61/1186.02	c 1185s |      18 |   645377 |   428052 |    25408     34 |      735 |      632
1187.71/1188.14	c 1187s |      18 |   645851 |   428452 |    25408     34 |      735 |      632
1189.91/1190.37	c 1190s |      18 |   646294 |   428852 |    25408     34 |      735 |      632
1192.41/1192.81	c 1192s |      18 |   646751 |   429252 |    25408     34 |      735 |      632
1194.91/1195.32	c 1195s |      18 |   647205 |   429652 |    25408     34 |      735 |      632
1197.31/1197.78	c 1197s |      18 |   647677 |   430052 |    25408     34 |      735 |      632
1199.91/1200.39	c 1200s |      18 |   648174 |   430452 |    25408     34 |      735 |      632
1202.20/1202.62	c 1202s |      18 |   648631 |   430852 |    25408     34 |      735 |      632
1204.40/1204.83	c 1204s |      18 |   649061 |   431252 |    25408     34 |      735 |      632
1206.80/1207.25	c 1206s |      18 |   649515 |   431652 |    25408     34 |      735 |      632
1208.90/1209.33	c 1209s |      18 |   649860 |   431952 |    25408     34 |      735 |      632
1211.19/1211.66	c 1211s |      18 |   650296 |   432352 |    25408     34 |      735 |      632
1213.59/1214.07	c 1213s |      18 |   650731 |   432752 |    25408     34 |      735 |      632
1215.89/1216.32	c 1216s |      18 |   651176 |   433152 |    25408     34 |      735 |      632
1218.29/1218.76	c 1218s |      18 |   651621 |   433552 |    25408     34 |      735 |      632
1220.59/1221.00	c 1220s |      18 |   652069 |   433952 |    25408     34 |      735 |      632
1223.09/1223.55	c 1223s |      18 |   652650 |   434452 |    25408     34 |      735 |      632
1225.09/1225.56	c 1225s |      18 |   652991 |   434752 |    25408     34 |      735 |      632
1227.39/1227.86	c 1227s |      18 |   653326 |   435052 |    25408     34 |      735 |      632
1229.68/1230.16	c 1229s |      18 |   653656 |   435352 |    25408     34 |      735 |      632
1231.98/1232.44	c 1232s |      18 |   654128 |   435752 |    25408     34 |      735 |      632
1234.38/1234.84	c 1234s |      18 |   654555 |   436152 |    25408     34 |      735 |      632
1236.48/1236.90	c 1236s |      18 |   654883 |   436452 |    25408     34 |      735 |      632
1238.67/1239.19	c 1238s |      18 |   655349 |   436852 |    25408     34 |      735 |      632
1240.87/1241.33	c 1241s |      18 |   655801 |   437252 |    25408     34 |      735 |      632
1243.47/1243.95	c 1243s |      18 |   656253 |   437652 |    25408     34 |      735 |      632
1245.47/1245.95	c 1245s |      18 |   656586 |   437952 |    25408     34 |      735 |      632
1248.07/1248.60	c 1248s |      18 |   657036 |   438352 |    25408     34 |      735 |      632
1250.17/1250.67	c 1250s |      18 |   657378 |   438652 |    25408     34 |      735 |      632
1252.68/1253.12	c 1252s |      18 |   657823 |   439052 |    25408     34 |      735 |      632
1255.17/1255.63	c 1255s |      18 |   658257 |   439452 |    25408     34 |      735 |      632
1257.77/1258.22	c 1257s |      18 |   658696 |   439852 |    25408     34 |      735 |      632
1259.96/1260.41	c 1260s |      18 |   659014 |   440152 |    25408     34 |      735 |      632
1262.47/1262.91	c 1262s |      18 |   659240 |   440352 |    25408     35 |      735 |      632
1264.87/1265.32	c 1265s |      18 |   659691 |   440752 |    25408     35 |      735 |      632
1266.98/1267.45	c 1267s |      18 |   660011 |   441052 |    25408     35 |      735 |      632
1269.67/1270.10	c 1269s |      18 |   660460 |   441452 |    27949     35 |      735 |      632
1271.67/1272.13	c 1271s |      18 |   660779 |   441752 |    27949     35 |      735 |      632
1273.97/1274.43	c 1274s |      18 |   661220 |   442152 |    27949     35 |      735 |      632
1276.47/1276.91	c 1276s |      18 |   661806 |   442652 |    27949     35 |      735 |      632
1278.87/1279.37	c 1279s |      18 |   662421 |   443152 |    27949     35 |      735 |      632
1281.36/1281.90	c 1281s |      18 |   662994 |   443652 |    27949     35 |      735 |      632
1283.96/1284.46	c 1284s |      18 |   663549 |   444152 |    27949     35 |      735 |      632
1285.76/1286.21	c 1285s |      19 |   663933 |   444482 |    27949     35 |      735 |      632
1287.87/1288.31	c 1288s |      19 |   667097 |   445082 |    27949     35 |      735 |      632
1289.86/1290.38	c 1290s |      19 |   672520 |   447082 |    27949     35 |      735 |      632
1291.96/1292.49	c 1292s |      19 |   675389 |   448982 |    27949     35 |      735 |      632
1294.16/1294.62	c 1294s |      19 |   677229 |   450482 |    27949     35 |      735 |      632
1296.16/1296.69	c 1296s |      19 |   678663 |   451682 |    27949     35 |      735 |      632
1298.26/1298.71	c 1298s |      19 |   680106 |   452882 |    27949     35 |      735 |      632
1300.36/1300.84	c 1300s |      19 |   681392 |   453982 |    27949     35 |      735 |      632
1302.46/1302.91	c 1302s |      19 |   682601 |   454982 |    27949     35 |      735 |      632
1304.45/1304.99	c 1304s |      19 |   683673 |   455882 |    27949     35 |      735 |      632
1306.65/1307.19	c 1306s |      19 |   684724 |   456782 |    27949     35 |      735 |      632
1308.85/1309.37	c 1309s |      19 |   685440 |   457382 |    27949     36 |      735 |      632
1310.86/1311.40	c 1311s |      19 |   686347 |   458182 |    27949     36 |      735 |      632
1313.06/1313.50	c 1313s |      19 |   687231 |   458982 |    27949     36 |      735 |      632
1315.26/1315.73	c 1315s |      19 |   688119 |   459782 |    27949     36 |      735 |      632
1317.35/1317.85	c 1317s |      19 |   688906 |   460482 |    27949     36 |      735 |      632
1319.45/1319.98	c 1319s |      19 |   689569 |   461082 |    27949     36 |      735 |      632
1321.75/1322.26	c 1321s |      19 |   690342 |   461782 |    27949     36 |      735 |      632
1323.95/1324.43	c 1324s |      19 |   691147 |   462482 |    27949     36 |      735 |      632
1325.95/1326.44	c 1326s |      19 |   691939 |   463182 |    27949     36 |      735 |      632
1328.25/1328.78	c 1328s |      19 |   692826 |   463982 |    27949     36 |      735 |      632
1330.35/1330.82	c 1330s |      19 |   693623 |   464682 |    27949     36 |      735 |      632
1332.65/1333.18	c 1332s |      19 |   694401 |   465382 |    27949     36 |      735 |      632
1334.95/1335.48	c 1335s |      19 |   695197 |   466082 |    27949     36 |      735 |      632
1337.05/1337.57	c 1337s |      19 |   695886 |   466682 |    27949     36 |      735 |      632
1339.15/1339.62	c 1339s |      19 |   696544 |   467282 |    27949     36 |      735 |      632
1341.25/1341.79	c 1341s |      19 |   697243 |   467882 |    27949     36 |      735 |      632
1343.65/1344.14	c 1343s |      19 |   697933 |   468482 |    27949     36 |      735 |      632
1345.85/1346.37	c 1346s |      19 |   698613 |   469082 |    27949     36 |      735 |      632
1347.95/1348.42	c 1348s |      19 |   699185 |   469582 |    27949     36 |      735 |      632
1350.04/1350.57	c 1350s |      19 |   699728 |   470082 |    27949     36 |      735 |      632
1352.24/1352.78	c 1352s |      19 |   700266 |   470582 |    27949     36 |      735 |      632
1354.34/1354.87	c 1354s |      19 |   701017 |   471182 |    27949     36 |      735 |      632
1356.64/1357.17	c 1356s |      19 |   701806 |   471882 |    27949     36 |      735 |      632
1358.74/1359.25	c 1358s |      19 |   702519 |   472482 |    27949     36 |      735 |      632
1361.24/1361.72	c 1361s |      19 |   703098 |   472982 |    27949     37 |      735 |      632
1363.54/1364.07	c 1363s |      19 |   703886 |   473682 |    27949     37 |      735 |      632
1365.74/1366.28	c 1366s |      19 |   704678 |   474382 |    27949     37 |      735 |      632
1367.94/1368.50	c 1368s |      19 |   705504 |   475082 |    27949     37 |      735 |      632
1370.25/1370.80	c 1370s |      19 |   706280 |   475782 |    27949     37 |      735 |      632
1372.34/1372.88	c 1372s |      19 |   706967 |   476382 |    27949     37 |      735 |      632
1374.44/1374.97	c 1374s |      19 |   707634 |   476982 |    27949     37 |      735 |      632
1376.64/1377.15	c 1376s |      19 |   708468 |   477682 |    27949     37 |      735 |      632
1378.94/1379.40	c 1379s |      19 |   709485 |   478482 |    27949     37 |      735 |      632
1380.94/1381.43	c 1381s |      19 |   710205 |   479082 |    27949     37 |      735 |      632
1383.04/1383.52	c 1383s |      19 |   710884 |   479682 |    27949     37 |      735 |      632
1385.24/1385.78	c 1385s |      19 |   711689 |   480382 |    27949     37 |      735 |      632
1387.44/1387.98	c 1387s |      19 |   712382 |   480982 |    27949     37 |      735 |      632
1389.64/1390.16	c 1389s |      19 |   713033 |   481582 |    27949     37 |      735 |      632
1391.94/1392.40	c 1392s |      19 |   713823 |   482282 |    27949     37 |      735 |      632
1394.14/1394.64	c 1394s |      19 |   714505 |   482882 |    27949     37 |      735 |      632
1396.24/1396.73	c 1396s |      19 |   715175 |   483482 |    27949     37 |      735 |      632
1398.44/1398.92	c 1398s |      19 |   715867 |   484082 |    27949     37 |      735 |      632
1400.44/1400.99	c 1400s |      19 |   716423 |   484582 |    27949     37 |      735 |      632
1402.73/1403.20	c 1402s |      19 |   716971 |   485082 |    27949     37 |      735 |      632
1404.83/1405.33	c 1405s |      19 |   717545 |   485582 |    27949     37 |      735 |      632
1407.03/1407.57	c 1407s |      19 |   718225 |   486182 |    27949     37 |      735 |      632
1409.13/1409.69	c 1409s |      19 |   718924 |   486782 |    27949     37 |      735 |      632
1411.23/1411.75	c 1411s |      19 |   719608 |   487382 |    27949     37 |      735 |      632
1413.43/1413.99	c 1413s |      19 |   720314 |   487982 |    27949     37 |      735 |      632
1415.53/1416.06	c 1415s |      19 |   720866 |   488482 |    27949     37 |      735 |      632
1417.73/1418.26	c 1417s |      19 |   721419 |   488982 |    27949     38 |      735 |      632
1420.04/1420.55	c 1420s |      19 |   722180 |   489682 |    27949     38 |      735 |      632
1422.34/1422.85	c 1422s |      19 |   722935 |   490382 |    27949     38 |      735 |      632
1424.44/1424.96	c 1424s |      19 |   723635 |   490982 |    27949     38 |      735 |      632
1426.45/1426.97	c 1426s |      19 |   724298 |   491582 |    27949     38 |      735 |      632
1428.65/1429.14	c 1428s |      19 |   724982 |   492182 |    27949     38 |      735 |      632
1430.84/1431.33	c 1431s |      19 |   725668 |   492782 |    27949     38 |      735 |      632
1432.94/1433.41	c 1433s |      19 |   726346 |   493382 |    27949     38 |      735 |      632
1434.94/1435.48	c 1435s |      19 |   727013 |   493982 |    27949     38 |      735 |      632
1437.14/1437.63	c 1437s |      19 |   727681 |   494582 |    27949     38 |      735 |      632
1439.44/1439.91	c 1439s |      19 |   728356 |   495182 |    27949     38 |      735 |      632
1441.44/1441.95	c 1441s |      19 |   728898 |   495682 |    27949     38 |      735 |      632
1443.74/1444.27	c 1443s |      19 |   729547 |   496282 |    27949     38 |      735 |      632
1446.14/1446.61	c 1446s |      19 |   730204 |   496882 |    27949     38 |      735 |      632
1448.34/1448.84	c 1448s |      19 |   730850 |   497482 |    27949     38 |      735 |      632
1450.64/1451.16	c 1450s |      19 |   731501 |   498082 |    27949     38 |      735 |      632
1452.84/1453.34	c 1453s |      19 |   732061 |   498582 |    27949     38 |      735 |      632
1455.13/1455.67	c 1455s |      19 |   732708 |   499182 |    27949     38 |      735 |      632
1457.33/1457.85	c 1457s |      19 |   733372 |   499782 |    27949     38 |      735 |      632
1459.63/1460.16	c 1459s |      19 |   734053 |   500382 |    27949     38 |      735 |      632
1461.83/1462.34	c 1462s |      19 |   734615 |   500882 |    27949     38 |      735 |      632
1463.93/1464.49	c 1464s |      19 |   735162 |   501382 |    27949     38 |      735 |      632
1466.13/1466.61	c 1466s |      19 |   735714 |   501882 |    27949     38 |      735 |      632
1468.33/1468.82	c 1468s |      19 |   736278 |   502382 |    27949     38 |      735 |      632
1470.44/1470.93	c 1470s |      19 |   736842 |   502882 |    27949     38 |      735 |      632
1472.43/1472.95	c 1472s |      19 |   737400 |   503382 |    27949     38 |      735 |      632
1474.93/1475.44	c 1475s |      19 |   737938 |   503882 |    27949     38 |      735 |      632
1477.13/1477.63	c 1477s |      19 |   738376 |   504282 |    27949     39 |      735 |      632
1479.33/1479.83	c 1479s |      19 |   739020 |   504882 |    27949     39 |      735 |      632
1481.44/1481.98	c 1481s |      19 |   739682 |   505482 |    27949     39 |      735 |      632
1483.63/1484.19	c 1483s |      19 |   740342 |   506082 |    27949     39 |      735 |      632
1485.73/1486.28	c 1486s |      19 |   740993 |   506682 |    27949     39 |      735 |      632
1488.13/1488.66	c 1488s |      19 |   741642 |   507282 |    27949     39 |      735 |      632
1490.43/1490.90	c 1490s |      19 |   742305 |   507882 |    27949     39 |      735 |      632
1492.53/1493.04	c 1492s |      19 |   742967 |   508482 |    27949     39 |      735 |      632
1494.73/1495.22	c 1494s |      19 |   743614 |   509082 |    27949     39 |      735 |      632
1497.03/1497.51	c 1497s |      19 |   744276 |   509682 |    27949     39 |      735 |      632
1499.33/1499.86	c 1499s |      19 |   744933 |   510282 |    27949     39 |      735 |      632
1501.52/1502.07	c 1501s |      19 |   745490 |   510782 |    27949     39 |      735 |      632
1503.92/1504.42	c 1504s |      19 |   746148 |   511382 |    27949     39 |      735 |      632
1506.22/1506.72	c 1506s |      19 |   746807 |   511982 |    27949     39 |      735 |      632
1508.62/1509.13	c 1508s |      19 |   747453 |   512582 |    27949     39 |      735 |      632
1510.72/1511.27	c 1510s |      19 |   748115 |   513182 |    27949     39 |      735 |      632
1512.92/1513.49	c 1513s |      19 |   748816 |   513782 |    27949     39 |      735 |      632
1515.22/1515.75	c 1515s |      19 |   749515 |   514382 |    27949     39 |      735 |      632
1517.32/1517.89	c 1517s |      19 |   750186 |   514982 |    27949     39 |      735 |      632
1519.62/1520.11	c 1519s |      19 |   750863 |   515582 |    27949     39 |      735 |      632
1521.62/1522.12	c 1521s |      19 |   751433 |   516082 |    27949     39 |      735 |      632
1523.82/1524.34	c 1524s |      19 |   752091 |   516682 |    27949     39 |      735 |      632
1525.92/1526.46	c 1526s |      19 |   752648 |   517182 |    27949     39 |      735 |      632
1528.22/1528.71	c 1528s |      19 |   753204 |   517682 |    27949     39 |      735 |      632
1530.42/1530.99	c 1530s |      19 |   753733 |   518182 |    27949     39 |      735 |      632
1532.52/1533.05	c 1532s |      19 |   754176 |   518582 |    27949     39 |      735 |      632
1534.62/1535.17	c 1534s |      19 |   754737 |   519082 |    27949     39 |      735 |      632
1536.72/1537.29	c 1537s |      19 |   755322 |   519582 |    27949     39 |      735 |      632
1538.92/1539.49	c 1539s |      19 |   755888 |   520082 |    27949     40 |      735 |      632
1541.22/1541.73	c 1541s |      19 |   756661 |   520782 |    27949     40 |      735 |      632
1543.22/1543.79	c 1543s |      19 |   757315 |   521382 |    27949     40 |      735 |      632
1545.32/1545.84	c 1545s |      19 |   757976 |   521982 |    27949     40 |      735 |      632
1547.32/1547.85	c 1547s |      19 |   758620 |   522582 |    27949     40 |      735 |      632
1549.32/1549.86	c 1549s |      19 |   759280 |   523182 |    27949     40 |      735 |      632
1551.42/1551.97	c 1551s |      19 |   759941 |   523782 |    27949     40 |      735 |      632
1553.42/1553.97	c 1553s |      19 |   760481 |   524282 |    27949     40 |      735 |      632
1555.72/1556.24	c 1555s |      19 |   761131 |   524882 |    27949     40 |      735 |      632
1557.72/1558.27	c 1557s |      19 |   761684 |   525382 |    27949     40 |      735 |      632
1560.01/1560.50	c 1560s |      19 |   762338 |   525982 |    27949     40 |      735 |      632
1562.21/1562.72	c 1562s |      19 |   763018 |   526582 |    27949     40 |      735 |      632
1564.31/1564.84	c 1564s |      19 |   763557 |   527082 |    27949     40 |      735 |      632
1566.61/1567.19	c 1566s |      19 |   764213 |   527682 |    27949     40 |      735 |      632
1568.71/1569.23	c 1568s |      19 |   764803 |   528182 |    27949     40 |      735 |      632
1571.01/1571.57	c 1571s |      19 |   765478 |   528782 |    27949     40 |      735 |      632
1573.11/1573.69	c 1573s |      19 |   766048 |   529282 |    27949     40 |      735 |      632
1575.51/1576.06	c 1575s |      19 |   766733 |   529882 |    27949     40 |      735 |      632
1577.81/1578.39	c 1578s |      19 |   767419 |   530482 |    27949     40 |      735 |      632
1580.21/1580.78	c 1580s |      19 |   767958 |   530982 |    27949     40 |      735 |      632
1582.41/1582.99	c 1582s |      19 |   768520 |   531482 |    27949     40 |      735 |      632
1584.72/1585.28	c 1585s |      19 |   769059 |   531982 |    27949     40 |      735 |      632
1586.92/1587.43	c 1587s |      19 |   769599 |   532482 |    27949     40 |      735 |      632
1589.31/1589.82	c 1589s |      19 |   770130 |   532982 |    27949     40 |      735 |      632
1591.71/1592.23	c 1591s |      19 |   770684 |   533482 |    27949     40 |      735 |      632
1593.81/1594.31	c 1594s |      19 |   771134 |   533882 |    27949     40 |      735 |      632
1596.21/1596.75	c 1596s |      19 |   771679 |   534382 |    27949     40 |      735 |      632
1598.51/1599.08	c 1598s |      19 |   772223 |   534882 |    27949     40 |      735 |      632
1600.61/1601.11	c 1600s |      19 |   772551 |   535182 |    27949     41 |      735 |      632
1602.71/1603.25	c 1602s |      19 |   773212 |   535782 |    27949     41 |      735 |      632
1604.91/1605.43	c 1605s |      19 |   773882 |   536382 |    27949     41 |      735 |      632
1607.01/1607.50	c 1607s |      19 |   774534 |   536982 |    27949     41 |      735 |      632
1609.11/1609.65	c 1609s |      19 |   775196 |   537582 |    27949     41 |      735 |      632
1611.31/1611.87	c 1611s |      19 |   775871 |   538182 |    27949     41 |      735 |      632
1613.60/1614.18	c 1613s |      19 |   776533 |   538782 |    27949     41 |      735 |      632
1615.70/1616.26	c 1615s |      19 |   777060 |   539282 |    27949     41 |      735 |      632
1617.71/1618.29	c 1618s |      19 |   777604 |   539782 |    27949     41 |      735 |      632
1619.80/1620.30	c 1620s |      19 |   778149 |   540282 |    27949     41 |      735 |      632
1621.90/1622.49	c 1622s |      19 |   778835 |   540882 |    27949     41 |      735 |      632
1624.10/1624.66	c 1624s |      19 |   779489 |   541482 |    27949     41 |      735 |      632
1626.10/1626.67	c 1626s |      19 |   780033 |   541982 |    27949     41 |      735 |      632
1628.40/1628.92	c 1628s |      19 |   780579 |   542482 |    27949     41 |      735 |      632
1630.50/1631.03	c 1630s |      19 |   781148 |   542982 |    27949     41 |      735 |      632
1632.90/1633.43	c 1633s |      19 |   781789 |   543582 |    27949     41 |      735 |      632
1634.90/1635.45	c 1635s |      19 |   782335 |   544082 |    27949     41 |      735 |      632
1637.10/1637.61	c 1637s |      19 |   782902 |   544582 |    27949     41 |      735 |      632
1639.10/1639.65	c 1639s |      19 |   783464 |   545082 |    27949     41 |      735 |      632
1641.20/1641.74	c 1641s |      19 |   784021 |   545582 |    27949     41 |      735 |      632
1643.50/1644.01	c 1643s |      19 |   784567 |   546082 |    27949     41 |      735 |      632
1645.80/1646.36	c 1646s |      19 |   785108 |   546582 |    27949     41 |      735 |      632
1648.00/1648.53	c 1648s |      19 |   785656 |   547082 |    27949     41 |      735 |      632
1650.30/1650.88	c 1650s |      19 |   786193 |   547582 |    27949     41 |      735 |      632
1652.50/1653.00	c 1652s |      19 |   786728 |   548082 |    27949     41 |      735 |      632
1654.70/1655.28	c 1655s |      19 |   787268 |   548582 |    27949     41 |      735 |      632
1656.90/1657.44	c 1657s |      19 |   787815 |   549082 |    27949     41 |      735 |      632
1659.00/1659.57	c 1659s |      19 |   788361 |   549582 |    27949     41 |      735 |      632
1661.40/1661.98	c 1661s |      19 |   788906 |   550082 |    27949     41 |      735 |      632
1663.50/1664.05	c 1663s |      19 |   789334 |   550482 |    27949     41 |      735 |      632
1665.59/1666.17	c 1665s |      19 |   789660 |   550782 |    27949     42 |      735 |      632
1667.99/1668.50	c 1668s |      19 |   790331 |   551382 |    27949     42 |      735 |      632
1670.19/1670.73	c 1670s |      19 |   790985 |   551982 |    27949     42 |      735 |      632
1672.39/1672.98	c 1672s |      19 |   791648 |   552582 |    27949     42 |      735 |      632
1674.39/1674.99	c 1674s |      19 |   792198 |   553082 |    27949     42 |      735 |      632
1676.59/1677.19	c 1676s |      19 |   793005 |   553782 |    27949     42 |      735 |      632
1678.99/1679.50	c 1679s |      19 |   793679 |   554382 |    27949     42 |      735 |      632
1681.29/1681.86	c 1681s |      19 |   794457 |   555082 |    27949     42 |      735 |      632
1683.49/1684.00	c 1683s |      19 |   795137 |   555682 |    27949     42 |      735 |      632
1685.69/1686.24	c 1685s |      19 |   795796 |   556282 |    27949     42 |      735 |      632
1687.99/1688.57	c 1688s |      19 |   796456 |   556882 |    27949     42 |      735 |      632
1690.19/1690.75	c 1690s |      19 |   796996 |   557382 |    27949     42 |      735 |      632
1692.29/1692.86	c 1692s |      19 |   797542 |   557882 |    27949     42 |      735 |      632
1694.70/1695.24	c 1694s |      19 |   798215 |   558482 |    27949     42 |      735 |      632
1696.79/1697.30	c 1697s |      19 |   798778 |   558982 |    27949     42 |      735 |      632
1698.79/1699.33	c 1699s |      19 |   799318 |   559482 |    27949     42 |      735 |      632
1700.79/1701.36	c 1701s |      19 |   799870 |   559982 |    27949     42 |      735 |      632
1702.99/1703.53	c 1703s |      19 |   800421 |   560482 |    27949     42 |      735 |      632
1705.29/1705.81	c 1705s |      19 |   800993 |   560982 |    27949     42 |      735 |      632
1707.39/1707.90	c 1707s |      19 |   801523 |   561482 |    27949     42 |      735 |      632
1709.39/1709.94	c 1709s |      19 |   802083 |   561982 |    27949     42 |      735 |      632
1711.49/1712.07	c 1711s |      19 |   802638 |   562482 |    27949     42 |      735 |      632
1713.99/1714.50	c 1714s |      19 |   803197 |   562982 |    27949     42 |      735 |      632
1716.30/1716.89	c 1716s |      19 |   803768 |   563482 |    27949     42 |      735 |      632
1718.59/1719.11	c 1718s |      19 |   804315 |   563982 |    27949     42 |      735 |      632
1720.59/1721.13	c 1720s |      19 |   804757 |   564382 |    27949     42 |      735 |      632
1722.59/1723.18	c 1722s |      19 |   805187 |   564782 |    27949     42 |      735 |      632
1724.99/1725.59	c 1725s |      19 |   805742 |   565282 |    27949     42 |      735 |      632
1727.59/1728.17	c 1727s |      19 |   806304 |   565782 |    27949     42 |      735 |      632
1729.69/1730.26	c 1729s |      19 |   806646 |   566082 |    27949     43 |      735 |      632
1731.79/1732.30	c 1732s |      19 |   807345 |   566682 |    27949     43 |      735 |      632
1733.79/1734.38	c 1734s |      19 |   808124 |   567382 |    27949     43 |      735 |      632
1735.89/1736.42	c 1736s |      19 |   808796 |   567982 |    27949     43 |      735 |      632
1738.19/1738.71	c 1738s |      19 |   809585 |   568682 |    27949     43 |      735 |      632
1740.29/1740.85	c 1740s |      19 |   810254 |   569282 |    27949     43 |      735 |      632
1742.59/1743.13	c 1742s |      19 |   811014 |   569982 |    27949     43 |      735 |      632
1744.69/1745.22	c 1744s |      19 |   811663 |   570582 |    27949     43 |      735 |      632
1746.79/1747.36	c 1747s |      19 |   812332 |   571182 |    27949     43 |      735 |      632
1748.99/1749.51	c 1749s |      19 |   813002 |   571782 |    27949     43 |      735 |      632
1751.29/1751.85	c 1751s |      19 |   813651 |   572382 |    27949     43 |      735 |      632
1753.69/1754.20	c 1753s |      19 |   814307 |   572982 |    27949     43 |      735 |      632
1755.99/1756.56	c 1756s |      19 |   814953 |   573582 |    27949     43 |      735 |      632
1758.29/1758.89	c 1758s |      19 |   815634 |   574182 |    27949     43 |      735 |      632
1760.69/1761.21	c 1760s |      19 |   816284 |   574782 |    27949     43 |      735 |      632
1762.99/1763.59	c 1763s |      19 |   816934 |   575382 |    27949     43 |      735 |      632
1765.29/1765.88	c 1765s |      19 |   817602 |   575982 |    27949     43 |      735 |      632
1767.68/1768.21	c 1767s |      19 |   818279 |   576582 |    27949     43 |      735 |      632
1769.78/1770.30	c 1770s |      19 |   818834 |   577082 |    27949     43 |      735 |      632
1771.88/1772.46	c 1772s |      19 |   819378 |   577582 |    27949     43 |      735 |      632
1774.08/1774.61	c 1774s |      19 |   819918 |   578082 |    27949     43 |      735 |      632
1776.48/1777.01	c 1776s |      19 |   820584 |   578682 |    27949     43 |      735 |      632
1778.48/1779.01	c 1778s |      19 |   821150 |   579182 |    27949     43 |      735 |      632
1780.49/1781.10	c 1780s |      19 |   821714 |   579682 |    27949     43 |      735 |      632
1782.69/1783.25	c 1782s |      19 |   822279 |   580182 |    27949     43 |      735 |      632
1785.08/1785.63	c 1785s |      19 |   822828 |   580682 |    27949     43 |      735 |      632
1787.09/1787.63	c 1787s |      19 |   823275 |   581082 |    27949     43 |      735 |      632
1789.08/1789.68	c 1789s |      19 |   823700 |   581482 |    27949     43 |      735 |      632
1791.38/1791.99	c 1791s |      19 |   824138 |   581882 |    27949     44 |      735 |      632
1793.58/1794.17	c 1793s |      19 |   824797 |   582482 |    27949     44 |      735 |      632
1795.78/1796.39	c 1796s |      19 |   825461 |   583082 |    27949     44 |      735 |      632
1797.88/1798.46	c 1798s |      19 |   825982 |   583582 |    27949     44 |      735 |      632

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

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

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


[startup+0 s]
/proc/loadavg: 2.20 2.17 2.17 4/179 25004
/proc/meminfo: memFree=29587884/32872528 swapFree=1085692/1157232
[pid=25004] ppid=25001 vsize=765372 CPUtime=0 cores=0,2,4,6
/proc/25004/stat : 25004 (toysat) R 25001 25004 21062 0 -1 4202496 2863 0 0 0 0 0 0 0 20 0 4 0 30806799 783740928 2713 33554432000 4194304 16246674 140734871196512 140734871195936 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25004/statm: 191855 2723 441 2943 0 188749 0
[pid=25004/tid=25005] ppid=25001 vsize=782780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25005/stat : 25005 (toysat) S 25001 25004 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30806799 801566720 2784 33554432000 4194304 16246674 140734871196512 140018461945072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25004/tid=25006] ppid=25001 vsize=787900 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25006/stat : 25006 (toysat) S 25001 25004 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30806799 806809600 2801 33554432000 4194304 16246674 140734871196512 140018451455216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25004/tid=25007] ppid=25001 vsize=791996 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25007/stat : 25007 (toysat) S 25001 25004 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30806799 811003904 2817 33554432000 4194304 16246674 140734871196512 140018440981680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 2.20 2.17 2.17 4/179 25004
/proc/meminfo: memFree=29587884/32872528 swapFree=1085692/1157232
[pid=25004] ppid=25001 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/25004/stat : 25004 (toysat) R 25001 25004 21062 0 -1 4202496 28473 0 0 0 6 3 0 0 20 0 4 0 30806799 1249447936 28260 33554432000 4194304 16246674 140734871196512 140734871195824 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25004/statm: 305041 28260 801 2943 0 301935 0
[pid=25004/tid=25005] ppid=25001 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25005/stat : 25005 (toysat) S 25001 25004 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30806799 1249447936 28260 33554432000 4194304 16246674 140734871196512 140018461945072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25004/tid=25006] ppid=25001 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25006/stat : 25006 (toysat) S 25001 25004 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30806799 1249447936 28260 33554432000 4194304 16246674 140734871196512 140018451455216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25004/tid=25007] ppid=25001 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25007/stat : 25007 (toysat) S 25001 25004 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806799 1249447936 28260 33554432000 4194304 16246674 140734871196512 140018440981680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.30644 s]
/proc/loadavg: 2.20 2.17 2.17 4/179 25004
/proc/meminfo: memFree=29587884/32872528 swapFree=1085692/1157232
[pid=25004] ppid=25001 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/25004/stat : 25004 (toysat) R 25001 25004 21062 0 -1 4202496 54874 0 0 0 23 6 0 0 20 0 4 0 30806799 1332285440 54662 33554432000 4194304 16246674 140734871196512 140734871195824 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25004/statm: 325265 54667 882 2943 0 322159 0
[pid=25004/tid=25005] ppid=25001 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25005/stat : 25005 (toysat) S 25001 25004 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30806799 1332285440 54670 33554432000 4194304 16246674 140734871196512 140018461945072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25004/tid=25006] ppid=25001 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25006/stat : 25006 (toysat) S 25001 25004 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30806799 1332285440 54674 33554432000 4194304 16246674 140734871196512 140018451455216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25004/tid=25007] ppid=25001 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25007/stat : 25007 (toysat) S 25001 25004 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806799 1332285440 54677 33554432000 4194304 16246674 140734871196512 140018440981680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.400418 s]
/proc/loadavg: 2.20 2.17 2.17 4/179 25004
/proc/meminfo: memFree=29587884/32872528 swapFree=1085692/1157232
[pid=25004] ppid=25001 vsize=1301060 CPUtime=0.39 cores=0,2,4,6
/proc/25004/stat : 25004 (toysat) R 25001 25004 21062 0 -1 4202496 66530 0 0 0 31 8 0 0 20 0 4 0 30806799 1332285440 66317 33554432000 4194304 16246674 140734871196512 140734871195824 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25004/statm: 325265 66323 882 2943 0 322159 0
[pid=25004/tid=25005] ppid=25001 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25005/stat : 25005 (toysat) S 25001 25004 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30806799 1332285440 66332 33554432000 4194304 16246674 140734871196512 140018461945072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25004/tid=25006] ppid=25001 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25006/stat : 25006 (toysat) S 25001 25004 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30806799 1332285440 66339 33554432000 4194304 16246674 140734871196512 140018451455216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25004/tid=25007] ppid=25001 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25007/stat : 25007 (toysat) S 25001 25004 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806799 1332285440 66347 33554432000 4194304 16246674 140734871196512 140018440981680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 1301060

[startup+0.700328 s]
/proc/loadavg: 2.20 2.17 2.17 4/179 25004
/proc/meminfo: memFree=29587884/32872528 swapFree=1085692/1157232
[pid=25004] ppid=25001 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/25004/stat : 25004 (toysat) R 25001 25004 21062 0 -1 4202496 106860 0 0 0 54 15 0 0 20 0 4 0 30806799 1332285440 106648 33554432000 4194304 16246674 140734871196512 140734871178432 13192029 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25004/statm: 325265 106656 882 2943 0 322159 0
[pid=25004/tid=25005] ppid=25001 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25005/stat : 25005 (toysat) S 25001 25004 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30806799 1332285440 106659 33554432000 4194304 16246674 140734871196512 140018461945072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25004/tid=25006] ppid=25001 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25006/stat : 25006 (toysat) S 25001 25004 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30806799 1332285440 106662 33554432000 4194304 16246674 140734871196512 140018451455216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25004/tid=25007] ppid=25001 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25007/stat : 25007 (toysat) S 25001 25004 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806799 1332285440 106665 33554432000 4194304 16246674 140734871196512 140018440981680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50035 s]
/proc/loadavg: 2.20 2.17 2.17 4/183 25008
/proc/meminfo: memFree=28894676/32872528 swapFree=1085692/1157232
[pid=25004] ppid=25001 vsize=1301060 CPUtime=1.48 cores=0,2,4,6
/proc/25004/stat : 25004 (toysat) R 25001 25004 21062 0 -1 4202496 211447 0 0 0 121 27 0 0 20 0 4 0 30806799 1332285440 211235 33554432000 4194304 16246674 140734871196512 140734871178432 13954410 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25004/statm: 325265 211238 882 2943 0 322159 0
[pid=25004/tid=25005] ppid=25001 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25005/stat : 25005 (toysat) S 25001 25004 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30806799 1332285440 211240 33554432000 4194304 16246674 140734871196512 140018461945072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25004/tid=25006] ppid=25001 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25006/stat : 25006 (toysat) S 25001 25004 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30806799 1332285440 211243 33554432000 4194304 16246674 140734871196512 140018451455216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25004/tid=25007] ppid=25001 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25007/stat : 25007 (toysat) S 25001 25004 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806799 1332285440 211245 33554432000 4194304 16246674 140734871196512 140018440981680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.10037 s]
/proc/loadavg: 2.20 2.17 2.17 3/183 25008
/proc/meminfo: memFree=28510524/32872528 swapFree=1085692/1157232
[pid=25004] ppid=25001 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/25004/stat : 25004 (toysat) R 25001 25004 21062 0 -1 4202496 269528 0 0 0 275 34 0 0 20 0 4 0 30806799 1344868352 269315 33554432000 4194304 16246674 140734871196512 140734871178432 12477724 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25004/statm: 328337 269315 889 2943 0 325231 0
[pid=25004/tid=25005] ppid=25001 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25005/stat : 25005 (toysat) S 25001 25004 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30806799 1344868352 269315 33554432000 4194304 16246674 140734871196512 140018461945072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25004/tid=25006] ppid=25001 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25006/stat : 25006 (toysat) S 25001 25004 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30806799 1344868352 269315 33554432000 4194304 16246674 140734871196512 140018451455216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25004/tid=25007] ppid=25001 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25007/stat : 25007 (toysat) S 25001 25004 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806799 1344868352 269315 33554432000 4194304 16246674 140734871196512 140018440981680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30038 s]
/proc/loadavg: 2.18 2.17 2.17 3/183 25008
/proc/meminfo: memFree=28510668/32872528 swapFree=1085692/1157232
[pid=25004] ppid=25001 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/25004/stat : 25004 (toysat) R 25001 25004 21062 0 -1 4202496 269528 0 0 0 595 34 0 0 20 0 4 0 30806799 1344868352 269315 33554432000 4194304 16246674 140734871196512 140734871178432 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25004/statm: 328337 269315 889 2943 0 325231 0
[pid=25004/tid=25005] ppid=25001 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25005/stat : 25005 (toysat) S 25001 25004 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30806799 1344868352 269315 33554432000 4194304 16246674 140734871196512 140018461945072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25004/tid=25006] ppid=25001 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25006/stat : 25006 (toysat) S 25001 25004 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30806799 1344868352 269315 33554432000 4194304 16246674 140734871196512 140018451455216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25004/tid=25007] ppid=25001 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25007/stat : 25007 (toysat) S 25001 25004 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806799 1344868352 269315 33554432000 4194304 16246674 140734871196512 140018440981680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.17 2.17 2.17 4/183 25008
/proc/meminfo: memFree=28510816/32872528 swapFree=1085692/1157232
[pid=25004] ppid=25001 vsize=1313348 CPUtime=12.68 cores=0,2,4,6
/proc/25004/stat : 25004 (toysat) R 25001 25004 21062 0 -1 4202496 269528 0 0 0 1234 34 0 0 20 0 4 0 30806799 1344868352 269315 33554432000 4194304 16246674 140734871196512 140734871178432 13950199 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25004/statm: 328337 269315 889 2943 0 325231 0
[pid=25004/tid=25005] ppid=25001 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25005/stat : 25005 (toysat) S 25001 25004 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30806799 1344868352 269315 33554432000 4194304 16246674 140734871196512 140018461945072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25004/tid=25006] ppid=25001 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25006/stat : 25006 (toysat) S 25001 25004 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30806799 1344868352 269315 33554432000 4194304 16246674 140734871196512 140018451455216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25004/tid=25007] ppid=25001 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25007/stat : 25007 (toysat) S 25001 25004 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806799 1344868352 269315 33554432000 4194304 16246674 140734871196512 140018440981680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1313348

[startup+25.5073 s]
/proc/loadavg: 2.21 2.17 2.17 3/183 25009
/proc/meminfo: memFree=28511504/32872528 swapFree=1085692/1157232
[pid=25004] ppid=25001 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/25004/stat : 25004 (toysat) R 25001 25004 21062 0 -1 4202496 269530 0 0 0 2515 34 0 0 20 0 4 0 30806799 1344868352 269317 33554432000 4194304 16246674 140734871196512 140734871178432 5600808 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25004/statm: 328337 269317 891 2943 0 325231 0
[pid=25004/tid=25005] ppid=25001 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25005/stat : 25005 (toysat) S 25001 25004 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30806799 1344868352 269317 33554432000 4194304 16246674 140734871196512 140018461945072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25004/tid=25006] ppid=25001 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25006/stat : 25006 (toysat) S 25001 25004 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30806799 1344868352 269317 33554432000 4194304 16246674 140734871196512 140018451455216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25004/tid=25007] ppid=25001 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25007/stat : 25007 (toysat) S 25001 25004 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806799 1344868352 269317 33554432000 4194304 16246674 140734871196512 140018440981680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1004 s]
/proc/loadavg: 2.20 2.17 2.17 3/183 25058
/proc/meminfo: memFree=28532848/32872528 swapFree=1085692/1157232
[pid=25004] ppid=25001 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/25004/stat : 25004 (toysat) R 25001 25004 21062 0 -1 4202496 269531 0 0 0 5074 34 0 0 20 0 4 0 30806799 1344868352 269318 33554432000 4194304 16246674 140734871196512 140734871178432 5722908 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25004/statm: 328337 269318 892 2943 0 325231 0
[pid=25004/tid=25005] ppid=25001 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25005/stat : 25005 (toysat) S 25001 25004 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30806799 1344868352 269318 33554432000 4194304 16246674 140734871196512 140018461945072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25004/tid=25006] ppid=25001 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25006/stat : 25006 (toysat) S 25001 25004 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30806799 1344868352 269318 33554432000 4194304 16246674 140734871196512 140018451455216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25004/tid=25007] ppid=25001 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25007/stat : 25007 (toysat) S 25001 25004 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806799 1344868352 269318 33554432000 4194304 16246674 140734871196512 140018440981680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.22 2.18 2.17 3/183 25059
/proc/meminfo: memFree=28520432/32872528 swapFree=1085692/1157232
[pid=25004] ppid=25001 vsize=1326660 CPUtime=102.27 cores=0,2,4,6
/proc/25004/stat : 25004 (toysat) R 25001 25004 21062 0 -1 4202496 272661 0 0 0 10192 35 0 0 20 0 4 0 30806799 1358499840 272448 33554432000 4194304 16246674 140734871196512 140734871178432 12477752 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25004/statm: 331665 272448 892 2943 0 328559 0
[pid=25004/tid=25005] ppid=25001 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25005/stat : 25005 (toysat) S 25001 25004 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30806799 1358499840 272448 33554432000 4194304 16246674 140734871196512 140018461945072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25004/tid=25006] ppid=25001 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25006/stat : 25006 (toysat) S 25001 25004 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30806799 1358499840 272448 33554432000 4194304 16246674 140734871196512 140018451455216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25004/tid=25007] ppid=25001 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25007/stat : 25007 (toysat) S 25001 25004 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806799 1358499840 272448 33554432000 4194304 16246674 140734871196512 140018440981680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1326660


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

/proc/25004/task/25007/stat : 25007 (toysat) S 25001 25004 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018440981680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1331780

[startup+1362.3 s]
/proc/loadavg: 2.17 2.11 2.11 4/184 25126
/proc/meminfo: memFree=28478036/32872528 swapFree=1085692/1157232
[pid=25004] ppid=25001 vsize=1331780 CPUtime=1361.84 cores=0,2,4,6
/proc/25004/stat : 25004 (toysat) R 25001 25004 21062 0 -1 4202496 274555 0 0 0 136137 47 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140734871178432 12483464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25004/statm: 332945 274182 892 2943 0 329839 0
[pid=25004/tid=25005] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25005/stat : 25005 (toysat) S 25001 25004 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018461945072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25004/tid=25006] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25006/stat : 25006 (toysat) S 25001 25004 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018451455216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25004/tid=25007] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25007/stat : 25007 (toysat) S 25001 25004 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018440981680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1331780

[startup+1422.3 s]
/proc/loadavg: 2.10 2.10 2.10 3/183 25127
/proc/meminfo: memFree=28479040/32872528 swapFree=1085692/1157232
[pid=25004] ppid=25001 vsize=1331780 CPUtime=1421.84 cores=0,2,4,6
/proc/25004/stat : 25004 (toysat) R 25001 25004 21062 0 -1 4202496 274555 0 0 0 142136 48 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140734871178432 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25004/statm: 332945 274182 892 2943 0 329839 0
[pid=25004/tid=25005] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25005/stat : 25005 (toysat) S 25001 25004 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018461945072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25004/tid=25006] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25006/stat : 25006 (toysat) S 25001 25004 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018451455216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25004/tid=25007] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25007/stat : 25007 (toysat) S 25001 25004 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018440981680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1331780

[startup+1482.3 s]
/proc/loadavg: 2.13 2.11 2.10 3/183 25128
/proc/meminfo: memFree=28478508/32872528 swapFree=1085692/1157232
[pid=25004] ppid=25001 vsize=1331780 CPUtime=1481.83 cores=0,2,4,6
/proc/25004/stat : 25004 (toysat) R 25001 25004 21062 0 -1 4202496 274555 0 0 0 148135 48 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140734871178432 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25004/statm: 332945 274182 892 2943 0 329839 0
[pid=25004/tid=25005] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25005/stat : 25005 (toysat) S 25001 25004 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018461945072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25004/tid=25006] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25006/stat : 25006 (toysat) S 25001 25004 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018451455216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25004/tid=25007] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25007/stat : 25007 (toysat) S 25001 25004 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018440981680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1331780

[startup+1542.3 s]
/proc/loadavg: 2.28 2.15 2.11 4/182 25129
/proc/meminfo: memFree=28478804/32872528 swapFree=1085692/1157232
[pid=25004] ppid=25001 vsize=1331780 CPUtime=1541.82 cores=0,2,4,6
/proc/25004/stat : 25004 (toysat) R 25001 25004 21062 0 -1 4202496 274555 0 0 0 154134 48 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140734871178432 5523460 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25004/statm: 332945 274182 892 2943 0 329839 0
[pid=25004/tid=25005] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25005/stat : 25005 (toysat) S 25001 25004 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018461945072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25004/tid=25006] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25006/stat : 25006 (toysat) S 25001 25004 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018451455216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25004/tid=25007] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25007/stat : 25007 (toysat) S 25001 25004 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018440981680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1331780

[startup+1602.3 s]
/proc/loadavg: 2.37 2.18 2.12 3/183 25131
/proc/meminfo: memFree=28478828/32872528 swapFree=1085692/1157232
[pid=25004] ppid=25001 vsize=1331780 CPUtime=1601.81 cores=0,2,4,6
/proc/25004/stat : 25004 (toysat) R 25001 25004 21062 0 -1 4202496 274555 0 0 0 160133 48 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140734871178432 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25004/statm: 332945 274182 892 2943 0 329839 0
[pid=25004/tid=25005] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25005/stat : 25005 (toysat) S 25001 25004 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018461945072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25004/tid=25006] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25006/stat : 25006 (toysat) S 25001 25004 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018451455216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25004/tid=25007] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25007/stat : 25007 (toysat) S 25001 25004 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018440981680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1331780

[startup+1662.31 s]
/proc/loadavg: 2.20 2.16 2.11 3/183 25132
/proc/meminfo: memFree=28479068/32872528 swapFree=1085692/1157232
[pid=25004] ppid=25001 vsize=1331780 CPUtime=1661.8 cores=0,2,4,6
/proc/25004/stat : 25004 (toysat) R 25001 25004 21062 0 -1 4202496 274555 0 0 0 166132 48 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140734871178432 5712022 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25004/statm: 332945 274182 892 2943 0 329839 0
[pid=25004/tid=25005] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25005/stat : 25005 (toysat) S 25001 25004 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018461945072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25004/tid=25006] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25006/stat : 25006 (toysat) S 25001 25004 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018451455216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25004/tid=25007] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25007/stat : 25007 (toysat) S 25001 25004 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018440981680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1331780

[startup+1722.3 s]
/proc/loadavg: 2.07 2.13 2.10 3/183 25133
/proc/meminfo: memFree=28479108/32872528 swapFree=1085692/1157232
[pid=25004] ppid=25001 vsize=1331780 CPUtime=1721.79 cores=0,2,4,6
/proc/25004/stat : 25004 (toysat) R 25001 25004 21062 0 -1 4202496 274555 0 0 0 172130 49 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140734871178432 13950184 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25004/statm: 332945 274182 892 2943 0 329839 0
[pid=25004/tid=25005] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25005/stat : 25005 (toysat) S 25001 25004 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018461945072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25004/tid=25006] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25006/stat : 25006 (toysat) S 25001 25004 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018451455216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25004/tid=25007] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25007/stat : 25007 (toysat) S 25001 25004 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018440981680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1331780

[startup+1782.3 s]
/proc/loadavg: 2.26 2.17 2.11 3/183 25134
/proc/meminfo: memFree=28478204/32872528 swapFree=1085692/1157232
[pid=25004] ppid=25001 vsize=1331780 CPUtime=1781.78 cores=0,2,4,6
/proc/25004/stat : 25004 (toysat) R 25001 25004 21062 0 -1 4202496 274555 0 0 0 178129 49 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140734871195608 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25004/statm: 332945 274182 892 2943 0 329839 0
[pid=25004/tid=25005] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25005/stat : 25005 (toysat) S 25001 25004 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018461945072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25004/tid=25006] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25006/stat : 25006 (toysat) S 25001 25004 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018451455216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25004/tid=25007] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25007/stat : 25007 (toysat) S 25001 25004 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018440981680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1331780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.18 2.15 2.11 4/183 25134
/proc/meminfo: memFree=28478044/32872528 swapFree=1085692/1157232
[pid=25004] ppid=25001 vsize=1331780 CPUtime=1800.08 cores=0,2,4,6
/proc/25004/stat : 25004 (toysat) R 25001 25004 21062 0 -1 4202496 274555 0 0 0 179959 49 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140734871178368 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25004/statm: 332945 274182 892 2943 0 329839 0
[pid=25004/tid=25005] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25005/stat : 25005 (toysat) S 25001 25004 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018461945072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25004/tid=25006] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25006/stat : 25006 (toysat) S 25001 25004 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018451455216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25004/tid=25007] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25007/stat : 25007 (toysat) S 25001 25004 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018440981680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1331780

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

[startup+1800.6 s]
/proc/loadavg: 2.18 2.15 2.11 4/183 25134
/proc/meminfo: memFree=28478044/32872528 swapFree=1085692/1157232
[pid=25004] ppid=25001 vsize=1331780 CPUtime=1800.08 cores=0,2,4,6
/proc/25004/stat : 25004 (toysat) R 25001 25004 21062 0 -1 4202496 274555 0 0 0 179959 49 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140734871178368 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25004/statm: 332945 274182 892 2943 0 329839 0
[pid=25004/tid=25005] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25005/stat : 25005 (toysat) S 25001 25004 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018461945072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25004/tid=25006] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25006/stat : 25006 (toysat) S 25001 25004 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018451455216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25004/tid=25007] ppid=25001 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/25004/task/25007/stat : 25007 (toysat) S 25001 25004 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30806799 1363742720 274182 33554432000 4194304 16246674 140734871196512 140018440981680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1331780

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.6
CPU system time (s): 0.495924
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 1331780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.495924
maximum resident set size= 1096728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274555
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= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.44017 second user time and 8.13276 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 23:47:52
IDJOB=4116997
IDBENCH=109540
IDSOLVER=2542
FILE ID=node114/4116997-1466977672
RUNJOBID= node114-1466944456-21078
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

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

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

MD5SUM BENCH= cb74da8ad9da4ea1b2ea1d65756c1398
RANDOM SEED=1335478085

node114.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29587784 kB
Buffers:           57276 kB
Cached:           227848 kB
SwapCached:        38928 kB
Active:          1168364 kB
Inactive:         255360 kB
Active(anon):    1103984 kB
Inactive(anon):    37760 kB
Active(file):      64380 kB
Inactive(file):   217600 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061384 kB
Dirty:             16744 kB
Writeback:             0 kB
AnonPages:       2258784 kB
Mapped:            10668 kB
Shmem:                 0 kB
Slab:             568584 kB
SReclaimable:      12580 kB
SUnreclaim:       556004 kB
KernelStack:        1496 kB
PageTables:         8212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2403828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1167360 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= 71624 MiB
End job on node114 at 2016-06-27 00:17:53