Trace number 4117197

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size80-round23-3.opb
MD5SUM81aabf67e30e32a79ceeaaf287da6f47
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:48:29+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-4117197-1466974109.opb"]
0.00/0.01	c use --random-gen="3038333933 2511504897 3307022778 3628425948 823277278 2184074785 2349593205 2028031770 2372817940 4118291017 1226191278 3193038799 3424037067 3776826307 408568117 1487224895 20710681 1050921167 3325040360 216538730 3747155872 1610464052 1422213505 1279919364 904654790 3190971819 1274963541 2124814511 276399518 2759302487 4064484660 3524346366 3376141514 96962628 53249417 329449308 2353380301 4000799391 1572194736 3045658881 2237853445 3466374443 2269444639 2964171269 3402050661 3987783580 3418811605 2365410536 3206760119 4111822088 1753451050 762882123 3526075008 1750442532 1613822399 965343897 3855181371 4082984366 1186256480 3494472740 540670569 3089574510 233578763 1624942332 1604061570 2547288311 1726871536 1945786822 3407542596 341569708 1675366397 1949341680 787449487 1459339537 3202020566 558656696 2450443281 1654971009 996205787 3702513255 3495466031 233844883 3042834418 25208697 2667315249 3904346059 1475015412 1255671635 1400364973 1048255886 2026766034 224300977 2164560132 114728798 98983387 3426520146 3057541713 2358228670 661732998 3348499217 3541367781 2973054982 2169259271 1411817010 2790937690 3942066548 77915809 104393546 1769924439 2600726827 584783094 2332033302 1946153277 478088597 3220276428 4279549614 1285848527 1716000760 4240095101 3366926858 3827366079 1017057116 3534285749 1265228402 496968908 1776873538 3934883819 2839637011 2995331564 1710019119 1047457793 4040371731 1523004894 3488708312 1336937972 1269479568 3657128724 4252409745 310853661 1589033639 2413222970 767875879 3739018162 1299479812 1178553998 884248153 2031157323 3896772449 329333144 1043813179 2849252115 3356174113 2565443228 662311960 178396525 560846995 307122332 3089029205 2931389003 3721556058 3349511044 1126062343 1212800100 359511712 327543312 1599906022 3994968932 1322417391 4103853118 1810866665 1113836328 3522541356 1113375526 2534758063 775626514 2909257194 3433624127 2474587761 1656174302 3227928999 1500303528 1846841447 1997432207 4144108376 1375316143 2966580648 1480426396 1465963125 2511260297 897398112 194029849 2615252543 1072728434 3360176459 2086937074 3268574551 3391104143 3513747390 1720384463 1489928542 826566322 3819958651 35443712 3240930237 3739314130 585906289 3865075669 3893312601 1743096016 2203062194 856297589 2388578710 3427245230 2785600631 678820584 1929579536 2325534775 3860960192 495325831 730577394 3145965752 2549662273 2770940105 1924611033 2435323845 429942476 2007348323 2288323685 1093030681 1868889051 2957527610 1292351789 3652707681 2285040550 2402424194 406220200 1528207060 184047250 26619263 1859301952 2600862727 4108247554 4285289758 4254769143 978672885 761345183 3276683826 2308347407 3198051959 2016856347 2696560819 2765355095 191784677 3476863320 1354266160 3780776834 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9456
0.19/0.28	c Solving starts ...
0.19/0.28	c ============================[ Search Statistics ]============================
0.19/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.28	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      600 |        0
0.29/0.36	c  0.1s |       1 |      559 |      100 |     4565      0 |      600 |      322
0.39/0.45	c  0.2s |       2 |     1282 |      250 |     5022      0 |      600 |      322
0.59/0.61	c  0.3s |       3 |     3367 |      475 |     5525      0 |      601 |      322
0.79/0.84	c  0.6s |       4 |     6887 |      813 |     6078      0 |      602 |      322
1.48/1.58	c  1.3s |       5 |     8360 |     1320 |     6686      0 |      602 |      322
2.08/2.13	c  1.9s |       6 |    12550 |     2081 |     8091      0 |      602 |      322
3.08/3.19	c  2.9s |       7 |    15722 |     3223 |     8901      0 |      602 |      322
4.29/4.37	c  4.1s |       8 |    22913 |     4936 |     9792      0 |      602 |      322
6.09/6.19	c  5.9s |       9 |    37014 |     7506 |    10772      0 |      602 |      322
8.19/8.27	c  8.0s |       9 |    46030 |     9906 |    10772      0 |      602 |      322
10.39/10.41	c 10.1s |       9 |    47499 |    11106 |    10772      0 |      602 |      322
10.89/10.93	c 10.7s |      10 |    47896 |    11361 |    11850      0 |      602 |      322
13.09/13.13	c 12.8s |      10 |    51214 |    12761 |    11850      0 |      602 |      322
15.09/15.13	c 14.9s |      10 |    52370 |    13861 |    11850      0 |      602 |      322
17.09/17.14	c 16.9s |      10 |    53469 |    14861 |    11850      0 |      602 |      322
19.09/19.16	c 18.9s |      10 |    54453 |    15761 |    11850      1 |      602 |      322
21.09/21.16	c 20.9s |      10 |    55398 |    16661 |    11850      1 |      602 |      322
22.28/22.32	c 22.0s |      11 |    55914 |    17144 |    13036      1 |      602 |      322
24.29/24.37	c 24.1s |      11 |    66344 |    19444 |    13036      1 |      602 |      322
26.38/26.47	c 26.2s |      11 |    68016 |    20844 |    13036      1 |      602 |      322
28.38/28.48	c 28.2s |      11 |    69498 |    21944 |    13036      1 |      602 |      322
30.48/30.50	c 30.2s |      11 |    70823 |    23044 |    13036      1 |      602 |      322
32.48/32.54	c 32.3s |      11 |    71965 |    24044 |    13036      1 |      602 |      322
34.58/34.67	c 34.4s |      11 |    72998 |    24944 |    13036      2 |      602 |      322
36.39/36.45	c 36.2s |      12 |    74013 |    25819 |    14340      2 |      602 |      322
38.38/38.47	c 38.2s |      12 |    77292 |    27319 |    14340      2 |      602 |      322
40.48/40.57	c 40.3s |      12 |    79213 |    28819 |    14340      2 |      602 |      322
42.58/42.65	c 42.4s |      12 |    81407 |    30419 |    14340      2 |      602 |      322
44.68/44.72	c 44.4s |      12 |    82999 |    31619 |    14340      2 |      602 |      322
46.68/46.74	c 46.5s |      12 |    84547 |    32819 |    14340      2 |      602 |      322
49.18/49.22	c 48.9s |      12 |    85905 |    33919 |    14340      3 |      602 |      322
51.28/51.39	c 51.1s |      12 |    87138 |    34919 |    14340      3 |      602 |      322
53.48/53.53	c 53.3s |      12 |    88349 |    35919 |    14340      3 |      602 |      322
55.48/55.55	c 55.3s |      12 |    89472 |    36819 |    14340      3 |      602 |      322
57.58/57.64	c 57.4s |      12 |    90358 |    37619 |    14340      3 |      602 |      322
59.78/59.83	c 59.6s |      12 |    91427 |    38519 |    14340      3 |      602 |      322
60.58/60.61	c 60.3s |      13 |    91819 |    38832 |    15775      3 |      602 |      322
62.68/62.76	c 62.5s |      13 |   102506 |    40832 |    15775      3 |      602 |      322
64.78/64.84	c 64.6s |      13 |   106827 |    42032 |    15775      4 |      602 |      322
66.78/66.85	c 66.6s |      13 |   108534 |    43332 |    15775      4 |      602 |      322
68.88/68.99	c 68.7s |      13 |   113301 |    44932 |    15775      4 |      602 |      322
71.08/71.17	c 70.9s |      13 |   115524 |    46332 |    15775      4 |      602 |      322
73.18/73.22	c 72.9s |      13 |   116843 |    47432 |    15775      4 |      602 |      322
75.18/75.24	c 75.0s |      13 |   119691 |    48532 |    15775      4 |      602 |      322
77.18/77.28	c 77.0s |      13 |   120978 |    49532 |    15775      4 |      602 |      322
79.28/79.35	c 79.1s |      13 |   123234 |    50632 |    15775      4 |      602 |      322
81.28/81.36	c 81.1s |      13 |   124674 |    51732 |    15775      4 |      602 |      322
83.38/83.43	c 83.2s |      13 |   125759 |    52632 |    15775      5 |      602 |      322
85.38/85.46	c 85.2s |      13 |   127646 |    53832 |    15775      5 |      602 |      322
87.57/87.66	c 87.4s |      13 |   128994 |    55032 |    15775      5 |      602 |      322
89.77/89.80	c 89.5s |      13 |   130201 |    56132 |    15775      5 |      602 |      322
91.97/92.03	c 91.8s |      13 |   131505 |    57232 |    15775      5 |      602 |      322
93.97/94.07	c 93.8s |      13 |   132392 |    58032 |    17353      5 |      602 |      322
94.97/95.08	c 94.8s |      14 |   132742 |    58352 |    17353      5 |      602 |      322
96.98/97.09	c 96.8s |      14 |   145647 |    60852 |    17353      5 |      602 |      322
99.08/99.19	c 98.9s |      14 |   150366 |    63152 |    17353      5 |      602 |      322
101.17/101.21	c  100s |      14 |   151646 |    64152 |    17353      6 |      602 |      322
103.27/103.34	c  103s |      14 |   154304 |    65652 |    17353      6 |      602 |      322
105.37/105.50	c  105s |      14 |   158084 |    67452 |    17353      6 |      602 |      322
107.57/107.62	c  107s |      14 |   159487 |    68552 |    17353      6 |      602 |      322
109.57/109.67	c  109s |      14 |   160730 |    69552 |    17353      6 |      602 |      322
111.77/111.88	c  111s |      14 |   161861 |    70452 |    17353      6 |      602 |      322
113.87/113.94	c  113s |      14 |   162810 |    71252 |    17353      6 |      602 |      322
115.97/116.06	c  115s |      14 |   163902 |    72152 |    17353      6 |      602 |      322
118.27/118.37	c  118s |      14 |   164831 |    72952 |    17353      6 |      602 |      322
120.37/120.40	c  120s |      14 |   165636 |    73652 |    17353      6 |      602 |      322
122.57/122.67	c  122s |      14 |   166299 |    74252 |    17353      7 |      602 |      322
124.67/124.78	c  124s |      14 |   168052 |    75452 |    17353      7 |      602 |      322
126.77/126.86	c  126s |      14 |   170539 |    76652 |    17353      7 |      602 |      322
128.97/129.01	c  128s |      14 |   171657 |    77552 |    17353      7 |      602 |      322
130.98/131.09	c  130s |      14 |   172602 |    78352 |    17353      7 |      602 |      322
133.28/133.34	c  133s |      14 |   173563 |    79152 |    17353      7 |      602 |      322
135.57/135.62	c  135s |      14 |   174432 |    79852 |    17353      7 |      602 |      322
137.58/137.64	c  137s |      14 |   175128 |    80452 |    17353      7 |      602 |      322
139.57/139.69	c  139s |      14 |   175679 |    80952 |    17353      7 |      602 |      322
141.57/141.69	c  141s |      14 |   176553 |    81652 |    17353      7 |      602 |      322
143.57/143.69	c  143s |      14 |   177716 |    82452 |    17353      7 |      602 |      322
145.87/145.96	c  145s |      14 |   178373 |    83052 |    17353      7 |      602 |      322
147.97/148.07	c  147s |      14 |   179072 |    83652 |    17353      7 |      602 |      322
150.37/150.40	c  150s |      14 |   179734 |    84252 |    17353      7 |      602 |      322
152.47/152.57	c  152s |      14 |   180322 |    84752 |    17353      8 |      602 |      322
154.57/154.69	c  154s |      14 |   181152 |    85452 |    17353      8 |      602 |      322
156.67/156.78	c  156s |      14 |   181990 |    86152 |    17353      8 |      602 |      322
158.67/158.79	c  158s |      14 |   183040 |    86952 |    17353      8 |      602 |      322
160.67/160.71	c  160s |      15 |   183946 |    87632 |    19089      8 |      602 |      322
162.67/162.75	c  162s |      15 |   187473 |    89132 |    19089      8 |      602 |      322
164.87/164.91	c  164s |      15 |   189507 |    90632 |    19089      8 |      602 |      322
166.97/167.09	c  166s |      15 |   191004 |    91932 |    19089      8 |      602 |      322
169.07/169.11	c  168s |      15 |   192329 |    93032 |    19089      8 |      602 |      322
171.07/171.12	c  170s |      15 |   193460 |    94032 |    19089      8 |      602 |      322
173.07/173.19	c  172s |      15 |   194608 |    95032 |    19089      8 |      602 |      322
175.17/175.28	c  175s |      15 |   195644 |    95932 |    19089      8 |      602 |      322
177.27/177.36	c  177s |      15 |   196835 |    96632 |    19089      9 |      602 |      322
179.37/179.47	c  179s |      15 |   200711 |    98432 |    19089      9 |      602 |      322
181.46/181.59	c  181s |      15 |   202224 |    99632 |    19089      9 |      602 |      322
183.56/183.69	c  183s |      15 |   203455 |   100632 |    19089      9 |      602 |      322
185.66/185.72	c  185s |      15 |   204645 |   101632 |    19089      9 |      602 |      322
187.76/187.84	c  187s |      15 |   205699 |   102532 |    19089      9 |      602 |      322
189.96/190.03	c  189s |      15 |   206580 |   103332 |    19089      9 |      602 |      322
192.06/192.15	c  191s |      15 |   207628 |   104232 |    19089      9 |      602 |      322
194.26/194.35	c  194s |      15 |   208699 |   105132 |    19089      9 |      602 |      322
196.46/196.53	c  196s |      15 |   209620 |   105932 |    19089      9 |      602 |      322
198.46/198.55	c  198s |      15 |   211425 |   106832 |    19089      9 |      602 |      322
200.66/200.70	c  200s |      15 |   213366 |   107832 |    19089     10 |      602 |      322
202.76/202.88	c  202s |      15 |   215273 |   109132 |    19089     10 |      602 |      322
204.86/204.91	c  204s |      15 |   217339 |   110532 |    19089     10 |      602 |      322
206.86/206.91	c  206s |      15 |   218645 |   111632 |    19089     10 |      602 |      322
208.96/209.01	c  208s |      15 |   219910 |   112732 |    19089     10 |      602 |      322
211.06/211.14	c  210s |      15 |   221066 |   113732 |    19089     10 |      602 |      322
213.06/213.17	c  212s |      15 |   222027 |   114632 |    19089     10 |      602 |      322
215.26/215.37	c  215s |      15 |   223034 |   115532 |    19089     10 |      602 |      322
217.55/217.64	c  217s |      15 |   223887 |   116332 |    19089     10 |      602 |      322
219.65/219.77	c  219s |      15 |   224771 |   117132 |    19089     10 |      602 |      322
221.75/221.88	c  221s |      15 |   225535 |   117832 |    19089     10 |      602 |      322
224.46/224.54	c  224s |      15 |   226308 |   118532 |    19089     11 |      602 |      322
226.55/226.65	c  226s |      15 |   227321 |   119432 |    19089     11 |      602 |      322
228.75/228.88	c  228s |      15 |   228279 |   120332 |    19089     11 |      602 |      322
230.75/230.88	c  230s |      15 |   229183 |   121132 |    19089     11 |      602 |      322
232.85/232.90	c  232s |      15 |   230751 |   122232 |    19089     11 |      602 |      322
234.95/235.06	c  234s |      15 |   231988 |   123132 |    19089     11 |      602 |      322
237.15/237.21	c  236s |      15 |   233153 |   124132 |    19089     11 |      602 |      322
239.25/239.34	c  239s |      15 |   234454 |   125132 |    19089     11 |      602 |      322
241.35/241.47	c  241s |      15 |   235743 |   126232 |    19089     11 |      602 |      322
243.55/243.69	c  243s |      15 |   236934 |   127232 |    19089     11 |      602 |      322
245.75/245.85	c  245s |      15 |   238074 |   128232 |    19089     11 |      602 |      322
247.85/247.92	c  247s |      15 |   239063 |   129132 |    19089     11 |      602 |      322
249.95/250.06	c  249s |      15 |   239937 |   129932 |    19089     12 |      602 |      322
251.96/252.09	c  251s |      15 |   240989 |   130932 |    20998     12 |      602 |      322
253.35/253.43	c  253s |      16 |   241627 |   131552 |    20998     12 |      602 |      322
255.45/255.50	c  255s |      16 |   247704 |   133052 |    20998     12 |      602 |      322
257.46/257.52	c  257s |      16 |   249285 |   134252 |    20998     12 |      602 |      322
259.45/259.56	c  259s |      16 |   250407 |   135152 |    20998     12 |      602 |      322
261.55/261.62	c  261s |      16 |   251382 |   135952 |    20998     12 |      602 |      322
263.65/263.72	c  263s |      16 |   252430 |   136852 |    20998     12 |      602 |      322
265.65/265.75	c  265s |      16 |   253338 |   137652 |    20998     12 |      602 |      322
267.75/267.83	c  267s |      16 |   254275 |   138452 |    20998     12 |      602 |      322
269.95/270.00	c  269s |      16 |   255202 |   139252 |    20998     12 |      602 |      322
272.15/272.29	c  272s |      16 |   255987 |   139952 |    20998     12 |      602 |      322
274.35/274.41	c  274s |      16 |   256628 |   140552 |    20998     12 |      602 |      322
276.35/276.46	c  276s |      16 |   257278 |   141152 |    20998     12 |      602 |      322
278.55/278.61	c  278s |      16 |   258064 |   141852 |    20998     12 |      602 |      322
280.65/280.73	c  280s |      16 |   258856 |   142552 |    20998     12 |      602 |      322
282.85/282.96	c  282s |      16 |   259541 |   143152 |    20998     13 |      602 |      322
285.15/285.21	c  284s |      16 |   260444 |   143952 |    20998     13 |      602 |      322
287.25/287.35	c  287s |      16 |   261225 |   144652 |    20998     13 |      602 |      322
289.35/289.48	c  289s |      16 |   261891 |   145252 |    20998     13 |      602 |      322
291.55/291.68	c  291s |      16 |   262544 |   145852 |    20998     13 |      602 |      322
293.75/293.86	c  293s |      16 |   263198 |   146452 |    20998     13 |      602 |      322
295.85/295.98	c  295s |      16 |   263861 |   147052 |    20998     13 |      602 |      322
298.04/298.18	c  297s |      16 |   264515 |   147652 |    20998     13 |      602 |      322
300.14/300.21	c  299s |      16 |   265062 |   148152 |    20998     13 |      602 |      322
302.44/302.50	c  302s |      16 |   265719 |   148752 |    20998     13 |      602 |      322
304.44/304.54	c  304s |      16 |   266246 |   149252 |    20998     13 |      602 |      322
306.44/306.58	c  306s |      16 |   266797 |   149752 |    20998     13 |      602 |      322
308.44/308.58	c  308s |      16 |   267329 |   150252 |    20998     13 |      602 |      322
310.54/310.67	c  310s |      16 |   267854 |   150752 |    20998     13 |      602 |      322
312.84/312.97	c  312s |      16 |   268509 |   151352 |    20998     13 |      602 |      322
315.04/315.17	c  314s |      16 |   269148 |   151952 |    20998     13 |      602 |      322
317.44/317.55	c  317s |      16 |   269790 |   152552 |    20998     13 |      602 |      322
319.84/319.96	c  319s |      16 |   270432 |   153152 |    20998     13 |      602 |      322
322.24/322.40	c  322s |      16 |   271079 |   153752 |    20998     13 |      602 |      322
324.44/324.56	c  324s |      16 |   271625 |   154252 |    20998     13 |      602 |      322
327.34/327.47	c  327s |      16 |   272174 |   154752 |    20998     14 |      602 |      322
329.63/329.71	c  329s |      16 |   272812 |   155352 |    20998     14 |      602 |      322
331.73/331.89	c  331s |      16 |   273463 |   155952 |    20998     14 |      602 |      322
334.23/334.34	c  334s |      16 |   274092 |   156552 |    20998     14 |      602 |      322
336.43/336.55	c  336s |      16 |   274642 |   157052 |    20998     14 |      602 |      322
338.43/338.57	c  338s |      16 |   275314 |   157652 |    20998     14 |      602 |      322
340.63/340.76	c  340s |      16 |   275979 |   158252 |    20998     14 |      602 |      322
342.73/342.89	c  342s |      16 |   276656 |   158852 |    20998     14 |      602 |      322
345.13/345.25	c  344s |      16 |   277328 |   159452 |    20998     14 |      602 |      322
347.13/347.28	c  347s |      16 |   277979 |   160052 |    20998     14 |      602 |      322
349.23/349.31	c  349s |      16 |   278564 |   160552 |    20998     14 |      602 |      322
351.43/351.54	c  351s |      16 |   279107 |   161052 |    20998     14 |      602 |      322
353.73/353.80	c  353s |      16 |   279645 |   161552 |    20998     14 |      602 |      322
355.93/356.04	c  355s |      16 |   280177 |   162052 |    20998     14 |      602 |      322
358.13/358.22	c  357s |      16 |   280739 |   162552 |    20998     14 |      602 |      322
360.34/360.41	c  360s |      16 |   281278 |   163052 |    20998     14 |      602 |      322
362.64/362.79	c  362s |      16 |   281820 |   163552 |    20998     14 |      602 |      322
364.74/364.83	c  364s |      16 |   282268 |   163952 |    20998     14 |      602 |      322
367.14/367.24	c  366s |      16 |   282805 |   164452 |    20998     14 |      602 |      322
369.24/369.37	c  369s |      16 |   283248 |   164852 |    20998     14 |      602 |      322
371.64/371.75	c  371s |      16 |   283792 |   165352 |    20998     14 |      602 |      322
373.83/373.96	c  373s |      16 |   284238 |   165752 |    20998     14 |      602 |      322
376.13/376.20	c  375s |      16 |   284652 |   166152 |    20998     14 |      602 |      322
378.33/378.41	c  378s |      16 |   285471 |   166752 |    20998     14 |      602 |      322
380.33/380.48	c  380s |      16 |   286152 |   167252 |    20998     15 |      602 |      322
382.33/382.48	c  382s |      16 |   287078 |   168052 |    20998     15 |      602 |      322
384.63/384.70	c  384s |      16 |   287944 |   168852 |    20998     15 |      602 |      322
386.83/386.99	c  386s |      16 |   289019 |   169752 |    20998     15 |      602 |      322
388.93/389.09	c  388s |      16 |   289691 |   170352 |    20998     15 |      602 |      322
391.23/391.36	c  391s |      16 |   290331 |   170952 |    20998     15 |      602 |      322
393.63/393.71	c  393s |      16 |   290984 |   171552 |    20998     15 |      602 |      322
395.83/395.90	c  395s |      16 |   291532 |   172052 |    20998     15 |      602 |      322
397.93/398.04	c  397s |      16 |   292232 |   172652 |    20998     15 |      602 |      322
399.93/400.07	c  399s |      16 |   292889 |   173252 |    20998     15 |      602 |      322
402.13/402.24	c  401s |      16 |   293546 |   173852 |    20998     15 |      602 |      322
404.23/404.39	c  404s |      16 |   294204 |   174452 |    20998     15 |      602 |      322
406.33/406.45	c  406s |      16 |   294881 |   175052 |    20998     15 |      602 |      322
408.33/408.48	c  408s |      16 |   295408 |   175552 |    20998     15 |      602 |      322
410.83/410.90	c  410s |      16 |   296069 |   176152 |    20998     15 |      602 |      322
413.13/413.27	c  412s |      16 |   296724 |   176752 |    20998     15 |      602 |      322
415.42/415.54	c  415s |      16 |   297684 |   177352 |    20998     15 |      602 |      322
417.42/417.55	c  417s |      16 |   298558 |   178052 |    20998     15 |      602 |      322
419.52/419.67	c  419s |      16 |   299225 |   178652 |    20998     15 |      602 |      322
421.82/421.91	c  421s |      16 |   299839 |   179152 |    20998     16 |      602 |      322
424.02/424.14	c  423s |      16 |   300776 |   179952 |    20998     16 |      602 |      322
426.32/426.45	c  426s |      16 |   301573 |   180652 |    20998     16 |      602 |      322
428.52/428.64	c  428s |      16 |   302248 |   181252 |    20998     16 |      602 |      322
430.82/430.91	c  430s |      16 |   303035 |   181952 |    20998     16 |      602 |      322
433.02/433.19	c  432s |      16 |   303847 |   182652 |    20998     16 |      602 |      322
435.42/435.57	c  435s |      16 |   304507 |   183252 |    20998     16 |      602 |      322
437.72/437.85	c  437s |      16 |   305164 |   183852 |    20998     16 |      602 |      322
439.82/439.94	c  439s |      16 |   305828 |   184452 |    20998     16 |      602 |      322
442.02/442.12	c  441s |      16 |   306481 |   185052 |    20998     16 |      602 |      322
444.12/444.21	c  443s |      16 |   307134 |   185652 |    20998     16 |      602 |      322
446.42/446.55	c  446s |      16 |   307816 |   186252 |    20998     16 |      602 |      322
448.42/448.56	c  448s |      16 |   308381 |   186752 |    20998     16 |      602 |      322
450.72/450.80	c  450s |      16 |   308926 |   187252 |    20998     16 |      602 |      322
453.12/453.24	c  452s |      16 |   309475 |   187752 |    20998     16 |      602 |      322
455.42/455.60	c  455s |      16 |   310033 |   188252 |    20998     16 |      602 |      322
457.52/457.62	c  457s |      16 |   310465 |   188652 |    20998     16 |      602 |      322
459.72/459.81	c  459s |      16 |   310901 |   189052 |    20998     16 |      602 |      322
461.72/461.84	c  461s |      16 |   311347 |   189452 |    20998     16 |      602 |      322
463.82/463.91	c  463s |      16 |   311791 |   189852 |    20998     16 |      602 |      322
466.11/466.25	c  465s |      16 |   312397 |   190352 |    20998     16 |      602 |      322
468.51/468.63	c  468s |      16 |   313059 |   190952 |    20998     16 |      602 |      322
470.61/470.71	c  470s |      16 |   313491 |   191352 |    20998     17 |      602 |      322
472.81/472.91	c  472s |      16 |   314142 |   191952 |    20998     17 |      602 |      322
475.12/475.23	c  474s |      16 |   314948 |   192652 |    20998     17 |      602 |      322
477.43/477.51	c  477s |      16 |   315616 |   193252 |    20998     17 |      602 |      322
479.82/479.91	c  479s |      16 |   316257 |   193852 |    20998     17 |      602 |      322
482.12/482.26	c  481s |      16 |   316909 |   194452 |    20998     17 |      602 |      322
484.32/484.46	c  484s |      16 |   317457 |   194952 |    20998     17 |      602 |      322
486.42/486.56	c  486s |      16 |   317991 |   195452 |    20998     17 |      602 |      322
488.62/488.71	c  488s |      16 |   318539 |   195952 |    20998     17 |      602 |      322
490.72/490.85	c  490s |      16 |   319081 |   196452 |    23098     17 |      602 |      322
493.22/493.30	c  493s |      16 |   319755 |   197052 |    23098     17 |      602 |      322
494.72/494.88	c  494s |      17 |   320182 |   197432 |    23098     17 |      602 |      322
496.82/496.95	c  496s |      17 |   329006 |   199832 |    23098     17 |      602 |      322
498.92/499.06	c  498s |      17 |   331028 |   201232 |    23098     17 |      602 |      322
501.01/501.17	c  500s |      17 |   333882 |   202832 |    23098     17 |      602 |      322
503.11/503.21	c  502s |      17 |   335169 |   203932 |    23098     17 |      602 |      322
505.12/505.29	c  505s |      17 |   336205 |   204832 |    23098     17 |      602 |      322
507.22/507.39	c  507s |      17 |   336876 |   205432 |    23098     18 |      602 |      322
509.32/509.45	c  509s |      17 |   337934 |   206332 |    23098     18 |      602 |      322
511.62/511.73	c  511s |      17 |   338910 |   207132 |    23098     18 |      602 |      322
513.61/513.77	c  513s |      17 |   339590 |   207732 |    23098     18 |      602 |      322
515.81/515.92	c  515s |      17 |   341014 |   208832 |    23098     18 |      602 |      322
517.81/517.95	c  517s |      17 |   342243 |   209832 |    23098     18 |      602 |      322
520.01/520.17	c  519s |      17 |   343355 |   210732 |    23098     18 |      602 |      322
522.11/522.28	c  522s |      17 |   344592 |   211732 |    23098     18 |      602 |      322
524.21/524.34	c  524s |      17 |   345753 |   212632 |    23098     18 |      602 |      322
526.21/526.35	c  526s |      17 |   346609 |   213332 |    23098     18 |      602 |      322
528.21/528.38	c  528s |      17 |   347406 |   214032 |    23098     18 |      602 |      322
530.31/530.40	c  530s |      17 |   348225 |   214732 |    23098     18 |      602 |      322
532.31/532.42	c  532s |      17 |   349054 |   215432 |    23098     18 |      602 |      322
534.61/534.76	c  534s |      17 |   349997 |   216232 |    23098     18 |      602 |      322
536.60/536.76	c  536s |      17 |   350554 |   216732 |    23098     18 |      602 |      322
538.70/538.83	c  538s |      17 |   351107 |   217232 |    23098     18 |      602 |      322
540.90/541.05	c  540s |      17 |   351661 |   217732 |    23098     18 |      602 |      322
543.10/543.27	c  542s |      17 |   352220 |   218232 |    23098     18 |      602 |      322
545.30/545.41	c  545s |      17 |   352658 |   218632 |    23098     19 |      602 |      322
547.50/547.69	c  547s |      17 |   353317 |   219232 |    23098     19 |      602 |      322
549.70/549.82	c  549s |      17 |   354017 |   219832 |    23098     19 |      602 |      322
552.00/552.14	c  551s |      17 |   354868 |   220532 |    23098     19 |      602 |      322
554.41/554.53	c  554s |      17 |   355558 |   221132 |    23098     19 |      602 |      322
556.61/556.75	c  556s |      17 |   356020 |   221532 |    23098     19 |      602 |      322
558.60/558.75	c  558s |      17 |   356493 |   221932 |    23098     19 |      602 |      322
560.80/560.90	c  560s |      17 |   357061 |   222432 |    23098     19 |      602 |      322
563.01/563.10	c  562s |      17 |   357702 |   223032 |    23098     19 |      602 |      322
565.21/565.34	c  565s |      17 |   358376 |   223632 |    23098     19 |      602 |      322
567.41/567.58	c  567s |      17 |   359070 |   224232 |    23098     19 |      602 |      322
569.51/569.67	c  569s |      17 |   360033 |   225032 |    23098     19 |      602 |      322
571.81/571.90	c  571s |      17 |   360842 |   225732 |    23098     19 |      602 |      322
573.90/574.05	c  573s |      17 |   361700 |   226432 |    23098     19 |      602 |      322
576.00/576.13	c  575s |      17 |   362552 |   227132 |    23098     19 |      602 |      322
578.20/578.38	c  578s |      17 |   363536 |   227932 |    23098     19 |      602 |      322
580.30/580.41	c  580s |      17 |   364213 |   228532 |    23098     19 |      602 |      322
582.30/582.42	c  582s |      17 |   364891 |   229132 |    23098     19 |      602 |      322
584.30/584.42	c  584s |      17 |   365464 |   229632 |    23098     19 |      602 |      322
586.50/586.64	c  586s |      17 |   366158 |   230232 |    23098     19 |      602 |      322
588.70/588.89	c  588s |      17 |   366857 |   230832 |    23098     19 |      602 |      322
590.81/590.97	c  590s |      17 |   367428 |   231332 |    23098     19 |      602 |      322
593.10/593.24	c  592s |      17 |   367860 |   231732 |    23098     20 |      602 |      322
595.21/595.35	c  595s |      17 |   368512 |   232332 |    23098     20 |      602 |      322
597.50/597.63	c  597s |      17 |   369308 |   233032 |    23098     20 |      602 |      322
599.61/599.73	c  599s |      17 |   370020 |   233632 |    23098     20 |      602 |      322
601.60/601.74	c  601s |      17 |   370720 |   234232 |    23098     20 |      602 |      322
603.60/603.76	c  603s |      17 |   371531 |   234932 |    23098     20 |      602 |      322
605.80/605.94	c  605s |      17 |   372343 |   235632 |    23098     20 |      602 |      322
608.00/608.19	c  607s |      17 |   373010 |   236232 |    23098     20 |      602 |      322
610.30/610.46	c  610s |      17 |   373838 |   236932 |    23098     20 |      602 |      322
612.59/612.70	c  612s |      17 |   374507 |   237532 |    23098     20 |      602 |      322
614.90/615.04	c  614s |      17 |   375201 |   238132 |    23098     20 |      602 |      322
617.20/617.37	c  617s |      17 |   375931 |   238732 |    23098     20 |      602 |      322
619.40/619.59	c  619s |      17 |   376475 |   239232 |    23098     20 |      602 |      322
621.50/621.61	c  621s |      17 |   377078 |   239732 |    23098     20 |      602 |      322
623.59/623.73	c  623s |      17 |   377774 |   240332 |    23098     20 |      602 |      322
625.59/625.78	c  625s |      17 |   378496 |   240932 |    23098     20 |      602 |      322
627.89/628.01	c  627s |      17 |   379174 |   241532 |    23098     20 |      602 |      322
629.89/630.06	c  629s |      17 |   379863 |   242132 |    23098     20 |      602 |      322
631.99/632.11	c  631s |      17 |   380432 |   242632 |    23098     20 |      602 |      322
634.19/634.35	c  634s |      17 |   381004 |   243132 |    23098     20 |      602 |      322
636.29/636.45	c  636s |      17 |   381607 |   243632 |    23098     20 |      602 |      322
638.39/638.53	c  638s |      17 |   382153 |   244132 |    23098     20 |      602 |      322
640.49/640.62	c  640s |      17 |   382719 |   244632 |    23098     20 |      602 |      322
642.59/642.73	c  642s |      17 |   383155 |   245032 |    23098     21 |      602 |      322
644.80/644.97	c  644s |      17 |   383795 |   245632 |    23098     21 |      602 |      322
647.09/647.23	c  646s |      17 |   384343 |   246132 |    23098     21 |      602 |      322
649.50/649.60	c  649s |      17 |   384987 |   246732 |    23098     21 |      602 |      322
651.49/651.67	c  651s |      17 |   385534 |   247232 |    23098     21 |      602 |      322
653.89/654.04	c  653s |      17 |   386372 |   247932 |    23098     21 |      602 |      322
656.19/656.30	c  656s |      17 |   386928 |   248432 |    23098     21 |      602 |      322
658.49/658.63	c  658s |      17 |   387624 |   249032 |    23098     21 |      602 |      322
660.79/660.97	c  660s |      17 |   388339 |   249632 |    23098     21 |      602 |      322
662.89/663.01	c  662s |      17 |   389007 |   250232 |    23098     21 |      602 |      322
664.99/665.15	c  664s |      17 |   389568 |   250732 |    23098     21 |      602 |      322
667.09/667.25	c  666s |      17 |   390118 |   251232 |    23098     21 |      602 |      322
669.49/669.67	c  669s |      17 |   390677 |   251732 |    23098     21 |      602 |      322
671.99/672.12	c  671s |      17 |   391218 |   252232 |    23098     21 |      602 |      322
673.99/674.14	c  673s |      17 |   391679 |   252632 |    23098     21 |      602 |      322
676.09/676.23	c  675s |      17 |   392114 |   253032 |    23098     21 |      602 |      322
678.19/678.35	c  678s |      17 |   392557 |   253432 |    23098     21 |      602 |      322
680.39/680.51	c  680s |      17 |   393276 |   254032 |    23098     21 |      602 |      322
682.59/682.73	c  682s |      17 |   394255 |   254832 |    23098     21 |      602 |      322
684.69/684.86	c  684s |      17 |   395127 |   255532 |    23098     21 |      602 |      322
686.89/687.07	c  686s |      17 |   395991 |   256232 |    23098     21 |      602 |      322
689.19/689.33	c  689s |      17 |   396846 |   256932 |    23098     21 |      602 |      322
691.49/691.63	c  691s |      17 |   397767 |   257632 |    23098     21 |      602 |      322
693.79/693.91	c  693s |      17 |   398364 |   258132 |    23098     22 |      602 |      322
696.09/696.20	c  695s |      17 |   399308 |   258932 |    23098     22 |      602 |      322
698.18/698.31	c  698s |      17 |   400021 |   259532 |    23098     22 |      602 |      322
700.28/700.41	c  700s |      17 |   401055 |   260332 |    23098     22 |      602 |      322
702.29/702.44	c  702s |      17 |   401772 |   260932 |    23098     22 |      602 |      322
704.38/704.50	c  704s |      17 |   402466 |   261532 |    23098     22 |      602 |      322
706.68/706.83	c  706s |      17 |   403437 |   262332 |    23098     22 |      602 |      322
708.98/709.13	c  708s |      17 |   404264 |   263032 |    23098     22 |      602 |      322
711.18/711.31	c  711s |      17 |   404967 |   263632 |    23098     22 |      602 |      322
713.28/713.46	c  713s |      17 |   405678 |   264232 |    23098     22 |      602 |      322
715.68/715.82	c  715s |      17 |   406341 |   264832 |    23098     22 |      602 |      322
717.98/718.15	c  717s |      17 |   406878 |   265332 |    23098     22 |      602 |      322
720.18/720.38	c  720s |      17 |   407444 |   265832 |    23098     22 |      602 |      322
722.48/722.65	c  722s |      17 |   408388 |   266632 |    23098     22 |      602 |      322
724.78/724.97	c  724s |      17 |   409205 |   267332 |    23098     22 |      602 |      322
727.08/727.20	c  726s |      17 |   409913 |   267932 |    23098     22 |      602 |      322
729.18/729.35	c  729s |      17 |   410612 |   268532 |    23098     22 |      602 |      322
731.28/731.40	c  731s |      17 |   411319 |   269132 |    23098     22 |      602 |      322
733.58/733.70	c  733s |      17 |   412022 |   269732 |    23098     22 |      602 |      322
735.88/736.05	c  735s |      17 |   412722 |   270332 |    23098     22 |      602 |      322
738.08/738.30	c  738s |      17 |   413442 |   270932 |    23098     22 |      602 |      322
740.17/740.33	c  740s |      17 |   413924 |   271332 |    23098     23 |      602 |      322
742.48/742.63	c  742s |      17 |   414631 |   271932 |    23098     23 |      602 |      322
744.68/744.85	c  744s |      17 |   415446 |   272632 |    23098     23 |      602 |      322
746.67/746.85	c  746s |      17 |   416167 |   273232 |    23098     23 |      602 |      322
749.08/749.24	c  748s |      17 |   416983 |   273932 |    23098     23 |      602 |      322
751.17/751.31	c  751s |      17 |   417584 |   274432 |    23098     23 |      602 |      322
753.37/753.50	c  753s |      17 |   418280 |   275032 |    23098     23 |      602 |      322
755.37/755.57	c  755s |      17 |   419008 |   275632 |    23098     23 |      602 |      322
757.58/757.78	c  757s |      17 |   419730 |   276232 |    23098     23 |      602 |      322
759.98/760.15	c  759s |      17 |   420425 |   276832 |    23098     23 |      602 |      322
762.28/762.50	c  762s |      17 |   421132 |   277432 |    23098     23 |      602 |      322
764.37/764.54	c  764s |      17 |   421728 |   277932 |    23098     23 |      602 |      322
766.37/766.55	c  766s |      17 |   422293 |   278432 |    23098     23 |      602 |      322
768.37/768.58	c  768s |      17 |   422859 |   278932 |    23098     23 |      602 |      322
770.67/770.89	c  770s |      17 |   423421 |   279432 |    23098     23 |      602 |      322
773.07/773.28	c  773s |      17 |   423970 |   279932 |    23098     23 |      602 |      322
775.48/775.63	c  775s |      17 |   424546 |   280432 |    23098     23 |      602 |      322
777.78/777.91	c  777s |      17 |   425122 |   280932 |    23098     23 |      602 |      322
780.07/780.21	c  779s |      17 |   425690 |   281432 |    23098     23 |      602 |      322
782.18/782.39	c  782s |      17 |   426271 |   281932 |    23098     23 |      602 |      322
784.47/784.61	c  784s |      17 |   426868 |   282432 |    23098     23 |      602 |      322
786.47/786.62	c  786s |      17 |   427459 |   282932 |    23098     23 |      602 |      322
788.47/788.66	c  788s |      17 |   428060 |   283432 |    23098     23 |      602 |      322
790.66/790.89	c  790s |      17 |   428642 |   283932 |    23098     23 |      602 |      322
792.76/792.90	c  792s |      17 |   428985 |   284232 |    23098     24 |      602 |      322
794.76/794.97	c  794s |      17 |   429544 |   284732 |    23098     24 |      602 |      322
796.86/797.00	c  796s |      17 |   430260 |   285332 |    23098     24 |      602 |      322
798.96/799.16	c  798s |      17 |   430961 |   285932 |    23098     24 |      602 |      322
801.16/801.34	c  801s |      17 |   431700 |   286532 |    23098     24 |      602 |      322
803.46/803.62	c  803s |      17 |   432430 |   287132 |    23098     24 |      602 |      322
805.46/805.66	c  805s |      17 |   433200 |   287732 |    23098     24 |      602 |      322
807.66/807.80	c  807s |      17 |   434073 |   288432 |    23098     24 |      602 |      322
809.56/809.80	c  809s |      17 |   434618 |   288932 |    23098     24 |      602 |      322
811.86/812.04	c  811s |      17 |   435215 |   289432 |    23098     24 |      602 |      322
814.16/814.33	c  814s |      17 |   435866 |   289932 |    23098     24 |      602 |      322
816.55/816.70	c  816s |      17 |   436441 |   290432 |    23098     24 |      602 |      322
818.55/818.79	c  818s |      17 |   436919 |   290832 |    23098     24 |      602 |      322
820.66/820.84	c  820s |      17 |   437364 |   291232 |    23098     24 |      602 |      322
822.86/823.08	c  822s |      17 |   437960 |   291732 |    23098     24 |      602 |      322
824.85/825.08	c  824s |      17 |   438418 |   292132 |    23098     24 |      602 |      322
827.45/827.69	c  827s |      17 |   438997 |   292632 |    23098     24 |      602 |      322
829.66/829.85	c  829s |      17 |   439450 |   293032 |    23098     24 |      602 |      322
831.96/832.18	c  831s |      17 |   440025 |   293532 |    23098     24 |      602 |      322
834.16/834.37	c  834s |      17 |   440603 |   294032 |    23098     24 |      602 |      322
836.36/836.56	c  836s |      17 |   441053 |   294432 |    25408     24 |      602 |      322
838.56/838.77	c  838s |      17 |   441852 |   295032 |    25408     24 |      602 |      322
840.56/840.77	c  840s |      17 |   442420 |   295532 |    25408     24 |      602 |      322
842.76/842.90	c  842s |      17 |   443011 |   296032 |    25408     24 |      602 |      322
843.66/843.87	c  843s |      18 |   443264 |   296252 |    25408     24 |      602 |      322
845.76/845.98	c  845s |      18 |   446977 |   297652 |    25408     24 |      602 |      322
847.96/848.12	c  847s |      18 |   448768 |   299252 |    25408     24 |      602 |      322
849.95/850.19	c  849s |      18 |   450713 |   300252 |    25408     25 |      602 |      322
852.15/852.30	c  852s |      18 |   454334 |   302052 |    25408     25 |      602 |      322
854.15/854.32	c  854s |      18 |   456089 |   303452 |    25408     25 |      602 |      322
856.25/856.48	c  856s |      18 |   457542 |   304652 |    25408     25 |      602 |      322
858.45/858.64	c  858s |      18 |   458697 |   305652 |    25408     25 |      602 |      322
860.55/860.77	c  860s |      18 |   459686 |   306552 |    25408     25 |      602 |      322
862.65/862.83	c  862s |      18 |   460930 |   307552 |    25408     25 |      602 |      322
864.75/864.97	c  864s |      18 |   462176 |   308552 |    25408     25 |      602 |      322
866.85/867.06	c  866s |      18 |   463094 |   309352 |    25408     25 |      602 |      322
869.05/869.24	c  868s |      18 |   464121 |   310252 |    25408     25 |      602 |      322
871.15/871.35	c  871s |      18 |   465013 |   311052 |    25408     25 |      602 |      322
873.35/873.51	c  873s |      18 |   465920 |   311852 |    25408     25 |      602 |      322
875.34/875.60	c  875s |      18 |   466836 |   312652 |    25408     25 |      602 |      322
877.54/877.79	c  877s |      18 |   467726 |   313452 |    25408     25 |      602 |      322
879.64/879.86	c  879s |      18 |   468492 |   314152 |    25408     25 |      602 |      322
881.94/882.12	c  881s |      18 |   469168 |   314752 |    25408     26 |      602 |      322
884.24/884.47	c  884s |      18 |   469943 |   315452 |    25408     26 |      602 |      322
886.34/886.56	c  886s |      18 |   470625 |   316052 |    25408     26 |      602 |      322
888.64/888.84	c  888s |      18 |   471528 |   316852 |    25408     26 |      602 |      322
890.64/890.86	c  890s |      18 |   472298 |   317552 |    25408     26 |      602 |      322
892.74/892.92	c  892s |      18 |   473083 |   318252 |    25408     26 |      602 |      322
895.04/895.23	c  894s |      18 |   473857 |   318952 |    25408     26 |      602 |      322
897.23/897.47	c  897s |      18 |   474634 |   319652 |    25408     26 |      602 |      322
899.53/899.73	c  899s |      18 |   475407 |   320352 |    25408     26 |      602 |      322
901.53/901.75	c  901s |      18 |   476067 |   320952 |    25408     26 |      602 |      322
903.83/904.05	c  903s |      18 |   476705 |   321552 |    25408     26 |      602 |      322
906.13/906.32	c  906s |      18 |   477340 |   322152 |    25408     26 |      602 |      322
908.33/908.53	c  908s |      18 |   478019 |   322752 |    25408     26 |      602 |      322
910.63/910.83	c  910s |      18 |   478661 |   323352 |    25408     26 |      602 |      322
912.83/913.05	c  912s |      18 |   479327 |   323952 |    25408     26 |      602 |      322
915.03/915.28	c  915s |      18 |   479980 |   324552 |    25408     26 |      602 |      322
917.53/917.74	c  917s |      18 |   480625 |   325152 |    25408     26 |      602 |      322
919.64/919.85	c  919s |      18 |   481196 |   325652 |    25408     26 |      602 |      322
921.93/922.10	c  921s |      18 |   481740 |   326152 |    25408     26 |      602 |      322
924.13/924.39	c  924s |      18 |   482277 |   326652 |    25408     26 |      602 |      322
926.43/926.66	c  926s |      18 |   482817 |   327152 |    25408     26 |      602 |      322
928.83/929.07	c  928s |      18 |   483477 |   327752 |    25408     26 |      602 |      322
930.93/931.11	c  930s |      18 |   484038 |   328252 |    25408     26 |      602 |      322
933.53/933.78	c  933s |      18 |   484584 |   328752 |    25408     27 |      602 |      322
935.63/935.81	c  935s |      18 |   485237 |   329352 |    25408     27 |      602 |      322
937.83/938.05	c  937s |      18 |   485986 |   330052 |    25408     27 |      602 |      322
940.13/940.30	c  940s |      18 |   486770 |   330752 |    25408     27 |      602 |      322
942.32/942.56	c  942s |      18 |   487312 |   331252 |    25408     27 |      602 |      322
944.62/944.87	c  944s |      18 |   487958 |   331852 |    25408     27 |      602 |      322
946.82/947.07	c  946s |      18 |   488617 |   332452 |    25408     27 |      602 |      322
949.02/949.28	c  949s |      18 |   489268 |   333052 |    25408     27 |      602 |      322
951.32/951.57	c  951s |      18 |   489911 |   333652 |    25408     27 |      602 |      322
953.52/953.72	c  953s |      18 |   490614 |   334252 |    25408     27 |      602 |      322
955.62/955.89	c  955s |      18 |   491255 |   334852 |    25408     27 |      602 |      322
957.92/958.11	c  957s |      18 |   491897 |   335452 |    25408     27 |      602 |      322
959.92/960.15	c  959s |      18 |   492427 |   335952 |    25408     27 |      602 |      322
962.02/962.24	c  961s |      18 |   492969 |   336452 |    25408     27 |      602 |      322
964.12/964.34	c  964s |      18 |   493523 |   336952 |    25408     27 |      602 |      322
966.52/966.73	c  966s |      18 |   494163 |   337552 |    25408     27 |      602 |      322
968.62/968.84	c  968s |      18 |   494706 |   338052 |    25408     27 |      602 |      322
971.02/971.25	c  970s |      18 |   495229 |   338552 |    25408     27 |      602 |      322
973.22/973.43	c  973s |      18 |   495767 |   339052 |    25408     27 |      602 |      322
975.52/975.70	c  975s |      18 |   496306 |   339552 |    25408     27 |      602 |      322
977.52/977.73	c  977s |      18 |   496851 |   340052 |    25408     27 |      602 |      322
980.02/980.25	c  979s |      18 |   497380 |   340552 |    25408     27 |      602 |      322
982.42/982.62	c  982s |      18 |   497929 |   341052 |    25408     27 |      602 |      322
984.42/984.63	c  984s |      18 |   498353 |   341452 |    25408     27 |      602 |      322
986.92/987.12	c  986s |      18 |   498883 |   341952 |    25408     27 |      602 |      322
988.92/989.17	c  988s |      18 |   499289 |   342352 |    25408     27 |      602 |      322
990.92/991.20	c  990s |      18 |   499724 |   342752 |    25408     27 |      602 |      322
993.42/993.67	c  993s |      18 |   500169 |   343152 |    25408     28 |      602 |      322
995.62/995.82	c  995s |      18 |   500957 |   343852 |    25408     28 |      602 |      322
997.82/998.09	c  997s |      18 |   501751 |   344552 |    25408     28 |      602 |      322
1000.01/1000.22	c  999s |      18 |   502423 |   345152 |    25408     28 |      602 |      322
1002.21/1002.48	c 1002s |      18 |   503223 |   345852 |    25408     28 |      602 |      322
1004.51/1004.75	c 1004s |      18 |   503991 |   346552 |    25408     28 |      602 |      322
1006.52/1006.77	c 1006s |      18 |   504649 |   347152 |    25408     28 |      602 |      322
1008.51/1008.77	c 1008s |      18 |   505289 |   347752 |    25408     28 |      602 |      322
1010.91/1011.12	c 1010s |      18 |   506062 |   348452 |    25408     28 |      602 |      322
1013.01/1013.22	c 1012s |      18 |   506714 |   349052 |    25408     28 |      602 |      322
1015.21/1015.47	c 1015s |      18 |   507342 |   349652 |    25408     28 |      602 |      322
1017.41/1017.63	c 1017s |      18 |   508003 |   350252 |    25408     28 |      602 |      322
1019.80/1020.01	c 1019s |      18 |   508756 |   350952 |    25408     28 |      602 |      322
1022.00/1022.26	c 1021s |      18 |   509415 |   351552 |    25408     28 |      602 |      322
1024.30/1024.56	c 1024s |      18 |   510110 |   352152 |    25408     28 |      602 |      322
1026.60/1026.82	c 1026s |      18 |   510754 |   352752 |    25408     28 |      602 |      322
1028.70/1028.91	c 1028s |      18 |   511298 |   353252 |    25408     28 |      602 |      322
1030.70/1030.98	c 1030s |      18 |   511847 |   353752 |    25408     28 |      602 |      322
1033.09/1033.31	c 1033s |      18 |   512494 |   354352 |    25408     28 |      602 |      322
1035.39/1035.64	c 1035s |      18 |   513043 |   354852 |    25408     28 |      602 |      322
1037.79/1038.09	c 1037s |      18 |   513569 |   355352 |    25408     28 |      602 |      322
1040.29/1040.59	c 1040s |      18 |   514123 |   355852 |    25408     28 |      602 |      322
1042.79/1043.06	c 1042s |      18 |   514675 |   356352 |    25408     28 |      602 |      322
1044.99/1045.27	c 1044s |      18 |   515211 |   356852 |    25408     28 |      602 |      322
1047.09/1047.31	c 1047s |      18 |   515641 |   357252 |    25408     28 |      602 |      322
1049.39/1049.61	c 1049s |      18 |   516073 |   357652 |    25408     29 |      602 |      322
1051.78/1052.01	c 1051s |      18 |   516833 |   358352 |    25408     29 |      602 |      322
1053.98/1054.26	c 1053s |      18 |   517475 |   358952 |    25408     29 |      602 |      322
1056.28/1056.55	c 1056s |      18 |   518135 |   359552 |    25408     29 |      602 |      322
1058.58/1058.89	c 1058s |      18 |   518794 |   360152 |    25408     29 |      602 |      322
1060.87/1061.19	c 1060s |      18 |   519433 |   360752 |    25408     29 |      602 |      322
1063.17/1063.46	c 1063s |      18 |   520097 |   361352 |    25408     29 |      602 |      322
1065.37/1065.69	c 1065s |      18 |   520756 |   361952 |    25408     29 |      602 |      322
1067.77/1068.05	c 1067s |      18 |   521385 |   362552 |    25408     29 |      602 |      322
1069.87/1070.11	c 1069s |      18 |   521926 |   363052 |    25408     29 |      602 |      322
1072.27/1072.54	c 1072s |      18 |   522573 |   363652 |    25408     29 |      602 |      322
1074.37/1074.68	c 1074s |      18 |   523109 |   364152 |    25408     29 |      602 |      322
1076.57/1076.82	c 1076s |      18 |   523633 |   364652 |    25408     29 |      602 |      322
1078.77/1079.05	c 1078s |      18 |   524179 |   365152 |    25408     29 |      602 |      322
1080.97/1081.26	c 1080s |      18 |   524707 |   365652 |    25408     29 |      602 |      322
1083.48/1083.78	c 1083s |      18 |   525250 |   366152 |    25408     29 |      602 |      322
1085.58/1085.90	c 1085s |      18 |   525675 |   366552 |    25408     29 |      602 |      322
1087.67/1087.94	c 1087s |      18 |   526266 |   367052 |    25408     29 |      602 |      322
1089.67/1089.96	c 1089s |      18 |   526796 |   367552 |    25408     29 |      602 |      322
1091.86/1092.18	c 1091s |      18 |   527334 |   368052 |    25408     29 |      602 |      322
1094.16/1094.48	c 1094s |      18 |   527855 |   368552 |    25408     29 |      602 |      322
1096.26/1096.56	c 1096s |      18 |   528295 |   368952 |    25408     29 |      602 |      322
1098.36/1098.67	c 1098s |      18 |   528726 |   369352 |    25408     29 |      602 |      322
1100.85/1101.12	c 1100s |      18 |   529261 |   369852 |    25408     29 |      602 |      322
1103.05/1103.34	c 1103s |      18 |   529698 |   370252 |    25408     29 |      602 |      322
1105.05/1105.38	c 1105s |      18 |   530112 |   370652 |    25408     29 |      602 |      322
1107.15/1107.45	c 1107s |      18 |   530543 |   371052 |    25408     29 |      602 |      322
1109.25/1109.59	c 1109s |      18 |   530986 |   371452 |    25408     29 |      602 |      322
1111.95/1112.26	c 1111s |      18 |   531409 |   371852 |    25408     30 |      602 |      322
1113.94/1114.29	c 1114s |      18 |   531946 |   372352 |    25408     30 |      602 |      322
1116.35/1116.64	c 1116s |      18 |   532586 |   372952 |    25408     30 |      602 |      322
1118.44/1118.73	c 1118s |      18 |   533243 |   373552 |    25408     30 |      602 |      322
1120.74/1121.03	c 1120s |      18 |   533885 |   374152 |    25408     30 |      602 |      322
1122.94/1123.28	c 1123s |      18 |   534533 |   374752 |    25408     30 |      602 |      322
1125.24/1125.58	c 1125s |      18 |   535334 |   375452 |    25408     30 |      602 |      322
1127.54/1127.85	c 1127s |      18 |   536118 |   376152 |    25408     30 |      602 |      322
1129.83/1130.13	c 1129s |      18 |   536777 |   376752 |    25408     30 |      602 |      322
1131.84/1132.16	c 1131s |      18 |   537448 |   377352 |    25408     30 |      602 |      322
1133.93/1134.25	c 1133s |      18 |   538081 |   377952 |    25408     30 |      602 |      322
1136.33/1136.68	c 1136s |      18 |   538741 |   378552 |    25408     30 |      602 |      322
1138.62/1138.92	c 1138s |      18 |   539393 |   379152 |    25408     30 |      602 |      322
1140.92/1141.28	c 1141s |      18 |   540048 |   379752 |    25408     30 |      602 |      322
1143.32/1143.69	c 1143s |      18 |   540684 |   380352 |    25408     30 |      602 |      322
1145.52/1145.81	c 1145s |      18 |   541234 |   380852 |    25408     30 |      602 |      322
1147.72/1148.00	c 1147s |      18 |   541777 |   381352 |    25408     30 |      602 |      322
1150.11/1150.40	c 1150s |      18 |   542433 |   381952 |    25408     30 |      602 |      322
1152.31/1152.60	c 1152s |      18 |   542972 |   382452 |    25408     30 |      602 |      322
1154.41/1154.70	c 1154s |      18 |   543501 |   382952 |    25408     30 |      602 |      322
1156.81/1157.11	c 1156s |      18 |   544027 |   383452 |    25408     30 |      602 |      322
1158.91/1159.26	c 1158s |      18 |   544576 |   383952 |    25408     30 |      602 |      322
1161.00/1161.34	c 1161s |      18 |   545129 |   384452 |    25408     30 |      602 |      322
1163.20/1163.54	c 1163s |      18 |   545669 |   384952 |    25408     30 |      602 |      322
1165.40/1165.79	c 1165s |      18 |   546321 |   385552 |    25408     30 |      602 |      322
1167.80/1168.15	c 1167s |      18 |   546859 |   386052 |    25408     30 |      602 |      322
1170.10/1170.43	c 1170s |      18 |   547284 |   386452 |    25408     31 |      602 |      322
1172.20/1172.57	c 1172s |      18 |   547935 |   387052 |    25408     31 |      602 |      322
1174.30/1174.61	c 1174s |      18 |   548596 |   387652 |    25408     31 |      602 |      322
1176.50/1176.84	c 1176s |      18 |   549248 |   388252 |    25408     31 |      602 |      322
1178.49/1178.87	c 1178s |      18 |   549902 |   388852 |    25408     31 |      602 |      322
1180.79/1181.16	c 1180s |      18 |   550566 |   389452 |    25408     31 |      602 |      322
1182.89/1183.28	c 1182s |      18 |   551291 |   390052 |    25408     31 |      602 |      322
1184.99/1185.37	c 1185s |      18 |   551973 |   390652 |    25408     31 |      602 |      322
1187.09/1187.40	c 1187s |      18 |   552521 |   391152 |    25408     31 |      602 |      322
1189.49/1189.81	c 1189s |      18 |   553180 |   391752 |    25408     31 |      602 |      322
1191.58/1191.91	c 1191s |      18 |   553730 |   392252 |    25408     31 |      602 |      322
1193.78/1194.13	c 1193s |      18 |   554263 |   392752 |    25408     31 |      602 |      322
1195.98/1196.30	c 1196s |      18 |   554813 |   393252 |    25408     31 |      602 |      322
1198.18/1198.57	c 1198s |      18 |   555354 |   393752 |    25408     31 |      602 |      322
1200.57/1200.95	c 1200s |      18 |   555898 |   394252 |    25408     31 |      602 |      322
1202.97/1203.38	c 1203s |      18 |   556467 |   394752 |    25408     31 |      602 |      322
1205.49/1205.89	c 1205s |      18 |   557006 |   395252 |    25408     31 |      602 |      322
1207.98/1208.38	c 1208s |      18 |   557542 |   395752 |    25408     31 |      602 |      322
1210.47/1210.85	c 1210s |      18 |   558083 |   396252 |    25408     31 |      602 |      322
1212.57/1212.97	c 1212s |      18 |   558526 |   396652 |    25408     31 |      602 |      322
1214.97/1215.39	c 1215s |      18 |   559068 |   397152 |    25408     31 |      602 |      322
1217.37/1217.78	c 1217s |      18 |   559598 |   397652 |    25408     31 |      602 |      322
1219.57/1219.96	c 1219s |      18 |   560024 |   398052 |    25408     31 |      602 |      322
1221.76/1222.17	c 1221s |      18 |   560454 |   398452 |    25408     31 |      602 |      322
1224.17/1224.54	c 1224s |      18 |   560991 |   398952 |    25408     31 |      602 |      322
1226.27/1226.69	c 1226s |      18 |   561436 |   399352 |    25408     31 |      602 |      322
1228.47/1228.82	c 1228s |      18 |   561879 |   399752 |    25408     31 |      602 |      322
1230.76/1231.16	c 1230s |      18 |   562302 |   400152 |    25408     31 |      602 |      322
1233.06/1233.47	c 1233s |      18 |   562729 |   400552 |    25408     31 |      602 |      322
1235.35/1235.79	c 1235s |      18 |   563167 |   400952 |    25408     32 |      602 |      322
1237.45/1237.89	c 1237s |      18 |   563696 |   401452 |    25408     32 |      602 |      322
1239.46/1239.90	c 1239s |      18 |   564237 |   401952 |    25408     32 |      602 |      322
1241.55/1241.94	c 1241s |      18 |   564792 |   402452 |    25408     32 |      602 |      322
1243.85/1244.20	c 1243s |      18 |   565464 |   403052 |    25408     32 |      602 |      322
1245.85/1246.27	c 1245s |      18 |   566005 |   403552 |    25408     32 |      602 |      322
1248.05/1248.46	c 1248s |      18 |   566541 |   404052 |    25408     32 |      602 |      322
1250.14/1250.58	c 1250s |      18 |   567081 |   404552 |    25408     32 |      602 |      322
1252.24/1252.63	c 1252s |      18 |   567623 |   405052 |    25408     32 |      602 |      322
1254.34/1254.79	c 1254s |      18 |   568166 |   405552 |    25408     32 |      602 |      322
1256.64/1257.02	c 1256s |      18 |   568715 |   406052 |    25408     32 |      602 |      322
1258.94/1259.35	c 1259s |      18 |   569268 |   406552 |    25408     32 |      602 |      322
1261.23/1261.66	c 1261s |      18 |   569816 |   407052 |    25408     32 |      602 |      322
1263.74/1264.11	c 1263s |      18 |   570352 |   407552 |    25408     32 |      602 |      322
1265.74/1266.15	c 1265s |      18 |   570779 |   407952 |    25408     32 |      602 |      322
1268.24/1268.68	c 1268s |      18 |   571314 |   408452 |    25408     32 |      602 |      322
1270.43/1270.88	c 1270s |      18 |   571747 |   408852 |    25408     32 |      602 |      322
1272.93/1273.33	c 1273s |      18 |   572294 |   409352 |    25408     32 |      602 |      322
1275.03/1275.47	c 1275s |      18 |   572723 |   409752 |    25408     32 |      602 |      322
1277.13/1277.51	c 1277s |      18 |   573154 |   410152 |    25408     32 |      602 |      322
1279.14/1279.57	c 1279s |      18 |   573743 |   410652 |    25408     32 |      602 |      322
1281.23/1281.68	c 1281s |      18 |   574283 |   411152 |    25408     32 |      602 |      322
1283.43/1283.81	c 1283s |      18 |   574823 |   411652 |    25408     32 |      602 |      322
1285.83/1286.24	c 1285s |      18 |   575376 |   412152 |    25408     32 |      602 |      322
1288.03/1288.44	c 1288s |      18 |   575796 |   412552 |    25408     32 |      602 |      322
1290.13/1290.56	c 1290s |      18 |   576222 |   412952 |    25408     32 |      602 |      322
1292.33/1292.78	c 1292s |      18 |   576645 |   413352 |    25408     32 |      602 |      322
1294.53/1294.90	c 1294s |      18 |   577090 |   413752 |    25408     32 |      602 |      322
1296.52/1297.00	c 1296s |      18 |   577535 |   414152 |    25408     32 |      602 |      322
1298.83/1299.30	c 1299s |      18 |   577973 |   414552 |    25408     32 |      602 |      322
1301.02/1301.46	c 1301s |      18 |   578387 |   414952 |    25408     32 |      602 |      322
1303.22/1303.61	c 1303s |      18 |   578708 |   415252 |    25408     33 |      602 |      322
1305.52/1305.93	c 1305s |      18 |   579369 |   415852 |    25408     33 |      602 |      322
1307.62/1308.09	c 1307s |      18 |   579909 |   416352 |    25408     33 |      602 |      322
1309.92/1310.36	c 1310s |      18 |   580454 |   416852 |    25408     33 |      602 |      322
1312.21/1312.60	c 1312s |      18 |   581127 |   417452 |    25408     33 |      602 |      322
1314.41/1314.81	c 1314s |      18 |   581899 |   418152 |    25408     33 |      602 |      322
1316.61/1317.04	c 1316s |      18 |   582570 |   418752 |    25408     33 |      602 |      322
1318.91/1319.34	c 1319s |      18 |   583210 |   419352 |    25408     33 |      602 |      322
1321.10/1321.58	c 1321s |      18 |   583873 |   419952 |    25408     33 |      602 |      322
1323.30/1323.72	c 1323s |      18 |   584421 |   420452 |    25408     33 |      602 |      322
1325.31/1325.73	c 1325s |      18 |   585004 |   420952 |    25408     33 |      602 |      322
1327.41/1327.88	c 1327s |      18 |   585564 |   421452 |    25408     33 |      602 |      322
1329.50/1329.90	c 1329s |      18 |   586151 |   421952 |    25408     33 |      602 |      322
1331.59/1332.03	c 1331s |      18 |   586701 |   422452 |    25408     33 |      602 |      322
1333.89/1334.34	c 1334s |      18 |   587244 |   422952 |    25408     33 |      602 |      322
1336.09/1336.50	c 1336s |      18 |   587778 |   423452 |    25408     33 |      602 |      322
1338.19/1338.64	c 1338s |      18 |   588337 |   423952 |    25408     33 |      602 |      322
1340.59/1341.06	c 1340s |      18 |   588871 |   424452 |    25408     33 |      602 |      322
1342.89/1343.34	c 1343s |      18 |   589428 |   424952 |    25408     33 |      602 |      322
1345.28/1345.75	c 1345s |      18 |   589969 |   425452 |    25408     33 |      602 |      322
1347.68/1348.16	c 1347s |      18 |   590523 |   425952 |    25408     33 |      602 |      322
1349.88/1350.33	c 1350s |      18 |   590952 |   426352 |    25408     33 |      602 |      322
1351.98/1352.43	c 1352s |      18 |   591396 |   426752 |    25408     33 |      602 |      322
1354.08/1354.58	c 1354s |      18 |   591824 |   427152 |    25408     33 |      602 |      322
1356.28/1356.72	c 1356s |      18 |   592273 |   427552 |    25408     33 |      602 |      322
1358.28/1358.75	c 1358s |      18 |   592724 |   427952 |    25408     33 |      602 |      322
1360.57/1361.01	c 1360s |      18 |   593167 |   428352 |    25408     33 |      602 |      322
1363.37/1363.84	c 1363s |      18 |   593710 |   428852 |    25408     33 |      602 |      322
1365.67/1366.18	c 1365s |      18 |   594290 |   429352 |    25408     33 |      602 |      322
1367.87/1368.38	c 1368s |      18 |   594739 |   429752 |    25408     34 |      602 |      322
1370.06/1370.53	c 1370s |      18 |   595400 |   430352 |    25408     34 |      602 |      322
1372.26/1372.73	c 1372s |      18 |   596184 |   431052 |    25408     34 |      602 |      322
1374.56/1375.04	c 1374s |      18 |   596813 |   431652 |    25408     34 |      602 |      322
1376.87/1377.33	c 1377s |      18 |   597479 |   432252 |    25408     34 |      602 |      322
1379.17/1379.69	c 1379s |      18 |   598116 |   432852 |    25408     34 |      602 |      322
1381.16/1381.69	c 1381s |      18 |   598664 |   433352 |    25408     34 |      602 |      322
1383.56/1384.09	c 1383s |      18 |   599343 |   433952 |    25408     34 |      602 |      322
1385.66/1386.18	c 1385s |      18 |   600024 |   434552 |    25408     34 |      602 |      322
1387.86/1388.40	c 1388s |      18 |   600690 |   435152 |    25408     34 |      602 |      322
1390.06/1390.59	c 1390s |      18 |   601230 |   435652 |    25408     34 |      602 |      322
1392.26/1392.78	c 1392s |      18 |   601792 |   436152 |    25408     34 |      602 |      322
1394.46/1394.93	c 1394s |      18 |   602340 |   436652 |    25408     34 |      602 |      322
1396.45/1396.99	c 1396s |      18 |   602913 |   437152 |    25408     34 |      602 |      322
1398.65/1399.11	c 1398s |      18 |   603462 |   437652 |    25408     34 |      602 |      322
1400.95/1401.46	c 1401s |      18 |   604018 |   438152 |    25408     34 |      602 |      322
1403.36/1403.84	c 1403s |      18 |   604555 |   438652 |    25408     34 |      602 |      322
1405.65/1406.11	c 1405s |      18 |   605111 |   439152 |    25408     34 |      602 |      322
1407.85/1408.39	c 1408s |      18 |   605655 |   439652 |    25408     34 |      602 |      322
1410.05/1410.53	c 1410s |      18 |   606070 |   440052 |    25408     34 |      602 |      322
1412.45/1412.93	c 1412s |      18 |   606618 |   440552 |    25408     34 |      602 |      322
1414.56/1415.02	c 1414s |      18 |   607057 |   440952 |    25408     34 |      602 |      322
1416.86/1417.38	c 1417s |      18 |   607600 |   441452 |    27949     34 |      602 |      322
1419.26/1419.78	c 1419s |      18 |   608136 |   441952 |    27949     34 |      602 |      322
1421.46/1421.95	c 1421s |      18 |   608577 |   442352 |    27949     34 |      602 |      322
1423.85/1424.33	c 1424s |      18 |   609130 |   442852 |    27949     34 |      602 |      322
1426.46/1426.93	c 1426s |      18 |   609680 |   443352 |    27949     34 |      602 |      322
1428.95/1429.44	c 1429s |      18 |   610118 |   443752 |    27949     34 |      602 |      322
1431.45/1431.99	c 1431s |      18 |   610549 |   444152 |    27949     34 |      602 |      322
1433.55/1434.02	c 1433s |      18 |   610861 |   444452 |    27949     34 |      602 |      322
1433.65/1434.16	c 1433s |      19 |   610895 |   444482 |    27949     34 |      602 |      322
1435.75/1436.21	c 1435s |      19 |   616159 |   445282 |    27949     35 |      602 |      322
1437.75/1438.23	c 1437s |      19 |   618872 |   446882 |    27949     35 |      602 |      322
1439.85/1440.32	c 1440s |      19 |   620476 |   447982 |    27949     35 |      602 |      322
1441.95/1442.40	c 1442s |      19 |   621840 |   448982 |    27949     35 |      602 |      322
1443.96/1444.46	c 1444s |      19 |   623274 |   450082 |    27949     35 |      602 |      322
1446.16/1446.65	c 1446s |      19 |   624432 |   450982 |    27949     35 |      602 |      322
1448.25/1448.76	c 1448s |      19 |   627089 |   452282 |    27949     35 |      602 |      322
1450.45/1450.93	c 1450s |      19 |   628690 |   453282 |    27949     35 |      602 |      322
1452.55/1453.02	c 1452s |      19 |   631969 |   454782 |    27949     35 |      602 |      322
1454.65/1455.10	c 1454s |      19 |   634062 |   455982 |    27949     35 |      602 |      322
1456.65/1457.13	c 1456s |      19 |   635767 |   457082 |    27949     35 |      602 |      322
1458.75/1459.23	c 1458s |      19 |   638047 |   458282 |    27949     35 |      602 |      322
1460.85/1461.35	c 1461s |      19 |   640187 |   459482 |    27949     35 |      602 |      322
1463.05/1463.53	c 1463s |      19 |   641360 |   460382 |    27949     35 |      602 |      322
1465.15/1465.66	c 1465s |      19 |   642147 |   460982 |    27949     36 |      602 |      322
1467.35/1467.86	c 1467s |      19 |   643187 |   461782 |    27949     36 |      602 |      322
1469.65/1470.11	c 1469s |      19 |   644156 |   462582 |    27949     36 |      602 |      322
1471.85/1472.32	c 1472s |      19 |   644979 |   463282 |    27949     36 |      602 |      322
1473.85/1474.38	c 1474s |      19 |   646078 |   464082 |    27949     36 |      602 |      322
1475.95/1476.44	c 1476s |      19 |   646938 |   464782 |    27949     36 |      602 |      322
1478.15/1478.67	c 1478s |      19 |   647854 |   465482 |    27949     36 |      602 |      322
1480.44/1480.97	c 1480s |      19 |   648826 |   466182 |    27949     36 |      602 |      322
1482.64/1483.11	c 1482s |      19 |   649561 |   466782 |    27949     36 |      602 |      322
1485.04/1485.50	c 1485s |      19 |   650283 |   467382 |    27949     36 |      602 |      322
1487.34/1487.82	c 1487s |      19 |   650995 |   467982 |    27949     36 |      602 |      322
1489.44/1489.90	c 1489s |      19 |   651562 |   468482 |    27949     36 |      602 |      322
1491.54/1492.06	c 1491s |      19 |   652115 |   468982 |    27949     36 |      602 |      322
1493.84/1494.36	c 1494s |      19 |   652807 |   469582 |    27949     36 |      602 |      322
1496.04/1496.57	c 1496s |      19 |   653352 |   470082 |    27949     36 |      602 |      322
1498.14/1498.62	c 1498s |      19 |   654004 |   470582 |    27949     36 |      602 |      322
1500.24/1500.76	c 1500s |      19 |   654595 |   471082 |    27949     36 |      602 |      322
1502.44/1502.95	c 1502s |      19 |   655180 |   471582 |    27949     36 |      602 |      322
1504.64/1505.19	c 1504s |      19 |   655756 |   472082 |    27949     36 |      602 |      322
1506.94/1507.45	c 1507s |      19 |   656311 |   472582 |    27949     36 |      602 |      322
1508.95/1509.49	c 1509s |      19 |   656789 |   472982 |    27949     36 |      602 |      322
1511.34/1511.86	c 1511s |      19 |   657261 |   473382 |    27949     36 |      602 |      322
1513.64/1514.18	c 1513s |      19 |   657884 |   473882 |    27949     36 |      602 |      322
1515.84/1516.35	c 1516s |      19 |   658479 |   474382 |    27949     36 |      602 |      322
1518.14/1518.62	c 1518s |      19 |   659172 |   474882 |    27949     36 |      602 |      322
1520.54/1521.07	c 1520s |      19 |   659818 |   475382 |    27949     36 |      602 |      322
1523.04/1523.55	c 1523s |      19 |   661111 |   476082 |    27949     37 |      602 |      322
1525.24/1525.78	c 1525s |      19 |   662198 |   476882 |    27949     37 |      602 |      322
1527.54/1528.03	c 1527s |      19 |   663215 |   477682 |    27949     37 |      602 |      322
1529.54/1530.05	c 1529s |      19 |   664393 |   478382 |    27949     37 |      602 |      322
1531.84/1532.33	c 1532s |      19 |   666190 |   479382 |    27949     37 |      602 |      322
1533.83/1534.36	c 1534s |      19 |   670603 |   481282 |    27949     37 |      602 |      322
1535.93/1536.43	c 1536s |      19 |   680933 |   483182 |    27949     37 |      602 |      322
1538.03/1538.56	c 1538s |      19 |   683552 |   484382 |    27949     37 |      602 |      322
1540.23/1540.71	c 1540s |      19 |   684949 |   485282 |    27949     37 |      602 |      322
1542.23/1542.72	c 1542s |      19 |   685941 |   486082 |    27949     37 |      602 |      322
1544.43/1544.97	c 1544s |      19 |   687443 |   487082 |    27949     37 |      602 |      322
1546.43/1546.98	c 1546s |      19 |   688326 |   487782 |    27949     37 |      602 |      322
1548.73/1549.27	c 1548s |      19 |   689294 |   488582 |    27949     37 |      602 |      322
1551.03/1551.50	c 1551s |      19 |   690362 |   489382 |    27949     37 |      602 |      322
1553.13/1553.65	c 1553s |      19 |   691435 |   490182 |    27949     37 |      602 |      322
1555.14/1555.65	c 1555s |      19 |   692364 |   490882 |    27949     37 |      602 |      322
1557.24/1557.74	c 1557s |      19 |   693264 |   491582 |    27949     37 |      602 |      322
1559.44/1559.97	c 1559s |      19 |   693856 |   492082 |    27949     38 |      602 |      322
1561.64/1562.17	c 1561s |      19 |   694795 |   492882 |    27949     38 |      602 |      322
1563.73/1564.23	c 1563s |      19 |   695603 |   493582 |    27949     38 |      602 |      322
1565.73/1566.25	c 1565s |      19 |   696443 |   494282 |    27949     38 |      602 |      322
1567.73/1568.25	c 1567s |      19 |   697278 |   494982 |    27949     38 |      602 |      322
1569.83/1570.30	c 1570s |      19 |   698076 |   495682 |    27949     38 |      602 |      322
1572.03/1572.57	c 1572s |      19 |   698880 |   496382 |    27949     38 |      602 |      322
1574.23/1574.77	c 1574s |      19 |   699551 |   496982 |    27949     38 |      602 |      322
1576.53/1577.01	c 1576s |      19 |   700378 |   497682 |    27949     38 |      602 |      322
1578.73/1579.23	c 1578s |      19 |   701193 |   498382 |    27949     38 |      602 |      322
1580.92/1581.43	c 1581s |      19 |   701886 |   498982 |    27949     38 |      602 |      322
1583.22/1583.79	c 1583s |      19 |   702595 |   499582 |    27949     38 |      602 |      322
1585.42/1585.94	c 1585s |      19 |   703291 |   500182 |    27949     38 |      602 |      322
1587.72/1588.26	c 1587s |      19 |   703958 |   500782 |    27949     38 |      602 |      322
1590.12/1590.63	c 1590s |      19 |   704644 |   501382 |    27949     38 |      602 |      322
1592.32/1592.90	c 1592s |      19 |   705340 |   501982 |    27949     38 |      602 |      322
1594.63/1595.14	c 1594s |      19 |   705901 |   502482 |    27949     38 |      602 |      322
1596.72/1597.22	c 1596s |      19 |   706437 |   502982 |    27949     38 |      602 |      322
1598.92/1599.49	c 1599s |      19 |   706984 |   503482 |    27949     38 |      602 |      322
1601.33/1601.81	c 1601s |      19 |   707524 |   503982 |    27949     38 |      602 |      322
1603.62/1604.19	c 1603s |      19 |   708077 |   504482 |    27949     38 |      602 |      322
1605.73/1606.25	c 1605s |      19 |   708691 |   504982 |    27949     38 |      602 |      322
1607.93/1608.49	c 1608s |      19 |   709345 |   505582 |    27949     38 |      602 |      322
1610.32/1610.80	c 1610s |      19 |   710030 |   506182 |    27949     38 |      602 |      322
1612.42/1612.94	c 1612s |      19 |   710630 |   506682 |    27949     38 |      602 |      322
1614.52/1615.02	c 1614s |      19 |   711209 |   507182 |    27949     38 |      602 |      322
1616.82/1617.32	c 1617s |      19 |   711667 |   507582 |    27949     39 |      602 |      322
1619.02/1619.58	c 1619s |      19 |   712480 |   508282 |    27949     39 |      602 |      322
1621.12/1621.63	c 1621s |      19 |   713161 |   508882 |    27949     39 |      602 |      322
1623.42/1623.95	c 1623s |      19 |   713794 |   509482 |    27949     39 |      602 |      322
1625.71/1626.20	c 1625s |      19 |   714454 |   510082 |    27949     39 |      602 |      322
1627.72/1628.21	c 1627s |      19 |   714991 |   510582 |    27949     39 |      602 |      322
1630.11/1630.64	c 1630s |      19 |   715636 |   511182 |    27949     39 |      602 |      322
1632.31/1632.83	c 1632s |      19 |   716169 |   511682 |    27949     39 |      602 |      322
1634.51/1635.04	c 1634s |      19 |   716718 |   512182 |    27949     39 |      602 |      322
1636.91/1637.45	c 1637s |      19 |   717354 |   512782 |    27949     39 |      602 |      322
1638.91/1639.49	c 1639s |      19 |   717919 |   513282 |    27949     39 |      602 |      322
1641.01/1641.55	c 1641s |      19 |   718468 |   513782 |    27949     39 |      602 |      322
1643.02/1643.56	c 1643s |      19 |   719092 |   514282 |    27949     39 |      602 |      322
1645.41/1645.97	c 1645s |      19 |   719779 |   514882 |    27949     39 |      602 |      322
1647.81/1648.33	c 1648s |      19 |   720449 |   515482 |    27949     39 |      602 |      322
1650.01/1650.54	c 1650s |      19 |   721003 |   515982 |    27949     39 |      602 |      322
1652.11/1652.64	c 1652s |      19 |   721581 |   516482 |    27949     39 |      602 |      322
1654.31/1654.87	c 1654s |      19 |   722115 |   516982 |    27949     39 |      602 |      322
1656.71/1657.21	c 1656s |      19 |   722684 |   517482 |    27949     39 |      602 |      322
1658.91/1659.45	c 1659s |      19 |   723258 |   517982 |    27949     39 |      602 |      322
1661.01/1661.57	c 1661s |      19 |   723705 |   518382 |    27949     39 |      602 |      322
1663.32/1663.82	c 1663s |      19 |   724272 |   518882 |    27949     39 |      602 |      322
1665.62/1666.19	c 1665s |      19 |   724821 |   519382 |    27949     39 |      602 |      322
1668.12/1668.60	c 1668s |      19 |   725396 |   519882 |    27949     39 |      602 |      322
1670.42/1670.96	c 1670s |      19 |   725972 |   520382 |    27949     39 |      602 |      322
1672.82/1673.31	c 1673s |      19 |   726413 |   520782 |    27949     39 |      602 |      322
1675.12/1675.61	c 1675s |      19 |   726848 |   521182 |    27949     39 |      602 |      322
1677.22/1677.73	c 1677s |      19 |   727297 |   521582 |    27949     39 |      602 |      322
1679.32/1679.88	c 1679s |      19 |   727740 |   521982 |    27949     39 |      602 |      322
1681.41/1681.90	c 1681s |      19 |   728204 |   522382 |    27949     39 |      602 |      322
1683.92/1684.42	c 1684s |      19 |   728800 |   522882 |    27949     39 |      602 |      322
1686.71/1687.25	c 1686s |      19 |   729238 |   523282 |    27949     40 |      602 |      322
1689.01/1689.55	c 1689s |      19 |   730087 |   523982 |    27949     40 |      602 |      322
1691.31/1691.83	c 1691s |      19 |   730738 |   524582 |    27949     40 |      602 |      322
1693.72/1694.23	c 1693s |      19 |   731388 |   525182 |    27949     40 |      602 |      322
1696.01/1696.58	c 1696s |      19 |   732057 |   525782 |    27949     40 |      602 |      322
1698.12/1698.62	c 1698s |      19 |   732623 |   526282 |    27949     40 |      602 |      322
1700.41/1700.91	c 1700s |      19 |   733143 |   526782 |    27949     40 |      602 |      322
1703.01/1703.54	c 1703s |      19 |   733806 |   527382 |    27949     40 |      602 |      322
1705.21/1705.73	c 1705s |      19 |   734359 |   527882 |    27949     40 |      602 |      322
1707.51/1708.01	c 1707s |      19 |   734903 |   528382 |    27949     40 |      602 |      322
1709.81/1710.34	c 1710s |      19 |   735452 |   528882 |    27949     40 |      602 |      322
1711.91/1712.41	c 1712s |      19 |   736026 |   529382 |    27949     40 |      602 |      322
1714.01/1714.54	c 1714s |      19 |   736456 |   529782 |    27949     40 |      602 |      322
1716.41/1716.94	c 1716s |      19 |   737007 |   530282 |    27949     40 |      602 |      322
1718.51/1719.07	c 1718s |      19 |   737423 |   530682 |    27949     40 |      602 |      322
1720.61/1721.19	c 1720s |      19 |   738034 |   531182 |    27949     40 |      602 |      322
1723.01/1723.53	c 1723s |      19 |   738797 |   531782 |    27949     40 |      602 |      322
1725.11/1725.64	c 1725s |      19 |   739375 |   532282 |    27949     40 |      602 |      322
1727.51/1728.00	c 1727s |      19 |   739977 |   532782 |    27949     40 |      602 |      322
1729.91/1730.42	c 1730s |      19 |   740564 |   533282 |    27949     40 |      602 |      322
1732.00/1732.58	c 1732s |      19 |   741156 |   533782 |    27949     40 |      602 |      322
1734.10/1734.61	c 1734s |      19 |   741735 |   534282 |    27949     40 |      602 |      322
1736.40/1736.90	c 1736s |      19 |   742302 |   534782 |    27949     40 |      602 |      322
1738.71/1739.25	c 1738s |      19 |   742936 |   535282 |    27949     40 |      602 |      322
1741.01/1741.53	c 1741s |      19 |   743504 |   535782 |    27949     40 |      602 |      322
1743.40/1743.96	c 1743s |      19 |   744078 |   536282 |    27949     40 |      602 |      322
1745.60/1746.16	c 1745s |      19 |   744521 |   536682 |    27949     40 |      602 |      322
1747.61/1748.17	c 1747s |      19 |   744961 |   537082 |    27949     40 |      602 |      322
1750.00/1750.50	c 1750s |      19 |   745555 |   537582 |    27949     40 |      602 |      322
1752.20/1752.76	c 1752s |      19 |   746174 |   538082 |    27949     40 |      602 |      322
1754.40/1754.96	c 1754s |      19 |   747626 |   538582 |    27949     41 |      602 |      322
1756.50/1757.04	c 1756s |      19 |   750889 |   539882 |    27949     41 |      602 |      322
1758.61/1759.13	c 1758s |      19 |   753100 |   540982 |    27949     41 |      602 |      322
1760.60/1761.18	c 1760s |      19 |   754803 |   542082 |    27949     41 |      602 |      322
1762.80/1763.36	c 1763s |      19 |   756307 |   543082 |    27949     41 |      602 |      322
1765.00/1765.54	c 1765s |      19 |   757500 |   543982 |    27949     41 |      602 |      322
1767.20/1767.72	c 1767s |      19 |   758369 |   544682 |    27949     41 |      602 |      322
1769.40/1769.93	c 1769s |      19 |   758917 |   545182 |    27949     41 |      602 |      322
1771.50/1772.08	c 1771s |      19 |   759658 |   545782 |    27949     41 |      602 |      322
1773.70/1774.22	c 1773s |      19 |   760726 |   546582 |    27949     41 |      602 |      322
1775.90/1776.41	c 1776s |      19 |   761746 |   547382 |    27949     41 |      602 |      322
1778.10/1778.62	c 1778s |      19 |   762486 |   547982 |    27949     41 |      602 |      322
1780.30/1780.83	c 1780s |      19 |   763209 |   548582 |    27949     41 |      602 |      322
1782.50/1783.01	c 1782s |      19 |   763999 |   549182 |    27949     41 |      602 |      322
1784.80/1785.31	c 1785s |      19 |   764713 |   549782 |    27949     41 |      602 |      322
1787.10/1787.63	c 1787s |      19 |   765422 |   550382 |    27949     41 |      602 |      322
1789.30/1789.82	c 1789s |      19 |   766145 |   550982 |    27949     41 |      602 |      322
1791.39/1791.94	c 1791s |      19 |   767132 |   551682 |    27949     41 |      602 |      322
1793.49/1794.07	c 1793s |      19 |   768113 |   552382 |    27949     41 |      602 |      322
1795.90/1796.41	c 1796s |      19 |   769069 |   553082 |    27949     41 |      602 |      322
1798.20/1798.74	c 1798s |      19 |   769925 |   553782 |    27949     41 |      602 |      322

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

pid=24743
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.09 2.12 2.15 3/179 24746
/proc/meminfo: memFree=29613272/32872528 swapFree=1085692/1157232
[pid=24746] ppid=24743 vsize=689596 CPUtime=0 cores=1,3,5,7
/proc/24746/stat : 24746 (toysat) R 24743 24746 21062 0 -1 4202496 2565 0 0 0 0 0 0 0 20 0 4 0 30450483 706146304 2925 33554432000 4194304 16246674 140736720408160 140736720407584 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24746/statm: 172911 2935 441 2943 0 169805 0
[pid=24746/tid=24747] ppid=24743 vsize=707004 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24747/stat : 24747 (toysat) S 24743 24746 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30450484 723972096 2996 33554432000 4194304 16246674 140736720408160 139636911353072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24748] ppid=24743 vsize=711100 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (toysat) S 24743 24746 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30450484 728166400 3012 33554432000 4194304 16246674 140736720408160 139636900863216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24743 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (toysat) S 24743 24746 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30450484 733409280 3028 33554432000 4194304 16246674 140736720408160 139636890389680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.09 2.12 2.15 3/179 24746
/proc/meminfo: memFree=29613272/32872528 swapFree=1085692/1157232
[pid=24746] ppid=24743 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/24746/stat : 24746 (toysat) R 24743 24746 21062 0 -1 4202496 28468 0 0 0 5 4 0 0 20 0 4 0 30450483 1249447936 28766 33554432000 4194304 16246674 140736720408160 140736720407472 4220491 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24746/statm: 305041 28766 801 2943 0 301935 0
[pid=24746/tid=24747] ppid=24743 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24747/stat : 24747 (toysat) S 24743 24746 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30450484 1249447936 28766 33554432000 4194304 16246674 140736720408160 139636911353072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24748] ppid=24743 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (toysat) S 24743 24746 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30450484 1249447936 28766 33554432000 4194304 16246674 140736720408160 139636900863216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24743 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (toysat) S 24743 24746 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30450484 1249447936 28766 33554432000 4194304 16246674 140736720408160 139636890389680 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.200591 s]
/proc/loadavg: 2.09 2.12 2.15 3/179 24746
/proc/meminfo: memFree=29613272/32872528 swapFree=1085692/1157232
[pid=24746] ppid=24743 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/24746/stat : 24746 (toysat) R 24743 24746 21062 0 -1 4202496 48679 0 0 0 12 7 0 0 20 0 4 0 30450483 1332285440 48977 33554432000 4194304 16246674 140736720408160 140736720407472 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24746/statm: 325265 48977 845 2943 0 322159 0
[pid=24746/tid=24747] ppid=24743 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24747/stat : 24747 (toysat) S 24743 24746 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30450484 1332285440 48977 33554432000 4194304 16246674 140736720408160 139636911353072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24748] ppid=24743 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (toysat) S 24743 24746 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30450484 1332285440 48977 33554432000 4194304 16246674 140736720408160 139636900863216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24743 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (toysat) S 24743 24746 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30450484 1332285440 48977 33554432000 4194304 16246674 140736720408160 139636890389680 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.300511 s]
/proc/loadavg: 2.09 2.12 2.15 3/179 24746
/proc/meminfo: memFree=29613272/32872528 swapFree=1085692/1157232
[pid=24746] ppid=24743 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/24746/stat : 24746 (toysat) R 24743 24746 21062 0 -1 4202496 54217 0 0 0 21 8 0 0 20 0 4 0 30450483 1332285440 54515 33554432000 4194304 16246674 140736720408160 140736720407472 5754796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24746/statm: 325265 54520 885 2943 0 322159 0
[pid=24746/tid=24747] ppid=24743 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24747/stat : 24747 (toysat) S 24743 24746 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30450484 1332285440 54526 33554432000 4194304 16246674 140736720408160 139636911353072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24748] ppid=24743 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (toysat) S 24743 24746 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30450484 1332285440 54529 33554432000 4194304 16246674 140736720408160 139636900863216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24743 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (toysat) S 24743 24746 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30450484 1332285440 54533 33554432000 4194304 16246674 140736720408160 139636890389680 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.700397 s]
/proc/loadavg: 2.09 2.12 2.15 3/179 24746
/proc/meminfo: memFree=29613272/32872528 swapFree=1085692/1157232
[pid=24746] ppid=24743 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/24746/stat : 24746 (toysat) R 24743 24746 21062 0 -1 4202496 105865 0 0 0 54 15 0 0 20 0 4 0 30450483 1332285440 106164 33554432000 4194304 16246674 140736720408160 140736720407472 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24746/statm: 325265 106168 885 2943 0 322159 0
[pid=24746/tid=24747] ppid=24743 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24747/stat : 24747 (toysat) S 24743 24746 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30450484 1332285440 106171 33554432000 4194304 16246674 140736720408160 139636911353072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24748] ppid=24743 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (toysat) S 24743 24746 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30450484 1332285440 106172 33554432000 4194304 16246674 140736720408160 139636900863216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24743 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (toysat) S 24743 24746 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30450484 1332285440 106174 33554432000 4194304 16246674 140736720408160 139636890389680 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.50039 s]
/proc/loadavg: 2.16 2.13 2.15 4/183 24750
/proc/meminfo: memFree=28984628/32872528 swapFree=1085692/1157232
[pid=24746] ppid=24743 vsize=1313348 CPUtime=1.48 cores=1,3,5,7
/proc/24746/stat : 24746 (toysat) R 24743 24746 21062 0 -1 4202496 190159 0 0 0 121 27 0 0 20 0 4 0 30450483 1344868352 190457 33554432000 4194304 16246674 140736720408160 140736720407472 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24746/statm: 328337 190457 891 2943 0 325231 0
[pid=24746/tid=24747] ppid=24743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24747/stat : 24747 (toysat) S 24743 24746 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30450484 1344868352 190457 33554432000 4194304 16246674 140736720408160 139636911353072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24748] ppid=24743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (toysat) S 24743 24746 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30450484 1344868352 190457 33554432000 4194304 16246674 140736720408160 139636900863216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (toysat) S 24743 24746 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30450484 1344868352 190457 33554432000 4194304 16246674 140736720408160 139636890389680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1313348

[startup+3.10037 s]
/proc/loadavg: 2.16 2.13 2.15 4/183 24750
/proc/meminfo: memFree=28852048/32872528 swapFree=1085692/1157232
[pid=24746] ppid=24743 vsize=1313348 CPUtime=3.08 cores=1,3,5,7
/proc/24746/stat : 24746 (toysat) R 24743 24746 21062 0 -1 4202496 190194 0 0 0 281 27 0 0 20 0 4 0 30450483 1344868352 190492 33554432000 4194304 16246674 140736720408160 140736720390080 5676609 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24746/statm: 328337 190492 891 2943 0 325231 0
[pid=24746/tid=24747] ppid=24743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24747/stat : 24747 (toysat) S 24743 24746 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30450484 1344868352 190492 33554432000 4194304 16246674 140736720408160 139636911353072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24748] ppid=24743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (toysat) S 24743 24746 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30450484 1344868352 190492 33554432000 4194304 16246674 140736720408160 139636900863216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (toysat) S 24743 24746 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30450484 1344868352 190492 33554432000 4194304 16246674 140736720408160 139636890389680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1313348

[startup+6.30042 s]
/proc/loadavg: 2.16 2.13 2.15 3/183 24750
/proc/meminfo: memFree=28639260/32872528 swapFree=1085692/1157232
[pid=24746] ppid=24743 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/24746/stat : 24746 (toysat) R 24743 24746 21062 0 -1 4202496 269528 0 0 0 591 38 0 0 20 0 4 0 30450483 1344868352 269826 33554432000 4194304 16246674 140736720408160 140736720390080 5825371 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24746/statm: 328337 269826 891 2943 0 325231 0
[pid=24746/tid=24747] ppid=24743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24747/stat : 24747 (toysat) S 24743 24746 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30450484 1344868352 269826 33554432000 4194304 16246674 140736720408160 139636911353072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24748] ppid=24743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (toysat) S 24743 24746 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30450484 1344868352 269826 33554432000 4194304 16246674 140736720408160 139636900863216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (toysat) S 24743 24746 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30450484 1344868352 269826 33554432000 4194304 16246674 140736720408160 139636890389680 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.13 2.13 2.15 3/183 24750
/proc/meminfo: memFree=28535256/32872528 swapFree=1085692/1157232
[pid=24746] ppid=24743 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/24746/stat : 24746 (toysat) R 24743 24746 21062 0 -1 4202496 269528 0 0 0 1231 38 0 0 20 0 4 0 30450483 1344868352 269826 33554432000 4194304 16246674 140736720408160 140736720390080 13949744 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24746/statm: 328337 269826 891 2943 0 325231 0
[pid=24746/tid=24747] ppid=24743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24747/stat : 24747 (toysat) S 24743 24746 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30450484 1344868352 269826 33554432000 4194304 16246674 140736720408160 139636911353072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24748] ppid=24743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (toysat) S 24743 24746 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30450484 1344868352 269826 33554432000 4194304 16246674 140736720408160 139636900863216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (toysat) S 24743 24746 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30450484 1344868352 269826 33554432000 4194304 16246674 140736720408160 139636890389680 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.5075 s]
/proc/loadavg: 2.19 2.14 2.16 3/183 24750
/proc/meminfo: memFree=28535744/32872528 swapFree=1085692/1157232
[pid=24746] ppid=24743 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/24746/stat : 24746 (toysat) R 24743 24746 21062 0 -1 4202496 269530 0 0 0 2511 38 0 0 20 0 4 0 30450483 1344868352 269828 33554432000 4194304 16246674 140736720408160 140736720390080 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24746/statm: 328337 269828 893 2943 0 325231 0
[pid=24746/tid=24747] ppid=24743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24747/stat : 24747 (toysat) S 24743 24746 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30450484 1344868352 269828 33554432000 4194304 16246674 140736720408160 139636911353072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24748] ppid=24743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (toysat) S 24743 24746 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30450484 1344868352 269828 33554432000 4194304 16246674 140736720408160 139636900863216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24743 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (toysat) S 24743 24746 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30450484 1344868352 269828 33554432000 4194304 16246674 140736720408160 139636890389680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1004 s]
/proc/loadavg: 2.19 2.14 2.16 3/183 24750
/proc/meminfo: memFree=28536992/32872528 swapFree=1085692/1157232
[pid=24746] ppid=24743 vsize=1314372 CPUtime=51.08 cores=1,3,5,7
/proc/24746/stat : 24746 (toysat) R 24743 24746 21062 0 -1 4202496 269632 0 0 0 5070 38 0 0 20 0 4 0 30450483 1345916928 269930 33554432000 4194304 16246674 140736720408160 140736720390080 5822548 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24746/statm: 328593 269930 893 2943 0 325487 0
[pid=24746/tid=24747] ppid=24743 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24747/stat : 24747 (toysat) S 24743 24746 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30450484 1345916928 269930 33554432000 4194304 16246674 140736720408160 139636911353072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24748] ppid=24743 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (toysat) S 24743 24746 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30450484 1345916928 269930 33554432000 4194304 16246674 140736720408160 139636900863216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24743 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (toysat) S 24743 24746 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30450484 1345916928 269930 33554432000 4194304 16246674 140736720408160 139636890389680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.3 s]
/proc/loadavg: 2.27 2.18 2.17 3/184 24754
/proc/meminfo: memFree=28531064/32872528 swapFree=1085692/1157232
[pid=24746] ppid=24743 vsize=1319492 CPUtime=102.27 cores=1,3,5,7
/proc/24746/stat : 24746 (toysat) R 24743 24746 21062 0 -1 4202496 270927 0 0 0 10188 39 0 0 20 0 4 0 30450483 1351159808 271225 33554432000 4194304 16246674 140736720408160 140736720390080 13191364 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24746/statm: 329873 271225 893 2943 0 326767 0
[pid=24746/tid=24747] ppid=24743 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24747/stat : 24747 (toysat) S 24743 24746 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30450484 1351159808 271225 33554432000 4194304 16246674 140736720408160 139636911353072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24748] ppid=24743 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (toysat) S 24743 24746 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30450484 1351159808 271225 33554432000 4194304 16246674 140736720408160 139636900863216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24743 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (toysat) S 24743 24746 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30450484 1351159808 271225 33554432000 4194304 16246674 140736720408160 139636890389680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1319492


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

/proc/24746/task/24749/stat : 24749 (toysat) S 24743 24746 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30450484 1361645568 273927 33554432000 4194304 16246674 140736720408160 139636890389680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1329732

[startup+1362.3 s]
/proc/loadavg: 2.15 2.16 2.16 3/183 24808
/proc/meminfo: memFree=28475144/32872528 swapFree=1085692/1157232
[pid=24746] ppid=24743 vsize=1329732 CPUtime=1361.87 cores=1,3,5,7
/proc/24746/stat : 24746 (toysat) R 24743 24746 21062 0 -1 4202496 273944 0 0 0 136137 50 0 0 20 0 4 0 30450483 1361645568 273927 33554432000 4194304 16246674 140736720408160 140736720390080 5822604 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24746/statm: 332433 273927 893 2943 0 329327 0
[pid=24746/tid=24747] ppid=24743 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24747/stat : 24747 (toysat) S 24743 24746 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30450484 1361645568 273927 33554432000 4194304 16246674 140736720408160 139636911353072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24748] ppid=24743 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (toysat) S 24743 24746 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30450484 1361645568 273927 33554432000 4194304 16246674 140736720408160 139636900863216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24743 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (toysat) S 24743 24746 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30450484 1361645568 273927 33554432000 4194304 16246674 140736720408160 139636890389680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1329732

[startup+1422.3 s]
/proc/loadavg: 2.16 2.16 2.16 3/183 24809
/proc/meminfo: memFree=28475836/32872528 swapFree=1085692/1157232
[pid=24746] ppid=24743 vsize=1329732 CPUtime=1421.86 cores=1,3,5,7
/proc/24746/stat : 24746 (toysat) R 24743 24746 21062 0 -1 4202496 273960 0 0 0 142135 51 0 0 20 0 4 0 30450483 1361645568 273927 33554432000 4194304 16246674 140736720408160 140736720390080 5523150 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24746/statm: 332433 273927 893 2943 0 329327 0
[pid=24746/tid=24747] ppid=24743 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24747/stat : 24747 (toysat) S 24743 24746 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30450484 1361645568 273927 33554432000 4194304 16246674 140736720408160 139636911353072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24748] ppid=24743 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (toysat) S 24743 24746 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30450484 1361645568 273927 33554432000 4194304 16246674 140736720408160 139636900863216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24743 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (toysat) S 24743 24746 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30450484 1361645568 273927 33554432000 4194304 16246674 140736720408160 139636890389680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1329732

[startup+1482.3 s]
/proc/loadavg: 2.10 2.14 2.15 3/183 24811
/proc/meminfo: memFree=28474920/32872528 swapFree=1085692/1157232
[pid=24746] ppid=24743 vsize=1330756 CPUtime=1481.84 cores=1,3,5,7
/proc/24746/stat : 24746 (toysat) R 24743 24746 21062 0 -1 4202496 274216 0 0 0 148133 51 0 0 20 0 4 0 30450483 1362694144 274183 33554432000 4194304 16246674 140736720408160 140736720390080 6010943 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24746/statm: 332689 274183 893 2943 0 329583 0
[pid=24746/tid=24747] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24747/stat : 24747 (toysat) S 24743 24746 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636911353072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24748] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (toysat) S 24743 24746 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636900863216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (toysat) S 24743 24746 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636890389680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1330756

[startup+1542.3 s]
/proc/loadavg: 2.14 2.14 2.15 3/183 24812
/proc/meminfo: memFree=28474920/32872528 swapFree=1085692/1157232
[pid=24746] ppid=24743 vsize=1330756 CPUtime=1541.84 cores=1,3,5,7
/proc/24746/stat : 24746 (toysat) R 24743 24746 21062 0 -1 4202496 274216 0 0 0 154133 51 0 0 20 0 4 0 30450483 1362694144 274183 33554432000 4194304 16246674 140736720408160 140736720390080 6837238 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24746/statm: 332689 274183 893 2943 0 329583 0
[pid=24746/tid=24747] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24747/stat : 24747 (toysat) S 24743 24746 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636911353072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24748] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (toysat) S 24743 24746 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636900863216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (toysat) S 24743 24746 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636890389680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1330756

[startup+1602.3 s]
/proc/loadavg: 2.23 2.16 2.15 3/183 24813
/proc/meminfo: memFree=28474540/32872528 swapFree=1085692/1157232
[pid=24746] ppid=24743 vsize=1330756 CPUtime=1601.82 cores=1,3,5,7
/proc/24746/stat : 24746 (toysat) R 24743 24746 21062 0 -1 4202496 274216 0 0 0 160131 51 0 0 20 0 4 0 30450483 1362694144 274183 33554432000 4194304 16246674 140736720408160 140736720390080 5672971 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24746/statm: 332689 274183 893 2943 0 329583 0
[pid=24746/tid=24747] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24747/stat : 24747 (toysat) S 24743 24746 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636911353072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24748] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (toysat) S 24743 24746 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636900863216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (toysat) S 24743 24746 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636890389680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1330756

[startup+1662.31 s]
/proc/loadavg: 2.13 2.14 2.15 3/183 24814
/proc/meminfo: memFree=28474536/32872528 swapFree=1085692/1157232
[pid=24746] ppid=24743 vsize=1330756 CPUtime=1661.83 cores=1,3,5,7
/proc/24746/stat : 24746 (toysat) R 24743 24746 21062 0 -1 4202496 274216 0 0 0 166131 52 0 0 20 0 4 0 30450483 1362694144 274183 33554432000 4194304 16246674 140736720408160 140736720390080 5712204 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24746/statm: 332689 274183 893 2943 0 329583 0
[pid=24746/tid=24747] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24747/stat : 24747 (toysat) S 24743 24746 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636911353072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24748] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (toysat) S 24743 24746 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636900863216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (toysat) S 24743 24746 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636890389680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1330756

[startup+1722.3 s]
/proc/loadavg: 2.15 2.14 2.15 3/183 24815
/proc/meminfo: memFree=28474540/32872528 swapFree=1085692/1157232
[pid=24746] ppid=24743 vsize=1330756 CPUtime=1721.81 cores=1,3,5,7
/proc/24746/stat : 24746 (toysat) R 24743 24746 21062 0 -1 4202496 274216 0 0 0 172129 52 0 0 20 0 4 0 30450483 1362694144 274183 33554432000 4194304 16246674 140736720408160 140736720390080 5522994 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24746/statm: 332689 274183 893 2943 0 329583 0
[pid=24746/tid=24747] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24747/stat : 24747 (toysat) S 24743 24746 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636911353072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24748] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (toysat) S 24743 24746 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636900863216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (toysat) S 24743 24746 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636890389680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1330756

[startup+1782.3 s]
/proc/loadavg: 2.15 2.14 2.15 3/183 24866
/proc/meminfo: memFree=28519236/32872528 swapFree=1085692/1157232
[pid=24746] ppid=24743 vsize=1330756 CPUtime=1781.8 cores=1,3,5,7
/proc/24746/stat : 24746 (toysat) R 24743 24746 21062 0 -1 4202496 274216 0 0 0 178128 52 0 0 20 0 4 0 30450483 1362694144 274183 33554432000 4194304 16246674 140736720408160 140736720406016 6837016 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24746/statm: 332689 274183 893 2943 0 329583 0
[pid=24746/tid=24747] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24747/stat : 24747 (toysat) S 24743 24746 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636911353072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24748] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (toysat) S 24743 24746 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636900863216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (toysat) S 24743 24746 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636890389680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1330756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.20 2.15 2.15 3/183 24866
/proc/meminfo: memFree=28519940/32872528 swapFree=1085692/1157232
[pid=24746] ppid=24743 vsize=1330756 CPUtime=1800.09 cores=1,3,5,7
/proc/24746/stat : 24746 (toysat) R 24743 24746 21062 0 -1 4202496 274216 0 0 0 179957 52 0 0 20 0 4 0 30450483 1362694144 274183 33554432000 4194304 16246674 140736720408160 140736720390080 5822428 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24746/statm: 332689 274183 893 2943 0 329583 0
[pid=24746/tid=24747] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24747/stat : 24747 (toysat) S 24743 24746 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636911353072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24748] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (toysat) S 24743 24746 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636900863216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (toysat) S 24743 24746 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636890389680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1330756

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

[startup+1800.6 s]
/proc/loadavg: 2.20 2.15 2.15 3/183 24866
/proc/meminfo: memFree=28519940/32872528 swapFree=1085692/1157232
[pid=24746] ppid=24743 vsize=1330756 CPUtime=1800.09 cores=1,3,5,7
/proc/24746/stat : 24746 (toysat) R 24743 24746 21062 0 -1 4202496 274216 0 0 0 179957 52 0 0 20 0 4 0 30450483 1362694144 274183 33554432000 4194304 16246674 140736720408160 140736720390080 5822428 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24746/statm: 332689 274183 893 2943 0 329583 0
[pid=24746/tid=24747] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24747/stat : 24747 (toysat) S 24743 24746 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636911353072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24746/tid=24748] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24748/stat : 24748 (toysat) S 24743 24746 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636900863216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24746/tid=24749] ppid=24743 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/24746/task/24749/stat : 24749 (toysat) S 24743 24746 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30450484 1362694144 274183 33554432000 4194304 16246674 140736720408160 139636890389680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1330756

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.58
CPU system time (s): 0.52492
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 1330756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.52492
maximum resident set size= 1096732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274216
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= 349
involuntary context switches= 3030

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6762 second user time and 16.6805 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 22:48:29
IDJOB=4117197
IDBENCH=109565
IDSOLVER=2542
FILE ID=node114/4117197-1466974109
RUNJOBID= node114-1466944456-21079
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

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

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

MD5SUM BENCH= 81aabf67e30e32a79ceeaaf287da6f47
RANDOM SEED=482325498

node114.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29613436 kB
Buffers:           51800 kB
Cached:           226116 kB
SwapCached:        38928 kB
Active:          1145968 kB
Inactive:         249292 kB
Active(anon):    1081988 kB
Inactive(anon):    37760 kB
Active(file):      63980 kB
Inactive(file):   211532 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061384 kB
Dirty:             16728 kB
Writeback:            52 kB
AnonPages:       2236952 kB
Mapped:            10696 kB
Shmem:                 0 kB
Slab:             568392 kB
SReclaimable:      12312 kB
SUnreclaim:       556080 kB
KernelStack:        1448 kB
PageTables:         8260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2381300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71624 MiB
End job on node114 at 2016-06-26 23:18:29