Trace number 4100289

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.03 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-berlin_5_8_0.opb
MD5SUM69d5c7c1a4b8d5de2fe0ee7c53688a9d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark87.9586
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables9464
Total number of constraints1820
Number of constraints which are clauses309
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1511
Minimum length of a constraint4
Maximum length of a constraint61
Number of terms in the objective function 78
Biggest coefficient in the objective function 262133
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 524327
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262133
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524346
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-18T03:29:05+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-4100289-1466213345.opb"]
0.00/0.01	c use --random-gen="1479807092 970263450 2451791121 1725002396 2148055782 826745951 2915102083 1603990768 2327986435 2224784941 747910368 2872341333 1246884804 3000319725 3106158517 1574681508 2448336791 3577108083 2693145948 3911370163 2719570237 3916791740 747755991 2213348635 570870621 325768958 2132126966 430015687 909743585 2732171863 3910293520 4267890065 4292187923 4058004445 1514431127 2996708347 129026164 3469421559 933891450 385974682 1735142796 1143518628 3982099016 3347588798 2066159788 1006183054 3732689815 86603938 3122947104 1006165095 2514781905 1088731707 3480892426 605669700 3150298923 3346146431 431437666 1983760392 195104517 3642475419 1205239141 1392255155 774950056 233319644 1599485366 259889999 2192569184 2970540911 3897518557 1587503474 334867167 2265758594 1614427505 2808086579 3352937761 30140408 3229471263 4294365171 526973343 3547421931 2107446238 4144494881 3742332430 300558649 1779103634 3993799449 962325627 927201389 2721967588 1546508139 392689197 3165218588 225103699 369962167 3164362813 898964087 1724331879 3201420366 1150771703 2339949093 896992162 54171677 1024787042 3336019442 2860701105 3791925062 1772043221 4089364607 3665461324 1585274756 3543845505 1262014937 3452968474 370788508 3321655040 2830610782 2898359337 2833180511 891158510 4075030098 4183672564 2272558190 1389667249 3082835931 3828666070 2236882199 1793573753 3987296006 1718164438 2792536087 4251818849 2254719714 2502085873 818023064 1164308952 1868908681 1541696298 1262665348 4124689713 3901722192 1869209652 2085049809 3072770504 3712413968 1299400992 686821321 2084422689 786677276 2015832951 3663997080 1489599789 300264265 621841244 1086210484 201638965 2678480001 4273330178 3655189860 3315399830 1724096149 1154659092 946253269 2839914054 4229952032 1391610394 1456792243 873827530 863247715 513360818 1636496988 1429440913 1598693377 1047354383 840776927 1347154647 1052350645 3354647657 2285570491 2270971075 128081007 3694663816 1586437449 3021780265 2586252248 3582082488 3524096958 3277267296 3434459744 368161255 3603966229 762715040 2985615435 1210183369 2804558357 175034033 2289724967 2981928950 472327996 3275225128 3436580062 2743063517 1209952373 1610051066 852635714 847011344 48777492 1400750059 3989251455 2167509092 2570890187 521161636 3042555638 1690502131 1213897539 3527571278 239760875 3224317476 3862903032 4288144380 1785095006 4151796903 1331505680 3267354228 1140059977 2356594276 702368493 551434889 2735465137 1287921132 169589270 1704227045 1795564875 3815413380 3401814785 1234167015 3756195635 2432166480 1471530735 742608045 2029761599 1011805141 370185850 1203729013 1573674954 1558956548 2982374080 1903109973 109837776 2410337218 3407805424 2027291814 686290241 3086499234 1852052550 3027700492 3086005450 255 362436" option to reproduce the execution
0.09/0.19	c #vars 9464
0.09/0.19	c #constraints 1820
3.79/3.87	c BCD2: Hardening is enabled.
3.79/3.87	c BCD2: BiasedSearch is enabled.
3.79/3.87	c Solving starts ...
3.79/3.87	c ============================[ Search Statistics ]============================
3.79/3.87	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.79/3.87	c       |         |          |          |    Limit     GC | Var      | Constra 
3.79/3.87	c =============================================================================
3.79/3.87	c  0.0s |       0 |        0 |        0 |     3761      0 |       14 |        0
3.79/3.88	c  0.0s |       1 |      127 |      100 |     3761      0 |       14 |        0
3.89/3.92	c  0.1s |       2 |      488 |      250 |     4138      0 |       14 |        0
3.89/3.96	c  0.1s |       3 |      814 |      475 |     4552      0 |       14 |        0
3.99/4.04	c  0.2s |       4 |     1186 |      813 |     5008      0 |       14 |        0
4.09/4.12	c  0.3s |       5 |     1838 |     1320 |     5509      0 |       14 |        0
4.19/4.28	c  0.4s |       6 |     3422 |     2081 |     6667      0 |       14 |        0
4.39/4.45	c  0.6s |       7 |     4895 |     3223 |     7334      0 |       14 |        0
4.69/4.71	c  0.8s |       8 |     6720 |     4936 |     8068      0 |       14 |        0
5.09/5.18	c  1.3s |       9 |     9317 |     7506 |     8875      0 |       14 |        0
6.29/6.31	c  2.4s |      10 |    13207 |    11361 |     9763      1 |       14 |        0
8.29/8.32	c  4.5s |      10 |    17648 |    15761 |     9763      2 |       14 |        0
8.59/8.67	c  4.8s |      11 |    19038 |    17144 |    10740      2 |       14 |        0
10.89/10.92	c  7.1s |      11 |    23776 |    21844 |    10740      3 |       14 |        0
12.29/12.36	c  8.5s |      12 |    27770 |    25819 |    11815      4 |       14 |        0
14.30/14.39	c 10.5s |      12 |    33515 |    31519 |    11815      4 |       14 |        0
16.39/16.40	c 12.5s |      12 |    38751 |    36719 |    11815      5 |       14 |        0
17.19/17.27	c 13.4s |      13 |    40868 |    38832 |    12997      6 |       14 |        0
19.19/19.29	c 15.4s |      13 |    42796 |    40732 |    12997      6 |       14 |        0
21.39/21.44	c 17.6s |      13 |    47323 |    45232 |    12997      7 |       14 |        0
23.39/23.48	c 19.6s |      13 |    53045 |    50932 |    12997      7 |       14 |        0
25.98/26.02	c 22.2s |      13 |    57886 |    55732 |    12997      8 |       14 |        0
27.08/27.16	c 23.3s |      14 |    60514 |    58352 |    14297      8 |       14 |        0
29.09/29.18	c 25.3s |      14 |    62134 |    59952 |    14297      9 |       14 |        0
31.19/31.20	c 27.3s |      14 |    67700 |    65452 |    14297      9 |       14 |        0
33.19/33.21	c 29.3s |      14 |    74134 |    70952 |    14297     10 |       14 |        0
35.19/35.26	c 31.4s |      14 |    78797 |    75352 |    14297     11 |       14 |        0
37.29/37.32	c 33.5s |      14 |    82656 |    78952 |    14297     11 |       14 |        0
39.29/39.36	c 35.5s |      14 |    85609 |    81752 |    14297     12 |       14 |        0
41.38/41.41	c 37.5s |      14 |    88589 |    84452 |    14297     12 |       14 |        0
42.58/42.63	c 38.8s |      15 |    92353 |    87632 |    15727     12 |       14 |        0
44.58/44.65	c 40.8s |      15 |   101200 |    93532 |    15727     13 |       14 |        0
46.58/46.66	c 42.8s |      15 |   110153 |   101532 |    15727     14 |       14 |        0
48.58/48.67	c 44.8s |      15 |   115327 |   106432 |    15727     14 |       14 |        0
50.69/50.74	c 46.9s |      15 |   119449 |   110132 |    15727     15 |       14 |        0
52.68/52.75	c 48.9s |      15 |   122733 |   113232 |    15727     15 |       14 |        0
54.68/54.78	c 50.9s |      15 |   125769 |   116032 |    15727     15 |       14 |        0
56.68/56.79	c 52.9s |      15 |   128239 |   118332 |    15727     16 |       14 |        0
58.68/58.79	c 54.9s |      15 |   131250 |   121132 |    15727     16 |       14 |        0
61.28/61.36	c 57.5s |      15 |   133716 |   123432 |    15727     16 |       14 |        0
63.38/63.43	c 59.6s |      15 |   136776 |   126332 |    15727     16 |       14 |        0
65.38/65.48	c 61.6s |      15 |   138842 |   128332 |    15727     17 |       14 |        0
67.19/67.26	c 63.4s |      16 |   142668 |   131552 |    17300     17 |       14 |        0
69.18/69.28	c 65.4s |      16 |   150573 |   138452 |    17300     18 |       14 |        0
71.28/71.37	c 67.5s |      16 |   155459 |   143252 |    17300     18 |       14 |        0
73.38/73.44	c 69.6s |      16 |   158991 |   146752 |    17300     19 |       14 |        0
75.38/75.46	c 71.6s |      16 |   168076 |   153952 |    17300     19 |       14 |        0
77.38/77.48	c 73.6s |      16 |   172693 |   158552 |    17300     20 |       14 |        0
79.38/79.49	c 75.6s |      16 |   176505 |   162352 |    17300     20 |       14 |        0
81.48/81.52	c 77.7s |      16 |   179123 |   164952 |    17300     21 |       14 |        0
83.47/83.57	c 79.7s |      16 |   183436 |   169252 |    17300     21 |       14 |        0
85.97/86.03	c 82.2s |      16 |   186564 |   172352 |    17300     21 |       14 |        0
87.98/88.04	c 84.2s |      16 |   189182 |   174952 |    17300     22 |       14 |        0
89.97/90.05	c 86.2s |      16 |   192394 |   178152 |    17300     22 |       14 |        0
91.97/92.07	c 88.2s |      16 |   195828 |   181552 |    17300     22 |       14 |        0
94.07/94.10	c 90.2s |      16 |   198543 |   184252 |    17300     23 |       14 |        0
96.07/96.14	c 92.3s |      16 |   202760 |   188452 |    17300     23 |       14 |        0
98.07/98.19	c 94.3s |      16 |   206176 |   191852 |    17300     23 |       14 |        0
100.17/100.23	c 96.4s |      16 |   209694 |   195352 |    17300     24 |       14 |        0
101.57/101.60	c 97.7s |      17 |   211787 |   197432 |    19030     24 |       14 |        0
103.57/103.62	c 99.8s |      17 |   220334 |   202732 |    19030     24 |       14 |        0
105.57/105.62	c  101s |      17 |   229213 |   210832 |    19030     25 |       14 |        0
107.57/107.65	c  103s |      17 |   235247 |   216832 |    19030     26 |       14 |        0
109.57/109.68	c  105s |      17 |   239960 |   221532 |    19030     26 |       14 |        0
111.66/111.72	c  107s |      17 |   243484 |   225032 |    19030     27 |       14 |        0
113.66/113.74	c  109s |      17 |   246697 |   228232 |    19030     27 |       14 |        0
115.76/115.81	c  111s |      17 |   249806 |   231332 |    19030     27 |       14 |        0
117.77/117.83	c  113s |      17 |   252624 |   234132 |    19030     28 |       14 |        0
120.46/120.55	c  116s |      17 |   254236 |   235732 |    19030     28 |       14 |        0
122.46/122.59	c  118s |      17 |   257748 |   239232 |    19030     28 |       14 |        0
124.56/124.62	c  120s |      17 |   260964 |   242432 |    19030     28 |       14 |        0
126.57/126.64	c  122s |      17 |   264076 |   245532 |    19030     29 |       14 |        0
128.96/129.05	c  125s |      17 |   266189 |   247632 |    19030     29 |       14 |        0
130.96/131.06	c  127s |      17 |   270002 |   251432 |    19030     29 |       14 |        0
132.96/133.10	c  129s |      17 |   273114 |   254532 |    19030     30 |       14 |        0
135.05/135.13	c  131s |      17 |   275828 |   257232 |    19030     30 |       14 |        0
137.05/137.16	c  133s |      17 |   278643 |   260032 |    19030     30 |       14 |        0
139.15/139.21	c  135s |      17 |   281357 |   262732 |    19030     30 |       14 |        0
141.15/141.26	c  137s |      17 |   284575 |   265932 |    19030     31 |       14 |        0
143.15/143.28	c  139s |      17 |   287086 |   268432 |    19030     31 |       14 |        0
145.26/145.33	c  141s |      17 |   289995 |   271332 |    19030     31 |       14 |        0
147.25/147.34	c  143s |      17 |   292007 |   273332 |    19030     32 |       14 |        0
149.25/149.36	c  145s |      17 |   296228 |   277532 |    19030     32 |       14 |        0
153.95/154.09	c  150s |      17 |   298246 |   279532 |    19030     32 |       14 |        0
156.05/156.13	c  152s |      17 |   300150 |   281432 |    19030     32 |       14 |        0
158.85/158.99	c  155s |      17 |   303267 |   284532 |    19030     33 |       14 |        0
160.95/161.01	c  157s |      17 |   307103 |   288332 |    19030     33 |       14 |        0
163.15/163.21	c  159s |      17 |   310320 |   291532 |    19030     33 |       14 |        0
165.14/165.26	c  161s |      17 |   313031 |   294232 |    20933     34 |       14 |        0
166.54/166.64	c  162s |      18 |   315058 |   296252 |    20933     34 |       14 |        0
168.54/168.69	c  164s |      18 |   315985 |   297152 |    20933     34 |       14 |        0
170.64/170.72	c  166s |      18 |   320253 |   301152 |    20933     34 |       14 |        0
172.64/172.74	c  168s |      18 |   325978 |   306852 |    20933     35 |       14 |        0
174.65/174.76	c  170s |      18 |   330500 |   311352 |    20933     35 |       14 |        0
178.25/178.39	c  174s |      18 |   331691 |   312052 |    20933     35 |       14 |        0
180.35/180.42	c  176s |      18 |   339031 |   319352 |    20933     36 |       14 |        0
182.34/182.46	c  178s |      18 |   344060 |   324352 |    20933     36 |       14 |        0
184.34/184.46	c  180s |      18 |   348187 |   328452 |    20933     37 |       14 |        0
186.44/186.53	c  182s |      18 |   352123 |   332352 |    20933     37 |       14 |        0
188.44/188.54	c  184s |      18 |   357997 |   337952 |    20933     38 |       14 |        0
190.44/190.57	c  186s |      18 |   361274 |   340852 |    20933     38 |       14 |        0
192.55/192.61	c  188s |      18 |   366838 |   345652 |    20933     38 |       14 |        0
194.54/194.66	c  190s |      18 |   369945 |   348752 |    20933     39 |       14 |        0
196.64/196.76	c  192s |      18 |   372663 |   351452 |    20933     39 |       14 |        0
198.74/198.81	c  194s |      18 |   375668 |   354252 |    20933     39 |       14 |        0
200.74/200.82	c  196s |      18 |   378645 |   356952 |    20933     39 |       14 |        0
202.73/202.86	c  198s |      18 |   380247 |   358452 |    20933     40 |       14 |        0
204.73/204.86	c  200s |      18 |   383969 |   361952 |    20933     40 |       14 |        0
206.74/206.90	c  203s |      18 |   387232 |   365052 |    20933     40 |       14 |        0
214.23/214.39	c  210s |      18 |   390467 |   368152 |    20933     41 |       14 |        0
216.33/216.46	c  212s |      18 |   393253 |   370852 |    20933     41 |       14 |        0
218.33/218.47	c  214s |      18 |   395834 |   373352 |    20933     41 |       14 |        0
220.43/220.51	c  216s |      18 |   398560 |   376052 |    20933     41 |       14 |        0
222.53/222.60	c  218s |      18 |   400879 |   378352 |    20933     41 |       14 |        0
225.13/225.27	c  221s |      18 |   401586 |   379052 |    20933     42 |       14 |        0
227.53/227.61	c  223s |      18 |   404879 |   382252 |    20933     42 |       14 |        0
229.53/229.62	c  225s |      18 |   408298 |   385652 |    20933     42 |       14 |        0
231.53/231.68	c  227s |      18 |   411577 |   388852 |    20933     42 |       14 |        0
238.53/238.68	c  234s |      18 |   414567 |   391752 |    20933     43 |       14 |        0
240.63/240.71	c  236s |      18 |   418574 |   395752 |    20933     43 |       14 |        0
242.63/242.72	c  238s |      18 |   422713 |   399552 |    20933     43 |       14 |        0
244.92/245.08	c  241s |      18 |   423277 |   400052 |    20933     44 |       14 |        0
248.23/248.32	c  244s |      18 |   423519 |   400252 |    20933     44 |       14 |        0
250.33/250.44	c  246s |      18 |   427507 |   403952 |    20933     44 |       14 |        0
252.33/252.46	c  248s |      18 |   430451 |   406652 |    20933     44 |       14 |        0
254.43/254.52	c  250s |      18 |   432516 |   408652 |    20933     44 |       14 |        0
256.43/256.59	c  252s |      18 |   434671 |   410752 |    20933     45 |       14 |        0
259.22/259.37	c  255s |      18 |   435186 |   411252 |    20933     45 |       14 |        0
261.33/261.40	c  257s |      18 |   437418 |   413252 |    20933     45 |       14 |        0
263.33/263.41	c  259s |      18 |   440759 |   416552 |    20933     45 |       14 |        0
265.33/265.48	c  261s |      18 |   443770 |   419352 |    20933     45 |       14 |        0
267.43/267.51	c  263s |      18 |   446478 |   422052 |    20933     46 |       14 |        0
271.22/271.35	c  267s |      18 |   447598 |   423152 |    20933     46 |       14 |        0
273.22/273.38	c  269s |      18 |   451188 |   426552 |    20933     46 |       14 |        0
275.32/275.40	c  271s |      18 |   454181 |   429452 |    20933     46 |       14 |        0
277.32/277.46	c  273s |      18 |   456823 |   431952 |    20933     47 |       14 |        0
285.12/285.23	c  281s |      18 |   457819 |   432852 |    20933     47 |       14 |        0
287.13/287.25	c  283s |      18 |   463337 |   437752 |    20933     47 |       14 |        0
289.12/289.26	c  285s |      18 |   467898 |   442052 |    23027     47 |       14 |        0
290.43/290.53	c  286s |      19 |   470508 |   444482 |    23027     47 |       14 |        0
292.42/292.57	c  288s |      19 |   477179 |   450182 |    23027     48 |       14 |        0
294.42/294.58	c  290s |      19 |   481697 |   454682 |    23027     48 |       14 |        0
296.52/296.61	c  292s |      19 |   485517 |   458482 |    23027     49 |       14 |        0
298.52/298.63	c  294s |      19 |   488638 |   461582 |    23027     49 |       14 |        0
300.62/300.70	c  296s |      19 |   491454 |   464382 |    23027     49 |       14 |        0
302.62/302.74	c  298s |      19 |   493669 |   466582 |    23027     49 |       14 |        0
304.73/304.83	c  300s |      19 |   495778 |   468682 |    23027     49 |       14 |        0
306.72/306.87	c  303s |      19 |   497686 |   470582 |    23027     50 |       14 |        0
308.82/308.99	c  305s |      19 |   500400 |   473282 |    23027     50 |       14 |        0
312.21/312.32	c  308s |      19 |   502817 |   475682 |    23027     50 |       14 |        0
314.21/314.35	c  310s |      19 |   505726 |   478582 |    23027     50 |       14 |        0
316.21/316.37	c  312s |      19 |   507739 |   480582 |    23027     50 |       14 |        0
318.21/318.39	c  314s |      19 |   510144 |   482982 |    23027     51 |       14 |        0
320.31/320.43	c  316s |      19 |   511450 |   484282 |    23027     51 |       14 |        0
322.32/322.44	c  318s |      19 |   513963 |   486782 |    23027     51 |       14 |        0
324.31/324.48	c  320s |      19 |   516278 |   489082 |    23027     51 |       14 |        0
326.41/326.51	c  322s |      19 |   518294 |   491082 |    23027     51 |       14 |        0
328.61/328.73	c  324s |      19 |   520205 |   492982 |    23027     52 |       14 |        0
331.50/331.64	c  327s |      19 |   523621 |   496382 |    23027     52 |       14 |        0
333.50/333.65	c  329s |      19 |   526833 |   499582 |    23027     52 |       14 |        0
335.51/335.67	c  331s |      19 |   529249 |   501982 |    23027     52 |       14 |        0
337.50/337.69	c  333s |      19 |   531355 |   504082 |    23027     52 |       14 |        0
339.61/339.75	c  335s |      19 |   533266 |   505982 |    23027     53 |       14 |        0
341.61/341.78	c  337s |      19 |   536278 |   508982 |    23027     53 |       14 |        0
343.71/343.84	c  339s |      19 |   538990 |   511682 |    23027     53 |       14 |        0
345.80/345.92	c  342s |      19 |   540295 |   512982 |    23027     53 |       14 |        0
347.80/347.93	c  344s |      19 |   542705 |   515382 |    23027     53 |       14 |        0
349.81/349.96	c  346s |      19 |   544920 |   517582 |    23027     54 |       14 |        0
353.60/353.79	c  349s |      19 |   547840 |   520482 |    23027     54 |       14 |        0
355.69/355.88	c  352s |      19 |   550852 |   523482 |    23027     54 |       14 |        0
357.79/357.93	c  354s |      19 |   553558 |   526182 |    23027     54 |       14 |        0
359.89/360.01	c  356s |      19 |   556068 |   528682 |    23027     54 |       14 |        0
361.90/362.04	c  358s |      19 |   558387 |   530982 |    23027     55 |       14 |        0
364.70/364.83	c  360s |      19 |   558487 |   531082 |    23027     55 |       14 |        0
366.70/366.89	c  363s |      19 |   560091 |   532682 |    23027     55 |       14 |        0
369.40/369.53	c  365s |      19 |   561704 |   534282 |    23027     55 |       14 |        0
371.49/371.60	c  367s |      19 |   564713 |   537282 |    23027     55 |       14 |        0
373.49/373.61	c  369s |      19 |   567127 |   539682 |    23027     55 |       14 |        0
375.49/375.61	c  371s |      19 |   568639 |   541182 |    23027     56 |       14 |        0
377.49/377.67	c  373s |      19 |   571151 |   543682 |    23027     56 |       14 |        0
379.59/379.72	c  375s |      19 |   574263 |   546782 |    23027     56 |       14 |        0
381.59/381.79	c  377s |      19 |   576577 |   549082 |    23027     56 |       14 |        0
383.69/383.86	c  379s |      19 |   578686 |   551182 |    23027     56 |       14 |        0
386.09/386.26	c  382s |      19 |   580297 |   552782 |    23027     57 |       14 |        0
388.19/388.32	c  384s |      19 |   583008 |   555482 |    23027     57 |       14 |        0
390.18/390.32	c  386s |      19 |   585517 |   557982 |    23027     57 |       14 |        0
392.18/392.39	c  388s |      19 |   587836 |   560282 |    23027     57 |       14 |        0
394.28/394.43	c  390s |      19 |   589944 |   562382 |    23027     57 |       14 |        0
396.28/396.49	c  392s |      19 |   592161 |   564582 |    23027     57 |       14 |        0
398.38/398.51	c  394s |      19 |   594271 |   566682 |    23027     58 |       14 |        0
400.38/400.57	c  396s |      19 |   597284 |   569682 |    23027     58 |       14 |        0
402.48/402.62	c  398s |      19 |   600304 |   572682 |    23027     58 |       14 |        0
406.48/406.66	c  402s |      19 |   602213 |   574582 |    23027     58 |       14 |        0
408.58/408.74	c  404s |      19 |   604426 |   576782 |    23027     59 |       14 |        0
410.68/410.80	c  406s |      19 |   607741 |   580082 |    23027     59 |       14 |        0
413.08/413.29	c  409s |      19 |   609954 |   582282 |    23027     59 |       14 |        0
415.18/415.34	c  411s |      19 |   612562 |   584882 |    23027     59 |       14 |        0
417.28/417.40	c  413s |      19 |   615179 |   587482 |    23027     59 |       14 |        0
419.28/419.40	c  415s |      19 |   617384 |   589682 |    23027     60 |       14 |        0
421.28/421.41	c  417s |      19 |   621204 |   593482 |    23027     60 |       14 |        0
423.27/423.46	c  419s |      19 |   624717 |   596982 |    23027     60 |       14 |        0
427.78/427.97	c  424s |      19 |   627342 |   599582 |    23027     60 |       14 |        0
429.87/430.03	c  426s |      19 |   628246 |   600482 |    23027     61 |       14 |        0
431.87/432.05	c  428s |      19 |   631563 |   603782 |    23027     61 |       14 |        0
433.97/434.11	c  430s |      19 |   634177 |   606382 |    23027     61 |       14 |        0
436.17/436.38	c  432s |      19 |   636793 |   608982 |    23027     61 |       14 |        0
438.27/438.40	c  434s |      19 |   639303 |   611482 |    23027     61 |       14 |        0
440.26/440.42	c  436s |      19 |   641515 |   613682 |    23027     62 |       14 |        0
442.26/442.49	c  438s |      19 |   644840 |   616982 |    23027     62 |       14 |        0
444.37/444.52	c  440s |      19 |   647249 |   619382 |    23027     62 |       14 |        0
447.06/447.21	c  443s |      19 |   650066 |   622182 |    23027     62 |       14 |        0
449.66/449.86	c  445s |      19 |   652073 |   624182 |    23027     63 |       14 |        0
451.67/451.90	c  448s |      19 |   655083 |   627182 |    23027     63 |       14 |        0
453.77/453.91	c  450s |      19 |   657699 |   629782 |    23027     63 |       14 |        0
455.77/455.92	c  452s |      19 |   660615 |   632682 |    23027     63 |       14 |        0
457.97/458.14	c  454s |      19 |   663330 |   635382 |    23027     63 |       14 |        0
460.16/460.39	c  456s |      19 |   665138 |   637182 |    23027     64 |       14 |        0
462.16/462.39	c  458s |      19 |   668354 |   640382 |    23027     64 |       14 |        0
464.26/464.44	c  460s |      19 |   671066 |   643082 |    23027     64 |       14 |        0
466.27/466.50	c  462s |      19 |   673682 |   645682 |    23027     64 |       14 |        0
468.47/468.61	c  464s |      19 |   675789 |   647782 |    23027     64 |       14 |        0
470.56/470.71	c  466s |      19 |   678703 |   650682 |    23027     65 |       14 |        0
479.16/479.30	c  475s |      19 |   680915 |   652882 |    23027     65 |       14 |        0
481.15/481.39	c  477s |      19 |   683932 |   655882 |    23027     65 |       14 |        0
483.25/483.44	c  479s |      19 |   686641 |   658582 |    23027     65 |       14 |        0
485.26/485.47	c  481s |      19 |   688143 |   660082 |    23027     66 |       14 |        0
487.27/487.49	c  483s |      19 |   691855 |   663782 |    25330     66 |       14 |        0
489.16/489.36	c  485s |      20 |   694917 |   666827 |    25330     66 |       14 |        0
494.05/494.21	c  490s |      20 |   695145 |   667027 |    25330     66 |       14 |        0
496.06/496.27	c  492s |      20 |   698365 |   670227 |    25330     66 |       14 |        0
498.16/498.32	c  494s |      20 |   701377 |   673227 |    25330     66 |       14 |        0
500.25/500.40	c  496s |      20 |   703687 |   675527 |    25330     67 |       14 |        0
502.25/502.42	c  498s |      20 |   707405 |   679227 |    25330     67 |       14 |        0
504.25/504.43	c  500s |      20 |   710817 |   682627 |    25330     67 |       14 |        0
506.25/506.48	c  502s |      20 |   713629 |   685427 |    25330     67 |       14 |        0
511.36/511.57	c  507s |      20 |   714934 |   686727 |    25330     68 |       14 |        0
513.45/513.60	c  509s |      20 |   717642 |   689427 |    25330     68 |       14 |        0
515.45/515.66	c  511s |      20 |   720866 |   692627 |    25330     68 |       14 |        0
517.55/517.72	c  513s |      20 |   723884 |   695627 |    25330     68 |       14 |        0
519.65/519.86	c  515s |      20 |   726999 |   698727 |    25330     69 |       14 |        0
521.75/521.90	c  518s |      20 |   730915 |   702627 |    25330     69 |       14 |        0
523.75/523.95	c  520s |      20 |   733734 |   705427 |    25330     69 |       14 |        0
525.85/526.01	c  522s |      20 |   736444 |   708127 |    25330     69 |       14 |        0
527.85/528.07	c  524s |      20 |   738052 |   709727 |    25330     69 |       14 |        0
533.75/533.91	c  530s |      20 |   738354 |   710027 |    25330     69 |       14 |        0
535.75/535.94	c  532s |      20 |   740363 |   712027 |    25330     70 |       14 |        0
537.75/537.97	c  534s |      20 |   744781 |   716427 |    25330     70 |       14 |        0
539.85/540.02	c  536s |      20 |   746591 |   718227 |    25330     70 |       14 |        0
541.84/542.04	c  538s |      20 |   749806 |   721427 |    25330     70 |       14 |        0
543.84/544.07	c  540s |      20 |   752517 |   724127 |    25330     71 |       14 |        0
545.84/546.09	c  542s |      20 |   755828 |   727427 |    25330     71 |       14 |        0
547.94/548.15	c  544s |      20 |   759349 |   730927 |    25330     71 |       14 |        0
549.95/550.16	c  546s |      20 |   762864 |   734427 |    25330     71 |       14 |        0
552.04/552.26	c  548s |      20 |   764575 |   736127 |    25330     71 |       14 |        0
554.03/554.27	c  550s |      20 |   766283 |   737827 |    25330     72 |       14 |        0
556.03/556.29	c  552s |      20 |   769693 |   741227 |    25330     72 |       14 |        0
558.13/558.32	c  554s |      20 |   773007 |   744527 |    25330     72 |       14 |        0
560.13/560.35	c  556s |      20 |   776027 |   747527 |    25330     72 |       14 |        0
562.43/562.64	c  558s |      20 |   778144 |   749627 |    25330     73 |       14 |        0
564.43/564.67	c  560s |      20 |   781861 |   753327 |    25330     73 |       14 |        0
566.53/566.73	c  562s |      20 |   784985 |   756427 |    25330     73 |       14 |        0
568.53/568.76	c  564s |      20 |   787693 |   759127 |    25330     73 |       14 |        0
570.52/570.78	c  566s |      20 |   790104 |   761527 |    25330     73 |       14 |        0
572.63/572.85	c  568s |      20 |   791991 |   762727 |    25330     73 |       14 |        0
574.63/574.85	c  570s |      20 |   799043 |   768727 |    25330     74 |       14 |        0
576.63/576.89	c  573s |      20 |   804147 |   773127 |    25330     74 |       14 |        0
578.63/578.89	c  575s |      20 |   810370 |   778327 |    25330     75 |       14 |        0
580.73/580.94	c  577s |      20 |   815504 |   782727 |    25330     75 |       14 |        0
582.83/583.10	c  579s |      20 |   819929 |   786327 |    25330     75 |       14 |        0
584.93/585.15	c  581s |      20 |   824171 |   790027 |    25330     75 |       14 |        0
586.93/587.18	c  583s |      20 |   828495 |   793727 |    25330     76 |       14 |        0
589.02/589.24	c  585s |      20 |   832307 |   797027 |    25330     76 |       14 |        0
591.32/591.54	c  587s |      20 |   836313 |   800527 |    25330     76 |       14 |        0
593.32/593.55	c  589s |      20 |   840103 |   803827 |    25330     76 |       14 |        0
595.32/595.59	c  591s |      20 |   843654 |   806627 |    25330     77 |       14 |        0
597.42/597.63	c  593s |      20 |   847411 |   809827 |    25330     77 |       14 |        0
599.52/599.77	c  595s |      20 |   850749 |   812627 |    25330     77 |       14 |        0
601.52/601.77	c  597s |      20 |   855985 |   817227 |    25330     77 |       14 |        0
603.62/603.82	c  599s |      20 |   861072 |   822127 |    25330     78 |       14 |        0
605.61/605.86	c  601s |      20 |   865158 |   826027 |    25330     78 |       14 |        0
607.71/607.92	c  604s |      20 |   868780 |   829427 |    25330     78 |       14 |        0
609.71/609.93	c  606s |      20 |   872404 |   832827 |    25330     79 |       14 |        0
611.71/611.96	c  608s |      20 |   875925 |   836227 |    25330     79 |       14 |        0
613.72/613.99	c  610s |      20 |   878873 |   839027 |    25330     79 |       14 |        0
615.81/616.00	c  612s |      20 |   881810 |   841827 |    25330     79 |       14 |        0
617.81/618.04	c  614s |      20 |   883975 |   843627 |    25330     79 |       14 |        0
619.91/620.11	c  616s |      20 |   889576 |   848827 |    25330     80 |       14 |        0
621.91/622.13	c  618s |      20 |   893997 |   852627 |    25330     80 |       14 |        0
624.31/624.56	c  620s |      20 |   896581 |   854727 |    25330     80 |       14 |        0
630.90/631.16	c  627s |      20 |   897955 |   855727 |    25330     80 |       14 |        0
633.00/633.20	c  629s |      20 |   903059 |   860327 |    25330     81 |       14 |        0
638.21/638.42	c  634s |      20 |   903935 |   861127 |    25330     81 |       14 |        0
640.20/640.46	c  636s |      20 |   910496 |   867427 |    25330     81 |       14 |        0
642.31/642.53	c  638s |      20 |   915016 |   871727 |    25330     82 |       14 |        0
644.30/644.60	c  640s |      20 |   919733 |   875727 |    25330     82 |       14 |        0
646.40/646.60	c  642s |      20 |   924057 |   879127 |    25330     82 |       14 |        0
648.40/648.65	c  644s |      20 |   927928 |   882727 |    25330     82 |       14 |        0
650.40/650.67	c  646s |      20 |   931030 |   885627 |    25330     83 |       14 |        0
652.40/652.68	c  648s |      20 |   935125 |   889127 |    25330     83 |       14 |        0
655.10/655.31	c  651s |      20 |   938119 |   891827 |    25330     83 |       14 |        0
657.10/657.34	c  653s |      20 |   942933 |   896527 |    25330     83 |       14 |        0
659.10/659.38	c  655s |      20 |   947254 |   900727 |    25330     84 |       14 |        0
661.20/661.43	c  657s |      20 |   951202 |   904327 |    25330     84 |       14 |        0
663.21/663.47	c  659s |      20 |   954498 |   907427 |    25330     84 |       14 |        0
665.31/665.51	c  661s |      20 |   959256 |   911727 |    25330     85 |       14 |        0
667.30/667.51	c  663s |      20 |   966588 |   918427 |    25330     85 |       14 |        0
669.30/669.51	c  665s |      20 |   971404 |   922927 |    25330     85 |       14 |        0
671.30/671.53	c  667s |      20 |   975818 |   927027 |    25330     86 |       14 |        0
673.29/673.54	c  669s |      20 |   980106 |   929527 |    25330     86 |       14 |        0
675.31/675.54	c  671s |      20 |   985485 |   933827 |    25330     86 |       14 |        0
677.30/677.58	c  673s |      20 |   992781 |   939227 |    25330     87 |       14 |        0
679.30/679.58	c  675s |      20 |   999055 |   944527 |    25330     87 |       14 |        0
681.30/681.58	c  677s |      20 |  1003828 |   948227 |    25330     87 |       14 |        0
683.40/683.61	c  679s |      20 |  1008479 |   951727 |    25330     88 |       14 |        0
685.40/685.66	c  681s |      20 |  1013654 |   955727 |    25330     88 |       14 |        0
687.40/687.69	c  683s |      20 |  1017727 |   959327 |    25330     88 |       14 |        0
689.40/689.70	c  685s |      20 |  1022478 |   963627 |    25330     88 |       14 |        0
691.49/691.71	c  687s |      20 |  1026201 |   967027 |    25330     89 |       14 |        0
693.49/693.74	c  689s |      20 |  1030030 |   970527 |    25330     89 |       14 |        0
695.49/695.75	c  691s |      20 |  1033614 |   973727 |    25330     89 |       14 |        0
697.49/697.78	c  693s |      20 |  1038256 |   977827 |    25330     89 |       14 |        0
699.50/699.78	c  695s |      20 |  1040664 |   980027 |    25330     90 |       14 |        0
701.60/701.84	c  697s |      20 |  1045172 |   984027 |    25330     90 |       14 |        0
703.59/703.88	c  700s |      20 |  1048867 |   987427 |    25330     90 |       14 |        0
705.59/705.89	c  702s |      20 |  1051808 |   990127 |    25330     90 |       14 |        0
707.89/708.16	c  704s |      20 |  1054354 |   992327 |    25330     91 |       14 |        0
709.89/710.18	c  706s |      20 |  1057404 |   995227 |    27864     91 |       14 |        0
711.99/712.26	c  708s |      20 |  1060369 |   997927 |    27864     91 |       14 |        0
713.99/714.28	c  710s |      20 |  1063026 |  1000327 |    27864     91 |       14 |        0
713.99/714.30	c  710s |      21 |  1063051 |  1000345 |    27864     91 |       14 |        0
722.59/722.82	c  718s |      21 |  1063503 |  1000445 |    27864     91 |       14 |        0
724.59/724.82	c  720s |      21 |  1069056 |  1005745 |    27864     91 |       14 |        0
726.59/726.82	c  722s |      21 |  1075366 |  1009545 |    27864     92 |       14 |        0
728.59/728.83	c  724s |      21 |  1080118 |  1012845 |    27864     92 |       14 |        0
730.59/730.86	c  726s |      21 |  1086473 |  1017845 |    27864     92 |       14 |        0
732.68/732.90	c  729s |      21 |  1092403 |  1022645 |    27864     92 |       14 |        0
734.69/734.91	c  731s |      21 |  1098126 |  1027345 |    27864     93 |       14 |        0
736.68/736.93	c  733s |      21 |  1103001 |  1031245 |    27864     93 |       14 |        0
738.68/738.94	c  735s |      21 |  1107196 |  1034545 |    27864     93 |       14 |        0
740.68/740.98	c  737s |      21 |  1110957 |  1037845 |    27864     93 |       14 |        0
742.78/743.00	c  739s |      21 |  1114564 |  1040445 |    27864     94 |       14 |        0
744.78/745.06	c  741s |      21 |  1118493 |  1042845 |    27864     94 |       14 |        0
746.88/747.12	c  743s |      21 |  1121499 |  1045645 |    27864     94 |       14 |        0
748.88/749.13	c  745s |      21 |  1124011 |  1047945 |    27864     94 |       14 |        0
750.88/751.19	c  747s |      21 |  1126732 |  1050445 |    27864     94 |       14 |        0
752.98/753.27	c  749s |      21 |  1129890 |  1052945 |    27864     95 |       14 |        0
755.08/755.30	c  751s |      21 |  1133533 |  1055845 |    27864     95 |       14 |        0
757.08/757.35	c  753s |      21 |  1136385 |  1058145 |    27864     95 |       14 |        0
759.18/759.43	c  755s |      21 |  1139012 |  1060345 |    27864     95 |       14 |        0
761.18/761.50	c  757s |      21 |  1141649 |  1062545 |    27864     95 |       14 |        0
763.28/763.55	c  759s |      21 |  1145516 |  1065145 |    27864     95 |       14 |        0
765.38/765.68	c  761s |      21 |  1149033 |  1067545 |    27864     96 |       14 |        0
767.37/767.70	c  763s |      21 |  1152148 |  1070045 |    27864     96 |       14 |        0
769.47/769.70	c  765s |      21 |  1155541 |  1072845 |    27864     96 |       14 |        0
771.47/771.70	c  767s |      21 |  1159380 |  1076145 |    27864     96 |       14 |        0
773.47/773.78	c  769s |      21 |  1162854 |  1079145 |    27864     96 |       14 |        0
775.57/775.80	c  771s |      21 |  1165724 |  1081245 |    27864     96 |       14 |        0
777.59/777.83	c  773s |      21 |  1168418 |  1083145 |    27864     97 |       14 |        0
779.58/779.89	c  776s |      21 |  1172089 |  1085545 |    27864     97 |       14 |        0
781.58/781.89	c  778s |      21 |  1175356 |  1088045 |    27864     97 |       14 |        0
783.68/783.97	c  780s |      21 |  1178381 |  1090545 |    27864     97 |       14 |        0
785.78/786.06	c  782s |      21 |  1181457 |  1092745 |    27864     97 |       14 |        0
787.78/788.08	c  784s |      21 |  1184186 |  1094645 |    27864     97 |       14 |        0
789.88/790.17	c  786s |      21 |  1184811 |  1095045 |    27864     97 |       14 |        0
792.08/792.38	c  788s |      21 |  1187515 |  1097045 |    27864     98 |       14 |        0
794.08/794.38	c  790s |      21 |  1189220 |  1098445 |    27864     98 |       14 |        0
796.08/796.39	c  792s |      21 |  1192054 |  1100845 |    27864     98 |       14 |        0
798.17/798.43	c  794s |      21 |  1195047 |  1103045 |    27864     98 |       14 |        0
800.17/800.43	c  796s |      21 |  1198447 |  1105445 |    27864     98 |       14 |        0
802.17/802.49	c  798s |      21 |  1202654 |  1108545 |    27864     98 |       14 |        0
804.27/804.54	c  800s |      21 |  1206336 |  1111545 |    27864     98 |       14 |        0
806.27/806.56	c  802s |      21 |  1209777 |  1114745 |    27864     99 |       14 |        0
808.38/808.61	c  804s |      21 |  1210664 |  1115545 |    27864     99 |       14 |        0
810.37/810.68	c  806s |      21 |  1214169 |  1118245 |    27864     99 |       14 |        0
812.47/812.77	c  808s |      21 |  1216718 |  1120445 |    27864     99 |       14 |        0
814.57/814.80	c  810s |      21 |  1219184 |  1122645 |    27864     99 |       14 |        0
816.57/816.82	c  812s |      21 |  1221843 |  1124845 |    27864     99 |       14 |        0
818.77/819.02	c  815s |      21 |  1223775 |  1126545 |    27864    100 |       14 |        0
820.77/821.03	c  817s |      21 |  1226402 |  1129045 |    27864    100 |       14 |        0
822.77/823.06	c  819s |      21 |  1229151 |  1131545 |    27864    100 |       14 |        0
824.87/825.11	c  821s |      21 |  1231428 |  1133645 |    27864    100 |       14 |        0
826.87/827.16	c  823s |      21 |  1233468 |  1135545 |    27864    100 |       14 |        0
828.87/829.16	c  825s |      21 |  1235275 |  1137245 |    27864    100 |       14 |        0
830.97/831.29	c  827s |      21 |  1236934 |  1138845 |    27864    100 |       14 |        0
833.07/833.30	c  829s |      21 |  1238768 |  1140545 |    27864    100 |       14 |        0
835.07/835.32	c  831s |      21 |  1240128 |  1141845 |    27864    101 |       14 |        0
837.97/838.24	c  834s |      21 |  1242121 |  1143745 |    27864    101 |       14 |        0
839.96/840.25	c  836s |      21 |  1244266 |  1145745 |    27864    101 |       14 |        0
841.96/842.27	c  838s |      21 |  1246141 |  1147545 |    27864    101 |       14 |        0
844.06/844.36	c  840s |      21 |  1248437 |  1149745 |    27864    101 |       14 |        0
846.16/846.44	c  842s |      21 |  1250133 |  1151345 |    27864    101 |       14 |        0
848.26/848.52	c  844s |      21 |  1252035 |  1153145 |    27864    101 |       14 |        0
850.36/850.63	c  846s |      21 |  1254059 |  1155045 |    27864    101 |       14 |        0
852.37/852.66	c  848s |      21 |  1255549 |  1156445 |    27864    102 |       14 |        0
854.67/854.98	c  851s |      21 |  1257389 |  1158045 |    27864    102 |       14 |        0
856.77/857.02	c  853s |      21 |  1259923 |  1160345 |    27864    102 |       14 |        0
858.77/859.08	c  855s |      21 |  1263574 |  1163145 |    27864    102 |       14 |        0
860.86/861.12	c  857s |      21 |  1266267 |  1165645 |    27864    102 |       14 |        0
863.96/864.25	c  860s |      21 |  1267926 |  1167245 |    27864    102 |       14 |        0
865.96/866.26	c  862s |      21 |  1271672 |  1170645 |    27864    102 |       14 |        0
867.96/868.27	c  864s |      21 |  1275323 |  1174145 |    27864    103 |       14 |        0
869.96/870.29	c  866s |      21 |  1279128 |  1177845 |    27864    103 |       14 |        0
872.06/872.33	c  868s |      21 |  1282479 |  1180945 |    27864    103 |       14 |        0
874.06/874.37	c  870s |      21 |  1285886 |  1183945 |    27864    103 |       14 |        0
876.06/876.39	c  872s |      21 |  1288593 |  1186445 |    27864    104 |       14 |        0
878.06/878.39	c  874s |      21 |  1291307 |  1188945 |    27864    104 |       14 |        0
880.16/880.43	c  876s |      21 |  1293780 |  1191345 |    27864    104 |       14 |        0
882.26/882.52	c  878s |      21 |  1296171 |  1193645 |    27864    104 |       14 |        0
884.36/884.61	c  880s |      21 |  1298686 |  1196045 |    27864    104 |       14 |        0
886.36/886.69	c  882s |      21 |  1300751 |  1197945 |    27864    104 |       14 |        0
888.46/888.70	c  884s |      21 |  1302946 |  1199945 |    27864    104 |       14 |        0
890.46/890.71	c  886s |      21 |  1304122 |  1201045 |    27864    105 |       14 |        0
892.46/892.79	c  888s |      21 |  1306782 |  1203345 |    27864    105 |       14 |        0
894.56/894.82	c  890s |      21 |  1309373 |  1205745 |    27864    105 |       14 |        0
896.56/896.84	c  892s |      21 |  1311688 |  1207845 |    27864    105 |       14 |        0
898.66/898.91	c  895s |      21 |  1313863 |  1209845 |    27864    105 |       14 |        0
900.66/900.94	c  897s |      21 |  1315957 |  1211845 |    27864    105 |       14 |        0
902.66/902.97	c  899s |      21 |  1317738 |  1213545 |    27864    105 |       14 |        0
906.46/906.72	c  902s |      21 |  1319381 |  1215045 |    27864    106 |       14 |        0
908.46/908.72	c  904s |      21 |  1322180 |  1217645 |    27864    106 |       14 |        0
910.45/910.78	c  906s |      21 |  1324626 |  1219945 |    27864    106 |       14 |        0
912.45/912.78	c  908s |      21 |  1327720 |  1222845 |    27864    106 |       14 |        0
915.45/915.79	c  911s |      21 |  1328765 |  1223845 |    27864    106 |       14 |        0
917.55/917.84	c  913s |      21 |  1331519 |  1226445 |    27864    106 |       14 |        0
919.55/919.89	c  916s |      21 |  1333585 |  1228445 |    27864    106 |       14 |        0
921.66/921.95	c  918s |      21 |  1335212 |  1229945 |    27864    107 |       14 |        0
923.86/924.18	c  920s |      21 |  1337721 |  1232345 |    27864    107 |       14 |        0
925.96/926.21	c  922s |      21 |  1340490 |  1234945 |    27864    107 |       14 |        0
927.96/928.24	c  924s |      21 |  1342876 |  1237245 |    27864    107 |       14 |        0
930.06/930.33	c  926s |      21 |  1345241 |  1239545 |    27864    107 |       14 |        0
932.16/932.45	c  928s |      21 |  1347303 |  1241545 |    27864    107 |       14 |        0
934.16/934.46	c  930s |      21 |  1349147 |  1243345 |    27864    107 |       14 |        0
936.16/936.48	c  932s |      21 |  1350606 |  1244745 |    27864    108 |       14 |        0
938.26/938.50	c  934s |      21 |  1352743 |  1246845 |    27864    108 |       14 |        0
940.26/940.57	c  936s |      21 |  1355007 |  1249045 |    27864    108 |       14 |        0
942.35/942.66	c  938s |      21 |  1356874 |  1250845 |    27864    108 |       14 |        0
945.05/945.31	c  941s |      21 |  1357205 |  1251145 |    27864    108 |       14 |        0
947.05/947.37	c  943s |      21 |  1359679 |  1253345 |    27864    108 |       14 |        0
949.06/949.39	c  945s |      21 |  1362185 |  1255745 |    27864    108 |       14 |        0
951.15/951.44	c  947s |      21 |  1364679 |  1258145 |    27864    108 |       14 |        0
953.56/953.83	c  949s |      21 |  1366404 |  1259745 |    27864    109 |       14 |        0
955.55/955.89	c  952s |      21 |  1369190 |  1262445 |    27864    109 |       14 |        0
957.65/957.97	c  954s |      21 |  1371511 |  1264645 |    27864    109 |       14 |        0
959.65/959.99	c  956s |      21 |  1373836 |  1266845 |    27864    109 |       14 |        0
961.75/962.01	c  958s |      21 |  1376363 |  1269245 |    27864    109 |       14 |        0
963.75/964.06	c  960s |      21 |  1378748 |  1271545 |    27864    109 |       14 |        0
965.85/966.13	c  962s |      21 |  1380581 |  1273245 |    27864    109 |       14 |        0
967.85/968.15	c  964s |      21 |  1381434 |  1274045 |    27864    110 |       14 |        0
969.95/970.21	c  966s |      21 |  1383911 |  1276445 |    27864    110 |       14 |        0
971.94/972.22	c  968s |      21 |  1386595 |  1279045 |    27864    110 |       14 |        0
974.04/974.31	c  970s |      21 |  1389516 |  1281845 |    27864    110 |       14 |        0
976.04/976.36	c  972s |      21 |  1391863 |  1284145 |    27864    110 |       14 |        0
981.94/982.30	c  978s |      21 |  1393321 |  1285445 |    27864    110 |       14 |        0
984.14/984.41	c  980s |      21 |  1397272 |  1288445 |    27864    110 |       14 |        0
986.14/986.43	c  982s |      21 |  1402161 |  1292945 |    27864    111 |       14 |        0
988.14/988.46	c  984s |      21 |  1406471 |  1296545 |    27864    111 |       14 |        0
990.14/990.46	c  986s |      21 |  1410172 |  1299845 |    27864    111 |       14 |        0
992.24/992.52	c  988s |      21 |  1413717 |  1302945 |    27864    111 |       14 |        0
994.25/994.55	c  990s |      21 |  1416832 |  1305545 |    27864    112 |       14 |        0
996.35/996.61	c  992s |      21 |  1420232 |  1308345 |    27864    112 |       14 |        0
998.34/998.61	c  994s |      21 |  1423000 |  1310745 |    27864    112 |       14 |        0
1000.34/1000.68	c  996s |      21 |  1425855 |  1313045 |    27864    112 |       14 |        0
1002.44/1002.72	c  998s |      21 |  1427991 |  1314945 |    27864    112 |       14 |        0
1004.44/1004.74	c 1000s |      21 |  1429865 |  1316545 |    27864    112 |       14 |        0
1006.74/1007.07	c 1003s |      21 |  1432064 |  1318345 |    27864    113 |       14 |        0
1008.84/1009.15	c 1005s |      21 |  1435194 |  1320845 |    27864    113 |       14 |        0
1010.84/1011.17	c 1007s |      21 |  1438503 |  1323445 |    27864    113 |       14 |        0
1012.84/1013.20	c 1009s |      21 |  1441446 |  1325945 |    27864    113 |       14 |        0
1014.94/1015.28	c 1011s |      21 |  1444654 |  1328445 |    27864    113 |       14 |        0
1017.04/1017.35	c 1013s |      21 |  1447433 |  1330645 |    27864    113 |       14 |        0
1019.14/1019.42	c 1015s |      21 |  1450043 |  1332745 |    27864    113 |       14 |        0
1021.14/1021.49	c 1017s |      21 |  1452681 |  1334945 |    27864    114 |       14 |        0
1023.44/1023.77	c 1019s |      21 |  1453033 |  1335245 |    27864    114 |       14 |        0
1025.53/1025.83	c 1021s |      21 |  1456235 |  1337845 |    27864    114 |       14 |        0
1027.53/1027.89	c 1024s |      21 |  1459345 |  1340445 |    27864    114 |       14 |        0
1029.63/1029.92	c 1026s |      21 |  1462212 |  1342845 |    27864    114 |       14 |        0
1031.64/1031.94	c 1028s |      21 |  1464854 |  1345145 |    27864    114 |       14 |        0
1033.63/1034.00	c 1030s |      21 |  1467458 |  1347145 |    27864    114 |       14 |        0
1038.54/1038.86	c 1034s |      21 |  1468406 |  1347945 |    27864    115 |       14 |        0
1040.64/1040.91	c 1037s |      21 |  1470425 |  1349745 |    27864    115 |       14 |        0
1042.64/1042.93	c 1039s |      21 |  1473386 |  1352445 |    27864    115 |       14 |        0
1044.63/1044.95	c 1041s |      21 |  1476591 |  1355445 |    27864    115 |       14 |        0
1046.73/1047.01	c 1043s |      21 |  1479541 |  1358145 |    27864    115 |       14 |        0
1048.73/1049.01	c 1045s |      21 |  1482334 |  1360545 |    27864    115 |       14 |        0
1050.83/1051.11	c 1047s |      21 |  1484542 |  1362545 |    27864    116 |       14 |        0
1052.93/1053.20	c 1049s |      21 |  1486773 |  1364645 |    27864    116 |       14 |        0
1054.93/1055.24	c 1051s |      21 |  1488729 |  1366045 |    27864    116 |       14 |        0
1056.94/1057.26	c 1053s |      21 |  1492881 |  1369245 |    27864    116 |       14 |        0
1063.03/1063.35	c 1059s |      21 |  1495429 |  1371045 |    27864    116 |       14 |        0
1065.13/1065.40	c 1061s |      21 |  1498331 |  1373845 |    27864    116 |       14 |        0
1067.13/1067.43	c 1063s |      21 |  1503051 |  1378245 |    27864    117 |       14 |        0
1069.13/1069.44	c 1065s |      21 |  1507665 |  1382345 |    27864    117 |       14 |        0
1071.14/1071.45	c 1067s |      21 |  1511481 |  1385745 |    27864    117 |       14 |        0
1073.13/1073.49	c 1069s |      21 |  1514869 |  1388845 |    27864    117 |       14 |        0
1075.23/1075.52	c 1071s |      21 |  1517998 |  1391645 |    27864    117 |       14 |        0
1077.23/1077.55	c 1073s |      21 |  1520639 |  1394045 |    27864    118 |       14 |        0
1079.33/1079.60	c 1075s |      21 |  1523686 |  1396845 |    27864    118 |       14 |        0
1081.33/1081.60	c 1077s |      21 |  1526300 |  1399345 |    27864    118 |       14 |        0
1083.34/1083.60	c 1079s |      21 |  1528710 |  1401645 |    27864    118 |       14 |        0
1085.33/1085.68	c 1081s |      21 |  1531043 |  1403745 |    27864    118 |       14 |        0
1087.43/1087.73	c 1083s |      21 |  1533264 |  1405845 |    27864    118 |       14 |        0
1089.43/1089.77	c 1085s |      21 |  1534567 |  1407045 |    27864    119 |       14 |        0
1091.53/1091.84	c 1087s |      21 |  1536906 |  1409245 |    27864    119 |       14 |        0
1093.53/1093.89	c 1090s |      21 |  1539270 |  1411445 |    27864    119 |       14 |        0
1095.63/1095.91	c 1092s |      21 |  1541729 |  1413745 |    27864    119 |       14 |        0
1097.63/1097.96	c 1094s |      21 |  1544060 |  1415945 |    27864    119 |       14 |        0
1100.02/1100.38	c 1096s |      21 |  1546264 |  1418045 |    27864    119 |       14 |        0
1102.22/1102.52	c 1098s |      21 |  1548077 |  1419645 |    27864    119 |       14 |        0
1104.23/1104.59	c 1100s |      21 |  1549855 |  1421245 |    27864    119 |       14 |        0
1106.22/1106.59	c 1102s |      21 |  1550566 |  1421845 |    27864    120 |       14 |        0
1108.32/1108.67	c 1104s |      21 |  1553385 |  1424445 |    27864    120 |       14 |        0
1110.42/1110.73	c 1106s |      21 |  1555848 |  1426745 |    27864    120 |       14 |        0
1112.52/1112.80	c 1108s |      21 |  1558419 |  1429245 |    27864    120 |       14 |        0
1115.13/1115.44	c 1111s |      21 |  1560305 |  1431045 |    27864    120 |       14 |        0
1117.12/1117.45	c 1113s |      21 |  1562448 |  1433045 |    27864    120 |       14 |        0
1119.22/1119.53	c 1115s |      21 |  1564776 |  1435145 |    27864    120 |       14 |        0
1121.23/1121.56	c 1117s |      21 |  1566143 |  1436345 |    27864    121 |       14 |        0
1123.23/1123.59	c 1119s |      21 |  1568708 |  1438645 |    27864    121 |       14 |        0
1125.33/1125.63	c 1121s |      21 |  1570802 |  1440545 |    27864    121 |       14 |        0
1127.33/1127.64	c 1123s |      21 |  1573376 |  1442945 |    27864    121 |       14 |        0
1129.43/1129.72	c 1125s |      21 |  1575908 |  1445245 |    27864    121 |       14 |        0
1131.43/1131.76	c 1127s |      21 |  1578293 |  1447445 |    27864    121 |       14 |        0
1133.42/1133.77	c 1129s |      21 |  1580221 |  1449245 |    27864    121 |       14 |        0
1135.72/1136.07	c 1132s |      21 |  1581929 |  1450845 |    27864    122 |       14 |        0
1137.72/1138.08	c 1134s |      21 |  1584175 |  1452945 |    27864    122 |       14 |        0
1139.82/1140.12	c 1136s |      21 |  1587144 |  1455745 |    27864    122 |       14 |        0
1143.52/1143.88	c 1140s |      21 |  1588821 |  1457345 |    27864    122 |       14 |        0
1145.62/1146.00	c 1142s |      21 |  1590565 |  1458945 |    27864    122 |       14 |        0
1147.72/1148.08	c 1144s |      21 |  1592685 |  1460945 |    27864    122 |       14 |        0
1149.72/1150.09	c 1146s |      21 |  1594612 |  1462745 |    27864    122 |       14 |        0
1151.82/1152.13	c 1148s |      21 |  1596543 |  1464545 |    27864    122 |       14 |        0
1154.01/1154.32	c 1150s |      21 |  1597817 |  1465745 |    27864    123 |       14 |        0
1156.11/1156.40	c 1152s |      21 |  1600350 |  1468145 |    27864    123 |       14 |        0
1158.12/1158.41	c 1154s |      21 |  1602457 |  1470145 |    27864    123 |       14 |        0
1160.11/1160.41	c 1156s |      21 |  1604872 |  1472445 |    27864    123 |       14 |        0
1162.11/1162.42	c 1158s |      21 |  1607264 |  1474645 |    27864    123 |       14 |        0
1164.12/1164.49	c 1160s |      21 |  1607903 |  1475245 |    27864    123 |       14 |        0
1166.22/1166.56	c 1162s |      21 |  1609900 |  1477145 |    27864    123 |       14 |        0
1168.22/1168.57	c 1164s |      21 |  1611843 |  1478945 |    27864    123 |       14 |        0
1170.52/1170.88	c 1167s |      21 |  1613364 |  1480345 |    27864    124 |       14 |        0
1172.62/1172.98	c 1169s |      21 |  1615509 |  1482345 |    27864    124 |       14 |        0
1175.02/1175.30	c 1171s |      21 |  1617792 |  1484345 |    27864    124 |       14 |        0
1177.02/1177.36	c 1173s |      21 |  1622028 |  1487645 |    27864    124 |       14 |        0
1179.12/1179.40	c 1175s |      21 |  1626116 |  1490745 |    30651    124 |       14 |        0
1181.12/1181.43	c 1177s |      21 |  1629274 |  1493345 |    30651    124 |       14 |        0
1183.12/1183.44	c 1179s |      21 |  1632639 |  1495845 |    30651    124 |       14 |        0
1185.11/1185.49	c 1181s |      21 |  1635257 |  1497945 |    30651    125 |       14 |        0
1187.21/1187.52	c 1183s |      21 |  1637753 |  1500045 |    30651    125 |       14 |        0
1187.72/1188.04	c 1184s |      22 |  1638490 |  1500622 |    30651    125 |       14 |        0
1190.21/1190.57	c 1186s |      22 |  1641182 |  1502022 |    30651    125 |       14 |        0
1192.91/1193.20	c 1189s |      22 |  1647590 |  1505822 |    30651    125 |       14 |        0
1194.91/1195.21	c 1191s |      22 |  1655336 |  1512622 |    30651    125 |       14 |        0
1196.91/1197.22	c 1193s |      22 |  1660036 |  1516822 |    30651    126 |       14 |        0
1198.91/1199.23	c 1195s |      22 |  1667222 |  1522722 |    30651    126 |       14 |        0
1200.91/1201.26	c 1197s |      22 |  1673673 |  1528322 |    30651    126 |       14 |        0
1202.91/1203.26	c 1199s |      22 |  1678256 |  1532522 |    30651    127 |       14 |        0
1204.91/1205.27	c 1201s |      22 |  1682327 |  1536322 |    30651    127 |       14 |        0
1207.01/1207.30	c 1203s |      22 |  1685992 |  1539822 |    30651    127 |       14 |        0
1209.01/1209.34	c 1205s |      22 |  1688963 |  1542422 |    30651    127 |       14 |        0
1211.01/1211.37	c 1207s |      22 |  1691776 |  1544522 |    30651    127 |       14 |        0
1213.01/1213.40	c 1209s |      22 |  1696119 |  1548122 |    30651    127 |       14 |        0
1215.11/1215.45	c 1211s |      22 |  1702529 |  1552822 |    30651    128 |       14 |        0
1217.11/1217.49	c 1213s |      22 |  1707641 |  1557022 |    30651    128 |       14 |        0
1219.21/1219.50	c 1215s |      22 |  1712059 |  1560622 |    30651    128 |       14 |        0
1221.21/1221.54	c 1217s |      22 |  1716057 |  1563822 |    30651    128 |       14 |        0
1223.21/1223.57	c 1219s |      22 |  1719074 |  1566322 |    30651    129 |       14 |        0
1225.31/1225.62	c 1221s |      22 |  1723006 |  1569522 |    30651    129 |       14 |        0
1227.42/1227.74	c 1223s |      22 |  1726046 |  1572122 |    30651    129 |       14 |        0
1229.52/1229.81	c 1225s |      22 |  1728404 |  1574222 |    30651    129 |       14 |        0
1231.51/1231.89	c 1228s |      22 |  1731134 |  1576422 |    30651    129 |       14 |        0
1233.61/1233.96	c 1230s |      22 |  1733311 |  1578022 |    30651    129 |       14 |        0
1235.71/1236.04	c 1232s |      22 |  1735836 |  1580122 |    30651    129 |       14 |        0
1237.81/1238.16	c 1234s |      22 |  1738072 |  1581922 |    30651    129 |       14 |        0
1240.01/1240.34	c 1236s |      22 |  1738578 |  1582322 |    30651    130 |       14 |        0
1242.41/1242.70	c 1238s |      22 |  1741493 |  1584922 |    30651    130 |       14 |        0
1244.40/1244.74	c 1240s |      22 |  1744270 |  1587222 |    30651    130 |       14 |        0
1246.40/1246.75	c 1242s |      22 |  1744396 |  1587322 |    30651    130 |       14 |        0
1248.40/1248.75	c 1244s |      22 |  1747033 |  1589422 |    30651    130 |       14 |        0
1250.41/1250.78	c 1246s |      22 |  1749864 |  1591722 |    30651    130 |       14 |        0
1252.41/1252.78	c 1248s |      22 |  1753204 |  1594322 |    30651    130 |       14 |        0
1254.51/1254.83	c 1250s |      22 |  1755503 |  1596222 |    30651    130 |       14 |        0
1256.61/1256.96	c 1253s |      22 |  1757836 |  1597922 |    30651    130 |       14 |        0
1259.21/1259.57	c 1255s |      22 |  1759134 |  1598922 |    30651    131 |       14 |        0
1261.30/1261.61	c 1257s |      22 |  1762165 |  1601422 |    30651    131 |       14 |        0
1263.30/1263.68	c 1259s |      22 |  1765612 |  1604322 |    30651    131 |       14 |        0
1265.40/1265.72	c 1261s |      22 |  1767689 |  1605922 |    30651    131 |       14 |        0
1267.40/1267.73	c 1263s |      22 |  1773101 |  1610422 |    30651    131 |       14 |        0
1269.40/1269.76	c 1265s |      22 |  1778025 |  1614622 |    30651    131 |       14 |        0
1271.50/1271.80	c 1267s |      22 |  1781925 |  1618122 |    30651    132 |       14 |        0
1273.51/1273.85	c 1269s |      22 |  1786202 |  1622222 |    30651    132 |       14 |        0
1275.50/1275.88	c 1272s |      22 |  1790062 |  1626022 |    30651    132 |       14 |        0
1277.60/1277.91	c 1274s |      22 |  1794350 |  1630122 |    30651    132 |       14 |        0
1279.60/1279.97	c 1276s |      22 |  1798228 |  1633822 |    30651    133 |       14 |        0
1281.70/1282.00	c 1278s |      22 |  1801711 |  1637222 |    30651    133 |       14 |        0
1283.70/1284.01	c 1280s |      22 |  1804794 |  1640122 |    30651    133 |       14 |        0
1285.70/1286.02	c 1282s |      22 |  1807435 |  1642622 |    30651    133 |       14 |        0
1287.70/1288.03	c 1284s |      22 |  1809623 |  1644722 |    30651    133 |       14 |        0
1289.70/1290.03	c 1286s |      22 |  1811617 |  1646722 |    30651    133 |       14 |        0
1292.00/1292.35	c 1288s |      22 |  1813555 |  1648522 |    30651    134 |       14 |        0
1294.10/1294.40	c 1290s |      22 |  1815882 |  1650822 |    30651    134 |       14 |        0
1296.40/1296.75	c 1292s |      22 |  1817963 |  1652822 |    30651    134 |       14 |        0
1300.49/1300.85	c 1296s |      22 |  1819634 |  1654422 |    30651    134 |       14 |        0
1302.49/1302.86	c 1298s |      22 |  1821694 |  1656422 |    30651    134 |       14 |        0
1304.59/1304.93	c 1301s |      22 |  1824984 |  1659322 |    30651    134 |       14 |        0
1306.69/1307.03	c 1303s |      22 |  1827669 |  1661622 |    30651    134 |       14 |        0
1308.70/1309.09	c 1305s |      22 |  1829818 |  1663422 |    30651    134 |       14 |        0
1310.79/1311.14	c 1307s |      22 |  1831582 |  1665022 |    30651    134 |       14 |        0
1312.79/1313.17	c 1309s |      22 |  1832364 |  1665722 |    30651    135 |       14 |        0
1314.79/1315.19	c 1311s |      22 |  1835733 |  1669022 |    30651    135 |       14 |        0
1316.89/1317.21	c 1313s |      22 |  1837882 |  1671022 |    30651    135 |       14 |        0
1318.99/1319.30	c 1315s |      22 |  1841260 |  1674222 |    30651    135 |       14 |        0
1320.99/1321.32	c 1317s |      22 |  1844273 |  1677222 |    30651    135 |       14 |        0
1323.10/1323.41	c 1319s |      22 |  1846434 |  1679322 |    30651    135 |       14 |        0
1325.09/1325.46	c 1321s |      22 |  1848728 |  1681522 |    30651    135 |       14 |        0
1327.19/1327.51	c 1323s |      22 |  1850282 |  1683022 |    30651    136 |       14 |        0
1329.19/1329.58	c 1325s |      22 |  1852855 |  1685522 |    30651    136 |       14 |        0
1331.29/1331.68	c 1327s |      22 |  1855159 |  1687722 |    30651    136 |       14 |        0
1333.39/1333.70	c 1329s |      22 |  1857658 |  1690022 |    30651    136 |       14 |        0
1335.39/1335.79	c 1331s |      22 |  1859883 |  1692122 |    30651    136 |       14 |        0
1337.49/1337.82	c 1333s |      22 |  1862037 |  1694122 |    30651    136 |       14 |        0
1339.49/1339.90	c 1336s |      22 |  1863854 |  1695822 |    30651    136 |       14 |        0
1341.59/1341.92	c 1338s |      22 |  1865596 |  1697422 |    30651    136 |       14 |        0
1343.59/1343.96	c 1340s |      22 |  1866889 |  1698522 |    30651    137 |       14 |        0
1345.99/1346.40	c 1342s |      22 |  1868227 |  1699822 |    30651    137 |       14 |        0
1348.08/1348.45	c 1344s |      22 |  1870271 |  1701622 |    30651    137 |       14 |        0
1350.08/1350.45	c 1346s |      22 |  1872890 |  1704022 |    30651    137 |       14 |        0
1352.18/1352.50	c 1348s |      22 |  1875007 |  1705922 |    30651    137 |       14 |        0
1354.18/1354.58	c 1350s |      22 |  1877184 |  1707922 |    30651    137 |       14 |        0
1356.28/1356.69	c 1352s |      22 |  1879649 |  1710122 |    30651    137 |       14 |        0
1358.38/1358.70	c 1354s |      22 |  1881444 |  1711822 |    30651    137 |       14 |        0
1360.39/1360.77	c 1356s |      22 |  1883380 |  1713622 |    30651    137 |       14 |        0
1363.09/1363.43	c 1359s |      22 |  1884651 |  1714822 |    30651    138 |       14 |        0
1365.39/1365.76	c 1361s |      22 |  1886436 |  1716522 |    30651    138 |       14 |        0
1367.39/1367.77	c 1363s |      22 |  1888981 |  1718922 |    30651    138 |       14 |        0
1369.49/1369.80	c 1365s |      22 |  1891598 |  1721322 |    30651    138 |       14 |        0
1372.29/1372.67	c 1368s |      22 |  1893442 |  1722922 |    30651    138 |       14 |        0
1374.69/1375.04	c 1371s |      22 |  1894587 |  1723922 |    30651    138 |       14 |        0
1376.68/1377.07	c 1373s |      22 |  1896673 |  1725622 |    30651    138 |       14 |        0
1378.78/1379.10	c 1375s |      22 |  1900980 |  1729322 |    30651    138 |       14 |        0
1380.78/1381.10	c 1377s |      22 |  1906037 |  1733722 |    30651    139 |       14 |        0
1382.78/1383.13	c 1379s |      22 |  1910459 |  1737722 |    30651    139 |       14 |        0
1384.78/1385.17	c 1381s |      22 |  1914699 |  1741622 |    30651    139 |       14 |        0
1386.79/1387.19	c 1383s |      22 |  1918298 |  1744922 |    30651    139 |       14 |        0
1390.18/1390.53	c 1386s |      22 |  1920367 |  1746922 |    30651    139 |       14 |        0
1392.18/1392.54	c 1388s |      22 |  1922057 |  1748522 |    30651    140 |       14 |        0
1394.19/1394.58	c 1390s |      22 |  1924859 |  1751222 |    30651    140 |       14 |        0
1396.28/1396.63	c 1392s |      22 |  1926935 |  1753222 |    30651    140 |       14 |        0
1398.78/1399.18	c 1395s |      22 |  1930881 |  1756922 |    30651    140 |       14 |        0
1400.78/1401.19	c 1397s |      22 |  1934311 |  1760022 |    30651    140 |       14 |        0
1402.78/1403.19	c 1399s |      22 |  1937928 |  1763422 |    30651    140 |       14 |        0
1407.48/1407.81	c 1403s |      22 |  1940006 |  1765222 |    30651    141 |       14 |        0
1409.48/1409.87	c 1406s |      22 |  1943888 |  1768822 |    30651    141 |       14 |        0
1411.48/1411.89	c 1408s |      22 |  1947093 |  1771822 |    30651    141 |       14 |        0
1413.58/1413.96	c 1410s |      22 |  1949995 |  1774522 |    30651    141 |       14 |        0
1415.58/1415.98	c 1412s |      22 |  1952366 |  1776822 |    30651    141 |       14 |        0
1417.58/1418.00	c 1414s |      22 |  1955313 |  1779422 |    30651    141 |       14 |        0
1421.18/1421.51	c 1417s |      22 |  1956598 |  1780622 |    30651    141 |       14 |        0
1423.18/1423.56	c 1419s |      22 |  1958257 |  1782122 |    30651    142 |       14 |        0
1425.18/1425.57	c 1421s |      22 |  1959496 |  1783222 |    30651    142 |       14 |        0
1427.18/1427.58	c 1423s |      22 |  1962273 |  1785722 |    30651    142 |       14 |        0
1429.18/1429.60	c 1425s |      22 |  1965232 |  1788422 |    30651    142 |       14 |        0
1431.28/1431.63	c 1427s |      22 |  1968026 |  1790922 |    30651    142 |       14 |        0
1433.28/1433.65	c 1429s |      22 |  1970335 |  1793122 |    30651    142 |       14 |        0
1435.38/1435.72	c 1431s |      22 |  1972779 |  1795422 |    30651    142 |       14 |        0
1437.38/1437.79	c 1433s |      22 |  1975197 |  1797722 |    30651    142 |       14 |        0
1440.37/1440.78	c 1436s |      22 |  1975405 |  1797922 |    30651    143 |       14 |        0
1442.67/1443.04	c 1439s |      22 |  1977024 |  1799422 |    30651    143 |       14 |        0
1444.67/1445.06	c 1441s |      22 |  1980264 |  1802422 |    30651    143 |       14 |        0
1446.67/1447.09	c 1443s |      22 |  1983029 |  1805022 |    30651    143 |       14 |        0
1448.77/1449.11	c 1445s |      22 |  1985530 |  1807422 |    30651    143 |       14 |        0
1450.77/1451.12	c 1447s |      22 |  1987914 |  1809622 |    30651    143 |       14 |        0
1452.78/1453.19	c 1449s |      22 |  1990500 |  1812122 |    30651    143 |       14 |        0
1454.87/1455.20	c 1451s |      22 |  1992682 |  1813922 |    30651    143 |       14 |        0
1456.88/1457.21	c 1453s |      22 |  1993510 |  1814622 |    30651    144 |       14 |        0
1458.88/1459.23	c 1455s |      22 |  1996534 |  1817222 |    30651    144 |       14 |        0
1460.98/1461.31	c 1457s |      22 |  2000378 |  1820522 |    30651    144 |       14 |        0
1462.97/1463.36	c 1459s |      22 |  2003253 |  1823122 |    30651    144 |       14 |        0
1465.07/1465.43	c 1461s |      22 |  2005275 |  1825022 |    30651    144 |       14 |        0
1467.08/1467.48	c 1463s |      22 |  2006905 |  1826622 |    30651    144 |       14 |        0
1469.17/1469.57	c 1465s |      22 |  2008608 |  1828022 |    30651    144 |       14 |        0
1471.27/1471.63	c 1467s |      22 |  2011317 |  1830422 |    30651    144 |       14 |        0
1473.37/1473.70	c 1469s |      22 |  2012169 |  1831222 |    30651    145 |       14 |        0
1475.37/1475.78	c 1471s |      22 |  2014736 |  1833622 |    30651    145 |       14 |        0
1477.47/1477.82	c 1473s |      22 |  2017993 |  1836722 |    30651    145 |       14 |        0
1479.47/1479.83	c 1475s |      22 |  2020939 |  1839522 |    30651    145 |       14 |        0
1481.48/1481.87	c 1478s |      22 |  2023648 |  1842022 |    30651    145 |       14 |        0
1483.47/1483.88	c 1480s |      22 |  2026378 |  1844422 |    30651    145 |       14 |        0
1485.57/1485.99	c 1482s |      22 |  2028989 |  1846822 |    30651    145 |       14 |        0
1487.67/1488.03	c 1484s |      22 |  2030337 |  1848022 |    30651    146 |       14 |        0
1490.06/1490.49	c 1486s |      22 |  2032497 |  1849922 |    30651    146 |       14 |        0
1492.17/1492.52	c 1488s |      22 |  2034092 |  1851322 |    30651    146 |       14 |        0
1494.17/1494.56	c 1490s |      22 |  2037996 |  1854822 |    30651    146 |       14 |        0
1496.17/1496.59	c 1492s |      22 |  2041037 |  1857722 |    30651    146 |       14 |        0
1498.27/1498.65	c 1494s |      22 |  2043749 |  1860222 |    30651    146 |       14 |        0
1500.37/1500.71	c 1496s |      22 |  2047043 |  1862822 |    30651    146 |       14 |        0
1502.38/1502.73	c 1498s |      22 |  2048747 |  1864422 |    30651    147 |       14 |        0
1504.37/1504.77	c 1500s |      22 |  2051434 |  1866922 |    30651    147 |       14 |        0
1506.47/1506.84	c 1502s |      22 |  2054931 |  1870222 |    30651    147 |       14 |        0
1508.47/1508.85	c 1504s |      22 |  2058327 |  1873322 |    30651    147 |       14 |        0
1510.47/1510.88	c 1507s |      22 |  2061488 |  1875922 |    30651    147 |       14 |        0
1512.47/1512.88	c 1509s |      22 |  2064039 |  1878322 |    30651    147 |       14 |        0
1514.57/1514.95	c 1511s |      22 |  2066585 |  1880622 |    30651    147 |       14 |        0
1517.97/1518.37	c 1514s |      22 |  2066966 |  1880922 |    30651    148 |       14 |        0
1520.06/1520.42	c 1516s |      22 |  2069122 |  1882922 |    30651    148 |       14 |        0
1522.07/1522.46	c 1518s |      22 |  2072456 |  1885522 |    30651    148 |       14 |        0
1524.26/1524.69	c 1520s |      22 |  2074468 |  1887322 |    30651    148 |       14 |        0
1526.96/1527.34	c 1523s |      22 |  2078733 |  1890822 |    30651    148 |       14 |        0
1529.06/1529.44	c 1525s |      22 |  2078977 |  1891022 |    30651    148 |       14 |        0
1531.16/1531.51	c 1527s |      22 |  2081545 |  1893222 |    30651    148 |       14 |        0
1533.17/1533.54	c 1529s |      22 |  2084047 |  1895322 |    30651    148 |       14 |        0
1535.66/1536.05	c 1532s |      22 |  2086568 |  1897422 |    30651    149 |       14 |        0
1537.66/1538.09	c 1534s |      22 |  2089209 |  1899622 |    30651    149 |       14 |        0
1539.76/1540.13	c 1536s |      22 |  2092207 |  1902222 |    30651    149 |       14 |        0
1541.76/1542.13	c 1538s |      22 |  2095912 |  1905422 |    30651    149 |       14 |        0
1543.76/1544.14	c 1540s |      22 |  2099153 |  1908322 |    30651    149 |       14 |        0
1545.75/1546.15	c 1542s |      22 |  2101136 |  1909922 |    30651    149 |       14 |        0
1547.75/1548.15	c 1544s |      22 |  2104002 |  1912422 |    30651    149 |       14 |        0
1550.45/1550.83	c 1546s |      22 |  2106160 |  1914322 |    30651    150 |       14 |        0
1552.55/1552.90	c 1549s |      22 |  2109750 |  1917422 |    30651    150 |       14 |        0
1554.55/1554.90	c 1551s |      22 |  2113335 |  1920522 |    30651    150 |       14 |        0
1556.56/1556.91	c 1553s |      22 |  2115374 |  1922322 |    30651    150 |       14 |        0
1558.56/1558.92	c 1555s |      22 |  2118242 |  1924822 |    30651    150 |       14 |        0
1560.57/1560.95	c 1557s |      22 |  2121133 |  1927422 |    30651    150 |       14 |        0
1562.56/1562.98	c 1559s |      22 |  2124128 |  1930122 |    30651    150 |       14 |        0
1566.36/1566.73	c 1562s |      22 |  2124939 |  1930822 |    30651    151 |       14 |        0
1568.36/1568.78	c 1564s |      22 |  2128775 |  1934122 |    30651    151 |       14 |        0
1570.46/1570.83	c 1566s |      22 |  2132074 |  1937122 |    30651    151 |       14 |        0
1572.55/1572.90	c 1569s |      22 |  2135176 |  1939822 |    30651    151 |       14 |        0
1574.55/1574.90	c 1571s |      22 |  2137707 |  1942122 |    30651    151 |       14 |        0
1576.55/1576.98	c 1573s |      22 |  2139925 |  1944122 |    30651    151 |       14 |        0
1578.65/1579.08	c 1575s |      22 |  2142193 |  1946122 |    30651    151 |       14 |        0
1580.95/1581.37	c 1577s |      22 |  2143479 |  1947322 |    30651    152 |       14 |        0
1583.15/1583.56	c 1579s |      22 |  2144591 |  1948322 |    30651    152 |       14 |        0
1585.25/1585.65	c 1581s |      22 |  2148099 |  1951422 |    30651    152 |       14 |        0
1587.25/1587.66	c 1583s |      22 |  2151607 |  1954522 |    30651    152 |       14 |        0
1589.25/1589.69	c 1585s |      22 |  2155415 |  1957822 |    30651    152 |       14 |        0
1591.36/1591.71	c 1587s |      22 |  2159186 |  1961022 |    30651    152 |       14 |        0
1593.36/1593.72	c 1589s |      22 |  2161459 |  1963122 |    30651    152 |       14 |        0
1595.35/1595.77	c 1591s |      22 |  2164292 |  1965622 |    30651    153 |       14 |        0
1597.45/1597.81	c 1593s |      22 |  2166199 |  1967222 |    30651    153 |       14 |        0
1601.05/1601.43	c 1597s |      22 |  2167909 |  1968822 |    30651    153 |       14 |        0
1603.05/1603.48	c 1599s |      22 |  2170810 |  1971422 |    30651    153 |       14 |        0
1605.05/1605.49	c 1601s |      22 |  2174151 |  1974322 |    30651    153 |       14 |        0
1607.15/1607.55	c 1603s |      22 |  2177266 |  1977122 |    30651    153 |       14 |        0
1609.25/1609.61	c 1605s |      22 |  2179749 |  1979422 |    30651    153 |       14 |        0
1611.65/1612.01	c 1608s |      22 |  2181028 |  1980522 |    30651    154 |       14 |        0
1613.65/1614.01	c 1610s |      22 |  2183061 |  1982322 |    30651    154 |       14 |        0
1615.66/1616.05	c 1612s |      22 |  2186468 |  1985322 |    30651    154 |       14 |        0
1617.76/1618.11	c 1614s |      22 |  2189152 |  1987822 |    30651    154 |       14 |        0
1619.75/1620.16	c 1616s |      22 |  2192586 |  1990922 |    30651    154 |       14 |        0
1621.85/1622.20	c 1618s |      22 |  2194134 |  1992122 |    30651    154 |       14 |        0
1624.05/1624.44	c 1620s |      22 |  2196469 |  1994322 |    30651    154 |       14 |        0
1626.15/1626.52	c 1622s |      22 |  2198961 |  1996622 |    30651    154 |       14 |        0
1629.14/1629.54	c 1625s |      22 |  2200985 |  1998422 |    30651    155 |       14 |        0
1631.14/1631.59	c 1627s |      22 |  2203916 |  2000922 |    30651    155 |       14 |        0
1634.75/1635.19	c 1631s |      22 |  2204964 |  2001822 |    30651    155 |       14 |        0
1636.85/1637.22	c 1633s |      22 |  2207759 |  2004322 |    30651    155 |       14 |        0
1638.85/1639.28	c 1635s |      22 |  2210658 |  2006822 |    30651    155 |       14 |        0
1640.96/1641.33	c 1637s |      22 |  2213965 |  2009622 |    30651    155 |       14 |        0
1642.95/1643.36	c 1639s |      22 |  2217026 |  2012322 |    30651    155 |       14 |        0
1645.45/1645.87	c 1642s |      22 |  2219596 |  2014522 |    30651    156 |       14 |        0
1647.55/1647.93	c 1644s |      22 |  2220234 |  2015122 |    30651    156 |       14 |        0
1649.54/1649.98	c 1646s |      22 |  2223328 |  2017922 |    30651    156 |       14 |        0
1651.64/1652.05	c 1648s |      22 |  2226822 |  2020922 |    30651    156 |       14 |        0
1653.64/1654.05	c 1650s |      22 |  2229544 |  2023322 |    30651    156 |       14 |        0
1655.64/1656.09	c 1652s |      22 |  2231932 |  2025522 |    30651    156 |       14 |        0
1657.74/1658.14	c 1654s |      22 |  2234350 |  2027722 |    30651    156 |       14 |        0
1660.04/1660.40	c 1656s |      22 |  2236981 |  2030022 |    30651    157 |       14 |        0
1662.24/1662.69	c 1658s |      22 |  2237980 |  2030922 |    30651    157 |       14 |        0
1664.24/1664.70	c 1660s |      22 |  2241193 |  2033722 |    30651    157 |       14 |        0
1666.74/1667.11	c 1663s |      22 |  2245101 |  2037122 |    30651    157 |       14 |        0
1668.74/1669.16	c 1665s |      22 |  2248261 |  2039922 |    30651    157 |       14 |        0
1670.84/1671.23	c 1667s |      22 |  2250191 |  2041722 |    30651    157 |       14 |        0
1672.85/1673.27	c 1669s |      22 |  2252842 |  2044022 |    30651    157 |       14 |        0
1674.95/1675.31	c 1671s |      22 |  2255351 |  2046222 |    30651    157 |       14 |        0
1677.04/1677.43	c 1673s |      22 |  2255795 |  2046622 |    30651    158 |       14 |        0
1679.04/1679.48	c 1675s |      22 |  2256452 |  2047222 |    30651    158 |       14 |        0
1681.14/1681.50	c 1677s |      22 |  2259883 |  2050322 |    30651    158 |       14 |        0
1683.14/1683.56	c 1679s |      22 |  2263124 |  2053322 |    30651    158 |       14 |        0
1685.24/1685.61	c 1681s |      22 |  2266078 |  2056022 |    30651    158 |       14 |        0
1687.24/1687.69	c 1683s |      22 |  2268979 |  2058722 |    30651    158 |       14 |        0
1689.34/1689.74	c 1685s |      22 |  2271727 |  2061322 |    30651    158 |       14 |        0
1691.34/1691.75	c 1687s |      22 |  2274483 |  2063722 |    30651    159 |       14 |        0
1695.03/1695.47	c 1691s |      22 |  2276157 |  2065322 |    30651    159 |       14 |        0
1697.13/1697.51	c 1693s |      22 |  2279209 |  2068122 |    30651    159 |       14 |        0
1699.14/1699.57	c 1695s |      22 |  2282808 |  2071422 |    30651    159 |       14 |        0
1701.23/1701.66	c 1697s |      22 |  2285350 |  2073722 |    30651    159 |       14 |        0
1703.33/1703.73	c 1699s |      22 |  2287656 |  2075922 |    30651    159 |       14 |        0
1705.33/1705.73	c 1701s |      22 |  2290416 |  2078422 |    30651    159 |       14 |        0
1707.33/1707.76	c 1703s |      22 |  2292058 |  2079822 |    30651    160 |       14 |        0
1709.33/1709.78	c 1705s |      22 |  2294788 |  2082322 |    30651    160 |       14 |        0
1711.43/1711.83	c 1707s |      22 |  2296906 |  2084222 |    30651    160 |       14 |        0
1713.43/1713.87	c 1710s |      22 |  2299932 |  2086922 |    30651    160 |       14 |        0
1715.43/1715.88	c 1712s |      22 |  2302450 |  2089122 |    30651    160 |       14 |        0
1717.53/1717.92	c 1714s |      22 |  2304915 |  2091422 |    30651    160 |       14 |        0
1719.63/1720.07	c 1716s |      22 |  2307288 |  2093622 |    30651    160 |       14 |        0
1721.73/1722.10	c 1718s |      22 |  2309561 |  2095722 |    30651    160 |       14 |        0
1723.93/1724.35	c 1720s |      22 |  2310716 |  2096822 |    30651    161 |       14 |        0
1726.03/1726.40	c 1722s |      22 |  2312818 |  2098722 |    30651    161 |       14 |        0
1728.03/1728.43	c 1724s |      22 |  2315885 |  2101522 |    30651    161 |       14 |        0
1737.43/1737.83	c 1733s |      22 |  2317068 |  2102622 |    30651    161 |       14 |        0
1739.53/1739.90	c 1736s |      22 |  2319568 |  2104722 |    30651    161 |       14 |        0
1741.53/1741.98	c 1738s |      22 |  2321735 |  2106722 |    30651    161 |       14 |        0
1743.63/1744.07	c 1740s |      22 |  2323989 |  2108822 |    30651    161 |       14 |        0
1745.73/1746.11	c 1742s |      22 |  2326034 |  2110722 |    30651    161 |       14 |        0
1747.83/1748.23	c 1744s |      22 |  2328019 |  2112522 |    30651    161 |       14 |        0
1749.93/1750.30	c 1746s |      22 |  2329370 |  2113822 |    30651    162 |       14 |        0
1751.94/1752.34	c 1748s |      22 |  2331798 |  2116122 |    30651    162 |       14 |        0
1754.03/1754.49	c 1750s |      22 |  2333631 |  2117822 |    30651    162 |       14 |        0
1756.13/1756.56	c 1752s |      22 |  2335837 |  2119822 |    30651    162 |       14 |        0
1758.23/1758.63	c 1754s |      22 |  2338074 |  2121922 |    30651    162 |       14 |        0
1760.33/1760.71	c 1756s |      22 |  2340255 |  2123922 |    30651    162 |       14 |        0
1762.33/1762.73	c 1758s |      22 |  2342145 |  2125722 |    30651    162 |       14 |        0
1764.33/1764.73	c 1760s |      22 |  2344078 |  2127522 |    30651    162 |       14 |        0
1766.43/1766.82	c 1762s |      22 |  2345961 |  2129322 |    30651    162 |       14 |        0
1768.43/1768.89	c 1765s |      22 |  2347575 |  2130822 |    30651    163 |       14 |        0
1774.22/1774.63	c 1770s |      22 |  2348705 |  2131922 |    30651    163 |       14 |        0
1776.23/1776.65	c 1772s |      22 |  2351393 |  2134422 |    30651    163 |       14 |        0
1778.33/1778.72	c 1774s |      22 |  2353765 |  2136622 |    30651    163 |       14 |        0
1780.32/1780.78	c 1776s |      22 |  2356278 |  2139022 |    30651    163 |       14 |        0
1782.42/1782.89	c 1779s |      22 |  2358265 |  2140822 |    30651    163 |       14 |        0
1784.52/1784.93	c 1781s |      22 |  2360367 |  2142722 |    30651    163 |       14 |        0
1786.62/1787.06	c 1783s |      22 |  2362149 |  2144422 |    30651    163 |       14 |        0
1788.62/1789.07	c 1785s |      22 |  2363626 |  2145822 |    30651    163 |       14 |        0
1791.12/1791.53	c 1787s |      22 |  2363946 |  2146122 |    30651    164 |       14 |        0
1793.22/1793.62	c 1789s |      22 |  2365320 |  2147422 |    30651    164 |       14 |        0
1795.22/1795.66	c 1791s |      22 |  2367795 |  2149722 |    30651    164 |       14 |        0
1797.22/1797.69	c 1793s |      22 |  2370308 |  2152122 |    30651    164 |       14 |        0
1799.33/1799.78	c 1795s |      22 |  2372466 |  2154122 |    30651    164 |       14 |        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-4100289-1466213345/watcher-4100289-1466213345 -o /tmp/evaluation-result-4100289-1466213345/solver-4100289-1466213345 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23293 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100289-1466213345.opb 

pid=25071
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.09 2.08 2.02 3/179 25074
/proc/meminfo: memFree=30731292/32872528 swapFree=7780/7780
[pid=25074] ppid=25071 vsize=765372 CPUtime=0 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 23276 0 -1 4202496 2862 0 0 0 0 0 0 0 20 0 4 0 23379324 783740928 3222 33554432000 4194304 16246674 140734990099680 140734990099104 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 191855 3231 441 2943 0 188749 0
[pid=25074/tid=25075] ppid=25071 vsize=782780 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25075/stat : 25075 (toysat) S 25071 25074 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23379324 801566720 3292 33554432000 4194304 16246674 140734990099680 139753159634160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25076] ppid=25071 vsize=786876 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23379324 805761024 3309 33554432000 4194304 16246674 140734990099680 139753149144304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=790972 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23379324 809955328 3325 33554432000 4194304 16246674 140734990099680 139753068424368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100181 s]
/proc/loadavg: 2.09 2.08 2.02 3/179 25074
/proc/meminfo: memFree=30731292/32872528 swapFree=7780/7780
[pid=25074] ppid=25071 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 23276 0 -1 4202496 29183 0 0 0 5 4 0 0 20 0 4 0 23379324 1333334016 29481 33554432000 4194304 16246674 140734990099680 140734990098992 8058197 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 325521 29499 802 2943 0 322415 0
[pid=25074/tid=25075] ppid=25071 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25075/stat : 25075 (toysat) S 25071 25074 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23379324 1333334016 29512 33554432000 4194304 16246674 140734990099680 139753159634160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25076] ppid=25071 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23379324 1333334016 29523 33554432000 4194304 16246674 140734990099680 139753149144304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23379324 1333334016 29533 33554432000 4194304 16246674 140734990099680 139753068424368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200534 s]
/proc/loadavg: 2.09 2.08 2.02 3/179 25074
/proc/meminfo: memFree=30731292/32872528 swapFree=7780/7780
[pid=25074] ppid=25071 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 23276 0 -1 4202496 48570 0 0 0 12 7 0 0 20 0 4 0 23379324 1344868352 49379 33554432000 4194304 16246674 140734990099680 140734990098992 12655127 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 328337 49379 822 2943 0 325231 0
[pid=25074/tid=25075] ppid=25071 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25075/stat : 25075 (toysat) S 25071 25074 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23379324 1344868352 49379 33554432000 4194304 16246674 140734990099680 139753159634160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25076] ppid=25071 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23379324 1344868352 49379 33554432000 4194304 16246674 140734990099680 139753149144304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23379324 1344868352 49379 33554432000 4194304 16246674 140734990099680 139753068424368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300501 s]
/proc/loadavg: 2.09 2.08 2.02 3/179 25074
/proc/meminfo: memFree=30731292/32872528 swapFree=7780/7780
[pid=25074] ppid=25071 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 23276 0 -1 4202496 64558 0 0 0 20 9 0 0 20 0 4 0 23379324 1344868352 65367 33554432000 4194304 16246674 140734990099680 140734990098992 12655109 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 328337 65384 833 2943 0 325231 0
[pid=25074/tid=25075] ppid=25071 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25075/stat : 25075 (toysat) S 25071 25074 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23379324 1344868352 65394 33554432000 4194304 16246674 140734990099680 139753159634160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25076] ppid=25071 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23379324 1344868352 65403 33554432000 4194304 16246674 140734990099680 139753149144304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23379324 1344868352 65413 33554432000 4194304 16246674 140734990099680 139753068424368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700413 s]
/proc/loadavg: 2.09 2.08 2.02 3/179 25074
/proc/meminfo: memFree=30731292/32872528 swapFree=7780/7780
[pid=25074] ppid=25071 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 23276 0 -1 4202496 190445 0 0 0 45 24 0 0 20 0 4 0 23379324 1344868352 191255 33554432000 4194304 16246674 140734990099680 140734990081600 12652961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 328337 191271 833 2943 0 325231 0
[pid=25074/tid=25075] ppid=25071 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25075/stat : 25075 (toysat) S 25071 25074 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23379324 1344868352 191280 33554432000 4194304 16246674 140734990099680 139753159634160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25076] ppid=25071 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23379324 1344868352 191290 33554432000 4194304 16246674 140734990099680 139753149144304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23379324 1344868352 191299 33554432000 4194304 16246674 140734990099680 139753068424368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.09 2.08 2.02 3/183 25078
/proc/meminfo: memFree=29653292/32872528 swapFree=7780/7780
[pid=25074] ppid=25071 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 23276 0 -1 4202496 268954 0 0 0 114 35 0 0 20 0 4 0 23379324 1344868352 269763 33554432000 4194304 16246674 140734990099680 140734990098992 12429162 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 328337 269763 834 2943 0 325231 0
[pid=25074/tid=25075] ppid=25071 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25075/stat : 25075 (toysat) S 25071 25074 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23379324 1344868352 269763 33554432000 4194304 16246674 140734990099680 139753159634160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25076] ppid=25071 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23379324 1344868352 269763 33554432000 4194304 16246674 140734990099680 139753149144304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23379324 1344868352 269763 33554432000 4194304 16246674 140734990099680 139753068424368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10042 s]
/proc/loadavg: 2.09 2.08 2.02 3/183 25078
/proc/meminfo: memFree=29652672/32872528 swapFree=7780/7780
[pid=25074] ppid=25071 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 23276 0 -1 4202496 268965 0 0 0 274 35 0 0 20 0 4 0 23379324 1344868352 269774 33554432000 4194304 16246674 140734990099680 140734990081600 5740237 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 328337 269774 844 2943 0 325231 0
[pid=25074/tid=25075] ppid=25071 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25075/stat : 25075 (toysat) S 25071 25074 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23379324 1344868352 269774 33554432000 4194304 16246674 140734990099680 139753159634160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25076] ppid=25071 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23379324 1344868352 269774 33554432000 4194304 16246674 140734990099680 139753149144304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23379324 1344868352 269774 33554432000 4194304 16246674 140734990099680 139753068424368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30042 s]
/proc/loadavg: 2.08 2.08 2.01 3/183 25078
/proc/meminfo: memFree=29649948/32872528 swapFree=7780/7780
[pid=25074] ppid=25071 vsize=1316420 CPUtime=6.29 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 23276 0 -1 4202496 269594 0 0 0 594 35 0 0 20 0 4 0 23379324 1348014080 270403 33554432000 4194304 16246674 140734990099680 140734990081600 5823131 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 329105 270403 899 2943 0 325999 0
[pid=25074/tid=25075] ppid=25071 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25075/stat : 25075 (toysat) S 25071 25074 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23379324 1348014080 270403 33554432000 4194304 16246674 140734990099680 139753159634160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25076] ppid=25071 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23379324 1348014080 270403 33554432000 4194304 16246674 140734990099680 139753149144304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23379324 1348014080 270403 33554432000 4194304 16246674 140734990099680 139753068424368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1316420

[startup+12.7004 s]
/proc/loadavg: 2.07 2.08 2.01 3/183 25078
/proc/meminfo: memFree=29637240/32872528 swapFree=7780/7780
[pid=25074] ppid=25071 vsize=1328708 CPUtime=12.69 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 23276 0 -1 4202496 272870 0 0 0 1233 36 0 0 20 0 4 0 23379324 1360596992 273679 33554432000 4194304 16246674 140734990099680 140734990081600 5673488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 332177 273679 903 2943 0 329071 0
[pid=25074/tid=25075] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25075/stat : 25075 (toysat) S 25071 25074 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23379324 1360596992 273679 33554432000 4194304 16246674 140734990099680 139753159634160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25076] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23379324 1360596992 273679 33554432000 4194304 16246674 140734990099680 139753149144304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23379324 1360596992 273679 33554432000 4194304 16246674 140734990099680 139753068424368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1328708

[startup+25.5005 s]
/proc/loadavg: 2.06 2.07 2.01 3/183 25078
/proc/meminfo: memFree=29631528/32872528 swapFree=7780/7780
[pid=25074] ppid=25071 vsize=1332804 CPUtime=25.48 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 23276 0 -1 4202496 273894 0 0 0 2512 36 0 0 20 0 4 0 23379324 1364791296 274703 33554432000 4194304 16246674 140734990099680 140734990081600 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 333201 274703 903 2943 0 330095 0
[pid=25074/tid=25075] ppid=25071 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25075/stat : 25075 (toysat) S 25071 25074 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23379324 1364791296 274703 33554432000 4194304 16246674 140734990099680 139753159634160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25076] ppid=25071 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23379324 1364791296 274703 33554432000 4194304 16246674 140734990099680 139753149144304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23379324 1364791296 274703 33554432000 4194304 16246674 140734990099680 139753068424368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1332804

[startup+51.1004 s]
/proc/loadavg: 2.09 2.08 2.02 3/183 25127
/proc/meminfo: memFree=29628744/32872528 swapFree=7780/7780
[pid=25074] ppid=25071 vsize=1332804 CPUtime=51.08 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 23276 0 -1 4202496 273895 0 0 0 5071 37 0 0 20 0 4 0 23379324 1364791296 274703 33554432000 4194304 16246674 140734990099680 140734990081600 5754966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 333201 274703 903 2943 0 330095 0
[pid=25074/tid=25075] ppid=25071 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25075/stat : 25075 (toysat) S 25071 25074 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23379324 1364791296 274703 33554432000 4194304 16246674 140734990099680 139753159634160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25076] ppid=25071 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23379324 1364791296 274703 33554432000 4194304 16246674 140734990099680 139753149144304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23379324 1364791296 274703 33554432000 4194304 16246674 140734990099680 139753068424368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1332804

[startup+102.3 s]
/proc/loadavg: 2.08 2.08 2.02 3/184 25131
/proc/meminfo: memFree=29598080/32872528 swapFree=7780/7780
[pid=25074] ppid=25071 vsize=1349188 CPUtime=102.27 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 23276 0 -1 4202496 278000 0 0 0 10189 38 0 0 20 0 4 0 23379324 1381568512 278799 33554432000 4194304 16246674 140734990099680 140734990081600 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 337297 278799 903 2943 0 334191 0
[pid=25074/tid=25075] ppid=25071 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25075/stat : 25075 (toysat) S 25071 25074 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23379324 1381568512 278799 33554432000 4194304 16246674 140734990099680 139753159634160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25076] ppid=25071 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23379324 1381568512 278799 33554432000 4194304 16246674 140734990099680 139753149144304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23379324 1381568512 278799 33554432000 4194304 16246674 140734990099680 139753068424368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1349188


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

/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 139753068424368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1388100

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 25162
/proc/meminfo: memFree=29336832/32872528 swapFree=7780/7780
[pid=25074] ppid=25071 vsize=1388100 CPUtime=1301.99 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 23276 0 -1 4202496 287930 0 0 0 130126 73 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 140734990081600 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 347025 288528 904 2943 0 343919 0
[pid=25074/tid=25075] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25075/stat : 25075 (toysat) S 25071 25074 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 139753159634160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25076] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 139753149144304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 139753068424368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 1388100

[startup+1362.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 25163
/proc/meminfo: memFree=29335368/32872528 swapFree=7780/7780
[pid=25074] ppid=25071 vsize=1388100 CPUtime=1361.98 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 23276 0 -1 4202496 287930 0 0 0 136124 74 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 140734990081600 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 347025 288528 904 2943 0 343919 0
[pid=25074/tid=25075] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25075/stat : 25075 (toysat) S 25071 25074 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 139753159634160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25076] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 139753149144304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 139753068424368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1388100

[startup+1422.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/183 25165
/proc/meminfo: memFree=29244060/32872528 swapFree=7780/7780
[pid=25074] ppid=25071 vsize=1388100 CPUtime=1421.98 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 23276 0 -1 4202496 287930 0 0 0 142122 76 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 140734990081600 4222072 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 347025 288528 904 2943 0 343919 0
[pid=25074/tid=25075] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25075/stat : 25075 (toysat) S 25071 25074 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 139753159634160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25076] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 139753149144304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 139753068424368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1388100

[startup+1482.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/183 25166
/proc/meminfo: memFree=29244204/32872528 swapFree=7780/7780
[pid=25074] ppid=25071 vsize=1388100 CPUtime=1481.97 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 23276 0 -1 4202496 287930 0 0 0 148119 78 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 140734990081600 5677392 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 347025 288528 904 2943 0 343919 0
[pid=25074/tid=25075] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25075/stat : 25075 (toysat) S 25071 25074 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 139753159634160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25076] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 139753149144304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 139753068424368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1388100

[startup+1542.31 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 25167
/proc/meminfo: memFree=29243976/32872528 swapFree=7780/7780
[pid=25074] ppid=25071 vsize=1388100 CPUtime=1541.96 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 23276 0 -1 4202496 287930 0 0 0 154116 80 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 140734990081600 12415766 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 347025 288528 904 2943 0 343919 0
[pid=25074/tid=25075] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25075/stat : 25075 (toysat) S 25071 25074 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 139753159634160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25076] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 139753149144304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 139753068424368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1388100

[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 25168
/proc/meminfo: memFree=29223288/32872528 swapFree=7780/7780
[pid=25074] ppid=25071 vsize=1388100 CPUtime=1601.95 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 23276 0 -1 4202496 287930 0 0 0 160113 82 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 140734990081600 5823682 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 347025 288528 904 2943 0 343919 0
[pid=25074/tid=25075] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25075/stat : 25075 (toysat) S 25071 25074 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 139753159634160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25076] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 139753149144304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 139753068424368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1388100

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 25169
/proc/meminfo: memFree=29223784/32872528 swapFree=7780/7780
[pid=25074] ppid=25071 vsize=1388100 CPUtime=1661.94 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 23276 0 -1 4202496 287930 0 0 0 166110 84 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 140734990097472 4225113 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 347025 288528 904 2943 0 343919 0
[pid=25074/tid=25075] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25075/stat : 25075 (toysat) S 25071 25074 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 139753159634160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25076] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 139753149144304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288528 33554432000 4194304 16246674 140734990099680 139753068424368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1388100

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 25171
/proc/meminfo: memFree=29208184/32872528 swapFree=7780/7780
[pid=25074] ppid=25071 vsize=1388100 CPUtime=1721.93 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 23276 0 -1 4202496 287931 0 0 0 172108 85 0 0 20 0 4 0 23379324 1421414400 288784 33554432000 4194304 16246674 140734990099680 140734990081600 13759646 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 347025 288784 904 2943 0 343919 0
[pid=25074/tid=25075] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25075/stat : 25075 (toysat) S 25071 25074 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288784 33554432000 4194304 16246674 140734990099680 139753159634160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25076] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288784 33554432000 4194304 16246674 140734990099680 139753149144304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288784 33554432000 4194304 16246674 140734990099680 139753068424368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1388100

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 25172
/proc/meminfo: memFree=29196904/32872528 swapFree=7780/7780
[pid=25074] ppid=25071 vsize=1388100 CPUtime=1781.92 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 23276 0 -1 4202496 287931 0 0 0 178105 87 0 0 20 0 4 0 23379324 1421414400 288784 33554432000 4194304 16246674 140734990099680 140734990081600 5824052 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 347025 288784 904 2943 0 343919 0
[pid=25074/tid=25075] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25075/stat : 25075 (toysat) S 25071 25074 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288784 33554432000 4194304 16246674 140734990099680 139753159634160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25076] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288784 33554432000 4194304 16246674 140734990099680 139753149144304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288784 33554432000 4194304 16246674 140734990099680 139753068424368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1388100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 25172
/proc/meminfo: memFree=29196784/32872528 swapFree=7780/7780
[pid=25074] ppid=25071 vsize=1388100 CPUtime=1800.02 cores=1,3,5,7
/proc/25074/stat : 25074 (toysat) R 25071 25074 23276 0 -1 4202496 287931 0 0 0 179914 88 0 0 20 0 4 0 23379324 1421414400 288784 33554432000 4194304 16246674 140734990099680 140734990081600 5673285 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25074/statm: 347025 288784 904 2943 0 343919 0
[pid=25074/tid=25075] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25075/stat : 25075 (toysat) S 25071 25074 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288784 33554432000 4194304 16246674 140734990099680 139753159634160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25074/tid=25076] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25076/stat : 25076 (toysat) S 25071 25074 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288784 33554432000 4194304 16246674 140734990099680 139753149144304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25074/tid=25077] ppid=25071 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/25074/task/25077/stat : 25077 (toysat) S 25071 25074 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23379324 1421414400 288784 33554432000 4194304 16246674 140734990099680 139753068424368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1388100

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 25074 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.03
CPU user time (s): 1799.15
CPU system time (s): 0.883865
CPU usage (%): 99.9791
Max. virtual memory (cumulated for all children) (KiB): 1388100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 0.883865
maximum resident set size= 1155136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287931
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= 225
involuntary context switches= 1966

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5973 second user time and 6.94094 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-18 03:29:05
IDJOB=4100289
IDBENCH=1598
IDSOLVER=2542
FILE ID=node151/4100289-1466213345
RUNJOBID= node151-1466206051-23293
PBS_JOBID= 19918135
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-berlin_5_8_0.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100289-1466213345/watcher-4100289-1466213345 -o /tmp/evaluation-result-4100289-1466213345/solver-4100289-1466213345 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23293 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100289-1466213345.opb

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

MD5SUM BENCH= 69d5c7c1a4b8d5de2fe0ee7c53688a9d
RANDOM SEED=1820437475

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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		: 2667.103
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:        30731556 kB
Buffers:           87200 kB
Cached:           228216 kB
SwapCached:         1996 kB
Active:          1185988 kB
Inactive:         212596 kB
Active(anon):    1083480 kB
Inactive(anon):     1788 kB
Active(file):     102508 kB
Inactive(file):   210808 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             17084 kB
Writeback:             0 kB
AnonPages:       1089596 kB
Mapped:            11756 kB
Shmem:                 0 kB
Slab:             603172 kB
SReclaimable:      46744 kB
SUnreclaim:       556428 kB
KernelStack:        1520 kB
PageTables:         6212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1253348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71712 MiB
End job on node151 at 2016-06-18 03:59:06