Trace number 4078855

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.05 1800.45

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-146.opb
MD5SUM132271a8a55b01af9ffef359148ae5e1
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48417
Total number of constraints1121431
Number of constraints which are clauses1007614
Number of constraints which are cardinality constraints (but not clauses)3525
Number of constraints which are nor clauses,nor cardinality constraints110292
Minimum length of a constraint2
Maximum length of a constraint690
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 691
Number of bits of the biggest sum of numbers10
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-07T06:50:52+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078855-1465275051.opb"]
0.00/0.01	c use --random-gen="124734235 811779381 2472991176 4036345102 3443174883 3832480480 3008012701 558312131 261576048 2231233017 3239108138 1168073753 3480152395 2650332354 2385411135 797852565 216524209 334296589 2514135794 3003654915 1433024880 2476479413 1920437348 2865776555 3969020235 4107444603 1709292434 2361513866 895827177 2180275512 260924004 2169634628 2911411618 3165483782 2426638920 2705073982 4147689429 2144249509 1087421611 3410199409 3177925266 572652465 835633432 3957394829 3663327007 1657461224 2944423837 1482686709 3781525127 998895477 4004744066 3597101480 2594181251 1315476721 2838531844 1714496208 1980819091 3114262611 3275470279 3290831802 2737826096 3072267713 2463324333 492287636 3448340427 3614200238 3290324271 3254975933 3185094572 1201325861 4118289719 992240212 1471136873 807136917 2803515537 2497260764 1468805644 4081013939 1543041014 3763869724 3284624743 4018005071 218286161 1985597970 1350971490 1340964825 1452288121 3664604381 956889776 3576351725 1520574965 4076583619 2993454091 486082642 822645639 4258275171 1605006587 3539650035 1593576868 2343885635 1992394297 972975483 3452292624 720207902 107925726 387511888 3574715260 1134620793 1542966530 378449437 3677480882 69467135 779449735 2528370721 2530097873 3069852691 1691921895 3259041714 1474565322 4243937638 2158963241 773254326 856926777 3370022276 2186609227 202994336 3457513556 3138065773 3744655346 1563654635 2634976528 2081592351 3419341266 674331156 4281772382 1352790773 2610886938 1228553290 3765952580 986554035 2817779691 2571404630 267892865 2385815944 3204816943 3432467860 3840492736 501079656 3076405585 4072191116 162527067 297175829 633746573 1165913189 4043947896 41897106 2124421791 2816716189 635317559 2752159494 2390671557 308918864 300799816 2376153773 2303647267 63367845 3387490594 728224598 777087190 1332747503 1553253229 3149823018 3195642461 4028668011 2562495362 1855487944 3188532346 2925881045 3552174034 734844158 2856320756 965353891 4138333984 1161385796 3449361999 602424483 3121374373 3388405804 4064524646 3001556649 3745122093 1152259893 2091119415 3385755544 878571879 839695945 2742732719 2578362461 1014561905 3981143310 3222136797 1534027026 3438742299 2914419399 3283749969 4024520483 2636998078 3074595235 2345645542 3976997436 2127312560 173562219 2226459948 3809449432 3171327473 132502210 4226067051 424379569 1301505827 809129010 1514481035 3704776274 2747564151 4125672121 3828492121 172896211 2984155025 2059334748 3652534803 1469046470 3015964796 4267251088 2809488227 2933403852 679099439 460689279 1830951727 1304075999 4185817123 741440336 2777721661 1577942240 1185522386 3846447739 3928234107 3440037997 2744518266 3161814935 1138268430 3851562382 2121754551 1641148240 1552363296 1081536843 3851221835 3311481654 255 362436" option to reproduce the execution
9.59/9.60	c #vars 48417
9.59/9.60	c #constraints 1121431
29.90/29.94	c Solving starts ...
29.90/29.94	c ============================[ Search Statistics ]============================
29.90/29.94	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
29.90/29.94	c       |         |          |          |    Limit     GC | Var      | Constra 
29.90/29.94	c =============================================================================
29.90/29.95	c  0.0s |       0 |        0 |        0 |   390541      0 |        0 |        0
30.69/30.78	c  0.8s |       1 |      163 |      100 |   390541      0 |        0 |        0
33.98/34.05	c  4.1s |       1 |     7562 |      200 |   429596      0 |        0 |        0
35.49/35.52	c  5.6s |       2 |    20756 |      250 |   429596      0 |        0 |        0
37.48/37.52	c  7.6s |       3 |    28064 |      475 |   472556      0 |        0 |        0
42.78/42.86	c 12.9s |       3 |    72933 |      575 |   519812      0 |        0 |        0
47.78/47.85	c 17.9s |       3 |   119474 |      675 |   519812      0 |        0 |        0
49.58/49.61	c 19.7s |       4 |   131819 |      813 |   519812      0 |        0 |        0
51.58/51.67	c 21.7s |       4 |   133162 |     1213 |   571794      0 |        0 |        0
52.68/52.72	c 22.8s |       5 |   144109 |     1320 |   571794      0 |        0 |        0
56.28/56.33	c 26.4s |       5 |   162367 |     1420 |   628974      0 |        0 |        0
58.58/58.67	c 28.7s |       5 |   251075 |     1720 |   628974      0 |        0 |        0
60.17/60.28	c 30.3s |       6 |   347498 |     2081 |   691872      0 |        0 |        0
62.47/62.52	c 32.6s |       6 |   452323 |     2781 |   691872      0 |        0 |        0
65.77/65.81	c 35.9s |       6 |   484425 |     2981 |   691872      0 |        0 |        0
68.17/68.26	c 38.3s |       6 |   508840 |     3081 |   691872      0 |        0 |        0
68.57/68.60	c 38.7s |       7 |   512681 |     3223 |   761060      0 |        0 |        0
73.67/73.71	c 43.8s |       7 |   546645 |     3623 |   761060      0 |        0 |        0
76.19/76.23	c 46.3s |       7 |   577989 |     4123 |   761060      0 |        0 |        0
78.68/78.74	c 48.8s |       7 |   590962 |     4523 |   761060      0 |        0 |        0
80.38/80.49	c 50.5s |       8 |   593910 |     4936 |   837167      0 |        0 |        0
83.08/83.16	c 53.2s |       8 |   634826 |     5136 |   837167      0 |        0 |        0
85.18/85.21	c 55.3s |       8 |   717794 |     5436 |   837167      0 |        0 |        0
87.28/87.33	c 57.4s |       8 |   856818 |     6136 |   837167      0 |        0 |        0
89.77/89.81	c 59.9s |       8 |   871870 |     6636 |   837167      0 |        0 |        0
91.98/92.06	c 62.1s |       9 |   888728 |     7506 |   920884      0 |        0 |        0
94.07/94.18	c 64.2s |       9 |   892602 |     7606 |   920884      0 |        0 |        0
97.97/98.00	c 68.1s |       9 |   935277 |     8106 |   920884      0 |        0 |        0
99.97/100.05	c 70.1s |       9 |  1038403 |     8506 |   920884      0 |        0 |        0
102.07/102.17	c 72.2s |       9 |  1188221 |     9406 |   920884      0 |        0 |        0
104.17/104.20	c 74.3s |       9 |  1195783 |     9806 |   920884      0 |        0 |        0
106.57/106.67	c 76.7s |       9 |  1226098 |     9906 |   920884      0 |        0 |        0
108.67/108.70	c 78.8s |       9 |  1283124 |    10506 |   920884      0 |        0 |        0
110.97/111.02	c 81.1s |       9 |  1308877 |    11006 |   920884      0 |        0 |        0
113.48/113.51	c 83.6s |      10 |  1352091 |    11361 |  1012973      0 |        0 |        0
115.57/115.67	c 85.7s |      10 |  1370121 |    11861 |  1012973      0 |        0 |        0
118.07/118.13	c 88.2s |      10 |  1392083 |    12261 |  1012973      0 |        0 |        0
121.07/121.20	c 91.3s |      10 |  1432563 |    12461 |  1012973      0 |        0 |        0
124.48/124.58	c 94.6s |      10 |  1467640 |    12661 |  1012973      0 |        0 |        0
126.78/126.82	c 96.9s |      10 |  1470638 |    13261 |  1012973      0 |        0 |        0
128.77/128.87	c 98.9s |      10 |  1471333 |    13861 |  1012973      0 |        0 |        0
130.87/130.97	c  101s |      10 |  1471997 |    14361 |  1012973      0 |        0 |        0
132.97/133.09	c  103s |      10 |  1472634 |    14861 |  1012973      0 |        0 |        0
135.17/135.25	c  105s |      10 |  1473367 |    15461 |  1012973      0 |        0 |        0
137.17/137.29	c  107s |      10 |  1474343 |    16161 |  1012973      0 |        0 |        0
139.37/139.42	c  109s |      10 |  1475300 |    16961 |  1012973      0 |        0 |        0
139.97/140.07	c  110s |      11 |  1475505 |    17144 |  1114271      0 |        0 |        0
144.17/144.25	c  114s |      11 |  1509848 |    17344 |  1114271      0 |        0 |        0
146.57/146.66	c  116s |      11 |  1510775 |    17944 |  1114271      0 |        0 |        0
148.57/148.67	c  118s |      11 |  1511335 |    18444 |  1114271      0 |        0 |        0
150.77/150.81	c  120s |      11 |  1511964 |    19044 |  1114271      0 |        0 |        0
152.87/152.95	c  123s |      11 |  1520415 |    19544 |  1114271      0 |        0 |        0
154.87/154.97	c  125s |      11 |  1545493 |    19644 |  1114271      0 |        0 |        0
156.86/156.99	c  127s |      11 |  1664690 |    20144 |  1114271      0 |        0 |        0
159.36/159.42	c  129s |      11 |  1720118 |    20644 |  1114271      0 |        0 |        0
162.46/162.55	c  132s |      11 |  1753467 |    20944 |  1114271      0 |        0 |        0
166.37/166.48	c  136s |      11 |  1795972 |    21144 |  1114271      0 |        0 |        0
169.06/169.14	c  139s |      11 |  1819620 |    21444 |  1114271      0 |        0 |        0
173.06/173.17	c  143s |      11 |  1857587 |    21744 |  1114271      0 |        0 |        0
175.86/175.91	c  145s |      11 |  1932354 |    21944 |  1114271      0 |        0 |        0
178.56/178.62	c  148s |      11 |  1967133 |    22244 |  1114271      0 |        0 |        0
182.16/182.30	c  152s |      11 |  2004229 |    22444 |  1114271      0 |        0 |        0
185.46/185.58	c  155s |      11 |  2040604 |    22844 |  1114271      0 |        0 |        0
189.26/189.30	c  159s |      11 |  2073260 |    23044 |  1114271      0 |        0 |        0
192.06/192.13	c  162s |      11 |  2085377 |    23444 |  1114271      0 |        0 |        0
194.26/194.34	c  164s |      11 |  2102250 |    24344 |  1114271      0 |        0 |        0
196.36/196.42	c  166s |      11 |  2102663 |    24644 |  1114271      0 |        0 |        0
198.46/198.50	c  168s |      11 |  2102989 |    24944 |  1114271      0 |        0 |        0
200.86/200.97	c  171s |      11 |  2103487 |    25344 |  1114271      0 |        0 |        0
202.96/203.08	c  173s |      11 |  2103971 |    25744 |  1225699      0 |        0 |        0
203.46/203.53	c  173s |      12 |  2104074 |    25819 |  1225699      0 |        0 |        0
205.56/205.63	c  175s |      12 |  2119683 |    25919 |  1225699      0 |        0 |        0
207.86/207.92	c  177s |      12 |  2129292 |    26319 |  1225699      0 |        0 |        0
210.16/210.27	c  180s |      12 |  2129750 |    26719 |  1225699      0 |        0 |        0
212.56/212.65	c  182s |      12 |  2130204 |    27119 |  1225699      0 |        0 |        0
214.67/214.74	c  184s |      12 |  2130642 |    27519 |  1225699      0 |        0 |        0
218.15/218.23	c  188s |      12 |  2131217 |    28019 |  1225699      0 |        0 |        0
220.26/220.39	c  190s |      12 |  2131772 |    28519 |  1225699      0 |        0 |        0
222.36/222.50	c  192s |      12 |  2149459 |    28819 |  1225699      0 |        0 |        0
224.56/224.65	c  194s |      12 |  2150052 |    29219 |  1225699      0 |        0 |        0
226.65/226.79	c  196s |      12 |  2150579 |    29619 |  1225699      0 |        0 |        0
229.06/229.15	c  199s |      12 |  2167618 |    30019 |  1225699      0 |        0 |        0
231.16/231.27	c  201s |      12 |  2169126 |    30519 |  1225699      0 |        0 |        0
233.55/233.69	c  203s |      12 |  2169835 |    31019 |  1225699      0 |        0 |        0
238.35/238.40	c  208s |      12 |  2201887 |    31419 |  1225699      0 |        0 |        0
240.65/240.70	c  210s |      12 |  2268082 |    31719 |  1225699      0 |        0 |        0
242.65/242.74	c  212s |      12 |  2383075 |    32319 |  1225699      0 |        0 |        0
244.65/244.75	c  214s |      12 |  2405475 |    32719 |  1225699      0 |        0 |        0
247.66/247.74	c  217s |      12 |  2425133 |    33319 |  1225699      0 |        0 |        0
249.86/249.97	c  220s |      12 |  2436738 |    33619 |  1225699      0 |        0 |        0
252.15/252.21	c  222s |      12 |  2439642 |    34119 |  1225699      0 |        0 |        0
254.55/254.63	c  224s |      12 |  2456386 |    34519 |  1225699      0 |        0 |        0
256.65/256.75	c  226s |      12 |  2459744 |    34819 |  1225699      0 |        0 |        0
258.65/258.76	c  228s |      12 |  2460248 |    35219 |  1225699      0 |        0 |        0
261.14/261.26	c  231s |      12 |  2460922 |    35719 |  1225699      0 |        0 |        0
263.44/263.54	c  233s |      12 |  2461391 |    36119 |  1225699      0 |        0 |        0
265.64/265.73	c  235s |      12 |  2461913 |    36519 |  1225699      0 |        0 |        0
267.74/267.82	c  237s |      12 |  2462380 |    36919 |  1225699      0 |        0 |        0
269.95/270.08	c  240s |      12 |  2462865 |    37319 |  1225699      0 |        0 |        0
271.96/272.09	c  242s |      12 |  2463402 |    37719 |  1225699      0 |        0 |        0
274.06/274.20	c  244s |      12 |  2463928 |    38119 |  1225699      0 |        0 |        0
276.55/276.65	c  246s |      12 |  2464520 |    38619 |  1348269      0 |        0 |        0
277.75/277.86	c  247s |      13 |  2464811 |    38832 |  1348269      0 |        0 |        0
279.85/279.97	c  250s |      13 |  2476977 |    39032 |  1348269      0 |        0 |        0
282.55/282.66	c  252s |      13 |  2537835 |    39232 |  1348269      0 |        0 |        0
285.45/285.50	c  255s |      13 |  2567720 |    39332 |  1348269      0 |        0 |        0
287.65/287.77	c  257s |      13 |  2584577 |    39632 |  1348269      0 |        0 |        0
290.56/290.63	c  260s |      13 |  2609643 |    39832 |  1348269      0 |        0 |        0
292.55/292.64	c  262s |      13 |  2636529 |    40232 |  1348269      0 |        0 |        0
295.85/295.99	c  266s |      13 |  2666103 |    40432 |  1348269      0 |        0 |        0
298.75/298.88	c  268s |      13 |  2706569 |    40632 |  1348269      0 |        0 |        0
301.15/301.26	c  271s |      13 |  2737702 |    41032 |  1348269      0 |        0 |        0
304.05/304.18	c  274s |      13 |  2756420 |    41132 |  1348269      0 |        0 |        0
308.85/308.98	c  279s |      13 |  2814479 |    41232 |  1348269      0 |        0 |        0
314.55/314.61	c  284s |      13 |  2889323 |    41332 |  1348269      0 |        0 |        0
316.64/316.73	c  286s |      13 |  2913159 |    42232 |  1348269      0 |        0 |        0
319.54/319.67	c  289s |      13 |  2945655 |    42732 |  1348269      0 |        0 |        0
323.74/323.86	c  293s |      13 |  2975066 |    42832 |  1348269      0 |        0 |        0
326.14/326.27	c  296s |      13 |  3012409 |    43032 |  1348269      0 |        0 |        0
329.05/329.16	c  299s |      13 |  3105682 |    43832 |  1348269      0 |        0 |        0
331.44/331.58	c  301s |      13 |  3144865 |    44132 |  1348269      0 |        0 |        0
334.74/334.82	c  304s |      13 |  3222611 |    44532 |  1348269      0 |        0 |        0
338.04/338.13	c  308s |      13 |  3257085 |    44932 |  1348269      0 |        0 |        0
340.24/340.31	c  310s |      13 |  3283086 |    45132 |  1348269      0 |        0 |        0
343.94/344.09	c  314s |      13 |  3313161 |    45332 |  1348269      0 |        0 |        0
346.43/346.56	c  316s |      13 |  3358021 |    45532 |  1348269      0 |        0 |        0
348.84/348.99	c  319s |      13 |  3410775 |    45732 |  1348269      0 |        0 |        0
351.53/351.61	c  321s |      13 |  3434243 |    45932 |  1348269      0 |        0 |        0
354.64/354.74	c  324s |      13 |  3491192 |    46232 |  1348269      0 |        0 |        0
356.93/357.03	c  327s |      13 |  3499601 |    46332 |  1348269      0 |        0 |        0
360.03/360.16	c  330s |      13 |  3547787 |    46532 |  1348269      0 |        0 |        0
363.33/363.41	c  333s |      13 |  3604526 |    46832 |  1348269      0 |        0 |        0
365.34/365.48	c  335s |      13 |  3646776 |    47032 |  1348269      0 |        0 |        0
367.64/367.73	c  337s |      13 |  3702526 |    47332 |  1348269      0 |        0 |        0
369.63/369.80	c  339s |      13 |  3734202 |    48032 |  1348269      0 |        0 |        0
376.93/377.04	c  347s |      13 |  3802650 |    48332 |  1348269      0 |        0 |        0
386.43/386.58	c  356s |      13 |  3897149 |    48432 |  1348269      0 |        0 |        0
394.23/394.38	c  364s |      13 |  3978446 |    48532 |  1348269      0 |        0 |        0
401.83/401.93	c  371s |      13 |  4049865 |    48832 |  1348269      0 |        0 |        0
404.03/404.20	c  374s |      13 |  4087159 |    48932 |  1348269      0 |        0 |        0
407.23/407.39	c  377s |      13 |  4119809 |    49032 |  1348269      0 |        0 |        0
409.43/409.52	c  379s |      13 |  4176575 |    49232 |  1348269      0 |        0 |        0
412.33/412.45	c  382s |      13 |  4212724 |    49432 |  1348269      0 |        0 |        0
415.03/415.11	c  385s |      13 |  4237270 |    49632 |  1348269      0 |        0 |        0
418.72/418.85	c  388s |      13 |  4269036 |    50132 |  1348269      0 |        0 |        0
420.82/420.97	c  391s |      13 |  4351599 |    50632 |  1348269      0 |        0 |        0
423.73/423.85	c  393s |      13 |  4388285 |    51132 |  1348269      0 |        0 |        0
426.02/426.12	c  396s |      13 |  4421585 |    51632 |  1348269      0 |        0 |        0
428.42/428.56	c  398s |      13 |  4445608 |    51932 |  1348269      0 |        0 |        0
436.22/436.33	c  406s |      13 |  4530460 |    52632 |  1348269      0 |        0 |        0
439.82/439.96	c  410s |      13 |  4564848 |    52732 |  1348269      0 |        0 |        0
443.72/443.80	c  413s |      13 |  4613339 |    52932 |  1348269      0 |        0 |        0
446.42/446.57	c  416s |      13 |  4639492 |    53032 |  1348269      0 |        0 |        0
448.52/448.69	c  418s |      13 |  4660008 |    54132 |  1348269      0 |        0 |        0
450.92/451.04	c  421s |      13 |  4693891 |    54532 |  1348269      0 |        0 |        0
453.22/453.37	c  423s |      13 |  4758165 |    55132 |  1348269      0 |        0 |        0
455.52/455.66	c  425s |      13 |  4788942 |    55432 |  1348269      0 |        0 |        0
457.62/457.75	c  427s |      13 |  4808025 |    55732 |  1348269      0 |        0 |        0
459.82/459.97	c  430s |      13 |  4830987 |    55932 |  1348269      0 |        0 |        0
461.91/462.01	c  432s |      13 |  4860637 |    56132 |  1348269      0 |        0 |        0
464.81/464.96	c  435s |      13 |  4907931 |    56432 |  1348269      0 |        0 |        0
467.21/467.31	c  437s |      13 |  4997334 |    57232 |  1348269      0 |        0 |        0
469.71/469.88	c  439s |      13 |  5030923 |    57632 |  1348269      0 |        0 |        0
472.12/472.23	c  442s |      13 |  5048412 |    58332 |  1483096      0 |        0 |        0
472.21/472.35	c  442s |      14 |  5048424 |    58352 |  1483096      0 |        0 |        0
475.91/476.06	c  446s |      14 |  5081799 |    58552 |  1483096      0 |        0 |        0
477.92/478.09	c  448s |      14 |  5095293 |    58952 |  1483096      0 |        0 |        0
480.52/480.65	c  450s |      14 |  5114795 |    59752 |  1483096      0 |        0 |        0
486.12/486.20	c  456s |      14 |  5150317 |    59952 |  1483096      0 |        0 |        0
489.41/489.58	c  459s |      14 |  5177821 |    60352 |  1483096      0 |        0 |        0
491.82/491.97	c  462s |      14 |  5191450 |    60652 |  1483096      0 |        0 |        0
494.02/494.20	c  464s |      14 |  5206443 |    60752 |  1483096      0 |        0 |        0
497.11/497.20	c  467s |      14 |  5221807 |    61052 |  1483096      0 |        1 |       12
499.41/499.52	c  469s |      14 |  5222927 |    61452 |  1483096      0 |        1 |       12
501.51/501.67	c  471s |      14 |  5223712 |    61852 |  1483096      0 |        1 |       12
504.01/504.18	c  474s |      14 |  5224528 |    62252 |  1483096      0 |        1 |       12
506.21/506.33	c  476s |      14 |  5224996 |    62552 |  1483096      0 |        1 |       12
508.41/508.54	c  478s |      14 |  5226078 |    62852 |  1483096      0 |        1 |       12
511.01/511.12	c  481s |      14 |  5226502 |    63152 |  1483096      0 |        1 |       12
513.61/513.77	c  483s |      14 |  5227003 |    63552 |  1483096      0 |        1 |       12
515.90/516.06	c  486s |      14 |  5227485 |    63952 |  1483096      0 |        1 |       12
518.60/518.71	c  488s |      14 |  5227979 |    64352 |  1483096      0 |        1 |       12
521.00/521.18	c  491s |      14 |  5228464 |    64752 |  1483096      0 |        1 |       12
523.90/524.03	c  494s |      14 |  5228967 |    65152 |  1483096      0 |        1 |       12
525.91/526.06	c  496s |      14 |  5229371 |    65452 |  1483096      0 |        1 |       12
527.90/528.09	c  498s |      14 |  5229641 |    65652 |  1483096      0 |        1 |       12
530.89/531.06	c  501s |      14 |  5230047 |    65952 |  1483096      0 |        1 |       12
533.70/533.88	c  503s |      14 |  5230609 |    66252 |  1483096      0 |        1 |       12
536.49/536.64	c  506s |      14 |  5231025 |    66552 |  1483096      0 |        1 |       12
539.20/539.35	c  509s |      14 |  5231433 |    66852 |  1483096      0 |        1 |       12
541.49/541.63	c  511s |      14 |  5231835 |    67152 |  1483096      0 |        1 |       12
543.99/544.19	c  514s |      14 |  5232198 |    67452 |  1483096      0 |        1 |       12
546.49/546.66	c  516s |      14 |  5232619 |    67752 |  1483096      0 |        1 |       12
548.79/548.92	c  518s |      14 |  5233022 |    68052 |  1483096      0 |        1 |       12
551.19/551.38	c  521s |      14 |  5233476 |    68452 |  1483096      0 |        1 |       12
553.58/553.73	c  523s |      14 |  5233979 |    68852 |  1483096      0 |        1 |       12
555.89/556.02	c  526s |      14 |  5234429 |    69252 |  1483096      0 |        1 |       12
558.19/558.35	c  528s |      14 |  5234817 |    69552 |  1483096      0 |        1 |       12
560.29/560.48	c  530s |      14 |  5235180 |    69852 |  1483096      0 |        1 |       12
562.99/563.15	c  533s |      14 |  5235746 |    70252 |  1483096      0 |        1 |       12
565.29/565.41	c  535s |      14 |  5236094 |    70552 |  1483096      0 |        1 |       12
567.70/567.87	c  537s |      14 |  5236463 |    70852 |  1483096      0 |        1 |       12
570.29/570.41	c  540s |      14 |  5236906 |    71252 |  1483096      0 |        1 |       12
572.39/572.53	c  542s |      14 |  5237335 |    71552 |  1483096      0 |        1 |       12
574.79/574.96	c  545s |      14 |  5237771 |    71852 |  1483096      0 |        1 |       12
577.09/577.25	c  547s |      14 |  5238131 |    72052 |  1483096      0 |        1 |       12
579.19/579.34	c  549s |      14 |  5238645 |    72252 |  1483096      0 |        1 |       12
581.89/582.01	c  552s |      14 |  5239106 |    72552 |  1483096      0 |        1 |       12
583.89/584.08	c  554s |      14 |  5239414 |    72752 |  1483096      0 |        1 |       12
586.39/586.57	c  556s |      14 |  5239798 |    73052 |  1483096      0 |        1 |       12
588.59/588.80	c  558s |      14 |  5240279 |    73352 |  1483096      0 |        1 |       12
591.28/591.46	c  561s |      14 |  5240729 |    73652 |  1483096      0 |        1 |       12
594.28/594.48	c  564s |      14 |  5241234 |    73952 |  1483096      0 |        1 |       12
596.48/596.63	c  566s |      14 |  5241987 |    74252 |  1483096      0 |        1 |       12
598.98/599.12	c  569s |      14 |  5242636 |    74552 |  1483096      0 |        1 |       12
601.58/601.77	c  571s |      14 |  5243039 |    74852 |  1483096      0 |        1 |       12
604.18/604.35	c  574s |      14 |  5243434 |    75152 |  1483096      0 |        1 |       12
607.58/607.74	c  577s |      14 |  5243767 |    75352 |  1483096      0 |        1 |       12
610.18/610.34	c  580s |      14 |  5244350 |    75752 |  1483096      0 |        1 |       12
612.28/612.43	c  582s |      14 |  5244923 |    76152 |  1483096      0 |        1 |       12
614.78/614.99	c  585s |      14 |  5245419 |    76552 |  1483096      0 |        1 |       12
616.88/617.08	c  587s |      14 |  5245790 |    76852 |  1483096      0 |        1 |       12
619.18/619.33	c  589s |      14 |  5246154 |    77152 |  1483096      0 |        1 |       12
621.69/621.84	c  591s |      14 |  5246630 |    77552 |  1483096      0 |        1 |       12
624.48/624.69	c  594s |      14 |  5247061 |    77952 |  1483096      0 |        1 |       12
626.68/626.84	c  596s |      14 |  5247450 |    78252 |  1483096      0 |        1 |       12
628.78/628.97	c  599s |      14 |  5247762 |    78552 |  1483096      0 |        1 |       12
630.98/631.15	c  601s |      14 |  5248134 |    78852 |  1483096      0 |        1 |       12
633.38/633.57	c  603s |      14 |  5248484 |    79152 |  1483096      0 |        1 |       12
635.78/635.92	c  605s |      14 |  5248921 |    79552 |  1483096      0 |        1 |       12
638.28/638.45	c  608s |      14 |  5249357 |    79852 |  1483096      0 |        1 |       12
640.57/640.79	c  610s |      14 |  5249745 |    80152 |  1483096      0 |        1 |       12
642.97/643.18	c  613s |      14 |  5250176 |    80452 |  1483096      0 |        1 |       12
645.47/645.62	c  615s |      14 |  5250677 |    80852 |  1483096      0 |        1 |       12
648.08/648.27	c  618s |      14 |  5251052 |    81152 |  1483096      0 |        1 |       12
650.28/650.48	c  620s |      14 |  5251464 |    81452 |  1483096      0 |        1 |       12
652.57/652.76	c  622s |      14 |  5251852 |    81752 |  1483096      0 |        1 |       12
654.87/655.01	c  625s |      14 |  5252185 |    82052 |  1483096      0 |        1 |       12
657.37/657.50	c  627s |      14 |  5252513 |    82352 |  1483096      0 |        1 |       12
659.47/659.64	c  629s |      14 |  5252871 |    82652 |  1483096      0 |        1 |       12
661.87/662.02	c  632s |      14 |  5253213 |    82952 |  1483096      0 |        1 |       12
664.37/664.59	c  634s |      14 |  5253707 |    83252 |  1483096      0 |        1 |       12
666.57/666.72	c  636s |      14 |  5254223 |    83552 |  1483096      0 |        1 |       12
669.06/669.20	c  639s |      14 |  5254895 |    83852 |  1483096      0 |        1 |       12
671.36/671.52	c  641s |      14 |  5255253 |    84152 |  1483096      0 |        1 |       12
673.56/673.77	c  643s |      14 |  5255578 |    84452 |  1483096      0 |        1 |       12
675.57/675.78	c  645s |      14 |  5255844 |    84652 |  1483096      0 |        1 |       12
678.06/678.24	c  648s |      14 |  5256196 |    84952 |  1483096      0 |        1 |       12
680.56/680.73	c  650s |      14 |  5256594 |    85252 |  1483096      0 |        1 |       12
682.76/682.98	c  653s |      14 |  5256937 |    85552 |  1483096      0 |        1 |       12
684.96/685.17	c  655s |      14 |  5257315 |    85852 |  1483096      0 |        1 |       12
687.56/687.78	c  657s |      14 |  5257750 |    86152 |  1483096      0 |        1 |       12
690.06/690.27	c  660s |      14 |  5258120 |    86452 |  1483096      0 |        1 |       12
692.46/692.67	c  662s |      14 |  5258476 |    86752 |  1483096      0 |        1 |       12
695.06/695.29	c  665s |      14 |  5258979 |    87152 |  1631406      0 |        1 |       12
697.26/697.40	c  667s |      14 |  5259377 |    87452 |  1631406      0 |        1 |       12
698.45/698.62	c  668s |      15 |  5259599 |    87632 |  1631406      0 |        1 |       12
701.05/701.22	c  671s |      15 |  5273257 |    87732 |  1631406      0 |        1 |       12
703.45/703.68	c  673s |      15 |  5302290 |    88132 |  1631406      0 |        1 |       12
705.95/706.15	c  676s |      15 |  5302738 |    88432 |  1631406      0 |        1 |       12
708.35/708.53	c  678s |      15 |  5314102 |    88832 |  1631406      0 |        1 |       12
710.85/711.01	c  681s |      15 |  5314442 |    89132 |  1631406      0 |        1 |       12
713.55/713.76	c  683s |      15 |  5314829 |    89432 |  1631406      0 |        1 |       12
715.85/716.00	c  686s |      15 |  5315079 |    89532 |  1631406      0 |        1 |       12
717.95/718.17	c  688s |      15 |  5319538 |    89932 |  1631406      0 |        1 |       12
720.65/720.85	c  690s |      15 |  5320076 |    90232 |  1631406      0 |        1 |       12
723.15/723.32	c  693s |      15 |  5320571 |    90532 |  1631406      0 |        1 |       12
725.64/725.82	c  695s |      15 |  5321026 |    90832 |  1631406      0 |        1 |       12
728.04/728.21	c  698s |      15 |  5321555 |    91132 |  1631406      0 |        1 |       12
730.55/730.71	c  700s |      15 |  5322087 |    91432 |  1631406      0 |        1 |       12
732.84/733.01	c  703s |      15 |  5322544 |    91732 |  1631406      0 |        1 |       12
735.04/735.25	c  705s |      15 |  5323047 |    92032 |  1631406      0 |        1 |       12
737.54/737.70	c  707s |      15 |  5323505 |    92332 |  1631406      0 |        1 |       12
739.74/739.95	c  710s |      15 |  5323938 |    92632 |  1631406      0 |        1 |       12
741.94/742.12	c  712s |      15 |  5324363 |    92932 |  1631406      0 |        1 |       12
744.64/744.81	c  714s |      15 |  5324843 |    93232 |  1631406      0 |        1 |       12
747.25/747.43	c  717s |      15 |  5325278 |    93532 |  1631406      0 |        1 |       12
749.45/749.62	c  719s |      15 |  5325691 |    93832 |  1631406      0 |        1 |       12
751.55/751.75	c  721s |      15 |  5326072 |    94132 |  1631406      0 |        1 |       12
753.95/754.19	c  724s |      15 |  5329085 |    94532 |  1631406      0 |        1 |       12
756.45/756.62	c  726s |      15 |  5329502 |    94832 |  1631406      0 |        1 |       12
759.15/759.31	c  729s |      15 |  5329928 |    95132 |  1631406      0 |        1 |       12
761.75/761.96	c  732s |      15 |  5330333 |    95432 |  1631406      0 |        1 |       12
764.35/764.53	c  734s |      15 |  5330755 |    95732 |  1631406      0 |        1 |       12
766.55/766.73	c  736s |      15 |  5331010 |    95932 |  1631406      0 |        1 |       12
769.15/769.32	c  739s |      15 |  5331493 |    96232 |  1631406      0 |        1 |       12
771.34/771.56	c  741s |      15 |  5331874 |    96532 |  1631406      0 |        1 |       12
774.04/774.23	c  744s |      15 |  5332266 |    96832 |  1631406      0 |        1 |       12
776.14/776.34	c  746s |      15 |  5332542 |    97032 |  1631406      0 |        1 |       12
779.04/779.25	c  749s |      15 |  5332977 |    97332 |  1631406      0 |        1 |       12
781.64/781.80	c  751s |      15 |  5333375 |    97632 |  1631406      0 |        1 |       12
784.34/784.57	c  754s |      15 |  5333864 |    97932 |  1631406      0 |        1 |       12
786.94/787.11	c  757s |      15 |  5334221 |    98232 |  1631406      0 |        1 |       12
789.64/789.80	c  759s |      15 |  5334593 |    98532 |  1631406      0 |        1 |       12
792.24/792.41	c  762s |      15 |  5334979 |    98832 |  1631406      0 |        1 |       12
795.04/795.23	c  765s |      15 |  5335262 |    99032 |  1631406      0 |        1 |       12
797.64/797.80	c  767s |      15 |  5335767 |    99432 |  1631406      0 |        1 |       12
800.14/800.31	c  770s |      15 |  5336266 |    99832 |  1631406      0 |        1 |       12
802.44/802.68	c  772s |      15 |  5336626 |   100132 |  1631406      0 |        1 |       12
805.24/805.41	c  775s |      15 |  5336980 |   100432 |  1631406      0 |        1 |       12
807.93/808.18	c  778s |      15 |  5337586 |   100732 |  1631406      0 |        1 |       12
810.13/810.30	c  780s |      15 |  5337844 |   100932 |  1631406      0 |        1 |       12
812.63/812.88	c  782s |      15 |  5338286 |   101232 |  1631406      0 |        1 |       12
814.73/814.98	c  785s |      15 |  5338761 |   101532 |  1631406      0 |        1 |       12
817.03/817.28	c  787s |      15 |  5339226 |   101832 |  1631406      0 |        1 |       12
819.43/819.65	c  789s |      15 |  5339762 |   102132 |  1631406      0 |        1 |       12
822.13/822.37	c  792s |      15 |  5340284 |   102432 |  1631406      0 |        1 |       12
824.73/824.97	c  795s |      15 |  5340808 |   102832 |  1631406      0 |        1 |       12
827.34/827.56	c  797s |      15 |  5341221 |   103132 |  1631406      0 |        1 |       12
829.93/830.15	c  800s |      15 |  5341624 |   103432 |  1631406      0 |        1 |       12
832.13/832.32	c  802s |      15 |  5341887 |   103632 |  1631406      0 |        1 |       12
834.63/834.81	c  804s |      15 |  5342355 |   103932 |  1631406      0 |        1 |       12
837.13/837.33	c  807s |      15 |  5342733 |   104232 |  1631406      0 |        1 |       12
839.93/840.13	c  810s |      15 |  5343118 |   104532 |  1631406      0 |        1 |       12
842.13/842.33	c  812s |      15 |  5343509 |   104832 |  1631406      0 |        1 |       12
844.33/844.55	c  814s |      15 |  5343874 |   105032 |  1631406      0 |        1 |       12
846.33/846.55	c  816s |      15 |  5344186 |   105232 |  1631406      0 |        1 |       12
848.52/848.72	c  818s |      15 |  5344528 |   105432 |  1631406      0 |        1 |       12
851.53/851.77	c  821s |      15 |  5344908 |   105732 |  1631406      0 |        1 |       12
853.82/854.02	c  824s |      15 |  5345197 |   105932 |  1631406      0 |        1 |       12
855.93/856.18	c  826s |      15 |  5345458 |   106132 |  1631406      0 |        1 |       12
858.73/858.95	c  829s |      15 |  5345869 |   106432 |  1631406      0 |        1 |       12
861.13/861.38	c  831s |      15 |  5346202 |   106732 |  1631406      0 |        1 |       12
863.62/863.89	c  833s |      15 |  5346555 |   107032 |  1631406      0 |        1 |       12
866.03/866.25	c  836s |      15 |  5346929 |   107332 |  1631406      0 |        1 |       12
868.72/868.95	c  839s |      15 |  5347428 |   107732 |  1631406      0 |        1 |       12
871.23/871.41	c  841s |      15 |  5347680 |   107932 |  1631406      0 |        1 |       12
873.43/873.61	c  843s |      15 |  5348031 |   108232 |  1631406      0 |        1 |       12
875.42/875.68	c  845s |      15 |  5348360 |   108532 |  1631406      0 |        1 |       12
878.12/878.39	c  848s |      15 |  5348787 |   108832 |  1631406      0 |        1 |       12
880.92/881.14	c  851s |      15 |  5349217 |   109132 |  1631406      0 |        1 |       12
883.82/884.01	c  854s |      15 |  5349584 |   109432 |  1631406      0 |        1 |       12
886.22/886.42	c  856s |      15 |  5349994 |   109732 |  1631406      0 |        1 |       12
888.83/889.01	c  859s |      15 |  5350391 |   110032 |  1631406      0 |        1 |       12
890.92/891.18	c  861s |      15 |  5350736 |   110332 |  1631406      0 |        1 |       12
893.02/893.25	c  863s |      15 |  5351103 |   110632 |  1631406      0 |        1 |       12
895.72/895.97	c  866s |      15 |  5351613 |   110932 |  1631406      0 |        1 |       12
898.82/899.05	c  869s |      15 |  5352049 |   111232 |  1631406      0 |        1 |       12
901.81/902.03	c  872s |      15 |  5352402 |   111532 |  1631406      0 |        1 |       12
904.81/905.01	c  875s |      15 |  5352793 |   111832 |  1631406      0 |        1 |       12
907.62/907.87	c  877s |      15 |  5353153 |   112132 |  1631406      0 |        1 |       12
909.72/909.93	c  879s |      15 |  5353438 |   112332 |  1631406      0 |        1 |       12
911.81/912.08	c  882s |      15 |  5353694 |   112532 |  1631406      0 |        1 |       12
914.41/914.65	c  884s |      15 |  5354042 |   112832 |  1631406      0 |        1 |       12
916.42/916.70	c  886s |      15 |  5354310 |   113032 |  1631406      0 |        1 |       12
919.51/919.74	c  889s |      15 |  5354664 |   113332 |  1631406      0 |        1 |       12
921.91/922.19	c  892s |      15 |  5354920 |   113532 |  1631406      0 |        1 |       12
924.61/924.88	c  894s |      15 |  5355259 |   113832 |  1631406      0 |        1 |       12
927.91/928.10	c  898s |      15 |  5355637 |   114132 |  1631406      0 |        1 |       12
930.11/930.38	c  900s |      15 |  5355927 |   114332 |  1631406      0 |        1 |       12
932.11/932.39	c  902s |      15 |  5356179 |   114532 |  1631406      0 |        1 |       12
934.81/935.01	c  905s |      15 |  5356527 |   114832 |  1631406      0 |        1 |       12
937.21/937.46	c  907s |      15 |  5356858 |   115132 |  1631406      0 |        1 |       12
940.31/940.50	c  910s |      15 |  5357299 |   115432 |  1631406      0 |        1 |       12
942.60/942.80	c  912s |      15 |  5357556 |   115632 |  1631406      0 |        1 |       12
946.50/946.74	c  916s |      15 |  5358013 |   115932 |  1631406      0 |        1 |       12
949.31/949.54	c  919s |      15 |  5358385 |   116232 |  1631406      0 |        1 |       12
951.40/951.61	c  921s |      15 |  5358605 |   116432 |  1631406      0 |        1 |       12
953.60/953.81	c  923s |      15 |  5358856 |   116632 |  1631406      0 |        1 |       12
955.60/955.88	c  925s |      15 |  5359219 |   116832 |  1631406      0 |        1 |       12
958.00/958.25	c  928s |      15 |  5359460 |   117032 |  1631406      0 |        1 |       12
960.30/960.56	c  930s |      15 |  5359803 |   117332 |  1631406      0 |        1 |       12
962.39/962.70	c  932s |      15 |  5360246 |   117732 |  1631406      0 |        1 |       12
965.39/965.68	c  935s |      15 |  5360648 |   118032 |  1631406      0 |        1 |       12
967.69/967.90	c  937s |      15 |  5360921 |   118232 |  1631406      0 |        1 |       12
969.79/970.09	c  940s |      15 |  5361151 |   118432 |  1631406      0 |        1 |       12
972.09/972.30	c  942s |      15 |  5361435 |   118632 |  1631406      0 |        1 |       12
974.39/974.62	c  944s |      15 |  5361688 |   118832 |  1631406      0 |        1 |       12
977.09/977.35	c  947s |      15 |  5362089 |   119132 |  1631406      0 |        1 |       12
979.39/979.67	c  949s |      15 |  5362311 |   119332 |  1631406      0 |        1 |       12
981.69/981.93	c  951s |      15 |  5362566 |   119532 |  1631406      0 |        1 |       12
983.69/983.96	c  954s |      15 |  5362832 |   119732 |  1631406      0 |        1 |       12
985.69/985.98	c  956s |      15 |  5363065 |   119932 |  1631406      0 |        1 |       12
987.80/988.10	c  958s |      15 |  5363333 |   120132 |  1631406      0 |        1 |       12
990.79/991.00	c  961s |      15 |  5363689 |   120432 |  1631406      0 |        1 |       12
992.99/993.21	c  963s |      15 |  5363937 |   120632 |  1631406      0 |        1 |       12
994.99/995.22	c  965s |      15 |  5364156 |   120832 |  1631406      0 |        1 |       12
996.99/997.28	c  967s |      15 |  5364405 |   121032 |  1631406      0 |        1 |       12
999.09/999.35	c  969s |      15 |  5364810 |   121332 |  1631406      0 |        1 |       12
1001.78/1002.04	c  972s |      15 |  5365294 |   121732 |  1631406      0 |        1 |       12
1004.09/1004.31	c  974s |      15 |  5365619 |   122032 |  1631406      0 |        1 |       12
1007.18/1007.42	c  977s |      15 |  5365964 |   122332 |  1631406      0 |        1 |       12
1010.38/1010.64	c  980s |      15 |  5366392 |   122632 |  1631406      0 |        1 |       12
1012.78/1013.02	c  983s |      15 |  5366649 |   122832 |  1631406      0 |        1 |       12
1015.29/1015.53	c  985s |      15 |  5366912 |   123032 |  1631406      0 |        1 |       12
1017.68/1017.98	c  988s |      15 |  5367140 |   123232 |  1631406      0 |        1 |       12
1020.08/1020.30	c  990s |      15 |  5367422 |   123432 |  1631406      0 |        1 |       12
1022.28/1022.55	c  992s |      15 |  5367732 |   123632 |  1631406      0 |        1 |       12
1024.78/1025.05	c  995s |      15 |  5368023 |   123832 |  1631406      0 |        1 |       12
1027.18/1027.45	c  997s |      15 |  5368316 |   124032 |  1631406      0 |        1 |       12
1029.18/1029.49	c  999s |      15 |  5368560 |   124232 |  1631406      0 |        1 |       12
1031.28/1031.50	c 1001s |      15 |  5368810 |   124432 |  1631406      0 |        1 |       12
1033.88/1034.15	c 1004s |      15 |  5369162 |   124732 |  1631406      0 |        1 |       12
1035.98/1036.26	c 1006s |      15 |  5369421 |   124932 |  1631406      0 |        1 |       12
1038.68/1038.97	c 1009s |      15 |  5369680 |   125132 |  1631406      0 |        1 |       12
1040.87/1041.12	c 1011s |      15 |  5369894 |   125332 |  1631406      0 |        1 |       12
1043.17/1043.41	c 1013s |      15 |  5370142 |   125532 |  1631406      0 |        1 |       12
1045.47/1045.76	c 1015s |      15 |  5370392 |   125732 |  1631406      0 |        1 |       12
1047.87/1048.14	c 1018s |      15 |  5370641 |   125932 |  1631406      0 |        1 |       12
1050.28/1050.52	c 1020s |      15 |  5370910 |   126132 |  1631406      0 |        1 |       12
1052.69/1052.91	c 1022s |      15 |  5371127 |   126332 |  1631406      0 |        1 |       12
1055.48/1055.79	c 1025s |      15 |  5371409 |   126532 |  1631406      0 |        1 |       12
1057.97/1058.20	c 1028s |      15 |  5371637 |   126732 |  1631406      0 |        1 |       12
1059.98/1060.26	c 1030s |      15 |  5371910 |   126932 |  1631406      0 |        1 |       12
1062.58/1062.84	c 1032s |      15 |  5372152 |   127132 |  1631406      0 |        1 |       12
1065.27/1065.53	c 1035s |      15 |  5372290 |   127232 |  1631406      0 |        1 |       12
1067.77/1068.02	c 1038s |      15 |  5372537 |   127432 |  1631406      0 |        1 |       12
1069.97/1070.23	c 1040s |      15 |  5372773 |   127632 |  1631406      0 |        1 |       12
1072.48/1072.72	c 1042s |      15 |  5373124 |   127932 |  1631406      0 |        1 |       12
1074.57/1074.81	c 1044s |      15 |  5373352 |   128132 |  1631406      0 |        1 |       12
1076.67/1076.91	c 1046s |      15 |  5373570 |   128332 |  1631406      0 |        1 |       12
1079.18/1079.47	c 1049s |      15 |  5373881 |   128532 |  1631406      0 |        1 |       12
1082.17/1082.44	c 1052s |      15 |  5374228 |   128832 |  1631406      0 |        1 |       12
1084.47/1084.80	c 1054s |      15 |  5374479 |   129032 |  1631406      0 |        1 |       12
1087.17/1087.40	c 1057s |      15 |  5374733 |   129232 |  1631406      0 |        1 |       12
1089.87/1090.11	c 1060s |      15 |  5375039 |   129432 |  1631406      0 |        1 |       12
1092.97/1093.25	c 1063s |      15 |  5375308 |   129632 |  1631406      0 |        1 |       12
1095.37/1095.69	c 1065s |      15 |  5375563 |   129832 |  1631406      0 |        1 |       12
1097.77/1098.01	c 1068s |      15 |  5375865 |   130032 |  1631406      0 |        1 |       12
1100.36/1100.66	c 1070s |      15 |  5376140 |   130232 |  1631406      0 |        1 |       12
1103.38/1103.66	c 1073s |      15 |  5376576 |   130532 |  1631406      0 |        1 |       12
1105.97/1106.26	c 1076s |      15 |  5376809 |   130732 |  1794547      0 |        1 |       12
1108.06/1108.34	c 1078s |      15 |  5377075 |   130932 |  1794547      0 |        1 |       12
1110.66/1110.98	c 1081s |      15 |  5377555 |   131332 |  1794547      0 |        1 |       12
1113.87/1114.13	c 1084s |      15 |  5377792 |   131532 |  1794547      0 |        1 |       12
1114.07/1114.32	c 1084s |      16 |  5377810 |   131552 |  1794547      0 |        1 |       12
1119.47/1119.72	c 1089s |      16 |  5433635 |   131652 |  1794547      0 |        1 |       12
1121.66/1121.91	c 1091s |      16 |  5477609 |   131752 |  1794547      0 |        1 |       12
1124.46/1124.78	c 1094s |      16 |  5481159 |   132652 |  1794547      0 |        1 |       12
1127.47/1127.78	c 1097s |      16 |  5482128 |   132952 |  1794547      0 |        1 |       12
1129.66/1129.93	c 1099s |      16 |  5483025 |   133152 |  1794547      0 |        1 |       12
1132.36/1132.68	c 1102s |      16 |  5483666 |   133452 |  1794547      0 |        1 |       12
1135.35/1135.64	c 1105s |      16 |  5484763 |   133752 |  1794547      0 |        1 |       12
1138.06/1138.33	c 1108s |      16 |  5485608 |   134052 |  1794547      0 |        1 |       12
1140.15/1140.49	c 1110s |      16 |  5486010 |   134252 |  1794547      0 |        1 |       12
1143.15/1143.46	c 1113s |      16 |  5486710 |   134552 |  1794547      0 |        1 |       12
1145.55/1145.84	c 1115s |      16 |  5487022 |   134752 |  1794547      0 |        1 |       12
1149.64/1149.98	c 1120s |      16 |  5487516 |   135052 |  1794547      0 |        1 |       12
1151.65/1152.00	c 1122s |      16 |  5487890 |   135352 |  1794547      0 |        1 |       12
1153.74/1154.04	c 1124s |      16 |  5488175 |   135552 |  1794547      0 |        1 |       12
1155.94/1156.22	c 1126s |      16 |  5488456 |   135752 |  1794547      0 |        1 |       12
1158.14/1158.41	c 1128s |      16 |  5488712 |   135952 |  1794547      0 |        1 |       12
1160.25/1160.52	c 1130s |      16 |  5489566 |   136252 |  1794547      0 |        1 |       12
1162.95/1163.26	c 1133s |      16 |  5490246 |   136552 |  1794547      0 |        1 |       12
1165.05/1165.32	c 1135s |      16 |  5490745 |   136752 |  1794547      0 |        1 |       12
1167.75/1168.08	c 1138s |      16 |  5492050 |   137052 |  1794547      0 |        1 |       12
1170.75/1171.09	c 1141s |      16 |  5501510 |   137552 |  1794547      0 |        1 |       12
1173.04/1173.38	c 1143s |      16 |  5501901 |   137752 |  1794547      0 |        1 |       12
1176.04/1176.31	c 1146s |      16 |  5502235 |   137952 |  1794547      0 |        1 |       12
1179.64/1179.92	c 1149s |      16 |  5503117 |   138252 |  1794547      0 |        1 |       12
1182.35/1182.61	c 1152s |      16 |  5503503 |   138452 |  1794547      0 |        1 |       12
1184.65/1184.99	c 1155s |      16 |  5508354 |   138752 |  1794547      0 |        1 |       12
1187.15/1187.49	c 1157s |      16 |  5511559 |   139052 |  1794547      0 |        1 |       12
1189.54/1189.85	c 1159s |      16 |  5512611 |   139252 |  1794547      0 |        1 |       12
1191.84/1192.12	c 1162s |      16 |  5513765 |   139652 |  1794547      0 |        1 |       12
1193.84/1194.13	c 1164s |      16 |  5516202 |   140052 |  1794547      0 |        1 |       12
1196.04/1196.34	c 1166s |      16 |  5525956 |   140752 |  1794547      0 |        1 |       12
1198.24/1198.55	c 1168s |      16 |  5529703 |   141452 |  1794547      0 |        1 |       12
1200.23/1200.57	c 1170s |      16 |  5532631 |   141952 |  1794547      0 |        1 |       12
1202.34/1202.65	c 1172s |      16 |  5540089 |   142752 |  1794547      0 |        1 |       12
1204.63/1204.99	c 1175s |      16 |  5544440 |   143452 |  1794547      0 |        1 |       12
1207.43/1207.73	c 1177s |      16 |  5554274 |   144352 |  1794547      0 |        1 |       12
1209.83/1210.11	c 1180s |      16 |  5556590 |   144652 |  1794547      0 |        1 |       12
1212.04/1212.37	c 1182s |      16 |  5557386 |   144852 |  1794547      0 |        1 |       12
1214.44/1214.73	c 1184s |      16 |  5557698 |   145052 |  1794547      0 |        1 |       12
1216.94/1217.29	c 1187s |      16 |  5557962 |   145252 |  1794547      0 |        1 |       12
1219.34/1219.62	c 1189s |      16 |  5558204 |   145452 |  1794547      0 |        1 |       12
1222.23/1222.56	c 1192s |      16 |  5558658 |   145752 |  1794547      0 |        1 |       12
1224.43/1224.79	c 1194s |      16 |  5558907 |   145952 |  1794547      0 |        1 |       12
1226.83/1227.14	c 1197s |      16 |  5559164 |   146152 |  1794547      0 |        1 |       12
1230.13/1230.40	c 1200s |      16 |  5559584 |   146352 |  1794547      0 |        1 |       12
1232.53/1232.83	c 1202s |      16 |  5560829 |   146652 |  1794547      0 |        1 |       12
1234.73/1235.01	c 1205s |      16 |  5561388 |   146952 |  1794547      0 |        1 |       12
1237.03/1237.35	c 1207s |      16 |  5561819 |   147252 |  1794547      0 |        1 |       12
1239.83/1240.14	c 1210s |      16 |  5562220 |   147552 |  1794547      0 |        1 |       12
1241.94/1242.22	c 1212s |      16 |  5562450 |   147752 |  1794547      0 |        1 |       12
1244.83/1245.10	c 1215s |      16 |  5562863 |   148052 |  1794547      0 |        1 |       12
1247.34/1247.68	c 1217s |      16 |  5563317 |   148352 |  1794547      0 |        1 |       12
1250.33/1250.68	c 1220s |      16 |  5563709 |   148652 |  1794547      0 |        1 |       12
1253.43/1253.78	c 1223s |      16 |  5564091 |   148952 |  1794547      0 |        1 |       12
1256.33/1256.67	c 1226s |      16 |  5564546 |   149252 |  1794547      0 |        1 |       12
1258.43/1258.70	c 1228s |      16 |  5572952 |   150052 |  1794547      0 |        1 |       12
1260.73/1261.00	c 1231s |      16 |  5576562 |   150552 |  1794547      0 |        1 |       12
1263.63/1263.92	c 1233s |      16 |  5577128 |   150852 |  1794547      0 |        1 |       12
1266.22/1266.53	c 1236s |      16 |  5577388 |   151052 |  1794547      0 |        1 |       12
1268.24/1268.56	c 1238s |      16 |  5577916 |   151252 |  1794547      0 |        1 |       12
1270.32/1270.61	c 1240s |      16 |  5578931 |   151452 |  1794547      0 |        1 |       12
1272.73/1273.04	c 1243s |      16 |  5579777 |   151852 |  1794547      0 |        1 |       12
1274.72/1275.06	c 1245s |      16 |  5580211 |   152152 |  1794547      0 |        1 |       12
1276.82/1277.18	c 1247s |      16 |  5580830 |   152452 |  1794547      0 |        1 |       12
1279.62/1279.90	c 1249s |      16 |  5581646 |   152852 |  1794547      0 |        1 |       12
1282.23/1282.50	c 1252s |      16 |  5582051 |   153152 |  1794547      0 |        1 |       12
1285.02/1285.31	c 1255s |      16 |  5583278 |   153552 |  1794547      0 |        1 |       12
1287.53/1287.83	c 1257s |      16 |  5583954 |   153852 |  1794547      0 |        1 |       12
1290.12/1290.43	c 1260s |      16 |  5584504 |   154152 |  1794547      0 |        1 |       12
1292.32/1292.62	c 1262s |      16 |  5585629 |   154452 |  1794547      0 |        1 |       12
1294.82/1295.14	c 1265s |      16 |  5586216 |   154752 |  1794547      0 |        1 |       12
1299.12/1299.41	c 1269s |      16 |  5629491 |   154952 |  1794547      0 |        1 |       12
1307.83/1308.11	c 1278s |      16 |  5741246 |   155052 |  1794547      0 |        1 |       12
1309.92/1310.21	c 1280s |      16 |  5799652 |   155252 |  1794547      0 |        1 |       12
1312.12/1312.46	c 1282s |      16 |  5885527 |   155752 |  1794547      0 |        1 |       12
1314.62/1314.94	c 1284s |      16 |  5945595 |   156452 |  1794547      0 |        1 |       12
1317.61/1317.92	c 1287s |      16 |  5970073 |   156552 |  1794547      0 |        1 |       12
1320.12/1320.49	c 1290s |      16 |  5993414 |   156652 |  1794547      0 |        1 |       12
1322.22/1322.59	c 1292s |      16 |  6059891 |   157152 |  1794547      0 |        1 |       12
1325.52/1325.88	c 1295s |      16 |  6085425 |   157452 |  1794547      0 |        1 |       12
1328.72/1329.05	c 1299s |      16 |  6148212 |   157952 |  1794547      0 |        1 |       12
1331.61/1331.91	c 1301s |      16 |  6182651 |   158152 |  1794547      0 |        1 |       12
1335.51/1335.84	c 1305s |      16 |  6242860 |   158652 |  1794547      0 |        1 |       12
1337.71/1338.00	c 1308s |      16 |  6243768 |   158852 |  1794547      0 |        1 |       12
1339.82/1340.15	c 1310s |      16 |  6265104 |   159152 |  1794547      0 |        1 |       12
1342.21/1342.58	c 1312s |      16 |  6285035 |   159352 |  1794547      0 |        1 |       12
1344.81/1345.16	c 1315s |      16 |  6305432 |   159752 |  1794547      0 |        1 |       12
1347.31/1347.68	c 1317s |      16 |  6345088 |   160052 |  1794547      0 |        1 |       12
1349.91/1350.25	c 1320s |      16 |  6356574 |   160352 |  1794547      0 |        1 |       12
1352.41/1352.72	c 1322s |      16 |  6386441 |   160752 |  1794547      0 |        1 |       12
1354.61/1354.99	c 1325s |      16 |  6435334 |   161152 |  1794547      0 |        1 |       12
1357.31/1357.64	c 1327s |      16 |  6457598 |   161452 |  1794547      0 |        1 |       12
1359.52/1359.84	c 1329s |      16 |  6463007 |   161652 |  1794547      0 |        1 |       12
1361.72/1362.05	c 1332s |      16 |  6468298 |   161952 |  1794547      0 |        1 |       12
1364.81/1365.10	c 1335s |      16 |  6482547 |   162252 |  1794547      0 |        1 |       12
1367.51/1367.85	c 1337s |      16 |  6495513 |   162552 |  1794547      0 |        1 |       12
1370.21/1370.58	c 1340s |      16 |  6535078 |   162952 |  1794547      0 |        1 |       12
1372.51/1372.81	c 1342s |      16 |  6592630 |   163252 |  1794547      0 |        1 |       12
1375.01/1375.39	c 1345s |      16 |  6635600 |   163552 |  1794547      0 |        1 |       12
1377.80/1378.14	c 1348s |      16 |  6641278 |   163652 |  1794547      0 |        1 |       12
1380.30/1380.65	c 1350s |      16 |  6644764 |   163952 |  1794547      0 |        1 |       12
1382.80/1383.12	c 1353s |      16 |  6656278 |   164252 |  1794547      0 |        1 |       12
1385.00/1385.40	c 1355s |      16 |  6669959 |   164652 |  1794547      0 |        1 |       12
1387.20/1387.59	c 1357s |      16 |  6674773 |   164852 |  1794547      0 |        1 |       12
1389.90/1390.22	c 1360s |      16 |  6678512 |   165152 |  1794547      0 |        1 |       12
1391.90/1392.26	c 1362s |      16 |  6682154 |   165352 |  1794547      0 |        1 |       12
1394.00/1394.38	c 1364s |      16 |  6684931 |   165552 |  1794547      0 |        1 |       12
1396.40/1396.70	c 1366s |      16 |  6685619 |   165752 |  1794547      0 |        1 |       12
1398.70/1399.08	c 1369s |      16 |  6685896 |   165952 |  1794547      0 |        1 |       12
1401.10/1401.48	c 1371s |      16 |  6686401 |   166152 |  1794547      0 |        1 |       12
1403.70/1404.06	c 1374s |      16 |  6687611 |   166352 |  1794547      0 |        1 |       12
1406.20/1406.54	c 1376s |      16 |  6688927 |   166552 |  1794547      0 |        1 |       12
1410.20/1410.54	c 1380s |      16 |  6689899 |   166852 |  1794547      0 |        1 |       12
1412.80/1413.15	c 1383s |      16 |  6690482 |   167152 |  1794547      0 |        1 |       12
1415.50/1415.88	c 1385s |      16 |  6690860 |   167452 |  1794547      0 |        1 |       12
1417.80/1418.17	c 1388s |      16 |  6691637 |   167652 |  1794547      0 |        1 |       12
1420.49/1420.82	c 1390s |      16 |  6692630 |   167852 |  1794547      0 |        1 |       12
1423.10/1423.45	c 1393s |      16 |  6693331 |   168052 |  1794547      0 |        1 |       12
1425.39/1425.79	c 1395s |      16 |  6693607 |   168252 |  1794547      0 |        1 |       12
1427.70/1428.02	c 1398s |      16 |  6693949 |   168452 |  1794547      0 |        1 |       12
1430.19/1430.52	c 1400s |      16 |  6694639 |   168652 |  1794547      0 |        1 |       12
1432.59/1432.96	c 1403s |      16 |  6695267 |   168852 |  1794547      0 |        1 |       12
1435.30/1435.60	c 1405s |      16 |  6695745 |   169052 |  1794547      0 |        1 |       12
1437.29/1437.65	c 1407s |      16 |  6696015 |   169252 |  1794547      0 |        1 |       12
1440.19/1440.54	c 1410s |      16 |  6696150 |   169352 |  1794547      0 |        1 |       12
1442.79/1443.16	c 1413s |      16 |  6696458 |   169552 |  1794547      0 |        1 |       12
1445.50/1445.81	c 1415s |      16 |  6696732 |   169752 |  1794547      0 |        1 |       12
1447.79/1448.16	c 1418s |      16 |  6697442 |   169952 |  1794547      0 |        1 |       12
1450.19/1450.58	c 1420s |      16 |  6698039 |   170152 |  1794547      0 |        1 |       12
1452.99/1453.33	c 1423s |      16 |  6698395 |   170452 |  1794547      0 |        1 |       12
1455.59/1455.96	c 1426s |      16 |  6698842 |   170752 |  1794547      0 |        1 |       12
1457.99/1458.37	c 1428s |      16 |  6699501 |   170952 |  1794547      0 |        1 |       12
1460.08/1460.44	c 1430s |      16 |  6699804 |   171152 |  1794547      0 |        1 |       12
1462.28/1462.62	c 1432s |      16 |  6700057 |   171352 |  1794547      0 |        1 |       12
1464.69/1465.07	c 1435s |      16 |  6700322 |   171552 |  1794547      0 |        1 |       12
1467.18/1467.50	c 1437s |      16 |  6700442 |   171652 |  1794547      0 |        1 |       12
1469.28/1469.70	c 1439s |      16 |  6700693 |   171852 |  1794547      0 |        1 |       12
1471.38/1471.78	c 1441s |      16 |  6700932 |   172052 |  1794547      0 |        1 |       12
1474.58/1474.90	c 1444s |      16 |  6701279 |   172352 |  1794547      0 |        1 |       12
1477.38/1477.72	c 1447s |      16 |  6701522 |   172552 |  1794547      0 |        1 |       12
1479.49/1479.86	c 1449s |      16 |  6701773 |   172752 |  1794547      0 |        1 |       12
1481.87/1482.27	c 1452s |      16 |  6702157 |   172952 |  1794547      0 |        1 |       12
1484.28/1484.63	c 1454s |      16 |  6702770 |   173152 |  1794547      0 |        1 |       12
1486.98/1487.34	c 1457s |      16 |  6703050 |   173352 |  1794547      0 |        1 |       12
1489.88/1490.26	c 1460s |      16 |  6703290 |   173552 |  1794547      0 |        1 |       12
1491.88/1492.26	c 1462s |      16 |  6703528 |   173752 |  1794547      0 |        1 |       12
1494.57/1494.95	c 1465s |      16 |  6703685 |   173852 |  1794547      0 |        1 |       12
1497.17/1497.51	c 1467s |      16 |  6704114 |   174052 |  1794547      0 |        1 |       12
1499.78/1500.19	c 1470s |      16 |  6704346 |   174252 |  1794547      0 |        1 |       12
1501.87/1502.28	c 1472s |      16 |  6704587 |   174452 |  1794547      0 |        1 |       12
1504.48/1504.84	c 1474s |      16 |  6705184 |   174652 |  1794547      0 |        1 |       12
1507.17/1507.52	c 1477s |      16 |  6705984 |   174852 |  1794547      0 |        1 |       12
1510.07/1510.47	c 1480s |      16 |  6706309 |   175052 |  1794547      0 |        1 |       12
1512.27/1512.65	c 1482s |      16 |  6706561 |   175252 |  1794547      0 |        1 |       12
1514.26/1514.68	c 1484s |      16 |  6706808 |   175452 |  1794547      0 |        1 |       12
1517.27/1517.63	c 1487s |      16 |  6707164 |   175752 |  1794547      0 |        1 |       12
1520.18/1520.57	c 1490s |      16 |  6707491 |   176052 |  1794547      0 |        1 |       12
1523.97/1524.36	c 1494s |      16 |  6707980 |   176252 |  1794547      0 |        1 |       12
1526.47/1526.83	c 1496s |      16 |  6708351 |   176452 |  1794547      0 |        1 |       12
1528.87/1529.30	c 1499s |      16 |  6708599 |   176652 |  1794547      0 |        1 |       12
1531.47/1531.80	c 1501s |      16 |  6708852 |   176852 |  1794547      0 |        1 |       12
1533.66/1534.06	c 1504s |      16 |  6709102 |   177052 |  1794547      0 |        1 |       12
1536.16/1536.54	c 1506s |      16 |  6709391 |   177252 |  1794547      0 |        1 |       12
1539.16/1539.50	c 1509s |      16 |  6709713 |   177552 |  1794547      0 |        1 |       12
1541.26/1541.67	c 1511s |      16 |  6709929 |   177752 |  1794547      0 |        1 |       12
1543.47/1543.84	c 1513s |      16 |  6710210 |   177952 |  1794547      0 |        1 |       12
1545.76/1546.18	c 1516s |      16 |  6710456 |   178152 |  1794547      0 |        1 |       12
1548.06/1548.48	c 1518s |      16 |  6710702 |   178352 |  1794547      0 |        1 |       12
1551.77/1552.17	c 1522s |      16 |  6710927 |   178552 |  1794547      0 |        1 |       12
1553.97/1554.38	c 1524s |      16 |  6711195 |   178752 |  1794547      0 |        1 |       12
1556.47/1556.85	c 1526s |      16 |  6711460 |   178952 |  1794547      0 |        1 |       12
1558.57/1558.98	c 1529s |      16 |  6711817 |   179152 |  1794547      0 |        1 |       12
1561.46/1561.83	c 1531s |      16 |  6712169 |   179452 |  1794547      0 |        1 |       12
1563.96/1564.39	c 1534s |      16 |  6713994 |   179652 |  1794547      0 |        1 |       12
1566.16/1566.50	c 1536s |      16 |  6716787 |   179752 |  1794547      0 |        1 |       12
1568.16/1568.58	c 1538s |      16 |  6718789 |   179952 |  1794547      0 |        1 |       12
1570.66/1571.08	c 1541s |      16 |  6719674 |   180152 |  1794547      0 |        1 |       12
1572.86/1573.22	c 1543s |      16 |  6720896 |   180352 |  1794547      0 |        1 |       12
1576.05/1576.43	c 1546s |      16 |  6723657 |   180652 |  1794547      0 |        1 |       12
1578.55/1578.90	c 1548s |      16 |  6724933 |   180752 |  1794547      0 |        1 |       12
1581.05/1581.48	c 1551s |      16 |  6726227 |   180952 |  1794547      0 |        1 |       12
1583.65/1584.01	c 1554s |      16 |  6760349 |   181452 |  1794547      0 |        1 |       12
1586.66/1587.01	c 1557s |      16 |  6774246 |   181652 |  1794547      0 |        1 |       12
1588.96/1589.35	c 1559s |      16 |  6825862 |   182052 |  1794547      0 |        1 |       12
1591.56/1591.99	c 1562s |      16 |  6842775 |   182452 |  1794547      0 |        1 |       12
1593.86/1594.24	c 1564s |      16 |  6844406 |   182652 |  1794547      0 |        1 |       12
1596.06/1596.47	c 1566s |      16 |  6846429 |   182852 |  1794547      0 |        1 |       12
1598.55/1598.94	c 1569s |      16 |  6847137 |   183052 |  1794547      0 |        1 |       12
1600.75/1601.17	c 1571s |      16 |  6848539 |   183252 |  1794547      0 |        1 |       12
1604.55/1604.91	c 1574s |      16 |  6849730 |   183452 |  1794547      0 |        1 |       12
1606.75/1607.19	c 1577s |      16 |  6854489 |   183752 |  1794547      0 |        1 |       12
1608.85/1609.21	c 1579s |      16 |  6855075 |   183952 |  1794547      0 |        1 |       12
1611.15/1611.58	c 1581s |      16 |  6855774 |   184152 |  1794547      0 |        1 |       12
1613.45/1613.82	c 1583s |      16 |  6856416 |   184352 |  1794547      0 |        1 |       12
1615.54/1615.94	c 1586s |      16 |  6857032 |   184552 |  1794547      0 |        1 |       12
1618.05/1618.47	c 1588s |      16 |  6857486 |   184752 |  1794547      0 |        1 |       12
1620.85/1621.27	c 1591s |      16 |  6857807 |   184952 |  1794547      0 |        1 |       12
1623.56/1623.99	c 1594s |      16 |  6858080 |   185152 |  1794547      0 |        1 |       12
1625.84/1626.25	c 1596s |      16 |  6858644 |   185352 |  1794547      0 |        1 |       12
1629.64/1630.09	c 1600s |      16 |  6858875 |   185552 |  1794547      0 |        1 |       12
1632.54/1632.98	c 1603s |      16 |  6859375 |   185852 |  1794547      0 |        1 |       12
1634.94/1635.30	c 1605s |      16 |  6859673 |   186052 |  1794547      0 |        1 |       12
1637.43/1637.82	c 1607s |      16 |  6859974 |   186252 |  1794547      0 |        1 |       12
1639.74/1640.15	c 1610s |      16 |  6860277 |   186452 |  1794547      0 |        1 |       12
1642.24/1642.69	c 1612s |      16 |  6860848 |   186652 |  1794547      0 |        1 |       12
1645.24/1645.67	c 1615s |      16 |  6861112 |   186852 |  1794547      0 |        1 |       12
1648.33/1648.75	c 1618s |      16 |  6861387 |   187052 |  1794547      0 |        1 |       12
1651.24/1651.67	c 1621s |      16 |  6861645 |   187252 |  1794547      0 |        1 |       12
1653.94/1654.36	c 1624s |      16 |  6861873 |   187352 |  1794547      0 |        1 |       12
1656.44/1656.90	c 1626s |      16 |  6862272 |   187552 |  1794547      0 |        1 |       12
1659.24/1659.60	c 1629s |      16 |  6862602 |   187752 |  1794547      0 |        1 |       12
1661.84/1662.26	c 1632s |      16 |  6862877 |   187952 |  1794547      0 |        1 |       12
1664.43/1664.88	c 1634s |      16 |  6863161 |   188152 |  1794547      0 |        1 |       12
1666.93/1667.32	c 1637s |      16 |  6863455 |   188352 |  1794547      0 |        1 |       12
1669.13/1669.59	c 1639s |      16 |  6863761 |   188552 |  1794547      0 |        1 |       12
1671.53/1671.91	c 1641s |      16 |  6864046 |   188752 |  1794547      0 |        1 |       12
1674.54/1674.98	c 1645s |      16 |  6864454 |   189052 |  1794547      0 |        1 |       12
1676.93/1677.38	c 1647s |      16 |  6864767 |   189252 |  1794547      0 |        1 |       12
1680.84/1681.24	c 1651s |      16 |  6865147 |   189452 |  1794547      0 |        1 |       12
1683.04/1683.46	c 1653s |      16 |  6865384 |   189652 |  1794547      0 |        1 |       12
1685.63/1686.09	c 1656s |      16 |  6866001 |   189852 |  1794547      0 |        1 |       12
1688.03/1688.48	c 1658s |      16 |  6866438 |   190052 |  1794547      0 |        1 |       12
1690.43/1690.87	c 1660s |      16 |  6866773 |   190252 |  1794547      0 |        1 |       12
1693.03/1693.46	c 1663s |      16 |  6867086 |   190452 |  1794547      0 |        1 |       12
1695.23/1695.68	c 1665s |      16 |  6867383 |   190652 |  1794547      0 |        1 |       12
1697.73/1698.19	c 1668s |      16 |  6867622 |   190852 |  1794547      0 |        1 |       12
1700.23/1700.60	c 1670s |      16 |  6867855 |   191052 |  1794547      0 |        1 |       12
1704.63/1705.03	c 1675s |      16 |  6868183 |   191252 |  1794547      0 |        1 |       12
1707.33/1707.76	c 1677s |      16 |  6868437 |   191452 |  1794547      0 |        1 |       12
1709.73/1710.16	c 1680s |      16 |  6868725 |   191652 |  1794547      0 |        1 |       12
1712.43/1712.81	c 1682s |      16 |  6869025 |   191852 |  1794547      0 |        1 |       12
1715.32/1715.72	c 1685s |      16 |  6869564 |   192052 |  1794547      0 |        1 |       12
1718.32/1718.74	c 1688s |      16 |  6869819 |   192252 |  1794547      0 |        1 |       12
1721.11/1721.52	c 1691s |      16 |  6870479 |   192452 |  1794547      0 |        1 |       12
1723.72/1724.12	c 1694s |      16 |  6870761 |   192652 |  1794547      0 |        1 |       12
1726.62/1727.09	c 1697s |      16 |  6871015 |   192852 |  1794547      0 |        1 |       12
1729.51/1729.94	c 1700s |      16 |  6871138 |   192952 |  1794547      0 |        1 |       12
1732.52/1732.95	c 1703s |      16 |  6871455 |   193152 |  1794547      0 |        1 |       12
1735.73/1736.15	c 1706s |      16 |  6871885 |   193352 |  1794547      0 |        1 |       12
1738.92/1739.36	c 1709s |      16 |  6876298 |   193552 |  1794547      0 |        1 |       12
1742.42/1742.88	c 1712s |      16 |  6876782 |   193752 |  1794547      0 |        1 |       12
1745.62/1746.03	c 1716s |      16 |  6877039 |   193952 |  1794547      0 |        1 |       12
1748.21/1748.66	c 1718s |      16 |  6877995 |   194152 |  1794547      0 |        1 |       12
1750.32/1750.76	c 1720s |      16 |  6878471 |   194352 |  1794547      0 |        1 |       12
1752.72/1753.14	c 1723s |      16 |  6878737 |   194452 |  1794547      0 |        1 |       12
1754.91/1755.31	c 1725s |      16 |  6879059 |   194652 |  1794547      0 |        1 |       12
1757.81/1758.27	c 1728s |      16 |  6879314 |   194852 |  1794547      0 |        1 |       12
1761.21/1761.60	c 1731s |      16 |  6879563 |   195052 |  1794547      0 |        1 |       12
1764.01/1764.46	c 1734s |      16 |  6879838 |   195252 |  1794547      0 |        1 |       12
1767.11/1767.57	c 1737s |      16 |  6880272 |   195552 |  1794547      0 |        1 |       12
1769.51/1769.92	c 1739s |      16 |  6880544 |   195752 |  1794547      0 |        1 |       12
1771.92/1772.38	c 1742s |      16 |  6880787 |   195952 |  1794547      0 |        1 |       12
1774.51/1774.99	c 1745s |      16 |  6881511 |   196152 |  1974002      0 |        1 |       12
1778.61/1779.03	c 1749s |      16 |  6881915 |   196352 |  1974002      0 |        1 |       12
1781.21/1781.66	c 1751s |      16 |  6882162 |   196552 |  1974002      0 |        1 |       12
1783.90/1784.39	c 1754s |      16 |  6882418 |   196752 |  1974002      0 |        1 |       12
1786.60/1787.02	c 1757s |      16 |  6882895 |   196952 |  1974002      0 |        1 |       12
1789.51/1789.92	c 1759s |      16 |  6883110 |   197152 |  1974002      0 |        1 |       12
1792.00/1792.49	c 1762s |      16 |  6883373 |   197352 |  1974002      0 |        1 |       12
1793.80/1794.26	c 1764s |      17 |  6883448 |   197432 |  1974002      0 |        1 |       12
1797.40/1797.90	c 1767s |      17 |  6884450 |   197532 |  1974002      0 |        1 |       12

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

pid=7182
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.23 2.22 2.18 4/180 7185
/proc/meminfo: memFree=28993956/32872528 swapFree=15644/1722384
[pid=7185] ppid=7182 vsize=591428 CPUtime=0 cores=0,2,4,6
/proc/7185/stat : 7185 (toysat) R 7182 7185 4315 0 -1 4202496 2187 0 0 0 0 0 0 0 20 0 4 0 109438818 605622272 2036 33554432000 4194304 16246674 140735312538192 140735312537616 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7185/statm: 148625 2045 442 2943 0 145519 0
[pid=7185/tid=7186] ppid=7182 vsize=610884 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7186/stat : 7186 (toysat) S 7182 7185 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109438818 625545216 2108 33554432000 4194304 16246674 140735312538192 140690215382256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7187] ppid=7182 vsize=614980 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7187/stat : 7187 (toysat) S 7182 7185 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109438818 629739520 2125 33554432000 4194304 16246674 140735312538192 140690204892400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7188] ppid=7182 vsize=619076 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7188/stat : 7188 (toysat) S 7182 7185 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109438818 633933824 2141 33554432000 4194304 16246674 140735312538192 140690194418864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100223 s]
/proc/loadavg: 2.23 2.22 2.18 4/180 7185
/proc/meminfo: memFree=28993956/32872528 swapFree=15644/1722384
[pid=7185] ppid=7182 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/7185/stat : 7185 (toysat) R 7182 7185 4315 0 -1 4202496 30013 0 0 0 6 3 0 0 20 0 4 0 109438818 1249447936 29800 33554432000 4194304 16246674 140735312538192 140735312537504 4220490 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7185/statm: 305041 29800 802 2943 0 301935 0
[pid=7185/tid=7186] ppid=7182 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7186/stat : 7186 (toysat) S 7182 7185 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109438818 1249447936 29800 33554432000 4194304 16246674 140735312538192 140690215382256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7187] ppid=7182 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7187/stat : 7187 (toysat) S 7182 7185 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109438818 1249447936 29800 33554432000 4194304 16246674 140735312538192 140690204892400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7188] ppid=7182 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7188/stat : 7188 (toysat) S 7182 7185 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109438818 1249447936 29800 33554432000 4194304 16246674 140735312538192 140690194418864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200519 s]
/proc/loadavg: 2.23 2.22 2.18 4/180 7185
/proc/meminfo: memFree=28993956/32872528 swapFree=15644/1722384
[pid=7185] ppid=7182 vsize=1309252 CPUtime=0.19 cores=0,2,4,6
/proc/7185/stat : 7185 (toysat) R 7182 7185 4315 0 -1 4202496 51680 0 0 0 13 6 0 0 20 0 4 0 109438818 1340674048 51979 33554432000 4194304 16246674 140735312538192 140735312537504 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7185/statm: 327313 51985 802 2943 0 324207 0
[pid=7185/tid=7186] ppid=7182 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7186/stat : 7186 (toysat) S 7182 7185 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109438818 1340674048 51989 33554432000 4194304 16246674 140735312538192 140690215382256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7187] ppid=7182 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7187/stat : 7187 (toysat) S 7182 7185 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109438818 1340674048 51993 33554432000 4194304 16246674 140735312538192 140690204892400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7188] ppid=7182 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7188/stat : 7188 (toysat) S 7182 7185 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109438818 1341722624 52000 33554432000 4194304 16246674 140735312538192 140690194418864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1309252

[startup+0.300469 s]
/proc/loadavg: 2.23 2.22 2.18 4/180 7185
/proc/meminfo: memFree=28993956/32872528 swapFree=15644/1722384
[pid=7185] ppid=7182 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/7185/stat : 7185 (toysat) R 7182 7185 4315 0 -1 4202496 60788 0 0 0 22 7 0 0 20 0 4 0 109438818 1344868352 61086 33554432000 4194304 16246674 140735312538192 140735312537504 4225113 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7185/statm: 328337 61086 802 2943 0 325231 0
[pid=7185/tid=7186] ppid=7182 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7186/stat : 7186 (toysat) S 7182 7185 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109438818 1344868352 61086 33554432000 4194304 16246674 140735312538192 140690215382256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7187] ppid=7182 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7187/stat : 7187 (toysat) S 7182 7185 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109438818 1344868352 61086 33554432000 4194304 16246674 140735312538192 140690204892400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7188] ppid=7182 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7188/stat : 7188 (toysat) S 7182 7185 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109438818 1344868352 61086 33554432000 4194304 16246674 140735312538192 140690194418864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700406 s]
/proc/loadavg: 2.23 2.22 2.18 4/180 7185
/proc/meminfo: memFree=28993956/32872528 swapFree=15644/1722384
[pid=7185] ppid=7182 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/7185/stat : 7185 (toysat) R 7182 7185 4315 0 -1 4202496 68937 0 0 0 61 8 0 0 20 0 4 0 109438818 1344868352 69235 33554432000 4194304 16246674 140735312538192 140735312521184 7364507 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7185/statm: 328337 69235 802 2943 0 325231 0
[pid=7185/tid=7186] ppid=7182 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7186/stat : 7186 (toysat) S 7182 7185 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109438818 1344868352 69235 33554432000 4194304 16246674 140735312538192 140690215382256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7187] ppid=7182 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7187/stat : 7187 (toysat) S 7182 7185 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109438818 1344868352 69235 33554432000 4194304 16246674 140735312538192 140690204892400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7188] ppid=7182 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7188/stat : 7188 (toysat) S 7182 7185 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109438818 1344868352 69235 33554432000 4194304 16246674 140735312538192 140690194418864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50041 s]
/proc/loadavg: 2.29 2.24 2.19 4/184 7189
/proc/meminfo: memFree=28663788/32872528 swapFree=15644/1722384
[pid=7185] ppid=7182 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/7185/stat : 7185 (toysat) R 7182 7185 4315 0 -1 4202496 82490 0 0 0 139 10 0 0 20 0 4 0 109438818 1344868352 82788 33554432000 4194304 16246674 140735312538192 140735312521184 8055512 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7185/statm: 328337 82788 803 2943 0 325231 0
[pid=7185/tid=7186] ppid=7182 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7186/stat : 7186 (toysat) S 7182 7185 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109438818 1344868352 82788 33554432000 4194304 16246674 140735312538192 140690215382256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7187] ppid=7182 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7187/stat : 7187 (toysat) S 7182 7185 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109438818 1344868352 82788 33554432000 4194304 16246674 140735312538192 140690204892400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7188] ppid=7182 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7188/stat : 7188 (toysat) S 7182 7185 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109438818 1344868352 82788 33554432000 4194304 16246674 140735312538192 140690194418864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10036 s]
/proc/loadavg: 2.29 2.24 2.19 4/184 7189
/proc/meminfo: memFree=28438356/32872528 swapFree=15644/1722384
[pid=7185] ppid=7182 vsize=1337924 CPUtime=3.09 cores=0,2,4,6
/proc/7185/stat : 7185 (toysat) R 7182 7185 4315 0 -1 4202496 138842 0 0 0 291 18 0 0 20 0 4 0 109438818 1370034176 143228 33554432000 4194304 16246674 140735312538192 140735312536064 8058259 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7185/statm: 334481 143228 803 2943 0 331375 0
[pid=7185/tid=7186] ppid=7182 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7186/stat : 7186 (toysat) S 7182 7185 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109438818 1370034176 143228 33554432000 4194304 16246674 140735312538192 140690215382256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7187] ppid=7182 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7187/stat : 7187 (toysat) S 7182 7185 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109438818 1370034176 143228 33554432000 4194304 16246674 140735312538192 140690204892400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7188] ppid=7182 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7188/stat : 7188 (toysat) S 7182 7185 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109438818 1370034176 143228 33554432000 4194304 16246674 140735312538192 140690194418864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1337924

[startup+6.3004 s]
/proc/loadavg: 2.35 2.25 2.19 4/184 7189
/proc/meminfo: memFree=28062148/32872528 swapFree=15644/1722384
[pid=7185] ppid=7182 vsize=1387076 CPUtime=6.29 cores=0,2,4,6
/proc/7185/stat : 7185 (toysat) R 7182 7185 4315 0 -1 4202496 219848 0 0 0 598 31 0 0 20 0 4 0 109438818 1420365824 234454 33554432000 4194304 16246674 140735312538192 140735312537288 7383749 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7185/statm: 346769 234454 803 2943 0 343663 0
[pid=7185/tid=7186] ppid=7182 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7186/stat : 7186 (toysat) S 7182 7185 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109438818 1420365824 234454 33554432000 4194304 16246674 140735312538192 140690215382256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7187] ppid=7182 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7187/stat : 7187 (toysat) S 7182 7185 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109438818 1420365824 234454 33554432000 4194304 16246674 140735312538192 140690204892400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7188] ppid=7182 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7188/stat : 7188 (toysat) S 7182 7185 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109438818 1420365824 234454 33554432000 4194304 16246674 140735312538192 140690194418864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1387076

[startup+12.7004 s]
/proc/loadavg: 2.32 2.25 2.19 3/183 7189
/proc/meminfo: memFree=27760012/32872528 swapFree=15644/1722384
[pid=7185] ppid=7182 vsize=1472068 CPUtime=12.69 cores=0,2,4,6
/proc/7185/stat : 7185 (toysat) R 7182 7185 4315 0 -1 4202496 290764 0 0 0 1227 42 0 0 20 0 4 0 109438818 1507397632 308947 33554432000 4194304 16246674 140735312538192 140735312520064 4207010 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7185/statm: 368017 308947 849 2943 0 364911 0
[pid=7185/tid=7186] ppid=7182 vsize=1472068 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7186/stat : 7186 (toysat) S 7182 7185 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109438818 1507397632 308947 33554432000 4194304 16246674 140735312538192 140690215382256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7187] ppid=7182 vsize=1472068 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7187/stat : 7187 (toysat) S 7182 7185 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109438818 1507397632 308947 33554432000 4194304 16246674 140735312538192 140690204892400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7188] ppid=7182 vsize=1472068 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7188/stat : 7188 (toysat) S 7182 7185 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109438818 1507397632 308947 33554432000 4194304 16246674 140735312538192 140690194418864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1472068

[startup+25.5004 s]
/proc/loadavg: 2.27 2.24 2.19 3/183 7189
/proc/meminfo: memFree=26901324/32872528 swapFree=15644/1722384
[pid=7185] ppid=7182 vsize=2330180 CPUtime=25.49 cores=0,2,4,6
/proc/7185/stat : 7185 (toysat) R 7182 7185 4315 0 -1 4202496 505298 0 0 0 2481 68 0 0 20 0 4 0 109438818 2386104320 523481 33554432000 4194304 16246674 140735312538192 140735312537368 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7185/statm: 582545 523481 849 2943 0 579439 0
[pid=7185/tid=7186] ppid=7182 vsize=2330180 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7186/stat : 7186 (toysat) S 7182 7185 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109438818 2386104320 523481 33554432000 4194304 16246674 140735312538192 140690215382256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7187] ppid=7182 vsize=2330180 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7187/stat : 7187 (toysat) S 7182 7185 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109438818 2386104320 523481 33554432000 4194304 16246674 140735312538192 140690204892400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7188] ppid=7182 vsize=2330180 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7188/stat : 7188 (toysat) S 7182 7185 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109438818 2386104320 523481 33554432000 4194304 16246674 140735312538192 140690194418864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2330180

[startup+51.1004 s]
/proc/loadavg: 2.24 2.23 2.18 3/183 7189
/proc/meminfo: memFree=26496428/32872528 swapFree=15644/1722384
[pid=7185] ppid=7182 vsize=2733636 CPUtime=51.08 cores=0,2,4,6
/proc/7185/stat : 7185 (toysat) R 7182 7185 4315 0 -1 4202496 606205 0 0 0 5026 82 0 0 20 0 4 0 109438818 2799243264 624388 33554432000 4194304 16246674 140735312538192 140735312520064 5822592 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7185/statm: 683409 624388 891 2943 0 680303 0
[pid=7185/tid=7186] ppid=7182 vsize=2733636 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7186/stat : 7186 (toysat) S 7182 7185 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109438818 2799243264 624388 33554432000 4194304 16246674 140735312538192 140690215382256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7187] ppid=7182 vsize=2733636 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7187/stat : 7187 (toysat) S 7182 7185 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109438818 2799243264 624388 33554432000 4194304 16246674 140735312538192 140690204892400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7188] ppid=7182 vsize=2733636 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7188/stat : 7188 (toysat) S 7182 7185 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109438818 2799243264 624388 33554432000 4194304 16246674 140735312538192 140690194418864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2733636

[startup+102.3 s]
/proc/loadavg: 2.17 2.21 2.18 3/183 7190
/proc/meminfo: memFree=26496180/32872528 swapFree=15644/1722384
[pid=7185] ppid=7182 vsize=2733636 CPUtime=102.27 cores=0,2,4,6
/proc/7185/stat : 7185 (toysat) R 7182 7185 4315 0 -1 4202496 606205 0 0 0 10141 86 0 0 20 0 4 0 109438818 2799243264 624388 33554432000 4194304 16246674 140735312538192 140735312520064 5823584 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7185/statm: 683409 624388 891 2943 0 680303 0
[pid=7185/tid=7186] ppid=7182 vsize=2733636 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7186/stat : 7186 (toysat) S 7182 7185 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109438818 2799243264 624388 33554432000 4194304 16246674 140735312538192 140690215382256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7187] ppid=7182 vsize=2733636 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7187/stat : 7187 (toysat) S 7182 7185 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109438818 2799243264 624388 33554432000 4194304 16246674 140735312538192 140690204892400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7188] ppid=7182 vsize=2733636 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7188/stat : 7188 (toysat) S 7182 7185 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109438818 2799243264 624388 33554432000 4194304 16246674 140735312538192 140690194418864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2733636


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

/proc/7185/task/7188/stat : 7188 (toysat) S 7182 7185 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109438818 3136884736 706982 33554432000 4194304 16246674 140735312538192 140690194418864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 3063364

[startup+1302.3 s]
/proc/loadavg: 2.30 2.27 2.20 3/183 7291
/proc/meminfo: memFree=24681316/32872528 swapFree=15644/1722384
[pid=7185] ppid=7182 vsize=3093060 CPUtime=1302.02 cores=0,2,4,6
/proc/7185/stat : 7185 (toysat) R 7182 7185 4315 0 -1 4202496 696210 0 0 0 130053 149 0 0 20 0 4 0 109438818 3167293440 714504 33554432000 4194304 16246674 140735312538192 140735312537368 4220514 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7185/statm: 773265 714504 895 2943 0 770159 0
[pid=7185/tid=7186] ppid=7182 vsize=3093060 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7186/stat : 7186 (toysat) S 7182 7185 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109438818 3167293440 714504 33554432000 4194304 16246674 140735312538192 140690215382256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7187] ppid=7182 vsize=3093060 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7187/stat : 7187 (toysat) S 7182 7185 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109438818 3167293440 714504 33554432000 4194304 16246674 140735312538192 140690204892176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7188] ppid=7182 vsize=3093060 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7188/stat : 7188 (toysat) S 7182 7185 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109438818 3167293440 714504 33554432000 4194304 16246674 140735312538192 140690194418864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 3093060

[startup+1362.3 s]
/proc/loadavg: 2.32 2.27 2.20 3/183 7292
/proc/meminfo: memFree=24639560/32872528 swapFree=15644/1722384
[pid=7185] ppid=7182 vsize=3134020 CPUtime=1362.01 cores=0,2,4,6
/proc/7185/stat : 7185 (toysat) R 7182 7185 4315 0 -1 4202496 706450 0 0 0 136047 154 0 0 20 0 4 0 109438818 3209236480 724744 33554432000 4194304 16246674 140735312538192 140735312537368 5600072 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7185/statm: 783505 724744 895 2943 0 780399 0
[pid=7185/tid=7186] ppid=7182 vsize=3134020 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7186/stat : 7186 (toysat) S 7182 7185 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109438818 3209236480 724744 33554432000 4194304 16246674 140735312538192 140690215382256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7187] ppid=7182 vsize=3134020 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7187/stat : 7187 (toysat) S 7182 7185 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109438818 3209236480 724744 33554432000 4194304 16246674 140735312538192 140690204892400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7188] ppid=7182 vsize=3134020 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7188/stat : 7188 (toysat) S 7182 7185 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109438818 3209236480 724744 33554432000 4194304 16246674 140735312538192 140690194418864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 3134020

[startup+1422.3 s]
/proc/loadavg: 2.23 2.25 2.19 3/183 7293
/proc/meminfo: memFree=24618880/32872528 swapFree=15644/1722384
[pid=7185] ppid=7182 vsize=3155524 CPUtime=1422 cores=0,2,4,6
/proc/7185/stat : 7185 (toysat) R 7182 7185 4315 0 -1 4202496 711629 0 0 0 142037 163 0 0 20 0 4 0 109438818 3231256576 729913 33554432000 4194304 16246674 140735312538192 140735312537368 13898695 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7185/statm: 788881 729913 895 2943 0 785775 0
[pid=7185/tid=7186] ppid=7182 vsize=3155524 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7186/stat : 7186 (toysat) S 7182 7185 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109438818 3231256576 729913 33554432000 4194304 16246674 140735312538192 140690215382256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7187] ppid=7182 vsize=3155524 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7187/stat : 7187 (toysat) S 7182 7185 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109438818 3231256576 729913 33554432000 4194304 16246674 140735312538192 140690204892400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7188] ppid=7182 vsize=3155524 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7188/stat : 7188 (toysat) S 7182 7185 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109438818 3231256576 729913 33554432000 4194304 16246674 140735312538192 140690194418864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 3155524

[startup+1482.3 s]
/proc/loadavg: 2.25 2.26 2.20 3/183 7294
/proc/meminfo: memFree=24584924/32872528 swapFree=15644/1722384
[pid=7185] ppid=7182 vsize=3188292 CPUtime=1481.97 cores=0,2,4,6
/proc/7185/stat : 7185 (toysat) R 7182 7185 4315 0 -1 4202496 720038 0 0 0 148022 175 0 0 20 0 4 0 109438818 3264811008 738312 33554432000 4194304 16246674 140735312538192 140735312537368 4220815 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7185/statm: 797073 738312 895 2943 0 793967 0
[pid=7185/tid=7186] ppid=7182 vsize=3188292 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7186/stat : 7186 (toysat) S 7182 7185 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109438818 3264811008 738312 33554432000 4194304 16246674 140735312538192 140690215382256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7187] ppid=7182 vsize=3188292 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7187/stat : 7187 (toysat) S 7182 7185 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109438818 3264811008 738312 33554432000 4194304 16246674 140735312538192 140690204892400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7188] ppid=7182 vsize=3188292 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7188/stat : 7188 (toysat) S 7182 7185 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109438818 3264811008 738312 33554432000 4194304 16246674 140735312538192 140690194418864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 3188292

[startup+1542.3 s]
/proc/loadavg: 2.34 2.29 2.21 4/183 7296
/proc/meminfo: memFree=24550224/32872528 swapFree=15644/1722384
[pid=7185] ppid=7182 vsize=3223108 CPUtime=1541.96 cores=0,2,4,6
/proc/7185/stat : 7185 (toysat) R 7182 7185 4315 0 -1 4202496 728751 0 0 0 154008 188 0 0 20 0 4 0 109438818 3300462592 747016 33554432000 4194304 16246674 140735312538192 140735312537368 5822179 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7185/statm: 805777 747016 895 2943 0 802671 0
[pid=7185/tid=7186] ppid=7182 vsize=3223108 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7186/stat : 7186 (toysat) S 7182 7185 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109438818 3300462592 747016 33554432000 4194304 16246674 140735312538192 140690215382256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7187] ppid=7182 vsize=3223108 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7187/stat : 7187 (toysat) S 7182 7185 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109438818 3300462592 747016 33554432000 4194304 16246674 140735312538192 140690204892400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7188] ppid=7182 vsize=3223108 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7188/stat : 7188 (toysat) S 7182 7185 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109438818 3300462592 747016 33554432000 4194304 16246674 140735312538192 140690194418864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 3223108

[startup+1602.3 s]
/proc/loadavg: 2.34 2.29 2.21 3/183 7297
/proc/meminfo: memFree=24515280/32872528 swapFree=15644/1722384
[pid=7185] ppid=7182 vsize=3257924 CPUtime=1601.96 cores=0,2,4,6
/proc/7185/stat : 7185 (toysat) R 7182 7185 4315 0 -1 4202496 737459 0 0 0 159996 200 0 0 20 0 4 0 109438818 3336114176 755720 33554432000 4194304 16246674 140735312538192 140735312537288 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7185/statm: 814481 755720 895 2943 0 811375 0
[pid=7185/tid=7186] ppid=7182 vsize=3257924 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7186/stat : 7186 (toysat) S 7182 7185 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109438818 3336114176 755720 33554432000 4194304 16246674 140735312538192 140690215382256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7187] ppid=7182 vsize=3257924 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7187/stat : 7187 (toysat) S 7182 7185 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109438818 3336114176 755720 33554432000 4194304 16246674 140735312538192 140690204892400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7188] ppid=7182 vsize=3257924 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7188/stat : 7188 (toysat) S 7182 7185 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109438818 3336114176 755720 33554432000 4194304 16246674 140735312538192 140690194418864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 3257924

[startup+1662.3 s]
/proc/loadavg: 2.25 2.28 2.21 3/183 7298
/proc/meminfo: memFree=24477120/32872528 swapFree=15644/1722384
[pid=7185] ppid=7182 vsize=3295812 CPUtime=1661.95 cores=0,2,4,6
/proc/7185/stat : 7185 (toysat) R 7182 7185 4315 0 -1 4202496 746944 0 0 0 165982 213 0 0 20 0 4 0 109438818 3374911488 765192 33554432000 4194304 16246674 140735312538192 140735312537368 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7185/statm: 823953 765192 895 2943 0 820847 0
[pid=7185/tid=7186] ppid=7182 vsize=3295812 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7186/stat : 7186 (toysat) S 7182 7185 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109438818 3374911488 765192 33554432000 4194304 16246674 140735312538192 140690215382256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7187] ppid=7182 vsize=3295812 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7187/stat : 7187 (toysat) S 7182 7185 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109438818 3374911488 765192 33554432000 4194304 16246674 140735312538192 140690204892400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7188] ppid=7182 vsize=3295812 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7188/stat : 7188 (toysat) S 7182 7185 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109438818 3374911488 765192 33554432000 4194304 16246674 140735312538192 140690194418864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 3295812

[startup+1722.3 s]
/proc/loadavg: 2.30 2.29 2.21 3/183 7299
/proc/meminfo: memFree=24446388/32872528 swapFree=15644/1722384
[pid=7185] ppid=7182 vsize=3327556 CPUtime=1721.92 cores=0,2,4,6
/proc/7185/stat : 7185 (toysat) R 7182 7185 4315 0 -1 4202496 754644 0 0 0 171964 228 0 0 20 0 4 0 109438818 3407417344 772882 33554432000 4194304 16246674 140735312538192 140735312537368 5523480 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7185/statm: 831889 772882 895 2943 0 828783 0
[pid=7185/tid=7186] ppid=7182 vsize=3327556 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7186/stat : 7186 (toysat) S 7182 7185 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109438818 3407417344 772882 33554432000 4194304 16246674 140735312538192 140690215382256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7187] ppid=7182 vsize=3327556 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7187/stat : 7187 (toysat) S 7182 7185 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109438818 3407417344 772882 33554432000 4194304 16246674 140735312538192 140690204892400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7188] ppid=7182 vsize=3327556 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7188/stat : 7188 (toysat) S 7182 7185 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109438818 3407417344 772882 33554432000 4194304 16246674 140735312538192 140690194418864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 3327556

[startup+1782.31 s]
/proc/loadavg: 2.26 2.28 2.21 3/184 7303
/proc/meminfo: memFree=24401052/32872528 swapFree=15644/1722384
[pid=7185] ppid=7182 vsize=3371588 CPUtime=1781.91 cores=0,2,4,6
/proc/7185/stat : 7185 (toysat) R 7182 7185 4315 0 -1 4202496 765821 0 0 0 177950 241 0 0 20 0 4 0 109438818 3452506112 784053 33554432000 4194304 16246674 140735312538192 140735312537368 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7185/statm: 842897 784053 895 2943 0 839791 0
[pid=7185/tid=7186] ppid=7182 vsize=3371588 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7186/stat : 7186 (toysat) S 7182 7185 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109438818 3452506112 784053 33554432000 4194304 16246674 140735312538192 140690215382256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7187] ppid=7182 vsize=3371588 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7187/stat : 7187 (toysat) S 7182 7185 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109438818 3452506112 784053 33554432000 4194304 16246674 140735312538192 140690204892400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7188] ppid=7182 vsize=3371588 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7188/stat : 7188 (toysat) S 7182 7185 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109438818 3452506112 784053 33554432000 4194304 16246674 140735312538192 140690194418864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 3371588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.20 2.26 2.21 3/183 7304
/proc/meminfo: memFree=24400768/32872528 swapFree=15644/1722384
[pid=7185] ppid=7182 vsize=3371588 CPUtime=1800 cores=0,2,4,6
/proc/7185/stat : 7185 (toysat) R 7182 7185 4315 0 -1 4202496 765913 0 0 0 179754 246 0 0 20 0 4 0 109438818 3452506112 784136 33554432000 4194304 16246674 140735312538192 140735312537368 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7185/statm: 842897 784136 895 2943 0 839791 0
[pid=7185/tid=7186] ppid=7182 vsize=3371588 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7186/stat : 7186 (toysat) S 7182 7185 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109438818 3452506112 784136 33554432000 4194304 16246674 140735312538192 140690215382256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7185/tid=7187] ppid=7182 vsize=3371588 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7187/stat : 7187 (toysat) S 7182 7185 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109438818 3452506112 784136 33554432000 4194304 16246674 140735312538192 140690204892400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7185/tid=7188] ppid=7182 vsize=3371588 CPUtime=0 cores=0,2,4,6
/proc/7185/task/7188/stat : 7188 (toysat) S 7182 7185 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109438818 3452506112 784136 33554432000 4194304 16246674 140735312538192 140690194418864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 3371588

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.45
CPU time (s): 1800.05
CPU user time (s): 1797.55
CPU system time (s): 2.50262
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 3371588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.55
system time used= 2.50262
maximum resident set size= 3136544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 765913
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= 345
involuntary context switches= 1819

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.65929 second user time and 6.84596 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-07 06:50:52
IDJOB=4078855
IDBENCH=89637
IDSOLVER=2542
FILE ID=node120/4078855-1465275051
RUNJOBID= node120-1465256721-4331
PBS_JOBID= 19843284
Free space on /tmp= 71668 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-146.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078855-1465275051/watcher-4078855-1465275051 -o /tmp/evaluation-result-4078855-1465275051/solver-4078855-1465275051 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4331 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078855-1465275051.opb

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

MD5SUM BENCH= 132271a8a55b01af9ffef359148ae5e1
RANDOM SEED=1104670817

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.425
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:        28995144 kB
Buffers:          106500 kB
Cached:           193160 kB
SwapCached:         1476 kB
Active:          1273916 kB
Inactive:         126424 kB
Active(anon):    1099936 kB
Inactive(anon):     3248 kB
Active(file):     173980 kB
Inactive(file):   123176 kB
Unevictable:     1722384 kB
Mlocked:           15644 kB
SwapTotal:      67108856 kB
SwapFree:       67099668 kB
Dirty:             65948 kB
Writeback:             0 kB
AnonPages:       2824292 kB
Mapped:            11908 kB
Shmem:                 0 kB
Slab:             618400 kB
SReclaimable:      62124 kB
SUnreclaim:       556276 kB
KernelStack:        1472 kB
PageTables:         9620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2964196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2273280 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= 71612 MiB
End job on node120 at 2016-06-07 07:20:53