Trace number 4098178

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.06 1800.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_14.opb
MD5SUMabd9600d75e11c6c4fdeb14a297d2545
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6162
Total number of constraints30113
Number of constraints which are clauses30108
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 constraint78
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 14
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 92
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:32:20+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-4098178-1466119939.opb"]
0.00/0.01	c use --random-gen="1983060973 2281315206 859439465 988076662 3632251363 1764798844 2397477771 1069244273 1989856242 972370110 1883370468 3769253456 1415814987 3176827329 891113371 285820760 2037096621 4263547304 2792430529 3474606497 1879388531 1209110055 678856675 1043334457 3445397807 3981528139 1610999577 1165391585 1931383395 2615116190 2204567660 847433186 2103330196 3362704167 2972567774 2262068634 3295688613 1584930083 11770636 1734349117 2059726446 2874223599 1355601396 1332329246 2395469239 3045632526 4244825048 3945838186 3985386324 1193472811 2447134513 1086167946 1003324371 1907787471 117080585 1279140164 3761419603 3234100413 3704743912 3706115946 544236785 269183173 344008690 781528112 3625586008 1654496636 4078766090 3017488227 256948356 757960331 1551332697 4011415082 1891687975 1286754288 1666348865 4046576463 1754678834 3074437599 573195917 1762958138 1157148487 2456468649 935075244 3327496558 3130898634 3692290190 2146368016 889346722 851612767 1811720601 3046796870 3658783911 2144724785 4184223484 1646804183 23600383 3890196786 11550363 3710690255 1336707856 3070478642 720108277 3335744751 1241135354 1629251335 2586284076 3957454364 1188274038 491100492 2995019923 1273341356 2076173090 429215449 3252211533 4150347221 189656360 2320107059 3957522783 807129396 2800088836 3330911862 2739167957 1611023229 2849321783 803026651 1772369559 733916239 2072459931 1864745138 3774971077 2285500705 1990891985 1251479428 3406993807 2697081229 2768554195 1697616910 937720628 4219710303 1578582952 3735561425 619712553 1729376512 266094864 1751113291 1392382402 3539260765 127027447 541045777 730914968 82082531 4238915986 4049166238 1080760277 1174875803 2832750803 32812750 2940637885 1045312204 2217484710 1492741509 3934734382 2119827839 3436462525 4064066083 2007559991 2864933326 833408187 656926418 1012591209 1585272993 2077777937 363821770 2741555710 955339822 2611759445 2707044209 3687540130 2221291897 1544901297 2307078748 1734764906 2210755584 3786025007 3380643704 2976339537 3328983658 177042526 314244750 189520339 1432690979 602738298 1652796584 694010678 3370239030 2289721857 1876910290 2451657733 3633088685 1623993003 993295589 2039920494 1873062069 1871992858 1916737881 531583373 3068184016 10676003 4002927778 3132589968 805769660 2359839782 737630275 1386511930 137305966 2761635558 587273708 2542401870 3882526431 3828480513 3435232403 3003790175 2340328493 432207758 16456217 3007829660 572361800 3385299203 3152405366 212166576 1127438515 3379589433 1386348515 2312157416 4094572951 2542608242 3153812809 2751296328 4191559325 477723525 4167954712 533221349 3282582909 3994350044 2307521198 2434431301 2558113499 2737831066 1912935154 3368992901 610416048 846834434 3193483427 2957880054 1167092718 432044779 255 362436" option to reproduce the execution
0.69/0.79	c #vars 6162
0.69/0.79	c #constraints 30113
1.99/2.09	c Solving starts ...
1.99/2.09	c ============================[ Search Statistics ]============================
1.99/2.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.99/2.09	c       |         |          |          |    Limit     GC | Var      | Constra 
1.99/2.09	c =============================================================================
2.09/2.10	c  0.0s |       0 |        0 |        0 |    12090      0 |        5 |        0
2.59/2.67	c  0.6s |       1 |     1438 |      100 |    12090      0 |        5 |      680
3.29/3.30	c  1.2s |       2 |     3150 |      250 |    13300      0 |        5 |      680
4.19/4.28	c  2.2s |       3 |     4335 |      475 |    14631      0 |        5 |      680
5.79/5.87	c  3.8s |       4 |     8391 |      813 |    16095      0 |        5 |      680
7.89/7.99	c  5.9s |       4 |    13658 |     1313 |    17705      0 |        5 |      680
7.99/8.02	c  5.9s |       5 |    13718 |     1320 |    17705      0 |        5 |      680
9.99/10.05	c  8.0s |       5 |    18001 |     1820 |    19476      0 |        5 |      680
10.79/10.88	c  8.8s |       6 |    20088 |     2081 |    21424      0 |        5 |      680
12.89/12.97	c 10.9s |       6 |    24117 |     2681 |    21424      0 |        5 |      680
14.48/14.51	c 12.4s |       7 |    26100 |     3223 |    23567      0 |        5 |      680
16.49/16.54	c 14.4s |       7 |    31931 |     3723 |    23567      0 |        5 |      680
18.88/18.93	c 16.8s |       7 |    36965 |     4223 |    23567      0 |        5 |      680
21.08/21.11	c 19.0s |       7 |    42165 |     4823 |    23567      0 |        5 |      680
21.38/21.41	c 19.3s |       8 |    42723 |     4936 |    25924      0 |        5 |      680
23.38/23.43	c 21.3s |       8 |    47651 |     5436 |    25924      0 |        5 |      680
25.58/25.64	c 23.5s |       8 |    51670 |     6136 |    25924      0 |        5 |      680
27.98/28.05	c 26.0s |       8 |    57397 |     6736 |    25924      0 |        5 |      680
30.08/30.14	c 28.0s |       8 |    60770 |     7436 |    25924      0 |        5 |      680
30.38/30.40	c 28.3s |       9 |    61646 |     7506 |    28517      0 |        5 |      680
32.38/32.42	c 30.3s |       9 |    66873 |     7906 |    28517      0 |        5 |      680
34.38/34.42	c 32.3s |       9 |    71094 |     8406 |    28517      0 |        5 |      680
36.68/36.71	c 34.6s |       9 |    77943 |     9006 |    28517      0 |        5 |      680
38.68/38.80	c 36.7s |       9 |    83485 |     9506 |    28517      0 |        5 |      680
41.07/41.18	c 39.1s |       9 |    86700 |    10106 |    28517      0 |        5 |      680
43.47/43.56	c 41.5s |       9 |    87948 |    10606 |    28517      0 |        5 |      680
45.97/46.01	c 43.9s |       9 |    93184 |    11206 |    28517      0 |        5 |      680
46.67/46.79	c 44.7s |      10 |    94535 |    11361 |    31369      0 |        5 |      680
48.77/48.85	c 46.8s |      10 |    97887 |    11861 |    31369      0 |        5 |      680
50.97/51.05	c 49.0s |      10 |   102324 |    12561 |    31369      0 |        5 |      680
53.06/53.17	c 51.1s |      10 |   107523 |    13161 |    31369      0 |        5 |      680
55.36/55.41	c 53.3s |      10 |   113214 |    13661 |    31369      0 |        5 |      680
57.66/57.76	c 55.7s |      10 |   120115 |    14161 |    31369      0 |        5 |      680
59.96/60.09	c 58.0s |      10 |   125634 |    14761 |    31369      0 |        5 |      680
62.06/62.12	c 60.0s |      10 |   129780 |    15461 |    31369      0 |        5 |      680
64.56/64.60	c 62.5s |      10 |   137021 |    16061 |    31369      0 |        5 |      680
66.66/66.74	c 64.6s |      10 |   141985 |    16561 |    31369      0 |        5 |      680
68.27/68.32	c 66.2s |      11 |   145337 |    17144 |    34506      0 |        5 |      680
70.26/70.36	c 68.3s |      11 |   150686 |    17544 |    34506      0 |        5 |      680
72.46/72.58	c 70.5s |      11 |   154637 |    18044 |    34506      0 |        5 |      680
74.55/74.63	c 72.5s |      11 |   159151 |    18544 |    34506      0 |        5 |      680
76.75/76.88	c 74.8s |      11 |   162379 |    19344 |    34506      0 |        5 |      680
79.05/79.10	c 77.0s |      11 |   168023 |    19944 |    34506      0 |        5 |      680
81.15/81.25	c 79.2s |      11 |   172612 |    20444 |    34506      0 |        5 |      680
83.25/83.33	c 81.2s |      11 |   179143 |    20944 |    34506      0 |        5 |      680
85.55/85.64	c 83.5s |      11 |   184592 |    21444 |    34506      0 |        5 |      680
87.85/87.97	c 85.9s |      11 |   187830 |    22044 |    34506      0 |        5 |      680
89.95/90.02	c 87.9s |      11 |   190415 |    22644 |    34506      0 |        5 |      680
92.05/92.14	c 90.0s |      11 |   195359 |    23144 |    34506      0 |        5 |      680
94.35/94.45	c 92.4s |      11 |   201724 |    23644 |    34506      0 |        5 |      680
96.45/96.54	c 94.4s |      11 |   209330 |    24444 |    34506      0 |        5 |      680
98.45/98.57	c 96.5s |      11 |   214102 |    24944 |    34506      0 |        5 |      680
100.75/100.83	c 98.7s |      11 |   219726 |    25744 |    37957      0 |        5 |      680
100.95/101.04	c 98.9s |      12 |   220617 |    25819 |    37957      0 |        5 |      680
103.36/103.43	c  101s |      12 |   226369 |    26319 |    37957      0 |        5 |      680
105.45/105.58	c  103s |      12 |   229065 |    26819 |    37957      0 |        5 |      680
107.55/107.63	c  105s |      12 |   234317 |    27219 |    37957      0 |        5 |      680
109.55/109.66	c  107s |      12 |   239377 |    27919 |    37957      0 |        5 |      680
111.65/111.78	c  109s |      12 |   245696 |    28519 |    37957      0 |        5 |      680
113.75/113.85	c  111s |      12 |   250570 |    29019 |    37957      0 |        5 |      680
116.05/116.18	c  114s |      12 |   254747 |    29519 |    37957      0 |        5 |      680
118.35/118.48	c  116s |      12 |   260688 |    30119 |    37957      0 |        5 |      680
120.75/120.82	c  118s |      12 |   267674 |    31019 |    37957      0 |        5 |      680
123.05/123.13	c  121s |      12 |   275296 |    31519 |    37957      0 |        5 |      680
125.05/125.15	c  123s |      12 |   281162 |    31919 |    37957      0 |        5 |      680
127.36/127.43	c  125s |      12 |   285382 |    32519 |    37957      0 |        5 |      680
129.46/129.56	c  127s |      12 |   290160 |    33119 |    37957      0 |        5 |      680
131.66/131.70	c  129s |      12 |   297096 |    33619 |    37957      0 |        5 |      680
133.75/133.87	c  131s |      12 |   302255 |    34119 |    37957      0 |        5 |      680
135.85/135.98	c  133s |      12 |   305073 |    34719 |    37957      0 |        5 |      680
138.35/138.40	c  136s |      12 |   311776 |    35319 |    37957      0 |        5 |      680
140.65/140.80	c  138s |      12 |   319134 |    35919 |    37957      0 |        5 |      680
142.75/142.84	c  140s |      12 |   325348 |    36619 |    37957      0 |        5 |      680
144.95/145.07	c  142s |      12 |   328255 |    37219 |    37957      0 |        5 |      680
147.46/147.57	c  145s |      12 |   332822 |    37719 |    37957      0 |        5 |      680
149.56/149.69	c  147s |      12 |   338814 |    38219 |    37957      0 |        5 |      680
151.45/151.53	c  149s |      13 |   342389 |    38832 |    41753      0 |        5 |      680
153.55/153.67	c  151s |      13 |   346831 |    39432 |    41753      0 |        5 |      680
155.75/155.80	c  153s |      13 |   351050 |    40032 |    41753      0 |        5 |      680
157.95/158.00	c  155s |      13 |   354336 |    40632 |    41753      0 |        5 |      680
160.05/160.16	c  158s |      13 |   359682 |    41132 |    41753      0 |        5 |      680
162.25/162.36	c  160s |      13 |   364741 |    41832 |    41753      0 |        5 |      680
164.35/164.45	c  162s |      13 |   369760 |    42432 |    41753      0 |        5 |      680
166.35/166.48	c  164s |      13 |   374894 |    42932 |    41753      0 |        5 |      680
168.55/168.60	c  166s |      13 |   379416 |    43632 |    41753      0 |        5 |      680
170.95/171.02	c  168s |      13 |   382788 |    43932 |    41753      1 |        5 |      680
173.04/173.15	c  171s |      13 |   387679 |    44632 |    41753      1 |        5 |      680
175.34/175.43	c  173s |      13 |   394121 |    45332 |    41753      1 |        5 |      680
177.34/177.43	c  175s |      13 |   400080 |    46132 |    41753      1 |        5 |      680
179.54/179.63	c  177s |      13 |   404404 |    46832 |    41753      1 |        5 |      680
181.55/181.64	c  179s |      13 |   411097 |    47532 |    41753      1 |        5 |      680
183.64/183.72	c  181s |      13 |   416543 |    48332 |    41753      1 |        5 |      680
185.84/186.00	c  183s |      13 |   421609 |    49232 |    41753      1 |        5 |      680
187.93/188.09	c  185s |      13 |   427244 |    50032 |    41753      1 |        5 |      680
190.13/190.25	c  188s |      13 |   432661 |    50932 |    41753      1 |        5 |      680
192.23/192.37	c  190s |      13 |   437116 |    51832 |    41753      1 |        5 |      680
194.33/194.46	c  192s |      13 |   439821 |    52732 |    41753      1 |        5 |      680
196.53/196.63	c  194s |      13 |   442077 |    53732 |    41753      1 |        5 |      680
199.63/199.76	c  197s |      13 |   445686 |    54532 |    41753      1 |        5 |      680
202.13/202.23	c  200s |      13 |   452723 |    55032 |    41753      1 |        5 |      680
204.13/204.23	c  202s |      13 |   458532 |    55532 |    41753      1 |        5 |      680
206.23/206.37	c  204s |      13 |   464860 |    56332 |    41753      1 |        5 |      680
208.43/208.57	c  206s |      13 |   470337 |    56832 |    41753      1 |        5 |      680
210.43/210.59	c  208s |      13 |   474393 |    57432 |    41753      1 |        5 |      680
212.62/212.76	c  210s |      13 |   481145 |    57932 |    41753      1 |        5 |      680
214.62/214.77	c  212s |      14 |   485191 |    58352 |    45929      1 |        5 |      680
217.02/217.11	c  215s |      14 |   492132 |    58852 |    45929      1 |        5 |      680
219.22/219.37	c  217s |      14 |   499696 |    59552 |    45929      1 |        5 |      680
221.32/221.44	c  219s |      14 |   505736 |    60252 |    45929      1 |        5 |      680
223.42/223.54	c  221s |      14 |   510087 |    60752 |    45929      1 |        5 |      680
225.72/225.81	c  223s |      14 |   516777 |    61552 |    45929      1 |        5 |      680
227.92/228.00	c  225s |      14 |   523468 |    62052 |    45929      1 |        5 |      680
230.02/230.14	c  228s |      14 |   531305 |    62752 |    45929      1 |        5 |      680
232.02/232.20	c  230s |      14 |   537016 |    63252 |    45929      1 |        5 |      680
234.12/234.21	c  232s |      14 |   543359 |    63752 |    45929      1 |        5 |      680
236.22/236.34	c  234s |      14 |   548993 |    64552 |    45929      1 |        5 |      680
238.22/238.35	c  236s |      14 |   555097 |    65052 |    45929      1 |        5 |      680
240.22/240.39	c  238s |      14 |   559907 |    65552 |    45929      1 |        5 |      680
242.31/242.41	c  240s |      14 |   564707 |    66252 |    45929      1 |        5 |      680
244.51/244.64	c  242s |      14 |   569767 |    66752 |    45929      1 |        5 |      680
246.71/246.84	c  244s |      14 |   574040 |    67352 |    45929      1 |        5 |      680
249.01/249.16	c  247s |      14 |   578832 |    67952 |    45929      1 |        5 |      680
251.21/251.34	c  249s |      14 |   584980 |    68652 |    45929      1 |        5 |      680
253.51/253.62	c  251s |      14 |   591678 |    69252 |    45929      1 |        5 |      680
255.71/255.88	c  253s |      14 |   595665 |    69852 |    45929      2 |        5 |      680
258.00/258.15	c  256s |      14 |   601538 |    70652 |    45929      2 |        5 |      680
260.30/260.42	c  258s |      14 |   606522 |    71452 |    45929      2 |        5 |      680
262.40/262.52	c  260s |      14 |   612720 |    72252 |    45929      2 |        5 |      680
264.60/264.71	c  262s |      14 |   616234 |    72952 |    45929      2 |        5 |      680
266.60/266.73	c  264s |      14 |   620977 |    73752 |    45929      2 |        5 |      680
268.70/268.88	c  266s |      14 |   625320 |    74552 |    45929      2 |        5 |      680
270.80/270.98	c  268s |      14 |   628826 |    75252 |    45929      2 |        5 |      680
273.10/273.20	c  271s |      14 |   631486 |    75952 |    45929      2 |        5 |      680
275.10/275.24	c  273s |      14 |   634679 |    76752 |    45929      2 |        5 |      680
277.10/277.27	c  275s |      14 |   637118 |    77552 |    45929      2 |        5 |      680
279.40/279.53	c  277s |      14 |   641544 |    78352 |    45929      2 |        5 |      680
281.89/282.01	c  279s |      14 |   648518 |    79052 |    45929      2 |        5 |      680
283.99/284.16	c  282s |      14 |   654994 |    79852 |    45929      2 |        5 |      680
286.29/286.45	c  284s |      14 |   661218 |    80352 |    45929      2 |        5 |      680
288.49/288.69	c  286s |      14 |   666292 |    80952 |    45929      2 |        5 |      680
290.79/290.92	c  288s |      14 |   672890 |    81652 |    45929      2 |        5 |      680
292.89/293.00	c  290s |      14 |   679818 |    82152 |    45929      2 |        5 |      680
295.19/295.34	c  293s |      14 |   685017 |    82752 |    45929      2 |        5 |      680
297.29/297.42	c  295s |      14 |   688553 |    83352 |    45929      2 |        5 |      680
299.49/299.63	c  297s |      14 |   694077 |    83852 |    45929      2 |        5 |      680
301.59/301.74	c  299s |      14 |   700446 |    84552 |    45929      2 |        5 |      680
303.68/303.89	c  301s |      14 |   706180 |    85152 |    45929      2 |        5 |      680
305.98/306.14	c  304s |      14 |   712453 |    85752 |    45929      2 |        5 |      680
308.18/308.32	c  306s |      14 |   717134 |    86452 |    45929      2 |        5 |      680
310.19/310.39	c  308s |      14 |   722909 |    86952 |    45929      2 |        5 |      680
312.29/312.49	c  310s |      14 |   728592 |    87552 |    50522      2 |        5 |      680
312.48/312.63	c  310s |      15 |   729035 |    87632 |    50522      2 |        5 |      680
314.49/314.66	c  312s |      15 |   733349 |    88132 |    50522      2 |        5 |      680
316.48/316.68	c  314s |      15 |   738135 |    88632 |    50522      2 |        5 |      680
318.48/318.69	c  316s |      15 |   743164 |    89032 |    50522      2 |        5 |      680
320.88/321.06	c  318s |      15 |   747155 |    89732 |    50522      2 |        5 |      680
323.07/323.26	c  321s |      15 |   754204 |    90232 |    50522      2 |        5 |      680
325.27/325.44	c  323s |      15 |   760977 |    90932 |    50522      2 |        5 |      680
327.57/327.72	c  325s |      15 |   768310 |    91632 |    50522      2 |        5 |      680
329.88/330.02	c  327s |      15 |   774571 |    92132 |    50522      2 |        5 |      680
331.97/332.17	c  330s |      15 |   780426 |    92632 |    50522      2 |        5 |      680
334.27/334.49	c  332s |      15 |   786360 |    93532 |    50522      2 |        5 |      680
336.47/336.68	c  334s |      15 |   793543 |    94132 |    50522      2 |        5 |      680
338.67/338.82	c  336s |      15 |   798636 |    94832 |    50522      2 |        5 |      680
340.67/340.85	c  338s |      15 |   802827 |    95332 |    50522      2 |        5 |      680
342.86/343.04	c  340s |      15 |   808086 |    95832 |    50522      2 |        5 |      680
345.06/345.27	c  343s |      15 |   813106 |    96532 |    50522      2 |        5 |      680
347.16/347.32	c  345s |      15 |   817408 |    97032 |    50522      2 |        5 |      680
349.26/349.40	c  347s |      15 |   821862 |    97732 |    50522      2 |        5 |      680
351.56/351.74	c  349s |      15 |   828177 |    98232 |    50522      3 |        5 |      680
353.66/353.82	c  351s |      15 |   833864 |    99032 |    50522      3 |        5 |      680
355.85/356.09	c  353s |      15 |   840171 |    99732 |    50522      3 |        5 |      680
357.95/358.15	c  356s |      15 |   845838 |   100532 |    50522      3 |        5 |      680
360.05/360.25	c  358s |      15 |   851835 |   101232 |    50522      3 |        5 |      680
362.16/362.32	c  360s |      15 |   858291 |   102032 |    50522      3 |        5 |      680
364.16/364.36	c  362s |      15 |   861507 |   102732 |    50522      3 |        5 |      680
366.16/366.39	c  364s |      15 |   866386 |   103432 |    50522      3 |        5 |      680
368.26/368.47	c  366s |      15 |   873211 |   104232 |    50522      3 |        5 |      680
370.35/370.52	c  368s |      15 |   877168 |   105032 |    50522      3 |        5 |      680
372.55/372.72	c  370s |      15 |   882377 |   105832 |    50522      3 |        5 |      680
374.55/374.77	c  372s |      15 |   886571 |   106532 |    50522      3 |        5 |      680
376.65/376.81	c  374s |      15 |   892209 |   107332 |    50522      3 |        5 |      680
378.85/379.04	c  376s |      15 |   897010 |   108232 |    50522      3 |        5 |      680
380.85/381.05	c  378s |      15 |   901573 |   109032 |    50522      3 |        5 |      680
382.94/383.15	c  381s |      15 |   906453 |   110032 |    50522      3 |        5 |      680
385.04/385.28	c  383s |      15 |   909359 |   111032 |    50522      3 |        5 |      680
387.34/387.59	c  385s |      15 |   914037 |   111932 |    50522      3 |        5 |      680
389.54/389.79	c  387s |      15 |   917320 |   112532 |    50522      3 |        5 |      680
391.93/392.12	c  390s |      15 |   924333 |   113132 |    50522      3 |        5 |      680
394.13/394.38	c  392s |      15 |   931413 |   113632 |    50522      3 |        5 |      680
396.43/396.60	c  394s |      15 |   937068 |   114132 |    50522      3 |        5 |      680
398.53/398.79	c  396s |      15 |   942364 |   114832 |    50522      3 |        5 |      680
400.73/400.90	c  398s |      15 |   950615 |   115532 |    50522      3 |        5 |      680
402.92/403.16	c  401s |      15 |   955929 |   116332 |    50522      3 |        5 |      680
405.12/405.38	c  403s |      15 |   960718 |   116932 |    50522      3 |        5 |      680
407.12/407.39	c  405s |      15 |   966290 |   117432 |    50522      3 |        5 |      680
409.52/409.70	c  407s |      15 |   973009 |   118232 |    50522      3 |        5 |      680
411.62/411.81	c  409s |      15 |   978273 |   118732 |    50522      3 |        5 |      680
413.82/414.07	c  411s |      15 |   985275 |   119532 |    50522      3 |        5 |      680
415.92/416.12	c  414s |      15 |   991380 |   120032 |    50522      3 |        5 |      680
418.22/418.40	c  416s |      15 |   997303 |   120832 |    50522      3 |        5 |      680
420.42/420.61	c  418s |      15 |  1002921 |   121532 |    50522      3 |        5 |      680
422.41/422.63	c  420s |      15 |  1008320 |   122232 |    50522      3 |        5 |      680
424.61/424.84	c  422s |      15 |  1014515 |   122932 |    50522      3 |        5 |      680
426.81/427.04	c  424s |      15 |  1019947 |   123632 |    50522      3 |        5 |      680
429.41/429.63	c  427s |      15 |  1025668 |   124432 |    50522      4 |        5 |      680
431.51/431.70	c  429s |      15 |  1029717 |   125132 |    50522      4 |        5 |      680
433.71/433.94	c  431s |      15 |  1039189 |   126132 |    50522      4 |        5 |      680
435.71/435.96	c  433s |      15 |  1045650 |   127132 |    50522      4 |        5 |      680
437.71/437.99	c  435s |      15 |  1051442 |   128132 |    50522      4 |        5 |      680
439.91/440.18	c  438s |      15 |  1056449 |   129032 |    50522      4 |        5 |      680
442.20/442.41	c  440s |      15 |  1061139 |   130032 |    50522      4 |        5 |      680
444.21/444.50	c  442s |      15 |  1064791 |   131032 |    55575      4 |        5 |      680
445.20/445.48	c  443s |      16 |  1066474 |   131552 |    55575      4 |        5 |      680
447.30/447.60	c  445s |      16 |  1069385 |   132752 |    55575      4 |        5 |      680
449.60/449.86	c  447s |      16 |  1075119 |   133252 |    55575      4 |        5 |      680
451.80/452.00	c  449s |      16 |  1079164 |   133952 |    55575      4 |        5 |      680
453.80/454.01	c  451s |      16 |  1084250 |   134652 |    55575      4 |        5 |      680
455.91/456.18	c  454s |      16 |  1091258 |   135352 |    55575      4 |        5 |      680
458.21/458.40	c  456s |      16 |  1099809 |   136052 |    55575      4 |        5 |      680
460.21/460.46	c  458s |      16 |  1107302 |   136852 |    55575      4 |        5 |      680
462.51/462.75	c  460s |      16 |  1112529 |   137552 |    55575      4 |        5 |      680
464.81/465.08	c  462s |      16 |  1118924 |   138452 |    55575      4 |        5 |      680
467.01/467.22	c  465s |      16 |  1124721 |   139152 |    55575      4 |        5 |      680
469.21/469.47	c  467s |      16 |  1130418 |   139852 |    55575      4 |        5 |      680
471.51/471.72	c  469s |      16 |  1136583 |   140652 |    55575      4 |        5 |      680
473.71/473.97	c  471s |      16 |  1144291 |   141552 |    55575      4 |        5 |      680
475.81/476.09	c  473s |      16 |  1148863 |   142252 |    55575      4 |        5 |      680
478.01/478.21	c  476s |      16 |  1152986 |   142952 |    55575      4 |        5 |      680
480.01/480.24	c  478s |      16 |  1158387 |   143652 |    55575      4 |        5 |      680
482.00/482.28	c  480s |      16 |  1163616 |   144552 |    55575      4 |        5 |      680
484.10/484.34	c  482s |      16 |  1168738 |   145352 |    55575      4 |        5 |      680
486.30/486.53	c  484s |      16 |  1172018 |   146152 |    55575      4 |        5 |      680
488.50/488.72	c  486s |      16 |  1175672 |   146952 |    55575      4 |        5 |      680
490.60/490.80	c  488s |      16 |  1178184 |   147752 |    55575      4 |        5 |      680
492.60/492.85	c  490s |      16 |  1180949 |   148552 |    55575      4 |        5 |      680
494.70/494.97	c  492s |      16 |  1184033 |   149552 |    55575      4 |        5 |      680
496.80/497.02	c  494s |      16 |  1185956 |   150352 |    55575      4 |        5 |      680
498.79/499.06	c  496s |      16 |  1188642 |   151252 |    55575      4 |        5 |      680
500.79/501.07	c  498s |      16 |  1191125 |   151952 |    55575      4 |        5 |      680
502.99/503.29	c  501s |      16 |  1196217 |   152852 |    55575      4 |        5 |      680
505.09/505.38	c  503s |      16 |  1200234 |   153552 |    55575      4 |        5 |      680
507.29/507.59	c  505s |      16 |  1204557 |   154352 |    55575      4 |        5 |      680
509.49/509.71	c  507s |      16 |  1210139 |   155152 |    55575      4 |        5 |      680
511.59/511.89	c  509s |      16 |  1214168 |   155852 |    55575      4 |        5 |      680
513.79/514.05	c  511s |      16 |  1216244 |   156452 |    55575      4 |        5 |      680
515.99/516.26	c  514s |      16 |  1219745 |   157052 |    55575      5 |        5 |      680
518.09/518.35	c  516s |      16 |  1224913 |   157652 |    55575      5 |        5 |      680
520.20/520.45	c  518s |      16 |  1229009 |   158352 |    55575      5 |        5 |      680
522.18/522.50	c  520s |      16 |  1233178 |   159052 |    55575      5 |        5 |      680
524.38/524.68	c  522s |      16 |  1241478 |   159752 |    55575      5 |        5 |      680
526.58/526.88	c  524s |      16 |  1247198 |   160552 |    55575      5 |        5 |      680
528.68/528.98	c  526s |      16 |  1252861 |   161152 |    55575      5 |        5 |      680
530.78/531.01	c  528s |      16 |  1256371 |   161852 |    55575      5 |        5 |      680
532.78/533.06	c  530s |      16 |  1261937 |   162452 |    55575      5 |        5 |      680
534.98/535.22	c  533s |      16 |  1266939 |   163152 |    55575      5 |        5 |      680
537.28/537.53	c  535s |      16 |  1273861 |   163952 |    55575      5 |        5 |      680
539.38/539.60	c  537s |      16 |  1278074 |   164652 |    55575      5 |        5 |      680
541.48/541.71	c  539s |      16 |  1282727 |   165252 |    55575      5 |        5 |      680
543.67/543.95	c  541s |      16 |  1286394 |   165952 |    55575      5 |        5 |      680
545.77/546.00	c  543s |      16 |  1289916 |   166652 |    55575      5 |        5 |      680
548.07/548.32	c  546s |      16 |  1295516 |   167452 |    55575      5 |        5 |      680
550.07/550.33	c  548s |      16 |  1299966 |   168152 |    55575      5 |        5 |      680
552.27/552.59	c  550s |      16 |  1304894 |   168952 |    55575      5 |        5 |      680
554.57/554.84	c  552s |      16 |  1307684 |   169752 |    55575      5 |        5 |      680
556.67/556.93	c  554s |      16 |  1311669 |   170452 |    55575      5 |        5 |      680
558.77/559.07	c  556s |      16 |  1313968 |   171152 |    55575      5 |        5 |      680
560.97/561.25	c  559s |      16 |  1316343 |   171952 |    55575      5 |        5 |      680
563.16/563.40	c  561s |      16 |  1318266 |   172752 |    55575      5 |        5 |      680
565.17/565.49	c  563s |      16 |  1322501 |   173452 |    55575      5 |        5 |      680
567.47/567.74	c  565s |      16 |  1327551 |   174052 |    55575      5 |        5 |      680
569.67/569.98	c  567s |      16 |  1332183 |   174852 |    55575      5 |        5 |      680
571.77/572.07	c  569s |      16 |  1337987 |   175552 |    55575      5 |        5 |      680
573.86/574.11	c  572s |      16 |  1344015 |   176252 |    55575      5 |        5 |      680
575.96/576.21	c  574s |      16 |  1349528 |   177152 |    55575      5 |        5 |      680
578.06/578.35	c  576s |      16 |  1355590 |   177952 |    55575      5 |        5 |      680
580.25/580.53	c  578s |      16 |  1361054 |   178852 |    55575      5 |        5 |      680
582.25/582.58	c  580s |      16 |  1365482 |   179652 |    55575      5 |        5 |      680
584.45/584.70	c  582s |      16 |  1368484 |   180352 |    55575      5 |        5 |      680
586.55/586.84	c  584s |      16 |  1371370 |   181152 |    55575      5 |        5 |      680
588.65/588.96	c  586s |      16 |  1374138 |   181952 |    55575      5 |        5 |      680
590.75/591.04	c  588s |      16 |  1376883 |   182852 |    55575      5 |        5 |      680
592.94/593.22	c  591s |      16 |  1381536 |   183652 |    55575      5 |        5 |      680
594.95/595.24	c  593s |      16 |  1386127 |   184252 |    55575      5 |        5 |      680
596.94/597.30	c  595s |      16 |  1388613 |   184852 |    55575      6 |        5 |      680
599.14/599.47	c  597s |      16 |  1391571 |   185452 |    55575      6 |        5 |      680
601.24/601.53	c  599s |      16 |  1396972 |   186052 |    55575      6 |        5 |      680
603.24/603.56	c  601s |      16 |  1403406 |   186852 |    55575      6 |        5 |      680
605.54/605.81	c  603s |      16 |  1408784 |   187652 |    55575      6 |        5 |      680
607.64/607.91	c  605s |      16 |  1412873 |   188452 |    55575      6 |        5 |      680
609.74/610.04	c  607s |      16 |  1416870 |   189252 |    55575      6 |        5 |      680
611.84/612.19	c  610s |      16 |  1421680 |   190052 |    55575      6 |        5 |      680
614.03/614.37	c  612s |      16 |  1426096 |   190952 |    55575      6 |        5 |      680
616.23/616.52	c  614s |      16 |  1430493 |   191852 |    55575      6 |        5 |      680
618.43/618.74	c  616s |      16 |  1434902 |   192852 |    55575      6 |        5 |      680
620.53/620.89	c  618s |      16 |  1437099 |   193652 |    55575      6 |        5 |      680
622.73/623.06	c  620s |      16 |  1439481 |   194552 |    55575      6 |        5 |      680
624.83/625.16	c  623s |      16 |  1444300 |   195252 |    55575      6 |        5 |      680
626.93/627.25	c  625s |      16 |  1449115 |   196152 |    61133      6 |        5 |      680
629.13/629.44	c  627s |      16 |  1453782 |   197152 |    61133      6 |        5 |      680
630.04/630.35	c  628s |      17 |  1455181 |   197432 |    61133      6 |        5 |      680
635.13/635.48	c  633s |      17 |  1456397 |   197532 |    61133      6 |        5 |      680
637.23/637.57	c  635s |      17 |  1464464 |   198132 |    61133      6 |        5 |      680
639.53/639.81	c  637s |      17 |  1469211 |   198832 |    61133      6 |        5 |      680
641.93/642.27	c  640s |      17 |  1476647 |   199532 |    61133      6 |        5 |      680
644.03/644.36	c  642s |      17 |  1481208 |   200032 |    61133      6 |        5 |      680
646.32/646.66	c  644s |      17 |  1484437 |   200632 |    61133      6 |        5 |      680
648.42/648.77	c  646s |      17 |  1491393 |   201332 |    61133      6 |        5 |      680
650.52/650.87	c  648s |      17 |  1498792 |   202132 |    61133      6 |        5 |      680
652.72/653.04	c  650s |      17 |  1505029 |   202732 |    61133      6 |        5 |      680
655.02/655.36	c  653s |      17 |  1511218 |   203532 |    61133      6 |        5 |      680
657.22/657.59	c  655s |      17 |  1514479 |   204232 |    61133      6 |        5 |      680
659.32/659.68	c  657s |      17 |  1519899 |   205132 |    61133      6 |        5 |      680
661.32/661.68	c  659s |      17 |  1525939 |   205832 |    61133      6 |        5 |      680
663.42/663.70	c  661s |      17 |  1529999 |   206732 |    61133      6 |        5 |      680
665.42/665.72	c  663s |      17 |  1533697 |   207632 |    61133      6 |        5 |      680
667.52/667.80	c  665s |      17 |  1536530 |   208632 |    61133      6 |        5 |      680
669.62/669.91	c  667s |      17 |  1541940 |   209432 |    61133      6 |        5 |      680
671.71/672.07	c  669s |      17 |  1548998 |   210132 |    61133      6 |        5 |      680
673.81/674.10	c  672s |      17 |  1555389 |   210732 |    61133      6 |        5 |      680
675.81/676.14	c  674s |      17 |  1562183 |   211332 |    61133      6 |        5 |      680
677.81/678.16	c  676s |      17 |  1568554 |   212032 |    61133      6 |        5 |      680
680.21/680.56	c  678s |      17 |  1574913 |   212732 |    61133      6 |        5 |      680
682.41/682.78	c  680s |      17 |  1578868 |   213332 |    61133      6 |        5 |      680
684.81/685.12	c  683s |      17 |  1586048 |   213932 |    61133      6 |        5 |      680
687.11/687.40	c  685s |      17 |  1592079 |   214532 |    61133      6 |        5 |      680
689.11/689.46	c  687s |      17 |  1598867 |   215432 |    61133      6 |        5 |      680
691.11/691.47	c  689s |      17 |  1603909 |   216132 |    61133      6 |        5 |      680
693.21/693.54	c  691s |      17 |  1609407 |   216732 |    61133      6 |        5 |      680
695.31/695.60	c  693s |      17 |  1614987 |   217432 |    61133      6 |        5 |      680
697.41/697.70	c  695s |      17 |  1622241 |   218032 |    61133      6 |        5 |      680
699.51/699.87	c  697s |      17 |  1628541 |   218832 |    61133      6 |        5 |      680
702.01/702.34	c  700s |      17 |  1630320 |   219232 |    61133      7 |        5 |      680
704.11/704.44	c  702s |      17 |  1637707 |   220132 |    61133      7 |        5 |      680
706.21/706.53	c  704s |      17 |  1645705 |   221132 |    61133      7 |        5 |      680
708.41/708.71	c  706s |      17 |  1654268 |   222132 |    61133      7 |        5 |      680
710.51/710.81	c  708s |      17 |  1660649 |   223032 |    61133      7 |        5 |      680
712.62/712.94	c  710s |      17 |  1668062 |   224132 |    61133      7 |        5 |      680
714.72/715.04	c  712s |      17 |  1674666 |   225232 |    61133      7 |        5 |      680
716.92/717.27	c  715s |      17 |  1679714 |   226332 |    61133      7 |        5 |      680
719.01/719.33	c  717s |      17 |  1683545 |   227432 |    61133      7 |        5 |      680
721.01/721.36	c  719s |      17 |  1686230 |   228632 |    61133      7 |        5 |      680
724.51/724.87	c  722s |      17 |  1687546 |   228732 |    61133      7 |        5 |      680
726.71/727.07	c  724s |      17 |  1693738 |   229332 |    61133      7 |        5 |      680
729.01/729.35	c  727s |      17 |  1699154 |   230132 |    61133      7 |        5 |      680
731.11/731.41	c  729s |      17 |  1705174 |   230732 |    61133      7 |        5 |      680
733.11/733.43	c  731s |      17 |  1710511 |   231432 |    61133      7 |        5 |      680
735.21/735.50	c  733s |      17 |  1717262 |   232232 |    61133      7 |        5 |      680
737.40/737.74	c  735s |      17 |  1723044 |   232932 |    61133      7 |        5 |      680
739.70/740.02	c  737s |      17 |  1729312 |   233832 |    61133      7 |        5 |      680
742.10/742.40	c  740s |      17 |  1736622 |   234732 |    61133      7 |        5 |      680
744.10/744.43	c  742s |      17 |  1742905 |   235432 |    61133      7 |        5 |      680
746.20/746.56	c  744s |      17 |  1748601 |   236132 |    61133      7 |        5 |      680
748.30/748.69	c  746s |      17 |  1752958 |   236932 |    61133      7 |        5 |      680
750.50/750.87	c  748s |      17 |  1756970 |   237732 |    61133      7 |        5 |      680
752.70/753.06	c  750s |      17 |  1763204 |   238532 |    61133      7 |        5 |      680
754.70/755.09	c  752s |      17 |  1767608 |   239332 |    61133      7 |        5 |      680
756.80/757.13	c  755s |      17 |  1771155 |   240132 |    61133      7 |        5 |      680
759.10/759.40	c  757s |      17 |  1775432 |   241032 |    61133      7 |        5 |      680
761.40/761.70	c  759s |      17 |  1779877 |   241932 |    61133      7 |        5 |      680
763.40/763.71	c  761s |      17 |  1783545 |   242832 |    61133      7 |        5 |      680
765.41/765.73	c  763s |      17 |  1787010 |   243932 |    61133      7 |        5 |      680
767.70/768.07	c  765s |      17 |  1793534 |   244532 |    61133      7 |        5 |      680
770.00/770.33	c  768s |      17 |  1797772 |   245232 |    61133      7 |        5 |      680
772.30/772.61	c  770s |      17 |  1805444 |   245932 |    61133      7 |        5 |      680
774.40/774.78	c  772s |      17 |  1811783 |   246632 |    61133      7 |        5 |      680
776.60/776.99	c  774s |      17 |  1816023 |   247332 |    61133      7 |        5 |      680
778.80/779.11	c  777s |      17 |  1822194 |   248032 |    61133      7 |        5 |      680
780.81/781.14	c  779s |      17 |  1828229 |   248832 |    61133      7 |        5 |      680
782.91/783.26	c  781s |      17 |  1832346 |   249532 |    61133      7 |        5 |      680
785.00/785.35	c  783s |      17 |  1837005 |   250232 |    61133      7 |        5 |      680
787.10/787.46	c  785s |      17 |  1841355 |   250932 |    61133      7 |        5 |      680
789.10/789.47	c  787s |      17 |  1845736 |   251532 |    61133      8 |        5 |      680
791.40/791.77	c  789s |      17 |  1850724 |   252532 |    61133      8 |        5 |      680
793.50/793.88	c  791s |      17 |  1854632 |   253732 |    61133      8 |        5 |      680
795.70/796.01	c  793s |      17 |  1859316 |   254632 |    61133      8 |        5 |      680
797.70/798.06	c  795s |      17 |  1863237 |   255332 |    61133      8 |        5 |      680
799.80/800.17	c  798s |      17 |  1868232 |   255932 |    61133      8 |        5 |      680
802.10/802.42	c  800s |      17 |  1874086 |   256732 |    61133      8 |        5 |      680
804.19/804.56	c  802s |      17 |  1879297 |   257432 |    61133      8 |        5 |      680
806.39/806.70	c  804s |      17 |  1886532 |   258332 |    61133      8 |        5 |      680
808.49/808.85	c  806s |      17 |  1892356 |   259132 |    61133      8 |        5 |      680
810.59/810.94	c  808s |      17 |  1898783 |   259932 |    61133      8 |        5 |      680
812.60/812.96	c  810s |      17 |  1903499 |   260732 |    61133      8 |        5 |      680
814.69/815.08	c  812s |      17 |  1908165 |   261532 |    61133      8 |        5 |      680
816.79/817.18	c  815s |      17 |  1913055 |   262432 |    61133      8 |        5 |      680
818.89/819.23	c  817s |      17 |  1916740 |   263232 |    61133      8 |        5 |      680
820.89/821.29	c  819s |      17 |  1921424 |   264132 |    61133      8 |        5 |      680
823.19/823.51	c  821s |      17 |  1927065 |   265332 |    61133      8 |        5 |      680
825.39/825.73	c  823s |      17 |  1931537 |   266432 |    61133      8 |        5 |      680
827.59/827.98	c  825s |      17 |  1936424 |   267132 |    61133      8 |        5 |      680
829.69/830.02	c  827s |      17 |  1941875 |   267932 |    61133      8 |        5 |      680
831.79/832.13	c  830s |      17 |  1947436 |   268532 |    61133      8 |        5 |      680
833.89/834.24	c  832s |      17 |  1952079 |   269332 |    61133      8 |        5 |      680
835.99/836.34	c  834s |      17 |  1956677 |   270032 |    61133      8 |        5 |      680
838.09/838.44	c  836s |      17 |  1962236 |   270932 |    61133      8 |        5 |      680
840.09/840.46	c  838s |      17 |  1966426 |   271732 |    61133      8 |        5 |      680
842.19/842.54	c  840s |      17 |  1969762 |   272632 |    61133      8 |        5 |      680
844.39/844.73	c  842s |      17 |  1972744 |   273532 |    61133      8 |        5 |      680
846.39/846.74	c  844s |      17 |  1975396 |   274432 |    61133      8 |        5 |      680
848.59/848.93	c  846s |      17 |  1979518 |   275332 |    61133      8 |        5 |      680
850.69/851.04	c  848s |      17 |  1985895 |   276032 |    61133      8 |        5 |      680
852.89/853.22	c  851s |      17 |  1992764 |   276732 |    61133      8 |        5 |      680
854.99/855.34	c  853s |      17 |  1997236 |   277432 |    61133      8 |        5 |      680
857.18/857.58	c  855s |      17 |  2000848 |   278132 |    61133      8 |        5 |      680
859.38/859.78	c  857s |      17 |  2006044 |   278832 |    61133      8 |        5 |      680
861.68/862.01	c  859s |      17 |  2009734 |   279632 |    61133      8 |        5 |      680
863.78/864.15	c  862s |      17 |  2015101 |   280432 |    61133      8 |        5 |      680
865.98/866.31	c  864s |      17 |  2018682 |   281232 |    61133      8 |        5 |      680
867.98/868.32	c  866s |      17 |  2022200 |   281932 |    61133      8 |        5 |      680
870.08/870.47	c  868s |      17 |  2026269 |   282732 |    61133      8 |        5 |      680
872.18/872.58	c  870s |      17 |  2031048 |   283632 |    61133      8 |        5 |      680
874.29/874.69	c  872s |      17 |  2034054 |   284432 |    61133      9 |        5 |      680
876.39/876.72	c  874s |      17 |  2037648 |   285632 |    61133      9 |        5 |      680
878.59/878.99	c  876s |      17 |  2041549 |   286232 |    61133      9 |        5 |      680
880.68/881.02	c  878s |      17 |  2045793 |   287032 |    61133      9 |        5 |      680
882.99/883.31	c  881s |      17 |  2050548 |   287732 |    61133      9 |        5 |      680
885.08/885.46	c  883s |      17 |  2054960 |   288532 |    61133      9 |        5 |      680
887.28/887.66	c  885s |      17 |  2060524 |   289432 |    61133      9 |        5 |      680
889.48/889.84	c  887s |      17 |  2064959 |   290332 |    61133      9 |        5 |      680
891.58/891.94	c  889s |      17 |  2069533 |   291432 |    61133      9 |        5 |      680
893.68/894.01	c  891s |      17 |  2073087 |   292532 |    61133      9 |        5 |      680
895.68/896.07	c  893s |      17 |  2077333 |   293332 |    61133      9 |        5 |      680
897.88/898.24	c  896s |      17 |  2081593 |   294132 |    61133      9 |        5 |      680
899.98/900.32	c  898s |      17 |  2085873 |   295032 |    67247      9 |        5 |      680
902.08/902.40	c  900s |      17 |  2089490 |   295932 |    67247      9 |        5 |      680
902.78/903.16	c  901s |      18 |  2090589 |   296252 |    67247      9 |        5 |      680
904.88/905.24	c  903s |      18 |  2093716 |   296852 |    67247      9 |        5 |      680
907.08/907.42	c  905s |      18 |  2098010 |   297652 |    67247      9 |        5 |      680
909.27/909.64	c  907s |      18 |  2101842 |   298552 |    67247      9 |        5 |      680
911.58/912.00	c  909s |      18 |  2105804 |   299452 |    67247      9 |        5 |      680
913.67/914.05	c  911s |      18 |  2110432 |   300152 |    67247      9 |        5 |      680
915.87/916.29	c  914s |      18 |  2117680 |   301052 |    67247      9 |        5 |      680
918.07/918.49	c  916s |      18 |  2122718 |   301852 |    67247      9 |        5 |      680
920.27/920.67	c  918s |      18 |  2127295 |   302652 |    67247      9 |        5 |      680
922.58/922.95	c  920s |      18 |  2132752 |   303652 |    67247      9 |        5 |      680
924.67/925.01	c  922s |      18 |  2137403 |   304452 |    67247      9 |        5 |      680
926.67/927.08	c  924s |      18 |  2141793 |   305352 |    67247      9 |        5 |      680
928.87/929.27	c  927s |      18 |  2145365 |   306352 |    67247      9 |        5 |      680
930.87/931.27	c  929s |      18 |  2147700 |   307252 |    67247      9 |        5 |      680
932.97/933.38	c  931s |      18 |  2151530 |   308052 |    67247      9 |        5 |      680
935.07/935.48	c  933s |      18 |  2156971 |   308852 |    67247      9 |        5 |      680
937.37/937.77	c  935s |      18 |  2161436 |   309752 |    67247      9 |        5 |      680
939.37/939.77	c  937s |      18 |  2165523 |   310652 |    67247      9 |        5 |      680
941.38/941.79	c  939s |      18 |  2168261 |   311552 |    67247      9 |        5 |      680
943.58/943.94	c  941s |      18 |  2172555 |   312452 |    67247      9 |        5 |      680
945.68/946.06	c  943s |      18 |  2177930 |   313352 |    67247      9 |        5 |      680
947.67/948.08	c  945s |      18 |  2181391 |   314152 |    67247      9 |        5 |      680
949.77/950.17	c  948s |      18 |  2184150 |   315152 |    67247      9 |        5 |      680
952.07/952.44	c  950s |      18 |  2188495 |   315952 |    67247      9 |        5 |      680
954.17/954.55	c  952s |      18 |  2192550 |   316652 |    67247      9 |        5 |      680
956.37/956.74	c  954s |      18 |  2196411 |   317652 |    67247      9 |        5 |      680
958.57/958.92	c  956s |      18 |  2199054 |   318652 |    67247      9 |        5 |      680
960.57/960.94	c  958s |      18 |  2202041 |   319452 |    67247      9 |        5 |      680
962.77/963.12	c  961s |      18 |  2205041 |   320252 |    67247      9 |        5 |      680
964.87/965.28	c  963s |      18 |  2208254 |   321252 |    67247      9 |        5 |      680
966.87/967.29	c  965s |      18 |  2210346 |   321952 |    67247     10 |        5 |      680
969.06/969.40	c  967s |      18 |  2215265 |   322752 |    67247     10 |        5 |      680
971.16/971.50	c  969s |      18 |  2221010 |   323852 |    67247     10 |        5 |      680
973.17/973.59	c  971s |      18 |  2225828 |   324852 |    67247     10 |        5 |      680
975.37/975.74	c  973s |      18 |  2229595 |   325952 |    67247     10 |        5 |      680
977.46/977.85	c  975s |      18 |  2233050 |   327152 |    67247     10 |        5 |      680
979.56/979.90	c  977s |      18 |  2235513 |   328152 |    67247     10 |        5 |      680
981.66/982.01	c  979s |      18 |  2238430 |   329352 |    67247     10 |        5 |      680
983.86/984.21	c  982s |      18 |  2242860 |   330452 |    67247     10 |        5 |      680
985.96/986.36	c  984s |      18 |  2246255 |   331652 |    67247     10 |        5 |      680
988.06/988.40	c  986s |      18 |  2249086 |   332752 |    67247     10 |        5 |      680
990.16/990.53	c  988s |      18 |  2251371 |   333852 |    67247     10 |        5 |      680
992.26/992.69	c  990s |      18 |  2253924 |   335052 |    67247     10 |        5 |      680
994.46/994.85	c  992s |      18 |  2256488 |   336152 |    67247     10 |        5 |      680
996.46/996.86	c  994s |      18 |  2258917 |   337252 |    67247     10 |        5 |      680
998.47/998.86	c  996s |      18 |  2260637 |   338252 |    67247     10 |        5 |      680
1000.46/1000.87	c  998s |      18 |  2263165 |   339452 |    67247     10 |        5 |      680
1002.56/1002.92	c 1000s |      18 |  2265216 |   340752 |    67247     10 |        5 |      680
1055.35/1055.73	c 1053s |      18 |  2266941 |   341052 |    67247     10 |        5 |      680
1062.56/1062.96	c 1060s |      18 |  2268217 |   341152 |    67247     10 |        5 |      680
1064.86/1065.29	c 1063s |      18 |  2274431 |   341652 |    67247     10 |        5 |      680
1067.16/1067.55	c 1065s |      18 |  2278655 |   342352 |    67247     10 |        5 |      680
1069.26/1069.65	c 1067s |      18 |  2284438 |   342852 |    67247     10 |        5 |      680
1071.36/1071.73	c 1069s |      18 |  2288779 |   343252 |    67247     10 |        5 |      680
1073.36/1073.78	c 1071s |      18 |  2294665 |   343752 |    67247     10 |        5 |      680
1075.66/1076.09	c 1073s |      18 |  2302543 |   344652 |    67247     10 |        5 |      680
1078.06/1078.43	c 1076s |      18 |  2308193 |   345152 |    67247     10 |        5 |      680
1080.16/1080.56	c 1078s |      18 |  2313007 |   345752 |    67247     10 |        5 |      680
1082.46/1082.87	c 1080s |      18 |  2318014 |   346552 |    67247     10 |        5 |      680
1084.76/1085.14	c 1083s |      18 |  2324525 |   347052 |    67247     10 |        5 |      680
1086.85/1087.20	c 1085s |      18 |  2330558 |   347552 |    67247     10 |        5 |      680
1088.85/1089.28	c 1087s |      18 |  2334644 |   348252 |    67247     10 |        5 |      680
1091.05/1091.40	c 1089s |      18 |  2338929 |   348752 |    67247     10 |        5 |      680
1093.06/1093.44	c 1091s |      18 |  2344133 |   349252 |    67247     10 |        5 |      680
1095.36/1095.76	c 1093s |      18 |  2350259 |   350052 |    67247     10 |        5 |      680
1097.65/1098.01	c 1095s |      18 |  2357924 |   350552 |    67247     10 |        5 |      680
1099.66/1100.04	c 1097s |      18 |  2364886 |   351152 |    67247     10 |        5 |      680
1102.05/1102.41	c 1100s |      18 |  2372932 |   351952 |    67247     10 |        5 |      680
1104.25/1104.68	c 1102s |      18 |  2378288 |   352452 |    67247     10 |        5 |      680
1106.55/1106.91	c 1104s |      18 |  2382123 |   353052 |    67247     10 |        5 |      680
1108.75/1109.11	c 1107s |      18 |  2386239 |   353552 |    67247     10 |        5 |      680
1110.95/1111.34	c 1109s |      18 |  2392040 |   354152 |    67247     10 |        5 |      680
1113.15/1113.58	c 1111s |      18 |  2397659 |   354852 |    67247     10 |        5 |      680
1115.35/1115.79	c 1113s |      18 |  2402466 |   355552 |    67247     10 |        5 |      680
1118.25/1118.64	c 1116s |      18 |  2405894 |   355852 |    67247     11 |        5 |      680
1120.35/1120.71	c 1118s |      18 |  2410909 |   356352 |    67247     11 |        5 |      680
1122.35/1122.75	c 1120s |      18 |  2414990 |   357052 |    67247     11 |        5 |      680
1124.65/1125.08	c 1122s |      18 |  2421900 |   357752 |    67247     11 |        5 |      680
1126.95/1127.35	c 1125s |      18 |  2427029 |   358552 |    67247     11 |        5 |      680
1129.15/1129.55	c 1127s |      18 |  2434401 |   359452 |    67247     11 |        5 |      680
1131.45/1131.81	c 1129s |      18 |  2441470 |   360352 |    67247     11 |        5 |      680
1133.55/1133.97	c 1131s |      18 |  2449400 |   361352 |    67247     11 |        5 |      680
1135.55/1135.97	c 1133s |      18 |  2454789 |   362152 |    67247     11 |        5 |      680
1137.75/1138.19	c 1136s |      18 |  2461552 |   363152 |    67247     11 |        5 |      680
1139.84/1140.22	c 1138s |      18 |  2468372 |   364152 |    67247     11 |        5 |      680
1141.84/1142.22	c 1140s |      18 |  2472100 |   364852 |    67247     11 |        5 |      680
1143.84/1144.28	c 1142s |      18 |  2475767 |   365652 |    67247     11 |        5 |      680
1146.04/1146.43	c 1144s |      18 |  2480080 |   366652 |    67247     11 |        5 |      680
1148.15/1148.59	c 1146s |      18 |  2482971 |   367652 |    67247     11 |        5 |      680
1150.44/1150.86	c 1148s |      18 |  2486294 |   368452 |    67247     11 |        5 |      680
1152.55/1152.95	c 1150s |      18 |  2490236 |   368952 |    67247     11 |        5 |      680
1154.75/1155.16	c 1153s |      18 |  2494341 |   369352 |    67247     11 |        5 |      680
1157.24/1157.62	c 1155s |      18 |  2501031 |   369852 |    67247     11 |        5 |      680
1159.34/1159.77	c 1157s |      18 |  2505078 |   370452 |    67247     11 |        5 |      680
1161.35/1161.78	c 1159s |      18 |  2510054 |   371052 |    67247     11 |        5 |      680
1163.74/1164.15	c 1162s |      18 |  2516957 |   371652 |    67247     11 |        5 |      680
1165.84/1166.23	c 1164s |      18 |  2524020 |   372152 |    67247     11 |        5 |      680
1168.04/1168.48	c 1166s |      18 |  2529992 |   372752 |    67247     11 |        5 |      680
1170.44/1170.89	c 1168s |      18 |  2537049 |   373552 |    67247     11 |        5 |      680
1172.54/1172.95	c 1170s |      18 |  2544116 |   374252 |    67247     11 |        5 |      680
1175.04/1175.42	c 1173s |      18 |  2551030 |   375052 |    67247     11 |        5 |      680
1177.04/1177.43	c 1175s |      18 |  2556705 |   375552 |    67247     11 |        5 |      680
1179.24/1179.67	c 1177s |      18 |  2562184 |   376152 |    67247     11 |        5 |      680
1181.54/1181.93	c 1179s |      18 |  2568538 |   376852 |    67247     11 |        5 |      680
1183.74/1184.10	c 1182s |      18 |  2574393 |   377452 |    67247     11 |        5 |      680
1185.94/1186.30	c 1184s |      18 |  2578212 |   378252 |    67247     11 |        5 |      680
1188.24/1188.67	c 1186s |      18 |  2582597 |   378952 |    67247     11 |        5 |      680
1190.64/1191.00	c 1188s |      18 |  2588712 |   379552 |    67247     11 |        5 |      680
1192.84/1193.28	c 1191s |      18 |  2593137 |   380352 |    67247     11 |        5 |      680
1195.14/1195.59	c 1193s |      18 |  2598868 |   380952 |    67247     11 |        5 |      680
1197.44/1197.81	c 1195s |      18 |  2606392 |   381852 |    67247     11 |        5 |      680
1199.74/1200.15	c 1198s |      18 |  2611328 |   382652 |    67247     11 |        5 |      680
1201.83/1202.22	c 1200s |      18 |  2616146 |   383352 |    67247     11 |        5 |      680
1203.83/1204.24	c 1202s |      18 |  2621954 |   383952 |    67247     11 |        5 |      680
1205.93/1206.37	c 1204s |      18 |  2626641 |   384652 |    67247     11 |        5 |      680
1208.13/1208.55	c 1206s |      18 |  2631050 |   385352 |    67247     11 |        5 |      680
1210.13/1210.57	c 1208s |      18 |  2635802 |   386052 |    67247     11 |        5 |      680
1212.43/1212.80	c 1210s |      18 |  2641664 |   386952 |    67247     11 |        5 |      680
1214.63/1215.09	c 1212s |      18 |  2645638 |   387652 |    67247     11 |        5 |      680
1216.73/1217.13	c 1215s |      18 |  2649300 |   388252 |    67247     11 |        5 |      680
1219.03/1219.43	c 1217s |      18 |  2653244 |   389052 |    67247     11 |        5 |      680
1221.13/1221.52	c 1219s |      18 |  2656875 |   389752 |    67247     11 |        5 |      680
1223.23/1223.66	c 1221s |      18 |  2659526 |   390552 |    67247     11 |        5 |      680
1225.33/1225.74	c 1223s |      18 |  2662553 |   391252 |    67247     11 |        5 |      680
1227.34/1227.74	c 1225s |      18 |  2664696 |   391952 |    67247     11 |        5 |      680
1229.33/1229.75	c 1227s |      18 |  2665984 |   392552 |    67247     12 |        5 |      680
1231.33/1231.77	c 1229s |      18 |  2667645 |   393352 |    67247     12 |        5 |      680
1233.43/1233.87	c 1231s |      18 |  2670294 |   394252 |    67247     12 |        5 |      680
1235.63/1236.03	c 1233s |      18 |  2672443 |   395152 |    67247     12 |        5 |      680
1237.73/1238.11	c 1236s |      18 |  2675063 |   395952 |    67247     12 |        5 |      680
1239.73/1240.11	c 1238s |      18 |  2677909 |   396752 |    67247     12 |        5 |      680
1241.93/1242.33	c 1240s |      18 |  2681357 |   397652 |    67247     12 |        5 |      680
1244.03/1244.49	c 1242s |      18 |  2683864 |   398552 |    67247     12 |        5 |      680
1246.33/1246.76	c 1244s |      18 |  2685961 |   399452 |    67247     12 |        5 |      680
1248.43/1248.83	c 1246s |      18 |  2688045 |   400452 |    67247     12 |        5 |      680
1250.53/1250.90	c 1248s |      18 |  2690259 |   401352 |    67247     12 |        5 |      680
1252.63/1253.06	c 1250s |      18 |  2692567 |   402152 |    67247     12 |        5 |      680
1254.63/1255.06	c 1252s |      18 |  2694553 |   402952 |    67247     12 |        5 |      680
1256.73/1257.12	c 1255s |      18 |  2695683 |   403652 |    67247     12 |        5 |      680
1258.82/1259.23	c 1257s |      18 |  2697216 |   404552 |    67247     12 |        5 |      680
1261.02/1261.44	c 1259s |      18 |  2699851 |   405452 |    67247     12 |        5 |      680
1263.22/1263.66	c 1261s |      18 |  2702708 |   406352 |    67247     12 |        5 |      680
1265.42/1265.81	c 1263s |      18 |  2704186 |   407152 |    67247     12 |        5 |      680
1267.52/1267.91	c 1265s |      18 |  2706085 |   407952 |    67247     12 |        5 |      680
1269.72/1270.16	c 1268s |      18 |  2708554 |   408952 |    67247     12 |        5 |      680
1271.82/1272.28	c 1270s |      18 |  2710539 |   409752 |    67247     12 |        5 |      680
1273.92/1274.39	c 1272s |      18 |  2712271 |   410552 |    67247     12 |        5 |      680
1276.02/1276.45	c 1274s |      18 |  2714052 |   411352 |    67247     12 |        5 |      680
1278.12/1278.56	c 1276s |      18 |  2715982 |   412152 |    67247     12 |        5 |      680
1280.22/1280.61	c 1278s |      18 |  2717226 |   412952 |    67247     12 |        5 |      680
1282.33/1282.76	c 1280s |      18 |  2718529 |   413752 |    67247     12 |        5 |      680
1284.62/1285.03	c 1282s |      18 |  2719882 |   414552 |    67247     12 |        5 |      680
1286.63/1287.08	c 1284s |      18 |  2722159 |   415152 |    67247     12 |        5 |      680
1288.93/1289.30	c 1287s |      18 |  2724386 |   415852 |    67247     12 |        5 |      680
1291.03/1291.43	c 1289s |      18 |  2726911 |   416552 |    67247     12 |        5 |      680
1293.02/1293.44	c 1291s |      18 |  2729115 |   417252 |    67247     12 |        5 |      680
1295.32/1295.71	c 1293s |      18 |  2730734 |   417952 |    67247     12 |        5 |      680
1297.63/1298.06	c 1295s |      18 |  2732461 |   418552 |    67247     12 |        5 |      680
1299.72/1300.11	c 1298s |      18 |  2735777 |   419252 |    67247     12 |        5 |      680
1301.82/1302.21	c 1300s |      18 |  2738318 |   419852 |    67247     12 |        5 |      680
1303.92/1304.39	c 1302s |      18 |  2741270 |   420552 |    67247     12 |        5 |      680
1306.12/1306.53	c 1304s |      18 |  2743064 |   421152 |    67247     12 |        5 |      680
1308.12/1308.53	c 1306s |      18 |  2744690 |   421752 |    67247     12 |        5 |      680
1310.32/1310.73	c 1308s |      18 |  2745868 |   422352 |    67247     12 |        5 |      680
1312.42/1312.82	c 1310s |      18 |  2749213 |   422852 |    67247     12 |        5 |      680
1314.72/1315.15	c 1313s |      18 |  2751292 |   423552 |    67247     12 |        5 |      680
1317.01/1317.43	c 1315s |      18 |  2755470 |   424252 |    67247     12 |        5 |      680
1319.21/1319.61	c 1317s |      18 |  2758503 |   424852 |    67247     12 |        5 |      680
1321.21/1321.63	c 1319s |      18 |  2761381 |   425452 |    67247     12 |        5 |      680
1323.21/1323.67	c 1321s |      18 |  2764414 |   426152 |    67247     12 |        5 |      680
1325.31/1325.78	c 1323s |      18 |  2766814 |   426752 |    67247     12 |        5 |      680
1327.42/1327.83	c 1325s |      18 |  2768496 |   427352 |    67247     12 |        5 |      680
1329.71/1330.13	c 1328s |      18 |  2770301 |   428052 |    67247     12 |        5 |      680
1332.31/1332.70	c 1330s |      18 |  2771879 |   428552 |    67247     13 |        5 |      680
1334.61/1335.02	c 1332s |      18 |  2774845 |   429252 |    67247     13 |        5 |      680
1336.91/1337.30	c 1335s |      18 |  2778019 |   429952 |    67247     13 |        5 |      680
1339.11/1339.51	c 1337s |      18 |  2780875 |   430552 |    67247     13 |        5 |      680
1341.31/1341.73	c 1339s |      18 |  2783574 |   431252 |    67247     13 |        5 |      680
1343.51/1343.95	c 1341s |      18 |  2785369 |   431952 |    67247     13 |        5 |      680
1345.81/1346.20	c 1344s |      18 |  2787351 |   432652 |    67247     13 |        5 |      680
1347.81/1348.21	c 1346s |      18 |  2788585 |   433252 |    67247     13 |        5 |      680
1350.01/1350.43	c 1348s |      18 |  2792042 |   433952 |    67247     13 |        5 |      680
1352.21/1352.64	c 1350s |      18 |  2796770 |   434752 |    67247     13 |        5 |      680
1354.51/1354.94	c 1352s |      18 |  2800877 |   435452 |    67247     13 |        5 |      680
1356.51/1356.95	c 1354s |      18 |  2802834 |   436052 |    67247     13 |        5 |      680
1358.71/1359.15	c 1357s |      18 |  2807048 |   436752 |    67247     13 |        5 |      680
1360.81/1361.24	c 1359s |      18 |  2810392 |   437452 |    67247     13 |        5 |      680
1362.81/1363.26	c 1361s |      18 |  2813407 |   438152 |    67247     13 |        5 |      680
1365.01/1365.44	c 1363s |      18 |  2815780 |   438852 |    67247     13 |        5 |      680
1367.01/1367.49	c 1365s |      18 |  2817418 |   439452 |    67247     13 |        5 |      680
1369.31/1369.72	c 1367s |      18 |  2818794 |   440152 |    67247     13 |        5 |      680
1371.61/1372.05	c 1369s |      18 |  2821298 |   440652 |    67247     13 |        5 |      680
1373.91/1374.30	c 1372s |      18 |  2825525 |   441352 |    73972     13 |        5 |      680
1376.01/1376.50	c 1374s |      18 |  2828692 |   441952 |    73972     13 |        5 |      680
1378.10/1378.58	c 1376s |      18 |  2831983 |   442552 |    73972     13 |        5 |      680
1380.11/1380.60	c 1378s |      18 |  2835282 |   443252 |    73972     13 |        5 |      680
1382.50/1382.91	c 1380s |      18 |  2837468 |   443852 |    73972     13 |        5 |      680
1384.51/1384.93	c 1382s |      18 |  2839435 |   444352 |    73972     13 |        5 |      680
1385.00/1385.40	c 1383s |      19 |  2839821 |   444482 |    73972     13 |        5 |      680
1401.20/1401.67	c 1399s |      19 |  2840235 |   444582 |    73972     13 |        5 |      680
1404.01/1404.49	c 1402s |      19 |  2841785 |   444782 |    73972     13 |        5 |      680
1406.11/1406.58	c 1404s |      19 |  2843561 |   445182 |    73972     13 |        5 |      680
1408.31/1408.73	c 1406s |      19 |  2847854 |   445682 |    73972     13 |        5 |      680
1410.40/1410.81	c 1408s |      19 |  2852372 |   446082 |    73972     13 |        5 |      680
1412.70/1413.14	c 1411s |      19 |  2856972 |   446582 |    73972     13 |        5 |      680
1414.80/1415.27	c 1413s |      19 |  2862124 |   447082 |    73972     13 |        5 |      680
1416.90/1417.37	c 1415s |      19 |  2865651 |   447482 |    73972     13 |        5 |      680
1419.30/1419.70	c 1417s |      19 |  2871329 |   448082 |    73972     13 |        5 |      680
1421.60/1422.09	c 1419s |      19 |  2875034 |   448582 |    73972     13 |        5 |      680
1424.00/1424.43	c 1422s |      19 |  2877005 |   449182 |    73972     13 |        5 |      680
1426.10/1426.55	c 1424s |      19 |  2880751 |   449682 |    73972     13 |        5 |      680
1428.51/1428.93	c 1426s |      19 |  2886910 |   450182 |    73972     13 |        5 |      680
1430.71/1431.20	c 1429s |      19 |  2891753 |   450782 |    73972     13 |        5 |      680
1433.01/1433.48	c 1431s |      19 |  2898234 |   451482 |    73972     13 |        5 |      680
1435.40/1435.88	c 1433s |      19 |  2902428 |   451982 |    73972     13 |        5 |      680
1437.41/1437.89	c 1435s |      19 |  2905952 |   452482 |    73972     13 |        5 |      680
1439.70/1440.11	c 1438s |      19 |  2910788 |   452982 |    73972     13 |        5 |      680
1441.90/1442.30	c 1440s |      19 |  2915646 |   453582 |    73972     13 |        5 |      680
1444.10/1444.59	c 1442s |      19 |  2919703 |   454182 |    73972     13 |        5 |      680
1446.30/1446.79	c 1444s |      19 |  2925214 |   454882 |    73972     13 |        5 |      680
1448.40/1448.82	c 1446s |      19 |  2929616 |   455382 |    73972     13 |        5 |      680
1450.70/1451.17	c 1449s |      19 |  2934188 |   455982 |    73972     13 |        5 |      680
1452.80/1453.26	c 1451s |      19 |  2937867 |   456482 |    73972     13 |        5 |      680
1454.90/1455.39	c 1453s |      19 |  2942569 |   457182 |    73972     13 |        5 |      680
1457.10/1457.54	c 1455s |      19 |  2945546 |   457782 |    73972     13 |        5 |      680
1459.30/1459.80	c 1457s |      19 |  2950436 |   458382 |    73972     13 |        5 |      680
1461.69/1462.16	c 1460s |      19 |  2952802 |   459082 |    73972     13 |        5 |      680
1463.80/1464.25	c 1462s |      19 |  2955879 |   459682 |    73972     13 |        5 |      680
1465.79/1466.25	c 1464s |      19 |  2959208 |   460382 |    73972     13 |        5 |      680
1467.99/1468.43	c 1466s |      19 |  2964639 |   461382 |    73972     13 |        5 |      680
1470.09/1470.56	c 1468s |      19 |  2966962 |   462082 |    73972     13 |        5 |      680
1472.50/1472.93	c 1470s |      19 |  2970705 |   463082 |    73972     13 |        5 |      680
1474.59/1475.04	c 1472s |      19 |  2976180 |   463482 |    73972     13 |        5 |      680
1476.69/1477.11	c 1475s |      19 |  2980104 |   463882 |    73972     13 |        5 |      680
1478.89/1479.39	c 1477s |      19 |  2984674 |   464382 |    73972     13 |        5 |      680
1480.99/1481.49	c 1479s |      19 |  2987836 |   464982 |    73972     13 |        5 |      680
1483.19/1483.66	c 1481s |      19 |  2992732 |   465382 |    73972     13 |        5 |      680
1485.39/1485.85	c 1483s |      19 |  2996642 |   465782 |    73972     13 |        5 |      680
1487.79/1488.26	c 1486s |      19 |  3001322 |   466382 |    73972     13 |        5 |      680
1489.99/1490.42	c 1488s |      19 |  3005524 |   466882 |    73972     13 |        5 |      680
1494.29/1494.73	c 1492s |      19 |  3010134 |   467382 |    73972     14 |        5 |      680
1496.99/1497.45	c 1495s |      19 |  3011994 |   467582 |    73972     14 |        5 |      680
1499.19/1499.64	c 1497s |      19 |  3015635 |   468182 |    73972     14 |        5 |      680
1501.19/1501.69	c 1499s |      19 |  3019389 |   468682 |    73972     14 |        5 |      680
1503.49/1503.94	c 1501s |      19 |  3024074 |   469282 |    73972     14 |        5 |      680
1505.59/1506.02	c 1503s |      19 |  3027636 |   469882 |    73972     14 |        5 |      680
1507.69/1508.17	c 1506s |      19 |  3032845 |   470482 |    73972     14 |        5 |      680
1509.99/1510.47	c 1508s |      19 |  3039583 |   471282 |    73972     14 |        5 |      680
1512.09/1512.55	c 1510s |      19 |  3043841 |   471782 |    73972     14 |        5 |      680
1514.48/1514.91	c 1512s |      19 |  3049245 |   472482 |    73972     14 |        5 |      680
1516.49/1516.99	c 1514s |      19 |  3054832 |   473282 |    73972     14 |        5 |      680
1518.58/1519.01	c 1516s |      19 |  3058379 |   473882 |    73972     14 |        5 |      680
1520.68/1521.13	c 1519s |      19 |  3061987 |   474482 |    73972     14 |        5 |      680
1522.89/1523.31	c 1521s |      19 |  3066800 |   475182 |    73972     14 |        5 |      680
1524.99/1525.48	c 1523s |      19 |  3071803 |   475882 |    73972     14 |        5 |      680
1527.09/1527.50	c 1525s |      19 |  3075251 |   476482 |    73972     14 |        5 |      680
1529.09/1529.53	c 1527s |      19 |  3078814 |   477182 |    73972     14 |        5 |      680
1531.09/1531.55	c 1529s |      19 |  3083067 |   477982 |    73972     14 |        5 |      680
1533.19/1533.63	c 1531s |      19 |  3085842 |   478682 |    73972     14 |        5 |      680
1535.19/1535.66	c 1533s |      19 |  3087429 |   479482 |    73972     14 |        5 |      680
1537.39/1537.87	c 1535s |      19 |  3092021 |   479982 |    73972     14 |        5 |      680
1539.69/1540.14	c 1538s |      19 |  3097703 |   480482 |    73972     14 |        5 |      680
1541.99/1542.48	c 1540s |      19 |  3103000 |   481282 |    73972     14 |        5 |      680
1544.19/1544.68	c 1542s |      19 |  3110447 |   481882 |    73972     14 |        5 |      680
1546.29/1546.77	c 1544s |      19 |  3116121 |   482482 |    73972     14 |        5 |      680
1548.29/1548.80	c 1546s |      19 |  3119575 |   483082 |    73972     14 |        5 |      680
1550.59/1551.08	c 1548s |      19 |  3126036 |   483582 |    73972     14 |        5 |      680
1552.89/1553.33	c 1551s |      19 |  3132576 |   484182 |    73972     14 |        5 |      680
1554.88/1555.37	c 1553s |      19 |  3137256 |   484882 |    73972     14 |        5 |      680
1557.19/1557.66	c 1555s |      19 |  3142365 |   485382 |    73972     14 |        5 |      680
1559.28/1559.80	c 1557s |      19 |  3147239 |   486082 |    73972     14 |        5 |      680
1561.69/1562.14	c 1560s |      19 |  3153269 |   486682 |    73972     14 |        5 |      680
1563.89/1564.37	c 1562s |      19 |  3158781 |   487282 |    73972     14 |        5 |      680
1566.09/1566.54	c 1564s |      19 |  3163989 |   487982 |    73972     14 |        5 |      680
1568.38/1568.84	c 1566s |      19 |  3168826 |   488582 |    73972     14 |        5 |      680
1570.58/1571.05	c 1568s |      19 |  3174907 |   489282 |    73972     14 |        5 |      680
1572.78/1573.25	c 1571s |      19 |  3180413 |   489882 |    73972     14 |        5 |      680
1574.98/1575.45	c 1573s |      19 |  3186429 |   490682 |    73972     14 |        5 |      680
1577.28/1577.72	c 1575s |      19 |  3191473 |   491382 |    73972     14 |        5 |      680
1579.38/1579.84	c 1577s |      19 |  3196176 |   491982 |    73972     14 |        5 |      680
1581.58/1582.09	c 1579s |      19 |  3200335 |   492782 |    73972     14 |        5 |      680
1583.98/1584.45	c 1582s |      19 |  3203933 |   493382 |    73972     14 |        5 |      680
1586.18/1586.61	c 1584s |      19 |  3207987 |   494082 |    73972     14 |        5 |      680
1588.28/1588.71	c 1586s |      19 |  3210452 |   494682 |    73972     14 |        5 |      680
1590.48/1590.90	c 1588s |      19 |  3214773 |   495382 |    73972     14 |        5 |      680
1592.58/1593.09	c 1590s |      19 |  3218584 |   496182 |    73972     14 |        5 |      680
1594.58/1595.10	c 1593s |      19 |  3222253 |   496882 |    73972     14 |        5 |      680
1596.88/1597.40	c 1595s |      19 |  3226673 |   497782 |    73972     14 |        5 |      680
1599.08/1599.55	c 1597s |      19 |  3229865 |   498582 |    73972     14 |        5 |      680
1601.18/1601.62	c 1599s |      19 |  3232878 |   499482 |    73972     14 |        5 |      680
1603.28/1603.75	c 1601s |      19 |  3235516 |   500482 |    73972     14 |        5 |      680
1605.38/1605.85	c 1603s |      19 |  3238216 |   500982 |    73972     14 |        5 |      680
1607.78/1608.23	c 1606s |      19 |  3242490 |   501582 |    73972     14 |        5 |      680
1609.87/1610.38	c 1608s |      19 |  3245847 |   502082 |    73972     14 |        5 |      680
1611.97/1612.44	c 1610s |      19 |  3249527 |   502682 |    73972     14 |        5 |      680
1614.07/1614.55	c 1612s |      19 |  3254652 |   503282 |    73972     14 |        5 |      680
1616.47/1616.96	c 1614s |      19 |  3259100 |   503782 |    73972     14 |        5 |      680
1618.88/1619.37	c 1617s |      19 |  3263166 |   504382 |    73972     14 |        5 |      680
1621.17/1621.67	c 1619s |      19 |  3267768 |   505082 |    73972     14 |        5 |      680
1623.18/1623.69	c 1621s |      19 |  3271437 |   505582 |    73972     14 |        5 |      680
1625.87/1626.37	c 1624s |      19 |  3275040 |   506082 |    73972     15 |        5 |      680
1628.07/1628.59	c 1626s |      19 |  3279271 |   506782 |    73972     15 |        5 |      680
1630.37/1630.88	c 1628s |      19 |  3285036 |   507682 |    73972     15 |        5 |      680
1632.47/1632.93	c 1630s |      19 |  3290897 |   508382 |    73972     15 |        5 |      680
1634.47/1634.98	c 1632s |      19 |  3294117 |   509082 |    73972     15 |        5 |      680
1636.67/1637.14	c 1635s |      19 |  3299326 |   509982 |    73972     15 |        5 |      680
1638.68/1639.14	c 1637s |      19 |  3303325 |   510782 |    73972     15 |        5 |      680
1640.88/1641.32	c 1639s |      19 |  3307303 |   511682 |    73972     15 |        5 |      680
1642.87/1643.36	c 1641s |      19 |  3311051 |   512582 |    73972     15 |        5 |      680
1644.87/1645.38	c 1643s |      19 |  3314009 |   513182 |    73972     15 |        5 |      680
1647.27/1647.80	c 1645s |      19 |  3315497 |   513482 |    73972     15 |        5 |      680
1649.47/1649.96	c 1647s |      19 |  3320810 |   514082 |    73972     15 |        5 |      680
1651.57/1652.08	c 1649s |      19 |  3324337 |   514482 |    73972     15 |        5 |      680
1653.57/1654.08	c 1651s |      19 |  3329973 |   514982 |    73972     15 |        5 |      680
1655.77/1656.27	c 1654s |      19 |  3333670 |   515782 |    73972     15 |        5 |      680
1657.87/1658.31	c 1656s |      19 |  3339266 |   516282 |    73972     15 |        5 |      680
1660.26/1660.70	c 1658s |      19 |  3345377 |   517082 |    73972     15 |        5 |      680
1662.36/1662.88	c 1660s |      19 |  3350486 |   517582 |    73972     15 |        5 |      680
1664.46/1664.93	c 1662s |      19 |  3354937 |   518182 |    73972     15 |        5 |      680
1666.66/1667.11	c 1665s |      19 |  3359954 |   518882 |    73972     15 |        5 |      680
1668.66/1669.18	c 1667s |      19 |  3365678 |   519382 |    73972     15 |        5 |      680
1670.76/1671.23	c 1669s |      19 |  3374770 |   520082 |    73972     15 |        5 |      680
1672.96/1673.45	c 1671s |      19 |  3380702 |   520882 |    73972     15 |        5 |      680
1675.16/1675.61	c 1673s |      19 |  3386806 |   521482 |    73972     15 |        5 |      680
1677.26/1677.74	c 1675s |      19 |  3391522 |   522182 |    73972     15 |        5 |      680
1679.37/1679.86	c 1677s |      19 |  3397410 |   522782 |    73972     15 |        5 |      680
1681.47/1681.97	c 1679s |      19 |  3402424 |   523582 |    73972     15 |        5 |      680
1683.77/1684.26	c 1682s |      19 |  3409218 |   524482 |    73972     15 |        5 |      680
1685.87/1686.39	c 1684s |      19 |  3414273 |   525082 |    73972     15 |        5 |      680
1688.26/1688.71	c 1686s |      19 |  3419814 |   525882 |    73972     15 |        5 |      680
1690.37/1690.84	c 1688s |      19 |  3425194 |   526682 |    73972     15 |        5 |      680
1692.47/1692.92	c 1690s |      19 |  3430621 |   527382 |    73972     15 |        5 |      680
1694.56/1695.01	c 1692s |      19 |  3435698 |   528082 |    73972     15 |        5 |      680
1696.66/1697.19	c 1695s |      19 |  3440718 |   528882 |    73972     15 |        5 |      680
1698.76/1699.20	c 1697s |      19 |  3443914 |   529582 |    73972     15 |        5 |      680
1700.96/1701.44	c 1699s |      19 |  3448329 |   530382 |    73972     15 |        5 |      680
1703.06/1703.55	c 1701s |      19 |  3452357 |   531182 |    73972     15 |        5 |      680
1705.26/1705.74	c 1703s |      19 |  3457953 |   532082 |    73972     15 |        5 |      680
1707.56/1708.04	c 1705s |      19 |  3462660 |   532982 |    73972     15 |        5 |      680
1709.76/1710.20	c 1708s |      19 |  3466913 |   533982 |    73972     15 |        5 |      680
1711.76/1712.22	c 1710s |      19 |  3469590 |   535082 |    73972     15 |        5 |      680
1713.96/1714.47	c 1712s |      19 |  3474731 |   535682 |    73972     15 |        5 |      680
1716.36/1716.85	c 1714s |      19 |  3479330 |   536382 |    73972     15 |        5 |      680
1718.55/1719.05	c 1716s |      19 |  3484816 |   536882 |    73972     15 |        5 |      680
1720.65/1721.15	c 1719s |      19 |  3488978 |   537382 |    73972     15 |        5 |      680
1722.85/1723.32	c 1721s |      19 |  3493399 |   538082 |    73972     15 |        5 |      680
1724.95/1725.46	c 1723s |      19 |  3498723 |   538782 |    73972     15 |        5 |      680
1727.35/1727.86	c 1725s |      19 |  3503215 |   539382 |    73972     15 |        5 |      680
1729.65/1730.16	c 1728s |      19 |  3509767 |   540282 |    73972     15 |        5 |      680
1731.85/1732.33	c 1730s |      19 |  3513701 |   540782 |    73972     15 |        5 |      680
1734.26/1734.75	c 1732s |      19 |  3517020 |   541482 |    73972     15 |        5 |      680
1736.25/1736.76	c 1734s |      19 |  3521260 |   542182 |    73972     15 |        5 |      680
1738.45/1738.92	c 1736s |      19 |  3526098 |   542782 |    73972     15 |        5 |      680
1740.45/1740.93	c 1738s |      19 |  3530699 |   543482 |    73972     15 |        5 |      680
1742.55/1743.03	c 1740s |      19 |  3535076 |   544182 |    73972     15 |        5 |      680
1744.55/1745.09	c 1742s |      19 |  3538931 |   544682 |    73972     16 |        5 |      680
1746.65/1747.10	c 1745s |      19 |  3543418 |   545482 |    73972     16 |        5 |      680
1748.66/1749.15	c 1747s |      19 |  3547672 |   546282 |    73972     16 |        5 |      680
1750.76/1751.23	c 1749s |      19 |  3551627 |   547082 |    73972     16 |        5 |      680
1752.75/1753.25	c 1751s |      19 |  3557091 |   548082 |    73972     16 |        5 |      680
1754.95/1755.44	c 1753s |      19 |  3561810 |   549082 |    73972     16 |        5 |      680
1757.05/1757.50	c 1755s |      19 |  3565162 |   550082 |    73972     16 |        5 |      680
1759.05/1759.55	c 1757s |      19 |  3568906 |   551282 |    73972     16 |        5 |      680
1761.25/1761.71	c 1759s |      19 |  3572651 |   552082 |    73972     16 |        5 |      680
1763.25/1763.77	c 1761s |      19 |  3576327 |   552582 |    73972     16 |        5 |      680
1765.35/1765.89	c 1763s |      19 |  3579478 |   553382 |    73972     16 |        5 |      680
1767.65/1768.10	c 1766s |      19 |  3582866 |   554282 |    73972     16 |        5 |      680
1769.75/1770.21	c 1768s |      19 |  3585777 |   555282 |    73972     16 |        5 |      680
1771.75/1772.21	c 1770s |      19 |  3588610 |   555982 |    73972     16 |        5 |      680
1774.15/1774.60	c 1772s |      19 |  3593284 |   556782 |    73972     16 |        5 |      680
1776.15/1776.66	c 1774s |      19 |  3596434 |   557482 |    73972     16 |        5 |      680
1778.35/1778.81	c 1776s |      19 |  3601196 |   558182 |    73972     16 |        5 |      680
1780.45/1780.91	c 1778s |      19 |  3604136 |   558882 |    73972     16 |        5 |      680
1782.44/1782.97	c 1780s |      19 |  3608251 |   559482 |    73972     16 |        5 |      680
1784.74/1785.28	c 1783s |      19 |  3611533 |   560082 |    73972     16 |        5 |      680
1787.05/1787.52	c 1785s |      19 |  3615203 |   560682 |    73972     16 |        5 |      680
1789.25/1789.71	c 1787s |      19 |  3618727 |   561282 |    73972     16 |        5 |      680
1791.24/1791.76	c 1789s |      19 |  3622959 |   561782 |    73972     16 |        5 |      680
1793.54/1794.00	c 1791s |      19 |  3627234 |   562482 |    73972     16 |        5 |      680
1795.64/1796.12	c 1794s |      19 |  3631483 |   562982 |    73972     16 |        5 |      680
1797.84/1798.40	c 1796s |      19 |  3636897 |   563482 |    73972     16 |        5 |      680
1800.04/1800.50	c 1798s |      19 |  3640604 |   564182 |    73972     16 |        5 |      680

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

pid=23865
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.10 1.51 1.92 3/181 23868
/proc/meminfo: memFree=30162240/32872528 swapFree=1481856/1661728
[pid=23868] ppid=23865 vsize=783804 CPUtime=0 cores=1,3,5,7
/proc/23868/stat : 23868 (toysat) R 23865 23868 20832 0 -1 4202496 2933 0 0 0 0 0 0 0 20 0 4 0 14040364 802615296 2783 33554432000 4194304 16246674 140733390231936 140733390231360 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23868/statm: 196463 2791 441 2943 0 193357 0
[pid=23868/tid=23869] ppid=23865 vsize=801212 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23869/stat : 23869 (toysat) S 23865 23868 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14040364 820441088 2854 33554432000 4194304 16246674 140733390231936 139940540165360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23868/tid=23870] ppid=23865 vsize=805308 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (toysat) S 23865 23868 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040364 824635392 2870 33554432000 4194304 16246674 140733390231936 139940529675504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23868/tid=23871] ppid=23865 vsize=810428 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23871/stat : 23871 (toysat) S 23865 23868 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14040364 829878272 2887 33554432000 4194304 16246674 140733390231936 139940519201968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 1.10 1.51 1.92 3/181 23868
/proc/meminfo: memFree=30162240/32872528 swapFree=1481856/1661728
[pid=23868] ppid=23865 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/23868/stat : 23868 (toysat) R 23865 23868 20832 0 -1 4202496 28837 0 0 0 5 4 0 0 20 0 4 0 14040364 1333334016 28626 33554432000 4194304 16246674 140733390231936 140733390231152 7374276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23868/statm: 325521 28639 801 2943 0 322415 0
[pid=23868/tid=23869] ppid=23865 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23869/stat : 23869 (toysat) S 23865 23868 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14040364 1333334016 28651 33554432000 4194304 16246674 140733390231936 139940540165360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23868/tid=23870] ppid=23865 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (toysat) S 23865 23868 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040364 1333334016 28662 33554432000 4194304 16246674 140733390231936 139940529675504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23868/tid=23871] ppid=23865 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23871/stat : 23871 (toysat) S 23865 23868 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14040364 1333334016 28673 33554432000 4194304 16246674 140733390231936 139940519201968 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.200493 s]
/proc/loadavg: 1.10 1.51 1.92 3/181 23868
/proc/meminfo: memFree=30162240/32872528 swapFree=1481856/1661728
[pid=23868] ppid=23865 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/23868/stat : 23868 (toysat) R 23865 23868 20832 0 -1 4202496 47571 0 0 0 13 6 0 0 20 0 4 0 14040364 1344868352 47870 33554432000 4194304 16246674 140733390231936 140733390231152 7378308 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23868/statm: 328337 47870 801 2943 0 325231 0
[pid=23868/tid=23869] ppid=23865 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23869/stat : 23869 (toysat) S 23865 23868 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14040364 1344868352 47870 33554432000 4194304 16246674 140733390231936 139940540165360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23868/tid=23870] ppid=23865 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (toysat) S 23865 23868 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040364 1344868352 47870 33554432000 4194304 16246674 140733390231936 139940529675504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23868/tid=23871] ppid=23865 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23871/stat : 23871 (toysat) S 23865 23868 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14040364 1344868352 47870 33554432000 4194304 16246674 140733390231936 139940519201968 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.300467 s]
/proc/loadavg: 1.10 1.51 1.92 3/181 23868
/proc/meminfo: memFree=30162240/32872528 swapFree=1481856/1661728
[pid=23868] ppid=23865 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/23868/stat : 23868 (toysat) R 23865 23868 20832 0 -1 4202496 59997 0 0 0 21 8 0 0 20 0 4 0 14040364 1344868352 60296 33554432000 4194304 16246674 140733390231936 140733390231152 7364278 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23868/statm: 328337 60296 801 2943 0 325231 0
[pid=23868/tid=23869] ppid=23865 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23869/stat : 23869 (toysat) S 23865 23868 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14040364 1344868352 60296 33554432000 4194304 16246674 140733390231936 139940540165360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23868/tid=23870] ppid=23865 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (toysat) S 23865 23868 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040364 1344868352 60296 33554432000 4194304 16246674 140733390231936 139940529675504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23868/tid=23871] ppid=23865 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23871/stat : 23871 (toysat) S 23865 23868 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14040364 1344868352 60296 33554432000 4194304 16246674 140733390231936 139940519201968 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.700367 s]
/proc/loadavg: 1.10 1.51 1.92 3/181 23868
/proc/meminfo: memFree=30162240/32872528 swapFree=1481856/1661728
[pid=23868] ppid=23865 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/23868/stat : 23868 (toysat) R 23865 23868 20832 0 -1 4202496 74032 0 0 0 59 10 0 0 20 0 4 0 14040364 1344868352 74331 33554432000 4194304 16246674 140733390231936 140733390231152 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23868/statm: 328337 74331 802 2943 0 325231 0
[pid=23868/tid=23869] ppid=23865 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23869/stat : 23869 (toysat) S 23865 23868 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14040364 1344868352 74331 33554432000 4194304 16246674 140733390231936 139940540165360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23868/tid=23870] ppid=23865 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (toysat) S 23865 23868 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040364 1344868352 74331 33554432000 4194304 16246674 140733390231936 139940529675504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23868/tid=23871] ppid=23865 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23871/stat : 23871 (toysat) S 23865 23868 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14040364 1344868352 74331 33554432000 4194304 16246674 140733390231936 139940519201968 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.5004 s]
/proc/loadavg: 1.10 1.51 1.92 3/185 23921
/proc/meminfo: memFree=29257452/32872528 swapFree=1481856/1661728
[pid=23868] ppid=23865 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/23868/stat : 23868 (toysat) R 23865 23868 20832 0 -1 4202496 232125 0 0 0 119 30 0 0 20 0 4 0 14040364 1344868352 232425 33554432000 4194304 16246674 140733390231936 140733390213824 5763325 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23868/statm: 328337 232436 836 2943 0 325231 0
[pid=23868/tid=23869] ppid=23865 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23869/stat : 23869 (toysat) S 23865 23868 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14040364 1344868352 232443 33554432000 4194304 16246674 140733390231936 139940540165360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23868/tid=23870] ppid=23865 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (toysat) S 23865 23868 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040364 1344868352 232451 33554432000 4194304 16246674 140733390231936 139940529675504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23868/tid=23871] ppid=23865 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23871/stat : 23871 (toysat) S 23865 23868 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14040364 1344868352 232460 33554432000 4194304 16246674 140733390231936 139940519201968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10042 s]
/proc/loadavg: 1.10 1.51 1.92 3/185 23921
/proc/meminfo: memFree=28200972/32872528 swapFree=1481856/1661728
[pid=23868] ppid=23865 vsize=1324612 CPUtime=3.09 cores=1,3,5,7
/proc/23868/stat : 23868 (toysat) R 23865 23868 20832 0 -1 4202496 271636 0 0 0 275 34 0 0 20 0 4 0 14040364 1356402688 271935 33554432000 4194304 16246674 140733390231936 140733390213824 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23868/statm: 331153 271935 881 2943 0 328047 0
[pid=23868/tid=23869] ppid=23865 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23869/stat : 23869 (toysat) S 23865 23868 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14040364 1356402688 271935 33554432000 4194304 16246674 140733390231936 139940540165360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23868/tid=23870] ppid=23865 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (toysat) S 23865 23868 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040364 1356402688 271935 33554432000 4194304 16246674 140733390231936 139940529675504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23868/tid=23871] ppid=23865 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23871/stat : 23871 (toysat) S 23865 23868 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14040364 1356402688 271935 33554432000 4194304 16246674 140733390231936 139940519201968 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) 1324612

[startup+6.30042 s]
/proc/loadavg: 1.18 1.52 1.92 3/185 23921
/proc/meminfo: memFree=28114172/32872528 swapFree=1481856/1661728
[pid=23868] ppid=23865 vsize=1324612 CPUtime=6.29 cores=1,3,5,7
/proc/23868/stat : 23868 (toysat) R 23865 23868 20832 0 -1 4202496 271824 0 0 0 595 34 0 0 20 0 4 0 14040364 1356402688 272123 33554432000 4194304 16246674 140733390231936 140733390213824 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23868/statm: 331153 272123 885 2943 0 328047 0
[pid=23868/tid=23869] ppid=23865 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23869/stat : 23869 (toysat) S 23865 23868 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14040364 1356402688 272123 33554432000 4194304 16246674 140733390231936 139940540165360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23868/tid=23870] ppid=23865 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (toysat) S 23865 23868 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040364 1356402688 272123 33554432000 4194304 16246674 140733390231936 139940529675504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23868/tid=23871] ppid=23865 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23871/stat : 23871 (toysat) S 23865 23868 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14040364 1356402688 272123 33554432000 4194304 16246674 140733390231936 139940519201968 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) 1324612

[startup+12.7004 s]
/proc/loadavg: 1.24 1.53 1.92 3/185 23921
/proc/meminfo: memFree=28113440/32872528 swapFree=1481856/1661728
[pid=23868] ppid=23865 vsize=1324612 CPUtime=12.69 cores=1,3,5,7
/proc/23868/stat : 23868 (toysat) R 23865 23868 20832 0 -1 4202496 271824 0 0 0 1235 34 0 0 20 0 4 0 14040364 1356402688 272123 33554432000 4194304 16246674 140733390231936 140733390213824 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23868/statm: 331153 272123 885 2943 0 328047 0
[pid=23868/tid=23869] ppid=23865 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23869/stat : 23869 (toysat) S 23865 23868 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14040364 1356402688 272123 33554432000 4194304 16246674 140733390231936 139940540165360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23868/tid=23870] ppid=23865 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (toysat) S 23865 23868 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040364 1356402688 272123 33554432000 4194304 16246674 140733390231936 139940529675504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23868/tid=23871] ppid=23865 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23871/stat : 23871 (toysat) S 23865 23868 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14040364 1356402688 272123 33554432000 4194304 16246674 140733390231936 139940519201968 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) 1324612

[startup+25.5005 s]
/proc/loadavg: 1.48 1.57 1.92 3/185 24019
/proc/meminfo: memFree=28093772/32872528 swapFree=1481856/1661728
[pid=23868] ppid=23865 vsize=1324612 CPUtime=25.48 cores=1,3,5,7
/proc/23868/stat : 23868 (toysat) R 23865 23868 20832 0 -1 4202496 271828 0 0 0 2514 34 0 0 20 0 4 0 14040364 1356402688 272124 33554432000 4194304 16246674 140733390231936 140733390213824 6862286 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23868/statm: 331153 272124 885 2943 0 328047 0
[pid=23868/tid=23869] ppid=23865 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23869/stat : 23869 (toysat) S 23865 23868 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14040364 1356402688 272124 33554432000 4194304 16246674 140733390231936 139940540165360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23868/tid=23870] ppid=23865 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (toysat) S 23865 23868 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040364 1356402688 272124 33554432000 4194304 16246674 140733390231936 139940529675504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23868/tid=23871] ppid=23865 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23871/stat : 23871 (toysat) S 23865 23868 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14040364 1356402688 272124 33554432000 4194304 16246674 140733390231936 139940519201968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1324612

[startup+51.1005 s]
/proc/loadavg: 1.78 1.63 1.93 3/185 24068
/proc/meminfo: memFree=28095424/32872528 swapFree=1481856/1661728
[pid=23868] ppid=23865 vsize=1324612 CPUtime=51.07 cores=1,3,5,7
/proc/23868/stat : 23868 (toysat) R 23865 23868 20832 0 -1 4202496 271846 0 0 0 5073 34 0 0 20 0 4 0 14040364 1356402688 272126 33554432000 4194304 16246674 140733390231936 140733390213824 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23868/statm: 331153 272126 887 2943 0 328047 0
[pid=23868/tid=23869] ppid=23865 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23869/stat : 23869 (toysat) S 23865 23868 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14040364 1356402688 272126 33554432000 4194304 16246674 140733390231936 139940540165360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23868/tid=23870] ppid=23865 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (toysat) S 23865 23868 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040364 1356402688 272126 33554432000 4194304 16246674 140733390231936 139940529675504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23868/tid=23871] ppid=23865 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23871/stat : 23871 (toysat) S 23865 23868 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14040364 1356402688 272126 33554432000 4194304 16246674 140733390231936 139940519201968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1324612

[startup+102.301 s]
/proc/loadavg: 2.07 1.73 1.95 3/185 24069
/proc/meminfo: memFree=28095636/32872528 swapFree=1481856/1661728
[pid=23868] ppid=23865 vsize=1324612 CPUtime=102.26 cores=1,3,5,7
/proc/23868/stat : 23868 (toysat) R 23865 23868 20832 0 -1 4202496 271867 0 0 0 10192 34 0 0 20 0 4 0 14040364 1356402688 272128 33554432000 4194304 16246674 140733390231936 140733390213824 5661989 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23868/statm: 331153 272128 888 2943 0 328047 0
[pid=23868/tid=23869] ppid=23865 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23869/stat : 23869 (toysat) S 23865 23868 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14040364 1356402688 272128 33554432000 4194304 16246674 140733390231936 139940540165360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23868/tid=23870] ppid=23865 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (toysat) S 23865 23868 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040364 1356402688 272128 33554432000 4194304 16246674 140733390231936 139940529675504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23868/tid=23871] ppid=23865 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23871/stat : 23871 (toysat) S 23865 23868 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14040364 1356402688 272128 33554432000 4194304 16246674 140733390231936 139940519201968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1324612


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

/proc/23868/task/23871/stat : 23871 (toysat) S 23865 23868 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940519201968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1395268

[startup+1362.3 s]
/proc/loadavg: 2.23 2.20 2.13 4/186 24101
/proc/meminfo: memFree=27902768/32872528 swapFree=1481856/1661728
[pid=23868] ppid=23865 vsize=1395268 CPUtime=1361.91 cores=1,3,5,7
/proc/23868/stat : 23868 (toysat) R 23865 23868 20832 0 -1 4202496 289812 0 0 0 136145 46 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 140733390213824 5523513 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23868/statm: 348817 289792 888 2943 0 345711 0
[pid=23868/tid=23869] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23869/stat : 23869 (toysat) S 23865 23868 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940540165360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23868/tid=23870] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (toysat) S 23865 23868 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940529675504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23868/tid=23871] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23871/stat : 23871 (toysat) S 23865 23868 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940519201968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1395268

[startup+1422.3 s]
/proc/loadavg: 2.23 2.20 2.14 3/185 24102
/proc/meminfo: memFree=27849492/32872528 swapFree=1481856/1661728
[pid=23868] ppid=23865 vsize=1395268 CPUtime=1421.91 cores=1,3,5,7
/proc/23868/stat : 23868 (toysat) R 23865 23868 20832 0 -1 4202496 289812 0 0 0 142142 49 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 140733390213824 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23868/statm: 348817 289792 888 2943 0 345711 0
[pid=23868/tid=23869] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23869/stat : 23869 (toysat) S 23865 23868 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940540165360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23868/tid=23870] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (toysat) S 23865 23868 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940529675504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23868/tid=23871] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23871/stat : 23871 (toysat) S 23865 23868 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940519201968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1395268

[startup+1482.3 s]
/proc/loadavg: 2.37 2.24 2.15 3/185 24103
/proc/meminfo: memFree=27849112/32872528 swapFree=1481856/1661728
[pid=23868] ppid=23865 vsize=1395268 CPUtime=1481.89 cores=1,3,5,7
/proc/23868/stat : 23868 (toysat) R 23865 23868 20832 0 -1 4202496 289812 0 0 0 148140 49 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 140733390213824 5677392 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23868/statm: 348817 289792 888 2943 0 345711 0
[pid=23868/tid=23869] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23869/stat : 23869 (toysat) S 23865 23868 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940540165360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23868/tid=23870] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (toysat) S 23865 23868 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940529675504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23868/tid=23871] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23871/stat : 23871 (toysat) S 23865 23868 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940519201968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1395268

[startup+1542.31 s]
/proc/loadavg: 2.23 2.22 2.15 3/185 24105
/proc/meminfo: memFree=27849120/32872528 swapFree=1481856/1661728
[pid=23868] ppid=23865 vsize=1395268 CPUtime=1541.89 cores=1,3,5,7
/proc/23868/stat : 23868 (toysat) R 23865 23868 20832 0 -1 4202496 289812 0 0 0 154139 50 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 140733390213824 5829248 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23868/statm: 348817 289792 888 2943 0 345711 0
[pid=23868/tid=23869] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23869/stat : 23869 (toysat) S 23865 23868 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940540165360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23868/tid=23870] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (toysat) S 23865 23868 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940529675504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23868/tid=23871] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23871/stat : 23871 (toysat) S 23865 23868 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940519201968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1395268

[startup+1602.3 s]
/proc/loadavg: 2.21 2.21 2.15 3/185 24106
/proc/meminfo: memFree=27849312/32872528 swapFree=1481856/1661728
[pid=23868] ppid=23865 vsize=1395268 CPUtime=1601.88 cores=1,3,5,7
/proc/23868/stat : 23868 (toysat) R 23865 23868 20832 0 -1 4202496 289812 0 0 0 160138 50 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 140733390213824 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23868/statm: 348817 289792 888 2943 0 345711 0
[pid=23868/tid=23869] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23869/stat : 23869 (toysat) S 23865 23868 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940540165360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23868/tid=23870] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (toysat) S 23865 23868 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940529675504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23868/tid=23871] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23871/stat : 23871 (toysat) S 23865 23868 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940519201968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1395268

[startup+1662.3 s]
/proc/loadavg: 2.33 2.25 2.16 4/186 24110
/proc/meminfo: memFree=27848524/32872528 swapFree=1481856/1661728
[pid=23868] ppid=23865 vsize=1395268 CPUtime=1661.86 cores=1,3,5,7
/proc/23868/stat : 23868 (toysat) R 23865 23868 20832 0 -1 4202496 289812 0 0 0 166136 50 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 140733390213824 5827980 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23868/statm: 348817 289792 888 2943 0 345711 0
[pid=23868/tid=23869] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23869/stat : 23869 (toysat) S 23865 23868 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940540165360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23868/tid=23870] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (toysat) S 23865 23868 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940529675504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23868/tid=23871] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23871/stat : 23871 (toysat) S 23865 23868 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940519201968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1395268

[startup+1722.3 s]
/proc/loadavg: 2.18 2.21 2.16 5/192 24122
/proc/meminfo: memFree=27848072/32872528 swapFree=1481856/1661728
[pid=23868] ppid=23865 vsize=1395268 CPUtime=1721.85 cores=1,3,5,7
/proc/23868/stat : 23868 (toysat) R 23865 23868 20832 0 -1 4202496 289812 0 0 0 172135 50 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 140733390213824 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23868/statm: 348817 289792 888 2943 0 345711 0
[pid=23868/tid=23869] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23869/stat : 23869 (toysat) S 23865 23868 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940540165360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23868/tid=23870] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (toysat) S 23865 23868 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940529675504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23868/tid=23871] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23871/stat : 23871 (toysat) S 23865 23868 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940519201968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1395268

[startup+1782.3 s]
/proc/loadavg: 2.19 2.20 2.16 3/186 24135
/proc/meminfo: memFree=27848400/32872528 swapFree=1481856/1661728
[pid=23868] ppid=23865 vsize=1395268 CPUtime=1781.84 cores=1,3,5,7
/proc/23868/stat : 23868 (toysat) R 23865 23868 20832 0 -1 4202496 289812 0 0 0 178134 50 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 140733390213824 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23868/statm: 348817 289792 888 2943 0 345711 0
[pid=23868/tid=23869] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23869/stat : 23869 (toysat) S 23865 23868 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940540165360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23868/tid=23870] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (toysat) S 23865 23868 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940529675504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23868/tid=23871] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23871/stat : 23871 (toysat) S 23865 23868 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940519201968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1395268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.23 2.21 2.16 3/186 24135
/proc/meminfo: memFree=27848988/32872528 swapFree=1481856/1661728
[pid=23868] ppid=23865 vsize=1395268 CPUtime=1800.04 cores=1,3,5,7
/proc/23868/stat : 23868 (toysat) R 23865 23868 20832 0 -1 4202496 289812 0 0 0 179954 50 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 140733390213824 5827656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23868/statm: 348817 289792 888 2943 0 345711 0
[pid=23868/tid=23869] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23869/stat : 23869 (toysat) S 23865 23868 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940540165360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23868/tid=23870] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (toysat) S 23865 23868 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940529675504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23868/tid=23871] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23871/stat : 23871 (toysat) S 23865 23868 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940519201968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1395268

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

[startup+1800.5 s]
/proc/loadavg: 2.23 2.21 2.16 3/186 24135
/proc/meminfo: memFree=27848988/32872528 swapFree=1481856/1661728
[pid=23868] ppid=23865 vsize=1395268 CPUtime=1800.04 cores=1,3,5,7
/proc/23868/stat : 23868 (toysat) R 23865 23868 20832 0 -1 4202496 289812 0 0 0 179954 50 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 140733390213824 5827656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23868/statm: 348817 289792 888 2943 0 345711 0
[pid=23868/tid=23869] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23869/stat : 23869 (toysat) S 23865 23868 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940540165360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23868/tid=23870] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23870/stat : 23870 (toysat) S 23865 23868 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940529675504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23868/tid=23871] ppid=23865 vsize=1395268 CPUtime=0 cores=1,3,5,7
/proc/23868/task/23871/stat : 23871 (toysat) S 23865 23868 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14040364 1428754432 289792 33554432000 4194304 16246674 140733390231936 139940519201968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1395268

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.55
CPU system time (s): 0.507922
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 1395268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.507922
maximum resident set size= 1159168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289812
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= 333
involuntary context switches= 1894

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5923 second user time and 6.90895 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-17 01:32:19
IDJOB=4098178
IDBENCH=107863
IDSOLVER=2542
FILE ID=node134/4098178-1466119939
RUNJOBID= node134-1466119939-23836
PBS_JOBID= 19904059
Free space on /tmp= 71700 MiB

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

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

MD5SUM BENCH= abd9600d75e11c6c4fdeb14a297d2545
RANDOM SEED=714633613

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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	: 7358.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30176928 kB
Buffers:           56940 kB
Cached:           163044 kB
SwapCached:         8900 kB
Active:           228184 kB
Inactive:          98232 kB
Active(anon):     100820 kB
Inactive(anon):     8200 kB
Active(file):     127364 kB
Inactive(file):    90032 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67092052 kB
Dirty:             36488 kB
Writeback:             0 kB
AnonPages:       1791080 kB
Mapped:             9656 kB
Shmem:                 0 kB
Slab:             570792 kB
SReclaimable:      15072 kB
SUnreclaim:       555720 kB
KernelStack:        1432 kB
PageTables:         9184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2790116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 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= 71680 MiB
End job on node134 at 2016-06-17 02:02:20