Trace number 4093590

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.21 1800.6

General information on the benchmark

Name/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-0-100-0.wbo
MD5SUMc79e7c2e90b077e3e4741aedcc3e19d9
Bench CategorySOFT-BIGINT-LIN (only soft constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark612.98
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables109757
Total number of constraints313451
Number of soft constraints313451
Number of constraints which are clauses295929
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17522
Minimum length of a constraint1
Maximum length of a constraint15
Top cost 15797213
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 15797212
Biggest number in a constraint 130
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 512
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-16T16:35:53+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093590-1466087752.wbo"]
0.00/0.01	c use --random-gen="4104420747 2053720819 4171379583 527772429 3560268583 1742823520 1136552764 2392374979 1558619690 2709694255 3914123658 1316030167 893506532 604531024 2658217543 688490145 3086673102 2186631565 3064582511 2020467707 3801317220 2846149702 818876093 915101203 1865361716 2208097840 2140066810 1588218023 3848820403 3971688294 2309671665 1126533985 223619304 3215662976 398683925 898363807 4111448197 1961660257 1686207525 3387630169 73474101 1041388143 321525643 3316768214 3629995722 4121533577 421024609 2797744667 894268558 2916998721 2542060531 1081359926 379854879 1605914044 2214888720 2448257748 114526627 2613847689 446149992 1658679958 3170527514 3208027372 4240232894 2849691433 3361724319 486451249 983628286 4211383300 2926639941 24043409 474142772 3338826844 1188118725 1501803436 1918256263 2944398305 275705096 581572912 3019905261 3363582626 1130587980 583129790 2448333818 330947975 3825241333 2840726898 221125762 3021772140 3191425684 3692869815 1311350463 4219235469 466761495 2877381096 4173323016 2599132631 1597660095 840689149 238768777 1004020770 4271394785 1810412556 761749832 2356671133 1273774812 236238365 3439988637 2678007437 2370611319 3849773882 3607960729 3219502448 1797587159 2180542701 956902149 164172491 537125153 2643542402 2541106442 1795943328 2141842278 3977082362 3081834740 934740169 2226297635 3151509187 3085555993 1044039994 2140985755 3944355141 4166510138 3564538392 1659712204 1787497790 3123182814 294818872 352529207 3392635574 4079143415 3780283827 1462327310 2337421164 975912353 2478873549 518599560 1844841265 2713592654 1631145248 3464614790 3814092232 2097357960 1732605646 3138725723 2454429675 1444096147 1940492130 2246982225 3344548653 3544042154 2153228443 4202663852 124686861 1184663141 4225173157 1985299984 4245617772 421334786 200713366 2870242747 3468224438 377928017 311865723 3323238760 3758748999 116064069 3678940975 3264648502 1761871468 3663664396 1391889983 4135223071 1382810211 1866688018 3222900292 3523323635 2086572953 568966299 3768305464 2788324000 1472368754 4115827811 3892068990 1472820300 3692742945 1878969685 2032682698 296574571 618757923 3650505768 1035657294 3462993267 3725633003 3161633502 1383700260 2105592062 3512998132 3216518782 3877510478 175615341 70370103 3176124989 4182775828 1964579875 1388546778 1293147090 197065046 1355217586 2266585521 152695228 3481469918 835494840 4271854524 1729903252 1294303214 3866782164 4032756217 3859868859 381671599 3402519302 1922831244 1682227714 722328094 2635111479 1170758490 4195567340 2352407362 441744290 942394078 338353946 3382582536 2641391507 1622291859 1423437894 2164286155 1955113868 1933800847 3193258113 4091630858 2170975156 1958778923 3975276824 4029962287 3377905594 2281439009 2547470569 3940433135 255 362436" option to reproduce the execution
15.58/15.60	c #vars 109757
15.58/15.60	c #constraints 313451
24.88/24.95	c BCD2: Hardening is enabled.
24.88/24.95	c BCD2: BiasedSearch is enabled.
24.88/24.95	c Solving starts ...
24.88/24.95	c ============================[ Search Statistics ]============================
24.88/24.95	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
24.88/24.95	c       |         |          |          |    Limit     GC | Var      | Constra 
24.88/24.95	c =============================================================================
24.88/24.95	c  0.0s |       0 |        0 |        0 |   245552      0 |        1 |        0
28.38/28.48	c  3.5s |       0 |  1173107 |      100 |   245552      0 |        1 |        0
28.59/28.69	c  3.7s |       1 |  1173107 |      100 |   245552      0 |        1 |        0
32.27/32.32	c  7.4s |       1 |  1797574 |      200 |   270108      0 |        1 |        0
33.09/33.17	c  8.2s |       2 |  1797659 |      250 |   270108      0 |        1 |        0
37.39/37.44	c 12.5s |       2 |  3480684 |      350 |   297119      0 |        1 |        0
37.78/37.89	c 12.9s |       3 |  3480801 |      475 |   297119      0 |        1 |        0
41.08/41.10	c 16.2s |       3 |  4437215 |      713 |   326831      0 |        1 |        0
41.08/41.10	c #cpu_time = 15.815s
41.08/41.10	c #wall_clock_time = 15.816s
41.08/41.10	c #decision = 4437215
41.08/41.10	c #random_decision = 16815
41.08/41.10	c #conflict = 713
41.08/41.10	c #restart = 3
41.18/41.22	o 50961
43.08/43.14	c BCD2: updating upper bound: 15797246 -> 50994
46.19/46.22	c BCD2: 0 <= obj <= 50994
46.19/46.25	c BCD2: #cores=0, #unrelaxed=313452, #relaxed=0, #hardened=0
46.19/46.25	c BCD2: #sat=1 #unsat=1 bias=1/2
46.19/46.28	c Solving starts ...
46.19/46.28	c ============================[ Search Statistics ]============================
46.19/46.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
46.19/46.28	c       |         |          |          |    Limit     GC | Var      | Constra 
46.19/46.28	c =============================================================================
46.19/46.28	c  0.0s |       0 |        0 |        0 |   326831      0 |        1 |        0
46.58/46.61	c  0.3s |       0 |        0 |        0 |   326831      0 |        1 |        0
46.58/46.61	c #cpu_time = 0.324s
46.58/46.61	c #wall_clock_time = 0.324s
46.58/46.61	c #decision = 0
46.58/46.61	c #random_decision = 0
46.58/46.61	c #conflict = 0
46.58/46.61	c #restart = 0
46.58/46.61	c BCD2: found a new core of size 1: cost of the new core is >=34
46.58/46.61	c lower bound updated to 0
46.68/46.76	c BCD2: 34 <= obj <= 50994
46.68/46.76	c BCD2: #cores=1, #unrelaxed=313451, #relaxed=1, #hardened=0
46.68/46.76	c BCD2: #sat=1 #unsat=2 bias=2/3
46.68/46.78	c Solving starts ...
46.68/46.78	c ============================[ Search Statistics ]============================
46.68/46.78	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
46.68/46.78	c       |         |          |          |    Limit     GC | Var      | Constra 
46.68/46.78	c =============================================================================
46.68/46.78	c  0.0s |       0 |        0 |        0 |   326831      0 |        1 |        0
48.78/48.83	c  2.0s |       1 |   350445 |      100 |   326831      0 |        1 |        0
50.78/50.84	c  4.1s |       1 |   666899 |      200 |   359515      0 |        1 |        0
52.08/52.14	c  5.4s |       2 |   666993 |      250 |   359515      0 |        1 |        0
54.28/54.30	c  7.5s |       2 |   980887 |      450 |   359515      0 |        1 |        0
54.48/54.53	c  7.7s |       3 |   980925 |      475 |   359515      0 |        1 |        0
57.58/57.69	c 10.9s |       3 |  1295309 |      675 |   395467      0 |        1 |        0
58.98/59.01	c 12.2s |       4 |  1296462 |      813 |   395467      0 |        1 |        0
62.58/62.64	c 15.9s |       4 |  1610845 |     1013 |   395467      0 |        1 |        0
65.88/65.90	c 19.1s |       4 |  1629282 |     1213 |   395467      0 |        1 |        0
66.18/66.29	c 19.5s |       5 |  1629638 |     1320 |   395467      0 |        1 |        0
68.28/68.32	c 21.5s |       5 |  1944388 |     1820 |   435014      0 |        1 |        0
69.17/69.26	c 22.5s |       6 |  1944977 |     2081 |   435014      0 |        1 |        0
71.37/71.42	c 24.6s |       6 |  2259120 |     2281 |   435014      0 |        1 |        0
73.68/73.70	c 26.9s |       6 |  2259764 |     2681 |   478516      0 |        1 |        0
75.88/75.99	c 29.2s |       6 |  2260532 |     3181 |   478516      0 |        1 |        0
76.27/76.38	c 29.6s |       7 |  2260607 |     3223 |   478516      0 |        1 |        0
78.47/78.52	c 31.7s |       7 |  2592630 |     3623 |   478516      0 |        1 |        0
80.67/80.70	c 33.9s |       7 |  2593969 |     4323 |   526368      0 |        1 |        0
82.37/82.49	c 35.7s |       8 |  2594747 |     4936 |   526368      0 |        1 |        0
85.37/85.49	c 38.7s |       8 |  2909612 |     5636 |   526368      0 |        1 |        0
88.87/88.90	c 42.1s |       8 |  2910308 |     5836 |   526368      0 |        1 |        0
91.67/91.78	c 45.0s |       8 |  2911233 |     6136 |   526368      0 |        1 |        0
94.97/95.07	c 48.3s |       8 |  2911650 |     6336 |   526368      0 |        1 |        0
97.77/97.84	c 51.1s |       8 |  2912464 |     6536 |   526368      0 |        1 |        0
100.27/100.32	c 53.5s |       8 |  2913098 |     6736 |   526368      0 |        1 |        0
102.67/102.74	c 56.0s |       8 |  2913682 |     6936 |   579005      0 |        1 |        0
105.47/105.54	c 58.8s |       8 |  2914401 |     7136 |   579005      0 |        1 |        0
108.07/108.18	c 61.4s |       8 |  2914969 |     7336 |   579005      0 |        1 |        0
110.56/110.66	c 63.9s |       9 |  2915495 |     7506 |   579005      0 |        1 |        0
113.87/113.90	c 67.1s |       9 |  3229824 |     7706 |   579005      0 |        1 |        0
116.26/116.30	c 69.5s |       9 |  3230510 |     7906 |   579005      0 |        1 |        0
118.47/118.57	c 71.8s |       9 |  3231730 |     8106 |   579005      0 |        1 |        0
121.46/121.50	c 74.7s |       9 |  3234081 |     8606 |   579005      0 |        1 |        0
123.76/123.87	c 77.1s |       9 |  3235391 |     8906 |   579005      0 |        1 |        0
126.26/126.33	c 79.5s |       9 |  3237825 |     9306 |   579005      0 |        1 |        0
129.07/129.17	c 82.4s |       9 |  3238374 |     9506 |   579005      0 |        1 |        0
132.46/132.58	c 85.8s |       9 |  3238790 |     9706 |   579005      0 |        1 |        0
135.27/135.38	c 88.6s |       9 |  3239412 |     9906 |   579005      0 |        1 |        0
137.57/137.63	c 90.8s |       9 |  3240206 |    10106 |   579005      0 |        1 |        0
140.46/140.55	c 93.8s |       9 |  3240698 |    10306 |   579005      0 |        1 |        0
142.46/142.57	c 95.8s |       9 |  3241449 |    10806 |   636906      0 |        1 |        0
145.66/145.79	c 99.0s |       9 |  3265221 |    11206 |   636906      0 |        1 |        0
147.16/147.25	c  100s |      10 |  3265673 |    11361 |   636906      0 |        1 |        0
149.67/149.76	c  102s |      10 |  3579649 |    11561 |   636906      0 |        1 |        0
151.66/151.78	c  104s |      10 |  3580277 |    11861 |   636906      0 |        1 |        0
153.76/153.81	c  107s |      10 |  3581534 |    12661 |   636906      0 |        1 |        0
155.86/155.97	c  109s |      10 |  3582164 |    12861 |   636906      0 |        1 |        0
158.56/158.62	c  111s |      10 |  3582735 |    13161 |   636906      0 |        1 |        0
160.96/161.03	c  114s |      10 |  3583513 |    13561 |   636906      0 |        1 |        0
163.16/163.29	c  116s |      10 |  3583987 |    13861 |   636906      0 |        1 |        0
165.25/165.33	c  118s |      10 |  3584419 |    14161 |   636906      0 |        1 |        0
167.96/168.00	c  121s |      10 |  3585079 |    14461 |   636906      0 |        1 |        0
170.26/170.39	c  123s |      10 |  3585512 |    14761 |   636906      0 |        1 |        0
173.25/173.34	c  126s |      10 |  3586057 |    15061 |   636906      0 |        1 |        0
175.36/175.49	c  128s |      10 |  3586518 |    15361 |   636906      0 |        1 |        0
177.75/177.80	c  131s |      10 |  3587113 |    15761 |   636906      0 |        1 |        0
179.76/179.87	c  133s |      10 |  3587643 |    16061 |   636906      0 |        1 |        0
181.86/181.93	c  135s |      10 |  3588100 |    16361 |   700597      0 |        1 |        0
185.25/185.38	c  138s |      10 |  3588582 |    16661 |   700597      0 |        1 |        0
187.35/187.44	c  140s |      10 |  3588921 |    16861 |   700597      0 |        1 |        0
189.15/189.26	c  142s |      11 |  3589302 |    17144 |   700597      0 |        1 |        0
191.25/191.40	c  144s |      11 |  3903055 |    17244 |   700597      0 |        1 |        0
194.05/194.12	c  147s |      11 |  3903564 |    17544 |   700597      0 |        1 |        0
196.65/196.78	c  149s |      11 |  3904069 |    17844 |   700597      0 |        1 |        0
199.25/199.35	c  152s |      11 |  3904596 |    18144 |   700597      0 |        1 |        0
201.75/201.85	c  155s |      11 |  3905004 |    18444 |   700597      0 |        1 |        0
203.95/204.09	c  157s |      11 |  3905550 |    18744 |   700597      0 |        1 |        0
206.05/206.12	c  159s |      11 |  3906051 |    19044 |   700597      0 |        1 |        0
208.65/208.73	c  161s |      11 |  3906688 |    19344 |   700597      0 |        1 |        0
210.65/210.79	c  164s |      11 |  3907246 |    19644 |   700597      0 |        1 |        0
213.05/213.19	c  166s |      11 |  3907954 |    20044 |   700597      0 |        1 |        0
215.44/215.50	c  168s |      11 |  3908565 |    20344 |   700597      0 |        1 |        0
218.04/218.13	c  171s |      11 |  3909331 |    20744 |   700597      0 |        1 |        0
220.14/220.24	c  173s |      11 |  3909919 |    21044 |   700597      0 |        1 |        0
222.64/222.75	c  175s |      11 |  3910538 |    21344 |   700597      0 |        1 |        0
225.04/225.12	c  178s |      11 |  3911140 |    21644 |   700597      0 |        1 |        0
227.54/227.61	c  180s |      11 |  3911830 |    22044 |   700597      0 |        1 |        0
229.54/229.69	c  182s |      11 |  3912458 |    22344 |   700597      0 |        1 |        0
231.74/231.88	c  185s |      11 |  3913001 |    22644 |   700597      0 |        1 |        0
233.84/233.91	c  187s |      11 |  3913785 |    22844 |   700597      0 |        1 |        0
236.55/236.64	c  189s |      11 |  3914802 |    23344 |   700597      0 |        1 |        0
238.94/239.04	c  192s |      11 |  3915721 |    23644 |   700597      0 |        1 |        0
241.04/241.13	c  194s |      11 |  3916375 |    23844 |   700597      0 |        1 |        0
245.54/245.68	c  198s |      11 |  3917445 |    24044 |   700597      0 |        1 |        0
249.04/249.15	c  202s |      11 |  3918041 |    24244 |   700597      0 |        1 |        0
251.53/251.61	c  204s |      11 |  3920294 |    24944 |   700597      0 |        1 |        0
253.83/253.94	c  207s |      11 |  3922027 |    25344 |   770657      0 |        1 |        0
256.24/256.37	c  209s |      11 |  3923617 |    25744 |   770657      0 |        1 |        0
256.83/256.91	c  210s |      12 |  3923999 |    25819 |   770657      0 |        1 |        0
259.33/259.40	c  212s |      12 |  4238361 |    25919 |   770657      0 |        1 |        0
261.53/261.63	c  214s |      12 |  4239418 |    26119 |   770657      0 |        1 |        0
263.83/263.93	c  217s |      12 |  4240672 |    26319 |   770657      0 |        1 |        0
265.93/266.03	c  219s |      12 |  4241905 |    26519 |   770657      0 |        1 |        0
268.44/268.51	c  221s |      12 |  4242783 |    26719 |   770657      0 |        1 |        0
270.63/270.76	c  223s |      12 |  4243564 |    26919 |   770657      0 |        1 |        0
273.23/273.33	c  226s |      12 |  4245029 |    27219 |   770657      0 |        1 |        0
275.43/275.54	c  228s |      12 |  4246221 |    27419 |   770657      0 |        1 |        0
277.93/278.05	c  231s |      12 |  4247373 |    27619 |   770657      0 |        1 |        0
280.63/280.78	c  233s |      12 |  4248903 |    27819 |   770657      0 |        1 |        0
283.03/283.13	c  236s |      12 |  4249939 |    28019 |   770657      0 |        1 |        0
285.43/285.51	c  238s |      12 |  4250659 |    28219 |   770657      0 |        1 |        0
287.42/287.58	c  240s |      12 |  4251551 |    28419 |   770657      0 |        1 |        0
289.53/289.66	c  242s |      12 |  4252057 |    28519 |   770657      0 |        1 |        0
291.63/291.79	c  245s |      12 |  4253153 |    28719 |   770657      0 |        1 |        0
294.13/294.28	c  247s |      12 |  4254792 |    28919 |   770657      0 |        1 |        0
296.23/296.31	c  249s |      12 |  4256112 |    29119 |   770657      0 |        1 |        0
298.23/298.39	c  251s |      12 |  4257460 |    29319 |   770657      0 |        1 |        0
301.02/301.14	c  254s |      12 |  4259216 |    29619 |   770657      0 |        1 |        0
303.92/304.06	c  257s |      12 |  4260773 |    29919 |   770657      0 |        1 |        0
306.52/306.69	c  259s |      12 |  4262376 |    30219 |   770657      0 |        1 |        0
309.42/309.56	c  262s |      12 |  4263708 |    30519 |   770657      0 |        1 |        0
313.54/313.60	c  266s |      12 |  4264099 |    30719 |   770657      0 |        1 |        0
316.32/316.43	c  269s |      12 |  4264340 |    30819 |   770657      0 |        1 |        0
319.53/319.66	c  272s |      12 |  4264482 |    30919 |   770657      0 |        1 |        0
321.62/321.70	c  274s |      12 |  4266090 |    31619 |   770657      0 |        1 |        0
323.83/323.95	c  277s |      12 |  4267318 |    32419 |   770657      0 |        1 |        0
326.02/326.10	c  279s |      12 |  4268949 |    33119 |   770657      0 |        1 |        0
328.32/328.40	c  281s |      12 |  4269288 |    33419 |   770657      0 |        1 |        0
330.62/330.75	c  283s |      12 |  4270826 |    34119 |   770657      0 |        1 |        0
332.92/333.03	c  286s |      12 |  4271901 |    34619 |   770657      0 |        1 |        0
335.62/335.75	c  288s |      12 |  4272736 |    35119 |   770657      0 |        1 |        0
338.12/338.22	c  291s |      12 |  4272987 |    35319 |   770657      0 |        1 |        0
340.72/340.82	c  294s |      12 |  4273217 |    35519 |   770657      0 |        1 |        0
342.82/342.92	c  296s |      12 |  4273695 |    35719 |   770657      0 |        1 |        0
345.22/345.32	c  298s |      12 |  4275437 |    36119 |   770657      0 |        1 |        0
347.53/347.64	c  300s |      12 |  4277558 |    36519 |   770657      0 |        1 |        0
349.73/349.86	c  303s |      12 |  4280030 |    36919 |   770657      0 |        1 |        0
352.31/352.45	c  305s |      12 |  4282485 |    37319 |   770657      0 |        1 |        0
354.92/355.06	c  308s |      12 |  4285092 |    37719 |   770657      0 |        1 |        0
357.53/357.66	c  310s |      12 |  4287194 |    38119 |   847723      0 |        1 |        0
359.81/359.95	c  313s |      12 |  4288301 |    38319 |   847723      0 |        1 |        0
362.62/362.71	c  315s |      12 |  4289877 |    38719 |   847723      0 |        1 |        0
363.62/363.77	c  316s |      13 |  4290026 |    38832 |   847723      0 |        1 |        0
366.02/366.11	c  319s |      13 |  4603776 |    38932 |   847723      0 |        1 |        0
368.12/368.23	c  321s |      13 |  4604698 |    39532 |   847723      0 |        1 |        0
370.42/370.50	c  323s |      13 |  4605963 |    39732 |   847723      0 |        1 |        0
372.92/373.03	c  326s |      13 |  4606740 |    39932 |   847723      0 |        1 |        0
375.61/375.75	c  328s |      13 |  4607354 |    40232 |   847723      0 |        1 |        0
377.91/378.01	c  331s |      13 |  4607683 |    40432 |   847723      0 |        1 |        0
380.11/380.27	c  333s |      13 |  4608090 |    40632 |   847723      0 |        1 |        0
382.21/382.35	c  335s |      13 |  4608523 |    40832 |   847723      0 |        1 |        0
384.71/384.84	c  338s |      13 |  4609019 |    41132 |   847723      0 |        1 |        0
386.81/386.98	c  340s |      13 |  4609217 |    41232 |   847723      0 |        1 |        0
388.91/389.04	c  342s |      13 |  4609611 |    41432 |   847723      0 |        1 |        0
391.71/391.83	c  345s |      13 |  4610283 |    41732 |   847723      0 |        1 |        0
394.41/394.58	c  347s |      13 |  4610888 |    42032 |   847723      0 |        1 |        0
396.71/396.83	c  350s |      13 |  4611756 |    42232 |   847723      0 |        1 |        0
399.31/399.43	c  352s |      13 |  4612011 |    42432 |   847723      0 |        1 |        0
401.61/401.78	c  354s |      13 |  4612695 |    42632 |   847723      0 |        1 |        0
404.20/404.35	c  357s |      13 |  4613073 |    42832 |   847723      0 |        1 |        0
407.41/407.50	c  360s |      13 |  4613445 |    43032 |   847723      0 |        1 |        0
410.22/410.35	c  363s |      13 |  4614077 |    43332 |   847723      0 |        1 |        0
413.11/413.29	c  366s |      13 |  4614689 |    43632 |   847723      0 |        1 |        0
415.30/415.42	c  368s |      13 |  4615224 |    43832 |   847723      0 |        1 |        0
417.60/417.79	c  371s |      13 |  4615872 |    44132 |   847723      0 |        1 |        0
420.60/420.78	c  373s |      13 |  4616491 |    44432 |   847723      0 |        1 |        0
422.70/422.80	c  376s |      13 |  4617344 |    44632 |   847723      0 |        1 |        0
425.71/425.82	c  379s |      13 |  4618063 |    44932 |   847723      0 |        1 |        0
428.20/428.33	c  381s |      13 |  4618689 |    45132 |   847723      0 |        1 |        0
430.70/430.89	c  384s |      13 |  4619239 |    45332 |   847723      0 |        1 |        0
433.10/433.25	c  386s |      13 |  4620161 |    45632 |   847723      0 |        1 |        0
435.19/435.30	c  388s |      13 |  4620708 |    45832 |   847723      0 |        1 |        0
437.71/437.82	c  391s |      13 |  4621813 |    46132 |   847723      0 |        1 |        0
440.49/440.61	c  393s |      13 |  4622829 |    46432 |   847723      0 |        1 |        0
442.60/442.71	c  395s |      13 |  4623551 |    46632 |   847723      0 |        1 |        0
445.60/445.70	c  398s |      13 |  4624552 |    46932 |   847723      0 |        1 |        0
447.60/447.71	c  400s |      13 |  4625135 |    47132 |   847723      0 |        1 |        0
449.59/449.80	c  403s |      13 |  4625500 |    47232 |   847723      0 |        1 |        0
452.39/452.56	c  405s |      13 |  4626458 |    47532 |   847723      0 |        1 |        0
455.10/455.26	c  408s |      13 |  4627418 |    47832 |   847723      0 |        1 |        0
457.99/458.10	c  411s |      13 |  4628278 |    48132 |   847723      0 |        1 |        0
461.00/461.19	c  414s |      13 |  4629282 |    48432 |   847723      0 |        1 |        0
463.59/463.74	c  416s |      13 |  4630222 |    48732 |   847723      0 |        1 |        0
465.79/465.96	c  419s |      13 |  4630907 |    48932 |   847723      0 |        1 |        0
468.00/468.19	c  421s |      13 |  4631252 |    49032 |   847723      0 |        1 |        0
470.09/470.21	c  423s |      13 |  4631980 |    49232 |   847723      0 |        1 |        0
472.19/472.37	c  425s |      13 |  4632532 |    49432 |   847723      0 |        1 |        0
475.20/475.32	c  428s |      13 |  4633665 |    49732 |   847723      0 |        1 |        0
477.40/477.54	c  430s |      13 |  4634363 |    49932 |   847723      0 |        1 |        0
479.50/479.65	c  432s |      13 |  4635335 |    50132 |   847723      0 |        1 |        0
481.59/481.77	c  434s |      13 |  4636236 |    50332 |   847723      0 |        1 |        0
483.90/484.03	c  437s |      13 |  4636601 |    50432 |   847723      0 |        1 |        0
486.09/486.29	c  439s |      13 |  4637526 |    50632 |   847723      0 |        1 |        0
488.40/488.59	c  441s |      13 |  4638358 |    50832 |   847723      0 |        1 |        0
491.18/491.37	c  444s |      13 |  4639504 |    51132 |   847723      0 |        1 |        0
494.09/494.22	c  447s |      13 |  4640562 |    51432 |   847723      0 |        1 |        0
496.58/496.77	c  449s |      13 |  4641179 |    51632 |   847723      0 |        1 |        0
499.89/500.04	c  453s |      13 |  4641909 |    51832 |   847723      0 |        1 |        0
501.88/502.09	c  455s |      13 |  4642693 |    52032 |   847723      0 |        1 |        0
504.98/505.15	c  458s |      13 |  4643933 |    52332 |   847723      0 |        1 |        0
507.68/507.85	c  461s |      13 |  4644880 |    52632 |   847723      0 |        1 |        0
510.98/511.12	c  464s |      13 |  4645971 |    52932 |   847723      0 |        1 |        0
513.28/513.43	c  466s |      13 |  4646413 |    53032 |   847723      0 |        1 |        0
515.58/515.75	c  468s |      13 |  4647335 |    53232 |   847723      0 |        1 |        0
517.87/518.02	c  471s |      13 |  4648197 |    53432 |   847723      0 |        1 |        0
520.08/520.22	c  473s |      13 |  4649141 |    53632 |   847723      0 |        1 |        0
522.98/523.16	c  476s |      13 |  4650097 |    53832 |   847723      0 |        1 |        0
525.57/525.73	c  478s |      13 |  4650336 |    53932 |   847723      0 |        1 |        0
528.08/528.28	c  481s |      13 |  4650822 |    54132 |   847723      0 |        1 |        0
530.87/531.06	c  484s |      13 |  4651555 |    54332 |   847723      0 |        1 |        0
534.48/534.63	c  487s |      13 |  4652009 |    54532 |   847723      0 |        1 |        0
536.97/537.17	c  490s |      13 |  4652293 |    54632 |   847723      0 |        1 |        0
539.98/540.14	c  493s |      13 |  4652882 |    54832 |   847723      0 |        1 |        0
543.38/543.58	c  496s |      13 |  4653635 |    55032 |   847723      0 |        1 |        0
546.06/546.20	c  499s |      13 |  4653884 |    55132 |   847723      0 |        1 |        0
549.07/549.21	c  502s |      13 |  4654339 |    55332 |   847723      0 |        1 |        0
552.07/552.28	c  505s |      13 |  4654955 |    55532 |   847723      0 |        1 |        0
554.66/554.87	c  508s |      13 |  4655887 |    55732 |   847723      0 |        1 |        0
557.67/557.89	c  511s |      13 |  4656632 |    55932 |   847723      0 |        1 |        0
559.77/559.92	c  513s |      13 |  4657493 |    56132 |   847723      0 |        1 |        0
561.86/562.06	c  515s |      13 |  4658103 |    56332 |   847723      0 |        1 |        0
563.96/564.14	c  517s |      13 |  4659186 |    56532 |   847723      0 |        1 |        0
566.75/566.92	c  520s |      13 |  4660405 |    56832 |   847723      0 |        1 |        0
569.06/569.26	c  522s |      13 |  4660942 |    57032 |   847723      0 |        1 |        0
571.55/571.79	c  525s |      13 |  4661747 |    57232 |   847723      0 |        1 |        0
573.86/574.02	c  527s |      13 |  4662046 |    57332 |   932496      0 |        1 |        0
577.25/577.46	c  530s |      13 |  4663089 |    57632 |   932496      0 |        1 |        0
579.26/579.50	c  532s |      13 |  4663622 |    57832 |   932496      0 |        1 |        0
582.56/582.79	c  536s |      13 |  4664093 |    58032 |   932496      0 |        1 |        0
587.06/587.27	c  540s |      13 |  4664999 |    58232 |   932496      0 |        1 |        0
589.05/589.25	c  542s |      14 |  4665566 |    58352 |   932496      0 |        1 |        0
594.05/594.28	c  547s |      14 |  4979440 |    58452 |   932496      0 |        1 |        0
596.95/597.14	c  550s |      14 |  4980086 |    58652 |   932496      0 |        1 |        0
599.75/599.92	c  553s |      14 |  4980882 |    58852 |   932496      0 |        1 |        0
602.45/602.65	c  555s |      14 |  4981527 |    59052 |   932496      0 |        1 |        0
604.86/605.07	c  558s |      14 |  4982172 |    59252 |   932496      0 |        1 |        0
607.45/607.66	c  560s |      14 |  4982846 |    59452 |   932496      0 |        1 |        0
609.94/610.18	c  563s |      14 |  4983323 |    59652 |   932496      0 |        1 |        0
613.66/613.82	c  567s |      14 |  4983925 |    59852 |   932496      0 |        1 |        0
615.95/616.15	c  569s |      14 |  4984461 |    60052 |   932496      0 |        1 |        0
618.15/618.34	c  571s |      14 |  4985026 |    60252 |   932496      0 |        1 |        0
620.85/621.06	c  574s |      14 |  4985633 |    60452 |   932496      0 |        1 |        0
623.15/623.33	c  576s |      14 |  4986161 |    60652 |   932496      0 |        1 |        0
625.85/626.04	c  579s |      14 |  4986856 |    60852 |   932496      0 |        1 |        0
628.15/628.34	c  581s |      14 |  4987330 |    61052 |   932496      0 |        1 |        0
630.94/631.13	c  584s |      14 |  4987862 |    61252 |   932496      0 |        1 |        0
633.14/633.30	c  586s |      14 |  4988304 |    61452 |   932496      0 |        1 |        0
635.55/635.70	c  588s |      14 |  4988851 |    61652 |   932496      0 |        1 |        0
639.65/639.80	c  593s |      14 |  4989380 |    61852 |   932496      0 |        1 |        0
642.45/642.66	c  595s |      14 |  4989874 |    62052 |   932496      0 |        1 |        0
645.25/645.47	c  598s |      14 |  4990481 |    62252 |   932496      0 |        1 |        0
648.44/648.62	c  601s |      14 |  4991076 |    62452 |   932496      0 |        1 |        0
651.15/651.35	c  604s |      14 |  4991529 |    62652 |   932496      0 |        1 |        0
654.04/654.25	c  607s |      14 |  4992119 |    62852 |   932496      0 |        1 |        0
656.94/657.13	c  610s |      14 |  4992733 |    63052 |   932496      0 |        1 |        0
659.64/659.83	c  613s |      14 |  4993309 |    63252 |   932496      0 |        1 |        0
662.15/662.37	c  615s |      14 |  4993632 |    63352 |   932496      0 |        1 |        0
664.84/665.05	c  618s |      14 |  4994124 |    63552 |   932496      0 |        1 |        0
667.74/667.97	c  621s |      14 |  4994671 |    63752 |   932496      0 |        1 |        0
670.74/670.91	c  624s |      14 |  4995316 |    63952 |   932496      0 |        1 |        0
673.44/673.61	c  626s |      14 |  4995783 |    64152 |   932496      0 |        1 |        0
676.03/676.20	c  629s |      14 |  4996410 |    64352 |   932496      0 |        1 |        0
678.55/678.76	c  631s |      14 |  4997014 |    64552 |   932496      0 |        1 |        0
681.13/681.34	c  634s |      14 |  4997477 |    64752 |   932496      0 |        1 |        0
684.04/684.24	c  637s |      14 |  4998041 |    64952 |   932496      0 |        1 |        0
686.63/686.87	c  640s |      14 |  4998338 |    65052 |   932496      0 |        1 |        0
689.83/690.01	c  643s |      14 |  4998919 |    65252 |   932496      0 |        1 |        0
693.13/693.31	c  646s |      14 |  4999468 |    65452 |   932496      0 |        1 |        0
695.73/695.90	c  649s |      14 |  4999968 |    65652 |   932496      0 |        1 |        0
698.53/698.73	c  651s |      14 |  5000263 |    65852 |   932496      0 |        1 |        0
701.64/701.84	c  655s |      14 |  5000678 |    66052 |   932496      0 |        1 |        0
704.73/704.92	c  658s |      14 |  5001226 |    66252 |   932496      0 |        1 |        0
707.93/708.19	c  661s |      14 |  5001915 |    66452 |   932496      0 |        1 |        0
710.54/710.76	c  663s |      14 |  5002207 |    66552 |   932496      0 |        1 |        0
713.62/713.89	c  667s |      14 |  5002840 |    66752 |   932496      0 |        1 |        0
716.53/716.71	c  669s |      14 |  5003615 |    66952 |   932496      0 |        1 |        0
719.23/719.46	c  672s |      14 |  5004286 |    67152 |   932496      0 |        1 |        0
722.12/722.38	c  675s |      14 |  5004995 |    67352 |   932496      0 |        1 |        0
725.42/725.63	c  678s |      14 |  5005685 |    67552 |   932496      0 |        1 |        0
728.02/728.26	c  681s |      14 |  5006285 |    67752 |   932496      0 |        1 |        0
730.72/730.96	c  684s |      14 |  5006793 |    67952 |   932496      0 |        1 |        0
733.01/733.29	c  686s |      14 |  5007336 |    68152 |   932496      0 |        1 |        0
735.52/735.76	c  688s |      14 |  5007854 |    68352 |   932496      0 |        1 |        0
737.61/737.82	c  691s |      14 |  5008120 |    68452 |   932496      0 |        1 |        0
739.81/740.02	c  693s |      14 |  5008635 |    68652 |   932496      0 |        1 |        0
742.22/742.46	c  695s |      14 |  5009154 |    68852 |   932496      0 |        1 |        0
745.11/745.35	c  698s |      14 |  5009628 |    69052 |   932496      0 |        1 |        0
747.71/747.91	c  701s |      14 |  5010092 |    69252 |   932496      0 |        1 |        0
750.12/750.31	c  703s |      14 |  5010648 |    69452 |   932496      0 |        1 |        0
752.32/752.59	c  705s |      14 |  5011061 |    69652 |   932496      0 |        1 |        0
755.01/755.26	c  708s |      14 |  5011515 |    69852 |   932496      0 |        1 |        0
757.21/757.47	c  710s |      14 |  5012032 |    70052 |   932496      0 |        1 |        0
759.21/759.48	c  712s |      14 |  5012433 |    70252 |   932496      0 |        1 |        0
762.70/762.97	c  716s |      14 |  5012844 |    70452 |   932496      0 |        1 |        0
766.10/766.32	c  719s |      14 |  5014339 |    70652 |   932496      0 |        1 |        0
769.10/769.35	c  722s |      14 |  5014930 |    70852 |   932496      0 |        1 |        0
772.60/772.85	c  726s |      14 |  5015516 |    71052 |   932496      0 |        1 |        0
774.60/774.89	c  728s |      14 |  5015737 |    71152 |   932496      0 |        1 |        0
778.40/778.64	c  731s |      14 |  5016168 |    71352 |   932496      0 |        1 |        0
781.80/782.04	c  735s |      14 |  5016425 |    71452 |   932496      0 |        1 |        0
784.40/784.69	c  737s |      14 |  5016574 |    71552 |   932496      0 |        1 |        0
787.51/787.79	c  741s |      14 |  5016776 |    71652 |   932496      0 |        1 |        0
790.30/790.50	c  743s |      14 |  5016988 |    71752 |   932496      0 |        1 |        0
793.19/793.43	c  746s |      14 |  5017212 |    71852 |   932496      0 |        1 |        0
797.10/797.30	c  750s |      14 |  5017465 |    71952 |   932496      0 |        1 |        0
799.51/799.73	c  752s |      14 |  5017644 |    72052 |   932496      0 |        1 |        0
801.99/802.22	c  755s |      14 |  5017901 |    72152 |   932496      0 |        1 |        0
804.49/804.72	c  757s |      14 |  5018113 |    72252 |   932496      0 |        1 |        0
807.00/807.24	c  760s |      14 |  5018301 |    72352 |   932496      0 |        1 |        0
810.50/810.72	c  763s |      14 |  5018468 |    72452 |   932496      0 |        1 |        0
813.00/813.29	c  766s |      14 |  5018674 |    72552 |   932496      0 |        1 |        0
815.69/815.99	c  769s |      14 |  5018824 |    72652 |   932496      0 |        1 |        0
818.39/818.67	c  771s |      14 |  5018997 |    72752 |   932496      0 |        1 |        0
820.90/821.13	c  774s |      14 |  5019211 |    72852 |   932496      0 |        1 |        0
824.69/824.92	c  778s |      14 |  5019371 |    72952 |   932496      0 |        1 |        0
826.89/827.11	c  780s |      14 |  5019549 |    73052 |   932496      0 |        1 |        0
829.49/829.72	c  782s |      14 |  5019735 |    73152 |   932496      0 |        1 |        0
832.09/832.30	c  785s |      14 |  5019913 |    73252 |   932496      0 |        1 |        0
835.49/835.76	c  788s |      14 |  5020101 |    73352 |   932496      0 |        1 |        0
837.99/838.30	c  791s |      14 |  5020295 |    73452 |   932496      0 |        1 |        0
840.39/840.61	c  793s |      14 |  5020455 |    73552 |   932496      0 |        1 |        0
842.99/843.28	c  796s |      14 |  5020660 |    73652 |   932496      0 |        1 |        0
845.48/845.76	c  798s |      14 |  5020904 |    73752 |   932496      0 |        1 |        0
848.99/849.29	c  802s |      14 |  5021104 |    73852 |   932496      0 |        1 |        0
851.39/851.63	c  804s |      14 |  5021291 |    73952 |   932496      0 |        1 |        0
853.78/854.04	c  807s |      14 |  5021437 |    74052 |   932496      0 |        1 |        0
856.18/856.47	c  809s |      14 |  5021617 |    74152 |   932496      0 |        1 |        0
860.18/860.47	c  813s |      14 |  5021778 |    74252 |   932496      0 |        1 |        0
862.98/863.26	c  816s |      14 |  5021968 |    74352 |   932496      0 |        1 |        0
865.49/865.74	c  818s |      14 |  5022169 |    74452 |   932496      0 |        1 |        0
868.48/868.70	c  821s |      14 |  5022362 |    74552 |   932496      0 |        1 |        0
872.78/873.01	c  826s |      14 |  5022564 |    74652 |   932496      0 |        1 |        0
875.28/875.55	c  828s |      14 |  5022817 |    74752 |   932496      0 |        1 |        0
878.18/878.41	c  831s |      14 |  5023053 |    74852 |   932496      0 |        1 |        0
880.78/881.06	c  834s |      14 |  5023312 |    74952 |   932496      0 |        1 |        0
884.48/884.79	c  838s |      14 |  5023544 |    75052 |   932496      0 |        1 |        0
886.77/887.06	c  840s |      14 |  5023774 |    75152 |   932496      0 |        1 |        0
889.18/889.47	c  842s |      14 |  5024014 |    75252 |   932496      0 |        1 |        0
891.38/891.66	c  844s |      14 |  5024215 |    75352 |   932496      0 |        1 |        0
893.68/893.91	c  847s |      14 |  5024507 |    75452 |   932496      0 |        1 |        0
896.48/896.73	c  849s |      14 |  5024689 |    75552 |   932496      0 |        1 |        0
899.87/900.17	c  853s |      14 |  5131697 |    75652 |   932496      0 |        1 |        0
902.27/902.54	c  855s |      14 |  5132629 |    75852 |   932496      0 |        1 |        0
904.57/904.82	c  858s |      14 |  5134824 |    76152 |   932496      0 |        1 |        0
906.97/907.23	c  860s |      14 |  5136992 |    76452 |   932496      0 |        1 |        0
909.37/909.60	c  862s |      14 |  5139252 |    76752 |   932496      0 |        1 |        0
911.67/911.96	c  865s |      14 |  5141550 |    77052 |   932496      0 |        1 |        0
914.08/914.36	c  867s |      14 |  5143618 |    77352 |   932496      0 |        1 |        0
916.67/916.97	c  870s |      14 |  5146184 |    77652 |   932496      0 |        1 |        0
919.38/919.61	c  872s |      14 |  5148616 |    77952 |   932496      0 |        1 |        0
922.07/922.35	c  875s |      14 |  5151194 |    78252 |   932496      0 |        1 |        0
924.77/925.09	c  878s |      14 |  5153614 |    78552 |   932496      0 |        1 |        0
926.87/927.15	c  880s |      14 |  5154338 |    78652 |   932496      0 |        1 |        0
929.97/930.27	c  883s |      14 |  5156510 |    78952 |   932496      0 |        1 |        0
932.77/933.06	c  886s |      14 |  5158111 |    79252 |   932496      0 |        1 |        0
935.36/935.68	c  888s |      14 |  5159218 |    79552 |   932496      0 |        1 |        0
938.27/938.58	c  891s |      14 |  5160850 |    79852 |   932496      0 |        1 |        0
941.17/941.48	c  894s |      14 |  5162402 |    80152 |   932496      0 |        1 |        0
943.97/944.29	c  897s |      14 |  5163774 |    80452 |   932496      0 |        1 |        0
946.87/947.18	c  900s |      14 |  5165283 |    80752 |   932496      0 |        1 |        0
949.77/950.02	c  903s |      14 |  5166907 |    81052 |   932496      0 |        1 |        0
952.66/952.90	c  906s |      14 |  5168453 |    81352 |   932496      0 |        1 |        0
954.67/954.94	c  908s |      14 |  5169521 |    81552 |   932496      0 |        1 |        0
956.77/957.10	c  910s |      14 |  5170181 |    81652 |   932496      0 |        1 |        0
959.66/959.92	c  913s |      14 |  5171293 |    81852 |   932496      0 |        1 |        0
962.27/962.55	c  915s |      14 |  5172183 |    82052 |   932496      0 |        1 |        0
965.16/965.44	c  918s |      14 |  5173041 |    82252 |   932496      0 |        1 |        0
968.36/968.66	c  921s |      14 |  5174036 |    82452 |   932496      0 |        1 |        0
971.46/971.75	c  924s |      14 |  5174925 |    82652 |   932496      0 |        1 |        0
974.66/974.98	c  928s |      14 |  5175800 |    82852 |   932496      0 |        1 |        0
977.67/977.94	c  931s |      14 |  5176440 |    83052 |   932496      0 |        1 |        0
980.46/980.77	c  933s |      14 |  5177028 |    83152 |   932496      0 |        1 |        0
983.36/983.66	c  936s |      14 |  5178069 |    83352 |   932496      0 |        1 |        0
986.47/986.75	c  939s |      14 |  5179036 |    83552 |   932496      0 |        1 |        0
989.77/990.01	c  943s |      14 |  5179839 |    83752 |   932496      0 |        1 |        0
992.66/992.90	c  946s |      14 |  5180741 |    83952 |   932496      0 |        1 |        0
995.66/995.99	c  949s |      14 |  5181672 |    84152 |   932496      0 |        1 |        0
998.75/999.03	c  952s |      14 |  5182598 |    84352 |   932496      0 |        1 |        0
1003.16/1003.44	c  956s |      14 |  5183629 |    84552 |   932496      0 |        1 |        0
1006.66/1006.96	c  960s |      14 |  5184487 |    84752 |   932496      0 |        1 |        0
1009.36/1009.67	c  962s |      14 |  5184967 |    84852 |   932496      0 |        1 |        0
1013.75/1014.04	c  967s |      14 |  5185273 |    84952 |   932496      0 |        1 |        0
1016.26/1016.54	c  969s |      14 |  5185731 |    85052 |   932496      0 |        1 |        0
1019.26/1019.56	c  972s |      14 |  5186186 |    85152 |   932496      0 |        1 |        0
1022.65/1022.92	c  976s |      14 |  5186910 |    85252 |   932496      0 |        1 |        0
1025.06/1025.35	c  978s |      14 |  5187421 |    85352 |   932496      0 |        1 |        0
1028.36/1028.66	c  981s |      14 |  5187738 |    85452 |   932496      0 |        1 |        0
1032.35/1032.64	c  985s |      14 |  5188375 |    85552 |   932496      0 |        1 |        0
1034.86/1035.11	c  988s |      14 |  5188953 |    85652 |   932496      0 |        1 |        0
1037.86/1038.10	c  991s |      14 |  5189344 |    85752 |   932496      0 |        1 |        0
1042.15/1042.42	c  995s |      14 |  5189687 |    85852 |   932496      0 |        1 |        0
1045.05/1045.37	c  998s |      14 |  5190150 |    85952 |   932496      0 |        1 |        0
1047.55/1047.85	c 1001s |      14 |  5190687 |    86052 |   932496      0 |        1 |        0
1051.54/1051.80	c 1005s |      14 |  5191198 |    86152 |   932496      0 |        1 |        0
1054.95/1055.22	c 1008s |      14 |  5191825 |    86252 |   932496      0 |        1 |        0
1057.55/1057.83	c 1011s |      14 |  5192356 |    86352 |  1025746      0 |        1 |        0
1062.55/1062.88	c 1016s |      14 |  5192750 |    86452 |  1025746      0 |        1 |        0
1065.44/1065.78	c 1018s |      14 |  5193330 |    86552 |  1025746      0 |        1 |        0
1068.65/1068.90	c 1022s |      14 |  5193878 |    86652 |  1025746      0 |        1 |        0
1073.46/1073.76	c 1026s |      14 |  5194254 |    86752 |  1025746      0 |        1 |        0
1076.34/1076.68	c 1029s |      14 |  5194982 |    86852 |  1025746      0 |        1 |        0
1081.05/1081.37	c 1034s |      14 |  5195452 |    86952 |  1025746      0 |        1 |        0
1084.94/1085.29	c 1038s |      14 |  5195743 |    87052 |  1025746      0 |        1 |        0
1089.14/1089.47	c 1042s |      14 |  5196346 |    87152 |  1025746      0 |        1 |        0
1092.05/1092.38	c 1045s |      14 |  5196978 |    87252 |  1025746      0 |        1 |        0
1095.35/1095.66	c 1048s |      14 |  5197382 |    87352 |  1025746      0 |        1 |        0
1100.74/1101.03	c 1054s |      14 |  5197603 |    87452 |  1025746      0 |        1 |        0
1104.54/1104.83	c 1058s |      14 |  5198232 |    87552 |  1025746      0 |        1 |        0
1109.33/1109.62	c 1062s |      15 |  5198538 |    87632 |  1025746      0 |        1 |        0
1117.53/1117.84	c 1071s |      15 |  5512339 |    87732 |  1025746      0 |        1 |        0
1119.83/1120.19	c 1073s |      15 |  5512563 |    87832 |  1025746      0 |        1 |        0
1123.03/1123.34	c 1076s |      15 |  5512910 |    88032 |  1025746      0 |        1 |        0
1126.03/1126.34	c 1079s |      15 |  5513192 |    88232 |  1025746      0 |        1 |        0
1128.23/1128.51	c 1081s |      15 |  5513374 |    88332 |  1025746      0 |        1 |        0
1130.53/1130.84	c 1084s |      15 |  5513505 |    88432 |  1025746      0 |        1 |        0
1133.84/1134.20	c 1087s |      15 |  5513675 |    88532 |  1025746      0 |        1 |        0
1136.04/1136.37	c 1089s |      15 |  5513890 |    88632 |  1025746      0 |        1 |        0
1138.24/1138.60	c 1091s |      15 |  5514049 |    88732 |  1025746      0 |        1 |        0
1142.74/1143.07	c 1096s |      15 |  5514349 |    88932 |  1025746      0 |        1 |        0
1146.22/1146.51	c 1099s |      15 |  5514817 |    89132 |  1025746      0 |        1 |        0
1149.33/1149.61	c 1102s |      15 |  5515232 |    89332 |  1025746      0 |        1 |        0
1152.02/1152.30	c 1105s |      15 |  5515686 |    89532 |  1025746      0 |        1 |        0
1156.12/1156.47	c 1109s |      15 |  5516184 |    89732 |  1025746      0 |        1 |        0
1159.02/1159.39	c 1112s |      15 |  5516670 |    89932 |  1025746      0 |        1 |        0
1162.12/1162.43	c 1115s |      15 |  5517109 |    90132 |  1025746      0 |        1 |        0
1165.12/1165.48	c 1118s |      15 |  5517703 |    90332 |  1025746      0 |        1 |        0
1168.32/1168.68	c 1121s |      15 |  5518094 |    90532 |  1025746      0 |        1 |        0
1171.41/1171.76	c 1124s |      15 |  5518531 |    90732 |  1025746      0 |        1 |        0
1174.12/1174.48	c 1127s |      15 |  5519041 |    90932 |  1025746      0 |        1 |        0
1177.61/1177.96	c 1131s |      15 |  5519444 |    91132 |  1025746      0 |        1 |        0
1182.01/1182.36	c 1135s |      15 |  5519981 |    91332 |  1025746      0 |        1 |        0
1185.41/1185.70	c 1138s |      15 |  5520484 |    91532 |  1025746      0 |        1 |        0
1188.40/1188.73	c 1141s |      15 |  5520993 |    91732 |  1025746      0 |        1 |        0
1192.01/1192.30	c 1145s |      15 |  5521368 |    91932 |  1025746      0 |        1 |        0
1195.21/1195.55	c 1148s |      15 |  5521807 |    92132 |  1025746      0 |        1 |        0
1198.40/1198.80	c 1152s |      15 |  5522182 |    92332 |  1025746      0 |        1 |        0
1202.01/1202.31	c 1155s |      15 |  5522605 |    92532 |  1025746      0 |        1 |        0
1206.71/1207.04	c 1160s |      15 |  5522880 |    92732 |  1025746      0 |        1 |        0
1210.21/1210.59	c 1163s |      15 |  5523217 |    92932 |  1025746      0 |        1 |        0
1213.80/1214.11	c 1167s |      15 |  5523548 |    93132 |  1025746      0 |        1 |        0
1217.60/1217.95	c 1171s |      15 |  5523879 |    93332 |  1025746      0 |        1 |        0
1221.01/1221.37	c 1174s |      15 |  5524118 |    93532 |  1025746      0 |        1 |        0
1224.60/1224.93	c 1178s |      15 |  5524305 |    93632 |  1025746      0 |        1 |        0
1226.80/1227.10	c 1180s |      15 |  5524492 |    93732 |  1025746      0 |        1 |        0
1229.00/1229.34	c 1182s |      15 |  5524639 |    93832 |  1025746      0 |        1 |        0
1231.00/1231.37	c 1184s |      15 |  5524796 |    93932 |  1025746      0 |        1 |        0
1234.90/1235.23	c 1188s |      15 |  5525105 |    94132 |  1025746      0 |        1 |        0
1236.90/1237.25	c 1190s |      15 |  5525406 |    94232 |  1025746      0 |        1 |        0
1240.10/1240.45	c 1193s |      15 |  5525899 |    94432 |  1025746      0 |        1 |        0
1242.20/1242.52	c 1195s |      15 |  5526129 |    94532 |  1025746      0 |        1 |        0
1245.10/1245.44	c 1198s |      15 |  5526360 |    94632 |  1025746      0 |        1 |        0
1249.00/1249.32	c 1202s |      15 |  5526789 |    94832 |  1025746      0 |        1 |        0
1251.09/1251.43	c 1204s |      15 |  5527053 |    94932 |  1025746      0 |        1 |        0
1253.60/1253.97	c 1207s |      15 |  5527259 |    95032 |  1025746      0 |        1 |        0
1256.00/1256.31	c 1209s |      15 |  5527477 |    95132 |  1025746      0 |        1 |        0
1258.10/1258.45	c 1211s |      15 |  5527679 |    95232 |  1025746      0 |        1 |        0
1261.80/1262.18	c 1215s |      15 |  5528087 |    95432 |  1025746      0 |        1 |        0
1264.19/1264.53	c 1217s |      15 |  5528282 |    95532 |  1025746      0 |        1 |        0
1267.29/1267.69	c 1220s |      15 |  5528586 |    95632 |  1025746      0 |        1 |        0
1269.59/1269.99	c 1223s |      15 |  5528771 |    95732 |  1025746      0 |        1 |        0
1273.19/1273.52	c 1226s |      15 |  5529295 |    95932 |  1025746      0 |        1 |        0
1276.99/1277.39	c 1230s |      15 |  5529904 |    96132 |  1025746      0 |        1 |        0
1279.49/1279.85	c 1233s |      15 |  5530152 |    96232 |  1025746      0 |        1 |        0
1281.58/1281.94	c 1235s |      15 |  5530403 |    96332 |  1025746      0 |        1 |        0
1283.69/1284.03	c 1237s |      15 |  5530707 |    96432 |  1025746      0 |        1 |        0
1285.89/1286.28	c 1239s |      15 |  5530965 |    96532 |  1025746      0 |        1 |        0
1289.19/1289.56	c 1242s |      15 |  5531224 |    96632 |  1025746      0 |        1 |        0
1291.28/1291.60	c 1244s |      15 |  5531433 |    96732 |  1025746      0 |        1 |        0
1293.59/1293.93	c 1247s |      15 |  5531634 |    96832 |  1025746      0 |        1 |        0
1295.78/1296.11	c 1249s |      15 |  5531879 |    96932 |  1025746      0 |        1 |        0
1298.08/1298.40	c 1251s |      15 |  5532247 |    97032 |  1025746      0 |        1 |        0
1300.08/1300.47	c 1253s |      15 |  5532486 |    97132 |  1025746      0 |        1 |        0
1302.39/1302.73	c 1255s |      15 |  5532735 |    97232 |  1025746      0 |        1 |        0
1304.59/1304.98	c 1258s |      15 |  5533044 |    97332 |  1025746      0 |        1 |        0
1308.08/1308.48	c 1261s |      15 |  5533345 |    97432 |  1025746      0 |        1 |        0
1310.69/1311.01	c 1264s |      15 |  5533654 |    97532 |  1025746      0 |        1 |        0
1312.88/1313.23	c 1266s |      15 |  5533848 |    97632 |  1025746      0 |        1 |        0
1315.09/1315.47	c 1268s |      15 |  5534066 |    97732 |  1025746      0 |        1 |        0
1318.98/1319.37	c 1272s |      15 |  5534453 |    97932 |  1025746      0 |        1 |        0
1321.38/1321.79	c 1275s |      15 |  5534653 |    98032 |  1025746      0 |        1 |        0
1323.68/1324.07	c 1277s |      15 |  5534813 |    98132 |  1025746      0 |        1 |        0
1327.08/1327.46	c 1280s |      15 |  5535002 |    98232 |  1025746      0 |        1 |        0
1329.58/1329.96	c 1283s |      15 |  5535180 |    98332 |  1025746      0 |        1 |        0
1332.08/1332.43	c 1285s |      15 |  5535389 |    98432 |  1025746      0 |        1 |        0
1334.48/1334.87	c 1288s |      15 |  5535608 |    98532 |  1025746      0 |        1 |        0
1338.78/1339.15	c 1292s |      15 |  5536035 |    98732 |  1025746      0 |        1 |        0
1340.78/1341.19	c 1294s |      15 |  5536208 |    98832 |  1025746      0 |        1 |        0
1342.89/1343.28	c 1296s |      15 |  5536404 |    98932 |  1025746      0 |        1 |        0
1346.28/1346.66	c 1299s |      15 |  5536638 |    99032 |  1025746      0 |        1 |        0
1348.68/1349.04	c 1302s |      15 |  5536864 |    99132 |  1025746      0 |        1 |        0
1350.97/1351.34	c 1304s |      15 |  5537068 |    99232 |  1025746      0 |        1 |        0
1353.58/1353.97	c 1307s |      15 |  5537403 |    99332 |  1025746      0 |        1 |        0
1355.87/1356.27	c 1309s |      15 |  5537756 |    99432 |  1025746      0 |        1 |        0
1358.97/1359.36	c 1312s |      15 |  5538589 |    99632 |  1025746      0 |        1 |        0
1363.48/1363.81	c 1317s |      15 |  5539403 |    99832 |  1025746      0 |        1 |        0
1365.58/1365.94	c 1319s |      15 |  5539649 |    99932 |  1025746      0 |        1 |        0
1370.97/1371.34	c 1324s |      15 |  5540245 |   100132 |  1025746      0 |        1 |        0
1373.47/1373.90	c 1327s |      15 |  5540487 |   100232 |  1025746      0 |        1 |        0
1375.57/1375.98	c 1329s |      15 |  5540714 |   100332 |  1025746      0 |        1 |        0
1378.58/1378.94	c 1332s |      15 |  5540940 |   100432 |  1025746      0 |        1 |        0
1381.38/1381.71	c 1334s |      15 |  5541118 |   100532 |  1025746      0 |        1 |        0
1383.78/1384.17	c 1337s |      15 |  5541306 |   100632 |  1025746      0 |        1 |        0
1386.47/1386.87	c 1340s |      15 |  5541455 |   100732 |  1025746      0 |        1 |        0
1389.87/1390.24	c 1343s |      15 |  5541607 |   100832 |  1025746      0 |        1 |        0
1393.97/1394.31	c 1347s |      15 |  5541790 |   100932 |  1025746      0 |        1 |        0
1396.46/1396.88	c 1350s |      15 |  5541981 |   101032 |  1025746      0 |        1 |        0
1399.16/1399.57	c 1352s |      15 |  5542137 |   101132 |  1025746      0 |        1 |        0
1401.86/1402.20	c 1355s |      15 |  5542302 |   101232 |  1025746      0 |        1 |        0
1404.67/1405.04	c 1358s |      15 |  5542469 |   101332 |  1025746      0 |        1 |        0
1407.67/1408.04	c 1361s |      15 |  5542657 |   101432 |  1025746      0 |        1 |        0
1410.36/1410.70	c 1363s |      15 |  5542834 |   101532 |  1025746      0 |        1 |        0
1415.16/1415.59	c 1368s |      15 |  5543013 |   101632 |  1025746      0 |        1 |        0
1418.06/1418.43	c 1371s |      15 |  5543161 |   101732 |  1025746      0 |        1 |        0
1420.66/1421.08	c 1374s |      15 |  5543334 |   101832 |  1025746      0 |        1 |        0
1423.76/1424.18	c 1377s |      15 |  5543501 |   101932 |  1025746      0 |        1 |        0
1426.86/1427.24	c 1380s |      15 |  5543638 |   102032 |  1025746      0 |        1 |        0
1429.46/1429.88	c 1383s |      15 |  5543789 |   102132 |  1025746      0 |        1 |        0
1432.76/1433.17	c 1386s |      15 |  5543968 |   102232 |  1025746      0 |        1 |        0
1436.56/1436.96	c 1390s |      15 |  5544175 |   102332 |  1025746      0 |        1 |        0
1439.45/1439.85	c 1393s |      15 |  5544343 |   102432 |  1025746      0 |        1 |        0
1442.36/1442.71	c 1395s |      15 |  5544508 |   102532 |  1025746      0 |        1 |        0
1445.06/1445.45	c 1398s |      15 |  5544661 |   102632 |  1025746      0 |        1 |        0
1448.26/1448.65	c 1401s |      15 |  5544824 |   102732 |  1025746      0 |        1 |        0
1450.86/1451.23	c 1404s |      15 |  5545014 |   102832 |  1025746      0 |        1 |        0
1453.45/1453.80	c 1407s |      15 |  5545141 |   102932 |  1025746      0 |        1 |        0
1456.17/1456.53	c 1409s |      15 |  5545320 |   103032 |  1025746      0 |        1 |        0
1460.16/1460.50	c 1413s |      15 |  5545448 |   103132 |  1025746      0 |        1 |        0
1463.45/1463.81	c 1417s |      15 |  5545649 |   103232 |  1025746      0 |        1 |        0
1467.06/1467.47	c 1420s |      15 |  5545818 |   103332 |  1025746      0 |        1 |        0
1470.36/1470.74	c 1423s |      15 |  5545941 |   103432 |  1025746      0 |        1 |        0
1474.25/1474.64	c 1427s |      15 |  5546076 |   103532 |  1025746      0 |        1 |        0
1477.95/1478.31	c 1431s |      15 |  5546208 |   103632 |  1025746      0 |        1 |        0
1482.45/1482.82	c 1436s |      15 |  5546340 |   103732 |  1025746      0 |        1 |        0
1485.85/1486.22	c 1439s |      15 |  5546479 |   103832 |  1025746      0 |        1 |        0
1489.45/1489.80	c 1443s |      15 |  5546638 |   103932 |  1025746      0 |        1 |        0
1492.24/1492.70	c 1445s |      15 |  5546770 |   104032 |  1025746      0 |        1 |        0
1495.15/1495.54	c 1448s |      15 |  5546924 |   104132 |  1025746      0 |        1 |        0
1497.95/1498.32	c 1451s |      15 |  5547040 |   104232 |  1025746      0 |        1 |        0
1500.75/1501.12	c 1454s |      15 |  5547165 |   104332 |  1025746      0 |        1 |        0
1504.75/1505.13	c 1458s |      15 |  5547291 |   104432 |  1025746      0 |        1 |        0
1508.04/1508.42	c 1461s |      15 |  5547416 |   104532 |  1025746      0 |        1 |        0
1511.24/1511.60	c 1464s |      15 |  5547553 |   104632 |  1025746      0 |        1 |        0
1513.94/1514.37	c 1467s |      15 |  5547697 |   104732 |  1025746      0 |        1 |        0
1516.85/1517.22	c 1470s |      15 |  5547825 |   104832 |  1025746      0 |        1 |        0
1519.86/1520.26	c 1473s |      15 |  5547934 |   104932 |  1025746      0 |        1 |        0
1522.64/1523.04	c 1476s |      15 |  5548073 |   105032 |  1025746      0 |        1 |        0
1526.74/1527.18	c 1480s |      15 |  5548212 |   105132 |  1025746      0 |        1 |        0
1529.85/1530.26	c 1483s |      15 |  5548342 |   105232 |  1025746      0 |        1 |        0
1533.44/1533.88	c 1487s |      15 |  5548470 |   105332 |  1025746      0 |        1 |        0
1536.04/1536.42	c 1489s |      15 |  5548615 |   105432 |  1025746      0 |        1 |        0
1538.74/1539.13	c 1492s |      15 |  5548737 |   105532 |  1025746      0 |        1 |        0
1541.85/1542.27	c 1495s |      15 |  5548873 |   105632 |  1025746      0 |        1 |        0
1544.74/1545.16	c 1498s |      15 |  5549012 |   105732 |  1025746      0 |        1 |        0
1548.94/1549.32	c 1502s |      15 |  5549133 |   105832 |  1025746      0 |        1 |        0
1551.94/1552.38	c 1505s |      15 |  5549304 |   105932 |  1025746      0 |        1 |        0
1554.64/1555.09	c 1508s |      15 |  5549462 |   106032 |  1025746      0 |        1 |        0
1558.04/1558.40	c 1511s |      15 |  5549614 |   106132 |  1025746      0 |        1 |        0
1561.54/1561.94	c 1515s |      15 |  5549739 |   106232 |  1025746      0 |        1 |        0
1565.04/1565.49	c 1518s |      15 |  5549865 |   106332 |  1025746      0 |        1 |        0
1569.83/1570.29	c 1523s |      15 |  5549975 |   106432 |  1025746      0 |        1 |        0
1573.14/1573.59	c 1526s |      15 |  5550091 |   106532 |  1025746      0 |        1 |        0
1576.64/1577.01	c 1530s |      15 |  5550208 |   106632 |  1025746      0 |        1 |        0
1580.73/1581.14	c 1534s |      15 |  5550340 |   106732 |  1025746      0 |        1 |        0
1584.63/1585.01	c 1538s |      15 |  5550481 |   106832 |  1025746      0 |        1 |        0
1588.93/1589.37	c 1542s |      15 |  5550654 |   106932 |  1025746      0 |        1 |        0
1591.73/1592.12	c 1545s |      15 |  5550788 |   107032 |  1025746      0 |        1 |        0
1594.73/1595.16	c 1548s |      15 |  5550913 |   107132 |  1025746      0 |        1 |        0
1598.04/1598.47	c 1551s |      15 |  5551049 |   107232 |  1025746      0 |        1 |        0
1600.93/1601.35	c 1554s |      15 |  5551197 |   107332 |  1025746      0 |        1 |        0
1603.44/1603.85	c 1557s |      15 |  5551350 |   107432 |  1025746      0 |        1 |        0
1606.32/1606.76	c 1559s |      15 |  5551478 |   107532 |  1025746      0 |        1 |        0
1609.82/1610.23	c 1563s |      15 |  5551645 |   107632 |  1025746      0 |        1 |        0
1614.32/1614.73	c 1567s |      15 |  5551776 |   107732 |  1025746      0 |        1 |        0
1617.13/1617.58	c 1570s |      15 |  5551946 |   107832 |  1025746      0 |        1 |        0
1619.93/1620.37	c 1573s |      15 |  5552106 |   107932 |  1025746      0 |        1 |        0
1622.93/1623.34	c 1576s |      15 |  5552258 |   108032 |  1025746      0 |        1 |        0
1625.73/1626.12	c 1579s |      15 |  5552409 |   108132 |  1025746      0 |        1 |        0
1628.62/1629.05	c 1582s |      15 |  5552549 |   108232 |  1025746      0 |        1 |        0
1632.42/1632.85	c 1586s |      15 |  5552729 |   108332 |  1025746      0 |        1 |        0
1635.33/1635.75	c 1588s |      15 |  5552880 |   108432 |  1025746      0 |        1 |        0
1639.32/1639.71	c 1592s |      15 |  5553043 |   108532 |  1025746      0 |        1 |        0
1642.13/1642.58	c 1595s |      15 |  5553179 |   108632 |  1025746      0 |        1 |        0
1646.02/1646.44	c 1599s |      15 |  5553339 |   108732 |  1025746      0 |        1 |        0
1648.82/1649.20	c 1602s |      15 |  5553503 |   108832 |  1025746      0 |        1 |        0
1651.92/1652.37	c 1605s |      15 |  5553647 |   108932 |  1025746      0 |        1 |        0
1654.82/1655.21	c 1608s |      15 |  5553789 |   109032 |  1025746      0 |        1 |        0
1657.92/1658.38	c 1611s |      15 |  5553945 |   109132 |  1025746      0 |        1 |        0
1662.22/1662.69	c 1615s |      15 |  5554103 |   109232 |  1025746      0 |        1 |        0
1665.82/1666.20	c 1619s |      15 |  5554249 |   109332 |  1025746      0 |        1 |        0
1668.52/1668.98	c 1622s |      15 |  5554420 |   109432 |  1025746      0 |        1 |        0
1671.73/1672.13	c 1625s |      15 |  5554607 |   109532 |  1025746      0 |        1 |        0
1674.71/1675.16	c 1628s |      15 |  5554789 |   109632 |  1025746      0 |        1 |        0
1677.61/1678.03	c 1631s |      15 |  5554966 |   109732 |  1025746      0 |        1 |        0
1680.62/1681.07	c 1634s |      15 |  5555140 |   109832 |  1025746      0 |        1 |        0
1683.62/1684.02	c 1637s |      15 |  5555291 |   109932 |  1025746      0 |        1 |        0
1688.41/1688.84	c 1642s |      15 |  5555454 |   110032 |  1025746      0 |        1 |        0
1691.11/1691.58	c 1644s |      15 |  5555643 |   110132 |  1025746      0 |        1 |        0
1694.32/1694.72	c 1647s |      15 |  5555792 |   110232 |  1025746      0 |        1 |        0
1697.41/1697.80	c 1651s |      15 |  5555944 |   110332 |  1025746      0 |        1 |        0
1700.42/1700.86	c 1654s |      15 |  5556077 |   110432 |  1025746      0 |        1 |        0
1703.41/1703.84	c 1657s |      15 |  5556279 |   110532 |  1025746      0 |        1 |        0
1706.41/1706.84	c 1660s |      15 |  5556422 |   110632 |  1025746      0 |        1 |        0
1709.61/1710.02	c 1663s |      15 |  5556567 |   110732 |  1025746      0 |        1 |        0
1713.91/1714.33	c 1667s |      15 |  5556714 |   110832 |  1025746      0 |        1 |        0
1717.11/1717.54	c 1670s |      15 |  5556897 |   110932 |  1025746      0 |        1 |        0
1720.41/1720.84	c 1674s |      15 |  5557094 |   111032 |  1025746      0 |        1 |        0
1723.21/1723.68	c 1676s |      15 |  5557266 |   111132 |  1025746      0 |        1 |        0
1726.11/1726.50	c 1679s |      15 |  5557460 |   111232 |  1025746      0 |        1 |        0
1729.31/1729.77	c 1682s |      15 |  5557586 |   111332 |  1025746      0 |        1 |        0
1732.51/1732.92	c 1686s |      15 |  5557731 |   111432 |  1025746      0 |        1 |        0
1736.61/1737.09	c 1690s |      15 |  5557933 |   111532 |  1025746      0 |        1 |        0
1739.91/1740.33	c 1693s |      15 |  5558103 |   111632 |  1025746      0 |        1 |        0
1743.31/1743.72	c 1696s |      15 |  5558272 |   111732 |  1025746      0 |        1 |        0
1745.91/1746.34	c 1699s |      15 |  5558436 |   111832 |  1025746      0 |        1 |        0
1749.20/1749.60	c 1702s |      15 |  5558629 |   111932 |  1025746      0 |        1 |        0
1752.10/1752.54	c 1705s |      15 |  5558792 |   112032 |  1025746      0 |        1 |        0
1755.60/1756.02	c 1709s |      15 |  5558957 |   112132 |  1025746      0 |        1 |        0
1758.40/1758.88	c 1712s |      15 |  5559125 |   112232 |  1025746      0 |        1 |        0
1762.80/1763.24	c 1716s |      15 |  5559288 |   112332 |  1025746      0 |        1 |        0
1766.50/1766.97	c 1720s |      15 |  5559590 |   112432 |  1025746      0 |        1 |        0
1769.20/1769.65	c 1722s |      15 |  5559980 |   112732 |  1025746      0 |        1 |        0
1771.70/1772.16	c 1725s |      15 |  5560307 |   113032 |  1025746      0 |        1 |        0
1774.70/1775.13	c 1728s |      15 |  5560695 |   113232 |  1025746      0 |        1 |        0
1777.21/1777.68	c 1730s |      15 |  5560959 |   113332 |  1025746      0 |        1 |        0
1781.50/1781.94	c 1735s |      15 |  5561198 |   113432 |  1025746      0 |        1 |        0
1784.70/1785.17	c 1738s |      15 |  5561404 |   113532 |  1025746      0 |        1 |        0
1787.60/1788.09	c 1741s |      15 |  5561753 |   113632 |  1025746      0 |        1 |        0
1791.39/1791.82	c 1745s |      15 |  5561926 |   113732 |  1025746      0 |        1 |        0
1794.69/1795.15	c 1748s |      15 |  5562180 |   113832 |  1025746      0 |        1 |        0
1797.80/1798.24	c 1751s |      15 |  5562355 |   113932 |  1025746      0 |        1 |        0

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

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

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


[startup+0 s]
/proc/loadavg: 1.92 2.00 1.99 3/179 15781
/proc/meminfo: memFree=30634760/32872528 swapFree=532956/565660
[pid=15781] ppid=15778 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/15781/stat : 15781 (toysat) R 15778 15781 11130 0 -1 4202496 780 0 0 0 0 0 0 0 20 0 4 0 10820912 246870016 1140 33554432000 4194304 16246674 140735460025824 140735460025248 14073233 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15781/statm: 60271 1144 426 2943 0 57165 0
[pid=15781/tid=15782] ppid=15778 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15782/stat : 15782 (toysat) S 15778 15781 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10820913 246870016 1166 33554432000 4194304 16246674 140735460025824 140479893056752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15781/tid=15783] ppid=15778 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15783/stat : 15783 (toysat) S 15778 15781 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10820913 246870016 1175 33554432000 4194304 16246674 140735460025824 140479882566896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15781/tid=15784] ppid=15778 vsize=243132 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15784/stat : 15784 (toysat) S 15778 15781 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10820913 248967168 1182 33554432000 4194304 16246674 140735460025824 140479872093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 1.92 2.00 1.99 3/179 15781
/proc/meminfo: memFree=30634760/32872528 swapFree=532956/565660
[pid=15781] ppid=15778 vsize=1221188 CPUtime=0.08 cores=1,3,5,7
/proc/15781/stat : 15781 (toysat) R 15778 15781 11130 0 -1 4202496 25142 0 0 0 5 3 0 0 20 0 4 0 10820912 1250496512 25442 33554432000 4194304 16246674 140735460025824 140735460025136 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15781/statm: 305297 25442 800 2943 0 302191 0
[pid=15781/tid=15782] ppid=15778 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15782/stat : 15782 (toysat) S 15778 15781 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10820913 1250496512 25442 33554432000 4194304 16246674 140735460025824 140479893056752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15781/tid=15783] ppid=15778 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15783/stat : 15783 (toysat) S 15778 15781 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10820913 1250496512 25442 33554432000 4194304 16246674 140735460025824 140479882566896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15781/tid=15784] ppid=15778 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15784/stat : 15784 (toysat) S 15778 15781 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10820913 1250496512 25442 33554432000 4194304 16246674 140735460025824 140479872093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.20054 s]
/proc/loadavg: 1.92 2.00 1.99 3/179 15781
/proc/meminfo: memFree=30634760/32872528 swapFree=532956/565660
[pid=15781] ppid=15778 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/15781/stat : 15781 (toysat) R 15778 15781 11130 0 -1 4202496 47290 0 0 0 12 7 0 0 20 0 4 0 10820912 1342771200 48101 33554432000 4194304 16246674 140735460025824 140735460025136 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15781/statm: 327825 48107 801 2943 0 324719 0
[pid=15781/tid=15782] ppid=15778 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15782/stat : 15782 (toysat) S 15778 15781 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10820913 1343819776 48115 33554432000 4194304 16246674 140735460025824 140479893056752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15781/tid=15783] ppid=15778 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15783/stat : 15783 (toysat) S 15778 15781 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10820913 1343819776 48119 33554432000 4194304 16246674 140735460025824 140479882566896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15781/tid=15784] ppid=15778 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15784/stat : 15784 (toysat) S 15778 15781 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10820913 1343819776 48122 33554432000 4194304 16246674 140735460025824 140479872093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300505 s]
/proc/loadavg: 1.92 2.00 1.99 3/179 15781
/proc/meminfo: memFree=30634760/32872528 swapFree=532956/565660
[pid=15781] ppid=15778 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/15781/stat : 15781 (toysat) R 15778 15781 11130 0 -1 4202496 60512 0 0 0 20 9 0 0 20 0 4 0 10820912 1344868352 61323 33554432000 4194304 16246674 140735460025824 140735460025136 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15781/statm: 328337 61323 801 2943 0 325231 0
[pid=15781/tid=15782] ppid=15778 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15782/stat : 15782 (toysat) S 15778 15781 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10820913 1344868352 61323 33554432000 4194304 16246674 140735460025824 140479893056752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15781/tid=15783] ppid=15778 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15783/stat : 15783 (toysat) S 15778 15781 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10820913 1344868352 61323 33554432000 4194304 16246674 140735460025824 140479882566896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15781/tid=15784] ppid=15778 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15784/stat : 15784 (toysat) S 15778 15781 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10820913 1344868352 61323 33554432000 4194304 16246674 140735460025824 140479872093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700415 s]
/proc/loadavg: 1.92 2.00 1.99 3/179 15781
/proc/meminfo: memFree=30634760/32872528 swapFree=532956/565660
[pid=15781] ppid=15778 vsize=1313348 CPUtime=0.68 cores=1,3,5,7
/proc/15781/stat : 15781 (toysat) R 15778 15781 11130 0 -1 4202496 62664 0 0 0 59 9 0 0 20 0 4 0 10820912 1344868352 63475 33554432000 4194304 16246674 140735460025824 140735460007744 8055447 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15781/statm: 328337 63475 801 2943 0 325231 0
[pid=15781/tid=15782] ppid=15778 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15782/stat : 15782 (toysat) S 15778 15781 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10820913 1344868352 63475 33554432000 4194304 16246674 140735460025824 140479893056752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15781/tid=15783] ppid=15778 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15783/stat : 15783 (toysat) S 15778 15781 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10820913 1344868352 63475 33554432000 4194304 16246674 140735460025824 140479882566896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15781/tid=15784] ppid=15778 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15784/stat : 15784 (toysat) S 15778 15781 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10820913 1344868352 63475 33554432000 4194304 16246674 140735460025824 140479872093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50044 s]
/proc/loadavg: 1.92 2.00 1.99 3/183 15785
/proc/meminfo: memFree=30339636/32872528 swapFree=532956/565660
[pid=15781] ppid=15778 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/15781/stat : 15781 (toysat) R 15778 15781 11130 0 -1 4202496 82523 0 0 0 137 12 0 0 20 0 4 0 10820912 1344868352 83334 33554432000 4194304 16246674 140735460025824 140735460007744 7374521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15781/statm: 328337 83334 802 2943 0 325231 0
[pid=15781/tid=15782] ppid=15778 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15782/stat : 15782 (toysat) S 15778 15781 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10820913 1344868352 83334 33554432000 4194304 16246674 140735460025824 140479893056752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15781/tid=15783] ppid=15778 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15783/stat : 15783 (toysat) S 15778 15781 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10820913 1344868352 83334 33554432000 4194304 16246674 140735460025824 140479882566896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15781/tid=15784] ppid=15778 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15784/stat : 15784 (toysat) S 15778 15781 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10820913 1344868352 83334 33554432000 4194304 16246674 140735460025824 140479872093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10043 s]
/proc/loadavg: 1.92 2.00 1.99 4/183 15785
/proc/meminfo: memFree=30268312/32872528 swapFree=532956/565660
[pid=15781] ppid=15778 vsize=1321540 CPUtime=3.08 cores=1,3,5,7
/proc/15781/stat : 15781 (toysat) R 15778 15781 11130 0 -1 4202496 98054 0 0 0 295 13 0 0 20 0 4 0 10820912 1353256960 98865 33554432000 4194304 16246674 140735460025824 140735460007744 4221108 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15781/statm: 330385 98865 815 2943 0 327279 0
[pid=15781/tid=15782] ppid=15778 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15782/stat : 15782 (toysat) S 15778 15781 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10820913 1353256960 98865 33554432000 4194304 16246674 140735460025824 140479893056752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15781/tid=15783] ppid=15778 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15783/stat : 15783 (toysat) S 15778 15781 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10820913 1353256960 98865 33554432000 4194304 16246674 140735460025824 140479882566896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15781/tid=15784] ppid=15778 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15784/stat : 15784 (toysat) S 15778 15781 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10820913 1353256960 98865 33554432000 4194304 16246674 140735460025824 140479872093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1321540

[startup+6.30044 s]
/proc/loadavg: 1.93 2.00 1.99 3/183 15785
/proc/meminfo: memFree=30037364/32872528 swapFree=532956/565660
[pid=15781] ppid=15778 vsize=1321540 CPUtime=6.28 cores=1,3,5,7
/proc/15781/stat : 15781 (toysat) R 15778 15781 11130 0 -1 4202496 148858 0 0 0 608 20 0 0 20 0 4 0 10820912 1353256960 149669 33554432000 4194304 16246674 140735460025824 140735460007744 12481037 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15781/statm: 330385 149669 834 2943 0 327279 0
[pid=15781/tid=15782] ppid=15778 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15782/stat : 15782 (toysat) S 15778 15781 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10820913 1353256960 149669 33554432000 4194304 16246674 140735460025824 140479893056752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15781/tid=15783] ppid=15778 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15783/stat : 15783 (toysat) S 15778 15781 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10820913 1353256960 149669 33554432000 4194304 16246674 140735460025824 140479882566896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15781/tid=15784] ppid=15778 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15784/stat : 15784 (toysat) S 15778 15781 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10820913 1353256960 149669 33554432000 4194304 16246674 140735460025824 140479872093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1321540

[startup+12.7004 s]
/proc/loadavg: 2.01 2.02 2.00 4/183 15785
/proc/meminfo: memFree=29502740/32872528 swapFree=532956/565660
[pid=15781] ppid=15778 vsize=1367620 CPUtime=12.68 cores=1,3,5,7
/proc/15781/stat : 15781 (toysat) R 15778 15781 11130 0 -1 4202496 282527 0 0 0 1230 38 0 0 20 0 4 0 10820912 1400442880 283338 33554432000 4194304 16246674 140735460025824 140735460007744 12459037 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15781/statm: 341905 283338 837 2943 0 338799 0
[pid=15781/tid=15782] ppid=15778 vsize=1367620 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15782/stat : 15782 (toysat) S 15778 15781 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10820913 1400442880 283338 33554432000 4194304 16246674 140735460025824 140479893056752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15781/tid=15783] ppid=15778 vsize=1367620 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15783/stat : 15783 (toysat) S 15778 15781 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10820913 1400442880 283338 33554432000 4194304 16246674 140735460025824 140479882566896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15781/tid=15784] ppid=15778 vsize=1367620 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15784/stat : 15784 (toysat) S 15778 15781 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10820913 1400442880 283338 33554432000 4194304 16246674 140735460025824 140479872093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1367620

[startup+25.5005 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 15785
/proc/meminfo: memFree=28800520/32872528 swapFree=532956/565660
[pid=15781] ppid=15778 vsize=2069060 CPUtime=25.48 cores=1,3,5,7
/proc/15781/stat : 15781 (toysat) R 15778 15781 11130 0 -1 4202496 457958 0 0 0 2487 61 0 0 20 0 4 0 10820912 2118717440 458769 33554432000 4194304 16246674 140735460025824 140735460023616 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15781/statm: 517265 458769 908 2943 0 514159 0
[pid=15781/tid=15782] ppid=15778 vsize=2069060 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15782/stat : 15782 (toysat) S 15778 15781 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10820913 2118717440 458769 33554432000 4194304 16246674 140735460025824 140479893056752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15781/tid=15783] ppid=15778 vsize=2069060 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15783/stat : 15783 (toysat) S 15778 15781 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10820913 2118717440 458769 33554432000 4194304 16246674 140735460025824 140479882566896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15781/tid=15784] ppid=15778 vsize=2069060 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15784/stat : 15784 (toysat) S 15778 15781 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10820913 2118717440 458769 33554432000 4194304 16246674 140735460025824 140479872093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2069060

[startup+51.1005 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 15785
/proc/meminfo: memFree=28462004/32872528 swapFree=532956/565660
[pid=15781] ppid=15778 vsize=2406980 CPUtime=51.08 cores=1,3,5,7
/proc/15781/stat : 15781 (toysat) R 15778 15781 11130 0 -1 4202496 542459 0 0 0 5033 75 0 0 20 0 4 0 10820912 2464747520 543270 33554432000 4194304 16246674 140735460025824 140735460007744 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15781/statm: 601745 543270 929 2943 0 598639 0
[pid=15781/tid=15782] ppid=15778 vsize=2406980 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15782/stat : 15782 (toysat) S 15778 15781 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10820913 2464747520 543270 33554432000 4194304 16246674 140735460025824 140479893056752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15781/tid=15783] ppid=15778 vsize=2406980 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15783/stat : 15783 (toysat) S 15778 15781 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10820913 2464747520 543270 33554432000 4194304 16246674 140735460025824 140479882566896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15781/tid=15784] ppid=15778 vsize=2406980 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15784/stat : 15784 (toysat) S 15778 15781 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10820913 2464747520 543270 33554432000 4194304 16246674 140735460025824 140479872093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2406980

[startup+102.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 15835
/proc/meminfo: memFree=27509488/32872528 swapFree=532956/565660
[pid=15781] ppid=15778 vsize=2406980 CPUtime=102.28 cores=1,3,5,7
/proc/15781/stat : 15781 (toysat) R 15778 15781 11130 0 -1 4202496 542462 0 0 0 10150 78 0 0 20 0 4 0 10820912 2464747520 543273 33554432000 4194304 16246674 140735460025824 140735460007744 13907028 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15781/statm: 601745 543273 932 2943 0 598639 0
[pid=15781/tid=15782] ppid=15778 vsize=2406980 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15782/stat : 15782 (toysat) S 15778 15781 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10820913 2464747520 543273 33554432000 4194304 16246674 140735460025824 140479893056752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15781/tid=15783] ppid=15778 vsize=2406980 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15783/stat : 15783 (toysat) S 15778 15781 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10820913 2464747520 543273 33554432000 4194304 16246674 140735460025824 140479882566896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15781/tid=15784] ppid=15778 vsize=2406980 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15784/stat : 15784 (toysat) S 15778 15781 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10820913 2464747520 543273 33554432000 4194304 16246674 140735460025824 140479872093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2406980


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

/proc/15781/task/15784/stat : 15784 (toysat) S 15778 15781 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10820913 4095283200 941307 33554432000 4194304 16246674 140735460025824 140479872093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 3999300

[startup+1362.3 s]
/proc/loadavg: 2.14 2.10 2.04 4/183 16012
/proc/meminfo: memFree=25821896/32872528 swapFree=532956/565660
[pid=15781] ppid=15778 vsize=4083268 CPUtime=1361.97 cores=1,3,5,7
/proc/15781/stat : 15781 (toysat) R 15778 15781 11130 0 -1 4202496 961507 0 0 0 135762 435 0 0 20 0 4 0 10820912 4181266432 962114 33554432000 4194304 16246674 140735460025824 140735460025000 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15781/statm: 1020817 962114 933 2943 0 1017711 0
[pid=15781/tid=15782] ppid=15778 vsize=4083268 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15782/stat : 15782 (toysat) S 15778 15781 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10820913 4181266432 962114 33554432000 4194304 16246674 140735460025824 140479893056752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15781/tid=15783] ppid=15778 vsize=4083268 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15783/stat : 15783 (toysat) S 15778 15781 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10820913 4181266432 962114 33554432000 4194304 16246674 140735460025824 140479882566896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15781/tid=15784] ppid=15778 vsize=4083268 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15784/stat : 15784 (toysat) S 15778 15781 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10820913 4181266432 962114 33554432000 4194304 16246674 140735460025824 140479872093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 4083268

[startup+1422.3 s]
/proc/loadavg: 2.10 2.10 2.04 3/183 16014
/proc/meminfo: memFree=25670284/32872528 swapFree=532956/565660
[pid=15781] ppid=15778 vsize=4166212 CPUtime=1421.97 cores=1,3,5,7
/proc/15781/stat : 15781 (toysat) R 15778 15781 11130 0 -1 4202496 982270 0 0 0 141743 454 0 0 20 0 4 0 10820912 4266201088 982867 33554432000 4194304 16246674 140735460025824 140735460024920 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15781/statm: 1041553 982867 933 2943 0 1038447 0
[pid=15781/tid=15782] ppid=15778 vsize=4166212 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15782/stat : 15782 (toysat) S 15778 15781 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10820913 4266201088 982867 33554432000 4194304 16246674 140735460025824 140479893056752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15781/tid=15783] ppid=15778 vsize=4166212 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15783/stat : 15783 (toysat) S 15778 15781 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10820913 4266201088 982867 33554432000 4194304 16246674 140735460025824 140479882566896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15781/tid=15784] ppid=15778 vsize=4166212 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15784/stat : 15784 (toysat) S 15778 15781 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10820913 4266201088 982867 33554432000 4194304 16246674 140735460025824 140479872093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 4166212

[startup+1482.3 s]
/proc/loadavg: 2.14 2.11 2.04 3/184 16018
/proc/meminfo: memFree=25513704/32872528 swapFree=532956/565660
[pid=15781] ppid=15778 vsize=4250180 CPUtime=1481.95 cores=1,3,5,7
/proc/15781/stat : 15781 (toysat) R 15778 15781 11130 0 -1 4202496 1003292 0 0 0 147726 469 0 0 20 0 4 0 10820912 4352184320 1003887 33554432000 4194304 16246674 140735460025824 140735460007744 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15781/statm: 1062545 1003887 933 2943 0 1059439 0
[pid=15781/tid=15782] ppid=15778 vsize=4250180 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15782/stat : 15782 (toysat) S 15778 15781 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10820913 4352184320 1003887 33554432000 4194304 16246674 140735460025824 140479893056752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15781/tid=15783] ppid=15778 vsize=4250180 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15783/stat : 15783 (toysat) S 15778 15781 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10820913 4352184320 1003887 33554432000 4194304 16246674 140735460025824 140479882566896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15781/tid=15784] ppid=15778 vsize=4250180 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15784/stat : 15784 (toysat) S 15778 15781 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10820913 4352184320 1003887 33554432000 4194304 16246674 140735460025824 140479872093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 4250180

[startup+1542.31 s]
/proc/loadavg: 2.14 2.11 2.05 4/184 16042
/proc/meminfo: memFree=25392644/32872528 swapFree=532956/565660
[pid=15781] ppid=15778 vsize=4303428 CPUtime=1541.95 cores=1,3,5,7
/proc/15781/stat : 15781 (toysat) R 15778 15781 11130 0 -1 4202496 1016598 0 0 0 153711 484 0 0 20 0 4 0 10820912 4406710272 1017187 33554432000 4194304 16246674 140735460025824 140735460024920 5523460 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15781/statm: 1075857 1017187 933 2943 0 1072751 0
[pid=15781/tid=15782] ppid=15778 vsize=4303428 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15782/stat : 15782 (toysat) S 15778 15781 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10820913 4406710272 1017187 33554432000 4194304 16246674 140735460025824 140479893056752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15781/tid=15783] ppid=15778 vsize=4303428 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15783/stat : 15783 (toysat) S 15778 15781 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10820913 4406710272 1017187 33554432000 4194304 16246674 140735460025824 140479882566896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15781/tid=15784] ppid=15778 vsize=4303428 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15784/stat : 15784 (toysat) S 15778 15781 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10820913 4406710272 1017187 33554432000 4194304 16246674 140735460025824 140479872093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 4303428

[startup+1602.3 s]
/proc/loadavg: 2.14 2.12 2.05 3/183 16043
/proc/meminfo: memFree=25244780/32872528 swapFree=532956/565660
[pid=15781] ppid=15778 vsize=4386372 CPUtime=1601.93 cores=1,3,5,7
/proc/15781/stat : 15781 (toysat) R 15778 15781 11130 0 -1 4202496 1037502 0 0 0 159691 502 0 0 20 0 4 0 10820912 4491644928 1038085 33554432000 4194304 16246674 140735460025824 140735460025000 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15781/statm: 1096593 1038085 934 2943 0 1093487 0
[pid=15781/tid=15782] ppid=15778 vsize=4386372 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15782/stat : 15782 (toysat) S 15778 15781 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10820913 4491644928 1038085 33554432000 4194304 16246674 140735460025824 140479893056752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15781/tid=15783] ppid=15778 vsize=4386372 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15783/stat : 15783 (toysat) S 15778 15781 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10820913 4491644928 1038085 33554432000 4194304 16246674 140735460025824 140479882566896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15781/tid=15784] ppid=15778 vsize=4386372 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15784/stat : 15784 (toysat) S 15778 15781 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10820913 4491644928 1038085 33554432000 4194304 16246674 140735460025824 140479872093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 4386372

[startup+1662.3 s]
/proc/loadavg: 2.15 2.13 2.06 3/183 16044
/proc/meminfo: memFree=25131348/32872528 swapFree=532956/565660
[pid=15781] ppid=15778 vsize=4442692 CPUtime=1661.91 cores=1,3,5,7
/proc/15781/stat : 15781 (toysat) R 15778 15781 11130 0 -1 4202496 1051627 0 0 0 165673 518 0 0 20 0 4 0 10820912 4549316608 1052207 33554432000 4194304 16246674 140735460025824 140735460023616 4220490 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15781/statm: 1110673 1052207 934 2943 0 1107567 0
[pid=15781/tid=15782] ppid=15778 vsize=4442692 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15782/stat : 15782 (toysat) S 15778 15781 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10820913 4549316608 1052207 33554432000 4194304 16246674 140735460025824 140479893056752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15781/tid=15783] ppid=15778 vsize=4442692 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15783/stat : 15783 (toysat) S 15778 15781 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10820913 4549316608 1052207 33554432000 4194304 16246674 140735460025824 140479882566672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15781/tid=15784] ppid=15778 vsize=4442692 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15784/stat : 15784 (toysat) S 15778 15781 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10820913 4549316608 1052207 33554432000 4194304 16246674 140735460025824 140479872093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 4442692

[startup+1722.3 s]
/proc/loadavg: 2.05 2.10 2.05 4/182 16046
/proc/meminfo: memFree=24952896/32872528 swapFree=532956/565660
[pid=15781] ppid=15778 vsize=4530756 CPUtime=1721.91 cores=1,3,5,7
/proc/15781/stat : 15781 (toysat) R 15778 15781 11130 0 -1 4202496 1073554 0 0 0 171652 539 0 0 20 0 4 0 10820912 4639494144 1074131 33554432000 4194304 16246674 140735460025824 140735460007744 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15781/statm: 1132689 1074131 934 2943 0 1129583 0
[pid=15781/tid=15782] ppid=15778 vsize=4530756 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15782/stat : 15782 (toysat) S 15778 15781 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10820913 4639494144 1074131 33554432000 4194304 16246674 140735460025824 140479893056752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15781/tid=15783] ppid=15778 vsize=4530756 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15783/stat : 15783 (toysat) S 15778 15781 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10820913 4639494144 1074131 33554432000 4194304 16246674 140735460025824 140479882566896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15781/tid=15784] ppid=15778 vsize=4530756 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15784/stat : 15784 (toysat) S 15778 15781 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10820913 4639494144 1074131 33554432000 4194304 16246674 140735460025824 140479872093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 4530756

[startup+1782.3 s]
/proc/loadavg: 2.02 2.08 2.05 3/183 16048
/proc/meminfo: memFree=24794516/32872528 swapFree=532956/565660
[pid=15781] ppid=15778 vsize=4619844 CPUtime=1781.89 cores=1,3,5,7
/proc/15781/stat : 15781 (toysat) R 15778 15781 11130 0 -1 4202496 1095708 0 0 0 177631 558 0 0 20 0 4 0 10820912 4730720256 1096280 33554432000 4194304 16246674 140735460025824 140735460025000 5829844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15781/statm: 1154961 1096280 934 2943 0 1151855 0
[pid=15781/tid=15782] ppid=15778 vsize=4619844 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15782/stat : 15782 (toysat) S 15778 15781 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10820913 4730720256 1096280 33554432000 4194304 16246674 140735460025824 140479893056752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15781/tid=15783] ppid=15778 vsize=4619844 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15783/stat : 15783 (toysat) S 15778 15781 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10820913 4730720256 1096280 33554432000 4194304 16246674 140735460025824 140479882566896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15781/tid=15784] ppid=15778 vsize=4619844 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15784/stat : 15784 (toysat) S 15778 15781 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10820913 4730720256 1096280 33554432000 4194304 16246674 140735460025824 140479872093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 4619844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.01 2.07 2.05 3/183 16049
/proc/meminfo: memFree=24775512/32872528 swapFree=532956/565660
[pid=15781] ppid=15778 vsize=4619844 CPUtime=1800.09 cores=1,3,5,7
/proc/15781/stat : 15781 (toysat) R 15778 15781 11130 0 -1 4202496 1095923 0 0 0 179446 563 0 0 20 0 4 0 10820912 4730720256 1096495 33554432000 4194304 16246674 140735460025824 140735460023616 4206653 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15781/statm: 1154961 1096495 934 2943 0 1151855 0
[pid=15781/tid=15782] ppid=15778 vsize=4619844 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15782/stat : 15782 (toysat) S 15778 15781 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10820913 4730720256 1096495 33554432000 4194304 16246674 140735460025824 140479893056752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15781/tid=15783] ppid=15778 vsize=4619844 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15783/stat : 15783 (toysat) S 15778 15781 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10820913 4730720256 1096495 33554432000 4194304 16246674 140735460025824 140479882566672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15781/tid=15784] ppid=15778 vsize=4619844 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15784/stat : 15784 (toysat) S 15778 15781 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10820913 4730720256 1096495 33554432000 4194304 16246674 140735460025824 140479872093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 4619844

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

[startup+1800.5 s]
/proc/loadavg: 2.01 2.07 2.05 3/183 16049
/proc/meminfo: memFree=24775512/32872528 swapFree=532956/565660
[pid=15781] ppid=15778 vsize=4619844 CPUtime=1800.09 cores=1,3,5,7
/proc/15781/stat : 15781 (toysat) R 15778 15781 11130 0 -1 4202496 1095923 0 0 0 179446 563 0 0 20 0 4 0 10820912 4730720256 1096495 33554432000 4194304 16246674 140735460025824 140735460023616 4206653 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15781/statm: 1154961 1096495 934 2943 0 1151855 0
[pid=15781/tid=15782] ppid=15778 vsize=4619844 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15782/stat : 15782 (toysat) S 15778 15781 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10820913 4730720256 1096495 33554432000 4194304 16246674 140735460025824 140479893056752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15781/tid=15783] ppid=15778 vsize=4619844 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15783/stat : 15783 (toysat) S 15778 15781 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10820913 4730720256 1096495 33554432000 4194304 16246674 140735460025824 140479882566672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15781/tid=15784] ppid=15778 vsize=4619844 CPUtime=0 cores=1,3,5,7
/proc/15781/task/15784/stat : 15784 (toysat) S 15778 15781 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10820913 4730720256 1096495 33554432000 4194304 16246674 140735460025824 140479872093360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 4619844

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.6
CPU time (s): 1800.21
CPU user time (s): 1794.47
CPU system time (s): 5.73513
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 4619844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.47
system time used= 5.73513
maximum resident set size= 4385980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1095923
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= 531
involuntary context switches= 1930

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.072 second user time and 16.2585 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-16 16:35:53
IDJOB=4093590
IDBENCH=79101
IDSOLVER=2553
FILE ID=node138/4093590-1466087752
RUNJOBID= node138-1466074865-13652
PBS_JOBID= 19904002
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-0-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093590-1466087752/watcher-4093590-1466087752 -o /tmp/evaluation-result-4093590-1466087752/solver-4093590-1466087752 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466074865-13652 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093590-1466087752.wbo

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

MD5SUM BENCH= c79e7c2e90b077e3e4741aedcc3e19d9
RANDOM SEED=1091736036

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30635288 kB
Buffers:           38008 kB
Cached:           125832 kB
SwapCached:         1380 kB
Active:           895272 kB
Inactive:          73948 kB
Active(anon):     806104 kB
Inactive(anon):     1664 kB
Active(file):      89168 kB
Inactive(file):    72284 kB
Unevictable:      565660 kB
Mlocked:          532956 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             47324 kB
Writeback:             0 kB
AnonPages:       1370220 kB
Mapped:            10892 kB
Shmem:                 0 kB
Slab:             569632 kB
SReclaimable:      12516 kB
SUnreclaim:       557116 kB
KernelStack:        1464 kB
PageTables:         7404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1813408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node138 at 2016-06-16 17:05:53