Trace number 4108911

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-130.opb
MD5SUM1e275a6bfffefd782bc57067ec81c100
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 variables41972
Total number of constraints972388
Number of constraints which are clauses873653
Number of constraints which are cardinality constraints (but not clauses)3080
Number of constraints which are nor clauses,nor cardinality constraints95655
Minimum length of a constraint1
Maximum length of a constraint627
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 628
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-19T01:30:42+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-4108911-1466292641.opb"]
0.00/0.01	c use --random-gen="1462870309 836055903 2463247051 988720789 3995489055 2244595925 655443897 2759092499 1156929044 2101960731 2637032491 3547859342 1717095328 1602307149 4139819097 3600986508 2734749158 2156224334 1136799947 1715179777 4270220686 543009544 667307879 150010536 1830606525 1396065281 1379806336 1590362224 1999211943 2490850919 3678191379 3659336683 2975986824 2750742076 713506840 2902222899 3998162907 1772058258 2511435977 2993376633 1359068817 1230243684 3159359643 3683469779 72241954 4183984872 917896588 417022831 156055688 2921449130 1219677849 1056843576 1818968893 1849110518 3295957335 784358443 3046139425 2963467882 2076514000 4252450336 2120400473 3502656936 103343744 4008533068 3001767929 2698891584 1043486116 3674173956 1707136146 1728457538 706964669 587786337 2637128510 262336919 2302949116 2454794983 3020913346 4258300973 3862416446 1793988862 940083774 2459433735 2197978999 2247107372 1364234199 4249309972 3519774333 1644252683 3278133359 631229554 3711695219 3683834498 1805458890 2358778190 3263786293 1349730028 3841469925 1442849585 1322440907 3937310921 3102108148 229903865 2304094790 4173163087 1401750151 2943453637 4223941485 4001614077 2678194686 1299990189 2958676151 3972817922 3771378809 3307969761 3869631520 2578955745 1859980048 1500646658 2454205533 968369545 2163775231 619375043 182513560 3429822515 1163165221 4023000079 3341991704 4222386951 1033570893 371137333 2544173095 1218181502 2815291672 2052866540 2850350627 3383574504 967000505 2352198263 3554846038 1938102795 2413107182 777840366 2565865205 514954583 2311270656 3661197585 2041198085 3780782591 3428865794 499525679 1840906883 3070731784 71892946 848858033 997786157 3308868754 3947901731 551727799 3606916478 418126525 3729722915 3979789437 2016031546 141194639 679722825 2741450206 2465119998 82257681 3785688835 3210685913 2551980988 2304836742 1744050435 4261276298 757444677 697752757 1376150168 1519093566 813689561 1185985689 458426799 2061047430 2695392181 3906090574 4130532959 485795254 363700527 2701321423 2930204167 2256509980 1746206593 1298038644 4163915299 2196998663 292551961 4120438156 2499369996 799490087 2890838234 4097438585 768196655 1066262347 2010547446 1552383883 3281130235 2033332265 3784873011 2562647804 3214043321 33127550 3603952875 3187063177 2651515445 1213356904 290336747 3308561051 671009504 480666745 560202075 481236390 720778097 2264008345 1688733279 1679863806 905358000 2566522442 3242972645 597679664 2627644926 2221828177 3675693073 2982530027 3786359321 3081269929 1740810890 1243937613 3730933419 2995027198 527893012 2158561666 2136776735 2260730842 4182077828 1130056741 3475306233 2894323632 1355493394 226698113 2886452902 3542841816 677315194 2922051552 1036048379 3998564141 318539560 2525415185 255 362436" option to reproduce the execution
7.59/7.69	c #vars 41972
7.59/7.69	c #constraints 972388
26.29/26.31	c Solving starts ...
26.29/26.31	c ============================[ Search Statistics ]============================
26.29/26.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
26.29/26.31	c       |         |          |          |    Limit     GC | Var      | Constra 
26.29/26.31	c =============================================================================
26.29/26.32	c  0.0s |       0 |        0 |        0 |   334304      0 |      636 |        0
26.99/27.10	c  0.8s |       1 |      156 |      100 |   334304      0 |      636 |     7344
28.19/28.21	c  1.9s |       2 |     1466 |      250 |   367735      0 |      636 |     7344
30.09/30.13	c  3.8s |       3 |     2036 |      475 |   404509      0 |      636 |     7344
32.09/32.16	c  5.9s |       3 |     6197 |      775 |   444960      0 |      636 |     7344
32.19/32.29	c  6.0s |       4 |     6239 |      813 |   444960      0 |      636 |     7344
36.09/36.12	c  9.8s |       4 |    17894 |     1313 |   489457      0 |      636 |     7344
36.40/36.49	c 10.2s |       5 |    20238 |     1320 |   489457      0 |      636 |     7344
43.28/43.37	c 17.1s |       5 |    61854 |     1420 |   538403      0 |      636 |     7344
45.88/45.90	c 19.6s |       5 |   102336 |     1520 |   538403      0 |      636 |     7344
47.88/47.98	c 21.7s |       5 |   188231 |     1920 |   538403      0 |      637 |     7360
48.49/48.56	c 22.3s |       6 |   218932 |     2081 |   592244      0 |      637 |     7360
50.78/50.83	c 24.5s |       6 |   233274 |     2281 |   592244      0 |      637 |     7360
53.18/53.22	c 26.9s |       6 |   259503 |     2381 |   592244      0 |      637 |     7360
55.48/55.51	c 29.2s |       6 |   282657 |     2481 |   592244      0 |      637 |     7360
62.38/62.42	c 36.1s |       6 |   352234 |     2581 |   592244      0 |      638 |     7376
64.58/64.65	c 38.3s |       6 |   420905 |     2981 |   592244      0 |      638 |     7376
65.28/65.30	c 39.0s |       7 |   421190 |     3223 |   651469      0 |      638 |     7376
67.28/67.36	c 41.0s |       7 |   450930 |     3323 |   651469      0 |      638 |     7376
72.48/72.57	c 46.3s |       7 |   507836 |     3423 |   651469      0 |      638 |     7376
77.88/77.98	c 51.7s |       7 |   564583 |     3523 |   651469      0 |      639 |     7452
81.07/81.16	c 54.9s |       7 |   590309 |     3623 |   651469      0 |      639 |     7452
85.07/85.11	c 58.8s |       7 |   624348 |     4123 |   651469      0 |      639 |     7452
87.17/87.22	c 60.9s |       7 |   661914 |     4223 |   651469      0 |      639 |     7452
89.97/90.05	c 63.7s |       7 |   679168 |     4623 |   651469      0 |      639 |     7452
93.27/93.34	c 67.0s |       7 |   727836 |     4823 |   651469      0 |      639 |     7452
93.67/93.76	c 67.4s |       8 |   728175 |     4936 |   716616      0 |      639 |     7452
95.97/96.07	c 69.8s |       8 |   764141 |     5136 |   716616      0 |      639 |     7452
98.07/98.14	c 71.8s |       8 |   848596 |     5836 |   716616      0 |      639 |     7452
101.57/101.66	c 75.3s |       8 |   885486 |     6136 |   716616      0 |      639 |     7452
103.67/103.73	c 77.4s |       8 |   886214 |     6636 |   716616      0 |      639 |     7452
105.68/105.76	c 79.5s |       8 |   886853 |     7136 |   716616      0 |      639 |     7452
107.07/107.13	c 80.8s |       9 |   887341 |     7506 |   788278      0 |      639 |     7452
110.08/110.16	c 83.8s |       9 |   915558 |     7706 |   788278      0 |      639 |     7452
112.47/112.54	c 86.2s |       9 |  1023583 |     8206 |   788278      0 |      639 |     7452
114.77/114.81	c 88.5s |       9 |  1080127 |     8906 |   788278      0 |      639 |     7452
116.77/116.88	c 90.6s |       9 |  1080687 |     9406 |   788278      0 |      639 |     7452
119.07/119.13	c 92.8s |       9 |  1081499 |    10106 |   788278      0 |      639 |     7452
121.37/121.44	c 95.1s |       9 |  1082219 |    10706 |   788278      0 |      639 |     7452
123.77/123.83	c 97.5s |       9 |  1083803 |    11206 |   788278      0 |      639 |     7452
127.67/127.75	c  101s |       9 |  1120447 |    11306 |   867106      0 |      639 |     7452
128.07/128.17	c  101s |      10 |  1120870 |    11361 |   867106      0 |      639 |     7452
132.97/133.10	c  106s |      10 |  1176337 |    11461 |   867106      0 |      639 |     7452
135.57/135.61	c  109s |      10 |  1205105 |    11661 |   867106      0 |      639 |     7452
137.58/137.67	c  111s |      10 |  1205704 |    12161 |   867106      0 |      639 |     7452
139.78/139.87	c  113s |      10 |  1206272 |    12661 |   867106      0 |      639 |     7452
141.88/141.91	c  115s |      10 |  1246182 |    12961 |   867106      0 |      639 |     7452
143.97/144.09	c  117s |      10 |  1252916 |    13461 |   867106      0 |      639 |     7452
146.28/146.38	c  120s |      10 |  1253729 |    13961 |   867106      0 |      639 |     7452
148.58/148.62	c  122s |      10 |  1254566 |    14361 |   867106      0 |      639 |     7452
151.07/151.10	c  124s |      10 |  1255279 |    14761 |   867106      0 |      639 |     7452
153.07/153.18	c  126s |      10 |  1255871 |    15261 |   867106      0 |      639 |     7452
155.18/155.25	c  128s |      10 |  1256445 |    15661 |   867106      0 |      639 |     7452
157.57/157.64	c  131s |      10 |  1256908 |    16061 |   867106      0 |      639 |     7452
159.77/159.80	c  133s |      10 |  1257330 |    16461 |   867106      0 |      639 |     7452
161.77/161.88	c  135s |      10 |  1257825 |    16861 |   867106      0 |      639 |     7452
163.37/163.43	c  137s |      11 |  1258137 |    17144 |   953817      0 |      639 |     7452
165.56/165.66	c  139s |      11 |  1258655 |    17444 |   953817      0 |      639 |     7452
167.66/167.70	c  141s |      11 |  1259095 |    17844 |   953817      0 |      639 |     7452
169.76/169.82	c  143s |      11 |  1259333 |    18044 |   953817      0 |      639 |     7452
171.96/172.01	c  145s |      11 |  1260015 |    18644 |   953817      0 |      639 |     7452
174.26/174.35	c  148s |      11 |  1260712 |    19244 |   953817      0 |      639 |     7452
176.26/176.38	c  150s |      11 |  1261257 |    19744 |   953817      0 |      639 |     7452
178.56/178.69	c  152s |      11 |  1261852 |    20244 |   953817      0 |      639 |     7452
180.66/180.78	c  154s |      11 |  1262409 |    20744 |   953817      0 |      639 |     7452
182.76/182.89	c  156s |      11 |  1262995 |    21244 |   953817      0 |      639 |     7452
185.06/185.16	c  158s |      11 |  1263553 |    21744 |   953817      0 |      639 |     7452
187.36/187.47	c  161s |      11 |  1264127 |    22244 |   953817      0 |      639 |     7452
189.76/189.83	c  163s |      11 |  1264733 |    22744 |   953817      0 |      639 |     7452
192.16/192.25	c  165s |      11 |  1265359 |    23244 |   953817      0 |      639 |     7452
194.36/194.42	c  168s |      11 |  1265920 |    23644 |   953817      0 |      639 |     7452
196.56/196.62	c  170s |      11 |  1266529 |    24044 |   953817      0 |      639 |     7452
198.86/198.90	c  172s |      11 |  1267244 |    24544 |   953817      0 |      639 |     7452
201.06/201.13	c  174s |      11 |  1267743 |    24944 |   953817      0 |      639 |     7452
203.66/203.76	c  177s |      11 |  1268442 |    25444 |   953817      0 |      639 |     7452
205.26/205.32	c  179s |      12 |  1268893 |    25819 |  1049199      0 |      639 |     7452
207.66/207.79	c  181s |      12 |  1299925 |    26219 |  1049199      0 |      639 |     7452
209.76/209.88	c  183s |      12 |  1300377 |    26619 |  1049199      0 |      639 |     7452
212.15/212.30	c  185s |      12 |  1300938 |    27119 |  1049199      0 |      639 |     7452
215.05/215.19	c  188s |      12 |  1340369 |    27519 |  1049199      0 |      639 |     7452
217.65/217.77	c  191s |      12 |  1351039 |    27819 |  1049199      0 |      639 |     7452
220.26/220.32	c  194s |      12 |  1351488 |    28119 |  1049199      0 |      639 |     7452
222.36/222.42	c  196s |      12 |  1351851 |    28419 |  1049199      0 |      639 |     7452
224.96/225.05	c  198s |      12 |  1352235 |    28719 |  1049199      0 |      639 |     7452
227.56/227.62	c  201s |      12 |  1360850 |    29019 |  1049199      0 |      639 |     7452
229.66/229.72	c  203s |      12 |  1398096 |    29319 |  1049199      0 |      639 |     7452
232.46/232.52	c  206s |      12 |  1468670 |    29919 |  1049199      0 |      639 |     7452
234.66/234.72	c  208s |      12 |  1486862 |    30419 |  1049199      0 |      639 |     7452
239.66/239.74	c  213s |      12 |  1569559 |    30619 |  1049199      0 |      639 |     7452
243.86/243.96	c  217s |      12 |  1633354 |    30719 |  1049199      0 |      639 |     7452
247.86/247.97	c  221s |      12 |  1680861 |    30919 |  1049199      0 |      639 |     7452
250.66/250.70	c  224s |      12 |  1709576 |    31119 |  1049199      0 |      639 |     7452
252.86/252.97	c  226s |      12 |  1749886 |    31419 |  1049199      0 |      639 |     7452
255.46/255.54	c  229s |      12 |  1796494 |    32219 |  1049199      0 |      639 |     7452
257.95/258.02	c  231s |      12 |  1796969 |    32619 |  1049199      0 |      639 |     7452
260.15/260.25	c  233s |      12 |  1797471 |    33019 |  1049199      0 |      639 |     7452
262.25/262.38	c  236s |      12 |  1797944 |    33419 |  1049199      0 |      639 |     7452
264.35/264.47	c  238s |      12 |  1798416 |    33819 |  1049199      0 |      639 |     7452
266.75/266.82	c  240s |      12 |  1798871 |    34219 |  1049199      0 |      639 |     7452
269.15/269.26	c  242s |      12 |  1799353 |    34619 |  1049199      0 |      639 |     7452
271.25/271.36	c  245s |      12 |  1799818 |    35019 |  1049199      0 |      639 |     7452
273.45/273.57	c  247s |      12 |  1800371 |    35419 |  1049199      0 |      639 |     7452
275.95/276.10	c  249s |      12 |  1800841 |    35819 |  1049199      0 |      639 |     7452
278.05/278.13	c  251s |      12 |  1801622 |    36219 |  1049199      0 |      639 |     7452
280.15/280.26	c  253s |      12 |  1802132 |    36619 |  1049199      0 |      639 |     7452
282.55/282.60	c  256s |      12 |  1802614 |    37019 |  1049199      0 |      639 |     7452
284.55/284.61	c  258s |      12 |  1803016 |    37319 |  1049199      0 |      639 |     7452
287.16/287.22	c  260s |      12 |  1803503 |    37719 |  1049199      0 |      639 |     7452
289.26/289.33	c  263s |      12 |  1803883 |    38019 |  1049199      0 |      639 |     7452
291.35/291.45	c  265s |      12 |  1804251 |    38319 |  1049199      0 |      639 |     7452
293.85/293.94	c  267s |      12 |  1804730 |    38719 |  1154119      0 |      639 |     7452
294.65/294.73	c  268s |      13 |  1804874 |    38832 |  1154119      0 |      639 |     7452
299.95/300.05	c  273s |      13 |  1849200 |    38932 |  1154119      0 |      639 |     7452
303.65/303.76	c  277s |      13 |  1892091 |    39032 |  1154119      0 |      639 |     7452
306.35/306.40	c  280s |      13 |  1931225 |    39232 |  1154119      0 |      639 |     7452
309.85/309.98	c  283s |      13 |  1959035 |    39432 |  1154119      0 |      639 |     7452
317.85/317.94	c  291s |      13 |  2049347 |    39532 |  1154119      0 |      639 |     7452
320.15/320.26	c  293s |      13 |  2050993 |    40032 |  1154119      0 |      640 |     7468
322.54/322.60	c  296s |      13 |  2051794 |    40332 |  1154119      0 |      640 |     7468
324.84/324.98	c  298s |      13 |  2052218 |    40632 |  1154119      0 |      640 |     7468
327.04/327.18	c  300s |      13 |  2052728 |    40932 |  1154119      0 |      640 |     7468
329.34/329.49	c  303s |      13 |  2053184 |    41232 |  1154119      0 |      640 |     7468
331.64/331.75	c  305s |      13 |  2054171 |    41532 |  1154119      0 |      640 |     7468
333.94/334.03	c  307s |      13 |  2054766 |    41932 |  1154119      0 |      640 |     7468
336.44/336.53	c  310s |      13 |  2055254 |    42332 |  1154119      0 |      640 |     7468
338.54/338.67	c  312s |      13 |  2055598 |    42632 |  1154119      0 |      640 |     7468
341.14/341.20	c  314s |      13 |  2056110 |    43032 |  1154119      0 |      640 |     7468
343.25/343.33	c  317s |      13 |  2056477 |    43332 |  1154119      0 |      640 |     7468
345.54/345.70	c  319s |      13 |  2056951 |    43732 |  1154119      0 |      640 |     7468
347.84/347.98	c  321s |      13 |  2057368 |    44032 |  1154119      0 |      640 |     7468
350.44/350.59	c  324s |      13 |  2057865 |    44432 |  1154119      0 |      640 |     7468
352.94/353.04	c  326s |      13 |  2058498 |    44832 |  1154119      0 |      640 |     7468
355.34/355.44	c  329s |      13 |  2059041 |    45232 |  1154119      0 |      640 |     7468
358.04/358.12	c  331s |      13 |  2059724 |    45632 |  1154119      0 |      640 |     7468
360.14/360.20	c  333s |      13 |  2060100 |    45932 |  1154119      0 |      640 |     7468
362.53/362.62	c  336s |      13 |  2060621 |    46332 |  1154119      0 |      640 |     7468
364.93/365.03	c  338s |      13 |  2060970 |    46632 |  1154119      0 |      640 |     7468
367.13/367.25	c  340s |      13 |  2061341 |    46932 |  1154119      0 |      640 |     7468
369.54/369.64	c  343s |      13 |  2061720 |    47232 |  1154119      0 |      640 |     7468
372.03/372.17	c  345s |      13 |  2062061 |    47532 |  1154119      0 |      640 |     7468
374.43/374.52	c  348s |      13 |  2062464 |    47832 |  1154119      0 |      640 |     7468
376.63/376.80	c  350s |      13 |  2062799 |    48132 |  1154119      0 |      640 |     7468
379.33/379.43	c  353s |      13 |  2063142 |    48432 |  1154119      0 |      640 |     7468
381.64/381.75	c  355s |      13 |  2063509 |    48732 |  1154119      0 |      640 |     7468
383.84/383.93	c  357s |      13 |  2063829 |    49032 |  1154119      0 |      640 |     7468
386.33/386.40	c  360s |      13 |  2064281 |    49432 |  1154119      0 |      640 |     7468
388.43/388.55	c  362s |      13 |  2064624 |    49732 |  1154119      0 |      640 |     7468
390.53/390.63	c  364s |      13 |  2064987 |    50032 |  1154119      0 |      640 |     7468
392.73/392.84	c  366s |      13 |  2065360 |    50332 |  1154119      0 |      640 |     7468
395.13/395.28	c  368s |      13 |  2065855 |    50632 |  1154119      0 |      640 |     7468
397.63/397.77	c  371s |      13 |  2066251 |    50932 |  1154119      0 |      640 |     7468
399.93/400.04	c  373s |      13 |  2066609 |    51232 |  1154119      0 |      640 |     7468
402.32/402.49	c  376s |      13 |  2066977 |    51532 |  1154119      0 |      640 |     7468
404.92/405.00	c  378s |      13 |  2067541 |    51832 |  1154119      0 |      640 |     7468
407.22/407.33	c  381s |      13 |  2067903 |    52132 |  1154119      0 |      640 |     7468
409.52/409.62	c  383s |      13 |  2068407 |    52432 |  1154119      0 |      640 |     7468
411.62/411.70	c  385s |      13 |  2068811 |    52732 |  1154119      0 |      640 |     7468
414.02/414.15	c  387s |      13 |  2069259 |    53132 |  1154119      0 |      640 |     7468
416.72/416.87	c  390s |      13 |  2069942 |    53532 |  1154119      0 |      640 |     7468
419.22/419.38	c  393s |      13 |  2070318 |    53832 |  1154119      0 |      640 |     7468
421.62/421.75	c  395s |      13 |  2070673 |    54132 |  1154119      0 |      640 |     7468
424.32/424.47	c  398s |      13 |  2071141 |    54432 |  1154119      0 |      640 |     7468
426.83/426.92	c  400s |      13 |  2071541 |    54732 |  1154119      0 |      640 |     7468
429.13/429.20	c  402s |      13 |  2071996 |    55032 |  1154119      0 |      640 |     7468
431.13/431.29	c  404s |      13 |  2072412 |    55332 |  1154119      0 |      640 |     7468
433.33/433.45	c  407s |      13 |  2072764 |    55632 |  1154119      0 |      640 |     7468
436.12/436.20	c  409s |      13 |  2073101 |    55932 |  1154119      0 |      640 |     7468
439.02/439.16	c  412s |      13 |  2073350 |    56132 |  1154119      0 |      640 |     7468
441.03/441.20	c  414s |      13 |  2073837 |    56432 |  1154119      0 |      640 |     7468
443.52/443.69	c  417s |      13 |  2074351 |    56832 |  1154119      0 |      640 |     7468
445.62/445.71	c  419s |      13 |  2074698 |    57132 |  1154119      0 |      640 |     7468
448.12/448.25	c  421s |      13 |  2075160 |    57532 |  1154119      0 |      640 |     7468
450.72/450.81	c  424s |      13 |  2075616 |    57932 |  1154119      0 |      640 |     7468
452.92/453.07	c  426s |      13 |  2075996 |    58232 |  1269531      0 |      640 |     7468
453.92/454.10	c  427s |      14 |  2076139 |    58352 |  1269531      0 |      640 |     7468
459.62/459.79	c  433s |      14 |  2144368 |    58452 |  1269531      0 |      640 |     7468
461.82/461.93	c  435s |      14 |  2194638 |    58652 |  1269531      0 |      640 |     7468
464.13/464.26	c  437s |      14 |  2208165 |    58952 |  1269531      0 |      640 |     7468
466.52/466.64	c  440s |      14 |  2208542 |    59252 |  1269531      0 |      640 |     7468
469.82/469.94	c  443s |      14 |  2225344 |    59452 |  1269531      0 |      640 |     7468
472.52/472.65	c  446s |      14 |  2268887 |    59752 |  1269531      0 |      640 |     7468
474.52/474.66	c  448s |      14 |  2296075 |    59952 |  1269531      0 |      640 |     7468
477.02/477.15	c  450s |      14 |  2326497 |    60452 |  1269531      0 |      640 |     7468
480.02/480.14	c  453s |      14 |  2364014 |    60552 |  1269531      0 |      640 |     7468
482.22/482.39	c  456s |      14 |  2365058 |    60952 |  1269531      0 |      641 |     7503
484.52/484.69	c  458s |      14 |  2365586 |    61352 |  1269531      0 |      641 |     7503
487.02/487.16	c  460s |      14 |  2366082 |    61752 |  1269531      0 |      641 |     7503
489.31/489.42	c  463s |      14 |  2366418 |    62052 |  1269531      0 |      641 |     7503
491.51/491.70	c  465s |      14 |  2366770 |    62352 |  1269531      0 |      641 |     7503
494.11/494.29	c  467s |      14 |  2367230 |    62752 |  1269531      0 |      641 |     7503
496.41/496.52	c  470s |      14 |  2367591 |    63052 |  1269531      0 |      641 |     7503
498.41/498.55	c  472s |      14 |  2367957 |    63352 |  1269531      0 |      641 |     7503
500.42/500.57	c  474s |      14 |  2368297 |    63652 |  1269531      0 |      641 |     7503
503.01/503.13	c  476s |      14 |  2368743 |    64052 |  1269531      0 |      641 |     7503
505.01/505.18	c  478s |      14 |  2369070 |    64352 |  1269531      0 |      641 |     7503
507.41/507.56	c  481s |      14 |  2369512 |    64752 |  1269531      0 |      641 |     7503
509.61/509.76	c  483s |      14 |  2369838 |    65052 |  1269531      0 |      641 |     7503
512.21/512.38	c  486s |      14 |  2370271 |    65452 |  1269531      0 |      641 |     7503
514.61/514.76	c  488s |      14 |  2370732 |    65752 |  1269531      0 |      641 |     7503
517.31/517.42	c  491s |      14 |  2371075 |    66052 |  1269531      0 |      641 |     7503
519.61/519.78	c  493s |      14 |  2371430 |    66352 |  1269531      0 |      641 |     7503
521.81/521.93	c  495s |      14 |  2371759 |    66652 |  1269531      0 |      641 |     7503
524.11/524.21	c  497s |      14 |  2372107 |    66952 |  1269531      0 |      641 |     7503
526.51/526.68	c  500s |      14 |  2372495 |    67252 |  1269531      0 |      641 |     7503
528.71/528.85	c  502s |      14 |  2372848 |    67552 |  1269531      0 |      641 |     7503
531.11/531.22	c  504s |      14 |  2373196 |    67852 |  1269531      0 |      641 |     7503
533.21/533.34	c  507s |      14 |  2373541 |    68152 |  1269531      0 |      641 |     7503
535.41/535.58	c  509s |      14 |  2373887 |    68452 |  1269531      0 |      641 |     7503
537.51/537.66	c  511s |      14 |  2374230 |    68752 |  1269531      0 |      641 |     7503
539.71/539.82	c  513s |      14 |  2374573 |    69052 |  1269531      0 |      641 |     7503
541.91/542.02	c  515s |      14 |  2374938 |    69352 |  1269531      0 |      641 |     7503
543.91/544.09	c  517s |      14 |  2375292 |    69652 |  1269531      0 |      641 |     7503
546.21/546.30	c  519s |      14 |  2375652 |    69952 |  1269531      0 |      641 |     7503
548.41/548.52	c  522s |      14 |  2375986 |    70252 |  1269531      0 |      641 |     7503
550.51/550.65	c  524s |      14 |  2376322 |    70552 |  1269531      0 |      641 |     7503
553.01/553.10	c  526s |      14 |  2376661 |    70852 |  1269531      0 |      641 |     7503
555.51/555.69	c  529s |      14 |  2377021 |    71152 |  1269531      0 |      641 |     7503
557.90/558.07	c  531s |      14 |  2377354 |    71452 |  1269531      0 |      641 |     7503
560.10/560.29	c  533s |      14 |  2377685 |    71752 |  1269531      0 |      641 |     7503
562.40/562.57	c  536s |      14 |  2378032 |    72052 |  1269531      0 |      641 |     7503
564.70/564.84	c  538s |      14 |  2378407 |    72352 |  1269531      0 |      641 |     7503
566.70/566.86	c  540s |      14 |  2378675 |    72552 |  1269531      0 |      641 |     7503
569.00/569.13	c  542s |      14 |  2378923 |    72752 |  1269531      0 |      641 |     7503
571.20/571.36	c  545s |      14 |  2379202 |    72952 |  1269531      0 |      641 |     7503
573.80/573.91	c  547s |      14 |  2379424 |    73152 |  1269531      0 |      641 |     7503
576.00/576.18	c  549s |      14 |  2379656 |    73352 |  1269531      0 |      641 |     7503
578.30/578.48	c  552s |      14 |  2379907 |    73552 |  1269531      0 |      641 |     7503
580.60/580.75	c  554s |      14 |  2380132 |    73752 |  1269531      0 |      641 |     7503
582.60/582.76	c  556s |      14 |  2380369 |    73952 |  1269531      0 |      641 |     7503
584.70/584.86	c  558s |      14 |  2380598 |    74152 |  1269531      0 |      641 |     7503
587.00/587.11	c  560s |      14 |  2380841 |    74352 |  1269531      0 |      641 |     7503
589.00/589.19	c  562s |      14 |  2381063 |    74552 |  1269531      0 |      641 |     7503
591.20/591.30	c  564s |      14 |  2381299 |    74752 |  1269531      0 |      641 |     7503
593.40/593.58	c  567s |      14 |  2381550 |    74952 |  1269531      0 |      641 |     7503
596.40/596.54	c  570s |      14 |  2381905 |    75252 |  1269531      0 |      641 |     7503
599.41/599.54	c  573s |      14 |  2382276 |    75552 |  1269531      0 |      641 |     7503
601.80/601.94	c  575s |      14 |  2382501 |    75752 |  1269531      0 |      641 |     7503
604.70/604.87	c  578s |      14 |  2382848 |    76052 |  1269531      0 |      641 |     7503
607.60/607.72	c  581s |      14 |  2383198 |    76352 |  1269531      0 |      641 |     7503
609.80/609.92	c  583s |      14 |  2383528 |    76652 |  1269531      0 |      641 |     7503
612.30/612.41	c  586s |      14 |  2383857 |    76952 |  1269531      0 |      641 |     7503
614.59/614.72	c  588s |      14 |  2384113 |    77152 |  1269531      0 |      641 |     7503
616.79/616.95	c  590s |      14 |  2384342 |    77352 |  1269531      0 |      641 |     7503
619.09/619.28	c  592s |      14 |  2384574 |    77552 |  1269531      0 |      641 |     7503
621.59/621.74	c  595s |      14 |  2384799 |    77752 |  1269531      0 |      641 |     7503
624.19/624.34	c  598s |      14 |  2385016 |    77952 |  1269531      0 |      641 |     7503
626.29/626.41	c  600s |      14 |  2385252 |    78152 |  1269531      0 |      641 |     7503
628.49/628.63	c  602s |      14 |  2385474 |    78352 |  1269531      0 |      641 |     7503
631.09/631.29	c  604s |      14 |  2385728 |    78552 |  1269531      0 |      641 |     7503
633.60/633.73	c  607s |      14 |  2385951 |    78752 |  1269531      0 |      641 |     7503
635.99/636.17	c  609s |      14 |  2386177 |    78952 |  1269531      0 |      641 |     7503
638.09/638.24	c  611s |      14 |  2386413 |    79152 |  1269531      0 |      641 |     7503
640.59/640.79	c  614s |      14 |  2386749 |    79452 |  1269531      0 |      641 |     7503
643.39/643.57	c  617s |      14 |  2387107 |    79752 |  1269531      0 |      641 |     7503
646.28/646.42	c  620s |      14 |  2387489 |    80052 |  1269531      0 |      641 |     7503
648.28/648.46	c  622s |      14 |  2387743 |    80252 |  1269531      0 |      641 |     7503
650.48/650.65	c  624s |      14 |  2387974 |    80452 |  1269531      0 |      641 |     7503
652.58/652.75	c  626s |      14 |  2388192 |    80652 |  1269531      0 |      641 |     7503
655.28/655.40	c  629s |      14 |  2388559 |    80952 |  1269531      0 |      641 |     7503
657.88/658.01	c  631s |      14 |  2388899 |    81252 |  1269531      0 |      641 |     7503
660.48/660.67	c  634s |      14 |  2389228 |    81552 |  1269531      0 |      641 |     7503
662.68/662.84	c  636s |      14 |  2389465 |    81752 |  1269531      0 |      641 |     7503
665.28/665.41	c  639s |      14 |  2389809 |    82052 |  1269531      0 |      641 |     7503
667.97/668.14	c  641s |      14 |  2390141 |    82352 |  1269531      0 |      641 |     7503
670.07/670.29	c  643s |      14 |  2390366 |    82552 |  1269531      0 |      641 |     7503
672.57/672.71	c  646s |      14 |  2390607 |    82752 |  1269531      0 |      641 |     7503
674.77/674.95	c  648s |      14 |  2390844 |    82952 |  1269531      0 |      641 |     7503
677.07/677.27	c  650s |      14 |  2391102 |    83152 |  1269531      0 |      641 |     7503
679.17/679.36	c  653s |      14 |  2391307 |    83352 |  1269531      0 |      641 |     7503
681.47/681.63	c  655s |      14 |  2391609 |    83552 |  1269531      0 |      641 |     7503
683.77/683.96	c  657s |      14 |  2391820 |    83752 |  1269531      0 |      641 |     7503
685.97/686.15	c  659s |      14 |  2392073 |    83952 |  1269531      0 |      641 |     7503
688.37/688.53	c  662s |      14 |  2392321 |    84152 |  1269531      0 |      641 |     7503
691.07/691.27	c  664s |      14 |  2392540 |    84352 |  1269531      0 |      641 |     7503
693.37/693.55	c  667s |      14 |  2392765 |    84552 |  1269531      0 |      641 |     7503
695.97/696.16	c  669s |      14 |  2393021 |    84752 |  1269531      0 |      641 |     7503
698.48/698.68	c  672s |      14 |  2393248 |    84952 |  1269531      0 |      641 |     7503
700.87/701.09	c  674s |      14 |  2393362 |    85052 |  1269531      0 |      641 |     7503
702.97/703.10	c  676s |      14 |  2393595 |    85252 |  1269531      0 |      641 |     7503
705.17/705.30	c  678s |      14 |  2393820 |    85452 |  1269531      0 |      641 |     7503
707.47/707.63	c  681s |      14 |  2394054 |    85652 |  1269531      0 |      641 |     7503
709.77/709.94	c  683s |      14 |  2394271 |    85852 |  1269531      0 |      641 |     7503
711.87/712.00	c  685s |      14 |  2394517 |    86052 |  1269531      0 |      641 |     7503
714.77/714.98	c  688s |      14 |  2394861 |    86352 |  1269531      0 |      641 |     7503
717.27/717.45	c  691s |      14 |  2395070 |    86552 |  1269531      0 |      641 |     7503
719.67/719.81	c  693s |      14 |  2395302 |    86752 |  1269531      0 |      641 |     7503
721.87/722.03	c  695s |      14 |  2395549 |    86952 |  1269531      0 |      641 |     7503
724.77/724.94	c  698s |      14 |  2395777 |    87152 |  1396485      0 |      641 |     7503
727.07/727.27	c  700s |      14 |  2395992 |    87352 |  1396485      0 |      641 |     7503
729.47/729.63	c  703s |      14 |  2396238 |    87552 |  1396485      0 |      641 |     7503
730.37/730.51	c  704s |      15 |  2396353 |    87632 |  1396485      0 |      641 |     7503
736.06/736.27	c  709s |      15 |  2461301 |    87732 |  1396485      0 |      641 |     7503
740.06/740.27	c  713s |      15 |  2491330 |    88332 |  1396485      0 |      642 |     7515
744.76/744.98	c  718s |      15 |  2558784 |    88432 |  1396485      0 |      642 |     7515
746.96/747.10	c  720s |      15 |  2563839 |    88532 |  1396485      0 |      643 |     7527
750.46/750.64	c  724s |      15 |  2568355 |    88932 |  1396485      0 |      644 |     7539
754.06/754.24	c  727s |      15 |  2585268 |    89032 |  1396485      0 |      644 |     7539
756.26/756.46	c  730s |      15 |  2632702 |    89332 |  1396485      0 |      644 |     7539
760.06/760.25	c  733s |      15 |  2668187 |    89832 |  1396485      0 |      644 |     7539
762.95/763.17	c  736s |      15 |  2685377 |    90132 |  1396485      0 |      644 |     7539
765.95/766.17	c  739s |      15 |  2716063 |    90632 |  1396485      0 |      644 |     7539
768.15/768.36	c  742s |      15 |  2716316 |    90832 |  1396485      0 |      644 |     7539
770.25/770.48	c  744s |      15 |  2716552 |    91032 |  1396485      0 |      644 |     7539
772.35/772.55	c  746s |      15 |  2716830 |    91232 |  1396485      0 |      644 |     7539
774.36/774.56	c  748s |      15 |  2717067 |    91432 |  1396485      0 |      644 |     7539
776.46/776.69	c  750s |      15 |  2717299 |    91632 |  1396485      0 |      644 |     7539
779.35/779.51	c  753s |      15 |  2717687 |    91932 |  1396485      0 |      644 |     7539
781.35/781.55	c  755s |      15 |  2717903 |    92132 |  1396485      0 |      644 |     7539
784.15/784.32	c  758s |      15 |  2718273 |    92432 |  1396485      0 |      644 |     7539
786.65/786.83	c  760s |      15 |  2722472 |    92632 |  1396485      0 |      644 |     7539
789.05/789.28	c  762s |      15 |  2726856 |    92832 |  1396485      0 |      644 |     7539
791.54/791.72	c  765s |      15 |  2733415 |    93032 |  1396485      0 |      644 |     7539
793.84/794.02	c  767s |      15 |  2738065 |    93232 |  1396485      0 |      644 |     7539
796.54/796.77	c  770s |      15 |  2738432 |    93532 |  1396485      0 |      644 |     7539
798.74/798.94	c  772s |      15 |  2738649 |    93732 |  1396485      0 |      644 |     7539
800.75/800.99	c  774s |      15 |  2738918 |    93932 |  1396485      0 |      644 |     7539
802.95/803.19	c  776s |      15 |  2739190 |    94132 |  1396485      0 |      644 |     7539
805.34/805.50	c  779s |      15 |  2739464 |    94332 |  1396485      0 |      644 |     7539
807.45/807.64	c  781s |      15 |  2742547 |    94532 |  1396485      0 |      644 |     7539
810.24/810.44	c  784s |      15 |  2749280 |    94732 |  1396485      0 |      644 |     7539
812.44/812.63	c  786s |      15 |  2831553 |    95232 |  1396485      0 |      644 |     7539
815.14/815.32	c  789s |      15 |  2835598 |    95432 |  1396485      0 |      644 |     7539
817.24/817.47	c  791s |      15 |  2835828 |    95632 |  1396485      0 |      644 |     7539
820.83/821.04	c  794s |      15 |  2836129 |    95832 |  1396485      0 |      644 |     7539
823.53/823.71	c  797s |      15 |  2836539 |    96132 |  1396485      0 |      644 |     7539
825.53/825.71	c  799s |      15 |  2836775 |    96332 |  1396485      0 |      644 |     7539
827.53/827.79	c  801s |      15 |  2837005 |    96532 |  1396485      0 |      644 |     7539
830.23/830.46	c  804s |      15 |  2837425 |    96832 |  1396485      0 |      644 |     7539
833.33/833.55	c  807s |      15 |  2837844 |    97132 |  1396485      0 |      644 |     7539
835.33/835.58	c  809s |      15 |  2838090 |    97332 |  1396485      0 |      644 |     7539
837.63/837.84	c  811s |      15 |  2838317 |    97532 |  1396485      0 |      644 |     7539
839.93/840.10	c  813s |      15 |  2838549 |    97732 |  1396485      0 |      644 |     7539
842.13/842.32	c  816s |      15 |  2838782 |    97932 |  1396485      0 |      644 |     7539
844.23/844.43	c  818s |      15 |  2838994 |    98132 |  1396485      0 |      644 |     7539
847.03/847.27	c  820s |      15 |  2839343 |    98432 |  1396485      0 |      644 |     7539
849.23/849.42	c  823s |      15 |  2839557 |    98632 |  1396485      0 |      644 |     7539
851.63/851.84	c  825s |      15 |  2839792 |    98832 |  1396485      0 |      644 |     7539
853.93/854.16	c  827s |      15 |  2840024 |    99032 |  1396485      0 |      644 |     7539
856.84/857.09	c  830s |      15 |  2840395 |    99332 |  1396485      0 |      644 |     7539
859.73/859.97	c  833s |      15 |  2853381 |    99532 |  1396485      0 |      644 |     7539
862.03/862.29	c  835s |      15 |  2853652 |    99732 |  1396485      0 |      644 |     7539
864.44/864.62	c  838s |      15 |  2853878 |    99932 |  1396485      0 |      644 |     7539
866.74/866.93	c  840s |      15 |  2854110 |   100132 |  1396485      0 |      644 |     7539
869.13/869.37	c  843s |      15 |  2854336 |   100332 |  1396485      0 |      644 |     7539
872.03/872.24	c  845s |      15 |  2854708 |   100632 |  1396485      0 |      644 |     7539
874.13/874.35	c  848s |      15 |  2854950 |   100832 |  1396485      0 |      644 |     7539
876.43/876.62	c  850s |      15 |  2855218 |   101032 |  1396485      0 |      644 |     7539
879.13/879.32	c  853s |      15 |  2855549 |   101332 |  1396485      0 |      644 |     7539
881.23/881.41	c  855s |      15 |  2855791 |   101532 |  1396485      0 |      644 |     7539
883.63/883.86	c  857s |      15 |  2856012 |   101732 |  1396485      0 |      644 |     7539
885.83/886.06	c  859s |      15 |  2856253 |   101932 |  1396485      0 |      644 |     7539
888.33/888.51	c  862s |      15 |  2856499 |   102132 |  1396485      0 |      644 |     7539
890.52/890.76	c  864s |      15 |  2856734 |   102332 |  1396485      0 |      644 |     7539
892.72/892.92	c  866s |      15 |  2856955 |   102532 |  1396485      0 |      644 |     7539
895.02/895.26	c  868s |      15 |  2857173 |   102732 |  1396485      0 |      644 |     7539
897.43/897.66	c  871s |      15 |  2857420 |   102932 |  1396485      0 |      644 |     7539
899.73/899.97	c  873s |      15 |  2857636 |   103132 |  1396485      0 |      644 |     7539
902.02/902.21	c  875s |      15 |  2857870 |   103332 |  1396485      0 |      644 |     7539
904.32/904.51	c  878s |      15 |  2858084 |   103532 |  1396485      0 |      644 |     7539
906.62/906.83	c  880s |      15 |  2858312 |   103732 |  1396485      0 |      644 |     7539
909.12/909.39	c  883s |      15 |  2858562 |   103932 |  1396485      0 |      644 |     7539
911.92/912.16	c  885s |      15 |  2858776 |   104132 |  1396485      0 |      644 |     7539
914.42/914.60	c  888s |      15 |  2859001 |   104332 |  1396485      0 |      644 |     7539
916.82/917.00	c  890s |      15 |  2859239 |   104532 |  1396485      0 |      644 |     7539
918.92/919.11	c  892s |      15 |  2859478 |   104732 |  1396485      0 |      644 |     7539
921.12/921.36	c  895s |      15 |  2859717 |   104932 |  1396485      0 |      644 |     7539
923.72/923.91	c  897s |      15 |  2859932 |   105132 |  1396485      0 |      644 |     7539
926.22/926.43	c  900s |      15 |  2860163 |   105332 |  1396485      0 |      644 |     7539
928.72/928.95	c  902s |      15 |  2860390 |   105532 |  1396485      0 |      644 |     7539
930.82/931.00	c  904s |      15 |  2860622 |   105732 |  1396485      0 |      644 |     7539
932.82/933.09	c  906s |      15 |  2860860 |   105932 |  1396485      0 |      644 |     7539
935.02/935.27	c  908s |      15 |  2861081 |   106132 |  1396485      0 |      644 |     7539
937.12/937.33	c  911s |      15 |  2861306 |   106332 |  1396485      0 |      644 |     7539
939.32/939.51	c  913s |      15 |  2861536 |   106532 |  1396485      0 |      644 |     7539
941.62/941.84	c  915s |      15 |  2861761 |   106732 |  1396485      0 |      644 |     7539
944.11/944.31	c  917s |      15 |  2861985 |   106932 |  1396485      0 |      644 |     7539
946.21/946.48	c  920s |      15 |  2862194 |   107132 |  1396485      0 |      644 |     7539
949.31/949.54	c  923s |      15 |  2862555 |   107432 |  1396485      0 |      644 |     7539
951.32/951.58	c  925s |      15 |  2862776 |   107632 |  1396485      0 |      644 |     7539
953.52/953.76	c  927s |      15 |  2862989 |   107832 |  1396485      0 |      644 |     7539
955.82/956.06	c  929s |      15 |  2863221 |   108032 |  1396485      0 |      644 |     7539
958.11/958.37	c  932s |      15 |  2863451 |   108232 |  1396485      0 |      644 |     7539
960.81/961.03	c  934s |      15 |  2874136 |   108432 |  1396485      0 |      644 |     7539
966.11/966.36	c  940s |      15 |  2895685 |   108632 |  1396485      0 |      644 |     7539
969.01/969.22	c  942s |      15 |  2897617 |   108832 |  1396485      0 |      644 |     7539
971.60/971.87	c  945s |      15 |  2897823 |   109032 |  1396485      0 |      644 |     7539
974.00/974.26	c  947s |      15 |  2898115 |   109232 |  1396485      0 |      644 |     7539
976.40/976.69	c  950s |      15 |  2898358 |   109432 |  1396485      0 |      644 |     7539
978.91/979.16	c  952s |      15 |  2898611 |   109632 |  1396485      0 |      644 |     7539
981.60/981.88	c  955s |      15 |  2898843 |   109832 |  1396485      0 |      644 |     7539
983.60/983.88	c  957s |      15 |  2899065 |   110032 |  1396485      0 |      644 |     7539
986.70/986.92	c  960s |      15 |  2899520 |   110332 |  1396485      0 |      644 |     7539
989.20/989.45	c  963s |      15 |  2899904 |   110532 |  1396485      0 |      644 |     7539
991.49/991.70	c  965s |      15 |  2900123 |   110732 |  1396485      0 |      644 |     7539
993.69/993.99	c  967s |      15 |  2900357 |   110932 |  1396485      0 |      644 |     7539
996.19/996.42	c  970s |      15 |  2900583 |   111132 |  1396485      0 |      644 |     7539
998.60/998.84	c  972s |      15 |  2900815 |   111332 |  1396485      0 |      644 |     7539
1001.19/1001.41	c  975s |      15 |  2901050 |   111532 |  1396485      0 |      644 |     7539
1003.29/1003.54	c  977s |      15 |  2901307 |   111732 |  1396485      0 |      644 |     7539
1005.59/1005.84	c  979s |      15 |  2901514 |   111932 |  1396485      0 |      644 |     7539
1008.09/1008.36	c  982s |      15 |  2901748 |   112132 |  1396485      0 |      644 |     7539
1010.39/1010.68	c  984s |      15 |  2901972 |   112332 |  1396485      0 |      644 |     7539
1012.79/1013.03	c  986s |      15 |  2902212 |   112532 |  1396485      0 |      644 |     7539
1014.79/1015.07	c  988s |      15 |  2902425 |   112732 |  1396485      0 |      644 |     7539
1017.30/1017.60	c  991s |      15 |  2902671 |   112932 |  1396485      0 |      644 |     7539
1019.39/1019.65	c  993s |      15 |  2902906 |   113132 |  1396485      0 |      644 |     7539
1021.59/1021.84	c  995s |      15 |  2903140 |   113332 |  1396485      0 |      644 |     7539
1023.79/1024.02	c  997s |      15 |  2903368 |   113532 |  1396485      0 |      644 |     7539
1026.09/1026.38	c 1000s |      15 |  2903603 |   113732 |  1396485      0 |      644 |     7539
1028.29/1028.53	c 1002s |      15 |  2903816 |   113932 |  1396485      0 |      644 |     7539
1030.69/1030.91	c 1004s |      15 |  2904061 |   114132 |  1396485      0 |      644 |     7539
1033.18/1033.43	c 1007s |      15 |  2904306 |   114332 |  1396485      0 |      644 |     7539
1035.99/1036.23	c 1009s |      15 |  2904554 |   114532 |  1396485      0 |      644 |     7539
1038.58/1038.89	c 1012s |      15 |  2904784 |   114732 |  1396485      0 |      644 |     7539
1040.98/1041.20	c 1014s |      15 |  2905016 |   114932 |  1396485      0 |      644 |     7539
1043.38/1043.65	c 1017s |      15 |  2905254 |   115132 |  1396485      0 |      644 |     7539
1045.78/1046.01	c 1019s |      15 |  2905504 |   115332 |  1396485      0 |      644 |     7539
1047.88/1048.20	c 1021s |      15 |  2905740 |   115532 |  1396485      0 |      644 |     7539
1050.98/1051.24	c 1024s |      15 |  2906083 |   115832 |  1396485      0 |      644 |     7539
1053.18/1053.40	c 1027s |      15 |  2906329 |   116032 |  1396485      0 |      644 |     7539
1055.28/1055.56	c 1029s |      15 |  2906565 |   116232 |  1396485      0 |      644 |     7539
1058.08/1058.32	c 1032s |      15 |  2906899 |   116532 |  1396485      0 |      644 |     7539
1061.08/1061.37	c 1035s |      15 |  2907259 |   116832 |  1396485      0 |      644 |     7539
1063.37/1063.67	c 1037s |      15 |  2907476 |   117032 |  1396485      0 |      644 |     7539
1065.78/1066.09	c 1039s |      15 |  2907713 |   117232 |  1396485      0 |      644 |     7539
1068.07/1068.37	c 1042s |      15 |  2907951 |   117432 |  1396485      0 |      644 |     7539
1070.47/1070.73	c 1044s |      15 |  2908175 |   117632 |  1396485      0 |      644 |     7539
1072.97/1073.28	c 1046s |      15 |  2908416 |   117832 |  1396485      0 |      644 |     7539
1075.37/1075.64	c 1049s |      15 |  2908640 |   118032 |  1396485      0 |      644 |     7539
1077.57/1077.87	c 1051s |      15 |  2908864 |   118232 |  1396485      0 |      644 |     7539
1079.87/1080.12	c 1053s |      15 |  2909081 |   118432 |  1396485      0 |      644 |     7539
1082.27/1082.53	c 1056s |      15 |  2909312 |   118632 |  1396485      0 |      644 |     7539
1084.57/1084.89	c 1058s |      15 |  2909528 |   118832 |  1396485      0 |      644 |     7539
1087.26/1087.56	c 1061s |      15 |  2909757 |   119032 |  1396485      0 |      644 |     7539
1089.87/1090.18	c 1063s |      15 |  2909998 |   119232 |  1396485      0 |      644 |     7539
1092.66/1092.91	c 1066s |      15 |  2910223 |   119432 |  1396485      0 |      644 |     7539
1095.56/1095.89	c 1069s |      15 |  2918924 |   119532 |  1396485      0 |      644 |     7539
1098.86/1099.14	c 1072s |      15 |  2919226 |   119732 |  1396485      0 |      644 |     7539
1102.16/1102.45	c 1076s |      15 |  2919477 |   119932 |  1396485      0 |      644 |     7539
1105.06/1105.33	c 1079s |      15 |  2919719 |   120132 |  1396485      0 |      644 |     7539
1107.66/1107.99	c 1081s |      15 |  2919975 |   120332 |  1396485      0 |      644 |     7539
1110.26/1110.58	c 1084s |      15 |  2920211 |   120532 |  1396485      0 |      644 |     7539
1112.96/1113.28	c 1086s |      15 |  2920438 |   120732 |  1396485      0 |      644 |     7539
1115.96/1116.28	c 1089s |      15 |  2920703 |   120932 |  1396485      0 |      644 |     7539
1118.86/1119.10	c 1092s |      15 |  2920951 |   121132 |  1396485      0 |      644 |     7539
1121.96/1122.28	c 1095s |      15 |  2921188 |   121332 |  1396485      0 |      644 |     7539
1124.76/1125.05	c 1098s |      15 |  2921419 |   121532 |  1396485      0 |      644 |     7539
1127.66/1127.96	c 1101s |      15 |  2921658 |   121732 |  1396485      0 |      644 |     7539
1131.06/1131.36	c 1105s |      15 |  2921893 |   121932 |  1396485      0 |      644 |     7539
1134.05/1134.38	c 1108s |      15 |  2922121 |   122132 |  1396485      0 |      644 |     7539
1136.95/1137.24	c 1110s |      15 |  2922365 |   122332 |  1396485      0 |      644 |     7539
1140.05/1140.32	c 1114s |      15 |  2922608 |   122532 |  1396485      0 |      644 |     7539
1142.76/1143.07	c 1116s |      15 |  2922828 |   122732 |  1396485      0 |      644 |     7539
1145.65/1145.91	c 1119s |      15 |  2923081 |   122932 |  1396485      0 |      644 |     7539
1147.75/1148.04	c 1121s |      15 |  2923338 |   123132 |  1396485      0 |      644 |     7539
1150.25/1150.55	c 1124s |      15 |  2923555 |   123332 |  1396485      0 |      644 |     7539
1152.66/1152.97	c 1126s |      15 |  2923781 |   123532 |  1396485      0 |      644 |     7539
1155.35/1155.67	c 1129s |      15 |  2924017 |   123732 |  1396485      0 |      644 |     7539
1158.35/1158.60	c 1132s |      15 |  2924242 |   123932 |  1396485      0 |      644 |     7539
1161.05/1161.35	c 1135s |      15 |  2924486 |   124132 |  1396485      0 |      644 |     7539
1163.74/1164.03	c 1137s |      15 |  2924716 |   124332 |  1396485      0 |      644 |     7539
1166.34/1166.65	c 1140s |      15 |  2924936 |   124532 |  1396485      0 |      644 |     7539
1168.64/1168.91	c 1142s |      15 |  2925164 |   124732 |  1396485      0 |      644 |     7539
1170.94/1171.29	c 1144s |      15 |  2925405 |   124932 |  1396485      0 |      644 |     7539
1173.54/1173.81	c 1147s |      15 |  2925637 |   125132 |  1396485      0 |      644 |     7539
1176.44/1176.71	c 1150s |      15 |  2925911 |   125332 |  1396485      0 |      644 |     7539
1178.94/1179.23	c 1152s |      15 |  2926165 |   125532 |  1396485      0 |      644 |     7539
1181.03/1181.32	c 1155s |      15 |  2926399 |   125732 |  1396485      0 |      644 |     7539
1183.63/1183.96	c 1157s |      15 |  2926624 |   125932 |  1396485      0 |      644 |     7539
1186.23/1186.58	c 1160s |      15 |  2926860 |   126132 |  1396485      0 |      644 |     7539
1189.23/1189.50	c 1163s |      15 |  2927088 |   126332 |  1396485      0 |      644 |     7539
1191.43/1191.73	c 1165s |      15 |  2927317 |   126532 |  1396485      0 |      644 |     7539
1193.43/1193.75	c 1167s |      15 |  2927535 |   126732 |  1396485      0 |      644 |     7539
1195.73/1196.09	c 1169s |      15 |  2927763 |   126932 |  1396485      0 |      644 |     7539
1197.93/1198.29	c 1171s |      15 |  2927987 |   127132 |  1396485      0 |      644 |     7539
1200.23/1200.56	c 1174s |      15 |  2928213 |   127332 |  1396485      0 |      644 |     7539
1202.83/1203.14	c 1176s |      15 |  2928435 |   127532 |  1396485      0 |      644 |     7539
1205.63/1205.99	c 1179s |      15 |  2928676 |   127732 |  1396485      0 |      644 |     7539
1208.33/1208.63	c 1182s |      15 |  2928929 |   127932 |  1396485      0 |      644 |     7539
1211.23/1211.54	c 1185s |      15 |  2929136 |   128132 |  1396485      0 |      644 |     7539
1214.23/1214.54	c 1188s |      15 |  2929372 |   128332 |  1396485      0 |      644 |     7539
1218.03/1218.33	c 1192s |      15 |  2929621 |   128532 |  1396485      0 |      644 |     7539
1221.03/1221.39	c 1195s |      15 |  2929832 |   128732 |  1396485      0 |      644 |     7539
1223.73/1224.09	c 1197s |      15 |  2930071 |   128932 |  1396485      0 |      644 |     7539
1226.02/1226.37	c 1200s |      15 |  2930296 |   129132 |  1396485      0 |      644 |     7539
1228.32/1228.68	c 1202s |      15 |  2930524 |   129332 |  1396485      0 |      644 |     7539
1230.73/1231.03	c 1204s |      15 |  2930768 |   129532 |  1396485      0 |      644 |     7539
1233.22/1233.50	c 1207s |      15 |  2931003 |   129732 |  1396485      0 |      644 |     7539
1235.42/1235.79	c 1209s |      15 |  2931224 |   129932 |  1396485      0 |      644 |     7539
1238.03/1238.36	c 1212s |      15 |  2931470 |   130132 |  1396485      0 |      644 |     7539
1241.23/1241.56	c 1215s |      15 |  2931691 |   130332 |  1396485      0 |      644 |     7539
1243.63/1243.97	c 1217s |      15 |  2931932 |   130532 |  1396485      0 |      644 |     7539
1246.43/1246.72	c 1220s |      15 |  2932155 |   130732 |  1536134      0 |      644 |     7539
1249.63/1249.96	c 1223s |      15 |  2932381 |   130932 |  1536134      0 |      644 |     7539
1253.02/1253.36	c 1227s |      15 |  2932614 |   131132 |  1536134      0 |      644 |     7539
1256.33/1256.66	c 1230s |      15 |  2932855 |   131332 |  1536134      0 |      644 |     7539
1259.72/1260.07	c 1233s |      15 |  2933071 |   131532 |  1536134      0 |      644 |     7539
1260.12/1260.40	c 1234s |      16 |  2933093 |   131552 |  1536134      0 |      644 |     7539
1262.92/1263.28	c 1236s |      16 |  2946141 |   131652 |  1536134      0 |      644 |     7539
1265.32/1265.66	c 1239s |      16 |  2956307 |   131852 |  1536134      0 |      645 |     7555
1268.52/1268.86	c 1242s |      16 |  2980619 |   131952 |  1536134      0 |      645 |     7555
1271.32/1271.66	c 1245s |      16 |  3000004 |   132052 |  1536134      0 |      645 |     7555
1274.12/1274.41	c 1248s |      16 |  3020759 |   132152 |  1536134      0 |      645 |     7555
1277.42/1277.72	c 1251s |      16 |  3065064 |   132352 |  1536134      0 |      645 |     7555
1279.72/1280.01	c 1253s |      16 |  3079716 |   132452 |  1536134      0 |      645 |     7555
1282.02/1282.34	c 1256s |      16 |  3131712 |   132852 |  1536134      0 |      645 |     7555
1286.62/1286.90	c 1260s |      16 |  3154212 |   133252 |  1536134      0 |      645 |     7555
1289.32/1289.61	c 1263s |      16 |  3154489 |   133452 |  1536134      0 |      645 |     7555
1291.61/1291.91	c 1265s |      16 |  3154767 |   133652 |  1536134      0 |      645 |     7555
1294.31/1294.68	c 1268s |      16 |  3155002 |   133852 |  1536134      0 |      645 |     7555
1297.21/1297.55	c 1271s |      16 |  3155408 |   134052 |  1536134      0 |      645 |     7555
1301.91/1302.20	c 1275s |      16 |  3158938 |   134252 |  1536134      0 |      646 |     7787
1304.51/1304.88	c 1278s |      16 |  3174097 |   134352 |  1536134      0 |      646 |     7787
1307.51/1307.87	c 1281s |      16 |  3198838 |   134552 |  1536134      0 |      646 |     7787
1309.71/1310.01	c 1283s |      16 |  3201182 |   135452 |  1536134      0 |      646 |     7787
1311.71/1312.01	c 1285s |      16 |  3205345 |   135752 |  1536134      0 |      646 |     7787
1315.31/1315.64	c 1289s |      16 |  3223548 |   135852 |  1536134      0 |      646 |     7787
1317.81/1318.19	c 1291s |      16 |  3241311 |   135952 |  1536134      0 |      646 |     7787
1320.31/1320.62	c 1294s |      16 |  3271782 |   136152 |  1536134      0 |      646 |     7787
1322.61/1322.95	c 1296s |      16 |  3274200 |   136952 |  1536134      0 |      646 |     7787
1324.91/1325.27	c 1298s |      16 |  3287514 |   137252 |  1536134      0 |      646 |     7787
1327.61/1327.90	c 1301s |      16 |  3300629 |   137552 |  1536134      0 |      646 |     7787
1330.60/1330.90	c 1304s |      16 |  3311345 |   137752 |  1536134      0 |      646 |     7787
1334.01/1334.35	c 1308s |      16 |  3311581 |   137952 |  1536134      0 |      646 |     7787
1337.42/1337.73	c 1311s |      16 |  3311882 |   138152 |  1536134      0 |      646 |     7787
1340.81/1341.13	c 1314s |      16 |  3312159 |   138352 |  1536134      0 |      646 |     7787
1343.92/1344.21	c 1317s |      16 |  3312419 |   138552 |  1536134      0 |      646 |     7787
1347.61/1347.97	c 1321s |      16 |  3312651 |   138752 |  1536134      0 |      646 |     7787
1351.01/1351.33	c 1325s |      16 |  3312901 |   138952 |  1536134      0 |      646 |     7787
1354.51/1354.81	c 1328s |      16 |  3313126 |   139152 |  1536134      0 |      646 |     7787
1357.30/1357.65	c 1331s |      16 |  3313360 |   139352 |  1536134      0 |      646 |     7787
1360.20/1360.51	c 1334s |      16 |  3313586 |   139552 |  1536134      0 |      646 |     7787
1363.10/1363.43	c 1337s |      16 |  3313829 |   139752 |  1536134      0 |      646 |     7787
1365.91/1366.29	c 1339s |      16 |  3314058 |   139952 |  1536134      0 |      646 |     7787
1369.10/1369.48	c 1343s |      16 |  3314293 |   140152 |  1536134      0 |      646 |     7787
1372.29/1372.68	c 1346s |      16 |  3314531 |   140352 |  1536134      0 |      646 |     7787
1375.81/1376.12	c 1349s |      16 |  3314735 |   140552 |  1536134      0 |      646 |     7787
1379.20/1379.53	c 1353s |      16 |  3314966 |   140752 |  1536134      0 |      646 |     7787
1383.60/1383.97	c 1357s |      16 |  3315195 |   140952 |  1536134      0 |      646 |     7787
1385.80/1386.15	c 1359s |      16 |  3315433 |   141152 |  1536134      0 |      646 |     7787
1388.00/1388.35	c 1362s |      16 |  3315659 |   141352 |  1536134      0 |      646 |     7787
1390.10/1390.48	c 1364s |      16 |  3315886 |   141552 |  1536134      0 |      646 |     7787
1392.19/1392.53	c 1366s |      16 |  3316099 |   141752 |  1536134      0 |      646 |     7787
1395.09/1395.43	c 1369s |      16 |  3316438 |   142052 |  1536134      0 |      646 |     7787
1397.80/1398.18	c 1371s |      16 |  3316782 |   142352 |  1536134      0 |      646 |     7787
1400.69/1401.05	c 1374s |      16 |  3317133 |   142652 |  1536134      0 |      646 |     7787
1403.49/1403.80	c 1377s |      16 |  3317345 |   142852 |  1536134      0 |      646 |     7787
1406.19/1406.54	c 1380s |      16 |  3317612 |   143052 |  1536134      0 |      646 |     7787
1408.89/1409.22	c 1382s |      16 |  3317855 |   143252 |  1536134      0 |      646 |     7787
1411.29/1411.68	c 1385s |      16 |  3318082 |   143452 |  1536134      0 |      646 |     7787
1413.49/1413.85	c 1387s |      16 |  3318300 |   143652 |  1536134      0 |      646 |     7787
1415.69/1416.06	c 1389s |      16 |  3318529 |   143852 |  1536134      0 |      646 |     7787
1418.19/1418.56	c 1392s |      16 |  3318737 |   144052 |  1536134      0 |      646 |     7787
1420.19/1420.59	c 1394s |      16 |  3318971 |   144252 |  1536134      0 |      646 |     7787
1422.28/1422.63	c 1396s |      16 |  3319198 |   144452 |  1536134      0 |      646 |     7787
1424.68/1425.01	c 1398s |      16 |  3319421 |   144652 |  1536134      0 |      646 |     7787
1426.88/1427.22	c 1400s |      16 |  3319654 |   144852 |  1536134      0 |      646 |     7787
1429.38/1429.72	c 1403s |      16 |  3319880 |   145052 |  1536134      0 |      646 |     7787
1431.78/1432.16	c 1405s |      16 |  3320105 |   145252 |  1536134      0 |      646 |     7787
1434.38/1434.72	c 1408s |      16 |  3320323 |   145452 |  1536134      0 |      646 |     7787
1436.58/1436.99	c 1410s |      16 |  3320534 |   145652 |  1536134      0 |      646 |     7787
1438.88/1439.20	c 1412s |      16 |  3320773 |   145852 |  1536134      0 |      646 |     7787
1441.18/1441.56	c 1415s |      16 |  3321001 |   146052 |  1536134      0 |      646 |     7787
1443.28/1443.60	c 1417s |      16 |  3321231 |   146252 |  1536134      0 |      646 |     7787
1445.68/1446.09	c 1419s |      16 |  3321476 |   146452 |  1536134      0 |      646 |     7787
1448.08/1448.45	c 1422s |      16 |  3321702 |   146652 |  1536134      0 |      646 |     7787
1450.18/1450.58	c 1424s |      16 |  3321926 |   146852 |  1536134      0 |      646 |     7787
1452.39/1452.75	c 1426s |      16 |  3322156 |   147052 |  1536134      0 |      646 |     7787
1454.49/1454.84	c 1428s |      16 |  3322378 |   147252 |  1536134      0 |      646 |     7787
1456.59/1456.96	c 1430s |      16 |  3322607 |   147452 |  1536134      0 |      646 |     7787
1458.59/1458.98	c 1432s |      16 |  3322825 |   147652 |  1536134      0 |      646 |     7787
1460.79/1461.18	c 1434s |      16 |  3323056 |   147852 |  1536134      0 |      646 |     7787
1462.88/1463.21	c 1436s |      16 |  3323268 |   148052 |  1536134      0 |      646 |     7787
1465.99/1466.34	c 1440s |      16 |  3323600 |   148352 |  1536134      0 |      646 |     7787
1468.78/1469.15	c 1442s |      16 |  3323926 |   148652 |  1536134      0 |      646 |     7787
1471.38/1471.79	c 1445s |      16 |  3324161 |   148852 |  1536134      0 |      646 |     7787
1473.69/1474.03	c 1447s |      16 |  3324358 |   149052 |  1536134      0 |      646 |     7787
1475.99/1476.35	c 1450s |      16 |  3324587 |   149252 |  1536134      0 |      646 |     7787
1478.28/1478.68	c 1452s |      16 |  3324808 |   149452 |  1536134      0 |      646 |     7787
1480.39/1480.78	c 1454s |      16 |  3325028 |   149652 |  1536134      0 |      646 |     7787
1482.77/1483.15	c 1456s |      16 |  3325260 |   149852 |  1536134      0 |      646 |     7787
1484.97/1485.33	c 1459s |      16 |  3325469 |   150052 |  1536134      0 |      646 |     7787
1487.07/1487.41	c 1461s |      16 |  3325697 |   150252 |  1536134      0 |      646 |     7787
1490.07/1490.42	c 1464s |      16 |  3326019 |   150552 |  1536134      0 |      646 |     7787
1492.77/1493.19	c 1466s |      16 |  3326247 |   150752 |  1536134      0 |      646 |     7787
1495.37/1495.74	c 1469s |      16 |  3326454 |   150952 |  1536134      0 |      646 |     7787
1498.17/1498.52	c 1472s |      16 |  3326685 |   151152 |  1536134      0 |      646 |     7787
1500.57/1500.91	c 1474s |      16 |  3326912 |   151352 |  1536134      0 |      646 |     7787
1503.37/1503.72	c 1477s |      16 |  3327130 |   151552 |  1536134      0 |      646 |     7787
1505.86/1506.21	c 1479s |      16 |  3327356 |   151752 |  1536134      0 |      646 |     7787
1508.26/1508.63	c 1482s |      16 |  3327566 |   151952 |  1536134      0 |      646 |     7787
1510.66/1511.02	c 1484s |      16 |  3327780 |   152152 |  1536134      0 |      646 |     7787
1512.96/1513.36	c 1487s |      16 |  3328000 |   152352 |  1536134      0 |      646 |     7787
1515.06/1515.48	c 1489s |      16 |  3328216 |   152552 |  1536134      0 |      646 |     7787
1517.56/1517.98	c 1491s |      16 |  3328427 |   152752 |  1536134      0 |      646 |     7787
1520.35/1520.72	c 1494s |      16 |  3328673 |   152952 |  1536134      0 |      646 |     7787
1523.05/1523.42	c 1497s |      16 |  3328914 |   153152 |  1536134      0 |      646 |     7787
1525.75/1526.18	c 1499s |      16 |  3329144 |   153352 |  1536134      0 |      646 |     7787
1528.85/1529.25	c 1502s |      16 |  3329373 |   153552 |  1536134      0 |      646 |     7787
1531.96/1532.36	c 1506s |      16 |  3329584 |   153752 |  1536134      0 |      646 |     7787
1534.55/1534.90	c 1508s |      16 |  3329793 |   153952 |  1536134      0 |      646 |     7787
1536.85/1537.25	c 1510s |      16 |  3330010 |   154152 |  1536134      0 |      646 |     7787
1539.15/1539.54	c 1513s |      16 |  3330217 |   154352 |  1536134      0 |      646 |     7787
1541.64/1542.08	c 1515s |      16 |  3330452 |   154552 |  1536134      0 |      646 |     7787
1544.24/1544.70	c 1518s |      16 |  3330672 |   154752 |  1536134      0 |      646 |     7787
1547.45/1547.89	c 1521s |      16 |  3330893 |   154952 |  1536134      0 |      646 |     7787
1550.04/1550.45	c 1524s |      16 |  3331115 |   155152 |  1536134      0 |      646 |     7787
1552.34/1552.72	c 1526s |      16 |  3331343 |   155352 |  1536134      0 |      646 |     7787
1554.74/1555.16	c 1528s |      16 |  3331565 |   155552 |  1536134      0 |      646 |     7787
1557.14/1557.54	c 1531s |      16 |  3331789 |   155752 |  1536134      0 |      646 |     7787
1559.64/1560.04	c 1533s |      16 |  3332003 |   155952 |  1536134      0 |      646 |     7787
1562.13/1562.56	c 1536s |      16 |  3332231 |   156152 |  1536134      0 |      646 |     7787
1564.53/1564.98	c 1538s |      16 |  3332449 |   156352 |  1536134      0 |      646 |     7787
1567.24/1567.64	c 1541s |      16 |  3332678 |   156552 |  1536134      0 |      646 |     7787
1569.83/1570.23	c 1543s |      16 |  3332888 |   156752 |  1536134      0 |      646 |     7787
1572.43/1572.80	c 1546s |      16 |  3333129 |   156952 |  1536134      0 |      646 |     7787
1574.94/1575.35	c 1549s |      16 |  3333352 |   157152 |  1536134      0 |      646 |     7787
1577.23/1577.70	c 1551s |      16 |  3333553 |   157352 |  1536134      0 |      646 |     7787
1579.83/1580.20	c 1553s |      16 |  3333789 |   157552 |  1536134      0 |      646 |     7787
1582.83/1583.24	c 1556s |      16 |  3333995 |   157752 |  1536134      0 |      646 |     7787
1585.44/1585.86	c 1559s |      16 |  3334212 |   157952 |  1536134      0 |      646 |     7787
1588.93/1589.30	c 1562s |      16 |  3334443 |   158152 |  1536134      0 |      646 |     7787
1591.73/1592.18	c 1565s |      16 |  3334664 |   158352 |  1536134      0 |      646 |     7787
1594.64/1595.03	c 1568s |      16 |  3334872 |   158552 |  1536134      0 |      646 |     7787
1597.53/1597.97	c 1571s |      16 |  3335080 |   158752 |  1536134      0 |      646 |     7787
1601.93/1602.32	c 1576s |      16 |  3335297 |   158952 |  1536134      0 |      646 |     7787
1604.13/1604.50	c 1578s |      16 |  3335500 |   159152 |  1536134      0 |      646 |     7787
1606.63/1607.06	c 1580s |      16 |  3335728 |   159352 |  1536134      0 |      646 |     7787
1608.83/1609.26	c 1582s |      16 |  3335934 |   159552 |  1536134      0 |      646 |     7787
1611.13/1611.60	c 1585s |      16 |  3336145 |   159752 |  1536134      0 |      646 |     7787
1614.12/1614.50	c 1588s |      16 |  3336368 |   159952 |  1536134      0 |      646 |     7787
1616.63/1617.03	c 1590s |      16 |  3336588 |   160152 |  1536134      0 |      646 |     7787
1619.12/1619.57	c 1593s |      16 |  3336793 |   160352 |  1536134      0 |      646 |     7787
1621.22/1621.62	c 1595s |      16 |  3337012 |   160552 |  1536134      0 |      646 |     7787
1624.22/1624.60	c 1598s |      16 |  3337341 |   160852 |  1536134      0 |      646 |     7787
1626.53/1626.97	c 1600s |      16 |  3337560 |   161052 |  1536134      0 |      646 |     7787
1628.73/1629.11	c 1602s |      16 |  3337780 |   161252 |  1536134      0 |      646 |     7787
1630.82/1631.22	c 1604s |      16 |  3337991 |   161452 |  1536134      0 |      646 |     7787
1633.32/1633.78	c 1607s |      16 |  3338219 |   161652 |  1536134      0 |      646 |     7787
1636.82/1637.24	c 1610s |      16 |  3338433 |   161852 |  1536134      0 |      646 |     7787
1640.42/1640.86	c 1614s |      16 |  3338649 |   162052 |  1536134      0 |      646 |     7787
1643.52/1643.97	c 1617s |      16 |  3338858 |   162252 |  1536134      0 |      646 |     7787
1646.62/1647.05	c 1620s |      16 |  3339078 |   162452 |  1536134      0 |      646 |     7787
1649.52/1649.98	c 1623s |      16 |  3339324 |   162652 |  1536134      0 |      646 |     7787
1652.72/1653.16	c 1626s |      16 |  3339552 |   162852 |  1536134      0 |      646 |     7787
1655.52/1655.98	c 1629s |      16 |  3339765 |   163052 |  1536134      0 |      646 |     7787
1658.52/1658.97	c 1632s |      16 |  3339981 |   163252 |  1536134      0 |      646 |     7787
1661.62/1662.01	c 1635s |      16 |  3340206 |   163452 |  1536134      0 |      646 |     7787
1664.72/1665.15	c 1638s |      16 |  3340428 |   163652 |  1536134      0 |      646 |     7787
1668.01/1668.44	c 1642s |      16 |  3340652 |   163852 |  1536134      0 |      646 |     7787
1671.31/1671.77	c 1645s |      16 |  3340862 |   164052 |  1536134      0 |      646 |     7787
1674.41/1674.86	c 1648s |      16 |  3341088 |   164252 |  1536134      0 |      646 |     7787
1677.41/1677.89	c 1651s |      16 |  3341301 |   164452 |  1536134      0 |      646 |     7787
1680.91/1681.32	c 1655s |      16 |  3341526 |   164652 |  1536134      0 |      646 |     7787
1683.82/1684.23	c 1657s |      16 |  3341738 |   164852 |  1536134      0 |      646 |     7787
1687.21/1687.68	c 1661s |      16 |  3341958 |   165052 |  1536134      0 |      646 |     7787
1690.32/1690.80	c 1664s |      16 |  3342166 |   165252 |  1536134      0 |      646 |     7787
1693.81/1694.24	c 1667s |      16 |  3342425 |   165452 |  1536134      0 |      646 |     7787
1696.81/1697.25	c 1670s |      16 |  3342649 |   165652 |  1536134      0 |      646 |     7787
1699.51/1699.99	c 1673s |      16 |  3342887 |   165852 |  1536134      0 |      646 |     7787
1701.71/1702.17	c 1675s |      16 |  3343120 |   166052 |  1536134      0 |      646 |     7787
1705.01/1705.49	c 1679s |      16 |  3343347 |   166252 |  1536134      0 |      646 |     7787
1707.91/1708.38	c 1682s |      16 |  3343579 |   166452 |  1536134      0 |      646 |     7787
1710.71/1711.10	c 1684s |      16 |  3343806 |   166652 |  1536134      0 |      646 |     7787
1713.61/1714.03	c 1687s |      16 |  3344041 |   166852 |  1536134      0 |      646 |     7787
1716.11/1716.52	c 1690s |      16 |  3344255 |   167052 |  1536134      0 |      646 |     7787
1718.80/1719.20	c 1692s |      16 |  3344472 |   167252 |  1536134      0 |      646 |     7787
1721.40/1721.85	c 1695s |      16 |  3344681 |   167452 |  1536134      0 |      646 |     7787
1724.20/1724.63	c 1698s |      16 |  3344899 |   167652 |  1536134      0 |      646 |     7787
1727.00/1727.43	c 1701s |      16 |  3345125 |   167852 |  1536134      0 |      646 |     7787
1729.60/1730.06	c 1703s |      16 |  3345347 |   168052 |  1536134      0 |      646 |     7787
1732.11/1732.55	c 1706s |      16 |  3345556 |   168252 |  1536134      0 |      646 |     7787
1734.90/1735.30	c 1708s |      16 |  3345783 |   168452 |  1536134      0 |      646 |     7787
1738.50/1738.90	c 1712s |      16 |  3345999 |   168652 |  1536134      0 |      646 |     7787
1741.70/1742.11	c 1715s |      16 |  3346223 |   168852 |  1536134      0 |      646 |     7787
1744.31/1744.77	c 1718s |      16 |  3346440 |   169052 |  1536134      0 |      646 |     7787
1747.10/1747.54	c 1721s |      16 |  3346659 |   169252 |  1536134      0 |      646 |     7787
1749.40/1749.88	c 1723s |      16 |  3346875 |   169452 |  1536134      0 |      646 |     7787
1752.80/1753.29	c 1726s |      16 |  3347091 |   169652 |  1536134      0 |      646 |     7787
1756.00/1756.45	c 1730s |      16 |  3347320 |   169852 |  1536134      0 |      646 |     7787
1758.61/1759.05	c 1732s |      16 |  3347536 |   170052 |  1536134      0 |      646 |     7787
1762.90/1763.35	c 1737s |      16 |  3347772 |   170252 |  1536134      0 |      646 |     7787
1765.10/1765.58	c 1739s |      16 |  3347993 |   170452 |  1536134      0 |      646 |     7787
1767.50/1767.97	c 1741s |      16 |  3348221 |   170652 |  1536134      0 |      646 |     7787
1769.80/1770.22	c 1743s |      16 |  3348432 |   170852 |  1536134      0 |      646 |     7787
1771.80/1772.28	c 1745s |      16 |  3348674 |   171052 |  1536134      0 |      646 |     7787
1774.29/1774.75	c 1748s |      16 |  3348872 |   171252 |  1536134      0 |      646 |     7787
1776.99/1777.41	c 1751s |      16 |  3349097 |   171452 |  1536134      0 |      646 |     7787
1779.60/1780.05	c 1753s |      16 |  3349319 |   171652 |  1536134      0 |      646 |     7787
1781.90/1782.35	c 1756s |      16 |  3349532 |   171852 |  1536134      0 |      646 |     7787
1784.40/1784.82	c 1758s |      16 |  3349751 |   172052 |  1536134      0 |      646 |     7787
1786.60/1787.04	c 1760s |      16 |  3349977 |   172252 |  1536134      0 |      646 |     7787
1788.90/1789.32	c 1763s |      16 |  3350203 |   172452 |  1536134      0 |      646 |     7787
1791.50/1791.94	c 1765s |      16 |  3350418 |   172652 |  1536134      0 |      646 |     7787
1794.40/1794.84	c 1768s |      16 |  3350638 |   172852 |  1536134      0 |      646 |     7787
1796.70/1797.15	c 1770s |      16 |  3350862 |   173052 |  1536134      0 |      646 |     7787
1798.99/1799.41	c 1773s |      16 |  3351079 |   173252 |  1536134      0 |      646 |     7787

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

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

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


[startup+0 s]
/proc/loadavg: 2.11 2.14 2.09 2/180 26306
/proc/meminfo: memFree=29947448/32872528 swapFree=534252/566956
[pid=26306] ppid=26303 vsize=704956 CPUtime=0 cores=1,3,5,7
/proc/26306/stat : 26306 (toysat) R 26303 26306 24407 0 -1 4202496 2625 0 0 0 0 0 0 0 20 0 4 0 31309838 721874944 3496 33554432000 4194304 16246674 140736165298896 140736165298320 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26306/statm: 176751 3506 441 2943 0 173645 0
[pid=26306/tid=26307] ppid=26303 vsize=722364 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26307/stat : 26307 (toysat) S 26303 26306 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309838 739700736 3566 33554432000 4194304 16246674 140736165298896 140343154552048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26306/tid=26308] ppid=26303 vsize=726460 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26308/stat : 26308 (toysat) S 26303 26306 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31309838 743895040 3582 33554432000 4194304 16246674 140736165298896 140343144062192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26306/tid=26309] ppid=26303 vsize=731580 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26309/stat : 26309 (toysat) S 26303 26306 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309838 749137920 3600 33554432000 4194304 16246674 140736165298896 140343022447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.11 2.14 2.09 2/180 26306
/proc/meminfo: memFree=29947448/32872528 swapFree=534252/566956
[pid=26306] ppid=26303 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/26306/stat : 26306 (toysat) R 26303 26306 24407 0 -1 4202496 30099 0 0 0 5 4 0 0 20 0 4 0 31309838 1249447936 30908 33554432000 4194304 16246674 140736165298896 140736165298208 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26306/statm: 305041 30908 801 2943 0 301935 0
[pid=26306/tid=26307] ppid=26303 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26307/stat : 26307 (toysat) S 26303 26306 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309838 1249447936 30908 33554432000 4194304 16246674 140736165298896 140343154552048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26306/tid=26308] ppid=26303 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26308/stat : 26308 (toysat) S 26303 26306 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31309838 1249447936 30908 33554432000 4194304 16246674 140736165298896 140343144062192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26306/tid=26309] ppid=26303 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26309/stat : 26309 (toysat) S 26303 26306 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309838 1249447936 30908 33554432000 4194304 16246674 140736165298896 140343022447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200545 s]
/proc/loadavg: 2.11 2.14 2.09 2/180 26306
/proc/meminfo: memFree=29947448/32872528 swapFree=534252/566956
[pid=26306] ppid=26303 vsize=1309252 CPUtime=0.19 cores=1,3,5,7
/proc/26306/stat : 26306 (toysat) R 26303 26306 24407 0 -1 4202496 51703 0 0 0 12 7 0 0 20 0 4 0 31309838 1340674048 53023 33554432000 4194304 16246674 140736165298896 140736165298208 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26306/statm: 327313 53030 801 2943 0 324207 0
[pid=26306/tid=26307] ppid=26303 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26307/stat : 26307 (toysat) S 26303 26306 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309838 1340674048 53035 33554432000 4194304 16246674 140736165298896 140343154552048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26306/tid=26308] ppid=26303 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26308/stat : 26308 (toysat) S 26303 26306 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31309838 1340674048 53039 33554432000 4194304 16246674 140736165298896 140343144062192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26306/tid=26309] ppid=26303 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26309/stat : 26309 (toysat) S 26303 26306 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309838 1340674048 53043 33554432000 4194304 16246674 140736165298896 140343022447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1309252

[startup+0.300504 s]
/proc/loadavg: 2.11 2.14 2.09 2/180 26306
/proc/meminfo: memFree=29947448/32872528 swapFree=534252/566956
[pid=26306] ppid=26303 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/26306/stat : 26306 (toysat) R 26303 26306 24407 0 -1 4202496 62125 0 0 0 20 9 0 0 20 0 4 0 31309838 1344868352 63445 33554432000 4194304 16246674 140736165298896 140736165298208 4206864 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26306/statm: 328337 63445 801 2943 0 325231 0
[pid=26306/tid=26307] ppid=26303 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26307/stat : 26307 (toysat) S 26303 26306 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309838 1344868352 63445 33554432000 4194304 16246674 140736165298896 140343154552048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26306/tid=26308] ppid=26303 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26308/stat : 26308 (toysat) S 26303 26306 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31309838 1344868352 63445 33554432000 4194304 16246674 140736165298896 140343144062192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26306/tid=26309] ppid=26303 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26309/stat : 26309 (toysat) S 26303 26306 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309838 1344868352 63445 33554432000 4194304 16246674 140736165298896 140343022447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700431 s]
/proc/loadavg: 2.11 2.14 2.09 2/180 26306
/proc/meminfo: memFree=29947448/32872528 swapFree=534252/566956
[pid=26306] ppid=26303 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/26306/stat : 26306 (toysat) R 26303 26306 24407 0 -1 4202496 71352 0 0 0 59 10 0 0 20 0 4 0 31309838 1345916928 72672 33554432000 4194304 16246674 140736165298896 140736165296704 7364020 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26306/statm: 328593 72672 801 2943 0 325487 0
[pid=26306/tid=26307] ppid=26303 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26307/stat : 26307 (toysat) S 26303 26306 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309838 1345916928 72672 33554432000 4194304 16246674 140736165298896 140343154552048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26306/tid=26308] ppid=26303 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26308/stat : 26308 (toysat) S 26303 26306 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31309838 1345916928 72672 33554432000 4194304 16246674 140736165298896 140343144062192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26306/tid=26309] ppid=26303 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26309/stat : 26309 (toysat) S 26303 26306 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309838 1345916928 72672 33554432000 4194304 16246674 140736165298896 140343022447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50043 s]
/proc/loadavg: 2.11 2.14 2.09 3/184 26310
/proc/meminfo: memFree=29620228/32872528 swapFree=534252/566956
[pid=26306] ppid=26303 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/26306/stat : 26306 (toysat) R 26303 26306 24407 0 -1 4202496 85017 0 0 0 137 12 0 0 20 0 4 0 31309838 1345916928 86337 33554432000 4194304 16246674 140736165298896 140736165281888 7374465 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26306/statm: 328593 86337 802 2943 0 325487 0
[pid=26306/tid=26307] ppid=26303 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26307/stat : 26307 (toysat) S 26303 26306 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309838 1345916928 86337 33554432000 4194304 16246674 140736165298896 140343154552048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26306/tid=26308] ppid=26303 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26308/stat : 26308 (toysat) S 26303 26306 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31309838 1345916928 86337 33554432000 4194304 16246674 140736165298896 140343144062192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26306/tid=26309] ppid=26303 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26309/stat : 26309 (toysat) S 26303 26306 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309838 1345916928 86337 33554432000 4194304 16246674 140736165298896 140343022447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10044 s]
/proc/loadavg: 2.11 2.14 2.09 3/184 26310
/proc/meminfo: memFree=29524144/32872528 swapFree=534252/566956
[pid=26306] ppid=26303 vsize=1321540 CPUtime=3.09 cores=1,3,5,7
/proc/26306/stat : 26306 (toysat) R 26303 26306 24407 0 -1 4202496 120085 0 0 0 292 17 0 0 20 0 4 0 31309838 1353256960 121405 33554432000 4194304 16246674 140736165298896 140736165296704 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26306/statm: 330385 121405 802 2943 0 327279 0
[pid=26306/tid=26307] ppid=26303 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26307/stat : 26307 (toysat) S 26303 26306 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309838 1353256960 121405 33554432000 4194304 16246674 140736165298896 140343154552048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26306/tid=26308] ppid=26303 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26308/stat : 26308 (toysat) S 26303 26306 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31309838 1353256960 121405 33554432000 4194304 16246674 140736165298896 140343144062192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26306/tid=26309] ppid=26303 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26309/stat : 26309 (toysat) S 26303 26306 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309838 1353256960 121405 33554432000 4194304 16246674 140736165298896 140343022447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1321540

[startup+6.30044 s]
/proc/loadavg: 2.18 2.16 2.10 3/184 26310
/proc/meminfo: memFree=29028768/32872528 swapFree=534252/566956
[pid=26306] ppid=26303 vsize=1370692 CPUtime=6.29 cores=1,3,5,7
/proc/26306/stat : 26306 (toysat) R 26303 26306 24407 0 -1 4202496 221752 0 0 0 597 32 0 0 20 0 4 0 31309838 1403588608 231759 33554432000 4194304 16246674 140736165298896 140736165280768 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26306/statm: 342673 231759 802 2943 0 339567 0
[pid=26306/tid=26307] ppid=26303 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26307/stat : 26307 (toysat) S 26303 26306 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309838 1403588608 231759 33554432000 4194304 16246674 140736165298896 140343154552048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26306/tid=26308] ppid=26303 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26308/stat : 26308 (toysat) S 26303 26306 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31309838 1403588608 231759 33554432000 4194304 16246674 140736165298896 140343144062192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26306/tid=26309] ppid=26303 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26309/stat : 26309 (toysat) S 26303 26306 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309838 1403588608 231759 33554432000 4194304 16246674 140736165298896 140343022447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1370692

[startup+12.7004 s]
/proc/loadavg: 2.17 2.15 2.10 3/184 26310
/proc/meminfo: memFree=28661508/32872528 swapFree=534252/566956
[pid=26306] ppid=26303 vsize=1519172 CPUtime=12.69 cores=1,3,5,7
/proc/26306/stat : 26306 (toysat) R 26303 26306 24407 0 -1 4202496 308159 0 0 0 1226 43 0 0 20 0 4 0 31309838 1555632128 321743 33554432000 4194304 16246674 140736165298896 140736165296704 5741264 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26306/statm: 379793 321743 848 2943 0 376687 0
[pid=26306/tid=26307] ppid=26303 vsize=1519172 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26307/stat : 26307 (toysat) S 26303 26306 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309838 1555632128 321743 33554432000 4194304 16246674 140736165298896 140343154552048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26306/tid=26308] ppid=26303 vsize=1519172 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26308/stat : 26308 (toysat) S 26303 26306 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31309838 1555632128 321743 33554432000 4194304 16246674 140736165298896 140343144062192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26306/tid=26309] ppid=26303 vsize=1519172 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26309/stat : 26309 (toysat) S 26303 26306 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309838 1555632128 321743 33554432000 4194304 16246674 140736165298896 140343022447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1519172

[startup+25.5005 s]
/proc/loadavg: 2.13 2.14 2.09 3/183 26310
/proc/meminfo: memFree=27848580/32872528 swapFree=534252/566956
[pid=26306] ppid=26303 vsize=2331204 CPUtime=25.49 cores=1,3,5,7
/proc/26306/stat : 26306 (toysat) R 26303 26306 24407 0 -1 4202496 511170 0 0 0 2478 71 0 0 20 0 4 0 31309838 2387152896 524754 33554432000 4194304 16246674 140736165298896 140736165298072 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26306/statm: 582801 524754 848 2943 0 579695 0
[pid=26306/tid=26307] ppid=26303 vsize=2331204 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26307/stat : 26307 (toysat) S 26303 26306 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309838 2387152896 524754 33554432000 4194304 16246674 140736165298896 140343154552048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26306/tid=26308] ppid=26303 vsize=2331204 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26308/stat : 26308 (toysat) S 26303 26306 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31309838 2387152896 524754 33554432000 4194304 16246674 140736165298896 140343144062192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26306/tid=26309] ppid=26303 vsize=2331204 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26309/stat : 26309 (toysat) S 26303 26306 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309838 2387152896 524754 33554432000 4194304 16246674 140736165298896 140343022447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2331204

[startup+51.1005 s]
/proc/loadavg: 2.16 2.15 2.09 3/183 26310
/proc/meminfo: memFree=27426732/32872528 swapFree=534252/566956
[pid=26306] ppid=26303 vsize=2752068 CPUtime=51.08 cores=1,3,5,7
/proc/26306/stat : 26306 (toysat) R 26303 26306 24407 0 -1 4202496 616432 0 0 0 5019 89 0 0 20 0 4 0 31309838 2818117632 630016 33554432000 4194304 16246674 140736165298896 140736165296704 5600384 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26306/statm: 688017 630016 893 2943 0 684911 0
[pid=26306/tid=26307] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26307/stat : 26307 (toysat) S 26303 26306 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630016 33554432000 4194304 16246674 140736165298896 140343154552048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26306/tid=26308] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26308/stat : 26308 (toysat) S 26303 26306 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630016 33554432000 4194304 16246674 140736165298896 140343144062192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26306/tid=26309] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26309/stat : 26309 (toysat) S 26303 26306 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630016 33554432000 4194304 16246674 140736165298896 140343022447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2752068

[startup+102.301 s]
/proc/loadavg: 2.13 2.14 2.09 3/183 26311
/proc/meminfo: memFree=27426456/32872528 swapFree=534252/566956
[pid=26306] ppid=26303 vsize=2752068 CPUtime=102.28 cores=1,3,5,7
/proc/26306/stat : 26306 (toysat) R 26303 26306 24407 0 -1 4202496 616432 0 0 0 10139 89 0 0 20 0 4 0 31309838 2818117632 630016 33554432000 4194304 16246674 140736165298896 140736165280768 13760237 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26306/statm: 688017 630016 893 2943 0 684911 0
[pid=26306/tid=26307] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26307/stat : 26307 (toysat) S 26303 26306 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630016 33554432000 4194304 16246674 140736165298896 140343154552048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26306/tid=26308] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26308/stat : 26308 (toysat) S 26303 26306 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630016 33554432000 4194304 16246674 140736165298896 140343144062192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26306/tid=26309] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26309/stat : 26309 (toysat) S 26303 26306 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630016 33554432000 4194304 16246674 140736165298896 140343022447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2752068


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

/proc/26306/task/26309/stat : 26309 (toysat) S 26303 26306 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630020 33554432000 4194304 16246674 140736165298896 140343022447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 2752068

[startup+1362.3 s]
/proc/loadavg: 2.23 2.18 2.14 3/183 26393
/proc/meminfo: memFree=27136280/32872528 swapFree=534252/566956
[pid=26306] ppid=26303 vsize=2752068 CPUtime=1362 cores=1,3,5,7
/proc/26306/stat : 26306 (toysat) R 26303 26306 24407 0 -1 4202496 616584 0 0 0 136095 105 0 0 20 0 4 0 31309838 2818117632 630020 33554432000 4194304 16246674 140736165298896 140736165280768 5661532 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26306/statm: 688017 630020 894 2943 0 684911 0
[pid=26306/tid=26307] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26307/stat : 26307 (toysat) S 26303 26306 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630020 33554432000 4194304 16246674 140736165298896 140343154552048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26306/tid=26308] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26308/stat : 26308 (toysat) S 26303 26306 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630020 33554432000 4194304 16246674 140736165298896 140343144062192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26306/tid=26309] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26309/stat : 26309 (toysat) S 26303 26306 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630020 33554432000 4194304 16246674 140736165298896 140343022447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 2752068

[startup+1422.3 s]
/proc/loadavg: 2.21 2.19 2.15 3/183 26394
/proc/meminfo: memFree=27135948/32872528 swapFree=534252/566956
[pid=26306] ppid=26303 vsize=2752068 CPUtime=1421.99 cores=1,3,5,7
/proc/26306/stat : 26306 (toysat) R 26303 26306 24407 0 -1 4202496 616589 0 0 0 142093 106 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140736165280768 5823182 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26306/statm: 688017 630021 895 2943 0 684911 0
[pid=26306/tid=26307] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26307/stat : 26307 (toysat) S 26303 26306 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140343154552048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26306/tid=26308] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26308/stat : 26308 (toysat) S 26303 26306 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140343144062192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26306/tid=26309] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26309/stat : 26309 (toysat) S 26303 26306 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140343022447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 2752068

[startup+1482.3 s]
/proc/loadavg: 2.08 2.15 2.14 3/183 26395
/proc/meminfo: memFree=27136192/32872528 swapFree=534252/566956
[pid=26306] ppid=26303 vsize=2752068 CPUtime=1481.97 cores=1,3,5,7
/proc/26306/stat : 26306 (toysat) R 26303 26306 24407 0 -1 4202496 616601 0 0 0 148090 107 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140736165280768 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26306/statm: 688017 630021 895 2943 0 684911 0
[pid=26306/tid=26307] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26307/stat : 26307 (toysat) S 26303 26306 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140343154552048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26306/tid=26308] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26308/stat : 26308 (toysat) S 26303 26306 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140343144062192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26306/tid=26309] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26309/stat : 26309 (toysat) S 26303 26306 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140343022447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 2752068

[startup+1542.31 s]
/proc/loadavg: 2.06 2.13 2.13 3/183 26397
/proc/meminfo: memFree=27135848/32872528 swapFree=534252/566956
[pid=26306] ppid=26303 vsize=2752068 CPUtime=1541.95 cores=1,3,5,7
/proc/26306/stat : 26306 (toysat) R 26303 26306 24407 0 -1 4202496 616625 0 0 0 154088 107 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140736165280768 13898695 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26306/statm: 688017 630021 895 2943 0 684911 0
[pid=26306/tid=26307] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26307/stat : 26307 (toysat) S 26303 26306 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140343154552048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26306/tid=26308] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26308/stat : 26308 (toysat) S 26303 26306 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140343144062192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26306/tid=26309] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26309/stat : 26309 (toysat) S 26303 26306 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140343022447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 2752068

[startup+1602.3 s]
/proc/loadavg: 2.08 2.12 2.12 3/183 26398
/proc/meminfo: memFree=27136392/32872528 swapFree=534252/566956
[pid=26306] ppid=26303 vsize=2752068 CPUtime=1601.93 cores=1,3,5,7
/proc/26306/stat : 26306 (toysat) R 26303 26306 24407 0 -1 4202496 616639 0 0 0 160083 110 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140736165298208 5523416 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26306/statm: 688017 630021 895 2943 0 684911 0
[pid=26306/tid=26307] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26307/stat : 26307 (toysat) S 26303 26306 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140343154552048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26306/tid=26308] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26308/stat : 26308 (toysat) S 26303 26306 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140343144062192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26306/tid=26309] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26309/stat : 26309 (toysat) S 26303 26306 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140343022447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 2752068

[startup+1662.3 s]
/proc/loadavg: 2.09 2.11 2.12 3/183 26399
/proc/meminfo: memFree=27135788/32872528 swapFree=534252/566956
[pid=26306] ppid=26303 vsize=2752068 CPUtime=1661.92 cores=1,3,5,7
/proc/26306/stat : 26306 (toysat) R 26303 26306 24407 0 -1 4202496 616639 0 0 0 166082 110 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140736165280768 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26306/statm: 688017 630021 895 2943 0 684911 0
[pid=26306/tid=26307] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26307/stat : 26307 (toysat) S 26303 26306 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140343154552048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26306/tid=26308] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26308/stat : 26308 (toysat) S 26303 26306 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140343144062192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26306/tid=26309] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26309/stat : 26309 (toysat) S 26303 26306 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140343022447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 2752068

[startup+1722.3 s]
/proc/loadavg: 2.11 2.12 2.12 3/183 26400
/proc/meminfo: memFree=27135964/32872528 swapFree=534252/566956
[pid=26306] ppid=26303 vsize=2752068 CPUtime=1721.9 cores=1,3,5,7
/proc/26306/stat : 26306 (toysat) R 26303 26306 24407 0 -1 4202496 616639 0 0 0 172080 110 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140736165280768 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26306/statm: 688017 630021 895 2943 0 684911 0
[pid=26306/tid=26307] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26307/stat : 26307 (toysat) S 26303 26306 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140343154552048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26306/tid=26308] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26308/stat : 26308 (toysat) S 26303 26306 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140343144062192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26306/tid=26309] ppid=26303 vsize=2752068 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26309/stat : 26309 (toysat) S 26303 26306 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309838 2818117632 630021 33554432000 4194304 16246674 140736165298896 140343022447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 2752068

[startup+1782.3 s]
/proc/loadavg: 2.18 2.13 2.11 3/184 26404
/proc/meminfo: memFree=27104168/32872528 swapFree=534252/566956
[pid=26306] ppid=26303 vsize=2782788 CPUtime=1781.9 cores=1,3,5,7
/proc/26306/stat : 26306 (toysat) R 26303 26306 24407 0 -1 4202496 624325 0 0 0 178076 114 0 0 20 0 4 0 31309838 2849574912 637701 33554432000 4194304 16246674 140736165298896 140736165280768 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26306/statm: 695697 637701 895 2943 0 692591 0
[pid=26306/tid=26307] ppid=26303 vsize=2782788 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26307/stat : 26307 (toysat) S 26303 26306 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309838 2849574912 637701 33554432000 4194304 16246674 140736165298896 140343154552048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26306/tid=26308] ppid=26303 vsize=2782788 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26308/stat : 26308 (toysat) S 26303 26306 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31309838 2849574912 637701 33554432000 4194304 16246674 140736165298896 140343144062192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26306/tid=26309] ppid=26303 vsize=2782788 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26309/stat : 26309 (toysat) S 26303 26306 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309838 2849574912 637701 33554432000 4194304 16246674 140736165298896 140343022447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 2782788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.13 2.12 2.11 3/183 26404
/proc/meminfo: memFree=27105180/32872528 swapFree=534252/566956
[pid=26306] ppid=26303 vsize=2782788 CPUtime=1800.09 cores=1,3,5,7
/proc/26306/stat : 26306 (toysat) R 26303 26306 24407 0 -1 4202496 624325 0 0 0 179895 114 0 0 20 0 4 0 31309838 2849574912 637701 33554432000 4194304 16246674 140736165298896 140736165280768 5523464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26306/statm: 695697 637701 895 2943 0 692591 0
[pid=26306/tid=26307] ppid=26303 vsize=2782788 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26307/stat : 26307 (toysat) S 26303 26306 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309838 2849574912 637701 33554432000 4194304 16246674 140736165298896 140343154552048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26306/tid=26308] ppid=26303 vsize=2782788 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26308/stat : 26308 (toysat) S 26303 26306 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31309838 2849574912 637701 33554432000 4194304 16246674 140736165298896 140343144062192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26306/tid=26309] ppid=26303 vsize=2782788 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26309/stat : 26309 (toysat) S 26303 26306 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309838 2849574912 637701 33554432000 4194304 16246674 140736165298896 140343022447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2782788

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

[startup+1800.5 s]
/proc/loadavg: 2.13 2.12 2.11 3/183 26404
/proc/meminfo: memFree=27105180/32872528 swapFree=534252/566956
[pid=26306] ppid=26303 vsize=2782788 CPUtime=1800.09 cores=1,3,5,7
/proc/26306/stat : 26306 (toysat) R 26303 26306 24407 0 -1 4202496 624325 0 0 0 179895 114 0 0 20 0 4 0 31309838 2849574912 637701 33554432000 4194304 16246674 140736165298896 140736165280768 5523464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26306/statm: 695697 637701 895 2943 0 692591 0
[pid=26306/tid=26307] ppid=26303 vsize=2782788 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26307/stat : 26307 (toysat) S 26303 26306 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31309838 2849574912 637701 33554432000 4194304 16246674 140736165298896 140343154552048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=26306/tid=26308] ppid=26303 vsize=2782788 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26308/stat : 26308 (toysat) S 26303 26306 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31309838 2849574912 637701 33554432000 4194304 16246674 140736165298896 140343144062192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=26306/tid=26309] ppid=26303 vsize=2782788 CPUtime=0 cores=1,3,5,7
/proc/26306/task/26309/stat : 26309 (toysat) S 26303 26306 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31309838 2849574912 637701 33554432000 4194304 16246674 140736165298896 140343022447792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2782788

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1798.96
CPU system time (s): 1.13983
CPU usage (%): 99.9771
Max. virtual memory (cumulated for all children) (KiB): 2782788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.13983
maximum resident set size= 2550804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 624325
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= 264
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6183 second user time and 7.04393 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-19 01:30:42
IDJOB=4108911
IDBENCH=89692
IDSOLVER=2542
FILE ID=node138/4108911-1466292641
RUNJOBID= node138-1466276409-24424
PBS_JOBID= 19918262
Free space on /tmp= 71668 MiB

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

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

MD5SUM BENCH= 1e275a6bfffefd782bc57067ec81c100
RANDOM SEED=770377132

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29947976 kB
Buffers:          157616 kB
Cached:           343480 kB
SwapCached:          888 kB
Active:          1295584 kB
Inactive:         315040 kB
Active(anon):    1107792 kB
Inactive(anon):     3912 kB
Active(file):     187792 kB
Inactive(file):   311128 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099640 kB
Dirty:             59220 kB
Writeback:             0 kB
AnonPages:       1680120 kB
Mapped:            10856 kB
Shmem:                 0 kB
Slab:             611624 kB
SReclaimable:      54772 kB
SUnreclaim:       556852 kB
KernelStack:        1472 kB
PageTables:         7468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1819436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1136640 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= 71632 MiB
End job on node138 at 2016-06-19 02:00:43