Trace number 4093090

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.17 1800.44

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.unbounded.all.ucl--soft-66-100-0.wbo
MD5SUM8a7b280af2f03093297f21c42e0139c3
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark68784
Best CPU time to get the best result obtained on this benchmark181.703
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables84836
Total number of constraints245062
Number of soft constraints83464
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
Top cost 4203368
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 4203367
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-16T13:19:32+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","--wbo","--search=bcd2","HOME/instance-4093090-1466075971.wbo"]
0.00/0.01	c use --random-gen="3885812581 2379287558 2579132478 4022806315 3632591381 3716177665 1591870446 3162438267 1534924448 626500270 3531997369 1408817633 2478444842 2053175026 3911958565 886584434 2524744999 7190943 1540904771 1758278959 1061294407 217497148 3654679222 3281261936 2226115522 2634839466 1034615061 1356689368 408585765 351158974 4071110944 1819519876 2854126346 4130619728 3083378500 529697411 934864927 2026984321 4139933733 1026343025 1874915544 966657392 1135813774 1349126972 2615611988 120175198 1060212100 1084300055 1446023045 861264937 3658274541 1734187726 2937110599 3150392586 2373141326 1630161233 3077998473 2935827709 1553030044 1665966538 2025626311 1130632253 2353665829 995272916 3352473800 795493370 1124588687 3148859310 3659737252 1083746250 3141799232 222020030 2620789253 3976425082 1883077634 53139921 3982978961 4123645716 3136653655 837182186 2080304601 3080023517 1088406228 1898918581 4016798127 1847195402 2199763638 252891542 487768309 760297844 1058030635 3357308632 985439760 2263393251 833759444 578489530 3331027642 1416847420 1861576917 3545201659 2145849704 584346922 1718605265 2865568716 315237726 734490747 4104963633 890232486 1909795302 3226149659 2921689424 2239424871 4133897953 2494344239 261425543 2400811321 1075777880 1795786943 3382786110 3423031470 2197898160 3305808346 1312600178 566884971 3518845676 2261043531 707811195 3864944817 2726958256 1096150020 513000351 2855801020 3157204057 4120826245 2165324081 22439471 2585230398 2798586935 3454926500 3703292294 2250766436 1984370458 1116539617 3100106099 1970107736 3522077906 749309873 2403278440 2966139811 1316502670 2097755629 693361983 1081468749 2377330553 122600091 197793980 1775607522 1350751167 2961243806 703644977 1266364544 2011745890 1188402951 2362400887 1603207051 1048360950 2440643594 628464451 4144032134 202831993 3556674754 1980031857 669851178 3998226420 3303851028 4017238708 250918086 3601532135 2388027363 368098405 1733068705 1229214105 1753966696 1989019527 4049874865 77031933 274087305 105235428 957678370 21295871 1065090516 807735237 2480943508 2705030338 3583135808 2939840886 1713996074 1145551326 1312204003 2562110413 3447922618 1149135477 3237526967 3685546915 3531036052 2782833324 238710230 764571279 2313992996 2244542569 3962205091 4002287732 880329193 3449694281 3971144210 937630862 2695086727 3140154438 438152750 1826585426 3597579312 2944259172 509051506 3955217764 2081118313 3608673948 661015758 831628650 1082459228 3588768376 3364472164 2833736975 1402252496 783777421 107624540 2477090090 2930257169 3369022000 4161967858 2583539809 727416390 2942888451 2147117572 3641668243 1533916015 3737591223 909544556 4251955514 1270749277 1519368504 3980587231 3298797476 1860119973 1637997309 1110794341 2134519098 255 362436" option to reproduce the execution
8.59/8.62	c #vars 84836
8.59/8.62	c #constraints 245062
13.50/13.57	c BCD2: Hardening is enabled.
13.50/13.57	c BCD2: BiasedSearch is enabled.
13.50/13.57	c Solving starts ...
13.50/13.57	c ============================[ Search Statistics ]============================
13.50/13.57	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.50/13.57	c       |         |          |          |    Limit     GC | Var      | Constra 
13.50/13.57	c =============================================================================
13.50/13.58	c  0.0s |       0 |        0 |        0 |   137787      0 |        3 |        0
14.89/14.92	c  1.3s |       1 |   165210 |      100 |   137787      0 |        3 |        5
15.70/15.78	c  2.2s |       2 |   319014 |      250 |   151566      0 |        3 |        5
17.39/17.40	c  3.8s |       2 |   641932 |      278 |   166723      0 |        3 |        5
17.39/17.40	c #cpu_time = 3.668s
17.39/17.40	c #wall_clock_time = 3.678s
17.39/17.40	c #decision = 641932
17.39/17.40	c #random_decision = 2060
17.39/17.40	c #conflict = 278
17.39/17.40	c #restart = 2
17.39/17.43	o 15586
17.69/17.73	c BCD2: updating upper bound: 4203367 -> 15585
18.19/18.27	c BCD2: 0 <= obj <= 15585
18.19/18.28	c BCD2: #cores=0, #unrelaxed=83464, #relaxed=0, #hardened=0
18.19/18.28	c BCD2: #sat=1 #unsat=1 bias=1/2
18.19/18.29	c Solving starts ...
18.19/18.29	c ============================[ Search Statistics ]============================
18.19/18.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
18.19/18.29	c       |         |          |          |    Limit     GC | Var      | Constra 
18.19/18.29	c =============================================================================
18.19/18.29	c  0.0s |       0 |        0 |        0 |   166723      0 |        3 |        5
19.69/19.74	c  1.4s |       1 |    84635 |      100 |   166723      0 |        3 |        5
21.79/21.88	c  3.6s |       2 |   169373 |      250 |   183396      0 |        3 |        5
23.79/23.80	c  5.5s |       3 |   253654 |      475 |   183396      0 |        3 |        5
25.89/25.99	c  7.7s |       4 |   338078 |      813 |   201736      0 |        3 |        5
28.09/28.10	c  9.8s |       4 |   422677 |     1113 |   221910      0 |        3 |        5
29.89/29.96	c 11.7s |       5 |   423383 |     1320 |   221910      0 |        3 |        5
32.29/32.38	c 14.1s |       5 |   507534 |     1520 |   221910      0 |        3 |        5
35.19/35.27	c 17.0s |       5 |   508073 |     1720 |   221910      0 |        3 |        5
37.39/37.44	c 19.2s |       5 |   508731 |     1920 |   244102      0 |        3 |        5
39.89/39.95	c 21.7s |       6 |   582826 |     2081 |   244102      0 |        3 |        5
42.19/42.22	c 23.9s |       6 |   667414 |     2481 |   244102      0 |        3 |        5
43.88/43.95	c 25.7s |       7 |   671082 |     3223 |   268513      0 |        3 |        5
46.18/46.20	c 27.9s |       7 |   829181 |     3623 |   268513      0 |        3 |        5
48.88/48.96	c 30.7s |       7 |   833345 |     4423 |   268513      0 |        3 |        5
50.89/50.99	c 32.7s |       7 |   833994 |     4623 |   268513      0 |        3 |        5
52.98/53.05	c 34.8s |       7 |   834669 |     4823 |   295365      0 |        3 |        5
54.58/54.63	c 36.3s |       8 |   835109 |     4936 |   295365      0 |        3 |        5
58.08/58.19	c 39.9s |       8 |   919474 |     5136 |   295365      0 |        3 |        5
61.99/62.04	c 43.7s |       8 |   920139 |     5336 |   295365      0 |        3 |        5
64.48/64.51	c 46.2s |       8 |   920380 |     5436 |   295365      0 |        3 |        5
66.78/66.89	c 48.6s |       8 |   920576 |     5536 |   295365      0 |        3 |        5
69.28/69.32	c 51.0s |       8 |   920771 |     5636 |   295365      0 |        3 |        5
71.58/71.68	c 53.4s |       8 |   920978 |     5736 |   295365      0 |        3 |        5
75.08/75.11	c 56.8s |       8 |   922151 |     5936 |   295365      0 |        3 |        5
77.77/77.89	c 59.6s |       8 |   925610 |     6236 |   295365      0 |        3 |        5
80.47/80.59	c 62.3s |       8 |   928497 |     6536 |   295365      0 |        3 |        5
83.58/83.67	c 65.4s |       8 |   931667 |     6836 |   295365      0 |        3 |        5
87.29/87.36	c 69.1s |       8 |   931876 |     6936 |   295365      0 |        3 |        5
91.08/91.19	c 72.9s |       8 |   931980 |     7036 |   295365      0 |        3 |        5
94.28/94.35	c 76.1s |       8 |   932092 |     7136 |   295365      0 |        3 |        5
97.48/97.54	c 79.3s |       8 |   933500 |     7436 |   324902      0 |        3 |        5
98.28/98.39	c 80.1s |       9 |   933633 |     7506 |   324902      0 |        3 |        5
101.58/101.68	c 83.4s |       9 |  1017493 |     7706 |   324902      0 |        3 |        5
103.78/103.83	c 85.5s |       9 |  1020440 |     8106 |   324902      0 |        3 |        5
106.27/106.34	c 88.1s |       9 |  1021450 |     8406 |   324902      0 |        3 |        5
109.47/109.51	c 91.2s |       9 |  1021805 |     8606 |   324902      0 |        3 |        5
111.97/112.04	c 93.8s |       9 |  1022208 |     8806 |   324902      0 |        3 |        5
114.68/114.80	c 96.5s |       9 |  1022737 |     9106 |   324902      0 |        3 |        5
117.17/117.24	c 99.0s |       9 |  1023053 |     9306 |   324902      0 |        3 |        5
119.87/119.94	c  101s |       9 |  1023386 |     9506 |   324902      0 |        3 |        5
122.17/122.28	c  103s |       9 |  1024661 |    10106 |   324902      0 |        3 |        5
124.37/124.41	c  106s |       9 |  1025536 |    10406 |   324902      0 |        3 |        5
126.57/126.60	c  108s |       9 |  1025923 |    10606 |   324902      0 |        3 |        5
128.57/128.61	c  110s |       9 |  1030795 |    10906 |   324902      0 |        3 |        5
131.07/131.11	c  112s |      10 |  1038504 |    11361 |   357393      0 |        3 |        5
133.27/133.31	c  115s |      10 |  1122734 |    11461 |   357393      0 |        3 |        5
135.67/135.80	c  117s |      10 |  1123081 |    11561 |   357393      0 |        3 |        5
138.07/138.13	c  119s |      10 |  1125140 |    11761 |   357393      0 |        3 |        5
141.37/141.43	c  123s |      10 |  1125450 |    11961 |   357393      0 |        3 |        5
144.07/144.14	c  125s |      10 |  1125940 |    12161 |   357393      0 |        3 |        5
146.27/146.33	c  128s |      10 |  1126500 |    12361 |   357393      0 |        3 |        5
148.57/148.60	c  130s |      10 |  1129376 |    12861 |   357393      0 |        3 |        5
151.56/151.61	c  133s |      10 |  1135316 |    13561 |   357393      0 |        3 |        5
153.96/154.02	c  135s |      10 |  1136757 |    13761 |   357393      0 |        3 |        5
156.26/156.31	c  138s |      10 |  1139008 |    13961 |   357393      0 |        3 |        5
158.46/158.59	c  140s |      10 |  1141552 |    14161 |   357393      0 |        3 |        5
161.16/161.23	c  142s |      10 |  1142709 |    14361 |   357393      0 |        3 |        5
163.66/163.75	c  145s |      10 |  1143125 |    14461 |   357393      0 |        3 |        5
166.76/166.88	c  148s |      10 |  1143597 |    14661 |   357393      0 |        3 |        5
170.26/170.31	c  152s |      10 |  1144306 |    14861 |   357393      0 |        3 |        5
172.26/172.37	c  154s |      10 |  1145166 |    15161 |   357393      0 |        3 |        5
174.76/174.82	c  156s |      10 |  1147280 |    16361 |   357393      0 |        3 |        5
177.06/177.13	c  158s |      10 |  1148041 |    16761 |   357393      0 |        3 |        5
179.06/179.19	c  160s |      11 |  1148729 |    17144 |   393133      0 |        3 |        5
181.66/181.70	c  163s |      11 |  1233584 |    17644 |   393133      0 |        3 |        5
184.96/185.06	c  166s |      11 |  1235208 |    18244 |   393133      0 |        3 |        5
187.06/187.14	c  168s |      11 |  1235805 |    18544 |   393133      0 |        3 |        5
190.26/190.30	c  172s |      11 |  1236489 |    18844 |   393133      0 |        3 |        5
192.56/192.67	c  174s |      11 |  1237150 |    19144 |   393133      0 |        3 |        5
195.66/195.76	c  177s |      11 |  1237713 |    19444 |   393133      0 |        3 |        5
198.06/198.16	c  179s |      11 |  1238178 |    19644 |   393133      0 |        3 |        5
200.16/200.29	c  182s |      11 |  1239620 |    20444 |   393133      0 |        3 |        5
202.26/202.36	c  184s |      11 |  1242341 |    20644 |   393133      0 |        3 |        5
204.46/204.50	c  186s |      11 |  1251221 |    21144 |   393133      0 |        3 |        5
206.75/206.81	c  188s |      11 |  1255200 |    21444 |   393133      0 |        3 |        5
208.75/208.89	c  190s |      11 |  1263529 |    21944 |   393133      0 |        3 |        5
210.95/211.02	c  192s |      11 |  1272772 |    22444 |   393133      0 |        3 |        5
213.15/213.20	c  194s |      11 |  1281869 |    22944 |   393133      0 |        3 |        5
215.55/215.64	c  197s |      11 |  1283804 |    23144 |   393133      0 |        3 |        5
217.65/217.71	c  199s |      11 |  1291709 |    23644 |   393133      0 |        3 |        5
220.45/220.51	c  202s |      11 |  1297499 |    24044 |   393133      0 |        3 |        5
222.85/222.99	c  204s |      11 |  1303321 |    24344 |   393133      0 |        3 |        5
225.05/225.10	c  206s |      11 |  1309007 |    24644 |   393133      0 |        3 |        5
227.05/227.13	c  208s |      11 |  1315110 |    24944 |   393133      0 |        3 |        5
229.65/229.71	c  211s |      11 |  1321795 |    25344 |   393133      0 |        3 |        5
231.65/231.75	c  213s |      11 |  1326772 |    25644 |   432447      0 |        3 |        5
232.86/232.93	c  214s |      12 |  1329214 |    25819 |   432447      0 |        3 |        5
235.56/235.60	c  217s |      12 |  1413270 |    25919 |   432447      0 |        3 |        5
237.56/237.64	c  219s |      12 |  1413459 |    26019 |   432447      0 |        3 |        5
240.36/240.44	c  222s |      12 |  1414026 |    26219 |   432447      0 |        3 |        5
242.76/242.88	c  224s |      12 |  1414364 |    26419 |   432447      0 |        3 |        5
246.06/246.12	c  227s |      12 |  1414777 |    26619 |   432447      0 |        3 |        5
248.66/248.74	c  230s |      12 |  1415304 |    26819 |   432447      0 |        3 |        5
250.85/250.91	c  232s |      12 |  1417447 |    27419 |   432447      0 |        3 |        5
253.36/253.44	c  235s |      12 |  1418886 |    27819 |   432447      0 |        3 |        5
256.15/256.22	c  237s |      12 |  1419662 |    28019 |   432447      0 |        3 |        5
258.35/258.42	c  240s |      12 |  1420123 |    28119 |   432447      0 |        3 |        5
262.05/262.11	c  243s |      12 |  1420499 |    28219 |   432447      0 |        3 |        5
264.45/264.55	c  246s |      12 |  1421013 |    28319 |   432447      0 |        3 |        5
267.04/267.17	c  248s |      12 |  1422536 |    28619 |   432447      0 |        3 |        5
269.94/270.01	c  251s |      12 |  1423209 |    28819 |   432447      0 |        3 |        5
273.44/273.54	c  255s |      12 |  1470598 |    29019 |   432447      0 |        3 |        5
275.74/275.83	c  257s |      12 |  1471591 |    29219 |   432447      0 |        3 |        5
278.56/278.66	c  260s |      12 |  1475739 |    29519 |   432447      0 |        3 |        5
280.86/280.94	c  262s |      12 |  1476975 |    29719 |   432447      0 |        3 |        5
283.15/283.28	c  264s |      12 |  1479590 |    30019 |   432447      0 |        3 |        5
285.65/285.77	c  267s |      12 |  1480582 |    30219 |   432447      0 |        3 |        5
288.35/288.49	c  270s |      12 |  1484239 |    30519 |   432447      0 |        3 |        5
290.54/290.61	c  272s |      12 |  1488991 |    30919 |   432447      0 |        3 |        5
293.75/293.89	c  275s |      12 |  1492358 |    31319 |   432447      0 |        3 |        5
296.95/297.03	c  278s |      12 |  1492910 |    31519 |   432447      0 |        3 |        5
299.15/299.23	c  280s |      12 |  1494659 |    31819 |   432447      0 |        3 |        5
301.65/301.78	c  283s |      12 |  1495968 |    32019 |   432447      0 |        3 |        5
304.64/304.71	c  286s |      12 |  1496732 |    32319 |   432447      0 |        3 |        5
307.64/307.79	c  289s |      12 |  1497286 |    32519 |   432447      0 |        3 |        5
310.34/310.40	c  292s |      12 |  1497715 |    32719 |   432447      0 |        3 |        5
313.14/313.23	c  294s |      12 |  1498150 |    32919 |   432447      0 |        3 |        5
316.54/316.67	c  298s |      12 |  1498969 |    33219 |   432447      0 |        3 |        5
318.94/319.00	c  300s |      12 |  1499693 |    33419 |   432447      0 |        3 |        5
322.14/322.27	c  303s |      12 |  1500215 |    33619 |   432447      0 |        3 |        5
325.64/325.74	c  307s |      12 |  1500872 |    33819 |   432447      0 |        3 |        5
328.64/328.74	c  310s |      12 |  1501600 |    34019 |   432447      0 |        3 |        5
331.45/331.57	c  313s |      12 |  1502374 |    34219 |   432447      0 |        3 |        5
333.94/334.05	c  315s |      12 |  1502871 |    34319 |   432447      0 |        3 |        5
336.04/336.16	c  317s |      12 |  1503908 |    34619 |   432447      0 |        3 |        5
338.34/338.42	c  320s |      12 |  1506908 |    35319 |   432447      0 |        3 |        5
340.34/340.44	c  322s |      12 |  1509378 |    36019 |   432447      0 |        3 |        5
342.54/342.62	c  324s |      12 |  1511050 |    37019 |   432447      0 |        3 |        5
344.84/344.93	c  326s |      12 |  1585800 |    37719 |   432447      0 |        3 |        5
347.54/347.60	c  329s |      12 |  1586575 |    38019 |   432447      0 |        3 |        5
349.73/349.81	c  331s |      12 |  1586890 |    38219 |   432447      0 |        3 |        5
351.93/352.01	c  333s |      12 |  1587843 |    38519 |   475692      0 |        3 |        5
353.84/353.98	c  335s |      13 |  1589680 |    38832 |   475692      0 |        3 |        5
356.84/356.96	c  338s |      13 |  1673563 |    38932 |   475692      0 |        3 |        5
358.84/358.98	c  340s |      13 |  1674270 |    39232 |   475692      0 |        3 |        5
361.34/361.49	c  343s |      13 |  1675677 |    39632 |   475692      0 |        3 |        5
363.44/363.56	c  345s |      13 |  1677029 |    39932 |   475692      0 |        3 |        5
365.54/365.68	c  347s |      13 |  1678947 |    40532 |   475692      0 |        3 |        5
368.34/368.49	c  350s |      13 |  1740682 |    41132 |   475692      0 |        3 |        5
370.44/370.59	c  352s |      13 |  1742517 |    41932 |   475692      0 |        3 |        5
372.54/372.69	c  354s |      13 |  1749935 |    42832 |   475692      0 |        3 |        5
376.03/376.14	c  357s |      13 |  1751389 |    43232 |   475692      0 |        3 |        5
378.23/378.34	c  360s |      13 |  1811621 |    43632 |   475692      0 |        3 |        5
380.33/380.46	c  362s |      13 |  1812362 |    44132 |   475692      0 |        3 |        5
382.63/382.72	c  364s |      13 |  1812791 |    44432 |   475692      0 |        3 |        5
384.93/385.03	c  366s |      13 |  1814965 |    44932 |   475692      0 |        3 |        5
387.13/387.25	c  368s |      13 |  1876467 |    45332 |   475692      0 |        3 |        5
389.63/389.80	c  371s |      13 |  1876890 |    45532 |   475692      0 |        3 |        5
393.33/393.40	c  375s |      13 |  1877736 |    45732 |   475692      0 |        3 |        5
396.23/396.33	c  378s |      13 |  1878479 |    45932 |   475692      0 |        3 |        5
398.43/398.57	c  380s |      13 |  1881600 |    46432 |   475692      0 |        3 |        5
401.13/401.23	c  382s |      13 |  1882612 |    46832 |   475692      0 |        3 |        5
404.32/404.49	c  386s |      13 |  1884944 |    47032 |   475692      0 |        3 |        5
406.42/406.51	c  388s |      13 |  1888415 |    47332 |   475692      0 |        3 |        5
409.92/410.09	c  391s |      13 |  1890611 |    47532 |   475692      0 |        3 |        5
412.32/412.42	c  394s |      13 |  1892293 |    47632 |   475692      0 |        3 |        5
414.83/414.92	c  396s |      13 |  1893405 |    47732 |   475692      0 |        3 |        5
418.03/418.18	c  399s |      13 |  1895292 |    47832 |   475692      0 |        3 |        5
420.83/420.95	c  402s |      13 |  1896795 |    47932 |   475692      0 |        3 |        5
423.03/423.19	c  404s |      13 |  1897895 |    48032 |   475692      0 |        3 |        5
427.03/427.19	c  408s |      13 |  1898460 |    48232 |   475692      0 |        3 |        5
429.43/429.51	c  411s |      13 |  1898884 |    48332 |   475692      0 |        3 |        5
432.13/432.21	c  413s |      13 |  1901854 |    48632 |   475692      0 |        3 |        5
434.62/434.72	c  416s |      13 |  1906069 |    48932 |   475692      0 |        3 |        5
437.22/437.36	c  419s |      13 |  1910029 |    49232 |   475692      0 |        3 |        5
439.82/439.90	c  421s |      13 |  1915765 |    49532 |   475692      0 |        3 |        5
442.42/442.51	c  424s |      13 |  1920127 |    49832 |   475692      0 |        3 |        5
445.22/445.31	c  427s |      13 |  1924331 |    50132 |   475692      0 |        3 |        5
447.93/448.07	c  429s |      13 |  1924572 |    50232 |   475692      0 |        3 |        5
450.42/450.58	c  432s |      13 |  1924798 |    50332 |   475692      0 |        3 |        5
452.52/452.64	c  434s |      13 |  1925028 |    50432 |   475692      0 |        3 |        5
456.72/456.89	c  438s |      13 |  1925619 |    50832 |   475692      0 |        3 |        5
459.11/459.28	c  440s |      13 |  1925983 |    50932 |   475692      0 |        3 |        5
462.92/463.01	c  444s |      13 |  1972117 |    51132 |   475692      0 |        3 |        5
465.82/465.98	c  447s |      13 |  1972517 |    51332 |   475692      0 |        3 |        5
468.51/468.69	c  450s |      13 |  1974368 |    52032 |   475692      0 |        3 |        5
470.81/470.90	c  452s |      13 |  1975804 |    52232 |   475692      0 |        3 |        5
473.23/473.33	c  455s |      13 |  1977395 |    52432 |   475692      0 |        3 |        5
475.82/475.92	c  457s |      13 |  1979993 |    52732 |   475692      0 |        3 |        5
478.62/478.78	c  460s |      13 |  2041779 |    52932 |   475692      0 |        3 |        5
480.82/480.91	c  462s |      13 |  2089214 |    53132 |   475692      0 |        3 |        5
483.02/483.16	c  464s |      13 |  2095361 |    53732 |   475692      0 |        3 |        5
485.01/485.16	c  466s |      13 |  2102514 |    54232 |   475692      0 |        3 |        5
487.21/487.36	c  469s |      13 |  2110876 |    54832 |   475692      0 |        3 |        5
489.72/489.86	c  471s |      13 |  2116524 |    55232 |   475692      0 |        3 |        5
491.92/492.06	c  473s |      13 |  2117314 |    55532 |   475692      0 |        3 |        5
494.41/494.59	c  476s |      13 |  2117653 |    55732 |   475692      0 |        3 |        5
496.71/496.85	c  478s |      13 |  2117871 |    55932 |   475692      0 |        3 |        5
498.81/498.91	c  480s |      13 |  2118150 |    56132 |   475692      0 |        3 |        5
502.81/502.92	c  484s |      13 |  2118584 |    56332 |   475692      0 |        3 |        5
504.91/505.04	c  486s |      13 |  2118766 |    56432 |   475692      0 |        3 |        5
509.11/509.23	c  490s |      13 |  2178960 |    56632 |   475692      0 |        3 |        5
513.81/513.97	c  495s |      13 |  2179479 |    56832 |   475692      0 |        3 |        5
516.71/516.83	c  498s |      13 |  2179989 |    57032 |   475692      0 |        3 |        5
519.52/519.69	c  501s |      13 |  2181209 |    57632 |   475692      0 |        3 |        5
522.41/522.57	c  504s |      13 |  2226710 |    57732 |   523262      0 |        3 |        5
525.71/525.86	c  507s |      13 |  2227780 |    58032 |   523262      0 |        3 |        5
527.91/528.01	c  509s |      13 |  2228163 |    58132 |   523262      0 |        3 |        5
530.71/530.84	c  512s |      13 |  2228925 |    58332 |   523262      0 |        3 |        5
531.01/531.16	c  512s |      14 |  2229019 |    58352 |   523262      0 |        3 |        5
535.01/535.13	c  516s |      14 |  2312848 |    58452 |   523262      0 |        3 |        5
539.51/539.70	c  521s |      14 |  2313326 |    58652 |   523262      0 |        3 |        5
542.01/542.17	c  523s |      14 |  2360725 |    58752 |   523262      0 |        3 |        5
544.21/544.38	c  526s |      14 |  2362728 |    58952 |   523262      0 |        3 |        5
546.20/546.39	c  528s |      14 |  2364947 |    59352 |   523262      0 |        3 |        5
549.11/549.21	c  530s |      14 |  2411957 |    59652 |   523262      0 |        3 |        5
551.91/552.02	c  533s |      14 |  2412272 |    59952 |   523262      0 |        3 |        5
554.50/554.69	c  536s |      14 |  2472241 |    60052 |   523262      0 |        3 |        5
558.60/558.70	c  540s |      14 |  2472859 |    60252 |   523262      0 |        3 |        5
560.60/560.77	c  542s |      14 |  2475791 |    60752 |   523262      0 |        3 |        5
562.90/563.04	c  544s |      14 |  2480424 |    61452 |   523262      0 |        3 |        5
565.91/566.08	c  547s |      14 |  2481690 |    61652 |   523262      0 |        3 |        5
569.21/569.31	c  551s |      14 |  2527773 |    61852 |   523262      0 |        3 |        5
573.00/573.10	c  554s |      14 |  2528336 |    62052 |   523262      0 |        3 |        5
575.20/575.36	c  557s |      14 |  2528816 |    62152 |   523262      0 |        3 |        5
577.50/577.66	c  559s |      14 |  2529158 |    62352 |   523262      0 |        3 |        5
580.20/580.31	c  562s |      14 |  2530022 |    62652 |   523262      0 |        3 |        5
582.70/582.85	c  564s |      14 |  2530162 |    62752 |   523262      0 |        3 |        5
586.00/586.10	c  567s |      14 |  2530523 |    62852 |   523262      0 |        3 |        5
589.10/589.21	c  570s |      14 |  2531235 |    63052 |   523262      0 |        3 |        5
591.70/591.87	c  573s |      14 |  2577017 |    63152 |   523262      0 |        3 |        5
594.00/594.18	c  575s |      14 |  2577724 |    63452 |   523262      0 |        3 |        5
596.09/596.27	c  577s |      14 |  2578543 |    64052 |   523262      0 |        3 |        5
598.40/598.53	c  580s |      14 |  2579286 |    64552 |   523262      0 |        3 |        5
600.69/600.87	c  582s |      14 |  2579947 |    65052 |   523262      0 |        3 |        5
603.69/603.88	c  585s |      14 |  2580709 |    65452 |   523262      0 |        3 |        5
606.50/606.69	c  588s |      14 |  2581210 |    65752 |   523262      0 |        3 |        5
609.49/609.61	c  591s |      14 |  2631433 |    65952 |   523262      0 |        3 |        5
612.29/612.46	c  594s |      14 |  2634240 |    66752 |   523262      0 |        3 |        5
614.49/614.65	c  596s |      14 |  2635552 |    67052 |   523262      0 |        3 |        5
617.59/617.71	c  599s |      14 |  2636326 |    67252 |   523262      0 |        3 |        5
621.39/621.51	c  603s |      14 |  2637179 |    67452 |   523262      0 |        3 |        5
624.70/624.84	c  606s |      14 |  2637711 |    67652 |   523262      0 |        3 |        5
628.60/628.75	c  610s |      14 |  2638235 |    67852 |   523262      0 |        3 |        5
631.10/631.27	c  612s |      14 |  2638980 |    68052 |   523262      0 |        3 |        5
635.49/635.63	c  617s |      14 |  2639474 |    68252 |   523262      0 |        3 |        5
637.89/638.06	c  619s |      14 |  2639654 |    68352 |   523262      0 |        3 |        5
640.39/640.52	c  622s |      14 |  2639879 |    68452 |   523262      0 |        3 |        5
644.09/644.21	c  625s |      14 |  2640416 |    68652 |   523262      0 |        3 |        5
646.89/647.00	c  628s |      14 |  2640830 |    68852 |   523262      0 |        3 |        5
650.40/650.59	c  632s |      14 |  2641190 |    69052 |   523262      0 |        3 |        5
653.49/653.66	c  635s |      14 |  2641338 |    69152 |   523262      0 |        3 |        5
656.29/656.48	c  638s |      14 |  2641508 |    69252 |   523262      0 |        3 |        5
659.29/659.49	c  641s |      14 |  2641703 |    69352 |   523262      0 |        3 |        5
662.88/663.05	c  644s |      14 |  2641941 |    69452 |   523262      0 |        3 |        5
665.18/665.35	c  647s |      14 |  2642192 |    69552 |   523262      0 |        3 |        5
667.49/667.61	c  649s |      14 |  2642358 |    69652 |   523262      0 |        3 |        5
669.99/670.13	c  651s |      14 |  2642536 |    69752 |   523262      0 |        3 |        5
672.59/672.77	c  654s |      14 |  2642710 |    69852 |   523262      0 |        3 |        5
675.79/675.96	c  657s |      14 |  2643139 |    70052 |   523262      0 |        3 |        5
679.79/679.99	c  661s |      14 |  2643590 |    70252 |   523262      0 |        3 |        5
684.39/684.53	c  666s |      14 |  2644059 |    70452 |   523262      0 |        3 |        5
688.48/688.64	c  670s |      14 |  2644556 |    70652 |   523262      0 |        3 |        5
691.78/691.93	c  673s |      14 |  2644950 |    70852 |   523262      0 |        3 |        5
694.68/694.85	c  676s |      14 |  2645328 |    71052 |   523262      0 |        3 |        5
697.08/697.26	c  678s |      14 |  2645699 |    71252 |   523262      0 |        3 |        5
701.08/701.24	c  682s |      14 |  2646444 |    71452 |   523262      0 |        3 |        5
703.18/703.36	c  685s |      14 |  2646775 |    71552 |   523262      0 |        3 |        5
705.18/705.39	c  687s |      14 |  2647018 |    71652 |   523262      0 |        3 |        5
710.18/710.32	c  692s |      14 |  2647515 |    71852 |   523262      0 |        3 |        5
714.09/714.28	c  695s |      14 |  2647821 |    71952 |   523262      0 |        3 |        5
719.18/719.33	c  701s |      14 |  2648006 |    72052 |   523262      0 |        3 |        5
721.28/721.46	c  703s |      14 |  2694320 |    72152 |   523262      0 |        3 |        5
723.38/723.56	c  705s |      14 |  2694968 |    72652 |   523262      0 |        3 |        5
726.38/726.59	c  708s |      14 |  2696455 |    73252 |   523262      0 |        3 |        5
728.78/728.92	c  710s |      14 |  2697058 |    73452 |   523262      0 |        3 |        5
732.78/733.00	c  714s |      14 |  2757506 |    73752 |   523262      0 |        3 |        5
736.98/737.19	c  718s |      14 |  2757985 |    74052 |   523262      0 |        3 |        5
739.87/740.05	c  721s |      14 |  2758276 |    74152 |   523262      0 |        3 |        5
742.08/742.21	c  723s |      14 |  2758467 |    74252 |   523262      0 |        3 |        5
744.07/744.27	c  725s |      14 |  2758674 |    74352 |   523262      0 |        3 |        5
746.37/746.50	c  728s |      14 |  2759414 |    74752 |   523262      0 |        3 |        5
750.38/750.53	c  732s |      14 |  2820281 |    75052 |   523262      0 |        3 |        5
753.97/754.14	c  735s |      14 |  2929524 |    75152 |   523262      0 |        3 |        5
756.28/756.47	c  738s |      14 |  2929782 |    75252 |   523262      0 |        3 |        5
758.48/758.60	c  740s |      14 |  2929969 |    75352 |   523262      0 |        3 |        5
762.08/762.22	c  743s |      14 |  2930260 |    75452 |   523262      0 |        3 |        5
764.78/764.99	c  746s |      14 |  2930786 |    75652 |   523262      0 |        3 |        5
767.27/767.48	c  749s |      14 |  2930943 |    75752 |   523262      0 |        3 |        5
769.77/769.95	c  751s |      14 |  2931203 |    75852 |   523262      0 |        3 |        5
772.17/772.38	c  754s |      14 |  2931451 |    75952 |   523262      0 |        3 |        5
776.07/776.27	c  757s |      14 |  2931958 |    76152 |   523262      0 |        3 |        5
779.37/779.58	c  761s |      14 |  2932209 |    76252 |   523262      0 |        3 |        5
782.28/782.41	c  764s |      14 |  2932481 |    76352 |   523262      0 |        3 |        5
785.37/785.51	c  767s |      14 |  2932761 |    76452 |   523262      0 |        3 |        5
788.57/788.71	c  770s |      14 |  2932951 |    76552 |   523262      0 |        3 |        5
792.17/792.33	c  774s |      14 |  2933208 |    76652 |   523262      0 |        3 |        5
796.16/796.35	c  778s |      14 |  2933415 |    76752 |   523262      0 |        3 |        5
799.76/799.98	c  781s |      14 |  2933589 |    76852 |   523262      0 |        3 |        5
803.66/803.86	c  785s |      14 |  2934019 |    76952 |   523262      0 |        3 |        5
808.07/808.21	c  789s |      14 |  2934365 |    77152 |   523262      0 |        3 |        5
810.17/810.35	c  792s |      14 |  2983972 |    77252 |   523262      0 |        3 |        5
813.87/814.00	c  795s |      14 |  2984118 |    77352 |   523262      0 |        3 |        5
816.76/816.99	c  798s |      14 |  2984365 |    77452 |   523262      0 |        3 |        5
819.46/819.69	c  801s |      14 |  3029854 |    77552 |   523262      0 |        3 |        5
825.17/825.40	c  807s |      14 |  3092428 |    77752 |   523262      0 |        3 |        5
829.36/829.57	c  811s |      14 |  3092549 |    77852 |   523262      0 |        3 |        5
833.07/833.27	c  814s |      14 |  3092701 |    77952 |   523262      0 |        3 |        5
835.66/835.83	c  817s |      14 |  3093048 |    78152 |   523262      0 |        3 |        5
840.56/840.74	c  822s |      14 |  3112642 |    78352 |   523262      0 |        3 |        5
844.86/845.02	c  826s |      14 |  3112787 |    78452 |   523262      0 |        3 |        5
846.96/847.15	c  828s |      14 |  3114282 |    78852 |   523262      0 |        3 |        5
849.66/849.84	c  831s |      14 |  3114540 |    79052 |   523262      0 |        3 |        5
853.56/853.74	c  835s |      14 |  3114992 |    79252 |   523262      0 |        3 |        5
857.06/857.21	c  838s |      14 |  3115384 |    79452 |   523262      0 |        3 |        5
860.85/861.07	c  842s |      14 |  3115896 |    79652 |   523262      0 |        3 |        5
864.65/864.84	c  846s |      14 |  3116400 |    79852 |   523262      0 |        3 |        5
866.75/866.94	c  848s |      14 |  3116645 |    79952 |   523262      0 |        3 |        5
869.86/870.00	c  851s |      14 |  3116998 |    80152 |   523262      0 |        3 |        5
873.06/873.23	c  854s |      14 |  3117433 |    80352 |   523262      0 |        3 |        5
875.76/875.94	c  857s |      14 |  3117883 |    80552 |   523262      0 |        3 |        5
879.16/879.33	c  861s |      14 |  3118276 |    80752 |   523262      0 |        3 |        5
881.45/881.60	c  863s |      14 |  3118525 |    80852 |   523262      0 |        3 |        5
883.56/883.74	c  865s |      14 |  3118778 |    80952 |   523262      0 |        3 |        5
885.86/886.09	c  867s |      14 |  3118967 |    81052 |   523262      0 |        3 |        5
888.85/889.08	c  870s |      14 |  3119155 |    81152 |   523262      0 |        3 |        5
892.85/893.08	c  874s |      14 |  3119568 |    81352 |   523262      0 |        3 |        5
897.05/897.20	c  878s |      14 |  3120007 |    81552 |   523262      0 |        3 |        5
899.45/899.68	c  881s |      14 |  3120222 |    81652 |   523262      0 |        3 |        5
902.15/902.32	c  884s |      14 |  3120485 |    81752 |   523262      0 |        3 |        5
904.75/904.99	c  886s |      14 |  3120707 |    81852 |   523262      0 |        3 |        5
907.35/907.56	c  889s |      14 |  3121117 |    82052 |   523262      0 |        3 |        5
909.65/909.89	c  891s |      14 |  3121247 |    82152 |   523262      0 |        3 |        5
912.25/912.41	c  894s |      14 |  3121386 |    82252 |   523262      0 |        3 |        5
915.25/915.48	c  897s |      14 |  3121514 |    82352 |   523262      0 |        3 |        5
917.84/918.02	c  899s |      14 |  3121640 |    82452 |   523262      0 |        3 |        5
922.35/922.57	c  904s |      14 |  3121950 |    82652 |   523262      0 |        3 |        5
924.45/924.65	c  906s |      14 |  3122212 |    82752 |   523262      0 |        3 |        5
928.56/928.80	c  910s |      14 |  3122564 |    82952 |   523262      0 |        3 |        5
931.25/931.46	c  913s |      14 |  3122779 |    83052 |   523262      0 |        3 |        5
934.94/935.19	c  916s |      14 |  3123103 |    83252 |   523262      0 |        3 |        5
938.25/938.42	c  920s |      14 |  3123271 |    83352 |   523262      0 |        3 |        5
940.45/940.67	c  922s |      14 |  3123441 |    83452 |   523262      0 |        3 |        5
943.85/944.02	c  925s |      14 |  3123583 |    83552 |   523262      0 |        3 |        5
946.94/947.19	c  928s |      14 |  3123733 |    83652 |   523262      0 |        3 |        5
950.55/950.73	c  932s |      14 |  3123859 |    83752 |   523262      0 |        3 |        5
953.54/953.71	c  935s |      14 |  3124034 |    83852 |   523262      0 |        3 |        5
956.05/956.26	c  937s |      14 |  3124146 |    83952 |   523262      0 |        3 |        5
959.54/959.76	c  941s |      14 |  3124299 |    84052 |   523262      0 |        3 |        5
962.75/962.99	c  944s |      14 |  3124413 |    84152 |   523262      0 |        3 |        5
965.54/965.77	c  947s |      14 |  3124861 |    84352 |   523262      0 |        3 |        5
968.94/969.14	c  950s |      14 |  3125234 |    84552 |   523262      0 |        3 |        5
971.94/972.19	c  953s |      14 |  3125852 |    84752 |   523262      0 |        3 |        5
975.44/975.65	c  957s |      14 |  3126434 |    84952 |   523262      0 |        3 |        5
978.74/978.93	c  960s |      14 |  3127116 |    85152 |   523262      0 |        3 |        5
980.74/980.96	c  962s |      14 |  3127286 |    85252 |   523262      0 |        3 |        5
983.04/983.24	c  964s |      14 |  3128059 |    85652 |   523262      0 |        3 |        5
985.04/985.25	c  966s |      14 |  3129546 |    86652 |   523262      0 |        3 |        5
987.54/987.70	c  969s |      14 |  3130272 |    86852 |   575589      0 |        3 |        5
989.54/989.78	c  971s |      14 |  3130915 |    87052 |   575589      0 |        3 |        5
992.44/992.64	c  974s |      14 |  3131479 |    87252 |   575589      0 |        3 |        5
994.73/994.96	c  976s |      14 |  3131806 |    87352 |   575589      0 |        3 |        5
998.53/998.71	c  980s |      14 |  3132279 |    87552 |   575589      0 |        3 |        5
999.93/1000.19	c  981s |      15 |  3132403 |    87632 |   575589      0 |        3 |        5
1005.23/1005.45	c  987s |      15 |  3216229 |    87732 |   575589      0 |        3 |        5
1008.04/1008.20	c  989s |      15 |  3216475 |    87832 |   575589      0 |        3 |        5
1010.44/1010.61	c  992s |      15 |  3216665 |    87932 |   575589      0 |        3 |        5
1012.73/1012.99	c  994s |      15 |  3223878 |    88032 |   575589      0 |        3 |        5
1015.54/1015.74	c  997s |      15 |  3224475 |    88232 |   575589      0 |        3 |        5
1018.74/1018.96	c 1000s |      15 |  3225166 |    88432 |   575589      0 |        3 |        5
1021.23/1021.43	c 1003s |      15 |  3225525 |    88632 |   575589      0 |        3 |        5
1024.73/1024.96	c 1006s |      15 |  3225991 |    88832 |   575589      0 |        3 |        5
1026.83/1027.04	c 1008s |      15 |  3226266 |    88932 |   575589      0 |        3 |        5
1029.84/1030.01	c 1011s |      15 |  3226776 |    89132 |   575589      0 |        3 |        5
1032.63/1032.88	c 1014s |      15 |  3227127 |    89332 |   575589      0 |        3 |        5
1036.14/1036.32	c 1018s |      15 |  3227462 |    89532 |   575589      0 |        3 |        5
1038.23/1038.44	c 1020s |      15 |  3227839 |    89632 |   575589      0 |        3 |        5
1041.53/1041.78	c 1023s |      15 |  3228182 |    89832 |   575589      0 |        3 |        5
1043.63/1043.83	c 1025s |      15 |  3228612 |    90032 |   575589      0 |        3 |        5
1046.13/1046.36	c 1028s |      15 |  3229629 |    90732 |   575589      0 |        3 |        5
1048.23/1048.49	c 1030s |      15 |  3230252 |    91132 |   575589      0 |        3 |        5
1050.83/1051.02	c 1032s |      15 |  3230965 |    91632 |   575589      0 |        3 |        5
1053.03/1053.29	c 1035s |      15 |  3231529 |    92032 |   575589      0 |        3 |        5
1055.53/1055.77	c 1037s |      15 |  3231995 |    92332 |   575589      0 |        3 |        5
1057.83/1058.03	c 1039s |      15 |  3232640 |    92732 |   575589      0 |        3 |        5
1060.13/1060.36	c 1042s |      15 |  3233280 |    93132 |   575589      0 |        3 |        5
1062.42/1062.63	c 1044s |      15 |  3234058 |    93632 |   575589      0 |        3 |        5
1064.93/1065.18	c 1046s |      15 |  3234553 |    93932 |   575589      0 |        3 |        5
1067.93/1068.13	c 1049s |      15 |  3234922 |    94132 |   575589      0 |        3 |        5
1070.03/1070.23	c 1051s |      15 |  3235310 |    94332 |   575589      0 |        3 |        5
1072.52/1072.74	c 1054s |      15 |  3235898 |    94632 |   575589      0 |        3 |        5
1074.52/1074.77	c 1056s |      15 |  3236337 |    94832 |   575589      0 |        3 |        5
1076.63/1076.89	c 1058s |      15 |  3236678 |    95032 |   575589      0 |        3 |        5
1079.23/1079.44	c 1061s |      15 |  3237328 |    95432 |   575589      0 |        3 |        5
1082.22/1082.47	c 1064s |      15 |  3237851 |    95732 |   575589      0 |        3 |        5
1084.43/1084.67	c 1066s |      15 |  3238167 |    95932 |   575589      0 |        3 |        5
1087.62/1087.80	c 1069s |      15 |  3238570 |    96232 |   575589      0 |        3 |        5
1090.53/1090.76	c 1072s |      15 |  3238941 |    96432 |   575589      0 |        3 |        5
1093.12/1093.33	c 1075s |      15 |  3239327 |    96632 |   575589      0 |        3 |        5
1095.63/1095.89	c 1077s |      15 |  3239647 |    96832 |   575589      0 |        3 |        5
1097.93/1098.12	c 1079s |      15 |  3240105 |    97132 |   575589      0 |        3 |        5
1100.32/1100.54	c 1082s |      15 |  3240391 |    97332 |   575589      0 |        3 |        5
1102.52/1102.76	c 1084s |      15 |  3240753 |    97532 |   575589      0 |        3 |        5
1104.63/1104.86	c 1086s |      15 |  3241047 |    97732 |   575589      0 |        3 |        5
1107.12/1107.37	c 1089s |      15 |  3241491 |    98032 |   575589      0 |        3 |        5
1109.42/1109.69	c 1091s |      15 |  3241818 |    98232 |   575589      0 |        3 |        5
1111.72/1111.96	c 1093s |      15 |  3242111 |    98432 |   575589      0 |        3 |        5
1115.02/1115.25	c 1096s |      15 |  3242532 |    98732 |   575589      0 |        3 |        5
1117.83/1118.02	c 1099s |      15 |  3242804 |    98932 |   575589      0 |        3 |        5
1120.61/1120.89	c 1102s |      15 |  3243369 |    99232 |   575589      0 |        3 |        5
1123.22/1123.46	c 1105s |      15 |  3243889 |    99532 |   575589      0 |        3 |        5
1125.81/1126.02	c 1107s |      15 |  3244288 |    99732 |   575589      0 |        3 |        5
1128.92/1129.11	c 1110s |      15 |  3244611 |    99932 |   575589      0 |        3 |        5
1132.12/1132.35	c 1114s |      15 |  3245125 |   100232 |   575589      0 |        3 |        5
1134.52/1134.73	c 1116s |      15 |  3245493 |   100432 |   575589      0 |        3 |        5
1136.53/1136.78	c 1118s |      15 |  3245930 |   100632 |   575589      0 |        3 |        5
1138.51/1138.79	c 1120s |      15 |  3246246 |   100832 |   575589      0 |        3 |        5
1140.62/1140.86	c 1122s |      15 |  3246607 |   101032 |   575589      0 |        3 |        5
1143.72/1143.90	c 1125s |      15 |  3246974 |   101232 |   575589      0 |        3 |        5
1145.82/1146.05	c 1127s |      15 |  3247259 |   101332 |   575589      0 |        3 |        5
1147.81/1148.06	c 1129s |      15 |  3247495 |   101432 |   575589      0 |        3 |        5
1151.12/1151.35	c 1133s |      15 |  3247908 |   101632 |   575589      0 |        3 |        5
1153.81/1154.09	c 1135s |      15 |  3248459 |   101732 |   575589      0 |        3 |        5
1156.62/1156.81	c 1138s |      15 |  3248684 |   101832 |   575589      0 |        3 |        5
1159.41/1159.66	c 1141s |      15 |  3248844 |   101932 |   575589      0 |        3 |        5
1161.51/1161.72	c 1143s |      15 |  3249029 |   102032 |   575589      0 |        3 |        5
1163.81/1164.06	c 1145s |      15 |  3249507 |   102432 |   575589      0 |        3 |        5
1166.91/1167.19	c 1148s |      15 |  3249882 |   102732 |   575589      0 |        3 |        5
1169.72/1169.90	c 1151s |      15 |  3250168 |   102932 |   575589      0 |        3 |        5
1172.82/1173.04	c 1154s |      15 |  3250637 |   103132 |   575589      0 |        3 |        5
1176.71/1176.95	c 1158s |      15 |  3250986 |   103332 |   575589      0 |        3 |        5
1179.11/1179.32	c 1161s |      15 |  3251290 |   103532 |   575589      0 |        3 |        5
1181.31/1181.53	c 1163s |      15 |  3251477 |   103632 |   575589      0 |        3 |        5
1184.41/1184.60	c 1166s |      15 |  3251812 |   103832 |   575589      0 |        3 |        5
1189.71/1190.00	c 1171s |      15 |  3252311 |   104132 |   575589      0 |        3 |        5
1192.61/1192.85	c 1174s |      15 |  3252844 |   104432 |   575589      0 |        3 |        5
1196.31/1196.53	c 1178s |      15 |  3253272 |   104632 |   575589      0 |        3 |        5
1199.70/1199.94	c 1181s |      15 |  3253620 |   104832 |   575589      0 |        3 |        5
1204.01/1204.24	c 1185s |      15 |  3254076 |   105032 |   575589      0 |        3 |        5
1206.50/1206.78	c 1188s |      15 |  3254222 |   105132 |   575589      0 |        3 |        5
1209.20/1209.49	c 1191s |      15 |  3254386 |   105232 |   575589      0 |        3 |        5
1212.50/1212.78	c 1194s |      15 |  3254749 |   105432 |   575589      0 |        3 |        5
1216.21/1216.42	c 1198s |      15 |  3255121 |   105632 |   575589      0 |        3 |        5
1218.81/1219.07	c 1200s |      15 |  3255502 |   105832 |   575589      0 |        3 |        5
1221.60/1221.87	c 1203s |      15 |  3256036 |   106132 |   575589      0 |        3 |        5
1224.20/1224.40	c 1206s |      15 |  3256338 |   106332 |   575589      0 |        3 |        5
1226.31/1226.51	c 1208s |      15 |  3256645 |   106532 |   575589      0 |        3 |        5
1228.30/1228.55	c 1210s |      15 |  3256808 |   106632 |   575589      0 |        3 |        5
1230.30/1230.59	c 1212s |      15 |  3256957 |   106732 |   575589      0 |        3 |        5
1232.70/1232.90	c 1214s |      15 |  3257106 |   106832 |   575589      0 |        3 |        5
1235.70/1235.94	c 1217s |      15 |  3257421 |   107032 |   575589      0 |        3 |        5
1239.00/1239.29	c 1220s |      15 |  3257732 |   107232 |   575589      0 |        3 |        5
1242.50/1242.70	c 1224s |      15 |  3258110 |   107432 |   575589      0 |        3 |        5
1245.60/1245.84	c 1227s |      15 |  3258733 |   107632 |   575589      0 |        3 |        5
1248.71/1248.94	c 1230s |      15 |  3259054 |   107832 |   575589      0 |        3 |        5
1250.91/1251.14	c 1232s |      15 |  3259507 |   108132 |   575589      0 |        3 |        5
1253.10/1253.38	c 1235s |      15 |  3259919 |   108432 |   575589      0 |        3 |        5
1255.70/1255.98	c 1237s |      15 |  3260560 |   108632 |   575589      0 |        3 |        5
1258.10/1258.35	c 1240s |      15 |  3260787 |   108732 |   575589      0 |        3 |        5
1261.90/1262.15	c 1243s |      15 |  3261326 |   108932 |   575589      0 |        3 |        5
1265.30/1265.50	c 1247s |      15 |  3261662 |   109032 |   575589      0 |        3 |        5
1267.30/1267.51	c 1249s |      15 |  3261826 |   109132 |   575589      0 |        3 |        5
1269.99/1270.27	c 1251s |      15 |  3262461 |   109232 |   575589      0 |        3 |        5
1273.40/1273.61	c 1255s |      15 |  3262854 |   109432 |   575589      0 |        3 |        5
1277.00/1277.20	c 1258s |      15 |  3263214 |   109632 |   575589      0 |        3 |        5
1280.70/1280.90	c 1262s |      15 |  3263595 |   109832 |   575589      0 |        3 |        5
1284.19/1284.41	c 1266s |      15 |  3264014 |   110032 |   575589      0 |        3 |        5
1287.89/1288.19	c 1269s |      15 |  3264392 |   110232 |   575589      0 |        3 |        5
1292.19/1292.48	c 1274s |      15 |  3264675 |   110432 |   575589      0 |        3 |        5
1295.89/1296.13	c 1277s |      15 |  3264998 |   110632 |   575589      0 |        3 |        5
1298.49/1298.75	c 1280s |      15 |  3265208 |   110732 |   575589      0 |        3 |        5
1301.99/1302.26	c 1283s |      15 |  3265657 |   110932 |   575589      0 |        3 |        5
1304.09/1304.30	c 1286s |      15 |  3265870 |   111032 |   575589      0 |        3 |        5
1307.38/1307.68	c 1289s |      15 |  3266187 |   111232 |   575589      0 |        3 |        5
1311.29/1311.55	c 1293s |      15 |  3266685 |   111432 |   575589      0 |        3 |        5
1313.49/1313.79	c 1295s |      15 |  3267652 |   112032 |   575589      0 |        3 |        5
1315.69/1315.93	c 1297s |      15 |  3268321 |   112532 |   575589      0 |        3 |        5
1317.99/1318.27	c 1299s |      15 |  3269023 |   113032 |   575589      0 |        3 |        5
1320.39/1320.60	c 1302s |      15 |  3269734 |   113532 |   575589      0 |        3 |        5
1322.69/1322.91	c 1304s |      15 |  3270510 |   114032 |   575589      0 |        3 |        5
1324.88/1325.11	c 1306s |      15 |  3270938 |   114232 |   575589      0 |        3 |        5
1327.29/1327.57	c 1309s |      15 |  3271195 |   114332 |   575589      0 |        3 |        5
1329.49/1329.79	c 1311s |      15 |  3271399 |   114432 |   575589      0 |        3 |        5
1332.29/1332.54	c 1314s |      15 |  3317398 |   114832 |   575589      0 |        3 |        5
1334.88/1335.15	c 1316s |      15 |  3317821 |   114932 |   575589      0 |        3 |        5
1337.08/1337.38	c 1319s |      15 |  3318037 |   115032 |   575589      0 |        3 |        5
1339.08/1339.38	c 1321s |      15 |  3318336 |   115132 |   575589      0 |        3 |        5
1341.68/1341.92	c 1323s |      15 |  3318530 |   115232 |   575589      0 |        3 |        5
1344.18/1344.49	c 1326s |      15 |  3318743 |   115332 |   575589      0 |        3 |        5
1348.09/1348.30	c 1330s |      15 |  3319145 |   115532 |   575589      0 |        3 |        5
1352.78/1353.09	c 1334s |      15 |  3319456 |   115732 |   575589      0 |        3 |        5
1355.18/1355.40	c 1337s |      15 |  3319586 |   115832 |   575589      0 |        3 |        5
1357.28/1357.56	c 1339s |      15 |  3319797 |   115932 |   575589      0 |        3 |        5
1359.79/1360.01	c 1341s |      15 |  3320503 |   116132 |   575589      0 |        3 |        5
1363.18/1363.41	c 1345s |      15 |  3320926 |   116332 |   575589      0 |        3 |        5
1365.29/1365.51	c 1347s |      15 |  3321105 |   116432 |   575589      0 |        3 |        5
1368.98/1369.26	c 1350s |      15 |  3321382 |   116632 |   575589      0 |        3 |        5
1371.08/1371.34	c 1353s |      15 |  3321620 |   116732 |   575589      0 |        3 |        5
1373.27/1373.57	c 1355s |      15 |  3321932 |   116832 |   575589      0 |        3 |        5
1375.38/1375.63	c 1357s |      15 |  3322245 |   117032 |   575589      0 |        3 |        5
1378.57/1378.88	c 1360s |      15 |  3322593 |   117232 |   575589      0 |        3 |        5
1381.08/1381.36	c 1363s |      15 |  3329887 |   117332 |   575589      0 |        3 |        5
1383.88/1384.18	c 1365s |      15 |  3330495 |   117532 |   575589      0 |        3 |        5
1386.47/1386.78	c 1368s |      15 |  3331031 |   117732 |   575589      0 |        3 |        5
1389.48/1389.73	c 1371s |      15 |  3331519 |   117932 |   575589      0 |        3 |        5
1391.98/1392.25	c 1373s |      15 |  3332154 |   118432 |   575589      0 |        3 |        5
1394.48/1394.78	c 1376s |      15 |  3332882 |   118932 |   575589      0 |        3 |        5
1396.88/1397.18	c 1378s |      15 |  3333469 |   119332 |   575589      0 |        3 |        5
1399.48/1399.74	c 1381s |      15 |  3333852 |   119632 |   575589      0 |        3 |        5
1401.68/1401.94	c 1383s |      15 |  3334397 |   119732 |   575589      0 |        3 |        5
1403.78/1404.08	c 1385s |      15 |  3334632 |   119832 |   575589      0 |        3 |        5
1407.28/1407.51	c 1389s |      15 |  3335065 |   120032 |   575589      0 |        3 |        5
1410.18/1410.40	c 1392s |      15 |  3335485 |   120232 |   575589      0 |        3 |        5
1412.27/1412.52	c 1394s |      15 |  3336731 |   120632 |   575589      0 |        3 |        5
1415.37/1415.61	c 1397s |      15 |  3337102 |   120832 |   575589      0 |        3 |        5
1419.27/1419.57	c 1401s |      15 |  3337753 |   121032 |   575589      0 |        3 |        5
1421.48/1421.70	c 1403s |      15 |  3337945 |   121132 |   575589      0 |        3 |        5
1423.48/1423.74	c 1405s |      15 |  3338194 |   121232 |   575589      0 |        3 |        5
1425.97/1426.26	c 1407s |      15 |  3338538 |   121332 |   575589      0 |        3 |        5
1428.17/1428.41	c 1410s |      15 |  3338790 |   121432 |   575589      0 |        3 |        5
1430.37/1430.62	c 1412s |      15 |  3338964 |   121532 |   575589      0 |        3 |        5
1433.37/1433.63	c 1415s |      15 |  3339119 |   121632 |   575589      0 |        3 |        5
1435.47/1435.71	c 1417s |      15 |  3339572 |   121732 |   575589      0 |        3 |        5
1438.88/1439.16	c 1420s |      15 |  3339930 |   121832 |   575589      0 |        3 |        5
1441.47/1441.79	c 1423s |      15 |  3340099 |   121932 |   575589      0 |        3 |        5
1444.77/1445.07	c 1426s |      15 |  3340284 |   122032 |   575589      0 |        3 |        5
1447.57/1447.90	c 1429s |      15 |  3340531 |   122132 |   575589      0 |        3 |        5
1450.07/1450.38	c 1432s |      15 |  3340703 |   122232 |   575589      0 |        3 |        5
1452.86/1453.11	c 1434s |      15 |  3340984 |   122332 |   575589      0 |        3 |        5
1455.47/1455.74	c 1437s |      15 |  3341622 |   122532 |   575589      0 |        3 |        5
1458.77/1459.04	c 1440s |      15 |  3342187 |   122732 |   575589      0 |        3 |        5
1461.56/1461.88	c 1443s |      15 |  3342403 |   122832 |   575589      0 |        3 |        5
1464.17/1464.40	c 1446s |      15 |  3342633 |   122932 |   575589      0 |        3 |        5
1466.26/1466.52	c 1448s |      15 |  3342909 |   123032 |   575589      0 |        3 |        5
1468.37/1468.69	c 1450s |      15 |  3343059 |   123132 |   575589      0 |        3 |        5
1471.07/1471.38	c 1453s |      15 |  3343693 |   123332 |   575589      0 |        3 |        5
1475.27/1475.51	c 1457s |      15 |  3344070 |   123532 |   575589      0 |        3 |        5
1477.57/1477.81	c 1459s |      15 |  3344270 |   123632 |   575589      0 |        3 |        5
1481.06/1481.36	c 1463s |      15 |  3344801 |   123832 |   575589      0 |        3 |        5
1483.06/1483.37	c 1465s |      15 |  3345085 |   123932 |   575589      0 |        3 |        5
1485.16/1485.43	c 1467s |      15 |  3345362 |   124032 |   575589      0 |        3 |        5
1487.37/1487.63	c 1469s |      15 |  3345507 |   124132 |   575589      0 |        3 |        5
1490.26/1490.57	c 1472s |      15 |  3345761 |   124232 |   575589      0 |        3 |        5
1492.66/1492.95	c 1474s |      15 |  3346015 |   124332 |   575589      0 |        3 |        5
1495.66/1495.92	c 1477s |      15 |  3346383 |   124532 |   575589      0 |        3 |        5
1498.56/1498.88	c 1480s |      15 |  3347053 |   124732 |   575589      0 |        3 |        5
1501.36/1501.61	c 1483s |      15 |  3347587 |   124932 |   575589      0 |        3 |        5
1503.56/1503.87	c 1485s |      15 |  3347756 |   125032 |   575589      0 |        3 |        5
1505.75/1506.04	c 1487s |      15 |  3348039 |   125132 |   575589      0 |        3 |        5
1509.55/1509.87	c 1491s |      15 |  3348431 |   125332 |   575589      0 |        3 |        5
1513.36/1513.66	c 1495s |      15 |  3348867 |   125532 |   575589      0 |        3 |        5
1515.76/1516.01	c 1497s |      15 |  3349127 |   125632 |   575589      0 |        3 |        5
1518.06/1518.35	c 1500s |      15 |  3349334 |   125732 |   575589      0 |        3 |        5
1521.65/1521.96	c 1503s |      15 |  3349729 |   125932 |   575589      0 |        3 |        5
1524.66/1524.95	c 1506s |      15 |  3350077 |   126132 |   575589      0 |        3 |        5
1528.46/1528.73	c 1510s |      15 |  3350561 |   126332 |   575589      0 |        3 |        5
1532.15/1532.46	c 1514s |      15 |  3350949 |   126532 |   575589      0 |        3 |        5
1534.46/1534.71	c 1516s |      15 |  3351158 |   126632 |   575589      0 |        3 |        5
1536.46/1536.74	c 1518s |      15 |  3351431 |   126732 |   575589      0 |        3 |        5
1539.56/1539.85	c 1521s |      15 |  3351689 |   126832 |   575589      0 |        3 |        5
1541.95/1542.28	c 1523s |      15 |  3351841 |   126932 |   575589      0 |        3 |        5
1546.45/1546.73	c 1528s |      15 |  3352388 |   127132 |   575589      0 |        3 |        5
1548.55/1548.84	c 1530s |      15 |  3352568 |   127232 |   575589      0 |        3 |        5
1551.25/1551.58	c 1533s |      15 |  3352703 |   127332 |   575589      0 |        3 |        5
1553.56/1553.86	c 1535s |      15 |  3352997 |   127432 |   575589      0 |        3 |        5
1555.95/1556.20	c 1537s |      15 |  3353165 |   127532 |   575589      0 |        3 |        5
1559.05/1559.33	c 1541s |      15 |  3353358 |   127632 |   575589      0 |        3 |        5
1562.15/1562.44	c 1544s |      15 |  3353526 |   127732 |   575589      0 |        3 |        5
1565.15/1565.44	c 1547s |      15 |  3353677 |   127832 |   575589      0 |        3 |        5
1567.45/1567.71	c 1549s |      15 |  3354022 |   127932 |   575589      0 |        3 |        5
1569.55/1569.89	c 1551s |      15 |  3354293 |   128032 |   575589      0 |        3 |        5
1572.15/1572.47	c 1554s |      15 |  3354536 |   128132 |   575589      0 |        3 |        5
1575.26/1575.51	c 1557s |      15 |  3354708 |   128232 |   575589      0 |        3 |        5
1577.85/1578.10	c 1559s |      15 |  3354879 |   128332 |   575589      0 |        3 |        5
1580.55/1580.80	c 1562s |      15 |  3355115 |   128432 |   575589      0 |        3 |        5
1582.65/1582.96	c 1564s |      15 |  3355347 |   128532 |   575589      0 |        3 |        5
1584.64/1584.98	c 1566s |      15 |  3355562 |   128632 |   575589      0 |        3 |        5
1587.45/1587.73	c 1569s |      15 |  3355793 |   128732 |   575589      0 |        3 |        5
1591.65/1591.91	c 1573s |      15 |  3356218 |   128932 |   575589      0 |        3 |        5
1593.95/1594.22	c 1575s |      15 |  3356415 |   129032 |   575589      0 |        3 |        5
1596.84/1597.10	c 1578s |      15 |  3356665 |   129132 |   575589      0 |        3 |        5
1599.25/1599.58	c 1581s |      15 |  3356820 |   129232 |   575589      0 |        3 |        5
1601.75/1602.09	c 1583s |      15 |  3357071 |   129332 |   575589      0 |        3 |        5
1604.14/1604.43	c 1586s |      15 |  3357214 |   129432 |   575589      0 |        3 |        5
1607.25/1607.57	c 1589s |      15 |  3357350 |   129532 |   575589      0 |        3 |        5
1609.54/1609.85	c 1591s |      15 |  3357543 |   129632 |   575589      0 |        3 |        5
1611.94/1612.22	c 1593s |      15 |  3357667 |   129732 |   575589      0 |        3 |        5
1614.14/1614.43	c 1596s |      15 |  3357860 |   129832 |   575589      0 |        3 |        5
1616.24/1616.50	c 1598s |      15 |  3358015 |   129932 |   575589      0 |        3 |        5
1618.94/1619.25	c 1600s |      15 |  3358140 |   130032 |   575589      0 |        3 |        5
1621.64/1621.99	c 1603s |      15 |  3358266 |   130132 |   575589      0 |        3 |        5
1623.84/1624.11	c 1605s |      15 |  3358369 |   130232 |   575589      0 |        3 |        5
1626.34/1626.69	c 1608s |      15 |  3358517 |   130332 |   575589      0 |        3 |        5
1628.94/1629.21	c 1610s |      15 |  3358648 |   130432 |   633148      0 |        3 |        5
1632.84/1633.16	c 1614s |      15 |  3358960 |   130632 |   633148      0 |        3 |        5
1634.93/1635.24	c 1616s |      15 |  3359107 |   130732 |   633148      0 |        3 |        5
1637.24/1637.55	c 1619s |      15 |  3359233 |   130832 |   633148      0 |        3 |        5
1639.74/1640.01	c 1621s |      15 |  3359380 |   130932 |   633148      0 |        3 |        5
1641.94/1642.26	c 1623s |      15 |  3359575 |   131032 |   633148      0 |        3 |        5
1646.24/1646.51	c 1628s |      15 |  3359873 |   131232 |   633148      0 |        3 |        5
1649.83/1650.10	c 1631s |      15 |  3360037 |   131332 |   633148      0 |        3 |        5
1654.04/1654.36	c 1636s |      15 |  3360403 |   131532 |   633148      0 |        3 |        5
1654.64/1654.99	c 1636s |      16 |  3360461 |   131552 |   633148      0 |        3 |        5
1662.53/1662.89	c 1644s |      16 |  3444060 |   131652 |   633148      0 |        3 |        5
1666.23/1666.53	c 1648s |      16 |  3444365 |   131752 |   633148      0 |        3 |        5
1669.13/1669.48	c 1651s |      16 |  3444655 |   131952 |   633148      0 |        3 |        5
1671.33/1671.61	c 1653s |      16 |  3444942 |   132052 |   633148      0 |        3 |        5
1674.83/1675.16	c 1656s |      16 |  3445253 |   132252 |   633148      0 |        3 |        5
1677.13/1677.41	c 1659s |      16 |  3445488 |   132352 |   633148      0 |        3 |        5
1681.03/1681.35	c 1663s |      16 |  3445986 |   132552 |   633148      0 |        3 |        5
1683.04/1683.38	c 1665s |      16 |  3446258 |   132652 |   633148      0 |        3 |        5
1685.53/1685.89	c 1667s |      16 |  3446565 |   132752 |   633148      0 |        3 |        5
1688.23/1688.51	c 1670s |      16 |  3446784 |   132852 |   633148      0 |        3 |        5
1692.73/1693.03	c 1674s |      16 |  3447399 |   133052 |   633148      0 |        3 |        5
1695.33/1695.65	c 1677s |      16 |  3447560 |   133152 |   633148      0 |        3 |        5
1697.63/1697.95	c 1679s |      16 |  3447807 |   133252 |   633148      0 |        3 |        5
1700.33/1700.66	c 1682s |      16 |  3448016 |   133352 |   633148      0 |        3 |        5
1702.83/1703.13	c 1684s |      16 |  3448220 |   133452 |   633148      0 |        3 |        5
1706.13/1706.46	c 1688s |      16 |  3448675 |   133652 |   633148      0 |        3 |        5
1709.93/1710.27	c 1691s |      16 |  3449069 |   133852 |   633148      0 |        3 |        5
1712.02/1712.37	c 1694s |      16 |  3449254 |   133952 |   633148      0 |        3 |        5
1714.22/1714.51	c 1696s |      16 |  3449470 |   134052 |   633148      0 |        3 |        5
1716.63/1716.92	c 1698s |      16 |  3449642 |   134152 |   633148      0 |        3 |        5
1719.03/1719.38	c 1701s |      16 |  3449857 |   134252 |   633148      0 |        3 |        5
1721.73/1722.01	c 1703s |      16 |  3450032 |   134352 |   633148      0 |        3 |        5
1724.52/1724.85	c 1706s |      16 |  3450275 |   134452 |   633148      0 |        3 |        5
1726.83/1727.19	c 1708s |      16 |  3450514 |   134552 |   633148      0 |        3 |        5
1730.12/1730.43	c 1712s |      16 |  3450757 |   134652 |   633148      0 |        3 |        5
1732.73/1733.04	c 1714s |      16 |  3451060 |   134752 |   633148      0 |        3 |        5
1737.03/1737.38	c 1719s |      16 |  3451563 |   134952 |   633148      0 |        3 |        5
1739.32/1739.63	c 1721s |      16 |  3451797 |   135052 |   633148      0 |        3 |        5
1741.62/1741.99	c 1723s |      16 |  3452090 |   135152 |   633148      0 |        3 |        5
1744.52/1744.81	c 1726s |      16 |  3452243 |   135252 |   633148      0 |        3 |        5
1747.52/1747.81	c 1729s |      16 |  3452482 |   135352 |   633148      0 |        3 |        5
1752.52/1752.83	c 1734s |      16 |  3452858 |   135552 |   633148      0 |        3 |        5
1755.62/1755.99	c 1737s |      16 |  3453071 |   135652 |   633148      0 |        3 |        5
1757.72/1758.08	c 1739s |      16 |  3453259 |   135752 |   633148      0 |        3 |        5
1760.52/1760.81	c 1742s |      16 |  3453588 |   135852 |   633148      0 |        3 |        5
1764.22/1764.50	c 1746s |      16 |  3453900 |   136052 |   633148      0 |        3 |        5
1766.72/1767.07	c 1748s |      16 |  3454173 |   136152 |   633148      0 |        3 |        5
1769.92/1770.27	c 1751s |      16 |  3454382 |   136252 |   633148      0 |        3 |        5
1772.41/1772.75	c 1754s |      16 |  3454607 |   136352 |   633148      0 |        3 |        5
1775.22/1775.56	c 1757s |      16 |  3454765 |   136452 |   633148      0 |        3 |        5
1777.72/1778.09	c 1759s |      16 |  3454966 |   136552 |   633148      0 |        3 |        5
1780.52/1780.83	c 1762s |      16 |  3455212 |   136652 |   633148      0 |        3 |        5
1783.52/1783.81	c 1765s |      16 |  3455353 |   136752 |   633148      0 |        3 |        5
1786.12/1786.48	c 1768s |      16 |  3455569 |   136852 |   633148      0 |        3 |        5
1788.82/1789.19	c 1770s |      16 |  3455805 |   136952 |   633148      0 |        3 |        5
1792.22/1792.52	c 1774s |      16 |  3455996 |   137052 |   633148      0 |        3 |        5
1794.92/1795.26	c 1776s |      16 |  3456205 |   137152 |   633148      0 |        3 |        5
1797.31/1797.64	c 1779s |      16 |  3456382 |   137252 |   633148      0 |        3 |        5

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-4093090-1466075971/watcher-4093090-1466075971 -o /tmp/evaluation-result-4093090-1466075971/solver-4093090-1466075971 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466075598-10666 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093090-1466075971.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.15 1.90 1.73 3/179 10852
/proc/meminfo: memFree=30327668/32872528 swapFree=1199460/1313924
[pid=10852] ppid=10849 vsize=741820 CPUtime=0 cores=0,2,4,6
/proc/10852/stat : 10852 (toysat) R 10849 10852 9104 0 -1 4202496 2768 0 0 0 0 0 0 0 20 0 4 0 9643707 759623680 3130 33554432000 4194304 16246674 140736978462960 140736978462384 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10852/statm: 185967 3141 441 2943 0 182861 0
[pid=10852/tid=10853] ppid=10849 vsize=759228 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10853/stat : 10853 (toysat) S 10849 10852 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9643707 777449472 3198 33554432000 4194304 16246674 140736978462960 140267148520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10852/tid=10854] ppid=10849 vsize=763324 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10854/stat : 10854 (toysat) S 10849 10852 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9643707 781643776 3217 33554432000 4194304 16246674 140736978462960 140267138030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10852/tid=10855] ppid=10849 vsize=767420 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10855/stat : 10855 (toysat) S 10849 10852 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9643707 785838080 3232 33554432000 4194304 16246674 140736978462960 140267055213744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 2.15 1.90 1.73 3/179 10852
/proc/meminfo: memFree=30327668/32872528 swapFree=1199460/1313924
[pid=10852] ppid=10849 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/10852/stat : 10852 (toysat) R 10849 10852 9104 0 -1 4202496 26786 0 0 0 5 4 0 0 20 0 4 0 9643707 1332285440 27088 33554432000 4194304 16246674 140736978462960 140736978462272 7889646 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10852/statm: 325265 27103 801 2943 0 322159 0
[pid=10852/tid=10853] ppid=10849 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10853/stat : 10853 (toysat) S 10849 10852 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9643707 1332285440 27113 33554432000 4194304 16246674 140736978462960 140267148520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10852/tid=10854] ppid=10849 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10854/stat : 10854 (toysat) S 10849 10852 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9643707 1332285440 27123 33554432000 4194304 16246674 140736978462960 140267138030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10852/tid=10855] ppid=10849 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10855/stat : 10855 (toysat) S 10849 10852 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9643707 1332285440 27134 33554432000 4194304 16246674 140736978462960 140267055213744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200493 s]
/proc/loadavg: 2.15 1.90 1.73 3/179 10852
/proc/meminfo: memFree=30327668/32872528 swapFree=1199460/1313924
[pid=10852] ppid=10849 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/10852/stat : 10852 (toysat) R 10849 10852 9104 0 -1 4202496 48769 0 0 0 13 6 0 0 20 0 4 0 9643707 1343819776 49581 33554432000 4194304 16246674 140736978462960 140736978462272 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10852/statm: 328081 49587 801 2943 0 324975 0
[pid=10852/tid=10853] ppid=10849 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10853/stat : 10853 (toysat) S 10849 10852 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9643707 1343819776 49591 33554432000 4194304 16246674 140736978462960 140267148520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10852/tid=10854] ppid=10849 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10854/stat : 10854 (toysat) S 10849 10852 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9643707 1343819776 49595 33554432000 4194304 16246674 140736978462960 140267138030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10852/tid=10855] ppid=10849 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10855/stat : 10855 (toysat) S 10849 10852 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9643707 1343819776 49599 33554432000 4194304 16246674 140736978462960 140267055213744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300482 s]
/proc/loadavg: 2.15 1.90 1.73 3/179 10852
/proc/meminfo: memFree=30327668/32872528 swapFree=1199460/1313924
[pid=10852] ppid=10849 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/10852/stat : 10852 (toysat) R 10849 10852 9104 0 -1 4202496 55083 0 0 0 22 7 0 0 20 0 4 0 9643707 1345916928 55895 33554432000 4194304 16246674 140736978462960 140736978462272 8058696 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10852/statm: 328593 55895 801 2943 0 325487 0
[pid=10852/tid=10853] ppid=10849 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10853/stat : 10853 (toysat) S 10849 10852 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9643707 1345916928 55895 33554432000 4194304 16246674 140736978462960 140267148520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10852/tid=10854] ppid=10849 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10854/stat : 10854 (toysat) S 10849 10852 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9643707 1345916928 55895 33554432000 4194304 16246674 140736978462960 140267138030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10852/tid=10855] ppid=10849 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10855/stat : 10855 (toysat) S 10849 10852 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9643707 1345916928 55895 33554432000 4194304 16246674 140736978462960 140267055213744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.70042 s]
/proc/loadavg: 2.15 1.90 1.73 3/179 10852
/proc/meminfo: memFree=30327668/32872528 swapFree=1199460/1313924
[pid=10852] ppid=10849 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/10852/stat : 10852 (toysat) R 10849 10852 9104 0 -1 4202496 66392 0 0 0 60 9 0 0 20 0 4 0 9643707 1345916928 67204 33554432000 4194304 16246674 140736978462960 140736978460800 7361464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10852/statm: 328593 67204 801 2943 0 325487 0
[pid=10852/tid=10853] ppid=10849 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10853/stat : 10853 (toysat) S 10849 10852 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9643707 1345916928 67204 33554432000 4194304 16246674 140736978462960 140267148520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10852/tid=10854] ppid=10849 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10854/stat : 10854 (toysat) S 10849 10852 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9643707 1345916928 67204 33554432000 4194304 16246674 140736978462960 140267138030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10852/tid=10855] ppid=10849 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10855/stat : 10855 (toysat) S 10849 10852 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9643707 1345916928 67204 33554432000 4194304 16246674 140736978462960 140267055213744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50758 s]
/proc/loadavg: 2.15 1.90 1.73 3/183 10856
/proc/meminfo: memFree=29884712/32872528 swapFree=1199460/1313924
[pid=10852] ppid=10849 vsize=1314372 CPUtime=1.5 cores=0,2,4,6
/proc/10852/stat : 10852 (toysat) R 10849 10852 9104 0 -1 4202496 81947 0 0 0 138 12 0 0 20 0 4 0 9643707 1345916928 82759 33554432000 4194304 16246674 140736978462960 140736978460800 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10852/statm: 328593 82759 802 2943 0 325487 0
[pid=10852/tid=10853] ppid=10849 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10853/stat : 10853 (toysat) S 10849 10852 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9643707 1345916928 82759 33554432000 4194304 16246674 140736978462960 140267148520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10852/tid=10854] ppid=10849 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10854/stat : 10854 (toysat) S 10849 10852 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9643707 1345916928 82759 33554432000 4194304 16246674 140736978462960 140267138030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10852/tid=10855] ppid=10849 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10855/stat : 10855 (toysat) S 10849 10852 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9643707 1345916928 82759 33554432000 4194304 16246674 140736978462960 140267055213744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 1314372

[startup+3.10046 s]
/proc/loadavg: 2.14 1.90 1.73 3/183 10856
/proc/meminfo: memFree=29817628/32872528 swapFree=1199460/1313924
[pid=10852] ppid=10849 vsize=1314372 CPUtime=3.09 cores=0,2,4,6
/proc/10852/stat : 10852 (toysat) R 10849 10852 9104 0 -1 4202496 113066 0 0 0 292 17 0 0 20 0 4 0 9643707 1345916928 113878 33554432000 4194304 16246674 140736978462960 140736978462272 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10852/statm: 328593 113878 826 2943 0 325487 0
[pid=10852/tid=10853] ppid=10849 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10853/stat : 10853 (toysat) S 10849 10852 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9643707 1345916928 113878 33554432000 4194304 16246674 140736978462960 140267148520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10852/tid=10854] ppid=10849 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10854/stat : 10854 (toysat) S 10849 10852 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9643707 1345916928 113878 33554432000 4194304 16246674 140736978462960 140267138030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10852/tid=10855] ppid=10849 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10855/stat : 10855 (toysat) S 10849 10852 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9643707 1345916928 113878 33554432000 4194304 16246674 140736978462960 140267055213744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372

[startup+6.30042 s]
/proc/loadavg: 2.14 1.90 1.73 3/183 10856
/proc/meminfo: memFree=28824732/32872528 swapFree=1199460/1313924
[pid=10852] ppid=10849 vsize=1318468 CPUtime=6.29 cores=0,2,4,6
/proc/10852/stat : 10852 (toysat) R 10849 10852 9104 0 -1 4202496 201048 0 0 0 600 29 0 0 20 0 4 0 9643707 1350111232 201860 33554432000 4194304 16246674 140736978462960 140736978444864 6171072 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10852/statm: 329617 201860 834 2943 0 326511 0
[pid=10852/tid=10853] ppid=10849 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10853/stat : 10853 (toysat) S 10849 10852 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9643707 1350111232 201860 33554432000 4194304 16246674 140736978462960 140267148520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10852/tid=10854] ppid=10849 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10854/stat : 10854 (toysat) S 10849 10852 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9643707 1350111232 201860 33554432000 4194304 16246674 140736978462960 140267138030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10852/tid=10855] ppid=10849 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10855/stat : 10855 (toysat) S 10849 10852 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9643707 1350111232 201860 33554432000 4194304 16246674 140736978462960 140267055213744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1318468

[startup+12.7004 s]
/proc/loadavg: 2.28 1.94 1.75 4/183 10856
/proc/meminfo: memFree=28398344/32872528 swapFree=1199460/1313924
[pid=10852] ppid=10849 vsize=1377860 CPUtime=12.69 cores=0,2,4,6
/proc/10852/stat : 10852 (toysat) R 10849 10852 9104 0 -1 4202496 285113 0 0 0 1228 41 0 0 20 0 4 0 9643707 1410928640 285925 33554432000 4194304 16246674 140736978462960 140736978460800 4221979 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10852/statm: 344465 285925 865 2943 0 341359 0
[pid=10852/tid=10853] ppid=10849 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10853/stat : 10853 (toysat) S 10849 10852 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9643707 1410928640 285925 33554432000 4194304 16246674 140736978462960 140267148520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10852/tid=10854] ppid=10849 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10854/stat : 10854 (toysat) S 10849 10852 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9643707 1410928640 285925 33554432000 4194304 16246674 140736978462960 140267138030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10852/tid=10855] ppid=10849 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10855/stat : 10855 (toysat) S 10849 10852 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9643707 1410928640 285925 33554432000 4194304 16246674 140736978462960 140267055213744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1377860

[startup+25.5004 s]
/proc/loadavg: 2.31 1.96 1.75 3/183 10856
/proc/meminfo: memFree=28089576/32872528 swapFree=1199460/1313924
[pid=10852] ppid=10849 vsize=1377860 CPUtime=25.49 cores=0,2,4,6
/proc/10852/stat : 10852 (toysat) R 10849 10852 9104 0 -1 4202496 285175 0 0 0 2508 41 0 0 20 0 4 0 9643707 1410928640 285987 33554432000 4194304 16246674 140736978462960 140736978444864 12415827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10852/statm: 344465 285987 927 2943 0 341359 0
[pid=10852/tid=10853] ppid=10849 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10853/stat : 10853 (toysat) S 10849 10852 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9643707 1410928640 285987 33554432000 4194304 16246674 140736978462960 140267148520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10852/tid=10854] ppid=10849 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10854/stat : 10854 (toysat) S 10849 10852 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9643707 1410928640 285987 33554432000 4194304 16246674 140736978462960 140267138030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10852/tid=10855] ppid=10849 vsize=1377860 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10855/stat : 10855 (toysat) S 10849 10852 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9643707 1410928640 285987 33554432000 4194304 16246674 140736978462960 140267055213744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1377860

[startup+51.1004 s]
/proc/loadavg: 2.20 1.96 1.76 3/184 10859
/proc/meminfo: memFree=28077828/32872528 swapFree=1199460/1313924
[pid=10852] ppid=10849 vsize=1389124 CPUtime=51.08 cores=0,2,4,6
/proc/10852/stat : 10852 (toysat) R 10849 10852 9104 0 -1 4202496 287994 0 0 0 5067 41 0 0 20 0 4 0 9643707 1422462976 288806 33554432000 4194304 16246674 140736978462960 140736978444864 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10852/statm: 347281 288806 930 2943 0 344175 0
[pid=10852/tid=10853] ppid=10849 vsize=1389124 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10853/stat : 10853 (toysat) S 10849 10852 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9643707 1422462976 288806 33554432000 4194304 16246674 140736978462960 140267148520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10852/tid=10854] ppid=10849 vsize=1389124 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10854/stat : 10854 (toysat) S 10849 10852 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9643707 1422462976 288806 33554432000 4194304 16246674 140736978462960 140267138030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10852/tid=10855] ppid=10849 vsize=1389124 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10855/stat : 10855 (toysat) S 10849 10852 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9643707 1422462976 288806 33554432000 4194304 16246674 140736978462960 140267055213744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1389124

[startup+102.3 s]
/proc/loadavg: 2.29 2.03 1.79 4/183 10861
/proc/meminfo: memFree=28078388/32872528 swapFree=1199460/1313924
[pid=10852] ppid=10849 vsize=1389124 CPUtime=102.27 cores=0,2,4,6
/proc/10852/stat : 10852 (toysat) R 10849 10852 9104 0 -1 4202496 287995 0 0 0 10185 42 0 0 20 0 4 0 9643707 1422462976 288807 33554432000 4194304 16246674 140736978462960 140736978460928 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10852/statm: 347281 288807 931 2943 0 344175 0
[pid=10852/tid=10853] ppid=10849 vsize=1389124 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10853/stat : 10853 (toysat) S 10849 10852 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9643707 1422462976 288807 33554432000 4194304 16246674 140736978462960 140267148520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10852/tid=10854] ppid=10849 vsize=1389124 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10854/stat : 10854 (toysat) S 10849 10852 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9643707 1422462976 288807 33554432000 4194304 16246674 140736978462960 140267138030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10852/tid=10855] ppid=10849 vsize=1389124 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10855/stat : 10855 (toysat) S 10849 10852 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9643707 1422462976 288807 33554432000 4194304 16246674 140736978462960 140267055213744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1389124


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

/proc/10852/task/10853/stat : 10853 (toysat) S 10849 10852 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9643707 2243497984 489146 33554432000 4194304 16246674 140736978462960 140267148520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10852/tid=10854] ppid=10849 vsize=2190916 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10854/stat : 10854 (toysat) S 10849 10852 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9643707 2243497984 489146 33554432000 4194304 16246674 140736978462960 140267138030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10852/tid=10855] ppid=10849 vsize=2190916 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10855/stat : 10855 (toysat) S 10849 10852 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9643707 2243497984 489146 33554432000 4194304 16246674 140736978462960 140267055213744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2190916

[startup+1362.3 s]
/proc/loadavg: 2.21 2.20 2.08 3/183 10893
/proc/meminfo: memFree=26126420/32872528 swapFree=1199460/1313924
[pid=10852] ppid=10849 vsize=2254404 CPUtime=1362.08 cores=0,2,4,6
/proc/10852/stat : 10852 (toysat) R 10849 10852 9104 0 -1 4202496 504069 0 0 0 136038 170 0 0 20 0 4 0 9643707 2308509696 504881 33554432000 4194304 16246674 140736978462960 140736978444864 5662038 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10852/statm: 563601 504881 932 2943 0 560495 0
[pid=10852/tid=10853] ppid=10849 vsize=2254404 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10853/stat : 10853 (toysat) S 10849 10852 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9643707 2308509696 504881 33554432000 4194304 16246674 140736978462960 140267148520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10852/tid=10854] ppid=10849 vsize=2254404 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10854/stat : 10854 (toysat) S 10849 10852 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9643707 2308509696 504881 33554432000 4194304 16246674 140736978462960 140267138030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10852/tid=10855] ppid=10849 vsize=2254404 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10855/stat : 10855 (toysat) S 10849 10852 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9643707 2308509696 504881 33554432000 4194304 16246674 140736978462960 140267055213744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 2254404

[startup+1422.3 s]
/proc/loadavg: 2.18 2.19 2.08 4/183 10894
/proc/meminfo: memFree=26027144/32872528 swapFree=1199460/1313924
[pid=10852] ppid=10849 vsize=2304580 CPUtime=1422.08 cores=0,2,4,6
/proc/10852/stat : 10852 (toysat) R 10849 10852 9104 0 -1 4202496 516807 0 0 0 142028 180 0 0 20 0 4 0 9643707 2359889920 517619 33554432000 4194304 16246674 140736978462960 140736978462136 5661532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10852/statm: 576145 517619 932 2943 0 573039 0
[pid=10852/tid=10853] ppid=10849 vsize=2304580 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10853/stat : 10853 (toysat) S 10849 10852 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9643707 2359889920 517619 33554432000 4194304 16246674 140736978462960 140267148520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10852/tid=10854] ppid=10849 vsize=2304580 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10854/stat : 10854 (toysat) S 10849 10852 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9643707 2359889920 517619 33554432000 4194304 16246674 140736978462960 140267138030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10852/tid=10855] ppid=10849 vsize=2304580 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10855/stat : 10855 (toysat) S 10849 10852 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9643707 2359889920 517619 33554432000 4194304 16246674 140736978462960 140267055213744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 2304580

[startup+1482.3 s]
/proc/loadavg: 2.22 2.20 2.09 3/183 10895
/proc/meminfo: memFree=25935408/32872528 swapFree=1199460/1313924
[pid=10852] ppid=10849 vsize=2342468 CPUtime=1482.06 cores=0,2,4,6
/proc/10852/stat : 10852 (toysat) R 10849 10852 9104 0 -1 4202496 526230 0 0 0 148018 188 0 0 20 0 4 0 9643707 2398687232 527042 33554432000 4194304 16246674 140736978462960 140736978462136 5523139 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10852/statm: 585617 527042 932 2943 0 582511 0
[pid=10852/tid=10853] ppid=10849 vsize=2342468 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10853/stat : 10853 (toysat) S 10849 10852 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9643707 2398687232 527042 33554432000 4194304 16246674 140736978462960 140267148520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10852/tid=10854] ppid=10849 vsize=2342468 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10854/stat : 10854 (toysat) S 10849 10852 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9643707 2398687232 527042 33554432000 4194304 16246674 140736978462960 140267138030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10852/tid=10855] ppid=10849 vsize=2342468 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10855/stat : 10855 (toysat) S 10849 10852 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9643707 2398687232 527042 33554432000 4194304 16246674 140736978462960 140267055213744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2342468

[startup+1542.3 s]
/proc/loadavg: 2.12 2.18 2.09 3/183 10896
/proc/meminfo: memFree=25835632/32872528 swapFree=1199460/1313924
[pid=10852] ppid=10849 vsize=2401860 CPUtime=1542.05 cores=0,2,4,6
/proc/10852/stat : 10852 (toysat) R 10849 10852 9104 0 -1 4202496 540998 0 0 0 154008 197 0 0 20 0 4 0 9643707 2459504640 541810 33554432000 4194304 16246674 140736978462960 140736978462056 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10852/statm: 600465 541810 933 2943 0 597359 0
[pid=10852/tid=10853] ppid=10849 vsize=2401860 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10853/stat : 10853 (toysat) S 10849 10852 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9643707 2459504640 541810 33554432000 4194304 16246674 140736978462960 140267148520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10852/tid=10854] ppid=10849 vsize=2401860 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10854/stat : 10854 (toysat) S 10849 10852 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9643707 2459504640 541810 33554432000 4194304 16246674 140736978462960 140267138030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10852/tid=10855] ppid=10849 vsize=2401860 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10855/stat : 10855 (toysat) S 10849 10852 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9643707 2459504640 541810 33554432000 4194304 16246674 140736978462960 140267055213744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 2401860

[startup+1602.3 s]
/proc/loadavg: 2.19 2.19 2.09 3/183 10897
/proc/meminfo: memFree=25744564/32872528 swapFree=1199460/1313924
[pid=10852] ppid=10849 vsize=2441796 CPUtime=1602.05 cores=0,2,4,6
/proc/10852/stat : 10852 (toysat) R 10849 10852 9104 0 -1 4202496 550968 0 0 0 159996 209 0 0 20 0 4 0 9643707 2500399104 551780 33554432000 4194304 16246674 140736978462960 140736978462136 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10852/statm: 610449 551780 933 2943 0 607343 0
[pid=10852/tid=10853] ppid=10849 vsize=2441796 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10853/stat : 10853 (toysat) S 10849 10852 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9643707 2500399104 551780 33554432000 4194304 16246674 140736978462960 140267148520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10852/tid=10854] ppid=10849 vsize=2441796 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10854/stat : 10854 (toysat) S 10849 10852 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9643707 2500399104 551780 33554432000 4194304 16246674 140736978462960 140267138030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10852/tid=10855] ppid=10849 vsize=2441796 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10855/stat : 10855 (toysat) S 10849 10852 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9643707 2500399104 551780 33554432000 4194304 16246674 140736978462960 140267055213744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 2441796

[startup+1662.3 s]
/proc/loadavg: 2.36 2.23 2.11 3/183 10899
/proc/meminfo: memFree=25640076/32872528 swapFree=1199460/1313924
[pid=10852] ppid=10849 vsize=2497092 CPUtime=1662.03 cores=0,2,4,6
/proc/10852/stat : 10852 (toysat) R 10849 10852 9104 0 -1 4202496 564793 0 0 0 165981 222 0 0 20 0 4 0 9643707 2557022208 565605 33554432000 4194304 16246674 140736978462960 140736978462136 5829313 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10852/statm: 624273 565605 933 2943 0 621167 0
[pid=10852/tid=10853] ppid=10849 vsize=2497092 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10853/stat : 10853 (toysat) S 10849 10852 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9643707 2557022208 565605 33554432000 4194304 16246674 140736978462960 140267148520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10852/tid=10854] ppid=10849 vsize=2497092 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10854/stat : 10854 (toysat) S 10849 10852 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9643707 2557022208 565605 33554432000 4194304 16246674 140736978462960 140267138030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10852/tid=10855] ppid=10849 vsize=2497092 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10855/stat : 10855 (toysat) S 10849 10852 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9643707 2557022208 565605 33554432000 4194304 16246674 140736978462960 140267055213744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 2497092

[startup+1722.3 s]
/proc/loadavg: 2.26 2.23 2.11 3/183 10900
/proc/meminfo: memFree=25550700/32872528 swapFree=1199460/1313924
[pid=10852] ppid=10849 vsize=2534980 CPUtime=1722.03 cores=0,2,4,6
/proc/10852/stat : 10852 (toysat) R 10849 10852 9104 0 -1 4202496 574462 0 0 0 171967 236 0 0 20 0 4 0 9643707 2595819520 575274 33554432000 4194304 16246674 140736978462960 140736978462136 5523139 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10852/statm: 633745 575274 933 2943 0 630639 0
[pid=10852/tid=10853] ppid=10849 vsize=2534980 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10853/stat : 10853 (toysat) S 10849 10852 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9643707 2595819520 575274 33554432000 4194304 16246674 140736978462960 140267148520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10852/tid=10854] ppid=10849 vsize=2534980 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10854/stat : 10854 (toysat) S 10849 10852 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9643707 2595819520 575274 33554432000 4194304 16246674 140736978462960 140267138030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10852/tid=10855] ppid=10849 vsize=2534980 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10855/stat : 10855 (toysat) S 10849 10852 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9643707 2595819520 575274 33554432000 4194304 16246674 140736978462960 140267055213744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 2534980

[startup+1782.3 s]
/proc/loadavg: 2.36 2.26 2.13 3/183 10901
/proc/meminfo: memFree=25450048/32872528 swapFree=1199460/1313924
[pid=10852] ppid=10849 vsize=2582084 CPUtime=1782.03 cores=0,2,4,6
/proc/10852/stat : 10852 (toysat) R 10849 10852 9104 0 -1 4202496 586097 0 0 0 177955 248 0 0 20 0 4 0 9643707 2644054016 586909 33554432000 4194304 16246674 140736978462960 140736978462136 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10852/statm: 645521 586909 933 2943 0 642415 0
[pid=10852/tid=10853] ppid=10849 vsize=2582084 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10853/stat : 10853 (toysat) S 10849 10852 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9643707 2644054016 586909 33554432000 4194304 16246674 140736978462960 140267148520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10852/tid=10854] ppid=10849 vsize=2582084 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10854/stat : 10854 (toysat) S 10849 10852 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9643707 2644054016 586909 33554432000 4194304 16246674 140736978462960 140267138030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10852/tid=10855] ppid=10849 vsize=2582084 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10855/stat : 10855 (toysat) S 10849 10852 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9643707 2644054016 586909 33554432000 4194304 16246674 140736978462960 140267055213744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782.03
Current children cumulated vsize (KiB) 2582084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.25 2.24 2.13 3/183 10950
/proc/meminfo: memFree=27287512/32872528 swapFree=1199460/1313924
[pid=10852] ppid=10849 vsize=2596420 CPUtime=1800.01 cores=0,2,4,6
/proc/10852/stat : 10852 (toysat) R 10849 10852 9104 0 -1 4202496 589572 0 0 0 179749 252 0 0 20 0 4 0 9643707 2658734080 590384 33554432000 4194304 16246674 140736978462960 140736978462056 5829166 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10852/statm: 649105 590384 933 2943 0 645999 0
[pid=10852/tid=10853] ppid=10849 vsize=2596420 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10853/stat : 10853 (toysat) S 10849 10852 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9643707 2658734080 590384 33554432000 4194304 16246674 140736978462960 140267148520688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10852/tid=10854] ppid=10849 vsize=2596420 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10854/stat : 10854 (toysat) S 10849 10852 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9643707 2658734080 590384 33554432000 4194304 16246674 140736978462960 140267138030832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10852/tid=10855] ppid=10849 vsize=2596420 CPUtime=0 cores=0,2,4,6
/proc/10852/task/10855/stat : 10855 (toysat) S 10849 10852 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9643707 2658734080 590384 33554432000 4194304 16246674 140736978462960 140267055213744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2596420

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.4 s]
/proc/loadavg: 2.25 2.24 2.13 3/183 10950
/proc/meminfo: memFree=27287512/32872528 swapFree=1199460/1313924
[pid=10852] ppid=10849 vsize=0 CPUtime=1800.12 cores=0,2,4,6
/proc/10852/stat : 10852 (toysat) Z 10849 10852 9104 0 -1 4203532 589572 0 0 0 179750 262 0 0 20 0 2 0 9643707 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10852/statm: 0 0 0 0 0 0 0
[pid=10852/tid=10854] ppid=10849 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/10852/task/10854/stat : 10854 (toysat) R 10849 10852 9104 0 -1 4203588 8 0 0 0 0 9 0 0 20 0 2 0 9643707 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.44
CPU time (s): 1800.17
CPU user time (s): 1797.5
CPU system time (s): 2.66259
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 2596420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.5
system time used= 2.6626
maximum resident set size= 2361536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 589572
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= 189
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6884 second user time and 17.0554 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-16 13:19:32
IDJOB=4093090
IDBENCH=78627
IDSOLVER=2553
FILE ID=node131/4093090-1466075971
RUNJOBID= node131-1466075598-10666
PBS_JOBID= 19904008
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093090-1466075971/watcher-4093090-1466075971 -o /tmp/evaluation-result-4093090-1466075971/solver-4093090-1466075971 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466075598-10666 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093090-1466075971.wbo

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

MD5SUM BENCH= 8a7b280af2f03093297f21c42e0139c3
RANDOM SEED=1156711180

node131.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.752
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.50
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.752
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.752
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.57
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.752
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.56
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.752
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.752
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.752
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.57
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.752
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:        30327892 kB
Buffers:           16832 kB
Cached:           119028 kB
SwapCached:         1972 kB
Active:           481524 kB
Inactive:          46064 kB
Active(anon):     392108 kB
Inactive(anon):     1452 kB
Active(file):      89416 kB
Inactive(file):    44612 kB
Unevictable:     1313924 kB
Mlocked:         1199460 kB
SwapTotal:      67108856 kB
SwapFree:       67099344 kB
Dirty:             51168 kB
Writeback:            24 kB
AnonPages:       1704420 kB
Mapped:            10452 kB
Shmem:                 0 kB
Slab:             567844 kB
SReclaimable:      11508 kB
SUnreclaim:       556336 kB
KernelStack:        1464 kB
PageTables:         8732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2536440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 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= 71696 MiB
End job on node131 at 2016-06-16 13:49:32