Trace number 4107845

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12038_8-unsat.opb
MD5SUMa4c61139e0eb75a13e9da4d40232e606
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 variables29040
Total number of constraints96434
Number of constraints which are clauses95958
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints476
Minimum length of a constraint1
Maximum length of a constraint120
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 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 740
Number of bits of the biggest sum of numbers10
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-19T00:36:04+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-4107845-1466289364.opb"]
0.00/0.01	c use --random-gen="1428705562 3167105108 2363866114 2682683817 1269392284 2133072701 4126619920 4193161113 3689200944 140242331 2538710929 2188474084 104143978 2294846857 2149112434 850242521 1553368908 965995769 683592269 1498427894 2981093391 1734811397 3791390342 2257208837 348291870 3411457829 2135022420 711881737 1898049344 1784562198 2065520253 2140067315 3350666332 2654584134 2502450438 2463225280 2633033507 3057730651 2589269949 1284215647 1066764181 3490849079 1443328316 1581835588 537943656 2840918053 3305034143 3043137402 3248305716 3654737259 3370789735 530318124 2984984610 930501519 452253964 3573045414 524001099 3665871693 795031316 2833198051 1066878171 3982928345 1875376825 2182650599 3443230485 3156453891 688025676 2950518194 1151572927 1346571618 1583950077 213495921 2105179572 1951219009 116925191 4168449875 2826206514 3170119216 2236506701 4088513365 2643728084 3622887954 2279480069 1860477352 2347591620 2866570794 884238368 1120404128 2834982881 2321459318 501524232 1623448489 282778469 2530087104 604634868 1629054764 2985127319 1504280556 147414617 2823094451 1509889815 2367341146 3884243296 2443229071 481834383 1309152505 666875081 2966317707 690078558 2553382326 152270820 3101036723 1786106269 2468522876 2633605818 4045714501 1454798340 2355901132 3337098856 3237302720 3570485832 478167042 1156442588 1906612627 2613564060 3233903233 3864933660 359103690 3226976025 3954537669 1546233665 3871980775 3668384874 2983648404 627010184 1234709084 172024602 4254124135 2556337023 60802468 355118523 4118083198 2809138296 177932365 3811761207 3763679710 3398425822 3251988083 1115362529 2381982771 1103542581 493857498 2314607868 459087225 2677328721 3584410273 285638564 71502159 1626293709 369911491 1002945578 2837688974 1230074812 2965274938 1296471596 1208304016 683750483 3446554771 3791677670 2103830203 1106199885 1742840906 3727668829 931484027 1782716202 376239154 2584554864 3523587398 1382358386 2031325619 2955037420 4185788433 1056466493 3408534655 706449708 241996349 315485596 1967982373 2308801202 1332798893 96604578 1761260929 1946353157 4019394365 3617062103 2531563579 2557230513 795814782 759268344 3393214156 2985451325 4089121829 73499431 2949935519 494135452 3505702015 563206841 2270098026 1314580475 2739574686 1641141744 3901300630 1729979984 1693130378 3944886783 2716383582 2528991347 2282213365 941092364 25522851 4217629618 1490875996 3501159155 1481318707 4196665101 3295134752 1231641072 3341245081 1466871614 2853510743 2142188161 63509075 2166069170 524207076 4085890585 1034404611 3192681117 568379165 91449901 1966944293 409613880 982471075 3770887398 3828547902 2594450249 1579299568 3833143433 714467248 3721206412 1485839706 264048461 4252877669 4100434511 903660559 4097724350 4194751521 255 362436" option to reproduce the execution
0.59/0.63	c #vars 29040
0.59/0.63	c #constraints 96434
1.38/1.45	c Solving starts ...
1.38/1.45	c ============================[ Search Statistics ]============================
1.38/1.45	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.38/1.45	c       |         |          |          |    Limit     GC | Var      | Constra 
1.38/1.45	c =============================================================================
1.38/1.45	c  0.0s |       0 |        0 |        0 |    26258      0 |    18014 |        0
1.58/1.66	c  0.2s |       1 |      175 |      100 |    26258      0 |    18014 |    20696
1.79/1.89	c  0.4s |       2 |      437 |      250 |    28884      0 |    18014 |    20696
2.29/2.38	c  0.9s |       3 |      757 |      475 |    31773      0 |    18014 |    20696
2.99/3.09	c  1.6s |       4 |     1307 |      813 |    34951      0 |    18014 |    20696
3.99/4.00	c  2.5s |       5 |     2106 |     1320 |    38447      0 |    18014 |    20696
4.99/5.03	c  3.6s |       6 |     3125 |     2081 |    46522      0 |    18014 |    20696
6.49/6.59	c  5.1s |       7 |     4572 |     3223 |    51175      0 |    18014 |    20696
8.59/8.63	c  7.2s |       7 |     6229 |     4323 |    51175      0 |    18014 |    20696
9.79/9.82	c  8.4s |       8 |     7001 |     4936 |    56293      0 |    18014 |    20696
11.99/12.04	c 10.6s |       8 |     8247 |     5836 |    56293      0 |    18014 |    20696
14.18/14.20	c 12.8s |       8 |    10050 |     7136 |    56293      0 |    18014 |    20696
14.88/14.98	c 13.5s |       9 |    10665 |     7506 |    61923      0 |    18014 |    20696
17.18/17.22	c 15.8s |       9 |    12634 |     8706 |    61923      0 |    18014 |    20696
19.28/19.34	c 17.9s |       9 |    14331 |     9906 |    61923      0 |    18014 |    20696
21.28/21.35	c 19.9s |       9 |    15845 |    11006 |    61923      0 |    18014 |    20696
21.88/21.96	c 20.5s |      10 |    16293 |    11361 |    68116      0 |    18014 |    20696
23.98/24.05	c 22.6s |      10 |    17779 |    12361 |    68116      0 |    18014 |    20696
26.08/26.16	c 24.7s |      10 |    19130 |    13361 |    68116      0 |    18014 |    20696
28.08/28.17	c 26.7s |      10 |    20880 |    14661 |    68116      0 |    18014 |    20696
30.18/30.27	c 28.8s |      10 |    22560 |    15961 |    68116      0 |    18014 |    20696
32.18/32.28	c 30.8s |      10 |    23888 |    17061 |    74928      0 |    18014 |    20696
32.38/32.43	c 31.0s |      11 |    23991 |    17144 |    74928      0 |    18014 |    20696
34.38/34.45	c 33.0s |      11 |    25441 |    18244 |    74928      0 |    18014 |    20696
36.39/36.45	c 35.0s |      11 |    26798 |    19344 |    74928      0 |    18014 |    20696
38.49/38.51	c 37.1s |      11 |    28121 |    20444 |    74928      0 |    18014 |    20696
40.48/40.52	c 39.1s |      11 |    29398 |    21444 |    74928      0 |    18014 |    20696
42.58/42.63	c 41.2s |      11 |    30620 |    22444 |    74928      0 |    18014 |    20696
44.58/44.68	c 43.2s |      11 |    31818 |    23444 |    74928      0 |    18014 |    20696
46.78/46.80	c 45.3s |      11 |    33087 |    24444 |    74928      0 |    18014 |    20696
48.78/48.84	c 47.4s |      11 |    34176 |    25344 |    74928      0 |    18014 |    20696
49.88/49.93	c 48.5s |      12 |    34757 |    25819 |    82421      0 |    18014 |    20696
51.98/52.01	c 50.6s |      12 |    35930 |    26719 |    82421      0 |    18014 |    20696
54.08/54.10	c 52.6s |      12 |    37045 |    27619 |    82421      0 |    18014 |    20696
56.09/56.12	c 54.7s |      12 |    38233 |    28519 |    82421      0 |    18014 |    20696
58.18/58.26	c 56.8s |      12 |    39382 |    29419 |    82421      0 |    18014 |    20696
60.28/60.30	c 58.8s |      12 |    40339 |    30219 |    82421      0 |    18014 |    20696
62.28/62.38	c 60.9s |      12 |    41323 |    31019 |    82421      0 |    18014 |    20696
64.48/64.58	c 63.1s |      12 |    42285 |    31819 |    82421      0 |    18014 |    20696
66.58/66.65	c 65.2s |      12 |    43256 |    32619 |    82421      0 |    18014 |    20696
68.68/68.71	c 67.3s |      12 |    44175 |    33419 |    82421      0 |    18014 |    20696
70.88/70.94	c 69.5s |      12 |    45165 |    34219 |    82421      0 |    18014 |    20696
73.08/73.18	c 71.7s |      12 |    46154 |    35019 |    82421      0 |    18014 |    20696
75.18/75.29	c 73.8s |      12 |    46989 |    35719 |    82421      0 |    18014 |    20696
77.38/77.48	c 76.0s |      12 |    47960 |    36519 |    82421      0 |    18014 |    20696
79.57/79.61	c 78.2s |      12 |    48858 |    37219 |    82421      0 |    18014 |    20696
81.77/81.80	c 80.3s |      12 |    49699 |    37919 |    82421      0 |    18014 |    20696
83.77/83.89	c 82.4s |      12 |    50555 |    38619 |    90664      0 |    18014 |    20696
84.47/84.51	c 83.1s |      13 |    50836 |    38832 |    90664      0 |    18014 |    20696
86.47/86.52	c 85.1s |      13 |    51639 |    39432 |    90664      0 |    18014 |    20696
88.57/88.65	c 87.2s |      13 |    52636 |    40232 |    90664      0 |    18014 |    20696
90.67/90.79	c 89.3s |      13 |    53660 |    41032 |    90664      0 |    18014 |    20696
92.77/92.88	c 91.4s |      13 |    54548 |    41732 |    90664      0 |    18014 |    20696
94.87/94.93	c 93.5s |      13 |    55414 |    42432 |    90664      0 |    18014 |    20696
96.88/96.94	c 95.5s |      13 |    56243 |    43132 |    90664      0 |    18014 |    20696
99.08/99.16	c 97.7s |      13 |    57252 |    43932 |    90664      0 |    18014 |    20696
101.18/101.25	c 99.8s |      13 |    58173 |    44632 |    90664      0 |    18014 |    20696
103.38/103.45	c  101s |      13 |    59016 |    45332 |    90664      0 |    18014 |    20696
105.37/105.45	c  103s |      13 |    59828 |    46032 |    90664      0 |    18014 |    20696
107.47/107.54	c  106s |      13 |    60699 |    46732 |    90664      0 |    18014 |    20696
109.67/109.72	c  108s |      13 |    61507 |    47432 |    90664      0 |    18014 |    20696
111.87/111.96	c  110s |      13 |    62448 |    48232 |    90664      0 |    18014 |    20696
113.87/113.98	c  112s |      13 |    63289 |    48932 |    90664      0 |    18014 |    20696
116.17/116.25	c  114s |      13 |    64282 |    49732 |    90664      0 |    18014 |    20696
118.37/118.49	c  117s |      13 |    65120 |    50432 |    90664      0 |    18014 |    20696
120.77/120.80	c  119s |      13 |    65917 |    51132 |    90664      0 |    18014 |    20696
122.97/123.09	c  121s |      13 |    66754 |    51832 |    90664      0 |    18014 |    20696
125.07/125.13	c  123s |      13 |    67501 |    52432 |    90664      0 |    18014 |    20696
127.07/127.13	c  125s |      13 |    68235 |    53032 |    90664      0 |    18014 |    20696
129.17/129.23	c  127s |      13 |    68937 |    53632 |    90664      0 |    18014 |    20696
131.27/131.30	c  129s |      13 |    69640 |    54232 |    90664      0 |    18014 |    20696
133.57/133.66	c  132s |      13 |    70472 |    54932 |    90664      0 |    18014 |    20696
135.97/136.06	c  134s |      13 |    71278 |    55632 |    90664      0 |    18014 |    20696
138.27/138.36	c  136s |      13 |    71996 |    56232 |    90664      0 |    18014 |    20696
140.57/140.65	c  139s |      13 |    72892 |    56932 |    90664      0 |    18014 |    20696
142.67/142.77	c  141s |      13 |    73735 |    57632 |    90664      0 |    18014 |    20696
144.87/144.94	c  143s |      13 |    74622 |    58332 |    99731      0 |    18014 |    20696
144.97/145.01	c  143s |      14 |    74649 |    58352 |    99731      0 |    18014 |    20696
147.26/147.35	c  145s |      14 |    75411 |    58952 |    99731      0 |    18014 |    20696
149.46/149.55	c  148s |      14 |    76246 |    59652 |    99731      0 |    18014 |    20696
151.56/151.63	c  150s |      14 |    77011 |    60252 |    99731      0 |    18014 |    20696
153.86/153.96	c  152s |      14 |    77705 |    60852 |    99731      0 |    18014 |    20696
155.96/156.04	c  154s |      14 |    78417 |    61452 |    99731      0 |    18014 |    20696
158.16/158.22	c  156s |      14 |    79110 |    62052 |    99731      0 |    18014 |    20696
160.36/160.47	c  159s |      14 |    79811 |    62652 |    99731      0 |    18014 |    20696
162.66/162.80	c  161s |      14 |    80468 |    63252 |    99731      0 |    18014 |    20696
164.76/164.87	c  163s |      14 |    81184 |    63852 |    99731      0 |    18014 |    20696
166.96/167.01	c  165s |      14 |    81905 |    64452 |    99731      0 |    18014 |    20696
169.06/169.18	c  167s |      14 |    82588 |    65052 |    99731      0 |    18014 |    20696
171.36/171.48	c  170s |      14 |    83299 |    65652 |    99731      0 |    18014 |    20696
173.77/173.81	c  172s |      14 |    84012 |    66252 |    99731      0 |    18014 |    20696
175.86/175.96	c  174s |      14 |    84599 |    66752 |    99731      0 |    18014 |    20696
178.06/178.18	c  176s |      14 |    85315 |    67352 |    99731      0 |    18014 |    20696
180.37/180.47	c  179s |      14 |    86018 |    67952 |    99731      0 |    18014 |    20696
182.46/182.54	c  181s |      14 |    86596 |    68452 |    99731      0 |    18014 |    20696
184.46/184.59	c  183s |      14 |    87191 |    68952 |    99731      0 |    18014 |    20696
186.56/186.63	c  185s |      14 |    87771 |    69452 |    99731      0 |    18014 |    20696
188.56/188.64	c  187s |      14 |    88389 |    69952 |    99731      0 |    18014 |    20696
190.76/190.86	c  189s |      14 |    89080 |    70552 |    99731      0 |    18014 |    20696
192.86/192.98	c  191s |      14 |    89679 |    71052 |    99731      0 |    18014 |    20696
195.15/195.29	c  193s |      14 |    90256 |    71552 |    99731      0 |    18014 |    20696
197.45/197.50	c  196s |      14 |    90821 |    72052 |    99731      0 |    18014 |    20696
199.65/199.74	c  198s |      14 |    91405 |    72552 |    99731      0 |    18014 |    20696
201.95/202.07	c  200s |      14 |    91979 |    73052 |    99731      0 |    18014 |    20696
204.35/204.45	c  202s |      14 |    92568 |    73552 |    99731      0 |    18014 |    20696
206.55/206.60	c  205s |      14 |    93161 |    74052 |    99731      0 |    18014 |    20696
208.55/208.62	c  207s |      14 |    93750 |    74552 |    99731      0 |    18014 |    20696
210.95/211.05	c  209s |      14 |    94434 |    75152 |    99731      0 |    18014 |    20696
213.36/213.46	c  212s |      14 |    95012 |    75652 |    99731      0 |    18014 |    20696
215.45/215.57	c  214s |      14 |    95598 |    76152 |    99731      0 |    18014 |    20696
217.86/217.93	c  216s |      14 |    96167 |    76652 |    99731      0 |    18014 |    20696
220.15/220.28	c  218s |      14 |    96920 |    77252 |    99731      0 |    18014 |    20696
222.55/222.69	c  221s |      14 |    97512 |    77752 |    99731      0 |    18014 |    20696
224.95/225.02	c  223s |      14 |    98086 |    78252 |    99731      0 |    18014 |    20696
226.95/227.05	c  225s |      14 |    98532 |    78652 |    99731      0 |    18014 |    20696
229.25/229.36	c  227s |      14 |    99097 |    79152 |    99731      0 |    18014 |    20696
231.55/231.66	c  230s |      14 |    99659 |    79652 |    99731      0 |    18014 |    20696
233.85/233.93	c  232s |      14 |   100236 |    80152 |    99731      0 |    18014 |    20696
236.35/236.45	c  234s |      14 |   100790 |    80652 |    99731      0 |    18014 |    20696
238.85/238.93	c  237s |      14 |   101356 |    81152 |    99731      0 |    18014 |    20696
241.25/241.35	c  239s |      14 |   101971 |    81652 |    99731      0 |    18014 |    20696
243.55/243.60	c  242s |      14 |   102562 |    82152 |    99731      0 |    18014 |    20696
245.75/245.88	c  244s |      14 |   103193 |    82652 |    99731      0 |    18014 |    20696
247.95/248.03	c  246s |      14 |   103840 |    83152 |    99731      0 |    18014 |    20696
250.35/250.42	c  248s |      14 |   104444 |    83652 |    99731      0 |    18014 |    20696
252.45/252.57	c  251s |      14 |   105073 |    84152 |    99731      0 |    18014 |    20696
254.75/254.84	c  253s |      14 |   105706 |    84652 |    99731      0 |    18014 |    20696
257.04/257.12	c  255s |      14 |   106287 |    85152 |    99731      0 |    18014 |    20696
259.14/259.25	c  257s |      14 |   106868 |    85652 |    99731      0 |    18014 |    20696
261.44/261.52	c  260s |      14 |   107453 |    86152 |    99731      0 |    18014 |    20696
263.54/263.67	c  262s |      14 |   108037 |    86652 |    99731      0 |    18014 |    20696
265.74/265.88	c  264s |      14 |   108610 |    87152 |   109705      0 |    18014 |    20696
268.14/268.23	c  266s |      15 |   109198 |    87632 |   109705      0 |    18014 |    20696
270.14/270.23	c  268s |      15 |   109598 |    87932 |   109705      0 |    18014 |    20696
272.24/272.32	c  270s |      15 |   110098 |    88332 |   109705      0 |    18014 |    20696
274.74/274.85	c  273s |      15 |   110705 |    88832 |   109705      0 |    18014 |    20696
277.04/277.11	c  275s |      15 |   111163 |    89232 |   109705      0 |    18014 |    20696
279.14/279.23	c  277s |      15 |   111640 |    89632 |   109705      0 |    18014 |    20696
281.14/281.29	c  279s |      15 |   112141 |    90032 |   109705      0 |    18014 |    20696
283.24/283.36	c  281s |      15 |   112599 |    90432 |   109705      0 |    18014 |    20696
285.54/285.62	c  284s |      15 |   113072 |    90832 |   109705      0 |    18014 |    20696
287.84/287.90	c  286s |      15 |   113673 |    91332 |   109705      0 |    18014 |    20696
290.24/290.31	c  288s |      15 |   114266 |    91832 |   109705      0 |    18014 |    20696
292.34/292.46	c  291s |      15 |   114749 |    92232 |   109705      0 |    18014 |    20696
294.54/294.60	c  293s |      15 |   115236 |    92632 |   109705      0 |    18014 |    20696
296.54/296.64	c  295s |      15 |   115707 |    93032 |   109705      0 |    18014 |    20696
298.94/299.06	c  297s |      15 |   116317 |    93532 |   109705      0 |    18014 |    20696
301.14/301.25	c  299s |      15 |   116961 |    94032 |   109705      0 |    18014 |    20696
303.34/303.46	c  302s |      15 |   117671 |    94632 |   109705      0 |    18014 |    20696
305.54/305.61	c  304s |      15 |   118411 |    95232 |   109705      0 |    18014 |    20696
307.85/307.97	c  306s |      15 |   119155 |    95832 |   109705      0 |    18014 |    20696
310.05/310.15	c  308s |      15 |   119761 |    96332 |   109705      0 |    18014 |    20696
312.15/312.27	c  310s |      15 |   120359 |    96832 |   109705      0 |    18014 |    20696
314.35/314.46	c  313s |      15 |   120983 |    97332 |   109705      0 |    18014 |    20696
316.75/316.81	c  315s |      15 |   121588 |    97832 |   109705      0 |    18014 |    20696
318.95/319.05	c  317s |      15 |   122188 |    98332 |   109705      0 |    18014 |    20696
321.34/321.41	c  319s |      15 |   122803 |    98832 |   109705      0 |    18014 |    20696
323.84/323.91	c  322s |      15 |   123402 |    99332 |   109705      0 |    18014 |    20696
325.94/326.05	c  324s |      15 |   123890 |    99732 |   109705      0 |    18014 |    20696
328.04/328.18	c  326s |      15 |   124345 |   100132 |   109705      0 |    18014 |    20696
330.24/330.32	c  328s |      15 |   124812 |   100532 |   109705      0 |    18014 |    20696
332.25/332.37	c  330s |      15 |   125299 |   100932 |   109705      0 |    18014 |    20696
334.54/334.64	c  333s |      15 |   125769 |   101332 |   109705      0 |    18014 |    20696
336.55/336.65	c  335s |      15 |   126251 |   101732 |   109705      0 |    18014 |    20696
338.75/338.89	c  337s |      15 |   126737 |   102132 |   109705      0 |    18014 |    20696
341.34/341.46	c  340s |      15 |   127311 |   102632 |   109705      0 |    18014 |    20696
343.84/343.96	c  342s |      15 |   127748 |   103032 |   109705      0 |    18014 |    20696
346.24/346.35	c  344s |      15 |   128241 |   103432 |   109705      0 |    18014 |    20696
348.24/348.37	c  346s |      15 |   128566 |   103732 |   109705      0 |    18014 |    20696
350.54/350.67	c  349s |      15 |   129023 |   104132 |   109705      0 |    18014 |    20696
352.64/352.77	c  351s |      15 |   129530 |   104532 |   109705      0 |    18014 |    20696
354.84/354.98	c  353s |      15 |   130001 |   104932 |   109705      0 |    18014 |    20696
357.34/357.45	c  355s |      15 |   130638 |   105432 |   109705      0 |    18014 |    20696
359.64/359.79	c  358s |      15 |   131393 |   106032 |   109705      0 |    18014 |    20696
362.04/362.18	c  360s |      15 |   132088 |   106632 |   109705      0 |    18014 |    20696
364.54/364.68	c  363s |      15 |   132822 |   107232 |   109705      0 |    18014 |    20696
366.94/367.00	c  365s |      15 |   133449 |   107732 |   109705      0 |    18014 |    20696
369.03/369.11	c  367s |      15 |   134059 |   108232 |   109705      0 |    18014 |    20696
371.43/371.59	c  370s |      15 |   134857 |   108832 |   109705      0 |    18014 |    20696
373.73/373.85	c  372s |      15 |   135492 |   109332 |   109705      0 |    18014 |    20696
375.93/376.02	c  374s |      15 |   136130 |   109832 |   109705      0 |    18014 |    20696
378.13/378.29	c  376s |      15 |   136760 |   110332 |   109705      0 |    18014 |    20696
380.54/380.65	c  379s |      15 |   137400 |   110832 |   109705      0 |    18014 |    20696
383.13/383.27	c  381s |      15 |   138021 |   111332 |   109705      0 |    18014 |    20696
385.23/385.31	c  383s |      15 |   138539 |   111732 |   109705      0 |    18014 |    20696
387.33/387.46	c  386s |      15 |   138996 |   112132 |   109705      0 |    18014 |    20696
389.73/389.86	c  388s |      15 |   139658 |   112632 |   109705      0 |    18014 |    20696
392.23/392.32	c  390s |      15 |   140262 |   113132 |   109705      0 |    18014 |    20696
394.23/394.37	c  392s |      15 |   140739 |   113532 |   109705      0 |    18014 |    20696
396.33/396.41	c  394s |      15 |   141195 |   113932 |   109705      0 |    18014 |    20696
398.43/398.58	c  397s |      15 |   141683 |   114332 |   109705      0 |    18014 |    20696
400.93/401.02	c  399s |      15 |   142385 |   114832 |   109705      0 |    18014 |    20696
403.33/403.41	c  401s |      15 |   142884 |   115232 |   109705      0 |    18014 |    20696
405.43/405.55	c  404s |      15 |   143418 |   115632 |   109705      0 |    18014 |    20696
407.63/407.75	c  406s |      15 |   143907 |   116032 |   109705      0 |    18014 |    20696
410.13/410.26	c  408s |      15 |   144535 |   116532 |   109705      0 |    18014 |    20696
412.33/412.46	c  411s |      15 |   145155 |   117032 |   109705      0 |    18014 |    20696
414.53/414.60	c  413s |      15 |   145643 |   117432 |   109705      0 |    18014 |    20696
416.93/417.04	c  415s |      15 |   146244 |   117932 |   109705      0 |    18014 |    20696
418.93/419.08	c  417s |      15 |   146708 |   118332 |   109705      0 |    18014 |    20696
421.33/421.45	c  420s |      15 |   147352 |   118832 |   109705      0 |    18014 |    20696
423.33/423.50	c  422s |      15 |   147823 |   119232 |   109705      0 |    18014 |    20696
425.83/425.96	c  424s |      15 |   148424 |   119732 |   109705      0 |    18014 |    20696
428.02/428.13	c  426s |      15 |   149026 |   120232 |   109705      0 |    18014 |    20696
430.42/430.59	c  429s |      15 |   149625 |   120732 |   109705      0 |    18014 |    20696
432.52/432.66	c  431s |      15 |   150135 |   121132 |   109705      0 |    18014 |    20696
434.72/434.89	c  433s |      15 |   150601 |   121532 |   109705      0 |    18014 |    20696
436.92/437.04	c  435s |      15 |   151131 |   121932 |   109705      0 |    18014 |    20696
439.32/439.42	c  437s |      15 |   151633 |   122332 |   109705      0 |    18014 |    20696
441.52/441.61	c  440s |      15 |   152151 |   122732 |   109705      0 |    18014 |    20696
443.62/443.79	c  442s |      15 |   152652 |   123132 |   109705      0 |    18014 |    20696
446.02/446.16	c  444s |      15 |   153096 |   123532 |   109705      0 |    18014 |    20696
448.12/448.29	c  446s |      15 |   153586 |   123932 |   109705      0 |    18014 |    20696
450.22/450.39	c  448s |      15 |   154116 |   124332 |   109705      0 |    18014 |    20696
452.22/452.40	c  450s |      15 |   154462 |   124632 |   109705      0 |    18014 |    20696
454.62/454.77	c  453s |      15 |   154937 |   125032 |   109705      0 |    18014 |    20696
457.22/457.32	c  455s |      15 |   155450 |   125432 |   109705      0 |    18014 |    20696
459.73/459.84	c  458s |      15 |   155901 |   125832 |   109705      0 |    18014 |    20696
462.12/462.23	c  460s |      15 |   156404 |   126232 |   109705      0 |    18014 |    20696
464.42/464.58	c  463s |      15 |   156859 |   126632 |   109705      0 |    18014 |    20696
466.62/466.76	c  465s |      15 |   157351 |   127032 |   109705      0 |    18014 |    20696
468.82/468.90	c  467s |      15 |   157826 |   127432 |   109705      0 |    18014 |    20696
471.12/471.24	c  469s |      15 |   158343 |   127832 |   109705      0 |    18014 |    20696
473.52/473.69	c  472s |      15 |   158822 |   128232 |   109705      0 |    18014 |    20696
476.12/476.21	c  474s |      15 |   159298 |   128632 |   109705      0 |    18014 |    20696
478.42/478.56	c  477s |      15 |   159791 |   129032 |   109705      0 |    18014 |    20696
480.62/480.80	c  479s |      15 |   160276 |   129432 |   109705      0 |    18014 |    20696
482.92/483.05	c  481s |      15 |   160762 |   129832 |   109705      0 |    18014 |    20696
485.12/485.29	c  483s |      15 |   161262 |   130232 |   109705      0 |    18014 |    20696
487.22/487.35	c  485s |      15 |   161607 |   130532 |   109705      0 |    18014 |    20696
489.31/489.47	c  488s |      15 |   161938 |   130832 |   120676      0 |    18014 |    20696
491.91/492.04	c  490s |      15 |   162403 |   131232 |   120676      0 |    18014 |    20696
493.92/494.09	c  492s |      16 |   162765 |   131552 |   120676      0 |    18014 |    20696
496.61/496.72	c  495s |      16 |   163149 |   131852 |   120676      0 |    18014 |    20696
498.91/499.06	c  497s |      16 |   163636 |   132252 |   120676      0 |    18014 |    20696
501.21/501.33	c  499s |      16 |   164004 |   132552 |   120676      0 |    18014 |    20696
503.31/503.47	c  502s |      16 |   164378 |   132852 |   120676      0 |    18014 |    20696
505.51/505.66	c  504s |      16 |   164853 |   133252 |   120676      0 |    18014 |    20696
507.91/508.06	c  506s |      16 |   165313 |   133652 |   120676      0 |    18014 |    20696
509.91/510.08	c  508s |      16 |   165711 |   133952 |   120676      0 |    18014 |    20696
512.52/512.63	c  511s |      16 |   166175 |   134352 |   120676      0 |    18014 |    20696
514.82/514.90	c  513s |      16 |   166671 |   134752 |   120676      0 |    18014 |    20696
517.31/517.49	c  516s |      16 |   167127 |   135152 |   120676      0 |    18014 |    20696
519.81/519.96	c  518s |      16 |   167604 |   135552 |   120676      0 |    18014 |    20696
521.81/521.98	c  520s |      16 |   167977 |   135852 |   120676      0 |    18014 |    20696
524.31/524.47	c  523s |      16 |   168418 |   136252 |   120676      0 |    18014 |    20696
526.92/527.01	c  525s |      16 |   168868 |   136652 |   120676      0 |    18014 |    20696
529.41/529.51	c  528s |      16 |   169348 |   137052 |   120676      0 |    18014 |    20696
531.61/531.71	c  530s |      16 |   169697 |   137352 |   120676      0 |    18014 |    20696
533.71/533.89	c  532s |      16 |   170025 |   137652 |   120676      0 |    18014 |    20696
535.81/535.92	c  534s |      16 |   170370 |   137952 |   120676      0 |    18014 |    20696
538.31/538.42	c  536s |      16 |   170894 |   138352 |   120676      0 |    18014 |    20696
541.01/541.11	c  539s |      16 |   171358 |   138752 |   120676      0 |    18014 |    20696
543.21/543.33	c  541s |      16 |   171725 |   139052 |   120676      0 |    18014 |    20696
545.61/545.76	c  544s |      16 |   172195 |   139452 |   120676      0 |    18014 |    20696
547.91/548.02	c  546s |      16 |   172694 |   139852 |   120676      0 |    18014 |    20696
550.41/550.60	c  549s |      16 |   173148 |   140252 |   120676      0 |    18014 |    20696
552.81/552.92	c  551s |      16 |   173489 |   140552 |   120676      0 |    18014 |    20696
554.80/554.96	c  553s |      16 |   173850 |   140852 |   120676      0 |    18014 |    20696
557.50/557.64	c  556s |      16 |   174300 |   141252 |   120676      0 |    18014 |    20696
559.70/559.85	c  558s |      16 |   174652 |   141552 |   120676      0 |    18014 |    20696
561.90/562.03	c  560s |      16 |   175004 |   141852 |   120676      0 |    18014 |    20696
564.10/564.24	c  562s |      16 |   175320 |   142152 |   120676      0 |    18014 |    20696
566.20/566.36	c  564s |      16 |   175673 |   142452 |   120676      0 |    18014 |    20696
568.40/568.50	c  567s |      16 |   176031 |   142752 |   120676      0 |    18014 |    20696
570.60/570.77	c  569s |      16 |   176390 |   143052 |   120676      0 |    18014 |    20696
572.80/572.98	c  571s |      16 |   176745 |   143352 |   120676      0 |    18014 |    20696
575.10/575.23	c  573s |      16 |   177103 |   143652 |   120676      0 |    18014 |    20696
577.70/577.80	c  576s |      16 |   177568 |   144052 |   120676      0 |    18014 |    20696
579.90/580.09	c  578s |      16 |   178020 |   144452 |   120676      0 |    18014 |    20696
583.20/583.31	c  581s |      16 |   178481 |   144852 |   120676      1 |    18014 |    20696
585.21/585.37	c  583s |      16 |   178719 |   145052 |   120676      1 |    18014 |    20696
587.60/587.75	c  586s |      16 |   179216 |   145452 |   120676      1 |    18014 |    20696
589.80/589.94	c  588s |      16 |   179808 |   145952 |   120676      1 |    18014 |    20696
592.20/592.36	c  590s |      16 |   180420 |   146452 |   120676      1 |    18014 |    20696
594.60/594.75	c  593s |      16 |   181007 |   146952 |   120676      1 |    18014 |    20696
597.00/597.15	c  595s |      16 |   181589 |   147452 |   120676      1 |    18014 |    20696
598.99/599.17	c  597s |      16 |   182093 |   147852 |   120676      1 |    18014 |    20696
601.39/601.56	c  600s |      16 |   182693 |   148352 |   120676      1 |    18014 |    20696
603.49/603.63	c  602s |      16 |   183206 |   148752 |   120676      1 |    18014 |    20696
605.59/605.70	c  604s |      16 |   183689 |   149152 |   120676      1 |    18014 |    20696
607.79/607.96	c  606s |      16 |   184318 |   149652 |   120676      1 |    18014 |    20696
609.99/610.18	c  608s |      16 |   184939 |   150152 |   120676      1 |    18014 |    20696
612.09/612.29	c  610s |      16 |   185412 |   150552 |   120676      1 |    18014 |    20696
614.29/614.47	c  613s |      16 |   185860 |   150952 |   120676      1 |    18014 |    20696
616.49/616.60	c  615s |      16 |   186314 |   151352 |   120676      1 |    18014 |    20696
618.59/618.71	c  617s |      16 |   186781 |   151752 |   120676      1 |    18014 |    20696
620.69/620.84	c  619s |      16 |   187256 |   152152 |   120676      1 |    18014 |    20696
622.69/622.85	c  621s |      16 |   187751 |   152552 |   120676      1 |    18014 |    20696
624.89/625.02	c  623s |      16 |   188226 |   152952 |   120676      1 |    18014 |    20696
626.90/627.03	c  625s |      16 |   188689 |   153352 |   120676      1 |    18014 |    20696
629.10/629.20	c  627s |      16 |   189183 |   153752 |   120676      1 |    18014 |    20696
631.19/631.39	c  629s |      16 |   189638 |   154152 |   120676      1 |    18014 |    20696
633.69/633.80	c  632s |      16 |   190228 |   154652 |   120676      1 |    18014 |    20696
635.89/636.07	c  634s |      16 |   190695 |   155052 |   120676      1 |    18014 |    20696
638.39/638.54	c  637s |      16 |   191177 |   155452 |   120676      1 |    18014 |    20696
640.59/640.72	c  639s |      16 |   191633 |   155852 |   120676      1 |    18014 |    20696
642.89/643.04	c  641s |      16 |   192228 |   156352 |   120676      1 |    18014 |    20696
645.29/645.41	c  643s |      16 |   192710 |   156752 |   120676      1 |    18014 |    20696
647.49/647.67	c  646s |      16 |   193201 |   157152 |   120676      1 |    18014 |    20696
649.79/649.93	c  648s |      16 |   193634 |   157552 |   120676      1 |    18014 |    20696
652.09/652.25	c  650s |      16 |   194100 |   157952 |   120676      1 |    18014 |    20696
654.49/654.61	c  653s |      16 |   194553 |   158352 |   120676      1 |    18014 |    20696
656.59/656.75	c  655s |      16 |   195009 |   158752 |   120676      1 |    18014 |    20696
658.98/659.15	c  657s |      16 |   195483 |   159152 |   120676      1 |    18014 |    20696
661.18/661.38	c  659s |      16 |   195965 |   159552 |   120676      1 |    18014 |    20696
663.29/663.44	c  661s |      16 |   196474 |   159952 |   120676      1 |    18014 |    20696
665.39/665.56	c  664s |      16 |   196977 |   160352 |   120676      1 |    18014 |    20696
667.88/668.05	c  666s |      16 |   197587 |   160852 |   120676      1 |    18014 |    20696
670.18/670.35	c  668s |      16 |   198055 |   161252 |   120676      1 |    18014 |    20696
672.18/672.38	c  670s |      16 |   198523 |   161652 |   120676      1 |    18014 |    20696
674.38/674.54	c  673s |      16 |   198983 |   162052 |   120676      1 |    18014 |    20696
676.68/676.80	c  675s |      16 |   199479 |   162452 |   120676      1 |    18014 |    20696
678.88/679.05	c  677s |      16 |   199983 |   162852 |   120676      1 |    18014 |    20696
680.99/681.19	c  679s |      16 |   200466 |   163252 |   120676      1 |    18014 |    20696
683.29/683.46	c  682s |      16 |   200931 |   163652 |   120676      1 |    18014 |    20696
685.49/685.61	c  684s |      16 |   201391 |   164052 |   120676      1 |    18014 |    20696
687.59/687.70	c  686s |      16 |   201887 |   164452 |   120676      1 |    18014 |    20696
689.70/689.87	c  688s |      16 |   202341 |   164852 |   120676      1 |    18014 |    20696
692.09/692.30	c  690s |      16 |   202815 |   165252 |   120676      1 |    18014 |    20696
694.29/694.49	c  693s |      16 |   203283 |   165652 |   120676      1 |    18014 |    20696
696.69/696.89	c  695s |      16 |   203780 |   166052 |   120676      1 |    18014 |    20696
698.99/699.12	c  697s |      16 |   204244 |   166452 |   120676      1 |    18014 |    20696
701.39/701.55	c  700s |      16 |   204700 |   166852 |   120676      1 |    18014 |    20696
703.59/703.72	c  702s |      16 |   205030 |   167152 |   120676      1 |    18014 |    20696
705.99/706.11	c  704s |      16 |   205487 |   167552 |   120676      1 |    18014 |    20696
708.29/708.42	c  706s |      16 |   205999 |   167952 |   120676      1 |    18014 |    20696
710.59/710.77	c  709s |      16 |   206439 |   168352 |   120676      1 |    18014 |    20696
712.79/712.92	c  711s |      16 |   206920 |   168752 |   120676      1 |    18014 |    20696
714.99/715.12	c  713s |      16 |   207369 |   169152 |   120676      1 |    18014 |    20696
717.19/717.37	c  715s |      16 |   207837 |   169552 |   120676      1 |    18014 |    20696
719.39/719.57	c  718s |      16 |   208289 |   169952 |   120676      1 |    18014 |    20696
721.59/721.72	c  720s |      16 |   208626 |   170252 |   120676      1 |    18014 |    20696
724.18/724.32	c  722s |      16 |   209078 |   170652 |   120676      1 |    18014 |    20696
726.78/726.96	c  725s |      16 |   209519 |   171052 |   120676      1 |    18014 |    20696
728.88/729.06	c  727s |      16 |   209865 |   171352 |   120676      1 |    18014 |    20696
731.39/731.53	c  730s |      16 |   210338 |   171752 |   120676      1 |    18014 |    20696
733.88/734.03	c  732s |      16 |   210791 |   172152 |   120676      1 |    18014 |    20696
736.38/736.60	c  735s |      16 |   211241 |   172552 |   120676      1 |    18014 |    20696
738.88/739.02	c  737s |      16 |   211728 |   172952 |   120676      1 |    18014 |    20696
740.98/741.18	c  739s |      16 |   212086 |   173252 |   120676      1 |    18014 |    20696
743.08/743.21	c  741s |      16 |   212426 |   173552 |   120676      1 |    18014 |    20696
745.48/745.65	c  744s |      16 |   212898 |   173952 |   120676      1 |    18014 |    20696
747.89/748.03	c  746s |      16 |   213368 |   174352 |   120676      1 |    18014 |    20696
750.48/750.66	c  749s |      16 |   213837 |   174752 |   120676      1 |    18014 |    20696
752.68/752.84	c  751s |      16 |   214194 |   175052 |   120676      1 |    18014 |    20696
755.38/755.56	c  754s |      16 |   214685 |   175452 |   120676      1 |    18014 |    20696
757.48/757.67	c  756s |      16 |   215033 |   175752 |   120676      1 |    18014 |    20696
760.08/760.22	c  758s |      16 |   215539 |   176152 |   120676      1 |    18014 |    20696
762.08/762.22	c  760s |      16 |   215883 |   176452 |   120676      1 |    18014 |    20696
764.28/764.40	c  762s |      16 |   216208 |   176752 |   120676      1 |    18014 |    20696
766.58/766.75	c  765s |      16 |   216578 |   177052 |   120676      1 |    18014 |    20696
769.28/769.41	c  767s |      16 |   217035 |   177452 |   120676      1 |    18014 |    20696
771.38/771.53	c  770s |      16 |   217386 |   177752 |   120676      1 |    18014 |    20696
773.38/773.57	c  772s |      16 |   217739 |   178052 |   120676      1 |    18014 |    20696
775.48/775.62	c  774s |      16 |   218070 |   178352 |   120676      1 |    18014 |    20696
777.68/777.83	c  776s |      16 |   218418 |   178652 |   120676      1 |    18014 |    20696
779.67/779.90	c  778s |      16 |   218760 |   178952 |   120676      1 |    18014 |    20696
782.17/782.38	c  780s |      16 |   219212 |   179352 |   120676      1 |    18014 |    20696
784.28/784.40	c  782s |      16 |   219551 |   179652 |   120676      1 |    18014 |    20696
786.57/786.71	c  785s |      16 |   219887 |   179952 |   120676      1 |    18014 |    20696
788.87/789.10	c  787s |      16 |   220253 |   180252 |   120676      1 |    18014 |    20696
791.17/791.30	c  789s |      16 |   220602 |   180552 |   120676      1 |    18014 |    20696
793.57/793.75	c  792s |      16 |   220948 |   180852 |   120676      1 |    18014 |    20696
795.67/795.82	c  794s |      16 |   221307 |   181152 |   120676      1 |    18014 |    20696
797.77/797.96	c  796s |      16 |   221680 |   181452 |   120676      1 |    18014 |    20696
800.57/800.71	c  799s |      16 |   222006 |   181752 |   120676      1 |    18014 |    20696
803.17/803.38	c  801s |      16 |   222348 |   182052 |   120676      1 |    18014 |    20696
805.87/806.07	c  804s |      16 |   222670 |   182352 |   120676      1 |    18014 |    20696
807.97/808.19	c  806s |      16 |   223024 |   182652 |   120676      1 |    18014 |    20696
810.16/810.34	c  808s |      16 |   223383 |   182952 |   120676      1 |    18014 |    20696
812.96/813.15	c  811s |      16 |   223827 |   183352 |   120676      1 |    18014 |    20696
815.36/815.50	c  814s |      16 |   224191 |   183652 |   120676      1 |    18014 |    20696
817.56/817.78	c  816s |      16 |   224517 |   183952 |   120676      1 |    18014 |    20696
819.56/819.78	c  818s |      16 |   224874 |   184252 |   120676      1 |    18014 |    20696
821.67/821.88	c  820s |      16 |   225216 |   184552 |   120676      1 |    18014 |    20696
823.96/824.19	c  822s |      16 |   225551 |   184852 |   120676      1 |    18014 |    20696
826.07/826.28	c  824s |      16 |   225865 |   185152 |   120676      1 |    18014 |    20696
828.56/828.77	c  827s |      16 |   226197 |   185452 |   120676      1 |    18014 |    20696
831.47/831.69	c  830s |      16 |   226556 |   185752 |   120676      1 |    18014 |    20696
833.76/833.93	c  832s |      16 |   227032 |   186152 |   120676      1 |    18014 |    20696
835.76/835.95	c  834s |      16 |   227497 |   186552 |   120676      1 |    18014 |    20696
837.96/838.17	c  836s |      16 |   227977 |   186952 |   120676      1 |    18014 |    20696
840.45/840.63	c  839s |      16 |   228463 |   187352 |   120676      1 |    18014 |    20696
842.95/843.19	c  841s |      16 |   228936 |   187752 |   120676      1 |    18014 |    20696
845.35/845.50	c  844s |      16 |   229436 |   188152 |   120676      1 |    18014 |    20696
848.06/848.21	c  846s |      16 |   229917 |   188552 |   120676      1 |    18014 |    20696
850.55/850.72	c  849s |      16 |   230436 |   188952 |   120676      1 |    18014 |    20696
853.05/853.24	c  851s |      16 |   230886 |   189352 |   120676      1 |    18014 |    20696
855.55/855.77	c  854s |      16 |   231353 |   189752 |   120676      1 |    18014 |    20696
857.86/858.03	c  856s |      16 |   231820 |   190152 |   120676      1 |    18014 |    20696
860.06/860.24	c  858s |      16 |   232290 |   190552 |   120676      1 |    18014 |    20696
862.45/862.62	c  861s |      16 |   232742 |   190952 |   120676      1 |    18014 |    20696
864.75/864.97	c  863s |      16 |   233216 |   191352 |   120676      1 |    18014 |    20696
866.75/866.97	c  865s |      16 |   233711 |   191752 |   120676      1 |    18014 |    20696
868.74/869.00	c  867s |      16 |   234206 |   192152 |   120676      1 |    18014 |    20696
870.84/871.07	c  869s |      16 |   234677 |   192552 |   120676      1 |    18014 |    20696
873.04/873.21	c  871s |      16 |   235169 |   192952 |   120676      1 |    18014 |    20696
875.55/875.78	c  874s |      16 |   235766 |   193452 |   120676      1 |    18014 |    20696
878.14/878.39	c  876s |      16 |   236205 |   193852 |   120676      1 |    18014 |    20696
880.54/880.79	c  879s |      16 |   236719 |   194252 |   120676      1 |    18014 |    20696
883.04/883.20	c  881s |      16 |   237197 |   194652 |   120676      1 |    18014 |    20696
885.54/885.78	c  884s |      16 |   237688 |   195052 |   120676      1 |    18014 |    20696
887.84/888.03	c  886s |      16 |   238142 |   195452 |   120676      1 |    18014 |    20696
890.34/890.56	c  889s |      16 |   238594 |   195852 |   120676      1 |    18014 |    20696
892.34/892.57	c  891s |      16 |   238953 |   196152 |   132744      1 |    18014 |    20696
894.74/894.95	c  893s |      16 |   239421 |   196552 |   132744      1 |    18014 |    20696
896.84/897.01	c  895s |      16 |   239753 |   196852 |   132744      1 |    18014 |    20696
899.14/899.38	c  897s |      16 |   240213 |   197252 |   132744      1 |    18014 |    20696
900.33/900.51	c  899s |      17 |   240432 |   197432 |   132744      1 |    18014 |    20696
902.53/902.70	c  901s |      17 |   240839 |   197732 |   132744      1 |    18014 |    20696
904.83/905.04	c  903s |      17 |   241314 |   198132 |   132744      1 |    18014 |    20696
907.13/907.38	c  905s |      17 |   241786 |   198532 |   132744      1 |    18014 |    20696
909.23/909.47	c  908s |      17 |   242128 |   198832 |   132744      1 |    18014 |    20696
911.63/911.89	c  910s |      17 |   242608 |   199232 |   132744      1 |    18014 |    20696
913.73/913.96	c  912s |      17 |   242939 |   199532 |   132744      1 |    18014 |    20696
915.83/916.00	c  914s |      17 |   243289 |   199832 |   132744      1 |    18014 |    20696
918.13/918.31	c  916s |      17 |   243639 |   200132 |   132744      1 |    18014 |    20696
920.13/920.40	c  918s |      17 |   243983 |   200432 |   132744      1 |    18014 |    20696
922.73/922.93	c  921s |      17 |   244449 |   200832 |   132744      1 |    18014 |    20696
925.12/925.38	c  923s |      17 |   244970 |   201232 |   132744      1 |    18014 |    20696
927.52/927.74	c  926s |      17 |   245452 |   201632 |   132744      1 |    18014 |    20696
929.62/929.83	c  928s |      17 |   245818 |   201932 |   132744      1 |    18014 |    20696
931.92/932.13	c  930s |      17 |   246301 |   202332 |   132744      1 |    18014 |    20696
934.32/934.54	c  933s |      17 |   246793 |   202732 |   132744      1 |    18014 |    20696
936.62/936.83	c  935s |      17 |   247251 |   203132 |   132744      1 |    18014 |    20696
939.12/939.33	c  937s |      17 |   247699 |   203532 |   132744      1 |    18014 |    20696
941.32/941.56	c  940s |      17 |   248044 |   203832 |   132744      1 |    18014 |    20696
943.52/943.80	c  942s |      17 |   248548 |   204132 |   132744      1 |    18014 |    20696
945.92/946.19	c  944s |      17 |   248923 |   204432 |   132744      1 |    18014 |    20696
948.52/948.72	c  947s |      17 |   249275 |   204732 |   132744      1 |    18014 |    20696
950.72/950.98	c  949s |      17 |   249646 |   205032 |   132744      1 |    18014 |    20696
952.82/953.02	c  951s |      17 |   249988 |   205332 |   132744      1 |    18014 |    20696
954.91/955.15	c  953s |      17 |   250347 |   205632 |   132744      1 |    18014 |    20696
957.01/957.27	c  955s |      17 |   250707 |   205932 |   132744      1 |    18014 |    20696
959.51/959.73	c  958s |      17 |   251069 |   206232 |   132744      1 |    18014 |    20696
961.51/961.77	c  960s |      17 |   251422 |   206532 |   132744      1 |    18014 |    20696
964.11/964.39	c  962s |      17 |   251769 |   206832 |   132744      1 |    18014 |    20696
966.61/966.85	c  965s |      17 |   252127 |   207132 |   132744      1 |    18014 |    20696
969.02/969.22	c  967s |      17 |   252498 |   207432 |   132744      1 |    18014 |    20696
971.31/971.53	c  970s |      17 |   252850 |   207732 |   132744      1 |    18014 |    20696
973.81/974.00	c  972s |      17 |   253204 |   208032 |   132744      1 |    18014 |    20696
976.01/976.22	c  974s |      17 |   253586 |   208332 |   132744      1 |    18014 |    20696
978.11/978.36	c  976s |      17 |   253954 |   208632 |   132744      1 |    18014 |    20696
980.21/980.46	c  979s |      17 |   254294 |   208932 |   132744      1 |    18014 |    20696
982.51/982.77	c  981s |      17 |   254666 |   209232 |   132744      1 |    18014 |    20696
984.61/984.83	c  983s |      17 |   255041 |   209532 |   132744      1 |    18014 |    20696
986.91/987.13	c  985s |      17 |   255402 |   209832 |   132744      1 |    18014 |    20696
989.31/989.55	c  988s |      17 |   255757 |   210132 |   132744      1 |    18014 |    20696
991.80/992.00	c  990s |      17 |   256103 |   210432 |   132744      1 |    18014 |    20696
993.80/994.08	c  992s |      17 |   256466 |   210732 |   132744      1 |    18014 |    20696
996.51/996.72	c  995s |      17 |   256952 |   211132 |   132744      1 |    18014 |    20696
998.71/998.92	c  997s |      17 |   257306 |   211432 |   132744      1 |    18014 |    20696
1001.00/1001.24	c  999s |      17 |   257675 |   211732 |   132744      1 |    18014 |    20696
1003.11/1003.34	c 1001s |      17 |   258048 |   212032 |   132744      1 |    18014 |    20696
1005.70/1005.92	c 1004s |      17 |   258536 |   212432 |   132744      1 |    18014 |    20696
1008.40/1008.61	c 1007s |      17 |   259003 |   212832 |   132744      1 |    18014 |    20696
1010.81/1011.03	c 1009s |      17 |   259371 |   213132 |   132744      1 |    18014 |    20696
1013.10/1013.39	c 1011s |      17 |   259726 |   213432 |   132744      1 |    18014 |    20696
1015.30/1015.59	c 1014s |      17 |   260225 |   213732 |   132744      1 |    18014 |    20696
1017.90/1018.11	c 1016s |      17 |   260707 |   214132 |   132744      1 |    18014 |    20696
1020.29/1020.51	c 1019s |      17 |   261088 |   214432 |   132744      1 |    18014 |    20696
1022.80/1023.09	c 1021s |      17 |   261480 |   214732 |   132744      1 |    18014 |    20696
1025.49/1025.77	c 1024s |      17 |   261869 |   215032 |   132744      1 |    18014 |    20696
1027.59/1027.87	c 1026s |      17 |   262233 |   215332 |   132744      1 |    18014 |    20696
1029.99/1030.24	c 1028s |      17 |   262589 |   215632 |   132744      1 |    18014 |    20696
1032.29/1032.59	c 1031s |      17 |   262955 |   215932 |   132744      1 |    18014 |    20696
1034.78/1035.02	c 1033s |      17 |   263315 |   216232 |   132744      1 |    18014 |    20696
1037.09/1037.33	c 1035s |      17 |   263679 |   216532 |   132744      1 |    18014 |    20696
1039.48/1039.75	c 1038s |      17 |   264054 |   216832 |   132744      1 |    18014 |    20696
1042.08/1042.37	c 1040s |      17 |   264408 |   217132 |   132744      1 |    18014 |    20696
1044.48/1044.77	c 1043s |      17 |   264754 |   217432 |   132744      1 |    18014 |    20696
1047.08/1047.31	c 1045s |      17 |   265124 |   217732 |   132744      1 |    18014 |    20696
1049.78/1050.09	c 1048s |      17 |   265484 |   218032 |   132744      1 |    18014 |    20696
1052.07/1052.35	c 1050s |      17 |   265712 |   218232 |   132744      1 |    18014 |    20696
1054.87/1055.18	c 1053s |      17 |   266078 |   218532 |   132744      1 |    18014 |    20696
1057.57/1057.80	c 1056s |      17 |   266452 |   218832 |   132744      1 |    18014 |    20696
1060.18/1060.47	c 1059s |      17 |   266826 |   219132 |   132744      1 |    18014 |    20696
1062.96/1063.28	c 1061s |      17 |   267217 |   219432 |   132744      1 |    18014 |    20696
1065.86/1066.16	c 1064s |      17 |   267564 |   219732 |   132744      1 |    18014 |    20696
1067.87/1068.18	c 1066s |      17 |   267795 |   219932 |   132744      1 |    18014 |    20696
1069.96/1070.20	c 1068s |      17 |   268021 |   220132 |   132744      1 |    18014 |    20696
1072.76/1073.06	c 1071s |      17 |   268361 |   220432 |   132744      1 |    18014 |    20696
1075.76/1076.04	c 1074s |      17 |   268721 |   220732 |   132744      1 |    18014 |    20696
1078.46/1078.71	c 1077s |      17 |   269096 |   221032 |   132744      1 |    18014 |    20696
1080.45/1080.77	c 1079s |      17 |   269348 |   221232 |   132744      1 |    18014 |    20696
1082.55/1082.81	c 1081s |      17 |   269607 |   221432 |   132744      1 |    18014 |    20696
1085.46/1085.74	c 1084s |      17 |   269979 |   221732 |   132744      1 |    18014 |    20696
1087.95/1088.29	c 1086s |      17 |   270345 |   222032 |   132744      1 |    18014 |    20696
1090.44/1090.71	c 1089s |      17 |   270707 |   222332 |   132744      1 |    18014 |    20696
1092.84/1093.11	c 1091s |      17 |   271155 |   222632 |   132744      1 |    18014 |    20696
1094.94/1095.27	c 1093s |      17 |   271569 |   222932 |   132744      1 |    18014 |    20696
1097.24/1097.50	c 1096s |      17 |   272087 |   223232 |   132744      1 |    18014 |    20696
1099.54/1099.82	c 1098s |      17 |   272538 |   223532 |   132744      1 |    18014 |    20696
1101.63/1101.90	c 1100s |      17 |   272810 |   223732 |   132744      1 |    18014 |    20696
1103.73/1104.01	c 1102s |      17 |   273039 |   223932 |   132744      1 |    18014 |    20696
1106.53/1106.84	c 1105s |      17 |   273413 |   224232 |   132744      1 |    18014 |    20696
1109.13/1109.45	c 1107s |      17 |   273743 |   224532 |   132744      1 |    18014 |    20696
1111.63/1111.96	c 1110s |      17 |   274099 |   224832 |   132744      1 |    18014 |    20696
1114.13/1114.43	c 1112s |      17 |   274467 |   225132 |   132744      1 |    18014 |    20696
1116.73/1117.05	c 1115s |      17 |   274818 |   225432 |   132744      1 |    18014 |    20696
1119.72/1120.04	c 1118s |      17 |   275211 |   225732 |   132744      1 |    18014 |    20696
1122.83/1123.14	c 1121s |      17 |   275575 |   226032 |   132744      1 |    18014 |    20696
1125.42/1125.79	c 1124s |      17 |   275939 |   226332 |   132744      1 |    18014 |    20696
1128.22/1128.60	c 1127s |      17 |   276324 |   226632 |   132744      1 |    18014 |    20696
1130.52/1130.84	c 1129s |      17 |   276584 |   226832 |   132744      1 |    18014 |    20696
1133.02/1133.30	c 1131s |      17 |   276829 |   227032 |   132744      1 |    18014 |    20696
1135.02/1135.38	c 1133s |      17 |   277114 |   227232 |   132744      1 |    18014 |    20696
1137.22/1137.60	c 1136s |      17 |   277358 |   227432 |   132744      1 |    18014 |    20696
1139.51/1139.80	c 1138s |      17 |   277593 |   227632 |   132744      1 |    18014 |    20696
1142.31/1142.65	c 1141s |      17 |   277949 |   227932 |   132744      1 |    18014 |    20696
1144.41/1144.72	c 1143s |      17 |   278187 |   228132 |   132744      1 |    18014 |    20696
1146.51/1146.84	c 1145s |      17 |   278436 |   228332 |   132744      1 |    18014 |    20696
1148.71/1149.06	c 1147s |      17 |   278682 |   228532 |   132744      1 |    18014 |    20696
1151.52/1151.86	c 1150s |      17 |   279035 |   228832 |   132744      1 |    18014 |    20696
1155.62/1155.92	c 1154s |      17 |   279296 |   229032 |   132744      2 |    18014 |    20696
1158.12/1158.41	c 1156s |      17 |   279540 |   229232 |   132744      2 |    18014 |    20696
1160.22/1160.54	c 1159s |      17 |   280205 |   229732 |   132744      2 |    18014 |    20696
1162.52/1162.82	c 1161s |      17 |   280781 |   230232 |   132744      2 |    18014 |    20696
1164.81/1165.13	c 1163s |      17 |   281443 |   230732 |   132744      2 |    18014 |    20696
1167.01/1167.37	c 1165s |      17 |   282377 |   231432 |   132744      2 |    18014 |    20696
1169.31/1169.61	c 1168s |      17 |   283255 |   232132 |   132744      2 |    18014 |    20696
1171.70/1172.02	c 1170s |      17 |   283963 |   232732 |   132744      2 |    18014 |    20696
1173.80/1174.18	c 1172s |      17 |   284534 |   233232 |   132744      2 |    18014 |    20696
1176.10/1176.46	c 1175s |      17 |   285309 |   233832 |   132744      2 |    18014 |    20696
1178.40/1178.74	c 1177s |      17 |   286097 |   234432 |   132744      2 |    18014 |    20696
1180.70/1181.05	c 1179s |      17 |   286828 |   235032 |   132744      2 |    18014 |    20696
1182.70/1183.09	c 1181s |      17 |   287402 |   235532 |   132744      2 |    18014 |    20696
1185.00/1185.34	c 1183s |      17 |   288145 |   236132 |   132744      2 |    18014 |    20696
1187.30/1187.67	c 1186s |      17 |   288858 |   236732 |   132744      2 |    18014 |    20696
1189.60/1189.95	c 1188s |      17 |   289586 |   237332 |   132744      2 |    18014 |    20696
1191.99/1192.30	c 1190s |      17 |   290293 |   237932 |   132744      2 |    18014 |    20696
1194.30/1194.65	c 1193s |      17 |   290987 |   238532 |   132744      2 |    18014 |    20696
1196.29/1196.69	c 1195s |      17 |   291556 |   239032 |   132744      2 |    18014 |    20696
1198.49/1198.85	c 1197s |      17 |   292145 |   239532 |   132744      2 |    18014 |    20696
1200.69/1201.08	c 1199s |      17 |   292703 |   240032 |   132744      2 |    18014 |    20696
1202.99/1203.36	c 1201s |      17 |   293298 |   240532 |   132744      2 |    18014 |    20696
1205.40/1205.78	c 1204s |      17 |   293846 |   241032 |   132744      2 |    18014 |    20696
1207.50/1207.86	c 1206s |      17 |   294460 |   241532 |   132744      2 |    18014 |    20696
1209.49/1209.87	c 1208s |      17 |   295061 |   242032 |   132744      2 |    18014 |    20696
1211.89/1212.22	c 1210s |      17 |   295822 |   242632 |   132744      2 |    18014 |    20696
1214.28/1214.63	c 1213s |      17 |   296396 |   243132 |   132744      2 |    18014 |    20696
1216.68/1217.01	c 1215s |      17 |   297012 |   243632 |   132744      2 |    18014 |    20696
1218.88/1219.20	c 1217s |      17 |   297621 |   244132 |   132744      2 |    18014 |    20696
1221.08/1221.48	c 1220s |      17 |   298241 |   244632 |   132744      2 |    18014 |    20696
1223.48/1223.84	c 1222s |      17 |   298838 |   245132 |   132744      2 |    18014 |    20696
1225.68/1226.00	c 1224s |      17 |   299419 |   245632 |   132744      2 |    18014 |    20696
1228.18/1228.53	c 1227s |      17 |   300010 |   246132 |   132744      2 |    18014 |    20696
1230.58/1230.92	c 1229s |      17 |   300621 |   246632 |   132744      2 |    18014 |    20696
1232.78/1233.16	c 1231s |      17 |   301077 |   247032 |   132744      2 |    18014 |    20696
1235.18/1235.58	c 1234s |      17 |   301706 |   247532 |   132744      2 |    18014 |    20696
1237.77/1238.10	c 1236s |      17 |   302305 |   248032 |   132744      2 |    18014 |    20696
1239.87/1240.22	c 1238s |      17 |   302786 |   248432 |   132744      2 |    18014 |    20696
1242.17/1242.55	c 1241s |      17 |   303260 |   248832 |   132744      2 |    18014 |    20696
1244.67/1245.08	c 1243s |      17 |   303862 |   249332 |   132744      2 |    18014 |    20696
1246.87/1247.26	c 1245s |      17 |   304340 |   249732 |   132744      2 |    18014 |    20696
1248.87/1249.28	c 1247s |      17 |   304838 |   250132 |   132744      2 |    18014 |    20696
1251.27/1251.69	c 1250s |      17 |   305455 |   250632 |   132744      2 |    18014 |    20696
1253.57/1253.96	c 1252s |      17 |   306071 |   251132 |   132744      2 |    18014 |    20696
1256.07/1256.48	c 1255s |      17 |   306680 |   251632 |   132744      2 |    18014 |    20696
1258.47/1258.82	c 1257s |      17 |   307361 |   252132 |   132744      2 |    18014 |    20696
1260.56/1260.97	c 1259s |      17 |   307825 |   252532 |   132744      2 |    18014 |    20696
1262.66/1263.07	c 1261s |      17 |   308276 |   252932 |   132744      2 |    18014 |    20696
1264.77/1265.16	c 1263s |      17 |   308742 |   253332 |   132744      2 |    18014 |    20696
1266.97/1267.38	c 1265s |      17 |   309233 |   253732 |   132744      2 |    18014 |    20696
1269.56/1269.90	c 1268s |      17 |   309692 |   254132 |   132744      2 |    18014 |    20696
1272.06/1272.40	c 1270s |      17 |   310145 |   254532 |   132744      2 |    18014 |    20696
1274.36/1274.73	c 1273s |      17 |   310614 |   254932 |   132744      2 |    18014 |    20696
1276.56/1276.97	c 1275s |      17 |   311110 |   255332 |   132744      2 |    18014 |    20696
1278.66/1279.04	c 1277s |      17 |   311559 |   255732 |   132744      2 |    18014 |    20696
1280.65/1281.07	c 1279s |      17 |   312042 |   256132 |   132744      2 |    18014 |    20696
1283.05/1283.40	c 1281s |      17 |   312490 |   256532 |   132744      2 |    18014 |    20696
1285.15/1285.59	c 1284s |      17 |   313014 |   256932 |   132744      2 |    18014 |    20696
1287.15/1287.60	c 1286s |      17 |   313515 |   257332 |   132744      2 |    18014 |    20696
1289.45/1289.87	c 1288s |      17 |   313981 |   257732 |   132744      2 |    18014 |    20696
1291.55/1291.93	c 1290s |      17 |   314517 |   258132 |   132744      2 |    18014 |    20696
1294.05/1294.49	c 1293s |      17 |   315131 |   258632 |   132744      2 |    18014 |    20696
1296.75/1297.13	c 1295s |      17 |   315713 |   259132 |   132744      2 |    18014 |    20696
1298.75/1299.16	c 1297s |      17 |   316192 |   259532 |   132744      2 |    18014 |    20696
1301.14/1301.54	c 1300s |      17 |   316819 |   260032 |   132744      2 |    18014 |    20696
1303.44/1303.85	c 1302s |      17 |   317320 |   260432 |   132744      2 |    18014 |    20696
1306.04/1306.47	c 1305s |      17 |   317804 |   260832 |   132744      2 |    18014 |    20696
1308.54/1308.92	c 1307s |      17 |   318339 |   261232 |   132744      2 |    18014 |    20696
1310.54/1310.98	c 1309s |      17 |   318793 |   261632 |   132744      2 |    18014 |    20696
1312.94/1313.38	c 1311s |      17 |   319260 |   262032 |   132744      2 |    18014 |    20696
1315.35/1315.74	c 1314s |      17 |   319780 |   262432 |   132744      2 |    18014 |    20696
1318.04/1318.43	c 1316s |      17 |   320258 |   262832 |   132744      2 |    18014 |    20696
1320.53/1320.99	c 1319s |      17 |   320739 |   263232 |   132744      2 |    18014 |    20696
1322.73/1323.20	c 1321s |      17 |   321246 |   263632 |   132744      2 |    18014 |    20696
1324.93/1325.34	c 1323s |      17 |   321740 |   264032 |   132744      2 |    18014 |    20696
1327.44/1327.82	c 1326s |      17 |   322358 |   264532 |   132744      2 |    18014 |    20696
1329.43/1329.88	c 1328s |      17 |   322814 |   264932 |   132744      2 |    18014 |    20696
1331.83/1332.21	c 1330s |      17 |   323274 |   265332 |   132744      2 |    18014 |    20696
1333.93/1334.36	c 1332s |      17 |   323746 |   265732 |   132744      2 |    18014 |    20696
1336.23/1336.63	c 1335s |      17 |   324201 |   266132 |   132744      2 |    18014 |    20696
1338.53/1338.94	c 1337s |      17 |   324712 |   266532 |   132744      2 |    18014 |    20696
1340.63/1341.02	c 1339s |      17 |   325212 |   266932 |   132744      2 |    18014 |    20696
1342.83/1343.22	c 1341s |      17 |   325686 |   267332 |   132744      2 |    18014 |    20696
1345.12/1345.57	c 1344s |      17 |   326168 |   267732 |   132744      2 |    18014 |    20696
1347.62/1348.08	c 1346s |      17 |   326674 |   268132 |   132744      2 |    18014 |    20696
1350.02/1350.48	c 1349s |      17 |   327149 |   268532 |   132744      2 |    18014 |    20696
1352.21/1352.65	c 1351s |      17 |   327490 |   268832 |   132744      2 |    18014 |    20696
1354.31/1354.74	c 1353s |      17 |   327879 |   269132 |   132744      2 |    18014 |    20696
1356.91/1357.35	c 1355s |      17 |   328379 |   269532 |   132744      2 |    18014 |    20696
1359.41/1359.86	c 1358s |      17 |   328861 |   269932 |   132744      2 |    18014 |    20696
1361.81/1362.25	c 1360s |      17 |   329290 |   270332 |   132744      2 |    18014 |    20696
1364.10/1364.55	c 1363s |      17 |   329760 |   270732 |   132744      2 |    18014 |    20696
1366.40/1366.82	c 1365s |      17 |   330244 |   271132 |   132744      2 |    18014 |    20696
1368.50/1368.98	c 1367s |      17 |   330718 |   271532 |   132744      2 |    18014 |    20696
1370.60/1371.07	c 1369s |      17 |   331223 |   271932 |   132744      2 |    18014 |    20696
1373.20/1373.60	c 1372s |      17 |   331727 |   272332 |   132744      2 |    18014 |    20696
1375.71/1376.12	c 1374s |      17 |   332239 |   272732 |   132744      2 |    18014 |    20696
1378.10/1378.58	c 1377s |      17 |   332719 |   273132 |   132744      2 |    18014 |    20696
1380.30/1380.73	c 1379s |      17 |   333095 |   273432 |   132744      2 |    18014 |    20696
1382.30/1382.73	c 1381s |      17 |   333496 |   273732 |   132744      2 |    18014 |    20696
1384.70/1385.16	c 1383s |      17 |   333978 |   274132 |   132744      2 |    18014 |    20696
1387.10/1387.55	c 1386s |      17 |   334464 |   274532 |   132744      2 |    18014 |    20696
1389.20/1389.60	c 1388s |      17 |   334796 |   274832 |   132744      2 |    18014 |    20696
1391.69/1392.13	c 1390s |      17 |   335297 |   275232 |   132744      2 |    18014 |    20696
1394.29/1394.78	c 1393s |      17 |   335770 |   275632 |   132744      2 |    18014 |    20696
1396.39/1396.82	c 1395s |      17 |   336160 |   275932 |   132744      2 |    18014 |    20696
1398.59/1399.02	c 1397s |      17 |   336522 |   276232 |   132744      2 |    18014 |    20696
1400.68/1401.16	c 1399s |      17 |   336868 |   276532 |   132744      2 |    18014 |    20696
1402.98/1403.43	c 1401s |      17 |   337201 |   276832 |   132744      2 |    18014 |    20696
1405.50/1405.99	c 1404s |      17 |   337564 |   277132 |   132744      2 |    18014 |    20696
1407.79/1408.23	c 1406s |      17 |   337942 |   277432 |   132744      2 |    18014 |    20696
1410.29/1410.76	c 1409s |      17 |   338416 |   277832 |   132744      2 |    18014 |    20696
1412.29/1412.76	c 1411s |      17 |   338788 |   278132 |   132744      2 |    18014 |    20696
1414.89/1415.36	c 1413s |      17 |   339280 |   278532 |   132744      2 |    18014 |    20696
1417.09/1417.54	c 1416s |      17 |   339641 |   278832 |   132744      2 |    18014 |    20696
1419.49/1419.98	c 1418s |      17 |   339989 |   279132 |   132744      2 |    18014 |    20696
1421.58/1422.09	c 1420s |      17 |   340383 |   279432 |   132744      2 |    18014 |    20696
1423.88/1424.36	c 1422s |      17 |   340744 |   279732 |   132744      2 |    18014 |    20696
1426.48/1426.94	c 1425s |      17 |   341243 |   280132 |   132744      2 |    18014 |    20696
1428.68/1429.10	c 1427s |      17 |   341611 |   280432 |   132744      2 |    18014 |    20696
1430.88/1431.37	c 1429s |      17 |   341959 |   280732 |   132744      2 |    18014 |    20696
1433.18/1433.61	c 1432s |      17 |   342336 |   281032 |   132744      2 |    18014 |    20696
1435.37/1435.82	c 1434s |      17 |   342687 |   281332 |   132744      2 |    18014 |    20696
1437.38/1437.87	c 1436s |      17 |   343058 |   281632 |   132744      2 |    18014 |    20696
1439.67/1440.16	c 1438s |      17 |   343417 |   281932 |   132744      2 |    18014 |    20696
1442.27/1442.77	c 1441s |      17 |   343885 |   282332 |   132744      2 |    18014 |    20696
1444.27/1444.77	c 1443s |      17 |   344223 |   282632 |   132744      2 |    18014 |    20696
1446.77/1447.29	c 1445s |      17 |   344566 |   282932 |   132744      2 |    18014 |    20696
1449.27/1449.78	c 1448s |      17 |   344939 |   283232 |   132744      2 |    18014 |    20696
1451.36/1451.82	c 1450s |      17 |   345280 |   283532 |   132744      2 |    18014 |    20696
1453.56/1454.05	c 1452s |      17 |   345636 |   283832 |   132744      2 |    18014 |    20696
1455.66/1456.16	c 1454s |      17 |   345981 |   284132 |   132744      2 |    18014 |    20696
1458.27/1458.77	c 1457s |      17 |   346331 |   284432 |   132744      2 |    18014 |    20696
1460.86/1461.38	c 1459s |      17 |   346688 |   284732 |   132744      2 |    18014 |    20696
1463.26/1463.73	c 1462s |      17 |   347040 |   285032 |   132744      2 |    18014 |    20696
1465.66/1466.16	c 1464s |      17 |   347369 |   285332 |   132744      2 |    18014 |    20696
1468.17/1468.61	c 1467s |      17 |   347723 |   285632 |   132744      2 |    18014 |    20696
1470.27/1470.77	c 1469s |      17 |   348082 |   285932 |   132744      2 |    18014 |    20696
1472.57/1473.00	c 1471s |      17 |   348427 |   286232 |   132744      2 |    18014 |    20696
1474.77/1475.26	c 1473s |      17 |   348798 |   286532 |   132744      2 |    18014 |    20696
1476.97/1477.42	c 1475s |      17 |   349160 |   286832 |   132744      2 |    18014 |    20696
1479.26/1479.70	c 1478s |      17 |   349521 |   287132 |   132744      2 |    18014 |    20696
1481.56/1482.06	c 1480s |      17 |   350031 |   287532 |   132744      2 |    18014 |    20696
1483.66/1484.10	c 1482s |      17 |   350397 |   287832 |   132744      2 |    18014 |    20696
1485.86/1486.32	c 1484s |      17 |   350758 |   288132 |   132744      2 |    18014 |    20696
1488.16/1488.64	c 1487s |      17 |   351110 |   288432 |   132744      2 |    18014 |    20696
1490.26/1490.71	c 1489s |      17 |   351481 |   288732 |   132744      2 |    18014 |    20696
1492.26/1492.74	c 1491s |      17 |   351838 |   289032 |   132744      2 |    18014 |    20696
1494.86/1495.36	c 1493s |      17 |   352284 |   289432 |   132744      2 |    18014 |    20696
1497.45/1497.98	c 1496s |      17 |   352773 |   289832 |   132744      2 |    18014 |    20696
1499.85/1500.34	c 1498s |      17 |   353124 |   290132 |   132744      2 |    18014 |    20696
1502.05/1502.59	c 1501s |      17 |   353472 |   290432 |   132744      2 |    18014 |    20696
1504.15/1504.63	c 1503s |      17 |   353836 |   290732 |   132744      2 |    18014 |    20696
1506.25/1506.70	c 1505s |      17 |   354202 |   291032 |   132744      2 |    18014 |    20696
1508.35/1508.87	c 1507s |      17 |   354538 |   291332 |   132744      2 |    18014 |    20696
1510.85/1511.35	c 1509s |      17 |   354866 |   291632 |   132744      2 |    18014 |    20696
1513.45/1513.96	c 1512s |      17 |   355218 |   291932 |   132744      2 |    18014 |    20696
1516.15/1516.67	c 1515s |      17 |   355557 |   292232 |   132744      2 |    18014 |    20696
1518.85/1519.37	c 1517s |      17 |   355878 |   292532 |   132744      2 |    18014 |    20696
1521.15/1521.60	c 1520s |      17 |   356227 |   292832 |   132744      2 |    18014 |    20696
1523.55/1524.09	c 1522s |      17 |   356580 |   293132 |   132744      2 |    18014 |    20696
1526.15/1526.68	c 1525s |      17 |   356950 |   293432 |   132744      2 |    18014 |    20696
1528.56/1529.10	c 1527s |      17 |   357339 |   293732 |   132744      2 |    18014 |    20696
1530.95/1531.44	c 1529s |      17 |   357691 |   294032 |   132744      2 |    18014 |    20696
1533.15/1533.67	c 1532s |      17 |   358039 |   294332 |   146019      2 |    18014 |    20696
1535.95/1536.40	c 1534s |      17 |   358398 |   294632 |   146019      2 |    18014 |    20696
1538.35/1538.82	c 1537s |      17 |   358751 |   294932 |   146019      2 |    18014 |    20696
1540.65/1541.20	c 1539s |      17 |   359136 |   295232 |   146019      2 |    18014 |    20696
1543.35/1543.80	c 1542s |      17 |   359471 |   295532 |   146019      2 |    18014 |    20696
1545.75/1546.25	c 1544s |      17 |   359818 |   295832 |   146019      2 |    18014 |    20696
1548.25/1548.72	c 1547s |      17 |   360312 |   296232 |   146019      2 |    18014 |    20696
1548.35/1548.90	c 1547s |      18 |   360331 |   296252 |   146019      2 |    18014 |    20696
1550.95/1551.43	c 1549s |      18 |   360703 |   296452 |   146019      2 |    18014 |    20696
1553.45/1553.93	c 1552s |      18 |   361224 |   296852 |   146019      2 |    18014 |    20696
1556.05/1556.57	c 1555s |      18 |   361687 |   297252 |   146019      2 |    18014 |    20696
1558.35/1558.88	c 1557s |      18 |   362054 |   297552 |   146019      2 |    18014 |    20696
1560.34/1560.89	c 1559s |      18 |   362440 |   297852 |   146019      2 |    18014 |    20696
1562.44/1562.96	c 1561s |      18 |   362777 |   298152 |   146019      2 |    18014 |    20696
1564.44/1564.99	c 1563s |      18 |   363184 |   298452 |   146019      2 |    18014 |    20696
1566.64/1567.14	c 1565s |      18 |   363578 |   298752 |   146019      2 |    18014 |    20696
1568.84/1569.32	c 1567s |      18 |   363940 |   299052 |   146019      2 |    18014 |    20696
1571.24/1571.74	c 1570s |      18 |   364335 |   299352 |   146019      2 |    18014 |    20696
1573.34/1573.81	c 1572s |      18 |   364712 |   299652 |   146019      2 |    18014 |    20696
1576.14/1576.62	c 1575s |      18 |   365227 |   300052 |   146019      2 |    18014 |    20696
1578.24/1578.74	c 1577s |      18 |   365584 |   300352 |   146019      2 |    18014 |    20696
1580.35/1580.83	c 1579s |      18 |   365958 |   300652 |   146019      2 |    18014 |    20696
1582.45/1582.95	c 1581s |      18 |   366339 |   300952 |   146019      2 |    18014 |    20696
1584.54/1585.03	c 1583s |      18 |   366697 |   301252 |   146019      2 |    18014 |    20696
1586.74/1587.20	c 1585s |      18 |   367059 |   301552 |   146019      2 |    18014 |    20696
1588.84/1589.38	c 1587s |      18 |   367429 |   301852 |   146019      2 |    18014 |    20696
1591.35/1591.81	c 1590s |      18 |   367782 |   302152 |   146019      2 |    18014 |    20696
1593.34/1593.83	c 1592s |      18 |   368160 |   302452 |   146019      2 |    18014 |    20696
1595.84/1596.33	c 1594s |      18 |   368655 |   302852 |   146019      2 |    18014 |    20696
1598.04/1598.55	c 1597s |      18 |   369026 |   303152 |   146019      2 |    18014 |    20696
1600.64/1601.16	c 1599s |      18 |   369626 |   303552 |   146019      2 |    18014 |    20696
1602.84/1603.36	c 1601s |      18 |   369991 |   303852 |   146019      2 |    18014 |    20696
1605.34/1605.89	c 1604s |      18 |   370507 |   304252 |   146019      2 |    18014 |    20696
1607.84/1608.36	c 1606s |      18 |   371022 |   304652 |   146019      2 |    18014 |    20696
1609.94/1610.46	c 1609s |      18 |   371368 |   304952 |   146019      2 |    18014 |    20696
1612.64/1613.15	c 1611s |      18 |   371882 |   305352 |   146019      2 |    18014 |    20696
1614.84/1615.33	c 1613s |      18 |   372256 |   305652 |   146019      2 |    18014 |    20696
1617.04/1617.59	c 1616s |      18 |   372631 |   305952 |   146019      2 |    18014 |    20696
1619.34/1619.87	c 1618s |      18 |   372976 |   306252 |   146019      2 |    18014 |    20696
1621.64/1622.14	c 1620s |      18 |   373331 |   306552 |   146019      2 |    18014 |    20696
1623.94/1624.40	c 1622s |      18 |   373701 |   306852 |   146019      2 |    18014 |    20696
1626.03/1626.52	c 1625s |      18 |   374066 |   307152 |   146019      2 |    18014 |    20696
1628.33/1628.83	c 1627s |      18 |   374445 |   307452 |   146019      2 |    18014 |    20696
1630.43/1630.99	c 1629s |      18 |   374828 |   307752 |   146019      2 |    18014 |    20696
1632.63/1633.17	c 1631s |      18 |   375210 |   308052 |   146019      2 |    18014 |    20696
1635.43/1635.91	c 1634s |      18 |   375699 |   308452 |   146019      2 |    18014 |    20696
1638.03/1638.58	c 1637s |      18 |   376177 |   308852 |   146019      2 |    18014 |    20696
1640.74/1641.22	c 1639s |      18 |   376647 |   309252 |   146019      2 |    18014 |    20696
1643.43/1643.93	c 1642s |      18 |   377140 |   309652 |   146019      2 |    18014 |    20696
1645.63/1646.11	c 1644s |      18 |   377491 |   309952 |   146019      2 |    18014 |    20696
1648.33/1648.87	c 1647s |      18 |   377882 |   310252 |   146019      2 |    18014 |    20696
1650.74/1651.23	c 1649s |      18 |   378231 |   310552 |   146019      2 |    18014 |    20696
1653.03/1653.53	c 1652s |      18 |   378586 |   310852 |   146019      2 |    18014 |    20696
1655.43/1655.96	c 1654s |      18 |   378937 |   311152 |   146019      2 |    18014 |    20696
1657.93/1658.40	c 1656s |      18 |   379316 |   311452 |   146019      2 |    18014 |    20696
1660.43/1660.98	c 1659s |      18 |   379702 |   311752 |   146019      2 |    18014 |    20696
1663.03/1663.57	c 1662s |      18 |   380073 |   312052 |   146019      2 |    18014 |    20696
1666.04/1666.54	c 1665s |      18 |   380416 |   312352 |   146019      2 |    18014 |    20696
1668.63/1669.17	c 1667s |      18 |   380798 |   312652 |   146019      2 |    18014 |    20696
1671.43/1671.94	c 1670s |      18 |   381149 |   312952 |   146019      2 |    18014 |    20696
1674.13/1674.63	c 1673s |      18 |   381536 |   313252 |   146019      2 |    18014 |    20696
1676.23/1676.78	c 1675s |      18 |   381879 |   313552 |   146019      2 |    18014 |    20696
1678.53/1679.05	c 1677s |      18 |   382235 |   313852 |   146019      2 |    18014 |    20696
1681.23/1681.74	c 1680s |      18 |   382580 |   314152 |   146019      2 |    18014 |    20696
1683.53/1684.02	c 1682s |      18 |   382965 |   314452 |   146019      2 |    18014 |    20696
1685.93/1686.42	c 1684s |      18 |   383318 |   314752 |   146019      2 |    18014 |    20696
1688.42/1688.97	c 1687s |      18 |   383671 |   315052 |   146019      2 |    18014 |    20696
1690.62/1691.18	c 1689s |      18 |   384030 |   315352 |   146019      2 |    18014 |    20696
1692.82/1693.34	c 1691s |      18 |   384379 |   315652 |   146019      2 |    18014 |    20696
1695.32/1695.82	c 1694s |      18 |   384736 |   315952 |   146019      2 |    18014 |    20696
1697.62/1698.19	c 1696s |      18 |   385080 |   316252 |   146019      2 |    18014 |    20696
1700.02/1700.59	c 1699s |      18 |   385444 |   316552 |   146019      2 |    18014 |    20696
1702.43/1702.98	c 1701s |      18 |   385785 |   316852 |   146019      2 |    18014 |    20696
1704.82/1705.37	c 1703s |      18 |   386152 |   317152 |   146019      2 |    18014 |    20696
1707.32/1707.81	c 1706s |      18 |   386509 |   317452 |   146019      2 |    18014 |    20696
1709.72/1710.24	c 1708s |      18 |   386876 |   317752 |   146019      2 |    18014 |    20696
1712.02/1712.54	c 1711s |      18 |   387227 |   318052 |   146019      2 |    18014 |    20696
1714.53/1715.03	c 1713s |      18 |   387619 |   318352 |   146019      2 |    18014 |    20696
1717.02/1717.51	c 1716s |      18 |   387965 |   318652 |   146019      2 |    18014 |    20696
1719.82/1720.37	c 1718s |      18 |   388337 |   318952 |   146019      2 |    18014 |    20696
1722.52/1723.08	c 1721s |      18 |   388695 |   319252 |   146019      2 |    18014 |    20696
1725.32/1725.81	c 1724s |      18 |   389038 |   319552 |   146019      2 |    18014 |    20696
1727.82/1728.37	c 1726s |      18 |   389414 |   319852 |   146019      2 |    18014 |    20696
1730.32/1730.81	c 1729s |      18 |   389795 |   320152 |   146019      2 |    18014 |    20696
1732.92/1733.40	c 1731s |      18 |   390146 |   320452 |   146019      2 |    18014 |    20696
1736.92/1737.42	c 1735s |      18 |   390492 |   320752 |   146019      3 |    18014 |    20696
1739.51/1740.09	c 1738s |      18 |   390746 |   320952 |   146019      3 |    18014 |    20696
1741.81/1742.33	c 1740s |      18 |   391147 |   321252 |   146019      3 |    18014 |    20696
1744.12/1744.66	c 1743s |      18 |   391508 |   321552 |   146019      3 |    18014 |    20696
1746.61/1747.12	c 1745s |      18 |   391872 |   321852 |   146019      3 |    18014 |    20696
1748.81/1749.39	c 1747s |      18 |   392225 |   322152 |   146019      3 |    18014 |    20696
1751.41/1751.98	c 1750s |      18 |   392567 |   322452 |   146019      3 |    18014 |    20696
1753.41/1753.99	c 1752s |      18 |   392941 |   322752 |   146019      3 |    18014 |    20696
1756.01/1756.53	c 1755s |      18 |   393441 |   323152 |   146019      3 |    18014 |    20696
1758.81/1759.33	c 1757s |      18 |   393938 |   323552 |   146019      3 |    18014 |    20696
1760.81/1761.36	c 1759s |      18 |   394309 |   323852 |   146019      3 |    18014 |    20696
1763.51/1764.01	c 1762s |      18 |   394777 |   324252 |   146019      3 |    18014 |    20696
1765.71/1766.23	c 1764s |      18 |   395135 |   324552 |   146019      3 |    18014 |    20696
1768.32/1768.82	c 1767s |      18 |   395604 |   324952 |   146019      3 |    18014 |    20696
1770.81/1771.33	c 1769s |      18 |   395966 |   325252 |   146019      3 |    18014 |    20696
1773.11/1773.63	c 1772s |      18 |   396358 |   325552 |   146019      3 |    18014 |    20696
1775.21/1775.77	c 1774s |      18 |   396738 |   325852 |   146019      3 |    18014 |    20696
1777.91/1778.41	c 1776s |      18 |   397255 |   326252 |   146019      3 |    18014 |    20696
1779.91/1780.46	c 1779s |      18 |   397603 |   326552 |   146019      3 |    18014 |    20696
1782.01/1782.51	c 1781s |      18 |   397968 |   326852 |   146019      3 |    18014 |    20696
1784.21/1784.76	c 1783s |      18 |   398315 |   327152 |   146019      3 |    18014 |    20696
1786.31/1786.86	c 1785s |      18 |   398669 |   327452 |   146019      3 |    18014 |    20696
1788.71/1789.25	c 1787s |      18 |   399033 |   327752 |   146019      3 |    18014 |    20696
1791.01/1791.58	c 1790s |      18 |   399384 |   328052 |   146019      3 |    18014 |    20696
1793.11/1793.67	c 1792s |      18 |   399739 |   328352 |   146019      3 |    18014 |    20696
1795.31/1795.83	c 1794s |      18 |   400109 |   328652 |   146019      3 |    18014 |    20696
1797.80/1798.30	c 1796s |      18 |   400592 |   329052 |   146019      3 |    18014 |    20696

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.04 2.03 3/179 10737
/proc/meminfo: memFree=30030424/32872528 swapFree=496868/529572
[pid=10737] ppid=10734 vsize=736700 CPUtime=0 cores=1,3,5,7
/proc/10737/stat : 10737 (toysat) R 10734 10737 7739 0 -1 4202496 2748 0 0 0 0 0 0 0 20 0 4 0 30981811 754380800 3110 33554432000 4194304 16246674 140736552214112 140736552213536 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10737/statm: 184687 3118 441 2943 0 181581 0
[pid=10737/tid=10738] ppid=10734 vsize=753084 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10738/stat : 10738 (toysat) S 10734 10737 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30981811 771158016 3176 33554432000 4194304 16246674 140736552214112 140181079305456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10737/tid=10739] ppid=10734 vsize=758204 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10739/stat : 10739 (toysat) S 10734 10737 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30981811 776400896 3193 33554432000 4194304 16246674 140736552214112 140181068815600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10737/tid=10740] ppid=10734 vsize=762300 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10740/stat : 10740 (toysat) S 10734 10737 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30981811 780595200 3211 33554432000 4194304 16246674 140736552214112 140180954541232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.01 2.04 2.03 3/179 10737
/proc/meminfo: memFree=30030424/32872528 swapFree=496868/529572
[pid=10737] ppid=10734 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/10737/stat : 10737 (toysat) R 10734 10737 7739 0 -1 4202496 28050 0 0 0 5 3 0 0 20 0 4 0 30981811 1333334016 28350 33554432000 4194304 16246674 140736552214112 140736552213424 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10737/statm: 325521 28365 801 2943 0 322415 0
[pid=10737/tid=10738] ppid=10734 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10738/stat : 10738 (toysat) S 10734 10737 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30981811 1333334016 28376 33554432000 4194304 16246674 140736552214112 140181079305456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10737/tid=10739] ppid=10734 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10739/stat : 10739 (toysat) S 10734 10737 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30981811 1333334016 28387 33554432000 4194304 16246674 140736552214112 140181068815600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10737/tid=10740] ppid=10734 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10740/stat : 10740 (toysat) S 10734 10737 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30981811 1333334016 28399 33554432000 4194304 16246674 140736552214112 140180954541232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200525 s]
/proc/loadavg: 2.01 2.04 2.03 3/179 10737
/proc/meminfo: memFree=30030424/32872528 swapFree=496868/529572
[pid=10737] ppid=10734 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/10737/stat : 10737 (toysat) R 10734 10737 7739 0 -1 4202496 49447 0 0 0 12 7 0 0 20 0 4 0 30981811 1344868352 50257 33554432000 4194304 16246674 140736552214112 140736552213424 8055506 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10737/statm: 328337 50257 801 2943 0 325231 0
[pid=10737/tid=10738] ppid=10734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10738/stat : 10738 (toysat) S 10734 10737 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30981811 1344868352 50257 33554432000 4194304 16246674 140736552214112 140181079305456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10737/tid=10739] ppid=10734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10739/stat : 10739 (toysat) S 10734 10737 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30981811 1344868352 50257 33554432000 4194304 16246674 140736552214112 140181068815600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10737/tid=10740] ppid=10734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10740/stat : 10740 (toysat) S 10734 10737 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30981811 1344868352 50257 33554432000 4194304 16246674 140736552214112 140180954541232 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.300516 s]
/proc/loadavg: 2.01 2.04 2.03 3/179 10737
/proc/meminfo: memFree=30030424/32872528 swapFree=496868/529572
[pid=10737] ppid=10734 vsize=1313348 CPUtime=0.28 cores=1,3,5,7
/proc/10737/stat : 10737 (toysat) R 10734 10737 7739 0 -1 4202496 59852 0 0 0 20 8 0 0 20 0 4 0 30981811 1344868352 60662 33554432000 4194304 16246674 140736552214112 140736552213424 8055390 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10737/statm: 328337 60662 801 2943 0 325231 0
[pid=10737/tid=10738] ppid=10734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10738/stat : 10738 (toysat) S 10734 10737 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30981811 1344868352 60662 33554432000 4194304 16246674 140736552214112 140181079305456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10737/tid=10739] ppid=10734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10739/stat : 10739 (toysat) S 10734 10737 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30981811 1344868352 60662 33554432000 4194304 16246674 140736552214112 140181068815600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10737/tid=10740] ppid=10734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10740/stat : 10740 (toysat) S 10734 10737 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30981811 1344868352 60662 33554432000 4194304 16246674 140736552214112 140180954541232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.70041 s]
/proc/loadavg: 2.01 2.04 2.03 3/179 10737
/proc/meminfo: memFree=30030424/32872528 swapFree=496868/529572
[pid=10737] ppid=10734 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/10737/stat : 10737 (toysat) R 10734 10737 7739 0 -1 4202496 62350 0 0 0 60 9 0 0 20 0 4 0 30981811 1344868352 63160 33554432000 4194304 16246674 140736552214112 140736552211904 13008200 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10737/statm: 328337 63160 832 2943 0 325231 0
[pid=10737/tid=10738] ppid=10734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10738/stat : 10738 (toysat) S 10734 10737 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30981811 1344868352 63160 33554432000 4194304 16246674 140736552214112 140181079305456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10737/tid=10739] ppid=10734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10739/stat : 10739 (toysat) S 10734 10737 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30981811 1344868352 63160 33554432000 4194304 16246674 140736552214112 140181068815600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10737/tid=10740] ppid=10734 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10740/stat : 10740 (toysat) S 10734 10737 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30981811 1344868352 63160 33554432000 4194304 16246674 140736552214112 140180954541232 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.50043 s]
/proc/loadavg: 2.01 2.04 2.03 3/183 10741
/proc/meminfo: memFree=29562148/32872528 swapFree=496868/529572
[pid=10737] ppid=10734 vsize=1337924 CPUtime=1.48 cores=1,3,5,7
/proc/10737/stat : 10737 (toysat) R 10734 10737 7739 0 -1 4202496 130642 0 0 0 130 18 0 0 20 0 4 0 30981811 1370034176 131452 33554432000 4194304 16246674 140736552214112 140736552211904 5674844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10737/statm: 334481 131452 871 2943 0 331375 0
[pid=10737/tid=10738] ppid=10734 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10738/stat : 10738 (toysat) S 10734 10737 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30981811 1370034176 131452 33554432000 4194304 16246674 140736552214112 140181079305456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10737/tid=10739] ppid=10734 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10739/stat : 10739 (toysat) S 10734 10737 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30981811 1370034176 131452 33554432000 4194304 16246674 140736552214112 140181068815600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10737/tid=10740] ppid=10734 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10740/stat : 10740 (toysat) S 10734 10737 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30981811 1370034176 131452 33554432000 4194304 16246674 140736552214112 140180954541232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1337924

[startup+3.10043 s]
/proc/loadavg: 2.01 2.04 2.03 3/183 10741
/proc/meminfo: memFree=29232928/32872528 swapFree=496868/529572
[pid=10737] ppid=10734 vsize=1337924 CPUtime=3.09 cores=1,3,5,7
/proc/10737/stat : 10737 (toysat) R 10734 10737 7739 0 -1 4202496 275147 0 0 0 272 37 0 0 20 0 4 0 30981811 1370034176 275957 33554432000 4194304 16246674 140736552214112 140736552197112 5991508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10737/statm: 334481 275957 886 2943 0 331375 0
[pid=10737/tid=10738] ppid=10734 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10738/stat : 10738 (toysat) S 10734 10737 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30981811 1370034176 275957 33554432000 4194304 16246674 140736552214112 140181079305456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10737/tid=10739] ppid=10734 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10739/stat : 10739 (toysat) S 10734 10737 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30981811 1370034176 275957 33554432000 4194304 16246674 140736552214112 140181068815600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10737/tid=10740] ppid=10734 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10740/stat : 10740 (toysat) S 10734 10737 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30981811 1370034176 275957 33554432000 4194304 16246674 140736552214112 140180954541232 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) 1337924

[startup+6.30043 s]
/proc/loadavg: 2.01 2.04 2.03 3/183 10741
/proc/meminfo: memFree=28927724/32872528 swapFree=496868/529572
[pid=10737] ppid=10734 vsize=1337924 CPUtime=6.29 cores=1,3,5,7
/proc/10737/stat : 10737 (toysat) R 10734 10737 7739 0 -1 4202496 275154 0 0 0 592 37 0 0 20 0 4 0 30981811 1370034176 275964 33554432000 4194304 16246674 140736552214112 140736552213424 5675461 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10737/statm: 334481 275964 890 2943 0 331375 0
[pid=10737/tid=10738] ppid=10734 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10738/stat : 10738 (toysat) S 10734 10737 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30981811 1370034176 275964 33554432000 4194304 16246674 140736552214112 140181079305456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10737/tid=10739] ppid=10734 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10739/stat : 10739 (toysat) S 10734 10737 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30981811 1370034176 275964 33554432000 4194304 16246674 140736552214112 140181068815600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10737/tid=10740] ppid=10734 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10740/stat : 10740 (toysat) S 10734 10737 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30981811 1370034176 275964 33554432000 4194304 16246674 140736552214112 140180954541232 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) 1337924

[startup+12.7004 s]
/proc/loadavg: 2.01 2.04 2.03 3/183 10741
/proc/meminfo: memFree=28927912/32872528 swapFree=496868/529572
[pid=10737] ppid=10734 vsize=1337924 CPUtime=12.69 cores=1,3,5,7
/proc/10737/stat : 10737 (toysat) R 10734 10737 7739 0 -1 4202496 275154 0 0 0 1232 37 0 0 20 0 4 0 30981811 1370034176 275964 33554432000 4194304 16246674 140736552214112 140736552196032 5674919 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10737/statm: 334481 275964 890 2943 0 331375 0
[pid=10737/tid=10738] ppid=10734 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10738/stat : 10738 (toysat) S 10734 10737 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30981811 1370034176 275964 33554432000 4194304 16246674 140736552214112 140181079305456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10737/tid=10739] ppid=10734 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10739/stat : 10739 (toysat) S 10734 10737 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30981811 1370034176 275964 33554432000 4194304 16246674 140736552214112 140181068815600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10737/tid=10740] ppid=10734 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10740/stat : 10740 (toysat) S 10734 10737 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30981811 1370034176 275964 33554432000 4194304 16246674 140736552214112 140180954541232 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) 1337924

[startup+25.5005 s]
/proc/loadavg: 2.01 2.03 2.03 3/183 10741
/proc/meminfo: memFree=28928276/32872528 swapFree=496868/529572
[pid=10737] ppid=10734 vsize=1337924 CPUtime=25.48 cores=1,3,5,7
/proc/10737/stat : 10737 (toysat) R 10734 10737 7739 0 -1 4202496 275158 0 0 0 2511 37 0 0 20 0 4 0 30981811 1370034176 275968 33554432000 4194304 16246674 140736552214112 140736552196032 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10737/statm: 334481 275968 892 2943 0 331375 0
[pid=10737/tid=10738] ppid=10734 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10738/stat : 10738 (toysat) S 10734 10737 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30981811 1370034176 275968 33554432000 4194304 16246674 140736552214112 140181079305456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10737/tid=10739] ppid=10734 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10739/stat : 10739 (toysat) S 10734 10737 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30981811 1370034176 275968 33554432000 4194304 16246674 140736552214112 140181068815600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10737/tid=10740] ppid=10734 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10740/stat : 10740 (toysat) S 10734 10737 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30981811 1370034176 275968 33554432000 4194304 16246674 140736552214112 140180954541232 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) 1337924

[startup+51.1005 s]
/proc/loadavg: 2.00 2.03 2.03 3/183 10741
/proc/meminfo: memFree=28928104/32872528 swapFree=496868/529572
[pid=10737] ppid=10734 vsize=1337924 CPUtime=51.08 cores=1,3,5,7
/proc/10737/stat : 10737 (toysat) R 10734 10737 7739 0 -1 4202496 275158 0 0 0 5071 37 0 0 20 0 4 0 30981811 1370034176 275968 33554432000 4194304 16246674 140736552214112 140736552196032 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10737/statm: 334481 275968 892 2943 0 331375 0
[pid=10737/tid=10738] ppid=10734 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10738/stat : 10738 (toysat) S 10734 10737 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30981811 1370034176 275968 33554432000 4194304 16246674 140736552214112 140181079305456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10737/tid=10739] ppid=10734 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10739/stat : 10739 (toysat) S 10734 10737 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30981811 1370034176 275968 33554432000 4194304 16246674 140736552214112 140181068815600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10737/tid=10740] ppid=10734 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10740/stat : 10740 (toysat) S 10734 10737 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30981811 1370034176 275968 33554432000 4194304 16246674 140736552214112 140180954541232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1337924

[startup+102.301 s]
/proc/loadavg: 2.00 2.02 2.02 3/183 10742
/proc/meminfo: memFree=28930260/32872528 swapFree=496868/529572
[pid=10737] ppid=10734 vsize=1337924 CPUtime=102.28 cores=1,3,5,7
/proc/10737/stat : 10737 (toysat) R 10734 10737 7739 0 -1 4202496 275160 0 0 0 10191 37 0 0 20 0 4 0 30981811 1370034176 275970 33554432000 4194304 16246674 140736552214112 140736552196032 6837238 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10737/statm: 334481 275970 893 2943 0 331375 0
[pid=10737/tid=10738] ppid=10734 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10738/stat : 10738 (toysat) S 10734 10737 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30981811 1370034176 275970 33554432000 4194304 16246674 140736552214112 140181079305456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10737/tid=10739] ppid=10734 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10739/stat : 10739 (toysat) S 10734 10737 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30981811 1370034176 275970 33554432000 4194304 16246674 140736552214112 140181068815600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10737/tid=10740] ppid=10734 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10740/stat : 10740 (toysat) S 10734 10737 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30981811 1370034176 275970 33554432000 4194304 16246674 140736552214112 140180954541232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1337924


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

/proc/10737/task/10740/stat : 10740 (toysat) S 10734 10737 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140180954541232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1394244

[startup+1362.3 s]
/proc/loadavg: 1.96 2.01 2.00 3/180 11559
/proc/meminfo: memFree=29874764/32872528 swapFree=496868/529572
[pid=10737] ppid=10734 vsize=1394244 CPUtime=1361.91 cores=1,3,5,7
/proc/10737/stat : 10737 (toysat) R 10734 10737 7739 0 -1 4202496 289546 0 0 0 136149 42 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140736552196032 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10737/statm: 348561 290306 893 2943 0 345455 0
[pid=10737/tid=10738] ppid=10734 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10738/stat : 10738 (toysat) S 10734 10737 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140181079305456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10737/tid=10739] ppid=10734 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10739/stat : 10739 (toysat) S 10734 10737 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140181068815600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10737/tid=10740] ppid=10734 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10740/stat : 10740 (toysat) S 10734 10737 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140180954541232 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) 1394244

[startup+1422.3 s]
/proc/loadavg: 1.98 2.00 2.00 4/183 11902
/proc/meminfo: memFree=28905548/32872528 swapFree=496868/529572
[pid=10737] ppid=10734 vsize=1394244 CPUtime=1421.89 cores=1,3,5,7
/proc/10737/stat : 10737 (toysat) R 10734 10737 7739 0 -1 4202496 289573 0 0 0 142146 43 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140736552196032 5823835 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10737/statm: 348561 290306 893 2943 0 345455 0
[pid=10737/tid=10738] ppid=10734 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10738/stat : 10738 (toysat) S 10734 10737 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140181079305456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10737/tid=10739] ppid=10734 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10739/stat : 10739 (toysat) S 10734 10737 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140181068815600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10737/tid=10740] ppid=10734 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10740/stat : 10740 (toysat) S 10734 10737 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140180954541232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1394244

[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/184 11906
/proc/meminfo: memFree=28905220/32872528 swapFree=496868/529572
[pid=10737] ppid=10734 vsize=1394244 CPUtime=1481.86 cores=1,3,5,7
/proc/10737/stat : 10737 (toysat) R 10734 10737 7739 0 -1 4202496 289594 0 0 0 148143 43 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140736552196032 5672213 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10737/statm: 348561 290306 893 2943 0 345455 0
[pid=10737/tid=10738] ppid=10734 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10738/stat : 10738 (toysat) S 10734 10737 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140181079305456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10737/tid=10739] ppid=10734 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10739/stat : 10739 (toysat) S 10734 10737 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140181068815600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10737/tid=10740] ppid=10734 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10740/stat : 10740 (toysat) S 10734 10737 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140180954541232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1394244

[startup+1542.31 s]
/proc/loadavg: 2.11 2.03 2.00 3/184 11930
/proc/meminfo: memFree=28905820/32872528 swapFree=496868/529572
[pid=10737] ppid=10734 vsize=1394244 CPUtime=1541.85 cores=1,3,5,7
/proc/10737/stat : 10737 (toysat) R 10734 10737 7739 0 -1 4202496 289594 0 0 0 154142 43 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140736552196032 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10737/statm: 348561 290306 893 2943 0 345455 0
[pid=10737/tid=10738] ppid=10734 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10738/stat : 10738 (toysat) S 10734 10737 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140181079305456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10737/tid=10739] ppid=10734 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10739/stat : 10739 (toysat) S 10734 10737 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140181068815600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10737/tid=10740] ppid=10734 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10740/stat : 10740 (toysat) S 10734 10737 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140180954541232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1394244

[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.00 4/183 11931
/proc/meminfo: memFree=28861216/32872528 swapFree=496868/529572
[pid=10737] ppid=10734 vsize=1394244 CPUtime=1601.84 cores=1,3,5,7
/proc/10737/stat : 10737 (toysat) R 10734 10737 7739 0 -1 4202496 289594 0 0 0 160141 43 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140736552196032 5823682 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10737/statm: 348561 290306 893 2943 0 345455 0
[pid=10737/tid=10738] ppid=10734 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10738/stat : 10738 (toysat) S 10734 10737 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140181079305456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10737/tid=10739] ppid=10734 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10739/stat : 10739 (toysat) S 10734 10737 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140181068815600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10737/tid=10740] ppid=10734 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10740/stat : 10740 (toysat) S 10734 10737 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140180954541232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1394244

[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 11933
/proc/meminfo: memFree=28860516/32872528 swapFree=496868/529572
[pid=10737] ppid=10734 vsize=1394244 CPUtime=1661.83 cores=1,3,5,7
/proc/10737/stat : 10737 (toysat) R 10734 10737 7739 0 -1 4202496 289594 0 0 0 166140 43 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140736552196032 5600384 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10737/statm: 348561 290306 893 2943 0 345455 0
[pid=10737/tid=10738] ppid=10734 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10738/stat : 10738 (toysat) S 10734 10737 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140181079305456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10737/tid=10739] ppid=10734 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10739/stat : 10739 (toysat) S 10734 10737 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140181068815600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10737/tid=10740] ppid=10734 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10740/stat : 10740 (toysat) S 10734 10737 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140180954541232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1394244

[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 11934
/proc/meminfo: memFree=28860296/32872528 swapFree=496868/529572
[pid=10737] ppid=10734 vsize=1394244 CPUtime=1721.82 cores=1,3,5,7
/proc/10737/stat : 10737 (toysat) R 10734 10737 7739 0 -1 4202496 289594 0 0 0 172139 43 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140736552196032 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10737/statm: 348561 290306 893 2943 0 345455 0
[pid=10737/tid=10738] ppid=10734 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10738/stat : 10738 (toysat) S 10734 10737 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140181079305456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10737/tid=10739] ppid=10734 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10739/stat : 10739 (toysat) S 10734 10737 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140181068815600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10737/tid=10740] ppid=10734 vsize=1394244 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10740/stat : 10740 (toysat) S 10734 10737 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30981811 1427705856 290306 33554432000 4194304 16246674 140736552214112 140180954541232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1394244

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 4/183 11935
/proc/meminfo: memFree=28855364/32872528 swapFree=496868/529572
[pid=10737] ppid=10734 vsize=1399364 CPUtime=1781.81 cores=1,3,5,7
/proc/10737/stat : 10737 (toysat) R 10734 10737 7739 0 -1 4202496 290752 0 0 0 178138 43 0 0 20 0 4 0 30981811 1432948736 291464 33554432000 4194304 16246674 140736552214112 140736552196032 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10737/statm: 349841 291464 893 2943 0 346735 0
[pid=10737/tid=10738] ppid=10734 vsize=1399364 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10738/stat : 10738 (toysat) S 10734 10737 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30981811 1432948736 291464 33554432000 4194304 16246674 140736552214112 140181079305456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10737/tid=10739] ppid=10734 vsize=1399364 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10739/stat : 10739 (toysat) S 10734 10737 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30981811 1432948736 291464 33554432000 4194304 16246674 140736552214112 140181068815600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10737/tid=10740] ppid=10734 vsize=1399364 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10740/stat : 10740 (toysat) S 10734 10737 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30981811 1432948736 291464 33554432000 4194304 16246674 140736552214112 140180954541232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1399364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 11936
/proc/meminfo: memFree=28855348/32872528 swapFree=496868/529572
[pid=10737] ppid=10734 vsize=1399364 CPUtime=1800 cores=1,3,5,7
/proc/10737/stat : 10737 (toysat) R 10734 10737 7739 0 -1 4202496 290752 0 0 0 179957 43 0 0 20 0 4 0 30981811 1432948736 291464 33554432000 4194304 16246674 140736552214112 140736552196032 5523139 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10737/statm: 349841 291464 893 2943 0 346735 0
[pid=10737/tid=10738] ppid=10734 vsize=1399364 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10738/stat : 10738 (toysat) S 10734 10737 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30981811 1432948736 291464 33554432000 4194304 16246674 140736552214112 140181079305456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10737/tid=10739] ppid=10734 vsize=1399364 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10739/stat : 10739 (toysat) S 10734 10737 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30981811 1432948736 291464 33554432000 4194304 16246674 140736552214112 140181068815600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10737/tid=10740] ppid=10734 vsize=1399364 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10740/stat : 10740 (toysat) S 10734 10737 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30981811 1432948736 291464 33554432000 4194304 16246674 140736552214112 140180954541232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1399364

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

[startup+1800.5 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 11936
/proc/meminfo: memFree=28855348/32872528 swapFree=496868/529572
[pid=10737] ppid=10734 vsize=1399364 CPUtime=1800 cores=1,3,5,7
/proc/10737/stat : 10737 (toysat) R 10734 10737 7739 0 -1 4202496 290752 0 0 0 179957 43 0 0 20 0 4 0 30981811 1432948736 291464 33554432000 4194304 16246674 140736552214112 140736552196032 5523139 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10737/statm: 349841 291464 893 2943 0 346735 0
[pid=10737/tid=10738] ppid=10734 vsize=1399364 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10738/stat : 10738 (toysat) S 10734 10737 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30981811 1432948736 291464 33554432000 4194304 16246674 140736552214112 140181079305456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10737/tid=10739] ppid=10734 vsize=1399364 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10739/stat : 10739 (toysat) S 10734 10737 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30981811 1432948736 291464 33554432000 4194304 16246674 140736552214112 140181068815600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10737/tid=10740] ppid=10734 vsize=1399364 CPUtime=0 cores=1,3,5,7
/proc/10737/task/10740/stat : 10740 (toysat) S 10734 10737 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30981811 1432948736 291464 33554432000 4194304 16246674 140736552214112 140180954541232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1399364

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.58
CPU system time (s): 0.437933
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 1399364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.437933
maximum resident set size= 1165856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290752
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= 376
involuntary context switches= 1833

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.48832 second user time and 7.02993 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-19 00:36:04
IDJOB=4107845
IDBENCH=73572
IDSOLVER=2542
FILE ID=node141/4107845-1466289364
RUNJOBID= node141-1466264081-7756
PBS_JOBID= 19918217
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12038_8-unsat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107845-1466289364/watcher-4107845-1466289364 -o /tmp/evaluation-result-4107845-1466289364/solver-4107845-1466289364 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107845-1466289364.opb

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

MD5SUM BENCH= a4c61139e0eb75a13e9da4d40232e606
RANDOM SEED=759940745

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30030952 kB
Buffers:          167560 kB
Cached:           276844 kB
SwapCached:         2528 kB
Active:          1276840 kB
Inactive:         287928 kB
Active(anon):    1120544 kB
Inactive(anon):     2028 kB
Active(file):     156296 kB
Inactive(file):   285900 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099068 kB
Dirty:             19432 kB
Writeback:             4 kB
AnonPages:       1647916 kB
Mapped:            10688 kB
Shmem:                 0 kB
Slab:             611056 kB
SReclaimable:      54648 kB
SUnreclaim:       556408 kB
KernelStack:        1496 kB
PageTables:         7436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1792892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     43008 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= 71692 MiB
End job on node141 at 2016-06-19 01:06:04