Trace number 4116773

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-size160-round23-1.opb
MD5SUMcc219414569e52f24655165854ce2725
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 constraints9536
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)448
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-27T01:05:08+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-4116773-1466982308.opb"]
0.00/0.01	c use --random-gen="3777273833 1088619555 1168139735 814797620 3034447187 380890861 3154494025 3921404213 1909587213 699368917 2786713263 1531295169 4051860620 606933843 2391643957 60946797 4117473423 2005123536 3316084690 3372120643 4154234657 277228110 2033390013 2687850829 3977012869 985787980 1837811860 725565420 305471510 1310886549 3513124121 2615772130 454781034 2917070802 2006957924 432787129 1954473841 3881698155 860717139 1524035328 1324700918 1387052899 1713360796 656916924 3632370274 347984518 3030625369 92319537 911945885 1138044862 3427113464 1701819843 264807940 574256355 3380462003 3746668959 3740452235 928405240 1331646946 580994828 3279534389 679579409 1426326316 259618410 2818426943 1995046911 3142030415 1356253014 1928331229 913623266 948886514 2064008111 1384824199 2462362908 4146503810 325985283 803197269 32093489 2028948559 998544770 1395084499 2092112454 127878154 2836338934 2329667756 2144455011 110483428 2987328007 2231857913 4144451007 1089279720 1376068224 1953890712 4286497542 977707084 2917399378 358185879 2041914890 3123115087 868777753 2237636920 2232499707 4172343802 4042672541 1599560580 681916247 886989723 2463236129 1401465124 3002725541 1776359901 2947024076 3259714247 141497728 489068743 1692871529 468163413 490788664 617785168 4242427172 3389468794 3256731453 3484027471 2071072592 3305279459 1253260156 3328577956 350301614 2214580052 3706825595 614329902 1947478981 3755421992 17687137 3740394894 2787535697 3698733151 848167758 2362059199 1577037893 2455164990 2401933510 151418235 221313926 3959543840 2163058554 3394244979 1011847203 4192285241 2925169578 2042560989 2909106193 3230887752 2561274291 1663594110 1415527077 2556043579 3889601087 3014984667 220030422 1445279709 1618094115 2804699455 4072136883 3818719325 803487379 839884909 2595277736 819401845 3931632768 2915779312 3348212367 2713700001 3116094284 451738448 2067311329 79917835 1264192522 3911196402 2166270602 4220002492 3577904650 3933128832 2497384603 2444197139 615384725 1290507406 673199989 2574435982 4206407705 2059317934 2070195798 3101607576 271893279 945729214 2465397193 1775291594 693839555 1633006860 3984039774 1276971473 1812874758 2222652469 1115084904 3550496736 1889516056 621794173 2539276820 3679092440 4138623031 4204329394 2492164924 4257355684 619475830 2436324905 2565964816 1950532290 2791058729 1827796962 2249004491 607273154 3088919146 3035396291 2816263179 206147728 1894851474 1275239008 842760916 1193617814 2675144420 3593897158 8615255 2256529844 3647817877 521178846 671171574 512122793 835988517 987834457 2264744630 250936181 3349774601 3062552740 2495111103 1773220223 3824398274 812920553 947086505 3990431745 510427436 2728513201 1175289915 3516004720 691631801 3209020954 2218534834 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9536
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 |      919 |        0
0.29/0.38	c  0.1s |       1 |     1603 |      100 |     4565      0 |      921 |      944
0.39/0.49	c  0.2s |       2 |     3291 |      250 |     5022      0 |      922 |      944
0.59/0.70	c  0.4s |       3 |     4126 |      475 |     5525      0 |      922 |      944
0.89/0.96	c  0.7s |       4 |     6649 |      813 |     6078      0 |      922 |      944
1.29/1.37	c  1.1s |       5 |     8972 |     1320 |     6686      0 |      923 |      944
1.89/1.98	c  1.7s |       6 |    12089 |     2081 |     8091      0 |      923 |      944
3.30/3.34	c  3.1s |       7 |    15920 |     3223 |     8901      0 |      923 |      944
4.19/4.25	c  4.0s |       8 |    24614 |     4936 |     9792      0 |      923 |      944
6.19/6.27	c  6.0s |       8 |    28796 |     6836 |     9792      0 |      923 |      944
7.09/7.13	c  6.9s |       9 |    29799 |     7506 |    10772      0 |      923 |      944
9.09/9.19	c  8.9s |       9 |    35290 |     9806 |    10772      0 |      923 |      944
11.19/11.25	c 11.0s |       9 |    36820 |    11106 |    10772      0 |      923 |      944
11.59/11.63	c 11.4s |      10 |    37163 |    11361 |    11850      0 |      923 |      944
13.59/13.67	c 13.4s |      10 |    46922 |    13861 |    11850      0 |      924 |      944
15.79/15.84	c 15.6s |      10 |    48517 |    15361 |    11850      1 |      924 |      944
17.89/17.90	c 17.6s |      10 |    50387 |    16961 |    11850      1 |      924 |      944
18.09/18.17	c 17.9s |      11 |    50600 |    17144 |    13036      1 |      924 |      944
20.09/20.18	c 19.9s |      11 |    58600 |    19144 |    13036      1 |      924 |      944
22.19/22.21	c 21.9s |      11 |    62018 |    20744 |    13036      1 |      924 |      944
24.30/24.34	c 24.1s |      11 |    63957 |    22144 |    13036      1 |      924 |      944
26.29/26.36	c 26.1s |      11 |    65108 |    23144 |    13036      1 |      924 |      944
28.49/28.56	c 28.3s |      11 |    66280 |    24144 |    13036      2 |      924 |      944
30.69/30.73	c 30.5s |      11 |    67199 |    24944 |    13036      2 |      924 |      944
32.79/32.87	c 32.6s |      11 |    67990 |    25644 |    13036      2 |      924 |      944
33.29/33.34	c 33.1s |      12 |    68199 |    25819 |    14340      2 |      924 |      944
35.30/35.36	c 35.1s |      12 |    77474 |    28119 |    14340      2 |      924 |      944
37.29/37.37	c 37.1s |      12 |    83145 |    30219 |    14340      2 |      924 |      944
39.39/39.46	c 39.2s |      12 |    85851 |    31819 |    14340      2 |      924 |      944
41.49/41.54	c 41.3s |      12 |    88116 |    33119 |    14340      3 |      924 |      944
43.59/43.63	c 43.4s |      12 |    89469 |    34019 |    14340      3 |      924 |      944
45.79/45.80	c 45.5s |      12 |    90325 |    34719 |    14340      3 |      924 |      944
47.78/47.85	c 47.6s |      12 |    91225 |    35419 |    14340      3 |      924 |      944
49.88/49.93	c 49.7s |      12 |    93471 |    36619 |    14340      3 |      924 |      944
52.08/52.13	c 51.8s |      12 |    94807 |    37719 |    14340      3 |      924 |      944
54.18/54.28	c 54.0s |      12 |    96113 |    38719 |    15775      3 |      924 |      944
54.58/54.60	c 54.3s |      13 |    96243 |    38832 |    15775      3 |      924 |      944
56.58/56.61	c 56.3s |      13 |   101610 |    40632 |    15775      3 |      924 |      944
58.68/58.73	c 58.5s |      13 |   103959 |    42232 |    15775      3 |      924 |      944
60.88/60.97	c 60.7s |      13 |   105698 |    43532 |    15775      4 |      924 |      944
63.08/63.10	c 62.8s |      13 |   107646 |    44932 |    15775      4 |      924 |      944
65.18/65.22	c 64.9s |      13 |   109341 |    46232 |    15775      4 |      924 |      944
67.19/67.26	c 67.0s |      13 |   110716 |    47332 |    15775      4 |      924 |      944
69.29/69.38	c 69.1s |      13 |   112135 |    48432 |    15775      4 |      924 |      944
71.37/71.45	c 71.2s |      13 |   113304 |    49332 |    15775      4 |      924 |      944
73.47/73.52	c 73.2s |      13 |   114342 |    50232 |    15775      4 |      924 |      944
75.57/75.62	c 75.3s |      13 |   115467 |    51132 |    15775      4 |      924 |      944
77.77/77.88	c 77.6s |      13 |   116730 |    52132 |    15775      4 |      924 |      944
79.87/79.91	c 79.6s |      13 |   117685 |    52932 |    15775      4 |      924 |      944
81.87/81.92	c 81.6s |      13 |   118537 |    53632 |    15775      5 |      924 |      944
84.07/84.11	c 83.8s |      13 |   119632 |    54532 |    15775      5 |      924 |      944
86.17/86.22	c 85.9s |      13 |   120557 |    55332 |    15775      5 |      924 |      944
88.27/88.32	c 88.0s |      13 |   121718 |    56232 |    15775      5 |      924 |      944
90.47/90.51	c 90.2s |      13 |   122897 |    57132 |    15775      5 |      924 |      944
92.48/92.51	c 92.2s |      13 |   123856 |    57932 |    15775      5 |      924 |      944
93.48/93.53	c 93.3s |      14 |   124356 |    58352 |    17353      5 |      924 |      944
95.47/95.55	c 95.3s |      14 |   134350 |    60652 |    17353      5 |      924 |      944
97.47/97.57	c 97.3s |      14 |   136590 |    62152 |    17353      5 |      924 |      944
99.66/99.72	c 99.4s |      14 |   138011 |    63352 |    17353      5 |      924 |      944
102.16/102.22	c  101s |      14 |   139275 |    64452 |    17353      6 |      924 |      944
104.16/104.29	c  104s |      14 |   140982 |    65752 |    17353      6 |      924 |      944
106.36/106.45	c  106s |      14 |   142210 |    66752 |    17353      6 |      924 |      944
108.46/108.58	c  108s |      14 |   143325 |    67652 |    17353      6 |      924 |      944
110.56/110.61	c  110s |      14 |   144391 |    68552 |    17353      6 |      924 |      944
112.56/112.61	c  112s |      14 |   145548 |    69452 |    17353      6 |      924 |      944
114.66/114.78	c  114s |      14 |   146454 |    70252 |    17353      6 |      924 |      944
116.96/117.06	c  116s |      14 |   147373 |    71052 |    17353      6 |      924 |      944
118.96/119.08	c  118s |      14 |   148217 |    71752 |    17353      6 |      924 |      944
121.25/121.33	c  121s |      14 |   149143 |    72552 |    17353      6 |      924 |      944
123.45/123.59	c  123s |      14 |   149914 |    73252 |    17353      6 |      924 |      944
125.65/125.71	c  125s |      14 |   150594 |    73852 |    17353      6 |      924 |      944
127.85/127.91	c  127s |      14 |   151354 |    74552 |    17353      6 |      924 |      944
129.86/129.99	c  129s |      14 |   157119 |    76152 |    17353      7 |      924 |      944
131.96/132.07	c  131s |      14 |   160077 |    77652 |    17353      7 |      924 |      944
134.05/134.12	c  133s |      14 |   161995 |    78952 |    17353      7 |      924 |      944
136.05/136.14	c  135s |      14 |   163039 |    79852 |    17353      7 |      924 |      944
138.15/138.20	c  137s |      14 |   164194 |    80852 |    17353      7 |      924 |      944
140.15/140.21	c  139s |      14 |   165080 |    81652 |    17353      7 |      924 |      944
142.14/142.26	c  141s |      14 |   165950 |    82452 |    17353      7 |      924 |      944
144.34/144.44	c  144s |      14 |   166850 |    83252 |    17353      7 |      924 |      944
146.44/146.50	c  146s |      14 |   167895 |    84052 |    17353      7 |      924 |      944
148.34/148.50	c  148s |      14 |   168887 |    84852 |    17353      7 |      924 |      944
150.44/150.59	c  150s |      14 |   169726 |    85552 |    17353      8 |      924 |      944
152.44/152.59	c  152s |      14 |   170519 |    86252 |    17353      8 |      924 |      944
154.64/154.79	c  154s |      14 |   171569 |    87152 |    19089      8 |      924 |      944
155.84/155.92	c  155s |      15 |   172124 |    87632 |    19089      8 |      924 |      944
157.84/157.97	c  157s |      15 |   178236 |    89732 |    19089      8 |      924 |      944
159.94/160.09	c  159s |      15 |   181096 |    91632 |    19089      8 |      924 |      944
162.13/162.22	c  161s |      15 |   183245 |    93332 |    19089      8 |      924 |      944
164.13/164.23	c  163s |      15 |   184642 |    94632 |    19089      8 |      924 |      944
166.23/166.37	c  166s |      15 |   185794 |    95732 |    19089      8 |      924 |      944
168.34/168.48	c  168s |      15 |   186969 |    96832 |    19089      8 |      924 |      944
170.63/170.70	c  170s |      15 |   187968 |    97732 |    19089      9 |      924 |      944
172.83/172.93	c  172s |      15 |   188926 |    98632 |    19089      9 |      924 |      944
175.03/175.14	c  174s |      15 |   189898 |    99532 |    19089      9 |      924 |      944
177.14/177.25	c  176s |      15 |   191089 |   100532 |    19089      9 |      924 |      944
179.24/179.32	c  179s |      15 |   192155 |   101432 |    19089      9 |      924 |      944
181.33/181.41	c  181s |      15 |   193218 |   102332 |    19089      9 |      924 |      944
183.43/183.58	c  183s |      15 |   194259 |   103232 |    19089      9 |      924 |      944
185.63/185.79	c  185s |      15 |   195201 |   104032 |    19089      9 |      924 |      944
187.73/187.83	c  187s |      15 |   196047 |   104732 |    19089      9 |      924 |      944
189.73/189.84	c  189s |      15 |   196641 |   105232 |    19089      9 |      924 |      944
191.83/191.98	c  191s |      15 |   197712 |   106132 |    19089      9 |      924 |      944
194.03/194.14	c  193s |      15 |   198702 |   106932 |    19089      9 |      924 |      944
196.03/196.19	c  195s |      15 |   199530 |   107632 |    19089      9 |      924 |      944
198.23/198.32	c  198s |      15 |   200435 |   108332 |    19089      9 |      924 |      944
200.43/200.58	c  200s |      15 |   201400 |   109132 |    19089     10 |      924 |      944
202.63/202.79	c  202s |      15 |   202373 |   109932 |    19089     10 |      924 |      944
205.03/205.15	c  204s |      15 |   203327 |   110732 |    19089     10 |      924 |      944
207.33/207.45	c  207s |      15 |   204143 |   111432 |    19089     10 |      924 |      944
209.43/209.51	c  209s |      15 |   204819 |   112032 |    19089     10 |      924 |      944
211.63/211.77	c  211s |      15 |   205699 |   112832 |    19089     10 |      924 |      944
213.73/213.88	c  213s |      15 |   206516 |   113532 |    19089     10 |      924 |      944
216.02/216.11	c  215s |      15 |   207394 |   114232 |    19089     10 |      924 |      944
218.22/218.37	c  218s |      15 |   208221 |   114932 |    19089     10 |      924 |      944
220.42/220.60	c  220s |      15 |   209012 |   115632 |    19089     10 |      924 |      944
222.72/222.88	c  222s |      15 |   209716 |   116232 |    19089     10 |      924 |      944
225.02/225.11	c  224s |      15 |   210396 |   116832 |    19089     10 |      924 |      944
227.32/227.45	c  227s |      15 |   211055 |   117432 |    19089     10 |      924 |      944
229.52/229.68	c  229s |      15 |   211780 |   118032 |    19089     10 |      924 |      944
231.72/231.88	c  231s |      15 |   212500 |   118632 |    19089     10 |      924 |      944
233.82/233.90	c  233s |      15 |   213081 |   119132 |    19089     10 |      924 |      944
236.02/236.19	c  235s |      15 |   213663 |   119632 |    19089     11 |      924 |      944
238.32/238.48	c  238s |      15 |   214457 |   120332 |    19089     11 |      924 |      944
240.52/240.64	c  240s |      15 |   215284 |   121032 |    19089     11 |      924 |      944
242.81/242.90	c  242s |      15 |   216103 |   121732 |    19089     11 |      924 |      944
244.91/245.05	c  244s |      15 |   216762 |   122332 |    19089     11 |      924 |      944
247.01/247.14	c  246s |      15 |   217430 |   122932 |    19089     11 |      924 |      944
249.21/249.37	c  249s |      15 |   218095 |   123532 |    19089     11 |      924 |      944
251.51/251.65	c  251s |      15 |   218776 |   124132 |    19089     11 |      924 |      944
253.61/253.70	c  253s |      15 |   219321 |   124632 |    19089     11 |      924 |      944
255.71/255.86	c  255s |      15 |   219878 |   125132 |    19089     11 |      924 |      944
257.71/257.87	c  257s |      15 |   220431 |   125632 |    19089     11 |      924 |      944
259.81/259.97	c  259s |      15 |   221096 |   126232 |    19089     11 |      924 |      944
261.90/262.06	c  261s |      15 |   221786 |   126832 |    19089     11 |      924 |      944
264.10/264.25	c  263s |      15 |   222485 |   127432 |    19089     11 |      924 |      944
266.21/266.32	c  266s |      15 |   223048 |   127932 |    19089     11 |      924 |      944
268.20/268.36	c  268s |      15 |   223610 |   128432 |    19089     11 |      924 |      944
270.30/270.40	c  270s |      15 |   224203 |   128932 |    19089     11 |      924 |      944
272.60/272.72	c  272s |      15 |   224923 |   129532 |    19089     11 |      924 |      944
274.60/274.72	c  274s |      15 |   225496 |   130032 |    19089     11 |      924 |      944
276.70/276.89	c  276s |      15 |   226059 |   130532 |    19089     11 |      924 |      944
279.20/279.38	c  279s |      15 |   226603 |   131032 |    20998     11 |      924 |      944
281.50/281.67	c  281s |      15 |   227163 |   131532 |    20998     11 |      924 |      944
281.69/281.81	c  281s |      16 |   227186 |   131552 |    20998     11 |      924 |      944
283.70/283.88	c  283s |      16 |   233751 |   133152 |    20998     12 |      924 |      944
285.69/285.89	c  285s |      16 |   237096 |   135452 |    20998     12 |      924 |      944
287.79/287.91	c  287s |      16 |   239960 |   137552 |    20998     12 |      924 |      944
289.79/289.93	c  289s |      16 |   242053 |   139252 |    20998     12 |      924 |      944
291.79/291.99	c  291s |      16 |   243829 |   140752 |    20998     12 |      924 |      944
293.89/294.07	c  293s |      16 |   245380 |   142052 |    20998     12 |      924 |      944
296.29/296.46	c  296s |      16 |   246627 |   143152 |    20998     13 |      924 |      944
298.29/298.47	c  298s |      16 |   247984 |   144352 |    20998     13 |      924 |      944
300.39/300.56	c  300s |      16 |   249377 |   145552 |    20998     13 |      924 |      944
302.58/302.72	c  302s |      16 |   250666 |   146652 |    20998     13 |      924 |      944
304.69/304.88	c  304s |      16 |   251965 |   147752 |    20998     13 |      924 |      944
306.79/306.95	c  306s |      16 |   253113 |   148752 |    20998     13 |      924 |      944
308.88/309.02	c  308s |      16 |   254131 |   149652 |    20998     13 |      924 |      944
310.88/311.08	c  310s |      16 |   255135 |   150552 |    20998     13 |      924 |      944
313.08/313.28	c  313s |      16 |   256134 |   151452 |    20998     13 |      924 |      944
315.28/315.40	c  315s |      16 |   257163 |   152352 |    20998     13 |      924 |      944
317.27/317.48	c  317s |      16 |   260684 |   153852 |    20998     13 |      924 |      944
319.27/319.48	c  319s |      16 |   262771 |   155352 |    20998     13 |      924 |      944
321.37/321.53	c  321s |      16 |   266471 |   157152 |    20998     14 |      924 |      944
323.38/323.55	c  323s |      16 |   268665 |   158452 |    20998     14 |      924 |      944
325.48/325.67	c  325s |      16 |   270339 |   159552 |    20998     14 |      924 |      944
327.57/327.79	c  327s |      16 |   271547 |   160552 |    20998     14 |      924 |      944
329.89/330.05	c  329s |      16 |   272568 |   161452 |    20998     14 |      924 |      944
332.09/332.21	c  331s |      16 |   273794 |   162452 |    20998     14 |      924 |      944
334.18/334.36	c  334s |      16 |   274916 |   163352 |    20998     14 |      924 |      944
336.38/336.50	c  336s |      16 |   276090 |   164252 |    20998     14 |      924 |      944
338.58/338.80	c  338s |      16 |   277223 |   165152 |    20998     14 |      924 |      944
340.89/341.04	c  340s |      16 |   278028 |   165852 |    20998     14 |      924 |      944
342.97/343.15	c  342s |      16 |   278790 |   166452 |    20998     14 |      924 |      944
345.17/345.32	c  345s |      16 |   279331 |   166952 |    20998     14 |      924 |      944
347.48/347.70	c  347s |      16 |   279886 |   167452 |    20998     14 |      924 |      944
350.07/350.29	c  350s |      16 |   280424 |   167952 |    20998     15 |      924 |      944
352.17/352.34	c  352s |      16 |   280856 |   168352 |    20998     15 |      924 |      944
354.57/354.72	c  354s |      16 |   281305 |   168752 |    20998     15 |      924 |      944
356.87/357.04	c  356s |      16 |   281859 |   169252 |    20998     15 |      924 |      944
359.17/359.35	c  359s |      16 |   282424 |   169752 |    20998     15 |      924 |      944
361.27/361.40	c  361s |      16 |   283022 |   170252 |    20998     15 |      924 |      944
363.67/363.84	c  363s |      16 |   283561 |   170752 |    20998     15 |      924 |      944
365.77/365.98	c  365s |      16 |   284157 |   171252 |    20998     15 |      924 |      944
367.96/368.13	c  367s |      16 |   284731 |   171752 |    20998     15 |      924 |      944
370.36/370.52	c  370s |      16 |   285267 |   172252 |    20998     15 |      924 |      944
372.77/372.97	c  372s |      16 |   285709 |   172652 |    20998     15 |      924 |      944
374.97/375.13	c  374s |      16 |   286311 |   173152 |    20998     15 |      924 |      944
377.17/377.37	c  377s |      16 |   286809 |   173552 |    20998     15 |      924 |      944
379.96/380.10	c  379s |      16 |   287269 |   173952 |    20998     15 |      924 |      944
382.36/382.53	c  382s |      16 |   287685 |   174252 |    20998     15 |      924 |      944
384.46/384.63	c  384s |      16 |   289141 |   175152 |    20998     15 |      924 |      944
386.56/386.80	c  386s |      16 |   290169 |   175952 |    20998     15 |      924 |      944
388.75/388.99	c  388s |      16 |   291423 |   176852 |    20998     15 |      924 |      944
390.95/391.12	c  390s |      16 |   292306 |   177552 |    20998     15 |      924 |      944
393.05/393.27	c  392s |      16 |   293558 |   178352 |    20998     15 |      924 |      944
395.15/395.37	c  395s |      16 |   294958 |   179252 |    20998     15 |      924 |      944
397.35/397.57	c  397s |      16 |   296017 |   180052 |    20998     15 |      924 |      944
399.45/399.61	c  399s |      16 |   297023 |   180752 |    20998     16 |      924 |      944
401.55/401.73	c  401s |      16 |   298195 |   181652 |    20998     16 |      924 |      944
403.55/403.78	c  403s |      16 |   299322 |   182552 |    20998     16 |      924 |      944
405.64/405.82	c  405s |      16 |   300475 |   183452 |    20998     16 |      924 |      944
407.64/407.87	c  407s |      16 |   301658 |   184352 |    20998     16 |      924 |      944
409.74/409.97	c  409s |      16 |   302749 |   185152 |    20998     16 |      924 |      944
411.84/412.00	c  411s |      16 |   303829 |   185952 |    20998     16 |      924 |      944
413.94/414.12	c  413s |      16 |   304818 |   186752 |    20998     16 |      924 |      944
415.94/416.14	c  415s |      16 |   305641 |   187452 |    20998     16 |      924 |      944
417.95/418.16	c  417s |      16 |   306499 |   188152 |    20998     16 |      924 |      944
420.15/420.37	c  420s |      16 |   307324 |   188852 |    20998     16 |      924 |      944
422.24/422.47	c  422s |      16 |   308341 |   189652 |    20998     16 |      924 |      944
424.54/424.74	c  424s |      16 |   309331 |   190452 |    20998     16 |      924 |      944
426.74/426.95	c  426s |      16 |   310139 |   191152 |    20998     16 |      924 |      944
429.03/429.22	c  428s |      16 |   310940 |   191852 |    20998     16 |      924 |      944
431.23/431.43	c  431s |      16 |   311589 |   192452 |    20998     17 |      924 |      944
433.34/433.55	c  433s |      16 |   312510 |   193252 |    20998     17 |      924 |      944
435.44/435.61	c  435s |      16 |   313426 |   194052 |    20998     17 |      924 |      944
437.43/437.70	c  437s |      16 |   314448 |   194852 |    20998     17 |      924 |      944
439.53/439.75	c  439s |      16 |   316553 |   195652 |    20998     17 |      924 |      944
440.94/441.12	c  440s |      17 |   318852 |   197432 |    23098     17 |      924 |      944
443.02/443.20	c  442s |      17 |   326611 |   199432 |    23098     17 |      924 |      944
445.02/445.22	c  444s |      17 |   333124 |   201232 |    23098     17 |      924 |      944
447.12/447.38	c  447s |      17 |   335098 |   202532 |    23098     17 |      924 |      944
449.32/449.53	c  449s |      17 |   336519 |   203632 |    23098     17 |      924 |      944
451.31/451.59	c  451s |      17 |   338783 |   204932 |    23098     17 |      924 |      944
453.51/453.72	c  453s |      17 |   340071 |   205932 |    23098     17 |      924 |      944
455.71/455.97	c  455s |      17 |   341036 |   206732 |    23098     18 |      924 |      944
457.81/458.03	c  457s |      17 |   341924 |   207532 |    23098     18 |      924 |      944
459.81/460.04	c  459s |      17 |   342886 |   208332 |    23098     18 |      924 |      944
461.82/462.10	c  461s |      17 |   343816 |   209132 |    23098     18 |      924 |      944
463.91/464.17	c  463s |      17 |   344761 |   209932 |    23098     18 |      924 |      944
466.01/466.23	c  465s |      17 |   346469 |   211032 |    23098     18 |      924 |      944
468.11/468.38	c  468s |      17 |   348472 |   212332 |    23098     18 |      924 |      944
470.21/470.43	c  470s |      17 |   350042 |   213332 |    23098     18 |      924 |      944
472.30/472.59	c  472s |      17 |   351186 |   214232 |    23098     18 |      924 |      944
474.50/474.78	c  474s |      17 |   352189 |   215032 |    23098     18 |      924 |      944
476.80/477.01	c  476s |      17 |   353043 |   215732 |    23098     18 |      924 |      944
478.90/479.16	c  478s |      17 |   353958 |   216532 |    23098     18 |      924 |      944
481.00/481.22	c  480s |      17 |   354730 |   217232 |    23098     18 |      924 |      944
483.09/483.37	c  483s |      17 |   355793 |   218032 |    23098     18 |      924 |      944
485.29/485.55	c  485s |      17 |   356813 |   218832 |    23098     18 |      924 |      944
487.29/487.59	c  487s |      17 |   357623 |   219532 |    23098     18 |      924 |      944
489.49/489.72	c  489s |      17 |   358637 |   220332 |    23098     19 |      924 |      944
491.50/491.77	c  491s |      17 |   359554 |   221132 |    23098     19 |      924 |      944
493.59/493.89	c  493s |      17 |   360534 |   221932 |    23098     19 |      924 |      944
495.69/495.98	c  495s |      17 |   361335 |   222632 |    23098     19 |      924 |      944
497.79/498.07	c  497s |      17 |   362145 |   223332 |    23098     19 |      924 |      944
499.99/500.27	c  499s |      17 |   362942 |   224032 |    23098     19 |      924 |      944
502.39/502.63	c  502s |      17 |   363704 |   224732 |    23098     19 |      924 |      944
504.70/504.93	c  504s |      17 |   364739 |   225532 |    23098     19 |      924 |      944
506.90/507.19	c  506s |      17 |   365534 |   226232 |    23098     19 |      924 |      944
509.20/509.48	c  509s |      17 |   366233 |   226832 |    23098     19 |      924 |      944
511.58/511.84	c  511s |      17 |   366920 |   227432 |    23098     19 |      924 |      944
513.59/513.87	c  513s |      17 |   367621 |   228032 |    23098     19 |      924 |      944
515.58/515.89	c  515s |      17 |   368202 |   228532 |    23098     19 |      924 |      944
517.89/518.17	c  517s |      17 |   368962 |   229132 |    23098     19 |      924 |      944
519.98/520.27	c  519s |      17 |   369506 |   229632 |    23098     19 |      924 |      944
522.08/522.33	c  522s |      17 |   370053 |   230132 |    23098     19 |      924 |      944
524.38/524.61	c  524s |      17 |   370601 |   230632 |    23098     19 |      924 |      944
526.58/526.80	c  526s |      17 |   371653 |   231332 |    23098     19 |      924 |      944
528.88/529.12	c  528s |      17 |   372701 |   232132 |    23098     19 |      924 |      944
531.47/531.74	c  531s |      17 |   373562 |   232832 |    23098     20 |      924 |      944
533.67/533.94	c  533s |      17 |   374683 |   233732 |    23098     20 |      924 |      944
535.77/536.08	c  535s |      17 |   375704 |   234532 |    23098     20 |      924 |      944
538.07/538.35	c  538s |      17 |   376869 |   235432 |    23098     20 |      924 |      944
540.07/540.35	c  540s |      17 |   377830 |   236132 |    23098     20 |      924 |      944
542.26/542.54	c  542s |      17 |   379022 |   237032 |    23098     20 |      924 |      944
544.56/544.80	c  544s |      17 |   380063 |   237832 |    23098     20 |      924 |      944
546.66/546.92	c  546s |      17 |   380979 |   238532 |    23098     20 |      924 |      944
548.77/549.04	c  548s |      17 |   381890 |   239232 |    23098     20 |      924 |      944
551.06/551.34	c  551s |      17 |   382709 |   239932 |    23098     20 |      924 |      944
553.25/553.50	c  553s |      17 |   383422 |   240532 |    23098     20 |      924 |      944
555.26/555.60	c  555s |      17 |   384133 |   241132 |    23098     20 |      924 |      944
557.56/557.87	c  557s |      17 |   384962 |   241832 |    23098     20 |      924 |      944
559.76/560.03	c  559s |      17 |   385631 |   242432 |    23098     20 |      924 |      944
561.74/562.09	c  561s |      17 |   386423 |   243032 |    23098     20 |      924 |      944
564.05/564.37	c  564s |      17 |   387327 |   243732 |    23098     20 |      924 |      944
566.35/566.62	c  566s |      17 |   388042 |   244332 |    23098     20 |      924 |      944
568.64/568.91	c  568s |      17 |   388774 |   244932 |    23098     20 |      924 |      944
570.94/571.26	c  570s |      17 |   389491 |   245532 |    23098     20 |      924 |      944
573.24/573.55	c  573s |      17 |   390104 |   246032 |    23098     21 |      924 |      944
575.54/575.80	c  575s |      17 |   390923 |   246732 |    23098     21 |      924 |      944
577.74/578.05	c  577s |      17 |   391648 |   247332 |    23098     21 |      924 |      944
580.04/580.32	c  580s |      17 |   392833 |   248232 |    23098     21 |      924 |      944
582.13/582.42	c  582s |      17 |   393664 |   248932 |    23098     21 |      924 |      944
584.33/584.61	c  584s |      17 |   394506 |   249632 |    23098     21 |      924 |      944
586.53/586.88	c  586s |      17 |   395476 |   250332 |    23098     21 |      924 |      944
588.63/588.92	c  588s |      17 |   396381 |   251032 |    23098     21 |      924 |      944
590.93/591.22	c  590s |      17 |   397363 |   251832 |    23098     21 |      924 |      944
592.92/593.23	c  592s |      17 |   398097 |   252432 |    23098     21 |      924 |      944
595.22/595.52	c  595s |      17 |   398845 |   253032 |    23098     21 |      924 |      944
597.52/597.83	c  597s |      17 |   399572 |   253632 |    23098     21 |      924 |      944
599.62/599.96	c  599s |      17 |   400336 |   254232 |    23098     21 |      924 |      944
601.81/602.11	c  601s |      17 |   401072 |   254832 |    23098     21 |      924 |      944
604.01/604.30	c  604s |      17 |   401772 |   255432 |    23098     21 |      924 |      944
606.11/606.42	c  606s |      17 |   402388 |   255932 |    23098     21 |      924 |      944
608.12/608.44	c  608s |      17 |   403002 |   256432 |    23098     21 |      924 |      944
610.11/610.48	c  610s |      17 |   403586 |   256932 |    23098     21 |      924 |      944
612.30/612.63	c  612s |      17 |   404174 |   257432 |    23098     21 |      924 |      944
614.30/614.66	c  614s |      17 |   404638 |   257832 |    23098     21 |      924 |      944
616.70/617.03	c  616s |      17 |   405356 |   258432 |    23098     21 |      924 |      944
619.01/619.40	c  619s |      17 |   406062 |   259032 |    23098     21 |      924 |      944
621.10/621.49	c  621s |      17 |   406697 |   259532 |    23098     22 |      924 |      944
623.51/623.81	c  623s |      17 |   407425 |   260132 |    23098     22 |      924 |      944
625.79/626.13	c  625s |      17 |   408239 |   260832 |    23098     22 |      924 |      944
628.09/628.41	c  628s |      17 |   409215 |   261632 |    23098     22 |      924 |      944
630.29/630.66	c  630s |      17 |   410087 |   262332 |    23098     22 |      924 |      944
632.49/632.85	c  632s |      17 |   411097 |   263032 |    23098     22 |      924 |      944
634.59/634.93	c  634s |      17 |   411954 |   263732 |    23098     22 |      924 |      944
636.60/636.98	c  636s |      17 |   412730 |   264332 |    23098     22 |      924 |      944
638.80/639.11	c  638s |      17 |   413455 |   264932 |    23098     22 |      924 |      944
640.79/641.18	c  640s |      17 |   414188 |   265532 |    23098     22 |      924 |      944
642.98/643.30	c  643s |      17 |   414895 |   266132 |    23098     22 |      924 |      944
644.98/645.39	c  645s |      17 |   415477 |   266632 |    23098     22 |      924 |      944
647.08/647.45	c  647s |      17 |   416088 |   267132 |    23098     22 |      924 |      944
649.28/649.64	c  649s |      17 |   416829 |   267732 |    23098     22 |      924 |      944
651.47/651.80	c  651s |      17 |   417405 |   268232 |    23098     22 |      924 |      944
653.57/653.98	c  653s |      17 |   418002 |   268732 |    23098     22 |      924 |      944
655.77/656.15	c  655s |      17 |   418579 |   269232 |    23098     22 |      924 |      944
657.97/658.35	c  658s |      17 |   419161 |   269732 |    23098     22 |      924 |      944
660.17/660.55	c  660s |      17 |   419752 |   270232 |    23098     22 |      924 |      944
662.47/662.80	c  662s |      17 |   420343 |   270732 |    23098     22 |      924 |      944
664.47/664.84	c  664s |      17 |   420819 |   271132 |    23098     22 |      924 |      944
666.57/666.97	c  666s |      17 |   421291 |   271532 |    23098     22 |      924 |      944
669.07/669.43	c  669s |      17 |   421850 |   272032 |    23098     22 |      924 |      944
671.26/671.60	c  671s |      17 |   422327 |   272432 |    23098     23 |      924 |      944
673.46/673.87	c  673s |      17 |   423030 |   273032 |    23098     23 |      924 |      944
675.56/675.95	c  675s |      17 |   423763 |   273632 |    23098     23 |      924 |      944
677.86/678.20	c  677s |      17 |   424495 |   274232 |    23098     23 |      924 |      944
680.06/680.49	c  680s |      17 |   425197 |   274832 |    23098     23 |      924 |      944
682.25/682.61	c  682s |      17 |   425775 |   275332 |    23098     23 |      924 |      944
684.35/684.76	c  684s |      17 |   426566 |   275932 |    23098     23 |      924 |      944
686.55/686.94	c  686s |      17 |   427272 |   276532 |    23098     23 |      924 |      944
688.75/689.11	c  688s |      17 |   427937 |   277132 |    23098     23 |      924 |      944
690.95/691.32	c  691s |      17 |   428864 |   277832 |    23098     23 |      924 |      944
693.15/693.56	c  693s |      17 |   429767 |   278532 |    23098     23 |      924 |      944
695.45/695.85	c  695s |      17 |   430649 |   279232 |    23098     23 |      924 |      944
697.65/698.02	c  697s |      17 |   431361 |   279832 |    23098     23 |      924 |      944
699.85/700.22	c  699s |      17 |   432062 |   280432 |    23098     23 |      924 |      944
701.85/702.29	c  702s |      17 |   432770 |   281032 |    23098     23 |      924 |      944
704.25/704.62	c  704s |      17 |   433505 |   281632 |    23098     23 |      924 |      944
706.45/706.80	c  706s |      17 |   434268 |   282232 |    23098     23 |      924 |      944
708.45/708.89	c  708s |      17 |   434858 |   282732 |    23098     23 |      924 |      944
710.75/711.18	c  710s |      17 |   435569 |   283332 |    23098     23 |      924 |      944
713.15/713.57	c  713s |      17 |   436277 |   283932 |    23098     23 |      924 |      944
715.45/715.84	c  715s |      17 |   436884 |   284432 |    23098     23 |      924 |      944
717.55/717.99	c  717s |      17 |   437489 |   284932 |    23098     23 |      924 |      944
719.86/720.28	c  720s |      17 |   437942 |   285332 |    23098     24 |      924 |      944
721.86/722.29	c  722s |      17 |   438682 |   285932 |    23098     24 |      924 |      944
724.06/724.49	c  724s |      17 |   439514 |   286632 |    23098     24 |      924 |      944
726.36/726.75	c  726s |      17 |   440520 |   287432 |    23098     24 |      924 |      944
728.46/728.88	c  728s |      17 |   441358 |   288132 |    23098     24 |      924 |      944
730.65/731.07	c  730s |      17 |   442189 |   288832 |    23098     24 |      924 |      944
732.75/733.16	c  732s |      17 |   442902 |   289432 |    23098     24 |      924 |      944
734.95/735.36	c  735s |      17 |   443616 |   290032 |    23098     24 |      924 |      944
737.25/737.68	c  737s |      17 |   444340 |   290632 |    23098     24 |      924 |      944
739.45/739.83	c  739s |      17 |   445041 |   291232 |    23098     24 |      924 |      944
741.65/742.03	c  741s |      17 |   445763 |   291832 |    23098     24 |      924 |      944
743.75/744.12	c  743s |      17 |   446353 |   292332 |    23098     24 |      924 |      944
745.95/746.34	c  746s |      17 |   446956 |   292832 |    23098     24 |      924 |      944
747.95/748.36	c  748s |      17 |   447536 |   293332 |    23098     24 |      924 |      944
749.96/750.40	c  750s |      17 |   448084 |   293832 |    23098     24 |      924 |      944
752.06/752.43	c  752s |      17 |   448637 |   294332 |    25408     24 |      924 |      944
754.26/754.70	c  754s |      17 |   449079 |   294732 |    25408     24 |      924 |      944
756.35/756.70	c  756s |      17 |   449512 |   295132 |    25408     24 |      924 |      944
758.45/758.80	c  758s |      17 |   450073 |   295632 |    25408     24 |      924 |      944
760.55/760.94	c  760s |      17 |   450653 |   296132 |    25408     24 |      924 |      944
761.05/761.43	c  761s |      18 |   450785 |   296252 |    25408     24 |      924 |      944
763.06/763.50	c  763s |      18 |   456481 |   298252 |    25408     24 |      924 |      944
765.26/765.70	c  765s |      18 |   462197 |   300352 |    25408     24 |      924 |      944
767.35/767.77	c  767s |      18 |   463918 |   301452 |    25408     25 |      924 |      944
769.35/769.79	c  769s |      18 |   467276 |   303452 |    25408     25 |      924 |      944
771.45/771.85	c  771s |      18 |   470560 |   305052 |    25408     25 |      924 |      944
773.45/773.87	c  773s |      18 |   471864 |   306052 |    25408     25 |      924 |      944
775.65/776.04	c  775s |      18 |   473979 |   307352 |    25408     25 |      924 |      944
777.65/778.08	c  777s |      18 |   475085 |   308252 |    25408     25 |      924 |      944
779.75/780.12	c  779s |      18 |   475998 |   309052 |    25408     25 |      924 |      944
781.75/782.19	c  781s |      18 |   477350 |   310052 |    25408     25 |      924 |      944
783.84/784.23	c  783s |      18 |   478367 |   310852 |    25408     25 |      924 |      944
785.84/786.28	c  786s |      18 |   479391 |   311652 |    25408     25 |      924 |      944
788.04/788.43	c  788s |      18 |   480229 |   312352 |    25408     25 |      924 |      944
790.24/790.61	c  790s |      18 |   481248 |   313152 |    25408     25 |      924 |      944
792.34/792.73	c  792s |      18 |   482258 |   313952 |    25408     25 |      924 |      944
794.44/794.89	c  794s |      18 |   483108 |   314652 |    25408     25 |      924 |      944
796.54/796.98	c  796s |      18 |   483955 |   315352 |    25408     25 |      924 |      944
798.74/799.16	c  798s |      18 |   484865 |   316052 |    25408     26 |      924 |      944
800.94/801.37	c  801s |      18 |   486258 |   317052 |    25408     26 |      924 |      944
803.14/803.55	c  803s |      18 |   487268 |   317852 |    25408     26 |      924 |      944
805.24/805.63	c  805s |      18 |   488142 |   318552 |    25408     26 |      924 |      944
807.24/807.67	c  807s |      18 |   489010 |   319252 |    25408     26 |      924 |      944
809.54/809.96	c  809s |      18 |   490018 |   320052 |    25408     26 |      924 |      944
811.74/812.11	c  811s |      18 |   490723 |   320652 |    25408     26 |      924 |      944
813.75/814.17	c  813s |      18 |   491415 |   321252 |    25408     26 |      924 |      944
816.14/816.50	c  816s |      18 |   492129 |   321852 |    25408     26 |      924 |      944
818.15/818.58	c  818s |      18 |   492852 |   322452 |    25408     26 |      924 |      944
820.44/820.84	c  820s |      18 |   493536 |   323052 |    25408     26 |      924 |      944
822.74/823.13	c  822s |      18 |   494248 |   323652 |    25408     26 |      924 |      944
824.75/825.17	c  824s |      18 |   494827 |   324152 |    25408     26 |      924 |      944
827.04/827.40	c  827s |      18 |   495572 |   324752 |    25408     26 |      924 |      944
829.05/829.45	c  829s |      18 |   496151 |   325252 |    25408     26 |      924 |      944
831.24/831.63	c  831s |      18 |   496726 |   325752 |    25408     26 |      924 |      944
833.55/833.98	c  833s |      18 |   497433 |   326352 |    25408     26 |      924 |      944
835.75/836.16	c  835s |      18 |   498025 |   326852 |    25408     26 |      924 |      944
838.13/838.51	c  838s |      18 |   498750 |   327452 |    25408     26 |      924 |      944
840.23/840.61	c  840s |      18 |   499361 |   327952 |    25408     26 |      924 |      944
842.53/842.91	c  842s |      18 |   499934 |   328452 |    25408     26 |      924 |      944
845.03/845.42	c  845s |      18 |   500509 |   328952 |    25408     26 |      924 |      944
847.13/847.55	c  847s |      18 |   501109 |   329452 |    25408     26 |      924 |      944
849.13/849.55	c  849s |      18 |   501461 |   329752 |    25408     27 |      924 |      944
851.23/851.63	c  851s |      18 |   502158 |   330352 |    25408     27 |      924 |      944
853.53/853.98	c  853s |      18 |   503219 |   331152 |    25408     27 |      924 |      944
855.63/856.02	c  855s |      18 |   504122 |   331852 |    25408     27 |      924 |      944
857.64/858.08	c  857s |      18 |   504833 |   332452 |    25408     27 |      924 |      944
859.84/860.30	c  860s |      18 |   505711 |   333152 |    25408     27 |      924 |      944
862.04/862.50	c  862s |      18 |   506383 |   333752 |    25408     27 |      924 |      944
864.34/864.79	c  864s |      18 |   507078 |   334352 |    25408     27 |      924 |      944
866.73/867.16	c  866s |      18 |   507959 |   335052 |    25408     27 |      924 |      944
869.03/869.40	c  869s |      18 |   508688 |   335652 |    25408     27 |      924 |      944
871.23/871.60	c  871s |      18 |   509421 |   336252 |    25408     27 |      924 |      944
873.23/873.63	c  873s |      18 |   510009 |   336752 |    25408     27 |      924 |      944
875.24/875.71	c  875s |      18 |   510600 |   337252 |    25408     27 |      924 |      944
877.63/878.03	c  877s |      18 |   511180 |   337752 |    25408     27 |      924 |      944
879.83/880.20	c  879s |      18 |   511764 |   338252 |    25408     27 |      924 |      944
881.94/882.38	c  882s |      18 |   512353 |   338752 |    25408     27 |      924 |      944
884.04/884.41	c  884s |      18 |   512945 |   339252 |    25408     27 |      924 |      944
886.43/886.81	c  886s |      18 |   513510 |   339752 |    25408     27 |      924 |      944
888.44/888.85	c  888s |      18 |   513940 |   340152 |    25408     27 |      924 |      944
890.64/891.06	c  890s |      18 |   514554 |   340652 |    25408     27 |      924 |      944
893.03/893.41	c  893s |      18 |   515153 |   341152 |    25408     27 |      924 |      944
895.04/895.48	c  895s |      18 |   515590 |   341552 |    25408     27 |      924 |      944
897.24/897.70	c  897s |      18 |   516193 |   342052 |    25408     27 |      924 |      944
899.33/899.72	c  899s |      18 |   516777 |   342552 |    25408     27 |      924 |      944
901.53/902.00	c  901s |      18 |   517353 |   343052 |    25408     27 |      924 |      944
903.84/904.22	c  903s |      18 |   517952 |   343552 |    25408     27 |      924 |      944
906.23/906.64	c  906s |      18 |   518557 |   344052 |    25408     27 |      924 |      944
908.43/908.88	c  908s |      18 |   519068 |   344452 |    25408     28 |      924 |      944
910.73/911.17	c  910s |      18 |   520278 |   345252 |    25408     28 |      924 |      944
912.93/913.33	c  913s |      18 |   521387 |   346052 |    25408     28 |      924 |      944
915.02/915.49	c  915s |      18 |   522267 |   346752 |    25408     28 |      924 |      944
917.22/917.65	c  917s |      18 |   523087 |   347452 |    25408     28 |      924 |      944
919.23/919.67	c  919s |      18 |   523801 |   348052 |    25408     28 |      924 |      944
921.43/921.82	c  921s |      18 |   524530 |   348652 |    25408     28 |      924 |      944
923.73/924.11	c  923s |      18 |   525238 |   349252 |    25408     28 |      924 |      944
925.93/926.39	c  926s |      18 |   525903 |   349852 |    25408     28 |      924 |      944
928.32/928.70	c  928s |      18 |   526621 |   350452 |    25408     28 |      924 |      944
930.42/930.82	c  930s |      18 |   527081 |   350852 |    25408     28 |      924 |      944
932.82/933.22	c  932s |      18 |   527672 |   351352 |    25408     28 |      924 |      944
935.22/935.60	c  935s |      18 |   528248 |   351852 |    25408     28 |      924 |      944
937.52/937.91	c  937s |      18 |   528833 |   352352 |    25408     28 |      924 |      944
939.62/940.06	c  939s |      18 |   529425 |   352852 |    25408     28 |      924 |      944
941.92/942.30	c  942s |      18 |   530042 |   353352 |    25408     28 |      924 |      944
944.22/944.66	c  944s |      18 |   530603 |   353852 |    25408     28 |      924 |      944
946.52/946.92	c  946s |      18 |   531184 |   354352 |    25408     28 |      924 |      944
949.03/949.42	c  949s |      18 |   531746 |   354852 |    25408     28 |      924 |      944
951.02/951.50	c  951s |      18 |   532070 |   355152 |    25408     28 |      924 |      944
953.72/954.19	c  953s |      18 |   532510 |   355552 |    25408     28 |      924 |      944
956.12/956.58	c  956s |      18 |   532967 |   355952 |    25408     28 |      924 |      944
958.52/958.98	c  958s |      18 |   533427 |   356352 |    25408     28 |      924 |      944
960.62/961.00	c  960s |      18 |   533766 |   356652 |    25408     28 |      924 |      944
963.02/963.43	c  963s |      18 |   534223 |   357052 |    25408     28 |      924 |      944
965.12/965.52	c  965s |      18 |   534655 |   357452 |    25408     28 |      924 |      944
967.32/967.78	c  967s |      18 |   535085 |   357852 |    25408     28 |      924 |      944
969.42/969.88	c  969s |      18 |   535411 |   358152 |    25408     28 |      924 |      944
972.32/972.71	c  972s |      18 |   535745 |   358452 |    25408     29 |      924 |      944
974.41/974.82	c  974s |      18 |   536180 |   358852 |    25408     29 |      924 |      944
976.42/976.89	c  976s |      18 |   536966 |   359452 |    25408     29 |      924 |      944
978.51/979.00	c  978s |      18 |   537996 |   360252 |    25408     29 |      924 |      944
980.71/981.14	c  980s |      18 |   538873 |   360952 |    25408     29 |      924 |      944
982.81/983.20	c  982s |      18 |   539646 |   361552 |    25408     29 |      924 |      944
985.11/985.59	c  985s |      18 |   540521 |   362252 |    25408     29 |      924 |      944
987.31/987.77	c  987s |      18 |   541243 |   362852 |    25408     29 |      924 |      944
989.41/989.83	c  989s |      18 |   541839 |   363352 |    25408     29 |      924 |      944
991.61/992.04	c  991s |      18 |   542426 |   363852 |    25408     29 |      924 |      944
993.61/994.09	c  993s |      18 |   543004 |   364352 |    25408     29 |      924 |      944
995.91/996.36	c  996s |      18 |   543778 |   364952 |    25408     29 |      924 |      944
998.01/998.41	c  998s |      18 |   544532 |   365552 |    25408     29 |      924 |      944
1000.11/1000.58	c 1000s |      18 |   545233 |   366152 |    25408     29 |      924 |      944
1002.21/1002.67	c 1002s |      18 |   545924 |   366752 |    25408     29 |      924 |      944
1004.51/1004.99	c 1004s |      18 |   546622 |   367352 |    25408     29 |      924 |      944
1006.71/1007.19	c 1006s |      18 |   547402 |   367952 |    25408     29 |      924 |      944
1008.91/1009.35	c 1009s |      18 |   548172 |   368552 |    25408     29 |      924 |      944
1011.11/1011.55	c 1011s |      18 |   548914 |   369152 |    25408     29 |      924 |      944
1013.31/1013.72	c 1013s |      18 |   549646 |   369752 |    25408     29 |      924 |      944
1015.61/1016.04	c 1015s |      18 |   550409 |   370352 |    25408     29 |      924 |      944
1018.01/1018.43	c 1018s |      18 |   551174 |   370952 |    25408     29 |      924 |      944
1020.20/1020.61	c 1020s |      18 |   551778 |   371452 |    25408     29 |      924 |      944
1022.50/1023.00	c 1022s |      18 |   552361 |   371952 |    25408     29 |      924 |      944
1024.70/1025.17	c 1024s |      18 |   552962 |   372452 |    25408     29 |      924 |      944
1027.30/1027.76	c 1027s |      18 |   553412 |   372852 |    25408     30 |      924 |      944
1029.50/1029.96	c 1029s |      18 |   554140 |   373452 |    25408     30 |      924 |      944
1031.70/1032.14	c 1031s |      18 |   554841 |   374052 |    25408     30 |      924 |      944
1034.10/1034.54	c 1034s |      18 |   555544 |   374652 |    25408     30 |      924 |      944
1036.20/1036.67	c 1036s |      18 |   556241 |   375252 |    25408     30 |      924 |      944
1038.30/1038.78	c 1038s |      18 |   556950 |   375852 |    25408     30 |      924 |      944
1040.31/1040.80	c 1040s |      18 |   557654 |   376452 |    25408     30 |      924 |      944
1042.51/1042.95	c 1042s |      18 |   558234 |   376952 |    25408     30 |      924 |      944
1044.61/1045.01	c 1044s |      18 |   558806 |   377452 |    25408     30 |      924 |      944
1046.70/1047.14	c 1046s |      18 |   559385 |   377952 |    25408     30 |      924 |      944
1048.90/1049.37	c 1049s |      18 |   559932 |   378452 |    25408     30 |      924 |      944
1051.31/1051.75	c 1051s |      18 |   560605 |   379052 |    25408     30 |      924 |      944
1053.41/1053.85	c 1053s |      18 |   561144 |   379552 |    25408     30 |      924 |      944
1055.90/1056.31	c 1056s |      18 |   561859 |   380152 |    25408     30 |      924 |      944
1058.11/1058.59	c 1058s |      18 |   562418 |   380652 |    25408     30 |      924 |      944
1060.41/1060.89	c 1060s |      18 |   562986 |   381152 |    25408     30 |      924 |      944
1062.81/1063.20	c 1062s |      18 |   563564 |   381652 |    25408     30 |      924 |      944
1064.81/1065.21	c 1064s |      18 |   563996 |   382052 |    25408     30 |      924 |      944
1067.20/1067.61	c 1067s |      18 |   564572 |   382552 |    25408     30 |      924 |      944
1069.70/1070.11	c 1069s |      18 |   565121 |   383052 |    25408     30 |      924 |      944
1072.11/1072.54	c 1072s |      18 |   565684 |   383552 |    25408     30 |      924 |      944
1074.41/1074.88	c 1074s |      18 |   566274 |   384052 |    25408     30 |      924 |      944
1076.80/1077.29	c 1077s |      18 |   566856 |   384552 |    25408     30 |      924 |      944
1078.90/1079.30	c 1079s |      18 |   567313 |   384952 |    25408     30 |      924 |      944
1081.20/1081.60	c 1081s |      18 |   567884 |   385452 |    25408     30 |      924 |      944
1083.60/1084.05	c 1083s |      18 |   568463 |   385952 |    25408     30 |      924 |      944
1085.80/1086.20	c 1085s |      18 |   568892 |   386352 |    25408     30 |      924 |      944
1088.50/1088.96	c 1088s |      18 |   569759 |   386952 |    25408     31 |      924 |      944
1090.70/1091.16	c 1090s |      18 |   572246 |   388152 |    25408     31 |      924 |      944
1092.90/1093.36	c 1093s |      18 |   574187 |   389252 |    25408     31 |      924 |      944
1095.00/1095.42	c 1095s |      18 |   575368 |   390052 |    25408     31 |      924 |      944
1097.10/1097.59	c 1097s |      18 |   576396 |   390852 |    25408     31 |      924 |      944
1099.40/1099.87	c 1099s |      18 |   577270 |   391552 |    25408     31 |      924 |      944
1101.70/1102.17	c 1101s |      18 |   578376 |   392352 |    25408     31 |      924 |      944
1103.80/1104.21	c 1103s |      18 |   579144 |   392952 |    25408     31 |      924 |      944
1106.00/1106.41	c 1106s |      18 |   580033 |   393652 |    25408     31 |      924 |      944
1108.20/1108.68	c 1108s |      18 |   580791 |   394252 |    25408     31 |      924 |      944
1110.40/1110.82	c 1110s |      18 |   581522 |   394852 |    25408     31 |      924 |      944
1112.40/1112.88	c 1112s |      18 |   582139 |   395352 |    25408     31 |      924 |      944
1114.60/1115.08	c 1114s |      18 |   582872 |   395952 |    25408     31 |      924 |      944
1116.90/1117.36	c 1117s |      18 |   583603 |   396552 |    25408     31 |      924 |      944
1119.30/1119.79	c 1119s |      18 |   584332 |   397152 |    25408     31 |      924 |      944
1121.60/1122.02	c 1121s |      18 |   585026 |   397752 |    25408     31 |      924 |      944
1123.60/1124.08	c 1123s |      18 |   585598 |   398252 |    25408     31 |      924 |      944
1125.79/1126.27	c 1125s |      18 |   586195 |   398752 |    25408     31 |      924 |      944
1128.20/1128.64	c 1128s |      18 |   586884 |   399352 |    25408     31 |      924 |      944
1130.59/1131.09	c 1130s |      18 |   587443 |   399852 |    25408     31 |      924 |      944
1133.09/1133.58	c 1133s |      18 |   588033 |   400352 |    25408     31 |      924 |      944
1135.59/1136.07	c 1135s |      18 |   588579 |   400852 |    25408     31 |      924 |      944
1138.20/1138.67	c 1138s |      18 |   589225 |   401352 |    25408     32 |      924 |      944
1140.30/1140.73	c 1140s |      18 |   589973 |   401952 |    25408     32 |      924 |      944
1142.39/1142.87	c 1142s |      18 |   590686 |   402552 |    25408     32 |      924 |      944
1144.70/1145.17	c 1144s |      18 |   591382 |   403152 |    25408     32 |      924 |      944
1146.69/1147.18	c 1146s |      18 |   591984 |   403652 |    25408     32 |      924 |      944
1148.89/1149.38	c 1149s |      18 |   592721 |   404252 |    25408     32 |      924 |      944
1151.09/1151.50	c 1151s |      18 |   593294 |   404752 |    25408     32 |      924 |      944
1153.50/1153.99	c 1153s |      18 |   593980 |   405352 |    25408     32 |      924 |      944
1155.80/1156.27	c 1155s |      18 |   594547 |   405852 |    25408     32 |      924 |      944
1158.00/1158.45	c 1158s |      18 |   595142 |   406352 |    25408     32 |      924 |      944
1160.10/1160.57	c 1160s |      18 |   595741 |   406852 |    25408     32 |      924 |      944
1162.19/1162.68	c 1162s |      18 |   596500 |   407452 |    25408     32 |      924 |      944
1164.29/1164.75	c 1164s |      18 |   597066 |   407952 |    25408     32 |      924 |      944
1166.59/1167.02	c 1166s |      18 |   597616 |   408452 |    25408     32 |      924 |      944
1168.90/1169.34	c 1169s |      18 |   598191 |   408952 |    25408     32 |      924 |      944
1171.10/1171.57	c 1171s |      18 |   598760 |   409452 |    25408     32 |      924 |      944
1173.49/1173.94	c 1173s |      18 |   599453 |   410052 |    25408     32 |      924 |      944
1175.50/1175.98	c 1175s |      18 |   600048 |   410552 |    25408     32 |      924 |      944
1177.99/1178.42	c 1178s |      18 |   600614 |   411052 |    25408     32 |      924 |      944
1180.29/1180.70	c 1180s |      18 |   601225 |   411552 |    25408     32 |      924 |      944
1182.39/1182.89	c 1182s |      18 |   601674 |   411952 |    25408     32 |      924 |      944
1184.40/1184.89	c 1184s |      18 |   602007 |   412252 |    25408     32 |      924 |      944
1186.49/1186.95	c 1186s |      18 |   602461 |   412652 |    25408     32 |      924 |      944
1188.48/1188.99	c 1188s |      18 |   602797 |   412952 |    25408     32 |      924 |      944
1190.99/1191.43	c 1191s |      18 |   603375 |   413452 |    25408     32 |      924 |      944
1192.98/1193.44	c 1193s |      18 |   603870 |   413852 |    25408     32 |      924 |      944
1195.18/1195.65	c 1195s |      18 |   604331 |   414252 |    25408     32 |      924 |      944
1197.59/1198.05	c 1197s |      18 |   604903 |   414752 |    25408     32 |      924 |      944
1199.79/1200.25	c 1199s |      18 |   605344 |   415152 |    25408     32 |      924 |      944
1201.89/1202.39	c 1202s |      18 |   605799 |   415552 |    25408     32 |      924 |      944
1204.19/1204.66	c 1204s |      18 |   606138 |   415852 |    25408     33 |      924 |      944
1206.39/1206.85	c 1206s |      18 |   606719 |   416352 |    25408     33 |      924 |      944
1208.38/1208.87	c 1208s |      18 |   607184 |   416752 |    25408     33 |      924 |      944
1210.69/1211.12	c 1210s |      18 |   607734 |   417252 |    25408     33 |      924 |      944
1212.78/1213.28	c 1213s |      18 |   608301 |   417752 |    25408     33 |      924 |      944
1214.98/1215.48	c 1215s |      18 |   608889 |   418252 |    25408     33 |      924 |      944
1217.48/1217.96	c 1217s |      18 |   609582 |   418852 |    25408     33 |      924 |      944
1219.88/1220.30	c 1220s |      18 |   610136 |   419352 |    25408     33 |      924 |      944
1222.38/1222.80	c 1222s |      18 |   610695 |   419852 |    25408     33 |      924 |      944
1224.38/1224.83	c 1224s |      18 |   611147 |   420252 |    25408     33 |      924 |      944
1226.68/1227.18	c 1226s |      18 |   611725 |   420752 |    25408     33 |      924 |      944
1229.08/1229.51	c 1229s |      18 |   612173 |   421152 |    25408     33 |      924 |      944
1231.37/1231.85	c 1231s |      18 |   612620 |   421552 |    25408     33 |      924 |      944
1233.47/1233.90	c 1233s |      18 |   612942 |   421852 |    25408     33 |      924 |      944
1235.67/1236.13	c 1235s |      18 |   613386 |   422252 |    25408     33 |      924 |      944
1237.77/1238.25	c 1237s |      18 |   613827 |   422652 |    25408     33 |      924 |      944
1239.77/1240.29	c 1240s |      18 |   614165 |   422952 |    25408     33 |      924 |      944
1242.17/1242.60	c 1242s |      18 |   614625 |   423352 |    25408     33 |      924 |      944
1244.17/1244.67	c 1244s |      18 |   614961 |   423652 |    25408     33 |      924 |      944
1246.47/1246.94	c 1246s |      18 |   615428 |   424052 |    25408     33 |      924 |      944
1248.67/1249.11	c 1248s |      18 |   615909 |   424452 |    25408     33 |      924 |      944
1250.77/1251.21	c 1250s |      18 |   616376 |   424852 |    25408     33 |      924 |      944
1252.77/1253.26	c 1252s |      18 |   616832 |   425252 |    25408     33 |      924 |      944
1254.97/1255.46	c 1255s |      18 |   617262 |   425652 |    25408     33 |      924 |      944
1257.27/1257.77	c 1257s |      18 |   617727 |   426052 |    25408     33 |      924 |      944
1259.57/1260.08	c 1259s |      18 |   618171 |   426452 |    25408     33 |      924 |      944
1262.17/1262.60	c 1262s |      18 |   618624 |   426852 |    25408     33 |      924 |      944
1264.17/1264.64	c 1264s |      18 |   618962 |   427152 |    25408     33 |      924 |      944
1266.37/1266.83	c 1266s |      18 |   619482 |   427552 |    25408     33 |      924 |      944
1268.57/1269.02	c 1268s |      18 |   620129 |   428052 |    25408     33 |      924 |      944
1270.96/1271.47	c 1271s |      18 |   620762 |   428552 |    25408     33 |      924 |      944
1273.37/1273.88	c 1273s |      18 |   621378 |   429052 |    25408     33 |      924 |      944
1275.67/1276.17	c 1275s |      18 |   621865 |   429452 |    25408     33 |      924 |      944
1277.77/1278.26	c 1277s |      18 |   622334 |   429852 |    25408     33 |      924 |      944
1279.98/1280.41	c 1280s |      18 |   622828 |   430252 |    25408     34 |      924 |      944
1281.97/1282.44	c 1282s |      18 |   623572 |   430852 |    25408     34 |      924 |      944
1283.97/1284.48	c 1284s |      18 |   624142 |   431352 |    25408     34 |      924 |      944
1286.27/1286.70	c 1286s |      18 |   624859 |   431952 |    25408     34 |      924 |      944
1288.47/1288.97	c 1288s |      18 |   625655 |   432552 |    25408     34 |      924 |      944
1290.47/1290.97	c 1290s |      18 |   626278 |   433052 |    25408     34 |      924 |      944
1292.77/1293.25	c 1292s |      18 |   626886 |   433552 |    25408     34 |      924 |      944
1294.97/1295.45	c 1295s |      18 |   627437 |   434052 |    25408     34 |      924 |      944
1297.27/1297.77	c 1297s |      18 |   628005 |   434552 |    25408     34 |      924 |      944
1299.47/1299.92	c 1299s |      18 |   628557 |   435052 |    25408     34 |      924 |      944
1301.87/1302.36	c 1302s |      18 |   629123 |   435552 |    25408     34 |      924 |      944
1303.97/1304.45	c 1304s |      18 |   629567 |   435952 |    25408     34 |      924 |      944
1305.97/1306.49	c 1306s |      18 |   630041 |   436352 |    25408     34 |      924 |      944
1308.27/1308.72	c 1308s |      18 |   630785 |   436952 |    25408     34 |      924 |      944
1310.37/1310.84	c 1310s |      18 |   631354 |   437452 |    25408     34 |      924 |      944
1312.57/1313.09	c 1312s |      18 |   631923 |   437952 |    25408     34 |      924 |      944
1314.87/1315.35	c 1315s |      18 |   632485 |   438452 |    25408     34 |      924 |      944
1317.27/1317.77	c 1317s |      18 |   633046 |   438952 |    25408     34 |      924 |      944
1319.27/1319.77	c 1319s |      18 |   633506 |   439352 |    25408     34 |      924 |      944
1321.57/1322.06	c 1321s |      18 |   634095 |   439852 |    25408     34 |      924 |      944
1323.97/1324.45	c 1324s |      18 |   634684 |   440352 |    25408     34 |      924 |      944
1326.37/1326.89	c 1326s |      18 |   635263 |   440852 |    25408     34 |      924 |      944
1328.47/1328.92	c 1328s |      18 |   635708 |   441252 |    25408     34 |      924 |      944
1330.67/1331.13	c 1330s |      18 |   636154 |   441652 |    27949     34 |      924 |      944
1333.16/1333.67	c 1333s |      18 |   636727 |   442152 |    27949     34 |      924 |      944
1335.26/1335.77	c 1335s |      18 |   637189 |   442552 |    27949     34 |      924 |      944
1337.86/1338.36	c 1338s |      18 |   637764 |   443052 |    27949     34 |      924 |      944
1339.96/1340.48	c 1340s |      18 |   638206 |   443452 |    27949     34 |      924 |      944
1342.16/1342.67	c 1342s |      18 |   638662 |   443852 |    27949     34 |      924 |      944
1344.46/1344.97	c 1344s |      18 |   639114 |   444252 |    27949     34 |      924 |      944
1345.76/1346.20	c 1345s |      19 |   639380 |   444482 |    27949     34 |      924 |      944
1347.76/1348.22	c 1347s |      19 |   641656 |   444682 |    27949     35 |      924 |      944
1349.76/1350.25	c 1349s |      19 |   643426 |   446082 |    27949     35 |      924 |      944
1351.76/1352.28	c 1352s |      19 |   644870 |   447182 |    27949     35 |      924 |      944
1353.96/1354.44	c 1354s |      19 |   646070 |   448282 |    27949     35 |      924 |      944
1355.97/1356.45	c 1356s |      19 |   648251 |   449482 |    27949     35 |      924 |      944
1357.96/1358.48	c 1358s |      19 |   650609 |   450882 |    27949     35 |      924 |      944
1360.06/1360.54	c 1360s |      19 |   652230 |   452082 |    27949     35 |      924 |      944
1362.06/1362.57	c 1362s |      19 |   653279 |   452982 |    27949     35 |      924 |      944
1364.16/1364.67	c 1364s |      19 |   654396 |   453882 |    27949     35 |      924 |      944
1366.46/1366.96	c 1366s |      19 |   655498 |   454782 |    27949     35 |      924 |      944
1368.66/1369.10	c 1368s |      19 |   659332 |   456082 |    27949     35 |      924 |      944
1370.86/1371.31	c 1371s |      19 |   661290 |   457282 |    27949     35 |      924 |      944
1372.86/1373.31	c 1373s |      19 |   662677 |   458282 |    27949     35 |      924 |      944
1375.06/1375.53	c 1375s |      19 |   663805 |   459182 |    27949     35 |      924 |      944
1377.06/1377.57	c 1377s |      19 |   664800 |   459982 |    27949     35 |      924 |      944
1379.36/1379.81	c 1379s |      19 |   665842 |   460782 |    27949     35 |      924 |      944
1381.56/1382.00	c 1381s |      19 |   666551 |   461382 |    27949     36 |      924 |      944
1383.65/1384.10	c 1383s |      19 |   667326 |   462082 |    27949     36 |      924 |      944
1385.85/1386.38	c 1386s |      19 |   668286 |   462882 |    27949     36 |      924 |      944
1387.95/1388.42	c 1388s |      19 |   668991 |   463482 |    27949     36 |      924 |      944
1390.15/1390.69	c 1390s |      19 |   669822 |   464182 |    27949     36 |      924 |      944
1392.45/1392.98	c 1392s |      19 |   670507 |   464782 |    27949     36 |      924 |      944
1394.75/1395.21	c 1394s |      19 |   671196 |   465382 |    27949     36 |      924 |      944
1396.95/1397.48	c 1397s |      19 |   671867 |   465982 |    27949     36 |      924 |      944
1399.25/1399.70	c 1399s |      19 |   672564 |   466582 |    27949     36 |      924 |      944
1401.25/1401.72	c 1401s |      19 |   673145 |   467082 |    27949     36 |      924 |      944
1403.45/1403.94	c 1403s |      19 |   673818 |   467682 |    27949     36 |      924 |      944
1405.65/1406.15	c 1405s |      19 |   674536 |   468282 |    27949     36 |      924 |      944
1407.95/1408.47	c 1408s |      19 |   675236 |   468882 |    27949     36 |      924 |      944
1410.15/1410.62	c 1410s |      19 |   675806 |   469382 |    27949     36 |      924 |      944
1412.35/1412.86	c 1412s |      19 |   676520 |   469982 |    27949     36 |      924 |      944
1414.85/1415.30	c 1415s |      19 |   677222 |   470582 |    27949     36 |      924 |      944
1416.85/1417.37	c 1417s |      19 |   677783 |   471082 |    27949     36 |      924 |      944
1418.95/1419.43	c 1419s |      19 |   678351 |   471582 |    27949     36 |      924 |      944
1421.25/1421.77	c 1421s |      19 |   678906 |   472082 |    27949     36 |      924 |      944
1423.35/1423.87	c 1423s |      19 |   679328 |   472482 |    27949     36 |      924 |      944
1425.65/1426.12	c 1425s |      19 |   679910 |   472982 |    27949     36 |      924 |      944
1427.65/1428.18	c 1427s |      19 |   680481 |   473482 |    27949     36 |      924 |      944
1430.05/1430.57	c 1430s |      19 |   681159 |   474082 |    27949     36 |      924 |      944
1432.45/1432.92	c 1432s |      19 |   681718 |   474582 |    27949     36 |      924 |      944
1434.65/1435.12	c 1434s |      19 |   682286 |   475082 |    27949     36 |      924 |      944
1436.65/1437.20	c 1436s |      19 |   682724 |   475482 |    27949     36 |      924 |      944
1439.15/1439.62	c 1439s |      19 |   683145 |   475882 |    27949     36 |      924 |      944
1441.14/1441.69	c 1441s |      19 |   683596 |   476282 |    27949     36 |      924 |      944
1443.34/1443.88	c 1443s |      19 |   684031 |   476682 |    27949     36 |      924 |      944
1445.54/1446.01	c 1445s |      19 |   684508 |   477082 |    27949     37 |      924 |      944
1447.74/1448.23	c 1447s |      19 |   685151 |   477682 |    27949     37 |      924 |      944
1449.84/1450.35	c 1450s |      19 |   685704 |   478182 |    27949     37 |      924 |      944
1452.14/1452.68	c 1452s |      19 |   686397 |   478782 |    27949     37 |      924 |      944
1454.34/1454.84	c 1454s |      19 |   687068 |   479382 |    27949     37 |      924 |      944
1456.74/1457.21	c 1456s |      19 |   687733 |   479982 |    27949     37 |      924 |      944
1459.14/1459.60	c 1459s |      19 |   688405 |   480582 |    27949     37 |      924 |      944
1461.24/1461.70	c 1461s |      19 |   688965 |   481082 |    27949     37 |      924 |      944
1463.54/1464.00	c 1463s |      19 |   689532 |   481582 |    27949     37 |      924 |      944
1465.74/1466.27	c 1465s |      19 |   690068 |   482082 |    27949     37 |      924 |      944
1468.15/1468.67	c 1468s |      19 |   690629 |   482582 |    27949     37 |      924 |      944
1470.44/1470.94	c 1470s |      19 |   691203 |   483082 |    27949     37 |      924 |      944
1472.45/1472.99	c 1472s |      19 |   691769 |   483582 |    27949     37 |      924 |      944
1474.54/1475.01	c 1474s |      19 |   692365 |   484082 |    27949     37 |      924 |      944
1476.64/1477.16	c 1476s |      19 |   692946 |   484582 |    27949     37 |      924 |      944
1478.84/1479.34	c 1479s |      19 |   693516 |   485082 |    27949     37 |      924 |      944
1480.94/1481.47	c 1481s |      19 |   694069 |   485582 |    27949     37 |      924 |      944
1483.34/1483.81	c 1483s |      19 |   694619 |   486082 |    27949     37 |      924 |      944
1485.75/1486.24	c 1485s |      19 |   695195 |   486582 |    27949     37 |      924 |      944
1488.14/1488.64	c 1488s |      19 |   695756 |   487082 |    27949     37 |      924 |      944
1490.54/1491.07	c 1490s |      19 |   696298 |   487582 |    27949     37 |      924 |      944
1492.64/1493.17	c 1492s |      19 |   696728 |   487982 |    27949     37 |      924 |      944
1494.74/1495.28	c 1495s |      19 |   697183 |   488382 |    27949     37 |      924 |      944
1497.14/1497.62	c 1497s |      19 |   697728 |   488882 |    27949     37 |      924 |      944
1499.14/1499.65	c 1499s |      19 |   698167 |   489282 |    27949     37 |      924 |      944
1501.34/1501.80	c 1501s |      19 |   698617 |   489682 |    27949     37 |      924 |      944
1503.44/1503.93	c 1503s |      19 |   699058 |   490082 |    27949     37 |      924 |      944
1505.64/1506.16	c 1505s |      19 |   699500 |   490482 |    27949     37 |      924 |      944
1508.13/1508.63	c 1508s |      19 |   699910 |   490882 |    27949     37 |      924 |      944
1510.53/1511.06	c 1510s |      19 |   700335 |   491282 |    27949     37 |      924 |      944
1513.03/1513.57	c 1513s |      19 |   700776 |   491682 |    27949     37 |      924 |      944
1515.53/1516.02	c 1515s |      19 |   701206 |   492082 |    27949     37 |      924 |      944
1517.73/1518.29	c 1518s |      19 |   701632 |   492482 |    27949     37 |      924 |      944
1519.84/1520.34	c 1520s |      19 |   701962 |   492782 |    27949     38 |      924 |      944
1521.94/1522.49	c 1522s |      19 |   702581 |   493282 |    27949     38 |      924 |      944
1524.33/1524.84	c 1524s |      19 |   703280 |   493882 |    27949     38 |      924 |      944
1526.44/1526.94	c 1526s |      19 |   703848 |   494382 |    27949     38 |      924 |      944
1528.73/1529.29	c 1529s |      19 |   704387 |   494882 |    27949     38 |      924 |      944
1531.03/1531.50	c 1531s |      19 |   704944 |   495382 |    27949     38 |      924 |      944
1533.04/1533.56	c 1533s |      19 |   705533 |   495882 |    27949     38 |      924 |      944
1535.43/1535.94	c 1535s |      19 |   706076 |   496382 |    27949     38 |      924 |      944
1537.83/1538.35	c 1538s |      19 |   706613 |   496882 |    27949     38 |      924 |      944
1540.13/1540.64	c 1540s |      19 |   707184 |   497382 |    27949     38 |      924 |      944
1542.33/1542.88	c 1542s |      19 |   707737 |   497882 |    27949     38 |      924 |      944
1544.93/1545.45	c 1545s |      19 |   708276 |   498382 |    27949     38 |      924 |      944
1546.93/1547.48	c 1547s |      19 |   708704 |   498782 |    27949     38 |      924 |      944
1549.13/1549.63	c 1549s |      19 |   709279 |   499282 |    27949     38 |      924 |      944
1551.53/1552.00	c 1551s |      19 |   709861 |   499782 |    27949     38 |      924 |      944
1553.84/1554.36	c 1554s |      19 |   710402 |   500282 |    27949     38 |      924 |      944
1556.23/1556.74	c 1556s |      19 |   710963 |   500782 |    27949     38 |      924 |      944
1558.34/1558.81	c 1558s |      19 |   711397 |   501182 |    27949     38 |      924 |      944
1560.54/1561.05	c 1560s |      19 |   711820 |   501582 |    27949     38 |      924 |      944
1562.74/1563.21	c 1562s |      19 |   712256 |   501982 |    27949     38 |      924 |      944
1564.73/1565.23	c 1564s |      19 |   712686 |   502382 |    27949     38 |      924 |      944
1567.03/1567.60	c 1567s |      19 |   713244 |   502882 |    27949     38 |      924 |      944
1569.12/1569.67	c 1569s |      19 |   713701 |   503282 |    27949     38 |      924 |      944
1571.43/1571.94	c 1571s |      19 |   714141 |   503682 |    27949     38 |      924 |      944
1573.63/1574.13	c 1573s |      19 |   714589 |   504082 |    27949     38 |      924 |      944
1575.93/1576.47	c 1576s |      19 |   715148 |   504582 |    27949     38 |      924 |      944
1578.32/1578.88	c 1578s |      19 |   715721 |   505082 |    27949     38 |      924 |      944
1580.82/1581.32	c 1581s |      19 |   716273 |   505582 |    27949     38 |      924 |      944
1582.82/1583.32	c 1583s |      19 |   716729 |   505982 |    27949     38 |      924 |      944
1585.22/1585.74	c 1585s |      19 |   717297 |   506482 |    27949     38 |      924 |      944
1587.32/1587.87	c 1587s |      19 |   717720 |   506882 |    27949     38 |      924 |      944
1589.62/1590.18	c 1589s |      19 |   718170 |   507282 |    27949     38 |      924 |      944
1592.12/1592.60	c 1592s |      19 |   718600 |   507682 |    27949     38 |      924 |      944
1594.12/1594.70	c 1594s |      19 |   719049 |   508082 |    27949     38 |      924 |      944
1596.22/1596.72	c 1596s |      19 |   719379 |   508382 |    27949     39 |      924 |      944
1598.72/1599.28	c 1599s |      19 |   720063 |   508982 |    27949     39 |      924 |      944
1601.02/1601.56	c 1601s |      19 |   720742 |   509582 |    27949     39 |      924 |      944
1603.33/1603.90	c 1603s |      19 |   721412 |   510182 |    27949     39 |      924 |      944
1605.42/1605.91	c 1605s |      19 |   721854 |   510582 |    27949     39 |      924 |      944
1607.52/1608.02	c 1607s |      19 |   722412 |   511082 |    27949     39 |      924 |      944
1609.72/1610.28	c 1610s |      19 |   722969 |   511582 |    27949     39 |      924 |      944
1612.12/1612.66	c 1612s |      19 |   723517 |   512082 |    27949     39 |      924 |      944
1614.33/1614.86	c 1614s |      19 |   724096 |   512582 |    27949     39 |      924 |      944
1616.72/1617.23	c 1616s |      19 |   724650 |   513082 |    27949     39 |      924 |      944
1619.01/1619.52	c 1619s |      19 |   725201 |   513582 |    27949     39 |      924 |      944
1621.31/1621.81	c 1621s |      19 |   725750 |   514082 |    27949     39 |      924 |      944
1623.61/1624.13	c 1623s |      19 |   726296 |   514582 |    27949     39 |      924 |      944
1625.91/1626.44	c 1626s |      19 |   726868 |   515082 |    27949     39 |      924 |      944
1627.91/1628.49	c 1628s |      19 |   727313 |   515482 |    27949     39 |      924 |      944
1630.31/1630.81	c 1630s |      19 |   727860 |   515982 |    27949     39 |      924 |      944
1632.61/1633.11	c 1632s |      19 |   728441 |   516482 |    27949     39 |      924 |      944
1634.71/1635.26	c 1634s |      19 |   728872 |   516882 |    27949     39 |      924 |      944
1636.71/1637.28	c 1637s |      19 |   729304 |   517282 |    27949     39 |      924 |      944
1639.01/1639.51	c 1639s |      19 |   729746 |   517682 |    27949     39 |      924 |      944
1641.31/1641.86	c 1641s |      19 |   730195 |   518082 |    27949     39 |      924 |      944
1643.41/1643.94	c 1643s |      19 |   730633 |   518482 |    27949     39 |      924 |      944
1645.61/1646.18	c 1645s |      19 |   731065 |   518882 |    27949     39 |      924 |      944
1648.01/1648.57	c 1648s |      19 |   731622 |   519382 |    27949     39 |      924 |      944
1650.11/1650.64	c 1650s |      19 |   732056 |   519782 |    27949     39 |      924 |      944
1652.21/1652.76	c 1652s |      19 |   732475 |   520182 |    27949     39 |      924 |      944
1654.41/1654.92	c 1654s |      19 |   732962 |   520582 |    27949     39 |      924 |      944
1656.41/1656.98	c 1656s |      19 |   733411 |   520982 |    27949     39 |      924 |      944
1658.71/1659.27	c 1658s |      19 |   733860 |   521382 |    27949     39 |      924 |      944
1661.01/1661.50	c 1661s |      19 |   734298 |   521782 |    27949     39 |      924 |      944
1663.31/1663.89	c 1663s |      19 |   734721 |   522182 |    27949     39 |      924 |      944
1665.31/1665.89	c 1665s |      19 |   735045 |   522482 |    27949     39 |      924 |      944
1667.41/1667.98	c 1667s |      19 |   735497 |   522882 |    27949     39 |      924 |      944
1669.71/1670.29	c 1670s |      19 |   735936 |   523282 |    27949     39 |      924 |      944
1672.91/1673.46	c 1673s |      19 |   736382 |   523682 |    27949     40 |      924 |      944
1675.31/1675.89	c 1675s |      19 |   736939 |   524182 |    27949     40 |      924 |      944
1677.41/1677.99	c 1677s |      19 |   737475 |   524682 |    27949     40 |      924 |      944
1679.70/1680.25	c 1679s |      19 |   738023 |   525182 |    27949     40 |      924 |      944
1682.00/1682.55	c 1682s |      19 |   738579 |   525682 |    27949     40 |      924 |      944
1684.20/1684.79	c 1684s |      19 |   739114 |   526182 |    27949     40 |      924 |      944
1686.30/1686.89	c 1686s |      19 |   739532 |   526582 |    27949     40 |      924 |      944
1688.60/1689.19	c 1688s |      19 |   740087 |   527082 |    27949     40 |      924 |      944
1691.00/1691.56	c 1691s |      19 |   740647 |   527582 |    27949     40 |      924 |      944
1693.40/1693.91	c 1693s |      19 |   741359 |   528182 |    27949     40 |      924 |      944
1695.71/1696.23	c 1695s |      19 |   741926 |   528682 |    27949     40 |      924 |      944
1697.80/1698.34	c 1698s |      19 |   742538 |   529182 |    27949     40 |      924 |      944
1699.90/1700.43	c 1700s |      19 |   743002 |   529582 |    27949     40 |      924 |      944
1702.10/1702.69	c 1702s |      19 |   743447 |   529982 |    27949     40 |      924 |      944
1704.40/1704.94	c 1704s |      19 |   744011 |   530482 |    27949     40 |      924 |      944
1706.40/1706.95	c 1706s |      19 |   744479 |   530882 |    27949     40 |      924 |      944
1708.40/1708.98	c 1708s |      19 |   744899 |   531282 |    27949     40 |      924 |      944
1710.80/1711.33	c 1711s |      19 |   745487 |   531782 |    27949     40 |      924 |      944
1713.31/1713.81	c 1713s |      19 |   746023 |   532282 |    27949     40 |      924 |      944
1715.70/1716.27	c 1715s |      19 |   746593 |   532782 |    27949     40 |      924 |      944
1717.81/1718.32	c 1718s |      19 |   747034 |   533182 |    27949     40 |      924 |      944
1720.01/1720.52	c 1720s |      19 |   747472 |   533582 |    27949     40 |      924 |      944
1722.00/1722.52	c 1722s |      19 |   747907 |   533982 |    27949     40 |      924 |      944
1724.20/1724.80	c 1724s |      19 |   748346 |   534382 |    27949     40 |      924 |      944
1726.40/1726.96	c 1726s |      19 |   748858 |   534782 |    27949     40 |      924 |      944
1728.60/1729.10	c 1728s |      19 |   749462 |   535282 |    27949     40 |      924 |      944
1730.69/1731.27	c 1730s |      19 |   750067 |   535782 |    27949     40 |      924 |      944
1733.10/1733.69	c 1733s |      19 |   750640 |   536282 |    27949     40 |      924 |      944
1735.30/1735.87	c 1735s |      19 |   751215 |   536782 |    27949     40 |      924 |      944
1737.69/1738.25	c 1737s |      19 |   751779 |   537282 |    27949     40 |      924 |      944
1739.89/1740.45	c 1740s |      19 |   752357 |   537782 |    27949     40 |      924 |      944
1742.09/1742.65	c 1742s |      19 |   752953 |   538282 |    27949     40 |      924 |      944
1744.49/1745.04	c 1744s |      19 |   753509 |   538782 |    27949     40 |      924 |      944
1746.59/1747.16	c 1746s |      19 |   753963 |   539182 |    27949     40 |      924 |      944
1748.89/1749.45	c 1749s |      19 |   754322 |   539482 |    27949     41 |      924 |      944
1751.19/1751.72	c 1751s |      19 |   755019 |   540082 |    27949     41 |      924 |      944
1753.39/1753.97	c 1753s |      19 |   755699 |   540682 |    27949     41 |      924 |      944
1755.49/1756.00	c 1755s |      19 |   756255 |   541182 |    27949     41 |      924 |      944
1757.69/1758.25	c 1757s |      19 |   756779 |   541682 |    27949     41 |      924 |      944
1759.89/1760.44	c 1760s |      19 |   757395 |   542182 |    27949     41 |      924 |      944
1762.19/1762.72	c 1762s |      19 |   758106 |   542782 |    27949     41 |      924 |      944
1764.29/1764.84	c 1764s |      19 |   758689 |   543282 |    27949     41 |      924 |      944
1766.29/1766.87	c 1766s |      19 |   759231 |   543782 |    27949     41 |      924 |      944
1768.40/1768.93	c 1768s |      19 |   759919 |   544382 |    27949     41 |      924 |      944
1770.60/1771.15	c 1770s |      19 |   760449 |   544882 |    27949     41 |      924 |      944
1772.99/1773.53	c 1773s |      19 |   760977 |   545382 |    27949     41 |      924 |      944
1775.09/1775.65	c 1775s |      19 |   761501 |   545882 |    27949     41 |      924 |      944
1777.49/1778.04	c 1777s |      19 |   762032 |   546382 |    27949     41 |      924 |      944
1779.49/1780.07	c 1779s |      19 |   762460 |   546782 |    27949     41 |      924 |      944
1781.60/1782.12	c 1781s |      19 |   762875 |   547182 |    27949     41 |      924 |      944
1783.59/1784.12	c 1783s |      19 |   763332 |   547582 |    27949     41 |      924 |      944
1786.01/1786.54	c 1786s |      19 |   763904 |   548082 |    27949     41 |      924 |      944
1788.50/1789.00	c 1788s |      19 |   764434 |   548582 |    27949     41 |      924 |      944
1790.89/1791.45	c 1791s |      19 |   764988 |   549082 |    27949     41 |      924 |      944
1793.09/1793.64	c 1793s |      19 |   765425 |   549482 |    27949     41 |      924 |      944
1795.59/1796.12	c 1795s |      19 |   765975 |   549982 |    27949     41 |      924 |      944
1797.69/1798.22	c 1797s |      19 |   766419 |   550382 |    27949     41 |      924 |      944

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.01 3/252 4949
/proc/meminfo: memFree=31894084/32872528 swapFree=7556/7556
[pid=4949] ppid=4946 vsize=1058236 CPUtime=0 cores=0-3,8-11
/proc/4949/stat : 4949 (toysat) R 4946 4949 4307 0 -1 4202496 4003 0 0 0 0 0 0 0 20 0 4 0 31269002 1083633664 4875 33554432000 4194304 16246674 140737443236352 140737443235776 13880264 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4949/statm: 265327 4884 441 2943 0 262221 0
[pid=4949/tid=4950] ppid=4946 vsize=1080764 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4950/stat : 4950 (toysat) S 4946 4949 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269003 1106702336 4963 33554432000 4194304 16246674 140737443236352 139861335977200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4949/tid=4951] ppid=4946 vsize=1085884 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4951/stat : 4951 (toysat) S 4946 4949 4307 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31269003 1111945216 4982 33554432000 4194304 16246674 140737443236352 139861247896816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4949/tid=4952] ppid=4946 vsize=1089980 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4952/stat : 4952 (toysat) S 4946 4949 4307 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31269003 1116139520 4999 33554432000 4194304 16246674 140737443236352 139861237423280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0

[startup+0.100107 s]
/proc/loadavg: 2.00 2.02 2.01 3/252 4949
/proc/meminfo: memFree=31894084/32872528 swapFree=7556/7556
[pid=4949] ppid=4946 vsize=1220164 CPUtime=0.09 cores=0-3,8-11
/proc/4949/stat : 4949 (toysat) R 4946 4949 4307 0 -1 4202496 28464 0 0 0 5 4 0 0 20 0 4 0 31269002 1249447936 29274 33554432000 4194304 16246674 140737443236352 140737443235664 4220897 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4949/statm: 305041 29274 801 2943 0 301935 0
[pid=4949/tid=4950] ppid=4946 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4950/stat : 4950 (toysat) S 4946 4949 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269003 1249447936 29274 33554432000 4194304 16246674 140737443236352 139861335977200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4949/tid=4951] ppid=4946 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4951/stat : 4951 (toysat) S 4946 4949 4307 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31269003 1249447936 29274 33554432000 4194304 16246674 140737443236352 139861247896816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4949/tid=4952] ppid=4946 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4952/stat : 4952 (toysat) S 4946 4949 4307 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31269003 1249447936 29274 33554432000 4194304 16246674 140737443236352 139861237423280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200455 s]
/proc/loadavg: 2.00 2.02 2.01 3/252 4949
/proc/meminfo: memFree=31894084/32872528 swapFree=7556/7556
[pid=4949] ppid=4946 vsize=1301060 CPUtime=0.19 cores=0-3,8-11
/proc/4949/stat : 4949 (toysat) R 4946 4949 4307 0 -1 4202496 48671 0 0 0 12 7 0 0 20 0 4 0 31269002 1332285440 49481 33554432000 4194304 16246674 140737443236352 140737443235664 13927320 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4949/statm: 325265 49481 842 2943 0 322159 0
[pid=4949/tid=4950] ppid=4946 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4950/stat : 4950 (toysat) S 4946 4949 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269003 1332285440 49481 33554432000 4194304 16246674 140737443236352 139861335977200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4949/tid=4951] ppid=4946 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4951/stat : 4951 (toysat) S 4946 4949 4307 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31269003 1332285440 49481 33554432000 4194304 16246674 140737443236352 139861247896816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4949/tid=4952] ppid=4946 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4952/stat : 4952 (toysat) S 4946 4949 4307 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31269003 1332285440 49481 33554432000 4194304 16246674 140737443236352 139861237423280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.3004 s]
/proc/loadavg: 2.00 2.02 2.01 3/252 4949
/proc/meminfo: memFree=31894084/32872528 swapFree=7556/7556
[pid=4949] ppid=4946 vsize=1301060 CPUtime=0.29 cores=0-3,8-11
/proc/4949/stat : 4949 (toysat) R 4946 4949 4307 0 -1 4202496 54719 0 0 0 21 8 0 0 20 0 4 0 31269002 1332285440 55529 33554432000 4194304 16246674 140737443236352 140737443235664 13954518 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4949/statm: 325265 55534 882 2943 0 322159 0
[pid=4949/tid=4950] ppid=4946 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4950/stat : 4950 (toysat) S 4946 4949 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269003 1332285440 55537 33554432000 4194304 16246674 140737443236352 139861335977200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4949/tid=4951] ppid=4946 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4951/stat : 4951 (toysat) S 4946 4949 4307 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31269003 1332285440 55541 33554432000 4194304 16246674 140737443236352 139861247896816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4949/tid=4952] ppid=4946 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4952/stat : 4952 (toysat) S 4946 4949 4307 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31269003 1332285440 55544 33554432000 4194304 16246674 140737443236352 139861237423280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.70035 s]
/proc/loadavg: 2.00 2.02 2.01 3/252 4949
/proc/meminfo: memFree=31894084/32872528 swapFree=7556/7556
[pid=4949] ppid=4946 vsize=1301060 CPUtime=0.69 cores=0-3,8-11
/proc/4949/stat : 4949 (toysat) R 4946 4949 4307 0 -1 4202496 107069 0 0 0 53 16 0 0 20 0 4 0 31269002 1332285440 107879 33554432000 4194304 16246674 140737443236352 140737443218240 5582293 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4949/statm: 325265 107882 882 2943 0 322159 0
[pid=4949/tid=4950] ppid=4946 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4950/stat : 4950 (toysat) S 4946 4949 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269003 1332285440 107886 33554432000 4194304 16246674 140737443236352 139861335977200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4949/tid=4951] ppid=4946 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4951/stat : 4951 (toysat) S 4946 4949 4307 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31269003 1332285440 107891 33554432000 4194304 16246674 140737443236352 139861247896816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4949/tid=4952] ppid=4946 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4952/stat : 4952 (toysat) S 4946 4949 4307 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31269003 1332285440 107893 33554432000 4194304 16246674 140737443236352 139861237423280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50039 s]
/proc/loadavg: 2.00 2.02 2.01 3/265 4966
/proc/meminfo: memFree=30635684/32872528 swapFree=7556/7556
[pid=4949] ppid=4946 vsize=1301060 CPUtime=1.49 cores=0-3,8-11
/proc/4949/stat : 4949 (toysat) R 4946 4949 4307 0 -1 4202496 213165 0 0 0 118 31 0 0 20 0 4 0 31269002 1332285440 213975 33554432000 4194304 16246674 140737443236352 140737443218240 5677277 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4949/statm: 325265 213978 882 2943 0 322159 0
[pid=4949/tid=4950] ppid=4946 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4950/stat : 4950 (toysat) S 4946 4949 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269003 1332285440 213980 33554432000 4194304 16246674 140737443236352 139861335977200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4949/tid=4951] ppid=4946 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4951/stat : 4951 (toysat) S 4946 4949 4307 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31269003 1332285440 213983 33554432000 4194304 16246674 140737443236352 139861247896816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4949/tid=4952] ppid=4946 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4952/stat : 4952 (toysat) S 4946 4949 4307 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31269003 1332285440 213985 33554432000 4194304 16246674 140737443236352 139861237423280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10039 s]
/proc/loadavg: 2.00 2.02 2.01 3/265 4966
/proc/meminfo: memFree=30079280/32872528 swapFree=7556/7556
[pid=4949] ppid=4946 vsize=1313348 CPUtime=3.09 cores=0-3,8-11
/proc/4949/stat : 4949 (toysat) R 4946 4949 4307 0 -1 4202496 269521 0 0 0 270 39 0 0 20 0 4 0 31269002 1344868352 270331 33554432000 4194304 16246674 140737443236352 140737443218240 5600331 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4949/statm: 328337 270331 889 2943 0 325231 0
[pid=4949/tid=4950] ppid=4946 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4950/stat : 4950 (toysat) S 4946 4949 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269003 1344868352 270331 33554432000 4194304 16246674 140737443236352 139861335977200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4949/tid=4951] ppid=4946 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4951/stat : 4951 (toysat) S 4946 4949 4307 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31269003 1344868352 270331 33554432000 4194304 16246674 140737443236352 139861247896816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4949/tid=4952] ppid=4946 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4952/stat : 4952 (toysat) S 4946 4949 4307 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31269003 1344868352 270331 33554432000 4194304 16246674 140737443236352 139861237423280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.3004 s]
/proc/loadavg: 2.00 2.02 2.01 3/265 4966
/proc/meminfo: memFree=29735620/32872528 swapFree=7556/7556
[pid=4949] ppid=4946 vsize=1313348 CPUtime=6.29 cores=0-3,8-11
/proc/4949/stat : 4949 (toysat) R 4946 4949 4307 0 -1 4202496 269523 0 0 0 589 40 0 0 20 0 4 0 31269002 1344868352 270333 33554432000 4194304 16246674 140737443236352 140737443235528 5672188 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4949/statm: 328337 270333 891 2943 0 325231 0
[pid=4949/tid=4950] ppid=4946 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4950/stat : 4950 (toysat) S 4946 4949 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269003 1344868352 270333 33554432000 4194304 16246674 140737443236352 139861335977200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4949/tid=4951] ppid=4946 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4951/stat : 4951 (toysat) S 4946 4949 4307 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31269003 1344868352 270333 33554432000 4194304 16246674 140737443236352 139861247896816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4949/tid=4952] ppid=4946 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4952/stat : 4952 (toysat) S 4946 4949 4307 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31269003 1344868352 270333 33554432000 4194304 16246674 140737443236352 139861237423280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 2.01 3/265 4966
/proc/meminfo: memFree=29735580/32872528 swapFree=7556/7556
[pid=4949] ppid=4946 vsize=1313348 CPUtime=12.69 cores=0-3,8-11
/proc/4949/stat : 4949 (toysat) R 4946 4949 4307 0 -1 4202496 269523 0 0 0 1229 40 0 0 20 0 4 0 31269002 1344868352 270333 33554432000 4194304 16246674 140737443236352 140737443219352 13950971 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4949/statm: 328337 270333 891 2943 0 325231 0
[pid=4949/tid=4950] ppid=4946 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4950/stat : 4950 (toysat) S 4946 4949 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269003 1344868352 270333 33554432000 4194304 16246674 140737443236352 139861335977200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4949/tid=4951] ppid=4946 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4951/stat : 4951 (toysat) S 4946 4949 4307 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31269003 1344868352 270333 33554432000 4194304 16246674 140737443236352 139861247896816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4949/tid=4952] ppid=4946 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4952/stat : 4952 (toysat) S 4946 4949 4307 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31269003 1344868352 270333 33554432000 4194304 16246674 140737443236352 139861237423280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.00 2.02 2.01 3/265 4966
/proc/meminfo: memFree=29736428/32872528 swapFree=7556/7556
[pid=4949] ppid=4946 vsize=1313348 CPUtime=25.49 cores=0-3,8-11
/proc/4949/stat : 4949 (toysat) R 4946 4949 4307 0 -1 4202496 269526 0 0 0 2509 40 0 0 20 0 4 0 31269002 1344868352 270337 33554432000 4194304 16246674 140737443236352 140737443218240 5722816 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4949/statm: 328337 270337 892 2943 0 325231 0
[pid=4949/tid=4950] ppid=4946 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4950/stat : 4950 (toysat) S 4946 4949 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269003 1344868352 270337 33554432000 4194304 16246674 140737443236352 139861335977200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4949/tid=4951] ppid=4946 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4951/stat : 4951 (toysat) S 4946 4949 4307 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31269003 1344868352 270337 33554432000 4194304 16246674 140737443236352 139861247896816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4949/tid=4952] ppid=4946 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4952/stat : 4952 (toysat) S 4946 4949 4307 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31269003 1344868352 270337 33554432000 4194304 16246674 140737443236352 139861237423280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.00 2.01 2.00 3/265 4966
/proc/meminfo: memFree=29736452/32872528 swapFree=7556/7556
[pid=4949] ppid=4946 vsize=1313348 CPUtime=51.08 cores=0-3,8-11
/proc/4949/stat : 4949 (toysat) R 4946 4949 4307 0 -1 4202496 269530 0 0 0 5068 40 0 0 20 0 4 0 31269002 1344868352 270337 33554432000 4194304 16246674 140737443236352 140737443218240 5545988 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4949/statm: 328337 270337 892 2943 0 325231 0
[pid=4949/tid=4950] ppid=4946 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4950/stat : 4950 (toysat) S 4946 4949 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269003 1344868352 270337 33554432000 4194304 16246674 140737443236352 139861335977200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4949/tid=4951] ppid=4946 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4951/stat : 4951 (toysat) S 4946 4949 4307 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31269003 1344868352 270337 33554432000 4194304 16246674 140737443236352 139861247896816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4949/tid=4952] ppid=4946 vsize=1313348 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4952/stat : 4952 (toysat) S 4946 4949 4307 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31269003 1344868352 270337 33554432000 4194304 16246674 140737443236352 139861237423280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/265 4967
/proc/meminfo: memFree=29725732/32872528 swapFree=7556/7556
[pid=4949] ppid=4946 vsize=1316420 CPUtime=102.27 cores=0-3,8-11
/proc/4949/stat : 4949 (toysat) R 4946 4949 4307 0 -1 4202496 270090 0 0 0 10187 40 0 0 20 0 4 0 31269002 1348014080 270879 33554432000 4194304 16246674 140737443236352 140737443218240 5711416 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4949/statm: 329105 270879 892 2943 0 325999 0
[pid=4949/tid=4950] ppid=4946 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4950/stat : 4950 (toysat) S 4946 4949 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269003 1348014080 270879 33554432000 4194304 16246674 140737443236352 139861335977200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4949/tid=4951] ppid=4946 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4951/stat : 4951 (toysat) S 4946 4949 4307 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31269003 1348014080 270879 33554432000 4194304 16246674 140737443236352 139861247896816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4949/tid=4952] ppid=4946 vsize=1316420 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4952/stat : 4952 (toysat) S 4946 4949 4307 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31269003 1348014080 270879 33554432000 4194304 16246674 140737443236352 139861237423280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1316420


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

/proc/4949/task/4952/stat : 4952 (toysat) S 4946 4949 4307 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861237423280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1332804

[startup+1302.3 s]
/proc/loadavg: 2.04 2.08 2.02 3/265 4997
/proc/meminfo: memFree=29688816/32872528 swapFree=7556/7556
[pid=4949] ppid=4946 vsize=1332804 CPUtime=1301.87 cores=0-3,8-11
/proc/4949/stat : 4949 (toysat) R 4946 4949 4307 0 -1 4202496 274743 0 0 0 130139 48 0 0 20 0 4 0 31269002 1364791296 275201 33554432000 4194304 16246674 140737443236352 140737443218240 5723239 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4949/statm: 333201 275201 892 2943 0 330095 0
[pid=4949/tid=4950] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4950/stat : 4950 (toysat) S 4946 4949 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861335977200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4949/tid=4951] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4951/stat : 4951 (toysat) S 4946 4949 4307 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861247896816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4949/tid=4952] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4952/stat : 4952 (toysat) S 4946 4949 4307 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861237423280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1332804

[startup+1362.3 s]
/proc/loadavg: 2.11 2.09 2.03 3/265 4998
/proc/meminfo: memFree=29688736/32872528 swapFree=7556/7556
[pid=4949] ppid=4946 vsize=1332804 CPUtime=1361.86 cores=0-3,8-11
/proc/4949/stat : 4949 (toysat) R 4946 4949 4307 0 -1 4202496 274743 0 0 0 136138 48 0 0 20 0 4 0 31269002 1364791296 275201 33554432000 4194304 16246674 140737443236352 140737443218240 12477780 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4949/statm: 333201 275201 892 2943 0 330095 0
[pid=4949/tid=4950] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4950/stat : 4950 (toysat) S 4946 4949 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861335977200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4949/tid=4951] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4951/stat : 4951 (toysat) S 4946 4949 4307 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861247896816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4949/tid=4952] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4952/stat : 4952 (toysat) S 4946 4949 4307 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861237423280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1332804

[startup+1422.3 s]
/proc/loadavg: 2.04 2.07 2.02 3/265 4999
/proc/meminfo: memFree=29688936/32872528 swapFree=7556/7556
[pid=4949] ppid=4946 vsize=1332804 CPUtime=1421.86 cores=0-3,8-11
/proc/4949/stat : 4949 (toysat) R 4946 4949 4307 0 -1 4202496 274743 0 0 0 142138 48 0 0 20 0 4 0 31269002 1364791296 275201 33554432000 4194304 16246674 140737443236352 140737443218240 4220897 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4949/statm: 333201 275201 892 2943 0 330095 0
[pid=4949/tid=4950] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4950/stat : 4950 (toysat) S 4946 4949 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861335977200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4949/tid=4951] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4951/stat : 4951 (toysat) S 4946 4949 4307 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861247896816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4949/tid=4952] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4952/stat : 4952 (toysat) S 4946 4949 4307 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861237423280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1332804

[startup+1482.3 s]
/proc/loadavg: 2.11 2.09 2.03 3/265 5001
/proc/meminfo: memFree=29688816/32872528 swapFree=7556/7556
[pid=4949] ppid=4946 vsize=1332804 CPUtime=1481.84 cores=0-3,8-11
/proc/4949/stat : 4949 (toysat) R 4946 4949 4307 0 -1 4202496 274743 0 0 0 148136 48 0 0 20 0 4 0 31269002 1364791296 275201 33554432000 4194304 16246674 140737443236352 140737443218240 5827686 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4949/statm: 333201 275201 892 2943 0 330095 0
[pid=4949/tid=4950] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4950/stat : 4950 (toysat) S 4946 4949 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861335977200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4949/tid=4951] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4951/stat : 4951 (toysat) S 4946 4949 4307 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861247896816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4949/tid=4952] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4952/stat : 4952 (toysat) S 4946 4949 4307 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861237423280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1332804

[startup+1542.31 s]
/proc/loadavg: 2.15 2.11 2.04 3/266 5005
/proc/meminfo: memFree=29689116/32872528 swapFree=7556/7556
[pid=4949] ppid=4946 vsize=1332804 CPUtime=1541.84 cores=0-3,8-11
/proc/4949/stat : 4949 (toysat) R 4946 4949 4307 0 -1 4202496 274743 0 0 0 154136 48 0 0 20 0 4 0 31269002 1364791296 275201 33554432000 4194304 16246674 140737443236352 140737443218240 5822484 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4949/statm: 333201 275201 892 2943 0 330095 0
[pid=4949/tid=4950] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4950/stat : 4950 (toysat) S 4946 4949 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861335977200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4949/tid=4951] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4951/stat : 4951 (toysat) S 4946 4949 4307 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861247896816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4949/tid=4952] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4952/stat : 4952 (toysat) S 4946 4949 4307 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861237423280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1332804

[startup+1602.3 s]
/proc/loadavg: 2.05 2.09 2.03 3/265 5006
/proc/meminfo: memFree=29688892/32872528 swapFree=7556/7556
[pid=4949] ppid=4946 vsize=1332804 CPUtime=1601.82 cores=0-3,8-11
/proc/4949/stat : 4949 (toysat) R 4946 4949 4307 0 -1 4202496 274743 0 0 0 160134 48 0 0 20 0 4 0 31269002 1364791296 275201 33554432000 4194304 16246674 140737443236352 140737443218240 5822252 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4949/statm: 333201 275201 892 2943 0 330095 0
[pid=4949/tid=4950] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4950/stat : 4950 (toysat) S 4946 4949 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861335977200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4949/tid=4951] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4951/stat : 4951 (toysat) S 4946 4949 4307 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861247896816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4949/tid=4952] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4952/stat : 4952 (toysat) S 4946 4949 4307 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861237423280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1332804

[startup+1662.3 s]
/proc/loadavg: 2.02 2.07 2.03 3/265 5007
/proc/meminfo: memFree=29688776/32872528 swapFree=7556/7556
[pid=4949] ppid=4946 vsize=1332804 CPUtime=1661.81 cores=0-3,8-11
/proc/4949/stat : 4949 (toysat) R 4946 4949 4307 0 -1 4202496 274743 0 0 0 166133 48 0 0 20 0 4 0 31269002 1364791296 275201 33554432000 4194304 16246674 140737443236352 140737443218240 5827686 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4949/statm: 333201 275201 892 2943 0 330095 0
[pid=4949/tid=4950] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4950/stat : 4950 (toysat) S 4946 4949 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861335977200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4949/tid=4951] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4951/stat : 4951 (toysat) S 4946 4949 4307 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861247896816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4949/tid=4952] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4952/stat : 4952 (toysat) S 4946 4949 4307 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861237423280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1332804

[startup+1722.3 s]
/proc/loadavg: 2.11 2.09 2.03 3/265 5008
/proc/meminfo: memFree=29688652/32872528 swapFree=7556/7556
[pid=4949] ppid=4946 vsize=1332804 CPUtime=1721.8 cores=0-3,8-11
/proc/4949/stat : 4949 (toysat) R 4946 4949 4307 0 -1 4202496 274743 0 0 0 172132 48 0 0 20 0 4 0 31269002 1364791296 275201 33554432000 4194304 16246674 140737443236352 140737443218240 5822428 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4949/statm: 333201 275201 892 2943 0 330095 0
[pid=4949/tid=4950] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4950/stat : 4950 (toysat) S 4946 4949 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861335977200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4949/tid=4951] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4951/stat : 4951 (toysat) S 4946 4949 4307 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861247896816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4949/tid=4952] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4952/stat : 4952 (toysat) S 4946 4949 4307 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861237423280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1332804

[startup+1782.3 s]
/proc/loadavg: 2.07 2.08 2.03 3/265 5010
/proc/meminfo: memFree=29688684/32872528 swapFree=7556/7556
[pid=4949] ppid=4946 vsize=1332804 CPUtime=1781.79 cores=0-3,8-11
/proc/4949/stat : 4949 (toysat) R 4946 4949 4307 0 -1 4202496 274743 0 0 0 178131 48 0 0 20 0 4 0 31269002 1364791296 275201 33554432000 4194304 16246674 140737443236352 140737443218240 5822604 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4949/statm: 333201 275201 892 2943 0 330095 0
[pid=4949/tid=4950] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4950/stat : 4950 (toysat) S 4946 4949 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861335977200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4949/tid=4951] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4951/stat : 4951 (toysat) S 4946 4949 4307 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861247896816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4949/tid=4952] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4952/stat : 4952 (toysat) S 4946 4949 4307 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861237423280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1332804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.05 2.08 2.03 3/265 5010
/proc/meminfo: memFree=29688812/32872528 swapFree=7556/7556
[pid=4949] ppid=4946 vsize=1332804 CPUtime=1800.09 cores=0-3,8-11
/proc/4949/stat : 4949 (toysat) R 4946 4949 4307 0 -1 4202496 274743 0 0 0 179960 49 0 0 20 0 4 0 31269002 1364791296 275201 33554432000 4194304 16246674 140737443236352 140737443218240 5721725 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4949/statm: 333201 275201 892 2943 0 330095 0
[pid=4949/tid=4950] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4950/stat : 4950 (toysat) S 4946 4949 4307 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861335977200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4949/tid=4951] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4951/stat : 4951 (toysat) S 4946 4949 4307 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861247896816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4949/tid=4952] ppid=4946 vsize=1332804 CPUtime=0 cores=0-3,8-11
/proc/4949/task/4952/stat : 4952 (toysat) S 4946 4949 4307 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31269003 1364791296 275201 33554432000 4194304 16246674 140737443236352 139861237423280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1332804

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.61
CPU system time (s): 0.490925
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1332804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.490925
maximum resident set size= 1100804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274743
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= 372
involuntary context switches= 1924

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.07992 second user time and 11.1303 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-27 01:05:08
IDJOB=4116773
IDBENCH=109512
IDSOLVER=2542
FILE ID=node132/4116773-1466982308
RUNJOBID= node132-1466982308-4929
PBS_JOBID= 19976380
Free space on /tmp= 71528 MiB

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

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

MD5SUM BENCH= cc219414569e52f24655165854ce2725
RANDOM SEED=1909798426

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31900456 kB
Buffers:           62252 kB
Cached:           190556 kB
SwapCached:         1768 kB
Active:            56516 kB
Inactive:         198740 kB
Active(anon):       3492 kB
Inactive(anon):     1700 kB
Active(file):      53024 kB
Inactive(file):   197040 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098652 kB
Dirty:             28572 kB
Writeback:             0 kB
AnonPages:         10184 kB
Mapped:             7004 kB
Shmem:                 0 kB
Slab:             573032 kB
SReclaimable:      12864 kB
SUnreclaim:       560168 kB
KernelStack:        2104 kB
PageTables:         3604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     103944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71496 MiB
End job on node132 at 2016-06-27 01:35:09