Trace number 4078882

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K72.opb
MD5SUMa155ccc2b565346c70170bfe1c3f5501
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 benchmark2.76758
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3960
Total number of constraints4106
Number of constraints which are clauses4034
Number of constraints which are cardinality constraints (but not clauses)72
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint72
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 73
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:22:49+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-4078882-1465287769.opb"]
0.00/0.01	c use --random-gen="2783213442 2865260281 4045528186 163918469 586406649 569957235 3775944983 4090317198 3222769884 2156721330 3887170246 2719978607 2614959106 2259063202 844261938 3697794185 3672897880 2171529873 1241421426 3443112617 331303675 3694806982 2499037660 1244139153 3690762554 2004575 4293243329 1018886671 1865915041 3624923670 3756913958 3726323825 1396365023 1153761206 3910289168 326665697 3725733934 3040263551 1319677224 3677561156 374885740 3337533069 1309980563 1398363620 750392875 2792511452 1731669825 345883156 3998479018 757784699 1546021751 375310485 625008246 1924123740 75165666 3388104333 1072662507 755491893 2694035138 2666359494 3096411274 2901773450 2479600679 2820458625 3819452841 2348248160 3823615201 3016257827 34003278 3503048357 1434130056 3196309971 2076908284 2844164547 765538281 2147057981 2220303598 2595789073 2174706058 1496062790 1946401609 1169157969 1381890656 522659570 3521319301 603506879 1355544330 2732044056 268368357 3839509172 3816821519 1454077992 1117685963 954924124 3853061910 3158494135 2284985223 2301298488 442367107 2213185498 2717435942 1483155358 3493117249 2082713198 3934976448 1997907867 3326699481 1004977126 3661289263 3377173242 3544263123 1681345342 632001173 1680146717 2349301641 305065145 3899991764 1265807808 3869613443 237423123 3449231607 2791301943 343256934 2654445813 3630973408 1195999590 944012439 1963286573 3309966097 3202405440 389173206 1378419500 2254549199 3474957279 3998584888 443791569 161919412 2473709102 4263984574 3130762867 732975319 2719708308 291281433 51896061 3540304354 2279738286 2678809117 1488044002 647096317 2228172078 758210881 443945705 853178809 2359345921 4073636469 2239760849 3149422253 3660600819 4089707631 1787695184 1761877160 120626724 3483303133 164482120 2328060399 1541258776 4142633581 1660070943 576745527 2615422365 1247937233 376245106 113153555 1483881621 1609416409 2852525068 3061145121 26281455 2688004531 3268019236 1167330929 1560385327 3447154414 2847021554 883240288 1998136759 1971193688 2138327914 1532815294 3391136046 2272447412 1712275510 3662415477 1784364866 218408719 608424960 3938992269 731533478 3224212770 3902817837 878617142 3083590705 2861167042 3386313533 1006481741 1989922013 3219646530 3570399105 979762916 3484817036 580564475 3909379606 4147182789 5561502 2981309694 813150743 4190245768 31444199 3892259780 1889129886 911782137 1663736767 3047470686 3997929293 3582711751 2674280054 3386368700 3331027576 1580068558 1245840982 297639318 2234831381 2137404028 3551686290 629211310 947491274 917959130 4110195545 1872756338 3905379560 2591878727 1514254123 2732223791 2188744291 4059862472 1578778459 1209539232 422257333 2896413052 3293895885 1561589811 2989303474 3721214697 3051938019 1494564547 3564789423 255 362436" option to reproduce the execution
0.00/0.07	c #vars 3960
0.00/0.07	c #constraints 4106
0.08/0.15	c Solving starts ...
0.08/0.15	c ============================[ Search Statistics ]============================
0.08/0.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.15	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.15	c =============================================================================
0.08/0.15	c  0.0s |       0 |        0 |        0 |     2688      0 |      455 |        0
0.28/0.32	c  0.2s |       1 |     1029 |      100 |     2688      0 |      456 |      411
0.38/0.46	c  0.3s |       2 |     3040 |      250 |     2957      0 |      458 |      413
0.69/0.70	c  0.5s |       3 |     5037 |      475 |     3253      0 |      460 |      415
0.88/0.93	c  0.8s |       4 |     8584 |      813 |     3579      0 |      463 |      418
1.39/1.42	c  1.3s |       5 |    14161 |     1320 |     3937      0 |      467 |      422
2.09/2.11	c  2.0s |       6 |    24521 |     2081 |     4765      0 |      474 |      429
3.19/3.25	c  3.1s |       7 |    28927 |     3223 |     5242      0 |      476 |      431
4.79/4.83	c  4.7s |       8 |    40807 |     4936 |     5767      0 |      480 |      435
6.89/6.91	c  6.8s |       8 |    63930 |     7136 |     5767      1 |      483 |      438
7.18/7.24	c  7.1s |       9 |    67030 |     7506 |     6344      1 |      484 |      439
9.18/9.28	c  9.1s |       9 |    81728 |     9606 |     6344      1 |      488 |      443
11.18/11.26	c 11.1s |      10 |    96794 |    11361 |     6979      2 |      491 |      446
13.38/13.40	c 13.2s |      10 |   106491 |    12961 |     6979      2 |      492 |      447
15.78/15.80	c 15.7s |      10 |   108704 |    13761 |     6979      2 |      492 |      447
17.88/17.94	c 17.8s |      10 |   109753 |    14261 |     6979      2 |      492 |      447
19.89/19.99	c 19.8s |      10 |   120211 |    15661 |     6979      3 |      492 |      447
21.58/21.63	c 21.5s |      11 |   131162 |    17144 |     7677      3 |      494 |      449
23.58/23.68	c 23.5s |      11 |   146640 |    19044 |     7677      3 |      495 |      450
25.68/25.73	c 25.6s |      11 |   154633 |    20344 |     7677      4 |      497 |      452
27.68/27.74	c 27.6s |      11 |   165858 |    21944 |     7677      4 |      497 |      452
29.69/29.78	c 29.6s |      11 |   178865 |    23744 |     7677      4 |      499 |      454
31.89/31.91	c 31.8s |      11 |   183582 |    24944 |     7677      4 |      499 |      454
33.78/33.80	c 33.7s |      12 |   189480 |    25819 |     8445      5 |      499 |      454
35.88/35.96	c 35.8s |      12 |   207148 |    27719 |     8445      5 |      503 |      458
37.98/38.04	c 37.9s |      12 |   212500 |    29119 |     8445      5 |      504 |      459
40.08/40.10	c 39.9s |      12 |   216321 |    30619 |     8445      5 |      504 |      459
42.08/42.13	c 42.0s |      12 |   219110 |    31819 |     8445      6 |      504 |      459
44.18/44.24	c 44.1s |      12 |   226191 |    33219 |     8445      6 |      505 |      460
46.18/46.26	c 46.1s |      12 |   239916 |    35019 |     8445      6 |      505 |      460
48.18/48.27	c 48.1s |      12 |   257467 |    37019 |     8445      7 |      506 |      461
49.87/49.97	c 49.8s |      13 |   272730 |    38832 |     9290      7 |      506 |      461
51.97/52.03	c 51.9s |      13 |   285954 |    40532 |     9290      7 |      507 |      462
53.98/54.06	c 53.9s |      13 |   300330 |    42132 |     9290      8 |      511 |      466
56.08/56.11	c 56.0s |      13 |   311869 |    43832 |     9290      8 |      514 |      469
58.07/58.13	c 58.0s |      13 |   325890 |    45532 |     9290      8 |      515 |      470
60.07/60.19	c 60.0s |      13 |   335213 |    47332 |     9290      9 |      515 |      470
62.17/62.22	c 62.1s |      13 |   346377 |    49032 |     9290      9 |      516 |      471
64.27/64.31	c 64.2s |      13 |   355971 |    50532 |     9290      9 |      516 |      471
66.57/66.62	c 66.5s |      13 |   359624 |    51732 |     9290      9 |      516 |      471
68.67/68.70	c 68.5s |      13 |   366333 |    53132 |     9290     10 |      516 |      471
70.77/70.88	c 70.7s |      13 |   370006 |    54232 |     9290     10 |      516 |      471
72.97/73.02	c 72.9s |      13 |   375702 |    55432 |     9290     10 |      516 |      471
75.37/75.43	c 75.3s |      13 |   381220 |    56532 |     9290     10 |      516 |      471
77.37/77.45	c 77.3s |      13 |   391999 |    58032 |    10219     11 |      516 |      471
77.77/77.87	c 77.7s |      14 |   393513 |    58352 |    10219     11 |      516 |      471
79.87/79.97	c 79.8s |      14 |   406049 |    60252 |    10219     11 |      516 |      471
81.87/81.97	c 81.8s |      14 |   414681 |    61752 |    10219     11 |      517 |      472
83.97/84.06	c 83.9s |      14 |   425352 |    63552 |    10219     12 |      517 |      472
86.07/86.11	c 86.0s |      14 |   438348 |    65452 |    10219     12 |      518 |      473
88.17/88.25	c 88.1s |      14 |   452247 |    67552 |    10219     12 |      518 |      473
90.17/90.27	c 90.1s |      14 |   458264 |    68752 |    10219     12 |      520 |      475
92.38/92.42	c 92.3s |      14 |   464566 |    70252 |    10219     13 |      520 |      475
94.47/94.59	c 94.4s |      14 |   471403 |    71852 |    10219     13 |      520 |      475
96.57/96.66	c 96.5s |      14 |   475894 |    73252 |    10219     13 |      520 |      475
98.67/98.71	c 98.6s |      14 |   484265 |    74752 |    10219     14 |      520 |      475
100.77/100.80	c  100s |      14 |   501400 |    77152 |    10219     14 |      520 |      475
102.87/102.90	c  102s |      14 |   508841 |    78852 |    10219     14 |      520 |      475
104.87/104.90	c  104s |      14 |   512730 |    79852 |    10219     14 |      520 |      475
106.87/106.94	c  106s |      14 |   520966 |    81652 |    10219     15 |      520 |      475
108.88/109.00	c  108s |      14 |   532323 |    83752 |    10219     15 |      520 |      475
110.97/111.00	c  110s |      14 |   539172 |    85152 |    10219     15 |      520 |      475
112.97/113.02	c  112s |      14 |   548796 |    87052 |    11241     15 |      520 |      475
113.67/113.74	c  113s |      15 |   552296 |    87632 |    11241     15 |      520 |      475
115.77/115.84	c  115s |      15 |   567987 |    89732 |    11241     16 |      521 |      476
117.97/118.02	c  117s |      15 |   574713 |    91132 |    11241     16 |      521 |      476
119.97/120.03	c  119s |      15 |   579417 |    92232 |    11241     16 |      521 |      476
122.17/122.21	c  122s |      15 |   583884 |    93332 |    11241     16 |      521 |      476
124.27/124.31	c  124s |      15 |   588862 |    94332 |    11241     16 |      521 |      476
126.26/126.35	c  126s |      15 |   594620 |    95532 |    11241     17 |      521 |      476
128.26/128.36	c  128s |      15 |   600699 |    96832 |    11241     17 |      521 |      476
130.36/130.47	c  130s |      15 |   605692 |    97832 |    11241     17 |      521 |      476
132.56/132.60	c  132s |      15 |   609042 |    98632 |    11241     17 |      521 |      476
134.56/134.61	c  134s |      15 |   612335 |    99532 |    11241     17 |      521 |      476
136.56/136.66	c  136s |      15 |   614227 |   100232 |    11241     17 |      521 |      476
138.56/138.68	c  138s |      15 |   616117 |   100832 |    11241     17 |      521 |      476
140.86/140.93	c  140s |      15 |   618054 |   101432 |    11241     17 |      521 |      476
142.85/142.95	c  142s |      15 |   619722 |   101932 |    11241     17 |      521 |      476
144.95/145.01	c  144s |      15 |   621570 |   102532 |    11241     18 |      521 |      476
147.15/147.25	c  147s |      15 |   626373 |   103532 |    11241     18 |      521 |      476
149.45/149.53	c  149s |      15 |   631450 |   104532 |    11241     18 |      521 |      476
151.85/151.92	c  151s |      15 |   633613 |   105332 |    11241     18 |      521 |      476
154.15/154.26	c  154s |      15 |   634715 |   105832 |    11241     18 |      521 |      476
156.25/156.39	c  156s |      15 |   637123 |   106532 |    11241     18 |      521 |      476
158.35/158.44	c  158s |      15 |   639708 |   107032 |    11241     18 |      521 |      476
160.44/160.51	c  160s |      15 |   653731 |   108932 |    11241     19 |      521 |      476
162.54/162.64	c  162s |      15 |   665387 |   110832 |    11241     19 |      521 |      476
164.84/164.94	c  164s |      15 |   668617 |   111832 |    11241     19 |      521 |      476
166.94/167.05	c  166s |      15 |   676490 |   113232 |    11241     19 |      521 |      476
169.04/169.13	c  168s |      15 |   684681 |   115032 |    11241     20 |      521 |      476
171.03/171.16	c  171s |      15 |   693152 |   116832 |    11241     20 |      521 |      476
173.13/173.23	c  173s |      15 |   699308 |   118432 |    11241     20 |      521 |      476
175.23/175.36	c  175s |      15 |   704782 |   119632 |    11241     21 |      521 |      476
177.33/177.45	c  177s |      15 |   716610 |   121932 |    11241     21 |      521 |      476
179.43/179.55	c  179s |      15 |   722997 |   123632 |    11241     21 |      521 |      476
181.53/181.61	c  181s |      15 |   725857 |   124732 |    11241     21 |      521 |      476
183.53/183.61	c  183s |      15 |   730772 |   126032 |    11241     22 |      521 |      476
185.53/185.62	c  185s |      15 |   747207 |   128132 |    11241     22 |      523 |      478
187.73/187.89	c  187s |      15 |   751161 |   129432 |    11241     22 |      523 |      478
189.83/189.91	c  189s |      15 |   761313 |   131132 |    12366     22 |      524 |      479
190.23/190.39	c  190s |      16 |   763795 |   131552 |    12366     22 |      524 |      479
192.32/192.48	c  192s |      16 |   775465 |   133252 |    12366     23 |      524 |      479
194.42/194.53	c  194s |      16 |   779477 |   134152 |    12366     23 |      524 |      479
196.52/196.66	c  196s |      16 |   791536 |   136052 |    12366     23 |      524 |      479
198.62/198.70	c  198s |      16 |   797463 |   137152 |    12366     23 |      525 |      480
200.72/200.80	c  200s |      16 |   801595 |   138552 |    12366     23 |      525 |      480
202.72/202.87	c  202s |      16 |   803440 |   139352 |    12366     24 |      525 |      480
204.91/205.06	c  204s |      16 |   807220 |   140752 |    12366     24 |      525 |      480
206.91/207.09	c  206s |      16 |   820013 |   142352 |    12366     24 |      525 |      480
209.02/209.13	c  208s |      16 |   833882 |   144452 |    12366     24 |      525 |      480
211.01/211.17	c  211s |      16 |   847138 |   146152 |    12366     25 |      525 |      480
213.01/213.18	c  213s |      16 |   855696 |   147952 |    12366     25 |      525 |      480
215.11/215.21	c  215s |      16 |   859170 |   148852 |    12366     25 |      525 |      480
217.11/217.25	c  217s |      16 |   867935 |   150552 |    12366     25 |      525 |      480
219.51/219.63	c  219s |      16 |   870732 |   151352 |    12366     25 |      525 |      480
221.61/221.74	c  221s |      16 |   874465 |   152352 |    12366     26 |      525 |      480
223.71/223.85	c  223s |      16 |   878071 |   153352 |    12366     26 |      525 |      480
226.21/226.38	c  226s |      16 |   879494 |   153952 |    12366     26 |      525 |      480
228.71/228.83	c  228s |      16 |   880649 |   154452 |    12366     26 |      525 |      480
230.70/230.84	c  230s |      16 |   881771 |   154852 |    12366     26 |      525 |      480
233.11/233.22	c  233s |      16 |   883603 |   155552 |    12366     26 |      525 |      480
235.10/235.23	c  235s |      16 |   884161 |   155852 |    12366     26 |      525 |      480
237.10/237.28	c  237s |      16 |   886152 |   156652 |    12366     26 |      525 |      480
239.30/239.40	c  239s |      16 |   889981 |   157952 |    12366     26 |      525 |      480
241.30/241.45	c  241s |      16 |   893708 |   159352 |    12366     27 |      525 |      480
243.40/243.50	c  243s |      16 |   897023 |   160652 |    12366     27 |      525 |      480
245.50/245.65	c  245s |      16 |   899352 |   161652 |    12366     27 |      525 |      480
247.80/247.99	c  247s |      16 |   901163 |   162152 |    12366     27 |      525 |      480
249.90/250.00	c  249s |      16 |   902803 |   162652 |    12366     27 |      525 |      480
251.90/252.00	c  251s |      16 |   909332 |   164452 |    12366     28 |      525 |      480
253.89/254.10	c  253s |      16 |   923776 |   166552 |    12366     28 |      525 |      480
256.09/256.20	c  256s |      16 |   929043 |   167752 |    12366     28 |      525 |      480
258.29/258.44	c  258s |      16 |   932909 |   168752 |    12366     28 |      525 |      480
260.29/260.46	c  260s |      16 |   935005 |   169552 |    12366     28 |      525 |      480
262.39/262.56	c  262s |      16 |   937808 |   170452 |    12366     29 |      525 |      480
264.59/264.71	c  264s |      16 |   942383 |   171752 |    12366     29 |      525 |      480
266.79/266.93	c  266s |      16 |   948636 |   173152 |    12366     29 |      525 |      480
268.79/268.95	c  268s |      16 |   953093 |   174152 |    12366     29 |      525 |      480
270.88/271.02	c  270s |      16 |   954385 |   174652 |    12366     29 |      525 |      480
272.98/273.10	c  272s |      16 |   959218 |   176052 |    12366     30 |      525 |      480
275.08/275.20	c  275s |      16 |   963138 |   177452 |    12366     30 |      525 |      480
277.10/277.21	c  277s |      16 |   965642 |   178252 |    12366     30 |      525 |      480
279.09/279.24	c  279s |      16 |   972231 |   179652 |    12366     30 |      525 |      480
281.29/281.42	c  281s |      16 |   975495 |   180752 |    12366     30 |      525 |      480
283.29/283.47	c  283s |      16 |   979492 |   182052 |    12366     31 |      525 |      480
285.39/285.57	c  285s |      16 |   989525 |   184052 |    12366     31 |      525 |      480
287.49/287.65	c  287s |      16 |   991405 |   184952 |    12366     31 |      525 |      480
289.59/289.74	c  289s |      16 |  1001729 |   186652 |    12366     32 |      525 |      480
291.58/291.75	c  291s |      16 |  1008700 |   188352 |    12366     32 |      525 |      480
293.59/293.76	c  293s |      16 |  1015947 |   189652 |    12366     33 |      525 |      480
295.58/295.79	c  295s |      16 |  1025583 |   191252 |    12366     33 |      525 |      480
297.68/297.81	c  297s |      16 |  1030577 |   192352 |    12366     33 |      525 |      480
299.68/299.87	c  299s |      16 |  1034293 |   193852 |    12366     33 |      525 |      480
301.78/301.90	c  301s |      16 |  1047369 |   195752 |    12366     34 |      525 |      480
304.08/304.25	c  304s |      16 |  1054247 |   196952 |    13603     34 |      525 |      480
304.68/304.87	c  304s |      17 |  1058350 |   197432 |    13603     34 |      525 |      480
306.78/306.91	c  306s |      17 |  1068539 |   199232 |    13603     35 |      525 |      480
308.88/309.05	c  308s |      17 |  1087203 |   201432 |    13603     35 |      525 |      480
310.87/311.05	c  310s |      17 |  1097852 |   203132 |    13603     36 |      525 |      480
312.97/313.11	c  312s |      17 |  1113410 |   205232 |    13603     36 |      525 |      480
315.07/315.27	c  315s |      17 |  1120169 |   207132 |    13603     36 |      525 |      480
317.27/317.43	c  317s |      17 |  1122243 |   208032 |    13603     36 |      525 |      480
319.47/319.67	c  319s |      17 |  1125052 |   209032 |    13603     37 |      525 |      480
321.87/322.05	c  321s |      17 |  1126196 |   209732 |    13603     37 |      525 |      480
323.96/324.12	c  323s |      17 |  1130425 |   210932 |    13603     37 |      525 |      480
325.96/326.14	c  325s |      17 |  1139525 |   212432 |    13603     38 |      525 |      480
327.96/328.16	c  328s |      17 |  1146564 |   214132 |    13603     38 |      525 |      480
330.06/330.26	c  330s |      17 |  1151855 |   215532 |    13603     38 |      525 |      480
332.26/332.41	c  332s |      17 |  1157430 |   216832 |    13603     39 |      525 |      480
334.26/334.46	c  334s |      17 |  1160876 |   217832 |    13603     39 |      525 |      480
336.56/336.73	c  336s |      17 |  1163738 |   218832 |    13603     39 |      525 |      480
338.55/338.79	c  338s |      17 |  1168265 |   220032 |    13603     40 |      525 |      480
340.65/340.80	c  340s |      17 |  1174240 |   221432 |    13603     40 |      525 |      480
342.85/343.00	c  342s |      17 |  1177035 |   222432 |    13603     40 |      525 |      480
344.85/345.05	c  344s |      17 |  1180228 |   223332 |    13603     41 |      525 |      480
347.05/347.26	c  347s |      17 |  1186696 |   225132 |    13603     41 |      525 |      480
349.25/349.41	c  349s |      17 |  1190053 |   226232 |    13603     41 |      525 |      480
351.24/351.47	c  351s |      17 |  1193476 |   227232 |    13603     42 |      525 |      480
353.34/353.59	c  353s |      17 |  1204257 |   229232 |    13603     42 |      525 |      480
355.44/355.67	c  355s |      17 |  1214041 |   231232 |    13603     43 |      525 |      480
357.45/357.69	c  357s |      17 |  1217342 |   232332 |    13603     43 |      525 |      480
359.66/359.82	c  359s |      17 |  1221261 |   233632 |    13603     44 |      525 |      480
361.64/361.84	c  361s |      17 |  1231842 |   235732 |    13603     44 |      525 |      480
363.64/363.85	c  363s |      17 |  1241533 |   237632 |    13603     45 |      525 |      480
365.64/365.86	c  365s |      17 |  1247726 |   239332 |    13603     46 |      525 |      480
367.74/367.91	c  367s |      17 |  1251854 |   240532 |    13603     46 |      525 |      480
369.74/369.95	c  369s |      17 |  1255828 |   241632 |    13603     46 |      525 |      480
371.74/371.98	c  371s |      17 |  1261073 |   242932 |    13603     47 |      525 |      480
373.74/373.98	c  373s |      17 |  1269314 |   244732 |    13603     48 |      525 |      480
375.84/376.06	c  375s |      17 |  1278056 |   246632 |    13603     48 |      525 |      480
377.84/378.09	c  377s |      17 |  1284882 |   248232 |    13603     49 |      525 |      480
379.94/380.15	c  379s |      17 |  1288528 |   249332 |    13603     49 |      525 |      480
382.03/382.22	c  382s |      17 |  1294197 |   251032 |    13603     50 |      525 |      480
384.23/384.45	c  384s |      17 |  1299093 |   252532 |    13603     50 |      525 |      480
386.23/386.46	c  386s |      17 |  1305340 |   254032 |    13603     51 |      525 |      480
388.43/388.61	c  388s |      17 |  1309706 |   255232 |    13603     51 |      525 |      480
390.43/390.68	c  390s |      17 |  1312901 |   256232 |    13603     52 |      525 |      480
392.53/392.80	c  392s |      17 |  1318042 |   257732 |    13603     52 |      525 |      480
394.62/394.83	c  394s |      17 |  1321990 |   258932 |    13603     53 |      525 |      480
396.72/396.93	c  396s |      17 |  1328490 |   260732 |    13603     53 |      525 |      480
399.02/399.20	c  399s |      17 |  1331898 |   261832 |    13603     54 |      525 |      480
401.02/401.24	c  401s |      17 |  1336379 |   263132 |    13603     54 |      525 |      480
403.12/403.30	c  403s |      17 |  1341821 |   264532 |    13603     55 |      525 |      480
405.12/405.33	c  405s |      17 |  1346866 |   265532 |    13603     55 |      525 |      480
407.12/407.35	c  407s |      17 |  1353844 |   267032 |    13603     56 |      525 |      480
409.22/409.40	c  409s |      17 |  1357200 |   268132 |    13603     56 |      525 |      480
411.32/411.51	c  411s |      17 |  1362378 |   269732 |    13603     57 |      525 |      480
413.42/413.61	c  413s |      17 |  1368109 |   271332 |    13603     58 |      525 |      480
415.41/415.62	c  415s |      17 |  1373124 |   272832 |    13603     59 |      525 |      480
417.41/417.65	c  417s |      17 |  1378919 |   274332 |    13603     59 |      525 |      480
419.41/419.67	c  419s |      17 |  1384564 |   275832 |    13603     60 |      525 |      480
421.70/421.93	c  421s |      17 |  1389056 |   277232 |    13603     61 |      525 |      480
423.70/423.93	c  423s |      17 |  1392573 |   278132 |    13603     61 |      525 |      480
425.70/425.94	c  425s |      17 |  1396590 |   279332 |    13603     62 |      525 |      480
427.71/427.95	c  427s |      17 |  1399504 |   280332 |    13603     63 |      525 |      480
429.80/430.06	c  429s |      17 |  1404233 |   281832 |    13603     63 |      525 |      480
432.10/432.33	c  432s |      17 |  1408578 |   282932 |    13603     64 |      525 |      480
434.60/434.86	c  434s |      17 |  1410390 |   283632 |    13603     64 |      525 |      480
436.70/436.92	c  436s |      17 |  1414076 |   284632 |    13603     65 |      525 |      480
438.70/438.93	c  438s |      17 |  1420274 |   286232 |    13603     66 |      525 |      480
440.79/441.01	c  440s |      17 |  1423667 |   287432 |    13603     67 |      525 |      480
442.79/443.07	c  442s |      17 |  1428952 |   289032 |    13603     67 |      525 |      480
444.99/445.20	c  445s |      17 |  1433724 |   290532 |    13603     68 |      525 |      480
447.09/447.35	c  447s |      17 |  1437317 |   291732 |    13603     69 |      525 |      480
449.09/449.38	c  449s |      17 |  1441154 |   292932 |    13603     70 |      525 |      480
451.19/451.42	c  451s |      17 |  1446879 |   294332 |    14964     71 |      525 |      480
453.19/453.45	c  453s |      17 |  1451433 |   295832 |    14964     71 |      525 |      480
453.79/454.02	c  453s |      18 |  1452728 |   296252 |    14964     72 |      526 |      481
455.89/456.15	c  455s |      18 |  1463754 |   298152 |    14964     72 |      526 |      481
457.99/458.27	c  458s |      18 |  1473553 |   299852 |    14964     73 |      526 |      481
459.99/460.28	c  460s |      18 |  1483333 |   301652 |    14964     73 |      526 |      481
462.08/462.34	c  462s |      18 |  1493110 |   303552 |    14964     74 |      526 |      481
464.18/464.44	c  464s |      18 |  1498633 |   304852 |    14964     75 |      526 |      481
466.18/466.44	c  466s |      18 |  1502983 |   306152 |    14964     75 |      526 |      481
468.18/468.46	c  468s |      18 |  1507102 |   307352 |    14964     75 |      526 |      481
470.18/470.49	c  470s |      18 |  1511951 |   308852 |    14964     76 |      526 |      481
472.27/472.56	c  472s |      18 |  1515831 |   309952 |    14964     76 |      526 |      481
474.37/474.63	c  474s |      18 |  1520568 |   311552 |    14964     77 |      526 |      481
476.47/476.76	c  476s |      18 |  1525943 |   312952 |    14964     77 |      526 |      481
478.67/478.91	c  478s |      18 |  1531711 |   314652 |    14964     78 |      526 |      481
480.67/480.95	c  480s |      18 |  1535139 |   315952 |    14964     79 |      526 |      481
482.86/483.10	c  482s |      18 |  1540647 |   317452 |    14964     79 |      526 |      481
484.87/485.17	c  485s |      18 |  1544964 |   318752 |    14964     80 |      526 |      481
486.86/487.19	c  487s |      18 |  1549804 |   320252 |    14964     80 |      526 |      481
488.96/489.20	c  489s |      18 |  1552178 |   321152 |    14964     81 |      526 |      481
490.96/491.25	c  491s |      18 |  1556560 |   322452 |    14964     81 |      526 |      481
493.06/493.30	c  493s |      18 |  1561909 |   323752 |    14964     82 |      526 |      481
495.06/495.31	c  495s |      18 |  1567678 |   325152 |    14964     82 |      526 |      481
497.26/497.52	c  497s |      18 |  1573993 |   326652 |    14964     83 |      526 |      481
499.26/499.52	c  499s |      18 |  1576930 |   327752 |    14964     83 |      526 |      481
501.46/501.74	c  501s |      18 |  1581057 |   329152 |    14964     84 |      526 |      481
503.45/503.77	c  503s |      18 |  1583470 |   330152 |    14964     84 |      526 |      481
505.55/505.81	c  505s |      18 |  1588218 |   331452 |    14964     85 |      526 |      481
507.65/507.91	c  507s |      18 |  1591918 |   332452 |    14964     85 |      526 |      481
509.76/510.08	c  509s |      18 |  1597032 |   333952 |    14964     86 |      526 |      481
511.96/512.27	c  512s |      18 |  1602034 |   335452 |    14964     87 |      526 |      481
514.05/514.31	c  514s |      18 |  1604343 |   336352 |    14964     87 |      526 |      481
516.05/516.34	c  516s |      18 |  1606979 |   337252 |    14964     88 |      526 |      481
518.15/518.40	c  518s |      18 |  1611890 |   338752 |    14964     88 |      526 |      481
520.16/520.45	c  520s |      18 |  1616689 |   340352 |    14964     89 |      526 |      481
522.26/522.54	c  522s |      18 |  1622335 |   341952 |    14964     90 |      526 |      481
524.46/524.72	c  524s |      18 |  1625277 |   343052 |    14964     90 |      526 |      481
526.55/526.87	c  526s |      18 |  1629926 |   344452 |    14964     91 |      526 |      481
528.65/528.94	c  528s |      18 |  1634794 |   345852 |    14964     92 |      526 |      481
530.74/531.07	c  530s |      18 |  1637282 |   346752 |    14964     92 |      526 |      481
532.94/533.23	c  533s |      18 |  1641982 |   348352 |    14964     93 |      526 |      481
535.24/535.51	c  535s |      18 |  1644738 |   349452 |    14964     93 |      526 |      481
537.24/537.52	c  537s |      18 |  1648830 |   350852 |    14964     94 |      526 |      481
539.24/539.55	c  539s |      18 |  1653138 |   352152 |    14964     95 |      526 |      481
541.23/541.57	c  541s |      18 |  1658440 |   353652 |    14964     96 |      526 |      481
543.24/543.59	c  543s |      18 |  1663271 |   355052 |    14964     97 |      526 |      481
545.23/545.59	c  545s |      18 |  1666154 |   356152 |    14964     97 |      526 |      481
547.43/547.75	c  547s |      18 |  1669980 |   357352 |    14964     98 |      526 |      481
549.53/549.81	c  549s |      18 |  1675737 |   358652 |    14964    100 |      526 |      481
551.73/552.01	c  551s |      18 |  1684293 |   360452 |    14964    101 |      526 |      481
553.73/554.03	c  553s |      18 |  1693135 |   362052 |    14964    103 |      526 |      481
555.83/556.12	c  555s |      18 |  1700864 |   363652 |    14964    104 |      526 |      481
557.93/558.22	c  558s |      18 |  1702910 |   364352 |    14964    105 |      526 |      481
560.02/560.33	c  560s |      18 |  1706718 |   365352 |    14964    105 |      526 |      481
562.52/562.83	c  562s |      18 |  1708254 |   366052 |    14964    105 |      526 |      481
564.62/564.98	c  564s |      18 |  1710866 |   367052 |    14964    106 |      526 |      481
566.71/567.02	c  566s |      18 |  1714234 |   368452 |    14964    107 |      526 |      481
568.71/569.08	c  568s |      18 |  1720072 |   369852 |    14964    108 |      526 |      481
570.72/571.08	c  570s |      18 |  1726647 |   371552 |    14964    110 |      526 |      481
572.81/573.14	c  572s |      18 |  1733011 |   373052 |    14964    114 |      526 |      481
574.92/575.25	c  575s |      18 |  1739888 |   374452 |    14964    118 |      526 |      481
577.12/577.45	c  577s |      18 |  1742283 |   375452 |    14964    118 |      526 |      481
579.32/579.70	c  579s |      18 |  1747233 |   376852 |    14964    119 |      526 |      481
581.51/581.80	c  581s |      18 |  1752101 |   378252 |    14964    121 |      526 |      481
583.61/583.96	c  583s |      18 |  1759368 |   379952 |    14964    123 |      526 |      481
585.71/586.06	c  585s |      18 |  1763475 |   381352 |    14964    124 |      526 |      481
587.91/588.20	c  588s |      18 |  1767636 |   382852 |    14964    126 |      526 |      481
589.91/590.23	c  590s |      18 |  1772018 |   384152 |    14964    127 |      526 |      481
591.91/592.25	c  592s |      18 |  1775771 |   385452 |    14964    129 |      526 |      481
594.10/594.48	c  594s |      18 |  1779907 |   386752 |    14964    130 |      526 |      481
596.20/596.58	c  596s |      18 |  1784286 |   388052 |    14964    132 |      526 |      481
598.40/598.78	c  598s |      18 |  1789436 |   389552 |    14964    135 |      526 |      481
600.60/600.91	c  600s |      18 |  1794312 |   390952 |    14964    136 |      526 |      481
602.60/602.97	c  602s |      18 |  1797617 |   392052 |    14964    137 |      526 |      481
604.80/605.15	c  604s |      18 |  1801634 |   393352 |    14964    139 |      526 |      481
606.90/607.24	c  607s |      18 |  1804713 |   394552 |    14964    141 |      526 |      481
608.90/609.29	c  609s |      18 |  1809078 |   395952 |    14964    143 |      526 |      481
611.09/611.46	c  611s |      18 |  1813170 |   397352 |    14964    144 |      526 |      481
613.09/613.47	c  613s |      18 |  1818009 |   399052 |    14964    147 |      526 |      481
615.19/615.56	c  615s |      18 |  1821476 |   400352 |    14964    149 |      526 |      481
617.19/617.57	c  617s |      18 |  1825705 |   401652 |    14964    151 |      526 |      481
619.29/619.65	c  619s |      18 |  1829008 |   402952 |    14964    154 |      526 |      481
621.38/621.76	c  621s |      18 |  1830945 |   403252 |    14964    380 |      527 |      482
624.89/625.29	c  625s |      18 |  1834499 |   403652 |    14964    905 |      527 |      482
626.98/627.37	c  627s |      18 |  1838128 |   404252 |    14964   1161 |      527 |      482
628.99/629.38	c  629s |      18 |  1843506 |   405952 |    14964   1163 |      527 |      482
632.58/632.97	c  632s |      18 |  1846284 |   406652 |    14964   1528 |      527 |      482
634.68/635.01	c  634s |      18 |  1853773 |   408552 |    14964   1531 |      527 |      482
636.68/637.06	c  636s |      18 |  1859069 |   410152 |    14964   1535 |      527 |      482
638.78/639.19	c  639s |      18 |  1863428 |   411552 |    14964   1537 |      527 |      482
640.87/641.27	c  641s |      18 |  1868102 |   413052 |    14964   1542 |      527 |      482
642.87/643.29	c  643s |      18 |  1871728 |   414352 |    14964   1547 |      527 |      482
644.97/645.39	c  645s |      18 |  1876339 |   415852 |    14964   1554 |      527 |      482
647.17/647.53	c  647s |      18 |  1881272 |   417352 |    14964   1574 |      527 |      482
649.26/649.67	c  649s |      18 |  1885767 |   418652 |    14964   1646 |      527 |      482
651.36/651.71	c  651s |      18 |  1889976 |   420052 |    14964   1687 |      527 |      482
653.36/653.77	c  653s |      18 |  1893714 |   421452 |    14964   1696 |      527 |      482
655.57/655.90	c  655s |      18 |  1896961 |   422652 |    14964   1739 |      527 |      482
657.67/658.04	c  657s |      18 |  1898946 |   423252 |    14964   1952 |      527 |      482
662.25/662.64	c  662s |      18 |  1901860 |   424052 |    14964   2510 |      528 |      483
666.26/666.63	c  666s |      18 |  1902926 |   424152 |    14964   3132 |      528 |      483
668.56/668.91	c  668s |      18 |  1903554 |   424252 |    14964   3478 |      528 |      483
672.15/672.56	c  672s |      18 |  1905223 |   424652 |    14964   3993 |      528 |      483
674.55/674.96	c  674s |      18 |  1908697 |   425452 |    14964   4238 |      528 |      483
676.95/677.30	c  677s |      18 |  1911034 |   425952 |    14964   4510 |      528 |      483
679.25/679.61	c  679s |      18 |  1912448 |   426352 |    14964   4788 |      528 |      483
682.05/682.43	c  682s |      18 |  1913980 |   426852 |    14964   5105 |      528 |      483
685.35/685.79	c  685s |      18 |  1915738 |   427352 |    14964   5502 |      528 |      483
687.75/688.12	c  687s |      18 |  1917308 |   427752 |    14964   5783 |      528 |      483
690.34/690.73	c  690s |      18 |  1918872 |   428152 |    14964   6100 |      528 |      483
693.25/693.66	c  693s |      18 |  1919871 |   428252 |    14964   6532 |      528 |      483
697.74/698.15	c  697s |      18 |  1921991 |   428752 |    14964   7151 |      528 |      483
699.74/700.15	c  699s |      18 |  1922754 |   428852 |    14964   7443 |      528 |      483
701.73/702.16	c  702s |      18 |  1923578 |   428952 |    14964   7737 |      528 |      483
704.64/705.06	c  704s |      18 |  1924332 |   429052 |    14964   8160 |      528 |      483
708.83/709.28	c  709s |      18 |  1925038 |   429252 |    14964   8774 |      528 |      483
711.13/711.54	c  711s |      18 |  1925790 |   429452 |    14964   9080 |      528 |      483
717.23/717.61	c  717s |      18 |  1927035 |   429652 |    14964   9948 |      528 |      483
719.83/720.23	c  720s |      18 |  1927759 |   429752 |    14964  10326 |      528 |      483
723.12/723.57	c  723s |      18 |  1928430 |   429852 |    14964  10805 |      528 |      483
729.92/730.39	c  730s |      18 |  1929626 |   429952 |    14964  11798 |      528 |      483
734.32/734.78	c  734s |      18 |  1930844 |   430152 |    14964  12353 |      528 |      483
737.31/737.79	c  737s |      18 |  1931482 |   430252 |    14964  12742 |      528 |      483
743.11/743.53	c  743s |      18 |  1932461 |   430352 |    14964  13526 |      528 |      483
748.72/749.18	c  749s |      18 |  1933474 |   430452 |    14964  14290 |      528 |      483
752.71/753.10	c  752s |      18 |  1934284 |   430552 |    14964  14815 |      528 |      483
756.12/756.56	c  756s |      18 |  1935136 |   430652 |    14964  15272 |      528 |      483
758.91/759.30	c  759s |      18 |  1935568 |   430752 |    14964  15627 |      528 |      483
765.41/765.89	c  765s |      18 |  1936707 |   430852 |    14964  16528 |      528 |      483
770.61/771.04	c  770s |      18 |  1937913 |   431052 |    14964  17215 |      528 |      483
778.91/779.32	c  779s |      18 |  1939839 |   431352 |    14964  18343 |      528 |      483
785.01/785.41	c  785s |      18 |  1940801 |   431552 |    14964  19158 |      528 |      483
789.71/790.16	c  790s |      18 |  1941596 |   431652 |    14964  19808 |      528 |      483
792.60/793.02	c  792s |      18 |  1942281 |   431752 |    14964  20191 |      528 |      483
795.70/796.14	c  795s |      18 |  1942895 |   431852 |    14964  20616 |      528 |      483
800.51/800.94	c  800s |      18 |  1943748 |   431952 |    14964  21273 |      528 |      483
806.01/806.49	c  806s |      18 |  1944687 |   432052 |    14964  22046 |      528 |      483
808.70/809.12	c  808s |      18 |  1945408 |   432252 |    14964  22385 |      528 |      483
817.11/817.57	c  817s |      18 |  1947124 |   432552 |    14964  23531 |      528 |      483
820.50/820.95	c  820s |      18 |  1947899 |   432652 |    14964  23997 |      528 |      483
822.60/823.01	c  822s |      18 |  1949217 |   432952 |    14964  24247 |      528 |      483
825.50/825.95	c  825s |      18 |  1950200 |   433252 |    14964  24598 |      528 |      483
828.41/828.88	c  828s |      18 |  1950898 |   433452 |    14964  24970 |      528 |      483
831.00/831.41	c  831s |      18 |  1951418 |   433652 |    14964  25285 |      528 |      483
835.50/835.98	c  835s |      18 |  1952196 |   433852 |    14964  25878 |      528 |      483
838.60/839.02	c  838s |      18 |  1952723 |   434052 |    14964  26264 |      528 |      483
842.40/842.85	c  842s |      18 |  1953366 |   434152 |    14964  26750 |      528 |      483
845.80/846.24	c  846s |      18 |  1953965 |   434352 |    14964  27170 |      528 |      483
850.60/851.04	c  850s |      18 |  1954641 |   434552 |    14964  27792 |      528 |      483
853.30/853.72	c  853s |      18 |  1955016 |   434652 |    14964  28137 |      528 |      483
857.20/857.65	c  857s |      18 |  1955625 |   434852 |    14964  28627 |      528 |      483
859.20/859.66	c  859s |      18 |  1955897 |   434952 |    14964  28880 |      528 |      483
862.90/863.36	c  863s |      18 |  1956444 |   435052 |    14964  29372 |      528 |      483
866.30/866.80	c  866s |      18 |  1956911 |   435252 |    14964  29768 |      528 |      483
869.19/869.61	c  869s |      18 |  1957318 |   435352 |    14964  30110 |      528 |      483
873.29/873.73	c  873s |      18 |  1957974 |   435552 |    14964  30623 |      528 |      483
876.70/877.14	c  876s |      18 |  1958540 |   435752 |    14964  31044 |      528 |      483
879.09/879.58	c  879s |      18 |  1958890 |   435852 |    14964  31359 |      528 |      483
881.29/881.77	c  881s |      18 |  1959171 |   435952 |    14964  31636 |      528 |      483
883.49/883.92	c  883s |      18 |  1959460 |   436052 |    14964  31903 |      528 |      483
885.60/886.03	c  885s |      18 |  1959795 |   436152 |    14964  32170 |      528 |      483
889.89/890.30	c  890s |      18 |  1960386 |   436352 |    14964  32702 |      528 |      483
894.69/895.18	c  895s |      18 |  1961044 |   436452 |    14964  33356 |      528 |      483
898.89/899.38	c  899s |      18 |  1961763 |   436552 |    14964  33881 |      528 |      483
903.09/903.58	c  903s |      18 |  1962407 |   436752 |    14964  34372 |      528 |      483
907.10/907.50	c  907s |      18 |  1963082 |   436852 |    14964  34880 |      528 |      483
909.89/910.35	c  910s |      18 |  1963647 |   437052 |    14964  35236 |      528 |      483
912.59/913.03	c  912s |      18 |  1964755 |   437352 |    14964  35543 |      528 |      483
915.79/916.27	c  916s |      18 |  1965473 |   437552 |    14964  35951 |      528 |      483
917.99/918.49	c  918s |      18 |  1965955 |   437652 |    14964  36236 |      528 |      483
921.49/921.92	c  921s |      18 |  1966885 |   437952 |    14964  36643 |      528 |      483
923.59/924.10	c  923s |      18 |  1967679 |   438152 |    14964  36901 |      528 |      483
925.98/926.43	c  926s |      18 |  1968235 |   438352 |    14964  37175 |      528 |      483
928.00/928.46	c  928s |      18 |  1968793 |   438552 |    14964  37412 |      528 |      483
930.09/930.50	c  930s |      18 |  1969316 |   438752 |    14964  37647 |      528 |      483
932.58/933.04	c  932s |      18 |  1969997 |   438952 |    14964  37952 |      528 |      483
935.48/935.98	c  935s |      18 |  1970708 |   439152 |    14964  38296 |      528 |      483
938.69/939.13	c  938s |      18 |  1971306 |   439352 |    14964  38675 |      528 |      483
940.88/941.37	c  941s |      18 |  1971701 |   439552 |    14964  38922 |      528 |      483
942.98/943.40	c  943s |      18 |  1972163 |   439752 |    14964  39148 |      528 |      483
945.99/946.49	c  946s |      18 |  1972622 |   439952 |    14964  39514 |      528 |      483
948.78/949.25	c  949s |      18 |  1973127 |   440152 |    14964  39836 |      528 |      483
951.28/951.78	c  951s |      18 |  1973636 |   440352 |    14964  40124 |      528 |      483
953.88/954.36	c  954s |      18 |  1974224 |   440552 |    14964  40375 |      528 |      483
956.69/957.15	c  956s |      18 |  1974706 |   440752 |    14964  40693 |      528 |      483
959.49/959.99	c  959s |      18 |  1975127 |   440952 |    14964  41016 |      528 |      483
962.48/962.92	c  962s |      18 |  1975977 |   441152 |    14964  41381 |      528 |      483
966.18/966.66	c  966s |      18 |  1976583 |   441352 |    16461  41838 |      528 |      483
968.28/968.70	c  968s |      18 |  1979639 |   442552 |    16461  41839 |      528 |      483
970.28/970.72	c  970s |      18 |  1983018 |   443752 |    16461  41840 |      528 |      483
971.78/972.24	c  972s |      19 |  1985091 |   444482 |    16461  41841 |      528 |      483
977.28/977.78	c  977s |      19 |  1986918 |   444582 |    16461  42513 |      528 |      483
979.38/979.82	c  979s |      19 |  1996057 |   445882 |    16461  42619 |      528 |      483
981.88/982.37	c  982s |      19 |  2001032 |   446682 |    16461  42800 |      528 |      483
984.67/985.19	c  985s |      19 |  2002685 |   446782 |    16461  43157 |      528 |      483
988.59/989.08	c  988s |      19 |  2006669 |   447582 |    16461  43573 |      528 |      483
990.69/991.16	c  991s |      19 |  2009547 |   447982 |    16461  43788 |      528 |      483
993.38/993.88	c  993s |      19 |  2010791 |   448182 |    16461  44114 |      528 |      483
995.87/996.39	c  996s |      19 |  2012833 |   448382 |    16461  44405 |      528 |      483
998.77/999.23	c  999s |      19 |  2013599 |   448482 |    16461  44753 |      528 |      483
1000.77/1001.28	c 1001s |      19 |  2018170 |   449382 |    16461  44845 |      528 |      483
1002.78/1003.30	c 1003s |      19 |  2024486 |   450882 |    16461  44849 |      528 |      483
1004.87/1005.34	c 1005s |      19 |  2030928 |   452482 |    16461  44856 |      528 |      483
1006.97/1007.47	c 1007s |      19 |  2036252 |   453982 |    16461  44862 |      528 |      483
1009.07/1009.56	c 1009s |      19 |  2040231 |   455182 |    16461  44866 |      528 |      483
1011.17/1011.60	c 1011s |      19 |  2044640 |   456482 |    16461  44873 |      528 |      483
1013.17/1013.67	c 1013s |      19 |  2049537 |   457782 |    16461  44884 |      528 |      483
1015.27/1015.79	c 1015s |      19 |  2055148 |   459182 |    16461  44890 |      528 |      483
1017.37/1017.81	c 1017s |      19 |  2060242 |   460582 |    16461  44898 |      528 |      483
1019.37/1019.82	c 1019s |      19 |  2064269 |   461682 |    16461  44954 |      528 |      483
1021.37/1021.86	c 1021s |      19 |  2069518 |   463082 |    16461  44989 |      528 |      483
1023.47/1023.94	c 1023s |      19 |  2073403 |   464482 |    16461  44994 |      528 |      483
1025.57/1026.06	c 1025s |      19 |  2077662 |   465782 |    16461  45003 |      528 |      483
1027.87/1028.30	c 1028s |      19 |  2081156 |   466782 |    16461  45095 |      528 |      483
1029.87/1030.35	c 1030s |      19 |  2084082 |   467582 |    16461  45201 |      528 |      483
1031.97/1032.48	c 1032s |      19 |  2088068 |   468982 |    16461  45207 |      528 |      483
1034.57/1035.06	c 1034s |      19 |  2092370 |   470282 |    16461  45268 |      528 |      483
1036.67/1037.10	c 1036s |      19 |  2096852 |   471482 |    16461  45284 |      528 |      483
1038.67/1039.19	c 1039s |      19 |  2101949 |   473082 |    16461  45299 |      528 |      483
1043.27/1043.79	c 1043s |      19 |  2105803 |   474182 |    16461  45632 |      528 |      483
1045.67/1046.17	c 1046s |      19 |  2106594 |   474382 |    16461  45862 |      528 |      483
1049.26/1049.78	c 1049s |      19 |  2107550 |   474582 |    16461  46250 |      528 |      483
1051.96/1052.42	c 1052s |      19 |  2109605 |   475182 |    16461  46428 |      528 |      483
1054.06/1054.53	c 1054s |      19 |  2110014 |   475282 |    16461  46660 |      528 |      483
1056.17/1056.65	c 1056s |      19 |  2112268 |   476082 |    16461  46777 |      528 |      483
1058.27/1058.79	c 1058s |      19 |  2115490 |   477182 |    16461  46785 |      528 |      483
1060.67/1061.16	c 1061s |      19 |  2120293 |   478382 |    16461  46869 |      528 |      483
1062.76/1063.28	c 1063s |      19 |  2124518 |   479382 |    16461  46972 |      528 |      483
1065.86/1066.39	c 1066s |      19 |  2126014 |   479782 |    16461  47274 |      528 |      483
1068.16/1068.67	c 1068s |      19 |  2127540 |   480282 |    16461  47453 |      528 |      483
1070.66/1071.19	c 1071s |      19 |  2128860 |   480682 |    16461  47673 |      528 |      483
1073.57/1074.06	c 1073s |      19 |  2131412 |   481282 |    16461  47901 |      528 |      483
1075.77/1076.25	c 1076s |      19 |  2135467 |   482382 |    16461  47983 |      528 |      483
1078.06/1078.52	c 1078s |      19 |  2136999 |   482782 |    16461  48200 |      528 |      483
1081.96/1082.49	c 1082s |      19 |  2137837 |   483082 |    16461  48618 |      528 |      483
1084.56/1085.05	c 1084s |      19 |  2139226 |   483382 |    16461  48869 |      528 |      483
1088.36/1088.81	c 1088s |      19 |  2140373 |   483582 |    16461  49273 |      528 |      483
1090.66/1091.19	c 1091s |      19 |  2141250 |   483882 |    16461  49501 |      528 |      483
1094.26/1094.70	c 1094s |      19 |  2142545 |   484282 |    16461  49832 |      528 |      483
1096.46/1096.96	c 1096s |      19 |  2143307 |   484582 |    16461  50033 |      528 |      483
1098.66/1099.16	c 1099s |      19 |  2143905 |   484782 |    16461  50239 |      528 |      483
1102.26/1102.74	c 1102s |      19 |  2145183 |   485182 |    16461  50563 |      528 |      483
1104.56/1105.07	c 1104s |      19 |  2145974 |   485482 |    16461  50774 |      528 |      483
1106.85/1107.38	c 1107s |      19 |  2146659 |   485682 |    16461  51014 |      528 |      483
1109.36/1109.83	c 1109s |      19 |  2147704 |   485982 |    16461  51242 |      528 |      483
1111.86/1112.36	c 1112s |      19 |  2148103 |   486082 |    16461  51521 |      528 |      483
1113.86/1114.38	c 1114s |      19 |  2148963 |   486382 |    16461  51698 |      528 |      483
1116.16/1116.69	c 1116s |      19 |  2149564 |   486582 |    16461  51925 |      528 |      483
1118.55/1119.06	c 1118s |      19 |  2150277 |   486782 |    16461  52161 |      528 |      483
1120.85/1121.31	c 1121s |      19 |  2151305 |   487082 |    16461  52358 |      528 |      483
1123.35/1123.87	c 1123s |      19 |  2152817 |   487582 |    16461  52526 |      528 |      483
1125.55/1126.05	c 1125s |      19 |  2155432 |   488282 |    16461  52657 |      528 |      483
1127.65/1128.12	c 1127s |      19 |  2157457 |   488982 |    16461  52765 |      528 |      483
1129.85/1130.30	c 1130s |      19 |  2158417 |   489282 |    16461  52956 |      528 |      483
1132.35/1132.88	c 1132s |      19 |  2160631 |   490082 |    16461  53135 |      528 |      483
1134.46/1134.99	c 1134s |      19 |  2164007 |   491282 |    16461  53224 |      528 |      483
1136.86/1137.35	c 1137s |      19 |  2165651 |   491982 |    16461  53370 |      528 |      483
1139.26/1139.72	c 1139s |      19 |  2166298 |   492182 |    16461  53585 |      528 |      483
1141.36/1141.85	c 1141s |      19 |  2169059 |   493182 |    16461  53657 |      528 |      483
1143.95/1144.45	c 1144s |      19 |  2172497 |   494482 |    16461  53732 |      528 |      483
1146.25/1146.78	c 1146s |      19 |  2173534 |   494782 |    16461  53940 |      528 |      483
1148.45/1148.91	c 1148s |      19 |  2174630 |   495182 |    16461  54097 |      528 |      483
1150.76/1151.24	c 1151s |      19 |  2176412 |   495782 |    16461  54223 |      528 |      483
1153.66/1154.11	c 1153s |      19 |  2179114 |   496382 |    16461  54438 |      528 |      483
1156.76/1157.30	c 1157s |      19 |  2179762 |   496582 |    16461  54763 |      528 |      483
1159.35/1159.81	c 1159s |      19 |  2180629 |   496882 |    16461  54990 |      528 |      483
1161.35/1161.84	c 1161s |      19 |  2184257 |   497982 |    16461  55040 |      528 |      483
1167.35/1167.86	c 1167s |      19 |  2185375 |   498182 |    16461  55690 |      528 |      483
1169.65/1170.11	c 1169s |      19 |  2187140 |   498982 |    16461  55792 |      528 |      483
1171.95/1172.49	c 1172s |      19 |  2188814 |   499482 |    16461  55980 |      528 |      483
1174.14/1174.60	c 1174s |      19 |  2191876 |   500582 |    16461  56025 |      528 |      483
1176.14/1176.61	c 1176s |      19 |  2193122 |   501082 |    16461  56150 |      528 |      483
1178.45/1178.95	c 1178s |      19 |  2193980 |   501282 |    16461  56329 |      528 |      483
1181.45/1181.92	c 1181s |      19 |  2195329 |   501682 |    16461  56563 |      528 |      483
1183.65/1184.19	c 1184s |      19 |  2196721 |   502182 |    16461  56744 |      528 |      483
1188.35/1188.84	c 1188s |      19 |  2197720 |   502382 |    16461  57235 |      528 |      483
1193.54/1194.00	c 1193s |      19 |  2198648 |   502582 |    16461  57779 |      528 |      483
1195.85/1196.33	c 1196s |      19 |  2199053 |   502682 |    16461  58028 |      528 |      483
1199.14/1199.61	c 1199s |      19 |  2199769 |   502882 |    16461  58333 |      528 |      483
1201.64/1202.17	c 1202s |      19 |  2200519 |   503082 |    16461  58562 |      528 |      483
1204.84/1205.37	c 1205s |      19 |  2201142 |   503282 |    16461  58882 |      528 |      483
1207.24/1207.80	c 1207s |      19 |  2202041 |   503482 |    16461  59124 |      528 |      483
1209.75/1210.20	c 1210s |      19 |  2202594 |   503582 |    16461  59365 |      528 |      483
1212.04/1212.54	c 1212s |      19 |  2203392 |   503782 |    16461  59591 |      528 |      483
1214.34/1214.80	c 1214s |      19 |  2205395 |   504482 |    16461  59729 |      528 |      483
1216.74/1217.28	c 1217s |      19 |  2206514 |   504882 |    16461  59933 |      528 |      483
1219.64/1220.10	c 1219s |      19 |  2208140 |   505382 |    16461  60178 |      528 |      483
1223.44/1223.92	c 1223s |      19 |  2209988 |   505982 |    16461  60491 |      528 |      483
1226.05/1226.60	c 1226s |      19 |  2210761 |   506182 |    16461  60765 |      528 |      483
1228.64/1229.19	c 1229s |      19 |  2211673 |   506482 |    16461  60993 |      528 |      483
1231.14/1231.63	c 1231s |      19 |  2212909 |   506882 |    16461  61189 |      528 |      483
1233.44/1233.97	c 1233s |      19 |  2214166 |   507282 |    16461  61370 |      528 |      483
1236.63/1237.11	c 1236s |      19 |  2215025 |   507382 |    16461  61698 |      528 |      483
1239.84/1240.31	c 1240s |      19 |  2216485 |   507682 |    16461  62006 |      528 |      483
1241.94/1242.45	c 1242s |      19 |  2217613 |   508082 |    16461  62170 |      528 |      483
1244.53/1245.06	c 1244s |      19 |  2218740 |   508482 |    16461  62384 |      528 |      483
1246.73/1247.20	c 1247s |      19 |  2219517 |   508782 |    16461  62568 |      528 |      483
1249.63/1250.14	c 1249s |      19 |  2220356 |   509082 |    16461  62829 |      528 |      483
1255.75/1256.23	c 1256s |      19 |  2221283 |   509282 |    16461  63441 |      528 |      483
1257.84/1258.33	c 1258s |      19 |  2222494 |   509682 |    16461  63591 |      528 |      483
1260.03/1260.52	c 1260s |      19 |  2223951 |   510182 |    16461  63752 |      528 |      483
1262.13/1262.60	c 1262s |      19 |  2225361 |   510682 |    16461  63883 |      528 |      483
1264.23/1264.76	c 1264s |      19 |  2225947 |   510882 |    16461  64094 |      528 |      483
1267.04/1267.52	c 1267s |      19 |  2226958 |   511282 |    16461  64297 |      528 |      483
1269.14/1269.69	c 1269s |      19 |  2227897 |   511582 |    16461  64499 |      528 |      483
1271.33/1271.88	c 1271s |      19 |  2228732 |   511882 |    16461  64704 |      528 |      483
1275.43/1275.92	c 1275s |      19 |  2229597 |   512082 |    16461  65132 |      528 |      483
1278.03/1278.53	c 1278s |      19 |  2230042 |   512282 |    16461  65385 |      528 |      483
1280.43/1280.99	c 1280s |      19 |  2230481 |   512382 |    16461  65650 |      528 |      483
1282.53/1283.05	c 1282s |      19 |  2230768 |   512482 |    16461  65863 |      528 |      483
1284.63/1285.17	c 1285s |      19 |  2231068 |   512582 |    16461  66093 |      528 |      483
1288.53/1289.00	c 1288s |      19 |  2231968 |   512782 |    16461  66502 |      528 |      483
1290.83/1291.34	c 1291s |      19 |  2232672 |   513082 |    16461  66717 |      528 |      483
1292.93/1293.45	c 1293s |      19 |  2233138 |   513282 |    16461  66920 |      528 |      483
1295.43/1295.91	c 1295s |      19 |  2233488 |   513382 |    16461  67192 |      528 |      483
1297.83/1298.36	c 1298s |      19 |  2233975 |   513582 |    16461  67436 |      528 |      483
1300.43/1300.99	c 1300s |      19 |  2234468 |   513782 |    16461  67720 |      528 |      483
1302.63/1303.12	c 1302s |      19 |  2234806 |   513882 |    16461  67955 |      528 |      483
1305.13/1305.70	c 1305s |      19 |  2235277 |   514082 |    16461  68220 |      528 |      483
1307.63/1308.11	c 1307s |      19 |  2235593 |   514182 |    16461  68482 |      528 |      483
1310.03/1310.57	c 1310s |      19 |  2236226 |   514382 |    16461  68733 |      528 |      483
1314.63/1315.19	c 1315s |      19 |  2236933 |   514582 |    16461  69251 |      528 |      483
1317.03/1317.55	c 1317s |      19 |  2237566 |   514782 |    16461  69491 |      528 |      483
1319.54/1320.01	c 1319s |      19 |  2238244 |   514982 |    16461  69728 |      528 |      483
1321.63/1322.12	c 1321s |      19 |  2239016 |   515282 |    16461  69933 |      528 |      483
1324.13/1324.68	c 1324s |      19 |  2239718 |   515482 |    16461  70191 |      528 |      483
1326.73/1327.28	c 1327s |      19 |  2240147 |   515682 |    16461  70452 |      528 |      483
1329.63/1330.12	c 1329s |      19 |  2240654 |   515882 |    16461  70728 |      528 |      483
1331.82/1332.36	c 1332s |      19 |  2241187 |   516082 |    16461  70953 |      528 |      483
1334.22/1334.72	c 1334s |      19 |  2241827 |   516282 |    16461  71207 |      528 |      483
1336.32/1336.86	c 1336s |      19 |  2242805 |   516582 |    16461  71404 |      528 |      483
1340.23/1340.71	c 1340s |      19 |  2243411 |   516682 |    16461  71837 |      528 |      483
1343.42/1343.98	c 1343s |      19 |  2243931 |   516882 |    16461  72194 |      528 |      483
1347.42/1347.94	c 1347s |      19 |  2244514 |   517082 |    16461  72618 |      528 |      483
1350.72/1351.21	c 1351s |      19 |  2245384 |   517382 |    16461  72930 |      528 |      483
1353.73/1354.21	c 1354s |      19 |  2246978 |   517782 |    16461  73201 |      528 |      483
1359.72/1360.28	c 1360s |      19 |  2248289 |   518182 |    16461  73830 |      528 |      483
1362.02/1362.58	c 1362s |      19 |  2248691 |   518282 |    16461  74083 |      528 |      483
1364.12/1364.63	c 1364s |      19 |  2249098 |   518382 |    16461  74308 |      528 |      483
1366.32/1366.89	c 1366s |      19 |  2249611 |   518582 |    16461  74534 |      528 |      483
1369.62/1370.19	c 1370s |      19 |  2250342 |   518882 |    16461  74865 |      528 |      483
1372.02/1372.57	c 1372s |      19 |  2250795 |   519082 |    16461  75101 |      528 |      483
1375.31/1375.84	c 1375s |      19 |  2251413 |   519282 |    16461  75446 |      528 |      483
1378.01/1378.52	c 1378s |      19 |  2252258 |   519582 |    16461  75693 |      528 |      483
1380.82/1381.37	c 1381s |      19 |  2252783 |   519782 |    16461  75982 |      528 |      483
1384.32/1384.88	c 1384s |      19 |  2253524 |   519982 |    16461  76342 |      528 |      483
1387.61/1388.20	c 1388s |      19 |  2254084 |   520082 |    16461  76714 |      528 |      483
1390.42/1390.90	c 1390s |      19 |  2254766 |   520282 |    16461  76989 |      528 |      483
1392.51/1393.09	c 1392s |      19 |  2255231 |   520382 |    16461  77223 |      528 |      483
1395.52/1396.07	c 1395s |      19 |  2256138 |   520682 |    16461  77520 |      528 |      483
1398.61/1399.17	c 1399s |      19 |  2256677 |   520882 |    16461  77849 |      528 |      483
1401.11/1401.64	c 1401s |      19 |  2257026 |   520982 |    16461  78116 |      528 |      483
1403.31/1403.83	c 1403s |      19 |  2257599 |   521182 |    16461  78336 |      528 |      483
1405.62/1406.19	c 1406s |      19 |  2258039 |   521382 |    16461  78581 |      528 |      483
1407.92/1408.41	c 1408s |      19 |  2258529 |   521582 |    16461  78811 |      528 |      483
1410.82/1411.37	c 1411s |      19 |  2259117 |   521882 |    16461  79104 |      528 |      483
1415.11/1415.68	c 1415s |      19 |  2259839 |   522082 |    16461  79574 |      528 |      483
1417.11/1417.69	c 1417s |      19 |  2260348 |   522282 |    16461  79783 |      528 |      483
1420.01/1420.59	c 1420s |      19 |  2260752 |   522482 |    16461  80103 |      528 |      483
1422.31/1422.82	c 1422s |      19 |  2261059 |   522582 |    16461  80345 |      528 |      483
1425.51/1426.04	c 1425s |      19 |  2261502 |   522782 |    16461  80694 |      528 |      483
1428.31/1428.80	c 1428s |      19 |  2261942 |   522982 |    16461  80981 |      528 |      483
1431.31/1431.87	c 1431s |      19 |  2262536 |   523182 |    16461  81297 |      528 |      483
1433.61/1434.13	c 1433s |      19 |  2262916 |   523282 |    16461  81535 |      528 |      483
1437.21/1437.74	c 1437s |      19 |  2263581 |   523482 |    16461  81913 |      528 |      483
1440.01/1440.54	c 1440s |      19 |  2264394 |   523782 |    16461  82171 |      528 |      483
1442.72/1443.21	c 1443s |      19 |  2265306 |   524082 |    16461  82414 |      528 |      483
1445.31/1445.88	c 1445s |      19 |  2265904 |   524282 |    16461  82672 |      528 |      483
1447.81/1448.32	c 1448s |      19 |  2266219 |   524382 |    16461  82926 |      528 |      483
1450.10/1450.66	c 1450s |      19 |  2266525 |   524482 |    16461  83168 |      528 |      483
1453.71/1454.27	c 1454s |      19 |  2267042 |   524682 |    16461  83544 |      528 |      483
1455.91/1456.49	c 1456s |      19 |  2267655 |   524982 |    16461  83699 |      528 |      483
1460.11/1460.64	c 1460s |      19 |  2268358 |   525182 |    16461  84123 |      528 |      483
1462.41/1462.92	c 1462s |      19 |  2268845 |   525282 |    16461  84374 |      528 |      483
1467.20/1467.79	c 1467s |      19 |  2269507 |   525382 |    16461  84928 |      528 |      483
1470.60/1471.12	c 1470s |      19 |  2270037 |   525582 |    16461  85278 |      528 |      483
1473.31/1473.80	c 1473s |      19 |  2270493 |   525682 |    16461  85574 |      528 |      483
1477.91/1478.48	c 1478s |      19 |  2271133 |   525882 |    16461  86078 |      528 |      483
1481.40/1481.99	c 1481s |      19 |  2271704 |   526082 |    16461  86441 |      528 |      483
1485.50/1486.08	c 1485s |      19 |  2272192 |   526182 |    16461  86894 |      528 |      483
1488.40/1488.92	c 1488s |      19 |  2272577 |   526282 |    16461  87206 |      528 |      483
1491.21/1491.75	c 1491s |      19 |  2273100 |   526482 |    16461  87497 |      528 |      483
1494.51/1495.01	c 1494s |      19 |  2273629 |   526682 |    16461  87839 |      528 |      483
1496.50/1497.03	c 1496s |      19 |  2273962 |   526782 |    16461  88055 |      528 |      483
1499.50/1500.04	c 1499s |      19 |  2274405 |   526982 |    16461  88363 |      528 |      483
1501.60/1502.15	c 1501s |      19 |  2275066 |   527182 |    16461  88552 |      528 |      483
1505.20/1505.77	c 1505s |      19 |  2275737 |   527382 |    16461  88915 |      528 |      483
1508.19/1508.78	c 1508s |      19 |  2276131 |   527482 |    16461  89229 |      528 |      483
1510.91/1511.45	c 1511s |      19 |  2276487 |   527582 |    16461  89503 |      528 |      483
1514.50/1515.01	c 1514s |      19 |  2277017 |   527782 |    16461  89852 |      528 |      483
1516.79/1517.30	c 1517s |      19 |  2277734 |   528082 |    16461  90044 |      528 |      483
1518.89/1519.46	c 1519s |      19 |  2278092 |   528182 |    16461  90270 |      528 |      483
1522.20/1522.80	c 1522s |      19 |  2279202 |   528582 |    16461  90556 |      528 |      483
1524.80/1525.32	c 1525s |      19 |  2280142 |   528882 |    16461  90787 |      528 |      483
1527.80/1528.37	c 1528s |      19 |  2281117 |   529082 |    16461  91096 |      528 |      483
1530.19/1530.73	c 1530s |      19 |  2281451 |   529182 |    16461  91335 |      528 |      483
1532.59/1533.14	c 1532s |      19 |  2281997 |   529382 |    16461  91563 |      528 |      483
1535.59/1536.19	c 1536s |      19 |  2282967 |   529582 |    16461  91877 |      528 |      483
1539.89/1540.49	c 1540s |      19 |  2283641 |   529782 |    16461  92333 |      528 |      483
1542.29/1542.86	c 1542s |      19 |  2283899 |   529882 |    16461  92589 |      528 |      483
1547.39/1548.00	c 1547s |      19 |  2284489 |   529982 |    16461  93152 |      528 |      483
1552.70/1553.27	c 1553s |      19 |  2285129 |   530182 |    16461  93701 |      528 |      483
1554.79/1555.33	c 1555s |      19 |  2285342 |   530282 |    16461  93911 |      528 |      483
1556.99/1557.56	c 1557s |      19 |  2285867 |   530482 |    16461  94135 |      528 |      483
1559.99/1560.51	c 1560s |      19 |  2286314 |   530682 |    16461  94437 |      528 |      483
1563.09/1563.63	c 1563s |      19 |  2287494 |   531082 |    16461  94723 |      528 |      483
1566.00/1566.58	c 1566s |      19 |  2288821 |   531582 |    16461  94969 |      528 |      483
1568.29/1568.82	c 1568s |      19 |  2289160 |   531682 |    16461  95197 |      528 |      483
1571.59/1572.16	c 1572s |      19 |  2290214 |   531982 |    16461  95521 |      528 |      483
1573.69/1574.27	c 1574s |      19 |  2290754 |   532182 |    16461  95726 |      528 |      483
1576.59/1577.12	c 1576s |      19 |  2291665 |   532582 |    16461  95973 |      528 |      483
1579.89/1580.44	c 1580s |      19 |  2292593 |   532782 |    16461  96309 |      528 |      483
1582.09/1582.65	c 1582s |      19 |  2293156 |   532982 |    16461  96514 |      528 |      483
1584.08/1584.65	c 1584s |      19 |  2293760 |   533182 |    16461  96713 |      528 |      483
1586.18/1586.79	c 1586s |      19 |  2294210 |   533282 |    16461  96934 |      528 |      483
1590.59/1591.19	c 1591s |      19 |  2295098 |   533482 |    16461  97402 |      528 |      483
1593.29/1593.80	c 1593s |      19 |  2295540 |   533582 |    16461  97676 |      528 |      483
1596.79/1597.34	c 1597s |      19 |  2296367 |   533782 |    16461  98035 |      528 |      483
1598.89/1599.46	c 1599s |      19 |  2296983 |   533982 |    16461  98228 |      528 |      483
1601.98/1602.53	c 1602s |      19 |  2297513 |   534082 |    16461  98564 |      528 |      483
1604.78/1605.33	c 1605s |      19 |  2298378 |   534282 |    16461  98839 |      528 |      483
1608.28/1608.87	c 1608s |      19 |  2299252 |   534482 |    16461  99197 |      528 |      483
1610.58/1611.11	c 1610s |      19 |  2299620 |   534582 |    16461  99424 |      528 |      483
1612.78/1613.38	c 1613s |      19 |  2300219 |   534782 |    16461  99628 |      528 |      483
1615.58/1616.11	c 1615s |      19 |  2300979 |   535082 |    16461  99889 |      528 |      483
1619.68/1620.20	c 1620s |      19 |  2302010 |   535382 |    16461 100310 |      528 |      483
1622.38/1622.96	c 1622s |      19 |  2302448 |   535482 |    16461 100615 |      528 |      483
1626.28/1626.89	c 1626s |      19 |  2303346 |   535682 |    16461 101025 |      528 |      483
1629.38/1629.97	c 1629s |      19 |  2303917 |   535882 |    16461 101329 |      528 |      483
1632.08/1632.65	c 1632s |      19 |  2304486 |   536082 |    16461 101593 |      528 |      483
1634.88/1635.45	c 1635s |      19 |  2305251 |   536282 |    16461 101876 |      528 |      483
1640.98/1641.51	c 1641s |      19 |  2306153 |   536582 |    16461 102489 |      528 |      483
1644.48/1645.09	c 1644s |      19 |  2306842 |   536782 |    16461 102849 |      528 |      483
1648.98/1649.50	c 1649s |      19 |  2307743 |   537082 |    16461 103239 |      528 |      483
1651.47/1652.08	c 1651s |      19 |  2308294 |   537282 |    16461 103468 |      528 |      483
1653.77/1654.36	c 1654s |      19 |  2308731 |   537482 |    16461 103669 |      528 |      483
1655.98/1656.59	c 1656s |      19 |  2309202 |   537682 |    16461 103864 |      528 |      483
1658.98/1659.54	c 1659s |      19 |  2309790 |   537882 |    16461 104131 |      528 |      483
1661.48/1662.09	c 1661s |      19 |  2310129 |   537982 |    16461 104391 |      528 |      483
1665.17/1665.75	c 1665s |      19 |  2310659 |   538082 |    16461 104788 |      528 |      483
1668.18/1668.77	c 1668s |      19 |  2311261 |   538282 |    16461 105073 |      528 |      483
1672.18/1672.77	c 1672s |      19 |  2312064 |   538582 |    16461 105448 |      528 |      483
1675.37/1675.91	c 1675s |      19 |  2312589 |   538782 |    16461 105761 |      528 |      483
1679.77/1680.34	c 1680s |      19 |  2313212 |   538982 |    16461 106234 |      528 |      483
1683.27/1683.89	c 1683s |      19 |  2313690 |   539082 |    16461 106619 |      528 |      483
1686.07/1686.62	c 1686s |      19 |  2314107 |   539282 |    16461 106877 |      528 |      483
1688.47/1689.00	c 1688s |      19 |  2314608 |   539482 |    16461 107110 |      528 |      483
1690.77/1691.39	c 1691s |      19 |  2314936 |   539582 |    16461 107359 |      528 |      483
1694.27/1694.83	c 1694s |      19 |  2315485 |   539782 |    16461 107688 |      528 |      483
1697.07/1697.66	c 1697s |      19 |  2316293 |   539982 |    16461 107978 |      528 |      483
1704.36/1704.90	c 1704s |      19 |  2317271 |   540182 |    16461 108764 |      528 |      483
1707.77/1708.33	c 1708s |      19 |  2317833 |   540382 |    16461 109117 |      528 |      483
1712.17/1712.73	c 1712s |      19 |  2318612 |   540582 |    16461 109557 |      528 |      483
1715.96/1716.58	c 1716s |      19 |  2319399 |   540882 |    16461 109913 |      528 |      483
1718.37/1718.96	c 1718s |      19 |  2320182 |   541182 |    16461 110119 |      528 |      483
1721.77/1722.35	c 1722s |      19 |  2320681 |   541382 |    16461 110429 |      528 |      483
1724.67/1725.24	c 1725s |      19 |  2321307 |   541582 |    16461 110705 |      528 |      483
1727.46/1728.02	c 1727s |      19 |  2322175 |   541882 |    16461 110939 |      528 |      483
1729.96/1730.56	c 1730s |      19 |  2322602 |   541982 |    16461 111213 |      528 |      483
1732.16/1732.73	c 1732s |      19 |  2323223 |   542182 |    16461 111414 |      528 |      483
1736.27/1736.90	c 1736s |      19 |  2324190 |   542482 |    16461 111809 |      528 |      483
1740.67/1741.30	c 1741s |      19 |  2324799 |   542682 |    16461 112224 |      528 |      483
1746.16/1746.72	c 1746s |      19 |  2325651 |   542882 |    16461 112804 |      528 |      483
1748.86/1749.43	c 1749s |      19 |  2325962 |   542982 |    16461 113088 |      528 |      483
1751.66/1752.23	c 1752s |      19 |  2326341 |   543182 |    16461 113348 |      528 |      483
1754.07/1754.62	c 1754s |      19 |  2326847 |   543382 |    16461 113581 |      528 |      483
1756.66/1757.20	c 1757s |      19 |  2327673 |   543682 |    16461 113821 |      528 |      483
1758.76/1759.36	c 1759s |      19 |  2328129 |   543882 |    16461 114014 |      528 |      483
1761.46/1762.02	c 1761s |      19 |  2328673 |   544182 |    16461 114236 |      528 |      483
1765.46/1766.09	c 1765s |      19 |  2329318 |   544382 |    16461 114646 |      528 |      483
1768.26/1768.81	c 1768s |      19 |  2329674 |   544482 |    16461 114926 |      528 |      483
1773.16/1773.72	c 1773s |      19 |  2330344 |   544682 |    16461 115439 |      528 |      483
1776.56/1777.15	c 1776s |      19 |  2330793 |   544882 |    16461 115764 |      528 |      483
1780.85/1781.45	c 1781s |      19 |  2331358 |   544982 |    16461 116217 |      528 |      483
1783.86/1784.44	c 1784s |      19 |  2332033 |   545282 |    16461 116496 |      528 |      483
1787.06/1787.61	c 1787s |      19 |  2332575 |   545482 |    16461 116813 |      528 |      483
1789.65/1790.29	c 1790s |      19 |  2333052 |   545682 |    16461 117065 |      528 |      483
1791.75/1792.35	c 1792s |      19 |  2333715 |   545982 |    16461 117244 |      528 |      483
1794.56/1795.13	c 1794s |      19 |  2334486 |   546282 |    16461 117517 |      528 |      483
1797.55/1798.19	c 1798s |      19 |  2334859 |   546382 |    16461 117834 |      528 |      483
1800.05/1800.60	c 1800s |      19 |  2335163 |   546482 |    16461 118084 |      528 |      483

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

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.05 2.06 3/179 4277
/proc/meminfo: memFree=30085316/32872528 swapFree=12328/568296
[pid=4277] ppid=4274 vsize=329148 CPUtime=0 cores=1,3,5,7
/proc/4277/stat : 4277 (toysat) R 4274 4277 3396 0 -1 4202496 1160 0 0 0 0 0 0 0 20 0 4 0 110709463 337047552 1521 33554432000 4194304 16246674 140733213745824 140733213745248 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4277/statm: 83055 1531 441 2943 0 79949 0
[pid=4277/tid=4278] ppid=4274 vsize=345532 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4278/stat : 4278 (toysat) S 4274 4277 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110709464 353824768 1584 33554432000 4194304 16246674 140733213745824 140687429315824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4277/tid=4279] ppid=4274 vsize=351676 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4279/stat : 4279 (toysat) S 4274 4277 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709464 360116224 1606 33554432000 4194304 16246674 140733213745824 140687418825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4277/tid=4280] ppid=4274 vsize=355772 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4280/stat : 4280 (toysat) S 4274 4277 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110709464 364310528 1622 33554432000 4194304 16246674 140733213745824 140687408352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.02 2.05 2.06 3/179 4277
/proc/meminfo: memFree=30085316/32872528 swapFree=12328/568296
[pid=4277] ppid=4274 vsize=1221188 CPUtime=0.08 cores=1,3,5,7
/proc/4277/stat : 4277 (toysat) R 4274 4277 3396 0 -1 4202496 22737 0 0 0 5 3 0 0 20 0 4 0 110709463 1250496512 23036 33554432000 4194304 16246674 140733213745824 140733213745136 6756338 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4277/statm: 305297 23045 831 2943 0 302191 0
[pid=4277/tid=4278] ppid=4274 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4278/stat : 4278 (toysat) S 4274 4277 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110709464 1250496512 23051 33554432000 4194304 16246674 140733213745824 140687429315824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4277/tid=4279] ppid=4274 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4279/stat : 4279 (toysat) S 4274 4277 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709464 1250496512 23057 33554432000 4194304 16246674 140733213745824 140687418825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4277/tid=4280] ppid=4274 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4280/stat : 4280 (toysat) S 4274 4277 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709464 1250496512 23064 33554432000 4194304 16246674 140733213745824 140687408352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200555 s]
/proc/loadavg: 2.02 2.05 2.06 3/179 4277
/proc/meminfo: memFree=30085316/32872528 swapFree=12328/568296
[pid=4277] ppid=4274 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/4277/stat : 4277 (toysat) R 4274 4277 3396 0 -1 4202496 42644 0 0 0 13 6 0 0 20 0 4 0 110709463 1250496512 42943 33554432000 4194304 16246674 140733213745824 140733213745136 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4277/statm: 305297 42955 876 2943 0 302191 0
[pid=4277/tid=4278] ppid=4274 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4278/stat : 4278 (toysat) S 4274 4277 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110709464 1250496512 42960 33554432000 4194304 16246674 140733213745824 140687429315824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4277/tid=4279] ppid=4274 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4279/stat : 4279 (toysat) S 4274 4277 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709464 1250496512 42966 33554432000 4194304 16246674 140733213745824 140687418825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4277/tid=4280] ppid=4274 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4280/stat : 4280 (toysat) S 4274 4277 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709464 1250496512 42970 33554432000 4194304 16246674 140733213745824 140687408352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300476 s]
/proc/loadavg: 2.02 2.05 2.06 3/179 4277
/proc/meminfo: memFree=30085316/32872528 swapFree=12328/568296
[pid=4277] ppid=4274 vsize=1221188 CPUtime=0.28 cores=1,3,5,7
/proc/4277/stat : 4277 (toysat) R 4274 4277 3396 0 -1 4202496 60500 0 0 0 20 8 0 0 20 0 4 0 110709463 1250496512 60799 33554432000 4194304 16246674 140733213745824 140733213745136 5722241 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4277/statm: 305297 60811 876 2943 0 302191 0
[pid=4277/tid=4278] ppid=4274 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4278/stat : 4278 (toysat) S 4274 4277 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110709464 1250496512 60820 33554432000 4194304 16246674 140733213745824 140687429315824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4277/tid=4279] ppid=4274 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4279/stat : 4279 (toysat) S 4274 4277 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709464 1250496512 60828 33554432000 4194304 16246674 140733213745824 140687418825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4277/tid=4280] ppid=4274 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4280/stat : 4280 (toysat) S 4274 4277 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709464 1250496512 60835 33554432000 4194304 16246674 140733213745824 140687408352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1221188

[startup+0.700423 s]
/proc/loadavg: 2.02 2.05 2.06 3/179 4277
/proc/meminfo: memFree=30085316/32872528 swapFree=12328/568296
[pid=4277] ppid=4274 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/4277/stat : 4277 (toysat) R 4274 4277 3396 0 -1 4202496 147541 0 0 0 50 19 0 0 20 0 4 0 110709463 1332285440 147840 33554432000 4194304 16246674 140733213745824 140733213745136 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4277/statm: 325265 147852 879 2943 0 322159 0
[pid=4277/tid=4278] ppid=4274 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4278/stat : 4278 (toysat) S 4274 4277 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110709464 1332285440 147857 33554432000 4194304 16246674 140733213745824 140687429315824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4277/tid=4279] ppid=4274 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4279/stat : 4279 (toysat) S 4274 4277 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709464 1332285440 147865 33554432000 4194304 16246674 140733213745824 140687418825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4277/tid=4280] ppid=4274 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4280/stat : 4280 (toysat) S 4274 4277 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709464 1332285440 147871 33554432000 4194304 16246674 140733213745824 140687408352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50037 s]
/proc/loadavg: 2.02 2.05 2.06 4/183 4281
/proc/meminfo: memFree=29466724/32872528 swapFree=12328/568296
[pid=4277] ppid=4274 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/4277/stat : 4277 (toysat) R 4274 4277 3396 0 -1 4202496 228653 0 0 0 118 31 0 0 20 0 4 0 110709463 1332285440 228952 33554432000 4194304 16246674 140733213745824 140733213727744 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4277/statm: 325265 228961 879 2943 0 322159 0
[pid=4277/tid=4278] ppid=4274 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4278/stat : 4278 (toysat) S 4274 4277 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110709464 1332285440 228968 33554432000 4194304 16246674 140733213745824 140687429315824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4277/tid=4279] ppid=4274 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4279/stat : 4279 (toysat) S 4274 4277 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709464 1332285440 228972 33554432000 4194304 16246674 140733213745824 140687418825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4277/tid=4280] ppid=4274 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4280/stat : 4280 (toysat) S 4274 4277 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709464 1332285440 228978 33554432000 4194304 16246674 140733213745824 140687408352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10044 s]
/proc/loadavg: 2.02 2.05 2.06 3/183 4281
/proc/meminfo: memFree=29014496/32872528 swapFree=12328/568296
[pid=4277] ppid=4274 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/4277/stat : 4277 (toysat) R 4274 4277 3396 0 -1 4202496 267983 0 0 0 273 36 0 0 20 0 4 0 110709463 1338576896 268282 33554432000 4194304 16246674 140733213745824 140733213727744 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4277/statm: 326801 268282 883 2943 0 323695 0
[pid=4277/tid=4278] ppid=4274 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4278/stat : 4278 (toysat) S 4274 4277 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110709464 1338576896 268282 33554432000 4194304 16246674 140733213745824 140687429315824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4277/tid=4279] ppid=4274 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4279/stat : 4279 (toysat) S 4274 4277 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709464 1338576896 268282 33554432000 4194304 16246674 140733213745824 140687418825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4277/tid=4280] ppid=4274 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4280/stat : 4280 (toysat) S 4274 4277 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709464 1338576896 268282 33554432000 4194304 16246674 140733213745824 140687408352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.02 2.05 2.06 3/183 4281
/proc/meminfo: memFree=29013752/32872528 swapFree=12328/568296
[pid=4277] ppid=4274 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/4277/stat : 4277 (toysat) R 4274 4277 3396 0 -1 4202496 267983 0 0 0 593 36 0 0 20 0 4 0 110709463 1338576896 268282 33554432000 4194304 16246674 140733213745824 140733213727744 13949872 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4277/statm: 326801 268282 883 2943 0 323695 0
[pid=4277/tid=4278] ppid=4274 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4278/stat : 4278 (toysat) S 4274 4277 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110709464 1338576896 268282 33554432000 4194304 16246674 140733213745824 140687429315824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4277/tid=4279] ppid=4274 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4279/stat : 4279 (toysat) S 4274 4277 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709464 1338576896 268282 33554432000 4194304 16246674 140733213745824 140687418825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4277/tid=4280] ppid=4274 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4280/stat : 4280 (toysat) S 4274 4277 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709464 1338576896 268282 33554432000 4194304 16246674 140733213745824 140687408352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.02 2.04 2.06 3/183 4281
/proc/meminfo: memFree=29012544/32872528 swapFree=12328/568296
[pid=4277] ppid=4274 vsize=1308228 CPUtime=12.68 cores=1,3,5,7
/proc/4277/stat : 4277 (toysat) R 4274 4277 3396 0 -1 4202496 268098 0 0 0 1232 36 0 0 20 0 4 0 110709463 1339625472 268397 33554432000 4194304 16246674 140733213745824 140733213727744 13950232 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4277/statm: 327057 268397 884 2943 0 323951 0
[pid=4277/tid=4278] ppid=4274 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4278/stat : 4278 (toysat) S 4274 4277 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110709464 1339625472 268397 33554432000 4194304 16246674 140733213745824 140687429315824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4277/tid=4279] ppid=4274 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4279/stat : 4279 (toysat) S 4274 4277 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709464 1339625472 268397 33554432000 4194304 16246674 140733213745824 140687418825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4277/tid=4280] ppid=4274 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4280/stat : 4280 (toysat) S 4274 4277 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709464 1339625472 268397 33554432000 4194304 16246674 140733213745824 140687408352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.01 2.04 2.06 3/183 4281
/proc/meminfo: memFree=29011792/32872528 swapFree=12328/568296
[pid=4277] ppid=4274 vsize=1308228 CPUtime=25.48 cores=1,3,5,7
/proc/4277/stat : 4277 (toysat) R 4274 4277 3396 0 -1 4202496 268175 0 0 0 2512 36 0 0 20 0 4 0 110709463 1339625472 268474 33554432000 4194304 16246674 140733213745824 140733213727744 5721559 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4277/statm: 327057 268474 884 2943 0 323951 0
[pid=4277/tid=4278] ppid=4274 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4278/stat : 4278 (toysat) S 4274 4277 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110709464 1339625472 268474 33554432000 4194304 16246674 140733213745824 140687429315824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4277/tid=4279] ppid=4274 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4279/stat : 4279 (toysat) S 4274 4277 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709464 1339625472 268474 33554432000 4194304 16246674 140733213745824 140687418825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4277/tid=4280] ppid=4274 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4280/stat : 4280 (toysat) S 4274 4277 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709464 1339625472 268474 33554432000 4194304 16246674 140733213745824 140687408352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1006 s]
/proc/loadavg: 2.01 2.04 2.06 3/183 4281
/proc/meminfo: memFree=29011764/32872528 swapFree=12328/568296
[pid=4277] ppid=4274 vsize=1308228 CPUtime=51.07 cores=1,3,5,7
/proc/4277/stat : 4277 (toysat) R 4274 4277 3396 0 -1 4202496 268175 0 0 0 5071 36 0 0 20 0 4 0 110709463 1339625472 268474 33554432000 4194304 16246674 140733213745824 140733213727744 5717656 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4277/statm: 327057 268474 884 2943 0 323951 0
[pid=4277/tid=4278] ppid=4274 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4278/stat : 4278 (toysat) S 4274 4277 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110709464 1339625472 268474 33554432000 4194304 16246674 140733213745824 140687429315824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4277/tid=4279] ppid=4274 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4279/stat : 4279 (toysat) S 4274 4277 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709464 1339625472 268474 33554432000 4194304 16246674 140733213745824 140687418825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4277/tid=4280] ppid=4274 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4280/stat : 4280 (toysat) S 4274 4277 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709464 1339625472 268474 33554432000 4194304 16246674 140733213745824 140687408352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1308228

[startup+102.301 s]
/proc/loadavg: 2.05 2.04 2.06 3/183 4330
/proc/meminfo: memFree=29009760/32872528 swapFree=12328/568296
[pid=4277] ppid=4274 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/4277/stat : 4277 (toysat) R 4274 4277 3396 0 -1 4202496 268249 0 0 0 10191 37 0 0 20 0 4 0 110709463 1339625472 268542 33554432000 4194304 16246674 140733213745824 140733213727744 5661902 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4277/statm: 327057 268542 884 2943 0 323951 0
[pid=4277/tid=4278] ppid=4274 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4278/stat : 4278 (toysat) S 4274 4277 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110709464 1339625472 268542 33554432000 4194304 16246674 140733213745824 140687429315824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4277/tid=4279] ppid=4274 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4279/stat : 4279 (toysat) S 4274 4277 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709464 1339625472 268542 33554432000 4194304 16246674 140733213745824 140687418825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4277/tid=4280] ppid=4274 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4280/stat : 4280 (toysat) S 4274 4277 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709464 1339625472 268542 33554432000 4194304 16246674 140733213745824 140687408352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/4277/task/4280/stat : 4280 (toysat) S 4274 4277 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687408352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1309252

[startup+1302.3 s]
/proc/loadavg: 2.13 2.10 2.06 3/183 4360
/proc/meminfo: memFree=29002432/32872528 swapFree=12328/568296
[pid=4277] ppid=4274 vsize=1309252 CPUtime=1301.83 cores=1,3,5,7
/proc/4277/stat : 4277 (toysat) R 4274 4277 3396 0 -1 4202496 268897 0 0 0 130096 87 0 0 20 0 4 0 110709463 1340674048 268798 33554432000 4194304 16246674 140733213745824 140733213745000 13191431 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4277/statm: 327313 268798 884 2943 0 324207 0
[pid=4277/tid=4278] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4278/stat : 4278 (toysat) S 4274 4277 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687429315824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4277/tid=4279] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4279/stat : 4279 (toysat) S 4274 4277 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687418825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4277/tid=4280] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4280/stat : 4280 (toysat) S 4274 4277 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687408352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1309252

[startup+1362.3 s]
/proc/loadavg: 2.08 2.09 2.06 3/183 4361
/proc/meminfo: memFree=29001948/32872528 swapFree=12328/568296
[pid=4277] ppid=4274 vsize=1309252 CPUtime=1361.82 cores=1,3,5,7
/proc/4277/stat : 4277 (toysat) R 4274 4277 3396 0 -1 4202496 268897 0 0 0 136090 92 0 0 20 0 4 0 110709463 1340674048 268798 33554432000 4194304 16246674 140733213745824 140733213745000 5974060 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4277/statm: 327313 268798 884 2943 0 324207 0
[pid=4277/tid=4278] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4278/stat : 4278 (toysat) S 4274 4277 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687429315824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4277/tid=4279] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4279/stat : 4279 (toysat) S 4274 4277 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687418825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4277/tid=4280] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4280/stat : 4280 (toysat) S 4274 4277 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687408352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1309252

[startup+1422.3 s]
/proc/loadavg: 2.17 2.12 2.07 3/183 4363
/proc/meminfo: memFree=29002064/32872528 swapFree=12328/568296
[pid=4277] ppid=4274 vsize=1309252 CPUtime=1421.81 cores=1,3,5,7
/proc/4277/stat : 4277 (toysat) R 4274 4277 3396 0 -1 4202496 268897 0 0 0 142084 97 0 0 20 0 4 0 110709463 1340674048 268798 33554432000 4194304 16246674 140733213745824 140733213745000 5974204 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4277/statm: 327313 268798 884 2943 0 324207 0
[pid=4277/tid=4278] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4278/stat : 4278 (toysat) S 4274 4277 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687429315824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4277/tid=4279] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4279/stat : 4279 (toysat) S 4274 4277 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687418825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4277/tid=4280] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4280/stat : 4280 (toysat) S 4274 4277 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687408352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1309252

[startup+1482.3 s]
/proc/loadavg: 2.12 2.11 2.07 3/183 4364
/proc/meminfo: memFree=29002184/32872528 swapFree=12328/568296
[pid=4277] ppid=4274 vsize=1309252 CPUtime=1481.8 cores=1,3,5,7
/proc/4277/stat : 4277 (toysat) R 4274 4277 3396 0 -1 4202496 268897 0 0 0 148079 101 0 0 20 0 4 0 110709463 1340674048 268798 33554432000 4194304 16246674 140733213745824 140733213744920 5974204 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4277/statm: 327313 268798 884 2943 0 324207 0
[pid=4277/tid=4278] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4278/stat : 4278 (toysat) S 4274 4277 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687429315824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4277/tid=4279] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4279/stat : 4279 (toysat) S 4274 4277 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687418825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4277/tid=4280] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4280/stat : 4280 (toysat) S 4274 4277 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687408352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1309252

[startup+1542.31 s]
/proc/loadavg: 2.08 2.10 2.07 4/183 4365
/proc/meminfo: memFree=29002312/32872528 swapFree=12328/568296
[pid=4277] ppid=4274 vsize=1309252 CPUtime=1541.8 cores=1,3,5,7
/proc/4277/stat : 4277 (toysat) R 4274 4277 3396 0 -1 4202496 268897 0 0 0 154074 106 0 0 20 0 4 0 110709463 1340674048 268798 33554432000 4194304 16246674 140733213745824 140733213745000 5653151 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4277/statm: 327313 268798 884 2943 0 324207 0
[pid=4277/tid=4278] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4278/stat : 4278 (toysat) S 4274 4277 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687429315824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4277/tid=4279] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4279/stat : 4279 (toysat) S 4274 4277 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687418825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4277/tid=4280] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4280/stat : 4280 (toysat) S 4274 4277 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687408352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1309252

[startup+1602.3 s]
/proc/loadavg: 2.21 2.13 2.08 3/183 4366
/proc/meminfo: memFree=29002320/32872528 swapFree=12328/568296
[pid=4277] ppid=4274 vsize=1309252 CPUtime=1601.78 cores=1,3,5,7
/proc/4277/stat : 4277 (toysat) R 4274 4277 3396 0 -1 4202496 268897 0 0 0 160068 110 0 0 20 0 4 0 110709463 1340674048 268798 33554432000 4194304 16246674 140733213745824 140733213745000 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4277/statm: 327313 268798 884 2943 0 324207 0
[pid=4277/tid=4278] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4278/stat : 4278 (toysat) S 4274 4277 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687429315824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4277/tid=4279] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4279/stat : 4279 (toysat) S 4274 4277 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687418825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4277/tid=4280] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4280/stat : 4280 (toysat) S 4274 4277 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687408352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1309252

[startup+1662.3 s]
/proc/loadavg: 2.20 2.13 2.08 3/184 4370
/proc/meminfo: memFree=29002380/32872528 swapFree=12328/568296
[pid=4277] ppid=4274 vsize=1309252 CPUtime=1661.78 cores=1,3,5,7
/proc/4277/stat : 4277 (toysat) R 4274 4277 3396 0 -1 4202496 268897 0 0 0 166063 115 0 0 20 0 4 0 110709463 1340674048 268798 33554432000 4194304 16246674 140733213745824 140733213745000 13006866 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4277/statm: 327313 268798 884 2943 0 324207 0
[pid=4277/tid=4278] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4278/stat : 4278 (toysat) S 4274 4277 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687429315824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4277/tid=4279] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4279/stat : 4279 (toysat) S 4274 4277 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687418825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4277/tid=4280] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4280/stat : 4280 (toysat) S 4274 4277 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687408352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1309252

[startup+1722.3 s]
/proc/loadavg: 2.20 2.14 2.09 3/183 4372
/proc/meminfo: memFree=29002148/32872528 swapFree=12328/568296
[pid=4277] ppid=4274 vsize=1309252 CPUtime=1721.77 cores=1,3,5,7
/proc/4277/stat : 4277 (toysat) R 4274 4277 3396 0 -1 4202496 268897 0 0 0 172058 119 0 0 20 0 4 0 110709463 1340674048 268798 33554432000 4194304 16246674 140733213745824 140733213744920 13191423 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4277/statm: 327313 268798 884 2943 0 324207 0
[pid=4277/tid=4278] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4278/stat : 4278 (toysat) S 4274 4277 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687429315824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4277/tid=4279] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4279/stat : 4279 (toysat) S 4274 4277 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687418825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4277/tid=4280] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4280/stat : 4280 (toysat) S 4274 4277 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687408352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1309252

[startup+1782.3 s]
/proc/loadavg: 2.33 2.17 2.10 4/183 4373
/proc/meminfo: memFree=29001524/32872528 swapFree=12328/568296
[pid=4277] ppid=4274 vsize=1309252 CPUtime=1781.76 cores=1,3,5,7
/proc/4277/stat : 4277 (toysat) R 4274 4277 3396 0 -1 4202496 268897 0 0 0 178052 124 0 0 20 0 4 0 110709463 1340674048 268798 33554432000 4194304 16246674 140733213745824 140733213745000 4220888 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4277/statm: 327313 268798 884 2943 0 324207 0
[pid=4277/tid=4278] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4278/stat : 4278 (toysat) S 4274 4277 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687429315824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4277/tid=4279] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4279/stat : 4279 (toysat) S 4274 4277 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687418825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4277/tid=4280] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4280/stat : 4280 (toysat) S 4274 4277 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687408352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1309252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.23 2.16 2.10 3/183 4373
/proc/meminfo: memFree=29001524/32872528 swapFree=12328/568296
[pid=4277] ppid=4274 vsize=1309252 CPUtime=1800.05 cores=1,3,5,7
/proc/4277/stat : 4277 (toysat) R 4274 4277 3396 0 -1 4202496 268897 0 0 0 179880 125 0 0 20 0 4 0 110709463 1340674048 268798 33554432000 4194304 16246674 140733213745824 140733213745000 6000284 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4277/statm: 327313 268798 884 2943 0 324207 0
[pid=4277/tid=4278] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4278/stat : 4278 (toysat) S 4274 4277 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687429315824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4277/tid=4279] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4279/stat : 4279 (toysat) S 4274 4277 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687418825968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4277/tid=4280] ppid=4274 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/4277/task/4280/stat : 4280 (toysat) S 4274 4277 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709464 1340674048 268798 33554432000 4194304 16246674 140733213745824 140687408352432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1309252

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 4277 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.07
CPU user time (s): 1798.81
CPU system time (s): 1.25881
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 1309252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.81
system time used= 1.25881
maximum resident set size= 1075192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268897
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= 418
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.2911 second user time and 12.7851 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-07 10:22:49
IDJOB=4078882
IDBENCH=90228
IDSOLVER=2542
FILE ID=node138/4078882-1465287769
RUNJOBID= node138-1465278758-3413
PBS_JOBID= 19843315
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= a155ccc2b565346c70170bfe1c3f5501
RANDOM SEED=1202969729

node138.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.807
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
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.807
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.56
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.807
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.807
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:        30086108 kB
Buffers:          111592 kB
Cached:           252380 kB
SwapCached:        46740 kB
Active:          1207852 kB
Inactive:         273052 kB
Active(anon):    1071468 kB
Inactive(anon):    47688 kB
Active(file):     136384 kB
Inactive(file):   225364 kB
Unevictable:      568296 kB
Mlocked:           12328 kB
SwapTotal:      67108856 kB
SwapFree:       67053656 kB
Dirty:             33472 kB
Writeback:             0 kB
AnonPages:       1734496 kB
Mapped:            11756 kB
Shmem:                 0 kB
Slab:             604204 kB
SReclaimable:      46812 kB
SUnreclaim:       557392 kB
KernelStack:        1520 kB
PageTables:         6944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1787236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    651264 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= 71716 MiB
End job on node138 at 2016-06-07 10:52:50