Trace number 4078753

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-02UNSAT 1675.13 1675.53

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.unbounded.all.ucl.opb
MD5SUM1785d65de493315a1e7654bb7aab8248
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark31.4012
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables84836
Total number of constraints245062
Number of constraints which are clauses233598
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints11464
Minimum length of a constraint1
Maximum length of a constraint15
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 129
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 510
Number of bits of the biggest sum of numbers9
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-06T16:01:14+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-4078753-1465221673.opb"]
0.00/0.01	c use --random-gen="3262415694 824674061 3419368218 4069056383 107757263 1012501963 4001699962 4279025331 715709718 732891330 1363533395 1118583800 526373405 3334218226 3631660554 1252082414 3611873791 195649692 1690454499 330464588 1744459165 650393423 881606761 1322342128 724331884 3294729275 1059213803 2057776475 2608650899 871802280 1390844512 1270584447 2826473024 2626971604 650954932 349860345 250223756 3198610871 2144306721 242143834 1893730989 3386474927 3558864472 4293578084 3428563070 630809064 2581130563 1396376778 1502175352 922107175 2393480870 1559243719 2526472616 2541190926 1973675560 3664389763 3336255483 1460231387 3365294287 3882930978 3887518613 2028466669 1736611063 2649062443 258183712 995212335 1441211278 371083415 4209658009 2242294319 722641448 134498434 1982551621 2891020787 3549234464 719075968 4065650831 1360482126 2075397940 4237977006 3724167488 3444993523 2104789346 3560052919 1878998169 3241842138 2354406548 2874306824 527866735 416384111 524064413 2724674260 3105402746 3991791332 2915733453 2728762943 931398229 1644490443 3240959229 3413550571 4173519178 3737377930 1779564337 1884753870 1217744739 3411115477 1541660481 998531354 3960840344 101423841 2195741498 2313584127 39937189 74534403 674887722 2778155002 1647352380 2673206663 3483119384 245838926 3486782393 1702167583 686086117 3148896322 188280651 1595545085 1353894085 2366562452 1935522459 38275086 1234620566 1851256935 3343582996 417340199 1596675094 191690184 3818895816 1835174791 3670024045 3868424364 456366363 2460191030 1501434752 4230774441 1336222015 3363231739 1027120233 2195066187 2793787259 355582863 73111912 3412376687 2935328571 2551605700 4030932162 286762839 1681253695 2558778695 3671980580 64448800 1574019274 1082900443 968277377 1456995213 173161197 1349868032 1250671903 912801609 1660744318 1214262674 778598537 1423794583 2657943070 1366317357 2959650160 3173288767 1677508299 3127420772 3088209513 3663587178 2986167542 3481755513 3365106386 3079488943 874783179 3743871411 1628525015 2923763707 2993725230 4171805494 989851867 3897575469 2901147668 902454596 656150919 1737154865 4235909999 1791608037 196122861 1289357348 3240979457 22243151 226403016 2077458247 33088294 1005233892 1182580117 1630423900 382133725 2243314901 1419832187 1708978927 852143657 1027471843 3145803927 892868445 3687466678 386467832 3747009332 3065477636 3355598061 4254092438 4026683566 3917244775 965656422 246258676 2826886413 292117036 3320849948 2827981980 2172906043 3117131275 3692919848 1147155831 432595169 1570481764 300369189 1323076120 1958428384 2490475142 895113407 3119683085 1133452023 3141695080 518483873 2826693029 755416117 3793496368 462934550 386307040 2455412489 3434370833 319041302 1459405894 3064367709 3617707880 255 362436" option to reproduce the execution
1.49/1.58	c #vars 84836
1.49/1.58	c #constraints 245062
5.19/5.23	c Solving starts ...
5.19/5.23	c ============================[ Search Statistics ]============================
5.19/5.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.19/5.23	c       |         |          |          |    Limit     GC | Var      | Constra 
5.19/5.23	c =============================================================================
5.39/5.46	c  0.0s |       0 |        0 |        0 |   109965      0 |      478 |        0
6.70/6.77	c  1.3s |       1 |     3977 |      100 |   109965      0 |      480 |     1339
9.79/9.90	c  4.4s |       1 |     4872 |      200 |   120962      0 |      480 |     1339
11.59/11.69	c  6.2s |       2 |     4917 |      250 |   120962      0 |      480 |     1339
13.20/13.21	c  7.8s |       3 |     6913 |      475 |   133059      0 |      480 |     1339
15.19/15.26	c  9.8s |       4 |     7848 |      813 |   146365      0 |      480 |     1339
17.09/17.12	c 11.7s |       5 |     9057 |     1320 |   161002      0 |      480 |     1339
19.59/19.60	c 14.1s |       5 |    10244 |     1620 |   177103      0 |      480 |     1339
21.19/21.29	c 15.8s |       6 |    11086 |     2081 |   194814      0 |      480 |     1339
23.99/24.08	c 18.6s |       6 |    13585 |     3181 |   194814      0 |      480 |     1339
24.30/24.33	c 18.9s |       7 |    13694 |     3223 |   214296      0 |      480 |     1339
26.69/26.73	c 21.3s |       7 |    14425 |     3523 |   214296      0 |      480 |     1339
28.70/28.74	c 23.3s |       7 |    16248 |     4523 |   214296      0 |      480 |     1339
29.29/29.37	c 23.9s |       8 |    16770 |     4936 |   235726      0 |      480 |     1339
31.49/31.50	c 26.0s |       8 |    19937 |     5836 |   235726      0 |      480 |     1339
33.49/33.52	c 28.1s |       8 |    22760 |     6336 |   235726      0 |      480 |     1339
36.19/36.28	c 30.8s |       8 |    26223 |     6936 |   235726      0 |      480 |     1339
37.59/37.68	c 32.2s |       9 |    27363 |     7506 |   259299      0 |      480 |     1339
40.59/40.61	c 35.2s |       9 |    27949 |     7706 |   259299      0 |      480 |     1339
43.49/43.52	c 38.1s |       9 |    28382 |     7906 |   259299      0 |      480 |     1339
45.59/45.63	c 40.2s |       9 |    33836 |     9206 |   259299      0 |      480 |     1339
47.69/47.74	c 42.3s |       9 |    38466 |    10606 |   259299      0 |      480 |     1339
49.69/49.75	c 44.3s |      10 |    39697 |    11361 |   285229      0 |      480 |     1339
51.99/52.05	c 46.6s |      10 |    40690 |    11661 |   285229      0 |      480 |     1339
54.08/54.13	c 48.7s |      10 |    42705 |    12861 |   285229      0 |      480 |     1339
56.19/56.20	c 50.7s |      10 |    44289 |    13961 |   285229      0 |      480 |     1339
58.48/58.56	c 53.1s |      10 |    45763 |    14861 |   285229      0 |      480 |     1339
61.18/61.21	c 55.8s |      10 |    46399 |    15361 |   285229      0 |      480 |     1339
64.48/64.56	c 59.1s |      10 |    47422 |    15761 |   285229      0 |      480 |     1339
66.68/66.70	c 61.2s |      10 |    48035 |    15961 |   285229      0 |      480 |     1339
68.68/68.79	c 63.3s |      10 |    48490 |    16261 |   285229      0 |      480 |     1339
70.88/70.96	c 65.5s |      10 |    49410 |    16561 |   285229      0 |      480 |     1339
74.08/74.10	c 68.6s |      10 |    49980 |    16861 |   285229      0 |      480 |     1339
76.18/76.22	c 70.8s |      10 |    50357 |    17061 |   313752      0 |      480 |     1339
77.09/77.12	c 71.7s |      11 |    50483 |    17144 |   313752      0 |      480 |     1339
79.19/79.23	c 73.8s |      11 |    51665 |    17844 |   313752      0 |      480 |     1339
81.58/81.67	c 76.2s |      11 |    52946 |    18644 |   313752      0 |      480 |     1339
83.69/83.79	c 78.3s |      11 |    54316 |    19444 |   313752      0 |      480 |     1339
86.28/86.33	c 80.9s |      11 |    56382 |    20644 |   313752      0 |      480 |     1339
88.48/88.59	c 83.1s |      11 |    56945 |    21044 |   313752      0 |      480 |     1339
90.58/90.67	c 85.2s |      11 |    57437 |    21344 |   313752      0 |      480 |     1339
92.68/92.72	c 87.3s |      11 |    57874 |    21644 |   313752      0 |      480 |     1339
94.78/94.82	c 89.4s |      11 |    58595 |    22044 |   313752      0 |      480 |     1339
96.98/97.09	c 91.6s |      11 |    59575 |    22544 |   313752      0 |      480 |     1339
99.78/99.88	c 94.4s |      11 |    60968 |    22844 |   313752      0 |      480 |     1339
102.08/102.15	c 96.7s |      11 |    62970 |    23144 |   313752      0 |      480 |     1339
104.18/104.22	c 98.8s |      11 |    64272 |    23344 |   313752      0 |      480 |     1339
106.47/106.59	c  101s |      11 |    66040 |    23644 |   313752      0 |      480 |     1339
109.17/109.28	c  103s |      11 |    67425 |    24044 |   313752      0 |      480 |     1339
111.47/111.54	c  106s |      11 |    68144 |    24344 |   313752      0 |      480 |     1339
113.77/113.88	c  108s |      11 |    70115 |    25144 |   313752      0 |      480 |     1339
117.27/117.30	c  111s |      11 |    70742 |    25444 |   313752      0 |      480 |     1339
119.47/119.50	c  114s |      11 |    71157 |    25644 |   313752      0 |      480 |     1339
121.37/121.43	c  115s |      12 |    71688 |    25819 |   345128      0 |      480 |     1339
123.37/123.43	c  117s |      12 |    73877 |    27019 |   345128      0 |      480 |     1339
125.57/125.69	c  120s |      12 |    75453 |    27819 |   345128      0 |      480 |     1339
127.87/127.92	c  122s |      12 |    76568 |    28419 |   345128      0 |      480 |     1339
130.37/130.43	c  124s |      12 |    77150 |    28819 |   345128      0 |      480 |     1339
133.27/133.31	c  127s |      12 |    77635 |    29119 |   345128      0 |      480 |     1339
135.38/135.47	c  130s |      12 |    78629 |    29619 |   345128      0 |      480 |     1339
137.87/137.94	c  132s |      12 |    79089 |    29819 |   345128      0 |      480 |     1339
139.97/140.05	c  134s |      12 |    79941 |    30219 |   345128      0 |      480 |     1339
141.98/142.09	c  136s |      12 |    80612 |    30619 |   345128      0 |      480 |     1339
144.77/144.81	c  139s |      12 |    81118 |    30919 |   345128      0 |      480 |     1339
147.48/147.50	c  142s |      12 |    81703 |    31219 |   345128      0 |      480 |     1339
150.17/150.21	c  144s |      12 |    82032 |    31419 |   345128      0 |      480 |     1339
152.17/152.24	c  146s |      12 |    82401 |    31619 |   345128      0 |      480 |     1339
154.27/154.36	c  148s |      12 |    83250 |    32019 |   345128      0 |      480 |     1339
156.57/156.68	c  151s |      12 |    84454 |    32719 |   345128      0 |      480 |     1339
158.97/159.04	c  153s |      12 |    85089 |    33119 |   345128      0 |      480 |     1339
161.37/161.41	c  155s |      12 |    85624 |    33419 |   345128      0 |      480 |     1339
163.47/163.55	c  158s |      12 |    86022 |    33719 |   345128      0 |      480 |     1339
165.67/165.73	c  160s |      12 |    86624 |    34119 |   345128      0 |      480 |     1339
168.67/168.75	c  163s |      12 |    87369 |    34519 |   345128      0 |      480 |     1339
171.27/171.39	c  165s |      12 |    88046 |    34719 |   345128      0 |      480 |     1339
173.66/173.71	c  168s |      12 |    88915 |    35119 |   345128      0 |      480 |     1339
175.97/176.09	c  170s |      12 |    89435 |    35319 |   345128      0 |      480 |     1339
179.16/179.23	c  173s |      12 |    91325 |    36019 |   345128      0 |      480 |     1339
181.26/181.33	c  175s |      12 |    92176 |    36419 |   345128      0 |      480 |     1339
183.86/183.95	c  178s |      12 |    92791 |    36619 |   345128      0 |      480 |     1339
185.97/186.03	c  180s |      12 |    93963 |    37219 |   345128      0 |      480 |     1339
188.66/188.76	c  183s |      12 |    95196 |    37819 |   345128      0 |      480 |     1339
191.56/191.69	c  186s |      12 |    95525 |    38019 |   345128      0 |      480 |     1339
193.86/193.90	c  188s |      12 |    95857 |    38219 |   345128      0 |      480 |     1339
196.06/196.13	c  190s |      12 |    96484 |    38719 |   379641      0 |      480 |     1339
196.56/196.68	c  191s |      13 |    96613 |    38832 |   379641      0 |      480 |     1339
198.96/199.05	c  193s |      13 |    96960 |    38932 |   379641      0 |      480 |     1339
202.06/202.17	c  196s |      13 |    97646 |    39132 |   379641      0 |      480 |     1339
204.67/204.75	c  199s |      13 |    98340 |    39532 |   379641      0 |      480 |     1339
207.97/208.05	c  202s |      13 |    98795 |    39832 |   379641      0 |      480 |     1339
210.46/210.54	c  205s |      13 |    99486 |    40032 |   379641      0 |      480 |     1339
212.56/212.65	c  207s |      13 |   100458 |    40432 |   379641      0 |      482 |     1345
214.86/214.92	c  209s |      13 |   101302 |    40732 |   379641      0 |      482 |     1345
217.06/217.19	c  211s |      13 |   102556 |    41132 |   379641      0 |      482 |     1345
219.26/219.34	c  213s |      13 |   104023 |    42032 |   379641      0 |      482 |     1345
221.95/222.00	c  216s |      13 |   105224 |    42632 |   379641      0 |      484 |     1351
224.55/224.66	c  219s |      13 |   106061 |    42932 |   379641      0 |      484 |     1351
226.56/226.69	c  221s |      13 |   106448 |    43132 |   379641      0 |      484 |     1351
228.86/228.93	c  223s |      13 |   106773 |    43332 |   379641      0 |      484 |     1351
231.26/231.39	c  225s |      13 |   107142 |    43532 |   379641      0 |      484 |     1351
233.36/233.49	c  228s |      13 |   107590 |    43732 |   379641      0 |      484 |     1351
236.26/236.33	c  230s |      13 |   108436 |    44132 |   379641      0 |      484 |     1351
238.26/238.37	c  232s |      13 |   109273 |    44432 |   379641      0 |      484 |     1351
240.56/240.64	c  235s |      13 |   109978 |    44732 |   379641      0 |      484 |     1351
242.76/242.81	c  237s |      13 |   110694 |    45032 |   379641      0 |      484 |     1351
245.06/245.19	c  239s |      13 |   111251 |    45232 |   379641      0 |      484 |     1351
247.56/247.61	c  242s |      13 |   111935 |    45532 |   379641      0 |      484 |     1351
250.36/250.46	c  245s |      13 |   112839 |    45832 |   379641      0 |      484 |     1351
253.06/253.13	c  247s |      13 |   113389 |    46032 |   379641      0 |      484 |     1351
255.76/255.88	c  250s |      13 |   113834 |    46232 |   379641      0 |      484 |     1351
257.86/257.98	c  252s |      13 |   114280 |    46432 |   379641      0 |      484 |     1351
260.16/260.22	c  254s |      13 |   114786 |    46632 |   379641      0 |      484 |     1351
262.25/262.30	c  256s |      13 |   115328 |    46832 |   379641      0 |     1002 |     2952
264.95/265.10	c  259s |      13 |   116116 |    47132 |   379641      0 |     1002 |     2952
268.36/268.42	c  262s |      13 |   117141 |    47432 |   379641      0 |     1002 |     2952
271.45/271.55	c  266s |      13 |   117964 |    47732 |   379641      0 |     1002 |     2952
273.75/273.85	c  268s |      13 |   118640 |    47932 |   379641      0 |     1002 |     2952
276.55/276.60	c  271s |      13 |   119132 |    48232 |   379641      0 |     1002 |     2952
279.36/279.47	c  274s |      13 |   119971 |    48532 |   379641      0 |     1002 |     2952
282.45/282.55	c  277s |      13 |   120523 |    48732 |   379641      0 |     1526 |     4568
285.75/285.85	c  280s |      13 |   121110 |    49032 |   379641      0 |     1526 |     4568
287.85/287.97	c  282s |      13 |   122247 |    49632 |   379641      0 |     1526 |     4568
290.65/290.73	c  285s |      13 |   123613 |    50332 |   379641      0 |     1526 |     4568
292.65/292.79	c  287s |      13 |   124273 |    50532 |   379641      0 |     2043 |     6166
295.45/295.52	c  290s |      13 |   125087 |    50832 |   379641      0 |     2043 |     6166
297.84/297.90	c  292s |      13 |   125782 |    51132 |   379641      0 |     2043 |     6166
300.44/300.50	c  295s |      13 |   126873 |    51432 |   379641      0 |     2043 |     6166
302.45/302.51	c  297s |      13 |   128935 |    52632 |   379641      0 |     2043 |     6166
304.84/304.90	c  299s |      13 |   129897 |    52932 |   379641      0 |     2043 |     6166
306.85/306.91	c  301s |      13 |   131203 |    53532 |   379641      0 |     2043 |     6166
308.94/309.04	c  303s |      13 |   132965 |    54432 |   379641      0 |     2043 |     6166
310.94/311.07	c  305s |      13 |   134878 |    55232 |   379641      0 |     2043 |     6166
313.34/313.41	c  307s |      13 |   136584 |    55932 |   379641      0 |     2043 |     6166
315.34/315.48	c  310s |      13 |   138026 |    56532 |   379641      0 |     2043 |     6166
317.44/317.57	c  312s |      13 |   139264 |    57032 |   379641      0 |     2043 |     6166
320.34/320.47	c  315s |      13 |   140017 |    57332 |   379641      0 |     2043 |     6166
322.64/322.78	c  317s |      13 |   140932 |    57632 |   379641      0 |     2043 |     6166
325.14/325.24	c  319s |      13 |   141295 |    57832 |   379641      0 |     2043 |     6166
327.54/327.67	c  322s |      13 |   141658 |    58032 |   417606      0 |     2043 |     6166
330.34/330.42	c  324s |      13 |   142050 |    58232 |   417606      0 |     2043 |     6166
331.44/331.53	c  326s |      14 |   142292 |    58352 |   417606      0 |     2043 |     6166
333.74/333.83	c  328s |      14 |   142752 |    58552 |   417606      0 |     2043 |     6166
336.14/336.22	c  330s |      14 |   143087 |    58752 |   417606      0 |     2043 |     6166
338.54/338.68	c  333s |      14 |   143393 |    58952 |   417606      0 |     2043 |     6166
341.24/341.33	c  335s |      14 |   144435 |    59352 |   417606      0 |     2043 |     6166
345.04/345.16	c  339s |      14 |   144745 |    59552 |   417606      0 |     2043 |     6166
348.24/348.33	c  342s |      14 |   145392 |    59852 |   417606      0 |     2043 |     6166
350.73/350.83	c  345s |      14 |   145915 |    60052 |   417606      0 |     2043 |     6166
352.93/353.09	c  347s |      14 |   146280 |    60252 |   417606      0 |     2043 |     6166
355.03/355.14	c  349s |      14 |   148072 |    61152 |   417606      0 |     2043 |     6166
357.13/357.29	c  351s |      14 |   151684 |    62252 |   417606      0 |     2043 |     6166
359.33/359.44	c  353s |      14 |   152055 |    62452 |   417606      0 |     2043 |     6166
361.33/361.44	c  355s |      14 |   152310 |    62652 |   417606      0 |     2043 |     6166
363.43/363.52	c  358s |      14 |   153670 |    63252 |   417606      0 |     2045 |     6172
365.63/365.79	c  360s |      14 |   155851 |    64252 |   417606      0 |     2045 |     6172
368.13/368.21	c  362s |      14 |   157819 |    64852 |   417606      0 |     2083 |     6303
370.33/370.43	c  364s |      14 |   158853 |    65352 |   417606      0 |     2083 |     6303
372.73/372.86	c  367s |      14 |   160391 |    66052 |   417606      0 |     2083 |     6303
375.33/375.43	c  369s |      14 |   160938 |    66452 |   417606      0 |     2083 |     6303
377.93/378.02	c  372s |      14 |   161811 |    66852 |   417606      0 |     2083 |     6303
380.13/380.26	c  374s |      14 |   162470 |    67252 |   417606      0 |     2083 |     6303
382.63/382.73	c  377s |      14 |   163007 |    67652 |   417606      0 |     2083 |     6303
384.83/385.00	c  379s |      14 |   163449 |    67952 |   417606      0 |     2083 |     6303
387.03/387.10	c  381s |      14 |   164021 |    68252 |   417606      0 |     2083 |     6303
389.13/389.21	c  383s |      14 |   164529 |    68452 |   417606      0 |     2083 |     6303
391.83/391.94	c  386s |      14 |   165142 |    68752 |   417606      0 |     2083 |     6303
394.43/394.57	c  389s |      14 |   165661 |    69052 |   417606      0 |     2083 |     6303
396.53/396.64	c  391s |      14 |   166251 |    69352 |   417606      0 |     2083 |     6303
398.72/398.85	c  393s |      14 |   167298 |    69852 |   417606      0 |     2083 |     6303
401.32/401.40	c  395s |      14 |   168220 |    70352 |   417606      0 |     2083 |     6303
403.73/403.81	c  398s |      14 |   169384 |    70852 |   417606      0 |     2083 |     6303
405.93/406.08	c  400s |      14 |   172351 |    71352 |   417606      0 |     2083 |     6303
408.52/408.63	c  403s |      14 |   172890 |    71752 |   417606      0 |     2083 |     6303
410.62/410.79	c  405s |      14 |   173299 |    72052 |   417606      0 |     2083 |     6303
413.42/413.56	c  408s |      14 |   174016 |    72352 |   417606      0 |     2083 |     6303
415.52/415.67	c  410s |      14 |   178117 |    73152 |   417606      0 |     2083 |     6303
418.03/418.13	c  412s |      14 |   179029 |    73652 |   417606      0 |     2083 |     6303
420.32/420.47	c  415s |      14 |   179946 |    74152 |   417606      0 |     2083 |     6303
422.42/422.57	c  417s |      14 |   181191 |    74652 |   417606      0 |     2083 |     6303
424.52/424.69	c  419s |      14 |   187293 |    75052 |   417606      0 |     2083 |     6303
426.62/426.77	c  421s |      14 |   192058 |    75352 |   417606      0 |     2083 |     6303
429.11/429.24	c  423s |      14 |   197616 |    75752 |   417606      0 |     2083 |     6303
431.31/431.46	c  426s |      14 |   203204 |    76152 |   417606      0 |     2083 |     6303
433.42/433.54	c  428s |      14 |   207900 |    76552 |   417606      0 |     2083 |     6303
435.62/435.78	c  430s |      14 |   212075 |    77052 |   417606      0 |     2083 |     6303
438.01/438.17	c  432s |      14 |   213593 |    77652 |   417606      0 |     2083 |     6303
440.31/440.47	c  435s |      14 |   214422 |    78052 |   417606      0 |     2083 |     6303
442.41/442.51	c  437s |      14 |   215367 |    78352 |   417606      0 |     2083 |     6303
444.41/444.52	c  439s |      14 |   217419 |    78652 |   417606      0 |     2083 |     6303
447.21/447.37	c  441s |      14 |   218103 |    79052 |   417606      0 |     2083 |     6303
449.60/449.71	c  444s |      14 |   218466 |    79352 |   417606      0 |     2083 |     6303
451.60/451.72	c  446s |      14 |   219143 |    79752 |   417606      0 |     2083 |     6303
453.60/453.73	c  448s |      14 |   219630 |    80052 |   417606      0 |     2083 |     6303
456.41/456.51	c  451s |      14 |   220322 |    80352 |   417606      0 |     2083 |     6303
458.61/458.74	c  453s |      14 |   221006 |    80752 |   417606      0 |     2083 |     6303
461.00/461.16	c  455s |      14 |   221728 |    81152 |   417606      0 |     2083 |     6303
463.30/463.44	c  457s |      14 |   222836 |    81552 |   417606      0 |     2083 |     6303
465.50/465.63	c  460s |      14 |   223431 |    81752 |   417606      0 |     2083 |     6303
467.50/467.67	c  462s |      14 |   226349 |    82052 |   417606      0 |     2083 |     6303
470.00/470.17	c  464s |      14 |   227358 |    82452 |   417606      0 |     2083 |     6303
472.20/472.31	c  466s |      14 |   229135 |    83052 |   417606      0 |     2083 |     6303
474.20/474.33	c  468s |      14 |   230691 |    83452 |   417606      0 |     2083 |     6303
476.70/476.81	c  471s |      14 |   233732 |    84052 |   417606      0 |     2083 |     6303
479.50/479.67	c  474s |      14 |   235406 |    84452 |   417606      0 |     2121 |     6434
481.70/481.89	c  476s |      14 |   235796 |    84752 |   417606      0 |     2121 |     6434
483.79/483.97	c  478s |      14 |   236871 |    85052 |   417606      0 |     2121 |     6434
485.89/486.06	c  480s |      14 |   240072 |    85652 |   417606      0 |     2121 |     6434
488.39/488.59	c  483s |      14 |   241598 |    85952 |   417606      0 |     2121 |     6434
490.79/490.90	c  485s |      14 |   242948 |    86452 |   417606      0 |     2121 |     6434
493.39/493.54	c  488s |      14 |   243823 |    86752 |   417606      0 |     2121 |     6434
496.39/496.55	c  491s |      14 |   244453 |    87052 |   459367      0 |     2121 |     6434
498.98/499.12	c  493s |      14 |   244804 |    87252 |   459367      0 |     2121 |     6434
501.28/501.43	c  495s |      14 |   245379 |    87452 |   459367      0 |     2638 |     8033
502.28/502.42	c  496s |      15 |   245750 |    87632 |   459367      0 |     2638 |     8033
504.48/504.60	c  499s |      15 |   246604 |    87832 |   459367      0 |     2638 |     8033
506.58/506.77	c  501s |      15 |   247895 |    88332 |   459367      0 |     2638 |     8033
509.08/509.20	c  503s |      15 |   250441 |    88832 |   459367      0 |     2638 |     8033
511.48/511.70	c  506s |      15 |   251283 |    89032 |   459367      0 |     2638 |     8033
513.58/513.72	c  508s |      15 |   252211 |    89232 |   459367      0 |     2638 |     8033
516.48/516.68	c  511s |      15 |   252487 |    89432 |   459367      0 |     2638 |     8033
519.67/519.84	c  514s |      15 |   252791 |    89632 |   459367      0 |     2638 |     8033
522.57/522.71	c  517s |      15 |   253213 |    89832 |   459367      0 |     2638 |     8033
525.87/526.00	c  520s |      15 |   253556 |    90032 |   459367      0 |     2638 |     8033
528.68/528.84	c  523s |      15 |   253967 |    90232 |   459367      0 |     2638 |     8033
531.98/532.16	c  526s |      15 |   254260 |    90432 |   459367      0 |     2638 |     8033
534.37/534.50	c  529s |      15 |   254574 |    90632 |   459367      0 |     2638 |     8033
537.37/537.53	c  532s |      15 |   254861 |    90832 |   459367      0 |     2638 |     8033
539.87/540.00	c  534s |      15 |   255210 |    91032 |   459367      0 |     2638 |     8033
542.67/542.81	c  537s |      15 |   255536 |    91232 |   459367      0 |     2638 |     8033
544.87/545.06	c  539s |      15 |   255671 |    91332 |   459367      0 |     2638 |     8033
547.17/547.30	c  541s |      15 |   256228 |    91632 |   459367      0 |     2638 |     8033
549.66/549.85	c  544s |      15 |   256860 |    92032 |   459367      0 |     2638 |     8033
551.86/552.03	c  546s |      15 |   257231 |    92232 |   459367      0 |     2638 |     8033
554.37/554.53	c  549s |      15 |   257569 |    92432 |   459367      0 |     2638 |     8033
556.86/557.04	c  551s |      15 |   258098 |    92632 |   459367      0 |     2638 |     8033
559.06/559.29	c  553s |      15 |   258486 |    92832 |   459367      0 |     2638 |     8033
561.76/561.92	c  556s |      15 |   258865 |    93032 |   459367      0 |     2638 |     8033
564.06/564.24	c  558s |      15 |   259522 |    93332 |   459367      0 |     2638 |     8033
566.46/566.62	c  561s |      15 |   259838 |    93532 |   459367      0 |     2638 |     8033
568.66/568.82	c  563s |      15 |   260137 |    93732 |   459367      0 |     2638 |     8033
571.25/571.40	c  565s |      15 |   260429 |    93932 |   459367      0 |     2638 |     8033
573.95/574.13	c  568s |      15 |   260750 |    94132 |   459367      0 |     2638 |     8033
575.95/576.20	c  570s |      15 |   261194 |    94332 |   459367      0 |     2638 |     8033
578.35/578.58	c  573s |      15 |   261610 |    94532 |   459367      0 |     2638 |     8033
581.15/581.34	c  575s |      15 |   262227 |    94832 |   459367      0 |     2638 |     8033
583.95/584.18	c  578s |      15 |   262646 |    95032 |   459367      0 |     2638 |     8033
586.04/586.22	c  580s |      15 |   263046 |    95232 |   459367      0 |     2638 |     8033
588.24/588.44	c  582s |      15 |   263397 |    95432 |   459367      0 |     2638 |     8033
590.55/590.72	c  585s |      15 |   263846 |    95632 |   459367      0 |     2638 |     8033
592.94/593.13	c  587s |      15 |   264181 |    95832 |   459367      0 |     2638 |     8033
596.05/596.29	c  590s |      15 |   264820 |    96032 |   459367      0 |     2638 |     8033
599.03/599.25	c  593s |      15 |   265331 |    96232 |   459367      0 |     2638 |     8033
602.03/602.24	c  596s |      15 |   266014 |    96432 |   459367      0 |     2638 |     8033
605.03/605.22	c  599s |      15 |   266508 |    96632 |   459367      0 |     2638 |     8033
608.23/608.43	c  602s |      15 |   267006 |    96832 |   459367      0 |     2638 |     8033
610.43/610.69	c  605s |      15 |   267734 |    97032 |   459367      0 |     2638 |     8033
614.12/614.38	c  608s |      15 |   268497 |    97332 |   459367      0 |     2638 |     8033
616.82/617.10	c  611s |      15 |   269101 |    97532 |   459367      0 |     2638 |     8033
619.13/619.40	c  613s |      15 |   269670 |    97732 |   459367      0 |     2638 |     8033
622.32/622.54	c  617s |      15 |   270379 |    98032 |   459367      0 |     2638 |     8033
624.52/624.77	c  619s |      15 |   270891 |    98232 |   459367      0 |     2638 |     8033
627.62/627.81	c  622s |      15 |   271368 |    98432 |   459367      0 |     2638 |     8033
630.32/630.55	c  625s |      15 |   272072 |    98732 |   459367      0 |     2638 |     8033
632.82/633.06	c  627s |      15 |   272429 |    98932 |   459367      0 |     2638 |     8033
635.72/635.91	c  630s |      15 |   272928 |    99132 |   459367      0 |     2638 |     8033
638.71/638.94	c  633s |      15 |   273453 |    99332 |   459367      0 |     2638 |     8033
642.01/642.25	c  636s |      15 |   273944 |    99532 |   459367      0 |     2680 |     8179
644.01/644.26	c  638s |      15 |   274637 |    99732 |   459367      0 |     2680 |     8179
646.21/646.41	c  640s |      15 |   276750 |   101132 |   459367      0 |     2680 |     8179
648.40/648.67	c  643s |      15 |   277664 |   101532 |   459367      0 |     2680 |     8179
650.90/651.17	c  645s |      15 |   278282 |   101732 |   459367      0 |     2680 |     8179
653.60/653.82	c  648s |      15 |   279305 |   102032 |   459367      0 |     2680 |     8179
657.40/657.68	c  652s |      15 |   280126 |   102332 |   459367      0 |     2680 |     8179
660.60/660.84	c  655s |      15 |   281041 |   102632 |   459367      0 |     2680 |     8179
663.21/663.43	c  657s |      15 |   281504 |   102832 |   459367      0 |     2680 |     8179
665.90/666.16	c  660s |      15 |   281994 |   103032 |   459367      0 |     2680 |     8179
668.50/668.79	c  663s |      15 |   282375 |   103232 |   459367      0 |     2680 |     8179
671.30/671.53	c  666s |      15 |   282941 |   103432 |   459367      0 |     2680 |     8179
673.90/674.14	c  668s |      15 |   283395 |   103632 |   459367      0 |     2680 |     8179
677.70/677.99	c  672s |      15 |   284204 |   103932 |   459367      0 |     3196 |     9775
680.70/680.93	c  675s |      15 |   284722 |   104132 |   459367      0 |     3729 |    11407
682.70/682.97	c  677s |      15 |   285558 |   104432 |   459367      0 |     3729 |    11407
685.00/685.21	c  679s |      15 |   286163 |   104632 |   459367      0 |     3729 |    11407
687.90/688.18	c  682s |      15 |   286840 |   104932 |   459367      0 |     3729 |    11407
690.60/690.84	c  685s |      15 |   287845 |   105232 |   459367      0 |     3729 |    11407
692.69/692.92	c  687s |      15 |   288286 |   105432 |   459367      0 |     3729 |    11407
695.00/695.22	c  689s |      15 |   289069 |   105632 |   459367      0 |     3729 |    11407
697.20/697.47	c  692s |      15 |   289551 |   105832 |   459367      0 |     3729 |    11407
699.50/699.77	c  694s |      15 |   289965 |   106032 |   459367      0 |     3729 |    11407
701.89/702.14	c  696s |      15 |   290688 |   106332 |   459367      0 |     3729 |    11407
704.79/705.05	c  699s |      15 |   291274 |   106632 |   459367      0 |     3729 |    11407
706.79/707.06	c  701s |      15 |   291839 |   106832 |   459367      0 |     3729 |    11407
709.59/709.89	c  704s |      15 |   293008 |   107232 |   459367      0 |     3729 |    11407
712.60/712.83	c  707s |      15 |   293937 |   107532 |   459367      0 |     3729 |    11407
714.99/715.25	c  709s |      15 |   294256 |   107732 |   459367      0 |     3729 |    11407
717.19/717.46	c  712s |      15 |   294695 |   107932 |   459367      0 |     3729 |    11407
720.18/720.44	c  714s |      15 |   295490 |   108232 |   459367      0 |     3729 |    11407
723.18/723.41	c  717s |      15 |   296090 |   108532 |   459367      0 |     3729 |    11407
725.98/726.25	c  720s |      15 |   296829 |   108832 |   459367      0 |     3729 |    11407
728.38/728.68	c  723s |      15 |   297551 |   109132 |   459367      0 |     3729 |    11407
730.58/730.83	c  725s |      15 |   298024 |   109332 |   459367      0 |     3729 |    11407
732.78/733.01	c  727s |      15 |   298446 |   109532 |   459367      0 |     3729 |    11407
735.58/735.83	c  730s |      15 |   299400 |   109832 |   459367      0 |     3729 |    11407
737.58/737.88	c  732s |      15 |   299839 |   110032 |   459367      0 |     3729 |    11407
740.58/740.84	c  735s |      15 |   300548 |   110332 |   459367      0 |     3729 |    11407
743.58/743.88	c  738s |      15 |   301174 |   110632 |   459367      0 |     3729 |    11407
746.18/746.46	c  741s |      15 |   301555 |   110832 |   459367      0 |     3729 |    11407
748.59/748.89	c  743s |      15 |   302151 |   111132 |   459367      0 |     3729 |    11407
751.59/751.83	c  746s |      15 |   302538 |   111332 |   459367      0 |     3729 |    11407
754.39/754.67	c  749s |      15 |   302914 |   111532 |   459367      0 |     3729 |    11407
757.58/757.86	c  752s |      15 |   303449 |   111832 |   459367      0 |     3729 |    11407
759.68/759.93	c  754s |      15 |   303833 |   112032 |   459367      0 |     3729 |    11407
761.98/762.22	c  756s |      15 |   304201 |   112232 |   459367      0 |     3729 |    11407
764.98/765.25	c  759s |      15 |   304609 |   112432 |   459367      0 |     3729 |    11407
767.48/767.77	c  762s |      15 |   305004 |   112632 |   459367      0 |     3729 |    11407
769.89/770.11	c  764s |      15 |   305474 |   112832 |   459367      0 |     3729 |    11407
772.78/773.08	c  767s |      15 |   305858 |   113032 |   459367      0 |     3729 |    11407
775.29/775.56	c  770s |      15 |   306165 |   113232 |   459367      0 |     3729 |    11407
777.28/777.56	c  772s |      15 |   306564 |   113432 |   459367      0 |     3729 |    11407
779.69/779.98	c  774s |      15 |   306868 |   113632 |   459367      0 |     3729 |    11407
782.78/783.03	c  777s |      15 |   307162 |   113832 |   459367      0 |     3729 |    11407
785.88/786.11	c  780s |      15 |   307440 |   114032 |   459367      0 |     3729 |    11407
789.17/789.40	c  783s |      15 |   307796 |   114232 |   459367      0 |     3729 |    11407
792.17/792.46	c  787s |      15 |   308124 |   114432 |   459367      0 |     3729 |    11407
795.08/795.35	c  789s |      15 |   308417 |   114632 |   459367      0 |     3729 |    11407
797.17/797.46	c  792s |      15 |   308845 |   114832 |   459367      0 |     3729 |    11407
799.37/799.66	c  794s |      15 |   309298 |   115032 |   459367      0 |     3729 |    11407
801.97/802.24	c  796s |      15 |   310026 |   115332 |   459367      0 |     3729 |    11407
804.67/804.97	c  799s |      15 |   310669 |   115632 |   459367      0 |     3729 |    11407
807.18/807.48	c  802s |      15 |   311008 |   115832 |   459367      0 |     3729 |    11407
810.47/810.71	c  805s |      15 |   311646 |   116132 |   459367      0 |     3729 |    11407
813.16/813.44	c  807s |      15 |   312429 |   116432 |   459367      0 |     3729 |    11407
815.26/815.53	c  810s |      15 |   312941 |   116732 |   459367      0 |     3729 |    11407
818.27/818.54	c  813s |      15 |   313590 |   117032 |   459367      0 |     3729 |    11407
820.37/820.66	c  815s |      15 |   314124 |   117232 |   459367      0 |     3729 |    11407
822.46/822.71	c  817s |      15 |   314571 |   117432 |   459367      0 |     3729 |    11407
824.46/824.72	c  819s |      15 |   314957 |   117632 |   459367      0 |     3729 |    11407
826.66/826.92	c  821s |      15 |   315430 |   117832 |   459367      0 |     3729 |    11407
828.66/828.94	c  823s |      15 |   315828 |   118032 |   459367      0 |     3729 |    11407
831.96/832.26	c  826s |      15 |   316193 |   118232 |   459367      0 |     3729 |    11407
834.66/834.99	c  829s |      15 |   316461 |   118432 |   459367      0 |     3729 |    11407
837.36/837.60	c  832s |      15 |   316917 |   118632 |   459367      0 |     3729 |    11407
839.56/839.84	c  834s |      15 |   317250 |   118832 |   459367      0 |     3729 |    11407
842.56/842.82	c  837s |      15 |   317571 |   119032 |   459367      0 |     3729 |    11407
846.16/846.44	c  840s |      15 |   317895 |   119232 |   459367      0 |     3729 |    11407
848.85/849.16	c  843s |      15 |   318196 |   119432 |   459367      0 |     3729 |    11407
850.95/851.28	c  845s |      15 |   318523 |   119632 |   459367      0 |     3729 |    11407
854.65/854.97	c  849s |      15 |   319063 |   119932 |   459367      0 |     3729 |    11407
857.45/857.72	c  852s |      15 |   319389 |   120132 |   459367      0 |     3729 |    11407
860.75/861.08	c  855s |      15 |   319655 |   120332 |   459367      0 |     3729 |    11407
863.25/863.51	c  858s |      15 |   320168 |   120532 |   459367      0 |     3729 |    11407
866.04/866.35	c  860s |      15 |   320836 |   120832 |   459367      0 |     3729 |    11407
868.75/869.06	c  863s |      15 |   321500 |   121132 |   459367      0 |     3729 |    11407
871.94/872.22	c  866s |      15 |   322182 |   121432 |   459367      0 |     3729 |    11407
874.74/875.05	c  869s |      15 |   322794 |   121732 |   459367      0 |     3729 |    11407
877.55/877.87	c  872s |      15 |   323383 |   122032 |   459367      0 |     3729 |    11407
880.24/880.55	c  875s |      15 |   323910 |   122332 |   459367      0 |     3729 |    11407
883.04/883.34	c  877s |      15 |   324237 |   122532 |   459367      0 |     3729 |    11407
885.64/885.94	c  880s |      15 |   324576 |   122732 |   459367      0 |     3729 |    11407
888.33/888.67	c  883s |      15 |   325183 |   123032 |   459367      0 |     3729 |    11407
890.63/890.98	c  885s |      15 |   325602 |   123232 |   459367      0 |     3729 |    11407
892.73/893.00	c  887s |      15 |   325750 |   123332 |   459367      0 |     3729 |    11407
895.43/895.77	c  890s |      15 |   326143 |   123532 |   459367      0 |     3729 |    11407
897.83/898.19	c  892s |      15 |   326614 |   123732 |   459367      0 |     3729 |    11407
900.53/900.88	c  895s |      15 |   326933 |   123932 |   459367      0 |     3729 |    11407
903.63/903.95	c  898s |      15 |   327369 |   124132 |   459367      0 |     3729 |    11407
906.93/907.25	c  901s |      15 |   327769 |   124332 |   459367      0 |     3729 |    11407
910.53/910.82	c  905s |      15 |   328122 |   124532 |   459367      0 |     3729 |    11407
912.62/912.97	c  907s |      15 |   328323 |   124632 |   459367      0 |     3729 |    11407
915.92/916.26	c  910s |      15 |   328676 |   124832 |   459367      0 |     3729 |    11407
918.42/918.71	c  913s |      15 |   329003 |   125032 |   459367      0 |     3729 |    11407
920.72/921.05	c  915s |      15 |   329319 |   125232 |   459367      0 |     3729 |    11407
923.42/923.75	c  918s |      15 |   329670 |   125432 |   459367      0 |     3729 |    11407
926.72/927.06	c  921s |      15 |   330006 |   125632 |   459367      0 |     3729 |    11407
930.11/930.45	c  924s |      15 |   330376 |   125832 |   459367      0 |     3729 |    11407
933.01/933.38	c  927s |      15 |   330799 |   126032 |   459367      0 |     3729 |    11407
935.51/935.85	c  930s |      15 |   331343 |   126232 |   459367      0 |     3729 |    11407
938.21/938.58	c  933s |      15 |   331770 |   126432 |   459367      0 |     3729 |    11407
940.71/941.02	c  935s |      15 |   332227 |   126632 |   459367      0 |     3729 |    11407
943.62/943.93	c  938s |      15 |   332707 |   126832 |   459367      0 |     3729 |    11407
946.51/946.81	c  941s |      15 |   333406 |   127032 |   459367      0 |     3729 |    11407
949.02/949.32	c  943s |      15 |   333977 |   127232 |   459367      0 |     3729 |    11407
952.42/952.78	c  947s |      15 |   334434 |   127432 |   459367      0 |     3729 |    11407
954.51/954.87	c  949s |      15 |   334602 |   127532 |   459367      0 |     3729 |    11407
957.31/957.61	c  952s |      15 |   335361 |   127832 |   459367      0 |     3729 |    11407
959.31/959.66	c  954s |      15 |   336136 |   128032 |   459367      0 |     3729 |    11407
961.61/961.90	c  956s |      15 |   336854 |   128232 |   459367      0 |     3729 |    11407
964.51/964.85	c  959s |      15 |   337218 |   128432 |   459367      0 |     3729 |    11407
967.21/967.54	c  962s |      15 |   337711 |   128632 |   459367      0 |     3729 |    11407
969.31/969.62	c  964s |      15 |   338203 |   128832 |   459367      0 |     3729 |    11407
972.41/972.70	c  967s |      15 |   338584 |   129032 |   459367      0 |     3729 |    11407
975.30/975.66	c  970s |      15 |   339068 |   129232 |   459367      0 |     3729 |    11407
978.40/978.72	c  973s |      15 |   339536 |   129432 |   459367      0 |     3729 |    11407
980.80/981.13	c  975s |      15 |   340103 |   129632 |   459367      0 |     3729 |    11407
983.21/983.54	c  978s |      15 |   340644 |   129832 |   459367      0 |     3729 |    11407
985.41/985.78	c  980s |      15 |   341136 |   130032 |   459367      0 |     3729 |    11407
988.30/988.62	c  983s |      15 |   341463 |   130232 |   459367      0 |     3729 |    11407
990.70/991.10	c  985s |      15 |   341797 |   130432 |   459367      0 |     3729 |    11407
993.30/993.65	c  988s |      15 |   342289 |   130632 |   459367      0 |     3729 |    11407
996.60/996.97	c  991s |      15 |   342827 |   130832 |   505304      0 |     3729 |    11407
998.80/999.16	c  993s |      15 |   343596 |   131032 |   505304      0 |     3729 |    11407
1001.10/1001.41	c  995s |      15 |   344102 |   131232 |   505304      0 |     3729 |    11407
1004.20/1004.52	c  999s |      15 |   344649 |   131532 |   505304      0 |     3729 |    11407
1004.30/1004.65	c  999s |      16 |   344685 |   131552 |   505304      0 |     3729 |    11407
1007.80/1008.16	c 1002s |      16 |   345252 |   131752 |   505304      0 |     3729 |    11407
1010.90/1011.22	c 1005s |      16 |   345729 |   131952 |   505304      0 |     3729 |    11407
1014.40/1014.72	c 1009s |      16 |   346318 |   132252 |   505304      0 |     3729 |    11407
1017.40/1017.80	c 1012s |      16 |   346835 |   132452 |   505304      0 |     3729 |    11407
1019.50/1019.84	c 1014s |      16 |   346973 |   132552 |   505304      0 |     3729 |    11407
1022.70/1023.07	c 1017s |      16 |   347475 |   132752 |   505304      0 |     3729 |    11407
1025.70/1026.00	c 1020s |      16 |   347949 |   132952 |   505304      0 |     3729 |    11407
1028.59/1028.97	c 1023s |      16 |   348302 |   133152 |   505304      0 |     3729 |    11407
1031.99/1032.39	c 1026s |      16 |   348700 |   133352 |   505304      0 |     3729 |    11407
1034.19/1034.53	c 1029s |      16 |   348869 |   133452 |   505304      0 |     3729 |    11407
1036.29/1036.62	c 1031s |      16 |   349084 |   133552 |   505304      0 |     3729 |    11407
1038.79/1039.11	c 1033s |      16 |   349802 |   133752 |   505304      0 |     3729 |    11407
1041.19/1041.58	c 1036s |      16 |   350431 |   134052 |   505304      0 |     3729 |    11407
1043.70/1044.06	c 1038s |      16 |   350829 |   134252 |   505304      0 |     3729 |    11407
1046.39/1046.77	c 1041s |      16 |   351407 |   134452 |   505304      0 |     3729 |    11407
1049.10/1049.47	c 1044s |      16 |   351803 |   134652 |   505304      0 |     3729 |    11407
1052.19/1052.51	c 1047s |      16 |   352394 |   134852 |   505304      0 |     3729 |    11407
1054.49/1054.89	c 1049s |      16 |   353004 |   135052 |   505304      0 |     3729 |    11407
1057.59/1057.90	c 1052s |      16 |   353461 |   135252 |   505304      0 |     3729 |    11407
1060.29/1060.64	c 1055s |      16 |   353878 |   135452 |   505304      0 |     3729 |    11407
1063.59/1063.93	c 1058s |      16 |   354257 |   135652 |   505304      0 |     3729 |    11407
1066.09/1066.46	c 1061s |      16 |   354632 |   135852 |   505304      0 |     3729 |    11407
1068.29/1068.60	c 1063s |      16 |   355237 |   136052 |   505304      0 |     3729 |    11407
1070.69/1071.09	c 1065s |      16 |   355625 |   136252 |   505304      0 |     3729 |    11407
1073.69/1074.04	c 1068s |      16 |   355956 |   136452 |   505304      0 |     3729 |    11407
1075.89/1076.26	c 1070s |      16 |   356449 |   136652 |   505304      0 |     3729 |    11407
1079.29/1079.68	c 1074s |      16 |   356851 |   136852 |   505304      0 |     3729 |    11407
1082.19/1082.51	c 1077s |      16 |   357835 |   137052 |   505304      0 |     3729 |    11407
1084.49/1084.86	c 1079s |      16 |   359088 |   138052 |   505304      0 |     3729 |    11407
1086.78/1087.13	c 1081s |      16 |   360640 |   138652 |   505304      0 |     3729 |    11407
1088.88/1089.22	c 1083s |      16 |   363094 |   139352 |   505304      0 |     3729 |    11407
1091.08/1091.47	c 1086s |      16 |   365244 |   140552 |   505304      0 |     3729 |    11407
1093.09/1093.50	c 1088s |      16 |   367034 |   141852 |   505304      0 |     3729 |    11407
1095.18/1095.58	c 1090s |      16 |   368255 |   142652 |   505304      0 |     3729 |    11407
1097.49/1097.85	c 1092s |      16 |   370203 |   143552 |   505304      0 |     3729 |    11407
1099.58/1099.92	c 1094s |      16 |   372582 |   144052 |   505304      0 |     3729 |    11407
1102.28/1102.65	c 1097s |      16 |   374252 |   144452 |   505304      0 |     3773 |    11559
1104.78/1105.16	c 1099s |      16 |   375592 |   144752 |   505304      0 |     3773 |    11559
1106.88/1107.23	c 1101s |      16 |   376945 |   145052 |   505304      0 |     3773 |    11559
1109.08/1109.47	c 1104s |      16 |   378255 |   145452 |   505304      0 |     3773 |    11559
1111.28/1111.68	c 1106s |      16 |   378922 |   145852 |   505304      0 |     3773 |    11559
1113.78/1114.15	c 1108s |      16 |   379659 |   146252 |   505304      0 |     3773 |    11559
1115.88/1116.21	c 1110s |      16 |   380329 |   146552 |   505304      0 |     3773 |    11559
1118.48/1118.84	c 1113s |      16 |   381518 |   146852 |   505304      0 |     3773 |    11559
1121.38/1121.74	c 1116s |      16 |   382280 |   147252 |   505304      0 |     3773 |    11559
1123.68/1124.01	c 1118s |      16 |   382902 |   147552 |   505304      0 |     3773 |    11559
1126.27/1126.68	c 1121s |      16 |   384949 |   147852 |   505304      0 |     3773 |    11559
1128.47/1128.89	c 1123s |      16 |   385727 |   148152 |   505304      0 |     3773 |    11559
1130.77/1131.12	c 1125s |      16 |   386432 |   148352 |   505304      0 |     3773 |    11559
1133.17/1133.57	c 1128s |      16 |   390504 |   148852 |   505304      0 |     3773 |    11559
1135.17/1135.59	c 1130s |      16 |   393608 |   149252 |   505304      0 |     3773 |    11559
1137.67/1138.09	c 1132s |      16 |   396389 |   149752 |   505304      0 |     3773 |    11559
1139.97/1140.31	c 1134s |      16 |   397158 |   150252 |   505304      0 |     3773 |    11559
1143.07/1143.48	c 1138s |      16 |   398649 |   150752 |   505304      0 |     3773 |    11559
1145.98/1146.32	c 1140s |      16 |   400779 |   151052 |   505304      0 |     3773 |    11559
1148.57/1148.98	c 1143s |      16 |   401635 |   151252 |   505304      0 |     3773 |    11559
1150.77/1151.13	c 1145s |      16 |   402237 |   151452 |   505304      0 |     3773 |    11559
1153.07/1153.49	c 1148s |      16 |   403631 |   151652 |   505304      0 |     3773 |    11559
1155.57/1155.90	c 1150s |      16 |   404857 |   151852 |   505304      0 |     3773 |    11559
1157.98/1158.32	c 1152s |      16 |   405518 |   152052 |   505304      0 |     3773 |    11559
1160.87/1161.25	c 1155s |      16 |   407386 |   152352 |   505304      0 |     3773 |    11559
1163.37/1163.71	c 1158s |      16 |   408430 |   152552 |   505304      0 |     3773 |    11559
1165.87/1166.29	c 1160s |      16 |   409923 |   152852 |   505304      0 |     3773 |    11559
1168.98/1169.35	c 1163s |      16 |   411830 |   153152 |   505304      0 |     3773 |    11559
1170.97/1171.35	c 1165s |      16 |   413901 |   153452 |   505304      0 |     3773 |    11559
1172.97/1173.39	c 1167s |      16 |   415747 |   153652 |   505304      0 |     3773 |    11559
1175.47/1175.90	c 1170s |      16 |   417926 |   153952 |   505304      0 |     3773 |    11559
1177.97/1178.36	c 1172s |      16 |   418352 |   154152 |   505304      0 |     3773 |    11559
1180.47/1180.80	c 1175s |      16 |   418725 |   154352 |   505304      0 |     3773 |    11559
1183.77/1184.18	c 1178s |      16 |   419103 |   154552 |   505304      0 |     3773 |    11559
1186.27/1186.60	c 1181s |      16 |   419315 |   154652 |   505304      0 |     3776 |    11569
1189.17/1189.57	c 1184s |      16 |   419872 |   154952 |   505304      0 |     3776 |    11569
1191.66/1192.07	c 1186s |      16 |   420234 |   155152 |   505304      0 |     3776 |    11569
1194.27/1194.63	c 1189s |      16 |   420630 |   155352 |   505304      0 |     3776 |    11569
1196.96/1197.34	c 1191s |      16 |   421173 |   155652 |   505304      0 |     3776 |    11569
1199.06/1199.49	c 1194s |      16 |   421761 |   155852 |   505304      0 |     3776 |    11569
1201.36/1201.75	c 1196s |      16 |   422244 |   156052 |   505304      0 |     3776 |    11569
1203.86/1204.25	c 1198s |      16 |   422988 |   156352 |   505304      0 |     3776 |    11569
1206.66/1207.03	c 1201s |      16 |   423442 |   156552 |   505304      0 |     3776 |    11569
1209.67/1210.05	c 1204s |      16 |   424024 |   156752 |   505304      0 |     3776 |    11569
1212.26/1212.65	c 1207s |      16 |   424530 |   156952 |   505304      0 |     3776 |    11569
1215.17/1215.58	c 1210s |      16 |   424812 |   157152 |   505304      0 |     3776 |    11569
1217.56/1217.92	c 1212s |      16 |   425413 |   157352 |   505304      0 |     3776 |    11569
1220.26/1220.63	c 1215s |      16 |   425808 |   157552 |   505304      0 |     3776 |    11569
1222.76/1223.19	c 1217s |      16 |   426217 |   157752 |   505304      0 |     3776 |    11569
1225.36/1225.72	c 1220s |      16 |   426676 |   157952 |   505304      0 |     3776 |    11569
1227.76/1228.19	c 1222s |      16 |   427108 |   158152 |   505304      0 |     3776 |    11569
1230.06/1230.42	c 1224s |      16 |   427665 |   158352 |   505304      0 |     3776 |    11569
1232.87/1233.28	c 1227s |      16 |   428113 |   158552 |   505304      0 |     3776 |    11569
1235.26/1235.65	c 1230s |      16 |   428594 |   158752 |   505304      0 |     3776 |    11569
1238.06/1238.43	c 1232s |      16 |   429106 |   158952 |   505304      0 |     3776 |    11569
1240.66/1241.07	c 1235s |      16 |   429550 |   159152 |   505304      0 |     3776 |    11569
1242.96/1243.37	c 1237s |      16 |   430007 |   159352 |   505304      0 |     3776 |    11569
1245.76/1246.12	c 1240s |      16 |   430529 |   159552 |   505304      0 |     3776 |    11569
1247.96/1248.31	c 1242s |      16 |   430974 |   159752 |   505304      0 |     3776 |    11569
1250.66/1251.04	c 1245s |      16 |   431561 |   159952 |   505304      0 |     3776 |    11569
1253.56/1254.00	c 1248s |      16 |   431918 |   160152 |   505304      0 |     3776 |    11569
1256.36/1256.78	c 1251s |      16 |   432416 |   160352 |   505304      0 |     3776 |    11569
1259.95/1260.33	c 1254s |      16 |   432881 |   160552 |   505304      0 |     3776 |    11569
1262.06/1262.47	c 1257s |      16 |   433888 |   160852 |   505304      0 |     3776 |    11569
1264.46/1264.84	c 1259s |      16 |   434888 |   161152 |   505304      0 |     3776 |    11569
1266.56/1266.95	c 1261s |      16 |   435561 |   161452 |   505304      0 |     3776 |    11569
1268.66/1269.02	c 1263s |      16 |   436372 |   161952 |   505304      0 |     3776 |    11569
1270.96/1271.34	c 1265s |      16 |   439746 |   162852 |   505304      0 |     3776 |    11569
1273.16/1273.58	c 1268s |      16 |   440202 |   163152 |   505304      0 |     3776 |    11569
1275.26/1275.67	c 1270s |      16 |   441035 |   163452 |   505304      0 |     3776 |    11569
1277.76/1278.13	c 1272s |      16 |   442218 |   163852 |   505304      0 |     3776 |    11569
1280.07/1280.49	c 1275s |      16 |   443397 |   164152 |   505304      0 |     3776 |    11569
1282.56/1282.92	c 1277s |      16 |   444900 |   164452 |   505304      0 |     3776 |    11569
1284.76/1285.14	c 1279s |      16 |   445471 |   164752 |   505304      0 |     3776 |    11569
1287.77/1288.11	c 1282s |      16 |   445863 |   164952 |   505304      0 |     3776 |    11569
1290.07/1290.42	c 1284s |      16 |   446598 |   165452 |   505304      0 |     3776 |    11569
1292.36/1292.74	c 1287s |      16 |   447309 |   165852 |   505304      0 |     3776 |    11569
1296.06/1296.41	c 1290s |      16 |   448022 |   166152 |   505304      0 |     3776 |    11569
1299.46/1299.83	c 1294s |      16 |   448487 |   166352 |   505304      0 |     3776 |    11569
1301.86/1302.29	c 1296s |      16 |   448919 |   166552 |   505304      0 |     3776 |    11569
1304.36/1304.74	c 1299s |      16 |   449928 |   167052 |   505304      0 |     3776 |    11569
1307.86/1308.20	c 1302s |      16 |   450367 |   167252 |   505304      0 |     3776 |    11569
1311.66/1312.08	c 1306s |      16 |   450941 |   167452 |   505304      0 |     3776 |    11569
1314.46/1314.89	c 1309s |      16 |   451398 |   167652 |   505304      0 |     3776 |    11569
1317.65/1318.00	c 1312s |      16 |   451819 |   167852 |   505304      0 |     3776 |    11569
1320.35/1320.73	c 1315s |      16 |   452511 |   168152 |   505304      0 |     3776 |    11569
1322.55/1322.94	c 1317s |      16 |   453016 |   168352 |   505304      0 |     3776 |    11569
1325.95/1326.37	c 1320s |      16 |   453509 |   168552 |   505304      0 |     3776 |    11569
1328.46/1328.81	c 1323s |      16 |   454152 |   168752 |   505304      0 |     3776 |    11569
1331.86/1332.28	c 1326s |      16 |   454849 |   168952 |   505304      0 |     3776 |    11569
1335.75/1336.11	c 1330s |      16 |   455158 |   169152 |   505304      0 |     3776 |    11569
1338.55/1338.92	c 1333s |      16 |   455988 |   169352 |   505304      0 |     3776 |    11569
1340.75/1341.10	c 1335s |      16 |   456868 |   169652 |   505304      0 |     3776 |    11569
1343.15/1343.51	c 1338s |      16 |   457921 |   169952 |   505304      0 |     3776 |    11569
1345.35/1345.78	c 1340s |      16 |   458787 |   170252 |   505304      0 |     3776 |    11569
1348.36/1348.72	c 1343s |      16 |   459355 |   170452 |   505304      0 |     3776 |    11569
1350.65/1351.01	c 1345s |      16 |   459869 |   170652 |   505304      0 |     3776 |    11569
1353.05/1353.45	c 1347s |      16 |   460510 |   170852 |   505304      0 |     3776 |    11569
1355.45/1355.85	c 1350s |      16 |   461200 |   171052 |   505304      0 |     3776 |    11569
1358.85/1359.23	c 1353s |      16 |   461757 |   171252 |   505304      0 |     3776 |    11569
1361.85/1362.21	c 1356s |      16 |   462262 |   171452 |   505304      0 |     3776 |    11569
1365.85/1366.23	c 1360s |      16 |   462770 |   171652 |   505304      0 |     3776 |    11569
1369.15/1369.53	c 1364s |      16 |   463240 |   171852 |   505304      0 |     3776 |    11569
1371.54/1371.92	c 1366s |      16 |   463680 |   172052 |   505304      0 |     3776 |    11569
1374.14/1374.54	c 1369s |      16 |   464275 |   172352 |   505304      0 |     3776 |    11569
1376.24/1376.62	c 1371s |      16 |   464959 |   172552 |   505304      0 |     3776 |    11569
1379.44/1379.80	c 1374s |      16 |   465388 |   172752 |   505304      0 |     3776 |    11569
1382.14/1382.58	c 1377s |      16 |   466009 |   173052 |   505304      0 |     3776 |    11569
1384.74/1385.17	c 1379s |      16 |   466619 |   173352 |   505304      0 |     3776 |    11569
1387.24/1387.64	c 1382s |      16 |   467048 |   173552 |   505304      0 |     3776 |    11569
1390.05/1390.48	c 1385s |      16 |   467561 |   173752 |   505304      0 |     3776 |    11569
1392.44/1392.80	c 1387s |      16 |   468069 |   173952 |   505304      0 |     3776 |    11569
1394.45/1394.83	c 1389s |      16 |   468822 |   174252 |   505304      0 |     3776 |    11569
1397.04/1397.43	c 1391s |      16 |   469782 |   174652 |   505304      0 |     3776 |    11569
1399.74/1400.12	c 1394s |      16 |   470501 |   174852 |   505304      0 |     3776 |    11569
1401.84/1402.28	c 1396s |      16 |   470947 |   175052 |   505304      0 |     3776 |    11569
1404.24/1404.62	c 1399s |      16 |   471623 |   175352 |   505304      0 |     3776 |    11569
1406.54/1406.97	c 1401s |      16 |   472269 |   175652 |   505304      0 |     3776 |    11569
1409.14/1409.59	c 1404s |      16 |   472676 |   175852 |   505304      0 |     3776 |    11569
1412.14/1412.52	c 1407s |      16 |   473045 |   176052 |   505304      0 |     3776 |    11569
1414.93/1415.36	c 1409s |      16 |   473653 |   176252 |   505304      0 |     3776 |    11569
1417.54/1417.96	c 1412s |      16 |   474217 |   176552 |   505304      0 |     3776 |    11569
1420.03/1420.49	c 1415s |      16 |   474668 |   176752 |   505304      0 |     3776 |    11569
1422.83/1423.24	c 1417s |      16 |   475170 |   176952 |   505304      0 |     3776 |    11569
1425.34/1425.71	c 1420s |      16 |   475696 |   177152 |   505304      0 |     3776 |    11569
1427.44/1427.82	c 1422s |      16 |   476177 |   177352 |   505304      0 |     3776 |    11569
1430.23/1430.61	c 1425s |      16 |   476924 |   177652 |   505304      0 |     3776 |    11569
1432.23/1432.69	c 1427s |      16 |   477475 |   177852 |   505304      0 |     3776 |    11569
1434.93/1435.36	c 1429s |      16 |   478105 |   178152 |   505304      0 |     3776 |    11569
1437.23/1437.63	c 1432s |      16 |   478712 |   178552 |   505304      0 |     3776 |    11569
1439.83/1440.24	c 1434s |      16 |   479292 |   178952 |   505304      0 |     3776 |    11569
1442.53/1442.94	c 1437s |      16 |   479829 |   179252 |   505304      0 |     3776 |    11569
1445.53/1445.91	c 1440s |      16 |   480543 |   179552 |   505304      0 |     3776 |    11569
1447.63/1448.01	c 1442s |      16 |   481034 |   179752 |   505304      0 |     3776 |    11569
1450.43/1450.89	c 1445s |      16 |   481668 |   180052 |   505304      0 |     3776 |    11569
1453.03/1453.48	c 1448s |      16 |   482306 |   180352 |   505304      0 |     3776 |    11569
1455.73/1456.10	c 1450s |      16 |   482982 |   180652 |   505304      0 |     3776 |    11569
1458.23/1458.65	c 1453s |      16 |   483671 |   180952 |   505304      0 |     3776 |    11569
1461.42/1461.80	c 1456s |      16 |   484016 |   181152 |   505304      0 |     3776 |    11569
1463.74/1464.20	c 1458s |      16 |   487549 |   181652 |   505304      0 |     3776 |    11569
1465.83/1466.27	c 1460s |      16 |   490551 |   182252 |   505304      0 |     3776 |    11569
1467.93/1468.36	c 1462s |      16 |   491919 |   182552 |   505304      0 |     3776 |    11569
1471.03/1471.42	c 1465s |      16 |   492295 |   182752 |   505304      0 |     3776 |    11569
1473.13/1473.51	c 1468s |      16 |   492985 |   182952 |   505304      0 |     3776 |    11569
1476.23/1476.69	c 1471s |      16 |   493388 |   183152 |   505304      0 |     3776 |    11569
1479.13/1479.60	c 1474s |      16 |   493886 |   183352 |   505304      0 |     3776 |    11569
1481.92/1482.30	c 1476s |      16 |   494273 |   183552 |   505304      0 |     3776 |    11569
1484.52/1484.90	c 1479s |      16 |   494655 |   183752 |   505304      0 |     3776 |    11569
1487.12/1487.58	c 1482s |      16 |   494999 |   183952 |   505304      0 |     3776 |    11569
1490.92/1491.31	c 1485s |      16 |   495388 |   184152 |   505304      0 |     3776 |    11569
1494.42/1494.81	c 1489s |      16 |   495728 |   184352 |   505304      0 |     3776 |    11569
1498.12/1498.50	c 1493s |      16 |   496064 |   184552 |   505304      0 |     3776 |    11569
1500.92/1501.37	c 1495s |      16 |   496465 |   184752 |   505304      0 |     3776 |    11569
1503.02/1503.43	c 1497s |      16 |   496757 |   184952 |   505304      0 |     3776 |    11569
1505.22/1505.60	c 1500s |      16 |   497307 |   185152 |   505304      0 |     3776 |    11569
1507.52/1507.95	c 1502s |      16 |   497933 |   185452 |   505304      0 |     3776 |    11569
1509.72/1510.17	c 1504s |      16 |   498290 |   185652 |   505304      0 |     3776 |    11569
1512.92/1513.39	c 1507s |      16 |   498686 |   185852 |   505304      0 |     3776 |    11569
1515.92/1516.32	c 1510s |      16 |   499047 |   186052 |   505304      0 |     3776 |    11569
1519.62/1520.02	c 1514s |      16 |   499373 |   186252 |   505304      0 |     3776 |    11569
1521.82/1522.28	c 1516s |      16 |   499766 |   186452 |   505304      0 |     3776 |    11569
1524.22/1524.61	c 1519s |      16 |   500207 |   186652 |   505304      0 |     3776 |    11569
1527.22/1527.66	c 1522s |      16 |   500620 |   186852 |   505304      0 |     3776 |    11569
1529.72/1530.12	c 1524s |      16 |   500949 |   187052 |   505304      0 |     3776 |    11569
1532.62/1533.04	c 1527s |      16 |   501285 |   187252 |   505304      0 |     3776 |    11569
1535.41/1535.87	c 1530s |      16 |   501591 |   187452 |   505304      0 |     3776 |    11569
1538.52/1538.91	c 1533s |      16 |   501893 |   187652 |   505304      0 |     3776 |    11569
1541.71/1542.10	c 1536s |      16 |   502411 |   187752 |   505304      0 |     5402 |    17055
1544.82/1545.23	c 1539s |      16 |   502842 |   187952 |   505304      0 |     5402 |    17055
1547.02/1547.46	c 1542s |      16 |   503169 |   188152 |   505304      0 |     5402 |    17055
1549.22/1549.68	c 1544s |      16 |   503795 |   188352 |   505304      0 |     5402 |    17055
1551.82/1552.23	c 1546s |      16 |   504108 |   188552 |   505304      0 |     5402 |    17055
1553.92/1554.32	c 1548s |      16 |   504319 |   188652 |   505304      0 |     5402 |    17055
1556.22/1556.61	c 1551s |      16 |   504469 |   188752 |   505304      0 |     5402 |    17055
1558.81/1559.22	c 1553s |      16 |   504850 |   188952 |   505304      0 |     5402 |    17055
1563.01/1563.46	c 1558s |      16 |   505208 |   189152 |   505304      0 |     5402 |    17055
1565.31/1565.72	c 1560s |      16 |   505583 |   189352 |   505304      0 |     5402 |    17055
1569.32/1569.75	c 1564s |      16 |   506017 |   189552 |   505304      0 |     5402 |    17055
1572.31/1572.76	c 1567s |      16 |   506314 |   189752 |   505304      0 |     5402 |    17055
1574.92/1575.38	c 1569s |      16 |   506798 |   189952 |   505304      0 |     5402 |    17055
1578.51/1578.91	c 1573s |      16 |   507193 |   190152 |   505304      0 |     5402 |    17055
1581.11/1581.50	c 1576s |      16 |   507614 |   190352 |   505304      0 |     5402 |    17055
1583.51/1583.97	c 1578s |      16 |   508089 |   190552 |   505304      0 |     5402 |    17055
1586.01/1586.49	c 1581s |      16 |   508599 |   190852 |   505304      0 |     5402 |    17055
1588.41/1588.81	c 1583s |      16 |   508993 |   191052 |   505304      0 |     5402 |    17055
1590.91/1591.34	c 1585s |      16 |   509392 |   191252 |   505304      0 |     5402 |    17055
1593.11/1593.54	c 1588s |      16 |   509729 |   191452 |   505304      0 |     5402 |    17055
1596.71/1597.18	c 1591s |      16 |   510178 |   191652 |   505304      0 |     5402 |    17055
1599.01/1599.40	c 1593s |      16 |   510366 |   191752 |   505304      0 |     5402 |    17055
1602.31/1602.76	c 1597s |      16 |   510693 |   191952 |   505304      0 |     5402 |    17055
1604.41/1604.82	c 1599s |      16 |   510853 |   192052 |   505304      0 |     5402 |    17055
1607.00/1607.42	c 1601s |      16 |   511086 |   192152 |   505304      0 |     5402 |    17055
1609.30/1609.75	c 1604s |      16 |   511304 |   192252 |   505304      0 |     5402 |    17055
1612.80/1613.24	c 1607s |      16 |   511645 |   192452 |   505304      0 |     5402 |    17055
1616.20/1616.63	c 1611s |      16 |   511830 |   192552 |   505304      0 |     5402 |    17055
1618.40/1618.87	c 1613s |      16 |   512340 |   192752 |   505304      0 |     5402 |    17055
1622.41/1622.89	c 1617s |      16 |   512823 |   193052 |   505304      0 |     5402 |    17055
1624.91/1625.39	c 1619s |      16 |   513366 |   193252 |   505304      0 |     5402 |    17055
1627.61/1628.08	c 1622s |      16 |   513813 |   193452 |   505304      0 |     5402 |    17055
1630.21/1630.60	c 1625s |      16 |   514384 |   193652 |   505304      0 |     5402 |    17055
1634.01/1634.46	c 1629s |      16 |   514817 |   193852 |   505304      0 |     5402 |    17055
1637.11/1637.55	c 1632s |      16 |   515181 |   194052 |   505304      0 |     5402 |    17055
1640.30/1640.75	c 1635s |      16 |   515566 |   194252 |   505304      0 |     5402 |    17055
1643.01/1643.46	c 1638s |      16 |   515879 |   194452 |   505304      0 |     5402 |    17055
1646.31/1646.75	c 1641s |      16 |   516191 |   194652 |   505304      0 |     5402 |    17055
1650.00/1650.46	c 1645s |      16 |   516484 |   194852 |   505304      0 |     5402 |    17055
1652.70/1653.17	c 1647s |      16 |   516838 |   195052 |   505304      0 |     5402 |    17055
1655.11/1655.58	c 1650s |      16 |   517001 |   195152 |   505304      0 |     5402 |    17055
1657.41/1657.89	c 1652s |      16 |   517522 |   195352 |   505304      0 |     5402 |    17055
1659.70/1660.17	c 1654s |      16 |   518090 |   195552 |   505304      0 |     5402 |    17055
1662.10/1662.52	c 1657s |      16 |   518377 |   195752 |   505304      0 |     5402 |    17055
1665.60/1666.07	c 1660s |      16 |   518582 |   195852 |   505304      0 |    22119 |    67830
1668.70/1669.11	c 1663s |      16 |   518749 |   195952 |   505304      0 |    22119 |    67830
1673.09/1673.59	c 1668s |      16 |   518941 |   196052 |   505304      0 |    27306 |    85458
1675.09/1675.51	c 1670s |      16 |   519061 |   196074 |   555835      0 |    51074 |    85550
1675.09/1675.51	c #cpu_time = 1669.924s
1675.09/1675.51	c #wall_clock_time = 1670.054s
1675.09/1675.51	c #decision = 519061
1675.09/1675.51	c #random_decision = 1178
1675.09/1675.51	c #conflict = 196074
1675.09/1675.51	c #restart = 16
1675.09/1675.51	s UNSATISFIABLE
1675.09/1675.51	c total CPU time = 1675.381s
1675.09/1675.51	c total wall clock time = 1675.511s

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

pid=9195
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.10 2.07 2.01 3/179 9198
/proc/meminfo: memFree=30569380/32872528 swapFree=11196/354588
[pid=9198] ppid=9195 vsize=715196 CPUtime=0 cores=1,3,5,7
/proc/9198/stat : 9198 (toysat) R 9195 9198 8429 0 -1 4202496 2666 0 0 0 0 0 0 0 20 0 4 0 104100833 732360704 3026 33554432000 4194304 16246674 140733730436464 140733730435720 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9198/statm: 179311 3035 441 2943 0 176205 0
[pid=9198/tid=9199] ppid=9195 vsize=733628 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9199/stat : 9199 (toysat) S 9195 9198 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104100833 751235072 3100 33554432000 4194304 16246674 140733730436464 140309150280944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9198/tid=9200] ppid=9195 vsize=737724 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9200/stat : 9200 (toysat) S 9195 9198 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104100833 755429376 3117 33554432000 4194304 16246674 140733730436464 140309065346288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9198/tid=9201] ppid=9195 vsize=741820 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9201/stat : 9201 (toysat) S 9195 9198 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104100833 759623680 3133 33554432000 4194304 16246674 140733730436464 140309054872752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.10 2.07 2.01 3/179 9198
/proc/meminfo: memFree=30569380/32872528 swapFree=11196/354588
[pid=9198] ppid=9195 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/9198/stat : 9198 (toysat) R 9195 9198 8429 0 -1 4202496 27535 0 0 0 5 4 0 0 20 0 4 0 104100833 1250496512 27834 33554432000 4194304 16246674 140733730436464 140733730435776 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9198/statm: 305297 27839 801 2943 0 302191 0
[pid=9198/tid=9199] ppid=9195 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9199/stat : 9199 (toysat) S 9195 9198 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104100833 1250496512 27844 33554432000 4194304 16246674 140733730436464 140309150280944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9198/tid=9200] ppid=9195 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9200/stat : 9200 (toysat) S 9195 9198 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104100833 1250496512 27848 33554432000 4194304 16246674 140733730436464 140309065346288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9198/tid=9201] ppid=9195 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9201/stat : 9201 (toysat) S 9195 9198 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104100833 1250496512 27852 33554432000 4194304 16246674 140733730436464 140309054872752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200531 s]
/proc/loadavg: 2.10 2.07 2.01 3/179 9198
/proc/meminfo: memFree=30569380/32872528 swapFree=11196/354588
[pid=9198] ppid=9195 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/9198/stat : 9198 (toysat) R 9195 9198 8429 0 -1 4202496 49894 0 0 0 11 8 0 0 20 0 4 0 104100833 1344868352 50703 33554432000 4194304 16246674 140733730436464 140733730435776 7371952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9198/statm: 328337 50703 801 2943 0 325231 0
[pid=9198/tid=9199] ppid=9195 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9199/stat : 9199 (toysat) S 9195 9198 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104100833 1344868352 50703 33554432000 4194304 16246674 140733730436464 140309150280944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9198/tid=9200] ppid=9195 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9200/stat : 9200 (toysat) S 9195 9198 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104100833 1344868352 50703 33554432000 4194304 16246674 140733730436464 140309065346288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9198/tid=9201] ppid=9195 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9201/stat : 9201 (toysat) S 9195 9198 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104100833 1344868352 50703 33554432000 4194304 16246674 140733730436464 140309054872752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300515 s]
/proc/loadavg: 2.10 2.07 2.01 3/179 9198
/proc/meminfo: memFree=30569380/32872528 swapFree=11196/354588
[pid=9198] ppid=9195 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/9198/stat : 9198 (toysat) R 9195 9198 8429 0 -1 4202496 53324 0 0 0 21 8 0 0 20 0 4 0 104100833 1344868352 54133 33554432000 4194304 16246674 140733730436464 140733730435776 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9198/statm: 328337 54133 801 2943 0 325231 0
[pid=9198/tid=9199] ppid=9195 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9199/stat : 9199 (toysat) S 9195 9198 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104100833 1344868352 54133 33554432000 4194304 16246674 140733730436464 140309150280944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9198/tid=9200] ppid=9195 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9200/stat : 9200 (toysat) S 9195 9198 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104100833 1344868352 54133 33554432000 4194304 16246674 140733730436464 140309065346288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9198/tid=9201] ppid=9195 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9201/stat : 9201 (toysat) S 9195 9198 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104100833 1344868352 54133 33554432000 4194304 16246674 140733730436464 140309054872752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700429 s]
/proc/loadavg: 2.10 2.07 2.01 3/179 9198
/proc/meminfo: memFree=30569380/32872528 swapFree=11196/354588
[pid=9198] ppid=9195 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/9198/stat : 9198 (toysat) R 9195 9198 8429 0 -1 4202496 68475 0 0 0 59 10 0 0 20 0 4 0 104100833 1344868352 69284 33554432000 4194304 16246674 140733730436464 140733730419456 4220495 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9198/statm: 328337 69284 802 2943 0 325231 0
[pid=9198/tid=9199] ppid=9195 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9199/stat : 9199 (toysat) S 9195 9198 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104100833 1344868352 69284 33554432000 4194304 16246674 140733730436464 140309150280944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9198/tid=9200] ppid=9195 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9200/stat : 9200 (toysat) S 9195 9198 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104100833 1344868352 69284 33554432000 4194304 16246674 140733730436464 140309065346288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9198/tid=9201] ppid=9195 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9201/stat : 9201 (toysat) S 9195 9198 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104100833 1344868352 69284 33554432000 4194304 16246674 140733730436464 140309054872752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.10 2.07 2.01 3/183 9202
/proc/meminfo: memFree=30261840/32872528 swapFree=11196/354588
[pid=9198] ppid=9195 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/9198/stat : 9198 (toysat) R 9195 9198 8429 0 -1 4202496 87080 0 0 0 136 13 0 0 20 0 4 0 104100833 1344868352 87890 33554432000 4194304 16246674 140733730436464 140733730434368 7369730 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9198/statm: 328337 87910 802 2943 0 325231 0
[pid=9198/tid=9199] ppid=9195 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9199/stat : 9199 (toysat) S 9195 9198 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104100833 1344868352 87921 33554432000 4194304 16246674 140733730436464 140309150280944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9198/tid=9200] ppid=9195 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9200/stat : 9200 (toysat) S 9195 9198 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104100833 1344868352 87932 33554432000 4194304 16246674 140733730436464 140309065346288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9198/tid=9201] ppid=9195 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9201/stat : 9201 (toysat) S 9195 9198 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104100833 1344868352 87944 33554432000 4194304 16246674 140733730436464 140309054872752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10043 s]
/proc/loadavg: 2.10 2.07 2.01 3/183 9202
/proc/meminfo: memFree=29894164/32872528 swapFree=11196/354588
[pid=9198] ppid=9195 vsize=1336900 CPUtime=3.09 cores=1,3,5,7
/proc/9198/stat : 9198 (toysat) R 9195 9198 8429 0 -1 4202496 274841 0 0 0 265 44 0 0 20 0 4 0 104100833 1368985600 275650 33554432000 4194304 16246674 140733730436464 140733730418368 13950707 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9198/statm: 334225 275650 836 2943 0 331119 0
[pid=9198/tid=9199] ppid=9195 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9199/stat : 9199 (toysat) S 9195 9198 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104100833 1368985600 275650 33554432000 4194304 16246674 140733730436464 140309150280944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9198/tid=9200] ppid=9195 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9200/stat : 9200 (toysat) S 9195 9198 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104100833 1368985600 275650 33554432000 4194304 16246674 140733730436464 140309065346288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9198/tid=9201] ppid=9195 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9201/stat : 9201 (toysat) S 9195 9198 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104100833 1368985600 275650 33554432000 4194304 16246674 140733730436464 140309054872752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1336900

[startup+6.30044 s]
/proc/loadavg: 2.10 2.07 2.01 3/183 9202
/proc/meminfo: memFree=29467628/32872528 swapFree=11196/354588
[pid=9198] ppid=9195 vsize=1336900 CPUtime=6.29 cores=1,3,5,7
/proc/9198/stat : 9198 (toysat) R 9195 9198 8429 0 -1 4202496 274892 0 0 0 585 44 0 0 20 0 4 0 104100833 1368985600 275701 33554432000 4194304 16246674 140733730436464 140733730418368 5829313 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9198/statm: 334225 275701 885 2943 0 331119 0
[pid=9198/tid=9199] ppid=9195 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9199/stat : 9199 (toysat) S 9195 9198 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104100833 1368985600 275701 33554432000 4194304 16246674 140733730436464 140309150280944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9198/tid=9200] ppid=9195 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9200/stat : 9200 (toysat) S 9195 9198 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104100833 1368985600 275701 33554432000 4194304 16246674 140733730436464 140309065346288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9198/tid=9201] ppid=9195 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9201/stat : 9201 (toysat) S 9195 9198 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104100833 1368985600 275701 33554432000 4194304 16246674 140733730436464 140309054872752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1336900

[startup+12.7004 s]
/proc/loadavg: 2.09 2.07 2.01 3/183 9202
/proc/meminfo: memFree=29467568/32872528 swapFree=11196/354588
[pid=9198] ppid=9195 vsize=1336900 CPUtime=12.69 cores=1,3,5,7
/proc/9198/stat : 9198 (toysat) R 9195 9198 8429 0 -1 4202496 274898 0 0 0 1225 44 0 0 20 0 4 0 104100833 1368985600 275707 33554432000 4194304 16246674 140733730436464 140733730418368 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9198/statm: 334225 275707 888 2943 0 331119 0
[pid=9198/tid=9199] ppid=9195 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9199/stat : 9199 (toysat) S 9195 9198 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104100833 1368985600 275707 33554432000 4194304 16246674 140733730436464 140309150280944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9198/tid=9200] ppid=9195 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9200/stat : 9200 (toysat) S 9195 9198 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104100833 1368985600 275707 33554432000 4194304 16246674 140733730436464 140309065346288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9198/tid=9201] ppid=9195 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9201/stat : 9201 (toysat) S 9195 9198 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104100833 1368985600 275707 33554432000 4194304 16246674 140733730436464 140309054872752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1336900

[startup+25.5005 s]
/proc/loadavg: 2.07 2.07 2.00 3/183 9202
/proc/meminfo: memFree=29468564/32872528 swapFree=11196/354588
[pid=9198] ppid=9195 vsize=1336900 CPUtime=25.49 cores=1,3,5,7
/proc/9198/stat : 9198 (toysat) R 9195 9198 8429 0 -1 4202496 274901 0 0 0 2505 44 0 0 20 0 4 0 104100833 1368985600 275710 33554432000 4194304 16246674 140733730436464 140733730418368 5674707 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9198/statm: 334225 275710 888 2943 0 331119 0
[pid=9198/tid=9199] ppid=9195 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9199/stat : 9199 (toysat) S 9195 9198 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104100833 1368985600 275710 33554432000 4194304 16246674 140733730436464 140309150280944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9198/tid=9200] ppid=9195 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9200/stat : 9200 (toysat) S 9195 9198 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104100833 1368985600 275710 33554432000 4194304 16246674 140733730436464 140309065346288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9198/tid=9201] ppid=9195 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9201/stat : 9201 (toysat) S 9195 9198 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104100833 1368985600 275710 33554432000 4194304 16246674 140733730436464 140309054872752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1336900

[startup+51.1005 s]
/proc/loadavg: 2.12 2.08 2.01 3/182 9202
/proc/meminfo: memFree=29468756/32872528 swapFree=11196/354588
[pid=9198] ppid=9195 vsize=1336900 CPUtime=51.09 cores=1,3,5,7
/proc/9198/stat : 9198 (toysat) R 9195 9198 8429 0 -1 4202496 274905 0 0 0 5065 44 0 0 20 0 4 0 104100833 1368985600 275714 33554432000 4194304 16246674 140733730436464 140733730418368 5663327 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9198/statm: 334225 275714 891 2943 0 331119 0
[pid=9198/tid=9199] ppid=9195 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9199/stat : 9199 (toysat) S 9195 9198 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104100833 1368985600 275714 33554432000 4194304 16246674 140733730436464 140309150280944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9198/tid=9200] ppid=9195 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9200/stat : 9200 (toysat) S 9195 9198 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104100833 1368985600 275714 33554432000 4194304 16246674 140733730436464 140309065346288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9198/tid=9201] ppid=9195 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9201/stat : 9201 (toysat) S 9195 9198 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104100833 1368985600 275714 33554432000 4194304 16246674 140733730436464 140309054872752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1336900

[startup+102.301 s]
/proc/loadavg: 2.23 2.11 2.02 3/183 9204
/proc/meminfo: memFree=29466652/32872528 swapFree=11196/354588
[pid=9198] ppid=9195 vsize=1336900 CPUtime=102.28 cores=1,3,5,7
/proc/9198/stat : 9198 (toysat) R 9195 9198 8429 0 -1 4202496 274905 0 0 0 10184 44 0 0 20 0 4 0 104100833 1368985600 275714 33554432000 4194304 16246674 140733730436464 140733730418368 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9198/statm: 334225 275714 891 2943 0 331119 0
[pid=9198/tid=9199] ppid=9195 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9199/stat : 9199 (toysat) S 9195 9198 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104100833 1368985600 275714 33554432000 4194304 16246674 140733730436464 140309150280944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9198/tid=9200] ppid=9195 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9200/stat : 9200 (toysat) S 9195 9198 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104100833 1368985600 275714 33554432000 4194304 16246674 140733730436464 140309065346288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9198/tid=9201] ppid=9195 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9201/stat : 9201 (toysat) S 9195 9198 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104100833 1368985600 275714 33554432000 4194304 16246674 140733730436464 140309054872752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1336900


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

/proc/9198/stat : 9198 (toysat) R 9195 9198 8429 0 -1 4202496 275179 0 0 0 148142 50 0 0 20 0 4 0 104100833 1368985600 275715 33554432000 4194304 16246674 140733730436464 140733730418368 5676609 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9198/statm: 334225 275715 892 2943 0 331119 0
[pid=9198/tid=9199] ppid=9195 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9199/stat : 9199 (toysat) S 9195 9198 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104100833 1368985600 275715 33554432000 4194304 16246674 140733730436464 140309150280944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9198/tid=9200] ppid=9195 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9200/stat : 9200 (toysat) S 9195 9198 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104100833 1368985600 275715 33554432000 4194304 16246674 140733730436464 140309065346288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9198/tid=9201] ppid=9195 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9201/stat : 9201 (toysat) S 9195 9198 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104100833 1368985600 275715 33554432000 4194304 16246674 140733730436464 140309054872752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1336900

[startup+1542.31 s]
/proc/loadavg: 2.03 2.09 2.04 3/183 9483
/proc/meminfo: memFree=29312728/32872528 swapFree=11196/354588
[pid=9198] ppid=9195 vsize=1346116 CPUtime=1541.93 cores=1,3,5,7
/proc/9198/stat : 9198 (toysat) R 9195 9198 8429 0 -1 4202496 277433 0 0 0 154142 51 0 0 20 0 4 0 104100833 1378422784 277970 33554432000 4194304 16246674 140733730436464 140733730418368 4221016 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9198/statm: 336529 277974 893 2943 0 333423 0
[pid=9198/tid=9199] ppid=9195 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9199/stat : 9199 (toysat) S 9195 9198 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104100833 1378422784 277976 33554432000 4194304 16246674 140733730436464 140309150280944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9198/tid=9200] ppid=9195 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9200/stat : 9200 (toysat) S 9195 9198 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104100833 1378422784 277979 33554432000 4194304 16246674 140733730436464 140309065346288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9198/tid=9201] ppid=9195 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9201/stat : 9201 (toysat) S 9195 9198 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104100833 1378422784 277982 33554432000 4194304 16246674 140733730436464 140309054872752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1346116

[startup+1602.3 s]
/proc/loadavg: 2.05 2.08 2.04 3/183 9484
/proc/meminfo: memFree=29131336/32872528 swapFree=11196/354588
[pid=9198] ppid=9195 vsize=1373764 CPUtime=1601.91 cores=1,3,5,7
/proc/9198/stat : 9198 (toysat) R 9195 9198 8429 0 -1 4202496 284396 0 0 0 160139 52 0 0 20 0 4 0 104100833 1406734336 284932 33554432000 4194304 16246674 140733730436464 140733730418368 5823584 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9198/statm: 343441 284932 893 2943 0 340335 0
[pid=9198/tid=9199] ppid=9195 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9199/stat : 9199 (toysat) S 9195 9198 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104100833 1406734336 284932 33554432000 4194304 16246674 140733730436464 140309150280944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9198/tid=9200] ppid=9195 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9200/stat : 9200 (toysat) S 9195 9198 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104100833 1406734336 284932 33554432000 4194304 16246674 140733730436464 140309065346288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9198/tid=9201] ppid=9195 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9201/stat : 9201 (toysat) S 9195 9198 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104100833 1406734336 284932 33554432000 4194304 16246674 140733730436464 140309054872752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1373764

[startup+1662.3 s]
/proc/loadavg: 2.14 2.10 2.04 3/182 9485
/proc/meminfo: memFree=29131420/32872528 swapFree=11196/354588
[pid=9198] ppid=9195 vsize=1373764 CPUtime=1661.9 cores=1,3,5,7
/proc/9198/stat : 9198 (toysat) R 9195 9198 8429 0 -1 4202496 284396 0 0 0 166136 54 0 0 20 0 4 0 104100833 1406734336 284932 33554432000 4194304 16246674 140733730436464 140733730418368 5677720 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9198/statm: 343441 284932 893 2943 0 340335 0
[pid=9198/tid=9199] ppid=9195 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9199/stat : 9199 (toysat) S 9195 9198 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104100833 1406734336 284932 33554432000 4194304 16246674 140733730436464 140309150280944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9198/tid=9200] ppid=9195 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9200/stat : 9200 (toysat) S 9195 9198 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104100833 1406734336 284932 33554432000 4194304 16246674 140733730436464 140309065346288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9198/tid=9201] ppid=9195 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9201/stat : 9201 (toysat) S 9195 9198 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104100833 1406734336 284932 33554432000 4194304 16246674 140733730436464 140309054872752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1373764

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9198 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1664 s]
/proc/loadavg: 2.14 2.10 2.04 3/182 9485
/proc/meminfo: memFree=29131420/32872528 swapFree=11196/354588
[pid=9198] ppid=9195 vsize=1373764 CPUtime=1663.6 cores=1,3,5,7
/proc/9198/stat : 9198 (toysat) R 9195 9198 8429 0 -1 4202496 284396 0 0 0 166306 54 0 0 20 0 4 0 104100833 1406734336 284932 33554432000 4194304 16246674 140733730436464 140733730435680 7276384 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9198/statm: 343441 284932 893 2943 0 340335 0
[pid=9198/tid=9199] ppid=9195 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9199/stat : 9199 (toysat) S 9195 9198 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104100833 1406734336 284932 33554432000 4194304 16246674 140733730436464 140309150280944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9198/tid=9200] ppid=9195 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9200/stat : 9200 (toysat) S 9195 9198 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104100833 1406734336 284932 33554432000 4194304 16246674 140733730436464 140309065346288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9198/tid=9201] ppid=9195 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9201/stat : 9201 (toysat) S 9195 9198 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104100833 1406734336 284932 33554432000 4194304 16246674 140733730436464 140309054872752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1663.6
Current children cumulated vsize (KiB) 1373764

[startup+1670.4 s]
/proc/loadavg: 2.13 2.10 2.04 3/183 9486
/proc/meminfo: memFree=29091220/32872528 swapFree=11196/354588
[pid=9198] ppid=9195 vsize=1413700 CPUtime=1670 cores=1,3,5,7
/proc/9198/stat : 9198 (toysat) R 9195 9198 8429 0 -1 4202496 294380 0 0 0 166945 55 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140733730418368 6837238 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9198/statm: 353425 294916 893 2943 0 350319 0
[pid=9198/tid=9199] ppid=9195 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9199/stat : 9199 (toysat) S 9195 9198 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140309150280944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9198/tid=9200] ppid=9195 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9200/stat : 9200 (toysat) S 9195 9198 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140309065346288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9198/tid=9201] ppid=9195 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9201/stat : 9201 (toysat) S 9195 9198 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140309054872752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1670
Current children cumulated vsize (KiB) 1413700

[startup+1673.6 s]
/proc/loadavg: 2.12 2.09 2.04 3/183 9486
/proc/meminfo: memFree=29091344/32872528 swapFree=11196/354588
[pid=9198] ppid=9195 vsize=1413700 CPUtime=1673.19 cores=1,3,5,7
/proc/9198/stat : 9198 (toysat) R 9195 9198 8429 0 -1 4202496 294380 0 0 0 167264 55 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140733730435560 5674567 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9198/statm: 353425 294916 893 2943 0 350319 0
[pid=9198/tid=9199] ppid=9195 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9199/stat : 9199 (toysat) S 9195 9198 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140309150280944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9198/tid=9200] ppid=9195 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9200/stat : 9200 (toysat) S 9195 9198 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140309065346288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9198/tid=9201] ppid=9195 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9201/stat : 9201 (toysat) S 9195 9198 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140309054872752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1673.19
Current children cumulated vsize (KiB) 1413700

[startup+1674.4 s]
/proc/loadavg: 2.12 2.09 2.04 3/183 9486
/proc/meminfo: memFree=29091344/32872528 swapFree=11196/354588
[pid=9198] ppid=9195 vsize=1413700 CPUtime=1673.99 cores=1,3,5,7
/proc/9198/stat : 9198 (toysat) R 9195 9198 8429 0 -1 4202496 294380 0 0 0 167344 55 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140733730418368 5827966 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9198/statm: 353425 294916 893 2943 0 350319 0
[pid=9198/tid=9199] ppid=9195 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9199/stat : 9199 (toysat) S 9195 9198 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140309150280944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9198/tid=9200] ppid=9195 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9200/stat : 9200 (toysat) S 9195 9198 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140309065346288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9198/tid=9201] ppid=9195 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9201/stat : 9201 (toysat) S 9195 9198 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140309054872752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1673.99
Current children cumulated vsize (KiB) 1413700

[startup+1675.2 s]
/proc/loadavg: 2.12 2.09 2.04 3/183 9486
/proc/meminfo: memFree=29091344/32872528 swapFree=11196/354588
[pid=9198] ppid=9195 vsize=1413700 CPUtime=1674.79 cores=1,3,5,7
/proc/9198/stat : 9198 (toysat) R 9195 9198 8429 0 -1 4202496 294380 0 0 0 167424 55 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140733730418368 4220552 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9198/statm: 353425 294916 893 2943 0 350319 0
[pid=9198/tid=9199] ppid=9195 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9199/stat : 9199 (toysat) S 9195 9198 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140309150280944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9198/tid=9200] ppid=9195 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9200/stat : 9200 (toysat) S 9195 9198 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140309065346288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9198/tid=9201] ppid=9195 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9201/stat : 9201 (toysat) S 9195 9198 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140309054872752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1674.79
Current children cumulated vsize (KiB) 1413700

[startup+1675.41 s]
/proc/loadavg: 2.11 2.09 2.04 3/183 9486
/proc/meminfo: memFree=29091468/32872528 swapFree=11196/354588
[pid=9198] ppid=9195 vsize=1413700 CPUtime=1675 cores=1,3,5,7
/proc/9198/stat : 9198 (toysat) R 9195 9198 8429 0 -1 4202496 294380 0 0 0 167445 55 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140733730418368 5672056 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9198/statm: 353425 294916 893 2943 0 350319 0
[pid=9198/tid=9199] ppid=9195 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9199/stat : 9199 (toysat) S 9195 9198 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140309150280944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9198/tid=9200] ppid=9195 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9200/stat : 9200 (toysat) S 9195 9198 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140309065346288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9198/tid=9201] ppid=9195 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9201/stat : 9201 (toysat) S 9195 9198 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140309054872752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1675
Current children cumulated vsize (KiB) 1413700

[startup+1675.5 s]
/proc/loadavg: 2.11 2.09 2.04 3/183 9486
/proc/meminfo: memFree=29091468/32872528 swapFree=11196/354588
[pid=9198] ppid=9195 vsize=1413700 CPUtime=1675.09 cores=1,3,5,7
/proc/9198/stat : 9198 (toysat) R 9195 9198 8429 0 -1 4202496 294380 0 0 0 167454 55 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140733730418368 5829044 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9198/statm: 353425 294916 893 2943 0 350319 0
[pid=9198/tid=9199] ppid=9195 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9199/stat : 9199 (toysat) S 9195 9198 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140309150280944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9198/tid=9200] ppid=9195 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9200/stat : 9200 (toysat) S 9195 9198 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140309065346288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9198/tid=9201] ppid=9195 vsize=1413700 CPUtime=0 cores=1,3,5,7
/proc/9198/task/9201/stat : 9201 (toysat) S 9195 9198 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104100833 1447628800 294916 33554432000 4194304 16246674 140733730436464 140309054872752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1675.09
Current children cumulated vsize (KiB) 1413700

Child status: 0
Real time (s): 1675.53
CPU time (s): 1675.13
CPU user time (s): 1674.57
CPU system time (s): 0.564914
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 1413700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1674.57
system time used= 0.564914
maximum resident set size= 1179676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294384
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= 344
involuntary context switches= 2605

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.08338 second user time and 6.63799 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-06 16:01:14
IDJOB=4078753
IDBENCH=1465
IDSOLVER=2542
FILE ID=node126/4078753-1465221673
RUNJOBID= node126-1465218023-8446
PBS_JOBID= 19843210
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078753-1465221673/watcher-4078753-1465221673 -o /tmp/evaluation-result-4078753-1465221673/solver-4078753-1465221673 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8446 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078753-1465221673.opb

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

MD5SUM BENCH= 1785d65de493315a1e7654bb7aab8248
RANDOM SEED=2044454837

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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.500
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:        30570032 kB
Buffers:            9908 kB
Cached:           119840 kB
SwapCached:         1920 kB
Active:          1200020 kB
Inactive:          46796 kB
Active(anon):    1117344 kB
Inactive(anon):     2036 kB
Active(file):      82676 kB
Inactive(file):    44760 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098524 kB
Dirty:             24852 kB
Writeback:             0 kB
AnonPages:       1472860 kB
Mapped:             9704 kB
Shmem:                 0 kB
Slab:             566984 kB
SReclaimable:      10940 kB
SUnreclaim:       556044 kB
KernelStack:        1488 kB
PageTables:         6640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1613192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    772096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node126 at 2016-06-06 16:29:09