Trace number 4080052

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.06 1800.51

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_50null0mast_rapportOE1.0_TMAX180_K67_cod2.opb
MD5SUM4555e70390d674ec14d0ef1e0b38ebad
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-39314
Best CPU time to get the best result obtained on this benchmark1802.95
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 243
Biggest coefficient in the objective function 998
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 136517
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 998
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 136517
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T11:44:52+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-4080052-1465292692.opb"]
0.00/0.01	c use --random-gen="1512413682 1428180580 3068600516 1181849304 603568282 1589564609 801788624 608158269 165154675 654443351 1385129860 1601382473 2138074881 1288486713 2248873641 532612038 2337540191 1312436118 4175485350 2050339584 1390235725 454248225 3506289215 3411023807 3128004581 1387380555 3456685492 2607241488 4180236941 1234818905 4038469699 656661326 4148345106 1194370516 3297185425 2244695224 759277175 2973116521 1789712197 294650616 3148137713 424054761 533154735 4046583127 2237630200 111472786 1358869964 3186782606 4124023666 3958126467 1660633044 1675405232 4188147291 1695643448 4144588812 2603065788 2450965320 1210092718 2958738712 3866427254 1884770613 2535446143 1258712611 2550732447 2638303950 2293414066 426935536 1792644939 2800083134 2145452520 4142134507 23063934 3806500790 1115569105 1800772958 983746942 446717750 1011458847 4073399336 983875553 1829945818 1992112575 4169859419 2625921464 2539649597 2285118245 2179774543 1532879393 552119338 692528280 63186559 2676605915 973053377 252895896 1850543779 106434854 2524971034 1407917840 826476291 4038887273 574333208 2012492391 700128496 2355943736 3440961644 2154938667 691607818 4211909256 1002246856 3803662797 64377195 4097682222 3520752527 1670961852 2477013129 1448060353 2516461627 2238570594 1797924402 4193740855 3450984480 3159879238 2038762664 1968047532 740807483 260763521 2526070658 3358601942 790909435 2079626860 3148882963 2807552964 363011316 500017467 2287181430 3995617336 4132321836 1982000930 1182808809 1147617601 750360415 2453855159 1555939598 793376983 3913038969 4049181260 3887197172 2937511688 600748164 2648811888 4211418182 3285752232 2562512687 1765139115 920823762 3352844503 109925988 520480124 3109904930 3408830772 3413262341 611296646 1097038803 2752463274 3241782884 3128775650 3505470316 2552271374 1273575728 1814815977 3265157086 4223109294 3854215107 1641024686 1484644281 779491569 770950351 388451940 3133572473 1221825663 2005577047 3379819202 564559719 3580757137 2255970125 389948894 830080627 1953180955 695041819 2851538406 1513739600 1366647054 4101716769 3273651509 2793199994 4075902632 2252973609 2834058886 612776942 3685782596 60432962 939947907 3602326891 1651671 2824460379 2493636214 887928484 2358902913 1402515413 358437257 2329902806 3116302884 1304448910 2140550774 974241054 640315154 2385601669 2701636880 3603690781 3040656948 3585009214 1290287913 167191292 2559100753 267033259 786955670 3639244368 2943570014 1570879816 2017740540 966056833 2281182372 1309886677 4268576565 3886863532 857592761 2526625510 653117469 1372111297 1013613314 1476473172 619122027 4141586691 2884528108 3853684868 2261551760 3514832908 1720389275 2841446652 2239516320 1225912567 2191695359 1113537786 4171688356 2029169929 1534985892 255 362436" option to reproduce the execution
0.39/0.43	c #vars 40937
0.39/0.43	c #constraints 41436
1.39/1.49	c BCD2: Hardening is enabled.
1.39/1.49	c BCD2: BiasedSearch is enabled.
1.39/1.49	c Solving starts ...
1.39/1.49	c ============================[ Search Statistics ]============================
1.39/1.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.39/1.49	c       |         |          |          |    Limit     GC | Var      | Constra 
1.39/1.49	c =============================================================================
1.39/1.49	c  0.0s |       0 |        0 |        0 |    27456      0 |      125 |        0
4.19/4.23	c  2.7s |       0 |     1857 |      100 |    27456      0 |      126 |      125
4.19/4.24	c  2.7s |       1 |     1857 |      100 |    27456      0 |      126 |      125
7.19/7.27	c  5.8s |       2 |     4224 |      250 |    30202      0 |      126 |      125
9.59/9.66	c  8.2s |       2 |     6006 |      350 |    33223      0 |      126 |      125
11.89/11.98	c 10.5s |       2 |     7475 |      450 |    33223      0 |      126 |      125
12.69/12.74	c 11.2s |       3 |     7983 |      475 |    33223      0 |      126 |      125
15.19/15.20	c 13.7s |       3 |     9064 |      575 |    36546      0 |      126 |      125
17.29/17.30	c 15.8s |       3 |     9759 |      675 |    36546      0 |      126 |      125
19.69/19.77	c 18.3s |       3 |    11070 |      775 |    36546      0 |      126 |      125
20.99/21.02	c 19.5s |       4 |    11888 |      813 |    36546      0 |      126 |      125
24.39/24.45	c 23.0s |       4 |    14975 |     1013 |    40201      0 |      126 |      125
27.98/28.07	c 26.6s |       4 |    17839 |     1213 |    40201      0 |      127 |      126
28.28/28.37	c 26.9s |       5 |    21546 |     1320 |    40201      0 |      127 |      126
30.28/30.38	c 28.9s |       5 |    25154 |     1520 |    44222      0 |      127 |      126
32.38/32.43	c 30.9s |       5 |    35741 |     1820 |    44222      0 |      127 |      126
35.98/36.02	c 34.5s |       5 |    39003 |     2020 |    44222      0 |      127 |      126
36.78/36.87	c 35.4s |       6 |    41647 |     2081 |    48645      0 |      127 |      126
39.59/39.63	c 38.1s |       6 |    51252 |     2381 |    48645      0 |      127 |      126
42.78/42.86	c 41.4s |       6 |    55033 |     2581 |    48645      0 |      127 |      126
45.38/45.44	c 43.9s |       6 |    65222 |     2881 |    48645      0 |      127 |      126
47.58/47.65	c 46.2s |       6 |    70506 |     3081 |    48645      0 |      127 |      126
49.18/49.22	c 47.7s |       7 |    80112 |     3223 |    53510      0 |      127 |      126
51.18/51.26	c 49.8s |       7 |    98235 |     3523 |    53510      0 |      127 |      126
53.28/53.34	c 51.8s |       7 |   120021 |     3923 |    53510      0 |      127 |      126
55.68/55.78	c 54.3s |       7 |   132966 |     4223 |    53510      0 |      127 |      126
58.28/58.32	c 56.8s |       7 |   142944 |     4723 |    53510      0 |      127 |      126
60.48/60.55	c 59.1s |       7 |   147811 |     4923 |    58862      0 |      127 |      126
60.58/60.61	c 59.1s |       8 |   148378 |     4936 |    58862      0 |      127 |      126
62.88/62.95	c 61.5s |       8 |   154344 |     5236 |    58862      0 |      127 |      126
66.17/66.21	c 64.7s |       8 |   159647 |     5536 |    58862      0 |      127 |      126
68.87/68.94	c 67.4s |       8 |   162561 |     5736 |    58862      0 |      127 |      126
70.97/71.05	c 69.6s |       8 |   166784 |     5936 |    58862      0 |      127 |      126
73.68/73.70	c 72.2s |       8 |   170028 |     6136 |    58862      0 |      127 |      126
75.77/75.90	c 74.4s |       8 |   179556 |     6436 |    58862      0 |      127 |      126
77.97/78.02	c 76.5s |       8 |   188812 |     6736 |    58862      0 |      127 |      126
80.47/80.59	c 79.1s |       8 |   202090 |     7136 |    58862      0 |      127 |      126
82.58/82.62	c 81.1s |       8 |   212803 |     7436 |    58862      0 |      127 |      126
83.07/83.12	c 81.6s |       9 |   213914 |     7506 |    64749      0 |      127 |      126
86.47/86.58	c 85.1s |       9 |   218026 |     7706 |    64749      0 |      127 |      126
89.08/89.19	c 87.7s |       9 |   223540 |     7906 |    64749      0 |      127 |      126
91.57/91.68	c 90.2s |       9 |   232169 |     8106 |    64749      0 |      127 |      126
94.27/94.38	c 92.9s |       9 |   244925 |     8406 |    64749      0 |      127 |      126
97.07/97.17	c 95.7s |       9 |   254318 |     8706 |    64749      0 |      127 |      126
100.18/100.28	c 98.8s |       9 |   266234 |     9106 |    64749      0 |      127 |      126
102.38/102.44	c  100s |       9 |   273009 |     9306 |    64749      0 |      127 |      126
104.67/104.79	c  103s |       9 |   285828 |     9606 |    64749      0 |      127 |      126
106.97/107.07	c  105s |       9 |   296379 |     9906 |    64749      0 |      127 |      126
109.27/109.37	c  107s |       9 |   307743 |    10306 |    64749      0 |      127 |      126
112.37/112.41	c  110s |       9 |   318778 |    10706 |    64749      0 |      127 |      126
114.57/114.62	c  113s |       9 |   321849 |    10906 |    64749      0 |      127 |      126
116.87/116.91	c  115s |       9 |   330585 |    11306 |    71224      0 |      127 |      126
117.07/117.15	c  115s |      10 |   332231 |    11361 |    71224      0 |      127 |      126
120.37/120.41	c  118s |      10 |   337988 |    11661 |    71224      0 |      127 |      126
122.37/122.45	c  120s |      10 |   342476 |    11861 |    71224      0 |      127 |      126
124.97/125.07	c  123s |      10 |   347503 |    12061 |    71224      0 |      127 |      126
127.36/127.40	c  125s |      10 |   349725 |    12461 |    71224      0 |      127 |      126
129.36/129.48	c  127s |      10 |   352509 |    12761 |    71224      0 |      127 |      126
131.97/132.00	c  130s |      10 |   355681 |    13061 |    71224      0 |      127 |      126
134.06/134.12	c  132s |      10 |   360292 |    13261 |    71224      0 |      127 |      126
136.66/136.75	c  135s |      10 |   364726 |    13461 |    71224      0 |      127 |      126
139.06/139.15	c  137s |      10 |   370201 |    13661 |    71224      0 |      127 |      126
141.26/141.35	c  139s |      10 |   374629 |    13861 |    71224      0 |      127 |      126
143.86/143.91	c  142s |      10 |   383370 |    14161 |    71224      0 |      130 |      128
146.16/146.28	c  144s |      10 |   394366 |    14461 |    71224      0 |      130 |      128
149.06/149.15	c  147s |      10 |   399623 |    14661 |    71224      0 |      130 |      128
151.66/151.73	c  150s |      10 |   406514 |    14961 |    71224      0 |      130 |      128
154.76/154.87	c  153s |      10 |   409420 |    15161 |    71224      0 |      130 |      128
157.16/157.28	c  155s |      10 |   413737 |    15361 |    71224      0 |      130 |      128
160.67/160.76	c  159s |      10 |   418204 |    15661 |    71224      0 |      130 |      128
163.16/163.28	c  161s |      10 |   420284 |    15861 |    71224      0 |      130 |      128
166.17/166.24	c  164s |      10 |   430875 |    16161 |    71224      0 |      130 |      128
168.86/168.98	c  167s |      10 |   441231 |    16461 |    71224      0 |      130 |      128
171.47/171.60	c  170s |      10 |   455592 |    16761 |    71224      0 |      130 |      128
174.27/174.37	c  172s |      10 |   460803 |    16961 |    71224      0 |      130 |      128
176.77/176.89	c  175s |      11 |   463579 |    17144 |    78347      0 |      130 |      128
179.67/179.77	c  178s |      11 |   467163 |    17344 |    78347      0 |      130 |      128
183.07/183.11	c  181s |      11 |   471843 |    17644 |    78347      0 |      130 |      128
185.66/185.77	c  184s |      11 |   476512 |    17844 |    78347      0 |      130 |      128
189.17/189.27	c  187s |      11 |   484839 |    18044 |    78347      0 |      130 |      128
192.66/192.74	c  191s |      11 |   487757 |    18244 |    78347      0 |      130 |      128
195.66/195.75	c  194s |      11 |   492889 |    18444 |    78347      0 |      130 |      128
198.16/198.27	c  196s |      11 |   497951 |    18644 |    78347      0 |      130 |      128
200.27/200.31	c  198s |      11 |   505676 |    18844 |    78347      0 |      130 |      128
202.26/202.39	c  200s |      11 |   513997 |    19044 |    78347      0 |      130 |      128
205.67/205.77	c  204s |      11 |   520840 |    19344 |    78347      0 |      130 |      128
208.26/208.30	c  206s |      11 |   531688 |    19744 |    78347      0 |      130 |      128
210.26/210.36	c  208s |      11 |   532671 |    19944 |    78347      0 |      130 |      128
213.16/213.25	c  211s |      11 |   538098 |    20144 |    78347      0 |      130 |      128
216.16/216.21	c  214s |      11 |   542060 |    20344 |    78347      0 |      130 |      128
218.56/218.60	c  217s |      11 |   545987 |    20544 |    78347      0 |      130 |      128
221.07/221.15	c  219s |      11 |   553906 |    20844 |    78347      0 |      130 |      128
223.76/223.88	c  222s |      11 |   555692 |    21044 |    78347      0 |      130 |      128
226.26/226.33	c  224s |      11 |   559289 |    21244 |    78347      0 |      130 |      128
228.96/229.09	c  227s |      11 |   564561 |    21544 |    78347      0 |      130 |      128
232.36/232.49	c  230s |      11 |   565247 |    21744 |    78347      0 |      130 |      128
234.56/234.64	c  233s |      11 |   569927 |    22044 |    78347      0 |      130 |      128
236.86/236.98	c  235s |      11 |   576976 |    22344 |    78347      0 |      130 |      128
239.06/239.12	c  237s |      11 |   587227 |    22644 |    78347      0 |      130 |      128
241.56/241.63	c  240s |      11 |   595196 |    22944 |    78347      0 |      130 |      128
243.96/244.03	c  242s |      11 |   600354 |    23144 |    78347      0 |      130 |      128
246.46/246.51	c  245s |      11 |   606879 |    23344 |    78347      0 |      130 |      128
248.96/249.02	c  247s |      11 |   619415 |    23644 |    78347      0 |      130 |      128
252.05/252.11	c  250s |      11 |   629185 |    23944 |    78347      0 |      130 |      128
255.65/255.70	c  254s |      11 |   637472 |    24244 |    78347      0 |      130 |      128
257.85/257.99	c  256s |      11 |   644579 |    24544 |    78347      0 |      130 |      128
260.45/260.56	c  259s |      11 |   651652 |    24844 |    78347      0 |      130 |      128
263.15/263.27	c  261s |      11 |   656015 |    25044 |    78347      0 |      130 |      128
267.36/267.42	c  265s |      11 |   658019 |    25344 |    78347      0 |      130 |      128
269.95/270.00	c  268s |      11 |   662312 |    25544 |    78347      0 |      130 |      128
272.65/272.74	c  271s |      11 |   666094 |    25744 |    86182      0 |      130 |      128
274.35/274.44	c  272s |      12 |   666824 |    25819 |    86182      0 |      130 |      128
276.45/276.55	c  275s |      12 |   668423 |    25919 |    86182      0 |      130 |      128
279.36/279.46	c  277s |      12 |   676914 |    26319 |    86182      0 |      130 |      128
281.95/282.00	c  280s |      12 |   682251 |    26619 |    86182      0 |      130 |      128
284.05/284.11	c  282s |      12 |   686663 |    26819 |    86182      0 |      130 |      128
286.15/286.26	c  284s |      12 |   689520 |    27019 |    86182      0 |      130 |      128
289.15/289.27	c  287s |      12 |   694937 |    27219 |    86182      0 |      130 |      128
291.95/292.02	c  290s |      12 |   699349 |    27419 |    86182      0 |      130 |      128
293.95/294.07	c  292s |      12 |   709478 |    27719 |    86182      0 |      130 |      128
296.35/296.44	c  294s |      12 |   715320 |    28019 |    86182      0 |      130 |      128
298.85/298.91	c  297s |      12 |   725306 |    28419 |    86182      0 |      130 |      128
301.25/301.39	c  299s |      12 |   729156 |    28619 |    86182      0 |      130 |      128
304.15/304.29	c  302s |      12 |   730820 |    28819 |    86182      0 |      130 |      128
306.55/306.68	c  305s |      12 |   734703 |    29019 |    86182      0 |      130 |      128
309.15/309.23	c  307s |      12 |   739555 |    29319 |    86182      0 |      130 |      128
311.55/311.62	c  310s |      12 |   748032 |    29619 |    86182      0 |      130 |      128
313.95/314.06	c  312s |      12 |   755597 |    29919 |    86182      0 |      130 |      128
316.44/316.53	c  315s |      12 |   761111 |    30219 |    86182      0 |      130 |      128
318.54/318.63	c  317s |      12 |   762354 |    30419 |    86182      0 |      130 |      128
321.44/321.50	c  320s |      12 |   771578 |    30719 |    86182      0 |      130 |      128
324.04/324.15	c  322s |      12 |   773126 |    30919 |    86182      0 |      130 |      128
326.34/326.41	c  324s |      12 |   776176 |    31119 |    86182      0 |      130 |      128
330.05/330.11	c  328s |      12 |   777579 |    31319 |    86182      0 |      130 |      128
332.84/332.91	c  331s |      12 |   780722 |    31519 |    86182      0 |      130 |      128
335.64/335.74	c  334s |      12 |   783101 |    31819 |    86182      0 |      130 |      128
338.44/338.55	c  337s |      12 |   788568 |    32019 |    86182      0 |      130 |      128
341.34/341.41	c  339s |      12 |   791520 |    32219 |    86182      0 |      130 |      128
344.35/344.41	c  342s |      12 |   792332 |    32419 |    86182      0 |      130 |      128
346.94/347.07	c  345s |      12 |   795712 |    32619 |    86182      0 |      130 |      128
349.75/349.82	c  348s |      12 |   798779 |    32819 |    86182      0 |      130 |      128
352.04/352.17	c  350s |      12 |   805769 |    33019 |    86182      0 |      130 |      128
355.24/355.39	c  353s |      12 |   811470 |    33219 |    86182      0 |      130 |      128
357.64/357.72	c  356s |      12 |   820288 |    33519 |    86182      0 |      130 |      128
360.54/360.61	c  359s |      12 |   830319 |    33819 |    86182      0 |      130 |      128
362.54/362.65	c  361s |      12 |   834439 |    34019 |    86182      0 |      130 |      128
364.54/364.69	c  363s |      12 |   837461 |    34219 |    86182      0 |      130 |      128
367.34/367.43	c  365s |      12 |   840320 |    34419 |    86182      0 |      130 |      128
369.83/369.94	c  368s |      12 |   842610 |    34619 |    86182      0 |      130 |      128
372.33/372.46	c  370s |      12 |   845404 |    34819 |    86182      0 |      130 |      128
374.63/374.73	c  373s |      12 |   849288 |    35019 |    86182      0 |      130 |      128
377.13/377.29	c  375s |      12 |   851390 |    35219 |    86182      0 |      130 |      128
379.23/379.38	c  377s |      12 |   852558 |    35419 |    86182      0 |      130 |      128
381.83/381.98	c  380s |      12 |   858320 |    35619 |    86182      0 |      130 |      128
384.63/384.77	c  383s |      12 |   861245 |    35919 |    86182      0 |      130 |      128
387.24/387.37	c  385s |      12 |   867868 |    36119 |    86182      0 |      130 |      128
389.53/389.63	c  388s |      12 |   871448 |    36319 |    86182      0 |      130 |      128
391.73/391.87	c  390s |      12 |   874665 |    36619 |    86182      0 |      130 |      128
394.13/394.24	c  392s |      12 |   878197 |    36819 |    86182      0 |      130 |      128
397.04/397.13	c  395s |      12 |   883386 |    37019 |    86182      0 |      130 |      128
399.83/399.94	c  398s |      12 |   889912 |    37219 |    86182      0 |      130 |      128
402.03/402.10	c  400s |      12 |   892525 |    37419 |    86182      0 |      130 |      128
404.03/404.17	c  402s |      12 |   897209 |    37619 |    86182      0 |      130 |      128
406.23/406.35	c  404s |      12 |   904825 |    37919 |    86182      0 |      130 |      128
409.83/409.91	c  408s |      12 |   908926 |    38219 |    86182      0 |      130 |      128
413.13/413.23	c  411s |      12 |   909667 |    38419 |    86182      0 |      130 |      128
416.33/416.44	c  414s |      12 |   911462 |    38619 |    94801      0 |      130 |      128
418.73/418.81	c  417s |      12 |   912248 |    38819 |    94801      0 |      130 |      128
418.73/418.89	c  417s |      13 |   912441 |    38832 |    94801      0 |      130 |      128
421.13/421.28	c  419s |      13 |   917548 |    39032 |    94801      0 |      130 |      128
423.73/423.87	c  422s |      13 |   921464 |    39232 |    94801      0 |      130 |      128
426.13/426.21	c  424s |      13 |   933756 |    39532 |    94801      0 |      130 |      128
428.63/428.77	c  427s |      13 |   939882 |    39732 |    94801      0 |      130 |      128
430.83/430.98	c  429s |      13 |   950705 |    39932 |    94801      0 |      130 |      128
433.03/433.12	c  431s |      13 |   956481 |    40132 |    94801      0 |      130 |      128
435.82/435.94	c  434s |      13 |   964840 |    40432 |    94801      0 |      130 |      128
437.92/438.03	c  436s |      13 |   971635 |    40732 |    94801      0 |      130 |      128
440.62/440.77	c  439s |      13 |   977548 |    40932 |    94801      0 |      130 |      128
442.72/442.86	c  441s |      13 |   982428 |    41132 |    94801      0 |      130 |      128
445.43/445.52	c  444s |      13 |   988054 |    41432 |    94801      0 |      130 |      128
447.92/448.02	c  446s |      13 |   992040 |    41632 |    94801      0 |      130 |      128
450.72/450.80	c  449s |      13 |   995953 |    41932 |    94801      0 |      130 |      128
453.32/453.40	c  451s |      13 |  1000281 |    42132 |    94801      0 |      130 |      128
456.32/456.44	c  454s |      13 |  1004433 |    42332 |    94801      0 |      130 |      128
458.52/458.67	c  457s |      13 |  1007628 |    42532 |    94801      0 |      130 |      128
461.32/461.44	c  459s |      13 |  1013396 |    42832 |    94801      0 |      130 |      128
464.42/464.52	c  463s |      13 |  1014883 |    43032 |    94801      0 |      130 |      128
466.92/467.02	c  465s |      13 |  1016769 |    43232 |    94801      0 |      130 |      128
470.12/470.25	c  468s |      13 |  1019877 |    43432 |    94801      0 |      130 |      128
472.82/473.00	c  471s |      13 |  1027162 |    43732 |    94801      0 |      130 |      128
474.92/475.08	c  473s |      13 |  1029299 |    43932 |    94801      0 |      130 |      128
478.12/478.27	c  476s |      13 |  1030239 |    44032 |    94801      0 |      130 |      128
480.42/480.59	c  479s |      13 |  1034118 |    44232 |    94801      0 |      130 |      128
483.02/483.10	c  481s |      13 |  1037016 |    44432 |    94801      0 |      130 |      128
485.82/485.93	c  484s |      13 |  1039426 |    44632 |    94801      0 |      130 |      128
488.32/488.41	c  486s |      13 |  1043012 |    44832 |    94801      0 |      130 |      128
490.42/490.57	c  489s |      13 |  1045190 |    45032 |    94801      0 |      130 |      128
492.82/492.97	c  491s |      13 |  1046026 |    45232 |    94801      0 |      130 |      128
495.41/495.58	c  494s |      13 |  1049429 |    45432 |    94801      0 |      130 |      128
497.61/497.72	c  496s |      13 |  1052761 |    45632 |    94801      0 |      130 |      128
500.31/500.46	c  498s |      13 |  1061758 |    45932 |    94801      0 |      130 |      128
503.41/503.52	c  502s |      13 |  1063768 |    46132 |    94801      0 |      130 |      128
507.12/507.28	c  505s |      13 |  1064675 |    46332 |    94801      0 |      130 |      128
509.81/509.96	c  508s |      13 |  1072124 |    46532 |    94801      0 |      130 |      128
512.41/512.60	c  511s |      13 |  1075871 |    46732 |    94801      0 |      130 |      128
514.82/514.98	c  513s |      13 |  1083084 |    46932 |    94801      0 |      130 |      128
518.02/518.17	c  516s |      13 |  1087980 |    47132 |    94801      0 |      130 |      128
520.71/520.89	c  519s |      13 |  1095959 |    47432 |    94801      0 |      130 |      128
522.81/522.96	c  521s |      13 |  1103161 |    47632 |    94801      0 |      130 |      128
525.11/525.24	c  523s |      13 |  1107110 |    47832 |    94801      0 |      130 |      128
527.81/527.92	c  526s |      13 |  1112374 |    48132 |    94801      0 |      130 |      128
530.71/530.85	c  529s |      13 |  1115061 |    48332 |    94801      0 |      130 |      128
533.01/533.14	c  531s |      13 |  1118411 |    48532 |    94801      0 |      130 |      128
535.21/535.33	c  533s |      13 |  1119467 |    48632 |    94801      0 |      130 |      128
537.51/537.64	c  536s |      13 |  1121150 |    48832 |    94801      0 |      130 |      128
540.71/540.80	c  539s |      13 |  1123398 |    49032 |    94801      0 |      130 |      128
543.91/544.00	c  542s |      13 |  1127737 |    49232 |    94801      0 |      130 |      128
546.71/546.88	c  545s |      13 |  1129048 |    49432 |    94801      0 |      130 |      128
550.71/550.89	c  549s |      13 |  1131470 |    49632 |    94801      0 |      130 |      128
553.51/553.67	c  552s |      13 |  1139960 |    49832 |    94801      0 |      130 |      128
556.31/556.40	c  554s |      13 |  1146434 |    50032 |    94801      0 |      130 |      128
559.21/559.30	c  557s |      13 |  1151286 |    50232 |    94801      0 |      130 |      128
561.20/561.32	c  559s |      13 |  1153563 |    50432 |    94801      0 |      130 |      128
563.80/563.98	c  562s |      13 |  1161300 |    50632 |    94801      0 |      130 |      128
566.00/566.12	c  564s |      13 |  1166168 |    50832 |    94801      0 |      130 |      128
568.80/568.90	c  567s |      13 |  1173066 |    51132 |    94801      0 |      130 |      128
571.70/571.84	c  570s |      13 |  1177978 |    51432 |    94801      0 |      130 |      128
573.70/573.90	c  572s |      13 |  1181515 |    51632 |    94801      0 |      130 |      128
577.51/577.61	c  576s |      13 |  1183239 |    51832 |    94801      0 |      130 |      128
580.50/580.60	c  579s |      13 |  1187484 |    52132 |    94801      0 |      130 |      128
582.80/582.93	c  581s |      13 |  1193198 |    52432 |    94801      0 |      130 |      128
585.00/585.19	c  583s |      13 |  1199455 |    52632 |    94801      0 |      130 |      128
587.60/587.77	c  586s |      13 |  1206053 |    52932 |    94801      0 |      130 |      128
590.30/590.47	c  588s |      13 |  1213819 |    53232 |    94801      0 |      130 |      128
593.40/593.50	c  592s |      13 |  1221973 |    53532 |    94801      0 |      130 |      128
595.60/595.71	c  594s |      13 |  1228803 |    53732 |    94801      0 |      130 |      128
597.80/597.93	c  596s |      13 |  1236601 |    54032 |    94801      0 |      130 |      128
600.51/600.69	c  599s |      13 |  1246484 |    54332 |    94801      0 |      130 |      128
603.40/603.59	c  602s |      13 |  1254758 |    54632 |    94801      0 |      130 |      128
606.10/606.28	c  604s |      13 |  1261003 |    54932 |    94801      0 |      130 |      128
608.60/608.72	c  607s |      13 |  1269249 |    55232 |    94801      0 |      130 |      128
610.90/611.07	c  609s |      13 |  1275292 |    55532 |    94801      0 |      130 |      128
613.99/614.13	c  612s |      13 |  1277362 |    55732 |    94801      0 |      130 |      128
616.09/616.20	c  614s |      13 |  1281921 |    55932 |    94801      0 |      130 |      128
618.89/619.04	c  617s |      13 |  1292807 |    56232 |    94801      0 |      130 |      128
621.40/621.52	c  620s |      13 |  1301698 |    56532 |    94801      0 |      130 |      128
623.70/623.85	c  622s |      13 |  1303532 |    56732 |    94801      0 |      130 |      128
626.59/626.78	c  625s |      13 |  1307662 |    56932 |    94801      0 |      130 |      128
628.89/629.00	c  627s |      13 |  1317711 |    57132 |    94801      0 |      130 |      128
631.49/631.69	c  630s |      13 |  1323388 |    57332 |    94801      0 |      130 |      128
634.39/634.58	c  633s |      13 |  1329779 |    57632 |    94801      0 |      130 |      128
636.99/637.13	c  635s |      13 |  1340394 |    57932 |    94801      0 |      130 |      128
639.89/640.04	c  638s |      13 |  1347361 |    58232 |   104282      0 |      130 |      128
641.79/641.94	c  640s |      14 |  1350681 |    58352 |   104282      0 |      130 |      128
644.39/644.56	c  643s |      14 |  1355336 |    58552 |   104282      0 |      130 |      128
647.49/647.68	c  646s |      14 |  1358335 |    58752 |   104282      0 |      130 |      128
650.39/650.59	c  649s |      14 |  1360652 |    58952 |   104282      0 |      130 |      128
652.89/653.06	c  651s |      14 |  1366081 |    59152 |   104282      0 |      130 |      128
655.09/655.23	c  653s |      14 |  1375813 |    59452 |   104282      0 |      130 |      128
658.29/658.47	c  656s |      14 |  1384190 |    59752 |   104282      0 |      130 |      128
661.69/661.85	c  660s |      14 |  1384858 |    59952 |   104282      0 |      130 |      128
663.89/664.05	c  662s |      14 |  1389525 |    60152 |   104282      0 |      130 |      128
666.69/666.81	c  665s |      14 |  1393111 |    60352 |   104282      0 |      130 |      128
669.49/669.63	c  668s |      14 |  1403301 |    60652 |   104282      0 |      130 |      128
671.99/672.13	c  670s |      14 |  1412425 |    60952 |   104282      0 |      130 |      128
674.09/674.29	c  672s |      14 |  1421252 |    61252 |   104282      0 |      130 |      128
676.69/676.86	c  675s |      14 |  1429077 |    61552 |   104282      0 |      130 |      128
679.18/679.34	c  677s |      14 |  1435691 |    61852 |   104282      0 |      130 |      128
681.78/681.94	c  680s |      14 |  1437538 |    62052 |   104282      0 |      130 |      128
684.98/685.14	c  683s |      14 |  1442846 |    62352 |   104282      0 |      130 |      128
687.68/687.81	c  686s |      14 |  1447578 |    62652 |   104282      0 |      130 |      128
689.78/689.96	c  688s |      14 |  1457597 |    62952 |   104282      0 |      130 |      128
692.58/692.75	c  691s |      14 |  1462389 |    63252 |   104282      0 |      130 |      128
695.08/695.21	c  693s |      14 |  1470750 |    63552 |   104282      0 |      130 |      128
697.08/697.26	c  695s |      14 |  1478097 |    63852 |   104282      0 |      130 |      128
699.78/699.98	c  698s |      14 |  1485703 |    64152 |   104282      0 |      130 |      128
702.08/702.26	c  700s |      14 |  1497869 |    64452 |   104282      0 |      130 |      128
704.87/705.03	c  703s |      14 |  1502379 |    64752 |   104282      0 |      130 |      128
707.77/707.97	c  706s |      14 |  1512905 |    65152 |   104282      0 |      130 |      128
710.07/710.27	c  708s |      14 |  1520257 |    65452 |   104282      0 |      130 |      128
712.57/712.75	c  711s |      14 |  1523928 |    65752 |   104282      0 |      130 |      128
714.88/715.07	c  713s |      14 |  1526413 |    65952 |   104282      0 |      130 |      128
716.87/717.08	c  715s |      14 |  1528109 |    66152 |   104282      0 |      130 |      128
718.97/719.12	c  717s |      14 |  1530446 |    66352 |   104282      0 |      130 |      128
721.77/721.95	c  720s |      14 |  1535760 |    66652 |   104282      0 |      130 |      128
724.67/724.87	c  723s |      14 |  1537519 |    66852 |   104282      0 |      130 |      128
728.08/728.29	c  726s |      14 |  1539815 |    67052 |   104282      0 |      130 |      128
730.17/730.33	c  728s |      14 |  1540460 |    67152 |   104282      0 |      130 |      128
733.37/733.59	c  732s |      14 |  1541598 |    67352 |   104282      0 |      130 |      128
735.77/735.98	c  734s |      14 |  1548415 |    67652 |   104282      0 |      130 |      128
738.56/738.72	c  737s |      14 |  1553315 |    67952 |   104282      0 |      130 |      128
742.37/742.59	c  741s |      14 |  1558426 |    68252 |   104282      0 |      130 |      128
745.36/745.50	c  744s |      14 |  1559619 |    68452 |   104282      0 |      130 |      128
747.87/748.05	c  746s |      14 |  1566965 |    68752 |   104282      0 |      130 |      128
750.76/750.94	c  749s |      14 |  1573790 |    69052 |   104282      0 |      130 |      128
753.16/753.38	c  751s |      14 |  1574628 |    69252 |   104282      0 |      130 |      128
755.96/756.10	c  754s |      14 |  1576848 |    69452 |   104282      0 |      130 |      128
758.06/758.24	c  756s |      14 |  1581619 |    69652 |   104282      0 |      130 |      128
761.26/761.47	c  759s |      14 |  1586575 |    69952 |   104282      0 |      130 |      128
763.27/763.49	c  761s |      14 |  1590700 |    70152 |   104282      0 |      130 |      128
766.96/767.12	c  765s |      14 |  1595245 |    70352 |   104282      0 |      130 |      128
769.55/769.77	c  768s |      14 |  1598724 |    70552 |   104282      0 |      130 |      128
772.65/772.83	c  771s |      14 |  1604475 |    70852 |   104282      0 |      130 |      128
774.75/774.93	c  773s |      14 |  1609548 |    71052 |   104282      0 |      130 |      128
777.35/777.58	c  776s |      14 |  1612082 |    71252 |   104282      0 |      130 |      128
780.35/780.54	c  779s |      14 |  1615166 |    71452 |   104282      0 |      130 |      128
782.95/783.16	c  781s |      14 |  1618844 |    71652 |   104282      0 |      130 |      128
785.26/785.49	c  783s |      14 |  1625107 |    71852 |   104282      0 |      130 |      128
787.85/788.01	c  786s |      14 |  1632796 |    72152 |   104282      0 |      130 |      128
789.85/790.01	c  788s |      14 |  1637864 |    72352 |   104282      0 |      130 |      128
791.95/792.16	c  790s |      14 |  1645061 |    72652 |   104282      0 |      130 |      128
795.15/795.31	c  793s |      14 |  1654511 |    72952 |   104282      0 |      130 |      128
799.15/799.35	c  797s |      14 |  1657510 |    73152 |   104282      0 |      130 |      128
801.15/801.39	c  799s |      14 |  1664480 |    73352 |   104282      0 |      130 |      128
803.64/803.81	c  802s |      14 |  1666925 |    73552 |   104282      0 |      130 |      128
806.15/806.39	c  804s |      14 |  1673552 |    73852 |   104282      0 |      130 |      128
808.45/808.62	c  807s |      14 |  1680671 |    74052 |   104282      0 |      130 |      128
811.14/811.38	c  809s |      14 |  1685696 |    74252 |   104282      0 |      130 |      128
813.34/813.52	c  812s |      14 |  1693429 |    74452 |   104282      0 |      130 |      128
815.74/815.99	c  814s |      14 |  1696925 |    74652 |   104282      0 |      130 |      128
818.84/819.08	c  817s |      14 |  1703151 |    74952 |   104282      0 |      130 |      128
821.65/821.84	c  820s |      14 |  1706633 |    75152 |   104282      0 |      130 |      128
824.74/824.96	c  823s |      14 |  1713980 |    75452 |   104282      0 |      130 |      128
827.24/827.41	c  825s |      14 |  1717449 |    75652 |   104282      0 |      130 |      128
829.63/829.81	c  828s |      14 |  1721178 |    75852 |   104282      0 |      130 |      128
832.43/832.68	c  831s |      14 |  1726751 |    76052 |   104282      0 |      130 |      128
835.03/835.20	c  833s |      14 |  1735654 |    76252 |   104282      0 |      130 |      128
837.04/837.21	c  835s |      14 |  1739615 |    76452 |   104282      0 |      130 |      128
840.24/840.41	c  838s |      14 |  1743464 |    76652 |   104282      0 |      130 |      128
842.93/843.12	c  841s |      14 |  1747833 |    76852 |   104282      0 |      130 |      128
845.03/845.21	c  843s |      14 |  1753096 |    77052 |   104282      0 |      130 |      128
847.33/847.59	c  846s |      14 |  1758958 |    77252 |   104282      0 |      130 |      128
849.93/850.13	c  848s |      14 |  1762469 |    77452 |   104282      0 |      130 |      128
852.43/852.68	c  851s |      14 |  1767274 |    77652 |   104282      0 |      130 |      128
855.23/855.43	c  853s |      14 |  1773870 |    77952 |   104282      0 |      130 |      128
859.03/859.24	c  857s |      14 |  1778850 |    78152 |   104282      0 |      130 |      128
862.82/863.03	c  861s |      14 |  1783833 |    78352 |   104282      0 |      130 |      128
865.12/865.38	c  863s |      14 |  1785775 |    78552 |   104282      0 |      130 |      128
867.32/867.58	c  866s |      14 |  1789338 |    78752 |   104282      0 |      130 |      128
869.72/869.97	c  868s |      14 |  1791535 |    78952 |   104282      0 |      130 |      128
873.02/873.27	c  871s |      14 |  1791976 |    79152 |   104282      0 |      130 |      128
875.43/875.67	c  874s |      14 |  1792921 |    79352 |   104282      0 |      130 |      128
877.63/877.82	c  876s |      14 |  1795444 |    79552 |   104282      0 |      130 |      128
879.92/880.17	c  878s |      14 |  1796443 |    79752 |   104282      0 |      130 |      128
882.02/882.29	c  880s |      14 |  1799752 |    79952 |   104282      0 |      130 |      128
884.22/884.45	c  882s |      14 |  1804502 |    80152 |   104282      0 |      130 |      128
886.42/886.62	c  885s |      14 |  1810917 |    80352 |   104282      0 |      130 |      128
889.01/889.22	c  887s |      14 |  1816021 |    80652 |   104282      0 |      130 |      128
891.31/891.57	c  890s |      14 |  1817432 |    80852 |   104282      0 |      130 |      128
893.51/893.78	c  892s |      14 |  1819117 |    81052 |   104282      0 |      130 |      128
896.32/896.56	c  895s |      14 |  1821712 |    81352 |   104282      0 |      130 |      128
898.51/898.80	c  897s |      14 |  1822373 |    81552 |   104282      0 |      130 |      128
900.81/901.09	c  899s |      14 |  1824465 |    81752 |   104282      0 |      130 |      128
902.91/903.16	c  901s |      14 |  1827717 |    82052 |   104282      0 |      130 |      128
905.01/905.28	c  903s |      14 |  1831764 |    82252 |   104282      0 |      130 |      128
909.10/909.38	c  907s |      14 |  1833855 |    82552 |   104282      0 |      130 |      128
911.20/911.48	c  909s |      14 |  1836626 |    82752 |   104282      0 |      130 |      128
914.30/914.50	c  913s |      14 |  1841901 |    83052 |   104282      0 |      130 |      128
916.50/916.76	c  915s |      14 |  1842563 |    83252 |   104282      0 |      130 |      128
919.51/919.76	c  918s |      14 |  1842958 |    83452 |   104282      0 |      130 |      128
922.30/922.57	c  921s |      14 |  1844587 |    83652 |   104282      0 |      130 |      128
925.30/925.55	c  924s |      14 |  1848937 |    83952 |   104282      0 |      130 |      128
928.31/928.52	c  927s |      14 |  1850363 |    84152 |   104282      0 |      130 |      128
931.20/931.46	c  929s |      14 |  1853214 |    84452 |   104282      0 |      130 |      128
933.71/934.00	c  932s |      14 |  1854567 |    84652 |   104282      0 |      130 |      128
936.30/936.59	c  935s |      14 |  1856993 |    84852 |   104282      0 |      130 |      128
938.40/938.68	c  937s |      14 |  1864087 |    85152 |   104282      0 |      130 |      128
941.10/941.30	c  939s |      14 |  1869134 |    85452 |   104282      0 |      130 |      128
944.60/944.87	c  943s |      14 |  1870009 |    85652 |   104282      0 |      130 |      128
947.50/947.70	c  946s |      14 |  1875350 |    85952 |   104282      0 |      130 |      128
949.49/949.71	c  948s |      14 |  1875661 |    86052 |   104282      0 |      130 |      128
951.99/952.24	c  950s |      14 |  1876165 |    86252 |   104282      0 |      130 |      128
955.09/955.39	c  953s |      14 |  1879344 |    86452 |   104282      0 |      130 |      128
957.19/957.44	c  955s |      14 |  1882756 |    86652 |   104282      0 |      130 |      128
961.49/961.76	c  960s |      14 |  1883753 |    86852 |   104282      0 |      130 |      128
963.89/964.18	c  962s |      14 |  1887666 |    87052 |   114711      0 |      130 |      128
967.09/967.31	c  965s |      14 |  1889700 |    87352 |   114711      0 |      130 |      128
969.30/969.55	c  968s |      14 |  1892269 |    87552 |   114711      0 |      130 |      128
970.20/970.42	c  968s |      15 |  1892542 |    87632 |   114711      0 |      130 |      128
972.30/972.57	c  971s |      15 |  1894300 |    87732 |   114711      0 |      130 |      128
974.50/974.75	c  973s |      15 |  1898337 |    87932 |   114711      0 |      130 |      128
976.60/976.81	c  975s |      15 |  1900374 |    88032 |   114711      0 |      130 |      128
979.29/979.58	c  978s |      15 |  1909246 |    88332 |   114711      0 |      130 |      128
981.39/981.63	c  980s |      15 |  1913583 |    88532 |   114711      0 |      130 |      128
984.09/984.37	c  982s |      15 |  1916960 |    88832 |   114711      0 |      130 |      128
987.29/987.55	c  986s |      15 |  1921206 |    89132 |   114711      0 |      130 |      128
990.18/990.44	c  988s |      15 |  1924508 |    89432 |   114711      0 |      130 |      128
994.08/994.38	c  992s |      15 |  1927238 |    89732 |   114711      0 |      130 |      128
996.88/997.13	c  995s |      15 |  1931888 |    89932 |   114711      0 |      130 |      128
998.88/999.14	c  997s |      15 |  1935875 |    90132 |   114711      0 |      130 |      128
1001.38/1001.60	c 1000s |      15 |  1938421 |    90432 |   114711      0 |      130 |      128
1003.38/1003.63	c 1002s |      15 |  1942758 |    90632 |   114711      0 |      130 |      128
1006.28/1006.58	c 1005s |      15 |  1947626 |    90932 |   114711      0 |      130 |      128
1008.37/1008.68	c 1007s |      15 |  1953918 |    91132 |   114711      0 |      130 |      128
1011.37/1011.66	c 1010s |      15 |  1960456 |    91432 |   114711      0 |      130 |      128
1013.67/1013.95	c 1012s |      15 |  1968533 |    91632 |   114711      0 |      130 |      128
1015.77/1016.09	c 1014s |      15 |  1974028 |    91832 |   114711      0 |      130 |      128
1017.97/1018.25	c 1016s |      15 |  1978281 |    92032 |   114711      0 |      130 |      128
1020.47/1020.73	c 1019s |      15 |  1982105 |    92232 |   114711      0 |      130 |      128
1023.98/1024.24	c 1022s |      15 |  1989182 |    92532 |   114711      0 |      130 |      128
1026.27/1026.59	c 1025s |      15 |  1993464 |    92732 |   114711      0 |      130 |      128
1030.37/1030.65	c 1029s |      15 |  1995668 |    92932 |   114711      0 |      130 |      128
1032.57/1032.81	c 1031s |      15 |  1996423 |    93032 |   114711      0 |      130 |      128
1035.67/1035.97	c 1034s |      15 |  1998571 |    93232 |   114711      0 |      130 |      128
1038.47/1038.73	c 1037s |      15 |  2003857 |    93432 |   114711      0 |      130 |      128
1041.06/1041.35	c 1039s |      15 |  2009095 |    93632 |   114711      0 |      130 |      128
1043.86/1044.12	c 1042s |      15 |  2012393 |    93832 |   114711      0 |      130 |      128
1046.76/1047.01	c 1045s |      15 |  2018873 |    94132 |   114711      0 |      130 |      128
1048.86/1049.17	c 1047s |      15 |  2023207 |    94332 |   114711      0 |      130 |      128
1051.96/1052.29	c 1050s |      15 |  2023962 |    94532 |   114711      0 |      130 |      128
1054.36/1054.69	c 1053s |      15 |  2030143 |    94732 |   114711      0 |      130 |      128
1057.16/1057.44	c 1055s |      15 |  2033653 |    95032 |   114711      0 |      130 |      128
1059.96/1060.29	c 1058s |      15 |  2035282 |    95232 |   114711      0 |      130 |      128
1063.16/1063.48	c 1061s |      15 |  2038684 |    95432 |   114711      0 |      130 |      128
1065.66/1065.95	c 1064s |      15 |  2039264 |    95532 |   114711      0 |      130 |      128
1068.35/1068.67	c 1067s |      15 |  2041826 |    95732 |   114711      0 |      130 |      128
1070.45/1070.76	c 1069s |      15 |  2044016 |    95932 |   114711      0 |      130 |      128
1072.85/1073.14	c 1071s |      15 |  2047989 |    96132 |   114711      0 |      130 |      128
1075.35/1075.68	c 1074s |      15 |  2052570 |    96432 |   114711      0 |      130 |      128
1077.55/1077.86	c 1076s |      15 |  2053973 |    96632 |   114711      0 |      130 |      128
1080.35/1080.66	c 1079s |      15 |  2059838 |    96832 |   114711      0 |      130 |      128
1083.36/1083.66	c 1082s |      15 |  2061745 |    97032 |   114711      0 |      130 |      128
1085.56/1085.85	c 1084s |      15 |  2065372 |    97232 |   114711      0 |      130 |      128
1088.24/1088.59	c 1087s |      15 |  2067760 |    97432 |   114711      0 |      130 |      128
1091.34/1091.64	c 1090s |      15 |  2070911 |    97632 |   114711      0 |      130 |      128
1095.45/1095.71	c 1094s |      15 |  2074448 |    97832 |   114711      0 |      130 |      128
1097.94/1098.26	c 1096s |      15 |  2077865 |    98032 |   114711      0 |      130 |      128
1100.23/1100.53	c 1099s |      15 |  2084395 |    98232 |   114711      0 |      130 |      128
1103.04/1103.34	c 1101s |      15 |  2087874 |    98532 |   114711      0 |      130 |      128
1105.03/1105.35	c 1103s |      15 |  2089198 |    98732 |   114711      0 |      130 |      128
1107.23/1107.55	c 1106s |      15 |  2093738 |    98932 |   114711      0 |      130 |      128
1110.43/1110.79	c 1109s |      15 |  2097991 |    99232 |   114711      0 |      130 |      128
1112.53/1112.88	c 1111s |      15 |  2100839 |    99432 |   114711      0 |      130 |      128
1115.33/1115.61	c 1114s |      15 |  2103653 |    99632 |   114711      0 |      130 |      128
1118.82/1119.12	c 1117s |      15 |  2110299 |    99932 |   114711      0 |      130 |      128
1121.02/1121.32	c 1119s |      15 |  2113760 |   100032 |   114711      0 |      130 |      128
1123.32/1123.62	c 1122s |      15 |  2118486 |   100232 |   114711      0 |      130 |      128
1126.02/1126.36	c 1124s |      15 |  2125803 |   100532 |   114711      0 |      130 |      128
1129.01/1129.35	c 1127s |      15 |  2132800 |   100832 |   114711      0 |      130 |      128
1131.21/1131.52	c 1130s |      15 |  2138509 |   101032 |   114711      0 |      130 |      128
1133.51/1133.83	c 1132s |      15 |  2146305 |   101232 |   114711      0 |      130 |      128
1135.71/1136.09	c 1134s |      15 |  2151696 |   101432 |   114711      0 |      130 |      128
1138.01/1138.38	c 1136s |      15 |  2158013 |   101632 |   114711      0 |      130 |      128
1140.31/1140.67	c 1139s |      15 |  2165748 |   101832 |   114711      0 |      130 |      128
1142.91/1143.23	c 1141s |      15 |  2169969 |   102032 |   114711      0 |      130 |      128
1145.91/1146.29	c 1144s |      15 |  2175513 |   102232 |   114711      0 |      130 |      128
1148.50/1148.84	c 1147s |      15 |  2180380 |   102432 |   114711      0 |      130 |      128
1151.20/1151.54	c 1150s |      15 |  2187269 |   102732 |   114711      0 |      130 |      128
1154.20/1154.52	c 1153s |      15 |  2189690 |   102932 |   114711      0 |      130 |      128
1156.70/1157.01	c 1155s |      15 |  2192338 |   103132 |   114711      0 |      130 |      128
1158.79/1159.17	c 1157s |      15 |  2195373 |   103332 |   114711      0 |      130 |      128
1161.79/1162.19	c 1160s |      15 |  2197569 |   103532 |   114711      0 |      130 |      128
1164.09/1164.41	c 1162s |      15 |  2199852 |   103732 |   114711      0 |      130 |      128
1167.19/1167.51	c 1166s |      15 |  2208566 |   103932 |   114711      0 |      130 |      128
1169.69/1170.03	c 1168s |      15 |  2212735 |   104132 |   114711      0 |      130 |      128
1172.59/1172.90	c 1171s |      15 |  2213802 |   104332 |   114711      0 |      130 |      128
1175.79/1176.16	c 1174s |      15 |  2219053 |   104532 |   114711      0 |      130 |      128
1177.98/1178.37	c 1176s |      15 |  2225697 |   104732 |   114711      0 |      130 |      128
1180.48/1180.83	c 1179s |      15 |  2232436 |   105032 |   114711      0 |      130 |      128
1183.58/1183.98	c 1182s |      15 |  2233302 |   105232 |   114711      0 |      130 |      128
1185.88/1186.29	c 1184s |      15 |  2236270 |   105432 |   114711      0 |      130 |      128
1188.78/1189.15	c 1187s |      15 |  2241312 |   105632 |   114711      0 |      130 |      128
1190.78/1191.15	c 1189s |      15 |  2241950 |   105732 |   114711      0 |      130 |      128
1193.88/1194.21	c 1192s |      15 |  2244120 |   105932 |   114711      0 |      130 |      128
1196.38/1196.78	c 1195s |      15 |  2246944 |   106132 |   114711      0 |      130 |      128
1198.97/1199.32	c 1197s |      15 |  2249795 |   106332 |   114711      0 |      130 |      128
1201.87/1202.29	c 1200s |      15 |  2251517 |   106532 |   114711      0 |      130 |      128
1205.28/1205.64	c 1204s |      15 |  2254277 |   106732 |   114711      0 |      130 |      128
1207.77/1208.18	c 1206s |      15 |  2256188 |   106932 |   114711      0 |      130 |      128
1210.57/1210.94	c 1209s |      15 |  2258015 |   107132 |   114711      0 |      130 |      128
1213.27/1213.67	c 1212s |      15 |  2260768 |   107332 |   114711      0 |      130 |      128
1215.77/1216.19	c 1214s |      15 |  2263408 |   107532 |   114711      0 |      130 |      128
1218.36/1218.77	c 1217s |      15 |  2265535 |   107732 |   114711      0 |      130 |      128
1221.26/1221.68	c 1220s |      15 |  2267288 |   107932 |   114711      0 |      130 |      128
1223.76/1224.14	c 1222s |      15 |  2270890 |   108132 |   114711      0 |      130 |      128
1226.17/1226.54	c 1225s |      15 |  2276785 |   108332 |   114711      0 |      130 |      128
1228.37/1228.74	c 1227s |      15 |  2278915 |   108532 |   114711      0 |      130 |      128
1231.16/1231.56	c 1230s |      15 |  2279551 |   108732 |   114711      0 |      130 |      128
1234.26/1234.67	c 1233s |      15 |  2282432 |   108932 |   114711      0 |      130 |      128
1236.86/1237.23	c 1235s |      15 |  2285116 |   109132 |   114711      0 |      130 |      128
1239.56/1239.97	c 1238s |      15 |  2287198 |   109332 |   114711      0 |      130 |      128
1241.67/1242.05	c 1240s |      15 |  2289849 |   109532 |   114711      0 |      130 |      128
1244.06/1244.46	c 1242s |      15 |  2293017 |   109732 |   114711      0 |      130 |      128
1246.36/1246.72	c 1245s |      15 |  2294215 |   109932 |   114711      0 |      130 |      128
1248.46/1248.85	c 1247s |      15 |  2299181 |   110132 |   114711      0 |      130 |      128
1250.86/1251.21	c 1249s |      15 |  2304601 |   110332 |   114711      0 |      130 |      128
1253.86/1254.23	c 1252s |      15 |  2311261 |   110632 |   114711      0 |      130 |      128
1256.56/1256.91	c 1255s |      15 |  2318488 |   110932 |   114711      0 |      130 |      128
1258.75/1259.19	c 1257s |      15 |  2319862 |   111132 |   114711      0 |      130 |      128
1261.46/1261.80	c 1260s |      15 |  2324565 |   111432 |   114711      0 |      130 |      128
1263.75/1264.14	c 1262s |      15 |  2326725 |   111632 |   114711      0 |      130 |      128
1265.95/1266.30	c 1264s |      15 |  2329946 |   111832 |   114711      0 |      130 |      128
1267.96/1268.36	c 1266s |      15 |  2333560 |   112032 |   114711      0 |      130 |      128
1271.45/1271.83	c 1270s |      15 |  2342792 |   112332 |   114711      0 |      130 |      128
1274.45/1274.86	c 1273s |      15 |  2349360 |   112532 |   114711      0 |      130 |      128
1276.75/1277.13	c 1275s |      15 |  2355412 |   112732 |   114711      0 |      130 |      128
1279.34/1279.74	c 1278s |      15 |  2361336 |   112932 |   114711      0 |      130 |      128
1281.94/1282.33	c 1280s |      15 |  2362961 |   113232 |   114711      0 |      130 |      128
1284.14/1284.53	c 1283s |      15 |  2364886 |   113432 |   114711      0 |      130 |      128
1286.24/1286.63	c 1285s |      15 |  2367281 |   113632 |   114711      0 |      130 |      128
1288.44/1288.87	c 1287s |      15 |  2371653 |   113832 |   114711      0 |      130 |      128
1290.54/1290.91	c 1289s |      15 |  2375686 |   114032 |   114711      0 |      130 |      128
1293.04/1293.41	c 1291s |      15 |  2378157 |   114232 |   114711      0 |      130 |      128
1295.84/1296.22	c 1294s |      15 |  2381666 |   114432 |   114711      0 |      130 |      128
1297.93/1298.37	c 1296s |      15 |  2384491 |   114632 |   114711      0 |      130 |      128
1300.03/1300.41	c 1298s |      15 |  2385674 |   114832 |   114711      0 |      130 |      128
1302.14/1302.55	c 1301s |      15 |  2386679 |   115032 |   114711      0 |      130 |      128
1304.83/1305.21	c 1303s |      15 |  2388160 |   115332 |   114711      0 |      130 |      128
1307.23/1307.63	c 1306s |      15 |  2389250 |   115632 |   114711      0 |      130 |      128
1309.73/1310.15	c 1308s |      15 |  2389873 |   115932 |   114711      0 |      130 |      128
1312.32/1312.73	c 1311s |      15 |  2391376 |   116132 |   114711      0 |      130 |      128
1314.52/1314.96	c 1313s |      15 |  2394669 |   116332 |   114711      0 |      130 |      128
1317.92/1318.33	c 1316s |      15 |  2400281 |   116632 |   114711      0 |      130 |      128
1322.62/1323.05	c 1321s |      15 |  2401770 |   116832 |   114711      0 |      130 |      128
1324.92/1325.32	c 1323s |      15 |  2407212 |   117032 |   114711      0 |      130 |      128
1328.32/1328.71	c 1327s |      15 |  2413717 |   117332 |   114711      0 |      130 |      128
1330.42/1330.88	c 1329s |      15 |  2420890 |   117532 |   114711      0 |      130 |      128
1333.42/1333.81	c 1332s |      15 |  2426274 |   117732 |   114711      0 |      130 |      128
1335.82/1336.28	c 1334s |      15 |  2428427 |   117932 |   114711      0 |      130 |      128
1339.02/1339.43	c 1337s |      15 |  2433311 |   118132 |   114711      0 |      130 |      128
1343.22/1343.60	c 1342s |      15 |  2439517 |   118332 |   114711      1 |      130 |      128
1346.52/1346.90	c 1345s |      15 |  2450051 |   118632 |   114711      1 |      130 |      128
1348.82/1349.25	c 1347s |      15 |  2452817 |   118832 |   114711      1 |      130 |      128
1352.01/1352.46	c 1350s |      15 |  2458798 |   119032 |   114711      1 |      130 |      128
1354.41/1354.80	c 1353s |      15 |  2462057 |   119232 |   114711      1 |      130 |      128
1357.31/1357.71	c 1356s |      15 |  2469503 |   119432 |   114711      1 |      130 |      128
1359.61/1360.00	c 1358s |      15 |  2474817 |   119632 |   114711      1 |      130 |      128
1362.21/1362.63	c 1361s |      15 |  2480385 |   119832 |   114711      1 |      130 |      128
1364.31/1364.75	c 1363s |      15 |  2486212 |   120032 |   114711      1 |      130 |      128
1366.71/1367.18	c 1365s |      15 |  2493462 |   120232 |   114711      1 |      130 |      128
1369.81/1370.20	c 1368s |      15 |  2498123 |   120432 |   114711      1 |      130 |      128
1372.71/1373.15	c 1371s |      15 |  2498642 |   120532 |   114711      1 |      130 |      128
1376.11/1376.52	c 1375s |      15 |  2501536 |   120732 |   114711      1 |      130 |      128
1379.31/1379.71	c 1378s |      15 |  2504498 |   120932 |   114711      1 |      130 |      128
1382.91/1383.34	c 1381s |      15 |  2506732 |   121132 |   114711      1 |      130 |      128
1386.31/1386.71	c 1385s |      15 |  2507098 |   121332 |   114711      1 |      130 |      128
1389.31/1389.73	c 1388s |      15 |  2507486 |   121532 |   114711      1 |      130 |      128
1391.91/1392.35	c 1390s |      15 |  2510335 |   121732 |   114711      1 |      130 |      128
1394.21/1394.61	c 1393s |      15 |  2512906 |   121932 |   114711      1 |      130 |      128
1396.51/1396.98	c 1395s |      15 |  2517805 |   122132 |   114711      1 |      130 |      128
1399.21/1399.66	c 1398s |      15 |  2523271 |   122332 |   114711      1 |      130 |      128
1401.71/1402.15	c 1400s |      15 |  2525688 |   122532 |   114711      1 |      130 |      128
1403.91/1404.39	c 1402s |      15 |  2528088 |   122732 |   114711      1 |      130 |      128
1406.21/1406.68	c 1405s |      15 |  2530604 |   122932 |   114711      1 |      130 |      128
1409.20/1409.61	c 1408s |      15 |  2536515 |   123232 |   114711      1 |      130 |      128
1411.60/1412.01	c 1410s |      15 |  2540744 |   123432 |   114711      1 |      130 |      128
1413.90/1414.39	c 1412s |      15 |  2546923 |   123732 |   114711      1 |      130 |      128
1416.51/1416.94	c 1415s |      15 |  2553764 |   124032 |   114711      1 |      130 |      128
1418.90/1419.36	c 1417s |      15 |  2560315 |   124232 |   114711      1 |      130 |      128
1421.20/1421.60	c 1420s |      15 |  2567445 |   124432 |   114711      1 |      130 |      128
1424.50/1424.95	c 1423s |      15 |  2570162 |   124732 |   114711      1 |      130 |      128
1427.00/1427.43	c 1425s |      15 |  2574482 |   125032 |   114711      1 |      130 |      128
1430.90/1431.31	c 1429s |      15 |  2577690 |   125332 |   114711      1 |      130 |      128
1433.30/1433.74	c 1432s |      15 |  2579426 |   125532 |   114711      1 |      130 |      128
1435.90/1436.30	c 1434s |      15 |  2580077 |   125732 |   114711      1 |      130 |      128
1439.90/1440.33	c 1438s |      15 |  2582443 |   125932 |   114711      1 |      130 |      128
1442.10/1442.52	c 1441s |      15 |  2589238 |   126132 |   114711      1 |      130 |      128
1444.10/1444.54	c 1443s |      15 |  2594398 |   126332 |   114711      1 |      130 |      128
1446.50/1446.96	c 1445s |      15 |  2599672 |   126532 |   114711      1 |      130 |      128
1449.20/1449.65	c 1448s |      15 |  2607479 |   126832 |   114711      1 |      130 |      128
1451.60/1452.05	c 1450s |      15 |  2610562 |   127032 |   114711      1 |      130 |      128
1454.90/1455.37	c 1453s |      15 |  2611875 |   127232 |   114711      1 |      130 |      128
1457.20/1457.64	c 1456s |      15 |  2613952 |   127432 |   114711      1 |      130 |      128
1459.50/1459.97	c 1458s |      15 |  2616305 |   127632 |   114711      1 |      130 |      128
1462.80/1463.21	c 1461s |      15 |  2619054 |   127832 |   114711      1 |      130 |      128
1466.10/1466.51	c 1465s |      15 |  2621309 |   128032 |   114711      1 |      130 |      128
1468.49/1468.95	c 1467s |      15 |  2623189 |   128132 |   114711      1 |      130 |      128
1470.69/1471.20	c 1469s |      15 |  2628452 |   128332 |   114711      1 |      130 |      128
1474.59/1475.05	c 1473s |      15 |  2631794 |   128532 |   114711      1 |      130 |      128
1476.90/1477.32	c 1475s |      15 |  2637955 |   128732 |   114711      1 |      130 |      128
1479.10/1479.52	c 1478s |      15 |  2640472 |   128932 |   114711      1 |      130 |      128
1482.89/1483.33	c 1481s |      15 |  2642821 |   129132 |   114711      1 |      130 |      128
1484.89/1485.35	c 1483s |      15 |  2650861 |   129332 |   114711      1 |      130 |      128
1487.09/1487.59	c 1486s |      15 |  2659056 |   129532 |   114711      1 |      130 |      128
1489.19/1489.63	c 1488s |      15 |  2666355 |   129732 |   114711      1 |      130 |      128
1491.20/1491.70	c 1490s |      15 |  2672605 |   129932 |   114711      1 |      130 |      128
1494.09/1494.50	c 1493s |      15 |  2682767 |   130232 |   114711      1 |      130 |      128
1496.89/1497.30	c 1495s |      15 |  2685512 |   130432 |   114711      1 |      130 |      128
1499.19/1499.67	c 1498s |      15 |  2692512 |   130632 |   114711      1 |      130 |      128
1502.09/1502.52	c 1501s |      15 |  2697424 |   130832 |   126183      1 |      130 |      128
1504.40/1504.84	c 1503s |      15 |  2707845 |   131032 |   126183      1 |      130 |      128
1506.89/1507.31	c 1505s |      15 |  2711470 |   131232 |   126183      1 |      130 |      128
1510.00/1510.46	c 1508s |      15 |  2713879 |   131432 |   126183      1 |      130 |      128
1511.50/1511.94	c 1510s |      16 |  2719444 |   131552 |   126183      1 |      130 |      128
1514.90/1515.38	c 1513s |      16 |  2722231 |   131652 |   126183      1 |      130 |      128
1517.40/1517.84	c 1516s |      16 |  2728883 |   131852 |   126183      1 |      130 |      128
1519.80/1520.23	c 1518s |      16 |  2734632 |   132052 |   126183      1 |      130 |      128
1522.90/1523.34	c 1521s |      16 |  2738345 |   132252 |   126183      1 |      130 |      128
1525.20/1525.63	c 1524s |      16 |  2740739 |   132452 |   126183      1 |      130 |      128
1528.09/1528.56	c 1527s |      16 |  2745058 |   132752 |   126183      1 |      130 |      128
1530.99/1531.43	c 1529s |      16 |  2749142 |   132952 |   126183      1 |      130 |      128
1533.69/1534.16	c 1532s |      16 |  2754268 |   133152 |   126183      1 |      130 |      128
1536.69/1537.10	c 1535s |      16 |  2764725 |   133352 |   126183      1 |      130 |      128
1538.99/1539.44	c 1537s |      16 |  2770142 |   133552 |   126183      1 |      130 |      128
1540.99/1541.45	c 1539s |      16 |  2776642 |   133752 |   126183      1 |      130 |      128
1543.39/1543.85	c 1542s |      16 |  2783194 |   133952 |   126183      1 |      130 |      128
1546.79/1547.25	c 1545s |      16 |  2790256 |   134152 |   126183      1 |      130 |      128
1550.49/1551.00	c 1549s |      16 |  2796982 |   134352 |   126183      1 |      130 |      128
1553.29/1553.77	c 1552s |      16 |  2802161 |   134552 |   126183      1 |      130 |      128
1555.59/1556.07	c 1554s |      16 |  2811576 |   134852 |   126183      1 |      130 |      128
1558.19/1558.64	c 1557s |      16 |  2814279 |   135052 |   126183      1 |      130 |      128
1561.29/1561.76	c 1560s |      16 |  2817859 |   135252 |   126183      1 |      130 |      128
1563.59/1564.09	c 1562s |      16 |  2821959 |   135452 |   126183      1 |      130 |      128
1566.39/1566.84	c 1565s |      16 |  2825215 |   135652 |   126183      1 |      130 |      128
1569.29/1569.77	c 1568s |      16 |  2834855 |   135852 |   126183      1 |      130 |      128
1572.09/1572.51	c 1571s |      16 |  2844045 |   136152 |   126183      1 |      130 |      128
1574.39/1574.81	c 1573s |      16 |  2851253 |   136352 |   126183      1 |      130 |      128
1577.79/1578.21	c 1576s |      16 |  2858320 |   136552 |   126183      1 |      130 |      128
1579.98/1580.49	c 1578s |      16 |  2864407 |   136752 |   126183      1 |      130 |      128
1582.98/1583.42	c 1581s |      16 |  2866764 |   136952 |   126183      1 |      130 |      128
1585.28/1585.78	c 1584s |      16 |  2873338 |   137152 |   126183      1 |      130 |      128
1587.78/1588.28	c 1586s |      16 |  2880328 |   137352 |   126183      1 |      130 |      128
1590.78/1591.27	c 1589s |      16 |  2886918 |   137552 |   126183      1 |      130 |      128
1593.68/1594.12	c 1592s |      16 |  2892435 |   137752 |   126183      1 |      130 |      128
1597.18/1597.60	c 1596s |      16 |  2898223 |   137952 |   126183      1 |      130 |      128
1599.68/1600.17	c 1598s |      16 |  2905005 |   138152 |   126183      1 |      130 |      128
1602.98/1603.41	c 1601s |      16 |  2909032 |   138352 |   126183      1 |      130 |      128
1606.58/1607.06	c 1605s |      16 |  2912343 |   138552 |   126183      1 |      130 |      128
1609.38/1609.85	c 1608s |      16 |  2915025 |   138752 |   126183      1 |      130 |      128
1612.19/1612.70	c 1611s |      16 |  2919316 |   138952 |   126183      1 |      130 |      128
1614.28/1614.72	c 1613s |      16 |  2921269 |   139052 |   126183      1 |      130 |      128
1616.88/1617.34	c 1615s |      16 |  2927576 |   139252 |   126183      1 |      130 |      128
1619.28/1619.75	c 1618s |      16 |  2928827 |   139452 |   126183      1 |      130 |      128
1621.78/1622.22	c 1620s |      16 |  2932330 |   139652 |   126183      1 |      130 |      128
1624.08/1624.54	c 1623s |      16 |  2935756 |   139852 |   126183      1 |      130 |      128
1626.28/1626.74	c 1625s |      16 |  2941166 |   140052 |   126183      1 |      130 |      128
1629.08/1629.54	c 1628s |      16 |  2946985 |   140352 |   126183      1 |      130 |      128
1632.38/1632.85	c 1631s |      16 |  2951060 |   140552 |   126183      1 |      130 |      128
1634.48/1634.96	c 1633s |      16 |  2952414 |   140652 |   126183      1 |      130 |      128
1637.08/1637.58	c 1636s |      16 |  2956883 |   140852 |   126183      1 |      130 |      128
1639.88/1640.31	c 1638s |      16 |  2957959 |   141052 |   126183      1 |      130 |      128
1642.28/1642.71	c 1641s |      16 |  2963785 |   141352 |   126183      1 |      130 |      128
1645.07/1645.57	c 1644s |      16 |  2966482 |   141552 |   126183      1 |      130 |      128
1647.27/1647.71	c 1646s |      16 |  2968103 |   141752 |   126183      1 |      130 |      128
1649.27/1649.74	c 1648s |      16 |  2971516 |   141952 |   126183      1 |      130 |      128
1651.97/1652.45	c 1650s |      16 |  2972966 |   142252 |   126183      1 |      130 |      128
1654.97/1655.44	c 1653s |      16 |  2978381 |   142552 |   126183      1 |      130 |      128
1657.77/1658.24	c 1656s |      16 |  2982231 |   142852 |   126183      1 |      130 |      128
1660.97/1661.46	c 1659s |      16 |  2986054 |   143052 |   126183      1 |      130 |      128
1663.07/1663.58	c 1662s |      16 |  2988848 |   143252 |   126183      1 |      130 |      128
1665.77/1666.28	c 1664s |      16 |  2990095 |   143452 |   126183      1 |      130 |      128
1668.67/1669.17	c 1667s |      16 |  2995930 |   143752 |   126183      1 |      130 |      128
1671.37/1671.88	c 1670s |      16 |  3000763 |   144052 |   126183      1 |      130 |      128
1673.97/1674.41	c 1672s |      16 |  3002206 |   144252 |   126183      1 |      130 |      128
1676.37/1676.80	c 1675s |      16 |  3006073 |   144452 |   126183      1 |      130 |      128
1678.57/1679.01	c 1677s |      16 |  3011014 |   144652 |   126183      1 |      130 |      128
1680.97/1681.48	c 1679s |      16 |  3012325 |   144852 |   126183      1 |      130 |      128
1683.07/1683.50	c 1682s |      16 |  3013571 |   145052 |   126183      1 |      130 |      128
1685.57/1686.06	c 1684s |      16 |  3015776 |   145252 |   126183      1 |      130 |      128
1688.57/1689.06	c 1687s |      16 |  3017607 |   145452 |   126183      1 |      130 |      128
1690.77/1691.21	c 1689s |      16 |  3018161 |   145552 |   126183      1 |      130 |      128
1692.87/1693.34	c 1691s |      16 |  3027927 |   145752 |   126183      1 |      130 |      128
1695.57/1696.08	c 1694s |      16 |  3030141 |   145952 |   126183      1 |      130 |      128
1697.97/1698.48	c 1696s |      16 |  3036277 |   146152 |   126183      1 |      130 |      128
1700.67/1701.14	c 1699s |      16 |  3045467 |   146452 |   126183      1 |      130 |      128
1702.87/1703.39	c 1701s |      16 |  3050481 |   146652 |   126183      1 |      130 |      128
1706.06/1706.57	c 1705s |      16 |  3054357 |   146852 |   126183      1 |      130 |      128
1709.26/1709.73	c 1708s |      16 |  3059260 |   147052 |   126183      1 |      130 |      128
1712.16/1712.66	c 1711s |      16 |  3070011 |   147352 |   126183      1 |      130 |      128
1714.26/1714.79	c 1713s |      16 |  3074839 |   147552 |   126183      1 |      130 |      128
1716.46/1716.94	c 1715s |      16 |  3081022 |   147752 |   126183      1 |      130 |      128
1718.87/1719.33	c 1717s |      16 |  3086639 |   147952 |   126183      1 |      130 |      128
1722.86/1723.34	c 1721s |      16 |  3092068 |   148152 |   126183      1 |      130 |      128
1726.26/1726.79	c 1725s |      16 |  3098814 |   148352 |   126183      1 |      130 |      128
1728.56/1729.02	c 1727s |      16 |  3099450 |   148552 |   126183      1 |      130 |      128
1731.16/1731.62	c 1730s |      16 |  3100811 |   148752 |   126183      1 |      130 |      128
1733.46/1733.98	c 1732s |      16 |  3101948 |   148952 |   126183      1 |      130 |      128
1735.56/1736.01	c 1734s |      16 |  3102116 |   149052 |   126183      1 |      130 |      128
1738.77/1739.26	c 1737s |      16 |  3102719 |   149252 |   126183      1 |      130 |      128
1740.87/1741.37	c 1739s |      16 |  3103244 |   149352 |   126183      1 |      130 |      128
1745.06/1745.56	c 1744s |      16 |  3103633 |   149552 |   126183      1 |      130 |      128
1747.57/1748.05	c 1746s |      16 |  3104969 |   149652 |   126183      1 |      130 |      128
1750.16/1750.62	c 1749s |      16 |  3108830 |   149852 |   126183      1 |      130 |      128
1752.66/1753.16	c 1751s |      16 |  3113312 |   150052 |   126183      1 |      130 |      128
1754.86/1755.39	c 1753s |      16 |  3121954 |   150252 |   126183      1 |      130 |      128
1758.36/1758.85	c 1757s |      16 |  3125639 |   150452 |   126183      1 |      130 |      128
1760.96/1761.41	c 1759s |      16 |  3132021 |   150752 |   126183      1 |      130 |      128
1763.75/1764.22	c 1762s |      16 |  3140692 |   151052 |   126183      1 |      130 |      128
1766.16/1766.62	c 1765s |      16 |  3145972 |   151252 |   126183      1 |      130 |      128
1768.75/1769.28	c 1767s |      16 |  3152151 |   151452 |   126183      1 |      130 |      128
1770.85/1771.31	c 1769s |      16 |  3158177 |   151652 |   126183      1 |      130 |      128
1773.25/1773.75	c 1772s |      16 |  3165214 |   151852 |   126183      1 |      130 |      128
1776.16/1776.66	c 1775s |      16 |  3174120 |   152152 |   126183      1 |      130 |      128
1779.15/1779.66	c 1778s |      16 |  3176805 |   152352 |   126183      1 |      130 |      128
1781.66/1782.15	c 1780s |      16 |  3178870 |   152552 |   126183      1 |      130 |      128
1784.55/1785.05	c 1783s |      16 |  3182720 |   152752 |   126183      1 |      130 |      128
1786.95/1787.47	c 1785s |      16 |  3187468 |   152952 |   126183      1 |      130 |      128
1789.55/1790.08	c 1788s |      16 |  3189570 |   153152 |   126183      1 |      130 |      128
1792.45/1792.98	c 1791s |      16 |  3190486 |   153352 |   126183      1 |      130 |      128
1795.25/1795.74	c 1794s |      16 |  3192135 |   153552 |   126183      1 |      130 |      128
1797.85/1798.39	c 1796s |      16 |  3196644 |   153752 |   126183      1 |      130 |      128

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

pid=14093
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.06 2.17 2.17 3/179 14096
/proc/meminfo: memFree=29178124/32872528 swapFree=15272/1656604
[pid=14096] ppid=14093 vsize=695740 CPUtime=0 cores=1,3,5,7
/proc/14096/stat : 14096 (toysat) R 14093 14096 9894 0 -1 4202496 2590 0 0 0 0 0 0 0 20 0 4 0 111202515 712437760 2951 33554432000 4194304 16246674 140733689431216 140733689430640 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14096/statm: 174447 2961 441 2943 0 171341 0
[pid=14096/tid=14097] ppid=14093 vsize=713148 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (toysat) S 14093 14096 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111202516 730263552 3021 33554432000 4194304 16246674 140733689431216 139741232082160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14096/tid=14098] ppid=14093 vsize=717244 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (toysat) S 14093 14096 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111202516 734457856 3037 33554432000 4194304 16246674 140733689431216 139741221592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14096/tid=14099] ppid=14093 vsize=722364 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (toysat) S 14093 14096 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 111202516 739700736 3055 33554432000 4194304 16246674 140733689431216 139741211118768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.06 2.17 2.17 3/179 14096
/proc/meminfo: memFree=29178124/32872528 swapFree=15272/1656604
[pid=14096] ppid=14093 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/14096/stat : 14096 (toysat) R 14093 14096 9894 0 -1 4202496 29311 0 0 0 5 4 0 0 20 0 4 0 111202515 1333334016 29611 33554432000 4194304 16246674 140733689431216 140733689430528 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14096/statm: 325521 29627 800 2943 0 322415 0
[pid=14096/tid=14097] ppid=14093 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (toysat) S 14093 14096 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111202516 1333334016 29639 33554432000 4194304 16246674 140733689431216 139741232082160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14096/tid=14098] ppid=14093 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (toysat) S 14093 14096 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111202516 1333334016 29650 33554432000 4194304 16246674 140733689431216 139741221592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14096/tid=14099] ppid=14093 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (toysat) S 14093 14096 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111202516 1333334016 29661 33554432000 4194304 16246674 140733689431216 139741211118768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200543 s]
/proc/loadavg: 2.06 2.17 2.17 3/179 14096
/proc/meminfo: memFree=29178124/32872528 swapFree=15272/1656604
[pid=14096] ppid=14093 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/14096/stat : 14096 (toysat) R 14093 14096 9894 0 -1 4202496 45965 0 0 0 13 6 0 0 20 0 4 0 111202515 1344868352 46775 33554432000 4194304 16246674 140733689431216 140733689430528 14795900 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14096/statm: 328337 46775 800 2943 0 325231 0
[pid=14096/tid=14097] ppid=14093 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (toysat) S 14093 14096 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111202516 1344868352 46775 33554432000 4194304 16246674 140733689431216 139741232082160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14096/tid=14098] ppid=14093 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (toysat) S 14093 14096 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111202516 1344868352 46775 33554432000 4194304 16246674 140733689431216 139741221592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14096/tid=14099] ppid=14093 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (toysat) S 14093 14096 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111202516 1344868352 46775 33554432000 4194304 16246674 140733689431216 139741211118768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.30051 s]
/proc/loadavg: 2.06 2.17 2.17 3/179 14096
/proc/meminfo: memFree=29178124/32872528 swapFree=15272/1656604
[pid=14096] ppid=14093 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/14096/stat : 14096 (toysat) R 14093 14096 9894 0 -1 4202496 56049 0 0 0 21 8 0 0 20 0 4 0 111202515 1344868352 56859 33554432000 4194304 16246674 140733689431216 140733689430528 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14096/statm: 328337 56859 800 2943 0 325231 0
[pid=14096/tid=14097] ppid=14093 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (toysat) S 14093 14096 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111202516 1344868352 56859 33554432000 4194304 16246674 140733689431216 139741232082160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14096/tid=14098] ppid=14093 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (toysat) S 14093 14096 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111202516 1344868352 56859 33554432000 4194304 16246674 140733689431216 139741221592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14096/tid=14099] ppid=14093 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (toysat) S 14093 14096 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111202516 1344868352 56859 33554432000 4194304 16246674 140733689431216 139741211118768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700419 s]
/proc/loadavg: 2.06 2.17 2.17 3/179 14096
/proc/meminfo: memFree=29178124/32872528 swapFree=15272/1656604
[pid=14096] ppid=14093 vsize=1315396 CPUtime=0.69 cores=1,3,5,7
/proc/14096/stat : 14096 (toysat) R 14093 14096 9894 0 -1 4202496 86556 0 0 0 57 12 0 0 20 0 4 0 111202515 1346965504 87366 33554432000 4194304 16246674 140733689431216 140733689413120 13956216 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14096/statm: 328849 87376 834 2943 0 325743 0
[pid=14096/tid=14097] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (toysat) S 14093 14096 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 87382 33554432000 4194304 16246674 140733689431216 139741232082160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14096/tid=14098] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (toysat) S 14093 14096 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 87388 33554432000 4194304 16246674 140733689431216 139741221592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14096/tid=14099] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (toysat) S 14093 14096 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 87393 33554432000 4194304 16246674 140733689431216 139741211118768 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) 1315396

[startup+1.50042 s]
/proc/loadavg: 2.06 2.17 2.17 3/183 14100
/proc/meminfo: memFree=28519408/32872528 swapFree=15272/1656604
[pid=14096] ppid=14093 vsize=1315396 CPUtime=1.49 cores=1,3,5,7
/proc/14096/stat : 14096 (toysat) R 14093 14096 9894 0 -1 4202496 216208 0 0 0 120 29 0 0 20 0 4 0 111202515 1346965504 217018 33554432000 4194304 16246674 140733689431216 140733689430528 5841576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14096/statm: 328849 217018 866 2943 0 325743 0
[pid=14096/tid=14097] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (toysat) S 14093 14096 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 217018 33554432000 4194304 16246674 140733689431216 139741232082160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14096/tid=14098] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (toysat) S 14093 14096 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 217018 33554432000 4194304 16246674 140733689431216 139741221592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14096/tid=14099] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (toysat) S 14093 14096 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 217018 33554432000 4194304 16246674 140733689431216 139741211118768 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) 1315396

[startup+3.10038 s]
/proc/loadavg: 2.06 2.17 2.17 3/183 14100
/proc/meminfo: memFree=28310840/32872528 swapFree=15272/1656604
[pid=14096] ppid=14093 vsize=1315396 CPUtime=3.09 cores=1,3,5,7
/proc/14096/stat : 14096 (toysat) R 14093 14096 9894 0 -1 4202496 216233 0 0 0 280 29 0 0 20 0 4 0 111202515 1346965504 217043 33554432000 4194304 16246674 140733689431216 140733689413120 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14096/statm: 328849 217043 891 2943 0 325743 0
[pid=14096/tid=14097] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (toysat) S 14093 14096 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 217043 33554432000 4194304 16246674 140733689431216 139741232082160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14096/tid=14098] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (toysat) S 14093 14096 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 217043 33554432000 4194304 16246674 140733689431216 139741221592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14096/tid=14099] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (toysat) S 14093 14096 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 217043 33554432000 4194304 16246674 140733689431216 139741211118768 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) 1315396

[startup+6.30043 s]
/proc/loadavg: 2.06 2.17 2.17 4/183 14100
/proc/meminfo: memFree=28097560/32872528 swapFree=15272/1656604
[pid=14096] ppid=14093 vsize=1315396 CPUtime=6.29 cores=1,3,5,7
/proc/14096/stat : 14096 (toysat) R 14093 14096 9894 0 -1 4202496 269527 0 0 0 593 36 0 0 20 0 4 0 111202515 1346965504 270337 33554432000 4194304 16246674 140733689431216 140733689413120 5667484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14096/statm: 328849 270337 891 2943 0 325743 0
[pid=14096/tid=14097] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (toysat) S 14093 14096 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 270337 33554432000 4194304 16246674 140733689431216 139741232082160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14096/tid=14098] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (toysat) S 14093 14096 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 270337 33554432000 4194304 16246674 140733689431216 139741221592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14096/tid=14099] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (toysat) S 14093 14096 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 270337 33554432000 4194304 16246674 140733689431216 139741211118768 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) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.05 2.16 2.17 3/183 14100
/proc/meminfo: memFree=28097980/32872528 swapFree=15272/1656604
[pid=14096] ppid=14093 vsize=1315396 CPUtime=12.69 cores=1,3,5,7
/proc/14096/stat : 14096 (toysat) R 14093 14096 9894 0 -1 4202496 269527 0 0 0 1233 36 0 0 20 0 4 0 111202515 1346965504 270337 33554432000 4194304 16246674 140733689431216 140733689413120 13781188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14096/statm: 328849 270337 891 2943 0 325743 0
[pid=14096/tid=14097] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (toysat) S 14093 14096 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 270337 33554432000 4194304 16246674 140733689431216 139741232082160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14096/tid=14098] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (toysat) S 14093 14096 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 270337 33554432000 4194304 16246674 140733689431216 139741221592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14096/tid=14099] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (toysat) S 14093 14096 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 270337 33554432000 4194304 16246674 140733689431216 139741211118768 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) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.19 2.19 2.18 4/183 14100
/proc/meminfo: memFree=28099128/32872528 swapFree=15272/1656604
[pid=14096] ppid=14093 vsize=1315396 CPUtime=25.49 cores=1,3,5,7
/proc/14096/stat : 14096 (toysat) R 14093 14096 9894 0 -1 4202496 269527 0 0 0 2513 36 0 0 20 0 4 0 111202515 1346965504 270337 33554432000 4194304 16246674 140733689431216 140733689413120 13820864 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14096/statm: 328849 270337 891 2943 0 325743 0
[pid=14096/tid=14097] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (toysat) S 14093 14096 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 270337 33554432000 4194304 16246674 140733689431216 139741232082160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14096/tid=14098] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (toysat) S 14093 14096 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 270337 33554432000 4194304 16246674 140733689431216 139741221592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14096/tid=14099] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (toysat) S 14093 14096 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 270337 33554432000 4194304 16246674 140733689431216 139741211118768 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) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.26 2.20 2.18 3/183 14100
/proc/meminfo: memFree=28099060/32872528 swapFree=15272/1656604
[pid=14096] ppid=14093 vsize=1315396 CPUtime=51.08 cores=1,3,5,7
/proc/14096/stat : 14096 (toysat) R 14093 14096 9894 0 -1 4202496 269527 0 0 0 5072 36 0 0 20 0 4 0 111202515 1346965504 270337 33554432000 4194304 16246674 140733689431216 140733689413120 5754801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14096/statm: 328849 270337 891 2943 0 325743 0
[pid=14096/tid=14097] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (toysat) S 14093 14096 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 270337 33554432000 4194304 16246674 140733689431216 139741232082160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14096/tid=14098] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (toysat) S 14093 14096 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 270337 33554432000 4194304 16246674 140733689431216 139741221592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14096/tid=14099] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (toysat) S 14093 14096 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 270337 33554432000 4194304 16246674 140733689431216 139741211118768 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) 1315396

[startup+102.301 s]
/proc/loadavg: 2.23 2.21 2.18 3/183 14101
/proc/meminfo: memFree=28098956/32872528 swapFree=15272/1656604
[pid=14096] ppid=14093 vsize=1315396 CPUtime=102.28 cores=1,3,5,7
/proc/14096/stat : 14096 (toysat) R 14093 14096 9894 0 -1 4202496 269532 0 0 0 10192 36 0 0 20 0 4 0 111202515 1346965504 270342 33554432000 4194304 16246674 140733689431216 140733689413120 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14096/statm: 328849 270342 895 2943 0 325743 0
[pid=14096/tid=14097] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (toysat) S 14093 14096 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 270342 33554432000 4194304 16246674 140733689431216 139741232082160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14096/tid=14098] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (toysat) S 14093 14096 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 270342 33554432000 4194304 16246674 140733689431216 139741221592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14096/tid=14099] ppid=14093 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (toysat) S 14093 14096 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 270342 33554432000 4194304 16246674 140733689431216 139741211118768 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) 1315396


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

/proc/14096/task/14099/stat : 14099 (toysat) S 14093 14096 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111202516 1346965504 270342 33554432000 4194304 16246674 140733689431216 139741211118768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.25 2.26 2.23 3/183 14204
/proc/meminfo: memFree=27512824/32872528 swapFree=15272/1656604
[pid=14096] ppid=14093 vsize=1320516 CPUtime=1361.91 cores=1,3,5,7
/proc/14096/stat : 14096 (toysat) R 14093 14096 9894 0 -1 4202496 271091 0 0 0 136153 38 0 0 20 0 4 0 111202515 1352208384 271584 33554432000 4194304 16246674 140733689431216 140733689413120 5674006 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14096/statm: 330129 271584 895 2943 0 327023 0
[pid=14096/tid=14097] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (toysat) S 14093 14096 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271584 33554432000 4194304 16246674 140733689431216 139741232082160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14096/tid=14098] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (toysat) S 14093 14096 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271584 33554432000 4194304 16246674 140733689431216 139741221592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14096/tid=14099] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (toysat) S 14093 14096 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271584 33554432000 4194304 16246674 140733689431216 139741211118768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1320516

[startup+1422.3 s]
/proc/loadavg: 2.43 2.30 2.24 4/183 14205
/proc/meminfo: memFree=27512424/32872528 swapFree=15272/1656604
[pid=14096] ppid=14093 vsize=1320516 CPUtime=1421.91 cores=1,3,5,7
/proc/14096/stat : 14096 (toysat) R 14093 14096 9894 0 -1 4202496 271130 0 0 0 142153 38 0 0 20 0 4 0 111202515 1352208384 271623 33554432000 4194304 16246674 140733689431216 140733689413120 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14096/statm: 330129 271623 896 2943 0 327023 0
[pid=14096/tid=14097] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (toysat) S 14093 14096 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741232082160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14096/tid=14098] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (toysat) S 14093 14096 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741221592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14096/tid=14099] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (toysat) S 14093 14096 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741211118768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1320516

[startup+1482.3 s]
/proc/loadavg: 2.45 2.32 2.25 3/183 14206
/proc/meminfo: memFree=27512444/32872528 swapFree=15272/1656604
[pid=14096] ppid=14093 vsize=1320516 CPUtime=1481.89 cores=1,3,5,7
/proc/14096/stat : 14096 (toysat) R 14093 14096 9894 0 -1 4202496 271130 0 0 0 148151 38 0 0 20 0 4 0 111202515 1352208384 271623 33554432000 4194304 16246674 140733689431216 140733689413120 13780585 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14096/statm: 330129 271623 896 2943 0 327023 0
[pid=14096/tid=14097] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (toysat) S 14093 14096 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741232082160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14096/tid=14098] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (toysat) S 14093 14096 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741221592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14096/tid=14099] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (toysat) S 14093 14096 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741211118768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1320516

[startup+1542.31 s]
/proc/loadavg: 2.25 2.29 2.25 3/184 14211
/proc/meminfo: memFree=27512732/32872528 swapFree=15272/1656604
[pid=14096] ppid=14093 vsize=1320516 CPUtime=1541.9 cores=1,3,5,7
/proc/14096/stat : 14096 (toysat) R 14093 14096 9894 0 -1 4202496 271130 0 0 0 154151 39 0 0 20 0 4 0 111202515 1352208384 271623 33554432000 4194304 16246674 140733689431216 140733689413120 5711688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14096/statm: 330129 271623 896 2943 0 327023 0
[pid=14096/tid=14097] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (toysat) S 14093 14096 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741232082160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14096/tid=14098] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (toysat) S 14093 14096 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741221592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14096/tid=14099] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (toysat) S 14093 14096 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741211118768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1320516

[startup+1602.3 s]
/proc/loadavg: 2.43 2.33 2.26 3/183 14212
/proc/meminfo: memFree=27493816/32872528 swapFree=15272/1656604
[pid=14096] ppid=14093 vsize=1320516 CPUtime=1601.88 cores=1,3,5,7
/proc/14096/stat : 14096 (toysat) R 14093 14096 9894 0 -1 4202496 271130 0 0 0 160149 39 0 0 20 0 4 0 111202515 1352208384 271623 33554432000 4194304 16246674 140733689431216 140733689413120 5661532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14096/statm: 330129 271623 896 2943 0 327023 0
[pid=14096/tid=14097] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (toysat) S 14093 14096 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741232082160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14096/tid=14098] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (toysat) S 14093 14096 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741221592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14096/tid=14099] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (toysat) S 14093 14096 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741211118768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1320516

[startup+1662.3 s]
/proc/loadavg: 2.36 2.32 2.26 3/183 14213
/proc/meminfo: memFree=27493860/32872528 swapFree=15272/1656604
[pid=14096] ppid=14093 vsize=1320516 CPUtime=1661.87 cores=1,3,5,7
/proc/14096/stat : 14096 (toysat) R 14093 14096 9894 0 -1 4202496 271130 0 0 0 166148 39 0 0 20 0 4 0 111202515 1352208384 271623 33554432000 4194304 16246674 140733689431216 140733689413120 5667184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14096/statm: 330129 271623 896 2943 0 327023 0
[pid=14096/tid=14097] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (toysat) S 14093 14096 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741232082160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14096/tid=14098] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (toysat) S 14093 14096 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741221592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14096/tid=14099] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (toysat) S 14093 14096 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741211118768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1320516

[startup+1722.3 s]
/proc/loadavg: 2.27 2.31 2.26 3/183 14214
/proc/meminfo: memFree=27493540/32872528 swapFree=15272/1656604
[pid=14096] ppid=14093 vsize=1320516 CPUtime=1721.86 cores=1,3,5,7
/proc/14096/stat : 14096 (toysat) R 14093 14096 9894 0 -1 4202496 271130 0 0 0 172147 39 0 0 20 0 4 0 111202515 1352208384 271623 33554432000 4194304 16246674 140733689431216 140733689413120 5662771 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14096/statm: 330129 271623 896 2943 0 327023 0
[pid=14096/tid=14097] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (toysat) S 14093 14096 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741232082160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14096/tid=14098] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (toysat) S 14093 14096 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741221592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14096/tid=14099] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (toysat) S 14093 14096 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741211118768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1320516

[startup+1782.3 s]
/proc/loadavg: 2.55 2.37 2.29 4/183 14215
/proc/meminfo: memFree=27493232/32872528 swapFree=15272/1656604
[pid=14096] ppid=14093 vsize=1320516 CPUtime=1781.85 cores=1,3,5,7
/proc/14096/stat : 14096 (toysat) R 14093 14096 9894 0 -1 4202496 271130 0 0 0 178146 39 0 0 20 0 4 0 111202515 1352208384 271623 33554432000 4194304 16246674 140733689431216 140733689413120 6022864 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14096/statm: 330129 271623 896 2943 0 327023 0
[pid=14096/tid=14097] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (toysat) S 14093 14096 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741232082160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14096/tid=14098] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (toysat) S 14093 14096 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741221592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14096/tid=14099] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (toysat) S 14093 14096 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741211118768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1320516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.39 2.35 2.28 3/183 14216
/proc/meminfo: memFree=27493328/32872528 swapFree=15272/1656604
[pid=14096] ppid=14093 vsize=1320516 CPUtime=1800.05 cores=1,3,5,7
/proc/14096/stat : 14096 (toysat) R 14093 14096 9894 0 -1 4202496 271130 0 0 0 179966 39 0 0 20 0 4 0 111202515 1352208384 271623 33554432000 4194304 16246674 140733689431216 140733689413120 6022632 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14096/statm: 330129 271623 896 2943 0 327023 0
[pid=14096/tid=14097] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (toysat) S 14093 14096 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741232082160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14096/tid=14098] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (toysat) S 14093 14096 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741221592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14096/tid=14099] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (toysat) S 14093 14096 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741211118768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1320516

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

[startup+1800.5 s]
/proc/loadavg: 2.39 2.35 2.28 3/183 14216
/proc/meminfo: memFree=27493328/32872528 swapFree=15272/1656604
[pid=14096] ppid=14093 vsize=1320516 CPUtime=1800.05 cores=1,3,5,7
/proc/14096/stat : 14096 (toysat) R 14093 14096 9894 0 -1 4202496 271130 0 0 0 179966 39 0 0 20 0 4 0 111202515 1352208384 271623 33554432000 4194304 16246674 140733689431216 140733689413120 6022632 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14096/statm: 330129 271623 896 2943 0 327023 0
[pid=14096/tid=14097] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14097/stat : 14097 (toysat) S 14093 14096 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741232082160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14096/tid=14098] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14098/stat : 14098 (toysat) S 14093 14096 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741221592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14096/tid=14099] ppid=14093 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/14096/task/14099/stat : 14099 (toysat) S 14093 14096 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 111202516 1352208384 271623 33554432000 4194304 16246674 140733689431216 139741211118768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1320516

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.67
CPU system time (s): 0.394939
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 1320516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.394939
maximum resident set size= 1086492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271130
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= 335
involuntary context switches= 1873

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.75128 second user time and 7.01393 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-07 11:44:52
IDJOB=4080052
IDBENCH=90860
IDSOLVER=2542
FILE ID=node136/4080052-1465292692
RUNJOBID= node136-1465261284-9911
PBS_JOBID= 19843291
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_50null0mast_rapportOE1.0_TMAX180_K67_cod2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080052-1465292692/watcher-4080052-1465292692 -o /tmp/evaluation-result-4080052-1465292692/solver-4080052-1465292692 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9911 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080052-1465292692.opb

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

MD5SUM BENCH= 4555e70390d674ec14d0ef1e0b38ebad
RANDOM SEED=858943403

node136.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.959
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.91
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.959
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.959
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.959
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.959
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.959
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.59
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.959
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.959
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:        29178916 kB
Buffers:           62280 kB
Cached:           153796 kB
SwapCached:          768 kB
Active:          1166032 kB
Inactive:         135372 kB
Active(anon):    1084024 kB
Inactive(anon):     3536 kB
Active(file):      82008 kB
Inactive(file):   131836 kB
Unevictable:     1656604 kB
Mlocked:           15272 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:             18996 kB
Writeback:             0 kB
AnonPages:       2743000 kB
Mapped:            10788 kB
Shmem:                 0 kB
Slab:             599080 kB
SReclaimable:      42912 kB
SUnreclaim:       556168 kB
KernelStack:        1480 kB
PageTables:         9656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2883660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2721792 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= 71676 MiB
End job on node136 at 2016-06-07 12:14:53