Trace number 4108876

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.06 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-24.opb
MD5SUM902c79ddb1483993d151297b6d1c86a6
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark274.33
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9342
Total number of constraints199352
Number of constraints which are clauses178530
Number of constraints which are cardinality constraints (but not clauses)720
Number of constraints which are nor clauses,nor cardinality constraints20102
Minimum length of a constraint2
Maximum length of a constraint231
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 232
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-19T01:21:38+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-4108876-1466292098.opb"]
0.00/0.01	c use --random-gen="2930775737 1779991651 725569364 1004770616 4292191668 2878478478 3947491569 3130632535 994386529 416298126 107835064 4234830676 3099984673 3771553005 1946066805 2063897089 1264700096 1313437938 498429578 525213465 1908774121 672835945 3205209139 1643225030 1480045170 1251063984 1778906271 896650440 4081999143 1390380166 763892366 469474949 2179460846 3679858572 3486471789 1801015509 2033388848 1046299378 782570790 947070644 3213777031 3809628766 1559318737 3527277178 1107847824 1961275081 1053445870 1197947308 2087374563 1039594296 2558071320 3753302734 2051793410 3680076844 1198086679 1863520026 1664384649 3998544156 1938541516 2158540491 3582581885 848450107 2438794683 1364002053 226539917 1750144489 3634163515 1245553895 1203733463 1986151577 3159986460 31567420 1616024352 726985838 735093455 2712322681 122843995 3026096445 2909044511 1860323199 3231292790 2092080806 1474847181 4224714547 3217172319 1672600638 2576752520 1912799823 3865600101 2679681916 1061599131 576800828 242861769 676976879 3887802687 2981333915 4223251979 798758761 507291530 1479843959 3781101252 698954858 2275352089 367883279 3341655628 2270111385 3588987751 3072158704 823818351 3888899709 2178541114 3883617114 2482033256 2568828873 376353003 3901017020 2789090389 2741348031 2084781884 1980972185 1899373443 2534140292 3651304311 851400230 984037258 2778996056 4212410609 1315184032 3975615629 1918751357 2808941813 96650574 2142807835 454340663 1571023331 3321866740 3986455718 315987315 1251351357 2281451390 4018140480 3936453726 3079122106 1881597022 2017019458 1069657707 184250024 4288864435 247015429 1501273142 829450384 692176409 1120074948 2345150761 1402352187 315276602 2232949284 78385277 1647233764 2054028607 2419170862 3244153478 3139997119 4060781081 3654437016 560498955 232276599 4282246351 3785278301 2387292648 1629633323 2460786578 2896975474 329680580 1456621965 3700626922 4154461548 2754205391 483868387 399301121 504294865 1633816055 1589203006 274886556 571888378 38174880 1676253433 1055124349 531452630 1274713469 2993665774 4253775447 549072194 1127283145 1631333511 3107861082 681369378 1876278839 3109916233 908042109 1278156432 2155751176 393520199 2835227120 3282335488 3432043642 877213910 4086302880 2350412380 1027533211 1040873407 608605002 4193105683 245593065 2956062335 614008339 3839388920 1918427185 2306490719 1394772258 2798138460 2886734658 2943318666 3357849624 3390924548 4018368465 3451726866 1676345454 2281346471 1186775027 2803250236 694856971 990185481 850210608 154623875 3277237715 2588998600 1799412031 2256294116 354737113 2703710562 3080418181 130455385 3857810607 3785623561 42942292 3086586097 76404361 4123339186 3389595 2135655370 2615858566 2323056851 2731759812 3294968860 2775314387 255 362436" option to reproduce the execution
1.48/1.66	c #vars 9342
1.48/1.66	c #constraints 199352
5.08/5.19	c Solving starts ...
5.08/5.19	c ============================[ Search Statistics ]============================
5.08/5.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.08/5.19	c       |         |          |          |    Limit     GC | Var      | Constra 
5.08/5.19	c =============================================================================
5.18/5.20	c  0.0s |       0 |        0 |        0 |    69687      0 |        0 |        0
5.48/5.58	c  0.4s |       1 |      135 |      100 |    69687      0 |        0 |        0
6.18/6.28	c  1.1s |       2 |     7934 |      250 |    76656      0 |        0 |        0
7.28/7.36	c  2.2s |       3 |    19987 |      475 |    84322      0 |        0 |        0
8.09/8.13	c  2.9s |       4 |    45350 |      813 |    92755      0 |        0 |        0
8.98/9.02	c  3.8s |       5 |    63015 |     1320 |   102031      0 |        0 |        0
11.78/11.82	c  6.6s |       5 |    96728 |     1520 |   112235      0 |        0 |        0
12.98/13.00	c  7.8s |       6 |   124313 |     2081 |   123459      0 |        0 |        0
14.38/14.43	c  9.2s |       7 |   132136 |     3223 |   135805      0 |        0 |        0
16.48/16.51	c 11.3s |       7 |   184049 |     4323 |   135805      0 |        0 |        0
17.78/17.89	c 12.7s |       8 |   220685 |     4936 |   149386      0 |        0 |        0
19.98/20.05	c 14.9s |       8 |   256482 |     5536 |   149386      0 |        0 |        0
22.08/22.15	c 17.0s |       8 |   275889 |     6736 |   149386      0 |        0 |        0
23.28/23.38	c 18.2s |       9 |   295342 |     7506 |   164325      0 |        0 |        0
25.48/25.50	c 20.3s |       9 |   319281 |     8306 |   164325      0 |        0 |        0
27.58/27.65	c 22.5s |       9 |   328359 |     9006 |   164325      0 |        0 |        0
29.69/29.79	c 24.6s |       9 |   348673 |    10206 |   164325      0 |        0 |        0
31.89/31.90	c 26.7s |      10 |   398693 |    11361 |   180758      0 |        0 |        0
33.89/33.96	c 28.8s |      10 |   422623 |    12661 |   180758      0 |        0 |        0
35.99/36.05	c 30.9s |      10 |   456387 |    14261 |   180758      0 |        0 |        0
37.99/38.06	c 32.9s |      10 |   472780 |    15361 |   180758      0 |        0 |        0
39.99/40.09	c 34.9s |      10 |   489206 |    16561 |   180758      0 |        0 |        0
41.19/41.22	c 36.0s |      11 |   498038 |    17144 |   198834      0 |        0 |        0
43.19/43.28	c 38.1s |      11 |   506645 |    18044 |   198834      0 |        0 |        0
45.29/45.40	c 40.2s |      11 |   507888 |    18944 |   198834      0 |        0 |        0
47.49/47.57	c 42.4s |      11 |   509141 |    19744 |   198834      0 |        0 |        0
49.69/49.79	c 44.6s |      11 |   514801 |    20644 |   198834      0 |        0 |        0
51.99/52.01	c 46.8s |      11 |   515939 |    21544 |   198834      0 |        0 |        0
54.19/54.21	c 49.0s |      11 |   516984 |    22444 |   198834      0 |        0 |        0
56.18/56.23	c 51.0s |      11 |   518018 |    23344 |   198834      0 |        0 |        0
58.18/58.23	c 53.0s |      11 |   518927 |    24144 |   198834      0 |        0 |        0
60.28/60.35	c 55.2s |      11 |   519859 |    24944 |   198834      0 |        0 |        0
62.38/62.48	c 57.3s |      11 |   520753 |    25744 |   218718      0 |        0 |        0
62.68/62.71	c 57.5s |      12 |   520847 |    25819 |   218718      0 |        0 |        0
64.78/64.89	c 59.7s |      12 |   547773 |    26419 |   218718      0 |        0 |        0
67.49/67.56	c 62.4s |      12 |   578438 |    27119 |   218718      0 |        0 |        0
69.69/69.71	c 64.5s |      12 |   614614 |    28219 |   218718      0 |        0 |        0
71.68/71.74	c 66.5s |      12 |   644028 |    29719 |   218718      0 |        0 |        0
73.88/73.91	c 68.7s |      12 |   675246 |    31419 |   218718      0 |        0 |        0
75.98/76.08	c 70.9s |      12 |   697135 |    32619 |   218718      0 |        0 |        0
78.18/78.25	c 73.1s |      12 |   715837 |    33819 |   218718      0 |        0 |        0
80.28/80.39	c 75.2s |      12 |   725887 |    34719 |   218718      0 |        0 |        0
82.48/82.52	c 77.3s |      12 |   738688 |    35619 |   218718      0 |        0 |        0
84.58/84.63	c 79.4s |      12 |   756589 |    37619 |   218718      0 |        0 |        0
85.38/85.49	c 80.3s |      13 |   759879 |    38832 |   240590      0 |        0 |        0
87.48/87.53	c 82.3s |      13 |   760860 |    39632 |   240590      0 |        0 |        0
89.58/89.65	c 84.5s |      13 |   762091 |    40732 |   240590      0 |        0 |        0
91.78/91.87	c 86.7s |      13 |   763444 |    41932 |   240590      0 |        0 |        0
93.98/94.09	c 88.9s |      13 |   764572 |    42932 |   240590      0 |        0 |        0
96.28/96.30	c 91.1s |      13 |   765985 |    43832 |   240590      0 |        0 |        0
98.28/98.36	c 93.2s |      13 |   767410 |    44832 |   240590      0 |        0 |        0
100.38/100.44	c 95.2s |      13 |   769259 |    45932 |   240590      0 |        0 |        0
102.48/102.59	c 97.4s |      13 |   770304 |    46832 |   240590      0 |        0 |        0
104.78/104.87	c 99.7s |      13 |   771344 |    47732 |   240590      0 |        0 |        0
106.98/107.03	c  101s |      13 |   773040 |    48732 |   240590      0 |        0 |        0
108.98/109.04	c  103s |      13 |   774509 |    49732 |   240590      0 |        0 |        0
111.08/111.18	c  105s |      13 |   775607 |    50632 |   240590      0 |        0 |        0
113.37/113.44	c  108s |      13 |   776411 |    51332 |   240590      0 |        0 |        0
115.37/115.44	c  110s |      13 |   777088 |    51932 |   240590      0 |        0 |        0
117.37/117.48	c  112s |      13 |   778008 |    52732 |   240590      0 |        0 |        0
119.47/119.53	c  114s |      13 |   778806 |    53432 |   240590      0 |        0 |        0
121.47/121.59	c  116s |      13 |   779730 |    54232 |   240590      0 |        0 |        0
123.48/123.59	c  118s |      13 |   780595 |    54932 |   240590      0 |        0 |        0
125.57/125.62	c  120s |      13 |   781454 |    55632 |   240590      0 |        0 |        0
127.67/127.76	c  122s |      13 |   782628 |    56332 |   240590      0 |        0 |        0
129.87/129.91	c  124s |      13 |   783539 |    57132 |   240590      0 |        0 |        0
131.97/132.07	c  126s |      13 |   784675 |    57832 |   240590      0 |        0 |        0
133.87/133.90	c  128s |      14 |   785254 |    58352 |   264649      0 |        0 |        0
135.87/135.96	c  130s |      14 |   807124 |    60552 |   264649      0 |        0 |        0
137.97/138.02	c  132s |      14 |   814086 |    62852 |   264649      0 |        0 |        0
139.98/140.06	c  134s |      14 |   818648 |    65152 |   264649      0 |        0 |        0
142.07/142.16	c  136s |      14 |   824019 |    67352 |   264649      0 |        0 |        0
144.07/144.16	c  138s |      14 |   827998 |    68852 |   264649      0 |        0 |        0
146.07/146.18	c  140s |      14 |   833817 |    70052 |   264649      0 |        0 |        0
148.27/148.30	c  143s |      14 |   836252 |    71252 |   264649      0 |        0 |        0
150.37/150.44	c  145s |      14 |   838237 |    72352 |   264649      0 |        0 |        0
152.37/152.45	c  147s |      14 |   840249 |    73452 |   264649      0 |        0 |        0
154.57/154.62	c  149s |      14 |   842471 |    74452 |   264649      0 |        0 |        0
156.57/156.68	c  151s |      14 |   844010 |    75352 |   264649      0 |        0 |        0
158.87/158.94	c  153s |      14 |   845383 |    76252 |   264649      0 |        0 |        0
160.97/161.05	c  155s |      14 |   846933 |    77152 |   264649      0 |        0 |        0
163.17/163.24	c  158s |      14 |   848393 |    77952 |   264649      0 |        0 |        0
165.27/165.34	c  160s |      14 |   849781 |    78852 |   264649      0 |        0 |        0
167.47/167.52	c  162s |      14 |   851342 |    79752 |   264649      0 |        0 |        0
169.67/169.79	c  164s |      14 |   854201 |    80952 |   264649      0 |        0 |        0
171.87/171.99	c  166s |      14 |   855585 |    81752 |   264649      0 |        0 |        0
174.07/174.19	c  168s |      14 |   857590 |    82652 |   264649      0 |        0 |        0
176.16/176.22	c  171s |      14 |   858625 |    83352 |   264649      0 |        0 |        0
178.36/178.46	c  173s |      14 |   860198 |    84252 |   264649      0 |        0 |        0
180.36/180.48	c  175s |      14 |   861324 |    84952 |   264649      0 |        0 |        0
182.56/182.65	c  177s |      14 |   886549 |    86252 |   264649      0 |        0 |        0
184.66/184.78	c  179s |      14 |   894147 |    87052 |   291114      0 |        0 |        0
186.17/186.22	c  181s |      15 |   899985 |    87632 |   291114      0 |        0 |        0
188.37/188.45	c  183s |      15 |   906449 |    88332 |   291114      0 |        0 |        0
190.57/190.70	c  185s |      15 |   909751 |    89132 |   291114      0 |        0 |        0
192.77/192.83	c  187s |      15 |   918793 |    90832 |   291114      0 |        0 |        0
195.66/195.77	c  190s |      15 |   939186 |    91832 |   291114      0 |        0 |        0
197.76/197.83	c  192s |      15 |   957451 |    93032 |   291114      0 |        0 |        0
199.86/199.90	c  194s |      15 |   974544 |    94732 |   291114      0 |        0 |        0
201.86/201.98	c  196s |      15 |   996432 |    96232 |   291114      0 |        0 |        0
203.96/204.07	c  198s |      15 |  1004907 |    97432 |   291114      0 |        0 |        0
206.06/206.16	c  200s |      15 |  1011397 |    98632 |   291114      0 |        0 |        0
208.16/208.25	c  203s |      15 |  1017805 |    99932 |   291114      0 |        0 |        0
210.26/210.38	c  205s |      15 |  1031019 |   101332 |   291114      0 |        0 |        0
212.36/212.47	c  207s |      15 |  1035462 |   102232 |   291114      0 |        0 |        0
214.46/214.50	c  209s |      15 |  1040059 |   103332 |   291114      0 |        0 |        0
216.46/216.58	c  211s |      15 |  1045639 |   104832 |   291114      0 |        0 |        0
218.55/218.64	c  213s |      15 |  1049312 |   106032 |   291114      0 |        0 |        0
220.75/220.85	c  215s |      15 |  1053910 |   106832 |   291114      0 |        0 |        0
222.85/222.98	c  217s |      15 |  1056536 |   107532 |   291114      0 |        0 |        0
224.95/225.05	c  219s |      15 |  1062202 |   108332 |   291114      0 |        0 |        0
226.96/227.05	c  221s |      15 |  1064099 |   108932 |   291114      0 |        0 |        0
229.16/229.27	c  224s |      15 |  1066653 |   109732 |   291114      0 |        0 |        0
231.26/231.37	c  226s |      15 |  1069108 |   110432 |   291114      0 |        0 |        0
233.65/233.73	c  228s |      15 |  1070358 |   111032 |   291114      0 |        0 |        0
235.76/235.84	c  230s |      15 |  1072817 |   111632 |   291114      0 |        0 |        0
237.75/237.88	c  232s |      15 |  1074803 |   112332 |   291114      0 |        0 |        0
240.06/240.20	c  235s |      15 |  1078997 |   113132 |   291114      0 |        0 |        0
242.26/242.32	c  237s |      15 |  1081787 |   113832 |   291114      0 |        0 |        0
244.46/244.54	c  239s |      15 |  1084613 |   114532 |   291114      0 |        0 |        0
246.66/246.77	c  241s |      15 |  1090854 |   115532 |   291114      0 |        0 |        0
248.96/249.07	c  243s |      15 |  1092070 |   116232 |   291114      0 |        0 |        0
251.35/251.41	c  246s |      15 |  1093830 |   116932 |   291114      0 |        0 |        0
253.45/253.52	c  248s |      15 |  1094962 |   117432 |   291114      0 |        0 |        0
255.85/255.95	c  250s |      15 |  1096004 |   118032 |   291114      0 |        0 |        0
257.95/258.07	c  252s |      15 |  1097495 |   118632 |   291114      0 |        0 |        0
260.25/260.39	c  255s |      15 |  1098929 |   119232 |   291114      0 |        0 |        0
262.55/262.62	c  257s |      15 |  1102971 |   120132 |   291114      0 |        0 |        0
264.75/264.82	c  259s |      15 |  1105662 |   120832 |   291114      0 |        0 |        0
266.95/267.03	c  261s |      15 |  1107767 |   121732 |   291114      0 |        0 |        0
268.95/269.07	c  263s |      15 |  1125306 |   122432 |   291114      0 |        0 |        0
271.15/271.26	c  266s |      15 |  1143708 |   124632 |   291114      0 |        0 |        0
273.15/273.28	c  268s |      15 |  1146694 |   125632 |   291114      0 |        0 |        0
275.45/275.54	c  270s |      15 |  1150007 |   126632 |   291114      0 |        0 |        0
277.55/277.66	c  272s |      15 |  1154057 |   127732 |   291114      0 |        0 |        0
279.85/279.98	c  274s |      15 |  1156110 |   128532 |   291114      0 |        0 |        0
281.85/281.99	c  276s |      15 |  1156914 |   129032 |   291114      0 |        0 |        0
283.94/284.04	c  278s |      15 |  1158351 |   129632 |   291114      0 |        0 |        0
286.04/286.15	c  280s |      15 |  1163041 |   130932 |   320226      0 |        0 |        0
286.84/286.95	c  281s |      16 |  1166796 |   131552 |   320226      0 |        0 |        0
288.94/289.02	c  283s |      16 |  1170239 |   132452 |   320226      0 |        0 |        0
291.14/291.24	c  286s |      16 |  1172632 |   133652 |   320226      0 |        0 |        0
293.54/293.61	c  288s |      16 |  1174277 |   134352 |   320226      0 |        0 |        0
295.94/296.02	c  290s |      16 |  1176390 |   134952 |   320226      0 |        0 |        0
298.14/298.27	c  293s |      16 |  1186725 |   135652 |   320226      0 |        1 |       11
300.44/300.50	c  295s |      16 |  1190079 |   136152 |   320226      0 |        2 |       22
302.44/302.53	c  297s |      16 |  1190753 |   136752 |   320226      0 |        2 |       22
304.54/304.68	c  299s |      16 |  1191430 |   137352 |   320226      0 |        2 |       22
306.64/306.72	c  301s |      16 |  1192134 |   137952 |   320226      0 |        2 |       22
308.84/308.96	c  303s |      16 |  1192849 |   138552 |   320226      0 |        2 |       22
310.84/310.98	c  305s |      16 |  1193511 |   139152 |   320226      0 |        2 |       22
313.34/313.46	c  308s |      16 |  1194181 |   139752 |   320226      0 |        2 |       22
315.64/315.75	c  310s |      16 |  1194733 |   140252 |   320226      0 |        2 |       22
317.84/317.98	c  312s |      16 |  1195313 |   140752 |   320226      0 |        2 |       22
320.04/320.15	c  314s |      16 |  1195851 |   141252 |   320226      0 |        2 |       22
322.14/322.23	c  317s |      16 |  1196384 |   141752 |   320226      0 |        2 |       22
324.24/324.33	c  319s |      16 |  1196950 |   142252 |   320226      0 |        2 |       22
326.44/326.51	c  321s |      16 |  1197497 |   142752 |   320226      0 |        2 |       22
328.94/329.00	c  323s |      16 |  1199525 |   143152 |   320226      0 |        2 |       22
331.14/331.23	c  326s |      16 |  1199945 |   143452 |   320226      0 |        2 |       22
333.74/333.84	c  328s |      16 |  1200403 |   143852 |   320226      0 |        2 |       22
335.94/336.06	c  330s |      16 |  1200843 |   144252 |   320226      0 |        2 |       22
337.94/338.09	c  332s |      16 |  1201284 |   144652 |   320226      0 |        2 |       22
340.04/340.10	c  334s |      16 |  1201746 |   145052 |   320226      0 |        2 |       22
342.34/342.44	c  337s |      16 |  1202293 |   145552 |   320226      0 |        2 |       22
344.83/344.95	c  339s |      16 |  1202853 |   146052 |   320226      0 |        2 |       22
347.13/347.21	c  342s |      16 |  1203401 |   146552 |   320226      0 |        2 |       22
349.23/349.34	c  344s |      16 |  1203872 |   146952 |   320226      0 |        2 |       22
351.63/351.78	c  346s |      16 |  1204320 |   147352 |   320226      0 |        2 |       22
353.73/353.90	c  348s |      16 |  1204771 |   147752 |   320226      0 |        2 |       22
356.13/356.27	c  351s |      16 |  1205315 |   148252 |   320226      0 |        2 |       22
358.53/358.61	c  353s |      16 |  1205898 |   148752 |   320226      0 |        2 |       22
360.53/360.66	c  355s |      16 |  1206363 |   149152 |   320226      0 |        2 |       22
362.73/362.85	c  357s |      16 |  1206902 |   149652 |   320226      0 |        2 |       22
365.23/365.34	c  360s |      16 |  1207452 |   150152 |   320226      0 |        2 |       22
367.23/367.36	c  362s |      16 |  1208030 |   150652 |   320226      0 |        2 |       22
369.53/369.60	c  364s |      16 |  1208587 |   151152 |   320226      0 |        2 |       22
371.93/372.09	c  366s |      16 |  1209241 |   151652 |   320226      0 |        2 |       22
374.13/374.29	c  369s |      16 |  1209658 |   152052 |   320226      0 |        2 |       22
376.63/376.77	c  371s |      16 |  1211373 |   152552 |   320226      0 |        2 |       22
378.93/379.00	c  373s |      16 |  1213030 |   153052 |   320226      0 |        2 |       22
381.23/381.30	c  376s |      16 |  1214030 |   153452 |   320226      0 |        2 |       22
383.53/383.62	c  378s |      16 |  1215211 |   153852 |   320226      0 |        2 |       22
385.73/385.87	c  380s |      16 |  1218124 |   154452 |   320226      0 |        2 |       22
388.03/388.15	c  382s |      16 |  1218821 |   154952 |   320226      0 |        2 |       22
390.23/390.37	c  385s |      16 |  1219649 |   155452 |   320226      0 |        2 |       22
392.33/392.47	c  387s |      16 |  1220215 |   155852 |   320226      0 |        2 |       22
394.43/394.58	c  389s |      16 |  1221241 |   156352 |   320226      0 |        2 |       22
396.73/396.87	c  391s |      16 |  1222073 |   156952 |   320226      0 |        2 |       22
398.73/398.87	c  393s |      16 |  1222739 |   157452 |   320226      0 |        2 |       22
400.83/400.90	c  395s |      16 |  1223381 |   157952 |   320226      0 |        2 |       22
402.93/403.02	c  397s |      16 |  1224157 |   158552 |   320226      0 |        2 |       22
405.13/405.23	c  400s |      16 |  1224884 |   159152 |   320226      0 |        2 |       22
407.33/407.43	c  402s |      16 |  1225496 |   159652 |   320226      0 |        2 |       22
409.62/409.71	c  404s |      16 |  1226082 |   160152 |   320226      0 |        2 |       22
411.73/411.82	c  406s |      16 |  1226685 |   160652 |   320226      0 |        2 |       22
413.93/414.03	c  408s |      16 |  1227156 |   161052 |   320226      0 |        2 |       22
416.13/416.24	c  411s |      16 |  1227765 |   161452 |   320226      0 |        2 |       22
418.23/418.34	c  413s |      16 |  1228482 |   161852 |   320226      0 |        2 |       22
420.53/420.62	c  415s |      16 |  1229102 |   162252 |   320226      0 |        2 |       22
422.63/422.71	c  417s |      16 |  1229469 |   162552 |   320226      0 |        2 |       22
424.93/425.03	c  419s |      16 |  1229798 |   162852 |   320226      0 |        2 |       22
427.13/427.27	c  422s |      16 |  1230116 |   163152 |   320226      0 |        2 |       22
429.72/429.83	c  424s |      16 |  1230589 |   163552 |   320226      0 |        2 |       22
432.12/432.25	c  427s |      16 |  1231035 |   163952 |   320226      0 |        2 |       22
434.22/434.32	c  429s |      16 |  1231558 |   164352 |   320226      0 |        2 |       22
436.32/436.47	c  431s |      16 |  1232021 |   164752 |   320226      0 |        2 |       22
438.52/438.62	c  433s |      16 |  1232562 |   165152 |   320226      0 |        2 |       22
440.72/440.80	c  435s |      16 |  1232950 |   165452 |   320226      0 |        2 |       22
443.22/443.38	c  438s |      16 |  1233448 |   165852 |   320226      0 |        2 |       22
445.62/445.75	c  440s |      16 |  1233999 |   166252 |   320226      0 |        2 |       22
447.72/447.86	c  442s |      16 |  1234489 |   166652 |   320226      0 |        2 |       22
449.82/449.95	c  444s |      16 |  1234962 |   167052 |   320226      0 |        2 |       22
452.12/452.26	c  447s |      16 |  1235296 |   167352 |   320226      0 |        2 |       22
454.32/454.40	c  449s |      16 |  1235634 |   167652 |   320226      0 |        2 |       22
456.82/456.99	c  451s |      16 |  1236070 |   168052 |   320226      0 |        2 |       22
459.22/459.36	c  454s |      16 |  1236543 |   168452 |   320226      0 |        2 |       22
461.52/461.67	c  456s |      16 |  1237027 |   168852 |   320226      0 |        2 |       22
463.92/464.09	c  458s |      16 |  1237603 |   169352 |   320226      0 |        2 |       22
466.02/466.12	c  460s |      16 |  1238045 |   169752 |   320226      0 |        2 |       22
468.01/468.18	c  462s |      16 |  1238512 |   170152 |   320226      0 |        2 |       22
470.21/470.37	c  465s |      16 |  1239024 |   170552 |   320226      0 |        2 |       22
472.91/473.01	c  467s |      16 |  1239721 |   171052 |   320226      0 |        2 |       22
474.91/475.01	c  469s |      16 |  1240041 |   171352 |   320226      0 |        2 |       22
477.41/477.58	c  472s |      16 |  1240478 |   171752 |   320226      0 |        2 |       22
479.71/479.84	c  474s |      16 |  1240801 |   172052 |   320226      0 |        2 |       22
482.21/482.31	c  477s |      16 |  1241232 |   172452 |   320226      0 |        2 |       22
484.81/484.90	c  479s |      16 |  1241694 |   172852 |   320226      0 |        2 |       22
487.11/487.25	c  482s |      16 |  1242031 |   173152 |   320226      0 |        2 |       22
489.61/489.76	c  484s |      16 |  1242363 |   173452 |   320226      0 |        2 |       22
491.81/491.94	c  486s |      16 |  1242700 |   173752 |   320226      0 |        2 |       22
493.91/494.00	c  488s |      16 |  1243036 |   174052 |   320226      0 |        2 |       22
496.11/496.24	c  491s |      16 |  1243476 |   174452 |   320226      0 |        2 |       22
498.31/498.45	c  493s |      16 |  1243917 |   174852 |   320226      0 |        2 |       22
500.41/500.56	c  495s |      16 |  1244408 |   175252 |   320226      0 |        2 |       22
502.51/502.66	c  497s |      16 |  1244871 |   175652 |   320226      0 |        2 |       22
504.71/504.83	c  499s |      16 |  1245348 |   176052 |   320226      0 |        2 |       22
506.71/506.85	c  501s |      16 |  1245822 |   176452 |   320226      0 |        2 |       22
508.71/508.85	c  503s |      16 |  1246285 |   176852 |   320226      0 |        2 |       22
511.21/511.39	c  506s |      16 |  1246733 |   177252 |   320226      0 |        2 |       22
513.31/513.48	c  508s |      16 |  1247177 |   177652 |   320226      0 |        2 |       22
515.91/516.03	c  510s |      16 |  1247658 |   178052 |   320226      0 |        2 |       22
517.91/518.06	c  512s |      16 |  1248126 |   178452 |   320226      0 |        2 |       22
520.11/520.23	c  515s |      16 |  1248605 |   178852 |   320226      0 |        2 |       22
522.41/522.55	c  517s |      16 |  1249187 |   179352 |   320226      0 |        2 |       22
524.41/524.56	c  519s |      16 |  1249710 |   179752 |   320226      0 |        2 |       22
526.81/527.00	c  521s |      16 |  1250290 |   180252 |   320226      0 |        2 |       22
529.21/529.37	c  524s |      16 |  1250631 |   180552 |   320226      0 |        2 |       22
531.21/531.38	c  526s |      16 |  1250848 |   180752 |   320226      0 |        2 |       22
533.81/533.94	c  528s |      16 |  1251188 |   181052 |   320226      0 |        2 |       22
536.30/536.42	c  531s |      16 |  1251622 |   181452 |   320226      0 |        2 |       22
538.40/538.51	c  533s |      16 |  1251954 |   181752 |   320226      0 |        2 |       22
540.50/540.62	c  535s |      16 |  1252277 |   182052 |   320226      0 |        2 |       22
542.80/542.97	c  537s |      16 |  1252842 |   182552 |   320226      0 |        2 |       22
545.10/545.20	c  540s |      16 |  1253436 |   183052 |   320226      0 |        2 |       22
547.50/547.60	c  542s |      16 |  1254091 |   183652 |   320226      0 |        2 |       22
550.00/550.15	c  544s |      16 |  1254655 |   184152 |   320226      0 |        2 |       22
552.51/552.62	c  547s |      16 |  1255228 |   184652 |   320226      0 |        2 |       22
554.80/554.98	c  549s |      16 |  1255799 |   185152 |   320226      0 |        2 |       22
557.20/557.30	c  552s |      16 |  1256363 |   185652 |   320226      0 |        2 |       22
559.20/559.38	c  554s |      16 |  1256809 |   186052 |   320226      0 |        2 |       22
561.40/561.54	c  556s |      16 |  1257261 |   186452 |   320226      0 |        2 |       22
564.10/564.20	c  559s |      16 |  1257707 |   186852 |   320226      0 |        2 |       22
566.81/566.96	c  561s |      16 |  1258162 |   187252 |   320226      0 |        2 |       22
569.40/569.55	c  564s |      16 |  1258599 |   187652 |   320226      0 |        2 |       22
571.70/571.82	c  566s |      16 |  1259040 |   188052 |   320226      0 |        2 |       22
574.00/574.18	c  568s |      16 |  1259506 |   188452 |   320226      0 |        2 |       22
576.50/576.67	c  571s |      16 |  1260241 |   188952 |   320226      0 |        2 |       22
578.70/578.81	c  573s |      16 |  1260871 |   189452 |   320226      0 |        2 |       22
581.10/581.29	c  576s |      16 |  1261486 |   189952 |   320226      0 |        2 |       22
583.20/583.38	c  578s |      16 |  1262038 |   190352 |   320226      0 |        2 |       22
585.70/585.86	c  580s |      16 |  1262549 |   190752 |   320226      0 |        2 |       22
587.80/587.98	c  582s |      16 |  1263052 |   191152 |   320226      0 |        2 |       22
589.90/590.08	c  584s |      16 |  1263532 |   191552 |   320226      0 |        2 |       22
592.60/592.71	c  587s |      16 |  1264018 |   191852 |   320226      0 |        2 |       22
594.70/594.88	c  589s |      16 |  1264416 |   192152 |   320226      0 |        2 |       22
597.20/597.37	c  592s |      16 |  1264775 |   192452 |   320226      0 |        2 |       22
599.49/599.67	c  594s |      16 |  1265172 |   192752 |   320226      0 |        2 |       22
601.79/601.94	c  596s |      16 |  1265563 |   193052 |   320226      0 |        2 |       22
603.89/604.03	c  598s |      16 |  1265932 |   193352 |   320226      0 |        2 |       22
605.99/606.18	c  600s |      16 |  1266312 |   193652 |   320226      0 |        2 |       22
608.50/608.69	c  603s |      16 |  1266660 |   193952 |   320226      0 |        2 |       22
610.70/610.87	c  605s |      16 |  1267099 |   194252 |   320226      0 |        2 |       22
612.79/612.93	c  607s |      16 |  1267541 |   194552 |   320226      0 |        2 |       22
614.89/615.03	c  609s |      16 |  1267912 |   194852 |   320226      0 |        2 |       22
616.99/617.10	c  611s |      16 |  1268291 |   195152 |   320226      0 |        2 |       22
619.50/619.67	c  614s |      16 |  1268789 |   195552 |   320226      0 |        2 |       22
621.70/621.86	c  616s |      16 |  1269134 |   195852 |   320226      0 |        2 |       22
623.79/623.94	c  618s |      16 |  1269514 |   196152 |   352249      0 |        2 |       22
626.10/626.29	c  621s |      16 |  1270002 |   196552 |   352249      0 |        2 |       22
628.19/628.37	c  623s |      16 |  1270337 |   196852 |   352249      0 |        2 |       22
630.69/630.81	c  625s |      16 |  1270823 |   197252 |   352249      0 |        2 |       22
632.19/632.30	c  627s |      17 |  1271014 |   197432 |   352249      0 |        2 |       22
634.59/634.71	c  629s |      17 |  1271492 |   197632 |   352249      0 |        2 |       22
637.59/637.70	c  632s |      17 |  1271817 |   197932 |   352249      0 |        2 |       22
639.79/639.92	c  634s |      17 |  1272141 |   198232 |   352249      0 |        2 |       22
642.09/642.26	c  637s |      17 |  1272477 |   198532 |   352249      0 |        2 |       22
644.39/644.53	c  639s |      17 |  1272792 |   198832 |   352249      0 |        2 |       22
646.49/646.63	c  641s |      17 |  1279642 |   199132 |   352249      0 |        2 |       22
648.89/649.01	c  643s |      17 |  1282549 |   199732 |   352249      0 |        2 |       22
650.99/651.16	c  645s |      17 |  1285258 |   200632 |   352249      0 |        2 |       22
653.09/653.24	c  648s |      17 |  1298428 |   201232 |   352249      0 |        2 |       22
655.19/655.39	c  650s |      17 |  1300836 |   202432 |   352249      0 |        2 |       22
657.59/657.77	c  652s |      17 |  1302086 |   202632 |   352249      0 |        3 |       33
659.99/660.15	c  654s |      17 |  1302656 |   202932 |   352249      0 |        3 |       33
662.69/662.87	c  657s |      17 |  1303464 |   203232 |   352249      0 |        4 |       44
664.79/664.92	c  659s |      17 |  1304071 |   203532 |   352249      0 |        4 |       44
667.48/667.69	c  662s |      17 |  1304605 |   203832 |   352249      0 |        4 |       44
669.68/669.84	c  664s |      17 |  1304864 |   203932 |   352249      0 |        5 |       55
671.98/672.12	c  666s |      17 |  1313591 |   205032 |   352249      0 |        5 |       55
674.18/674.34	c  669s |      17 |  1314992 |   205632 |   352249      0 |        5 |       55
676.18/676.38	c  671s |      17 |  1317129 |   206832 |   352249      0 |        5 |       55
678.38/678.55	c  673s |      17 |  1318166 |   207332 |   352249      0 |        5 |       55
680.78/680.93	c  675s |      17 |  1320243 |   208032 |   352249      0 |        5 |       55
683.08/683.20	c  678s |      17 |  1322577 |   209232 |   352249      0 |        5 |       55
685.08/685.29	c  680s |      17 |  1324378 |   210032 |   352249      0 |        5 |       55
687.28/687.40	c  682s |      17 |  1325984 |   210732 |   352249      0 |        5 |       55
689.48/689.65	c  684s |      17 |  1327440 |   211532 |   352249      0 |        5 |       55
691.48/691.68	c  686s |      17 |  1331263 |   212332 |   352249      0 |        5 |       55
693.58/693.74	c  688s |      17 |  1334729 |   213232 |   352249      0 |        5 |       55
696.18/696.33	c  691s |      17 |  1335951 |   213832 |   352249      0 |        5 |       55
698.28/698.48	c  693s |      17 |  1336941 |   214232 |   352249      0 |        5 |       55
700.99/701.17	c  695s |      17 |  1337996 |   214732 |   352249      0 |        6 |       66
703.48/703.67	c  698s |      17 |  1340351 |   215032 |   352249      0 |        6 |       66
706.38/706.60	c  701s |      17 |  1341172 |   215332 |   352249      0 |        6 |       66
709.08/709.22	c  704s |      17 |  1341518 |   215632 |   352249      0 |        6 |       66
711.78/711.90	c  706s |      17 |  1341837 |   215932 |   352249      0 |        6 |       66
714.28/714.40	c  709s |      17 |  1342161 |   216232 |   352249      0 |        6 |       66
717.18/717.33	c  712s |      17 |  1342497 |   216532 |   352249      0 |        6 |       66
719.28/719.46	c  714s |      17 |  1342835 |   216832 |   352249      0 |        6 |       66
721.48/721.67	c  716s |      17 |  1343179 |   217132 |   352249      0 |        6 |       66
723.98/724.16	c  718s |      17 |  1343866 |   217432 |   352249      0 |        6 |       66
726.57/726.76	c  721s |      17 |  1344283 |   217732 |   352249      0 |        6 |       66
729.07/729.20	c  724s |      17 |  1344659 |   218032 |   352249      0 |        6 |       66
732.07/732.29	c  727s |      17 |  1345268 |   218432 |   352249      0 |        6 |       66
734.57/734.76	c  729s |      17 |  1345507 |   218632 |   352249      0 |        6 |       66
737.37/737.50	c  732s |      17 |  1345850 |   218932 |   352249      0 |        6 |       66
739.97/740.13	c  734s |      17 |  1346198 |   219232 |   352249      0 |        6 |       66
742.47/742.60	c  737s |      17 |  1346529 |   219532 |   352249      0 |        6 |       66
745.07/745.23	c  740s |      17 |  1346875 |   219832 |   352249      0 |        6 |       66
747.47/747.66	c  742s |      17 |  1347215 |   220132 |   352249      0 |        6 |       66
749.87/750.08	c  744s |      17 |  1347544 |   220432 |   352249      0 |        6 |       66
752.37/752.59	c  747s |      17 |  1347883 |   220732 |   352249      0 |        6 |       66
754.78/754.97	c  749s |      17 |  1348213 |   221032 |   352249      0 |        6 |       66
757.08/757.24	c  752s |      17 |  1348556 |   221332 |   352249      0 |        6 |       66
759.67/759.85	c  754s |      17 |  1348892 |   221632 |   352249      0 |        6 |       66
761.97/762.14	c  756s |      17 |  1349235 |   221932 |   352249      0 |        6 |       66
764.37/764.58	c  759s |      17 |  1349571 |   222232 |   352249      0 |        6 |       66
766.67/766.89	c  761s |      17 |  1349788 |   222432 |   352249      0 |        6 |       66
769.67/769.80	c  764s |      17 |  1350111 |   222732 |   352249      0 |        6 |       66
772.27/772.40	c  767s |      17 |  1350436 |   223032 |   352249      0 |        6 |       66
774.77/774.94	c  769s |      17 |  1350770 |   223332 |   352249      0 |        6 |       66
777.17/777.39	c  772s |      17 |  1351094 |   223632 |   352249      0 |        6 |       66
779.47/779.68	c  774s |      17 |  1351438 |   223932 |   352249      0 |        6 |       66
781.87/782.07	c  776s |      17 |  1351758 |   224232 |   352249      0 |        6 |       66
783.86/784.09	c  778s |      17 |  1352101 |   224532 |   352249      0 |        6 |       66
786.36/786.50	c  781s |      17 |  1352440 |   224832 |   352249      0 |        6 |       66
788.56/788.75	c  783s |      17 |  1352873 |   225232 |   352249      0 |        6 |       66
791.26/791.48	c  786s |      17 |  1353297 |   225632 |   352249      0 |        6 |       66
793.37/793.57	c  788s |      17 |  1353622 |   225932 |   352249      0 |        6 |       66
795.97/796.15	c  790s |      17 |  1353972 |   226232 |   352249      0 |        6 |       66
798.07/798.25	c  793s |      17 |  1354297 |   226532 |   352249      0 |        6 |       66
800.37/800.50	c  795s |      17 |  1354612 |   226832 |   352249      0 |        6 |       66
803.18/803.34	c  798s |      17 |  1354963 |   227132 |   352249      0 |        6 |       66
805.67/805.87	c  800s |      17 |  1355288 |   227432 |   352249      0 |        6 |       66
807.97/808.12	c  802s |      17 |  1355615 |   227732 |   352249      0 |        6 |       66
810.37/810.59	c  805s |      17 |  1355943 |   228032 |   352249      0 |        6 |       66
812.76/812.90	c  807s |      17 |  1356275 |   228332 |   352249      0 |        6 |       66
815.06/815.26	c  810s |      17 |  1356601 |   228632 |   352249      0 |        6 |       66
817.86/818.03	c  812s |      17 |  1356937 |   228932 |   352249      0 |        6 |       66
820.16/820.36	c  815s |      17 |  1357257 |   229232 |   352249      0 |        6 |       66
822.16/822.39	c  817s |      17 |  1357588 |   229532 |   352249      0 |        6 |       66
824.66/824.86	c  819s |      17 |  1357921 |   229832 |   352249      0 |        6 |       66
827.06/827.20	c  822s |      17 |  1358245 |   230132 |   352249      0 |        6 |       66
829.57/829.75	c  824s |      17 |  1358584 |   230432 |   352249      0 |        6 |       66
832.06/832.20	c  827s |      17 |  1358926 |   230732 |   352249      0 |        6 |       66
834.56/834.72	c  829s |      17 |  1359271 |   231032 |   352249      0 |        6 |       66
837.26/837.41	c  832s |      17 |  1359596 |   231332 |   352249      0 |        6 |       66
839.76/839.97	c  834s |      17 |  1359940 |   231632 |   352249      0 |        6 |       66
842.65/842.83	c  837s |      17 |  1360281 |   231932 |   352249      0 |        6 |       66
844.65/844.85	c  839s |      17 |  1360500 |   232132 |   352249      0 |        6 |       66
847.45/847.60	c  842s |      17 |  1360824 |   232432 |   352249      0 |        6 |       66
850.25/850.41	c  845s |      17 |  1361148 |   232732 |   352249      0 |        6 |       66
852.85/853.05	c  847s |      17 |  1361474 |   233032 |   352249      0 |        6 |       66
855.65/855.82	c  850s |      17 |  1361794 |   233332 |   352249      0 |        6 |       66
858.35/858.56	c  853s |      17 |  1362107 |   233632 |   352249      0 |        6 |       66
861.15/861.39	c  856s |      17 |  1362484 |   233932 |   352249      0 |        6 |       66
864.05/864.21	c  859s |      17 |  1362829 |   234232 |   352249      0 |        6 |       66
866.65/866.85	c  861s |      17 |  1363158 |   234532 |   352249      0 |        6 |       66
869.15/869.36	c  864s |      17 |  1363503 |   234832 |   352249      0 |        6 |       66
871.64/871.86	c  866s |      17 |  1363836 |   235132 |   352249      0 |        6 |       66
873.65/873.87	c  868s |      17 |  1364161 |   235432 |   352249      0 |        6 |       66
876.24/876.42	c  871s |      17 |  1364483 |   235732 |   352249      0 |        6 |       66
878.44/878.63	c  873s |      17 |  1364821 |   236032 |   352249      0 |        6 |       66
880.54/880.70	c  875s |      17 |  1365048 |   236232 |   352249      0 |        6 |       66
883.44/883.67	c  878s |      17 |  1365366 |   236532 |   352249      0 |        6 |       66
886.13/886.31	c  881s |      17 |  1365718 |   236832 |   352249      0 |        6 |       66
888.83/889.05	c  883s |      17 |  1366049 |   237132 |   352249      0 |        6 |       66
891.73/891.90	c  886s |      17 |  1366379 |   237432 |   352249      0 |        6 |       66
894.63/894.87	c  889s |      17 |  1366713 |   237732 |   352249      0 |        6 |       66
896.74/896.96	c  891s |      17 |  1366937 |   237932 |   352249      0 |        6 |       66
899.43/899.61	c  894s |      17 |  1368521 |   238232 |   352249      0 |        6 |       66
901.72/901.97	c  896s |      17 |  1369859 |   238532 |   352249      0 |        6 |       66
904.52/904.75	c  899s |      17 |  1370095 |   238732 |   352249      0 |        6 |       66
907.32/907.59	c  902s |      17 |  1370436 |   239032 |   352249      0 |        6 |       66
909.42/909.64	c  904s |      17 |  1370651 |   239232 |   352249      0 |        6 |       66
911.72/911.93	c  906s |      17 |  1370995 |   239532 |   352249      0 |        6 |       66
914.23/914.42	c  909s |      17 |  1371317 |   239832 |   352249      0 |        6 |       66
917.02/917.28	c  912s |      17 |  1371679 |   240132 |   352249      0 |        6 |       66
919.92/920.15	c  914s |      17 |  1372002 |   240432 |   352249      0 |        6 |       66
922.61/922.85	c  917s |      17 |  1372316 |   240732 |   352249      0 |        6 |       66
924.81/925.07	c  919s |      17 |  1372537 |   240932 |   352249      0 |        6 |       66
927.11/927.31	c  922s |      17 |  1372748 |   241132 |   352249      0 |        6 |       66
930.11/930.35	c  925s |      17 |  1373121 |   241432 |   352249      0 |        6 |       66
932.41/932.65	c  927s |      17 |  1373343 |   241632 |   352249      0 |        6 |       66
935.31/935.54	c  930s |      17 |  1373659 |   241932 |   352249      0 |        6 |       66
938.11/938.39	c  933s |      17 |  1373980 |   242232 |   352249      0 |        6 |       66
940.21/940.45	c  935s |      17 |  1374349 |   242432 |   352249      0 |        6 |       66
943.00/943.26	c  938s |      17 |  1374674 |   242732 |   352249      0 |        6 |       66
945.40/945.68	c  940s |      17 |  1374987 |   242932 |   352249      0 |        6 |       66
947.90/948.18	c  942s |      17 |  1375197 |   243132 |   352249      0 |        6 |       66
950.10/950.37	c  945s |      17 |  1375446 |   243332 |   352249      0 |        6 |       66
952.20/952.45	c  947s |      17 |  1375777 |   243532 |   352249      0 |        6 |       66
954.30/954.56	c  949s |      17 |  1385267 |   243732 |   352249      0 |        6 |       66
956.50/956.78	c  951s |      17 |  1394426 |   244232 |   352249      0 |        6 |       66
959.00/959.28	c  954s |      17 |  1399808 |   244732 |   352249      0 |        6 |       66
961.10/961.30	c  956s |      17 |  1403546 |   245032 |   352249      0 |        6 |       66
963.20/963.40	c  958s |      17 |  1414172 |   245732 |   352249      0 |        6 |       66
965.19/965.49	c  960s |      17 |  1421406 |   246732 |   352249      0 |        6 |       66
967.79/968.05	c  962s |      17 |  1426839 |   247432 |   352249      0 |        6 |       66
969.99/970.24	c  965s |      17 |  1434093 |   248032 |   352249      0 |        6 |       66
972.49/972.72	c  967s |      17 |  1439391 |   248532 |   352249      0 |        6 |       66
974.58/974.90	c  969s |      17 |  1445018 |   249432 |   352249      0 |        6 |       66
976.68/976.91	c  971s |      17 |  1454220 |   250432 |   352249      0 |        6 |       66
978.68/978.96	c  973s |      17 |  1457348 |   250932 |   352249      0 |        6 |       66
981.18/981.46	c  976s |      17 |  1459926 |   251432 |   352249      0 |        6 |       66
983.78/984.02	c  978s |      17 |  1462065 |   251732 |   352249      0 |        6 |       66
986.18/986.44	c  981s |      17 |  1471968 |   252432 |   352249      0 |        6 |       66
988.38/988.67	c  983s |      17 |  1475018 |   252832 |   352249      0 |        6 |       66
990.78/991.09	c  985s |      17 |  1475692 |   253132 |   352249      0 |        6 |       66
993.08/993.33	c  988s |      17 |  1476397 |   253432 |   352249      0 |        6 |       66
995.47/995.80	c  990s |      17 |  1477431 |   253732 |   352249      0 |        6 |       66
997.67/997.92	c  992s |      17 |  1478679 |   254032 |   352249      0 |        6 |       66
999.98/1000.30	c  995s |      17 |  1481402 |   254432 |   352249      0 |        6 |       66
1002.47/1002.70	c  997s |      17 |  1489665 |   254932 |   352249      0 |        6 |       66
1004.67/1004.90	c  999s |      17 |  1503497 |   256032 |   352249      0 |        6 |       66
1006.97/1007.24	c 1002s |      17 |  1509909 |   256832 |   352249      0 |        6 |       66
1009.57/1009.83	c 1004s |      17 |  1510648 |   257132 |   352249      0 |        6 |       66
1011.87/1012.15	c 1006s |      17 |  1511187 |   257432 |   352249      0 |        6 |       66
1014.17/1014.43	c 1009s |      17 |  1511703 |   257732 |   352249      0 |        6 |       66
1016.58/1016.81	c 1011s |      17 |  1512163 |   258032 |   352249      0 |        6 |       66
1018.87/1019.17	c 1013s |      17 |  1512578 |   258332 |   352249      0 |        6 |       66
1021.17/1021.42	c 1016s |      17 |  1512954 |   258632 |   352249      0 |        6 |       66
1023.47/1023.79	c 1018s |      17 |  1513417 |   258932 |   352249      0 |        6 |       66
1026.17/1026.47	c 1021s |      17 |  1513812 |   259232 |   352249      0 |        6 |       66
1028.36/1028.65	c 1023s |      17 |  1514675 |   259532 |   352249      0 |        6 |       66
1030.77/1031.08	c 1025s |      17 |  1515118 |   259832 |   352249      0 |        6 |       66
1033.56/1033.80	c 1028s |      17 |  1515536 |   260132 |   352249      0 |        6 |       66
1036.56/1036.84	c 1031s |      17 |  1515961 |   260432 |   352249      0 |        6 |       66
1039.57/1039.80	c 1034s |      17 |  1516398 |   260732 |   352249      0 |        6 |       66
1041.86/1042.17	c 1036s |      17 |  1516911 |   261032 |   352249      0 |        6 |       66
1044.26/1044.55	c 1039s |      17 |  1527386 |   261932 |   352249      0 |        6 |       66
1046.36/1046.60	c 1041s |      17 |  1531931 |   262232 |   352249      0 |        6 |       66
1049.26/1049.51	c 1044s |      17 |  1532214 |   262432 |   352249      0 |        6 |       66
1052.35/1052.68	c 1047s |      17 |  1532435 |   262632 |   352249      0 |        6 |       66
1054.96/1055.30	c 1050s |      17 |  1532645 |   262832 |   352249      0 |        6 |       66
1057.65/1057.96	c 1052s |      17 |  1532850 |   263032 |   352249      0 |        6 |       66
1059.95/1060.26	c 1055s |      17 |  1533071 |   263232 |   352249      0 |        6 |       66
1062.35/1062.67	c 1057s |      17 |  1533285 |   263432 |   352249      0 |        6 |       66
1065.05/1065.32	c 1060s |      17 |  1533499 |   263632 |   352249      0 |        6 |       66
1068.05/1068.34	c 1063s |      17 |  1533713 |   263832 |   352249      0 |        6 |       66
1070.65/1070.97	c 1065s |      17 |  1533937 |   264032 |   352249      0 |        6 |       66
1072.95/1073.28	c 1068s |      17 |  1534154 |   264232 |   352249      0 |        6 |       66
1075.45/1075.79	c 1070s |      17 |  1534357 |   264432 |   352249      0 |        6 |       66
1078.25/1078.54	c 1073s |      17 |  1534563 |   264632 |   352249      0 |        6 |       66
1080.64/1080.90	c 1075s |      17 |  1534785 |   264832 |   352249      0 |        6 |       66
1083.04/1083.36	c 1078s |      17 |  1534998 |   265032 |   352249      0 |        6 |       66
1085.34/1085.67	c 1080s |      17 |  1535233 |   265232 |   352249      0 |        6 |       66
1087.84/1088.13	c 1082s |      17 |  1535448 |   265432 |   352249      0 |        6 |       66
1090.44/1090.77	c 1085s |      17 |  1535651 |   265632 |   352249      0 |        6 |       66
1093.24/1093.59	c 1088s |      17 |  1535864 |   265832 |   352249      0 |        6 |       66
1096.34/1096.63	c 1091s |      17 |  1536082 |   266032 |   352249      0 |        6 |       66
1099.34/1099.69	c 1094s |      17 |  1536304 |   266232 |   352249      0 |        6 |       66
1102.14/1102.48	c 1097s |      17 |  1536525 |   266432 |   352249      0 |        6 |       66
1104.54/1104.89	c 1099s |      17 |  1536741 |   266632 |   352249      0 |        6 |       66
1107.13/1107.45	c 1102s |      17 |  1536962 |   266832 |   352249      0 |        6 |       66
1110.43/1110.73	c 1105s |      17 |  1537170 |   267032 |   352249      0 |        6 |       66
1112.93/1113.22	c 1108s |      17 |  1537400 |   267232 |   352249      0 |        6 |       66
1115.73/1116.03	c 1110s |      17 |  1537715 |   267532 |   352249      0 |        6 |       66
1118.03/1118.37	c 1113s |      17 |  1538031 |   267832 |   352249      0 |        6 |       66
1120.23/1120.52	c 1115s |      17 |  1538252 |   268032 |   352249      0 |        6 |       66
1122.23/1122.59	c 1117s |      17 |  1538482 |   268232 |   352249      0 |        6 |       66
1124.43/1124.75	c 1119s |      17 |  1538688 |   268432 |   352249      0 |        6 |       66
1127.23/1127.57	c 1122s |      17 |  1539017 |   268732 |   352249      0 |        6 |       66
1130.43/1130.78	c 1125s |      17 |  1539358 |   269032 |   352249      0 |        6 |       66
1132.53/1132.86	c 1127s |      17 |  1543242 |   269332 |   352249      0 |        6 |       66
1134.93/1135.25	c 1130s |      17 |  1546107 |   269532 |   352249      0 |        6 |       66
1137.63/1137.96	c 1132s |      17 |  1546389 |   269732 |   352249      0 |        6 |       66
1139.83/1140.17	c 1134s |      17 |  1549569 |   270132 |   352249      0 |        6 |       66
1143.12/1143.41	c 1138s |      17 |  1551753 |   270532 |   352249      0 |        6 |       66
1145.72/1146.08	c 1140s |      17 |  1552044 |   270732 |   352249      0 |        6 |       66
1148.22/1148.51	c 1143s |      17 |  1552274 |   270932 |   352249      0 |        6 |       66
1150.92/1151.23	c 1146s |      17 |  1552500 |   271132 |   352249      0 |        6 |       66
1153.22/1153.57	c 1148s |      17 |  1552780 |   271332 |   352249      0 |        6 |       66
1156.12/1156.46	c 1151s |      17 |  1553015 |   271532 |   352249      0 |        6 |       66
1158.72/1159.03	c 1153s |      17 |  1553302 |   271732 |   352249      0 |        6 |       66
1160.82/1161.12	c 1155s |      17 |  1553555 |   271932 |   352249      0 |        6 |       66
1163.31/1163.70	c 1158s |      17 |  1553790 |   272132 |   352249      0 |        6 |       66
1165.81/1166.15	c 1160s |      17 |  1554022 |   272332 |   352249      0 |        6 |       66
1168.22/1168.50	c 1163s |      17 |  1554257 |   272532 |   352249      0 |        6 |       66
1170.71/1171.07	c 1165s |      17 |  1554481 |   272732 |   352249      0 |        6 |       66
1172.91/1173.27	c 1168s |      17 |  1554709 |   272932 |   352249      0 |        6 |       66
1175.01/1175.30	c 1170s |      17 |  1554949 |   273132 |   352249      0 |        6 |       66
1177.31/1177.65	c 1172s |      17 |  1555176 |   273332 |   352249      0 |        6 |       66
1179.51/1179.86	c 1174s |      17 |  1555396 |   273532 |   352249      0 |        6 |       66
1182.30/1182.69	c 1177s |      17 |  1556139 |   273832 |   352249      0 |        6 |       66
1185.30/1185.67	c 1180s |      17 |  1561071 |   274232 |   352249      0 |        6 |       66
1187.60/1187.92	c 1182s |      17 |  1566190 |   274432 |   352249      0 |        6 |       66
1189.70/1190.09	c 1184s |      17 |  1573680 |   274932 |   352249      0 |        6 |       66
1192.10/1192.44	c 1187s |      17 |  1575540 |   275432 |   352249      0 |        6 |       66
1194.61/1194.92	c 1189s |      17 |  1584807 |   275732 |   352249      0 |        6 |       66
1197.50/1197.80	c 1192s |      17 |  1587197 |   275932 |   352249      0 |        6 |       66
1199.50/1199.88	c 1194s |      17 |  1589221 |   276132 |   352249      0 |        6 |       66
1201.70/1202.08	c 1196s |      17 |  1592463 |   276432 |   352249      0 |        6 |       66
1203.90/1204.27	c 1199s |      17 |  1597390 |   276732 |   352249      0 |        6 |       66
1205.99/1206.35	c 1201s |      17 |  1601291 |   276932 |   352249      0 |        6 |       66
1208.59/1208.96	c 1203s |      17 |  1606367 |   277232 |   352249      0 |        6 |       66
1211.59/1211.96	c 1206s |      17 |  1611214 |   277532 |   352249      0 |        6 |       66
1213.89/1214.26	c 1209s |      17 |  1615934 |   277832 |   352249      0 |        6 |       66
1216.09/1216.43	c 1211s |      17 |  1618013 |   278032 |   352249      0 |        6 |       66
1218.19/1218.51	c 1213s |      17 |  1618485 |   278232 |   352249      0 |        6 |       66
1220.69/1221.07	c 1215s |      17 |  1619281 |   278432 |   352249      0 |        6 |       66
1223.39/1223.70	c 1218s |      17 |  1622702 |   278732 |   352249      0 |        6 |       66
1225.59/1225.98	c 1220s |      17 |  1624328 |   278932 |   352249      0 |        6 |       66
1227.60/1228.00	c 1222s |      17 |  1624758 |   279132 |   352249      0 |        6 |       66
1229.99/1230.32	c 1225s |      17 |  1626151 |   279432 |   352249      0 |        6 |       66
1233.29/1233.66	c 1228s |      17 |  1626942 |   279732 |   352249      0 |        6 |       66
1235.99/1236.35	c 1231s |      17 |  1627323 |   279932 |   352249      0 |        6 |       66
1238.39/1238.70	c 1233s |      17 |  1627653 |   280132 |   352249      0 |        6 |       66
1241.78/1242.18	c 1236s |      17 |  1627925 |   280332 |   352249      0 |        6 |       66
1244.09/1244.48	c 1239s |      17 |  1628329 |   280532 |   352249      0 |        6 |       66
1246.58/1246.91	c 1241s |      17 |  1628582 |   280732 |   352249      0 |        6 |       66
1249.48/1249.81	c 1244s |      17 |  1628826 |   280932 |   352249      0 |        6 |       66
1252.28/1252.64	c 1247s |      17 |  1629373 |   281232 |   352249      0 |        6 |       66
1254.48/1254.85	c 1249s |      17 |  1629641 |   281432 |   352249      0 |        6 |       66
1257.39/1257.71	c 1252s |      17 |  1630095 |   281732 |   352249      0 |        6 |       66
1260.08/1260.48	c 1255s |      17 |  1630366 |   281932 |   352249      0 |        6 |       66
1262.97/1263.35	c 1258s |      17 |  1630606 |   282132 |   352249      0 |        6 |       66
1265.27/1265.69	c 1260s |      17 |  1631241 |   282332 |   352249      0 |        6 |       66
1267.77/1268.14	c 1262s |      17 |  1632214 |   282532 |   352249      0 |        6 |       66
1269.97/1270.31	c 1265s |      17 |  1632689 |   282732 |   352249      0 |        6 |       66
1272.27/1272.64	c 1267s |      17 |  1633134 |   282932 |   352249      0 |        6 |       66
1274.67/1275.06	c 1269s |      17 |  1634306 |   283232 |   352249      0 |        6 |       66
1277.37/1277.76	c 1272s |      17 |  1644456 |   283732 |   352249      0 |        6 |       66
1279.77/1280.11	c 1274s |      17 |  1650142 |   283932 |   352249      0 |        6 |       66
1281.97/1282.32	c 1277s |      17 |  1663169 |   284232 |   352249      0 |        6 |       66
1284.47/1284.87	c 1279s |      17 |  1670112 |   284532 |   352249      0 |        6 |       66
1286.87/1287.23	c 1282s |      17 |  1674553 |   284832 |   352249      0 |        6 |       66
1289.57/1289.96	c 1284s |      17 |  1675533 |   285132 |   352249      0 |        6 |       66
1291.86/1292.30	c 1287s |      17 |  1675881 |   285332 |   352249      0 |        6 |       66
1294.96/1295.31	c 1290s |      17 |  1676154 |   285532 |   352249      0 |        6 |       66
1297.66/1298.01	c 1292s |      17 |  1676537 |   285732 |   352249      0 |        6 |       66
1301.56/1301.92	c 1296s |      17 |  1677149 |   285932 |   352249      0 |        6 |       66
1303.85/1304.22	c 1299s |      17 |  1678003 |   286132 |   352249      0 |        6 |       66
1306.95/1307.31	c 1302s |      17 |  1678427 |   286332 |   352249      0 |        6 |       66
1309.85/1310.20	c 1305s |      17 |  1679227 |   286532 |   352249      0 |        6 |       66
1312.36/1312.74	c 1307s |      17 |  1679879 |   286732 |   352249      0 |        6 |       66
1314.85/1315.25	c 1310s |      17 |  1680310 |   286932 |   352249      0 |        6 |       66
1317.25/1317.68	c 1312s |      17 |  1682127 |   287132 |   352249      0 |        6 |       66
1319.75/1320.19	c 1314s |      17 |  1683049 |   287332 |   352249      0 |        6 |       66
1322.45/1322.87	c 1317s |      17 |  1683563 |   287532 |   352249      0 |        6 |       66
1325.35/1325.70	c 1320s |      17 |  1683824 |   287732 |   352249      0 |        6 |       66
1328.55/1328.95	c 1323s |      17 |  1684049 |   287932 |   352249      0 |        6 |       66
1331.74/1332.12	c 1326s |      17 |  1684503 |   288132 |   352249      0 |        6 |       66
1334.04/1334.49	c 1329s |      17 |  1684994 |   288332 |   352249      0 |        6 |       66
1337.34/1337.71	c 1332s |      17 |  1685253 |   288532 |   352249      0 |        6 |       66
1340.85/1341.27	c 1336s |      17 |  1685770 |   288732 |   352249      0 |        6 |       66
1343.84/1344.24	c 1339s |      17 |  1686559 |   288932 |   352249      0 |        6 |       66
1347.24/1347.61	c 1342s |      17 |  1686828 |   289132 |   352249      0 |        6 |       66
1350.54/1350.95	c 1345s |      17 |  1688534 |   289332 |   352249      0 |        6 |       66
1352.94/1353.39	c 1348s |      17 |  1690495 |   289532 |   352249      0 |        6 |       66
1355.84/1356.26	c 1351s |      17 |  1692209 |   289832 |   352249      0 |        6 |       66
1358.84/1359.20	c 1354s |      17 |  1692421 |   290032 |   352249      0 |        6 |       66
1362.23/1362.62	c 1357s |      17 |  1692638 |   290232 |   352249      0 |        6 |       66
1364.93/1365.38	c 1360s |      17 |  1692941 |   290432 |   352249      0 |        6 |       66
1367.83/1368.20	c 1363s |      17 |  1693342 |   290632 |   352249      0 |        6 |       66
1371.03/1371.49	c 1366s |      17 |  1693738 |   290832 |   352249      0 |        6 |       66
1373.13/1373.59	c 1368s |      17 |  1694350 |   291032 |   352249      0 |        6 |       66
1375.83/1376.26	c 1371s |      17 |  1694629 |   291232 |   352249      0 |        6 |       66
1379.13/1379.51	c 1374s |      17 |  1694858 |   291432 |   352249      0 |        6 |       66
1382.33/1382.77	c 1377s |      17 |  1695333 |   291632 |   352249      0 |        6 |       66
1384.43/1384.88	c 1379s |      17 |  1696077 |   291832 |   352249      0 |        6 |       66
1387.04/1387.46	c 1382s |      17 |  1697209 |   292032 |   352249      0 |        6 |       66
1390.13/1390.51	c 1385s |      17 |  1697579 |   292232 |   352249      0 |        6 |       66
1393.03/1393.46	c 1388s |      17 |  1697921 |   292432 |   352249      0 |        6 |       66
1395.43/1395.86	c 1390s |      17 |  1698319 |   292632 |   352249      0 |        6 |       66
1398.63/1399.01	c 1393s |      17 |  1703302 |   292832 |   352249      0 |        6 |       66
1400.93/1401.38	c 1396s |      17 |  1712606 |   293132 |   352249      0 |        6 |       66
1403.82/1404.22	c 1399s |      17 |  1715476 |   293532 |   352249      0 |        6 |       66
1406.12/1406.54	c 1401s |      17 |  1717375 |   293832 |   352249      0 |        6 |       66
1409.03/1409.41	c 1404s |      17 |  1718474 |   294132 |   352249      0 |        6 |       66
1412.71/1413.13	c 1407s |      17 |  1718736 |   294332 |   387474      0 |        6 |       66
1415.01/1415.46	c 1410s |      17 |  1719896 |   294532 |   387474      0 |        6 |       66
1417.92/1418.39	c 1413s |      17 |  1720648 |   294832 |   387474      0 |        6 |       66
1420.12/1420.60	c 1415s |      17 |  1721490 |   295032 |   387474      0 |        6 |       66
1422.81/1423.20	c 1418s |      17 |  1721878 |   295232 |   387474      0 |        6 |       66
1425.71/1426.11	c 1420s |      17 |  1722305 |   295432 |   387474      0 |        6 |       66
1428.71/1429.17	c 1423s |      17 |  1723753 |   295632 |   387474      0 |        6 |       66
1432.41/1432.82	c 1427s |      17 |  1729969 |   296032 |   387474      0 |        6 |       66
1435.70/1436.15	c 1430s |      17 |  1730220 |   296232 |   387474      0 |        6 |       66
1436.00/1436.44	c 1431s |      18 |  1730262 |   296252 |   387474      0 |        6 |       66
1439.50/1439.94	c 1434s |      18 |  1731323 |   296352 |   387474      0 |        6 |       66
1441.50/1441.98	c 1436s |      18 |  1732614 |   296652 |   387474      0 |        6 |       66
1443.80/1444.24	c 1439s |      18 |  1732979 |   296852 |   387474      0 |        6 |       66
1447.90/1448.37	c 1443s |      18 |  1733243 |   297052 |   387474      0 |        6 |       66
1451.60/1452.01	c 1446s |      18 |  1733545 |   297252 |   387474      0 |        6 |       66
1454.00/1454.44	c 1449s |      18 |  1733685 |   297352 |   387474      0 |        6 |       66
1456.31/1456.73	c 1451s |      18 |  1733796 |   297452 |   387474      0 |        6 |       66
1460.20/1460.62	c 1455s |      18 |  1734031 |   297652 |   387474      0 |        6 |       66
1464.29/1464.70	c 1459s |      18 |  1734353 |   297852 |   387474      0 |        6 |       66
1467.30/1467.73	c 1462s |      18 |  1734668 |   298052 |   387474      0 |        6 |       66
1469.60/1470.09	c 1464s |      18 |  1734792 |   298152 |   387474      0 |        6 |       66
1471.80/1472.22	c 1467s |      18 |  1734923 |   298252 |   387474      0 |        6 |       66
1473.79/1474.23	c 1469s |      18 |  1735042 |   298352 |   387474      0 |        6 |       66
1476.99/1477.44	c 1472s |      18 |  1738991 |   298752 |   387474      0 |        6 |       66
1480.39/1480.82	c 1475s |      18 |  1740070 |   298952 |   387474      0 |        6 |       66
1482.49/1482.90	c 1477s |      18 |  1740197 |   299052 |   387474      0 |        6 |       66
1484.59/1485.04	c 1479s |      18 |  1740315 |   299152 |   387474      0 |        6 |       66
1487.99/1488.41	c 1483s |      18 |  1740554 |   299352 |   387474      0 |        6 |       66
1491.39/1491.88	c 1486s |      18 |  1740776 |   299552 |   387474      0 |        6 |       66
1494.69/1495.11	c 1489s |      18 |  1741016 |   299752 |   387474      0 |        6 |       66
1497.79/1498.21	c 1493s |      18 |  1741255 |   299952 |   387474      0 |        6 |       66
1501.09/1501.51	c 1496s |      18 |  1741494 |   300152 |   387474      0 |        6 |       66
1503.99/1504.49	c 1499s |      18 |  1741720 |   300352 |   387474      0 |        6 |       66
1507.09/1507.50	c 1502s |      18 |  1743677 |   300752 |   387474      0 |        6 |       66
1510.29/1510.71	c 1505s |      18 |  1743900 |   300952 |   387474      0 |        6 |       66
1513.29/1513.76	c 1508s |      18 |  1744117 |   301152 |   387474      0 |        6 |       66
1515.49/1515.96	c 1510s |      18 |  1744376 |   301352 |   387474      0 |        6 |       66
1518.39/1518.85	c 1513s |      18 |  1744706 |   301652 |   387474      0 |        6 |       66
1521.08/1521.60	c 1516s |      18 |  1745047 |   301952 |   387474      0 |        6 |       66
1523.18/1523.67	c 1518s |      18 |  1745270 |   302152 |   387474      0 |        6 |       66
1526.28/1526.77	c 1521s |      18 |  1745781 |   302452 |   387474      0 |        6 |       66
1528.78/1529.23	c 1524s |      18 |  1746902 |   302652 |   387474      0 |        6 |       66
1531.19/1531.64	c 1526s |      18 |  1751244 |   303052 |   387474      0 |        6 |       66
1534.18/1534.65	c 1529s |      18 |  1753008 |   303452 |   387474      0 |        6 |       66
1537.18/1537.62	c 1532s |      18 |  1755801 |   303852 |   387474      0 |        6 |       66
1539.78/1540.22	c 1535s |      18 |  1757963 |   304152 |   387474      0 |        6 |       66
1542.58/1543.01	c 1537s |      18 |  1758797 |   304352 |   387474      0 |        6 |       66
1545.28/1545.78	c 1540s |      18 |  1760088 |   304552 |   387474      0 |        6 |       66
1547.88/1548.32	c 1543s |      18 |  1760757 |   304752 |   387474      0 |        6 |       66
1550.89/1551.40	c 1546s |      18 |  1764055 |   304952 |   387474      0 |        6 |       66
1553.48/1553.96	c 1548s |      18 |  1764176 |   305052 |   387474      0 |        6 |       66
1556.49/1556.98	c 1551s |      18 |  1764364 |   305152 |   387474      0 |        6 |       66
1559.28/1559.75	c 1554s |      18 |  1764467 |   305252 |   387474      0 |        6 |       66
1562.08/1562.51	c 1557s |      18 |  1764606 |   305352 |   387474      0 |        6 |       66
1565.08/1565.53	c 1560s |      18 |  1764761 |   305452 |   387474      0 |        6 |       66
1567.68/1568.12	c 1562s |      18 |  1764883 |   305552 |   387474      0 |        6 |       66
1569.88/1570.37	c 1565s |      18 |  1765047 |   305652 |   387474      0 |        6 |       66
1572.08/1572.52	c 1567s |      18 |  1765165 |   305752 |   387474      0 |        6 |       66
1575.38/1575.83	c 1570s |      18 |  1765382 |   305952 |   387474      0 |        6 |       66
1579.37/1579.81	c 1574s |      18 |  1765624 |   306152 |   387474      0 |        6 |       66
1583.07/1583.54	c 1578s |      18 |  1765840 |   306352 |   387474      0 |        6 |       66
1585.37/1585.89	c 1580s |      18 |  1765945 |   306452 |   387474      0 |        6 |       66
1587.77/1588.20	c 1583s |      18 |  1766059 |   306552 |   387474      0 |        6 |       66
1590.87/1591.39	c 1586s |      18 |  1766293 |   306752 |   387474      0 |        6 |       66
1594.37/1594.87	c 1589s |      18 |  1766515 |   306952 |   387474      0 |        6 |       66
1598.57/1599.09	c 1593s |      18 |  1766735 |   307152 |   387474      0 |        6 |       66
1602.68/1603.14	c 1597s |      18 |  1766968 |   307352 |   387474      0 |        6 |       66
1606.67/1607.13	c 1601s |      18 |  1767192 |   307552 |   387474      0 |        6 |       66
1609.18/1609.64	c 1604s |      18 |  1767307 |   307652 |   387474      0 |        6 |       66
1612.17/1612.66	c 1607s |      18 |  1767535 |   307852 |   387474      0 |        6 |       66
1616.27/1616.76	c 1611s |      18 |  1767772 |   308052 |   387474      0 |        6 |       66
1618.27/1618.78	c 1613s |      18 |  1767888 |   308152 |   387474      0 |        6 |       66
1621.07/1621.51	c 1616s |      18 |  1768101 |   308352 |   387474      0 |        6 |       66
1623.07/1623.59	c 1618s |      18 |  1768319 |   308552 |   387474      0 |        6 |       66
1625.27/1625.74	c 1620s |      18 |  1768444 |   308652 |   387474      0 |        6 |       66
1627.57/1628.03	c 1622s |      18 |  1768544 |   308752 |   387474      0 |        6 |       66
1632.17/1632.66	c 1627s |      18 |  1768766 |   308952 |   387474      0 |        6 |       66
1634.27/1634.73	c 1629s |      18 |  1768875 |   309052 |   387474      0 |        6 |       66
1637.27/1637.75	c 1632s |      18 |  1768994 |   309152 |   387474      0 |        6 |       66
1639.86/1640.33	c 1635s |      18 |  1769112 |   309252 |   387474      0 |        6 |       66
1642.17/1642.66	c 1637s |      18 |  1769227 |   309352 |   387474      0 |        6 |       66
1644.47/1644.97	c 1639s |      18 |  1769337 |   309452 |   387474      0 |        6 |       66
1646.57/1647.04	c 1641s |      18 |  1769444 |   309552 |   387474      0 |        6 |       66
1648.77/1649.26	c 1644s |      18 |  1769562 |   309652 |   387474      0 |        6 |       66
1650.86/1651.31	c 1646s |      18 |  1769680 |   309752 |   387474      0 |        6 |       66
1653.46/1653.92	c 1648s |      18 |  1769785 |   309852 |   387474      0 |        6 |       66
1655.47/1655.97	c 1650s |      18 |  1769889 |   309952 |   387474      0 |        6 |       66
1657.76/1658.21	c 1653s |      18 |  1770011 |   310052 |   387474      0 |        6 |       66
1660.26/1660.78	c 1655s |      18 |  1770116 |   310152 |   387474      0 |        6 |       66
1662.56/1663.03	c 1657s |      18 |  1770237 |   310252 |   387474      0 |        6 |       66
1666.37/1666.89	c 1661s |      18 |  1770521 |   310452 |   387474      0 |        6 |       66
1669.46/1669.95	c 1664s |      18 |  1770754 |   310652 |   387474      0 |        6 |       66
1671.46/1671.95	c 1666s |      18 |  1770981 |   310852 |   387474      0 |        6 |       66
1674.46/1674.93	c 1669s |      18 |  1771208 |   311052 |   387474      0 |        6 |       66
1676.76/1677.22	c 1672s |      18 |  1771322 |   311152 |   387474      0 |        6 |       66
1678.76/1679.26	c 1674s |      18 |  1771424 |   311252 |   387474      0 |        6 |       66
1682.26/1682.75	c 1677s |      18 |  1771650 |   311452 |   387474      0 |        6 |       66
1685.76/1686.24	c 1681s |      18 |  1771883 |   311652 |   387474      0 |        6 |       66
1688.36/1688.85	c 1683s |      18 |  1772103 |   311852 |   387474      0 |        6 |       66
1692.16/1692.69	c 1687s |      18 |  1772329 |   312052 |   387474      0 |        6 |       66
1695.16/1695.67	c 1690s |      18 |  1772546 |   312252 |   387474      0 |        6 |       66
1698.16/1698.62	c 1693s |      18 |  1772778 |   312452 |   387474      0 |        6 |       66
1701.16/1701.60	c 1696s |      18 |  1773019 |   312652 |   387474      0 |        6 |       66
1703.36/1703.81	c 1698s |      18 |  1773239 |   312852 |   387474      0 |        6 |       66
1705.85/1706.31	c 1701s |      18 |  1773455 |   313052 |   387474      0 |        6 |       66
1709.75/1710.21	c 1705s |      18 |  1773797 |   313352 |   387474      0 |        6 |       66
1711.95/1712.40	c 1707s |      18 |  1773907 |   313452 |   387474      0 |        6 |       66
1714.25/1714.72	c 1709s |      18 |  1774016 |   313552 |   387474      0 |        6 |       66
1716.85/1717.32	c 1712s |      18 |  1774120 |   313652 |   387474      0 |        6 |       66
1720.36/1720.89	c 1715s |      18 |  1774351 |   313852 |   387474      0 |        6 |       66
1724.05/1724.53	c 1719s |      18 |  1774587 |   314052 |   387474      0 |        6 |       66
1727.45/1727.92	c 1722s |      18 |  1774814 |   314252 |   387474      0 |        6 |       66
1730.95/1731.40	c 1726s |      18 |  1775050 |   314452 |   387474      0 |        6 |       66
1733.75/1734.20	c 1729s |      18 |  1775275 |   314652 |   387474      0 |        6 |       66
1736.45/1736.96	c 1731s |      18 |  1775503 |   314852 |   387474      0 |        6 |       66
1740.25/1740.74	c 1735s |      18 |  1775748 |   315052 |   387474      0 |        6 |       66
1742.45/1742.99	c 1737s |      18 |  1775854 |   315152 |   387474      0 |        6 |       66
1746.05/1746.56	c 1741s |      18 |  1776079 |   315352 |   387474      0 |        6 |       66
1749.65/1750.18	c 1744s |      18 |  1776316 |   315552 |   387474      0 |        6 |       66
1752.85/1753.36	c 1748s |      18 |  1776533 |   315752 |   387474      0 |        6 |       66
1755.45/1755.97	c 1750s |      18 |  1776753 |   315952 |   387474      0 |        6 |       66
1758.25/1758.71	c 1753s |      18 |  1776984 |   316152 |   387474      0 |        6 |       66
1761.35/1761.84	c 1756s |      18 |  1777212 |   316352 |   387474      0 |        6 |       66
1764.55/1765.01	c 1759s |      18 |  1777426 |   316552 |   387474      0 |        6 |       66
1767.75/1768.27	c 1763s |      18 |  1777660 |   316752 |   387474      0 |        6 |       66
1770.44/1770.92	c 1765s |      18 |  1777880 |   316952 |   387474      0 |        6 |       66
1773.24/1773.72	c 1768s |      18 |  1778113 |   317152 |   387474      0 |        6 |       66
1776.24/1776.70	c 1771s |      18 |  1778342 |   317352 |   387474      0 |        6 |       66
1779.65/1780.18	c 1774s |      18 |  1778561 |   317552 |   387474      0 |        6 |       66
1782.54/1783.07	c 1777s |      18 |  1778777 |   317752 |   387474      0 |        6 |       66
1785.64/1786.11	c 1780s |      18 |  1779003 |   317952 |   387474      0 |        6 |       66
1788.34/1788.88	c 1783s |      18 |  1779282 |   318152 |   387474      0 |        6 |       66
1791.64/1792.17	c 1786s |      18 |  1779511 |   318352 |   387474      0 |        6 |       66
1795.34/1795.82	c 1790s |      18 |  1779744 |   318552 |   387474      0 |        6 |       66
1798.04/1798.56	c 1793s |      18 |  1779962 |   318752 |   387474      0 |        6 |       66

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

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

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


[startup+0 s]
/proc/loadavg: 2.15 2.22 2.19 3/179 31083
/proc/meminfo: memFree=29089964/32872528 swapFree=1402776/1580604
[pid=31083] ppid=31080 vsize=659900 CPUtime=0 cores=0,2,4,6
/proc/31083/stat : 31083 (toysat) R 31080 31083 28125 0 -1 4202496 2447 0 0 0 0 0 0 0 20 0 4 0 31255526 675737600 3319 33554432000 4194304 16246674 140736400992736 140736400992160 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31083/statm: 165743 3328 441 2943 0 162637 0
[pid=31083/tid=31084] ppid=31080 vsize=677308 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31084/stat : 31084 (toysat) S 31080 31083 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31255526 693563392 3387 33554432000 4194304 16246674 140736400992736 140092255481072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31083/tid=31085] ppid=31080 vsize=681404 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31085/stat : 31085 (toysat) S 31080 31083 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31255526 697757696 3404 33554432000 4194304 16246674 140736400992736 140092169497840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31083/tid=31086] ppid=31080 vsize=685500 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31086/stat : 31086 (toysat) S 31080 31083 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31255526 701952000 3420 33554432000 4194304 16246674 140736400992736 140092159024304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100124 s]
/proc/loadavg: 2.15 2.22 2.19 3/179 31083
/proc/meminfo: memFree=29089964/32872528 swapFree=1402776/1580604
[pid=31083] ppid=31080 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/31083/stat : 31083 (toysat) R 31080 31083 28125 0 -1 4202496 24600 0 0 0 6 3 0 0 20 0 4 0 31255526 1332285440 25410 33554432000 4194304 16246674 140736400992736 140736400992048 7364033 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31083/statm: 325265 25425 801 2943 0 322159 0
[pid=31083/tid=31084] ppid=31080 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31084/stat : 31084 (toysat) S 31080 31083 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31255526 1332285440 25436 33554432000 4194304 16246674 140736400992736 140092255481072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31083/tid=31085] ppid=31080 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31085/stat : 31085 (toysat) S 31080 31083 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31255526 1332285440 25447 33554432000 4194304 16246674 140736400992736 140092169497840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31083/tid=31086] ppid=31080 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31086/stat : 31086 (toysat) S 31080 31083 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31255526 1332285440 25458 33554432000 4194304 16246674 140736400992736 140092159024304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200507 s]
/proc/loadavg: 2.15 2.22 2.19 3/179 31083
/proc/meminfo: memFree=29089964/32872528 swapFree=1402776/1580604
[pid=31083] ppid=31080 vsize=1308228 CPUtime=0.19 cores=0,2,4,6
/proc/31083/stat : 31083 (toysat) R 31080 31083 28125 0 -1 4202496 50795 0 0 0 12 7 0 0 20 0 4 0 31255526 1339625472 52116 33554432000 4194304 16246674 140736400992736 140736400992048 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31083/statm: 327057 52118 801 2943 0 323951 0
[pid=31083/tid=31084] ppid=31080 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31084/stat : 31084 (toysat) S 31080 31083 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31255526 1339625472 52121 33554432000 4194304 16246674 140736400992736 140092255481072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31083/tid=31085] ppid=31080 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31085/stat : 31085 (toysat) S 31080 31083 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31255526 1339625472 52124 33554432000 4194304 16246674 140736400992736 140092169497840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31083/tid=31086] ppid=31080 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31086/stat : 31086 (toysat) S 31080 31083 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31255526 1339625472 52126 33554432000 4194304 16246674 140736400992736 140092159024304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1308228

[startup+0.300467 s]
/proc/loadavg: 2.15 2.22 2.19 3/179 31083
/proc/meminfo: memFree=29089964/32872528 swapFree=1402776/1580604
[pid=31083] ppid=31080 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/31083/stat : 31083 (toysat) R 31080 31083 28125 0 -1 4202496 61594 0 0 0 20 9 0 0 20 0 4 0 31255526 1345916928 62915 33554432000 4194304 16246674 140736400992736 140736400992048 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31083/statm: 328593 62915 801 2943 0 325487 0
[pid=31083/tid=31084] ppid=31080 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31084/stat : 31084 (toysat) S 31080 31083 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31255526 1345916928 62915 33554432000 4194304 16246674 140736400992736 140092255481072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31083/tid=31085] ppid=31080 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31085/stat : 31085 (toysat) S 31080 31083 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31255526 1345916928 62915 33554432000 4194304 16246674 140736400992736 140092169497840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31083/tid=31086] ppid=31080 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31086/stat : 31086 (toysat) S 31080 31083 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31255526 1345916928 62915 33554432000 4194304 16246674 140736400992736 140092159024304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700411 s]
/proc/loadavg: 2.15 2.22 2.19 3/179 31083
/proc/meminfo: memFree=29089964/32872528 swapFree=1402776/1580604
[pid=31083] ppid=31080 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/31083/stat : 31083 (toysat) R 31080 31083 28125 0 -1 4202496 69895 0 0 0 59 10 0 0 20 0 4 0 31255526 1345916928 71216 33554432000 4194304 16246674 140736400992736 140736400975728 7377296 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31083/statm: 328593 71216 801 2943 0 325487 0
[pid=31083/tid=31084] ppid=31080 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31084/stat : 31084 (toysat) S 31080 31083 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31255526 1345916928 71216 33554432000 4194304 16246674 140736400992736 140092255481072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31083/tid=31085] ppid=31080 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31085/stat : 31085 (toysat) S 31080 31083 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31255526 1345916928 71216 33554432000 4194304 16246674 140736400992736 140092169497840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31083/tid=31086] ppid=31080 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31086/stat : 31086 (toysat) S 31080 31083 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31255526 1345916928 71216 33554432000 4194304 16246674 140736400992736 140092159024304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50043 s]
/proc/loadavg: 2.15 2.22 2.19 3/183 31087
/proc/meminfo: memFree=28754204/32872528 swapFree=1402776/1580604
[pid=31083] ppid=31080 vsize=1314372 CPUtime=1.48 cores=0,2,4,6
/proc/31083/stat : 31083 (toysat) R 31080 31083 28125 0 -1 4202496 86924 0 0 0 136 12 0 0 20 0 4 0 31255526 1345916928 88245 33554432000 4194304 16246674 140736400992736 140736400975728 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31083/statm: 328593 88245 802 2943 0 325487 0
[pid=31083/tid=31084] ppid=31080 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31084/stat : 31084 (toysat) S 31080 31083 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31255526 1345916928 88245 33554432000 4194304 16246674 140736400992736 140092255481072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31083/tid=31085] ppid=31080 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31085/stat : 31085 (toysat) S 31080 31083 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31255526 1345916928 88245 33554432000 4194304 16246674 140736400992736 140092169497840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31083/tid=31086] ppid=31080 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31086/stat : 31086 (toysat) S 31080 31083 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31255526 1345916928 88245 33554432000 4194304 16246674 140736400992736 140092159024304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1314372

[startup+3.10042 s]
/proc/loadavg: 2.22 2.23 2.19 3/183 31087
/proc/meminfo: memFree=28158508/32872528 swapFree=1402776/1580604
[pid=31083] ppid=31080 vsize=1348164 CPUtime=3.08 cores=0,2,4,6
/proc/31083/stat : 31083 (toysat) R 31080 31083 28125 0 -1 4202496 277639 0 0 0 267 41 0 0 20 0 4 0 31255526 1380519936 278960 33554432000 4194304 16246674 140736400992736 140736400974656 6966148 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31083/statm: 337041 278960 847 2943 0 333935 0
[pid=31083/tid=31084] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31084/stat : 31084 (toysat) S 31080 31083 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 278960 33554432000 4194304 16246674 140736400992736 140092255481072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31083/tid=31085] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31085/stat : 31085 (toysat) S 31080 31083 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 278960 33554432000 4194304 16246674 140736400992736 140092169497840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31083/tid=31086] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31086/stat : 31086 (toysat) S 31080 31083 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 278960 33554432000 4194304 16246674 140736400992736 140092159024304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1348164

[startup+6.30037 s]
/proc/loadavg: 2.22 2.23 2.19 3/183 31087
/proc/meminfo: memFree=27975124/32872528 swapFree=1402776/1580604
[pid=31083] ppid=31080 vsize=1348164 CPUtime=6.28 cores=0,2,4,6
/proc/31083/stat : 31083 (toysat) R 31080 31083 28125 0 -1 4202496 277708 0 0 0 587 41 0 0 20 0 4 0 31255526 1380519936 279029 33554432000 4194304 16246674 140736400992736 140736400990528 5840300 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31083/statm: 337041 279029 886 2943 0 333935 0
[pid=31083/tid=31084] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31084/stat : 31084 (toysat) S 31080 31083 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279029 33554432000 4194304 16246674 140736400992736 140092255481072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31083/tid=31085] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31085/stat : 31085 (toysat) S 31080 31083 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279029 33554432000 4194304 16246674 140736400992736 140092169497840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31083/tid=31086] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31086/stat : 31086 (toysat) S 31080 31083 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279029 33554432000 4194304 16246674 140736400992736 140092159024304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1348164

[startup+12.7004 s]
/proc/loadavg: 2.19 2.22 2.19 3/183 31087
/proc/meminfo: memFree=27975224/32872528 swapFree=1402776/1580604
[pid=31083] ppid=31080 vsize=1348164 CPUtime=12.68 cores=0,2,4,6
/proc/31083/stat : 31083 (toysat) R 31080 31083 28125 0 -1 4202496 277709 0 0 0 1227 41 0 0 20 0 4 0 31255526 1380519936 279030 33554432000 4194304 16246674 140736400992736 140736400974656 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31083/statm: 337041 279030 886 2943 0 333935 0
[pid=31083/tid=31084] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31084/stat : 31084 (toysat) S 31080 31083 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279030 33554432000 4194304 16246674 140736400992736 140092255481072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31083/tid=31085] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31085/stat : 31085 (toysat) S 31080 31083 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279030 33554432000 4194304 16246674 140736400992736 140092169497840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31083/tid=31086] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31086/stat : 31086 (toysat) S 31080 31083 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279030 33554432000 4194304 16246674 140736400992736 140092159024304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1348164

[startup+25.5004 s]
/proc/loadavg: 2.24 2.23 2.19 4/183 31087
/proc/meminfo: memFree=27975544/32872528 swapFree=1402776/1580604
[pid=31083] ppid=31080 vsize=1348164 CPUtime=25.48 cores=0,2,4,6
/proc/31083/stat : 31083 (toysat) R 31080 31083 28125 0 -1 4202496 277710 0 0 0 2507 41 0 0 20 0 4 0 31255526 1380519936 279031 33554432000 4194304 16246674 140736400992736 140736400974656 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31083/statm: 337041 279031 886 2943 0 333935 0
[pid=31083/tid=31084] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31084/stat : 31084 (toysat) S 31080 31083 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279031 33554432000 4194304 16246674 140736400992736 140092255481072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31083/tid=31085] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31085/stat : 31085 (toysat) S 31080 31083 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279031 33554432000 4194304 16246674 140736400992736 140092169497840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31083/tid=31086] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31086/stat : 31086 (toysat) S 31080 31083 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279031 33554432000 4194304 16246674 140736400992736 140092159024304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1348164

[startup+51.1004 s]
/proc/loadavg: 2.24 2.23 2.19 3/183 31087
/proc/meminfo: memFree=27975424/32872528 swapFree=1402776/1580604
[pid=31083] ppid=31080 vsize=1348164 CPUtime=51.09 cores=0,2,4,6
/proc/31083/stat : 31083 (toysat) R 31080 31083 28125 0 -1 4202496 277711 0 0 0 5067 42 0 0 20 0 4 0 31255526 1380519936 279032 33554432000 4194304 16246674 140736400992736 140736400974656 12482388 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31083/statm: 337041 279032 886 2943 0 333935 0
[pid=31083/tid=31084] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31084/stat : 31084 (toysat) S 31080 31083 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279032 33554432000 4194304 16246674 140736400992736 140092255481072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31083/tid=31085] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31085/stat : 31085 (toysat) S 31080 31083 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279032 33554432000 4194304 16246674 140736400992736 140092169497840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31083/tid=31086] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31086/stat : 31086 (toysat) S 31080 31083 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279032 33554432000 4194304 16246674 140736400992736 140092159024304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1348164

[startup+102.3 s]
/proc/loadavg: 2.21 2.22 2.18 4/183 31088
/proc/meminfo: memFree=27975172/32872528 swapFree=1402776/1580604
[pid=31083] ppid=31080 vsize=1348164 CPUtime=102.28 cores=0,2,4,6
/proc/31083/stat : 31083 (toysat) R 31080 31083 28125 0 -1 4202496 277715 0 0 0 10186 42 0 0 20 0 4 0 31255526 1380519936 279036 33554432000 4194304 16246674 140736400992736 140736400974656 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31083/statm: 337041 279036 889 2943 0 333935 0
[pid=31083/tid=31084] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31084/stat : 31084 (toysat) S 31080 31083 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279036 33554432000 4194304 16246674 140736400992736 140092255481072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31083/tid=31085] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31085/stat : 31085 (toysat) S 31080 31083 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279036 33554432000 4194304 16246674 140736400992736 140092169497840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31083/tid=31086] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31086/stat : 31086 (toysat) S 31080 31083 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279036 33554432000 4194304 16246674 140736400992736 140092159024304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1348164


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

/proc/31083/task/31086/stat : 31086 (toysat) S 31080 31083 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092159024304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1348164

[startup+1302.3 s]
/proc/loadavg: 2.35 2.32 2.23 3/183 31167
/proc/meminfo: memFree=27962208/32872528 swapFree=1402776/1580604
[pid=31083] ppid=31080 vsize=1348164 CPUtime=1301.96 cores=0,2,4,6
/proc/31083/stat : 31083 (toysat) R 31080 31083 28125 0 -1 4202496 277981 0 0 0 130152 44 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140736400990528 5676075 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31083/statm: 337041 279040 893 2943 0 333935 0
[pid=31083/tid=31084] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31084/stat : 31084 (toysat) S 31080 31083 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092255481072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31083/tid=31085] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31085/stat : 31085 (toysat) S 31080 31083 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092169497840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31083/tid=31086] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31086/stat : 31086 (toysat) S 31080 31083 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092159024304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1348164

[startup+1362.3 s]
/proc/loadavg: 2.30 2.31 2.23 4/183 31168
/proc/meminfo: memFree=27962068/32872528 swapFree=1402776/1580604
[pid=31083] ppid=31080 vsize=1348164 CPUtime=1361.94 cores=0,2,4,6
/proc/31083/stat : 31083 (toysat) R 31080 31083 28125 0 -1 4202496 278007 0 0 0 136150 44 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140736400974656 5675409 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31083/statm: 337041 279040 893 2943 0 333935 0
[pid=31083/tid=31084] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31084/stat : 31084 (toysat) S 31080 31083 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092255481072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31083/tid=31085] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31085/stat : 31085 (toysat) S 31080 31083 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092169497840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31083/tid=31086] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31086/stat : 31086 (toysat) S 31080 31083 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092159024304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1348164

[startup+1422.3 s]
/proc/loadavg: 2.33 2.32 2.23 4/183 31169
/proc/meminfo: memFree=27962172/32872528 swapFree=1402776/1580604
[pid=31083] ppid=31080 vsize=1348164 CPUtime=1421.91 cores=0,2,4,6
/proc/31083/stat : 31083 (toysat) R 31080 31083 28125 0 -1 4202496 278036 0 0 0 142147 44 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140736400974656 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31083/statm: 337041 279040 893 2943 0 333935 0
[pid=31083/tid=31084] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31084/stat : 31084 (toysat) S 31080 31083 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092255481072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31083/tid=31085] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31085/stat : 31085 (toysat) S 31080 31083 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092169497840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31083/tid=31086] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31086/stat : 31086 (toysat) S 31080 31083 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092159024304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1348164

[startup+1482.3 s]
/proc/loadavg: 2.28 2.30 2.23 3/183 31171
/proc/meminfo: memFree=27961920/32872528 swapFree=1402776/1580604
[pid=31083] ppid=31080 vsize=1348164 CPUtime=1481.89 cores=0,2,4,6
/proc/31083/stat : 31083 (toysat) R 31080 31083 28125 0 -1 4202496 278063 0 0 0 148145 44 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140736400974656 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31083/statm: 337041 279040 893 2943 0 333935 0
[pid=31083/tid=31084] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31084/stat : 31084 (toysat) S 31080 31083 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092255481072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31083/tid=31085] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31085/stat : 31085 (toysat) S 31080 31083 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092169497840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31083/tid=31086] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31086/stat : 31086 (toysat) S 31080 31083 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092159024304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1348164

[startup+1542.3 s]
/proc/loadavg: 2.13 2.26 2.22 4/183 31172
/proc/meminfo: memFree=27962196/32872528 swapFree=1402776/1580604
[pid=31083] ppid=31080 vsize=1348164 CPUtime=1541.88 cores=0,2,4,6
/proc/31083/stat : 31083 (toysat) R 31080 31083 28125 0 -1 4202496 278063 0 0 0 154144 44 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140736400974656 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31083/statm: 337041 279040 893 2943 0 333935 0
[pid=31083/tid=31084] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31084/stat : 31084 (toysat) S 31080 31083 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092255481072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31083/tid=31085] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31085/stat : 31085 (toysat) S 31080 31083 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092169497840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31083/tid=31086] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31086/stat : 31086 (toysat) S 31080 31083 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092159024304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1348164

[startup+1602.3 s]
/proc/loadavg: 2.19 2.25 2.22 4/183 31173
/proc/meminfo: memFree=27961904/32872528 swapFree=1402776/1580604
[pid=31083] ppid=31080 vsize=1348164 CPUtime=1601.87 cores=0,2,4,6
/proc/31083/stat : 31083 (toysat) R 31080 31083 28125 0 -1 4202496 278063 0 0 0 160143 44 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140736400974656 5823435 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31083/statm: 337041 279040 893 2943 0 333935 0
[pid=31083/tid=31084] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31084/stat : 31084 (toysat) S 31080 31083 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092255481072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31083/tid=31085] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31085/stat : 31085 (toysat) S 31080 31083 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092169497840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31083/tid=31086] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31086/stat : 31086 (toysat) S 31080 31083 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092159024304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1348164

[startup+1662.3 s]
/proc/loadavg: 2.17 2.23 2.21 3/183 31174
/proc/meminfo: memFree=27962196/32872528 swapFree=1402776/1580604
[pid=31083] ppid=31080 vsize=1348164 CPUtime=1661.86 cores=0,2,4,6
/proc/31083/stat : 31083 (toysat) R 31080 31083 28125 0 -1 4202496 278063 0 0 0 166142 44 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140736400974656 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31083/statm: 337041 279040 893 2943 0 333935 0
[pid=31083/tid=31084] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31084/stat : 31084 (toysat) S 31080 31083 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092255481072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31083/tid=31085] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31085/stat : 31085 (toysat) S 31080 31083 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092169497840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31083/tid=31086] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31086/stat : 31086 (toysat) S 31080 31083 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092159024304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1348164

[startup+1722.3 s]
/proc/loadavg: 2.18 2.22 2.20 3/184 31178
/proc/meminfo: memFree=27962112/32872528 swapFree=1402776/1580604
[pid=31083] ppid=31080 vsize=1348164 CPUtime=1721.85 cores=0,2,4,6
/proc/31083/stat : 31083 (toysat) R 31080 31083 28125 0 -1 4202496 278063 0 0 0 172141 44 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140736400974656 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31083/statm: 337041 279040 893 2943 0 333935 0
[pid=31083/tid=31084] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31084/stat : 31084 (toysat) S 31080 31083 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092255481072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31083/tid=31085] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31085/stat : 31085 (toysat) S 31080 31083 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092169497840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31083/tid=31086] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31086/stat : 31086 (toysat) S 31080 31083 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092159024304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1348164

[startup+1782.3 s]
/proc/loadavg: 2.18 2.22 2.20 4/183 31180
/proc/meminfo: memFree=27961388/32872528 swapFree=1402776/1580604
[pid=31083] ppid=31080 vsize=1348164 CPUtime=1781.85 cores=0,2,4,6
/proc/31083/stat : 31083 (toysat) R 31080 31083 28125 0 -1 4202496 278063 0 0 0 178141 44 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140736400974656 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31083/statm: 337041 279040 893 2943 0 333935 0
[pid=31083/tid=31084] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31084/stat : 31084 (toysat) S 31080 31083 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092255481072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31083/tid=31085] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31085/stat : 31085 (toysat) S 31080 31083 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092169497840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31083/tid=31086] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31086/stat : 31086 (toysat) S 31080 31083 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092159024304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1348164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.26 2.24 2.21 3/183 31180
/proc/meminfo: memFree=27961624/32872528 swapFree=1402776/1580604
[pid=31083] ppid=31080 vsize=1348164 CPUtime=1800.04 cores=0,2,4,6
/proc/31083/stat : 31083 (toysat) R 31080 31083 28125 0 -1 4202496 278063 0 0 0 179960 44 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140736400974656 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31083/statm: 337041 279040 893 2943 0 333935 0
[pid=31083/tid=31084] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31084/stat : 31084 (toysat) S 31080 31083 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092255481072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31083/tid=31085] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31085/stat : 31085 (toysat) S 31080 31083 28125 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092169497840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31083/tid=31086] ppid=31080 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/31083/task/31086/stat : 31086 (toysat) S 31080 31083 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31255526 1380519936 279040 33554432000 4194304 16246674 140736400992736 140092159024304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1348164

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 31083 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.51
CPU time (s): 1800.06
CPU user time (s): 1799.61
CPU system time (s): 0.445932
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 1348164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.445932
maximum resident set size= 1116160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278063
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= 375
involuntary context switches= 1833

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48801 second user time and 8.32973 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-19 01:21:38
IDJOB=4108876
IDBENCH=89642
IDSOLVER=2542
FILE ID=node139/4108876-1466292098
RUNJOBID= node139-1466274546-28141
PBS_JOBID= 19918239
Free space on /tmp= 71564 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-24.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108876-1466292098/watcher-4108876-1466292098 -o /tmp/evaluation-result-4108876-1466292098/solver-4108876-1466292098 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466274546-28141 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108876-1466292098.opb

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

MD5SUM BENCH= 902c79ddb1483993d151297b6d1c86a6
RANDOM SEED=2102476745

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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:        29090260 kB
Buffers:          148772 kB
Cached:           197072 kB
SwapCached:         1832 kB
Active:          1220428 kB
Inactive:         233688 kB
Active(anon):    1108088 kB
Inactive(anon):     2540 kB
Active(file):     112340 kB
Inactive(file):   231148 kB
Unevictable:     1580604 kB
Mlocked:         1402776 kB
SwapTotal:      67108856 kB
SwapFree:       67099484 kB
Dirty:             24756 kB
Writeback:             0 kB
AnonPages:       2691880 kB
Mapped:            10960 kB
Shmem:                 0 kB
Slab:             611244 kB
SReclaimable:      54736 kB
SUnreclaim:       556508 kB
KernelStack:        1472 kB
PageTables:         9304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2831896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1284096 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= 71548 MiB
End job on node139 at 2016-06-19 01:51:39