Trace number 4116813

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-26T18:30:48+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-4116813-1466958647.opb"]
0.00/0.01	c use --random-gen="1770220078 2862956852 1010802087 570685607 498946089 3494590847 2919491082 2391757338 2508897380 3282421114 3276741706 4008128267 2485626225 4009092748 2617546021 724650841 2548116658 2509367791 719176521 132225770 1514189108 1993469339 4223300800 1552799134 3932321894 2214565164 1335337291 3174979965 3145374788 589306005 2008498326 2808879662 3184409189 3187239746 3793775930 3788767466 3810814343 98636828 107275349 1085762322 410195935 2148090147 2438157589 3417234311 2989994969 821624022 3371585740 205851589 3071637933 4180625674 32270831 2385317104 1873065069 2677298065 3465490028 489624424 1165037258 382564874 1309775946 3641382920 1343349100 1238130894 2142302688 4212828684 3191202107 1266998067 1731090139 921705124 3504801515 885568238 2296734692 1923022111 1031208706 1003984506 2256064879 3132778924 646720763 4072608753 1970476918 708728300 1694095886 3382400553 4183568437 136240762 3989986244 4261004835 1118992465 187267415 1042990070 352276596 3926941405 497716452 2227141903 2835560739 2859152245 880990317 2888062691 2123854872 1069219609 2664900716 3835561459 3349982799 2952794889 308445363 960651781 788573244 336509744 2268248741 1898421088 205233251 2503145553 2348814217 3950040589 1112666891 171062911 2000251408 693748900 2534239881 2347768799 1217686910 3371903625 3929898881 1194022530 911184747 2199602975 3381157268 3723741236 509415007 2413785243 3183467086 1684578908 3813720626 1551515256 3682733810 494941905 436527872 2094731265 2147161114 3690439289 2169577897 1897419186 661144214 4218002312 2579653496 2050782925 374879880 710870382 3143653191 1049275950 3709777089 699313614 2289535901 3510179366 2610734514 1239682761 4024057213 1979794281 1891072430 2702861372 1620120646 2469867072 625867471 2837071668 524717341 1171333927 920039618 3955268461 862059031 2264855304 97774439 3532400153 3064050945 3311862076 575722926 2256982809 528812700 2652177584 4139110030 456849605 180066260 1861907737 1036175239 109828316 4007644286 2006477712 180229275 561652593 2790762453 92229555 1769435030 2082680230 3222878798 889169821 1695600502 1491820955 4186207609 600283250 2772209076 1464264244 945494828 3862737405 2673831603 3122341281 1970341778 4187919242 3127349607 2315500493 1150763593 389441044 1500089515 4005643975 332152267 1019615178 1244084131 2703253347 3851373343 2144771642 2622382379 1726820784 1898467263 2691579917 2914720840 2182284014 3439429972 1447797981 4192647632 282427784 208425171 3020892368 4143286480 1927106552 2389203334 1800988725 394465950 1461438568 3609075055 2122952618 1843035552 1552279849 1289591594 3946278759 1346098889 717831536 270037096 2072773211 2719771779 1660628924 1211974274 1345948539 2764109228 262893449 4114144208 73727523 3699600397 1131781443 2531878487 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8672
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     4234      0 |      651 |        0
0.29/0.35	c  0.1s |       1 |     1105 |      100 |     4234      0 |      652 |      410
0.38/0.45	c  0.2s |       2 |     1936 |      250 |     4658      0 |      652 |      410
0.59/0.60	c  0.3s |       3 |     3649 |      475 |     5124      0 |      652 |      410
0.79/0.88	c  0.6s |       4 |     6375 |      813 |     5637      0 |      652 |      410
1.28/1.33	c  1.1s |       5 |    11769 |     1320 |     6201      0 |      653 |      410
1.89/1.97	c  1.7s |       6 |    14621 |     2081 |     7505      0 |      653 |      410
3.19/3.27	c  3.0s |       7 |    17726 |     3223 |     8256      0 |      653 |      410
4.29/4.34	c  4.1s |       8 |    25611 |     4936 |     9082      0 |      653 |      410
6.29/6.35	c  6.1s |       8 |    29298 |     6936 |     9082      0 |      653 |      410
7.09/7.10	c  6.8s |       9 |    29894 |     7506 |     9991      0 |      653 |      410
9.09/9.13	c  8.9s |       9 |    34752 |     9306 |     9991      0 |      653 |      410
11.19/11.20	c 10.9s |       9 |    36133 |    10506 |     9991      0 |      653 |      410
12.39/12.42	c 12.2s |      10 |    37364 |    11361 |    10991      0 |      653 |      410
14.39/14.45	c 14.2s |      10 |    44793 |    13661 |    10991      1 |      653 |      410
16.39/16.48	c 16.2s |      10 |    49247 |    15761 |    10991      1 |      653 |      410
17.99/18.02	c 17.8s |      11 |    52524 |    17144 |    12091      1 |      653 |      410
20.09/20.13	c 19.9s |      11 |    55232 |    18644 |    12091      1 |      653 |      410
22.18/22.22	c 22.0s |      11 |    56603 |    19844 |    12091      1 |      653 |      410
24.19/24.29	c 24.0s |      11 |    57665 |    20844 |    12091      1 |      653 |      410
26.49/26.59	c 26.3s |      11 |    59120 |    22044 |    12091      2 |      653 |      410
28.59/28.62	c 28.4s |      11 |    60637 |    23244 |    12091      2 |      653 |      410
30.58/30.68	c 30.4s |      11 |    61877 |    24344 |    12091      2 |      653 |      410
32.68/32.78	c 32.5s |      11 |    63120 |    25444 |    12091      2 |      653 |      410
33.38/33.45	c 33.2s |      12 |    63563 |    25819 |    13301      2 |      653 |      410
35.48/35.50	c 35.2s |      12 |    73929 |    27819 |    13301      2 |      653 |      410
37.68/37.74	c 37.5s |      12 |    74887 |    28619 |    13301      2 |      653 |      410
39.88/39.93	c 39.7s |      12 |    77302 |    29919 |    13301      2 |      653 |      410
41.98/42.01	c 41.8s |      12 |    78734 |    30819 |    13301      3 |      653 |      410
44.09/44.13	c 43.9s |      12 |    80183 |    31919 |    13301      3 |      653 |      410
46.08/46.16	c 45.9s |      12 |    81143 |    32719 |    13301      3 |      653 |      410
48.18/48.27	c 48.0s |      12 |    82199 |    33619 |    13301      3 |      653 |      410
50.38/50.42	c 50.2s |      12 |    82984 |    34319 |    13301      3 |      653 |      410
52.48/52.51	c 52.3s |      12 |    83774 |    35019 |    13301      3 |      653 |      410
54.48/54.56	c 54.3s |      12 |    84788 |    35719 |    13301      3 |      653 |      410
56.77/56.81	c 56.6s |      12 |    86289 |    36719 |    13301      3 |      653 |      410
58.88/58.98	c 58.7s |      12 |    87118 |    37419 |    13301      3 |      653 |      410
60.98/61.08	c 60.8s |      12 |    89600 |    38419 |    13301      4 |      653 |      410
61.69/61.78	c 61.5s |      13 |    90357 |    38832 |    14632      4 |      653 |      410
63.68/63.80	c 63.5s |      13 |    97889 |    41132 |    14632      4 |      653 |      410
65.88/65.90	c 65.7s |      13 |   100224 |    42432 |    14632      4 |      653 |      410
67.88/67.92	c 67.7s |      13 |   101050 |    42932 |    14632      4 |      653 |      410
69.88/69.97	c 69.7s |      13 |   102712 |    44032 |    14632      4 |      653 |      410
71.98/72.05	c 71.8s |      13 |   104152 |    45032 |    14632      4 |      653 |      410
74.18/74.20	c 74.0s |      13 |   105359 |    45932 |    14632      4 |      653 |      410
76.28/76.31	c 76.1s |      13 |   107160 |    46732 |    14632      5 |      653 |      410
78.38/78.42	c 78.2s |      13 |   109563 |    48032 |    14632      5 |      653 |      410
80.38/80.48	c 80.2s |      13 |   111747 |    49332 |    14632      5 |      653 |      410
82.48/82.57	c 82.3s |      13 |   114036 |    50732 |    14632      5 |      653 |      410
84.48/84.59	c 84.3s |      13 |   115859 |    51932 |    14632      5 |      653 |      410
86.58/86.61	c 86.4s |      13 |   117349 |    52932 |    14632      5 |      653 |      410
88.68/88.72	c 88.5s |      13 |   118279 |    53632 |    14632      5 |      653 |      410
90.98/91.03	c 90.8s |      13 |   119497 |    54632 |    14632      5 |      653 |      410
92.97/93.09	c 92.8s |      13 |   120644 |    55532 |    14632      5 |      653 |      410
95.27/95.33	c 95.1s |      13 |   121371 |    56132 |    14632      6 |      653 |      410
97.27/97.35	c 97.1s |      13 |   122437 |    57032 |    14632      6 |      653 |      410
99.37/99.47	c 99.2s |      13 |   123587 |    57932 |    14632      6 |      653 |      410
100.67/100.78	c  100s |      14 |   124050 |    58352 |    16096      6 |      653 |      410
102.67/102.79	c  102s |      14 |   129657 |    60252 |    16096      6 |      653 |      410
104.87/104.91	c  104s |      14 |   131721 |    61652 |    16096      6 |      653 |      410
106.97/107.04	c  106s |      14 |   133082 |    62652 |    16096      6 |      653 |      410
109.17/109.27	c  109s |      14 |   134353 |    63652 |    16096      6 |      653 |      410
111.18/111.28	c  111s |      14 |   135283 |    64452 |    16096      6 |      653 |      410
113.38/113.41	c  113s |      14 |   136433 |    65352 |    16096      6 |      653 |      410
115.48/115.53	c  115s |      14 |   137501 |    66252 |    16096      6 |      653 |      410
117.57/117.64	c  117s |      14 |   138984 |    67252 |    16096      7 |      653 |      410
119.67/119.75	c  119s |      14 |   141700 |    68652 |    16096      7 |      653 |      410
121.77/121.83	c  121s |      14 |   145084 |    70152 |    16096      7 |      653 |      410
123.77/123.85	c  123s |      14 |   147978 |    71652 |    16096      7 |      653 |      410
125.87/125.95	c  125s |      14 |   149154 |    72552 |    16096      7 |      653 |      410
127.87/127.98	c  127s |      14 |   150609 |    73652 |    16096      7 |      653 |      410
130.07/130.14	c  129s |      14 |   151633 |    74452 |    16096      7 |      653 |      410
132.07/132.16	c  131s |      14 |   152865 |    75452 |    16096      7 |      653 |      410
134.27/134.34	c  134s |      14 |   153786 |    76252 |    16096      8 |      653 |      410
136.37/136.44	c  136s |      14 |   154947 |    77252 |    16096      8 |      653 |      410
138.57/138.60	c  138s |      14 |   156060 |    78252 |    16096      8 |      653 |      410
140.56/140.68	c  140s |      14 |   157113 |    79152 |    16096      8 |      653 |      410
142.66/142.74	c  142s |      14 |   158062 |    79952 |    16096      8 |      653 |      410
144.66/144.80	c  144s |      14 |   158865 |    80652 |    16096      8 |      653 |      410
146.86/146.97	c  146s |      14 |   159527 |    81252 |    16096      8 |      653 |      410
148.97/149.02	c  148s |      14 |   160483 |    82052 |    16096      8 |      653 |      410
151.07/151.16	c  150s |      14 |   161301 |    82752 |    16096      8 |      653 |      410
153.37/153.44	c  153s |      14 |   162076 |    83452 |    16096      8 |      653 |      410
155.47/155.51	c  155s |      14 |   162736 |    84052 |    16096      8 |      653 |      410
157.47/157.57	c  157s |      14 |   163434 |    84652 |    16096      8 |      653 |      410
159.57/159.66	c  159s |      14 |   164963 |    85552 |    16096      8 |      653 |      410
161.67/161.72	c  161s |      14 |   166339 |    86552 |    16096      9 |      653 |      410
163.66/163.70	c  163s |      15 |   167850 |    87632 |    17706      9 |      653 |      410
165.67/165.73	c  165s |      15 |   174246 |    89432 |    17706      9 |      653 |      410
167.77/167.88	c  167s |      15 |   176336 |    90932 |    17706      9 |      653 |      410
169.96/170.01	c  169s |      15 |   177934 |    92132 |    17706      9 |      653 |      410
172.06/172.19	c  171s |      15 |   179181 |    93132 |    17706      9 |      653 |      410
174.16/174.20	c  173s |      15 |   179942 |    93832 |    17706      9 |      653 |      410
176.36/176.44	c  176s |      15 |   181029 |    94732 |    17706      9 |      653 |      410
178.36/178.48	c  178s |      15 |   181795 |    95432 |    17706      9 |      653 |      410
180.56/180.62	c  180s |      15 |   182578 |    96132 |    17706      9 |      653 |      410
182.67/182.74	c  182s |      15 |   183331 |    96832 |    17706      9 |      653 |      410
184.66/184.77	c  184s |      15 |   183858 |    97332 |    17706     10 |      653 |      410
186.97/187.05	c  186s |      15 |   184631 |    98032 |    17706     10 |      653 |      410
189.17/189.23	c  188s |      15 |   185509 |    98832 |    17706     10 |      653 |      410
191.37/191.50	c  191s |      15 |   186369 |    99632 |    17706     10 |      653 |      410
193.67/193.79	c  193s |      15 |   187132 |   100332 |    17706     10 |      653 |      410
195.77/195.84	c  195s |      15 |   187895 |   101032 |    17706     10 |      653 |      410
198.07/198.18	c  197s |      15 |   188670 |   101732 |    17706     10 |      653 |      410
200.17/200.22	c  199s |      15 |   189372 |   102332 |    17706     10 |      653 |      410
202.26/202.39	c  202s |      15 |   190036 |   102932 |    17706     10 |      653 |      410
204.66/204.75	c  204s |      15 |   190681 |   103532 |    17706     10 |      653 |      410
207.06/207.17	c  206s |      15 |   191314 |   104132 |    17706     10 |      653 |      410
209.16/209.23	c  208s |      15 |   191873 |   104632 |    17706     10 |      653 |      410
211.46/211.59	c  211s |      15 |   192535 |   105232 |    17706     10 |      653 |      410
213.76/213.84	c  213s |      15 |   193185 |   105832 |    17706     10 |      653 |      410
216.16/216.20	c  215s |      15 |   193822 |   106432 |    17706     10 |      653 |      410
218.25/218.30	c  218s |      15 |   194417 |   106932 |    17706     10 |      653 |      410
220.75/220.87	c  220s |      15 |   195123 |   107532 |    17706     11 |      653 |      410
223.05/223.15	c  222s |      15 |   195880 |   108232 |    17706     11 |      653 |      410
225.05/225.16	c  224s |      15 |   196522 |   108832 |    17706     11 |      653 |      410
227.45/227.58	c  227s |      15 |   197215 |   109432 |    17706     11 |      653 |      410
229.65/229.71	c  229s |      15 |   197750 |   109932 |    17706     11 |      653 |      410
231.65/231.72	c  231s |      15 |   198380 |   110532 |    17706     11 |      653 |      410
233.65/233.75	c  233s |      15 |   198909 |   111032 |    17706     11 |      653 |      410
235.85/235.96	c  235s |      15 |   199570 |   111632 |    17706     11 |      653 |      410
237.95/238.03	c  237s |      15 |   200221 |   112232 |    17706     11 |      653 |      410
240.05/240.11	c  239s |      15 |   200883 |   112832 |    17706     11 |      653 |      410
242.25/242.30	c  242s |      15 |   201536 |   113432 |    17706     11 |      653 |      410
244.65/244.72	c  244s |      15 |   202267 |   114132 |    17706     11 |      653 |      410
246.75/246.84	c  246s |      15 |   202810 |   114632 |    17706     11 |      653 |      410
248.95/249.03	c  248s |      15 |   203474 |   115232 |    17706     11 |      653 |      410
251.04/251.15	c  250s |      15 |   204186 |   115832 |    17706     11 |      653 |      410
253.05/253.19	c  252s |      15 |   204751 |   116332 |    17706     11 |      653 |      410
255.16/255.25	c  254s |      15 |   205320 |   116832 |    17706     11 |      653 |      410
257.15/257.26	c  257s |      15 |   205873 |   117332 |    17706     11 |      653 |      410
259.15/259.27	c  259s |      15 |   206437 |   117832 |    17706     11 |      653 |      410
261.35/261.44	c  261s |      15 |   207022 |   118332 |    17706     12 |      653 |      410
263.45/263.59	c  263s |      15 |   207856 |   119032 |    17706     12 |      653 |      410
265.55/265.62	c  265s |      15 |   208531 |   119632 |    17706     12 |      653 |      410
267.55/267.68	c  267s |      15 |   209197 |   120232 |    17706     12 |      653 |      410
269.56/269.69	c  269s |      15 |   209758 |   120732 |    17706     12 |      653 |      410
271.95/272.04	c  271s |      15 |   210540 |   121432 |    17706     12 |      653 |      410
274.35/274.44	c  274s |      15 |   211199 |   122032 |    17706     12 |      653 |      410
276.45/276.55	c  276s |      15 |   211856 |   122632 |    17706     12 |      653 |      410
278.85/278.99	c  278s |      15 |   212510 |   123232 |    17706     12 |      653 |      410
281.15/281.27	c  281s |      15 |   213044 |   123732 |    17706     12 |      653 |      410
283.25/283.34	c  283s |      15 |   213589 |   124232 |    17706     12 |      653 |      410
285.45/285.55	c  285s |      15 |   214140 |   124732 |    17706     12 |      653 |      410
287.75/287.83	c  287s |      15 |   214825 |   125332 |    17706     12 |      653 |      410
289.75/289.85	c  289s |      15 |   215393 |   125832 |    17706     12 |      653 |      410
292.04/292.12	c  291s |      15 |   215912 |   126332 |    17706     12 |      653 |      410
294.14/294.29	c  294s |      15 |   216491 |   126832 |    17706     12 |      653 |      410
296.54/296.65	c  296s |      15 |   217048 |   127332 |    17706     12 |      653 |      410
299.04/299.17	c  298s |      15 |   217583 |   127832 |    17706     12 |      653 |      410
301.14/301.27	c  301s |      15 |   218010 |   128232 |    17706     12 |      653 |      410
303.44/303.50	c  303s |      15 |   218441 |   128632 |    17706     13 |      653 |      410
305.54/305.69	c  305s |      15 |   219073 |   129232 |    17706     13 |      653 |      410
307.64/307.73	c  307s |      15 |   219637 |   129732 |    17706     13 |      653 |      410
309.84/309.91	c  309s |      15 |   220334 |   130332 |    17706     13 |      653 |      410
312.04/312.10	c  311s |      15 |   220984 |   130932 |    19477     13 |      653 |      410
314.34/314.42	c  314s |      15 |   221647 |   131532 |    19477     13 |      653 |      410
314.44/314.51	c  314s |      16 |   221677 |   131552 |    19477     13 |      653 |      410
316.44/316.53	c  316s |      16 |   228440 |   133252 |    19477     13 |      653 |      410
318.44/318.59	c  318s |      16 |   235880 |   135452 |    19477     13 |      653 |      410
320.64/320.70	c  320s |      16 |   237786 |   136952 |    19477     13 |      653 |      410
322.64/322.71	c  322s |      16 |   240634 |   138252 |    19477     13 |      653 |      410
324.64/324.79	c  324s |      16 |   242199 |   139452 |    19477     13 |      653 |      410
326.74/326.83	c  326s |      16 |   243256 |   140352 |    19477     13 |      653 |      410
328.84/328.90	c  328s |      16 |   244045 |   141052 |    19477     14 |      653 |      410
330.94/331.00	c  330s |      16 |   245146 |   142052 |    19477     14 |      653 |      410
333.14/333.26	c  333s |      16 |   246161 |   142952 |    19477     14 |      653 |      410
335.44/335.53	c  335s |      16 |   247182 |   143852 |    19477     14 |      653 |      410
337.64/337.74	c  337s |      16 |   248055 |   144652 |    19477     14 |      653 |      410
339.84/339.95	c  339s |      16 |   248911 |   145452 |    19477     14 |      653 |      410
341.83/341.97	c  341s |      16 |   249661 |   146152 |    19477     14 |      653 |      410
344.03/344.12	c  343s |      16 |   250549 |   146952 |    19477     14 |      653 |      410
346.13/346.20	c  345s |      16 |   251576 |   147852 |    19477     14 |      653 |      410
348.23/348.30	c  348s |      16 |   252469 |   148652 |    19477     14 |      653 |      410
350.33/350.41	c  350s |      16 |   253220 |   149352 |    19477     14 |      653 |      410
352.33/352.45	c  352s |      16 |   253985 |   150052 |    19477     14 |      653 |      410
354.63/354.70	c  354s |      16 |   254731 |   150752 |    19477     14 |      653 |      410
356.63/356.76	c  356s |      16 |   255372 |   151352 |    19477     14 |      653 |      410
359.33/359.40	c  359s |      16 |   256110 |   152052 |    19477     15 |      653 |      410
361.43/361.54	c  361s |      16 |   256860 |   152752 |    19477     15 |      653 |      410
363.83/363.94	c  363s |      16 |   257602 |   153452 |    19477     15 |      653 |      410
366.03/366.12	c  365s |      16 |   258334 |   154152 |    19477     15 |      653 |      410
368.23/368.30	c  368s |      16 |   259104 |   154852 |    19477     15 |      653 |      410
370.23/370.31	c  370s |      16 |   259868 |   155552 |    19477     15 |      653 |      410
372.43/372.54	c  372s |      16 |   260651 |   156252 |    19477     15 |      653 |      410
374.53/374.61	c  374s |      16 |   261315 |   156852 |    19477     15 |      653 |      410
376.63/376.72	c  376s |      16 |   261977 |   157452 |    19477     15 |      653 |      410
378.83/378.94	c  378s |      16 |   262605 |   158052 |    19477     15 |      653 |      410
381.03/381.10	c  380s |      16 |   263231 |   158652 |    19477     15 |      653 |      410
383.33/383.43	c  383s |      16 |   263880 |   159252 |    19477     15 |      653 |      410
385.53/385.66	c  385s |      16 |   264525 |   159852 |    19477     15 |      653 |      410
387.83/387.96	c  387s |      16 |   265178 |   160452 |    19477     15 |      653 |      410
389.93/390.02	c  389s |      16 |   265704 |   160952 |    19477     15 |      653 |      410
392.13/392.28	c  392s |      16 |   266339 |   161552 |    19477     15 |      653 |      410
394.43/394.53	c  394s |      16 |   266867 |   162052 |    19477     15 |      653 |      410
396.62/396.73	c  396s |      16 |   267389 |   162552 |    19477     15 |      653 |      410
398.72/398.83	c  398s |      16 |   268041 |   163152 |    19477     15 |      653 |      410
400.82/400.98	c  400s |      16 |   268603 |   163652 |    19477     16 |      653 |      410
403.12/403.24	c  402s |      16 |   269497 |   164452 |    19477     16 |      653 |      410
405.32/405.46	c  405s |      16 |   270571 |   165352 |    19477     16 |      653 |      410
407.52/407.69	c  407s |      16 |   271494 |   166152 |    19477     16 |      653 |      410
409.62/409.77	c  409s |      16 |   272152 |   166752 |    19477     16 |      653 |      410
411.92/412.09	c  411s |      16 |   272946 |   167452 |    19477     16 |      653 |      410
414.12/414.26	c  414s |      16 |   273742 |   168152 |    19477     16 |      653 |      410
416.12/416.28	c  416s |      16 |   274406 |   168752 |    19477     16 |      653 |      410
418.22/418.36	c  418s |      16 |   275062 |   169352 |    19477     16 |      653 |      410
420.32/420.45	c  420s |      16 |   275701 |   169952 |    19477     16 |      653 |      410
422.43/422.59	c  422s |      16 |   276376 |   170552 |    19477     16 |      653 |      410
424.72/424.81	c  424s |      16 |   277020 |   171152 |    19477     16 |      653 |      410
426.83/426.95	c  426s |      16 |   277680 |   171752 |    19477     16 |      653 |      410
428.82/428.98	c  428s |      16 |   278315 |   172352 |    19477     16 |      653 |      410
431.23/431.37	c  431s |      16 |   278952 |   172952 |    19477     16 |      653 |      410
433.43/433.53	c  433s |      16 |   279621 |   173552 |    19477     16 |      653 |      410
435.53/435.62	c  435s |      16 |   280174 |   174052 |    19477     16 |      653 |      410
437.73/437.83	c  437s |      16 |   280705 |   174552 |    19477     16 |      653 |      410
439.93/440.10	c  439s |      16 |   281236 |   175052 |    19477     17 |      653 |      410
442.22/442.36	c  442s |      16 |   281996 |   175752 |    19477     17 |      653 |      410
444.52/444.67	c  444s |      16 |   282749 |   176452 |    19477     17 |      653 |      410
446.52/446.69	c  446s |      16 |   283392 |   177052 |    19477     17 |      653 |      410
448.72/448.81	c  448s |      16 |   284030 |   177652 |    19477     17 |      653 |      410
450.72/450.85	c  450s |      16 |   284548 |   178152 |    19477     17 |      653 |      410
452.72/452.89	c  452s |      16 |   285246 |   178752 |    19477     17 |      653 |      410
454.81/454.96	c  454s |      16 |   285880 |   179352 |    19477     17 |      653 |      410
457.01/457.15	c  456s |      16 |   286521 |   179952 |    19477     17 |      653 |      410
459.11/459.20	c  458s |      16 |   287047 |   180452 |    19477     17 |      653 |      410
461.11/461.20	c  460s |      16 |   287576 |   180952 |    19477     17 |      653 |      410
463.31/463.44	c  463s |      16 |   288231 |   181552 |    19477     17 |      653 |      410
465.41/465.52	c  465s |      16 |   288761 |   182052 |    19477     17 |      653 |      410
467.71/467.88	c  467s |      16 |   289398 |   182652 |    19477     17 |      653 |      410
469.72/469.89	c  469s |      16 |   289938 |   183152 |    19477     17 |      653 |      410
472.21/472.30	c  472s |      16 |   290472 |   183652 |    19477     17 |      653 |      410
474.61/474.70	c  474s |      16 |   291021 |   184152 |    19477     17 |      653 |      410
476.91/477.01	c  476s |      16 |   291680 |   184752 |    19477     17 |      653 |      410
479.31/479.42	c  479s |      16 |   292332 |   185352 |    19477     17 |      653 |      410
481.41/481.51	c  481s |      16 |   292871 |   185852 |    19477     17 |      653 |      410
483.72/483.81	c  483s |      16 |   293421 |   186352 |    19477     18 |      653 |      410
485.82/485.92	c  485s |      16 |   294052 |   186952 |    19477     18 |      653 |      410
488.12/488.24	c  487s |      16 |   294809 |   187652 |    19477     18 |      653 |      410
490.22/490.30	c  490s |      16 |   295472 |   188252 |    19477     18 |      653 |      410
492.32/492.47	c  492s |      16 |   296125 |   188852 |    19477     18 |      653 |      410
494.62/494.71	c  494s |      16 |   296775 |   189452 |    19477     18 |      653 |      410
496.72/496.86	c  496s |      16 |   297422 |   190052 |    19477     18 |      653 |      410
499.02/499.13	c  498s |      16 |   298054 |   190652 |    19477     18 |      653 |      410
501.41/501.54	c  501s |      16 |   298714 |   191252 |    19477     18 |      653 |      410
503.82/503.91	c  503s |      16 |   299367 |   191852 |    19477     18 |      653 |      410
505.92/506.01	c  505s |      16 |   299885 |   192352 |    19477     18 |      653 |      410
508.01/508.16	c  507s |      16 |   300403 |   192852 |    19477     18 |      653 |      410
510.11/510.28	c  510s |      16 |   300916 |   193352 |    19477     18 |      653 |      410
512.41/512.51	c  512s |      16 |   301431 |   193852 |    19477     18 |      653 |      410
514.61/514.70	c  514s |      16 |   302105 |   194452 |    19477     18 |      653 |      410
517.02/517.16	c  516s |      16 |   302756 |   195052 |    19477     18 |      653 |      410
519.22/519.39	c  519s |      16 |   303277 |   195552 |    19477     18 |      653 |      410
521.32/521.44	c  521s |      16 |   303687 |   195952 |    19477     18 |      653 |      410
523.41/523.58	c  523s |      16 |   304098 |   196352 |    21425     18 |      653 |      410
525.91/526.00	c  525s |      16 |   304631 |   196852 |    21425     18 |      653 |      410
528.02/528.11	c  527s |      16 |   305162 |   197352 |    21425     18 |      653 |      410
528.31/528.49	c  528s |      17 |   305250 |   197432 |    21425     18 |      653 |      410
530.41/530.57	c  530s |      17 |   308569 |   198332 |    21425     19 |      653 |      410
532.61/532.75	c  532s |      17 |   309852 |   199432 |    21425     19 |      653 |      410
534.62/534.77	c  534s |      17 |   310986 |   200432 |    21425     19 |      653 |      410
536.82/536.94	c  536s |      17 |   311947 |   201332 |    21425     19 |      653 |      410
538.92/539.08	c  538s |      17 |   312968 |   202232 |    21425     19 |      653 |      410
541.01/541.17	c  540s |      17 |   314245 |   203332 |    21425     19 |      653 |      410
543.31/543.43	c  543s |      17 |   315249 |   204232 |    21425     19 |      653 |      410
545.31/545.45	c  545s |      17 |   316171 |   205032 |    21425     19 |      653 |      410
547.31/547.48	c  547s |      17 |   317056 |   205832 |    21425     19 |      653 |      410
549.61/549.78	c  549s |      17 |   317927 |   206632 |    21425     19 |      653 |      410
551.61/551.79	c  551s |      17 |   318693 |   207332 |    21425     19 |      653 |      410
553.70/553.87	c  553s |      17 |   319607 |   208132 |    21425     19 |      653 |      410
555.70/555.89	c  555s |      17 |   320387 |   208832 |    21425     19 |      653 |      410
558.10/558.24	c  557s |      17 |   321148 |   209532 |    21425     19 |      653 |      410
560.30/560.49	c  560s |      17 |   321946 |   210232 |    21425     19 |      653 |      410
562.70/562.80	c  562s |      17 |   322653 |   210832 |    21425     20 |      653 |      410
564.70/564.86	c  564s |      17 |   323313 |   211432 |    21425     20 |      653 |      410
566.70/566.89	c  566s |      17 |   324008 |   212032 |    21425     20 |      653 |      410
568.90/569.07	c  568s |      17 |   324673 |   212632 |    21425     20 |      653 |      410
571.20/571.39	c  571s |      17 |   325446 |   213332 |    21425     20 |      653 |      410
573.40/573.57	c  573s |      17 |   326136 |   213932 |    21425     20 |      653 |      410
575.80/575.95	c  575s |      17 |   326906 |   214632 |    21425     20 |      653 |      410
578.00/578.15	c  577s |      17 |   327556 |   215232 |    21425     20 |      653 |      410
580.30/580.44	c  580s |      17 |   328201 |   215832 |    21425     20 |      653 |      410
582.60/582.71	c  582s |      17 |   328859 |   216432 |    21425     20 |      653 |      410
584.70/584.85	c  584s |      17 |   329398 |   216932 |    21425     20 |      653 |      410
587.00/587.19	c  586s |      17 |   330082 |   217532 |    21425     20 |      653 |      410
589.10/589.28	c  589s |      17 |   330632 |   218032 |    21425     20 |      653 |      410
591.40/591.52	c  591s |      17 |   331659 |   218732 |    21425     20 |      653 |      410
593.39/593.54	c  593s |      17 |   332346 |   219332 |    21425     20 |      653 |      410
595.59/595.76	c  595s |      17 |   333150 |   220032 |    21425     20 |      653 |      410
597.79/597.96	c  597s |      17 |   333809 |   220632 |    21425     20 |      653 |      410
599.99/600.13	c  599s |      17 |   334499 |   221232 |    21425     20 |      653 |      410
602.29/602.41	c  602s |      17 |   335328 |   221932 |    21425     20 |      653 |      410
604.49/604.63	c  604s |      17 |   336126 |   222532 |    21425     20 |      653 |      410
606.89/607.02	c  606s |      17 |   336730 |   223032 |    21425     21 |      653 |      410
608.90/609.08	c  608s |      17 |   337521 |   223732 |    21425     21 |      653 |      410
611.00/611.12	c  610s |      17 |   338347 |   224432 |    21425     21 |      653 |      410
613.30/613.46	c  613s |      17 |   339288 |   225232 |    21425     21 |      653 |      410
615.60/615.79	c  615s |      17 |   339965 |   225832 |    21425     21 |      653 |      410
618.00/618.15	c  617s |      17 |   340674 |   226432 |    21425     21 |      653 |      410
620.20/620.37	c  620s |      17 |   341477 |   227132 |    21425     21 |      653 |      410
622.20/622.38	c  622s |      17 |   342163 |   227732 |    21425     21 |      653 |      410
624.40/624.52	c  624s |      17 |   342947 |   228432 |    21425     21 |      653 |      410
626.50/626.64	c  626s |      17 |   343645 |   229032 |    21425     21 |      653 |      410
628.60/628.77	c  628s |      17 |   344333 |   229632 |    21425     21 |      653 |      410
630.80/630.96	c  630s |      17 |   344998 |   230232 |    21425     21 |      653 |      410
633.19/633.34	c  633s |      17 |   345664 |   230832 |    21425     21 |      653 |      410
635.59/635.71	c  635s |      17 |   346312 |   231432 |    21425     21 |      653 |      410
637.69/637.80	c  637s |      17 |   346914 |   231932 |    21425     21 |      653 |      410
639.79/639.98	c  639s |      17 |   347671 |   232532 |    21425     21 |      653 |      410
642.09/642.25	c  641s |      17 |   348330 |   233132 |    21425     21 |      653 |      410
644.19/644.37	c  644s |      17 |   348918 |   233632 |    21425     21 |      653 |      410
646.19/646.39	c  646s |      17 |   349477 |   234132 |    21425     21 |      653 |      410
648.29/648.43	c  648s |      17 |   350057 |   234632 |    21425     21 |      653 |      410
650.39/650.55	c  650s |      17 |   350628 |   235132 |    21425     21 |      653 |      410
652.49/652.66	c  652s |      17 |   351060 |   235532 |    21425     22 |      653 |      410
654.59/654.70	c  654s |      17 |   351748 |   236132 |    21425     22 |      653 |      410
656.60/656.77	c  656s |      17 |   352413 |   236732 |    21425     22 |      653 |      410
658.99/659.12	c  658s |      17 |   353048 |   237332 |    21425     22 |      653 |      410
661.10/661.24	c  660s |      17 |   353739 |   237932 |    21425     22 |      653 |      410
663.20/663.38	c  663s |      17 |   354396 |   238532 |    21425     22 |      653 |      410
665.29/665.43	c  665s |      17 |   354957 |   239032 |    21425     22 |      653 |      410
667.39/667.52	c  667s |      17 |   355625 |   239632 |    21425     22 |      653 |      410
669.59/669.78	c  669s |      17 |   356276 |   240232 |    21425     22 |      653 |      410
671.59/671.79	c  671s |      17 |   356823 |   240732 |    21425     22 |      653 |      410
673.89/674.03	c  673s |      17 |   357495 |   241332 |    21425     22 |      653 |      410
675.89/676.05	c  675s |      17 |   358053 |   241832 |    21425     22 |      653 |      410
677.99/678.11	c  677s |      17 |   358623 |   242332 |    21425     22 |      653 |      410
680.09/680.27	c  680s |      17 |   359185 |   242832 |    21425     22 |      653 |      410
682.29/682.40	c  682s |      17 |   359732 |   243332 |    21425     22 |      653 |      410
684.39/684.55	c  684s |      17 |   360276 |   243832 |    21425     22 |      653 |      410
686.59/686.75	c  686s |      17 |   360817 |   244332 |    21425     22 |      653 |      410
688.79/688.91	c  688s |      17 |   361388 |   244832 |    21425     22 |      653 |      410
690.98/691.16	c  690s |      17 |   361933 |   245332 |    21425     22 |      653 |      410
693.38/693.53	c  693s |      17 |   362492 |   245832 |    21425     22 |      653 |      410
695.78/695.94	c  695s |      17 |   363048 |   246332 |    21425     22 |      653 |      410
698.08/698.23	c  697s |      17 |   363594 |   246832 |    21425     22 |      653 |      410
700.48/700.64	c  700s |      17 |   364144 |   247332 |    21425     22 |      653 |      410
703.38/703.57	c  703s |      17 |   364682 |   247832 |    21425     23 |      653 |      410
705.78/705.92	c  705s |      17 |   365446 |   248532 |    21425     23 |      653 |      410
707.78/707.96	c  707s |      17 |   366100 |   249132 |    21425     23 |      653 |      410
710.08/710.25	c  709s |      17 |   366876 |   249832 |    21425     23 |      653 |      410
712.38/712.53	c  712s |      17 |   367535 |   250432 |    21425     23 |      653 |      410
714.58/714.78	c  714s |      17 |   368188 |   251032 |    21425     23 |      653 |      410
716.68/716.82	c  716s |      17 |   368714 |   251532 |    21425     23 |      653 |      410
718.68/718.84	c  718s |      17 |   369267 |   252032 |    21425     23 |      653 |      410
720.98/721.13	c  720s |      17 |   369825 |   252532 |    21425     23 |      653 |      410
722.98/723.15	c  722s |      17 |   370379 |   253032 |    21425     23 |      653 |      410
725.27/725.42	c  725s |      17 |   370905 |   253532 |    21425     23 |      653 |      410
727.57/727.70	c  727s |      17 |   371448 |   254032 |    21425     23 |      653 |      410
729.77/729.99	c  729s |      17 |   371990 |   254532 |    21425     23 |      653 |      410
731.97/732.14	c  731s |      17 |   372540 |   255032 |    21425     23 |      653 |      410
734.27/734.41	c  734s |      17 |   373063 |   255532 |    21425     23 |      653 |      410
736.67/736.86	c  736s |      17 |   373586 |   256032 |    21425     23 |      653 |      410
738.97/739.12	c  738s |      17 |   374198 |   256532 |    21425     23 |      653 |      410
741.28/741.44	c  741s |      17 |   374952 |   257132 |    21425     23 |      653 |      410
743.37/743.55	c  743s |      17 |   375489 |   257632 |    21425     23 |      653 |      410
745.47/745.62	c  745s |      17 |   376029 |   258132 |    21425     23 |      653 |      410
747.87/748.01	c  747s |      17 |   376604 |   258632 |    21425     23 |      653 |      410
750.17/750.32	c  750s |      17 |   377040 |   259032 |    21425     23 |      653 |      410
752.37/752.50	c  752s |      17 |   377628 |   259532 |    21425     23 |      653 |      410
755.26/755.49	c  755s |      17 |   378293 |   260132 |    21425     24 |      653 |      410
757.37/757.53	c  757s |      17 |   379032 |   260832 |    21425     24 |      653 |      410
759.37/759.58	c  759s |      17 |   379796 |   261532 |    21425     24 |      653 |      410
761.57/761.78	c  761s |      17 |   380601 |   262232 |    21425     24 |      653 |      410
763.87/764.03	c  763s |      17 |   381396 |   262932 |    21425     24 |      653 |      410
765.96/766.12	c  765s |      17 |   382070 |   263532 |    21425     24 |      653 |      410
768.26/768.42	c  768s |      17 |   382860 |   264232 |    21425     24 |      653 |      410
770.36/770.53	c  770s |      17 |   383661 |   264932 |    21425     24 |      653 |      410
772.36/772.55	c  772s |      17 |   384363 |   265532 |    21425     24 |      653 |      410
774.56/774.72	c  774s |      17 |   385011 |   266132 |    21425     24 |      653 |      410
776.66/776.87	c  776s |      17 |   385695 |   266732 |    21425     24 |      653 |      410
778.96/779.10	c  778s |      17 |   386360 |   267332 |    21425     24 |      653 |      410
781.06/781.23	c  780s |      17 |   387030 |   267932 |    21425     24 |      653 |      410
783.26/783.45	c  783s |      17 |   387710 |   268532 |    21425     24 |      653 |      410
785.46/785.60	c  785s |      17 |   388255 |   269032 |    21425     24 |      653 |      410
787.46/787.66	c  787s |      17 |   388798 |   269532 |    21425     24 |      653 |      410
789.46/789.67	c  789s |      17 |   389348 |   270032 |    21425     24 |      653 |      410
791.46/791.67	c  791s |      17 |   389896 |   270532 |    21425     24 |      653 |      410
793.65/793.83	c  793s |      17 |   390462 |   271032 |    21425     24 |      653 |      410
795.65/795.89	c  795s |      17 |   390997 |   271532 |    21425     24 |      653 |      410
798.05/798.24	c  797s |      17 |   391540 |   272032 |    21425     24 |      653 |      410
800.45/800.63	c  800s |      17 |   391977 |   272432 |    21425     25 |      653 |      410
802.65/802.85	c  802s |      17 |   392652 |   273032 |    21425     25 |      653 |      410
804.74/804.91	c  804s |      17 |   393207 |   273532 |    21425     25 |      653 |      410
807.04/807.21	c  806s |      17 |   393866 |   274132 |    21425     25 |      653 |      410
809.14/809.33	c  809s |      17 |   394391 |   274632 |    21425     25 |      653 |      410
811.24/811.44	c  811s |      17 |   394953 |   275132 |    21425     25 |      653 |      410
813.44/813.62	c  813s |      17 |   395513 |   275632 |    21425     25 |      653 |      410
815.74/815.95	c  815s |      17 |   396401 |   276332 |    21425     25 |      653 |      410
817.74/817.97	c  817s |      17 |   397075 |   276932 |    21425     25 |      653 |      410
819.84/820.06	c  819s |      17 |   397770 |   277532 |    21425     25 |      653 |      410
822.24/822.41	c  822s |      17 |   398444 |   278132 |    21425     25 |      653 |      410
824.43/824.62	c  824s |      17 |   399105 |   278732 |    21425     25 |      653 |      410
826.83/827.01	c  826s |      17 |   399740 |   279332 |    21425     25 |      653 |      410
829.04/829.27	c  829s |      17 |   400422 |   279932 |    21425     25 |      653 |      410
831.44/831.63	c  831s |      17 |   401062 |   280532 |    21425     25 |      653 |      410
833.54/833.70	c  833s |      17 |   401603 |   281032 |    21425     25 |      653 |      410
835.64/835.87	c  835s |      17 |   402135 |   281532 |    21425     25 |      653 |      410
838.04/838.25	c  837s |      17 |   402798 |   282132 |    21425     25 |      653 |      410
840.13/840.40	c  840s |      17 |   403333 |   282632 |    21425     25 |      653 |      410
842.44/842.61	c  842s |      17 |   403893 |   283132 |    21425     25 |      653 |      410
844.64/844.89	c  844s |      17 |   404434 |   283632 |    21425     25 |      653 |      410
846.73/846.90	c  846s |      17 |   404863 |   284032 |    21425     25 |      653 |      410
848.73/848.98	c  848s |      17 |   405291 |   284432 |    21425     25 |      653 |      410
850.83/851.04	c  850s |      17 |   405611 |   284732 |    21425     26 |      653 |      410
853.03/853.30	c  853s |      17 |   406282 |   285332 |    21425     26 |      653 |      410
855.13/855.31	c  855s |      17 |   406930 |   285932 |    21425     26 |      653 |      410
857.43/857.68	c  857s |      17 |   407550 |   286532 |    21425     26 |      653 |      410
859.83/860.02	c  859s |      17 |   408202 |   287132 |    21425     26 |      653 |      410
862.13/862.39	c  862s |      17 |   409017 |   287832 |    21425     26 |      653 |      410
864.53/864.74	c  864s |      17 |   409673 |   288432 |    21425     26 |      653 |      410
866.53/866.80	c  866s |      17 |   410229 |   288932 |    21425     26 |      653 |      410
868.83/869.01	c  868s |      17 |   410770 |   289432 |    21425     26 |      653 |      410
870.92/871.17	c  870s |      17 |   411321 |   289932 |    21425     26 |      653 |      410
873.23/873.50	c  873s |      17 |   412003 |   290532 |    21425     26 |      653 |      410
875.32/875.53	c  875s |      17 |   412712 |   291132 |    21425     26 |      653 |      410
877.32/877.53	c  877s |      17 |   413414 |   291732 |    21425     26 |      653 |      410
879.62/879.80	c  879s |      17 |   414222 |   292432 |    21425     26 |      653 |      410
881.72/881.91	c  881s |      17 |   414910 |   293032 |    21425     26 |      653 |      410
884.02/884.27	c  884s |      17 |   415732 |   293732 |    21425     26 |      653 |      410
886.32/886.51	c  886s |      17 |   416391 |   294332 |    23568     26 |      653 |      410
888.32/888.55	c  888s |      17 |   416943 |   294832 |    23568     26 |      653 |      410
890.52/890.78	c  890s |      17 |   417511 |   295332 |    23568     26 |      653 |      410
892.62/892.89	c  892s |      17 |   418096 |   295832 |    23568     26 |      653 |      410
894.62/894.82	c  894s |      18 |   418575 |   296252 |    23568     26 |      653 |      410
896.72/896.91	c  896s |      18 |   424133 |   297152 |    23568     27 |      653 |      410
898.72/898.97	c  898s |      18 |   430474 |   299452 |    23568     27 |      653 |      410
900.83/901.05	c  900s |      18 |   432391 |   300852 |    23568     27 |      653 |      410
902.82/903.06	c  902s |      18 |   440981 |   303252 |    23568     27 |      653 |      410
904.92/905.17	c  904s |      18 |   446605 |   305552 |    23568     27 |      653 |      410
907.02/907.20	c  906s |      18 |   448127 |   306552 |    23568     27 |      653 |      410
909.12/909.30	c  909s |      18 |   449616 |   307552 |    23568     27 |      653 |      410
911.22/911.48	c  911s |      18 |   450479 |   308252 |    23568     27 |      653 |      410
913.42/913.69	c  913s |      18 |   451472 |   309152 |    23568     27 |      653 |      410
915.52/915.77	c  915s |      18 |   453603 |   310452 |    23568     27 |      653 |      410
918.02/918.26	c  918s |      18 |   454960 |   311452 |    23568     28 |      653 |      410
920.12/920.30	c  920s |      18 |   456915 |   312852 |    23568     28 |      653 |      410
922.22/922.46	c  922s |      18 |   458753 |   314052 |    23568     28 |      653 |      410
924.31/924.51	c  924s |      18 |   460413 |   315152 |    23568     28 |      653 |      410
926.51/926.76	c  926s |      18 |   462009 |   316252 |    23568     28 |      653 |      410
928.61/928.80	c  928s |      18 |   463009 |   317052 |    23568     28 |      653 |      410
930.61/930.81	c  930s |      18 |   464299 |   317952 |    23568     28 |      653 |      410
932.72/932.92	c  932s |      18 |   465670 |   318952 |    23568     28 |      653 |      410
934.82/935.08	c  934s |      18 |   467106 |   319952 |    23568     28 |      653 |      410
936.81/937.09	c  936s |      18 |   468331 |   320852 |    23568     28 |      653 |      410
939.01/939.26	c  939s |      18 |   469517 |   321752 |    23568     28 |      653 |      410
941.21/941.40	c  941s |      18 |   470683 |   322652 |    23568     28 |      653 |      410
943.31/943.56	c  943s |      18 |   471803 |   323452 |    23568     28 |      653 |      410
945.41/945.68	c  945s |      18 |   472744 |   324152 |    23568     28 |      653 |      410
947.51/947.76	c  947s |      18 |   473606 |   324852 |    23568     29 |      653 |      410
949.51/949.78	c  949s |      18 |   474489 |   325552 |    23568     29 |      653 |      410
951.71/951.97	c  951s |      18 |   475544 |   326352 |    23568     29 |      653 |      410
953.81/954.03	c  953s |      18 |   476308 |   326952 |    23568     29 |      653 |      410
956.11/956.39	c  956s |      18 |   477045 |   327552 |    23568     29 |      653 |      410
958.21/958.42	c  958s |      18 |   478008 |   328252 |    23568     29 |      653 |      410
960.21/960.48	c  960s |      18 |   479587 |   329452 |    23568     29 |      653 |      410
962.41/962.69	c  962s |      18 |   480752 |   330352 |    23568     29 |      653 |      410
964.61/964.85	c  964s |      18 |   481623 |   331152 |    23568     29 |      653 |      410
966.90/967.14	c  966s |      18 |   482382 |   331852 |    23568     29 |      653 |      410
969.01/969.25	c  969s |      18 |   483307 |   332552 |    23568     29 |      653 |      410
971.11/971.38	c  971s |      18 |   484274 |   333252 |    23568     29 |      653 |      410
973.31/973.54	c  973s |      18 |   486076 |   334352 |    23568     29 |      653 |      410
975.41/975.65	c  975s |      18 |   486896 |   335052 |    23568     29 |      653 |      410
977.51/977.74	c  977s |      18 |   488107 |   335952 |    23568     29 |      653 |      410
979.71/979.90	c  979s |      18 |   489127 |   336752 |    23568     29 |      653 |      410
981.71/981.97	c  981s |      18 |   489999 |   337452 |    23568     29 |      653 |      410
983.90/984.14	c  983s |      18 |   490821 |   338152 |    23568     29 |      653 |      410
986.00/986.22	c  985s |      18 |   491387 |   338652 |    23568     30 |      653 |      410
988.20/988.44	c  988s |      18 |   492638 |   339652 |    23568     30 |      653 |      410
990.40/990.61	c  990s |      18 |   493792 |   340552 |    23568     30 |      653 |      410
992.50/992.77	c  992s |      18 |   494765 |   341352 |    23568     30 |      653 |      410
994.80/995.00	c  994s |      18 |   495588 |   341852 |    23568     30 |      653 |      410
996.80/997.03	c  996s |      18 |   495923 |   342152 |    23568     30 |      653 |      410
1000.20/1000.41	c 1000s |      18 |   496143 |   342352 |    23568     30 |      653 |      410
1002.59/1002.87	c 1002s |      18 |   496377 |   342552 |    23568     30 |      653 |      410
1005.20/1005.42	c 1005s |      18 |   496788 |   342852 |    23568     30 |      653 |      410
1007.79/1008.05	c 1007s |      18 |   497115 |   343152 |    23568     30 |      653 |      410
1010.09/1010.39	c 1010s |      18 |   497478 |   343452 |    23568     30 |      653 |      410
1012.78/1013.01	c 1012s |      18 |   497834 |   343752 |    23568     30 |      653 |      410
1015.48/1015.77	c 1015s |      18 |   498054 |   343952 |    23568     30 |      653 |      410
1017.58/1017.87	c 1017s |      18 |   498473 |   344252 |    23568     30 |      653 |      410
1019.68/1019.91	c 1019s |      18 |   498824 |   344552 |    23568     30 |      653 |      410
1021.69/1021.95	c 1021s |      18 |   499037 |   344752 |    23568     30 |      653 |      410
1024.08/1024.32	c 1024s |      18 |   499295 |   344952 |    23568     30 |      653 |      410
1026.27/1026.51	c 1026s |      18 |   499628 |   345252 |    23568     30 |      653 |      410
1028.28/1028.59	c 1028s |      18 |   500281 |   345752 |    23568     30 |      653 |      410
1030.37/1030.63	c 1030s |      18 |   501338 |   346552 |    23568     30 |      653 |      410
1032.57/1032.80	c 1032s |      18 |   502131 |   347252 |    23568     30 |      653 |      410
1034.67/1034.96	c 1034s |      18 |   502923 |   347952 |    23568     30 |      653 |      410
1036.67/1036.99	c 1036s |      18 |   503585 |   348552 |    23568     30 |      653 |      410
1038.97/1039.25	c 1039s |      18 |   504433 |   349252 |    23568     30 |      653 |      410
1041.07/1041.31	c 1041s |      18 |   505169 |   349852 |    23568     30 |      653 |      410
1043.37/1043.68	c 1043s |      18 |   505907 |   350452 |    23568     30 |      653 |      410
1045.47/1045.70	c 1045s |      18 |   506784 |   351052 |    23568     30 |      653 |      410
1047.67/1047.97	c 1047s |      18 |   507545 |   351652 |    23568     31 |      653 |      410
1049.67/1049.98	c 1049s |      18 |   508538 |   352452 |    23568     31 |      653 |      410
1051.87/1052.16	c 1051s |      18 |   509919 |   353352 |    23568     31 |      653 |      410
1053.96/1054.20	c 1053s |      18 |   511010 |   354152 |    23568     31 |      653 |      410
1056.16/1056.41	c 1056s |      18 |   511833 |   354852 |    23568     31 |      653 |      410
1058.26/1058.51	c 1058s |      18 |   513135 |   355652 |    23568     31 |      653 |      410
1060.46/1060.78	c 1060s |      18 |   515010 |   356652 |    23568     31 |      653 |      410
1062.76/1063.03	c 1062s |      18 |   515948 |   357452 |    23568     31 |      653 |      410
1064.86/1065.15	c 1064s |      18 |   516712 |   358152 |    23568     31 |      653 |      410
1067.15/1067.41	c 1067s |      18 |   517502 |   358852 |    23568     31 |      653 |      410
1069.25/1069.51	c 1069s |      18 |   518075 |   359352 |    23568     31 |      653 |      410
1071.35/1071.67	c 1071s |      18 |   519047 |   360052 |    23568     31 |      653 |      410
1073.65/1073.95	c 1073s |      18 |   519875 |   360752 |    23568     31 |      653 |      410
1075.75/1076.09	c 1075s |      18 |   520758 |   361452 |    23568     31 |      653 |      410
1078.15/1078.41	c 1078s |      18 |   521556 |   362152 |    23568     31 |      653 |      410
1080.15/1080.47	c 1080s |      18 |   522217 |   362752 |    23568     31 |      653 |      410
1082.15/1082.50	c 1082s |      18 |   523099 |   363352 |    23568     31 |      653 |      410
1085.64/1085.90	c 1085s |      18 |   523684 |   363752 |    23568     31 |      653 |      410
1087.94/1088.22	c 1087s |      18 |   524025 |   364052 |    23568     31 |      653 |      410
1090.44/1090.75	c 1090s |      18 |   524362 |   364352 |    23568     31 |      653 |      410
1093.24/1093.52	c 1093s |      18 |   524736 |   364652 |    23568     32 |      653 |      410
1096.13/1096.49	c 1096s |      18 |   525430 |   365252 |    23568     32 |      653 |      410
1099.13/1099.46	c 1099s |      18 |   525646 |   365452 |    23568     32 |      653 |      410
1101.23/1101.56	c 1101s |      18 |   525992 |   365752 |    23568     32 |      653 |      410
1104.33/1104.61	c 1104s |      18 |   526460 |   366152 |    23568     32 |      653 |      410
1106.93/1107.21	c 1106s |      18 |   526676 |   366352 |    23568     32 |      653 |      410
1109.13/1109.40	c 1109s |      18 |   527055 |   366652 |    23568     32 |      653 |      410
1112.03/1112.33	c 1112s |      18 |   527524 |   367052 |    23568     32 |      653 |      410
1114.23/1114.56	c 1114s |      18 |   527757 |   367252 |    23568     32 |      653 |      410
1116.43/1116.73	c 1116s |      18 |   528352 |   367752 |    23568     32 |      653 |      410
1119.32/1119.66	c 1119s |      18 |   528681 |   368052 |    23568     32 |      653 |      410
1122.52/1122.82	c 1122s |      18 |   529016 |   368352 |    23568     32 |      653 |      410
1124.82/1125.14	c 1124s |      18 |   529233 |   368552 |    23568     32 |      653 |      410
1127.02/1127.39	c 1127s |      18 |   529346 |   368652 |    23568     32 |      653 |      410
1130.82/1131.17	c 1130s |      18 |   529661 |   368952 |    23568     32 |      653 |      410
1133.22/1133.53	c 1133s |      18 |   529991 |   369252 |    23568     32 |      653 |      410
1135.61/1135.90	c 1135s |      18 |   530431 |   369652 |    23568     32 |      653 |      410
1137.72/1138.09	c 1137s |      18 |   530904 |   370052 |    23568     32 |      653 |      410
1140.22/1140.57	c 1140s |      18 |   531486 |   370552 |    23568     32 |      653 |      410
1142.32/1142.63	c 1142s |      18 |   532098 |   371052 |    23568     32 |      653 |      410
1145.21/1145.58	c 1145s |      18 |   532456 |   371352 |    23568     32 |      653 |      410
1149.61/1149.90	c 1149s |      18 |   532696 |   371552 |    23568     32 |      653 |      410
1152.01/1152.35	c 1152s |      18 |   532912 |   371752 |    23568     32 |      653 |      410
1155.50/1155.81	c 1155s |      18 |   533018 |   371852 |    23568     32 |      653 |      410
1159.00/1159.31	c 1159s |      18 |   533128 |   371952 |    23568     32 |      653 |      410
1162.60/1162.93	c 1162s |      18 |   533240 |   372052 |    23568     32 |      653 |      410
1164.99/1165.36	c 1165s |      18 |   533355 |   372152 |    23568     32 |      653 |      410
1168.09/1168.43	c 1168s |      18 |   533699 |   372452 |    23568     32 |      653 |      410
1172.19/1172.50	c 1172s |      18 |   534146 |   372852 |    23568     32 |      653 |      410
1174.30/1174.64	c 1174s |      18 |   534778 |   373352 |    23568     32 |      653 |      410
1176.70/1177.01	c 1176s |      18 |   535746 |   374152 |    23568     32 |      653 |      410
1178.90/1179.23	c 1178s |      18 |   536540 |   374752 |    23568     32 |      653 |      410
1181.00/1181.34	c 1181s |      18 |   537201 |   375352 |    23568     32 |      653 |      410
1183.00/1183.34	c 1183s |      18 |   537782 |   375852 |    23568     32 |      653 |      410
1185.19/1185.52	c 1185s |      18 |   538478 |   376452 |    23568     32 |      653 |      410
1187.39/1187.76	c 1187s |      18 |   539267 |   377152 |    23568     32 |      653 |      410
1189.69/1190.02	c 1189s |      18 |   539921 |   377752 |    23568     32 |      653 |      410
1191.99/1192.40	c 1192s |      18 |   540351 |   378152 |    23568     33 |      653 |      410
1194.18/1194.58	c 1194s |      18 |   541246 |   378952 |    23568     33 |      653 |      410
1196.28/1196.67	c 1196s |      18 |   542012 |   379652 |    23568     33 |      653 |      410
1198.38/1198.74	c 1198s |      18 |   542792 |   380352 |    23568     33 |      653 |      410
1200.58/1200.98	c 1200s |      18 |   543557 |   381052 |    23568     33 |      653 |      410
1202.78/1203.12	c 1202s |      18 |   544221 |   381652 |    23568     33 |      653 |      410
1204.88/1205.29	c 1205s |      18 |   544991 |   382352 |    23568     33 |      653 |      410
1207.17/1207.56	c 1207s |      18 |   545772 |   383052 |    23568     33 |      653 |      410
1209.27/1209.62	c 1209s |      18 |   546414 |   383652 |    23568     33 |      653 |      410
1211.47/1211.89	c 1211s |      18 |   547051 |   384252 |    23568     33 |      653 |      410
1213.57/1214.00	c 1213s |      18 |   547702 |   384852 |    23568     33 |      653 |      410
1215.97/1216.39	c 1216s |      18 |   548354 |   385452 |    23568     33 |      653 |      410
1218.16/1218.52	c 1218s |      18 |   548900 |   385952 |    23568     33 |      653 |      410
1220.36/1220.75	c 1220s |      18 |   549564 |   386552 |    23568     33 |      653 |      410
1222.46/1222.80	c 1222s |      18 |   550109 |   387052 |    23568     33 |      653 |      410
1224.66/1225.07	c 1224s |      18 |   550785 |   387652 |    23568     33 |      653 |      410
1226.86/1227.21	c 1226s |      18 |   551327 |   388152 |    23568     33 |      653 |      410
1229.06/1229.43	c 1229s |      18 |   551871 |   388652 |    23568     33 |      653 |      410
1231.36/1231.70	c 1231s |      18 |   552538 |   389252 |    23568     33 |      653 |      410
1233.56/1233.93	c 1233s |      18 |   553059 |   389752 |    23568     33 |      653 |      410
1235.95/1236.33	c 1236s |      18 |   553700 |   390352 |    23568     33 |      653 |      410
1238.05/1238.48	c 1238s |      18 |   554222 |   390852 |    23568     33 |      653 |      410
1240.35/1240.74	c 1240s |      18 |   554752 |   391352 |    23568     33 |      653 |      410
1242.45/1242.80	c 1242s |      18 |   555181 |   391752 |    23568     34 |      653 |      410
1244.64/1245.09	c 1244s |      18 |   555821 |   392352 |    23568     34 |      653 |      410
1246.94/1247.35	c 1247s |      18 |   556483 |   392952 |    23568     34 |      653 |      410
1249.25/1249.64	c 1249s |      18 |   557138 |   393552 |    23568     34 |      653 |      410
1251.44/1251.81	c 1251s |      18 |   557799 |   394152 |    23568     34 |      653 |      410
1253.55/1253.99	c 1253s |      18 |   558457 |   394752 |    23568     34 |      653 |      410
1255.85/1256.23	c 1255s |      18 |   559128 |   395352 |    23568     34 |      653 |      410
1258.05/1258.43	c 1258s |      18 |   559777 |   395952 |    23568     34 |      653 |      410
1260.35/1260.73	c 1260s |      18 |   560446 |   396552 |    23568     34 |      653 |      410
1262.45/1262.87	c 1262s |      18 |   560968 |   397052 |    23568     34 |      653 |      410
1264.53/1264.90	c 1264s |      18 |   561491 |   397552 |    23568     34 |      653 |      410
1266.63/1267.06	c 1266s |      18 |   562026 |   398052 |    23568     34 |      653 |      410
1268.93/1269.40	c 1269s |      18 |   562555 |   398552 |    23568     34 |      653 |      410
1271.24/1271.62	c 1271s |      18 |   563093 |   399052 |    23568     34 |      653 |      410
1273.44/1273.83	c 1273s |      18 |   563641 |   399552 |    23568     34 |      653 |      410
1275.53/1276.00	c 1275s |      18 |   564186 |   400052 |    23568     34 |      653 |      410
1277.93/1278.37	c 1278s |      18 |   564717 |   400552 |    23568     34 |      653 |      410
1280.22/1280.67	c 1280s |      18 |   565258 |   401052 |    23568     34 |      653 |      410
1282.72/1283.18	c 1282s |      18 |   565784 |   401552 |    23568     34 |      653 |      410
1284.72/1285.19	c 1284s |      18 |   566207 |   401952 |    23568     34 |      653 |      410
1286.82/1287.24	c 1286s |      18 |   566649 |   402352 |    23568     34 |      653 |      410
1288.92/1289.34	c 1289s |      18 |   567083 |   402752 |    23568     34 |      653 |      410
1291.02/1291.40	c 1291s |      18 |   567504 |   403152 |    23568     34 |      653 |      410
1293.42/1293.87	c 1293s |      18 |   568051 |   403652 |    23568     34 |      653 |      410
1295.61/1296.05	c 1295s |      18 |   568481 |   404052 |    23568     34 |      653 |      410
1297.91/1298.37	c 1298s |      18 |   569015 |   404552 |    23568     34 |      653 |      410
1300.21/1300.67	c 1300s |      18 |   569339 |   404852 |    23568     35 |      653 |      410
1302.31/1302.79	c 1302s |      18 |   569867 |   405352 |    23568     35 |      653 |      410
1304.80/1305.20	c 1304s |      18 |   570510 |   405952 |    23568     35 |      653 |      410
1307.00/1307.40	c 1307s |      18 |   571152 |   406552 |    23568     35 |      653 |      410
1309.00/1309.47	c 1309s |      18 |   571809 |   407152 |    23568     35 |      653 |      410
1311.20/1311.60	c 1311s |      18 |   572462 |   407752 |    23568     35 |      653 |      410
1313.50/1313.93	c 1313s |      18 |   573106 |   408352 |    23568     35 |      653 |      410
1315.90/1316.31	c 1316s |      18 |   573737 |   408952 |    23568     35 |      653 |      410
1318.19/1318.66	c 1318s |      18 |   574269 |   409452 |    23568     35 |      653 |      410
1320.29/1320.72	c 1320s |      18 |   574809 |   409952 |    23568     35 |      653 |      410
1322.29/1322.79	c 1322s |      18 |   575781 |   410552 |    23568     35 |      653 |      410
1324.39/1324.85	c 1324s |      18 |   576666 |   411252 |    23568     35 |      653 |      410
1326.49/1326.98	c 1326s |      18 |   577679 |   412052 |    23568     35 |      653 |      410
1328.89/1329.31	c 1329s |      18 |   578592 |   412852 |    23568     35 |      653 |      410
1330.99/1331.43	c 1331s |      18 |   579263 |   413452 |    23568     35 |      653 |      410
1333.19/1333.61	c 1333s |      18 |   580150 |   414152 |    23568     35 |      653 |      410
1335.28/1335.73	c 1335s |      18 |   581084 |   414852 |    23568     35 |      653 |      410
1337.38/1337.83	c 1337s |      18 |   582203 |   415552 |    23568     35 |      653 |      410
1339.68/1340.13	c 1339s |      18 |   583143 |   416252 |    23568     35 |      653 |      410
1341.88/1342.33	c 1342s |      18 |   583906 |   416852 |    23568     35 |      653 |      410
1343.88/1344.36	c 1344s |      18 |   584511 |   417352 |    23568     35 |      653 |      410
1346.37/1346.83	c 1346s |      18 |   584883 |   417652 |    23568     36 |      653 |      410
1348.67/1349.12	c 1348s |      18 |   585731 |   418252 |    23568     36 |      653 |      410
1350.68/1351.13	c 1350s |      18 |   586919 |   418952 |    23568     36 |      653 |      410
1352.69/1353.17	c 1352s |      18 |   588343 |   419952 |    23568     36 |      653 |      410
1354.88/1355.35	c 1355s |      18 |   589646 |   420852 |    23568     36 |      653 |      410
1356.98/1357.48	c 1357s |      18 |   590764 |   421652 |    23568     36 |      653 |      410
1359.07/1359.56	c 1359s |      18 |   591663 |   422352 |    23568     36 |      653 |      410
1361.27/1361.77	c 1361s |      18 |   592689 |   423152 |    23568     36 |      653 |      410
1363.27/1363.78	c 1363s |      18 |   593379 |   423752 |    23568     36 |      653 |      410
1365.37/1365.88	c 1365s |      18 |   594451 |   424552 |    23568     36 |      653 |      410
1367.37/1367.90	c 1367s |      18 |   595273 |   425252 |    23568     36 |      653 |      410
1369.46/1369.99	c 1369s |      18 |   596054 |   425952 |    23568     36 |      653 |      410
1371.56/1372.00	c 1371s |      18 |   596705 |   426552 |    23568     36 |      653 |      410
1373.66/1374.11	c 1373s |      18 |   597340 |   427152 |    23568     36 |      653 |      410
1375.77/1376.24	c 1375s |      18 |   597987 |   427752 |    23568     36 |      653 |      410
1378.06/1378.57	c 1378s |      18 |   598733 |   428452 |    23568     36 |      653 |      410
1380.26/1380.72	c 1380s |      18 |   599381 |   429052 |    23568     36 |      653 |      410
1382.46/1382.91	c 1382s |      18 |   600041 |   429652 |    23568     36 |      653 |      410
1384.66/1385.18	c 1384s |      18 |   600679 |   430252 |    23568     36 |      653 |      410
1386.85/1387.33	c 1387s |      18 |   601335 |   430852 |    23568     36 |      653 |      410
1388.96/1389.49	c 1389s |      18 |   601875 |   431352 |    23568     37 |      653 |      410
1391.06/1391.55	c 1391s |      18 |   602660 |   432052 |    23568     37 |      653 |      410
1393.05/1393.57	c 1393s |      18 |   603479 |   432752 |    23568     37 |      653 |      410
1395.25/1395.74	c 1395s |      18 |   604393 |   433552 |    23568     37 |      653 |      410
1397.25/1397.78	c 1397s |      18 |   605274 |   434352 |    23568     37 |      653 |      410
1399.25/1399.79	c 1399s |      18 |   606016 |   435052 |    23568     37 |      653 |      410
1401.45/1401.97	c 1401s |      18 |   607329 |   435952 |    23568     37 |      653 |      410
1403.55/1404.08	c 1403s |      18 |   608179 |   436652 |    23568     37 |      653 |      410
1405.85/1406.36	c 1406s |      18 |   609133 |   437452 |    23568     37 |      653 |      410
1407.85/1408.38	c 1408s |      18 |   609825 |   438052 |    23568     37 |      653 |      410
1409.95/1410.46	c 1410s |      18 |   610666 |   438752 |    23568     37 |      653 |      410
1412.25/1412.77	c 1412s |      18 |   611442 |   439452 |    23568     37 |      653 |      410
1414.35/1414.82	c 1414s |      18 |   612365 |   440152 |    23568     37 |      653 |      410
1416.35/1416.89	c 1416s |      18 |   613131 |   440752 |    23568     37 |      653 |      410
1418.65/1419.13	c 1418s |      18 |   614113 |   441452 |    25925     37 |      653 |      410
1420.75/1421.29	c 1421s |      18 |   615096 |   442152 |    25925     37 |      653 |      410
1422.95/1423.45	c 1423s |      18 |   615744 |   442752 |    25925     37 |      653 |      410
1425.45/1425.94	c 1425s |      18 |   616479 |   443352 |    25925     37 |      653 |      410
1427.85/1428.36	c 1428s |      18 |   617170 |   443952 |    25925     37 |      653 |      410
1430.14/1430.62	c 1430s |      18 |   617757 |   444452 |    25925     37 |      653 |      410
1430.24/1430.73	c 1430s |      19 |   617788 |   444482 |    25925     37 |      653 |      410
1432.24/1432.74	c 1432s |      19 |   623563 |   445182 |    25925     38 |      653 |      410
1434.24/1434.77	c 1434s |      19 |   630131 |   446882 |    25925     38 |      653 |      410
1436.34/1436.81	c 1436s |      19 |   632592 |   448182 |    25925     38 |      653 |      410
1438.35/1438.90	c 1438s |      19 |   633558 |   448882 |    25925     38 |      653 |      410
1440.55/1441.09	c 1440s |      19 |   634979 |   449882 |    25925     38 |      653 |      410
1442.64/1443.14	c 1442s |      19 |   636051 |   450782 |    25925     38 |      653 |      410
1444.74/1445.21	c 1444s |      19 |   641125 |   452282 |    25925     38 |      653 |      410
1446.84/1447.31	c 1447s |      19 |   651496 |   454882 |    25925     38 |      653 |      410
1448.84/1449.31	c 1449s |      19 |   653067 |   456082 |    25925     38 |      653 |      410
1450.84/1451.32	c 1451s |      19 |   655257 |   457582 |    25925     38 |      653 |      410
1452.84/1453.37	c 1453s |      19 |   656779 |   458682 |    25925     38 |      653 |      410
1454.95/1455.42	c 1455s |      19 |   658394 |   459882 |    25925     38 |      653 |      410
1457.05/1457.51	c 1457s |      19 |   659486 |   460682 |    25925     39 |      653 |      410
1459.14/1459.67	c 1459s |      19 |   660579 |   461582 |    25925     39 |      653 |      410
1461.24/1461.70	c 1461s |      19 |   661571 |   462382 |    25925     39 |      653 |      410
1463.24/1463.74	c 1463s |      19 |   662555 |   463182 |    25925     39 |      653 |      410
1465.25/1465.79	c 1465s |      19 |   663367 |   463882 |    25925     39 |      653 |      410
1467.35/1467.82	c 1467s |      19 |   664328 |   464682 |    25925     39 |      653 |      410
1469.35/1469.86	c 1469s |      19 |   665463 |   465582 |    25925     39 |      653 |      410
1471.35/1471.89	c 1471s |      19 |   666548 |   466482 |    25925     39 |      653 |      410
1473.45/1473.95	c 1473s |      19 |   667764 |   467482 |    25925     39 |      653 |      410
1475.64/1476.12	c 1475s |      19 |   668728 |   468282 |    25925     39 |      653 |      410
1477.74/1478.27	c 1478s |      19 |   669527 |   468982 |    25925     39 |      653 |      410
1479.84/1480.30	c 1480s |      19 |   670371 |   469682 |    25925     39 |      653 |      410
1481.84/1482.31	c 1482s |      19 |   671167 |   470382 |    25925     39 |      653 |      410
1483.84/1484.36	c 1484s |      19 |   672014 |   471082 |    25925     39 |      653 |      410
1485.84/1486.38	c 1486s |      19 |   673009 |   471882 |    25925     39 |      653 |      410
1487.95/1488.48	c 1488s |      19 |   673974 |   472682 |    25925     39 |      653 |      410
1490.15/1490.69	c 1490s |      19 |   674924 |   473482 |    25925     39 |      653 |      410
1492.35/1492.88	c 1492s |      19 |   675935 |   474282 |    25925     39 |      653 |      410
1494.64/1495.14	c 1494s |      19 |   676644 |   474882 |    25925     40 |      653 |      410
1496.65/1497.15	c 1496s |      19 |   677601 |   475682 |    25925     40 |      653 |      410
1498.74/1499.28	c 1499s |      19 |   678689 |   476582 |    25925     40 |      653 |      410
1501.04/1501.51	c 1501s |      19 |   680148 |   477582 |    25925     40 |      653 |      410
1503.14/1503.64	c 1503s |      19 |   681694 |   478682 |    25925     40 |      653 |      410
1505.24/1505.72	c 1505s |      19 |   682950 |   479682 |    25925     40 |      653 |      410
1507.34/1507.80	c 1507s |      19 |   684263 |   480682 |    25925     40 |      653 |      410
1509.34/1509.86	c 1509s |      19 |   685342 |   481582 |    25925     40 |      653 |      410
1511.54/1512.03	c 1511s |      19 |   686497 |   482482 |    25925     40 |      653 |      410
1513.63/1514.10	c 1513s |      19 |   687469 |   483282 |    25925     40 |      653 |      410
1515.63/1516.13	c 1515s |      19 |   688429 |   484082 |    25925     40 |      653 |      410
1517.64/1518.17	c 1517s |      19 |   689419 |   484882 |    25925     40 |      653 |      410
1519.84/1520.32	c 1520s |      19 |   690376 |   485682 |    25925     40 |      653 |      410
1521.94/1522.46	c 1522s |      19 |   691337 |   486482 |    25925     40 |      653 |      410
1524.03/1524.53	c 1524s |      19 |   692174 |   487182 |    25925     40 |      653 |      410
1526.34/1526.81	c 1526s |      19 |   692961 |   487882 |    25925     40 |      653 |      410
1528.54/1529.02	c 1528s |      19 |   693980 |   488682 |    25925     40 |      653 |      410
1530.74/1531.20	c 1530s |      19 |   694712 |   489282 |    25925     41 |      653 |      410
1532.73/1533.20	c 1532s |      19 |   695836 |   490082 |    25925     41 |      653 |      410
1534.73/1535.22	c 1534s |      19 |   696927 |   490982 |    25925     41 |      653 |      410
1536.73/1537.27	c 1537s |      19 |   697864 |   491782 |    25925     41 |      653 |      410
1538.93/1539.46	c 1539s |      19 |   698864 |   492582 |    25925     41 |      653 |      410
1541.03/1541.52	c 1541s |      19 |   699819 |   493382 |    25925     41 |      653 |      410
1543.13/1543.68	c 1543s |      19 |   700748 |   494182 |    25925     41 |      653 |      410
1545.33/1545.83	c 1545s |      19 |   701574 |   494882 |    25925     41 |      653 |      410
1547.33/1547.86	c 1547s |      19 |   702615 |   495682 |    25925     41 |      653 |      410
1549.53/1550.03	c 1549s |      19 |   703440 |   496382 |    25925     41 |      653 |      410
1551.73/1552.24	c 1551s |      19 |   704377 |   497182 |    25925     41 |      653 |      410
1553.73/1554.29	c 1554s |      19 |   705294 |   497882 |    25925     41 |      653 |      410
1555.93/1556.44	c 1556s |      19 |   705979 |   498482 |    25925     41 |      653 |      410
1558.13/1558.62	c 1558s |      19 |   706686 |   499082 |    25925     41 |      653 |      410
1560.22/1560.77	c 1560s |      19 |   707376 |   499682 |    25925     41 |      653 |      410
1562.42/1562.95	c 1562s |      19 |   708103 |   500282 |    25925     41 |      653 |      410
1564.62/1565.13	c 1564s |      19 |   708829 |   500882 |    25925     41 |      653 |      410
1566.82/1567.33	c 1567s |      19 |   709510 |   501482 |    25925     41 |      653 |      410
1569.02/1569.55	c 1569s |      19 |   710193 |   502082 |    25925     41 |      653 |      410
1571.12/1571.67	c 1571s |      19 |   710883 |   502682 |    25925     41 |      653 |      410
1573.42/1573.94	c 1573s |      19 |   711554 |   503282 |    25925     41 |      653 |      410
1575.42/1575.97	c 1575s |      19 |   712126 |   503782 |    25925     42 |      653 |      410
1577.62/1578.14	c 1577s |      19 |   712940 |   504482 |    25925     42 |      653 |      410
1579.83/1580.32	c 1580s |      19 |   713693 |   505182 |    25925     42 |      653 |      410
1582.13/1582.62	c 1582s |      19 |   714497 |   505882 |    25925     42 |      653 |      410
1584.33/1584.82	c 1584s |      19 |   715185 |   506482 |    25925     42 |      653 |      410
1586.33/1586.85	c 1586s |      19 |   715999 |   507082 |    25925     42 |      653 |      410
1588.33/1588.88	c 1588s |      19 |   717364 |   507982 |    25925     42 |      653 |      410
1590.53/1591.09	c 1590s |      19 |   719401 |   509182 |    25925     42 |      653 |      410
1592.73/1593.24	c 1592s |      19 |   720700 |   510082 |    25925     42 |      653 |      410
1594.73/1595.27	c 1595s |      19 |   723287 |   511382 |    25925     42 |      653 |      410
1596.93/1597.41	c 1597s |      19 |   724767 |   512382 |    25925     42 |      653 |      410
1598.93/1599.49	c 1599s |      19 |   725979 |   513282 |    25925     42 |      653 |      410
1601.03/1601.60	c 1601s |      19 |   727224 |   514182 |    25925     42 |      653 |      410
1603.13/1603.63	c 1603s |      19 |   728246 |   514982 |    25925     42 |      653 |      410
1605.23/1605.75	c 1605s |      19 |   729257 |   515782 |    25925     42 |      653 |      410
1607.42/1607.95	c 1607s |      19 |   730093 |   516482 |    25925     42 |      653 |      410
1609.52/1610.08	c 1609s |      19 |   730944 |   517182 |    25925     42 |      653 |      410
1612.42/1612.91	c 1612s |      19 |   731746 |   517882 |    25925     43 |      653 |      410
1614.43/1614.92	c 1614s |      19 |   732883 |   518782 |    25925     43 |      653 |      410
1616.42/1616.95	c 1616s |      19 |   733698 |   519482 |    25925     43 |      653 |      410
1618.62/1619.13	c 1618s |      19 |   734965 |   520482 |    25925     43 |      653 |      410
1620.82/1621.39	c 1621s |      19 |   736013 |   521382 |    25925     43 |      653 |      410
1623.13/1623.62	c 1623s |      19 |   736935 |   522182 |    25925     43 |      653 |      410
1625.33/1625.84	c 1625s |      19 |   737880 |   522982 |    25925     43 |      653 |      410
1627.72/1628.29	c 1628s |      19 |   738680 |   523682 |    25925     43 |      653 |      410
1629.83/1630.37	c 1630s |      19 |   739407 |   524282 |    25925     43 |      653 |      410
1631.82/1632.40	c 1632s |      19 |   740109 |   524882 |    25925     43 |      653 |      410
1633.92/1634.41	c 1634s |      19 |   740960 |   525582 |    25925     43 |      653 |      410
1635.92/1636.41	c 1636s |      19 |   741656 |   526182 |    25925     43 |      653 |      410
1638.02/1638.58	c 1638s |      19 |   742347 |   526782 |    25925     43 |      653 |      410
1640.22/1640.78	c 1640s |      19 |   743036 |   527382 |    25925     43 |      653 |      410
1642.42/1642.99	c 1642s |      19 |   743704 |   527982 |    25925     43 |      653 |      410
1644.52/1645.09	c 1644s |      19 |   744403 |   528582 |    25925     43 |      653 |      410
1646.72/1647.21	c 1646s |      19 |   745083 |   529182 |    25925     43 |      653 |      410
1648.92/1649.42	c 1649s |      19 |   745893 |   529882 |    25925     43 |      653 |      410
1651.02/1651.53	c 1651s |      19 |   746558 |   530482 |    25925     43 |      653 |      410
1653.32/1653.88	c 1653s |      19 |   747219 |   531082 |    25925     43 |      653 |      410
1655.41/1655.96	c 1655s |      19 |   747779 |   531582 |    25925     43 |      653 |      410
1657.71/1658.27	c 1658s |      19 |   748331 |   532082 |    25925     43 |      653 |      410
1659.91/1660.42	c 1660s |      19 |   748779 |   532482 |    25925     44 |      653 |      410
1662.01/1662.50	c 1662s |      19 |   749450 |   533082 |    25925     44 |      653 |      410
1664.01/1664.58	c 1664s |      19 |   750225 |   533682 |    25925     44 |      653 |      410
1666.21/1666.78	c 1666s |      19 |   750907 |   534282 |    25925     44 |      653 |      410
1668.41/1668.99	c 1668s |      19 |   751747 |   534982 |    25925     44 |      653 |      410
1670.61/1671.13	c 1670s |      19 |   752417 |   535582 |    25925     44 |      653 |      410
1672.72/1673.28	c 1673s |      19 |   753285 |   536282 |    25925     44 |      653 |      410
1675.11/1675.61	c 1675s |      19 |   754137 |   536982 |    25925     44 |      653 |      410
1677.31/1677.83	c 1677s |      19 |   754813 |   537582 |    25925     44 |      653 |      410
1679.32/1679.83	c 1679s |      19 |   755387 |   538082 |    25925     44 |      653 |      410
1681.31/1681.85	c 1681s |      19 |   755929 |   538582 |    25925     44 |      653 |      410
1683.41/1683.98	c 1683s |      19 |   756497 |   539082 |    25925     44 |      653 |      410
1685.61/1686.12	c 1685s |      19 |   757035 |   539582 |    25925     44 |      653 |      410
1687.91/1688.46	c 1688s |      19 |   757575 |   540082 |    25925     44 |      653 |      410
1690.21/1690.73	c 1690s |      19 |   758255 |   540682 |    25925     44 |      653 |      410
1692.20/1692.76	c 1692s |      19 |   758808 |   541182 |    25925     44 |      653 |      410
1694.40/1694.97	c 1694s |      19 |   759343 |   541682 |    25925     44 |      653 |      410
1696.70/1697.23	c 1696s |      19 |   759874 |   542182 |    25925     44 |      653 |      410
1699.11/1699.67	c 1699s |      19 |   760698 |   542882 |    25925     44 |      653 |      410
1701.21/1701.73	c 1701s |      19 |   761261 |   543382 |    25925     44 |      653 |      410
1703.41/1703.93	c 1703s |      19 |   761802 |   543882 |    25925     44 |      653 |      410
1705.90/1706.40	c 1706s |      19 |   762470 |   544482 |    25925     44 |      653 |      410
1707.91/1708.49	c 1708s |      19 |   763163 |   545082 |    25925     44 |      653 |      410
1710.20/1710.78	c 1710s |      19 |   763968 |   545782 |    25925     44 |      653 |      410
1712.31/1712.86	c 1712s |      19 |   764661 |   546382 |    25925     44 |      653 |      410
1715.20/1715.79	c 1715s |      19 |   765329 |   546982 |    25925     45 |      653 |      410
1717.30/1717.87	c 1717s |      19 |   765974 |   547582 |    25925     45 |      653 |      410
1719.40/1719.94	c 1719s |      19 |   766633 |   548182 |    25925     45 |      653 |      410
1721.70/1722.26	c 1722s |      19 |   767449 |   548882 |    25925     45 |      653 |      410
1724.10/1724.69	c 1724s |      19 |   768109 |   549482 |    25925     45 |      653 |      410
1726.30/1726.89	c 1726s |      19 |   768774 |   550082 |    25925     45 |      653 |      410
1728.50/1729.07	c 1728s |      19 |   769474 |   550682 |    25925     45 |      653 |      410
1730.81/1731.35	c 1731s |      19 |   770185 |   551282 |    25925     45 |      653 |      410
1733.31/1733.86	c 1733s |      19 |   770927 |   551882 |    25925     45 |      653 |      410
1735.61/1736.13	c 1735s |      19 |   771756 |   552582 |    25925     45 |      653 |      410
1737.61/1738.17	c 1737s |      19 |   772320 |   553082 |    25925     45 |      653 |      410
1739.90/1740.47	c 1740s |      19 |   773005 |   553682 |    25925     45 |      653 |      410
1742.30/1742.80	c 1742s |      19 |   773695 |   554282 |    25925     45 |      653 |      410
1744.30/1744.87	c 1744s |      19 |   774235 |   554782 |    25925     45 |      653 |      410
1746.31/1746.89	c 1746s |      19 |   774796 |   555282 |    25925     45 |      653 |      410
1748.51/1749.02	c 1748s |      19 |   775367 |   555782 |    25925     45 |      653 |      410
1750.71/1751.23	c 1750s |      19 |   775934 |   556282 |    25925     45 |      653 |      410
1753.01/1753.53	c 1753s |      19 |   776475 |   556782 |    25925     45 |      653 |      410
1755.30/1755.85	c 1755s |      19 |   777132 |   557382 |    25925     45 |      653 |      410
1757.90/1758.42	c 1758s |      19 |   777674 |   557882 |    25925     45 |      653 |      410
1760.10/1760.68	c 1760s |      19 |   778256 |   558382 |    25925     45 |      653 |      410
1762.60/1763.16	c 1762s |      19 |   778830 |   558882 |    25925     45 |      653 |      410
1765.10/1765.69	c 1765s |      19 |   779381 |   559382 |    25925     45 |      653 |      410
1767.49/1768.07	c 1767s |      19 |   779967 |   559882 |    25925     45 |      653 |      410
1769.59/1770.16	c 1769s |      19 |   780716 |   560482 |    25925     45 |      653 |      410
1771.70/1772.22	c 1771s |      19 |   781321 |   560982 |    25925     45 |      653 |      410
1774.09/1774.66	c 1774s |      19 |   781816 |   561382 |    25925     46 |      653 |      410
1776.19/1776.75	c 1776s |      19 |   782614 |   562082 |    25925     46 |      653 |      410
1778.30/1778.84	c 1778s |      19 |   783414 |   562782 |    25925     46 |      653 |      410
1780.40/1780.94	c 1780s |      19 |   784105 |   563382 |    25925     46 |      653 |      410
1782.39/1782.98	c 1782s |      19 |   784648 |   563882 |    25925     46 |      653 |      410
1784.49/1785.06	c 1784s |      19 |   785236 |   564382 |    25925     46 |      653 |      410
1786.59/1787.19	c 1786s |      19 |   785924 |   564982 |    25925     46 |      653 |      410
1788.89/1789.40	c 1789s |      19 |   786599 |   565582 |    25925     46 |      653 |      410
1791.29/1791.81	c 1791s |      19 |   787271 |   566182 |    25925     46 |      653 |      410
1793.60/1794.18	c 1793s |      19 |   787945 |   566782 |    25925     46 |      653 |      410
1795.80/1796.32	c 1796s |      19 |   788498 |   567282 |    25925     46 |      653 |      410
1798.00/1798.57	c 1798s |      19 |   789192 |   567882 |    25925     46 |      653 |      410

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

pid=23392
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.22 2.25 2.21 3/180 23395
/proc/meminfo: memFree=29623120/32872528 swapFree=1085692/1157232
[pid=23395] ppid=23392 vsize=703932 CPUtime=0 cores=0,2,4,6
/proc/23395/stat : 23395 (toysat) R 23392 23395 21062 0 -1 4202496 2624 0 0 0 0 0 0 0 20 0 4 0 28904383 720826368 2984 33554432000 4194304 16246674 140737226482032 140737226481456 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23395/statm: 176751 2992 441 2943 0 173645 0
[pid=23395/tid=23396] ppid=23392 vsize=721340 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23396/stat : 23396 (toysat) S 23392 23395 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28904383 738652160 3052 33554432000 4194304 16246674 140737226482032 140275337899248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23395/tid=23397] ppid=23392 vsize=726460 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23397/stat : 23397 (toysat) S 23392 23395 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28904383 743895040 3071 33554432000 4194304 16246674 140737226482032 140275327409392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23395/tid=23398] ppid=23392 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23398/stat : 23398 (toysat) S 23392 23395 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28904383 748089344 3087 33554432000 4194304 16246674 140737226482032 140275242495152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.22 2.25 2.21 3/180 23395
/proc/meminfo: memFree=29623120/32872528 swapFree=1085692/1157232
[pid=23395] ppid=23392 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/23395/stat : 23395 (toysat) R 23392 23395 21062 0 -1 4202496 28275 0 0 0 5 4 0 0 20 0 4 0 28904383 1249447936 28573 33554432000 4194304 16246674 140737226482032 140737226481344 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23395/statm: 305041 28573 801 2943 0 301935 0
[pid=23395/tid=23396] ppid=23392 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23396/stat : 23396 (toysat) S 23392 23395 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28904383 1249447936 28573 33554432000 4194304 16246674 140737226482032 140275337899248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23395/tid=23397] ppid=23392 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23397/stat : 23397 (toysat) S 23392 23395 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28904383 1249447936 28573 33554432000 4194304 16246674 140737226482032 140275327409392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23395/tid=23398] ppid=23392 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23398/stat : 23398 (toysat) S 23392 23395 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28904383 1249447936 28573 33554432000 4194304 16246674 140737226482032 140275242495152 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) 1220164

[startup+0.200498 s]
/proc/loadavg: 2.22 2.25 2.21 3/180 23395
/proc/meminfo: memFree=29623120/32872528 swapFree=1085692/1157232
[pid=23395] ppid=23392 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/23395/stat : 23395 (toysat) R 23392 23395 21062 0 -1 4202496 48484 0 0 0 12 7 0 0 20 0 4 0 28904383 1332285440 48782 33554432000 4194304 16246674 140737226482032 140737226481344 12368986 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23395/statm: 325265 48782 843 2943 0 322159 0
[pid=23395/tid=23396] ppid=23392 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23396/stat : 23396 (toysat) S 23392 23395 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28904383 1332285440 48782 33554432000 4194304 16246674 140737226482032 140275337899248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23395/tid=23397] ppid=23392 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23397/stat : 23397 (toysat) S 23392 23395 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28904383 1332285440 48782 33554432000 4194304 16246674 140737226482032 140275327409392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23395/tid=23398] ppid=23392 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23398/stat : 23398 (toysat) S 23392 23395 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28904383 1332285440 48782 33554432000 4194304 16246674 140737226482032 140275242495152 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) 1301060

[startup+0.300464 s]
/proc/loadavg: 2.22 2.25 2.21 3/180 23395
/proc/meminfo: memFree=29623120/32872528 swapFree=1085692/1157232
[pid=23395] ppid=23392 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/23395/stat : 23395 (toysat) R 23392 23395 21062 0 -1 4202496 50207 0 0 0 22 7 0 0 20 0 4 0 28904383 1332285440 50505 33554432000 4194304 16246674 140737226482032 140737226481344 5602579 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23395/statm: 325265 50507 882 2943 0 322159 0
[pid=23395/tid=23396] ppid=23392 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23396/stat : 23396 (toysat) S 23392 23395 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28904383 1332285440 50508 33554432000 4194304 16246674 140737226482032 140275337899248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23395/tid=23397] ppid=23392 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23397/stat : 23397 (toysat) S 23392 23395 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28904383 1332285440 50510 33554432000 4194304 16246674 140737226482032 140275327409392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23395/tid=23398] ppid=23392 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23398/stat : 23398 (toysat) S 23392 23395 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28904383 1332285440 50512 33554432000 4194304 16246674 140737226482032 140275242495152 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) 1301060

[startup+0.700341 s]
/proc/loadavg: 2.22 2.25 2.21 3/180 23395
/proc/meminfo: memFree=29623120/32872528 swapFree=1085692/1157232
[pid=23395] ppid=23392 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/23395/stat : 23395 (toysat) R 23392 23395 21062 0 -1 4202496 101029 0 0 0 55 14 0 0 20 0 4 0 28904383 1332285440 101327 33554432000 4194304 16246674 140737226482032 140737226481344 5677277 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23395/statm: 325265 101331 882 2943 0 322159 0
[pid=23395/tid=23396] ppid=23392 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23396/stat : 23396 (toysat) S 23392 23395 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28904383 1332285440 101333 33554432000 4194304 16246674 140737226482032 140275337899248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23395/tid=23397] ppid=23392 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23397/stat : 23397 (toysat) S 23392 23395 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28904383 1332285440 101337 33554432000 4194304 16246674 140737226482032 140275327409392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23395/tid=23398] ppid=23392 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23398/stat : 23398 (toysat) S 23392 23395 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28904383 1332285440 101339 33554432000 4194304 16246674 140737226482032 140275242495152 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) 1301060

[startup+1.50038 s]
/proc/loadavg: 2.22 2.25 2.21 3/184 23399
/proc/meminfo: memFree=29021624/32872528 swapFree=1085692/1157232
[pid=23395] ppid=23392 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/23395/stat : 23395 (toysat) R 23392 23395 21062 0 -1 4202496 202472 0 0 0 120 29 0 0 20 0 4 0 28904383 1332285440 202770 33554432000 4194304 16246674 140737226482032 140737226463936 13954518 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23395/statm: 325265 202777 882 2943 0 322159 0
[pid=23395/tid=23396] ppid=23392 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23396/stat : 23396 (toysat) S 23392 23395 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28904383 1332285440 202780 33554432000 4194304 16246674 140737226482032 140275337899248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23395/tid=23397] ppid=23392 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23397/stat : 23397 (toysat) S 23392 23395 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28904383 1332285440 202783 33554432000 4194304 16246674 140737226482032 140275327409392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23395/tid=23398] ppid=23392 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23398/stat : 23398 (toysat) S 23392 23395 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28904383 1332285440 202785 33554432000 4194304 16246674 140737226482032 140275242495152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10035 s]
/proc/loadavg: 2.22 2.25 2.21 3/184 23399
/proc/meminfo: memFree=28546224/32872528 swapFree=1085692/1157232
[pid=23395] ppid=23392 vsize=1312324 CPUtime=3.09 cores=0,2,4,6
/proc/23395/stat : 23395 (toysat) R 23392 23395 21062 0 -1 4202496 269246 0 0 0 271 38 0 0 20 0 4 0 28904383 1343819776 269544 33554432000 4194304 16246674 140737226482032 140737226463936 5523192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23395/statm: 328081 269544 888 2943 0 324975 0
[pid=23395/tid=23396] ppid=23392 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23396/stat : 23396 (toysat) S 23392 23395 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28904383 1343819776 269544 33554432000 4194304 16246674 140737226482032 140275337899248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23395/tid=23397] ppid=23392 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23397/stat : 23397 (toysat) S 23392 23395 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28904383 1343819776 269544 33554432000 4194304 16246674 140737226482032 140275327409392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23395/tid=23398] ppid=23392 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23398/stat : 23398 (toysat) S 23392 23395 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28904383 1343819776 269544 33554432000 4194304 16246674 140737226482032 140275242495152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30035 s]
/proc/loadavg: 2.21 2.25 2.20 4/184 23399
/proc/meminfo: memFree=28546052/32872528 swapFree=1085692/1157232
[pid=23395] ppid=23392 vsize=1312324 CPUtime=6.29 cores=0,2,4,6
/proc/23395/stat : 23395 (toysat) R 23392 23395 21062 0 -1 4202496 269267 0 0 0 591 38 0 0 20 0 4 0 28904383 1343819776 269565 33554432000 4194304 16246674 140737226482032 140737226463936 5598291 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23395/statm: 328081 269565 888 2943 0 324975 0
[pid=23395/tid=23396] ppid=23392 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23396/stat : 23396 (toysat) S 23392 23395 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28904383 1343819776 269565 33554432000 4194304 16246674 140737226482032 140275337899248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23395/tid=23397] ppid=23392 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23397/stat : 23397 (toysat) S 23392 23395 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28904383 1343819776 269565 33554432000 4194304 16246674 140737226482032 140275327409392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23395/tid=23398] ppid=23392 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23398/stat : 23398 (toysat) S 23392 23395 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28904383 1343819776 269565 33554432000 4194304 16246674 140737226482032 140275242495152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.19 2.25 2.20 4/184 23399
/proc/meminfo: memFree=28546480/32872528 swapFree=1085692/1157232
[pid=23395] ppid=23392 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/23395/stat : 23395 (toysat) R 23392 23395 21062 0 -1 4202496 269268 0 0 0 1231 38 0 0 20 0 4 0 28904383 1343819776 269566 33554432000 4194304 16246674 140737226482032 140737226463936 5823607 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23395/statm: 328081 269566 889 2943 0 324975 0
[pid=23395/tid=23396] ppid=23392 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23396/stat : 23396 (toysat) S 23392 23395 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28904383 1343819776 269566 33554432000 4194304 16246674 140737226482032 140275337899248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23395/tid=23397] ppid=23392 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23397/stat : 23397 (toysat) S 23392 23395 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28904383 1343819776 269566 33554432000 4194304 16246674 140737226482032 140275327409392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23395/tid=23398] ppid=23392 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23398/stat : 23398 (toysat) S 23392 23395 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28904383 1343819776 269566 33554432000 4194304 16246674 140737226482032 140275242495152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.15 2.23 2.20 3/183 23399
/proc/meminfo: memFree=28545800/32872528 swapFree=1085692/1157232
[pid=23395] ppid=23392 vsize=1312324 CPUtime=25.48 cores=0,2,4,6
/proc/23395/stat : 23395 (toysat) R 23392 23395 21062 0 -1 4202496 269271 0 0 0 2510 38 0 0 20 0 4 0 28904383 1343819776 269569 33554432000 4194304 16246674 140737226482032 140737226463936 6020640 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23395/statm: 328081 269569 891 2943 0 324975 0
[pid=23395/tid=23396] ppid=23392 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23396/stat : 23396 (toysat) S 23392 23395 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28904383 1343819776 269569 33554432000 4194304 16246674 140737226482032 140275337899248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23395/tid=23397] ppid=23392 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23397/stat : 23397 (toysat) S 23392 23395 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28904383 1343819776 269569 33554432000 4194304 16246674 140737226482032 140275327409392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23395/tid=23398] ppid=23392 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23398/stat : 23398 (toysat) S 23392 23395 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28904383 1343819776 269569 33554432000 4194304 16246674 140737226482032 140275242495152 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) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.24 2.25 2.20 4/183 23399
/proc/meminfo: memFree=28545896/32872528 swapFree=1085692/1157232
[pid=23395] ppid=23392 vsize=1312324 CPUtime=51.08 cores=0,2,4,6
/proc/23395/stat : 23395 (toysat) R 23392 23395 21062 0 -1 4202496 269272 0 0 0 5070 38 0 0 20 0 4 0 28904383 1343819776 269570 33554432000 4194304 16246674 140737226482032 140737226463936 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23395/statm: 328081 269570 892 2943 0 324975 0
[pid=23395/tid=23396] ppid=23392 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23396/stat : 23396 (toysat) S 23392 23395 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28904383 1343819776 269570 33554432000 4194304 16246674 140737226482032 140275337899248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23395/tid=23397] ppid=23392 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23397/stat : 23397 (toysat) S 23392 23395 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28904383 1343819776 269570 33554432000 4194304 16246674 140737226482032 140275327409392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23395/tid=23398] ppid=23392 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23398/stat : 23398 (toysat) S 23392 23395 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28904383 1343819776 269570 33554432000 4194304 16246674 140737226482032 140275242495152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.29 2.25 2.20 3/183 23400
/proc/meminfo: memFree=28545648/32872528 swapFree=1085692/1157232
[pid=23395] ppid=23392 vsize=1312324 CPUtime=102.28 cores=0,2,4,6
/proc/23395/stat : 23395 (toysat) R 23392 23395 21062 0 -1 4202496 269272 0 0 0 10189 39 0 0 20 0 4 0 28904383 1343819776 269570 33554432000 4194304 16246674 140737226482032 140737226463936 13760077 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23395/statm: 328081 269570 892 2943 0 324975 0
[pid=23395/tid=23396] ppid=23392 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23396/stat : 23396 (toysat) S 23392 23395 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28904383 1343819776 269570 33554432000 4194304 16246674 140737226482032 140275337899248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23395/tid=23397] ppid=23392 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23397/stat : 23397 (toysat) S 23392 23395 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28904383 1343819776 269570 33554432000 4194304 16246674 140737226482032 140275327409392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23395/tid=23398] ppid=23392 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23398/stat : 23398 (toysat) S 23392 23395 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28904383 1343819776 269570 33554432000 4194304 16246674 140737226482032 140275242495152 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) 1312324


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

/proc/23395/task/23398/stat : 23398 (toysat) S 23392 23395 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275242495152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1333828

[startup+1302.3 s]
/proc/loadavg: 2.36 2.25 2.20 3/183 23480
/proc/meminfo: memFree=28539268/32872528 swapFree=1085692/1157232
[pid=23395] ppid=23392 vsize=1333828 CPUtime=1301.91 cores=0,2,4,6
/proc/23395/stat : 23395 (toysat) R 23392 23395 21062 0 -1 4202496 274950 0 0 0 130140 51 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140737226463936 5722096 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23395/statm: 333457 275202 892 2943 0 330351 0
[pid=23395/tid=23396] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23396/stat : 23396 (toysat) S 23392 23395 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275337899248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23395/tid=23397] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23397/stat : 23397 (toysat) S 23392 23395 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275327409392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23395/tid=23398] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23398/stat : 23398 (toysat) S 23392 23395 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275242495152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1333828

[startup+1362.3 s]
/proc/loadavg: 2.25 2.23 2.19 3/183 23482
/proc/meminfo: memFree=28523048/32872528 swapFree=1085692/1157232
[pid=23395] ppid=23392 vsize=1333828 CPUtime=1361.87 cores=0,2,4,6
/proc/23395/stat : 23395 (toysat) R 23392 23395 21062 0 -1 4202496 274998 0 0 0 136135 52 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140737226463936 5677667 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23395/statm: 333457 275202 892 2943 0 330351 0
[pid=23395/tid=23396] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23396/stat : 23396 (toysat) S 23392 23395 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275337899248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23395/tid=23397] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23397/stat : 23397 (toysat) S 23392 23395 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275327409392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23395/tid=23398] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23398/stat : 23398 (toysat) S 23392 23395 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275242495152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1333828

[startup+1422.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/183 23483
/proc/meminfo: memFree=28522504/32872528 swapFree=1085692/1157232
[pid=23395] ppid=23392 vsize=1333828 CPUtime=1421.85 cores=0,2,4,6
/proc/23395/stat : 23395 (toysat) R 23392 23395 21062 0 -1 4202496 275015 0 0 0 142133 52 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140737226463936 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23395/statm: 333457 275202 892 2943 0 330351 0
[pid=23395/tid=23396] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23396/stat : 23396 (toysat) S 23392 23395 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275337899248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23395/tid=23397] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23397/stat : 23397 (toysat) S 23392 23395 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275327409392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23395/tid=23398] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23398/stat : 23398 (toysat) S 23392 23395 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275242495152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1333828

[startup+1482.3 s]
/proc/loadavg: 2.30 2.26 2.20 3/183 23484
/proc/meminfo: memFree=28508328/32872528 swapFree=1085692/1157232
[pid=23395] ppid=23392 vsize=1333828 CPUtime=1481.84 cores=0,2,4,6
/proc/23395/stat : 23395 (toysat) R 23392 23395 21062 0 -1 4202496 275015 0 0 0 148131 53 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140737226463936 6011585 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23395/statm: 333457 275202 892 2943 0 330351 0
[pid=23395/tid=23396] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23396/stat : 23396 (toysat) S 23392 23395 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275337899248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23395/tid=23397] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23397/stat : 23397 (toysat) S 23392 23395 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275327409392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23395/tid=23398] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23398/stat : 23398 (toysat) S 23392 23395 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275242495152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1333828

[startup+1542.31 s]
/proc/loadavg: 2.23 2.24 2.19 3/183 23485
/proc/meminfo: memFree=28508832/32872528 swapFree=1085692/1157232
[pid=23395] ppid=23392 vsize=1333828 CPUtime=1541.84 cores=0,2,4,6
/proc/23395/stat : 23395 (toysat) R 23392 23395 21062 0 -1 4202496 275015 0 0 0 154131 53 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140737226463936 5545788 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23395/statm: 333457 275202 892 2943 0 330351 0
[pid=23395/tid=23396] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23396/stat : 23396 (toysat) S 23392 23395 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275337899248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23395/tid=23397] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23397/stat : 23397 (toysat) S 23392 23395 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275327409392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23395/tid=23398] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23398/stat : 23398 (toysat) S 23392 23395 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275242495152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1333828

[startup+1602.3 s]
/proc/loadavg: 2.18 2.22 2.18 3/183 23486
/proc/meminfo: memFree=28508088/32872528 swapFree=1085692/1157232
[pid=23395] ppid=23392 vsize=1333828 CPUtime=1601.83 cores=0,2,4,6
/proc/23395/stat : 23395 (toysat) R 23392 23395 21062 0 -1 4202496 275015 0 0 0 160129 54 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140737226463936 5723504 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23395/statm: 333457 275202 892 2943 0 330351 0
[pid=23395/tid=23396] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23396/stat : 23396 (toysat) S 23392 23395 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275337899248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23395/tid=23397] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23397/stat : 23397 (toysat) S 23392 23395 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275327409392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23395/tid=23398] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23398/stat : 23398 (toysat) S 23392 23395 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275242495152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1333828

[startup+1662.3 s]
/proc/loadavg: 2.23 2.23 2.18 3/183 23488
/proc/meminfo: memFree=28507880/32872528 swapFree=1085692/1157232
[pid=23395] ppid=23392 vsize=1333828 CPUtime=1661.81 cores=0,2,4,6
/proc/23395/stat : 23395 (toysat) R 23392 23395 21062 0 -1 4202496 275015 0 0 0 166127 54 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140737226463936 5545784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23395/statm: 333457 275202 892 2943 0 330351 0
[pid=23395/tid=23396] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23396/stat : 23396 (toysat) S 23392 23395 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275337899248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23395/tid=23397] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23397/stat : 23397 (toysat) S 23392 23395 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275327409392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23395/tid=23398] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23398/stat : 23398 (toysat) S 23392 23395 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275242495152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1333828

[startup+1722.3 s]
/proc/loadavg: 2.34 2.26 2.19 3/183 23489
/proc/meminfo: memFree=28508052/32872528 swapFree=1085692/1157232
[pid=23395] ppid=23392 vsize=1333828 CPUtime=1721.8 cores=0,2,4,6
/proc/23395/stat : 23395 (toysat) R 23392 23395 21062 0 -1 4202496 275015 0 0 0 172126 54 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140737226463936 5673488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23395/statm: 333457 275202 892 2943 0 330351 0
[pid=23395/tid=23396] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23396/stat : 23396 (toysat) S 23392 23395 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275337899248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23395/tid=23397] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23397/stat : 23397 (toysat) S 23392 23395 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275327409392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23395/tid=23398] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23398/stat : 23398 (toysat) S 23392 23395 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275242495152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1333828

[startup+1782.3 s]
/proc/loadavg: 2.28 2.25 2.19 3/184 23493
/proc/meminfo: memFree=28508208/32872528 swapFree=1085692/1157232
[pid=23395] ppid=23392 vsize=1333828 CPUtime=1781.79 cores=0,2,4,6
/proc/23395/stat : 23395 (toysat) R 23392 23395 21062 0 -1 4202496 275015 0 0 0 178124 55 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140737226463936 5721579 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23395/statm: 333457 275202 892 2943 0 330351 0
[pid=23395/tid=23396] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23396/stat : 23396 (toysat) S 23392 23395 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275337899248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23395/tid=23397] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23397/stat : 23397 (toysat) S 23392 23395 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275327409392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23395/tid=23398] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23398/stat : 23398 (toysat) S 23392 23395 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275242495152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1333828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.20 2.24 2.19 3/184 23493
/proc/meminfo: memFree=28508192/32872528 swapFree=1085692/1157232
[pid=23395] ppid=23392 vsize=1333828 CPUtime=1800.09 cores=0,2,4,6
/proc/23395/stat : 23395 (toysat) R 23392 23395 21062 0 -1 4202496 275015 0 0 0 179954 55 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140737226481208 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23395/statm: 333457 275202 892 2943 0 330351 0
[pid=23395/tid=23396] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23396/stat : 23396 (toysat) S 23392 23395 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275337899248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23395/tid=23397] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23397/stat : 23397 (toysat) S 23392 23395 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275327409392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23395/tid=23398] ppid=23392 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/23395/task/23398/stat : 23398 (toysat) S 23392 23395 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28904383 1365839872 275202 33554432000 4194304 16246674 140737226482032 140275242495152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1333828

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.55
CPU system time (s): 0.557915
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 1333828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.557915
maximum resident set size= 1100808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275015
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= 383
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64029 second user time and 6.88495 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 18:30:48
IDJOB=4116813
IDBENCH=109517
IDSOLVER=2542
FILE ID=node114/4116813-1466958647
RUNJOBID= node114-1466944456-21078
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-6.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116813-1466958647/watcher-4116813-1466958647 -o /tmp/evaluation-result-4116813-1466958647/solver-4116813-1466958647 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466944456-21078 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116813-1466958647.opb

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

MD5SUM BENCH= 81107c934f725424e8f6a58ed1ae2123
RANDOM SEED=378946672

node114.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.852
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.70
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.852
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.852
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.852
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.852
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.852
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.852
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.852
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.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29623664 kB
Buffers:           27784 kB
Cached:           220616 kB
SwapCached:        38928 kB
Active:          1166964 kB
Inactive:         221860 kB
Active(anon):    1105292 kB
Inactive(anon):    37756 kB
Active(file):      61672 kB
Inactive(file):   184104 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061380 kB
Dirty:             16736 kB
Writeback:             0 kB
AnonPages:       2259956 kB
Mapped:            10684 kB
Shmem:                 0 kB
Slab:             567136 kB
SReclaimable:      11044 kB
SUnreclaim:       556092 kB
KernelStack:        1504 kB
PageTables:         8620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2403828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 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= 71624 MiB
End job on node114 at 2016-06-26 19:00:48