Trace number 4116541

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.08 1800.53

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-26T23:46:23+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4116541-1466977583.opb"]
0.00/0.01	c use --random-gen="1735342721 1469389647 3480619165 1088953311 2704306964 270913923 3102198750 3823851685 2519696783 750996552 1521991165 3039291765 3994346383 450409736 1879628912 2796128023 1974070686 2843940674 4250368518 2910341867 4182673782 3560566366 155280307 3432423035 3062585477 2926858986 2536940500 3308789132 79749672 1069193333 2355983183 2303263848 1432636155 1700656114 3283788057 2927722129 1586310284 4164162940 988588703 3076865361 45671060 3517748309 799665448 1141305334 3963595299 1925782043 797914851 1921257754 3593100903 796457891 1900434985 936290893 1669408441 3044999089 671106910 3595120334 1046954694 4043554938 567912277 3016088178 1800385159 3025794922 3493447516 4269568438 1674380959 1763288617 3993615066 2771807365 3697196434 1246707297 1199385454 2258072823 3012150952 2358331171 3934239753 2309618519 2170994396 1570577241 2700108849 3249416339 2506028574 3339676522 3990645370 2797415337 2851317988 3304767689 3483446542 3984315697 1031174167 1300765334 3313174119 1911623647 3055525206 829091737 122710349 2511128487 2265385473 2361282573 3429744067 1891097608 3353580813 1911272997 2161285550 2231645126 2839918294 343715523 99711892 1893097592 580842055 2357623047 1122677037 3504983921 4223748055 3223106018 4185454759 2060143774 1293731551 3726365274 3469131374 29200769 3574806174 1531948013 2116558336 2900428100 3717834424 2983532148 1707555720 2376556630 2103155318 1539248721 2419089434 3774470159 1707137416 1695981908 232313526 2118114451 3073358146 2102938564 51518779 3486471909 3168275489 2856229857 2585663347 1890958530 4188991924 418872078 2724110556 2168390234 3106611223 790427751 3866859722 2413158513 935260213 2963367077 3088811921 1546845769 4011476109 1851132151 2233701899 888457080 2187324986 1039030064 1587789324 1795685746 3622323210 3570006779 3883124573 1199351634 3645296392 1066143410 2549949705 1480386228 1831593867 483053562 3444414681 3428779555 651940106 3728362845 2774458304 2194845553 4178436369 1180196211 1250917860 309284009 1306752432 2016048609 3037499466 875822381 712945643 1665567754 110985157 3102095942 1399718828 1132409499 2368629869 2010650861 1205511201 1162195153 989571188 264829737 1802625951 730263559 2432341336 4110394338 2277440933 20787925 2841966299 3476945967 1591085303 4268829940 1477816705 1059738256 4163199030 537192837 3332006795 1690211905 829211543 3834803428 1579733019 656814265 4157882567 1817269300 2644220513 2374807810 3245552433 4162303924 1867816291 3513402212 636110418 3513893908 3046641353 1829547294 3196568723 156714423 1067831206 2114730514 1107555109 2154344436 3769637675 2031305389 1403243919 1017656486 1818945640 4214507792 186482864 1364442904 2887466750 3192711023 3355681554 824287448 3947805065 2108615548 3675239258 1417477340 228445374 3202818388 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9488
0.19/0.28	c Solving starts ...
0.19/0.28	c ============================[ Search Statistics ]============================
0.19/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.28	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      684 |        0
0.28/0.34	c  0.1s |       1 |      940 |      100 |     4565      0 |      684 |      544
0.39/0.41	c  0.1s |       2 |     1785 |      250 |     5022      0 |      684 |      544
0.59/0.60	c  0.3s |       3 |     2796 |      475 |     5525      0 |      684 |      544
0.79/0.84	c  0.6s |       4 |     6013 |      813 |     6078      0 |      684 |      544
1.38/1.40	c  1.1s |       5 |     9074 |     1320 |     6686      0 |      685 |      544
1.99/2.08	c  1.8s |       6 |    15909 |     2081 |     8091      0 |      685 |      544
2.99/3.06	c  2.8s |       7 |    20038 |     3223 |     8901      0 |      685 |      544
4.49/4.59	c  4.3s |       8 |    23450 |     4936 |     9792      0 |      685 |      544
6.59/6.67	c  6.4s |       8 |    29082 |     6736 |     9792      0 |      685 |      544
7.79/7.89	c  7.6s |       9 |    29892 |     7506 |    10772      0 |      685 |      544
9.89/9.99	c  9.7s |       9 |    34331 |     9306 |    10772      0 |      686 |      544
11.98/12.01	c 11.7s |       9 |    36008 |    10706 |    10772      0 |      686 |      544
13.08/13.19	c 12.9s |      10 |    36818 |    11361 |    11850      0 |      686 |      544
15.18/15.22	c 14.9s |      10 |    49590 |    14061 |    11850      0 |      686 |      544
17.18/17.26	c 17.0s |      10 |    53381 |    15861 |    11850      1 |      686 |      544
19.28/19.32	c 19.0s |      11 |    55039 |    17144 |    13036      1 |      686 |      544
21.28/21.39	c 21.1s |      11 |    58673 |    18744 |    13036      1 |      686 |      544
23.38/23.45	c 23.2s |      11 |    61061 |    20344 |    13036      1 |      686 |      544
25.39/25.49	c 25.2s |      11 |    63197 |    21844 |    13036      1 |      686 |      544
27.59/27.64	c 27.4s |      11 |    64556 |    22944 |    13036      1 |      686 |      544
29.58/29.70	c 29.4s |      11 |    65759 |    23944 |    13036      1 |      686 |      544
31.78/31.83	c 31.6s |      11 |    66915 |    24944 |    13036      2 |      686 |      544
33.48/33.55	c 33.3s |      12 |    68006 |    25819 |    14340      2 |      686 |      544
35.58/35.69	c 35.4s |      12 |    74997 |    27719 |    14340      2 |      686 |      544
37.78/37.81	c 37.5s |      12 |    76970 |    29119 |    14340      2 |      686 |      544
39.78/39.83	c 39.6s |      12 |    78011 |    30019 |    14340      2 |      686 |      544
41.89/41.99	c 41.7s |      12 |    79253 |    31019 |    14340      2 |      686 |      544
44.09/44.15	c 43.9s |      12 |    80417 |    32019 |    14340      2 |      686 |      544
46.19/46.30	c 46.0s |      12 |    81349 |    32819 |    14340      2 |      686 |      544
48.38/48.44	c 48.2s |      12 |    82024 |    33419 |    14340      3 |      686 |      544
50.48/50.59	c 50.3s |      12 |    82845 |    34119 |    14340      3 |      686 |      544
52.68/52.71	c 52.4s |      12 |    83542 |    34719 |    14340      3 |      686 |      544
54.68/54.76	c 54.5s |      12 |    83987 |    35119 |    14340      3 |      686 |      544
56.98/57.00	c 56.7s |      12 |    84664 |    35719 |    14340      3 |      686 |      544
58.98/59.04	c 58.8s |      12 |    85191 |    36219 |    14340      3 |      686 |      544
61.59/61.60	c 61.3s |      12 |    85950 |    36919 |    14340      3 |      686 |      544
63.68/63.73	c 63.5s |      12 |    86504 |    37419 |    14340      3 |      686 |      544
65.88/66.00	c 65.7s |      12 |    87201 |    38019 |    14340      3 |      686 |      544
68.28/68.34	c 68.1s |      12 |    87840 |    38619 |    15775      3 |      686 |      544
69.18/69.24	c 69.0s |      13 |    88068 |    38832 |    15775      3 |      686 |      544
71.17/71.27	c 71.0s |      13 |    91838 |    40432 |    15775      3 |      686 |      544
73.27/73.33	c 73.1s |      13 |    93428 |    41832 |    15775      3 |      686 |      544
75.27/75.36	c 75.1s |      13 |    94440 |    42732 |    15775      3 |      686 |      544
77.77/77.81	c 77.5s |      13 |    95685 |    43832 |    15775      4 |      686 |      544
79.97/80.03	c 79.7s |      13 |    96878 |    44932 |    15775      4 |      686 |      544
82.07/82.12	c 81.8s |      13 |    98016 |    45932 |    15775      4 |      686 |      544
84.07/84.15	c 83.9s |      13 |    98884 |    46732 |    15775      4 |      686 |      544
86.17/86.21	c 85.9s |      13 |    99737 |    47532 |    15775      4 |      686 |      544
88.27/88.35	c 88.1s |      13 |   105186 |    49632 |    15775      4 |      686 |      544
90.28/90.39	c 90.1s |      13 |   107318 |    51132 |    15775      4 |      686 |      544
92.38/92.47	c 92.2s |      13 |   110116 |    52632 |    15775      4 |      686 |      544
94.37/94.49	c 94.2s |      13 |   113450 |    54032 |    15775      5 |      686 |      544
96.47/96.51	c 96.2s |      13 |   114830 |    55332 |    15775      5 |      686 |      544
98.57/98.64	c 98.4s |      13 |   116039 |    56432 |    15775      5 |      686 |      544
100.57/100.68	c  100s |      13 |   117116 |    57432 |    15775      5 |      686 |      544
102.07/102.14	c  101s |      14 |   118292 |    58352 |    17353      5 |      686 |      544
104.17/104.25	c  103s |      14 |   128167 |    60552 |    17353      5 |      686 |      544
106.27/106.35	c  106s |      14 |   130219 |    61952 |    17353      5 |      686 |      544
108.37/108.49	c  108s |      14 |   132341 |    63252 |    17353      6 |      686 |      544
110.57/110.62	c  110s |      14 |   143150 |    65852 |    17353      6 |      686 |      544
112.67/112.79	c  112s |      14 |   146021 |    67452 |    17353      6 |      686 |      544
114.87/114.91	c  114s |      14 |   147447 |    68552 |    17353      6 |      686 |      544
116.87/116.92	c  116s |      14 |   149756 |    69652 |    17353      6 |      686 |      544
119.07/119.11	c  118s |      14 |   152182 |    70852 |    17353      6 |      686 |      544
121.27/121.30	c  121s |      14 |   153669 |    71952 |    17353      6 |      686 |      544
123.47/123.51	c  123s |      14 |   154817 |    72852 |    17353      6 |      686 |      544
125.57/125.62	c  125s |      14 |   155617 |    73552 |    17353      6 |      686 |      544
127.77/127.82	c  127s |      14 |   156455 |    74252 |    17353      7 |      686 |      544
129.97/130.01	c  129s |      14 |   157396 |    75052 |    17353      7 |      686 |      544
132.17/132.25	c  131s |      14 |   158323 |    75852 |    17353      7 |      686 |      544
134.47/134.55	c  134s |      14 |   159071 |    76552 |    17353      7 |      686 |      544
136.67/136.79	c  136s |      14 |   159882 |    77252 |    17353      7 |      686 |      544
138.77/138.83	c  138s |      14 |   162375 |    78352 |    17353      7 |      686 |      544
140.78/140.84	c  140s |      14 |   163822 |    79352 |    17353      7 |      686 |      544
142.77/142.87	c  142s |      14 |   166185 |    80652 |    17353      7 |      686 |      544
144.97/145.05	c  144s |      14 |   167713 |    81752 |    17353      7 |      686 |      544
147.07/147.19	c  146s |      14 |   170967 |    83152 |    17353      7 |      686 |      544
149.17/149.27	c  148s |      14 |   172401 |    84252 |    17353      7 |      686 |      544
151.17/151.29	c  151s |      14 |   174247 |    85352 |    17353      8 |      686 |      544
153.27/153.38	c  153s |      14 |   175931 |    86552 |    17353      8 |      686 |      544
154.87/154.98	c  154s |      15 |   178719 |    87632 |    19089      8 |      686 |      544
156.97/157.04	c  156s |      15 |   186749 |    89732 |    19089      8 |      686 |      544
159.06/159.13	c  158s |      15 |   189737 |    91332 |    19089      8 |      686 |      544
161.06/161.17	c  160s |      15 |   191091 |    92432 |    19089      8 |      686 |      544
163.26/163.37	c  163s |      15 |   192362 |    93532 |    19089      8 |      686 |      544
165.36/165.42	c  165s |      15 |   193410 |    94432 |    19089      8 |      686 |      544
167.36/167.49	c  167s |      15 |   194373 |    95232 |    19089      8 |      686 |      544
169.47/169.55	c  169s |      15 |   195663 |    96232 |    19089      8 |      686 |      544
171.67/171.71	c  171s |      15 |   196502 |    96932 |    19089      9 |      686 |      544
173.77/173.88	c  173s |      15 |   197605 |    97832 |    19089      9 |      686 |      544
175.86/175.94	c  175s |      15 |   199127 |    98832 |    19089      9 |      686 |      544
177.86/177.97	c  177s |      15 |   200325 |    99732 |    19089      9 |      686 |      544
179.96/180.08	c  179s |      15 |   201436 |   100632 |    19089      9 |      686 |      544
182.26/182.37	c  182s |      15 |   202667 |   101632 |    19089      9 |      686 |      544
184.46/184.55	c  184s |      15 |   203771 |   102532 |    19089      9 |      686 |      544
186.46/186.56	c  186s |      15 |   204767 |   103332 |    19089      9 |      686 |      544
188.66/188.73	c  188s |      15 |   205728 |   104132 |    19089      9 |      686 |      544
190.86/190.97	c  190s |      15 |   206707 |   104932 |    19089      9 |      686 |      544
193.05/193.14	c  192s |      15 |   207513 |   105632 |    19089      9 |      686 |      544
195.35/195.40	c  195s |      15 |   208317 |   106332 |    19089      9 |      686 |      544
197.35/197.43	c  197s |      15 |   209168 |   107032 |    19089      9 |      686 |      544
199.65/199.78	c  199s |      15 |   210229 |   107832 |    19089     10 |      686 |      544
201.76/201.82	c  201s |      15 |   211352 |   108732 |    19089     10 |      686 |      544
204.06/204.10	c  203s |      15 |   212493 |   109632 |    19089     10 |      686 |      544
206.06/206.19	c  205s |      15 |   213690 |   110532 |    19089     10 |      686 |      544
208.26/208.30	c  208s |      15 |   214515 |   111232 |    19089     10 |      686 |      544
210.36/210.43	c  210s |      15 |   215541 |   112032 |    19089     10 |      686 |      544
212.37/212.45	c  212s |      15 |   216555 |   112832 |    19089     10 |      686 |      544
214.57/214.66	c  214s |      15 |   217629 |   113632 |    19089     10 |      686 |      544
216.86/216.96	c  216s |      15 |   218530 |   114432 |    19089     10 |      686 |      544
219.16/219.27	c  218s |      15 |   219417 |   115132 |    19089     10 |      686 |      544
221.26/221.30	c  221s |      15 |   220258 |   115832 |    19089     10 |      686 |      544
223.56/223.66	c  223s |      15 |   221073 |   116532 |    19089     10 |      686 |      544
225.66/225.73	c  225s |      15 |   221770 |   117132 |    19089     10 |      686 |      544
227.96/228.04	c  227s |      15 |   222450 |   117732 |    19089     10 |      686 |      544
230.16/230.27	c  229s |      15 |   223120 |   118332 |    19089     10 |      686 |      544
232.46/232.56	c  232s |      15 |   223783 |   118932 |    19089     10 |      686 |      544
234.56/234.67	c  234s |      15 |   224205 |   119332 |    19089     11 |      686 |      544
236.66/236.77	c  236s |      15 |   225228 |   120132 |    19089     11 |      686 |      544
238.96/239.06	c  238s |      15 |   226170 |   120932 |    19089     11 |      686 |      544
241.16/241.20	c  240s |      15 |   226943 |   121632 |    19089     11 |      686 |      544
243.16/243.23	c  242s |      15 |   227604 |   122232 |    19089     11 |      686 |      544
245.55/245.62	c  245s |      15 |   228392 |   122932 |    19089     11 |      686 |      544
247.95/248.02	c  247s |      15 |   229186 |   123632 |    19089     11 |      686 |      544
250.15/250.23	c  249s |      15 |   229864 |   124232 |    19089     11 |      686 |      544
252.25/252.38	c  252s |      15 |   230540 |   124832 |    19089     11 |      686 |      544
254.45/254.51	c  254s |      15 |   231211 |   125432 |    19089     11 |      686 |      544
256.55/256.60	c  256s |      15 |   231894 |   126032 |    19089     11 |      686 |      544
258.65/258.79	c  258s |      15 |   232622 |   126632 |    19089     11 |      686 |      544
260.76/260.85	c  260s |      15 |   233367 |   127232 |    19089     11 |      686 |      544
262.86/262.91	c  262s |      15 |   234259 |   127932 |    19089     11 |      686 |      544
265.06/265.20	c  264s |      15 |   235122 |   128632 |    19089     11 |      686 |      544
267.36/267.46	c  267s |      15 |   235968 |   129332 |    19089     11 |      686 |      544
269.75/269.82	c  269s |      15 |   236823 |   130032 |    19089     11 |      686 |      544
271.85/271.97	c  271s |      15 |   237394 |   130532 |    19089     12 |      686 |      544
274.05/274.19	c  273s |      15 |   238181 |   131232 |    20998     12 |      686 |      544
275.15/275.20	c  274s |      16 |   238558 |   131552 |    20998     12 |      686 |      544
277.15/277.21	c  276s |      16 |   243238 |   133352 |    20998     12 |      686 |      544
279.14/279.28	c  279s |      16 |   246850 |   135252 |    20998     12 |      686 |      544
281.34/281.40	c  281s |      16 |   254586 |   137552 |    20998     12 |      686 |      544
283.34/283.42	c  283s |      16 |   257482 |   139652 |    20998     12 |      686 |      544
285.34/285.49	c  285s |      16 |   260809 |   141852 |    20998     12 |      686 |      544
287.74/287.85	c  287s |      16 |   263019 |   143352 |    20998     13 |      686 |      544
289.74/289.86	c  289s |      16 |   265200 |   144852 |    20998     13 |      686 |      544
291.84/291.96	c  291s |      16 |   266859 |   146152 |    20998     13 |      686 |      544
293.84/293.97	c  293s |      16 |   268259 |   147252 |    20998     13 |      686 |      544
295.95/296.05	c  295s |      16 |   269700 |   148352 |    20998     13 |      686 |      544
298.05/298.18	c  297s |      16 |   270945 |   149352 |    20998     13 |      686 |      544
300.14/300.29	c  300s |      16 |   272821 |   150552 |    20998     13 |      686 |      544
302.24/302.37	c  302s |      16 |   274497 |   152152 |    20998     13 |      686 |      544
304.34/304.46	c  304s |      16 |   275946 |   153552 |    20998     13 |      686 |      544
306.34/306.47	c  306s |      16 |   277314 |   154852 |    20998     13 |      686 |      544
308.54/308.63	c  308s |      16 |   278447 |   155952 |    20998     14 |      686 |      544
310.54/310.69	c  310s |      16 |   279682 |   157152 |    20998     14 |      686 |      544
312.74/312.83	c  312s |      16 |   280796 |   158252 |    20998     14 |      686 |      544
314.84/314.97	c  314s |      16 |   281937 |   159352 |    20998     14 |      686 |      544
316.94/317.09	c  316s |      16 |   283078 |   160452 |    20998     14 |      686 |      544
319.14/319.24	c  318s |      16 |   284099 |   161452 |    20998     14 |      686 |      544
321.24/321.37	c  321s |      16 |   285142 |   162452 |    20998     14 |      686 |      544
323.44/323.55	c  323s |      16 |   286062 |   163352 |    20998     14 |      686 |      544
325.44/325.57	c  325s |      16 |   286880 |   164152 |    20998     14 |      686 |      544
327.64/327.76	c  327s |      16 |   287799 |   165052 |    20998     14 |      686 |      544
329.83/329.91	c  329s |      16 |   288616 |   165852 |    20998     14 |      686 |      544
331.83/331.98	c  331s |      16 |   289447 |   166652 |    20998     14 |      686 |      544
334.03/334.12	c  333s |      16 |   290254 |   167452 |    20998     14 |      686 |      544
336.13/336.21	c  335s |      16 |   290959 |   168152 |    20998     15 |      686 |      544
338.13/338.22	c  337s |      16 |   291882 |   169052 |    20998     15 |      686 |      544
340.13/340.23	c  339s |      16 |   292714 |   169852 |    20998     15 |      686 |      544
342.33/342.48	c  342s |      16 |   293634 |   170752 |    20998     15 |      686 |      544
344.43/344.54	c  344s |      16 |   294467 |   171552 |    20998     15 |      686 |      544
346.44/346.60	c  346s |      16 |   295292 |   172352 |    20998     15 |      686 |      544
348.53/348.61	c  348s |      16 |   296008 |   173052 |    20998     15 |      686 |      544
350.53/350.69	c  350s |      16 |   296723 |   173752 |    20998     15 |      686 |      544
352.63/352.71	c  352s |      16 |   297444 |   174452 |    20998     15 |      686 |      544
354.93/355.03	c  354s |      16 |   298150 |   175152 |    20998     15 |      686 |      544
357.03/357.15	c  356s |      16 |   298874 |   175852 |    20998     15 |      686 |      544
359.33/359.40	c  359s |      16 |   299589 |   176552 |    20998     15 |      686 |      544
361.33/361.46	c  361s |      16 |   300198 |   177152 |    20998     15 |      686 |      544
363.53/363.67	c  363s |      16 |   300907 |   177852 |    20998     15 |      686 |      544
365.73/365.85	c  365s |      16 |   301620 |   178552 |    20998     15 |      686 |      544
367.73/367.88	c  367s |      16 |   302237 |   179152 |    20998     15 |      686 |      544
370.14/370.20	c  369s |      16 |   302951 |   179852 |    20998     15 |      686 |      544
372.34/372.40	c  372s |      16 |   303663 |   180552 |    20998     16 |      686 |      544
374.54/374.60	c  374s |      16 |   304590 |   181452 |    20998     16 |      686 |      544
376.73/376.85	c  376s |      16 |   305414 |   182252 |    20998     16 |      686 |      544
378.83/378.96	c  378s |      16 |   306257 |   183052 |    20998     16 |      686 |      544
381.13/381.24	c  380s |      16 |   307069 |   183852 |    20998     16 |      686 |      544
383.13/383.25	c  382s |      16 |   307679 |   184452 |    20998     16 |      686 |      544
385.23/385.33	c  385s |      16 |   308402 |   185152 |    20998     16 |      686 |      544
387.24/387.39	c  387s |      16 |   309119 |   185852 |    20998     16 |      686 |      544
389.44/389.53	c  389s |      16 |   309841 |   186552 |    20998     16 |      686 |      544
391.64/391.74	c  391s |      16 |   310557 |   187252 |    20998     16 |      686 |      544
393.84/393.99	c  393s |      16 |   311281 |   187952 |    20998     16 |      686 |      544
396.23/396.30	c  396s |      16 |   311998 |   188652 |    20998     16 |      686 |      544
398.43/398.50	c  398s |      16 |   312706 |   189352 |    20998     16 |      686 |      544
400.44/400.56	c  400s |      16 |   313324 |   189952 |    20998     16 |      686 |      544
402.53/402.66	c  402s |      16 |   313938 |   190552 |    20998     16 |      686 |      544
404.93/405.00	c  404s |      16 |   314670 |   191252 |    20998     16 |      686 |      544
407.13/407.28	c  407s |      16 |   315285 |   191852 |    20998     16 |      686 |      544
409.13/409.29	c  409s |      16 |   315902 |   192452 |    20998     17 |      686 |      544
411.23/411.33	c  411s |      16 |   316715 |   193252 |    20998     17 |      686 |      544
413.43/413.57	c  413s |      16 |   317536 |   194052 |    20998     17 |      686 |      544
415.63/415.78	c  415s |      16 |   318348 |   194852 |    20998     17 |      686 |      544
417.73/417.80	c  417s |      16 |   319065 |   195552 |    20998     17 |      686 |      544
419.83/419.97	c  419s |      16 |   319791 |   196252 |    23098     17 |      686 |      544
421.92/422.00	c  421s |      16 |   320517 |   196952 |    23098     17 |      686 |      544
423.22/423.35	c  423s |      17 |   321012 |   197432 |    23098     17 |      686 |      544
425.22/425.38	c  425s |      17 |   326748 |   198832 |    23098     17 |      686 |      544
427.52/427.63	c  427s |      17 |   328382 |   199932 |    23098     17 |      686 |      544
429.72/429.84	c  429s |      17 |   329360 |   200732 |    23098     17 |      686 |      544
431.82/431.94	c  431s |      17 |   330159 |   201332 |    23098     17 |      686 |      544
434.02/434.11	c  433s |      17 |   330876 |   201932 |    23098     17 |      686 |      544
436.02/436.17	c  435s |      17 |   331521 |   202432 |    23098     17 |      686 |      544
438.22/438.33	c  438s |      17 |   332960 |   203532 |    23098     17 |      686 |      544
440.22/440.35	c  440s |      17 |   334309 |   204532 |    23098     17 |      686 |      544
442.42/442.52	c  442s |      17 |   335404 |   205432 |    23098     17 |      686 |      544
444.92/445.06	c  444s |      17 |   336471 |   206332 |    23098     18 |      686 |      544
447.02/447.16	c  446s |      17 |   337408 |   207132 |    23098     18 |      686 |      544
449.12/449.26	c  448s |      17 |   338232 |   207832 |    23098     18 |      686 |      544
451.32/451.42	c  451s |      17 |   339202 |   208632 |    23098     18 |      686 |      544
453.62/453.71	c  453s |      17 |   340045 |   209332 |    23098     18 |      686 |      544
455.81/455.92	c  455s |      17 |   340840 |   210032 |    23098     18 |      686 |      544
458.01/458.18	c  457s |      17 |   341650 |   210732 |    23098     18 |      686 |      544
460.21/460.34	c  460s |      17 |   342496 |   211432 |    23098     18 |      686 |      544
462.31/462.41	c  462s |      17 |   343298 |   212132 |    23098     18 |      686 |      544
464.41/464.51	c  464s |      17 |   344208 |   212832 |    23098     18 |      686 |      544
466.61/466.74	c  466s |      17 |   345055 |   213532 |    23098     18 |      686 |      544
468.81/468.90	c  468s |      17 |   345893 |   214232 |    23098     18 |      686 |      544
470.91/471.00	c  470s |      17 |   346610 |   214832 |    23098     18 |      686 |      544
473.11/473.26	c  472s |      17 |   347319 |   215432 |    23098     18 |      686 |      544
475.12/475.30	c  475s |      17 |   348007 |   216032 |    23098     18 |      686 |      544
477.21/477.32	c  477s |      17 |   348711 |   216632 |    23098     18 |      686 |      544
479.21/479.39	c  479s |      17 |   349308 |   217132 |    23098     18 |      686 |      544
481.61/481.75	c  481s |      17 |   349991 |   217732 |    23098     18 |      686 |      544
484.02/484.17	c  483s |      17 |   350685 |   218332 |    23098     18 |      686 |      544
486.22/486.32	c  486s |      17 |   351252 |   218832 |    23098     18 |      686 |      544
488.42/488.54	c  488s |      17 |   351964 |   219432 |    23098     18 |      686 |      544
490.41/490.58	c  490s |      17 |   352526 |   219932 |    23098     19 |      686 |      544
492.61/492.75	c  492s |      17 |   353214 |   220532 |    23098     19 |      686 |      544
494.81/494.93	c  494s |      17 |   353903 |   221132 |    23098     19 |      686 |      544
497.11/497.26	c  496s |      17 |   354591 |   221732 |    23098     19 |      686 |      544
499.41/499.52	c  499s |      17 |   355290 |   222332 |    23098     19 |      686 |      544
501.51/501.70	c  501s |      17 |   355983 |   222932 |    23098     19 |      686 |      544
503.81/503.92	c  503s |      17 |   356678 |   223532 |    23098     19 |      686 |      544
505.91/506.04	c  505s |      17 |   357220 |   224032 |    23098     19 |      686 |      544
508.21/508.37	c  508s |      17 |   357917 |   224632 |    23098     19 |      686 |      544
510.51/510.69	c  510s |      17 |   358609 |   225232 |    23098     19 |      686 |      544
512.81/512.90	c  512s |      17 |   359168 |   225732 |    23098     19 |      686 |      544
514.90/515.00	c  514s |      17 |   359757 |   226232 |    23098     19 |      686 |      544
517.40/517.55	c  517s |      17 |   360418 |   226832 |    23098     19 |      686 |      544
519.60/519.78	c  519s |      17 |   360972 |   227332 |    23098     19 |      686 |      544
521.91/522.09	c  521s |      17 |   361658 |   227932 |    23098     19 |      686 |      544
524.01/524.18	c  523s |      17 |   362236 |   228432 |    23098     19 |      686 |      544
526.11/526.25	c  525s |      17 |   362781 |   228932 |    23098     19 |      686 |      544
528.21/528.37	c  528s |      17 |   363365 |   229432 |    23098     19 |      686 |      544
530.51/530.65	c  530s |      17 |   363942 |   229932 |    23098     19 |      686 |      544
532.81/532.90	c  532s |      17 |   364513 |   230432 |    23098     19 |      686 |      544
535.21/535.32	c  535s |      17 |   365095 |   230932 |    23098     19 |      686 |      544
537.61/537.72	c  537s |      17 |   365758 |   231532 |    23098     19 |      686 |      544
539.61/539.76	c  539s |      17 |   366239 |   231932 |    23098     19 |      686 |      544
542.01/542.11	c  541s |      17 |   366815 |   232432 |    23098     19 |      686 |      544
544.01/544.12	c  543s |      17 |   367171 |   232732 |    23098     20 |      686 |      544
546.01/546.19	c  545s |      17 |   367695 |   233232 |    23098     20 |      686 |      544
548.11/548.26	c  547s |      17 |   368419 |   233832 |    23098     20 |      686 |      544
550.31/550.45	c  550s |      17 |   369457 |   234632 |    23098     20 |      686 |      544
552.51/552.63	c  552s |      17 |   370350 |   235332 |    23098     20 |      686 |      544
554.71/554.83	c  554s |      17 |   371225 |   236032 |    23098     20 |      686 |      544
556.91/557.00	c  556s |      17 |   372111 |   236732 |    23098     20 |      686 |      544
559.11/559.27	c  558s |      17 |   372954 |   237432 |    23098     20 |      686 |      544
561.30/561.47	c  561s |      17 |   373656 |   238032 |    23098     20 |      686 |      544
563.50/563.60	c  563s |      17 |   374356 |   238632 |    23098     20 |      686 |      544
565.70/565.83	c  565s |      17 |   374892 |   239132 |    23098     20 |      686 |      544
567.70/567.89	c  567s |      17 |   375429 |   239632 |    23098     20 |      686 |      544
569.90/570.04	c  569s |      17 |   375959 |   240132 |    23098     20 |      686 |      544
572.20/572.32	c  572s |      17 |   376490 |   240632 |    23098     20 |      686 |      544
574.30/574.48	c  574s |      17 |   377046 |   241132 |    23098     20 |      686 |      544
576.41/576.53	c  576s |      17 |   377474 |   241532 |    23098     20 |      686 |      544
578.70/578.83	c  578s |      17 |   378045 |   242032 |    23098     20 |      686 |      544
580.81/580.94	c  580s |      17 |   378623 |   242532 |    23098     20 |      686 |      544
583.20/583.34	c  583s |      17 |   379319 |   243132 |    23098     20 |      686 |      544
585.60/585.72	c  585s |      17 |   380002 |   243732 |    23098     20 |      686 |      544
587.70/587.85	c  587s |      17 |   380576 |   244232 |    23098     20 |      686 |      544
589.70/589.87	c  589s |      17 |   381186 |   244732 |    23098     20 |      686 |      544
592.10/592.24	c  591s |      17 |   381887 |   245332 |    23098     20 |      686 |      544
594.10/594.26	c  593s |      17 |   382467 |   245832 |    23098     20 |      686 |      544
596.21/596.36	c  596s |      17 |   382909 |   246232 |    23098     21 |      686 |      544
598.20/598.37	c  598s |      17 |   383608 |   246832 |    23098     21 |      686 |      544
600.40/600.51	c  600s |      17 |   384290 |   247432 |    23098     21 |      686 |      544
602.60/602.79	c  602s |      17 |   384989 |   248032 |    23098     21 |      686 |      544
604.80/605.00	c  604s |      17 |   385692 |   248632 |    23098     21 |      686 |      544
606.90/607.06	c  606s |      17 |   386402 |   249232 |    23098     21 |      686 |      544
609.00/609.13	c  608s |      17 |   387115 |   249832 |    23098     21 |      686 |      544
611.10/611.21	c  610s |      17 |   387827 |   250432 |    23098     21 |      686 |      544
613.30/613.47	c  613s |      17 |   388521 |   251032 |    23098     21 |      686 |      544
615.60/615.71	c  615s |      17 |   389253 |   251632 |    23098     21 |      686 |      544
617.89/618.05	c  617s |      17 |   389929 |   252232 |    23098     21 |      686 |      544
619.99/620.15	c  619s |      17 |   390479 |   252732 |    23098     21 |      686 |      544
622.09/622.24	c  621s |      17 |   391031 |   253232 |    23098     21 |      686 |      544
624.39/624.50	c  624s |      17 |   391751 |   253832 |    23098     21 |      686 |      544
626.79/626.91	c  626s |      17 |   392426 |   254432 |    23098     21 |      686 |      544
628.79/628.99	c  628s |      17 |   393007 |   254932 |    23098     21 |      686 |      544
631.09/631.24	c  630s |      17 |   393706 |   255532 |    23098     21 |      686 |      544
633.19/633.34	c  633s |      17 |   394274 |   256032 |    23098     21 |      686 |      544
635.49/635.64	c  635s |      17 |   394865 |   256532 |    23098     21 |      686 |      544
637.90/638.06	c  637s |      17 |   395419 |   257032 |    23098     21 |      686 |      544
640.20/640.32	c  640s |      17 |   395993 |   257532 |    23098     21 |      686 |      544
642.40/642.50	c  642s |      17 |   396551 |   258032 |    23098     21 |      686 |      544
644.79/644.95	c  644s |      17 |   397113 |   258532 |    23098     21 |      686 |      544
646.99/647.18	c  646s |      17 |   397713 |   259032 |    23098     21 |      686 |      544
649.39/649.54	c  649s |      17 |   398282 |   259532 |    23098     22 |      686 |      544
651.59/651.74	c  651s |      17 |   399080 |   260232 |    23098     22 |      686 |      544
653.89/654.00	c  653s |      17 |   400014 |   260932 |    23098     22 |      686 |      544
655.89/656.07	c  655s |      17 |   400936 |   261632 |    23098     22 |      686 |      544
657.99/658.17	c  657s |      17 |   401646 |   262232 |    23098     22 |      686 |      544
660.19/660.34	c  660s |      17 |   402360 |   262832 |    23098     22 |      686 |      544
662.29/662.49	c  662s |      17 |   403061 |   263432 |    23098     22 |      686 |      544
664.49/664.60	c  664s |      17 |   403799 |   264032 |    23098     22 |      686 |      544
666.59/666.77	c  666s |      17 |   404526 |   264632 |    23098     22 |      686 |      544
668.79/668.91	c  668s |      17 |   405195 |   265232 |    23098     22 |      686 |      544
670.78/670.94	c  670s |      17 |   405894 |   265832 |    23098     22 |      686 |      544
672.98/673.20	c  672s |      17 |   406572 |   266432 |    23098     22 |      686 |      544
675.48/675.60	c  675s |      17 |   407319 |   267032 |    23098     22 |      686 |      544
677.78/677.96	c  677s |      17 |   408016 |   267632 |    23098     22 |      686 |      544
679.98/680.18	c  679s |      17 |   408562 |   268132 |    23098     22 |      686 |      544
682.18/682.39	c  682s |      17 |   409121 |   268632 |    23098     22 |      686 |      544
684.68/684.87	c  684s |      17 |   409791 |   269232 |    23098     22 |      686 |      544
686.78/686.91	c  686s |      17 |   410214 |   269632 |    23098     22 |      686 |      544
688.98/689.14	c  688s |      17 |   410628 |   270032 |    23098     22 |      686 |      544
691.48/691.66	c  691s |      17 |   411180 |   270532 |    23098     22 |      686 |      544
693.58/693.75	c  693s |      17 |   411604 |   270932 |    23098     22 |      686 |      544
695.68/695.83	c  695s |      17 |   412023 |   271332 |    23098     22 |      686 |      544
697.98/698.19	c  697s |      17 |   412625 |   271832 |    23098     22 |      686 |      544
700.78/700.90	c  700s |      17 |   413187 |   272332 |    23098     23 |      686 |      544
702.88/703.05	c  702s |      17 |   413865 |   272932 |    23098     23 |      686 |      544
705.18/705.34	c  705s |      17 |   414548 |   273532 |    23098     23 |      686 |      544
707.48/707.65	c  707s |      17 |   415204 |   274132 |    23098     23 |      686 |      544
709.58/709.76	c  709s |      17 |   415879 |   274732 |    23098     23 |      686 |      544
711.78/711.96	c  711s |      17 |   416753 |   275432 |    23098     23 |      686 |      544
713.98/714.14	c  713s |      17 |   417429 |   276032 |    23098     23 |      686 |      544
716.08/716.27	c  715s |      17 |   418135 |   276632 |    23098     23 |      686 |      544
718.28/718.44	c  718s |      17 |   418868 |   277232 |    23098     23 |      686 |      544
720.27/720.47	c  720s |      17 |   419482 |   277732 |    23098     23 |      686 |      544
722.68/722.85	c  722s |      17 |   420162 |   278332 |    23098     23 |      686 |      544
724.88/725.03	c  724s |      17 |   420713 |   278832 |    23098     23 |      686 |      544
727.08/727.28	c  727s |      17 |   421275 |   279332 |    23098     23 |      686 |      544
729.47/729.65	c  729s |      17 |   421976 |   279932 |    23098     23 |      686 |      544
731.57/731.71	c  731s |      17 |   422576 |   280432 |    23098     23 |      686 |      544
733.68/733.85	c  733s |      17 |   423122 |   280932 |    23098     23 |      686 |      544
735.89/736.06	c  735s |      17 |   423664 |   281432 |    23098     23 |      686 |      544
738.18/738.36	c  738s |      17 |   424237 |   281932 |    23098     23 |      686 |      544
740.48/740.60	c  740s |      17 |   424781 |   282432 |    23098     23 |      686 |      544
742.68/742.87	c  742s |      17 |   425341 |   282932 |    23098     23 |      686 |      544
745.08/745.22	c  744s |      17 |   425890 |   283432 |    23098     23 |      686 |      544
747.48/747.65	c  747s |      17 |   426455 |   283932 |    23098     23 |      686 |      544
749.98/750.13	c  749s |      17 |   427022 |   284432 |    23098     23 |      686 |      544
752.48/752.60	c  752s |      17 |   427578 |   284932 |    23098     23 |      686 |      544
754.78/754.94	c  754s |      17 |   428138 |   285432 |    23098     23 |      686 |      544
756.88/757.02	c  756s |      17 |   428595 |   285832 |    23098     24 |      686 |      544
759.08/759.28	c  758s |      17 |   429326 |   286432 |    23098     24 |      686 |      544
761.28/761.47	c  761s |      17 |   430037 |   287032 |    23098     24 |      686 |      544
763.57/763.70	c  763s |      17 |   430743 |   287632 |    23098     24 |      686 |      544
765.58/765.74	c  765s |      17 |   431299 |   288132 |    23098     24 |      686 |      544
767.87/768.02	c  767s |      17 |   431968 |   288732 |    23098     24 |      686 |      544
770.27/770.43	c  770s |      17 |   432641 |   289332 |    23098     24 |      686 |      544
772.37/772.58	c  772s |      17 |   433460 |   289932 |    23098     24 |      686 |      544
774.77/774.92	c  774s |      17 |   434294 |   290632 |    23098     24 |      686 |      544
776.87/777.07	c  776s |      17 |   435032 |   291232 |    23098     24 |      686 |      544
779.07/779.29	c  779s |      17 |   435750 |   291832 |    23098     24 |      686 |      544
781.17/781.36	c  781s |      17 |   436303 |   292332 |    23098     24 |      686 |      544
783.37/783.53	c  783s |      17 |   437305 |   293032 |    23098     24 |      686 |      544
785.38/785.53	c  785s |      17 |   438090 |   293632 |    23098     24 |      686 |      544
787.37/787.57	c  787s |      17 |   438895 |   294232 |    25408     24 |      686 |      544
789.57/789.70	c  789s |      17 |   439639 |   294832 |    25408     24 |      686 |      544
791.57/791.74	c  791s |      17 |   440200 |   295332 |    25408     24 |      686 |      544
793.97/794.16	c  793s |      17 |   440896 |   295932 |    25408     24 |      686 |      544
795.28/795.43	c  795s |      18 |   441326 |   296252 |    25408     24 |      686 |      544
797.37/797.51	c  797s |      18 |   445724 |   297952 |    25408     24 |      686 |      544
799.47/799.60	c  799s |      18 |   448326 |   299852 |    25408     24 |      686 |      544
801.47/801.61	c  801s |      18 |   451382 |   301352 |    25408     25 |      686 |      544
803.47/803.62	c  803s |      18 |   456026 |   303352 |    25408     25 |      686 |      544
805.57/805.76	c  805s |      18 |   459089 |   304952 |    25408     25 |      686 |      544
807.67/807.84	c  807s |      18 |   460860 |   306352 |    25408     25 |      686 |      544
809.66/809.86	c  809s |      18 |   463845 |   307852 |    25408     25 |      686 |      544
811.67/811.90	c  811s |      18 |   466306 |   309452 |    25408     25 |      686 |      544
813.76/813.91	c  813s |      18 |   468270 |   310752 |    25408     25 |      686 |      544
815.86/816.02	c  815s |      18 |   469659 |   311852 |    25408     25 |      686 |      544
817.96/818.15	c  817s |      18 |   471156 |   312952 |    25408     25 |      686 |      544
820.06/820.25	c  819s |      18 |   472178 |   313852 |    25408     25 |      686 |      544
822.26/822.46	c  822s |      18 |   473382 |   314852 |    25408     25 |      686 |      544
824.26/824.47	c  824s |      18 |   474296 |   315552 |    25408     26 |      686 |      544
826.36/826.51	c  826s |      18 |   475426 |   316452 |    25408     26 |      686 |      544
828.56/828.72	c  828s |      18 |   476473 |   317352 |    25408     26 |      686 |      544
830.66/830.81	c  830s |      18 |   477480 |   318252 |    25408     26 |      686 |      544
832.96/833.10	c  832s |      18 |   478537 |   319152 |    25408     26 |      686 |      544
835.16/835.32	c  835s |      18 |   479427 |   319952 |    25408     26 |      686 |      544
837.26/837.47	c  837s |      18 |   480437 |   320752 |    25408     26 |      686 |      544
839.56/839.70	c  839s |      18 |   481411 |   321552 |    25408     26 |      686 |      544
841.56/841.74	c  841s |      18 |   482753 |   322452 |    25408     26 |      686 |      544
843.56/843.74	c  843s |      18 |   484172 |   323452 |    25408     26 |      686 |      544
845.56/845.77	c  845s |      18 |   485374 |   324352 |    25408     26 |      686 |      544
847.76/847.96	c  847s |      18 |   486536 |   325252 |    25408     26 |      686 |      544
850.05/850.22	c  849s |      18 |   487712 |   326152 |    25408     26 |      686 |      544
852.36/852.53	c  852s |      18 |   488815 |   326952 |    25408     26 |      686 |      544
854.56/854.71	c  854s |      18 |   489565 |   327652 |    25408     26 |      686 |      544
856.76/856.96	c  856s |      18 |   490349 |   328352 |    25408     26 |      686 |      544
858.96/859.16	c  858s |      18 |   491163 |   329052 |    25408     26 |      686 |      544
861.05/861.26	c  860s |      18 |   491733 |   329552 |    25408     27 |      686 |      544
863.25/863.45	c  863s |      18 |   492680 |   330352 |    25408     27 |      686 |      544
865.35/865.59	c  865s |      18 |   493667 |   331152 |    25408     27 |      686 |      544
867.45/867.62	c  867s |      18 |   494501 |   331852 |    25408     27 |      686 |      544
869.55/869.75	c  869s |      18 |   495309 |   332552 |    25408     27 |      686 |      544
871.65/871.88	c  871s |      18 |   496099 |   333252 |    25408     27 |      686 |      544
873.95/874.12	c  873s |      18 |   496904 |   333952 |    25408     27 |      686 |      544
875.95/876.16	c  875s |      18 |   497575 |   334552 |    25408     27 |      686 |      544
878.26/878.41	c  878s |      18 |   498255 |   335152 |    25408     27 |      686 |      544
880.46/880.67	c  880s |      18 |   499072 |   335852 |    25408     27 |      686 |      544
882.56/882.78	c  882s |      18 |   499765 |   336452 |    25408     27 |      686 |      544
884.86/885.04	c  884s |      18 |   500432 |   337052 |    25408     27 |      686 |      544
887.06/887.21	c  886s |      18 |   500960 |   337552 |    25408     27 |      686 |      544
889.15/889.35	c  889s |      18 |   501733 |   338152 |    25408     27 |      686 |      544
891.15/891.36	c  891s |      18 |   502458 |   338752 |    25408     27 |      686 |      544
893.35/893.54	c  893s |      18 |   503131 |   339352 |    25408     27 |      686 |      544
895.55/895.78	c  895s |      18 |   503991 |   340052 |    25408     27 |      686 |      544
897.65/897.84	c  897s |      18 |   504818 |   340752 |    25408     27 |      686 |      544
899.95/900.13	c  899s |      18 |   505719 |   341452 |    25408     27 |      686 |      544
902.35/902.50	c  902s |      18 |   506657 |   342152 |    25408     27 |      686 |      544
904.35/904.59	c  904s |      18 |   507219 |   342652 |    25408     27 |      686 |      544
906.45/906.63	c  906s |      18 |   507784 |   343152 |    25408     27 |      686 |      544
908.56/908.77	c  908s |      18 |   508326 |   343652 |    25408     27 |      686 |      544
910.85/911.07	c  910s |      18 |   508921 |   344152 |    25408     28 |      686 |      544
913.05/913.28	c  912s |      18 |   509763 |   344852 |    25408     28 |      686 |      544
915.35/915.54	c  915s |      18 |   510595 |   345552 |    25408     28 |      686 |      544
917.65/917.83	c  917s |      18 |   511386 |   346252 |    25408     28 |      686 |      544
919.75/919.98	c  919s |      18 |   512069 |   346852 |    25408     28 |      686 |      544
921.94/922.17	c  921s |      18 |   512758 |   347452 |    25408     28 |      686 |      544
924.34/924.50	c  924s |      18 |   513619 |   348152 |    25408     28 |      686 |      544
926.54/926.71	c  926s |      18 |   514477 |   348852 |    25408     28 |      686 |      544
928.84/929.08	c  928s |      18 |   515204 |   349452 |    25408     28 |      686 |      544
930.94/931.20	c  930s |      18 |   515910 |   350052 |    25408     28 |      686 |      544
933.24/933.46	c  933s |      18 |   516608 |   350652 |    25408     28 |      686 |      544
935.34/935.53	c  935s |      18 |   517324 |   351252 |    25408     28 |      686 |      544
937.54/937.72	c  937s |      18 |   518038 |   351852 |    25408     28 |      686 |      544
939.94/940.10	c  939s |      18 |   518730 |   352452 |    25408     28 |      686 |      544
942.34/942.50	c  942s |      18 |   519433 |   353052 |    25408     28 |      686 |      544
944.44/944.60	c  944s |      18 |   520010 |   353552 |    25408     28 |      686 |      544
946.74/946.96	c  946s |      18 |   520703 |   354152 |    25408     28 |      686 |      544
948.84/949.04	c  948s |      18 |   521285 |   354652 |    25408     28 |      686 |      544
951.14/951.38	c  951s |      18 |   522019 |   355252 |    25408     28 |      686 |      544
953.65/953.81	c  953s |      18 |   522585 |   355752 |    25408     28 |      686 |      544
955.84/956.07	c  955s |      18 |   523154 |   356252 |    25408     28 |      686 |      544
958.24/958.49	c  958s |      18 |   523714 |   356752 |    25408     28 |      686 |      544
960.64/960.80	c  960s |      18 |   524261 |   357252 |    25408     28 |      686 |      544
962.64/962.86	c  962s |      18 |   524711 |   357652 |    25408     28 |      686 |      544
965.34/965.53	c  965s |      18 |   525151 |   358052 |    25408     29 |      686 |      544
967.43/967.60	c  967s |      18 |   525815 |   358652 |    25408     29 |      686 |      544
969.43/969.67	c  969s |      18 |   526461 |   359252 |    25408     29 |      686 |      544
971.73/971.90	c  971s |      18 |   527123 |   359852 |    25408     29 |      686 |      544
973.93/974.18	c  973s |      18 |   527659 |   360352 |    25408     29 |      686 |      544
976.23/976.49	c  976s |      18 |   528301 |   360952 |    25408     29 |      686 |      544
978.33/978.52	c  978s |      18 |   528971 |   361552 |    25408     29 |      686 |      544
980.33/980.59	c  980s |      18 |   529493 |   362052 |    25408     29 |      686 |      544
982.53/982.79	c  982s |      18 |   530027 |   362552 |    25408     29 |      686 |      544
984.83/985.01	c  984s |      18 |   530558 |   363052 |    25408     29 |      686 |      544
987.04/987.27	c  986s |      18 |   531101 |   363552 |    25408     29 |      686 |      544
989.14/989.39	c  989s |      18 |   531624 |   364052 |    25408     29 |      686 |      544
991.34/991.58	c  991s |      18 |   532168 |   364552 |    25408     29 |      686 |      544
993.54/993.74	c  993s |      18 |   532692 |   365052 |    25408     29 |      686 |      544
995.74/995.98	c  995s |      18 |   533211 |   365552 |    25408     29 |      686 |      544
998.04/998.21	c  997s |      18 |   533757 |   366052 |    25408     29 |      686 |      544
1000.04/1000.29	c 1000s |      18 |   534202 |   366452 |    25408     29 |      686 |      544
1002.14/1002.33	c 1002s |      18 |   534627 |   366852 |    25408     29 |      686 |      544
1004.14/1004.34	c 1004s |      18 |   535068 |   367252 |    25408     29 |      686 |      544
1006.24/1006.47	c 1006s |      18 |   535777 |   367852 |    25408     29 |      686 |      544
1008.33/1008.58	c 1008s |      18 |   536344 |   368352 |    25408     29 |      686 |      544
1010.63/1010.88	c 1010s |      18 |   536943 |   368852 |    25408     29 |      686 |      544
1012.73/1012.93	c 1012s |      18 |   537407 |   369252 |    25408     29 |      686 |      544
1015.14/1015.38	c 1015s |      18 |   537976 |   369752 |    25408     29 |      686 |      544
1017.63/1017.80	c 1017s |      18 |   538533 |   370252 |    25408     29 |      686 |      544
1020.03/1020.28	c 1019s |      18 |   538966 |   370652 |    25408     29 |      686 |      544
1022.03/1022.29	c 1022s |      18 |   539438 |   371052 |    25408     29 |      686 |      544
1024.23/1024.47	c 1024s |      18 |   540010 |   371552 |    25408     29 |      686 |      544
1026.53/1026.74	c 1026s |      18 |   540586 |   372052 |    25408     29 |      686 |      544
1028.73/1028.90	c 1028s |      18 |   540928 |   372352 |    25408     30 |      686 |      544
1030.73/1030.94	c 1030s |      18 |   541641 |   372952 |    25408     30 |      686 |      544
1032.84/1033.04	c 1032s |      18 |   542355 |   373552 |    25408     30 |      686 |      544
1035.13/1035.32	c 1035s |      18 |   543204 |   374252 |    25408     30 |      686 |      544
1037.13/1037.32	c 1037s |      18 |   543906 |   374852 |    25408     30 |      686 |      544
1039.23/1039.42	c 1039s |      18 |   544433 |   375352 |    25408     30 |      686 |      544
1041.43/1041.67	c 1041s |      18 |   545260 |   376052 |    25408     30 |      686 |      544
1043.73/1044.00	c 1043s |      18 |   545979 |   376652 |    25408     30 |      686 |      544
1046.03/1046.21	c 1045s |      18 |   546533 |   377152 |    25408     30 |      686 |      544
1048.13/1048.34	c 1048s |      18 |   546959 |   377552 |    25408     30 |      686 |      544
1050.33/1050.54	c 1050s |      18 |   547391 |   377952 |    25408     30 |      686 |      544
1052.42/1052.65	c 1052s |      18 |   547829 |   378352 |    25408     30 |      686 |      544
1054.52/1054.72	c 1054s |      18 |   548293 |   378752 |    25408     30 |      686 |      544
1056.52/1056.75	c 1056s |      18 |   548718 |   379152 |    25408     30 |      686 |      544
1058.92/1059.18	c 1058s |      18 |   549265 |   379652 |    25408     30 |      686 |      544
1061.12/1061.33	c 1061s |      18 |   549686 |   380052 |    25408     30 |      686 |      544
1063.22/1063.43	c 1063s |      18 |   550133 |   380452 |    25408     30 |      686 |      544
1065.22/1065.49	c 1065s |      18 |   551503 |   381252 |    25408     30 |      686 |      544
1067.32/1067.50	c 1067s |      18 |   553177 |   382252 |    25408     30 |      686 |      544
1069.32/1069.55	c 1069s |      18 |   554641 |   383352 |    25408     30 |      686 |      544
1071.33/1071.55	c 1071s |      18 |   555879 |   384152 |    25408     30 |      686 |      544
1073.53/1073.74	c 1073s |      18 |   557560 |   385152 |    25408     30 |      686 |      544
1075.63/1075.82	c 1075s |      18 |   559070 |   386052 |    25408     30 |      686 |      544
1077.72/1077.91	c 1077s |      18 |   560800 |   386752 |    25408     31 |      686 |      544
1079.82/1080.02	c 1079s |      18 |   562463 |   388052 |    25408     31 |      686 |      544
1081.92/1082.10	c 1081s |      18 |   567690 |   389552 |    25408     31 |      686 |      544
1084.02/1084.24	c 1083s |      18 |   569451 |   390652 |    25408     31 |      686 |      544
1086.12/1086.36	c 1086s |      18 |   570779 |   391552 |    25408     31 |      686 |      544
1088.52/1088.75	c 1088s |      18 |   571683 |   392252 |    25408     31 |      686 |      544
1090.72/1090.90	c 1090s |      18 |   572663 |   392952 |    25408     31 |      686 |      544
1092.72/1092.91	c 1092s |      18 |   574144 |   393952 |    25408     31 |      686 |      544
1094.82/1095.08	c 1094s |      18 |   577776 |   395152 |    25408     31 |      686 |      544
1096.92/1097.13	c 1096s |      18 |   579373 |   396352 |    25408     31 |      686 |      544
1099.01/1099.21	c 1098s |      18 |   580528 |   397352 |    25408     31 |      686 |      544
1101.11/1101.31	c 1101s |      18 |   582177 |   398452 |    25408     31 |      686 |      544
1103.12/1103.40	c 1103s |      18 |   583640 |   399452 |    25408     31 |      686 |      544
1105.21/1105.49	c 1105s |      18 |   584867 |   400452 |    25408     31 |      686 |      544
1107.41/1107.64	c 1107s |      18 |   585707 |   401152 |    25408     32 |      686 |      544
1109.51/1109.79	c 1109s |      18 |   586610 |   401952 |    25408     32 |      686 |      544
1111.61/1111.80	c 1111s |      18 |   587419 |   402652 |    25408     32 |      686 |      544
1113.81/1114.08	c 1113s |      18 |   588624 |   403652 |    25408     32 |      686 |      544
1115.91/1116.18	c 1115s |      18 |   589851 |   404552 |    25408     32 |      686 |      544
1118.11/1118.35	c 1118s |      18 |   591342 |   405652 |    25408     32 |      686 |      544
1120.21/1120.44	c 1120s |      18 |   592903 |   406752 |    25408     32 |      686 |      544
1122.41/1122.65	c 1122s |      18 |   594224 |   407752 |    25408     32 |      686 |      544
1124.61/1124.82	c 1124s |      18 |   595388 |   408652 |    25408     32 |      686 |      544
1126.71/1126.99	c 1126s |      18 |   596396 |   409452 |    25408     32 |      686 |      544
1129.01/1129.25	c 1128s |      18 |   597260 |   410252 |    25408     32 |      686 |      544
1131.21/1131.49	c 1131s |      18 |   598180 |   411052 |    25408     32 |      686 |      544
1133.42/1133.68	c 1133s |      18 |   598968 |   411752 |    25408     32 |      686 |      544
1135.72/1135.97	c 1135s |      18 |   599787 |   412452 |    25408     32 |      686 |      544
1137.82/1138.02	c 1137s |      18 |   600644 |   413152 |    25408     32 |      686 |      544
1139.82/1140.09	c 1139s |      18 |   601457 |   413852 |    25408     32 |      686 |      544
1142.22/1142.42	c 1142s |      18 |   602330 |   414552 |    25408     32 |      686 |      544
1144.32/1144.50	c 1144s |      18 |   603061 |   415152 |    25408     32 |      686 |      544
1146.42/1146.61	c 1146s |      18 |   603622 |   415652 |    25408     33 |      686 |      544
1148.52/1148.72	c 1148s |      18 |   604556 |   416452 |    25408     33 |      686 |      544
1150.52/1150.77	c 1150s |      18 |   605348 |   417152 |    25408     33 |      686 |      544
1152.72/1152.99	c 1152s |      18 |   606319 |   417952 |    25408     33 |      686 |      544
1154.82/1155.04	c 1154s |      18 |   607120 |   418652 |    25408     33 |      686 |      544
1157.12/1157.34	c 1157s |      18 |   607916 |   419352 |    25408     33 |      686 |      544
1159.32/1159.59	c 1159s |      18 |   608840 |   420152 |    25408     33 |      686 |      544
1161.61/1161.87	c 1161s |      18 |   609632 |   420852 |    25408     33 |      686 |      544
1163.81/1164.07	c 1163s |      18 |   610304 |   421452 |    25408     33 |      686 |      544
1166.11/1166.31	c 1166s |      18 |   610995 |   422052 |    25408     33 |      686 |      544
1168.21/1168.48	c 1168s |      18 |   611676 |   422652 |    25408     33 |      686 |      544
1170.61/1170.86	c 1170s |      18 |   612363 |   423252 |    25408     33 |      686 |      544
1172.81/1173.02	c 1172s |      18 |   613154 |   423852 |    25408     33 |      686 |      544
1175.01/1175.22	c 1174s |      18 |   613865 |   424452 |    25408     33 |      686 |      544
1177.01/1177.28	c 1177s |      18 |   614523 |   425052 |    25408     33 |      686 |      544
1179.02/1179.29	c 1179s |      18 |   615252 |   425652 |    25408     33 |      686 |      544
1181.32/1181.51	c 1181s |      18 |   615935 |   426252 |    25408     33 |      686 |      544
1183.31/1183.57	c 1183s |      18 |   616680 |   426852 |    25408     33 |      686 |      544
1185.51/1185.79	c 1185s |      18 |   617355 |   427452 |    25408     33 |      686 |      544
1187.71/1187.92	c 1187s |      18 |   618022 |   428052 |    25408     33 |      686 |      544
1189.81/1190.03	c 1189s |      18 |   618690 |   428652 |    25408     33 |      686 |      544
1191.91/1192.19	c 1191s |      18 |   619377 |   429252 |    25408     33 |      686 |      544
1194.21/1194.46	c 1194s |      18 |   619951 |   429752 |    25408     34 |      686 |      544
1196.41/1196.61	c 1196s |      18 |   620794 |   430452 |    25408     34 |      686 |      544
1198.40/1198.62	c 1198s |      18 |   621609 |   431152 |    25408     34 |      686 |      544
1200.50/1200.76	c 1200s |      18 |   622407 |   431852 |    25408     34 |      686 |      544
1202.50/1202.76	c 1202s |      18 |   623068 |   432452 |    25408     34 |      686 |      544
1204.80/1205.06	c 1204s |      18 |   623732 |   433052 |    25408     34 |      686 |      544
1206.90/1207.13	c 1206s |      18 |   624438 |   433652 |    25408     34 |      686 |      544
1208.90/1209.14	c 1208s |      18 |   625119 |   434252 |    25408     34 |      686 |      544
1211.10/1211.37	c 1211s |      18 |   625785 |   434852 |    25408     34 |      686 |      544
1213.30/1213.52	c 1213s |      18 |   626684 |   435552 |    25408     34 |      686 |      544
1215.60/1215.88	c 1215s |      18 |   627410 |   436152 |    25408     34 |      686 |      544
1217.80/1218.07	c 1217s |      18 |   628151 |   436752 |    25408     34 |      686 |      544
1220.00/1220.25	c 1219s |      18 |   628719 |   437252 |    25408     34 |      686 |      544
1222.20/1222.47	c 1222s |      18 |   629253 |   437752 |    25408     34 |      686 |      544
1224.40/1224.69	c 1224s |      18 |   629818 |   438252 |    25408     34 |      686 |      544
1226.50/1226.73	c 1226s |      18 |   630387 |   438752 |    25408     34 |      686 |      544
1228.60/1228.84	c 1228s |      18 |   630955 |   439252 |    25408     34 |      686 |      544
1230.70/1230.91	c 1230s |      18 |   631543 |   439752 |    25408     34 |      686 |      544
1233.00/1233.25	c 1232s |      18 |   632123 |   440252 |    25408     34 |      686 |      544
1235.20/1235.45	c 1235s |      18 |   632818 |   440852 |    25408     34 |      686 |      544
1237.49/1237.77	c 1237s |      18 |   633384 |   441352 |    27949     34 |      686 |      544
1239.89/1240.14	c 1239s |      18 |   633950 |   441852 |    27949     34 |      686 |      544
1242.39/1242.65	c 1242s |      18 |   634500 |   442352 |    27949     34 |      686 |      544
1244.39/1244.66	c 1244s |      18 |   634949 |   442752 |    27949     34 |      686 |      544
1246.59/1246.89	c 1246s |      18 |   635524 |   443252 |    27949     34 |      686 |      544
1248.69/1248.95	c 1248s |      18 |   636079 |   443752 |    27949     34 |      686 |      544
1250.89/1251.15	c 1250s |      18 |   636654 |   444252 |    27949     34 |      686 |      544
1251.99/1252.24	c 1251s |      19 |   636920 |   444482 |    27949     34 |      686 |      544
1254.09/1254.36	c 1254s |      19 |   639217 |   445182 |    27949     35 |      686 |      544
1256.19/1256.41	c 1256s |      19 |   642093 |   447182 |    27949     35 |      686 |      544
1258.20/1258.41	c 1258s |      19 |   643830 |   448782 |    27949     35 |      686 |      544
1260.29/1260.54	c 1260s |      19 |   645318 |   450182 |    27949     35 |      686 |      544
1262.39/1262.64	c 1262s |      19 |   652276 |   451882 |    27949     35 |      686 |      544
1264.49/1264.71	c 1264s |      19 |   655773 |   453382 |    27949     35 |      686 |      544
1266.49/1266.77	c 1266s |      19 |   659019 |   454782 |    27949     35 |      686 |      544
1268.69/1268.91	c 1268s |      19 |   663908 |   456282 |    27949     35 |      686 |      544
1270.69/1270.98	c 1270s |      19 |   665459 |   457482 |    27949     35 |      686 |      544
1272.79/1273.08	c 1272s |      19 |   667827 |   458682 |    27949     35 |      686 |      544
1274.99/1275.27	c 1274s |      19 |   669316 |   459782 |    27949     35 |      686 |      544
1277.00/1277.28	c 1277s |      19 |   670589 |   460882 |    27949     35 |      686 |      544
1278.99/1279.30	c 1279s |      19 |   671403 |   461582 |    27949     36 |      686 |      544
1281.09/1281.36	c 1281s |      19 |   672643 |   462582 |    27949     36 |      686 |      544
1283.19/1283.49	c 1283s |      19 |   673639 |   463482 |    27949     36 |      686 |      544
1285.29/1285.58	c 1285s |      19 |   674537 |   464282 |    27949     36 |      686 |      544
1287.29/1287.58	c 1287s |      19 |   675444 |   465082 |    27949     36 |      686 |      544
1289.49/1289.74	c 1289s |      19 |   676368 |   465882 |    27949     36 |      686 |      544
1291.69/1291.93	c 1291s |      19 |   677313 |   466682 |    27949     36 |      686 |      544
1293.99/1294.20	c 1293s |      19 |   678226 |   467482 |    27949     36 |      686 |      544
1295.99/1296.23	c 1295s |      19 |   679008 |   468182 |    27949     36 |      686 |      544
1297.99/1298.28	c 1298s |      19 |   679795 |   468882 |    27949     36 |      686 |      544
1300.09/1300.38	c 1300s |      19 |   680549 |   469582 |    27949     36 |      686 |      544
1302.19/1302.43	c 1302s |      19 |   681331 |   470282 |    27949     36 |      686 |      544
1304.29/1304.55	c 1304s |      19 |   682121 |   470982 |    27949     36 |      686 |      544
1306.49/1306.77	c 1306s |      19 |   682904 |   471682 |    27949     36 |      686 |      544
1308.69/1308.92	c 1308s |      19 |   683541 |   472282 |    27949     36 |      686 |      544
1310.78/1311.00	c 1310s |      19 |   684227 |   472882 |    27949     36 |      686 |      544
1312.88/1313.19	c 1312s |      19 |   684912 |   473482 |    27949     36 |      686 |      544
1315.18/1315.41	c 1315s |      19 |   685578 |   474082 |    27949     36 |      686 |      544
1317.28/1317.59	c 1317s |      19 |   686434 |   474782 |    27949     36 |      686 |      544
1319.28/1319.59	c 1319s |      19 |   687097 |   475382 |    27949     36 |      686 |      544
1321.48/1321.74	c 1321s |      19 |   687747 |   475982 |    27949     36 |      686 |      544
1323.88/1324.12	c 1323s |      19 |   688588 |   476682 |    27949     36 |      686 |      544
1325.98/1326.24	c 1325s |      19 |   689132 |   477182 |    27949     37 |      686 |      544
1328.28/1328.54	c 1328s |      19 |   689970 |   477882 |    27949     37 |      686 |      544
1330.38/1330.65	c 1330s |      19 |   690793 |   478582 |    27949     37 |      686 |      544
1332.68/1332.95	c 1332s |      19 |   691566 |   479282 |    27949     37 |      686 |      544
1334.78/1335.02	c 1334s |      19 |   692411 |   479982 |    27949     37 |      686 |      544
1336.99/1337.23	c 1336s |      19 |   693224 |   480682 |    27949     37 |      686 |      544
1339.09/1339.33	c 1339s |      19 |   693888 |   481282 |    27949     37 |      686 |      544
1341.09/1341.36	c 1341s |      19 |   694546 |   481882 |    27949     37 |      686 |      544
1343.19/1343.40	c 1343s |      19 |   695218 |   482482 |    27949     37 |      686 |      544
1345.29/1345.57	c 1345s |      19 |   695977 |   483182 |    27949     37 |      686 |      544
1347.59/1347.83	c 1347s |      19 |   696662 |   483782 |    27949     37 |      686 |      544
1349.68/1349.98	c 1349s |      19 |   697498 |   484482 |    27949     37 |      686 |      544
1351.79/1352.04	c 1351s |      19 |   698176 |   485082 |    27949     37 |      686 |      544
1353.89/1354.12	c 1353s |      19 |   698839 |   485682 |    27949     37 |      686 |      544
1355.98/1356.22	c 1355s |      19 |   699542 |   486282 |    27949     37 |      686 |      544
1358.08/1358.32	c 1358s |      19 |   700231 |   486882 |    27949     37 |      686 |      544
1360.28/1360.52	c 1360s |      19 |   700771 |   487382 |    27949     37 |      686 |      544
1362.58/1362.81	c 1362s |      19 |   701437 |   487982 |    27949     37 |      686 |      544
1364.99/1365.22	c 1364s |      19 |   702129 |   488582 |    27949     37 |      686 |      544
1367.09/1367.40	c 1367s |      19 |   702660 |   489082 |    27949     37 |      686 |      544
1369.39/1369.63	c 1369s |      19 |   703209 |   489582 |    27949     37 |      686 |      544
1371.68/1371.95	c 1371s |      19 |   703755 |   490082 |    27949     37 |      686 |      544
1373.79/1374.01	c 1373s |      19 |   704188 |   490482 |    27949     37 |      686 |      544
1375.99/1376.22	c 1375s |      19 |   704732 |   490982 |    27949     37 |      686 |      544
1378.09/1378.34	c 1378s |      19 |   705306 |   491482 |    27949     37 |      686 |      544
1380.29/1380.55	c 1380s |      19 |   705853 |   491982 |    27949     37 |      686 |      544
1382.28/1382.59	c 1382s |      19 |   706409 |   492482 |    27949     37 |      686 |      544
1384.48/1384.70	c 1384s |      19 |   706846 |   492882 |    27949     38 |      686 |      544
1386.78/1387.04	c 1386s |      19 |   707492 |   493482 |    27949     38 |      686 |      544
1388.98/1389.27	c 1388s |      19 |   708136 |   494082 |    27949     38 |      686 |      544
1391.08/1391.37	c 1391s |      19 |   708789 |   494682 |    27949     38 |      686 |      544
1393.48/1393.76	c 1393s |      19 |   709429 |   495282 |    27949     38 |      686 |      544
1395.68/1395.95	c 1395s |      19 |   710083 |   495882 |    27949     38 |      686 |      544
1397.77/1398.01	c 1397s |      19 |   710634 |   496382 |    27949     38 |      686 |      544
1400.08/1400.32	c 1400s |      19 |   711320 |   496982 |    27949     38 |      686 |      544
1402.38/1402.68	c 1402s |      19 |   712130 |   497682 |    27949     38 |      686 |      544
1404.58/1404.84	c 1404s |      19 |   712804 |   498282 |    27949     38 |      686 |      544
1406.78/1407.03	c 1406s |      19 |   713454 |   498882 |    27949     38 |      686 |      544
1408.77/1409.06	c 1408s |      19 |   713983 |   499382 |    27949     38 |      686 |      544
1410.87/1411.13	c 1410s |      19 |   714521 |   499882 |    27949     38 |      686 |      544
1413.07/1413.32	c 1413s |      19 |   715068 |   500382 |    27949     38 |      686 |      544
1415.47/1415.72	c 1415s |      19 |   715595 |   500882 |    27949     38 |      686 |      544
1417.67/1417.96	c 1417s |      19 |   716253 |   501482 |    27949     38 |      686 |      544
1419.76/1420.09	c 1419s |      19 |   716802 |   501982 |    27949     38 |      686 |      544
1421.97/1422.29	c 1422s |      19 |   717355 |   502482 |    27949     38 |      686 |      544
1424.17/1424.41	c 1424s |      19 |   717910 |   502982 |    27949     38 |      686 |      544
1426.27/1426.50	c 1426s |      19 |   718455 |   503482 |    27949     38 |      686 |      544
1428.57/1428.80	c 1428s |      19 |   719116 |   504082 |    27949     38 |      686 |      544
1430.67/1430.94	c 1430s |      19 |   719652 |   504582 |    27949     38 |      686 |      544
1432.77/1433.06	c 1432s |      19 |   720202 |   505082 |    27949     38 |      686 |      544
1435.07/1435.35	c 1435s |      19 |   720732 |   505582 |    27949     38 |      686 |      544
1437.47/1437.76	c 1437s |      19 |   721387 |   506182 |    27949     38 |      686 |      544
1439.57/1439.90	c 1439s |      19 |   721899 |   506682 |    27949     38 |      686 |      544
1441.97/1442.22	c 1441s |      19 |   722420 |   507182 |    27949     38 |      686 |      544
1444.07/1444.32	c 1444s |      19 |   722847 |   507582 |    27949     38 |      686 |      544
1446.37/1446.68	c 1446s |      19 |   723389 |   508082 |    27949     38 |      686 |      544
1448.66/1448.93	c 1448s |      19 |   723708 |   508382 |    27949     39 |      686 |      544
1450.86/1451.19	c 1450s |      19 |   724364 |   508982 |    27949     39 |      686 |      544
1453.16/1453.43	c 1453s |      19 |   725135 |   509682 |    27949     39 |      686 |      544
1455.36/1455.61	c 1455s |      19 |   725916 |   510382 |    27949     39 |      686 |      544
1457.37/1457.63	c 1457s |      19 |   726569 |   510982 |    27949     39 |      686 |      544
1459.57/1459.85	c 1459s |      19 |   727236 |   511582 |    27949     39 |      686 |      544
1461.67/1461.97	c 1461s |      19 |   727878 |   512182 |    27949     39 |      686 |      544
1463.76/1464.07	c 1463s |      19 |   728511 |   512782 |    27949     39 |      686 |      544
1466.06/1466.31	c 1466s |      19 |   729229 |   513382 |    27949     39 |      686 |      544
1468.26/1468.55	c 1468s |      19 |   729753 |   513882 |    27949     39 |      686 |      544
1470.36/1470.67	c 1470s |      19 |   730296 |   514382 |    27949     39 |      686 |      544
1472.66/1472.98	c 1472s |      19 |   730836 |   514882 |    27949     39 |      686 |      544
1474.65/1474.98	c 1474s |      19 |   731387 |   515382 |    27949     39 |      686 |      544
1476.75/1477.09	c 1476s |      19 |   731943 |   515882 |    27949     39 |      686 |      544
1479.15/1479.44	c 1479s |      19 |   732475 |   516382 |    27949     39 |      686 |      544
1481.35/1481.66	c 1481s |      19 |   733026 |   516882 |    27949     39 |      686 |      544
1483.76/1484.07	c 1483s |      19 |   733570 |   517382 |    27949     39 |      686 |      544
1485.75/1486.07	c 1485s |      19 |   734002 |   517782 |    27949     39 |      686 |      544
1488.25/1488.51	c 1488s |      19 |   734415 |   518182 |    27949     39 |      686 |      544
1490.45/1490.76	c 1490s |      19 |   734852 |   518582 |    27949     39 |      686 |      544
1492.45/1492.80	c 1492s |      19 |   735288 |   518982 |    27949     39 |      686 |      544
1494.84/1495.17	c 1494s |      19 |   735834 |   519482 |    27949     39 |      686 |      544
1497.04/1497.35	c 1497s |      19 |   736252 |   519882 |    27949     39 |      686 |      544
1499.15/1499.44	c 1499s |      19 |   736688 |   520282 |    27949     39 |      686 |      544
1501.25/1501.54	c 1501s |      19 |   737126 |   520682 |    27949     39 |      686 |      544
1503.34/1503.66	c 1503s |      19 |   737559 |   521082 |    27949     39 |      686 |      544
1505.53/1505.83	c 1505s |      19 |   737986 |   521482 |    27949     39 |      686 |      544
1507.73/1508.04	c 1507s |      19 |   738423 |   521882 |    27949     39 |      686 |      544
1509.93/1510.26	c 1509s |      19 |   738840 |   522282 |    27949     39 |      686 |      544
1512.24/1512.55	c 1512s |      19 |   739261 |   522682 |    27949     39 |      686 |      544
1514.63/1514.91	c 1514s |      19 |   739873 |   523182 |    27949     39 |      686 |      544
1516.73/1517.01	c 1516s |      19 |   740453 |   523682 |    27949     39 |      686 |      544
1518.83/1519.11	c 1518s |      19 |   740783 |   523982 |    27949     40 |      686 |      544
1520.83/1521.12	c 1520s |      19 |   741439 |   524582 |    27949     40 |      686 |      544
1523.03/1523.30	c 1523s |      19 |   742103 |   525182 |    27949     40 |      686 |      544
1525.22/1525.53	c 1525s |      19 |   742776 |   525782 |    27949     40 |      686 |      544
1527.42/1527.75	c 1527s |      19 |   743455 |   526382 |    27949     40 |      686 |      544
1529.72/1530.09	c 1529s |      19 |   744245 |   527082 |    27949     40 |      686 |      544
1532.03/1532.40	c 1532s |      19 |   744894 |   527682 |    27949     40 |      686 |      544
1534.23/1534.56	c 1534s |      19 |   745549 |   528282 |    27949     40 |      686 |      544
1536.43/1536.78	c 1536s |      19 |   746088 |   528782 |    27949     40 |      686 |      544
1538.82/1539.13	c 1538s |      19 |   746743 |   529382 |    27949     40 |      686 |      544
1541.22/1541.53	c 1541s |      19 |   747386 |   529982 |    27949     40 |      686 |      544
1543.52/1543.82	c 1543s |      19 |   747932 |   530482 |    27949     40 |      686 |      544
1545.72/1546.04	c 1545s |      19 |   748584 |   531082 |    27949     40 |      686 |      544
1547.92/1548.25	c 1547s |      19 |   749327 |   531782 |    27949     40 |      686 |      544
1550.02/1550.39	c 1550s |      19 |   749980 |   532382 |    27949     40 |      686 |      544
1552.32/1552.67	c 1552s |      19 |   750658 |   532982 |    27949     40 |      686 |      544
1554.42/1554.77	c 1554s |      19 |   751368 |   533582 |    27949     40 |      686 |      544
1556.71/1557.09	c 1556s |      19 |   752029 |   534182 |    27949     40 |      686 |      544
1558.91/1559.26	c 1558s |      19 |   752560 |   534682 |    27949     40 |      686 |      544
1561.11/1561.46	c 1561s |      19 |   753097 |   535182 |    27949     40 |      686 |      544
1563.41/1563.75	c 1563s |      19 |   753635 |   535682 |    27949     40 |      686 |      544
1565.60/1565.99	c 1565s |      19 |   754185 |   536182 |    27949     40 |      686 |      544
1568.00/1568.30	c 1568s |      19 |   754732 |   536682 |    27949     40 |      686 |      544
1570.10/1570.41	c 1570s |      19 |   755167 |   537082 |    27949     40 |      686 |      544
1572.60/1572.90	c 1572s |      19 |   755701 |   537582 |    27949     40 |      686 |      544
1574.70/1575.05	c 1574s |      19 |   756120 |   537982 |    27949     40 |      686 |      544
1577.30/1577.62	c 1577s |      19 |   756672 |   538482 |    27949     40 |      686 |      544
1579.40/1579.79	c 1579s |      19 |   757113 |   538882 |    27949     40 |      686 |      544
1581.80/1582.17	c 1581s |      19 |   757531 |   539282 |    27949     40 |      686 |      544
1584.10/1584.50	c 1584s |      19 |   757872 |   539582 |    27949     41 |      686 |      544
1586.39/1586.77	c 1586s |      19 |   758450 |   540082 |    27949     41 |      686 |      544
1588.49/1588.89	c 1588s |      19 |   759223 |   540682 |    27949     41 |      686 |      544
1590.69/1591.01	c 1590s |      19 |   760160 |   541482 |    27949     41 |      686 |      544
1592.79/1593.14	c 1592s |      19 |   761005 |   542182 |    27949     41 |      686 |      544
1594.99/1595.38	c 1595s |      19 |   761845 |   542882 |    27949     41 |      686 |      544
1597.09/1597.44	c 1597s |      19 |   762523 |   543482 |    27949     41 |      686 |      544
1599.19/1599.51	c 1599s |      19 |   763209 |   544082 |    27949     41 |      686 |      544
1601.29/1601.66	c 1601s |      19 |   764052 |   544782 |    27949     41 |      686 |      544
1603.49/1603.88	c 1603s |      19 |   764878 |   545482 |    27949     41 |      686 |      544
1605.88/1606.26	c 1605s |      19 |   765528 |   546082 |    27949     41 |      686 |      544
1608.18/1608.57	c 1608s |      19 |   766195 |   546682 |    27949     41 |      686 |      544
1610.38/1610.78	c 1610s |      19 |   766889 |   547282 |    27949     41 |      686 |      544
1612.68/1613.07	c 1612s |      19 |   767715 |   547982 |    27949     41 |      686 |      544
1615.07/1615.47	c 1615s |      19 |   768379 |   548582 |    27949     41 |      686 |      544
1617.17/1617.54	c 1617s |      19 |   768949 |   549082 |    27949     41 |      686 |      544
1619.47/1619.81	c 1619s |      19 |   769494 |   549582 |    27949     41 |      686 |      544
1621.57/1621.94	c 1621s |      19 |   770091 |   550082 |    27949     41 |      686 |      544
1623.67/1624.03	c 1623s |      19 |   770632 |   550582 |    27949     41 |      686 |      544
1625.96/1626.36	c 1626s |      19 |   771322 |   551182 |    27949     41 |      686 |      544
1628.46/1628.81	c 1628s |      19 |   771991 |   551782 |    27949     41 |      686 |      544
1630.46/1630.88	c 1630s |      19 |   772570 |   552282 |    27949     41 |      686 |      544
1632.66/1633.09	c 1632s |      19 |   773147 |   552782 |    27949     41 |      686 |      544
1634.76/1635.14	c 1634s |      19 |   773594 |   553182 |    27949     41 |      686 |      544
1637.25/1637.62	c 1637s |      19 |   774156 |   553682 |    27949     41 |      686 |      544
1639.55/1639.98	c 1639s |      19 |   774711 |   554182 |    27949     41 |      686 |      544
1642.06/1642.44	c 1642s |      19 |   775259 |   554682 |    27949     41 |      686 |      544
1644.85/1645.20	c 1644s |      19 |   775701 |   555082 |    27949     42 |      686 |      544
1646.95/1647.31	c 1647s |      19 |   776259 |   555582 |    27949     42 |      686 |      544
1648.95/1649.38	c 1649s |      19 |   776822 |   556082 |    27949     42 |      686 |      544
1651.16/1651.55	c 1651s |      19 |   777375 |   556582 |    27949     42 |      686 |      544
1653.66/1654.02	c 1653s |      19 |   777908 |   557082 |    27949     42 |      686 |      544
1655.65/1656.07	c 1655s |      19 |   778491 |   557582 |    27949     42 |      686 |      544
1657.85/1658.29	c 1658s |      19 |   779178 |   558182 |    27949     42 |      686 |      544
1660.15/1660.59	c 1660s |      19 |   779844 |   558782 |    27949     42 |      686 |      544
1662.45/1662.84	c 1662s |      19 |   780403 |   559282 |    27949     42 |      686 |      544
1664.65/1665.02	c 1664s |      19 |   780941 |   559782 |    27949     42 |      686 |      544
1666.94/1667.30	c 1667s |      19 |   781515 |   560282 |    27949     42 |      686 |      544
1669.14/1669.56	c 1669s |      19 |   782095 |   560782 |    27949     42 |      686 |      544
1671.44/1671.83	c 1671s |      19 |   782657 |   561282 |    27949     42 |      686 |      544
1673.74/1674.14	c 1673s |      19 |   783213 |   561782 |    27949     42 |      686 |      544
1675.84/1676.30	c 1676s |      19 |   783643 |   562182 |    27949     42 |      686 |      544
1678.13/1678.54	c 1678s |      19 |   784181 |   562682 |    27949     42 |      686 |      544
1680.13/1680.58	c 1680s |      19 |   784762 |   563182 |    27949     42 |      686 |      544
1682.53/1683.00	c 1682s |      19 |   785304 |   563682 |    27949     42 |      686 |      544
1684.63/1685.06	c 1684s |      19 |   785724 |   564082 |    27949     42 |      686 |      544
1686.63/1687.07	c 1686s |      19 |   786180 |   564482 |    27949     42 |      686 |      544
1689.02/1689.45	c 1689s |      19 |   786740 |   564982 |    27949     42 |      686 |      544
1691.43/1691.89	c 1691s |      19 |   787167 |   565382 |    27949     42 |      686 |      544
1693.92/1694.31	c 1694s |      19 |   787612 |   565782 |    27949     42 |      686 |      544
1696.32/1696.78	c 1696s |      19 |   788153 |   566282 |    27949     42 |      686 |      544
1698.71/1699.12	c 1698s |      19 |   788592 |   566682 |    27949     42 |      686 |      544
1700.81/1701.28	c 1701s |      19 |   789065 |   567082 |    27949     42 |      686 |      544
1702.91/1703.30	c 1703s |      19 |   789514 |   567482 |    27949     42 |      686 |      544
1705.21/1705.61	c 1705s |      19 |   790093 |   567982 |    27949     42 |      686 |      544
1707.31/1707.78	c 1707s |      19 |   790684 |   568482 |    27949     42 |      686 |      544
1709.71/1710.14	c 1709s |      19 |   791238 |   568982 |    27949     42 |      686 |      544
1711.81/1712.29	c 1712s |      19 |   791670 |   569382 |    27949     42 |      686 |      544
1713.91/1714.32	c 1714s |      19 |   792121 |   569782 |    27949     42 |      686 |      544
1716.20/1716.62	c 1716s |      19 |   792686 |   570282 |    27949     42 |      686 |      544
1718.70/1719.14	c 1718s |      19 |   793239 |   570782 |    27949     43 |      686 |      544
1720.80/1721.29	c 1721s |      19 |   793793 |   571282 |    27949     43 |      686 |      544
1722.80/1723.29	c 1723s |      19 |   794341 |   571782 |    27949     43 |      686 |      544
1725.09/1725.58	c 1725s |      19 |   794991 |   572382 |    27949     43 |      686 |      544
1727.40/1727.82	c 1727s |      19 |   795692 |   572982 |    27949     43 |      686 |      544
1729.70/1730.14	c 1729s |      19 |   796354 |   573582 |    27949     43 |      686 |      544
1732.00/1732.46	c 1732s |      19 |   797002 |   574182 |    27949     43 |      686 |      544
1734.20/1734.66	c 1734s |      19 |   797539 |   574682 |    27949     43 |      686 |      544
1736.69/1737.13	c 1736s |      19 |   798230 |   575282 |    27949     43 |      686 |      544
1738.99/1739.43	c 1739s |      19 |   798774 |   575782 |    27949     43 |      686 |      544
1741.19/1741.63	c 1741s |      19 |   799324 |   576282 |    27949     43 |      686 |      544
1743.20/1743.63	c 1743s |      19 |   799760 |   576682 |    27949     43 |      686 |      544
1745.58/1746.00	c 1745s |      19 |   800316 |   577182 |    27949     43 |      686 |      544
1747.88/1748.33	c 1748s |      19 |   800877 |   577682 |    27949     43 |      686 |      544
1749.98/1750.49	c 1750s |      19 |   801322 |   578082 |    27949     43 |      686 |      544
1752.08/1752.55	c 1752s |      19 |   801779 |   578482 |    27949     43 |      686 |      544
1754.38/1754.86	c 1754s |      19 |   802319 |   578982 |    27949     43 |      686 |      544
1756.78/1757.22	c 1756s |      19 |   802749 |   579382 |    27949     43 |      686 |      544
1758.78/1759.23	c 1758s |      19 |   803195 |   579782 |    27949     43 |      686 |      544
1761.08/1761.54	c 1761s |      19 |   803634 |   580182 |    27949     43 |      686 |      544
1763.28/1763.76	c 1763s |      19 |   804090 |   580582 |    27949     43 |      686 |      544
1765.77/1766.24	c 1765s |      19 |   804656 |   581082 |    27949     43 |      686 |      544
1767.77/1768.24	c 1767s |      19 |   805107 |   581482 |    27949     43 |      686 |      544
1770.17/1770.61	c 1770s |      19 |   805683 |   581982 |    27949     43 |      686 |      544
1772.27/1772.76	c 1772s |      19 |   806115 |   582382 |    27949     43 |      686 |      544
1774.77/1775.23	c 1774s |      19 |   806673 |   582882 |    27949     43 |      686 |      544
1777.36/1777.83	c 1777s |      19 |   807209 |   583382 |    27949     43 |      686 |      544
1779.86/1780.33	c 1780s |      19 |   807630 |   583782 |    27949     43 |      686 |      544
1782.36/1782.84	c 1782s |      19 |   808071 |   584182 |    27949     43 |      686 |      544
1784.66/1785.17	c 1784s |      19 |   808506 |   584582 |    27949     43 |      686 |      544
1787.16/1787.61	c 1787s |      19 |   808956 |   584982 |    27949     43 |      686 |      544
1789.65/1790.14	c 1789s |      19 |   809378 |   585382 |    27949     43 |      686 |      544
1792.05/1792.50	c 1792s |      19 |   809799 |   585782 |    27949     43 |      686 |      544
1794.55/1795.06	c 1794s |      19 |   810221 |   586182 |    27949     43 |      686 |      544
1796.64/1797.17	c 1796s |      19 |   810435 |   586382 |    27949     44 |      686 |      544
1798.74/1799.27	c 1798s |      19 |   810999 |   586882 |    27949     44 |      686 |      544

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

pid=24415
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.32 2.25 2.19 3/179 24418
/proc/meminfo: memFree=30282368/32872528 swapFree=1541156/1696500
[pid=24418] ppid=24415 vsize=589244 CPUtime=0 cores=1,3,5,7
/proc/24418/stat : 24418 (toysat) R 24415 24418 23447 0 -1 4202496 2175 0 0 0 0 0 0 0 20 0 4 0 30797020 603385856 2536 33554432000 4194304 16246674 140734680768608 140734680768032 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24418/statm: 147823 2543 441 2943 0 144717 0
[pid=24418/tid=24419] ppid=24415 vsize=606652 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24419/stat : 24419 (toysat) S 24415 24418 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797020 621211648 2601 33554432000 4194304 16246674 140734680768608 139696329960688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24418/tid=24420] ppid=24415 vsize=609724 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24420/stat : 24420 (toysat) S 24415 24418 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797020 624357376 2616 33554432000 4194304 16246674 140734680768608 139696319470832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24418/tid=24421] ppid=24415 vsize=614844 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24421/stat : 24421 (toysat) S 24415 24418 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30797021 629600256 2634 33554432000 4194304 16246674 140734680768608 139696308997296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.32 2.25 2.19 3/179 24418
/proc/meminfo: memFree=30282368/32872528 swapFree=1541156/1696500
[pid=24418] ppid=24415 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/24418/stat : 24418 (toysat) R 24415 24418 23447 0 -1 4202496 28467 0 0 0 5 4 0 0 20 0 4 0 30797020 1249447936 28766 33554432000 4194304 16246674 140734680768608 140734680767920 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24418/statm: 305041 28766 801 2943 0 301935 0
[pid=24418/tid=24419] ppid=24415 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24419/stat : 24419 (toysat) S 24415 24418 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797020 1249447936 28766 33554432000 4194304 16246674 140734680768608 139696329960688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24418/tid=24420] ppid=24415 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24420/stat : 24420 (toysat) S 24415 24418 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797020 1249447936 28766 33554432000 4194304 16246674 140734680768608 139696319470832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24418/tid=24421] ppid=24415 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24421/stat : 24421 (toysat) S 24415 24418 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797021 1249447936 28766 33554432000 4194304 16246674 140734680768608 139696308997296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200532 s]
/proc/loadavg: 2.32 2.25 2.19 3/179 24418
/proc/meminfo: memFree=30282368/32872528 swapFree=1541156/1696500
[pid=24418] ppid=24415 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/24418/stat : 24418 (toysat) R 24415 24418 23447 0 -1 4202496 48674 0 0 0 13 6 0 0 20 0 4 0 30797020 1332285440 48973 33554432000 4194304 16246674 140734680768608 140734680767920 13769509 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24418/statm: 325265 48973 842 2943 0 322159 0
[pid=24418/tid=24419] ppid=24415 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24419/stat : 24419 (toysat) S 24415 24418 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797020 1332285440 48973 33554432000 4194304 16246674 140734680768608 139696329960688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24418/tid=24420] ppid=24415 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24420/stat : 24420 (toysat) S 24415 24418 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797020 1332285440 48973 33554432000 4194304 16246674 140734680768608 139696319470832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24418/tid=24421] ppid=24415 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24421/stat : 24421 (toysat) S 24415 24418 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797021 1332285440 48973 33554432000 4194304 16246674 140734680768608 139696308997296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300494 s]
/proc/loadavg: 2.32 2.25 2.19 3/179 24418
/proc/meminfo: memFree=30282368/32872528 swapFree=1541156/1696500
[pid=24418] ppid=24415 vsize=1301060 CPUtime=0.28 cores=1,3,5,7
/proc/24418/stat : 24418 (toysat) R 24415 24418 23447 0 -1 4202496 54127 0 0 0 22 6 0 0 20 0 4 0 30797020 1332285440 54426 33554432000 4194304 16246674 140734680768608 140734680767920 5831697 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24418/statm: 325265 54432 882 2943 0 322159 0
[pid=24418/tid=24419] ppid=24415 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24419/stat : 24419 (toysat) S 24415 24418 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797020 1332285440 54436 33554432000 4194304 16246674 140734680768608 139696329960688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24418/tid=24420] ppid=24415 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24420/stat : 24420 (toysat) S 24415 24418 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797020 1332285440 54440 33554432000 4194304 16246674 140734680768608 139696319470832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24418/tid=24421] ppid=24415 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24421/stat : 24421 (toysat) S 24415 24418 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797021 1332285440 54443 33554432000 4194304 16246674 140734680768608 139696308997296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1301060

[startup+0.700409 s]
/proc/loadavg: 2.32 2.25 2.19 3/179 24418
/proc/meminfo: memFree=30282368/32872528 swapFree=1541156/1696500
[pid=24418] ppid=24415 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/24418/stat : 24418 (toysat) R 24415 24418 23447 0 -1 4202496 104899 0 0 0 57 12 0 0 20 0 4 0 30797020 1332285440 105198 33554432000 4194304 16246674 140734680768608 140734680751608 5712452 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24418/statm: 325265 105202 882 2943 0 322159 0
[pid=24418/tid=24419] ppid=24415 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24419/stat : 24419 (toysat) S 24415 24418 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797020 1332285440 105206 33554432000 4194304 16246674 140734680768608 139696329960688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24418/tid=24420] ppid=24415 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24420/stat : 24420 (toysat) S 24415 24418 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797020 1332285440 105209 33554432000 4194304 16246674 140734680768608 139696319470832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24418/tid=24421] ppid=24415 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24421/stat : 24421 (toysat) S 24415 24418 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797021 1332285440 105211 33554432000 4194304 16246674 140734680768608 139696308997296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50039 s]
/proc/loadavg: 2.32 2.25 2.19 3/183 24422
/proc/meminfo: memFree=29040784/32872528 swapFree=1541156/1696500
[pid=24418] ppid=24415 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/24418/stat : 24418 (toysat) R 24415 24418 23447 0 -1 4202496 207476 0 0 0 123 26 0 0 20 0 4 0 30797020 1332285440 207776 33554432000 4194304 16246674 140734680768608 140734680750528 5661217 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24418/statm: 325265 207777 882 2943 0 322159 0
[pid=24418/tid=24419] ppid=24415 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24419/stat : 24419 (toysat) S 24415 24418 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797020 1332285440 207778 33554432000 4194304 16246674 140734680768608 139696329960688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24418/tid=24420] ppid=24415 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24420/stat : 24420 (toysat) S 24415 24418 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797020 1332285440 207780 33554432000 4194304 16246674 140734680768608 139696319470832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24418/tid=24421] ppid=24415 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24421/stat : 24421 (toysat) S 24415 24418 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797021 1332285440 207781 33554432000 4194304 16246674 140734680768608 139696308997296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10042 s]
/proc/loadavg: 2.38 2.27 2.20 3/183 24422
/proc/meminfo: memFree=28166460/32872528 swapFree=1541156/1696500
[pid=24418] ppid=24415 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/24418/stat : 24418 (toysat) R 24415 24418 23447 0 -1 4202496 269516 0 0 0 275 34 0 0 20 0 4 0 30797020 1344868352 269815 33554432000 4194304 16246674 140734680768608 140734680750528 5600384 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24418/statm: 328337 269815 889 2943 0 325231 0
[pid=24418/tid=24419] ppid=24415 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24419/stat : 24419 (toysat) S 24415 24418 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797020 1344868352 269815 33554432000 4194304 16246674 140734680768608 139696329960688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24418/tid=24420] ppid=24415 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24420/stat : 24420 (toysat) S 24415 24418 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797020 1344868352 269815 33554432000 4194304 16246674 140734680768608 139696319470832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24418/tid=24421] ppid=24415 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24421/stat : 24421 (toysat) S 24415 24418 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797021 1344868352 269815 33554432000 4194304 16246674 140734680768608 139696308997296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30043 s]
/proc/loadavg: 2.38 2.27 2.20 3/183 24422
/proc/meminfo: memFree=28165224/32872528 swapFree=1541156/1696500
[pid=24418] ppid=24415 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/24418/stat : 24418 (toysat) R 24415 24418 23447 0 -1 4202496 269525 0 0 0 595 34 0 0 20 0 4 0 30797020 1344868352 269824 33554432000 4194304 16246674 140734680768608 140734680750528 13194888 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24418/statm: 328337 269824 889 2943 0 325231 0
[pid=24418/tid=24419] ppid=24415 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24419/stat : 24419 (toysat) S 24415 24418 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797020 1344868352 269824 33554432000 4194304 16246674 140734680768608 139696329960688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24418/tid=24420] ppid=24415 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24420/stat : 24420 (toysat) S 24415 24418 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797020 1344868352 269824 33554432000 4194304 16246674 140734680768608 139696319470832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24418/tid=24421] ppid=24415 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24421/stat : 24421 (toysat) S 24415 24418 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797021 1344868352 269824 33554432000 4194304 16246674 140734680768608 139696308997296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.39 2.27 2.20 4/183 24422
/proc/meminfo: memFree=28165304/32872528 swapFree=1541156/1696500
[pid=24418] ppid=24415 vsize=1313348 CPUtime=12.68 cores=1,3,5,7
/proc/24418/stat : 24418 (toysat) R 24415 24418 23447 0 -1 4202496 269525 0 0 0 1234 34 0 0 20 0 4 0 30797020 1344868352 269824 33554432000 4194304 16246674 140734680768608 140734680750528 6836017 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24418/statm: 328337 269824 889 2943 0 325231 0
[pid=24418/tid=24419] ppid=24415 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24419/stat : 24419 (toysat) S 24415 24418 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797020 1344868352 269824 33554432000 4194304 16246674 140734680768608 139696329960688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24418/tid=24420] ppid=24415 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24420/stat : 24420 (toysat) S 24415 24418 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797020 1344868352 269824 33554432000 4194304 16246674 140734680768608 139696319470832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24418/tid=24421] ppid=24415 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24421/stat : 24421 (toysat) S 24415 24418 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797021 1344868352 269824 33554432000 4194304 16246674 140734680768608 139696308997296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.41 2.28 2.20 3/183 24422
/proc/meminfo: memFree=28166740/32872528 swapFree=1541156/1696500
[pid=24418] ppid=24415 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/24418/stat : 24418 (toysat) R 24415 24418 23447 0 -1 4202496 269528 0 0 0 2514 34 0 0 20 0 4 0 30797020 1344868352 269827 33554432000 4194304 16246674 140734680768608 140734680750528 5712756 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24418/statm: 328337 269827 892 2943 0 325231 0
[pid=24418/tid=24419] ppid=24415 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24419/stat : 24419 (toysat) S 24415 24418 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797020 1344868352 269827 33554432000 4194304 16246674 140734680768608 139696329960688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24418/tid=24420] ppid=24415 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24420/stat : 24420 (toysat) S 24415 24418 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797020 1344868352 269827 33554432000 4194304 16246674 140734680768608 139696319470832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24418/tid=24421] ppid=24415 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24421/stat : 24421 (toysat) S 24415 24418 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797021 1344868352 269827 33554432000 4194304 16246674 140734680768608 139696308997296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.33 2.27 2.20 3/183 24422
/proc/meminfo: memFree=28166892/32872528 swapFree=1541156/1696500
[pid=24418] ppid=24415 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/24418/stat : 24418 (toysat) R 24415 24418 23447 0 -1 4202496 269528 0 0 0 5074 34 0 0 20 0 4 0 30797020 1344868352 269827 33554432000 4194304 16246674 140734680768608 140734680750528 5523192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24418/statm: 328337 269827 892 2943 0 325231 0
[pid=24418/tid=24419] ppid=24415 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24419/stat : 24419 (toysat) S 24415 24418 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797020 1344868352 269827 33554432000 4194304 16246674 140734680768608 139696329960688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24418/tid=24420] ppid=24415 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24420/stat : 24420 (toysat) S 24415 24418 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797020 1344868352 269827 33554432000 4194304 16246674 140734680768608 139696319470832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24418/tid=24421] ppid=24415 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24421/stat : 24421 (toysat) S 24415 24418 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797021 1344868352 269827 33554432000 4194304 16246674 140734680768608 139696308997296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 2.34 2.29 2.20 3/183 24424
/proc/meminfo: memFree=28160656/32872528 swapFree=1541156/1696500
[pid=24418] ppid=24415 vsize=1313348 CPUtime=102.28 cores=1,3,5,7
/proc/24418/stat : 24418 (toysat) R 24415 24418 23447 0 -1 4202496 269528 0 0 0 10193 35 0 0 20 0 4 0 30797020 1344868352 269827 33554432000 4194304 16246674 140734680768608 140734680750528 5531428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24418/statm: 328337 269827 892 2943 0 325231 0
[pid=24418/tid=24419] ppid=24415 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24419/stat : 24419 (toysat) S 24415 24418 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797020 1344868352 269827 33554432000 4194304 16246674 140734680768608 139696329960688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24418/tid=24420] ppid=24415 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24420/stat : 24420 (toysat) S 24415 24418 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797020 1344868352 269827 33554432000 4194304 16246674 140734680768608 139696319470832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24418/tid=24421] ppid=24415 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24421/stat : 24421 (toysat) S 24415 24418 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797021 1344868352 269827 33554432000 4194304 16246674 140734680768608 139696308997296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/24418/task/24421/stat : 24421 (toysat) S 24415 24418 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797021 1386811392 279943 33554432000 4194304 16246674 140734680768608 139696308997296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1354308

[startup+1362.3 s]
/proc/loadavg: 2.42 2.37 2.28 3/183 24490
/proc/meminfo: memFree=28106324/32872528 swapFree=1541156/1696500
[pid=24418] ppid=24415 vsize=1354308 CPUtime=1362.08 cores=1,3,5,7
/proc/24418/stat : 24418 (toysat) R 24415 24418 23447 0 -1 4202496 279647 0 0 0 136163 45 0 0 20 0 4 0 30797020 1386811392 279946 33554432000 4194304 16246674 140734680768608 140734680750528 5723564 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24418/statm: 338577 279946 892 2943 0 335471 0
[pid=24418/tid=24419] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24419/stat : 24419 (toysat) S 24415 24418 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797020 1386811392 279946 33554432000 4194304 16246674 140734680768608 139696329960688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24418/tid=24420] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24420/stat : 24420 (toysat) S 24415 24418 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797020 1386811392 279946 33554432000 4194304 16246674 140734680768608 139696319470832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24418/tid=24421] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24421/stat : 24421 (toysat) S 24415 24418 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797021 1386811392 279946 33554432000 4194304 16246674 140734680768608 139696308997296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1354308

[startup+1422.3 s]
/proc/loadavg: 2.54 2.41 2.30 4/184 24494
/proc/meminfo: memFree=28104608/32872528 swapFree=1541156/1696500
[pid=24418] ppid=24415 vsize=1354308 CPUtime=1422.08 cores=1,3,5,7
/proc/24418/stat : 24418 (toysat) R 24415 24418 23447 0 -1 4202496 279774 0 0 0 142162 46 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 140734680767784 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24418/statm: 338577 280070 892 2943 0 335471 0
[pid=24418/tid=24419] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24419/stat : 24419 (toysat) S 24415 24418 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696329960688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24418/tid=24420] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24420/stat : 24420 (toysat) S 24415 24418 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696319470832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24418/tid=24421] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24421/stat : 24421 (toysat) S 24415 24418 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797021 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696308997296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1354308

[startup+1482.3 s]
/proc/loadavg: 2.50 2.41 2.30 3/183 24495
/proc/meminfo: memFree=28104608/32872528 swapFree=1541156/1696500
[pid=24418] ppid=24415 vsize=1354308 CPUtime=1482.05 cores=1,3,5,7
/proc/24418/stat : 24418 (toysat) R 24415 24418 23447 0 -1 4202496 279787 0 0 0 148159 46 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 140734680750528 5677716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24418/statm: 338577 280070 892 2943 0 335471 0
[pid=24418/tid=24419] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24419/stat : 24419 (toysat) S 24415 24418 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696329960688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24418/tid=24420] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24420/stat : 24420 (toysat) S 24415 24418 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696319470832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24418/tid=24421] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24421/stat : 24421 (toysat) S 24415 24418 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797021 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696308997296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1354308

[startup+1542.31 s]
/proc/loadavg: 2.55 2.45 2.32 3/183 24496
/proc/meminfo: memFree=28105520/32872528 swapFree=1541156/1696500
[pid=24418] ppid=24415 vsize=1354308 CPUtime=1542.03 cores=1,3,5,7
/proc/24418/stat : 24418 (toysat) R 24415 24418 23447 0 -1 4202496 279829 0 0 0 154156 47 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 140734680750528 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24418/statm: 338577 280070 892 2943 0 335471 0
[pid=24418/tid=24419] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24419/stat : 24419 (toysat) S 24415 24418 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696329960688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24418/tid=24420] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24420/stat : 24420 (toysat) S 24415 24418 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696319470832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24418/tid=24421] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24421/stat : 24421 (toysat) S 24415 24418 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797021 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696308997296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1354308

[startup+1602.3 s]
/proc/loadavg: 2.50 2.45 2.33 4/183 24498
/proc/meminfo: memFree=28104940/32872528 swapFree=1541156/1696500
[pid=24418] ppid=24415 vsize=1354308 CPUtime=1601.98 cores=1,3,5,7
/proc/24418/stat : 24418 (toysat) R 24415 24418 23447 0 -1 4202496 279870 0 0 0 160151 47 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 140734680750528 5523192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24418/statm: 338577 280070 892 2943 0 335471 0
[pid=24418/tid=24419] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24419/stat : 24419 (toysat) S 24415 24418 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696329960688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24418/tid=24420] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24420/stat : 24420 (toysat) S 24415 24418 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696319470832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24418/tid=24421] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24421/stat : 24421 (toysat) S 24415 24418 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797021 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696308997296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 1354308

[startup+1662.3 s]
/proc/loadavg: 2.46 2.45 2.33 3/183 24499
/proc/meminfo: memFree=28104988/32872528 swapFree=1541156/1696500
[pid=24418] ppid=24415 vsize=1354308 CPUtime=1661.95 cores=1,3,5,7
/proc/24418/stat : 24418 (toysat) R 24415 24418 23447 0 -1 4202496 279911 0 0 0 166147 48 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 140734680750528 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24418/statm: 338577 280070 892 2943 0 335471 0
[pid=24418/tid=24419] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24419/stat : 24419 (toysat) S 24415 24418 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696329960688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24418/tid=24420] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24420/stat : 24420 (toysat) S 24415 24418 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696319470832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24418/tid=24421] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24421/stat : 24421 (toysat) S 24415 24418 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797021 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696308997296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1354308

[startup+1722.3 s]
/proc/loadavg: 2.35 2.42 2.33 3/183 24500
/proc/meminfo: memFree=28104272/32872528 swapFree=1541156/1696500
[pid=24418] ppid=24415 vsize=1354308 CPUtime=1721.9 cores=1,3,5,7
/proc/24418/stat : 24418 (toysat) R 24415 24418 23447 0 -1 4202496 279954 0 0 0 172142 48 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 140734680767704 5712555 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24418/statm: 338577 280070 892 2943 0 335471 0
[pid=24418/tid=24419] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24419/stat : 24419 (toysat) S 24415 24418 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696329960688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24418/tid=24420] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24420/stat : 24420 (toysat) S 24415 24418 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696319470832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24418/tid=24421] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24421/stat : 24421 (toysat) S 24415 24418 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797021 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696308997296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1354308

[startup+1782.3 s]
/proc/loadavg: 2.33 2.39 2.32 4/183 24501
/proc/meminfo: memFree=28104408/32872528 swapFree=1541156/1696500
[pid=24418] ppid=24415 vsize=1354308 CPUtime=1781.86 cores=1,3,5,7
/proc/24418/stat : 24418 (toysat) R 24415 24418 23447 0 -1 4202496 280001 0 0 0 178137 49 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 140734680750528 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24418/statm: 338577 280070 892 2943 0 335471 0
[pid=24418/tid=24419] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24419/stat : 24419 (toysat) S 24415 24418 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696329960688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24418/tid=24420] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24420/stat : 24420 (toysat) S 24415 24418 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696319470832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24418/tid=24421] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24421/stat : 24421 (toysat) S 24415 24418 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797021 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696308997296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1354308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.26 2.37 2.32 3/183 24501
/proc/meminfo: memFree=28104252/32872528 swapFree=1541156/1696500
[pid=24418] ppid=24415 vsize=1354308 CPUtime=1800.04 cores=1,3,5,7
/proc/24418/stat : 24418 (toysat) R 24415 24418 23447 0 -1 4202496 280017 0 0 0 179955 49 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 140734680750528 5677273 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24418/statm: 338577 280070 892 2943 0 335471 0
[pid=24418/tid=24419] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24419/stat : 24419 (toysat) S 24415 24418 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696329960688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24418/tid=24420] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24420/stat : 24420 (toysat) S 24415 24418 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696319470832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24418/tid=24421] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24421/stat : 24421 (toysat) S 24415 24418 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797021 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696308997296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1354308

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

[startup+1800.5 s]
/proc/loadavg: 2.26 2.37 2.32 3/183 24501
/proc/meminfo: memFree=28104252/32872528 swapFree=1541156/1696500
[pid=24418] ppid=24415 vsize=1354308 CPUtime=1800.04 cores=1,3,5,7
/proc/24418/stat : 24418 (toysat) R 24415 24418 23447 0 -1 4202496 280017 0 0 0 179955 49 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 140734680750528 5677273 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24418/statm: 338577 280070 892 2943 0 335471 0
[pid=24418/tid=24419] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24419/stat : 24419 (toysat) S 24415 24418 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696329960688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=24418/tid=24420] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24420/stat : 24420 (toysat) S 24415 24418 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30797020 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696319470832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24418/tid=24421] ppid=24415 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/24418/task/24421/stat : 24421 (toysat) S 24415 24418 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30797021 1386811392 280070 33554432000 4194304 16246674 140734680768608 139696308997296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1354308

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.08
CPU user time (s): 1799.56
CPU system time (s): 0.51992
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 1354308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.51992
maximum resident set size= 1120280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280017
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= 263
involuntary context switches= 1959

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.07738 second user time and 7.51686 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-26 23:46:23
IDJOB=4116541
IDBENCH=109483
IDSOLVER=2542
FILE ID=node125/4116541-1466977583
RUNJOBID= node125-1466966776-23464
PBS_JOBID= 19976375
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 0fa0928008c966292e9de5be6ad7d68b
RANDOM SEED=1822059979

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30310688 kB
Buffers:           49216 kB
Cached:            97260 kB
SwapCached:         1736 kB
Active:            90248 kB
Inactive:          70780 kB
Active(anon):      15960 kB
Inactive(anon):      448 kB
Active(file):      74288 kB
Inactive(file):    70332 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             33448 kB
Writeback:             0 kB
AnonPages:       1707556 kB
Mapped:             8664 kB
Shmem:                 0 kB
Slab:             568328 kB
SReclaimable:      11952 kB
SUnreclaim:       556376 kB
KernelStack:        1392 kB
PageTables:         7972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2327612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node125 at 2016-06-27 00:16:24