Trace number 4116661

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size80-round23-2.opb
MD5SUMf982646c7ec329d9f670a4f55dd3af78
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 constraints9456
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)368
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-26T22:46:21+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-4116661-1466973981.opb"]
0.00/0.01	c use --random-gen="1281451769 3018404471 3460344701 2690052623 1413418704 2737709296 1299359907 1536291614 2364330459 570940447 4207578665 4234920167 1225451762 1963373860 836384260 687098011 657002834 3227518273 2728318455 1269395292 2106955445 197937239 3467401025 1013775236 132212980 1710993491 416993132 3045507927 758680762 2830336373 273752162 3947495299 974114378 3726993054 2837475329 886119715 3010413681 1236235075 3374890375 4027704150 1368064745 574605371 1636741386 2856385771 2832208101 2414213600 3593560820 2414458895 3877330220 3656918480 1280903433 60975348 1194985844 2460381373 1584111612 1429434612 1110882995 2451264144 1119122510 1831387906 1437548494 626735403 2355354948 3931176892 1933905608 2682662501 2182688015 2127978221 54453440 622133764 3132833313 1693654693 1641084639 2249024314 2034604034 3206731161 2952771171 181452531 2530259554 39681709 1335920705 3847941590 997594769 1944820491 2631602801 1986989024 3316130537 1181070690 4076714458 3280535754 575706334 796167981 1959501797 808251955 2288649435 3781691472 833636846 2360691659 629840524 1030126507 935857035 2360873740 3307482381 667442281 273070192 4208842007 717621649 2984776533 4275839189 1914690587 1200284753 1489603702 2893590057 820911334 24890417 1310607461 2475218180 3744997584 2887651041 1209507803 2313786329 1567324061 2442638608 1749369490 2613335214 2606072660 1566187391 3511265987 1563055501 1574420106 1387035287 3807805729 2112441257 2199160890 2981953277 4115306282 3470624974 1774428732 1630409620 3684564731 272906019 4204478190 251509437 3397588127 1372184286 1511493753 3042497226 3594044662 3349539599 875668398 967302364 2724112245 2414295815 172225783 60349819 959745976 2814856469 973553572 1606304148 1350190391 2012236952 1757538184 3404062634 1571707766 943528105 1856101374 2799668801 3413528665 3274775685 425894450 64801282 548629037 3949610451 1850646751 508058437 3145508372 3837476354 2944555683 2033194777 3623644032 899356205 1265939241 3108105447 3356226825 1320658186 1893656156 160781253 373118257 162256918 3252634929 746488243 1108260963 98575606 1495907396 951673232 727800684 483462870 3057165128 3519717651 311272341 912595384 1796799294 704439227 530258219 1633635271 1249727819 1352273533 4101596630 2935370732 836701207 630543222 3869238389 1503719977 2104299446 236084359 249831644 737268740 327850616 1323403484 2435856717 3094105942 2593896344 3426642755 130856335 3507429724 2508416243 817208176 587976591 120693036 87821720 608054559 621243891 402291812 464370012 2587593331 1990166719 3842939652 4085068107 3255617428 3257134835 3763091680 499225880 1007240487 397421293 3336567537 1525473594 1295599186 1546265970 1569349761 4080239531 2736770563 2853450021 3728325359 4229690233 3650931274 1331734803 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9456
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      619 |        0
0.29/0.34	c  0.1s |       1 |      522 |      100 |     4565      0 |      619 |      392
0.39/0.45	c  0.2s |       2 |     1829 |      250 |     5022      0 |      619 |      392
0.59/0.64	c  0.4s |       3 |     3030 |      475 |     5525      0 |      619 |      392
0.89/0.95	c  0.7s |       4 |     4765 |      813 |     6078      0 |      619 |      392
1.49/1.59	c  1.3s |       5 |     6895 |     1320 |     6686      0 |      619 |      392
2.09/2.11	c  1.8s |       6 |    12258 |     2081 |     8091      0 |      619 |      392
3.19/3.24	c  3.0s |       7 |    18557 |     3223 |     8901      0 |      619 |      392
4.89/4.96	c  4.7s |       8 |    25354 |     4936 |     9792      0 |      621 |      392
6.99/7.08	c  6.8s |       8 |    34111 |     7436 |     9792      0 |      621 |      392
7.19/7.21	c  6.9s |       9 |    34191 |     7506 |    10772      0 |      621 |      392
9.29/9.32	c  9.0s |       9 |    38683 |     9506 |    10772      0 |      621 |      392
11.29/11.36	c 11.1s |       9 |    40467 |    10906 |    10772      0 |      621 |      392
12.19/12.28	c 12.0s |      10 |    41012 |    11361 |    11850      0 |      621 |      392
14.19/14.30	c 14.0s |      10 |    51900 |    13761 |    11850      0 |      621 |      392
16.29/16.36	c 16.1s |      10 |    53243 |    14861 |    11850      0 |      621 |      392
18.39/18.42	c 18.1s |      10 |    54267 |    15761 |    11850      1 |      621 |      392
20.38/20.47	c 20.2s |      10 |    55428 |    16761 |    11850      1 |      621 |      392
21.08/21.19	c 20.9s |      11 |    55877 |    17144 |    13036      1 |      621 |      392
23.19/23.27	c 23.0s |      11 |    60368 |    18944 |    13036      1 |      621 |      392
25.29/25.35	c 25.1s |      11 |    62775 |    20344 |    13036      1 |      621 |      392
27.28/27.39	c 27.1s |      11 |    64426 |    21544 |    13036      1 |      621 |      392
29.48/29.55	c 29.3s |      11 |    65736 |    22644 |    13036      1 |      621 |      392
31.68/31.71	c 31.4s |      11 |    66940 |    23644 |    13036      1 |      621 |      392
33.78/33.80	c 33.5s |      11 |    67873 |    24444 |    13036      2 |      621 |      392
35.99/36.05	c 35.8s |      11 |    69082 |    25444 |    13036      2 |      621 |      392
36.89/36.93	c 36.7s |      12 |    69556 |    25819 |    14340      2 |      621 |      392
38.99/39.01	c 38.7s |      12 |    78830 |    28219 |    14340      2 |      621 |      392
40.99/41.06	c 40.8s |      12 |    80612 |    29719 |    14340      2 |      621 |      392
43.09/43.15	c 42.9s |      12 |    82162 |    31019 |    14340      2 |      621 |      392
45.09/45.19	c 44.9s |      12 |    83715 |    32219 |    14340      2 |      621 |      392
47.39/47.49	c 47.2s |      12 |    85411 |    33419 |    14340      3 |      621 |      392
49.49/49.59	c 49.3s |      12 |    88030 |    34919 |    14340      3 |      621 |      392
51.59/51.67	c 51.4s |      12 |    89918 |    36319 |    14340      3 |      621 |      392
53.69/53.72	c 53.4s |      12 |    91395 |    37519 |    14340      3 |      621 |      392
55.69/55.77	c 55.5s |      12 |    92840 |    38619 |    15775      3 |      621 |      392
56.09/56.19	c 55.9s |      13 |    93120 |    38832 |    15775      3 |      621 |      392
58.19/58.22	c 57.9s |      13 |   102773 |    41132 |    15775      3 |      621 |      392
60.18/60.24	c 60.0s |      13 |   104788 |    42632 |    15775      3 |      621 |      392
62.58/62.65	c 62.4s |      13 |   106298 |    43932 |    15775      4 |      621 |      392
64.68/64.75	c 64.5s |      13 |   107687 |    45132 |    15775      4 |      621 |      392
66.78/66.85	c 66.6s |      13 |   109343 |    46432 |    15775      4 |      621 |      392
68.88/68.96	c 68.7s |      13 |   110487 |    47432 |    15775      4 |      621 |      392
71.08/71.18	c 70.9s |      13 |   111634 |    48432 |    15775      4 |      621 |      392
73.08/73.18	c 72.9s |      13 |   112787 |    49332 |    15775      4 |      621 |      392
75.18/75.27	c 75.0s |      13 |   113745 |    50132 |    15775      4 |      621 |      392
77.38/77.46	c 77.2s |      13 |   114905 |    51132 |    15775      4 |      621 |      392
79.58/79.65	c 79.4s |      13 |   115977 |    52032 |    15775      4 |      621 |      392
81.68/81.75	c 81.5s |      13 |   116931 |    52832 |    15775      4 |      621 |      392
83.88/83.92	c 83.6s |      13 |   117837 |    53632 |    15775      5 |      621 |      392
85.89/85.99	c 85.7s |      13 |   118734 |    54432 |    15775      5 |      621 |      392
87.99/88.04	c 87.8s |      13 |   119657 |    55232 |    15775      5 |      621 |      392
89.98/90.08	c 89.8s |      13 |   120454 |    55932 |    15775      5 |      621 |      392
92.18/92.22	c 91.9s |      13 |   121212 |    56632 |    15775      5 |      621 |      392
94.38/94.45	c 94.2s |      13 |   121970 |    57332 |    15775      5 |      621 |      392
96.48/96.54	c 96.3s |      13 |   122602 |    57932 |    15775      5 |      621 |      392
97.88/97.97	c 97.7s |      14 |   123048 |    58352 |    17353      5 |      621 |      392
99.87/99.97	c 99.7s |      14 |   130979 |    60252 |    17353      5 |      621 |      392
101.97/102.04	c  101s |      14 |   134156 |    62052 |    17353      5 |      621 |      392
103.97/104.06	c  103s |      14 |   142126 |    64052 |    17353      6 |      621 |      392
106.07/106.19	c  105s |      14 |   146557 |    65952 |    17353      6 |      621 |      392
108.17/108.22	c  107s |      14 |   150711 |    67552 |    17353      6 |      621 |      392
110.18/110.24	c  109s |      14 |   152387 |    68852 |    17353      6 |      621 |      392
112.38/112.43	c  112s |      14 |   153800 |    70052 |    17353      6 |      621 |      392
114.38/114.50	c  114s |      14 |   156695 |    71552 |    17353      6 |      621 |      392
116.58/116.68	c  116s |      14 |   158185 |    72652 |    17353      6 |      621 |      392
118.78/118.87	c  118s |      14 |   159310 |    73552 |    17353      6 |      621 |      392
120.78/120.88	c  120s |      14 |   160387 |    74352 |    17353      7 |      621 |      392
122.88/122.91	c  122s |      14 |   161498 |    75252 |    17353      7 |      621 |      392
124.98/125.09	c  124s |      14 |   162627 |    76152 |    17353      7 |      621 |      392
127.07/127.13	c  126s |      14 |   163821 |    77052 |    17353      7 |      621 |      392
129.17/129.29	c  129s |      14 |   164940 |    77952 |    17353      7 |      621 |      392
131.27/131.34	c  131s |      14 |   166061 |    78852 |    17353      7 |      621 |      392
133.47/133.56	c  133s |      14 |   167314 |    79852 |    17353      7 |      621 |      392
135.57/135.62	c  135s |      14 |   168297 |    80652 |    17353      7 |      621 |      392
137.77/137.80	c  137s |      14 |   169261 |    81452 |    17353      7 |      621 |      392
139.78/139.84	c  139s |      14 |   169928 |    82052 |    17353      7 |      621 |      392
141.88/141.93	c  141s |      14 |   170666 |    82652 |    17353      7 |      621 |      392
143.87/143.97	c  143s |      14 |   171491 |    83352 |    17353      7 |      621 |      392
146.07/146.18	c  145s |      14 |   172190 |    83952 |    17353      8 |      621 |      392
148.17/148.28	c  148s |      14 |   173140 |    84752 |    17353      8 |      621 |      392
150.27/150.33	c  150s |      14 |   174109 |    85552 |    17353      8 |      621 |      392
152.47/152.52	c  152s |      14 |   175159 |    86452 |    17353      8 |      621 |      392
154.67/154.74	c  154s |      14 |   176094 |    87252 |    19089      8 |      621 |      392
155.87/155.92	c  155s |      15 |   176524 |    87632 |    19089      8 |      621 |      392
157.87/157.96	c  157s |      15 |   181168 |    89432 |    19089      8 |      621 |      392
159.96/160.01	c  159s |      15 |   182935 |    90932 |    19089      8 |      621 |      392
162.06/162.11	c  161s |      15 |   185018 |    92532 |    19089      8 |      621 |      392
164.16/164.21	c  163s |      15 |   186497 |    93832 |    19089      8 |      621 |      392
166.26/166.38	c  166s |      15 |   187862 |    95032 |    19089      8 |      621 |      392
168.46/168.56	c  168s |      15 |   189073 |    96132 |    19089      8 |      621 |      392
170.66/170.76	c  170s |      15 |   190102 |    97032 |    19089      9 |      621 |      392
172.77/172.87	c  172s |      15 |   191640 |    98232 |    19089      9 |      621 |      392
174.76/174.89	c  174s |      15 |   193121 |    99332 |    19089      9 |      621 |      392
176.86/176.92	c  176s |      15 |   195042 |   100632 |    19089      9 |      621 |      392
178.86/178.97	c  178s |      15 |   196317 |   101732 |    19089      9 |      621 |      392
180.86/180.99	c  180s |      15 |   197488 |   102732 |    19089      9 |      621 |      392
183.06/183.15	c  182s |      15 |   198718 |   103732 |    19089      9 |      621 |      392
185.26/185.33	c  185s |      15 |   199731 |   104632 |    19089      9 |      621 |      392
187.36/187.49	c  187s |      15 |   200804 |   105532 |    19089      9 |      621 |      392
189.46/189.54	c  189s |      15 |   201871 |   106432 |    19089      9 |      621 |      392
191.66/191.78	c  191s |      15 |   202896 |   107332 |    19089      9 |      621 |      392
193.86/193.99	c  193s |      15 |   203881 |   108132 |    19089     10 |      621 |      392
195.96/196.02	c  195s |      15 |   204794 |   108932 |    19089     10 |      621 |      392
198.16/198.25	c  197s |      15 |   205808 |   109832 |    19089     10 |      621 |      392
200.16/200.26	c  199s |      15 |   206704 |   110632 |    19089     10 |      621 |      392
202.16/202.29	c  202s |      15 |   207782 |   111532 |    19089     10 |      621 |      392
204.26/204.34	c  204s |      15 |   208553 |   112232 |    19089     10 |      621 |      392
206.35/206.48	c  206s |      15 |   209315 |   112932 |    19089     10 |      621 |      392
208.45/208.56	c  208s |      15 |   210129 |   113632 |    19089     10 |      621 |      392
210.75/210.83	c  210s |      15 |   211063 |   114432 |    19089     10 |      621 |      392
212.85/212.96	c  212s |      15 |   211857 |   115132 |    19089     10 |      621 |      392
214.95/215.06	c  214s |      15 |   212501 |   115732 |    19089     10 |      621 |      392
217.25/217.38	c  217s |      15 |   213289 |   116432 |    19089     10 |      621 |      392
219.65/219.71	c  219s |      15 |   214064 |   117132 |    19089     10 |      621 |      392
221.75/221.88	c  221s |      15 |   214730 |   117732 |    19089     10 |      621 |      392
223.95/224.04	c  223s |      15 |   215379 |   118332 |    19089     10 |      621 |      392
226.05/226.16	c  225s |      15 |   215940 |   118832 |    19089     11 |      621 |      392
228.15/228.29	c  228s |      15 |   217049 |   119732 |    19089     11 |      621 |      392
230.25/230.31	c  230s |      15 |   218253 |   120732 |    19089     11 |      621 |      392
232.35/232.46	c  232s |      15 |   219585 |   121832 |    19089     11 |      621 |      392
234.45/234.54	c  234s |      15 |   220797 |   122832 |    19089     11 |      621 |      392
236.56/236.65	c  236s |      15 |   221858 |   123732 |    19089     11 |      621 |      392
238.66/238.74	c  238s |      15 |   222896 |   124632 |    19089     11 |      621 |      392
240.86/240.99	c  240s |      15 |   223964 |   125532 |    19089     11 |      621 |      392
243.06/243.19	c  242s |      15 |   224856 |   126332 |    19089     11 |      621 |      392
245.26/245.31	c  245s |      15 |   225652 |   127032 |    19089     11 |      621 |      392
247.46/247.59	c  247s |      15 |   226388 |   127732 |    19089     11 |      621 |      392
249.55/249.66	c  249s |      15 |   227191 |   128432 |    19089     11 |      621 |      392
251.75/251.84	c  251s |      15 |   227984 |   129132 |    19089     11 |      621 |      392
253.95/254.01	c  253s |      15 |   228926 |   129932 |    19089     11 |      621 |      392
256.06/256.19	c  255s |      15 |   229725 |   130632 |    19089     12 |      621 |      392
257.96/258.04	c  257s |      16 |   230732 |   131552 |    20998     12 |      621 |      392
260.05/260.14	c  259s |      16 |   236329 |   133552 |    20998     12 |      621 |      392
262.15/262.25	c  261s |      16 |   239010 |   135152 |    20998     12 |      621 |      392
264.15/264.26	c  263s |      16 |   240693 |   136452 |    20998     12 |      621 |      392
266.35/266.41	c  266s |      16 |   242008 |   137552 |    20998     12 |      621 |      392
268.46/268.51	c  268s |      16 |   243074 |   138452 |    20998     12 |      621 |      392
270.66/270.75	c  270s |      16 |   244396 |   139452 |    20998     12 |      621 |      392
272.76/272.86	c  272s |      16 |   245741 |   140452 |    20998     12 |      621 |      392
274.75/274.88	c  274s |      16 |   246715 |   141252 |    20998     12 |      621 |      392
276.95/277.08	c  276s |      16 |   247787 |   142152 |    20998     12 |      621 |      392
279.46/279.55	c  279s |      16 |   248752 |   142952 |    20998     13 |      621 |      392
281.75/281.81	c  281s |      16 |   249698 |   143752 |    20998     13 |      621 |      392
283.95/284.03	c  283s |      16 |   250540 |   144452 |    20998     13 |      621 |      392
286.05/286.11	c  285s |      16 |   251229 |   145052 |    20998     13 |      621 |      392
288.35/288.46	c  288s |      16 |   252008 |   145752 |    20998     13 |      621 |      392
290.55/290.65	c  290s |      16 |   252945 |   146552 |    20998     13 |      621 |      392
292.65/292.73	c  292s |      16 |   253715 |   147252 |    20998     13 |      621 |      392
294.85/294.91	c  294s |      16 |   254651 |   148052 |    20998     13 |      621 |      392
297.15/297.20	c  296s |      16 |   255546 |   148852 |    20998     13 |      621 |      392
299.34/299.41	c  299s |      16 |   256200 |   149452 |    20998     13 |      621 |      392
301.45/301.59	c  301s |      16 |   256883 |   150052 |    20998     13 |      621 |      392
303.55/303.65	c  303s |      16 |   257573 |   150652 |    20998     13 |      621 |      392
305.85/305.94	c  305s |      16 |   258249 |   151252 |    20998     13 |      621 |      392
307.84/307.97	c  307s |      16 |   258988 |   151852 |    20998     13 |      621 |      392
310.04/310.13	c  309s |      16 |   259694 |   152452 |    20998     13 |      621 |      392
312.14/312.26	c  311s |      16 |   260359 |   153052 |    20998     13 |      621 |      392
314.34/314.45	c  314s |      16 |   261051 |   153652 |    20998     13 |      621 |      392
316.64/316.78	c  316s |      16 |   261714 |   154252 |    20998     13 |      621 |      392
318.84/318.97	c  318s |      16 |   262413 |   154852 |    20998     13 |      621 |      392
321.15/321.24	c  320s |      16 |   262842 |   155252 |    20998     14 |      621 |      392
323.24/323.36	c  323s |      16 |   263516 |   155852 |    20998     14 |      621 |      392
325.34/325.49	c  325s |      16 |   264300 |   156552 |    20998     14 |      621 |      392
327.44/327.59	c  327s |      16 |   264980 |   157152 |    20998     14 |      621 |      392
329.74/329.89	c  329s |      16 |   265801 |   157852 |    20998     14 |      621 |      392
332.04/332.12	c  331s |      16 |   266456 |   158452 |    20998     14 |      621 |      392
334.24/334.38	c  334s |      16 |   267489 |   159252 |    20998     14 |      621 |      392
336.44/336.52	c  336s |      16 |   268369 |   159952 |    20998     14 |      621 |      392
338.54/338.66	c  338s |      16 |   269130 |   160552 |    20998     14 |      621 |      392
340.84/340.98	c  340s |      16 |   270117 |   161352 |    20998     14 |      621 |      392
343.15/343.23	c  342s |      16 |   270960 |   162052 |    20998     14 |      621 |      392
345.24/345.35	c  345s |      16 |   271665 |   162652 |    20998     14 |      621 |      392
347.34/347.48	c  347s |      16 |   272364 |   163252 |    20998     14 |      621 |      392
349.64/349.72	c  349s |      16 |   273115 |   163852 |    20998     14 |      621 |      392
351.64/351.72	c  351s |      16 |   273706 |   164352 |    20998     14 |      621 |      392
353.64/353.75	c  353s |      16 |   274306 |   164852 |    20998     14 |      621 |      392
355.64/355.79	c  355s |      16 |   274968 |   165352 |    20998     14 |      621 |      392
357.74/357.84	c  357s |      16 |   275582 |   165852 |    20998     14 |      621 |      392
359.94/360.03	c  359s |      16 |   276349 |   166452 |    20998     14 |      621 |      392
362.14/362.29	c  362s |      16 |   277214 |   167152 |    20998     14 |      621 |      392
364.44/364.52	c  364s |      16 |   277855 |   167652 |    20998     15 |      621 |      392
366.64/366.71	c  366s |      16 |   278736 |   168352 |    20998     15 |      621 |      392
368.84/368.99	c  368s |      16 |   279914 |   169252 |    20998     15 |      621 |      392
370.94/371.07	c  370s |      16 |   280719 |   169952 |    20998     15 |      621 |      392
373.14/373.26	c  372s |      16 |   281534 |   170652 |    20998     15 |      621 |      392
375.33/375.43	c  375s |      16 |   282245 |   171252 |    20998     15 |      621 |      392
377.43/377.57	c  377s |      16 |   282932 |   171852 |    20998     15 |      621 |      392
379.83/379.95	c  379s |      16 |   283734 |   172552 |    20998     15 |      621 |      392
382.13/382.25	c  381s |      16 |   284449 |   173152 |    20998     15 |      621 |      392
384.23/384.32	c  384s |      16 |   285348 |   173852 |    20998     15 |      621 |      392
386.43/386.55	c  386s |      16 |   286156 |   174552 |    20998     15 |      621 |      392
388.53/388.65	c  388s |      16 |   286730 |   175052 |    20998     15 |      621 |      392
390.83/390.94	c  390s |      16 |   287293 |   175552 |    20998     15 |      621 |      392
392.93/393.02	c  392s |      16 |   287884 |   176052 |    20998     15 |      621 |      392
394.94/395.04	c  394s |      16 |   288459 |   176552 |    20998     15 |      621 |      392
397.33/397.44	c  397s |      16 |   289078 |   177052 |    20998     15 |      621 |      392
399.43/399.56	c  399s |      16 |   289663 |   177552 |    20998     15 |      621 |      392
401.63/401.74	c  401s |      16 |   290245 |   178052 |    20998     15 |      621 |      392
403.93/404.04	c  403s |      16 |   290795 |   178552 |    20998     15 |      621 |      392
406.23/406.37	c  406s |      16 |   291374 |   179052 |    20998     15 |      621 |      392
408.52/408.62	c  408s |      16 |   291963 |   179552 |    20998     16 |      621 |      392
410.52/410.63	c  410s |      16 |   292700 |   180152 |    20998     16 |      621 |      392
412.92/413.02	c  412s |      16 |   293378 |   180752 |    20998     16 |      621 |      392
415.02/415.15	c  414s |      16 |   293925 |   181252 |    20998     16 |      621 |      392
417.22/417.35	c  417s |      16 |   294994 |   181852 |    20998     16 |      621 |      392
419.42/419.58	c  419s |      16 |   296921 |   183052 |    20998     16 |      621 |      392
421.42/421.59	c  421s |      16 |   298404 |   184052 |    20998     16 |      621 |      392
423.53/423.64	c  423s |      16 |   299323 |   184752 |    20998     16 |      621 |      392
425.73/425.84	c  425s |      16 |   300246 |   185452 |    20998     16 |      621 |      392
427.72/427.87	c  427s |      16 |   301119 |   186152 |    20998     16 |      621 |      392
430.03/430.11	c  429s |      16 |   302274 |   187052 |    20998     16 |      621 |      392
432.02/432.12	c  431s |      16 |   303167 |   187752 |    20998     16 |      621 |      392
434.02/434.15	c  433s |      16 |   303875 |   188352 |    20998     16 |      621 |      392
436.12/436.26	c  435s |      16 |   304573 |   188952 |    20998     16 |      621 |      392
438.43/438.56	c  438s |      16 |   305404 |   189652 |    20998     16 |      621 |      392
440.63/440.72	c  440s |      16 |   306081 |   190252 |    20998     16 |      621 |      392
442.73/442.89	c  442s |      16 |   306765 |   190852 |    20998     16 |      621 |      392
445.33/445.43	c  445s |      16 |   307457 |   191452 |    20998     17 |      621 |      392
447.53/447.65	c  447s |      16 |   308377 |   192252 |    20998     17 |      621 |      392
449.73/449.87	c  449s |      16 |   309163 |   192952 |    20998     17 |      621 |      392
452.03/452.16	c  451s |      16 |   310066 |   193652 |    20998     17 |      621 |      392
454.23/454.35	c  454s |      16 |   310882 |   194352 |    20998     17 |      621 |      392
456.22/456.39	c  456s |      16 |   311705 |   194952 |    20998     17 |      621 |      392
458.52/458.66	c  458s |      16 |   312578 |   195652 |    20998     17 |      621 |      392
460.62/460.71	c  460s |      16 |   313383 |   196252 |    23098     17 |      621 |      392
462.72/462.80	c  462s |      16 |   314658 |   197052 |    23098     17 |      621 |      392
463.72/463.87	c  463s |      17 |   315213 |   197432 |    23098     17 |      621 |      392
465.82/465.94	c  465s |      17 |   319613 |   199032 |    23098     17 |      621 |      392
467.82/467.99	c  467s |      17 |   322486 |   200632 |    23098     17 |      621 |      392
469.92/470.02	c  469s |      17 |   325819 |   202432 |    23098     17 |      621 |      392
471.93/472.04	c  471s |      17 |   330276 |   204132 |    23098     17 |      621 |      392
474.42/474.58	c  474s |      17 |   332573 |   205732 |    23098     18 |      621 |      392
476.52/476.66	c  476s |      17 |   333937 |   206932 |    23098     18 |      621 |      392
478.72/478.80	c  478s |      17 |   335292 |   208132 |    23098     18 |      621 |      392
480.82/480.95	c  480s |      17 |   336389 |   209132 |    23098     18 |      621 |      392
483.02/483.14	c  482s |      17 |   337461 |   210132 |    23098     18 |      621 |      392
485.02/485.15	c  484s |      17 |   338325 |   210932 |    23098     18 |      621 |      392
487.02/487.19	c  486s |      17 |   339212 |   211732 |    23098     18 |      621 |      392
489.22/489.34	c  489s |      17 |   340107 |   212532 |    23098     18 |      621 |      392
491.52/491.65	c  491s |      17 |   340955 |   213332 |    23098     18 |      621 |      392
493.72/493.81	c  493s |      17 |   341707 |   214032 |    23098     18 |      621 |      392
495.91/496.05	c  495s |      17 |   342451 |   214732 |    23098     18 |      621 |      392
498.01/498.19	c  497s |      17 |   343228 |   215432 |    23098     18 |      621 |      392
500.21/500.37	c  500s |      17 |   343982 |   216132 |    23098     18 |      621 |      392
502.21/502.38	c  502s |      17 |   344650 |   216732 |    23098     18 |      621 |      392
504.31/504.48	c  504s |      17 |   345286 |   217332 |    23098     18 |      621 |      392
506.61/506.70	c  506s |      17 |   345923 |   217932 |    23098     18 |      621 |      392
508.71/508.86	c  508s |      17 |   346572 |   218532 |    23098     18 |      621 |      392
511.01/511.10	c  510s |      17 |   347122 |   219032 |    23098     19 |      621 |      392
513.11/513.22	c  512s |      17 |   347899 |   219732 |    23098     19 |      621 |      392
515.21/515.30	c  515s |      17 |   348547 |   220332 |    23098     19 |      621 |      392
517.31/517.44	c  517s |      17 |   349174 |   220932 |    23098     19 |      621 |      392
519.51/519.65	c  519s |      17 |   349816 |   221532 |    23098     19 |      621 |      392
521.71/521.86	c  521s |      17 |   350455 |   222132 |    23098     19 |      621 |      392
523.91/524.04	c  523s |      17 |   351109 |   222732 |    23098     19 |      621 |      392
526.01/526.15	c  525s |      17 |   351632 |   223232 |    23098     19 |      621 |      392
528.31/528.43	c  528s |      17 |   352284 |   223832 |    23098     19 |      621 |      392
530.31/530.48	c  530s |      17 |   352840 |   224332 |    23098     19 |      621 |      392
532.32/532.50	c  532s |      17 |   353363 |   224832 |    23098     19 |      621 |      392
534.71/534.81	c  534s |      17 |   353995 |   225432 |    23098     19 |      621 |      392
536.71/536.89	c  536s |      17 |   354522 |   225932 |    23098     19 |      621 |      392
539.01/539.12	c  538s |      17 |   355052 |   226432 |    23098     19 |      621 |      392
541.11/541.30	c  541s |      17 |   355583 |   226932 |    23098     19 |      621 |      392
543.31/543.47	c  543s |      17 |   356107 |   227432 |    23098     19 |      621 |      392
545.61/545.71	c  545s |      17 |   356631 |   227932 |    23098     19 |      621 |      392
547.71/547.86	c  547s |      17 |   357170 |   228432 |    23098     19 |      621 |      392
549.91/550.09	c  549s |      17 |   357709 |   228932 |    23098     19 |      621 |      392
552.30/552.47	c  552s |      17 |   358244 |   229432 |    23098     19 |      621 |      392
554.31/554.49	c  554s |      17 |   358682 |   229832 |    23098     19 |      621 |      392
556.40/556.57	c  556s |      17 |   359113 |   230232 |    23098     19 |      621 |      392
558.50/558.65	c  558s |      17 |   359524 |   230632 |    23098     19 |      621 |      392
560.50/560.67	c  560s |      17 |   359949 |   231032 |    23098     19 |      621 |      392
562.80/562.97	c  562s |      17 |   360510 |   231532 |    23098     19 |      621 |      392
564.80/564.97	c  564s |      17 |   360930 |   231932 |    23098     19 |      621 |      392
566.80/566.97	c  566s |      17 |   361356 |   232332 |    23098     20 |      621 |      392
569.20/569.33	c  569s |      17 |   361994 |   232932 |    23098     20 |      621 |      392
571.40/571.55	c  571s |      17 |   362636 |   233532 |    23098     20 |      621 |      392
573.70/573.82	c  573s |      17 |   363292 |   234132 |    23098     20 |      621 |      392
575.90/576.08	c  575s |      17 |   363928 |   234732 |    23098     20 |      621 |      392
578.00/578.12	c  577s |      17 |   364467 |   235232 |    23098     20 |      621 |      392
580.30/580.49	c  580s |      17 |   365117 |   235832 |    23098     20 |      621 |      392
582.70/582.88	c  582s |      17 |   365783 |   236432 |    23098     20 |      621 |      392
584.80/584.96	c  584s |      17 |   366325 |   236932 |    23098     20 |      621 |      392
586.90/587.07	c  586s |      17 |   366880 |   237432 |    23098     20 |      621 |      392
589.00/589.17	c  588s |      17 |   367412 |   237932 |    23098     20 |      621 |      392
591.10/591.23	c  590s |      17 |   367946 |   238432 |    23098     20 |      621 |      392
593.30/593.42	c  593s |      17 |   368482 |   238932 |    23098     20 |      621 |      392
595.60/595.70	c  595s |      17 |   369012 |   239432 |    23098     20 |      621 |      392
597.90/598.08	c  597s |      17 |   369529 |   239932 |    23098     20 |      621 |      392
600.30/600.44	c  600s |      17 |   370050 |   240432 |    23098     20 |      621 |      392
602.40/602.51	c  602s |      17 |   370459 |   240832 |    23098     20 |      621 |      392
604.60/604.77	c  604s |      17 |   370987 |   241332 |    23098     20 |      621 |      392
607.00/607.10	c  606s |      17 |   371520 |   241832 |    23098     20 |      621 |      392
609.30/609.49	c  609s |      17 |   372054 |   242332 |    23098     20 |      621 |      392
611.80/611.97	c  611s |      17 |   372586 |   242832 |    23098     20 |      621 |      392
613.89/614.05	c  613s |      17 |   373017 |   243232 |    23098     20 |      621 |      392
616.09/616.20	c  615s |      17 |   373437 |   243632 |    23098     20 |      621 |      392
618.10/618.25	c  617s |      17 |   373853 |   244032 |    23098     20 |      621 |      392
620.59/620.75	c  620s |      17 |   374372 |   244532 |    23098     20 |      621 |      392
622.79/622.98	c  622s |      17 |   374803 |   244932 |    23098     20 |      621 |      392
625.19/625.35	c  625s |      17 |   375219 |   245332 |    23098     21 |      621 |      392
627.49/627.66	c  627s |      17 |   375841 |   245932 |    23098     21 |      621 |      392
629.49/629.67	c  629s |      17 |   376392 |   246432 |    23098     21 |      621 |      392
631.89/632.02	c  631s |      17 |   377021 |   247032 |    23098     21 |      621 |      392
634.09/634.20	c  633s |      17 |   377555 |   247532 |    23098     21 |      621 |      392
636.19/636.34	c  636s |      17 |   378067 |   248032 |    23098     21 |      621 |      392
638.39/638.50	c  638s |      17 |   378593 |   248532 |    23098     21 |      621 |      392
640.39/640.59	c  640s |      17 |   379129 |   249032 |    23098     21 |      621 |      392
642.59/642.77	c  642s |      17 |   379652 |   249532 |    23098     21 |      621 |      392
644.79/644.90	c  644s |      17 |   380182 |   250032 |    23098     21 |      621 |      392
646.79/646.94	c  646s |      17 |   381344 |   250832 |    23098     21 |      621 |      392
648.79/648.99	c  648s |      17 |   383494 |   252232 |    23098     21 |      621 |      392
650.99/651.13	c  650s |      17 |   385175 |   253432 |    23098     21 |      621 |      392
653.10/653.22	c  652s |      17 |   386654 |   254532 |    23098     21 |      621 |      392
655.19/655.32	c  655s |      17 |   387960 |   255532 |    23098     21 |      621 |      392
657.29/657.42	c  657s |      17 |   389587 |   256632 |    23098     21 |      621 |      392
659.39/659.50	c  659s |      17 |   390841 |   257632 |    23098     21 |      621 |      392
661.39/661.50	c  661s |      17 |   391731 |   258332 |    23098     22 |      621 |      392
663.49/663.67	c  663s |      17 |   392807 |   259232 |    23098     22 |      621 |      392
665.50/665.69	c  665s |      17 |   393768 |   260032 |    23098     22 |      621 |      392
667.60/667.79	c  667s |      17 |   394874 |   260932 |    23098     22 |      621 |      392
669.69/669.81	c  669s |      17 |   395838 |   261732 |    23098     22 |      621 |      392
671.69/671.87	c  671s |      17 |   396677 |   262432 |    23098     22 |      621 |      392
673.89/674.04	c  673s |      17 |   397478 |   263132 |    23098     22 |      621 |      392
675.99/676.10	c  675s |      17 |   398305 |   263832 |    23098     22 |      621 |      392
677.98/678.14	c  677s |      17 |   399324 |   264632 |    23098     22 |      621 |      392
680.08/680.23	c  679s |      17 |   400319 |   265432 |    23098     22 |      621 |      392
682.18/682.36	c  682s |      17 |   401331 |   266232 |    23098     22 |      621 |      392
684.19/684.39	c  684s |      17 |   402007 |   266832 |    23098     22 |      621 |      392
686.39/686.59	c  686s |      17 |   402843 |   267532 |    23098     22 |      621 |      392
688.78/688.95	c  688s |      17 |   403697 |   268232 |    23098     22 |      621 |      392
690.79/690.99	c  690s |      17 |   404409 |   268832 |    23098     22 |      621 |      392
692.78/693.00	c  692s |      17 |   405110 |   269432 |    23098     22 |      621 |      392
694.98/695.15	c  694s |      17 |   406008 |   270132 |    23098     22 |      621 |      392
697.38/697.52	c  697s |      17 |   406682 |   270732 |    23098     22 |      621 |      392
699.58/699.72	c  699s |      17 |   407416 |   271332 |    23098     22 |      621 |      392
701.89/702.01	c  701s |      17 |   408184 |   271932 |    23098     23 |      621 |      392
704.08/704.22	c  703s |      17 |   408995 |   272632 |    23098     23 |      621 |      392
706.19/706.34	c  706s |      17 |   409832 |   273332 |    23098     23 |      621 |      392
708.18/708.37	c  708s |      17 |   410504 |   273932 |    23098     23 |      621 |      392
710.18/710.40	c  710s |      17 |   411205 |   274532 |    23098     23 |      621 |      392
712.48/712.65	c  712s |      17 |   412020 |   275232 |    23098     23 |      621 |      392
714.68/714.89	c  714s |      17 |   412850 |   275932 |    23098     23 |      621 |      392
716.88/717.09	c  716s |      17 |   413676 |   276632 |    23098     23 |      621 |      392
718.98/719.10	c  718s |      17 |   414397 |   277232 |    23098     23 |      621 |      392
720.98/721.15	c  720s |      17 |   415084 |   277832 |    23098     23 |      621 |      392
723.08/723.23	c  722s |      17 |   415637 |   278332 |    23098     23 |      621 |      392
725.08/725.24	c  724s |      17 |   416180 |   278832 |    23098     23 |      621 |      392
727.18/727.39	c  727s |      17 |   416788 |   279332 |    23098     23 |      621 |      392
729.28/729.46	c  729s |      17 |   417369 |   279832 |    23098     23 |      621 |      392
731.58/731.73	c  731s |      17 |   417916 |   280332 |    23098     23 |      621 |      392
733.78/733.92	c  733s |      17 |   418622 |   280932 |    23098     23 |      621 |      392
736.27/736.40	c  736s |      17 |   419322 |   281532 |    23098     23 |      621 |      392
738.57/738.77	c  738s |      17 |   419915 |   282032 |    23098     23 |      621 |      392
740.67/740.84	c  740s |      17 |   420487 |   282532 |    23098     23 |      621 |      392
742.97/743.16	c  742s |      17 |   421064 |   283032 |    23098     23 |      621 |      392
745.07/745.26	c  744s |      17 |   421502 |   283432 |    23098     23 |      621 |      392
747.27/747.47	c  747s |      17 |   421944 |   283832 |    23098     23 |      621 |      392
749.77/749.91	c  749s |      17 |   422499 |   284332 |    23098     23 |      621 |      392
752.07/752.25	c  751s |      17 |   422980 |   284732 |    23098     24 |      621 |      392
754.27/754.44	c  754s |      17 |   423837 |   285432 |    23098     24 |      621 |      392
756.27/756.49	c  756s |      17 |   424682 |   286132 |    23098     24 |      621 |      392
758.56/758.78	c  758s |      17 |   425686 |   286932 |    23098     24 |      621 |      392
760.76/760.92	c  760s |      17 |   426546 |   287632 |    23098     24 |      621 |      392
763.06/763.21	c  762s |      17 |   427225 |   288232 |    23098     24 |      621 |      392
765.36/765.50	c  765s |      17 |   427939 |   288832 |    23098     24 |      621 |      392
767.46/767.63	c  767s |      17 |   428660 |   289432 |    23098     24 |      621 |      392
769.46/769.64	c  769s |      17 |   429364 |   290032 |    23098     24 |      621 |      392
771.66/771.81	c  771s |      17 |   430027 |   290632 |    23098     24 |      621 |      392
773.86/774.05	c  773s |      17 |   430718 |   291232 |    23098     24 |      621 |      392
776.15/776.35	c  776s |      17 |   431382 |   291832 |    23098     24 |      621 |      392
778.35/778.52	c  778s |      17 |   431969 |   292332 |    23098     24 |      621 |      392
780.65/780.82	c  780s |      17 |   432532 |   292832 |    23098     24 |      621 |      392
783.06/783.21	c  782s |      17 |   433100 |   293332 |    23098     24 |      621 |      392
785.26/785.48	c  785s |      17 |   433665 |   293832 |    23098     24 |      621 |      392
787.35/787.58	c  787s |      17 |   434229 |   294332 |    25408     24 |      621 |      392
789.55/789.76	c  789s |      17 |   434790 |   294832 |    25408     24 |      621 |      392
791.65/791.88	c  791s |      17 |   435339 |   295332 |    25408     24 |      621 |      392
793.76/793.95	c  793s |      17 |   435794 |   295732 |    25408     24 |      621 |      392
795.95/796.18	c  795s |      17 |   436347 |   296232 |    25408     24 |      621 |      392
796.05/796.25	c  795s |      18 |   436367 |   296252 |    25408     24 |      621 |      392
798.15/798.33	c  798s |      18 |   443210 |   297952 |    25408     24 |      621 |      392
800.15/800.39	c  800s |      18 |   446012 |   299752 |    25408     24 |      621 |      392
802.25/802.43	c  802s |      18 |   448094 |   301052 |    25408     25 |      621 |      392
804.35/804.56	c  804s |      18 |   450199 |   302552 |    25408     25 |      621 |      392
806.45/806.61	c  806s |      18 |   451551 |   303652 |    25408     25 |      621 |      392
808.46/808.69	c  808s |      18 |   452756 |   304652 |    25408     25 |      621 |      392
810.75/810.93	c  810s |      18 |   453908 |   305652 |    25408     25 |      621 |      392
812.85/813.08	c  812s |      18 |   455177 |   306652 |    25408     25 |      621 |      392
814.95/815.12	c  814s |      18 |   456649 |   307752 |    25408     25 |      621 |      392
817.04/817.20	c  816s |      18 |   458261 |   308952 |    25408     25 |      621 |      392
819.04/819.21	c  818s |      18 |   459591 |   309952 |    25408     25 |      621 |      392
821.14/821.32	c  821s |      18 |   460793 |   310852 |    25408     25 |      621 |      392
823.24/823.40	c  823s |      18 |   462115 |   311852 |    25408     25 |      621 |      392
825.44/825.68	c  825s |      18 |   463324 |   312752 |    25408     25 |      621 |      392
827.64/827.86	c  827s |      18 |   464282 |   313552 |    25408     25 |      621 |      392
829.84/830.08	c  829s |      18 |   465159 |   314252 |    25408     25 |      621 |      392
831.94/832.14	c  831s |      18 |   465985 |   314852 |    25408     26 |      621 |      392
834.14/834.31	c  834s |      18 |   467588 |   315952 |    25408     26 |      621 |      392
836.23/836.41	c  836s |      18 |   468665 |   316852 |    25408     26 |      621 |      392
838.43/838.62	c  838s |      18 |   469740 |   317752 |    25408     26 |      621 |      392
840.43/840.68	c  840s |      18 |   470756 |   318552 |    25408     26 |      621 |      392
842.63/842.85	c  842s |      18 |   471864 |   319452 |    25408     26 |      621 |      392
844.93/845.13	c  844s |      18 |   472686 |   320152 |    25408     26 |      621 |      392
846.93/847.17	c  846s |      18 |   473697 |   320952 |    25408     26 |      621 |      392
849.33/849.52	c  849s |      18 |   474679 |   321752 |    25408     26 |      621 |      392
851.43/851.67	c  851s |      18 |   475350 |   322352 |    25408     26 |      621 |      392
853.83/854.02	c  853s |      18 |   476061 |   322952 |    25408     26 |      621 |      392
855.82/856.09	c  855s |      18 |   476760 |   323552 |    25408     26 |      621 |      392
857.93/858.13	c  857s |      18 |   477591 |   324252 |    25408     26 |      621 |      392
860.13/860.34	c  860s |      18 |   478414 |   324952 |    25408     26 |      621 |      392
862.33/862.54	c  862s |      18 |   479259 |   325652 |    25408     26 |      621 |      392
864.62/864.85	c  864s |      18 |   479952 |   326252 |    25408     26 |      621 |      392
866.81/867.07	c  866s |      18 |   480534 |   326752 |    25408     26 |      621 |      392
869.11/869.31	c  869s |      18 |   481138 |   327252 |    25408     26 |      621 |      392
871.41/871.61	c  871s |      18 |   481737 |   327752 |    25408     26 |      621 |      392
873.61/873.84	c  873s |      18 |   482586 |   328452 |    25408     26 |      621 |      392
875.61/875.86	c  875s |      18 |   483041 |   328852 |    25408     27 |      621 |      392
877.91/878.14	c  877s |      18 |   483719 |   329452 |    25408     27 |      621 |      392
880.11/880.39	c  880s |      18 |   484396 |   330052 |    25408     27 |      621 |      392
882.40/882.60	c  882s |      18 |   485238 |   330752 |    25408     27 |      621 |      392
884.70/884.92	c  884s |      18 |   485994 |   331452 |    25408     27 |      621 |      392
887.10/887.33	c  887s |      18 |   486650 |   332052 |    25408     27 |      621 |      392
889.40/889.63	c  889s |      18 |   487333 |   332652 |    25408     27 |      621 |      392
891.70/891.94	c  891s |      18 |   488170 |   333352 |    25408     27 |      621 |      392
893.70/893.95	c  893s |      18 |   488889 |   333952 |    25408     27 |      621 |      392
895.89/896.10	c  895s |      18 |   489597 |   334552 |    25408     27 |      621 |      392
897.99/898.23	c  897s |      18 |   490325 |   335152 |    25408     27 |      621 |      392
900.09/900.30	c  900s |      18 |   491218 |   335752 |    25408     27 |      621 |      392
902.09/902.35	c  902s |      18 |   492692 |   336652 |    25408     27 |      621 |      392
904.19/904.45	c  904s |      18 |   497858 |   338552 |    25408     27 |      621 |      392
906.30/906.56	c  906s |      18 |   499511 |   340052 |    25408     27 |      621 |      392
908.40/908.64	c  908s |      18 |   501005 |   341352 |    25408     27 |      621 |      392
910.60/910.82	c  910s |      18 |   502453 |   342652 |    25408     27 |      621 |      392
912.59/912.89	c  912s |      18 |   503328 |   343452 |    25408     28 |      621 |      392
914.79/915.02	c  914s |      18 |   513329 |   345452 |    25408     28 |      621 |      392
916.88/917.16	c  916s |      18 |   518166 |   347252 |    25408     28 |      621 |      392
918.98/919.23	c  918s |      18 |   521323 |   348852 |    25408     28 |      621 |      392
920.98/921.27	c  920s |      18 |   523200 |   350152 |    25408     28 |      621 |      392
923.18/923.42	c  923s |      18 |   525368 |   351452 |    25408     28 |      621 |      392
925.18/925.47	c  925s |      18 |   527604 |   352552 |    25408     28 |      621 |      392
927.38/927.62	c  927s |      18 |   529213 |   353652 |    25408     28 |      621 |      392
929.39/929.67	c  929s |      18 |   530813 |   354752 |    25408     28 |      621 |      392
931.49/931.74	c  931s |      18 |   532743 |   355752 |    25408     28 |      621 |      392
933.59/933.80	c  933s |      18 |   535374 |   357052 |    25408     28 |      621 |      392
935.58/935.86	c  935s |      18 |   536777 |   358052 |    25408     29 |      621 |      392
937.68/937.98	c  937s |      18 |   538774 |   359352 |    25408     29 |      621 |      392
939.78/940.05	c  939s |      18 |   540464 |   360552 |    25408     29 |      621 |      392
941.78/942.06	c  941s |      18 |   541686 |   361552 |    25408     29 |      621 |      392
943.98/944.29	c  944s |      18 |   542710 |   362452 |    25408     29 |      621 |      392
946.27/946.57	c  946s |      18 |   543600 |   363252 |    25408     29 |      621 |      392
948.47/948.73	c  948s |      18 |   544395 |   363952 |    25408     29 |      621 |      392
950.57/950.83	c  950s |      18 |   545228 |   364652 |    25408     29 |      621 |      392
952.77/953.04	c  952s |      18 |   546177 |   365452 |    25408     29 |      621 |      392
954.87/955.18	c  954s |      18 |   546985 |   366152 |    25408     29 |      621 |      392
957.06/957.40	c  957s |      18 |   547868 |   366952 |    25408     29 |      621 |      392
959.16/959.48	c  959s |      18 |   548666 |   367652 |    25408     29 |      621 |      392
961.56/961.81	c  961s |      18 |   549458 |   368352 |    25408     29 |      621 |      392
963.66/963.96	c  963s |      18 |   550130 |   368952 |    25408     29 |      621 |      392
965.76/966.01	c  965s |      18 |   550886 |   369552 |    25408     29 |      621 |      392
967.95/968.20	c  967s |      18 |   551717 |   370252 |    25408     29 |      621 |      392
969.96/970.25	c  969s |      18 |   552519 |   370952 |    25408     29 |      621 |      392
972.35/972.63	c  972s |      18 |   553351 |   371652 |    25408     29 |      621 |      392
974.65/974.91	c  974s |      18 |   553907 |   372152 |    25408     30 |      621 |      392
976.75/977.09	c  976s |      18 |   554569 |   372752 |    25408     30 |      621 |      392
979.05/979.30	c  979s |      18 |   555237 |   373352 |    25408     30 |      621 |      392
981.05/981.33	c  981s |      18 |   556098 |   374052 |    25408     30 |      621 |      392
983.04/983.40	c  983s |      18 |   556914 |   374752 |    25408     30 |      621 |      392
985.14/985.45	c  985s |      18 |   557735 |   375452 |    25408     30 |      621 |      392
987.24/987.58	c  987s |      18 |   558550 |   376152 |    25408     30 |      621 |      392
989.54/989.86	c  989s |      18 |   559365 |   376852 |    25408     30 |      621 |      392
991.64/991.95	c  991s |      18 |   560049 |   377452 |    25408     30 |      621 |      392
993.94/994.25	c  993s |      18 |   560874 |   378152 |    25408     30 |      621 |      392
996.23/996.53	c  996s |      18 |   561680 |   378852 |    25408     30 |      621 |      392
998.23/998.58	c  998s |      18 |   562340 |   379452 |    25408     30 |      621 |      392
1000.33/1000.68	c 1000s |      18 |   563008 |   380052 |    25408     30 |      621 |      392
1002.73/1003.00	c 1002s |      18 |   563675 |   380652 |    25408     30 |      621 |      392
1005.03/1005.38	c 1005s |      18 |   564366 |   381252 |    25408     30 |      621 |      392
1007.33/1007.61	c 1007s |      18 |   565038 |   381852 |    25408     30 |      621 |      392
1009.43/1009.70	c 1009s |      18 |   565903 |   382452 |    25408     30 |      621 |      392
1011.63/1011.94	c 1011s |      18 |   567366 |   383452 |    25408     30 |      621 |      392
1013.73/1014.01	c 1013s |      18 |   568704 |   384252 |    25408     30 |      621 |      392
1016.02/1016.37	c 1016s |      18 |   569502 |   384952 |    25408     30 |      621 |      392
1018.02/1018.37	c 1018s |      18 |   570380 |   385552 |    25408     30 |      621 |      392
1020.12/1020.42	c 1020s |      18 |   571241 |   386152 |    25408     31 |      621 |      392
1022.32/1022.61	c 1022s |      18 |   572821 |   387252 |    25408     31 |      621 |      392
1024.32/1024.63	c 1024s |      18 |   573863 |   388052 |    25408     31 |      621 |      392
1026.41/1026.79	c 1026s |      18 |   574919 |   388852 |    25408     31 |      621 |      392
1028.52/1028.87	c 1028s |      18 |   575888 |   389552 |    25408     31 |      621 |      392
1030.62/1030.91	c 1030s |      18 |   578469 |   390652 |    25408     31 |      621 |      392
1032.62/1032.95	c 1032s |      18 |   579963 |   391652 |    25408     31 |      621 |      392
1034.82/1035.17	c 1034s |      18 |   581108 |   392552 |    25408     31 |      621 |      392
1037.02/1037.35	c 1037s |      18 |   582092 |   393352 |    25408     31 |      621 |      392
1039.11/1039.43	c 1039s |      18 |   582887 |   394052 |    25408     31 |      621 |      392
1041.21/1041.56	c 1041s |      18 |   583708 |   394752 |    25408     31 |      621 |      392
1043.51/1043.89	c 1043s |      18 |   584696 |   395552 |    25408     31 |      621 |      392
1045.81/1046.19	c 1045s |      18 |   585577 |   396252 |    25408     31 |      621 |      392
1048.01/1048.34	c 1048s |      18 |   586405 |   396952 |    25408     31 |      621 |      392
1050.21/1050.54	c 1050s |      18 |   587201 |   397652 |    25408     31 |      621 |      392
1052.20/1052.56	c 1052s |      18 |   587906 |   398252 |    25408     31 |      621 |      392
1054.50/1054.86	c 1054s |      18 |   588704 |   398952 |    25408     31 |      621 |      392
1056.80/1057.15	c 1056s |      18 |   589366 |   399552 |    25408     31 |      621 |      392
1059.10/1059.43	c 1059s |      18 |   590154 |   400252 |    25408     31 |      621 |      392
1061.10/1061.47	c 1061s |      18 |   590734 |   400752 |    25408     32 |      621 |      392
1063.40/1063.71	c 1063s |      18 |   591498 |   401452 |    25408     32 |      621 |      392
1065.39/1065.75	c 1065s |      18 |   592168 |   402052 |    25408     32 |      621 |      392
1067.49/1067.82	c 1067s |      18 |   592816 |   402652 |    25408     32 |      621 |      392
1069.49/1069.83	c 1069s |      18 |   593488 |   403252 |    25408     32 |      621 |      392
1071.79/1072.11	c 1071s |      18 |   594304 |   403952 |    25408     32 |      621 |      392
1073.79/1074.18	c 1073s |      18 |   595237 |   404652 |    25408     32 |      621 |      392
1076.08/1076.45	c 1076s |      18 |   596289 |   405452 |    25408     32 |      621 |      392
1078.18/1078.59	c 1078s |      18 |   597097 |   406152 |    25408     32 |      621 |      392
1080.28/1080.60	c 1080s |      18 |   597812 |   406752 |    25408     32 |      621 |      392
1082.28/1082.68	c 1082s |      18 |   598494 |   407352 |    25408     32 |      621 |      392
1084.48/1084.90	c 1084s |      18 |   599300 |   408052 |    25408     32 |      621 |      392
1086.58/1086.97	c 1086s |      18 |   599978 |   408652 |    25408     32 |      621 |      392
1088.68/1089.10	c 1088s |      18 |   600657 |   409252 |    25408     32 |      621 |      392
1090.77/1091.11	c 1090s |      18 |   601212 |   409752 |    25408     32 |      621 |      392
1092.77/1093.19	c 1092s |      18 |   601766 |   410252 |    25408     32 |      621 |      392
1095.17/1095.52	c 1095s |      18 |   602428 |   410852 |    25408     32 |      621 |      392
1097.47/1097.90	c 1097s |      18 |   603112 |   411452 |    25408     32 |      621 |      392
1099.67/1100.10	c 1099s |      18 |   603710 |   411952 |    25408     32 |      621 |      392
1101.97/1102.39	c 1102s |      18 |   604371 |   412552 |    25408     32 |      621 |      392
1104.26/1104.66	c 1104s |      18 |   604927 |   413052 |    25408     32 |      621 |      392
1106.75/1107.11	c 1106s |      18 |   605468 |   413552 |    25408     32 |      621 |      392
1108.85/1109.23	c 1108s |      18 |   606052 |   414052 |    25408     32 |      621 |      392
1110.95/1111.33	c 1111s |      18 |   606650 |   414552 |    25408     32 |      621 |      392
1113.05/1113.44	c 1113s |      18 |   607260 |   415052 |    25408     33 |      621 |      392
1115.16/1115.52	c 1115s |      18 |   608099 |   415752 |    25408     33 |      621 |      392
1117.35/1117.74	c 1117s |      18 |   608790 |   416352 |    25408     33 |      621 |      392
1119.75/1120.18	c 1119s |      18 |   609602 |   417052 |    25408     33 |      621 |      392
1121.75/1122.19	c 1121s |      18 |   610315 |   417652 |    25408     33 |      621 |      392
1123.95/1124.36	c 1124s |      18 |   611098 |   418352 |    25408     33 |      621 |      392
1126.15/1126.57	c 1126s |      18 |   611680 |   418852 |    25408     33 |      621 |      392
1128.54/1128.95	c 1128s |      18 |   612371 |   419452 |    25408     33 |      621 |      392
1130.64/1131.08	c 1130s |      18 |   612948 |   419952 |    25408     33 |      621 |      392
1133.04/1133.42	c 1133s |      18 |   613663 |   420552 |    25408     33 |      621 |      392
1135.04/1135.49	c 1135s |      18 |   614424 |   421152 |    25408     33 |      621 |      392
1137.33/1137.76	c 1137s |      18 |   615262 |   421852 |    25408     33 |      621 |      392
1139.63/1140.01	c 1139s |      18 |   615970 |   422452 |    25408     33 |      621 |      392
1141.93/1142.35	c 1142s |      18 |   616656 |   423052 |    25408     33 |      621 |      392
1144.24/1144.66	c 1144s |      18 |   617326 |   423652 |    25408     33 |      621 |      392
1146.33/1146.70	c 1146s |      18 |   617911 |   424152 |    25408     33 |      621 |      392
1148.33/1148.76	c 1148s |      18 |   618482 |   424652 |    25408     33 |      621 |      392
1150.63/1151.03	c 1150s |      18 |   619054 |   425152 |    25408     33 |      621 |      392
1152.73/1153.12	c 1152s |      18 |   619602 |   425652 |    25408     33 |      621 |      392
1154.83/1155.23	c 1154s |      18 |   620176 |   426152 |    25408     33 |      621 |      392
1156.93/1157.35	c 1157s |      18 |   620747 |   426652 |    25408     33 |      621 |      392
1158.92/1159.36	c 1159s |      18 |   621352 |   427152 |    25408     33 |      621 |      392
1161.33/1161.73	c 1161s |      18 |   621905 |   427652 |    25408     33 |      621 |      392
1163.53/1163.91	c 1163s |      18 |   622453 |   428152 |    25408     33 |      621 |      392
1165.73/1166.13	c 1165s |      18 |   623000 |   428652 |    25408     33 |      621 |      392
1168.32/1168.77	c 1168s |      18 |   623438 |   429052 |    25408     34 |      621 |      392
1170.62/1171.06	c 1170s |      18 |   624094 |   429652 |    25408     34 |      621 |      392
1172.72/1173.14	c 1172s |      18 |   624754 |   430252 |    25408     34 |      621 |      392
1175.02/1175.41	c 1175s |      18 |   625426 |   430852 |    25408     34 |      621 |      392
1177.21/1177.60	c 1177s |      18 |   626077 |   431452 |    25408     34 |      621 |      392
1179.41/1179.89	c 1179s |      18 |   626734 |   432052 |    25408     34 |      621 |      392
1181.91/1182.32	c 1182s |      18 |   627394 |   432652 |    25408     34 |      621 |      392
1183.91/1184.37	c 1184s |      18 |   627931 |   433152 |    25408     34 |      621 |      392
1186.20/1186.68	c 1186s |      18 |   628634 |   433752 |    25408     34 |      621 |      392
1188.60/1189.01	c 1188s |      18 |   629435 |   434452 |    25408     34 |      621 |      392
1190.60/1191.04	c 1190s |      18 |   630102 |   435052 |    25408     34 |      621 |      392
1193.00/1193.41	c 1193s |      18 |   630769 |   435652 |    25408     34 |      621 |      392
1195.31/1195.71	c 1195s |      18 |   631457 |   436252 |    25408     34 |      621 |      392
1197.40/1197.87	c 1197s |      18 |   632065 |   436752 |    25408     34 |      621 |      392
1199.49/1199.98	c 1199s |      18 |   632627 |   437252 |    25408     34 |      621 |      392
1201.69/1202.15	c 1201s |      18 |   633195 |   437752 |    25408     34 |      621 |      392
1203.79/1204.25	c 1203s |      18 |   633754 |   438252 |    25408     34 |      621 |      392
1205.89/1206.38	c 1206s |      18 |   634301 |   438752 |    25408     34 |      621 |      392
1208.19/1208.66	c 1208s |      18 |   634861 |   439252 |    25408     34 |      621 |      392
1210.70/1211.11	c 1210s |      18 |   635426 |   439752 |    25408     34 |      621 |      392
1213.19/1213.60	c 1213s |      18 |   635972 |   440252 |    25408     34 |      621 |      392
1215.29/1215.75	c 1215s |      18 |   636421 |   440652 |    25408     34 |      621 |      392
1217.58/1218.03	c 1217s |      18 |   636853 |   441052 |    25408     34 |      621 |      392
1219.78/1220.28	c 1220s |      18 |   637294 |   441452 |    27949     34 |      621 |      392
1221.98/1222.47	c 1222s |      18 |   637741 |   441852 |    27949     34 |      621 |      392
1224.18/1224.68	c 1224s |      18 |   638160 |   442252 |    27949     34 |      621 |      392
1226.27/1226.77	c 1226s |      18 |   638601 |   442652 |    27949     34 |      621 |      392
1228.28/1228.79	c 1228s |      18 |   639047 |   443052 |    27949     34 |      621 |      392
1230.67/1231.12	c 1230s |      18 |   639470 |   443452 |    27949     34 |      621 |      392
1232.97/1233.44	c 1233s |      18 |   639912 |   443852 |    27949     34 |      621 |      392
1235.37/1235.87	c 1235s |      18 |   640336 |   444252 |    27949     34 |      621 |      392
1236.77/1237.22	c 1236s |      19 |   640598 |   444482 |    27949     34 |      621 |      392
1238.77/1239.29	c 1239s |      19 |   642681 |   445082 |    27949     35 |      621 |      392
1240.87/1241.33	c 1241s |      19 |   644397 |   446382 |    27949     35 |      621 |      392
1242.87/1243.37	c 1243s |      19 |   649504 |   448182 |    27949     35 |      621 |      392
1244.96/1245.46	c 1245s |      19 |   652040 |   449782 |    27949     35 |      621 |      392
1247.16/1247.60	c 1247s |      19 |   655716 |   451582 |    27949     35 |      621 |      392
1249.27/1249.74	c 1249s |      19 |   657923 |   453182 |    27949     35 |      621 |      392
1251.26/1251.79	c 1251s |      19 |   659465 |   454582 |    27949     35 |      621 |      392
1253.46/1253.97	c 1253s |      19 |   660763 |   455782 |    27949     35 |      621 |      392
1255.56/1256.09	c 1255s |      19 |   661820 |   456782 |    27949     35 |      621 |      392
1257.66/1258.18	c 1257s |      19 |   663412 |   457982 |    27949     35 |      621 |      392
1259.76/1260.26	c 1259s |      19 |   664885 |   459082 |    27949     35 |      621 |      392
1261.86/1262.32	c 1262s |      19 |   666051 |   459982 |    27949     35 |      621 |      392
1263.96/1264.45	c 1264s |      19 |   667057 |   460782 |    27949     35 |      621 |      392
1266.05/1266.56	c 1266s |      19 |   667760 |   461382 |    27949     36 |      621 |      392
1268.25/1268.70	c 1268s |      19 |   668695 |   462182 |    27949     36 |      621 |      392
1270.45/1270.92	c 1270s |      19 |   669683 |   462982 |    27949     36 |      621 |      392
1272.55/1273.04	c 1272s |      19 |   670580 |   463682 |    27949     36 |      621 |      392
1274.65/1275.18	c 1274s |      19 |   671610 |   464482 |    27949     36 |      621 |      392
1276.75/1277.27	c 1276s |      19 |   672804 |   465382 |    27949     36 |      621 |      392
1278.75/1279.30	c 1279s |      19 |   673908 |   466182 |    27949     36 |      621 |      392
1280.84/1281.31	c 1281s |      19 |   674889 |   466882 |    27949     36 |      621 |      392
1282.84/1283.38	c 1283s |      19 |   675833 |   467582 |    27949     36 |      621 |      392
1285.14/1285.67	c 1285s |      19 |   677052 |   468482 |    27949     36 |      621 |      392
1287.44/1287.93	c 1287s |      19 |   678032 |   469282 |    27949     36 |      621 |      392
1289.85/1290.34	c 1290s |      19 |   678702 |   469882 |    27949     36 |      621 |      392
1291.84/1292.39	c 1292s |      19 |   679501 |   470482 |    27949     36 |      621 |      392
1294.14/1294.63	c 1294s |      19 |   680305 |   471082 |    27949     36 |      621 |      392
1296.23/1296.71	c 1296s |      19 |   681206 |   471782 |    27949     36 |      621 |      392
1298.23/1298.77	c 1298s |      19 |   682020 |   472382 |    27949     36 |      621 |      392
1300.43/1300.90	c 1300s |      19 |   682741 |   472982 |    27949     36 |      621 |      392
1302.43/1302.96	c 1302s |      19 |   683205 |   473382 |    27949     36 |      621 |      392
1304.63/1305.10	c 1304s |      19 |   683822 |   473882 |    27949     36 |      621 |      392
1306.63/1307.16	c 1306s |      19 |   684452 |   474382 |    27949     36 |      621 |      392
1309.03/1309.57	c 1309s |      19 |   685208 |   474982 |    27949     36 |      621 |      392
1311.34/1311.86	c 1311s |      19 |   685809 |   475482 |    27949     36 |      621 |      392
1313.54/1314.07	c 1313s |      19 |   686268 |   475882 |    27949     36 |      621 |      392
1316.04/1316.50	c 1316s |      19 |   686713 |   476282 |    27949     36 |      621 |      392
1318.44/1318.99	c 1318s |      19 |   687205 |   476682 |    27949     37 |      621 |      392
1320.83/1321.31	c 1321s |      19 |   687806 |   477182 |    27949     37 |      621 |      392
1323.03/1323.54	c 1323s |      19 |   688423 |   477682 |    27949     37 |      621 |      392
1325.14/1325.68	c 1325s |      19 |   689201 |   478282 |    27949     37 |      621 |      392
1327.34/1327.81	c 1327s |      19 |   689928 |   478882 |    27949     37 |      621 |      392
1329.33/1329.87	c 1329s |      19 |   690469 |   479382 |    27949     37 |      621 |      392
1331.74/1332.22	c 1331s |      19 |   691234 |   479982 |    27949     37 |      621 |      392
1333.73/1334.23	c 1333s |      19 |   691990 |   480582 |    27949     37 |      621 |      392
1336.04/1336.60	c 1336s |      19 |   692760 |   481182 |    27949     37 |      621 |      392
1338.24/1338.72	c 1338s |      19 |   693368 |   481682 |    27949     37 |      621 |      392
1340.23/1340.75	c 1340s |      19 |   693956 |   482182 |    27949     37 |      621 |      392
1342.33/1342.84	c 1342s |      19 |   694544 |   482682 |    27949     37 |      621 |      392
1344.43/1344.93	c 1344s |      19 |   695116 |   483182 |    27949     37 |      621 |      392
1346.53/1347.03	c 1346s |      19 |   695707 |   483682 |    27949     37 |      621 |      392
1348.53/1349.04	c 1348s |      19 |   696299 |   484182 |    27949     37 |      621 |      392
1350.73/1351.23	c 1350s |      19 |   696856 |   484682 |    27949     37 |      621 |      392
1352.93/1353.42	c 1353s |      19 |   697433 |   485182 |    27949     37 |      621 |      392
1355.23/1355.76	c 1355s |      19 |   698019 |   485682 |    27949     37 |      621 |      392
1357.62/1358.12	c 1357s |      19 |   698581 |   486182 |    27949     37 |      621 |      392
1360.02/1360.51	c 1360s |      19 |   699135 |   486682 |    27949     37 |      621 |      392
1362.02/1362.57	c 1362s |      19 |   699592 |   487082 |    27949     37 |      621 |      392
1364.22/1364.79	c 1364s |      19 |   700119 |   487582 |    27949     37 |      621 |      392
1366.72/1367.29	c 1367s |      19 |   700731 |   488082 |    27949     37 |      621 |      392
1369.03/1369.53	c 1369s |      19 |   701269 |   488582 |    27949     37 |      621 |      392
1371.12/1371.68	c 1371s |      19 |   701722 |   488982 |    27949     37 |      621 |      392
1373.22/1373.77	c 1373s |      19 |   702170 |   489382 |    27949     37 |      621 |      392
1375.63/1376.14	c 1375s |      19 |   702739 |   489882 |    27949     37 |      621 |      392
1377.83/1378.40	c 1378s |      19 |   703349 |   490382 |    27949     37 |      621 |      392
1380.22/1380.79	c 1380s |      19 |   703896 |   490882 |    27949     37 |      621 |      392
1382.52/1383.02	c 1382s |      19 |   704434 |   491382 |    27949     37 |      621 |      392
1384.62/1385.17	c 1384s |      19 |   704903 |   491782 |    27949     37 |      621 |      392
1386.73/1387.24	c 1386s |      19 |   705241 |   492082 |    27949     38 |      621 |      392
1388.92/1389.48	c 1389s |      19 |   705828 |   492582 |    27949     38 |      621 |      392
1390.92/1391.50	c 1391s |      19 |   706424 |   493082 |    27949     38 |      621 |      392
1393.12/1393.67	c 1393s |      19 |   707017 |   493582 |    27949     38 |      621 |      392
1395.42/1395.95	c 1395s |      19 |   707611 |   494082 |    27949     38 |      621 |      392
1397.62/1398.18	c 1397s |      19 |   708264 |   494682 |    27949     38 |      621 |      392
1399.92/1400.42	c 1400s |      19 |   708829 |   495182 |    27949     38 |      621 |      392
1402.02/1402.58	c 1402s |      19 |   709380 |   495682 |    27949     38 |      621 |      392
1404.41/1404.96	c 1404s |      19 |   709913 |   496182 |    27949     38 |      621 |      392
1406.91/1407.44	c 1407s |      19 |   710473 |   496682 |    27949     38 |      621 |      392
1409.21/1409.70	c 1409s |      19 |   710985 |   497082 |    27949     38 |      621 |      392
1411.61/1412.10	c 1411s |      19 |   711574 |   497582 |    27949     38 |      621 |      392
1414.01/1414.59	c 1414s |      19 |   712136 |   498082 |    27949     38 |      621 |      392
1416.11/1416.64	c 1416s |      19 |   712579 |   498482 |    27949     38 |      621 |      392
1418.22/1418.79	c 1418s |      19 |   713018 |   498882 |    27949     38 |      621 |      392
1420.42/1420.94	c 1420s |      19 |   713473 |   499282 |    27949     38 |      621 |      392
1422.62/1423.13	c 1422s |      19 |   714047 |   499782 |    27949     38 |      621 |      392
1424.72/1425.20	c 1424s |      19 |   714489 |   500182 |    27949     38 |      621 |      392
1426.72/1427.27	c 1426s |      19 |   714920 |   500582 |    27949     38 |      621 |      392
1429.22/1429.70	c 1429s |      19 |   715467 |   501082 |    27949     38 |      621 |      392
1431.52/1432.09	c 1431s |      19 |   716026 |   501582 |    27949     38 |      621 |      392
1433.92/1434.48	c 1434s |      19 |   716573 |   502082 |    27949     38 |      621 |      392
1436.62/1437.10	c 1436s |      19 |   717129 |   502582 |    27949     38 |      621 |      392
1439.12/1439.67	c 1439s |      19 |   717547 |   502982 |    27949     38 |      621 |      392
1441.42/1442.00	c 1441s |      19 |   717976 |   503382 |    27949     38 |      621 |      392
1443.72/1444.26	c 1443s |      19 |   718444 |   503782 |    27949     38 |      621 |      392
1445.82/1446.34	c 1446s |      19 |   718785 |   504082 |    27949     38 |      621 |      392
1448.41/1448.90	c 1448s |      19 |   719223 |   504482 |    27949     38 |      621 |      392
1450.42/1451.00	c 1450s |      19 |   719556 |   504782 |    27949     38 |      621 |      392
1452.72/1453.25	c 1452s |      19 |   719880 |   505082 |    27949     38 |      621 |      392
1454.92/1455.44	c 1455s |      19 |   720222 |   505382 |    27949     38 |      621 |      392
1457.41/1457.91	c 1457s |      19 |   720852 |   505882 |    27949     38 |      621 |      392
1459.61/1460.17	c 1459s |      19 |   721432 |   506382 |    27949     38 |      621 |      392
1462.11/1462.66	c 1462s |      19 |   721978 |   506882 |    27949     38 |      621 |      392
1464.11/1464.69	c 1464s |      19 |   722409 |   507282 |    27949     38 |      621 |      392
1466.21/1466.79	c 1466s |      19 |   722834 |   507682 |    27949     38 |      621 |      392
1468.51/1469.00	c 1468s |      19 |   723275 |   508082 |    27949     39 |      621 |      392
1470.71/1471.21	c 1470s |      19 |   723920 |   508682 |    27949     39 |      621 |      392
1472.81/1473.35	c 1473s |      19 |   724512 |   509182 |    27949     39 |      621 |      392
1474.91/1475.43	c 1475s |      19 |   724925 |   509582 |    27949     39 |      621 |      392
1477.11/1477.69	c 1477s |      19 |   725482 |   510082 |    27949     39 |      621 |      392
1479.21/1479.73	c 1479s |      19 |   726003 |   510582 |    27949     39 |      621 |      392
1481.60/1482.17	c 1481s |      19 |   726534 |   511082 |    27949     39 |      621 |      392
1483.90/1484.43	c 1484s |      19 |   726954 |   511482 |    27949     39 |      621 |      392
1486.20/1486.73	c 1486s |      19 |   727513 |   511982 |    27949     39 |      621 |      392
1488.60/1489.17	c 1488s |      19 |   728261 |   512582 |    27949     39 |      621 |      392
1490.90/1491.44	c 1491s |      19 |   728816 |   513082 |    27949     39 |      621 |      392
1493.20/1493.70	c 1493s |      19 |   729260 |   513482 |    27949     39 |      621 |      392
1495.51/1496.03	c 1495s |      19 |   729780 |   513982 |    27949     39 |      621 |      392
1497.81/1498.35	c 1498s |      19 |   730329 |   514482 |    27949     39 |      621 |      392
1500.01/1500.53	c 1500s |      19 |   730952 |   514982 |    27949     39 |      621 |      392
1502.50/1503.00	c 1502s |      19 |   731501 |   515482 |    27949     39 |      621 |      392
1504.90/1505.44	c 1505s |      19 |   731958 |   515882 |    27949     39 |      621 |      392
1506.90/1507.49	c 1507s |      19 |   732285 |   516182 |    27949     39 |      621 |      392
1509.10/1509.60	c 1509s |      19 |   732830 |   516582 |    27949     39 |      621 |      392
1511.40/1511.92	c 1511s |      19 |   733406 |   517082 |    27949     39 |      621 |      392
1513.60/1514.18	c 1513s |      19 |   733826 |   517482 |    27949     39 |      621 |      392
1515.80/1516.33	c 1516s |      19 |   734253 |   517882 |    27949     39 |      621 |      392
1518.00/1518.50	c 1518s |      19 |   734677 |   518282 |    27949     39 |      621 |      392
1520.20/1520.74	c 1520s |      19 |   735214 |   518782 |    27949     39 |      621 |      392
1522.50/1523.02	c 1522s |      19 |   735763 |   519282 |    27949     39 |      621 |      392
1524.50/1525.03	c 1524s |      19 |   736221 |   519682 |    27949     39 |      621 |      392
1527.00/1527.54	c 1527s |      19 |   736779 |   520182 |    27949     39 |      621 |      392
1529.30/1529.80	c 1529s |      19 |   737221 |   520582 |    27949     39 |      621 |      392
1531.30/1531.83	c 1531s |      19 |   737652 |   520982 |    27949     39 |      621 |      392
1533.29/1533.84	c 1533s |      19 |   738064 |   521382 |    27949     39 |      621 |      392
1535.69/1536.22	c 1535s |      19 |   738621 |   521882 |    27949     39 |      621 |      392
1537.99/1538.52	c 1538s |      19 |   739109 |   522282 |    27949     39 |      621 |      392
1539.99/1540.52	c 1540s |      19 |   739445 |   522582 |    27949     39 |      621 |      392
1542.59/1543.11	c 1542s |      19 |   739882 |   522982 |    27949     39 |      621 |      392
1544.89/1545.47	c 1545s |      19 |   740189 |   523282 |    27949     39 |      621 |      392
1547.39/1547.99	c 1547s |      19 |   740499 |   523582 |    27949     40 |      621 |      392
1549.69/1550.26	c 1549s |      19 |   741158 |   524082 |    27949     40 |      621 |      392
1552.19/1552.79	c 1552s |      19 |   741730 |   524582 |    27949     40 |      621 |      392
1554.59/1555.12	c 1554s |      19 |   742447 |   525182 |    27949     40 |      621 |      392
1556.99/1557.56	c 1557s |      19 |   743140 |   525782 |    27949     40 |      621 |      392
1559.30/1559.85	c 1559s |      19 |   743710 |   526282 |    27949     40 |      621 |      392
1561.60/1562.18	c 1561s |      19 |   744249 |   526782 |    27949     40 |      621 |      392
1563.59/1564.19	c 1563s |      19 |   744671 |   527182 |    27949     40 |      621 |      392
1566.09/1566.68	c 1566s |      19 |   745206 |   527682 |    27949     40 |      621 |      392
1568.39/1568.93	c 1568s |      19 |   745632 |   528082 |    27949     40 |      621 |      392
1570.49/1571.07	c 1570s |      19 |   746108 |   528482 |    27949     40 |      621 |      392
1572.49/1573.08	c 1572s |      19 |   746439 |   528782 |    27949     40 |      621 |      392
1574.69/1575.25	c 1574s |      19 |   746870 |   529182 |    27949     40 |      621 |      392
1576.69/1577.30	c 1577s |      19 |   747191 |   529482 |    27949     40 |      621 |      392
1578.79/1579.37	c 1579s |      19 |   747509 |   529782 |    27949     40 |      621 |      392
1581.39/1581.91	c 1581s |      19 |   747932 |   530182 |    27949     40 |      621 |      392
1583.69/1584.22	c 1583s |      19 |   748266 |   530482 |    27949     40 |      621 |      392
1586.19/1586.75	c 1586s |      19 |   748579 |   530782 |    27949     40 |      621 |      392
1588.78/1589.31	c 1589s |      19 |   748905 |   531082 |    27949     40 |      621 |      392
1590.98/1591.52	c 1591s |      19 |   749384 |   531482 |    27949     40 |      621 |      392
1593.28/1593.89	c 1593s |      19 |   749822 |   531882 |    27949     40 |      621 |      392
1595.59/1596.13	c 1595s |      19 |   750257 |   532282 |    27949     40 |      621 |      392
1597.68/1598.29	c 1598s |      19 |   750721 |   532682 |    27949     40 |      621 |      392
1600.09/1600.64	c 1600s |      19 |   751158 |   533082 |    27949     40 |      621 |      392
1602.58/1603.15	c 1602s |      19 |   751588 |   533482 |    27949     40 |      621 |      392
1604.78/1605.30	c 1605s |      19 |   752021 |   533882 |    27949     40 |      621 |      392
1606.78/1607.31	c 1607s |      19 |   752465 |   534282 |    27949     40 |      621 |      392
1608.89/1609.47	c 1609s |      19 |   752902 |   534682 |    27949     40 |      621 |      392
1610.99/1611.50	c 1611s |      19 |   753215 |   534982 |    27949     40 |      621 |      392
1613.58/1614.13	c 1613s |      19 |   753657 |   535382 |    27949     40 |      621 |      392
1616.18/1616.73	c 1616s |      19 |   754091 |   535782 |    27949     40 |      621 |      392
1618.58/1619.15	c 1618s |      19 |   754622 |   536282 |    27949     40 |      621 |      392
1620.68/1621.23	c 1620s |      19 |   755108 |   536682 |    27949     40 |      621 |      392
1622.78/1623.31	c 1623s |      19 |   755607 |   537082 |    27949     40 |      621 |      392
1625.08/1625.61	c 1625s |      19 |   756075 |   537482 |    27949     40 |      621 |      392
1627.28/1627.88	c 1627s |      19 |   756521 |   537882 |    27949     40 |      621 |      392
1629.68/1630.22	c 1629s |      19 |   757022 |   538282 |    27949     40 |      621 |      392
1631.89/1632.41	c 1632s |      19 |   757342 |   538582 |    27949     40 |      621 |      392
1634.68/1635.29	c 1635s |      19 |   757767 |   538982 |    27949     41 |      621 |      392
1636.78/1637.35	c 1637s |      19 |   758194 |   539382 |    27949     41 |      621 |      392
1638.98/1639.56	c 1639s |      19 |   758635 |   539782 |    27949     41 |      621 |      392
1641.28/1641.86	c 1641s |      19 |   759513 |   540382 |    27949     41 |      621 |      392
1643.48/1644.07	c 1643s |      19 |   760542 |   541082 |    27949     41 |      621 |      392
1645.88/1646.46	c 1646s |      19 |   761202 |   541682 |    27949     41 |      621 |      392
1648.08/1648.68	c 1648s |      19 |   761888 |   542282 |    27949     41 |      621 |      392
1650.28/1650.84	c 1650s |      19 |   762586 |   542882 |    27949     41 |      621 |      392
1652.79/1653.32	c 1653s |      19 |   763288 |   543482 |    27949     41 |      621 |      392
1655.18/1655.70	c 1655s |      19 |   764043 |   544082 |    27949     41 |      621 |      392
1657.29/1657.82	c 1657s |      19 |   764598 |   544582 |    27949     41 |      621 |      392
1659.39/1659.93	c 1659s |      19 |   765225 |   545082 |    27949     41 |      621 |      392
1661.38/1661.95	c 1661s |      19 |   765826 |   545582 |    27949     41 |      621 |      392
1663.68/1664.27	c 1663s |      19 |   766398 |   546082 |    27949     41 |      621 |      392
1665.68/1666.30	c 1666s |      19 |   766999 |   546582 |    27949     41 |      621 |      392
1667.98/1668.60	c 1668s |      19 |   767591 |   547082 |    27949     41 |      621 |      392
1670.08/1670.67	c 1670s |      19 |   768045 |   547482 |    27949     41 |      621 |      392
1672.38/1672.92	c 1672s |      19 |   768598 |   547982 |    27949     41 |      621 |      392
1674.98/1675.54	c 1675s |      19 |   769141 |   548482 |    27949     41 |      621 |      392
1676.98/1677.58	c 1677s |      19 |   769572 |   548882 |    27949     41 |      621 |      392
1679.07/1679.68	c 1679s |      19 |   770141 |   549382 |    27949     41 |      621 |      392
1681.67/1682.27	c 1681s |      19 |   770724 |   549882 |    27949     41 |      621 |      392
1683.87/1684.48	c 1684s |      19 |   771195 |   550282 |    27949     41 |      621 |      392
1686.17/1686.72	c 1686s |      19 |   771653 |   550682 |    27949     41 |      621 |      392
1688.77/1689.37	c 1689s |      19 |   772212 |   551182 |    27949     41 |      621 |      392
1691.28/1691.83	c 1691s |      19 |   772647 |   551582 |    27949     41 |      621 |      392
1693.37/1693.99	c 1693s |      19 |   773069 |   551982 |    27949     41 |      621 |      392
1695.68/1696.29	c 1696s |      19 |   773512 |   552382 |    27949     41 |      621 |      392
1698.27/1698.88	c 1698s |      19 |   773936 |   552782 |    27949     41 |      621 |      392
1700.87/1701.43	c 1701s |      19 |   774382 |   553182 |    27949     41 |      621 |      392
1703.07/1703.66	c 1703s |      19 |   774829 |   553582 |    27949     41 |      621 |      392
1705.27/1705.81	c 1705s |      19 |   775270 |   553982 |    27949     41 |      621 |      392
1708.47/1709.04	c 1708s |      19 |   775695 |   554382 |    27949     42 |      621 |      392
1710.87/1711.41	c 1711s |      19 |   776227 |   554882 |    27949     42 |      621 |      392
1713.27/1713.89	c 1713s |      19 |   776794 |   555382 |    27949     42 |      621 |      392
1715.67/1716.27	c 1715s |      19 |   777349 |   555882 |    27949     42 |      621 |      392
1717.77/1718.38	c 1718s |      19 |   777772 |   556282 |    27949     42 |      621 |      392
1720.17/1720.76	c 1720s |      19 |   778321 |   556782 |    27949     42 |      621 |      392
1722.67/1723.24	c 1722s |      19 |   778861 |   557282 |    27949     42 |      621 |      392
1724.76/1725.32	c 1725s |      19 |   779308 |   557682 |    27949     42 |      621 |      392
1727.06/1727.69	c 1727s |      19 |   779849 |   558182 |    27949     42 |      621 |      392
1729.26/1729.81	c 1729s |      19 |   780295 |   558582 |    27949     42 |      621 |      392
1731.66/1732.28	c 1732s |      19 |   780817 |   559082 |    27949     42 |      621 |      392
1733.76/1734.35	c 1734s |      19 |   781230 |   559482 |    27949     42 |      621 |      392
1735.86/1736.49	c 1736s |      19 |   781642 |   559882 |    27949     42 |      621 |      392
1738.06/1738.65	c 1738s |      19 |   782237 |   560382 |    27949     42 |      621 |      392
1740.16/1740.77	c 1740s |      19 |   782793 |   560882 |    27949     42 |      621 |      392
1742.66/1743.21	c 1742s |      19 |   783363 |   561382 |    27949     42 |      621 |      392
1744.66/1745.21	c 1744s |      19 |   783826 |   561782 |    27949     42 |      621 |      392
1746.67/1747.25	c 1746s |      19 |   784279 |   562182 |    27949     42 |      621 |      392
1748.67/1749.25	c 1748s |      19 |   784723 |   562582 |    27949     42 |      621 |      392
1750.77/1751.32	c 1751s |      19 |   785165 |   562982 |    27949     42 |      621 |      392
1753.07/1753.66	c 1753s |      19 |   785610 |   563382 |    27949     42 |      621 |      392
1755.47/1756.03	c 1755s |      19 |   786043 |   563782 |    27949     42 |      621 |      392
1757.77/1758.39	c 1758s |      19 |   786605 |   564282 |    27949     42 |      621 |      392
1760.07/1760.69	c 1760s |      19 |   787046 |   564682 |    27949     42 |      621 |      392
1762.57/1763.10	c 1762s |      19 |   787488 |   565082 |    27949     42 |      621 |      392
1764.97/1765.52	c 1765s |      19 |   787925 |   565482 |    27949     42 |      621 |      392
1767.27/1767.87	c 1767s |      19 |   788363 |   565882 |    27949     42 |      621 |      392
1769.66/1770.27	c 1769s |      19 |   788826 |   566282 |    27949     42 |      621 |      392
1772.06/1772.65	c 1772s |      19 |   789256 |   566682 |    27949     42 |      621 |      392
1774.46/1775.09	c 1774s |      19 |   789702 |   567082 |    27949     42 |      621 |      392
1777.17/1777.75	c 1777s |      19 |   790144 |   567482 |    27949     42 |      621 |      392
1779.76/1780.34	c 1780s |      19 |   790565 |   567882 |    27949     42 |      621 |      392
1782.26/1782.88	c 1782s |      19 |   791012 |   568282 |    27949     42 |      621 |      392
1784.77/1785.37	c 1785s |      19 |   791462 |   568682 |    27949     42 |      621 |      392
1787.36/1787.97	c 1787s |      19 |   791921 |   569082 |    27949     42 |      621 |      392
1789.86/1790.43	c 1790s |      19 |   792342 |   569482 |    27949     42 |      621 |      392
1792.26/1792.81	c 1792s |      19 |   792777 |   569882 |    27949     42 |      621 |      392
1794.26/1794.84	c 1794s |      19 |   792985 |   570082 |    27949     43 |      621 |      392
1796.76/1797.32	c 1797s |      19 |   793547 |   570582 |    27949     43 |      621 |      392
1798.76/1799.35	c 1799s |      19 |   793967 |   570982 |    27949     43 |      621 |      392

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-4116661-1466973981/watcher-4116661-1466973981 -o /tmp/evaluation-result-4116661-1466973981/solver-4116661-1466973981 -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-4116661-1466973981.opb 

pid=24094
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.22 2.25 2.19 3/170 24097
/proc/meminfo: memFree=30330932/32872528 swapFree=1541156/1696500
[pid=24097] ppid=24094 vsize=698812 CPUtime=0 cores=1,3,5,7
/proc/24097/stat : 24097 (toysat) R 24094 24097 23447 0 -1 4202496 2607 0 0 0 0 0 0 0 20 0 4 0 30436776 715583488 2456 33554432000 4194304 16246674 140736303023184 140736303022608 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24097/statm: 175215 2464 441 2943 0 172109 0
[pid=24097/tid=24098] ppid=24094 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24098/stat : 24098 (toysat) S 24094 24097 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30436776 733409280 2522 33554432000 4194304 16246674 140736303023184 139916458568944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24097/tid=24099] ppid=24094 vsize=720316 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24099/stat : 24099 (toysat) S 24094 24097 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436776 737603584 2540 33554432000 4194304 16246674 140736303023184 139916448079088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24097/tid=24100] ppid=24094 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24100/stat : 24100 (toysat) S 24094 24097 23447 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30436776 741797888 2555 33554432000 4194304 16246674 140736303023184 139916437605552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.22 2.25 2.19 3/170 24097
/proc/meminfo: memFree=30330932/32872528 swapFree=1541156/1696500
[pid=24097] ppid=24094 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/24097/stat : 24097 (toysat) R 24094 24097 23447 0 -1 4202496 28475 0 0 0 5 4 0 0 20 0 4 0 30436776 1249447936 28262 33554432000 4194304 16246674 140736303023184 140736303022496 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24097/statm: 305041 28262 804 2943 0 301935 0
[pid=24097/tid=24098] ppid=24094 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24098/stat : 24098 (toysat) S 24094 24097 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30436776 1249447936 28262 33554432000 4194304 16246674 140736303023184 139916458568944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24097/tid=24099] ppid=24094 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24099/stat : 24099 (toysat) S 24094 24097 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436776 1249447936 28262 33554432000 4194304 16246674 140736303023184 139916448079088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24097/tid=24100] ppid=24094 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24100/stat : 24100 (toysat) S 24094 24097 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30436776 1249447936 28262 33554432000 4194304 16246674 140736303023184 139916437605552 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.200539 s]
/proc/loadavg: 2.22 2.25 2.19 3/170 24097
/proc/meminfo: memFree=30330932/32872528 swapFree=1541156/1696500
[pid=24097] ppid=24094 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/24097/stat : 24097 (toysat) R 24094 24097 23447 0 -1 4202496 48682 0 0 0 13 6 0 0 20 0 4 0 30436776 1332285440 48469 33554432000 4194304 16246674 140736303023184 140736303022496 6940706 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24097/statm: 325265 48469 845 2943 0 322159 0
[pid=24097/tid=24098] ppid=24094 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24098/stat : 24098 (toysat) S 24094 24097 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30436776 1332285440 48469 33554432000 4194304 16246674 140736303023184 139916458568944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24097/tid=24099] ppid=24094 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24099/stat : 24099 (toysat) S 24094 24097 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436776 1332285440 48469 33554432000 4194304 16246674 140736303023184 139916448079088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24097/tid=24100] ppid=24094 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24100/stat : 24100 (toysat) S 24094 24097 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30436776 1332285440 48469 33554432000 4194304 16246674 140736303023184 139916437605552 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.300493 s]
/proc/loadavg: 2.22 2.25 2.19 3/170 24097
/proc/meminfo: memFree=30330932/32872528 swapFree=1541156/1696500
[pid=24097] ppid=24094 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/24097/stat : 24097 (toysat) R 24094 24097 23447 0 -1 4202496 54470 0 0 0 22 7 0 0 20 0 4 0 30436776 1332285440 54258 33554432000 4194304 16246674 140736303023184 140736303022496 5600539 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24097/statm: 325265 54263 885 2943 0 322159 0
[pid=24097/tid=24098] ppid=24094 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24098/stat : 24098 (toysat) S 24094 24097 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30436776 1332285440 54266 33554432000 4194304 16246674 140736303023184 139916458568944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24097/tid=24099] ppid=24094 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24099/stat : 24099 (toysat) S 24094 24097 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436776 1332285440 54272 33554432000 4194304 16246674 140736303023184 139916448079088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24097/tid=24100] ppid=24094 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24100/stat : 24100 (toysat) S 24094 24097 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30436776 1332285440 54275 33554432000 4194304 16246674 140736303023184 139916437605552 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.700411 s]
/proc/loadavg: 2.22 2.25 2.19 3/170 24097
/proc/meminfo: memFree=30330932/32872528 swapFree=1541156/1696500
[pid=24097] ppid=24094 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/24097/stat : 24097 (toysat) R 24094 24097 23447 0 -1 4202496 108629 0 0 0 54 15 0 0 20 0 4 0 30436776 1332285440 108417 33554432000 4194304 16246674 140736303023184 140736303022496 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24097/statm: 325265 108422 885 2943 0 322159 0
[pid=24097/tid=24098] ppid=24094 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24098/stat : 24098 (toysat) S 24094 24097 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30436776 1332285440 108426 33554432000 4194304 16246674 140736303023184 139916458568944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24097/tid=24099] ppid=24094 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24099/stat : 24099 (toysat) S 24094 24097 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436776 1332285440 108427 33554432000 4194304 16246674 140736303023184 139916448079088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24097/tid=24100] ppid=24094 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24100/stat : 24100 (toysat) S 24094 24097 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30436776 1332285440 108429 33554432000 4194304 16246674 140736303023184 139916437605552 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.5004 s]
/proc/loadavg: 2.22 2.25 2.19 3/183 24114
/proc/meminfo: memFree=29095216/32872528 swapFree=1541156/1696500
[pid=24097] ppid=24094 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/24097/stat : 24097 (toysat) R 24094 24097 23447 0 -1 4202496 197906 0 0 0 121 28 0 0 20 0 4 0 30436776 1344868352 197693 33554432000 4194304 16246674 140736303023184 140736303022496 5602637 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24097/statm: 328337 197693 891 2943 0 325231 0
[pid=24097/tid=24098] ppid=24094 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24098/stat : 24098 (toysat) S 24094 24097 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30436776 1344868352 197693 33554432000 4194304 16246674 140736303023184 139916458568944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24097/tid=24099] ppid=24094 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24099/stat : 24099 (toysat) S 24094 24097 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436776 1344868352 197693 33554432000 4194304 16246674 140736303023184 139916448079088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24097/tid=24100] ppid=24094 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24100/stat : 24100 (toysat) S 24094 24097 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30436776 1344868352 197693 33554432000 4194304 16246674 140736303023184 139916437605552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10042 s]
/proc/loadavg: 2.22 2.25 2.19 3/183 24114
/proc/meminfo: memFree=28470256/32872528 swapFree=1541156/1696500
[pid=24097] ppid=24094 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/24097/stat : 24097 (toysat) R 24094 24097 23447 0 -1 4202496 269525 0 0 0 272 37 0 0 20 0 4 0 30436776 1344868352 269312 33554432000 4194304 16246674 140736303023184 140736303020992 13760266 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24097/statm: 328337 269312 891 2943 0 325231 0
[pid=24097/tid=24098] ppid=24094 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24098/stat : 24098 (toysat) S 24094 24097 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30436776 1344868352 269312 33554432000 4194304 16246674 140736303023184 139916458568944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24097/tid=24099] ppid=24094 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24099/stat : 24099 (toysat) S 24094 24097 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436776 1344868352 269312 33554432000 4194304 16246674 140736303023184 139916448079088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24097/tid=24100] ppid=24094 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24100/stat : 24100 (toysat) S 24094 24097 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30436776 1344868352 269312 33554432000 4194304 16246674 140736303023184 139916437605552 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.3004 s]
/proc/loadavg: 2.28 2.26 2.20 3/183 24114
/proc/meminfo: memFree=28182964/32872528 swapFree=1541156/1696500
[pid=24097] ppid=24094 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/24097/stat : 24097 (toysat) R 24094 24097 23447 0 -1 4202496 269531 0 0 0 592 37 0 0 20 0 4 0 30436776 1344868352 269318 33554432000 4194304 16246674 140736303023184 140736303005056 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24097/statm: 328337 269318 891 2943 0 325231 0
[pid=24097/tid=24098] ppid=24094 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24098/stat : 24098 (toysat) S 24094 24097 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30436776 1344868352 269318 33554432000 4194304 16246674 140736303023184 139916458568944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24097/tid=24099] ppid=24094 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24099/stat : 24099 (toysat) S 24094 24097 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436776 1344868352 269318 33554432000 4194304 16246674 140736303023184 139916448079088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24097/tid=24100] ppid=24094 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24100/stat : 24100 (toysat) S 24094 24097 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30436776 1344868352 269318 33554432000 4194304 16246674 140736303023184 139916437605552 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.26 2.26 2.20 3/183 24115
/proc/meminfo: memFree=28183424/32872528 swapFree=1541156/1696500
[pid=24097] ppid=24094 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/24097/stat : 24097 (toysat) R 24094 24097 23447 0 -1 4202496 269532 0 0 0 1232 37 0 0 20 0 4 0 30436776 1344868352 269319 33554432000 4194304 16246674 140736303023184 140736303005056 13943608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24097/statm: 328337 269319 892 2943 0 325231 0
[pid=24097/tid=24098] ppid=24094 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24098/stat : 24098 (toysat) S 24094 24097 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30436776 1344868352 269319 33554432000 4194304 16246674 140736303023184 139916458568944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24097/tid=24099] ppid=24094 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24099/stat : 24099 (toysat) S 24094 24097 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436776 1344868352 269319 33554432000 4194304 16246674 140736303023184 139916448079088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24097/tid=24100] ppid=24094 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24100/stat : 24100 (toysat) S 24094 24097 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30436776 1344868352 269319 33554432000 4194304 16246674 140736303023184 139916437605552 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.5005 s]
/proc/loadavg: 2.27 2.26 2.20 3/183 24115
/proc/meminfo: memFree=28174088/32872528 swapFree=1541156/1696500
[pid=24097] ppid=24094 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/24097/stat : 24097 (toysat) R 24094 24097 23447 0 -1 4202496 269533 0 0 0 2511 37 0 0 20 0 4 0 30436776 1344868352 269320 33554432000 4194304 16246674 140736303023184 140736303005056 5711688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24097/statm: 328337 269320 893 2943 0 325231 0
[pid=24097/tid=24098] ppid=24094 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24098/stat : 24098 (toysat) S 24094 24097 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30436776 1344868352 269320 33554432000 4194304 16246674 140736303023184 139916458568944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24097/tid=24099] ppid=24094 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24099/stat : 24099 (toysat) S 24094 24097 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436776 1344868352 269320 33554432000 4194304 16246674 140736303023184 139916448079088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24097/tid=24100] ppid=24094 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24100/stat : 24100 (toysat) S 24094 24097 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30436776 1344868352 269320 33554432000 4194304 16246674 140736303023184 139916437605552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.18 2.24 2.19 3/183 24115
/proc/meminfo: memFree=28174092/32872528 swapFree=1541156/1696500
[pid=24097] ppid=24094 vsize=1313348 CPUtime=51.09 cores=1,3,5,7
/proc/24097/stat : 24097 (toysat) R 24094 24097 23447 0 -1 4202496 269533 0 0 0 5071 38 0 0 20 0 4 0 30436776 1344868352 269320 33554432000 4194304 16246674 140736303023184 140736303005056 5721677 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24097/statm: 328337 269320 893 2943 0 325231 0
[pid=24097/tid=24098] ppid=24094 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24098/stat : 24098 (toysat) S 24094 24097 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30436776 1344868352 269320 33554432000 4194304 16246674 140736303023184 139916458568944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24097/tid=24099] ppid=24094 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24099/stat : 24099 (toysat) S 24094 24097 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436776 1344868352 269320 33554432000 4194304 16246674 140736303023184 139916448079088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24097/tid=24100] ppid=24094 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24100/stat : 24100 (toysat) S 24094 24097 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30436776 1344868352 269320 33554432000 4194304 16246674 140736303023184 139916437605552 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.20 2.23 2.19 3/183 24116
/proc/meminfo: memFree=28161936/32872528 swapFree=1541156/1696500
[pid=24097] ppid=24094 vsize=1320516 CPUtime=102.28 cores=1,3,5,7
/proc/24097/stat : 24097 (toysat) R 24094 24097 23447 0 -1 4202496 271228 0 0 0 10190 38 0 0 20 0 4 0 30436776 1352208384 271015 33554432000 4194304 16246674 140736303023184 140736303005056 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24097/statm: 330129 271015 893 2943 0 327023 0
[pid=24097/tid=24098] ppid=24094 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24098/stat : 24098 (toysat) S 24094 24097 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30436776 1352208384 271015 33554432000 4194304 16246674 140736303023184 139916458568944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24097/tid=24099] ppid=24094 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24099/stat : 24099 (toysat) S 24094 24097 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436776 1352208384 271015 33554432000 4194304 16246674 140736303023184 139916448079088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24097/tid=24100] ppid=24094 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24100/stat : 24100 (toysat) S 24094 24097 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30436776 1352208384 271015 33554432000 4194304 16246674 140736303023184 139916437605552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1320516


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

/proc/24097/task/24100/stat : 24100 (toysat) S 24094 24097 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916437605552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1342020

[startup+1302.3 s]
/proc/loadavg: 2.34 2.27 2.20 3/183 24169
/proc/meminfo: memFree=28119632/32872528 swapFree=1541156/1696500
[pid=24097] ppid=24094 vsize=1342020 CPUtime=1301.83 cores=1,3,5,7
/proc/24097/stat : 24097 (toysat) R 24094 24097 23447 0 -1 4202496 277084 0 0 0 130135 48 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 140736303005056 5545784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24097/statm: 335505 276744 893 2943 0 332399 0
[pid=24097/tid=24098] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24098/stat : 24098 (toysat) S 24094 24097 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916458568944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24097/tid=24099] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24099/stat : 24099 (toysat) S 24094 24097 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916448079088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24097/tid=24100] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24100/stat : 24100 (toysat) S 24094 24097 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916437605552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1342020

[startup+1362.3 s]
/proc/loadavg: 2.22 2.25 2.19 3/183 24170
/proc/meminfo: memFree=28118588/32872528 swapFree=1541156/1696500
[pid=24097] ppid=24094 vsize=1342020 CPUtime=1361.82 cores=1,3,5,7
/proc/24097/stat : 24097 (toysat) R 24094 24097 23447 0 -1 4202496 277085 0 0 0 136133 49 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 140736303005056 5546085 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24097/statm: 335505 276744 893 2943 0 332399 0
[pid=24097/tid=24098] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24098/stat : 24098 (toysat) S 24094 24097 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916458568944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24097/tid=24099] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24099/stat : 24099 (toysat) S 24094 24097 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916448079088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24097/tid=24100] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24100/stat : 24100 (toysat) S 24094 24097 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916437605552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1342020

[startup+1422.3 s]
/proc/loadavg: 2.22 2.25 2.19 4/184 24174
/proc/meminfo: memFree=28117836/32872528 swapFree=1541156/1696500
[pid=24097] ppid=24094 vsize=1342020 CPUtime=1421.83 cores=1,3,5,7
/proc/24097/stat : 24097 (toysat) R 24094 24097 23447 0 -1 4202496 277085 0 0 0 142133 50 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 140736303022280 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24097/statm: 335505 276744 893 2943 0 332399 0
[pid=24097/tid=24098] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24098/stat : 24098 (toysat) S 24094 24097 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916458568944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24097/tid=24099] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24099/stat : 24099 (toysat) S 24094 24097 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916448079088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24097/tid=24100] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24100/stat : 24100 (toysat) S 24094 24097 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916437605552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1342020

[startup+1482.3 s]
/proc/loadavg: 2.42 2.29 2.21 3/183 24175
/proc/meminfo: memFree=28119056/32872528 swapFree=1541156/1696500
[pid=24097] ppid=24094 vsize=1342020 CPUtime=1481.8 cores=1,3,5,7
/proc/24097/stat : 24097 (toysat) R 24094 24097 23447 0 -1 4202496 277085 0 0 0 148130 50 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 140736303005056 5677716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24097/statm: 335505 276744 893 2943 0 332399 0
[pid=24097/tid=24098] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24098/stat : 24098 (toysat) S 24094 24097 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916458568944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24097/tid=24099] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24099/stat : 24099 (toysat) S 24094 24097 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916448079088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24097/tid=24100] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24100/stat : 24100 (toysat) S 24094 24097 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916437605552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1342020

[startup+1542.31 s]
/proc/loadavg: 2.25 2.27 2.20 4/183 24177
/proc/meminfo: memFree=28118916/32872528 swapFree=1541156/1696500
[pid=24097] ppid=24094 vsize=1342020 CPUtime=1541.8 cores=1,3,5,7
/proc/24097/stat : 24097 (toysat) R 24094 24097 23447 0 -1 4202496 277085 0 0 0 154130 50 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 140736303005056 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24097/statm: 335505 276744 893 2943 0 332399 0
[pid=24097/tid=24098] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24098/stat : 24098 (toysat) S 24094 24097 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916458568944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24097/tid=24099] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24099/stat : 24099 (toysat) S 24094 24097 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916448079088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24097/tid=24100] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24100/stat : 24100 (toysat) S 24094 24097 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916437605552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1342020

[startup+1602.3 s]
/proc/loadavg: 2.20 2.25 2.19 3/183 24178
/proc/meminfo: memFree=28118616/32872528 swapFree=1541156/1696500
[pid=24097] ppid=24094 vsize=1342020 CPUtime=1601.78 cores=1,3,5,7
/proc/24097/stat : 24097 (toysat) R 24094 24097 23447 0 -1 4202496 277085 0 0 0 160128 50 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 140736303005056 5673210 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24097/statm: 335505 276744 893 2943 0 332399 0
[pid=24097/tid=24098] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24098/stat : 24098 (toysat) S 24094 24097 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916458568944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24097/tid=24099] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24099/stat : 24099 (toysat) S 24094 24097 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916448079088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24097/tid=24100] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24100/stat : 24100 (toysat) S 24094 24097 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916437605552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1342020

[startup+1662.3 s]
/proc/loadavg: 2.22 2.24 2.19 3/183 24179
/proc/meminfo: memFree=28115840/32872528 swapFree=1541156/1696500
[pid=24097] ppid=24094 vsize=1342020 CPUtime=1661.78 cores=1,3,5,7
/proc/24097/stat : 24097 (toysat) R 24094 24097 23447 0 -1 4202496 277085 0 0 0 166127 51 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 140736303005056 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24097/statm: 335505 276744 893 2943 0 332399 0
[pid=24097/tid=24098] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24098/stat : 24098 (toysat) S 24094 24097 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916458568944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24097/tid=24099] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24099/stat : 24099 (toysat) S 24094 24097 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916448079088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24097/tid=24100] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24100/stat : 24100 (toysat) S 24094 24097 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916437605552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1342020

[startup+1722.3 s]
/proc/loadavg: 2.35 2.27 2.20 3/183 24180
/proc/meminfo: memFree=28115424/32872528 swapFree=1541156/1696500
[pid=24097] ppid=24094 vsize=1342020 CPUtime=1721.77 cores=1,3,5,7
/proc/24097/stat : 24097 (toysat) R 24094 24097 23447 0 -1 4202496 277085 0 0 0 172126 51 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 140736303005056 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24097/statm: 335505 276744 893 2943 0 332399 0
[pid=24097/tid=24098] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24098/stat : 24098 (toysat) S 24094 24097 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916458568944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24097/tid=24099] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24099/stat : 24099 (toysat) S 24094 24097 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916448079088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24097/tid=24100] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24100/stat : 24100 (toysat) S 24094 24097 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916437605552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1342020

[startup+1782.3 s]
/proc/loadavg: 2.32 2.28 2.20 4/183 24181
/proc/meminfo: memFree=28115420/32872528 swapFree=1541156/1696500
[pid=24097] ppid=24094 vsize=1342020 CPUtime=1781.76 cores=1,3,5,7
/proc/24097/stat : 24097 (toysat) R 24094 24097 23447 0 -1 4202496 277085 0 0 0 178124 52 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 140736303005056 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24097/statm: 335505 276744 893 2943 0 332399 0
[pid=24097/tid=24098] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24098/stat : 24098 (toysat) S 24094 24097 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916458568944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24097/tid=24099] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24099/stat : 24099 (toysat) S 24094 24097 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916448079088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24097/tid=24100] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24100/stat : 24100 (toysat) S 24094 24097 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916437605552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1342020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.23 2.26 2.20 3/183 24181
/proc/meminfo: memFree=28115256/32872528 swapFree=1541156/1696500
[pid=24097] ppid=24094 vsize=1342020 CPUtime=1800.06 cores=1,3,5,7
/proc/24097/stat : 24097 (toysat) R 24094 24097 23447 0 -1 4202496 277085 0 0 0 179954 52 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 140736303005056 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24097/statm: 335505 276744 893 2943 0 332399 0
[pid=24097/tid=24098] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24098/stat : 24098 (toysat) S 24094 24097 23447 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916458568944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24097/tid=24099] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24099/stat : 24099 (toysat) S 24094 24097 23447 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916448079088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24097/tid=24100] ppid=24094 vsize=1342020 CPUtime=0 cores=1,3,5,7
/proc/24097/task/24100/stat : 24100 (toysat) S 24094 24097 23447 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30436776 1374228480 276744 33554432000 4194304 16246674 140736303023184 139916437605552 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) 1342020

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.55
CPU system time (s): 0.52492
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 1342020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.52492
maximum resident set size= 1106976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277085
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= 399
involuntary context switches= 1958

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.34234 second user time and 7.17491 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-26 22:46:21
IDJOB=4116661
IDBENCH=109498
IDSOLVER=2542
FILE ID=node125/4116661-1466973981
RUNJOBID= node125-1466966776-23464
PBS_JOBID= 19976375
Free space on /tmp= 71740 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116661-1466973981/watcher-4116661-1466973981 -o /tmp/evaluation-result-4116661-1466973981/solver-4116661-1466973981 -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-4116661-1466973981.opb

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

MD5SUM BENCH= f982646c7ec329d9f670a4f55dd3af78
RANDOM SEED=795465362

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:        30331304 kB
Buffers:           43588 kB
Cached:            96460 kB
SwapCached:         1736 kB
Active:            67316 kB
Inactive:          75408 kB
Active(anon):       4876 kB
Inactive(anon):      448 kB
Active(file):      62440 kB
Inactive(file):    74960 kB
Unevictable:     1696500 kB
Mlocked:         1541156 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             33564 kB
Writeback:             0 kB
AnonPages:       1699012 kB
Mapped:             7212 kB
Shmem:                 0 kB
Slab:             568696 kB
SReclaimable:      12032 kB
SUnreclaim:       556664 kB
KernelStack:        1384 kB
PageTables:         7416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1793352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 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-26 23:16:22