Trace number 4078898

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.61

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K138.opb
MD5SUMb6be79d7c894904bfb5f7c9acfb80f53
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 variables16422
Total number of constraints16700
Number of constraints which are clauses16562
Number of constraints which are cardinality constraints (but not clauses)138
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint138
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 139
Number of bits of the biggest sum of numbers8
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-07T09:52:48+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-4078898-1465285968.opb"]
0.00/0.01	c use --random-gen="209145472 1318995644 3311560769 2607454299 4148697820 1916406993 1021213173 932613585 2070353971 525382578 3250492816 2874381023 1462216007 3579729427 1912913325 986439423 2427621325 878505682 2548131230 512210563 1706204582 1347651737 523983756 264718238 1912362892 1410596536 2415487058 2846480807 1250857869 1759178071 2220806196 3963620931 3231118609 3100770173 4174928223 3566605382 1203021837 1618921467 3412625096 2636272210 3560089476 1223530577 2134833207 3085702187 2947297406 759226171 3271611756 1858602846 1724702918 873139164 4241591537 1157748119 780469507 1025710235 105435443 2446966133 1848746618 2726838663 1540149684 730812790 772291640 1507961966 3768361038 3568442604 94664067 576925941 645982270 875625376 1794896190 2413263530 2948224289 1747592715 767998318 395188323 989375054 2742013708 1720341600 48746629 3007622172 3922315160 1693963285 804387353 2856826320 769510971 490402108 1555898101 837440841 3304083538 43091698 4008485428 460158691 3400233074 2914344668 2665284892 462519979 1290388150 1116884622 943988335 2486679672 211136609 3120970771 1931238930 1802378376 2600987359 3535606401 4188927491 2837742099 2882177438 3895994796 943957659 1112137150 352338656 1193314486 1513706055 1838170961 2998622530 2132276031 1818376017 3900025713 1590984514 971866591 2291052202 2981913089 3188095580 477657199 3295446568 840054183 1028591269 2823783332 3087631600 3756576176 753137447 2395617781 493860990 3947125678 3942876457 785394608 2323007787 30673013 1753944203 2389269578 1001366507 883941588 2290109929 1707295187 858033656 1733540712 2283259827 2913269598 718110637 1580159409 4193524701 460075356 1481708067 2044459303 3363632431 3631629666 2188943861 2532863665 1083817521 1916928029 3011232944 1194700757 112599395 719327426 3397997400 3450732966 2572058814 2708387151 1715332609 2091976125 1602937831 1894783631 2853718863 2950362805 3353859638 2456059129 2157259945 3694603152 1467947126 3679252021 3532272666 2978810251 2117656707 1085741722 3129488673 2745396058 753344390 2202508546 1904743666 1686716703 2932160457 1042919342 4029513057 3465382260 48128682 2804975216 3240476558 1537950609 1698714589 992887087 188998663 183764102 1386860329 3509483344 3384435496 3501068252 2774009785 339870742 2069334269 2257046308 1061448626 2588454767 575454909 3434116975 1919772638 2773660310 1475114218 1580351773 2045785915 1099338182 3461074564 796513134 3267528371 1994896097 1675104403 4052631108 2761102538 217196007 3302884811 1384630247 3108927766 3586054925 2779229624 3749594417 1419191469 2941090811 1862278125 3475010542 1441337511 2820262652 3930335324 1615585986 1707249307 3907124017 3223711139 3739590343 157301956 206737119 1031541363 1528353017 2314804667 2428095696 1460985763 2139071312 3661373880 255 362436" option to reproduce the execution
0.19/0.23	c #vars 16422
0.19/0.23	c #constraints 16700
0.49/0.58	c Solving starts ...
0.49/0.58	c ============================[ Search Statistics ]============================
0.49/0.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.58	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.58	c =============================================================================
0.49/0.58	c  0.0s |       0 |        0 |        0 |    11040      0 |      742 |        0
1.08/1.11	c  0.5s |       1 |     6430 |      100 |    11040      0 |      743 |      634
1.48/1.60	c  1.0s |       2 |    12838 |      250 |    12145      0 |      744 |      635
2.18/2.21	c  1.6s |       3 |    21011 |      475 |    13360      0 |      744 |      635
2.78/2.80	c  2.2s |       4 |    27935 |      813 |    14697      0 |      744 |      635
4.18/4.22	c  3.6s |       5 |    44502 |     1320 |    16167      0 |      744 |      635
5.59/5.70	c  5.1s |       6 |    60821 |     2081 |    19563      0 |      745 |      636
7.68/7.77	c  7.2s |       6 |    96610 |     2881 |    19563      0 |      747 |      638
8.38/8.48	c  7.9s |       7 |   102585 |     3223 |    21520      0 |      747 |      638
10.48/10.53	c 10.0s |       7 |   127467 |     4123 |    21520      0 |      748 |      639
12.48/12.56	c 12.0s |       7 |   158408 |     4923 |    23673      0 |      749 |      640
12.58/12.61	c 12.0s |       8 |   158998 |     4936 |    23673      0 |      749 |      640
14.58/14.64	c 14.1s |       8 |   189529 |     5836 |    23673      0 |      749 |      640
16.69/16.75	c 16.2s |       8 |   208197 |     6936 |    23673      0 |      749 |      640
18.18/18.22	c 17.6s |       9 |   219278 |     7506 |    26041      0 |      749 |      640
20.18/20.25	c 19.7s |       9 |   245617 |     8306 |    26041      0 |      750 |      641
22.28/22.33	c 21.7s |       9 |   274934 |     9006 |    26041      0 |      750 |      641
24.29/24.36	c 23.8s |       9 |   301444 |     9706 |    26041      0 |      750 |      641
26.38/26.47	c 25.9s |       9 |   329646 |    10406 |    26041      0 |      751 |      642
28.48/28.59	c 28.0s |       9 |   347179 |    11106 |    26041      0 |      752 |      643
29.48/29.59	c 29.0s |      10 |   358876 |    11361 |    28646      0 |      753 |      644
31.78/31.82	c 31.2s |      10 |   386917 |    11961 |    28646      0 |      755 |      646
33.88/33.94	c 33.4s |      10 |   394969 |    12861 |    28646      0 |      755 |      646
36.18/36.28	c 35.7s |      10 |   398568 |    13661 |    28646      0 |      755 |      646
38.28/38.35	c 37.8s |      10 |   413004 |    14461 |    28646      0 |      755 |      646
40.38/40.43	c 39.9s |      10 |   442091 |    15161 |    28646      0 |      755 |      646
42.58/42.67	c 42.1s |      10 |   471412 |    15961 |    28646      0 |      755 |      646
44.58/44.69	c 44.1s |      10 |   492811 |    16661 |    28646      0 |      755 |      646
46.18/46.21	c 45.6s |      11 |   509236 |    17144 |    31511      0 |      755 |      646
48.38/48.43	c 47.8s |      11 |   521995 |    17844 |    31511      0 |      755 |      646
50.58/50.61	c 50.0s |      11 |   543740 |    18644 |    31511      0 |      756 |      647
52.78/52.83	c 52.3s |      11 |   562713 |    19244 |    31511      0 |      757 |      648
54.78/54.83	c 54.3s |      11 |   577592 |    19744 |    31511      0 |      757 |      648
56.88/56.90	c 56.3s |      11 |   593729 |    20544 |    31511      0 |      757 |      648
58.88/58.96	c 58.4s |      11 |   605010 |    21144 |    31511      0 |      757 |      648
60.98/61.02	c 60.4s |      11 |   626380 |    21744 |    31511      0 |      757 |      648
63.08/63.17	c 62.6s |      11 |   636222 |    22544 |    31511      0 |      757 |      648
65.38/65.45	c 64.9s |      11 |   649928 |    23244 |    31511      0 |      757 |      648
67.48/67.53	c 67.0s |      11 |   664673 |    23944 |    31511      0 |      757 |      648
69.88/69.92	c 69.3s |      11 |   668630 |    24744 |    31511      0 |      757 |      648
72.48/72.59	c 72.0s |      11 |   670589 |    25144 |    31511      0 |      757 |      648
74.68/74.73	c 74.2s |      11 |   676831 |    25544 |    31511      0 |      757 |      648
75.58/75.69	c 75.1s |      12 |   684423 |    25819 |    34663      0 |      757 |      648
77.78/77.88	c 77.3s |      12 |   691749 |    26219 |    34663      0 |      783 |      674
79.98/80.08	c 79.5s |      12 |   713535 |    26819 |    34663      0 |      784 |      675
82.08/82.13	c 81.6s |      12 |   723098 |    27619 |    34663      0 |      784 |      675
84.28/84.37	c 83.8s |      12 |   736700 |    28419 |    34663      0 |      784 |      675
86.47/86.54	c 86.0s |      12 |   754061 |    29019 |    34663      0 |      785 |      676
88.47/88.59	c 88.0s |      12 |   771439 |    29719 |    34663      0 |      785 |      676
90.87/90.94	c 90.4s |      12 |   779279 |    30419 |    34663      0 |      785 |      676
93.58/93.70	c 93.1s |      12 |   801272 |    31219 |    34663      0 |      786 |      677
95.78/95.89	c 95.3s |      12 |   815065 |    31619 |    34663      0 |      788 |      679
97.87/97.98	c 97.4s |      12 |   832339 |    32319 |    34663      0 |      788 |      679
100.18/100.30	c 99.7s |      12 |   841191 |    33019 |    34663      0 |      788 |      679
102.27/102.35	c  101s |      12 |   849965 |    33519 |    34663      0 |      788 |      679
104.58/104.68	c  104s |      12 |   863124 |    34119 |    34663      0 |      788 |      679
106.97/107.03	c  106s |      12 |   869096 |    34919 |    34663      0 |      788 |      679
109.08/109.18	c  108s |      12 |   891907 |    35319 |    34663      0 |      789 |      680
111.47/111.59	c  111s |      12 |   908310 |    36219 |    34663      0 |      789 |      680
113.67/113.73	c  113s |      12 |   930401 |    36719 |    34663      0 |      789 |      680
115.77/115.80	c  115s |      12 |   949271 |    37319 |    34663      0 |      789 |      680
117.97/118.06	c  117s |      12 |   959019 |    37819 |    34663      1 |      789 |      680
120.08/120.17	c  119s |      12 |   976540 |    38519 |    34663      1 |      789 |      680
120.97/121.03	c  120s |      13 |   987713 |    38832 |    38130      1 |      789 |      680
123.17/123.29	c  122s |      13 |  1003175 |    39432 |    38130      1 |      789 |      680
125.57/125.61	c  125s |      13 |  1019551 |    40032 |    38130      1 |      790 |      681
127.87/127.91	c  127s |      13 |  1040398 |    40732 |    38130      1 |      791 |      682
129.87/129.91	c  129s |      13 |  1061490 |    41332 |    38130      1 |      791 |      682
132.07/132.20	c  131s |      13 |  1078002 |    41932 |    38130      1 |      792 |      683
134.37/134.47	c  133s |      13 |  1099079 |    42532 |    38130      1 |      792 |      683
136.67/136.73	c  136s |      13 |  1116562 |    43332 |    38130      1 |      792 |      683
138.87/138.91	c  138s |      13 |  1126874 |    44132 |    38130      1 |      792 |      683
141.37/141.43	c  140s |      13 |  1143997 |    44732 |    38130      1 |      793 |      684
143.37/143.46	c  142s |      13 |  1156776 |    45332 |    38130      1 |      793 |      684
145.66/145.76	c  145s |      13 |  1160716 |    45932 |    38130      1 |      793 |      684
148.26/148.37	c  147s |      13 |  1162204 |    46332 |    38130      1 |      793 |      684
150.66/150.78	c  150s |      13 |  1164636 |    46732 |    38130      1 |      793 |      684
153.17/153.23	c  152s |      13 |  1166951 |    47132 |    38130      1 |      793 |      684
155.67/155.70	c  155s |      13 |  1168815 |    47532 |    38130      1 |      793 |      684
158.07/158.15	c  157s |      13 |  1170249 |    47832 |    38130      1 |      793 |      684
160.27/160.33	c  159s |      13 |  1171041 |    48032 |    38130      1 |      793 |      684
163.06/163.19	c  162s |      13 |  1172089 |    48332 |    38130      1 |      793 |      684
165.17/165.29	c  164s |      13 |  1172883 |    48532 |    38130      1 |      793 |      684
167.76/167.81	c  167s |      13 |  1173293 |    48732 |    38130      1 |      793 |      684
170.46/170.58	c  170s |      13 |  1174626 |    49032 |    38130      1 |      793 |      684
172.56/172.62	c  172s |      13 |  1185389 |    49532 |    38130      1 |      793 |      684
174.66/174.76	c  174s |      13 |  1195133 |    50232 |    38130      1 |      793 |      684
176.86/176.98	c  176s |      13 |  1204012 |    50932 |    38130      1 |      793 |      684
178.96/179.05	c  178s |      13 |  1207046 |    51332 |    38130      1 |      793 |      684
181.06/181.14	c  180s |      13 |  1211324 |    52032 |    38130      1 |      793 |      684
183.16/183.24	c  182s |      13 |  1214405 |    52532 |    38130      1 |      793 |      684
185.36/185.41	c  184s |      13 |  1216417 |    53032 |    38130      1 |      793 |      684
187.56/187.64	c  187s |      13 |  1220217 |    53532 |    38130      1 |      793 |      684
189.56/189.65	c  189s |      13 |  1221406 |    53832 |    38130      1 |      793 |      684
192.06/192.19	c  191s |      13 |  1223011 |    54132 |    38130      1 |      793 |      684
194.56/194.66	c  194s |      13 |  1224263 |    54432 |    38130      1 |      793 |      684
196.97/197.04	c  196s |      13 |  1226504 |    54832 |    38130      1 |      793 |      684
198.96/199.08	c  198s |      13 |  1227804 |    55032 |    38130      1 |      793 |      684
201.96/202.04	c  201s |      13 |  1228942 |    55332 |    38130      1 |      793 |      684
204.77/204.82	c  204s |      13 |  1229712 |    55532 |    38130      1 |      793 |      684
208.07/208.11	c  207s |      13 |  1230406 |    55732 |    38130      1 |      793 |      684
210.06/210.17	c  209s |      13 |  1233508 |    56132 |    38130      1 |      793 |      684
212.56/212.62	c  212s |      13 |  1238249 |    56832 |    38130      1 |      793 |      684
214.86/214.94	c  214s |      13 |  1240311 |    57232 |    38130      1 |      793 |      684
216.96/217.09	c  216s |      13 |  1244153 |    57832 |    38130      1 |      793 |      684
219.45/219.54	c  218s |      13 |  1246340 |    58232 |    41943      1 |      793 |      684
219.75/219.83	c  219s |      14 |  1247348 |    58352 |    41943      1 |      793 |      684
222.05/222.19	c  221s |      14 |  1256208 |    58752 |    41943      1 |      793 |      684
224.46/224.51	c  223s |      14 |  1274441 |    59352 |    41943      1 |      793 |      684
226.66/226.80	c  226s |      14 |  1292265 |    59952 |    41943      1 |      793 |      684
228.75/228.88	c  228s |      14 |  1314430 |    60552 |    41943      1 |      793 |      684
230.95/231.03	c  230s |      14 |  1332989 |    61152 |    41943      1 |      793 |      684
233.05/233.11	c  232s |      14 |  1344096 |    61552 |    41943      1 |      794 |      685
235.15/235.25	c  234s |      14 |  1351806 |    62052 |    41943      1 |      794 |      685
237.25/237.35	c  236s |      14 |  1352996 |    62352 |    41943      1 |      794 |      685
239.45/239.54	c  238s |      14 |  1354762 |    62652 |    41943      1 |      794 |      685
242.25/242.37	c  241s |      14 |  1356739 |    63152 |    41943      1 |      794 |      685
244.55/244.68	c  244s |      14 |  1357805 |    63452 |    41943      1 |      794 |      685
246.65/246.78	c  246s |      14 |  1359081 |    63852 |    41943      1 |      794 |      685
249.45/249.52	c  248s |      14 |  1362069 |    64152 |    41943      2 |      795 |      686
251.64/251.73	c  251s |      14 |  1380676 |    64752 |    41943      2 |      795 |      686
253.64/253.76	c  253s |      14 |  1394332 |    65252 |    41943      2 |      797 |      688
255.94/256.06	c  255s |      14 |  1415561 |    65952 |    41943      2 |      797 |      688
257.94/258.08	c  257s |      14 |  1427717 |    66452 |    41943      2 |      798 |      689
260.04/260.11	c  259s |      14 |  1444953 |    67152 |    41943      2 |      798 |      689
262.35/262.46	c  261s |      14 |  1453974 |    67952 |    41943      2 |      798 |      689
264.45/264.58	c  263s |      14 |  1455719 |    68452 |    41943      2 |      798 |      689
266.65/266.71	c  266s |      14 |  1478461 |    69052 |    41943      2 |      798 |      689
268.95/269.09	c  268s |      14 |  1488972 |    69852 |    41943      2 |      798 |      689
271.15/271.27	c  270s |      14 |  1504719 |    70552 |    41943      2 |      798 |      689
273.25/273.39	c  272s |      14 |  1515273 |    71252 |    41943      2 |      798 |      689
275.45/275.59	c  275s |      14 |  1529678 |    71852 |    41943      2 |      798 |      689
277.75/277.81	c  277s |      14 |  1543414 |    72352 |    41943      2 |      798 |      689
279.95/280.01	c  279s |      14 |  1561048 |    72952 |    41943      2 |      798 |      689
282.15/282.22	c  281s |      14 |  1576295 |    73652 |    41943      2 |      798 |      689
284.25/284.31	c  283s |      14 |  1583447 |    74252 |    41943      2 |      798 |      689
286.25/286.32	c  285s |      14 |  1593462 |    74752 |    41943      2 |      798 |      689
288.55/288.60	c  288s |      14 |  1607284 |    75452 |    41943      2 |      798 |      689
290.55/290.61	c  290s |      14 |  1623497 |    76152 |    41943      2 |      798 |      689
292.65/292.76	c  292s |      14 |  1639195 |    76852 |    41943      2 |      798 |      689
294.95/295.05	c  294s |      14 |  1655410 |    77452 |    41943      2 |      798 |      689
297.15/297.29	c  296s |      14 |  1671166 |    78052 |    41943      2 |      798 |      689
299.54/299.62	c  299s |      14 |  1684732 |    78752 |    41943      2 |      798 |      689
301.55/301.62	c  301s |      14 |  1699869 |    79352 |    41943      2 |      798 |      689
303.65/303.79	c  303s |      14 |  1703470 |    79952 |    41943      2 |      798 |      689
305.95/306.06	c  305s |      14 |  1705925 |    80552 |    41943      2 |      798 |      689
308.05/308.14	c  307s |      14 |  1714774 |    81052 |    41943      2 |      798 |      689
310.25/310.36	c  309s |      14 |  1729125 |    81752 |    41943      2 |      798 |      689
312.55/312.67	c  312s |      14 |  1742813 |    82352 |    41943      2 |      798 |      689
314.65/314.76	c  314s |      14 |  1751908 |    82852 |    41943      2 |      799 |      690
316.64/316.77	c  316s |      14 |  1759209 |    83352 |    41943      2 |      799 |      690
318.84/318.93	c  318s |      14 |  1766113 |    83952 |    41943      2 |      799 |      690
321.04/321.12	c  320s |      14 |  1771946 |    84552 |    41943      2 |      799 |      690
323.04/323.13	c  322s |      14 |  1775001 |    85052 |    41943      2 |      799 |      690
325.14/325.25	c  324s |      14 |  1777252 |    85552 |    41943      2 |      799 |      690
328.24/328.30	c  327s |      14 |  1785238 |    86052 |    41943      3 |      799 |      690
330.34/330.42	c  329s |      14 |  1794778 |    86752 |    41943      3 |      799 |      690
332.44/332.54	c  331s |      14 |  1804506 |    87252 |    46138      3 |      799 |      690
333.94/334.04	c  333s |      15 |  1812906 |    87632 |    46138      3 |      800 |      691
336.03/336.12	c  335s |      15 |  1824343 |    88232 |    46138      3 |      800 |      691
338.23/338.35	c  337s |      15 |  1826792 |    88932 |    46138      3 |      800 |      691
340.23/340.38	c  339s |      15 |  1841780 |    89532 |    46138      3 |      800 |      691
342.63/342.71	c  342s |      15 |  1857551 |    90232 |    46138      3 |      800 |      691
344.73/344.81	c  344s |      15 |  1875623 |    90932 |    46138      3 |      800 |      691
346.93/347.08	c  346s |      15 |  1884038 |    91632 |    46138      3 |      800 |      691
349.13/349.29	c  348s |      15 |  1902336 |    92332 |    46138      3 |      800 |      691
351.43/351.53	c  350s |      15 |  1915705 |    92932 |    46138      3 |      800 |      691
353.53/353.61	c  353s |      15 |  1931699 |    93632 |    46138      3 |      800 |      691
355.63/355.73	c  355s |      15 |  1944776 |    94432 |    46138      3 |      800 |      691
357.83/357.97	c  357s |      15 |  1957225 |    95232 |    46138      3 |      800 |      691
359.93/360.06	c  359s |      15 |  1963293 |    96032 |    46138      3 |      800 |      691
362.04/362.13	c  361s |      15 |  1970336 |    96632 |    46138      3 |      800 |      691
364.14/364.29	c  363s |      15 |  1978763 |    97132 |    46138      3 |      800 |      691
366.44/366.52	c  365s |      15 |  1988755 |    97832 |    46138      3 |      800 |      691
368.43/368.52	c  367s |      15 |  1993754 |    98332 |    46138      3 |      800 |      691
370.93/371.03	c  370s |      15 |  1995692 |    98732 |    46138      3 |      800 |      691
372.93/373.06	c  372s |      15 |  2008342 |    99232 |    46138      3 |      800 |      691
375.23/375.31	c  374s |      15 |  2024077 |    99932 |    46138      3 |      800 |      691
377.44/377.59	c  377s |      15 |  2034348 |   100532 |    46138      3 |      800 |      691
379.73/379.85	c  379s |      15 |  2039830 |   100932 |    46138      3 |      800 |      691
382.13/382.20	c  381s |      15 |  2042823 |   101232 |    46138      3 |      800 |      691
384.13/384.29	c  383s |      15 |  2054342 |   101732 |    46138      3 |      800 |      691
386.53/386.68	c  386s |      15 |  2059160 |   102332 |    46138      3 |      800 |      691
388.93/389.03	c  388s |      15 |  2063775 |   102832 |    46138      3 |      800 |      691
391.33/391.46	c  390s |      15 |  2077504 |   103432 |    46138      3 |      800 |      691
393.63/393.75	c  393s |      15 |  2088198 |   104032 |    46138      3 |      800 |      691
395.83/395.91	c  395s |      15 |  2094668 |   104532 |    46138      3 |      800 |      691
397.93/398.01	c  397s |      15 |  2107310 |   105032 |    46138      3 |      800 |      691
400.13/400.24	c  399s |      15 |  2114315 |   105732 |    46138      3 |      800 |      691
402.23/402.31	c  401s |      15 |  2120331 |   106332 |    46138      3 |      800 |      691
404.73/404.85	c  404s |      15 |  2125665 |   106832 |    46138      3 |      800 |      691
407.23/407.37	c  406s |      15 |  2129012 |   107232 |    46138      3 |      800 |      691
409.43/409.52	c  408s |      15 |  2137763 |   107632 |    46138      3 |      800 |      691
411.53/411.69	c  411s |      15 |  2140441 |   108032 |    46138      3 |      800 |      691
413.93/414.02	c  413s |      15 |  2144451 |   108432 |    46138      3 |      800 |      691
416.12/416.20	c  415s |      15 |  2147394 |   108832 |    46138      3 |      800 |      691
418.13/418.25	c  417s |      15 |  2151986 |   109132 |    46138      3 |      800 |      691
420.42/420.52	c  419s |      15 |  2158741 |   109732 |    46138      3 |      800 |      691
422.53/422.67	c  422s |      15 |  2163077 |   110132 |    46138      3 |      800 |      691
424.82/424.96	c  424s |      15 |  2168152 |   110532 |    46138      3 |      800 |      691
427.22/427.35	c  426s |      15 |  2175158 |   110932 |    46138      3 |      800 |      691
429.32/429.49	c  428s |      15 |  2180557 |   111332 |    46138      3 |      800 |      691
431.42/431.59	c  431s |      15 |  2189895 |   111832 |    46138      3 |      800 |      691
433.72/433.83	c  433s |      15 |  2193866 |   112332 |    46138      3 |      800 |      691
436.02/436.10	c  435s |      15 |  2200403 |   112732 |    46138      3 |      800 |      691
438.32/438.42	c  437s |      15 |  2205776 |   113132 |    46138      3 |      800 |      691
440.42/440.51	c  439s |      15 |  2215717 |   113532 |    46138      3 |      800 |      691
443.02/443.17	c  442s |      15 |  2222980 |   113832 |    46138      4 |      800 |      691
445.32/445.41	c  444s |      15 |  2235195 |   114432 |    46138      4 |      800 |      691
447.42/447.58	c  447s |      15 |  2246119 |   115032 |    46138      4 |      800 |      691
449.72/449.86	c  449s |      15 |  2257837 |   115632 |    46138      4 |      800 |      691
451.92/452.09	c  451s |      15 |  2269293 |   116132 |    46138      4 |      800 |      691
454.22/454.40	c  453s |      15 |  2283732 |   116732 |    46138      4 |      800 |      691
456.41/456.50	c  455s |      15 |  2294236 |   117232 |    46138      4 |      800 |      691
458.51/458.69	c  458s |      15 |  2301991 |   117832 |    46138      4 |      800 |      691
460.92/461.08	c  460s |      15 |  2310854 |   118332 |    46138      4 |      800 |      691
463.12/463.23	c  462s |      15 |  2316041 |   118832 |    46138      4 |      800 |      691
465.21/465.36	c  464s |      15 |  2317750 |   119132 |    46138      4 |      800 |      691
467.62/467.76	c  467s |      15 |  2325201 |   119632 |    46138      4 |      800 |      691
469.82/469.94	c  469s |      15 |  2332712 |   120132 |    46138      4 |      800 |      691
472.21/472.31	c  471s |      15 |  2339518 |   120532 |    46138      4 |      800 |      691
474.31/474.41	c  473s |      15 |  2344383 |   120832 |    46138      4 |      800 |      691
476.61/476.74	c  476s |      15 |  2355094 |   121332 |    46138      4 |      800 |      691
478.62/478.76	c  478s |      15 |  2359624 |   121632 |    46138      4 |      800 |      691
480.61/480.76	c  480s |      15 |  2365770 |   121932 |    46138      4 |      800 |      691
482.71/482.87	c  482s |      15 |  2373554 |   122332 |    46138      4 |      800 |      691
485.12/485.22	c  484s |      15 |  2381371 |   122832 |    46138      4 |      800 |      691
487.51/487.64	c  487s |      15 |  2390166 |   123332 |    46138      4 |      800 |      691
489.71/489.83	c  489s |      15 |  2397655 |   123732 |    46138      4 |      800 |      691
491.82/491.94	c  491s |      15 |  2405324 |   124232 |    46138      4 |      800 |      691
494.31/494.47	c  493s |      15 |  2411475 |   124632 |    46138      4 |      800 |      691
496.52/496.63	c  496s |      15 |  2413333 |   124932 |    46138      4 |      800 |      691
499.02/499.14	c  498s |      15 |  2417854 |   125332 |    46138      4 |      800 |      691
501.41/501.56	c  500s |      15 |  2422971 |   125732 |    46138      4 |      800 |      691
503.82/503.97	c  503s |      15 |  2427880 |   126132 |    46138      4 |      800 |      691
506.12/506.22	c  505s |      15 |  2429771 |   126432 |    46138      4 |      800 |      691
508.22/508.38	c  507s |      15 |  2430593 |   126732 |    46138      4 |      800 |      691
510.21/510.39	c  509s |      15 |  2435700 |   127032 |    46138      4 |      800 |      691
512.51/512.62	c  512s |      15 |  2441505 |   127432 |    46138      4 |      800 |      691
514.92/515.09	c  514s |      15 |  2446582 |   127932 |    46138      4 |      800 |      691
517.12/517.26	c  516s |      15 |  2451771 |   128332 |    46138      4 |      800 |      691
519.71/519.82	c  519s |      15 |  2453260 |   128632 |    46138      4 |      800 |      691
521.71/521.83	c  521s |      15 |  2458743 |   128932 |    46138      4 |      800 |      691
524.01/524.20	c  523s |      15 |  2466681 |   129332 |    46138      4 |      800 |      691
526.31/526.44	c  525s |      15 |  2472026 |   129832 |    46138      4 |      800 |      691
529.01/529.12	c  528s |      15 |  2477156 |   130332 |    46138      4 |      800 |      691
531.41/531.58	c  531s |      15 |  2483948 |   130832 |    50752      4 |      800 |      691
533.81/533.99	c  533s |      15 |  2491559 |   131332 |    50752      4 |      800 |      691
535.11/535.25	c  534s |      16 |  2492567 |   131552 |    50752      4 |      800 |      691
537.11/537.25	c  536s |      16 |  2505983 |   131952 |    50752      4 |      800 |      691
539.21/539.37	c  538s |      16 |  2522438 |   132552 |    50752      4 |      800 |      691
541.21/541.40	c  540s |      16 |  2532332 |   133052 |    50752      4 |      800 |      691
543.30/543.43	c  542s |      16 |  2540116 |   133552 |    50752      4 |      800 |      691
545.61/545.75	c  545s |      16 |  2552836 |   134152 |    50752      4 |      800 |      691
547.70/547.84	c  547s |      16 |  2569046 |   134752 |    50752      4 |      800 |      691
549.80/549.90	c  549s |      16 |  2582839 |   135252 |    50752      4 |      800 |      691
552.00/552.19	c  551s |      16 |  2594779 |   135852 |    50752      4 |      800 |      691
554.10/554.20	c  553s |      16 |  2605146 |   136352 |    50752      4 |      800 |      691
556.10/556.28	c  555s |      16 |  2614471 |   136952 |    50752      4 |      800 |      691
558.20/558.34	c  557s |      16 |  2621546 |   137352 |    50752      4 |      801 |      692
560.40/560.57	c  559s |      16 |  2632056 |   138052 |    50752      4 |      801 |      692
562.90/563.05	c  562s |      16 |  2647878 |   138652 |    50752      4 |      801 |      692
565.00/565.10	c  564s |      16 |  2653380 |   139052 |    50752      4 |      802 |      693
567.10/567.24	c  566s |      16 |  2666347 |   139652 |    50752      4 |      802 |      693
569.10/569.29	c  568s |      16 |  2667831 |   140152 |    50752      4 |      802 |      693
571.20/571.36	c  570s |      16 |  2677452 |   140552 |    50752      4 |      802 |      693
573.50/573.69	c  573s |      16 |  2691557 |   141252 |    50752      4 |      802 |      693
576.00/576.19	c  575s |      16 |  2697615 |   142052 |    50752      4 |      802 |      693
578.50/578.60	c  578s |      16 |  2699774 |   142652 |    50752      4 |      802 |      693
580.70/580.83	c  580s |      16 |  2701181 |   143052 |    50752      4 |      802 |      693
582.90/583.06	c  582s |      16 |  2702821 |   143452 |    50752      4 |      802 |      693
585.30/585.42	c  584s |      16 |  2703464 |   143752 |    50752      4 |      802 |      693
589.00/589.12	c  588s |      16 |  2706608 |   143952 |    50752      5 |      803 |      694
591.00/591.17	c  590s |      16 |  2714321 |   144652 |    50752      5 |      803 |      694
593.20/593.33	c  592s |      16 |  2727898 |   145252 |    50752      5 |      803 |      694
595.70/595.80	c  595s |      16 |  2743936 |   145852 |    50752      5 |      803 |      694
598.00/598.17	c  597s |      16 |  2760095 |   146652 |    50752      5 |      803 |      694
600.40/600.59	c  600s |      16 |  2774815 |   147252 |    50752      5 |      803 |      694
602.60/602.74	c  602s |      16 |  2788687 |   147952 |    50752      5 |      803 |      694
604.70/604.87	c  604s |      16 |  2797622 |   148652 |    50752      5 |      803 |      694
607.00/607.11	c  606s |      16 |  2809746 |   149352 |    50752      5 |      804 |      695
609.30/609.43	c  608s |      16 |  2824860 |   150152 |    50752      5 |      804 |      695
611.40/611.58	c  611s |      16 |  2832136 |   150652 |    50752      5 |      804 |      695
613.50/613.69	c  613s |      16 |  2844585 |   151052 |    50752      5 |      806 |      697
615.80/615.93	c  615s |      16 |  2865273 |   151652 |    50752      5 |      806 |      697
617.90/618.03	c  617s |      16 |  2875152 |   152252 |    50752      5 |      806 |      697
620.30/620.46	c  619s |      16 |  2895463 |   152852 |    50752      5 |      806 |      697
622.40/622.57	c  621s |      16 |  2912448 |   153352 |    50752      5 |      806 |      697
624.70/624.88	c  624s |      16 |  2924331 |   153852 |    50752      5 |      806 |      697
627.10/627.22	c  626s |      16 |  2942081 |   154552 |    50752      5 |      806 |      697
629.20/629.39	c  628s |      16 |  2958197 |   155152 |    50752      5 |      806 |      697
631.50/631.61	c  631s |      16 |  2969187 |   155752 |    50752      5 |      806 |      697
633.70/633.88	c  633s |      16 |  2983833 |   156452 |    50752      5 |      806 |      697
635.90/636.04	c  635s |      16 |  2997834 |   156952 |    50752      5 |      806 |      697
638.29/638.47	c  637s |      16 |  3014585 |   157552 |    50752      5 |      806 |      697
640.59/640.73	c  640s |      16 |  3026352 |   158152 |    50752      5 |      807 |      698
642.79/642.99	c  642s |      16 |  3039559 |   158652 |    50752      5 |      808 |      699
645.29/645.49	c  644s |      16 |  3056499 |   159252 |    50752      5 |      808 |      699
647.39/647.53	c  646s |      16 |  3071997 |   159752 |    50752      5 |      808 |      699
649.59/649.76	c  649s |      16 |  3081985 |   160352 |    50752      5 |      808 |      699
651.79/651.93	c  651s |      16 |  3093754 |   160952 |    50752      5 |      808 |      699
653.89/654.09	c  653s |      16 |  3105130 |   161652 |    50752      5 |      808 |      699
655.99/656.16	c  655s |      16 |  3115125 |   162352 |    50752      5 |      808 |      699
658.39/658.53	c  657s |      16 |  3134413 |   162952 |    50752      5 |      808 |      699
660.49/660.70	c  660s |      16 |  3143910 |   163552 |    50752      5 |      808 |      699
662.69/662.84	c  662s |      16 |  3156091 |   164152 |    50752      5 |      808 |      699
664.89/665.09	c  664s |      16 |  3166357 |   164752 |    50752      5 |      808 |      699
667.19/667.36	c  666s |      16 |  3179109 |   165252 |    50752      5 |      808 |      699
669.39/669.52	c  668s |      16 |  3191471 |   165852 |    50752      5 |      808 |      699
671.39/671.52	c  670s |      16 |  3205310 |   166452 |    50752      5 |      808 |      699
673.48/673.63	c  673s |      16 |  3217830 |   167152 |    50752      5 |      808 |      699
675.88/676.02	c  675s |      16 |  3229344 |   167652 |    50752      5 |      808 |      699
678.08/678.25	c  677s |      16 |  3244662 |   168252 |    50752      5 |      808 |      699
680.38/680.53	c  679s |      16 |  3253916 |   168552 |    50752      6 |      808 |      699
682.68/682.81	c  682s |      16 |  3265694 |   169252 |    50752      6 |      808 |      699
684.78/684.99	c  684s |      16 |  3283558 |   169852 |    50752      6 |      809 |      700
687.08/687.26	c  686s |      16 |  3298556 |   170552 |    50752      6 |      809 |      700
689.38/689.56	c  688s |      16 |  3302774 |   171252 |    50752      6 |      809 |      700
691.58/691.75	c  691s |      16 |  3315588 |   171952 |    50752      6 |      809 |      700
693.88/694.04	c  693s |      16 |  3321142 |   172652 |    50752      6 |      809 |      700
696.08/696.22	c  695s |      16 |  3323531 |   173252 |    50752      6 |      809 |      700
698.28/698.42	c  697s |      16 |  3328033 |   173852 |    50752      6 |      809 |      700
700.48/700.66	c  700s |      16 |  3330014 |   174352 |    50752      6 |      809 |      700
703.08/703.29	c  702s |      16 |  3331215 |   174752 |    50752      6 |      809 |      700
705.28/705.44	c  704s |      16 |  3333152 |   175152 |    50752      6 |      809 |      700
707.68/707.86	c  707s |      16 |  3335860 |   175752 |    50752      6 |      809 |      700
709.68/709.87	c  709s |      16 |  3337515 |   176152 |    50752      6 |      809 |      700
712.37/712.52	c  711s |      16 |  3338770 |   176552 |    50752      6 |      809 |      700
714.58/714.75	c  714s |      16 |  3352401 |   177052 |    50752      6 |      809 |      700
716.68/716.89	c  716s |      16 |  3364111 |   177652 |    50752      6 |      809 |      700
718.78/718.96	c  718s |      16 |  3366101 |   178252 |    50752      6 |      809 |      700
720.98/721.18	c  720s |      16 |  3373939 |   178852 |    50752      6 |      809 |      700
723.08/723.23	c  722s |      16 |  3391582 |   179352 |    50752      6 |      809 |      700
725.18/725.31	c  724s |      16 |  3394935 |   180052 |    50752      6 |      809 |      700
727.38/727.55	c  726s |      16 |  3412108 |   180652 |    50752      6 |      809 |      700
729.38/729.55	c  728s |      16 |  3423373 |   181252 |    50752      6 |      809 |      700
731.48/731.64	c  731s |      16 |  3431679 |   181852 |    50752      6 |      809 |      700
733.57/733.79	c  733s |      16 |  3437548 |   182352 |    50752      6 |      809 |      700
735.67/735.87	c  735s |      16 |  3450802 |   182852 |    50752      6 |      809 |      700
737.87/738.01	c  737s |      16 |  3461843 |   183352 |    50752      6 |      809 |      700
739.97/740.17	c  739s |      16 |  3471258 |   183952 |    50752      6 |      809 |      700
742.37/742.55	c  741s |      16 |  3479289 |   184452 |    50752      6 |      810 |      701
744.57/744.79	c  744s |      16 |  3481124 |   184952 |    50752      6 |      810 |      701
746.67/746.87	c  746s |      16 |  3492044 |   185552 |    50752      6 |      810 |      701
748.77/748.98	c  748s |      16 |  3504557 |   186052 |    50752      6 |      810 |      701
750.97/751.11	c  750s |      16 |  3515953 |   186652 |    50752      6 |      810 |      701
753.06/753.26	c  752s |      16 |  3526887 |   187252 |    50752      6 |      810 |      701
755.26/755.44	c  754s |      16 |  3542050 |   187752 |    50752      6 |      810 |      701
757.36/757.59	c  757s |      16 |  3551363 |   188352 |    50752      6 |      810 |      701
759.46/759.60	c  759s |      16 |  3558444 |   188952 |    50752      6 |      810 |      701
761.56/761.77	c  761s |      16 |  3567720 |   189552 |    50752      6 |      810 |      701
763.66/763.81	c  763s |      16 |  3572178 |   189952 |    50752      6 |      810 |      701
765.67/765.84	c  765s |      16 |  3573149 |   190252 |    50752      6 |      810 |      701
767.66/767.85	c  767s |      16 |  3574121 |   190552 |    50752      6 |      810 |      701
769.86/770.03	c  769s |      16 |  3574753 |   190752 |    50752      6 |      810 |      701
771.96/772.10	c  771s |      16 |  3575681 |   191052 |    50752      6 |      810 |      701
775.17/775.30	c  774s |      16 |  3577154 |   191452 |    50752      6 |      810 |      701
779.56/779.79	c  779s |      16 |  3577970 |   191552 |    50752      6 |      810 |      701
781.96/782.19	c  781s |      16 |  3578756 |   191752 |    50752      6 |      810 |      701
785.37/785.58	c  785s |      16 |  3579471 |   191952 |    50752      6 |      810 |      701
787.76/787.99	c  787s |      16 |  3579775 |   192052 |    50752      6 |      810 |      701
789.87/790.01	c  789s |      16 |  3581478 |   192452 |    50752      6 |      810 |      701
792.26/792.48	c  791s |      16 |  3582024 |   192652 |    50752      6 |      810 |      701
795.37/795.58	c  795s |      16 |  3583705 |   193052 |    50752      6 |      810 |      701
798.06/798.21	c  797s |      16 |  3584958 |   193352 |    50752      6 |      810 |      701
800.46/800.61	c  800s |      16 |  3585879 |   193552 |    50752      6 |      810 |      701
803.76/803.94	c  803s |      16 |  3586925 |   193652 |    50752      6 |      810 |      701
806.16/806.32	c  805s |      16 |  3597853 |   194152 |    50752      6 |      810 |      701
808.16/808.36	c  807s |      16 |  3604799 |   194652 |    50752      6 |      810 |      701
810.36/810.52	c  809s |      16 |  3617696 |   195152 |    50752      6 |      810 |      701
813.65/813.83	c  813s |      16 |  3626151 |   195552 |    50752      7 |      811 |      702
816.05/816.24	c  815s |      16 |  3644650 |   196352 |    55828      7 |      811 |      702
818.15/818.37	c  817s |      16 |  3662190 |   196952 |    55828      7 |      811 |      702
819.85/820.02	c  819s |      17 |  3674193 |   197432 |    55828      7 |      811 |      702
822.05/822.24	c  821s |      17 |  3688595 |   198032 |    55828      7 |      811 |      702
824.15/824.32	c  823s |      17 |  3695178 |   198732 |    55828      7 |      811 |      702
826.25/826.43	c  825s |      17 |  3697332 |   199232 |    55828      7 |      811 |      702
828.65/828.88	c  828s |      17 |  3699453 |   199732 |    55828      7 |      811 |      702
830.75/830.94	c  830s |      17 |  3701070 |   200232 |    55828      7 |      811 |      702
832.75/832.95	c  832s |      17 |  3702068 |   200532 |    55828      7 |      811 |      702
835.24/835.46	c  834s |      17 |  3702884 |   200832 |    55828      7 |      811 |      702
838.15/838.31	c  837s |      17 |  3703366 |   200932 |    55828      7 |      811 |      702
841.24/841.42	c  840s |      17 |  3704400 |   201232 |    55828      7 |      811 |      702
844.54/844.74	c  844s |      17 |  3705502 |   201532 |    55828      7 |      811 |      702
847.84/848.03	c  847s |      17 |  3706157 |   201732 |    55828      7 |      811 |      702
849.94/850.12	c  849s |      17 |  3707421 |   202032 |    55828      7 |      811 |      702
852.13/852.35	c  851s |      17 |  3708284 |   202332 |    55828      7 |      811 |      702
854.23/854.43	c  853s |      17 |  3709350 |   202632 |    55828      7 |      811 |      702
856.83/857.05	c  856s |      17 |  3710365 |   202932 |    55828      7 |      811 |      702
859.63/859.80	c  859s |      17 |  3712420 |   203332 |    55828      7 |      811 |      702
862.44/862.62	c  862s |      17 |  3713602 |   203632 |    55828      7 |      811 |      702
865.33/865.54	c  864s |      17 |  3714502 |   203932 |    55828      7 |      811 |      702
868.03/868.25	c  867s |      17 |  3715598 |   204232 |    55828      7 |      811 |      702
870.23/870.47	c  869s |      17 |  3715888 |   204332 |    55828      7 |      811 |      702
872.43/872.67	c  872s |      17 |  3716719 |   204532 |    55828      7 |      811 |      702
874.73/874.98	c  874s |      17 |  3716909 |   204632 |    55828      7 |      811 |      702
878.03/878.26	c  877s |      17 |  3718423 |   204932 |    55828      7 |      811 |      702
880.33/880.56	c  879s |      17 |  3719657 |   205232 |    55828      7 |      811 |      702
882.33/882.57	c  881s |      17 |  3721375 |   205532 |    55828      7 |      811 |      702
884.92/885.10	c  884s |      17 |  3722488 |   205832 |    55828      7 |      811 |      702
887.63/887.88	c  887s |      17 |  3723616 |   206132 |    55828      7 |      811 |      702
891.22/891.49	c  890s |      17 |  3724867 |   206332 |    55828      7 |      811 |      702
893.52/893.80	c  893s |      17 |  3725339 |   206532 |    55828      7 |      811 |      702
896.82/897.06	c  896s |      17 |  3726141 |   206732 |    55828      7 |      811 |      702
899.74/899.96	c  899s |      17 |  3726632 |   206932 |    55828      7 |      811 |      702
904.02/904.29	c  903s |      17 |  3726976 |   207132 |    55828      7 |      811 |      702
906.82/907.05	c  906s |      17 |  3727223 |   207232 |    55828      7 |      811 |      702
910.73/910.94	c  910s |      17 |  3727767 |   207432 |    55828      7 |      811 |      702
913.21/913.43	c  912s |      17 |  3728378 |   207532 |    55828      7 |      811 |      702
915.41/915.64	c  915s |      17 |  3728640 |   207632 |    55828      7 |      811 |      702
917.51/917.71	c  917s |      17 |  3728995 |   207732 |    55828      7 |      811 |      702
920.41/920.68	c  920s |      17 |  3729298 |   207832 |    55828      7 |      811 |      702
923.80/924.05	c  923s |      17 |  3729730 |   207932 |    55828      7 |      811 |      702
926.21/926.46	c  925s |      17 |  3730124 |   208032 |    55828      7 |      811 |      702
931.50/931.77	c  931s |      17 |  3730644 |   208232 |    55828      7 |      811 |      702
936.00/936.30	c  935s |      17 |  3731267 |   208432 |    55828      7 |      811 |      702
938.40/938.62	c  938s |      17 |  3731629 |   208532 |    55828      7 |      811 |      702
940.60/940.86	c  940s |      17 |  3731833 |   208632 |    55828      7 |      811 |      702
943.09/943.32	c  942s |      17 |  3732113 |   208732 |    55828      7 |      811 |      702
945.10/945.32	c  944s |      17 |  3732443 |   208832 |    55828      7 |      811 |      702
947.90/948.16	c  947s |      17 |  3732654 |   208932 |    55828      7 |      811 |      702
950.70/950.97	c  950s |      17 |  3733559 |   209032 |    55828      7 |      811 |      702
952.89/953.10	c  952s |      17 |  3734559 |   209232 |    55828      7 |      811 |      702
955.09/955.32	c  954s |      17 |  3739627 |   209832 |    55828      7 |      811 |      702
957.29/957.56	c  956s |      17 |  3744668 |   210332 |    55828      7 |      811 |      702
959.69/959.93	c  959s |      17 |  3747864 |   211032 |    55828      7 |      811 |      702
961.68/961.95	c  961s |      17 |  3749287 |   211432 |    55828      7 |      811 |      702
964.28/964.52	c  963s |      17 |  3750546 |   211732 |    55828      7 |      811 |      702
966.48/966.73	c  966s |      17 |  3753358 |   212132 |    55828      7 |      811 |      702
968.68/968.90	c  968s |      17 |  3759477 |   212832 |    55828      7 |      811 |      702
970.68/970.99	c  970s |      17 |  3768503 |   213332 |    55828      7 |      811 |      702
972.78/973.04	c  972s |      17 |  3778200 |   213832 |    55828      7 |      811 |      702
974.77/975.08	c  974s |      17 |  3779888 |   214232 |    55828      7 |      811 |      702
976.87/977.17	c  976s |      17 |  3785832 |   214832 |    55828      7 |      811 |      702
978.98/979.24	c  978s |      17 |  3791473 |   215332 |    55828      7 |      811 |      702
980.97/981.24	c  980s |      17 |  3799967 |   215932 |    55828      7 |      811 |      702
982.97/983.25	c  982s |      17 |  3805544 |   216532 |    55828      7 |      811 |      702
985.07/985.34	c  984s |      17 |  3813216 |   216932 |    55828      7 |      811 |      702
987.27/987.51	c  986s |      17 |  3822855 |   217432 |    55828      7 |      811 |      702
989.77/990.01	c  989s |      17 |  3833313 |   217932 |    55828      7 |      811 |      702
991.87/992.15	c  991s |      17 |  3837788 |   218532 |    55828      7 |      811 |      702
994.66/994.98	c  994s |      17 |  3839255 |   218932 |    55828      7 |      811 |      702
997.37/997.63	c  997s |      17 |  3841375 |   219332 |    55828      7 |      811 |      702
999.37/999.69	c  999s |      17 |  3843233 |   219732 |    55828      7 |      811 |      702
1001.67/1001.99	c 1001s |      17 |  3844897 |   220132 |    55828      7 |      811 |      702
1003.87/1004.16	c 1003s |      17 |  3847222 |   220532 |    55828      7 |      811 |      702
1006.48/1006.71	c 1006s |      17 |  3847667 |   220732 |    55828      7 |      811 |      702
1008.47/1008.73	c 1008s |      17 |  3849135 |   221032 |    55828      7 |      811 |      702
1011.17/1011.41	c 1010s |      17 |  3850272 |   221432 |    55828      7 |      811 |      702
1013.26/1013.53	c 1012s |      17 |  3851161 |   221632 |    55828      7 |      811 |      702
1015.76/1016.01	c 1015s |      17 |  3852063 |   221932 |    55828      7 |      811 |      702
1018.16/1018.49	c 1017s |      17 |  3856277 |   222232 |    55828      7 |      811 |      702
1020.46/1020.73	c 1020s |      17 |  3868169 |   222732 |    55828      7 |      811 |      702
1022.56/1022.89	c 1022s |      17 |  3880423 |   223232 |    55828      7 |      811 |      702
1025.07/1025.36	c 1024s |      17 |  3893884 |   223832 |    55828      7 |      811 |      702
1027.37/1027.66	c 1027s |      17 |  3906853 |   224532 |    55828      7 |      811 |      702
1029.76/1030.01	c 1029s |      17 |  3914330 |   225032 |    55828      7 |      811 |      702
1031.95/1032.22	c 1031s |      17 |  3926579 |   225532 |    55828      7 |      811 |      702
1034.35/1034.60	c 1034s |      17 |  3940594 |   226132 |    55828      7 |      811 |      702
1036.55/1036.81	c 1036s |      17 |  3953321 |   226632 |    55828      7 |      811 |      702
1038.85/1039.15	c 1038s |      17 |  3967437 |   227232 |    55828      7 |      811 |      702
1041.25/1041.56	c 1040s |      17 |  3977052 |   227832 |    55828      7 |      811 |      702
1045.35/1045.61	c 1045s |      17 |  3986414 |   228332 |    55828      8 |      811 |      702
1047.65/1047.92	c 1047s |      17 |  3994262 |   229032 |    55828      8 |      811 |      702
1049.64/1049.93	c 1049s |      17 |  4003192 |   229632 |    55828      8 |      811 |      702
1051.84/1052.18	c 1051s |      17 |  4017098 |   230132 |    55828      8 |      812 |      703
1053.94/1054.23	c 1053s |      17 |  4018605 |   230632 |    55828      8 |      812 |      703
1056.04/1056.39	c 1055s |      17 |  4025307 |   231132 |    55828      8 |      812 |      703
1058.24/1058.55	c 1057s |      17 |  4034829 |   231732 |    55828      8 |      812 |      703
1060.64/1060.95	c 1060s |      17 |  4050654 |   232432 |    55828      8 |      812 |      703
1062.74/1063.04	c 1062s |      17 |  4051468 |   232832 |    55828      8 |      812 |      703
1065.13/1065.44	c 1064s |      17 |  4062742 |   233432 |    55828      8 |      812 |      703
1067.33/1067.61	c 1067s |      17 |  4063365 |   233832 |    55828      8 |      812 |      703
1069.33/1069.65	c 1069s |      17 |  4078522 |   234332 |    55828      8 |      812 |      703
1071.43/1071.76	c 1071s |      17 |  4091025 |   235132 |    55828      8 |      812 |      703
1073.44/1073.80	c 1073s |      17 |  4099232 |   235732 |    55828      8 |      812 |      703
1076.14/1076.46	c 1075s |      17 |  4100653 |   236232 |    55828      8 |      812 |      703
1078.43/1078.75	c 1078s |      17 |  4102896 |   236732 |    55828      8 |      812 |      703
1080.63/1080.99	c 1080s |      17 |  4106226 |   237232 |    55828      8 |      812 |      703
1083.03/1083.34	c 1082s |      17 |  4124218 |   237832 |    55828      8 |      812 |      703
1085.43/1085.80	c 1085s |      17 |  4137623 |   238432 |    55828      8 |      812 |      703
1087.74/1088.00	c 1087s |      17 |  4141357 |   239032 |    55828      8 |      812 |      703
1089.73/1090.04	c 1089s |      17 |  4153912 |   239632 |    55828      8 |      812 |      703
1092.02/1092.38	c 1091s |      17 |  4168426 |   240132 |    55828      8 |      813 |      704
1094.22/1094.52	c 1093s |      17 |  4178828 |   240632 |    55828      8 |      814 |      705
1096.72/1097.00	c 1096s |      17 |  4182205 |   241332 |    55828      8 |      814 |      705
1098.83/1099.17	c 1098s |      17 |  4190445 |   241932 |    55828      8 |      814 |      705
1101.32/1101.66	c 1101s |      17 |  4194816 |   242532 |    55828      8 |      814 |      705
1103.82/1104.15	c 1103s |      17 |  4198848 |   243032 |    55828      8 |      814 |      705
1106.32/1106.67	c 1106s |      17 |  4205292 |   243632 |    55828      8 |      814 |      705
1109.11/1109.41	c 1108s |      17 |  4206787 |   243932 |    55828      8 |      814 |      705
1111.31/1111.66	c 1111s |      17 |  4207296 |   244132 |    55828      8 |      814 |      705
1113.51/1113.89	c 1113s |      17 |  4207646 |   244232 |    55828      8 |      814 |      705
1116.82/1117.17	c 1116s |      17 |  4208698 |   244432 |    55828      8 |      814 |      705
1120.21/1120.54	c 1119s |      17 |  4209972 |   244732 |    55828      8 |      814 |      705
1122.60/1122.91	c 1122s |      17 |  4210521 |   244932 |    55828      8 |      814 |      705
1125.90/1126.27	c 1125s |      17 |  4213154 |   245332 |    55828      8 |      814 |      705
1128.11/1128.40	c 1127s |      17 |  4213417 |   245432 |    55828      8 |      814 |      705
1130.21/1130.51	c 1129s |      17 |  4215268 |   245732 |    55828      8 |      814 |      705
1133.30/1133.64	c 1133s |      17 |  4217226 |   246032 |    55828      8 |      814 |      705
1136.00/1136.35	c 1135s |      17 |  4218132 |   246232 |    55828      8 |      814 |      705
1138.60/1138.95	c 1138s |      17 |  4219466 |   246532 |    55828      8 |      814 |      705
1141.99/1142.36	c 1141s |      17 |  4220209 |   246732 |    55828      8 |      814 |      705
1144.59/1144.99	c 1144s |      17 |  4221267 |   246932 |    55828      8 |      814 |      705
1146.69/1147.01	c 1146s |      17 |  4222222 |   247132 |    55828      8 |      814 |      705
1148.89/1149.29	c 1148s |      17 |  4222917 |   247332 |    55828      8 |      814 |      705
1151.49/1151.81	c 1151s |      17 |  4223735 |   247532 |    55828      8 |      814 |      705
1154.09/1154.44	c 1153s |      17 |  4224775 |   247832 |    55828      8 |      814 |      705
1156.58/1156.91	c 1156s |      17 |  4226166 |   248132 |    55828      8 |      814 |      705
1158.78/1159.10	c 1158s |      17 |  4227463 |   248432 |    55828      8 |      814 |      705
1160.88/1161.25	c 1160s |      17 |  4230970 |   248932 |    55828      8 |      814 |      705
1163.27/1163.68	c 1163s |      17 |  4234558 |   249432 |    55828      8 |      814 |      705
1165.67/1166.02	c 1165s |      17 |  4237604 |   249832 |    55828      8 |      814 |      705
1168.08/1168.48	c 1167s |      17 |  4238799 |   250132 |    55828      8 |      814 |      705
1170.37/1170.75	c 1170s |      17 |  4240307 |   250332 |    55828      8 |      814 |      705
1172.87/1173.26	c 1172s |      17 |  4241244 |   250632 |    55828      8 |      814 |      705
1174.97/1175.34	c 1174s |      17 |  4241865 |   250832 |    55828      8 |      814 |      705
1177.37/1177.71	c 1177s |      17 |  4242518 |   251032 |    55828      8 |      814 |      705
1179.47/1179.83	c 1179s |      17 |  4243291 |   251232 |    55828      8 |      814 |      705
1182.37/1182.75	c 1182s |      17 |  4243955 |   251432 |    55828      8 |      814 |      705
1185.97/1186.30	c 1185s |      17 |  4244794 |   251632 |    55828      8 |      814 |      705
1188.36/1188.78	c 1188s |      17 |  4245061 |   251732 |    55828      8 |      814 |      705
1190.56/1190.98	c 1190s |      17 |  4246656 |   252032 |    55828      8 |      814 |      705
1193.36/1193.78	c 1193s |      17 |  4249471 |   252532 |    55828      8 |      814 |      705
1196.25/1196.69	c 1196s |      17 |  4250988 |   252832 |    55828      8 |      814 |      705
1199.65/1200.09	c 1199s |      17 |  4251752 |   253032 |    55828      8 |      814 |      705
1202.45/1202.81	c 1202s |      17 |  4252584 |   253232 |    55828      8 |      814 |      705
1205.25/1205.63	c 1205s |      17 |  4253359 |   253432 |    55828      8 |      814 |      705
1207.45/1207.81	c 1207s |      17 |  4257593 |   253932 |    55828      8 |      814 |      705
1209.56/1209.92	c 1209s |      17 |  4260915 |   254332 |    55828      8 |      814 |      705
1212.25/1212.64	c 1212s |      17 |  4263747 |   254832 |    55828      8 |      814 |      705
1214.35/1214.79	c 1214s |      17 |  4266391 |   255132 |    55828      8 |      814 |      705
1216.95/1217.31	c 1216s |      17 |  4267718 |   255532 |    55828      8 |      814 |      705
1219.25/1219.61	c 1219s |      17 |  4268780 |   255832 |    55828      8 |      814 |      705
1222.24/1222.64	c 1222s |      17 |  4270100 |   256132 |    55828      8 |      814 |      705
1225.74/1226.16	c 1225s |      17 |  4270726 |   256332 |    55828      8 |      814 |      705
1228.45/1228.83	c 1228s |      17 |  4272668 |   256632 |    55828      8 |      814 |      705
1230.54/1230.98	c 1230s |      17 |  4274123 |   257032 |    55828      8 |      814 |      705
1233.33/1233.71	c 1233s |      17 |  4276007 |   257432 |    55828      8 |      814 |      705
1235.83/1236.20	c 1235s |      17 |  4277493 |   257732 |    55828      8 |      814 |      705
1237.93/1238.30	c 1237s |      17 |  4278615 |   257932 |    55828      8 |      814 |      705
1240.64/1241.06	c 1240s |      17 |  4279579 |   258232 |    55828      8 |      814 |      705
1242.93/1243.37	c 1242s |      17 |  4282689 |   258632 |    55828      8 |      814 |      705
1245.43/1245.86	c 1245s |      17 |  4285909 |   259132 |    55828      8 |      814 |      705
1247.53/1247.91	c 1247s |      17 |  4286940 |   259432 |    55828      8 |      814 |      705
1250.23/1250.62	c 1250s |      17 |  4289006 |   259732 |    55828      8 |      814 |      705
1252.43/1252.81	c 1252s |      17 |  4292145 |   260132 |    55828      8 |      814 |      705
1254.63/1255.07	c 1254s |      17 |  4294961 |   260532 |    55828      8 |      814 |      705
1256.63/1257.07	c 1256s |      17 |  4299031 |   260932 |    55828      8 |      814 |      705
1258.93/1259.35	c 1258s |      17 |  4300383 |   261232 |    55828      8 |      814 |      705
1261.82/1262.27	c 1261s |      17 |  4302451 |   261632 |    55828      8 |      814 |      705
1264.52/1264.98	c 1264s |      17 |  4303984 |   261932 |    55828      8 |      814 |      705
1267.42/1267.86	c 1267s |      17 |  4304706 |   262232 |    55828      8 |      814 |      705
1269.72/1270.16	c 1269s |      17 |  4305959 |   262532 |    55828      8 |      814 |      705
1272.21/1272.65	c 1272s |      17 |  4307307 |   262832 |    55828      8 |      814 |      705
1274.81/1275.26	c 1274s |      17 |  4308402 |   263132 |    55828      8 |      814 |      705
1277.61/1278.03	c 1277s |      17 |  4308931 |   263232 |    55828      9 |      814 |      705
1279.71/1280.15	c 1279s |      17 |  4311440 |   263632 |    55828      9 |      814 |      705
1282.50/1282.93	c 1282s |      17 |  4314002 |   264032 |    55828      9 |      814 |      705
1285.70/1286.19	c 1285s |      17 |  4315540 |   264432 |    55828      9 |      814 |      705
1288.10/1288.55	c 1287s |      17 |  4317320 |   264832 |    55828      9 |      814 |      705
1290.60/1291.09	c 1290s |      17 |  4319471 |   265232 |    55828      9 |      814 |      705
1293.19/1293.70	c 1293s |      17 |  4321629 |   265632 |    55828      9 |      814 |      705
1295.61/1296.08	c 1295s |      17 |  4322566 |   265932 |    55828      9 |      814 |      705
1298.39/1298.90	c 1298s |      17 |  4323535 |   266232 |    55828      9 |      814 |      705
1300.89/1301.38	c 1300s |      17 |  4324188 |   266432 |    55828      9 |      814 |      705
1303.59/1304.05	c 1303s |      17 |  4324928 |   266632 |    55828      9 |      814 |      705
1305.89/1306.30	c 1305s |      17 |  4327021 |   267032 |    55828      9 |      814 |      705
1307.99/1308.41	c 1307s |      17 |  4328455 |   267332 |    55828      9 |      814 |      705
1310.09/1310.50	c 1309s |      17 |  4329806 |   267632 |    55828      9 |      814 |      705
1313.38/1313.81	c 1313s |      17 |  4330937 |   267932 |    55828      9 |      814 |      705
1315.78/1316.21	c 1315s |      17 |  4332772 |   268232 |    55828      9 |      814 |      705
1318.68/1319.14	c 1318s |      17 |  4333686 |   268432 |    55828      9 |      814 |      705
1320.78/1321.25	c 1320s |      17 |  4334470 |   268632 |    55828      9 |      814 |      705
1323.88/1324.34	c 1323s |      17 |  4335222 |   268832 |    55828      9 |      814 |      705
1326.18/1326.67	c 1326s |      17 |  4335372 |   268932 |    55828      9 |      814 |      705
1328.59/1329.05	c 1328s |      17 |  4335744 |   269032 |    55828      9 |      814 |      705
1331.47/1331.90	c 1331s |      17 |  4336923 |   269232 |    55828      9 |      814 |      705
1334.27/1334.71	c 1334s |      17 |  4337154 |   269332 |    55828      9 |      814 |      705
1338.07/1338.57	c 1337s |      17 |  4338012 |   269532 |    55828      9 |      814 |      705
1340.47/1340.91	c 1340s |      17 |  4338836 |   269732 |    55828      9 |      814 |      705
1342.97/1343.43	c 1342s |      17 |  4339517 |   269932 |    55828      9 |      814 |      705
1346.18/1346.63	c 1346s |      17 |  4340459 |   270132 |    55828      9 |      814 |      705
1348.28/1348.71	c 1348s |      17 |  4340865 |   270232 |    55828      9 |      814 |      705
1352.06/1352.57	c 1351s |      17 |  4341435 |   270432 |    55828      9 |      814 |      705
1354.56/1355.00	c 1354s |      17 |  4342509 |   270632 |    55828      9 |      814 |      705
1357.26/1357.75	c 1357s |      17 |  4342946 |   270732 |    55828      9 |      814 |      705
1359.27/1359.75	c 1359s |      17 |  4343299 |   270832 |    55828      9 |      814 |      705
1362.45/1362.97	c 1362s |      17 |  4343960 |   271032 |    55828      9 |      814 |      705
1365.16/1365.65	c 1365s |      17 |  4344223 |   271132 |    55828      9 |      814 |      705
1367.56/1368.03	c 1367s |      17 |  4344420 |   271232 |    55828      9 |      814 |      705
1371.46/1371.91	c 1371s |      17 |  4344865 |   271432 |    55828      9 |      814 |      705
1374.05/1374.53	c 1373s |      17 |  4345056 |   271532 |    55828      9 |      814 |      705
1377.15/1377.63	c 1377s |      17 |  4345336 |   271632 |    55828      9 |      814 |      705
1379.25/1379.77	c 1379s |      17 |  4345613 |   271732 |    55828      9 |      814 |      705
1382.64/1383.16	c 1382s |      17 |  4346377 |   271932 |    55828      9 |      814 |      705
1386.95/1387.43	c 1386s |      17 |  4346976 |   272132 |    55828      9 |      814 |      705
1391.26/1391.73	c 1391s |      17 |  4347144 |   272232 |    55828      9 |      814 |      705
1394.25/1394.79	c 1394s |      17 |  4347436 |   272332 |    55828      9 |      814 |      705
1397.44/1397.95	c 1397s |      17 |  4347727 |   272432 |    55828      9 |      814 |      705
1400.94/1401.47	c 1400s |      17 |  4347891 |   272532 |    55828      9 |      814 |      705
1403.14/1403.63	c 1403s |      17 |  4349741 |   272832 |    55828      9 |      814 |      705
1405.74/1406.26	c 1405s |      17 |  4351796 |   273132 |    55828      9 |      814 |      705
1408.24/1408.74	c 1408s |      17 |  4353618 |   273432 |    55828      9 |      814 |      705
1410.74/1411.28	c 1410s |      17 |  4355229 |   273632 |    55828      9 |      814 |      705
1413.84/1414.39	c 1413s |      17 |  4356594 |   273932 |    55828      9 |      814 |      705
1416.04/1416.54	c 1415s |      17 |  4358225 |   274232 |    55828      9 |      814 |      705
1419.34/1419.81	c 1419s |      17 |  4359501 |   274532 |    55828      9 |      814 |      705
1421.94/1422.46	c 1421s |      17 |  4361825 |   274832 |    55828      9 |      814 |      705
1425.14/1425.64	c 1425s |      17 |  4362852 |   275132 |    55828      9 |      814 |      705
1428.05/1428.50	c 1427s |      17 |  4363328 |   275332 |    55828      9 |      814 |      705
1430.04/1430.54	c 1429s |      17 |  4363622 |   275432 |    55828      9 |      814 |      705
1432.84/1433.35	c 1432s |      17 |  4364313 |   275632 |    55828      9 |      814 |      705
1436.04/1436.51	c 1435s |      17 |  4364732 |   275832 |    55828      9 |      814 |      705
1438.14/1438.63	c 1438s |      17 |  4365063 |   275932 |    55828      9 |      814 |      705
1440.24/1440.73	c 1440s |      17 |  4365327 |   276032 |    55828      9 |      814 |      705
1442.54/1443.04	c 1442s |      17 |  4365592 |   276132 |    55828      9 |      814 |      705
1445.34/1445.85	c 1445s |      17 |  4367140 |   276432 |    55828      9 |      814 |      705
1448.64/1449.18	c 1448s |      17 |  4367755 |   276632 |    55828      9 |      814 |      705
1451.44/1451.92	c 1451s |      17 |  4368897 |   276932 |    55828      9 |      814 |      705
1453.74/1454.23	c 1453s |      17 |  4369250 |   277132 |    55828      9 |      814 |      705
1456.04/1456.51	c 1455s |      17 |  4370297 |   277332 |    55828      9 |      814 |      705
1459.93/1460.43	c 1459s |      17 |  4370701 |   277532 |    55828      9 |      814 |      705
1462.14/1462.60	c 1462s |      17 |  4371076 |   277632 |    55828      9 |      814 |      705
1464.74/1465.20	c 1464s |      17 |  4372337 |   277932 |    55828      9 |      814 |      705
1467.15/1467.60	c 1467s |      17 |  4373624 |   278132 |    55828      9 |      814 |      705
1469.64/1470.17	c 1469s |      17 |  4374518 |   278332 |    55828      9 |      814 |      705
1473.14/1473.63	c 1473s |      17 |  4375121 |   278532 |    55828      9 |      814 |      705
1476.23/1476.71	c 1476s |      17 |  4375733 |   278732 |    55828      9 |      814 |      705
1480.13/1480.62	c 1480s |      17 |  4376227 |   278932 |    55828      9 |      814 |      705
1482.23/1482.80	c 1482s |      17 |  4376404 |   279032 |    55828      9 |      814 |      705
1484.63/1485.17	c 1484s |      17 |  4376552 |   279132 |    55828      9 |      814 |      705
1486.63/1487.20	c 1486s |      17 |  4376730 |   279232 |    55828      9 |      814 |      705
1490.83/1491.33	c 1490s |      17 |  4377806 |   279432 |    55828      9 |      814 |      705
1494.23/1494.73	c 1494s |      17 |  4379169 |   279732 |    55828      9 |      814 |      705
1497.63/1498.11	c 1497s |      17 |  4380135 |   280032 |    55828      9 |      814 |      705
1500.43/1500.99	c 1500s |      17 |  4380915 |   280232 |    55828      9 |      814 |      705
1503.63/1504.10	c 1503s |      17 |  4381478 |   280432 |    55828      9 |      814 |      705
1505.83/1506.40	c 1505s |      17 |  4382286 |   280632 |    55828      9 |      814 |      705
1508.63/1509.12	c 1508s |      17 |  4382759 |   280832 |    55828      9 |      814 |      705
1510.73/1511.28	c 1510s |      17 |  4383526 |   281032 |    55828      9 |      814 |      705
1512.83/1513.35	c 1512s |      17 |  4384757 |   281232 |    55828      9 |      814 |      705
1515.43/1515.91	c 1515s |      17 |  4385454 |   281432 |    55828      9 |      814 |      705
1518.84/1519.34	c 1518s |      17 |  4386054 |   281632 |    55828      9 |      814 |      705
1522.73/1523.22	c 1522s |      17 |  4386692 |   281832 |    55828      9 |      814 |      705
1524.83/1525.37	c 1524s |      17 |  4387537 |   282032 |    55828      9 |      814 |      705
1527.33/1527.80	c 1527s |      17 |  4387971 |   282232 |    55828      9 |      814 |      705
1530.62/1531.14	c 1530s |      17 |  4388609 |   282432 |    55828      9 |      814 |      705
1534.02/1534.51	c 1533s |      17 |  4389832 |   282732 |    55828      9 |      814 |      705
1536.92/1537.47	c 1536s |      17 |  4390663 |   282932 |    55828      9 |      814 |      705
1540.92/1541.44	c 1540s |      17 |  4391492 |   283132 |    55828      9 |      814 |      705
1545.02/1545.60	c 1545s |      17 |  4392208 |   283332 |    55828      9 |      814 |      705
1548.12/1548.62	c 1548s |      17 |  4392792 |   283532 |    55828      9 |      814 |      705
1551.83/1552.37	c 1551s |      17 |  4393341 |   283732 |    55828      9 |      814 |      705
1555.52/1556.07	c 1555s |      17 |  4393896 |   283932 |    55828      9 |      814 |      705
1558.02/1558.54	c 1557s |      17 |  4394119 |   284032 |    55828      9 |      814 |      705
1561.82/1562.36	c 1561s |      17 |  4394711 |   284232 |    55828      9 |      814 |      705
1564.72/1565.26	c 1564s |      17 |  4394953 |   284332 |    55828      9 |      814 |      705
1568.32/1568.85	c 1568s |      17 |  4395495 |   284432 |    55828      9 |      814 |      705
1572.02/1572.51	c 1571s |      17 |  4395844 |   284632 |    55828      9 |      814 |      705
1574.02/1574.52	c 1573s |      17 |  4396078 |   284732 |    55828      9 |      814 |      705
1576.32/1576.80	c 1576s |      17 |  4396299 |   284832 |    55828      9 |      814 |      705
1578.52/1579.02	c 1578s |      17 |  4396514 |   284932 |    55828      9 |      814 |      705
1580.62/1581.10	c 1580s |      17 |  4396701 |   285032 |    55828      9 |      814 |      705
1583.31/1583.84	c 1583s |      17 |  4396869 |   285132 |    55828      9 |      814 |      705
1587.91/1588.47	c 1587s |      17 |  4397328 |   285332 |    55828      9 |      814 |      705
1591.33/1591.83	c 1591s |      17 |  4397535 |   285432 |    55828      9 |      814 |      705
1594.41/1594.96	c 1594s |      17 |  4397690 |   285532 |    55828      9 |      814 |      705
1596.71/1597.29	c 1596s |      17 |  4397925 |   285632 |    55828      9 |      814 |      705
1599.21/1599.71	c 1599s |      17 |  4398086 |   285732 |    55828      9 |      814 |      705
1602.51/1603.00	c 1602s |      17 |  4398686 |   285932 |    55828      9 |      814 |      705
1606.21/1606.77	c 1606s |      17 |  4399327 |   286132 |    55828      9 |      814 |      705
1608.52/1609.09	c 1608s |      17 |  4399748 |   286232 |    55828      9 |      814 |      705
1611.32/1611.89	c 1611s |      17 |  4399975 |   286332 |    55828      9 |      814 |      705
1613.51/1614.02	c 1613s |      17 |  4400180 |   286432 |    55828      9 |      814 |      705
1616.21/1616.71	c 1616s |      17 |  4400913 |   286632 |    55828      9 |      814 |      705
1619.61/1620.10	c 1619s |      17 |  4401482 |   286832 |    55828      9 |      814 |      705
1622.41/1622.94	c 1622s |      17 |  4402154 |   287032 |    55828      9 |      814 |      705
1624.61/1625.15	c 1624s |      17 |  4402438 |   287132 |    55828      9 |      814 |      705
1628.91/1629.47	c 1628s |      17 |  4402881 |   287332 |    55828      9 |      814 |      705
1632.02/1632.58	c 1632s |      17 |  4403143 |   287432 |    55828      9 |      814 |      705
1635.11/1635.67	c 1635s |      17 |  4403626 |   287632 |    55828      9 |      814 |      705
1638.71/1639.20	c 1638s |      17 |  4404097 |   287832 |    55828      9 |      814 |      705
1643.41/1643.97	c 1643s |      17 |  4404555 |   288032 |    55828      9 |      814 |      705
1645.71/1646.23	c 1645s |      17 |  4404717 |   288132 |    55828      9 |      814 |      705
1649.51/1650.03	c 1649s |      17 |  4405242 |   288332 |    55828      9 |      814 |      705
1651.81/1652.35	c 1651s |      17 |  4405445 |   288432 |    55828      9 |      814 |      705
1654.11/1654.63	c 1654s |      17 |  4405708 |   288532 |    55828      9 |      814 |      705
1656.31/1656.85	c 1656s |      17 |  4405894 |   288632 |    55828      9 |      814 |      705
1658.91/1659.48	c 1658s |      17 |  4406474 |   288832 |    55828      9 |      814 |      705
1663.20/1663.79	c 1663s |      17 |  4406887 |   289032 |    55828      9 |      814 |      705
1665.70/1666.24	c 1665s |      17 |  4407055 |   289132 |    55828      9 |      814 |      705
1668.10/1668.63	c 1668s |      17 |  4407261 |   289232 |    55828      9 |      814 |      705
1670.31/1670.86	c 1670s |      17 |  4407690 |   289332 |    55828      9 |      814 |      705
1673.01/1673.51	c 1672s |      17 |  4407909 |   289432 |    55828      9 |      814 |      705
1675.61/1676.14	c 1675s |      17 |  4409003 |   289632 |    55828      9 |      814 |      705
1677.91/1678.48	c 1677s |      17 |  4409774 |   289832 |    55828      9 |      814 |      705
1680.80/1681.34	c 1680s |      17 |  4410567 |   290032 |    55828      9 |      814 |      705
1683.50/1684.00	c 1683s |      17 |  4411937 |   290232 |    55828      9 |      814 |      705
1687.50/1688.03	c 1687s |      17 |  4412726 |   290532 |    55828      9 |      814 |      705
1689.70/1690.24	c 1689s |      17 |  4413054 |   290632 |    55828      9 |      814 |      705
1693.00/1693.54	c 1692s |      17 |  4413940 |   290832 |    55828      9 |      814 |      705
1697.40/1697.97	c 1697s |      17 |  4414085 |   290932 |    55828      9 |      814 |      705
1700.00/1700.56	c 1699s |      17 |  4414284 |   291032 |    55828      9 |      814 |      705
1702.30/1702.84	c 1702s |      17 |  4414493 |   291132 |    55828      9 |      814 |      705
1706.59/1707.11	c 1706s |      17 |  4415345 |   291332 |    55828      9 |      814 |      705
1709.69/1710.24	c 1709s |      17 |  4415704 |   291432 |    55828      9 |      814 |      705
1712.19/1712.74	c 1712s |      17 |  4416437 |   291632 |    55828      9 |      814 |      705
1714.29/1714.81	c 1714s |      17 |  4416583 |   291732 |    55828      9 |      814 |      705
1716.71/1717.27	c 1716s |      17 |  4416770 |   291832 |    55828      9 |      814 |      705
1720.60/1721.16	c 1720s |      17 |  4417284 |   292032 |    55828      9 |      814 |      705
1722.70/1723.23	c 1722s |      17 |  4417459 |   292132 |    55828      9 |      814 |      705
1725.79/1726.30	c 1725s |      17 |  4417591 |   292232 |    55828      9 |      814 |      705
1729.59/1730.19	c 1729s |      17 |  4418094 |   292432 |    55828      9 |      814 |      705
1734.40/1734.99	c 1734s |      17 |  4418257 |   292532 |    55828      9 |      814 |      705
1738.50/1739.04	c 1738s |      17 |  4418607 |   292632 |    55828      9 |      814 |      705
1742.10/1742.69	c 1742s |      17 |  4418767 |   292732 |    55828      9 |      814 |      705
1745.40/1745.98	c 1745s |      17 |  4420132 |   292932 |    55828      9 |      814 |      705
1748.70/1749.29	c 1748s |      17 |  4420830 |   293132 |    55828      9 |      814 |      705
1751.19/1751.79	c 1751s |      17 |  4421040 |   293232 |    55828      9 |      814 |      705
1753.59/1754.16	c 1753s |      17 |  4421205 |   293332 |    55828      9 |      814 |      705
1757.99/1758.56	c 1757s |      17 |  4422054 |   293532 |    55828      9 |      814 |      705
1760.39/1760.98	c 1760s |      17 |  4422445 |   293632 |    55828      9 |      814 |      705
1764.29/1764.82	c 1764s |      17 |  4422778 |   293732 |    55828      9 |      814 |      705
1768.89/1769.45	c 1768s |      17 |  4423731 |   293932 |    55828      9 |      814 |      705
1771.70/1772.24	c 1771s |      17 |  4424126 |   294032 |    55828      9 |      814 |      705
1774.79/1775.33	c 1774s |      17 |  4424317 |   294132 |    55828      9 |      814 |      705
1777.49/1778.00	c 1777s |      17 |  4424483 |   294232 |    61411      9 |      814 |      705
1780.69/1781.29	c 1780s |      17 |  4424657 |   294332 |    61411      9 |      814 |      705
1783.28/1783.83	c 1783s |      17 |  4424928 |   294432 |    61411      9 |      814 |      705
1785.68/1786.23	c 1785s |      17 |  4425212 |   294532 |    61411      9 |      814 |      705
1788.98/1789.51	c 1788s |      17 |  4425406 |   294632 |    61411      9 |      814 |      705
1791.38/1791.93	c 1791s |      17 |  4425575 |   294732 |    61411      9 |      814 |      705
1793.38/1793.94	c 1793s |      17 |  4426012 |   294832 |    61411      9 |      814 |      705
1795.58/1796.16	c 1795s |      17 |  4426314 |   294932 |    61411      9 |      814 |      705

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

pid=4108
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.12 2.12 2.10 4/179 4111
/proc/meminfo: memFree=30059952/32872528 swapFree=12328/568296
[pid=4111] ppid=4108 vsize=658876 CPUtime=0 cores=1,3,5,7
/proc/4111/stat : 4111 (toysat) R 4108 4111 3396 0 -1 4202496 2446 0 0 0 0 0 0 0 20 0 4 0 110529358 674689024 2808 33554432000 4194304 16246674 140737160802800 140737160802224 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4111/statm: 165231 2818 441 2943 0 162125 0
[pid=4111/tid=4112] ppid=4108 vsize=677308 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4112/stat : 4112 (toysat) S 4108 4111 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110529358 693563392 2882 33554432000 4194304 16246674 140737160802800 140246745328880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4111/tid=4113] ppid=4108 vsize=682428 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4113/stat : 4113 (toysat) S 4108 4111 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110529358 698806272 2898 33554432000 4194304 16246674 140737160802800 140246734839024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4111/tid=4114] ppid=4108 vsize=686524 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4114/stat : 4114 (toysat) S 4108 4111 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110529358 703000576 2917 33554432000 4194304 16246674 140737160802800 140246654119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.12 2.12 2.10 4/179 4111
/proc/meminfo: memFree=30059952/32872528 swapFree=12328/568296
[pid=4111] ppid=4108 vsize=1301060 CPUtime=0.08 cores=1,3,5,7
/proc/4111/stat : 4111 (toysat) R 4108 4111 3396 0 -1 4202496 28403 0 0 0 5 3 0 0 20 0 4 0 110529358 1332285440 28703 33554432000 4194304 16246674 140737160802800 140737160802112 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4111/statm: 325265 28718 801 2943 0 322159 0
[pid=4111/tid=4112] ppid=4108 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4112/stat : 4112 (toysat) S 4108 4111 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110529358 1332285440 28730 33554432000 4194304 16246674 140737160802800 140246745328880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4111/tid=4113] ppid=4108 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4113/stat : 4113 (toysat) S 4108 4111 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110529358 1332285440 28741 33554432000 4194304 16246674 140737160802800 140246734839024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4111/tid=4114] ppid=4108 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4114/stat : 4114 (toysat) S 4108 4111 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110529358 1332285440 28752 33554432000 4194304 16246674 140737160802800 140246654119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1301060

[startup+0.200539 s]
/proc/loadavg: 2.12 2.12 2.10 4/179 4111
/proc/meminfo: memFree=30059952/32872528 swapFree=12328/568296
[pid=4111] ppid=4108 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/4111/stat : 4111 (toysat) R 4108 4111 3396 0 -1 4202496 50312 0 0 0 12 7 0 0 20 0 4 0 110529358 1344868352 51122 33554432000 4194304 16246674 140737160802800 140737160784704 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4111/statm: 328337 51122 801 2943 0 325231 0
[pid=4111/tid=4112] ppid=4108 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4112/stat : 4112 (toysat) S 4108 4111 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110529358 1344868352 51122 33554432000 4194304 16246674 140737160802800 140246745328880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4111/tid=4113] ppid=4108 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4113/stat : 4113 (toysat) S 4108 4111 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110529358 1344868352 51122 33554432000 4194304 16246674 140737160802800 140246734839024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4111/tid=4114] ppid=4108 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4114/stat : 4114 (toysat) S 4108 4111 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110529358 1344868352 51122 33554432000 4194304 16246674 140737160802800 140246654119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300512 s]
/proc/loadavg: 2.12 2.12 2.10 4/179 4111
/proc/meminfo: memFree=30059952/32872528 swapFree=12328/568296
[pid=4111] ppid=4108 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/4111/stat : 4111 (toysat) R 4108 4111 3396 0 -1 4202496 50502 0 0 0 22 7 0 0 20 0 4 0 110529358 1344868352 51312 33554432000 4194304 16246674 140737160802800 140737160784704 5913108 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4111/statm: 328337 51312 833 2943 0 325231 0
[pid=4111/tid=4112] ppid=4108 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4112/stat : 4112 (toysat) S 4108 4111 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110529358 1344868352 51312 33554432000 4194304 16246674 140737160802800 140246745328880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4111/tid=4113] ppid=4108 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4113/stat : 4113 (toysat) S 4108 4111 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110529358 1344868352 51312 33554432000 4194304 16246674 140737160802800 140246734839024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4111/tid=4114] ppid=4108 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4114/stat : 4114 (toysat) S 4108 4111 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110529358 1344868352 51312 33554432000 4194304 16246674 140737160802800 140246654119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700415 s]
/proc/loadavg: 2.12 2.12 2.10 4/179 4111
/proc/meminfo: memFree=30059952/32872528 swapFree=12328/568296
[pid=4111] ppid=4108 vsize=1313348 CPUtime=0.68 cores=1,3,5,7
/proc/4111/stat : 4111 (toysat) R 4108 4111 3396 0 -1 4202496 118613 0 0 0 52 16 0 0 20 0 4 0 110529358 1344868352 119423 33554432000 4194304 16246674 140737160802800 140737160784704 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4111/statm: 328337 119427 876 2943 0 325231 0
[pid=4111/tid=4112] ppid=4108 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4112/stat : 4112 (toysat) S 4108 4111 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110529358 1344868352 119429 33554432000 4194304 16246674 140737160802800 140246745328880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4111/tid=4113] ppid=4108 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4113/stat : 4113 (toysat) S 4108 4111 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110529358 1344868352 119431 33554432000 4194304 16246674 140737160802800 140246734839024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4111/tid=4114] ppid=4108 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4114/stat : 4114 (toysat) S 4108 4111 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110529358 1344868352 119433 33554432000 4194304 16246674 140737160802800 140246654119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.12 2.12 2.10 3/183 4115
/proc/meminfo: memFree=29343420/32872528 swapFree=12328/568296
[pid=4111] ppid=4108 vsize=1313348 CPUtime=1.48 cores=1,3,5,7
/proc/4111/stat : 4111 (toysat) R 4108 4111 3396 0 -1 4202496 227655 0 0 0 117 31 0 0 20 0 4 0 110529358 1344868352 228465 33554432000 4194304 16246674 140737160802800 140737160784704 12479207 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4111/statm: 328337 228468 876 2943 0 325231 0
[pid=4111/tid=4112] ppid=4108 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4112/stat : 4112 (toysat) S 4108 4111 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110529358 1344868352 228470 33554432000 4194304 16246674 140737160802800 140246745328880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4111/tid=4113] ppid=4108 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4113/stat : 4113 (toysat) S 4108 4111 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110529358 1344868352 228474 33554432000 4194304 16246674 140737160802800 140246734839024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4111/tid=4114] ppid=4108 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4114/stat : 4114 (toysat) S 4108 4111 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110529358 1344868352 228479 33554432000 4194304 16246674 140737160802800 140246654119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 2.12 2.12 2.10 3/183 4115
/proc/meminfo: memFree=28967956/32872528 swapFree=12328/568296
[pid=4111] ppid=4108 vsize=1327684 CPUtime=3.08 cores=1,3,5,7
/proc/4111/stat : 4111 (toysat) R 4108 4111 3396 0 -1 4202496 272590 0 0 0 271 37 0 0 20 0 4 0 110529358 1359548416 273400 33554432000 4194304 16246674 140737160802800 140737160802112 5754801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4111/statm: 331921 273400 882 2943 0 328815 0
[pid=4111/tid=4112] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4112/stat : 4112 (toysat) S 4108 4111 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273400 33554432000 4194304 16246674 140737160802800 140246745328880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4111/tid=4113] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4113/stat : 4113 (toysat) S 4108 4111 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273400 33554432000 4194304 16246674 140737160802800 140246734839024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4111/tid=4114] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4114/stat : 4114 (toysat) S 4108 4111 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273400 33554432000 4194304 16246674 140737160802800 140246654119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1327684

[startup+6.30042 s]
/proc/loadavg: 2.11 2.12 2.10 3/183 4115
/proc/meminfo: memFree=28967340/32872528 swapFree=12328/568296
[pid=4111] ppid=4108 vsize=1327684 CPUtime=6.28 cores=1,3,5,7
/proc/4111/stat : 4111 (toysat) R 4108 4111 3396 0 -1 4202496 272592 0 0 0 591 37 0 0 20 0 4 0 110529358 1359548416 273402 33554432000 4194304 16246674 140737160802800 140737160784704 6842322 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4111/statm: 331921 273402 884 2943 0 328815 0
[pid=4111/tid=4112] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4112/stat : 4112 (toysat) S 4108 4111 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273402 33554432000 4194304 16246674 140737160802800 140246745328880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4111/tid=4113] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4113/stat : 4113 (toysat) S 4108 4111 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273402 33554432000 4194304 16246674 140737160802800 140246734839024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4111/tid=4114] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4114/stat : 4114 (toysat) S 4108 4111 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273402 33554432000 4194304 16246674 140737160802800 140246654119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1327684

[startup+12.7004 s]
/proc/loadavg: 2.10 2.12 2.10 4/183 4115
/proc/meminfo: memFree=28967392/32872528 swapFree=12328/568296
[pid=4111] ppid=4108 vsize=1327684 CPUtime=12.68 cores=1,3,5,7
/proc/4111/stat : 4111 (toysat) R 4108 4111 3396 0 -1 4202496 272592 0 0 0 1231 37 0 0 20 0 4 0 110529358 1359548416 273402 33554432000 4194304 16246674 140737160802800 140737160784704 5667484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4111/statm: 331921 273402 884 2943 0 328815 0
[pid=4111/tid=4112] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4112/stat : 4112 (toysat) S 4108 4111 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273402 33554432000 4194304 16246674 140737160802800 140246745328880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4111/tid=4113] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4113/stat : 4113 (toysat) S 4108 4111 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273402 33554432000 4194304 16246674 140737160802800 140246734839024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4111/tid=4114] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4114/stat : 4114 (toysat) S 4108 4111 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273402 33554432000 4194304 16246674 140737160802800 140246654119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1327684

[startup+25.5074 s]
/proc/loadavg: 2.14 2.13 2.10 3/183 4115
/proc/meminfo: memFree=28967708/32872528 swapFree=12328/568296
[pid=4111] ppid=4108 vsize=1327684 CPUtime=25.49 cores=1,3,5,7
/proc/4111/stat : 4111 (toysat) R 4108 4111 3396 0 -1 4202496 272593 0 0 0 2512 37 0 0 20 0 4 0 110529358 1359548416 273403 33554432000 4194304 16246674 140737160802800 140737160784704 13943729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4111/statm: 331921 273403 884 2943 0 328815 0
[pid=4111/tid=4112] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4112/stat : 4112 (toysat) S 4108 4111 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273403 33554432000 4194304 16246674 140737160802800 140246745328880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4111/tid=4113] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4113/stat : 4113 (toysat) S 4108 4111 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273403 33554432000 4194304 16246674 140737160802800 140246734839024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4111/tid=4114] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4114/stat : 4114 (toysat) S 4108 4111 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273403 33554432000 4194304 16246674 140737160802800 140246654119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1327684

[startup+51.1004 s]
/proc/loadavg: 2.16 2.13 2.11 3/183 4115
/proc/meminfo: memFree=28967252/32872528 swapFree=12328/568296
[pid=4111] ppid=4108 vsize=1327684 CPUtime=51.08 cores=1,3,5,7
/proc/4111/stat : 4111 (toysat) R 4108 4111 3396 0 -1 4202496 272594 0 0 0 5070 38 0 0 20 0 4 0 110529358 1359548416 273404 33554432000 4194304 16246674 140737160802800 140737160784704 6022960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4111/statm: 331921 273404 885 2943 0 328815 0
[pid=4111/tid=4112] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4112/stat : 4112 (toysat) S 4108 4111 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273404 33554432000 4194304 16246674 140737160802800 140246745328880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4111/tid=4113] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4113/stat : 4113 (toysat) S 4108 4111 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273404 33554432000 4194304 16246674 140737160802800 140246734839024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4111/tid=4114] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4114/stat : 4114 (toysat) S 4108 4111 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273404 33554432000 4194304 16246674 140737160802800 140246654119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1327684

[startup+102.3 s]
/proc/loadavg: 2.11 2.12 2.10 3/183 4116
/proc/meminfo: memFree=28966784/32872528 swapFree=12328/568296
[pid=4111] ppid=4108 vsize=1327684 CPUtime=102.27 cores=1,3,5,7
/proc/4111/stat : 4111 (toysat) R 4108 4111 3396 0 -1 4202496 272594 0 0 0 10189 38 0 0 20 0 4 0 110529358 1359548416 273404 33554432000 4194304 16246674 140737160802800 140737160784704 13191794 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4111/statm: 331921 273404 885 2943 0 328815 0
[pid=4111/tid=4112] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4112/stat : 4112 (toysat) S 4108 4111 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273404 33554432000 4194304 16246674 140737160802800 140246745328880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4111/tid=4113] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4113/stat : 4113 (toysat) S 4108 4111 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273404 33554432000 4194304 16246674 140737160802800 140246734839024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4111/tid=4114] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4114/stat : 4114 (toysat) S 4108 4111 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273404 33554432000 4194304 16246674 140737160802800 140246654119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1327684


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

/proc/4111/task/4114/stat : 4114 (toysat) S 4108 4111 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140246654119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1327684

[startup+1362.3 s]
/proc/loadavg: 2.10 2.14 2.09 3/183 4172
/proc/meminfo: memFree=28961832/32872528 swapFree=12328/568296
[pid=4111] ppid=4108 vsize=1327684 CPUtime=1361.86 cores=1,3,5,7
/proc/4111/stat : 4111 (toysat) R 4108 4111 3396 0 -1 4202496 272969 0 0 0 136125 61 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140737160801896 5722908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4111/statm: 331921 273661 886 2943 0 328815 0
[pid=4111/tid=4112] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4112/stat : 4112 (toysat) S 4108 4111 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140246745328880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4111/tid=4113] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4113/stat : 4113 (toysat) S 4108 4111 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140246734839024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4111/tid=4114] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4114/stat : 4114 (toysat) S 4108 4111 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140246654119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1327684

[startup+1422.3 s]
/proc/loadavg: 2.04 2.12 2.09 3/183 4173
/proc/meminfo: memFree=28963036/32872528 swapFree=12328/568296
[pid=4111] ppid=4108 vsize=1327684 CPUtime=1421.84 cores=1,3,5,7
/proc/4111/stat : 4111 (toysat) R 4108 4111 3396 0 -1 4202496 272979 0 0 0 142121 63 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140737160784704 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4111/statm: 331921 273661 886 2943 0 328815 0
[pid=4111/tid=4112] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4112/stat : 4112 (toysat) S 4108 4111 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140246745328880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4111/tid=4113] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4113/stat : 4113 (toysat) S 4108 4111 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140246734839024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4111/tid=4114] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4114/stat : 4114 (toysat) S 4108 4111 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140246654119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1327684

[startup+1482.3 s]
/proc/loadavg: 2.01 2.09 2.08 3/183 4174
/proc/meminfo: memFree=28963044/32872528 swapFree=12328/568296
[pid=4111] ppid=4108 vsize=1327684 CPUtime=1481.83 cores=1,3,5,7
/proc/4111/stat : 4111 (toysat) R 4108 4111 3396 0 -1 4202496 272979 0 0 0 148118 65 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140737160784704 6021024 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4111/statm: 331921 273661 886 2943 0 328815 0
[pid=4111/tid=4112] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4112/stat : 4112 (toysat) S 4108 4111 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140246745328880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4111/tid=4113] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4113/stat : 4113 (toysat) S 4108 4111 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140246734839024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4111/tid=4114] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4114/stat : 4114 (toysat) S 4108 4111 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140246654119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1327684

[startup+1542.3 s]
/proc/loadavg: 2.00 2.07 2.08 3/183 4175
/proc/meminfo: memFree=28963048/32872528 swapFree=12328/568296
[pid=4111] ppid=4108 vsize=1327684 CPUtime=1541.83 cores=1,3,5,7
/proc/4111/stat : 4111 (toysat) R 4108 4111 3396 0 -1 4202496 272979 0 0 0 154116 67 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140737160801976 5661532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4111/statm: 331921 273661 886 2943 0 328815 0
[pid=4111/tid=4112] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4112/stat : 4112 (toysat) S 4108 4111 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140246745328880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4111/tid=4113] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4113/stat : 4113 (toysat) S 4108 4111 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140246734839024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4111/tid=4114] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4114/stat : 4114 (toysat) S 4108 4111 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140246654119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1327684

[startup+1602.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/183 4176
/proc/meminfo: memFree=28963160/32872528 swapFree=12328/568296
[pid=4111] ppid=4108 vsize=1327684 CPUtime=1601.81 cores=1,3,5,7
/proc/4111/stat : 4111 (toysat) R 4108 4111 3396 0 -1 4202496 272979 0 0 0 160111 70 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140737160784704 5723568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4111/statm: 331921 273661 886 2943 0 328815 0
[pid=4111/tid=4112] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4112/stat : 4112 (toysat) S 4108 4111 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140246745328880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4111/tid=4113] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4113/stat : 4113 (toysat) S 4108 4111 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140246734839024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4111/tid=4114] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4114/stat : 4114 (toysat) S 4108 4111 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140246654119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1327684

[startup+1662.31 s]
/proc/loadavg: 2.08 2.06 2.07 3/183 4180
/proc/meminfo: memFree=28962704/32872528 swapFree=12328/568296
[pid=4111] ppid=4108 vsize=1327684 CPUtime=1661.81 cores=1,3,5,7
/proc/4111/stat : 4111 (toysat) R 4108 4111 3396 0 -1 4202496 272979 0 0 0 166108 73 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140737160784704 5823275 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4111/statm: 331921 273661 886 2943 0 328815 0
[pid=4111/tid=4112] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4112/stat : 4112 (toysat) S 4108 4111 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140246745328880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4111/tid=4113] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4113/stat : 4113 (toysat) S 4108 4111 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140246734839024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4111/tid=4114] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4114/stat : 4114 (toysat) S 4108 4111 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140246654119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1327684

[startup+1722.3 s]
/proc/loadavg: 2.09 2.06 2.07 3/183 4182
/proc/meminfo: memFree=28962944/32872528 swapFree=12328/568296
[pid=4111] ppid=4108 vsize=1327684 CPUtime=1721.8 cores=1,3,5,7
/proc/4111/stat : 4111 (toysat) R 4108 4111 3396 0 -1 4202496 272979 0 0 0 172104 76 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140737160784704 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4111/statm: 331921 273661 886 2943 0 328815 0
[pid=4111/tid=4112] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4112/stat : 4112 (toysat) S 4108 4111 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140246745328880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4111/tid=4113] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4113/stat : 4113 (toysat) S 4108 4111 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140246734839024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4111/tid=4114] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4114/stat : 4114 (toysat) S 4108 4111 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273661 33554432000 4194304 16246674 140737160802800 140246654119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1327684

[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.06 3/183 4183
/proc/meminfo: memFree=28961756/32872528 swapFree=12328/568296
[pid=4111] ppid=4108 vsize=1327684 CPUtime=1781.78 cores=1,3,5,7
/proc/4111/stat : 4111 (toysat) R 4108 4111 3396 0 -1 4202496 272980 0 0 0 178100 78 0 0 20 0 4 0 110529358 1359548416 273662 33554432000 4194304 16246674 140737160802800 140737160784704 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4111/statm: 331921 273662 887 2943 0 328815 0
[pid=4111/tid=4112] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4112/stat : 4112 (toysat) S 4108 4111 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273662 33554432000 4194304 16246674 140737160802800 140246745328880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4111/tid=4113] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4113/stat : 4113 (toysat) S 4108 4111 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273662 33554432000 4194304 16246674 140737160802800 140246734839024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4111/tid=4114] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4114/stat : 4114 (toysat) S 4108 4111 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273662 33554432000 4194304 16246674 140737160802800 140246654119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1327684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.02 2.05 2.06 3/183 4232
/proc/meminfo: memFree=28991260/32872528 swapFree=12328/568296
[pid=4111] ppid=4108 vsize=1327684 CPUtime=1800.09 cores=1,3,5,7
/proc/4111/stat : 4111 (toysat) R 4108 4111 3396 0 -1 4202496 272980 0 0 0 179930 79 0 0 20 0 4 0 110529358 1359548416 273662 33554432000 4194304 16246674 140737160802800 140737160784704 5724032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4111/statm: 331921 273662 887 2943 0 328815 0
[pid=4111/tid=4112] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4112/stat : 4112 (toysat) S 4108 4111 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273662 33554432000 4194304 16246674 140737160802800 140246745328880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4111/tid=4113] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4113/stat : 4113 (toysat) S 4108 4111 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273662 33554432000 4194304 16246674 140737160802800 140246734839024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4111/tid=4114] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4114/stat : 4114 (toysat) S 4108 4111 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273662 33554432000 4194304 16246674 140737160802800 140246654119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1327684

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

[startup+1800.6 s]
/proc/loadavg: 2.02 2.05 2.06 3/183 4232
/proc/meminfo: memFree=28991260/32872528 swapFree=12328/568296
[pid=4111] ppid=4108 vsize=1327684 CPUtime=1800.09 cores=1,3,5,7
/proc/4111/stat : 4111 (toysat) R 4108 4111 3396 0 -1 4202496 272980 0 0 0 179930 79 0 0 20 0 4 0 110529358 1359548416 273662 33554432000 4194304 16246674 140737160802800 140737160784704 5724032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4111/statm: 331921 273662 887 2943 0 328815 0
[pid=4111/tid=4112] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4112/stat : 4112 (toysat) S 4108 4111 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273662 33554432000 4194304 16246674 140737160802800 140246745328880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4111/tid=4113] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4113/stat : 4113 (toysat) S 4108 4111 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273662 33554432000 4194304 16246674 140737160802800 140246734839024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4111/tid=4114] ppid=4108 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/4111/task/4114/stat : 4114 (toysat) S 4108 4111 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110529358 1359548416 273662 33554432000 4194304 16246674 140737160802800 140246654119088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1327684

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.31
CPU system time (s): 0.791879
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 1327684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 0.791879
maximum resident set size= 1094648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272980
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= 402
involuntary context switches= 1959

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.91725 second user time and 7.01893 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-07 09:52:48
IDJOB=4078898
IDBENCH=90190
IDSOLVER=2542
FILE ID=node138/4078898-1465285968
RUNJOBID= node138-1465278758-3413
PBS_JOBID= 19843315
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K138.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078898-1465285968/watcher-4078898-1465285968 -o /tmp/evaluation-result-4078898-1465285968/solver-4078898-1465285968 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465278758-3413 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078898-1465285968.opb

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

MD5SUM BENCH= b6be79d7c894904bfb5f7c9acfb80f53
RANDOM SEED=493033012

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30059580 kB
Buffers:          108852 kB
Cached:           253792 kB
SwapCached:        46740 kB
Active:          1237820 kB
Inactive:         269948 kB
Active(anon):    1099556 kB
Inactive(anon):    47688 kB
Active(file):     138264 kB
Inactive(file):   222260 kB
Unevictable:      568296 kB
Mlocked:           12328 kB
SwapTotal:      67108856 kB
SwapFree:       67053656 kB
Dirty:             35400 kB
Writeback:             0 kB
AnonPages:       1755436 kB
Mapped:            11736 kB
Shmem:                 0 kB
Slab:             603468 kB
SReclaimable:      46828 kB
SUnreclaim:       556640 kB
KernelStack:        1520 kB
PageTables:         7356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1810788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    651264 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= 71716 MiB
End job on node138 at 2016-06-07 10:22:49