Trace number 4078912

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K176.opb
MD5SUM3f678424628fecb2a53891618f9bde8f
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 variables20944
Total number of constraints21298
Number of constraints which are clauses21122
Number of constraints which are cardinality constraints (but not clauses)176
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint176
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 177
Number of bits of the biggest sum of numbers8
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-07T09:36:57+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-4078912-1465285017.opb"]
0.00/0.01	c use --random-gen="944669351 3948322572 2041362181 779205544 2926175733 565155469 738106449 1526641303 1682672065 3103460912 2255826284 254129922 2600319244 1533865950 2547107598 1617141880 3202895095 3926071629 1761133327 191325946 710934466 364596804 3382385645 2101291039 1915540672 927649721 315099427 522709793 1962337064 1055270296 2972037399 3881775359 4111420294 2768876372 742501521 4234926166 3381379214 2222424275 1306523537 1702735983 1416673206 3252215397 3251279379 1944730720 1909384729 1780620494 2338140934 1025386581 1096066923 799615553 2057387145 3744581427 1227969185 632132284 1108125362 2518133199 751217360 779019556 187277071 2497155596 206648311 2639077256 4013016920 578238705 3106130965 3256959472 1451558416 3523561246 1075970172 4238172037 821319483 262534160 372225226 37848897 2098297134 1094646731 4064530627 438978059 554638298 831046128 2899435751 1805834940 1277412909 1904219706 4114389275 1388798240 2397559721 1851327728 2571327971 1384183819 3156623130 1316302829 3321887115 2306802015 719886823 480545947 3322999479 2037900854 1584131822 1577999328 3885469676 666910607 2448015642 1005911359 3685618078 957856154 2260389855 2822097576 178476039 3417288173 1249304816 3384869092 2958586943 3093036159 1524244610 914242577 1365965075 2634901935 374416561 2121573961 3536030211 2723093 490497458 1245549122 549233358 1351999053 1653870399 3561240987 4127208881 1862388258 155180959 243656272 639169143 2759116584 2714476786 3925758813 897725235 3870421483 2528469916 4092934249 408799445 721109103 4135839616 1092451201 1252975261 1890540250 2015041700 3035698948 2110666774 1628816902 3161099158 1589583013 3936510260 768986207 3807963162 272783619 369029694 3124318806 2484472422 406050952 841796653 112197603 3899857339 3626517861 601458486 3223016797 1784888422 1131260936 118947201 1227357787 1772909800 594077682 662150453 3433058063 3870892422 3978908036 1841031656 940155898 4083939860 1576443768 674075970 3592325485 3088311192 25266908 606507729 1755150654 4083756171 2114828546 424605239 1520108409 1237530437 2151870731 3604371944 2459031238 3306448160 3852650453 2453003558 1506813968 4259702716 1161608773 3705756869 4102803265 4015911200 3072976113 3000753888 3331560200 4260310645 1851040666 554564828 3601183460 3513904685 1864396826 690335257 872470733 4235069649 4108631866 3502706380 4243263838 2040571712 2264227931 280592862 1503382785 2011028316 1312086253 380763602 2341233223 676283920 1988455213 4184542580 4137926688 1751258864 3533194324 813785833 3120112142 1913741867 1710650666 2282675994 3741919549 1650871937 3734461989 3568470547 3067152388 3171616645 3337944466 2803510205 3275600128 1269871535 3444163265 1398080684 864289235 3786594835 3600487485 3347656346 655714166 8751563 3976574695 255 362436" option to reproduce the execution
0.19/0.29	c #vars 20944
0.19/0.29	c #constraints 21298
0.69/0.76	c Solving starts ...
0.69/0.76	c ============================[ Search Statistics ]============================
0.69/0.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.76	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.76	c =============================================================================
0.69/0.76	c  0.0s |       0 |        0 |        0 |    14080      0 |      742 |        0
1.10/1.13	c  0.4s |       1 |     2706 |      100 |    14080      0 |      742 |      633
1.69/1.78	c  1.0s |       2 |     8440 |      250 |    15489      0 |      742 |      633
2.49/2.56	c  1.8s |       3 |    18616 |      475 |    17038      0 |      743 |      634
3.19/3.20	c  2.4s |       4 |    26308 |      813 |    18742      0 |      743 |      634
4.79/4.89	c  4.1s |       5 |    55040 |     1320 |    20617      0 |      744 |      635
6.89/6.99	c  6.2s |       5 |    61609 |     1920 |    22679      0 |      744 |      635
7.59/7.65	c  6.9s |       6 |    77443 |     2081 |    24947      0 |      744 |      635
9.69/9.76	c  9.0s |       6 |   108927 |     2681 |    24947      0 |      745 |      636
11.69/11.76	c 11.0s |       7 |   144306 |     3223 |    27442      0 |      745 |      636
14.09/14.10	c 13.3s |       7 |   179934 |     3923 |    27442      0 |      746 |      637
16.09/16.15	c 15.4s |       7 |   206668 |     4523 |    27442      0 |      747 |      638
17.59/17.70	c 16.9s |       8 |   232557 |     4936 |    30187      0 |      748 |      639
19.89/19.91	c 19.2s |       8 |   263249 |     5636 |    30187      0 |      749 |      640
21.89/21.96	c 21.2s |       8 |   293535 |     6236 |    30187      0 |      749 |      640
24.09/24.17	c 23.4s |       8 |   325420 |     7036 |    30187      0 |      749 |      640
25.99/26.07	c 25.3s |       9 |   351484 |     7506 |    33206      0 |      751 |      642
28.18/28.27	c 27.5s |       9 |   381627 |     8106 |    33206      0 |      751 |      642
30.68/30.78	c 30.0s |       9 |   417488 |     8706 |    33206      0 |      753 |      644
32.88/32.97	c 32.2s |       9 |   450090 |     9206 |    33206      0 |      754 |      645
34.98/35.04	c 34.3s |       9 |   484585 |     9706 |    33206      0 |      754 |      645
37.18/37.29	c 36.5s |       9 |   517812 |    10206 |    33206      0 |      755 |      646
39.39/39.45	c 38.7s |       9 |   539232 |    10906 |    33206      0 |      756 |      647
40.69/40.77	c 40.0s |      10 |   554584 |    11361 |    36527      0 |      756 |      647
42.88/42.94	c 42.2s |      10 |   576453 |    12061 |    36527      0 |      756 |      647
44.88/44.97	c 44.2s |      10 |   583819 |    12661 |    36527      0 |      756 |      647
47.29/47.34	c 46.6s |      10 |   607555 |    13361 |    36527      0 |      756 |      647
49.68/49.72	c 49.0s |      10 |   641146 |    14061 |    36527      0 |      756 |      647
51.69/51.78	c 51.0s |      10 |   667395 |    14561 |    36527      0 |      756 |      647
53.88/53.97	c 53.2s |      10 |   699342 |    15161 |    36527      0 |      756 |      647
56.28/56.30	c 55.5s |      10 |   723956 |    15761 |    36527      0 |      756 |      647
58.29/58.31	c 57.5s |      10 |   744199 |    16361 |    36527      0 |      756 |      647
60.59/60.65	c 59.9s |      10 |   779090 |    16861 |    36527      0 |      756 |      647
61.48/61.58	c 60.8s |      11 |   787980 |    17144 |    40180      0 |      756 |      647
64.08/64.14	c 63.4s |      11 |   819279 |    17644 |    40180      0 |      757 |      648
66.48/66.53	c 65.8s |      11 |   852676 |    18244 |    40180      0 |      757 |      648
68.48/68.56	c 67.8s |      11 |   878562 |    18644 |    40180      0 |      758 |      649
70.68/70.75	c 70.0s |      11 |   902109 |    19144 |    40180      0 |      758 |      649
72.77/72.80	c 72.0s |      11 |   925316 |    19544 |    40180      0 |      759 |      650
74.88/74.95	c 74.2s |      11 |   953994 |    20044 |    40180      0 |      759 |      650
77.28/77.38	c 76.6s |      11 |   978189 |    20644 |    40180      0 |      759 |      650
79.38/79.43	c 78.7s |      11 |  1005409 |    21044 |    40180      0 |      759 |      650
81.57/81.68	c 80.9s |      11 |  1020855 |    21644 |    40180      0 |      759 |      650
83.87/83.95	c 83.2s |      11 |  1035974 |    22244 |    40180      0 |      759 |      650
86.08/86.12	c 85.4s |      11 |  1043753 |    22844 |    40180      0 |      759 |      650
88.27/88.37	c 87.6s |      11 |  1061380 |    23544 |    40180      0 |      759 |      650
90.57/90.63	c 89.9s |      11 |  1073673 |    24244 |    40180      0 |      759 |      650
92.67/92.79	c 92.0s |      11 |  1085316 |    24944 |    40180      0 |      759 |      650
94.98/95.02	c 94.3s |      11 |  1088426 |    25644 |    40180      0 |      759 |      650
95.58/95.64	c 94.9s |      12 |  1089489 |    25819 |    44198      0 |      759 |      650
97.57/97.67	c 96.9s |      12 |  1097556 |    26319 |    44198      0 |      759 |      650
99.58/99.69	c 98.9s |      12 |  1114009 |    26919 |    44198      0 |      759 |      650
101.77/101.84	c  101s |      12 |  1116252 |    27519 |    44198      0 |      759 |      650
104.27/104.36	c  103s |      12 |  1132934 |    28119 |    44198      0 |      759 |      650
106.57/106.69	c  105s |      12 |  1160578 |    28619 |    44198      0 |      759 |      650
108.67/108.75	c  107s |      12 |  1172349 |    29219 |    44198      0 |      759 |      650
110.78/110.83	c  110s |      12 |  1192124 |    29819 |    44198      0 |      759 |      650
112.97/113.05	c  112s |      12 |  1211961 |    30419 |    44198      0 |      759 |      650
115.17/115.27	c  114s |      12 |  1222327 |    31019 |    44198      0 |      759 |      650
117.57/117.69	c  116s |      12 |  1238407 |    31619 |    44198      0 |      759 |      650
119.98/120.01	c  119s |      12 |  1254421 |    32219 |    44198      0 |      759 |      650
121.97/122.03	c  121s |      12 |  1273415 |    32619 |    44198      0 |      759 |      650
124.07/124.18	c  123s |      12 |  1284531 |    33219 |    44198      0 |      759 |      650
126.07/126.19	c  125s |      12 |  1295772 |    33719 |    44198      0 |      759 |      650
128.17/128.26	c  127s |      12 |  1311668 |    34219 |    44198      0 |      759 |      650
130.67/130.77	c  130s |      12 |  1330896 |    34819 |    44198      0 |      759 |      650
132.77/132.86	c  132s |      12 |  1351862 |    35319 |    44198      0 |      759 |      650
135.07/135.18	c  134s |      12 |  1379965 |    35819 |    44198      0 |      759 |      650
137.27/137.39	c  136s |      12 |  1403842 |    36319 |    44198      0 |      759 |      650
139.57/139.64	c  138s |      12 |  1422468 |    36819 |    44198      0 |      759 |      650
141.76/141.85	c  141s |      12 |  1441821 |    37319 |    44198      0 |      759 |      650
143.96/144.08	c  143s |      12 |  1460407 |    37919 |    44198      0 |      759 |      650
146.17/146.22	c  145s |      12 |  1475725 |    38519 |    44198      0 |      759 |      650
147.27/147.37	c  146s |      13 |  1484351 |    38832 |    48618      0 |      759 |      650
149.86/149.98	c  149s |      13 |  1504941 |    39132 |    48618      0 |      760 |      651
152.07/152.11	c  151s |      13 |  1517300 |    39532 |    48618      0 |      760 |      651
154.27/154.39	c  153s |      13 |  1527375 |    40132 |    48618      0 |      760 |      651
156.76/156.83	c  156s |      13 |  1551204 |    40732 |    48618      0 |      760 |      651
158.77/158.87	c  158s |      13 |  1559192 |    41132 |    48618      0 |      760 |      651
161.26/161.39	c  160s |      13 |  1572588 |    41632 |    48618      0 |      761 |      652
163.46/163.58	c  162s |      13 |  1588108 |    42132 |    48618      0 |      761 |      652
165.87/165.98	c  165s |      13 |  1611713 |    42632 |    48618      0 |      761 |      652
167.96/168.03	c  167s |      13 |  1625395 |    43232 |    48618      0 |      761 |      652
170.16/170.26	c  169s |      13 |  1640762 |    43932 |    48618      0 |      761 |      652
172.56/172.70	c  171s |      13 |  1656592 |    44332 |    48618      0 |      762 |      653
174.76/174.89	c  174s |      13 |  1678817 |    44732 |    48618      0 |      762 |      653
177.26/177.35	c  176s |      13 |  1694388 |    45232 |    48618      0 |      762 |      653
179.46/179.59	c  178s |      13 |  1715461 |    45732 |    48618      0 |      762 |      653
182.06/182.17	c  181s |      13 |  1741175 |    46232 |    48618      0 |      762 |      653
184.46/184.50	c  183s |      13 |  1763668 |    46732 |    48618      0 |      762 |      653
186.86/186.92	c  186s |      13 |  1780864 |    47032 |    48618      0 |      763 |      654
188.96/189.04	c  188s |      13 |  1802243 |    47432 |    48618      0 |      763 |      654
191.16/191.20	c  190s |      13 |  1819358 |    47932 |    48618      0 |      763 |      654
193.36/193.40	c  192s |      13 |  1839338 |    48332 |    48618      0 |      763 |      654
195.46/195.58	c  194s |      13 |  1856449 |    48732 |    48618      0 |      763 |      654
197.65/197.79	c  197s |      13 |  1881395 |    49132 |    48618      0 |      763 |      654
199.95/200.05	c  199s |      13 |  1904402 |    49532 |    48618      0 |      763 |      654
202.06/202.11	c  201s |      13 |  1912898 |    50132 |    48618      0 |      763 |      654
204.16/204.24	c  203s |      13 |  1934417 |    50632 |    48618      0 |      763 |      654
206.25/206.31	c  205s |      13 |  1955879 |    51032 |    48618      0 |      763 |      654
209.07/209.17	c  208s |      13 |  1968334 |    51432 |    48618      1 |      763 |      654
211.35/211.44	c  210s |      13 |  1992170 |    51832 |    48618      1 |      764 |      655
213.36/213.46	c  212s |      13 |  2010983 |    52332 |    48618      1 |      764 |      655
215.46/215.53	c  214s |      13 |  2035752 |    52832 |    48618      1 |      764 |      655
218.06/218.16	c  217s |      13 |  2066383 |    53332 |    48618      1 |      764 |      655
220.55/220.64	c  219s |      13 |  2091692 |    53832 |    48618      1 |      764 |      655
222.86/222.92	c  222s |      13 |  2108136 |    54332 |    48618      1 |      764 |      655
224.85/224.97	c  224s |      13 |  2130375 |    54732 |    48618      1 |      764 |      655
227.45/227.53	c  226s |      13 |  2156074 |    55332 |    48618      1 |      764 |      655
229.45/229.58	c  228s |      13 |  2171692 |    55732 |    48618      1 |      765 |      656
231.66/231.71	c  230s |      13 |  2191938 |    56132 |    48618      1 |      765 |      656
233.95/234.08	c  233s |      13 |  2209166 |    56632 |    48618      1 |      765 |      656
236.26/236.37	c  235s |      13 |  2231000 |    57132 |    48618      1 |      765 |      656
238.55/238.67	c  237s |      13 |  2249823 |    57632 |    48618      1 |      766 |      657
240.75/240.87	c  240s |      13 |  2269967 |    58132 |    53480      1 |      766 |      657
241.76/241.84	c  241s |      14 |  2279931 |    58352 |    53480      1 |      766 |      657
244.16/244.25	c  243s |      14 |  2299194 |    58752 |    53480      1 |      766 |      657
246.26/246.33	c  245s |      14 |  2317759 |    59252 |    53480      1 |      766 |      657
248.56/248.66	c  247s |      14 |  2342348 |    59752 |    53480      1 |      766 |      657
251.05/251.14	c  250s |      14 |  2363155 |    60252 |    53480      1 |      766 |      657
253.15/253.25	c  252s |      14 |  2385488 |    60652 |    53480      1 |      766 |      657
255.65/255.71	c  254s |      14 |  2410106 |    61152 |    53480      1 |      766 |      657
258.15/258.22	c  257s |      14 |  2435602 |    61652 |    53480      1 |      766 |      657
260.35/260.41	c  259s |      14 |  2455382 |    62152 |    53480      1 |      766 |      657
262.85/262.90	c  262s |      14 |  2478639 |    62752 |    53480      1 |      766 |      657
265.06/265.12	c  264s |      14 |  2493219 |    63352 |    53480      1 |      766 |      657
267.54/267.60	c  266s |      14 |  2517894 |    63852 |    53480      1 |      766 |      657
269.56/269.66	c  268s |      14 |  2525511 |    64352 |    53480      1 |      766 |      657
271.85/271.97	c  271s |      14 |  2545221 |    64752 |    53480      1 |      767 |      658
274.05/274.14	c  273s |      14 |  2563300 |    65152 |    53480      1 |      767 |      658
276.45/276.50	c  275s |      14 |  2587360 |    65552 |    53480      1 |      767 |      658
278.45/278.54	c  277s |      14 |  2605425 |    65952 |    53480      1 |      767 |      658
280.55/280.60	c  279s |      14 |  2624751 |    66452 |    53480      1 |      767 |      658
283.05/283.12	c  282s |      14 |  2639944 |    66952 |    53480      1 |      767 |      658
285.45/285.57	c  284s |      14 |  2646811 |    67352 |    53480      1 |      767 |      658
287.74/287.88	c  287s |      14 |  2664643 |    67852 |    53480      1 |      767 |      658
290.24/290.33	c  289s |      14 |  2683996 |    68352 |    53480      1 |      767 |      658
292.24/292.35	c  291s |      14 |  2690337 |    68852 |    53480      1 |      767 |      658
294.54/294.66	c  293s |      14 |  2700255 |    69252 |    53480      1 |      767 |      658
296.95/297.08	c  296s |      14 |  2719285 |    69652 |    53480      1 |      767 |      658
299.44/299.57	c  298s |      14 |  2735926 |    70252 |    53480      1 |      767 |      658
301.64/301.76	c  301s |      14 |  2750582 |    70652 |    53480      1 |      767 |      658
304.54/304.69	c  303s |      14 |  2772281 |    71152 |    53480      1 |      768 |      659
306.85/306.92	c  306s |      14 |  2787826 |    71552 |    53480      1 |      768 |      659
309.05/309.18	c  308s |      14 |  2799138 |    71952 |    53480      1 |      769 |      660
311.14/311.29	c  310s |      14 |  2817600 |    72452 |    53480      1 |      769 |      660
313.34/313.44	c  312s |      14 |  2834318 |    72852 |    53480      1 |      769 |      660
315.64/315.71	c  314s |      14 |  2839884 |    73352 |    53480      1 |      769 |      660
317.74/317.89	c  317s |      14 |  2856150 |    73752 |    53480      1 |      769 |      660
319.94/320.04	c  319s |      14 |  2874361 |    74252 |    53480      1 |      769 |      660
322.04/322.17	c  321s |      14 |  2896680 |    74552 |    53480      1 |      769 |      660
324.44/324.52	c  323s |      14 |  2911946 |    75052 |    53480      1 |      769 |      660
326.64/326.79	c  326s |      14 |  2926315 |    75552 |    53480      1 |      769 |      660
328.85/328.99	c  328s |      14 |  2935831 |    76252 |    53480      1 |      769 |      660
331.24/331.39	c  330s |      14 |  2951753 |    76652 |    53480      1 |      769 |      660
333.64/333.79	c  333s |      14 |  2976970 |    77152 |    53480      1 |      769 |      660
336.14/336.28	c  335s |      14 |  3001200 |    77552 |    53480      1 |      769 |      660
338.14/338.28	c  337s |      14 |  3015601 |    77952 |    53480      1 |      769 |      660
340.64/340.70	c  339s |      14 |  3031854 |    78352 |    53480      1 |      769 |      660
342.84/342.94	c  342s |      14 |  3048574 |    78952 |    53480      1 |      769 |      660
345.13/345.26	c  344s |      14 |  3066659 |    79352 |    53480      1 |      769 |      660
347.34/347.42	c  346s |      14 |  3075584 |    79752 |    53480      1 |      770 |      661
349.43/349.50	c  348s |      14 |  3090947 |    80052 |    53480      1 |      770 |      661
351.73/351.83	c  351s |      14 |  3095275 |    80152 |    53480      2 |      771 |      662
353.73/353.89	c  353s |      14 |  3099800 |    80552 |    53480      2 |      771 |      662
355.84/355.93	c  355s |      14 |  3117105 |    80952 |    53480      2 |      771 |      662
357.93/358.00	c  357s |      14 |  3138484 |    81352 |    53480      2 |      771 |      662
360.34/360.49	c  359s |      14 |  3164094 |    81852 |    53480      2 |      771 |      662
362.63/362.78	c  362s |      14 |  3182204 |    82352 |    53480      2 |      771 |      662
365.04/365.10	c  364s |      14 |  3200486 |    82852 |    53480      2 |      771 |      662
367.13/367.28	c  366s |      14 |  3217322 |    83452 |    53480      2 |      771 |      662
369.64/369.78	c  369s |      14 |  3235386 |    83952 |    53480      2 |      771 |      662
372.23/372.39	c  371s |      14 |  3259336 |    84452 |    53480      2 |      771 |      662
374.43/374.55	c  373s |      14 |  3280790 |    84852 |    53480      2 |      771 |      662
376.73/376.80	c  376s |      14 |  3298280 |    85252 |    53480      2 |      771 |      662
379.33/379.40	c  378s |      14 |  3322732 |    85652 |    53480      2 |      771 |      662
381.53/381.65	c  380s |      14 |  3340377 |    86052 |    53480      2 |      771 |      662
383.84/383.91	c  383s |      14 |  3353318 |    86452 |    53480      2 |      771 |      662
385.93/386.00	c  385s |      14 |  3372681 |    86852 |    53480      2 |      771 |      662
388.33/388.46	c  387s |      14 |  3386496 |    87152 |    58829      2 |      771 |      662
390.73/390.85	c  390s |      14 |  3405403 |    87552 |    58829      2 |      771 |      662
391.23/391.36	c  390s |      15 |  3409934 |    87632 |    58829      2 |      771 |      662
393.43/393.50	c  392s |      15 |  3421474 |    87932 |    58829      2 |      771 |      662
396.13/396.20	c  395s |      15 |  3431306 |    88332 |    58829      2 |      771 |      662
398.33/398.41	c  397s |      15 |  3453737 |    88732 |    58829      2 |      771 |      662
400.44/400.57	c  399s |      15 |  3472911 |    89232 |    58829      2 |      771 |      662
402.54/402.65	c  401s |      15 |  3482866 |    89732 |    58829      2 |      771 |      662
405.03/405.10	c  404s |      15 |  3492856 |    90232 |    58829      2 |      771 |      662
407.22/407.31	c  406s |      15 |  3506555 |    90732 |    58829      2 |      771 |      662
409.72/409.84	c  409s |      15 |  3526186 |    91232 |    58829      2 |      771 |      662
412.03/412.18	c  411s |      15 |  3551351 |    91632 |    58829      2 |      771 |      662
414.63/414.73	c  413s |      15 |  3580531 |    92132 |    58829      2 |      771 |      662
416.84/416.91	c  416s |      15 |  3596198 |    92632 |    58829      2 |      771 |      662
419.43/419.57	c  418s |      15 |  3609081 |    93032 |    58829      2 |      772 |      663
421.72/421.81	c  421s |      15 |  3627001 |    93432 |    58829      2 |      772 |      663
424.23/424.33	c  423s |      15 |  3632858 |    93932 |    58829      2 |      772 |      663
426.73/426.90	c  426s |      15 |  3651942 |    94432 |    58829      2 |      772 |      663
429.22/429.38	c  428s |      15 |  3669332 |    94932 |    58829      2 |      772 |      663
431.82/431.99	c  431s |      15 |  3691176 |    95432 |    58829      2 |      772 |      663
434.43/434.57	c  433s |      15 |  3712309 |    95832 |    58829      2 |      773 |      664
436.63/436.74	c  435s |      15 |  3732809 |    96332 |    58829      2 |      773 |      664
438.92/439.03	c  438s |      15 |  3753279 |    96732 |    58829      2 |      773 |      664
441.03/441.20	c  440s |      15 |  3764992 |    97232 |    58829      2 |      773 |      664
443.23/443.39	c  442s |      15 |  3780465 |    97732 |    58829      2 |      773 |      664
445.42/445.54	c  444s |      15 |  3801222 |    98132 |    58829      2 |      773 |      664
447.72/447.82	c  447s |      15 |  3814130 |    98632 |    58829      2 |      773 |      664
450.13/450.27	c  449s |      15 |  3836421 |    99032 |    58829      2 |      773 |      664
452.52/452.68	c  451s |      15 |  3852418 |    99532 |    58829      2 |      773 |      664
454.62/454.77	c  454s |      15 |  3865622 |    99932 |    58829      2 |      773 |      664
457.42/457.50	c  456s |      15 |  3888718 |   100432 |    58829      2 |      773 |      664
459.41/459.58	c  458s |      15 |  3902375 |   100832 |    58829      2 |      773 |      664
461.72/461.86	c  461s |      15 |  3917172 |   101332 |    58829      2 |      773 |      664
464.23/464.35	c  463s |      15 |  3933752 |   101832 |    58829      2 |      773 |      664
466.62/466.70	c  465s |      15 |  3947678 |   102332 |    58829      2 |      773 |      664
468.63/468.76	c  467s |      15 |  3957440 |   102732 |    58829      2 |      773 |      664
471.22/471.38	c  470s |      15 |  3976803 |   103332 |    58829      2 |      773 |      664
473.42/473.52	c  472s |      15 |  3987796 |   103732 |    58829      2 |      773 |      664
475.81/475.99	c  475s |      15 |  4002873 |   104332 |    58829      2 |      773 |      664
478.01/478.15	c  477s |      15 |  4012900 |   104832 |    58829      2 |      773 |      664
480.02/480.17	c  479s |      15 |  4023264 |   105232 |    58829      2 |      773 |      664
482.42/482.51	c  481s |      15 |  4049659 |   105632 |    58829      2 |      773 |      664
484.52/484.64	c  483s |      15 |  4066053 |   106032 |    58829      2 |      773 |      664
486.91/487.03	c  486s |      15 |  4082852 |   106432 |    58829      2 |      773 |      664
489.32/489.45	c  488s |      15 |  4107356 |   106832 |    58829      2 |      773 |      664
491.72/491.90	c  491s |      15 |  4126394 |   107232 |    58829      2 |      773 |      664
494.01/494.18	c  493s |      15 |  4143361 |   107632 |    58829      2 |      773 |      664
496.02/496.20	c  495s |      15 |  4159099 |   107932 |    58829      2 |      773 |      664
498.51/498.60	c  497s |      15 |  4177610 |   108332 |    58829      2 |      773 |      664
500.61/500.79	c  500s |      15 |  4192974 |   108732 |    58829      2 |      773 |      664
502.81/502.94	c  502s |      15 |  4201872 |   109132 |    58829      2 |      773 |      664
505.32/505.49	c  504s |      15 |  4220214 |   109632 |    58829      2 |      773 |      664
507.61/507.77	c  507s |      15 |  4238318 |   110032 |    58829      2 |      773 |      664
510.12/510.24	c  509s |      15 |  4254255 |   110532 |    58829      2 |      773 |      664
512.41/512.57	c  511s |      15 |  4268624 |   111032 |    58829      2 |      773 |      664
514.91/515.03	c  514s |      15 |  4282608 |   111432 |    58829      2 |      773 |      664
517.11/517.22	c  516s |      15 |  4290474 |   111932 |    58829      2 |      773 |      664
519.61/519.73	c  518s |      15 |  4299322 |   112432 |    58829      2 |      773 |      664
521.61/521.79	c  521s |      15 |  4312212 |   112832 |    58829      2 |      773 |      664
523.81/523.93	c  523s |      15 |  4327385 |   113232 |    58829      2 |      773 |      664
526.31/526.40	c  525s |      15 |  4344629 |   113632 |    58829      2 |      773 |      664
528.41/528.56	c  527s |      15 |  4360067 |   113932 |    58829      2 |      773 |      664
531.11/531.22	c  530s |      15 |  4366623 |   114332 |    58829      3 |      773 |      664
533.41/533.53	c  532s |      15 |  4389907 |   114732 |    58829      3 |      773 |      664
535.91/536.08	c  535s |      15 |  4402728 |   115232 |    58829      3 |      773 |      664
538.40/538.52	c  537s |      15 |  4424740 |   115732 |    58829      3 |      773 |      664
540.60/540.74	c  539s |      15 |  4441881 |   116232 |    58829      3 |      773 |      664
542.81/542.95	c  542s |      15 |  4454381 |   116732 |    58829      3 |      773 |      664
545.11/545.20	c  544s |      15 |  4474561 |   117132 |    58829      3 |      773 |      664
547.41/547.55	c  546s |      15 |  4491711 |   117632 |    58829      3 |      773 |      664
551.31/551.48	c  550s |      15 |  4497723 |   117932 |    58829      3 |      773 |      664
553.41/553.56	c  552s |      15 |  4507338 |   118132 |    58829      3 |      773 |      664
555.51/555.68	c  554s |      15 |  4526594 |   118532 |    58829      3 |      773 |      664
557.81/557.97	c  557s |      15 |  4541662 |   119032 |    58829      3 |      773 |      664
560.01/560.10	c  559s |      15 |  4544378 |   119432 |    58829      3 |      773 |      664
562.60/562.74	c  561s |      15 |  4549869 |   120032 |    58829      3 |      773 |      664
565.00/565.10	c  564s |      15 |  4552836 |   120432 |    58829      3 |      773 |      664
567.51/567.61	c  566s |      15 |  4556217 |   120932 |    58829      3 |      773 |      664
569.71/569.85	c  569s |      15 |  4558606 |   121432 |    58829      3 |      773 |      664
571.80/571.99	c  571s |      15 |  4559731 |   121732 |    58829      3 |      773 |      664
574.11/574.30	c  573s |      15 |  4560664 |   122032 |    58829      3 |      773 |      664
576.20/576.35	c  575s |      15 |  4561319 |   122232 |    58829      3 |      773 |      664
578.70/578.82	c  578s |      15 |  4562303 |   122432 |    58829      3 |      773 |      664
581.81/581.98	c  581s |      15 |  4562779 |   122632 |    58829      3 |      773 |      664
584.30/584.46	c  583s |      15 |  4569402 |   122932 |    58829      3 |      773 |      664
586.40/586.57	c  585s |      15 |  4580151 |   123332 |    58829      3 |      773 |      664
588.51/588.61	c  587s |      15 |  4591428 |   123732 |    58829      3 |      773 |      664
590.49/590.61	c  589s |      15 |  4601906 |   123932 |    58829      3 |      775 |      666
592.60/592.79	c  592s |      15 |  4615296 |   124532 |    58829      3 |      775 |      666
594.80/594.91	c  594s |      15 |  4630760 |   124932 |    58829      3 |      775 |      666
596.80/596.92	c  596s |      15 |  4650337 |   125532 |    58829      3 |      775 |      666
598.99/599.19	c  598s |      15 |  4664888 |   125932 |    58829      3 |      775 |      666
601.19/601.36	c  600s |      15 |  4679994 |   126332 |    58829      3 |      775 |      666
603.30/603.49	c  602s |      15 |  4680932 |   126632 |    58829      3 |      775 |      666
605.80/605.94	c  605s |      15 |  4693479 |   127132 |    58829      3 |      775 |      666
607.89/608.07	c  607s |      15 |  4714456 |   127532 |    58829      3 |      775 |      666
610.09/610.26	c  609s |      15 |  4729450 |   128032 |    58829      3 |      775 |      666
612.30/612.46	c  611s |      15 |  4745803 |   128432 |    58829      3 |      775 |      666
614.70/614.86	c  614s |      15 |  4765743 |   128832 |    58829      3 |      775 |      666
617.10/617.25	c  616s |      15 |  4777303 |   129232 |    58829      3 |      776 |      667
619.40/619.50	c  618s |      15 |  4797918 |   129732 |    58829      3 |      776 |      667
621.50/621.65	c  620s |      15 |  4812392 |   130132 |    58829      3 |      776 |      667
623.60/623.75	c  622s |      15 |  4827809 |   130532 |    58829      3 |      776 |      667
625.80/625.91	c  625s |      15 |  4842186 |   131032 |    64712      3 |      776 |      667
627.69/627.85	c  627s |      16 |  4853487 |   131552 |    64712      3 |      776 |      667
629.79/629.95	c  629s |      16 |  4868796 |   131952 |    64712      3 |      776 |      667
631.99/632.13	c  631s |      16 |  4882325 |   132452 |    64712      3 |      776 |      667
634.30/634.49	c  633s |      16 |  4907153 |   132852 |    64712      3 |      776 |      667
636.49/636.69	c  635s |      16 |  4921496 |   133352 |    64712      3 |      776 |      667
638.89/639.09	c  638s |      16 |  4934926 |   133852 |    64712      3 |      776 |      667
640.99/641.15	c  640s |      16 |  4946575 |   134352 |    64712      3 |      776 |      667
643.29/643.45	c  642s |      16 |  4962322 |   134852 |    64712      3 |      776 |      667
645.60/645.79	c  645s |      16 |  4980449 |   135352 |    64712      3 |      776 |      667
647.80/647.96	c  647s |      16 |  4983804 |   135752 |    64712      3 |      776 |      667
650.09/650.29	c  649s |      16 |  4993694 |   136252 |    64712      3 |      776 |      667
652.49/652.61	c  651s |      16 |  5013173 |   136652 |    64712      3 |      776 |      667
654.69/654.89	c  654s |      16 |  5028560 |   137152 |    64712      3 |      776 |      667
657.29/657.42	c  656s |      16 |  5043917 |   137652 |    64712      3 |      776 |      667
659.39/659.58	c  658s |      16 |  5063821 |   138052 |    64712      3 |      776 |      667
661.49/661.65	c  660s |      16 |  5072692 |   138552 |    64712      3 |      776 |      667
663.88/664.09	c  663s |      16 |  5087362 |   139152 |    64712      3 |      776 |      667
665.99/666.15	c  665s |      16 |  5103429 |   139652 |    64712      3 |      776 |      667
668.18/668.31	c  667s |      16 |  5119379 |   140052 |    64712      3 |      776 |      667
670.79/670.98	c  670s |      16 |  5144647 |   140552 |    64712      3 |      776 |      667
673.69/673.83	c  673s |      16 |  5167209 |   141152 |    64712      3 |      776 |      667
675.78/675.97	c  675s |      16 |  5186246 |   141552 |    64712      3 |      776 |      667
677.78/677.98	c  677s |      16 |  5192390 |   141952 |    64712      3 |      776 |      667
680.29/680.41	c  679s |      16 |  5215593 |   142352 |    64712      3 |      776 |      667
682.58/682.70	c  681s |      16 |  5231994 |   142852 |    64712      3 |      776 |      667
684.68/684.89	c  684s |      16 |  5243368 |   143352 |    64712      3 |      776 |      667
686.98/687.11	c  686s |      16 |  5258230 |   143752 |    64712      3 |      776 |      667
689.28/689.45	c  688s |      16 |  5272830 |   144152 |    64712      3 |      776 |      667
691.48/691.64	c  690s |      16 |  5282233 |   144552 |    64712      3 |      776 |      667
693.58/693.70	c  692s |      16 |  5288267 |   144952 |    64712      3 |      776 |      667
695.57/695.77	c  695s |      16 |  5294691 |   145352 |    64712      3 |      776 |      667
697.87/698.01	c  697s |      16 |  5305335 |   145852 |    64712      3 |      776 |      667
699.87/700.03	c  699s |      16 |  5317908 |   146252 |    64712      3 |      776 |      667
701.97/702.18	c  701s |      16 |  5331675 |   146752 |    64712      3 |      776 |      667
704.37/704.50	c  703s |      16 |  5334326 |   147252 |    64712      3 |      776 |      667
706.57/706.71	c  705s |      16 |  5347290 |   147652 |    64712      3 |      776 |      667
708.87/709.02	c  708s |      16 |  5370097 |   148052 |    64712      3 |      776 |      667
711.17/711.32	c  710s |      16 |  5381226 |   148452 |    64712      3 |      776 |      667
713.56/713.70	c  712s |      16 |  5391815 |   149052 |    64712      3 |      776 |      667
715.67/715.85	c  715s |      16 |  5396459 |   149552 |    64712      3 |      776 |      667
717.87/718.08	c  717s |      16 |  5404117 |   150052 |    64712      3 |      776 |      667
720.06/720.26	c  719s |      16 |  5414422 |   150552 |    64712      3 |      776 |      667
723.77/723.90	c  723s |      16 |  5424689 |   150952 |    64712      4 |      776 |      667
725.87/726.02	c  725s |      16 |  5444781 |   151352 |    64712      4 |      776 |      667
728.07/728.30	c  727s |      16 |  5459465 |   151852 |    64712      4 |      776 |      667
730.66/730.82	c  730s |      16 |  5481301 |   152352 |    64712      4 |      776 |      667
732.75/732.98	c  732s |      16 |  5499878 |   152852 |    64712      4 |      776 |      667
735.26/735.41	c  734s |      16 |  5514021 |   153352 |    64712      4 |      776 |      667
737.75/737.98	c  737s |      16 |  5535714 |   153852 |    64712      4 |      776 |      667
740.06/740.23	c  739s |      16 |  5552941 |   154352 |    64712      4 |      776 |      667
742.15/742.34	c  741s |      16 |  5567127 |   154852 |    64712      4 |      776 |      667
744.15/744.38	c  743s |      16 |  5578161 |   155352 |    64712      4 |      776 |      667
746.64/746.89	c  746s |      16 |  5603614 |   155852 |    64712      4 |      776 |      667
748.95/749.16	c  748s |      16 |  5620814 |   156352 |    64712      4 |      776 |      667
751.34/751.53	c  750s |      16 |  5637604 |   156952 |    64712      4 |      776 |      667
753.54/753.78	c  753s |      16 |  5652602 |   157452 |    64712      4 |      776 |      667
756.04/756.20	c  755s |      16 |  5671554 |   157952 |    64712      4 |      776 |      667
758.14/758.38	c  757s |      16 |  5685028 |   158552 |    64712      4 |      776 |      667
760.54/760.74	c  759s |      16 |  5701264 |   159152 |    64712      4 |      776 |      667
763.04/763.25	c  762s |      16 |  5722514 |   159652 |    64712      4 |      776 |      667
765.14/765.31	c  764s |      16 |  5738958 |   160052 |    64712      4 |      776 |      667
767.14/767.37	c  766s |      16 |  5749846 |   160452 |    64712      4 |      776 |      667
769.44/769.64	c  768s |      16 |  5759086 |   161052 |    64712      4 |      776 |      667
771.84/772.02	c  771s |      16 |  5771496 |   161552 |    64712      4 |      776 |      667
773.84/774.06	c  773s |      16 |  5785925 |   162052 |    64712      4 |      776 |      667
776.14/776.35	c  775s |      16 |  5809550 |   162452 |    64712      4 |      776 |      667
778.53/778.72	c  777s |      16 |  5825581 |   162952 |    64712      4 |      776 |      667
780.74/781.00	c  780s |      16 |  5826861 |   163352 |    64712      4 |      776 |      667
783.23/783.46	c  782s |      16 |  5828029 |   163752 |    64712      4 |      776 |      667
785.54/785.78	c  785s |      16 |  5842212 |   164152 |    64712      4 |      776 |      667
788.04/788.24	c  787s |      16 |  5865006 |   164652 |    64712      4 |      776 |      667
790.13/790.32	c  789s |      16 |  5866309 |   164952 |    64712      4 |      776 |      667
792.33/792.59	c  791s |      16 |  5878783 |   165452 |    64712      4 |      776 |      667
794.63/794.84	c  794s |      16 |  5891575 |   166052 |    64712      4 |      776 |      667
796.84/797.08	c  796s |      16 |  5907329 |   166552 |    64712      4 |      776 |      667
799.13/799.39	c  798s |      16 |  5922046 |   166952 |    64712      4 |      776 |      667
801.33/801.50	c  800s |      16 |  5930132 |   167352 |    64712      4 |      776 |      667
803.62/803.87	c  803s |      16 |  5953425 |   167752 |    64712      4 |      776 |      667
806.23/806.43	c  805s |      16 |  5971638 |   168252 |    64712      4 |      776 |      667
808.22/808.49	c  807s |      16 |  5984733 |   168652 |    64712      4 |      776 |      667
811.02/811.25	c  810s |      16 |  5987294 |   169052 |    64712      4 |      776 |      667
813.63/813.84	c  813s |      16 |  6007436 |   169552 |    64712      4 |      776 |      667
816.32/816.52	c  815s |      16 |  6019639 |   169952 |    64712      4 |      776 |      667
818.42/818.68	c  817s |      16 |  6029102 |   170352 |    64712      4 |      776 |      667
820.93/821.19	c  820s |      16 |  6042747 |   170852 |    64712      4 |      776 |      667
823.22/823.44	c  822s |      16 |  6058610 |   171252 |    64712      4 |      776 |      667
825.32/825.54	c  824s |      16 |  6072261 |   171552 |    64712      4 |      776 |      667
827.42/827.60	c  826s |      16 |  6079174 |   171952 |    64712      4 |      776 |      667
829.42/829.62	c  828s |      16 |  6094213 |   172352 |    64712      4 |      776 |      667
831.72/831.93	c  831s |      16 |  6109337 |   172752 |    64712      4 |      776 |      667
833.91/834.15	c  833s |      16 |  6125370 |   173152 |    64712      4 |      776 |      667
836.01/836.29	c  835s |      16 |  6144628 |   173552 |    64712      4 |      776 |      667
838.61/838.82	c  838s |      16 |  6164152 |   174052 |    64712      4 |      776 |      667
840.81/841.08	c  840s |      16 |  6179699 |   174552 |    64712      4 |      776 |      667
843.01/843.27	c  842s |      16 |  6184720 |   175052 |    64712      4 |      776 |      667
845.01/845.27	c  844s |      16 |  6195310 |   175452 |    64712      4 |      776 |      667
847.10/847.37	c  846s |      16 |  6207105 |   175852 |    64712      4 |      776 |      667
849.20/849.49	c  848s |      16 |  6218866 |   176352 |    64712      4 |      776 |      667
851.51/851.72	c  850s |      16 |  6227016 |   176652 |    64712      4 |      777 |      668
853.71/853.96	c  853s |      16 |  6243120 |   177052 |    64712      4 |      777 |      668
856.21/856.44	c  855s |      16 |  6264157 |   177452 |    64712      4 |      777 |      668
858.61/858.81	c  858s |      16 |  6280496 |   177852 |    64712      4 |      777 |      668
860.70/860.93	c  860s |      16 |  6291518 |   178252 |    64712      4 |      777 |      668
862.70/862.93	c  862s |      16 |  6305430 |   178652 |    64712      4 |      777 |      668
865.20/865.45	c  864s |      16 |  6326046 |   179152 |    64712      4 |      777 |      668
867.60/867.82	c  867s |      16 |  6343281 |   179552 |    64712      4 |      777 |      668
870.20/870.44	c  869s |      16 |  6354753 |   179852 |    64712      4 |      778 |      669
872.49/872.73	c  871s |      16 |  6372740 |   180252 |    64712      4 |      778 |      669
875.09/875.31	c  874s |      16 |  6387143 |   180752 |    64712      4 |      778 |      669
877.20/877.42	c  876s |      16 |  6388226 |   181152 |    64712      4 |      778 |      669
879.59/879.84	c  879s |      16 |  6392389 |   181452 |    64712      4 |      778 |      669
881.79/882.06	c  881s |      16 |  6409623 |   181852 |    64712      4 |      778 |      669
884.09/884.38	c  883s |      16 |  6431359 |   182252 |    64712      4 |      778 |      669
886.88/887.11	c  886s |      16 |  6449558 |   182752 |    64712      4 |      778 |      669
889.48/889.74	c  888s |      16 |  6451357 |   183152 |    64712      4 |      778 |      669
892.18/892.41	c  891s |      16 |  6457743 |   183452 |    64712      4 |      778 |      669
894.69/894.92	c  894s |      16 |  6470453 |   183852 |    64712      4 |      778 |      669
897.18/897.45	c  896s |      16 |  6479328 |   184252 |    64712      4 |      778 |      669
899.39/899.62	c  898s |      16 |  6479950 |   184452 |    64712      4 |      778 |      669
901.68/901.94	c  901s |      16 |  6480584 |   184652 |    64712      4 |      778 |      669
903.78/904.02	c  903s |      16 |  6481431 |   184852 |    64712      4 |      778 |      669
905.98/906.27	c  905s |      16 |  6482335 |   185052 |    64712      4 |      778 |      669
908.68/908.95	c  908s |      16 |  6484470 |   185452 |    64712      4 |      778 |      669
912.08/912.39	c  911s |      16 |  6493016 |   185752 |    64712      5 |      778 |      669
914.18/914.40	c  913s |      16 |  6510401 |   186252 |    64712      5 |      778 |      669
916.48/916.70	c  915s |      16 |  6531450 |   186852 |    64712      5 |      778 |      669
918.67/918.94	c  918s |      16 |  6552307 |   187352 |    64712      5 |      778 |      669
920.67/920.97	c  920s |      16 |  6569880 |   187752 |    64712      5 |      778 |      669
922.97/923.29	c  922s |      16 |  6577494 |   188352 |    64712      5 |      778 |      669
925.17/925.43	c  924s |      16 |  6590076 |   188752 |    64712      5 |      778 |      669
927.47/927.70	c  926s |      16 |  6608761 |   189252 |    64712      5 |      778 |      669
929.57/929.85	c  929s |      16 |  6610750 |   189752 |    64712      5 |      778 |      669
931.77/932.09	c  931s |      16 |  6612262 |   190152 |    64712      5 |      778 |      669
934.17/934.43	c  933s |      16 |  6614474 |   190552 |    64712      5 |      778 |      669
936.56/936.87	c  936s |      16 |  6616230 |   191052 |    64712      5 |      778 |      669
938.77/939.05	c  938s |      16 |  6617440 |   191452 |    64712      5 |      778 |      669
941.26/941.54	c  940s |      16 |  6618774 |   191852 |    64712      5 |      778 |      669
943.46/943.73	c  942s |      16 |  6619925 |   192252 |    64712      5 |      778 |      669
945.87/946.14	c  945s |      16 |  6620991 |   192652 |    64712      5 |      778 |      669
948.36/948.68	c  947s |      16 |  6622673 |   193052 |    64712      5 |      778 |      669
950.56/950.85	c  950s |      16 |  6631259 |   193552 |    64712      5 |      778 |      669
952.95/953.24	c  952s |      16 |  6650793 |   194052 |    64712      5 |      778 |      669
955.05/955.32	c  954s |      16 |  6665218 |   194552 |    64712      5 |      778 |      669
957.25/957.55	c  956s |      16 |  6682202 |   195052 |    64712      5 |      778 |      669
959.46/959.70	c  958s |      16 |  6700470 |   195552 |    64712      5 |      778 |      669
961.66/961.97	c  961s |      16 |  6714874 |   196152 |    71184      5 |      778 |      669
964.25/964.55	c  963s |      16 |  6730875 |   196752 |    71184      5 |      778 |      669
966.54/966.86	c  966s |      16 |  6746144 |   197252 |    71184      5 |      778 |      669
967.34/967.70	c  966s |      17 |  6751201 |   197432 |    71184      5 |      778 |      669
969.64/969.90	c  969s |      17 |  6768687 |   197832 |    71184      5 |      778 |      669
972.04/972.30	c  971s |      17 |  6792875 |   198432 |    71184      5 |      778 |      669
974.45/974.75	c  973s |      17 |  6816806 |   198932 |    71184      5 |      778 |      669
976.65/976.91	c  976s |      17 |  6835463 |   199432 |    71184      5 |      778 |      669
978.75/979.01	c  978s |      17 |  6842666 |   200132 |    71184      5 |      778 |      669
981.45/981.72	c  980s |      17 |  6846806 |   200732 |    71184      5 |      778 |      669
983.74/984.09	c  983s |      17 |  6848376 |   201032 |    71184      5 |      778 |      669
986.13/986.48	c  985s |      17 |  6850769 |   201632 |    71184      5 |      778 |      669
988.34/988.68	c  987s |      17 |  6853201 |   202032 |    71184      5 |      778 |      669
990.54/990.84	c  990s |      17 |  6863043 |   202532 |    71184      5 |      778 |      669
992.73/993.03	c  992s |      17 |  6874533 |   203032 |    71184      5 |      778 |      669
995.03/995.33	c  994s |      17 |  6890537 |   203532 |    71184      5 |      778 |      669
997.33/997.60	c  996s |      17 |  6906072 |   204132 |    71184      5 |      778 |      669
999.83/1000.16	c  999s |      17 |  6927414 |   204632 |    71184      5 |      778 |      669
1002.03/1002.31	c 1001s |      17 |  6939755 |   205232 |    71184      5 |      778 |      669
1004.13/1004.46	c 1003s |      17 |  6953729 |   205632 |    71184      5 |      778 |      669
1006.23/1006.59	c 1005s |      17 |  6972758 |   206032 |    71184      5 |      778 |      669
1008.53/1008.88	c 1008s |      17 |  6987296 |   206532 |    71184      5 |      778 |      669
1011.02/1011.35	c 1010s |      17 |  7010618 |   207032 |    71184      5 |      778 |      669
1013.22/1013.50	c 1012s |      17 |  7030124 |   207432 |    71184      5 |      778 |      669
1015.32/1015.66	c 1014s |      17 |  7048319 |   208032 |    71184      5 |      778 |      669
1017.82/1018.11	c 1017s |      17 |  7064976 |   208532 |    71184      5 |      778 |      669
1020.22/1020.50	c 1019s |      17 |  7084181 |   209032 |    71184      5 |      778 |      669
1022.73/1023.06	c 1022s |      17 |  7101931 |   209532 |    71184      5 |      778 |      669
1025.12/1025.45	c 1024s |      17 |  7113485 |   210032 |    71184      5 |      778 |      669
1027.42/1027.71	c 1026s |      17 |  7129019 |   210532 |    71184      5 |      778 |      669
1029.62/1029.92	c 1029s |      17 |  7143195 |   211032 |    71184      5 |      778 |      669
1031.91/1032.25	c 1031s |      17 |  7155243 |   211532 |    71184      5 |      778 |      669
1034.01/1034.31	c 1033s |      17 |  7165941 |   211932 |    71184      5 |      778 |      669
1036.01/1036.38	c 1035s |      17 |  7186499 |   212332 |    71184      5 |      778 |      669
1038.11/1038.46	c 1037s |      17 |  7198787 |   212732 |    71184      5 |      778 |      669
1040.12/1040.49	c 1039s |      17 |  7208854 |   213132 |    71184      5 |      778 |      669
1042.21/1042.55	c 1041s |      17 |  7221964 |   213532 |    71184      5 |      778 |      669
1044.21/1044.58	c 1043s |      17 |  7235851 |   214032 |    71184      5 |      778 |      669
1046.60/1046.92	c 1046s |      17 |  7252656 |   214432 |    71184      5 |      778 |      669
1049.11/1049.46	c 1048s |      17 |  7271568 |   214932 |    71184      5 |      778 |      669
1051.60/1051.90	c 1051s |      17 |  7294363 |   215332 |    71184      5 |      778 |      669
1053.70/1054.02	c 1053s |      17 |  7311580 |   215732 |    71184      5 |      778 |      669
1055.90/1056.28	c 1055s |      17 |  7328367 |   216132 |    71184      5 |      778 |      669
1058.20/1058.51	c 1057s |      17 |  7343421 |   216532 |    71184      5 |      778 |      669
1060.60/1060.98	c 1060s |      17 |  7360815 |   217032 |    71184      5 |      778 |      669
1063.00/1063.39	c 1062s |      17 |  7374625 |   217632 |    71184      5 |      778 |      669
1064.99/1065.39	c 1064s |      17 |  7386532 |   218032 |    71184      5 |      778 |      669
1067.49/1067.80	c 1067s |      17 |  7396070 |   218532 |    71184      5 |      778 |      669
1069.79/1070.19	c 1069s |      17 |  7400621 |   219132 |    71184      5 |      778 |      669
1072.49/1072.84	c 1072s |      17 |  7418802 |   219532 |    71184      5 |      778 |      669
1075.09/1075.43	c 1074s |      17 |  7432354 |   219932 |    71184      5 |      778 |      669
1077.39/1077.70	c 1076s |      17 |  7446452 |   220432 |    71184      5 |      778 |      669
1079.39/1079.70	c 1078s |      17 |  7459426 |   220832 |    71184      5 |      778 |      669
1081.69/1082.01	c 1081s |      17 |  7472813 |   221232 |    71184      5 |      778 |      669
1083.68/1084.06	c 1083s |      17 |  7486545 |   221632 |    71184      5 |      778 |      669
1086.08/1086.45	c 1085s |      17 |  7503873 |   222032 |    71184      5 |      778 |      669
1088.28/1088.69	c 1087s |      17 |  7521485 |   222532 |    71184      5 |      778 |      669
1090.49/1090.82	c 1090s |      17 |  7535421 |   222932 |    71184      5 |      778 |      669
1092.58/1092.95	c 1092s |      17 |  7549973 |   223332 |    71184      5 |      778 |      669
1094.98/1095.34	c 1094s |      17 |  7562913 |   223832 |    71184      5 |      778 |      669
1097.28/1097.66	c 1096s |      17 |  7577249 |   224332 |    71184      5 |      778 |      669
1099.58/1099.93	c 1099s |      17 |  7582653 |   224732 |    71184      5 |      778 |      669
1103.08/1103.47	c 1102s |      17 |  7591815 |   225332 |    71184      5 |      778 |      669
1105.28/1105.68	c 1104s |      17 |  7594746 |   225632 |    71184      5 |      778 |      669
1107.38/1107.76	c 1106s |      17 |  7598860 |   226032 |    71184      5 |      778 |      669
1109.69/1110.01	c 1109s |      17 |  7602214 |   226432 |    71184      5 |      778 |      669
1112.37/1112.71	c 1111s |      17 |  7602895 |   226732 |    71184      5 |      778 |      669
1114.76/1115.15	c 1114s |      17 |  7604045 |   227032 |    71184      5 |      778 |      669
1117.28/1117.69	c 1116s |      17 |  7607672 |   227432 |    71184      5 |      778 |      669
1119.48/1119.82	c 1119s |      17 |  7613215 |   227832 |    71184      5 |      778 |      669
1122.07/1122.44	c 1121s |      17 |  7617926 |   228232 |    71184      5 |      778 |      669
1125.26/1125.64	c 1124s |      17 |  7619272 |   228532 |    71184      5 |      778 |      669
1127.47/1127.84	c 1127s |      17 |  7623725 |   228932 |    71184      5 |      778 |      669
1129.86/1130.25	c 1129s |      17 |  7627608 |   229332 |    71184      5 |      778 |      669
1132.05/1132.44	c 1131s |      17 |  7631496 |   229632 |    71184      5 |      778 |      669
1134.65/1135.09	c 1134s |      17 |  7633743 |   229932 |    71184      5 |      778 |      669
1137.26/1137.64	c 1136s |      17 |  7638250 |   230232 |    71184      5 |      778 |      669
1140.05/1140.40	c 1139s |      17 |  7641645 |   230532 |    71184      5 |      778 |      669
1142.16/1142.56	c 1141s |      17 |  7645779 |   230832 |    71184      5 |      778 |      669
1144.65/1145.03	c 1144s |      17 |  7647335 |   231032 |    71184      5 |      778 |      669
1146.96/1147.35	c 1146s |      17 |  7648709 |   231232 |    71184      5 |      778 |      669
1149.55/1149.97	c 1149s |      17 |  7651570 |   231532 |    71184      5 |      778 |      669
1151.75/1152.11	c 1151s |      17 |  7652953 |   231732 |    71184      5 |      778 |      669
1154.35/1154.72	c 1153s |      17 |  7653162 |   231832 |    71184      5 |      778 |      669
1156.95/1157.39	c 1156s |      17 |  7655495 |   232032 |    71184      5 |      778 |      669
1159.74/1160.11	c 1159s |      17 |  7657159 |   232232 |    71184      5 |      778 |      669
1162.75/1163.13	c 1162s |      17 |  7658372 |   232432 |    71184      5 |      778 |      669
1165.65/1166.10	c 1165s |      17 |  7659385 |   232632 |    71184      5 |      778 |      669
1167.74/1168.11	c 1167s |      17 |  7659750 |   232732 |    71184      5 |      778 |      669
1170.44/1170.87	c 1170s |      17 |  7660824 |   232932 |    71184      5 |      778 |      669
1172.63/1173.08	c 1172s |      17 |  7661625 |   233132 |    71184      5 |      778 |      669
1176.43/1176.80	c 1176s |      17 |  7662520 |   233332 |    71184      5 |      778 |      669
1180.13/1180.56	c 1179s |      17 |  7663317 |   233532 |    71184      5 |      778 |      669
1182.93/1183.36	c 1182s |      17 |  7663635 |   233632 |    71184      5 |      778 |      669
1186.64/1187.05	c 1186s |      17 |  7663781 |   233732 |    71184      5 |      778 |      669
1189.03/1189.44	c 1188s |      17 |  7664522 |   233932 |    71184      5 |      778 |      669
1191.23/1191.66	c 1190s |      17 |  7664734 |   234032 |    71184      5 |      778 |      669
1194.13/1194.57	c 1193s |      17 |  7665449 |   234232 |    71184      5 |      778 |      669
1196.83/1197.28	c 1196s |      17 |  7665734 |   234332 |    71184      5 |      778 |      669
1201.23/1201.64	c 1200s |      17 |  7667925 |   234432 |    71184      6 |      778 |      669
1203.32/1203.71	c 1202s |      17 |  7672164 |   235032 |    71184      6 |      778 |      669
1205.52/1205.92	c 1205s |      17 |  7676495 |   235532 |    71184      6 |      778 |      669
1207.83/1208.29	c 1207s |      17 |  7700275 |   236132 |    71184      6 |      778 |      669
1210.12/1210.53	c 1209s |      17 |  7723240 |   236632 |    71184      6 |      778 |      669
1212.32/1212.79	c 1212s |      17 |  7746205 |   237132 |    71184      6 |      778 |      669
1214.72/1215.11	c 1214s |      17 |  7768369 |   237732 |    71184      6 |      778 |      669
1216.92/1217.33	c 1216s |      17 |  7785608 |   238232 |    71184      6 |      778 |      669
1219.12/1219.55	c 1218s |      17 |  7800081 |   238732 |    71184      6 |      778 |      669
1221.11/1221.55	c 1220s |      17 |  7809466 |   239232 |    71184      6 |      778 |      669
1223.51/1223.93	c 1223s |      17 |  7828732 |   239832 |    71184      6 |      778 |      669
1225.61/1226.04	c 1225s |      17 |  7843612 |   240332 |    71184      6 |      778 |      669
1227.91/1228.31	c 1227s |      17 |  7854272 |   240932 |    71184      6 |      778 |      669
1230.11/1230.55	c 1229s |      17 |  7871151 |   241532 |    71184      6 |      778 |      669
1232.31/1232.76	c 1232s |      17 |  7891254 |   241932 |    71184      6 |      778 |      669
1234.41/1234.84	c 1234s |      17 |  7906188 |   242432 |    71184      6 |      778 |      669
1236.50/1236.90	c 1236s |      17 |  7915352 |   242732 |    71184      6 |      778 |      669
1238.80/1239.24	c 1238s |      17 |  7937470 |   243232 |    71184      6 |      778 |      669
1240.90/1241.35	c 1240s |      17 |  7952006 |   243632 |    71184      6 |      778 |      669
1243.29/1243.74	c 1242s |      17 |  7966323 |   244132 |    71184      6 |      778 |      669
1245.40/1245.83	c 1245s |      17 |  7973599 |   244632 |    71184      6 |      778 |      669
1247.59/1248.03	c 1247s |      17 |  7975338 |   245132 |    71184      6 |      778 |      669
1249.79/1250.24	c 1249s |      17 |  7989531 |   245632 |    71184      6 |      778 |      669
1251.89/1252.37	c 1251s |      17 |  8008908 |   246132 |    71184      6 |      778 |      669
1254.29/1254.71	c 1253s |      17 |  8028313 |   246632 |    71184      6 |      778 |      669
1256.30/1256.78	c 1256s |      17 |  8038700 |   247132 |    71184      6 |      778 |      669
1258.69/1259.11	c 1258s |      17 |  8040195 |   247732 |    71184      6 |      778 |      669
1260.79/1261.29	c 1260s |      17 |  8052413 |   248232 |    71184      6 |      778 |      669
1263.30/1263.72	c 1262s |      17 |  8067977 |   248832 |    71184      6 |      778 |      669
1265.70/1266.16	c 1265s |      17 |  8082416 |   249432 |    71184      6 |      778 |      669
1268.00/1268.49	c 1267s |      17 |  8098930 |   249932 |    71184      6 |      778 |      669
1270.39/1270.80	c 1270s |      17 |  8105461 |   250332 |    71184      6 |      778 |      669
1272.88/1273.38	c 1272s |      17 |  8107574 |   250932 |    71184      6 |      778 |      669
1275.08/1275.51	c 1274s |      17 |  8109115 |   251332 |    71184      6 |      778 |      669
1277.19/1277.69	c 1276s |      17 |  8115361 |   251732 |    71184      6 |      778 |      669
1279.69/1280.18	c 1279s |      17 |  8139523 |   252232 |    71184      6 |      778 |      669
1282.19/1282.69	c 1281s |      17 |  8161478 |   252732 |    71184      6 |      778 |      669
1284.68/1285.16	c 1284s |      17 |  8177925 |   253232 |    71184      6 |      778 |      669
1286.68/1287.16	c 1286s |      17 |  8189111 |   253632 |    71184      6 |      778 |      669
1288.78/1289.23	c 1288s |      17 |  8206522 |   254032 |    71184      6 |      778 |      669
1290.77/1291.28	c 1290s |      17 |  8222788 |   254432 |    71184      6 |      778 |      669
1293.07/1293.58	c 1292s |      17 |  8233049 |   254832 |    71184      6 |      778 |      669
1295.47/1295.96	c 1295s |      17 |  8242344 |   255332 |    71184      6 |      778 |      669
1297.87/1298.39	c 1297s |      17 |  8260104 |   255832 |    71184      6 |      778 |      669
1299.97/1300.45	c 1299s |      17 |  8274294 |   256332 |    71184      6 |      778 |      669
1302.17/1302.65	c 1301s |      17 |  8278398 |   256732 |    71184      6 |      778 |      669
1304.57/1305.01	c 1304s |      17 |  8296765 |   257232 |    71184      6 |      778 |      669
1306.87/1307.31	c 1306s |      17 |  8315676 |   257632 |    71184      6 |      778 |      669
1309.17/1309.66	c 1308s |      17 |  8335796 |   258132 |    71184      6 |      778 |      669
1311.57/1312.09	c 1311s |      17 |  8349900 |   258732 |    71184      6 |      778 |      669
1313.77/1314.24	c 1313s |      17 |  8366203 |   259132 |    71184      6 |      778 |      669
1315.87/1316.39	c 1315s |      17 |  8381366 |   259632 |    71184      6 |      778 |      669
1318.36/1318.82	c 1318s |      17 |  8396668 |   260132 |    71184      6 |      778 |      669
1320.56/1321.05	c 1320s |      17 |  8415011 |   260532 |    71184      6 |      778 |      669
1323.06/1323.50	c 1322s |      17 |  8429916 |   261032 |    71184      6 |      778 |      669
1325.26/1325.79	c 1325s |      17 |  8448538 |   261532 |    71184      6 |      778 |      669
1327.86/1328.36	c 1327s |      17 |  8458895 |   261932 |    71184      6 |      778 |      669
1330.96/1331.45	c 1330s |      17 |  8459425 |   262232 |    71184      6 |      778 |      669
1333.36/1333.89	c 1333s |      17 |  8467258 |   262632 |    71184      6 |      778 |      669
1335.56/1336.02	c 1335s |      17 |  8481813 |   263032 |    71184      6 |      778 |      669
1337.76/1338.27	c 1337s |      17 |  8490948 |   263532 |    71184      6 |      778 |      669
1340.16/1340.65	c 1339s |      17 |  8507347 |   264032 |    71184      6 |      778 |      669
1342.26/1342.79	c 1342s |      17 |  8521827 |   264532 |    71184      6 |      778 |      669
1344.46/1344.98	c 1344s |      17 |  8535338 |   264932 |    71184      6 |      778 |      669
1346.96/1347.43	c 1346s |      17 |  8542382 |   265532 |    71184      6 |      778 |      669
1349.16/1349.60	c 1348s |      17 |  8549367 |   265832 |    71184      6 |      778 |      669
1351.36/1351.88	c 1351s |      17 |  8567897 |   266232 |    71184      6 |      778 |      669
1353.76/1354.22	c 1353s |      17 |  8588888 |   266732 |    71184      6 |      778 |      669
1355.86/1356.34	c 1355s |      17 |  8601855 |   267132 |    71184      6 |      778 |      669
1358.45/1358.92	c 1358s |      17 |  8605924 |   267232 |    71184      7 |      778 |      669
1361.06/1361.52	c 1360s |      17 |  8625968 |   267832 |    71184      7 |      778 |      669
1363.16/1363.60	c 1362s |      17 |  8644091 |   268232 |    71184      7 |      778 |      669
1365.55/1366.03	c 1365s |      17 |  8655699 |   268832 |    71184      7 |      778 |      669
1367.75/1368.26	c 1367s |      17 |  8657274 |   269332 |    71184      7 |      778 |      669
1370.16/1370.68	c 1369s |      17 |  8658652 |   269732 |    71184      7 |      778 |      669
1372.37/1372.83	c 1372s |      17 |  8667779 |   270232 |    71184      7 |      778 |      669
1374.36/1374.88	c 1374s |      17 |  8682393 |   270732 |    71184      7 |      778 |      669
1376.65/1377.16	c 1376s |      17 |  8698106 |   271332 |    71184      7 |      778 |      669
1378.86/1379.38	c 1378s |      17 |  8702277 |   271832 |    71184      7 |      778 |      669
1381.65/1382.10	c 1381s |      17 |  8703472 |   272132 |    71184      7 |      778 |      669
1383.75/1384.25	c 1383s |      17 |  8711521 |   272332 |    71184      7 |      778 |      669
1386.06/1386.51	c 1385s |      17 |  8732405 |   272832 |    71184      7 |      778 |      669
1388.45/1388.95	c 1388s |      17 |  8754239 |   273432 |    71184      7 |      778 |      669
1390.55/1391.06	c 1390s |      17 |  8768432 |   274032 |    71184      7 |      778 |      669
1392.95/1393.49	c 1392s |      17 |  8781332 |   274432 |    71184      7 |      778 |      669
1395.35/1395.83	c 1395s |      17 |  8796184 |   275132 |    71184      7 |      778 |      669
1397.45/1397.96	c 1397s |      17 |  8809666 |   275632 |    71184      7 |      778 |      669
1399.75/1400.26	c 1399s |      17 |  8830231 |   276132 |    71184      7 |      778 |      669
1401.85/1402.34	c 1401s |      17 |  8842917 |   276832 |    71184      7 |      778 |      669
1403.85/1404.34	c 1403s |      17 |  8868185 |   277332 |    71184      7 |      778 |      669
1405.95/1406.42	c 1405s |      17 |  8883493 |   277932 |    71184      7 |      778 |      669
1409.04/1409.50	c 1408s |      17 |  8889991 |   278432 |    71184      7 |      778 |      669
1411.35/1411.82	c 1411s |      17 |  8899962 |   278932 |    71184      7 |      778 |      669
1413.65/1414.19	c 1413s |      17 |  8917968 |   279532 |    71184      7 |      778 |      669
1415.85/1416.30	c 1415s |      17 |  8929354 |   280032 |    71184      7 |      778 |      669
1418.45/1418.98	c 1418s |      17 |  8954465 |   280532 |    71184      7 |      778 |      669
1420.55/1421.07	c 1420s |      17 |  8973106 |   280932 |    71184      7 |      778 |      669
1422.74/1423.27	c 1422s |      17 |  8976700 |   281432 |    71184      7 |      778 |      669
1425.04/1425.59	c 1424s |      17 |  8978621 |   281832 |    71184      7 |      778 |      669
1427.25/1427.80	c 1427s |      17 |  8992039 |   282332 |    71184      7 |      778 |      669
1429.56/1430.09	c 1429s |      17 |  9012490 |   282832 |    71184      7 |      778 |      669
1431.95/1432.41	c 1431s |      17 |  9018839 |   283432 |    71184      7 |      778 |      669
1434.24/1434.76	c 1434s |      17 |  9035889 |   283932 |    71184      7 |      778 |      669
1436.44/1436.92	c 1436s |      17 |  9050463 |   284332 |    71184      7 |      778 |      669
1438.94/1439.43	c 1438s |      17 |  9062891 |   284932 |    71184      7 |      778 |      669
1441.14/1441.69	c 1440s |      17 |  9078707 |   285332 |    71184      7 |      778 |      669
1443.34/1443.87	c 1443s |      17 |  9092289 |   285632 |    71184      7 |      779 |      670
1445.94/1446.48	c 1445s |      17 |  9094853 |   286232 |    71184      7 |      779 |      670
1448.25/1448.73	c 1447s |      17 |  9097573 |   286732 |    71184      7 |      779 |      670
1450.55/1451.05	c 1450s |      17 |  9115874 |   287332 |    71184      7 |      779 |      670
1452.65/1453.13	c 1452s |      17 |  9132943 |   287732 |    71184      7 |      779 |      670
1454.74/1455.23	c 1454s |      17 |  9148958 |   288132 |    71184      7 |      779 |      670
1456.74/1457.24	c 1456s |      17 |  9158983 |   288632 |    71184      7 |      779 |      670
1459.04/1459.56	c 1458s |      17 |  9177812 |   289132 |    71184      7 |      779 |      670
1461.04/1461.58	c 1460s |      17 |  9197858 |   289532 |    71184      7 |      779 |      670
1463.35/1463.88	c 1463s |      17 |  9213549 |   290032 |    71184      7 |      779 |      670
1465.74/1466.24	c 1465s |      17 |  9221690 |   290532 |    71184      7 |      780 |      671
1467.84/1468.38	c 1467s |      17 |  9235319 |   291032 |    71184      7 |      780 |      671
1470.14/1470.69	c 1469s |      17 |  9262573 |   291532 |    71184      7 |      780 |      671
1472.34/1472.81	c 1472s |      17 |  9283146 |   292032 |    71184      7 |      780 |      671
1474.34/1474.89	c 1474s |      17 |  9300446 |   292632 |    71184      7 |      780 |      671
1476.84/1477.32	c 1476s |      17 |  9319625 |   293132 |    71184      7 |      780 |      671
1479.14/1479.65	c 1478s |      17 |  9344213 |   293632 |    71184      7 |      780 |      671
1481.44/1481.95	c 1481s |      17 |  9364578 |   294032 |    71184      7 |      780 |      671
1483.55/1484.09	c 1483s |      17 |  9374265 |   294432 |    78303      7 |      780 |      671
1485.84/1486.39	c 1485s |      17 |  9385760 |   295032 |    78303      7 |      780 |      671
1488.33/1488.89	c 1488s |      17 |  9387195 |   295532 |    78303      7 |      780 |      671
1490.53/1491.05	c 1490s |      17 |  9400467 |   296032 |    78303      7 |      780 |      671
1491.15/1491.66	c 1490s |      18 |  9404767 |   296252 |    78303      7 |      780 |      671
1493.24/1493.77	c 1493s |      18 |  9405649 |   296352 |    78303      7 |      781 |      672
1495.34/1495.89	c 1495s |      18 |  9417771 |   296752 |    78303      7 |      781 |      672
1497.84/1498.32	c 1497s |      18 |  9437937 |   297152 |    78303      7 |      781 |      672
1499.94/1500.49	c 1499s |      18 |  9456386 |   297752 |    78303      7 |      781 |      672
1502.24/1502.79	c 1502s |      18 |  9473352 |   298252 |    78303      7 |      781 |      672
1504.84/1505.35	c 1504s |      18 |  9493417 |   298752 |    78303      7 |      781 |      672
1507.24/1507.71	c 1506s |      18 |  9505002 |   299252 |    78303      7 |      781 |      672
1509.53/1510.04	c 1509s |      18 |  9517735 |   299852 |    78303      7 |      781 |      672
1511.73/1512.25	c 1511s |      18 |  9538236 |   300252 |    78303      7 |      781 |      672
1514.24/1514.74	c 1513s |      18 |  9558070 |   300752 |    78303      7 |      781 |      672
1516.34/1516.89	c 1516s |      18 |  9574587 |   301152 |    78303      7 |      781 |      672
1518.43/1518.90	c 1518s |      18 |  9587537 |   301652 |    78303      7 |      781 |      672
1520.84/1521.31	c 1520s |      18 |  9602215 |   302252 |    78303      7 |      781 |      672
1522.83/1523.37	c 1522s |      18 |  9618413 |   302752 |    78303      7 |      781 |      672
1525.33/1525.83	c 1525s |      18 |  9638501 |   303252 |    78303      7 |      781 |      672
1527.33/1527.89	c 1527s |      18 |  9657601 |   303652 |    78303      7 |      781 |      672
1529.43/1529.96	c 1529s |      18 |  9670379 |   304152 |    78303      7 |      781 |      672
1531.53/1532.00	c 1531s |      18 |  9685048 |   304552 |    78303      7 |      781 |      672
1533.63/1534.13	c 1533s |      18 |  9693177 |   304952 |    78303      7 |      781 |      672
1535.83/1536.30	c 1535s |      18 |  9698498 |   305452 |    78303      7 |      781 |      672
1538.13/1538.61	c 1537s |      18 |  9709867 |   306052 |    78303      7 |      781 |      672
1540.53/1541.06	c 1540s |      18 |  9724050 |   306452 |    78303      7 |      781 |      672
1543.13/1543.68	c 1542s |      18 |  9728859 |   306952 |    78303      7 |      781 |      672
1545.23/1545.72	c 1544s |      18 |  9738797 |   307352 |    78303      7 |      781 |      672
1547.34/1547.84	c 1547s |      18 |  9753696 |   307852 |    78303      7 |      781 |      672
1549.93/1550.40	c 1549s |      18 |  9780387 |   308352 |    78303      7 |      781 |      672
1552.43/1552.91	c 1552s |      18 |  9801955 |   308752 |    78303      7 |      781 |      672
1554.93/1555.42	c 1554s |      18 |  9818871 |   309252 |    78303      7 |      781 |      672
1557.33/1557.89	c 1557s |      18 |  9842774 |   309652 |    78303      7 |      781 |      672
1560.03/1560.50	c 1559s |      18 |  9865816 |   310152 |    78303      7 |      781 |      672
1562.03/1562.54	c 1561s |      18 |  9881912 |   310452 |    78303      7 |      781 |      672
1564.33/1564.83	c 1564s |      18 |  9891406 |   310852 |    78303      7 |      781 |      672
1566.72/1567.27	c 1566s |      18 |  9913156 |   311252 |    78303      7 |      781 |      672
1570.62/1571.13	c 1570s |      18 |  9928444 |   311752 |    78303      8 |      781 |      672
1572.82/1573.34	c 1572s |      18 |  9946123 |   312252 |    78303      8 |      781 |      672
1575.22/1575.70	c 1574s |      18 |  9963275 |   312752 |    78303      8 |      781 |      672
1577.52/1578.03	c 1577s |      18 |  9985560 |   313252 |    78303      8 |      781 |      672
1579.83/1580.35	c 1579s |      18 | 10008363 |   313752 |    78303      8 |      781 |      672
1582.32/1582.89	c 1582s |      18 | 10015594 |   314452 |    78303      8 |      781 |      672
1584.52/1585.06	c 1584s |      18 | 10023821 |   315052 |    78303      8 |      781 |      672
1587.12/1587.61	c 1586s |      18 | 10028309 |   315652 |    78303      8 |      781 |      672
1589.13/1589.65	c 1588s |      18 | 10033120 |   316052 |    78303      8 |      781 |      672
1591.23/1591.78	c 1591s |      18 | 10039128 |   316652 |    78303      8 |      781 |      672
1593.62/1594.19	c 1593s |      18 | 10046100 |   317252 |    78303      8 |      781 |      672
1595.92/1596.44	c 1595s |      18 | 10057069 |   317852 |    78303      8 |      781 |      672
1598.12/1598.67	c 1597s |      18 | 10074261 |   318352 |    78303      8 |      781 |      672
1600.52/1601.03	c 1600s |      18 | 10094976 |   318952 |    78303      8 |      781 |      672
1602.72/1603.24	c 1602s |      18 | 10108954 |   319552 |    78303      8 |      781 |      672
1605.02/1605.55	c 1604s |      18 | 10113984 |   320052 |    78303      8 |      781 |      672
1607.31/1607.87	c 1607s |      18 | 10132558 |   320552 |    78303      8 |      781 |      672
1609.52/1610.04	c 1609s |      18 | 10152626 |   321052 |    78303      8 |      781 |      672
1611.92/1612.40	c 1611s |      18 | 10173262 |   321552 |    78303      8 |      781 |      672
1614.22/1614.71	c 1613s |      18 | 10179331 |   322152 |    78303      8 |      781 |      672
1616.32/1616.81	c 1616s |      18 | 10191896 |   322652 |    78303      8 |      781 |      672
1618.61/1619.16	c 1618s |      18 | 10201930 |   323252 |    78303      8 |      781 |      672
1620.81/1621.34	c 1620s |      18 | 10219651 |   323752 |    78303      8 |      781 |      672
1622.92/1623.41	c 1622s |      18 | 10237575 |   324152 |    78303      8 |      781 |      672
1625.02/1625.53	c 1624s |      18 | 10257633 |   324652 |    78303      8 |      781 |      672
1627.12/1627.66	c 1626s |      18 | 10273056 |   325152 |    78303      8 |      781 |      672
1629.32/1629.86	c 1629s |      18 | 10288131 |   325652 |    78303      8 |      781 |      672
1631.71/1632.29	c 1631s |      18 | 10309675 |   326252 |    78303      8 |      781 |      672
1634.01/1634.52	c 1633s |      18 | 10327986 |   326752 |    78303      8 |      781 |      672
1636.61/1637.17	c 1636s |      18 | 10339091 |   327252 |    78303      8 |      781 |      672
1638.72/1639.27	c 1638s |      18 | 10344764 |   327752 |    78303      8 |      781 |      672
1641.02/1641.54	c 1640s |      18 | 10358576 |   328252 |    78303      8 |      781 |      672
1643.32/1643.85	c 1643s |      18 | 10379588 |   328652 |    78303      8 |      781 |      672
1646.02/1646.51	c 1645s |      18 | 10395437 |   329152 |    78303      8 |      781 |      672
1648.11/1648.64	c 1647s |      18 | 10403762 |   329652 |    78303      8 |      781 |      672
1650.41/1651.00	c 1650s |      18 | 10422171 |   330352 |    78303      8 |      781 |      672
1652.51/1653.02	c 1652s |      18 | 10436151 |   330852 |    78303      8 |      781 |      672
1654.71/1655.26	c 1654s |      18 | 10444089 |   331352 |    78303      8 |      781 |      672
1656.71/1657.26	c 1656s |      18 | 10461543 |   331752 |    78303      8 |      781 |      672
1659.11/1659.61	c 1658s |      18 | 10478775 |   332152 |    78303      8 |      781 |      672
1661.51/1662.10	c 1661s |      18 | 10502374 |   332552 |    78303      8 |      781 |      672
1663.71/1664.23	c 1663s |      18 | 10514234 |   333052 |    78303      8 |      781 |      672
1665.81/1666.32	c 1665s |      18 | 10529202 |   333452 |    78303      8 |      781 |      672
1667.81/1668.38	c 1667s |      18 | 10529651 |   333652 |    78303      8 |      781 |      672
1670.21/1670.79	c 1670s |      18 | 10535513 |   334152 |    78303      8 |      781 |      672
1673.21/1673.76	c 1673s |      18 | 10536865 |   334452 |    78303      8 |      781 |      672
1675.40/1675.94	c 1675s |      18 | 10539855 |   334652 |    78303      8 |      781 |      672
1677.91/1678.41	c 1677s |      18 | 10553538 |   335052 |    78303      8 |      782 |      673
1680.01/1680.55	c 1679s |      18 | 10568098 |   335552 |    78303      8 |      782 |      673
1682.51/1683.00	c 1682s |      18 | 10583644 |   336152 |    78303      8 |      782 |      673
1684.91/1685.42	c 1684s |      18 | 10604438 |   336652 |    78303      8 |      782 |      673
1687.20/1687.79	c 1687s |      18 | 10619985 |   337252 |    78303      8 |      782 |      673
1689.50/1690.01	c 1689s |      18 | 10635930 |   337752 |    78303      8 |      782 |      673
1691.81/1692.38	c 1691s |      18 | 10654387 |   338252 |    78303      8 |      782 |      673
1694.21/1694.72	c 1693s |      18 | 10669817 |   338852 |    78303      8 |      782 |      673
1696.21/1696.72	c 1695s |      18 | 10674894 |   339252 |    78303      8 |      782 |      673
1698.31/1698.86	c 1698s |      18 | 10685517 |   339852 |    78303      8 |      782 |      673
1700.61/1701.13	c 1700s |      18 | 10703008 |   340352 |    78303      8 |      782 |      673
1703.30/1703.85	c 1703s |      18 | 10716852 |   340852 |    78303      8 |      782 |      673
1705.51/1706.03	c 1705s |      18 | 10717543 |   341152 |    78303      8 |      782 |      673
1707.92/1708.44	c 1707s |      18 | 10726242 |   341552 |    78303      8 |      782 |      673
1709.91/1710.47	c 1709s |      18 | 10730409 |   342052 |    78303      8 |      782 |      673
1712.11/1712.62	c 1711s |      18 | 10741443 |   342652 |    78303      8 |      782 |      673
1714.31/1714.83	c 1714s |      18 | 10759134 |   343152 |    78303      8 |      782 |      673
1716.51/1717.04	c 1716s |      18 | 10770323 |   343652 |    78303      8 |      782 |      673
1718.71/1719.21	c 1718s |      18 | 10788691 |   344152 |    78303      8 |      782 |      673
1721.21/1721.74	c 1720s |      18 | 10801571 |   344852 |    78303      8 |      782 |      673
1723.31/1723.84	c 1723s |      18 | 10813920 |   345352 |    78303      8 |      782 |      673
1725.60/1726.11	c 1725s |      18 | 10829623 |   345852 |    78303      8 |      782 |      673
1727.71/1728.20	c 1727s |      18 | 10839787 |   346252 |    78303      8 |      782 |      673
1730.00/1730.59	c 1729s |      18 | 10854031 |   346652 |    78303      8 |      782 |      673
1732.60/1733.17	c 1732s |      18 | 10864046 |   347152 |    78303      8 |      782 |      673
1735.30/1735.83	c 1735s |      18 | 10885128 |   347552 |    78303      8 |      782 |      673
1737.40/1737.95	c 1737s |      18 | 10892427 |   348052 |    78303      8 |      782 |      673
1739.60/1740.14	c 1739s |      18 | 10902100 |   348652 |    78303      8 |      782 |      673
1741.91/1742.41	c 1741s |      18 | 10914406 |   349152 |    78303      8 |      782 |      673
1744.00/1744.53	c 1743s |      18 | 10919088 |   349552 |    78303      8 |      782 |      673
1746.10/1746.63	c 1745s |      18 | 10925851 |   349952 |    78303      8 |      782 |      673
1748.40/1748.97	c 1748s |      18 | 10942588 |   350452 |    78303      8 |      782 |      673
1750.70/1751.28	c 1750s |      18 | 10949548 |   350952 |    78303      8 |      782 |      673
1752.80/1753.33	c 1752s |      18 | 10956266 |   351252 |    78303      8 |      782 |      673
1756.59/1757.18	c 1756s |      18 | 10969731 |   351752 |    78303      9 |      782 |      673
1758.89/1759.44	c 1758s |      18 | 10988783 |   352352 |    78303      9 |      782 |      673
1760.99/1761.59	c 1760s |      18 | 11010117 |   352952 |    78303      9 |      782 |      673
1763.19/1763.78	c 1763s |      18 | 11034323 |   353552 |    78303      9 |      782 |      673
1765.49/1766.08	c 1765s |      18 | 11060984 |   354052 |    78303      9 |      782 |      673
1767.79/1768.31	c 1767s |      18 | 11082511 |   354652 |    78303      9 |      782 |      673
1770.09/1770.64	c 1769s |      18 | 11104400 |   355252 |    78303      9 |      782 |      673
1772.59/1773.10	c 1772s |      18 | 11121833 |   355952 |    78303      9 |      782 |      673
1774.69/1775.27	c 1774s |      18 | 11142028 |   356552 |    78303      9 |      782 |      673
1776.69/1777.29	c 1776s |      18 | 11157419 |   357252 |    78303      9 |      782 |      673
1778.89/1779.41	c 1778s |      18 | 11167144 |   357852 |    78303      9 |      782 |      673
1780.90/1781.41	c 1780s |      18 | 11172044 |   358252 |    78303      9 |      782 |      673
1782.89/1783.47	c 1782s |      18 | 11181646 |   358752 |    78303      9 |      782 |      673
1785.79/1786.40	c 1785s |      18 | 11186726 |   359252 |    78303      9 |      782 |      673
1788.20/1788.74	c 1787s |      18 | 11188968 |   359552 |    78303      9 |      782 |      673
1790.79/1791.31	c 1790s |      18 | 11190506 |   359852 |    78303      9 |      782 |      673
1793.49/1794.08	c 1793s |      18 | 11191137 |   360052 |    78303      9 |      782 |      673
1795.99/1796.56	c 1795s |      18 | 11191972 |   360252 |    78303      9 |      782 |      673
1798.69/1799.22	c 1798s |      18 | 11193251 |   360652 |    78303      9 |      782 |      673

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

pid=9462
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.14 2.10 2.04 3/179 9465
/proc/meminfo: memFree=30588032/32872528 swapFree=12744/274376
[pid=9465] ppid=9462 vsize=730556 CPUtime=0 cores=1,3,5,7
/proc/9465/stat : 9465 (toysat) R 9462 9465 5566 0 -1 4202496 2727 0 0 0 0 0 0 0 20 0 4 0 110436421 748089344 3087 33554432000 4194304 16246674 140735556197024 140735556196448 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9465/statm: 183151 3096 441 2943 0 180045 0
[pid=9465/tid=9466] ppid=9462 vsize=748988 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9466/stat : 9466 (toysat) S 9462 9465 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436421 766963712 3160 33554432000 4194304 16246674 140735556197024 139634005748976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9465/tid=9467] ppid=9462 vsize=754108 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9467/stat : 9467 (toysat) S 9462 9465 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436421 772206592 3180 33554432000 4194304 16246674 140735556197024 139633995259120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9465/tid=9468] ppid=9462 vsize=758204 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9468/stat : 9468 (toysat) S 9462 9465 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436421 776400896 3196 33554432000 4194304 16246674 140735556197024 139633883081904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100189 s]
/proc/loadavg: 2.14 2.10 2.04 3/179 9465
/proc/meminfo: memFree=30588032/32872528 swapFree=12744/274376
[pid=9465] ppid=9462 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/9465/stat : 9465 (toysat) R 9462 9465 5566 0 -1 4202496 27226 0 0 0 6 3 0 0 20 0 4 0 110436421 1333334016 27525 33554432000 4194304 16246674 140735556197024 140735556196336 7369730 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9465/statm: 325521 27540 799 2943 0 322415 0
[pid=9465/tid=9466] ppid=9462 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9466/stat : 9466 (toysat) S 9462 9465 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436421 1333334016 27552 33554432000 4194304 16246674 140735556197024 139634005748976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9465/tid=9467] ppid=9462 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9467/stat : 9467 (toysat) S 9462 9465 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436421 1333334016 27564 33554432000 4194304 16246674 140735556197024 139633995259120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9465/tid=9468] ppid=9462 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9468/stat : 9468 (toysat) S 9462 9465 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436421 1333334016 27574 33554432000 4194304 16246674 140735556197024 139633883081904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200557 s]
/proc/loadavg: 2.14 2.10 2.04 3/179 9465
/proc/meminfo: memFree=30588032/32872528 swapFree=12744/274376
[pid=9465] ppid=9462 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/9465/stat : 9465 (toysat) R 9462 9465 5566 0 -1 4202496 47388 0 0 0 13 6 0 0 20 0 4 0 110436421 1344868352 48197 33554432000 4194304 16246674 140735556197024 140735556196336 7889359 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9465/statm: 328337 48197 799 2943 0 325231 0
[pid=9465/tid=9466] ppid=9462 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9466/stat : 9466 (toysat) S 9462 9465 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436421 1344868352 48197 33554432000 4194304 16246674 140735556197024 139634005748976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9465/tid=9467] ppid=9462 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9467/stat : 9467 (toysat) S 9462 9465 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436421 1344868352 48197 33554432000 4194304 16246674 140735556197024 139633995259120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9465/tid=9468] ppid=9462 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9468/stat : 9468 (toysat) S 9462 9465 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436421 1344868352 48197 33554432000 4194304 16246674 140735556197024 139633883081904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300519 s]
/proc/loadavg: 2.14 2.10 2.04 3/179 9465
/proc/meminfo: memFree=30588032/32872528 swapFree=12744/274376
[pid=9465] ppid=9462 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/9465/stat : 9465 (toysat) R 9462 9465 5566 0 -1 4202496 53894 0 0 0 23 6 0 0 20 0 4 0 110436421 1344868352 54703 33554432000 4194304 16246674 140735556197024 140735556196336 4222992 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9465/statm: 328337 54703 805 2943 0 325231 0
[pid=9465/tid=9466] ppid=9462 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9466/stat : 9466 (toysat) S 9462 9465 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436421 1344868352 54703 33554432000 4194304 16246674 140735556197024 139634005748976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9465/tid=9467] ppid=9462 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9467/stat : 9467 (toysat) S 9462 9465 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436421 1344868352 54703 33554432000 4194304 16246674 140735556197024 139633995259120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9465/tid=9468] ppid=9462 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9468/stat : 9468 (toysat) S 9462 9465 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436421 1344868352 54703 33554432000 4194304 16246674 140735556197024 139633883081904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700431 s]
/proc/loadavg: 2.14 2.10 2.04 3/179 9465
/proc/meminfo: memFree=30588032/32872528 swapFree=12744/274376
[pid=9465] ppid=9462 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/9465/stat : 9465 (toysat) R 9462 9465 5566 0 -1 4202496 109096 0 0 0 55 14 0 0 20 0 4 0 110436421 1344868352 109905 33554432000 4194304 16246674 140735556197024 140735556178944 6775184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9465/statm: 328337 109923 835 2943 0 325231 0
[pid=9465/tid=9466] ppid=9462 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9466/stat : 9466 (toysat) S 9462 9465 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436421 1344868352 109930 33554432000 4194304 16246674 140735556197024 139634005748976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9465/tid=9467] ppid=9462 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9467/stat : 9467 (toysat) S 9462 9465 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436421 1344868352 109939 33554432000 4194304 16246674 140735556197024 139633995259120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9465/tid=9468] ppid=9462 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9468/stat : 9468 (toysat) S 9462 9465 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436421 1344868352 109949 33554432000 4194304 16246674 140735556197024 139633883081904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.14 2.10 2.04 3/183 9469
/proc/meminfo: memFree=29835580/32872528 swapFree=12744/274376
[pid=9465] ppid=9462 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/9465/stat : 9465 (toysat) R 9462 9465 5566 0 -1 4202496 248432 0 0 0 114 35 0 0 20 0 4 0 110436421 1344868352 249242 33554432000 4194304 16246674 140735556197024 140735556178944 5721660 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9465/statm: 328337 249255 877 2943 0 325231 0
[pid=9465/tid=9466] ppid=9462 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9466/stat : 9466 (toysat) S 9462 9465 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436421 1344868352 249263 33554432000 4194304 16246674 140735556197024 139634005748976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9465/tid=9467] ppid=9462 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9467/stat : 9467 (toysat) S 9462 9465 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436421 1344868352 249272 33554432000 4194304 16246674 140735556197024 139633995259120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9465/tid=9468] ppid=9462 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9468/stat : 9468 (toysat) S 9462 9465 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436421 1344868352 249280 33554432000 4194304 16246674 140735556197024 139633883081904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10042 s]
/proc/loadavg: 2.21 2.12 2.05 3/183 9469
/proc/meminfo: memFree=29492092/32872528 swapFree=12744/274376
[pid=9465] ppid=9462 vsize=1331780 CPUtime=3.09 cores=1,3,5,7
/proc/9465/stat : 9465 (toysat) R 9462 9465 5566 0 -1 4202496 273616 0 0 0 271 38 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 140735556178944 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9465/statm: 332945 274425 884 2943 0 329839 0
[pid=9465/tid=9466] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9466/stat : 9466 (toysat) S 9462 9465 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 139634005748976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9465/tid=9467] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9467/stat : 9467 (toysat) S 9462 9465 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 139633995259120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9465/tid=9468] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9468/stat : 9468 (toysat) S 9462 9465 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 139633883081904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1331780

[startup+6.30044 s]
/proc/loadavg: 2.21 2.12 2.05 3/183 9469
/proc/meminfo: memFree=29490864/32872528 swapFree=12744/274376
[pid=9465] ppid=9462 vsize=1331780 CPUtime=6.29 cores=1,3,5,7
/proc/9465/stat : 9465 (toysat) R 9462 9465 5566 0 -1 4202496 273616 0 0 0 591 38 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 140735556178944 13820980 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9465/statm: 332945 274425 884 2943 0 329839 0
[pid=9465/tid=9466] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9466/stat : 9466 (toysat) S 9462 9465 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 139634005748976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9465/tid=9467] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9467/stat : 9467 (toysat) S 9462 9465 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 139633995259120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9465/tid=9468] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9468/stat : 9468 (toysat) S 9462 9465 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 139633883081904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1331780

[startup+12.7004 s]
/proc/loadavg: 2.18 2.11 2.05 3/183 9469
/proc/meminfo: memFree=29490756/32872528 swapFree=12744/274376
[pid=9465] ppid=9462 vsize=1331780 CPUtime=12.69 cores=1,3,5,7
/proc/9465/stat : 9465 (toysat) R 9462 9465 5566 0 -1 4202496 273616 0 0 0 1231 38 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 140735556178944 13965602 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9465/statm: 332945 274425 884 2943 0 329839 0
[pid=9465/tid=9466] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9466/stat : 9466 (toysat) S 9462 9465 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 139634005748976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9465/tid=9467] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9467/stat : 9467 (toysat) S 9462 9465 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 139633995259120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9465/tid=9468] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9468/stat : 9468 (toysat) S 9462 9465 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 139633883081904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1331780

[startup+25.5005 s]
/proc/loadavg: 2.15 2.11 2.04 3/183 9469
/proc/meminfo: memFree=29488980/32872528 swapFree=12744/274376
[pid=9465] ppid=9462 vsize=1331780 CPUtime=25.49 cores=1,3,5,7
/proc/9465/stat : 9465 (toysat) R 9462 9465 5566 0 -1 4202496 273616 0 0 0 2511 38 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 140735556178944 13006112 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9465/statm: 332945 274425 884 2943 0 329839 0
[pid=9465/tid=9466] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9466/stat : 9466 (toysat) S 9462 9465 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 139634005748976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9465/tid=9467] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9467/stat : 9467 (toysat) S 9462 9465 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 139633995259120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9465/tid=9468] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9468/stat : 9468 (toysat) S 9462 9465 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 139633883081904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1331780

[startup+51.1005 s]
/proc/loadavg: 2.18 2.11 2.05 3/183 9469
/proc/meminfo: memFree=29490008/32872528 swapFree=12744/274376
[pid=9465] ppid=9462 vsize=1331780 CPUtime=51.08 cores=1,3,5,7
/proc/9465/stat : 9465 (toysat) R 9462 9465 5566 0 -1 4202496 273616 0 0 0 5055 53 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 140735556178944 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9465/statm: 332945 274425 884 2943 0 329839 0
[pid=9465/tid=9466] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9466/stat : 9466 (toysat) S 9462 9465 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 139634005748976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9465/tid=9467] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9467/stat : 9467 (toysat) S 9462 9465 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 139633995259120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9465/tid=9468] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9468/stat : 9468 (toysat) S 9462 9465 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 139633883081904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1331780

[startup+102.301 s]
/proc/loadavg: 2.14 2.11 2.05 3/183 9470
/proc/meminfo: memFree=29489888/32872528 swapFree=12744/274376
[pid=9465] ppid=9462 vsize=1331780 CPUtime=102.28 cores=1,3,5,7
/proc/9465/stat : 9465 (toysat) R 9462 9465 5566 0 -1 4202496 273616 0 0 0 10121 107 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 140735556178944 5662071 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9465/statm: 332945 274425 884 2943 0 329839 0
[pid=9465/tid=9466] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9466/stat : 9466 (toysat) S 9462 9465 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 139634005748976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9465/tid=9467] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9467/stat : 9467 (toysat) S 9462 9465 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 139633995259120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9465/tid=9468] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9468/stat : 9468 (toysat) S 9462 9465 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274425 33554432000 4194304 16246674 140735556197024 139633883081904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1331780


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

/proc/9465/task/9468/stat : 9468 (toysat) S 9462 9465 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139633883081904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1331780

[startup+1302.3 s]
/proc/loadavg: 2.12 2.15 2.09 3/183 9549
/proc/meminfo: memFree=29480004/32872528 swapFree=12744/274376
[pid=9465] ppid=9462 vsize=1331780 CPUtime=1301.87 cores=1,3,5,7
/proc/9465/stat : 9465 (toysat) R 9462 9465 5566 0 -1 4202496 274032 0 0 0 129667 520 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 140735556178944 5721571 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9465/statm: 332945 274682 885 2943 0 329839 0
[pid=9465/tid=9466] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9466/stat : 9466 (toysat) S 9462 9465 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139634005748976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9465/tid=9467] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9467/stat : 9467 (toysat) S 9462 9465 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139633995259120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9465/tid=9468] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9468/stat : 9468 (toysat) S 9462 9465 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139633883081904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1331780

[startup+1362.3 s]
/proc/loadavg: 2.04 2.12 2.09 3/183 9550
/proc/meminfo: memFree=29478520/32872528 swapFree=12744/274376
[pid=9465] ppid=9462 vsize=1331780 CPUtime=1361.86 cores=1,3,5,7
/proc/9465/stat : 9465 (toysat) R 9462 9465 5566 0 -1 4202496 274034 0 0 0 135664 522 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 140735556178944 6020448 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9465/statm: 332945 274682 885 2943 0 329839 0
[pid=9465/tid=9466] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9466/stat : 9466 (toysat) S 9462 9465 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139634005748976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9465/tid=9467] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9467/stat : 9467 (toysat) S 9462 9465 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139633995259120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9465/tid=9468] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9468/stat : 9468 (toysat) S 9462 9465 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139633883081904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1331780

[startup+1422.3 s]
/proc/loadavg: 2.16 2.14 2.09 3/184 9555
/proc/meminfo: memFree=29478068/32872528 swapFree=12744/274376
[pid=9465] ppid=9462 vsize=1331780 CPUtime=1421.85 cores=1,3,5,7
/proc/9465/stat : 9465 (toysat) R 9462 9465 5566 0 -1 4202496 274034 0 0 0 141652 533 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 140735556196200 13950202 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9465/statm: 332945 274682 885 2943 0 329839 0
[pid=9465/tid=9466] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9466/stat : 9466 (toysat) S 9462 9465 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139634005748976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9465/tid=9467] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9467/stat : 9467 (toysat) S 9462 9465 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139633995259120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9465/tid=9468] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9468/stat : 9468 (toysat) S 9462 9465 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139633883081904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1331780

[startup+1482.3 s]
/proc/loadavg: 2.11 2.13 2.09 3/184 9579
/proc/meminfo: memFree=29478136/32872528 swapFree=12744/274376
[pid=9465] ppid=9462 vsize=1331780 CPUtime=1481.84 cores=1,3,5,7
/proc/9465/stat : 9465 (toysat) R 9462 9465 5566 0 -1 4202496 274034 0 0 0 147643 541 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 140735556178944 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9465/statm: 332945 274682 885 2943 0 329839 0
[pid=9465/tid=9466] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9466/stat : 9466 (toysat) S 9462 9465 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139634005748976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9465/tid=9467] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9467/stat : 9467 (toysat) S 9462 9465 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139633995259120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9465/tid=9468] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9468/stat : 9468 (toysat) S 9462 9465 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139633883081904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1331780

[startup+1542.31 s]
/proc/loadavg: 2.13 2.13 2.09 3/183 9580
/proc/meminfo: memFree=29478064/32872528 swapFree=12744/274376
[pid=9465] ppid=9462 vsize=1331780 CPUtime=1541.83 cores=1,3,5,7
/proc/9465/stat : 9465 (toysat) R 9462 9465 5566 0 -1 4202496 274034 0 0 0 153636 547 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 140735556178944 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9465/statm: 332945 274682 885 2943 0 329839 0
[pid=9465/tid=9466] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9466/stat : 9466 (toysat) S 9462 9465 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139634005748976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9465/tid=9467] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9467/stat : 9467 (toysat) S 9462 9465 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139633995259120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9465/tid=9468] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9468/stat : 9468 (toysat) S 9462 9465 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139633883081904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1331780

[startup+1602.3 s]
/proc/loadavg: 2.19 2.14 2.10 3/183 9581
/proc/meminfo: memFree=29478460/32872528 swapFree=12744/274376
[pid=9465] ppid=9462 vsize=1331780 CPUtime=1601.82 cores=1,3,5,7
/proc/9465/stat : 9465 (toysat) R 9462 9465 5566 0 -1 4202496 274034 0 0 0 159627 555 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 140735556178944 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9465/statm: 332945 274682 885 2943 0 329839 0
[pid=9465/tid=9466] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9466/stat : 9466 (toysat) S 9462 9465 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139634005748976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9465/tid=9467] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9467/stat : 9467 (toysat) S 9462 9465 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139633995259120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9465/tid=9468] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9468/stat : 9468 (toysat) S 9462 9465 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139633883081904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1331780

[startup+1662.3 s]
/proc/loadavg: 2.16 2.14 2.09 3/183 9582
/proc/meminfo: memFree=29478112/32872528 swapFree=12744/274376
[pid=9465] ppid=9462 vsize=1331780 CPUtime=1661.81 cores=1,3,5,7
/proc/9465/stat : 9465 (toysat) R 9462 9465 5566 0 -1 4202496 274034 0 0 0 165622 559 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 140735556178944 5545898 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9465/statm: 332945 274682 885 2943 0 329839 0
[pid=9465/tid=9466] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9466/stat : 9466 (toysat) S 9462 9465 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139634005748976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9465/tid=9467] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9467/stat : 9467 (toysat) S 9462 9465 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139633995259120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9465/tid=9468] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9468/stat : 9468 (toysat) S 9462 9465 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139633883081904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1331780

[startup+1722.3 s]
/proc/loadavg: 2.23 2.16 2.10 3/183 9584
/proc/meminfo: memFree=29478136/32872528 swapFree=12744/274376
[pid=9465] ppid=9462 vsize=1331780 CPUtime=1721.8 cores=1,3,5,7
/proc/9465/stat : 9465 (toysat) R 9462 9465 5566 0 -1 4202496 274034 0 0 0 171616 564 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 140735556178944 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9465/statm: 332945 274682 885 2943 0 329839 0
[pid=9465/tid=9466] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9466/stat : 9466 (toysat) S 9462 9465 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139634005748976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9465/tid=9467] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9467/stat : 9467 (toysat) S 9462 9465 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139633995259120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9465/tid=9468] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9468/stat : 9468 (toysat) S 9462 9465 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139633883081904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1331780

[startup+1782.3 s]
/proc/loadavg: 2.16 2.15 2.10 3/183 9585
/proc/meminfo: memFree=29477912/32872528 swapFree=12744/274376
[pid=9465] ppid=9462 vsize=1331780 CPUtime=1781.8 cores=1,3,5,7
/proc/9465/stat : 9465 (toysat) R 9462 9465 5566 0 -1 4202496 274034 0 0 0 177613 567 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 140735556178944 5523325 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9465/statm: 332945 274682 885 2943 0 329839 0
[pid=9465/tid=9466] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9466/stat : 9466 (toysat) S 9462 9465 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139634005748976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9465/tid=9467] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9467/stat : 9467 (toysat) S 9462 9465 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139633995259120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9465/tid=9468] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9468/stat : 9468 (toysat) S 9462 9465 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139633883081904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1331780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.12 2.14 2.09 3/183 9585
/proc/meminfo: memFree=29477756/32872528 swapFree=12744/274376
[pid=9465] ppid=9462 vsize=1331780 CPUtime=1800.09 cores=1,3,5,7
/proc/9465/stat : 9465 (toysat) R 9462 9465 5566 0 -1 4202496 274034 0 0 0 179440 569 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 140735556178944 13950232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9465/statm: 332945 274682 885 2943 0 329839 0
[pid=9465/tid=9466] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9466/stat : 9466 (toysat) S 9462 9465 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139634005748976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9465/tid=9467] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9467/stat : 9467 (toysat) S 9462 9465 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139633995259120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9465/tid=9468] ppid=9462 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/9465/task/9468/stat : 9468 (toysat) S 9462 9465 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436421 1363742720 274682 33554432000 4194304 16246674 140735556197024 139633883081904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1331780

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9465 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.1
CPU user time (s): 1794.41
CPU system time (s): 5.69113
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 1331780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.41
system time used= 5.69113
maximum resident set size= 1098728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274034
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= 429
involuntary context switches= 1923

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.73228 second user time and 6.79597 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 09:36:57
IDJOB=4078912
IDBENCH=90147
IDSOLVER=2542
FILE ID=node107/4078912-1465285017
RUNJOBID= node107-1465255895-5583
PBS_JOBID= 19843278
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K176.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078912-1465285017/watcher-4078912-1465285017 -o /tmp/evaluation-result-4078912-1465285017/solver-4078912-1465285017 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5583 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078912-1465285017.opb

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

MD5SUM BENCH= 3f678424628fecb2a53891618f9bde8f
RANDOM SEED=1053464825

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30588932 kB
Buffers:           62712 kB
Cached:           130424 kB
SwapCached:         1652 kB
Active:          1171692 kB
Inactive:         104436 kB
Active(anon):    1080300 kB
Inactive(anon):     5252 kB
Active(file):      91392 kB
Inactive(file):    99184 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098524 kB
Dirty:             17884 kB
Writeback:             0 kB
AnonPages:       1436860 kB
Mapped:            10696 kB
Shmem:                 0 kB
Slab:             599264 kB
SReclaimable:      42764 kB
SUnreclaim:       556500 kB
KernelStack:        1520 kB
PageTables:         6332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1501084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1415168 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= 71712 MiB
End job on node107 at 2016-06-07 10:06:58