Trace number 4116533

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.03 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size144-round23-7.opb
MD5SUMbfcd781f18820c497ed9f650463d13eb
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 constraints9520
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)432
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-27T00:42:43+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-4116533-1466980962.opb"]
0.00/0.01	c use --random-gen="273743500 3758251717 3712799573 3322998007 1968642295 2299224029 297535764 935056269 2945522191 3783216132 3217723649 835690780 1207847930 1447466054 1150493816 1929034396 1365051274 3966887764 4075111644 798602497 2180221028 1898113714 798747632 3862403103 1845343907 1969531881 2079902382 2673756711 1303452404 4128915188 3098637127 2808215336 3230205987 1696231046 2217033406 712773547 3471146904 2250984700 756176769 3761869477 634998026 1830963543 2840813677 635707602 4268745552 3407245655 4121048348 2596715354 1341540407 1267415362 3930583770 2249526300 2543202123 710047942 2408013304 74786913 1131413042 2999716661 2843908718 2702027887 1586008157 1437181856 636511194 1511921237 1092929748 2462625658 3885166679 2797579473 4083326075 205016161 3796551637 3096931852 3089084332 746551726 1093049121 2813462849 780469596 4001552742 964586405 2535198188 2869943839 2236932769 3862971935 2835754600 1108837598 5848708 140483549 3356435239 4026749230 1890650050 432556699 1473328862 3238329059 1250102997 1242227260 1225191093 376933069 3781309945 2162345371 4112844156 2883595362 1787702610 746114418 1780764843 4029940918 1342640286 263244734 242170700 4001317077 4283077864 1337197213 4287289631 3245871241 456337109 1577113345 1920370061 2160865034 352485894 4016632942 3751101342 2036445938 1120771376 2908146947 3676228600 1779581554 368816089 3366279244 2050241339 224559938 1978483105 1422581465 2070854210 3097141171 3882873804 97719526 671548183 2714089031 1114082551 4131594727 3788566860 132578638 1282137137 3808786609 4024138608 3776167436 3711609526 3970679956 2244263470 3752698005 1525793867 2540486243 2935317620 1720531551 80317760 67888350 1409267832 1997090514 3278795208 896772605 1835080912 665967319 1944503279 1659398326 535489928 1221442653 3358392398 2491480685 93551854 4145473653 1011096910 3677673328 2057554064 3551419442 3483657142 1404363016 3509328566 878921328 1526240953 1112732953 3657172430 2697048247 3004846298 323384810 46340 1165194883 3432413044 750006147 4230075392 2548226458 2827791783 2365444620 234598506 3503714483 659080789 2123755167 679728951 1968454152 4136664982 948229100 4071325594 640143231 2683381318 2091794503 4211643626 1072485754 414723033 2760533447 2827683644 2179427717 4121466617 4044098551 1320348497 1992605652 758243512 3378982898 115861329 48009650 54138015 2111186489 2418061576 969264906 8077820 466001630 750139299 3184428891 390623849 4230828656 3129762698 1412123499 2171685004 2336236139 479581041 948062121 2396663407 1752788532 377373207 2138288940 1733000510 1181204612 3507771434 3937179520 1366907763 1530467616 2710766519 881954297 1004554202 3907106034 2845378281 198048723 2003611067 1019780413 458567368 2182742536 2206405043 1718582092 1743738594 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9520
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      812 |        0
0.29/0.35	c  0.1s |       1 |      954 |      100 |     4565      0 |      812 |      798
0.39/0.45	c  0.2s |       2 |     2559 |      250 |     5022      0 |      813 |      798
0.59/0.62	c  0.3s |       3 |     4556 |      475 |     5525      0 |      813 |      798
0.89/0.95	c  0.7s |       4 |     7263 |      813 |     6078      0 |      813 |      798
1.29/1.33	c  1.1s |       5 |    11598 |     1320 |     6686      0 |      814 |      798
1.79/1.83	c  1.6s |       6 |    15486 |     2081 |     8091      0 |      814 |      798
2.99/3.09	c  2.8s |       7 |    18516 |     3223 |     8901      0 |      814 |      798
4.79/4.81	c  4.5s |       8 |    23954 |     4936 |     9792      0 |      814 |      798
6.29/6.38	c  6.1s |       9 |    33427 |     7506 |    10772      0 |      814 |      798
8.39/8.45	c  8.2s |       9 |    36749 |     9606 |    10772      0 |      814 |      798
10.39/10.48	c 10.2s |       9 |    38518 |    11306 |    11850      0 |      814 |      798
10.49/10.55	c 10.3s |      10 |    38575 |    11361 |    11850      0 |      814 |      798
12.59/12.61	c 12.3s |      10 |    43123 |    13361 |    11850      0 |      814 |      798
14.69/14.73	c 14.5s |      10 |    44988 |    14961 |    11850      0 |      814 |      798
16.69/16.79	c 16.5s |      10 |    46485 |    16261 |    11850      1 |      814 |      798
17.89/17.90	c 17.6s |      11 |    47993 |    17144 |    13036      1 |      814 |      798
19.99/20.00	c 19.7s |      11 |    57604 |    19244 |    13036      1 |      814 |      798
22.10/22.16	c 21.9s |      11 |    59405 |    20744 |    13036      1 |      814 |      798
24.20/24.28	c 24.0s |      11 |    60654 |    21844 |    13036      1 |      814 |      798
26.40/26.48	c 26.2s |      11 |    61648 |    22744 |    13036      1 |      814 |      798
28.49/28.52	c 28.2s |      11 |    62485 |    23544 |    13036      1 |      814 |      798
30.69/30.78	c 30.5s |      11 |    63198 |    24244 |    13036      2 |      814 |      798
33.00/33.05	c 32.8s |      11 |    64016 |    25044 |    13036      2 |      814 |      798
35.19/35.25	c 35.0s |      12 |    64825 |    25819 |    14340      2 |      814 |      798
37.39/37.40	c 37.1s |      12 |    71438 |    27719 |    14340      2 |      814 |      798
39.39/39.46	c 39.2s |      12 |    74086 |    29319 |    14340      2 |      814 |      798
41.59/41.63	c 41.4s |      12 |    75407 |    30419 |    14340      2 |      814 |      798
43.59/43.65	c 43.4s |      12 |    77268 |    31719 |    14340      2 |      814 |      798
45.59/45.69	c 45.4s |      12 |    78734 |    32819 |    14340      2 |      814 |      798
47.89/47.91	c 47.6s |      12 |    79850 |    33719 |    14340      3 |      814 |      798
49.89/49.99	c 49.7s |      12 |    81519 |    34819 |    14340      3 |      814 |      798
51.99/52.06	c 51.8s |      12 |    84126 |    36219 |    14340      3 |      814 |      798
54.18/54.23	c 54.0s |      12 |    85688 |    37419 |    14340      3 |      814 |      798
56.19/56.27	c 56.0s |      12 |    86938 |    38419 |    14340      3 |      814 |      798
56.98/57.04	c 56.8s |      13 |    87464 |    38832 |    15775      3 |      814 |      798
58.98/59.04	c 58.8s |      13 |    90752 |    40332 |    15775      3 |      814 |      798
61.08/61.10	c 60.8s |      13 |    92381 |    41832 |    15775      3 |      814 |      798
63.08/63.18	c 62.9s |      13 |    93927 |    43232 |    15775      3 |      814 |      798
65.18/65.20	c 64.9s |      13 |    95400 |    44332 |    15775      4 |      814 |      798
67.28/67.33	c 67.1s |      13 |    97505 |    46232 |    15775      4 |      814 |      798
69.29/69.38	c 69.1s |      13 |    98851 |    47532 |    15775      4 |      814 |      798
71.49/71.53	c 71.3s |      13 |   100209 |    48832 |    15775      4 |      814 |      798
73.58/73.61	c 73.3s |      13 |   101451 |    50032 |    15775      4 |      814 |      798
75.68/75.76	c 75.5s |      13 |   102807 |    51332 |    15775      4 |      814 |      798
77.78/77.83	c 77.6s |      13 |   103941 |    52432 |    15775      4 |      814 |      798
79.98/80.00	c 79.7s |      13 |   105060 |    53532 |    15775      4 |      814 |      798
82.08/82.14	c 81.9s |      13 |   105993 |    54432 |    15775      5 |      814 |      798
84.18/84.25	c 84.0s |      13 |   107025 |    55432 |    15775      5 |      814 |      798
86.38/86.45	c 86.2s |      13 |   108060 |    56432 |    15775      5 |      814 |      798
88.48/88.52	c 88.2s |      13 |   108984 |    57332 |    15775      5 |      814 |      798
90.58/90.62	c 90.3s |      13 |   109903 |    58232 |    17353      5 |      814 |      798
90.78/90.89	c 90.6s |      14 |   110026 |    58352 |    17353      5 |      814 |      798
92.88/92.97	c 92.7s |      14 |   117078 |    60452 |    17353      5 |      814 |      798
94.98/95.04	c 94.8s |      14 |   121685 |    62152 |    17353      5 |      814 |      798
97.08/97.12	c 96.8s |      14 |   123609 |    63752 |    17353      5 |      814 |      798
99.37/99.44	c 99.2s |      14 |   125451 |    65152 |    17353      6 |      814 |      798
101.47/101.52	c  101s |      14 |   127369 |    66552 |    17353      6 |      814 |      798
103.57/103.69	c  103s |      14 |   128840 |    67752 |    17353      6 |      814 |      798
105.87/105.93	c  105s |      14 |   130095 |    68852 |    17353      6 |      814 |      798
108.07/108.12	c  107s |      14 |   131290 |    69852 |    17353      6 |      814 |      798
110.17/110.22	c  109s |      14 |   132527 |    70852 |    17353      6 |      814 |      798
112.37/112.48	c  112s |      14 |   133538 |    71752 |    17353      6 |      814 |      798
114.57/114.60	c  114s |      14 |   134610 |    72652 |    17353      6 |      814 |      798
116.68/116.80	c  116s |      14 |   135518 |    73452 |    17353      6 |      814 |      798
118.97/119.04	c  118s |      14 |   136415 |    74252 |    17353      6 |      814 |      798
120.98/121.10	c  120s |      14 |   137175 |    74952 |    17353      6 |      814 |      798
123.37/123.42	c  123s |      14 |   137821 |    75552 |    17353      7 |      814 |      798
125.38/125.45	c  125s |      14 |   138464 |    76152 |    17353      7 |      814 |      798
127.58/127.63	c  127s |      14 |   139205 |    76852 |    17353      7 |      814 |      798
129.78/129.80	c  129s |      14 |   140101 |    77652 |    17353      7 |      814 |      798
131.77/131.82	c  131s |      14 |   140865 |    78352 |    17353      7 |      814 |      798
133.97/134.09	c  133s |      14 |   141741 |    79152 |    17353      7 |      814 |      798
136.07/136.17	c  135s |      14 |   142374 |    79752 |    17353      7 |      814 |      798
138.37/138.43	c  138s |      14 |   143135 |    80452 |    17353      7 |      814 |      798
140.37/140.44	c  140s |      14 |   143792 |    81052 |    17353      7 |      814 |      798
142.47/142.51	c  142s |      14 |   144450 |    81652 |    17353      7 |      814 |      798
144.57/144.62	c  144s |      14 |   145132 |    82252 |    17353      7 |      814 |      798
146.67/146.73	c  146s |      14 |   145946 |    82952 |    17353      7 |      814 |      798
148.87/148.99	c  148s |      14 |   146875 |    83752 |    17353      7 |      814 |      798
151.07/151.18	c  150s |      14 |   147785 |    84552 |    17353      7 |      814 |      798
153.07/153.19	c  152s |      14 |   148606 |    85252 |    17353      7 |      814 |      798
155.37/155.45	c  155s |      14 |   149371 |    85952 |    17353      7 |      814 |      798
157.47/157.59	c  157s |      14 |   150141 |    86652 |    17353      8 |      814 |      798
159.57/159.67	c  159s |      14 |   151000 |    87452 |    19089      8 |      814 |      798
160.16/160.21	c  159s |      15 |   151188 |    87632 |    19089      8 |      814 |      798
162.16/162.25	c  161s |      15 |   157855 |    89632 |    19089      8 |      814 |      798
164.26/164.37	c  164s |      15 |   161000 |    91532 |    19089      8 |      814 |      798
166.36/166.40	c  166s |      15 |   163767 |    93232 |    19089      8 |      814 |      798
168.46/168.53	c  168s |      15 |   165948 |    94732 |    19089      8 |      814 |      798
170.47/170.58	c  170s |      15 |   167513 |    95932 |    19089      8 |      814 |      798
172.67/172.72	c  172s |      15 |   168938 |    97032 |    19089      8 |      814 |      798
174.66/174.77	c  174s |      15 |   170316 |    98032 |    19089      9 |      814 |      798
176.86/176.99	c  176s |      15 |   171717 |    99132 |    19089      9 |      814 |      798
178.96/179.05	c  178s |      15 |   173076 |   100132 |    19089      9 |      814 |      798
181.06/181.10	c  180s |      15 |   174332 |   101032 |    19089      9 |      814 |      798
183.16/183.23	c  182s |      15 |   175823 |   102132 |    19089      9 |      814 |      798
185.36/185.41	c  185s |      15 |   177129 |   103132 |    19089      9 |      814 |      798
187.46/187.57	c  187s |      15 |   178280 |   104032 |    19089      9 |      814 |      798
189.46/189.59	c  189s |      15 |   179258 |   104832 |    19089      9 |      814 |      798
191.56/191.64	c  191s |      15 |   180233 |   105632 |    19089      9 |      814 |      798
193.76/193.86	c  193s |      15 |   181198 |   106432 |    19089      9 |      814 |      798
195.86/195.97	c  195s |      15 |   181975 |   107132 |    19089      9 |      814 |      798
198.06/198.12	c  197s |      15 |   182916 |   107932 |    19089      9 |      814 |      798
200.16/200.21	c  199s |      15 |   183719 |   108632 |    19089      9 |      814 |      798
202.16/202.28	c  202s |      15 |   184426 |   109232 |    19089      9 |      814 |      798
204.26/204.30	c  204s |      15 |   185109 |   109832 |    19089     10 |      814 |      798
206.26/206.37	c  206s |      15 |   186098 |   110632 |    19089     10 |      814 |      798
208.46/208.57	c  208s |      15 |   187241 |   111532 |    19089     10 |      814 |      798
210.76/210.84	c  210s |      15 |   188333 |   112432 |    19089     10 |      814 |      798
212.75/212.88	c  212s |      15 |   189151 |   113132 |    19089     10 |      814 |      798
214.75/214.89	c  214s |      15 |   189857 |   113732 |    19089     10 |      814 |      798
216.85/216.99	c  216s |      15 |   190719 |   114432 |    19089     10 |      814 |      798
219.05/219.17	c  218s |      15 |   191577 |   115132 |    19089     10 |      814 |      798
221.25/221.37	c  221s |      15 |   192441 |   115832 |    19089     10 |      814 |      798
223.36/223.45	c  223s |      15 |   193253 |   116532 |    19089     10 |      814 |      798
225.46/225.59	c  225s |      15 |   193956 |   117132 |    19089     10 |      814 |      798
227.76/227.87	c  227s |      15 |   194756 |   117832 |    19089     10 |      814 |      798
230.15/230.21	c  229s |      15 |   195442 |   118432 |    19089     10 |      814 |      798
232.45/232.51	c  232s |      15 |   196134 |   119032 |    19089     10 |      814 |      798
234.65/234.74	c  234s |      15 |   196806 |   119632 |    19089     10 |      814 |      798
236.75/236.86	c  236s |      15 |   197388 |   120132 |    19089     10 |      814 |      798
238.95/239.02	c  238s |      15 |   198131 |   120732 |    19089     11 |      814 |      798
240.97/241.07	c  240s |      15 |   199083 |   121532 |    19089     11 |      814 |      798
243.07/243.18	c  242s |      15 |   200358 |   122532 |    19089     11 |      814 |      798
245.06/245.19	c  244s |      15 |   201461 |   123432 |    19089     11 |      814 |      798
247.26/247.37	c  247s |      15 |   202569 |   124332 |    19089     11 |      814 |      798
249.46/249.58	c  249s |      15 |   203553 |   125132 |    19089     11 |      814 |      798
251.66/251.76	c  251s |      15 |   204522 |   125932 |    19089     11 |      814 |      798
253.66/253.78	c  253s |      15 |   205392 |   126632 |    19089     11 |      814 |      798
255.76/255.85	c  255s |      15 |   206222 |   127332 |    19089     11 |      814 |      798
257.86/257.92	c  257s |      15 |   207110 |   128032 |    19089     11 |      814 |      798
259.86/259.93	c  259s |      15 |   207962 |   128732 |    19089     11 |      814 |      798
261.96/262.04	c  261s |      15 |   208775 |   129432 |    19089     11 |      814 |      798
264.25/264.31	c  264s |      15 |   209793 |   130232 |    19089     11 |      814 |      798
266.45/266.54	c  266s |      15 |   210744 |   131032 |    20998     11 |      814 |      798
267.85/267.94	c  267s |      16 |   211374 |   131552 |    20998     11 |      814 |      798
269.95/270.00	c  269s |      16 |   214398 |   132752 |    20998     12 |      814 |      798
271.95/272.04	c  271s |      16 |   216667 |   134752 |    20998     12 |      814 |      798
273.96/274.07	c  273s |      16 |   218539 |   136452 |    20998     12 |      814 |      798
275.95/276.08	c  275s |      16 |   220517 |   138152 |    20998     12 |      814 |      798
278.05/278.15	c  277s |      16 |   222201 |   139652 |    20998     12 |      814 |      798
280.15/280.23	c  279s |      16 |   223628 |   140952 |    20998     12 |      814 |      798
282.25/282.31	c  282s |      16 |   224917 |   142152 |    20998     12 |      814 |      798
284.35/284.49	c  284s |      16 |   226203 |   143352 |    20998     12 |      814 |      798
286.55/286.64	c  286s |      16 |   227507 |   144552 |    20998     12 |      814 |      798
288.65/288.72	c  288s |      16 |   232771 |   146352 |    20998     13 |      814 |      798
290.65/290.74	c  290s |      16 |   234758 |   147952 |    20998     13 |      814 |      798
292.75/292.85	c  292s |      16 |   237845 |   149652 |    20998     13 |      814 |      798
294.76/294.90	c  294s |      16 |   239552 |   151052 |    20998     13 |      814 |      798
296.85/296.99	c  296s |      16 |   241149 |   152352 |    20998     13 |      814 |      798
298.95/299.00	c  298s |      16 |   242672 |   153552 |    20998     13 |      814 |      798
301.15/301.22	c  300s |      16 |   243942 |   154652 |    20998     13 |      814 |      798
303.25/303.36	c  303s |      16 |   245410 |   155752 |    20998     13 |      814 |      798
305.25/305.36	c  305s |      16 |   246315 |   156552 |    20998     13 |      814 |      798
307.25/307.37	c  307s |      16 |   246956 |   157152 |    20998     14 |      814 |      798
309.35/309.40	c  309s |      16 |   247857 |   157952 |    20998     14 |      814 |      798
311.45/311.55	c  311s |      16 |   248745 |   158752 |    20998     14 |      814 |      798
313.55/313.62	c  313s |      16 |   249652 |   159552 |    20998     14 |      814 |      798
315.65/315.78	c  315s |      16 |   250413 |   160252 |    20998     14 |      814 |      798
317.85/317.94	c  317s |      16 |   251340 |   161052 |    20998     14 |      814 |      798
319.84/319.97	c  319s |      16 |   252149 |   161752 |    20998     14 |      814 |      798
321.94/322.06	c  321s |      16 |   252811 |   162352 |    20998     14 |      814 |      798
323.94/324.06	c  323s |      16 |   253501 |   162952 |    20998     14 |      814 |      798
326.24/326.37	c  326s |      16 |   254267 |   163652 |    20998     14 |      814 |      798
328.44/328.58	c  328s |      16 |   255049 |   164352 |    20998     14 |      814 |      798
330.54/330.69	c  330s |      16 |   255715 |   164952 |    20998     14 |      814 |      798
332.84/332.91	c  332s |      16 |   256354 |   165552 |    20998     14 |      814 |      798
334.94/335.04	c  334s |      16 |   256998 |   166152 |    20998     14 |      814 |      798
336.94/337.05	c  336s |      16 |   257533 |   166652 |    20998     14 |      814 |      798
339.04/339.15	c  338s |      16 |   258211 |   167252 |    20998     14 |      814 |      798
341.14/341.21	c  340s |      16 |   258750 |   167752 |    20998     14 |      814 |      798
343.44/343.57	c  343s |      16 |   259387 |   168352 |    20998     14 |      814 |      798
345.74/345.83	c  345s |      16 |   260086 |   168952 |    20998     14 |      814 |      798
347.84/347.93	c  347s |      16 |   260789 |   169552 |    20998     15 |      814 |      798
349.94/350.02	c  349s |      16 |   261718 |   170352 |    20998     15 |      814 |      798
352.04/352.19	c  351s |      16 |   262635 |   171152 |    20998     15 |      814 |      798
354.24/354.33	c  354s |      16 |   263566 |   171952 |    20998     15 |      814 |      798
356.34/356.44	c  356s |      16 |   264617 |   172852 |    20998     15 |      814 |      798
358.64/358.71	c  358s |      16 |   265691 |   173752 |    20998     15 |      814 |      798
360.64/360.75	c  360s |      16 |   266495 |   174452 |    20998     15 |      814 |      798
362.84/362.91	c  362s |      16 |   267447 |   175252 |    20998     15 |      814 |      798
365.04/365.13	c  364s |      16 |   268363 |   176052 |    20998     15 |      814 |      798
367.14/367.21	c  366s |      16 |   269025 |   176652 |    20998     15 |      814 |      798
369.43/369.51	c  369s |      16 |   269815 |   177352 |    20998     15 |      814 |      798
371.53/371.65	c  371s |      16 |   270619 |   178052 |    20998     15 |      814 |      798
373.73/373.82	c  373s |      16 |   271486 |   178752 |    20998     15 |      814 |      798
375.73/375.88	c  375s |      16 |   272166 |   179352 |    20998     15 |      814 |      798
377.83/377.97	c  377s |      16 |   272835 |   179952 |    20998     15 |      814 |      798
380.03/380.15	c  379s |      16 |   273506 |   180552 |    20998     15 |      814 |      798
382.23/382.30	c  382s |      16 |   274176 |   181152 |    20998     15 |      814 |      798
384.43/384.50	c  384s |      16 |   274728 |   181652 |    20998     16 |      814 |      798
386.43/386.58	c  386s |      16 |   276388 |   182652 |    20998     16 |      814 |      798
388.53/388.66	c  388s |      16 |   280907 |   184452 |    20998     16 |      814 |      798
390.63/390.76	c  390s |      16 |   282795 |   185652 |    20998     16 |      814 |      798
392.74/392.88	c  392s |      16 |   284174 |   186752 |    20998     16 |      814 |      798
394.94/395.02	c  394s |      16 |   285847 |   187752 |    20998     16 |      814 |      798
396.93/397.10	c  396s |      16 |   287461 |   188952 |    20998     16 |      814 |      798
399.03/399.18	c  398s |      16 |   288814 |   189952 |    20998     16 |      814 |      798
401.33/401.43	c  401s |      16 |   290209 |   190952 |    20998     16 |      814 |      798
403.43/403.52	c  403s |      16 |   291442 |   191852 |    20998     16 |      814 |      798
405.63/405.74	c  405s |      16 |   292475 |   192652 |    20998     16 |      814 |      798
407.63/407.77	c  407s |      16 |   293394 |   193352 |    20998     16 |      814 |      798
409.72/409.84	c  409s |      16 |   294491 |   194152 |    20998     17 |      814 |      798
411.72/411.85	c  411s |      16 |   295667 |   195052 |    20998     17 |      814 |      798
414.12/414.21	c  413s |      16 |   296737 |   195952 |    20998     17 |      814 |      798
416.23/416.38	c  416s |      16 |   297578 |   196652 |    23098     17 |      814 |      798
418.43/418.56	c  418s |      17 |   298517 |   197432 |    23098     17 |      814 |      798
420.42/420.57	c  420s |      17 |   304826 |   199332 |    23098     17 |      814 |      798
422.52/422.67	c  422s |      17 |   308257 |   201232 |    23098     17 |      814 |      798
424.72/424.80	c  424s |      17 |   310235 |   202632 |    23098     17 |      814 |      798
426.83/426.93	c  426s |      17 |   312210 |   203932 |    23098     17 |      814 |      798
428.93/429.05	c  428s |      17 |   314441 |   205332 |    23098     17 |      814 |      798
431.13/431.26	c  430s |      17 |   315903 |   206432 |    23098     17 |      814 |      798
433.22/433.31	c  433s |      17 |   317065 |   207332 |    23098     17 |      814 |      798
435.32/435.41	c  435s |      17 |   317924 |   208032 |    23098     18 |      814 |      798
437.32/437.49	c  437s |      17 |   318931 |   208832 |    23098     18 |      814 |      798
439.62/439.75	c  439s |      17 |   319832 |   209632 |    23098     18 |      814 |      798
441.72/441.86	c  441s |      17 |   320955 |   210532 |    23098     18 |      814 |      798
443.82/443.94	c  443s |      17 |   321815 |   211232 |    23098     18 |      814 |      798
446.02/446.11	c  445s |      17 |   322697 |   211932 |    23098     18 |      814 |      798
448.22/448.32	c  448s |      17 |   323719 |   212732 |    23098     18 |      814 |      798
450.32/450.45	c  450s |      17 |   324428 |   213332 |    23098     18 |      814 |      798
452.42/452.54	c  452s |      17 |   325258 |   214032 |    23098     18 |      814 |      798
454.72/454.89	c  454s |      17 |   326096 |   214732 |    23098     18 |      814 |      798
456.92/457.07	c  456s |      17 |   326820 |   215332 |    23098     18 |      814 |      798
459.12/459.27	c  458s |      17 |   327849 |   216132 |    23098     18 |      814 |      798
461.32/461.47	c  461s |      17 |   328724 |   216832 |    23098     18 |      814 |      798
463.52/463.66	c  463s |      17 |   329788 |   217632 |    23098     18 |      814 |      798
465.62/465.77	c  465s |      17 |   330674 |   218332 |    23098     18 |      814 |      798
467.71/467.84	c  467s |      17 |   331367 |   218932 |    23098     18 |      814 |      798
469.81/469.97	c  469s |      17 |   332068 |   219532 |    23098     18 |      814 |      798
472.11/472.23	c  471s |      17 |   332882 |   220232 |    23098     18 |      814 |      798
474.41/474.58	c  474s |      17 |   333538 |   220832 |    23098     18 |      814 |      798
476.61/476.79	c  476s |      17 |   334105 |   221332 |    23098     19 |      814 |      798
478.81/478.97	c  478s |      17 |   335128 |   222132 |    23098     19 |      814 |      798
481.01/481.14	c  480s |      17 |   336056 |   222932 |    23098     19 |      814 |      798
483.12/483.22	c  482s |      17 |   336880 |   223632 |    23098     19 |      814 |      798
485.42/485.53	c  485s |      17 |   337646 |   224332 |    23098     19 |      814 |      798
487.62/487.70	c  487s |      17 |   338450 |   225032 |    23098     19 |      814 |      798
489.62/489.70	c  489s |      17 |   339141 |   225632 |    23098     19 |      814 |      798
491.82/491.92	c  491s |      17 |   339829 |   226232 |    23098     19 |      814 |      798
493.93/494.03	c  493s |      17 |   340514 |   226832 |    23098     19 |      814 |      798
496.13/496.23	c  495s |      17 |   341209 |   227432 |    23098     19 |      814 |      798
498.23/498.38	c  498s |      17 |   341760 |   227932 |    23098     19 |      814 |      798
500.32/500.48	c  500s |      17 |   342304 |   228432 |    23098     19 |      814 |      798
502.42/502.53	c  502s |      17 |   342859 |   228932 |    23098     19 |      814 |      798
504.72/504.85	c  504s |      17 |   343607 |   229532 |    23098     19 |      814 |      798
506.92/507.10	c  506s |      17 |   345045 |   230432 |    23098     19 |      814 |      798
509.02/509.15	c  508s |      17 |   345963 |   231132 |    23098     19 |      814 |      798
511.22/511.36	c  511s |      17 |   347036 |   231932 |    23098     19 |      814 |      798
513.22/513.37	c  513s |      17 |   347729 |   232532 |    23098     19 |      814 |      798
515.52/515.67	c  515s |      17 |   348903 |   233332 |    23098     19 |      814 |      798
517.62/517.71	c  517s |      17 |   350190 |   234132 |    23098     19 |      814 |      798
519.71/519.84	c  519s |      17 |   351010 |   234732 |    23098     20 |      814 |      798
521.81/521.98	c  521s |      17 |   352217 |   235632 |    23098     20 |      814 |      798
524.01/524.18	c  523s |      17 |   353131 |   236432 |    23098     20 |      814 |      798
526.21/526.35	c  526s |      17 |   354199 |   237232 |    23098     20 |      814 |      798
528.31/528.44	c  528s |      17 |   355102 |   237932 |    23098     20 |      814 |      798
530.41/530.58	c  530s |      17 |   356011 |   238632 |    23098     20 |      814 |      798
532.71/532.85	c  532s |      17 |   356890 |   239332 |    23098     20 |      814 |      798
534.91/535.04	c  534s |      17 |   357907 |   240132 |    23098     20 |      814 |      798
537.21/537.36	c  537s |      17 |   358972 |   240932 |    23098     20 |      814 |      798
539.51/539.64	c  539s |      17 |   359799 |   241632 |    23098     20 |      814 |      798
541.51/541.69	c  541s |      17 |   360520 |   242232 |    23098     20 |      814 |      798
543.61/543.73	c  543s |      17 |   361245 |   242832 |    23098     20 |      814 |      798
546.01/546.13	c  545s |      17 |   362105 |   243532 |    23098     20 |      814 |      798
548.21/548.39	c  548s |      17 |   362788 |   244132 |    23098     20 |      814 |      798
550.51/550.66	c  550s |      17 |   363495 |   244732 |    23098     20 |      814 |      798
552.61/552.70	c  552s |      17 |   364313 |   245332 |    23098     20 |      814 |      798
554.70/554.89	c  554s |      17 |   365038 |   245932 |    23098     20 |      814 |      798
557.00/557.19	c  556s |      17 |   365758 |   246532 |    23098     20 |      814 |      798
559.30/559.45	c  559s |      17 |   366525 |   247132 |    23098     20 |      814 |      798
561.60/561.71	c  561s |      17 |   367117 |   247632 |    23098     21 |      814 |      798
563.80/563.93	c  563s |      17 |   368092 |   248432 |    23098     21 |      814 |      798
566.00/566.13	c  565s |      17 |   369007 |   249232 |    23098     21 |      814 |      798
568.10/568.27	c  567s |      17 |   370018 |   250032 |    23098     21 |      814 |      798
570.20/570.37	c  570s |      17 |   370836 |   250732 |    23098     21 |      814 |      798
572.30/572.44	c  572s |      17 |   371854 |   251532 |    23098     21 |      814 |      798
574.40/574.51	c  574s |      17 |   373042 |   252432 |    23098     21 |      814 |      798
576.41/576.55	c  576s |      17 |   373918 |   253132 |    23098     21 |      814 |      798
578.70/578.80	c  578s |      17 |   374873 |   253932 |    23098     21 |      814 |      798
580.81/580.91	c  580s |      17 |   375697 |   254632 |    23098     21 |      814 |      798
583.01/583.15	c  582s |      17 |   376521 |   255332 |    23098     21 |      814 |      798
585.11/585.23	c  584s |      17 |   377270 |   255932 |    23098     21 |      814 |      798
587.41/587.52	c  587s |      17 |   378141 |   256632 |    23098     21 |      814 |      798
589.61/589.75	c  589s |      17 |   378973 |   257332 |    23098     21 |      814 |      798
591.71/591.87	c  591s |      17 |   379725 |   257932 |    23098     21 |      814 |      798
593.80/593.92	c  593s |      17 |   380254 |   258432 |    23098     21 |      814 |      798
595.90/596.02	c  595s |      17 |   380828 |   258932 |    23098     21 |      814 |      798
598.10/598.20	c  597s |      17 |   381406 |   259432 |    23098     21 |      814 |      798
600.09/600.29	c  600s |      17 |   382113 |   260032 |    23098     21 |      814 |      798
602.19/602.31	c  602s |      17 |   382691 |   260532 |    23098     21 |      814 |      798
604.19/604.34	c  604s |      17 |   383152 |   260932 |    23098     22 |      814 |      798
606.39/606.58	c  606s |      17 |   383979 |   261632 |    23098     22 |      814 |      798
608.49/608.62	c  608s |      17 |   384963 |   262432 |    23098     22 |      814 |      798
610.70/610.84	c  610s |      17 |   385924 |   263232 |    23098     22 |      814 |      798
612.71/612.86	c  612s |      17 |   386773 |   263932 |    23098     22 |      814 |      798
614.70/614.90	c  614s |      17 |   387690 |   264632 |    23098     22 |      814 |      798
617.11/617.21	c  616s |      17 |   388683 |   265432 |    23098     22 |      814 |      798
619.10/619.29	c  619s |      17 |   389500 |   266132 |    23098     22 |      814 |      798
621.41/621.52	c  621s |      17 |   390323 |   266832 |    23098     22 |      814 |      798
623.40/623.57	c  623s |      17 |   390883 |   267332 |    23098     22 |      814 |      798
625.70/625.83	c  625s |      17 |   391559 |   267932 |    23098     22 |      814 |      798
628.00/628.12	c  627s |      17 |   392231 |   268532 |    23098     22 |      814 |      798
630.00/630.16	c  629s |      17 |   392927 |   269132 |    23098     22 |      814 |      798
632.00/632.17	c  631s |      17 |   393614 |   269732 |    23098     22 |      814 |      798
634.10/634.22	c  633s |      17 |   394279 |   270332 |    23098     22 |      814 |      798
636.20/636.37	c  636s |      17 |   394946 |   270932 |    23098     22 |      814 |      798
638.59/638.70	c  638s |      17 |   395756 |   271632 |    23098     22 |      814 |      798
640.69/640.81	c  640s |      17 |   396317 |   272132 |    23098     22 |      814 |      798
642.79/642.90	c  642s |      17 |   396868 |   272632 |    23098     22 |      814 |      798
644.79/644.93	c  644s |      17 |   397456 |   273132 |    23098     22 |      814 |      798
646.80/647.00	c  646s |      17 |   398022 |   273632 |    23098     22 |      814 |      798
649.00/649.18	c  648s |      17 |   398472 |   274032 |    23098     23 |      814 |      798
651.20/651.34	c  651s |      17 |   399135 |   274632 |    23098     23 |      814 |      798
653.40/653.51	c  653s |      17 |   399790 |   275232 |    23098     23 |      814 |      798
655.60/655.78	c  655s |      17 |   400603 |   275932 |    23098     23 |      814 |      798
657.59/657.79	c  657s |      17 |   401254 |   276532 |    23098     23 |      814 |      798
659.79/659.93	c  659s |      17 |   401926 |   277132 |    23098     23 |      814 |      798
661.79/661.94	c  661s |      17 |   402621 |   277732 |    23098     23 |      814 |      798
664.09/664.30	c  664s |      17 |   403277 |   278332 |    23098     23 |      814 |      798
666.29/666.48	c  666s |      17 |   403817 |   278832 |    23098     23 |      814 |      798
668.49/668.67	c  668s |      17 |   404502 |   279432 |    23098     23 |      814 |      798
670.59/670.76	c  670s |      17 |   405106 |   279932 |    23098     23 |      814 |      798
672.69/672.89	c  672s |      17 |   405930 |   280632 |    23098     23 |      814 |      798
675.09/675.21	c  674s |      17 |   406793 |   281332 |    23098     23 |      814 |      798
677.19/677.39	c  677s |      17 |   407539 |   281932 |    23098     23 |      814 |      798
679.49/679.66	c  679s |      17 |   408206 |   282532 |    23098     23 |      814 |      798
681.59/681.73	c  681s |      17 |   408932 |   283132 |    23098     23 |      814 |      798
683.89/684.06	c  683s |      17 |   409586 |   283732 |    23098     23 |      814 |      798
686.18/686.38	c  686s |      17 |   410240 |   284332 |    23098     23 |      814 |      798
688.49/688.69	c  688s |      17 |   410920 |   284932 |    23098     23 |      814 |      798
690.88/691.08	c  690s |      17 |   411597 |   285532 |    23098     23 |      814 |      798
693.08/693.26	c  692s |      17 |   412132 |   286032 |    23098     23 |      814 |      798
695.09/695.29	c  695s |      17 |   412722 |   286532 |    23098     23 |      814 |      798
697.18/697.33	c  697s |      17 |   413281 |   287032 |    23098     23 |      814 |      798
699.38/699.54	c  699s |      17 |   413843 |   287532 |    23098     24 |      814 |      798
701.38/701.56	c  701s |      17 |   414589 |   288132 |    23098     24 |      814 |      798
703.58/703.72	c  703s |      17 |   415270 |   288732 |    23098     24 |      814 |      798
705.78/705.96	c  705s |      17 |   415918 |   289332 |    23098     24 |      814 |      798
708.18/708.30	c  708s |      17 |   416576 |   289932 |    23098     24 |      814 |      798
710.38/710.50	c  710s |      17 |   417243 |   290532 |    23098     24 |      814 |      798
712.48/712.64	c  712s |      17 |   417920 |   291132 |    23098     24 |      814 |      798
714.78/714.94	c  714s |      17 |   418614 |   291732 |    23098     24 |      814 |      798
717.08/717.21	c  716s |      17 |   419277 |   292332 |    23098     24 |      814 |      798
719.18/719.30	c  719s |      17 |   419832 |   292832 |    23098     24 |      814 |      798
721.28/721.42	c  721s |      17 |   420365 |   293332 |    23098     24 |      814 |      798
723.58/723.78	c  723s |      17 |   421027 |   293932 |    23098     24 |      814 |      798
725.68/725.82	c  725s |      17 |   421573 |   294432 |    25408     24 |      814 |      798
727.77/727.98	c  727s |      17 |   422119 |   294932 |    25408     24 |      814 |      798
730.07/730.20	c  729s |      17 |   422652 |   295432 |    25408     24 |      814 |      798
732.48/732.61	c  732s |      17 |   423172 |   295932 |    25408     24 |      814 |      798
733.87/734.04	c  733s |      18 |   423535 |   296252 |    25408     24 |      814 |      798
735.88/736.06	c  735s |      18 |   430827 |   298252 |    25408     24 |      814 |      798
737.97/738.11	c  737s |      18 |   432987 |   299952 |    25408     24 |      814 |      798
740.07/740.20	c  739s |      18 |   434488 |   301252 |    25408     24 |      814 |      798
742.18/742.37	c  742s |      18 |   435823 |   302452 |    25408     24 |      814 |      798
744.17/744.39	c  744s |      18 |   436606 |   303152 |    25408     25 |      814 |      798
746.27/746.49	c  746s |      18 |   438023 |   304352 |    25408     25 |      814 |      798
748.37/748.50	c  748s |      18 |   439157 |   305352 |    25408     25 |      814 |      798
750.37/750.55	c  750s |      18 |   440132 |   306252 |    25408     25 |      814 |      798
752.47/752.61	c  752s |      18 |   441138 |   307152 |    25408     25 |      814 |      798
754.67/754.82	c  754s |      18 |   442172 |   308052 |    25408     25 |      814 |      798
756.78/756.95	c  756s |      18 |   443245 |   308952 |    25408     25 |      814 |      798
758.97/759.15	c  758s |      18 |   444260 |   309852 |    25408     25 |      814 |      798
760.96/761.18	c  760s |      18 |   445119 |   310652 |    25408     25 |      814 |      798
763.16/763.33	c  763s |      18 |   446100 |   311552 |    25408     25 |      814 |      798
765.26/765.48	c  765s |      18 |   446992 |   312352 |    25408     25 |      814 |      798
767.36/767.58	c  767s |      18 |   447987 |   313152 |    25408     25 |      814 |      798
769.56/769.76	c  769s |      18 |   449080 |   314052 |    25408     25 |      814 |      798
771.76/771.93	c  771s |      18 |   449965 |   314852 |    25408     25 |      814 |      798
773.76/773.97	c  773s |      18 |   450756 |   315552 |    25408     25 |      814 |      798
775.96/776.16	c  775s |      18 |   451506 |   316252 |    25408     25 |      814 |      798
777.95/778.19	c  777s |      18 |   452122 |   316852 |    25408     25 |      814 |      798
780.05/780.23	c  779s |      18 |   452664 |   317352 |    25408     26 |      814 |      798
782.35/782.51	c  782s |      18 |   453560 |   318152 |    25408     26 |      814 |      798
784.35/784.53	c  784s |      18 |   454324 |   318852 |    25408     26 |      814 |      798
786.65/786.85	c  786s |      18 |   455500 |   319752 |    25408     26 |      814 |      798
788.85/789.01	c  788s |      18 |   456475 |   320552 |    25408     26 |      814 |      798
790.95/791.19	c  790s |      18 |   457271 |   321252 |    25408     26 |      814 |      798
793.15/793.34	c  793s |      18 |   458081 |   321952 |    25408     26 |      814 |      798
795.45/795.65	c  795s |      18 |   458952 |   322752 |    25408     26 |      814 |      798
797.45/797.69	c  797s |      18 |   459633 |   323352 |    25408     26 |      814 |      798
799.65/799.88	c  799s |      18 |   460282 |   323952 |    25408     26 |      814 |      798
801.75/801.99	c  801s |      18 |   460956 |   324552 |    25408     26 |      814 |      798
804.05/804.27	c  803s |      18 |   461726 |   325252 |    25408     26 |      814 |      798
806.25/806.50	c  806s |      18 |   462485 |   325952 |    25408     26 |      814 |      798
808.35/808.58	c  808s |      18 |   463152 |   326552 |    25408     26 |      814 |      798
810.44/810.64	c  810s |      18 |   463822 |   327152 |    25408     26 |      814 |      798
812.64/812.89	c  812s |      18 |   464616 |   327852 |    25408     26 |      814 |      798
814.95/815.19	c  814s |      18 |   465454 |   328552 |    25408     26 |      814 |      798
817.15/817.35	c  817s |      18 |   466121 |   329152 |    25408     26 |      814 |      798
819.44/819.62	c  819s |      18 |   466756 |   329752 |    25408     26 |      814 |      798
821.54/821.79	c  821s |      18 |   467438 |   330352 |    25408     26 |      814 |      798
823.74/823.98	c  823s |      18 |   468088 |   330952 |    25408     26 |      814 |      798
825.84/826.07	c  825s |      18 |   468634 |   331452 |    25408     26 |      814 |      798
828.14/828.36	c  828s |      18 |   469162 |   331952 |    25408     27 |      814 |      798
830.23/830.42	c  830s |      18 |   469820 |   332552 |    25408     27 |      814 |      798
832.54/832.78	c  832s |      18 |   470557 |   333252 |    25408     27 |      814 |      798
834.84/835.04	c  834s |      18 |   471357 |   333952 |    25408     27 |      814 |      798
837.04/837.22	c  836s |      18 |   472145 |   334652 |    25408     27 |      814 |      798
839.13/839.34	c  839s |      18 |   472794 |   335252 |    25408     27 |      814 |      798
841.23/841.48	c  841s |      18 |   473449 |   335852 |    25408     27 |      814 |      798
843.53/843.77	c  843s |      18 |   474289 |   336552 |    25408     27 |      814 |      798
845.63/845.86	c  845s |      18 |   474981 |   337152 |    25408     27 |      814 |      798
847.82/848.05	c  847s |      18 |   475672 |   337752 |    25408     27 |      814 |      798
849.92/850.17	c  849s |      18 |   476362 |   338352 |    25408     27 |      814 |      798
852.12/852.33	c  852s |      18 |   477028 |   338952 |    25408     27 |      814 |      798
854.42/854.66	c  854s |      18 |   477709 |   339552 |    25408     27 |      814 |      798
856.42/856.66	c  856s |      18 |   478235 |   340052 |    25408     27 |      814 |      798
858.72/858.97	c  858s |      18 |   478904 |   340652 |    25408     27 |      814 |      798
860.92/861.12	c  860s |      18 |   479454 |   341152 |    25408     27 |      814 |      798
863.33/863.51	c  863s |      18 |   479985 |   341652 |    25408     27 |      814 |      798
865.42/865.64	c  865s |      18 |   480531 |   342152 |    25408     27 |      814 |      798
867.73/867.92	c  867s |      18 |   481063 |   342652 |    25408     27 |      814 |      798
870.22/870.42	c  870s |      18 |   481582 |   343152 |    25408     27 |      814 |      798
872.62/872.89	c  872s |      18 |   482109 |   343652 |    25408     27 |      814 |      798
875.02/875.24	c  874s |      18 |   482636 |   344152 |    25408     27 |      814 |      798
877.51/877.72	c  877s |      18 |   483169 |   344652 |    25408     27 |      814 |      798
880.01/880.23	c  879s |      18 |   483703 |   345152 |    25408     27 |      814 |      798
882.21/882.42	c  882s |      18 |   484268 |   345652 |    25408     27 |      814 |      798
884.32/884.51	c  884s |      18 |   484720 |   346052 |    25408     28 |      814 |      798
886.61/886.83	c  886s |      18 |   485493 |   346752 |    25408     28 |      814 |      798
888.81/889.00	c  888s |      18 |   486128 |   347352 |    25408     28 |      814 |      798
891.01/891.23	c  890s |      18 |   486898 |   348052 |    25408     28 |      814 |      798
893.02/893.30	c  893s |      18 |   487556 |   348652 |    25408     28 |      814 |      798
895.21/895.44	c  895s |      18 |   488197 |   349252 |    25408     28 |      814 |      798
897.41/897.68	c  897s |      18 |   488855 |   349852 |    25408     28 |      814 |      798
899.71/899.95	c  899s |      18 |   489397 |   350352 |    25408     28 |      814 |      798
901.70/901.97	c  901s |      18 |   489962 |   350852 |    25408     28 |      814 |      798
903.90/904.13	c  903s |      18 |   490639 |   351452 |    25408     28 |      814 |      798
905.90/906.18	c  905s |      18 |   491314 |   352052 |    25408     28 |      814 |      798
908.20/908.43	c  908s |      18 |   491974 |   352652 |    25408     28 |      814 |      798
910.50/910.80	c  910s |      18 |   492626 |   353252 |    25408     28 |      814 |      798
912.90/913.14	c  912s |      18 |   493266 |   353852 |    25408     28 |      814 |      798
915.10/915.39	c  915s |      18 |   494075 |   354552 |    25408     28 |      814 |      798
917.20/917.47	c  917s |      18 |   494764 |   355152 |    25408     28 |      814 |      798
919.29/919.56	c  919s |      18 |   495288 |   355652 |    25408     28 |      814 |      798
921.70/921.98	c  921s |      18 |   495914 |   356252 |    25408     28 |      814 |      798
923.99/924.23	c  923s |      18 |   496425 |   356752 |    25408     28 |      814 |      798
926.11/926.37	c  926s |      18 |   496943 |   357252 |    25408     28 |      814 |      798
928.39/928.65	c  928s |      18 |   497559 |   357852 |    25408     28 |      814 |      798
930.79/931.02	c  930s |      18 |   498223 |   358452 |    25408     28 |      814 |      798
932.79/933.03	c  932s |      18 |   498776 |   358952 |    25408     28 |      814 |      798
934.99/935.25	c  934s |      18 |   499323 |   359452 |    25408     28 |      814 |      798
937.19/937.45	c  937s |      18 |   499883 |   359952 |    25408     28 |      814 |      798
939.39/939.68	c  939s |      18 |   500320 |   360352 |    25408     29 |      814 |      798
941.69/941.97	c  941s |      18 |   501138 |   361052 |    25408     29 |      814 |      798
943.79/944.02	c  943s |      18 |   501826 |   361652 |    25408     29 |      814 |      798
945.90/946.11	c  945s |      18 |   502484 |   362252 |    25408     29 |      814 |      798
948.09/948.36	c  948s |      18 |   503108 |   362852 |    25408     29 |      814 |      798
950.19/950.49	c  950s |      18 |   503776 |   363452 |    25408     29 |      814 |      798
952.49/952.72	c  952s |      18 |   504442 |   364052 |    25408     29 |      814 |      798
954.78/955.03	c  954s |      18 |   505091 |   364652 |    25408     29 |      814 |      798
956.89/957.14	c  956s |      18 |   505761 |   365252 |    25408     29 |      814 |      798
958.87/959.17	c  958s |      18 |   506302 |   365752 |    25408     29 |      814 |      798
961.18/961.44	c  961s |      18 |   506975 |   366352 |    25408     29 |      814 |      798
963.48/963.71	c  963s |      18 |   507614 |   366952 |    25408     29 |      814 |      798
965.68/965.92	c  965s |      18 |   508272 |   367552 |    25408     29 |      814 |      798
967.77/968.00	c  967s |      18 |   508913 |   368152 |    25408     29 |      814 |      798
969.86/970.13	c  969s |      18 |   509475 |   368652 |    25408     29 |      814 |      798
972.17/972.47	c  972s |      18 |   510140 |   369252 |    25408     29 |      814 |      798
974.47/974.77	c  974s |      18 |   510783 |   369852 |    25408     29 |      814 |      798
976.86/977.13	c  976s |      18 |   511438 |   370452 |    25408     29 |      814 |      798
978.86/979.17	c  978s |      18 |   511992 |   370952 |    25408     29 |      814 |      798
981.26/981.56	c  981s |      18 |   512694 |   371552 |    25408     29 |      814 |      798
983.26/983.58	c  983s |      18 |   513250 |   372052 |    25408     29 |      814 |      798
985.56/985.81	c  985s |      18 |   513831 |   372552 |    25408     29 |      814 |      798
987.56/987.85	c  987s |      18 |   514439 |   373052 |    25408     29 |      814 |      798
989.95/990.27	c  989s |      18 |   514997 |   373552 |    25408     29 |      814 |      798
992.06/992.38	c  992s |      18 |   515446 |   373952 |    25408     29 |      814 |      798
994.16/994.44	c  994s |      18 |   515885 |   374352 |    25408     29 |      814 |      798
996.65/996.93	c  996s |      18 |   516325 |   374752 |    25408     30 |      814 |      798
998.95/999.21	c  998s |      18 |   517104 |   375452 |    25408     30 |      814 |      798
1001.15/1001.41	c 1001s |      18 |   517755 |   376052 |    25408     30 |      814 |      798
1003.25/1003.52	c 1003s |      18 |   518425 |   376652 |    25408     30 |      814 |      798
1005.45/1005.75	c 1005s |      18 |   519085 |   377252 |    25408     30 |      814 |      798
1007.74/1008.02	c 1007s |      18 |   519738 |   377852 |    25408     30 |      814 |      798
1009.74/1010.06	c 1009s |      18 |   520266 |   378352 |    25408     30 |      814 |      798
1012.14/1012.42	c 1012s |      18 |   520908 |   378952 |    25408     30 |      814 |      798
1014.44/1014.76	c 1014s |      18 |   521562 |   379552 |    25408     30 |      814 |      798
1016.84/1017.14	c 1016s |      18 |   522232 |   380152 |    25408     30 |      814 |      798
1019.23/1019.51	c 1019s |      18 |   522856 |   380752 |    25408     30 |      814 |      798
1021.43/1021.71	c 1021s |      18 |   523536 |   381352 |    25408     30 |      814 |      798
1023.73/1024.04	c 1023s |      18 |   524212 |   381952 |    25408     30 |      814 |      798
1025.73/1026.05	c 1025s |      18 |   524894 |   382552 |    25408     30 |      814 |      798
1027.92/1028.25	c 1027s |      18 |   525603 |   383152 |    25408     30 |      814 |      798
1030.02/1030.37	c 1030s |      18 |   526149 |   383652 |    25408     30 |      814 |      798
1032.32/1032.68	c 1032s |      18 |   526809 |   384252 |    25408     30 |      814 |      798
1034.42/1034.78	c 1034s |      18 |   527397 |   384752 |    25408     30 |      814 |      798
1036.62/1036.91	c 1036s |      18 |   527962 |   385252 |    25408     30 |      814 |      798
1039.02/1039.37	c 1039s |      18 |   528671 |   385852 |    25408     30 |      814 |      798
1041.12/1041.40	c 1041s |      18 |   529220 |   386352 |    25408     30 |      814 |      798
1043.22/1043.57	c 1043s |      18 |   529922 |   386952 |    25408     30 |      814 |      798
1045.52/1045.88	c 1045s |      18 |   530605 |   387552 |    25408     30 |      814 |      798
1047.71/1048.02	c 1047s |      18 |   531318 |   388152 |    25408     30 |      814 |      798
1049.91/1050.21	c 1049s |      18 |   531884 |   388652 |    25408     30 |      814 |      798
1052.12/1052.48	c 1052s |      18 |   532324 |   389052 |    25408     31 |      814 |      798
1054.32/1054.66	c 1054s |      18 |   533125 |   389752 |    25408     31 |      814 |      798
1056.32/1056.68	c 1056s |      18 |   533813 |   390352 |    25408     31 |      814 |      798
1058.61/1058.99	c 1058s |      18 |   534619 |   391052 |    25408     31 |      814 |      798
1061.01/1061.37	c 1061s |      18 |   535276 |   391652 |    25408     31 |      814 |      798
1063.31/1063.68	c 1063s |      18 |   536090 |   392352 |    25408     31 |      814 |      798
1065.62/1065.93	c 1065s |      18 |   536727 |   392952 |    25408     31 |      814 |      798
1067.70/1068.01	c 1067s |      18 |   537387 |   393552 |    25408     31 |      814 |      798
1069.80/1070.14	c 1069s |      18 |   538083 |   394152 |    25408     31 |      814 |      798
1071.80/1072.15	c 1071s |      18 |   538760 |   394752 |    25408     31 |      814 |      798
1074.10/1074.48	c 1074s |      18 |   539575 |   395452 |    25408     31 |      814 |      798
1076.20/1076.59	c 1076s |      18 |   540281 |   396052 |    25408     31 |      814 |      798
1078.60/1078.90	c 1078s |      18 |   540953 |   396652 |    25408     31 |      814 |      798
1080.70/1081.07	c 1080s |      18 |   541627 |   397252 |    25408     31 |      814 |      798
1082.90/1083.22	c 1082s |      18 |   542202 |   397752 |    25408     31 |      814 |      798
1085.00/1085.38	c 1085s |      18 |   542897 |   398352 |    25408     31 |      814 |      798
1087.20/1087.53	c 1087s |      18 |   543444 |   398852 |    25408     31 |      814 |      798
1089.19/1089.58	c 1089s |      18 |   544015 |   399352 |    25408     31 |      814 |      798
1091.29/1091.67	c 1091s |      18 |   544571 |   399852 |    25408     31 |      814 |      798
1093.59/1093.98	c 1093s |      18 |   545133 |   400352 |    25408     31 |      814 |      798
1095.79/1096.20	c 1095s |      18 |   545697 |   400852 |    25408     31 |      814 |      798
1097.98/1098.31	c 1098s |      18 |   546262 |   401352 |    25408     31 |      814 |      798
1100.08/1100.47	c 1100s |      18 |   546811 |   401852 |    25408     31 |      814 |      798
1102.18/1102.58	c 1102s |      18 |   547406 |   402352 |    25408     31 |      814 |      798
1104.58/1104.98	c 1104s |      18 |   547955 |   402852 |    25408     31 |      814 |      798
1107.57/1107.94	c 1107s |      18 |   548499 |   403352 |    25408     32 |      814 |      798
1109.68/1110.05	c 1109s |      18 |   549322 |   404052 |    25408     32 |      814 |      798
1111.88/1112.28	c 1112s |      18 |   550137 |   404752 |    25408     32 |      814 |      798
1114.17/1114.56	c 1114s |      18 |   550966 |   405452 |    25408     32 |      814 |      798
1116.37/1116.70	c 1116s |      18 |   551658 |   406052 |    25408     32 |      814 |      798
1118.56/1118.99	c 1118s |      18 |   552505 |   406752 |    25408     32 |      814 |      798
1120.96/1121.33	c 1121s |      18 |   553340 |   407452 |    25408     32 |      814 |      798
1123.26/1123.66	c 1123s |      18 |   554007 |   408052 |    25408     32 |      814 |      798
1125.56/1125.90	c 1125s |      18 |   554668 |   408652 |    25408     32 |      814 |      798
1127.56/1127.98	c 1127s |      18 |   555389 |   409252 |    25408     32 |      814 |      798
1129.86/1130.25	c 1129s |      18 |   556160 |   409852 |    25408     32 |      814 |      798
1132.06/1132.46	c 1132s |      18 |   556826 |   410452 |    25408     32 |      814 |      798
1134.26/1134.69	c 1134s |      18 |   557496 |   411052 |    25408     32 |      814 |      798
1136.46/1136.87	c 1136s |      18 |   558196 |   411652 |    25408     32 |      814 |      798
1138.55/1138.96	c 1138s |      18 |   558746 |   412152 |    25408     32 |      814 |      798
1140.85/1141.26	c 1140s |      18 |   559418 |   412752 |    25408     32 |      814 |      798
1143.25/1143.66	c 1143s |      18 |   560117 |   413352 |    25408     32 |      814 |      798
1145.55/1145.96	c 1145s |      18 |   560662 |   413852 |    25408     32 |      814 |      798
1147.74/1148.10	c 1147s |      18 |   561349 |   414452 |    25408     32 |      814 |      798
1149.94/1150.38	c 1150s |      18 |   562042 |   415052 |    25408     32 |      814 |      798
1151.94/1152.39	c 1152s |      18 |   562596 |   415552 |    25408     32 |      814 |      798
1154.14/1154.55	c 1154s |      18 |   563193 |   416052 |    25408     32 |      814 |      798
1156.24/1156.68	c 1156s |      18 |   563781 |   416552 |    25408     32 |      814 |      798
1158.63/1159.08	c 1158s |      18 |   564331 |   417052 |    25408     32 |      814 |      798
1160.93/1161.32	c 1161s |      18 |   564903 |   417552 |    25408     32 |      814 |      798
1162.93/1163.38	c 1163s |      18 |   565352 |   417952 |    25408     33 |      814 |      798
1165.23/1165.61	c 1165s |      18 |   566141 |   418652 |    25408     33 |      814 |      798
1167.53/1167.92	c 1167s |      18 |   566937 |   419352 |    25408     33 |      814 |      798
1169.73/1170.14	c 1169s |      18 |   567623 |   419952 |    25408     33 |      814 |      798
1172.03/1172.46	c 1172s |      18 |   568386 |   420652 |    25408     33 |      814 |      798
1174.13/1174.58	c 1174s |      18 |   569072 |   421252 |    25408     33 |      814 |      798
1176.33/1176.72	c 1176s |      18 |   569739 |   421852 |    25408     33 |      814 |      798
1178.42/1178.80	c 1178s |      18 |   570396 |   422452 |    25408     33 |      814 |      798
1180.52/1180.99	c 1180s |      18 |   571085 |   423052 |    25408     33 |      814 |      798
1182.82/1183.27	c 1182s |      18 |   571743 |   423652 |    25408     33 |      814 |      798
1184.92/1185.31	c 1185s |      18 |   572301 |   424152 |    25408     33 |      814 |      798
1187.02/1187.44	c 1187s |      18 |   572997 |   424752 |    25408     33 |      814 |      798
1189.31/1189.78	c 1189s |      18 |   573797 |   425452 |    25408     33 |      814 |      798
1191.71/1192.10	c 1191s |      18 |   574469 |   426052 |    25408     33 |      814 |      798
1193.71/1194.19	c 1193s |      18 |   575060 |   426552 |    25408     33 |      814 |      798
1195.91/1196.36	c 1196s |      18 |   575745 |   427152 |    25408     33 |      814 |      798
1198.00/1198.42	c 1198s |      18 |   576308 |   427652 |    25408     33 |      814 |      798
1200.00/1200.43	c 1200s |      18 |   576915 |   428152 |    25408     33 |      814 |      798
1202.10/1202.55	c 1202s |      18 |   577456 |   428652 |    25408     33 |      814 |      798
1204.30/1204.70	c 1204s |      18 |   577997 |   429152 |    25408     33 |      814 |      798
1206.31/1206.72	c 1206s |      18 |   578565 |   429652 |    25408     33 |      814 |      798
1208.29/1208.75	c 1208s |      18 |   579149 |   430152 |    25408     33 |      814 |      798
1210.70/1211.15	c 1210s |      18 |   579817 |   430752 |    25408     33 |      814 |      798
1212.69/1213.19	c 1212s |      18 |   580365 |   431252 |    25408     33 |      814 |      798
1214.89/1215.36	c 1215s |      18 |   580943 |   431752 |    25408     33 |      814 |      798
1216.99/1217.40	c 1217s |      18 |   581390 |   432152 |    25408     34 |      814 |      798
1219.09/1219.51	c 1219s |      18 |   582076 |   432752 |    25408     34 |      814 |      798
1221.29/1221.76	c 1221s |      18 |   582722 |   433352 |    25408     34 |      814 |      798
1223.79/1224.20	c 1223s |      18 |   583370 |   433952 |    25408     34 |      814 |      798
1225.99/1226.49	c 1226s |      18 |   584037 |   434552 |    25408     34 |      814 |      798
1228.08/1228.56	c 1228s |      18 |   584584 |   435052 |    25408     34 |      814 |      798
1230.18/1230.68	c 1230s |      18 |   585135 |   435552 |    25408     34 |      814 |      798
1232.48/1232.99	c 1232s |      18 |   585819 |   436152 |    25408     34 |      814 |      798
1234.78/1235.27	c 1234s |      18 |   586474 |   436752 |    25408     34 |      814 |      798
1237.09/1237.55	c 1237s |      18 |   587159 |   437352 |    25408     34 |      814 |      798
1239.28/1239.76	c 1239s |      18 |   587872 |   437952 |    25408     34 |      814 |      798
1241.37/1241.80	c 1241s |      18 |   588431 |   438452 |    25408     34 |      814 |      798
1243.37/1243.83	c 1243s |      18 |   589024 |   438952 |    25408     34 |      814 |      798
1245.57/1246.03	c 1245s |      18 |   589675 |   439552 |    25408     34 |      814 |      798
1247.97/1248.42	c 1248s |      18 |   590349 |   440152 |    25408     34 |      814 |      798
1249.97/1250.44	c 1250s |      18 |   590890 |   440652 |    25408     34 |      814 |      798
1251.97/1252.49	c 1252s |      18 |   591460 |   441152 |    25408     34 |      814 |      798
1254.27/1254.76	c 1254s |      18 |   592008 |   441652 |    27949     34 |      814 |      798
1256.47/1256.94	c 1256s |      18 |   592687 |   442252 |    27949     34 |      814 |      798
1258.86/1259.38	c 1259s |      18 |   593249 |   442752 |    27949     34 |      814 |      798
1261.06/1261.57	c 1261s |      18 |   593830 |   443252 |    27949     34 |      814 |      798
1263.26/1263.78	c 1263s |      18 |   594418 |   443752 |    27949     34 |      814 |      798
1265.46/1265.98	c 1265s |      18 |   595041 |   444252 |    27949     34 |      814 |      798
1266.66/1267.10	c 1266s |      19 |   595307 |   444482 |    27949     34 |      814 |      798
1268.65/1269.16	c 1268s |      19 |   601298 |   445782 |    27949     34 |      814 |      798
1270.65/1271.16	c 1270s |      19 |   609464 |   447682 |    27949     34 |      814 |      798
1272.85/1273.34	c 1273s |      19 |   611846 |   448882 |    27949     35 |      814 |      798
1274.85/1275.37	c 1275s |      19 |   614986 |   450582 |    27949     35 |      814 |      798
1276.95/1277.45	c 1277s |      19 |   616773 |   451782 |    27949     35 |      814 |      798
1279.04/1279.54	c 1279s |      19 |   618210 |   452882 |    27949     35 |      814 |      798
1281.15/1281.67	c 1281s |      19 |   619293 |   453782 |    27949     35 |      814 |      798
1283.35/1283.85	c 1283s |      19 |   620383 |   454682 |    27949     35 |      814 |      798
1285.64/1286.13	c 1285s |      19 |   621602 |   455682 |    27949     35 |      814 |      798
1287.75/1288.21	c 1287s |      19 |   622834 |   456582 |    27949     35 |      814 |      798
1289.74/1290.23	c 1289s |      19 |   623844 |   457382 |    27949     35 |      814 |      798
1291.74/1292.24	c 1291s |      19 |   624735 |   458082 |    27949     35 |      814 |      798
1293.94/1294.44	c 1294s |      19 |   626067 |   459082 |    27949     35 |      814 |      798
1296.14/1296.68	c 1296s |      19 |   627223 |   459982 |    27949     35 |      814 |      798
1298.43/1298.95	c 1298s |      19 |   628163 |   460782 |    27949     35 |      814 |      798
1300.63/1301.17	c 1300s |      19 |   628919 |   461482 |    27949     35 |      814 |      798
1302.63/1303.19	c 1302s |      19 |   629604 |   462082 |    27949     35 |      814 |      798
1304.73/1305.22	c 1304s |      19 |   630304 |   462682 |    27949     35 |      814 |      798
1306.93/1307.41	c 1307s |      19 |   631176 |   463382 |    27949     35 |      814 |      798
1309.12/1309.69	c 1309s |      19 |   632519 |   464182 |    27949     35 |      814 |      798
1311.42/1311.95	c 1311s |      19 |   633485 |   464882 |    27949     36 |      814 |      798
1313.52/1314.07	c 1313s |      19 |   635039 |   465882 |    27949     36 |      814 |      798
1315.82/1316.30	c 1316s |      19 |   636058 |   466682 |    27949     36 |      814 |      798
1317.91/1318.40	c 1318s |      19 |   636631 |   467182 |    27949     36 |      814 |      798
1320.11/1320.63	c 1320s |      19 |   637302 |   467782 |    27949     36 |      814 |      798
1322.11/1322.69	c 1322s |      19 |   638006 |   468382 |    27949     36 |      814 |      798
1324.31/1324.81	c 1324s |      19 |   638533 |   468882 |    27949     36 |      814 |      798
1326.51/1327.02	c 1326s |      19 |   639095 |   469382 |    27949     36 |      814 |      798
1328.61/1329.12	c 1328s |      19 |   639647 |   469882 |    27949     36 |      814 |      798
1330.81/1331.32	c 1331s |      19 |   640584 |   470582 |    27949     36 |      814 |      798
1332.91/1333.43	c 1333s |      19 |   641297 |   471182 |    27949     36 |      814 |      798
1335.11/1335.69	c 1335s |      19 |   642187 |   471882 |    27949     36 |      814 |      798
1337.30/1337.85	c 1337s |      19 |   643281 |   472682 |    27949     36 |      814 |      798
1339.60/1340.16	c 1339s |      19 |   644191 |   473382 |    27949     36 |      814 |      798
1341.90/1342.49	c 1342s |      19 |   644964 |   473982 |    27949     36 |      814 |      798
1344.20/1344.73	c 1344s |      19 |   645802 |   474582 |    27949     36 |      814 |      798
1346.31/1346.86	c 1346s |      19 |   646439 |   475082 |    27949     36 |      814 |      798
1348.40/1348.93	c 1348s |      19 |   646918 |   475482 |    27949     36 |      814 |      798
1350.60/1351.14	c 1350s |      19 |   647502 |   475982 |    27949     36 |      814 |      798
1352.80/1353.32	c 1353s |      19 |   648070 |   476482 |    27949     36 |      814 |      798
1355.30/1355.81	c 1355s |      19 |   648643 |   476982 |    27949     36 |      814 |      798
1357.30/1357.85	c 1357s |      19 |   649269 |   477482 |    27949     36 |      814 |      798
1359.40/1359.90	c 1359s |      19 |   649853 |   477982 |    27949     36 |      814 |      798
1361.60/1362.16	c 1361s |      19 |   650451 |   478482 |    27949     36 |      814 |      798
1363.89/1364.47	c 1364s |      19 |   651031 |   478982 |    27949     36 |      814 |      798
1366.09/1366.64	c 1366s |      19 |   651484 |   479382 |    27949     36 |      814 |      798
1368.09/1368.65	c 1368s |      19 |   651939 |   479782 |    27949     36 |      814 |      798
1370.19/1370.76	c 1370s |      19 |   652302 |   480082 |    27949     37 |      814 |      798
1372.39/1372.98	c 1372s |      19 |   652846 |   480582 |    27949     37 |      814 |      798
1374.49/1375.08	c 1374s |      19 |   653409 |   481082 |    27949     37 |      814 |      798
1376.58/1377.11	c 1376s |      19 |   653947 |   481582 |    27949     37 |      814 |      798
1378.68/1379.22	c 1378s |      19 |   654495 |   482082 |    27949     37 |      814 |      798
1380.88/1381.42	c 1381s |      19 |   655217 |   482682 |    27949     37 |      814 |      798
1383.18/1383.73	c 1383s |      19 |   655910 |   483282 |    27949     37 |      814 |      798
1385.38/1386.00	c 1385s |      19 |   656454 |   483782 |    27949     37 |      814 |      798
1387.48/1388.01	c 1387s |      19 |   657024 |   484282 |    27949     37 |      814 |      798
1389.58/1390.15	c 1389s |      19 |   657686 |   484882 |    27949     37 |      814 |      798
1391.78/1392.34	c 1392s |      19 |   658241 |   485382 |    27949     37 |      814 |      798
1394.08/1394.61	c 1394s |      19 |   658897 |   485882 |    27949     37 |      814 |      798
1396.17/1396.74	c 1396s |      19 |   659668 |   486482 |    27949     37 |      814 |      798
1398.37/1398.93	c 1398s |      19 |   660363 |   487082 |    27949     37 |      814 |      798
1400.67/1401.27	c 1400s |      19 |   661048 |   487682 |    27949     37 |      814 |      798
1402.77/1403.33	c 1403s |      19 |   661649 |   488182 |    27949     37 |      814 |      798
1405.07/1405.65	c 1405s |      19 |   662207 |   488682 |    27949     37 |      814 |      798
1407.48/1408.06	c 1407s |      19 |   662769 |   489182 |    27949     37 |      814 |      798
1409.87/1410.41	c 1410s |      19 |   663319 |   489682 |    27949     37 |      814 |      798
1412.17/1412.73	c 1412s |      19 |   663875 |   490182 |    27949     37 |      814 |      798
1414.37/1414.99	c 1414s |      19 |   664451 |   490682 |    27949     37 |      814 |      798
1416.67/1417.23	c 1416s |      19 |   665190 |   491282 |    27949     37 |      814 |      798
1418.77/1419.37	c 1419s |      19 |   665783 |   491782 |    27949     37 |      814 |      798
1420.97/1421.52	c 1421s |      19 |   666416 |   492282 |    27949     37 |      814 |      798
1423.27/1423.87	c 1423s |      19 |   666990 |   492782 |    27949     37 |      814 |      798
1425.77/1426.33	c 1426s |      19 |   667535 |   493282 |    27949     37 |      814 |      798
1427.87/1428.48	c 1428s |      19 |   667971 |   493682 |    27949     37 |      814 |      798
1430.07/1430.67	c 1430s |      19 |   668404 |   494082 |    27949     37 |      814 |      798
1432.57/1433.16	c 1432s |      19 |   668969 |   494582 |    27949     37 |      814 |      798
1434.67/1435.20	c 1434s |      19 |   669598 |   495082 |    27949     37 |      814 |      798
1437.77/1438.34	c 1438s |      19 |   670189 |   495582 |    27949     38 |      814 |      798
1439.87/1440.45	c 1440s |      19 |   671006 |   496182 |    27949     38 |      814 |      798
1441.87/1442.48	c 1442s |      19 |   671766 |   496782 |    27949     38 |      814 |      798
1444.07/1444.68	c 1444s |      19 |   672735 |   497482 |    27949     38 |      814 |      798
1446.37/1446.95	c 1446s |      19 |   673583 |   498182 |    27949     38 |      814 |      798
1448.56/1449.15	c 1448s |      19 |   674308 |   498782 |    27949     38 |      814 |      798
1450.66/1451.21	c 1450s |      19 |   674872 |   499282 |    27949     38 |      814 |      798
1452.76/1453.30	c 1453s |      19 |   675459 |   499782 |    27949     38 |      814 |      798
1454.77/1455.38	c 1455s |      19 |   676129 |   500282 |    27949     38 |      814 |      798
1456.86/1457.41	c 1457s |      19 |   677219 |   500982 |    27949     38 |      814 |      798
1458.86/1459.46	c 1459s |      19 |   677988 |   501582 |    27949     38 |      814 |      798
1460.96/1461.52	c 1461s |      19 |   678871 |   502182 |    27949     38 |      814 |      798
1463.16/1463.76	c 1463s |      19 |   679681 |   502782 |    27949     38 |      814 |      798
1465.36/1465.98	c 1465s |      19 |   680395 |   503382 |    27949     38 |      814 |      798
1467.66/1468.24	c 1467s |      19 |   680984 |   503882 |    27949     38 |      814 |      798
1469.96/1470.55	c 1470s |      19 |   681602 |   504382 |    27949     38 |      814 |      798
1472.06/1472.65	c 1472s |      19 |   682322 |   504882 |    27949     38 |      814 |      798
1474.26/1474.84	c 1474s |      19 |   682884 |   505382 |    27949     38 |      814 |      798
1476.26/1476.88	c 1476s |      19 |   683452 |   505882 |    27949     38 |      814 |      798
1478.56/1479.15	c 1478s |      19 |   684026 |   506382 |    27949     38 |      814 |      798
1480.96/1481.56	c 1481s |      19 |   684594 |   506882 |    27949     38 |      814 |      798
1483.16/1483.72	c 1483s |      19 |   685218 |   507382 |    27949     38 |      814 |      798
1485.26/1485.86	c 1485s |      19 |   685808 |   507882 |    27949     38 |      814 |      798
1487.66/1488.23	c 1487s |      19 |   686548 |   508482 |    27949     38 |      814 |      798
1489.86/1490.47	c 1490s |      19 |   687140 |   508982 |    27949     38 |      814 |      798
1491.96/1492.52	c 1492s |      19 |   687797 |   509482 |    27949     38 |      814 |      798
1494.16/1494.72	c 1494s |      19 |   688543 |   510082 |    27949     38 |      814 |      798
1496.36/1496.92	c 1496s |      19 |   689303 |   510682 |    27949     38 |      814 |      798
1499.46/1500.02	c 1499s |      19 |   690026 |   511282 |    27949     39 |      814 |      798
1501.56/1502.19	c 1501s |      19 |   690731 |   511882 |    27949     39 |      814 |      798
1503.76/1504.35	c 1504s |      19 |   691606 |   512582 |    27949     39 |      814 |      798
1505.76/1506.36	c 1506s |      19 |   692303 |   513182 |    27949     39 |      814 |      798
1507.95/1508.51	c 1508s |      19 |   693134 |   513782 |    27949     39 |      814 |      798
1510.05/1510.68	c 1510s |      19 |   694008 |   514482 |    27949     39 |      814 |      798
1512.15/1512.78	c 1512s |      19 |   694893 |   515182 |    27949     39 |      814 |      798
1514.35/1514.94	c 1514s |      19 |   695577 |   515782 |    27949     39 |      814 |      798
1516.46/1517.02	c 1516s |      19 |   696285 |   516382 |    27949     39 |      814 |      798
1518.66/1519.24	c 1518s |      19 |   697145 |   517082 |    27949     39 |      814 |      798
1520.95/1521.51	c 1521s |      19 |   698030 |   517782 |    27949     39 |      814 |      798
1523.15/1523.74	c 1523s |      19 |   698702 |   518382 |    27949     39 |      814 |      798
1525.16/1525.80	c 1525s |      19 |   699288 |   518882 |    27949     39 |      814 |      798
1527.25/1527.87	c 1527s |      19 |   699861 |   519382 |    27949     39 |      814 |      798
1529.66/1530.25	c 1529s |      19 |   700425 |   519882 |    27949     39 |      814 |      798
1531.76/1532.35	c 1532s |      19 |   700887 |   520282 |    27949     39 |      814 |      798
1533.75/1534.37	c 1534s |      19 |   701756 |   520882 |    27949     39 |      814 |      798
1535.85/1536.49	c 1536s |      19 |   702459 |   521482 |    27949     39 |      814 |      798
1538.05/1538.68	c 1538s |      19 |   703161 |   522082 |    27949     39 |      814 |      798
1540.15/1540.74	c 1540s |      19 |   703877 |   522682 |    27949     39 |      814 |      798
1542.35/1542.93	c 1542s |      19 |   704559 |   523282 |    27949     39 |      814 |      798
1544.65/1545.23	c 1544s |      19 |   705320 |   523882 |    27949     39 |      814 |      798
1546.75/1547.34	c 1547s |      19 |   705955 |   524382 |    27949     39 |      814 |      798
1548.95/1549.58	c 1549s |      19 |   706680 |   524982 |    27949     39 |      814 |      798
1551.15/1551.76	c 1551s |      19 |   707267 |   525482 |    27949     39 |      814 |      798
1553.45/1554.00	c 1553s |      19 |   707898 |   525982 |    27949     39 |      814 |      798
1555.65/1556.23	c 1555s |      19 |   708490 |   526482 |    27949     39 |      814 |      798
1557.95/1558.55	c 1558s |      19 |   708972 |   526882 |    27949     40 |      814 |      798
1560.25/1560.89	c 1560s |      19 |   709794 |   527582 |    27949     40 |      814 |      798
1562.45/1563.09	c 1562s |      19 |   710499 |   528182 |    27949     40 |      814 |      798
1564.65/1565.29	c 1565s |      19 |   711295 |   528882 |    27949     40 |      814 |      798
1566.84/1567.43	c 1567s |      19 |   711968 |   529482 |    27949     40 |      814 |      798
1569.04/1569.61	c 1569s |      19 |   712498 |   529982 |    27949     40 |      814 |      798
1571.24/1571.85	c 1571s |      19 |   713205 |   530582 |    27949     40 |      814 |      798
1573.65/1574.21	c 1573s |      19 |   713934 |   531182 |    27949     40 |      814 |      798
1575.75/1576.33	c 1576s |      19 |   714482 |   531682 |    27949     40 |      814 |      798
1577.95/1578.52	c 1578s |      19 |   715264 |   532282 |    27949     40 |      814 |      798
1579.94/1580.52	c 1580s |      19 |   715983 |   532882 |    27949     40 |      814 |      798
1582.14/1582.78	c 1582s |      19 |   716698 |   533482 |    27949     40 |      814 |      798
1584.34/1584.98	c 1584s |      19 |   717375 |   534082 |    27949     40 |      814 |      798
1586.64/1587.27	c 1586s |      19 |   718066 |   534682 |    27949     40 |      814 |      798
1588.84/1589.48	c 1589s |      19 |   718762 |   535282 |    27949     40 |      814 |      798
1591.04/1591.61	c 1591s |      19 |   719330 |   535782 |    27949     40 |      814 |      798
1593.14/1593.75	c 1593s |      19 |   719872 |   536282 |    27949     40 |      814 |      798
1595.44/1596.09	c 1595s |      19 |   720427 |   536782 |    27949     40 |      814 |      798
1597.85/1598.44	c 1598s |      19 |   721165 |   537382 |    27949     40 |      814 |      798
1600.24/1600.80	c 1600s |      19 |   721885 |   537982 |    27949     40 |      814 |      798
1602.44/1603.01	c 1602s |      19 |   722434 |   538482 |    27949     40 |      814 |      798
1604.74/1605.38	c 1605s |      19 |   723148 |   539082 |    27949     40 |      814 |      798
1606.94/1607.58	c 1607s |      19 |   723728 |   539582 |    27949     40 |      814 |      798
1609.34/1609.90	c 1609s |      19 |   724306 |   540082 |    27949     40 |      814 |      798
1611.44/1612.02	c 1611s |      19 |   724892 |   540582 |    27949     40 |      814 |      798
1613.44/1614.08	c 1613s |      19 |   725493 |   541082 |    27949     40 |      814 |      798
1615.84/1616.41	c 1616s |      19 |   726094 |   541582 |    27949     40 |      814 |      798
1618.24/1618.90	c 1618s |      19 |   726647 |   542082 |    27949     40 |      814 |      798
1620.54/1621.19	c 1620s |      19 |   727093 |   542482 |    27949     41 |      814 |      798
1622.64/1623.26	c 1622s |      19 |   727662 |   542982 |    27949     41 |      814 |      798
1624.84/1625.43	c 1625s |      19 |   728208 |   543482 |    27949     41 |      814 |      798
1626.84/1627.47	c 1627s |      19 |   728759 |   543982 |    27949     41 |      814 |      798
1629.14/1629.78	c 1629s |      19 |   729418 |   544582 |    27949     41 |      814 |      798
1631.44/1632.02	c 1631s |      19 |   730090 |   545182 |    27949     41 |      814 |      798
1633.74/1634.34	c 1634s |      19 |   730752 |   545782 |    27949     41 |      814 |      798
1636.04/1636.69	c 1636s |      19 |   731287 |   546282 |    27949     41 |      814 |      798
1638.24/1638.86	c 1638s |      19 |   731881 |   546782 |    27949     41 |      814 |      798
1640.34/1640.96	c 1640s |      19 |   733256 |   547582 |    27949     41 |      814 |      798
1642.64/1643.25	c 1642s |      19 |   734381 |   548382 |    27949     41 |      814 |      798
1644.84/1645.43	c 1645s |      19 |   735124 |   548982 |    27949     41 |      814 |      798
1646.84/1647.47	c 1647s |      19 |   735749 |   549482 |    27949     41 |      814 |      798
1649.04/1649.66	c 1649s |      19 |   736570 |   550082 |    27949     41 |      814 |      798
1651.14/1651.73	c 1651s |      19 |   737395 |   550682 |    27949     41 |      814 |      798
1653.34/1653.97	c 1653s |      19 |   738144 |   551282 |    27949     41 |      814 |      798
1655.74/1656.37	c 1656s |      19 |   738854 |   551882 |    27949     41 |      814 |      798
1657.94/1658.57	c 1658s |      19 |   739427 |   552382 |    27949     41 |      814 |      798
1659.94/1660.58	c 1660s |      19 |   740055 |   552882 |    27949     41 |      814 |      798
1662.14/1662.78	c 1662s |      19 |   740620 |   553382 |    27949     41 |      814 |      798
1664.24/1664.83	c 1664s |      19 |   741063 |   553782 |    27949     41 |      814 |      798
1666.44/1667.09	c 1666s |      19 |   741965 |   554382 |    27949     41 |      814 |      798
1668.94/1669.55	c 1669s |      19 |   742697 |   554982 |    27949     41 |      814 |      798
1671.24/1671.84	c 1671s |      19 |   743294 |   555482 |    27949     41 |      814 |      798
1673.44/1674.04	c 1673s |      19 |   743912 |   555982 |    27949     41 |      814 |      798
1675.74/1676.39	c 1676s |      19 |   744643 |   556582 |    27949     41 |      814 |      798
1677.83/1678.48	c 1678s |      19 |   745216 |   557082 |    27949     41 |      814 |      798
1679.93/1680.58	c 1680s |      19 |   745815 |   557582 |    27949     41 |      814 |      798
1682.13/1682.78	c 1682s |      19 |   746277 |   557982 |    27949     42 |      814 |      798
1684.53/1685.14	c 1684s |      19 |   747185 |   558682 |    27949     42 |      814 |      798
1686.73/1687.34	c 1687s |      19 |   747741 |   559182 |    27949     42 |      814 |      798
1688.73/1689.36	c 1689s |      19 |   748179 |   559582 |    27949     42 |      814 |      798
1690.83/1691.42	c 1691s |      19 |   748716 |   560082 |    27949     42 |      814 |      798
1693.03/1693.69	c 1693s |      19 |   749293 |   560582 |    27949     42 |      814 |      798
1695.23/1695.89	c 1695s |      19 |   749997 |   561182 |    27949     42 |      814 |      798
1697.33/1697.96	c 1697s |      19 |   750778 |   561782 |    27949     42 |      814 |      798
1699.53/1700.17	c 1699s |      19 |   751550 |   562382 |    27949     42 |      814 |      798
1701.63/1702.27	c 1701s |      19 |   752134 |   562882 |    27949     42 |      814 |      798
1703.83/1704.46	c 1704s |      19 |   752713 |   563382 |    27949     42 |      814 |      798
1705.93/1706.57	c 1706s |      19 |   753312 |   563882 |    27949     42 |      814 |      798
1708.43/1709.04	c 1708s |      19 |   754013 |   564482 |    27949     42 |      814 |      798
1710.53/1711.11	c 1710s |      19 |   754603 |   564982 |    27949     42 |      814 |      798
1712.53/1713.16	c 1712s |      19 |   755209 |   565482 |    27949     42 |      814 |      798
1714.83/1715.48	c 1715s |      19 |   756034 |   566082 |    27949     42 |      814 |      798
1717.13/1717.73	c 1717s |      19 |   756656 |   566582 |    27949     42 |      814 |      798
1719.33/1719.94	c 1719s |      19 |   757286 |   567082 |    27949     42 |      814 |      798
1721.63/1722.24	c 1721s |      19 |   757892 |   567582 |    27949     42 |      814 |      798
1723.63/1724.25	c 1723s |      19 |   758547 |   568082 |    27949     42 |      814 |      798
1725.83/1726.45	c 1726s |      19 |   759309 |   568682 |    27949     42 |      814 |      798
1728.23/1728.80	c 1728s |      19 |   759996 |   569282 |    27949     42 |      814 |      798
1730.23/1730.88	c 1730s |      19 |   760602 |   569782 |    27949     42 |      814 |      798
1732.32/1732.92	c 1732s |      19 |   761259 |   570282 |    27949     42 |      814 |      798
1734.32/1734.96	c 1734s |      19 |   761864 |   570782 |    27949     42 |      814 |      798
1736.62/1737.29	c 1737s |      19 |   762607 |   571382 |    27949     42 |      814 |      798
1739.02/1739.64	c 1739s |      19 |   763332 |   571982 |    27949     42 |      814 |      798
1741.12/1741.78	c 1741s |      19 |   763939 |   572482 |    27949     42 |      814 |      798
1743.62/1744.23	c 1743s |      19 |   764704 |   573082 |    27949     42 |      814 |      798
1746.02/1746.63	c 1746s |      19 |   765173 |   573482 |    27949     43 |      814 |      798
1748.12/1748.71	c 1748s |      19 |   765953 |   574082 |    27949     43 |      814 |      798
1750.22/1750.82	c 1750s |      19 |   766672 |   574682 |    27949     43 |      814 |      798
1752.32/1752.99	c 1752s |      19 |   767348 |   575282 |    27949     43 |      814 |      798
1754.42/1755.03	c 1754s |      19 |   768058 |   575882 |    27949     43 |      814 |      798
1756.62/1757.26	c 1756s |      19 |   768789 |   576482 |    27949     43 |      814 |      798
1758.82/1759.40	c 1759s |      19 |   769506 |   577082 |    27949     43 |      814 |      798
1761.02/1761.63	c 1761s |      19 |   770230 |   577682 |    27949     43 |      814 |      798
1763.12/1763.71	c 1763s |      19 |   770799 |   578182 |    27949     43 |      814 |      798
1765.22/1765.85	c 1765s |      19 |   771390 |   578682 |    27949     43 |      814 |      798
1767.42/1768.04	c 1767s |      19 |   771957 |   579182 |    27949     43 |      814 |      798
1769.52/1770.19	c 1769s |      19 |   772564 |   579682 |    27949     43 |      814 |      798
1772.02/1772.62	c 1772s |      19 |   773296 |   580282 |    27949     43 |      814 |      798
1774.22/1774.80	c 1774s |      19 |   773890 |   580782 |    27949     43 |      814 |      798
1776.42/1777.00	c 1776s |      19 |   774453 |   581282 |    27949     43 |      814 |      798
1778.62/1779.21	c 1778s |      19 |   775024 |   581782 |    27949     43 |      814 |      798
1780.72/1781.32	c 1781s |      19 |   775604 |   582282 |    27949     43 |      814 |      798
1783.02/1783.61	c 1783s |      19 |   776162 |   582782 |    27949     43 |      814 |      798
1785.12/1785.71	c 1785s |      19 |   776760 |   583282 |    27949     43 |      814 |      798
1787.52/1788.16	c 1787s |      19 |   777305 |   583782 |    27949     43 |      814 |      798
1789.71/1790.34	c 1790s |      19 |   777868 |   584282 |    27949     43 |      814 |      798
1792.01/1792.66	c 1792s |      19 |   778437 |   584782 |    27949     43 |      814 |      798
1794.21/1794.87	c 1794s |      19 |   778994 |   585282 |    27949     43 |      814 |      798
1796.41/1797.02	c 1796s |      19 |   779424 |   585682 |    27949     43 |      814 |      798
1798.81/1799.46	c 1799s |      19 |   780034 |   586182 |    27949     43 |      814 |      798

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

pid=24361
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: 1.95 2.07 2.07 4/179 24364
/proc/meminfo: memFree=31450752/32872528 swapFree=249752/274280
[pid=24364] ppid=24361 vsize=817732 CPUtime=0 cores=1,3,5,7
/proc/24364/stat : 24364 (toysat) R 24361 24364 24001 0 -1 4202496 3072 0 0 0 0 0 0 0 20 0 4 0 31136277 837357568 2922 33554432000 4194304 16246674 140737087637408 140737087636832 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24364/statm: 205201 2931 442 2943 0 202095 0
[pid=24364/tid=24365] ppid=24361 vsize=836164 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24365/stat : 24365 (toysat) S 24361 24364 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136277 856231936 2994 33554432000 4194304 16246674 140737087637408 140247640812784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24364/tid=24366] ppid=24361 vsize=841284 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24366/stat : 24366 (toysat) S 24361 24364 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136277 861474816 3012 33554432000 4194304 16246674 140737087637408 140247630322928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24364/tid=24367] ppid=24361 vsize=844356 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24367/stat : 24367 (toysat) S 24361 24364 24001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31136277 864620544 3026 33554432000 4194304 16246674 140737087637408 140247619849392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 1.95 2.07 2.07 4/179 24364
/proc/meminfo: memFree=31450752/32872528 swapFree=249752/274280
[pid=24364] ppid=24361 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/24364/stat : 24364 (toysat) R 24361 24364 24001 0 -1 4202496 28475 0 0 0 6 3 0 0 20 0 4 0 31136277 1249447936 28262 33554432000 4194304 16246674 140737087637408 140737087636720 4206604 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24364/statm: 305041 28262 802 2943 0 301935 0
[pid=24364/tid=24365] ppid=24361 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24365/stat : 24365 (toysat) S 24361 24364 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136277 1249447936 28262 33554432000 4194304 16246674 140737087637408 140247640812784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24364/tid=24366] ppid=24361 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24366/stat : 24366 (toysat) S 24361 24364 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136277 1249447936 28262 33554432000 4194304 16246674 140737087637408 140247630322928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24364/tid=24367] ppid=24361 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24367/stat : 24367 (toysat) S 24361 24364 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31136277 1249447936 28262 33554432000 4194304 16246674 140737087637408 140247619849392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200509 s]
/proc/loadavg: 1.95 2.07 2.07 4/179 24364
/proc/meminfo: memFree=31450752/32872528 swapFree=249752/274280
[pid=24364] ppid=24361 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/24364/stat : 24364 (toysat) R 24361 24364 24001 0 -1 4202496 48680 0 0 0 14 5 0 0 20 0 4 0 31136277 1332285440 48467 33554432000 4194304 16246674 140737087637408 140737087636720 6965483 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24364/statm: 325265 48467 843 2943 0 322159 0
[pid=24364/tid=24365] ppid=24361 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24365/stat : 24365 (toysat) S 24361 24364 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136277 1332285440 48467 33554432000 4194304 16246674 140737087637408 140247640812784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24364/tid=24366] ppid=24361 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24366/stat : 24366 (toysat) S 24361 24364 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136277 1332285440 48467 33554432000 4194304 16246674 140737087637408 140247630322928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24364/tid=24367] ppid=24361 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24367/stat : 24367 (toysat) S 24361 24364 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31136277 1332285440 48467 33554432000 4194304 16246674 140737087637408 140247619849392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300459 s]
/proc/loadavg: 1.95 2.07 2.07 4/179 24364
/proc/meminfo: memFree=31450752/32872528 swapFree=249752/274280
[pid=24364] ppid=24361 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/24364/stat : 24364 (toysat) R 24361 24364 24001 0 -1 4202496 54806 0 0 0 23 6 0 0 20 0 4 0 31136277 1332285440 54593 33554432000 4194304 16246674 140737087637408 140737087636720 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24364/statm: 325265 54599 883 2943 0 322159 0
[pid=24364/tid=24365] ppid=24361 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24365/stat : 24365 (toysat) S 24361 24364 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136277 1332285440 54603 33554432000 4194304 16246674 140737087637408 140247640812784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24364/tid=24366] ppid=24361 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24366/stat : 24366 (toysat) S 24361 24364 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136277 1332285440 54607 33554432000 4194304 16246674 140737087637408 140247630322928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24364/tid=24367] ppid=24361 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24367/stat : 24367 (toysat) S 24361 24364 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31136277 1332285440 54611 33554432000 4194304 16246674 140737087637408 140247619849392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700414 s]
/proc/loadavg: 1.95 2.07 2.07 4/179 24364
/proc/meminfo: memFree=31450752/32872528 swapFree=249752/274280
[pid=24364] ppid=24361 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/24364/stat : 24364 (toysat) R 24361 24364 24001 0 -1 4202496 105267 0 0 0 57 12 0 0 20 0 4 0 31136277 1332285440 105054 33554432000 4194304 16246674 140737087637408 140737087636720 5724032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24364/statm: 325265 105061 883 2943 0 322159 0
[pid=24364/tid=24365] ppid=24361 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24365/stat : 24365 (toysat) S 24361 24364 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136277 1332285440 105064 33554432000 4194304 16246674 140737087637408 140247640812784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24364/tid=24366] ppid=24361 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24366/stat : 24366 (toysat) S 24361 24364 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136277 1332285440 105068 33554432000 4194304 16246674 140737087637408 140247630322928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24364/tid=24367] ppid=24361 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24367/stat : 24367 (toysat) S 24361 24364 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31136277 1332285440 105071 33554432000 4194304 16246674 140737087637408 140247619849392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50042 s]
/proc/loadavg: 1.95 2.07 2.07 3/183 24368
/proc/meminfo: memFree=30234520/32872528 swapFree=249752/274280
[pid=24364] ppid=24361 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/24364/stat : 24364 (toysat) R 24361 24364 24001 0 -1 4202496 211615 0 0 0 122 27 0 0 20 0 4 0 31136277 1332285440 211402 33554432000 4194304 16246674 140737087637408 140737087619328 5602895 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24364/statm: 325265 211406 883 2943 0 322159 0
[pid=24364/tid=24365] ppid=24361 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24365/stat : 24365 (toysat) S 24361 24364 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136277 1332285440 211407 33554432000 4194304 16246674 140737087637408 140247640812784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24364/tid=24366] ppid=24361 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24366/stat : 24366 (toysat) S 24361 24364 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136277 1332285440 211409 33554432000 4194304 16246674 140737087637408 140247630322928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24364/tid=24367] ppid=24361 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24367/stat : 24367 (toysat) S 24361 24364 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31136277 1332285440 211410 33554432000 4194304 16246674 140737087637408 140247619849392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10043 s]
/proc/loadavg: 1.95 2.07 2.07 3/183 24368
/proc/meminfo: memFree=29379152/32872528 swapFree=249752/274280
[pid=24364] ppid=24361 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/24364/stat : 24364 (toysat) R 24361 24364 24001 0 -1 4202496 269528 0 0 0 274 35 0 0 20 0 4 0 31136277 1344868352 269315 33554432000 4194304 16246674 140737087637408 140737087619328 5991539 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24364/statm: 328337 269315 889 2943 0 325231 0
[pid=24364/tid=24365] ppid=24361 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24365/stat : 24365 (toysat) S 24361 24364 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136277 1344868352 269315 33554432000 4194304 16246674 140737087637408 140247640812784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24364/tid=24366] ppid=24361 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24366/stat : 24366 (toysat) S 24361 24364 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136277 1344868352 269315 33554432000 4194304 16246674 140737087637408 140247630322928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24364/tid=24367] ppid=24361 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24367/stat : 24367 (toysat) S 24361 24364 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31136277 1344868352 269315 33554432000 4194304 16246674 140737087637408 140247619849392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.04 2.08 2.07 3/183 24368
/proc/meminfo: memFree=29377056/32872528 swapFree=249752/274280
[pid=24364] ppid=24361 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/24364/stat : 24364 (toysat) R 24361 24364 24001 0 -1 4202496 269529 0 0 0 594 35 0 0 20 0 4 0 31136277 1344868352 269316 33554432000 4194304 16246674 140737087637408 140737087619328 5823947 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24364/statm: 328337 269316 889 2943 0 325231 0
[pid=24364/tid=24365] ppid=24361 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24365/stat : 24365 (toysat) S 24361 24364 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136277 1344868352 269316 33554432000 4194304 16246674 140737087637408 140247640812784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24364/tid=24366] ppid=24361 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24366/stat : 24366 (toysat) S 24361 24364 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136277 1344868352 269316 33554432000 4194304 16246674 140737087637408 140247630322928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24364/tid=24367] ppid=24361 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24367/stat : 24367 (toysat) S 24361 24364 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31136277 1344868352 269316 33554432000 4194304 16246674 140737087637408 140247619849392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.03 2.08 2.07 3/183 24368
/proc/meminfo: memFree=29378060/32872528 swapFree=249752/274280
[pid=24364] ppid=24361 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/24364/stat : 24364 (toysat) R 24361 24364 24001 0 -1 4202496 269529 0 0 0 1234 35 0 0 20 0 4 0 31136277 1344868352 269316 33554432000 4194304 16246674 140737087637408 140737087619328 13809242 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24364/statm: 328337 269316 889 2943 0 325231 0
[pid=24364/tid=24365] ppid=24361 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24365/stat : 24365 (toysat) S 24361 24364 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136277 1344868352 269316 33554432000 4194304 16246674 140737087637408 140247640812784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24364/tid=24366] ppid=24361 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24366/stat : 24366 (toysat) S 24361 24364 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136277 1344868352 269316 33554432000 4194304 16246674 140737087637408 140247630322928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24364/tid=24367] ppid=24361 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24367/stat : 24367 (toysat) S 24361 24364 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31136277 1344868352 269316 33554432000 4194304 16246674 140737087637408 140247619849392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.02 2.08 2.07 3/183 24368
/proc/meminfo: memFree=29378844/32872528 swapFree=249752/274280
[pid=24364] ppid=24361 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/24364/stat : 24364 (toysat) R 24361 24364 24001 0 -1 4202496 269532 0 0 0 2514 35 0 0 20 0 4 0 31136277 1344868352 269319 33554432000 4194304 16246674 140737087637408 140737087619328 5721414 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24364/statm: 328337 269319 892 2943 0 325231 0
[pid=24364/tid=24365] ppid=24361 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24365/stat : 24365 (toysat) S 24361 24364 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136277 1344868352 269319 33554432000 4194304 16246674 140737087637408 140247640812784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24364/tid=24366] ppid=24361 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24366/stat : 24366 (toysat) S 24361 24364 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136277 1344868352 269319 33554432000 4194304 16246674 140737087637408 140247630322928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24364/tid=24367] ppid=24361 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24367/stat : 24367 (toysat) S 24361 24364 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31136277 1344868352 269319 33554432000 4194304 16246674 140737087637408 140247619849392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.09 2.09 2.08 3/183 24368
/proc/meminfo: memFree=29375596/32872528 swapFree=249752/274280
[pid=24364] ppid=24361 vsize=1313348 CPUtime=51.09 cores=1,3,5,7
/proc/24364/stat : 24364 (toysat) R 24361 24364 24001 0 -1 4202496 269533 0 0 0 5074 35 0 0 20 0 4 0 31136277 1344868352 269320 33554432000 4194304 16246674 140737087637408 140737087619328 13191752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24364/statm: 328337 269320 893 2943 0 325231 0
[pid=24364/tid=24365] ppid=24361 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24365/stat : 24365 (toysat) S 24361 24364 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136277 1344868352 269320 33554432000 4194304 16246674 140737087637408 140247640812784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24364/tid=24366] ppid=24361 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24366/stat : 24366 (toysat) S 24361 24364 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136277 1344868352 269320 33554432000 4194304 16246674 140737087637408 140247630322928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24364/tid=24367] ppid=24361 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24367/stat : 24367 (toysat) S 24361 24364 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31136277 1344868352 269320 33554432000 4194304 16246674 140737087637408 140247619849392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 2.04 2.07 2.07 3/183 24369
/proc/meminfo: memFree=29362628/32872528 swapFree=249752/274280
[pid=24364] ppid=24361 vsize=1320516 CPUtime=102.28 cores=1,3,5,7
/proc/24364/stat : 24364 (toysat) R 24361 24364 24001 0 -1 4202496 271225 0 0 0 10193 35 0 0 20 0 4 0 31136277 1352208384 271012 33554432000 4194304 16246674 140737087637408 140737087619328 5676365 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24364/statm: 330129 271012 893 2943 0 327023 0
[pid=24364/tid=24365] ppid=24361 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24365/stat : 24365 (toysat) S 24361 24364 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136277 1352208384 271012 33554432000 4194304 16246674 140737087637408 140247640812784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24364/tid=24366] ppid=24361 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24366/stat : 24366 (toysat) S 24361 24364 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136277 1352208384 271012 33554432000 4194304 16246674 140737087637408 140247630322928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24364/tid=24367] ppid=24361 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24367/stat : 24367 (toysat) S 24361 24364 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31136277 1352208384 271012 33554432000 4194304 16246674 140737087637408 140247619849392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1320516


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

/proc/24364/task/24367/stat : 24367 (toysat) S 24361 24364 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247619849392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1332804

[startup+1302.3 s]
/proc/loadavg: 2.09 2.11 2.09 3/183 24421
/proc/meminfo: memFree=29326048/32872528 swapFree=249752/274280
[pid=24364] ppid=24361 vsize=1332804 CPUtime=1301.83 cores=1,3,5,7
/proc/24364/stat : 24364 (toysat) R 24361 24364 24001 0 -1 4202496 274782 0 0 0 130141 42 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140737087619328 12483337 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24364/statm: 333201 274440 893 2943 0 330095 0
[pid=24364/tid=24365] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24365/stat : 24365 (toysat) S 24361 24364 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247640812784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24364/tid=24366] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24366/stat : 24366 (toysat) S 24361 24364 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247630322928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24364/tid=24367] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24367/stat : 24367 (toysat) S 24361 24364 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247619849392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1332804

[startup+1362.3 s]
/proc/loadavg: 2.16 2.13 2.09 3/183 24422
/proc/meminfo: memFree=29325712/32872528 swapFree=249752/274280
[pid=24364] ppid=24361 vsize=1332804 CPUtime=1361.8 cores=1,3,5,7
/proc/24364/stat : 24364 (toysat) R 24361 24364 24001 0 -1 4202496 274829 0 0 0 136137 43 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140737087619328 5673837 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24364/statm: 333201 274440 893 2943 0 330095 0
[pid=24364/tid=24365] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24365/stat : 24365 (toysat) S 24361 24364 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247640812784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24364/tid=24366] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24366/stat : 24366 (toysat) S 24361 24364 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247630322928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24364/tid=24367] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24367/stat : 24367 (toysat) S 24361 24364 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247619849392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1332804

[startup+1422.3 s]
/proc/loadavg: 2.11 2.12 2.09 3/183 24423
/proc/meminfo: memFree=29326380/32872528 swapFree=249752/274280
[pid=24364] ppid=24361 vsize=1332804 CPUtime=1421.78 cores=1,3,5,7
/proc/24364/stat : 24364 (toysat) R 24361 24364 24001 0 -1 4202496 274848 0 0 0 142135 43 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140737087619328 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24364/statm: 333201 274440 893 2943 0 330095 0
[pid=24364/tid=24365] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24365/stat : 24365 (toysat) S 24361 24364 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247640812784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24364/tid=24366] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24366/stat : 24366 (toysat) S 24361 24364 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247630322928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24364/tid=24367] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24367/stat : 24367 (toysat) S 24361 24364 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247619849392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1332804

[startup+1482.3 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 24425
/proc/meminfo: memFree=29326268/32872528 swapFree=249752/274280
[pid=24364] ppid=24361 vsize=1332804 CPUtime=1481.76 cores=1,3,5,7
/proc/24364/stat : 24364 (toysat) R 24361 24364 24001 0 -1 4202496 274848 0 0 0 148133 43 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140737087619328 5522898 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24364/statm: 333201 274440 893 2943 0 330095 0
[pid=24364/tid=24365] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24365/stat : 24365 (toysat) S 24361 24364 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247640812784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24364/tid=24366] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24366/stat : 24366 (toysat) S 24361 24364 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247630322928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24364/tid=24367] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24367/stat : 24367 (toysat) S 24361 24364 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247619849392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1332804

[startup+1542.31 s]
/proc/loadavg: 2.15 2.12 2.09 3/183 24426
/proc/meminfo: memFree=29326392/32872528 swapFree=249752/274280
[pid=24364] ppid=24361 vsize=1332804 CPUtime=1541.76 cores=1,3,5,7
/proc/24364/stat : 24364 (toysat) R 24361 24364 24001 0 -1 4202496 274848 0 0 0 154133 43 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140737087619328 5717656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24364/statm: 333201 274440 893 2943 0 330095 0
[pid=24364/tid=24365] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24365/stat : 24365 (toysat) S 24361 24364 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247640812784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24364/tid=24366] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24366/stat : 24366 (toysat) S 24361 24364 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247630322928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24364/tid=24367] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24367/stat : 24367 (toysat) S 24361 24364 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247619849392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1332804

[startup+1602.3 s]
/proc/loadavg: 2.17 2.12 2.09 3/183 24427
/proc/meminfo: memFree=29324636/32872528 swapFree=249752/274280
[pid=24364] ppid=24361 vsize=1332804 CPUtime=1601.74 cores=1,3,5,7
/proc/24364/stat : 24364 (toysat) R 24361 24364 24001 0 -1 4202496 274848 0 0 0 160131 43 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140737087619328 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24364/statm: 333201 274440 893 2943 0 330095 0
[pid=24364/tid=24365] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24365/stat : 24365 (toysat) S 24361 24364 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247640812784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24364/tid=24366] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24366/stat : 24366 (toysat) S 24361 24364 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247630322928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24364/tid=24367] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24367/stat : 24367 (toysat) S 24361 24364 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247619849392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1332804

[startup+1662.3 s]
/proc/loadavg: 2.14 2.12 2.09 3/184 24431
/proc/meminfo: memFree=29324764/32872528 swapFree=249752/274280
[pid=24364] ppid=24361 vsize=1332804 CPUtime=1661.74 cores=1,3,5,7
/proc/24364/stat : 24364 (toysat) R 24361 24364 24001 0 -1 4202496 274848 0 0 0 166130 44 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140737087619328 5823320 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24364/statm: 333201 274440 893 2943 0 330095 0
[pid=24364/tid=24365] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24365/stat : 24365 (toysat) S 24361 24364 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247640812784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24364/tid=24366] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24366/stat : 24366 (toysat) S 24361 24364 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247630322928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24364/tid=24367] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24367/stat : 24367 (toysat) S 24361 24364 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247619849392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1332804

[startup+1722.3 s]
/proc/loadavg: 2.15 2.12 2.09 3/183 24432
/proc/meminfo: memFree=29325028/32872528 swapFree=249752/274280
[pid=24364] ppid=24361 vsize=1332804 CPUtime=1721.73 cores=1,3,5,7
/proc/24364/stat : 24364 (toysat) R 24361 24364 24001 0 -1 4202496 274848 0 0 0 172129 44 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140737087619328 5722604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24364/statm: 333201 274440 893 2943 0 330095 0
[pid=24364/tid=24365] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24365/stat : 24365 (toysat) S 24361 24364 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247640812784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24364/tid=24366] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24366/stat : 24366 (toysat) S 24361 24364 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247630322928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24364/tid=24367] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24367/stat : 24367 (toysat) S 24361 24364 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247619849392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1332804

[startup+1782.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/183 24434
/proc/meminfo: memFree=29324780/32872528 swapFree=249752/274280
[pid=24364] ppid=24361 vsize=1332804 CPUtime=1781.72 cores=1,3,5,7
/proc/24364/stat : 24364 (toysat) R 24361 24364 24001 0 -1 4202496 274848 0 0 0 178128 44 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140737087619328 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24364/statm: 333201 274440 893 2943 0 330095 0
[pid=24364/tid=24365] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24365/stat : 24365 (toysat) S 24361 24364 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247640812784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24364/tid=24366] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24366/stat : 24366 (toysat) S 24361 24364 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247630322928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24364/tid=24367] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24367/stat : 24367 (toysat) S 24361 24364 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247619849392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1332804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.08 2.11 2.09 4/183 24434
/proc/meminfo: memFree=29325276/32872528 swapFree=249752/274280
[pid=24364] ppid=24361 vsize=1332804 CPUtime=1800.01 cores=1,3,5,7
/proc/24364/stat : 24364 (toysat) R 24361 24364 24001 0 -1 4202496 274848 0 0 0 179957 44 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140737087619328 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24364/statm: 333201 274440 893 2943 0 330095 0
[pid=24364/tid=24365] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24365/stat : 24365 (toysat) S 24361 24364 24001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247640812784 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24364/tid=24366] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24366/stat : 24366 (toysat) S 24361 24364 24001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247630322928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24364/tid=24367] ppid=24361 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24364/task/24367/stat : 24367 (toysat) S 24361 24364 24001 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31136277 1364791296 274440 33554432000 4194304 16246674 140737087637408 140247619849392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1332804

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.03
CPU user time (s): 1799.58
CPU system time (s): 0.448931
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 1332804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.448931
maximum resident set size= 1097760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274848
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= 466
involuntary context switches= 1927

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52031 second user time and 6.99894 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-27 00:42:43
IDJOB=4116533
IDBENCH=109482
IDSOLVER=2542
FILE ID=node107/4116533-1466980962
RUNJOBID= node107-1466979161-24190
PBS_JOBID= 19976391
Free space on /tmp= 71672 MiB

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

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

MD5SUM BENCH= bfcd781f18820c497ed9f650463d13eb
RANDOM SEED=1995181192

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31455968 kB
Buffers:           27412 kB
Cached:           327400 kB
SwapCached:         1976 kB
Active:           152560 kB
Inactive:         281616 kB
Active(anon):      81240 kB
Inactive(anon):      616 kB
Active(file):      71320 kB
Inactive(file):   281000 kB
Unevictable:      274280 kB
Mlocked:          249752 kB
SwapTotal:      67108856 kB
SwapFree:       67099120 kB
Dirty:             33548 kB
Writeback:             0 kB
AnonPages:        351396 kB
Mapped:             9500 kB
Shmem:                 0 kB
Slab:             576212 kB
SReclaimable:      19296 kB
SUnreclaim:       556916 kB
KernelStack:        1504 kB
PageTables:         6872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1405252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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= 71656 MiB
End job on node107 at 2016-06-27 01:12:43