Trace number 4080102

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.04 1800.42

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_1.opb
MD5SUM162153f0f0e5f8f2e587b9d579ee09dc
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-113
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -136
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12636
Sum of products size (including duplicates)25272
Number of different products6318
Sum of products size12636

Solver Data 

0.00/0.00	c 2016-06-07T03:19:57+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-4080102-1465262397.opb"]
0.00/0.01	c use --random-gen="2630825935 789353062 229381383 4120644826 2594991648 202796379 2141802248 2419779908 1064665295 616576794 2847585842 3597663212 3682110150 3605134445 1094792530 345080614 1844522288 3533207844 1112849233 2737564295 3968294157 3978490457 2975248980 2463680256 3726304955 848964496 341889227 1914135769 360103628 1499571631 334956535 2653750119 1257797537 3729004425 31468948 3368474242 3114613251 483613637 3242919149 1126113442 1660253078 908764649 2141095408 3044860337 3130540645 1381585977 3423185742 825898739 3809382684 576281744 3078846322 2431825586 3408730707 3461736656 566655329 4007949355 2467314462 3927696396 113240182 4004889890 1531820590 1293622889 2833533428 3543723168 441140139 1516917583 959225525 2219939304 778339930 1152402358 2250128202 3010412860 1191452588 772943391 2879139729 939494115 2956310139 3732213910 1778823116 3430518565 2299685924 3567507827 3394028106 4155300435 2850032768 3488008295 709270790 2523764240 2443329501 1723532027 2869044899 3891993240 1821352959 3031408203 2513399470 2090834538 1526190095 902866196 1150730096 320007226 1229664765 68320599 3280593193 4188201668 3401430688 2876026137 3799003763 1219843664 667584872 3990116473 3582581478 377291174 197882605 1312613997 1805956139 2762776489 2158956105 3370227303 3936158530 3792998404 2941449671 3853935051 1952111900 3060819272 3404152469 474442296 2258511462 2312289638 2805813680 3081282520 3006080467 1597317338 150649723 3499400788 1037443790 295024446 929194827 2660070050 2606446668 271116006 3876865839 478834492 731984762 470592837 4091631142 1573990251 2269391258 2984943679 359230430 2266241696 272634374 890472287 895902269 1545097423 1773554681 602834181 4259311691 4108595268 218703837 4131814468 3466904240 991361433 195159709 3177015397 132598640 1819901252 3806104567 2272264590 2059216612 3599261038 4208057012 1036440085 299321710 3494120486 630909386 4142502758 1559850527 3470882448 1359218642 4180979074 1263530758 320731713 2175780651 110491850 2697887873 2392063245 1376961567 415052783 693071321 3903282996 3017204985 2518945753 2658105865 129578168 1230406245 490767542 1709609395 3289313019 4168857877 1082022449 2298830825 3254434633 419935459 4170904660 425404066 694140572 546252826 1201714907 1661472077 3608107507 595714584 2038952762 1249522577 3766954695 2966860547 3025115464 3312569239 1037659053 4035460769 1102971575 1201422521 973257692 3509171143 1282915900 3703610527 3844095118 3488770121 1060173642 1756664245 4208375356 539434799 2375833962 133943488 1201383193 1817068399 482082878 3412117284 2238712518 3230480208 2227987789 666386547 2162256088 289714233 2832536421 3321593968 3457650780 1863798738 128075700 4123300918 1343130684 1992845791 2853939810 2000117632 2345562660 3959269723 1764781293 255 362436" option to reproduce the execution
0.00/0.06	c #vars 1000
0.00/0.06	c #constraints 1501
0.19/0.22	c BCD2: Hardening is enabled.
0.19/0.22	c BCD2: BiasedSearch is enabled.
0.19/0.22	c Solving starts ...
0.19/0.22	c ============================[ Search Statistics ]============================
0.19/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.22	c =============================================================================
0.19/0.22	c  0.0s |       0 |        0 |        0 |     5046      0 |        0 |        0
0.19/0.24	c  0.0s |       0 |      754 |        1 |     5046      0 |        0 |        0
0.19/0.24	c #cpu_time = 0.016s
0.19/0.24	c #wall_clock_time = 0.016s
0.19/0.24	c #decision = 754
0.19/0.24	c #random_decision = 0
0.19/0.24	c #conflict = 1
0.19/0.24	c #restart = 0
0.19/0.24	o -80
0.19/0.24	c BCD2: updating upper bound: 500 -> 419
0.19/0.24	c BCD2: 0 <= obj <= 419
0.19/0.24	c BCD2: #cores=0, #unrelaxed=500, #relaxed=0, #hardened=0
0.19/0.24	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.24	c Solving starts ...
0.19/0.24	c ============================[ Search Statistics ]============================
0.19/0.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.24	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.24	c =============================================================================
0.19/0.24	c  0.0s |       0 |        0 |        0 |     5046      0 |        0 |        0
0.19/0.26	c  0.0s |       0 |      285 |        2 |     5046      0 |        0 |        0
0.19/0.26	c #cpu_time = 0.015s
0.19/0.26	c #wall_clock_time = 0.015s
0.19/0.26	c #decision = 285
0.19/0.26	c #random_decision = 0
0.19/0.26	c #conflict = 2
0.19/0.26	c #restart = 0
0.19/0.26	c BCD2: found a new core of size 250: cost of the new core is >=1
0.19/0.26	c lower bound updated to -499
0.19/0.26	c BCD2: 1 <= obj <= 419
0.19/0.26	c BCD2: #cores=1, #unrelaxed=250, #relaxed=250, #hardened=0
0.19/0.26	c BCD2: #sat=1 #unsat=2 bias=2/3
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     5046      0 |        0 |        0
0.29/0.32	c  0.1s |       0 |      251 |        1 |     5046      0 |        0 |        0
0.29/0.32	c #cpu_time = 0.059s
0.29/0.32	c #wall_clock_time = 0.059s
0.29/0.32	c #decision = 251
0.29/0.32	c #random_decision = 0
0.29/0.32	c #conflict = 1
0.29/0.32	c #restart = 0
0.29/0.34	c BCD2: relaxing 250 and merging with 1 cores into a new core of size 500: cost of the new core is >=2
0.29/0.34	c lower bound updated to -498
0.29/0.34	c BCD2: 2 <= obj <= 419
0.29/0.34	c BCD2: #cores=1, #unrelaxed=0, #relaxed=500, #hardened=0
0.29/0.34	c BCD2: #sat=1 #unsat=3 bias=3/4
0.29/0.34	c Solving starts ...
0.29/0.34	c ============================[ Search Statistics ]============================
0.29/0.34	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.34	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.34	c =============================================================================
0.29/0.34	c  0.0s |       0 |        0 |        0 |     5046      0 |        1 |        0
0.39/0.45	c  0.1s |       1 |     6258 |      100 |     5551      0 |        1 |        1
1.09/1.12	c  0.8s |       2 |    13267 |      250 |     6107      0 |        1 |        1
3.19/3.28	c  2.9s |       2 |    28368 |      450 |     6107      0 |        1 |        1
3.40/3.42	c  3.1s |       3 |    28707 |      475 |     6718      0 |        1 |        1
5.50/5.56	c  5.2s |       3 |    34691 |      675 |     6718      0 |        1 |        1
7.80/7.86	c  7.5s |       4 |    37274 |      813 |     7390      0 |        1 |        1
10.49/10.56	c 10.2s |       4 |    41502 |     1013 |     7390      0 |        1 |        1
13.89/13.96	c 13.6s |       4 |    44128 |     1213 |     7390      0 |        1 |        1
15.50/15.58	c 15.2s |       5 |    44667 |     1320 |     8130      0 |        1 |        1
18.70/18.79	c 18.4s |       5 |    48156 |     1520 |     8130      0 |        1 |        1
21.39/21.40	c 21.1s |       5 |    52345 |     1720 |     8130      0 |        1 |        1
24.79/24.81	c 24.5s |       5 |    54620 |     1920 |     8130      0 |        1 |        1
27.69/27.72	c 27.4s |       6 |    57191 |     2081 |     8943      0 |        1 |        1
31.39/31.48	c 31.1s |       6 |    59910 |     2281 |     8943      0 |        1 |        1
34.79/34.83	c 34.5s |       6 |    60426 |     2481 |     8943      0 |        1 |        1
36.99/37.09	c 36.7s |       6 |    67190 |     2681 |     8943      0 |        1 |        1
39.08/39.17	c 38.8s |       6 |    67289 |     2781 |     8943      0 |        1 |        1
42.99/43.01	c 42.7s |       6 |    67523 |     2981 |     8943      0 |        1 |        1
46.58/46.63	c 46.3s |       6 |    69177 |     3181 |     8943      0 |        1 |        1
47.39/47.44	c 47.1s |       7 |    69218 |     3223 |     9838      0 |        1 |        1
50.08/50.16	c 49.8s |       7 |    69589 |     3423 |     9838      0 |        1 |        1
52.18/52.27	c 51.9s |       7 |    69738 |     3523 |     9838      0 |        1 |        1
55.98/56.05	c 55.7s |       7 |    70158 |     3723 |     9838      0 |        1 |        1
58.98/59.01	c 58.7s |       7 |    71926 |     3923 |     9838      0 |        1 |        1
62.88/62.90	c 62.6s |       7 |    72118 |     4123 |     9838      0 |        1 |        1
66.68/66.73	c 66.4s |       7 |    72319 |     4323 |     9838      0 |        1 |        1
70.49/70.58	c 70.2s |       7 |    72652 |     4523 |     9838      0 |        1 |        1
74.28/74.37	c 74.0s |       7 |    72852 |     4723 |     9838      0 |        1 |        1
77.98/78.05	c 77.7s |       7 |    73065 |     4923 |    10822      0 |        1 |        1
78.28/78.36	c 78.0s |       8 |    73083 |     4936 |    10822      0 |        1 |        1
80.38/80.45	c 80.1s |       8 |    73307 |     5036 |    10822      0 |        1 |        1
83.88/83.97	c 83.6s |       8 |    73574 |     5236 |    10822      0 |        1 |        1
87.78/87.87	c 87.5s |       8 |    73775 |     5436 |    10822      0 |        1 |        1
91.68/91.73	c 91.4s |       8 |    73976 |     5636 |    10822      0 |        1 |        1
95.58/95.61	c 95.3s |       8 |    74179 |     5836 |    10822      0 |        1 |        1
99.37/99.49	c 99.1s |       8 |    74374 |     6036 |    10822      0 |        1 |        1
103.27/103.39	c  103s |       8 |    74577 |     6236 |    10822      0 |        1 |        1
106.97/107.05	c  106s |       8 |    74775 |     6436 |    10822      0 |        1 |        1
110.77/110.84	c  110s |       8 |    75001 |     6636 |    10822      0 |        1 |        1
114.67/114.70	c  114s |       8 |    75200 |     6836 |    10822      0 |        1 |        1
118.47/118.57	c  118s |       8 |    75397 |     7036 |    10822      0 |        1 |        1
122.27/122.37	c  122s |       8 |    75599 |     7236 |    10822      0 |        1 |        1
125.97/126.05	c  125s |       8 |    75800 |     7436 |    10822      0 |        1 |        1
127.27/127.36	c  127s |       9 |    75872 |     7506 |    11905      0 |        1 |        1
131.07/131.13	c  130s |       9 |    76198 |     7706 |    11905      0 |        1 |        1
134.47/134.55	c  134s |       9 |    79439 |     7906 |    11905      0 |        1 |        1
138.37/138.45	c  138s |       9 |    79637 |     8106 |    11905      0 |        1 |        1
142.17/142.22	c  141s |       9 |    79841 |     8306 |    11905      0 |        1 |        1
145.96/146.02	c  145s |       9 |    80038 |     8506 |    11905      0 |        1 |        1
149.76/149.84	c  149s |       9 |    80236 |     8706 |    11905      0 |        1 |        1
151.87/151.95	c  151s |       9 |    80341 |     8806 |    11905      0 |        1 |        1
153.97/154.07	c  153s |       9 |    80439 |     8906 |    11905      0 |        1 |        1
156.06/156.14	c  155s |       9 |    80540 |     9006 |    11905      0 |        1 |        1
158.16/158.20	c  157s |       9 |    80641 |     9106 |    11905      0 |        1 |        1
160.26/160.33	c  159s |       9 |    80742 |     9206 |    11905      0 |        1 |        1
162.36/162.44	c  162s |       9 |    80845 |     9306 |    11905      0 |        1 |        1
164.46/164.52	c  164s |       9 |    80946 |     9406 |    11905      0 |        1 |        1
166.56/166.60	c  166s |       9 |    81040 |     9506 |    11905      0 |        1 |        1
169.96/170.03	c  169s |       9 |    87882 |     9806 |    11905      0 |        1 |        1
173.87/173.93	c  173s |       9 |    88081 |    10006 |    11905      0 |        1 |        1
177.96/178.02	c  177s |       9 |    88298 |    10206 |    11905      0 |        1 |        1
179.96/180.07	c  179s |       9 |    88398 |    10306 |    11905      0 |        1 |        1
182.06/182.18	c  181s |       9 |    88500 |    10406 |    11905      0 |        1 |        1
184.16/184.23	c  183s |       9 |    88598 |    10506 |    11905      0 |        1 |        1
186.26/186.34	c  185s |       9 |    88700 |    10606 |    11905      0 |        1 |        1
188.26/188.38	c  188s |       9 |    88800 |    10706 |    11905      0 |        1 |        1
190.26/190.40	c  190s |       9 |    88901 |    10806 |    11905      0 |        1 |        1
194.36/194.42	c  194s |       9 |    89098 |    11006 |    11905      0 |        1 |        1
198.36/198.50	c  198s |       9 |    89303 |    11206 |    11905      0 |        1 |        1
200.46/200.59	c  200s |       9 |    89404 |    11306 |    13096      0 |        1 |        1
201.66/201.70	c  201s |      10 |    89462 |    11361 |    13096      0 |        1 |        1
203.76/203.80	c  203s |      10 |    89697 |    11461 |    13096      0 |        1 |        1
205.76/205.83	c  205s |      10 |    89797 |    11561 |    13096      0 |        1 |        1
207.75/207.90	c  207s |      10 |    89896 |    11661 |    13096      0 |        1 |        1
209.86/209.95	c  209s |      10 |    89999 |    11761 |    13096      0 |        1 |        1
211.86/211.98	c  211s |      10 |    90100 |    11861 |    13096      0 |        1 |        1
215.86/215.95	c  215s |      10 |    90298 |    12061 |    13096      0 |        1 |        1
219.86/219.92	c  219s |      10 |    90497 |    12261 |    13096      0 |        1 |        1
223.76/223.83	c  223s |      10 |    91040 |    12461 |    13096      0 |        1 |        1
225.96/226.05	c  225s |      10 |    91139 |    12561 |    13096      0 |        1 |        1
228.16/228.24	c  227s |      10 |    91242 |    12661 |    13096      0 |        1 |        1
232.26/232.31	c  231s |      10 |    91444 |    12861 |    13096      0 |        1 |        1
234.27/234.37	c  234s |      10 |    91544 |    12961 |    13096      0 |        1 |        1
236.36/236.44	c  236s |      10 |    91645 |    13061 |    13096      0 |        1 |        1
238.36/238.48	c  238s |      10 |    91748 |    13161 |    13096      0 |        1 |        1
240.36/240.49	c  240s |      10 |    91850 |    13261 |    13096      0 |        1 |        1
242.46/242.52	c  242s |      10 |    91950 |    13361 |    13096      0 |        1 |        1
244.46/244.53	c  244s |      10 |    92051 |    13461 |    13096      0 |        1 |        1
248.66/248.70	c  248s |      10 |    93158 |    13661 |    13096      1 |        1 |        1
250.86/250.94	c  250s |      10 |    93258 |    13761 |    13096      1 |        1 |        1
252.96/253.08	c  252s |      10 |    93360 |    13861 |    13096      1 |        1 |        1
255.05/255.19	c  254s |      10 |    93459 |    13961 |    13096      1 |        1 |        1
257.25/257.31	c  256s |      10 |    93554 |    14061 |    13096      1 |        1 |        1
259.35/259.44	c  259s |      10 |    93654 |    14161 |    13096      1 |        1 |        1
261.45/261.57	c  261s |      10 |    93758 |    14261 |    13096      1 |        1 |        1
263.55/263.69	c  263s |      10 |    93856 |    14361 |    13096      1 |        1 |        1
265.75/265.81	c  265s |      10 |    93956 |    14461 |    13096      1 |        1 |        1
267.85/267.92	c  267s |      10 |    94056 |    14561 |    13096      1 |        1 |        1
269.95/270.03	c  269s |      10 |    94157 |    14661 |    13096      1 |        1 |        1
272.05/272.12	c  271s |      10 |    94257 |    14761 |    13096      1 |        1 |        1
275.45/275.54	c  275s |      10 |    96212 |    14961 |    13096      1 |        1 |        1
279.45/279.51	c  279s |      10 |    96415 |    15161 |    13096      1 |        1 |        1
283.35/283.43	c  283s |      10 |    96619 |    15361 |    13096      1 |        1 |        1
287.25/287.31	c  286s |      10 |    96816 |    15561 |    13096      1 |        1 |        1
290.94/291.09	c  290s |      10 |    97013 |    15761 |    13096      1 |        1 |        1
293.04/293.12	c  292s |      10 |    97116 |    15861 |    13096      1 |        1 |        1
296.95/297.05	c  296s |      10 |    97315 |    16061 |    13096      1 |        1 |        1
300.84/300.95	c  300s |      10 |    97518 |    16261 |    13096      1 |        1 |        1
304.75/304.87	c  304s |      10 |    97721 |    16461 |    13096      1 |        1 |        1
308.54/308.65	c  308s |      10 |    97919 |    16661 |    13096      1 |        1 |        1
312.35/312.45	c  312s |      10 |    98124 |    16861 |    13096      1 |        1 |        1
316.04/316.15	c  315s |      10 |    98321 |    17061 |    14406      1 |        1 |        1
317.64/317.75	c  317s |      11 |    98405 |    17144 |    14406      1 |        1 |        1
321.54/321.66	c  321s |      11 |    98846 |    17344 |    14406      1 |        1 |        1
325.24/325.33	c  324s |      11 |    99222 |    17544 |    14406      1 |        1 |        1
327.24/327.38	c  327s |      11 |    99323 |    17644 |    14406      1 |        1 |        1
331.15/331.27	c  330s |      11 |    99520 |    17844 |    14406      1 |        1 |        1
335.04/335.16	c  334s |      11 |    99721 |    18044 |    14406      1 |        1 |        1
338.94/339.04	c  338s |      11 |    99917 |    18244 |    14406      1 |        1 |        1
341.74/341.82	c  341s |      11 |   105082 |    18444 |    14406      1 |        1 |        1
344.63/344.74	c  344s |      11 |   115551 |    18844 |    14406      1 |        1 |        1
346.93/347.00	c  346s |      11 |   118867 |    19044 |    14406      1 |        1 |        1
350.23/350.37	c  350s |      11 |   119572 |    19244 |    14406      1 |        1 |        1
352.64/352.78	c  352s |      11 |   129913 |    19444 |    14406      1 |        1 |        1
354.74/354.82	c  354s |      11 |   130311 |    19544 |    14406      1 |        1 |        1
356.74/356.84	c  356s |      11 |   130474 |    19644 |    14406      1 |        1 |        1
359.54/359.61	c  359s |      11 |   142662 |    20044 |    14406      1 |        1 |        1
363.54/363.62	c  363s |      11 |   143694 |    20244 |    14406      1 |        1 |        1
365.64/365.77	c  365s |      11 |   153972 |    20444 |    14406      1 |        1 |        1
367.74/367.81	c  367s |      11 |   154071 |    20544 |    14406      1 |        1 |        1
371.04/371.13	c  370s |      11 |   170119 |    20944 |    14406      1 |        1 |        1
374.84/374.91	c  374s |      11 |   173328 |    21144 |    14406      1 |        1 |        1
377.64/377.71	c  377s |      11 |   188479 |    21544 |    14406      1 |        1 |        1
380.94/381.03	c  380s |      11 |   193095 |    21744 |    14406      2 |        1 |        1
383.33/383.41	c  383s |      11 |   193195 |    21844 |    14406      2 |        1 |        1
385.73/385.86	c  385s |      11 |   193295 |    21944 |    14406      2 |        1 |        1
388.13/388.30	c  387s |      11 |   193393 |    22044 |    14406      2 |        1 |        1
390.54/390.69	c  390s |      11 |   193486 |    22144 |    14406      2 |        1 |        1
393.03/393.11	c  392s |      11 |   193592 |    22244 |    14406      2 |        1 |        1
395.33/395.49	c  395s |      11 |   193697 |    22344 |    14406      2 |        1 |        1
397.83/397.91	c  397s |      11 |   193797 |    22444 |    14406      2 |        1 |        1
400.13/400.30	c  399s |      11 |   193900 |    22544 |    14406      2 |        1 |        1
402.54/402.65	c  402s |      11 |   193990 |    22644 |    14406      2 |        1 |        1
404.84/404.94	c  404s |      11 |   194095 |    22744 |    14406      2 |        1 |        1
407.23/407.33	c  406s |      11 |   194187 |    22844 |    14406      2 |        1 |        1
409.63/409.76	c  409s |      11 |   194291 |    22944 |    14406      2 |        1 |        1
412.03/412.17	c  411s |      11 |   194398 |    23044 |    14406      2 |        1 |        1
414.43/414.59	c  414s |      11 |   194493 |    23144 |    14406      2 |        1 |        1
416.83/417.00	c  416s |      11 |   194601 |    23244 |    14406      2 |        1 |        1
419.33/419.42	c  419s |      11 |   194692 |    23344 |    14406      2 |        1 |        1
421.73/421.82	c  421s |      11 |   194797 |    23444 |    14406      2 |        1 |        1
424.13/424.22	c  423s |      11 |   194902 |    23544 |    14406      2 |        1 |        1
426.53/426.63	c  426s |      11 |   194999 |    23644 |    14406      2 |        1 |        1
430.13/430.21	c  429s |      11 |   199640 |    23844 |    14406      2 |        1 |        1
432.33/432.44	c  432s |      11 |   199739 |    23944 |    14406      2 |        1 |        1
434.43/434.56	c  434s |      11 |   199840 |    24044 |    14406      2 |        1 |        1
436.52/436.62	c  436s |      11 |   199939 |    24144 |    14406      2 |        1 |        1
439.12/439.29	c  438s |      11 |   211462 |    24444 |    14406      2 |        1 |        1
441.72/441.82	c  441s |      11 |   213840 |    24644 |    14406      2 |        1 |        1
444.22/444.33	c  443s |      11 |   213935 |    24744 |    14406      2 |        1 |        1
446.82/446.94	c  446s |      11 |   214027 |    24844 |    14406      2 |        1 |        1
449.42/449.52	c  449s |      11 |   214125 |    24944 |    14406      2 |        1 |        1
452.03/452.14	c  451s |      11 |   214236 |    25044 |    14406      2 |        1 |        1
454.62/454.73	c  454s |      11 |   214328 |    25144 |    14406      2 |        1 |        1
457.22/457.32	c  456s |      11 |   214561 |    25244 |    14406      2 |        1 |        1
460.83/460.91	c  460s |      11 |   219581 |    25444 |    14406      2 |        1 |        1
463.03/463.18	c  462s |      11 |   219683 |    25544 |    14406      2 |        1 |        1
465.23/465.37	c  465s |      11 |   219781 |    25644 |    14406      2 |        1 |        1
467.43/467.52	c  467s |      11 |   220261 |    25744 |    15847      2 |        1 |        1
469.02/469.16	c  468s |      12 |   220337 |    25819 |    15847      2 |        1 |        1
471.42/471.58	c  471s |      12 |   220693 |    25919 |    15847      2 |        1 |        1
473.62/473.75	c  473s |      12 |   220791 |    26019 |    15847      2 |        1 |        1
475.82/475.93	c  475s |      12 |   220897 |    26119 |    15847      2 |        1 |        1
478.02/478.10	c  477s |      12 |   220996 |    26219 |    15847      2 |        1 |        1
480.22/480.30	c  479s |      12 |   221095 |    26319 |    15847      2 |        1 |        1
482.42/482.51	c  482s |      12 |   221194 |    26419 |    15847      2 |        1 |        1
484.42/484.57	c  484s |      12 |   221297 |    26519 |    15847      2 |        1 |        1
486.72/486.80	c  486s |      12 |   221396 |    26619 |    15847      2 |        1 |        1
488.81/488.94	c  488s |      12 |   221496 |    26719 |    15847      2 |        1 |        1
490.91/491.07	c  490s |      12 |   221595 |    26819 |    15847      2 |        1 |        1
493.31/493.43	c  493s |      12 |   233402 |    27119 |    15847      2 |        1 |        1
495.41/495.58	c  495s |      12 |   233847 |    27219 |    15847      2 |        1 |        1
497.71/497.81	c  497s |      12 |   233953 |    27319 |    15847      2 |        1 |        1
500.01/500.10	c  499s |      12 |   234052 |    27419 |    15847      2 |        1 |        1
502.21/502.30	c  501s |      12 |   234153 |    27519 |    15847      2 |        1 |        1
504.31/504.47	c  504s |      12 |   234251 |    27619 |    15847      2 |        1 |        1
506.51/506.68	c  506s |      12 |   234351 |    27719 |    15847      2 |        1 |        1
508.71/508.86	c  508s |      12 |   234453 |    27819 |    15847      2 |        1 |        1
510.71/510.89	c  510s |      12 |   235547 |    27919 |    15847      2 |        1 |        1
513.51/513.69	c  513s |      12 |   249216 |    28319 |    15847      2 |        1 |        1
516.21/516.38	c  516s |      12 |   262521 |    28519 |    15847      2 |        1 |        1
519.81/519.93	c  519s |      12 |   266587 |    28819 |    15847      2 |        1 |        1
522.01/522.18	c  521s |      12 |   284851 |    29019 |    15847      2 |        1 |        1
525.01/525.12	c  524s |      12 |   299601 |    29319 |    15847      2 |        1 |        1
527.11/527.27	c  526s |      12 |   308057 |    29519 |    15847      2 |        1 |        1
529.81/529.91	c  529s |      12 |   308170 |    29619 |    15847      2 |        1 |        1
532.42/532.52	c  532s |      12 |   308257 |    29719 |    15847      2 |        1 |        1
535.01/535.12	c  534s |      12 |   308370 |    29819 |    15847      2 |        1 |        1
537.61/537.71	c  537s |      12 |   308460 |    29919 |    15847      2 |        1 |        1
540.11/540.28	c  539s |      12 |   308570 |    30019 |    15847      2 |        1 |        1
542.71/542.85	c  542s |      12 |   308658 |    30119 |    15847      2 |        1 |        1
545.31/545.43	c  545s |      12 |   308764 |    30219 |    15847      2 |        1 |        1
547.81/547.95	c  547s |      12 |   308875 |    30319 |    15847      2 |        1 |        1
550.41/550.51	c  550s |      12 |   308965 |    30419 |    15847      2 |        1 |        1
552.91/553.06	c  552s |      12 |   309073 |    30519 |    15847      2 |        1 |        1
555.70/555.87	c  555s |      12 |   309166 |    30619 |    15847      3 |        1 |        1
558.30/558.46	c  558s |      12 |   309266 |    30719 |    15847      3 |        1 |        1
560.80/561.00	c  560s |      12 |   309369 |    30819 |    15847      3 |        1 |        1
563.40/563.53	c  563s |      12 |   309470 |    30919 |    15847      3 |        1 |        1
565.90/566.03	c  565s |      12 |   309573 |    31019 |    15847      3 |        1 |        1
568.40/568.53	c  568s |      12 |   309673 |    31119 |    15847      3 |        1 |        1
570.91/571.06	c  570s |      12 |   309779 |    31219 |    15847      3 |        1 |        1
573.40/573.59	c  573s |      12 |   309864 |    31319 |    15847      3 |        1 |        1
575.90/576.08	c  575s |      12 |   309968 |    31419 |    15847      3 |        1 |        1
578.40/578.56	c  578s |      12 |   310069 |    31519 |    15847      3 |        1 |        1
580.90/581.06	c  580s |      12 |   310171 |    31619 |    15847      3 |        1 |        1
583.40/583.53	c  583s |      12 |   310273 |    31719 |    15847      3 |        1 |        1
586.00/586.11	c  585s |      12 |   310369 |    31819 |    15847      3 |        1 |        1
588.40/588.60	c  588s |      12 |   310477 |    31919 |    15847      3 |        1 |        1
591.00/591.14	c  590s |      12 |   310575 |    32019 |    15847      3 |        1 |        1
593.50/593.66	c  593s |      12 |   310669 |    32119 |    15847      3 |        1 |        1
596.00/596.16	c  595s |      12 |   310768 |    32219 |    15847      3 |        1 |        1
598.60/598.71	c  598s |      12 |   310881 |    32319 |    15847      3 |        1 |        1
600.99/601.19	c  600s |      12 |   310975 |    32419 |    15847      3 |        1 |        1
603.59/603.71	c  603s |      12 |   311072 |    32519 |    15847      3 |        1 |        1
606.00/606.19	c  605s |      12 |   311168 |    32619 |    15847      3 |        1 |        1
608.49/608.64	c  608s |      12 |   311283 |    32719 |    15847      3 |        1 |        1
610.99/611.18	c  610s |      12 |   311377 |    32819 |    15847      3 |        1 |        1
613.59/613.70	c  613s |      12 |   311475 |    32919 |    15847      3 |        1 |        1
616.09/616.20	c  615s |      12 |   311570 |    33019 |    15847      3 |        1 |        1
618.49/618.66	c  618s |      12 |   311683 |    33119 |    15847      3 |        1 |        1
620.99/621.15	c  620s |      12 |   311783 |    33219 |    15847      3 |        1 |        1
623.49/623.63	c  623s |      12 |   311878 |    33319 |    15847      3 |        1 |        1
625.99/626.13	c  625s |      12 |   311974 |    33419 |    15847      3 |        1 |        1
628.39/628.55	c  628s |      12 |   312084 |    33519 |    15847      3 |        1 |        1
630.89/631.00	c  630s |      12 |   312182 |    33619 |    15847      3 |        1 |        1
633.29/633.44	c  633s |      12 |   312276 |    33719 |    15847      3 |        1 |        1
635.80/635.97	c  635s |      12 |   312387 |    33819 |    15847      3 |        1 |        1
638.39/638.53	c  638s |      12 |   312478 |    33919 |    15847      3 |        1 |        1
640.49/640.63	c  640s |      12 |   312575 |    34019 |    15847      3 |        1 |        1
642.59/642.79	c  642s |      12 |   312676 |    34119 |    15847      3 |        1 |        1
644.79/644.92	c  644s |      12 |   312780 |    34219 |    15847      3 |        1 |        1
646.89/647.04	c  646s |      12 |   312878 |    34319 |    15847      3 |        1 |        1
648.99/649.16	c  648s |      12 |   312978 |    34419 |    15847      3 |        1 |        1
651.09/651.26	c  650s |      12 |   313079 |    34519 |    15847      3 |        1 |        1
653.19/653.36	c  653s |      12 |   313179 |    34619 |    15847      3 |        1 |        1
655.29/655.46	c  655s |      12 |   313281 |    34719 |    15847      3 |        1 |        1
657.39/657.56	c  657s |      12 |   313383 |    34819 |    15847      3 |        1 |        1
659.49/659.60	c  659s |      12 |   313480 |    34919 |    15847      3 |        1 |        1
661.49/661.67	c  661s |      12 |   313583 |    35019 |    15847      3 |        1 |        1
663.59/663.74	c  663s |      12 |   313683 |    35119 |    15847      3 |        1 |        1
665.59/665.77	c  665s |      12 |   313780 |    35219 |    15847      3 |        1 |        1
668.39/668.53	c  668s |      12 |   331757 |    35619 |    15847      3 |        1 |        1
671.29/671.49	c  671s |      12 |   333114 |    35819 |    15847      3 |        1 |        1
673.69/673.88	c  673s |      12 |   348037 |    36019 |    15847      3 |        1 |        1
677.09/677.28	c  676s |      12 |   351393 |    36319 |    15847      3 |        1 |        1
679.70/679.88	c  679s |      12 |   377079 |    36719 |    15847      3 |        1 |        1
682.39/682.59	c  682s |      12 |   377443 |    36919 |    15847      3 |        1 |        1
684.79/684.93	c  684s |      12 |   393541 |    37119 |    15847      3 |        1 |        1
687.99/688.13	c  687s |      12 |   404000 |    37419 |    15847      3 |        1 |        1
690.89/691.07	c  690s |      12 |   421921 |    37819 |    15847      3 |        1 |        1
693.49/693.64	c  693s |      12 |   423320 |    38019 |    15847      3 |        1 |        1
696.09/696.22	c  695s |      12 |   431562 |    38219 |    15847      3 |        1 |        1
698.18/698.31	c  697s |      12 |   434221 |    38319 |    15847      3 |        1 |        1
700.18/700.39	c  700s |      12 |   447614 |    38519 |    15847      3 |        1 |        1
702.79/702.92	c  702s |      12 |   459593 |    38719 |    17432      4 |        1 |        1
703.89/704.06	c  703s |      13 |   459787 |    38832 |    17432      4 |        1 |        1
706.28/706.47	c  706s |      13 |   462071 |    39032 |    17432      4 |        1 |        1
708.68/708.80	c  708s |      13 |   462640 |    39232 |    17432      4 |        1 |        1
710.68/710.85	c  710s |      13 |   465141 |    39432 |    17432      4 |        1 |        1
713.28/713.45	c  713s |      13 |   465423 |    39632 |    17432      4 |        1 |        1
716.28/716.43	c  716s |      13 |   466857 |    39832 |    17432      4 |        1 |        1
718.29/718.47	c  718s |      13 |   467474 |    39932 |    17432      4 |        1 |        1
720.58/720.78	c  720s |      13 |   479387 |    40132 |    17432      4 |        1 |        1
723.18/723.34	c  722s |      13 |   481150 |    40332 |    17432      4 |        1 |        1
725.48/725.69	c  725s |      13 |   494830 |    40532 |    17432      4 |        1 |        1
729.18/729.36	c  729s |      13 |   500249 |    40832 |    17432      4 |        1 |        1
731.18/731.38	c  731s |      13 |   517152 |    41032 |    17432      4 |        1 |        1
734.78/734.91	c  734s |      13 |   517216 |    41232 |    17432      4 |        1 |        1
737.87/738.04	c  737s |      13 |   537976 |    41532 |    17432      4 |        1 |        1
740.87/741.03	c  740s |      13 |   540978 |    41832 |    17432      4 |        1 |        1
742.97/743.14	c  742s |      13 |   555779 |    42132 |    17432      4 |        1 |        1
745.47/745.68	c  745s |      13 |   569156 |    42332 |    17432      4 |        1 |        1
748.67/748.80	c  748s |      13 |   573825 |    42632 |    17432      4 |        1 |        1
750.97/751.19	c  750s |      13 |   587242 |    42832 |    17432      4 |        1 |        1
754.27/754.49	c  754s |      13 |   588261 |    43032 |    17432      4 |        1 |        1
758.68/758.85	c  758s |      13 |   592614 |    43232 |    17432      4 |        1 |        1
761.68/761.83	c  761s |      13 |   603655 |    43532 |    17432      4 |        1 |        1
764.88/765.05	c  764s |      13 |   604706 |    43732 |    17432      4 |        1 |        1
769.18/769.35	c  769s |      13 |   609016 |    43932 |    17432      4 |        1 |        1
771.98/772.10	c  771s |      13 |   609084 |    44032 |    17432      4 |        1 |        1
774.68/774.81	c  774s |      13 |   609211 |    44132 |    17432      4 |        1 |        1
777.28/777.49	c  777s |      13 |   609305 |    44232 |    17432      4 |        1 |        1
780.08/780.24	c  779s |      13 |   609403 |    44332 |    17432      4 |        1 |        1
782.78/782.99	c  782s |      13 |   609489 |    44432 |    17432      4 |        1 |        1
785.47/785.67	c  785s |      13 |   609608 |    44532 |    17432      4 |        1 |        1
788.17/788.38	c  788s |      13 |   609699 |    44632 |    17432      4 |        1 |        1
790.88/791.06	c  790s |      13 |   609787 |    44732 |    17432      4 |        1 |        1
793.57/793.74	c  793s |      13 |   609906 |    44832 |    17432      4 |        1 |        1
796.38/796.53	c  796s |      13 |   609993 |    44932 |    17432      4 |        1 |        1
799.07/799.26	c  798s |      13 |   610108 |    45032 |    17432      4 |        1 |        1
801.78/801.98	c  801s |      13 |   610191 |    45132 |    17432      4 |        1 |        1
804.47/804.68	c  804s |      13 |   610305 |    45232 |    17432      4 |        1 |        1
807.28/807.41	c  807s |      13 |   610391 |    45332 |    17432      4 |        1 |        1
809.97/810.10	c  809s |      13 |   610502 |    45432 |    17432      4 |        1 |        1
812.57/812.77	c  812s |      13 |   610586 |    45532 |    17432      4 |        1 |        1
815.27/815.42	c  815s |      13 |   610698 |    45632 |    17432      4 |        1 |        1
817.37/817.51	c  817s |      13 |   612779 |    45732 |    17432      4 |        1 |        1
820.17/820.33	c  819s |      13 |   630461 |    46132 |    17432      4 |        1 |        1
823.17/823.31	c  822s |      13 |   639252 |    46332 |    17432      4 |        1 |        1
826.57/826.79	c  826s |      13 |   648477 |    46632 |    17432      4 |        1 |        1
829.87/830.08	c  829s |      13 |   667185 |    46932 |    17432      4 |        1 |        1
833.17/833.32	c  832s |      13 |   678047 |    47132 |    17432      4 |        1 |        1
835.87/836.00	c  835s |      13 |   683783 |    47432 |    17432      4 |        1 |        1
839.27/839.44	c  839s |      13 |   686979 |    47632 |    17432      4 |        1 |        1
842.76/842.97	c  842s |      13 |   701563 |    47932 |    17432      4 |        1 |        1
846.76/846.91	c  846s |      13 |   715062 |    48232 |    17432      4 |        1 |        1
849.17/849.31	c  848s |      13 |   718846 |    48332 |    17432      5 |        1 |        1
851.76/851.93	c  851s |      13 |   730668 |    48632 |    17432      5 |        1 |        1
853.86/854.00	c  853s |      13 |   732982 |    48732 |    17432      5 |        1 |        1
857.56/857.75	c  857s |      13 |   743652 |    49032 |    17432      5 |        1 |        1
860.86/861.02	c  860s |      13 |   761378 |    49332 |    17432      5 |        1 |        1
863.66/863.82	c  863s |      13 |   776673 |    49632 |    17432      5 |        1 |        1
867.36/867.58	c  867s |      13 |   780256 |    49832 |    17432      5 |        1 |        1
870.86/871.06	c  870s |      13 |   801575 |    50132 |    17432      5 |        1 |        1
873.06/873.28	c  872s |      13 |   807402 |    50332 |    17432      5 |        1 |        1
875.16/875.32	c  874s |      13 |   824922 |    50532 |    17432      5 |        1 |        1
877.86/878.06	c  877s |      13 |   825588 |    50732 |    17432      5 |        1 |        1
881.36/881.51	c  881s |      13 |   839175 |    51032 |    17432      5 |        1 |        1
883.46/883.62	c  883s |      13 |   839253 |    51132 |    17432      5 |        1 |        1
886.96/887.16	c  886s |      13 |   852997 |    51432 |    17432      5 |        1 |        1
889.46/889.62	c  889s |      13 |   865161 |    51632 |    17432      5 |        1 |        1
891.46/891.66	c  891s |      13 |   868202 |    51832 |    17432      5 |        1 |        1
894.46/894.62	c  894s |      13 |   878765 |    52032 |    17432      5 |        1 |        1
896.65/896.85	c  896s |      13 |   884950 |    52232 |    17432      5 |        1 |        1
898.95/899.10	c  898s |      13 |   885016 |    52332 |    17432      5 |        1 |        1
902.15/902.35	c  902s |      13 |   902842 |    52632 |    17432      5 |        1 |        1
905.75/905.92	c  905s |      13 |   921126 |    52932 |    17432      5 |        1 |        1
907.85/908.05	c  907s |      13 |   935826 |    53132 |    17432      5 |        1 |        1
911.55/911.76	c  911s |      13 |   940853 |    53332 |    17432      5 |        1 |        1
915.45/915.65	c  915s |      13 |   954261 |    53632 |    17432      5 |        1 |        1
918.65/918.82	c  918s |      13 |   969280 |    53932 |    17432      5 |        1 |        1
921.76/921.98	c  921s |      13 |   981370 |    54132 |    17432      5 |        1 |        1
924.05/924.25	c  923s |      13 |   985490 |    54332 |    17432      5 |        1 |        1
926.35/926.57	c  926s |      13 |   998844 |    54532 |    17432      5 |        1 |        1
930.25/930.45	c  930s |      13 |  1000329 |    54732 |    17432      5 |        1 |        1
933.65/933.89	c  933s |      13 |  1016449 |    55032 |    17432      5 |        1 |        1
935.85/936.01	c  935s |      13 |  1031974 |    55232 |    17432      5 |        1 |        1
939.05/939.29	c  938s |      13 |  1032383 |    55432 |    17432      5 |        1 |        1
941.84/942.09	c  941s |      13 |  1046365 |    55732 |    17432      5 |        1 |        1
944.54/944.75	c  944s |      13 |  1057220 |    55932 |    17432      5 |        1 |        1
948.24/948.48	c  948s |      13 |  1058201 |    56132 |    17432      5 |        1 |        1
951.64/951.89	c  951s |      13 |  1071988 |    56432 |    17432      5 |        1 |        1
954.14/954.37	c  954s |      13 |  1085795 |    56632 |    17432      5 |        1 |        1
957.54/957.78	c  957s |      13 |  1086139 |    56832 |    17432      5 |        1 |        1
961.05/961.22	c  960s |      13 |  1101092 |    57132 |    17432      5 |        1 |        1
963.25/963.45	c  963s |      13 |  1111971 |    57332 |    17432      5 |        1 |        1
965.55/965.80	c  965s |      13 |  1127054 |    57532 |    17432      6 |        1 |        1
968.35/968.55	c  968s |      13 |  1128742 |    57732 |    17432      6 |        1 |        1
970.45/970.68	c  970s |      13 |  1128821 |    57832 |    17432      6 |        1 |        1
974.15/974.38	c  974s |      13 |  1144399 |    58132 |    19176      6 |        1 |        1
976.45/976.63	c  976s |      13 |  1158365 |    58332 |    19176      6 |        1 |        1
976.65/976.80	c  976s |      14 |  1158365 |    58352 |    19176      6 |        1 |        1
979.75/979.97	c  979s |      14 |  1159232 |    58552 |    19176      6 |        1 |        1
982.04/982.20	c  981s |      14 |  1159309 |    58652 |    19176      6 |        1 |        1
985.14/985.37	c  985s |      14 |  1173186 |    58952 |    19176      6 |        1 |        1
987.34/987.56	c  987s |      14 |  1193496 |    59152 |    19176      6 |        1 |        1
991.14/991.32	c  990s |      14 |  1199127 |    59452 |    19176      6 |        1 |        1
993.15/993.35	c  993s |      14 |  1215162 |    59652 |    19176      6 |        1 |        1
996.55/996.77	c  996s |      14 |  1215986 |    59852 |    19176      6 |        1 |        1
999.75/999.92	c  999s |      14 |  1234280 |    60152 |    19176      6 |        1 |        1
1001.84/1002.07	c 1001s |      14 |  1250821 |    60352 |    19176      6 |        1 |        1
1004.64/1004.85	c 1004s |      14 |  1263863 |    60552 |    19176      6 |        1 |        1
1008.44/1008.65	c 1008s |      14 |  1268918 |    60852 |    19176      6 |        1 |        1
1010.94/1011.15	c 1010s |      14 |  1292343 |    61152 |    19176      6 |        1 |        1
1013.74/1013.91	c 1013s |      14 |  1295596 |    61352 |    19176      6 |        1 |        1
1015.84/1016.03	c 1015s |      14 |  1308002 |    61552 |    19176      6 |        1 |        1
1019.04/1019.24	c 1018s |      14 |  1315326 |    61752 |    19176      6 |        1 |        1
1022.74/1023.00	c 1022s |      14 |  1324556 |    62052 |    19176      6 |        1 |        1
1026.34/1026.57	c 1026s |      14 |  1340923 |    62352 |    19176      6 |        1 |        1
1028.54/1028.77	c 1028s |      14 |  1355275 |    62552 |    19176      6 |        1 |        1
1031.04/1031.20	c 1030s |      14 |  1368770 |    62752 |    19176      6 |        1 |        1
1033.44/1033.68	c 1033s |      14 |  1369151 |    62952 |    19176      6 |        1 |        1
1035.54/1035.74	c 1035s |      14 |  1380654 |    63152 |    19176      6 |        1 |        1
1037.74/1037.93	c 1037s |      14 |  1392128 |    63352 |    19176      6 |        1 |        1
1040.03/1040.22	c 1039s |      14 |  1402968 |    63552 |    19176      6 |        1 |        1
1042.74/1042.96	c 1042s |      14 |  1409555 |    63752 |    19176      6 |        1 |        1
1045.23/1045.43	c 1045s |      14 |  1413110 |    63952 |    19176      6 |        1 |        1
1048.33/1048.52	c 1048s |      14 |  1430590 |    64252 |    19176      6 |        1 |        1
1050.53/1050.79	c 1050s |      14 |  1435226 |    64452 |    19176      6 |        1 |        1
1052.83/1053.02	c 1052s |      14 |  1444938 |    64652 |    19176      6 |        1 |        1
1054.93/1055.15	c 1054s |      14 |  1453718 |    64852 |    19176      6 |        1 |        1
1057.93/1058.14	c 1057s |      14 |  1455364 |    65052 |    19176      6 |        1 |        1
1060.24/1060.46	c 1060s |      14 |  1466790 |    65252 |    19176      6 |        1 |        1
1063.43/1063.62	c 1063s |      14 |  1467222 |    65452 |    19176      6 |        1 |        1
1066.53/1066.74	c 1066s |      14 |  1481974 |    65752 |    19176      6 |        1 |        1
1069.83/1070.00	c 1069s |      14 |  1493835 |    66052 |    19176      6 |        1 |        1
1072.44/1072.66	c 1072s |      14 |  1503315 |    66252 |    19176      6 |        1 |        1
1075.74/1075.95	c 1075s |      14 |  1503713 |    66452 |    19176      6 |        1 |        1
1078.83/1079.03	c 1078s |      14 |  1515588 |    66752 |    19176      6 |        1 |        1
1081.73/1081.97	c 1081s |      14 |  1526752 |    67052 |    19176      6 |        1 |        1
1083.83/1084.00	c 1083s |      14 |  1546427 |    67252 |    19176      6 |        1 |        1
1086.73/1086.96	c 1086s |      14 |  1550155 |    67552 |    19176      6 |        1 |        1
1089.43/1089.61	c 1089s |      14 |  1561120 |    67752 |    19176      6 |        1 |        1
1091.63/1091.83	c 1091s |      14 |  1564659 |    67952 |    19176      6 |        1 |        1
1094.83/1095.06	c 1094s |      14 |  1566138 |    68152 |    19176      7 |        1 |        1
1098.62/1098.84	c 1098s |      14 |  1575993 |    68452 |    19176      7 |        1 |        1
1100.72/1100.93	c 1100s |      14 |  1587885 |    68752 |    19176      7 |        1 |        1
1103.52/1103.72	c 1103s |      14 |  1590008 |    68952 |    19176      7 |        1 |        1
1106.43/1106.68	c 1106s |      14 |  1599361 |    69152 |    19176      7 |        1 |        1
1109.12/1109.34	c 1108s |      14 |  1602086 |    69352 |    19176      7 |        1 |        1
1112.42/1112.61	c 1112s |      14 |  1609786 |    69652 |    19176      7 |        1 |        1
1114.52/1114.79	c 1114s |      14 |  1615044 |    69852 |    19176      7 |        1 |        1
1116.72/1116.90	c 1116s |      14 |  1620496 |    70052 |    19176      7 |        1 |        1
1119.02/1119.21	c 1118s |      14 |  1625312 |    70252 |    19176      7 |        1 |        1
1121.02/1121.23	c 1120s |      14 |  1630120 |    70452 |    19176      7 |        1 |        1
1123.22/1123.47	c 1123s |      14 |  1634916 |    70652 |    19176      7 |        1 |        1
1125.72/1125.99	c 1125s |      14 |  1644021 |    70952 |    19176      7 |        1 |        1
1127.92/1128.10	c 1127s |      14 |  1649515 |    71152 |    19176      7 |        1 |        1
1130.51/1130.78	c 1130s |      14 |  1659355 |    71452 |    19176      7 |        1 |        1
1133.51/1133.70	c 1133s |      14 |  1670466 |    71852 |    19176      7 |        1 |        1
1135.61/1135.85	c 1135s |      14 |  1674118 |    72052 |    19176      7 |        1 |        1
1137.81/1138.00	c 1137s |      14 |  1678381 |    72252 |    19176      7 |        1 |        1
1140.52/1140.71	c 1140s |      14 |  1686719 |    72552 |    19176      7 |        1 |        1
1143.32/1143.56	c 1143s |      14 |  1694023 |    72852 |    19176      7 |        1 |        1
1145.72/1145.98	c 1145s |      14 |  1699540 |    73152 |    19176      7 |        1 |        1
1148.02/1148.26	c 1147s |      14 |  1703319 |    73552 |    19176      7 |        1 |        1
1150.12/1150.38	c 1150s |      14 |  1707778 |    73952 |    19176      7 |        1 |        1
1152.42/1152.68	c 1152s |      14 |  1714838 |    74352 |    19176      7 |        1 |        1
1154.83/1155.02	c 1154s |      14 |  1724802 |    74752 |    19176      7 |        1 |        1
1157.42/1157.66	c 1157s |      14 |  1733923 |    75152 |    19176      7 |        1 |        1
1159.72/1159.91	c 1159s |      14 |  1739698 |    75452 |    19176      7 |        1 |        1
1161.72/1161.98	c 1161s |      14 |  1746690 |    75752 |    19176      7 |        1 |        1
1164.12/1164.39	c 1164s |      14 |  1753290 |    76052 |    19176      7 |        1 |        1
1166.72/1166.96	c 1166s |      14 |  1758965 |    76352 |    19176      7 |        1 |        1
1169.22/1169.42	c 1169s |      14 |  1765297 |    76652 |    19176      7 |        1 |        1
1171.32/1171.56	c 1171s |      14 |  1770446 |    76952 |    19176      7 |        1 |        1
1173.62/1173.83	c 1173s |      14 |  1775920 |    77252 |    19176      7 |        1 |        1
1176.41/1176.60	c 1176s |      14 |  1780461 |    77552 |    19176      7 |        1 |        1
1179.91/1180.18	c 1179s |      14 |  1781458 |    77752 |    19176      7 |        1 |        1
1182.91/1183.18	c 1182s |      14 |  1783682 |    77952 |    19176      7 |        1 |        1
1185.21/1185.41	c 1185s |      14 |  1784979 |    78052 |    19176      8 |        1 |        1
1187.71/1187.93	c 1187s |      14 |  1790647 |    78252 |    19176      8 |        1 |        1
1189.71/1189.99	c 1189s |      14 |  1792406 |    78452 |    19176      8 |        1 |        1
1192.41/1192.63	c 1192s |      14 |  1792952 |    78752 |    19176      8 |        1 |        1
1194.61/1194.81	c 1194s |      14 |  1793334 |    78952 |    19176      8 |        1 |        1
1196.81/1197.05	c 1196s |      14 |  1796770 |    79252 |    19176      8 |        1 |        1
1199.01/1199.23	c 1198s |      14 |  1802248 |    79552 |    19176      8 |        1 |        1
1201.61/1201.82	c 1201s |      14 |  1803907 |    79852 |    19176      8 |        1 |        1
1204.51/1204.72	c 1204s |      14 |  1809349 |    80152 |    19176      8 |        1 |        1
1207.01/1207.23	c 1206s |      14 |  1815691 |    80452 |    19176      8 |        1 |        1
1209.31/1209.57	c 1209s |      14 |  1820165 |    80752 |    19176      8 |        1 |        1
1211.41/1211.63	c 1211s |      14 |  1824555 |    80952 |    19176      8 |        1 |        1
1214.21/1214.42	c 1214s |      14 |  1828701 |    81252 |    19176      8 |        1 |        1
1216.21/1216.47	c 1216s |      14 |  1832851 |    81452 |    19176      8 |        1 |        1
1218.81/1219.00	c 1218s |      14 |  1837181 |    81752 |    19176      8 |        1 |        1
1221.51/1221.77	c 1221s |      14 |  1841072 |    82052 |    19176      8 |        1 |        1
1224.40/1224.61	c 1224s |      14 |  1844621 |    82352 |    19176      8 |        1 |        1
1227.10/1227.32	c 1226s |      14 |  1849023 |    82652 |    19176      8 |        1 |        1
1229.61/1229.81	c 1229s |      14 |  1855420 |    82952 |    19176      8 |        1 |        1
1232.10/1232.37	c 1232s |      14 |  1859792 |    83252 |    19176      8 |        1 |        1
1234.30/1234.59	c 1234s |      14 |  1866322 |    83552 |    19176      8 |        1 |        1
1236.80/1237.08	c 1236s |      14 |  1871907 |    83852 |    19176      8 |        1 |        1
1239.61/1239.80	c 1239s |      14 |  1880179 |    84152 |    19176      8 |        1 |        1
1242.40/1242.61	c 1242s |      14 |  1888371 |    84452 |    19176      8 |        1 |        1
1244.40/1244.62	c 1244s |      14 |  1894134 |    84652 |    19176      8 |        1 |        1
1246.80/1247.00	c 1246s |      14 |  1897777 |    84852 |    19176      8 |        1 |        1
1249.60/1249.80	c 1249s |      14 |  1907570 |    85152 |    19176      8 |        1 |        1
1251.80/1252.01	c 1251s |      14 |  1912308 |    85352 |    19176      8 |        1 |        1
1253.81/1254.09	c 1253s |      14 |  1916912 |    85552 |    19176      8 |        1 |        1
1256.40/1256.62	c 1256s |      14 |  1918561 |    85752 |    19176      8 |        1 |        1
1259.00/1259.27	c 1258s |      14 |  1918813 |    85952 |    19176      8 |        1 |        1
1261.20/1261.43	c 1261s |      14 |  1922589 |    86152 |    19176      8 |        1 |        1
1263.70/1263.97	c 1263s |      14 |  1924095 |    86352 |    19176      8 |        1 |        1
1265.79/1266.07	c 1265s |      14 |  1929127 |    86552 |    19176      8 |        1 |        1
1268.39/1268.60	c 1268s |      14 |  1934107 |    86752 |    19176      8 |        1 |        1
1270.89/1271.10	c 1270s |      14 |  1939184 |    86952 |    19176      8 |        1 |        1
1273.89/1274.19	c 1273s |      14 |  1939697 |    87152 |    21094      8 |        1 |        1
1276.79/1277.07	c 1276s |      14 |  1940291 |    87352 |    21094      8 |        1 |        1
1279.20/1279.44	c 1279s |      14 |  1944161 |    87552 |    21094      8 |        1 |        1
1280.20/1280.48	c 1280s |      15 |  1944582 |    87632 |    21094      8 |        1 |        1
1284.70/1284.93	c 1284s |      15 |  1945380 |    87832 |    21094      8 |        1 |        1
1286.69/1286.96	c 1286s |      15 |  1945693 |    88032 |    21094      8 |        1 |        1
1289.39/1289.62	c 1289s |      15 |  1949681 |    88232 |    21094      8 |        1 |        1
1291.49/1291.77	c 1291s |      15 |  1949849 |    88332 |    21094      8 |        1 |        1
1293.79/1294.02	c 1293s |      15 |  1950164 |    88532 |    21094      8 |        1 |        1
1296.79/1297.08	c 1296s |      15 |  1965369 |    88832 |    21094      8 |        1 |        1
1298.89/1299.13	c 1298s |      15 |  1965425 |    88932 |    21094      8 |        1 |        1
1301.09/1301.34	c 1300s |      15 |  1966521 |    89132 |    21094      8 |        1 |        1
1304.39/1304.66	c 1304s |      15 |  1966905 |    89332 |    21094      8 |        1 |        1
1306.98/1307.29	c 1306s |      15 |  1967352 |    89632 |    21094      8 |        1 |        1
1310.28/1310.57	c 1310s |      15 |  1967701 |    89832 |    21094      9 |        1 |        1
1312.28/1312.59	c 1312s |      15 |  1967770 |    89932 |    21094      9 |        1 |        1
1315.18/1315.48	c 1315s |      15 |  1972831 |    90132 |    21094      9 |        1 |        1
1317.69/1317.95	c 1317s |      15 |  1977607 |    90432 |    21094      9 |        1 |        1
1320.38/1320.68	c 1320s |      15 |  1981010 |    90732 |    21094      9 |        1 |        1
1323.38/1323.65	c 1323s |      15 |  1987141 |    91032 |    21094      9 |        1 |        1
1325.49/1325.74	c 1325s |      15 |  1989023 |    91232 |    21094      9 |        1 |        1
1327.60/1327.86	c 1327s |      15 |  1992223 |    91532 |    21094      9 |        1 |        1
1330.09/1330.31	c 1329s |      15 |  1996238 |    91732 |    21094      9 |        1 |        1
1332.69/1332.93	c 1332s |      15 |  1999927 |    92032 |    21094      9 |        1 |        1
1335.59/1335.89	c 1335s |      15 |  2003740 |    92332 |    21094      9 |        1 |        1
1338.29/1338.59	c 1338s |      15 |  2009063 |    92632 |    21094      9 |        1 |        1
1340.69/1340.93	c 1340s |      15 |  2011412 |    92832 |    21094      9 |        1 |        1
1342.79/1343.00	c 1342s |      15 |  2014563 |    93032 |    21094      9 |        1 |        1
1344.79/1345.01	c 1344s |      15 |  2018537 |    93232 |    21094      9 |        1 |        1
1347.09/1347.38	c 1347s |      15 |  2020914 |    93432 |    21094      9 |        1 |        1
1349.39/1349.69	c 1349s |      15 |  2024463 |    93632 |    21094      9 |        1 |        1
1352.19/1352.41	c 1352s |      15 |  2027506 |    93832 |    21094      9 |        1 |        1
1354.69/1354.96	c 1354s |      15 |  2033351 |    94132 |    21094      9 |        1 |        1
1357.38/1357.69	c 1357s |      15 |  2033996 |    94332 |    21094      9 |        1 |        1
1360.08/1360.36	c 1360s |      15 |  2043258 |    94632 |    21094      9 |        1 |        1
1362.18/1362.49	c 1362s |      15 |  2050779 |    94832 |    21094      9 |        1 |        1
1365.18/1365.40	c 1365s |      15 |  2053231 |    95032 |    21094      9 |        1 |        1
1368.58/1368.89	c 1368s |      15 |  2061452 |    95332 |    21094      9 |        1 |        1
1371.68/1371.97	c 1371s |      15 |  2068968 |    95632 |    21094      9 |        1 |        1
1373.79/1374.05	c 1373s |      15 |  2069407 |    95932 |    21094      9 |        1 |        1
1377.18/1377.46	c 1377s |      15 |  2081758 |    96232 |    21094      9 |        1 |        1
1380.48/1380.75	c 1380s |      15 |  2095942 |    96532 |    21094      9 |        1 |        1
1382.49/1382.76	c 1382s |      15 |  2104583 |    96732 |    21094      9 |        1 |        1
1384.69/1384.94	c 1384s |      15 |  2113719 |    96932 |    21094      9 |        1 |        1
1387.48/1387.74	c 1387s |      15 |  2119828 |    97132 |    21094      9 |        1 |        1
1389.58/1389.80	c 1389s |      15 |  2125404 |    97332 |    21094      9 |        1 |        1
1391.88/1392.14	c 1391s |      15 |  2129844 |    97532 |    21094      9 |        1 |        1
1393.98/1394.25	c 1393s |      15 |  2130978 |    97732 |    21094      9 |        1 |        1
1397.18/1397.41	c 1397s |      15 |  2131160 |    97932 |    21094      9 |        1 |        1
1400.68/1400.93	c 1400s |      15 |  2142667 |    98232 |    21094      9 |        1 |        1
1402.78/1403.01	c 1402s |      15 |  2147581 |    98432 |    21094      9 |        1 |        1
1405.28/1405.53	c 1405s |      15 |  2155031 |    98732 |    21094      9 |        1 |        1
1407.38/1407.68	c 1407s |      15 |  2155393 |    98932 |    21094      9 |        1 |        1
1409.98/1410.28	c 1409s |      15 |  2162787 |    99132 |    21094      9 |        1 |        1
1412.77/1413.07	c 1412s |      15 |  2168808 |    99332 |    21094      9 |        1 |        1
1415.97/1416.25	c 1415s |      15 |  2169162 |    99532 |    21094      9 |        1 |        1
1418.37/1418.64	c 1418s |      15 |  2176981 |    99832 |    21094      9 |        1 |        1
1421.77/1422.01	c 1421s |      15 |  2177260 |   100032 |    21094      9 |        1 |        1
1425.07/1425.39	c 1425s |      15 |  2185230 |   100332 |    21094      9 |        1 |        1
1427.47/1427.76	c 1427s |      15 |  2185742 |   100532 |    21094      9 |        1 |        1
1429.78/1430.09	c 1429s |      15 |  2187774 |   100632 |    21094     10 |        1 |        1
1434.37/1434.61	c 1434s |      15 |  2194415 |   100832 |    21094     10 |        1 |        1
1437.17/1437.41	c 1437s |      15 |  2195665 |   101032 |    21094     10 |        1 |        1
1439.77/1440.02	c 1439s |      15 |  2197917 |   101232 |    21094     10 |        1 |        1
1442.36/1442.61	c 1442s |      15 |  2202365 |   101432 |    21094     10 |        1 |        1
1444.66/1444.96	c 1444s |      15 |  2202865 |   101632 |    21094     10 |        1 |        1
1446.76/1447.09	c 1446s |      15 |  2210802 |   101832 |    21094     10 |        1 |        1
1449.46/1449.73	c 1449s |      15 |  2218853 |   102032 |    21094     10 |        1 |        1
1452.76/1453.03	c 1452s |      15 |  2219277 |   102232 |    21094     10 |        1 |        1
1455.56/1455.85	c 1455s |      15 |  2219942 |   102432 |    21094     10 |        1 |        1
1458.66/1458.91	c 1458s |      15 |  2225354 |   102632 |    21094     10 |        1 |        1
1462.56/1462.83	c 1462s |      15 |  2227981 |   102832 |    21094     10 |        1 |        1
1464.76/1465.01	c 1464s |      15 |  2238737 |   103032 |    21094     10 |        1 |        1
1467.06/1467.30	c 1466s |      15 |  2241269 |   103232 |    21094     10 |        1 |        1
1470.36/1470.66	c 1470s |      15 |  2244347 |   103432 |    21094     10 |        1 |        1
1473.86/1474.14	c 1473s |      15 |  2251376 |   103732 |    21094     10 |        1 |        1
1477.16/1477.46	c 1477s |      15 |  2256848 |   103932 |    21094     10 |        1 |        1
1479.45/1479.70	c 1479s |      15 |  2266021 |   104132 |    21094     10 |        1 |        1
1482.75/1483.00	c 1482s |      15 |  2269538 |   104332 |    21094     10 |        1 |        1
1486.05/1486.31	c 1485s |      15 |  2279932 |   104632 |    21094     10 |        1 |        1
1488.25/1488.58	c 1488s |      15 |  2297212 |   104832 |    21094     10 |        1 |        1
1491.75/1492.09	c 1491s |      15 |  2297479 |   105032 |    21094     10 |        1 |        1
1493.85/1494.16	c 1493s |      15 |  2297706 |   105132 |    21094     10 |        1 |        1
1497.35/1497.66	c 1497s |      15 |  2303420 |   105432 |    21094     10 |        1 |        1
1500.45/1500.77	c 1500s |      15 |  2303838 |   105632 |    21094     10 |        1 |        1
1502.85/1503.16	c 1502s |      15 |  2304256 |   105832 |    21094     10 |        1 |        1
1505.85/1506.18	c 1505s |      15 |  2304770 |   106032 |    21094     10 |        1 |        1
1508.45/1508.72	c 1508s |      15 |  2305005 |   106132 |    21094     10 |        1 |        1
1510.75/1511.02	c 1510s |      15 |  2309362 |   106232 |    21094     10 |        1 |        1
1513.05/1513.35	c 1513s |      15 |  2314230 |   106332 |    21094     10 |        1 |        1
1515.66/1515.99	c 1515s |      15 |  2314545 |   106432 |    21094     10 |        1 |        1
1518.15/1518.41	c 1518s |      15 |  2315188 |   106532 |    21094     10 |        1 |        1
1520.25/1520.59	c 1520s |      15 |  2335271 |   106832 |    21094     10 |        1 |        1
1523.75/1524.07	c 1523s |      15 |  2335608 |   107032 |    21094     10 |        1 |        1
1526.25/1526.54	c 1526s |      15 |  2356785 |   107332 |    21094     10 |        1 |        1
1529.05/1529.36	c 1529s |      15 |  2359940 |   107532 |    21094     10 |        1 |        1
1532.95/1533.23	c 1532s |      15 |  2377901 |   107832 |    21094     10 |        1 |        1
1536.25/1536.55	c 1536s |      15 |  2393923 |   108132 |    21094     10 |        1 |        1
1539.45/1539.78	c 1539s |      15 |  2409524 |   108432 |    21094     10 |        1 |        1
1542.74/1543.04	c 1542s |      15 |  2424556 |   108732 |    21094     10 |        1 |        1
1545.64/1545.93	c 1545s |      15 |  2445304 |   109032 |    21094     10 |        1 |        1
1548.34/1548.67	c 1548s |      15 |  2464763 |   109332 |    21094     10 |        1 |        1
1551.34/1551.61	c 1551s |      15 |  2474170 |   109632 |    21094     10 |        1 |        1
1553.34/1553.67	c 1553s |      15 |  2504132 |   110632 |    21094     10 |        1 |        1
1555.44/1555.74	c 1555s |      15 |  2533892 |   111432 |    21094     10 |        1 |        1
1557.64/1557.96	c 1557s |      15 |  2553181 |   111932 |    21094     11 |        1 |        1
1559.94/1560.24	c 1559s |      15 |  2587028 |   112732 |    21094     11 |        1 |        1
1562.03/1562.32	c 1561s |      15 |  2611183 |   113332 |    21094     11 |        1 |        1
1564.23/1564.57	c 1564s |      15 |  2636634 |   113932 |    21094     11 |        1 |        1
1566.53/1566.81	c 1566s |      15 |  2664606 |   114532 |    21094     11 |        1 |        1
1568.53/1568.86	c 1568s |      15 |  2688446 |   115032 |    21094     11 |        1 |        1
1570.83/1571.14	c 1570s |      15 |  2711888 |   115532 |    21094     11 |        1 |        1
1572.92/1573.23	c 1572s |      15 |  2733688 |   116032 |    21094     11 |        1 |        1
1575.12/1575.44	c 1575s |      15 |  2747046 |   116432 |    21094     11 |        1 |        1
1577.42/1577.72	c 1577s |      15 |  2772765 |   116932 |    21094     11 |        1 |        1
1579.62/1579.95	c 1579s |      15 |  2790090 |   117332 |    21094     11 |        1 |        1
1581.82/1582.14	c 1581s |      15 |  2808865 |   117732 |    21094     11 |        1 |        1
1583.82/1584.19	c 1583s |      15 |  2831618 |   118132 |    21094     11 |        1 |        1
1586.02/1586.31	c 1585s |      15 |  2846964 |   118532 |    21094     11 |        1 |        1
1588.51/1588.89	c 1588s |      15 |  2862362 |   118932 |    21094     11 |        1 |        1
1590.81/1591.14	c 1590s |      15 |  2878938 |   119332 |    21094     11 |        1 |        1
1593.51/1593.87	c 1593s |      15 |  2896151 |   119732 |    21094     11 |        1 |        1
1595.92/1596.22	c 1595s |      15 |  2917808 |   120132 |    21094     11 |        1 |        1
1598.02/1598.36	c 1598s |      15 |  2936227 |   120532 |    21094     11 |        1 |        1
1600.71/1601.01	c 1600s |      15 |  2955462 |   120932 |    21094     11 |        1 |        1
1603.20/1603.50	c 1603s |      15 |  2978503 |   121332 |    21094     11 |        1 |        1
1605.30/1605.64	c 1605s |      15 |  2990278 |   121632 |    21094     11 |        1 |        1
1607.91/1608.26	c 1607s |      15 |  3013481 |   122032 |    21094     11 |        1 |        1
1611.40/1611.74	c 1611s |      15 |  3032806 |   122432 |    21094     12 |        1 |        1
1614.40/1614.78	c 1614s |      15 |  3047698 |   122832 |    21094     12 |        1 |        1
1617.30/1617.62	c 1617s |      15 |  3067141 |   123232 |    21094     12 |        1 |        1
1619.80/1620.15	c 1619s |      15 |  3086682 |   123632 |    21094     12 |        1 |        1
1622.30/1622.66	c 1622s |      15 |  3100891 |   123932 |    21094     12 |        1 |        1
1624.40/1624.72	c 1624s |      15 |  3115024 |   124232 |    21094     12 |        1 |        1
1626.70/1627.09	c 1626s |      15 |  3131136 |   124532 |    21094     12 |        1 |        1
1628.90/1629.21	c 1628s |      15 |  3145738 |   124832 |    21094     12 |        1 |        1
1631.19/1631.50	c 1631s |      15 |  3159360 |   125132 |    21094     12 |        1 |        1
1634.00/1634.33	c 1633s |      15 |  3169082 |   125432 |    21094     12 |        1 |        1
1636.90/1637.20	c 1636s |      15 |  3191353 |   125832 |    21094     12 |        1 |        1
1639.00/1639.31	c 1638s |      15 |  3211786 |   126132 |    21094     12 |        1 |        1
1641.29/1641.66	c 1641s |      15 |  3223729 |   126432 |    21094     12 |        1 |        1
1643.99/1644.38	c 1644s |      15 |  3238628 |   126732 |    21094     12 |        1 |        1
1646.50/1646.81	c 1646s |      15 |  3257121 |   127032 |    21094     12 |        1 |        1
1649.39/1649.72	c 1649s |      15 |  3269725 |   127332 |    21094     12 |        1 |        1
1651.90/1652.23	c 1651s |      15 |  3280724 |   127632 |    21094     12 |        1 |        1
1654.89/1655.29	c 1654s |      15 |  3293401 |   127932 |    21094     12 |        1 |        1
1657.59/1657.96	c 1657s |      15 |  3309313 |   128232 |    21094     12 |        1 |        1
1660.29/1660.63	c 1660s |      15 |  3319801 |   128532 |    21094     12 |        1 |        1
1662.49/1662.82	c 1662s |      15 |  3342620 |   128832 |    21094     12 |        1 |        1
1664.98/1665.37	c 1665s |      15 |  3346736 |   129032 |    21094     12 |        1 |        1
1667.88/1668.22	c 1667s |      15 |  3358145 |   129332 |    21094     12 |        1 |        1
1670.78/1671.13	c 1670s |      15 |  3369494 |   129632 |    21094     12 |        1 |        1
1673.68/1674.00	c 1673s |      15 |  3389417 |   129932 |    21094     12 |        1 |        1
1676.38/1676.80	c 1676s |      15 |  3403673 |   130232 |    21094     12 |        1 |        1
1678.68/1679.03	c 1678s |      15 |  3411046 |   130432 |    21094     12 |        1 |        1
1680.78/1681.16	c 1680s |      15 |  3418746 |   130632 |    21094     12 |        1 |        1
1683.37/1683.78	c 1683s |      15 |  3437360 |   130932 |    23204     12 |        1 |        1
1685.87/1686.22	c 1685s |      15 |  3455771 |   131232 |    23204     12 |        1 |        1
1688.57/1688.98	c 1688s |      15 |  3469340 |   131532 |    23204     12 |        1 |        1
1688.87/1689.25	c 1688s |      16 |  3469340 |   131552 |    23204     12 |        1 |        1
1691.77/1692.16	c 1691s |      16 |  3473504 |   131752 |    23204     12 |        1 |        1
1694.77/1695.13	c 1694s |      16 |  3473961 |   131952 |    23204     12 |        1 |        1
1696.87/1697.25	c 1696s |      16 |  3495118 |   132152 |    23204     12 |        1 |        1
1700.06/1700.41	c 1700s |      16 |  3495736 |   132352 |    23204     12 |        1 |        1
1702.16/1702.51	c 1702s |      16 |  3502949 |   132652 |    23204     12 |        1 |        1
1704.36/1704.71	c 1704s |      16 |  3504047 |   132852 |    23204     12 |        1 |        1
1707.46/1707.83	c 1707s |      16 |  3524240 |   133152 |    23204     12 |        1 |        1
1710.76/1711.14	c 1710s |      16 |  3524846 |   133352 |    23204     12 |        1 |        1
1713.46/1713.88	c 1713s |      16 |  3528209 |   133552 |    23204     12 |        1 |        1
1715.66/1716.06	c 1715s |      16 |  3556950 |   133752 |    23204     12 |        1 |        1
1718.45/1718.89	c 1718s |      16 |  3558875 |   133952 |    23204     12 |        1 |        1
1722.55/1722.98	c 1722s |      16 |  3571161 |   134152 |    23204     12 |        1 |        1
1724.75/1725.12	c 1724s |      16 |  3577671 |   134352 |    23204     12 |        1 |        1
1726.95/1727.31	c 1726s |      16 |  3580049 |   134452 |    23204     12 |        1 |        1
1730.15/1730.58	c 1730s |      16 |  3591747 |   134752 |    23204     12 |        1 |        1
1732.25/1732.66	c 1732s |      16 |  3603365 |   134952 |    23204     12 |        1 |        1
1735.95/1736.35	c 1736s |      16 |  3615980 |   135252 |    23204     12 |        1 |        1
1739.34/1739.74	c 1739s |      16 |  3622169 |   135352 |    23204     13 |        1 |        1
1741.45/1741.84	c 1741s |      16 |  3627874 |   135552 |    23204     13 |        1 |        1
1744.75/1745.11	c 1744s |      16 |  3644014 |   135852 |    23204     13 |        1 |        1
1746.95/1747.31	c 1746s |      16 |  3651302 |   136052 |    23204     13 |        1 |        1
1749.55/1749.91	c 1749s |      16 |  3665105 |   136352 |    23204     13 |        1 |        1
1752.75/1753.10	c 1752s |      16 |  3675690 |   136652 |    23204     13 |        1 |        1
1755.75/1756.13	c 1755s |      16 |  3687370 |   136952 |    23204     13 |        1 |        1
1757.85/1758.29	c 1757s |      16 |  3698530 |   137152 |    23204     13 |        1 |        1
1760.25/1760.65	c 1760s |      16 |  3701701 |   137352 |    23204     13 |        1 |        1
1763.24/1763.66	c 1763s |      16 |  3713546 |   137652 |    23204     13 |        1 |        1
1765.34/1765.73	c 1765s |      16 |  3737622 |   137952 |    23204     13 |        1 |        1
1767.94/1768.36	c 1768s |      16 |  3743002 |   138152 |    23204     13 |        1 |        1
1770.14/1770.51	c 1770s |      16 |  3761890 |   138452 |    23204     13 |        1 |        1
1773.24/1773.63	c 1773s |      16 |  3778053 |   138752 |    23204     13 |        1 |        1
1775.44/1775.87	c 1775s |      16 |  3794266 |   138952 |    23204     13 |        1 |        1
1777.93/1778.38	c 1778s |      16 |  3794809 |   139152 |    23204     13 |        1 |        1
1781.33/1781.70	c 1781s |      16 |  3810989 |   139452 |    23204     13 |        1 |        1
1783.43/1783.87	c 1783s |      16 |  3827068 |   139652 |    23204     13 |        1 |        1
1786.53/1786.96	c 1786s |      16 |  3836176 |   139852 |    23204     13 |        1 |        1
1790.03/1790.45	c 1790s |      16 |  3843918 |   140152 |    23204     13 |        1 |        1
1793.73/1794.19	c 1793s |      16 |  3860109 |   140452 |    23204     13 |        1 |        1
1797.32/1797.78	c 1797s |      16 |  3876639 |   140752 |    23204     13 |        1 |        1

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

pid=14455
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.17 2.20 2.18 5/180 14458
/proc/meminfo: memFree=29882812/32872528 swapFree=17452/1581112
[pid=14458] ppid=14455 vsize=760252 CPUtime=0 cores=1,3,5,7
/proc/14458/stat : 14458 (toysat) R 14455 14458 13546 0 -1 4202496 2842 0 0 0 0 0 0 0 20 0 4 0 108171693 778498048 3203 33554432000 4194304 16246674 140736395626592 140736395626016 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14458/statm: 190575 3212 441 2943 0 187469 0
[pid=14458/tid=14459] ppid=14455 vsize=778684 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14459/stat : 14459 (toysat) S 14455 14458 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108171693 797372416 3274 33554432000 4194304 16246674 140736395626592 140493348383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14458/tid=14460] ppid=14455 vsize=782780 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14460/stat : 14460 (toysat) S 14455 14458 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108171693 801566720 3291 33554432000 4194304 16246674 140736395626592 140493337894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14458/tid=14461] ppid=14455 vsize=786876 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14461/stat : 14461 (toysat) S 14455 14458 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108171693 805761024 3308 33554432000 4194304 16246674 140736395626592 140493327420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.17 2.20 2.18 5/180 14458
/proc/meminfo: memFree=29882812/32872528 swapFree=17452/1581112
[pid=14458] ppid=14455 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/14458/stat : 14458 (toysat) R 14455 14458 13546 0 -1 4202496 21580 0 0 0 5 4 0 0 20 0 4 0 108171693 1250496512 21878 33554432000 4194304 16246674 140736395626592 140736395625904 6762828 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14458/statm: 305297 21888 836 2943 0 302191 0
[pid=14458/tid=14459] ppid=14455 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14459/stat : 14459 (toysat) S 14455 14458 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108171693 1250496512 21894 33554432000 4194304 16246674 140736395626592 140493348383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14458/tid=14460] ppid=14455 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14460/stat : 14460 (toysat) S 14455 14458 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108171693 1250496512 21900 33554432000 4194304 16246674 140736395626592 140493337894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14458/tid=14461] ppid=14455 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14461/stat : 14461 (toysat) S 14455 14458 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108171693 1250496512 21907 33554432000 4194304 16246674 140736395626592 140493327420592 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) 1221188

[startup+0.200538 s]
/proc/loadavg: 2.17 2.20 2.18 5/180 14458
/proc/meminfo: memFree=29882812/32872528 swapFree=17452/1581112
[pid=14458] ppid=14455 vsize=1297988 CPUtime=0.19 cores=1,3,5,7
/proc/14458/stat : 14458 (toysat) R 14455 14458 13546 0 -1 4202496 39878 0 0 0 12 7 0 0 20 0 4 0 108171693 1329139712 40177 33554432000 4194304 16246674 140736395626592 140736395625904 12459048 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14458/statm: 324497 40185 836 2943 0 321391 0
[pid=14458/tid=14459] ppid=14455 vsize=1297988 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14459/stat : 14459 (toysat) S 14455 14458 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108171693 1329139712 40190 33554432000 4194304 16246674 140736395626592 140493348383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14458/tid=14460] ppid=14455 vsize=1297988 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14460/stat : 14460 (toysat) S 14455 14458 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108171693 1329139712 40196 33554432000 4194304 16246674 140736395626592 140493337894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14458/tid=14461] ppid=14455 vsize=1297988 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14461/stat : 14461 (toysat) S 14455 14458 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108171693 1329139712 40203 33554432000 4194304 16246674 140736395626592 140493327420592 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) 1297988

[startup+0.300466 s]
/proc/loadavg: 2.17 2.20 2.18 5/180 14458
/proc/meminfo: memFree=29882812/32872528 swapFree=17452/1581112
[pid=14458] ppid=14455 vsize=1299012 CPUtime=0.29 cores=1,3,5,7
/proc/14458/stat : 14458 (toysat) R 14455 14458 13546 0 -1 4202496 44441 0 0 0 21 8 0 0 20 0 4 0 108171693 1330188288 44739 33554432000 4194304 16246674 140736395626592 140736395625904 6835989 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14458/statm: 324753 44739 904 2943 0 321647 0
[pid=14458/tid=14459] ppid=14455 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14459/stat : 14459 (toysat) S 14455 14458 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108171693 1330188288 44739 33554432000 4194304 16246674 140736395626592 140493348383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14458/tid=14460] ppid=14455 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14460/stat : 14460 (toysat) S 14455 14458 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108171693 1330188288 44739 33554432000 4194304 16246674 140736395626592 140493337894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14458/tid=14461] ppid=14455 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14461/stat : 14461 (toysat) S 14455 14458 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108171693 1330188288 44739 33554432000 4194304 16246674 140736395626592 140493327420592 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) 1299012

[startup+0.700402 s]
/proc/loadavg: 2.17 2.20 2.18 5/180 14458
/proc/meminfo: memFree=29882812/32872528 swapFree=17452/1581112
[pid=14458] ppid=14455 vsize=1307204 CPUtime=0.69 cores=1,3,5,7
/proc/14458/stat : 14458 (toysat) R 14455 14458 13546 0 -1 4202496 94837 0 0 0 53 16 0 0 20 0 4 0 108171693 1338576896 95135 33554432000 4194304 16246674 140736395626592 140736395625904 12478189 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14458/statm: 326801 95149 909 2943 0 323695 0
[pid=14458/tid=14459] ppid=14455 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14459/stat : 14459 (toysat) S 14455 14458 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108171693 1338576896 95158 33554432000 4194304 16246674 140736395626592 140493348383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14458/tid=14460] ppid=14455 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14460/stat : 14460 (toysat) S 14455 14458 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108171693 1338576896 95168 33554432000 4194304 16246674 140736395626592 140493337894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14458/tid=14461] ppid=14455 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14461/stat : 14461 (toysat) S 14455 14458 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108171693 1338576896 95181 33554432000 4194304 16246674 140736395626592 140493327420592 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) 1307204

[startup+1.50034 s]
/proc/loadavg: 2.17 2.20 2.18 4/184 14462
/proc/meminfo: memFree=29079840/32872528 swapFree=17452/1581112
[pid=14458] ppid=14455 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/14458/stat : 14458 (toysat) R 14455 14458 13546 0 -1 4202496 266651 0 0 0 113 36 0 0 20 0 4 0 108171693 1338576896 266949 33554432000 4194304 16246674 140736395626592 140736395608512 12478176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14458/statm: 326801 266949 911 2943 0 323695 0
[pid=14458/tid=14459] ppid=14455 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14459/stat : 14459 (toysat) S 14455 14458 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108171693 1338576896 266949 33554432000 4194304 16246674 140736395626592 140493348383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14458/tid=14460] ppid=14455 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14460/stat : 14460 (toysat) S 14455 14458 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108171693 1338576896 266949 33554432000 4194304 16246674 140736395626592 140493337894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14458/tid=14461] ppid=14455 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14461/stat : 14461 (toysat) S 14455 14458 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108171693 1338576896 266949 33554432000 4194304 16246674 140736395626592 140493327420592 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) 1307204

[startup+3.10038 s]
/proc/loadavg: 2.17 2.20 2.18 4/184 14462
/proc/meminfo: memFree=28810868/32872528 swapFree=17452/1581112
[pid=14458] ppid=14455 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/14458/stat : 14458 (toysat) R 14455 14458 13546 0 -1 4202496 268014 0 0 0 273 36 0 0 20 0 4 0 108171693 1338576896 268312 33554432000 4194304 16246674 140736395626592 140736395608512 6072075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14458/statm: 326801 268312 915 2943 0 323695 0
[pid=14458/tid=14459] ppid=14455 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14459/stat : 14459 (toysat) S 14455 14458 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108171693 1338576896 268312 33554432000 4194304 16246674 140736395626592 140493348383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14458/tid=14460] ppid=14455 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14460/stat : 14460 (toysat) S 14455 14458 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108171693 1338576896 268312 33554432000 4194304 16246674 140736395626592 140493337894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14458/tid=14461] ppid=14455 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14461/stat : 14461 (toysat) S 14455 14458 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108171693 1338576896 268312 33554432000 4194304 16246674 140736395626592 140493327420592 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) 1307204

[startup+6.3004 s]
/proc/loadavg: 2.16 2.20 2.18 5/185 14465
/proc/meminfo: memFree=28809124/32872528 swapFree=17452/1581112
[pid=14458] ppid=14455 vsize=1310276 CPUtime=6.29 cores=1,3,5,7
/proc/14458/stat : 14458 (toysat) R 14455 14458 13546 0 -1 4202496 268654 0 0 0 593 36 0 0 20 0 4 0 108171693 1341722624 268952 33554432000 4194304 16246674 140736395626592 140736395608512 6021154 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14458/statm: 327569 268952 915 2943 0 324463 0
[pid=14458/tid=14459] ppid=14455 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14459/stat : 14459 (toysat) S 14455 14458 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108171693 1341722624 268952 33554432000 4194304 16246674 140736395626592 140493348383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14458/tid=14460] ppid=14455 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14460/stat : 14460 (toysat) S 14455 14458 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108171693 1341722624 268952 33554432000 4194304 16246674 140736395626592 140493337894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14458/tid=14461] ppid=14455 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14461/stat : 14461 (toysat) S 14455 14458 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108171693 1341722624 268952 33554432000 4194304 16246674 140736395626592 140493327420592 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) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.15 2.19 2.18 4/185 14465
/proc/meminfo: memFree=28808000/32872528 swapFree=17452/1581112
[pid=14458] ppid=14455 vsize=1310276 CPUtime=12.69 cores=1,3,5,7
/proc/14458/stat : 14458 (toysat) R 14455 14458 13546 0 -1 4202496 268691 0 0 0 1233 36 0 0 20 0 4 0 108171693 1341722624 268989 33554432000 4194304 16246674 140736395626592 140736395608512 6012131 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14458/statm: 327569 268989 915 2943 0 324463 0
[pid=14458/tid=14459] ppid=14455 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14459/stat : 14459 (toysat) S 14455 14458 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108171693 1341722624 268989 33554432000 4194304 16246674 140736395626592 140493348383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14458/tid=14460] ppid=14455 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14460/stat : 14460 (toysat) S 14455 14458 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108171693 1341722624 268989 33554432000 4194304 16246674 140736395626592 140493337894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14458/tid=14461] ppid=14455 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14461/stat : 14461 (toysat) S 14455 14458 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108171693 1341722624 268989 33554432000 4194304 16246674 140736395626592 140493327420592 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) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.27 2.21 2.18 4/185 14465
/proc/meminfo: memFree=28808240/32872528 swapFree=17452/1581112
[pid=14458] ppid=14455 vsize=1310276 CPUtime=25.49 cores=1,3,5,7
/proc/14458/stat : 14458 (toysat) R 14455 14458 13546 0 -1 4202496 268782 0 0 0 2513 36 0 0 20 0 4 0 108171693 1341722624 269080 33554432000 4194304 16246674 140736395626592 140736395608512 5707625 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14458/statm: 327569 269080 915 2943 0 324463 0
[pid=14458/tid=14459] ppid=14455 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14459/stat : 14459 (toysat) S 14455 14458 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108171693 1341722624 269080 33554432000 4194304 16246674 140736395626592 140493348383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14458/tid=14460] ppid=14455 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14460/stat : 14460 (toysat) S 14455 14458 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108171693 1341722624 269080 33554432000 4194304 16246674 140736395626592 140493337894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14458/tid=14461] ppid=14455 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14461/stat : 14461 (toysat) S 14455 14458 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108171693 1341722624 269080 33554432000 4194304 16246674 140736395626592 140493327420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.25 2.21 2.18 4/185 14465
/proc/meminfo: memFree=28808252/32872528 swapFree=17452/1581112
[pid=14458] ppid=14455 vsize=1310276 CPUtime=51.08 cores=1,3,5,7
/proc/14458/stat : 14458 (toysat) R 14455 14458 13546 0 -1 4202496 268782 0 0 0 5072 36 0 0 20 0 4 0 108171693 1341722624 269080 33554432000 4194304 16246674 140736395626592 140736395608512 6012004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14458/statm: 327569 269080 915 2943 0 324463 0
[pid=14458/tid=14459] ppid=14455 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14459/stat : 14459 (toysat) S 14455 14458 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108171693 1341722624 269080 33554432000 4194304 16246674 140736395626592 140493348383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14458/tid=14460] ppid=14455 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14460/stat : 14460 (toysat) S 14455 14458 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108171693 1341722624 269080 33554432000 4194304 16246674 140736395626592 140493337894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14458/tid=14461] ppid=14455 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14461/stat : 14461 (toysat) S 14455 14458 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108171693 1341722624 269080 33554432000 4194304 16246674 140736395626592 140493327420592 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) 1310276

[startup+102.3 s]
/proc/loadavg: 2.15 2.19 2.18 4/183 14466
/proc/meminfo: memFree=28808060/32872528 swapFree=17452/1581112
[pid=14458] ppid=14455 vsize=1310276 CPUtime=102.28 cores=1,3,5,7
/proc/14458/stat : 14458 (toysat) R 14455 14458 13546 0 -1 4202496 268782 0 0 0 10192 36 0 0 20 0 4 0 108171693 1341722624 269080 33554432000 4194304 16246674 140736395626592 140736395608512 12478320 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14458/statm: 327569 269080 915 2943 0 324463 0
[pid=14458/tid=14459] ppid=14455 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14459/stat : 14459 (toysat) S 14455 14458 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108171693 1341722624 269080 33554432000 4194304 16246674 140736395626592 140493348383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14458/tid=14460] ppid=14455 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14460/stat : 14460 (toysat) S 14455 14458 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108171693 1341722624 269080 33554432000 4194304 16246674 140736395626592 140493337894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14458/tid=14461] ppid=14455 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14461/stat : 14461 (toysat) S 14455 14458 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108171693 1341722624 269080 33554432000 4194304 16246674 140736395626592 140493327420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1310276


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

/proc/14458/task/14461/stat : 14461 (toysat) S 14455 14458 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276251 33554432000 4194304 16246674 140736395626592 140493327420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1338948

[startup+1302.3 s]
/proc/loadavg: 2.24 2.21 2.21 4/184 14700
/proc/meminfo: memFree=28065056/32872528 swapFree=17452/1581112
[pid=14458] ppid=14455 vsize=1338948 CPUtime=1302.09 cores=1,3,5,7
/proc/14458/stat : 14458 (toysat) R 14455 14458 13546 0 -1 4202496 275960 0 0 0 130167 42 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140736395625768 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14458/statm: 334737 276254 918 2943 0 331631 0
[pid=14458/tid=14459] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14459/stat : 14459 (toysat) S 14455 14458 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493348383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14458/tid=14460] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14460/stat : 14460 (toysat) S 14455 14458 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493337894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14458/tid=14461] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14461/stat : 14461 (toysat) S 14455 14458 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493327420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1338948

[startup+1362.3 s]
/proc/loadavg: 2.14 2.19 2.20 4/184 14702
/proc/meminfo: memFree=28064840/32872528 swapFree=17452/1581112
[pid=14458] ppid=14455 vsize=1338948 CPUtime=1362.08 cores=1,3,5,7
/proc/14458/stat : 14458 (toysat) R 14455 14458 13546 0 -1 4202496 275961 0 0 0 136165 43 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140736395608512 13954610 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14458/statm: 334737 276254 918 2943 0 331631 0
[pid=14458/tid=14459] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14459/stat : 14459 (toysat) S 14455 14458 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493348383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14458/tid=14460] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14460/stat : 14460 (toysat) S 14455 14458 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493337894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14458/tid=14461] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14461/stat : 14461 (toysat) S 14455 14458 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493327420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1338948

[startup+1422.3 s]
/proc/loadavg: 2.21 2.20 2.20 5/184 14703
/proc/meminfo: memFree=28064920/32872528 swapFree=17452/1581112
[pid=14458] ppid=14455 vsize=1338948 CPUtime=1422.08 cores=1,3,5,7
/proc/14458/stat : 14458 (toysat) R 14455 14458 13546 0 -1 4202496 275964 0 0 0 142165 43 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140736395608512 6013193 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14458/statm: 334737 276254 918 2943 0 331631 0
[pid=14458/tid=14459] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14459/stat : 14459 (toysat) S 14455 14458 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493348383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14458/tid=14460] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14460/stat : 14460 (toysat) S 14455 14458 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493337894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14458/tid=14461] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14461/stat : 14461 (toysat) S 14455 14458 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493327420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1338948

[startup+1482.3 s]
/proc/loadavg: 2.18 2.19 2.19 4/184 14704
/proc/meminfo: memFree=28065164/32872528 swapFree=17452/1581112
[pid=14458] ppid=14455 vsize=1338948 CPUtime=1482.05 cores=1,3,5,7
/proc/14458/stat : 14458 (toysat) R 14455 14458 13546 0 -1 4202496 275969 0 0 0 148162 43 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140736395608512 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14458/statm: 334737 276254 918 2943 0 331631 0
[pid=14458/tid=14459] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14459/stat : 14459 (toysat) S 14455 14458 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493348383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14458/tid=14460] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14460/stat : 14460 (toysat) S 14455 14458 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493337894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14458/tid=14461] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14461/stat : 14461 (toysat) S 14455 14458 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493327420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1338948

[startup+1542.31 s]
/proc/loadavg: 2.23 2.21 2.19 4/184 14705
/proc/meminfo: memFree=28065152/32872528 swapFree=17452/1581112
[pid=14458] ppid=14455 vsize=1338948 CPUtime=1542.05 cores=1,3,5,7
/proc/14458/stat : 14458 (toysat) R 14455 14458 13546 0 -1 4202496 275981 0 0 0 154161 44 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140736395608512 12478356 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14458/statm: 334737 276254 918 2943 0 331631 0
[pid=14458/tid=14459] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14459/stat : 14459 (toysat) S 14455 14458 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493348383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14458/tid=14460] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14460/stat : 14460 (toysat) S 14455 14458 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493337894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14458/tid=14461] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14461/stat : 14461 (toysat) S 14455 14458 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493327420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1338948

[startup+1602.3 s]
/proc/loadavg: 2.23 2.21 2.19 4/184 14766
/proc/meminfo: memFree=28068512/32872528 swapFree=17452/1581112
[pid=14458] ppid=14455 vsize=1338948 CPUtime=1602 cores=1,3,5,7
/proc/14458/stat : 14458 (toysat) R 14455 14458 13546 0 -1 4202496 276017 0 0 0 160156 44 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140736395608512 5522960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14458/statm: 334737 276254 918 2943 0 331631 0
[pid=14458/tid=14459] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14459/stat : 14459 (toysat) S 14455 14458 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493348383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14458/tid=14460] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14460/stat : 14460 (toysat) S 14455 14458 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493337894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14458/tid=14461] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14461/stat : 14461 (toysat) S 14455 14458 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493327420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 1338948

[startup+1662.3 s]
/proc/loadavg: 2.22 2.20 2.19 3/183 14768
/proc/meminfo: memFree=28049852/32872528 swapFree=17452/1581112
[pid=14458] ppid=14455 vsize=1338948 CPUtime=1661.99 cores=1,3,5,7
/proc/14458/stat : 14458 (toysat) R 14455 14458 13546 0 -1 4202496 276045 0 0 0 166154 45 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140736395608512 6021123 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14458/statm: 334737 276254 918 2943 0 331631 0
[pid=14458/tid=14459] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14459/stat : 14459 (toysat) S 14455 14458 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493348383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14458/tid=14460] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14460/stat : 14460 (toysat) S 14455 14458 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493337894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14458/tid=14461] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14461/stat : 14461 (toysat) S 14455 14458 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493327420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1338948

[startup+1722.3 s]
/proc/loadavg: 2.16 2.19 2.18 4/183 14769
/proc/meminfo: memFree=28050228/32872528 swapFree=17452/1581112
[pid=14458] ppid=14455 vsize=1338948 CPUtime=1721.95 cores=1,3,5,7
/proc/14458/stat : 14458 (toysat) R 14455 14458 13546 0 -1 4202496 276076 0 0 0 172150 45 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140736395608512 6021520 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14458/statm: 334737 276254 918 2943 0 331631 0
[pid=14458/tid=14459] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14459/stat : 14459 (toysat) S 14455 14458 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493348383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14458/tid=14460] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14460/stat : 14460 (toysat) S 14455 14458 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493337894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14458/tid=14461] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14461/stat : 14461 (toysat) S 14455 14458 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493327420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 1338948

[startup+1782.3 s]
/proc/loadavg: 2.18 2.19 2.18 4/183 14770
/proc/meminfo: memFree=28050132/32872528 swapFree=17452/1581112
[pid=14458] ppid=14455 vsize=1338948 CPUtime=1781.93 cores=1,3,5,7
/proc/14458/stat : 14458 (toysat) R 14455 14458 13546 0 -1 4202496 276105 0 0 0 178147 46 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140736395608512 5545988 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14458/statm: 334737 276254 918 2943 0 331631 0
[pid=14458/tid=14459] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14459/stat : 14459 (toysat) S 14455 14458 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493348383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14458/tid=14460] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14460/stat : 14460 (toysat) S 14455 14458 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493337894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14458/tid=14461] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14461/stat : 14461 (toysat) S 14455 14458 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493327420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 1338948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.14 2.18 2.18 3/183 14771
/proc/meminfo: memFree=28050124/32872528 swapFree=17452/1581112
[pid=14458] ppid=14455 vsize=1338948 CPUtime=1800.02 cores=1,3,5,7
/proc/14458/stat : 14458 (toysat) R 14455 14458 13546 0 -1 4202496 276110 0 0 0 179956 46 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140736395625688 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14458/statm: 334737 276254 918 2943 0 331631 0
[pid=14458/tid=14459] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14459/stat : 14459 (toysat) S 14455 14458 13546 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493348383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14458/tid=14460] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14460/stat : 14460 (toysat) S 14455 14458 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493337894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14458/tid=14461] ppid=14455 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14458/task/14461/stat : 14461 (toysat) S 14455 14458 13546 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108171693 1371082752 276254 33554432000 4194304 16246674 140736395626592 140493327420592 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) 1338948

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 14458 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.42
CPU time (s): 1800.04
CPU user time (s): 1799.57
CPU system time (s): 0.476927
CPU usage (%): 99.979
Max. virtual memory (cumulated for all children) (KiB): 1338948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.476927
maximum resident set size= 1105016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276110
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= 173
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47132 second user time and 7.07292 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-07 03:19:57
IDJOB=4080102
IDBENCH=48258
IDSOLVER=2542
FILE ID=node139/4080102-1465262397
RUNJOBID= node139-1465254943-13563
PBS_JOBID= 19843273
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080102-1465262397/watcher-4080102-1465262397 -o /tmp/evaluation-result-4080102-1465262397/solver-4080102-1465262397 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13563 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080102-1465262397.opb

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

MD5SUM BENCH= 162153f0f0e5f8f2e587b9d579ee09dc
RANDOM SEED=1346691796

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.868
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:        29883728 kB
Buffers:           59204 kB
Cached:           165164 kB
SwapCached:         1488 kB
Active:           584912 kB
Inactive:         117340 kB
Active(anon):     478092 kB
Inactive(anon):     2200 kB
Active(file):     106820 kB
Inactive(file):   115140 kB
Unevictable:     1581112 kB
Mlocked:           17452 kB
SwapTotal:      67108856 kB
SwapFree:       67099764 kB
Dirty:             16308 kB
Writeback:             0 kB
AnonPages:       2057780 kB
Mapped:            10832 kB
Shmem:                 0 kB
Slab:             569876 kB
SReclaimable:      13924 kB
SUnreclaim:       555952 kB
KernelStack:        1464 kB
PageTables:         9352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2823660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1568768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node139 at 2016-06-07 03:49:58