Trace number 4100473

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.04 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-usAbbrv.8.25_70.opb
MD5SUM825fd1904b2d777401b7be7f08c7951c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-5
Best CPU time to get the best result obtained on this benchmark179.208
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20611
Total number of constraints3921
Number of constraints which are clauses563
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3358
Minimum length of a constraint4
Maximum length of a constraint61
Number of terms in the objective function 135
Biggest coefficient in the objective function 262118
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 524354
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262118
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524354
Number of bits of the biggest sum of numbers20
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-18T03:59:06+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-4100473-1466215146.opb"]
0.00/0.01	c use --random-gen="1311229055 2356650747 3291629165 758054994 4031935676 3981733407 2429839022 2235636298 2947125455 3927326948 2590463969 630232434 3642844190 2403966141 1324815996 3467298745 240691972 2765656307 156536366 3934005416 504103278 1362651483 305856393 1860830620 2896361528 3019884221 2105231444 2371613325 776981684 1761419362 1115434757 2432220859 2906056615 3269323271 217210765 2536308230 2230854014 2251954124 319617309 702745643 3432377778 868191132 2859320912 2911654399 901764740 3758376236 262233326 2306198705 2143768084 4254864216 214033795 4146266871 3575067307 3599999925 4171377560 409749683 2465052168 3964300845 484556841 1947378820 3114564257 4241850625 1090098867 2778387601 3046771538 133752794 2384689875 2652970666 4262436486 905380937 1460351532 3647664119 2419907977 516379615 1347649330 1065621289 887468164 3447284040 9817291 1878851962 3867531004 3449458419 2304463796 1152792848 42284683 3392664923 3566884220 2480372015 2081019877 3652465766 524180745 592800062 3917534973 3210958606 3205162868 1134234615 1597363374 176153765 3166969109 1374208088 2037405944 1488055347 4101759774 3118465353 3227927490 1200907467 2187979196 2640233499 3194527081 1847603033 2971973397 1056382690 1716234105 3930254259 3176989867 2383325099 4064407117 921604889 2084581142 4085045358 2575787099 2573011995 3614593049 3839711949 2464719164 464915877 1585770965 467578457 674718419 1952175567 3294544170 3827469010 3106427620 2589134884 526624313 288420908 1305467730 85871787 3652552096 2366585485 313514493 446873139 1544923930 2323017171 2348527268 606254325 720945045 248889779 2917744390 144474447 1613740243 2204063919 694258045 1350749733 1508221014 2792707510 1825320356 1340956464 276789988 1052262683 3747525666 3666697236 3631912667 2713671557 4083085600 1529928752 99321923 2265986355 3528369124 2504958228 1312497376 1384272426 365984565 1556632484 2012208621 2048020366 2707144380 3852204969 3140303237 1948242305 2065988713 4283779813 2010634458 519420623 3106805295 1764681027 3468102952 2818345042 4035637075 2593301640 1875897177 2341245079 2368326368 2098320243 1723604039 2999953576 4059508698 3750921896 1650795803 1195336622 2379715026 3112575260 557278939 855849848 3329638518 2691116670 4239404269 572942435 4195853306 1736208290 1243082002 246635346 3775392494 3001167818 2173043482 1295753457 2689800074 2393545143 1966333306 1220179830 3522659847 109865386 3873369158 215607507 1881936751 1850072669 3827066767 1829277275 1439807308 3360852815 160376735 2207383543 1574595978 267216966 3651338657 1787736662 3880501090 3304155729 791425773 2045310665 3543598806 529721713 3419699791 3424500979 4091212406 1296682448 776588911 1580316892 4117574431 1929601875 543835266 2995023107 1650713995 1410348060 4029290437 3786389854 255 362436" option to reproduce the execution
0.29/0.34	c #vars 20611
0.29/0.34	c #constraints 3921
7.89/7.99	c BCD2: Hardening is enabled.
7.89/7.99	c BCD2: BiasedSearch is enabled.
7.89/7.99	c Solving starts ...
7.89/7.99	c ============================[ Search Statistics ]============================
7.89/7.99	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.89/7.99	c       |         |          |          |    Limit     GC | Var      | Constra 
7.89/7.99	c =============================================================================
7.89/7.99	c  0.0s |       0 |        0 |        0 |     8177      0 |       13 |        0
7.99/8.02	c  0.0s |       1 |      972 |      100 |     8177      0 |       13 |        0
7.99/8.06	c  0.1s |       2 |     2038 |      250 |     8995      0 |       13 |        0
8.08/8.10	c  0.1s |       3 |     2275 |      475 |     9895      0 |       13 |        0
8.08/8.19	c  0.2s |       4 |     3569 |      813 |    10885      0 |       13 |        0
8.28/8.30	c  0.3s |       5 |     5476 |     1320 |    11974      0 |       13 |        0
8.38/8.45	c  0.5s |       6 |     8505 |     2081 |    14490      0 |       13 |        0
8.58/8.69	c  0.7s |       7 |     9783 |     3223 |    15940      0 |       13 |        0
9.18/9.22	c  1.2s |       8 |    11586 |     4936 |    17534      0 |       13 |        0
9.89/9.95	c  2.0s |       9 |    16582 |     7506 |    19288      0 |       13 |        0
10.88/10.93	c  2.9s |      10 |    22138 |    11361 |    21217      0 |       13 |        0
12.38/12.43	c  4.4s |      11 |    33414 |    17144 |    23339      0 |       13 |        0
14.39/14.45	c  6.5s |      11 |    40366 |    24044 |    23339      1 |       13 |        0
14.98/15.09	c  7.1s |      12 |    42192 |    25819 |    25673      1 |       13 |        0
17.08/17.10	c  9.1s |      12 |    52020 |    32119 |    25673      1 |       13 |        0
19.08/19.17	c 11.2s |      12 |    57635 |    36919 |    25673      1 |       13 |        0
20.18/20.23	c 12.2s |      13 |    59910 |    38832 |    28241      1 |       13 |        0
22.18/22.25	c 14.3s |      13 |    70357 |    47132 |    28241      2 |       13 |        0
24.19/24.30	c 16.3s |      13 |    76177 |    52932 |    28241      2 |       13 |        0
26.28/26.33	c 18.3s |      13 |    80192 |    56932 |    28241      2 |       13 |        0
27.18/27.26	c 19.3s |      14 |    81620 |    58352 |    31066      3 |       13 |        0
29.18/29.28	c 21.3s |      14 |    84962 |    61652 |    31066      3 |       13 |        0
31.18/31.29	c 23.3s |      14 |    91056 |    65952 |    31066      3 |       13 |        0
33.28/33.30	c 25.3s |      14 |    97901 |    72752 |    31066      3 |       13 |        0
35.28/35.31	c 27.3s |      14 |   102515 |    77352 |    31066      4 |       13 |        0
37.28/37.36	c 29.4s |      14 |   106236 |    81052 |    31066      4 |       13 |        0
39.38/39.40	c 31.4s |      14 |   110262 |    85052 |    31066      4 |       13 |        0
40.88/40.97	c 33.0s |      15 |   112856 |    87632 |    34173      4 |       13 |        0
42.99/43.04	c 35.0s |      15 |   114690 |    89432 |    34173      4 |       13 |        0
44.98/45.10	c 37.1s |      15 |   116993 |    91732 |    34173      4 |       13 |        0
47.08/47.14	c 39.2s |      15 |   119204 |    93932 |    34173      5 |       13 |        0
49.08/49.18	c 41.2s |      15 |   122423 |    97132 |    34173      5 |       13 |        0
51.18/51.20	c 43.2s |      15 |   125131 |    99832 |    34173      5 |       13 |        0
53.18/53.28	c 45.3s |      15 |   127340 |   102032 |    34173      5 |       13 |        0
55.28/55.35	c 47.4s |      15 |   129355 |   104032 |    34173      5 |       13 |        0
57.28/57.37	c 49.4s |      15 |   131161 |   105832 |    34173      5 |       13 |        0
59.67/59.74	c 51.8s |      15 |   134063 |   107632 |    34173      5 |       13 |        0
61.69/61.76	c 53.8s |      15 |   144704 |   116032 |    34173      6 |       13 |        0
63.68/63.78	c 55.8s |      15 |   150748 |   122032 |    34173      6 |       13 |        0
65.78/65.81	c 57.8s |      15 |   155169 |   126432 |    34173      6 |       13 |        0
67.88/67.96	c 60.0s |      15 |   158781 |   130032 |    34173      7 |       13 |        0
69.08/69.15	c 61.2s |      16 |   160307 |   131552 |    37591      7 |       13 |        0
71.07/71.18	c 63.2s |      16 |   171329 |   140052 |    37591      7 |       13 |        0
73.17/73.20	c 65.2s |      16 |   176554 |   145252 |    37591      7 |       13 |        0
75.17/75.23	c 67.2s |      16 |   180274 |   148952 |    37591      7 |       13 |        0
77.17/77.26	c 69.3s |      16 |   183880 |   152552 |    37591      8 |       13 |        0
79.18/79.28	c 71.3s |      16 |   187206 |   155852 |    37591      8 |       13 |        0
81.27/81.30	c 73.3s |      16 |   189817 |   158452 |    37591      8 |       13 |        0
83.27/83.37	c 75.4s |      16 |   192029 |   160652 |    37591      8 |       13 |        0
85.37/85.48	c 77.5s |      16 |   193936 |   162552 |    37591      8 |       13 |        0
87.47/87.58	c 79.6s |      16 |   195749 |   164352 |    37591      8 |       13 |        0
89.57/89.62	c 81.6s |      16 |   197968 |   166552 |    37591      8 |       13 |        0
91.57/91.63	c 83.6s |      16 |   200883 |   169452 |    37591      8 |       13 |        0
93.57/93.65	c 85.7s |      16 |   202487 |   171052 |    37591      9 |       13 |        0
95.56/95.68	c 87.7s |      16 |   205499 |   174052 |    37591      9 |       13 |        0
97.66/97.70	c 89.7s |      16 |   208011 |   176552 |    37591      9 |       13 |        0
99.66/99.73	c 91.7s |      16 |   210329 |   178852 |    37591      9 |       13 |        0
101.76/101.81	c 93.8s |      16 |   212834 |   181352 |    37591      9 |       13 |        0
103.76/103.82	c 95.8s |      16 |   214740 |   183252 |    37591      9 |       13 |        0
105.86/105.94	c 98.0s |      16 |   215853 |   184352 |    37591      9 |       13 |        0
107.86/107.95	c 100.0s |      16 |   218056 |   186552 |    37591      9 |       13 |        0
109.96/110.05	c  102s |      16 |   220164 |   188652 |    37591      9 |       13 |        0
114.05/114.16	c  106s |      16 |   221066 |   189552 |    37591     10 |       13 |        0
116.06/116.17	c  108s |      16 |   223680 |   192152 |    37591     10 |       13 |        0
118.06/118.18	c  110s |      16 |   225996 |   194452 |    37591     10 |       13 |        0
120.16/120.22	c  112s |      16 |   227914 |   196352 |    41351     10 |       13 |        0
121.25/121.36	c  113s |      17 |   228999 |   197432 |    41351     10 |       13 |        0
125.05/125.18	c  117s |      17 |   229709 |   197632 |    41351     10 |       13 |        0
127.05/127.19	c  119s |      17 |   239301 |   205032 |    41351     10 |       13 |        0
129.15/129.21	c  121s |      17 |   244186 |   209832 |    41351     10 |       13 |        0
131.15/131.24	c  123s |      17 |   248037 |   213632 |    41351     11 |       13 |        0
133.15/133.25	c  125s |      17 |   252003 |   217532 |    41351     11 |       13 |        0
135.15/135.25	c  127s |      17 |   255733 |   221232 |    41351     11 |       13 |        0
137.25/137.32	c  129s |      17 |   258855 |   224332 |    41351     11 |       13 |        0
139.25/139.36	c  131s |      17 |   262182 |   227632 |    41351     11 |       13 |        0
141.34/141.40	c  133s |      17 |   265493 |   230932 |    41351     11 |       13 |        0
144.05/144.15	c  136s |      17 |   267406 |   232832 |    41351     12 |       13 |        0
146.04/146.16	c  138s |      17 |   270217 |   235632 |    41351     12 |       13 |        0
148.14/148.26	c  140s |      17 |   272531 |   237932 |    41351     12 |       13 |        0
150.24/150.31	c  142s |      17 |   274746 |   240132 |    41351     12 |       13 |        0
152.24/152.33	c  144s |      17 |   277252 |   242632 |    41351     12 |       13 |        0
154.24/154.35	c  146s |      17 |   279664 |   245032 |    41351     12 |       13 |        0
156.25/156.39	c  148s |      17 |   281784 |   247132 |    41351     12 |       13 |        0
158.35/158.41	c  150s |      17 |   284195 |   249532 |    41351     12 |       13 |        0
160.34/160.48	c  152s |      17 |   286108 |   251432 |    41351     12 |       13 |        0
162.44/162.54	c  154s |      17 |   287816 |   253132 |    41351     12 |       13 |        0
164.44/164.58	c  156s |      17 |   288820 |   254132 |    41351     13 |       13 |        0
166.53/166.63	c  158s |      17 |   291733 |   257032 |    41351     13 |       13 |        0
168.64/168.76	c  160s |      17 |   292561 |   257832 |    41351     13 |       13 |        0
170.84/170.91	c  162s |      17 |   294001 |   259232 |    41351     13 |       13 |        0
172.84/172.97	c  164s |      17 |   295607 |   260832 |    41351     13 |       13 |        0
174.95/175.09	c  167s |      17 |   297313 |   262532 |    41351     13 |       13 |        0
177.05/177.12	c  169s |      17 |   298949 |   264132 |    41351     13 |       13 |        0
179.04/179.13	c  171s |      17 |   302004 |   266732 |    41351     13 |       13 |        0
181.64/181.71	c  173s |      17 |   304487 |   268732 |    41351     13 |       13 |        0
183.75/183.81	c  175s |      17 |   305839 |   270032 |    41351     13 |       13 |        0
185.84/185.92	c  177s |      17 |   307026 |   271132 |    41351     13 |       13 |        0
187.94/188.00	c  180s |      17 |   308094 |   272132 |    41351     13 |       13 |        0
189.94/190.06	c  182s |      17 |   309181 |   273132 |    41351     13 |       13 |        0
192.13/192.23	c  184s |      17 |   310107 |   274032 |    41351     13 |       13 |        0
195.53/195.63	c  187s |      17 |   310776 |   274632 |    41351     14 |       13 |        0
197.53/197.68	c  189s |      17 |   312032 |   275832 |    41351     14 |       13 |        0
199.93/200.01	c  192s |      17 |   313674 |   277432 |    41351     14 |       13 |        0
201.93/202.01	c  194s |      17 |   315827 |   279532 |    41351     14 |       13 |        0
203.93/204.06	c  196s |      17 |   317973 |   281632 |    41351     14 |       13 |        0
205.92/206.07	c  198s |      17 |   320178 |   283832 |    41351     14 |       13 |        0
208.02/208.10	c  200s |      17 |   321990 |   285632 |    41351     14 |       13 |        0
210.03/210.19	c  202s |      17 |   324004 |   287632 |    41351     14 |       13 |        0
212.23/212.35	c  204s |      17 |   326009 |   289632 |    41351     14 |       13 |        0
214.62/214.70	c  206s |      17 |   327621 |   291232 |    41351     14 |       13 |        0
216.63/216.74	c  208s |      17 |   329284 |   292732 |    41351     14 |       13 |        0
218.72/218.84	c  210s |      17 |   330601 |   294032 |    41351     14 |       13 |        0
220.72/220.87	c  212s |      17 |   331911 |   295332 |    45487     14 |       13 |        0
221.92/222.05	c  214s |      18 |   332834 |   296252 |    45487     14 |       13 |        0
223.92/224.05	c  216s |      18 |   333978 |   297352 |    45487     14 |       13 |        0
226.12/226.21	c  218s |      18 |   335378 |   298752 |    45487     14 |       13 |        0
228.12/228.22	c  220s |      18 |   338322 |   301652 |    45487     15 |       13 |        0
230.12/230.25	c  222s |      18 |   344651 |   307952 |    45487     15 |       13 |        0
232.22/232.30	c  224s |      18 |   348174 |   311452 |    45487     15 |       13 |        0
234.22/234.38	c  226s |      18 |   350288 |   313552 |    45487     15 |       13 |        0
236.22/236.39	c  228s |      18 |   352300 |   315552 |    45487     15 |       13 |        0
238.31/238.44	c  230s |      18 |   354214 |   317452 |    45487     15 |       13 |        0
240.41/240.50	c  232s |      18 |   355837 |   319052 |    45487     15 |       13 |        0
242.41/242.51	c  234s |      18 |   358356 |   321552 |    45487     15 |       13 |        0
244.42/244.56	c  236s |      18 |   360373 |   323552 |    45487     16 |       13 |        0
246.52/246.60	c  238s |      18 |   362787 |   325952 |    45487     16 |       13 |        0
248.53/248.60	c  240s |      18 |   364992 |   328152 |    45487     16 |       13 |        0
250.52/250.67	c  242s |      18 |   367412 |   330552 |    45487     16 |       13 |        0
252.62/252.70	c  244s |      18 |   369424 |   332552 |    45487     16 |       13 |        0
254.62/254.71	c  246s |      18 |   371326 |   334452 |    45487     16 |       13 |        0
256.62/256.72	c  248s |      18 |   372937 |   336052 |    45487     16 |       13 |        0
258.72/258.89	c  250s |      18 |   374645 |   337752 |    45487     16 |       13 |        0
260.82/260.92	c  252s |      18 |   376062 |   339152 |    45487     16 |       13 |        0
262.82/262.98	c  254s |      18 |   377467 |   340552 |    45487     16 |       13 |        0
264.92/265.04	c  257s |      18 |   378877 |   341952 |    45487     16 |       13 |        0
267.02/267.11	c  259s |      18 |   380385 |   343452 |    45487     16 |       13 |        0
269.92/270.01	c  262s |      18 |   381788 |   344852 |    45487     17 |       13 |        0
272.51/272.64	c  264s |      18 |   382879 |   345752 |    45487     17 |       13 |        0
274.51/274.66	c  266s |      18 |   393017 |   353552 |    45487     17 |       13 |        0
276.51/276.66	c  268s |      18 |   399615 |   358852 |    45487     17 |       13 |        0
278.51/278.68	c  270s |      18 |   410736 |   366752 |    45487     17 |       13 |        0
280.61/280.70	c  272s |      18 |   416699 |   372652 |    45487     18 |       13 |        0
282.61/282.72	c  274s |      18 |   420908 |   376852 |    45487     18 |       13 |        0
284.61/284.75	c  276s |      18 |   424320 |   380252 |    45487     18 |       13 |        0
286.61/286.80	c  278s |      18 |   427235 |   383152 |    45487     18 |       13 |        0
288.71/288.86	c  280s |      18 |   430056 |   385952 |    45487     18 |       13 |        0
290.80/290.94	c  282s |      18 |   432762 |   388652 |    45487     18 |       13 |        0
292.80/292.97	c  284s |      18 |   434975 |   390852 |    45487     18 |       13 |        0
294.81/294.98	c  286s |      18 |   436881 |   392752 |    45487     18 |       13 |        0
296.80/296.99	c  288s |      18 |   438688 |   394552 |    45487     19 |       13 |        0
298.90/299.04	c  291s |      18 |   440401 |   396252 |    45487     19 |       13 |        0
301.01/301.12	c  293s |      18 |   442410 |   398252 |    45487     19 |       13 |        0
303.01/303.18	c  295s |      18 |   445911 |   401152 |    45487     19 |       13 |        0
305.11/305.22	c  297s |      18 |   448831 |   403652 |    45487     19 |       13 |        0
307.11/307.29	c  299s |      18 |   451431 |   405652 |    45487     19 |       13 |        0
309.21/309.35	c  301s |      18 |   453896 |   407552 |    45487     19 |       13 |        0
311.21/311.39	c  303s |      18 |   456970 |   409952 |    45487     19 |       13 |        0
313.31/313.45	c  305s |      18 |   459534 |   412052 |    45487     19 |       13 |        0
315.41/315.51	c  307s |      18 |   462217 |   414352 |    45487     19 |       13 |        0
317.40/317.53	c  309s |      18 |   465008 |   416252 |    45487     19 |       13 |        0
319.70/319.82	c  311s |      18 |   466712 |   417552 |    45487     20 |       13 |        0
321.70/321.84	c  313s |      18 |   470786 |   420752 |    45487     20 |       13 |        0
323.70/323.88	c  315s |      18 |   474317 |   423652 |    45487     20 |       13 |        0
325.80/325.91	c  317s |      18 |   477384 |   426052 |    45487     20 |       13 |        0
327.81/327.98	c  319s |      18 |   480390 |   428552 |    45487     20 |       13 |        0
329.91/330.02	c  322s |      18 |   483695 |   431052 |    45487     20 |       13 |        0
332.00/332.11	c  324s |      18 |   486726 |   433352 |    45487     20 |       13 |        0
334.10/334.22	c  326s |      18 |   489508 |   435552 |    45487     20 |       13 |        0
336.10/336.26	c  328s |      18 |   492101 |   437452 |    45487     20 |       13 |        0
338.10/338.27	c  330s |      18 |   494472 |   439352 |    45487     20 |       13 |        0
340.80/340.96	c  332s |      18 |   496415 |   441052 |    45487     21 |       13 |        0
342.90/343.06	c  335s |      18 |   497141 |   441652 |    50036     21 |       13 |        0
344.90/345.07	c  337s |      18 |   500009 |   444052 |    50036     21 |       13 |        0
345.30/345.43	c  337s |      19 |   500604 |   444482 |    50036     21 |       13 |        0
347.29/347.44	c  339s |      19 |   505961 |   447482 |    50036     21 |       13 |        0
349.29/349.45	c  341s |      19 |   515846 |   455682 |    50036     21 |       13 |        0
351.29/351.46	c  343s |      19 |   520774 |   460582 |    50036     21 |       13 |        0
353.29/353.47	c  345s |      19 |   525099 |   464882 |    50036     21 |       13 |        0
355.39/355.54	c  347s |      19 |   528717 |   468482 |    50036     21 |       13 |        0
357.40/357.56	c  349s |      19 |   531428 |   471182 |    50036     21 |       13 |        0
359.39/359.58	c  351s |      19 |   534139 |   473882 |    50036     22 |       13 |        0
361.39/361.59	c  353s |      19 |   542240 |   480282 |    50036     22 |       13 |        0
363.39/363.59	c  355s |      19 |   550698 |   487382 |    50036     22 |       13 |        0
365.39/365.59	c  357s |      19 |   556090 |   492582 |    50036     22 |       13 |        0
367.49/367.60	c  359s |      19 |   560977 |   496982 |    50036     22 |       13 |        0
369.49/369.65	c  361s |      19 |   564493 |   500382 |    50036     23 |       13 |        0
371.49/371.69	c  363s |      19 |   567504 |   503182 |    50036     23 |       13 |        0
373.59/373.75	c  365s |      19 |   570501 |   505982 |    50036     23 |       13 |        0
375.58/375.76	c  367s |      19 |   572909 |   508182 |    50036     23 |       13 |        0
377.58/377.79	c  369s |      19 |   575504 |   510682 |    50036     23 |       13 |        0
379.58/379.79	c  371s |      19 |   577653 |   512782 |    50036     23 |       13 |        0
381.78/381.97	c  373s |      19 |   579268 |   514282 |    50036     23 |       13 |        0
383.89/384.04	c  376s |      19 |   580991 |   515882 |    50036     23 |       13 |        0
385.99/386.14	c  378s |      19 |   582896 |   517782 |    50036     23 |       13 |        0
388.08/388.20	c  380s |      19 |   584645 |   519482 |    50036     23 |       13 |        0
390.08/390.27	c  382s |      19 |   586378 |   521182 |    50036     23 |       13 |        0
392.28/392.44	c  384s |      19 |   587707 |   522282 |    50036     23 |       13 |        0
394.38/394.56	c  386s |      19 |   588912 |   523382 |    50036     23 |       13 |        0
396.48/396.62	c  388s |      19 |   590412 |   524882 |    50036     23 |       13 |        0
400.39/400.53	c  392s |      19 |   591459 |   525882 |    50036     24 |       13 |        0
402.38/402.57	c  394s |      19 |   592313 |   526682 |    50036     24 |       13 |        0
404.48/404.67	c  396s |      19 |   594321 |   528682 |    50036     24 |       13 |        0
406.68/406.87	c  398s |      19 |   596162 |   530482 |    50036     24 |       13 |        0
408.78/408.96	c  400s |      19 |   598187 |   532482 |    50036     24 |       13 |        0
422.58/422.78	c  414s |      19 |   598349 |   532582 |    50036     24 |       13 |        0
424.87/425.04	c  417s |      19 |   599518 |   533482 |    50036     24 |       13 |        0
426.98/427.15	c  419s |      19 |   601516 |   535382 |    50036     24 |       13 |        0
428.98/429.18	c  421s |      19 |   603366 |   537182 |    50036     24 |       13 |        0
431.08/431.21	c  423s |      19 |   605016 |   538782 |    50036     24 |       13 |        0
433.07/433.26	c  425s |      19 |   606573 |   540282 |    50036     24 |       13 |        0
435.17/435.39	c  427s |      19 |   607977 |   541682 |    50036     24 |       13 |        0
437.27/437.40	c  429s |      19 |   609180 |   542882 |    50036     24 |       13 |        0
439.37/439.51	c  431s |      19 |   610318 |   543982 |    50036     24 |       13 |        0
441.37/441.58	c  433s |      19 |   611825 |   545482 |    50036     24 |       13 |        0
443.66/443.83	c  435s |      19 |   613005 |   546482 |    50036     24 |       13 |        0
445.77/445.98	c  437s |      19 |   613751 |   547082 |    50036     24 |       13 |        0
447.86/448.00	c  440s |      19 |   615419 |   548682 |    50036     24 |       13 |        0
449.87/450.00	c  442s |      19 |   617018 |   550182 |    50036     24 |       13 |        0
451.97/452.11	c  444s |      19 |   618780 |   551882 |    50036     24 |       13 |        0
459.86/460.08	c  452s |      19 |   619878 |   552982 |    50036     25 |       13 |        0
462.96/463.12	c  455s |      19 |   620219 |   553282 |    50036     25 |       13 |        0
464.95/465.18	c  457s |      19 |   622468 |   555482 |    50036     25 |       13 |        0
467.05/467.28	c  459s |      19 |   624584 |   557582 |    50036     25 |       13 |        0
469.15/469.38	c  461s |      19 |   626282 |   559282 |    50036     25 |       13 |        0
471.25/471.45	c  463s |      19 |   628123 |   561082 |    50036     25 |       13 |        0
473.25/473.46	c  465s |      19 |   631985 |   564782 |    50036     25 |       13 |        0
475.25/475.49	c  467s |      19 |   637714 |   570482 |    50036     25 |       13 |        0
477.25/477.50	c  469s |      19 |   642657 |   574682 |    50036     25 |       13 |        0
479.35/479.55	c  471s |      19 |   646117 |   577782 |    50036     25 |       13 |        0
481.44/481.65	c  473s |      19 |   648968 |   580382 |    50036     26 |       13 |        0
483.44/483.69	c  475s |      19 |   651568 |   582682 |    50036     26 |       13 |        0
485.54/485.70	c  477s |      19 |   653770 |   584682 |    50036     26 |       13 |        0
487.54/487.72	c  479s |      19 |   655727 |   586482 |    50036     26 |       13 |        0
489.64/489.83	c  481s |      19 |   657596 |   588182 |    50036     26 |       13 |        0
491.64/491.84	c  483s |      19 |   659364 |   589782 |    50036     26 |       13 |        0
493.64/493.87	c  485s |      19 |   661101 |   591382 |    50036     26 |       13 |        0
495.74/495.90	c  487s |      19 |   662827 |   592982 |    50036     26 |       13 |        0
497.74/497.92	c  489s |      19 |   666607 |   595282 |    50036     26 |       13 |        0
499.74/499.94	c  491s |      19 |   673980 |   601382 |    50036     26 |       13 |        0
501.73/501.95	c  493s |      19 |   678929 |   605782 |    50036     27 |       13 |        0
503.74/503.96	c  495s |      19 |   683291 |   609682 |    50036     27 |       13 |        0
505.84/506.03	c  498s |      19 |   687050 |   612982 |    50036     27 |       13 |        0
507.83/508.06	c  500s |      19 |   690370 |   615982 |    50036     27 |       13 |        0
509.83/510.08	c  502s |      19 |   693311 |   618682 |    50036     27 |       13 |        0
511.93/512.11	c  504s |      19 |   695769 |   620882 |    50036     27 |       13 |        0
514.03/514.20	c  506s |      19 |   698238 |   623182 |    50036     27 |       13 |        0
516.03/516.23	c  508s |      19 |   700152 |   624982 |    50036     27 |       13 |        0
518.13/518.30	c  510s |      19 |   701917 |   626682 |    50036     27 |       13 |        0
520.14/520.34	c  512s |      19 |   703412 |   628082 |    50036     27 |       13 |        0
522.23/522.42	c  514s |      19 |   705335 |   629582 |    50036     27 |       13 |        0
524.44/524.64	c  516s |      19 |   707039 |   630982 |    50036     28 |       13 |        0
526.53/526.71	c  518s |      19 |   708283 |   631982 |    50036     28 |       13 |        0
528.53/528.77	c  520s |      19 |   710982 |   634482 |    50036     28 |       13 |        0
530.53/530.79	c  522s |      19 |   713134 |   636282 |    50036     28 |       13 |        0
532.63/532.86	c  524s |      19 |   715339 |   638082 |    50036     28 |       13 |        0
534.73/534.94	c  526s |      19 |   717617 |   640082 |    50036     28 |       13 |        0
536.74/536.95	c  528s |      19 |   719724 |   641982 |    50036     28 |       13 |        0
538.73/538.97	c  530s |      19 |   721736 |   643882 |    50036     28 |       13 |        0
540.73/540.97	c  532s |      19 |   722366 |   644482 |    50036     28 |       13 |        0
542.73/542.99	c  535s |      19 |   724089 |   645982 |    50036     28 |       13 |        0
544.93/545.13	c  537s |      19 |   725568 |   647282 |    50036     28 |       13 |        0
546.93/547.17	c  539s |      19 |   726954 |   648582 |    50036     28 |       13 |        0
549.03/549.24	c  541s |      19 |   728392 |   649982 |    50036     28 |       13 |        0
551.23/551.48	c  543s |      19 |   729945 |   651482 |    50036     28 |       13 |        0
553.32/553.55	c  545s |      19 |   731186 |   652682 |    50036     28 |       13 |        0
555.43/555.65	c  547s |      19 |   732311 |   653782 |    50036     28 |       13 |        0
557.42/557.68	c  549s |      19 |   733261 |   654682 |    50036     28 |       13 |        0
559.52/559.79	c  551s |      19 |   734736 |   656082 |    50036     28 |       13 |        0
562.82/563.05	c  555s |      19 |   735152 |   656482 |    50036     29 |       13 |        0
565.72/565.97	c  557s |      19 |   735565 |   656882 |    50036     29 |       13 |        0
567.92/568.13	c  560s |      19 |   737896 |   659082 |    50036     29 |       13 |        0
570.02/570.23	c  562s |      19 |   740307 |   661382 |    50036     29 |       13 |        0
575.31/575.54	c  567s |      19 |   742242 |   662982 |    55040     29 |       13 |        0
577.32/577.58	c  569s |      19 |   744641 |   665082 |    55040     29 |       13 |        0
578.91/579.12	c  571s |      20 |   746579 |   666827 |    55040     29 |       13 |        0
580.91/581.14	c  573s |      20 |   753645 |   672727 |    55040     29 |       13 |        0
582.92/583.16	c  575s |      20 |   757958 |   677027 |    55040     29 |       13 |        0
584.91/585.18	c  577s |      20 |   761989 |   681027 |    55040     29 |       13 |        0
587.01/587.24	c  579s |      20 |   765612 |   684627 |    55040     29 |       13 |        0
589.21/589.43	c  581s |      20 |   768424 |   687427 |    55040     30 |       13 |        0
591.21/591.48	c  583s |      20 |   770636 |   689627 |    55040     30 |       13 |        0
593.31/593.58	c  585s |      20 |   772641 |   691627 |    55040     30 |       13 |        0
595.41/595.64	c  587s |      20 |   774357 |   693327 |    55040     30 |       13 |        0
597.51/597.75	c  589s |      20 |   776071 |   695027 |    55040     30 |       13 |        0
599.51/599.76	c  591s |      20 |   777577 |   696527 |    55040     30 |       13 |        0
601.61/601.80	c  593s |      20 |   778782 |   697727 |    55040     30 |       13 |        0
603.60/603.86	c  595s |      20 |   780089 |   699027 |    55040     30 |       13 |        0
605.60/605.89	c  597s |      20 |   781695 |   700627 |    55040     30 |       13 |        0
607.80/608.04	c  600s |      20 |   782897 |   701827 |    55040     30 |       13 |        0
609.90/610.15	c  602s |      20 |   783998 |   702927 |    55040     30 |       13 |        0
612.00/612.22	c  604s |      20 |   785112 |   704027 |    55040     30 |       13 |        0
614.00/614.27	c  606s |      20 |   786118 |   705027 |    55040     30 |       13 |        0
616.10/616.39	c  608s |      20 |   787225 |   706127 |    55040     30 |       13 |        0
618.30/618.53	c  610s |      20 |   788329 |   707227 |    55040     30 |       13 |        0
620.40/620.69	c  612s |      20 |   789431 |   708327 |    55040     30 |       13 |        0
622.69/622.90	c  614s |      20 |   790537 |   709427 |    55040     30 |       13 |        0
624.70/624.99	c  617s |      20 |   791645 |   710527 |    55040     30 |       13 |        0
626.69/627.00	c  619s |      20 |   792755 |   711627 |    55040     30 |       13 |        0
628.79/629.01	c  621s |      20 |   793963 |   712827 |    55040     30 |       13 |        0
630.79/631.08	c  623s |      20 |   795173 |   714027 |    55040     30 |       13 |        0
632.89/633.18	c  625s |      20 |   796382 |   715227 |    55040     30 |       13 |        0
635.89/636.10	c  628s |      20 |   797087 |   715927 |    55040     31 |       13 |        0
637.90/638.15	c  630s |      20 |   798098 |   716927 |    55040     31 |       13 |        0
640.99/641.23	c  633s |      20 |   799296 |   718127 |    55040     31 |       13 |        0
643.09/643.32	c  635s |      20 |   800603 |   719427 |    55040     31 |       13 |        0
645.19/645.43	c  637s |      20 |   801807 |   720627 |    55040     31 |       13 |        0
647.19/647.48	c  639s |      20 |   803314 |   722127 |    55040     31 |       13 |        0
649.29/649.50	c  641s |      20 |   805129 |   723927 |    55040     31 |       13 |        0
651.29/651.55	c  643s |      20 |   806629 |   725427 |    55040     31 |       13 |        0
653.38/653.68	c  645s |      20 |   808230 |   727027 |    55040     31 |       13 |        0
655.49/655.73	c  647s |      20 |   809537 |   728327 |    55040     31 |       13 |        0
657.48/657.76	c  649s |      20 |   810744 |   729527 |    55040     31 |       13 |        0
659.48/659.77	c  651s |      20 |   811843 |   730627 |    55040     31 |       13 |        0
661.68/661.96	c  653s |      20 |   812860 |   731627 |    55040     31 |       13 |        0
663.78/664.03	c  656s |      20 |   813958 |   732727 |    55040     31 |       13 |        0
665.88/666.16	c  658s |      20 |   815168 |   733927 |    55040     31 |       13 |        0
667.88/668.17	c  660s |      20 |   816072 |   734827 |    55040     31 |       13 |        0
670.08/670.31	c  662s |      20 |   817085 |   735827 |    55040     31 |       13 |        0
672.07/672.37	c  664s |      20 |   818085 |   736827 |    55040     31 |       13 |        0
674.27/674.53	c  666s |      20 |   818987 |   737727 |    55040     31 |       13 |        0
676.47/676.74	c  668s |      20 |   819989 |   738727 |    55040     31 |       13 |        0
678.58/678.81	c  670s |      20 |   821090 |   739827 |    55040     31 |       13 |        0
691.47/691.73	c  683s |      20 |   821401 |   740127 |    55040     31 |       13 |        0
693.67/693.96	c  685s |      20 |   822401 |   741127 |    55040     31 |       13 |        0
695.67/695.99	c  688s |      20 |   823306 |   742027 |    55040     31 |       13 |        0
697.77/698.07	c  690s |      20 |   824312 |   743027 |    55040     31 |       13 |        0
699.77/700.08	c  692s |      20 |   825318 |   744027 |    55040     31 |       13 |        0
702.37/702.63	c  694s |      20 |   825718 |   744427 |    55040     32 |       13 |        0
705.16/705.45	c  697s |      20 |   826420 |   745127 |    55040     32 |       13 |        0
707.17/707.48	c  699s |      20 |   828132 |   746827 |    55040     32 |       13 |        0
709.27/709.57	c  701s |      20 |   829839 |   748527 |    55040     32 |       13 |        0
711.26/711.58	c  703s |      20 |   831741 |   750427 |    55040     32 |       13 |        0
713.46/713.70	c  705s |      20 |   832255 |   750927 |    55040     32 |       13 |        0
715.46/715.70	c  707s |      20 |   833460 |   752127 |    55040     32 |       13 |        0
717.46/717.73	c  709s |      20 |   834571 |   753227 |    55040     32 |       13 |        0
719.66/719.91	c  711s |      20 |   836175 |   754827 |    55040     32 |       13 |        0
721.66/721.99	c  714s |      20 |   837781 |   756427 |    55040     32 |       13 |        0
723.86/724.16	c  716s |      20 |   839183 |   757827 |    55040     32 |       13 |        0
725.96/726.23	c  718s |      20 |   840287 |   758927 |    55040     32 |       13 |        0
727.96/728.27	c  720s |      20 |   841398 |   760027 |    55040     32 |       13 |        0
730.16/730.43	c  722s |      20 |   842710 |   761327 |    55040     32 |       13 |        0
732.26/732.56	c  724s |      20 |   844213 |   762827 |    55040     32 |       13 |        0
734.26/734.59	c  726s |      20 |   845321 |   763927 |    55040     32 |       13 |        0
736.36/736.66	c  728s |      20 |   846329 |   764927 |    55040     32 |       13 |        0
738.46/738.75	c  730s |      20 |   847330 |   765927 |    55040     32 |       13 |        0
740.56/740.86	c  732s |      20 |   848335 |   766927 |    55040     32 |       13 |        0
742.66/742.97	c  734s |      20 |   849446 |   768027 |    55040     32 |       13 |        0
744.86/745.15	c  737s |      20 |   850554 |   769127 |    55040     32 |       13 |        0
746.96/747.28	c  739s |      20 |   851550 |   770127 |    55040     32 |       13 |        0
749.16/749.42	c  741s |      20 |   852357 |   770927 |    55040     32 |       13 |        0
751.16/751.49	c  743s |      20 |   853158 |   771727 |    55040     32 |       13 |        0
753.26/753.51	c  745s |      20 |   854062 |   772627 |    55040     32 |       13 |        0
756.16/756.43	c  748s |      20 |   854162 |   772727 |    55040     33 |       13 |        0
776.85/777.12	c  769s |      20 |   854765 |   773327 |    55040     33 |       13 |        0
778.85/779.13	c  771s |      20 |   856578 |   775127 |    55040     33 |       13 |        0
780.95/781.21	c  773s |      20 |   858182 |   776727 |    55040     33 |       13 |        0
783.06/783.31	c  775s |      20 |   859493 |   778027 |    55040     33 |       13 |        0
785.05/785.36	c  777s |      20 |   860699 |   779227 |    55040     33 |       13 |        0
787.15/787.42	c  779s |      20 |   862004 |   780527 |    55040     33 |       13 |        0
789.25/789.51	c  781s |      20 |   863114 |   781627 |    55040     33 |       13 |        0
791.45/791.73	c  783s |      20 |   864316 |   782827 |    55040     33 |       13 |        0
793.55/793.84	c  785s |      20 |   865419 |   783927 |    55040     33 |       13 |        0
795.95/796.28	c  788s |      20 |   866330 |   784827 |    55040     33 |       13 |        0
798.15/798.44	c  790s |      20 |   867435 |   785927 |    55040     33 |       13 |        0
800.15/800.47	c  792s |      20 |   868437 |   786927 |    55040     33 |       13 |        0
802.25/802.59	c  794s |      20 |   869445 |   787927 |    55040     33 |       13 |        0
804.35/804.69	c  796s |      20 |   870353 |   788827 |    55040     33 |       13 |        0
806.55/806.82	c  798s |      20 |   871360 |   789827 |    55040     33 |       13 |        0
808.55/808.86	c  800s |      20 |   872462 |   790927 |    55040     33 |       13 |        0
810.75/811.00	c  803s |      20 |   873568 |   792027 |    55040     33 |       13 |        0
812.76/813.04	c  805s |      20 |   874369 |   792827 |    55040     33 |       13 |        0
814.86/815.20	c  807s |      20 |   875277 |   793727 |    55040     33 |       13 |        0
816.95/817.30	c  809s |      20 |   876084 |   794527 |    55040     33 |       13 |        0
819.15/819.44	c  811s |      20 |   876787 |   795227 |    55040     33 |       13 |        0
821.25/821.56	c  813s |      20 |   877389 |   795827 |    55040     33 |       13 |        0
829.74/830.07	c  822s |      20 |   877795 |   796227 |    55040     33 |       13 |        0
831.74/832.07	c  824s |      20 |   878899 |   797327 |    55040     33 |       13 |        0
833.74/834.08	c  826s |      20 |   880007 |   798427 |    55040     33 |       13 |        0
835.94/836.20	c  828s |      20 |   881214 |   799627 |    55040     33 |       13 |        0
837.95/838.22	c  830s |      20 |   882316 |   800727 |    55040     33 |       13 |        0
843.15/843.45	c  835s |      20 |   882720 |   801127 |    55040     34 |       13 |        0
845.75/846.05	c  838s |      20 |   882932 |   801327 |    55040     34 |       13 |        0
847.85/848.14	c  840s |      20 |   885135 |   803527 |    55040     34 |       13 |        0
850.05/850.35	c  842s |      20 |   886443 |   804827 |    55040     34 |       13 |        0
852.14/852.42	c  844s |      20 |   888051 |   806427 |    55040     34 |       13 |        0
854.14/854.44	c  846s |      20 |   889857 |   808227 |    55040     34 |       13 |        0
856.24/856.54	c  848s |      20 |   891970 |   810327 |    55040     34 |       13 |        0
868.13/868.42	c  860s |      20 |   892576 |   810927 |    55040     34 |       13 |        0
870.13/870.49	c  862s |      20 |   893887 |   812227 |    55040     34 |       13 |        0
872.23/872.50	c  864s |      20 |   895100 |   813427 |    55040     34 |       13 |        0
874.34/874.63	c  866s |      20 |   896604 |   814927 |    55040     34 |       13 |        0
876.33/876.67	c  868s |      20 |   898116 |   816427 |    55040     34 |       13 |        0
878.43/878.76	c  870s |      20 |   899420 |   817727 |    55040     34 |       13 |        0
880.43/880.77	c  872s |      20 |   900628 |   818927 |    55040     34 |       13 |        0
882.63/882.92	c  874s |      20 |   901929 |   820227 |    55040     34 |       13 |        0
884.83/885.12	c  877s |      20 |   902935 |   821227 |    55040     34 |       13 |        0
887.04/887.33	c  879s |      20 |   904038 |   822327 |    55040     34 |       13 |        0
889.04/889.34	c  881s |      20 |   905044 |   823327 |    55040     34 |       13 |        0
891.04/891.36	c  883s |      20 |   906054 |   824327 |    55040     34 |       13 |        0
893.14/893.40	c  885s |      20 |   907060 |   825327 |    55040     34 |       13 |        0
895.34/895.62	c  887s |      20 |   907964 |   826227 |    55040     34 |       13 |        0
897.34/897.65	c  889s |      20 |   908669 |   826927 |    55040     34 |       13 |        0
899.44/899.73	c  891s |      20 |   909480 |   827727 |    55040     34 |       13 |        0
901.44/901.75	c  893s |      20 |   910680 |   828927 |    55040     34 |       13 |        0
904.33/904.63	c  896s |      20 |   911289 |   829527 |    55040     35 |       13 |        0
906.33/906.67	c  898s |      20 |   912194 |   830427 |    55040     35 |       13 |        0
908.34/908.68	c  900s |      20 |   912892 |   831127 |    55040     35 |       13 |        0
910.43/910.71	c  902s |      20 |   915207 |   833427 |    55040     35 |       13 |        0
912.43/912.77	c  904s |      20 |   917218 |   835427 |    55040     35 |       13 |        0
914.83/915.10	c  907s |      20 |   917629 |   835827 |    55040     35 |       13 |        0
916.83/917.13	c  909s |      20 |   919126 |   837327 |    55040     35 |       13 |        0
918.93/919.22	c  911s |      20 |   919530 |   837727 |    55040     35 |       13 |        0
930.93/931.25	c  923s |      20 |   921037 |   839227 |    55040     35 |       13 |        0
933.03/933.32	c  925s |      20 |   922340 |   840527 |    55040     35 |       13 |        0
935.12/935.44	c  927s |      20 |   923544 |   841727 |    55040     35 |       13 |        0
937.12/937.49	c  929s |      20 |   924749 |   842927 |    55040     35 |       13 |        0
939.32/939.68	c  931s |      20 |   925950 |   844127 |    55040     35 |       13 |        0
941.33/941.68	c  933s |      20 |   927257 |   845427 |    55040     35 |       13 |        0
943.42/943.74	c  935s |      20 |   928564 |   846727 |    55040     35 |       13 |        0
945.52/945.81	c  937s |      20 |   929676 |   847827 |    55040     35 |       13 |        0
947.52/947.83	c  939s |      20 |   931177 |   849327 |    55040     35 |       13 |        0
949.72/950.02	c  942s |      20 |   932976 |   851127 |    55040     35 |       13 |        0
951.82/952.14	c  944s |      20 |   934385 |   852527 |    55040     35 |       13 |        0
953.92/954.28	c  946s |      20 |   935695 |   853827 |    55040     35 |       13 |        0
956.02/956.34	c  948s |      20 |   936903 |   855027 |    55040     35 |       13 |        0
958.12/958.47	c  950s |      20 |   937915 |   856027 |    55040     35 |       13 |        0
960.22/960.56	c  952s |      20 |   939216 |   857327 |    55040     35 |       13 |        0
962.93/963.22	c  955s |      20 |   939920 |   858027 |    55040     36 |       13 |        0
964.92/965.28	c  957s |      20 |   940023 |   858127 |    55040     36 |       13 |        0
967.42/967.74	c  959s |      20 |   941527 |   859627 |    55040     36 |       13 |        0
969.42/969.79	c  961s |      20 |   942935 |   861027 |    55040     36 |       13 |        0
971.52/971.88	c  963s |      20 |   944752 |   862827 |    55040     36 |       13 |        0
973.62/973.93	c  965s |      20 |   946459 |   864527 |    55040     36 |       13 |        0
975.62/975.99	c  967s |      20 |   948365 |   866427 |    55040     36 |       13 |        0
977.73/978.04	c  970s |      20 |   949973 |   868027 |    55040     36 |       13 |        0
979.83/980.18	c  972s |      20 |   951584 |   869627 |    55040     36 |       13 |        0
981.92/982.21	c  974s |      20 |   952993 |   871027 |    55040     36 |       13 |        0
983.92/984.24	c  976s |      20 |   954394 |   872427 |    55040     36 |       13 |        0
986.02/986.33	c  978s |      20 |   955795 |   873827 |    55040     36 |       13 |        0
988.02/988.37	c  980s |      20 |   957101 |   875127 |    55040     36 |       13 |        0
990.22/990.53	c  982s |      20 |   958314 |   876327 |    55040     36 |       13 |        0
992.32/992.64	c  984s |      20 |   959417 |   877427 |    55040     36 |       13 |        0
994.32/994.67	c  986s |      20 |   960520 |   878527 |    55040     36 |       13 |        0
996.52/996.86	c  988s |      20 |   961623 |   879627 |    55040     36 |       13 |        0
998.52/998.90	c  990s |      20 |   962427 |   880427 |    55040     36 |       13 |        0
1000.62/1000.93	c  992s |      20 |   963332 |   881327 |    55040     36 |       13 |        0
1002.82/1003.17	c  995s |      20 |   964235 |   882227 |    55040     36 |       13 |        0
1005.02/1005.35	c  997s |      20 |   965039 |   883027 |    55040     36 |       13 |        0
1007.22/1007.53	c  999s |      20 |   965848 |   883827 |    55040     36 |       13 |        0
1009.42/1009.77	c 1001s |      20 |   966750 |   884727 |    55040     36 |       13 |        0
1011.72/1012.09	c 1004s |      20 |   967651 |   885627 |    55040     36 |       13 |        0
1017.42/1017.74	c 1009s |      20 |   968453 |   886427 |    55040     37 |       13 |        0
1022.01/1022.36	c 1014s |      20 |   969365 |   887327 |    55040     37 |       13 |        0
1024.11/1024.43	c 1016s |      20 |   971570 |   889527 |    55040     37 |       13 |        0
1026.21/1026.56	c 1018s |      20 |   973473 |   891427 |    55040     37 |       13 |        0
1028.32/1028.66	c 1020s |      20 |   975083 |   893027 |    55040     37 |       13 |        0
1030.31/1030.67	c 1022s |      20 |   976288 |   894227 |    55040     37 |       13 |        0
1032.31/1032.68	c 1024s |      20 |   977493 |   895427 |    55040     37 |       13 |        0
1034.41/1034.70	c 1026s |      20 |   978897 |   896827 |    55040     37 |       13 |        0
1038.02/1038.39	c 1030s |      20 |   980515 |   898427 |    55040     37 |       13 |        0
1040.12/1040.40	c 1032s |      20 |   982018 |   899927 |    55040     37 |       13 |        0
1042.12/1042.40	c 1034s |      20 |   983323 |   901227 |    55040     37 |       13 |        0
1044.22/1044.53	c 1036s |      20 |   984830 |   902727 |    55040     37 |       13 |        0
1046.22/1046.59	c 1038s |      20 |   986236 |   904127 |    55040     37 |       13 |        0
1048.42/1048.70	c 1040s |      20 |   987550 |   905427 |    55040     37 |       13 |        0
1050.42/1050.71	c 1042s |      20 |   988451 |   906327 |    55040     37 |       13 |        0
1052.52/1052.81	c 1044s |      20 |   989761 |   907627 |    55040     37 |       13 |        0
1054.81/1055.12	c 1047s |      20 |   990572 |   908427 |    55040     37 |       13 |        0
1056.92/1057.22	c 1049s |      20 |   991478 |   909327 |    55040     37 |       13 |        0
1059.02/1059.38	c 1051s |      20 |   992484 |   910327 |    55040     37 |       13 |        0
1061.32/1061.63	c 1053s |      20 |   993488 |   911327 |    55040     37 |       13 |        0
1063.42/1063.73	c 1055s |      20 |   994292 |   912127 |    55040     37 |       13 |        0
1065.41/1065.78	c 1057s |      20 |   995194 |   913027 |    55040     37 |       13 |        0
1067.61/1067.95	c 1059s |      20 |   996194 |   914027 |    55040     37 |       13 |        0
1070.51/1070.89	c 1062s |      20 |   997001 |   914827 |    55040     38 |       13 |        0
1072.61/1072.91	c 1064s |      20 |   997801 |   915627 |    55040     38 |       13 |        0
1074.71/1075.00	c 1067s |      20 |   999311 |   917127 |    55040     38 |       13 |        0
1076.71/1077.02	c 1069s |      20 |  1001116 |   918927 |    55040     38 |       13 |        0
1079.01/1079.30	c 1071s |      20 |  1002429 |   920227 |    55040     38 |       13 |        0
1081.01/1081.34	c 1073s |      20 |  1004034 |   921827 |    55040     38 |       13 |        0
1083.01/1083.35	c 1075s |      20 |  1005743 |   923527 |    55040     38 |       13 |        0
1085.01/1085.38	c 1077s |      20 |  1007351 |   925127 |    55040     38 |       13 |        0
1087.10/1087.41	c 1079s |      20 |  1009155 |   926927 |    55040     38 |       13 |        0
1089.10/1089.47	c 1081s |      20 |  1010970 |   928727 |    55040     38 |       13 |        0
1091.10/1091.48	c 1083s |      20 |  1012677 |   930427 |    55040     38 |       13 |        0
1093.21/1093.54	c 1085s |      20 |  1014287 |   932027 |    55040     38 |       13 |        0
1095.31/1095.64	c 1087s |      20 |  1015490 |   933227 |    55040     38 |       13 |        0
1097.40/1097.70	c 1089s |      20 |  1016795 |   934527 |    55040     38 |       13 |        0
1099.40/1099.73	c 1091s |      20 |  1018200 |   935927 |    55040     38 |       13 |        0
1101.40/1101.73	c 1093s |      20 |  1019615 |   937327 |    55040     38 |       13 |        0
1103.50/1103.80	c 1095s |      20 |  1020812 |   938527 |    55040     38 |       13 |        0
1112.40/1112.70	c 1104s |      20 |  1021424 |   939127 |    55040     38 |       13 |        0
1114.50/1114.81	c 1106s |      20 |  1022221 |   939927 |    55040     38 |       13 |        0
1116.70/1117.02	c 1109s |      20 |  1022924 |   940627 |    55040     38 |       13 |        0
1118.80/1119.15	c 1111s |      20 |  1023535 |   941227 |    55040     38 |       13 |        0
1120.90/1121.28	c 1113s |      20 |  1024139 |   941827 |    55040     38 |       13 |        0
1123.20/1123.53	c 1115s |      20 |  1025040 |   942727 |    55040     38 |       13 |        0
1128.90/1129.26	c 1121s |      20 |  1025543 |   943227 |    55040     39 |       13 |        0
1132.71/1133.06	c 1125s |      20 |  1026049 |   943727 |    55040     39 |       13 |        0
1134.70/1135.08	c 1127s |      20 |  1027151 |   944827 |    55040     39 |       13 |        0
1136.80/1137.13	c 1129s |      20 |  1029067 |   946727 |    55040     39 |       13 |        0
1139.70/1140.03	c 1132s |      20 |  1029969 |   947627 |    55040     39 |       13 |        0
1141.70/1142.04	c 1134s |      20 |  1031376 |   949027 |    55040     39 |       13 |        0
1143.80/1144.14	c 1136s |      20 |  1033090 |   950727 |    55040     39 |       13 |        0
1145.90/1146.25	c 1138s |      20 |  1034597 |   952227 |    55040     39 |       13 |        0
1148.00/1148.37	c 1140s |      20 |  1035804 |   953427 |    55040     39 |       13 |        0
1151.89/1152.29	c 1144s |      20 |  1037112 |   954727 |    55040     39 |       13 |        0
1154.09/1154.41	c 1146s |      20 |  1038614 |   956227 |    55040     39 |       13 |        0
1156.19/1156.59	c 1148s |      20 |  1040014 |   957627 |    55040     39 |       13 |        0
1158.39/1158.71	c 1150s |      20 |  1041223 |   958827 |    55040     39 |       13 |        0
1160.39/1160.72	c 1152s |      20 |  1042630 |   960227 |    55040     39 |       13 |        0
1162.40/1162.75	c 1154s |      20 |  1043735 |   961327 |    55040     39 |       13 |        0
1164.60/1164.91	c 1156s |      20 |  1044946 |   962527 |    55040     39 |       13 |        0
1166.69/1167.04	c 1159s |      20 |  1046048 |   963627 |    55040     39 |       13 |        0
1168.89/1169.23	c 1161s |      20 |  1047254 |   964827 |    55040     39 |       13 |        0
1170.89/1171.24	c 1163s |      20 |  1048458 |   966027 |    55040     39 |       13 |        0
1172.99/1173.33	c 1165s |      20 |  1049869 |   967427 |    55040     39 |       13 |        0
1174.99/1175.38	c 1167s |      20 |  1050477 |   968027 |    55040     39 |       13 |        0
1176.99/1177.38	c 1169s |      20 |  1051377 |   968927 |    55040     39 |       13 |        0
1179.19/1179.51	c 1171s |      20 |  1052384 |   969927 |    55040     39 |       13 |        0
1181.20/1181.57	c 1173s |      20 |  1053385 |   970927 |    55040     39 |       13 |        0
1184.79/1185.11	c 1177s |      20 |  1054087 |   971627 |    55040     40 |       13 |        0
1186.89/1187.20	c 1179s |      20 |  1054495 |   972027 |    55040     40 |       13 |        0
1188.99/1189.35	c 1181s |      20 |  1056201 |   973727 |    55040     40 |       13 |        0
1191.09/1191.47	c 1183s |      20 |  1057913 |   975427 |    55040     40 |       13 |        0
1193.19/1193.53	c 1185s |      20 |  1059415 |   976927 |    55040     40 |       13 |        0
1195.39/1195.71	c 1187s |      20 |  1060525 |   978027 |    55040     40 |       13 |        0
1197.49/1197.89	c 1189s |      20 |  1061931 |   979427 |    55040     40 |       13 |        0
1199.59/1199.96	c 1191s |      20 |  1063339 |   980827 |    55040     40 |       13 |        0
1201.59/1201.97	c 1193s |      20 |  1064841 |   982327 |    55040     40 |       13 |        0
1203.69/1204.02	c 1196s |      20 |  1066756 |   984227 |    55040     40 |       13 |        0
1205.79/1206.17	c 1198s |      20 |  1068263 |   985727 |    55040     40 |       13 |        0
1207.79/1208.18	c 1200s |      20 |  1069673 |   987127 |    55040     40 |       13 |        0
1209.89/1210.20	c 1202s |      20 |  1070984 |   988427 |    55040     40 |       13 |        0
1211.90/1212.22	c 1204s |      20 |  1072284 |   989727 |    55040     40 |       13 |        0
1227.08/1227.43	c 1219s |      20 |  1073290 |   990727 |    55040     40 |       13 |        0
1253.58/1253.97	c 1245s |      20 |  1073487 |   990927 |    55040     40 |       13 |        0
1258.58/1258.93	c 1250s |      20 |  1073886 |   991327 |    55040     40 |       13 |        0
1260.68/1261.06	c 1253s |      20 |  1074695 |   992127 |    55040     40 |       13 |        0
1262.78/1263.17	c 1255s |      20 |  1075598 |   993027 |    55040     40 |       13 |        0
1264.88/1265.21	c 1257s |      20 |  1076310 |   993727 |    60545     40 |       13 |        0
1266.98/1267.39	c 1259s |      20 |  1077111 |   994527 |    60545     40 |       13 |        0
1269.28/1269.63	c 1261s |      20 |  1078116 |   995527 |    60545     40 |       13 |        0
1271.28/1271.64	c 1263s |      20 |  1079623 |   997027 |    60545     40 |       13 |        0
1273.28/1273.65	c 1265s |      20 |  1080830 |   998227 |    60545     40 |       13 |        0
1275.38/1275.75	c 1267s |      20 |  1081832 |   999227 |    60545     40 |       13 |        0
1277.57/1277.96	c 1269s |      20 |  1082934 |  1000327 |    60545     40 |       13 |        0
1277.57/1277.98	c 1269s |      21 |  1082951 |  1000345 |    60545     40 |       13 |        0
1287.28/1287.64	c 1279s |      21 |  1085219 |  1000745 |    60545     40 |       13 |        0
1289.87/1290.26	c 1282s |      21 |  1089578 |  1003945 |    60545     40 |       13 |        0
1291.87/1292.26	c 1284s |      21 |  1101661 |  1010645 |    60545     41 |       13 |        0
1293.98/1294.30	c 1286s |      21 |  1110209 |  1019145 |    60545     41 |       13 |        0
1295.98/1296.32	c 1288s |      21 |  1114731 |  1023645 |    60545     41 |       13 |        0
1297.98/1298.37	c 1290s |      21 |  1118355 |  1027245 |    60545     41 |       13 |        0
1299.99/1300.38	c 1292s |      21 |  1121671 |  1030545 |    60545     41 |       13 |        0
1301.98/1302.39	c 1294s |      21 |  1124382 |  1033245 |    60545     41 |       13 |        0
1303.98/1304.39	c 1296s |      21 |  1126408 |  1035245 |    60545     41 |       13 |        0
1306.08/1306.44	c 1298s |      21 |  1129021 |  1037845 |    60545     41 |       13 |        0
1308.08/1308.45	c 1300s |      21 |  1130828 |  1039645 |    60545     42 |       13 |        0
1310.08/1310.46	c 1302s |      21 |  1132943 |  1041745 |    60545     42 |       13 |        0
1312.18/1312.55	c 1304s |      21 |  1135551 |  1044345 |    60545     42 |       13 |        0
1314.29/1314.61	c 1306s |      21 |  1137662 |  1046445 |    60545     42 |       13 |        0
1316.28/1316.69	c 1308s |      21 |  1139780 |  1048545 |    60545     42 |       13 |        0
1318.38/1318.78	c 1310s |      21 |  1141690 |  1050445 |    60545     42 |       13 |        0
1320.48/1320.88	c 1312s |      21 |  1143596 |  1052345 |    60545     42 |       13 |        0
1322.58/1322.93	c 1314s |      21 |  1145103 |  1053845 |    60545     42 |       13 |        0
1324.68/1325.05	c 1317s |      21 |  1146509 |  1055245 |    60545     42 |       13 |        0
1326.78/1327.14	c 1319s |      21 |  1148318 |  1057045 |    60545     42 |       13 |        0
1328.88/1329.26	c 1321s |      21 |  1149930 |  1058645 |    60545     42 |       13 |        0
1330.98/1331.39	c 1323s |      21 |  1151640 |  1060345 |    60545     42 |       13 |        0
1333.08/1333.41	c 1325s |      21 |  1153444 |  1062145 |    60545     42 |       13 |        0
1335.08/1335.45	c 1327s |      21 |  1154953 |  1063645 |    60545     42 |       13 |        0
1337.17/1337.54	c 1329s |      21 |  1156960 |  1065645 |    60545     42 |       13 |        0
1339.27/1339.62	c 1331s |      21 |  1158370 |  1067045 |    60545     42 |       13 |        0
1341.37/1341.77	c 1333s |      21 |  1159174 |  1067845 |    60545     42 |       13 |        0
1343.37/1343.78	c 1335s |      21 |  1160078 |  1068745 |    60545     42 |       13 |        0
1345.47/1345.88	c 1337s |      21 |  1161284 |  1069945 |    60545     42 |       13 |        0
1350.17/1350.53	c 1342s |      21 |  1161780 |  1070445 |    60545     43 |       13 |        0
1352.27/1352.62	c 1344s |      21 |  1163180 |  1071845 |    60545     43 |       13 |        0
1354.27/1354.64	c 1346s |      21 |  1164892 |  1073545 |    60545     43 |       13 |        0
1356.27/1356.67	c 1348s |      21 |  1167403 |  1076045 |    60545     43 |       13 |        0
1358.28/1358.69	c 1350s |      21 |  1169214 |  1077845 |    60545     43 |       13 |        0
1360.38/1360.74	c 1352s |      21 |  1171225 |  1079845 |    60545     43 |       13 |        0
1362.37/1362.78	c 1354s |      21 |  1173032 |  1081645 |    60545     43 |       13 |        0
1364.47/1364.86	c 1356s |      21 |  1175043 |  1083645 |    60545     43 |       13 |        0
1366.57/1366.90	c 1358s |      21 |  1176448 |  1085045 |    60545     43 |       13 |        0
1368.57/1369.00	c 1361s |      21 |  1177960 |  1086545 |    60545     43 |       13 |        0
1370.67/1371.00	c 1363s |      21 |  1179266 |  1087845 |    60545     43 |       13 |        0
1372.77/1373.14	c 1365s |      21 |  1180769 |  1089345 |    60545     43 |       13 |        0
1374.87/1375.24	c 1367s |      21 |  1182072 |  1090645 |    60545     43 |       13 |        0
1376.87/1377.29	c 1369s |      21 |  1183282 |  1091845 |    60545     43 |       13 |        0
1378.97/1379.38	c 1371s |      21 |  1184484 |  1093045 |    60545     43 |       13 |        0
1381.07/1381.43	c 1373s |      21 |  1185688 |  1094245 |    60545     43 |       13 |        0
1383.07/1383.43	c 1375s |      21 |  1186895 |  1095445 |    60545     43 |       13 |        0
1385.06/1385.46	c 1377s |      21 |  1187808 |  1096345 |    60545     43 |       13 |        0
1387.06/1387.49	c 1379s |      21 |  1188809 |  1097345 |    60545     43 |       13 |        0
1416.76/1417.13	c 1409s |      21 |  1189117 |  1097645 |    60545     43 |       13 |        0
1418.77/1419.19	c 1411s |      21 |  1190417 |  1098945 |    60545     43 |       13 |        0
1420.76/1421.19	c 1413s |      21 |  1191625 |  1100145 |    60545     43 |       13 |        0
1422.86/1423.25	c 1415s |      21 |  1192823 |  1101345 |    60545     43 |       13 |        0
1426.26/1426.62	c 1418s |      21 |  1193729 |  1102245 |    60545     44 |       13 |        0
1428.67/1429.04	c 1421s |      21 |  1194837 |  1103345 |    60545     44 |       13 |        0
1430.66/1431.09	c 1423s |      21 |  1196043 |  1104545 |    60545     44 |       13 |        0
1432.86/1433.20	c 1425s |      21 |  1197954 |  1106445 |    60545     44 |       13 |        0
1434.96/1435.31	c 1427s |      21 |  1199664 |  1108145 |    60545     44 |       13 |        0
1436.96/1437.38	c 1429s |      21 |  1201369 |  1109845 |    60545     44 |       13 |        0
1439.06/1439.48	c 1431s |      21 |  1202776 |  1111245 |    60545     44 |       13 |        0
1441.16/1441.52	c 1433s |      21 |  1204179 |  1112645 |    60545     44 |       13 |        0
1443.15/1443.53	c 1435s |      21 |  1205591 |  1114045 |    60545     44 |       13 |        0
1445.25/1445.61	c 1437s |      21 |  1207099 |  1115545 |    60545     44 |       13 |        0
1447.36/1447.71	c 1439s |      21 |  1208502 |  1116945 |    60545     44 |       13 |        0
1449.46/1449.82	c 1441s |      21 |  1210014 |  1118445 |    60545     44 |       13 |        0
1451.55/1451.92	c 1443s |      21 |  1211525 |  1119945 |    60545     44 |       13 |        0
1453.65/1454.04	c 1446s |      21 |  1213028 |  1121445 |    60545     44 |       13 |        0
1456.25/1456.65	c 1448s |      21 |  1213836 |  1122245 |    60545     44 |       13 |        0
1458.45/1458.84	c 1450s |      21 |  1214842 |  1123245 |    60545     44 |       13 |        0
1460.46/1460.85	c 1452s |      21 |  1216049 |  1124445 |    60545     44 |       13 |        0
1462.55/1462.91	c 1454s |      21 |  1217048 |  1125445 |    60545     44 |       13 |        0
1464.55/1464.92	c 1456s |      21 |  1218155 |  1126545 |    60545     44 |       13 |        0
1466.55/1466.97	c 1458s |      21 |  1219260 |  1127645 |    60545     44 |       13 |        0
1468.66/1469.09	c 1461s |      21 |  1220666 |  1129045 |    60545     44 |       13 |        0
1470.76/1471.18	c 1463s |      21 |  1221774 |  1130145 |    60545     44 |       13 |        0
1472.76/1473.18	c 1465s |      21 |  1222877 |  1131245 |    60545     44 |       13 |        0
1474.87/1475.27	c 1467s |      21 |  1224085 |  1132445 |    60545     44 |       13 |        0
1476.96/1477.35	c 1469s |      21 |  1225194 |  1133545 |    60545     44 |       13 |        0
1479.66/1480.08	c 1472s |      21 |  1225792 |  1134145 |    60545     45 |       13 |        0
1482.65/1483.03	c 1475s |      21 |  1225901 |  1134245 |    60545     45 |       13 |        0
1484.66/1485.04	c 1477s |      21 |  1227905 |  1136245 |    60545     45 |       13 |        0
1486.75/1487.14	c 1479s |      21 |  1230128 |  1138445 |    60545     45 |       13 |        0
1488.85/1489.28	c 1481s |      21 |  1232338 |  1140645 |    60545     45 |       13 |        0
1490.95/1491.30	c 1483s |      21 |  1234137 |  1142445 |    60545     45 |       13 |        0
1497.76/1498.12	c 1490s |      21 |  1234847 |  1143145 |    60545     45 |       13 |        0
1499.76/1500.15	c 1492s |      21 |  1236555 |  1144845 |    60545     45 |       13 |        0
1501.96/1502.34	c 1494s |      21 |  1238367 |  1146645 |    60545     45 |       13 |        0
1504.06/1504.43	c 1496s |      21 |  1240068 |  1148345 |    60545     45 |       13 |        0
1506.06/1506.48	c 1498s |      21 |  1241775 |  1150045 |    60545     45 |       13 |        0
1508.16/1508.54	c 1500s |      21 |  1243285 |  1151545 |    60545     45 |       13 |        0
1510.26/1510.60	c 1502s |      21 |  1244692 |  1152945 |    60545     45 |       13 |        0
1512.26/1512.62	c 1504s |      21 |  1246003 |  1154245 |    60545     45 |       13 |        0
1514.36/1514.77	c 1506s |      21 |  1247111 |  1155345 |    60545     45 |       13 |        0
1516.45/1516.80	c 1508s |      21 |  1248515 |  1156745 |    60545     45 |       13 |        0
1518.45/1518.88	c 1510s |      21 |  1249818 |  1158045 |    60545     45 |       13 |        0
1520.55/1520.95	c 1512s |      21 |  1251127 |  1159345 |    60545     45 |       13 |        0
1522.65/1523.01	c 1515s |      21 |  1252537 |  1160745 |    60545     45 |       13 |        0
1524.85/1525.21	c 1517s |      21 |  1253840 |  1162045 |    60545     45 |       13 |        0
1526.85/1527.22	c 1519s |      21 |  1255442 |  1163645 |    60545     45 |       13 |        0
1528.95/1529.32	c 1521s |      21 |  1256853 |  1165045 |    60545     45 |       13 |        0
1533.16/1533.58	c 1525s |      21 |  1257859 |  1166045 |    60545     46 |       13 |        0
1535.26/1535.63	c 1527s |      21 |  1258156 |  1166345 |    60545     46 |       13 |        0
1537.25/1537.63	c 1529s |      21 |  1260372 |  1168545 |    60545     46 |       13 |        0
1539.25/1539.66	c 1531s |      21 |  1262583 |  1170745 |    60545     46 |       13 |        0
1541.35/1541.70	c 1533s |      21 |  1265400 |  1173545 |    60545     46 |       13 |        0
1543.35/1543.74	c 1535s |      21 |  1267107 |  1175245 |    60545     46 |       13 |        0
1545.35/1545.75	c 1537s |      21 |  1268926 |  1177045 |    60545     46 |       13 |        0
1547.36/1547.75	c 1539s |      21 |  1270329 |  1178445 |    60545     46 |       13 |        0
1549.45/1549.83	c 1541s |      21 |  1271833 |  1179945 |    60545     46 |       13 |        0
1586.55/1586.93	c 1578s |      21 |  1272140 |  1180245 |    60545     46 |       13 |        0
1642.95/1643.39	c 1635s |      21 |  1272443 |  1180545 |    60545     46 |       13 |        0
1644.95/1645.39	c 1637s |      21 |  1273542 |  1181645 |    60545     46 |       13 |        0
1647.05/1647.46	c 1639s |      21 |  1274639 |  1182745 |    60545     46 |       13 |        0
1649.25/1649.62	c 1641s |      21 |  1275740 |  1183845 |    60545     46 |       13 |        0
1651.35/1651.70	c 1643s |      21 |  1276648 |  1184745 |    60545     46 |       13 |        0
1653.55/1653.92	c 1645s |      21 |  1277650 |  1185745 |    60545     46 |       13 |        0
1655.55/1655.92	c 1647s |      21 |  1278551 |  1186645 |    60545     46 |       13 |        0
1657.55/1657.94	c 1649s |      21 |  1279458 |  1187545 |    60545     46 |       13 |        0
1659.75/1660.12	c 1652s |      21 |  1280464 |  1188545 |    60545     46 |       13 |        0
1661.75/1662.12	c 1654s |      21 |  1281469 |  1189545 |    60545     46 |       13 |        0
1663.84/1664.30	c 1656s |      21 |  1282573 |  1190645 |    60545     46 |       13 |        0
1666.04/1666.45	c 1658s |      21 |  1283779 |  1191845 |    60545     46 |       13 |        0
1668.04/1668.49	c 1660s |      21 |  1284982 |  1193045 |    60545     46 |       13 |        0
1670.14/1670.58	c 1662s |      21 |  1286186 |  1194245 |    60545     46 |       13 |        0
1672.34/1672.77	c 1664s |      21 |  1287300 |  1195345 |    60545     46 |       13 |        0
1674.54/1674.92	c 1666s |      21 |  1288206 |  1196245 |    60545     46 |       13 |        0
1676.54/1676.98	c 1668s |      21 |  1289003 |  1197045 |    60545     46 |       13 |        0
1678.74/1679.13	c 1671s |      21 |  1289809 |  1197845 |    60545     46 |       13 |        0
1681.75/1682.17	c 1674s |      21 |  1289908 |  1197945 |    60545     47 |       13 |        0
1683.95/1684.31	c 1676s |      21 |  1291014 |  1199045 |    60545     47 |       13 |        0
1686.54/1686.93	c 1678s |      21 |  1292829 |  1200845 |    60545     47 |       13 |        0
1688.54/1688.99	c 1681s |      21 |  1294634 |  1202645 |    60545     47 |       13 |        0
1690.64/1691.09	c 1683s |      21 |  1296538 |  1204545 |    60545     47 |       13 |        0
1692.74/1693.12	c 1685s |      21 |  1298145 |  1206145 |    60545     47 |       13 |        0
1694.75/1695.20	c 1687s |      21 |  1299547 |  1207545 |    60545     47 |       13 |        0
1699.65/1700.00	c 1692s |      21 |  1299654 |  1207645 |    60545     47 |       13 |        0
1701.65/1702.07	c 1694s |      21 |  1301057 |  1209045 |    60545     47 |       13 |        0
1703.75/1704.12	c 1696s |      21 |  1302361 |  1210345 |    60545     47 |       13 |        0
1705.86/1706.22	c 1698s |      21 |  1303869 |  1211845 |    60545     47 |       13 |        0
1707.95/1708.33	c 1700s |      21 |  1305172 |  1213145 |    60545     47 |       13 |        0
1710.05/1710.46	c 1702s |      21 |  1306583 |  1214545 |    60545     47 |       13 |        0
1712.15/1712.53	c 1704s |      21 |  1308193 |  1216145 |    60545     47 |       13 |        0
1714.25/1714.60	c 1706s |      21 |  1309795 |  1217745 |    60545     47 |       13 |        0
1716.35/1716.73	c 1708s |      21 |  1311107 |  1219045 |    60545     47 |       13 |        0
1718.45/1718.89	c 1710s |      21 |  1312209 |  1220145 |    60545     47 |       13 |        0
1720.65/1721.01	c 1713s |      21 |  1313211 |  1221145 |    60545     47 |       13 |        0
1722.65/1723.03	c 1715s |      21 |  1314318 |  1222245 |    60545     47 |       13 |        0
1724.74/1725.18	c 1717s |      21 |  1315524 |  1223445 |    60545     47 |       13 |        0
1726.84/1727.28	c 1719s |      21 |  1316629 |  1224545 |    60545     47 |       13 |        0
1728.95/1729.36	c 1721s |      21 |  1317738 |  1225645 |    60545     47 |       13 |        0
1731.05/1731.47	c 1723s |      21 |  1318851 |  1226745 |    60545     47 |       13 |        0
1733.14/1733.58	c 1725s |      21 |  1319856 |  1227745 |    60545     47 |       13 |        0
1735.34/1735.70	c 1727s |      21 |  1320856 |  1228745 |    60545     47 |       13 |        0
1737.44/1737.80	c 1729s |      21 |  1321861 |  1229745 |    60545     47 |       13 |        0
1739.64/1740.07	c 1732s |      21 |  1321964 |  1229845 |    60545     48 |       13 |        0
1769.24/1769.64	c 1761s |      21 |  1322974 |  1230845 |    60545     48 |       13 |        0
1771.34/1771.74	c 1763s |      21 |  1324075 |  1231945 |    60545     48 |       13 |        0
1773.44/1773.83	c 1765s |      21 |  1326489 |  1234345 |    60545     48 |       13 |        0
1775.54/1775.92	c 1767s |      21 |  1328697 |  1236545 |    60545     48 |       13 |        0
1777.53/1777.93	c 1769s |      21 |  1330906 |  1238745 |    60545     48 |       13 |        0
1779.54/1779.94	c 1771s |      21 |  1332809 |  1240645 |    60545     48 |       13 |        0
1781.54/1781.97	c 1773s |      21 |  1334518 |  1242345 |    60545     48 |       13 |        0
1783.54/1783.98	c 1775s |      21 |  1336025 |  1243845 |    60545     48 |       13 |        0
1785.64/1786.05	c 1778s |      21 |  1337836 |  1245645 |    60545     48 |       13 |        0
1787.74/1788.17	c 1780s |      21 |  1339544 |  1247345 |    60545     48 |       13 |        0
1789.94/1790.31	c 1782s |      21 |  1340953 |  1248745 |    60545     48 |       13 |        0
1791.94/1792.35	c 1784s |      21 |  1342359 |  1250145 |    60545     48 |       13 |        0
1793.94/1794.38	c 1786s |      21 |  1344173 |  1251945 |    60545     48 |       13 |        0
1795.95/1796.40	c 1788s |      21 |  1345674 |  1253445 |    60545     48 |       13 |        0
1798.04/1798.45	c 1790s |      21 |  1346584 |  1254345 |    60545     48 |       13 |        0

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

pid=18618
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.34 2.28 2.27 3/179 18621
/proc/meminfo: memFree=26514760/32872528 swapFree=1459628/1655852
[pid=18621] ppid=18618 vsize=727484 CPUtime=0 cores=1,3,5,7
/proc/18621/stat : 18621 (toysat) R 18618 18621 16189 0 -1 4202496 2713 0 0 0 0 0 0 0 20 0 4 0 23560124 744943616 3073 33554432000 4194304 16246674 140733333902144 140733333901568 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18621/statm: 182383 3084 441 2943 0 179277 0
[pid=18621/tid=18622] ppid=18618 vsize=745916 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18622/stat : 18622 (toysat) S 18618 18621 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23560124 763817984 3146 33554432000 4194304 16246674 140733333902144 140731197926640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18621/tid=18623] ppid=18618 vsize=750012 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18623/stat : 18623 (toysat) S 18618 18621 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23560124 768012288 3164 33554432000 4194304 16246674 140733333902144 140731112991984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18621/tid=18624] ppid=18618 vsize=754108 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18624/stat : 18624 (toysat) S 18618 18621 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23560124 772206592 3180 33554432000 4194304 16246674 140733333902144 140731102518448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.34 2.28 2.27 3/179 18621
/proc/meminfo: memFree=26514760/32872528 swapFree=1459628/1655852
[pid=18621] ppid=18618 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/18621/stat : 18621 (toysat) R 18618 18621 16189 0 -1 4202496 29789 0 0 0 5 4 0 0 20 0 4 0 23560124 1333334016 30088 33554432000 4194304 16246674 140733333902144 140733333901456 7889646 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18621/statm: 325521 30104 801 2943 0 322415 0
[pid=18621/tid=18622] ppid=18618 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18622/stat : 18622 (toysat) S 18618 18621 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23560124 1333334016 30115 33554432000 4194304 16246674 140733333902144 140731197926640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18621/tid=18623] ppid=18618 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18623/stat : 18623 (toysat) S 18618 18621 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23560124 1333334016 30127 33554432000 4194304 16246674 140733333902144 140731112991984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18621/tid=18624] ppid=18618 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18624/stat : 18624 (toysat) S 18618 18621 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23560124 1333334016 30136 33554432000 4194304 16246674 140733333902144 140731102518448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200563 s]
/proc/loadavg: 2.34 2.28 2.27 3/179 18621
/proc/meminfo: memFree=26514760/32872528 swapFree=1459628/1655852
[pid=18621] ppid=18618 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/18621/stat : 18621 (toysat) R 18618 18621 16189 0 -1 4202496 44369 0 0 0 13 6 0 0 20 0 4 0 23560124 1343819776 45178 33554432000 4194304 16246674 140733333902144 140733333901456 7889536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18621/statm: 328081 45178 801 2943 0 324975 0
[pid=18621/tid=18622] ppid=18618 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18622/stat : 18622 (toysat) S 18618 18621 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23560124 1343819776 45178 33554432000 4194304 16246674 140733333902144 140731197926640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18621/tid=18623] ppid=18618 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18623/stat : 18623 (toysat) S 18618 18621 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23560124 1343819776 45178 33554432000 4194304 16246674 140733333902144 140731112991984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18621/tid=18624] ppid=18618 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18624/stat : 18624 (toysat) S 18618 18621 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23560124 1343819776 45178 33554432000 4194304 16246674 140733333902144 140731102518448 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) 1312324

[startup+0.300561 s]
/proc/loadavg: 2.34 2.28 2.27 3/179 18621
/proc/meminfo: memFree=26514760/32872528 swapFree=1459628/1655852
[pid=18621] ppid=18618 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/18621/stat : 18621 (toysat) R 18618 18621 16189 0 -1 4202496 53476 0 0 0 22 7 0 0 20 0 4 0 23560124 1343819776 54285 33554432000 4194304 16246674 140733333902144 140733333901456 4220982 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18621/statm: 328081 54285 801 2943 0 324975 0
[pid=18621/tid=18622] ppid=18618 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18622/stat : 18622 (toysat) S 18618 18621 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23560124 1343819776 54285 33554432000 4194304 16246674 140733333902144 140731197926640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18621/tid=18623] ppid=18618 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18623/stat : 18623 (toysat) S 18618 18621 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23560124 1343819776 54285 33554432000 4194304 16246674 140733333902144 140731112991984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18621/tid=18624] ppid=18618 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18624/stat : 18624 (toysat) S 18618 18621 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23560124 1343819776 54285 33554432000 4194304 16246674 140733333902144 140731102518448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700404 s]
/proc/loadavg: 2.34 2.28 2.27 3/179 18621
/proc/meminfo: memFree=26514760/32872528 swapFree=1459628/1655852
[pid=18621] ppid=18618 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/18621/stat : 18621 (toysat) R 18618 18621 16189 0 -1 4202496 136059 0 0 0 52 17 0 0 20 0 4 0 23560124 1343819776 136869 33554432000 4194304 16246674 140733333902144 140733333884032 12653060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18621/statm: 328081 136885 832 2943 0 324975 0
[pid=18621/tid=18622] ppid=18618 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18622/stat : 18622 (toysat) S 18618 18621 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23560124 1343819776 136892 33554432000 4194304 16246674 140733333902144 140731197926640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18621/tid=18623] ppid=18618 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18623/stat : 18623 (toysat) S 18618 18621 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23560124 1343819776 136900 33554432000 4194304 16246674 140733333902144 140731112991984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18621/tid=18624] ppid=18618 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18624/stat : 18624 (toysat) S 18618 18621 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23560124 1343819776 136908 33554432000 4194304 16246674 140733333902144 140731102518448 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) 1312324

[startup+1.50043 s]
/proc/loadavg: 2.31 2.27 2.27 3/183 18625
/proc/meminfo: memFree=25466552/32872528 swapFree=1459628/1655852
[pid=18621] ppid=18618 vsize=1318468 CPUtime=1.49 cores=1,3,5,7
/proc/18621/stat : 18621 (toysat) R 18618 18621 16189 0 -1 4202496 270144 0 0 0 115 34 0 0 20 0 4 0 23560124 1350111232 270953 33554432000 4194304 16246674 140733333902144 140733333884032 12371101 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18621/statm: 329617 270953 833 2943 0 326511 0
[pid=18621/tid=18622] ppid=18618 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18622/stat : 18622 (toysat) S 18618 18621 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23560124 1350111232 270953 33554432000 4194304 16246674 140733333902144 140731197926640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18621/tid=18623] ppid=18618 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18623/stat : 18623 (toysat) S 18618 18621 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23560124 1350111232 270953 33554432000 4194304 16246674 140733333902144 140731112991984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18621/tid=18624] ppid=18618 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18624/stat : 18624 (toysat) S 18618 18621 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23560124 1350111232 270953 33554432000 4194304 16246674 140733333902144 140731102518448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1318468

[startup+3.10044 s]
/proc/loadavg: 2.31 2.27 2.27 3/183 18625
/proc/meminfo: memFree=25430716/32872528 swapFree=1459628/1655852
[pid=18621] ppid=18618 vsize=1318468 CPUtime=3.09 cores=1,3,5,7
/proc/18621/stat : 18621 (toysat) R 18618 18621 16189 0 -1 4202496 270232 0 0 0 275 34 0 0 20 0 4 0 23560124 1350111232 271041 33554432000 4194304 16246674 140733333902144 140733333884032 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18621/statm: 329617 271041 833 2943 0 326511 0
[pid=18621/tid=18622] ppid=18618 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18622/stat : 18622 (toysat) S 18618 18621 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23560124 1350111232 271041 33554432000 4194304 16246674 140733333902144 140731197926640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18621/tid=18623] ppid=18618 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18623/stat : 18623 (toysat) S 18618 18621 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23560124 1350111232 271041 33554432000 4194304 16246674 140733333902144 140731112991984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18621/tid=18624] ppid=18618 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18624/stat : 18624 (toysat) S 18618 18621 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23560124 1350111232 271041 33554432000 4194304 16246674 140733333902144 140731102518448 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) 1318468

[startup+6.30044 s]
/proc/loadavg: 2.31 2.27 2.27 3/183 18625
/proc/meminfo: memFree=25429880/32872528 swapFree=1459628/1655852
[pid=18621] ppid=18618 vsize=1318468 CPUtime=6.29 cores=1,3,5,7
/proc/18621/stat : 18621 (toysat) R 18618 18621 16189 0 -1 4202496 270243 0 0 0 595 34 0 0 20 0 4 0 23560124 1350111232 271052 33554432000 4194304 16246674 140733333902144 140733333884032 6198236 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18621/statm: 329617 271052 843 2943 0 326511 0
[pid=18621/tid=18622] ppid=18618 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18622/stat : 18622 (toysat) S 18618 18621 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23560124 1350111232 271052 33554432000 4194304 16246674 140733333902144 140731197926640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18621/tid=18623] ppid=18618 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18623/stat : 18623 (toysat) S 18618 18621 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23560124 1350111232 271052 33554432000 4194304 16246674 140733333902144 140731112991984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18621/tid=18624] ppid=18618 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18624/stat : 18624 (toysat) S 18618 18621 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23560124 1350111232 271052 33554432000 4194304 16246674 140733333902144 140731102518448 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) 1318468

[startup+12.7004 s]
/proc/loadavg: 2.27 2.26 2.26 4/183 18674
/proc/meminfo: memFree=26919176/32872528 swapFree=1459628/1655852
[pid=18621] ppid=18618 vsize=1318468 CPUtime=12.68 cores=1,3,5,7
/proc/18621/stat : 18621 (toysat) R 18618 18621 16189 0 -1 4202496 270294 0 0 0 1234 34 0 0 20 0 4 0 23560124 1350111232 271103 33554432000 4194304 16246674 140733333902144 140733333884032 13950232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18621/statm: 329617 271103 892 2943 0 326511 0
[pid=18621/tid=18622] ppid=18618 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18622/stat : 18622 (toysat) S 18618 18621 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23560124 1350111232 271103 33554432000 4194304 16246674 140733333902144 140731197926640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18621/tid=18623] ppid=18618 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18623/stat : 18623 (toysat) S 18618 18621 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23560124 1350111232 271103 33554432000 4194304 16246674 140733333902144 140731112991984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18621/tid=18624] ppid=18618 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18624/stat : 18624 (toysat) S 18618 18621 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23560124 1350111232 271103 33554432000 4194304 16246674 140733333902144 140731102518448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1318468

[startup+25.5005 s]
/proc/loadavg: 2.22 2.25 2.26 3/183 18674
/proc/meminfo: memFree=26514396/32872528 swapFree=1459628/1655852
[pid=18621] ppid=18618 vsize=1318468 CPUtime=25.48 cores=1,3,5,7
/proc/18621/stat : 18621 (toysat) R 18618 18621 16189 0 -1 4202496 270304 0 0 0 2514 34 0 0 20 0 4 0 23560124 1350111232 271113 33554432000 4194304 16246674 140733333902144 140733333884032 13965472 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18621/statm: 329617 271113 898 2943 0 326511 0
[pid=18621/tid=18622] ppid=18618 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18622/stat : 18622 (toysat) S 18618 18621 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23560124 1350111232 271113 33554432000 4194304 16246674 140733333902144 140731197926640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18621/tid=18623] ppid=18618 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18623/stat : 18623 (toysat) S 18618 18621 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23560124 1350111232 271113 33554432000 4194304 16246674 140733333902144 140731112991984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18621/tid=18624] ppid=18618 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18624/stat : 18624 (toysat) S 18618 18621 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23560124 1350111232 271113 33554432000 4194304 16246674 140733333902144 140731102518448 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) 1318468

[startup+51.1004 s]
/proc/loadavg: 2.21 2.25 2.26 4/183 18674
/proc/meminfo: memFree=26458728/32872528 swapFree=1459628/1655852
[pid=18621] ppid=18618 vsize=1355332 CPUtime=51.08 cores=1,3,5,7
/proc/18621/stat : 18621 (toysat) R 18618 18621 16189 0 -1 4202496 279528 0 0 0 5072 36 0 0 20 0 4 0 23560124 1387859968 280333 33554432000 4194304 16246674 140733333902144 140733333884032 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18621/statm: 338833 280333 902 2943 0 335727 0
[pid=18621/tid=18622] ppid=18618 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18622/stat : 18622 (toysat) S 18618 18621 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23560124 1387859968 280333 33554432000 4194304 16246674 140733333902144 140731197926640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18621/tid=18623] ppid=18618 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18623/stat : 18623 (toysat) S 18618 18621 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23560124 1387859968 280333 33554432000 4194304 16246674 140733333902144 140731112991984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18621/tid=18624] ppid=18618 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18624/stat : 18624 (toysat) S 18618 18621 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23560124 1387859968 280333 33554432000 4194304 16246674 140733333902144 140731102518448 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) 1355332

[startup+102.301 s]
/proc/loadavg: 2.38 2.28 2.27 3/184 18678
/proc/meminfo: memFree=26424452/32872528 swapFree=1459628/1655852
[pid=18621] ppid=18618 vsize=1355332 CPUtime=102.27 cores=1,3,5,7
/proc/18621/stat : 18621 (toysat) R 18618 18621 16189 0 -1 4202496 279550 0 0 0 10190 37 0 0 20 0 4 0 23560124 1387859968 280333 33554432000 4194304 16246674 140733333902144 140733333884032 5823516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18621/statm: 338833 280333 902 2943 0 335727 0
[pid=18621/tid=18622] ppid=18618 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18622/stat : 18622 (toysat) S 18618 18621 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23560124 1387859968 280333 33554432000 4194304 16246674 140733333902144 140731197926640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18621/tid=18623] ppid=18618 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18623/stat : 18623 (toysat) S 18618 18621 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23560124 1387859968 280333 33554432000 4194304 16246674 140733333902144 140731112991984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18621/tid=18624] ppid=18618 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18624/stat : 18624 (toysat) S 18618 18621 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23560124 1387859968 280333 33554432000 4194304 16246674 140733333902144 140731102518448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1355332


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

[pid=18621/tid=18624] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18624/stat : 18624 (toysat) S 18618 18621 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731102518448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1481284

[startup+1362.3 s]
/proc/loadavg: 2.20 2.22 2.23 4/183 18732
/proc/meminfo: memFree=25566484/32872528 swapFree=1459628/1655852
[pid=18621] ppid=18618 vsize=1481284 CPUtime=1361.97 cores=1,3,5,7
/proc/18621/stat : 18621 (toysat) R 18618 18621 16189 0 -1 4202496 311249 0 0 0 136121 76 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140733333884032 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18621/statm: 370321 311822 903 2943 0 367215 0
[pid=18621/tid=18622] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18622/stat : 18622 (toysat) S 18618 18621 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731197926640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18621/tid=18623] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18623/stat : 18623 (toysat) S 18618 18621 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731112991984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18621/tid=18624] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18624/stat : 18624 (toysat) S 18618 18621 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731102518448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1481284

[startup+1422.3 s]
/proc/loadavg: 2.18 2.21 2.22 3/183 18733
/proc/meminfo: memFree=25531916/32872528 swapFree=1459628/1655852
[pid=18621] ppid=18618 vsize=1481284 CPUtime=1421.97 cores=1,3,5,7
/proc/18621/stat : 18621 (toysat) R 18618 18621 16189 0 -1 4202496 311249 0 0 0 142117 80 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140733333884032 5823674 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18621/statm: 370321 311822 903 2943 0 367215 0
[pid=18621/tid=18622] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18622/stat : 18622 (toysat) S 18618 18621 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731197926640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18621/tid=18623] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18623/stat : 18623 (toysat) S 18618 18621 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731112991984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18621/tid=18624] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18624/stat : 18624 (toysat) S 18618 18621 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731102518448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1481284

[startup+1482.3 s]
/proc/loadavg: 2.18 2.20 2.21 4/183 18735
/proc/meminfo: memFree=25504000/32872528 swapFree=1459628/1655852
[pid=18621] ppid=18618 vsize=1481284 CPUtime=1481.95 cores=1,3,5,7
/proc/18621/stat : 18621 (toysat) R 18618 18621 16189 0 -1 4202496 311249 0 0 0 148114 81 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140733333884032 4221873 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18621/statm: 370321 311822 903 2943 0 367215 0
[pid=18621/tid=18622] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18622/stat : 18622 (toysat) S 18618 18621 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731197926640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18621/tid=18623] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18623/stat : 18623 (toysat) S 18618 18621 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731112991984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18621/tid=18624] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18624/stat : 18624 (toysat) S 18618 18621 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731102518448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1481284

[startup+1542.31 s]
/proc/loadavg: 2.22 2.21 2.21 3/183 18736
/proc/meminfo: memFree=25504424/32872528 swapFree=1459628/1655852
[pid=18621] ppid=18618 vsize=1481284 CPUtime=1541.96 cores=1,3,5,7
/proc/18621/stat : 18621 (toysat) R 18618 18621 16189 0 -1 4202496 311249 0 0 0 154112 84 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140733333884032 13874759 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18621/statm: 370321 311822 903 2943 0 367215 0
[pid=18621/tid=18622] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18622/stat : 18622 (toysat) S 18618 18621 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731197926640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18621/tid=18623] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18623/stat : 18623 (toysat) S 18618 18621 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731112991984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18621/tid=18624] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18624/stat : 18624 (toysat) S 18618 18621 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731102518448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1481284

[startup+1602.3 s]
/proc/loadavg: 2.13 2.18 2.20 3/183 18737
/proc/meminfo: memFree=25477812/32872528 swapFree=1459628/1655852
[pid=18621] ppid=18618 vsize=1481284 CPUtime=1601.95 cores=1,3,5,7
/proc/18621/stat : 18621 (toysat) R 18618 18621 16189 0 -1 4202496 311249 0 0 0 160103 92 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140733333901456 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18621/statm: 370321 311822 903 2943 0 367215 0
[pid=18621/tid=18622] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18622/stat : 18622 (toysat) S 18618 18621 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731197926640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18621/tid=18623] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18623/stat : 18623 (toysat) S 18618 18621 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731112991984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18621/tid=18624] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18624/stat : 18624 (toysat) S 18618 18621 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731102518448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1481284

[startup+1662.3 s]
/proc/loadavg: 2.30 2.22 2.21 4/183 18738
/proc/meminfo: memFree=25448360/32872528 swapFree=1459628/1655852
[pid=18621] ppid=18618 vsize=1481284 CPUtime=1661.94 cores=1,3,5,7
/proc/18621/stat : 18621 (toysat) R 18618 18621 16189 0 -1 4202496 311249 0 0 0 166096 98 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140733333884032 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18621/statm: 370321 311822 903 2943 0 367215 0
[pid=18621/tid=18622] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18622/stat : 18622 (toysat) S 18618 18621 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731197926640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18621/tid=18623] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18623/stat : 18623 (toysat) S 18618 18621 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731112991984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18621/tid=18624] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18624/stat : 18624 (toysat) S 18618 18621 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731102518448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1481284

[startup+1722.3 s]
/proc/loadavg: 2.20 2.21 2.20 3/183 18739
/proc/meminfo: memFree=25431148/32872528 swapFree=1459628/1655852
[pid=18621] ppid=18618 vsize=1481284 CPUtime=1721.95 cores=1,3,5,7
/proc/18621/stat : 18621 (toysat) R 18618 18621 16189 0 -1 4202496 311249 0 0 0 172095 100 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140733333884032 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18621/statm: 370321 311822 903 2943 0 367215 0
[pid=18621/tid=18622] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18622/stat : 18622 (toysat) S 18618 18621 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731197926640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18621/tid=18623] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18623/stat : 18623 (toysat) S 18618 18621 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731112991984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18621/tid=18624] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18624/stat : 18624 (toysat) S 18618 18621 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731102518448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 1481284

[startup+1782.3 s]
/proc/loadavg: 2.33 2.24 2.21 3/183 18741
/proc/meminfo: memFree=25402804/32872528 swapFree=1459628/1655852
[pid=18621] ppid=18618 vsize=1481284 CPUtime=1781.94 cores=1,3,5,7
/proc/18621/stat : 18621 (toysat) R 18618 18621 16189 0 -1 4202496 311249 0 0 0 178090 104 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140733333884032 5822472 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18621/statm: 370321 311822 903 2943 0 367215 0
[pid=18621/tid=18622] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18622/stat : 18622 (toysat) S 18618 18621 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731197926640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18621/tid=18623] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18623/stat : 18623 (toysat) S 18618 18621 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731112991984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18621/tid=18624] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18624/stat : 18624 (toysat) S 18618 18621 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731102518448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 1481284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.34 2.25 2.21 4/183 18741
/proc/meminfo: memFree=25403056/32872528 swapFree=1459628/1655852
[pid=18621] ppid=18618 vsize=1481284 CPUtime=1800.04 cores=1,3,5,7
/proc/18621/stat : 18621 (toysat) R 18618 18621 16189 0 -1 4202496 311249 0 0 0 179900 104 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140733333884032 5823340 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18621/statm: 370321 311822 903 2943 0 367215 0
[pid=18621/tid=18622] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18622/stat : 18622 (toysat) S 18618 18621 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731197926640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18621/tid=18623] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18623/stat : 18623 (toysat) S 18618 18621 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731112991984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18621/tid=18624] ppid=18618 vsize=1481284 CPUtime=0 cores=1,3,5,7
/proc/18621/task/18624/stat : 18624 (toysat) S 18618 18621 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23560124 1516834816 311822 33554432000 4194304 16246674 140733333902144 140731102518448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1481284

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18621 and gives
#  childrusage.ru_utime.tv_sec=1799
#  childrusage.ru_utime.tv_usec=7509
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=997848
# CPU time returned by wait4() is 1800.01
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1799
CPU system time (s): 1.04
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 1481284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 0.997848
maximum resident set size= 1247288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311249
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= 1060
involuntary context switches= 1808

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.78551 second user time and 17.8253 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 03:59:06
IDJOB=4100473
IDBENCH=1621
IDSOLVER=2542
FILE ID=node136/4100473-1466215146
RUNJOBID= node136-1466206055-16206
PBS_JOBID= 19918141
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-usAbbrv.8.25_70.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100473-1466215146/watcher-4100473-1466215146 -o /tmp/evaluation-result-4100473-1466215146/solver-4100473-1466215146 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16206 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100473-1466215146.opb

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

MD5SUM BENCH= 825fd1904b2d777401b7be7f08c7951c
RANDOM SEED=776675572

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26515576 kB
Buffers:          147144 kB
Cached:          1651712 kB
SwapCached:            0 kB
Active:          2295676 kB
Inactive:        1659040 kB
Active(anon):    2158668 kB
Inactive(anon):        0 kB
Active(file):     137008 kB
Inactive(file):  1659040 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             18272 kB
Writeback:             0 kB
AnonPages:       3809164 kB
Mapped:            16628 kB
Shmem:               204 kB
Slab:             609048 kB
SReclaimable:      53312 kB
SUnreclaim:       555736 kB
KernelStack:        1520 kB
PageTables:        11272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3947676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    880640 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= 71700 MiB
End job on node136 at 2016-06-18 04:29:07