Trace number 4115957

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.1 1800.61

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-26T14:56:41+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-4115957-1466945801.opb"]
0.00/0.01	c use --random-gen="3379470404 1223386975 568794574 4211495692 3432567605 433227832 3770104955 2512226812 1879507095 4167598537 511529217 3521152018 3503108508 3959896742 1129939964 724886838 1604451321 322783705 3457510806 2060262749 1530065377 423597380 4072275837 429521079 677820161 3371890064 283665166 2132605785 2195379446 441416123 767728962 835380910 5134136 184053413 932096413 2701708410 145990162 4229117474 2833186747 1092598890 865301748 2795614367 403712111 1869907631 3149900643 1336276639 4207871904 2042924603 2768947501 2585260838 1170579166 3345260177 3463997124 3261145499 3369732167 3617802663 2427967546 86698582 2799981945 4163863546 913096496 3365042485 2316799982 3818615031 50955489 495014837 2593238887 1107557036 566036042 2354990314 604437811 1931279367 2896501911 1063377464 1914042330 1736370527 3354851013 1593837327 2707520680 2682533156 1592365126 1065717084 1470293682 3464700210 3413734633 2119879488 2090159725 2436567673 3243358993 707716021 126396213 2595331117 274409395 523552849 1778395504 1761451515 2460957400 874867381 1351879684 2288865348 2520741869 3997774386 413897137 4043086286 2262994409 2953319599 1462818498 1429694500 49376686 2464127294 2267033685 2173525360 356527432 3304478037 2869177507 520069343 2218948048 158945352 2232275729 990107201 3844571011 2248533843 3761677883 540874783 3700640107 1499719739 3824741785 1125242026 1083403292 3331127767 1894888366 1952649015 1877258700 906718775 794402326 7031974 3914135289 1616806213 2579466726 381306144 1681669192 825531848 1209622607 1333412193 3320495739 2282352700 3808762427 831139993 164428064 3795263230 3189157668 1689326169 4188710274 3415256364 2311973389 3468948024 4262690350 1219615689 2986886288 4029177379 642647242 2913748466 2596184385 36953489 517742961 3553556719 2008775343 1643961325 77777701 4037387300 3297064248 4074767029 2595451760 2195613831 1180396639 1249306568 3850642575 3850490314 1723280939 3051635329 3519915928 2575825674 753016447 3064434995 1006238677 4203206149 2786110853 2442888780 1845142085 3986873153 2012971404 2367694557 3020095408 3739149691 3595367236 3354366898 2202015161 518401125 3530597342 2687064535 3286606684 4003065121 2672537341 563297287 479710643 2945867518 3445413993 3304670851 1206858444 2951082842 2488625380 232929338 2784785320 1247599875 986342222 467623895 2015428169 2031114471 2427933458 1986493573 3909652718 634375479 948171999 3359005902 789386204 3793213806 2984094858 1120788533 3323695528 987471701 3426283590 3661562 3348161656 1061134631 1947827463 2430553332 1954443710 3859830160 1470600960 3851893569 4258270200 1789319084 1811124187 1294131948 2073507278 3380526635 1569717605 2662268887 794257984 2743406505 2604921613 3490495600 2719623653 3597821744 2485199360 3352171722 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9472
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |     4565      0 |      661 |        0
0.29/0.36	c  0.1s |       1 |     1212 |      100 |     4565      0 |      661 |      436
0.39/0.47	c  0.2s |       2 |     2767 |      250 |     5022      0 |      661 |      436
0.59/0.64	c  0.4s |       3 |     4841 |      475 |     5525      0 |      662 |      436
0.79/0.85	c  0.6s |       4 |     7684 |      813 |     6078      0 |      662 |      436
1.39/1.49	c  1.2s |       5 |    10141 |     1320 |     6686      0 |      662 |      436
2.20/2.30	c  2.0s |       6 |    13246 |     2081 |     8091      0 |      662 |      436
3.19/3.21	c  2.9s |       7 |    16641 |     3223 |     8901      0 |      662 |      436
4.40/4.46	c  4.2s |       8 |    23147 |     4936 |     9792      0 |      662 |      436
6.49/6.52	c  6.3s |       8 |    27049 |     7036 |     9792      0 |      662 |      436
7.09/7.17	c  6.9s |       9 |    27612 |     7506 |    10772      0 |      662 |      436
9.09/9.20	c  8.9s |       9 |    39491 |    10006 |    10772      0 |      662 |      436
11.00/11.08	c 10.8s |      10 |    41327 |    11361 |    11850      0 |      662 |      436
13.09/13.15	c 12.9s |      10 |    45868 |    12961 |    11850      0 |      663 |      436
15.19/15.29	c 15.0s |      10 |    47416 |    14261 |    11850      0 |      663 |      436
17.39/17.44	c 17.2s |      10 |    49998 |    15761 |    11850      1 |      663 |      436
19.39/19.44	c 19.2s |      10 |    51283 |    16861 |    11850      1 |      663 |      436
19.90/19.94	c 19.7s |      11 |    51660 |    17144 |    13036      1 |      663 |      436
21.88/22.00	c 21.7s |      11 |    58946 |    19344 |    13036      1 |      663 |      436
23.98/24.05	c 23.8s |      11 |    63994 |    21244 |    13036      1 |      663 |      436
26.08/26.14	c 25.9s |      11 |    65838 |    22644 |    13036      1 |      663 |      436
28.28/28.32	c 28.0s |      11 |    67377 |    23944 |    13036      1 |      663 |      436
30.28/30.35	c 30.1s |      11 |    68374 |    24844 |    13036      2 |      663 |      436
32.08/32.11	c 31.8s |      12 |    69637 |    25819 |    14340      2 |      663 |      436
34.09/34.13	c 33.9s |      12 |    77067 |    28019 |    14340      2 |      663 |      436
36.08/36.14	c 35.9s |      12 |    78610 |    29119 |    14340      2 |      663 |      436
38.18/38.23	c 38.0s |      12 |    80914 |    30719 |    14340      2 |      663 |      436
40.18/40.25	c 40.0s |      12 |    82365 |    31819 |    14340      2 |      663 |      436
42.28/42.39	c 42.1s |      12 |    83423 |    32719 |    14340      3 |      663 |      436
44.38/44.40	c 44.1s |      12 |    84355 |    33519 |    14340      3 |      663 |      436
46.38/46.47	c 46.2s |      12 |    85387 |    34419 |    14340      3 |      663 |      436
48.58/48.67	c 48.4s |      12 |    86591 |    35419 |    14340      3 |      663 |      436
50.69/50.77	c 50.5s |      12 |    87904 |    36419 |    14340      3 |      663 |      436
52.68/52.77	c 52.5s |      12 |    92327 |    38119 |    14340      3 |      663 |      436
53.28/53.34	c 53.1s |      13 |    94343 |    38832 |    15775      3 |      663 |      436
55.38/55.43	c 55.2s |      13 |    99025 |    40232 |    15775      3 |      663 |      436
57.38/57.49	c 57.2s |      13 |   100523 |    41432 |    15775      3 |      663 |      436
59.49/59.55	c 59.3s |      13 |   102027 |    42632 |    15775      3 |      663 |      436
61.98/62.02	c 61.7s |      13 |   103202 |    43632 |    15775      4 |      663 |      436
63.98/64.07	c 63.8s |      13 |   104631 |    44732 |    15775      4 |      663 |      436
65.99/66.08	c 65.8s |      13 |   105732 |    45632 |    15775      4 |      663 |      436
68.08/68.12	c 67.8s |      13 |   106842 |    46532 |    15775      4 |      663 |      436
70.08/70.14	c 69.9s |      13 |   107892 |    47432 |    15775      4 |      663 |      436
72.08/72.20	c 71.9s |      13 |   108936 |    48332 |    15775      4 |      663 |      436
74.38/74.44	c 74.2s |      13 |   109950 |    49232 |    15775      4 |      663 |      436
76.68/76.70	c 76.4s |      13 |   110816 |    50032 |    15775      4 |      663 |      436
78.78/78.80	c 78.5s |      13 |   111570 |    50732 |    15775      4 |      663 |      436
80.88/80.98	c 80.7s |      13 |   112323 |    51432 |    15775      4 |      663 |      436
83.08/83.11	c 82.8s |      13 |   113119 |    52132 |    15775      4 |      663 |      436
85.38/85.43	c 85.2s |      13 |   113897 |    52832 |    15775      4 |      663 |      436
87.48/87.56	c 87.3s |      13 |   114555 |    53432 |    15775      5 |      663 |      436
89.48/89.58	c 89.3s |      13 |   115331 |    54132 |    15775      5 |      663 |      436
91.68/91.76	c 91.5s |      13 |   116089 |    54832 |    15775      5 |      663 |      436
93.68/93.77	c 93.5s |      13 |   116856 |    55532 |    15775      5 |      663 |      436
95.88/95.93	c 95.7s |      13 |   117636 |    56232 |    15775      5 |      663 |      436
97.99/98.08	c 97.8s |      13 |   118435 |    56932 |    15775      5 |      663 |      436
100.19/100.21	c 99.9s |      13 |   119257 |    57632 |    15775      5 |      663 |      436
102.28/102.34	c  102s |      13 |   120054 |    58332 |    17353      5 |      663 |      436
102.39/102.42	c  102s |      14 |   120074 |    58352 |    17353      5 |      663 |      436
104.38/104.45	c  104s |      14 |   130460 |    60652 |    17353      5 |      663 |      436
106.38/106.48	c  106s |      14 |   132092 |    61752 |    17353      5 |      663 |      436
108.48/108.53	c  108s |      14 |   134339 |    63252 |    17353      5 |      663 |      436
110.58/110.61	c  110s |      14 |   135868 |    64352 |    17353      6 |      663 |      436
112.68/112.70	c  112s |      14 |   137461 |    65552 |    17353      6 |      663 |      436
114.68/114.77	c  114s |      14 |   140774 |    67252 |    17353      6 |      663 |      436
116.78/116.89	c  116s |      14 |   142452 |    68552 |    17353      6 |      663 |      436
118.97/119.02	c  118s |      14 |   144192 |    69752 |    17353      6 |      663 |      436
121.17/121.26	c  120s |      14 |   145734 |    70852 |    17353      6 |      663 |      436
123.28/123.33	c  123s |      14 |   146952 |    71752 |    17353      6 |      663 |      436
125.38/125.43	c  125s |      14 |   148149 |    72652 |    17353      6 |      663 |      436
127.37/127.49	c  127s |      14 |   153785 |    74352 |    17353      7 |      663 |      436
129.57/129.62	c  129s |      14 |   157280 |    75952 |    17353      7 |      663 |      436
131.57/131.67	c  131s |      14 |   160483 |    77452 |    17353      7 |      663 |      436
133.67/133.79	c  133s |      14 |   162652 |    78752 |    17353      7 |      663 |      436
135.87/135.95	c  135s |      14 |   164482 |    79952 |    17353      7 |      663 |      436
137.87/137.98	c  137s |      14 |   166215 |    81052 |    17353      7 |      663 |      436
139.97/140.01	c  139s |      14 |   167532 |    82052 |    17353      7 |      663 |      436
141.98/142.07	c  141s |      14 |   168523 |    82952 |    17353      7 |      663 |      436
144.08/144.18	c  143s |      14 |   174152 |    84752 |    17353      8 |      663 |      436
146.17/146.23	c  145s |      14 |   176539 |    86252 |    17353      8 |      663 |      436
148.17/148.24	c  147s |      14 |   178269 |    87552 |    19089      8 |      663 |      436
148.27/148.35	c  148s |      15 |   178367 |    87632 |    19089      8 |      663 |      436
150.27/150.39	c  150s |      15 |   184097 |    89732 |    19089      8 |      663 |      436
152.37/152.43	c  152s |      15 |   192518 |    91932 |    19089      8 |      663 |      436
154.47/154.53	c  154s |      15 |   194361 |    93532 |    19089      8 |      663 |      436
156.47/156.56	c  156s |      15 |   196218 |    95232 |    19089      8 |      663 |      436
158.56/158.64	c  158s |      15 |   197981 |    96632 |    19089      9 |      663 |      436
160.67/160.71	c  160s |      15 |   199989 |    98232 |    19089      9 |      663 |      436
162.77/162.84	c  162s |      15 |   202740 |    99832 |    19089      9 |      663 |      436
164.76/164.88	c  164s |      15 |   204236 |   101132 |    19089      9 |      663 |      436
166.76/166.89	c  166s |      15 |   205428 |   102232 |    19089      9 |      663 |      436
168.96/169.01	c  168s |      15 |   206569 |   103332 |    19089      9 |      663 |      436
170.96/171.03	c  170s |      15 |   207643 |   104332 |    19089      9 |      663 |      436
173.06/173.19	c  172s |      15 |   208630 |   105232 |    19089      9 |      663 |      436
175.26/175.35	c  175s |      15 |   209584 |   106132 |    19089      9 |      663 |      436
177.46/177.54	c  177s |      15 |   210314 |   106832 |    19089     10 |      663 |      436
179.56/179.66	c  179s |      15 |   211285 |   107732 |    19089     10 |      663 |      436
181.66/181.78	c  181s |      15 |   212106 |   108532 |    19089     10 |      663 |      436
183.77/183.89	c  183s |      15 |   212971 |   109332 |    19089     10 |      663 |      436
185.87/185.94	c  185s |      15 |   213793 |   110132 |    19089     10 |      663 |      436
187.96/188.11	c  187s |      15 |   214616 |   110932 |    19089     10 |      663 |      436
190.27/190.39	c  190s |      15 |   215470 |   111732 |    19089     10 |      663 |      436
192.36/192.48	c  192s |      15 |   216352 |   112532 |    19089     10 |      663 |      436
194.56/194.61	c  194s |      15 |   217070 |   113232 |    19089     10 |      663 |      436
196.66/196.77	c  196s |      15 |   217799 |   113932 |    19089     10 |      663 |      436
198.96/199.04	c  198s |      15 |   218549 |   114632 |    19089     10 |      663 |      436
201.16/201.21	c  200s |      15 |   219293 |   115332 |    19089     10 |      663 |      436
203.36/203.45	c  203s |      15 |   220052 |   116032 |    19089     10 |      663 |      436
205.36/205.46	c  205s |      15 |   220690 |   116632 |    19089     10 |      663 |      436
207.66/207.71	c  207s |      15 |   221315 |   117232 |    19089     10 |      663 |      436
209.66/209.76	c  209s |      15 |   221951 |   117832 |    19089     10 |      663 |      436
211.86/211.94	c  211s |      15 |   222636 |   118432 |    19089     11 |      663 |      436
213.96/214.00	c  213s |      15 |   223486 |   119232 |    19089     11 |      663 |      436
216.06/216.14	c  215s |      15 |   224228 |   119932 |    19089     11 |      663 |      436
218.35/218.42	c  218s |      15 |   224963 |   120632 |    19089     11 |      663 |      436
220.45/220.54	c  220s |      15 |   225728 |   121332 |    19089     11 |      663 |      436
222.55/222.60	c  222s |      15 |   226374 |   121932 |    19089     11 |      663 |      436
224.55/224.66	c  224s |      15 |   227027 |   122532 |    19089     11 |      663 |      436
226.66/226.71	c  226s |      15 |   227779 |   123232 |    19089     11 |      663 |      436
228.86/228.96	c  228s |      15 |   228544 |   123932 |    19089     11 |      663 |      436
230.96/231.10	c  230s |      15 |   229167 |   124532 |    19089     11 |      663 |      436
233.35/233.40	c  233s |      15 |   229794 |   125132 |    19089     11 |      663 |      436
235.65/235.77	c  235s |      15 |   230427 |   125732 |    19089     11 |      663 |      436
237.95/238.02	c  237s |      15 |   231056 |   126332 |    19089     11 |      663 |      436
239.95/240.04	c  239s |      15 |   231588 |   126832 |    19089     11 |      663 |      436
242.06/242.13	c  241s |      15 |   232100 |   127332 |    19089     11 |      663 |      436
244.35/244.45	c  244s |      15 |   232731 |   127932 |    19089     11 |      663 |      436
246.65/246.73	c  246s |      15 |   233373 |   128532 |    19089     11 |      663 |      436
249.05/249.15	c  248s |      15 |   234000 |   129132 |    19089     11 |      663 |      436
251.25/251.36	c  251s |      15 |   234560 |   129632 |    19089     12 |      663 |      436
253.45/253.59	c  253s |      15 |   235542 |   130532 |    19089     12 |      663 |      436
255.65/255.72	c  255s |      15 |   236393 |   131332 |    20998     12 |      663 |      436
256.15/256.26	c  255s |      16 |   236628 |   131552 |    20998     12 |      663 |      436
258.25/258.31	c  258s |      16 |   244903 |   134252 |    20998     12 |      663 |      436
260.25/260.33	c  260s |      16 |   247636 |   135952 |    20998     12 |      663 |      436
262.25/262.38	c  262s |      16 |   249696 |   137352 |    20998     12 |      663 |      436
264.34/264.47	c  264s |      16 |   251025 |   138452 |    20998     12 |      663 |      436
266.44/266.54	c  266s |      16 |   252529 |   139552 |    20998     12 |      663 |      436
268.54/268.62	c  268s |      16 |   254873 |   141052 |    20998     12 |      663 |      436
270.55/270.62	c  270s |      16 |   256504 |   142052 |    20998     13 |      663 |      436
272.55/272.66	c  272s |      16 |   258468 |   143352 |    20998     13 |      663 |      436
274.55/274.66	c  274s |      16 |   260105 |   144452 |    20998     13 |      663 |      436
276.75/276.86	c  276s |      16 |   261396 |   145452 |    20998     13 |      663 |      436
278.95/279.01	c  278s |      16 |   262717 |   146352 |    20998     13 |      663 |      436
281.05/281.14	c  280s |      16 |   263734 |   147152 |    20998     13 |      663 |      436
283.15/283.29	c  283s |      16 |   264758 |   147952 |    20998     13 |      663 |      436
285.25/285.32	c  285s |      16 |   265801 |   148752 |    20998     13 |      663 |      436
287.45/287.51	c  287s |      16 |   267148 |   149752 |    20998     13 |      663 |      436
289.45/289.57	c  289s |      16 |   268025 |   150452 |    20998     13 |      663 |      436
291.65/291.76	c  291s |      16 |   269017 |   151252 |    20998     13 |      663 |      436
293.76/293.82	c  293s |      16 |   270042 |   152052 |    20998     13 |      663 |      436
295.85/295.96	c  295s |      16 |   271107 |   152852 |    20998     13 |      663 |      436
298.16/298.24	c  297s |      16 |   272107 |   153652 |    20998     13 |      663 |      436
300.25/300.32	c  300s |      16 |   273447 |   154552 |    20998     14 |      663 |      436
302.45/302.54	c  302s |      16 |   274718 |   155552 |    20998     14 |      663 |      436
304.55/304.66	c  304s |      16 |   276171 |   156552 |    20998     14 |      663 |      436
306.65/306.79	c  306s |      16 |   277460 |   157452 |    20998     14 |      663 |      436
308.85/308.91	c  308s |      16 |   278801 |   158352 |    20998     14 |      663 |      436
311.04/311.11	c  310s |      16 |   280000 |   159252 |    20998     14 |      663 |      436
313.14/313.20	c  312s |      16 |   281296 |   160152 |    20998     14 |      663 |      436
315.14/315.20	c  314s |      16 |   282365 |   160952 |    20998     14 |      663 |      436
317.14/317.26	c  316s |      16 |   283569 |   161752 |    20998     14 |      663 |      436
319.24/319.39	c  319s |      16 |   284901 |   162652 |    20998     14 |      663 |      436
321.34/321.46	c  321s |      16 |   285984 |   163452 |    20998     14 |      663 |      436
323.54/323.65	c  323s |      16 |   287178 |   164352 |    20998     14 |      663 |      436
325.84/325.95	c  325s |      16 |   288060 |   165052 |    20998     14 |      663 |      436
327.94/328.04	c  327s |      16 |   288603 |   165452 |    20998     15 |      663 |      436
330.05/330.18	c  329s |      16 |   289923 |   166452 |    20998     15 |      663 |      436
332.34/332.40	c  332s |      16 |   291036 |   167352 |    20998     15 |      663 |      436
334.35/334.50	c  334s |      16 |   292239 |   168252 |    20998     15 |      663 |      436
336.55/336.64	c  336s |      16 |   293421 |   169152 |    20998     15 |      663 |      436
338.75/338.83	c  338s |      16 |   294495 |   169952 |    20998     15 |      663 |      436
340.84/340.96	c  340s |      16 |   295529 |   170752 |    20998     15 |      663 |      436
343.04/343.16	c  342s |      16 |   296422 |   171452 |    20998     15 |      663 |      436
345.24/345.37	c  345s |      16 |   297259 |   172152 |    20998     15 |      663 |      436
347.54/347.61	c  347s |      16 |   298101 |   172852 |    20998     15 |      663 |      436
349.74/349.84	c  349s |      16 |   299089 |   173652 |    20998     15 |      663 |      436
351.83/351.95	c  351s |      16 |   300074 |   174452 |    20998     15 |      663 |      436
353.93/354.06	c  353s |      16 |   300895 |   175152 |    20998     15 |      663 |      436
356.13/356.20	c  355s |      16 |   301636 |   175752 |    20998     15 |      663 |      436
358.33/358.44	c  358s |      16 |   302329 |   176352 |    20998     15 |      663 |      436
360.53/360.66	c  360s |      16 |   303049 |   176952 |    20998     15 |      663 |      436
362.73/362.88	c  362s |      16 |   303653 |   177452 |    20998     15 |      663 |      436
364.93/365.00	c  364s |      16 |   304323 |   177952 |    20998     16 |      663 |      436
367.13/367.20	c  366s |      16 |   305365 |   178752 |    20998     16 |      663 |      436
369.43/369.53	c  369s |      16 |   306334 |   179552 |    20998     16 |      663 |      436
371.43/371.54	c  371s |      16 |   307188 |   180252 |    20998     16 |      663 |      436
373.53/373.61	c  373s |      16 |   308258 |   181052 |    20998     16 |      663 |      436
375.53/375.63	c  375s |      16 |   309174 |   181752 |    20998     16 |      663 |      436
377.52/377.67	c  377s |      16 |   310047 |   182452 |    20998     16 |      663 |      436
379.72/379.84	c  379s |      16 |   311033 |   183252 |    20998     16 |      663 |      436
381.73/381.84	c  381s |      16 |   311792 |   183852 |    20998     16 |      663 |      436
383.72/383.87	c  383s |      16 |   315065 |   184752 |    20998     16 |      663 |      436
385.82/385.94	c  385s |      16 |   324204 |   187152 |    20998     16 |      663 |      436
388.02/388.10	c  387s |      16 |   326015 |   188352 |    20998     16 |      663 |      436
390.02/390.18	c  389s |      16 |   327971 |   189452 |    20998     17 |      663 |      436
392.02/392.19	c  391s |      16 |   329613 |   190552 |    20998     17 |      663 |      436
394.12/394.25	c  393s |      16 |   330771 |   191452 |    20998     17 |      663 |      436
396.22/396.36	c  396s |      16 |   331937 |   192352 |    20998     17 |      663 |      436
398.32/398.44	c  398s |      16 |   333079 |   193252 |    20998     17 |      663 |      436
400.43/400.58	c  400s |      16 |   334365 |   194252 |    20998     17 |      663 |      436
402.63/402.71	c  402s |      16 |   335682 |   195252 |    20998     17 |      663 |      436
404.73/404.82	c  404s |      16 |   336989 |   196252 |    23098     17 |      663 |      436
406.72/406.88	c  406s |      16 |   338049 |   197052 |    23098     17 |      663 |      436
407.92/408.05	c  407s |      17 |   338496 |   197432 |    23098     17 |      663 |      436
410.02/410.13	c  409s |      17 |   341897 |   199032 |    23098     17 |      663 |      436
412.02/412.16	c  411s |      17 |   345806 |   200932 |    23098     17 |      663 |      436
414.02/414.19	c  413s |      17 |   348892 |   202632 |    23098     17 |      663 |      436
416.01/416.19	c  415s |      17 |   350289 |   203832 |    23098     17 |      663 |      436
418.21/418.32	c  418s |      17 |   351524 |   204832 |    23098     18 |      663 |      436
420.22/420.33	c  420s |      17 |   352866 |   205932 |    23098     18 |      663 |      436
422.43/422.54	c  422s |      17 |   354027 |   206932 |    23098     18 |      663 |      436
424.42/424.60	c  424s |      17 |   354953 |   207732 |    23098     18 |      663 |      436
426.62/426.71	c  426s |      17 |   355837 |   208532 |    23098     18 |      663 |      436
428.72/428.87	c  428s |      17 |   356749 |   209332 |    23098     18 |      663 |      436
430.82/430.93	c  430s |      17 |   357677 |   210132 |    23098     18 |      663 |      436
432.92/433.01	c  432s |      17 |   358598 |   210932 |    23098     18 |      663 |      436
435.02/435.18	c  434s |      17 |   359368 |   211632 |    23098     18 |      663 |      436
437.12/437.27	c  436s |      17 |   360148 |   212332 |    23098     18 |      663 |      436
439.52/439.62	c  439s |      17 |   360898 |   213032 |    23098     18 |      663 |      436
441.82/441.94	c  441s |      17 |   362033 |   213932 |    23098     18 |      663 |      436
444.02/444.12	c  443s |      17 |   362944 |   214732 |    23098     18 |      663 |      436
446.12/446.23	c  445s |      17 |   363875 |   215532 |    23098     18 |      663 |      436
448.32/448.46	c  448s |      17 |   364665 |   216232 |    23098     18 |      663 |      436
450.72/450.80	c  450s |      17 |   365326 |   216832 |    23098     18 |      663 |      436
452.72/452.82	c  452s |      17 |   365910 |   217332 |    23098     19 |      663 |      436
454.82/454.92	c  454s |      17 |   366696 |   218032 |    23098     19 |      663 |      436
457.02/457.12	c  456s |      17 |   367473 |   218732 |    23098     19 |      663 |      436
459.02/459.14	c  458s |      17 |   368126 |   219332 |    23098     19 |      663 |      436
461.21/461.34	c  461s |      17 |   368897 |   220032 |    23098     19 |      663 |      436
463.41/463.52	c  463s |      17 |   369534 |   220632 |    23098     19 |      663 |      436
465.41/465.58	c  465s |      17 |   370196 |   221232 |    23098     19 |      663 |      436
467.81/467.93	c  467s |      17 |   371018 |   221932 |    23098     19 |      663 |      436
469.81/469.95	c  469s |      17 |   371885 |   222632 |    23098     19 |      663 |      436
472.01/472.10	c  471s |      17 |   372557 |   223232 |    23098     19 |      663 |      436
474.12/474.23	c  473s |      17 |   373220 |   223832 |    23098     19 |      663 |      436
476.32/476.42	c  476s |      17 |   373887 |   224432 |    23098     19 |      663 |      436
478.61/478.78	c  478s |      17 |   374555 |   225032 |    23098     19 |      663 |      436
481.01/481.18	c  480s |      17 |   375206 |   225632 |    23098     19 |      663 |      436
483.21/483.33	c  483s |      17 |   375757 |   226132 |    23098     19 |      663 |      436
485.31/485.47	c  485s |      17 |   376292 |   226632 |    23098     19 |      663 |      436
487.61/487.79	c  487s |      17 |   376966 |   227232 |    23098     19 |      663 |      436
489.91/490.02	c  489s |      17 |   377619 |   227832 |    23098     19 |      663 |      436
491.91/492.04	c  491s |      17 |   378173 |   228332 |    23098     19 |      663 |      436
494.30/494.48	c  494s |      17 |   378703 |   228832 |    23098     19 |      663 |      436
496.60/496.72	c  496s |      17 |   379238 |   229332 |    23098     19 |      663 |      436
498.80/498.94	c  498s |      17 |   379803 |   229832 |    23098     19 |      663 |      436
501.10/501.22	c  500s |      17 |   380351 |   230332 |    23098     19 |      663 |      436
503.50/503.62	c  503s |      17 |   380785 |   230732 |    23098     20 |      663 |      436
505.70/505.87	c  505s |      17 |   381433 |   231332 |    23098     20 |      663 |      436
507.89/508.01	c  507s |      17 |   382092 |   231932 |    23098     20 |      663 |      436
510.19/510.38	c  510s |      17 |   382905 |   232632 |    23098     20 |      663 |      436
512.50/512.63	c  512s |      17 |   383578 |   233232 |    23098     20 |      663 |      436
514.59/514.73	c  514s |      17 |   384272 |   233832 |    23098     20 |      663 |      436
516.69/516.81	c  516s |      17 |   384954 |   234432 |    23098     20 |      663 |      436
518.79/518.94	c  518s |      17 |   385665 |   235032 |    23098     20 |      663 |      436
520.79/520.98	c  520s |      17 |   386243 |   235532 |    23098     20 |      663 |      436
523.19/523.30	c  523s |      17 |   386910 |   236132 |    23098     20 |      663 |      436
525.49/525.69	c  525s |      17 |   387573 |   236732 |    23098     20 |      663 |      436
527.78/527.91	c  527s |      17 |   388229 |   237332 |    23098     20 |      663 |      436
529.88/530.05	c  529s |      17 |   388788 |   237832 |    23098     20 |      663 |      436
532.08/532.23	c  531s |      17 |   389340 |   238332 |    23098     20 |      663 |      436
534.08/534.28	c  534s |      17 |   389878 |   238832 |    23098     20 |      663 |      436
536.28/536.43	c  536s |      17 |   390413 |   239332 |    23098     20 |      663 |      436
538.68/538.82	c  538s |      17 |   391064 |   239932 |    23098     20 |      663 |      436
540.98/541.12	c  540s |      17 |   391723 |   240532 |    23098     20 |      663 |      436
543.08/543.28	c  543s |      17 |   392258 |   241032 |    23098     20 |      663 |      436
545.28/545.48	c  545s |      17 |   392823 |   241532 |    23098     20 |      663 |      436
547.37/547.58	c  547s |      17 |   393494 |   242132 |    23098     20 |      663 |      436
549.77/549.93	c  549s |      17 |   394188 |   242732 |    23098     20 |      663 |      436
551.97/552.15	c  551s |      17 |   394741 |   243232 |    23098     20 |      663 |      436
554.28/554.45	c  554s |      17 |   395155 |   243632 |    23098     21 |      663 |      436
556.37/556.58	c  556s |      17 |   395946 |   244332 |    23098     21 |      663 |      436
558.78/558.94	c  558s |      17 |   396603 |   244932 |    23098     21 |      663 |      436
561.07/561.24	c  560s |      17 |   397251 |   245532 |    23098     21 |      663 |      436
563.08/563.29	c  563s |      17 |   397804 |   246032 |    23098     21 |      663 |      436
565.17/565.30	c  565s |      17 |   398344 |   246532 |    23098     21 |      663 |      436
567.47/567.61	c  567s |      17 |   398985 |   247132 |    23098     21 |      663 |      436
569.78/569.97	c  569s |      17 |   399632 |   247732 |    23098     21 |      663 |      436
571.99/572.19	c  571s |      17 |   400162 |   248232 |    23098     21 |      663 |      436
574.18/574.35	c  574s |      17 |   400701 |   248732 |    23098     21 |      663 |      436
576.38/576.56	c  576s |      17 |   401249 |   249232 |    23098     21 |      663 |      436
578.67/578.81	c  578s |      17 |   401781 |   249732 |    23098     21 |      663 |      436
580.68/580.86	c  580s |      17 |   402326 |   250232 |    23098     21 |      663 |      436
582.77/583.00	c  582s |      17 |   402869 |   250732 |    23098     21 |      663 |      436
585.18/585.35	c  585s |      17 |   403383 |   251232 |    23098     21 |      663 |      436
587.47/587.65	c  587s |      17 |   403926 |   251732 |    23098     21 |      663 |      436
589.87/590.04	c  589s |      17 |   404487 |   252232 |    23098     21 |      663 |      436
592.17/592.31	c  592s |      17 |   405038 |   252732 |    23098     21 |      663 |      436
594.17/594.38	c  594s |      17 |   405589 |   253232 |    23098     21 |      663 |      436
596.47/596.63	c  596s |      17 |   406150 |   253732 |    23098     21 |      663 |      436
598.67/598.82	c  598s |      17 |   406689 |   254232 |    23098     21 |      663 |      436
600.87/601.04	c  600s |      17 |   407238 |   254732 |    23098     21 |      663 |      436
603.06/603.20	c  602s |      17 |   407664 |   255132 |    23098     21 |      663 |      436
605.36/605.53	c  605s |      17 |   408212 |   255632 |    23098     21 |      663 |      436
607.46/607.64	c  607s |      17 |   408771 |   256132 |    23098     21 |      663 |      436
609.76/609.96	c  609s |      17 |   409310 |   256632 |    23098     21 |      663 |      436
611.76/611.99	c  611s |      17 |   409631 |   256932 |    23098     22 |      663 |      436
613.96/614.13	c  613s |      17 |   410158 |   257432 |    23098     22 |      663 |      436
615.97/616.17	c  615s |      17 |   410688 |   257932 |    23098     22 |      663 |      436
618.17/618.36	c  618s |      17 |   411328 |   258532 |    23098     22 |      663 |      436
620.56/620.74	c  620s |      17 |   411964 |   259132 |    23098     22 |      663 |      436
622.75/622.91	c  622s |      17 |   412484 |   259632 |    23098     22 |      663 |      436
625.05/625.28	c  625s |      17 |   413138 |   260232 |    23098     22 |      663 |      436
627.55/627.71	c  627s |      17 |   413658 |   260732 |    23098     22 |      663 |      436
629.65/629.86	c  629s |      17 |   414188 |   261232 |    23098     22 |      663 |      436
632.15/632.34	c  632s |      17 |   414705 |   261732 |    23098     22 |      663 |      436
634.15/634.37	c  634s |      17 |   415145 |   262132 |    23098     22 |      663 |      436
636.65/636.82	c  636s |      17 |   415684 |   262632 |    23098     22 |      663 |      436
638.96/639.16	c  638s |      17 |   416209 |   263132 |    23098     22 |      663 |      436
641.05/641.27	c  640s |      17 |   416624 |   263532 |    23098     22 |      663 |      436
643.36/643.55	c  643s |      17 |   417196 |   264032 |    23098     22 |      663 |      436
645.45/645.62	c  645s |      17 |   417736 |   264532 |    23098     22 |      663 |      436
647.54/647.78	c  647s |      17 |   418271 |   265032 |    23098     22 |      663 |      436
649.84/650.10	c  649s |      17 |   418810 |   265532 |    23098     22 |      663 |      436
652.15/652.40	c  652s |      17 |   419348 |   266032 |    23098     22 |      663 |      436
654.24/654.46	c  654s |      17 |   419773 |   266432 |    23098     22 |      663 |      436
656.65/656.81	c  656s |      17 |   420325 |   266932 |    23098     22 |      663 |      436
658.85/659.03	c  658s |      17 |   420882 |   267432 |    23098     22 |      663 |      436
660.95/661.17	c  660s |      17 |   421298 |   267832 |    23098     22 |      663 |      436
663.25/663.46	c  663s |      17 |   421887 |   268332 |    23098     22 |      663 |      436
665.24/665.48	c  665s |      17 |   422313 |   268732 |    23098     22 |      663 |      436
667.55/667.71	c  667s |      17 |   422749 |   269132 |    23098     22 |      663 |      436
669.85/670.01	c  669s |      17 |   423181 |   269532 |    23098     22 |      663 |      436
672.64/672.83	c  672s |      17 |   423624 |   269932 |    23098     23 |      663 |      436
675.04/675.25	c  674s |      17 |   424164 |   270432 |    23098     23 |      663 |      436
677.23/677.45	c  677s |      17 |   424823 |   271032 |    23098     23 |      663 |      436
679.43/679.64	c  679s |      17 |   425372 |   271532 |    23098     23 |      663 |      436
682.13/682.32	c  682s |      17 |   425922 |   272032 |    23098     23 |      663 |      436
684.14/684.32	c  684s |      17 |   426462 |   272532 |    23098     23 |      663 |      436
686.34/686.54	c  686s |      17 |   427013 |   273032 |    23098     23 |      663 |      436
688.43/688.63	c  688s |      17 |   427558 |   273532 |    23098     23 |      663 |      436
690.74/690.93	c  690s |      17 |   428202 |   274132 |    23098     23 |      663 |      436
692.83/693.09	c  692s |      17 |   428733 |   274632 |    23098     23 |      663 |      436
695.03/695.27	c  695s |      17 |   429284 |   275132 |    23098     23 |      663 |      436
697.42/697.63	c  697s |      17 |   429808 |   275632 |    23098     23 |      663 |      436
699.62/699.80	c  699s |      17 |   430340 |   276132 |    23098     23 |      663 |      436
701.82/702.06	c  701s |      17 |   430874 |   276632 |    23098     23 |      663 |      436
704.12/704.37	c  704s |      17 |   431400 |   277132 |    23098     23 |      663 |      436
706.61/706.85	c  706s |      17 |   431919 |   277632 |    23098     23 |      663 |      436
709.01/709.24	c  708s |      17 |   432455 |   278132 |    23098     23 |      663 |      436
711.31/711.57	c  711s |      17 |   432984 |   278632 |    23098     23 |      663 |      436
713.82/714.06	c  713s |      17 |   433506 |   279132 |    23098     23 |      663 |      436
716.11/716.39	c  716s |      17 |   434200 |   279732 |    23098     23 |      663 |      436
718.50/718.73	c  718s |      17 |   434876 |   280332 |    23098     23 |      663 |      436
720.71/720.92	c  720s |      17 |   435581 |   280932 |    23098     23 |      663 |      436
723.01/723.20	c  722s |      17 |   436135 |   281432 |    23098     23 |      663 |      436
725.21/725.42	c  725s |      17 |   436695 |   281932 |    23098     23 |      663 |      436
727.31/727.51	c  727s |      17 |   437248 |   282432 |    23098     23 |      663 |      436
729.51/729.73	c  729s |      17 |   437793 |   282932 |    23098     23 |      663 |      436
731.61/731.86	c  731s |      17 |   438259 |   283332 |    23098     24 |      663 |      436
733.71/733.92	c  733s |      17 |   438925 |   283932 |    23098     24 |      663 |      436
735.91/736.16	c  735s |      17 |   439723 |   284632 |    23098     24 |      663 |      436
738.10/738.33	c  738s |      17 |   440502 |   285332 |    23098     24 |      663 |      436
740.50/740.72	c  740s |      17 |   441268 |   286032 |    23098     24 |      663 |      436
742.70/742.97	c  742s |      17 |   441898 |   286632 |    23098     24 |      663 |      436
745.10/745.34	c  745s |      17 |   442535 |   287232 |    23098     24 |      663 |      436
747.29/747.58	c  747s |      17 |   443207 |   287832 |    23098     24 |      663 |      436
749.59/749.81	c  749s |      17 |   443959 |   288532 |    23098     24 |      663 |      436
751.79/752.09	c  751s |      17 |   444631 |   289132 |    23098     24 |      663 |      436
753.89/754.18	c  753s |      17 |   445180 |   289632 |    23098     24 |      663 |      436
756.28/756.58	c  756s |      17 |   445837 |   290232 |    23098     24 |      663 |      436
758.38/758.65	c  758s |      17 |   446369 |   290732 |    23098     24 |      663 |      436
760.48/760.74	c  760s |      17 |   446904 |   291232 |    23098     24 |      663 |      436
762.68/762.91	c  762s |      17 |   447448 |   291732 |    23098     24 |      663 |      436
764.98/765.30	c  765s |      17 |   447969 |   292232 |    23098     24 |      663 |      436
767.08/767.39	c  767s |      17 |   448525 |   292732 |    23098     24 |      663 |      436
769.28/769.52	c  769s |      17 |   449085 |   293232 |    23098     24 |      663 |      436
771.28/771.53	c  771s |      17 |   449513 |   293632 |    23098     24 |      663 |      436
773.47/773.73	c  773s |      17 |   450072 |   294132 |    23098     24 |      663 |      436
775.57/775.89	c  775s |      17 |   450520 |   294532 |    25408     24 |      663 |      436
778.07/778.35	c  778s |      17 |   451218 |   295132 |    25408     24 |      663 |      436
780.37/780.63	c  780s |      17 |   451763 |   295632 |    25408     24 |      663 |      436
782.57/782.85	c  782s |      17 |   452355 |   296132 |    25408     24 |      663 |      436
783.27/783.52	c  783s |      18 |   452488 |   296252 |    25408     24 |      663 |      436
785.28/785.59	c  785s |      18 |   456876 |   297352 |    25408     25 |      663 |      436
787.26/787.60	c  787s |      18 |   461091 |   299252 |    25408     25 |      663 |      436
789.46/789.73	c  789s |      18 |   463734 |   300952 |    25408     25 |      663 |      436
791.46/791.73	c  791s |      18 |   465457 |   302152 |    25408     25 |      663 |      436
793.46/793.76	c  793s |      18 |   466767 |   303252 |    25408     25 |      663 |      436
795.66/795.99	c  795s |      18 |   467850 |   304152 |    25408     25 |      663 |      436
797.85/798.18	c  797s |      18 |   468654 |   304852 |    25408     25 |      663 |      436
800.15/800.43	c  800s |      18 |   469605 |   305652 |    25408     25 |      663 |      436
802.25/802.50	c  802s |      18 |   470592 |   306452 |    25408     25 |      663 |      436
804.25/804.59	c  804s |      18 |   471412 |   307152 |    25408     25 |      663 |      436
806.35/806.67	c  806s |      18 |   472191 |   307852 |    25408     25 |      663 |      436
808.45/808.74	c  808s |      18 |   473015 |   308552 |    25408     25 |      663 |      436
810.45/810.77	c  810s |      18 |   473719 |   309152 |    25408     25 |      663 |      436
812.75/813.06	c  812s |      18 |   474650 |   309952 |    25408     25 |      663 |      436
814.95/815.23	c  814s |      18 |   475328 |   310552 |    25408     25 |      663 |      436
817.34/817.67	c  817s |      18 |   476236 |   311352 |    25408     25 |      663 |      436
819.44/819.75	c  819s |      18 |   476741 |   311752 |    25408     26 |      663 |      436
821.65/821.92	c  821s |      18 |   477266 |   312252 |    25408     26 |      663 |      436
823.85/824.10	c  823s |      18 |   477824 |   312752 |    25408     26 |      663 |      436
825.96/826.26	c  825s |      18 |   479322 |   313752 |    25408     26 |      663 |      436
828.15/828.41	c  828s |      18 |   480460 |   314652 |    25408     26 |      663 |      436
830.25/830.61	c  830s |      18 |   481524 |   315552 |    25408     26 |      663 |      436
832.34/832.67	c  832s |      18 |   482465 |   316352 |    25408     26 |      663 |      436
834.44/834.75	c  834s |      18 |   483388 |   317152 |    25408     26 |      663 |      436
836.73/837.01	c  836s |      18 |   484328 |   317952 |    25408     26 |      663 |      436
838.73/839.06	c  838s |      18 |   485144 |   318652 |    25408     26 |      663 |      436
840.83/841.19	c  840s |      18 |   485947 |   319352 |    25408     26 |      663 |      436
843.03/843.30	c  843s |      18 |   486624 |   319952 |    25408     26 |      663 |      436
845.03/845.33	c  845s |      18 |   487327 |   320552 |    25408     26 |      663 |      436
847.02/847.34	c  847s |      18 |   487905 |   321052 |    25408     26 |      663 |      436
849.22/849.52	c  849s |      18 |   489322 |   321852 |    25408     26 |      663 |      436
851.32/851.60	c  851s |      18 |   490536 |   322752 |    25408     26 |      663 |      436
853.43/853.79	c  853s |      18 |   491686 |   323652 |    25408     26 |      663 |      436
855.53/855.81	c  855s |      18 |   492522 |   324352 |    25408     26 |      663 |      436
857.61/857.95	c  857s |      18 |   493450 |   325152 |    25408     26 |      663 |      436
859.92/860.24	c  859s |      18 |   494368 |   325952 |    25408     26 |      663 |      436
862.01/862.33	c  862s |      18 |   495061 |   326552 |    25408     27 |      663 |      436
864.21/864.51	c  864s |      18 |   496099 |   327452 |    25408     27 |      663 |      436
866.21/866.59	c  866s |      18 |   496998 |   328252 |    25408     27 |      663 |      436
868.41/868.73	c  868s |      18 |   498119 |   329152 |    25408     27 |      663 |      436
870.51/870.84	c  870s |      18 |   499271 |   330052 |    25408     27 |      663 |      436
872.91/873.21	c  872s |      18 |   500213 |   330852 |    25408     27 |      663 |      436
875.01/875.35	c  875s |      18 |   501136 |   331652 |    25408     27 |      663 |      436
877.00/877.38	c  877s |      18 |   502075 |   332452 |    25408     27 |      663 |      436
879.10/879.44	c  879s |      18 |   502863 |   333152 |    25408     27 |      663 |      436
881.30/881.66	c  881s |      18 |   503816 |   333952 |    25408     27 |      663 |      436
883.40/883.78	c  883s |      18 |   504613 |   334652 |    25408     27 |      663 |      436
885.70/886.02	c  885s |      18 |   505378 |   335352 |    25408     27 |      663 |      436
887.69/888.02	c  887s |      18 |   506187 |   336052 |    25408     27 |      663 |      436
889.99/890.31	c  890s |      18 |   507004 |   336752 |    25408     27 |      663 |      436
892.09/892.49	c  892s |      18 |   507786 |   337452 |    25408     27 |      663 |      436
894.59/894.92	c  894s |      18 |   508456 |   338052 |    25408     27 |      663 |      436
896.88/897.26	c  896s |      18 |   509129 |   338652 |    25408     27 |      663 |      436
898.98/899.31	c  899s |      18 |   509687 |   339152 |    25408     27 |      663 |      436
901.18/901.57	c  901s |      18 |   510538 |   339852 |    25408     27 |      663 |      436
903.38/903.74	c  903s |      18 |   511410 |   340552 |    25408     27 |      663 |      436
905.58/905.98	c  905s |      18 |   512111 |   341152 |    25408     28 |      663 |      436
907.67/908.00	c  907s |      18 |   512937 |   341852 |    25408     28 |      663 |      436
909.77/910.17	c  909s |      18 |   513729 |   342552 |    25408     28 |      663 |      436
911.87/912.27	c  911s |      18 |   514531 |   343252 |    25408     28 |      663 |      436
914.07/914.49	c  914s |      18 |   515549 |   344052 |    25408     28 |      663 |      436
916.36/916.73	c  916s |      18 |   516524 |   344852 |    25408     28 |      663 |      436
918.46/918.86	c  918s |      18 |   517341 |   345552 |    25408     28 |      663 |      436
920.56/920.96	c  920s |      18 |   518183 |   346252 |    25408     28 |      663 |      436
922.67/923.06	c  922s |      18 |   518998 |   346952 |    25408     28 |      663 |      436
924.87/925.23	c  924s |      18 |   519794 |   347652 |    25408     28 |      663 |      436
926.96/927.35	c  927s |      18 |   520600 |   348352 |    25408     28 |      663 |      436
929.16/929.54	c  929s |      18 |   521269 |   348952 |    25408     28 |      663 |      436
931.36/931.71	c  931s |      18 |   521945 |   349552 |    25408     28 |      663 |      436
933.56/933.92	c  933s |      18 |   522618 |   350152 |    25408     28 |      663 |      436
935.86/936.24	c  935s |      18 |   523270 |   350752 |    25408     28 |      663 |      436
937.95/938.33	c  938s |      18 |   524004 |   351352 |    25408     28 |      663 |      436
940.15/940.54	c  940s |      18 |   524673 |   351952 |    25408     28 |      663 |      436
942.46/942.83	c  942s |      18 |   525381 |   352552 |    25408     28 |      663 |      436
944.66/945.03	c  944s |      18 |   526315 |   353252 |    25408     28 |      663 |      436
946.64/947.06	c  946s |      18 |   527046 |   353852 |    25408     28 |      663 |      436
948.64/949.07	c  948s |      18 |   527818 |   354452 |    25408     28 |      663 |      436
950.74/951.11	c  950s |      18 |   528743 |   354952 |    25408     29 |      663 |      436
952.94/953.38	c  953s |      18 |   529846 |   355852 |    25408     29 |      663 |      436
955.04/955.42	c  955s |      18 |   530804 |   356652 |    25408     29 |      663 |      436
957.03/957.49	c  957s |      18 |   531930 |   357452 |    25408     29 |      663 |      436
959.23/959.60	c  959s |      18 |   532944 |   358252 |    25408     29 |      663 |      436
961.23/961.61	c  961s |      18 |   533984 |   359052 |    25408     29 |      663 |      436
963.43/963.87	c  963s |      18 |   534920 |   359852 |    25408     29 |      663 |      436
965.74/966.12	c  965s |      18 |   535777 |   360552 |    25408     29 |      663 |      436
967.93/968.30	c  968s |      18 |   536602 |   361252 |    25408     29 |      663 |      436
970.03/970.47	c  970s |      18 |   537322 |   361852 |    25408     29 |      663 |      436
972.43/972.80	c  972s |      18 |   538090 |   362552 |    25408     29 |      663 |      436
974.43/974.81	c  974s |      18 |   538810 |   363152 |    25408     29 |      663 |      436
976.72/977.11	c  976s |      18 |   539504 |   363752 |    25408     29 |      663 |      436
979.02/979.40	c  979s |      18 |   540182 |   364352 |    25408     29 |      663 |      436
981.02/981.49	c  981s |      18 |   540723 |   364852 |    25408     29 |      663 |      436
983.22/983.61	c  983s |      18 |   541282 |   365352 |    25408     29 |      663 |      436
985.33/985.76	c  985s |      18 |   541826 |   365852 |    25408     29 |      663 |      436
987.61/988.01	c  987s |      18 |   542369 |   366352 |    25408     29 |      663 |      436
989.72/990.14	c  989s |      18 |   542925 |   366852 |    25408     29 |      663 |      436
991.82/992.22	c  991s |      18 |   543462 |   367352 |    25408     29 |      663 |      436
993.91/994.35	c  994s |      18 |   544011 |   367852 |    25408     29 |      663 |      436
996.21/996.61	c  996s |      18 |   544551 |   368352 |    25408     29 |      663 |      436
998.61/999.08	c  998s |      18 |   545174 |   368852 |    25408     30 |      663 |      436
1000.72/1001.11	c 1000s |      18 |   545921 |   369452 |    25408     30 |      663 |      436
1002.81/1003.22	c 1002s |      18 |   546882 |   370252 |    25408     30 |      663 |      436
1004.80/1005.25	c 1004s |      18 |   547732 |   370952 |    25408     30 |      663 |      436
1006.90/1007.36	c 1007s |      18 |   548515 |   371652 |    25408     30 |      663 |      436
1009.10/1009.57	c 1009s |      18 |   549297 |   372352 |    25408     30 |      663 |      436
1011.30/1011.72	c 1011s |      18 |   549943 |   372952 |    25408     30 |      663 |      436
1013.40/1013.85	c 1013s |      18 |   550629 |   373552 |    25408     30 |      663 |      436
1015.40/1015.88	c 1015s |      18 |   551160 |   374052 |    25408     30 |      663 |      436
1017.40/1017.89	c 1017s |      18 |   551970 |   374652 |    25408     30 |      663 |      436
1019.60/1020.03	c 1019s |      18 |   552675 |   375252 |    25408     30 |      663 |      436
1021.61/1022.06	c 1021s |      18 |   553252 |   375752 |    25408     30 |      663 |      436
1023.91/1024.30	c 1024s |      18 |   553911 |   376352 |    25408     30 |      663 |      436
1025.92/1026.32	c 1026s |      18 |   554471 |   376852 |    25408     30 |      663 |      436
1028.31/1028.73	c 1028s |      18 |   555141 |   377452 |    25408     30 |      663 |      436
1030.51/1030.91	c 1030s |      18 |   555722 |   377952 |    25408     30 |      663 |      436
1032.91/1033.30	c 1033s |      18 |   556278 |   378452 |    25408     30 |      663 |      436
1034.90/1035.33	c 1035s |      18 |   556863 |   378952 |    25408     30 |      663 |      436
1037.20/1037.68	c 1037s |      18 |   557402 |   379452 |    25408     30 |      663 |      436
1039.50/1039.98	c 1039s |      18 |   557976 |   379952 |    25408     30 |      663 |      436
1041.70/1042.14	c 1041s |      18 |   558552 |   380452 |    25408     30 |      663 |      436
1044.20/1044.60	c 1044s |      18 |   559120 |   380952 |    25408     30 |      663 |      436
1046.40/1046.80	c 1046s |      18 |   559570 |   381352 |    25408     30 |      663 |      436
1048.50/1048.92	c 1048s |      18 |   560123 |   381852 |    25408     30 |      663 |      436
1050.80/1051.22	c 1050s |      18 |   560734 |   382352 |    25408     30 |      663 |      436
1053.00/1053.40	c 1053s |      18 |   561505 |   382952 |    25408     30 |      663 |      436
1055.00/1055.43	c 1055s |      18 |   561864 |   383252 |    25408     31 |      663 |      436
1057.20/1057.62	c 1057s |      18 |   563004 |   384152 |    25408     31 |      663 |      436
1059.40/1059.84	c 1059s |      18 |   563972 |   384952 |    25408     31 |      663 |      436
1061.50/1061.92	c 1061s |      18 |   564785 |   385652 |    25408     31 |      663 |      436
1063.90/1064.31	c 1064s |      18 |   565597 |   386352 |    25408     31 |      663 |      436
1066.00/1066.44	c 1066s |      18 |   566264 |   386952 |    25408     31 |      663 |      436
1068.20/1068.68	c 1068s |      18 |   566938 |   387552 |    25408     31 |      663 |      436
1070.40/1070.85	c 1070s |      18 |   567501 |   388052 |    25408     31 |      663 |      436
1072.70/1073.17	c 1072s |      18 |   568204 |   388652 |    25408     31 |      663 |      436
1074.90/1075.33	c 1075s |      18 |   568912 |   389252 |    25408     31 |      663 |      436
1077.00/1077.43	c 1077s |      18 |   569637 |   389852 |    25408     31 |      663 |      436
1079.00/1079.49	c 1079s |      18 |   570425 |   390452 |    25408     31 |      663 |      436
1081.30/1081.79	c 1081s |      18 |   571086 |   391052 |    25408     31 |      663 |      436
1083.40/1083.83	c 1083s |      18 |   571772 |   391652 |    25408     31 |      663 |      436
1085.41/1085.87	c 1085s |      18 |   572531 |   392252 |    25408     31 |      663 |      436
1087.39/1087.89	c 1087s |      18 |   573107 |   392752 |    25408     31 |      663 |      436
1089.39/1089.90	c 1089s |      18 |   573661 |   393252 |    25408     31 |      663 |      436
1091.79/1092.29	c 1092s |      18 |   574214 |   393752 |    25408     31 |      663 |      436
1093.89/1094.39	c 1094s |      18 |   574948 |   394352 |    25408     31 |      663 |      436
1096.30/1096.76	c 1096s |      18 |   575631 |   394952 |    25408     31 |      663 |      436
1098.69/1099.11	c 1098s |      18 |   576323 |   395552 |    25408     31 |      663 |      436
1100.70/1101.14	c 1100s |      18 |   576889 |   396052 |    25408     31 |      663 |      436
1102.79/1103.27	c 1102s |      18 |   577445 |   396552 |    25408     31 |      663 |      436
1104.99/1105.45	c 1105s |      18 |   577989 |   397052 |    25408     31 |      663 |      436
1107.30/1107.77	c 1107s |      18 |   578454 |   397452 |    25408     32 |      663 |      436
1109.50/1110.01	c 1109s |      18 |   579639 |   398252 |    25408     32 |      663 |      436
1111.80/1112.28	c 1112s |      18 |   580711 |   399052 |    25408     32 |      663 |      436
1113.90/1114.35	c 1114s |      18 |   581689 |   399852 |    25408     32 |      663 |      436
1115.89/1116.39	c 1116s |      18 |   582658 |   400652 |    25408     32 |      663 |      436
1118.19/1118.64	c 1118s |      18 |   583663 |   401452 |    25408     32 |      663 |      436
1120.49/1120.98	c 1120s |      18 |   584504 |   402152 |    25408     32 |      663 |      436
1122.59/1123.02	c 1122s |      18 |   585184 |   402752 |    25408     32 |      663 |      436
1124.79/1125.25	c 1124s |      18 |   586058 |   403452 |    25408     32 |      663 |      436
1126.89/1127.36	c 1127s |      18 |   586785 |   404052 |    25408     32 |      663 |      436
1128.89/1129.39	c 1129s |      18 |   587562 |   404652 |    25408     32 |      663 |      436
1131.19/1131.66	c 1131s |      18 |   588506 |   405352 |    25408     32 |      663 |      436
1133.58/1134.01	c 1133s |      18 |   589201 |   405952 |    25408     32 |      663 |      436
1135.78/1136.21	c 1135s |      18 |   589905 |   406552 |    25408     32 |      663 |      436
1137.98/1138.45	c 1138s |      18 |   590752 |   407252 |    25408     32 |      663 |      436
1140.18/1140.68	c 1140s |      18 |   591506 |   407852 |    25408     32 |      663 |      436
1142.28/1142.74	c 1142s |      18 |   591964 |   408252 |    25408     32 |      663 |      436
1144.69/1145.15	c 1144s |      18 |   592669 |   408852 |    25408     32 |      663 |      436
1146.89/1147.34	c 1147s |      18 |   593280 |   409352 |    25408     32 |      663 |      436
1148.98/1149.46	c 1149s |      18 |   593900 |   409852 |    25408     32 |      663 |      436
1151.29/1151.73	c 1151s |      18 |   594604 |   410452 |    25408     32 |      663 |      436
1153.59/1154.01	c 1153s |      18 |   595269 |   411052 |    25408     32 |      663 |      436
1155.58/1156.04	c 1155s |      18 |   595833 |   411552 |    25408     32 |      663 |      436
1157.58/1158.05	c 1157s |      18 |   596272 |   411952 |    25408     33 |      663 |      436
1159.78/1160.29	c 1160s |      18 |   597098 |   412652 |    25408     33 |      663 |      436
1162.08/1162.53	c 1162s |      18 |   597817 |   413252 |    25408     33 |      663 |      436
1164.28/1164.76	c 1164s |      18 |   598659 |   413952 |    25408     33 |      663 |      436
1166.49/1166.91	c 1166s |      18 |   599368 |   414552 |    25408     33 |      663 |      436
1168.49/1168.96	c 1168s |      18 |   600084 |   415152 |    25408     33 |      663 |      436
1170.68/1171.18	c 1170s |      18 |   600755 |   415752 |    25408     33 |      663 |      436
1172.98/1173.47	c 1173s |      18 |   601484 |   416352 |    25408     33 |      663 |      436
1175.18/1175.60	c 1175s |      18 |   602168 |   416952 |    25408     33 |      663 |      436
1177.18/1177.64	c 1177s |      18 |   602722 |   417452 |    25408     33 |      663 |      436
1179.48/1179.92	c 1179s |      18 |   603295 |   417952 |    25408     33 |      663 |      436
1181.68/1182.15	c 1181s |      18 |   604128 |   418652 |    25408     33 |      663 |      436
1184.08/1184.55	c 1184s |      18 |   604960 |   419352 |    25408     33 |      663 |      436
1186.38/1186.82	c 1186s |      18 |   605687 |   419952 |    25408     33 |      663 |      436
1188.69/1189.12	c 1188s |      18 |   606361 |   420552 |    25408     33 |      663 |      436
1190.68/1191.14	c 1190s |      18 |   606930 |   421052 |    25408     33 |      663 |      436
1192.78/1193.22	c 1192s |      18 |   607519 |   421552 |    25408     33 |      663 |      436
1194.88/1195.32	c 1195s |      18 |   608072 |   422052 |    25408     33 |      663 |      436
1197.28/1197.71	c 1197s |      18 |   608802 |   422652 |    25408     33 |      663 |      436
1199.48/1199.95	c 1199s |      18 |   609509 |   423252 |    25408     33 |      663 |      436
1201.88/1202.34	c 1202s |      18 |   610215 |   423852 |    25408     33 |      663 |      436
1203.98/1204.42	c 1204s |      18 |   610795 |   424352 |    25408     33 |      663 |      436
1206.18/1206.63	c 1206s |      18 |   611378 |   424852 |    25408     33 |      663 |      436
1208.28/1208.71	c 1208s |      18 |   611825 |   425252 |    25408     33 |      663 |      436
1210.28/1210.74	c 1210s |      18 |   612395 |   425752 |    25408     33 |      663 |      436
1212.57/1213.04	c 1212s |      18 |   612844 |   426152 |    25408     34 |      663 |      436
1214.67/1215.11	c 1214s |      18 |   613550 |   426752 |    25408     34 |      663 |      436
1216.97/1217.42	c 1217s |      18 |   614256 |   427352 |    25408     34 |      663 |      436
1218.97/1219.46	c 1219s |      18 |   614963 |   427952 |    25408     34 |      663 |      436
1220.97/1221.48	c 1221s |      18 |   615506 |   428452 |    25408     34 |      663 |      436
1223.27/1223.73	c 1223s |      18 |   616201 |   429052 |    25408     34 |      663 |      436
1225.27/1225.74	c 1225s |      18 |   616923 |   429652 |    25408     34 |      663 |      436
1227.47/1227.95	c 1227s |      18 |   617772 |   430352 |    25408     34 |      663 |      436
1229.67/1230.12	c 1229s |      18 |   618441 |   430952 |    25408     34 |      663 |      436
1231.97/1232.41	c 1232s |      18 |   619125 |   431552 |    25408     34 |      663 |      436
1234.27/1234.78	c 1234s |      18 |   619816 |   432152 |    25408     34 |      663 |      436
1236.57/1237.02	c 1236s |      18 |   620527 |   432752 |    25408     34 |      663 |      436
1238.67/1239.11	c 1238s |      18 |   621211 |   433352 |    25408     34 |      663 |      436
1240.77/1241.28	c 1241s |      18 |   621921 |   433952 |    25408     34 |      663 |      436
1242.97/1243.44	c 1243s |      18 |   622484 |   434452 |    25408     34 |      663 |      436
1245.07/1245.55	c 1245s |      18 |   622940 |   434852 |    25408     34 |      663 |      436
1247.27/1247.77	c 1247s |      18 |   623385 |   435252 |    25408     34 |      663 |      436
1249.47/1249.91	c 1249s |      18 |   623825 |   435652 |    25408     34 |      663 |      436
1251.77/1252.26	c 1251s |      18 |   624270 |   436052 |    25408     34 |      663 |      436
1253.87/1254.35	c 1254s |      18 |   624724 |   436452 |    25408     34 |      663 |      436
1256.07/1256.54	c 1256s |      18 |   625308 |   436952 |    25408     34 |      663 |      436
1258.08/1258.56	c 1258s |      18 |   625905 |   437452 |    25408     34 |      663 |      436
1260.28/1260.79	c 1260s |      18 |   626458 |   437952 |    25408     34 |      663 |      436
1262.47/1262.97	c 1262s |      18 |   627009 |   438452 |    25408     34 |      663 |      436
1264.76/1265.29	c 1265s |      18 |   627577 |   438952 |    25408     34 |      663 |      436
1267.06/1267.56	c 1267s |      18 |   628157 |   439452 |    25408     34 |      663 |      436
1269.26/1269.70	c 1269s |      18 |   628576 |   439852 |    25408     34 |      663 |      436
1271.36/1271.89	c 1271s |      18 |   629027 |   440252 |    25408     34 |      663 |      436
1273.47/1273.91	c 1273s |      18 |   629382 |   440552 |    25408     35 |      663 |      436
1275.46/1275.95	c 1275s |      18 |   629938 |   441052 |    25408     35 |      663 |      436
1277.77/1278.29	c 1278s |      18 |   630595 |   441652 |    27949     35 |      663 |      436
1280.16/1280.61	c 1280s |      18 |   631176 |   442152 |    27949     35 |      663 |      436
1282.27/1282.76	c 1282s |      18 |   631733 |   442652 |    27949     35 |      663 |      436
1284.26/1284.80	c 1284s |      18 |   632469 |   443252 |    27949     35 |      663 |      436
1286.57/1287.01	c 1286s |      18 |   633605 |   444152 |    27949     35 |      663 |      436
1287.46/1287.95	c 1287s |      19 |   633997 |   444482 |    27949     35 |      663 |      436
1289.56/1290.01	c 1289s |      19 |   646122 |   446382 |    27949     35 |      663 |      436
1291.66/1292.10	c 1291s |      19 |   649722 |   448482 |    27949     35 |      663 |      436
1293.66/1294.15	c 1293s |      19 |   652544 |   450082 |    27949     35 |      663 |      436
1295.66/1296.18	c 1295s |      19 |   655418 |   451782 |    27949     35 |      663 |      436
1297.76/1298.23	c 1297s |      19 |   657115 |   453082 |    27949     35 |      663 |      436
1299.76/1300.26	c 1299s |      19 |   658508 |   454182 |    27949     35 |      663 |      436
1301.86/1302.34	c 1302s |      19 |   659978 |   455282 |    27949     35 |      663 |      436
1303.96/1304.49	c 1304s |      19 |   661394 |   456382 |    27949     35 |      663 |      436
1306.06/1306.50	c 1306s |      19 |   662095 |   456982 |    27949     36 |      663 |      436
1308.16/1308.66	c 1308s |      19 |   664247 |   458382 |    27949     36 |      663 |      436
1310.16/1310.69	c 1310s |      19 |   665451 |   459382 |    27949     36 |      663 |      436
1312.36/1312.83	c 1312s |      19 |   666915 |   460582 |    27949     36 |      663 |      436
1314.36/1314.87	c 1314s |      19 |   668147 |   461582 |    27949     36 |      663 |      436
1316.56/1317.09	c 1316s |      19 |   669324 |   462582 |    27949     36 |      663 |      436
1318.76/1319.26	c 1318s |      19 |   670397 |   463482 |    27949     36 |      663 |      436
1320.77/1321.29	c 1321s |      19 |   671552 |   464382 |    27949     36 |      663 |      436
1323.05/1323.53	c 1323s |      19 |   672818 |   465382 |    27949     36 |      663 |      436
1325.06/1325.60	c 1325s |      19 |   673771 |   466182 |    27949     36 |      663 |      436
1327.26/1327.73	c 1327s |      19 |   674728 |   466982 |    27949     36 |      663 |      436
1329.46/1330.01	c 1329s |      19 |   675655 |   467782 |    27949     36 |      663 |      436
1331.76/1332.21	c 1331s |      19 |   676560 |   468582 |    27949     36 |      663 |      436
1333.86/1334.40	c 1334s |      19 |   677946 |   469582 |    27949     36 |      663 |      436
1335.95/1336.50	c 1336s |      19 |   678911 |   470382 |    27949     36 |      663 |      436
1338.26/1338.75	c 1338s |      19 |   680042 |   471282 |    27949     36 |      663 |      436
1340.35/1340.88	c 1340s |      19 |   680994 |   472082 |    27949     36 |      663 |      436
1342.66/1343.20	c 1342s |      19 |   681854 |   472782 |    27949     37 |      663 |      436
1344.75/1345.25	c 1344s |      19 |   682935 |   473682 |    27949     37 |      663 |      436
1347.06/1347.54	c 1347s |      19 |   683839 |   474482 |    27949     37 |      663 |      436
1349.05/1349.55	c 1349s |      19 |   684514 |   475082 |    27949     37 |      663 |      436
1351.25/1351.78	c 1351s |      19 |   685463 |   475882 |    27949     37 |      663 |      436
1353.55/1354.02	c 1353s |      19 |   686566 |   476782 |    27949     37 |      663 |      436
1355.55/1356.06	c 1355s |      19 |   687776 |   477682 |    27949     37 |      663 |      436
1357.55/1358.07	c 1357s |      19 |   688776 |   478482 |    27949     37 |      663 |      436
1359.75/1360.21	c 1359s |      19 |   689815 |   479282 |    27949     37 |      663 |      436
1361.85/1362.38	c 1362s |      19 |   690973 |   480182 |    27949     37 |      663 |      436
1364.15/1364.60	c 1364s |      19 |   691975 |   480982 |    27949     37 |      663 |      436
1366.25/1366.76	c 1366s |      19 |   693148 |   481882 |    27949     37 |      663 |      436
1368.25/1368.77	c 1368s |      19 |   694156 |   482682 |    27949     37 |      663 |      436
1370.55/1371.07	c 1370s |      19 |   695167 |   483482 |    27949     37 |      663 |      436
1372.65/1373.13	c 1372s |      19 |   695848 |   484082 |    27949     37 |      663 |      436
1374.85/1375.39	c 1375s |      19 |   696700 |   484782 |    27949     37 |      663 |      436
1377.04/1377.50	c 1377s |      19 |   697428 |   485382 |    27949     37 |      663 |      436
1379.24/1379.70	c 1379s |      19 |   698337 |   486082 |    27949     37 |      663 |      436
1381.54/1382.08	c 1381s |      19 |   699192 |   486782 |    27949     37 |      663 |      436
1383.74/1384.20	c 1383s |      19 |   699934 |   487382 |    27949     37 |      663 |      436
1386.35/1386.81	c 1386s |      19 |   700689 |   487982 |    27949     38 |      663 |      436
1388.35/1388.89	c 1388s |      19 |   701705 |   488782 |    27949     38 |      663 |      436
1390.35/1390.90	c 1390s |      19 |   702657 |   489582 |    27949     38 |      663 |      436
1392.45/1392.99	c 1392s |      19 |   703626 |   490382 |    27949     38 |      663 |      436
1394.55/1395.03	c 1394s |      19 |   704749 |   491282 |    27949     38 |      663 |      436
1396.66/1397.11	c 1396s |      19 |   705689 |   492082 |    27949     38 |      663 |      436
1398.76/1399.22	c 1398s |      19 |   706522 |   492782 |    27949     38 |      663 |      436
1400.75/1401.26	c 1400s |      19 |   707484 |   493582 |    27949     38 |      663 |      436
1403.05/1403.53	c 1403s |      19 |   708462 |   494382 |    27949     38 |      663 |      436
1405.05/1405.57	c 1405s |      19 |   709338 |   495082 |    27949     38 |      663 |      436
1407.35/1407.80	c 1407s |      19 |   710179 |   495782 |    27949     38 |      663 |      436
1409.45/1409.98	c 1409s |      19 |   710996 |   496482 |    27949     38 |      663 |      436
1411.55/1412.06	c 1411s |      19 |   711860 |   497182 |    27949     38 |      663 |      436
1413.65/1414.13	c 1413s |      19 |   712686 |   497882 |    27949     38 |      663 |      436
1415.64/1416.13	c 1415s |      19 |   713352 |   498482 |    27949     38 |      663 |      436
1417.74/1418.21	c 1417s |      19 |   713931 |   498982 |    27949     38 |      663 |      436
1419.94/1420.49	c 1420s |      19 |   714643 |   499582 |    27949     38 |      663 |      436
1422.24/1422.72	c 1422s |      19 |   715383 |   500182 |    27949     38 |      663 |      436
1424.34/1424.83	c 1424s |      19 |   715962 |   500682 |    27949     38 |      663 |      436
1426.35/1426.86	c 1426s |      19 |   716665 |   501282 |    27949     38 |      663 |      436
1428.45/1428.96	c 1428s |      19 |   717418 |   501882 |    27949     38 |      663 |      436
1430.94/1431.44	c 1431s |      19 |   718284 |   502582 |    27949     38 |      663 |      436
1433.24/1433.73	c 1433s |      19 |   718977 |   503182 |    27949     38 |      663 |      436
1435.34/1435.86	c 1435s |      19 |   719454 |   503582 |    27949     39 |      663 |      436
1437.35/1437.87	c 1437s |      19 |   720315 |   504282 |    27949     39 |      663 |      436
1439.55/1440.05	c 1439s |      19 |   721251 |   505082 |    27949     39 |      663 |      436
1441.54/1442.10	c 1441s |      19 |   722101 |   505782 |    27949     39 |      663 |      436
1443.64/1444.18	c 1443s |      19 |   722948 |   506482 |    27949     39 |      663 |      436
1445.84/1446.34	c 1446s |      19 |   723790 |   507182 |    27949     39 |      663 |      436
1448.04/1448.50	c 1448s |      19 |   724618 |   507882 |    27949     39 |      663 |      436
1450.34/1450.82	c 1450s |      19 |   725449 |   508582 |    27949     39 |      663 |      436
1452.44/1452.91	c 1452s |      19 |   726247 |   509282 |    27949     39 |      663 |      436
1454.44/1454.91	c 1454s |      19 |   727041 |   509982 |    27949     39 |      663 |      436
1456.44/1456.94	c 1456s |      19 |   727880 |   510682 |    27949     39 |      663 |      436
1458.54/1459.06	c 1458s |      19 |   728689 |   511382 |    27949     39 |      663 |      436
1460.54/1461.09	c 1460s |      19 |   729500 |   512082 |    27949     39 |      663 |      436
1462.84/1463.34	c 1463s |      19 |   730487 |   512882 |    27949     39 |      663 |      436
1465.14/1465.64	c 1465s |      19 |   731478 |   513682 |    27949     39 |      663 |      436
1467.44/1467.95	c 1467s |      19 |   732444 |   514482 |    27949     39 |      663 |      436
1469.74/1470.25	c 1469s |      19 |   733283 |   515182 |    27949     39 |      663 |      436
1471.74/1472.26	c 1471s |      19 |   733986 |   515782 |    27949     39 |      663 |      436
1473.94/1474.44	c 1474s |      19 |   734797 |   516482 |    27949     39 |      663 |      436
1476.03/1476.54	c 1476s |      19 |   735498 |   517082 |    27949     39 |      663 |      436
1478.13/1478.67	c 1478s |      19 |   736318 |   517782 |    27949     39 |      663 |      436
1480.24/1480.72	c 1480s |      19 |   736975 |   518382 |    27949     39 |      663 |      436
1482.44/1482.98	c 1482s |      19 |   737658 |   518982 |    27949     39 |      663 |      436
1484.73/1485.20	c 1484s |      19 |   738214 |   519482 |    27949     40 |      663 |      436
1486.74/1487.24	c 1486s |      19 |   739067 |   520182 |    27949     40 |      663 |      436
1488.94/1489.42	c 1489s |      19 |   740001 |   520982 |    27949     40 |      663 |      436
1491.03/1491.50	c 1491s |      19 |   740801 |   521682 |    27949     40 |      663 |      436
1493.03/1493.59	c 1493s |      19 |   741923 |   522582 |    27949     40 |      663 |      436
1495.33/1495.83	c 1495s |      19 |   743089 |   523482 |    27949     40 |      663 |      436
1497.33/1497.84	c 1497s |      19 |   744116 |   524282 |    27949     40 |      663 |      436
1499.63/1500.10	c 1499s |      19 |   745229 |   525182 |    27949     40 |      663 |      436
1501.73/1502.25	c 1501s |      19 |   746223 |   525982 |    27949     40 |      663 |      436
1503.93/1504.45	c 1504s |      19 |   747241 |   526782 |    27949     40 |      663 |      436
1506.23/1506.77	c 1506s |      19 |   748244 |   527582 |    27949     40 |      663 |      436
1508.53/1509.09	c 1508s |      19 |   749064 |   528282 |    27949     40 |      663 |      436
1510.93/1511.46	c 1511s |      19 |   749911 |   528982 |    27949     40 |      663 |      436
1513.24/1513.73	c 1513s |      19 |   750641 |   529582 |    27949     40 |      663 |      436
1515.44/1515.94	c 1515s |      19 |   751477 |   530282 |    27949     40 |      663 |      436
1517.43/1517.96	c 1517s |      19 |   752353 |   530982 |    27949     40 |      663 |      436
1519.73/1520.21	c 1519s |      19 |   753193 |   531682 |    27949     40 |      663 |      436
1521.93/1522.44	c 1522s |      19 |   754067 |   532382 |    27949     40 |      663 |      436
1523.92/1524.46	c 1524s |      19 |   754801 |   532982 |    27949     40 |      663 |      436
1526.22/1526.79	c 1526s |      19 |   755637 |   533682 |    27949     40 |      663 |      436
1528.53/1529.05	c 1528s |      19 |   756508 |   534382 |    27949     40 |      663 |      436
1530.62/1531.11	c 1530s |      19 |   757123 |   534882 |    27949     41 |      663 |      436
1532.83/1533.34	c 1533s |      19 |   758087 |   535682 |    27949     41 |      663 |      436
1534.83/1535.37	c 1535s |      19 |   758944 |   536382 |    27949     41 |      663 |      436
1536.93/1537.43	c 1537s |      19 |   759751 |   537082 |    27949     41 |      663 |      436
1538.93/1539.49	c 1539s |      19 |   760793 |   537882 |    27949     41 |      663 |      436
1541.13/1541.63	c 1541s |      19 |   761793 |   538682 |    27949     41 |      663 |      436
1543.13/1543.66	c 1543s |      19 |   762606 |   539382 |    27949     41 |      663 |      436
1545.43/1545.98	c 1545s |      19 |   763520 |   540182 |    27949     41 |      663 |      436
1547.62/1548.13	c 1547s |      19 |   764341 |   540882 |    27949     41 |      663 |      436
1549.72/1550.27	c 1549s |      19 |   765213 |   541582 |    27949     41 |      663 |      436
1551.92/1552.43	c 1552s |      19 |   766187 |   542382 |    27949     41 |      663 |      436
1554.12/1554.62	c 1554s |      19 |   767135 |   543182 |    27949     41 |      663 |      436
1556.13/1556.65	c 1556s |      19 |   767943 |   543882 |    27949     41 |      663 |      436
1558.23/1558.71	c 1558s |      19 |   768801 |   544582 |    27949     41 |      663 |      436
1560.22/1560.73	c 1560s |      19 |   769597 |   545282 |    27949     41 |      663 |      436
1562.22/1562.78	c 1562s |      19 |   770298 |   545882 |    27949     41 |      663 |      436
1564.32/1564.80	c 1564s |      19 |   771025 |   546482 |    27949     41 |      663 |      436
1566.52/1567.09	c 1566s |      19 |   771868 |   547182 |    27949     41 |      663 |      436
1568.72/1569.21	c 1568s |      19 |   772601 |   547782 |    27949     41 |      663 |      436
1570.82/1571.39	c 1571s |      19 |   773337 |   548382 |    27949     41 |      663 |      436
1573.02/1573.58	c 1573s |      19 |   774190 |   549082 |    27949     41 |      663 |      436
1575.32/1575.82	c 1575s |      19 |   775042 |   549782 |    27949     41 |      663 |      436
1577.52/1578.07	c 1577s |      19 |   775949 |   550482 |    27949     42 |      663 |      436
1579.82/1580.33	c 1580s |      19 |   777022 |   551382 |    27949     42 |      663 |      436
1582.02/1582.51	c 1582s |      19 |   777989 |   552182 |    27949     42 |      663 |      436
1584.32/1584.86	c 1584s |      19 |   778943 |   552982 |    27949     42 |      663 |      436
1586.32/1586.89	c 1586s |      19 |   779624 |   553582 |    27949     42 |      663 |      436
1588.52/1589.09	c 1588s |      19 |   780553 |   554382 |    27949     42 |      663 |      436
1590.72/1591.27	c 1591s |      19 |   781422 |   555082 |    27949     42 |      663 |      436
1592.71/1593.29	c 1593s |      19 |   782281 |   555782 |    27949     42 |      663 |      436
1594.91/1595.43	c 1595s |      19 |   783145 |   556482 |    27949     42 |      663 |      436
1597.11/1597.61	c 1597s |      19 |   784032 |   557182 |    27949     42 |      663 |      436
1599.41/1599.92	c 1599s |      19 |   784719 |   557782 |    27949     42 |      663 |      436
1601.61/1602.20	c 1601s |      19 |   785585 |   558482 |    27949     42 |      663 |      436
1603.71/1604.23	c 1603s |      19 |   786310 |   559082 |    27949     42 |      663 |      436
1605.91/1606.40	c 1606s |      19 |   787151 |   559782 |    27949     42 |      663 |      436
1608.11/1608.63	c 1608s |      19 |   787997 |   560482 |    27949     42 |      663 |      436
1610.21/1610.75	c 1610s |      19 |   788701 |   561082 |    27949     42 |      663 |      436
1612.51/1613.01	c 1612s |      19 |   789535 |   561782 |    27949     42 |      663 |      436
1614.61/1615.14	c 1614s |      19 |   790242 |   562382 |    27949     42 |      663 |      436
1616.91/1617.47	c 1617s |      19 |   790983 |   562982 |    27949     42 |      663 |      436
1619.11/1619.69	c 1619s |      19 |   791687 |   563582 |    27949     42 |      663 |      436
1621.21/1621.76	c 1621s |      19 |   792261 |   564082 |    27949     42 |      663 |      436
1623.41/1623.92	c 1623s |      19 |   792996 |   564682 |    27949     42 |      663 |      436
1625.51/1626.07	c 1625s |      19 |   793572 |   565182 |    27949     42 |      663 |      436
1627.81/1628.31	c 1628s |      19 |   794186 |   565682 |    27949     43 |      663 |      436
1629.82/1630.39	c 1630s |      19 |   795034 |   566382 |    27949     43 |      663 |      436
1632.11/1632.69	c 1632s |      19 |   795829 |   567082 |    27949     43 |      663 |      436
1634.31/1634.89	c 1634s |      19 |   796773 |   567882 |    27949     43 |      663 |      436
1636.42/1636.97	c 1636s |      19 |   797715 |   568682 |    27949     43 |      663 |      436
1638.81/1639.30	c 1639s |      19 |   798665 |   569482 |    27949     43 |      663 |      436
1640.91/1641.44	c 1641s |      19 |   799466 |   570182 |    27949     43 |      663 |      436
1643.02/1643.55	c 1643s |      19 |   800303 |   570882 |    27949     43 |      663 |      436
1645.21/1645.76	c 1645s |      19 |   801126 |   571582 |    27949     43 |      663 |      436
1647.31/1647.85	c 1647s |      19 |   801812 |   572182 |    27949     43 |      663 |      436
1649.30/1649.89	c 1649s |      19 |   802627 |   572882 |    27949     43 |      663 |      436
1651.50/1652.03	c 1651s |      19 |   804239 |   573882 |    27949     43 |      663 |      436
1653.60/1654.15	c 1653s |      19 |   805221 |   574682 |    27949     43 |      663 |      436
1655.80/1656.30	c 1656s |      19 |   806416 |   575582 |    27949     43 |      663 |      436
1658.00/1658.56	c 1658s |      19 |   807398 |   576382 |    27949     43 |      663 |      436
1660.20/1660.75	c 1660s |      19 |   808258 |   577082 |    27949     43 |      663 |      436
1662.50/1663.03	c 1662s |      19 |   809246 |   577882 |    27949     43 |      663 |      436
1664.70/1665.21	c 1664s |      19 |   810066 |   578582 |    27949     43 |      663 |      436
1666.90/1667.49	c 1667s |      19 |   811043 |   579382 |    27949     43 |      663 |      436
1669.20/1669.71	c 1669s |      19 |   811900 |   580082 |    27949     43 |      663 |      436
1671.20/1671.76	c 1671s |      19 |   812758 |   580782 |    27949     43 |      663 |      436
1673.30/1673.82	c 1673s |      19 |   813344 |   581282 |    27949     44 |      663 |      436
1675.50/1676.00	c 1675s |      19 |   814292 |   582082 |    27949     44 |      663 |      436
1677.50/1678.07	c 1677s |      19 |   815217 |   582882 |    27949     44 |      663 |      436
1679.60/1680.17	c 1679s |      19 |   816034 |   583582 |    27949     44 |      663 |      436
1681.80/1682.35	c 1682s |      19 |   816853 |   584282 |    27949     44 |      663 |      436
1683.90/1684.41	c 1684s |      19 |   817665 |   584982 |    27949     44 |      663 |      436
1686.00/1686.51	c 1686s |      19 |   818498 |   585682 |    27949     44 |      663 |      436
1688.01/1688.57	c 1688s |      19 |   819319 |   586382 |    27949     44 |      663 |      436
1690.21/1690.80	c 1690s |      19 |   820165 |   587082 |    27949     44 |      663 |      436
1692.30/1692.85	c 1692s |      19 |   820837 |   587682 |    27949     44 |      663 |      436
1694.50/1695.06	c 1694s |      19 |   821514 |   588282 |    27949     44 |      663 |      436
1696.70/1697.22	c 1696s |      19 |   822205 |   588882 |    27949     44 |      663 |      436
1698.90/1699.46	c 1699s |      19 |   822882 |   589482 |    27949     44 |      663 |      436
1701.20/1701.71	c 1701s |      19 |   823577 |   590082 |    27949     44 |      663 |      436
1703.51/1704.01	c 1703s |      19 |   824375 |   590782 |    27949     44 |      663 |      436
1705.50/1706.02	c 1705s |      19 |   824954 |   591282 |    27949     44 |      663 |      436
1707.70/1708.22	c 1707s |      19 |   825620 |   591882 |    27949     44 |      663 |      436
1709.89/1710.40	c 1710s |      19 |   826160 |   592382 |    27949     44 |      663 |      436
1712.00/1712.53	c 1712s |      19 |   826734 |   592882 |    27949     44 |      663 |      436
1714.00/1714.58	c 1714s |      19 |   827312 |   593382 |    27949     44 |      663 |      436
1716.30/1716.89	c 1716s |      19 |   828320 |   594182 |    27949     44 |      663 |      436
1718.50/1719.06	c 1718s |      19 |   829222 |   594882 |    27949     44 |      663 |      436
1720.80/1721.35	c 1721s |      19 |   830239 |   595682 |    27949     44 |      663 |      436
1723.10/1723.62	c 1723s |      19 |   831100 |   596382 |    27949     44 |      663 |      436
1725.30/1725.84	c 1725s |      19 |   831831 |   596982 |    27949     45 |      663 |      436
1727.50/1728.06	c 1727s |      19 |   832779 |   597782 |    27949     45 |      663 |      436
1729.60/1730.13	c 1729s |      19 |   833802 |   598582 |    27949     45 |      663 |      436
1731.60/1732.18	c 1731s |      19 |   834753 |   599382 |    27949     45 |      663 |      436
1733.89/1734.43	c 1734s |      19 |   835671 |   600182 |    27949     45 |      663 |      436
1735.99/1736.54	c 1736s |      19 |   836491 |   600882 |    27949     45 |      663 |      436
1738.29/1738.82	c 1738s |      19 |   837457 |   601682 |    27949     45 |      663 |      436
1740.39/1740.97	c 1740s |      19 |   838436 |   602482 |    27949     45 |      663 |      436
1742.49/1743.07	c 1742s |      19 |   839416 |   603282 |    27949     45 |      663 |      436
1744.59/1745.17	c 1744s |      19 |   840393 |   604082 |    27949     45 |      663 |      436
1746.69/1747.21	c 1746s |      19 |   841343 |   604882 |    27949     45 |      663 |      436
1748.69/1749.21	c 1748s |      19 |   842150 |   605582 |    27949     45 |      663 |      436
1750.99/1751.55	c 1751s |      19 |   843090 |   606382 |    27949     45 |      663 |      436
1753.19/1753.72	c 1753s |      19 |   843978 |   607082 |    27949     45 |      663 |      436
1755.39/1755.92	c 1755s |      19 |   844812 |   607782 |    27949     45 |      663 |      436
1757.40/1757.96	c 1757s |      19 |   845500 |   608382 |    27949     45 |      663 |      436
1759.50/1760.05	c 1759s |      19 |   846225 |   608982 |    27949     45 |      663 |      436
1761.49/1762.07	c 1761s |      19 |   846957 |   609582 |    27949     45 |      663 |      436
1763.59/1764.18	c 1763s |      19 |   847663 |   610182 |    27949     45 |      663 |      436
1765.99/1766.50	c 1766s |      19 |   848339 |   610782 |    27949     45 |      663 |      436
1768.09/1768.70	c 1768s |      19 |   849046 |   611382 |    27949     45 |      663 |      436
1770.38/1770.97	c 1770s |      19 |   849713 |   611982 |    27949     45 |      663 |      436
1772.69/1773.22	c 1772s |      19 |   850276 |   612482 |    27949     46 |      663 |      436
1774.89/1775.43	c 1775s |      19 |   851073 |   613182 |    27949     46 |      663 |      436
1777.09/1777.69	c 1777s |      19 |   851995 |   613982 |    27949     46 |      663 |      436
1779.18/1779.78	c 1779s |      19 |   852801 |   614682 |    27949     46 |      663 |      436
1781.50/1782.03	c 1781s |      19 |   853609 |   615382 |    27949     46 |      663 |      436
1783.80/1784.35	c 1784s |      19 |   854430 |   616082 |    27949     46 |      663 |      436
1785.89/1786.43	c 1786s |      19 |   855317 |   616782 |    27949     46 |      663 |      436
1788.09/1788.62	c 1788s |      19 |   856428 |   617582 |    27949     46 |      663 |      436
1790.08/1790.69	c 1790s |      19 |   857161 |   618182 |    27949     46 |      663 |      436
1792.18/1792.73	c 1792s |      19 |   857922 |   618782 |    27949     46 |      663 |      436
1794.38/1794.94	c 1794s |      19 |   858620 |   619382 |    27949     46 |      663 |      436
1796.48/1797.06	c 1796s |      19 |   859340 |   619982 |    27949     46 |      663 |      436
1798.48/1799.07	c 1798s |      19 |   859887 |   620482 |    27949     46 |      663 |      436

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

pid=793
running on 8 cores: 0-3,8-11

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.08 2.09 2.09 3/261 796
/proc/meminfo: memFree=30873872/32872528 swapFree=7556/7556
[pid=796] ppid=793 vsize=787900 CPUtime=0 cores=0-3,8-11
/proc/796/stat : 796 (toysat) R 793 796 32495 0 -1 4202496 2954 0 0 0 0 0 0 0 20 0 4 0 27618291 806809600 2803 33554432000 4194304 16246674 140733356159360 140733356158784 13880264 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/796/statm: 197743 2811 441 2943 0 194637 0
[pid=796/tid=797] ppid=793 vsize=1146300 CPUtime=0 cores=0-3,8-11
/proc/796/task/797/stat : 797 (toysat) S 793 796 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27618291 1173811200 4203 33554432000 4194304 16246674 140733356159360 140044454046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=796/tid=798] ppid=793 vsize=1151420 CPUtime=0 cores=0-3,8-11
/proc/796/task/798/stat : 798 (toysat) S 793 796 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27618291 1179054080 4223 33554432000 4194304 16246674 140733356159360 140044443557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=796/tid=799] ppid=793 vsize=1156540 CPUtime=0 cores=0-3,8-11
/proc/796/task/799/stat : 799 (toysat) S 793 796 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27618291 1184296960 4240 33554432000 4194304 16246674 140733356159360 140044433083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.08 2.09 2.09 3/261 796
/proc/meminfo: memFree=30873872/32872528 swapFree=7556/7556
[pid=796] ppid=793 vsize=1220164 CPUtime=0.09 cores=0-3,8-11
/proc/796/stat : 796 (toysat) R 793 796 32495 0 -1 4202496 28473 0 0 0 5 4 0 0 20 0 4 0 27618291 1249447936 28260 33554432000 4194304 16246674 140733356159360 140733356158672 4220897 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/796/statm: 305041 28260 803 2943 0 301935 0
[pid=796/tid=797] ppid=793 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/796/task/797/stat : 797 (toysat) S 793 796 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27618291 1249447936 28260 33554432000 4194304 16246674 140733356159360 140044454046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=796/tid=798] ppid=793 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/796/task/798/stat : 798 (toysat) S 793 796 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27618291 1249447936 28260 33554432000 4194304 16246674 140733356159360 140044443557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=796/tid=799] ppid=793 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/796/task/799/stat : 799 (toysat) S 793 796 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27618291 1249447936 28260 33554432000 4194304 16246674 140733356159360 140044433083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200513 s]
/proc/loadavg: 2.08 2.09 2.09 3/261 796
/proc/meminfo: memFree=30873872/32872528 swapFree=7556/7556
[pid=796] ppid=793 vsize=1301060 CPUtime=0.19 cores=0-3,8-11
/proc/796/stat : 796 (toysat) R 793 796 32495 0 -1 4202496 48680 0 0 0 13 6 0 0 20 0 4 0 27618291 1332285440 48467 33554432000 4194304 16246674 140733356159360 140733356158672 6739976 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/796/statm: 325265 48467 844 2943 0 322159 0
[pid=796/tid=797] ppid=793 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/796/task/797/stat : 797 (toysat) S 793 796 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27618291 1332285440 48467 33554432000 4194304 16246674 140733356159360 140044454046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=796/tid=798] ppid=793 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/796/task/798/stat : 798 (toysat) S 793 796 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27618291 1332285440 48467 33554432000 4194304 16246674 140733356159360 140044443557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=796/tid=799] ppid=793 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/796/task/799/stat : 799 (toysat) S 793 796 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27618291 1332285440 48467 33554432000 4194304 16246674 140733356159360 140044433083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300471 s]
/proc/loadavg: 2.08 2.09 2.09 3/261 796
/proc/meminfo: memFree=30873872/32872528 swapFree=7556/7556
[pid=796] ppid=793 vsize=1301060 CPUtime=0.29 cores=0-3,8-11
/proc/796/stat : 796 (toysat) R 793 796 32495 0 -1 4202496 54727 0 0 0 22 7 0 0 20 0 4 0 27618291 1332285440 54515 33554432000 4194304 16246674 140733356159360 140733356158672 13780501 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/796/statm: 325265 54519 884 2943 0 322159 0
[pid=796/tid=797] ppid=793 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/796/task/797/stat : 797 (toysat) S 793 796 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27618291 1332285440 54522 33554432000 4194304 16246674 140733356159360 140044454046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=796/tid=798] ppid=793 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/796/task/798/stat : 798 (toysat) S 793 796 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27618291 1332285440 54526 33554432000 4194304 16246674 140733356159360 140044443557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=796/tid=799] ppid=793 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/796/task/799/stat : 799 (toysat) S 793 796 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27618291 1332285440 54529 33554432000 4194304 16246674 140733356159360 140044433083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700375 s]
/proc/loadavg: 2.08 2.09 2.09 3/261 796
/proc/meminfo: memFree=30873872/32872528 swapFree=7556/7556
[pid=796] ppid=793 vsize=1301060 CPUtime=0.69 cores=0-3,8-11
/proc/796/stat : 796 (toysat) R 793 796 32495 0 -1 4202496 103104 0 0 0 53 16 0 0 20 0 4 0 27618291 1332285440 102891 33554432000 4194304 16246674 140733356159360 140733356158672 5675357 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/796/statm: 325265 102894 884 2943 0 322159 0
[pid=796/tid=797] ppid=793 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/796/task/797/stat : 797 (toysat) S 793 796 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27618291 1332285440 102896 33554432000 4194304 16246674 140733356159360 140044454046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=796/tid=798] ppid=793 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/796/task/798/stat : 798 (toysat) S 793 796 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27618291 1332285440 102899 33554432000 4194304 16246674 140733356159360 140044443557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=796/tid=799] ppid=793 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/796/task/799/stat : 799 (toysat) S 793 796 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27618291 1332285440 102904 33554432000 4194304 16246674 140733356159360 140044433083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50039 s]
/proc/loadavg: 2.08 2.09 2.09 3/265 800
/proc/meminfo: memFree=30260908/32872528 swapFree=7556/7556
[pid=796] ppid=793 vsize=1302084 CPUtime=1.49 cores=0-3,8-11
/proc/796/stat : 796 (toysat) R 793 796 32495 0 -1 4202496 209758 0 0 0 119 30 0 0 20 0 4 0 27618291 1333334016 209546 33554432000 4194304 16246674 140733356159360 140733356141248 5582293 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/796/statm: 325521 209549 884 2943 0 322415 0
[pid=796/tid=797] ppid=793 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/796/task/797/stat : 797 (toysat) S 793 796 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27618291 1333334016 209554 33554432000 4194304 16246674 140733356159360 140044454046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=796/tid=798] ppid=793 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/796/task/798/stat : 798 (toysat) S 793 796 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27618291 1333334016 209559 33554432000 4194304 16246674 140733356159360 140044443557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=796/tid=799] ppid=793 vsize=1302084 CPUtime=0 cores=0-3,8-11
/proc/796/task/799/stat : 799 (toysat) S 793 796 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27618291 1333334016 209564 33554432000 4194304 16246674 140733356159360 140044433083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10036 s]
/proc/loadavg: 2.08 2.09 2.09 3/265 800
/proc/meminfo: memFree=29836580/32872528 swapFree=7556/7556
[pid=796] ppid=793 vsize=1313348 CPUtime=3.09 cores=0-3,8-11
/proc/796/stat : 796 (toysat) R 793 796 32495 0 -1 4202496 259953 0 0 0 273 36 0 0 20 0 4 0 27618291 1344868352 259740 33554432000 4194304 16246674 140733356159360 140733356157248 12415720 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/796/statm: 328337 259740 890 2943 0 325231 0
[pid=796/tid=797] ppid=793 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/796/task/797/stat : 797 (toysat) S 793 796 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27618291 1344868352 259740 33554432000 4194304 16246674 140733356159360 140044454046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=796/tid=798] ppid=793 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/796/task/798/stat : 798 (toysat) S 793 796 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27618291 1344868352 259740 33554432000 4194304 16246674 140733356159360 140044443557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=796/tid=799] ppid=793 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/796/task/799/stat : 799 (toysat) S 793 796 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27618291 1344868352 259740 33554432000 4194304 16246674 140733356159360 140044433083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.3004 s]
/proc/loadavg: 2.15 2.10 2.09 3/265 800
/proc/meminfo: memFree=29797024/32872528 swapFree=7556/7556
[pid=796] ppid=793 vsize=1313348 CPUtime=6.29 cores=0-3,8-11
/proc/796/stat : 796 (toysat) R 793 796 32495 0 -1 4202496 269528 0 0 0 592 37 0 0 20 0 4 0 27618291 1344868352 269315 33554432000 4194304 16246674 140733356159360 140733356141248 13963936 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/796/statm: 328337 269315 890 2943 0 325231 0
[pid=796/tid=797] ppid=793 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/796/task/797/stat : 797 (toysat) S 793 796 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27618291 1344868352 269315 33554432000 4194304 16246674 140733356159360 140044454046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=796/tid=798] ppid=793 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/796/task/798/stat : 798 (toysat) S 793 796 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27618291 1344868352 269315 33554432000 4194304 16246674 140733356159360 140044443557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=796/tid=799] ppid=793 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/796/task/799/stat : 799 (toysat) S 793 796 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27618291 1344868352 269315 33554432000 4194304 16246674 140733356159360 140044433083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.14 2.10 2.09 3/265 800
/proc/meminfo: memFree=29796768/32872528 swapFree=7556/7556
[pid=796] ppid=793 vsize=1313348 CPUtime=12.69 cores=0-3,8-11
/proc/796/stat : 796 (toysat) R 793 796 32495 0 -1 4202496 269529 0 0 0 1232 37 0 0 20 0 4 0 27618291 1344868352 269316 33554432000 4194304 16246674 140733356159360 140733356141248 5721677 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/796/statm: 328337 269316 890 2943 0 325231 0
[pid=796/tid=797] ppid=793 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/796/task/797/stat : 797 (toysat) S 793 796 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27618291 1344868352 269316 33554432000 4194304 16246674 140733356159360 140044454046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=796/tid=798] ppid=793 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/796/task/798/stat : 798 (toysat) S 793 796 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27618291 1344868352 269316 33554432000 4194304 16246674 140733356159360 140044443557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=796/tid=799] ppid=793 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/796/task/799/stat : 799 (toysat) S 793 796 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27618291 1344868352 269316 33554432000 4194304 16246674 140733356159360 140044433083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.11 2.09 2.09 3/265 800
/proc/meminfo: memFree=29792304/32872528 swapFree=7556/7556
[pid=796] ppid=793 vsize=1313348 CPUtime=25.48 cores=0-3,8-11
/proc/796/stat : 796 (toysat) R 793 796 32495 0 -1 4202496 269531 0 0 0 2511 37 0 0 20 0 4 0 27618291 1344868352 269318 33554432000 4194304 16246674 140733356159360 140733356141248 12483218 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/796/statm: 328337 269318 892 2943 0 325231 0
[pid=796/tid=797] ppid=793 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/796/task/797/stat : 797 (toysat) S 793 796 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27618291 1344868352 269318 33554432000 4194304 16246674 140733356159360 140044454046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=796/tid=798] ppid=793 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/796/task/798/stat : 798 (toysat) S 793 796 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27618291 1344868352 269318 33554432000 4194304 16246674 140733356159360 140044443557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=796/tid=799] ppid=793 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/796/task/799/stat : 799 (toysat) S 793 796 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27618291 1344868352 269318 33554432000 4194304 16246674 140733356159360 140044433083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.07 2.08 2.09 3/265 800
/proc/meminfo: memFree=29792264/32872528 swapFree=7556/7556
[pid=796] ppid=793 vsize=1313348 CPUtime=51.08 cores=0-3,8-11
/proc/796/stat : 796 (toysat) R 793 796 32495 0 -1 4202496 269531 0 0 0 5071 37 0 0 20 0 4 0 27618291 1344868352 269318 33554432000 4194304 16246674 140733356159360 140733356141248 5600072 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/796/statm: 328337 269318 892 2943 0 325231 0
[pid=796/tid=797] ppid=793 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/796/task/797/stat : 797 (toysat) S 793 796 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27618291 1344868352 269318 33554432000 4194304 16246674 140733356159360 140044454046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=796/tid=798] ppid=793 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/796/task/798/stat : 798 (toysat) S 793 796 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27618291 1344868352 269318 33554432000 4194304 16246674 140733356159360 140044443557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=796/tid=799] ppid=793 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/796/task/799/stat : 799 (toysat) S 793 796 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27618291 1344868352 269318 33554432000 4194304 16246674 140733356159360 140044433083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.03 2.07 2.08 3/265 801
/proc/meminfo: memFree=29792024/32872528 swapFree=7556/7556
[pid=796] ppid=793 vsize=1313348 CPUtime=102.28 cores=0-3,8-11
/proc/796/stat : 796 (toysat) R 793 796 32495 0 -1 4202496 269531 0 0 0 10190 38 0 0 20 0 4 0 27618291 1344868352 269318 33554432000 4194304 16246674 140733356159360 140733356141248 5673165 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/796/statm: 328337 269318 892 2943 0 325231 0
[pid=796/tid=797] ppid=793 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/796/task/797/stat : 797 (toysat) S 793 796 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27618291 1344868352 269318 33554432000 4194304 16246674 140733356159360 140044454046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=796/tid=798] ppid=793 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/796/task/798/stat : 798 (toysat) S 793 796 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27618291 1344868352 269318 33554432000 4194304 16246674 140733356159360 140044443557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=796/tid=799] ppid=793 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/796/task/799/stat : 799 (toysat) S 793 796 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27618291 1344868352 269318 33554432000 4194304 16246674 140733356159360 140044433083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/796/task/799/stat : 799 (toysat) S 793 796 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27618291 1356402688 272390 33554432000 4194304 16246674 140733356159360 140044433083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1324612

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/265 904
/proc/meminfo: memFree=29777412/32872528 swapFree=7556/7556
[pid=796] ppid=793 vsize=1327684 CPUtime=1301.86 cores=0-3,8-11
/proc/796/stat : 796 (toysat) R 793 796 32495 0 -1 4202496 273453 0 0 0 130138 48 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140733356141248 5711318 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/796/statm: 331921 273158 892 2943 0 328815 0
[pid=796/tid=797] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/797/stat : 797 (toysat) S 793 796 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044454046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=796/tid=798] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/798/stat : 798 (toysat) S 793 796 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044443557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=796/tid=799] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/799/stat : 799 (toysat) S 793 796 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044433083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1327684

[startup+1362.3 s]
/proc/loadavg: 2.07 2.05 2.07 3/265 953
/proc/meminfo: memFree=29798128/32872528 swapFree=7556/7556
[pid=796] ppid=793 vsize=1327684 CPUtime=1361.85 cores=0-3,8-11
/proc/796/stat : 796 (toysat) R 793 796 32495 0 -1 4202496 273453 0 0 0 136136 49 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140733356141248 5677325 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/796/statm: 331921 273158 892 2943 0 328815 0
[pid=796/tid=797] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/797/stat : 797 (toysat) S 793 796 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044454046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=796/tid=798] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/798/stat : 798 (toysat) S 793 796 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044443557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=796/tid=799] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/799/stat : 799 (toysat) S 793 796 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044433083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1327684

[startup+1422.3 s]
/proc/loadavg: 2.08 2.06 2.07 3/266 957
/proc/meminfo: memFree=29780400/32872528 swapFree=7556/7556
[pid=796] ppid=793 vsize=1327684 CPUtime=1421.85 cores=0-3,8-11
/proc/796/stat : 796 (toysat) R 793 796 32495 0 -1 4202496 273453 0 0 0 142135 50 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140733356141248 12483320 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/796/statm: 331921 273158 892 2943 0 328815 0
[pid=796/tid=797] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/797/stat : 797 (toysat) S 793 796 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044454046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=796/tid=798] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/798/stat : 798 (toysat) S 793 796 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044443557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=796/tid=799] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/799/stat : 799 (toysat) S 793 796 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044433083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1327684

[startup+1482.3 s]
/proc/loadavg: 2.21 2.09 2.08 3/265 959
/proc/meminfo: memFree=29779884/32872528 swapFree=7556/7556
[pid=796] ppid=793 vsize=1327684 CPUtime=1481.83 cores=0-3,8-11
/proc/796/stat : 796 (toysat) R 793 796 32495 0 -1 4202496 273453 0 0 0 148133 50 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140733356141248 5677884 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/796/statm: 331921 273158 892 2943 0 328815 0
[pid=796/tid=797] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/797/stat : 797 (toysat) S 793 796 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044454046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=796/tid=798] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/798/stat : 798 (toysat) S 793 796 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044443557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=796/tid=799] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/799/stat : 799 (toysat) S 793 796 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044433083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1327684

[startup+1542.31 s]
/proc/loadavg: 2.08 2.07 2.07 3/265 960
/proc/meminfo: memFree=29779600/32872528 swapFree=7556/7556
[pid=796] ppid=793 vsize=1327684 CPUtime=1541.84 cores=0-3,8-11
/proc/796/stat : 796 (toysat) R 793 796 32495 0 -1 4202496 273453 0 0 0 154133 51 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140733356141248 5822252 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/796/statm: 331921 273158 892 2943 0 328815 0
[pid=796/tid=797] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/797/stat : 797 (toysat) S 793 796 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044454046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=796/tid=798] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/798/stat : 798 (toysat) S 793 796 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044443557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=796/tid=799] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/799/stat : 799 (toysat) S 793 796 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044433083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1327684

[startup+1602.3 s]
/proc/loadavg: 2.03 2.06 2.06 3/265 961
/proc/meminfo: memFree=29779444/32872528 swapFree=7556/7556
[pid=796] ppid=793 vsize=1327684 CPUtime=1601.81 cores=0-3,8-11
/proc/796/stat : 796 (toysat) R 793 796 32495 0 -1 4202496 273453 0 0 0 160130 51 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140733356141248 5822252 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/796/statm: 331921 273158 892 2943 0 328815 0
[pid=796/tid=797] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/797/stat : 797 (toysat) S 793 796 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044454046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=796/tid=798] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/798/stat : 798 (toysat) S 793 796 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044443557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=796/tid=799] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/799/stat : 799 (toysat) S 793 796 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044433083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1327684

[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.06 3/265 962
/proc/meminfo: memFree=29779404/32872528 swapFree=7556/7556
[pid=796] ppid=793 vsize=1327684 CPUtime=1661.8 cores=0-3,8-11
/proc/796/stat : 796 (toysat) R 793 796 32495 0 -1 4202496 273453 0 0 0 166129 51 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140733356141248 5676464 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/796/statm: 331921 273158 892 2943 0 328815 0
[pid=796/tid=797] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/797/stat : 797 (toysat) S 793 796 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044454046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=796/tid=798] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/798/stat : 798 (toysat) S 793 796 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044443557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=796/tid=799] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/799/stat : 799 (toysat) S 793 796 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044433083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1327684

[startup+1722.3 s]
/proc/loadavg: 2.17 2.09 2.07 3/265 963
/proc/meminfo: memFree=29779372/32872528 swapFree=7556/7556
[pid=796] ppid=793 vsize=1327684 CPUtime=1721.8 cores=0-3,8-11
/proc/796/stat : 796 (toysat) R 793 796 32495 0 -1 4202496 273453 0 0 0 172128 52 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140733356141248 5600746 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/796/statm: 331921 273158 892 2943 0 328815 0
[pid=796/tid=797] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/797/stat : 797 (toysat) S 793 796 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044454046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=796/tid=798] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/798/stat : 798 (toysat) S 793 796 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044443557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=796/tid=799] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/799/stat : 799 (toysat) S 793 796 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044433083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1327684

[startup+1782.3 s]
/proc/loadavg: 2.21 2.12 2.08 3/264 964
/proc/meminfo: memFree=29778592/32872528 swapFree=7556/7556
[pid=796] ppid=793 vsize=1327684 CPUtime=1781.79 cores=0-3,8-11
/proc/796/stat : 796 (toysat) R 793 796 32495 0 -1 4202496 273455 0 0 0 178126 53 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140733356141248 5600723 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/796/statm: 331921 273158 892 2943 0 328815 0
[pid=796/tid=797] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/797/stat : 797 (toysat) S 793 796 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044454046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=796/tid=798] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/798/stat : 798 (toysat) S 793 796 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044443557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=796/tid=799] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/799/stat : 799 (toysat) S 793 796 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044433083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1327684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.22 2.12 2.09 3/265 966
/proc/meminfo: memFree=29778840/32872528 swapFree=7556/7556
[pid=796] ppid=793 vsize=1327684 CPUtime=1800.08 cores=0-3,8-11
/proc/796/stat : 796 (toysat) R 793 796 32495 0 -1 4202496 273455 0 0 0 179955 53 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140733356141248 5822252 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/796/statm: 331921 273158 892 2943 0 328815 0
[pid=796/tid=797] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/797/stat : 797 (toysat) S 793 796 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044454046960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=796/tid=798] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/798/stat : 798 (toysat) S 793 796 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044443557104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=796/tid=799] ppid=793 vsize=1327684 CPUtime=0 cores=0-3,8-11
/proc/796/task/799/stat : 799 (toysat) S 793 796 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27618291 1359548416 273158 33554432000 4194304 16246674 140733356159360 140044433083568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1327684

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.56
CPU system time (s): 0.534918
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 1327684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.534918
maximum resident set size= 1092632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273455
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= 356
involuntary context switches= 1977

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99194 second user time and 9.65253 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 14:56:41
IDJOB=4115957
IDBENCH=109410
IDSOLVER=2542
FILE ID=node132/4115957-1466945801
RUNJOBID= node132-1466939688-32511
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

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

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

MD5SUM BENCH= d947cadbd770aa54d6f08fe458b7d633
RANDOM SEED=275495487

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30873508 kB
Buffers:           12464 kB
Cached:           172752 kB
SwapCached:         1788 kB
Active:          1159392 kB
Inactive:         125204 kB
Active(anon):    1100564 kB
Inactive(anon):     1700 kB
Active(file):      58828 kB
Inactive(file):   123504 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098632 kB
Dirty:             17076 kB
Writeback:             0 kB
AnonPages:       1106884 kB
Mapped:            10764 kB
Shmem:                 0 kB
Slab:             569960 kB
SReclaimable:      10284 kB
SUnreclaim:       559676 kB
KernelStack:        2176 kB
PageTables:         6280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1248260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    581632 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= 71496 MiB
End job on node132 at 2016-06-26 15:26:42