Trace number 4078877

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.06 1800.61

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K67.opb
MD5SUM9e951304b89652b8f827a6527d1495c5
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark206.45
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3685
Total number of constraints3821
Number of constraints which are clauses3754
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint67
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 68
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T10:20:29+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-4078877-1465287629.opb"]
0.00/0.01	c use --random-gen="2661474162 3288778277 1905150799 2934613507 3589114650 3768477676 1999334254 2897625191 2745459556 3439077858 2638441608 1588845422 3905547375 804336456 1110458613 2850744227 3926484198 1895738759 811960618 1495106518 1849152993 3321046669 380828248 508919627 322312671 3793823969 1355237907 1866097677 2406927764 1595163285 1732984044 368462277 546793139 2745765641 1695779302 3475674700 2355842301 518042188 433781888 3059936468 4125636963 3151912531 1396341544 1245669471 353545586 1594029220 2611453365 863047695 1612125944 1619534566 117525636 2398659382 3099197399 703559888 555451199 1585608371 764957381 981679463 2990044764 285119955 2830603003 3522066591 1865644389 3050721755 442099792 541135263 2025098006 1092471550 3606761772 301704680 3139871230 569879799 3765600247 1332475419 3915163017 274955971 591562584 2859329993 1952492858 636065975 1156615523 2912585009 474146796 404282399 570715613 968081592 2584336795 2299213988 1581900697 3108891325 4100184858 1021136206 2011426163 4069166477 1333025582 1973606711 1785159861 3949578736 3715168517 3163090272 634993447 1889523213 1429253437 2105956394 3396728702 1845431785 2034188340 2030070414 2488671313 769782668 2153303976 2004055014 2961052107 3252324410 1675917943 1945297027 511913662 1153346096 2330318129 1395651611 1585039874 2841585697 4000739663 1338815267 1872816744 2627323898 575415065 2964191875 3348139197 4051405915 1869447033 3333140756 841500332 3128351295 2128731025 752279320 2255795825 3338512536 1500854000 296160284 2102896409 223918065 20496706 3719245190 777377961 245190756 1173884110 2254988055 3074684425 1348968940 3859157104 2843611070 2782415791 3870514009 2390732016 3028605014 2328516937 1902394892 519585417 2323705722 2951764224 130362573 882025138 3041905107 582316045 336034105 3519440457 4216482763 4269894439 627978688 2781262770 1283621970 829903150 1101100343 440882006 3559542822 45967610 4018515400 202331773 4034279854 4286267818 3819021086 682453744 3091239835 3858376514 3350586651 1982744595 3865028400 282056096 2871059113 3333139275 1844768268 741544172 1498891155 109158361 2818895885 2897792143 2953345141 2624809459 2094034962 3855408023 385697482 3167073144 4153190108 2705717863 1803297665 1360275121 1797493956 3106607519 3015811389 2183851697 1462378002 1807471658 1395150743 215643899 3627948393 1776802306 833085592 2190798348 2566033060 3463952295 755044929 940917492 2620663109 941138920 1269612988 4025583368 3636388063 533885671 4028296599 1794086396 3361831777 3000679519 1618149462 2072637608 2346650365 3039900384 2897621005 1593098558 1028200737 1711351587 434710815 536870622 21393088 2791587263 3631524050 513034603 1848789532 2115362089 1465388173 2516783143 2876132642 3885898635 3034508423 3248955806 3431632482 255 362436" option to reproduce the execution
0.00/0.06	c #vars 3685
0.00/0.06	c #constraints 3821
0.09/0.14	c Solving starts ...
0.09/0.14	c ============================[ Search Statistics ]============================
0.09/0.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.14	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.14	c =============================================================================
0.09/0.14	c  0.0s |       0 |        0 |        0 |     2501      0 |      455 |        0
0.19/0.26	c  0.1s |       1 |     1519 |      100 |     2501      0 |      456 |      411
0.39/0.43	c  0.3s |       2 |     3148 |      250 |     2752      0 |      457 |      412
0.58/0.64	c  0.5s |       3 |     6628 |      475 |     3028      0 |      460 |      415
0.89/0.98	c  0.8s |       4 |    10127 |      813 |     3331      0 |      464 |      419
1.39/1.43	c  1.3s |       5 |    17278 |     1320 |     3665      0 |      472 |      427
1.99/2.01	c  1.9s |       6 |    22293 |     2081 |     4436      0 |      474 |      429
2.89/2.95	c  2.8s |       7 |    32653 |     3223 |     4880      0 |      474 |      429
4.60/4.63	c  4.5s |       8 |    47045 |     4936 |     5368      0 |      484 |      439
6.59/6.69	c  6.6s |       8 |    59974 |     6936 |     5368      1 |      485 |      440
7.19/7.22	c  7.1s |       9 |    65488 |     7506 |     5905      1 |      485 |      440
9.19/9.24	c  9.1s |       9 |    75880 |     9406 |     5905      1 |      487 |      442
11.20/11.26	c 11.1s |       9 |    80403 |    10706 |     5905      1 |      487 |      442
12.40/12.43	c 12.3s |      10 |    82887 |    11361 |     6496      2 |      487 |      442
14.49/14.56	c 14.4s |      10 |   100795 |    13661 |     6496      2 |      491 |      446
16.59/16.68	c 16.5s |      10 |   114532 |    15461 |     6496      3 |      493 |      448
18.69/18.74	c 18.6s |      10 |   124555 |    16861 |     6496      3 |      494 |      449
18.99/19.02	c 18.9s |      11 |   126503 |    17144 |     7146      3 |      494 |      449
20.99/21.10	c 21.0s |      11 |   137261 |    19044 |     7146      4 |      497 |      452
23.09/23.12	c 23.0s |      11 |   152728 |    21044 |     7146      4 |      497 |      452
25.09/25.14	c 25.0s |      11 |   164984 |    23144 |     7146      4 |      497 |      452
27.08/27.16	c 27.0s |      11 |   179174 |    24844 |     7146      5 |      497 |      452
28.08/28.17	c 28.0s |      12 |   185996 |    25819 |     7861      5 |      497 |      452
30.18/30.21	c 30.1s |      12 |   196335 |    27819 |     7861      5 |      497 |      452
32.19/32.25	c 32.1s |      12 |   210331 |    29819 |     7861      6 |      501 |      456
34.18/34.29	c 34.2s |      12 |   222223 |    31719 |     7861      6 |      502 |      457
36.28/36.38	c 36.2s |      12 |   236014 |    33619 |     7861      7 |      502 |      457
38.38/38.47	c 38.3s |      12 |   245247 |    35419 |     7861      7 |      502 |      457
40.48/40.50	c 40.4s |      12 |   255480 |    37119 |     7861      7 |      502 |      457
42.48/42.59	c 42.4s |      12 |   260773 |    38419 |     7861      8 |      502 |      457
42.98/43.08	c 42.9s |      13 |   262720 |    38832 |     8648      8 |      502 |      457
45.08/45.12	c 45.0s |      13 |   276304 |    40732 |     8648      8 |      505 |      460
47.08/47.13	c 47.0s |      13 |   290396 |    42732 |     8648      8 |      505 |      460
49.08/49.14	c 49.0s |      13 |   296873 |    44132 |     8648      9 |      505 |      460
51.08/51.14	c 51.0s |      13 |   307470 |    45732 |     8648      9 |      506 |      461
53.09/53.18	c 53.0s |      13 |   323189 |    47732 |     8648      9 |      508 |      463
55.08/55.19	c 55.1s |      13 |   329560 |    49132 |     8648     10 |      508 |      463
57.18/57.20	c 57.1s |      13 |   338875 |    50732 |     8648     10 |      508 |      463
59.28/59.32	c 59.2s |      13 |   344976 |    52232 |     8648     10 |      508 |      463
61.48/61.58	c 61.4s |      13 |   349171 |    53332 |     8648     11 |      508 |      463
63.58/63.68	c 63.5s |      13 |   358504 |    55132 |     8648     11 |      508 |      463
65.78/65.88	c 65.7s |      13 |   363519 |    56432 |     8648     11 |      508 |      463
68.08/68.11	c 68.0s |      13 |   367669 |    57532 |     8648     11 |      508 |      463
69.59/69.68	c 69.5s |      14 |   371602 |    58352 |     9513     11 |      508 |      463
71.79/71.85	c 71.7s |      14 |   386795 |    60452 |     9513     12 |      511 |      466
73.88/73.93	c 73.8s |      14 |   398984 |    62452 |     9513     12 |      511 |      466
76.18/76.28	c 76.1s |      14 |   400778 |    63352 |     9513     12 |      511 |      466
78.38/78.41	c 78.3s |      14 |   408422 |    64952 |     9513     13 |      512 |      467
80.48/80.50	c 80.4s |      14 |   414021 |    66252 |     9513     13 |      512 |      467
82.58/82.61	c 82.5s |      14 |   422660 |    68052 |     9513     13 |      512 |      467
84.58/84.66	c 84.5s |      14 |   425572 |    69052 |     9513     13 |      512 |      467
86.77/86.88	c 86.7s |      14 |   428083 |    70052 |     9513     14 |      512 |      467
88.97/89.08	c 88.9s |      14 |   433171 |    71252 |     9513     14 |      512 |      467
91.17/91.23	c 91.1s |      14 |   443104 |    73052 |     9513     14 |      512 |      467
93.17/93.26	c 93.1s |      14 |   455998 |    75052 |     9513     15 |      512 |      467
95.27/95.31	c 95.2s |      14 |   473910 |    77352 |     9513     15 |      512 |      467
97.37/97.49	c 97.4s |      14 |   483271 |    79152 |     9513     15 |      513 |      468
99.47/99.50	c 99.4s |      14 |   486169 |    80052 |     9513     15 |      513 |      468
101.48/101.55	c  101s |      14 |   489979 |    80852 |     9513     16 |      513 |      468
103.87/103.90	c  103s |      14 |   492206 |    81652 |     9513     16 |      513 |      468
105.78/105.90	c  105s |      14 |   497156 |    82552 |     9513     16 |      513 |      468
107.87/107.97	c  107s |      14 |   503528 |    83952 |     9513     16 |      513 |      468
109.97/110.00	c  109s |      14 |   514951 |    85452 |     9513     17 |      513 |      468
112.07/112.12	c  111s |      14 |   525838 |    87552 |    10465     17 |      513 |      468
112.07/112.19	c  112s |      15 |   526128 |    87632 |    10465     17 |      513 |      468
114.17/114.23	c  114s |      15 |   535420 |    89632 |    10465     17 |      513 |      468
116.27/116.36	c  116s |      15 |   539044 |    91032 |    10465     17 |      513 |      468
118.37/118.40	c  118s |      15 |   542471 |    92232 |    10465     18 |      513 |      468
120.46/120.51	c  120s |      15 |   551634 |    94032 |    10465     18 |      513 |      468
122.46/122.55	c  122s |      15 |   554118 |    94932 |    10465     18 |      513 |      468
124.57/124.64	c  124s |      15 |   556937 |    95932 |    10465     18 |      513 |      468
126.77/126.87	c  126s |      15 |   558992 |    96832 |    10465     18 |      513 |      468
128.87/129.00	c  128s |      15 |   560569 |    97532 |    10465     18 |      513 |      468
130.96/131.02	c  130s |      15 |   562152 |    98232 |    10465     18 |      513 |      468
133.06/133.18	c  133s |      15 |   564559 |    99232 |    10465     19 |      513 |      468
135.06/135.19	c  135s |      15 |   568551 |   100432 |    10465     19 |      513 |      468
137.16/137.27	c  137s |      15 |   571738 |   101332 |    10465     19 |      514 |      469
139.15/139.28	c  139s |      15 |   582821 |   103232 |    10465     19 |      514 |      469
141.25/141.31	c  141s |      15 |   592709 |   104932 |    10465     20 |      514 |      469
143.35/143.44	c  143s |      15 |   599257 |   106032 |    10465     20 |      514 |      469
145.75/145.84	c  145s |      15 |   607988 |   107532 |    10465     20 |      514 |      469
147.75/147.87	c  147s |      15 |   613691 |   108732 |    10465     20 |      514 |      469
149.86/149.93	c  149s |      15 |   623919 |   110732 |    10465     21 |      514 |      469
151.85/151.97	c  151s |      15 |   638433 |   112932 |    10465     21 |      514 |      469
153.85/153.98	c  153s |      15 |   649695 |   115132 |    10465     21 |      514 |      469
155.95/156.04	c  155s |      15 |   653661 |   116632 |    10465     22 |      514 |      469
157.95/158.05	c  157s |      15 |   659400 |   118432 |    10465     22 |      514 |      469
159.94/160.06	c  159s |      15 |   667252 |   120032 |    10465     22 |      514 |      469
162.04/162.10	c  161s |      15 |   673666 |   121632 |    10465     23 |      514 |      469
164.15/164.24	c  164s |      15 |   678454 |   123032 |    10465     23 |      514 |      469
166.14/166.24	c  166s |      15 |   689598 |   125032 |    10465     23 |      514 |      469
168.14/168.25	c  168s |      15 |   706351 |   127032 |    10465     24 |      514 |      469
170.24/170.34	c  170s |      15 |   710991 |   128332 |    10465     24 |      514 |      469
172.33/172.47	c  172s |      15 |   718534 |   129632 |    10465     24 |      514 |      469
174.23/174.31	c  174s |      16 |   727359 |   131552 |    11512     25 |      514 |      469
176.33/176.41	c  176s |      16 |   732710 |   133052 |    11512     25 |      514 |      469
178.44/178.51	c  178s |      16 |   735733 |   134152 |    11512     25 |      514 |      469
180.43/180.56	c  180s |      16 |   745273 |   135752 |    11512     26 |      514 |      469
182.53/182.64	c  182s |      16 |   757062 |   137652 |    11512     26 |      517 |      472
184.63/184.77	c  184s |      16 |   764304 |   139552 |    11512     26 |      517 |      472
186.73/186.86	c  186s |      16 |   768513 |   140652 |    11512     27 |      517 |      472
189.03/189.17	c  189s |      16 |   773574 |   142052 |    11512     27 |      517 |      472
191.32/191.41	c  191s |      16 |   778080 |   143452 |    11512     27 |      517 |      472
193.42/193.56	c  193s |      16 |   787580 |   145152 |    11512     27 |      517 |      472
195.52/195.65	c  195s |      16 |   789490 |   145752 |    11512     27 |      517 |      472
197.62/197.72	c  197s |      16 |   797543 |   147052 |    11512     28 |      517 |      472
199.72/199.83	c  199s |      16 |   805915 |   148952 |    11512     28 |      517 |      472
201.81/201.95	c  201s |      16 |   808715 |   149952 |    11512     28 |      517 |      472
203.91/204.01	c  203s |      16 |   813975 |   151352 |    11512     29 |      517 |      472
206.01/206.11	c  205s |      16 |   818037 |   152752 |    11512     29 |      517 |      472
208.31/208.44	c  208s |      16 |   821581 |   153752 |    11512     29 |      517 |      472
210.51/210.62	c  210s |      16 |   823619 |   154552 |    11512     29 |      517 |      472
212.61/212.79	c  212s |      16 |   825806 |   155352 |    11512     30 |      517 |      472
214.72/214.89	c  214s |      16 |   829143 |   156252 |    11512     30 |      517 |      472
217.01/217.10	c  216s |      16 |   832156 |   157152 |    11512     30 |      517 |      472
219.12/219.27	c  219s |      16 |   834154 |   157752 |    11512     30 |      518 |      473
221.21/221.31	c  221s |      16 |   840511 |   159052 |    11512     30 |      518 |      473
223.20/223.31	c  223s |      16 |   847196 |   160452 |    11512     31 |      518 |      473
225.30/225.43	c  225s |      16 |   850484 |   161552 |    11512     31 |      518 |      473
227.30/227.48	c  227s |      16 |   853340 |   162452 |    11512     31 |      518 |      473
229.40/229.52	c  229s |      16 |   855873 |   163252 |    11512     31 |      518 |      473
231.60/231.71	c  231s |      16 |   858882 |   164052 |    11512     32 |      518 |      473
233.60/233.72	c  233s |      16 |   860697 |   164652 |    11512     32 |      518 |      473
235.70/235.82	c  235s |      16 |   865440 |   165452 |    11512     32 |      518 |      473
237.80/237.92	c  237s |      16 |   874173 |   167152 |    11512     33 |      519 |      474
239.90/240.02	c  239s |      16 |   882318 |   168852 |    11512     33 |      519 |      474
241.99/242.12	c  241s |      16 |   884406 |   169552 |    11512     33 |      519 |      474
244.09/244.22	c  244s |      16 |   886147 |   170152 |    11512     33 |      519 |      474
246.09/246.28	c  246s |      16 |   888722 |   171052 |    11512     33 |      519 |      474
248.39/248.52	c  248s |      16 |   890483 |   171652 |    11512     33 |      519 |      474
250.39/250.55	c  250s |      16 |   902925 |   173752 |    11512     34 |      519 |      474
252.38/252.56	c  252s |      16 |   914936 |   175852 |    11512     35 |      519 |      474
254.48/254.66	c  254s |      16 |   921461 |   177652 |    11512     35 |      519 |      474
256.58/256.70	c  256s |      16 |   926225 |   179152 |    11512     35 |      519 |      474
258.59/258.77	c  258s |      16 |   930751 |   180952 |    11512     36 |      519 |      474
260.68/260.80	c  260s |      16 |   934672 |   182552 |    11512     36 |      519 |      474
262.68/262.82	c  262s |      16 |   940942 |   184452 |    11512     37 |      519 |      474
264.68/264.89	c  264s |      16 |   943712 |   185652 |    11512     37 |      519 |      474
266.78/266.91	c  266s |      16 |   948134 |   187452 |    11512     38 |      519 |      474
268.79/268.97	c  268s |      16 |   959428 |   189652 |    11512     39 |      519 |      474
270.88/271.05	c  270s |      16 |   966879 |   191352 |    11512     39 |      519 |      474
272.99/273.12	c  272s |      16 |   971004 |   192852 |    11512     40 |      519 |      474
275.09/275.23	c  275s |      16 |   975465 |   194352 |    11512     40 |      519 |      474
277.08/277.24	c  277s |      16 |   978110 |   195452 |    11512     41 |      519 |      474
279.08/279.26	c  279s |      16 |   981642 |   196752 |    12664     41 |      519 |      474
280.58/280.73	c  280s |      17 |   983389 |   197432 |    12664     41 |      519 |      474
282.68/282.81	c  282s |      17 |   990850 |   199332 |    12664     41 |      519 |      474
284.87/285.07	c  284s |      17 |   994401 |   200432 |    12664     42 |      519 |      474
286.97/287.13	c  286s |      17 |   996749 |   201232 |    12664     42 |      519 |      474
289.38/289.58	c  289s |      17 |  1000606 |   202432 |    12664     42 |      519 |      474
292.07/292.23	c  292s |      17 |  1001665 |   202932 |    12664     42 |      519 |      474
294.27/294.47	c  294s |      17 |  1002494 |   203332 |    12664     42 |      519 |      474
296.37/296.54	c  296s |      17 |  1003475 |   203732 |    12664     42 |      519 |      474
298.47/298.61	c  298s |      17 |  1008799 |   205332 |    12664     43 |      519 |      474
300.48/300.68	c  300s |      17 |  1011772 |   206432 |    12664     43 |      519 |      474
302.67/302.89	c  302s |      17 |  1014122 |   207232 |    12664     43 |      519 |      474
305.06/305.29	c  305s |      17 |  1015307 |   207732 |    12664     43 |      519 |      474
307.56/307.79	c  307s |      17 |  1016322 |   208232 |    12664     43 |      519 |      474
309.66/309.88	c  309s |      17 |  1020052 |   209632 |    12664     44 |      519 |      474
311.76/311.92	c  311s |      17 |  1023985 |   211132 |    12664     44 |      519 |      474
313.76/313.98	c  313s |      17 |  1027007 |   212232 |    12664     45 |      519 |      474
315.96/316.10	c  315s |      17 |  1032045 |   213932 |    12664     45 |      519 |      474
318.06/318.23	c  318s |      17 |  1037508 |   215432 |    12664     45 |      519 |      474
320.06/320.27	c  320s |      17 |  1043073 |   217132 |    12664     46 |      519 |      474
322.25/322.43	c  322s |      17 |  1045431 |   218132 |    12664     46 |      519 |      474
324.35/324.59	c  324s |      17 |  1047467 |   219032 |    12664     46 |      519 |      474
326.55/326.70	c  326s |      17 |  1050838 |   220232 |    12664     47 |      519 |      474
328.65/328.83	c  328s |      17 |  1054088 |   221432 |    12664     47 |      519 |      474
330.74/330.99	c  330s |      17 |  1057165 |   222432 |    12664     47 |      519 |      474
333.25/333.47	c  333s |      17 |  1059174 |   223132 |    12664     47 |      519 |      474
335.35/335.50	c  335s |      17 |  1062900 |   224432 |    12664     48 |      519 |      474
337.45/337.64	c  337s |      17 |  1066431 |   225732 |    12664     48 |      519 |      474
339.55/339.70	c  339s |      17 |  1068246 |   226632 |    12664     48 |      519 |      474
341.65/341.82	c  341s |      17 |  1073476 |   228332 |    12664     49 |      519 |      474
343.65/343.85	c  343s |      17 |  1077428 |   229632 |    12664     49 |      519 |      474
345.84/346.09	c  345s |      17 |  1080088 |   230532 |    12664     50 |      519 |      474
348.04/348.21	c  348s |      17 |  1086078 |   232232 |    12664     50 |      519 |      474
350.34/350.53	c  350s |      17 |  1089666 |   233432 |    12664     50 |      519 |      474
352.34/352.57	c  352s |      17 |  1094682 |   234732 |    12664     51 |      519 |      474
354.54/354.71	c  354s |      17 |  1098160 |   235932 |    12664     51 |      519 |      474
356.64/356.86	c  356s |      17 |  1100174 |   236732 |    12664     51 |      519 |      474
358.65/358.88	c  358s |      17 |  1102681 |   237532 |    12664     52 |      519 |      474
360.74/360.94	c  360s |      17 |  1107211 |   238832 |    12664     52 |      519 |      474
362.93/363.10	c  362s |      17 |  1111020 |   240032 |    12664     52 |      519 |      474
364.93/365.15	c  365s |      17 |  1114678 |   241032 |    12664     53 |      519 |      474
367.03/367.27	c  367s |      17 |  1119176 |   242232 |    12664     53 |      519 |      474
369.13/369.34	c  369s |      17 |  1122765 |   243432 |    12664     53 |      519 |      474
371.23/371.40	c  371s |      17 |  1127584 |   244732 |    12664     54 |      519 |      474
373.33/373.51	c  373s |      17 |  1130338 |   245732 |    12664     54 |      519 |      474
375.53/375.79	c  375s |      17 |  1133619 |   246732 |    12664     54 |      519 |      474
377.63/377.86	c  377s |      17 |  1137173 |   247832 |    12664     55 |      519 |      474
379.83/380.04	c  379s |      17 |  1140331 |   248932 |    12664     55 |      519 |      474
381.83/382.06	c  381s |      17 |  1142360 |   249732 |    12664     55 |      519 |      474
383.93/384.18	c  384s |      17 |  1144074 |   250432 |    12664     56 |      519 |      474
386.13/386.31	c  386s |      17 |  1155075 |   252332 |    12664     56 |      519 |      474
388.22/388.40	c  388s |      17 |  1164485 |   254332 |    12664     57 |      519 |      474
390.22/390.47	c  390s |      17 |  1179866 |   256632 |    12664     58 |      519 |      474
392.31/392.53	c  392s |      17 |  1192658 |   258932 |    12664     59 |      520 |      475
394.41/394.61	c  394s |      17 |  1202745 |   260932 |    12664     60 |      520 |      475
396.41/396.68	c  396s |      17 |  1212346 |   262932 |    12664     61 |      520 |      475
398.51/398.76	c  398s |      17 |  1221402 |   265032 |    12664     62 |      520 |      475
400.61/400.88	c  400s |      17 |  1227125 |   266632 |    12664     63 |      520 |      475
402.71/402.93	c  402s |      17 |  1235234 |   268532 |    12664     64 |      520 |      475
404.81/405.02	c  404s |      17 |  1241211 |   270132 |    12664     64 |      520 |      475
406.91/407.12	c  406s |      17 |  1247035 |   271732 |    12664     65 |      520 |      475
409.00/409.22	c  409s |      17 |  1251668 |   273132 |    12664     66 |      520 |      475
411.10/411.31	c  411s |      17 |  1257443 |   274632 |    12664     67 |      520 |      475
413.10/413.39	c  413s |      17 |  1266665 |   276532 |    12664     68 |      520 |      475
415.50/415.75	c  415s |      17 |  1278863 |   278632 |    12664     70 |      520 |      475
417.60/417.81	c  417s |      17 |  1289813 |   280632 |    12664     71 |      520 |      475
419.70/419.93	c  419s |      17 |  1297582 |   282532 |    12664     72 |      520 |      475
421.69/421.98	c  421s |      17 |  1304606 |   284432 |    12664     73 |      520 |      475
423.79/424.02	c  423s |      17 |  1310725 |   286032 |    12664     74 |      520 |      475
425.80/426.03	c  425s |      17 |  1315582 |   287532 |    12664     75 |      520 |      475
427.90/428.12	c  427s |      17 |  1319762 |   288732 |    12664     76 |      520 |      475
430.00/430.21	c  430s |      17 |  1324305 |   290232 |    12664     76 |      520 |      475
432.10/432.32	c  432s |      17 |  1329616 |   291932 |    12664     77 |      520 |      475
434.10/434.33	c  434s |      17 |  1333212 |   293132 |    12664     78 |      520 |      475
436.19/436.46	c  436s |      17 |  1337884 |   294432 |    13931     79 |      520 |      475
438.19/438.49	c  438s |      17 |  1343352 |   295732 |    13931     79 |      520 |      475
439.00/439.29	c  439s |      18 |  1345729 |   296252 |    13931     79 |      520 |      475
441.20/441.49	c  441s |      18 |  1351259 |   297552 |    13931     80 |      520 |      475
443.30/443.56	c  443s |      18 |  1356460 |   298952 |    13931     81 |      520 |      475
445.29/445.58	c  445s |      18 |  1364332 |   301052 |    13931     81 |      520 |      475
447.39/447.64	c  447s |      18 |  1369554 |   302552 |    13931     82 |      521 |      476
449.39/449.69	c  449s |      18 |  1375233 |   304252 |    13931     82 |      521 |      476
451.59/451.84	c  451s |      18 |  1382246 |   306052 |    13931     83 |      521 |      476
453.69/453.90	c  453s |      18 |  1392808 |   308052 |    13931     85 |      522 |      477
455.68/455.92	c  455s |      18 |  1399555 |   309652 |    13931     85 |      522 |      477
457.88/458.13	c  457s |      18 |  1404061 |   311152 |    13931     86 |      522 |      477
459.98/460.20	c  460s |      18 |  1414961 |   313252 |    13931     88 |      522 |      477
462.18/462.41	c  462s |      18 |  1418675 |   314752 |    13931     88 |      522 |      477
464.18/464.47	c  464s |      18 |  1425041 |   316052 |    13931     89 |      523 |      478
466.27/466.52	c  466s |      18 |  1435497 |   317752 |    13931     90 |      524 |      479
468.27/468.59	c  468s |      18 |  1442949 |   319252 |    13931     91 |      524 |      479
470.37/470.60	c  470s |      18 |  1450838 |   320952 |    13931     93 |      524 |      479
472.37/472.62	c  472s |      18 |  1457640 |   322652 |    13931     94 |      524 |      479
474.37/474.65	c  474s |      18 |  1466694 |   324452 |    13931     95 |      524 |      479
476.47/476.75	c  476s |      18 |  1475890 |   326552 |    13931     97 |      524 |      479
478.58/478.87	c  478s |      18 |  1480577 |   327852 |    13931     99 |      524 |      479
480.68/480.99	c  480s |      18 |  1486455 |   329352 |    13931     99 |      524 |      479
482.77/483.03	c  482s |      18 |  1490541 |   330852 |    13931    101 |      524 |      479
485.37/485.67	c  485s |      18 |  1495231 |   332452 |    13931    102 |      524 |      479
487.47/487.73	c  487s |      18 |  1498398 |   333452 |    13931    103 |      524 |      479
489.67/489.92	c  489s |      18 |  1513318 |   335552 |    13931    108 |      525 |      480
491.67/491.99	c  491s |      18 |  1527219 |   337552 |    13931    122 |      525 |      480
494.06/494.34	c  494s |      18 |  1533220 |   338852 |    13931    123 |      525 |      480
496.17/496.48	c  496s |      18 |  1539081 |   340052 |    13931    145 |      525 |      480
498.27/498.55	c  498s |      18 |  1544561 |   341652 |    13931    148 |      525 |      480
500.36/500.62	c  500s |      18 |  1553090 |   343652 |    13931    188 |      525 |      480
502.46/502.72	c  502s |      18 |  1558632 |   345052 |    13931    268 |      525 |      480
504.56/504.83	c  504s |      18 |  1567600 |   346752 |    13931    341 |      525 |      480
506.96/507.27	c  507s |      18 |  1574106 |   347652 |    13931    621 |      525 |      480
509.05/509.31	c  509s |      18 |  1578088 |   348152 |    13931    891 |      525 |      480
511.15/511.45	c  511s |      18 |  1582171 |   348952 |    13931   1139 |      525 |      480
513.25/513.53	c  513s |      18 |  1590228 |   350352 |    13931   1300 |      525 |      480
515.96/516.29	c  516s |      18 |  1594754 |   350952 |    13931   1726 |      525 |      480
518.65/518.93	c  518s |      18 |  1597590 |   351252 |    13931   2164 |      525 |      480
520.74/521.08	c  520s |      18 |  1600487 |   351452 |    13931   2551 |      525 |      480
523.74/524.02	c  523s |      18 |  1604707 |   351952 |    13931   3029 |      525 |      480
525.75/526.09	c  525s |      18 |  1608473 |   352652 |    13931   3309 |      525 |      480
527.84/528.11	c  527s |      18 |  1611305 |   353652 |    13931   3443 |      525 |      480
529.84/530.12	c  529s |      18 |  1613725 |   353952 |    13931   3775 |      525 |      480
532.45/532.77	c  532s |      18 |  1616076 |   354152 |    13931   4243 |      525 |      480
534.44/534.79	c  534s |      18 |  1621314 |   355552 |    13931   4334 |      525 |      480
536.64/536.93	c  536s |      18 |  1626365 |   356752 |    13931   4451 |      525 |      480
538.64/538.97	c  538s |      18 |  1632362 |   358352 |    13931   4498 |      525 |      480
540.73/541.04	c  540s |      18 |  1638415 |   360052 |    13931   4511 |      525 |      480
542.83/543.12	c  542s |      18 |  1644705 |   361452 |    13931   4612 |      525 |      480
544.83/545.19	c  545s |      18 |  1649321 |   362552 |    13931   4731 |      525 |      480
547.33/547.63	c  547s |      18 |  1650294 |   362752 |    13931   5040 |      525 |      480
549.43/549.71	c  549s |      18 |  1651864 |   363052 |    13931   5330 |      525 |      480
551.62/551.99	c  551s |      18 |  1655073 |   363952 |    13931   5538 |      525 |      480
553.72/554.04	c  553s |      18 |  1659131 |   365252 |    13931   5635 |      525 |      480
555.82/556.17	c  556s |      18 |  1665175 |   366752 |    13931   5737 |      525 |      480
557.92/558.23	c  558s |      18 |  1669020 |   367752 |    13931   5902 |      525 |      480
559.94/560.29	c  560s |      18 |  1671003 |   368452 |    13931   6095 |      525 |      480
563.23/563.56	c  563s |      18 |  1673948 |   369252 |    13931   6428 |      525 |      480
565.33/565.64	c  565s |      18 |  1676831 |   370052 |    13931   6641 |      525 |      480
567.42/567.75	c  567s |      18 |  1678497 |   370452 |    13931   6899 |      525 |      480
572.61/572.93	c  572s |      18 |  1680034 |   370652 |    13931   7643 |      525 |      480
574.61/574.96	c  574s |      18 |  1681445 |   371052 |    13931   7884 |      525 |      480
577.31/577.63	c  577s |      18 |  1682659 |   371452 |    13931   8204 |      525 |      480
579.73/580.04	c  579s |      18 |  1683450 |   371752 |    13931   8503 |      525 |      480
582.21/582.54	c  582s |      18 |  1684872 |   372052 |    13931   8873 |      525 |      480
585.81/586.11	c  585s |      18 |  1685931 |   372152 |    13931   9494 |      525 |      480
588.91/589.24	c  589s |      18 |  1687177 |   372352 |    13931  10009 |      525 |      480
591.20/591.50	c  591s |      18 |  1687846 |   372452 |    13931  10382 |      525 |      480
593.40/593.77	c  593s |      18 |  1688975 |   372652 |    13931  10740 |      525 |      480
596.11/596.42	c  596s |      18 |  1689590 |   372852 |    13931  11160 |      525 |      480
599.01/599.34	c  599s |      18 |  1690381 |   373052 |    13931  11624 |      525 |      480
601.70/602.02	c  601s |      18 |  1691423 |   373252 |    13931  12039 |      525 |      480
603.69/604.04	c  603s |      18 |  1693006 |   373752 |    13931  12263 |      525 |      480
606.29/606.61	c  606s |      18 |  1693740 |   373952 |    13931  12691 |      525 |      480
608.90/609.26	c  609s |      18 |  1694586 |   374252 |    13931  13109 |      525 |      480
611.00/611.34	c  611s |      18 |  1695200 |   374352 |    13931  13468 |      525 |      480
614.59/614.91	c  614s |      18 |  1696054 |   374552 |    13931  14064 |      525 |      480
617.79/618.13	c  617s |      18 |  1697048 |   374652 |    13931  14628 |      525 |      480
619.90/620.27	c  620s |      18 |  1697808 |   374952 |    13931  14929 |      525 |      480
622.09/622.47	c  622s |      18 |  1698449 |   375052 |    13931  15292 |      525 |      480
624.28/624.63	c  624s |      18 |  1699094 |   375252 |    13931  15617 |      525 |      480
626.29/626.65	c  626s |      18 |  1699632 |   375352 |    13931  15956 |      525 |      480
628.99/629.36	c  629s |      18 |  1700854 |   375752 |    13931  16342 |      525 |      480
631.98/632.30	c  632s |      18 |  1701693 |   376052 |    13931  16776 |      525 |      480
634.77/635.13	c  634s |      18 |  1702345 |   376252 |    13931  17219 |      525 |      480
637.08/637.47	c  637s |      18 |  1703495 |   376552 |    13931  17557 |      525 |      480
640.18/640.57	c  640s |      18 |  1704608 |   376852 |    13931  18054 |      525 |      480
644.37/644.71	c  644s |      18 |  1706595 |   377352 |    13931  18666 |      525 |      480
646.47/646.87	c  646s |      18 |  1707825 |   377652 |    13931  18977 |      525 |      480
649.47/649.88	c  649s |      18 |  1708980 |   377952 |    13931  19429 |      525 |      480
651.87/652.26	c  652s |      18 |  1709829 |   378152 |    13931  19781 |      525 |      480
653.97/654.34	c  654s |      18 |  1710560 |   378352 |    13931  20102 |      525 |      480
657.17/657.56	c  657s |      18 |  1711549 |   378552 |    13931  20606 |      525 |      480
660.07/660.41	c  660s |      18 |  1712177 |   378752 |    13931  21054 |      525 |      480
663.37/663.79	c  663s |      18 |  1713811 |   379152 |    13931  21528 |      525 |      480
665.76/666.18	c  666s |      18 |  1714804 |   379452 |    13931  21859 |      525 |      480
668.26/668.62	c  668s |      18 |  1716017 |   379852 |    13931  22171 |      525 |      480
671.06/671.49	c  671s |      18 |  1716866 |   380052 |    13931  22558 |      525 |      480
673.76/674.12	c  673s |      18 |  1717615 |   380352 |    13931  22940 |      525 |      480
676.06/676.43	c  676s |      18 |  1718653 |   380652 |    13931  23256 |      525 |      480
679.05/679.41	c  679s |      18 |  1719539 |   380852 |    13931  23726 |      525 |      480
681.15/681.50	c  681s |      18 |  1720482 |   381152 |    13931  24026 |      525 |      480
683.15/683.56	c  683s |      18 |  1721183 |   381352 |    13931  24336 |      525 |      480
685.75/686.14	c  685s |      18 |  1722228 |   381652 |    13931  24708 |      525 |      480
689.15/689.56	c  689s |      18 |  1723112 |   381952 |    13931  25238 |      525 |      480
691.35/691.78	c  691s |      18 |  1723767 |   382152 |    13931  25578 |      525 |      480
694.06/694.46	c  694s |      18 |  1724365 |   382352 |    13931  25998 |      525 |      480
698.14/698.53	c  698s |      18 |  1725222 |   382552 |    13931  26647 |      525 |      480
700.94/701.37	c  701s |      18 |  1725933 |   382752 |    13931  27081 |      525 |      480
704.84/705.29	c  705s |      18 |  1726853 |   383052 |    13931  27656 |      525 |      480
708.44/708.86	c  708s |      18 |  1727574 |   383252 |    13931  28201 |      525 |      480
711.83/712.21	c  712s |      18 |  1728218 |   383452 |    13931  28717 |      525 |      480
715.84/716.25	c  716s |      18 |  1728950 |   383652 |    13931  29346 |      525 |      480
719.84/720.29	c  720s |      18 |  1729693 |   383852 |    13931  29963 |      525 |      480
721.93/722.30	c  722s |      18 |  1730041 |   383952 |    13931  30276 |      525 |      480
725.72/726.19	c  726s |      18 |  1730689 |   384052 |    13931  30908 |      525 |      480
728.83/729.23	c  729s |      18 |  1731300 |   384252 |    13931  31374 |      525 |      480
731.02/731.40	c  731s |      18 |  1731682 |   384352 |    13931  31675 |      525 |      480
733.12/733.52	c  733s |      18 |  1732162 |   384552 |    13931  31948 |      525 |      480
736.72/737.11	c  736s |      18 |  1732861 |   384752 |    13931  32504 |      525 |      480
738.91/739.31	c  739s |      18 |  1733306 |   384852 |    13931  32843 |      525 |      480
742.81/743.29	c  743s |      18 |  1734063 |   385052 |    13931  33454 |      525 |      480
745.72/746.18	c  746s |      18 |  1734664 |   385152 |    13931  33902 |      525 |      480
748.11/748.54	c  748s |      18 |  1735102 |   385252 |    13931  34262 |      525 |      480
750.21/750.68	c  750s |      18 |  1735800 |   385452 |    13931  34557 |      525 |      480
753.20/753.64	c  753s |      18 |  1736481 |   385652 |    13931  34975 |      525 |      480
755.40/755.80	c  755s |      18 |  1737094 |   385852 |    13931  35269 |      525 |      480
759.10/759.52	c  759s |      18 |  1737817 |   386052 |    13931  35802 |      525 |      480
763.50/763.95	c  763s |      18 |  1738630 |   386252 |    13931  36365 |      525 |      480
765.80/766.25	c  766s |      18 |  1739041 |   386352 |    13931  36698 |      525 |      480
768.11/768.53	c  768s |      18 |  1739570 |   386452 |    13931  37029 |      525 |      480
771.70/772.10	c  771s |      18 |  1740489 |   386652 |    13931  37539 |      525 |      480
774.32/774.77	c  774s |      18 |  1740946 |   386752 |    13931  37937 |      525 |      480
777.80/778.22	c  778s |      18 |  1741790 |   386952 |    13931  38352 |      525 |      480
779.81/780.22	c  780s |      18 |  1742191 |   387052 |    13931  38641 |      525 |      480
782.91/783.34	c  783s |      18 |  1742775 |   387252 |    13931  39089 |      525 |      480
785.40/785.88	c  785s |      18 |  1743235 |   387352 |    13931  39463 |      525 |      480
788.20/788.61	c  788s |      18 |  1743942 |   387552 |    13931  39835 |      525 |      480
791.70/792.10	c  791s |      18 |  1744580 |   387752 |    13931  40326 |      525 |      480
794.40/794.85	c  794s |      18 |  1745045 |   387852 |    13931  40734 |      525 |      480
796.50/796.98	c  796s |      18 |  1745442 |   387952 |    13931  41038 |      525 |      480
799.30/799.74	c  799s |      18 |  1745933 |   388052 |    13931  41442 |      525 |      480
801.40/801.82	c  801s |      18 |  1746235 |   388152 |    13931  41738 |      525 |      480
803.40/803.89	c  803s |      18 |  1746572 |   388252 |    13931  42031 |      525 |      480
805.69/806.14	c  805s |      18 |  1747020 |   388352 |    13931  42359 |      525 |      480
809.60/810.06	c  809s |      18 |  1747726 |   388552 |    13931  42913 |      525 |      480
813.90/814.31	c  814s |      18 |  1748450 |   388752 |    13931  43444 |      525 |      480
816.19/816.64	c  816s |      18 |  1748828 |   388852 |    13931  43767 |      525 |      480
819.41/819.82	c  819s |      18 |  1749288 |   388952 |    13931  44175 |      525 |      480
825.30/825.77	c  825s |      18 |  1750194 |   389052 |    13931  45064 |      525 |      480
827.69/828.14	c  828s |      18 |  1750546 |   389152 |    13931  45416 |      525 |      480
831.90/832.34	c  832s |      18 |  1751159 |   389352 |    13931  46013 |      525 |      480
836.19/836.69	c  836s |      18 |  1751797 |   389552 |    13931  46638 |      525 |      480
839.69/840.16	c  840s |      18 |  1752329 |   389752 |    13931  47132 |      525 |      480
842.69/843.19	c  843s |      18 |  1752691 |   389952 |    13931  47489 |      525 |      480
846.59/847.07	c  846s |      18 |  1753236 |   390152 |    13931  48028 |      525 |      480
849.69/850.12	c  849s |      18 |  1753707 |   390352 |    13931  48466 |      525 |      480
852.30/852.76	c  852s |      18 |  1754069 |   390552 |    13931  48828 |      525 |      480
855.70/856.13	c  855s |      18 |  1754531 |   390752 |    13931  49289 |      525 |      480
858.90/859.33	c  859s |      18 |  1754987 |   390952 |    13931  49740 |      525 |      480
862.09/862.58	c  862s |      18 |  1755501 |   391152 |    13931  50187 |      525 |      480
864.99/865.42	c  865s |      18 |  1755934 |   391352 |    13931  50583 |      525 |      480
868.09/868.53	c  868s |      18 |  1756451 |   391452 |    13931  51046 |      525 |      480
872.58/873.09	c  872s |      18 |  1757131 |   391652 |    13931  51705 |      525 |      480
874.89/875.32	c  875s |      18 |  1757469 |   391752 |    13931  52043 |      525 |      480
876.99/877.49	c  877s |      18 |  1757777 |   391852 |    13931  52351 |      525 |      480
879.59/880.01	c  879s |      18 |  1758175 |   392052 |    13931  52659 |      525 |      480
882.49/882.97	c  882s |      18 |  1758670 |   392252 |    13931  53075 |      525 |      480
887.60/888.10	c  887s |      18 |  1759454 |   392452 |    13931  53795 |      525 |      480
890.58/891.08	c  890s |      18 |  1759857 |   392652 |    13931  54198 |      525 |      480
894.48/894.99	c  894s |      18 |  1760450 |   392752 |    13931  54791 |      525 |      480
897.59/898.08	c  897s |      18 |  1761081 |   392952 |    13931  55237 |      525 |      480
900.39/900.88	c  900s |      18 |  1761628 |   393152 |    13931  55619 |      525 |      480
902.69/903.19	c  903s |      18 |  1761992 |   393252 |    13931  55956 |      525 |      480
906.59/907.05	c  906s |      18 |  1762573 |   393452 |    13931  56499 |      525 |      480
909.88/910.39	c  910s |      18 |  1763123 |   393652 |    13931  56977 |      525 |      480
912.79/913.27	c  913s |      18 |  1763707 |   393852 |    13931  57382 |      525 |      480
915.88/916.36	c  916s |      18 |  1764412 |   394152 |    13931  57800 |      525 |      480
919.39/919.88	c  919s |      18 |  1764909 |   394352 |    13931  58294 |      525 |      480
923.08/923.57	c  923s |      18 |  1765488 |   394552 |    13931  58824 |      525 |      480
925.48/925.98	c  925s |      18 |  1765822 |   394752 |    13931  59144 |      525 |      480
928.48/928.92	c  928s |      18 |  1766237 |   394952 |    13931  59554 |      525 |      480
931.18/931.66	c  931s |      18 |  1766630 |   395152 |    13931  59920 |      525 |      480
933.98/934.44	c  934s |      18 |  1767007 |   395252 |    13931  60268 |      525 |      480
937.28/937.76	c  937s |      18 |  1767529 |   395452 |    13931  60688 |      525 |      480
940.29/940.74	c  940s |      18 |  1767973 |   395552 |    13931  61127 |      525 |      480
943.38/943.89	c  943s |      18 |  1768529 |   395752 |    13931  61565 |      525 |      480
949.37/949.84	c  949s |      18 |  1769482 |   395952 |    13931  62444 |      525 |      480
952.98/953.41	c  953s |      18 |  1770071 |   396152 |    13931  62947 |      525 |      480
956.17/956.67	c  956s |      18 |  1770658 |   396352 |    13931  63409 |      525 |      480
959.08/959.51	c  959s |      18 |  1771156 |   396552 |    13931  63792 |      525 |      480
961.38/961.88	c  961s |      18 |  1771533 |   396652 |    13931  64132 |      525 |      480
964.07/964.52	c  964s |      18 |  1771878 |   396752 |    13931  64473 |      525 |      480
966.57/967.01	c  966s |      18 |  1772175 |   396852 |    13931  64770 |      525 |      480
968.57/969.09	c  968s |      18 |  1772479 |   396952 |    13931  65068 |      525 |      480
972.08/972.59	c  972s |      18 |  1772951 |   397152 |    13931  65540 |      525 |      480
974.68/975.13	c  974s |      18 |  1773266 |   397252 |    13931  65855 |      525 |      480
976.87/977.35	c  977s |      18 |  1773557 |   397352 |    13931  66146 |      525 |      480
979.27/979.77	c  979s |      18 |  1773868 |   397552 |    13931  66457 |      525 |      480
982.57/983.09	c  982s |      18 |  1774324 |   397752 |    13931  66904 |      525 |      480
985.07/985.55	c  985s |      18 |  1774643 |   397952 |    13931  67220 |      525 |      480
987.68/988.15	c  988s |      18 |  1774982 |   398152 |    13931  67559 |      525 |      480
990.37/990.85	c  990s |      18 |  1775333 |   398352 |    13931  67910 |      525 |      480
994.07/994.54	c  994s |      18 |  1775873 |   398552 |    13931  68426 |      525 |      480
997.76/998.29	c  998s |      18 |  1776400 |   398752 |    13931  68953 |      525 |      480
1001.57/1002.06	c 1001s |      18 |  1776930 |   398952 |    13931  69482 |      525 |      480
1004.87/1005.37	c 1005s |      18 |  1777394 |   399152 |    13931  69943 |      525 |      480
1008.66/1009.13	c 1008s |      18 |  1777991 |   399352 |    13931  70457 |      525 |      480
1010.78/1011.21	c 1011s |      18 |  1778312 |   399452 |    13931  70750 |      525 |      480
1013.97/1014.47	c 1014s |      18 |  1778800 |   399552 |    13931  71238 |      525 |      480
1016.76/1017.27	c 1017s |      18 |  1779203 |   399652 |    13931  71641 |      525 |      480
1020.16/1020.68	c 1020s |      18 |  1779704 |   399752 |    13931  72142 |      525 |      480
1023.76/1024.20	c 1024s |      18 |  1780200 |   399952 |    13931  72638 |      525 |      480
1026.17/1026.64	c 1026s |      18 |  1780554 |   400052 |    13931  72985 |      525 |      480
1028.96/1029.44	c 1029s |      18 |  1780970 |   400152 |    13931  73394 |      525 |      480
1031.26/1031.77	c 1031s |      18 |  1781309 |   400252 |    13931  73724 |      525 |      480
1033.36/1033.85	c 1033s |      18 |  1781614 |   400352 |    13931  74017 |      525 |      480
1038.97/1039.40	c 1039s |      18 |  1782415 |   400552 |    13931  74818 |      525 |      480
1042.46/1042.96	c 1042s |      18 |  1782987 |   400652 |    13931  75351 |      525 |      480
1046.76/1047.24	c 1047s |      18 |  1783626 |   400852 |    13931  75966 |      525 |      480
1050.56/1051.07	c 1050s |      18 |  1784173 |   401052 |    13931  76488 |      525 |      480
1053.36/1053.80	c 1053s |      18 |  1784561 |   401152 |    13931  76876 |      525 |      480
1058.46/1058.97	c 1058s |      18 |  1785329 |   401252 |    13931  77644 |      525 |      480
1061.76/1062.20	c 1062s |      18 |  1785782 |   401452 |    13931  78097 |      525 |      480
1064.46/1064.98	c 1064s |      18 |  1786126 |   401552 |    13931  78441 |      525 |      480
1067.86/1068.34	c 1068s |      18 |  1786575 |   401652 |    13931  78890 |      525 |      480
1072.06/1072.56	c 1072s |      18 |  1787165 |   401852 |    13931  79480 |      525 |      480
1074.36/1074.86	c 1074s |      18 |  1787496 |   401952 |    13931  79811 |      525 |      480
1077.56/1078.06	c 1077s |      18 |  1787963 |   402052 |    13931  80278 |      525 |      480
1080.16/1080.70	c 1080s |      18 |  1788343 |   402152 |    13931  80658 |      525 |      480
1082.45/1082.93	c 1082s |      18 |  1788663 |   402252 |    13931  80978 |      525 |      480
1086.15/1086.63	c 1086s |      18 |  1789184 |   402452 |    13931  81499 |      525 |      480
1088.26/1088.72	c 1088s |      18 |  1789482 |   402552 |    13931  81797 |      525 |      480
1090.36/1090.82	c 1090s |      18 |  1789790 |   402652 |    13931  82105 |      525 |      480
1093.75/1094.27	c 1094s |      18 |  1790273 |   402752 |    13931  82588 |      525 |      480
1096.75/1097.27	c 1097s |      18 |  1790711 |   402852 |    13931  83026 |      525 |      480
1099.46/1099.94	c 1099s |      18 |  1791094 |   402952 |    13931  83409 |      525 |      480
1102.46/1103.00	c 1102s |      18 |  1791539 |   403052 |    13931  83854 |      525 |      480
1104.95/1105.45	c 1105s |      18 |  1791896 |   403152 |    13931  84211 |      525 |      480
1107.75/1108.22	c 1108s |      18 |  1792296 |   403252 |    13931  84611 |      525 |      480
1110.76/1111.30	c 1111s |      18 |  1792748 |   403352 |    13931  85063 |      525 |      480
1114.75/1115.27	c 1115s |      18 |  1793318 |   403552 |    13931  85633 |      525 |      480
1120.45/1120.90	c 1120s |      18 |  1794140 |   403752 |    13931  86455 |      525 |      480
1123.54/1124.06	c 1123s |      18 |  1794600 |   403852 |    13931  86915 |      525 |      480
1126.85/1127.32	c 1127s |      18 |  1795068 |   403952 |    13931  87383 |      525 |      480
1128.85/1129.37	c 1129s |      18 |  1795365 |   404052 |    13931  87680 |      525 |      480
1132.34/1132.86	c 1132s |      18 |  1795847 |   404252 |    13931  88162 |      525 |      480
1135.14/1135.66	c 1135s |      18 |  1796238 |   404352 |    13931  88553 |      525 |      480
1137.75/1138.24	c 1138s |      18 |  1796598 |   404452 |    13931  88913 |      525 |      480
1140.25/1140.80	c 1140s |      18 |  1796963 |   404552 |    13931  89278 |      525 |      480
1144.64/1145.12	c 1144s |      18 |  1797607 |   404652 |    13931  89922 |      525 |      480
1149.74/1150.20	c 1150s |      18 |  1798240 |   404852 |    13931  90554 |      525 |      480
1152.95/1153.44	c 1153s |      18 |  1798711 |   404952 |    13931  91025 |      525 |      480
1155.54/1156.09	c 1155s |      18 |  1799089 |   405052 |    13931  91400 |      525 |      480
1159.34/1159.84	c 1159s |      18 |  1799601 |   405252 |    13931  91910 |      525 |      480
1163.25/1163.71	c 1163s |      18 |  1800168 |   405352 |    13931  92477 |      525 |      480
1165.94/1166.48	c 1166s |      18 |  1800561 |   405452 |    13931  92870 |      525 |      480
1170.64/1171.11	c 1170s |      18 |  1801173 |   405652 |    13931  93482 |      525 |      480
1172.85/1173.34	c 1173s |      18 |  1801479 |   405752 |    13931  93788 |      525 |      480
1178.04/1178.55	c 1178s |      18 |  1802260 |   405852 |    13931  94564 |      525 |      480
1182.94/1183.44	c 1183s |      18 |  1802988 |   405952 |    13931  95286 |      525 |      480
1185.84/1186.30	c 1186s |      18 |  1803405 |   406052 |    13931  95702 |      525 |      480
1187.94/1188.46	c 1188s |      18 |  1803713 |   406152 |    13931  96007 |      525 |      480
1190.84/1191.38	c 1191s |      18 |  1804139 |   406252 |    13931  96433 |      525 |      480
1193.14/1193.61	c 1193s |      18 |  1804457 |   406352 |    13931  96751 |      525 |      480
1196.74/1197.24	c 1197s |      18 |  1804966 |   406552 |    13931  97260 |      525 |      480
1200.04/1200.59	c 1200s |      18 |  1805456 |   406652 |    13931  97750 |      525 |      480
1203.93/1204.48	c 1204s |      18 |  1806028 |   406752 |    13931  98322 |      525 |      480
1206.84/1207.37	c 1207s |      18 |  1806448 |   406852 |    13931  98738 |      525 |      480
1210.04/1210.57	c 1210s |      18 |  1806906 |   406952 |    13931  99196 |      525 |      480
1213.94/1214.48	c 1214s |      18 |  1807451 |   407152 |    13931  99741 |      525 |      480
1217.23/1217.77	c 1217s |      18 |  1807885 |   407352 |    13931 100175 |      525 |      480
1222.13/1222.60	c 1222s |      18 |  1808570 |   407552 |    13931 100854 |      525 |      480
1227.03/1227.54	c 1227s |      18 |  1809291 |   407752 |    13931 101552 |      525 |      480
1230.34/1230.80	c 1230s |      18 |  1809781 |   407852 |    13931 102040 |      525 |      480
1234.73/1235.20	c 1235s |      18 |  1810446 |   407952 |    13931 102689 |      525 |      480
1237.13/1237.62	c 1237s |      18 |  1810797 |   408052 |    13931 103040 |      525 |      480
1239.54/1240.05	c 1239s |      18 |  1811144 |   408152 |    13931 103387 |      525 |      480
1242.63/1243.13	c 1242s |      18 |  1811547 |   408252 |    13931 103790 |      525 |      480
1246.23/1246.74	c 1246s |      18 |  1812054 |   408452 |    13931 104297 |      525 |      480
1249.83/1250.34	c 1250s |      18 |  1812585 |   408552 |    13931 104826 |      525 |      480
1252.83/1253.35	c 1253s |      18 |  1813027 |   408652 |    13931 105268 |      525 |      480
1255.83/1256.30	c 1256s |      18 |  1813418 |   408852 |    13931 105659 |      525 |      480
1263.13/1263.61	c 1263s |      18 |  1814486 |   409052 |    13931 106717 |      525 |      480
1265.23/1265.76	c 1265s |      18 |  1814794 |   409152 |    13931 107025 |      525 |      480
1268.92/1269.46	c 1269s |      18 |  1815315 |   409352 |    13931 107546 |      525 |      480
1272.93/1273.48	c 1273s |      18 |  1815876 |   409552 |    13931 108107 |      525 |      480
1276.62/1277.17	c 1277s |      18 |  1816332 |   409752 |    13931 108559 |      525 |      480
1279.32/1279.88	c 1279s |      18 |  1816668 |   409852 |    13931 108895 |      525 |      480
1282.44/1282.93	c 1282s |      18 |  1817101 |   409952 |    13931 109328 |      525 |      480
1286.22/1286.75	c 1286s |      18 |  1817621 |   410152 |    13931 109848 |      525 |      480
1290.22/1290.79	c 1290s |      18 |  1818175 |   410352 |    13931 110402 |      525 |      480
1292.33/1292.88	c 1292s |      18 |  1818467 |   410452 |    13931 110694 |      525 |      480
1296.23/1296.72	c 1296s |      18 |  1818990 |   410652 |    13931 111217 |      525 |      480
1299.82/1300.31	c 1300s |      18 |  1819468 |   410852 |    13931 111695 |      525 |      480
1302.02/1302.50	c 1302s |      18 |  1819729 |   410952 |    13931 111956 |      525 |      480
1306.22/1306.70	c 1306s |      18 |  1820293 |   411152 |    13931 112520 |      525 |      480
1309.52/1310.04	c 1309s |      18 |  1820778 |   411252 |    13931 113005 |      525 |      480
1313.32/1313.84	c 1313s |      18 |  1821284 |   411452 |    13931 113511 |      525 |      480
1316.32/1316.82	c 1316s |      18 |  1821669 |   411652 |    13931 113896 |      525 |      480
1319.52/1320.00	c 1319s |      18 |  1822086 |   411852 |    13931 114313 |      525 |      480
1323.61/1324.14	c 1324s |      18 |  1822664 |   412052 |    13931 114891 |      525 |      480
1326.02/1326.50	c 1326s |      18 |  1822995 |   412152 |    13931 115222 |      525 |      480
1328.72/1329.25	c 1329s |      18 |  1823386 |   412252 |    13931 115613 |      525 |      480
1331.93/1332.45	c 1332s |      18 |  1823801 |   412452 |    13931 116028 |      525 |      480
1335.62/1336.15	c 1336s |      18 |  1824348 |   412552 |    13931 116575 |      525 |      480
1339.62/1340.12	c 1339s |      18 |  1824888 |   412752 |    13931 117115 |      525 |      480
1341.73/1342.27	c 1342s |      18 |  1825185 |   412852 |    13931 117412 |      525 |      480
1345.61/1346.15	c 1346s |      18 |  1825727 |   413052 |    13931 117954 |      525 |      480
1349.31/1349.83	c 1349s |      18 |  1826218 |   413252 |    13931 118445 |      525 |      480
1352.72/1353.30	c 1353s |      18 |  1826677 |   413452 |    13931 118904 |      525 |      480
1355.81/1356.37	c 1356s |      18 |  1827114 |   413552 |    13931 119341 |      525 |      480
1358.22/1358.73	c 1358s |      18 |  1827441 |   413652 |    13931 119668 |      525 |      480
1360.21/1360.77	c 1360s |      18 |  1827721 |   413752 |    13931 119948 |      525 |      480
1363.01/1363.52	c 1363s |      18 |  1828110 |   413852 |    13931 120337 |      525 |      480
1365.91/1366.46	c 1366s |      18 |  1828508 |   414052 |    13931 120735 |      525 |      480
1370.42/1370.94	c 1370s |      18 |  1829129 |   414252 |    13931 121356 |      525 |      480
1373.41/1373.94	c 1373s |      18 |  1829555 |   414352 |    13931 121782 |      525 |      480
1375.82/1376.33	c 1376s |      18 |  1829887 |   414452 |    13931 122114 |      525 |      480
1378.41/1378.98	c 1378s |      18 |  1830227 |   414552 |    13931 122454 |      525 |      480
1380.61/1381.11	c 1380s |      18 |  1830529 |   414652 |    13931 122756 |      525 |      480
1383.31/1383.87	c 1383s |      18 |  1830923 |   414752 |    13931 123150 |      525 |      480
1385.41/1385.96	c 1385s |      18 |  1831215 |   414852 |    13931 123442 |      525 |      480
1389.41/1389.94	c 1389s |      18 |  1831764 |   415052 |    13931 123991 |      525 |      480
1393.42/1393.97	c 1393s |      18 |  1832234 |   415252 |    13931 124461 |      525 |      480
1397.60/1398.18	c 1398s |      18 |  1832802 |   415452 |    13931 125029 |      525 |      480
1401.01/1401.52	c 1401s |      18 |  1833244 |   415652 |    13931 125471 |      525 |      480
1403.01/1403.58	c 1403s |      18 |  1833502 |   415752 |    13931 125729 |      525 |      480
1405.51/1406.07	c 1405s |      18 |  1833848 |   415852 |    13931 126075 |      525 |      480
1408.71/1409.25	c 1409s |      18 |  1834273 |   415952 |    13931 126500 |      525 |      480
1411.02/1411.52	c 1411s |      18 |  1834581 |   416052 |    13931 126808 |      525 |      480
1413.10/1413.67	c 1413s |      18 |  1834866 |   416152 |    13931 127093 |      525 |      480
1415.80/1416.33	c 1416s |      18 |  1835236 |   416252 |    13931 127463 |      525 |      480
1419.60/1420.11	c 1419s |      18 |  1835771 |   416352 |    13931 127998 |      525 |      480
1421.90/1422.42	c 1422s |      18 |  1836082 |   416452 |    13931 128309 |      525 |      480
1425.41/1425.97	c 1425s |      18 |  1836537 |   416652 |    13931 128764 |      525 |      480
1427.51/1428.01	c 1427s |      18 |  1836804 |   416752 |    13931 129031 |      525 |      480
1429.90/1430.45	c 1430s |      18 |  1837138 |   416852 |    13931 129365 |      525 |      480
1433.81/1434.36	c 1434s |      18 |  1837671 |   417052 |    13931 129898 |      525 |      480
1435.90/1436.45	c 1436s |      18 |  1837958 |   417152 |    13931 130185 |      525 |      480
1440.21/1440.75	c 1440s |      18 |  1838544 |   417352 |    13931 130771 |      525 |      480
1443.01/1443.55	c 1443s |      18 |  1838935 |   417452 |    13931 131162 |      525 |      480
1446.40/1446.99	c 1446s |      18 |  1839398 |   417652 |    13931 131625 |      525 |      480
1449.00/1449.54	c 1449s |      18 |  1839742 |   417752 |    13931 131969 |      525 |      480
1451.40/1451.99	c 1451s |      18 |  1840085 |   417852 |    13931 132312 |      525 |      480
1454.40/1454.96	c 1454s |      18 |  1840496 |   417952 |    13931 132723 |      525 |      480
1456.50/1457.03	c 1456s |      18 |  1840767 |   418052 |    13931 132994 |      525 |      480
1460.30/1460.84	c 1460s |      18 |  1841268 |   418252 |    13931 133495 |      525 |      480
1462.60/1463.11	c 1462s |      18 |  1841574 |   418352 |    13931 133801 |      525 |      480
1464.69/1465.21	c 1465s |      18 |  1841844 |   418452 |    13931 134071 |      525 |      480
1467.90/1468.41	c 1468s |      18 |  1842256 |   418652 |    13931 134483 |      525 |      480
1470.19/1470.72	c 1470s |      18 |  1842567 |   418752 |    13931 134794 |      525 |      480
1472.90/1473.46	c 1473s |      18 |  1842945 |   418852 |    13931 135172 |      525 |      480
1475.10/1475.67	c 1475s |      18 |  1843241 |   418952 |    13931 135468 |      525 |      480
1477.50/1478.02	c 1477s |      18 |  1843562 |   419052 |    13931 135789 |      525 |      480
1481.50/1482.03	c 1481s |      18 |  1844069 |   419252 |    13931 136296 |      525 |      480
1485.69/1486.26	c 1486s |      18 |  1844627 |   419452 |    13931 136854 |      525 |      480
1487.89/1488.42	c 1488s |      18 |  1844923 |   419552 |    13931 137150 |      525 |      480
1490.30/1490.85	c 1490s |      18 |  1845253 |   419652 |    13931 137480 |      525 |      480
1493.29/1493.80	c 1493s |      18 |  1845665 |   419752 |    13931 137892 |      525 |      480
1495.70/1496.27	c 1496s |      18 |  1846010 |   419852 |    13931 138237 |      525 |      480
1498.29/1498.80	c 1498s |      18 |  1846348 |   419952 |    13931 138575 |      525 |      480
1501.39/1501.96	c 1501s |      18 |  1846786 |   420052 |    13931 139013 |      525 |      480
1507.99/1508.53	c 1508s |      18 |  1847645 |   420252 |    13931 139872 |      525 |      480
1510.19/1510.72	c 1510s |      18 |  1847940 |   420352 |    13931 140167 |      525 |      480
1512.20/1512.74	c 1512s |      18 |  1848209 |   420452 |    13931 140436 |      525 |      480
1515.19/1515.76	c 1515s |      18 |  1848620 |   420552 |    13931 140847 |      525 |      480
1517.39/1517.98	c 1517s |      18 |  1848909 |   420652 |    13931 141136 |      525 |      480
1519.68/1520.21	c 1520s |      18 |  1849211 |   420752 |    13931 141438 |      525 |      480
1521.79/1522.32	c 1522s |      18 |  1849482 |   420852 |    13931 141709 |      525 |      480
1524.09/1524.68	c 1524s |      18 |  1849762 |   420952 |    13931 141989 |      525 |      480
1528.19/1528.72	c 1528s |      18 |  1850278 |   421152 |    13931 142505 |      525 |      480
1530.48/1531.05	c 1530s |      18 |  1850587 |   421252 |    13931 142814 |      525 |      480
1532.69/1533.21	c 1533s |      18 |  1850875 |   421352 |    13931 143102 |      525 |      480
1534.69/1535.26	c 1535s |      18 |  1851154 |   421452 |    13931 143381 |      525 |      480
1538.18/1538.74	c 1538s |      18 |  1851631 |   421652 |    13931 143858 |      525 |      480
1541.90/1542.40	c 1542s |      18 |  1852104 |   421852 |    13931 144331 |      525 |      480
1543.89/1544.48	c 1544s |      18 |  1852386 |   421952 |    13931 144613 |      525 |      480
1547.89/1548.44	c 1548s |      18 |  1852926 |   422152 |    13931 145153 |      525 |      480
1550.18/1550.79	c 1550s |      18 |  1853242 |   422252 |    13931 145469 |      525 |      480
1553.38/1553.95	c 1553s |      18 |  1853652 |   422452 |    13931 145879 |      525 |      480
1555.58/1556.10	c 1555s |      18 |  1853942 |   422552 |    13931 146169 |      525 |      480
1558.39/1558.94	c 1558s |      18 |  1854344 |   422652 |    13931 146571 |      525 |      480
1560.88/1561.44	c 1561s |      18 |  1854693 |   422752 |    13931 146920 |      525 |      480
1564.28/1564.90	c 1564s |      18 |  1855152 |   422952 |    13931 147379 |      525 |      480
1567.29/1567.85	c 1567s |      18 |  1855572 |   423052 |    13931 147799 |      525 |      480
1569.68/1570.28	c 1570s |      18 |  1855918 |   423152 |    13931 148145 |      525 |      480
1572.08/1572.66	c 1572s |      18 |  1856247 |   423252 |    13931 148474 |      525 |      480
1574.48/1575.05	c 1574s |      18 |  1856582 |   423352 |    13931 148809 |      525 |      480
1576.88/1577.43	c 1577s |      18 |  1856913 |   423452 |    13931 149140 |      525 |      480
1580.68/1581.21	c 1581s |      18 |  1857407 |   423652 |    13931 149634 |      525 |      480
1585.57/1586.10	c 1585s |      18 |  1858041 |   423852 |    13931 150268 |      525 |      480
1587.88/1588.42	c 1588s |      18 |  1858340 |   423952 |    13931 150567 |      525 |      480
1590.08/1590.66	c 1590s |      18 |  1858631 |   424052 |    13931 150858 |      525 |      480
1592.18/1592.70	c 1592s |      18 |  1858890 |   424152 |    13931 151117 |      525 |      480
1595.57/1596.19	c 1596s |      18 |  1859369 |   424252 |    13931 151596 |      525 |      480
1598.37/1598.97	c 1598s |      18 |  1859747 |   424352 |    13931 151974 |      525 |      480
1601.38/1601.96	c 1601s |      18 |  1860150 |   424452 |    13931 152377 |      525 |      480
1605.07/1605.67	c 1605s |      18 |  1860612 |   424652 |    13931 152839 |      525 |      480
1608.67/1609.27	c 1609s |      18 |  1861073 |   424852 |    13931 153300 |      525 |      480
1611.98/1612.53	c 1612s |      18 |  1861477 |   425052 |    13931 153704 |      525 |      480
1617.47/1618.06	c 1617s |      18 |  1862212 |   425252 |    13931 154439 |      525 |      480
1619.77/1620.36	c 1620s |      18 |  1862501 |   425352 |    13931 154728 |      525 |      480
1621.77/1622.36	c 1622s |      18 |  1862748 |   425452 |    13931 154975 |      525 |      480
1625.78/1626.36	c 1626s |      18 |  1863263 |   425652 |    13931 155490 |      525 |      480
1628.27/1628.85	c 1628s |      18 |  1863575 |   425752 |    13931 155802 |      525 |      480
1632.47/1633.00	c 1632s |      18 |  1864117 |   425952 |    13931 156344 |      525 |      480
1634.67/1635.21	c 1635s |      18 |  1864404 |   426052 |    13931 156631 |      525 |      480
1638.38/1638.98	c 1638s |      18 |  1864894 |   426252 |    13931 157121 |      525 |      480
1641.17/1641.71	c 1641s |      18 |  1865266 |   426352 |    13931 157493 |      525 |      480
1644.37/1644.94	c 1644s |      18 |  1865667 |   426552 |    13931 157894 |      525 |      480
1647.47/1648.09	c 1647s |      18 |  1866070 |   426752 |    13931 158297 |      525 |      480
1651.66/1652.29	c 1652s |      18 |  1866618 |   426952 |    13931 158845 |      525 |      480
1654.56/1655.18	c 1655s |      18 |  1867007 |   427052 |    13931 159234 |      525 |      480
1657.17/1657.76	c 1657s |      18 |  1867357 |   427152 |    13931 159584 |      525 |      480
1659.27/1659.82	c 1659s |      18 |  1867626 |   427252 |    13931 159853 |      525 |      480
1662.67/1663.21	c 1663s |      18 |  1868066 |   427452 |    13931 160293 |      525 |      480
1665.57/1666.10	c 1665s |      18 |  1868451 |   427552 |    13931 160678 |      525 |      480
1668.87/1669.46	c 1669s |      18 |  1868871 |   427752 |    13931 161098 |      525 |      480
1672.06/1672.69	c 1672s |      18 |  1869291 |   427852 |    13931 161518 |      525 |      480
1676.46/1677.05	c 1676s |      18 |  1869882 |   428052 |    13931 162109 |      525 |      480
1678.87/1679.41	c 1679s |      18 |  1870183 |   428152 |    13931 162410 |      525 |      480
1681.58/1682.11	c 1681s |      18 |  1870515 |   428252 |    13931 162742 |      525 |      480
1683.57/1684.17	c 1684s |      18 |  1870783 |   428352 |    13931 163010 |      525 |      480
1687.57/1688.18	c 1688s |      18 |  1871296 |   428552 |    13931 163523 |      525 |      480
1690.86/1691.48	c 1691s |      18 |  1871701 |   428752 |    13931 163928 |      525 |      480
1694.36/1694.96	c 1694s |      18 |  1872177 |   428852 |    13931 164404 |      525 |      480
1697.66/1698.23	c 1698s |      18 |  1872608 |   428952 |    13931 164835 |      525 |      480
1700.16/1700.72	c 1700s |      18 |  1872945 |   429052 |    13931 165172 |      525 |      480
1702.96/1703.55	c 1703s |      18 |  1873311 |   429252 |    13931 165538 |      525 |      480
1705.46/1706.05	c 1705s |      18 |  1873601 |   429352 |    13931 165828 |      525 |      480
1707.76/1708.33	c 1708s |      18 |  1873873 |   429452 |    13931 166100 |      525 |      480
1710.17/1710.71	c 1710s |      18 |  1874144 |   429552 |    13931 166371 |      525 |      480
1712.56/1713.13	c 1712s |      18 |  1874460 |   429652 |    13931 166687 |      525 |      480
1715.46/1716.08	c 1715s |      18 |  1874865 |   429752 |    13931 167092 |      525 |      480
1717.66/1718.28	c 1718s |      18 |  1875156 |   429852 |    13931 167383 |      525 |      480
1719.76/1720.36	c 1720s |      18 |  1875433 |   429952 |    13931 167660 |      525 |      480
1722.96/1723.57	c 1723s |      18 |  1875844 |   430152 |    13931 168071 |      525 |      480
1726.77/1727.34	c 1727s |      18 |  1876321 |   430352 |    13931 168548 |      525 |      480
1731.45/1732.08	c 1731s |      18 |  1876945 |   430552 |    13931 169172 |      525 |      480
1733.76/1734.30	c 1734s |      18 |  1877229 |   430652 |    13931 169456 |      525 |      480
1738.36/1738.94	c 1738s |      18 |  1877839 |   430852 |    13931 170066 |      525 |      480
1740.45/1741.05	c 1740s |      18 |  1878119 |   430952 |    13931 170346 |      525 |      480
1742.86/1743.41	c 1743s |      18 |  1878435 |   431052 |    13931 170662 |      525 |      480
1745.66/1746.24	c 1746s |      18 |  1878819 |   431152 |    13931 171046 |      525 |      480
1749.65/1750.20	c 1750s |      18 |  1879332 |   431352 |    13931 171559 |      525 |      480
1752.35/1752.96	c 1752s |      18 |  1879686 |   431452 |    13931 171913 |      525 |      480
1755.15/1755.72	c 1755s |      18 |  1880013 |   431552 |    13931 172240 |      525 |      480
1757.56/1758.18	c 1758s |      18 |  1880335 |   431652 |    13931 172562 |      525 |      480
1760.86/1761.41	c 1761s |      18 |  1880770 |   431752 |    13931 172997 |      525 |      480
1764.55/1765.12	c 1764s |      18 |  1881241 |   431952 |    13931 173468 |      525 |      480
1767.76/1768.30	c 1768s |      18 |  1881670 |   432052 |    13931 173897 |      525 |      480
1770.05/1770.65	c 1770s |      18 |  1881980 |   432152 |    13931 174207 |      525 |      480
1774.65/1775.23	c 1775s |      18 |  1882588 |   432352 |    13931 174815 |      525 |      480
1778.35/1778.92	c 1778s |      18 |  1883062 |   432552 |    13931 175289 |      525 |      480
1780.84/1781.48	c 1781s |      18 |  1883406 |   432652 |    13931 175633 |      525 |      480
1785.25/1785.80	c 1785s |      18 |  1883984 |   432852 |    13931 176211 |      525 |      480
1787.75/1788.33	c 1788s |      18 |  1884325 |   432952 |    13931 176552 |      525 |      480
1792.04/1792.68	c 1792s |      18 |  1884883 |   433152 |    13931 177110 |      525 |      480
1794.35/1794.90	c 1794s |      18 |  1885176 |   433252 |    13931 177403 |      525 |      480
1798.05/1798.66	c 1798s |      18 |  1885671 |   433452 |    13931 177898 |      525 |      480

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

pid=9795
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.95 2.03 2.06 3/180 9798
/proc/meminfo: memFree=30570860/32872528 swapFree=12744/274376
[pid=9798] ppid=9795 vsize=683588 CPUtime=0 cores=0,2,4,6
/proc/9798/stat : 9798 (toysat) R 9795 9798 5566 0 -1 4202496 2541 0 0 0 0 0 0 0 20 0 4 0 110697677 699994112 3413 33554432000 4194304 16246674 140734246065488 140734246064912 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9798/statm: 171409 3421 442 2943 0 168303 0
[pid=9798/tid=9799] ppid=9795 vsize=699972 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9799/stat : 9799 (toysat) S 9795 9798 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110697677 716771328 3479 33554432000 4194304 16246674 140734246065488 140209089916144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9798/tid=9800] ppid=9795 vsize=704068 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9800/stat : 9800 (toysat) S 9795 9798 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110697677 720965632 3497 33554432000 4194304 16246674 140734246065488 140209006030064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9798/tid=9801] ppid=9795 vsize=708164 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9801/stat : 9801 (toysat) S 9795 9798 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110697677 725159936 3512 33554432000 4194304 16246674 140734246065488 140208995556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100187 s]
/proc/loadavg: 1.95 2.03 2.06 3/180 9798
/proc/meminfo: memFree=30570860/32872528 swapFree=12744/274376
[pid=9798] ppid=9795 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/9798/stat : 9798 (toysat) R 9795 9798 5566 0 -1 4202496 22721 0 0 0 6 3 0 0 20 0 4 0 110697677 1250496512 23530 33554432000 4194304 16246674 140734246065488 140734246064800 6156109 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9798/statm: 305297 23536 832 2943 0 302191 0
[pid=9798/tid=9799] ppid=9795 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9799/stat : 9799 (toysat) S 9795 9798 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110697677 1250496512 23541 33554432000 4194304 16246674 140734246065488 140209089916144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9798/tid=9800] ppid=9795 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9800/stat : 9800 (toysat) S 9795 9798 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110697677 1250496512 23546 33554432000 4194304 16246674 140734246065488 140209006030064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9798/tid=9801] ppid=9795 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9801/stat : 9801 (toysat) S 9795 9798 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110697677 1250496512 23551 33554432000 4194304 16246674 140734246065488 140208995556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200602 s]
/proc/loadavg: 1.95 2.03 2.06 3/180 9798
/proc/meminfo: memFree=30570860/32872528 swapFree=12744/274376
[pid=9798] ppid=9795 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/9798/stat : 9798 (toysat) R 9795 9798 5566 0 -1 4202496 43013 0 0 0 12 7 0 0 20 0 4 0 110697677 1250496512 43822 33554432000 4194304 16246674 140734246065488 140734246064800 5664948 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9798/statm: 305297 43829 875 2943 0 302191 0
[pid=9798/tid=9799] ppid=9795 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9799/stat : 9799 (toysat) S 9795 9798 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110697677 1250496512 43832 33554432000 4194304 16246674 140734246065488 140209089916144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9798/tid=9800] ppid=9795 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9800/stat : 9800 (toysat) S 9795 9798 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110697677 1250496512 43836 33554432000 4194304 16246674 140734246065488 140209006030064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9798/tid=9801] ppid=9795 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9801/stat : 9801 (toysat) S 9795 9798 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110697677 1250496512 43841 33554432000 4194304 16246674 140734246065488 140208995556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300489 s]
/proc/loadavg: 1.95 2.03 2.06 3/180 9798
/proc/meminfo: memFree=30570860/32872528 swapFree=12744/274376
[pid=9798] ppid=9795 vsize=1221188 CPUtime=0.29 cores=0,2,4,6
/proc/9798/stat : 9798 (toysat) R 9795 9798 5566 0 -1 4202496 64149 0 0 0 20 9 0 0 20 0 4 0 110697677 1250496512 64958 33554432000 4194304 16246674 140734246065488 140734246064800 5724508 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9798/statm: 305297 64974 875 2943 0 302191 0
[pid=9798/tid=9799] ppid=9795 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9799/stat : 9799 (toysat) S 9795 9798 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110697677 1250496512 64984 33554432000 4194304 16246674 140734246065488 140209089916144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9798/tid=9800] ppid=9795 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9800/stat : 9800 (toysat) S 9795 9798 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110697677 1250496512 64996 33554432000 4194304 16246674 140734246065488 140209006030064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9798/tid=9801] ppid=9795 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9801/stat : 9801 (toysat) S 9795 9798 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110697677 1250496512 65009 33554432000 4194304 16246674 140734246065488 140208995556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700417 s]
/proc/loadavg: 1.95 2.03 2.06 3/180 9798
/proc/meminfo: memFree=30570860/32872528 swapFree=12744/274376
[pid=9798] ppid=9795 vsize=1221188 CPUtime=0.69 cores=0,2,4,6
/proc/9798/stat : 9798 (toysat) R 9795 9798 5566 0 -1 4202496 151704 0 0 0 49 20 0 0 20 0 4 0 110697677 1250496512 152514 33554432000 4194304 16246674 140734246065488 140734246064800 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9798/statm: 305297 152530 875 2943 0 302191 0
[pid=9798/tid=9799] ppid=9795 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9799/stat : 9799 (toysat) S 9795 9798 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110697677 1250496512 152539 33554432000 4194304 16246674 140734246065488 140209089916144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9798/tid=9800] ppid=9795 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9800/stat : 9800 (toysat) S 9795 9798 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110697677 1250496512 152555 33554432000 4194304 16246674 140734246065488 140209006030064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9798/tid=9801] ppid=9795 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9801/stat : 9801 (toysat) S 9795 9798 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110697677 1250496512 152568 33554432000 4194304 16246674 140734246065488 140208995556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50042 s]
/proc/loadavg: 1.95 2.03 2.06 3/184 9802
/proc/meminfo: memFree=29605576/32872528 swapFree=12744/274376
[pid=9798] ppid=9795 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/9798/stat : 9798 (toysat) R 9795 9798 5566 0 -1 4202496 266235 0 0 0 115 34 0 0 20 0 4 0 110697677 1332285440 267044 33554432000 4194304 16246674 140734246065488 140734246064800 12483341 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9798/statm: 325265 267044 880 2943 0 322159 0
[pid=9798/tid=9799] ppid=9795 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9799/stat : 9799 (toysat) S 9795 9798 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110697677 1332285440 267044 33554432000 4194304 16246674 140734246065488 140209089916144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9798/tid=9800] ppid=9795 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9800/stat : 9800 (toysat) S 9795 9798 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110697677 1332285440 267044 33554432000 4194304 16246674 140734246065488 140209006030064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9798/tid=9801] ppid=9795 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9801/stat : 9801 (toysat) S 9795 9798 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110697677 1332285440 267044 33554432000 4194304 16246674 140734246065488 140208995556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10042 s]
/proc/loadavg: 1.95 2.03 2.06 4/184 9802
/proc/meminfo: memFree=29497696/32872528 swapFree=12744/274376
[pid=9798] ppid=9795 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/9798/stat : 9798 (toysat) R 9795 9798 5566 0 -1 4202496 267983 0 0 0 275 34 0 0 20 0 4 0 110697677 1338576896 268792 33554432000 4194304 16246674 140734246065488 140734246047360 5546160 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9798/statm: 326801 268792 883 2943 0 323695 0
[pid=9798/tid=9799] ppid=9795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9799/stat : 9799 (toysat) S 9795 9798 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110697677 1338576896 268792 33554432000 4194304 16246674 140734246065488 140209089916144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9798/tid=9800] ppid=9795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9800/stat : 9800 (toysat) S 9795 9798 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110697677 1338576896 268792 33554432000 4194304 16246674 140734246065488 140209006030064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9798/tid=9801] ppid=9795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9801/stat : 9801 (toysat) S 9795 9798 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110697677 1338576896 268792 33554432000 4194304 16246674 140734246065488 140208995556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30042 s]
/proc/loadavg: 1.95 2.03 2.06 3/184 9802
/proc/meminfo: memFree=29496832/32872528 swapFree=12744/274376
[pid=9798] ppid=9795 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/9798/stat : 9798 (toysat) R 9795 9798 5566 0 -1 4202496 267983 0 0 0 595 34 0 0 20 0 4 0 110697677 1338576896 268792 33554432000 4194304 16246674 140734246065488 140734246047360 12483215 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9798/statm: 326801 268792 883 2943 0 323695 0
[pid=9798/tid=9799] ppid=9795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9799/stat : 9799 (toysat) S 9795 9798 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110697677 1338576896 268792 33554432000 4194304 16246674 140734246065488 140209089916144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9798/tid=9800] ppid=9795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9800/stat : 9800 (toysat) S 9795 9798 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110697677 1338576896 268792 33554432000 4194304 16246674 140734246065488 140209006030064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9798/tid=9801] ppid=9795 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9801/stat : 9801 (toysat) S 9795 9798 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110697677 1338576896 268792 33554432000 4194304 16246674 140734246065488 140208995556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.04 2.04 2.06 3/184 9802
/proc/meminfo: memFree=29495564/32872528 swapFree=12744/274376
[pid=9798] ppid=9795 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/9798/stat : 9798 (toysat) R 9795 9798 5566 0 -1 4202496 268241 0 0 0 1235 34 0 0 20 0 4 0 110697677 1339625472 269050 33554432000 4194304 16246674 140734246065488 140734246047360 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9798/statm: 327057 269050 885 2943 0 323951 0
[pid=9798/tid=9799] ppid=9795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9799/stat : 9799 (toysat) S 9795 9798 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110697677 1339625472 269050 33554432000 4194304 16246674 140734246065488 140209089916144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9798/tid=9800] ppid=9795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9800/stat : 9800 (toysat) S 9795 9798 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110697677 1339625472 269050 33554432000 4194304 16246674 140734246065488 140209006030064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9798/tid=9801] ppid=9795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9801/stat : 9801 (toysat) S 9795 9798 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110697677 1339625472 269050 33554432000 4194304 16246674 140734246065488 140208995556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5004 s]
/proc/loadavg: 2.03 2.04 2.06 3/184 9802
/proc/meminfo: memFree=29495796/32872528 swapFree=12744/274376
[pid=9798] ppid=9795 vsize=1308228 CPUtime=25.49 cores=0,2,4,6
/proc/9798/stat : 9798 (toysat) R 9795 9798 5566 0 -1 4202496 268241 0 0 0 2515 34 0 0 20 0 4 0 110697677 1339625472 269050 33554432000 4194304 16246674 140734246065488 140734246047360 5754961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9798/statm: 327057 269050 885 2943 0 323951 0
[pid=9798/tid=9799] ppid=9795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9799/stat : 9799 (toysat) S 9795 9798 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110697677 1339625472 269050 33554432000 4194304 16246674 140734246065488 140209089916144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9798/tid=9800] ppid=9795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9800/stat : 9800 (toysat) S 9795 9798 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110697677 1339625472 269050 33554432000 4194304 16246674 140734246065488 140209006030064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9798/tid=9801] ppid=9795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9801/stat : 9801 (toysat) S 9795 9798 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110697677 1339625472 269050 33554432000 4194304 16246674 140734246065488 140208995556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1004 s]
/proc/loadavg: 2.09 2.05 2.06 3/183 9802
/proc/meminfo: memFree=29495636/32872528 swapFree=12744/274376
[pid=9798] ppid=9795 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/9798/stat : 9798 (toysat) R 9795 9798 5566 0 -1 4202496 268241 0 0 0 5074 34 0 0 20 0 4 0 110697677 1339625472 269050 33554432000 4194304 16246674 140734246065488 140734246047360 6861720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9798/statm: 327057 269050 885 2943 0 323951 0
[pid=9798/tid=9799] ppid=9795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9799/stat : 9799 (toysat) S 9795 9798 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110697677 1339625472 269050 33554432000 4194304 16246674 140734246065488 140209089916144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9798/tid=9800] ppid=9795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9800/stat : 9800 (toysat) S 9795 9798 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110697677 1339625472 269050 33554432000 4194304 16246674 140734246065488 140209006030064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9798/tid=9801] ppid=9795 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9801/stat : 9801 (toysat) S 9795 9798 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110697677 1339625472 269050 33554432000 4194304 16246674 140734246065488 140208995556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.06 4/183 9803
/proc/meminfo: memFree=29494628/32872528 swapFree=12744/274376
[pid=9798] ppid=9795 vsize=1309252 CPUtime=102.27 cores=0,2,4,6
/proc/9798/stat : 9798 (toysat) R 9795 9798 5566 0 -1 4202496 268278 0 0 0 10193 34 0 0 20 0 4 0 110697677 1340674048 269089 33554432000 4194304 16246674 140734246065488 140734246047360 12483341 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9798/statm: 327313 269089 885 2943 0 324207 0
[pid=9798/tid=9799] ppid=9795 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9799/stat : 9799 (toysat) S 9795 9798 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110697677 1340674048 269089 33554432000 4194304 16246674 140734246065488 140209089916144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9798/tid=9800] ppid=9795 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9800/stat : 9800 (toysat) S 9795 9798 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110697677 1340674048 269089 33554432000 4194304 16246674 140734246065488 140209006030064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9798/tid=9801] ppid=9795 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9801/stat : 9801 (toysat) S 9795 9798 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110697677 1340674048 269089 33554432000 4194304 16246674 140734246065488 140208995556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1309252


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

/proc/9798/task/9801/stat : 9801 (toysat) S 9795 9798 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140208995556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1311300

[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.01 3/183 9882
/proc/meminfo: memFree=29499864/32872528 swapFree=12744/274376
[pid=9798] ppid=9795 vsize=1311300 CPUtime=1301.82 cores=0,2,4,6
/proc/9798/stat : 9798 (toysat) R 9795 9798 5566 0 -1 4202496 269422 0 0 0 129972 210 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140734246064664 5652807 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9798/statm: 327825 269821 885 2943 0 324719 0
[pid=9798/tid=9799] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9799/stat : 9799 (toysat) S 9795 9798 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140209089916144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9798/tid=9800] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9800/stat : 9800 (toysat) S 9795 9798 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140209006030064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9798/tid=9801] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9801/stat : 9801 (toysat) S 9795 9798 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140208995556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1311300

[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.01 3/183 9883
/proc/meminfo: memFree=29499976/32872528 swapFree=12744/274376
[pid=9798] ppid=9795 vsize=1311300 CPUtime=1361.82 cores=0,2,4,6
/proc/9798/stat : 9798 (toysat) R 9795 9798 5566 0 -1 4202496 269422 0 0 0 135961 221 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140734246064664 13889085 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9798/statm: 327825 269821 885 2943 0 324719 0
[pid=9798/tid=9799] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9799/stat : 9799 (toysat) S 9795 9798 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140209089916144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9798/tid=9800] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9800/stat : 9800 (toysat) S 9795 9798 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140209006030064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9798/tid=9801] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9801/stat : 9801 (toysat) S 9795 9798 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140208995556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1311300

[startup+1422.3 s]
/proc/loadavg: 2.12 2.06 2.02 3/183 9884
/proc/meminfo: memFree=29499724/32872528 swapFree=12744/274376
[pid=9798] ppid=9795 vsize=1311300 CPUtime=1421.8 cores=0,2,4,6
/proc/9798/stat : 9798 (toysat) R 9795 9798 5566 0 -1 4202496 269422 0 0 0 141947 233 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140734246064664 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9798/statm: 327825 269821 885 2943 0 324719 0
[pid=9798/tid=9799] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9799/stat : 9799 (toysat) S 9795 9798 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140209089916144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9798/tid=9800] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9800/stat : 9800 (toysat) S 9795 9798 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140209006030064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9798/tid=9801] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9801/stat : 9801 (toysat) S 9795 9798 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140208995556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1311300

[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/183 9885
/proc/meminfo: memFree=29499732/32872528 swapFree=12744/274376
[pid=9798] ppid=9795 vsize=1311300 CPUtime=1481.8 cores=0,2,4,6
/proc/9798/stat : 9798 (toysat) R 9795 9798 5566 0 -1 4202496 269422 0 0 0 147931 249 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140734246064664 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9798/statm: 327825 269821 885 2943 0 324719 0
[pid=9798/tid=9799] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9799/stat : 9799 (toysat) S 9795 9798 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140209089916144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9798/tid=9800] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9800/stat : 9800 (toysat) S 9795 9798 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140209006030064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9798/tid=9801] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9801/stat : 9801 (toysat) S 9795 9798 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140208995556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1311300

[startup+1542.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/183 9887
/proc/meminfo: memFree=29499608/32872528 swapFree=12744/274376
[pid=9798] ppid=9795 vsize=1311300 CPUtime=1541.79 cores=0,2,4,6
/proc/9798/stat : 9798 (toysat) R 9795 9798 5566 0 -1 4202496 269422 0 0 0 153907 272 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140734246064664 13006819 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9798/statm: 327825 269821 885 2943 0 324719 0
[pid=9798/tid=9799] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9799/stat : 9799 (toysat) S 9795 9798 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140209089916144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9798/tid=9800] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9800/stat : 9800 (toysat) S 9795 9798 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140209006030064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9798/tid=9801] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9801/stat : 9801 (toysat) S 9795 9798 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140208995556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1311300

[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/183 9888
/proc/meminfo: memFree=29499488/32872528 swapFree=12744/274376
[pid=9798] ppid=9795 vsize=1311300 CPUtime=1601.78 cores=0,2,4,6
/proc/9798/stat : 9798 (toysat) R 9795 9798 5566 0 -1 4202496 269422 0 0 0 159901 277 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140734246064664 5974204 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9798/statm: 327825 269821 885 2943 0 324719 0
[pid=9798/tid=9799] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9799/stat : 9799 (toysat) S 9795 9798 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140209089916144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9798/tid=9800] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9800/stat : 9800 (toysat) S 9795 9798 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140209006030064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9798/tid=9801] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9801/stat : 9801 (toysat) S 9795 9798 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140208995556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1311300

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 4/183 9889
/proc/meminfo: memFree=29499612/32872528 swapFree=12744/274376
[pid=9798] ppid=9795 vsize=1311300 CPUtime=1661.77 cores=0,2,4,6
/proc/9798/stat : 9798 (toysat) R 9795 9798 5566 0 -1 4202496 269422 0 0 0 165896 281 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140734246064664 5974282 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9798/statm: 327825 269821 885 2943 0 324719 0
[pid=9798/tid=9799] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9799/stat : 9799 (toysat) S 9795 9798 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140209089916144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9798/tid=9800] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9800/stat : 9800 (toysat) S 9795 9798 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140209006030064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9798/tid=9801] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9801/stat : 9801 (toysat) S 9795 9798 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140208995556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1311300

[startup+1722.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/183 9890
/proc/meminfo: memFree=29498880/32872528 swapFree=12744/274376
[pid=9798] ppid=9795 vsize=1311300 CPUtime=1721.76 cores=0,2,4,6
/proc/9798/stat : 9798 (toysat) R 9795 9798 5566 0 -1 4202496 269422 0 0 0 171890 286 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140734246064584 4220912 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9798/statm: 327825 269821 885 2943 0 324719 0
[pid=9798/tid=9799] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9799/stat : 9799 (toysat) S 9795 9798 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140209089916144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9798/tid=9800] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9800/stat : 9800 (toysat) S 9795 9798 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140209006030064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9798/tid=9801] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9801/stat : 9801 (toysat) S 9795 9798 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140208995556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1311300

[startup+1782.31 s]
/proc/loadavg: 2.07 2.05 2.00 3/184 9894
/proc/meminfo: memFree=29498528/32872528 swapFree=12744/274376
[pid=9798] ppid=9795 vsize=1311300 CPUtime=1781.75 cores=0,2,4,6
/proc/9798/stat : 9798 (toysat) R 9795 9798 5566 0 -1 4202496 269422 0 0 0 177884 291 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140734246064664 5974204 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9798/statm: 327825 269821 885 2943 0 324719 0
[pid=9798/tid=9799] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9799/stat : 9799 (toysat) S 9795 9798 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140209089916144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9798/tid=9800] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9800/stat : 9800 (toysat) S 9795 9798 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140209006030064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9798/tid=9801] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9801/stat : 9801 (toysat) S 9795 9798 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140208995556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1311300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.19 2.08 2.01 3/184 9894
/proc/meminfo: memFree=29499056/32872528 swapFree=12744/274376
[pid=9798] ppid=9795 vsize=1311300 CPUtime=1800.04 cores=0,2,4,6
/proc/9798/stat : 9798 (toysat) R 9795 9798 5566 0 -1 4202496 269422 0 0 0 179711 293 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140734246064664 4220807 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9798/statm: 327825 269821 885 2943 0 324719 0
[pid=9798/tid=9799] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9799/stat : 9799 (toysat) S 9795 9798 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140209089916144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9798/tid=9800] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9800/stat : 9800 (toysat) S 9795 9798 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140209006030064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9798/tid=9801] ppid=9795 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/9798/task/9801/stat : 9801 (toysat) S 9795 9798 5566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110697677 1342771200 269821 33554432000 4194304 16246674 140734246065488 140208995556528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1311300

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.06
CPU user time (s): 1797.12
CPU system time (s): 2.93755
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 1311300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.12
system time used= 2.93755
maximum resident set size= 1079284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269422
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= 429
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.277 second user time and 15.8306 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 10:20:29
IDJOB=4078877
IDBENCH=90223
IDSOLVER=2542
FILE ID=node107/4078877-1465287629
RUNJOBID= node107-1465255895-5582
PBS_JOBID= 19843278
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K67.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078877-1465287629/watcher-4078877-1465287629 -o /tmp/evaluation-result-4078877-1465287629/solver-4078877-1465287629 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5582 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078877-1465287629.opb

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

MD5SUM BENCH= 9e951304b89652b8f827a6527d1495c5
RANDOM SEED=55561706

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.441
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:        30571372 kB
Buffers:           66644 kB
Cached:           131148 kB
SwapCached:         1652 kB
Active:          1184056 kB
Inactive:         108956 kB
Active(anon):    1092316 kB
Inactive(anon):     5256 kB
Active(file):      91740 kB
Inactive(file):   103700 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098528 kB
Dirty:             16696 kB
Writeback:            28 kB
AnonPages:       1369212 kB
Mapped:            10788 kB
Shmem:                 0 kB
Slab:             599868 kB
SReclaimable:      43008 kB
SUnreclaim:       556860 kB
KernelStack:        1496 kB
PageTables:         6956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1512312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1224704 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= 71712 MiB
End job on node107 at 2016-06-07 10:50:30