Trace number 4078856

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.13 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-153.opb
MD5SUM64b2e27e0cc69ae36d391a38c497bb88
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables55296
Total number of constraints1282690
Number of constraints which are clauses1152492
Number of constraints which are cardinality constraints (but not clauses)4030
Number of constraints which are nor clauses,nor cardinality constraints126168
Minimum length of a constraint2
Maximum length of a constraint756
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 757
Number of bits of the biggest sum of numbers10
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-07T06:55:28+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-4078856-1465275326.opb"]
0.00/0.01	c use --random-gen="1589316093 1382603493 2308118700 1798603603 2875090891 1353845139 2246741562 3324862334 21104186 2551224459 444593276 3502090606 39099584 873714083 2527217312 1987769139 2659785740 3365500616 3639097364 242295503 424707146 3620063232 2670208847 1346980777 420708482 805221930 2784614234 841924585 329099215 1805270759 1805802526 1290138963 1765732304 4142593665 3240499865 3589347351 1622572452 2332077580 664399896 1571934762 3851727526 4127929962 2403655462 209033664 2426996605 2294646465 57656795 4165596300 3851734923 3590835971 3760610817 4132622883 3056236237 2703127401 3344499179 1920956416 947538387 2330998464 311823987 3605443191 989275884 1741149091 421851308 2347361712 1112235007 2667679566 3618276403 1037177578 3037071663 377997422 374403840 622258067 1908943836 1055161655 1895820408 2678912739 1562660191 527550499 3899913181 1421340472 4162735433 1720313905 4038373997 157311024 2352759234 1064980884 2893710315 219295992 3243750149 1523470812 2354983069 2727249779 2795806707 1599612114 653419316 2709915237 3559601516 3619408508 3523856797 1256207791 2369229925 683839455 1551352054 3839763569 2080159509 1248799146 2744620354 2536823159 2824949301 2070841216 2163024012 3035014877 767876719 2020584295 568080989 2915173856 3454137701 3921637097 967534611 1766193392 427857453 1435324184 3239244810 124950928 1895586935 3142145208 1080151255 4204080677 2469324876 1078787262 76331318 2794701442 3880481873 1706878515 3470715426 1782119358 3421848078 1459082258 404449991 801453531 853127145 2873600598 1498116716 275449156 3809721198 2683501920 1151250506 2179399116 91398594 3246356284 3612448144 225119850 1497030860 1185833795 1410742117 3335318570 4123323799 1773988163 2971359223 808481390 2697473273 227769266 1349541620 173410338 1580753742 2137984244 1584588199 918931193 824351066 2787567716 460828331 666073694 729215083 311386644 439525561 3627439924 3528846389 519851431 710653831 703796610 973562310 1031284985 2907237122 1839299550 3365244506 517213362 3703400969 3218642901 2802293229 880455707 573049276 35705251 3708929855 1354582515 1390640164 1884136220 4071710630 3399132172 2975040742 4175034097 66646169 1397408334 3170167524 136848011 3286423357 3620416803 81204127 1475694401 3363058158 1196671493 1593479580 698859233 3675430103 3206531744 2107961432 2941461248 1114576181 1256426031 616533239 19084297 2253201626 436218308 1683858511 2079067947 1861293320 276691530 484809239 128779683 4053757490 2714865161 3198158060 3365528685 2667300319 3000423692 2520617711 1086681676 1753935484 3353472520 637103979 1974034927 1346968283 3412492834 1839714420 400365012 911563058 4066464734 70979912 2409280983 3065099559 1106437683 2241980996 1237121724 3222119150 3629908611 3690347195 3357009127 255 362436" option to reproduce the execution
10.69/10.72	c #vars 55296
10.69/10.72	c #constraints 1282690
36.18/36.21	c Solving starts ...
36.18/36.21	c ============================[ Search Statistics ]============================
36.18/36.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
36.18/36.21	c       |         |          |          |    Limit     GC | Var      | Constra 
36.18/36.21	c =============================================================================
36.18/36.22	c  0.0s |       0 |        0 |        0 |   446671      0 |        0 |        0
37.19/37.28	c  1.1s |       1 |      158 |      100 |   446671      0 |        0 |        0
40.48/40.57	c  4.4s |       2 |     8170 |      250 |   491339      0 |        0 |        0
46.28/46.33	c 10.1s |       2 |    31942 |      350 |   540473      0 |        0 |        0
48.28/48.36	c 12.1s |       3 |    37988 |      475 |   540473      0 |        0 |        0
50.48/50.57	c 14.4s |       3 |    38625 |      675 |   594521      0 |        0 |        0
51.68/51.76	c 15.5s |       4 |    38811 |      813 |   594521      0 |        0 |        0
54.48/54.58	c 18.4s |       4 |    49683 |      913 |   653974      0 |        0 |        0
60.89/60.99	c 24.8s |       4 |    70894 |     1313 |   653974      0 |        0 |        0
61.08/61.13	c 24.9s |       5 |    71675 |     1320 |   653974      0 |        0 |        0
64.98/65.00	c 28.8s |       5 |    97645 |     1420 |   719372      0 |        0 |        0
68.98/69.07	c 32.9s |       5 |   127482 |     1520 |   719372      0 |        0 |        0
72.08/72.18	c 36.0s |       5 |   214735 |     1720 |   719372      0 |        0 |        0
74.68/74.79	c 38.6s |       5 |   314105 |     2020 |   719372      0 |        0 |        0
74.98/75.07	c 38.9s |       6 |   333864 |     2081 |   791310      0 |        0 |        0
77.18/77.28	c 41.1s |       6 |   365365 |     2381 |   791310      0 |        0 |        0
79.49/79.53	c 43.3s |       6 |   366086 |     2981 |   791310      0 |        0 |        0
85.58/85.65	c 49.4s |       6 |   410166 |     3181 |   791310      0 |        0 |        0
90.48/90.54	c 54.3s |       7 |   448382 |     3223 |   870442      0 |        0 |        0
95.98/96.07	c 59.9s |       7 |   480720 |     3323 |   870442      0 |        0 |        0
99.08/99.12	c 62.9s |       7 |   496299 |     3423 |   870442      0 |        0 |        0
101.27/101.34	c 65.1s |       7 |   497023 |     3823 |   870442      0 |        0 |        0
104.78/104.90	c 68.7s |       7 |   534213 |     4023 |   870442      0 |        0 |        0
119.57/119.66	c 83.4s |       7 |   655459 |     4123 |   870442      0 |        0 |        0
129.67/129.74	c 93.5s |       7 |   757599 |     4223 |   870442      0 |        0 |        0
132.77/132.86	c 96.6s |       7 |   776455 |     4723 |   870442      0 |        0 |        0
139.16/139.24	c  103s |       7 |   823397 |     4823 |   870442      0 |        0 |        0
145.16/145.24	c  109s |       7 |   861277 |     4923 |   957487      0 |        0 |        0
145.86/145.94	c  109s |       8 |   865486 |     4936 |   957487      0 |        0 |        0
150.76/150.82	c  114s |       8 |   887444 |     5036 |   957487      0 |        0 |        0
155.96/156.00	c  119s |       8 |   925040 |     5136 |   957487      0 |        0 |        0
158.67/158.73	c  122s |       8 |   947294 |     5236 |   957487      0 |        0 |        0
161.66/161.73	c  125s |       8 |   969058 |     5336 |   957487      0 |        0 |        0
163.76/163.87	c  127s |       8 |   984882 |     5436 |   957487      0 |        0 |        0
168.76/168.82	c  132s |       8 |  1013314 |     5536 |   957487      0 |        0 |        0
176.46/176.56	c  140s |       8 |  1064347 |     5636 |   957487      0 |        0 |        0
178.76/178.89	c  142s |       8 |  1174463 |     6036 |   957487      0 |        0 |        0
180.96/181.02	c  144s |       8 |  1229390 |     6336 |   957487      0 |        0 |        0
182.96/183.04	c  146s |       8 |  1300736 |     6936 |   957487      0 |        0 |        0
184.96/185.05	c  148s |       8 |  1316329 |     7036 |   957487      0 |        0 |        0
187.36/187.47	c  151s |       8 |  1329301 |     7136 |   957487      0 |        0 |        0
189.36/189.49	c  153s |       9 |  1378656 |     7506 |  1053236      0 |        0 |        0
193.06/193.16	c  156s |       9 |  1399526 |     7706 |  1053236      0 |        0 |        0
195.16/195.28	c  159s |       9 |  1405271 |     8006 |  1053236      0 |        0 |        0
197.36/197.47	c  161s |       9 |  1405865 |     8506 |  1053236      0 |        0 |        0
199.76/199.80	c  163s |       9 |  1407080 |     9106 |  1053236      0 |        0 |        0
201.76/201.84	c  165s |       9 |  1418978 |     9406 |  1053236      0 |        0 |        0
211.66/211.78	c  175s |       9 |  1492154 |     9706 |  1053236      0 |        0 |        0
213.76/213.87	c  177s |       9 |  1505992 |     9906 |  1053236      0 |        0 |        0
215.96/216.08	c  179s |       9 |  1506647 |    10506 |  1053236      0 |        0 |        0
218.36/218.48	c  182s |       9 |  1507350 |    11106 |  1053236      0 |        0 |        0
219.35/219.46	c  183s |      10 |  1507614 |    11361 |  1158560      0 |        0 |        0
221.75/221.80	c  185s |      10 |  1520184 |    11661 |  1158560      0 |        0 |        0
224.05/224.16	c  187s |      10 |  1520787 |    12161 |  1158560      0 |        0 |        0
226.25/226.34	c  190s |      10 |  1527811 |    12461 |  1158560      0 |        0 |        0
231.85/231.95	c  195s |      10 |  1572659 |    12561 |  1158560      0 |        0 |        0
236.45/236.57	c  200s |      10 |  1633087 |    12761 |  1158560      0 |        0 |        0
238.96/239.00	c  202s |      10 |  1633832 |    13161 |  1158560      0 |        0 |        0
241.26/241.39	c  205s |      10 |  1634439 |    13561 |  1158560      0 |        0 |        0
243.36/243.48	c  207s |      10 |  1634890 |    13961 |  1158560      0 |        0 |        0
245.66/245.77	c  209s |      10 |  1635736 |    14461 |  1158560      0 |        0 |        0
247.95/248.02	c  211s |      10 |  1636183 |    14861 |  1158560      0 |        0 |        0
251.65/251.71	c  215s |      10 |  1650039 |    15261 |  1158560      0 |        0 |        0
254.65/254.74	c  218s |      10 |  1683650 |    15461 |  1158560      0 |        0 |        0
257.76/257.83	c  221s |      10 |  1698557 |    15561 |  1158560      0 |        0 |        0
262.45/262.53	c  226s |      10 |  1743663 |    15761 |  1158560      0 |        0 |        0
269.35/269.49	c  233s |      10 |  1800415 |    15961 |  1158560      0 |        0 |        0
272.15/272.23	c  236s |      10 |  1818779 |    16061 |  1158560      0 |        0 |        0
275.15/275.23	c  239s |      10 |  1844103 |    16161 |  1158560      0 |        0 |        0
277.75/277.84	c  241s |      10 |  1899731 |    16461 |  1158560      0 |        0 |        0
279.95/280.01	c  243s |      10 |  1963838 |    16761 |  1158560      0 |        0 |        0
281.65/281.76	c  245s |      11 |  2062486 |    17144 |  1274416      0 |        0 |        0
283.84/283.94	c  247s |      11 |  2129625 |    17644 |  1274416      0 |        0 |        0
286.54/286.61	c  250s |      11 |  2186596 |    18344 |  1274416      0 |        0 |        0
289.05/289.15	c  252s |      11 |  2187345 |    18644 |  1274416      0 |        0 |        0
291.44/291.56	c  255s |      11 |  2187764 |    18944 |  1274416      0 |        0 |        0
293.95/294.06	c  257s |      11 |  2188181 |    19244 |  1274416      0 |        0 |        0
296.34/296.46	c  260s |      11 |  2188609 |    19544 |  1274416      0 |        0 |        0
298.84/298.96	c  262s |      11 |  2188979 |    19844 |  1274416      0 |        0 |        0
303.05/303.18	c  266s |      11 |  2189395 |    20144 |  1274416      0 |        0 |        0
305.25/305.39	c  269s |      11 |  2189815 |    20444 |  1274416      0 |        0 |        0
307.55/307.68	c  271s |      11 |  2190221 |    20744 |  1274416      0 |        0 |        0
309.65/309.77	c  273s |      11 |  2190588 |    21044 |  1274416      0 |        0 |        0
311.84/311.98	c  275s |      11 |  2191078 |    21444 |  1274416      0 |        0 |        0
314.64/314.74	c  278s |      11 |  2191606 |    21844 |  1274416      0 |        0 |        0
316.64/316.76	c  280s |      11 |  2192082 |    22144 |  1274416      0 |        0 |        0
319.14/319.25	c  283s |      11 |  2192432 |    22444 |  1274416      0 |        0 |        0
321.34/321.50	c  285s |      11 |  2192825 |    22744 |  1274416      0 |        0 |        0
323.75/323.82	c  287s |      11 |  2193210 |    23044 |  1274416      0 |        0 |        0
325.85/325.99	c  289s |      11 |  2193606 |    23344 |  1274416      0 |        0 |        0
328.24/328.31	c  292s |      11 |  2194012 |    23644 |  1274416      0 |        0 |        0
330.74/330.83	c  294s |      11 |  2194494 |    24044 |  1274416      0 |        0 |        0
333.14/333.26	c  297s |      11 |  2194984 |    24444 |  1274416      0 |        0 |        0
335.54/335.69	c  299s |      11 |  2195455 |    24844 |  1274416      0 |        0 |        0
338.04/338.12	c  301s |      11 |  2195906 |    25244 |  1274416      0 |        0 |        0
340.14/340.28	c  304s |      11 |  2196419 |    25644 |  1274416      0 |        0 |        0
341.24/341.34	c  305s |      12 |  2196634 |    25819 |  1401858      0 |        0 |        0
345.13/345.27	c  309s |      12 |  2214836 |    25919 |  1401858      0 |        0 |        0
347.63/347.72	c  311s |      12 |  2220068 |    26219 |  1401858      0 |        0 |        0
350.33/350.49	c  314s |      12 |  2255078 |    26419 |  1401858      0 |        0 |        0
352.43/352.57	c  316s |      12 |  2279299 |    26519 |  1401858      0 |        0 |        0
356.03/356.18	c  319s |      12 |  2301128 |    26719 |  1401858      0 |        0 |        0
358.43/358.58	c  322s |      12 |  2301831 |    27219 |  1401858      0 |        0 |        0
361.23/361.36	c  325s |      12 |  2308231 |    27619 |  1401858      0 |        0 |        0
363.34/363.45	c  327s |      12 |  2308740 |    28019 |  1401858      0 |        0 |        0
365.83/365.97	c  329s |      12 |  2309205 |    28419 |  1401858      0 |        0 |        0
368.33/368.40	c  332s |      12 |  2309655 |    28819 |  1401858      0 |        0 |        0
370.33/370.49	c  334s |      12 |  2310007 |    29119 |  1401858      0 |        0 |        0
372.73/372.86	c  336s |      12 |  2310305 |    29419 |  1401858      0 |        0 |        0
375.23/375.39	c  339s |      12 |  2310670 |    29719 |  1401858      0 |        0 |        0
377.83/377.95	c  341s |      12 |  2311003 |    30019 |  1401858      0 |        0 |        0
381.73/381.89	c  345s |      12 |  2329625 |    30319 |  1401858      0 |        0 |        0
383.93/384.06	c  347s |      12 |  2330084 |    30619 |  1401858      0 |        0 |        0
386.23/386.32	c  350s |      12 |  2330597 |    31019 |  1401858      0 |        0 |        0
388.43/388.53	c  352s |      12 |  2331074 |    31419 |  1401858      0 |        0 |        0
390.63/390.72	c  354s |      12 |  2331608 |    31819 |  1401858      0 |        0 |        0
392.63/392.74	c  356s |      12 |  2331701 |    31919 |  1401858      0 |        0 |        0
394.63/394.78	c  358s |      12 |  2332195 |    32319 |  1401858      0 |        0 |        0
397.13/397.24	c  361s |      12 |  2332789 |    32819 |  1401858      0 |        0 |        0
399.54/399.67	c  363s |      12 |  2333387 |    33319 |  1401858      0 |        0 |        0
401.93/402.09	c  365s |      12 |  2334005 |    33819 |  1401858      0 |        0 |        0
406.33/406.40	c  370s |      12 |  2364215 |    34219 |  1401858      0 |        0 |        0
409.63/409.79	c  373s |      12 |  2391876 |    34319 |  1401858      0 |        0 |        0
412.53/412.61	c  376s |      12 |  2460788 |    34719 |  1401858      0 |        0 |        0
416.23/416.38	c  380s |      12 |  2491798 |    34919 |  1401858      0 |        0 |        0
419.34/419.42	c  383s |      12 |  2493532 |    35319 |  1401858      0 |        0 |        0
422.43/422.53	c  386s |      12 |  2505249 |    35519 |  1401858      0 |        0 |        0
425.53/425.63	c  389s |      12 |  2529578 |    35619 |  1401858      0 |        0 |        0
428.33/428.40	c  392s |      12 |  2546598 |    35719 |  1401858      0 |        0 |        0
430.23/430.40	c  394s |      12 |  2563669 |    35819 |  1401858      0 |        0 |        0
432.53/432.64	c  396s |      12 |  2605824 |    36019 |  1401858      0 |        0 |        0
434.63/434.78	c  398s |      12 |  2625326 |    36319 |  1401858      0 |        0 |        0
436.73/436.80	c  400s |      12 |  2625703 |    36619 |  1401858      0 |        0 |        0
439.23/439.32	c  403s |      12 |  2626173 |    37019 |  1401858      0 |        0 |        0
441.33/441.41	c  405s |      12 |  2626527 |    37319 |  1401858      0 |        0 |        0
443.82/443.98	c  407s |      12 |  2627074 |    37719 |  1401858      0 |        0 |        0
446.22/446.30	c  410s |      12 |  2627528 |    38119 |  1401858      0 |        0 |        0
448.52/448.67	c  412s |      12 |  2628177 |    38619 |  1542044      0 |        0 |        0
449.62/449.73	c  413s |      13 |  2628539 |    38832 |  1542044      0 |        0 |        0
451.62/451.74	c  415s |      13 |  2651860 |    38932 |  1542044      0 |        0 |        0
453.92/454.04	c  417s |      13 |  2652213 |    39232 |  1542044      0 |        0 |        0
456.32/456.49	c  420s |      13 |  2652578 |    39532 |  1542044      0 |        0 |        0
459.32/459.40	c  423s |      13 |  2652922 |    39832 |  1542044      0 |        0 |        0
461.92/462.09	c  425s |      13 |  2653256 |    40132 |  1542044      0 |        0 |        0
464.32/464.45	c  428s |      13 |  2658121 |    40432 |  1542044      0 |        0 |        0
467.22/467.31	c  431s |      13 |  2683769 |    40532 |  1542044      0 |        0 |        0
470.52/470.67	c  434s |      13 |  2701449 |    40632 |  1542044      0 |        0 |        0
475.31/475.43	c  439s |      13 |  2720907 |    40732 |  1542044      0 |        0 |        0
478.41/478.56	c  442s |      13 |  2754046 |    40932 |  1542044      0 |        0 |        0
481.71/481.88	c  445s |      13 |  2771316 |    41032 |  1542044      0 |        0 |        0
484.41/484.53	c  448s |      13 |  2775388 |    41232 |  1542044      0 |        0 |        0
487.01/487.13	c  450s |      13 |  2775798 |    41532 |  1542044      0 |        0 |        0
489.31/489.48	c  453s |      13 |  2776134 |    41832 |  1542044      0 |        0 |        0
491.51/491.60	c  455s |      13 |  2776494 |    42132 |  1542044      0 |        0 |        0
493.91/494.02	c  457s |      13 |  2776832 |    42432 |  1542044      0 |        0 |        0
496.32/496.44	c  460s |      13 |  2777185 |    42732 |  1542044      0 |        0 |        0
498.52/498.69	c  462s |      13 |  2777539 |    43032 |  1542044      0 |        0 |        0
502.01/502.15	c  465s |      13 |  2826054 |    43332 |  1542044      0 |        0 |        0
505.12/505.29	c  469s |      13 |  2909988 |    43832 |  1542044      0 |        0 |        0
508.21/508.35	c  472s |      13 |  2924769 |    43932 |  1542044      0 |        0 |        0
513.01/513.16	c  476s |      13 |  2968767 |    44032 |  1542044      0 |        0 |        0
518.42/518.60	c  482s |      13 |  3033473 |    44132 |  1542044      0 |        0 |        0
521.61/521.77	c  485s |      13 |  3087510 |    44432 |  1542044      0 |        0 |        0
525.11/525.23	c  489s |      13 |  3099256 |    44532 |  1542044      0 |        0 |        0
527.91/528.04	c  491s |      13 |  3171004 |    44732 |  1542044      0 |        0 |        0
530.31/530.49	c  494s |      13 |  3234603 |    44932 |  1542044      0 |        0 |        0
532.51/532.63	c  496s |      13 |  3371045 |    45532 |  1542044      0 |        0 |        0
535.00/535.10	c  498s |      13 |  3409967 |    45932 |  1542044      0 |        0 |        0
539.22/539.38	c  503s |      13 |  3435622 |    46132 |  1542044      0 |        0 |        0
541.80/541.95	c  505s |      13 |  3496891 |    46732 |  1542044      0 |        0 |        0
546.61/546.71	c  510s |      13 |  3530156 |    46932 |  1542044      0 |        0 |        0
560.31/560.46	c  524s |      13 |  3642853 |    47032 |  1542044      0 |        0 |        0
574.41/574.53	c  538s |      13 |  3786647 |    47132 |  1542044      0 |        0 |        0
577.50/577.60	c  541s |      13 |  3801175 |    47232 |  1542044      0 |        0 |        0
580.40/580.54	c  544s |      13 |  3846511 |    47432 |  1542044      0 |        0 |        0
582.80/582.92	c  546s |      13 |  3897114 |    47632 |  1542044      0 |        0 |        0
584.90/585.04	c  548s |      13 |  3969753 |    47932 |  1542044      0 |        0 |        0
587.80/587.96	c  551s |      13 |  4055185 |    48632 |  1542044      0 |        0 |        0
590.00/590.11	c  553s |      13 |  4103232 |    48832 |  1542044      0 |        0 |        0
592.01/592.20	c  555s |      13 |  4146035 |    49032 |  1542044      0 |        0 |        0
596.90/597.01	c  560s |      13 |  4187923 |    49232 |  1542044      0 |        0 |        0
600.10/600.20	c  563s |      13 |  4214485 |    49432 |  1542044      0 |        0 |        0
605.50/605.69	c  569s |      13 |  4251618 |    49532 |  1542044      0 |        0 |        0
607.90/608.09	c  571s |      13 |  4315599 |    50132 |  1542044      0 |        0 |        0
610.40/610.52	c  574s |      13 |  4344433 |    50432 |  1542044      0 |        0 |        0
621.09/621.23	c  585s |      13 |  4413759 |    50532 |  1542044      0 |        0 |        0
623.10/623.29	c  587s |      13 |  4418784 |    50732 |  1542044      0 |        0 |        0
625.19/625.32	c  589s |      13 |  4419213 |    50932 |  1542044      0 |        0 |        0
627.60/627.72	c  591s |      13 |  4434525 |    51132 |  1542044      0 |        0 |        0
630.30/630.44	c  594s |      13 |  4445647 |    51332 |  1542044      0 |        0 |        0
632.49/632.61	c  596s |      13 |  4445873 |    51432 |  1542044      0 |        0 |        0
635.59/635.78	c  599s |      13 |  4462173 |    51632 |  1542044      0 |        0 |        0
638.09/638.30	c  602s |      13 |  4469424 |    51932 |  1542044      0 |        0 |        0
644.80/644.93	c  608s |      13 |  4516912 |    52132 |  1542044      0 |        0 |        0
650.49/650.62	c  614s |      13 |  4560952 |    52432 |  1542044      0 |        0 |        0
652.69/652.85	c  616s |      13 |  4594946 |    52632 |  1542044      0 |        0 |        0
656.39/656.57	c  620s |      13 |  4626409 |    52932 |  1542044      0 |        0 |        0
659.10/659.27	c  623s |      13 |  4662407 |    53132 |  1542044      0 |        0 |        0
661.99/662.12	c  625s |      13 |  4724066 |    53632 |  1542044      0 |        0 |        0
664.29/664.44	c  628s |      13 |  4774171 |    53832 |  1542044      0 |        0 |        0
667.59/667.79	c  631s |      13 |  4790898 |    53932 |  1542044      0 |        0 |        0
669.69/669.86	c  633s |      13 |  4876193 |    54232 |  1542044      0 |        0 |        0
672.19/672.31	c  636s |      13 |  4953477 |    55132 |  1542044      0 |        0 |        0
678.09/678.29	c  642s |      13 |  5000070 |    55332 |  1542044      0 |        0 |        0
680.98/681.17	c  644s |      13 |  5018720 |    55432 |  1542044      0 |        0 |        0
685.59/685.73	c  649s |      13 |  5047221 |    55532 |  1542044      0 |        0 |        0
687.69/687.82	c  651s |      13 |  5064658 |    55732 |  1542044      0 |        0 |        0
690.08/690.20	c  653s |      13 |  5084836 |    55932 |  1542044      0 |        0 |        0
692.79/692.90	c  656s |      13 |  5098196 |    56032 |  1542044      0 |        0 |        0
697.29/697.44	c  661s |      13 |  5115779 |    56232 |  1542044      0 |        0 |        0
700.18/700.38	c  664s |      13 |  5132055 |    56432 |  1542044      0 |        0 |        0
702.98/703.13	c  666s |      13 |  5145181 |    56732 |  1542044      0 |        0 |        0
705.58/705.78	c  669s |      13 |  5152454 |    57132 |  1542044      0 |        0 |        0
707.98/708.12	c  671s |      13 |  5152913 |    57532 |  1542044      0 |        0 |        0
710.18/710.31	c  674s |      13 |  5153359 |    57832 |  1542044      0 |        0 |        0
712.88/713.09	c  676s |      13 |  5153603 |    58032 |  1696249      0 |        0 |        0
715.29/715.47	c  679s |      13 |  5153855 |    58232 |  1696249      0 |        0 |        0
716.88/717.05	c  680s |      14 |  5154019 |    58352 |  1696249      0 |        0 |        0
721.48/721.68	c  685s |      14 |  5177168 |    58452 |  1696249      0 |        0 |        0
724.18/724.39	c  688s |      14 |  5184232 |    58852 |  1696249      0 |        0 |        0
726.48/726.69	c  690s |      14 |  5212199 |    59252 |  1696249      0 |        0 |        0
728.68/728.88	c  692s |      14 |  5222048 |    59452 |  1696249      0 |        0 |        0
731.98/732.12	c  695s |      14 |  5240545 |    59652 |  1696249      0 |        0 |        0
734.68/734.86	c  698s |      14 |  5257252 |    59952 |  1696249      0 |        0 |        0
737.28/737.48	c  701s |      14 |  5257908 |    60252 |  1696249      0 |        0 |        0
740.18/740.39	c  704s |      14 |  5268091 |    60452 |  1696249      0 |        0 |        0
742.68/742.82	c  706s |      14 |  5268445 |    60752 |  1696249      0 |        0 |        0
745.28/745.41	c  709s |      14 |  5269284 |    61052 |  1696249      0 |        0 |        0
747.67/747.89	c  711s |      14 |  5269747 |    61352 |  1696249      0 |        0 |        0
750.77/750.95	c  714s |      14 |  5270022 |    61552 |  1696249      0 |        0 |        0
752.97/753.17	c  716s |      14 |  5270694 |    61952 |  1696249      0 |        0 |        0
755.07/755.28	c  719s |      14 |  5271401 |    62252 |  1696249      0 |        0 |        0
757.47/757.61	c  721s |      14 |  5272020 |    62652 |  1696249      0 |        0 |        0
759.57/759.71	c  723s |      14 |  5282229 |    62852 |  1696249      0 |        0 |        0
764.07/764.24	c  728s |      14 |  5296652 |    62952 |  1696249      0 |        0 |        0
766.47/766.60	c  730s |      14 |  5298559 |    63252 |  1696249      0 |        0 |        0
768.87/769.06	c  732s |      14 |  5298920 |    63552 |  1696249      0 |        0 |        0
771.37/771.52	c  735s |      14 |  5299305 |    63852 |  1696249      0 |        0 |        0
773.98/774.13	c  737s |      14 |  5299628 |    64152 |  1696249      0 |        0 |        0
776.38/776.55	c  740s |      14 |  5299990 |    64452 |  1696249      0 |        0 |        0
778.58/778.71	c  742s |      14 |  5300330 |    64752 |  1696249      0 |        0 |        0
780.78/780.92	c  744s |      14 |  5300685 |    65052 |  1696249      0 |        0 |        0
782.88/783.04	c  746s |      14 |  5301009 |    65352 |  1696249      0 |        0 |        0
784.87/785.06	c  748s |      14 |  5306991 |    65552 |  1696249      0 |        0 |        0
787.97/788.11	c  751s |      14 |  5380934 |    65852 |  1696249      0 |        0 |        0
790.87/791.03	c  754s |      14 |  5406668 |    65952 |  1696249      0 |        0 |        0
793.17/793.35	c  757s |      14 |  5407231 |    66252 |  1696249      0 |        0 |        0
795.87/796.05	c  759s |      14 |  5407583 |    66552 |  1696249      0 |        0 |        0
798.57/798.79	c  762s |      14 |  5407948 |    66852 |  1696249      0 |        0 |        0
801.57/801.71	c  765s |      14 |  5408294 |    67152 |  1696249      0 |        0 |        0
804.37/804.53	c  768s |      14 |  5408650 |    67452 |  1696249      0 |        0 |        0
807.46/807.61	c  771s |      14 |  5418799 |    67752 |  1696249      0 |        0 |        0
810.16/810.37	c  774s |      14 |  5422482 |    67952 |  1696249      0 |        0 |        0
812.26/812.41	c  776s |      14 |  5423009 |    68152 |  1696249      0 |        0 |        0
814.56/814.77	c  778s |      14 |  5423348 |    68452 |  1696249      0 |        0 |        0
816.76/816.92	c  780s |      14 |  5423685 |    68752 |  1696249      0 |        0 |        0
818.86/819.02	c  782s |      14 |  5424239 |    68952 |  1696249      0 |        0 |        0
821.06/821.21	c  784s |      14 |  5424536 |    69152 |  1696249      0 |        0 |        0
823.75/823.92	c  787s |      14 |  5424801 |    69352 |  1696249      0 |        0 |        0
825.95/826.19	c  789s |      14 |  5425035 |    69452 |  1696249      0 |        0 |        0
828.56/828.75	c  792s |      14 |  5425428 |    69752 |  1696249      0 |        0 |        0
830.85/831.00	c  794s |      14 |  5425691 |    69952 |  1696249      0 |        0 |        0
832.86/833.03	c  796s |      14 |  5426042 |    70152 |  1696249      0 |        0 |        0
835.85/836.03	c  799s |      14 |  5426491 |    70452 |  1696249      0 |        0 |        0
838.65/838.88	c  802s |      14 |  5426945 |    70752 |  1696249      0 |        0 |        0
840.75/840.94	c  804s |      14 |  5427196 |    70952 |  1696249      0 |        0 |        0
843.45/843.63	c  807s |      14 |  5427516 |    71252 |  1696249      0 |        0 |        0
846.55/846.77	c  810s |      14 |  5427858 |    71552 |  1696249      0 |        0 |        0
848.55/848.79	c  812s |      14 |  5428120 |    71752 |  1696249      0 |        0 |        0
851.35/851.55	c  815s |      14 |  5428490 |    72052 |  1696249      0 |        0 |        0
853.45/853.61	c  817s |      14 |  5428738 |    72252 |  1696249      0 |        0 |        0
855.65/855.87	c  819s |      14 |  5428998 |    72452 |  1696249      0 |        0 |        0
858.65/858.85	c  822s |      14 |  5429221 |    72652 |  1696249      0 |        0 |        0
861.15/861.35	c  825s |      14 |  5429677 |    72852 |  1696249      0 |        0 |        0
863.35/863.59	c  827s |      14 |  5429909 |    73052 |  1696249      0 |        0 |        0
865.55/865.77	c  829s |      14 |  5430217 |    73252 |  1696249      0 |        0 |        0
867.85/868.01	c  831s |      14 |  5430523 |    73452 |  1696249      0 |        0 |        0
870.85/871.04	c  834s |      14 |  5430871 |    73752 |  1696249      0 |        0 |        0
872.85/873.09	c  836s |      14 |  5431307 |    73952 |  1696249      0 |        0 |        0
875.95/876.16	c  839s |      14 |  5440391 |    74252 |  1696249      0 |        0 |        0
878.55/878.79	c  842s |      14 |  5450457 |    74452 |  1696249      0 |        0 |        0
882.64/882.86	c  846s |      14 |  5460701 |    74752 |  1696249      0 |        0 |        0
884.74/884.93	c  848s |      14 |  5469593 |    74852 |  1696249      0 |        0 |        0
886.94/887.11	c  850s |      14 |  5469869 |    75052 |  1696249      0 |        0 |        0
889.54/889.79	c  853s |      14 |  5470227 |    75352 |  1696249      0 |        0 |        0
891.64/891.87	c  855s |      14 |  5470473 |    75552 |  1696249      0 |        0 |        0
894.64/894.84	c  858s |      14 |  5470903 |    75852 |  1696249      0 |        0 |        0
897.54/897.71	c  861s |      14 |  5471352 |    76152 |  1696249      0 |        0 |        0
899.54/899.76	c  863s |      14 |  5495869 |    76252 |  1696249      0 |        0 |        0
902.93/903.17	c  866s |      14 |  5501232 |    76452 |  1696249      0 |        0 |        0
906.73/906.96	c  870s |      14 |  5514689 |    76552 |  1696249      0 |        0 |        0
909.94/910.18	c  873s |      14 |  5534542 |    76652 |  1696249      0 |        0 |        0
912.14/912.32	c  876s |      14 |  5577029 |    76752 |  1696249      0 |        0 |        0
917.33/917.57	c  881s |      14 |  5617876 |    76952 |  1696249      0 |        0 |        0
919.74/919.99	c  883s |      14 |  5648408 |    77052 |  1696249      0 |        0 |        0
923.04/923.25	c  887s |      14 |  5725914 |    77352 |  1696249      0 |        0 |        0
926.03/926.25	c  890s |      14 |  5831214 |    77952 |  1696249      0 |        0 |        0
928.92/929.18	c  892s |      14 |  5831593 |    78252 |  1696249      0 |        0 |        0
930.92/931.20	c  894s |      14 |  5831811 |    78452 |  1696249      0 |        0 |        0
933.63/933.85	c  897s |      14 |  5832143 |    78752 |  1696249      0 |        0 |        0
936.82/937.02	c  900s |      14 |  5842601 |    78852 |  1696249      0 |        0 |        0
941.73/941.98	c  905s |      14 |  5870940 |    78952 |  1696249      0 |        0 |        0
945.92/946.15	c  909s |      14 |  5896361 |    79052 |  1696249      0 |        0 |        0
950.02/950.26	c  914s |      14 |  5945130 |    79252 |  1696249      0 |        0 |        0
952.02/952.28	c  916s |      14 |  5959694 |    79352 |  1696249      0 |        0 |        0
954.82/955.08	c  918s |      14 |  6010961 |    79652 |  1696249      0 |        0 |        0
958.62/958.83	c  922s |      14 |  6054868 |    79852 |  1696249      0 |        0 |        0
961.22/961.41	c  925s |      14 |  6055211 |    80152 |  1696249      0 |        0 |        0
963.72/963.95	c  927s |      14 |  6055567 |    80452 |  1696249      0 |        0 |        0
966.12/966.39	c  930s |      14 |  6055900 |    80752 |  1696249      0 |        0 |        0
969.23/969.45	c  933s |      14 |  6056266 |    81052 |  1696249      0 |        0 |        0
971.42/971.61	c  935s |      14 |  6056503 |    81252 |  1696249      0 |        0 |        0
974.51/974.79	c  938s |      14 |  6056888 |    81552 |  1696249      0 |        0 |        0
976.62/976.85	c  940s |      14 |  6057131 |    81752 |  1696249      0 |        0 |        0
979.52/979.79	c  943s |      14 |  6057489 |    82052 |  1696249      0 |        0 |        0
981.71/981.91	c  945s |      14 |  6057721 |    82252 |  1696249      0 |        0 |        0
984.01/984.22	c  948s |      14 |  6057964 |    82452 |  1696249      0 |        0 |        0
986.31/986.53	c  950s |      14 |  6058187 |    82652 |  1696249      0 |        0 |        0
988.91/989.18	c  952s |      14 |  6058324 |    82752 |  1696249      0 |        0 |        0
991.01/991.26	c  955s |      14 |  6058555 |    82952 |  1696249      0 |        0 |        0
993.11/993.31	c  957s |      14 |  6058789 |    83152 |  1696249      0 |        0 |        0
995.11/995.39	c  959s |      14 |  6059016 |    83352 |  1696249      0 |        0 |        0
998.01/998.27	c  962s |      14 |  6059365 |    83652 |  1696249      0 |        0 |        0
1000.81/1001.04	c  964s |      14 |  6059720 |    83952 |  1696249      0 |        0 |        0
1003.01/1003.29	c  967s |      14 |  6060070 |    84252 |  1696249      0 |        0 |        0
1005.62/1005.82	c  969s |      14 |  6060434 |    84552 |  1696249      0 |        0 |        0
1008.31/1008.53	c  972s |      14 |  6060773 |    84852 |  1696249      0 |        0 |        0
1010.31/1010.58	c  974s |      14 |  6061007 |    85052 |  1696249      0 |        0 |        0
1012.91/1013.11	c  976s |      14 |  6061350 |    85352 |  1696249      0 |        0 |        0
1015.90/1016.12	c  979s |      14 |  6061682 |    85652 |  1696249      0 |        0 |        0
1017.90/1018.19	c  981s |      14 |  6061906 |    85852 |  1696249      0 |        0 |        0
1020.21/1020.40	c  984s |      14 |  6062120 |    86052 |  1696249      0 |        0 |        0
1022.41/1022.60	c  986s |      14 |  6062343 |    86252 |  1696249      0 |        0 |        0
1024.51/1024.77	c  988s |      14 |  6062557 |    86452 |  1696249      0 |        0 |        0
1026.90/1027.13	c  990s |      14 |  6062808 |    86652 |  1696249      0 |        0 |        0
1029.41/1029.67	c  993s |      14 |  6063022 |    86852 |  1696249      0 |        0 |        0
1031.50/1031.75	c  995s |      14 |  6063270 |    87052 |  1865874      0 |        0 |        0
1034.21/1034.48	c  998s |      14 |  6063614 |    87352 |  1865874      0 |        0 |        0
1037.30/1037.54	c 1001s |      14 |  6063867 |    87552 |  1865874      0 |        0 |        0
1038.00/1038.22	c 1002s |      15 |  6063965 |    87632 |  1865874      0 |        0 |        0
1040.40/1040.64	c 1004s |      15 |  6064424 |    87732 |  1865874      0 |        0 |        0
1043.10/1043.31	c 1007s |      15 |  6064807 |    88032 |  1865874      0 |        0 |        0
1047.00/1047.21	c 1010s |      15 |  6098155 |    88232 |  1865874      0 |        0 |        0
1050.00/1050.27	c 1014s |      15 |  6158535 |    88532 |  1865874      0 |        0 |        0
1053.30/1053.50	c 1017s |      15 |  6206721 |    89132 |  1865874      0 |        0 |        0
1055.30/1055.56	c 1019s |      15 |  6207068 |    89332 |  1865874      0 |        0 |        0
1057.80/1058.03	c 1021s |      15 |  6207343 |    89532 |  1865874      0 |        0 |        0
1060.40/1060.62	c 1024s |      15 |  6207589 |    89732 |  1865874      0 |        0 |        0
1062.59/1062.80	c 1026s |      15 |  6207995 |    89932 |  1865874      0 |        0 |        0
1064.69/1064.98	c 1028s |      15 |  6208219 |    90132 |  1865874      0 |        0 |        0
1067.11/1067.34	c 1031s |      15 |  6208535 |    90332 |  1865874      0 |        0 |        0
1069.40/1069.64	c 1033s |      15 |  6208822 |    90532 |  1865874      0 |        0 |        0
1071.50/1071.71	c 1035s |      15 |  6209139 |    90732 |  1865874      0 |        0 |        0
1074.99/1075.26	c 1039s |      15 |  6209399 |    90932 |  1865874      0 |        0 |        0
1077.49/1077.72	c 1041s |      15 |  6209746 |    91232 |  1865874      0 |        0 |        0
1080.19/1080.43	c 1044s |      15 |  6210088 |    91532 |  1865874      0 |        0 |        0
1082.39/1082.69	c 1046s |      15 |  6210407 |    91832 |  1865874      0 |        0 |        0
1085.09/1085.35	c 1049s |      15 |  6210757 |    92132 |  1865874      0 |        0 |        0
1087.69/1087.91	c 1051s |      15 |  6211098 |    92432 |  1865874      0 |        0 |        0
1089.89/1090.15	c 1053s |      15 |  6211471 |    92732 |  1865874      0 |        0 |        0
1092.79/1093.05	c 1056s |      15 |  6211829 |    93032 |  1865874      0 |        0 |        0
1095.09/1095.39	c 1059s |      15 |  6212060 |    93232 |  1865874      0 |        0 |        0
1097.59/1097.85	c 1061s |      15 |  6212287 |    93432 |  1865874      0 |        0 |        0
1099.98/1100.21	c 1064s |      15 |  6212499 |    93632 |  1865874      0 |        0 |        0
1102.48/1102.78	c 1066s |      15 |  6212738 |    93832 |  1865874      0 |        0 |        0
1104.88/1105.12	c 1068s |      15 |  6212961 |    94032 |  1865874      0 |        0 |        0
1107.38/1107.65	c 1071s |      15 |  6213165 |    94232 |  1865874      0 |        0 |        0
1109.88/1110.16	c 1073s |      15 |  6213393 |    94432 |  1865874      0 |        0 |        0
1111.88/1112.19	c 1075s |      15 |  6213618 |    94632 |  1865874      0 |        0 |        0
1114.87/1115.16	c 1078s |      15 |  6213929 |    94932 |  1865874      0 |        0 |        0
1117.98/1118.25	c 1082s |      15 |  6214149 |    95132 |  1865874      0 |        0 |        0
1120.68/1120.91	c 1084s |      15 |  6214476 |    95432 |  1865874      0 |        0 |        0
1123.88/1124.17	c 1087s |      15 |  6241596 |    95732 |  1865874      0 |        0 |        0
1126.87/1127.16	c 1090s |      15 |  6261310 |    96032 |  1865874      0 |        0 |        0
1129.27/1129.52	c 1093s |      15 |  6261651 |    96332 |  1865874      0 |        0 |        0
1132.87/1133.12	c 1096s |      15 |  6298883 |    96532 |  1865874      0 |        0 |        0
1136.06/1136.30	c 1100s |      15 |  6329548 |    96632 |  1865874      0 |        0 |        0
1138.47/1138.80	c 1102s |      15 |  6346642 |    96732 |  1865874      0 |        0 |        0
1143.17/1143.49	c 1107s |      15 |  6362933 |    96832 |  1865874      0 |        0 |        0
1145.37/1145.69	c 1109s |      15 |  6425966 |    97032 |  1865874      0 |        0 |        0
1148.66/1148.91	c 1112s |      15 |  6447829 |    97132 |  1865874      0 |        0 |        0
1150.86/1151.10	c 1114s |      15 |  6458817 |    97232 |  1865874      0 |        0 |        0
1161.57/1161.82	c 1125s |      15 |  6538219 |    97332 |  1865874      0 |        0 |        0
1165.46/1165.79	c 1129s |      15 |  6579597 |    97532 |  1865874      0 |        0 |        0
1167.56/1167.86	c 1131s |      15 |  6606376 |    97832 |  1865874      0 |        0 |        0
1171.86/1172.10	c 1135s |      15 |  6667186 |    98132 |  1865874      0 |        0 |        0
1174.06/1174.32	c 1138s |      15 |  6715490 |    98432 |  1865874      0 |        0 |        0
1176.26/1176.52	c 1140s |      15 |  6749774 |    98832 |  1865874      0 |        0 |        0
1179.56/1179.83	c 1143s |      15 |  6785756 |    99132 |  1865874      0 |        0 |        0
1183.06/1183.39	c 1147s |      15 |  6819886 |    99432 |  1865874      0 |        0 |        0
1185.26/1185.59	c 1149s |      15 |  6828513 |    99532 |  1865874      0 |        0 |        0
1188.26/1188.58	c 1152s |      15 |  6855256 |    99832 |  1865874      0 |        0 |        0
1190.96/1191.22	c 1155s |      15 |  6875813 |    99932 |  1865874      0 |        0 |        0
1193.46/1193.75	c 1157s |      15 |  6897835 |   100032 |  1865874      0 |        0 |        0
1197.26/1197.51	c 1161s |      15 |  6968632 |   100332 |  1865874      0 |        0 |        0
1199.55/1199.86	c 1163s |      15 |  6998275 |   100632 |  1865874      0 |        0 |        0
1202.16/1202.44	c 1166s |      15 |  7033799 |   100932 |  1865874      0 |        0 |        0
1204.26/1204.59	c 1168s |      15 |  7067776 |   101132 |  1865874      0 |        0 |        0
1207.15/1207.47	c 1171s |      15 |  7086521 |   101232 |  1865874      0 |        0 |        0
1209.66/1209.91	c 1173s |      15 |  7100368 |   101632 |  1865874      0 |        0 |        0
1212.75/1213.04	c 1176s |      15 |  7102553 |   101932 |  1865874      0 |        0 |        0
1219.35/1219.68	c 1183s |      15 |  7141923 |   102132 |  1865874      0 |        0 |        0
1222.05/1222.36	c 1186s |      15 |  7177685 |   102232 |  1865874      0 |        0 |        0
1225.95/1226.25	c 1190s |      15 |  7191209 |   102432 |  1865874      0 |        0 |        0
1228.35/1228.69	c 1192s |      15 |  7194944 |   102632 |  1865874      0 |        0 |        0
1230.65/1230.97	c 1194s |      15 |  7195543 |   102832 |  1865874      0 |        0 |        0
1233.26/1233.52	c 1197s |      15 |  7203134 |   103032 |  1865874      0 |        0 |        0
1237.24/1237.52	c 1201s |      15 |  7240617 |   103232 |  1865874      0 |        0 |        0
1239.86/1240.17	c 1203s |      15 |  7282361 |   103632 |  1865874      0 |        0 |        0
1242.44/1242.72	c 1206s |      15 |  7292321 |   103832 |  1865874      0 |        0 |        0
1245.14/1245.42	c 1209s |      15 |  7298631 |   104032 |  1865874      0 |        0 |        0
1247.45/1247.79	c 1211s |      15 |  7298869 |   104232 |  1865874      0 |        0 |        0
1250.04/1250.33	c 1214s |      15 |  7298980 |   104332 |  1865874      0 |        0 |        0
1253.54/1253.83	c 1217s |      15 |  7307981 |   104632 |  1865874      0 |        0 |        0
1255.64/1255.96	c 1219s |      15 |  7315478 |   104832 |  1865874      0 |        0 |        0
1258.24/1258.55	c 1222s |      15 |  7323212 |   105132 |  1865874      0 |        0 |        0
1261.34/1261.60	c 1225s |      15 |  7368594 |   105432 |  1865874      0 |        0 |        0
1264.04/1264.35	c 1228s |      15 |  7387604 |   105732 |  1865874      0 |        0 |        0
1266.34/1266.64	c 1230s |      15 |  7403559 |   105932 |  1865874      0 |        0 |        0
1270.14/1270.43	c 1234s |      15 |  7476358 |   106332 |  1865874      0 |        0 |        0
1272.75/1273.04	c 1236s |      15 |  7487533 |   106432 |  1865874      0 |        0 |        0
1276.04/1276.31	c 1240s |      15 |  7497371 |   106632 |  1865874      0 |        0 |        0
1278.13/1278.50	c 1242s |      15 |  7501748 |   106832 |  1865874      0 |        0 |        0
1281.93/1282.20	c 1245s |      15 |  7516908 |   107032 |  1865874      0 |        0 |        0
1284.23/1284.55	c 1248s |      15 |  7528974 |   107232 |  1865874      0 |        0 |        0
1286.43/1286.71	c 1250s |      15 |  7587379 |   107832 |  1865874      0 |        0 |        0
1288.53/1288.86	c 1252s |      15 |  7603639 |   108132 |  1865874      0 |        0 |        0
1290.63/1290.95	c 1254s |      15 |  7613050 |   108332 |  1865874      0 |        0 |        0
1292.74/1293.00	c 1256s |      15 |  7613429 |   108532 |  1865874      0 |        0 |        0
1294.74/1295.08	c 1258s |      15 |  7613839 |   108732 |  1865874      0 |        0 |        0
1297.83/1298.10	c 1261s |      15 |  7649590 |   109032 |  1865874      0 |        0 |        0
1300.43/1300.71	c 1264s |      15 |  7686127 |   109232 |  1865874      0 |        0 |        0
1303.23/1303.57	c 1267s |      15 |  7713018 |   109432 |  1865874      0 |        0 |        0
1305.53/1305.87	c 1269s |      15 |  7734604 |   109632 |  1865874      0 |        0 |        0
1309.03/1309.35	c 1273s |      15 |  7752837 |   109732 |  1865874      0 |        0 |        0
1312.33/1312.64	c 1276s |      15 |  7770344 |   109832 |  1865874      0 |        0 |        0
1315.13/1315.42	c 1279s |      15 |  7803921 |   110032 |  1865874      0 |        0 |        0
1317.33/1317.67	c 1281s |      15 |  7833867 |   110232 |  1865874      0 |        0 |        0
1321.23/1321.54	c 1285s |      15 |  7849129 |   110532 |  1865874      0 |        0 |        0
1324.22/1324.55	c 1288s |      15 |  7851631 |   110732 |  1865874      0 |        0 |        0
1326.82/1327.13	c 1290s |      15 |  7860747 |   110932 |  1865874      0 |        0 |        0
1329.12/1329.40	c 1293s |      15 |  7892229 |   111232 |  1865874      0 |        0 |        0
1332.32/1332.67	c 1296s |      15 |  7904163 |   111532 |  1865874      0 |        0 |        0
1335.12/1335.49	c 1299s |      15 |  7914198 |   111632 |  1865874      0 |        0 |        0
1337.52/1337.86	c 1301s |      15 |  7926704 |   111832 |  1865874      0 |        0 |        0
1339.62/1339.98	c 1303s |      15 |  7951927 |   112232 |  1865874      0 |        0 |        0
1343.71/1344.05	c 1307s |      15 |  7963183 |   112432 |  1865874      0 |        0 |        0
1345.71/1346.06	c 1309s |      15 |  7976423 |   112532 |  1865874      0 |        0 |        0
1349.72/1350.06	c 1313s |      15 |  8000345 |   112732 |  1865874      0 |        0 |        0
1352.91/1353.21	c 1317s |      15 |  8014081 |   112932 |  1865874      0 |        0 |        0
1355.82/1356.17	c 1319s |      15 |  8026308 |   113132 |  1865874      0 |        0 |        0
1359.11/1359.40	c 1323s |      15 |  8083729 |   113432 |  1865874      0 |        0 |        0
1361.52/1361.82	c 1325s |      15 |  8093128 |   113632 |  1865874      0 |        0 |        0
1364.31/1364.65	c 1328s |      15 |  8124100 |   113832 |  1865874      0 |        0 |        0
1367.11/1367.40	c 1331s |      15 |  8177157 |   114132 |  1865874      0 |        0 |        0
1369.81/1370.11	c 1333s |      15 |  8177424 |   114332 |  1865874      0 |        0 |        0
1372.71/1373.05	c 1336s |      15 |  8177648 |   114532 |  1865874      0 |        0 |        0
1376.61/1376.91	c 1340s |      15 |  8177876 |   114732 |  1865874      0 |        0 |        0
1379.30/1379.67	c 1343s |      15 |  8178086 |   114932 |  1865874      0 |        0 |        0
1382.00/1382.39	c 1346s |      15 |  8178313 |   115132 |  1865874      0 |        0 |        0
1384.11/1384.46	c 1348s |      15 |  8190170 |   115232 |  1865874      0 |        0 |        0
1386.51/1386.83	c 1350s |      15 |  8193475 |   115432 |  1865874      0 |        0 |        0
1389.00/1389.35	c 1353s |      15 |  8226417 |   115632 |  1865874      0 |        0 |        0
1391.41/1391.80	c 1355s |      15 |  8226639 |   115832 |  1865874      0 |        0 |        0
1393.71/1394.03	c 1357s |      15 |  8226882 |   116032 |  1865874      0 |        0 |        0
1396.01/1396.34	c 1360s |      15 |  8227101 |   116232 |  1865874      0 |        0 |        0
1398.11/1398.43	c 1362s |      15 |  8227334 |   116432 |  1865874      0 |        0 |        0
1400.41/1400.79	c 1364s |      15 |  8227611 |   116632 |  1865874      0 |        0 |        0
1403.31/1403.60	c 1367s |      15 |  8227932 |   116932 |  1865874      0 |        0 |        0
1406.81/1407.13	c 1370s |      15 |  8239303 |   117032 |  1865874      0 |        0 |        0
1409.21/1409.53	c 1373s |      15 |  8264896 |   117232 |  1865874      0 |        0 |        0
1411.41/1411.71	c 1375s |      15 |  8265156 |   117432 |  1865874      0 |        0 |        0
1413.51/1413.83	c 1377s |      15 |  8265377 |   117632 |  1865874      0 |        0 |        0
1416.00/1416.32	c 1380s |      15 |  8265689 |   117832 |  1865874      0 |        0 |        0
1419.40/1419.75	c 1383s |      15 |  8277209 |   118032 |  1865874      0 |        0 |        0
1421.80/1422.17	c 1385s |      15 |  8288894 |   118232 |  1865874      0 |        0 |        0
1425.00/1425.37	c 1389s |      15 |  8316042 |   118432 |  1865874      0 |        0 |        0
1427.40/1427.74	c 1391s |      15 |  8331592 |   118532 |  1865874      0 |        0 |        0
1430.30/1430.60	c 1394s |      15 |  8341932 |   118832 |  1865874      0 |        0 |        0
1433.00/1433.33	c 1397s |      15 |  8346155 |   119032 |  1865874      0 |        0 |        0
1435.29/1435.70	c 1399s |      15 |  8346273 |   119132 |  1865874      0 |        0 |        0
1438.19/1438.56	c 1402s |      15 |  8346609 |   119432 |  1865874      0 |        0 |        0
1440.39/1440.71	c 1404s |      15 |  8346842 |   119632 |  1865874      0 |        0 |        0
1442.99/1443.38	c 1407s |      15 |  8347175 |   119932 |  1865874      0 |        0 |        0
1445.10/1445.42	c 1409s |      15 |  8347419 |   120132 |  1865874      0 |        0 |        0
1447.49/1447.87	c 1411s |      15 |  8373847 |   120332 |  1865874      0 |        0 |        0
1449.59/1449.94	c 1413s |      15 |  8406431 |   120532 |  1865874      0 |        0 |        0
1451.69/1452.05	c 1415s |      15 |  8436839 |   120732 |  1865874      0 |        0 |        0
1454.09/1454.40	c 1418s |      15 |  8448296 |   121032 |  1865874      0 |        0 |        0
1456.79/1457.17	c 1420s |      15 |  8448648 |   121332 |  1865874      0 |        0 |        0
1459.29/1459.68	c 1423s |      15 |  8465548 |   121632 |  1865874      0 |        0 |        0
1461.69/1462.00	c 1425s |      15 |  8481693 |   121932 |  1865874      0 |        0 |        0
1465.09/1465.48	c 1429s |      15 |  8521640 |   122232 |  1865874      0 |        0 |        0
1468.09/1468.48	c 1432s |      15 |  8542368 |   122532 |  1865874      0 |        0 |        0
1471.59/1471.90	c 1435s |      15 |  8554158 |   122732 |  1865874      0 |        0 |        0
1473.69/1474.07	c 1437s |      15 |  8563418 |   122932 |  1865874      0 |        0 |        0
1476.59/1476.95	c 1440s |      15 |  8582217 |   123232 |  1865874      0 |        0 |        0
1478.99/1479.35	c 1443s |      15 |  8584701 |   123432 |  1865874      0 |        0 |        0
1481.49/1481.84	c 1445s |      15 |  8622440 |   123632 |  1865874      0 |        0 |        0
1486.79/1487.15	c 1450s |      15 |  8663377 |   123832 |  1865874      0 |        0 |        0
1488.99/1489.39	c 1453s |      15 |  8680731 |   123932 |  1865874      0 |        0 |        0
1491.79/1492.11	c 1455s |      15 |  8693529 |   124032 |  1865874      0 |        0 |        0
1493.98/1494.36	c 1458s |      15 |  8694911 |   124232 |  1865874      0 |        0 |        0
1499.29/1499.70	c 1463s |      15 |  8711121 |   124432 |  1865874      0 |        0 |        0
1502.38/1502.71	c 1466s |      15 |  8721340 |   124532 |  1865874      0 |        0 |        0
1505.38/1505.71	c 1469s |      15 |  8725562 |   124632 |  1865874      0 |        0 |        0
1508.28/1508.67	c 1472s |      15 |  8735330 |   124732 |  1865874      0 |        0 |        0
1511.08/1511.46	c 1475s |      15 |  8735767 |   124932 |  1865874      0 |        0 |        0
1513.89/1514.24	c 1478s |      15 |  8736174 |   125132 |  1865874      0 |        0 |        0
1516.58/1516.94	c 1480s |      15 |  8736430 |   125332 |  1865874      0 |        0 |        0
1519.58/1519.96	c 1483s |      15 |  8736552 |   125432 |  1865874      0 |        0 |        0
1522.18/1522.52	c 1486s |      15 |  8736862 |   125632 |  1865874      0 |        0 |        0
1525.58/1525.95	c 1489s |      15 |  8737118 |   125832 |  1865874      0 |        0 |        0
1527.68/1528.01	c 1491s |      15 |  8737230 |   125932 |  1865874      0 |        0 |        0
1530.78/1531.16	c 1494s |      15 |  8737450 |   126132 |  1865874      0 |        0 |        0
1534.38/1534.72	c 1498s |      15 |  8737714 |   126332 |  1865874      0 |        0 |        0
1538.08/1538.41	c 1502s |      15 |  8737949 |   126532 |  1865874      0 |        0 |        0
1541.27/1541.65	c 1505s |      15 |  8738206 |   126732 |  1865874      0 |        0 |        0
1546.28/1546.63	c 1510s |      15 |  8738432 |   126932 |  1865874      0 |        0 |        0
1548.37/1548.76	c 1512s |      15 |  8748561 |   127132 |  1865874      0 |        0 |        0
1550.58/1550.90	c 1514s |      15 |  8755348 |   127432 |  1865874      0 |        0 |        0
1553.37/1553.79	c 1517s |      15 |  8763934 |   127632 |  1865874      0 |        0 |        0
1556.17/1556.58	c 1520s |      15 |  8773826 |   127832 |  1865874      0 |        0 |        0
1559.08/1559.46	c 1523s |      15 |  8778439 |   128132 |  1865874      0 |        0 |        0
1561.87/1562.24	c 1526s |      15 |  8779546 |   128332 |  1865874      0 |        0 |        0
1564.08/1564.41	c 1528s |      15 |  8779710 |   128432 |  1865874      0 |        0 |        0
1566.07/1566.42	c 1530s |      15 |  8780629 |   128532 |  1865874      0 |        0 |        0
1572.47/1572.88	c 1536s |      15 |  8782898 |   128832 |  1865874      0 |        0 |        0
1574.97/1575.39	c 1539s |      15 |  8783433 |   128932 |  1865874      0 |        0 |        0
1577.67/1578.00	c 1541s |      15 |  8784115 |   129032 |  1865874      0 |        0 |        0
1580.17/1580.52	c 1544s |      15 |  8785015 |   129232 |  1865874      0 |        0 |        0
1583.26/1583.65	c 1547s |      15 |  8787985 |   129432 |  1865874      0 |        0 |        0
1585.97/1586.31	c 1550s |      15 |  8792888 |   129632 |  1865874      0 |        0 |        0
1588.96/1589.30	c 1553s |      15 |  8795400 |   129832 |  1865874      0 |        0 |        0
1591.87/1592.23	c 1556s |      15 |  8796738 |   130032 |  1865874      0 |        0 |        0
1595.07/1595.45	c 1559s |      15 |  8799444 |   130232 |  1865874      0 |        0 |        0
1598.07/1598.42	c 1562s |      15 |  8800106 |   130332 |  1865874      0 |        0 |        0
1601.37/1601.75	c 1565s |      15 |  8801592 |   130532 |  1865874      0 |        0 |        0
1603.96/1604.32	c 1568s |      15 |  8807100 |   130832 |  2052462      0 |        0 |        0
1606.08/1606.46	c 1570s |      15 |  8810965 |   130932 |  2052462      0 |        0 |        0
1608.66/1609.00	c 1572s |      15 |  8813077 |   131132 |  2052462      0 |        0 |        0
1611.16/1611.55	c 1575s |      15 |  8815010 |   131332 |  2052462      0 |        0 |        0
1613.97/1614.33	c 1578s |      15 |  8817649 |   131532 |  2052462      0 |        0 |        0
1614.36/1614.74	c 1578s |      16 |  8817867 |   131552 |  2052462      0 |        0 |        0
1616.76/1617.19	c 1580s |      16 |  8824479 |   131652 |  2052462      0 |        0 |        0
1619.86/1620.20	c 1583s |      16 |  8836979 |   131852 |  2052462      0 |        0 |        0
1624.17/1624.52	c 1588s |      16 |  8837329 |   132152 |  2052462      0 |        0 |        0
1626.87/1627.28	c 1591s |      16 |  8837656 |   132452 |  2052462      0 |        0 |        0
1629.86/1630.27	c 1594s |      16 |  8840292 |   132752 |  2052462      0 |        0 |        0
1632.26/1632.65	c 1596s |      16 |  8841334 |   133052 |  2052462      0 |        0 |        0
1635.06/1635.42	c 1599s |      16 |  8845271 |   133252 |  2052462      0 |        0 |        0
1637.06/1637.48	c 1601s |      16 |  8845503 |   133452 |  2052462      0 |        0 |        0
1639.16/1639.59	c 1603s |      16 |  8845728 |   133652 |  2052462      0 |        0 |        0
1641.76/1642.15	c 1605s |      16 |  8846073 |   133952 |  2052462      0 |        0 |        0
1644.66/1645.06	c 1608s |      16 |  8846398 |   134252 |  2052462      0 |        0 |        0
1647.46/1647.84	c 1611s |      16 |  8846722 |   134552 |  2052462      0 |        0 |        0
1651.46/1651.89	c 1615s |      16 |  8847136 |   134852 |  2052462      0 |        0 |        0
1653.55/1653.90	c 1617s |      16 |  8847385 |   135052 |  2052462      0 |        0 |        0
1656.46/1656.84	c 1620s |      16 |  8847749 |   135352 |  2052462      0 |        0 |        0
1658.76/1659.18	c 1622s |      16 |  8848032 |   135552 |  2052462      0 |        0 |        0
1661.45/1661.82	c 1625s |      16 |  8848384 |   135852 |  2052462      0 |        0 |        0
1664.16/1664.53	c 1628s |      16 |  8848761 |   136152 |  2052462      0 |        0 |        0
1666.36/1666.77	c 1630s |      16 |  8849069 |   136352 |  2052462      0 |        0 |        0
1669.35/1669.78	c 1633s |      16 |  8853769 |   136552 |  2052462      0 |        0 |        0
1671.85/1672.26	c 1636s |      16 |  8854009 |   136752 |  2052462      0 |        0 |        0
1674.35/1674.76	c 1638s |      16 |  8854243 |   136952 |  2052462      0 |        0 |        0
1677.15/1677.57	c 1641s |      16 |  8854367 |   137052 |  2052462      0 |        0 |        0
1679.66/1680.04	c 1643s |      16 |  8854642 |   137252 |  2052462      0 |        0 |        0
1682.44/1682.83	c 1646s |      16 |  8854856 |   137452 |  2052462      0 |        0 |        0
1685.35/1685.73	c 1649s |      16 |  8855085 |   137652 |  2052462      0 |        0 |        0
1688.34/1688.75	c 1652s |      16 |  8855307 |   137852 |  2052462      0 |        0 |        0
1690.44/1690.84	c 1654s |      16 |  8857133 |   137952 |  2052462      0 |        0 |        0
1695.05/1695.42	c 1659s |      16 |  8869167 |   138152 |  2052462      0 |        0 |        0
1699.46/1699.88	c 1663s |      16 |  8886568 |   138252 |  2052462      0 |        0 |        0
1702.75/1703.11	c 1666s |      16 |  8888741 |   138352 |  2052462      0 |        0 |        0
1705.54/1705.90	c 1669s |      16 |  8891385 |   138652 |  2052462      0 |        0 |        0
1707.54/1707.92	c 1671s |      16 |  8891912 |   138852 |  2052462      0 |        0 |        0
1709.95/1710.36	c 1674s |      16 |  8892148 |   139052 |  2052462      0 |        0 |        0
1712.24/1712.68	c 1676s |      16 |  8892387 |   139252 |  2052462      0 |        0 |        0
1714.34/1714.71	c 1678s |      16 |  8892650 |   139452 |  2052462      0 |        0 |        0
1716.44/1716.88	c 1680s |      16 |  8892872 |   139652 |  2052462      0 |        0 |        0
1719.35/1719.79	c 1683s |      16 |  8893469 |   139952 |  2052462      0 |        0 |        0
1721.74/1722.13	c 1685s |      16 |  8893751 |   140152 |  2052462      0 |        0 |        0
1724.34/1724.71	c 1688s |      16 |  8894130 |   140452 |  2052462      0 |        0 |        0
1726.34/1726.79	c 1690s |      16 |  8894395 |   140652 |  2052462      0 |        0 |        0
1730.54/1730.97	c 1694s |      16 |  8894783 |   140952 |  2052462      0 |        0 |        0
1732.55/1732.99	c 1696s |      16 |  8895156 |   141252 |  2052462      0 |        0 |        0
1734.74/1735.14	c 1698s |      16 |  8895492 |   141552 |  2052462      0 |        0 |        0
1737.33/1737.76	c 1701s |      16 |  8895852 |   141852 |  2052462      0 |        0 |        0
1739.74/1740.16	c 1703s |      16 |  8896193 |   142152 |  2052462      0 |        0 |        0
1742.44/1742.83	c 1706s |      16 |  8896544 |   142452 |  2052462      0 |        0 |        0
1744.74/1745.19	c 1708s |      16 |  8896880 |   142752 |  2052462      0 |        0 |        0
1746.93/1747.39	c 1711s |      16 |  8897236 |   143052 |  2052462      0 |        0 |        0
1749.34/1749.79	c 1713s |      16 |  8897551 |   143352 |  2052462      0 |        0 |        0
1751.43/1751.83	c 1715s |      16 |  8897880 |   143652 |  2052462      0 |        0 |        0
1753.83/1754.27	c 1718s |      16 |  8898247 |   143952 |  2052462      0 |        0 |        0
1756.13/1756.52	c 1720s |      16 |  8898372 |   144052 |  2052462      0 |        0 |        0
1758.53/1758.95	c 1722s |      16 |  8898719 |   144352 |  2052462      0 |        0 |        0
1760.73/1761.13	c 1724s |      16 |  8898957 |   144552 |  2052462      0 |        0 |        0
1762.93/1763.38	c 1727s |      16 |  8899172 |   144752 |  2052462      0 |        0 |        0
1765.13/1765.54	c 1729s |      16 |  8899412 |   144952 |  2052462      0 |        0 |        0
1767.23/1767.61	c 1731s |      16 |  8899638 |   145152 |  2052462      0 |        0 |        0
1769.43/1769.81	c 1733s |      16 |  8899911 |   145352 |  2052462      0 |        0 |        0
1771.42/1771.85	c 1735s |      16 |  8900148 |   145552 |  2052462      0 |        0 |        0
1774.33/1774.78	c 1738s |      16 |  8900479 |   145852 |  2052462      0 |        0 |        0
1777.22/1777.64	c 1741s |      16 |  8900817 |   146152 |  2052462      0 |        0 |        0
1781.32/1781.78	c 1745s |      16 |  8901149 |   146452 |  2052462      0 |        0 |        0
1783.52/1783.94	c 1747s |      16 |  8901373 |   146652 |  2052462      0 |        0 |        0
1785.62/1786.04	c 1749s |      16 |  8901605 |   146852 |  2052462      0 |        0 |        0
1788.22/1788.64	c 1752s |      16 |  8901923 |   147152 |  2052462      0 |        0 |        0
1790.63/1791.02	c 1754s |      16 |  8902177 |   147352 |  2052462      0 |        0 |        0
1792.93/1793.36	c 1757s |      16 |  8902438 |   147552 |  2052462      0 |        0 |        0
1794.92/1795.37	c 1759s |      16 |  8902654 |   147752 |  2052462      0 |        0 |        0
1797.43/1797.81	c 1761s |      16 |  8902873 |   147952 |  2052462      0 |        0 |        0
1799.92/1800.32	c 1764s |      16 |  8903096 |   148152 |  2052462      0 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4078856-1465275326/watcher-4078856-1465275326 -o /tmp/evaluation-result-4078856-1465275326/solver-4078856-1465275326 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465262703-3572 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078856-1465275326.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.27 2.22 2.20 4/179 5705
/proc/meminfo: memFree=28910208/32872528 swapFree=17892/1720544
[pid=5705] ppid=5702 vsize=803260 CPUtime=0 cores=0,2,4,6
/proc/5705/stat : 5705 (toysat) R 5702 5705 3556 0 -1 4202496 3009 0 0 0 0 0 0 0 20 0 4 0 109465916 822538240 3371 33554432000 4194304 16246674 140733583146208 140733583145632 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5705/statm: 201327 3381 441 2943 0 198221 0
[pid=5705/tid=5706] ppid=5702 vsize=821692 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (toysat) S 5702 5705 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109465916 841412608 3444 33554432000 4194304 16246674 140733583146208 140678563605744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5705/tid=5707] ppid=5702 vsize=826812 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (toysat) S 5702 5705 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109465916 846655488 3462 33554432000 4194304 16246674 140733583146208 140678553115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5705/tid=5708] ppid=5702 vsize=830908 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (toysat) S 5702 5705 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109465916 850849792 3480 33554432000 4194304 16246674 140733583146208 140678432550064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.27 2.22 2.20 4/179 5705
/proc/meminfo: memFree=28910208/32872528 swapFree=17892/1720544
[pid=5705] ppid=5702 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/5705/stat : 5705 (toysat) R 5702 5705 3556 0 -1 4202496 30009 0 0 0 5 4 0 0 20 0 4 0 109465916 1249447936 30308 33554432000 4194304 16246674 140733583146208 140733583145520 4223706 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5705/statm: 305041 30308 801 2943 0 301935 0
[pid=5705/tid=5706] ppid=5702 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (toysat) S 5702 5705 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109465916 1249447936 30308 33554432000 4194304 16246674 140733583146208 140678563605744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5705/tid=5707] ppid=5702 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (toysat) S 5702 5705 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109465916 1249447936 30308 33554432000 4194304 16246674 140733583146208 140678553115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5705/tid=5708] ppid=5702 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (toysat) S 5702 5705 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109465916 1249447936 30308 33554432000 4194304 16246674 140733583146208 140678432550064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200469 s]
/proc/loadavg: 2.27 2.22 2.20 4/179 5705
/proc/meminfo: memFree=28910208/32872528 swapFree=17892/1720544
[pid=5705] ppid=5702 vsize=1309252 CPUtime=0.19 cores=0,2,4,6
/proc/5705/stat : 5705 (toysat) R 5702 5705 3556 0 -1 4202496 51645 0 0 0 12 7 0 0 20 0 4 0 109465916 1340674048 52456 33554432000 4194304 16246674 140733583146208 140733583145520 4223718 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5705/statm: 327313 52462 801 2943 0 324207 0
[pid=5705/tid=5706] ppid=5702 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (toysat) S 5702 5705 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109465916 1340674048 52466 33554432000 4194304 16246674 140733583146208 140678563605744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5705/tid=5707] ppid=5702 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (toysat) S 5702 5705 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109465916 1340674048 52471 33554432000 4194304 16246674 140733583146208 140678553115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5705/tid=5708] ppid=5702 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (toysat) S 5702 5705 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109465916 1340674048 52475 33554432000 4194304 16246674 140733583146208 140678432550064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1309252

[startup+0.300428 s]
/proc/loadavg: 2.27 2.22 2.20 4/179 5705
/proc/meminfo: memFree=28910208/32872528 swapFree=17892/1720544
[pid=5705] ppid=5702 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/5705/stat : 5705 (toysat) R 5702 5705 3556 0 -1 4202496 60784 0 0 0 21 8 0 0 20 0 4 0 109465916 1344868352 61594 33554432000 4194304 16246674 140733583146208 140733583145520 4221040 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5705/statm: 328337 61594 801 2943 0 325231 0
[pid=5705/tid=5706] ppid=5702 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (toysat) S 5702 5705 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109465916 1344868352 61594 33554432000 4194304 16246674 140733583146208 140678563605744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5705/tid=5707] ppid=5702 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (toysat) S 5702 5705 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109465916 1344868352 61594 33554432000 4194304 16246674 140733583146208 140678553115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5705/tid=5708] ppid=5702 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (toysat) S 5702 5705 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109465916 1344868352 61594 33554432000 4194304 16246674 140733583146208 140678432550064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700411 s]
/proc/loadavg: 2.27 2.22 2.20 4/179 5705
/proc/meminfo: memFree=28910208/32872528 swapFree=17892/1720544
[pid=5705] ppid=5702 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/5705/stat : 5705 (toysat) R 5702 5705 3556 0 -1 4202496 68933 0 0 0 60 9 0 0 20 0 4 0 109465916 1344868352 69743 33554432000 4194304 16246674 140733583146208 140733583144000 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5705/statm: 328337 69743 801 2943 0 325231 0
[pid=5705/tid=5706] ppid=5702 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (toysat) S 5702 5705 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109465916 1344868352 69743 33554432000 4194304 16246674 140733583146208 140678563605744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5705/tid=5707] ppid=5702 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (toysat) S 5702 5705 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109465916 1344868352 69743 33554432000 4194304 16246674 140733583146208 140678553115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5705/tid=5708] ppid=5702 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (toysat) S 5702 5705 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109465916 1344868352 69743 33554432000 4194304 16246674 140733583146208 140678432550064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.27 2.22 2.20 3/183 5709
/proc/meminfo: memFree=28577804/32872528 swapFree=17892/1720544
[pid=5705] ppid=5702 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/5705/stat : 5705 (toysat) R 5702 5705 3556 0 -1 4202496 82486 0 0 0 138 11 0 0 20 0 4 0 109465916 1344868352 83296 33554432000 4194304 16246674 140733583146208 140733583144000 8058704 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5705/statm: 328337 83296 802 2943 0 325231 0
[pid=5705/tid=5706] ppid=5702 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (toysat) S 5702 5705 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109465916 1344868352 83296 33554432000 4194304 16246674 140733583146208 140678563605744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5705/tid=5707] ppid=5702 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (toysat) S 5702 5705 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109465916 1344868352 83296 33554432000 4194304 16246674 140733583146208 140678553115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5705/tid=5708] ppid=5702 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (toysat) S 5702 5705 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109465916 1344868352 83296 33554432000 4194304 16246674 140733583146208 140678432550064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10042 s]
/proc/loadavg: 2.27 2.22 2.20 3/183 5709
/proc/meminfo: memFree=28507772/32872528 swapFree=17892/1720544
[pid=5705] ppid=5702 vsize=1337924 CPUtime=3.09 cores=0,2,4,6
/proc/5705/stat : 5705 (toysat) R 5702 5705 3556 0 -1 4202496 138838 0 0 0 290 19 0 0 20 0 4 0 109465916 1370034176 143736 33554432000 4194304 16246674 140733583146208 140733583144000 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5705/statm: 334481 143736 802 2943 0 331375 0
[pid=5705/tid=5706] ppid=5702 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (toysat) S 5702 5705 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109465916 1370034176 143736 33554432000 4194304 16246674 140733583146208 140678563605744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5705/tid=5707] ppid=5702 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (toysat) S 5702 5705 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109465916 1370034176 143736 33554432000 4194304 16246674 140733583146208 140678553115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5705/tid=5708] ppid=5702 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (toysat) S 5702 5705 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109465916 1370034176 143736 33554432000 4194304 16246674 140733583146208 140678432550064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1337924

[startup+6.30042 s]
/proc/loadavg: 2.24 2.22 2.20 3/183 5709
/proc/meminfo: memFree=27975672/32872528 swapFree=17892/1720544
[pid=5705] ppid=5702 vsize=1387076 CPUtime=6.28 cores=0,2,4,6
/proc/5705/stat : 5705 (toysat) R 5702 5705 3556 0 -1 4202496 219843 0 0 0 597 31 0 0 20 0 4 0 109465916 1420365824 234450 33554432000 4194304 16246674 140733583146208 140733583145304 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5705/statm: 346769 234450 802 2943 0 343663 0
[pid=5705/tid=5706] ppid=5702 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (toysat) S 5702 5705 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109465916 1420365824 234450 33554432000 4194304 16246674 140733583146208 140678563605744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5705/tid=5707] ppid=5702 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (toysat) S 5702 5705 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109465916 1420365824 234450 33554432000 4194304 16246674 140733583146208 140678553115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5705/tid=5708] ppid=5702 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (toysat) S 5702 5705 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109465916 1420365824 234450 33554432000 4194304 16246674 140733583146208 140678432550064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1387076

[startup+12.7004 s]
/proc/loadavg: 2.22 2.21 2.20 3/183 5709
/proc/meminfo: memFree=27673728/32872528 swapFree=17892/1720544
[pid=5705] ppid=5702 vsize=1472068 CPUtime=12.69 cores=0,2,4,6
/proc/5705/stat : 5705 (toysat) R 5702 5705 3556 0 -1 4202496 290759 0 0 0 1227 42 0 0 20 0 4 0 109465916 1507397632 309454 33554432000 4194304 16246674 140733583146208 140733583128128 13950192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5705/statm: 368017 309454 848 2943 0 364911 0
[pid=5705/tid=5706] ppid=5702 vsize=1472068 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (toysat) S 5702 5705 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109465916 1507397632 309454 33554432000 4194304 16246674 140733583146208 140678563605744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5705/tid=5707] ppid=5702 vsize=1472068 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (toysat) S 5702 5705 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109465916 1507397632 309454 33554432000 4194304 16246674 140733583146208 140678553115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5705/tid=5708] ppid=5702 vsize=1472068 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (toysat) S 5702 5705 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109465916 1507397632 309454 33554432000 4194304 16246674 140733583146208 140678432550064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1472068

[startup+25.5004 s]
/proc/loadavg: 2.19 2.21 2.19 3/183 5709
/proc/meminfo: memFree=26791104/32872528 swapFree=17892/1720544
[pid=5705] ppid=5702 vsize=2353732 CPUtime=25.49 cores=0,2,4,6
/proc/5705/stat : 5705 (toysat) R 5702 5705 3556 0 -1 4202496 511182 0 0 0 2475 74 0 0 20 0 4 0 109465916 2410221568 529877 33554432000 4194304 16246674 140733583146208 140733583145304 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5705/statm: 588433 529877 848 2943 0 585327 0
[pid=5705/tid=5706] ppid=5702 vsize=2353732 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (toysat) S 5702 5705 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109465916 2410221568 529877 33554432000 4194304 16246674 140733583146208 140678563605744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5705/tid=5707] ppid=5702 vsize=2353732 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (toysat) S 5702 5705 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109465916 2410221568 529877 33554432000 4194304 16246674 140733583146208 140678553115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5705/tid=5708] ppid=5702 vsize=2353732 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (toysat) S 5702 5705 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109465916 2410221568 529877 33554432000 4194304 16246674 140733583146208 140678432550064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2353732

[startup+51.1004 s]
/proc/loadavg: 2.24 2.22 2.20 3/183 5709
/proc/meminfo: memFree=25803376/32872528 swapFree=17892/1720544
[pid=5705] ppid=5702 vsize=3339844 CPUtime=51.08 cores=0,2,4,6
/proc/5705/stat : 5705 (toysat) R 5702 5705 3556 0 -1 4202496 757752 0 0 0 4995 113 0 0 20 0 4 0 109465916 3420000256 776447 33554432000 4194304 16246674 140733583146208 140733583145384 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5705/statm: 834961 776447 888 2943 0 831855 0
[pid=5705/tid=5706] ppid=5702 vsize=3339844 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (toysat) S 5702 5705 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109465916 3420000256 776447 33554432000 4194304 16246674 140733583146208 140678563605744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5705/tid=5707] ppid=5702 vsize=3339844 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (toysat) S 5702 5705 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109465916 3420000256 776447 33554432000 4194304 16246674 140733583146208 140678553115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5705/tid=5708] ppid=5702 vsize=3339844 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (toysat) S 5702 5705 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109465916 3420000256 776447 33554432000 4194304 16246674 140733583146208 140678432550064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3339844

[startup+102.3 s]
/proc/loadavg: 2.17 2.20 2.19 3/183 5759
/proc/meminfo: memFree=25515324/32872528 swapFree=17892/1720544
[pid=5705] ppid=5702 vsize=3698244 CPUtime=102.27 cores=0,2,4,6
/proc/5705/stat : 5705 (toysat) R 5702 5705 3556 0 -1 4202496 847355 0 0 0 10101 126 0 0 20 0 4 0 109465916 3787001856 866050 33554432000 4194304 16246674 140733583146208 140733583145304 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5705/statm: 924561 866050 891 2943 0 921455 0
[pid=5705/tid=5706] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (toysat) S 5702 5705 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866050 33554432000 4194304 16246674 140733583146208 140678563605744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5705/tid=5707] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (toysat) S 5702 5705 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866050 33554432000 4194304 16246674 140733583146208 140678553115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5705/tid=5708] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (toysat) S 5702 5705 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866050 33554432000 4194304 16246674 140733583146208 140678432550064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 3698244


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

/proc/5705/task/5708/stat : 5708 (toysat) S 5702 5705 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678432550064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 3698244

[startup+1362.3 s]
/proc/loadavg: 2.37 2.25 2.19 3/183 5813
/proc/meminfo: memFree=25489568/32872528 swapFree=17892/1720544
[pid=5705] ppid=5702 vsize=3698244 CPUtime=1362.02 cores=0,2,4,6
/proc/5705/stat : 5705 (toysat) R 5702 5705 3556 0 -1 4202496 847473 0 0 0 136004 198 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140733583145384 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5705/statm: 924561 866307 892 2943 0 921455 0
[pid=5705/tid=5706] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (toysat) S 5702 5705 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678563605744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5705/tid=5707] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (toysat) S 5702 5705 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678553115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5705/tid=5708] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (toysat) S 5702 5705 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678432550064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 3698244

[startup+1422.3 s]
/proc/loadavg: 2.30 2.25 2.19 4/183 5814
/proc/meminfo: memFree=25489748/32872528 swapFree=17892/1720544
[pid=5705] ppid=5702 vsize=3698244 CPUtime=1422.01 cores=0,2,4,6
/proc/5705/stat : 5705 (toysat) R 5702 5705 3556 0 -1 4202496 847485 0 0 0 141995 206 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140733583145384 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5705/statm: 924561 866307 892 2943 0 921455 0
[pid=5705/tid=5706] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (toysat) S 5702 5705 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678563605744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5705/tid=5707] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (toysat) S 5702 5705 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678553115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5705/tid=5708] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (toysat) S 5702 5705 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678432550064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 3698244

[startup+1482.3 s]
/proc/loadavg: 2.23 2.23 2.18 4/184 5819
/proc/meminfo: memFree=25489652/32872528 swapFree=17892/1720544
[pid=5705] ppid=5702 vsize=3698244 CPUtime=1481.99 cores=0,2,4,6
/proc/5705/stat : 5705 (toysat) R 5702 5705 3556 0 -1 4202496 847489 0 0 0 147985 214 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140733583145384 5674772 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5705/statm: 924561 866307 892 2943 0 921455 0
[pid=5705/tid=5706] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (toysat) S 5702 5705 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678563605744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5705/tid=5707] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (toysat) S 5702 5705 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678553115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5705/tid=5708] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (toysat) S 5702 5705 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678432550064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 3698244

[startup+1542.3 s]
/proc/loadavg: 2.25 2.23 2.18 3/183 5820
/proc/meminfo: memFree=25489500/32872528 swapFree=17892/1720544
[pid=5705] ppid=5702 vsize=3698244 CPUtime=1541.97 cores=0,2,4,6
/proc/5705/stat : 5705 (toysat) R 5702 5705 3556 0 -1 4202496 847496 0 0 0 153974 223 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140733583145384 5677720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5705/statm: 924561 866307 892 2943 0 921455 0
[pid=5705/tid=5706] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (toysat) S 5702 5705 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678563605744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5705/tid=5707] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (toysat) S 5702 5705 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678553115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5705/tid=5708] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (toysat) S 5702 5705 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678432550064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 3698244

[startup+1602.3 s]
/proc/loadavg: 2.30 2.25 2.19 3/183 5821
/proc/meminfo: memFree=25489400/32872528 swapFree=17892/1720544
[pid=5705] ppid=5702 vsize=3698244 CPUtime=1601.97 cores=0,2,4,6
/proc/5705/stat : 5705 (toysat) R 5702 5705 3556 0 -1 4202496 847503 0 0 0 159962 235 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140733583145384 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5705/statm: 924561 866307 892 2943 0 921455 0
[pid=5705/tid=5706] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (toysat) S 5702 5705 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678563605744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5705/tid=5707] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (toysat) S 5702 5705 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678553115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5705/tid=5708] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (toysat) S 5702 5705 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678432550064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 3698244

[startup+1662.3 s]
/proc/loadavg: 2.27 2.25 2.19 4/183 5822
/proc/meminfo: memFree=25489304/32872528 swapFree=17892/1720544
[pid=5705] ppid=5702 vsize=3698244 CPUtime=1661.95 cores=0,2,4,6
/proc/5705/stat : 5705 (toysat) R 5702 5705 3556 0 -1 4202496 847508 0 0 0 165952 243 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140733583145384 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5705/statm: 924561 866307 892 2943 0 921455 0
[pid=5705/tid=5706] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (toysat) S 5702 5705 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678563605744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5705/tid=5707] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (toysat) S 5702 5705 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678553115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5705/tid=5708] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (toysat) S 5702 5705 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678432550064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 3698244

[startup+1722.3 s]
/proc/loadavg: 2.21 2.23 2.18 3/183 5823
/proc/meminfo: memFree=25489452/32872528 swapFree=17892/1720544
[pid=5705] ppid=5702 vsize=3698244 CPUtime=1721.94 cores=0,2,4,6
/proc/5705/stat : 5705 (toysat) R 5702 5705 3556 0 -1 4202496 847515 0 0 0 171942 252 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140733583145304 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5705/statm: 924561 866307 892 2943 0 921455 0
[pid=5705/tid=5706] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (toysat) S 5702 5705 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678563605744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5705/tid=5707] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (toysat) S 5702 5705 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678553115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5705/tid=5708] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (toysat) S 5702 5705 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678432550064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 3698244

[startup+1782.3 s]
/proc/loadavg: 2.16 2.22 2.18 3/183 5825
/proc/meminfo: memFree=25488864/32872528 swapFree=17892/1720544
[pid=5705] ppid=5702 vsize=3698244 CPUtime=1781.93 cores=0,2,4,6
/proc/5705/stat : 5705 (toysat) R 5702 5705 3556 0 -1 4202496 847529 0 0 0 177932 261 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140733583145384 5522977 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5705/statm: 924561 866307 892 2943 0 921455 0
[pid=5705/tid=5706] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (toysat) S 5702 5705 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678563605744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5705/tid=5707] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (toysat) S 5702 5705 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678553115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5705/tid=5708] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (toysat) S 5702 5705 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678432550064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 3698244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.20 2.22 2.18 4/183 5825
/proc/meminfo: memFree=25488840/32872528 swapFree=17892/1720544
[pid=5705] ppid=5702 vsize=3698244 CPUtime=1800.02 cores=0,2,4,6
/proc/5705/stat : 5705 (toysat) R 5702 5705 3556 0 -1 4202496 847529 0 0 0 179738 264 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140733583145384 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5705/statm: 924561 866307 892 2943 0 921455 0
[pid=5705/tid=5706] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (toysat) S 5702 5705 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678563605744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5705/tid=5707] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (toysat) S 5702 5705 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678553115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5705/tid=5708] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (toysat) S 5702 5705 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678432550064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3698244

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

[startup+1800.4 s]
/proc/loadavg: 2.20 2.22 2.18 4/183 5825
/proc/meminfo: memFree=25488840/32872528 swapFree=17892/1720544
[pid=5705] ppid=5702 vsize=3698244 CPUtime=1800.02 cores=0,2,4,6
/proc/5705/stat : 5705 (toysat) R 5702 5705 3556 0 -1 4202496 847529 0 0 0 179738 264 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140733583145384 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5705/statm: 924561 866307 892 2943 0 921455 0
[pid=5705/tid=5706] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5706/stat : 5706 (toysat) S 5702 5705 3556 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678563605744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5705/tid=5707] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5707/stat : 5707 (toysat) S 5702 5705 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678553115888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5705/tid=5708] ppid=5702 vsize=3698244 CPUtime=0 cores=0,2,4,6
/proc/5705/task/5708/stat : 5708 (toysat) S 5702 5705 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109465916 3787001856 866307 33554432000 4194304 16246674 140733583146208 140678432550064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3698244

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.13
CPU user time (s): 1797.39
CPU system time (s): 2.73758
CPU usage (%): 99.9789
Max. virtual memory (cumulated for all children) (KiB): 3698244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.39
system time used= 2.73758
maximum resident set size= 3465228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 847529
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= 366
involuntary context switches= 2071

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.82627 second user time and 6.71798 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-07 06:55:28
IDJOB=4078856
IDBENCH=89671
IDSOLVER=2542
FILE ID=node117/4078856-1465275326
RUNJOBID= node117-1465262703-3572
PBS_JOBID= 19843298
Free space on /tmp= 71664 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-153.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078856-1465275326/watcher-4078856-1465275326 -o /tmp/evaluation-result-4078856-1465275326/solver-4078856-1465275326 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465262703-3572 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078856-1465275326.opb

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

MD5SUM BENCH= 64b2e27e0cc69ae36d391a38c497bb88
RANDOM SEED=1040236905

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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:        28910580 kB
Buffers:           86056 kB
Cached:           172972 kB
SwapCached:        55388 kB
Active:          1328724 kB
Inactive:         175012 kB
Active(anon):    1192756 kB
Inactive(anon):    54760 kB
Active(file):     135968 kB
Inactive(file):   120252 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67045084 kB
Dirty:             73276 kB
Writeback:             0 kB
AnonPages:       2913448 kB
Mapped:            10832 kB
Shmem:                 0 kB
Slab:             602452 kB
SReclaimable:      46248 kB
SUnreclaim:       556204 kB
KernelStack:        1464 kB
PageTables:         9792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3057052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2889728 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= 71644 MiB
End job on node117 at 2016-06-07 07:25:28