Trace number 4093591

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl--soft-0-100-0.wbo
MD5SUMc793e6de080a97fe48f7abfaf5144445
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 benchmark666.8
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables77106
Total number of constraints218779
Number of soft constraints218779
Number of constraints which are clauses205559
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13220
Minimum length of a constraint1
Maximum length of a constraint15
Top cost 11044627
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 11044626
Biggest number in a constraint 129
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 510
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T16:37:43+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-4093591-1466087863.wbo"]
0.00/0.01	c use --random-gen="3348934162 1281598124 1415752205 3569029730 2231087463 109925018 2714792575 2036768914 2045561130 1874359647 3563576384 2337996554 3131191536 3712108022 377039453 2188460921 2543672898 1628803351 365631067 4265645682 882899390 3366268228 2926457590 2958965003 4093639923 3249247574 2093962625 3856670867 3490536548 1767370859 4097189907 3789608957 466051855 1054608706 2814679421 4257487064 496777618 1262922833 2305965859 1142657630 818431312 3957417714 737289828 1454001511 658541784 328718920 3854039404 3089247438 1471752024 1816243036 4223707466 1839048695 1424699969 2902954585 3355258509 1061081498 1239964926 996933431 1214572306 1748370431 4099738298 1149896508 1326861392 3214045143 1412400142 802120790 2836646821 1324250774 4170456247 3241305845 939027173 3283728198 844881378 3791721223 2626130167 3219536646 530972510 1891749934 2114242027 2644215779 2199125016 3101220978 2786878539 1373914819 3079185194 3154396983 3899662923 1937666021 2561887010 806783194 134612724 2362177188 3338917056 3132726741 356780328 1315800965 716806666 2016110300 448304060 512181529 1926545432 1726040267 1682322356 3579357192 2222869709 1691736244 535159665 3492125288 3905194676 3602187023 3727001484 1763616079 1638550929 2006187412 3248032710 1069322864 473296519 2903223743 1010400318 2171256221 2884983722 1092352061 2995476330 608232072 3831985400 1999084424 545975720 2634431797 2805785846 2933372748 12050073 715185424 1367951811 3137736440 143557784 2612190291 1439430247 2337364140 460036579 3310273171 1308537690 1977423657 2098089303 1749026751 3302417817 1199078028 1824312987 3066104430 542907021 2892107420 3167810510 1969412486 178200871 1750440219 2526922364 3731180815 1349064661 184364943 717710210 3706954072 1048999096 3775110669 2170016483 3153589331 2957062892 4137804002 3901780155 3180771869 939365690 635308442 2568984270 1273674487 1764370681 3464985987 2284695811 1447283595 1790497828 4175309019 845697451 3469928183 4085038238 4283541739 1563646551 2707466565 2571696254 3306590004 258867129 290966863 3173370310 773478961 1395120822 2932401350 88069201 3590882863 2406824252 2248951841 946593407 3406830754 3018917064 1227387859 1194355119 1933488836 3890873358 814242717 1834447992 2165962970 2833641591 1284332838 1945591802 863107882 2930954867 196706748 2453355937 1942298505 2527039133 2977667983 257316685 4084964265 3924944909 1395140286 477321095 2982205958 3236026773 1013672382 1829740477 2048755831 3828103208 814908567 2242644220 2086345457 3498269046 913493098 966648999 1280820560 3135759599 4275555510 671272870 3552116805 4214392192 2921580388 1205542740 532503650 2219723777 2147641759 575538783 2048316665 899798602 2504267207 1306067300 834282816 1760374919 3660414314 2288018111 2655675791 347172162 587819398 255 362436" option to reproduce the execution
10.88/11.00	c #vars 77106
10.88/11.00	c #constraints 218779
16.99/17.03	c BCD2: Hardening is enabled.
16.99/17.03	c BCD2: BiasedSearch is enabled.
16.99/17.03	c Solving starts ...
16.99/17.03	c ============================[ Search Statistics ]============================
16.99/17.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
16.99/17.03	c       |         |          |          |    Limit     GC | Var      | Constra 
16.99/17.03	c =============================================================================
16.99/17.06	c  0.0s |       0 |        0 |        0 |   171554      0 |        1 |        0
20.78/20.81	c  3.8s |       0 |  1265477 |      100 |   171554      0 |        1 |        0
20.89/20.95	c  3.9s |       1 |  1265477 |      100 |   171554      0 |        1 |        0
23.38/23.43	c  6.4s |       2 |  1484490 |      250 |   188710      0 |        1 |        0
25.08/25.11	c  8.1s |       3 |  1845528 |      475 |   207582      0 |        1 |        0
27.28/27.31	c 10.3s |       3 |  2648295 |      575 |   228341      0 |        1 |        0
27.78/27.88	c 10.8s |       3 |  2706371 |      682 |   228341      0 |        1 |        0
27.78/27.88	c #cpu_time = 10.573s
27.78/27.88	c #wall_clock_time = 10.600s
27.78/27.88	c #decision = 2706371
27.78/27.88	c #random_decision = 11196
27.78/27.88	c #conflict = 682
27.78/27.88	c #restart = 3
27.88/27.94	o 29852
28.48/28.60	c BCD2: updating upper bound: 11044661 -> 29886
30.79/30.90	c BCD2: 0 <= obj <= 29886
30.89/30.93	c BCD2: #cores=0, #unrelaxed=218780, #relaxed=0, #hardened=0
30.89/30.93	c BCD2: #sat=1 #unsat=1 bias=1/2
30.89/30.95	c Solving starts ...
30.89/30.95	c ============================[ Search Statistics ]============================
30.89/30.95	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
30.89/30.95	c       |         |          |          |    Limit     GC | Var      | Constra 
30.89/30.95	c =============================================================================
30.89/30.95	c  0.0s |       0 |        0 |        0 |   228341      0 |        1 |        0
31.08/31.18	c  0.2s |       0 |        0 |        0 |   228341      0 |        1 |        0
31.08/31.18	c #cpu_time = 0.235s
31.08/31.18	c #wall_clock_time = 0.236s
31.08/31.18	c #decision = 0
31.08/31.18	c #random_decision = 0
31.08/31.18	c #conflict = 0
31.08/31.18	c #restart = 0
31.08/31.18	c BCD2: found a new core of size 1: cost of the new core is >=35
31.08/31.18	c lower bound updated to 0
31.18/31.30	c BCD2: 35 <= obj <= 29886
31.18/31.30	c BCD2: #cores=1, #unrelaxed=218779, #relaxed=1, #hardened=0
31.18/31.30	c BCD2: #sat=1 #unsat=2 bias=2/3
31.28/31.31	c Solving starts ...
31.28/31.31	c ============================[ Search Statistics ]============================
31.28/31.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
31.28/31.31	c       |         |          |          |    Limit     GC | Var      | Constra 
31.28/31.31	c =============================================================================
31.28/31.31	c  0.0s |       0 |        0 |        0 |   228341      0 |        1 |        0
33.09/33.18	c  1.9s |       1 |   246589 |      100 |   228341      0 |        1 |        0
35.29/35.34	c  4.0s |       2 |   466059 |      250 |   251176      0 |        1 |        0
37.68/37.70	c  6.4s |       2 |   699352 |      450 |   251176      0 |        1 |        0
37.78/37.84	c  6.5s |       3 |   699380 |      475 |   251176      0 |        1 |        0
39.78/39.80	c  8.5s |       4 |   919728 |      813 |   276294      0 |        1 |        0
41.79/41.85	c 10.5s |       4 |  1139488 |     1113 |   276294      0 |        1 |        0
43.48/43.50	c 12.2s |       5 |  1140007 |     1320 |   276294      0 |        1 |        0
45.48/45.52	c 14.2s |       5 |  1361155 |     2020 |   303924      0 |        1 |        0
45.58/45.68	c 14.4s |       6 |  1361226 |     2081 |   303924      0 |        1 |        0
47.78/47.81	c 16.5s |       6 |  1580802 |     2381 |   303924      0 |        1 |        0
49.78/49.84	c 18.5s |       6 |  1581497 |     2781 |   334317      0 |        1 |        0
51.88/51.96	c 20.7s |       6 |  1581895 |     2981 |   334317      0 |        1 |        0
54.08/54.14	c 22.8s |       6 |  1582184 |     3181 |   334317      0 |        1 |        0
54.28/54.39	c 23.1s |       7 |  1582294 |     3223 |   334317      0 |        1 |        0
56.98/57.09	c 25.8s |       7 |  1806478 |     4323 |   367749      0 |        1 |        0
58.58/58.66	c 27.3s |       8 |  1808036 |     4936 |   367749      0 |        1 |        0
61.17/61.27	c 30.0s |       8 |  2029232 |     5236 |   367749      0 |        1 |        0
63.27/63.32	c 32.0s |       8 |  2031462 |     5836 |   367749      0 |        1 |        0
65.47/65.50	c 34.2s |       8 |  2034742 |     7336 |   404524      0 |        1 |        0
66.17/66.26	c 35.0s |       9 |  2035549 |     7506 |   404524      0 |        1 |        0
68.87/68.90	c 37.6s |       9 |  2255532 |     7706 |   404524      0 |        1 |        0
71.38/71.45	c 40.1s |       9 |  2256584 |     8206 |   404524      0 |        1 |        0
73.79/73.88	c 42.6s |       9 |  2257214 |     8506 |   404524      0 |        1 |        0
76.08/76.12	c 44.8s |       9 |  2257681 |     8806 |   404524      0 |        1 |        0
78.08/78.16	c 46.8s |       9 |  2259424 |     9606 |   404524      0 |        1 |        0
80.57/80.68	c 49.4s |       9 |  2261173 |    10006 |   404524      0 |        1 |        0
82.87/82.91	c 51.6s |       9 |  2261999 |    10306 |   404524      0 |        1 |        0
85.37/85.44	c 54.1s |       9 |  2262790 |    10506 |   404524      0 |        1 |        0
87.98/88.02	c 56.7s |       9 |  2263812 |    10906 |   444977      0 |        1 |        0
90.07/90.18	c 58.9s |       9 |  2264420 |    11206 |   444977      0 |        1 |        0
91.47/91.50	c 60.2s |      10 |  2264804 |    11361 |   444977      0 |        1 |        0
93.47/93.55	c 62.2s |      10 |  2484293 |    11561 |   444977      0 |        1 |        0
95.57/95.63	c 64.3s |      10 |  2484663 |    11761 |   444977      0 |        1 |        0
98.17/98.26	c 66.9s |      10 |  2485337 |    12061 |   444977      0 |        1 |        0
100.26/100.39	c 69.1s |      10 |  2486902 |    12761 |   444977      0 |        1 |        0
102.67/102.73	c 71.4s |      10 |  2488423 |    13561 |   444977      0 |        1 |        0
104.77/104.83	c 73.5s |      10 |  2489878 |    14361 |   444977      0 |        1 |        0
106.87/106.94	c 75.6s |      10 |  2491173 |    14961 |   444977      0 |        1 |        0
109.07/109.12	c 77.8s |      10 |  2492256 |    15561 |   444977      0 |        1 |        0
111.08/111.20	c 79.9s |      10 |  2493715 |    16261 |   444977      0 |        1 |        0
113.17/113.27	c 82.0s |      10 |  2494744 |    16861 |   489475      0 |        1 |        0
115.37/115.41	c 84.1s |      11 |  2495439 |    17144 |   489475      0 |        1 |        0
117.57/117.62	c 86.3s |      11 |  2715414 |    17444 |   489475      0 |        1 |        0
119.76/119.84	c 88.5s |      11 |  2716962 |    18044 |   489475      0 |        1 |        0
121.76/121.89	c 90.6s |      11 |  2718550 |    18644 |   489475      0 |        1 |        0
123.86/123.98	c 92.7s |      11 |  2720757 |    19344 |   489475      0 |        1 |        0
126.36/126.48	c 95.2s |      11 |  2722782 |    19744 |   489475      0 |        1 |        0
129.26/129.36	c 98.1s |      11 |  2724813 |    20044 |   489475      0 |        1 |        0
131.46/131.55	c  100s |      11 |  2725731 |    20344 |   489475      0 |        1 |        0
134.06/134.16	c  102s |      11 |  2726525 |    20644 |   489475      0 |        1 |        0
136.57/136.60	c  105s |      11 |  2727273 |    20844 |   489475      0 |        1 |        0
138.57/138.64	c  107s |      11 |  2727809 |    21144 |   489475      0 |        1 |        0
140.96/141.04	c  109s |      11 |  2728739 |    21544 |   489475      0 |        1 |        0
143.56/143.61	c  112s |      11 |  2729654 |    21844 |   489475      0 |        1 |        0
145.56/145.66	c  114s |      11 |  2730962 |    22144 |   489475      0 |        1 |        0
148.85/148.91	c  117s |      11 |  2731777 |    22444 |   489475      0 |        1 |        0
151.56/151.60	c  120s |      11 |  2732155 |    22644 |   489475      0 |        1 |        0
153.76/153.87	c  122s |      11 |  2733005 |    22844 |   489475      0 |        1 |        0
156.75/156.80	c  125s |      11 |  2733340 |    23044 |   489475      0 |        1 |        0
159.06/159.16	c  127s |      11 |  2733593 |    23244 |   489475      0 |        1 |        0
161.15/161.23	c  129s |      11 |  2733739 |    23344 |   489475      0 |        1 |        0
163.36/163.41	c  132s |      11 |  2734162 |    23644 |   489475      0 |        1 |        0
165.55/165.60	c  134s |      11 |  2734557 |    23944 |   489475      0 |        1 |        0
167.75/167.88	c  136s |      11 |  2734993 |    24244 |   489475      0 |        1 |        0
169.96/170.06	c  138s |      11 |  2735446 |    24544 |   489475      0 |        1 |        0
172.05/172.14	c  140s |      11 |  2735943 |    24844 |   489475      0 |        1 |        0
175.15/175.22	c  143s |      11 |  2736498 |    25144 |   538423      0 |        1 |        0
177.46/177.58	c  146s |      11 |  2736929 |    25344 |   538423      0 |        1 |        0
179.55/179.65	c  148s |      11 |  2737304 |    25544 |   538423      0 |        1 |        0
181.95/182.07	c  150s |      11 |  2737914 |    25744 |   538423      0 |        1 |        0
182.75/182.83	c  151s |      12 |  2738176 |    25819 |   538423      0 |        1 |        0
184.95/185.09	c  153s |      12 |  2957804 |    26019 |   538423      0 |        1 |        0
187.24/187.30	c  155s |      12 |  2958978 |    26819 |   538423      0 |        1 |        0
189.26/189.34	c  158s |      12 |  2959637 |    27219 |   538423      0 |        1 |        0
191.85/191.97	c  160s |      12 |  2960276 |    27619 |   538423      0 |        1 |        0
194.25/194.36	c  163s |      12 |  2961338 |    28319 |   538423      0 |        1 |        0
196.35/196.40	c  165s |      12 |  2961609 |    28519 |   538423      0 |        1 |        0
198.35/198.43	c  167s |      12 |  2962229 |    28919 |   538423      0 |        1 |        0
200.34/200.44	c  169s |      12 |  2962885 |    29319 |   538423      0 |        1 |        0
202.54/202.61	c  171s |      12 |  2963509 |    29719 |   538423      0 |        1 |        0
204.55/204.63	c  173s |      12 |  2964113 |    30119 |   538423      0 |        1 |        0
206.65/206.71	c  175s |      12 |  2964792 |    30519 |   538423      0 |        1 |        0
209.45/209.51	c  178s |      12 |  2966268 |    31119 |   538423      0 |        1 |        0
211.55/211.66	c  180s |      12 |  3168032 |    31419 |   538423      0 |        1 |        0
213.85/213.96	c  182s |      12 |  3169319 |    31919 |   538423      0 |        1 |        0
216.34/216.45	c  185s |      12 |  3170138 |    32219 |   538423      0 |        1 |        0
218.44/218.59	c  187s |      12 |  3170928 |    32519 |   538423      0 |        1 |        0
220.64/220.70	c  189s |      12 |  3171904 |    32919 |   538423      0 |        1 |        0
223.04/223.12	c  191s |      12 |  3173610 |    33319 |   538423      0 |        1 |        0
225.24/225.30	c  193s |      12 |  3174907 |    33819 |   538423      0 |        1 |        0
227.64/227.79	c  196s |      12 |  3175644 |    34119 |   538423      0 |        1 |        0
230.13/230.29	c  198s |      12 |  3176171 |    34319 |   538423      0 |        1 |        0
232.23/232.33	c  201s |      12 |  3178861 |    34819 |   538423      0 |        1 |        0
234.43/234.57	c  203s |      12 |  3179872 |    35319 |   538423      0 |        1 |        0
236.54/236.65	c  205s |      12 |  3181011 |    35719 |   538423      0 |        1 |        0
239.74/239.85	c  208s |      12 |  3181559 |    35919 |   538423      0 |        1 |        0
242.43/242.50	c  211s |      12 |  3182161 |    36119 |   538423      0 |        1 |        0
245.13/245.30	c  213s |      12 |  3183174 |    36419 |   538423      0 |        1 |        0
248.13/248.20	c  216s |      12 |  3184299 |    36719 |   538423      0 |        1 |        0
250.13/250.28	c  218s |      12 |  3185082 |    36919 |   538423      0 |        1 |        0
253.04/253.12	c  221s |      12 |  3186478 |    37319 |   538423      0 |        1 |        0
255.33/255.40	c  224s |      12 |  3187404 |    37619 |   538423      0 |        1 |        0
257.34/257.43	c  226s |      12 |  3188570 |    37919 |   592266      0 |        1 |        0
259.43/259.52	c  228s |      12 |  3189579 |    38219 |   592266      0 |        1 |        0
261.93/262.00	c  230s |      12 |  3190533 |    38519 |   592266      0 |        1 |        0
264.23/264.30	c  232s |      12 |  3191850 |    38819 |   592266      0 |        1 |        0
264.43/264.56	c  233s |      13 |  3191913 |    38832 |   592266      0 |        1 |        0
267.13/267.23	c  235s |      13 |  3411318 |    38932 |   592266      0 |        1 |        0
269.73/269.84	c  238s |      13 |  3412180 |    39332 |   592266      0 |        1 |        0
272.83/272.99	c  241s |      13 |  3412666 |    39632 |   592266      0 |        1 |        0
274.94/275.02	c  243s |      13 |  3412810 |    39732 |   592266      0 |        1 |        0
277.53/277.60	c  246s |      13 |  3413138 |    39932 |   592266      0 |        1 |        0
279.83/279.92	c  248s |      13 |  3414608 |    40232 |   592266      0 |        1 |        0
281.83/281.99	c  250s |      13 |  3415385 |    40732 |   592266      0 |        1 |        0
284.13/284.24	c  252s |      13 |  3416601 |    41232 |   592266      0 |        1 |        0
286.53/286.62	c  255s |      13 |  3417568 |    41732 |   592266      0 |        1 |        0
288.93/289.08	c  257s |      13 |  3418621 |    42232 |   592266      0 |        1 |        0
291.43/291.53	c  260s |      13 |  3419291 |    42632 |   592266      0 |        1 |        0
293.42/293.57	c  262s |      13 |  3420082 |    42932 |   592266      0 |        1 |        0
295.63/295.71	c  264s |      13 |  3420752 |    43332 |   592266      0 |        1 |        0
297.93/298.09	c  266s |      13 |  3421470 |    43732 |   592266      0 |        1 |        0
300.53/300.68	c  269s |      13 |  3422209 |    44132 |   592266      0 |        1 |        0
303.02/303.19	c  271s |      13 |  3422981 |    44532 |   592266      0 |        1 |        0
305.52/305.63	c  274s |      13 |  3423712 |    44932 |   592266      0 |        1 |        0
307.72/307.80	c  276s |      13 |  3424318 |    45232 |   592266      0 |        1 |        0
310.13/310.29	c  278s |      13 |  3425220 |    45632 |   592266      0 |        1 |        0
312.22/312.40	c  281s |      13 |  3425661 |    45832 |   592266      0 |        1 |        0
314.63/314.75	c  283s |      13 |  3426621 |    46232 |   592266      0 |        1 |        0
317.02/317.17	c  285s |      13 |  3427506 |    46632 |   592266      0 |        1 |        0
319.63/319.71	c  288s |      13 |  3428390 |    47032 |   592266      0 |        1 |        0
322.02/322.17	c  290s |      13 |  3429273 |    47432 |   592266      0 |        1 |        0
324.12/324.22	c  292s |      13 |  3429917 |    47732 |   592266      0 |        1 |        0
326.22/326.37	c  295s |      13 |  3430645 |    48032 |   592266      0 |        1 |        0
328.32/328.47	c  297s |      13 |  3431260 |    48332 |   592266      0 |        1 |        0
330.62/330.73	c  299s |      13 |  3432094 |    48632 |   592266      0 |        1 |        0
332.91/333.02	c  301s |      13 |  3432992 |    48932 |   592266      0 |        1 |        0
335.53/335.66	c  304s |      13 |  3434279 |    49332 |   592266      0 |        1 |        0
338.21/338.31	c  306s |      13 |  3435558 |    49732 |   592266      0 |        1 |        0
340.21/340.36	c  309s |      13 |  3436502 |    50032 |   592266      0 |        1 |        0
342.31/342.42	c  311s |      13 |  3437512 |    50332 |   592266      0 |        1 |        0
344.41/344.54	c  313s |      13 |  3438111 |    50532 |   592266      0 |        1 |        0
346.91/347.09	c  315s |      13 |  3439527 |    50932 |   592266      0 |        1 |        0
349.50/349.64	c  318s |      13 |  3440832 |    51332 |   592266      0 |        1 |        0
351.81/351.93	c  320s |      13 |  3441969 |    51732 |   592266      0 |        1 |        0
354.01/354.13	c  322s |      13 |  3442949 |    52032 |   592266      0 |        1 |        0
356.51/356.66	c  325s |      13 |  3444239 |    52432 |   592266      0 |        1 |        0
359.01/359.13	c  327s |      13 |  3445443 |    52832 |   592266      0 |        1 |        0
361.20/361.30	c  329s |      13 |  3446369 |    53132 |   592266      0 |        1 |        0
363.70/363.89	c  332s |      13 |  3447567 |    53532 |   592266      0 |        1 |        0
366.40/366.53	c  335s |      13 |  3448826 |    53932 |   592266      0 |        1 |        0
368.90/369.03	c  337s |      13 |  3450176 |    54332 |   592266      0 |        1 |        0
371.40/371.52	c  340s |      13 |  3450804 |    54632 |   592266      0 |        1 |        0
373.81/373.92	c  342s |      13 |  3451726 |    55032 |   592266      0 |        1 |        0
376.11/376.28	c  344s |      13 |  3452682 |    55332 |   592266      0 |        1 |        0
378.70/378.86	c  347s |      13 |  3453962 |    55732 |   592266      0 |        1 |        0
381.00/381.16	c  349s |      13 |  3455089 |    56032 |   592266      0 |        1 |        0
383.50/383.64	c  352s |      13 |  3456296 |    56232 |   592266      0 |        1 |        0
386.20/386.33	c  355s |      13 |  3457027 |    56432 |   592266      0 |        1 |        0
389.30/389.42	c  358s |      13 |  3457497 |    56632 |   592266      0 |        1 |        0
391.80/391.90	c  360s |      13 |  3457604 |    56732 |   592266      0 |        1 |        0
394.70/394.88	c  363s |      13 |  3458357 |    56932 |   592266      0 |        1 |        0
397.29/397.45	c  366s |      13 |  3459295 |    57232 |   592266      0 |        1 |        0
400.20/400.30	c  368s |      13 |  3460432 |    57532 |   651493      0 |        1 |        0
402.90/403.02	c  371s |      13 |  3461231 |    57832 |   651493      0 |        1 |        0
405.00/405.10	c  373s |      13 |  3461966 |    58032 |   651493      0 |        1 |        0
407.69/407.82	c  376s |      13 |  3462830 |    58332 |   651493      0 |        1 |        0
408.11/408.26	c  376s |      14 |  3462857 |    58352 |   651493      0 |        1 |        0
411.60/411.71	c  380s |      14 |  3682149 |    58452 |   651493      0 |        1 |        0
413.89/414.09	c  382s |      14 |  3682897 |    58752 |   651493      0 |        1 |        0
416.69/416.80	c  385s |      14 |  3683985 |    59052 |   651493      0 |        1 |        0
419.59/419.74	c  388s |      14 |  3684729 |    59252 |   651493      0 |        1 |        0
421.79/421.90	c  390s |      14 |  3685900 |    59452 |   651493      0 |        1 |        0
424.09/424.29	c  392s |      14 |  3687042 |    59752 |   651493      0 |        1 |        0
426.80/426.91	c  395s |      14 |  3688297 |    60052 |   651493      0 |        1 |        0
429.29/429.43	c  398s |      14 |  3689568 |    60352 |   651493      0 |        1 |        0
431.88/432.09	c  400s |      14 |  3690842 |    60652 |   651493      0 |        1 |        0
434.19/434.37	c  403s |      14 |  3691420 |    60852 |   651493      0 |        1 |        0
436.69/436.88	c  405s |      14 |  3691945 |    61052 |   651493      0 |        1 |        0
439.58/439.75	c  408s |      14 |  3692445 |    61252 |   651493      0 |        1 |        0
441.58/441.76	c  410s |      14 |  3693045 |    61452 |   651493      0 |        1 |        0
444.09/444.24	c  412s |      14 |  3694329 |    62052 |   651493      0 |        1 |        0
446.29/446.45	c  415s |      14 |  3695027 |    62252 |   651493      0 |        1 |        0
448.88/449.06	c  417s |      14 |  3696023 |    62552 |   651493      0 |        1 |        0
451.68/451.86	c  420s |      14 |  3697267 |    62852 |   651493      0 |        1 |        0
454.19/454.35	c  423s |      14 |  3698028 |    63052 |   651493      0 |        1 |        0
456.88/457.05	c  425s |      14 |  3698894 |    63452 |   651493      0 |        1 |        0
459.58/459.72	c  428s |      14 |  3699728 |    63852 |   651493      0 |        1 |        0
462.08/462.27	c  430s |      14 |  3700969 |    64352 |   651493      0 |        1 |        0
465.29/465.47	c  434s |      14 |  3701525 |    64552 |   651493      0 |        1 |        0
467.49/467.64	c  436s |      14 |  3702222 |    64852 |   651493      0 |        1 |        0
470.38/470.54	c  439s |      14 |  3702739 |    65052 |   651493      0 |        1 |        0
472.48/472.62	c  441s |      14 |  3702952 |    65152 |   651493      0 |        1 |        0
475.48/475.65	c  444s |      14 |  3703467 |    65352 |   651493      0 |        1 |        0
477.77/477.90	c  446s |      14 |  3703767 |    65452 |   651493      0 |        1 |        0
480.58/480.74	c  449s |      14 |  3704303 |    65652 |   651493      0 |        1 |        0
483.17/483.35	c  452s |      14 |  3704705 |    65852 |   651493      0 |        1 |        0
486.56/486.71	c  455s |      14 |  3705214 |    66052 |   651493      0 |        1 |        0
489.97/490.19	c  458s |      14 |  3705710 |    66252 |   651493      0 |        1 |        0
492.36/492.55	c  461s |      14 |  3705967 |    66352 |   651493      0 |        1 |        0
495.57/495.72	c  464s |      14 |  3706355 |    66552 |   651493      0 |        1 |        0
497.87/498.02	c  466s |      14 |  3706685 |    66752 |   651493      0 |        1 |        0
500.16/500.38	c  469s |      14 |  3707035 |    66952 |   651493      0 |        1 |        0
504.07/504.29	c  472s |      14 |  3707556 |    67152 |   651493      0 |        1 |        0
506.67/506.81	c  475s |      14 |  3707734 |    67252 |   651493      0 |        1 |        0
510.06/510.27	c  478s |      14 |  3708091 |    67452 |   651493      0 |        1 |        0
513.16/513.30	c  481s |      14 |  3708629 |    67652 |   651493      0 |        1 |        0
516.16/516.36	c  485s |      14 |  3709072 |    67852 |   651493      0 |        1 |        0
519.56/519.71	c  488s |      14 |  3709939 |    68052 |   651493      0 |        1 |        0
522.75/522.92	c  491s |      14 |  3710932 |    68352 |   651493      0 |        1 |        0
526.86/527.07	c  495s |      14 |  3711628 |    68552 |   651493      0 |        1 |        0
529.06/529.27	c  497s |      14 |  3711764 |    68652 |   651493      0 |        1 |        0
532.55/532.75	c  501s |      14 |  3712602 |    68952 |   651493      0 |        1 |        0
535.06/535.26	c  503s |      14 |  3712948 |    69152 |   651493      0 |        1 |        0
537.35/537.53	c  506s |      14 |  3713334 |    69352 |   651493      0 |        1 |        0
540.15/540.33	c  509s |      14 |  3713679 |    69552 |   651493      0 |        1 |        0
542.45/542.68	c  511s |      14 |  3714182 |    69752 |   651493      0 |        1 |        0
544.46/544.68	c  513s |      14 |  3714575 |    69952 |   651493      0 |        1 |        0
547.05/547.22	c  515s |      14 |  3715024 |    70152 |   651493      0 |        1 |        0
549.75/549.92	c  518s |      14 |  3715657 |    70452 |   651493      0 |        1 |        0
551.94/552.12	c  520s |      14 |  3716511 |    70852 |   651493      0 |        1 |        0
554.14/554.36	c  523s |      14 |  3717436 |    71452 |   651493      0 |        1 |        0
556.45/556.68	c  525s |      14 |  3718256 |    71852 |   651493      0 |        1 |        0
559.54/559.77	c  528s |      14 |  3718884 |    72252 |   651493      0 |        1 |        0
561.74/561.93	c  530s |      14 |  3719179 |    72452 |   651493      0 |        1 |        0
565.04/565.21	c  533s |      14 |  3719441 |    72652 |   651493      0 |        1 |        0
567.24/567.45	c  536s |      14 |  3719789 |    72852 |   651493      0 |        1 |        0
569.84/570.05	c  538s |      14 |  3720279 |    73152 |   651493      0 |        1 |        0
571.84/572.07	c  540s |      14 |  3720743 |    73352 |   651493      0 |        1 |        0
575.24/575.42	c  544s |      14 |  3721348 |    73552 |   651493      0 |        1 |        0
578.44/578.68	c  547s |      14 |  3721986 |    73752 |   651493      0 |        1 |        0
580.93/581.10	c  549s |      14 |  3722151 |    73852 |   651493      0 |        1 |        0
584.23/584.47	c  553s |      14 |  3722725 |    74052 |   651493      0 |        1 |        0
587.83/588.08	c  556s |      14 |  3722963 |    74252 |   651493      0 |        1 |        0
591.03/591.29	c  559s |      14 |  3723357 |    74452 |   651493      0 |        1 |        0
593.13/593.37	c  562s |      14 |  3723857 |    74652 |   651493      0 |        1 |        0
595.23/595.45	c  564s |      14 |  3724252 |    74752 |   651493      0 |        1 |        0
597.43/597.68	c  566s |      14 |  3724746 |    74952 |   651493      0 |        1 |        0
600.12/600.34	c  569s |      14 |  3725302 |    75152 |   651493      0 |        1 |        0
603.43/603.67	c  572s |      14 |  3725947 |    75352 |   651493      0 |        1 |        0
606.72/606.93	c  575s |      14 |  3726513 |    75552 |   651493      0 |        1 |        0
609.23/609.47	c  578s |      14 |  3726873 |    75652 |   651493      0 |        1 |        0
611.73/611.92	c  580s |      14 |  3727344 |    75852 |   651493      0 |        1 |        0
614.92/615.19	c  583s |      14 |  3728016 |    76052 |   651493      0 |        1 |        0
618.71/618.99	c  587s |      14 |  3728806 |    76252 |   651493      0 |        1 |        0
622.82/623.00	c  591s |      14 |  3768629 |    76452 |   651493      0 |        1 |        0
625.01/625.27	c  593s |      14 |  3769351 |    76652 |   651493      0 |        1 |        0
627.12/627.30	c  595s |      14 |  3771421 |    77652 |   651493      0 |        1 |        0
630.02/630.28	c  598s |      14 |  3772433 |    78152 |   651493      0 |        1 |        0
632.12/632.36	c  601s |      14 |  3777239 |    78652 |   651493      0 |        1 |        0
634.32/634.52	c  603s |      14 |  3792613 |    79252 |   651493      0 |        1 |        0
636.62/636.85	c  605s |      14 |  3807797 |    79852 |   651493      0 |        1 |        0
638.81/639.00	c  607s |      14 |  3821578 |    80352 |   651493      0 |        1 |        0
640.81/641.01	c  609s |      14 |  3833056 |    80852 |   651493      0 |        1 |        0
642.91/643.10	c  611s |      14 |  3844994 |    81352 |   651493      0 |        1 |        0
644.92/645.17	c  613s |      14 |  3851217 |    82052 |   651493      0 |        1 |        0
647.31/647.51	c  616s |      14 |  3852470 |    82752 |   651493      0 |        1 |        0
649.51/649.77	c  618s |      14 |  3853339 |    83152 |   651493      0 |        1 |        0
652.41/652.69	c  621s |      14 |  3854121 |    83452 |   651493      0 |        1 |        0
654.51/654.76	c  623s |      14 |  3854691 |    83652 |   651493      0 |        1 |        0
658.21/658.49	c  627s |      14 |  3855435 |    83952 |   651493      0 |        1 |        0
661.21/661.44	c  630s |      14 |  3856022 |    84252 |   651493      0 |        1 |        0
663.41/663.63	c  632s |      14 |  3856378 |    84452 |   651493      0 |        1 |        0
665.42/665.64	c  634s |      14 |  3856983 |    84652 |   651493      0 |        1 |        0
667.41/667.67	c  636s |      14 |  3857575 |    84852 |   651493      0 |        1 |        0
670.41/670.65	c  639s |      14 |  3858623 |    85152 |   651493      0 |        1 |        0
672.60/672.82	c  641s |      14 |  3859295 |    85352 |   651493      0 |        1 |        0
674.80/675.09	c  643s |      14 |  3860016 |    85552 |   651493      0 |        1 |        0
677.01/677.25	c  645s |      14 |  3860485 |    85752 |   651493      0 |        1 |        0
679.11/679.31	c  648s |      14 |  3860925 |    85952 |   651493      0 |        1 |        0
681.90/682.19	c  650s |      14 |  3861306 |    86152 |   651493      0 |        1 |        0
684.80/685.05	c  653s |      14 |  3862006 |    86452 |   716643      0 |        1 |        0
687.60/687.85	c  656s |      14 |  3862657 |    86752 |   716643      0 |        1 |        0
690.00/690.29	c  658s |      14 |  3863125 |    87052 |   716643      0 |        1 |        0
692.60/692.81	c  661s |      14 |  3863675 |    87352 |   716643      0 |        1 |        0
694.60/694.80	c  663s |      15 |  3865262 |    87632 |   716643      0 |        1 |        0
700.80/701.06	c  669s |      15 |  4084762 |    87732 |   716643      0 |        1 |        0
704.10/704.33	c  673s |      15 |  4085095 |    87832 |   716643      0 |        1 |        0
707.20/707.45	c  676s |      15 |  4085366 |    87932 |   716643      0 |        1 |        0
710.09/710.37	c  679s |      15 |  4086075 |    88132 |   716643      0 |        1 |        0
713.50/713.75	c  682s |      15 |  4086222 |    88232 |   716643      0 |        1 |        0
716.80/717.04	c  685s |      15 |  4087640 |    88432 |   716643      0 |        1 |        0
719.30/719.52	c  688s |      15 |  4088150 |    88632 |   716643      0 |        1 |        0
721.79/722.07	c  690s |      15 |  4088793 |    88932 |   716643      0 |        1 |        0
725.29/725.54	c  694s |      15 |  4089454 |    89232 |   716643      0 |        1 |        0
727.60/727.83	c  696s |      15 |  4089560 |    89332 |   716643      0 |        1 |        0
731.29/731.52	c  700s |      15 |  4089955 |    89532 |   716643      0 |        1 |        0
736.59/736.82	c  705s |      15 |  4090220 |    89732 |   716643      0 |        1 |        0
740.19/740.41	c  709s |      15 |  4090477 |    89832 |   716643      0 |        1 |        0
743.79/744.02	c  712s |      15 |  4090849 |    89932 |   716643      0 |        1 |        0
746.39/746.67	c  715s |      15 |  4091520 |    90132 |   716643      0 |        1 |        0
749.39/749.63	c  718s |      15 |  4091845 |    90332 |   716643      0 |        1 |        0
752.59/752.81	c  721s |      15 |  4092178 |    90432 |   716643      0 |        1 |        0
755.38/755.68	c  724s |      15 |  4092530 |    90632 |   716643      0 |        1 |        0
758.79/759.06	c  727s |      15 |  4092638 |    90732 |   716643      0 |        1 |        0
761.28/761.54	c  730s |      15 |  4093019 |    90832 |   716643      0 |        1 |        0
766.08/766.38	c  735s |      15 |  4093884 |    91132 |   716643      0 |        1 |        0
769.38/769.65	c  738s |      15 |  4292542 |    91332 |   716643      0 |        1 |        0
771.39/771.68	c  740s |      15 |  4292845 |    91432 |   716643      0 |        1 |        0
775.18/775.48	c  744s |      15 |  4293925 |    91632 |   716643      0 |        1 |        0
777.77/778.07	c  746s |      15 |  4295528 |    92432 |   716643      0 |        1 |        0
780.18/780.44	c  749s |      15 |  4297171 |    92832 |   716643      0 |        1 |        0
782.58/782.81	c  751s |      15 |  4299009 |    93232 |   716643      0 |        1 |        0
785.19/785.46	c  754s |      15 |  4300793 |    93432 |   716643      0 |        1 |        0
787.67/787.95	c  756s |      15 |  4301823 |    93832 |   716643      0 |        1 |        0
790.38/790.60	c  759s |      15 |  4302833 |    94132 |   716643      0 |        1 |        0
792.78/793.04	c  761s |      15 |  4303466 |    94432 |   716643      0 |        1 |        0
795.08/795.36	c  764s |      15 |  4303853 |    94632 |   716643      0 |        1 |        0
798.48/798.75	c  767s |      15 |  4304511 |    94832 |   716643      0 |        1 |        0
800.77/801.01	c  769s |      15 |  4304938 |    95032 |   716643      0 |        1 |        0
804.18/804.44	c  773s |      15 |  4305458 |    95232 |   716643      0 |        1 |        0
807.37/807.65	c  776s |      15 |  4305845 |    95332 |   716643      0 |        1 |        0
809.47/809.78	c  778s |      15 |  4306280 |    95632 |   716643      0 |        1 |        0
812.97/813.29	c  781s |      15 |  4306537 |    95832 |   716643      0 |        1 |        0
816.17/816.42	c  785s |      15 |  4306696 |    95932 |   716643      0 |        1 |        0
818.77/819.05	c  787s |      15 |  4306818 |    96032 |   716643      0 |        1 |        0
822.17/822.48	c  791s |      15 |  4306934 |    96132 |   716643      0 |        1 |        0
825.07/825.31	c  793s |      15 |  4307346 |    96332 |   716643      0 |        1 |        0
827.77/828.03	c  796s |      15 |  4307621 |    96532 |   716643      0 |        1 |        0
830.38/830.67	c  799s |      15 |  4307962 |    96632 |   716643      0 |        1 |        0
833.16/833.48	c  802s |      15 |  4308365 |    96832 |   716643      0 |        1 |        0
835.47/835.71	c  804s |      15 |  4308511 |    96932 |   716643      0 |        1 |        0
837.87/838.12	c  806s |      15 |  4308660 |    97032 |   716643      0 |        1 |        0
841.28/841.51	c  810s |      15 |  4309019 |    97232 |   716643      0 |        1 |        0
843.86/844.15	c  812s |      15 |  4309237 |    97332 |   716643      0 |        1 |        0
847.56/847.88	c  816s |      15 |  4309603 |    97532 |   716643      0 |        1 |        0
850.56/850.81	c  819s |      15 |  4309768 |    97632 |   716643      0 |        1 |        0
855.17/855.47	c  824s |      15 |  4310104 |    97832 |   716643      0 |        1 |        0
858.66/858.99	c  827s |      15 |  4310245 |    97932 |   716643      0 |        1 |        0
860.76/861.05	c  829s |      15 |  4310381 |    98032 |   716643      0 |        1 |        0
863.86/864.18	c  832s |      15 |  4310541 |    98132 |   716643      0 |        1 |        0
866.26/866.58	c  835s |      15 |  4310694 |    98232 |   716643      0 |        1 |        0
871.46/871.72	c  840s |      15 |  4311045 |    98432 |   716643      0 |        1 |        0
874.26/874.55	c  843s |      15 |  4311208 |    98532 |   716643      0 |        1 |        0
879.05/879.38	c  848s |      15 |  4311514 |    98732 |   716643      0 |        1 |        0
881.15/881.42	c  850s |      15 |  4311657 |    98832 |   716643      0 |        1 |        0
883.36/883.69	c  852s |      15 |  4311834 |    98932 |   716643      0 |        1 |        0
886.16/886.44	c  855s |      15 |  4311953 |    99032 |   716643      0 |        1 |        0
888.25/888.56	c  857s |      15 |  4312092 |    99132 |   716643      0 |        1 |        0
890.55/890.80	c  859s |      15 |  4312261 |    99232 |   716643      0 |        1 |        0
893.55/893.87	c  862s |      15 |  4312381 |    99332 |   716643      0 |        1 |        0
895.55/895.89	c  864s |      15 |  4312529 |    99432 |   716643      0 |        1 |        0
898.95/899.27	c  867s |      15 |  4312645 |    99532 |   716643      0 |        1 |        0
901.15/901.45	c  870s |      15 |  4312769 |    99632 |   716643      0 |        1 |        0
905.25/905.53	c  874s |      15 |  4313148 |    99832 |   716643      0 |        1 |        0
907.65/907.93	c  876s |      15 |  4313288 |    99932 |   716643      0 |        1 |        0
909.85/910.13	c  878s |      15 |  4313478 |   100032 |   716643      0 |        1 |        0
913.15/913.40	c  882s |      15 |  4313621 |   100132 |   716643      0 |        1 |        0
915.45/915.79	c  884s |      15 |  4313781 |   100232 |   716643      0 |        1 |        0
919.15/919.44	c  888s |      15 |  4313914 |   100332 |   716643      0 |        1 |        0
921.75/922.04	c  890s |      15 |  4314034 |   100432 |   716643      0 |        1 |        0
924.65/924.91	c  893s |      15 |  4314168 |   100532 |   716643      0 |        1 |        0
928.05/928.40	c  897s |      15 |  4314306 |   100632 |   716643      0 |        1 |        0
930.15/930.43	c  899s |      15 |  4314457 |   100732 |   716643      0 |        1 |        0
933.05/933.33	c  902s |      15 |  4314585 |   100832 |   716643      0 |        1 |        0
935.25/935.59	c  904s |      15 |  4314705 |   100932 |   716643      0 |        1 |        0
937.34/937.64	c  906s |      15 |  4314851 |   101032 |   716643      0 |        1 |        0
940.55/940.87	c  909s |      15 |  4314968 |   101132 |   716643      0 |        1 |        0
943.24/943.53	c  912s |      15 |  4315096 |   101232 |   716643      0 |        1 |        0
947.54/947.88	c  916s |      15 |  4315400 |   101432 |   716643      0 |        1 |        0
949.64/949.98	c  918s |      15 |  4315540 |   101532 |   716643      0 |        1 |        0
954.54/954.90	c  923s |      15 |  4315844 |   101732 |   716643      0 |        1 |        0
956.84/957.14	c  925s |      15 |  4316023 |   101832 |   716643      0 |        1 |        0
959.24/959.58	c  928s |      15 |  4316172 |   101932 |   716643      0 |        1 |        0
962.34/962.63	c  931s |      15 |  4316345 |   102032 |   716643      0 |        1 |        0
964.73/965.01	c  933s |      15 |  4316526 |   102132 |   716643      0 |        1 |        0
966.84/967.16	c  935s |      15 |  4316688 |   102232 |   716643      0 |        1 |        0
969.63/969.90	c  938s |      15 |  4316832 |   102332 |   716643      0 |        1 |        0
971.74/972.04	c  940s |      15 |  4317055 |   102432 |   716643      0 |        1 |        0
975.44/975.76	c  944s |      15 |  4317343 |   102532 |   716643      0 |        1 |        0
978.13/978.46	c  947s |      15 |  4317464 |   102632 |   716643      0 |        1 |        0
980.73/981.02	c  949s |      15 |  4317732 |   102732 |   716643      0 |        1 |        0
984.34/984.66	c  953s |      15 |  4317884 |   102832 |   716643      0 |        1 |        0
986.83/987.11	c  955s |      15 |  4318007 |   102932 |   716643      0 |        1 |        0
990.63/990.95	c  959s |      15 |  4318162 |   103032 |   716643      0 |        1 |        0
993.43/993.80	c  962s |      15 |  4318440 |   103132 |   716643      0 |        1 |        0
997.13/997.41	c  966s |      15 |  4318638 |   103232 |   716643      0 |        1 |        0
999.33/999.69	c  968s |      15 |  4318818 |   103332 |   716643      0 |        1 |        0
1001.84/1002.15	c  970s |      15 |  4318955 |   103432 |   716643      0 |        1 |        0
1005.43/1005.71	c  974s |      15 |  4319078 |   103532 |   716643      0 |        1 |        0
1008.03/1008.35	c  977s |      15 |  4319234 |   103632 |   716643      0 |        1 |        0
1011.32/1011.62	c  980s |      15 |  4319411 |   103732 |   716643      0 |        1 |        0
1013.33/1013.63	c  982s |      15 |  4319571 |   103832 |   716643      0 |        1 |        0
1017.63/1017.99	c  986s |      15 |  4319875 |   104032 |   716643      0 |        1 |        0
1020.83/1021.19	c  989s |      15 |  4320015 |   104132 |   716643      0 |        1 |        0
1024.12/1024.45	c  993s |      15 |  4320134 |   104232 |   716643      0 |        1 |        0
1028.63/1028.91	c  997s |      15 |  4320234 |   104332 |   716643      0 |        1 |        0
1030.82/1031.17	c  999s |      15 |  4320406 |   104432 |   716643      0 |        1 |        0
1033.92/1034.20	c 1002s |      15 |  4320590 |   104532 |   716643      0 |        1 |        0
1035.93/1036.29	c 1004s |      15 |  4320745 |   104632 |   716643      0 |        1 |        0
1038.23/1038.54	c 1007s |      15 |  4320884 |   104732 |   716643      0 |        1 |        0
1042.22/1042.53	c 1011s |      15 |  4321045 |   104832 |   716643      0 |        1 |        0
1045.52/1045.84	c 1014s |      15 |  4321161 |   104932 |   716643      0 |        1 |        0
1050.52/1050.84	c 1019s |      15 |  4321520 |   105132 |   716643      0 |        1 |        0
1053.02/1053.36	c 1022s |      15 |  4321659 |   105232 |   716643      0 |        1 |        0
1057.02/1057.35	c 1026s |      15 |  4321812 |   105332 |   716643      0 |        1 |        0
1059.92/1060.28	c 1028s |      15 |  4321972 |   105432 |   716643      0 |        1 |        0
1064.12/1064.46	c 1033s |      15 |  4322091 |   105532 |   716643      0 |        1 |        0
1066.92/1067.27	c 1035s |      15 |  4322240 |   105632 |   716643      0 |        1 |        0
1069.52/1069.88	c 1038s |      15 |  4322367 |   105732 |   716643      0 |        1 |        0
1073.62/1073.93	c 1042s |      15 |  4322499 |   105832 |   716643      0 |        1 |        0
1076.31/1076.66	c 1045s |      15 |  4322622 |   105932 |   716643      0 |        1 |        0
1079.61/1079.97	c 1048s |      15 |  4322779 |   106032 |   716643      0 |        1 |        0
1081.81/1082.10	c 1050s |      15 |  4322953 |   106132 |   716643      0 |        1 |        0
1084.12/1084.41	c 1053s |      15 |  4323129 |   106232 |   716643      0 |        1 |        0
1087.21/1087.53	c 1056s |      15 |  4323313 |   106332 |   716643      0 |        1 |        0
1089.82/1090.10	c 1058s |      15 |  4323482 |   106432 |   716643      0 |        1 |        0
1092.71/1093.00	c 1061s |      15 |  4323644 |   106532 |   716643      0 |        1 |        0
1095.51/1095.88	c 1064s |      15 |  4323835 |   106632 |   716643      0 |        1 |        0
1098.21/1098.54	c 1067s |      15 |  4323973 |   106732 |   716643      0 |        1 |        0
1101.92/1102.25	c 1070s |      15 |  4324110 |   106832 |   716643      0 |        1 |        0
1104.91/1105.25	c 1073s |      15 |  4324266 |   106932 |   716643      0 |        1 |        0
1109.11/1109.43	c 1078s |      15 |  4324416 |   107032 |   716643      0 |        1 |        0
1112.01/1112.34	c 1081s |      15 |  4324576 |   107132 |   716643      0 |        1 |        0
1116.11/1116.42	c 1085s |      15 |  4324713 |   107232 |   716643      0 |        1 |        0
1119.31/1119.61	c 1088s |      15 |  4324832 |   107332 |   716643      0 |        1 |        0
1123.41/1123.80	c 1092s |      15 |  4324975 |   107432 |   716643      0 |        1 |        0
1127.01/1127.35	c 1096s |      15 |  4325085 |   107532 |   716643      0 |        1 |        0
1130.61/1130.92	c 1099s |      15 |  4325207 |   107632 |   716643      0 |        1 |        0
1132.60/1132.99	c 1101s |      15 |  4325498 |   107732 |   716643      0 |        1 |        0
1135.02/1135.30	c 1103s |      15 |  4326007 |   108032 |   716643      0 |        1 |        0
1138.60/1138.96	c 1107s |      15 |  4326680 |   108332 |   716643      0 |        1 |        0
1141.30/1141.64	c 1110s |      15 |  4327270 |   108532 |   716643      0 |        1 |        0
1143.81/1144.12	c 1112s |      15 |  4328056 |   108832 |   716643      0 |        1 |        0
1146.41/1146.79	c 1115s |      15 |  4328740 |   109032 |   716643      0 |        1 |        0
1151.51/1151.87	c 1120s |      15 |  4329292 |   109232 |   716643      0 |        1 |        0
1153.91/1154.29	c 1122s |      15 |  4329600 |   109332 |   716643      0 |        1 |        0
1157.21/1157.51	c 1126s |      15 |  4330132 |   109532 |   716643      0 |        1 |        0
1159.71/1160.09	c 1128s |      15 |  4330534 |   109732 |   716643      0 |        1 |        0
1162.70/1163.09	c 1131s |      15 |  4331359 |   109932 |   716643      0 |        1 |        0
1165.21/1165.50	c 1134s |      15 |  4331889 |   110132 |   716643      0 |        1 |        0
1168.20/1168.52	c 1137s |      15 |  4332341 |   110332 |   716643      0 |        1 |        0
1170.70/1171.00	c 1139s |      15 |  4332899 |   110532 |   716643      0 |        1 |        0
1172.90/1173.28	c 1141s |      15 |  4334103 |   110732 |   716643      0 |        1 |        0
1175.10/1175.42	c 1144s |      15 |  4334451 |   110832 |   716643      0 |        1 |        0
1177.91/1178.26	c 1146s |      15 |  4335277 |   111032 |   716643      0 |        1 |        0
1181.11/1181.45	c 1150s |      15 |  4335741 |   111232 |   716643      0 |        1 |        0
1186.30/1186.61	c 1155s |      15 |  4336172 |   111432 |   716643      0 |        1 |        0
1188.30/1188.66	c 1157s |      15 |  4336336 |   111532 |   716643      0 |        1 |        0
1190.59/1190.91	c 1159s |      15 |  4336830 |   111632 |   716643      0 |        1 |        0
1193.09/1193.50	c 1162s |      15 |  4336994 |   111732 |   716643      0 |        1 |        0
1196.79/1197.11	c 1165s |      15 |  4337243 |   111832 |   716643      0 |        1 |        0
1199.30/1199.67	c 1168s |      15 |  4337497 |   111932 |   716643      0 |        1 |        0
1201.80/1202.19	c 1170s |      15 |  4337715 |   112032 |   716643      0 |        1 |        0
1205.69/1206.08	c 1174s |      15 |  4337969 |   112132 |   716643      0 |        1 |        0
1209.09/1209.49	c 1178s |      15 |  4338207 |   112232 |   716643      0 |        1 |        0
1211.40/1211.71	c 1180s |      15 |  4338451 |   112332 |   716643      0 |        1 |        0
1214.59/1214.92	c 1183s |      15 |  4339017 |   112532 |   716643      0 |        1 |        0
1217.10/1217.44	c 1186s |      15 |  4339429 |   112732 |   716643      0 |        1 |        0
1221.09/1221.48	c 1190s |      15 |  4339967 |   112932 |   716643      0 |        1 |        0
1225.70/1226.05	c 1194s |      15 |  4340434 |   113132 |   716643      0 |        1 |        0
1228.39/1228.77	c 1197s |      15 |  4340898 |   113332 |   716643      0 |        1 |        0
1231.89/1232.23	c 1200s |      15 |  4341118 |   113432 |   716643      0 |        1 |        0
1236.10/1236.48	c 1205s |      15 |  4341403 |   113532 |   716643      0 |        1 |        0
1239.09/1239.45	c 1208s |      15 |  4342250 |   113832 |   716643      0 |        1 |        0
1241.69/1242.02	c 1210s |      15 |  4342812 |   114032 |   716643      0 |        1 |        0
1244.49/1244.88	c 1213s |      15 |  4343964 |   114332 |   716643      0 |        1 |        0
1248.29/1248.63	c 1217s |      15 |  4344333 |   114532 |   716643      0 |        1 |        0
1251.59/1251.96	c 1220s |      15 |  4345099 |   114732 |   716643      0 |        1 |        0
1253.98/1254.37	c 1223s |      15 |  4345708 |   114932 |   716643      0 |        1 |        0
1257.09/1257.42	c 1226s |      15 |  4346408 |   115132 |   716643      0 |        1 |        0
1259.58/1259.94	c 1228s |      15 |  4347229 |   115332 |   716643      0 |        1 |        0
1262.18/1262.50	c 1231s |      15 |  4347853 |   115532 |   716643      0 |        1 |        0
1265.28/1265.68	c 1234s |      15 |  4348127 |   115632 |   716643      0 |        1 |        0
1267.48/1267.83	c 1236s |      15 |  4348350 |   115732 |   716643      0 |        1 |        0
1270.08/1270.45	c 1239s |      15 |  4348830 |   115932 |   716643      0 |        1 |        0
1273.48/1273.84	c 1242s |      15 |  4349685 |   116132 |   716643      0 |        1 |        0
1275.78/1276.17	c 1244s |      15 |  4349910 |   116232 |   716643      0 |        1 |        0
1278.37/1278.79	c 1247s |      15 |  4350684 |   116432 |   716643      0 |        1 |        0
1281.97/1282.36	c 1251s |      15 |  4351255 |   116632 |   716643      0 |        1 |        0
1284.08/1284.42	c 1253s |      15 |  4351449 |   116732 |   716643      0 |        1 |        0
1286.48/1286.84	c 1255s |      15 |  4351650 |   116832 |   716643      0 |        1 |        0
1289.77/1290.14	c 1258s |      15 |  4351881 |   116932 |   716643      0 |        1 |        0
1293.27/1293.64	c 1262s |      15 |  4352560 |   117132 |   716643      0 |        1 |        0
1295.97/1296.37	c 1265s |      15 |  4353424 |   117332 |   716643      0 |        1 |        0
1299.36/1299.74	c 1268s |      15 |  4354116 |   117532 |   716643      0 |        1 |        0
1301.57/1301.97	c 1270s |      15 |  4354621 |   117632 |   716643      0 |        1 |        0
1304.86/1305.23	c 1273s |      15 |  4355223 |   117832 |   716643      0 |        1 |        0
1308.16/1308.54	c 1277s |      15 |  4355761 |   118032 |   716643      0 |        1 |        0
1310.97/1311.32	c 1280s |      15 |  4355988 |   118132 |   716643      0 |        1 |        0
1314.27/1314.62	c 1283s |      15 |  4356321 |   118232 |   716643      0 |        1 |        0
1316.47/1316.82	c 1285s |      15 |  4356699 |   118332 |   716643      0 |        1 |        0
1318.77/1319.13	c 1287s |      15 |  4356952 |   118432 |   716643      0 |        1 |        0
1322.26/1322.61	c 1291s |      15 |  4357213 |   118532 |   716643      0 |        1 |        0
1325.27/1325.63	c 1294s |      15 |  4357511 |   118632 |   716643      0 |        1 |        0
1327.66/1328.02	c 1296s |      15 |  4357846 |   118732 |   716643      0 |        1 |        0
1330.67/1331.08	c 1299s |      15 |  4358257 |   118832 |   716643      0 |        1 |        0
1332.97/1333.35	c 1302s |      15 |  4358532 |   118932 |   716643      0 |        1 |        0
1335.86/1336.26	c 1304s |      15 |  4358787 |   119032 |   716643      0 |        1 |        0
1339.46/1339.90	c 1308s |      15 |  4358959 |   119132 |   716643      0 |        1 |        0
1342.06/1342.50	c 1311s |      15 |  4359226 |   119232 |   716643      0 |        1 |        0
1345.96/1346.31	c 1315s |      15 |  4359550 |   119332 |   716643      0 |        1 |        0
1348.46/1348.84	c 1317s |      15 |  4359985 |   119432 |   716643      0 |        1 |        0
1350.96/1351.32	c 1320s |      15 |  4360478 |   119532 |   716643      0 |        1 |        0
1353.87/1354.26	c 1322s |      15 |  4360694 |   119632 |   716643      0 |        1 |        0
1357.66/1358.00	c 1326s |      15 |  4361072 |   119732 |   716643      0 |        1 |        0
1360.37/1360.74	c 1329s |      15 |  4361391 |   119832 |   716643      0 |        1 |        0
1363.26/1363.65	c 1332s |      15 |  4361683 |   119932 |   716643      0 |        1 |        0
1367.35/1367.71	c 1336s |      15 |  4362023 |   120032 |   716643      0 |        1 |        0
1370.26/1370.63	c 1339s |      15 |  4362310 |   120132 |   716643      0 |        1 |        0
1374.76/1375.17	c 1343s |      15 |  4362471 |   120232 |   716643      0 |        1 |        0
1377.06/1377.46	c 1346s |      15 |  4363195 |   120532 |   716643      0 |        1 |        0
1379.36/1379.76	c 1348s |      15 |  4364091 |   120932 |   716643      0 |        1 |        0
1382.05/1382.44	c 1351s |      15 |  4365013 |   121332 |   716643      0 |        1 |        0
1384.05/1384.47	c 1353s |      15 |  4365731 |   121632 |   716643      0 |        1 |        0
1386.15/1386.56	c 1355s |      15 |  4366541 |   121932 |   716643      0 |        1 |        0
1388.25/1388.62	c 1357s |      15 |  4367322 |   122232 |   716643      0 |        1 |        0
1390.65/1391.08	c 1359s |      15 |  4368121 |   122532 |   716643      0 |        1 |        0
1392.85/1393.22	c 1361s |      15 |  4369026 |   122732 |   716643      0 |        1 |        0
1395.25/1395.68	c 1364s |      15 |  4369725 |   122932 |   716643      0 |        1 |        0
1398.65/1399.05	c 1367s |      15 |  4370292 |   123132 |   716643      0 |        1 |        0
1401.45/1401.82	c 1370s |      15 |  4370900 |   123332 |   716643      0 |        1 |        0
1404.05/1404.48	c 1373s |      15 |  4371538 |   123532 |   716643      0 |        1 |        0
1406.95/1407.32	c 1376s |      15 |  4372304 |   123732 |   716643      0 |        1 |        0
1409.55/1409.94	c 1378s |      15 |  4373167 |   123932 |   716643      0 |        1 |        0
1412.16/1412.55	c 1381s |      15 |  4373881 |   124132 |   716643      0 |        1 |        0
1414.55/1414.92	c 1383s |      15 |  4374367 |   124332 |   716643      0 |        1 |        0
1417.25/1417.65	c 1386s |      15 |  4375175 |   124532 |   716643      0 |        1 |        0
1421.14/1421.59	c 1390s |      15 |  4375958 |   124732 |   716643      0 |        1 |        0
1424.04/1424.50	c 1393s |      15 |  4376846 |   124932 |   716643      0 |        1 |        0
1426.75/1427.17	c 1395s |      15 |  4377575 |   125132 |   716643      0 |        1 |        0
1429.35/1429.71	c 1398s |      15 |  4378232 |   125332 |   716643      0 |        1 |        0
1432.05/1432.49	c 1401s |      15 |  4378942 |   125532 |   716643      0 |        1 |        0
1434.64/1435.05	c 1403s |      15 |  4379755 |   125732 |   716643      0 |        1 |        0
1437.45/1437.88	c 1406s |      15 |  4380653 |   126032 |   716643      0 |        1 |        0
1439.94/1440.33	c 1409s |      15 |  4381245 |   126232 |   716643      0 |        1 |        0
1443.34/1443.80	c 1412s |      15 |  4381907 |   126432 |   716643      0 |        1 |        0
1445.55/1445.99	c 1414s |      15 |  4382505 |   126632 |   716643      0 |        1 |        0
1448.35/1448.80	c 1417s |      15 |  4383215 |   126832 |   716643      0 |        1 |        0
1450.44/1450.90	c 1419s |      15 |  4383579 |   126932 |   716643      0 |        1 |        0
1452.65/1453.06	c 1421s |      15 |  4383861 |   127032 |   716643      0 |        1 |        0
1454.74/1455.18	c 1423s |      15 |  4384180 |   127132 |   716643      0 |        1 |        0
1458.25/1458.68	c 1427s |      15 |  4384471 |   127232 |   716643      0 |        1 |        0
1460.74/1461.17	c 1429s |      15 |  4384692 |   127332 |   716643      0 |        1 |        0
1462.84/1463.26	c 1431s |      15 |  4385057 |   127432 |   716643      0 |        1 |        0
1465.04/1465.42	c 1434s |      15 |  4385415 |   127532 |   716643      0 |        1 |        0
1467.44/1467.88	c 1436s |      15 |  4385803 |   127632 |   716643      0 |        1 |        0
1469.74/1470.16	c 1438s |      15 |  4386058 |   127732 |   716643      0 |        1 |        0
1471.94/1472.35	c 1441s |      15 |  4386413 |   127832 |   716643      0 |        1 |        0
1475.04/1475.45	c 1444s |      15 |  4387094 |   128032 |   716643      0 |        1 |        0
1478.15/1478.51	c 1447s |      15 |  4388062 |   128232 |   716643      0 |        1 |        0
1481.63/1482.07	c 1450s |      15 |  4388679 |   128432 |   716643      0 |        1 |        0
1485.14/1485.51	c 1454s |      15 |  4389332 |   128632 |   716643      0 |        1 |        0
1487.94/1488.33	c 1457s |      15 |  4389597 |   128732 |   716643      0 |        1 |        0
1490.04/1490.42	c 1459s |      15 |  4390099 |   128832 |   716643      0 |        1 |        0
1492.34/1492.72	c 1461s |      15 |  4390512 |   128932 |   716643      0 |        1 |        0
1494.33/1494.74	c 1463s |      15 |  4391012 |   129032 |   716643      0 |        1 |        0
1496.64/1497.06	c 1465s |      15 |  4391776 |   129232 |   716643      0 |        1 |        0
1499.64/1500.02	c 1468s |      15 |  4392382 |   129432 |   716643      0 |        1 |        0
1502.34/1502.78	c 1471s |      15 |  4392653 |   129532 |   716643      0 |        1 |        0
1505.74/1506.18	c 1474s |      15 |  4393429 |   129732 |   716643      0 |        1 |        0
1507.84/1508.25	c 1476s |      15 |  4394220 |   129932 |   716643      0 |        1 |        0
1510.33/1510.72	c 1479s |      15 |  4395122 |   130132 |   788308      0 |        1 |        0
1512.43/1512.85	c 1481s |      15 |  4395697 |   130332 |   788308      0 |        1 |        0
1515.13/1515.59	c 1484s |      15 |  4396192 |   130532 |   788308      0 |        1 |        0
1517.74/1518.11	c 1486s |      15 |  4396345 |   130632 |   788308      0 |        1 |        0
1521.23/1521.61	c 1490s |      15 |  4397152 |   130832 |   788308      0 |        1 |        0
1523.43/1523.87	c 1492s |      15 |  4397583 |   130932 |   788308      0 |        1 |        0
1526.13/1526.54	c 1495s |      15 |  4398503 |   131132 |   788308      0 |        1 |        0
1528.82/1529.20	c 1497s |      15 |  4399174 |   131332 |   788308      0 |        1 |        0
1531.63/1532.07	c 1500s |      15 |  4399782 |   131532 |   788308      0 |        1 |        0
1532.13/1532.53	c 1501s |      16 |  4399832 |   131552 |   788308      0 |        1 |        0
1543.83/1544.22	c 1512s |      16 |  4618930 |   131652 |   788308      0 |        1 |        0
1547.12/1547.53	c 1516s |      16 |  4619998 |   131852 |   788308      0 |        1 |        0
1550.23/1550.62	c 1519s |      16 |  4620929 |   132052 |   788308      0 |        1 |        0
1555.22/1555.66	c 1524s |      16 |  4621350 |   132252 |   788308      0 |        1 |        0
1561.23/1561.64	c 1530s |      16 |  4621621 |   132352 |   788308      0 |        1 |        0
1564.62/1565.04	c 1533s |      16 |  4621954 |   132452 |   788308      0 |        1 |        0
1568.42/1568.86	c 1537s |      16 |  4622148 |   132552 |   788308      0 |        1 |        0
1571.42/1571.87	c 1540s |      16 |  4622428 |   132652 |   788308      0 |        1 |        0
1574.72/1575.15	c 1543s |      16 |  4622766 |   132752 |   788308      0 |        1 |        0
1577.82/1578.28	c 1546s |      16 |  4623039 |   132852 |   788308      0 |        1 |        0
1581.02/1581.48	c 1550s |      16 |  4623270 |   132952 |   788308      0 |        1 |        0
1583.81/1584.28	c 1552s |      16 |  4623482 |   133052 |   788308      0 |        1 |        0
1585.93/1586.36	c 1555s |      16 |  4623704 |   133152 |   788308      0 |        1 |        0
1589.71/1590.18	c 1558s |      16 |  4623941 |   133252 |   788308      0 |        1 |        0
1592.42/1592.88	c 1561s |      16 |  4625188 |   133552 |   788308      0 |        1 |        0
1595.12/1595.58	c 1564s |      16 |  4625927 |   133852 |   788308      0 |        1 |        0
1597.32/1597.78	c 1566s |      16 |  4626664 |   134052 |   788308      0 |        1 |        0
1599.42/1599.86	c 1568s |      16 |  4627059 |   134252 |   788308      0 |        1 |        0
1602.51/1602.96	c 1571s |      16 |  4627657 |   134452 |   788308      0 |        1 |        0
1604.62/1605.04	c 1573s |      16 |  4628308 |   134652 |   788308      0 |        1 |        0
1608.82/1609.27	c 1577s |      16 |  4628808 |   134852 |   788308      0 |        1 |        0
1611.91/1612.36	c 1581s |      16 |  4629498 |   135052 |   788308      0 |        1 |        0
1614.42/1614.82	c 1583s |      16 |  4630199 |   135252 |   788308      0 |        1 |        0
1616.51/1616.94	c 1585s |      16 |  4630710 |   135452 |   788308      0 |        1 |        0
1618.82/1619.30	c 1587s |      16 |  4631413 |   135652 |   788308      0 |        1 |        0
1621.71/1622.18	c 1590s |      16 |  4632211 |   135852 |   788308      0 |        1 |        0
1624.21/1624.63	c 1593s |      16 |  4633111 |   136052 |   788308      0 |        1 |        0
1628.21/1628.61	c 1597s |      16 |  4634062 |   136252 |   788308      0 |        1 |        0
1630.61/1631.08	c 1599s |      16 |  4635296 |   136552 |   788308      0 |        1 |        0
1632.81/1633.26	c 1601s |      16 |  4636298 |   136752 |   788308      0 |        1 |        0
1635.00/1635.41	c 1604s |      16 |  4637063 |   136952 |   788308      0 |        1 |        0
1637.10/1637.59	c 1606s |      16 |  4637894 |   137152 |   788308      0 |        1 |        0
1639.91/1640.31	c 1608s |      16 |  4639129 |   137352 |   788308      0 |        1 |        0
1643.11/1643.56	c 1612s |      16 |  4639655 |   137552 |   788308      0 |        1 |        0
1648.91/1649.39	c 1618s |      16 |  4640642 |   137752 |   788308      0 |        1 |        0
1651.81/1652.30	c 1620s |      16 |  4641099 |   137852 |   788308      0 |        1 |        0
1654.31/1654.71	c 1623s |      16 |  4641502 |   137952 |   788308      0 |        1 |        0
1656.31/1656.72	c 1625s |      16 |  4642216 |   138152 |   788308      0 |        1 |        0
1659.70/1660.17	c 1628s |      16 |  4643245 |   138452 |   788308      0 |        1 |        0
1663.50/1663.95	c 1632s |      16 |  4644247 |   138652 |   788308      0 |        1 |        0
1666.50/1666.96	c 1635s |      16 |  4645091 |   138852 |   788308      0 |        1 |        0
1670.10/1670.59	c 1639s |      16 |  4645625 |   139052 |   788308      0 |        1 |        0
1674.71/1675.10	c 1643s |      16 |  4646161 |   139252 |   788308      0 |        1 |        0
1679.50/1679.95	c 1648s |      16 |  4646458 |   139352 |   788308      0 |        1 |        0
1684.20/1684.66	c 1653s |      16 |  4646875 |   139452 |   788308      0 |        1 |        0
1687.60/1688.03	c 1656s |      16 |  4647343 |   139552 |   788308      0 |        1 |        0
1691.80/1692.26	c 1660s |      16 |  4647737 |   139652 |   788308      0 |        1 |        0
1695.60/1696.01	c 1664s |      16 |  4648545 |   139852 |   788308      0 |        1 |        0
1697.69/1698.13	c 1666s |      16 |  4648939 |   139952 |   788308      0 |        1 |        0
1700.80/1701.20	c 1669s |      16 |  4649214 |   140052 |   788308      0 |        1 |        0
1704.90/1705.32	c 1674s |      16 |  4649533 |   140152 |   788308      0 |        1 |        0
1711.20/1711.67	c 1680s |      16 |  4649922 |   140252 |   788308      0 |        1 |        0
1714.89/1715.35	c 1684s |      16 |  4650252 |   140352 |   788308      0 |        1 |        0
1719.59/1720.08	c 1688s |      16 |  4650437 |   140452 |   788308      0 |        1 |        0
1724.40/1724.86	c 1693s |      16 |  4650776 |   140552 |   788308      0 |        1 |        0
1729.49/1729.90	c 1698s |      16 |  4651390 |   140652 |   788308      0 |        1 |        0
1735.19/1735.62	c 1704s |      16 |  4651776 |   140752 |   788308      0 |        1 |        0
1742.00/1742.44	c 1711s |      16 |  4651999 |   140852 |   788308      0 |        1 |        0
1745.49/1745.95	c 1714s |      16 |  4652301 |   140952 |   788308      0 |        1 |        0
1748.70/1749.19	c 1717s |      16 |  4652584 |   141052 |   788308      0 |        1 |        0
1752.49/1752.91	c 1721s |      16 |  4653004 |   141252 |   788308      0 |        1 |        0
1754.79/1755.23	c 1723s |      16 |  4653157 |   141352 |   788308      0 |        1 |        0
1757.39/1757.90	c 1726s |      16 |  4653432 |   141452 |   788308      0 |        1 |        0
1760.88/1761.30	c 1729s |      16 |  4653644 |   141552 |   788308      0 |        1 |        0
1763.19/1763.69	c 1732s |      16 |  4848702 |   141752 |   788308      0 |        1 |        0
1765.28/1765.70	c 1734s |      16 |  4849218 |   142052 |   788308      0 |        1 |        0
1767.79/1768.21	c 1736s |      16 |  4849865 |   142452 |   788308      0 |        1 |        0
1770.38/1770.87	c 1739s |      16 |  4850576 |   142852 |   788308      0 |        1 |        0
1772.59/1773.01	c 1741s |      16 |  4851167 |   143152 |   788308      0 |        1 |        0
1774.69/1775.18	c 1743s |      16 |  4851658 |   143452 |   788308      0 |        1 |        0
1776.99/1777.42	c 1746s |      16 |  4852199 |   143652 |   788308      0 |        1 |        0
1779.39/1779.83	c 1748s |      16 |  4852775 |   144052 |   788308      0 |        1 |        0
1781.98/1782.43	c 1751s |      16 |  4853392 |   144452 |   788308      0 |        1 |        0
1784.09/1784.50	c 1753s |      16 |  4853825 |   144752 |   788308      0 |        1 |        0
1787.28/1787.77	c 1756s |      16 |  4854525 |   145052 |   788308      0 |        1 |        0
1790.49/1790.99	c 1759s |      16 |  4855061 |   145352 |   788308      0 |        1 |        0
1792.98/1793.43	c 1762s |      16 |  4855603 |   145752 |   788308      0 |        1 |        0
1795.49/1795.91	c 1764s |      16 |  4856149 |   146152 |   788308      0 |        1 |        0
1798.19/1798.62	c 1767s |      16 |  4856755 |   146552 |   788308      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-4093591-1466087863/watcher-4093591-1466087863 -o /tmp/evaluation-result-4093591-1466087863/solver-4093591-1466087863 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466075236-16166 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093591-1466087863.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.14 2.23 2.25 3/181 17363
/proc/meminfo: memFree=29206004/32872528 swapFree=1504664/1684536
[pid=17363] ppid=17360 vsize=714172 CPUtime=0 cores=0,2,4,6
/proc/17363/stat : 17363 (toysat) R 17360 17363 12407 0 -1 4202496 2662 0 0 0 0 0 0 0 20 0 4 0 10832235 731312128 3535 33554432000 4194304 16246674 140734299313280 140734299312704 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17363/statm: 179055 3542 441 2943 0 175949 0
[pid=17363/tid=17364] ppid=17360 vsize=731580 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17364/stat : 17364 (toysat) S 17360 17363 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10832236 749137920 3603 33554432000 4194304 16246674 140734299313280 140649665899760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17363/tid=17365] ppid=17360 vsize=736700 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17365/stat : 17365 (toysat) S 17360 17363 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10832236 754380800 3620 33554432000 4194304 16246674 140734299313280 140649655409904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17363/tid=17366] ppid=17360 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (toysat) S 17360 17363 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10832236 758575104 3636 33554432000 4194304 16246674 140734299313280 140649575738544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.14 2.23 2.25 3/181 17363
/proc/meminfo: memFree=29206004/32872528 swapFree=1504664/1684536
[pid=17363] ppid=17360 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/17363/stat : 17363 (toysat) R 17360 17363 12407 0 -1 4202496 25363 0 0 0 5 4 0 0 20 0 4 0 10832235 1250496512 26175 33554432000 4194304 16246674 140734299313280 140734299312592 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17363/statm: 305297 26178 799 2943 0 302191 0
[pid=17363/tid=17364] ppid=17360 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17364/stat : 17364 (toysat) S 17360 17363 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10832236 1250496512 26181 33554432000 4194304 16246674 140734299313280 140649665899760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17363/tid=17365] ppid=17360 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17365/stat : 17365 (toysat) S 17360 17363 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10832236 1250496512 26183 33554432000 4194304 16246674 140734299313280 140649655409904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17363/tid=17366] ppid=17360 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (toysat) S 17360 17363 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10832236 1250496512 26185 33554432000 4194304 16246674 140734299313280 140649575738544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200515 s]
/proc/loadavg: 2.14 2.23 2.25 3/181 17363
/proc/meminfo: memFree=29206004/32872528 swapFree=1504664/1684536
[pid=17363] ppid=17360 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/17363/stat : 17363 (toysat) R 17360 17363 12407 0 -1 4202496 47614 0 0 0 13 6 0 0 20 0 4 0 10832235 1344868352 48937 33554432000 4194304 16246674 140734299313280 140734299312592 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17363/statm: 328337 48937 801 2943 0 325231 0
[pid=17363/tid=17364] ppid=17360 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17364/stat : 17364 (toysat) S 17360 17363 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10832236 1344868352 48937 33554432000 4194304 16246674 140734299313280 140649665899760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17363/tid=17365] ppid=17360 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17365/stat : 17365 (toysat) S 17360 17363 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10832236 1344868352 48937 33554432000 4194304 16246674 140734299313280 140649655409904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17363/tid=17366] ppid=17360 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (toysat) S 17360 17363 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10832236 1344868352 48937 33554432000 4194304 16246674 140734299313280 140649575738544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300478 s]
/proc/loadavg: 2.14 2.23 2.25 3/181 17363
/proc/meminfo: memFree=29206004/32872528 swapFree=1504664/1684536
[pid=17363] ppid=17360 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/17363/stat : 17363 (toysat) R 17360 17363 12407 0 -1 4202496 57701 0 0 0 21 8 0 0 20 0 4 0 10832235 1344868352 59024 33554432000 4194304 16246674 140734299313280 140734299312592 13923640 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17363/statm: 328337 59024 801 2943 0 325231 0
[pid=17363/tid=17364] ppid=17360 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17364/stat : 17364 (toysat) S 17360 17363 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10832236 1344868352 59024 33554432000 4194304 16246674 140734299313280 140649665899760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17363/tid=17365] ppid=17360 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17365/stat : 17365 (toysat) S 17360 17363 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10832236 1344868352 59024 33554432000 4194304 16246674 140734299313280 140649655409904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17363/tid=17366] ppid=17360 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (toysat) S 17360 17363 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10832236 1344868352 59024 33554432000 4194304 16246674 140734299313280 140649575738544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700396 s]
/proc/loadavg: 2.14 2.23 2.25 3/181 17363
/proc/meminfo: memFree=29206004/32872528 swapFree=1504664/1684536
[pid=17363] ppid=17360 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/17363/stat : 17363 (toysat) R 17360 17363 12407 0 -1 4202496 65263 0 0 0 59 10 0 0 20 0 4 0 10832235 1344868352 66586 33554432000 4194304 16246674 140734299313280 140734299311104 7367584 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17363/statm: 328337 66586 801 2943 0 325231 0
[pid=17363/tid=17364] ppid=17360 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17364/stat : 17364 (toysat) S 17360 17363 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10832236 1344868352 66586 33554432000 4194304 16246674 140734299313280 140649665899760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17363/tid=17365] ppid=17360 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17365/stat : 17365 (toysat) S 17360 17363 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10832236 1344868352 66586 33554432000 4194304 16246674 140734299313280 140649655409904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17363/tid=17366] ppid=17360 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (toysat) S 17360 17363 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10832236 1344868352 66586 33554432000 4194304 16246674 140734299313280 140649575738544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50037 s]
/proc/loadavg: 2.14 2.23 2.25 3/185 17367
/proc/meminfo: memFree=28900096/32872528 swapFree=1504664/1684536
[pid=17363] ppid=17360 vsize=1313348 CPUtime=1.48 cores=0,2,4,6
/proc/17363/stat : 17363 (toysat) R 17360 17363 12407 0 -1 4202496 82847 0 0 0 136 12 0 0 20 0 4 0 10832235 1344868352 84170 33554432000 4194304 16246674 140734299313280 140734299311104 8058254 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17363/statm: 328337 84170 802 2943 0 325231 0
[pid=17363/tid=17364] ppid=17360 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17364/stat : 17364 (toysat) S 17360 17363 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10832236 1344868352 84170 33554432000 4194304 16246674 140734299313280 140649665899760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17363/tid=17365] ppid=17360 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17365/stat : 17365 (toysat) S 17360 17363 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10832236 1344868352 84170 33554432000 4194304 16246674 140734299313280 140649655409904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17363/tid=17366] ppid=17360 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (toysat) S 17360 17363 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10832236 1344868352 84170 33554432000 4194304 16246674 140734299313280 140649575738544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1313348

[startup+3.10041 s]
/proc/loadavg: 2.14 2.23 2.25 3/185 17367
/proc/meminfo: memFree=28841212/32872528 swapFree=1504664/1684536
[pid=17363] ppid=17360 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/17363/stat : 17363 (toysat) R 17360 17363 12407 0 -1 4202496 91227 0 0 0 295 14 0 0 20 0 4 0 10832235 1344868352 92550 33554432000 4194304 16246674 140734299313280 140734299312592 6756137 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17363/statm: 328337 92550 834 2943 0 325231 0
[pid=17363/tid=17364] ppid=17360 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17364/stat : 17364 (toysat) S 17360 17363 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10832236 1344868352 92550 33554432000 4194304 16246674 140734299313280 140649665899760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17363/tid=17365] ppid=17360 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17365/stat : 17365 (toysat) S 17360 17363 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10832236 1344868352 92550 33554432000 4194304 16246674 140734299313280 140649655409904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17363/tid=17366] ppid=17360 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (toysat) S 17360 17363 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10832236 1344868352 92550 33554432000 4194304 16246674 140734299313280 140649575738544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30042 s]
/proc/loadavg: 2.13 2.22 2.25 4/185 17367
/proc/meminfo: memFree=28738332/32872528 swapFree=1504664/1684536
[pid=17363] ppid=17360 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/17363/stat : 17363 (toysat) R 17360 17363 12407 0 -1 4202496 121774 0 0 0 610 19 0 0 20 0 4 0 10832235 1344868352 123097 33554432000 4194304 16246674 140734299313280 140734299295168 13955776 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17363/statm: 328337 123097 834 2943 0 325231 0
[pid=17363/tid=17364] ppid=17360 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17364/stat : 17364 (toysat) S 17360 17363 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10832236 1344868352 123097 33554432000 4194304 16246674 140734299313280 140649665899760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17363/tid=17365] ppid=17360 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17365/stat : 17365 (toysat) S 17360 17363 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10832236 1344868352 123097 33554432000 4194304 16246674 140734299313280 140649655409904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17363/tid=17366] ppid=17360 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (toysat) S 17360 17363 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10832236 1344868352 123097 33554432000 4194304 16246674 140734299313280 140649575738544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.20 2.24 2.26 3/185 17367
/proc/meminfo: memFree=27987900/32872528 swapFree=1504664/1684536
[pid=17363] ppid=17360 vsize=1450564 CPUtime=12.69 cores=0,2,4,6
/proc/17363/stat : 17363 (toysat) R 17360 17363 12407 0 -1 4202496 303282 0 0 0 1225 44 0 0 20 0 4 0 10832235 1485377536 304605 33554432000 4194304 16246674 140734299313280 140734299295168 12478424 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17363/statm: 362641 304605 859 2943 0 359535 0
[pid=17363/tid=17364] ppid=17360 vsize=1450564 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17364/stat : 17364 (toysat) S 17360 17363 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10832236 1485377536 304605 33554432000 4194304 16246674 140734299313280 140649665899760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17363/tid=17365] ppid=17360 vsize=1450564 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17365/stat : 17365 (toysat) S 17360 17363 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10832236 1485377536 304605 33554432000 4194304 16246674 140734299313280 140649655409904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17363/tid=17366] ppid=17360 vsize=1450564 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (toysat) S 17360 17363 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10832236 1485377536 304605 33554432000 4194304 16246674 140734299313280 140649575738544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1450564

[startup+25.5005 s]
/proc/loadavg: 2.24 2.24 2.26 3/185 17367
/proc/meminfo: memFree=27988512/32872528 swapFree=1504664/1684536
[pid=17363] ppid=17360 vsize=1450564 CPUtime=25.48 cores=0,2,4,6
/proc/17363/stat : 17363 (toysat) R 17360 17363 12407 0 -1 4202496 303334 0 0 0 2504 44 0 0 20 0 4 0 10832235 1485377536 304657 33554432000 4194304 16246674 140734299313280 140734299295168 6072212 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17363/statm: 362641 304657 911 2943 0 359535 0
[pid=17363/tid=17364] ppid=17360 vsize=1450564 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17364/stat : 17364 (toysat) S 17360 17363 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10832236 1485377536 304657 33554432000 4194304 16246674 140734299313280 140649665899760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17363/tid=17365] ppid=17360 vsize=1450564 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17365/stat : 17365 (toysat) S 17360 17363 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10832236 1485377536 304657 33554432000 4194304 16246674 140734299313280 140649655409904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17363/tid=17366] ppid=17360 vsize=1450564 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (toysat) S 17360 17363 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10832236 1485377536 304657 33554432000 4194304 16246674 140734299313280 140649575738544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1450564

[startup+51.1005 s]
/proc/loadavg: 2.15 2.22 2.25 4/185 17416
/proc/meminfo: memFree=27831628/32872528 swapFree=1504664/1684536
[pid=17363] ppid=17360 vsize=1549892 CPUtime=51.08 cores=0,2,4,6
/proc/17363/stat : 17363 (toysat) R 17360 17363 12407 0 -1 4202496 328187 0 0 0 5060 48 0 0 20 0 4 0 10832235 1587089408 329510 33554432000 4194304 16246674 140734299313280 140734299295168 5677392 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17363/statm: 387473 329510 932 2943 0 384367 0
[pid=17363/tid=17364] ppid=17360 vsize=1549892 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17364/stat : 17364 (toysat) S 17360 17363 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10832236 1587089408 329510 33554432000 4194304 16246674 140734299313280 140649665899760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17363/tid=17365] ppid=17360 vsize=1549892 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17365/stat : 17365 (toysat) S 17360 17363 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10832236 1587089408 329510 33554432000 4194304 16246674 140734299313280 140649655409904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17363/tid=17366] ppid=17360 vsize=1549892 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (toysat) S 17360 17363 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10832236 1587089408 329510 33554432000 4194304 16246674 140734299313280 140649575738544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1549892

[startup+102.3 s]
/proc/loadavg: 2.28 2.25 2.26 4/185 17417
/proc/meminfo: memFree=27703568/32872528 swapFree=1504664/1684536
[pid=17363] ppid=17360 vsize=1677892 CPUtime=102.28 cores=0,2,4,6
/proc/17363/stat : 17363 (toysat) R 17360 17363 12407 0 -1 4202496 360135 0 0 0 10174 54 0 0 20 0 4 0 10832235 1718161408 361453 33554432000 4194304 16246674 140734299313280 140734299295168 13753004 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17363/statm: 419473 361453 932 2943 0 416367 0
[pid=17363/tid=17364] ppid=17360 vsize=1677892 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17364/stat : 17364 (toysat) S 17360 17363 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10832236 1718161408 361453 33554432000 4194304 16246674 140734299313280 140649665899760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17363/tid=17365] ppid=17360 vsize=1677892 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17365/stat : 17365 (toysat) S 17360 17363 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10832236 1718161408 361453 33554432000 4194304 16246674 140734299313280 140649655409904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17363/tid=17366] ppid=17360 vsize=1677892 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (toysat) S 17360 17363 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10832236 1718161408 361453 33554432000 4194304 16246674 140734299313280 140649575738544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1677892


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

/proc/17363/task/17366/stat : 17366 (toysat) S 17360 17363 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10832236 3746107392 856457 33554432000 4194304 16246674 140734299313280 140649575738544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 3658308

[startup+1362.3 s]
/proc/loadavg: 2.21 2.25 2.26 4/186 17547
/proc/meminfo: memFree=24457552/32872528 swapFree=1504664/1684536
[pid=17363] ppid=17360 vsize=3725892 CPUtime=1361.96 cores=0,2,4,6
/proc/17363/stat : 17363 (toysat) R 17360 17363 12407 0 -1 4202496 872265 0 0 0 135730 466 0 0 20 0 4 0 10832235 3815313408 873376 33554432000 4194304 16246674 140734299313280 140734299312456 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17363/statm: 931473 873376 936 2943 0 928367 0
[pid=17363/tid=17364] ppid=17360 vsize=3725892 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17364/stat : 17364 (toysat) S 17360 17363 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10832236 3815313408 873376 33554432000 4194304 16246674 140734299313280 140649665899760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17363/tid=17365] ppid=17360 vsize=3725892 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17365/stat : 17365 (toysat) S 17360 17363 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10832236 3815313408 873376 33554432000 4194304 16246674 140734299313280 140649655409904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17363/tid=17366] ppid=17360 vsize=3725892 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (toysat) S 17360 17363 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10832236 3815313408 873376 33554432000 4194304 16246674 140734299313280 140649575738544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 3725892

[startup+1422.3 s]
/proc/loadavg: 2.18 2.22 2.25 3/186 17572
/proc/meminfo: memFree=24311016/32872528 swapFree=1504664/1684536
[pid=17363] ppid=17360 vsize=3790404 CPUtime=1421.96 cores=0,2,4,6
/proc/17363/stat : 17363 (toysat) R 17360 17363 12407 0 -1 4202496 888344 0 0 0 141703 493 0 0 20 0 4 0 10832235 3881373696 889452 33554432000 4194304 16246674 140734299313280 140734299312456 5829044 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17363/statm: 947601 889452 936 2943 0 944495 0
[pid=17363/tid=17364] ppid=17360 vsize=3790404 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17364/stat : 17364 (toysat) S 17360 17363 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10832236 3881373696 889452 33554432000 4194304 16246674 140734299313280 140649665899760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17363/tid=17365] ppid=17360 vsize=3790404 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17365/stat : 17365 (toysat) S 17360 17363 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10832236 3881373696 889452 33554432000 4194304 16246674 140734299313280 140649655409904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17363/tid=17366] ppid=17360 vsize=3790404 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (toysat) S 17360 17363 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10832236 3881373696 889452 33554432000 4194304 16246674 140734299313280 140649575738544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 3790404

[startup+1482.3 s]
/proc/loadavg: 2.28 2.24 2.25 3/185 17573
/proc/meminfo: memFree=24150496/32872528 swapFree=1504664/1684536
[pid=17363] ppid=17360 vsize=3889732 CPUtime=1481.93 cores=0,2,4,6
/proc/17363/stat : 17363 (toysat) R 17360 17363 12407 0 -1 4202496 913258 0 0 0 147671 522 0 0 20 0 4 0 10832235 3983085568 914363 33554432000 4194304 16246674 140734299313280 140734299312376 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17363/statm: 972433 914363 936 2943 0 969327 0
[pid=17363/tid=17364] ppid=17360 vsize=3889732 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17364/stat : 17364 (toysat) S 17360 17363 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10832236 3983085568 914363 33554432000 4194304 16246674 140734299313280 140649665899760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17363/tid=17365] ppid=17360 vsize=3889732 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17365/stat : 17365 (toysat) S 17360 17363 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10832236 3983085568 914363 33554432000 4194304 16246674 140734299313280 140649655409904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17363/tid=17366] ppid=17360 vsize=3889732 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (toysat) S 17360 17363 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10832236 3983085568 914363 33554432000 4194304 16246674 140734299313280 140649575738544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 3889732

[startup+1542.31 s]
/proc/loadavg: 2.31 2.25 2.26 4/185 17574
/proc/meminfo: memFree=24015684/32872528 swapFree=1504664/1684536
[pid=17363] ppid=17360 vsize=3961412 CPUtime=1541.94 cores=0,2,4,6
/proc/17363/stat : 17363 (toysat) R 17360 17363 12407 0 -1 4202496 931296 0 0 0 153641 553 0 0 20 0 4 0 10832235 4056485888 932398 33554432000 4194304 16246674 140734299313280 140734299312456 4206604 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17363/statm: 990353 932398 936 2943 0 987247 0
[pid=17363/tid=17364] ppid=17360 vsize=3961412 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17364/stat : 17364 (toysat) S 17360 17363 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10832236 4056485888 932398 33554432000 4194304 16246674 140734299313280 140649665899760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17363/tid=17365] ppid=17360 vsize=3961412 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17365/stat : 17365 (toysat) S 17360 17363 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10832236 4056485888 932398 33554432000 4194304 16246674 140734299313280 140649655409904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17363/tid=17366] ppid=17360 vsize=3961412 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (toysat) S 17360 17363 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10832236 4056485888 932398 33554432000 4194304 16246674 140734299313280 140649575738544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 3961412

[startup+1602.3 s]
/proc/loadavg: 2.38 2.28 2.26 3/185 17575
/proc/meminfo: memFree=23871412/32872528 swapFree=1504664/1684536
[pid=17363] ppid=17360 vsize=4065860 CPUtime=1601.92 cores=0,2,4,6
/proc/17363/stat : 17363 (toysat) R 17360 17363 12407 0 -1 4202496 957336 0 0 0 159621 571 0 0 20 0 4 0 10832235 4163440640 958434 33554432000 4194304 16246674 140734299313280 140734299312376 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17363/statm: 1016465 958434 936 2943 0 1013359 0
[pid=17363/tid=17364] ppid=17360 vsize=4065860 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17364/stat : 17364 (toysat) S 17360 17363 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10832236 4163440640 958434 33554432000 4194304 16246674 140734299313280 140649665899760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17363/tid=17365] ppid=17360 vsize=4065860 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17365/stat : 17365 (toysat) S 17360 17363 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10832236 4163440640 958434 33554432000 4194304 16246674 140734299313280 140649655409904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17363/tid=17366] ppid=17360 vsize=4065860 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (toysat) S 17360 17363 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10832236 4163440640 958434 33554432000 4194304 16246674 140734299313280 140649575738544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 4065860

[startup+1662.3 s]
/proc/loadavg: 2.34 2.29 2.27 3/185 17576
/proc/meminfo: memFree=23740720/32872528 swapFree=1504664/1684536
[pid=17363] ppid=17360 vsize=4162116 CPUtime=1661.91 cores=0,2,4,6
/proc/17363/stat : 17363 (toysat) R 17360 17363 12407 0 -1 4202496 981478 0 0 0 165596 595 0 0 20 0 4 0 10832235 4262006784 982574 33554432000 4194304 16246674 140734299313280 140734299312456 4220507 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17363/statm: 1040529 982574 936 2943 0 1037423 0
[pid=17363/tid=17364] ppid=17360 vsize=4162116 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17364/stat : 17364 (toysat) S 17360 17363 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10832236 4262006784 982574 33554432000 4194304 16246674 140734299313280 140649665899760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17363/tid=17365] ppid=17360 vsize=4162116 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17365/stat : 17365 (toysat) S 17360 17363 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10832236 4262006784 982574 33554432000 4194304 16246674 140734299313280 140649655409680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17363/tid=17366] ppid=17360 vsize=4162116 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (toysat) S 17360 17363 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10832236 4262006784 982574 33554432000 4194304 16246674 140734299313280 140649575738544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 4162116

[startup+1722.3 s]
/proc/loadavg: 2.34 2.29 2.27 4/185 17578
/proc/meminfo: memFree=23554688/32872528 swapFree=1504664/1684536
[pid=17363] ppid=17360 vsize=4290116 CPUtime=1721.9 cores=0,2,4,6
/proc/17363/stat : 17363 (toysat) R 17360 17363 12407 0 -1 4202496 1013273 0 0 0 171572 618 0 0 20 0 4 0 10832235 4393078784 1014368 33554432000 4194304 16246674 140734299313280 140734299312456 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17363/statm: 1072529 1014368 936 2943 0 1069423 0
[pid=17363/tid=17364] ppid=17360 vsize=4290116 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17364/stat : 17364 (toysat) S 17360 17363 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10832236 4393078784 1014368 33554432000 4194304 16246674 140734299313280 140649665899760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17363/tid=17365] ppid=17360 vsize=4290116 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17365/stat : 17365 (toysat) S 17360 17363 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10832236 4393078784 1014368 33554432000 4194304 16246674 140734299313280 140649655409904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17363/tid=17366] ppid=17360 vsize=4290116 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (toysat) S 17360 17363 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10832236 4393078784 1014368 33554432000 4194304 16246674 140734299313280 140649575738544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 4290116

[startup+1782.3 s]
/proc/loadavg: 2.36 2.30 2.27 3/185 17579
/proc/meminfo: memFree=23452800/32872528 swapFree=1504664/1684536
[pid=17363] ppid=17360 vsize=4325956 CPUtime=1781.88 cores=0,2,4,6
/proc/17363/stat : 17363 (toysat) R 17360 17363 12407 0 -1 4202496 1022331 0 0 0 177552 636 0 0 20 0 4 0 10832235 4429778944 1023423 33554432000 4194304 16246674 140734299313280 140734299312456 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17363/statm: 1081489 1023423 936 2943 0 1078383 0
[pid=17363/tid=17364] ppid=17360 vsize=4325956 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17364/stat : 17364 (toysat) S 17360 17363 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10832236 4429778944 1023423 33554432000 4194304 16246674 140734299313280 140649665899760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17363/tid=17365] ppid=17360 vsize=4325956 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17365/stat : 17365 (toysat) S 17360 17363 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10832236 4429778944 1023423 33554432000 4194304 16246674 140734299313280 140649655409904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17363/tid=17366] ppid=17360 vsize=4325956 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (toysat) S 17360 17363 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10832236 4429778944 1023423 33554432000 4194304 16246674 140734299313280 140649575738544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 4325956



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.28 2.28 2.27 4/185 17580
/proc/meminfo: memFree=23409988/32872528 swapFree=1504664/1684536
[pid=17363] ppid=17360 vsize=4353604 CPUtime=1800.08 cores=0,2,4,6
/proc/17363/stat : 17363 (toysat) R 17360 17363 12407 0 -1 4202496 1029123 0 0 0 179367 641 0 0 20 0 4 0 10832235 4458090496 1030213 33554432000 4194304 16246674 140734299313280 140734299312456 13820890 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17363/statm: 1088401 1030213 936 2943 0 1085295 0
[pid=17363/tid=17364] ppid=17360 vsize=4353604 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17364/stat : 17364 (toysat) S 17360 17363 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10832236 4458090496 1030213 33554432000 4194304 16246674 140734299313280 140649665899760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17363/tid=17365] ppid=17360 vsize=4353604 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17365/stat : 17365 (toysat) S 17360 17363 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10832236 4458090496 1030213 33554432000 4194304 16246674 140734299313280 140649655409904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17363/tid=17366] ppid=17360 vsize=4353604 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (toysat) S 17360 17363 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10832236 4458090496 1030213 33554432000 4194304 16246674 140734299313280 140649575738544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 4353604

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

[startup+1800.5 s]
/proc/loadavg: 2.28 2.28 2.27 4/185 17580
/proc/meminfo: memFree=23409988/32872528 swapFree=1504664/1684536
[pid=17363] ppid=17360 vsize=4353604 CPUtime=1800.08 cores=0,2,4,6
/proc/17363/stat : 17363 (toysat) R 17360 17363 12407 0 -1 4202496 1029123 0 0 0 179367 641 0 0 20 0 4 0 10832235 4458090496 1030213 33554432000 4194304 16246674 140734299313280 140734299312456 13820890 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17363/statm: 1088401 1030213 936 2943 0 1085295 0
[pid=17363/tid=17364] ppid=17360 vsize=4353604 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17364/stat : 17364 (toysat) S 17360 17363 12407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10832236 4458090496 1030213 33554432000 4194304 16246674 140734299313280 140649665899760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17363/tid=17365] ppid=17360 vsize=4353604 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17365/stat : 17365 (toysat) S 17360 17363 12407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10832236 4458090496 1030213 33554432000 4194304 16246674 140734299313280 140649655409904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17363/tid=17366] ppid=17360 vsize=4353604 CPUtime=0 cores=0,2,4,6
/proc/17363/task/17366/stat : 17366 (toysat) S 17360 17363 12407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10832236 4458090496 1030213 33554432000 4194304 16246674 140734299313280 140649575738544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 4353604

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.59
CPU time (s): 1800.17
CPU user time (s): 1793.68
CPU system time (s): 6.48901
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 4353604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.68
system time used= 6.48901
maximum resident set size= 4120852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1029123
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= 664
involuntary context switches= 1806

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.68929 second user time and 6.81696 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-16 16:37:43
IDJOB=4093591
IDBENCH=79110
IDSOLVER=2553
FILE ID=node135/4093591-1466087863
RUNJOBID= node135-1466075236-16166
PBS_JOBID= 19904004
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.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-4093591-1466087863/watcher-4093591-1466087863 -o /tmp/evaluation-result-4093591-1466087863/solver-4093591-1466087863 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466075236-16166 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093591-1466087863.wbo

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

MD5SUM BENCH= c793e6de080a97fe48f7abfaf5144445
RANDOM SEED=1515594827

node135.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		: 2667.004
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	: 5334.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29206912 kB
Buffers:           37076 kB
Cached:           117008 kB
SwapCached:         2268 kB
Active:          1209596 kB
Inactive:          66604 kB
Active(anon):    1122968 kB
Inactive(anon):     1492 kB
Active(file):      86628 kB
Inactive(file):    65112 kB
Unevictable:     1684536 kB
Mlocked:         1504664 kB
SwapTotal:      67108856 kB
SwapFree:       67099244 kB
Dirty:             25256 kB
Writeback:             0 kB
AnonPages:       2807768 kB
Mapped:            10588 kB
Shmem:                 0 kB
Slab:             567456 kB
SReclaimable:      11644 kB
SUnreclaim:       555812 kB
KernelStack:        1464 kB
PageTables:         9524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2951692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    753664 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= 71688 MiB
End job on node135 at 2016-06-16 17:07:44