Trace number 4098234

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_9.opb
MD5SUM9e7540e8b039c3315633701424c45260
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark55.8765
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5402
Total number of constraints26358
Number of constraints which are clauses26353
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint73
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 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 82
Number of bits of the biggest sum of numbers7
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-17T01:36:22+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-4098234-1466120181.opb"]
0.00/0.01	c use --random-gen="1449027955 3357042062 32912695 1571907456 950195296 4138047918 1180936558 182974646 1415684849 3697954895 1335219722 3106131615 2072128205 4133160568 4090237900 3528841211 1169050553 2103875144 957216113 746881233 2447048450 3679895624 3468260587 2520223151 1518756749 574362120 2889085936 1140625436 1197944438 901564093 3582836757 1691450614 2035073325 3656364289 3792888830 1836522325 2001037177 2683821047 2763049965 4267797539 1871146589 3719416993 3620121018 2570137833 3123619029 3917869918 3013265228 3606075485 1791603552 4066258113 2414150825 447320967 2630140429 2085793541 3916672848 3590379004 2975466190 1187548298 3598315583 1728782802 353392403 4124982214 2862864501 3915724604 2399243150 1146825880 1796134848 2952943019 1185356908 3367784922 856873889 2405380882 96000401 200904264 2157264838 2146982738 4059805952 103723531 2941792117 1632849635 2973745933 3457210967 3451285207 278565464 1545936435 1023871199 1178338177 4273831741 70892100 1796309521 1851468188 1072123129 2041517321 244864 2678480036 464207852 2015041596 933282162 3088365415 4010045618 498394574 471128061 3528830200 836045902 1843669916 4052571947 1167716174 2388070237 2252846360 3671271229 981073929 2812761510 3832434268 2376519294 1828860914 3293213573 3706149096 1353204496 3673540109 2031181439 2642587839 2708605814 1160380215 2395206176 3780574811 3142868315 771907934 1550116385 1905027726 1404626010 2140208282 2643709819 2972730231 2166304347 3623589616 1234227526 1591570912 1367090825 745138038 314766356 1343748660 873843465 3915287482 3586462999 3917500416 4164537374 2703654111 2409782217 1342730580 152970279 3362693896 2475013234 3806913955 952516217 1216944500 3588146816 2996937517 1845202053 3819763272 1365521074 2072688223 1112942257 1188226661 56689652 3725801664 3136257088 2755846234 3008233932 3379813716 348726095 3387366147 407528010 4191266432 2793832647 2659358926 2855717392 1453325822 3520720277 849866995 2002703147 253520995 859777598 1841277647 3608919829 2202149143 2799749992 784708986 2140480351 3005112060 3856440960 2428046167 1832889545 1610552014 1575702629 4279761244 2612532615 353787876 2831750494 3311141082 1135871190 3434372233 824856729 233489920 2893119776 2239614501 466729552 2789623552 4174740845 995748093 2941698083 4267324968 2970301770 3445808981 3499621756 97316737 4036174000 991038253 1036177404 2514837998 4176480810 3505777077 1931238096 1649624256 4017712449 2134530462 1266483230 2031828609 3815938387 2620763432 3690720455 2539553280 1402605180 3553327249 4076034653 1324858926 1301083252 3578388519 655469996 3496363795 504217155 889284424 3895398324 3127410029 102759253 816201539 2947546500 3368998430 1137687476 3420889496 690884038 4160037821 76545829 1429816702 2061112112 567320876 2524725902 255 362436" option to reproduce the execution
0.69/0.70	c #vars 5402
0.69/0.70	c #constraints 26358
1.89/1.95	c Solving starts ...
1.89/1.95	c ============================[ Search Statistics ]============================
1.89/1.95	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.89/1.95	c       |         |          |          |    Limit     GC | Var      | Constra 
1.89/1.95	c =============================================================================
1.89/1.95	c  0.0s |       0 |        0 |        0 |    10585      0 |        5 |        0
2.49/2.51	c  0.6s |       1 |     1439 |      100 |    10585      0 |        5 |      640
3.09/3.18	c  1.2s |       2 |     3435 |      250 |    11644      0 |        5 |      640
3.79/3.87	c  1.9s |       3 |     6005 |      475 |    12809      0 |        5 |      640
5.09/5.14	c  3.2s |       4 |     9497 |      813 |    14090      0 |        5 |      640
6.79/6.84	c  4.9s |       5 |    16662 |     1320 |    15500      0 |        5 |      640
8.99/9.06	c  7.1s |       6 |    21606 |     2081 |    18755      0 |        5 |      640
11.00/11.07	c  9.1s |       6 |    24115 |     2481 |    18755      0 |        5 |      640
13.39/13.46	c 11.5s |       6 |    34781 |     3081 |    18755      0 |        5 |      640
13.89/13.97	c 12.0s |       7 |    36194 |     3223 |    20631      0 |        5 |      640
15.89/15.99	c 14.0s |       7 |    42740 |     3723 |    20631      0 |        5 |      640
18.19/18.20	c 16.3s |       7 |    49596 |     4423 |    20631      0 |        5 |      640
19.49/19.58	c 17.6s |       8 |    51686 |     4936 |    22695      0 |        5 |      640
21.89/21.99	c 20.0s |       8 |    57861 |     5536 |    22695      0 |        5 |      640
24.30/24.36	c 22.4s |       8 |    67001 |     6236 |    22695      0 |        5 |      640
26.50/26.54	c 24.6s |       8 |    72824 |     7136 |    22695      0 |        5 |      640
27.69/27.77	c 25.8s |       9 |    77802 |     7506 |    24965      0 |        5 |      640
29.99/30.06	c 28.1s |       9 |    85203 |     8106 |    24965      0 |        5 |      640
32.19/32.29	c 30.3s |       9 |    91974 |     9006 |    24965      0 |        5 |      640
34.39/34.46	c 32.5s |       9 |    98827 |     9606 |    24965      0 |        5 |      640
36.69/36.72	c 34.8s |       9 |   109441 |    10206 |    24965      0 |        5 |      640
38.69/38.79	c 36.8s |       9 |   116211 |    11106 |    24965      0 |        5 |      640
39.60/39.63	c 37.7s |      10 |   118109 |    11361 |    27462      0 |        5 |      640
41.99/42.01	c 40.1s |      10 |   123252 |    11861 |    27462      0 |        5 |      640
44.10/44.16	c 42.2s |      10 |   130656 |    12461 |    27462      0 |        5 |      640
46.19/46.28	c 44.3s |      10 |   138257 |    12961 |    27462      0 |        5 |      640
48.39/48.49	c 46.5s |      10 |   144400 |    13561 |    27462      0 |        5 |      640
50.49/50.51	c 48.6s |      10 |   149422 |    14361 |    27462      0 |        5 |      640
52.79/52.84	c 50.9s |      10 |   155646 |    14961 |    27462      0 |        5 |      640
54.79/54.86	c 52.9s |      10 |   161055 |    15461 |    27462      0 |        5 |      640
56.89/56.96	c 55.0s |      10 |   166214 |    16261 |    27462      0 |        5 |      640
58.99/59.09	c 57.1s |      10 |   171004 |    16861 |    27462      0 |        5 |      640
60.08/60.15	c 58.2s |      11 |   174677 |    17144 |    30209      0 |        5 |      640
62.08/62.17	c 60.2s |      11 |   177468 |    17544 |    30209      0 |        5 |      640
64.28/64.32	c 62.4s |      11 |   184790 |    18044 |    30209      0 |        5 |      640
66.38/66.48	c 64.5s |      11 |   191192 |    18644 |    30209      0 |        5 |      640
68.48/68.51	c 66.6s |      11 |   196102 |    19144 |    30209      0 |        5 |      640
70.49/70.58	c 68.6s |      11 |   199157 |    19844 |    30209      0 |        5 |      640
72.59/72.68	c 70.7s |      11 |   205091 |    20344 |    30209      0 |        5 |      640
74.79/74.89	c 72.9s |      11 |   211558 |    20944 |    30209      0 |        5 |      640
76.99/77.10	c 75.2s |      11 |   215748 |    21744 |    30209      0 |        5 |      640
79.38/79.41	c 77.5s |      11 |   222726 |    22344 |    30209      0 |        5 |      640
81.39/81.47	c 79.5s |      11 |   229368 |    22844 |    30209      0 |        5 |      640
83.69/83.72	c 81.8s |      11 |   233762 |    23644 |    30209      0 |        5 |      640
85.89/85.98	c 84.0s |      11 |   240332 |    24344 |    30209      0 |        5 |      640
88.28/88.37	c 86.4s |      11 |   246726 |    24944 |    30209      0 |        5 |      640
90.38/90.43	c 88.5s |      11 |   252793 |    25444 |    30209      0 |        5 |      640
91.68/91.73	c 89.8s |      12 |   256795 |    25819 |    33230      0 |        5 |      640
93.88/93.97	c 92.0s |      12 |   263494 |    26619 |    33230      0 |        5 |      640
96.08/96.12	c 94.2s |      12 |   270452 |    27319 |    33230      0 |        5 |      640
98.38/98.40	c 96.5s |      12 |   277026 |    27819 |    33230      0 |        5 |      640
100.48/100.53	c 98.6s |      12 |   283894 |    28519 |    33230      0 |        5 |      640
102.68/102.75	c  100s |      12 |   289087 |    29219 |    33230      0 |        5 |      640
104.88/104.94	c  102s |      12 |   298687 |    29719 |    33230      0 |        5 |      640
107.18/107.20	c  105s |      12 |   304277 |    30319 |    33230      0 |        5 |      640
109.38/109.49	c  107s |      12 |   309654 |    31119 |    33230      0 |        5 |      640
111.78/111.85	c  109s |      12 |   316335 |    31719 |    33230      0 |        5 |      640
113.98/114.02	c  112s |      12 |   322290 |    32419 |    33230      0 |        5 |      640
116.08/116.12	c  114s |      12 |   327932 |    33119 |    33230      0 |        5 |      640
118.28/118.39	c  116s |      12 |   335045 |    33719 |    33230      0 |        5 |      640
120.47/120.59	c  118s |      12 |   343734 |    34319 |    33230      0 |        5 |      640
122.67/122.74	c  120s |      12 |   348741 |    35119 |    33230      0 |        5 |      640
125.07/125.12	c  123s |      12 |   351861 |    35519 |    33230      1 |        5 |      640
127.47/127.55	c  125s |      12 |   359584 |    36019 |    33230      1 |        5 |      640
129.57/129.62	c  127s |      12 |   367958 |    36619 |    33230      1 |        5 |      640
131.57/131.65	c  129s |      12 |   372465 |    37419 |    33230      1 |        5 |      640
133.77/133.89	c  131s |      12 |   379260 |    38019 |    33230      1 |        5 |      640
135.57/135.65	c  133s |      13 |   385123 |    38832 |    36553      1 |        5 |      640
137.67/137.70	c  135s |      13 |   391003 |    39232 |    36553      1 |        5 |      640
139.78/139.89	c  137s |      13 |   397046 |    39932 |    36553      1 |        5 |      640
141.88/141.96	c  140s |      13 |   403198 |    40432 |    36553      1 |        5 |      640
144.18/144.24	c  142s |      13 |   408891 |    41332 |    36553      1 |        5 |      640
146.17/146.24	c  144s |      13 |   415484 |    41832 |    36553      1 |        5 |      640
148.48/148.54	c  146s |      13 |   423618 |    42432 |    36553      1 |        5 |      640
150.68/150.71	c  148s |      13 |   429073 |    43232 |    36553      1 |        5 |      640
153.07/153.13	c  151s |      13 |   437912 |    43932 |    36553      1 |        5 |      640
155.37/155.48	c  153s |      13 |   449895 |    45032 |    36553      1 |        5 |      640
157.47/157.54	c  155s |      13 |   456942 |    45532 |    36553      1 |        5 |      640
159.58/159.69	c  157s |      13 |   464337 |    46432 |    36553      1 |        5 |      640
161.87/161.93	c  159s |      13 |   471546 |    47032 |    36553      1 |        5 |      640
163.88/163.96	c  162s |      13 |   476640 |    47632 |    36553      1 |        5 |      640
166.18/166.24	c  164s |      13 |   482189 |    48432 |    36553      1 |        5 |      640
168.17/168.24	c  166s |      13 |   487402 |    48932 |    36553      1 |        5 |      640
170.17/170.29	c  168s |      13 |   493086 |    49732 |    36553      1 |        5 |      640
172.37/172.46	c  170s |      13 |   500538 |    50332 |    36553      1 |        5 |      640
174.47/174.57	c  172s |      13 |   506075 |    50932 |    36553      1 |        5 |      640
176.57/176.63	c  174s |      13 |   511138 |    51732 |    36553      1 |        5 |      640
178.77/178.85	c  176s |      13 |   519120 |    52332 |    36553      1 |        5 |      640
180.77/180.89	c  178s |      13 |   527326 |    53232 |    36553      1 |        5 |      640
183.07/183.12	c  181s |      13 |   534377 |    54132 |    36553      1 |        5 |      640
185.37/185.41	c  183s |      13 |   539865 |    54932 |    36553      1 |        5 |      640
187.37/187.45	c  185s |      13 |   546890 |    55532 |    36553      1 |        5 |      640
189.67/189.79	c  187s |      13 |   551197 |    56332 |    36553      2 |        5 |      640
191.86/191.91	c  189s |      13 |   559363 |    57332 |    36553      2 |        5 |      640
193.96/194.07	c  192s |      13 |   563906 |    58132 |    40209      2 |        5 |      640
194.46/194.58	c  192s |      14 |   565364 |    58352 |    40209      2 |        5 |      640
196.66/196.76	c  194s |      14 |   571907 |    59252 |    40209      2 |        5 |      640
198.86/198.92	c  196s |      14 |   579680 |    60352 |    40209      2 |        5 |      640
201.06/201.15	c  199s |      14 |   586696 |    61352 |    40209      2 |        5 |      640
203.26/203.31	c  201s |      14 |   591502 |    62352 |    40209      2 |        5 |      640
205.26/205.34	c  203s |      14 |   596577 |    63352 |    40209      2 |        5 |      640
207.36/207.42	c  205s |      14 |   600538 |    64352 |    40209      2 |        5 |      640
209.46/209.56	c  207s |      14 |   605961 |    65852 |    40209      2 |        5 |      640
212.06/212.12	c  210s |      14 |   608048 |    66252 |    40209      2 |        5 |      640
214.26/214.37	c  212s |      14 |   613325 |    66752 |    40209      2 |        5 |      640
216.36/216.49	c  214s |      14 |   618651 |    67552 |    40209      2 |        5 |      640
218.76/218.80	c  216s |      14 |   628043 |    68252 |    40209      2 |        5 |      640
220.86/220.93	c  218s |      14 |   633697 |    68752 |    40209      2 |        5 |      640
222.96/223.04	c  221s |      14 |   639905 |    69552 |    40209      2 |        5 |      640
224.96/225.09	c  223s |      14 |   649054 |    70152 |    40209      2 |        5 |      640
227.26/227.36	c  225s |      14 |   655793 |    70752 |    40209      2 |        5 |      640
229.36/229.46	c  227s |      14 |   661388 |    71452 |    40209      2 |        5 |      640
231.66/231.71	c  229s |      14 |   670041 |    72052 |    40209      2 |        5 |      640
233.66/233.72	c  231s |      14 |   674957 |    72852 |    40209      2 |        5 |      640
235.76/235.86	c  233s |      14 |   682478 |    73452 |    40209      2 |        5 |      640
237.75/237.87	c  235s |      14 |   686653 |    73952 |    40209      2 |        5 |      640
240.05/240.11	c  238s |      14 |   693252 |    74852 |    40209      2 |        5 |      640
242.35/242.43	c  240s |      14 |   700959 |    75452 |    40209      2 |        5 |      640
244.55/244.69	c  242s |      14 |   705614 |    76052 |    40209      2 |        5 |      640
246.95/247.04	c  245s |      14 |   710120 |    76752 |    40209      2 |        5 |      640
248.95/249.08	c  247s |      14 |   715440 |    77552 |    40209      2 |        5 |      640
251.15/251.29	c  249s |      14 |   721340 |    78152 |    40209      2 |        5 |      640
253.45/253.51	c  251s |      14 |   727810 |    78952 |    40209      2 |        5 |      640
255.75/255.88	c  253s |      14 |   733731 |    79552 |    40209      3 |        5 |      640
257.95/258.02	c  256s |      14 |   739823 |    80352 |    40209      3 |        5 |      640
260.15/260.22	c  258s |      14 |   748373 |    81052 |    40209      3 |        5 |      640
262.55/262.61	c  260s |      14 |   755084 |    81952 |    40209      3 |        5 |      640
264.75/264.85	c  262s |      14 |   763106 |    82852 |    40209      3 |        5 |      640
266.85/266.96	c  265s |      14 |   769400 |    83352 |    40209      3 |        5 |      640
269.25/269.30	c  267s |      14 |   775792 |    84152 |    40209      3 |        5 |      640
271.45/271.55	c  269s |      14 |   785012 |    84752 |    40209      3 |        5 |      640
273.65/273.70	c  271s |      14 |   790977 |    85252 |    40209      3 |        5 |      640
275.85/275.98	c  274s |      14 |   799955 |    86052 |    40209      3 |        5 |      640
277.95/278.09	c  276s |      14 |   806696 |    86852 |    40209      3 |        5 |      640
279.75/279.81	c  277s |      15 |   813486 |    87632 |    44230      3 |        5 |      640
281.85/281.95	c  280s |      15 |   821158 |    88132 |    44230      3 |        5 |      640
284.05/284.12	c  282s |      15 |   828269 |    88832 |    44230      3 |        5 |      640
286.35/286.42	c  284s |      15 |   835309 |    89432 |    44230      3 |        5 |      640
288.35/288.48	c  286s |      15 |   841551 |    90232 |    44230      3 |        5 |      640
290.65/290.78	c  288s |      15 |   848589 |    90832 |    44230      3 |        5 |      640
292.85/292.93	c  290s |      15 |   856921 |    91732 |    44230      3 |        5 |      640
294.95/295.03	c  293s |      15 |   863376 |    92232 |    44230      3 |        5 |      640
297.05/297.14	c  295s |      15 |   868728 |    92932 |    44230      3 |        5 |      640
299.25/299.32	c  297s |      15 |   876384 |    93532 |    44230      3 |        5 |      640
301.45/301.58	c  299s |      15 |   883307 |    94432 |    44230      3 |        5 |      640
303.65/303.74	c  301s |      15 |   892222 |    95132 |    44230      3 |        5 |      640
305.64/305.74	c  303s |      15 |   897866 |    95932 |    44230      3 |        5 |      640
307.74/307.81	c  305s |      15 |   905354 |    96732 |    44230      3 |        5 |      640
310.04/310.10	c  308s |      15 |   912872 |    97432 |    44230      3 |        5 |      640
312.14/312.20	c  310s |      15 |   918377 |    98032 |    44230      3 |        5 |      640
314.14/314.28	c  312s |      15 |   925053 |    98832 |    44230      3 |        5 |      640
316.24/316.33	c  314s |      15 |   932030 |    99632 |    44230      3 |        5 |      640
318.54/318.67	c  316s |      15 |   938826 |   100532 |    44230      3 |        5 |      640
320.64/320.74	c  318s |      15 |   945670 |   101532 |    44230      3 |        5 |      640
322.64/322.74	c  320s |      15 |   952223 |   102232 |    44230      3 |        5 |      640
324.84/324.99	c  323s |      15 |   960232 |   103332 |    44230      3 |        5 |      640
326.94/327.06	c  325s |      15 |   964719 |   104132 |    44230      3 |        5 |      640
329.34/329.41	c  327s |      15 |   969664 |   105032 |    44230      4 |        5 |      640
331.44/331.52	c  329s |      15 |   973926 |   105832 |    44230      4 |        5 |      640
333.44/333.59	c  331s |      15 |   977511 |   106832 |    44230      4 |        5 |      640
335.64/335.71	c  333s |      15 |   979302 |   107832 |    44230      4 |        5 |      640
338.43/338.51	c  336s |      15 |   980328 |   108032 |    44230      4 |        5 |      640
340.84/340.93	c  338s |      15 |   985685 |   108432 |    44230      4 |        5 |      640
343.04/343.15	c  341s |      15 |   991297 |   109232 |    44230      4 |        5 |      640
345.04/345.15	c  343s |      15 |   999377 |   109832 |    44230      4 |        5 |      640
347.14/347.23	c  345s |      15 |  1006557 |   110532 |    44230      4 |        5 |      640
349.44/349.55	c  347s |      15 |  1015385 |   111332 |    44230      4 |        5 |      640
351.54/351.68	c  349s |      15 |  1020303 |   112032 |    44230      4 |        5 |      640
353.84/353.90	c  351s |      15 |  1027775 |   112732 |    44230      4 |        5 |      640
355.94/356.03	c  354s |      15 |  1033470 |   113532 |    44230      4 |        5 |      640
358.04/358.15	c  356s |      15 |  1039698 |   114132 |    44230      4 |        5 |      640
360.14/360.21	c  358s |      15 |  1045900 |   114632 |    44230      4 |        5 |      640
362.44/362.50	c  360s |      15 |  1053255 |   115532 |    44230      4 |        5 |      640
364.64/364.71	c  362s |      15 |  1061153 |   116232 |    44230      4 |        5 |      640
366.64/366.72	c  364s |      15 |  1068448 |   117032 |    44230      4 |        5 |      640
368.84/368.96	c  367s |      15 |  1078654 |   118132 |    44230      4 |        5 |      640
370.94/371.08	c  369s |      15 |  1086406 |   118932 |    44230      4 |        5 |      640
373.04/373.14	c  371s |      15 |  1091601 |   119732 |    44230      4 |        5 |      640
375.14/375.29	c  373s |      15 |  1097349 |   120432 |    44230      4 |        5 |      640
377.24/377.31	c  375s |      15 |  1102721 |   121232 |    44230      4 |        5 |      640
379.44/379.51	c  377s |      15 |  1109677 |   122132 |    44230      4 |        5 |      640
381.44/381.54	c  379s |      15 |  1117556 |   123032 |    44230      4 |        5 |      640
383.54/383.67	c  381s |      15 |  1123090 |   123832 |    44230      4 |        5 |      640
385.84/385.91	c  383s |      15 |  1129528 |   124732 |    44230      4 |        5 |      640
387.84/387.93	c  385s |      15 |  1134853 |   125532 |    44230      4 |        5 |      640
390.13/390.23	c  388s |      15 |  1140675 |   126432 |    44230      4 |        5 |      640
392.33/392.42	c  390s |      15 |  1146645 |   127432 |    44230      4 |        5 |      640
394.33/394.45	c  392s |      15 |  1151445 |   128332 |    44230      4 |        5 |      640
396.43/396.60	c  394s |      15 |  1155566 |   129232 |    44230      5 |        5 |      640
398.63/398.76	c  396s |      15 |  1160752 |   130532 |    44230      5 |        5 |      640
400.03/400.17	c  398s |      16 |  1163440 |   131552 |    48654      5 |        5 |      640
402.03/402.17	c  400s |      16 |  1165655 |   132052 |    48654      5 |        5 |      640
404.03/404.18	c  402s |      16 |  1170768 |   132752 |    48654      5 |        5 |      640
406.13/406.23	c  404s |      16 |  1177071 |   133352 |    48654      5 |        5 |      640
408.14/408.23	c  406s |      16 |  1183623 |   133852 |    48654      5 |        5 |      640
410.34/410.49	c  408s |      16 |  1191046 |   134552 |    48654      5 |        5 |      640
412.44/412.57	c  410s |      16 |  1199885 |   135352 |    48654      5 |        5 |      640
414.53/414.62	c  412s |      16 |  1207908 |   136252 |    48654      5 |        5 |      640
416.53/416.63	c  414s |      16 |  1213914 |   136752 |    48654      5 |        5 |      640
418.53/418.65	c  416s |      16 |  1217219 |   137452 |    48654      5 |        5 |      640
420.83/420.90	c  418s |      16 |  1226610 |   138152 |    48654      5 |        5 |      640
423.13/423.28	c  421s |      16 |  1235958 |   139052 |    48654      5 |        5 |      640
425.13/425.29	c  423s |      16 |  1244023 |   139952 |    48654      5 |        5 |      640
427.13/427.29	c  425s |      16 |  1251566 |   140652 |    48654      5 |        5 |      640
429.13/429.29	c  427s |      16 |  1257208 |   141352 |    48654      5 |        5 |      640
431.53/431.65	c  429s |      16 |  1265442 |   142252 |    48654      5 |        5 |      640
433.73/433.86	c  431s |      16 |  1272098 |   142852 |    48654      5 |        5 |      640
435.93/436.02	c  434s |      16 |  1278608 |   143652 |    48654      5 |        5 |      640
437.93/438.05	c  436s |      16 |  1286571 |   144252 |    48654      5 |        5 |      640
440.03/440.14	c  438s |      16 |  1292875 |   144952 |    48654      5 |        5 |      640
442.23/442.37	c  440s |      16 |  1297806 |   145552 |    48654      5 |        5 |      640
444.33/444.44	c  442s |      16 |  1304741 |   146252 |    48654      5 |        5 |      640
446.42/446.60	c  444s |      16 |  1309935 |   146952 |    48654      5 |        5 |      640
448.62/448.73	c  446s |      16 |  1316145 |   147552 |    48654      5 |        5 |      640
450.62/450.79	c  448s |      16 |  1323232 |   148352 |    48654      5 |        5 |      640
452.92/453.08	c  451s |      16 |  1332176 |   149052 |    48654      5 |        5 |      640
454.92/455.08	c  453s |      16 |  1340767 |   149752 |    48654      5 |        5 |      640
457.02/457.14	c  455s |      16 |  1347154 |   150452 |    48654      5 |        5 |      640
459.22/459.30	c  457s |      16 |  1353519 |   151252 |    48654      5 |        5 |      640
461.22/461.34	c  459s |      16 |  1358748 |   151952 |    48654      5 |        5 |      640
463.42/463.56	c  461s |      16 |  1365684 |   152552 |    48654      5 |        5 |      640
465.42/465.57	c  463s |      16 |  1372156 |   153152 |    48654      5 |        5 |      640
467.43/467.60	c  465s |      16 |  1376483 |   153952 |    48654      5 |        5 |      640
469.63/469.74	c  467s |      16 |  1380588 |   154552 |    48654      5 |        5 |      640
471.83/471.94	c  469s |      16 |  1386482 |   155352 |    48654      5 |        5 |      640
474.32/474.40	c  472s |      16 |  1392669 |   156152 |    48654      6 |        5 |      640
476.42/476.50	c  474s |      16 |  1399150 |   157052 |    48654      6 |        5 |      640
478.53/478.62	c  476s |      16 |  1407320 |   158152 |    48654      6 |        5 |      640
480.62/480.77	c  478s |      16 |  1416166 |   159452 |    48654      6 |        5 |      640
482.72/482.89	c  480s |      16 |  1423979 |   160652 |    48654      6 |        5 |      640
484.82/484.96	c  483s |      16 |  1432320 |   162052 |    48654      6 |        5 |      640
486.92/487.07	c  485s |      16 |  1435750 |   163152 |    48654      6 |        5 |      640
489.11/489.22	c  487s |      16 |  1440079 |   164052 |    48654      6 |        5 |      640
491.21/491.37	c  489s |      16 |  1449565 |   164952 |    48654      6 |        5 |      640
493.41/493.56	c  491s |      16 |  1457815 |   165652 |    48654      6 |        5 |      640
495.71/495.87	c  493s |      16 |  1466561 |   166552 |    48654      6 |        5 |      640
498.11/498.21	c  496s |      16 |  1473400 |   167452 |    48654      6 |        5 |      640
500.31/500.40	c  498s |      16 |  1481248 |   168152 |    48654      6 |        5 |      640
502.31/502.41	c  500s |      16 |  1486439 |   168952 |    48654      6 |        5 |      640
504.31/504.43	c  502s |      16 |  1492119 |   169752 |    48654      6 |        5 |      640
506.31/506.43	c  504s |      16 |  1500718 |   170652 |    48654      6 |        5 |      640
508.41/508.56	c  506s |      16 |  1507194 |   171452 |    48654      6 |        5 |      640
510.51/510.66	c  508s |      16 |  1513706 |   172252 |    48654      6 |        5 |      640
512.52/512.70	c  510s |      16 |  1518017 |   172952 |    48654      6 |        5 |      640
514.82/514.91	c  512s |      16 |  1522792 |   173752 |    48654      6 |        5 |      640
516.92/517.09	c  515s |      16 |  1529867 |   174652 |    48654      6 |        5 |      640
519.12/519.28	c  517s |      16 |  1535814 |   175652 |    48654      6 |        5 |      640
521.32/521.41	c  519s |      16 |  1540632 |   176652 |    48654      6 |        5 |      640
523.52/523.63	c  521s |      16 |  1545885 |   177652 |    48654      6 |        5 |      640
525.61/525.71	c  523s |      16 |  1550076 |   178652 |    48654      6 |        5 |      640
527.61/527.78	c  525s |      16 |  1552274 |   179452 |    48654      6 |        5 |      640
529.81/529.95	c  528s |      16 |  1555229 |   180052 |    48654      6 |        5 |      640
531.91/532.03	c  530s |      16 |  1559225 |   180652 |    48654      6 |        5 |      640
534.21/534.35	c  532s |      16 |  1563370 |   181052 |    48654      7 |        5 |      640
537.11/537.29	c  535s |      16 |  1566632 |   181352 |    48654      7 |        5 |      640
539.31/539.49	c  537s |      16 |  1573759 |   182052 |    48654      7 |        5 |      640
541.60/541.70	c  539s |      16 |  1580281 |   182752 |    48654      7 |        5 |      640
543.70/543.80	c  541s |      16 |  1587324 |   183452 |    48654      7 |        5 |      640
545.70/545.86	c  543s |      16 |  1595755 |   184252 |    48654      7 |        5 |      640
547.81/547.96	c  546s |      16 |  1601846 |   184952 |    48654      7 |        5 |      640
549.91/550.07	c  548s |      16 |  1606995 |   185652 |    48654      7 |        5 |      640
552.11/552.22	c  550s |      16 |  1612103 |   186552 |    48654      7 |        5 |      640
554.10/554.25	c  552s |      16 |  1616801 |   187252 |    48654      7 |        5 |      640
556.40/556.56	c  554s |      16 |  1623283 |   187952 |    48654      7 |        5 |      640
558.50/558.67	c  556s |      16 |  1628566 |   188752 |    48654      7 |        5 |      640
560.60/560.75	c  558s |      16 |  1635002 |   189652 |    48654      7 |        5 |      640
562.90/563.01	c  561s |      16 |  1640002 |   190452 |    48654      7 |        5 |      640
565.00/565.15	c  563s |      16 |  1644429 |   191252 |    48654      7 |        5 |      640
567.20/567.34	c  565s |      16 |  1648843 |   192052 |    48654      7 |        5 |      640
569.20/569.39	c  567s |      16 |  1653204 |   192952 |    48654      7 |        5 |      640
571.30/571.41	c  569s |      16 |  1658178 |   193752 |    48654      7 |        5 |      640
573.30/573.45	c  571s |      16 |  1662315 |   194652 |    48654      7 |        5 |      640
575.50/575.65	c  573s |      16 |  1666116 |   195752 |    48654      7 |        5 |      640
577.60/577.73	c  575s |      16 |  1669601 |   196752 |    53520      7 |        5 |      640
579.10/579.20	c  577s |      17 |  1673584 |   197432 |    53520      7 |        5 |      640
581.10/581.23	c  579s |      17 |  1678496 |   198032 |    53520      7 |        5 |      640
583.20/583.35	c  581s |      17 |  1683440 |   198732 |    53520      7 |        5 |      640
585.50/585.62	c  583s |      17 |  1690169 |   199532 |    53520      7 |        5 |      640
587.80/587.90	c  585s |      17 |  1694961 |   200332 |    53520      7 |        5 |      640
589.90/590.09	c  588s |      17 |  1701258 |   201032 |    53520      7 |        5 |      640
592.20/592.32	c  590s |      17 |  1706748 |   201932 |    53520      7 |        5 |      640
594.30/594.41	c  592s |      17 |  1712839 |   202732 |    53520      7 |        5 |      640
596.60/596.72	c  594s |      17 |  1720987 |   203432 |    53520      7 |        5 |      640
598.80/598.94	c  596s |      17 |  1726069 |   204232 |    53520      7 |        5 |      640
600.99/601.16	c  599s |      17 |  1731747 |   205032 |    53520      7 |        5 |      640
602.99/603.17	c  601s |      17 |  1738525 |   205632 |    53520      7 |        5 |      640
605.09/605.29	c  603s |      17 |  1743167 |   206332 |    53520      7 |        5 |      640
607.49/607.62	c  605s |      17 |  1751166 |   207232 |    53520      7 |        5 |      640
609.59/609.71	c  607s |      17 |  1757140 |   208032 |    53520      7 |        5 |      640
611.69/611.86	c  609s |      17 |  1762812 |   208832 |    53520      7 |        5 |      640
613.89/614.08	c  612s |      17 |  1768743 |   209732 |    53520      7 |        5 |      640
616.00/616.13	c  614s |      17 |  1774513 |   210632 |    53520      7 |        5 |      640
618.20/618.32	c  616s |      17 |  1778069 |   211532 |    53520      7 |        5 |      640
620.40/620.53	c  618s |      17 |  1782840 |   212332 |    53520      8 |        5 |      640
622.50/622.68	c  620s |      17 |  1788296 |   213532 |    53520      8 |        5 |      640
624.59/624.72	c  622s |      17 |  1792463 |   214732 |    53520      8 |        5 |      640
626.69/626.86	c  624s |      17 |  1796748 |   215532 |    53520      8 |        5 |      640
628.89/629.04	c  627s |      17 |  1802854 |   216332 |    53520      8 |        5 |      640
630.99/631.10	c  629s |      17 |  1808376 |   217132 |    53520      8 |        5 |      640
632.99/633.16	c  631s |      17 |  1814377 |   218132 |    53520      8 |        5 |      640
635.09/635.21	c  633s |      17 |  1819777 |   218932 |    53520      8 |        5 |      640
637.19/637.33	c  635s |      17 |  1825922 |   219832 |    53520      8 |        5 |      640
639.29/639.47	c  637s |      17 |  1831568 |   220832 |    53520      8 |        5 |      640
641.40/641.53	c  639s |      17 |  1834915 |   221732 |    53520      8 |        5 |      640
643.60/643.70	c  641s |      17 |  1839547 |   222832 |    53520      8 |        5 |      640
645.70/645.82	c  643s |      17 |  1842774 |   223832 |    53520      8 |        5 |      640
647.70/647.89	c  645s |      17 |  1845106 |   224632 |    53520      8 |        5 |      640
649.90/650.05	c  648s |      17 |  1851801 |   225432 |    53520      8 |        5 |      640
651.99/652.11	c  650s |      17 |  1857315 |   226332 |    53520      8 |        5 |      640
654.19/654.33	c  652s |      17 |  1861515 |   227132 |    53520      8 |        5 |      640
656.19/656.39	c  654s |      17 |  1865068 |   227932 |    53520      8 |        5 |      640
658.39/658.54	c  656s |      17 |  1869681 |   228832 |    53520      8 |        5 |      640
660.39/660.57	c  658s |      17 |  1872707 |   229632 |    53520      8 |        5 |      640
662.69/662.82	c  660s |      17 |  1875530 |   230532 |    53520      8 |        5 |      640
664.99/665.17	c  663s |      17 |  1878603 |   231232 |    53520      8 |        5 |      640
667.19/667.32	c  665s |      17 |  1883071 |   231932 |    53520      8 |        5 |      640
669.29/669.42	c  667s |      17 |  1889942 |   232632 |    53520      8 |        5 |      640
671.29/671.46	c  669s |      17 |  1895318 |   233532 |    53520      8 |        5 |      640
673.29/673.48	c  671s |      17 |  1900880 |   234332 |    53520      8 |        5 |      640
675.40/675.56	c  673s |      17 |  1904699 |   235032 |    53520      8 |        5 |      640
677.50/677.62	c  675s |      17 |  1908959 |   235732 |    53520      8 |        5 |      640
679.70/679.84	c  677s |      17 |  1913841 |   236632 |    53520      8 |        5 |      640
681.79/681.92	c  679s |      17 |  1918420 |   237432 |    53520      8 |        5 |      640
683.99/684.19	c  682s |      17 |  1920709 |   238232 |    53520      8 |        5 |      640
686.19/686.33	c  684s |      17 |  1923741 |   239132 |    53520      8 |        5 |      640
688.50/688.61	c  686s |      17 |  1925578 |   239832 |    53520      9 |        5 |      640
690.49/690.70	c  688s |      17 |  1931329 |   240832 |    53520      9 |        5 |      640
692.59/692.72	c  690s |      17 |  1934837 |   241632 |    53520      9 |        5 |      640
694.69/694.82	c  692s |      17 |  1937911 |   242632 |    53520      9 |        5 |      640
696.79/696.91	c  694s |      17 |  1940544 |   243632 |    53520      9 |        5 |      640
698.89/699.02	c  697s |      17 |  1947387 |   244532 |    53520      9 |        5 |      640
700.89/701.06	c  699s |      17 |  1952912 |   245532 |    53520      9 |        5 |      640
703.19/703.35	c  701s |      17 |  1958875 |   246632 |    53520      9 |        5 |      640
705.48/705.60	c  703s |      17 |  1962683 |   247532 |    53520      9 |        5 |      640
707.58/707.79	c  705s |      17 |  1966155 |   248532 |    53520      9 |        5 |      640
709.78/709.95	c  708s |      17 |  1969444 |   249532 |    53520      9 |        5 |      640
711.88/712.04	c  710s |      17 |  1974380 |   250232 |    53520      9 |        5 |      640
714.18/714.30	c  712s |      17 |  1980114 |   251132 |    53520      9 |        5 |      640
716.18/716.33	c  714s |      17 |  1984991 |   252032 |    53520      9 |        5 |      640
718.38/718.58	c  716s |      17 |  1990373 |   253032 |    53520      9 |        5 |      640
720.58/720.75	c  718s |      17 |  1995283 |   254032 |    53520      9 |        5 |      640
722.78/722.94	c  720s |      17 |  1998436 |   254932 |    53520      9 |        5 |      640
724.79/724.95	c  723s |      17 |  2000624 |   255732 |    53520      9 |        5 |      640
726.99/727.13	c  725s |      17 |  2003512 |   256632 |    53520      9 |        5 |      640
729.08/729.23	c  727s |      17 |  2007593 |   257532 |    53520      9 |        5 |      640
731.28/731.40	c  729s |      17 |  2010817 |   258432 |    53520      9 |        5 |      640
733.28/733.43	c  731s |      17 |  2012931 |   259232 |    53520      9 |        5 |      640
735.38/735.50	c  733s |      17 |  2015968 |   260032 |    53520      9 |        5 |      640
737.38/737.51	c  735s |      17 |  2020631 |   260532 |    53520      9 |        5 |      640
739.58/739.76	c  737s |      17 |  2025160 |   261132 |    53520      9 |        5 |      640
741.68/741.80	c  739s |      17 |  2030892 |   261832 |    53520      9 |        5 |      640
743.98/744.10	c  742s |      17 |  2036519 |   262532 |    53520      9 |        5 |      640
746.18/746.32	c  744s |      17 |  2040614 |   263332 |    53520      9 |        5 |      640
748.27/748.44	c  746s |      17 |  2044677 |   264032 |    53520      9 |        5 |      640
750.37/750.53	c  748s |      17 |  2048247 |   264732 |    53520      9 |        5 |      640
752.47/752.60	c  750s |      17 |  2052859 |   265232 |    53520      9 |        5 |      640
754.48/754.62	c  752s |      17 |  2058233 |   265932 |    53520      9 |        5 |      640
756.67/756.83	c  754s |      17 |  2062870 |   266532 |    53520      9 |        5 |      640
759.67/759.86	c  757s |      17 |  2067289 |   267132 |    53520     10 |        5 |      640
761.86/762.07	c  760s |      17 |  2069906 |   267432 |    53520     10 |        5 |      640
764.26/764.45	c  762s |      17 |  2075778 |   268232 |    53520     10 |        5 |      640
766.46/766.70	c  764s |      17 |  2082451 |   269132 |    53520     10 |        5 |      640
768.56/768.77	c  766s |      17 |  2085443 |   269832 |    53520     10 |        5 |      640
770.86/771.02	c  769s |      17 |  2091580 |   270732 |    53520     10 |        5 |      640
773.06/773.21	c  771s |      17 |  2097833 |   271632 |    53520     10 |        5 |      640
775.06/775.26	c  773s |      17 |  2101992 |   272532 |    53520     10 |        5 |      640
777.26/777.40	c  775s |      17 |  2108201 |   273432 |    53520     10 |        5 |      640
779.26/779.46	c  777s |      17 |  2112509 |   274332 |    53520     10 |        5 |      640
781.36/781.56	c  779s |      17 |  2116392 |   275332 |    53520     10 |        5 |      640
783.46/783.65	c  781s |      17 |  2119227 |   276432 |    53520     10 |        5 |      640
785.46/785.66	c  783s |      17 |  2124054 |   277232 |    53520     10 |        5 |      640
787.57/787.75	c  785s |      17 |  2127814 |   278032 |    53520     10 |        5 |      640
789.66/789.86	c  787s |      17 |  2133367 |   278832 |    53520     10 |        5 |      640
791.76/791.93	c  789s |      17 |  2140295 |   279632 |    53520     10 |        5 |      640
793.86/794.02	c  792s |      17 |  2143369 |   280332 |    53520     10 |        5 |      640
795.96/796.14	c  794s |      17 |  2149162 |   281232 |    53520     10 |        5 |      640
798.06/798.20	c  796s |      17 |  2152885 |   282132 |    53520     10 |        5 |      640
800.16/800.35	c  798s |      17 |  2157143 |   283232 |    53520     10 |        5 |      640
802.36/802.56	c  800s |      17 |  2161226 |   284432 |    53520     10 |        5 |      640
804.45/804.63	c  802s |      17 |  2166919 |   285232 |    53520     10 |        5 |      640
806.55/806.75	c  804s |      17 |  2171369 |   285932 |    53520     10 |        5 |      640
808.75/808.91	c  806s |      17 |  2176908 |   286832 |    53520     10 |        5 |      640
810.85/811.04	c  809s |      17 |  2182451 |   287632 |    53520     10 |        5 |      640
812.86/813.06	c  811s |      17 |  2187001 |   288532 |    53520     10 |        5 |      640
814.96/815.13	c  813s |      17 |  2190612 |   289432 |    53520     10 |        5 |      640
817.05/817.21	c  815s |      17 |  2193818 |   290432 |    53520     10 |        5 |      640
819.15/819.37	c  817s |      17 |  2197879 |   291132 |    53520     10 |        5 |      640
821.25/821.49	c  819s |      17 |  2205816 |   292032 |    53520     10 |        5 |      640
823.35/823.53	c  821s |      17 |  2209755 |   292732 |    53520     10 |        5 |      640
825.35/825.57	c  823s |      17 |  2214608 |   293532 |    53520     10 |        5 |      640
827.45/827.65	c  825s |      17 |  2218146 |   294232 |    58873     10 |        5 |      640
829.45/829.69	c  827s |      17 |  2222794 |   295132 |    58873     10 |        5 |      640
831.75/831.92	c  829s |      17 |  2225937 |   296032 |    58873     10 |        5 |      640
832.15/832.34	c  830s |      18 |  2226832 |   296252 |    58873     10 |        5 |      640
834.35/834.55	c  832s |      18 |  2229554 |   297152 |    58873     10 |        5 |      640
836.34/836.56	c  834s |      18 |  2232849 |   297752 |    58873     10 |        5 |      640
838.54/838.71	c  836s |      18 |  2237574 |   298452 |    58873     10 |        5 |      640
840.84/841.05	c  839s |      18 |  2244332 |   299452 |    58873     10 |        5 |      640
842.84/843.08	c  841s |      18 |  2248685 |   300252 |    58873     10 |        5 |      640
844.94/845.19	c  843s |      18 |  2252278 |   301152 |    58873     10 |        5 |      640
847.14/847.32	c  845s |      18 |  2254942 |   302052 |    58873     11 |        5 |      640
849.25/849.40	c  847s |      18 |  2257146 |   302652 |    58873     11 |        5 |      640
851.35/851.55	c  849s |      18 |  2260162 |   303152 |    58873     11 |        5 |      640
853.45/853.65	c  851s |      18 |  2264439 |   303952 |    58873     11 |        5 |      640
855.65/855.83	c  853s |      18 |  2270134 |   304952 |    58873     11 |        5 |      640
857.74/857.92	c  855s |      18 |  2274861 |   306152 |    58873     11 |        5 |      640
859.84/860.01	c  858s |      18 |  2278939 |   307152 |    58873     11 |        5 |      640
861.94/862.14	c  860s |      18 |  2283253 |   308052 |    58873     11 |        5 |      640
864.04/864.22	c  862s |      18 |  2286850 |   308952 |    58873     11 |        5 |      640
866.04/866.28	c  864s |      18 |  2291224 |   309952 |    58873     11 |        5 |      640
868.33/868.52	c  866s |      18 |  2295240 |   311052 |    58873     11 |        5 |      640
870.33/870.54	c  868s |      18 |  2298198 |   312052 |    58873     11 |        5 |      640
872.43/872.61	c  870s |      18 |  2302213 |   313052 |    58873     11 |        5 |      640
874.44/874.69	c  872s |      18 |  2307076 |   313952 |    58873     11 |        5 |      640
876.53/876.72	c  874s |      18 |  2310993 |   315052 |    58873     11 |        5 |      640
878.62/878.81	c  876s |      18 |  2313767 |   316152 |    58873     11 |        5 |      640
880.72/880.90	c  878s |      18 |  2316921 |   317052 |    58873     11 |        5 |      640
882.82/883.05	c  881s |      18 |  2320617 |   318052 |    58873     11 |        5 |      640
884.92/885.14	c  883s |      18 |  2324989 |   319052 |    58873     11 |        5 |      640
887.01/887.24	c  885s |      18 |  2328575 |   320052 |    58873     11 |        5 |      640
889.21/889.46	c  887s |      18 |  2332149 |   320852 |    58873     11 |        5 |      640
891.31/891.56	c  889s |      18 |  2335644 |   321852 |    58873     11 |        5 |      640
893.31/893.58	c  891s |      18 |  2338415 |   322852 |    58873     11 |        5 |      640
895.61/895.82	c  893s |      18 |  2341031 |   323852 |    58873     11 |        5 |      640
897.71/897.91	c  895s |      18 |  2343657 |   324652 |    58873     11 |        5 |      640
899.91/900.10	c  898s |      18 |  2346564 |   325752 |    58873     11 |        5 |      640
902.01/902.25	c  900s |      18 |  2349607 |   326652 |    58873     11 |        5 |      640
904.01/904.29	c  902s |      18 |  2352300 |   327552 |    58873     11 |        5 |      640
906.11/906.34	c  904s |      18 |  2356020 |   328552 |    58873     11 |        5 |      640
908.20/908.41	c  906s |      18 |  2358560 |   329652 |    58873     11 |        5 |      640
910.20/910.46	c  908s |      18 |  2361040 |   330552 |    58873     11 |        5 |      640
912.30/912.53	c  910s |      18 |  2363288 |   331552 |    58873     11 |        5 |      640
914.50/914.71	c  912s |      18 |  2364843 |   332552 |    58873     11 |        5 |      640
961.29/961.54	c  959s |      18 |  2366592 |   332752 |    58873     12 |        5 |      640
977.08/977.38	c  975s |      18 |  2367728 |   332852 |    58873     12 |        5 |      640
981.69/981.95	c  980s |      18 |  2370956 |   333052 |    58873     12 |        5 |      640
983.99/984.23	c  982s |      18 |  2378987 |   333652 |    58873     12 |        5 |      640
986.29/986.50	c  984s |      18 |  2388505 |   334552 |    58873     12 |        5 |      640
988.48/988.73	c  986s |      18 |  2396807 |   335052 |    58873     12 |        5 |      640
990.58/990.88	c  988s |      18 |  2404165 |   335652 |    58873     12 |        5 |      640
992.98/993.20	c  991s |      18 |  2413769 |   336552 |    58873     12 |        5 |      640
994.98/995.25	c  993s |      18 |  2424101 |   337352 |    58873     12 |        5 |      640
997.17/997.45	c  995s |      18 |  2432604 |   338052 |    58873     12 |        5 |      640
999.37/999.61	c  997s |      18 |  2437713 |   338552 |    58873     12 |        5 |      640
1001.37/1001.64	c  999s |      18 |  2444484 |   339352 |    58873     12 |        5 |      640
1003.57/1003.86	c 1001s |      18 |  2453606 |   339952 |    58873     12 |        5 |      640
1005.77/1006.05	c 1004s |      18 |  2464164 |   340952 |    58873     12 |        5 |      640
1008.06/1008.34	c 1006s |      18 |  2472309 |   341552 |    58873     12 |        5 |      640
1010.16/1010.49	c 1008s |      18 |  2481494 |   342452 |    58873     12 |        5 |      640
1012.36/1012.61	c 1010s |      18 |  2487915 |   343052 |    58873     12 |        5 |      640
1014.36/1014.66	c 1012s |      18 |  2494065 |   343752 |    58873     12 |        5 |      640
1016.46/1016.78	c 1014s |      18 |  2499517 |   344452 |    58873     12 |        5 |      640
1018.86/1019.14	c 1017s |      18 |  2506227 |   345152 |    58873     12 |        5 |      640
1021.06/1021.35	c 1019s |      18 |  2512208 |   345952 |    58873     12 |        5 |      640
1023.16/1023.43	c 1021s |      18 |  2519004 |   346752 |    58873     12 |        5 |      640
1025.26/1025.53	c 1023s |      18 |  2524828 |   347452 |    58873     12 |        5 |      640
1027.26/1027.58	c 1025s |      18 |  2530980 |   348052 |    58873     12 |        5 |      640
1029.36/1029.69	c 1027s |      18 |  2537366 |   348852 |    58873     12 |        5 |      640
1031.75/1032.04	c 1030s |      18 |  2544389 |   349652 |    58873     12 |        5 |      640
1033.95/1034.26	c 1032s |      18 |  2548347 |   350352 |    58873     12 |        5 |      640
1036.15/1036.44	c 1034s |      18 |  2553879 |   351152 |    58873     12 |        5 |      640
1038.25/1038.59	c 1036s |      18 |  2560350 |   351952 |    58873     12 |        5 |      640
1040.54/1040.89	c 1038s |      18 |  2565950 |   352852 |    58873     12 |        5 |      640
1042.74/1043.07	c 1041s |      18 |  2570647 |   353652 |    58873     12 |        5 |      640
1044.85/1045.18	c 1043s |      18 |  2576350 |   354552 |    58873     12 |        5 |      640
1047.04/1047.39	c 1045s |      18 |  2578682 |   355252 |    58873     12 |        5 |      640
1049.24/1049.58	c 1047s |      18 |  2582556 |   356252 |    58873     12 |        5 |      640
1051.34/1051.63	c 1049s |      18 |  2584463 |   357052 |    58873     12 |        5 |      640
1053.54/1053.90	c 1051s |      18 |  2590148 |   357752 |    58873     12 |        5 |      640
1055.74/1056.08	c 1054s |      18 |  2596717 |   358252 |    58873     12 |        5 |      640
1058.13/1058.40	c 1056s |      18 |  2604179 |   358752 |    58873     12 |        5 |      640
1060.53/1060.83	c 1058s |      18 |  2610445 |   359152 |    58873     12 |        5 |      640
1062.73/1063.06	c 1061s |      18 |  2615844 |   359552 |    58873     12 |        5 |      640
1065.03/1065.38	c 1063s |      18 |  2621981 |   360052 |    58873     12 |        5 |      640
1067.02/1067.39	c 1065s |      18 |  2627821 |   360552 |    58873     12 |        5 |      640
1069.32/1069.61	c 1067s |      18 |  2632473 |   361152 |    58873     13 |        5 |      640
1071.32/1071.64	c 1069s |      18 |  2636265 |   361352 |    58873     13 |        5 |      640
1073.43/1073.71	c 1071s |      18 |  2643175 |   361852 |    58873     13 |        5 |      640
1075.63/1075.92	c 1073s |      18 |  2653508 |   362752 |    58873     13 |        5 |      640
1077.82/1078.13	c 1076s |      18 |  2663702 |   363352 |    58873     13 |        5 |      640
1080.02/1080.33	c 1078s |      18 |  2671303 |   363952 |    58873     13 |        5 |      640
1082.12/1082.48	c 1080s |      18 |  2681873 |   364952 |    58873     13 |        5 |      640
1084.12/1084.48	c 1082s |      18 |  2689015 |   365852 |    58873     13 |        5 |      640
1086.21/1086.58	c 1084s |      18 |  2695072 |   366452 |    58873     13 |        5 |      640
1088.51/1088.80	c 1086s |      18 |  2702527 |   367052 |    58873     13 |        5 |      640
1090.71/1091.07	c 1089s |      18 |  2709480 |   367952 |    58873     13 |        5 |      640
1092.81/1093.10	c 1091s |      18 |  2716138 |   368552 |    58873     13 |        5 |      640
1095.11/1095.44	c 1093s |      18 |  2722941 |   369352 |    58873     13 |        5 |      640
1097.20/1097.54	c 1095s |      18 |  2730230 |   369952 |    58873     13 |        5 |      640
1099.40/1099.71	c 1097s |      18 |  2734899 |   370652 |    58873     13 |        5 |      640
1101.70/1102.00	c 1100s |      18 |  2742333 |   371252 |    58873     13 |        5 |      640
1103.80/1104.16	c 1102s |      18 |  2748673 |   372052 |    58873     13 |        5 |      640
1105.90/1106.22	c 1104s |      18 |  2753653 |   372752 |    58873     13 |        5 |      640
1107.90/1108.29	c 1106s |      18 |  2761349 |   373452 |    58873     13 |        5 |      640
1109.90/1110.29	c 1108s |      18 |  2767640 |   374152 |    58873     13 |        5 |      640
1112.19/1112.59	c 1110s |      18 |  2774198 |   374852 |    58873     13 |        5 |      640
1114.29/1114.60	c 1112s |      18 |  2779928 |   375652 |    58873     13 |        5 |      640
1116.30/1116.67	c 1114s |      18 |  2785346 |   376452 |    58873     13 |        5 |      640
1118.39/1118.72	c 1116s |      18 |  2790992 |   377252 |    58873     13 |        5 |      640
1120.49/1120.86	c 1118s |      18 |  2795473 |   378052 |    58873     13 |        5 |      640
1122.69/1123.00	c 1121s |      18 |  2801265 |   379052 |    58873     13 |        5 |      640
1124.89/1125.25	c 1123s |      18 |  2807672 |   380052 |    58873     13 |        5 |      640
1126.98/1127.32	c 1125s |      18 |  2813435 |   381052 |    58873     13 |        5 |      640
1128.98/1129.38	c 1127s |      18 |  2817588 |   381952 |    58873     13 |        5 |      640
1131.18/1131.51	c 1129s |      18 |  2821075 |   382952 |    58873     13 |        5 |      640
1133.18/1133.54	c 1131s |      18 |  2825036 |   383852 |    58873     13 |        5 |      640
1135.38/1135.71	c 1133s |      18 |  2830804 |   384452 |    58873     13 |        5 |      640
1137.68/1138.00	c 1136s |      18 |  2835975 |   384952 |    58873     13 |        5 |      640
1139.78/1140.14	c 1138s |      18 |  2843653 |   385552 |    58873     13 |        5 |      640
1141.88/1142.28	c 1140s |      18 |  2851045 |   386352 |    58873     13 |        5 |      640
1144.08/1144.43	c 1142s |      18 |  2858020 |   387152 |    58873     13 |        5 |      640
1146.18/1146.57	c 1144s |      18 |  2863996 |   387652 |    58873     13 |        5 |      640
1148.27/1148.68	c 1146s |      18 |  2870451 |   388452 |    58873     13 |        5 |      640
1150.57/1150.91	c 1148s |      18 |  2875947 |   389152 |    58873     13 |        5 |      640
1152.67/1153.02	c 1151s |      18 |  2882181 |   389752 |    58873     13 |        5 |      640
1154.68/1155.03	c 1153s |      18 |  2887385 |   390452 |    58873     13 |        5 |      640
1156.77/1157.17	c 1155s |      18 |  2892740 |   390952 |    58873     13 |        5 |      640
1158.77/1159.18	c 1157s |      18 |  2895872 |   391552 |    58873     13 |        5 |      640
1160.97/1161.37	c 1159s |      18 |  2901279 |   392152 |    58873     13 |        5 |      640
1163.27/1163.62	c 1161s |      18 |  2905545 |   392752 |    58873     14 |        5 |      640
1165.27/1165.65	c 1163s |      18 |  2910389 |   393452 |    58873     14 |        5 |      640
1167.37/1167.75	c 1165s |      18 |  2915468 |   394052 |    58873     14 |        5 |      640
1169.47/1169.83	c 1167s |      18 |  2920907 |   394852 |    58873     14 |        5 |      640
1171.47/1171.87	c 1169s |      18 |  2926902 |   395752 |    58873     14 |        5 |      640
1173.67/1174.04	c 1172s |      18 |  2931454 |   396452 |    58873     14 |        5 |      640
1175.77/1176.13	c 1174s |      18 |  2936822 |   397352 |    58873     14 |        5 |      640
1177.88/1178.28	c 1176s |      18 |  2943690 |   398252 |    58873     14 |        5 |      640
1179.98/1180.39	c 1178s |      18 |  2947494 |   399052 |    58873     14 |        5 |      640
1182.07/1182.41	c 1180s |      18 |  2950404 |   399752 |    58873     14 |        5 |      640
1184.17/1184.58	c 1182s |      18 |  2954186 |   400652 |    58873     14 |        5 |      640
1186.27/1186.65	c 1184s |      18 |  2956952 |   401452 |    58873     14 |        5 |      640
1188.37/1188.76	c 1186s |      18 |  2958852 |   402252 |    58873     14 |        5 |      640
1190.57/1190.90	c 1188s |      18 |  2961690 |   403352 |    58873     14 |        5 |      640
1192.56/1192.97	c 1191s |      18 |  2965935 |   404452 |    58873     14 |        5 |      640
1194.66/1195.01	c 1193s |      18 |  2969547 |   405352 |    58873     14 |        5 |      640
1196.66/1197.08	c 1195s |      18 |  2974332 |   406252 |    58873     14 |        5 |      640
1198.77/1199.19	c 1197s |      18 |  2978058 |   407052 |    58873     14 |        5 |      640
1200.97/1201.39	c 1199s |      18 |  2983147 |   407852 |    58873     14 |        5 |      640
1203.36/1203.70	c 1201s |      18 |  2987637 |   408652 |    58873     14 |        5 |      640
1205.36/1205.78	c 1203s |      18 |  2991909 |   409352 |    58873     14 |        5 |      640
1207.46/1207.86	c 1205s |      18 |  2996121 |   410052 |    58873     14 |        5 |      640
1209.66/1210.09	c 1208s |      18 |  2999746 |   410752 |    58873     14 |        5 |      640
1211.96/1212.35	c 1210s |      18 |  3005651 |   411552 |    58873     14 |        5 |      640
1214.25/1214.61	c 1212s |      18 |  3010954 |   412352 |    58873     14 |        5 |      640
1216.36/1216.72	c 1214s |      18 |  3016976 |   412952 |    58873     14 |        5 |      640
1218.65/1219.03	c 1217s |      18 |  3021945 |   413652 |    58873     14 |        5 |      640
1220.75/1221.10	c 1219s |      18 |  3025904 |   414352 |    58873     14 |        5 |      640
1222.85/1223.22	c 1221s |      18 |  3028796 |   414952 |    58873     14 |        5 |      640
1224.95/1225.31	c 1223s |      18 |  3033570 |   415552 |    58873     14 |        5 |      640
1227.04/1227.43	c 1225s |      18 |  3038077 |   416252 |    58873     14 |        5 |      640
1229.24/1229.69	c 1227s |      18 |  3042429 |   416952 |    58873     14 |        5 |      640
1231.65/1232.04	c 1230s |      18 |  3048022 |   417752 |    58873     14 |        5 |      640
1233.95/1234.37	c 1232s |      18 |  3053142 |   418552 |    58873     14 |        5 |      640
1236.15/1236.59	c 1234s |      18 |  3058029 |   419352 |    58873     14 |        5 |      640
1238.24/1238.66	c 1236s |      18 |  3061036 |   420052 |    58873     14 |        5 |      640
1240.44/1240.90	c 1238s |      18 |  3063921 |   420752 |    58873     14 |        5 |      640
1242.74/1243.11	c 1241s |      18 |  3066456 |   421452 |    58873     14 |        5 |      640
1244.94/1245.31	c 1243s |      18 |  3067577 |   422052 |    58873     14 |        5 |      640
1247.03/1247.48	c 1245s |      18 |  3070295 |   422752 |    58873     14 |        5 |      640
1249.33/1249.76	c 1247s |      18 |  3074275 |   423352 |    58873     15 |        5 |      640
1251.33/1251.79	c 1249s |      18 |  3078745 |   424052 |    58873     15 |        5 |      640
1253.53/1253.95	c 1252s |      18 |  3081822 |   424752 |    58873     15 |        5 |      640
1255.63/1256.02	c 1254s |      18 |  3085137 |   425452 |    58873     15 |        5 |      640
1257.72/1258.19	c 1256s |      18 |  3087582 |   426152 |    58873     15 |        5 |      640
1259.92/1260.36	c 1258s |      18 |  3090875 |   426852 |    58873     15 |        5 |      640
1262.22/1262.63	c 1260s |      18 |  3093533 |   427652 |    58873     15 |        5 |      640
1264.42/1264.84	c 1262s |      18 |  3095389 |   428352 |    58873     15 |        5 |      640
1266.62/1267.09	c 1265s |      18 |  3097230 |   428952 |    58873     15 |        5 |      640
1268.92/1269.37	c 1267s |      18 |  3101555 |   429552 |    58873     15 |        5 |      640
1271.22/1271.67	c 1269s |      18 |  3107125 |   430352 |    58873     15 |        5 |      640
1273.21/1273.69	c 1271s |      18 |  3111988 |   430952 |    58873     15 |        5 |      640
1275.31/1275.70	c 1273s |      18 |  3117337 |   431652 |    58873     15 |        5 |      640
1277.41/1277.88	c 1275s |      18 |  3122607 |   432352 |    58873     15 |        5 |      640
1279.61/1280.05	c 1278s |      18 |  3126390 |   433052 |    58873     15 |        5 |      640
1281.61/1282.07	c 1280s |      18 |  3129869 |   433652 |    58873     15 |        5 |      640
1283.81/1284.26	c 1282s |      18 |  3134179 |   434452 |    58873     15 |        5 |      640
1286.11/1286.58	c 1284s |      18 |  3137904 |   435152 |    58873     15 |        5 |      640
1288.20/1288.61	c 1286s |      18 |  3140056 |   435752 |    58873     15 |        5 |      640
1290.40/1290.89	c 1288s |      18 |  3142440 |   436452 |    58873     15 |        5 |      640
1292.70/1293.10	c 1291s |      18 |  3144048 |   437152 |    58873     15 |        5 |      640
1294.80/1295.27	c 1293s |      18 |  3146713 |   437752 |    58873     15 |        5 |      640
1297.00/1297.44	c 1295s |      18 |  3151084 |   438452 |    58873     15 |        5 |      640
1299.10/1299.57	c 1297s |      18 |  3156446 |   439152 |    58873     15 |        5 |      640
1301.30/1301.74	c 1299s |      18 |  3160656 |   439752 |    58873     15 |        5 |      640
1303.70/1304.15	c 1302s |      18 |  3164811 |   440552 |    58873     15 |        5 |      640
1305.90/1306.30	c 1304s |      18 |  3167812 |   441152 |    58873     15 |        5 |      640
1307.99/1308.43	c 1306s |      18 |  3170536 |   441752 |    64761     15 |        5 |      640
1310.29/1310.80	c 1308s |      18 |  3172443 |   442352 |    64761     15 |        5 |      640
1312.39/1312.82	c 1310s |      18 |  3173773 |   442852 |    64761     15 |        5 |      640
1314.69/1315.19	c 1313s |      18 |  3174686 |   443352 |    64761     15 |        5 |      640
1316.89/1317.36	c 1315s |      18 |  3177368 |   443952 |    64761     15 |        5 |      640
1318.29/1318.72	c 1316s |      19 |  3180771 |   444482 |    64761     15 |        5 |      640
1320.69/1321.14	c 1319s |      19 |  3182355 |   444582 |    64761     15 |        5 |      640
1322.99/1323.45	c 1321s |      19 |  3187635 |   445082 |    64761     15 |        5 |      640
1325.09/1325.60	c 1323s |      19 |  3193027 |   445482 |    64761     15 |        5 |      640
1327.68/1328.13	c 1326s |      19 |  3197673 |   445882 |    64761     15 |        5 |      640
1330.08/1330.53	c 1328s |      19 |  3202628 |   446382 |    64761     15 |        5 |      640
1332.38/1332.89	c 1330s |      19 |  3208604 |   447082 |    64761     15 |        5 |      640
1334.78/1335.21	c 1333s |      19 |  3215416 |   447582 |    64761     15 |        5 |      640
1336.78/1337.25	c 1335s |      19 |  3220251 |   448082 |    64761     15 |        5 |      640
1339.38/1339.80	c 1337s |      19 |  3227073 |   448682 |    64761     15 |        5 |      640
1341.38/1341.85	c 1339s |      19 |  3231188 |   449282 |    64761     15 |        5 |      640
1343.88/1344.38	c 1342s |      19 |  3236395 |   449782 |    64761     15 |        5 |      640
1345.98/1346.47	c 1344s |      19 |  3241665 |   450182 |    64761     15 |        5 |      640
1348.37/1348.81	c 1346s |      19 |  3246502 |   450682 |    64761     15 |        5 |      640
1350.77/1351.24	c 1349s |      19 |  3250395 |   451282 |    64761     15 |        5 |      640
1352.77/1353.29	c 1351s |      19 |  3254758 |   451682 |    64761     15 |        5 |      640
1354.88/1355.37	c 1353s |      19 |  3259533 |   452082 |    64761     15 |        5 |      640
1356.87/1357.37	c 1355s |      19 |  3264590 |   452582 |    64761     15 |        5 |      640
1358.97/1359.49	c 1357s |      19 |  3268583 |   453182 |    64761     15 |        5 |      640
1361.07/1361.54	c 1359s |      19 |  3273209 |   453582 |    64761     15 |        5 |      640
1363.27/1363.75	c 1361s |      19 |  3277215 |   454182 |    64761     15 |        5 |      640
1365.57/1366.09	c 1364s |      19 |  3282446 |   454682 |    64761     15 |        5 |      640
1368.07/1368.51	c 1366s |      19 |  3287698 |   455382 |    64761     15 |        5 |      640
1370.36/1370.85	c 1368s |      19 |  3293785 |   455882 |    64761     15 |        5 |      640
1372.56/1373.00	c 1371s |      19 |  3297980 |   456482 |    64761     15 |        5 |      640
1374.57/1375.09	c 1373s |      19 |  3302584 |   456982 |    64761     15 |        5 |      640
1376.66/1377.17	c 1375s |      19 |  3305517 |   457482 |    64761     15 |        5 |      640
1378.76/1379.27	c 1377s |      19 |  3309299 |   457982 |    64761     15 |        5 |      640
1380.86/1381.34	c 1379s |      19 |  3312445 |   458482 |    64761     15 |        5 |      640
1383.16/1383.64	c 1381s |      19 |  3316237 |   459082 |    64761     15 |        5 |      640
1387.06/1387.54	c 1385s |      19 |  3320093 |   459682 |    64761     16 |        5 |      640
1389.17/1389.62	c 1387s |      19 |  3322833 |   460182 |    64761     16 |        5 |      640
1391.17/1391.67	c 1389s |      19 |  3326291 |   460782 |    64761     16 |        5 |      640
1393.47/1393.95	c 1392s |      19 |  3330417 |   461682 |    64761     16 |        5 |      640
1395.57/1396.06	c 1394s |      19 |  3333467 |   462682 |    64761     16 |        5 |      640
1397.86/1398.38	c 1396s |      19 |  3336560 |   463482 |    64761     16 |        5 |      640
1399.87/1400.39	c 1398s |      19 |  3340843 |   464082 |    64761     16 |        5 |      640
1411.96/1412.50	c 1410s |      19 |  3344297 |   464382 |    64761     16 |        5 |      640
1430.45/1430.93	c 1428s |      19 |  3347954 |   464682 |    64761     16 |        5 |      640
1432.65/1433.18	c 1431s |      19 |  3354891 |   465482 |    64761     16 |        5 |      640
1435.16/1435.69	c 1433s |      19 |  3361519 |   465982 |    64761     16 |        5 |      640
1437.45/1437.94	c 1435s |      19 |  3367143 |   466382 |    64761     16 |        5 |      640
1439.56/1440.02	c 1438s |      19 |  3371052 |   466782 |    64761     16 |        5 |      640
1441.66/1442.14	c 1440s |      19 |  3376366 |   467482 |    64761     16 |        5 |      640
1443.86/1444.30	c 1442s |      19 |  3382555 |   467982 |    64761     16 |        5 |      640
1446.25/1446.72	c 1444s |      19 |  3388706 |   468382 |    64761     16 |        5 |      640
1448.36/1448.84	c 1446s |      19 |  3393365 |   468782 |    64761     16 |        5 |      640
1450.65/1451.17	c 1449s |      19 |  3399485 |   469282 |    64761     16 |        5 |      640
1452.95/1453.49	c 1451s |      19 |  3406508 |   470082 |    64761     16 |        5 |      640
1455.05/1455.58	c 1453s |      19 |  3411106 |   470482 |    64761     16 |        5 |      640
1457.16/1457.65	c 1455s |      19 |  3416687 |   470882 |    64761     16 |        5 |      640
1459.26/1459.77	c 1457s |      19 |  3420562 |   471382 |    64761     16 |        5 |      640
1461.56/1462.04	c 1460s |      19 |  3425372 |   472082 |    64761     16 |        5 |      640
1463.55/1464.05	c 1462s |      19 |  3429733 |   472482 |    64761     16 |        5 |      640
1466.05/1466.51	c 1464s |      19 |  3434433 |   472982 |    64761     16 |        5 |      640
1468.35/1468.86	c 1466s |      19 |  3439164 |   473782 |    64761     16 |        5 |      640
1470.65/1471.14	c 1469s |      19 |  3443585 |   474282 |    64761     16 |        5 |      640
1473.05/1473.54	c 1471s |      19 |  3448788 |   474782 |    64761     16 |        5 |      640
1475.55/1476.07	c 1474s |      19 |  3455884 |   475582 |    64761     16 |        5 |      640
1477.75/1478.21	c 1476s |      19 |  3461102 |   476282 |    64761     16 |        5 |      640
1480.15/1480.64	c 1478s |      19 |  3467449 |   476882 |    64761     16 |        5 |      640
1482.45/1482.95	c 1481s |      19 |  3472043 |   477282 |    64761     16 |        5 |      640
1484.75/1485.22	c 1483s |      19 |  3477237 |   477782 |    64761     16 |        5 |      640
1486.85/1487.31	c 1485s |      19 |  3482074 |   478482 |    64761     16 |        5 |      640
1488.95/1489.44	c 1487s |      19 |  3487801 |   478982 |    64761     16 |        5 |      640
1491.04/1491.51	c 1489s |      19 |  3493485 |   479682 |    64761     16 |        5 |      640
1493.24/1493.79	c 1491s |      19 |  3499589 |   480282 |    64761     16 |        5 |      640
1495.44/1495.97	c 1494s |      19 |  3504641 |   480982 |    64761     16 |        5 |      640
1497.64/1498.17	c 1496s |      19 |  3508954 |   481582 |    64761     16 |        5 |      640
1499.84/1500.38	c 1498s |      19 |  3513719 |   482082 |    64761     16 |        5 |      640
1502.15/1502.61	c 1500s |      19 |  3517939 |   482582 |    64761     16 |        5 |      640
1504.35/1504.83	c 1502s |      19 |  3524146 |   483382 |    64761     16 |        5 |      640
1506.44/1506.93	c 1504s |      19 |  3529667 |   483882 |    64761     16 |        5 |      640
1508.64/1509.12	c 1507s |      19 |  3533698 |   484582 |    64761     16 |        5 |      640
1510.74/1511.27	c 1509s |      19 |  3537147 |   485182 |    64761     16 |        5 |      640
1512.94/1513.41	c 1511s |      19 |  3540222 |   485682 |    64761     16 |        5 |      640
1515.14/1515.60	c 1513s |      19 |  3542375 |   486282 |    64761     16 |        5 |      640
1517.55/1518.05	c 1516s |      19 |  3546429 |   486982 |    64761     16 |        5 |      640
1519.64/1520.14	c 1518s |      19 |  3549377 |   487582 |    64761     16 |        5 |      640
1521.95/1522.42	c 1520s |      19 |  3553467 |   488282 |    64761     16 |        5 |      640
1523.94/1524.42	c 1522s |      19 |  3557796 |   489082 |    64761     16 |        5 |      640
1526.14/1526.60	c 1524s |      19 |  3561475 |   489782 |    64761     16 |        5 |      640
1528.14/1528.65	c 1526s |      19 |  3564839 |   490482 |    64761     16 |        5 |      640
1530.34/1530.84	c 1528s |      19 |  3568565 |   491382 |    64761     16 |        5 |      640
1532.34/1532.86	c 1530s |      19 |  3570654 |   492182 |    64761     16 |        5 |      640
1536.54/1537.00	c 1535s |      19 |  3573552 |   492682 |    64761     17 |        5 |      640
1538.94/1539.46	c 1537s |      19 |  3579176 |   493082 |    64761     17 |        5 |      640
1541.14/1541.60	c 1539s |      19 |  3583576 |   493482 |    64761     17 |        5 |      640
1543.14/1543.69	c 1541s |      19 |  3588350 |   494182 |    64761     17 |        5 |      640
1545.44/1545.96	c 1544s |      19 |  3593075 |   494682 |    64761     17 |        5 |      640
1547.63/1548.13	c 1546s |      19 |  3598478 |   495082 |    64761     17 |        5 |      640
1549.63/1550.17	c 1548s |      19 |  3604337 |   495582 |    64761     17 |        5 |      640
1552.03/1552.50	c 1550s |      19 |  3610396 |   496382 |    64761     17 |        5 |      640
1554.43/1554.93	c 1552s |      19 |  3616167 |   496882 |    64761     17 |        5 |      640
1556.83/1557.35	c 1555s |      19 |  3620945 |   497682 |    64761     17 |        5 |      640
1559.03/1559.58	c 1557s |      19 |  3627407 |   498182 |    64761     17 |        5 |      640
1561.13/1561.67	c 1559s |      19 |  3631075 |   498582 |    64761     17 |        5 |      640
1563.43/1563.90	c 1561s |      19 |  3637316 |   499082 |    64761     17 |        5 |      640
1565.53/1566.07	c 1564s |      19 |  3642233 |   499782 |    64761     17 |        5 |      640
1567.83/1568.33	c 1566s |      19 |  3648868 |   500282 |    64761     17 |        5 |      640
1569.93/1570.43	c 1568s |      19 |  3655400 |   500782 |    64761     17 |        5 |      640
1572.03/1572.52	c 1570s |      19 |  3660539 |   501382 |    64761     17 |        5 |      640
1574.23/1574.75	c 1572s |      19 |  3666106 |   501982 |    64761     17 |        5 |      640
1576.33/1576.80	c 1574s |      19 |  3670799 |   502482 |    64761     17 |        5 |      640
1578.33/1578.88	c 1576s |      19 |  3674909 |   503182 |    64761     17 |        5 |      640
1580.73/1581.23	c 1579s |      19 |  3680943 |   503682 |    64761     17 |        5 |      640
1582.83/1583.36	c 1581s |      19 |  3685522 |   504282 |    64761     17 |        5 |      640
1585.03/1585.57	c 1583s |      19 |  3690175 |   504882 |    64761     17 |        5 |      640
1587.23/1587.80	c 1585s |      19 |  3695547 |   505482 |    64761     17 |        5 |      640
1589.53/1590.04	c 1588s |      19 |  3700717 |   506082 |    64761     17 |        5 |      640
1591.63/1592.16	c 1590s |      19 |  3706993 |   506682 |    64761     17 |        5 |      640
1593.83/1594.37	c 1592s |      19 |  3712530 |   507382 |    64761     17 |        5 |      640
1596.13/1596.60	c 1594s |      19 |  3716890 |   508082 |    64761     17 |        5 |      640
1598.33/1598.87	c 1596s |      19 |  3722312 |   508682 |    64761     17 |        5 |      640
1600.52/1601.03	c 1599s |      19 |  3725779 |   509382 |    64761     17 |        5 |      640
1602.52/1603.04	c 1601s |      19 |  3729110 |   509982 |    64761     17 |        5 |      640
1604.82/1605.31	c 1603s |      19 |  3732860 |   510582 |    64761     17 |        5 |      640
1607.02/1607.52	c 1605s |      19 |  3737313 |   511282 |    64761     17 |        5 |      640
1609.22/1609.74	c 1607s |      19 |  3741523 |   511982 |    64761     17 |        5 |      640
1611.52/1612.06	c 1610s |      19 |  3745752 |   512582 |    64761     17 |        5 |      640
1613.62/1614.18	c 1612s |      19 |  3749779 |   513282 |    64761     17 |        5 |      640
1615.62/1616.20	c 1614s |      19 |  3752967 |   513982 |    64761     17 |        5 |      640
1617.73/1618.29	c 1616s |      19 |  3756856 |   514682 |    64761     17 |        5 |      640
1619.93/1620.41	c 1618s |      19 |  3760183 |   515382 |    64761     17 |        5 |      640
1621.92/1622.43	c 1620s |      19 |  3763068 |   516082 |    64761     17 |        5 |      640
1624.12/1624.62	c 1622s |      19 |  3766261 |   516882 |    64761     17 |        5 |      640
1626.12/1626.62	c 1624s |      19 |  3769719 |   517782 |    64761     17 |        5 |      640
1628.42/1628.97	c 1627s |      19 |  3774066 |   518482 |    64761     17 |        5 |      640
1630.83/1631.37	c 1629s |      19 |  3777879 |   518882 |    64761     17 |        5 |      640
1632.92/1633.41	c 1631s |      19 |  3781013 |   519282 |    64761     17 |        5 |      640
1635.23/1635.74	c 1633s |      19 |  3784610 |   519982 |    64761     17 |        5 |      640
1637.53/1638.00	c 1636s |      19 |  3789690 |   520482 |    64761     17 |        5 |      640
1639.72/1640.28	c 1638s |      19 |  3794425 |   520882 |    64761     17 |        5 |      640
1641.92/1642.49	c 1640s |      19 |  3798232 |   521282 |    64761     17 |        5 |      640
1644.02/1644.51	c 1642s |      19 |  3804116 |   521782 |    64761     17 |        5 |      640
1646.32/1646.85	c 1644s |      19 |  3809336 |   522482 |    64761     17 |        5 |      640
1648.62/1649.19	c 1647s |      19 |  3813611 |   522882 |    64761     17 |        5 |      640
1651.12/1651.67	c 1649s |      19 |  3819236 |   523382 |    64761     17 |        5 |      640
1653.32/1653.80	c 1651s |      19 |  3823197 |   523982 |    64761     17 |        5 |      640
1655.72/1656.28	c 1654s |      19 |  3827573 |   524582 |    64761     17 |        5 |      640
1657.92/1658.48	c 1656s |      19 |  3832356 |   524982 |    64761     17 |        5 |      640
1660.01/1660.53	c 1658s |      19 |  3835562 |   525482 |    64761     17 |        5 |      640
1662.51/1663.00	c 1661s |      19 |  3839386 |   526082 |    64761     18 |        5 |      640
1664.81/1665.35	c 1663s |      19 |  3844759 |   526582 |    64761     18 |        5 |      640
1667.01/1667.53	c 1665s |      19 |  3851522 |   527082 |    64761     18 |        5 |      640
1669.11/1669.68	c 1667s |      19 |  3858342 |   527982 |    64761     18 |        5 |      640
1671.52/1672.06	c 1670s |      19 |  3865515 |   528582 |    64761     18 |        5 |      640
1673.51/1674.07	c 1672s |      19 |  3870163 |   529082 |    64761     18 |        5 |      640
1675.71/1676.28	c 1674s |      19 |  3874223 |   529782 |    64761     18 |        5 |      640
1678.12/1678.66	c 1676s |      19 |  3878948 |   530282 |    64761     18 |        5 |      640
1680.32/1680.82	c 1678s |      19 |  3882732 |   530982 |    64761     18 |        5 |      640
1682.62/1683.15	c 1681s |      19 |  3888576 |   531582 |    64761     18 |        5 |      640
1684.91/1685.49	c 1683s |      19 |  3893926 |   532082 |    64761     18 |        5 |      640
1687.21/1687.77	c 1685s |      19 |  3897139 |   532782 |    64761     18 |        5 |      640
1689.31/1689.83	c 1687s |      19 |  3901326 |   533282 |    64761     18 |        5 |      640
1691.51/1692.00	c 1690s |      19 |  3904623 |   533982 |    64761     18 |        5 |      640
1693.71/1694.25	c 1692s |      19 |  3908771 |   534482 |    64761     18 |        5 |      640
1695.72/1696.28	c 1694s |      19 |  3912429 |   534982 |    64761     18 |        5 |      640
1697.81/1698.39	c 1696s |      19 |  3915436 |   535582 |    64761     18 |        5 |      640
1700.01/1700.53	c 1698s |      19 |  3919620 |   536282 |    64761     18 |        5 |      640
1702.11/1702.67	c 1700s |      19 |  3925089 |   536982 |    64761     18 |        5 |      640
1704.41/1704.94	c 1702s |      19 |  3929701 |   537582 |    64761     18 |        5 |      640
1706.71/1707.26	c 1705s |      19 |  3932604 |   538182 |    64761     18 |        5 |      640
1708.81/1709.39	c 1707s |      19 |  3936981 |   538882 |    64761     18 |        5 |      640
1711.01/1711.52	c 1709s |      19 |  3941066 |   539582 |    64761     18 |        5 |      640
1713.21/1713.72	c 1711s |      19 |  3947165 |   540182 |    64761     18 |        5 |      640
1715.21/1715.79	c 1713s |      19 |  3951394 |   540882 |    64761     18 |        5 |      640
1717.51/1718.07	c 1716s |      19 |  3956257 |   541682 |    64761     18 |        5 |      640
1719.61/1720.14	c 1718s |      19 |  3960250 |   542482 |    64761     18 |        5 |      640
1721.71/1722.26	c 1720s |      19 |  3963402 |   543282 |    64761     18 |        5 |      640
1723.81/1724.34	c 1722s |      19 |  3966360 |   544082 |    64761     18 |        5 |      640
1725.90/1726.49	c 1724s |      19 |  3969516 |   545182 |    64761     18 |        5 |      640
1728.10/1728.67	c 1726s |      19 |  3973940 |   545682 |    64761     18 |        5 |      640
1730.30/1730.85	c 1728s |      19 |  3978732 |   546082 |    64761     18 |        5 |      640
1732.40/1732.96	c 1731s |      19 |  3983187 |   546582 |    64761     18 |        5 |      640
1735.00/1735.50	c 1733s |      19 |  3989907 |   547282 |    64761     18 |        5 |      640
1737.20/1737.70	c 1735s |      19 |  3996034 |   547682 |    64761     18 |        5 |      640
1739.40/1739.97	c 1738s |      19 |  4000866 |   548182 |    64761     18 |        5 |      640
1741.70/1742.25	c 1740s |      19 |  4004833 |   548882 |    64761     18 |        5 |      640
1743.80/1744.34	c 1742s |      19 |  4009676 |   549282 |    64761     18 |        5 |      640
1746.00/1746.55	c 1744s |      19 |  4016405 |   549882 |    64761     18 |        5 |      640
1748.40/1748.91	c 1746s |      19 |  4021667 |   550482 |    64761     18 |        5 |      640
1750.50/1751.02	c 1749s |      19 |  4026540 |   550882 |    64761     18 |        5 |      640
1752.70/1753.22	c 1751s |      19 |  4030155 |   551482 |    64761     18 |        5 |      640
1754.90/1755.41	c 1753s |      19 |  4035442 |   551982 |    64761     18 |        5 |      640
1756.90/1757.44	c 1755s |      19 |  4039838 |   552382 |    64761     18 |        5 |      640
1759.00/1759.58	c 1757s |      19 |  4044619 |   553082 |    64761     18 |        5 |      640
1761.60/1762.11	c 1760s |      19 |  4051554 |   553682 |    64761     18 |        5 |      640
1763.70/1764.28	c 1762s |      19 |  4054832 |   554282 |    64761     18 |        5 |      640
1766.00/1766.53	c 1764s |      19 |  4060423 |   554782 |    64761     18 |        5 |      640
1768.10/1768.69	c 1766s |      19 |  4063866 |   555182 |    64761     18 |        5 |      640
1770.40/1770.92	c 1768s |      19 |  4067967 |   555782 |    64761     18 |        5 |      640
1772.60/1773.13	c 1771s |      19 |  4073051 |   556282 |    64761     18 |        5 |      640
1774.80/1775.30	c 1773s |      19 |  4077638 |   556782 |    64761     18 |        5 |      640
1777.00/1777.56	c 1775s |      19 |  4081906 |   557482 |    64761     18 |        5 |      640
1779.20/1779.74	c 1777s |      19 |  4087561 |   557982 |    64761     18 |        5 |      640
1781.20/1781.78	c 1779s |      19 |  4090651 |   558582 |    64761     18 |        5 |      640
1783.39/1783.90	c 1781s |      19 |  4095135 |   559082 |    64761     18 |        5 |      640
1785.90/1786.48	c 1784s |      19 |  4100086 |   559782 |    64761     19 |        5 |      640
1787.99/1788.52	c 1786s |      19 |  4106150 |   560382 |    64761     19 |        5 |      640
1790.09/1790.67	c 1788s |      19 |  4110964 |   561082 |    64761     19 |        5 |      640
1792.50/1793.03	c 1791s |      19 |  4114394 |   561882 |    64761     19 |        5 |      640
1794.70/1795.24	c 1793s |      19 |  4119829 |   562682 |    64761     19 |        5 |      640
1796.90/1797.47	c 1795s |      19 |  4124467 |   563482 |    64761     19 |        5 |      640
1799.10/1799.62	c 1797s |      19 |  4129615 |   564282 |    64761     19 |        5 |      640

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

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

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


[startup+0 s]
/proc/loadavg: 1.27 1.34 1.64 3/179 2542
/proc/meminfo: memFree=30329492/32872528 swapFree=1370072/1517240
[pid=2542] ppid=2539 vsize=797116 CPUtime=0 cores=1,3,5,7
/proc/2542/stat : 2542 (toysat) R 2539 2542 29649 0 -1 4202496 2984 0 0 0 0 0 0 0 20 0 4 0 14064656 816246784 3345 33554432000 4194304 16246674 140734021824624 140734021824048 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2542/statm: 199791 3355 441 2943 0 196685 0
[pid=2542/tid=2543] ppid=2539 vsize=830908 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2543/stat : 2543 (toysat) S 2539 2542 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14064656 850849792 3478 33554432000 4194304 16246674 140734021824624 140340332834032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2542/tid=2544] ppid=2539 vsize=835004 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2544/stat : 2544 (toysat) S 2539 2542 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064656 855044096 3495 33554432000 4194304 16246674 140734021824624 140340322344176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2542/tid=2545] ppid=2539 vsize=839100 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2545/stat : 2545 (toysat) S 2539 2542 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064656 859238400 3512 33554432000 4194304 16246674 140734021824624 140340203875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 1.27 1.34 1.64 3/179 2542
/proc/meminfo: memFree=30329492/32872528 swapFree=1370072/1517240
[pid=2542] ppid=2539 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/2542/stat : 2542 (toysat) R 2539 2542 29649 0 -1 4202496 27192 0 0 0 6 3 0 0 20 0 4 0 14064656 1333334016 27491 33554432000 4194304 16246674 140734021824624 140734021823936 7374276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2542/statm: 325521 27508 800 2943 0 322415 0
[pid=2542/tid=2543] ppid=2539 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2543/stat : 2543 (toysat) S 2539 2542 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14064656 1333334016 27519 33554432000 4194304 16246674 140734021824624 140340332834032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2542/tid=2544] ppid=2539 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2544/stat : 2544 (toysat) S 2539 2542 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064656 1333334016 27530 33554432000 4194304 16246674 140734021824624 140340322344176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2542/tid=2545] ppid=2539 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2545/stat : 2545 (toysat) S 2539 2542 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064656 1333334016 27540 33554432000 4194304 16246674 140734021824624 140340203875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200518 s]
/proc/loadavg: 1.27 1.34 1.64 3/179 2542
/proc/meminfo: memFree=30329492/32872528 swapFree=1370072/1517240
[pid=2542] ppid=2539 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/2542/stat : 2542 (toysat) R 2539 2542 29649 0 -1 4202496 45617 0 0 0 14 5 0 0 20 0 4 0 14064656 1344868352 46426 33554432000 4194304 16246674 140734021824624 140734021806528 13923652 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2542/statm: 328337 46426 801 2943 0 325231 0
[pid=2542/tid=2543] ppid=2539 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2543/stat : 2543 (toysat) S 2539 2542 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14064656 1344868352 46426 33554432000 4194304 16246674 140734021824624 140340332834032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2542/tid=2544] ppid=2539 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2544/stat : 2544 (toysat) S 2539 2542 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064656 1344868352 46426 33554432000 4194304 16246674 140734021824624 140340322344176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2542/tid=2545] ppid=2539 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2545/stat : 2545 (toysat) S 2539 2542 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064656 1344868352 46426 33554432000 4194304 16246674 140734021824624 140340203875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300468 s]
/proc/loadavg: 1.27 1.34 1.64 3/179 2542
/proc/meminfo: memFree=30329492/32872528 swapFree=1370072/1517240
[pid=2542] ppid=2539 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/2542/stat : 2542 (toysat) R 2539 2542 29649 0 -1 4202496 60284 0 0 0 21 8 0 0 20 0 4 0 14064656 1344868352 61093 33554432000 4194304 16246674 140734021824624 140734021806528 7852832 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2542/statm: 328337 61093 801 2943 0 325231 0
[pid=2542/tid=2543] ppid=2539 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2543/stat : 2543 (toysat) S 2539 2542 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14064656 1344868352 61093 33554432000 4194304 16246674 140734021824624 140340332834032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2542/tid=2544] ppid=2539 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2544/stat : 2544 (toysat) S 2539 2542 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064656 1344868352 61093 33554432000 4194304 16246674 140734021824624 140340322344176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2542/tid=2545] ppid=2539 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2545/stat : 2545 (toysat) S 2539 2542 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064656 1344868352 61093 33554432000 4194304 16246674 140734021824624 140340203875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700435 s]
/proc/loadavg: 1.27 1.34 1.64 3/179 2542
/proc/meminfo: memFree=30329492/32872528 swapFree=1370072/1517240
[pid=2542] ppid=2539 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/2542/stat : 2542 (toysat) R 2539 2542 29649 0 -1 4202496 66923 0 0 0 61 8 0 0 20 0 4 0 14064656 1344868352 67732 33554432000 4194304 16246674 140734021824624 140734021806528 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2542/statm: 328337 67732 802 2943 0 325231 0
[pid=2542/tid=2543] ppid=2539 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2543/stat : 2543 (toysat) S 2539 2542 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14064656 1344868352 67732 33554432000 4194304 16246674 140734021824624 140340332834032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2542/tid=2544] ppid=2539 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2544/stat : 2544 (toysat) S 2539 2542 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064656 1344868352 67732 33554432000 4194304 16246674 140734021824624 140340322344176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2542/tid=2545] ppid=2539 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2545/stat : 2545 (toysat) S 2539 2542 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064656 1344868352 67732 33554432000 4194304 16246674 140734021824624 140340203875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 1.27 1.34 1.64 3/183 2546
/proc/meminfo: memFree=28913668/32872528 swapFree=1370072/1517240
[pid=2542] ppid=2539 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/2542/stat : 2542 (toysat) R 2539 2542 29649 0 -1 4202496 239611 0 0 0 116 33 0 0 20 0 4 0 14064656 1344868352 240420 33554432000 4194304 16246674 140734021824624 140734021806528 5589077 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2542/statm: 328337 240431 836 2943 0 325231 0
[pid=2542/tid=2543] ppid=2539 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2543/stat : 2543 (toysat) S 2539 2542 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14064656 1344868352 240438 33554432000 4194304 16246674 140734021824624 140340332834032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2542/tid=2544] ppid=2539 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2544/stat : 2544 (toysat) S 2539 2542 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064656 1344868352 240446 33554432000 4194304 16246674 140734021824624 140340322344176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2542/tid=2545] ppid=2539 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2545/stat : 2545 (toysat) S 2539 2542 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064656 1344868352 240455 33554432000 4194304 16246674 140734021824624 140340203875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10044 s]
/proc/loadavg: 1.33 1.35 1.64 3/183 2546
/proc/meminfo: memFree=28215160/32872528 swapFree=1370072/1517240
[pid=2542] ppid=2539 vsize=1334852 CPUtime=3.09 cores=1,3,5,7
/proc/2542/stat : 2542 (toysat) R 2539 2542 29649 0 -1 4202496 274302 0 0 0 271 38 0 0 20 0 4 0 14064656 1366888448 275111 33554432000 4194304 16246674 140734021824624 140734021806528 12483484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2542/statm: 333713 275111 883 2943 0 330607 0
[pid=2542/tid=2543] ppid=2539 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2543/stat : 2543 (toysat) S 2539 2542 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14064656 1366888448 275111 33554432000 4194304 16246674 140734021824624 140340332834032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2542/tid=2544] ppid=2539 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2544/stat : 2544 (toysat) S 2539 2542 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064656 1366888448 275111 33554432000 4194304 16246674 140734021824624 140340322344176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2542/tid=2545] ppid=2539 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2545/stat : 2545 (toysat) S 2539 2542 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064656 1366888448 275111 33554432000 4194304 16246674 140734021824624 140340203875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1334852

[startup+6.3004 s]
/proc/loadavg: 1.33 1.35 1.64 3/183 2546
/proc/meminfo: memFree=28213612/32872528 swapFree=1370072/1517240
[pid=2542] ppid=2539 vsize=1334852 CPUtime=6.29 cores=1,3,5,7
/proc/2542/stat : 2542 (toysat) R 2539 2542 29649 0 -1 4202496 274385 0 0 0 591 38 0 0 20 0 4 0 14064656 1366888448 275194 33554432000 4194304 16246674 140734021824624 140734021806528 5822908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2542/statm: 333713 275194 886 2943 0 330607 0
[pid=2542/tid=2543] ppid=2539 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2543/stat : 2543 (toysat) S 2539 2542 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14064656 1366888448 275194 33554432000 4194304 16246674 140734021824624 140340332834032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2542/tid=2544] ppid=2539 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2544/stat : 2544 (toysat) S 2539 2542 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064656 1366888448 275194 33554432000 4194304 16246674 140734021824624 140340322344176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2542/tid=2545] ppid=2539 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2545/stat : 2545 (toysat) S 2539 2542 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064656 1366888448 275194 33554432000 4194304 16246674 140734021824624 140340203875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1334852

[startup+12.7005 s]
/proc/loadavg: 1.51 1.39 1.65 4/183 2546
/proc/meminfo: memFree=28214268/32872528 swapFree=1370072/1517240
[pid=2542] ppid=2539 vsize=1334852 CPUtime=12.69 cores=1,3,5,7
/proc/2542/stat : 2542 (toysat) R 2539 2542 29649 0 -1 4202496 274388 0 0 0 1231 38 0 0 20 0 4 0 14064656 1366888448 275197 33554432000 4194304 16246674 140734021824624 140734021806528 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2542/statm: 333713 275197 888 2943 0 330607 0
[pid=2542/tid=2543] ppid=2539 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2543/stat : 2543 (toysat) S 2539 2542 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14064656 1366888448 275197 33554432000 4194304 16246674 140734021824624 140340332834032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2542/tid=2544] ppid=2539 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2544/stat : 2544 (toysat) S 2539 2542 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064656 1366888448 275197 33554432000 4194304 16246674 140734021824624 140340322344176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2542/tid=2545] ppid=2539 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2545/stat : 2545 (toysat) S 2539 2542 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064656 1366888448 275197 33554432000 4194304 16246674 140734021824624 140340203875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1334852

[startup+25.5005 s]
/proc/loadavg: 1.59 1.40 1.65 4/183 2546
/proc/meminfo: memFree=28215772/32872528 swapFree=1370072/1517240
[pid=2542] ppid=2539 vsize=1334852 CPUtime=25.49 cores=1,3,5,7
/proc/2542/stat : 2542 (toysat) R 2539 2542 29649 0 -1 4202496 274388 0 0 0 2511 38 0 0 20 0 4 0 14064656 1366888448 275197 33554432000 4194304 16246674 140734021824624 140734021807624 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2542/statm: 333713 275197 888 2943 0 330607 0
[pid=2542/tid=2543] ppid=2539 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2543/stat : 2543 (toysat) S 2539 2542 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14064656 1366888448 275197 33554432000 4194304 16246674 140734021824624 140340332834032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2542/tid=2544] ppid=2539 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2544/stat : 2544 (toysat) S 2539 2542 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064656 1366888448 275197 33554432000 4194304 16246674 140734021824624 140340322344176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2542/tid=2545] ppid=2539 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2545/stat : 2545 (toysat) S 2539 2542 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064656 1366888448 275197 33554432000 4194304 16246674 140734021824624 140340203875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1334852

[startup+51.1005 s]
/proc/loadavg: 1.73 1.45 1.66 3/183 2547
/proc/meminfo: memFree=28215412/32872528 swapFree=1370072/1517240
[pid=2542] ppid=2539 vsize=1334852 CPUtime=51.09 cores=1,3,5,7
/proc/2542/stat : 2542 (toysat) R 2539 2542 29649 0 -1 4202496 274388 0 0 0 5071 38 0 0 20 0 4 0 14064656 1366888448 275197 33554432000 4194304 16246674 140734021824624 140734021806528 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2542/statm: 333713 275197 888 2943 0 330607 0
[pid=2542/tid=2543] ppid=2539 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2543/stat : 2543 (toysat) S 2539 2542 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14064656 1366888448 275197 33554432000 4194304 16246674 140734021824624 140340332834032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2542/tid=2544] ppid=2539 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2544/stat : 2544 (toysat) S 2539 2542 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064656 1366888448 275197 33554432000 4194304 16246674 140734021824624 140340322344176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2542/tid=2545] ppid=2539 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2545/stat : 2545 (toysat) S 2539 2542 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064656 1366888448 275197 33554432000 4194304 16246674 140734021824624 140340203875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1334852

[startup+102.3 s]
/proc/loadavg: 2.10 1.60 1.70 4/183 2548
/proc/meminfo: memFree=28192168/32872528 swapFree=1370072/1517240
[pid=2542] ppid=2539 vsize=1334852 CPUtime=102.28 cores=1,3,5,7
/proc/2542/stat : 2542 (toysat) R 2539 2542 29649 0 -1 4202496 274390 0 0 0 10190 38 0 0 20 0 4 0 14064656 1366888448 275199 33554432000 4194304 16246674 140734021824624 140734021806528 5523325 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2542/statm: 333713 275199 889 2943 0 330607 0
[pid=2542/tid=2543] ppid=2539 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2543/stat : 2543 (toysat) S 2539 2542 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14064656 1366888448 275199 33554432000 4194304 16246674 140734021824624 140340332834032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2542/tid=2544] ppid=2539 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2544/stat : 2544 (toysat) S 2539 2542 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064656 1366888448 275199 33554432000 4194304 16246674 140734021824624 140340322344176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2542/tid=2545] ppid=2539 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2545/stat : 2545 (toysat) S 2539 2542 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064656 1366888448 275199 33554432000 4194304 16246674 140734021824624 140340203875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1334852


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

/proc/2542/task/2545/stat : 2545 (toysat) S 2539 2542 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340203875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1408580

[startup+1302.3 s]
/proc/loadavg: 1.44 1.53 1.71 2/173 2609
/proc/meminfo: memFree=29248292/32872528 swapFree=1370072/1517240
[pid=2542] ppid=2539 vsize=1408580 CPUtime=1301.9 cores=1,3,5,7
/proc/2542/stat : 2542 (toysat) R 2539 2542 29649 0 -1 4202496 292917 0 0 0 130140 50 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140734021806528 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2542/statm: 352145 293694 890 2943 0 349039 0
[pid=2542/tid=2543] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2543/stat : 2543 (toysat) S 2539 2542 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340332834032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2542/tid=2544] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2544/stat : 2544 (toysat) S 2539 2542 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340322344176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2542/tid=2545] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2545/stat : 2545 (toysat) S 2539 2542 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340203875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1408580

[startup+1362.3 s]
/proc/loadavg: 1.27 1.46 1.68 3/173 2610
/proc/meminfo: memFree=29248408/32872528 swapFree=1370072/1517240
[pid=2542] ppid=2539 vsize=1408580 CPUtime=1361.87 cores=1,3,5,7
/proc/2542/stat : 2542 (toysat) R 2539 2542 29649 0 -1 4202496 292954 0 0 0 136137 50 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140734021806528 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2542/statm: 352145 293694 890 2943 0 349039 0
[pid=2542/tid=2543] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2543/stat : 2543 (toysat) S 2539 2542 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340332834032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2542/tid=2544] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2544/stat : 2544 (toysat) S 2539 2542 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340322344176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2542/tid=2545] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2545/stat : 2545 (toysat) S 2539 2542 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340203875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1408580

[startup+1422.3 s]
/proc/loadavg: 1.48 1.47 1.66 2/174 2614
/proc/meminfo: memFree=29247368/32872528 swapFree=1370072/1517240
[pid=2542] ppid=2539 vsize=1408580 CPUtime=1421.86 cores=1,3,5,7
/proc/2542/stat : 2542 (toysat) R 2539 2542 29649 0 -1 4202496 292978 0 0 0 142133 53 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140734021822464 4220480 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2542/statm: 352145 293694 890 2943 0 349039 0
[pid=2542/tid=2543] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2543/stat : 2543 (toysat) S 2539 2542 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340332834032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2542/tid=2544] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2544/stat : 2544 (toysat) S 2539 2542 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340322344176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2542/tid=2545] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2545/stat : 2545 (toysat) S 2539 2542 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340203875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1408580

[startup+1482.3 s]
/proc/loadavg: 1.31 1.42 1.63 2/174 2638
/proc/meminfo: memFree=29247332/32872528 swapFree=1370072/1517240
[pid=2542] ppid=2539 vsize=1408580 CPUtime=1481.85 cores=1,3,5,7
/proc/2542/stat : 2542 (toysat) R 2539 2542 29649 0 -1 4202496 292980 0 0 0 148131 54 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140734021806528 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2542/statm: 352145 293694 890 2943 0 349039 0
[pid=2542/tid=2543] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2543/stat : 2543 (toysat) S 2539 2542 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340332834032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2542/tid=2544] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2544/stat : 2544 (toysat) S 2539 2542 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340322344176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2542/tid=2545] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2545/stat : 2545 (toysat) S 2539 2542 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340203875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1408580

[startup+1542.31 s]
/proc/loadavg: 1.24 1.38 1.60 2/174 2639
/proc/meminfo: memFree=29248632/32872528 swapFree=1370072/1517240
[pid=2542] ppid=2539 vsize=1408580 CPUtime=1541.84 cores=1,3,5,7
/proc/2542/stat : 2542 (toysat) R 2539 2542 29649 0 -1 4202496 292980 0 0 0 154130 54 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140734021806528 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2542/statm: 352145 293694 890 2943 0 349039 0
[pid=2542/tid=2543] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2543/stat : 2543 (toysat) S 2539 2542 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340332834032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2542/tid=2544] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2544/stat : 2544 (toysat) S 2539 2542 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340322344176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2542/tid=2545] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2545/stat : 2545 (toysat) S 2539 2542 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340203875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1408580

[startup+1602.3 s]
/proc/loadavg: 1.25 1.36 1.58 3/173 2641
/proc/meminfo: memFree=29249136/32872528 swapFree=1370072/1517240
[pid=2542] ppid=2539 vsize=1408580 CPUtime=1601.82 cores=1,3,5,7
/proc/2542/stat : 2542 (toysat) R 2539 2542 29649 0 -1 4202496 292980 0 0 0 160128 54 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140734021806528 5823158 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2542/statm: 352145 293694 890 2943 0 349039 0
[pid=2542/tid=2543] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2543/stat : 2543 (toysat) S 2539 2542 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340332834032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2542/tid=2544] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2544/stat : 2544 (toysat) S 2539 2542 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340322344176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2542/tid=2545] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2545/stat : 2545 (toysat) S 2539 2542 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340203875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1408580

[startup+1662.3 s]
/proc/loadavg: 1.20 1.32 1.55 2/173 2642
/proc/meminfo: memFree=29248780/32872528 swapFree=1370072/1517240
[pid=2542] ppid=2539 vsize=1408580 CPUtime=1661.81 cores=1,3,5,7
/proc/2542/stat : 2542 (toysat) R 2539 2542 29649 0 -1 4202496 292980 0 0 0 166127 54 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140734021806528 8194681 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2542/statm: 352145 293694 890 2943 0 349039 0
[pid=2542/tid=2543] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2543/stat : 2543 (toysat) S 2539 2542 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340332834032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2542/tid=2544] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2544/stat : 2544 (toysat) S 2539 2542 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340322344176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2542/tid=2545] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2545/stat : 2545 (toysat) S 2539 2542 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340203875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1408580

[startup+1722.3 s]
/proc/loadavg: 1.21 1.31 1.53 2/173 2643
/proc/meminfo: memFree=29248836/32872528 swapFree=1370072/1517240
[pid=2542] ppid=2539 vsize=1408580 CPUtime=1721.81 cores=1,3,5,7
/proc/2542/stat : 2542 (toysat) R 2539 2542 29649 0 -1 4202496 292980 0 0 0 172127 54 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140734021806528 12483532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2542/statm: 352145 293694 890 2943 0 349039 0
[pid=2542/tid=2543] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2543/stat : 2543 (toysat) S 2539 2542 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340332834032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2542/tid=2544] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2544/stat : 2544 (toysat) S 2539 2542 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340322344176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2542/tid=2545] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2545/stat : 2545 (toysat) S 2539 2542 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340203875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1408580

[startup+1782.3 s]
/proc/loadavg: 1.21 1.29 1.51 2/173 2644
/proc/meminfo: memFree=29248756/32872528 swapFree=1370072/1517240
[pid=2542] ppid=2539 vsize=1408580 CPUtime=1781.8 cores=1,3,5,7
/proc/2542/stat : 2542 (toysat) R 2539 2542 29649 0 -1 4202496 292980 0 0 0 178126 54 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140734021806528 5829313 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2542/statm: 352145 293694 890 2943 0 349039 0
[pid=2542/tid=2543] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2543/stat : 2543 (toysat) S 2539 2542 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340332834032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2542/tid=2544] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2544/stat : 2544 (toysat) S 2539 2542 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340322344176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2542/tid=2545] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2545/stat : 2545 (toysat) S 2539 2542 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340203875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1408580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.30 1.31 1.51 2/173 2644
/proc/meminfo: memFree=29248804/32872528 swapFree=1370072/1517240
[pid=2542] ppid=2539 vsize=1408580 CPUtime=1800.09 cores=1,3,5,7
/proc/2542/stat : 2542 (toysat) R 2539 2542 29649 0 -1 4202496 292980 0 0 0 179955 54 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140734021806528 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2542/statm: 352145 293694 890 2943 0 349039 0
[pid=2542/tid=2543] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2543/stat : 2543 (toysat) S 2539 2542 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340332834032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2542/tid=2544] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2544/stat : 2544 (toysat) S 2539 2542 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340322344176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2542/tid=2545] ppid=2539 vsize=1408580 CPUtime=0 cores=1,3,5,7
/proc/2542/task/2545/stat : 2545 (toysat) S 2539 2542 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14064656 1442385920 293694 33554432000 4194304 16246674 140734021824624 140340203875504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1408580

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 2542 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.11
CPU user time (s): 1799.56
CPU system time (s): 0.547916
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 1408580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.547916
maximum resident set size= 1174776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292980
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= 367
involuntary context switches= 1855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7021 second user time and 14.6378 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-17 01:36:22
IDJOB=4098234
IDBENCH=107871
IDSOLVER=2542
FILE ID=node129/4098234-1466120181
RUNJOBID= node129-1466120181-2510
PBS_JOBID= 19904039
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_9.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098234-1466120181/watcher-4098234-1466120181 -o /tmp/evaluation-result-4098234-1466120181/solver-4098234-1466120181 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466120181-2510 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098234-1466120181.opb

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

MD5SUM BENCH= 9e7540e8b039c3315633701424c45260
RANDOM SEED=133007900

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30338056 kB
Buffers:           63004 kB
Cached:           176892 kB
SwapCached:          748 kB
Active:           198876 kB
Inactive:         111408 kB
Active(anon):      71184 kB
Inactive(anon):     1144 kB
Active(file):     127692 kB
Inactive(file):   110264 kB
Unevictable:     1517240 kB
Mlocked:         1370072 kB
SwapTotal:      67108856 kB
SwapFree:       67100384 kB
Dirty:             37264 kB
Writeback:             0 kB
AnonPages:       1538992 kB
Mapped:             9312 kB
Shmem:                 0 kB
Slab:             571496 kB
SReclaimable:      15868 kB
SUnreclaim:       555628 kB
KernelStack:        1424 kB
PageTables:         8844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2645268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    104448 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= 71720 MiB
End job on node129 at 2016-06-17 02:06:22