Trace number 4107894

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

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12032_8-unsat.opb
MD5SUM3890946cb13ab5dacc1331cb240d6a09
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 variables31460
Total number of constraints104814
Number of constraints which are clauses104298
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints516
Minimum length of a constraint1
Maximum length of a constraint95
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 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 534
Number of bits of the biggest sum of numbers10
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-19T00:40:03+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-4107894-1466289603.opb"]
0.00/0.01	c use --random-gen="190011593 2305861511 1183932097 3473267590 2661178519 2049778974 2718079026 2194644646 269980348 113211449 1769557148 4246759044 2118565415 2853613601 4068162633 2903089329 2457744919 548151081 3699198785 4069120251 2940547703 3377293973 1424150510 235961532 1158879533 2963496717 4141032616 1476360364 1203053755 2104107574 3305113203 3116020479 3131488884 1440112540 3387102028 2593283375 2972181147 1010465652 3505655443 756544164 2170679893 4178560553 3649434492 1344229003 573727236 3596025554 613868924 1317666271 2470231746 1721844939 2282516103 1011909230 645965482 3947964813 3239823806 4070085973 1321659443 4055462141 2827715808 273894227 3804124644 2645214999 3368400368 821905739 1307327748 4263662304 3232729907 1171150503 4143310549 3177363782 3752436132 2163135927 3081545921 1285693331 1724796659 2325471145 3811562550 613208862 2305112029 653729131 137388868 2665716786 668077154 3800953353 1712947044 1013576772 2065669636 1008634901 3875521686 3311565836 3211779554 4118832522 3544332790 871047643 1024903302 216144958 1370912061 1101524033 2857203752 3855292803 2948033581 1929948691 1646771297 2000248527 3670950998 3685510180 2051770576 3814561547 888312759 1462018953 3293999411 865353370 305573814 3119312621 47262474 3712264335 2353259282 2689739004 3274677078 4035419195 733670236 98683002 21698507 2134610812 2693023695 2733572026 1658158745 4121345796 830248781 2434297545 3283606220 1043597619 1643559076 3689832583 4063724442 2261856370 142528847 2909606604 2544537642 3745949499 1558738267 2889628120 682937600 660907764 918796108 3730126637 226537679 2193948276 947377828 4154378769 4168534104 2578725324 1557819868 2745845060 3403958112 3337833594 1498336365 3296068157 529686697 2666398552 1606123876 3180502539 2591583539 3576100960 4000289401 661592199 1203053322 2400421778 3921518837 3466008567 810113462 2801658973 2128027650 3098842333 2450852071 4166440482 425285372 4101324915 3026059925 4122616959 1230966696 3832166529 1079303817 3770687934 1470666967 817795001 1715205124 1860536461 3153555964 816584698 325905646 2066878728 2021578308 3842623448 3731621039 4294082610 372857170 968186991 787784073 905323638 607709448 779469547 1685501846 2773792703 2892030507 4269725286 4180967415 4217934806 2239180107 994472952 3316514483 4099453236 2196664886 1111572122 1562416148 3503597962 1323618614 2496105726 4142650071 2492729266 51776549 1468557617 245668631 2628460079 2675550385 1798734043 2612332173 2990303973 2116635875 326780498 236791934 751687750 522002585 2769678367 92657563 2013490524 1637682603 2722080965 264960791 3338750592 3201618286 10827080 3362389475 363853282 965262912 648100320 3653794522 3234175387 2939003865 3020727718 725801366 811445829 2847407614 3941436168 1115817490 3916938640 255 362436" option to reproduce the execution
0.59/0.66	c #vars 31460
0.59/0.66	c #constraints 104814
1.59/1.66	c Solving starts ...
1.59/1.66	c ============================[ Search Statistics ]============================
1.59/1.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.59/1.66	c       |         |          |          |    Limit     GC | Var      | Constra 
1.59/1.66	c =============================================================================
1.79/1.80	c  0.0s |       0 |        0 |        0 |    32180      0 |    15572 |        0
1.89/1.98	c  0.2s |       1 |      198 |      100 |    32180      0 |    15572 |    19349
2.20/2.25	c  0.4s |       2 |      532 |      250 |    35398      0 |    15572 |    19349
2.59/2.63	c  0.8s |       3 |      874 |      475 |    38938      0 |    15572 |    19349
3.09/3.19	c  1.4s |       4 |     1480 |      813 |    42832      0 |    15572 |    19349
3.89/3.95	c  2.1s |       5 |     2215 |     1320 |    47116      0 |    15572 |    19349
5.09/5.14	c  3.3s |       6 |     3314 |     2081 |    57011      0 |    15572 |    19349
6.59/6.68	c  4.9s |       7 |     4775 |     3223 |    62713      0 |    15572 |    19349
8.69/8.74	c  6.9s |       7 |     6746 |     4623 |    62713      0 |    15572 |    19349
9.19/9.21	c  7.4s |       8 |     7272 |     4936 |    68985      0 |    15572 |    19349
11.49/11.54	c  9.7s |       8 |     8672 |     5936 |    68985      0 |    15572 |    19349
13.49/13.58	c 11.8s |       8 |     9622 |     6636 |    68985      0 |    15572 |    19349
15.28/15.38	c 13.6s |       9 |    10928 |     7506 |    75884      0 |    15572 |    19349
17.48/17.52	c 15.7s |       9 |    12524 |     8506 |    75884      0 |    15572 |    19349
19.68/19.70	c 17.9s |       9 |    14247 |     9806 |    75884      0 |    15572 |    19349
21.68/21.72	c 19.9s |       9 |    15817 |    10906 |    75884      0 |    15572 |    19349
22.78/22.83	c 21.0s |      10 |    16386 |    11361 |    83473      0 |    15572 |    19349
24.98/25.03	c 23.2s |      10 |    17498 |    12061 |    83473      0 |    15572 |    19349
27.18/27.25	c 25.4s |      10 |    18786 |    12961 |    83473      0 |    15572 |    19349
29.28/29.39	c 27.6s |      10 |    19958 |    13761 |    83473      0 |    15572 |    19349
31.38/31.49	c 29.7s |      10 |    20891 |    14461 |    83473      0 |    15572 |    19349
33.48/33.53	c 31.7s |      10 |    21863 |    15161 |    83473      0 |    15572 |    19349
35.68/35.73	c 33.9s |      10 |    22872 |    15861 |    83473      0 |    15572 |    19349
37.78/37.85	c 36.0s |      10 |    24188 |    16761 |    83473      0 |    15572 |    19349
38.59/38.68	c 36.9s |      11 |    24699 |    17144 |    91821      0 |    15572 |    19349
40.88/40.91	c 39.1s |      11 |    25737 |    17844 |    91821      0 |    15572 |    19349
42.99/43.07	c 41.3s |      11 |    26795 |    18644 |    91821      0 |    15572 |    19349
45.09/45.19	c 43.4s |      11 |    28054 |    19444 |    91821      0 |    15572 |    19349
47.18/47.25	c 45.4s |      11 |    29049 |    20144 |    91821      0 |    15572 |    19349
49.18/49.28	c 47.5s |      11 |    30057 |    20844 |    91821      0 |    15572 |    19349
51.18/51.28	c 49.5s |      11 |    31104 |    21544 |    91821      0 |    15572 |    19349
53.28/53.30	c 51.5s |      11 |    32065 |    22244 |    91821      0 |    15572 |    19349
55.48/55.55	c 53.7s |      11 |    33556 |    23244 |    91821      0 |    15572 |    19349
57.58/57.65	c 55.8s |      11 |    34936 |    24244 |    91821      0 |    15572 |    19349
59.68/59.72	c 57.9s |      11 |    35990 |    25044 |    91821      0 |    15572 |    19349
61.58/61.60	c 59.8s |      12 |    36970 |    25819 |   101004      0 |    15572 |    19349
63.78/63.89	c 62.1s |      12 |    38083 |    26619 |   101004      0 |    15572 |    19349
65.98/66.05	c 64.2s |      12 |    39155 |    27419 |   101004      0 |    15572 |    19349
68.08/68.16	c 66.4s |      12 |    40185 |    28219 |   101004      0 |    15572 |    19349
70.18/70.24	c 68.4s |      12 |    41333 |    29019 |   101004      0 |    15572 |    19349
72.28/72.31	c 70.5s |      12 |    42561 |    29919 |   101004      0 |    15572 |    19349
74.38/74.41	c 72.6s |      12 |    43703 |    30819 |   101004      0 |    15572 |    19349
76.58/76.64	c 74.8s |      12 |    44965 |    31819 |   101004      0 |    15572 |    19349
78.78/78.88	c 77.1s |      12 |    45776 |    32419 |   101004      0 |    15572 |    19349
80.77/80.89	c 79.1s |      12 |    46473 |    32919 |   101004      0 |    15572 |    19349
82.97/83.03	c 81.2s |      12 |    47552 |    33519 |   101004      0 |    15572 |    19349
85.07/85.13	c 83.3s |      12 |    49316 |    34819 |   101004      0 |    15572 |    19349
87.17/87.28	c 85.5s |      12 |    50793 |    35819 |   101004      0 |    15572 |    19349
89.27/89.39	c 87.6s |      12 |    52008 |    36719 |   101004      0 |    15572 |    19349
91.67/91.76	c 90.0s |      12 |    53007 |    37519 |   101004      0 |    15572 |    19349
94.17/94.20	c 92.4s |      12 |    53740 |    38119 |   101004      0 |    15572 |    19349
96.27/96.32	c 94.5s |      12 |    54555 |    38619 |   111105      0 |    15574 |    19357
97.27/97.31	c 95.5s |      13 |    54835 |    38832 |   111105      0 |    15574 |    19357
99.47/99.52	c 97.7s |      13 |    55958 |    39632 |   111105      0 |    15574 |    19357
101.57/101.66	c 99.9s |      13 |    57072 |    40432 |   111105      0 |    15574 |    19357
103.67/103.79	c  101s |      13 |    58023 |    41132 |   111105      0 |    15574 |    19357
105.87/105.95	c  104s |      13 |    58879 |    41732 |   111105      0 |    15574 |    19357
108.17/108.28	c  106s |      13 |    59784 |    42332 |   111105      0 |    15574 |    19357
110.27/110.34	c  108s |      13 |    60385 |    42832 |   111105      0 |    15574 |    19357
112.57/112.60	c  110s |      13 |    61122 |    43432 |   111105      0 |    15574 |    19357
114.57/114.61	c  112s |      13 |    61970 |    44032 |   111105      0 |    15574 |    19357
116.87/116.96	c  115s |      13 |    63177 |    44832 |   111105      0 |    15574 |    19357
119.07/119.10	c  117s |      13 |    64198 |    45532 |   111105      0 |    15574 |    19357
121.07/121.12	c  119s |      13 |    65193 |    46232 |   111105      0 |    15574 |    19357
123.07/123.16	c  121s |      13 |    66226 |    46932 |   111105      0 |    15574 |    19357
125.37/125.45	c  123s |      13 |    67239 |    47632 |   111105      0 |    15574 |    19357
127.57/127.68	c  125s |      13 |    68175 |    48232 |   111105      0 |    15574 |    19357
129.87/129.96	c  128s |      13 |    69124 |    48932 |   111105      0 |    15574 |    19357
132.07/132.17	c  130s |      13 |    70069 |    49632 |   111105      0 |    15574 |    19357
134.17/134.26	c  132s |      13 |    71235 |    50432 |   111105      0 |    15574 |    19357
136.26/136.37	c  134s |      13 |    72388 |    51132 |   111105      0 |    15574 |    19357
138.57/138.67	c  136s |      13 |    73351 |    51832 |   111105      0 |    15574 |    19357
140.56/140.69	c  138s |      13 |    74194 |    52432 |   111105      0 |    15574 |    19357
142.76/142.85	c  141s |      13 |    75312 |    53132 |   111105      0 |    15574 |    19357
144.76/144.87	c  143s |      13 |    76146 |    53732 |   111105      0 |    15574 |    19357
146.76/146.89	c  145s |      13 |    77124 |    54432 |   111105      0 |    15574 |    19357
148.86/148.90	c  147s |      13 |    78242 |    55132 |   111105      0 |    15574 |    19357
151.06/151.17	c  149s |      13 |    79178 |    55832 |   111105      0 |    15574 |    19357
153.36/153.40	c  151s |      13 |    80131 |    56532 |   111105      0 |    15574 |    19357
155.36/155.50	c  153s |      13 |    81157 |    57232 |   111105      0 |    15574 |    19357
157.66/157.74	c  155s |      13 |    82117 |    57932 |   111105      0 |    15574 |    19357
159.26/159.38	c  157s |      14 |    82759 |    58352 |   122216      0 |    15574 |    19357
161.36/161.46	c  159s |      14 |    83714 |    58852 |   122216      0 |    15574 |    19357
163.56/163.69	c  161s |      14 |    84934 |    59552 |   122216      0 |    15574 |    19357
165.76/165.83	c  164s |      14 |    86121 |    60252 |   122216      0 |    15574 |    19357
167.76/167.88	c  166s |      14 |    87647 |    61152 |   122216      0 |    15574 |    19357
170.06/170.11	c  168s |      14 |    88467 |    61752 |   122216      0 |    15574 |    19357
172.06/172.13	c  170s |      14 |    89128 |    62252 |   122216      0 |    15574 |    19357
174.16/174.28	c  172s |      14 |    89773 |    62752 |   122216      0 |    15574 |    19357
176.36/176.45	c  174s |      14 |    90754 |    63452 |   122216      0 |    15574 |    19357
178.76/178.85	c  177s |      14 |    91498 |    64052 |   122216      0 |    15574 |    19357
180.76/180.89	c  179s |      14 |    92092 |    64552 |   122216      0 |    15574 |    19357
183.06/183.18	c  181s |      14 |    93036 |    65252 |   122216      0 |    15574 |    19357
185.15/185.21	c  183s |      14 |    93633 |    65752 |   122216      0 |    15574 |    19357
187.35/187.49	c  185s |      14 |    94399 |    66352 |   122216      0 |    15574 |    19357
189.45/189.56	c  187s |      14 |    95039 |    66852 |   122216      0 |    15574 |    19357
191.75/191.84	c  190s |      14 |    95713 |    67352 |   122216      0 |    15574 |    19357
194.15/194.23	c  192s |      14 |    96270 |    67852 |   122216      0 |    15574 |    19357
196.35/196.47	c  194s |      14 |    97117 |    68452 |   122216      0 |    15574 |    19357
198.55/198.63	c  196s |      14 |    97733 |    68952 |   122216      0 |    15574 |    19357
200.55/200.67	c  198s |      14 |    98394 |    69452 |   122216      0 |    15574 |    19357
202.65/202.70	c  200s |      14 |    99062 |    69952 |   122216      0 |    15574 |    19357
204.66/204.74	c  202s |      14 |    99654 |    70452 |   122216      0 |    15574 |    19357
206.86/206.95	c  205s |      14 |   100792 |    71152 |   122216      0 |    15574 |    19357
208.96/209.04	c  207s |      14 |   101964 |    71952 |   122216      0 |    15574 |    19357
211.05/211.19	c  209s |      14 |   102963 |    72752 |   122216      0 |    15574 |    19357
213.36/213.45	c  211s |      14 |   104039 |    73552 |   122216      0 |    15574 |    19357
215.45/215.54	c  213s |      14 |   105016 |    74252 |   122216      0 |    15574 |    19357
217.65/217.70	c  215s |      14 |   106063 |    74952 |   122216      0 |    15574 |    19357
219.65/219.77	c  217s |      14 |   107346 |    75852 |   122216      0 |    15574 |    19357
221.75/221.88	c  220s |      14 |   108339 |    76652 |   122216      0 |    15574 |    19357
223.85/223.94	c  222s |      14 |   109659 |    77652 |   122216      0 |    15574 |    19357
225.95/226.00	c  224s |      14 |   110896 |    78652 |   122216      0 |    15574 |    19357
228.05/228.14	c  226s |      14 |   112182 |    79652 |   122216      0 |    15574 |    19357
230.15/230.25	c  228s |      14 |   113451 |    80552 |   122216      0 |    15574 |    19357
232.35/232.40	c  230s |      14 |   114616 |    81452 |   122216      0 |    15574 |    19357
234.45/234.52	c  232s |      14 |   115478 |    82152 |   122216      0 |    15574 |    19357
236.45/236.54	c  234s |      14 |   116264 |    82752 |   122216      0 |    15574 |    19357
238.45/238.55	c  236s |      14 |   117142 |    83452 |   122216      0 |    15574 |    19357
240.55/240.66	c  238s |      14 |   118003 |    84152 |   122216      0 |    15574 |    19357
242.85/242.93	c  241s |      14 |   118933 |    84952 |   122216      0 |    15574 |    19357
245.05/245.18	c  243s |      14 |   119779 |    85652 |   122216      0 |    15574 |    19357
247.25/247.36	c  245s |      14 |   120644 |    86352 |   122216      0 |    15574 |    19357
249.45/249.50	c  247s |      14 |   121525 |    87052 |   134438      0 |    15574 |    19357
251.24/251.35	c  249s |      15 |   122265 |    87632 |   134438      0 |    15574 |    19357
253.34/253.43	c  251s |      15 |   122938 |    88132 |   134438      0 |    15574 |    19357
255.54/255.67	c  253s |      15 |   123995 |    88932 |   134438      0 |    15574 |    19357
257.64/257.71	c  255s |      15 |   124994 |    89732 |   134438      0 |    15574 |    19357
259.74/259.80	c  258s |      15 |   125799 |    90432 |   134438      0 |    15574 |    19357
261.85/261.98	c  260s |      15 |   126806 |    91232 |   134438      0 |    15574 |    19357
264.05/264.11	c  262s |      15 |   127792 |    92032 |   134438      0 |    15574 |    19357
266.15/266.22	c  264s |      15 |   128725 |    92832 |   134438      0 |    15574 |    19357
268.14/268.22	c  266s |      15 |   129699 |    93632 |   134438      0 |    15574 |    19357
270.25/270.31	c  268s |      15 |   130615 |    94332 |   134438      0 |    15574 |    19357
272.45/272.59	c  270s |      15 |   131507 |    95032 |   134438      0 |    15574 |    19357
274.75/274.81	c  273s |      15 |   132308 |    95632 |   134438      0 |    15574 |    19357
276.75/276.82	c  275s |      15 |   133122 |    96232 |   134438      0 |    15574 |    19357
278.75/278.83	c  277s |      15 |   133785 |    96732 |   134438      0 |    15574 |    19357
280.95/281.04	c  279s |      15 |   134709 |    97332 |   134438      0 |    15574 |    19357
283.35/283.50	c  281s |      15 |   135478 |    97932 |   134438      0 |    15574 |    19357
285.45/285.56	c  283s |      15 |   136179 |    98432 |   134438      0 |    15574 |    19357
287.65/287.77	c  285s |      15 |   136688 |    98832 |   134438      0 |    15574 |    19357
289.75/289.89	c  288s |      15 |   137252 |    99232 |   134438      0 |    15574 |    19357
292.15/292.21	c  290s |      15 |   138084 |    99832 |   134438      0 |    15574 |    19357
294.15/294.29	c  292s |      15 |   138784 |   100332 |   134438      0 |    15574 |    19357
296.45/296.59	c  294s |      15 |   139402 |   100832 |   134438      0 |    15574 |    19357
298.55/298.67	c  296s |      15 |   140096 |   101332 |   134438      0 |    15574 |    19357
300.84/300.96	c  299s |      15 |   140868 |   101832 |   134438      0 |    15574 |    19357
303.14/303.22	c  301s |      15 |   141732 |   102532 |   134438      0 |    15574 |    19357
305.44/305.50	c  303s |      15 |   142652 |   103232 |   134438      0 |    15574 |    19357
307.54/307.63	c  305s |      15 |   143514 |   103832 |   134438      0 |    15574 |    19357
309.74/309.86	c  308s |      15 |   144534 |   104632 |   134438      0 |    15574 |    19357
312.04/312.12	c  310s |      15 |   145641 |   105432 |   134438      0 |    15574 |    19357
314.14/314.24	c  312s |      15 |   146618 |   106232 |   134438      0 |    15574 |    19357
316.24/316.30	c  314s |      15 |   147555 |   106932 |   134438      0 |    15574 |    19357
318.24/318.36	c  316s |      15 |   148602 |   107732 |   134438      0 |    15574 |    19357
320.24/320.38	c  318s |      15 |   149459 |   108432 |   134438      0 |    15574 |    19357
322.44/322.50	c  320s |      15 |   150396 |   109132 |   134438      0 |    15574 |    19357
324.64/324.70	c  322s |      15 |   151163 |   109732 |   134438      0 |    15574 |    19357
326.84/326.96	c  325s |      15 |   152159 |   110532 |   134438      0 |    15574 |    19357
329.14/329.25	c  327s |      15 |   153191 |   111332 |   134438      0 |    15574 |    19357
331.24/331.32	c  329s |      15 |   154019 |   112032 |   134438      0 |    15574 |    19357
333.25/333.36	c  331s |      15 |   154767 |   112632 |   134438      0 |    15574 |    19357
335.24/335.36	c  333s |      15 |   155501 |   113232 |   134438      0 |    15574 |    19357
337.44/337.57	c  335s |      15 |   156271 |   113832 |   134438      0 |    15574 |    19357
339.64/339.71	c  337s |      15 |   157080 |   114432 |   134438      0 |    15574 |    19357
341.84/341.92	c  340s |      15 |   158055 |   115232 |   134438      0 |    15574 |    19357
343.94/344.06	c  342s |      15 |   158834 |   115832 |   134438      0 |    15574 |    19357
346.24/346.32	c  344s |      15 |   159594 |   116432 |   134438      0 |    15574 |    19357
348.54/348.63	c  346s |      15 |   160284 |   117032 |   134438      0 |    15574 |    19357
350.84/350.94	c  349s |      15 |   161041 |   117632 |   134438      0 |    15574 |    19357
353.04/353.19	c  351s |      15 |   161746 |   118232 |   134438      0 |    15574 |    19357
355.24/355.40	c  353s |      15 |   162461 |   118832 |   134438      0 |    15574 |    19357
357.54/357.68	c  355s |      15 |   163171 |   119432 |   134438      0 |    15574 |    19357
359.64/359.75	c  357s |      15 |   163745 |   119932 |   134438      0 |    15574 |    19357
361.73/361.88	c  360s |      15 |   164344 |   120432 |   134438      0 |    15574 |    19357
363.93/364.01	c  362s |      15 |   164949 |   120932 |   134438      0 |    15574 |    19357
366.13/366.27	c  364s |      15 |   165550 |   121432 |   134438      0 |    15574 |    19357
368.63/368.76	c  366s |      15 |   166270 |   122032 |   134438      0 |    15574 |    19357
370.93/371.07	c  369s |      15 |   166995 |   122632 |   134438      0 |    15574 |    19357
373.03/373.12	c  371s |      15 |   167617 |   123132 |   134438      0 |    15574 |    19357
375.14/375.25	c  373s |      15 |   168205 |   123632 |   134438      0 |    15574 |    19357
377.43/377.53	c  375s |      15 |   169048 |   124332 |   134438      0 |    15574 |    19357
379.73/379.86	c  378s |      15 |   169899 |   125032 |   134438      0 |    15574 |    19357
382.03/382.18	c  380s |      15 |   170717 |   125732 |   134438      0 |    15574 |    19357
384.43/384.52	c  382s |      15 |   171402 |   126332 |   134438      0 |    15574 |    19357
386.63/386.77	c  384s |      15 |   171984 |   126832 |   134438      0 |    15574 |    19357
388.73/388.89	c  387s |      15 |   172556 |   127332 |   134438      0 |    15574 |    19357
391.13/391.22	c  389s |      15 |   173232 |   127932 |   134438      0 |    15574 |    19357
393.43/393.51	c  391s |      15 |   173948 |   128532 |   134438      0 |    15574 |    19357
395.53/395.66	c  393s |      15 |   174524 |   129032 |   134438      0 |    15574 |    19357
397.53/397.69	c  395s |      15 |   175097 |   129532 |   134438      0 |    15574 |    19357
399.63/399.78	c  397s |      15 |   175827 |   130132 |   134438      0 |    15574 |    19357
401.83/401.90	c  400s |      15 |   176419 |   130632 |   134438      0 |    15574 |    19357
403.93/404.03	c  402s |      15 |   177032 |   131132 |   147882      0 |    15574 |    19357
405.93/406.04	c  404s |      15 |   177488 |   131532 |   147882      0 |    15574 |    19357
406.03/406.18	c  404s |      16 |   177504 |   131552 |   147882      0 |    15574 |    19357
408.32/408.45	c  406s |      16 |   178230 |   132052 |   147882      0 |    15574 |    19357
410.52/410.69	c  408s |      16 |   179264 |   132852 |   147882      0 |    15574 |    19357
412.72/412.88	c  411s |      16 |   180204 |   133552 |   147882      0 |    15574 |    19357
414.82/414.97	c  413s |      16 |   181272 |   134252 |   147882      0 |    15574 |    19357
416.93/417.02	c  415s |      16 |   182167 |   134952 |   147882      0 |    15574 |    19357
418.92/419.07	c  417s |      16 |   183211 |   135752 |   147882      0 |    15574 |    19357
421.02/421.11	c  419s |      16 |   184236 |   136552 |   147882      0 |    15574 |    19357
423.22/423.34	c  421s |      16 |   185440 |   137452 |   147882      0 |    15574 |    19357
425.22/425.34	c  423s |      16 |   186443 |   138252 |   147882      0 |    15574 |    19357
427.42/427.53	c  425s |      16 |   187374 |   139052 |   147882      0 |    15574 |    19357
429.52/429.63	c  427s |      16 |   188297 |   139852 |   147882      0 |    15574 |    19357
431.62/431.74	c  429s |      16 |   189131 |   140552 |   147882      0 |    15574 |    19357
433.82/433.92	c  432s |      16 |   190056 |   141252 |   147882      0 |    15574 |    19357
435.82/435.92	c  434s |      16 |   190615 |   141752 |   147882      0 |    15574 |    19357
438.12/438.20	c  436s |      16 |   191369 |   142352 |   147882      0 |    15574 |    19357
440.12/440.21	c  438s |      16 |   192171 |   142952 |   147882      0 |    15574 |    19357
442.32/442.40	c  440s |      16 |   193130 |   143652 |   147882      0 |    15574 |    19357
444.33/444.50	c  442s |      16 |   194000 |   144352 |   147882      0 |    15574 |    19357
446.42/446.57	c  444s |      16 |   194870 |   145052 |   147882      0 |    15574 |    19357
448.42/448.59	c  446s |      16 |   195610 |   145652 |   147882      0 |    15574 |    19357
450.62/450.79	c  448s |      16 |   196530 |   146352 |   147882      0 |    15574 |    19357
452.92/453.06	c  451s |      16 |   197415 |   147052 |   147882      0 |    15574 |    19357
455.12/455.24	c  453s |      16 |   198175 |   147652 |   147882      0 |    15574 |    19357
457.42/457.57	c  455s |      16 |   199017 |   148352 |   147882      0 |    15574 |    19357
459.62/459.72	c  457s |      16 |   199889 |   149052 |   147882      0 |    15574 |    19357
461.72/461.88	c  460s |      16 |   200690 |   149752 |   147882      0 |    15574 |    19357
464.02/464.19	c  462s |      16 |   201530 |   150452 |   147882      0 |    15574 |    19357
466.32/466.46	c  464s |      16 |   202256 |   151052 |   147882      0 |    15574 |    19357
468.52/468.70	c  466s |      16 |   203078 |   151752 |   147882      0 |    15574 |    19357
470.82/470.90	c  469s |      16 |   203756 |   152352 |   147882      0 |    15574 |    19357
473.12/473.22	c  471s |      16 |   204471 |   152952 |   147882      0 |    15574 |    19357
475.31/475.49	c  473s |      16 |   205197 |   153552 |   147882      0 |    15574 |    19357
477.71/477.80	c  475s |      16 |   205919 |   154152 |   147882      0 |    15574 |    19357
479.81/479.99	c  478s |      16 |   206620 |   154752 |   147882      0 |    15574 |    19357
482.21/482.33	c  480s |      16 |   207441 |   155352 |   147882      0 |    15574 |    19357
484.51/484.60	c  482s |      16 |   208256 |   155952 |   147882      0 |    15574 |    19357
486.51/486.69	c  484s |      16 |   208969 |   156552 |   147882      0 |    15574 |    19357
488.81/488.90	c  487s |      16 |   209830 |   157252 |   147882      0 |    15574 |    19357
491.01/491.16	c  489s |      16 |   210583 |   157852 |   147882      0 |    15574 |    19357
493.01/493.16	c  491s |      16 |   211339 |   158452 |   147882      0 |    15574 |    19357
495.21/495.39	c  493s |      16 |   211955 |   158952 |   147882      0 |    15574 |    19357
497.61/497.74	c  495s |      16 |   212708 |   159552 |   147882      0 |    15574 |    19357
499.91/500.03	c  498s |      16 |   213446 |   160152 |   147882      0 |    15574 |    19357
502.11/502.20	c  500s |      16 |   214051 |   160652 |   147882      0 |    15574 |    19357
504.31/504.44	c  502s |      16 |   214790 |   161252 |   147882      0 |    15574 |    19357
506.51/506.61	c  504s |      16 |   215380 |   161752 |   147882      0 |    15574 |    19357
508.61/508.77	c  506s |      16 |   216012 |   162252 |   147882      0 |    15574 |    19357
510.91/511.08	c  509s |      16 |   216721 |   162852 |   147882      0 |    15574 |    19357
513.41/513.54	c  511s |      16 |   217489 |   163452 |   147882      0 |    15574 |    19357
515.61/515.73	c  513s |      16 |   218124 |   163952 |   147882      0 |    15574 |    19357
518.12/518.22	c  516s |      16 |   218714 |   164452 |   147882      0 |    15574 |    19357
520.31/520.49	c  518s |      16 |   219295 |   164952 |   147882      0 |    15574 |    19357
522.81/522.95	c  521s |      16 |   220034 |   165552 |   147882      0 |    15574 |    19357
524.81/524.98	c  523s |      16 |   220652 |   166052 |   147882      0 |    15574 |    19357
526.81/527.00	c  525s |      16 |   221261 |   166552 |   147882      0 |    15574 |    19357
529.01/529.15	c  527s |      16 |   221872 |   167052 |   147882      0 |    15574 |    19357
531.21/531.37	c  529s |      16 |   222455 |   167552 |   147882      0 |    15574 |    19357
533.51/533.62	c  531s |      16 |   223044 |   168052 |   147882      0 |    15574 |    19357
535.51/535.70	c  533s |      16 |   223512 |   168452 |   147882      0 |    15574 |    19357
537.91/538.01	c  536s |      16 |   224196 |   168952 |   147882      0 |    15574 |    19357
540.40/540.56	c  538s |      16 |   224876 |   169452 |   147882      0 |    15574 |    19357
542.50/542.69	c  540s |      16 |   225366 |   169852 |   147882      0 |    15574 |    19357
544.51/544.69	c  542s |      16 |   225816 |   170252 |   147882      0 |    15574 |    19357
546.90/547.04	c  545s |      16 |   226386 |   170752 |   147882      0 |    15574 |    19357
549.00/549.10	c  547s |      16 |   226840 |   171152 |   147882      0 |    15574 |    19357
551.20/551.31	c  549s |      16 |   227320 |   171552 |   147882      0 |    15574 |    19357
553.31/553.42	c  551s |      16 |   227854 |   171952 |   147882      0 |    15574 |    19357
555.60/555.70	c  553s |      16 |   228325 |   172352 |   147882      0 |    15574 |    19357
557.90/558.03	c  556s |      16 |   228799 |   172752 |   147882      0 |    15574 |    19357
560.30/560.44	c  558s |      16 |   229440 |   173252 |   147882      0 |    15574 |    19357
563.90/564.09	c  562s |      16 |   230015 |   173752 |   147882      1 |    15574 |    19357
566.51/566.62	c  564s |      16 |   230663 |   174252 |   147882      1 |    15574 |    19357
568.80/568.96	c  567s |      16 |   231253 |   174752 |   147882      1 |    15574 |    19357
571.00/571.19	c  569s |      16 |   232040 |   175352 |   147882      1 |    15574 |    19357
573.40/573.57	c  571s |      16 |   232785 |   175952 |   147882      1 |    15574 |    19357
575.80/575.91	c  574s |      16 |   233436 |   176452 |   147882      1 |    15574 |    19357
578.10/578.21	c  576s |      16 |   234073 |   176952 |   147882      1 |    15574 |    19357
580.30/580.43	c  578s |      16 |   234747 |   177452 |   147882      1 |    15574 |    19357
582.70/582.85	c  581s |      16 |   235397 |   177952 |   147882      1 |    15574 |    19357
584.80/584.97	c  583s |      16 |   236045 |   178452 |   147882      1 |    15574 |    19357
587.10/587.27	c  585s |      16 |   236676 |   178952 |   147882      1 |    15574 |    19357
589.50/589.61	c  587s |      16 |   237316 |   179452 |   147882      1 |    15574 |    19357
591.80/591.98	c  590s |      16 |   237922 |   179952 |   147882      1 |    15574 |    19357
594.20/594.31	c  592s |      16 |   238507 |   180452 |   147882      1 |    15574 |    19357
596.20/596.36	c  594s |      16 |   239024 |   180852 |   147882      1 |    15574 |    19357
598.70/598.85	c  597s |      16 |   239647 |   181352 |   147882      1 |    15574 |    19357
601.10/601.26	c  599s |      16 |   240250 |   181852 |   147882      1 |    15574 |    19357
603.60/603.71	c  601s |      16 |   240823 |   182352 |   147882      1 |    15574 |    19357
605.60/605.72	c  603s |      16 |   241306 |   182752 |   147882      1 |    15574 |    19357
607.69/607.82	c  606s |      16 |   241815 |   183152 |   147882      1 |    15574 |    19357
610.09/610.26	c  608s |      16 |   242428 |   183652 |   147882      1 |    15574 |    19357
612.19/612.32	c  610s |      16 |   242916 |   184052 |   147882      1 |    15574 |    19357
614.29/614.44	c  612s |      16 |   243428 |   184452 |   147882      1 |    15574 |    19357
616.49/616.69	c  614s |      16 |   243972 |   184852 |   147882      1 |    15574 |    19357
618.79/618.90	c  617s |      16 |   244557 |   185352 |   147882      1 |    15574 |    19357
620.99/621.16	c  619s |      16 |   245156 |   185852 |   147882      1 |    15574 |    19357
623.09/623.29	c  621s |      16 |   245796 |   186352 |   147882      1 |    15574 |    19357
625.39/625.57	c  623s |      16 |   246561 |   186952 |   147882      1 |    15574 |    19357
627.79/627.90	c  626s |      16 |   247346 |   187552 |   147882      1 |    15574 |    19357
629.79/629.92	c  628s |      16 |   247978 |   188052 |   147882      1 |    15574 |    19357
631.89/632.04	c  630s |      16 |   248617 |   188552 |   147882      1 |    15574 |    19357
634.09/634.25	c  632s |      16 |   249276 |   189052 |   147882      1 |    15574 |    19357
636.39/636.55	c  634s |      16 |   249930 |   189552 |   147882      1 |    15574 |    19357
638.59/638.78	c  636s |      16 |   250567 |   190052 |   147882      1 |    15574 |    19357
640.99/641.19	c  639s |      16 |   251182 |   190552 |   147882      1 |    15574 |    19357
643.40/643.52	c  641s |      16 |   251804 |   191052 |   147882      1 |    15574 |    19357
645.49/645.70	c  643s |      16 |   252434 |   191552 |   147882      1 |    15574 |    19357
647.80/647.99	c  646s |      16 |   253038 |   192052 |   147882      1 |    15574 |    19357
650.19/650.38	c  648s |      16 |   253670 |   192552 |   147882      1 |    15574 |    19357
652.49/652.60	c  650s |      16 |   254141 |   192952 |   147882      1 |    15574 |    19357
654.79/654.96	c  653s |      16 |   254721 |   193452 |   147882      1 |    15574 |    19357
656.99/657.19	c  655s |      16 |   255164 |   193852 |   147882      1 |    15574 |    19357
659.59/659.78	c  657s |      16 |   255822 |   194352 |   147882      1 |    15574 |    19357
661.59/661.78	c  659s |      16 |   256334 |   194752 |   147882      1 |    15574 |    19357
663.79/663.96	c  662s |      16 |   256853 |   195152 |   147882      1 |    15574 |    19357
666.39/666.51	c  664s |      16 |   257472 |   195652 |   147882      1 |    15574 |    19357
668.79/668.90	c  667s |      16 |   258086 |   196152 |   162671      1 |    15574 |    19357
670.89/671.05	c  669s |      16 |   258679 |   196652 |   162671      1 |    15574 |    19357
673.38/673.54	c  671s |      16 |   259268 |   197152 |   162671      1 |    15574 |    19357
674.88/675.01	c  673s |      17 |   259614 |   197432 |   162671      1 |    15574 |    19357
677.08/677.21	c  675s |      17 |   260090 |   197732 |   162671      1 |    15574 |    19357
679.08/679.28	c  677s |      17 |   260584 |   198132 |   162671      1 |    15574 |    19357
681.18/681.32	c  679s |      17 |   261048 |   198532 |   162671      1 |    15574 |    19357
683.58/683.77	c  681s |      17 |   261656 |   199032 |   162671      1 |    15574 |    19357
685.98/686.14	c  684s |      17 |   262288 |   199532 |   162671      1 |    15574 |    19357
688.08/688.23	c  686s |      17 |   262883 |   200032 |   162671      1 |    15574 |    19357
690.28/690.47	c  688s |      17 |   263647 |   200632 |   162671      1 |    15574 |    19357
692.78/692.90	c  691s |      17 |   264253 |   201132 |   162671      1 |    15574 |    19357
694.98/695.13	c  693s |      17 |   264893 |   201632 |   162671      1 |    15574 |    19357
697.39/697.51	c  695s |      17 |   265506 |   202132 |   162671      1 |    15574 |    19357
699.68/699.82	c  698s |      17 |   266101 |   202632 |   162671      1 |    15574 |    19357
701.79/701.94	c  700s |      17 |   266565 |   203032 |   162671      1 |    15574 |    19357
704.18/704.31	c  702s |      17 |   267189 |   203532 |   162671      1 |    15574 |    19357
706.58/706.71	c  704s |      17 |   267753 |   204032 |   162671      1 |    15574 |    19357
708.88/709.01	c  707s |      17 |   268339 |   204532 |   162671      1 |    15574 |    19357
710.88/711.09	c  709s |      17 |   268833 |   204932 |   162671      1 |    15574 |    19357
713.38/713.53	c  711s |      17 |   269480 |   205432 |   162671      1 |    15574 |    19357
715.38/715.58	c  713s |      17 |   269983 |   205832 |   162671      1 |    15574 |    19357
717.58/717.78	c  715s |      17 |   270480 |   206232 |   162671      1 |    15574 |    19357
719.68/719.86	c  718s |      17 |   270959 |   206632 |   162671      1 |    15574 |    19357
721.78/721.92	c  720s |      17 |   271433 |   207032 |   162671      1 |    15574 |    19357
723.88/724.05	c  722s |      17 |   271900 |   207432 |   162671      1 |    15574 |    19357
726.18/726.37	c  724s |      17 |   272495 |   207932 |   162671      1 |    15574 |    19357
728.28/728.41	c  726s |      17 |   272978 |   208332 |   162671      1 |    15574 |    19357
730.68/730.83	c  729s |      17 |   273566 |   208832 |   162671      1 |    15574 |    19357
733.08/733.23	c  731s |      17 |   274175 |   209332 |   162671      1 |    15574 |    19357
735.18/735.35	c  733s |      17 |   274636 |   209732 |   162671      1 |    15574 |    19357
737.37/737.56	c  735s |      17 |   275087 |   210132 |   162671      1 |    15574 |    19357
739.77/739.94	c  738s |      17 |   275674 |   210632 |   162671      1 |    15574 |    19357
741.97/742.17	c  740s |      17 |   276117 |   211032 |   162671      1 |    15574 |    19357
744.17/744.38	c  742s |      17 |   276590 |   211432 |   162671      1 |    15574 |    19357
746.37/746.57	c  744s |      17 |   277058 |   211832 |   162671      1 |    15574 |    19357
748.67/748.83	c  747s |      17 |   277680 |   212332 |   162671      1 |    15574 |    19357
751.18/751.32	c  749s |      17 |   278295 |   212832 |   162671      1 |    15574 |    19357
753.48/753.64	c  751s |      17 |   278939 |   213332 |   162671      1 |    15574 |    19357
755.58/755.73	c  753s |      17 |   279408 |   213732 |   162671      1 |    15574 |    19357
757.88/758.08	c  756s |      17 |   279875 |   214132 |   162671      1 |    15574 |    19357
760.37/760.59	c  758s |      17 |   280338 |   214532 |   162671      1 |    15574 |    19357
762.77/762.92	c  761s |      17 |   280803 |   214932 |   162671      1 |    15574 |    19357
764.87/765.07	c  763s |      17 |   281271 |   215332 |   162671      1 |    15574 |    19357
767.37/767.52	c  765s |      17 |   281856 |   215832 |   162671      1 |    15574 |    19357
769.67/769.82	c  768s |      17 |   282337 |   216232 |   162671      1 |    15574 |    19357
771.77/771.94	c  770s |      17 |   282663 |   216532 |   162671      1 |    15574 |    19357
773.87/774.10	c  772s |      17 |   283144 |   216932 |   162671      1 |    15574 |    19357
775.97/776.19	c  774s |      17 |   283615 |   217332 |   162671      1 |    15574 |    19357
778.37/778.50	c  776s |      17 |   284213 |   217832 |   162671      1 |    15574 |    19357
780.88/781.04	c  779s |      17 |   284867 |   218332 |   162671      1 |    15574 |    19357
783.17/783.33	c  781s |      17 |   285414 |   218732 |   162671      1 |    15574 |    19357
785.56/785.71	c  783s |      17 |   285891 |   219132 |   162671      1 |    15574 |    19357
787.66/787.88	c  786s |      17 |   286475 |   219532 |   162671      1 |    15574 |    19357
789.96/790.17	c  788s |      17 |   287316 |   220132 |   162671      1 |    15574 |    19357
792.35/792.52	c  790s |      17 |   287962 |   220632 |   162671      1 |    15574 |    19357
794.65/794.82	c  793s |      17 |   288484 |   221032 |   162671      1 |    15574 |    19357
796.75/796.91	c  795s |      17 |   289044 |   221432 |   162671      1 |    15574 |    19357
798.95/799.14	c  797s |      17 |   289712 |   221932 |   162671      1 |    15574 |    19357
801.15/801.36	c  799s |      17 |   290361 |   222432 |   162671      1 |    15574 |    19357
803.55/803.78	c  801s |      17 |   291011 |   222932 |   162671      1 |    15574 |    19357
805.95/806.16	c  804s |      17 |   291629 |   223432 |   162671      1 |    15574 |    19357
808.36/808.52	c  806s |      17 |   292236 |   223932 |   162671      1 |    15574 |    19357
810.45/810.66	c  808s |      17 |   292753 |   224332 |   162671      1 |    15574 |    19357
812.75/812.93	c  811s |      17 |   293404 |   224832 |   162671      1 |    15574 |    19357
814.84/815.02	c  813s |      17 |   293949 |   225232 |   162671      1 |    15574 |    19357
817.34/817.54	c  815s |      17 |   294664 |   225732 |   162671      1 |    15574 |    19357
819.54/819.70	c  817s |      17 |   295180 |   226132 |   162671      1 |    15574 |    19357
821.74/821.96	c  820s |      17 |   295691 |   226532 |   162671      1 |    15574 |    19357
824.04/824.24	c  822s |      17 |   296194 |   226932 |   162671      1 |    15574 |    19357
826.34/826.58	c  824s |      17 |   296694 |   227332 |   162671      1 |    15574 |    19357
828.64/828.87	c  827s |      17 |   297173 |   227732 |   162671      1 |    15574 |    19357
831.04/831.22	c  829s |      17 |   297688 |   228132 |   162671      1 |    15574 |    19357
833.33/833.50	c  831s |      17 |   298151 |   228532 |   162671      1 |    15574 |    19357
835.73/835.90	c  834s |      17 |   298657 |   228932 |   162671      1 |    15574 |    19357
838.23/838.46	c  836s |      17 |   299167 |   229332 |   162671      1 |    15574 |    19357
840.53/840.75	c  838s |      17 |   299635 |   229732 |   162671      1 |    15574 |    19357
842.73/842.91	c  841s |      17 |   300126 |   230132 |   162671      1 |    15574 |    19357
844.93/845.12	c  843s |      17 |   300608 |   230532 |   162671      1 |    15574 |    19357
847.33/847.57	c  845s |      17 |   301071 |   230932 |   162671      1 |    15574 |    19357
849.32/849.59	c  847s |      17 |   301403 |   231232 |   162671      1 |    15574 |    19357
851.82/852.07	c  850s |      17 |   301886 |   231632 |   162671      1 |    15574 |    19357
854.12/854.35	c  852s |      17 |   302346 |   232032 |   162671      1 |    15574 |    19357
856.32/856.51	c  854s |      17 |   302815 |   232432 |   162671      1 |    15574 |    19357
858.52/858.71	c  856s |      17 |   303290 |   232832 |   162671      1 |    15574 |    19357
860.82/861.10	c  859s |      17 |   303744 |   233232 |   162671      1 |    15574 |    19357
863.11/863.34	c  861s |      17 |   304066 |   233532 |   162671      1 |    15574 |    19357
865.31/865.59	c  863s |      17 |   304710 |   234032 |   162671      1 |    15574 |    19357
867.61/867.82	c  866s |      17 |   305175 |   234432 |   162671      1 |    15574 |    19357
869.92/870.17	c  868s |      17 |   305647 |   234832 |   162671      1 |    15574 |    19357
872.30/872.56	c  870s |      17 |   306103 |   235232 |   162671      1 |    15574 |    19357
874.70/874.93	c  873s |      17 |   306571 |   235632 |   162671      1 |    15574 |    19357
877.00/877.26	c  875s |      17 |   307027 |   236032 |   162671      1 |    15574 |    19357
879.10/879.39	c  877s |      17 |   307505 |   236432 |   162671      1 |    15574 |    19357
881.40/881.63	c  879s |      17 |   307964 |   236832 |   162671      1 |    15574 |    19357
883.39/883.63	c  881s |      17 |   308291 |   237132 |   162671      1 |    15574 |    19357
885.79/886.08	c  884s |      17 |   308771 |   237532 |   162671      1 |    15574 |    19357
888.09/888.30	c  886s |      17 |   309232 |   237932 |   162671      1 |    15574 |    19357
890.39/890.62	c  888s |      17 |   309692 |   238332 |   162671      1 |    15574 |    19357
892.79/893.07	c  891s |      17 |   310151 |   238732 |   162671      1 |    15574 |    19357
895.09/895.34	c  893s |      17 |   310597 |   239132 |   162671      1 |    15574 |    19357
897.69/897.94	c  896s |      17 |   311038 |   239532 |   162671      1 |    15574 |    19357
899.89/900.18	c  898s |      17 |   311355 |   239832 |   162671      1 |    15574 |    19357
902.48/902.79	c  900s |      17 |   311795 |   240232 |   162671      1 |    15574 |    19357
905.09/905.32	c  903s |      17 |   312276 |   240632 |   162671      1 |    15574 |    19357
907.48/907.70	c  905s |      17 |   312781 |   241032 |   162671      1 |    15574 |    19357
909.58/909.85	c  908s |      17 |   313297 |   241432 |   162671      1 |    15574 |    19357
911.68/911.95	c  910s |      17 |   313782 |   241832 |   162671      1 |    15574 |    19357
914.18/914.49	c  912s |      17 |   314261 |   242232 |   162671      1 |    15574 |    19357
916.48/916.71	c  914s |      17 |   314746 |   242632 |   162671      1 |    15574 |    19357
918.58/918.82	c  917s |      17 |   315222 |   243032 |   162671      1 |    15574 |    19357
920.68/920.97	c  919s |      17 |   315706 |   243432 |   162671      1 |    15574 |    19357
922.88/923.14	c  921s |      17 |   316242 |   243832 |   162671      1 |    15574 |    19357
925.08/925.30	c  923s |      17 |   316756 |   244232 |   162671      1 |    15574 |    19357
927.48/927.71	c  925s |      17 |   317218 |   244632 |   162671      1 |    15574 |    19357
929.88/930.19	c  928s |      17 |   317722 |   245032 |   162671      1 |    15574 |    19357
932.27/932.57	c  930s |      17 |   318217 |   245432 |   162671      1 |    15574 |    19357
934.67/934.91	c  933s |      17 |   318731 |   245832 |   162671      1 |    15574 |    19357
936.87/937.13	c  935s |      17 |   319194 |   246232 |   162671      1 |    15574 |    19357
939.37/939.67	c  937s |      17 |   319648 |   246632 |   162671      1 |    15574 |    19357
941.87/942.14	c  940s |      17 |   320119 |   247032 |   162671      1 |    15574 |    19357
944.17/944.49	c  942s |      17 |   320631 |   247432 |   162671      1 |    15574 |    19357
946.27/946.50	c  944s |      17 |   320983 |   247732 |   162671      1 |    15574 |    19357
948.27/948.53	c  946s |      17 |   321456 |   248132 |   162671      1 |    15574 |    19357
950.77/951.02	c  949s |      17 |   321918 |   248532 |   162671      1 |    15574 |    19357
952.96/953.20	c  951s |      17 |   322255 |   248832 |   162671      1 |    15574 |    19357
955.36/955.65	c  953s |      17 |   322699 |   249232 |   162671      1 |    15574 |    19357
957.56/957.81	c  956s |      17 |   323036 |   249532 |   162671      1 |    15574 |    19357
959.56/959.89	c  958s |      17 |   323394 |   249832 |   162671      1 |    15574 |    19357
962.16/962.46	c  960s |      17 |   323849 |   250232 |   162671      1 |    15574 |    19357
964.76/965.03	c  963s |      17 |   324281 |   250632 |   162671      1 |    15574 |    19357
967.46/967.70	c  965s |      17 |   324721 |   251032 |   162671      1 |    15574 |    19357
969.96/970.24	c  968s |      17 |   325160 |   251432 |   162671      1 |    15574 |    19357
972.35/972.69	c  970s |      17 |   325615 |   251832 |   162671      1 |    15574 |    19357
974.75/975.06	c  973s |      17 |   326066 |   252232 |   162671      1 |    15574 |    19357
977.35/977.67	c  975s |      17 |   326512 |   252632 |   162671      1 |    15574 |    19357
979.55/979.88	c  978s |      17 |   326858 |   252932 |   162671      1 |    15574 |    19357
981.75/982.02	c  980s |      17 |   327188 |   253232 |   162671      1 |    15574 |    19357
984.25/984.54	c  982s |      17 |   327650 |   253632 |   162671      1 |    15574 |    19357
986.25/986.60	c  984s |      17 |   327995 |   253932 |   162671      1 |    15574 |    19357
988.75/989.05	c  987s |      17 |   328438 |   254332 |   162671      1 |    15574 |    19357
990.85/991.13	c  989s |      17 |   328795 |   254632 |   162671      1 |    15574 |    19357
993.34/993.64	c  991s |      17 |   329262 |   255032 |   162671      1 |    15574 |    19357
995.84/996.17	c  994s |      17 |   329727 |   255432 |   162671      1 |    15574 |    19357
998.44/998.78	c  996s |      17 |   330181 |   255832 |   162671      1 |    15574 |    19357
1000.94/1001.25	c  999s |      17 |   330669 |   256232 |   162671      1 |    15574 |    19357
1003.33/1003.65	c 1001s |      17 |   331121 |   256632 |   162671      1 |    15574 |    19357
1005.83/1006.13	c 1004s |      17 |   331598 |   257032 |   162671      1 |    15574 |    19357
1008.44/1008.77	c 1006s |      17 |   332053 |   257432 |   162671      1 |    15574 |    19357
1010.64/1010.95	c 1009s |      17 |   332406 |   257732 |   162671      1 |    15574 |    19357
1013.23/1013.55	c 1011s |      17 |   332918 |   258132 |   162671      1 |    15574 |    19357
1015.72/1016.06	c 1014s |      17 |   333400 |   258532 |   162671      1 |    15574 |    19357
1017.72/1018.07	c 1016s |      17 |   333758 |   258832 |   162671      1 |    15574 |    19357
1020.12/1020.44	c 1018s |      17 |   334258 |   259232 |   162671      1 |    15574 |    19357
1022.32/1022.61	c 1020s |      17 |   334584 |   259532 |   162671      1 |    15574 |    19357
1024.52/1024.83	c 1023s |      17 |   334906 |   259832 |   162671      1 |    15574 |    19357
1026.62/1026.92	c 1025s |      17 |   335265 |   260132 |   162671      1 |    15574 |    19357
1028.62/1028.97	c 1027s |      17 |   335595 |   260432 |   162671      1 |    15574 |    19357
1030.92/1031.21	c 1029s |      17 |   335930 |   260732 |   162671      1 |    15574 |    19357
1033.01/1033.36	c 1031s |      17 |   336422 |   261132 |   162671      1 |    15574 |    19357
1035.51/1035.81	c 1034s |      17 |   336896 |   261532 |   162671      1 |    15574 |    19357
1037.81/1038.18	c 1036s |      17 |   337369 |   261932 |   162671      1 |    15574 |    19357
1040.21/1040.56	c 1038s |      17 |   337868 |   262332 |   162671      1 |    15574 |    19357
1042.71/1043.08	c 1041s |      17 |   338352 |   262732 |   162671      1 |    15574 |    19357
1045.31/1045.68	c 1043s |      17 |   338800 |   263132 |   162671      1 |    15574 |    19357
1047.61/1047.94	c 1046s |      17 |   339276 |   263532 |   162671      1 |    15574 |    19357
1050.11/1050.43	c 1048s |      17 |   339893 |   264032 |   162671      1 |    15574 |    19357
1052.41/1052.71	c 1050s |      17 |   340357 |   264432 |   162671      1 |    15574 |    19357
1054.40/1054.75	c 1052s |      17 |   340861 |   264832 |   162671      1 |    15574 |    19357
1056.70/1057.08	c 1055s |      17 |   341358 |   265232 |   162671      1 |    15574 |    19357
1059.20/1059.54	c 1057s |      17 |   341830 |   265632 |   162671      1 |    15574 |    19357
1061.60/1061.93	c 1060s |      17 |   342482 |   266132 |   162671      1 |    15574 |    19357
1063.69/1064.09	c 1062s |      17 |   342923 |   266532 |   162671      1 |    15574 |    19357
1065.89/1066.25	c 1064s |      17 |   343362 |   266932 |   162671      1 |    15574 |    19357
1068.19/1068.59	c 1066s |      17 |   343837 |   267332 |   162671      1 |    15574 |    19357
1070.29/1070.69	c 1068s |      17 |   344289 |   267732 |   162671      1 |    15574 |    19357
1072.58/1072.93	c 1071s |      17 |   344783 |   268132 |   162671      1 |    15574 |    19357
1074.68/1075.01	c 1073s |      17 |   345253 |   268532 |   162671      1 |    15574 |    19357
1076.98/1077.35	c 1075s |      17 |   345723 |   268932 |   162671      1 |    15574 |    19357
1079.18/1079.55	c 1077s |      17 |   346205 |   269332 |   162671      1 |    15574 |    19357
1081.28/1081.60	c 1079s |      17 |   346692 |   269732 |   162671      1 |    15574 |    19357
1083.48/1083.80	c 1081s |      17 |   347145 |   270132 |   162671      1 |    15574 |    19357
1085.68/1086.02	c 1084s |      17 |   347618 |   270532 |   162671      1 |    15574 |    19357
1088.08/1088.48	c 1086s |      17 |   348189 |   271032 |   162671      1 |    15574 |    19357
1090.18/1090.53	c 1088s |      17 |   348680 |   271432 |   162671      1 |    15574 |    19357
1092.27/1092.62	c 1090s |      17 |   349039 |   271732 |   162671      1 |    15574 |    19357
1094.37/1094.77	c 1092s |      17 |   349397 |   272032 |   162671      1 |    15574 |    19357
1096.48/1096.85	c 1095s |      17 |   349771 |   272332 |   162671      1 |    15574 |    19357
1098.68/1099.03	c 1097s |      17 |   350142 |   272632 |   162671      1 |    15574 |    19357
1101.17/1101.50	c 1099s |      17 |   350502 |   272932 |   162671      1 |    15574 |    19357
1103.26/1103.68	c 1101s |      17 |   350860 |   273232 |   162671      1 |    15574 |    19357
1105.27/1105.69	c 1103s |      17 |   351210 |   273532 |   162671      1 |    15574 |    19357
1107.47/1107.90	c 1106s |      17 |   351561 |   273832 |   162671      1 |    15574 |    19357
1109.76/1110.18	c 1108s |      17 |   351919 |   274132 |   162671      1 |    15574 |    19357
1112.26/1112.62	c 1110s |      17 |   352379 |   274532 |   162671      1 |    15574 |    19357
1115.86/1116.21	c 1114s |      17 |   352729 |   274832 |   162671      2 |    15574 |    19357
1118.05/1118.41	c 1116s |      17 |   353201 |   275232 |   162671      2 |    15574 |    19357
1120.15/1120.54	c 1118s |      17 |   353699 |   275632 |   162671      2 |    15574 |    19357
1122.25/1122.68	c 1120s |      17 |   354184 |   276032 |   162671      2 |    15574 |    19357
1124.35/1124.76	c 1122s |      17 |   354507 |   276332 |   162671      2 |    15574 |    19357
1126.64/1127.02	c 1125s |      17 |   354982 |   276732 |   162671      2 |    15574 |    19357
1129.04/1129.43	c 1127s |      17 |   355474 |   277132 |   162671      2 |    15574 |    19357
1131.55/1131.95	c 1130s |      17 |   355932 |   277532 |   162671      2 |    15574 |    19357
1133.85/1134.25	c 1132s |      17 |   356427 |   277932 |   162671      2 |    15574 |    19357
1136.54/1136.93	c 1135s |      17 |   357030 |   278432 |   162671      2 |    15574 |    19357
1138.64/1139.08	c 1137s |      17 |   357516 |   278832 |   162671      2 |    15574 |    19357
1141.24/1141.60	c 1139s |      17 |   357987 |   279232 |   162671      2 |    15574 |    19357
1143.33/1143.70	c 1141s |      17 |   358466 |   279632 |   162671      2 |    15574 |    19357
1145.43/1145.83	c 1144s |      17 |   358937 |   280032 |   162671      2 |    15574 |    19357
1147.63/1148.06	c 1146s |      17 |   359448 |   280432 |   162671      2 |    15574 |    19357
1149.83/1150.20	c 1148s |      17 |   359966 |   280832 |   162671      2 |    15574 |    19357
1152.12/1152.53	c 1150s |      17 |   360621 |   281332 |   162671      2 |    15574 |    19357
1154.32/1154.72	c 1152s |      17 |   361138 |   281732 |   162671      2 |    15574 |    19357
1156.42/1156.80	c 1154s |      17 |   361654 |   282132 |   162671      2 |    15574 |    19357
1158.52/1158.92	c 1157s |      17 |   362127 |   282532 |   162671      2 |    15574 |    19357
1160.52/1160.97	c 1159s |      17 |   362612 |   282932 |   162671      2 |    15574 |    19357
1162.72/1163.11	c 1161s |      17 |   363102 |   283332 |   162671      2 |    15574 |    19357
1164.72/1165.14	c 1163s |      17 |   363556 |   283732 |   162671      2 |    15574 |    19357
1166.72/1167.17	c 1165s |      17 |   364031 |   284132 |   162671      2 |    15574 |    19357
1169.02/1169.42	c 1167s |      17 |   364637 |   284632 |   162671      2 |    15574 |    19357
1171.12/1171.59	c 1169s |      17 |   365098 |   285032 |   162671      2 |    15574 |    19357
1173.32/1173.75	c 1171s |      17 |   365580 |   285432 |   162671      2 |    15574 |    19357
1175.41/1175.85	c 1174s |      17 |   366054 |   285832 |   162671      2 |    15574 |    19357
1177.51/1177.99	c 1176s |      17 |   366509 |   286232 |   162671      2 |    15574 |    19357
1179.92/1180.31	c 1178s |      17 |   366984 |   286632 |   162671      2 |    15574 |    19357
1181.90/1182.36	c 1180s |      17 |   367335 |   286932 |   162671      2 |    15574 |    19357
1184.42/1184.88	c 1183s |      17 |   367682 |   287232 |   162671      2 |    15574 |    19357
1186.71/1187.12	c 1185s |      17 |   368040 |   287532 |   162671      2 |    15574 |    19357
1188.91/1189.37	c 1187s |      17 |   368420 |   287832 |   162671      2 |    15574 |    19357
1191.21/1191.69	c 1189s |      17 |   368889 |   288232 |   162671      2 |    15574 |    19357
1193.51/1194.00	c 1192s |      17 |   369369 |   288632 |   162671      2 |    15574 |    19357
1195.91/1196.32	c 1194s |      17 |   369856 |   289032 |   162671      2 |    15574 |    19357
1198.20/1198.68	c 1196s |      17 |   370320 |   289432 |   162671      2 |    15574 |    19357
1200.70/1201.20	c 1199s |      17 |   370781 |   289832 |   162671      2 |    15574 |    19357
1203.11/1203.52	c 1201s |      17 |   371287 |   290232 |   162671      2 |    15574 |    19357
1205.21/1205.70	c 1203s |      17 |   371792 |   290632 |   162671      2 |    15574 |    19357
1207.30/1207.72	c 1205s |      17 |   372130 |   290932 |   162671      2 |    15574 |    19357
1209.80/1210.21	c 1208s |      17 |   372625 |   291332 |   162671      2 |    15574 |    19357
1212.40/1212.87	c 1211s |      17 |   373117 |   291732 |   162671      2 |    15574 |    19357
1214.80/1215.26	c 1213s |      17 |   373620 |   292132 |   162671      2 |    15574 |    19357
1217.30/1217.75	c 1215s |      17 |   374103 |   292532 |   162671      2 |    15574 |    19357
1219.70/1220.11	c 1218s |      17 |   374571 |   292932 |   162671      2 |    15574 |    19357
1221.70/1222.20	c 1220s |      17 |   374927 |   293232 |   162671      2 |    15574 |    19357
1224.19/1224.67	c 1222s |      17 |   375419 |   293632 |   162671      2 |    15574 |    19357
1226.69/1227.12	c 1225s |      17 |   375879 |   294032 |   162671      2 |    15574 |    19357
1229.19/1229.62	c 1227s |      17 |   376334 |   294432 |   178939      2 |    15574 |    19357
1231.39/1231.86	c 1230s |      17 |   376700 |   294732 |   178939      2 |    15574 |    19357
1233.48/1233.93	c 1232s |      17 |   377056 |   295032 |   178939      2 |    15574 |    19357
1235.68/1236.12	c 1234s |      17 |   377414 |   295332 |   178939      2 |    15574 |    19357
1238.29/1238.77	c 1236s |      17 |   377905 |   295732 |   178939      2 |    15574 |    19357
1240.98/1241.44	c 1239s |      17 |   378379 |   296132 |   178939      2 |    15574 |    19357
1241.98/1242.45	c 1240s |      18 |   378523 |   296252 |   178939      2 |    15574 |    19357
1244.67/1245.17	c 1243s |      18 |   378845 |   296452 |   178939      2 |    15574 |    19357
1247.08/1247.50	c 1245s |      18 |   379216 |   296752 |   178939      2 |    15574 |    19357
1249.28/1249.74	c 1247s |      18 |   379677 |   297152 |   178939      2 |    15574 |    19357
1251.57/1252.01	c 1250s |      18 |   380191 |   297552 |   178939      2 |    15574 |    19357
1254.07/1254.54	c 1252s |      18 |   380890 |   298052 |   178939      2 |    15574 |    19357
1256.57/1257.06	c 1255s |      18 |   381527 |   298552 |   178939      2 |    15574 |    19357
1258.67/1259.12	c 1257s |      18 |   382021 |   298952 |   178939      2 |    15574 |    19357
1261.17/1261.66	c 1259s |      18 |   382644 |   299452 |   178939      2 |    15574 |    19357
1263.76/1264.28	c 1262s |      18 |   383162 |   299852 |   178939      2 |    15574 |    19357
1266.36/1266.84	c 1265s |      18 |   383616 |   300252 |   178939      2 |    15574 |    19357
1268.66/1269.17	c 1267s |      18 |   384088 |   300652 |   178939      2 |    15574 |    19357
1270.96/1271.47	c 1269s |      18 |   384552 |   301052 |   178939      2 |    15574 |    19357
1273.16/1273.60	c 1271s |      18 |   384998 |   301452 |   178939      2 |    15574 |    19357
1275.56/1276.07	c 1274s |      18 |   385507 |   301852 |   178939      2 |    15574 |    19357
1278.06/1278.59	c 1276s |      18 |   385954 |   302252 |   178939      2 |    15574 |    19357
1280.46/1280.96	c 1279s |      18 |   386459 |   302652 |   178939      2 |    15574 |    19357
1282.55/1283.09	c 1281s |      18 |   386822 |   302952 |   178939      2 |    15574 |    19357
1285.05/1285.53	c 1283s |      18 |   387274 |   303352 |   178939      2 |    15574 |    19357
1287.35/1287.86	c 1286s |      18 |   387735 |   303752 |   178939      2 |    15574 |    19357
1289.86/1290.40	c 1288s |      18 |   388208 |   304152 |   178939      2 |    15574 |    19357
1291.95/1292.44	c 1290s |      18 |   388563 |   304452 |   178939      2 |    15574 |    19357
1293.95/1294.44	c 1292s |      18 |   388909 |   304752 |   178939      2 |    15574 |    19357
1296.35/1296.84	c 1295s |      18 |   389401 |   305152 |   178939      2 |    15574 |    19357
1298.45/1298.95	c 1297s |      18 |   389751 |   305452 |   178939      2 |    15574 |    19357
1300.85/1301.33	c 1299s |      18 |   390278 |   305852 |   178939      2 |    15574 |    19357
1302.94/1303.49	c 1301s |      18 |   390606 |   306152 |   178939      2 |    15574 |    19357
1305.14/1305.67	c 1303s |      18 |   391095 |   306552 |   178939      2 |    15574 |    19357
1307.34/1307.84	c 1306s |      18 |   391565 |   306952 |   178939      2 |    15574 |    19357
1309.84/1310.34	c 1308s |      18 |   392037 |   307352 |   178939      2 |    15574 |    19357
1312.13/1312.63	c 1310s |      18 |   392524 |   307752 |   178939      2 |    15574 |    19357
1314.43/1314.94	c 1313s |      18 |   392996 |   308152 |   178939      2 |    15574 |    19357
1316.53/1317.04	c 1315s |      18 |   393322 |   308452 |   178939      2 |    15574 |    19357
1319.03/1319.54	c 1317s |      18 |   393792 |   308852 |   178939      2 |    15574 |    19357
1321.23/1321.70	c 1319s |      18 |   394274 |   309252 |   178939      2 |    15574 |    19357
1323.63/1324.14	c 1322s |      18 |   394748 |   309652 |   178939      2 |    15574 |    19357
1325.93/1326.49	c 1324s |      18 |   395130 |   309952 |   178939      2 |    15574 |    19357
1328.03/1328.55	c 1326s |      18 |   395499 |   310252 |   178939      2 |    15574 |    19357
1330.73/1331.20	c 1329s |      18 |   395990 |   310652 |   178939      2 |    15574 |    19357
1332.92/1333.42	c 1331s |      18 |   396336 |   310952 |   178939      2 |    15574 |    19357
1334.93/1335.46	c 1333s |      18 |   396688 |   311252 |   178939      2 |    15574 |    19357
1337.02/1337.52	c 1335s |      18 |   397044 |   311552 |   178939      2 |    15574 |    19357
1339.52/1340.00	c 1338s |      18 |   397501 |   311952 |   178939      2 |    15574 |    19357
1342.12/1342.69	c 1340s |      18 |   397951 |   312352 |   178939      2 |    15574 |    19357
1344.62/1345.12	c 1343s |      18 |   398412 |   312752 |   178939      2 |    15574 |    19357
1346.62/1347.15	c 1345s |      18 |   398770 |   313052 |   178939      2 |    15574 |    19357
1348.72/1349.24	c 1347s |      18 |   399120 |   313352 |   178939      2 |    15574 |    19357
1350.82/1351.31	c 1349s |      18 |   399501 |   313652 |   178939      2 |    15574 |    19357
1353.52/1354.08	c 1352s |      18 |   399978 |   314052 |   178939      2 |    15574 |    19357
1355.62/1356.10	c 1354s |      18 |   400302 |   314352 |   178939      2 |    15574 |    19357
1357.72/1358.28	c 1356s |      18 |   400648 |   314652 |   178939      2 |    15574 |    19357
1360.12/1360.63	c 1358s |      18 |   400991 |   314952 |   178939      2 |    15574 |    19357
1362.42/1362.94	c 1361s |      18 |   401447 |   315352 |   178939      2 |    15574 |    19357
1364.81/1365.36	c 1363s |      18 |   401920 |   315752 |   178939      2 |    15574 |    19357
1367.21/1367.76	c 1365s |      18 |   402411 |   316152 |   178939      2 |    15574 |    19357
1369.21/1369.77	c 1367s |      18 |   402742 |   316452 |   178939      2 |    15574 |    19357
1371.32/1371.81	c 1370s |      18 |   403101 |   316752 |   178939      2 |    15574 |    19357
1374.01/1374.55	c 1372s |      18 |   403585 |   317152 |   178939      2 |    15574 |    19357
1376.10/1376.60	c 1374s |      18 |   403942 |   317452 |   178939      2 |    15574 |    19357
1378.40/1378.95	c 1377s |      18 |   404447 |   317852 |   178939      2 |    15574 |    19357
1380.60/1381.12	c 1379s |      18 |   404808 |   318152 |   178939      2 |    15574 |    19357
1383.31/1383.83	c 1382s |      18 |   405301 |   318552 |   178939      2 |    15574 |    19357
1385.61/1386.16	c 1384s |      18 |   405656 |   318852 |   178939      2 |    15574 |    19357
1388.10/1388.65	c 1386s |      18 |   406128 |   319252 |   178939      2 |    15574 |    19357
1390.30/1390.82	c 1389s |      18 |   406466 |   319552 |   178939      2 |    15574 |    19357
1392.90/1393.47	c 1391s |      18 |   406950 |   319952 |   178939      2 |    15574 |    19357
1394.99/1395.57	c 1393s |      18 |   407311 |   320252 |   178939      2 |    15574 |    19357
1397.60/1398.17	c 1396s |      18 |   407775 |   320652 |   178939      2 |    15574 |    19357
1399.59/1400.19	c 1398s |      18 |   408105 |   320952 |   178939      2 |    15574 |    19357
1402.00/1402.58	c 1400s |      18 |   408557 |   321352 |   178939      2 |    15574 |    19357
1404.69/1405.28	c 1403s |      18 |   409039 |   321752 |   178939      2 |    15574 |    19357
1407.19/1407.72	c 1405s |      18 |   409518 |   322152 |   178939      2 |    15574 |    19357
1409.49/1410.09	c 1408s |      18 |   409973 |   322552 |   178939      2 |    15574 |    19357
1411.69/1412.25	c 1410s |      18 |   410460 |   322952 |   178939      2 |    15574 |    19357
1413.99/1414.59	c 1412s |      18 |   410926 |   323352 |   178939      2 |    15574 |    19357
1416.58/1417.11	c 1415s |      18 |   411379 |   323752 |   178939      2 |    15574 |    19357
1418.98/1419.57	c 1417s |      18 |   411845 |   324152 |   178939      2 |    15574 |    19357
1421.08/1421.68	c 1419s |      18 |   412221 |   324452 |   178939      2 |    15574 |    19357
1423.08/1423.69	c 1421s |      18 |   412571 |   324752 |   178939      2 |    15574 |    19357
1425.28/1425.87	c 1424s |      18 |   412915 |   325052 |   178939      2 |    15574 |    19357
1427.39/1427.96	c 1426s |      18 |   413301 |   325352 |   178939      2 |    15574 |    19357
1429.88/1430.49	c 1428s |      18 |   413771 |   325752 |   178939      2 |    15574 |    19357
1432.17/1432.73	c 1430s |      18 |   414149 |   326052 |   178939      2 |    15574 |    19357
1434.37/1434.92	c 1433s |      18 |   414494 |   326352 |   178939      2 |    15574 |    19357
1436.97/1437.59	c 1435s |      18 |   414983 |   326752 |   178939      2 |    15574 |    19357
1439.17/1439.75	c 1437s |      18 |   415345 |   327052 |   178939      2 |    15574 |    19357
1441.87/1442.41	c 1440s |      18 |   415835 |   327452 |   178939      2 |    15574 |    19357
1444.27/1444.80	c 1442s |      18 |   416177 |   327752 |   178939      2 |    15574 |    19357
1446.97/1447.56	c 1445s |      18 |   416527 |   328052 |   178939      2 |    15574 |    19357
1449.38/1449.97	c 1448s |      18 |   416866 |   328352 |   178939      2 |    15574 |    19357
1451.67/1452.21	c 1450s |      18 |   417202 |   328652 |   178939      2 |    15574 |    19357
1453.68/1454.24	c 1452s |      18 |   417555 |   328952 |   178939      2 |    15574 |    19357
1455.97/1456.56	c 1454s |      18 |   417907 |   329252 |   178939      2 |    15574 |    19357
1458.07/1458.69	c 1456s |      18 |   418292 |   329552 |   178939      2 |    15574 |    19357
1460.77/1461.38	c 1459s |      18 |   418622 |   329852 |   178939      2 |    15574 |    19357
1463.27/1463.81	c 1462s |      18 |   418972 |   330152 |   178939      2 |    15574 |    19357
1465.57/1466.12	c 1464s |      18 |   419319 |   330452 |   178939      2 |    15574 |    19357
1467.57/1468.15	c 1466s |      18 |   419561 |   330652 |   178939      2 |    15574 |    19357
1470.07/1470.70	c 1468s |      18 |   419949 |   330952 |   178939      2 |    15574 |    19357
1472.77/1473.35	c 1471s |      18 |   420276 |   331252 |   178939      2 |    15574 |    19357
1475.16/1475.72	c 1473s |      18 |   420608 |   331552 |   178939      2 |    15574 |    19357
1477.36/1477.98	c 1476s |      18 |   420944 |   331852 |   178939      2 |    15574 |    19357
1480.07/1480.65	c 1478s |      18 |   421277 |   332152 |   178939      2 |    15574 |    19357
1482.66/1483.29	c 1481s |      18 |   421618 |   332452 |   178939      2 |    15574 |    19357
1485.16/1485.77	c 1483s |      18 |   421949 |   332752 |   178939      2 |    15574 |    19357
1487.56/1488.19	c 1486s |      18 |   422275 |   333052 |   178939      2 |    15574 |    19357
1489.97/1490.53	c 1488s |      18 |   422601 |   333352 |   178939      2 |    15574 |    19357
1492.27/1492.86	c 1491s |      18 |   422944 |   333652 |   178939      2 |    15574 |    19357
1494.96/1495.52	c 1493s |      18 |   423303 |   333952 |   178939      2 |    15574 |    19357
1497.06/1497.67	c 1495s |      18 |   423533 |   334152 |   178939      2 |    15574 |    19357
1499.87/1500.42	c 1498s |      18 |   423880 |   334452 |   178939      2 |    15574 |    19357
1502.17/1502.77	c 1500s |      18 |   424225 |   334752 |   178939      2 |    15574 |    19357
1504.27/1504.82	c 1503s |      18 |   424586 |   335052 |   178939      2 |    15574 |    19357
1506.57/1507.13	c 1505s |      18 |   424914 |   335352 |   178939      2 |    15574 |    19357
1508.67/1509.23	c 1507s |      18 |   425237 |   335652 |   178939      2 |    15574 |    19357
1510.76/1511.35	c 1509s |      18 |   425564 |   335952 |   178939      2 |    15574 |    19357
1512.76/1513.37	c 1511s |      18 |   425890 |   336252 |   178939      2 |    15574 |    19357
1514.96/1515.54	c 1513s |      18 |   426275 |   336552 |   178939      2 |    15574 |    19357
1517.66/1518.21	c 1516s |      18 |   426597 |   336852 |   178939      2 |    15574 |    19357
1519.86/1520.41	c 1518s |      18 |   426931 |   337152 |   178939      2 |    15574 |    19357
1521.86/1522.46	c 1520s |      18 |   427290 |   337452 |   178939      2 |    15574 |    19357
1524.16/1524.71	c 1522s |      18 |   427644 |   337752 |   178939      2 |    15574 |    19357
1526.26/1526.84	c 1525s |      18 |   427992 |   338052 |   178939      2 |    15574 |    19357
1528.56/1529.18	c 1527s |      18 |   428323 |   338352 |   178939      2 |    15574 |    19357
1530.66/1531.29	c 1529s |      18 |   428671 |   338652 |   178939      2 |    15574 |    19357
1532.96/1533.56	c 1531s |      18 |   429021 |   338952 |   178939      2 |    15574 |    19357
1535.66/1536.24	c 1534s |      18 |   429376 |   339252 |   178939      2 |    15574 |    19357
1537.96/1538.54	c 1536s |      18 |   429735 |   339552 |   178939      2 |    15574 |    19357
1540.35/1540.90	c 1539s |      18 |   430076 |   339852 |   178939      2 |    15574 |    19357
1542.95/1543.54	c 1541s |      18 |   430416 |   340152 |   178939      2 |    15574 |    19357
1545.75/1546.39	c 1544s |      18 |   430763 |   340452 |   178939      2 |    15574 |    19357
1548.45/1549.07	c 1547s |      18 |   431095 |   340752 |   178939      2 |    15574 |    19357
1550.65/1551.26	c 1549s |      18 |   431323 |   340952 |   178939      2 |    15574 |    19357
1553.45/1554.07	c 1552s |      18 |   431662 |   341252 |   178939      2 |    15574 |    19357
1556.15/1556.77	c 1554s |      18 |   432006 |   341552 |   178939      2 |    15574 |    19357
1558.95/1559.58	c 1557s |      18 |   432338 |   341852 |   178939      2 |    15574 |    19357
1561.56/1562.17	c 1560s |      18 |   432675 |   342152 |   178939      2 |    15574 |    19357
1563.66/1564.24	c 1562s |      18 |   432895 |   342352 |   178939      2 |    15574 |    19357
1566.05/1566.64	c 1564s |      18 |   433243 |   342652 |   178939      2 |    15574 |    19357
1568.65/1569.28	c 1567s |      18 |   433574 |   342952 |   178939      2 |    15574 |    19357
1571.15/1571.72	c 1569s |      18 |   433913 |   343252 |   178939      2 |    15574 |    19357
1573.35/1573.91	c 1572s |      18 |   434258 |   343552 |   178939      2 |    15574 |    19357
1575.86/1576.43	c 1574s |      18 |   434598 |   343852 |   178939      2 |    15574 |    19357
1578.15/1578.75	c 1576s |      18 |   434934 |   344152 |   178939      2 |    15574 |    19357
1580.55/1581.17	c 1579s |      18 |   435289 |   344452 |   178939      2 |    15574 |    19357
1583.15/1583.74	c 1581s |      18 |   435640 |   344752 |   178939      2 |    15574 |    19357
1585.55/1586.11	c 1584s |      18 |   435973 |   345052 |   178939      2 |    15574 |    19357
1587.55/1588.13	c 1586s |      18 |   436194 |   345252 |   178939      2 |    15574 |    19357
1590.95/1591.53	c 1589s |      18 |   436511 |   345552 |   178939      2 |    15574 |    19357
1593.85/1594.41	c 1592s |      18 |   436864 |   345852 |   178939      2 |    15574 |    19357
1595.85/1596.42	c 1594s |      18 |   437093 |   346052 |   178939      2 |    15574 |    19357
1598.05/1598.60	c 1596s |      18 |   437323 |   346252 |   178939      2 |    15574 |    19357
1600.34/1600.90	c 1599s |      18 |   437535 |   346452 |   178939      2 |    15574 |    19357
1602.34/1602.97	c 1601s |      18 |   437765 |   346652 |   178939      2 |    15574 |    19357
1605.34/1605.92	c 1604s |      18 |   438112 |   346952 |   178939      2 |    15574 |    19357
1607.34/1607.94	c 1606s |      18 |   438335 |   347152 |   178939      2 |    15574 |    19357
1609.44/1610.00	c 1608s |      18 |   438569 |   347352 |   178939      2 |    15574 |    19357
1612.05/1612.66	c 1610s |      18 |   438885 |   347652 |   178939      2 |    15574 |    19357
1614.74/1615.38	c 1613s |      18 |   439204 |   347952 |   178939      2 |    15574 |    19357
1616.94/1617.51	c 1615s |      18 |   439424 |   348152 |   178939      2 |    15574 |    19357
1619.24/1619.87	c 1618s |      18 |   439641 |   348352 |   178939      2 |    15574 |    19357
1621.84/1622.42	c 1620s |      18 |   439853 |   348552 |   178939      2 |    15574 |    19357
1624.25/1624.89	c 1623s |      18 |   440077 |   348752 |   178939      2 |    15574 |    19357
1627.34/1627.93	c 1626s |      18 |   440404 |   349052 |   178939      2 |    15574 |    19357
1629.54/1630.16	c 1628s |      18 |   440629 |   349252 |   178939      2 |    15574 |    19357
1632.64/1633.30	c 1631s |      18 |   440959 |   349552 |   178939      2 |    15574 |    19357
1634.84/1635.47	c 1633s |      18 |   441174 |   349752 |   178939      2 |    15574 |    19357
1637.24/1637.82	c 1636s |      18 |   441395 |   349952 |   178939      2 |    15574 |    19357
1639.64/1640.26	c 1638s |      18 |   441604 |   350152 |   178939      2 |    15574 |    19357
1641.84/1642.45	c 1640s |      18 |   441837 |   350352 |   178939      2 |    15574 |    19357
1644.04/1644.67	c 1642s |      18 |   442063 |   350552 |   178939      2 |    15574 |    19357
1646.54/1647.13	c 1645s |      18 |   442281 |   350752 |   178939      2 |    15574 |    19357
1649.14/1649.79	c 1647s |      18 |   442636 |   351052 |   178939      2 |    15574 |    19357
1651.94/1652.56	c 1650s |      18 |   442979 |   351352 |   178939      2 |    15574 |    19357
1654.64/1655.24	c 1653s |      18 |   443333 |   351652 |   178939      2 |    15574 |    19357
1657.74/1658.34	c 1656s |      18 |   443678 |   351952 |   178939      2 |    15574 |    19357
1659.73/1660.36	c 1658s |      18 |   443916 |   352152 |   178939      2 |    15574 |    19357
1661.83/1662.47	c 1660s |      18 |   444134 |   352352 |   178939      2 |    15574 |    19357
1664.84/1665.45	c 1663s |      18 |   444471 |   352652 |   178939      2 |    15574 |    19357
1666.93/1667.53	c 1665s |      18 |   444689 |   352852 |   178939      2 |    15574 |    19357
1669.63/1670.28	c 1668s |      18 |   445020 |   353152 |   178939      2 |    15574 |    19357
1671.83/1672.49	c 1670s |      18 |   445249 |   353352 |   178939      2 |    15574 |    19357
1673.93/1674.57	c 1672s |      18 |   445471 |   353552 |   178939      2 |    15574 |    19357
1676.83/1677.43	c 1675s |      18 |   445828 |   353852 |   178939      2 |    15574 |    19357
1679.14/1679.75	c 1677s |      18 |   446058 |   354052 |   178939      2 |    15574 |    19357
1681.13/1681.77	c 1679s |      18 |   446289 |   354252 |   178939      2 |    15574 |    19357
1683.83/1684.46	c 1682s |      18 |   446690 |   354552 |   178939      2 |    15574 |    19357
1686.73/1687.31	c 1685s |      18 |   447041 |   354852 |   178939      2 |    15574 |    19357
1689.14/1689.73	c 1687s |      18 |   447396 |   355152 |   178939      2 |    15574 |    19357
1691.34/1691.96	c 1690s |      18 |   447750 |   355452 |   178939      2 |    15574 |    19357
1693.73/1694.37	c 1692s |      18 |   448105 |   355752 |   178939      2 |    15574 |    19357
1696.13/1696.75	c 1694s |      18 |   448454 |   356052 |   178939      2 |    15574 |    19357
1698.33/1698.94	c 1697s |      18 |   448819 |   356352 |   178939      2 |    15574 |    19357
1700.73/1701.32	c 1699s |      18 |   449156 |   356652 |   178939      2 |    15574 |    19357
1703.03/1703.66	c 1701s |      18 |   449515 |   356952 |   178939      2 |    15574 |    19357
1705.63/1706.24	c 1704s |      18 |   449862 |   357252 |   178939      2 |    15574 |    19357
1708.33/1708.98	c 1707s |      18 |   450202 |   357552 |   178939      2 |    15574 |    19357
1710.63/1711.29	c 1709s |      18 |   450563 |   357852 |   178939      2 |    15574 |    19357
1712.93/1713.57	c 1711s |      18 |   450938 |   358152 |   178939      2 |    15574 |    19357
1715.03/1715.64	c 1713s |      18 |   451298 |   358452 |   178939      2 |    15574 |    19357
1717.63/1718.28	c 1716s |      18 |   451775 |   358852 |   178939      2 |    15574 |    19357
1719.93/1720.59	c 1718s |      18 |   452143 |   359152 |   178939      2 |    15574 |    19357
1722.03/1722.70	c 1720s |      18 |   452509 |   359452 |   178939      2 |    15574 |    19357
1724.33/1724.99	c 1723s |      18 |   452872 |   359752 |   178939      2 |    15574 |    19357
1726.43/1727.08	c 1725s |      18 |   453201 |   360052 |   178939      2 |    15574 |    19357
1728.63/1729.23	c 1727s |      18 |   453550 |   360352 |   178939      2 |    15574 |    19357
1730.72/1731.37	c 1729s |      18 |   453919 |   360652 |   178939      2 |    15574 |    19357
1733.03/1733.70	c 1731s |      18 |   454270 |   360952 |   178939      2 |    15574 |    19357
1735.12/1735.77	c 1733s |      18 |   454626 |   361252 |   178939      2 |    15574 |    19357
1737.43/1738.06	c 1736s |      18 |   455000 |   361552 |   178939      2 |    15574 |    19357
1739.52/1740.19	c 1738s |      18 |   455348 |   361852 |   178939      2 |    15574 |    19357
1741.72/1742.34	c 1740s |      18 |   455674 |   362152 |   178939      2 |    15574 |    19357
1743.72/1744.37	c 1742s |      18 |   455938 |   362352 |   178939      2 |    15574 |    19357
1745.82/1746.46	c 1744s |      18 |   456166 |   362552 |   178939      2 |    15574 |    19357
1748.43/1749.08	c 1747s |      18 |   456539 |   362852 |   178939      2 |    15574 |    19357
1751.12/1751.75	c 1749s |      18 |   456890 |   363152 |   178939      2 |    15574 |    19357
1753.22/1753.81	c 1752s |      18 |   457115 |   363352 |   178939      2 |    15574 |    19357
1755.22/1755.86	c 1754s |      18 |   457350 |   363552 |   178939      2 |    15574 |    19357
1757.52/1758.17	c 1756s |      18 |   457710 |   363852 |   178939      2 |    15574 |    19357
1759.53/1760.19	c 1758s |      18 |   457990 |   364052 |   178939      2 |    15574 |    19357
1761.92/1762.50	c 1760s |      18 |   458343 |   364352 |   178939      2 |    15574 |    19357
1764.52/1765.15	c 1763s |      18 |   458818 |   364752 |   178939      2 |    15574 |    19357
1767.52/1768.18	c 1766s |      18 |   459176 |   365052 |   178939      2 |    15574 |    19357
1770.02/1770.66	c 1768s |      18 |   459518 |   365352 |   178939      2 |    15574 |    19357
1772.52/1773.11	c 1771s |      18 |   459999 |   365752 |   178939      2 |    15574 |    19357
1775.12/1775.74	c 1773s |      18 |   460342 |   366052 |   178939      2 |    15574 |    19357
1777.12/1777.78	c 1775s |      18 |   460579 |   366252 |   178939      2 |    15574 |    19357
1779.82/1780.43	c 1778s |      18 |   460980 |   366552 |   178939      2 |    15574 |    19357
1782.22/1782.80	c 1780s |      18 |   461335 |   366852 |   178939      2 |    15574 |    19357
1784.82/1785.42	c 1783s |      18 |   461695 |   367152 |   178939      2 |    15574 |    19357
1787.62/1788.22	c 1786s |      18 |   462055 |   367452 |   178939      2 |    15574 |    19357
1789.71/1790.32	c 1788s |      18 |   462279 |   367652 |   178939      2 |    15574 |    19357
1792.01/1792.63	c 1790s |      18 |   462508 |   367852 |   178939      2 |    15574 |    19357
1795.11/1795.70	c 1793s |      18 |   462856 |   368152 |   178939      2 |    15574 |    19357
1797.61/1798.28	c 1796s |      18 |   463258 |   368452 |   178939      2 |    15574 |    19357

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

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

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


[startup+0 s]
/proc/loadavg: 2.37 2.30 2.27 4/180 26377
/proc/meminfo: memFree=29344888/32872528 swapFree=1370848/1518016
[pid=26377] ppid=26374 vsize=471484 CPUtime=0 cores=1,3,5,7
/proc/26377/stat : 26377 (toysat) R 26374 26377 24737 0 -1 4202496 1717 0 0 0 0 0 0 0 20 0 4 0 31006781 482799616 1566 33554432000 4194304 16246674 140735262557712 140735262557136 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 118383 1573 441 2943 0 115277 0
[pid=26377/tid=26378] ppid=26374 vsize=487868 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26378/stat : 26378 (toysat) S 26374 26377 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31006782 499576832 1632 33554432000 4194304 16246674 140735262557712 139752845061360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=26377/tid=26379] ppid=26374 vsize=491964 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26379/stat : 26379 (toysat) S 26374 26377 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31006782 503771136 1648 33554432000 4194304 16246674 140735262557712 139752834571504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=26377/tid=26380] ppid=26374 vsize=497084 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26380/stat : 26380 (toysat) S 26374 26377 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31006782 509014016 1665 33554432000 4194304 16246674 140735262557712 139752824097968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.37 2.30 2.27 4/180 26377
/proc/meminfo: memFree=29344888/32872528 swapFree=1370848/1518016
[pid=26377] ppid=26374 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/26377/stat : 26377 (toysat) R 26374 26377 24737 0 -1 4202496 25419 0 0 0 6 3 0 0 20 0 4 0 31006781 1333334016 25207 33554432000 4194304 16246674 140735262557712 140735262557024 8058197 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 325521 25222 800 2943 0 322415 0
[pid=26377/tid=26378] ppid=26374 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26378/stat : 26378 (toysat) S 26374 26377 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31006782 1333334016 25233 33554432000 4194304 16246674 140735262557712 139752845061360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=26377/tid=26379] ppid=26374 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26379/stat : 26379 (toysat) S 26374 26377 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31006782 1333334016 25244 33554432000 4194304 16246674 140735262557712 139752834571504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=26377/tid=26380] ppid=26374 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26380/stat : 26380 (toysat) S 26374 26377 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31006782 1333334016 25255 33554432000 4194304 16246674 140735262557712 139752824097968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200551 s]
/proc/loadavg: 2.37 2.30 2.27 4/180 26377
/proc/meminfo: memFree=29344888/32872528 swapFree=1370848/1518016
[pid=26377] ppid=26374 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/26377/stat : 26377 (toysat) R 26374 26377 24737 0 -1 4202496 47739 0 0 0 12 7 0 0 20 0 4 0 31006781 1344868352 48037 33554432000 4194304 16246674 140735262557712 140735262557024 7440632 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 328337 48037 801 2943 0 325231 0
[pid=26377/tid=26378] ppid=26374 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26378/stat : 26378 (toysat) S 26374 26377 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31006782 1344868352 48037 33554432000 4194304 16246674 140735262557712 139752845061360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=26377/tid=26379] ppid=26374 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26379/stat : 26379 (toysat) S 26374 26377 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31006782 1344868352 48037 33554432000 4194304 16246674 140735262557712 139752834571504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=26377/tid=26380] ppid=26374 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26380/stat : 26380 (toysat) S 26374 26377 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31006782 1344868352 48037 33554432000 4194304 16246674 140735262557712 139752824097968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300504 s]
/proc/loadavg: 2.37 2.30 2.27 4/180 26377
/proc/meminfo: memFree=29344888/32872528 swapFree=1370848/1518016
[pid=26377] ppid=26374 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/26377/stat : 26377 (toysat) R 26374 26377 24737 0 -1 4202496 54112 0 0 0 21 8 0 0 20 0 4 0 31006781 1344868352 54410 33554432000 4194304 16246674 140735262557712 140735262557024 12751185 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 328337 54410 801 2943 0 325231 0
[pid=26377/tid=26378] ppid=26374 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26378/stat : 26378 (toysat) S 26374 26377 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31006782 1344868352 54410 33554432000 4194304 16246674 140735262557712 139752845061360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=26377/tid=26379] ppid=26374 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26379/stat : 26379 (toysat) S 26374 26377 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31006782 1344868352 54410 33554432000 4194304 16246674 140735262557712 139752834571504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=26377/tid=26380] ppid=26374 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26380/stat : 26380 (toysat) S 26374 26377 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31006782 1344868352 54410 33554432000 4194304 16246674 140735262557712 139752824097968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.70043 s]
/proc/loadavg: 2.37 2.30 2.27 4/180 26377
/proc/meminfo: memFree=29344888/32872528 swapFree=1370848/1518016
[pid=26377] ppid=26374 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/26377/stat : 26377 (toysat) R 26374 26377 24737 0 -1 4202496 64321 0 0 0 59 10 0 0 20 0 4 0 31006781 1344868352 64619 33554432000 4194304 16246674 140735262557712 140735262557024 5889901 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 328337 64619 833 2943 0 325231 0
[pid=26377/tid=26378] ppid=26374 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26378/stat : 26378 (toysat) S 26374 26377 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31006782 1344868352 64619 33554432000 4194304 16246674 140735262557712 139752845061360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=26377/tid=26379] ppid=26374 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26379/stat : 26379 (toysat) S 26374 26377 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31006782 1344868352 64619 33554432000 4194304 16246674 140735262557712 139752834571504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=26377/tid=26380] ppid=26374 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26380/stat : 26380 (toysat) S 26374 26377 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31006782 1344868352 64619 33554432000 4194304 16246674 140735262557712 139752824097968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.37 2.30 2.27 4/184 26381
/proc/meminfo: memFree=28997884/32872528 swapFree=1370848/1518016
[pid=26377] ppid=26374 vsize=1328708 CPUtime=1.49 cores=1,3,5,7
/proc/26377/stat : 26377 (toysat) R 26374 26377 24737 0 -1 4202496 158106 0 0 0 124 25 0 0 20 0 4 0 31006781 1360596992 158404 33554432000 4194304 16246674 140735262557712 140735262556376 7205517 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 332177 158414 841 2943 0 329071 0
[pid=26377/tid=26378] ppid=26374 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26378/stat : 26378 (toysat) S 26374 26377 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31006782 1360596992 158419 33554432000 4194304 16246674 140735262557712 139752845061360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=26377/tid=26379] ppid=26374 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26379/stat : 26379 (toysat) S 26374 26377 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31006782 1360596992 158425 33554432000 4194304 16246674 140735262557712 139752834571504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=26377/tid=26380] ppid=26374 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26380/stat : 26380 (toysat) S 26374 26377 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31006782 1360596992 158430 33554432000 4194304 16246674 140735262557712 139752824097968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1328708

[startup+3.10041 s]
/proc/loadavg: 2.37 2.30 2.27 4/184 26381
/proc/meminfo: memFree=28585064/32872528 swapFree=1370848/1518016
[pid=26377] ppid=26374 vsize=1328708 CPUtime=3.09 cores=1,3,5,7
/proc/26377/stat : 26377 (toysat) R 26374 26377 24737 0 -1 4202496 229950 0 0 0 272 37 0 0 20 0 4 0 31006781 1360596992 230248 33554432000 4194304 16246674 140735262557712 140735262539584 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 332177 230252 886 2943 0 329071 0
[pid=26377/tid=26378] ppid=26374 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26378/stat : 26378 (toysat) S 26374 26377 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31006782 1360596992 230256 33554432000 4194304 16246674 140735262557712 139752845061360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=26377/tid=26379] ppid=26374 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26379/stat : 26379 (toysat) S 26374 26377 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31006782 1360596992 230258 33554432000 4194304 16246674 140735262557712 139752834571504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=26377/tid=26380] ppid=26374 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26380/stat : 26380 (toysat) S 26374 26377 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31006782 1360596992 230261 33554432000 4194304 16246674 140735262557712 139752824097968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1328708

[startup+6.30043 s]
/proc/loadavg: 2.34 2.30 2.27 3/184 26381
/proc/meminfo: memFree=28253612/32872528 swapFree=1370848/1518016
[pid=26377] ppid=26374 vsize=1328708 CPUtime=6.29 cores=1,3,5,7
/proc/26377/stat : 26377 (toysat) R 26374 26377 24737 0 -1 4202496 272859 0 0 0 586 43 0 0 20 0 4 0 31006781 1360596992 273157 33554432000 4194304 16246674 140735262557712 140735262539584 5600384 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 332177 273157 894 2943 0 329071 0
[pid=26377/tid=26378] ppid=26374 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26378/stat : 26378 (toysat) S 26374 26377 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31006782 1360596992 273157 33554432000 4194304 16246674 140735262557712 139752845061360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=26377/tid=26379] ppid=26374 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26379/stat : 26379 (toysat) S 26374 26377 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31006782 1360596992 273157 33554432000 4194304 16246674 140735262557712 139752834571504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=26377/tid=26380] ppid=26374 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26380/stat : 26380 (toysat) S 26374 26377 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31006782 1360596992 273157 33554432000 4194304 16246674 140735262557712 139752824097968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1328708

[startup+12.7004 s]
/proc/loadavg: 2.31 2.29 2.27 3/184 26381
/proc/meminfo: memFree=28254212/32872528 swapFree=1370848/1518016
[pid=26377] ppid=26374 vsize=1328708 CPUtime=12.69 cores=1,3,5,7
/proc/26377/stat : 26377 (toysat) R 26374 26377 24737 0 -1 4202496 272860 0 0 0 1226 43 0 0 20 0 4 0 31006781 1360596992 273158 33554432000 4194304 16246674 140735262557712 140735262539584 5829844 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 332177 273158 894 2943 0 329071 0
[pid=26377/tid=26378] ppid=26374 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26378/stat : 26378 (toysat) S 26374 26377 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31006782 1360596992 273158 33554432000 4194304 16246674 140735262557712 139752845061360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=26377/tid=26379] ppid=26374 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26379/stat : 26379 (toysat) S 26374 26377 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31006782 1360596992 273158 33554432000 4194304 16246674 140735262557712 139752834571504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=26377/tid=26380] ppid=26374 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26380/stat : 26380 (toysat) S 26374 26377 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31006782 1360596992 273158 33554432000 4194304 16246674 140735262557712 139752824097968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1328708

[startup+25.5005 s]
/proc/loadavg: 2.31 2.29 2.27 3/184 26381
/proc/meminfo: memFree=28202832/32872528 swapFree=1370848/1518016
[pid=26377] ppid=26374 vsize=1328708 CPUtime=25.48 cores=1,3,5,7
/proc/26377/stat : 26377 (toysat) R 26374 26377 24737 0 -1 4202496 272861 0 0 0 2505 43 0 0 20 0 4 0 31006781 1360596992 273159 33554432000 4194304 16246674 140735262557712 140735262539584 6022628 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 332177 273159 894 2943 0 329071 0
[pid=26377/tid=26378] ppid=26374 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26378/stat : 26378 (toysat) S 26374 26377 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31006782 1360596992 273159 33554432000 4194304 16246674 140735262557712 139752845061360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=26377/tid=26379] ppid=26374 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26379/stat : 26379 (toysat) S 26374 26377 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31006782 1360596992 273159 33554432000 4194304 16246674 140735262557712 139752834571504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=26377/tid=26380] ppid=26374 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26380/stat : 26380 (toysat) S 26374 26377 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31006782 1360596992 273159 33554432000 4194304 16246674 140735262557712 139752824097968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1328708

[startup+51.1005 s]
/proc/loadavg: 2.33 2.30 2.27 3/184 26381
/proc/meminfo: memFree=28203208/32872528 swapFree=1370848/1518016
[pid=26377] ppid=26374 vsize=1328708 CPUtime=51.08 cores=1,3,5,7
/proc/26377/stat : 26377 (toysat) R 26374 26377 24737 0 -1 4202496 272861 0 0 0 5065 43 0 0 20 0 4 0 31006781 1360596992 273159 33554432000 4194304 16246674 140735262557712 140735262539584 5717604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 332177 273159 894 2943 0 329071 0
[pid=26377/tid=26378] ppid=26374 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26378/stat : 26378 (toysat) S 26374 26377 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31006782 1360596992 273159 33554432000 4194304 16246674 140735262557712 139752845061360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=26377/tid=26379] ppid=26374 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26379/stat : 26379 (toysat) S 26374 26377 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31006782 1360596992 273159 33554432000 4194304 16246674 140735262557712 139752834571504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=26377/tid=26380] ppid=26374 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26380/stat : 26380 (toysat) S 26374 26377 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31006782 1360596992 273159 33554432000 4194304 16246674 140735262557712 139752824097968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1328708

[startup+102.3 s]
/proc/loadavg: 2.31 2.30 2.27 3/183 26383
/proc/meminfo: memFree=28202304/32872528 swapFree=1370848/1518016
[pid=26377] ppid=26374 vsize=1328708 CPUtime=102.28 cores=1,3,5,7
/proc/26377/stat : 26377 (toysat) R 26374 26377 24737 0 -1 4202496 272862 0 0 0 10185 43 0 0 20 0 4 0 31006781 1360596992 273160 33554432000 4194304 16246674 140735262557712 140735262539584 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 332177 273160 894 2943 0 329071 0
[pid=26377/tid=26378] ppid=26374 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26378/stat : 26378 (toysat) S 26374 26377 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31006782 1360596992 273160 33554432000 4194304 16246674 140735262557712 139752845061360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=26377/tid=26379] ppid=26374 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26379/stat : 26379 (toysat) S 26374 26377 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31006782 1360596992 273160 33554432000 4194304 16246674 140735262557712 139752834571504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=26377/tid=26380] ppid=26374 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26380/stat : 26380 (toysat) S 26374 26377 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31006782 1360596992 273160 33554432000 4194304 16246674 140735262557712 139752824097968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1328708


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

/proc/26377/task/26380/stat : 26380 (toysat) S 26374 26377 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752824097968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1362500

[startup+1302.3 s]
/proc/loadavg: 2.24 2.24 2.24 3/184 26435
/proc/meminfo: memFree=28110280/32872528 swapFree=1370848/1518016
[pid=26377] ppid=26374 vsize=1362500 CPUtime=1301.84 cores=1,3,5,7
/proc/26377/stat : 26377 (toysat) R 26374 26377 24737 0 -1 4202496 281707 0 0 0 130137 47 0 0 20 0 4 0 31006781 1395200000 281609 33554432000 4194304 16246674 140735262557712 140735262539584 5754664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 340625 281609 894 2943 0 337519 0
[pid=26377/tid=26378] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26378/stat : 26378 (toysat) S 26374 26377 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752845061360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=26377/tid=26379] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26379/stat : 26379 (toysat) S 26374 26377 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752834571504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=26377/tid=26380] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26380/stat : 26380 (toysat) S 26374 26377 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752824097968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1362500

[startup+1362.3 s]
/proc/loadavg: 2.27 2.25 2.25 3/183 26437
/proc/meminfo: memFree=28110992/32872528 swapFree=1370848/1518016
[pid=26377] ppid=26374 vsize=1362500 CPUtime=1361.81 cores=1,3,5,7
/proc/26377/stat : 26377 (toysat) R 26374 26377 24737 0 -1 4202496 281738 0 0 0 136134 47 0 0 20 0 4 0 31006781 1395200000 281609 33554432000 4194304 16246674 140735262557712 140735262539584 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 340625 281609 894 2943 0 337519 0
[pid=26377/tid=26378] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26378/stat : 26378 (toysat) S 26374 26377 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752845061360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=26377/tid=26379] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26379/stat : 26379 (toysat) S 26374 26377 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752834571504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=26377/tid=26380] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26380/stat : 26380 (toysat) S 26374 26377 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752824097968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1362500

[startup+1422.3 s]
/proc/loadavg: 2.16 2.22 2.23 3/183 26438
/proc/meminfo: memFree=28110940/32872528 swapFree=1370848/1518016
[pid=26377] ppid=26374 vsize=1362500 CPUtime=1421.79 cores=1,3,5,7
/proc/26377/stat : 26377 (toysat) R 26374 26377 24737 0 -1 4202496 281775 0 0 0 142132 47 0 0 20 0 4 0 31006781 1395200000 281609 33554432000 4194304 16246674 140735262557712 140735262539584 12483664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 340625 281609 894 2943 0 337519 0
[pid=26377/tid=26378] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26378/stat : 26378 (toysat) S 26374 26377 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752845061360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=26377/tid=26379] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26379/stat : 26379 (toysat) S 26374 26377 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752834571504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=26377/tid=26380] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26380/stat : 26380 (toysat) S 26374 26377 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752824097968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1362500

[startup+1482.3 s]
/proc/loadavg: 2.22 2.22 2.23 3/183 26439
/proc/meminfo: memFree=28111108/32872528 swapFree=1370848/1518016
[pid=26377] ppid=26374 vsize=1362500 CPUtime=1481.76 cores=1,3,5,7
/proc/26377/stat : 26377 (toysat) R 26374 26377 24737 0 -1 4202496 281781 0 0 0 148129 47 0 0 20 0 4 0 31006781 1395200000 281609 33554432000 4194304 16246674 140735262557712 140735262539584 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 340625 281609 894 2943 0 337519 0
[pid=26377/tid=26378] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26378/stat : 26378 (toysat) S 26374 26377 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752845061360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=26377/tid=26379] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26379/stat : 26379 (toysat) S 26374 26377 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752834571504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=26377/tid=26380] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26380/stat : 26380 (toysat) S 26374 26377 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752824097968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1362500

[startup+1542.31 s]
/proc/loadavg: 2.27 2.24 2.24 3/183 26440
/proc/meminfo: memFree=28111288/32872528 swapFree=1370848/1518016
[pid=26377] ppid=26374 vsize=1362500 CPUtime=1541.76 cores=1,3,5,7
/proc/26377/stat : 26377 (toysat) R 26374 26377 24737 0 -1 4202496 281781 0 0 0 154129 47 0 0 20 0 4 0 31006781 1395200000 281609 33554432000 4194304 16246674 140735262557712 140735262539584 5673627 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 340625 281609 894 2943 0 337519 0
[pid=26377/tid=26378] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26378/stat : 26378 (toysat) S 26374 26377 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752845061360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=26377/tid=26379] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26379/stat : 26379 (toysat) S 26374 26377 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752834571504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=26377/tid=26380] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26380/stat : 26380 (toysat) S 26374 26377 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752824097968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1362500

[startup+1602.3 s]
/proc/loadavg: 2.24 2.24 2.23 4/183 26490
/proc/meminfo: memFree=28194472/32872528 swapFree=1370848/1518016
[pid=26377] ppid=26374 vsize=1362500 CPUtime=1601.74 cores=1,3,5,7
/proc/26377/stat : 26377 (toysat) R 26374 26377 24737 0 -1 4202496 281781 0 0 0 160127 47 0 0 20 0 4 0 31006781 1395200000 281609 33554432000 4194304 16246674 140735262557712 140735262539584 5823131 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 340625 281609 894 2943 0 337519 0
[pid=26377/tid=26378] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26378/stat : 26378 (toysat) S 26374 26377 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752845061360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=26377/tid=26379] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26379/stat : 26379 (toysat) S 26374 26377 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752834571504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=26377/tid=26380] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26380/stat : 26380 (toysat) S 26374 26377 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752824097968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1362500

[startup+1662.3 s]
/proc/loadavg: 2.21 2.22 2.23 3/183 26492
/proc/meminfo: memFree=28195216/32872528 swapFree=1370848/1518016
[pid=26377] ppid=26374 vsize=1362500 CPUtime=1661.73 cores=1,3,5,7
/proc/26377/stat : 26377 (toysat) R 26374 26377 24737 0 -1 4202496 281781 0 0 0 166126 47 0 0 20 0 4 0 31006781 1395200000 281609 33554432000 4194304 16246674 140735262557712 140735262539584 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 340625 281609 894 2943 0 337519 0
[pid=26377/tid=26378] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26378/stat : 26378 (toysat) S 26374 26377 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752845061360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=26377/tid=26379] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26379/stat : 26379 (toysat) S 26374 26377 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752834571504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=26377/tid=26380] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26380/stat : 26380 (toysat) S 26374 26377 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752824097968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 1362500

[startup+1722.3 s]
/proc/loadavg: 2.29 2.24 2.23 3/183 26493
/proc/meminfo: memFree=28194892/32872528 swapFree=1370848/1518016
[pid=26377] ppid=26374 vsize=1362500 CPUtime=1721.73 cores=1,3,5,7
/proc/26377/stat : 26377 (toysat) R 26374 26377 24737 0 -1 4202496 281781 0 0 0 172126 47 0 0 20 0 4 0 31006781 1395200000 281609 33554432000 4194304 16246674 140735262557712 140735262539584 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 340625 281609 894 2943 0 337519 0
[pid=26377/tid=26378] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26378/stat : 26378 (toysat) S 26374 26377 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752845061360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=26377/tid=26379] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26379/stat : 26379 (toysat) S 26374 26377 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752834571504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=26377/tid=26380] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26380/stat : 26380 (toysat) S 26374 26377 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752824097968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1362500

[startup+1782.3 s]
/proc/loadavg: 2.16 2.21 2.22 3/183 26494
/proc/meminfo: memFree=28194536/32872528 swapFree=1370848/1518016
[pid=26377] ppid=26374 vsize=1362500 CPUtime=1781.72 cores=1,3,5,7
/proc/26377/stat : 26377 (toysat) R 26374 26377 24737 0 -1 4202496 281781 0 0 0 178125 47 0 0 20 0 4 0 31006781 1395200000 281609 33554432000 4194304 16246674 140735262557712 140735262539584 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 340625 281609 894 2943 0 337519 0
[pid=26377/tid=26378] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26378/stat : 26378 (toysat) S 26374 26377 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752845061360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=26377/tid=26379] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26379/stat : 26379 (toysat) S 26374 26377 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752834571504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=26377/tid=26380] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26380/stat : 26380 (toysat) S 26374 26377 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752824097968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1362500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.11 2.20 2.21 3/184 26497
/proc/meminfo: memFree=28194500/32872528 swapFree=1370848/1518016
[pid=26377] ppid=26374 vsize=1362500 CPUtime=1800.01 cores=1,3,5,7
/proc/26377/stat : 26377 (toysat) R 26374 26377 24737 0 -1 4202496 281781 0 0 0 179954 47 0 0 20 0 4 0 31006781 1395200000 281609 33554432000 4194304 16246674 140735262557712 140735262539584 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 340625 281609 894 2943 0 337519 0
[pid=26377/tid=26378] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26378/stat : 26378 (toysat) S 26374 26377 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752845061360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=26377/tid=26379] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26379/stat : 26379 (toysat) S 26374 26377 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752834571504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=26377/tid=26380] ppid=26374 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/26377/task/26380/stat : 26380 (toysat) S 26374 26377 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31006782 1395200000 281609 33554432000 4194304 16246674 140735262557712 139752824097968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1362500

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 26377 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.55
CPU system time (s): 0.477927
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 1362500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.477927
maximum resident set size= 1126436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281781
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= 504
involuntary context switches= 1858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5843 second user time and 6.94894 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-19 00:40:03
IDJOB=4107894
IDBENCH=73905
IDSOLVER=2542
FILE ID=node129/4107894-1466289603
RUNJOBID= node129-1466274985-24754
PBS_JOBID= 19918243
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12032_8-unsat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107894-1466289603/watcher-4107894-1466289603 -o /tmp/evaluation-result-4107894-1466289603/solver-4107894-1466289603 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466274985-24754 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107894-1466289603.opb

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

MD5SUM BENCH= 3890946cb13ab5dacc1331cb240d6a09
RANDOM SEED=1918032772

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29345540 kB
Buffers:           57456 kB
Cached:           130460 kB
SwapCached:         1832 kB
Active:          1168116 kB
Inactive:         103244 kB
Active(anon):    1082748 kB
Inactive(anon):     3464 kB
Active(file):      85368 kB
Inactive(file):    99780 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             19656 kB
Writeback:             0 kB
AnonPages:       2718008 kB
Mapped:            10856 kB
Shmem:                 0 kB
Slab:             601164 kB
SReclaimable:      44776 kB
SUnreclaim:       556388 kB
KernelStack:        1512 kB
PageTables:         9260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2746720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    266240 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= 71696 MiB
End job on node129 at 2016-06-19 01:10:04