Trace number 4101289

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.02 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-stocfor2.opb
MD5SUMcbc7f776eebadde6a6228c5e168c70a1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables60930
Total number of constraints2157
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2157
Minimum length of a constraint30
Maximum length of a constraint450
Number of terms in the objective function 31770
Biggest coefficient in the objective function 2474
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 550404
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 550404
Number of bits of the biggest sum of numbers20
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-18T06:00:29+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4101289-1466222428.opb"]
0.00/0.01	c use --random-gen="2234434065 1119181956 431768426 3246866536 2855602009 227792504 3728833358 2215294858 3755943034 2749795128 61209014 672650771 1652442506 2162313409 202308788 2616044094 1165264986 1898826439 1623336710 3376647033 747273667 72277552 3081829212 2563722977 552700768 2719243688 3849152921 3223840448 2544109014 1423364054 4259241984 1796507514 2871126729 1193848475 1428242258 554226808 2835039510 1193069279 2890331490 3391749102 3887968798 1095354073 1850107915 36262488 3288693664 3053976244 2230708315 4087313021 2678512034 3480926099 190287811 1240159810 1617198234 3487960670 4005611375 2175646601 1992400792 1615278484 1147274402 554846829 851931459 4267006783 3414372792 2653629622 1599521274 3597119760 2484587071 1899480803 354855654 864886557 3888961496 1563105385 3504142521 4062757213 385669362 1737273810 2560442922 2890432897 2860535332 2814455278 1431607525 1242342179 640095608 1119419903 3359865544 2146713067 329393951 3454975206 217077514 3604990354 2374358470 3553656013 374951520 37267620 3380605428 1466449416 2412814792 3269907448 293754459 114789665 4158955459 1774599374 3497008928 2721665208 4097571982 1452366609 4093941339 2882238336 2177535058 2301299897 767157084 5683366 449880149 1006543906 4183839229 1844886646 2748871745 108529694 1269920116 3529725036 3218981003 3108634868 2271923131 1550235898 2758654136 2182846703 47857181 2420662207 1023306369 848917948 2112959673 1632281465 3605412716 2096597154 3727777804 2399684703 3516132666 3242067313 2100522315 2040538866 712355103 3004604169 3007612585 1829100504 3137771588 1425572061 1895210128 3007369032 1894128348 3811400938 231201984 12642141 2024565712 3575306471 470718574 1547337960 612235663 147637581 2402740178 2160242345 3809597891 3291038614 2288747570 1530359912 1648324857 3798090443 477023083 1783330048 2509976428 890009435 1513882963 4236746424 1490760587 2873969833 188376331 1401202443 139561861 652462429 1328998033 3209322011 1590968712 681440672 3353207249 12295825 1398103760 1166760552 1887430690 804027394 1857520987 3478880367 3621532530 3454683124 3833511740 2685106634 2275182056 2542174264 4188519035 2835833822 1657358272 2135531328 42083325 157049058 1452042959 642513314 2584560166 4228928203 2694523868 2217720609 1589630411 3642353609 504486618 1395767846 1738175165 1125557748 4169019802 2868991602 970989681 3490566454 791339841 813983532 4048651223 2051984761 215171338 717283905 898197050 185410900 4281802060 3041471912 361060812 2442905717 874900172 1088354664 1521755460 950573488 573213387 2654735599 886059751 3799580258 2210966468 838802804 1478959779 191016515 4208017611 2867407059 1681959696 2482013844 791017104 2647044322 3838686756 633940708 4273106248 3346701130 239884930 4061867825 2683050353 2778405528 255 362436" option to reproduce the execution
0.39/0.49	c #vars 60930
0.39/0.49	c #constraints 2157
12.49/12.52	c BCD2: Hardening is enabled.
12.49/12.52	c BCD2: BiasedSearch is enabled.
12.49/12.52	c Solving starts ...
12.49/12.52	c ============================[ Search Statistics ]============================
12.49/12.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.49/12.52	c       |         |          |          |    Limit     GC | Var      | Constra 
12.49/12.52	c =============================================================================
12.49/12.52	c  0.0s |       0 |        0 |        0 |    21410      0 |    12650 |        0
12.89/12.92	c  0.4s |       1 |      208 |      100 |    21410      0 |    12680 |        0
13.09/13.19	c  0.7s |       2 |      600 |      250 |    23552      0 |    12694 |        0
13.20/13.28	c  0.8s |       3 |      853 |      475 |    25908      0 |    12694 |        0
13.39/13.40	c  0.9s |       4 |     1390 |      813 |    28499      0 |    12694 |        0
13.49/13.53	c  1.0s |       5 |     2022 |     1320 |    31349      0 |    12694 |        0
13.69/13.72	c  1.2s |       6 |     2965 |     2081 |    37933      0 |    12697 |        0
13.89/13.99	c  1.5s |       7 |     4175 |     3223 |    41727      0 |    12697 |        0
14.30/14.38	c  1.9s |       8 |     6132 |     4936 |    45900      0 |    12703 |        0
15.69/15.75	c  3.2s |       9 |     9061 |     7506 |    50491      0 |    12718 |        0
16.89/16.97	c  4.5s |      10 |    14175 |    11361 |    55541      0 |    12777 |        0
18.99/19.01	c  6.5s |      10 |    20026 |    16761 |    55541      0 |    12777 |        0
19.19/19.20	c  6.7s |      11 |    20435 |    17144 |    61096      0 |    12777 |        0
21.19/21.20	c  8.7s |      11 |    25962 |    22044 |    61096      0 |    12777 |        0
22.89/22.93	c 10.4s |      12 |    30140 |    25819 |    67206      0 |    12777 |        0
24.89/24.95	c 12.4s |      12 |    36029 |    31519 |    67206      0 |    12777 |        0
26.99/27.04	c 14.5s |      12 |    39944 |    35319 |    67206      0 |    12777 |        0
28.99/29.09	c 16.6s |      12 |    42976 |    38119 |    67206      0 |    12777 |        0
29.59/29.63	c 17.1s |      13 |    43741 |    38832 |    73927      0 |    12777 |        0
31.59/31.65	c 19.1s |      13 |    50571 |    43832 |    73927      0 |    12874 |        0
33.59/33.66	c 21.1s |      13 |    56683 |    49132 |    73927      0 |    12874 |        0
35.59/35.68	c 23.2s |      13 |    62896 |    54932 |    73927      0 |    12876 |        0
37.50/37.53	c 25.0s |      14 |    67001 |    58352 |    81320      0 |    12878 |        0
39.49/39.57	c 27.1s |      14 |    72430 |    62352 |    81320      0 |    12878 |        0
41.59/41.61	c 29.1s |      14 |    78553 |    67652 |    81320      0 |    12878 |        0
43.59/43.62	c 31.1s |      14 |    84843 |    72852 |    81320      0 |    12878 |        0
45.59/45.66	c 33.1s |      14 |    89305 |    76652 |    81320      0 |    12878 |        0
47.59/47.68	c 35.2s |      14 |    94410 |    80952 |    81320      0 |    12878 |        0
49.69/49.71	c 37.2s |      14 |    98818 |    84552 |    81320      0 |    12878 |        0
51.69/51.76	c 39.2s |      14 |   102261 |    87552 |    89452      0 |    12878 |        0
51.79/51.81	c 39.3s |      15 |   102351 |    87632 |    89452      0 |    12878 |        0
53.79/53.82	c 41.3s |      15 |   106965 |    91432 |    89452      0 |    12878 |        0
55.78/55.83	c 43.3s |      15 |   111737 |    95232 |    89452      0 |    12878 |        0
57.78/57.84	c 45.3s |      15 |   115644 |    98132 |    89452      0 |    12878 |        0
59.78/59.87	c 47.4s |      15 |   122227 |   104232 |    89452      0 |    12878 |        0
61.88/61.90	c 49.4s |      15 |   126619 |   108432 |    89452      0 |    12878 |        0
63.89/63.97	c 51.4s |      15 |   130666 |   112132 |    89452      0 |    12878 |        0
65.88/65.99	c 53.5s |      15 |   133348 |   114632 |    89452      1 |    12878 |        0
67.98/68.02	c 55.5s |      15 |   136934 |   117932 |    89452      1 |    12878 |        0
69.98/70.09	c 57.6s |      15 |   138647 |   119532 |    89452      1 |    12878 |        0
72.08/72.12	c 59.6s |      15 |   142247 |   122332 |    89452      1 |    12890 |        0
74.08/74.15	c 61.6s |      15 |   148233 |   127632 |    89452      1 |    12890 |        0
75.38/75.49	c 63.0s |      16 |   152782 |   131552 |    98398      1 |    12890 |        0
77.38/77.49	c 65.0s |      16 |   158182 |   136752 |    98398      1 |    12890 |        0
79.48/79.53	c 67.0s |      16 |   164061 |   142252 |    98398      1 |    12890 |        0
81.48/81.53	c 69.0s |      16 |   168765 |   146352 |    98398      1 |    12890 |        0
83.48/83.57	c 71.0s |      16 |   172308 |   149552 |    98398      1 |    12890 |        0
85.48/85.58	c 73.1s |      16 |   175936 |   152752 |    98398      1 |    12890 |        0
87.57/87.64	c 75.1s |      16 |   179481 |   155952 |    98398      1 |    12890 |        0
89.67/89.75	c 77.2s |      16 |   182752 |   159052 |    98398      1 |    12890 |        0
91.77/91.82	c 79.3s |      16 |   185420 |   161552 |    98398      1 |    12890 |        0
93.77/93.84	c 81.3s |      16 |   188234 |   164052 |    98398      1 |    12890 |        0
95.78/95.85	c 83.3s |      16 |   190847 |   166452 |    98398      1 |    12890 |        0
97.88/97.96	c 85.4s |      16 |   193232 |   168652 |    98398      1 |    12890 |        0
99.87/99.97	c 87.5s |      16 |   195422 |   170752 |    98398      1 |    12890 |        0
102.17/102.29	c 89.8s |      16 |   197784 |   172852 |    98398      2 |    12890 |        0
104.27/104.35	c 91.8s |      16 |   200094 |   174952 |    98398      2 |    12890 |        0
106.27/106.37	c 93.9s |      16 |   201987 |   176752 |    98398      2 |    12890 |        0
108.37/108.43	c 95.9s |      16 |   203832 |   178452 |    98398      2 |    12890 |        0
110.47/110.52	c 98.0s |      16 |   205391 |   179952 |    98398      2 |    12890 |        0
112.47/112.54	c  100s |      16 |   207023 |   181252 |    98398      2 |    12890 |        0
114.48/114.59	c  102s |      16 |   208949 |   182952 |    98398      2 |    12890 |        0
116.58/116.69	c  104s |      16 |   210933 |   184652 |    98398      2 |    12890 |        0
118.57/118.69	c  106s |      16 |   215888 |   188752 |    98398      2 |    12924 |        0
121.08/121.16	c  108s |      16 |   220598 |   192052 |    98398      2 |    12969 |        0
123.07/123.17	c  110s |      16 |   226912 |   196652 |   108238      2 |    13004 |        0
123.37/123.47	c  110s |      17 |   227894 |   197432 |   108238      2 |    13004 |        0
125.47/125.52	c  112s |      17 |   232966 |   201332 |   108238      2 |    13004 |        0
127.47/127.54	c  115s |      17 |   238785 |   206332 |   108238      2 |    13004 |        0
129.57/129.65	c  117s |      17 |   243320 |   210232 |   108238      2 |    13037 |        0
131.67/131.71	c  119s |      17 |   246757 |   213632 |   108238      2 |    13037 |        0
133.67/133.77	c  121s |      17 |   249722 |   216232 |   108238      2 |    13037 |        0
135.77/135.84	c  123s |      17 |   252573 |   218532 |   108238      2 |    13037 |        0
137.77/137.89	c  125s |      17 |   255341 |   220632 |   108238      2 |    13037 |        0
139.87/139.94	c  127s |      17 |   257783 |   222632 |   108238      2 |    13037 |        0
141.97/142.01	c  129s |      17 |   260074 |   224432 |   108238      2 |    13037 |        0
143.96/144.06	c  131s |      17 |   262250 |   226332 |   108238      2 |    13037 |        0
146.06/146.12	c  133s |      17 |   264466 |   228232 |   108238      2 |    13037 |        0
148.06/148.17	c  135s |      17 |   266486 |   230032 |   108238      2 |    13037 |        0
150.16/150.25	c  137s |      17 |   268405 |   231732 |   108238      2 |    13037 |        0
152.26/152.37	c  139s |      17 |   270472 |   233132 |   108238      2 |    13037 |        0
154.36/154.46	c  141s |      17 |   272098 |   234532 |   108238      2 |    13037 |        0
156.46/156.52	c  144s |      17 |   273615 |   235832 |   108238      2 |    13037 |        0
158.47/158.54	c  146s |      17 |   275320 |   237232 |   108238      2 |    13037 |        0
160.67/160.71	c  148s |      17 |   276992 |   238632 |   108238      2 |    13037 |        0
162.77/162.84	c  150s |      17 |   278592 |   240032 |   108238      2 |    13037 |        0
164.87/164.94	c  152s |      17 |   280203 |   241432 |   108238      2 |    13037 |        0
166.97/167.03	c  154s |      17 |   281718 |   242832 |   108238      2 |    13037 |        0
169.07/169.14	c  156s |      17 |   283105 |   244132 |   108238      2 |    13037 |        0
172.77/172.85	c  160s |      17 |   284362 |   245232 |   108238      2 |    13061 |        0
174.76/174.89	c  162s |      17 |   289279 |   248432 |   108238      2 |    13087 |        0
176.86/176.91	c  164s |      17 |   295878 |   254432 |   108238      2 |    13088 |        0
178.86/178.93	c  166s |      17 |   301616 |   259332 |   108238      2 |    13088 |        0
180.86/180.97	c  168s |      17 |   308254 |   264932 |   108238      2 |    13088 |        0
182.86/182.98	c  170s |      17 |   314641 |   270432 |   108238      2 |    13088 |        0
184.96/185.03	c  172s |      17 |   320291 |   275432 |   108238      2 |    13088 |        0
186.96/187.03	c  174s |      17 |   325456 |   279932 |   108238      2 |    13088 |        0
188.96/189.06	c  176s |      17 |   331653 |   284932 |   108238      2 |    13088 |        0
190.96/191.08	c  178s |      17 |   335834 |   288532 |   108238      2 |    13088 |        0
192.96/193.09	c  180s |      17 |   339728 |   291932 |   108238      2 |    13088 |        0
195.66/195.78	c  183s |      17 |   343898 |   294632 |   119062      3 |    13146 |        0
196.96/197.03	c  184s |      18 |   347825 |   296252 |   119062      3 |    13153 |        0
198.96/199.05	c  186s |      18 |   356325 |   303752 |   119062      3 |    13153 |        0
200.96/201.08	c  188s |      18 |   363601 |   309352 |   119062      3 |    13153 |        0
203.06/203.10	c  190s |      18 |   368640 |   313452 |   119062      3 |    13153 |        0
205.05/205.14	c  192s |      18 |   373101 |   316952 |   119062      3 |    13153 |        0
207.05/207.14	c  194s |      18 |   376517 |   319752 |   119062      3 |    13153 |        0
209.06/209.17	c  196s |      18 |   379558 |   322152 |   119062      3 |    13153 |        0
211.17/211.22	c  198s |      18 |   381376 |   323652 |   119062      3 |    13153 |        0
213.16/213.27	c  200s |      18 |   383910 |   325652 |   119062      3 |    13153 |        0
215.26/215.37	c  202s |      18 |   386927 |   328052 |   119062      3 |    13153 |        0
217.36/217.45	c  204s |      18 |   389988 |   330452 |   119062      3 |    13153 |        0
219.46/219.55	c  207s |      18 |   392557 |   332352 |   119062      3 |    13153 |        0
221.56/221.62	c  209s |      18 |   395496 |   334452 |   119062      3 |    13153 |        0
223.56/223.68	c  211s |      18 |   397650 |   336152 |   119062      3 |    13153 |        0
225.66/225.74	c  213s |      18 |   400048 |   337952 |   119062      3 |    13153 |        0
227.86/227.90	c  215s |      18 |   402204 |   339652 |   119062      3 |    13153 |        0
229.87/229.92	c  217s |      18 |   404266 |   341352 |   119062      3 |    13153 |        0
231.86/231.99	c  219s |      18 |   406087 |   342752 |   119062      3 |    13153 |        0
234.06/234.13	c  221s |      18 |   407657 |   344052 |   119062      3 |    13153 |        0
236.06/236.14	c  223s |      18 |   409727 |   345452 |   119062      3 |    13153 |        0
238.16/238.24	c  225s |      18 |   411712 |   346952 |   119062      3 |    13153 |        0
240.16/240.30	c  227s |      18 |   412371 |   347552 |   119062      3 |    13154 |        0
242.56/242.63	c  230s |      18 |   412900 |   348052 |   119062      3 |    13154 |        0
244.76/244.80	c  232s |      18 |   413355 |   348452 |   119062      3 |    13154 |        0
248.75/248.88	c  236s |      18 |   414239 |   348752 |   119062      3 |    13155 |        0
250.86/250.91	c  238s |      18 |   419771 |   353952 |   119062      3 |    13155 |        0
252.85/252.97	c  240s |      18 |   424929 |   359052 |   119062      3 |    13155 |        0
256.56/256.63	c  244s |      18 |   426689 |   360752 |   119062      3 |    13156 |        0
258.56/258.64	c  246s |      18 |   431612 |   364752 |   119062      3 |    13156 |        0
260.55/260.66	c  248s |      18 |   436423 |   368352 |   119062      3 |    13156 |        0
262.55/262.67	c  250s |      18 |   439890 |   371352 |   119062      3 |    13156 |        0
264.55/264.68	c  252s |      18 |   443285 |   374452 |   119062      3 |    13156 |        0
266.65/266.72	c  254s |      18 |   446342 |   377252 |   119062      3 |    13156 |        0
268.65/268.74	c  256s |      18 |   449376 |   379952 |   119062      3 |    13156 |        0
270.66/270.76	c  258s |      18 |   452120 |   382352 |   119062      3 |    13156 |        0
272.76/272.85	c  260s |      18 |   454691 |   384652 |   119062      3 |    13156 |        0
274.85/274.91	c  262s |      18 |   456962 |   386752 |   119062      3 |    13156 |        0
276.95/277.05	c  264s |      18 |   459312 |   388952 |   119062      3 |    13156 |        0
279.05/279.14	c  266s |      18 |   461505 |   390852 |   119062      3 |    13156 |        0
281.05/281.14	c  268s |      18 |   465312 |   392652 |   119062      3 |    13161 |        0
283.55/283.69	c  271s |      18 |   469483 |   395952 |   119062      3 |    13170 |        0
298.15/298.24	c  285s |      18 |   472480 |   398852 |   119062      3 |    13176 |        0
303.24/303.34	c  290s |      18 |   472654 |   398952 |   119062      3 |    13176 |        0
316.34/316.45	c  303s |      18 |   472956 |   399052 |   119062      3 |    13176 |        0
318.34/318.45	c  305s |      18 |   477496 |   402852 |   119062      3 |    13176 |        0
320.34/320.47	c  307s |      18 |   483309 |   407552 |   119062      3 |    13176 |        0
322.35/322.47	c  309s |      18 |   486705 |   410652 |   119062      3 |    13177 |        0
324.45/324.51	c  311s |      18 |   489828 |   413352 |   119062      3 |    13177 |        0
326.44/326.54	c  314s |      18 |   492927 |   416152 |   119062      3 |    13177 |        0
328.44/328.60	c  316s |      18 |   495539 |   418652 |   119062      3 |    13178 |        0
330.54/330.66	c  318s |      18 |   498327 |   421152 |   119062      3 |    13186 |        0
332.64/332.73	c  320s |      18 |   501233 |   423652 |   119062      3 |    13186 |        0
334.64/334.73	c  322s |      18 |   503501 |   425752 |   119062      3 |    13186 |        0
336.65/336.76	c  324s |      18 |   505838 |   427952 |   119062      3 |    13186 |        0
338.64/338.80	c  326s |      18 |   508183 |   430052 |   119062      3 |    13186 |        0
340.74/340.88	c  328s |      18 |   510336 |   432052 |   119062      3 |    13186 |        0
342.84/342.95	c  330s |      18 |   512953 |   434452 |   119062      3 |    13186 |        0
344.94/345.00	c  332s |      18 |   515428 |   436652 |   119062      3 |    13186 |        0
346.94/347.05	c  334s |      18 |   517633 |   438552 |   119062      4 |    13186 |        0
348.94/349.08	c  336s |      18 |   520171 |   440552 |   119062      4 |    13186 |        0
351.14/351.22	c  338s |      18 |   522805 |   442752 |   130969      4 |    13186 |        0
353.04/353.15	c  340s |      19 |   524921 |   444482 |   130969      4 |    13186 |        0
355.14/355.23	c  342s |      19 |   526937 |   445982 |   130969      4 |    13186 |        0
357.14/357.24	c  344s |      19 |   529310 |   448082 |   130969      4 |    13186 |        0
360.04/360.15	c  347s |      19 |   532996 |   450082 |   130969      4 |    13223 |        0
362.04/362.18	c  349s |      19 |   537701 |   453782 |   130969      4 |    13223 |        0
364.14/364.24	c  351s |      19 |   541383 |   456782 |   130969      4 |    13223 |        0
366.13/366.25	c  353s |      19 |   545091 |   459782 |   130969      4 |    13223 |        0
368.23/368.30	c  355s |      19 |   548953 |   462982 |   130969      4 |    13223 |        0
370.23/370.31	c  357s |      19 |   551752 |   465182 |   130969      4 |    13223 |        0
372.23/372.35	c  359s |      19 |   554373 |   467582 |   130969      4 |    13223 |        0
374.33/374.44	c  361s |      19 |   557378 |   469782 |   130969      4 |    13223 |        0
376.43/376.51	c  363s |      19 |   560226 |   471882 |   130969      4 |    13223 |        0
378.44/378.53	c  366s |      19 |   562365 |   473182 |   130969      4 |    13229 |        0
382.84/382.93	c  370s |      19 |   562712 |   473482 |   130969      4 |    13229 |        0
384.83/384.96	c  372s |      19 |   569993 |   479482 |   130969      4 |    13229 |        0
387.24/387.33	c  374s |      19 |   575157 |   483582 |   130969      4 |    13229 |        0
389.23/389.38	c  376s |      19 |   579197 |   487082 |   130969      4 |    13229 |        0
391.23/391.39	c  378s |      19 |   582139 |   489882 |   130969      4 |    13229 |        0
393.33/393.40	c  380s |      19 |   585709 |   492682 |   130969      4 |    13229 |        0
395.33/395.47	c  382s |      19 |   589665 |   495782 |   130969      4 |    13229 |        0
397.43/397.51	c  384s |      19 |   593055 |   498582 |   130969      4 |    13229 |        0
399.43/399.56	c  387s |      19 |   595928 |   500982 |   130969      4 |    13229 |        0
401.54/401.61	c  389s |      19 |   598911 |   503682 |   130969      4 |    13229 |        0
403.53/403.66	c  391s |      19 |   602163 |   506382 |   130969      4 |    13229 |        0
405.63/405.71	c  393s |      19 |   605007 |   508982 |   130969      4 |    13229 |        0
407.63/407.77	c  395s |      19 |   609633 |   512782 |   130969      4 |    13229 |        0
409.73/409.87	c  397s |      19 |   612590 |   515282 |   130969      4 |    13229 |        0
411.83/411.92	c  399s |      19 |   614984 |   517482 |   130969      4 |    13229 |        0
413.83/413.95	c  401s |      19 |   617689 |   519782 |   130969      4 |    13229 |        0
415.93/416.00	c  403s |      19 |   620056 |   521782 |   130969      4 |    13229 |        0
418.03/418.11	c  405s |      19 |   622140 |   523682 |   130969      4 |    13229 |        0
420.03/420.18	c  407s |      19 |   624152 |   525482 |   130969      4 |    13229 |        0
422.03/422.19	c  409s |      19 |   626425 |   527482 |   130969      4 |    13229 |        0
424.13/424.28	c  411s |      19 |   628592 |   529482 |   130969      4 |    13229 |        0
426.13/426.30	c  413s |      19 |   630613 |   531382 |   130969      5 |    13229 |        0
428.22/428.36	c  415s |      19 |   632582 |   532982 |   130969      5 |    13229 |        0
430.32/430.42	c  417s |      19 |   634455 |   534582 |   130969      5 |    13229 |        0
432.33/432.45	c  419s |      19 |   636308 |   536182 |   130969      5 |    13229 |        0
434.43/434.51	c  421s |      19 |   638278 |   537982 |   130969      5 |    13229 |        0
436.52/436.60	c  424s |      19 |   640107 |   539582 |   130969      5 |    13229 |        0
438.52/438.69	c  426s |      19 |   641526 |   540882 |   130969      5 |    13229 |        0
440.62/440.76	c  428s |      19 |   642932 |   542082 |   130969      5 |    13229 |        0
442.72/442.80	c  430s |      19 |   644508 |   543582 |   130969      5 |    13229 |        0
444.82/444.93	c  432s |      19 |   646189 |   544882 |   130969      5 |    13229 |        0
446.92/447.02	c  434s |      19 |   647416 |   545982 |   130969      5 |    13229 |        0
448.92/449.08	c  436s |      19 |   648625 |   547082 |   130969      5 |    13229 |        0
450.93/451.09	c  438s |      19 |   649617 |   547982 |   130969      5 |    13229 |        0
453.02/453.18	c  440s |      19 |   650743 |   548982 |   130969      5 |    13229 |        0
455.22/455.32	c  442s |      19 |   651833 |   549982 |   130969      5 |    13229 |        0
457.32/457.48	c  444s |      19 |   653062 |   551082 |   130969      5 |    13229 |        0
459.52/459.60	c  447s |      19 |   654408 |   552182 |   130969      5 |    13229 |        0
461.62/461.70	c  449s |      19 |   655773 |   553382 |   130969      5 |    13229 |        0
463.72/463.81	c  451s |      19 |   657258 |   554582 |   130969      5 |    13229 |        0
465.82/465.96	c  453s |      19 |   658674 |   555782 |   130969      5 |    13229 |        0
467.92/468.06	c  455s |      19 |   659559 |   556582 |   130969      5 |    13229 |        0
470.02/470.19	c  457s |      19 |   660695 |   557582 |   130969      5 |    13229 |        0
472.22/472.36	c  459s |      19 |   661996 |   558682 |   130969      5 |    13229 |        0
474.32/474.47	c  461s |      19 |   663295 |   559782 |   130969      5 |    13229 |        0
476.32/476.49	c  463s |      19 |   666574 |   562582 |   130969      5 |    13229 |        0
478.32/478.50	c  465s |      19 |   670031 |   565482 |   130969      5 |    13229 |        0
480.42/480.55	c  468s |      19 |   672727 |   567782 |   130969      5 |    13229 |        0
482.61/482.71	c  470s |      19 |   675797 |   570382 |   130969      5 |    13229 |        0
484.61/484.71	c  472s |      19 |   676769 |   571182 |   130969      5 |    13229 |        0
486.61/486.73	c  474s |      19 |   677379 |   571682 |   130969      5 |    13229 |        0
488.81/488.90	c  476s |      19 |   678288 |   572382 |   130969      5 |    13229 |        0
490.91/491.04	c  478s |      19 |   679195 |   573182 |   130969      5 |    13229 |        0
492.91/493.07	c  480s |      19 |   680343 |   574082 |   130969      5 |    13229 |        0
495.11/495.29	c  482s |      19 |   681375 |   574982 |   130969      5 |    13229 |        0
497.22/497.37	c  484s |      19 |   683085 |   576382 |   130969      5 |    13229 |        0
499.32/499.42	c  486s |      19 |   687068 |   579982 |   130969      5 |    13229 |        0
501.31/501.43	c  488s |      19 |   690732 |   583282 |   130969      5 |    13229 |        0
503.31/503.45	c  490s |      19 |   693407 |   585682 |   130969      5 |    13229 |        0
505.51/505.68	c  493s |      19 |   695263 |   587382 |   130969      5 |    13229 |        0
507.71/507.86	c  495s |      19 |   696246 |   588282 |   130969      5 |    13229 |        0
509.81/509.98	c  497s |      19 |   697117 |   589082 |   130969      5 |    13229 |        0
512.01/512.11	c  499s |      19 |   698082 |   589882 |   130969      5 |    13229 |        0
514.11/514.27	c  501s |      19 |   699090 |   590782 |   130969      5 |    13229 |        0
516.31/516.46	c  503s |      19 |   700265 |   591682 |   130969      5 |    13229 |        0
518.41/518.59	c  506s |      19 |   701624 |   592882 |   130969      5 |    13229 |        0
520.51/520.64	c  508s |      19 |   703139 |   594182 |   130969      5 |    13229 |        0
522.61/522.77	c  510s |      19 |   704241 |   595082 |   130969      5 |    13229 |        0
524.81/524.91	c  512s |      19 |   705087 |   595882 |   130969      5 |    13229 |        0
526.81/526.97	c  514s |      19 |   705979 |   596682 |   130969      5 |    13229 |        0
528.91/529.09	c  516s |      19 |   706769 |   597382 |   130969      5 |    13229 |        0
531.01/531.14	c  518s |      19 |   707896 |   598282 |   130969      5 |    13229 |        0
533.21/533.37	c  520s |      19 |   709046 |   599182 |   130969      5 |    13229 |        0
535.31/535.43	c  522s |      19 |   710133 |   599982 |   130969      5 |    13229 |        0
537.31/537.47	c  524s |      19 |   711501 |   601082 |   130969      5 |    13229 |        0
539.41/539.60	c  527s |      19 |   712331 |   601782 |   130969      5 |    13229 |        0
541.71/541.86	c  529s |      19 |   713252 |   602582 |   130969      5 |    13229 |        0
545.80/545.93	c  533s |      19 |   714184 |   603382 |   130969      6 |    13229 |        0
548.92/549.07	c  536s |      19 |   714413 |   603582 |   130969      6 |    13229 |        0
551.01/551.17	c  538s |      19 |   715977 |   604982 |   130969      6 |    13229 |        0
553.11/553.20	c  540s |      19 |   717775 |   606582 |   130969      6 |    13229 |        0
556.80/556.99	c  544s |      19 |   719122 |   607782 |   130969      6 |    13229 |        0
558.90/559.04	c  546s |      19 |   720809 |   609182 |   130969      6 |    13229 |        0
560.91/561.09	c  548s |      19 |   722409 |   610582 |   130969      6 |    13229 |        0
563.00/563.20	c  550s |      19 |   724114 |   612082 |   130969      6 |    13229 |        0
565.10/565.27	c  552s |      19 |   725887 |   613582 |   130969      6 |    13229 |        0
567.10/567.29	c  554s |      19 |   727404 |   614982 |   130969      6 |    13229 |        0
569.20/569.31	c  556s |      19 |   728985 |   616382 |   130969      6 |    13229 |        0
571.20/571.38	c  558s |      19 |   730554 |   617782 |   130969      6 |    13229 |        0
573.30/573.49	c  560s |      19 |   732112 |   619182 |   130969      6 |    13229 |        0
575.40/575.55	c  563s |      19 |   733521 |   620482 |   130969      6 |    13229 |        0
577.51/577.64	c  565s |      19 |   734907 |   621782 |   130969      6 |    13229 |        0
579.61/579.74	c  567s |      19 |   736225 |   622882 |   130969      6 |    13229 |        0
581.70/581.81	c  569s |      19 |   737471 |   623982 |   130969      6 |    13229 |        0
583.70/583.85	c  571s |      19 |   738699 |   625082 |   130969      6 |    13229 |        0
585.80/585.98	c  573s |      19 |   740037 |   626282 |   130969      6 |    13229 |        0
603.49/603.63	c  591s |      19 |   740963 |   627082 |   130969      6 |    13229 |        0
605.79/605.98	c  593s |      19 |   741608 |   627582 |   130969      6 |    13229 |        0
607.89/608.01	c  595s |      19 |   742716 |   628482 |   130969      6 |    13229 |        0
609.99/610.16	c  597s |      19 |   743853 |   629482 |   130969      6 |    13229 |        0
612.09/612.24	c  599s |      19 |   745167 |   630582 |   130969      6 |    13229 |        0
614.09/614.24	c  601s |      19 |   746359 |   631582 |   130969      6 |    13229 |        0
616.29/616.42	c  603s |      19 |   747539 |   632582 |   130969      6 |    13229 |        0
618.29/618.49	c  605s |      19 |   748713 |   633582 |   130969      6 |    13229 |        0
620.40/620.57	c  608s |      19 |   749978 |   634682 |   130969      6 |    13229 |        0
623.30/623.45	c  610s |      19 |   750205 |   634882 |   130969      6 |    13229 |        0
625.30/625.46	c  612s |      19 |   751139 |   635682 |   130969      6 |    13229 |        0
627.39/627.55	c  615s |      19 |   752259 |   636582 |   130969      6 |    13229 |        0
629.59/629.75	c  617s |      19 |   753385 |   637582 |   130969      6 |    13229 |        0
631.59/631.79	c  619s |      19 |   754397 |   638482 |   130969      6 |    13229 |        0
633.79/633.96	c  621s |      19 |   755627 |   639582 |   130969      6 |    13229 |        0
635.89/636.00	c  623s |      19 |   756567 |   640382 |   130969      6 |    13229 |        0
637.90/638.06	c  625s |      19 |   757534 |   641182 |   130969      6 |    13229 |        0
639.99/640.13	c  627s |      19 |   758498 |   641982 |   130969      6 |    13229 |        0
642.09/642.25	c  629s |      19 |   759665 |   642882 |   130969      6 |    13229 |        0
644.19/644.30	c  631s |      19 |   760754 |   643782 |   130969      6 |    13229 |        0
646.29/646.43	c  633s |      19 |   761887 |   644782 |   130969      6 |    13229 |        0
648.49/648.65	c  636s |      19 |   763098 |   645782 |   130969      6 |    13229 |        0
650.69/650.87	c  638s |      19 |   764264 |   646782 |   130969      6 |    13229 |        0
652.89/653.01	c  640s |      19 |   765377 |   647782 |   130969      6 |    13229 |        0
655.09/655.27	c  642s |      19 |   766479 |   648782 |   130969      6 |    13229 |        0
657.19/657.36	c  644s |      19 |   767404 |   649582 |   130969      6 |    13229 |        0
659.39/659.52	c  647s |      19 |   768443 |   650482 |   130969      6 |    13229 |        0
661.49/661.69	c  649s |      19 |   769340 |   651282 |   130969      6 |    13229 |        0
663.79/663.94	c  651s |      19 |   770260 |   652082 |   130969      6 |    13229 |        0
665.79/665.99	c  653s |      19 |   771223 |   652882 |   130969      6 |    13229 |        0
667.89/668.02	c  655s |      19 |   772131 |   653682 |   130969      6 |    13229 |        0
669.99/670.11	c  657s |      19 |   773021 |   654482 |   130969      6 |    13229 |        0
671.99/672.12	c  659s |      19 |   773727 |   655082 |   130969      6 |    13229 |        0
674.19/674.36	c  661s |      19 |   774860 |   655982 |   130969      6 |    13229 |        0
676.39/676.56	c  664s |      19 |   775980 |   656882 |   130969      6 |    13229 |        0
678.48/678.65	c  666s |      19 |   776887 |   657682 |   130969      6 |    13229 |        0
680.58/680.72	c  668s |      19 |   777986 |   658682 |   130969      6 |    13229 |        0
682.68/682.89	c  670s |      19 |   779224 |   659682 |   130969      6 |    13229 |        0
684.88/685.00	c  672s |      19 |   780227 |   660482 |   130969      6 |    13229 |        0
686.98/687.13	c  674s |      19 |   781428 |   661482 |   130969      6 |    13229 |        0
688.98/689.15	c  676s |      19 |   782335 |   662282 |   144066      6 |    13229 |        0
691.08/691.26	c  678s |      19 |   783399 |   663182 |   144066      6 |    13229 |        0
693.28/693.47	c  680s |      19 |   784615 |   664182 |   144066      6 |    13229 |        0
695.48/695.65	c  683s |      19 |   785431 |   664882 |   144066      6 |    13229 |        0
697.58/697.79	c  685s |      19 |   786564 |   665782 |   144066      6 |    13229 |        0
699.68/699.80	c  687s |      19 |   787795 |   666782 |   144066      6 |    13229 |        0
699.88/700.00	c  687s |      20 |   787853 |   666827 |   144066      6 |    13229 |        0
702.08/702.24	c  689s |      20 |   788487 |   667327 |   144066      6 |    13229 |        0
704.28/704.40	c  691s |      20 |   789264 |   667927 |   144066      6 |    13229 |        0
706.38/706.54	c  694s |      20 |   790006 |   668527 |   144066      6 |    13229 |        0
708.68/708.80	c  696s |      20 |   790704 |   669127 |   144066      6 |    13230 |        0
710.78/710.92	c  698s |      20 |   791392 |   669727 |   144066      6 |    13230 |        0
712.98/713.17	c  700s |      20 |   792078 |   670327 |   144066      6 |    13230 |        0
714.98/715.18	c  702s |      20 |   792778 |   670927 |   144066      6 |    13230 |        0
717.18/717.36	c  704s |      20 |   793521 |   671527 |   144066      6 |    13230 |        0
719.28/719.42	c  706s |      20 |   794190 |   672127 |   144066      6 |    13230 |        0
721.48/721.70	c  709s |      20 |   794975 |   672827 |   144066      6 |    13230 |        0
723.58/723.79	c  711s |      20 |   795611 |   673427 |   144066      6 |    13230 |        0
725.77/725.95	c  713s |      20 |   796301 |   674027 |   144066      6 |    13232 |        0
727.87/728.06	c  715s |      20 |   797229 |   674827 |   144066      6 |    13232 |        0
729.97/730.11	c  717s |      20 |   797917 |   675427 |   144066      6 |    13232 |        0
732.17/732.36	c  719s |      20 |   798778 |   676127 |   144066      6 |    13232 |        0
734.37/734.51	c  721s |      20 |   799452 |   676727 |   144066      6 |    13232 |        0
736.57/736.75	c  724s |      20 |   800178 |   677327 |   144066      6 |    13232 |        0
738.87/739.05	c  726s |      20 |   800862 |   677927 |   144066      6 |    13232 |        0
741.07/741.22	c  728s |      20 |   801671 |   678627 |   144066      6 |    13232 |        0
743.27/743.45	c  730s |      20 |   802474 |   679327 |   144066      6 |    13232 |        0
745.47/745.65	c  733s |      20 |   803168 |   679927 |   144066      6 |    13232 |        0
747.77/747.93	c  735s |      20 |   803840 |   680527 |   144066      6 |    13232 |        0
750.08/750.22	c  737s |      20 |   804538 |   681127 |   144066      6 |    13232 |        0
752.07/752.24	c  739s |      20 |   805455 |   681827 |   144066      6 |    13232 |        0
754.37/754.55	c  742s |      20 |   806251 |   682527 |   144066      6 |    13232 |        0
756.47/756.68	c  744s |      20 |   806843 |   683027 |   144066      6 |    13232 |        0
758.98/759.12	c  746s |      20 |   807584 |   683627 |   144066      6 |    13232 |        0
761.18/761.32	c  748s |      20 |   808257 |   684227 |   144066      6 |    13232 |        0
763.38/763.54	c  751s |      20 |   808947 |   684827 |   144066      6 |    13232 |        0
765.47/765.70	c  753s |      20 |   809639 |   685427 |   144066      6 |    13232 |        0
767.67/767.83	c  755s |      20 |   810344 |   686027 |   144066      6 |    13232 |        0
769.87/770.09	c  757s |      20 |   811021 |   686627 |   144066      6 |    13232 |        0
771.87/772.09	c  759s |      20 |   811576 |   687127 |   144066      6 |    13232 |        0
774.27/774.42	c  761s |      20 |   812225 |   687727 |   144066      6 |    13232 |        0
776.57/776.79	c  764s |      20 |   812921 |   688327 |   144066      6 |    13232 |        0
783.47/783.60	c  771s |      20 |   813350 |   688627 |   144066      7 |    13232 |        0
789.37/789.59	c  777s |      20 |   813766 |   688927 |   144066      7 |    13232 |        0
792.47/792.66	c  780s |      20 |   814844 |   689827 |   144066      7 |    13232 |        0
794.67/794.86	c  782s |      20 |   816082 |   690927 |   144066      7 |    13232 |        0
814.97/815.15	c  802s |      20 |   816890 |   691527 |   144066      7 |    13232 |        0
817.07/817.30	c  804s |      20 |   817400 |   691927 |   144066      7 |    13232 |        0
822.77/822.92	c  810s |      20 |   817525 |   692027 |   144066      7 |    13232 |        0
824.76/824.98	c  812s |      20 |   818717 |   693027 |   144066      7 |    13232 |        0
827.07/827.24	c  814s |      20 |   820007 |   694027 |   144066      7 |    13232 |        0
829.27/829.49	c  816s |      20 |   821364 |   695127 |   144066      7 |    13232 |        0
831.46/831.64	c  819s |      20 |   822515 |   696127 |   144066      7 |    13232 |        0
833.56/833.70	c  821s |      20 |   823620 |   697027 |   144066      7 |    13232 |        0
835.56/835.71	c  823s |      20 |   824753 |   698027 |   144066      7 |    13232 |        0
837.76/837.93	c  825s |      20 |   826073 |   699127 |   144066      7 |    13232 |        0
839.86/840.05	c  827s |      20 |   827331 |   700227 |   144066      7 |    13232 |        0
841.96/842.16	c  829s |      20 |   828718 |   701427 |   144066      7 |    13232 |        0
844.16/844.31	c  831s |      20 |   830025 |   702527 |   144066      7 |    13232 |        0
846.26/846.47	c  833s |      20 |   831206 |   703527 |   144066      7 |    13232 |        0
848.46/848.65	c  836s |      20 |   832590 |   704627 |   144066      7 |    13232 |        0
850.65/850.80	c  838s |      20 |   833823 |   705727 |   144066      7 |    13232 |        0
852.65/852.85	c  840s |      20 |   836172 |   707727 |   144066      7 |    13232 |        0
854.75/854.96	c  842s |      20 |   837526 |   708927 |   144066      7 |    13232 |        0
856.86/857.09	c  844s |      20 |   838662 |   709827 |   144066      7 |    13232 |        0
925.65/925.87	c  913s |      20 |   839965 |   711027 |   144066      7 |    13232 |        0
928.05/928.20	c  915s |      20 |   840983 |   711827 |   144066      7 |    13232 |        0
930.05/930.22	c  917s |      20 |   841614 |   712327 |   144066      7 |    13232 |        0
932.15/932.31	c  919s |      20 |   843332 |   713627 |   144066      7 |    13232 |        0
934.15/934.36	c  921s |      20 |   847524 |   717127 |   144066      7 |    13232 |        0
936.24/936.47	c  923s |      20 |   848960 |   718327 |   144066      7 |    13232 |        0
938.25/938.48	c  925s |      20 |   849913 |   719127 |   144066      7 |    13232 |        0
940.35/940.55	c  928s |      20 |   850809 |   719927 |   144066      7 |    13232 |        0
942.55/942.71	c  930s |      20 |   851689 |   720727 |   144066      7 |    13232 |        0
944.75/944.92	c  932s |      20 |   852565 |   721427 |   144066      7 |    13232 |        0
946.95/947.12	c  934s |      20 |   853733 |   722327 |   144066      7 |    13232 |        0
949.15/949.36	c  936s |      20 |   854534 |   723027 |   144066      7 |    13232 |        0
951.24/951.43	c  938s |      20 |   855266 |   723627 |   144066      7 |    13232 |        0
953.44/953.68	c  941s |      20 |   856081 |   724327 |   144066      7 |    13232 |        0
955.64/955.87	c  943s |      20 |   857038 |   724927 |   144066      7 |    13232 |        0
957.95/958.12	c  945s |      20 |   857915 |   725627 |   144066      7 |    13232 |        0
960.15/960.31	c  947s |      20 |   858781 |   726427 |   144066      7 |    13232 |        0
962.24/962.44	c  949s |      20 |   859671 |   727127 |   144066      7 |    13232 |        0
964.24/964.48	c  951s |      20 |   860597 |   727927 |   144066      7 |    13232 |        0
966.24/966.49	c  953s |      20 |   861584 |   728727 |   144066      7 |    13232 |        0
968.54/968.75	c  956s |      20 |   862437 |   729427 |   144066      7 |    13232 |        0
970.64/970.85	c  958s |      20 |   863102 |   730027 |   144066      7 |    13232 |        0
972.74/972.91	c  960s |      20 |   863954 |   730727 |   144066      7 |    13232 |        0
974.94/975.18	c  962s |      20 |   864781 |   731427 |   144066      7 |    13232 |        0
977.14/977.37	c  964s |      20 |   865746 |   732227 |   144066      7 |    13232 |        0
979.24/979.48	c  966s |      20 |   867050 |   733427 |   144066      7 |    13232 |        0
981.44/981.60	c  969s |      20 |   868586 |   734727 |   144066      7 |    13232 |        0
983.74/983.90	c  971s |      20 |   870001 |   735827 |   144066      7 |    13232 |        0
985.94/986.12	c  973s |      20 |   870844 |   736527 |   144066      7 |    13232 |        0
988.04/988.23	c  975s |      20 |   871648 |   737227 |   144066      7 |    13232 |        0
990.24/990.48	c  977s |      20 |   872456 |   737927 |   144066      7 |    13232 |        0
992.34/992.50	c  979s |      20 |   873254 |   738627 |   144066      7 |    13232 |        0
994.54/994.74	c  982s |      20 |   874022 |   739327 |   144066      7 |    13232 |        0
996.54/996.75	c  984s |      20 |   874688 |   739927 |   144066      7 |    13232 |        0
998.84/999.08	c  986s |      20 |   875353 |   740527 |   144066      7 |    13232 |        0
1001.03/1001.26	c  988s |      20 |   876238 |   741227 |   144066      7 |    13232 |        0
1003.43/1003.61	c  991s |      20 |   877144 |   741927 |   144066      7 |    13232 |        0
1005.63/1005.81	c  993s |      20 |   877866 |   742527 |   144066      7 |    13232 |        0
1007.73/1007.93	c  995s |      20 |   878696 |   743227 |   144066      7 |    13232 |        0
1009.93/1010.13	c  997s |      20 |   879469 |   743827 |   144066      7 |    13232 |        0
1012.23/1012.43	c  999s |      20 |   880340 |   744527 |   144066      7 |    13232 |        0
1014.33/1014.51	c 1001s |      20 |   881226 |   745227 |   144066      7 |    13232 |        0
1016.43/1016.65	c 1004s |      20 |   882091 |   745927 |   144066      7 |    13232 |        0
1018.83/1019.00	c 1006s |      20 |   882736 |   746527 |   144066      7 |    13232 |        0
1020.83/1021.06	c 1008s |      20 |   883380 |   747127 |   144066      7 |    13232 |        0
1023.13/1023.30	c 1010s |      20 |   884026 |   747727 |   144066      7 |    13232 |        0
1025.23/1025.46	c 1012s |      20 |   884563 |   748227 |   144066      7 |    13232 |        0
1027.33/1027.56	c 1015s |      20 |   885266 |   748827 |   144066      7 |    13232 |        0
1029.63/1029.81	c 1017s |      20 |   885955 |   749427 |   144066      7 |    13232 |        0
1031.73/1031.97	c 1019s |      20 |   886606 |   750027 |   144066      7 |    13232 |        0
1033.83/1034.01	c 1021s |      20 |   887330 |   750627 |   144066      7 |    13232 |        0
1035.82/1036.09	c 1023s |      20 |   888041 |   751227 |   144066      7 |    13232 |        0
1037.82/1038.09	c 1025s |      20 |   888632 |   751727 |   144066      7 |    13232 |        0
1040.02/1040.27	c 1027s |      20 |   889647 |   752527 |   144066      7 |    13232 |        0
1042.12/1042.30	c 1029s |      20 |   890147 |   752927 |   144066      7 |    13232 |        0
1044.32/1044.59	c 1032s |      20 |   890921 |   753527 |   144066      7 |    13232 |        0
1046.72/1046.93	c 1034s |      20 |   891841 |   754227 |   144066      7 |    13232 |        0
1048.72/1048.98	c 1036s |      20 |   892553 |   754827 |   144066      7 |    13232 |        0
1050.92/1051.10	c 1038s |      20 |   893278 |   755427 |   144066      7 |    13232 |        0
1052.92/1053.13	c 1040s |      20 |   893887 |   755927 |   144066      7 |    13232 |        0
1055.32/1055.53	c 1043s |      20 |   894467 |   756427 |   144066      7 |    13232 |        0
1057.32/1057.58	c 1045s |      20 |   895064 |   756927 |   144066      7 |    13232 |        0
1059.52/1059.73	c 1047s |      20 |   895766 |   757527 |   144066      7 |    13232 |        0
1061.62/1061.84	c 1049s |      20 |   896402 |   758027 |   144066      7 |    13232 |        0
1063.72/1063.98	c 1051s |      20 |   897004 |   758527 |   144066      7 |    13232 |        0
1065.92/1066.13	c 1053s |      20 |   897628 |   759027 |   144066      7 |    13232 |        0
1068.02/1068.23	c 1055s |      20 |   898211 |   759527 |   144066      7 |    13232 |        0
1070.02/1070.28	c 1057s |      20 |   898800 |   760027 |   144066      7 |    13232 |        0
1072.32/1072.52	c 1060s |      20 |   899402 |   760527 |   144066      7 |    13232 |        0
1074.41/1074.70	c 1062s |      20 |   899997 |   761027 |   144066      7 |    13232 |        0
1076.61/1076.81	c 1064s |      20 |   900549 |   761527 |   144066      7 |    13232 |        0
1078.92/1079.17	c 1066s |      20 |   901225 |   762127 |   144066      7 |    13232 |        0
1081.22/1081.49	c 1068s |      20 |   901799 |   762627 |   144066      7 |    13232 |        0
1083.51/1083.70	c 1071s |      20 |   902330 |   763127 |   144066      7 |    13232 |        0
1085.51/1085.73	c 1073s |      20 |   902939 |   763627 |   144066      7 |    13232 |        0
1087.91/1088.12	c 1075s |      20 |   903530 |   764127 |   144066      7 |    13232 |        0
1090.21/1090.41	c 1077s |      20 |   904258 |   764727 |   144066      7 |    13232 |        0
1092.41/1092.63	c 1080s |      20 |   905002 |   765327 |   144066      7 |    13232 |        0
1094.60/1094.84	c 1082s |      20 |   905608 |   765827 |   144066      7 |    13232 |        0
1096.70/1096.96	c 1084s |      20 |   906235 |   766327 |   144066      7 |    13232 |        0
1098.90/1099.15	c 1086s |      20 |   906972 |   766927 |   144066      7 |    13232 |        0
1114.20/1114.48	c 1101s |      20 |   907537 |   767427 |   144066      8 |    13232 |        0
1116.49/1116.74	c 1104s |      20 |   907856 |   767727 |   144066      8 |    13232 |        0
1120.80/1121.03	c 1108s |      20 |   908141 |   767927 |   144066      8 |    13232 |        0
1122.90/1123.11	c 1110s |      20 |   910011 |   769427 |   144066      8 |    13232 |        0
1126.09/1126.34	c 1113s |      20 |   910170 |   769527 |   144066      8 |    13232 |        0
1129.79/1130.09	c 1117s |      20 |   910598 |   769927 |   144066      8 |    13232 |        0
1131.99/1132.23	c 1119s |      20 |   911845 |   771027 |   144066      8 |    13232 |        0
1134.09/1134.37	c 1121s |      20 |   913226 |   772227 |   144066      8 |    13232 |        0
1136.09/1136.38	c 1123s |      20 |   914454 |   773327 |   144066      8 |    13232 |        0
1138.19/1138.45	c 1125s |      20 |   915881 |   774527 |   144066      8 |    13232 |        0
1140.19/1140.47	c 1127s |      20 |   917142 |   775627 |   144066      8 |    13232 |        0
1142.29/1142.54	c 1130s |      20 |   918388 |   776727 |   144066      8 |    13232 |        0
1144.39/1144.67	c 1132s |      20 |   919810 |   777827 |   144066      8 |    13232 |        0
1146.58/1146.81	c 1134s |      20 |   921034 |   778927 |   144066      8 |    13232 |        0
1148.78/1149.03	c 1136s |      20 |   922253 |   780027 |   144066      8 |    13232 |        0
1150.88/1151.10	c 1138s |      20 |   923371 |   781027 |   144066      8 |    13232 |        0
1152.88/1153.10	c 1140s |      20 |   924494 |   782027 |   144066      8 |    13232 |        0
1154.89/1155.19	c 1142s |      20 |   925585 |   783027 |   144066      8 |    13232 |        0
1157.09/1157.34	c 1144s |      20 |   926852 |   784127 |   144066      8 |    13232 |        0
1159.08/1159.37	c 1146s |      20 |   927982 |   785127 |   144066      8 |    13232 |        0
1163.88/1164.19	c 1151s |      20 |   928775 |   785827 |   144066      8 |    13232 |        0
1165.98/1166.23	c 1153s |      20 |   929769 |   786727 |   144066      8 |    13232 |        0
1167.98/1168.28	c 1155s |      20 |   930801 |   787627 |   144066      8 |    13232 |        0
1170.18/1170.44	c 1157s |      20 |   931840 |   788527 |   144066      8 |    13232 |        0
1172.17/1172.48	c 1159s |      20 |   932744 |   789327 |   144066      8 |    13232 |        0
1174.47/1174.73	c 1162s |      20 |   933600 |   790127 |   144066      8 |    13232 |        0
1176.57/1176.90	c 1164s |      20 |   934488 |   790927 |   144066      8 |    13232 |        0
1178.77/1179.04	c 1166s |      20 |   935357 |   791727 |   144066      8 |    13232 |        0
1180.87/1181.13	c 1168s |      20 |   936259 |   792427 |   144066      8 |    13232 |        0
1182.87/1183.18	c 1170s |      20 |   937194 |   793227 |   144066      8 |    13232 |        0
1185.07/1185.36	c 1172s |      20 |   938112 |   794027 |   144066      8 |    13232 |        0
1187.17/1187.43	c 1174s |      20 |   939197 |   794927 |   144066      8 |    13232 |        0
1189.37/1189.62	c 1177s |      20 |   940068 |   795727 |   144066      8 |    13232 |        0
1191.47/1191.77	c 1179s |      20 |   940960 |   796527 |   144066      8 |    13232 |        0
1193.66/1193.95	c 1181s |      20 |   941881 |   797327 |   144066      8 |    13232 |        0
1195.86/1196.19	c 1183s |      20 |   942936 |   798227 |   144066      8 |    13232 |        0
1197.86/1198.19	c 1185s |      20 |   943847 |   799027 |   144066      8 |    13232 |        0
1200.16/1200.43	c 1187s |      20 |   944761 |   799827 |   144066      8 |    13232 |        0
1202.36/1202.69	c 1190s |      20 |   945696 |   800627 |   144066      8 |    13232 |        0
1204.56/1204.81	c 1192s |      20 |   946465 |   801327 |   144066      8 |    13232 |        0
1206.76/1207.01	c 1194s |      20 |   947372 |   802127 |   144066      8 |    13232 |        0
1208.86/1209.12	c 1196s |      20 |   948167 |   802827 |   144066      8 |    13232 |        0
1210.87/1211.18	c 1198s |      20 |   948987 |   803527 |   144066      8 |    13232 |        0
1213.07/1213.32	c 1200s |      20 |   950020 |   804427 |   144066      8 |    13232 |        0
1215.06/1215.38	c 1202s |      20 |   951373 |   805627 |   144066      8 |    13232 |        0
1217.06/1217.38	c 1204s |      20 |   952829 |   806927 |   144066      8 |    13232 |        0
1219.26/1219.57	c 1207s |      20 |   953869 |   807827 |   144066      8 |    13232 |        0
1221.46/1221.71	c 1209s |      20 |   955822 |   809527 |   144066      8 |    13232 |        0
1223.46/1223.75	c 1211s |      20 |   957292 |   810827 |   144066      8 |    13232 |        0
1225.46/1225.78	c 1213s |      20 |   958676 |   812027 |   144066      8 |    13232 |        0
1227.56/1227.89	c 1215s |      20 |   960171 |   813427 |   144066      8 |    13232 |        0
1229.66/1229.94	c 1217s |      20 |   961788 |   814927 |   144066      8 |    13232 |        0
1231.76/1232.09	c 1219s |      20 |   963019 |   816127 |   144066      8 |    13232 |        0
1233.85/1234.17	c 1221s |      20 |   964569 |   817527 |   144066      8 |    13232 |        0
1236.05/1236.34	c 1223s |      20 |   966530 |   819327 |   144066      8 |    13232 |        0
1238.15/1238.42	c 1225s |      20 |   967665 |   820327 |   144066      8 |    13232 |        0
1240.15/1240.45	c 1227s |      20 |   968693 |   821227 |   144066      8 |    13232 |        0
1242.45/1242.71	c 1230s |      20 |   969715 |   822127 |   144066      8 |    13232 |        0
1244.55/1244.85	c 1232s |      20 |   970746 |   823027 |   144066      8 |    13232 |        0
1246.65/1246.95	c 1234s |      20 |   971611 |   823827 |   144066      8 |    13232 |        0
1248.65/1248.95	c 1236s |      20 |   972495 |   824627 |   144066      8 |    13232 |        0
1250.75/1251.00	c 1238s |      20 |   973417 |   825327 |   144066      8 |    13232 |        0
1253.05/1253.31	c 1240s |      20 |   974179 |   826027 |   144066      8 |    13232 |        0
1255.25/1255.51	c 1242s |      20 |   975091 |   826827 |   144066      8 |    13232 |        0
1257.44/1257.79	c 1245s |      20 |   975845 |   827527 |   144066      8 |    13232 |        0
1259.84/1260.13	c 1247s |      20 |   976619 |   828227 |   144066      8 |    13232 |        0
1262.14/1262.44	c 1249s |      20 |   977369 |   828927 |   144066      8 |    13232 |        0
1264.44/1264.73	c 1252s |      20 |   978135 |   829627 |   144066      8 |    13232 |        0
1266.64/1266.92	c 1254s |      20 |   978913 |   830327 |   144066      8 |    13232 |        0
1268.64/1268.92	c 1256s |      20 |   979565 |   830927 |   144066      8 |    13232 |        0
1270.84/1271.17	c 1258s |      20 |   980536 |   831727 |   144066      8 |    13232 |        0
1273.04/1273.30	c 1260s |      20 |   981552 |   832627 |   144066      8 |    13232 |        0
1280.64/1280.99	c 1268s |      20 |   982306 |   833227 |   144066      8 |    13232 |        0
1282.74/1283.00	c 1270s |      20 |   982929 |   833727 |   144066      8 |    13232 |        0
1284.74/1285.09	c 1272s |      20 |   983629 |   834327 |   144066      8 |    13232 |        0
1286.85/1287.13	c 1274s |      20 |   984405 |   834927 |   144066      8 |    13232 |        0
1288.84/1289.19	c 1276s |      20 |   985109 |   835527 |   144066      8 |    13232 |        0
1290.94/1291.21	c 1278s |      20 |   985946 |   836227 |   144066      8 |    13232 |        0
1293.04/1293.35	c 1280s |      20 |   986914 |   837027 |   144066      8 |    13232 |        0
1295.24/1295.58	c 1283s |      20 |   987629 |   837627 |   144066      8 |    13232 |        0
1297.44/1297.76	c 1285s |      20 |   988340 |   838227 |   144066      8 |    13232 |        0
1299.54/1299.82	c 1287s |      20 |   989061 |   838827 |   144066      8 |    13232 |        0
1301.54/1301.83	c 1289s |      20 |   989743 |   839427 |   144066      8 |    13232 |        0
1303.64/1303.99	c 1291s |      20 |   990576 |   840127 |   144066      8 |    13232 |        0
1305.74/1306.01	c 1293s |      20 |   991227 |   840727 |   144066      8 |    13232 |        0
1307.94/1308.21	c 1295s |      20 |   992130 |   841427 |   144066      8 |    13232 |        0
1310.23/1310.52	c 1298s |      20 |   992953 |   842127 |   144066      8 |    13232 |        0
1312.53/1312.89	c 1300s |      20 |   993797 |   842827 |   144066      8 |    13232 |        0
1314.83/1315.16	c 1302s |      20 |   994552 |   843427 |   144066      8 |    13232 |        0
1316.93/1317.20	c 1304s |      20 |   995377 |   844027 |   144066      8 |    13232 |        0
1319.13/1319.44	c 1306s |      20 |   996277 |   844727 |   144066      8 |    13232 |        0
1321.43/1321.75	c 1309s |      20 |   997084 |   845427 |   144066      8 |    13232 |        0
1323.43/1323.76	c 1311s |      20 |   997829 |   846027 |   144066      8 |    13232 |        0
1334.33/1334.64	c 1322s |      20 |   997939 |   846127 |   144066      9 |    13232 |        0
1336.74/1337.03	c 1324s |      20 |   998183 |   846327 |   144066      9 |    13232 |        0
1338.73/1339.09	c 1326s |      20 |   999707 |   847527 |   144066      9 |    13232 |        0
1340.93/1341.21	c 1328s |      20 |  1001450 |   849027 |   144066      9 |    13232 |        0
1345.63/1345.91	c 1333s |      20 |  1001811 |   849327 |   144066      9 |    13232 |        0
1347.63/1347.94	c 1335s |      20 |  1003323 |   850627 |   144066      9 |    13232 |        0
1349.73/1350.00	c 1337s |      20 |  1004797 |   851927 |   144066      9 |    13232 |        0
1351.93/1352.20	c 1339s |      20 |  1006383 |   853227 |   144066      9 |    13232 |        0
1358.33/1358.61	c 1346s |      20 |  1007679 |   854327 |   144066      9 |    13232 |        0
1360.33/1360.62	c 1348s |      20 |  1008479 |   854927 |   144066      9 |    13232 |        0
1362.43/1362.79	c 1350s |      20 |  1010446 |   856527 |   144066      9 |    13232 |        0
1364.52/1364.87	c 1352s |      20 |  1011968 |   857827 |   144066      9 |    13232 |        0
1366.62/1366.93	c 1354s |      20 |  1013411 |   859127 |   144066      9 |    13232 |        0
1368.72/1369.07	c 1356s |      20 |  1015248 |   860727 |   144066      9 |    13232 |        0
1370.82/1371.15	c 1358s |      20 |  1016739 |   862027 |   144066      9 |    13232 |        0
1372.92/1373.27	c 1360s |      20 |  1018277 |   863327 |   144066      9 |    13232 |        0
1374.92/1375.29	c 1362s |      20 |  1019959 |   864727 |   144066      9 |    13232 |        0
1381.92/1382.27	c 1369s |      20 |  1021744 |   866227 |   144066      9 |    13232 |        0
1384.02/1384.38	c 1371s |      20 |  1023268 |   867427 |   144066      9 |    13232 |        0
1386.12/1386.49	c 1373s |      20 |  1025065 |   869027 |   144066      9 |    13232 |        0
1388.22/1388.50	c 1375s |      20 |  1027102 |   870727 |   144066      9 |    13232 |        0
1390.23/1390.55	c 1378s |      20 |  1028811 |   872227 |   144066      9 |    13232 |        0
1392.22/1392.56	c 1380s |      20 |  1030647 |   873727 |   144066      9 |    13232 |        0
1394.32/1394.61	c 1382s |      20 |  1031801 |   874727 |   144066      9 |    13232 |        0
1396.42/1396.71	c 1384s |      20 |  1033108 |   875827 |   144066      9 |    13232 |        0
1398.42/1398.78	c 1386s |      20 |  1034548 |   877027 |   144066      9 |    13232 |        0
1400.52/1400.82	c 1388s |      20 |  1036284 |   878527 |   144066      9 |    13232 |        0
1402.62/1402.93	c 1390s |      20 |  1037557 |   879627 |   144066      9 |    13232 |        0
1404.91/1405.21	c 1392s |      20 |  1038754 |   880627 |   144066      9 |    13232 |        0
1406.91/1407.21	c 1394s |      20 |  1039671 |   881427 |   144066      9 |    13232 |        0
1409.01/1409.37	c 1396s |      20 |  1040687 |   882327 |   144066      9 |    13232 |        0
1411.21/1411.59	c 1399s |      20 |  1041879 |   883327 |   144066      9 |    13232 |        0
1413.32/1413.62	c 1401s |      20 |  1042941 |   884227 |   144066      9 |    13232 |        0
1415.51/1415.84	c 1403s |      20 |  1044026 |   885127 |   144066      9 |    13232 |        0
1417.61/1417.91	c 1405s |      20 |  1045044 |   886027 |   144066      9 |    13232 |        0
1419.71/1420.07	c 1407s |      20 |  1046245 |   887127 |   144066      9 |    13232 |        0
1421.81/1422.13	c 1409s |      20 |  1047156 |   887927 |   144066      9 |    13232 |        0
1424.00/1424.31	c 1411s |      20 |  1048432 |   889027 |   144066      9 |    13232 |        0
1426.10/1426.48	c 1413s |      20 |  1049702 |   890127 |   144066      9 |    13232 |        0
1428.30/1428.68	c 1416s |      20 |  1050815 |   891127 |   144066      9 |    13232 |        0
1430.60/1430.92	c 1418s |      20 |  1051689 |   891927 |   144066      9 |    13232 |        0
1432.80/1433.16	c 1420s |      20 |  1052569 |   892727 |   144066      9 |    13232 |        0
1434.90/1435.24	c 1422s |      20 |  1053447 |   893527 |   144066      9 |    13232 |        0
1436.90/1437.29	c 1424s |      20 |  1054570 |   894527 |   144066      9 |    13232 |        0
1439.00/1439.36	c 1426s |      20 |  1055679 |   895527 |   144066      9 |    13232 |        0
1441.20/1441.58	c 1429s |      20 |  1056721 |   896427 |   144066      9 |    13232 |        0
1443.30/1443.63	c 1431s |      20 |  1057664 |   897227 |   144066      9 |    13232 |        0
1445.40/1445.72	c 1433s |      20 |  1058720 |   898027 |   144066      9 |    13232 |        0
1447.60/1447.91	c 1435s |      20 |  1059721 |   898827 |   144066      9 |    13232 |        0
1449.80/1450.13	c 1437s |      20 |  1060713 |   899727 |   144066      9 |    13232 |        0
1451.80/1452.16	c 1439s |      20 |  1061597 |   900527 |   144066      9 |    13232 |        0
1453.90/1454.21	c 1441s |      20 |  1062585 |   901427 |   144066      9 |    13232 |        0
1455.99/1456.36	c 1443s |      20 |  1063769 |   902427 |   144066      9 |    13232 |        0
1458.19/1458.51	c 1445s |      20 |  1064983 |   903427 |   144066      9 |    13232 |        0
1460.19/1460.58	c 1448s |      20 |  1065953 |   904327 |   144066      9 |    13232 |        0
1462.39/1462.75	c 1450s |      20 |  1067029 |   905327 |   144066      9 |    13232 |        0
1464.49/1464.89	c 1452s |      20 |  1067990 |   906127 |   144066      9 |    13232 |        0
1466.69/1467.09	c 1454s |      20 |  1068839 |   906827 |   144066      9 |    13232 |        0
1468.79/1469.18	c 1456s |      20 |  1069722 |   907627 |   144066      9 |    13232 |        0
1471.09/1471.44	c 1458s |      20 |  1070778 |   908527 |   144066      9 |    13232 |        0
1473.19/1473.57	c 1461s |      20 |  1071785 |   909327 |   144066      9 |    13232 |        0
1475.48/1475.84	c 1463s |      20 |  1072680 |   910127 |   144066      9 |    13232 |        0
1477.49/1477.88	c 1465s |      20 |  1073440 |   910827 |   144066      9 |    13232 |        0
1479.59/1479.98	c 1467s |      20 |  1074327 |   911627 |   144066      9 |    13232 |        0
1481.78/1482.16	c 1469s |      20 |  1075341 |   912527 |   144066      9 |    13232 |        0
1483.78/1484.16	c 1471s |      20 |  1076414 |   913427 |   144066      9 |    13232 |        0
1485.89/1486.26	c 1473s |      20 |  1077749 |   914527 |   144066      9 |    13232 |        0
1487.99/1488.38	c 1475s |      20 |  1078765 |   915427 |   144066      9 |    13232 |        0
1490.08/1490.42	c 1477s |      20 |  1079626 |   916227 |   144066      9 |    13232 |        0
1492.28/1492.61	c 1480s |      20 |  1080847 |   917227 |   144066      9 |    13232 |        0
1494.38/1494.77	c 1482s |      20 |  1081763 |   918027 |   144066      9 |    13232 |        0
1496.38/1496.79	c 1484s |      20 |  1082696 |   918827 |   144066      9 |    13232 |        0
1498.58/1498.91	c 1486s |      20 |  1083900 |   919827 |   144066      9 |    13232 |        0
1500.58/1500.96	c 1488s |      20 |  1084843 |   920627 |   144066      9 |    13232 |        0
1502.68/1503.04	c 1490s |      20 |  1085854 |   921527 |   144066      9 |    13232 |        0
1504.77/1505.15	c 1492s |      20 |  1086917 |   922427 |   144066      9 |    13232 |        0
1506.87/1507.26	c 1494s |      20 |  1087967 |   923327 |   144066      9 |    13232 |        0
1509.27/1509.65	c 1497s |      20 |  1088641 |   923927 |   144066      9 |    13232 |        0
1511.37/1511.79	c 1499s |      20 |  1089326 |   924527 |   144066      9 |    13232 |        0
1515.77/1516.12	c 1503s |      20 |  1089668 |   924827 |   144066     10 |    13232 |        0
1518.57/1518.92	c 1506s |      20 |  1089796 |   924927 |   144066     10 |    13232 |        0
1521.47/1521.86	c 1509s |      20 |  1089905 |   925027 |   144066     10 |    13232 |        0
1523.87/1524.26	c 1511s |      20 |  1090499 |   925527 |   144066     10 |    13232 |        0
1527.07/1527.46	c 1514s |      20 |  1090712 |   925727 |   144066     10 |    13232 |        0
1529.87/1530.22	c 1517s |      20 |  1090825 |   925827 |   144066     10 |    13232 |        0
1541.46/1541.83	c 1529s |      20 |  1091002 |   925927 |   144066     10 |    13232 |        0
1544.87/1545.20	c 1532s |      20 |  1091381 |   926127 |   144066     10 |    13232 |        0
1546.87/1547.30	c 1534s |      20 |  1094301 |   928327 |   144066     10 |    13232 |        0
1548.97/1549.33	c 1536s |      20 |  1096833 |   930327 |   144066     10 |    13232 |        0
1550.97/1551.37	c 1538s |      20 |  1099116 |   932127 |   144066     10 |    13232 |        0
1552.97/1553.38	c 1540s |      20 |  1101156 |   933627 |   144066     10 |    13232 |        0
1555.17/1555.53	c 1543s |      20 |  1103257 |   935327 |   144066     10 |    13232 |        0
1557.16/1557.57	c 1545s |      20 |  1105099 |   936827 |   144066     10 |    13232 |        0
1559.26/1559.70	c 1547s |      20 |  1106930 |   938327 |   144066     10 |    13232 |        0
1561.36/1561.73	c 1549s |      20 |  1108656 |   939727 |   144066     10 |    13232 |        0
1563.46/1563.88	c 1551s |      20 |  1110342 |   941127 |   144066     10 |    13232 |        0
1565.66/1566.04	c 1553s |      20 |  1112136 |   942527 |   144066     10 |    13232 |        0
1567.66/1568.07	c 1555s |      20 |  1113779 |   943927 |   144066     10 |    13232 |        0
1590.36/1590.79	c 1578s |      20 |  1115221 |   945027 |   144066     10 |    13233 |        0
1592.45/1592.87	c 1580s |      20 |  1116732 |   946527 |   144066     10 |    13233 |        0
1594.54/1594.98	c 1582s |      20 |  1118035 |   947827 |   144066     10 |    13233 |        0
1596.64/1597.00	c 1584s |      20 |  1119138 |   948927 |   144066     10 |    13233 |        0
1598.64/1599.01	c 1586s |      20 |  1120545 |   950327 |   144066     10 |    13233 |        0
1600.64/1601.06	c 1588s |      20 |  1122051 |   951827 |   144066     10 |    13233 |        0
1602.74/1603.11	c 1590s |      20 |  1125055 |   954127 |   144066     10 |    13233 |        0
1604.74/1605.15	c 1592s |      20 |  1127978 |   956427 |   144066     10 |    13233 |        0
1606.75/1607.17	c 1594s |      20 |  1130779 |   958627 |   144066     10 |    13233 |        0
1608.74/1609.18	c 1596s |      20 |  1133509 |   960527 |   144066     10 |    13233 |        0
1610.94/1611.37	c 1598s |      20 |  1135679 |   962127 |   144066     10 |    13233 |        0
1613.04/1613.44	c 1600s |      20 |  1137144 |   963427 |   144066     10 |    13233 |        0
1615.14/1615.56	c 1603s |      20 |  1138451 |   964627 |   144066     10 |    13233 |        0
1617.24/1617.64	c 1605s |      20 |  1140563 |   966427 |   144066     10 |    13233 |        0
1619.24/1619.66	c 1607s |      20 |  1142922 |   968427 |   144066     10 |    13233 |        0
1621.34/1621.77	c 1609s |      20 |  1144817 |   970127 |   144066     10 |    13233 |        0
1623.73/1624.19	c 1611s |      20 |  1147543 |   971227 |   144066     10 |    13235 |        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-4101289-1466222428/watcher-4101289-1466222428 -o /tmp/evaluation-result-4101289-1466222428/solver-4101289-1466222428 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-596 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101289-1466222428.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.28 2.24 2.19 2/180 3343
/proc/meminfo: memFree=28912976/32872528 swapFree=17888/1798212
[pid=3343] ppid=3340 vsize=783804 CPUtime=0 cores=1,3,5,7
/proc/3343/stat : 3343 (toysat) R 3340 3343 579 0 -1 4202496 2933 0 0 0 0 0 0 0 20 0 4 0 24289995 802615296 3295 33554432000 4194304 16246674 140736372930096 140736372929520 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3343/statm: 196463 3305 441 2943 0 193357 0
[pid=3343/tid=3344] ppid=3340 vsize=802236 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3344/stat : 3344 (toysat) S 3340 3343 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24289995 821489664 3365 33554432000 4194304 16246674 140736372930096 140341590076656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3343/tid=3345] ppid=3340 vsize=806332 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3345/stat : 3345 (toysat) S 3340 3343 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24289995 825683968 3382 33554432000 4194304 16246674 140736372930096 140341579586800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3343/tid=3346] ppid=3340 vsize=810428 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3346/stat : 3346 (toysat) S 3340 3343 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24289996 829878272 3400 33554432000 4194304 16246674 140736372930096 140341569113264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.28 2.24 2.19 2/180 3343
/proc/meminfo: memFree=28912976/32872528 swapFree=17888/1798212
[pid=3343] ppid=3340 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/3343/stat : 3343 (toysat) R 3340 3343 579 0 -1 4202496 29029 0 0 0 5 4 0 0 20 0 4 0 24289995 1333334016 29328 33554432000 4194304 16246674 140736372930096 140736372929408 8058796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3343/statm: 325521 29345 800 2943 0 322415 0
[pid=3343/tid=3344] ppid=3340 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3344/stat : 3344 (toysat) S 3340 3343 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24289995 1333334016 29356 33554432000 4194304 16246674 140736372930096 140341590076656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3343/tid=3345] ppid=3340 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3345/stat : 3345 (toysat) S 3340 3343 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24289995 1333334016 29367 33554432000 4194304 16246674 140736372930096 140341579586800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3343/tid=3346] ppid=3340 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3346/stat : 3346 (toysat) S 3340 3343 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24289996 1333334016 29378 33554432000 4194304 16246674 140736372930096 140341569113264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200528 s]
/proc/loadavg: 2.28 2.24 2.19 2/180 3343
/proc/meminfo: memFree=28912976/32872528 swapFree=17888/1798212
[pid=3343] ppid=3340 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/3343/stat : 3343 (toysat) R 3340 3343 579 0 -1 4202496 46005 0 0 0 12 7 0 0 20 0 4 0 24289995 1343819776 46815 33554432000 4194304 16246674 140736372930096 140736372929408 7440363 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3343/statm: 328081 46815 802 2943 0 324975 0
[pid=3343/tid=3344] ppid=3340 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3344/stat : 3344 (toysat) S 3340 3343 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24289995 1343819776 46815 33554432000 4194304 16246674 140736372930096 140341590076656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3343/tid=3345] ppid=3340 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3345/stat : 3345 (toysat) S 3340 3343 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24289995 1343819776 46815 33554432000 4194304 16246674 140736372930096 140341579586800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3343/tid=3346] ppid=3340 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3346/stat : 3346 (toysat) S 3340 3343 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24289996 1343819776 46815 33554432000 4194304 16246674 140736372930096 140341569113264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300485 s]
/proc/loadavg: 2.28 2.24 2.19 2/180 3343
/proc/meminfo: memFree=28912976/32872528 swapFree=17888/1798212
[pid=3343] ppid=3340 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/3343/stat : 3343 (toysat) R 3340 3343 579 0 -1 4202496 55603 0 0 0 21 8 0 0 20 0 4 0 24289995 1344868352 56413 33554432000 4194304 16246674 140736372930096 140736372929408 4206864 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3343/statm: 328337 56413 802 2943 0 325231 0
[pid=3343/tid=3344] ppid=3340 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3344/stat : 3344 (toysat) S 3340 3343 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24289995 1344868352 56413 33554432000 4194304 16246674 140736372930096 140341590076656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3343/tid=3345] ppid=3340 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3345/stat : 3345 (toysat) S 3340 3343 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24289995 1344868352 56413 33554432000 4194304 16246674 140736372930096 140341579586800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3343/tid=3346] ppid=3340 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3346/stat : 3346 (toysat) S 3340 3343 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24289996 1344868352 56413 33554432000 4194304 16246674 140736372930096 140341569113264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700429 s]
/proc/loadavg: 2.28 2.24 2.19 2/180 3343
/proc/meminfo: memFree=28912976/32872528 swapFree=17888/1798212
[pid=3343] ppid=3340 vsize=1325636 CPUtime=0.69 cores=1,3,5,7
/proc/3343/stat : 3343 (toysat) R 3340 3343 579 0 -1 4202496 62260 0 0 0 60 9 0 0 20 0 4 0 24289995 1357451264 63070 33554432000 4194304 16246674 140736372930096 140736372929408 13774060 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3343/statm: 331409 63070 828 2943 0 328303 0
[pid=3343/tid=3344] ppid=3340 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3344/stat : 3344 (toysat) S 3340 3343 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24289995 1357451264 63070 33554432000 4194304 16246674 140736372930096 140341590076656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3343/tid=3345] ppid=3340 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3345/stat : 3345 (toysat) S 3340 3343 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24289995 1357451264 63070 33554432000 4194304 16246674 140736372930096 140341579586800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3343/tid=3346] ppid=3340 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3346/stat : 3346 (toysat) S 3340 3343 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24289996 1357451264 63070 33554432000 4194304 16246674 140736372930096 140341569113264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1325636

[startup+1.50047 s]
/proc/loadavg: 2.28 2.24 2.19 3/184 3347
/proc/meminfo: memFree=28487580/32872528 swapFree=17888/1798212
[pid=3343] ppid=3340 vsize=1325636 CPUtime=1.49 cores=1,3,5,7
/proc/3343/stat : 3343 (toysat) R 3340 3343 579 0 -1 4202496 112533 0 0 0 134 15 0 0 20 0 4 0 24289995 1357451264 113343 33554432000 4194304 16246674 140736372930096 140736372912000 12652301 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3343/statm: 331409 113349 845 2943 0 328303 0
[pid=3343/tid=3344] ppid=3340 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3344/stat : 3344 (toysat) S 3340 3343 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24289995 1357451264 113353 33554432000 4194304 16246674 140736372930096 140341590076656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3343/tid=3345] ppid=3340 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3345/stat : 3345 (toysat) S 3340 3343 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24289995 1357451264 113357 33554432000 4194304 16246674 140736372930096 140341579586800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3343/tid=3346] ppid=3340 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3346/stat : 3346 (toysat) S 3340 3343 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24289996 1357451264 113361 33554432000 4194304 16246674 140736372930096 140341569113264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1325636

[startup+3.10047 s]
/proc/loadavg: 2.28 2.24 2.19 3/184 3347
/proc/meminfo: memFree=27822196/32872528 swapFree=17888/1798212
[pid=3343] ppid=3340 vsize=1325636 CPUtime=3.09 cores=1,3,5,7
/proc/3343/stat : 3343 (toysat) R 3340 3343 579 0 -1 4202496 272043 0 0 0 273 36 0 0 20 0 4 0 24289995 1357451264 272853 33554432000 4194304 16246674 140736372930096 140736372912000 12429241 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3343/statm: 331409 272853 845 2943 0 328303 0
[pid=3343/tid=3344] ppid=3340 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3344/stat : 3344 (toysat) S 3340 3343 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24289995 1357451264 272853 33554432000 4194304 16246674 140736372930096 140341590076656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3343/tid=3345] ppid=3340 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3345/stat : 3345 (toysat) S 3340 3343 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24289995 1357451264 272853 33554432000 4194304 16246674 140736372930096 140341579586800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3343/tid=3346] ppid=3340 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3346/stat : 3346 (toysat) S 3340 3343 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24289996 1357451264 272853 33554432000 4194304 16246674 140736372930096 140341569113264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1325636

[startup+6.30048 s]
/proc/loadavg: 2.26 2.24 2.18 3/184 3347
/proc/meminfo: memFree=27821496/32872528 swapFree=17888/1798212
[pid=3343] ppid=3340 vsize=1325636 CPUtime=6.29 cores=1,3,5,7
/proc/3343/stat : 3343 (toysat) R 3340 3343 579 0 -1 4202496 272043 0 0 0 593 36 0 0 20 0 4 0 24289995 1357451264 272853 33554432000 4194304 16246674 140736372930096 140736372912000 12654401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3343/statm: 331409 272853 845 2943 0 328303 0
[pid=3343/tid=3344] ppid=3340 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3344/stat : 3344 (toysat) S 3340 3343 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24289995 1357451264 272853 33554432000 4194304 16246674 140736372930096 140341590076656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3343/tid=3345] ppid=3340 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3345/stat : 3345 (toysat) S 3340 3343 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24289995 1357451264 272853 33554432000 4194304 16246674 140736372930096 140341579586800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3343/tid=3346] ppid=3340 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3346/stat : 3346 (toysat) S 3340 3343 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24289996 1357451264 272853 33554432000 4194304 16246674 140736372930096 140341569113264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1325636

[startup+12.7004 s]
/proc/loadavg: 2.24 2.23 2.18 3/184 3347
/proc/meminfo: memFree=27821780/32872528 swapFree=17888/1798212
[pid=3343] ppid=3340 vsize=1339972 CPUtime=12.69 cores=1,3,5,7
/proc/3343/stat : 3343 (toysat) R 3340 3343 579 0 -1 4202496 275644 0 0 0 1232 37 0 0 20 0 4 0 24289995 1372131328 276454 33554432000 4194304 16246674 140736372930096 140736372912000 5582853 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3343/statm: 334993 276454 892 2943 0 331887 0
[pid=3343/tid=3344] ppid=3340 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3344/stat : 3344 (toysat) S 3340 3343 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24289995 1372131328 276454 33554432000 4194304 16246674 140736372930096 140341590076656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3343/tid=3345] ppid=3340 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3345/stat : 3345 (toysat) S 3340 3343 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24289995 1372131328 276454 33554432000 4194304 16246674 140736372930096 140341579586800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3343/tid=3346] ppid=3340 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3346/stat : 3346 (toysat) S 3340 3343 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24289996 1372131328 276454 33554432000 4194304 16246674 140736372930096 140341569113264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1339972

[startup+25.5005 s]
/proc/loadavg: 2.27 2.24 2.18 4/184 3347
/proc/meminfo: memFree=27808412/32872528 swapFree=17888/1798212
[pid=3343] ppid=3340 vsize=1339972 CPUtime=25.49 cores=1,3,5,7
/proc/3343/stat : 3343 (toysat) R 3340 3343 579 0 -1 4202496 275683 0 0 0 2512 37 0 0 20 0 4 0 24289995 1372131328 276493 33554432000 4194304 16246674 140736372930096 140736372912000 6021072 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3343/statm: 334993 276493 901 2943 0 331887 0
[pid=3343/tid=3344] ppid=3340 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3344/stat : 3344 (toysat) S 3340 3343 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24289995 1372131328 276493 33554432000 4194304 16246674 140736372930096 140341590076656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3343/tid=3345] ppid=3340 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3345/stat : 3345 (toysat) S 3340 3343 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24289995 1372131328 276493 33554432000 4194304 16246674 140736372930096 140341579586800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3343/tid=3346] ppid=3340 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3346/stat : 3346 (toysat) S 3340 3343 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24289996 1372131328 276493 33554432000 4194304 16246674 140736372930096 140341569113264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1339972

[startup+51.1005 s]
/proc/loadavg: 2.24 2.23 2.18 3/184 3370
/proc/meminfo: memFree=27807928/32872528 swapFree=17888/1798212
[pid=3343] ppid=3340 vsize=1339972 CPUtime=51.09 cores=1,3,5,7
/proc/3343/stat : 3343 (toysat) R 3340 3343 579 0 -1 4202496 275686 0 0 0 5072 37 0 0 20 0 4 0 24289995 1372131328 276496 33554432000 4194304 16246674 140736372930096 140736372912000 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3343/statm: 334993 276496 904 2943 0 331887 0
[pid=3343/tid=3344] ppid=3340 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3344/stat : 3344 (toysat) S 3340 3343 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24289995 1372131328 276496 33554432000 4194304 16246674 140736372930096 140341590076656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3343/tid=3345] ppid=3340 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3345/stat : 3345 (toysat) S 3340 3343 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24289995 1372131328 276496 33554432000 4194304 16246674 140736372930096 140341579586800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3343/tid=3346] ppid=3340 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3346/stat : 3346 (toysat) S 3340 3343 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24289996 1372131328 276496 33554432000 4194304 16246674 140736372930096 140341569113264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1339972

[startup+102.3 s]
/proc/loadavg: 2.15 2.21 2.18 3/183 3371
/proc/meminfo: memFree=27808144/32872528 swapFree=17888/1798212
[pid=3343] ppid=3340 vsize=1339972 CPUtime=102.28 cores=1,3,5,7
/proc/3343/stat : 3343 (toysat) R 3340 3343 579 0 -1 4202496 275686 0 0 0 10191 37 0 0 20 0 4 0 24289995 1372131328 276496 33554432000 4194304 16246674 140736372930096 140736372912000 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3343/statm: 334993 276496 904 2943 0 331887 0
[pid=3343/tid=3344] ppid=3340 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3344/stat : 3344 (toysat) S 3340 3343 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24289995 1372131328 276496 33554432000 4194304 16246674 140736372930096 140341590076656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3343/tid=3345] ppid=3340 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3345/stat : 3345 (toysat) S 3340 3343 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24289995 1372131328 276496 33554432000 4194304 16246674 140736372930096 140341579586800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3343/tid=3346] ppid=3340 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3346/stat : 3346 (toysat) S 3340 3343 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24289996 1372131328 276496 33554432000 4194304 16246674 140736372930096 140341569113264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1339972


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

/proc/3343/task/3346/stat : 3346 (toysat) S 3340 3343 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24289996 1396248576 282387 33554432000 4194304 16246674 140736372930096 140341569113264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 1363524

[startup+1302.3 s]
/proc/loadavg: 2.38 2.32 2.23 3/183 3498
/proc/meminfo: memFree=27819344/32872528 swapFree=17888/1798212
[pid=3343] ppid=3340 vsize=1363524 CPUtime=1302.04 cores=1,3,5,7
/proc/3343/stat : 3343 (toysat) R 3340 3343 579 0 -1 4202496 281664 0 0 0 130140 64 0 0 20 0 4 0 24289995 1396248576 282387 33554432000 4194304 16246674 140736372930096 140736372912000 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3343/statm: 340881 282387 904 2943 0 337775 0
[pid=3343/tid=3344] ppid=3340 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3344/stat : 3344 (toysat) S 3340 3343 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24289995 1396248576 282387 33554432000 4194304 16246674 140736372930096 140341590076656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3343/tid=3345] ppid=3340 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3345/stat : 3345 (toysat) S 3340 3343 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24289995 1396248576 282387 33554432000 4194304 16246674 140736372930096 140341579586800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3343/tid=3346] ppid=3340 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3346/stat : 3346 (toysat) S 3340 3343 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24289996 1396248576 282387 33554432000 4194304 16246674 140736372930096 140341569113264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 1363524

[startup+1362.3 s]
/proc/loadavg: 2.30 2.30 2.23 3/183 3499
/proc/meminfo: memFree=27819248/32872528 swapFree=17888/1798212
[pid=3343] ppid=3340 vsize=1363524 CPUtime=1362.03 cores=1,3,5,7
/proc/3343/stat : 3343 (toysat) R 3340 3343 579 0 -1 4202496 281674 0 0 0 136136 67 0 0 20 0 4 0 24289995 1396248576 282387 33554432000 4194304 16246674 140736372930096 140736372912000 5712760 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3343/statm: 340881 282387 904 2943 0 337775 0
[pid=3343/tid=3344] ppid=3340 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3344/stat : 3344 (toysat) S 3340 3343 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24289995 1396248576 282387 33554432000 4194304 16246674 140736372930096 140341590076656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3343/tid=3345] ppid=3340 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3345/stat : 3345 (toysat) S 3340 3343 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24289995 1396248576 282387 33554432000 4194304 16246674 140736372930096 140341579586800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3343/tid=3346] ppid=3340 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3346/stat : 3346 (toysat) S 3340 3343 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24289996 1396248576 282387 33554432000 4194304 16246674 140736372930096 140341569113264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 1363524

[startup+1422.3 s]
/proc/loadavg: 2.36 2.32 2.24 4/183 3501
/proc/meminfo: memFree=27819156/32872528 swapFree=17888/1798212
[pid=3343] ppid=3340 vsize=1363524 CPUtime=1422.01 cores=1,3,5,7
/proc/3343/stat : 3343 (toysat) R 3340 3343 579 0 -1 4202496 281705 0 0 0 142133 68 0 0 20 0 4 0 24289995 1396248576 282387 33554432000 4194304 16246674 140736372930096 140736372912000 5827969 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3343/statm: 340881 282387 904 2943 0 337775 0
[pid=3343/tid=3344] ppid=3340 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3344/stat : 3344 (toysat) S 3340 3343 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24289995 1396248576 282387 33554432000 4194304 16246674 140736372930096 140341590076656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3343/tid=3345] ppid=3340 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3345/stat : 3345 (toysat) S 3340 3343 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24289995 1396248576 282387 33554432000 4194304 16246674 140736372930096 140341579586800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3343/tid=3346] ppid=3340 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3346/stat : 3346 (toysat) S 3340 3343 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24289996 1396248576 282387 33554432000 4194304 16246674 140736372930096 140341569113264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 1363524

[startup+1482.3 s]
/proc/loadavg: 2.51 2.36 2.26 3/183 3502
/proc/meminfo: memFree=27819188/32872528 swapFree=17888/1798212
[pid=3343] ppid=3340 vsize=1363524 CPUtime=1481.98 cores=1,3,5,7
/proc/3343/stat : 3343 (toysat) R 3340 3343 579 0 -1 4202496 281730 0 0 0 148130 68 0 0 20 0 4 0 24289995 1396248576 282387 33554432000 4194304 16246674 140736372930096 140736372913096 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3343/statm: 340881 282387 904 2943 0 337775 0
[pid=3343/tid=3344] ppid=3340 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3344/stat : 3344 (toysat) S 3340 3343 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24289995 1396248576 282387 33554432000 4194304 16246674 140736372930096 140341590076656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3343/tid=3345] ppid=3340 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3345/stat : 3345 (toysat) S 3340 3343 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24289995 1396248576 282387 33554432000 4194304 16246674 140736372930096 140341579586800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3343/tid=3346] ppid=3340 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3346/stat : 3346 (toysat) S 3340 3343 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24289996 1396248576 282387 33554432000 4194304 16246674 140736372930096 140341569113264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 1363524

[startup+1542.31 s]
/proc/loadavg: 2.48 2.37 2.27 4/183 3503
/proc/meminfo: memFree=27784500/32872528 swapFree=17888/1798212
[pid=3343] ppid=3340 vsize=1398340 CPUtime=1541.97 cores=1,3,5,7
/proc/3343/stat : 3343 (toysat) R 3340 3343 579 0 -1 4202496 290451 0 0 0 154124 73 0 0 20 0 4 0 24289995 1431900160 291091 33554432000 4194304 16246674 140736372930096 140736372912000 4206886 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3343/statm: 349585 291091 904 2943 0 346479 0
[pid=3343/tid=3344] ppid=3340 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3344/stat : 3344 (toysat) S 3340 3343 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24289995 1431900160 291091 33554432000 4194304 16246674 140736372930096 140341590076656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3343/tid=3345] ppid=3340 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3345/stat : 3345 (toysat) S 3340 3343 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24289995 1431900160 291091 33554432000 4194304 16246674 140736372930096 140341579586800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3343/tid=3346] ppid=3340 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3346/stat : 3346 (toysat) S 3340 3343 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24289996 1431900160 291091 33554432000 4194304 16246674 140736372930096 140341569113264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 1398340

[startup+1602.3 s]
/proc/loadavg: 2.37 2.36 2.27 4/183 3504
/proc/meminfo: memFree=27784024/32872528 swapFree=17888/1798212
[pid=3343] ppid=3340 vsize=1398340 CPUtime=1601.94 cores=1,3,5,7
/proc/3343/stat : 3343 (toysat) R 3340 3343 579 0 -1 4202496 290459 0 0 0 160119 75 0 0 20 0 4 0 24289995 1431900160 291091 33554432000 4194304 16246674 140736372930096 140736372912000 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3343/statm: 349585 291091 904 2943 0 346479 0
[pid=3343/tid=3344] ppid=3340 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3344/stat : 3344 (toysat) S 3340 3343 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24289995 1431900160 291091 33554432000 4194304 16246674 140736372930096 140341590076656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3343/tid=3345] ppid=3340 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3345/stat : 3345 (toysat) S 3340 3343 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24289995 1431900160 291091 33554432000 4194304 16246674 140736372930096 140341579586800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3343/tid=3346] ppid=3340 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3346/stat : 3346 (toysat) S 3340 3343 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24289996 1431900160 291091 33554432000 4194304 16246674 140736372930096 140341569113264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1398340

[startup+1662.3 s]
/proc/loadavg: 2.46 2.39 2.28 3/183 3505
/proc/meminfo: memFree=27783564/32872528 swapFree=17888/1798212
[pid=3343] ppid=3340 vsize=1398340 CPUtime=1661.93 cores=1,3,5,7
/proc/3343/stat : 3343 (toysat) R 3340 3343 579 0 -1 4202496 290470 0 0 0 166114 79 0 0 20 0 4 0 24289995 1431900160 291091 33554432000 4194304 16246674 140736372930096 140736372929192 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3343/statm: 349585 291091 904 2943 0 346479 0
[pid=3343/tid=3344] ppid=3340 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3344/stat : 3344 (toysat) S 3340 3343 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24289995 1431900160 291091 33554432000 4194304 16246674 140736372930096 140341590076656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3343/tid=3345] ppid=3340 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3345/stat : 3345 (toysat) S 3340 3343 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24289995 1431900160 291091 33554432000 4194304 16246674 140736372930096 140341579586576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3343/tid=3346] ppid=3340 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3346/stat : 3346 (toysat) S 3340 3343 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24289996 1431900160 291091 33554432000 4194304 16246674 140736372930096 140341569113264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1398340

[startup+1722.3 s]
/proc/loadavg: 2.39 2.37 2.28 3/183 3507
/proc/meminfo: memFree=27783656/32872528 swapFree=17888/1798212
[pid=3343] ppid=3340 vsize=1398340 CPUtime=1721.91 cores=1,3,5,7
/proc/3343/stat : 3343 (toysat) R 3340 3343 579 0 -1 4202496 290485 0 0 0 172105 86 0 0 20 0 4 0 24289995 1431900160 291091 33554432000 4194304 16246674 140736372930096 140736372929192 4220921 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3343/statm: 349585 291091 904 2943 0 346479 0
[pid=3343/tid=3344] ppid=3340 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3344/stat : 3344 (toysat) S 3340 3343 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24289995 1431900160 291091 33554432000 4194304 16246674 140736372930096 140341590076656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3343/tid=3345] ppid=3340 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3345/stat : 3345 (toysat) S 3340 3343 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24289995 1431900160 291091 33554432000 4194304 16246674 140736372930096 140341579586576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3343/tid=3346] ppid=3340 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3346/stat : 3346 (toysat) S 3340 3343 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24289996 1431900160 291091 33554432000 4194304 16246674 140736372930096 140341569113264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1398340

[startup+1782.3 s]
/proc/loadavg: 2.52 2.41 2.29 4/184 3511
/proc/meminfo: memFree=27781872/32872528 swapFree=17888/1798212
[pid=3343] ppid=3340 vsize=1398340 CPUtime=1781.91 cores=1,3,5,7
/proc/3343/stat : 3343 (toysat) R 3340 3343 579 0 -1 4202496 290485 0 0 0 178099 92 0 0 20 0 4 0 24289995 1431900160 291091 33554432000 4194304 16246674 140736372930096 140736372929408 13198377 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3343/statm: 349585 291091 904 2943 0 346479 0
[pid=3343/tid=3344] ppid=3340 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3344/stat : 3344 (toysat) S 3340 3343 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24289995 1431900160 291091 33554432000 4194304 16246674 140736372930096 140341590076656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3343/tid=3345] ppid=3340 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3345/stat : 3345 (toysat) S 3340 3343 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24289995 1431900160 291091 33554432000 4194304 16246674 140736372930096 140341579586800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3343/tid=3346] ppid=3340 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3346/stat : 3346 (toysat) S 3340 3343 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24289996 1431900160 291091 33554432000 4194304 16246674 140736372930096 140341569113264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1398340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.52 2.42 2.30 3/184 3512
/proc/meminfo: memFree=27781860/32872528 swapFree=17888/1798212
[pid=3343] ppid=3340 vsize=1398340 CPUtime=1800 cores=1,3,5,7
/proc/3343/stat : 3343 (toysat) R 3340 3343 579 0 -1 4202496 290485 0 0 0 179906 94 0 0 20 0 4 0 24289995 1431900160 291091 33554432000 4194304 16246674 140736372930096 140736372929192 4220543 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3343/statm: 349585 291091 904 2943 0 346479 0
[pid=3343/tid=3344] ppid=3340 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3344/stat : 3344 (toysat) S 3340 3343 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24289995 1431900160 291091 33554432000 4194304 16246674 140736372930096 140341590076656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3343/tid=3345] ppid=3340 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3345/stat : 3345 (toysat) S 3340 3343 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24289995 1431900160 291091 33554432000 4194304 16246674 140736372930096 140341579586800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=3343/tid=3346] ppid=3340 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/3343/task/3346/stat : 3346 (toysat) S 3340 3343 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24289996 1431900160 291091 33554432000 4194304 16246674 140736372930096 140341569113264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1398340

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1799.07
CPU system time (s): 0.946856
CPU usage (%): 99.9783
Max. virtual memory (cumulated for all children) (KiB): 1398340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 0.946856
maximum resident set size= 1164364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290485
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= 1278
involuntary context switches= 2287

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.95879 second user time and 19.3091 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 06:00:29
IDJOB=4101289
IDBENCH=1724
IDSOLVER=2542
FILE ID=node123/4101289-1466222428
RUNJOBID= node123-1466206081-596
PBS_JOBID= 19918154
Free space on /tmp= 71616 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-stocfor2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101289-1466222428/watcher-4101289-1466222428 -o /tmp/evaluation-result-4101289-1466222428/solver-4101289-1466222428 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-596 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101289-1466222428.opb

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

MD5SUM BENCH= cbc7f776eebadde6a6228c5e168c70a1
RANDOM SEED=91322549

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

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

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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:        28913356 kB
Buffers:          114240 kB
Cached:           176016 kB
SwapCached:         1648 kB
Active:          1231508 kB
Inactive:         191048 kB
Active(anon):    1133612 kB
Inactive(anon):     1152 kB
Active(file):      97896 kB
Inactive(file):   189896 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099316 kB
Dirty:             19536 kB
Writeback:             0 kB
AnonPages:       2931468 kB
Mapped:            10540 kB
Shmem:                 0 kB
Slab:             602480 kB
SReclaimable:      46528 kB
SUnreclaim:       555952 kB
KernelStack:        1512 kB
PageTables:         9864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3072036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2910208 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= 71600 MiB
End job on node123 at 2016-06-18 06:30:29