Trace number 4116885

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.53

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size144-round23-8.opb
MD5SUM59f74a485c7c9f940df8dc38ab79a87e
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 constraints9520
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)432
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-27T00:46:26+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-4116885-1466981185.opb"]
0.00/0.01	c use --random-gen="2602399108 3180006080 1067840043 2667814644 352461855 2927072578 1523627943 2114414644 1819408066 3576589754 2776993532 2429338811 3053344227 2759409766 2146505563 3891090414 2845660189 1657781798 1510620242 997171748 1873493880 3683089862 2938878825 2788350003 2798223660 2720856724 1511220746 843411484 16460904 2248441850 361029413 2792627657 3690467759 4115436845 1256645337 3961701214 2477622445 1308191393 552014883 3040902480 2963359734 249338842 1820540731 3594431091 281876696 2276551195 3141728322 1873964591 1829800935 731905732 526490809 2731373728 3289311663 595423055 782759123 2288685234 3030773920 3991493711 503248882 2085832179 47291335 4045708140 824550684 783632287 1179698992 1959899313 3727922191 2592769858 339566624 3842775751 2941481755 2802585812 1440791320 1097557200 2051049697 1724136775 1010422134 288005223 1531496502 3504243469 4115478866 3561268715 1340465900 3018323595 4098071229 4004785775 827257594 2524975164 3721370256 1984913651 866144274 2058496907 86218890 3231508728 2493772521 947650120 1119370090 3883160087 3482428235 4129123830 2342156813 578183822 58414803 2225998933 1472263580 1299319458 2777877216 2001419238 3912502031 2192041278 1495145337 465368615 571824427 1083582614 1057225924 3641783481 617401491 626179003 4060072021 1846677900 3013812849 920400178 1540389572 2493843431 3451865632 2969178560 3289316625 1739411505 484099624 787456389 2762907322 959311738 2022301706 2216834606 2049725679 4051572198 2675050555 4060442557 1553166049 1407340793 1228539301 238179261 3882738764 4255881965 1543850850 3718188133 1516335405 1701228363 4294601778 2001017285 3331883462 2871611889 306804235 3001938593 1178646704 4172412281 3366898090 2770684310 2079769370 4206064613 1571746879 1569786504 3245248801 3851344374 3566318286 3093318443 2872869481 4233454919 1056271456 342388155 1563140215 93004421 2400666507 1464226553 2848690052 627472247 746988323 1937448289 2226945076 496534365 2073522198 136027068 2289242081 84294517 444437114 930027370 488906916 261075207 2518235428 1611693712 1084017954 2569180963 1672221332 2673975556 2593467360 4092904615 2127322044 1038291650 2581490272 1144767414 69479992 4135639827 1509679751 2880562840 3503869870 2043696089 545629569 1770479986 489819417 1696239515 1469028704 3562331015 2687227549 2010700545 523021938 3312250641 1047035677 445699103 4227484706 16965893 3616330510 2379680197 1235073332 3060349981 2560028554 2969264795 1571175865 827509340 429965586 1990582981 3090286071 2279382724 3786877440 1281926291 2162620868 1225331454 4268034721 3691077348 880598471 2315520837 4074559795 3599865228 1185478380 2969922062 4149174436 3420216354 973966762 1430867903 2264393622 1981500331 1891765566 703589071 472199915 3301962816 3208378245 2332256250 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9520
0.19/0.28	c Solving starts ...
0.19/0.28	c ============================[ Search Statistics ]============================
0.19/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.28	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      820 |        0
0.29/0.36	c  0.1s |       1 |      458 |      100 |     4565      0 |      820 |      728
0.39/0.43	c  0.2s |       2 |     1419 |      250 |     5022      0 |      820 |      728
0.58/0.64	c  0.4s |       3 |     2743 |      475 |     5525      0 |      820 |      728
0.69/0.92	c  0.6s |       4 |     6533 |      813 |     6078      0 |      820 |      728
1.40/1.41	c  1.1s |       5 |     9281 |     1320 |     6686      0 |      820 |      728
2.29/2.33	c  2.1s |       6 |    11663 |     2081 |     8091      0 |      821 |      728
2.99/3.03	c  2.8s |       7 |    17685 |     3223 |     8901      0 |      822 |      728
4.69/4.78	c  4.5s |       8 |    22541 |     4936 |     9792      0 |      822 |      728
6.69/6.78	c  6.5s |       8 |    29351 |     7436 |     9792      0 |      822 |      728
6.79/6.86	c  6.6s |       9 |    29494 |     7506 |    10772      0 |      822 |      728
8.79/8.87	c  8.6s |       9 |    37530 |     9606 |    10772      0 |      822 |      728
10.89/10.95	c 10.7s |       9 |    39468 |    11106 |    10772      0 |      822 |      728
11.19/11.28	c 11.0s |      10 |    39756 |    11361 |    11850      0 |      822 |      728
13.19/13.29	c 13.0s |      10 |    52713 |    13761 |    11850      1 |      822 |      728
15.28/15.36	c 15.1s |      10 |    57825 |    15661 |    11850      1 |      822 |      728
17.38/17.49	c 17.2s |      10 |    59515 |    17061 |    13036      1 |      822 |      728
17.58/17.65	c 17.4s |      11 |    59614 |    17144 |    13036      1 |      822 |      728
19.58/19.69	c 19.4s |      11 |    66420 |    19144 |    13036      1 |      822 |      728
21.68/21.76	c 21.5s |      11 |    68512 |    20744 |    13036      1 |      822 |      728
23.78/23.88	c 23.6s |      11 |    71376 |    22344 |    13036      1 |      822 |      728
25.88/25.97	c 25.7s |      11 |    73286 |    23544 |    13036      2 |      822 |      728
28.18/28.26	c 28.0s |      11 |    74708 |    24544 |    13036      2 |      822 |      728
30.38/30.45	c 30.2s |      11 |    75231 |    24944 |    13036      2 |      822 |      728
32.19/32.27	c 32.0s |      12 |    76845 |    25819 |    14340      2 |      822 |      728
34.29/34.32	c 34.0s |      12 |    84340 |    27819 |    14340      2 |      822 |      728
36.39/36.49	c 36.2s |      12 |    89329 |    29719 |    14340      2 |      822 |      728
38.49/38.52	c 38.2s |      12 |    94395 |    31419 |    14340      3 |      822 |      728
40.69/40.70	c 40.4s |      12 |    97432 |    33119 |    14340      3 |      822 |      728
42.79/42.84	c 42.6s |      12 |    99391 |    34419 |    14340      3 |      822 |      728
44.89/44.94	c 44.7s |      12 |   102821 |    36119 |    14340      3 |      822 |      728
46.89/46.97	c 46.7s |      12 |   103891 |    36919 |    14340      3 |      822 |      728
48.99/49.01	c 48.7s |      12 |   105439 |    38019 |    14340      3 |      822 |      728
50.59/50.68	c 50.4s |      13 |   106551 |    38832 |    15775      3 |      822 |      728
52.69/52.70	c 52.4s |      13 |   116618 |    41132 |    15775      4 |      822 |      728
54.68/54.76	c 54.5s |      13 |   124958 |    43432 |    15775      4 |      822 |      728
56.88/56.92	c 56.6s |      13 |   126910 |    44932 |    15775      4 |      822 |      728
58.88/58.95	c 58.7s |      13 |   131375 |    46532 |    15775      4 |      822 |      728
61.08/61.10	c 60.8s |      13 |   133042 |    47832 |    15775      4 |      822 |      728
63.18/63.25	c 63.0s |      13 |   134328 |    48932 |    15775      4 |      822 |      728
65.38/65.47	c 65.2s |      13 |   135340 |    49832 |    15775      4 |      822 |      728
67.68/67.72	c 67.4s |      13 |   136358 |    50732 |    15775      4 |      822 |      728
69.88/69.97	c 69.7s |      13 |   137271 |    51532 |    15775      5 |      822 |      728
71.88/71.99	c 71.7s |      13 |   138339 |    52432 |    15775      5 |      822 |      728
74.18/74.25	c 74.0s |      13 |   139341 |    53332 |    15775      5 |      822 |      728
76.19/76.28	c 76.0s |      13 |   140253 |    54132 |    15775      5 |      822 |      728
78.39/78.43	c 78.2s |      13 |   142528 |    55132 |    15775      5 |      822 |      728
80.38/80.48	c 80.2s |      13 |   147348 |    56632 |    15775      5 |      822 |      728
82.58/82.64	c 82.4s |      13 |   148878 |    57732 |    15775      5 |      822 |      728
83.88/83.95	c 83.7s |      14 |   149676 |    58352 |    17353      5 |      822 |      728
85.98/86.01	c 85.7s |      14 |   152653 |    59952 |    17353      5 |      822 |      728
88.08/88.10	c 87.8s |      14 |   154590 |    61452 |    17353      5 |      822 |      728
90.08/90.15	c 89.9s |      14 |   155610 |    62352 |    17353      6 |      822 |      728
92.08/92.15	c 91.9s |      14 |   156596 |    63252 |    17353      6 |      822 |      728
94.18/94.25	c 94.0s |      14 |   157877 |    64352 |    17353      6 |      822 |      728
96.28/96.33	c 96.0s |      14 |   158842 |    65252 |    17353      6 |      822 |      728
98.58/98.63	c 98.4s |      14 |   159810 |    66152 |    17353      6 |      822 |      728
100.67/100.76	c  100s |      14 |   160654 |    66952 |    17353      6 |      822 |      728
102.77/102.88	c  102s |      14 |   161493 |    67752 |    17353      6 |      822 |      728
104.87/104.92	c  104s |      14 |   165257 |    69052 |    17353      6 |      822 |      728
106.97/107.03	c  106s |      14 |   169839 |    70752 |    17353      6 |      822 |      728
109.07/109.13	c  108s |      14 |   171354 |    72052 |    17353      6 |      822 |      728
111.27/111.31	c  111s |      14 |   172418 |    73052 |    17353      7 |      822 |      728
113.27/113.31	c  113s |      14 |   173482 |    74052 |    17353      7 |      822 |      728
115.37/115.40	c  115s |      14 |   174549 |    75052 |    17353      7 |      822 |      728
117.47/117.57	c  117s |      14 |   175626 |    76052 |    17353      7 |      822 |      728
119.57/119.62	c  119s |      14 |   176568 |    76952 |    17353      7 |      822 |      728
121.67/121.76	c  121s |      14 |   177403 |    77752 |    17353      7 |      822 |      728
123.67/123.79	c  123s |      14 |   178267 |    78552 |    17353      7 |      822 |      728
125.87/125.94	c  125s |      14 |   179118 |    79352 |    17353      7 |      822 |      728
127.97/128.06	c  127s |      14 |   179854 |    80052 |    17353      7 |      822 |      728
130.08/130.15	c  129s |      14 |   180597 |    80752 |    17353      7 |      822 |      728
132.18/132.26	c  131s |      14 |   181343 |    81452 |    17353      7 |      822 |      728
134.17/134.28	c  134s |      14 |   182096 |    82152 |    17353      7 |      822 |      728
136.47/136.56	c  136s |      14 |   182855 |    82852 |    17353      7 |      822 |      728
138.57/138.60	c  138s |      14 |   183495 |    83452 |    17353      8 |      822 |      728
140.57/140.62	c  140s |      14 |   184247 |    84152 |    17353      8 |      822 |      728
142.67/142.79	c  142s |      14 |   184993 |    84852 |    17353      8 |      822 |      728
144.87/144.95	c  144s |      14 |   185726 |    85552 |    17353      8 |      822 |      728
147.17/147.27	c  146s |      14 |   186451 |    86252 |    17353      8 |      822 |      728
149.27/149.38	c  149s |      14 |   187075 |    86852 |    17353      8 |      822 |      728
151.67/151.72	c  151s |      14 |   187711 |    87452 |    19089      8 |      822 |      728
152.37/152.45	c  152s |      15 |   187896 |    87632 |    19089      8 |      822 |      728
154.47/154.50	c  154s |      15 |   200512 |    90232 |    19089      8 |      822 |      728
156.48/156.56	c  156s |      15 |   205313 |    92132 |    19089      8 |      822 |      728
158.57/158.68	c  158s |      15 |   211773 |    94432 |    19089      8 |      822 |      728
160.67/160.77	c  160s |      15 |   213109 |    95432 |    19089      9 |      822 |      728
162.87/162.90	c  162s |      15 |   214500 |    96532 |    19089      9 |      822 |      728
164.87/164.98	c  164s |      15 |   215958 |    97532 |    19089      9 |      822 |      728
167.07/167.13	c  166s |      15 |   217654 |    98632 |    19089      9 |      822 |      728
169.07/169.18	c  168s |      15 |   219184 |    99732 |    19089      9 |      822 |      728
171.27/171.34	c  171s |      15 |   220349 |   100732 |    19089      9 |      822 |      728
173.47/173.52	c  173s |      15 |   221628 |   101732 |    19089      9 |      822 |      728
175.67/175.76	c  175s |      15 |   222658 |   102632 |    19089      9 |      822 |      728
177.87/177.98	c  177s |      15 |   223690 |   103532 |    19089      9 |      822 |      728
180.06/180.10	c  179s |      15 |   224907 |   104432 |    19089      9 |      822 |      728
182.06/182.16	c  181s |      15 |   226055 |   105332 |    19089      9 |      822 |      728
184.16/184.28	c  183s |      15 |   227052 |   106132 |    19089     10 |      822 |      728
186.26/186.32	c  186s |      15 |   228126 |   107032 |    19089     10 |      822 |      728
188.46/188.52	c  188s |      15 |   229182 |   107932 |    19089     10 |      822 |      728
190.57/190.61	c  190s |      15 |   230146 |   108732 |    19089     10 |      822 |      728
192.56/192.67	c  192s |      15 |   231121 |   109532 |    19089     10 |      822 |      728
194.76/194.89	c  194s |      15 |   232036 |   110332 |    19089     10 |      822 |      728
197.07/197.13	c  196s |      15 |   232982 |   111132 |    19089     10 |      822 |      728
199.37/199.46	c  199s |      15 |   233768 |   111832 |    19089     10 |      822 |      728
201.66/201.72	c  201s |      15 |   234548 |   112532 |    19089     10 |      822 |      728
203.67/203.79	c  203s |      15 |   235555 |   113332 |    19089     10 |      822 |      728
205.76/205.88	c  205s |      15 |   236373 |   114032 |    19089     10 |      822 |      728
207.76/207.89	c  207s |      15 |   237040 |   114632 |    19089     10 |      822 |      728
209.96/210.02	c  209s |      15 |   237717 |   115232 |    19089     10 |      822 |      728
212.06/212.13	c  211s |      15 |   238402 |   115832 |    19089     10 |      822 |      728
214.26/214.33	c  214s |      15 |   239065 |   116432 |    19089     10 |      822 |      728
216.96/217.02	c  216s |      15 |   239991 |   117132 |    19089     11 |      822 |      728
219.26/219.32	c  219s |      15 |   241029 |   118032 |    19089     11 |      822 |      728
221.36/221.45	c  221s |      15 |   241835 |   118732 |    19089     11 |      822 |      728
223.46/223.55	c  223s |      15 |   242610 |   119432 |    19089     11 |      822 |      728
225.66/225.70	c  225s |      15 |   243692 |   120232 |    19089     11 |      822 |      728
227.76/227.84	c  227s |      15 |   244721 |   121032 |    19089     11 |      822 |      728
229.96/230.02	c  229s |      15 |   246428 |   122032 |    19089     11 |      822 |      728
231.95/232.03	c  231s |      15 |   247577 |   122932 |    19089     11 |      822 |      728
233.95/234.07	c  233s |      15 |   250673 |   124232 |    19089     11 |      822 |      728
236.05/236.17	c  235s |      15 |   252730 |   125432 |    19089     11 |      822 |      728
238.05/238.19	c  237s |      15 |   254182 |   126332 |    19089     11 |      822 |      728
240.25/240.36	c  240s |      15 |   255454 |   127232 |    19089     11 |      822 |      728
242.35/242.49	c  242s |      15 |   257013 |   128232 |    19089     11 |      822 |      728
244.36/244.49	c  244s |      15 |   258606 |   129232 |    19089     12 |      822 |      728
246.56/246.64	c  246s |      15 |   259950 |   130232 |    19089     12 |      822 |      728
248.76/248.82	c  248s |      15 |   261484 |   131332 |    20998     12 |      822 |      728
249.15/249.27	c  248s |      16 |   261797 |   131552 |    20998     12 |      822 |      728
251.15/251.28	c  251s |      16 |   269087 |   133452 |    20998     12 |      822 |      728
253.26/253.32	c  253s |      16 |   271267 |   135152 |    20998     12 |      822 |      728
255.36/255.41	c  255s |      16 |   274034 |   137152 |    20998     12 |      822 |      728
257.35/257.47	c  257s |      16 |   276331 |   139052 |    20998     12 |      822 |      728
259.45/259.54	c  259s |      16 |   278124 |   140652 |    20998     12 |      822 |      728
261.55/261.60	c  261s |      16 |   279379 |   141752 |    20998     13 |      822 |      728
263.55/263.65	c  263s |      16 |   281348 |   143252 |    20998     13 |      822 |      728
265.75/265.82	c  265s |      16 |   283042 |   144652 |    20998     13 |      822 |      728
267.75/267.86	c  267s |      16 |   284379 |   145852 |    20998     13 |      822 |      728
269.85/269.96	c  269s |      16 |   285510 |   146852 |    20998     13 |      822 |      728
271.95/272.03	c  271s |      16 |   286480 |   147752 |    20998     13 |      822 |      728
274.05/274.12	c  273s |      16 |   287704 |   148852 |    20998     13 |      822 |      728
276.05/276.14	c  275s |      16 |   288787 |   149852 |    20998     13 |      822 |      728
278.05/278.20	c  277s |      16 |   289893 |   150852 |    20998     13 |      822 |      728
280.15/280.27	c  279s |      16 |   290926 |   151752 |    20998     13 |      822 |      728
282.35/282.40	c  282s |      16 |   291835 |   152552 |    20998     13 |      822 |      728
284.84/284.91	c  284s |      16 |   292605 |   153252 |    20998     14 |      822 |      728
286.84/286.93	c  286s |      16 |   293355 |   153952 |    20998     14 |      822 |      728
289.04/289.16	c  288s |      16 |   294267 |   154752 |    20998     14 |      822 |      728
291.04/291.19	c  290s |      16 |   295042 |   155452 |    20998     14 |      822 |      728
293.14/293.23	c  292s |      16 |   296284 |   156452 |    20998     14 |      822 |      728
295.34/295.41	c  295s |      16 |   297729 |   157652 |    20998     14 |      822 |      728
297.34/297.42	c  297s |      16 |   299099 |   158752 |    20998     14 |      822 |      728
299.45/299.55	c  299s |      16 |   300379 |   159752 |    20998     14 |      822 |      728
301.65/301.72	c  301s |      16 |   301430 |   160652 |    20998     14 |      822 |      728
303.75/303.88	c  303s |      16 |   302382 |   161452 |    20998     14 |      822 |      728
305.95/306.04	c  305s |      16 |   303573 |   162452 |    20998     14 |      822 |      728
308.04/308.18	c  307s |      16 |   304694 |   163352 |    20998     14 |      822 |      728
310.14/310.28	c  310s |      16 |   306716 |   164752 |    20998     14 |      822 |      728
312.34/312.42	c  312s |      16 |   308344 |   166052 |    20998     15 |      822 |      728
314.45/314.52	c  314s |      16 |   312954 |   167652 |    20998     15 |      822 |      728
316.54/316.69	c  316s |      16 |   314152 |   168552 |    20998     15 |      822 |      728
318.64/318.70	c  318s |      16 |   318291 |   170152 |    20998     15 |      822 |      728
320.64/320.74	c  320s |      16 |   319862 |   171252 |    20998     15 |      822 |      728
322.74/322.87	c  322s |      16 |   320808 |   172052 |    20998     15 |      822 |      728
324.84/324.98	c  324s |      16 |   321754 |   172852 |    20998     15 |      822 |      728
327.04/327.18	c  326s |      16 |   322866 |   173752 |    20998     15 |      822 |      728
329.15/329.22	c  328s |      16 |   323916 |   174552 |    20998     15 |      822 |      728
331.35/331.44	c  331s |      16 |   324923 |   175352 |    20998     15 |      822 |      728
333.34/333.50	c  333s |      16 |   325811 |   176052 |    20998     15 |      822 |      728
335.54/335.67	c  335s |      16 |   326839 |   176852 |    20998     15 |      822 |      728
337.64/337.76	c  337s |      16 |   327935 |   177652 |    20998     15 |      822 |      728
339.84/339.99	c  339s |      16 |   328781 |   178352 |    20998     16 |      822 |      728
342.14/342.26	c  341s |      16 |   329864 |   179252 |    20998     16 |      822 |      728
344.24/344.33	c  344s |      16 |   331256 |   180052 |    20998     16 |      822 |      728
346.44/346.52	c  346s |      16 |   333898 |   181452 |    20998     16 |      822 |      728
348.44/348.57	c  348s |      16 |   335515 |   182552 |    20998     16 |      822 |      728
350.44/350.58	c  350s |      16 |   336621 |   183452 |    20998     16 |      822 |      728
352.64/352.76	c  352s |      16 |   337572 |   184252 |    20998     16 |      822 |      728
354.74/354.88	c  354s |      16 |   338595 |   185052 |    20998     16 |      822 |      728
357.14/357.20	c  356s |      16 |   339645 |   185852 |    20998     16 |      822 |      728
359.34/359.44	c  359s |      16 |   340644 |   186652 |    20998     16 |      822 |      728
361.44/361.56	c  361s |      16 |   341487 |   187352 |    20998     16 |      822 |      728
363.63/363.74	c  363s |      16 |   342303 |   188052 |    20998     16 |      822 |      728
365.73/365.85	c  365s |      16 |   342856 |   188552 |    20998     16 |      822 |      728
367.93/368.04	c  367s |      16 |   343497 |   189152 |    20998     16 |      822 |      728
369.93/370.07	c  369s |      16 |   344183 |   189752 |    20998     16 |      822 |      728
372.04/372.12	c  371s |      16 |   345080 |   190352 |    20998     17 |      822 |      728
374.24/374.32	c  374s |      16 |   346311 |   191252 |    20998     17 |      822 |      728
376.34/376.45	c  376s |      16 |   347286 |   192052 |    20998     17 |      822 |      728
378.54/378.70	c  378s |      16 |   348205 |   192852 |    20998     17 |      822 |      728
380.74/380.87	c  380s |      16 |   349062 |   193552 |    20998     17 |      822 |      728
382.94/383.04	c  382s |      16 |   349890 |   194252 |    20998     17 |      822 |      728
384.93/385.05	c  384s |      16 |   350565 |   194852 |    20998     17 |      822 |      728
387.13/387.28	c  387s |      16 |   351241 |   195452 |    20998     17 |      822 |      728
389.23/389.37	c  389s |      16 |   352824 |   196152 |    23098     17 |      822 |      728
391.23/391.39	c  391s |      17 |   355819 |   197432 |    23098     17 |      822 |      728
393.43/393.52	c  393s |      17 |   363388 |   199432 |    23098     17 |      822 |      728
395.43/395.54	c  395s |      17 |   366939 |   200932 |    23098     17 |      822 |      728
397.43/397.59	c  397s |      17 |   371836 |   202632 |    23098     18 |      822 |      728
399.63/399.71	c  399s |      17 |   377491 |   204832 |    23098     18 |      822 |      728
401.63/401.77	c  401s |      17 |   379439 |   206232 |    23098     18 |      822 |      728
403.73/403.88	c  403s |      17 |   381186 |   207532 |    23098     18 |      822 |      728
405.93/406.06	c  405s |      17 |   382796 |   208832 |    23098     18 |      822 |      728
408.03/408.11	c  407s |      17 |   384629 |   210032 |    23098     18 |      822 |      728
410.03/410.12	c  409s |      17 |   386919 |   211232 |    23098     18 |      822 |      728
412.03/412.19	c  411s |      17 |   388820 |   212432 |    23098     18 |      822 |      728
414.23/414.32	c  414s |      17 |   390150 |   213432 |    23098     18 |      822 |      728
416.32/416.41	c  416s |      17 |   391305 |   214332 |    23098     18 |      822 |      728
418.32/418.42	c  418s |      17 |   392258 |   215132 |    23098     18 |      822 |      728
420.43/420.58	c  420s |      17 |   393189 |   215932 |    23098     18 |      822 |      728
422.63/422.72	c  422s |      17 |   394295 |   216832 |    23098     18 |      822 |      728
424.83/424.93	c  424s |      17 |   395311 |   217632 |    23098     19 |      822 |      728
426.93/427.06	c  426s |      17 |   396495 |   218532 |    23098     19 |      822 |      728
429.02/429.13	c  428s |      17 |   397433 |   219332 |    23098     19 |      822 |      728
431.02/431.14	c  430s |      17 |   398383 |   220132 |    23098     19 |      822 |      728
433.22/433.33	c  433s |      17 |   399341 |   220932 |    23098     19 |      822 |      728
435.52/435.62	c  435s |      17 |   400274 |   221732 |    23098     19 |      822 |      728
437.72/437.83	c  437s |      17 |   401051 |   222432 |    23098     19 |      822 |      728
439.92/440.09	c  439s |      17 |   401854 |   223132 |    23098     19 |      822 |      728
442.12/442.22	c  441s |      17 |   402548 |   223732 |    23098     19 |      822 |      728
444.22/444.39	c  444s |      17 |   403264 |   224332 |    23098     19 |      822 |      728
446.52/446.66	c  446s |      17 |   404062 |   225032 |    23098     19 |      822 |      728
448.82/448.91	c  448s |      17 |   405084 |   225832 |    23098     19 |      822 |      728
450.82/450.94	c  450s |      17 |   405804 |   226432 |    23098     19 |      822 |      728
452.92/453.03	c  452s |      17 |   406503 |   227032 |    23098     19 |      822 |      728
455.12/455.26	c  454s |      17 |   407184 |   227632 |    23098     19 |      822 |      728
457.32/457.42	c  457s |      17 |   407912 |   228232 |    23098     19 |      822 |      728
459.32/459.48	c  459s |      17 |   408483 |   228732 |    23098     19 |      822 |      728
461.42/461.56	c  461s |      17 |   408912 |   229132 |    23098     19 |      822 |      728
463.82/463.92	c  463s |      17 |   409408 |   229532 |    23098     19 |      822 |      728
466.01/466.13	c  465s |      17 |   410035 |   230032 |    23098     20 |      822 |      728
468.31/468.41	c  468s |      17 |   410968 |   230832 |    23098     20 |      822 |      728
470.51/470.61	c  470s |      17 |   411656 |   231432 |    23098     20 |      822 |      728
472.51/472.62	c  472s |      17 |   412308 |   232032 |    23098     20 |      822 |      728
474.81/474.98	c  474s |      17 |   413135 |   232732 |    23098     20 |      822 |      728
477.01/477.14	c  476s |      17 |   413821 |   233332 |    23098     20 |      822 |      728
479.11/479.25	c  478s |      17 |   414628 |   234032 |    23098     20 |      822 |      728
481.21/481.38	c  481s |      17 |   415298 |   234632 |    23098     20 |      822 |      728
483.51/483.63	c  483s |      17 |   416001 |   235232 |    23098     20 |      822 |      728
485.61/485.70	c  485s |      17 |   416673 |   235832 |    23098     20 |      822 |      728
487.61/487.73	c  487s |      17 |   417382 |   236432 |    23098     20 |      822 |      728
489.72/489.90	c  489s |      17 |   418048 |   237032 |    23098     20 |      822 |      728
491.93/492.05	c  491s |      17 |   418733 |   237632 |    23098     20 |      822 |      728
494.22/494.36	c  494s |      17 |   419403 |   238232 |    23098     20 |      822 |      728
496.52/496.61	c  496s |      17 |   420064 |   238832 |    23098     20 |      822 |      728
498.52/498.66	c  498s |      17 |   420624 |   239332 |    23098     20 |      822 |      728
500.81/500.94	c  500s |      17 |   421277 |   239932 |    23098     20 |      822 |      728
502.82/503.00	c  502s |      17 |   421824 |   240432 |    23098     20 |      822 |      728
505.12/505.22	c  504s |      17 |   422372 |   240932 |    23098     20 |      822 |      728
507.41/507.58	c  507s |      17 |   422927 |   241432 |    23098     20 |      822 |      728
509.52/509.63	c  509s |      17 |   423473 |   241932 |    23098     20 |      822 |      728
511.81/511.98	c  511s |      17 |   424146 |   242532 |    23098     20 |      822 |      728
513.82/513.99	c  513s |      17 |   424700 |   243032 |    23098     20 |      822 |      728
516.02/516.13	c  515s |      17 |   425157 |   243432 |    23098     21 |      822 |      728
518.11/518.28	c  518s |      17 |   425748 |   243932 |    23098     21 |      822 |      728
520.42/520.57	c  520s |      17 |   426449 |   244532 |    23098     21 |      822 |      728
522.62/522.74	c  522s |      17 |   427022 |   245032 |    23098     21 |      822 |      728
524.82/524.92	c  524s |      17 |   427569 |   245532 |    23098     21 |      822 |      728
527.02/527.11	c  526s |      17 |   428152 |   246032 |    23098     21 |      822 |      728
529.22/529.32	c  529s |      17 |   428838 |   246632 |    23098     21 |      822 |      728
531.21/531.38	c  531s |      17 |   429411 |   247132 |    23098     21 |      822 |      728
533.31/533.50	c  533s |      17 |   429959 |   247632 |    23098     21 |      822 |      728
535.41/535.51	c  535s |      17 |   430504 |   248132 |    23098     21 |      822 |      728
537.51/537.62	c  537s |      17 |   431383 |   248832 |    23098     21 |      822 |      728
539.81/539.93	c  539s |      17 |   432236 |   249532 |    23098     21 |      822 |      728
542.31/542.41	c  542s |      17 |   432805 |   250032 |    23098     21 |      822 |      728
544.40/544.59	c  544s |      17 |   433523 |   250632 |    23098     21 |      822 |      728
546.50/546.66	c  546s |      17 |   433974 |   251032 |    23098     21 |      822 |      728
548.60/548.77	c  548s |      17 |   434525 |   251532 |    23098     21 |      822 |      728
550.70/550.88	c  550s |      17 |   435112 |   252032 |    23098     21 |      822 |      728
553.10/553.26	c  552s |      17 |   435816 |   252632 |    23098     21 |      822 |      728
555.20/555.33	c  555s |      17 |   436366 |   253132 |    23098     21 |      822 |      728
557.20/557.38	c  557s |      17 |   436937 |   253632 |    23098     21 |      822 |      728
559.60/559.73	c  559s |      17 |   437610 |   254232 |    23098     21 |      822 |      728
562.00/562.14	c  561s |      17 |   438306 |   254832 |    23098     21 |      822 |      728
564.10/564.29	c  564s |      17 |   438869 |   255332 |    23098     21 |      822 |      728
566.71/566.81	c  566s |      17 |   439308 |   255732 |    23098     21 |      822 |      728
568.70/568.86	c  568s |      17 |   439730 |   256132 |    23098     21 |      822 |      728
570.91/571.05	c  570s |      17 |   440182 |   256532 |    23098     22 |      822 |      728
573.31/573.49	c  573s |      17 |   440833 |   257132 |    23098     22 |      822 |      728
575.71/575.82	c  575s |      17 |   441495 |   257732 |    23098     22 |      822 |      728
577.81/577.96	c  577s |      17 |   442165 |   258332 |    23098     22 |      822 |      728
579.81/579.97	c  579s |      17 |   442840 |   258932 |    23098     22 |      822 |      728
582.11/582.22	c  581s |      17 |   443509 |   259532 |    23098     22 |      822 |      728
584.50/584.67	c  584s |      17 |   444320 |   260232 |    23098     22 |      822 |      728
586.90/587.05	c  586s |      17 |   444873 |   260732 |    23098     22 |      822 |      728
589.30/589.41	c  589s |      17 |   445433 |   261232 |    23098     22 |      822 |      728
591.60/591.71	c  591s |      17 |   446001 |   261732 |    23098     22 |      822 |      728
593.90/594.01	c  593s |      17 |   446671 |   262332 |    23098     22 |      822 |      728
596.20/596.32	c  596s |      17 |   447228 |   262832 |    23098     22 |      822 |      728
598.51/598.69	c  598s |      17 |   447807 |   263332 |    23098     22 |      822 |      728
600.90/601.09	c  600s |      17 |   448356 |   263832 |    23098     22 |      822 |      728
603.50/603.60	c  603s |      17 |   448893 |   264332 |    23098     22 |      822 |      728
605.60/605.76	c  605s |      17 |   449488 |   264832 |    23098     22 |      822 |      728
607.80/607.99	c  607s |      17 |   450159 |   265432 |    23098     22 |      822 |      728
610.20/610.38	c  610s |      17 |   450855 |   266032 |    23098     22 |      822 |      728
612.50/612.63	c  612s |      17 |   451518 |   266632 |    23098     22 |      822 |      728
614.50/614.66	c  614s |      17 |   452072 |   267132 |    23098     22 |      822 |      728
616.90/617.06	c  616s |      17 |   452756 |   267732 |    23098     22 |      822 |      728
619.30/619.44	c  619s |      17 |   453446 |   268332 |    23098     22 |      822 |      728
621.60/621.80	c  621s |      17 |   454117 |   268932 |    23098     22 |      822 |      728
624.00/624.11	c  623s |      17 |   454684 |   269432 |    23098     22 |      822 |      728
626.10/626.29	c  626s |      17 |   455124 |   269832 |    23098     23 |      822 |      728
628.39/628.58	c  628s |      17 |   455671 |   270332 |    23098     23 |      822 |      728
630.59/630.72	c  630s |      17 |   456232 |   270832 |    23098     23 |      822 |      728
632.99/633.19	c  632s |      17 |   456900 |   271432 |    23098     23 |      822 |      728
635.39/635.55	c  635s |      17 |   457324 |   271832 |    23098     23 |      822 |      728
637.59/637.74	c  637s |      17 |   457975 |   272332 |    23098     23 |      822 |      728
639.69/639.89	c  639s |      17 |   458712 |   272932 |    23098     23 |      822 |      728
641.99/642.15	c  641s |      17 |   459294 |   273432 |    23098     23 |      822 |      728
644.19/644.34	c  644s |      17 |   460140 |   274132 |    23098     23 |      822 |      728
646.19/646.39	c  646s |      17 |   460722 |   274632 |    23098     23 |      822 |      728
648.49/648.65	c  648s |      17 |   461275 |   275132 |    23098     23 |      822 |      728
650.79/650.98	c  650s |      17 |   461833 |   275632 |    23098     23 |      822 |      728
653.19/653.35	c  653s |      17 |   462501 |   276232 |    23098     23 |      822 |      728
655.49/655.62	c  655s |      17 |   463060 |   276732 |    23098     23 |      822 |      728
657.89/658.03	c  657s |      17 |   463648 |   277232 |    23098     23 |      822 |      728
659.99/660.20	c  659s |      17 |   464198 |   277732 |    23098     23 |      822 |      728
662.19/662.40	c  662s |      17 |   464756 |   278232 |    23098     23 |      822 |      728
664.28/664.44	c  664s |      17 |   465298 |   278732 |    23098     23 |      822 |      728
666.69/666.86	c  666s |      17 |   465972 |   279332 |    23098     23 |      822 |      728
669.18/669.33	c  669s |      17 |   466540 |   279832 |    23098     23 |      822 |      728
671.48/671.64	c  671s |      17 |   466986 |   280232 |    23098     23 |      822 |      728
673.98/674.19	c  673s |      17 |   467550 |   280732 |    23098     23 |      822 |      728
676.78/676.92	c  676s |      17 |   468104 |   281232 |    23098     23 |      822 |      728
678.98/679.15	c  678s |      17 |   468538 |   281632 |    23098     23 |      822 |      728
681.28/681.49	c  681s |      17 |   469093 |   282132 |    23098     23 |      822 |      728
684.18/684.32	c  684s |      17 |   469721 |   282632 |    23098     24 |      822 |      728
686.38/686.58	c  686s |      17 |   470407 |   283232 |    23098     24 |      822 |      728
688.58/688.74	c  688s |      17 |   471229 |   283932 |    23098     24 |      822 |      728
690.59/690.76	c  690s |      17 |   471806 |   284432 |    23098     24 |      822 |      728
692.69/692.82	c  692s |      17 |   472499 |   285032 |    23098     24 |      822 |      728
694.79/694.97	c  694s |      17 |   473337 |   285732 |    23098     24 |      822 |      728
696.99/697.17	c  696s |      17 |   474047 |   286332 |    23098     24 |      822 |      728
698.99/699.19	c  698s |      17 |   474500 |   286732 |    23098     24 |      822 |      728
701.09/701.21	c  700s |      17 |   475076 |   287232 |    23098     24 |      822 |      728
703.39/703.59	c  703s |      17 |   475774 |   287832 |    23098     24 |      822 |      728
705.69/705.85	c  705s |      17 |   476334 |   288332 |    23098     24 |      822 |      728
708.28/708.48	c  708s |      17 |   476904 |   288832 |    23098     24 |      822 |      728
710.58/710.76	c  710s |      17 |   477705 |   289532 |    23098     24 |      822 |      728
712.68/712.81	c  712s |      17 |   478395 |   290132 |    23098     24 |      822 |      728
714.88/715.08	c  714s |      17 |   478955 |   290632 |    23098     24 |      822 |      728
716.98/717.16	c  716s |      17 |   479842 |   291332 |    23098     24 |      822 |      728
719.08/719.24	c  718s |      17 |   480525 |   291932 |    23098     24 |      822 |      728
721.18/721.38	c  721s |      17 |   481200 |   292532 |    23098     24 |      822 |      728
723.48/723.61	c  723s |      17 |   481894 |   293132 |    23098     24 |      822 |      728
725.48/725.61	c  725s |      17 |   482444 |   293632 |    23098     24 |      822 |      728
727.68/727.85	c  727s |      17 |   483112 |   294232 |    25408     24 |      822 |      728
729.78/729.97	c  729s |      17 |   483669 |   294732 |    25408     24 |      822 |      728
731.98/732.17	c  731s |      17 |   484199 |   295232 |    25408     24 |      822 |      728
734.38/734.58	c  734s |      17 |   484750 |   295732 |    25408     24 |      822 |      728
736.68/736.85	c  736s |      17 |   485291 |   296232 |    25408     24 |      822 |      728
736.78/736.96	c  736s |      18 |   485306 |   296252 |    25408     24 |      822 |      728
738.88/739.00	c  738s |      18 |   493717 |   297752 |    25408     25 |      822 |      728
740.97/741.11	c  740s |      18 |   500528 |   299952 |    25408     25 |      822 |      728
743.07/743.26	c  742s |      18 |   501932 |   301252 |    25408     25 |      822 |      728
745.07/745.27	c  744s |      18 |   502923 |   302152 |    25408     25 |      822 |      728
747.27/747.43	c  747s |      18 |   503899 |   303052 |    25408     25 |      822 |      728
749.28/749.49	c  749s |      18 |   504997 |   303952 |    25408     25 |      822 |      728
751.48/751.66	c  751s |      18 |   506652 |   305252 |    25408     25 |      822 |      728
753.58/753.80	c  753s |      18 |   507853 |   306252 |    25408     25 |      822 |      728
755.78/755.94	c  755s |      18 |   509087 |   307252 |    25408     25 |      822 |      728
757.87/758.04	c  757s |      18 |   510146 |   308252 |    25408     25 |      822 |      728
759.97/760.16	c  759s |      18 |   511096 |   309152 |    25408     25 |      822 |      728
761.97/762.19	c  761s |      18 |   511935 |   309952 |    25408     25 |      822 |      728
764.07/764.24	c  763s |      18 |   512664 |   310652 |    25408     25 |      822 |      728
766.17/766.34	c  766s |      18 |   513449 |   311352 |    25408     25 |      822 |      728
768.17/768.36	c  768s |      18 |   514121 |   311952 |    25408     26 |      822 |      728
770.27/770.49	c  770s |      18 |   516883 |   313352 |    25408     26 |      822 |      728
772.37/772.55	c  772s |      18 |   519002 |   314552 |    25408     26 |      822 |      728
774.37/774.59	c  774s |      18 |   521525 |   315952 |    25408     26 |      822 |      728
776.57/776.73	c  776s |      18 |   523171 |   317152 |    25408     26 |      822 |      728
778.57/778.74	c  778s |      18 |   524148 |   318052 |    25408     26 |      822 |      728
780.67/780.82	c  780s |      18 |   525094 |   318952 |    25408     26 |      822 |      728
782.67/782.86	c  782s |      18 |   526058 |   319852 |    25408     26 |      822 |      728
784.87/785.08	c  784s |      18 |   526917 |   320652 |    25408     26 |      822 |      728
786.97/787.17	c  786s |      18 |   527758 |   321452 |    25408     26 |      822 |      728
789.27/789.40	c  789s |      18 |   528503 |   322152 |    25408     26 |      822 |      728
791.36/791.51	c  791s |      18 |   529226 |   322852 |    25408     26 |      822 |      728
793.56/793.74	c  793s |      18 |   529990 |   323552 |    25408     26 |      822 |      728
795.76/795.97	c  795s |      18 |   530901 |   324352 |    25408     26 |      822 |      728
798.06/798.21	c  797s |      18 |   531655 |   325052 |    25408     26 |      822 |      728
800.26/800.46	c  800s |      18 |   532427 |   325752 |    25408     26 |      822 |      728
802.36/802.57	c  802s |      18 |   533077 |   326352 |    25408     27 |      822 |      728
804.66/804.83	c  804s |      18 |   534128 |   327252 |    25408     27 |      822 |      728
806.66/806.86	c  806s |      18 |   535028 |   328052 |    25408     27 |      822 |      728
808.86/809.07	c  808s |      18 |   535801 |   328752 |    25408     27 |      822 |      728
811.06/811.20	c  810s |      18 |   536578 |   329452 |    25408     27 |      822 |      728
813.07/813.27	c  812s |      18 |   537325 |   330152 |    25408     27 |      822 |      728
815.17/815.31	c  815s |      18 |   537954 |   330752 |    25408     27 |      822 |      728
817.16/817.37	c  817s |      18 |   538740 |   331452 |    25408     27 |      822 |      728
819.36/819.57	c  819s |      18 |   539519 |   332152 |    25408     27 |      822 |      728
821.46/821.66	c  821s |      18 |   540188 |   332752 |    25408     27 |      822 |      728
823.66/823.83	c  823s |      18 |   540953 |   333452 |    25408     27 |      822 |      728
825.86/826.00	c  825s |      18 |   541718 |   334152 |    25408     27 |      822 |      728
827.86/828.00	c  827s |      18 |   542339 |   334752 |    25408     27 |      822 |      728
830.26/830.41	c  830s |      18 |   543068 |   335452 |    25408     27 |      822 |      728
832.26/832.45	c  832s |      18 |   543580 |   335952 |    25408     27 |      822 |      728
834.26/834.45	c  834s |      18 |   544093 |   336452 |    25408     27 |      822 |      728
836.56/836.76	c  836s |      18 |   544735 |   337052 |    25408     27 |      822 |      728
838.96/839.10	c  838s |      18 |   545264 |   337552 |    25408     27 |      822 |      728
841.06/841.22	c  840s |      18 |   545789 |   338052 |    25408     27 |      822 |      728
843.36/843.55	c  843s |      18 |   546316 |   338552 |    25408     27 |      822 |      728
845.56/845.79	c  845s |      18 |   546959 |   339152 |    25408     27 |      822 |      728
847.66/847.81	c  847s |      18 |   547488 |   339652 |    25408     27 |      822 |      728
849.86/850.03	c  849s |      18 |   548019 |   340152 |    25408     28 |      822 |      728
851.96/852.11	c  851s |      18 |   548763 |   340852 |    25408     28 |      822 |      728
854.16/854.32	c  854s |      18 |   549495 |   341552 |    25408     28 |      822 |      728
856.25/856.45	c  856s |      18 |   550115 |   342152 |    25408     28 |      822 |      728
858.55/858.77	c  858s |      18 |   550734 |   342752 |    25408     28 |      822 |      728
860.65/860.80	c  860s |      18 |   551248 |   343252 |    25408     28 |      822 |      728
862.75/862.92	c  862s |      18 |   551876 |   343852 |    25408     28 |      822 |      728
864.76/864.98	c  864s |      18 |   552497 |   344452 |    25408     28 |      822 |      728
866.96/867.19	c  866s |      18 |   553126 |   345052 |    25408     28 |      822 |      728
869.06/869.23	c  868s |      18 |   554309 |   346052 |    25408     28 |      822 |      728
871.26/871.43	c  871s |      18 |   555730 |   347252 |    25408     28 |      822 |      728
873.25/873.48	c  873s |      18 |   556895 |   348252 |    25408     28 |      822 |      728
875.45/875.67	c  875s |      18 |   558227 |   349352 |    25408     28 |      822 |      728
877.65/877.89	c  877s |      18 |   559374 |   350352 |    25408     28 |      822 |      728
879.95/880.11	c  879s |      18 |   560287 |   351152 |    25408     28 |      822 |      728
881.95/882.15	c  881s |      18 |   561364 |   352052 |    25408     28 |      822 |      728
883.95/884.19	c  883s |      18 |   562219 |   352752 |    25408     28 |      822 |      728
886.25/886.46	c  886s |      18 |   563126 |   353552 |    25408     28 |      822 |      728
888.46/888.62	c  888s |      18 |   564066 |   354352 |    25408     28 |      822 |      728
890.46/890.66	c  890s |      18 |   565123 |   355152 |    25408     29 |      822 |      728
892.46/892.69	c  892s |      18 |   566511 |   356252 |    25408     29 |      822 |      728
894.56/894.73	c  894s |      18 |   567765 |   357152 |    25408     29 |      822 |      728
896.76/896.94	c  896s |      18 |   569556 |   358452 |    25408     29 |      822 |      728
898.96/899.12	c  898s |      18 |   570972 |   359452 |    25408     29 |      822 |      728
901.15/901.35	c  901s |      18 |   572445 |   360552 |    25408     29 |      822 |      728
903.35/903.51	c  903s |      18 |   573694 |   361452 |    25408     29 |      822 |      728
905.36/905.60	c  905s |      18 |   575042 |   362352 |    25408     29 |      822 |      728
907.45/907.63	c  907s |      18 |   576095 |   363252 |    25408     29 |      822 |      728
909.65/909.89	c  909s |      18 |   577158 |   364152 |    25408     29 |      822 |      728
911.85/912.08	c  911s |      18 |   578029 |   364952 |    25408     29 |      822 |      728
914.16/914.34	c  914s |      18 |   578788 |   365652 |    25408     29 |      822 |      728
916.36/916.56	c  916s |      18 |   579681 |   366452 |    25408     29 |      822 |      728
918.45/918.65	c  918s |      18 |   580479 |   367152 |    25408     29 |      822 |      728
920.45/920.68	c  920s |      18 |   581245 |   367852 |    25408     29 |      822 |      728
922.65/922.84	c  922s |      18 |   582004 |   368552 |    25408     29 |      822 |      728
924.75/924.90	c  924s |      18 |   582661 |   369152 |    25408     30 |      822 |      728
926.75/926.94	c  926s |      18 |   583532 |   369952 |    25408     30 |      822 |      728
928.95/929.17	c  928s |      18 |   584404 |   370752 |    25408     30 |      822 |      728
931.05/931.28	c  931s |      18 |   585259 |   371552 |    25408     30 |      822 |      728
933.25/933.42	c  933s |      18 |   586173 |   372352 |    25408     30 |      822 |      728
935.34/935.58	c  935s |      18 |   586911 |   373052 |    25408     30 |      822 |      728
937.35/937.59	c  937s |      18 |   587554 |   373652 |    25408     30 |      822 |      728
939.64/939.82	c  939s |      18 |   588322 |   374352 |    25408     30 |      822 |      728
941.75/941.95	c  941s |      18 |   588957 |   374952 |    25408     30 |      822 |      728
944.04/944.24	c  943s |      18 |   589700 |   375652 |    25408     30 |      822 |      728
946.34/946.58	c  946s |      18 |   590448 |   376352 |    25408     30 |      822 |      728
948.74/948.93	c  948s |      18 |   591217 |   377052 |    25408     30 |      822 |      728
950.84/951.06	c  950s |      18 |   591870 |   377652 |    25408     30 |      822 |      728
953.04/953.20	c  952s |      18 |   592530 |   378252 |    25408     30 |      822 |      728
955.24/955.46	c  955s |      18 |   593176 |   378852 |    25408     30 |      822 |      728
957.24/957.49	c  957s |      18 |   593695 |   379352 |    25408     30 |      822 |      728
959.44/959.69	c  959s |      18 |   594333 |   379952 |    25408     30 |      822 |      728
961.64/961.89	c  961s |      18 |   594859 |   380452 |    25408     30 |      822 |      728
964.04/964.21	c  963s |      18 |   595488 |   381052 |    25408     30 |      822 |      728
966.34/966.56	c  966s |      18 |   596119 |   381652 |    25408     30 |      822 |      728
968.44/968.68	c  968s |      18 |   596652 |   382152 |    25408     30 |      822 |      728
970.64/970.86	c  970s |      18 |   597181 |   382652 |    25408     30 |      822 |      728
972.94/973.16	c  972s |      18 |   597714 |   383152 |    25408     31 |      822 |      728
975.14/975.39	c  975s |      18 |   598342 |   383752 |    25408     31 |      822 |      728
977.44/977.62	c  977s |      18 |   599075 |   384452 |    25408     31 |      822 |      728
979.64/979.85	c  979s |      18 |   599807 |   385152 |    25408     31 |      822 |      728
981.83/982.08	c  981s |      18 |   600532 |   385852 |    25408     31 |      822 |      728
984.03/984.24	c  983s |      18 |   601150 |   386452 |    25408     31 |      822 |      728
986.13/986.35	c  986s |      18 |   601794 |   387052 |    25408     31 |      822 |      728
988.33/988.57	c  988s |      18 |   602435 |   387652 |    25408     31 |      822 |      728
990.64/990.89	c  990s |      18 |   603064 |   388252 |    25408     31 |      822 |      728
992.74/992.95	c  992s |      18 |   603599 |   388752 |    25408     31 |      822 |      728
995.04/995.26	c  994s |      18 |   604385 |   389452 |    25408     31 |      822 |      728
997.24/997.44	c  997s |      18 |   605073 |   390052 |    25408     31 |      822 |      728
999.44/999.65	c  999s |      18 |   605730 |   390652 |    25408     31 |      822 |      728
1001.74/1001.99	c 1001s |      18 |   606386 |   391252 |    25408     31 |      822 |      728
1004.04/1004.25	c 1003s |      18 |   607038 |   391852 |    25408     31 |      822 |      728
1006.14/1006.30	c 1006s |      18 |   607570 |   392352 |    25408     31 |      822 |      728
1008.24/1008.47	c 1008s |      18 |   608089 |   392852 |    25408     31 |      822 |      728
1010.64/1010.85	c 1010s |      18 |   608734 |   393452 |    25408     31 |      822 |      728
1012.74/1012.95	c 1012s |      18 |   609283 |   393952 |    25408     31 |      822 |      728
1014.74/1014.99	c 1014s |      18 |   609821 |   394452 |    25408     31 |      822 |      728
1017.04/1017.28	c 1017s |      18 |   610349 |   394952 |    25408     31 |      822 |      728
1019.44/1019.60	c 1019s |      18 |   610887 |   395452 |    25408     31 |      822 |      728
1021.44/1021.67	c 1021s |      18 |   611301 |   395852 |    25408     31 |      822 |      728
1023.74/1023.96	c 1023s |      18 |   611840 |   396352 |    25408     31 |      822 |      728
1025.94/1026.15	c 1025s |      18 |   612365 |   396852 |    25408     31 |      822 |      728
1028.24/1028.48	c 1028s |      18 |   612795 |   397252 |    25408     32 |      822 |      728
1030.44/1030.63	c 1030s |      18 |   613427 |   397852 |    25408     32 |      822 |      728
1032.54/1032.70	c 1032s |      18 |   614064 |   398452 |    25408     32 |      822 |      728
1034.63/1034.80	c 1034s |      18 |   614692 |   399052 |    25408     32 |      822 |      728
1036.63/1036.81	c 1036s |      18 |   615332 |   399652 |    25408     32 |      822 |      728
1038.83/1039.08	c 1038s |      18 |   615976 |   400252 |    25408     32 |      822 |      728
1041.03/1041.28	c 1041s |      18 |   616608 |   400852 |    25408     32 |      822 |      728
1043.23/1043.41	c 1043s |      18 |   617249 |   401452 |    25408     32 |      822 |      728
1045.43/1045.65	c 1045s |      18 |   617870 |   402052 |    25408     32 |      822 |      728
1047.63/1047.85	c 1047s |      18 |   618497 |   402652 |    25408     32 |      822 |      728
1050.03/1050.27	c 1049s |      18 |   619141 |   403252 |    25408     32 |      822 |      728
1052.03/1052.29	c 1052s |      18 |   619660 |   403752 |    25408     32 |      822 |      728
1054.13/1054.31	c 1054s |      18 |   620331 |   404352 |    25408     32 |      822 |      728
1056.23/1056.46	c 1056s |      18 |   621075 |   405052 |    25408     32 |      822 |      728
1058.43/1058.69	c 1058s |      18 |   621705 |   405652 |    25408     32 |      822 |      728
1060.73/1060.92	c 1060s |      18 |   622488 |   406352 |    25408     32 |      822 |      728
1062.83/1063.07	c 1062s |      18 |   623119 |   406952 |    25408     32 |      822 |      728
1065.03/1065.27	c 1064s |      18 |   623795 |   407552 |    25408     32 |      822 |      728
1067.23/1067.48	c 1067s |      18 |   624439 |   408152 |    25408     32 |      822 |      728
1069.63/1069.84	c 1069s |      18 |   625073 |   408752 |    25408     32 |      822 |      728
1072.03/1072.24	c 1071s |      18 |   625715 |   409352 |    25408     32 |      822 |      728
1074.13/1074.33	c 1074s |      18 |   626247 |   409852 |    25408     32 |      822 |      728
1076.33/1076.52	c 1076s |      18 |   626768 |   410352 |    25408     32 |      822 |      728
1078.33/1078.58	c 1078s |      18 |   627309 |   410852 |    25408     32 |      822 |      728
1080.43/1080.67	c 1080s |      18 |   627822 |   411352 |    25408     32 |      822 |      728
1082.53/1082.77	c 1082s |      18 |   628337 |   411852 |    25408     33 |      822 |      728
1084.83/1085.01	c 1084s |      18 |   629083 |   412552 |    25408     33 |      822 |      728
1087.03/1087.25	c 1086s |      18 |   629816 |   413252 |    25408     33 |      822 |      728
1089.13/1089.39	c 1089s |      18 |   630565 |   413952 |    25408     33 |      822 |      728
1091.23/1091.43	c 1091s |      18 |   631202 |   414552 |    25408     33 |      822 |      728
1093.32/1093.53	c 1093s |      18 |   631847 |   415152 |    25408     33 |      822 |      728
1095.52/1095.70	c 1095s |      18 |   632487 |   415752 |    25408     33 |      822 |      728
1097.52/1097.73	c 1097s |      18 |   633114 |   416352 |    25408     33 |      822 |      728
1099.52/1099.77	c 1099s |      18 |   633766 |   416952 |    25408     33 |      822 |      728
1101.62/1101.89	c 1101s |      18 |   634419 |   417552 |    25408     33 |      822 |      728
1103.82/1104.04	c 1103s |      18 |   635047 |   418152 |    25408     33 |      822 |      728
1105.92/1106.18	c 1105s |      18 |   635671 |   418752 |    25408     33 |      822 |      728
1108.32/1108.53	c 1108s |      18 |   636300 |   419352 |    25408     33 |      822 |      728
1110.42/1110.60	c 1110s |      18 |   636822 |   419852 |    25408     33 |      822 |      728
1112.62/1112.84	c 1112s |      18 |   637340 |   420352 |    25408     33 |      822 |      728
1114.72/1114.98	c 1114s |      18 |   637869 |   420852 |    25408     33 |      822 |      728
1117.02/1117.23	c 1116s |      18 |   638389 |   421352 |    25408     33 |      822 |      728
1119.12/1119.39	c 1119s |      18 |   638909 |   421852 |    25408     33 |      822 |      728
1121.42/1121.63	c 1121s |      18 |   639421 |   422352 |    25408     33 |      822 |      728
1123.62/1123.81	c 1123s |      18 |   639840 |   422752 |    25408     33 |      822 |      728
1125.72/1125.92	c 1125s |      18 |   640274 |   423152 |    25408     33 |      822 |      728
1127.92/1128.10	c 1127s |      18 |   640827 |   423652 |    25408     33 |      822 |      728
1129.92/1130.17	c 1129s |      18 |   641348 |   424152 |    25408     33 |      822 |      728
1132.22/1132.42	c 1132s |      18 |   641862 |   424652 |    25408     33 |      822 |      728
1134.42/1134.67	c 1134s |      18 |   642390 |   425152 |    25408     33 |      822 |      728
1136.72/1136.94	c 1136s |      18 |   642911 |   425652 |    25408     33 |      822 |      728
1138.92/1139.18	c 1138s |      18 |   643450 |   426152 |    25408     34 |      822 |      728
1141.22/1141.43	c 1141s |      18 |   644203 |   426852 |    25408     34 |      822 |      728
1143.22/1143.47	c 1143s |      18 |   644855 |   427452 |    25408     34 |      822 |      728
1145.31/1145.53	c 1145s |      18 |   645501 |   428052 |    25408     34 |      822 |      728
1147.71/1147.90	c 1147s |      18 |   646155 |   428652 |    25408     34 |      822 |      728
1149.91/1150.16	c 1149s |      18 |   646768 |   429252 |    25408     34 |      822 |      728
1152.11/1152.37	c 1152s |      18 |   647398 |   429852 |    25408     34 |      822 |      728
1154.51/1154.72	c 1154s |      18 |   648027 |   430452 |    25408     34 |      822 |      728
1156.51/1156.72	c 1156s |      18 |   648552 |   430952 |    25408     34 |      822 |      728
1158.51/1158.79	c 1158s |      18 |   649081 |   431452 |    25408     34 |      822 |      728
1160.71/1160.98	c 1160s |      18 |   649605 |   431952 |    25408     34 |      822 |      728
1162.91/1163.13	c 1162s |      18 |   650127 |   432452 |    25408     34 |      822 |      728
1165.02/1165.28	c 1165s |      18 |   650647 |   432952 |    25408     34 |      822 |      728
1167.22/1167.42	c 1167s |      18 |   651170 |   433452 |    25408     34 |      822 |      728
1169.42/1169.66	c 1169s |      18 |   651690 |   433952 |    25408     34 |      822 |      728
1171.61/1171.81	c 1171s |      18 |   652215 |   434452 |    25408     34 |      822 |      728
1173.61/1173.84	c 1173s |      18 |   652757 |   434952 |    25408     34 |      822 |      728
1175.81/1176.09	c 1175s |      18 |   653296 |   435452 |    25408     34 |      822 |      728
1178.01/1178.20	c 1177s |      18 |   653823 |   435952 |    25408     34 |      822 |      728
1180.21/1180.41	c 1180s |      18 |   654364 |   436452 |    25408     34 |      822 |      728
1182.51/1182.79	c 1182s |      18 |   654885 |   436952 |    25408     34 |      822 |      728
1184.81/1185.06	c 1184s |      18 |   655405 |   437452 |    25408     34 |      822 |      728
1187.20/1187.45	c 1187s |      18 |   655924 |   437952 |    25408     34 |      822 |      728
1189.21/1189.46	c 1189s |      18 |   656344 |   438352 |    25408     34 |      822 |      728
1191.50/1191.78	c 1191s |      18 |   656863 |   438852 |    25408     34 |      822 |      728
1193.80/1194.01	c 1193s |      18 |   657393 |   439352 |    25408     34 |      822 |      728
1195.81/1196.04	c 1195s |      18 |   657817 |   439752 |    25408     34 |      822 |      728
1198.10/1198.39	c 1198s |      18 |   658222 |   440152 |    25408     35 |      822 |      728
1200.30/1200.58	c 1200s |      18 |   658846 |   440752 |    25408     35 |      822 |      728
1202.50/1202.73	c 1202s |      18 |   659577 |   441452 |    27949     35 |      822 |      728
1204.61/1204.83	c 1204s |      18 |   660348 |   442152 |    27949     35 |      822 |      728
1206.71/1206.99	c 1206s |      18 |   661243 |   442952 |    27949     35 |      822 |      728
1208.80/1209.03	c 1208s |      18 |   662003 |   443652 |    27949     35 |      822 |      728
1211.11/1211.38	c 1211s |      18 |   662773 |   444352 |    27949     35 |      822 |      728
1211.60/1211.83	c 1211s |      19 |   662906 |   444482 |    27949     35 |      822 |      728
1213.60/1213.87	c 1213s |      19 |   669295 |   446282 |    27949     35 |      822 |      728
1215.70/1215.91	c 1215s |      19 |   672182 |   448082 |    27949     35 |      822 |      728
1217.81/1218.01	c 1217s |      19 |   674715 |   449582 |    27949     35 |      822 |      728
1219.80/1220.04	c 1219s |      19 |   676755 |   451182 |    27949     35 |      822 |      728
1221.90/1222.14	c 1221s |      19 |   677881 |   452182 |    27949     35 |      822 |      728
1224.10/1224.30	c 1224s |      19 |   678979 |   453182 |    27949     35 |      822 |      728
1226.10/1226.33	c 1226s |      19 |   679863 |   453982 |    27949     35 |      822 |      728
1228.20/1228.45	c 1228s |      19 |   680787 |   454782 |    27949     35 |      822 |      728
1230.30/1230.59	c 1230s |      19 |   681742 |   455582 |    27949     35 |      822 |      728
1232.40/1232.69	c 1232s |      19 |   682682 |   456382 |    27949     35 |      822 |      728
1234.80/1235.03	c 1234s |      19 |   683392 |   456982 |    27949     36 |      822 |      728
1236.90/1237.17	c 1236s |      19 |   684161 |   457682 |    27949     36 |      822 |      728
1239.00/1239.26	c 1238s |      19 |   684931 |   458382 |    27949     36 |      822 |      728
1241.10/1241.39	c 1241s |      19 |   685726 |   459082 |    27949     36 |      822 |      728
1243.10/1243.40	c 1243s |      19 |   686425 |   459682 |    27949     36 |      822 |      728
1245.20/1245.43	c 1245s |      19 |   687214 |   460282 |    27949     36 |      822 |      728
1247.40/1247.70	c 1247s |      19 |   688259 |   461182 |    27949     36 |      822 |      728
1249.60/1249.86	c 1249s |      19 |   689109 |   461982 |    27949     36 |      822 |      728
1251.69/1252.00	c 1251s |      19 |   690223 |   462882 |    27949     36 |      822 |      728
1254.00/1254.24	c 1253s |      19 |   691192 |   463682 |    27949     36 |      822 |      728
1256.20/1256.49	c 1256s |      19 |   692141 |   464482 |    27949     36 |      822 |      728
1258.59/1258.83	c 1258s |      19 |   692956 |   465182 |    27949     36 |      822 |      728
1260.70/1260.95	c 1260s |      19 |   693656 |   465782 |    27949     36 |      822 |      728
1262.80/1263.06	c 1262s |      19 |   694301 |   466382 |    27949     36 |      822 |      728
1265.10/1265.39	c 1265s |      19 |   694986 |   466982 |    27949     36 |      822 |      728
1267.20/1267.41	c 1267s |      19 |   695526 |   467482 |    27949     36 |      822 |      728
1269.50/1269.75	c 1269s |      19 |   696176 |   468082 |    27949     36 |      822 |      728
1271.49/1271.78	c 1271s |      19 |   696743 |   468582 |    27949     36 |      822 |      728
1273.60/1273.87	c 1273s |      19 |   697297 |   469082 |    27949     36 |      822 |      728
1275.80/1276.01	c 1275s |      19 |   697932 |   469582 |    27949     36 |      822 |      728
1278.10/1278.31	c 1278s |      19 |   698615 |   470182 |    27949     36 |      822 |      728
1280.10/1280.39	c 1280s |      19 |   699186 |   470682 |    27949     36 |      822 |      728
1282.30/1282.54	c 1282s |      19 |   699751 |   471182 |    27949     36 |      822 |      728
1284.60/1284.88	c 1284s |      19 |   700295 |   471682 |    27949     36 |      822 |      728
1287.00/1287.30	c 1287s |      19 |   700951 |   472282 |    27949     36 |      822 |      728
1289.40/1289.67	c 1289s |      19 |   701362 |   472682 |    27949     37 |      822 |      728
1291.40/1291.68	c 1291s |      19 |   702053 |   473282 |    27949     37 |      822 |      728
1293.80/1294.03	c 1293s |      19 |   702839 |   473982 |    27949     37 |      822 |      728
1296.10/1296.38	c 1296s |      19 |   703477 |   474582 |    27949     37 |      822 |      728
1298.49/1298.73	c 1298s |      19 |   704158 |   475182 |    27949     37 |      822 |      728
1300.59/1300.86	c 1300s |      19 |   704817 |   475782 |    27949     37 |      822 |      728
1302.69/1302.96	c 1302s |      19 |   705349 |   476282 |    27949     37 |      822 |      728
1304.70/1304.97	c 1304s |      19 |   705902 |   476782 |    27949     37 |      822 |      728
1306.80/1307.05	c 1306s |      19 |   706469 |   477282 |    27949     37 |      822 |      728
1309.29/1309.50	c 1309s |      19 |   707145 |   477882 |    27949     37 |      822 |      728
1311.49/1311.73	c 1311s |      19 |   707692 |   478382 |    27949     37 |      822 |      728
1313.69/1313.93	c 1313s |      19 |   708238 |   478882 |    27949     37 |      822 |      728
1315.99/1316.20	c 1315s |      19 |   708783 |   479382 |    27949     37 |      822 |      728
1317.99/1318.24	c 1317s |      19 |   709196 |   479782 |    27949     37 |      822 |      728
1320.10/1320.32	c 1320s |      19 |   709623 |   480182 |    27949     37 |      822 |      728
1322.39/1322.64	c 1322s |      19 |   710301 |   480782 |    27949     37 |      822 |      728
1324.39/1324.64	c 1324s |      19 |   710884 |   481282 |    27949     37 |      822 |      728
1326.69/1326.93	c 1326s |      19 |   711436 |   481782 |    27949     37 |      822 |      728
1328.89/1329.17	c 1328s |      19 |   711968 |   482282 |    27949     37 |      822 |      728
1331.19/1331.42	c 1331s |      19 |   712521 |   482782 |    27949     37 |      822 |      728
1333.19/1333.48	c 1333s |      19 |   713070 |   483282 |    27949     37 |      822 |      728
1335.58/1335.80	c 1335s |      19 |   713646 |   483782 |    27949     37 |      822 |      728
1337.78/1338.06	c 1337s |      19 |   714196 |   484282 |    27949     37 |      822 |      728
1339.98/1340.28	c 1340s |      19 |   714800 |   484782 |    27949     37 |      822 |      728
1342.28/1342.58	c 1342s |      19 |   715401 |   485282 |    27949     37 |      822 |      728
1344.38/1344.68	c 1344s |      19 |   715845 |   485682 |    27949     37 |      822 |      728
1346.78/1347.01	c 1346s |      19 |   716404 |   486182 |    27949     37 |      822 |      728
1348.98/1349.20	c 1348s |      19 |   716825 |   486582 |    27949     37 |      822 |      728
1351.18/1351.42	c 1351s |      19 |   717264 |   486982 |    27949     37 |      822 |      728
1353.68/1353.97	c 1353s |      19 |   717673 |   487382 |    27949     37 |      822 |      728
1356.08/1356.32	c 1356s |      19 |   718104 |   487782 |    27949     37 |      822 |      728
1358.68/1358.92	c 1358s |      19 |   718560 |   488182 |    27949     38 |      822 |      728
1360.88/1361.12	c 1360s |      19 |   719216 |   488782 |    27949     38 |      822 |      728
1362.98/1363.24	c 1362s |      19 |   719748 |   489282 |    27949     38 |      822 |      728
1365.28/1365.58	c 1365s |      19 |   720395 |   489882 |    27949     38 |      822 |      728
1367.58/1367.90	c 1367s |      19 |   721074 |   490482 |    27949     38 |      822 |      728
1369.77/1370.08	c 1369s |      19 |   721737 |   491082 |    27949     38 |      822 |      728
1372.07/1372.34	c 1372s |      19 |   722417 |   491682 |    27949     38 |      822 |      728
1374.37/1374.68	c 1374s |      19 |   723078 |   492282 |    27949     38 |      822 |      728
1376.67/1376.94	c 1376s |      19 |   723737 |   492882 |    27949     38 |      822 |      728
1379.07/1379.38	c 1379s |      19 |   724404 |   493482 |    27949     38 |      822 |      728
1381.37/1381.65	c 1381s |      19 |   724963 |   493982 |    27949     38 |      822 |      728
1383.67/1383.96	c 1383s |      19 |   725507 |   494482 |    27949     38 |      822 |      728
1385.77/1386.04	c 1385s |      19 |   726054 |   494982 |    27949     38 |      822 |      728
1388.07/1388.33	c 1388s |      19 |   726603 |   495482 |    27949     38 |      822 |      728
1390.38/1390.68	c 1390s |      19 |   727152 |   495982 |    27949     38 |      822 |      728
1392.87/1393.11	c 1392s |      19 |   727697 |   496482 |    27949     38 |      822 |      728
1394.88/1395.15	c 1394s |      19 |   728159 |   496882 |    27949     38 |      822 |      728
1397.17/1397.43	c 1397s |      19 |   728733 |   497382 |    27949     38 |      822 |      728
1399.57/1399.82	c 1399s |      19 |   729285 |   497882 |    27949     38 |      822 |      728
1401.57/1401.88	c 1401s |      19 |   729733 |   498282 |    27949     38 |      822 |      728
1403.87/1404.13	c 1403s |      19 |   730345 |   498782 |    27949     38 |      822 |      728
1405.87/1406.13	c 1405s |      19 |   730789 |   499182 |    27949     38 |      822 |      728
1408.27/1408.56	c 1408s |      19 |   731347 |   499682 |    27949     38 |      822 |      728
1410.77/1411.02	c 1410s |      19 |   731925 |   500182 |    27949     38 |      822 |      728
1412.87/1413.13	c 1412s |      19 |   732355 |   500582 |    27949     38 |      822 |      728
1415.07/1415.34	c 1415s |      19 |   732939 |   501082 |    27949     38 |      822 |      728
1417.27/1417.51	c 1417s |      19 |   733385 |   501482 |    27949     38 |      822 |      728
1419.37/1419.69	c 1419s |      19 |   733815 |   501882 |    27949     38 |      822 |      728
1421.67/1421.94	c 1421s |      19 |   734281 |   502282 |    27949     38 |      822 |      728
1424.17/1424.46	c 1424s |      19 |   734719 |   502682 |    27949     38 |      822 |      728
1426.67/1426.98	c 1426s |      19 |   735158 |   503082 |    27949     38 |      822 |      728
1428.87/1429.17	c 1428s |      19 |   735594 |   503482 |    27949     38 |      822 |      728
1431.17/1431.41	c 1431s |      19 |   735950 |   503782 |    27949     39 |      822 |      728
1433.27/1433.53	c 1433s |      19 |   736507 |   504282 |    27949     39 |      822 |      728
1435.26/1435.58	c 1435s |      19 |   737048 |   504782 |    27949     39 |      822 |      728
1437.36/1437.61	c 1437s |      19 |   737624 |   505282 |    27949     39 |      822 |      728
1439.46/1439.77	c 1439s |      19 |   738180 |   505782 |    27949     39 |      822 |      728
1441.66/1441.98	c 1441s |      19 |   738765 |   506282 |    27949     39 |      822 |      728
1443.86/1444.11	c 1443s |      19 |   739331 |   506782 |    27949     39 |      822 |      728
1445.85/1446.13	c 1445s |      19 |   739871 |   507282 |    27949     39 |      822 |      728
1448.15/1448.46	c 1448s |      19 |   740425 |   507782 |    27949     39 |      822 |      728
1450.55/1450.83	c 1450s |      19 |   740961 |   508282 |    27949     39 |      822 |      728
1452.95/1453.21	c 1452s |      19 |   741510 |   508782 |    27949     39 |      822 |      728
1455.15/1455.49	c 1455s |      19 |   742092 |   509282 |    27949     39 |      822 |      728
1457.45/1457.80	c 1457s |      19 |   742630 |   509782 |    27949     39 |      822 |      728
1459.65/1459.97	c 1459s |      19 |   743222 |   510282 |    27949     39 |      822 |      728
1462.14/1462.43	c 1462s |      19 |   743759 |   510782 |    27949     39 |      822 |      728
1464.34/1464.63	c 1464s |      19 |   744194 |   511182 |    27949     39 |      822 |      728
1466.44/1466.75	c 1466s |      19 |   744641 |   511582 |    27949     39 |      822 |      728
1468.55/1468.89	c 1468s |      19 |   745101 |   511982 |    27949     39 |      822 |      728
1471.04/1471.34	c 1471s |      19 |   745636 |   512482 |    27949     39 |      822 |      728
1473.14/1473.43	c 1473s |      19 |   746097 |   512882 |    27949     39 |      822 |      728
1475.64/1475.93	c 1475s |      19 |   746633 |   513382 |    27949     39 |      822 |      728
1477.74/1478.09	c 1477s |      19 |   747069 |   513782 |    27949     39 |      822 |      728
1479.84/1480.19	c 1479s |      19 |   747505 |   514182 |    27949     39 |      822 |      728
1482.14/1482.48	c 1482s |      19 |   748077 |   514682 |    27949     39 |      822 |      728
1484.53/1484.88	c 1484s |      19 |   748647 |   515182 |    27949     39 |      822 |      728
1486.63/1486.97	c 1486s |      19 |   749071 |   515582 |    27949     39 |      822 |      728
1488.93/1489.21	c 1488s |      19 |   749533 |   515982 |    27949     39 |      822 |      728
1491.03/1491.37	c 1491s |      19 |   749973 |   516382 |    27949     39 |      822 |      728
1493.23/1493.58	c 1493s |      19 |   750411 |   516782 |    27949     39 |      822 |      728
1495.43/1495.71	c 1495s |      19 |   750859 |   517182 |    27949     39 |      822 |      728
1497.83/1498.16	c 1497s |      19 |   751308 |   517582 |    27949     39 |      822 |      728
1499.93/1500.25	c 1499s |      19 |   751754 |   517982 |    27949     39 |      822 |      728
1502.23/1502.52	c 1502s |      19 |   752212 |   518382 |    27949     39 |      822 |      728
1504.43/1504.73	c 1504s |      19 |   752675 |   518782 |    27949     39 |      822 |      728
1506.73/1507.02	c 1506s |      19 |   753145 |   519182 |    27949     39 |      822 |      728
1508.83/1509.13	c 1508s |      19 |   753478 |   519482 |    27949     40 |      822 |      728
1511.13/1511.46	c 1511s |      19 |   754018 |   519982 |    27949     40 |      822 |      728
1513.23/1513.60	c 1513s |      19 |   754562 |   520482 |    27949     40 |      822 |      728
1515.62/1515.90	c 1515s |      19 |   755133 |   520982 |    27949     40 |      822 |      728
1517.93/1518.28	c 1518s |      19 |   755703 |   521482 |    27949     40 |      822 |      728
1519.92/1520.29	c 1520s |      19 |   756133 |   521882 |    27949     40 |      822 |      728
1522.22/1522.58	c 1522s |      19 |   756684 |   522382 |    27949     40 |      822 |      728
1524.82/1525.10	c 1524s |      19 |   757239 |   522882 |    27949     40 |      822 |      728
1526.82/1527.16	c 1526s |      19 |   757675 |   523282 |    27949     40 |      822 |      728
1528.92/1529.22	c 1528s |      19 |   758125 |   523682 |    27949     40 |      822 |      728
1531.12/1531.50	c 1531s |      19 |   758796 |   524282 |    27949     40 |      822 |      728
1533.32/1533.69	c 1533s |      19 |   759347 |   524782 |    27949     40 |      822 |      728
1535.52/1535.84	c 1535s |      19 |   759913 |   525282 |    27949     40 |      822 |      728
1537.82/1538.13	c 1537s |      19 |   760465 |   525782 |    27949     40 |      822 |      728
1540.02/1540.39	c 1540s |      19 |   761055 |   526282 |    27949     40 |      822 |      728
1542.22/1542.53	c 1542s |      19 |   761659 |   526782 |    27949     40 |      822 |      728
1544.32/1544.67	c 1544s |      19 |   762091 |   527182 |    27949     40 |      822 |      728
1546.71/1547.09	c 1546s |      19 |   762662 |   527682 |    27949     40 |      822 |      728
1548.91/1549.27	c 1548s |      19 |   763119 |   528082 |    27949     40 |      822 |      728
1551.02/1551.33	c 1551s |      19 |   763551 |   528482 |    27949     40 |      822 |      728
1553.01/1553.34	c 1553s |      19 |   764004 |   528882 |    27949     40 |      822 |      728
1555.20/1555.50	c 1555s |      19 |   764448 |   529282 |    27949     40 |      822 |      728
1557.20/1557.57	c 1557s |      19 |   764894 |   529682 |    27949     40 |      822 |      728
1559.50/1559.83	c 1559s |      19 |   765349 |   530082 |    27949     40 |      822 |      728
1561.70/1562.06	c 1561s |      19 |   765791 |   530482 |    27949     40 |      822 |      728
1563.90/1564.25	c 1563s |      19 |   766228 |   530882 |    27949     40 |      822 |      728
1566.19/1566.56	c 1566s |      19 |   766658 |   531282 |    27949     40 |      822 |      728
1568.39/1568.72	c 1568s |      19 |   767106 |   531682 |    27949     40 |      822 |      728
1570.70/1571.09	c 1570s |      19 |   767548 |   532082 |    27949     40 |      822 |      728
1573.00/1573.39	c 1573s |      19 |   767984 |   532482 |    27949     40 |      822 |      728
1575.39/1575.74	c 1575s |      19 |   768415 |   532882 |    27949     40 |      822 |      728
1577.79/1578.18	c 1577s |      19 |   768855 |   533282 |    27949     40 |      822 |      728
1580.08/1580.44	c 1580s |      19 |   769295 |   533682 |    27949     40 |      822 |      728
1582.48/1582.89	c 1582s |      19 |   769730 |   534082 |    27949     40 |      822 |      728
1584.68/1585.09	c 1584s |      19 |   770190 |   534482 |    27949     40 |      822 |      728
1587.08/1587.49	c 1587s |      19 |   770543 |   534782 |    27949     41 |      822 |      728
1589.18/1589.59	c 1589s |      19 |   771117 |   535282 |    27949     41 |      822 |      728
1591.68/1592.05	c 1591s |      19 |   771775 |   535882 |    27949     41 |      822 |      728
1593.78/1594.18	c 1593s |      19 |   772343 |   536382 |    27949     41 |      822 |      728
1595.88/1596.27	c 1595s |      19 |   772773 |   536782 |    27949     41 |      822 |      728
1598.08/1598.50	c 1598s |      19 |   773446 |   537382 |    27949     41 |      822 |      728
1600.38/1600.78	c 1600s |      19 |   774133 |   537982 |    27949     41 |      822 |      728
1602.47/1602.88	c 1602s |      19 |   774783 |   538582 |    27949     41 |      822 |      728
1604.57/1604.92	c 1604s |      19 |   775478 |   539182 |    27949     41 |      822 |      728
1606.57/1606.96	c 1606s |      19 |   776088 |   539682 |    27949     41 |      822 |      728
1608.97/1609.36	c 1609s |      19 |   776738 |   540282 |    27949     41 |      822 |      728
1611.08/1611.41	c 1611s |      19 |   777293 |   540782 |    27949     41 |      822 |      728
1613.18/1613.55	c 1613s |      19 |   777948 |   541382 |    27949     41 |      822 |      728
1615.17/1615.57	c 1615s |      19 |   778591 |   541982 |    27949     41 |      822 |      728
1617.57/1617.92	c 1617s |      19 |   779240 |   542582 |    27949     41 |      822 |      728
1619.57/1619.97	c 1619s |      19 |   779802 |   543082 |    27949     41 |      822 |      728
1621.67/1622.09	c 1621s |      19 |   780377 |   543582 |    27949     41 |      822 |      728
1623.87/1624.23	c 1623s |      19 |   780938 |   544082 |    27949     41 |      822 |      728
1625.97/1626.36	c 1626s |      19 |   781502 |   544582 |    27949     41 |      822 |      728
1628.27/1628.63	c 1628s |      19 |   782056 |   545082 |    27949     41 |      822 |      728
1630.27/1630.63	c 1630s |      19 |   782623 |   545582 |    27949     41 |      822 |      728
1632.57/1632.91	c 1632s |      19 |   783180 |   546082 |    27949     41 |      822 |      728
1634.86/1635.25	c 1634s |      19 |   783755 |   546582 |    27949     41 |      822 |      728
1636.86/1637.28	c 1637s |      19 |   784368 |   547082 |    27949     41 |      822 |      728
1639.26/1639.63	c 1639s |      19 |   784919 |   547582 |    27949     41 |      822 |      728
1641.56/1641.98	c 1641s |      19 |   785475 |   548082 |    27949     41 |      822 |      728
1643.66/1644.02	c 1643s |      19 |   785916 |   548482 |    27949     41 |      822 |      728
1645.76/1646.15	c 1645s |      19 |   786387 |   548882 |    27949     41 |      822 |      728
1647.86/1648.21	c 1647s |      19 |   786841 |   549282 |    27949     41 |      822 |      728
1649.86/1650.24	c 1649s |      19 |   787268 |   549682 |    27949     41 |      822 |      728
1651.96/1652.36	c 1652s |      19 |   787725 |   550082 |    27949     41 |      822 |      728
1654.36/1654.74	c 1654s |      19 |   788160 |   550482 |    27949     42 |      822 |      728
1656.56/1656.99	c 1656s |      19 |   788833 |   551082 |    27949     42 |      822 |      728
1658.95/1659.39	c 1659s |      19 |   789541 |   551682 |    27949     42 |      822 |      728
1661.05/1661.42	c 1661s |      19 |   790117 |   552182 |    27949     42 |      822 |      728
1663.16/1663.55	c 1663s |      19 |   790715 |   552682 |    27949     42 |      822 |      728
1665.44/1665.83	c 1665s |      19 |   791279 |   553182 |    27949     42 |      822 |      728
1667.55/1667.96	c 1667s |      19 |   791833 |   553682 |    27949     42 |      822 |      728
1670.14/1670.51	c 1670s |      19 |   792346 |   554182 |    27949     42 |      822 |      728
1672.44/1672.85	c 1672s |      19 |   792886 |   554682 |    27949     42 |      822 |      728
1674.74/1675.12	c 1674s |      19 |   793417 |   555182 |    27949     42 |      822 |      728
1676.84/1677.26	c 1676s |      19 |   793970 |   555682 |    27949     42 |      822 |      728
1678.93/1679.35	c 1679s |      19 |   794545 |   556182 |    27949     42 |      822 |      728
1681.23/1681.66	c 1681s |      19 |   795083 |   556682 |    27949     42 |      822 |      728
1683.63/1684.04	c 1683s |      19 |   795609 |   557182 |    27949     42 |      822 |      728
1686.03/1686.49	c 1686s |      19 |   796161 |   557682 |    27949     42 |      822 |      728
1688.53/1688.92	c 1688s |      19 |   796717 |   558182 |    27949     42 |      822 |      728
1690.54/1690.97	c 1690s |      19 |   797181 |   558582 |    27949     42 |      822 |      728
1692.53/1692.98	c 1692s |      19 |   797625 |   558982 |    27949     42 |      822 |      728
1695.03/1695.42	c 1695s |      19 |   798187 |   559482 |    27949     42 |      822 |      728
1697.13/1697.50	c 1697s |      19 |   798614 |   559882 |    27949     42 |      822 |      728
1699.52/1699.92	c 1699s |      19 |   799047 |   560282 |    27949     42 |      822 |      728
1701.53/1701.98	c 1701s |      19 |   799501 |   560682 |    27949     42 |      822 |      728
1703.73/1704.13	c 1703s |      19 |   799951 |   561082 |    27949     42 |      822 |      728
1706.03/1706.44	c 1706s |      19 |   800391 |   561482 |    27949     42 |      822 |      728
1708.13/1708.53	c 1708s |      19 |   800838 |   561882 |    27949     42 |      822 |      728
1710.33/1710.80	c 1710s |      19 |   801262 |   562282 |    27949     42 |      822 |      728
1712.72/1713.17	c 1712s |      19 |   801681 |   562682 |    27949     42 |      822 |      728
1715.31/1715.70	c 1715s |      19 |   802100 |   563082 |    27949     42 |      822 |      728
1717.41/1717.85	c 1717s |      19 |   802519 |   563482 |    27949     42 |      822 |      728
1719.71/1720.13	c 1719s |      19 |   802962 |   563882 |    27949     42 |      822 |      728
1722.01/1722.48	c 1722s |      19 |   803370 |   564282 |    27949     42 |      822 |      728
1724.51/1724.93	c 1724s |      19 |   803806 |   564682 |    27949     42 |      822 |      728
1726.81/1727.27	c 1726s |      19 |   804217 |   565082 |    27949     42 |      822 |      728
1729.21/1729.65	c 1729s |      19 |   804636 |   565482 |    27949     42 |      822 |      728
1732.50/1732.96	c 1732s |      19 |   805073 |   565882 |    27949     43 |      822 |      728
1734.90/1735.35	c 1735s |      19 |   805603 |   566382 |    27949     43 |      822 |      728
1737.00/1737.41	c 1737s |      19 |   806018 |   566782 |    27949     43 |      822 |      728
1739.10/1739.57	c 1739s |      19 |   806607 |   567282 |    27949     43 |      822 |      728
1741.30/1741.76	c 1741s |      19 |   807142 |   567782 |    27949     43 |      822 |      728
1743.60/1744.06	c 1743s |      19 |   807672 |   568282 |    27949     43 |      822 |      728
1745.69/1746.13	c 1745s |      19 |   808126 |   568682 |    27949     43 |      822 |      728
1747.80/1748.28	c 1748s |      19 |   808718 |   569182 |    27949     43 |      822 |      728
1750.19/1750.69	c 1750s |      19 |   809252 |   569682 |    27949     43 |      822 |      728
1752.69/1753.13	c 1752s |      19 |   809807 |   570182 |    27949     43 |      822 |      728
1754.99/1755.42	c 1755s |      19 |   810412 |   570682 |    27949     43 |      822 |      728
1757.29/1757.70	c 1757s |      19 |   811034 |   571182 |    27949     43 |      822 |      728
1759.29/1759.78	c 1759s |      19 |   811674 |   571682 |    27949     43 |      822 |      728
1761.49/1761.92	c 1761s |      19 |   812121 |   572082 |    27949     43 |      822 |      728
1763.48/1763.93	c 1763s |      19 |   812599 |   572482 |    27949     43 |      822 |      728
1765.58/1766.08	c 1765s |      19 |   813158 |   572982 |    27949     43 |      822 |      728
1768.08/1768.58	c 1768s |      19 |   813586 |   573382 |    27949     43 |      822 |      728
1770.38/1770.87	c 1770s |      19 |   814022 |   573782 |    27949     43 |      822 |      728
1772.68/1773.14	c 1772s |      19 |   814485 |   574182 |    27949     43 |      822 |      728
1774.67/1775.15	c 1774s |      19 |   814956 |   574582 |    27949     43 |      822 |      728
1776.87/1777.38	c 1777s |      19 |   815537 |   575082 |    27949     43 |      822 |      728
1779.47/1779.97	c 1779s |      19 |   816122 |   575582 |    27949     43 |      822 |      728
1781.57/1782.01	c 1781s |      19 |   816575 |   575982 |    27949     43 |      822 |      728
1783.77/1784.28	c 1784s |      19 |   817031 |   576382 |    27949     43 |      822 |      728
1786.47/1786.96	c 1786s |      19 |   817461 |   576782 |    27949     43 |      822 |      728
1788.57/1789.01	c 1788s |      19 |   817783 |   577082 |    27949     43 |      822 |      728
1791.07/1791.50	c 1791s |      19 |   818245 |   577482 |    27949     43 |      822 |      728
1793.17/1793.67	c 1793s |      19 |   818723 |   577882 |    27949     43 |      822 |      728
1795.56/1796.01	c 1795s |      19 |   819145 |   578282 |    27949     43 |      822 |      728
1798.16/1798.67	c 1798s |      19 |   819580 |   578682 |    27949     43 |      822 |      728

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

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.28 2.27 3/179 24737
/proc/meminfo: memFree=30286788/32872528 swapFree=1541156/1696500
[pid=24737] ppid=24734 vsize=658876 CPUtime=0 cores=1,3,5,7
/proc/24737/stat : 24737 (toysat) R 24734 24737 23447 0 -1 4202496 2445 0 0 0 0 0 0 0 20 0 4 0 31157246 674689024 3317 33554432000 4194304 16246674 140733546544784 140733546544208 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24737/statm: 165487 3328 441 2943 0 162381 0
[pid=24737/tid=24738] ppid=24734 vsize=676284 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24738/stat : 24738 (toysat) S 24734 24737 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157246 692514816 3385 33554432000 4194304 16246674 140733546544784 140669033098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24737/tid=24739] ppid=24734 vsize=680380 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24739/stat : 24739 (toysat) S 24734 24737 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157246 696709120 3401 33554432000 4194304 16246674 140733546544784 140669022608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24737/tid=24740] ppid=24734 vsize=685500 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24740/stat : 24740 (toysat) S 24734 24737 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157246 701952000 3418 33554432000 4194304 16246674 140733546544784 140668903091376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100181 s]
/proc/loadavg: 2.23 2.28 2.27 3/179 24737
/proc/meminfo: memFree=30286788/32872528 swapFree=1541156/1696500
[pid=24737] ppid=24734 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/24737/stat : 24737 (toysat) R 24734 24737 23447 0 -1 4202496 28466 0 0 0 5 4 0 0 20 0 4 0 31157246 1249447936 29276 33554432000 4194304 16246674 140733546544784 140733546544096 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24737/statm: 305041 29276 801 2943 0 301935 0
[pid=24737/tid=24738] ppid=24734 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24738/stat : 24738 (toysat) S 24734 24737 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157246 1249447936 29276 33554432000 4194304 16246674 140733546544784 140669033098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24737/tid=24739] ppid=24734 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24739/stat : 24739 (toysat) S 24734 24737 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157246 1249447936 29276 33554432000 4194304 16246674 140733546544784 140669022608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24737/tid=24740] ppid=24734 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24740/stat : 24740 (toysat) S 24734 24737 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157246 1249447936 29276 33554432000 4194304 16246674 140733546544784 140668903091376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200531 s]
/proc/loadavg: 2.23 2.28 2.27 3/179 24737
/proc/meminfo: memFree=30286788/32872528 swapFree=1541156/1696500
[pid=24737] ppid=24734 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/24737/stat : 24737 (toysat) R 24734 24737 23447 0 -1 4202496 48671 0 0 0 12 7 0 0 20 0 4 0 31157246 1332285440 49481 33554432000 4194304 16246674 140733546544784 140733546544096 5591752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24737/statm: 325265 49481 842 2943 0 322159 0
[pid=24737/tid=24738] ppid=24734 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24738/stat : 24738 (toysat) S 24734 24737 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157246 1332285440 49481 33554432000 4194304 16246674 140733546544784 140669033098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24737/tid=24739] ppid=24734 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24739/stat : 24739 (toysat) S 24734 24737 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157246 1332285440 49481 33554432000 4194304 16246674 140733546544784 140669022608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24737/tid=24740] ppid=24734 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24740/stat : 24740 (toysat) S 24734 24737 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157246 1332285440 49481 33554432000 4194304 16246674 140733546544784 140668903091376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300487 s]
/proc/loadavg: 2.23 2.28 2.27 3/179 24737
/proc/meminfo: memFree=30286788/32872528 swapFree=1541156/1696500
[pid=24737] ppid=24734 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/24737/stat : 24737 (toysat) R 24734 24737 23447 0 -1 4202496 54581 0 0 0 21 8 0 0 20 0 4 0 31157246 1332285440 55392 33554432000 4194304 16246674 140733546544784 140733546526656 6842729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24737/statm: 325265 55398 882 2943 0 322159 0
[pid=24737/tid=24738] ppid=24734 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24738/stat : 24738 (toysat) S 24734 24737 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157246 1332285440 55401 33554432000 4194304 16246674 140733546544784 140669033098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24737/tid=24739] ppid=24734 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24739/stat : 24739 (toysat) S 24734 24737 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157246 1332285440 55404 33554432000 4194304 16246674 140733546544784 140669022608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24737/tid=24740] ppid=24734 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24740/stat : 24740 (toysat) S 24734 24737 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157246 1332285440 55407 33554432000 4194304 16246674 140733546544784 140668903091376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700403 s]
/proc/loadavg: 2.23 2.28 2.27 3/179 24737
/proc/meminfo: memFree=30286788/32872528 swapFree=1541156/1696500
[pid=24737] ppid=24734 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/24737/stat : 24737 (toysat) R 24734 24737 23447 0 -1 4202496 105315 0 0 0 54 15 0 0 20 0 4 0 31157246 1332285440 106125 33554432000 4194304 16246674 140733546544784 140733546526656 5600933 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24737/statm: 325265 106131 882 2943 0 322159 0
[pid=24737/tid=24738] ppid=24734 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24738/stat : 24738 (toysat) S 24734 24737 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157246 1332285440 106136 33554432000 4194304 16246674 140733546544784 140669033098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24737/tid=24739] ppid=24734 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24739/stat : 24739 (toysat) S 24734 24737 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157246 1332285440 106140 33554432000 4194304 16246674 140733546544784 140669022608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24737/tid=24740] ppid=24734 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24740/stat : 24740 (toysat) S 24734 24737 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157246 1332285440 106144 33554432000 4194304 16246674 140733546544784 140668903091376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50046 s]
/proc/loadavg: 2.23 2.28 2.27 3/183 24741
/proc/meminfo: memFree=28848824/32872528 swapFree=1541156/1696500
[pid=24737] ppid=24734 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/24737/stat : 24737 (toysat) R 24734 24737 23447 0 -1 4202496 210493 0 0 0 119 30 0 0 20 0 4 0 31157246 1332285440 211303 33554432000 4194304 16246674 140733546544784 140733546526656 5601494 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24737/statm: 325265 211308 882 2943 0 322159 0
[pid=24737/tid=24738] ppid=24734 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24738/stat : 24738 (toysat) S 24734 24737 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157246 1332285440 211311 33554432000 4194304 16246674 140733546544784 140669033098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24737/tid=24739] ppid=24734 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24739/stat : 24739 (toysat) S 24734 24737 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157246 1332285440 211313 33554432000 4194304 16246674 140733546544784 140669022608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24737/tid=24740] ppid=24734 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24740/stat : 24740 (toysat) S 24734 24737 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157246 1332285440 211316 33554432000 4194304 16246674 140733546544784 140668903091376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.1004 s]
/proc/loadavg: 2.23 2.28 2.27 3/183 24741
/proc/meminfo: memFree=28280408/32872528 swapFree=1541156/1696500
[pid=24737] ppid=24734 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/24737/stat : 24737 (toysat) R 24734 24737 23447 0 -1 4202496 269319 0 0 0 272 37 0 0 20 0 4 0 31157246 1344868352 270129 33554432000 4194304 16246674 140733546544784 140733546526656 6836017 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24737/statm: 328337 270129 890 2943 0 325231 0
[pid=24737/tid=24738] ppid=24734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24738/stat : 24738 (toysat) S 24734 24737 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157246 1344868352 270129 33554432000 4194304 16246674 140733546544784 140669033098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24737/tid=24739] ppid=24734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24739/stat : 24739 (toysat) S 24734 24737 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157246 1344868352 270129 33554432000 4194304 16246674 140733546544784 140669022608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24737/tid=24740] ppid=24734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24740/stat : 24740 (toysat) S 24734 24737 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157246 1344868352 270129 33554432000 4194304 16246674 140733546544784 140668903091376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30037 s]
/proc/loadavg: 2.21 2.27 2.27 3/183 24741
/proc/meminfo: memFree=28155188/32872528 swapFree=1541156/1696500
[pid=24737] ppid=24734 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/24737/stat : 24737 (toysat) R 24734 24737 23447 0 -1 4202496 269521 0 0 0 592 37 0 0 20 0 4 0 31157246 1344868352 270331 33554432000 4194304 16246674 140733546544784 140733546526656 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24737/statm: 328337 270331 890 2943 0 325231 0
[pid=24737/tid=24738] ppid=24734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24738/stat : 24738 (toysat) S 24734 24737 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157246 1344868352 270331 33554432000 4194304 16246674 140733546544784 140669033098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24737/tid=24739] ppid=24734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24739/stat : 24739 (toysat) S 24734 24737 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157246 1344868352 270331 33554432000 4194304 16246674 140733546544784 140669022608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24737/tid=24740] ppid=24734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24740/stat : 24740 (toysat) S 24734 24737 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157246 1344868352 270331 33554432000 4194304 16246674 140733546544784 140668903091376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.28 2.29 2.27 3/183 24741
/proc/meminfo: memFree=28155512/32872528 swapFree=1541156/1696500
[pid=24737] ppid=24734 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/24737/stat : 24737 (toysat) R 24734 24737 23447 0 -1 4202496 269521 0 0 0 1232 37 0 0 20 0 4 0 31157246 1344868352 270331 33554432000 4194304 16246674 140733546544784 140733546527784 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24737/statm: 328337 270331 890 2943 0 325231 0
[pid=24737/tid=24738] ppid=24734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24738/stat : 24738 (toysat) S 24734 24737 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157246 1344868352 270331 33554432000 4194304 16246674 140733546544784 140669033098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24737/tid=24739] ppid=24734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24739/stat : 24739 (toysat) S 24734 24737 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157246 1344868352 270331 33554432000 4194304 16246674 140733546544784 140669022608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24737/tid=24740] ppid=24734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24740/stat : 24740 (toysat) S 24734 24737 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157246 1344868352 270331 33554432000 4194304 16246674 140733546544784 140668903091376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5004 s]
/proc/loadavg: 2.21 2.27 2.27 3/183 24741
/proc/meminfo: memFree=28156612/32872528 swapFree=1541156/1696500
[pid=24737] ppid=24734 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/24737/stat : 24737 (toysat) R 24734 24737 23447 0 -1 4202496 269523 0 0 0 2512 37 0 0 20 0 4 0 31157246 1344868352 270333 33554432000 4194304 16246674 140733546544784 140733546526656 5721677 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24737/statm: 328337 270333 892 2943 0 325231 0
[pid=24737/tid=24738] ppid=24734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24738/stat : 24738 (toysat) S 24734 24737 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157246 1344868352 270333 33554432000 4194304 16246674 140733546544784 140669033098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24737/tid=24739] ppid=24734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24739/stat : 24739 (toysat) S 24734 24737 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157246 1344868352 270333 33554432000 4194304 16246674 140733546544784 140669022608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24737/tid=24740] ppid=24734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24740/stat : 24740 (toysat) S 24734 24737 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157246 1344868352 270333 33554432000 4194304 16246674 140733546544784 140668903091376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1004 s]
/proc/loadavg: 2.28 2.28 2.27 3/183 24741
/proc/meminfo: memFree=28156500/32872528 swapFree=1541156/1696500
[pid=24737] ppid=24734 vsize=1313348 CPUtime=51.09 cores=1,3,5,7
/proc/24737/stat : 24737 (toysat) R 24734 24737 23447 0 -1 4202496 269524 0 0 0 5071 38 0 0 20 0 4 0 31157246 1344868352 270334 33554432000 4194304 16246674 140733546544784 140733546526656 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24737/statm: 328337 270334 893 2943 0 325231 0
[pid=24737/tid=24738] ppid=24734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24738/stat : 24738 (toysat) S 24734 24737 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157246 1344868352 270334 33554432000 4194304 16246674 140733546544784 140669033098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24737/tid=24739] ppid=24734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24739/stat : 24739 (toysat) S 24734 24737 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157246 1344868352 270334 33554432000 4194304 16246674 140733546544784 140669022608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24737/tid=24740] ppid=24734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24740/stat : 24740 (toysat) S 24734 24737 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157246 1344868352 270334 33554432000 4194304 16246674 140733546544784 140668903091376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.17 2.25 2.26 3/183 24742
/proc/meminfo: memFree=28151604/32872528 swapFree=1541156/1696500
[pid=24737] ppid=24734 vsize=1313348 CPUtime=102.27 cores=1,3,5,7
/proc/24737/stat : 24737 (toysat) R 24734 24737 23447 0 -1 4202496 269525 0 0 0 10189 38 0 0 20 0 4 0 31157246 1344868352 270335 33554432000 4194304 16246674 140733546544784 140733546526656 12483362 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24737/statm: 328337 270335 893 2943 0 325231 0
[pid=24737/tid=24738] ppid=24734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24738/stat : 24738 (toysat) S 24734 24737 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157246 1344868352 270335 33554432000 4194304 16246674 140733546544784 140669033098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24737/tid=24739] ppid=24734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24739/stat : 24739 (toysat) S 24734 24737 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157246 1344868352 270335 33554432000 4194304 16246674 140733546544784 140669022608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24737/tid=24740] ppid=24734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24740/stat : 24740 (toysat) S 24734 24737 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157246 1344868352 270335 33554432000 4194304 16246674 140733546544784 140668903091376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1313348


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

/proc/24737/task/24740/stat : 24740 (toysat) S 24734 24737 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275711 33554432000 4194304 16246674 140733546544784 140668903091376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1334852

[startup+1362.3 s]
/proc/loadavg: 2.22 2.28 2.27 3/183 24797
/proc/meminfo: memFree=28102280/32872528 swapFree=1541156/1696500
[pid=24737] ppid=24734 vsize=1334852 CPUtime=1362.08 cores=1,3,5,7
/proc/24737/stat : 24737 (toysat) R 24734 24737 23447 0 -1 4202496 274904 0 0 0 136162 46 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140733546526656 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24737/statm: 333713 275714 893 2943 0 330607 0
[pid=24737/tid=24738] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24738/stat : 24738 (toysat) S 24734 24737 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140669033098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24737/tid=24739] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24739/stat : 24739 (toysat) S 24734 24737 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140669022608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24737/tid=24740] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24740/stat : 24740 (toysat) S 24734 24737 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140668903091376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1334852

[startup+1422.3 s]
/proc/loadavg: 2.16 2.25 2.26 3/184 24801
/proc/meminfo: memFree=28101624/32872528 swapFree=1541156/1696500
[pid=24737] ppid=24734 vsize=1334852 CPUtime=1422.07 cores=1,3,5,7
/proc/24737/stat : 24737 (toysat) R 24734 24737 23447 0 -1 4202496 274919 0 0 0 142160 47 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140733546543880 5546608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24737/statm: 333713 275714 893 2943 0 330607 0
[pid=24737/tid=24738] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24738/stat : 24738 (toysat) S 24734 24737 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140669033098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24737/tid=24739] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24739/stat : 24739 (toysat) S 24734 24737 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140669022608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24737/tid=24740] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24740/stat : 24740 (toysat) S 24734 24737 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140668903091376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1334852

[startup+1482.3 s]
/proc/loadavg: 2.29 2.27 2.26 3/183 24802
/proc/meminfo: memFree=28102176/32872528 swapFree=1541156/1696500
[pid=24737] ppid=24734 vsize=1334852 CPUtime=1482.04 cores=1,3,5,7
/proc/24737/stat : 24737 (toysat) R 24734 24737 23447 0 -1 4202496 274960 0 0 0 148157 47 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140733546526656 5827728 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24737/statm: 333713 275714 893 2943 0 330607 0
[pid=24737/tid=24738] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24738/stat : 24738 (toysat) S 24734 24737 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140669033098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24737/tid=24739] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24739/stat : 24739 (toysat) S 24734 24737 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140669022608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24737/tid=24740] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24740/stat : 24740 (toysat) S 24734 24737 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140668903091376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1334852

[startup+1542.3 s]
/proc/loadavg: 2.28 2.26 2.26 4/183 24803
/proc/meminfo: memFree=28102336/32872528 swapFree=1541156/1696500
[pid=24737] ppid=24734 vsize=1334852 CPUtime=1542.01 cores=1,3,5,7
/proc/24737/stat : 24737 (toysat) R 24734 24737 23447 0 -1 4202496 274982 0 0 0 154154 47 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140733546526656 13963975 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24737/statm: 333713 275714 893 2943 0 330607 0
[pid=24737/tid=24738] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24738/stat : 24738 (toysat) S 24734 24737 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140669033098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24737/tid=24739] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24739/stat : 24739 (toysat) S 24734 24737 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140669022608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24737/tid=24740] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24740/stat : 24740 (toysat) S 24734 24737 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140668903091376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1334852

[startup+1602.3 s]
/proc/loadavg: 2.22 2.24 2.26 3/182 24804
/proc/meminfo: memFree=28102484/32872528 swapFree=1541156/1696500
[pid=24737] ppid=24734 vsize=1334852 CPUtime=1601.97 cores=1,3,5,7
/proc/24737/stat : 24737 (toysat) R 24734 24737 23447 0 -1 4202496 275017 0 0 0 160150 47 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140733546526656 5712756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24737/statm: 333713 275714 893 2943 0 330607 0
[pid=24737/tid=24738] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24738/stat : 24738 (toysat) S 24734 24737 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140669033098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24737/tid=24739] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24739/stat : 24739 (toysat) S 24734 24737 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140669022608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24737/tid=24740] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24740/stat : 24740 (toysat) S 24734 24737 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140668903091376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 1334852

[startup+1662.3 s]
/proc/loadavg: 2.29 2.26 2.26 4/183 24807
/proc/meminfo: memFree=28102392/32872528 swapFree=1541156/1696500
[pid=24737] ppid=24734 vsize=1334852 CPUtime=1661.96 cores=1,3,5,7
/proc/24737/stat : 24737 (toysat) R 24734 24737 23447 0 -1 4202496 275051 0 0 0 166148 48 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140733546526656 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24737/statm: 333713 275714 893 2943 0 330607 0
[pid=24737/tid=24738] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24738/stat : 24738 (toysat) S 24734 24737 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140669033098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24737/tid=24739] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24739/stat : 24739 (toysat) S 24734 24737 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140669022608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24737/tid=24740] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24740/stat : 24740 (toysat) S 24734 24737 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140668903091376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 1334852

[startup+1722.3 s]
/proc/loadavg: 2.23 2.24 2.25 3/183 24808
/proc/meminfo: memFree=28101656/32872528 swapFree=1541156/1696500
[pid=24737] ppid=24734 vsize=1334852 CPUtime=1721.91 cores=1,3,5,7
/proc/24737/stat : 24737 (toysat) R 24734 24737 23447 0 -1 4202496 275095 0 0 0 172143 48 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140733546526656 5523192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24737/statm: 333713 275714 893 2943 0 330607 0
[pid=24737/tid=24738] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24738/stat : 24738 (toysat) S 24734 24737 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140669033098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24737/tid=24739] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24739/stat : 24739 (toysat) S 24734 24737 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140669022608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24737/tid=24740] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24740/stat : 24740 (toysat) S 24734 24737 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140668903091376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1334852

[startup+1782.31 s]
/proc/loadavg: 2.12 2.21 2.24 3/183 24809
/proc/meminfo: memFree=28101280/32872528 swapFree=1541156/1696500
[pid=24737] ppid=24734 vsize=1334852 CPUtime=1781.88 cores=1,3,5,7
/proc/24737/stat : 24737 (toysat) R 24734 24737 23447 0 -1 4202496 275140 0 0 0 178140 48 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140733546526656 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24737/statm: 333713 275714 893 2943 0 330607 0
[pid=24737/tid=24738] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24738/stat : 24738 (toysat) S 24734 24737 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140669033098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24737/tid=24739] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24739/stat : 24739 (toysat) S 24734 24737 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140669022608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24737/tid=24740] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24740/stat : 24740 (toysat) S 24734 24737 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140668903091376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1334852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.16 2.21 2.24 4/183 24809
/proc/meminfo: memFree=28101496/32872528 swapFree=1541156/1696500
[pid=24737] ppid=24734 vsize=1334852 CPUtime=1800.06 cores=1,3,5,7
/proc/24737/stat : 24737 (toysat) R 24734 24737 23447 0 -1 4202496 275156 0 0 0 179958 48 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140733546526656 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24737/statm: 333713 275714 893 2943 0 330607 0
[pid=24737/tid=24738] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24738/stat : 24738 (toysat) S 24734 24737 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140669033098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24737/tid=24739] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24739/stat : 24739 (toysat) S 24734 24737 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140669022608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24737/tid=24740] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24740/stat : 24740 (toysat) S 24734 24737 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140668903091376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1334852

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

[startup+1800.5 s]
/proc/loadavg: 2.16 2.21 2.24 4/183 24809
/proc/meminfo: memFree=28101496/32872528 swapFree=1541156/1696500
[pid=24737] ppid=24734 vsize=1334852 CPUtime=1800.06 cores=1,3,5,7
/proc/24737/stat : 24737 (toysat) R 24734 24737 23447 0 -1 4202496 275156 0 0 0 179958 48 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140733546526656 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24737/statm: 333713 275714 893 2943 0 330607 0
[pid=24737/tid=24738] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24738/stat : 24738 (toysat) S 24734 24737 23447 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140669033098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24737/tid=24739] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24739/stat : 24739 (toysat) S 24734 24737 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140669022608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24737/tid=24740] ppid=24734 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/24737/task/24740/stat : 24740 (toysat) S 24734 24737 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31157246 1366888448 275714 33554432000 4194304 16246674 140733546544784 140668903091376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1334852

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.1
CPU user time (s): 1799.59
CPU system time (s): 0.507922
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 1334852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.507922
maximum resident set size= 1102856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275156
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= 270
involuntary context switches= 1842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.33234 second user time and 7.19191 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-27 00:46:25
IDJOB=4116885
IDBENCH=109526
IDSOLVER=2542
FILE ID=node125/4116885-1466981185
RUNJOBID= node125-1466966776-23464
PBS_JOBID= 19976375
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 59f74a485c7c9f940df8dc38ab79a87e
RANDOM SEED=888413039

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30313708 kB
Buffers:           55016 kB
Cached:            99624 kB
SwapCached:         1736 kB
Active:            81292 kB
Inactive:          77428 kB
Active(anon):       5212 kB
Inactive(anon):      448 kB
Active(file):      76080 kB
Inactive(file):    76980 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             33396 kB
Writeback:             0 kB
AnonPages:       1789288 kB
Mapped:             7160 kB
Shmem:                 0 kB
Slab:             568540 kB
SReclaimable:      12456 kB
SUnreclaim:       556084 kB
KernelStack:        1520 kB
PageTables:         7396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1815664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 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= 71708 MiB
End job on node125 at 2016-06-27 01:16:26