Trace number 4099961

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran10x26.opb
MD5SUMea0578ce3fa6d7f101be81096fa267e7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.06399
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables8060
Total number of constraints296
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints296
Minimum length of a constraint31
Maximum length of a constraint780
Number of terms in the objective function 8060
Biggest coefficient in the objective function 1760
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 530127
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 530127
Number of bits of the biggest sum of numbers20
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-18T02:29:05+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-4099961-1466209745.opb"]
0.00/0.01	c use --random-gen="1687508597 1718898718 1688625775 659625289 3582843642 2875896216 3957174808 2079735879 2917586065 1737096304 386822350 3276383663 1555687272 1645522737 609772656 372221890 3369302766 1964597941 161997399 361820576 2327871397 2365774313 1292955753 2530810188 3081741680 2009342519 3752688552 2276465136 1600906944 2773679551 3639634919 203974047 215527848 2990171828 3114973107 2911927074 285739606 2175422967 4191554135 3799389091 984380493 3429023668 1069137886 1833393334 3930203345 1014068967 1473607744 1602851468 3062326737 1692060120 927418065 4044500452 3163977397 1215734175 1608814915 3207503464 3094403086 4145448829 1762988257 1519538603 481969086 160642681 3633753425 2559037270 1067467097 726093260 2327806928 2670785419 3045054419 3047379042 2926095032 1991064160 1638847380 1858704641 1675490687 396353175 2547858854 3136271955 313619293 1034875706 4136108589 789765078 3579037626 2823097405 298434121 2149294095 3668239964 3577648585 2240265597 1697576959 2945415662 841450279 2692282169 1588094761 1951851083 1569437592 2694468644 4225541207 2248462907 2811956036 3704815136 2113081235 3976118860 3784122374 2910973859 1281559615 2157706738 1329483502 3645512984 3740626070 745846244 2986632431 2652598484 1069213214 350977589 1062017455 2679576216 1066677509 975653123 2955128034 369447682 1362828630 780123639 4213216505 3998862318 770035499 2740620620 2829928 1454164739 4187308577 1705222083 3408819918 1818822916 2727295433 3094608479 1118644164 456702442 2749696132 2557363212 880769933 2374346944 3733582374 3137108449 524791796 3257555523 4074414337 2428501349 3900715393 3819503160 2176931234 3433656289 4051880809 3551053560 2690257759 838713836 811037573 2864937813 3202846932 809275824 825251411 1843323215 506744708 375705603 676019783 863100156 537606159 2088653101 7635913 1496888184 577015516 1455014604 2393244012 2681804230 4175847733 295977442 3252243872 492045489 2539829087 2922738516 2079097304 2010790082 41012693 3302750315 3754832286 323618607 3440360450 2104433632 519802245 2898189328 418652164 1312915317 3791404895 1175566875 1398892365 1968704089 1611443935 2810273497 1049676688 411165315 3917935760 188684451 4153294957 1340999148 3595725545 3424254002 1315977468 1757368064 1003781347 262094813 3932403145 553530579 2467772862 3154634864 18379484 1388451827 219134969 1387153649 4203353943 444263471 189402549 404101605 3115346886 3226983745 421546651 132231087 34085944 2404430368 179772681 2126207074 796300514 3797365116 3818013485 2030571478 178775708 3927172195 3157208964 2982323421 3473081633 1285613067 489815407 2060424586 1598663473 528222212 1619240542 1269907782 3973860417 1070846041 1326868347 2306481439 3117864534 2578332305 1395912301 1835576567 2836279116 1811342796 2949004116 255 362436" option to reproduce the execution
0.00/0.07	c #vars 8060
0.00/0.07	c #constraints 296
0.08/0.18	c BCD2: Hardening is enabled.
0.08/0.18	c BCD2: BiasedSearch is enabled.
0.08/0.18	c Solving starts ...
0.08/0.18	c ============================[ Search Statistics ]============================
0.08/0.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.18	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.18	c =============================================================================
0.08/0.18	c  0.0s |       0 |        0 |        0 |     2797      0 |     4198 |        0
0.39/0.46	c  0.3s |       1 |      844 |      100 |     2797      0 |     4198 |        0
1.09/1.16	c  1.0s |       2 |     2259 |      250 |     3077      0 |     4198 |        0
1.59/1.65	c  1.5s |       3 |     3496 |      475 |     3385      0 |     4198 |        0
2.69/2.75	c  2.6s |       4 |     6551 |      813 |     3724      0 |     4198 |        0
4.89/4.95	c  4.8s |       4 |    10930 |     1313 |     4097      0 |     4198 |        0
4.89/4.98	c  4.8s |       5 |    10966 |     1320 |     4097      0 |     4198 |        0
6.99/7.03	c  6.9s |       5 |    16868 |     1820 |     4507      0 |     4198 |        0
8.29/8.37	c  8.2s |       6 |    18450 |     2081 |     4958      0 |     4198 |        0
11.10/11.12	c 10.9s |       6 |    23310 |     2681 |     4958      0 |     4198 |        0
13.49/13.58	c 13.4s |       6 |    25293 |     3081 |     4958      0 |     4198 |        0
14.19/14.26	c 14.1s |       7 |    27243 |     3223 |     5454      0 |     4198 |        0
16.39/16.45	c 16.3s |       7 |    33924 |     4023 |     5454      0 |     4198 |        0
18.59/18.65	c 18.5s |       7 |    36583 |     4523 |     5454      0 |     4198 |        0
20.99/21.00	c 20.8s |       7 |    37740 |     4823 |     5454      0 |     4198 |        0
21.49/21.58	c 21.4s |       8 |    38102 |     4936 |     6000      0 |     4198 |        0
24.19/24.27	c 24.1s |       8 |    44881 |     5436 |     6000      0 |     4198 |        0
26.29/26.38	c 26.2s |       8 |    45985 |     5736 |     6000      0 |     4198 |        0
28.69/28.75	c 28.6s |       8 |    47685 |     6036 |     6000      0 |     4198 |        0
30.79/30.85	c 30.7s |       8 |    49112 |     6336 |     6000      0 |     4198 |        0
33.38/33.47	c 33.3s |       8 |    49815 |     6636 |     6000      0 |     4198 |        0
36.39/36.42	c 36.2s |       8 |    50459 |     6936 |     6000      0 |     4198 |        0
39.18/39.27	c 39.1s |       8 |    51994 |     7336 |     6000      0 |     4198 |        0
40.18/40.29	c 40.1s |       9 |    52827 |     7506 |     6601      0 |     4198 |        0
42.28/42.38	c 42.2s |       9 |    57142 |     8506 |     6601      0 |     4198 |        0
44.48/44.51	c 44.3s |       9 |    60003 |     9606 |     6601      0 |     4198 |        0
46.68/46.74	c 46.6s |       9 |    62252 |    10106 |     6601      0 |     4198 |        0
48.88/48.95	c 48.8s |       9 |    63595 |    10506 |     6601      0 |     4198 |        0
51.18/51.23	c 51.1s |       9 |    64961 |    10906 |     6601      0 |     4198 |        0
53.18/53.27	c 53.1s |       9 |    65906 |    11206 |     6601      0 |     4198 |        0
54.28/54.37	c 54.2s |      10 |    66683 |    11361 |     7262      0 |     4198 |        0
56.58/56.66	c 56.5s |      10 |    70504 |    11761 |     7262      0 |     4198 |        0
58.58/58.68	c 58.5s |      10 |    72565 |    12261 |     7262      0 |     4198 |        0
60.78/60.82	c 60.6s |      10 |    73719 |    12661 |     7262      0 |     4198 |        0
63.28/63.31	c 63.1s |      10 |    75375 |    13061 |     7262      0 |     4198 |        0
65.48/65.51	c 65.3s |      10 |    76232 |    13361 |     7262      0 |     4198 |        0
67.68/67.76	c 67.6s |      10 |    78315 |    13861 |     7262      0 |     4198 |        0
70.27/70.33	c 70.2s |      10 |    79898 |    14261 |     7262      0 |     4198 |        0
72.97/73.04	c 72.9s |      10 |    82013 |    14661 |     7262      1 |     4198 |        0
74.97/75.05	c 74.9s |      10 |    83822 |    15161 |     7262      1 |     4198 |        0
77.08/77.14	c 77.0s |      10 |    85840 |    15661 |     7262      1 |     4198 |        0
79.18/79.21	c 79.0s |      10 |    87127 |    16061 |     7262      1 |     4198 |        0
81.49/81.52	c 81.3s |      10 |    88359 |    16361 |     7262      1 |     4198 |        0
83.48/83.54	c 83.4s |      10 |    89367 |    16661 |     7262      1 |     4198 |        0
85.98/86.08	c 85.9s |      10 |    90698 |    16961 |     7262      1 |     4198 |        0
86.98/87.06	c 86.9s |      11 |    91609 |    17144 |     7989      1 |     4198 |        0
88.98/89.09	c 88.9s |      11 |    93258 |    17344 |     7989      1 |     4198 |        0
91.58/91.65	c 91.5s |      11 |    94522 |    17644 |     7989      1 |     4198 |        0
93.68/93.77	c 93.6s |      11 |    95405 |    17944 |     7989      1 |     4198 |        0
96.08/96.19	c 96.0s |      11 |    95929 |    18244 |     7989      1 |     4198 |        0
98.27/98.39	c 98.2s |      11 |    96510 |    18544 |     7989      1 |     4198 |        0
100.67/100.79	c  100s |      11 |    97438 |    18944 |     7989      1 |     4198 |        0
103.38/103.49	c  103s |      11 |    98149 |    19344 |     7989      1 |     4198 |        0
106.17/106.22	c  106s |      11 |    98937 |    19644 |     7989      1 |     4198 |        0
108.27/108.33	c  108s |      11 |    99344 |    19844 |     7989      1 |     4198 |        0
110.47/110.51	c  110s |      11 |    99683 |    20044 |     7989      1 |     4198 |        0
113.17/113.23	c  113s |      11 |   100443 |    20244 |     7989      1 |     4198 |        0
115.97/116.02	c  115s |      11 |   101698 |    20544 |     7989      1 |     4198 |        0
118.27/118.32	c  118s |      11 |   102423 |    20744 |     7989      1 |     4198 |        0
120.67/120.74	c  120s |      11 |   103117 |    20944 |     7989      1 |     4198 |        0
122.97/123.09	c  122s |      11 |   103611 |    21144 |     7989      1 |     4198 |        0
125.47/125.52	c  125s |      11 |   104120 |    21344 |     7989      1 |     4198 |        0
127.87/127.90	c  127s |      11 |   104487 |    21544 |     7989      1 |     4198 |        0
130.17/130.23	c  130s |      11 |   105592 |    21844 |     7989      1 |     4198 |        0
132.36/132.45	c  132s |      11 |   107489 |    22144 |     7989      1 |     4198 |        0
135.06/135.10	c  134s |      11 |   109232 |    22444 |     7989      2 |     4198 |        0
137.26/137.39	c  137s |      11 |   111360 |    22744 |     7989      2 |     4198 |        0
139.56/139.62	c  139s |      11 |   113052 |    23144 |     7989      2 |     4198 |        0
141.56/141.64	c  141s |      11 |   114767 |    23444 |     7989      2 |     4198 |        0
144.46/144.52	c  144s |      11 |   116046 |    23744 |     7989      2 |     4198 |        0
147.07/147.10	c  146s |      11 |   118904 |    24144 |     7989      2 |     4198 |        0
149.27/149.34	c  149s |      11 |   120826 |    24444 |     7989      2 |     4198 |        0
151.67/151.78	c  151s |      11 |   121697 |    24644 |     7989      2 |     4198 |        0
153.87/153.94	c  153s |      11 |   122846 |    24944 |     7989      2 |     4198 |        0
156.18/156.28	c  156s |      11 |   124939 |    25244 |     7989      2 |     4198 |        0
158.77/158.83	c  158s |      11 |   126539 |    25544 |     7989      2 |     4198 |        0
161.17/161.25	c  161s |      12 |   127427 |    25819 |     8788      2 |     4198 |        0
163.87/163.96	c  163s |      12 |   131836 |    26319 |     8788      2 |     4198 |        0
166.07/166.15	c  165s |      12 |   133265 |    26619 |     8788      2 |     4198 |        0
168.17/168.29	c  168s |      12 |   134620 |    26919 |     8788      2 |     4198 |        0
170.67/170.74	c  170s |      12 |   135419 |    27219 |     8788      2 |     4198 |        0
173.46/173.50	c  173s |      12 |   137623 |    27619 |     8788      2 |     4198 |        0
175.97/176.07	c  175s |      12 |   138877 |    27819 |     8788      2 |     4198 |        0
178.86/178.96	c  178s |      12 |   139623 |    28019 |     8788      2 |     4198 |        0
181.47/181.59	c  181s |      12 |   142131 |    28419 |     8788      2 |     4198 |        0
183.67/183.77	c  183s |      12 |   143307 |    28719 |     8788      2 |     4198 |        0
186.16/186.27	c  186s |      12 |   144287 |    29019 |     8788      2 |     4198 |        0
188.36/188.45	c  188s |      12 |   145333 |    29219 |     8788      2 |     4198 |        0
190.76/190.86	c  190s |      12 |   146328 |    29419 |     8788      2 |     4198 |        0
193.36/193.40	c  193s |      12 |   148013 |    29619 |     8788      2 |     4198 |        0
196.06/196.15	c  195s |      12 |   149181 |    29919 |     8788      2 |     4198 |        0
198.36/198.48	c  198s |      12 |   149921 |    30119 |     8788      2 |     4198 |        0
201.46/201.50	c  201s |      12 |   150832 |    30419 |     8788      2 |     4198 |        0
204.76/204.83	c  204s |      12 |   151879 |    30719 |     8788      2 |     4198 |        0
207.46/207.56	c  207s |      12 |   152341 |    30919 |     8788      2 |     4198 |        0
209.76/209.81	c  209s |      12 |   152571 |    31019 |     8788      3 |     4198 |        0
212.26/212.32	c  212s |      12 |   153207 |    31219 |     8788      3 |     4198 |        0
214.46/214.56	c  214s |      12 |   154086 |    31419 |     8788      3 |     4198 |        0
216.56/216.68	c  216s |      12 |   155763 |    31619 |     8788      3 |     4198 |        0
219.25/219.32	c  219s |      12 |   156585 |    31819 |     8788      3 |     4198 |        0
222.16/222.21	c  222s |      12 |   157253 |    32019 |     8788      3 |     4198 |        0
224.75/224.89	c  224s |      12 |   157810 |    32219 |     8788      3 |     4198 |        0
227.86/227.99	c  227s |      12 |   158441 |    32419 |     8788      3 |     4198 |        0
230.76/230.89	c  230s |      12 |   158793 |    32619 |     8788      3 |     4198 |        0
234.06/234.11	c  233s |      12 |   159370 |    32819 |     8788      3 |     4198 |        0
237.25/237.37	c  237s |      12 |   159956 |    33019 |     8788      3 |     4198 |        0
240.25/240.36	c  240s |      12 |   160802 |    33219 |     8788      3 |     4198 |        0
243.25/243.33	c  243s |      12 |   161433 |    33419 |     8788      3 |     4198 |        0
246.05/246.17	c  245s |      12 |   161934 |    33619 |     8788      3 |     4198 |        0
248.66/248.78	c  248s |      12 |   162417 |    33819 |     8788      3 |     4198 |        0
252.45/252.50	c  252s |      12 |   162909 |    34019 |     8788      3 |     4198 |        0
255.95/256.08	c  255s |      12 |   163262 |    34219 |     8788      3 |     4198 |        0
258.95/259.09	c  258s |      12 |   163679 |    34419 |     8788      3 |     4198 |        0
261.95/262.02	c  261s |      12 |   164194 |    34619 |     8788      3 |     4198 |        0
264.95/265.10	c  264s |      12 |   164612 |    34819 |     8788      3 |     4198 |        0
268.05/268.11	c  267s |      12 |   165250 |    35019 |     8788      3 |     4198 |        0
270.85/270.94	c  270s |      12 |   166185 |    35219 |     8788      3 |     4198 |        0
273.75/273.88	c  273s |      12 |   166711 |    35419 |     8788      3 |     4198 |        0
275.95/276.09	c  275s |      12 |   167711 |    35619 |     8788      3 |     4198 |        0
278.75/278.83	c  278s |      12 |   168308 |    35819 |     8788      3 |     4198 |        0
281.44/281.52	c  281s |      12 |   168870 |    36019 |     8788      3 |     4198 |        0
284.14/284.26	c  284s |      12 |   172106 |    36219 |     8788      3 |     4198 |        0
287.54/287.67	c  287s |      12 |   172400 |    36419 |     8788      3 |     4198 |        0
290.94/291.01	c  290s |      12 |   172727 |    36619 |     8788      3 |     4198 |        0
294.15/294.21	c  294s |      12 |   173043 |    36819 |     8788      3 |     4198 |        0
296.95/297.03	c  296s |      12 |   173618 |    37019 |     8788      3 |     4198 |        0
299.54/299.61	c  299s |      12 |   174526 |    37319 |     8788      3 |     4198 |        0
302.14/302.27	c  302s |      12 |   175541 |    37619 |     8788      3 |     4198 |        0
304.24/304.34	c  304s |      12 |   176150 |    37819 |     8788      3 |     4198 |        0
307.84/307.97	c  307s |      12 |   177341 |    38119 |     8788      3 |     4198 |        0
310.04/310.17	c  309s |      12 |   178094 |    38319 |     8788      3 |     4198 |        0
312.64/312.72	c  312s |      12 |   178472 |    38519 |     8788      3 |     4198 |        0
315.65/315.78	c  315s |      12 |   178830 |    38719 |     9667      3 |     4198 |        0
317.44/317.52	c  317s |      13 |   179298 |    38832 |     9667      3 |     4198 |        0
319.64/319.72	c  319s |      13 |   184417 |    39332 |     9667      4 |     4198 |        0
321.74/321.82	c  321s |      13 |   186755 |    39632 |     9667      4 |     4198 |        0
324.34/324.49	c  324s |      13 |   188190 |    39932 |     9667      4 |     4198 |        0
326.94/327.08	c  326s |      13 |   189623 |    40232 |     9667      4 |     4198 |        0
329.74/329.85	c  329s |      13 |   191274 |    40632 |     9667      4 |     4198 |        0
331.94/332.05	c  331s |      13 |   191975 |    40832 |     9667      4 |     4198 |        0
335.24/335.32	c  335s |      13 |   193284 |    41132 |     9667      4 |     4198 |        0
337.93/338.00	c  337s |      13 |   193935 |    41332 |     9667      4 |     4198 |        0
340.83/340.99	c  340s |      13 |   194533 |    41532 |     9667      4 |     4198 |        0
343.54/343.61	c  343s |      13 |   195296 |    41732 |     9667      4 |     4198 |        0
345.94/346.05	c  345s |      13 |   196139 |    41932 |     9667      4 |     4198 |        0
348.34/348.48	c  348s |      13 |   197557 |    42332 |     9667      4 |     4198 |        0
350.34/350.48	c  350s |      13 |   198682 |    42632 |     9667      4 |     4198 |        0
352.34/352.48	c  352s |      13 |   199561 |    42832 |     9667      4 |     4198 |        0
354.54/354.68	c  354s |      13 |   200283 |    43032 |     9667      4 |     4198 |        0
356.83/356.92	c  356s |      13 |   200732 |    43232 |     9667      4 |     4198 |        0
359.33/359.44	c  359s |      13 |   201874 |    43532 |     9667      4 |     4198 |        0
362.03/362.17	c  361s |      13 |   202612 |    43732 |     9667      4 |     4198 |        0
364.43/364.55	c  364s |      13 |   203312 |    43932 |     9667      4 |     4198 |        0
367.03/367.11	c  366s |      13 |   204160 |    44132 |     9667      4 |     4198 |        0
369.73/369.89	c  369s |      13 |   204817 |    44332 |     9667      4 |     4198 |        0
372.53/372.67	c  372s |      13 |   205345 |    44532 |     9667      4 |     4198 |        0
374.83/374.92	c  374s |      13 |   205959 |    44732 |     9667      4 |     4198 |        0
377.63/377.70	c  377s |      13 |   206814 |    44932 |     9667      4 |     4198 |        0
380.13/380.27	c  380s |      13 |   207592 |    45132 |     9667      4 |     4198 |        0
382.93/383.09	c  382s |      13 |   208200 |    45332 |     9667      4 |     4198 |        0
385.53/385.68	c  385s |      13 |   208909 |    45532 |     9667      4 |     4198 |        0
389.03/389.10	c  388s |      13 |   209375 |    45732 |     9667      4 |     4198 |        0
391.64/391.75	c  391s |      13 |   209918 |    45932 |     9667      4 |     4198 |        0
394.94/395.04	c  394s |      13 |   210285 |    46132 |     9667      4 |     4198 |        0
398.14/398.23	c  398s |      13 |   210832 |    46332 |     9667      4 |     4198 |        0
401.44/401.53	c  401s |      13 |   211374 |    46532 |     9667      4 |     4198 |        0
404.23/404.36	c  404s |      13 |   212030 |    46732 |     9667      4 |     4198 |        0
407.33/407.43	c  407s |      13 |   212497 |    46932 |     9667      4 |     4198 |        0
409.92/410.02	c  409s |      13 |   213027 |    47132 |     9667      4 |     4198 |        0
412.62/412.79	c  412s |      13 |   213627 |    47332 |     9667      4 |     4198 |        0
414.73/414.86	c  414s |      13 |   214057 |    47532 |     9667      4 |     4198 |        0
417.52/417.67	c  417s |      13 |   214672 |    47732 |     9667      5 |     4198 |        0
419.92/420.02	c  419s |      13 |   215365 |    47932 |     9667      5 |     4198 |        0
422.12/422.28	c  422s |      13 |   216346 |    48132 |     9667      5 |     4198 |        0
424.92/425.08	c  424s |      13 |   217241 |    48432 |     9667      5 |     4198 |        0
427.83/427.95	c  427s |      13 |   218465 |    48732 |     9667      5 |     4198 |        0
430.33/430.42	c  430s |      13 |   219362 |    48932 |     9667      5 |     4198 |        0
432.33/432.43	c  432s |      13 |   220048 |    49132 |     9667      5 |     4198 |        0
434.43/434.58	c  434s |      13 |   220593 |    49332 |     9667      5 |     4198 |        0
436.73/436.82	c  436s |      13 |   221306 |    49532 |     9667      5 |     4198 |        0
439.12/439.25	c  439s |      13 |   222016 |    49732 |     9667      5 |     4198 |        0
442.02/442.19	c  442s |      13 |   222809 |    49932 |     9667      5 |     4198 |        0
444.72/444.84	c  444s |      13 |   223953 |    50232 |     9667      5 |     4198 |        0
447.22/447.40	c  447s |      13 |   225100 |    50432 |     9667      5 |     4198 |        0
450.12/450.26	c  450s |      13 |   226056 |    50632 |     9667      5 |     4198 |        0
453.82/453.99	c  453s |      13 |   226734 |    50832 |     9667      5 |     4198 |        0
456.43/456.60	c  456s |      13 |   227382 |    51032 |     9667      5 |     4198 |        0
459.02/459.13	c  458s |      13 |   228207 |    51232 |     9667      5 |     4198 |        0
461.71/461.81	c  461s |      13 |   228828 |    51432 |     9667      5 |     4198 |        0
464.81/464.94	c  464s |      13 |   229310 |    51632 |     9667      5 |     4198 |        0
467.31/467.42	c  467s |      13 |   230031 |    51832 |     9667      5 |     4198 |        0
470.11/470.23	c  470s |      13 |   230898 |    52032 |     9667      5 |     4198 |        0
473.62/473.78	c  473s |      13 |   231652 |    52232 |     9667      5 |     4198 |        0
477.02/477.10	c  476s |      13 |   232312 |    52432 |     9667      5 |     4198 |        0
479.22/479.34	c  479s |      13 |   233247 |    52632 |     9667      5 |     4198 |        0
482.12/482.23	c  482s |      13 |   233803 |    52832 |     9667      5 |     4198 |        0
484.11/484.24	c  484s |      13 |   234734 |    53032 |     9667      5 |     4198 |        0
486.51/486.60	c  486s |      13 |   236028 |    53232 |     9667      5 |     4198 |        0
489.01/489.11	c  488s |      13 |   237041 |    53432 |     9667      5 |     4198 |        0
491.51/491.67	c  491s |      13 |   237987 |    53632 |     9667      5 |     4198 |        0
493.92/494.08	c  493s |      13 |   238539 |    53832 |     9667      5 |     4198 |        0
496.12/496.29	c  496s |      13 |   239317 |    54032 |     9667      5 |     4198 |        0
498.71/498.86	c  498s |      13 |   240097 |    54232 |     9667      5 |     4198 |        0
501.91/502.03	c  501s |      13 |   240708 |    54432 |     9667      5 |     4198 |        0
505.31/505.47	c  505s |      13 |   241501 |    54632 |     9667      5 |     4198 |        0
508.41/508.58	c  508s |      13 |   242078 |    54832 |     9667      5 |     4198 |        0
511.41/511.56	c  511s |      13 |   242650 |    55032 |     9667      5 |     4198 |        0
514.11/514.27	c  514s |      13 |   243916 |    55232 |     9667      5 |     4198 |        0
516.91/517.08	c  516s |      13 |   244403 |    55432 |     9667      5 |     4198 |        0
519.51/519.64	c  519s |      13 |   245231 |    55632 |     9667      5 |     4198 |        0
522.01/522.15	c  521s |      13 |   245811 |    55832 |     9667      5 |     4198 |        0
525.31/525.44	c  525s |      13 |   246353 |    56032 |     9667      6 |     4198 |        0
528.11/528.29	c  528s |      13 |   246858 |    56232 |     9667      6 |     4198 |        0
531.01/531.18	c  531s |      13 |   247408 |    56432 |     9667      6 |     4198 |        0
533.91/534.05	c  533s |      13 |   247839 |    56632 |     9667      6 |     4198 |        0
536.72/536.84	c  536s |      13 |   248214 |    56832 |     9667      6 |     4198 |        0
539.91/540.04	c  539s |      13 |   248605 |    57032 |     9667      6 |     4198 |        0
543.01/543.17	c  542s |      13 |   249055 |    57232 |     9667      6 |     4198 |        0
546.01/546.10	c  545s |      13 |   249457 |    57432 |     9667      6 |     4198 |        0
548.71/548.84	c  548s |      13 |   249832 |    57632 |     9667      6 |     4198 |        0
551.30/551.48	c  551s |      13 |   250525 |    57832 |     9667      6 |     4198 |        0
553.70/553.82	c  553s |      13 |   251355 |    58032 |    10634      6 |     4198 |        0
556.00/556.11	c  555s |      13 |   252116 |    58232 |    10634      6 |     4198 |        0
557.40/557.57	c  557s |      14 |   252478 |    58352 |    10634      6 |     4198 |        0
559.60/559.79	c  559s |      14 |   257079 |    58852 |    10634      6 |     4198 |        0
561.90/562.01	c  561s |      14 |   259198 |    59252 |    10634      6 |     4198 |        0
563.90/564.05	c  563s |      14 |   261076 |    59652 |    10634      6 |     4198 |        0
566.11/566.26	c  566s |      14 |   262759 |    59952 |    10634      6 |     4198 |        0
568.41/568.59	c  568s |      14 |   264026 |    60252 |    10634      6 |     4198 |        0
571.20/571.31	c  571s |      14 |   266265 |    60652 |    10634      6 |     4198 |        0
574.21/574.33	c  574s |      14 |   268141 |    60952 |    10634      6 |     4198 |        0
577.00/577.12	c  576s |      14 |   269507 |    61252 |    10634      6 |     4198 |        0
579.71/579.83	c  579s |      14 |   270706 |    61552 |    10634      6 |     4198 |        0
582.60/582.75	c  582s |      14 |   271687 |    61852 |    10634      6 |     4198 |        0
584.80/584.92	c  584s |      14 |   273231 |    62152 |    10634      6 |     4198 |        0
587.30/587.42	c  587s |      14 |   274947 |    62452 |    10634      6 |     4198 |        0
589.50/589.68	c  589s |      14 |   276484 |    62752 |    10634      6 |     4198 |        0
591.71/591.89	c  591s |      14 |   277773 |    63052 |    10634      6 |     4198 |        0
593.80/593.92	c  593s |      14 |   280144 |    63452 |    10634      6 |     4198 |        0
596.20/596.34	c  596s |      14 |   281441 |    63752 |    10634      6 |     4198 |        0
598.30/598.49	c  598s |      14 |   283260 |    64052 |    10634      6 |     4198 |        0
600.60/600.77	c  600s |      14 |   286332 |    64552 |    10634      6 |     4198 |        0
603.30/603.46	c  603s |      14 |   289069 |    64952 |    10634      6 |     4198 |        0
606.60/606.79	c  606s |      14 |   290988 |    65352 |    10634      7 |     4198 |        0
608.80/608.93	c  608s |      14 |   292272 |    65652 |    10634      7 |     4198 |        0
611.10/611.27	c  611s |      14 |   295001 |    66152 |    10634      7 |     4198 |        0
613.59/613.73	c  613s |      14 |   296250 |    66552 |    10634      7 |     4198 |        0
615.69/615.85	c  615s |      14 |   297665 |    66952 |    10634      7 |     4198 |        0
617.99/618.18	c  618s |      14 |   299912 |    67452 |    10634      7 |     4198 |        0
620.30/620.45	c  620s |      14 |   302338 |    67852 |    10634      7 |     4198 |        0
622.39/622.56	c  622s |      14 |   303210 |    68152 |    10634      7 |     4198 |        0
624.80/624.95	c  624s |      14 |   304430 |    68452 |    10634      7 |     4198 |        0
627.39/627.51	c  627s |      14 |   307408 |    68852 |    10634      7 |     4198 |        0
630.20/630.32	c  630s |      14 |   309935 |    69152 |    10634      7 |     4198 |        0
632.59/632.74	c  632s |      14 |   310989 |    69352 |    10634      7 |     4198 |        0
634.99/635.14	c  634s |      14 |   312097 |    69552 |    10634      7 |     4198 |        0
637.10/637.26	c  637s |      14 |   313488 |    69752 |    10634      7 |     4198 |        0
639.29/639.40	c  639s |      14 |   314373 |    69952 |    10634      7 |     4198 |        0
642.59/642.76	c  642s |      14 |   315430 |    70152 |    10634      7 |     4198 |        0
645.09/645.22	c  645s |      14 |   317427 |    70352 |    10634      7 |     4198 |        0
647.59/647.76	c  647s |      14 |   318620 |    70552 |    10634      7 |     4198 |        0
650.29/650.46	c  650s |      14 |   321085 |    70752 |    10634      7 |     4198 |        0
652.39/652.58	c  652s |      14 |   321311 |    70852 |    10634      7 |     4198 |        0
655.19/655.32	c  655s |      14 |   324260 |    71052 |    10634      7 |     4198 |        0
657.99/658.14	c  657s |      14 |   325169 |    71352 |    10634      7 |     4198 |        0
660.49/660.62	c  660s |      14 |   325825 |    71552 |    10634      7 |     4198 |        0
662.99/663.15	c  662s |      14 |   328465 |    71852 |    10634      7 |     4198 |        0
665.39/665.56	c  665s |      14 |   329809 |    72052 |    10634      7 |     4198 |        0
668.18/668.31	c  668s |      14 |   330699 |    72252 |    10634      7 |     4198 |        0
671.29/671.47	c  671s |      14 |   331664 |    72552 |    10634      7 |     4198 |        0
674.09/674.28	c  674s |      14 |   332168 |    72752 |    10634      7 |     4198 |        0
677.19/677.37	c  677s |      14 |   333055 |    72952 |    10634      7 |     4198 |        0
679.99/680.14	c  679s |      14 |   333748 |    73152 |    10634      7 |     4198 |        0
683.18/683.36	c  683s |      14 |   334216 |    73352 |    10634      7 |     4198 |        0
686.68/686.87	c  686s |      14 |   335039 |    73552 |    10634      7 |     4198 |        0
690.09/690.20	c  690s |      14 |   336590 |    73752 |    10634      8 |     4198 |        0
693.18/693.37	c  693s |      14 |   338256 |    74052 |    10634      8 |     4198 |        0
696.58/696.79	c  696s |      14 |   339754 |    74352 |    10634      8 |     4198 |        0
699.09/699.27	c  699s |      14 |   341090 |    74552 |    10634      8 |     4198 |        0
702.18/702.38	c  702s |      14 |   342012 |    74752 |    10634      8 |     4198 |        0
705.88/706.04	c  705s |      14 |   343199 |    74952 |    10634      8 |     4198 |        0
709.58/709.72	c  709s |      14 |   344483 |    75152 |    10634      8 |     4198 |        0
712.58/712.79	c  712s |      14 |   345173 |    75352 |    10634      8 |     4198 |        0
715.08/715.25	c  715s |      14 |   345941 |    75552 |    10634      8 |     4198 |        0
717.48/717.62	c  717s |      14 |   347672 |    75852 |    10634      8 |     4198 |        0
720.18/720.38	c  720s |      14 |   349109 |    76052 |    10634      8 |     4198 |        0
723.37/723.55	c  723s |      14 |   351086 |    76252 |    10634      8 |     4198 |        0
726.17/726.36	c  726s |      14 |   352302 |    76452 |    10634      8 |     4198 |        0
730.39/730.55	c  730s |      14 |   353471 |    76652 |    10634      8 |     4198 |        0
732.98/733.19	c  733s |      14 |   355514 |    76852 |    10634      8 |     4198 |        0
736.28/736.46	c  736s |      14 |   356402 |    77052 |    10634      8 |     4198 |        0
738.47/738.66	c  738s |      14 |   357028 |    77152 |    10634      8 |     4198 |        0
740.87/741.03	c  740s |      14 |   357397 |    77252 |    10634      8 |     4198 |        0
742.97/743.12	c  742s |      14 |   357906 |    77352 |    10634      8 |     4198 |        0
745.17/745.36	c  745s |      14 |   358249 |    77452 |    10634      8 |     4198 |        0
747.88/748.10	c  747s |      14 |   359433 |    77652 |    10634      8 |     4198 |        0
749.97/750.20	c  750s |      14 |   361289 |    77852 |    10634      8 |     4198 |        0
752.38/752.53	c  752s |      14 |   362844 |    78052 |    10634      8 |     4198 |        0
755.17/755.39	c  755s |      14 |   364012 |    78252 |    10634      8 |     4198 |        0
758.98/759.14	c  758s |      14 |   364472 |    78452 |    10634      8 |     4198 |        0
762.48/762.67	c  762s |      14 |   365134 |    78652 |    10634      8 |     4198 |        0
764.48/764.69	c  764s |      14 |   366343 |    78852 |    10634      8 |     4198 |        0
766.97/767.13	c  766s |      14 |   367137 |    79052 |    10634      8 |     4198 |        0
769.87/770.08	c  769s |      14 |   368145 |    79252 |    10634      8 |     4198 |        0
772.87/773.09	c  772s |      14 |   369379 |    79452 |    10634      8 |     4198 |        0
776.27/776.47	c  776s |      14 |   369894 |    79652 |    10634      8 |     4198 |        0
779.37/779.52	c  779s |      14 |   370940 |    79852 |    10634      8 |     4198 |        0
782.67/782.81	c  782s |      14 |   371321 |    80052 |    10634      8 |     4198 |        0
784.67/784.83	c  784s |      14 |   371770 |    80152 |    10634      8 |     4198 |        0
787.86/788.08	c  787s |      14 |   372452 |    80352 |    10634      8 |     4198 |        0
791.37/791.59	c  791s |      14 |   373231 |    80552 |    10634      8 |     4198 |        0
794.67/794.84	c  794s |      14 |   373903 |    80752 |    10634      8 |     4198 |        0
798.16/798.32	c  798s |      14 |   376502 |    80952 |    10634      8 |     4198 |        0
801.36/801.58	c  801s |      14 |   377924 |    81152 |    10634      8 |     4198 |        0
804.76/804.98	c  804s |      14 |   379044 |    81352 |    10634      8 |     4198 |        0
807.76/807.94	c  807s |      14 |   379748 |    81552 |    10634      8 |     4198 |        0
810.67/810.87	c  810s |      14 |   381563 |    81752 |    10634      8 |     4198 |        0
813.97/814.16	c  813s |      14 |   382478 |    81952 |    10634      8 |     4198 |        0
817.26/817.49	c  817s |      14 |   383210 |    82152 |    10634      8 |     4198 |        0
821.16/821.30	c  821s |      14 |   383926 |    82352 |    10634      8 |     4198 |        0
823.36/823.52	c  823s |      14 |   384109 |    82452 |    10634      9 |     4198 |        0
826.26/826.48	c  826s |      14 |   385113 |    82652 |    10634      9 |     4198 |        0
829.15/829.30	c  829s |      14 |   385853 |    82852 |    10634      9 |     4198 |        0
832.67/832.84	c  832s |      14 |   386843 |    83052 |    10634      9 |     4198 |        0
836.66/836.89	c  836s |      14 |   387767 |    83252 |    10634      9 |     4198 |        0
838.96/839.19	c  839s |      14 |   388049 |    83352 |    10634      9 |     4198 |        0
842.35/842.52	c  842s |      14 |   388570 |    83552 |    10634      9 |     4198 |        0
845.35/845.59	c  845s |      14 |   389263 |    83752 |    10634      9 |     4198 |        0
848.95/849.11	c  848s |      14 |   389918 |    83952 |    10634      9 |     4198 |        0
852.15/852.35	c  852s |      14 |   390760 |    84152 |    10634      9 |     4198 |        0
855.66/855.84	c  855s |      14 |   391224 |    84352 |    10634      9 |     4198 |        0
858.65/858.81	c  858s |      14 |   392689 |    84552 |    10634      9 |     4198 |        0
861.55/861.74	c  861s |      14 |   393769 |    84752 |    10634      9 |     4198 |        0
864.45/864.64	c  864s |      14 |   394502 |    84952 |    10634      9 |     4198 |        0
866.84/867.09	c  866s |      14 |   395229 |    85152 |    10634      9 |     4198 |        0
869.95/870.19	c  870s |      14 |   397314 |    85352 |    10634      9 |     4198 |        0
872.85/873.05	c  872s |      14 |   397953 |    85552 |    10634      9 |     4198 |        0
876.15/876.33	c  876s |      14 |   398698 |    85752 |    10634      9 |     4198 |        0
879.34/879.50	c  879s |      14 |   399641 |    85952 |    10634      9 |     4198 |        0
882.64/882.86	c  882s |      14 |   400141 |    86152 |    10634      9 |     4198 |        0
886.04/886.29	c  886s |      14 |   400939 |    86352 |    10634      9 |     4198 |        0
889.24/889.41	c  889s |      14 |   401563 |    86552 |    10634      9 |     4198 |        0
893.44/893.61	c  893s |      14 |   402253 |    86752 |    10634      9 |     4198 |        0
895.54/895.79	c  895s |      14 |   402480 |    86852 |    10634      9 |     4198 |        0
897.65/897.89	c  897s |      14 |   402765 |    86952 |    10634      9 |     4198 |        0
899.75/899.99	c  899s |      14 |   403261 |    87052 |    11698      9 |     4198 |        0
902.54/902.74	c  902s |      14 |   405331 |    87252 |    11698      9 |     4198 |        0
904.64/904.80	c  904s |      14 |   406166 |    87352 |    11698      9 |     4198 |        0
907.24/907.41	c  907s |      14 |   408384 |    87552 |    11698      9 |     4198 |        0
908.24/908.49	c  908s |      15 |   408680 |    87632 |    11698      9 |     4198 |        0
910.44/910.66	c  910s |      15 |   411501 |    88032 |    11698      9 |     4198 |        0
912.85/913.07	c  912s |      15 |   414294 |    88632 |    11698      9 |     4198 |        0
915.04/915.22	c  915s |      15 |   416192 |    89232 |    11698      9 |     4198 |        0
917.14/917.38	c  917s |      15 |   418529 |    89932 |    11698      9 |     4198 |        0
919.34/919.60	c  919s |      15 |   421133 |    90432 |    11698     10 |     4198 |        0
921.84/922.03	c  921s |      15 |   424015 |    90932 |    11698     10 |     4198 |        0
924.24/924.43	c  924s |      15 |   426099 |    91332 |    11698     10 |     4198 |        0
926.93/927.16	c  926s |      15 |   428195 |    91832 |    11698     10 |     4198 |        0
929.34/929.56	c  929s |      15 |   430234 |    92232 |    11698     10 |     4198 |        0
931.74/931.90	c  931s |      15 |   431406 |    92632 |    11698     10 |     4198 |        0
933.94/934.15	c  933s |      15 |   432908 |    93032 |    11698     10 |     4198 |        0
936.05/936.26	c  936s |      15 |   434192 |    93432 |    11698     10 |     4198 |        0
938.74/938.98	c  938s |      15 |   435260 |    93832 |    11698     10 |     4198 |        0
941.44/941.62	c  941s |      15 |   436864 |    94232 |    11698     10 |     4198 |        0
943.53/943.75	c  943s |      15 |   437800 |    94532 |    11698     10 |     4198 |        0
945.53/945.75	c  945s |      15 |   438474 |    94732 |    11698     10 |     4198 |        0
947.53/947.76	c  947s |      15 |   439195 |    95032 |    11698     10 |     4198 |        0
950.03/950.29	c  950s |      15 |   441192 |    95532 |    11698     10 |     4198 |        0
952.43/952.65	c  952s |      15 |   443235 |    95932 |    11698     10 |     4198 |        0
954.92/955.11	c  954s |      15 |   444958 |    96232 |    11698     10 |     4198 |        0
957.03/957.24	c  957s |      15 |   445936 |    96532 |    11698     10 |     4198 |        0
959.14/959.36	c  959s |      15 |   447042 |    96832 |    11698     10 |     4198 |        0
961.53/961.73	c  961s |      15 |   448125 |    97132 |    11698     10 |     4198 |        0
963.63/963.88	c  963s |      15 |   448981 |    97432 |    11698     10 |     4198 |        0
966.03/966.25	c  966s |      15 |   449888 |    97732 |    11698     10 |     4198 |        0
968.33/968.57	c  968s |      15 |   450869 |    98032 |    11698     10 |     4198 |        0
971.02/971.21	c  971s |      15 |   452012 |    98332 |    11698     10 |     4198 |        0
973.52/973.75	c  973s |      15 |   453129 |    98632 |    11698     10 |     4198 |        0
976.12/976.38	c  976s |      15 |   454281 |    98932 |    11698     10 |     4198 |        0
978.73/978.90	c  978s |      15 |   455338 |    99232 |    11698     10 |     4198 |        0
981.32/981.50	c  981s |      15 |   456717 |    99532 |    11698     10 |     4198 |        0
984.02/984.21	c  984s |      15 |   457862 |    99832 |    11698     10 |     4198 |        0
986.12/986.37	c  986s |      15 |   458441 |   100032 |    11698     10 |     4198 |        0
988.42/988.68	c  988s |      15 |   459070 |   100232 |    11698     10 |     4198 |        0
992.12/992.38	c  992s |      15 |   459915 |   100532 |    11698     11 |     4198 |        0
995.01/995.26	c  995s |      15 |   460918 |   100832 |    11698     11 |     4198 |        0
997.02/997.26	c  997s |      15 |   461431 |   101032 |    11698     11 |     4198 |        0
999.12/999.33	c  999s |      15 |   461965 |   101232 |    11698     11 |     4198 |        0
1001.21/1001.48	c 1001s |      15 |   462318 |   101432 |    11698     11 |     4198 |        0
1003.51/1003.73	c 1003s |      15 |   462718 |   101632 |    11698     11 |     4198 |        0
1006.51/1006.76	c 1006s |      15 |   463504 |   101932 |    11698     11 |     4198 |        0
1009.31/1009.57	c 1009s |      15 |   464230 |   102232 |    11698     11 |     4198 |        0
1011.91/1012.15	c 1011s |      15 |   465098 |   102532 |    11698     11 |     4198 |        0
1014.60/1014.82	c 1014s |      15 |   466331 |   102832 |    11698     11 |     4198 |        0
1017.20/1017.43	c 1017s |      15 |   467449 |   103132 |    11698     11 |     4198 |        0
1019.30/1019.55	c 1019s |      15 |   468221 |   103432 |    11698     11 |     4198 |        0
1022.10/1022.30	c 1022s |      15 |   468739 |   103732 |    11698     11 |     4198 |        0
1024.10/1024.36	c 1024s |      15 |   469086 |   103932 |    11698     11 |     4198 |        0
1026.60/1026.89	c 1026s |      15 |   469802 |   104232 |    11698     11 |     4198 |        0
1028.70/1028.94	c 1028s |      15 |   470851 |   104532 |    11698     11 |     4198 |        0
1031.20/1031.44	c 1031s |      15 |   471807 |   104832 |    11698     11 |     4198 |        0
1033.60/1033.85	c 1033s |      15 |   472895 |   105132 |    11698     11 |     4198 |        0
1035.90/1036.19	c 1036s |      15 |   473703 |   105432 |    11698     11 |     4198 |        0
1038.50/1038.71	c 1038s |      15 |   474269 |   105732 |    11698     11 |     4198 |        0
1040.90/1041.17	c 1040s |      15 |   474972 |   106032 |    11698     11 |     4198 |        0
1043.49/1043.75	c 1043s |      15 |   475607 |   106332 |    11698     11 |     4198 |        0
1046.39/1046.60	c 1046s |      15 |   476254 |   106632 |    11698     11 |     4198 |        0
1049.10/1049.33	c 1049s |      15 |   476727 |   106932 |    11698     11 |     4198 |        0
1051.70/1051.92	c 1051s |      15 |   477351 |   107232 |    11698     11 |     4198 |        0
1054.49/1054.73	c 1054s |      15 |   477954 |   107532 |    11698     11 |     4198 |        0
1057.09/1057.31	c 1057s |      15 |   478728 |   107832 |    11698     11 |     4198 |        0
1059.59/1059.86	c 1059s |      15 |   479418 |   108132 |    11698     11 |     4198 |        0
1062.29/1062.51	c 1062s |      15 |   480140 |   108432 |    11698     11 |     4198 |        0
1064.79/1065.02	c 1064s |      15 |   480808 |   108732 |    11698     11 |     4198 |        0
1067.18/1067.45	c 1067s |      15 |   481541 |   109032 |    11698     11 |     4198 |        0
1069.58/1069.80	c 1069s |      15 |   482565 |   109332 |    11698     11 |     4198 |        0
1071.78/1072.02	c 1071s |      15 |   483502 |   109632 |    11698     11 |     4198 |        0
1074.08/1074.30	c 1074s |      15 |   483990 |   109832 |    11698     12 |     4198 |        0
1076.48/1076.71	c 1076s |      15 |   485344 |   110132 |    11698     12 |     4198 |        0
1078.49/1078.77	c 1078s |      15 |   485810 |   110332 |    11698     12 |     4198 |        0
1080.78/1081.00	c 1080s |      15 |   486375 |   110532 |    11698     12 |     4198 |        0
1083.08/1083.35	c 1083s |      15 |   487136 |   110832 |    11698     12 |     4198 |        0
1085.28/1085.53	c 1085s |      15 |   488011 |   111132 |    11698     12 |     4198 |        0
1087.98/1088.29	c 1088s |      15 |   488983 |   111432 |    11698     12 |     4198 |        0
1090.17/1090.44	c 1090s |      15 |   489826 |   111632 |    11698     12 |     4198 |        0
1092.37/1092.66	c 1092s |      15 |   490299 |   111832 |    11698     12 |     4198 |        0
1094.68/1094.95	c 1094s |      15 |   490708 |   112032 |    11698     12 |     4198 |        0
1096.78/1097.07	c 1096s |      15 |   491184 |   112232 |    11698     12 |     4198 |        0
1099.27/1099.54	c 1099s |      15 |   491522 |   112432 |    11698     12 |     4198 |        0
1101.57/1101.84	c 1101s |      15 |   491804 |   112632 |    11698     12 |     4198 |        0
1103.97/1104.25	c 1104s |      15 |   492386 |   112832 |    11698     12 |     4198 |        0
1106.76/1107.02	c 1106s |      15 |   493248 |   113132 |    11698     12 |     4198 |        0
1109.56/1109.81	c 1109s |      15 |   494365 |   113432 |    11698     12 |     4198 |        0
1112.17/1112.45	c 1112s |      15 |   495525 |   113732 |    11698     12 |     4198 |        0
1114.96/1115.23	c 1115s |      15 |   496223 |   114032 |    11698     12 |     4198 |        0
1117.96/1118.24	c 1118s |      15 |   497008 |   114332 |    11698     12 |     4198 |        0
1120.46/1120.73	c 1120s |      15 |   497959 |   114632 |    11698     12 |     4198 |        0
1123.16/1123.44	c 1123s |      15 |   498465 |   114932 |    11698     12 |     4198 |        0
1125.86/1126.20	c 1126s |      15 |   499206 |   115232 |    11698     12 |     4198 |        0
1127.96/1128.26	c 1128s |      15 |   499596 |   115432 |    11698     12 |     4198 |        0
1130.85/1131.17	c 1130s |      15 |   500169 |   115732 |    11698     12 |     4198 |        0
1132.95/1133.22	c 1133s |      15 |   500674 |   115932 |    11698     12 |     4198 |        0
1135.75/1136.05	c 1135s |      15 |   501427 |   116232 |    11698     12 |     4198 |        0
1137.85/1138.10	c 1137s |      15 |   502082 |   116432 |    11698     12 |     4198 |        0
1139.86/1140.11	c 1139s |      15 |   503028 |   116632 |    11698     12 |     4198 |        0
1142.55/1142.87	c 1142s |      15 |   503890 |   116932 |    11698     12 |     4198 |        0
1144.75/1145.03	c 1144s |      15 |   504310 |   117132 |    11698     12 |     4198 |        0
1147.65/1147.93	c 1147s |      15 |   505293 |   117432 |    11698     12 |     4198 |        0
1150.54/1150.85	c 1150s |      15 |   506122 |   117732 |    11698     12 |     4198 |        0
1153.34/1153.65	c 1153s |      15 |   506818 |   118032 |    11698     12 |     4198 |        0
1155.54/1155.82	c 1155s |      15 |   507263 |   118232 |    11698     12 |     4198 |        0
1157.54/1157.83	c 1157s |      15 |   507707 |   118432 |    11698     12 |     4198 |        0
1159.54/1159.89	c 1159s |      15 |   508060 |   118632 |    11698     12 |     4198 |        0
1161.93/1162.28	c 1162s |      15 |   508316 |   118832 |    11698     12 |     4198 |        0
1164.13/1164.47	c 1164s |      15 |   508643 |   119032 |    11698     12 |     4198 |        0
1166.73/1167.07	c 1166s |      15 |   509034 |   119232 |    11698     13 |     4198 |        0
1168.94/1169.20	c 1169s |      15 |   509330 |   119432 |    11698     13 |     4198 |        0
1170.94/1171.25	c 1171s |      15 |   509700 |   119632 |    11698     13 |     4198 |        0
1172.93/1173.29	c 1173s |      15 |   510041 |   119832 |    11698     13 |     4198 |        0
1175.03/1175.38	c 1175s |      15 |   510361 |   120032 |    11698     13 |     4198 |        0
1177.13/1177.48	c 1177s |      15 |   510666 |   120232 |    11698     13 |     4198 |        0
1179.33/1179.64	c 1179s |      15 |   511001 |   120432 |    11698     13 |     4198 |        0
1181.43/1181.72	c 1181s |      15 |   511340 |   120632 |    11698     13 |     4198 |        0
1183.43/1183.74	c 1183s |      15 |   511761 |   120832 |    11698     13 |     4198 |        0
1186.32/1186.61	c 1186s |      15 |   512437 |   121132 |    11698     13 |     4198 |        0
1188.72/1189.09	c 1188s |      15 |   513220 |   121432 |    11698     13 |     4198 |        0
1191.42/1191.74	c 1191s |      15 |   514191 |   121732 |    11698     13 |     4198 |        0
1193.92/1194.24	c 1194s |      15 |   515080 |   122032 |    11698     13 |     4198 |        0
1196.72/1197.02	c 1196s |      15 |   515692 |   122332 |    11698     13 |     4198 |        0
1198.92/1199.26	c 1199s |      15 |   516137 |   122532 |    11698     13 |     4198 |        0
1200.92/1201.29	c 1201s |      15 |   516537 |   122732 |    11698     13 |     4198 |        0
1203.52/1203.88	c 1203s |      15 |   517515 |   123032 |    11698     13 |     4198 |        0
1206.31/1206.63	c 1206s |      15 |   518609 |   123332 |    11698     13 |     4198 |        0
1208.91/1209.22	c 1209s |      15 |   519461 |   123632 |    11698     13 |     4198 |        0
1211.51/1211.89	c 1211s |      15 |   520266 |   123932 |    11698     13 |     4198 |        0
1214.31/1214.69	c 1214s |      15 |   520812 |   124232 |    11698     13 |     4198 |        0
1216.42/1216.78	c 1216s |      15 |   521171 |   124432 |    11698     13 |     4198 |        0
1219.21/1219.57	c 1219s |      15 |   521754 |   124732 |    11698     13 |     4198 |        0
1222.11/1222.46	c 1222s |      15 |   522457 |   125032 |    11698     13 |     4198 |        0
1225.11/1225.50	c 1225s |      15 |   523259 |   125332 |    11698     13 |     4198 |        0
1227.51/1227.80	c 1227s |      15 |   523618 |   125532 |    11698     13 |     4198 |        0
1229.81/1230.19	c 1230s |      15 |   523880 |   125732 |    11698     13 |     4198 |        0
1232.00/1232.32	c 1232s |      15 |   524336 |   125932 |    11698     13 |     4198 |        0
1234.80/1235.13	c 1234s |      15 |   525127 |   126232 |    11698     13 |     4198 |        0
1236.80/1237.16	c 1236s |      15 |   525471 |   126432 |    11698     13 |     4198 |        0
1239.80/1240.13	c 1239s |      15 |   526027 |   126732 |    11698     13 |     4198 |        0
1242.00/1242.30	c 1242s |      15 |   526356 |   126932 |    11698     13 |     4198 |        0
1244.10/1244.41	c 1244s |      15 |   526929 |   127132 |    11698     13 |     4198 |        0
1246.80/1247.14	c 1246s |      15 |   528000 |   127432 |    11698     13 |     4198 |        0
1248.80/1249.16	c 1248s |      15 |   528869 |   127632 |    11698     13 |     4198 |        0
1251.19/1251.59	c 1251s |      15 |   529603 |   127832 |    11698     13 |     4198 |        0
1253.29/1253.65	c 1253s |      15 |   530110 |   128032 |    11698     13 |     4198 |        0
1256.09/1256.46	c 1256s |      15 |   530567 |   128232 |    11698     14 |     4198 |        0
1258.40/1258.72	c 1258s |      15 |   530914 |   128432 |    11698     14 |     4198 |        0
1260.40/1260.76	c 1260s |      15 |   531466 |   128632 |    11698     14 |     4198 |        0
1262.99/1263.34	c 1263s |      15 |   531954 |   128832 |    11698     14 |     4198 |        0
1265.19/1265.56	c 1265s |      15 |   532318 |   129032 |    11698     14 |     4198 |        0
1267.69/1268.07	c 1267s |      15 |   532925 |   129232 |    11698     14 |     4198 |        0
1269.99/1270.33	c 1270s |      15 |   533401 |   129432 |    11698     14 |     4198 |        0
1272.18/1272.59	c 1272s |      15 |   533999 |   129632 |    11698     14 |     4198 |        0
1274.69/1275.01	c 1274s |      15 |   534398 |   129832 |    11698     14 |     4198 |        0
1277.58/1277.98	c 1277s |      15 |   535028 |   130132 |    11698     14 |     4198 |        0
1280.58/1280.94	c 1280s |      15 |   535915 |   130432 |    11698     14 |     4198 |        0
1282.68/1283.05	c 1282s |      15 |   536385 |   130632 |    11698     14 |     4198 |        0
1284.97/1285.31	c 1285s |      15 |   536754 |   130832 |    12868     14 |     4198 |        0
1287.07/1287.42	c 1287s |      15 |   537159 |   131032 |    12868     14 |     4198 |        0
1289.98/1290.30	c 1290s |      15 |   537961 |   131332 |    12868     14 |     4198 |        0
1292.07/1292.50	c 1292s |      16 |   538311 |   131552 |    12868     14 |     4198 |        0
1294.17/1294.55	c 1294s |      16 |   540825 |   132052 |    12868     14 |     4198 |        0
1296.37/1296.76	c 1296s |      16 |   542533 |   132652 |    12868     14 |     4198 |        0
1298.47/1298.88	c 1298s |      16 |   543988 |   133152 |    12868     14 |     4198 |        0
1300.66/1301.04	c 1300s |      16 |   546304 |   133652 |    12868     14 |     4198 |        0
1303.17/1303.56	c 1303s |      16 |   548426 |   134152 |    12868     14 |     4198 |        0
1305.76/1306.10	c 1305s |      16 |   549877 |   134552 |    12868     14 |     4198 |        0
1308.16/1308.52	c 1308s |      16 |   551095 |   134952 |    12868     14 |     4198 |        0
1310.56/1310.98	c 1310s |      16 |   552591 |   135352 |    12868     14 |     4198 |        0
1312.87/1313.24	c 1313s |      16 |   553563 |   135652 |    12868     14 |     4198 |        0
1315.27/1315.70	c 1315s |      16 |   554284 |   135952 |    12868     14 |     4198 |        0
1317.76/1318.10	c 1317s |      16 |   555091 |   136252 |    12868     14 |     4198 |        0
1320.26/1320.68	c 1320s |      16 |   556187 |   136552 |    12868     14 |     4198 |        0
1322.46/1322.83	c 1322s |      16 |   556977 |   136852 |    12868     14 |     4198 |        0
1324.56/1324.96	c 1324s |      16 |   558533 |   137252 |    12868     14 |     4198 |        0
1327.16/1327.50	c 1327s |      16 |   559690 |   137652 |    12868     14 |     4198 |        0
1329.16/1329.50	c 1329s |      16 |   560853 |   137952 |    12868     14 |     4198 |        0
1331.25/1331.69	c 1331s |      16 |   561954 |   138252 |    12868     14 |     4198 |        0
1333.45/1333.89	c 1333s |      16 |   562527 |   138452 |    12868     15 |     4198 |        0
1335.75/1336.16	c 1335s |      16 |   563752 |   138752 |    12868     15 |     4198 |        0
1338.55/1338.95	c 1338s |      16 |   564854 |   139052 |    12868     15 |     4198 |        0
1340.84/1341.26	c 1341s |      16 |   565731 |   139352 |    12868     15 |     4198 |        0
1343.45/1343.81	c 1343s |      16 |   567165 |   139752 |    12868     15 |     4198 |        0
1345.85/1346.21	c 1346s |      16 |   567885 |   140052 |    12868     15 |     4198 |        0
1348.15/1348.51	c 1348s |      16 |   569015 |   140452 |    12868     15 |     4198 |        0
1350.74/1351.13	c 1350s |      16 |   570141 |   140752 |    12868     15 |     4198 |        0
1353.34/1353.77	c 1353s |      16 |   570847 |   141052 |    12868     15 |     4198 |        0
1355.84/1356.22	c 1356s |      16 |   571552 |   141352 |    12868     15 |     4198 |        0
1358.04/1358.48	c 1358s |      16 |   572317 |   141652 |    12868     15 |     4198 |        0
1360.54/1360.92	c 1360s |      16 |   573381 |   142052 |    12868     15 |     4198 |        0
1363.04/1363.48	c 1363s |      16 |   574243 |   142452 |    12868     15 |     4198 |        0
1365.24/1365.65	c 1365s |      16 |   574867 |   142752 |    12868     15 |     4198 |        0
1368.15/1368.53	c 1368s |      16 |   575754 |   143152 |    12868     15 |     4198 |        0
1370.14/1370.57	c 1370s |      16 |   576044 |   143352 |    12868     15 |     4198 |        0
1373.04/1373.40	c 1373s |      16 |   576625 |   143652 |    12868     15 |     4198 |        0
1375.13/1375.59	c 1375s |      16 |   577498 |   143952 |    12868     15 |     4198 |        0
1377.73/1378.13	c 1377s |      16 |   578406 |   144252 |    12868     15 |     4198 |        0
1380.23/1380.61	c 1380s |      16 |   579146 |   144552 |    12868     15 |     4198 |        0
1383.23/1383.69	c 1383s |      16 |   580021 |   144852 |    12868     15 |     4198 |        0
1385.53/1385.93	c 1385s |      16 |   580557 |   145052 |    12868     15 |     4198 |        0
1387.53/1387.93	c 1387s |      16 |   581061 |   145252 |    12868     15 |     4198 |        0
1389.53/1389.96	c 1389s |      16 |   581552 |   145452 |    12868     15 |     4198 |        0
1392.23/1392.68	c 1392s |      16 |   582197 |   145752 |    12868     15 |     4198 |        0
1394.62/1395.09	c 1394s |      16 |   582562 |   145952 |    12868     15 |     4198 |        0
1396.82/1397.20	c 1397s |      16 |   583221 |   146152 |    12868     15 |     4198 |        0
1398.72/1399.20	c 1399s |      16 |   583805 |   146352 |    12868     15 |     4198 |        0
1400.83/1401.22	c 1401s |      16 |   584328 |   146552 |    12868     15 |     4198 |        0
1403.12/1403.52	c 1403s |      16 |   584721 |   146752 |    12868     15 |     4198 |        0
1405.43/1405.87	c 1405s |      16 |   585364 |   147052 |    12868     15 |     4198 |        0
1408.12/1408.54	c 1408s |      16 |   585989 |   147352 |    12868     15 |     4198 |        0
1410.93/1411.38	c 1411s |      16 |   587197 |   147652 |    12868     15 |     4198 |        0
1413.02/1413.40	c 1413s |      16 |   587844 |   147852 |    12868     15 |     4198 |        0
1415.12/1415.56	c 1415s |      16 |   588560 |   148052 |    12868     15 |     4198 |        0
1417.42/1417.86	c 1417s |      16 |   589254 |   148352 |    12868     15 |     4198 |        0
1419.62/1420.08	c 1419s |      16 |   589589 |   148552 |    12868     16 |     4198 |        0
1422.32/1422.77	c 1422s |      16 |   590741 |   148952 |    12868     16 |     4198 |        0
1424.71/1425.13	c 1424s |      16 |   591563 |   149252 |    12868     16 |     4198 |        0
1427.01/1427.40	c 1427s |      16 |   592715 |   149552 |    12868     16 |     4198 |        0
1429.31/1429.71	c 1429s |      16 |   594795 |   149952 |    12868     16 |     4198 |        0
1431.41/1431.80	c 1431s |      16 |   595799 |   150252 |    12868     16 |     4198 |        0
1433.41/1433.82	c 1433s |      16 |   597349 |   150552 |    12868     16 |     4198 |        0
1435.61/1436.04	c 1435s |      16 |   598425 |   150952 |    12868     16 |     4198 |        0
1437.61/1438.04	c 1437s |      16 |   599027 |   151252 |    12868     16 |     4198 |        0
1439.72/1440.12	c 1439s |      16 |   600179 |   151552 |    12868     16 |     4198 |        0
1442.02/1442.45	c 1442s |      16 |   601432 |   151852 |    12868     16 |     4198 |        0
1444.62/1445.03	c 1444s |      16 |   602134 |   152152 |    12868     16 |     4198 |        0
1447.22/1447.64	c 1447s |      16 |   603165 |   152452 |    12868     16 |     4198 |        0
1450.01/1450.42	c 1450s |      16 |   604186 |   152752 |    12868     16 |     4198 |        0
1452.82/1453.23	c 1453s |      16 |   605206 |   153052 |    12868     16 |     4198 |        0
1455.51/1455.93	c 1455s |      16 |   606568 |   153352 |    12868     16 |     4198 |        0
1457.51/1457.95	c 1457s |      16 |   607188 |   153552 |    12868     16 |     4198 |        0
1459.91/1460.33	c 1460s |      16 |   607594 |   153752 |    12868     16 |     4198 |        0
1463.02/1463.40	c 1463s |      16 |   608457 |   154052 |    12868     16 |     4198 |        0
1465.51/1465.98	c 1465s |      16 |   609062 |   154252 |    12868     16 |     4198 |        0
1468.22/1468.69	c 1468s |      16 |   609522 |   154452 |    12868     16 |     4198 |        0
1470.51/1470.93	c 1470s |      16 |   610443 |   154652 |    12868     16 |     4198 |        0
1472.62/1473.09	c 1472s |      16 |   611209 |   154952 |    12868     16 |     4198 |        0
1474.72/1475.17	c 1474s |      16 |   612171 |   155252 |    12868     16 |     4198 |        0
1477.01/1477.48	c 1477s |      16 |   612762 |   155552 |    12868     16 |     4198 |        0
1479.51/1479.93	c 1479s |      16 |   613834 |   155852 |    12868     16 |     4198 |        0
1482.21/1482.61	c 1482s |      16 |   615864 |   156152 |    12868     16 |     4198 |        0
1484.31/1484.71	c 1484s |      16 |   616979 |   156452 |    12868     16 |     4198 |        0
1486.41/1486.88	c 1486s |      16 |   617969 |   156752 |    12868     16 |     4198 |        0
1488.91/1489.33	c 1489s |      16 |   618735 |   157052 |    12868     16 |     4198 |        0
1491.21/1491.68	c 1491s |      16 |   619545 |   157352 |    12868     16 |     4198 |        0
1493.31/1493.76	c 1493s |      16 |   620254 |   157652 |    12868     16 |     4198 |        0
1495.80/1496.27	c 1496s |      16 |   620870 |   157952 |    12868     16 |     4198 |        0
1498.41/1498.88	c 1498s |      16 |   621770 |   158252 |    12868     16 |     4198 |        0
1501.70/1502.16	c 1501s |      16 |   622373 |   158552 |    12868     17 |     4198 |        0
1504.70/1505.16	c 1504s |      16 |   622861 |   158852 |    12868     17 |     4198 |        0
1507.10/1507.50	c 1507s |      16 |   623593 |   159152 |    12868     17 |     4198 |        0
1509.61/1510.05	c 1509s |      16 |   624337 |   159452 |    12868     17 |     4198 |        0
1512.31/1512.71	c 1512s |      16 |   625224 |   159752 |    12868     17 |     4198 |        0
1514.50/1514.97	c 1514s |      16 |   625717 |   159952 |    12868     17 |     4198 |        0
1517.10/1517.52	c 1517s |      16 |   626457 |   160252 |    12868     17 |     4198 |        0
1519.11/1519.58	c 1519s |      16 |   626804 |   160452 |    12868     17 |     4198 |        0
1521.51/1521.90	c 1521s |      16 |   627109 |   160652 |    12868     17 |     4198 |        0
1524.21/1524.70	c 1524s |      16 |   628000 |   160952 |    12868     17 |     4198 |        0
1526.30/1526.73	c 1526s |      16 |   628542 |   161152 |    12868     17 |     4198 |        0
1529.00/1529.41	c 1529s |      16 |   629828 |   161452 |    12868     17 |     4198 |        0
1531.91/1532.38	c 1532s |      16 |   630323 |   161752 |    12868     17 |     4198 |        0
1534.01/1534.43	c 1534s |      16 |   630630 |   161952 |    12868     17 |     4198 |        0
1537.10/1537.51	c 1537s |      16 |   631548 |   162252 |    12868     17 |     4198 |        0
1540.00/1540.41	c 1540s |      16 |   632240 |   162552 |    12868     17 |     4198 |        0
1542.80/1543.22	c 1543s |      16 |   632907 |   162852 |    12868     17 |     4198 |        0
1544.80/1545.23	c 1545s |      16 |   633547 |   163052 |    12868     17 |     4198 |        0
1547.60/1548.08	c 1547s |      16 |   634519 |   163352 |    12868     17 |     4198 |        0
1550.50/1550.97	c 1550s |      16 |   635717 |   163652 |    12868     17 |     4198 |        0
1553.30/1553.78	c 1553s |      16 |   636789 |   163952 |    12868     17 |     4198 |        0
1555.60/1556.06	c 1555s |      16 |   637187 |   164152 |    12868     17 |     4198 |        0
1557.80/1558.22	c 1558s |      16 |   637512 |   164352 |    12868     17 |     4198 |        0
1560.60/1561.09	c 1560s |      16 |   638576 |   164652 |    12868     17 |     4198 |        0
1562.99/1563.47	c 1563s |      16 |   638861 |   164852 |    12868     17 |     4198 |        0
1565.70/1566.17	c 1565s |      16 |   640092 |   165152 |    12868     17 |     4198 |        0
1567.70/1568.19	c 1568s |      16 |   640681 |   165352 |    12868     17 |     4198 |        0
1569.90/1570.34	c 1570s |      16 |   641281 |   165552 |    12868     17 |     4198 |        0
1572.60/1573.06	c 1572s |      16 |   642858 |   165852 |    12868     17 |     4198 |        0
1574.90/1575.33	c 1575s |      16 |   643178 |   166052 |    12868     17 |     4198 |        0
1577.10/1577.52	c 1577s |      16 |   643580 |   166252 |    12868     17 |     4198 |        0
1579.10/1579.56	c 1579s |      16 |   644191 |   166452 |    12868     17 |     4198 |        0
1581.50/1581.94	c 1581s |      16 |   644644 |   166652 |    12868     17 |     4198 |        0
1583.50/1584.00	c 1583s |      16 |   645116 |   166852 |    12868     17 |     4198 |        0
1586.09/1586.57	c 1586s |      16 |   645478 |   167052 |    12868     17 |     4198 |        0
1588.59/1589.08	c 1588s |      16 |   645781 |   167252 |    12868     17 |     4198 |        0
1590.80/1591.29	c 1591s |      16 |   646193 |   167452 |    12868     17 |     4198 |        0
1593.19/1593.67	c 1593s |      16 |   646491 |   167652 |    12868     17 |     4198 |        0
1595.59/1596.04	c 1595s |      16 |   646743 |   167852 |    12868     17 |     4198 |        0
1598.00/1598.43	c 1598s |      16 |   647172 |   168052 |    12868     17 |     4198 |        0
1601.09/1601.53	c 1601s |      16 |   647482 |   168252 |    12868     18 |     4198 |        0
1603.09/1603.55	c 1603s |      16 |   648415 |   168452 |    12868     18 |     4198 |        0
1605.40/1605.82	c 1605s |      16 |   648708 |   168652 |    12868     18 |     4198 |        0
1607.90/1608.30	c 1608s |      16 |   649135 |   168852 |    12868     18 |     4198 |        0
1610.19/1610.61	c 1610s |      16 |   649379 |   169052 |    12868     18 |     4198 |        0
1612.30/1612.75	c 1612s |      16 |   649658 |   169252 |    12868     18 |     4198 |        0
1614.99/1615.48	c 1615s |      16 |   649917 |   169452 |    12868     18 |     4198 |        0
1617.59/1618.09	c 1617s |      16 |   650180 |   169652 |    12868     18 |     4198 |        0
1620.19/1620.61	c 1620s |      16 |   650676 |   169852 |    12868     18 |     4198 |        0
1622.29/1622.79	c 1622s |      16 |   651200 |   170052 |    12868     18 |     4198 |        0
1624.59/1625.00	c 1624s |      16 |   651748 |   170252 |    12868     18 |     4198 |        0
1626.88/1627.32	c 1627s |      16 |   652398 |   170452 |    12868     18 |     4198 |        0
1629.08/1629.53	c 1629s |      16 |   653049 |   170652 |    12868     18 |     4198 |        0
1631.58/1632.00	c 1631s |      16 |   653727 |   170952 |    12868     18 |     4198 |        0
1633.99/1634.46	c 1634s |      16 |   654517 |   171252 |    12868     18 |     4198 |        0
1637.19/1637.69	c 1637s |      16 |   655939 |   171552 |    12868     18 |     4198 |        0
1639.58/1640.04	c 1639s |      16 |   657040 |   171952 |    12868     18 |     4198 |        0
1641.58/1642.10	c 1641s |      16 |   658734 |   172352 |    12868     18 |     4198 |        0
1643.78/1644.30	c 1644s |      16 |   660211 |   172752 |    12868     18 |     4198 |        0
1645.98/1646.41	c 1646s |      16 |   661435 |   173052 |    12868     18 |     4198 |        0
1648.08/1648.55	c 1648s |      16 |   662596 |   173352 |    12868     18 |     4198 |        0
1650.49/1650.98	c 1650s |      16 |   663630 |   173652 |    12868     18 |     4198 |        0
1652.89/1653.37	c 1653s |      16 |   664703 |   173952 |    12868     18 |     4198 |        0
1655.29/1655.78	c 1655s |      16 |   666066 |   174252 |    12868     18 |     4198 |        0
1657.48/1657.99	c 1657s |      16 |   667271 |   174552 |    12868     18 |     4198 |        0
1659.59/1660.01	c 1659s |      16 |   667813 |   174852 |    12868     18 |     4198 |        0
1661.58/1662.02	c 1661s |      16 |   668348 |   175052 |    12868     18 |     4198 |        0
1663.68/1664.19	c 1664s |      16 |   668720 |   175252 |    12868     18 |     4198 |        0
1666.58/1667.06	c 1666s |      16 |   669321 |   175552 |    12868     18 |     4198 |        0
1669.28/1669.75	c 1669s |      16 |   670418 |   175852 |    12868     18 |     4198 |        0
1671.88/1672.35	c 1672s |      16 |   671162 |   176152 |    12868     18 |     4198 |        0
1674.68/1675.19	c 1675s |      16 |   672122 |   176452 |    12868     18 |     4198 |        0
1677.48/1677.98	c 1677s |      16 |   673084 |   176752 |    12868     18 |     4198 |        0
1680.28/1680.78	c 1680s |      16 |   673979 |   177052 |    12868     18 |     4198 |        0
1683.08/1683.55	c 1683s |      16 |   674590 |   177352 |    12868     18 |     4198 |        0
1685.18/1685.60	c 1685s |      16 |   675000 |   177552 |    12868     18 |     4198 |        0
1688.09/1688.51	c 1688s |      16 |   675793 |   177852 |    12868     18 |     4198 |        0
1690.98/1691.42	c 1691s |      16 |   676452 |   178152 |    12868     18 |     4198 |        0
1693.58/1694.03	c 1693s |      16 |   676896 |   178352 |    12868     19 |     4198 |        0
1696.08/1696.57	c 1696s |      16 |   677896 |   178652 |    12868     19 |     4198 |        0
1698.87/1699.36	c 1699s |      16 |   678751 |   178952 |    12868     19 |     4198 |        0
1701.47/1701.97	c 1701s |      16 |   679581 |   179252 |    12868     19 |     4198 |        0
1704.17/1704.66	c 1704s |      16 |   680290 |   179552 |    12868     19 |     4198 |        0
1706.79/1707.29	c 1707s |      16 |   680956 |   179852 |    12868     19 |     4198 |        0
1709.68/1710.11	c 1709s |      16 |   681628 |   180152 |    12868     19 |     4198 |        0
1712.58/1713.07	c 1712s |      16 |   682324 |   180452 |    12868     19 |     4198 |        0
1714.98/1715.45	c 1715s |      16 |   682967 |   180752 |    12868     19 |     4198 |        0
1717.08/1717.53	c 1717s |      16 |   683388 |   180952 |    12868     19 |     4198 |        0
1720.08/1720.59	c 1720s |      16 |   684196 |   181252 |    12868     19 |     4198 |        0
1723.07/1723.59	c 1723s |      16 |   684977 |   181552 |    12868     19 |     4198 |        0
1725.27/1725.75	c 1725s |      16 |   685284 |   181752 |    12868     19 |     4198 |        0
1727.47/1727.92	c 1727s |      16 |   685724 |   181952 |    12868     19 |     4198 |        0
1730.58/1731.04	c 1730s |      16 |   686358 |   182252 |    12868     19 |     4198 |        0
1732.77/1733.28	c 1733s |      16 |   686765 |   182452 |    12868     19 |     4198 |        0
1734.97/1735.47	c 1735s |      16 |   687191 |   182652 |    12868     19 |     4198 |        0
1736.97/1737.47	c 1737s |      16 |   687724 |   182852 |    12868     19 |     4198 |        0
1740.07/1740.53	c 1740s |      16 |   688346 |   183152 |    12868     19 |     4198 |        0
1742.27/1742.76	c 1742s |      16 |   688866 |   183352 |    12868     19 |     4198 |        0
1744.37/1744.89	c 1744s |      16 |   689479 |   183552 |    12868     19 |     4198 |        0
1746.67/1747.12	c 1746s |      16 |   689963 |   183752 |    12868     19 |     4198 |        0
1748.77/1749.28	c 1749s |      16 |   690411 |   183952 |    12868     19 |     4198 |        0
1750.96/1751.45	c 1751s |      16 |   690903 |   184152 |    12868     19 |     4198 |        0
1753.17/1753.65	c 1753s |      16 |   691464 |   184352 |    12868     19 |     4198 |        0
1755.47/1755.98	c 1755s |      16 |   691948 |   184552 |    12868     19 |     4198 |        0
1757.87/1758.31	c 1758s |      16 |   692305 |   184752 |    12868     19 |     4198 |        0
1760.17/1760.61	c 1760s |      16 |   692669 |   184952 |    12868     19 |     4198 |        0
1762.37/1762.88	c 1762s |      16 |   693110 |   185152 |    12868     19 |     4198 |        0
1764.57/1765.01	c 1764s |      16 |   693429 |   185352 |    12868     19 |     4198 |        0
1766.96/1767.40	c 1767s |      16 |   693810 |   185552 |    12868     19 |     4198 |        0
1769.16/1769.66	c 1769s |      16 |   694236 |   185752 |    12868     19 |     4198 |        0
1771.67/1772.16	c 1771s |      16 |   694738 |   185952 |    12868     19 |     4198 |        0
1774.27/1774.71	c 1774s |      16 |   695117 |   186152 |    12868     19 |     4198 |        0
1776.57/1777.05	c 1776s |      16 |   695566 |   186352 |    12868     19 |     4198 |        0
1778.87/1779.33	c 1779s |      16 |   696180 |   186652 |    12868     19 |     4198 |        0
1781.27/1781.79	c 1781s |      16 |   696959 |   186952 |    12868     19 |     4198 |        0
1784.97/1785.44	c 1785s |      16 |   698125 |   187252 |    12868     19 |     4198 |        0
1787.27/1787.78	c 1787s |      16 |   700228 |   187552 |    12868     19 |     4198 |        0
1789.76/1790.28	c 1790s |      16 |   703648 |   187952 |    12868     19 |     4198 |        0
1791.96/1792.44	c 1792s |      16 |   706863 |   188452 |    12868     19 |     4198 |        0
1794.16/1794.69	c 1794s |      16 |   708346 |   188952 |    12868     20 |     4198 |        0
1796.46/1796.97	c 1796s |      16 |   709990 |   189352 |    12868     20 |     4198 |        0
1798.76/1799.24	c 1799s |      16 |   711412 |   189852 |    12868     20 |     4198 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

pid=32460
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.27 2.19 2.12 3/179 32463
/proc/meminfo: memFree=30398200/32872528 swapFree=1200228/1314692
[pid=32463] ppid=32460 vsize=739772 CPUtime=0 cores=1,3,5,7
/proc/32463/stat : 32463 (toysat) R 32460 32463 31224 0 -1 4202496 2761 0 0 0 0 0 0 0 20 0 4 0 23021046 757526528 3632 33554432000 4194304 16246674 140734341754256 140734341753680 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32463/statm: 185711 3641 441 2943 0 182605 0
[pid=32463/tid=32464] ppid=32460 vsize=757180 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32464/stat : 32464 (toysat) S 32460 32463 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021046 775352320 3700 33554432000 4194304 16246674 140734341754256 140271295638768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32463/tid=32465] ppid=32460 vsize=762300 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32465/stat : 32465 (toysat) S 32460 32463 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23021046 780595200 3717 33554432000 4194304 16246674 140734341754256 140271215946992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32463/tid=32466] ppid=32460 vsize=766396 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32466/stat : 32466 (toysat) S 32460 32463 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23021046 784789504 3733 33554432000 4194304 16246674 140734341754256 140271205473456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100119 s]
/proc/loadavg: 2.27 2.19 2.12 3/179 32463
/proc/meminfo: memFree=30398200/32872528 swapFree=1200228/1314692
[pid=32463] ppid=32460 vsize=1299012 CPUtime=0.08 cores=1,3,5,7
/proc/32463/stat : 32463 (toysat) R 32460 32463 31224 0 -1 4202496 26289 0 0 0 5 3 0 0 20 0 4 0 23021046 1330188288 27099 33554432000 4194304 16246674 140734341754256 140734341753568 13008268 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32463/statm: 324753 27116 831 2943 0 321647 0
[pid=32463/tid=32464] ppid=32460 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32464/stat : 32464 (toysat) S 32460 32463 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021046 1330188288 27130 33554432000 4194304 16246674 140734341754256 140271295638768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32463/tid=32465] ppid=32460 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32465/stat : 32465 (toysat) S 32460 32463 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23021046 1330188288 27138 33554432000 4194304 16246674 140734341754256 140271215946992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32463/tid=32466] ppid=32460 vsize=1299012 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32466/stat : 32466 (toysat) S 32460 32463 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23021046 1330188288 27149 33554432000 4194304 16246674 140734341754256 140271205473456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1299012

[startup+0.200576 s]
/proc/loadavg: 2.27 2.19 2.12 3/179 32463
/proc/meminfo: memFree=30398200/32872528 swapFree=1200228/1314692
[pid=32463] ppid=32460 vsize=1307204 CPUtime=0.19 cores=1,3,5,7
/proc/32463/stat : 32463 (toysat) R 32460 32463 31224 0 -1 4202496 39696 0 0 0 14 5 0 0 20 0 4 0 23021046 1338576896 40505 33554432000 4194304 16246674 140734341754256 140734341753568 5709562 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32463/statm: 326801 40505 884 2943 0 323695 0
[pid=32463/tid=32464] ppid=32460 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32464/stat : 32464 (toysat) S 32460 32463 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021046 1338576896 40505 33554432000 4194304 16246674 140734341754256 140271295638768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32463/tid=32465] ppid=32460 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32465/stat : 32465 (toysat) S 32460 32463 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23021046 1338576896 40505 33554432000 4194304 16246674 140734341754256 140271215946992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32463/tid=32466] ppid=32460 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32466/stat : 32466 (toysat) S 32460 32463 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23021046 1338576896 40505 33554432000 4194304 16246674 140734341754256 140271205473456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1307204

[startup+0.30044 s]
/proc/loadavg: 2.27 2.19 2.12 3/179 32463
/proc/meminfo: memFree=30398200/32872528 swapFree=1200228/1314692
[pid=32463] ppid=32460 vsize=1307204 CPUtime=0.29 cores=1,3,5,7
/proc/32463/stat : 32463 (toysat) R 32460 32463 31224 0 -1 4202496 45824 0 0 0 23 6 0 0 20 0 4 0 23021046 1338576896 46633 33554432000 4194304 16246674 140734341754256 140734341736128 5711576 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32463/statm: 326801 46633 884 2943 0 323695 0
[pid=32463/tid=32464] ppid=32460 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32464/stat : 32464 (toysat) S 32460 32463 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021046 1338576896 46633 33554432000 4194304 16246674 140734341754256 140271295638768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32463/tid=32465] ppid=32460 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32465/stat : 32465 (toysat) S 32460 32463 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23021046 1338576896 46633 33554432000 4194304 16246674 140734341754256 140271215946992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32463/tid=32466] ppid=32460 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32466/stat : 32466 (toysat) S 32460 32463 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23021046 1338576896 46633 33554432000 4194304 16246674 140734341754256 140271205473456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1307204

[startup+0.700428 s]
/proc/loadavg: 2.27 2.19 2.12 3/179 32463
/proc/meminfo: memFree=30398200/32872528 swapFree=1200228/1314692
[pid=32463] ppid=32460 vsize=1307204 CPUtime=0.69 cores=1,3,5,7
/proc/32463/stat : 32463 (toysat) R 32460 32463 31224 0 -1 4202496 67279 0 0 0 60 9 0 0 20 0 4 0 23021046 1338576896 68089 33554432000 4194304 16246674 140734341754256 140734341736128 13759916 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32463/statm: 326801 68090 884 2943 0 323695 0
[pid=32463/tid=32464] ppid=32460 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32464/stat : 32464 (toysat) S 32460 32463 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021046 1338576896 68090 33554432000 4194304 16246674 140734341754256 140271295638768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32463/tid=32465] ppid=32460 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32465/stat : 32465 (toysat) S 32460 32463 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23021046 1338576896 68092 33554432000 4194304 16246674 140734341754256 140271215946992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32463/tid=32466] ppid=32460 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32466/stat : 32466 (toysat) S 32460 32463 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23021046 1338576896 68092 33554432000 4194304 16246674 140734341754256 140271205473456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50042 s]
/proc/loadavg: 2.24 2.19 2.12 3/183 32467
/proc/meminfo: memFree=29754288/32872528 swapFree=1200228/1314692
[pid=32463] ppid=32460 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/32463/stat : 32463 (toysat) R 32460 32463 31224 0 -1 4202496 196446 0 0 0 123 26 0 0 20 0 4 0 23021046 1338576896 197256 33554432000 4194304 16246674 140734341754256 140734341736128 13954518 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32463/statm: 326801 197259 884 2943 0 323695 0
[pid=32463/tid=32464] ppid=32460 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32464/stat : 32464 (toysat) S 32460 32463 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021046 1338576896 197259 33554432000 4194304 16246674 140734341754256 140271295638768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32463/tid=32465] ppid=32460 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32465/stat : 32465 (toysat) S 32460 32463 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23021046 1338576896 197262 33554432000 4194304 16246674 140734341754256 140271215946992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32463/tid=32466] ppid=32460 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32466/stat : 32466 (toysat) S 32460 32463 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23021046 1338576896 197269 33554432000 4194304 16246674 140734341754256 140271205473456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10037 s]
/proc/loadavg: 2.24 2.19 2.12 3/183 32467
/proc/meminfo: memFree=29025788/32872528 swapFree=1200228/1314692
[pid=32463] ppid=32460 vsize=1312324 CPUtime=3.09 cores=1,3,5,7
/proc/32463/stat : 32463 (toysat) R 32460 32463 31224 0 -1 4202496 269039 0 0 0 273 36 0 0 20 0 4 0 23021046 1343819776 269848 33554432000 4194304 16246674 140734341754256 140734341736128 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32463/statm: 328081 269848 887 2943 0 324975 0
[pid=32463/tid=32464] ppid=32460 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32464/stat : 32464 (toysat) S 32460 32463 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021046 1343819776 269848 33554432000 4194304 16246674 140734341754256 140271295638768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32463/tid=32465] ppid=32460 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32465/stat : 32465 (toysat) S 32460 32463 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23021046 1343819776 269848 33554432000 4194304 16246674 140734341754256 140271215946992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32463/tid=32466] ppid=32460 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32466/stat : 32466 (toysat) S 32460 32463 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23021046 1343819776 269848 33554432000 4194304 16246674 140734341754256 140271205473456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30043 s]
/proc/loadavg: 2.24 2.19 2.12 3/183 32467
/proc/meminfo: memFree=28914212/32872528 swapFree=1200228/1314692
[pid=32463] ppid=32460 vsize=1312324 CPUtime=6.29 cores=1,3,5,7
/proc/32463/stat : 32463 (toysat) R 32460 32463 31224 0 -1 4202496 269043 0 0 0 593 36 0 0 20 0 4 0 23021046 1343819776 269852 33554432000 4194304 16246674 140734341754256 140734341753432 5712536 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32463/statm: 328081 269852 891 2943 0 324975 0
[pid=32463/tid=32464] ppid=32460 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32464/stat : 32464 (toysat) S 32460 32463 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021046 1343819776 269852 33554432000 4194304 16246674 140734341754256 140271295638768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32463/tid=32465] ppid=32460 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32465/stat : 32465 (toysat) S 32460 32463 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23021046 1343819776 269852 33554432000 4194304 16246674 140734341754256 140271215946992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32463/tid=32466] ppid=32460 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32466/stat : 32466 (toysat) S 32460 32463 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23021046 1343819776 269852 33554432000 4194304 16246674 140734341754256 140271205473456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.21 2.18 2.11 3/183 32467
/proc/meminfo: memFree=28914184/32872528 swapFree=1200228/1314692
[pid=32463] ppid=32460 vsize=1312324 CPUtime=12.69 cores=1,3,5,7
/proc/32463/stat : 32463 (toysat) R 32460 32463 31224 0 -1 4202496 269043 0 0 0 1233 36 0 0 20 0 4 0 23021046 1343819776 269852 33554432000 4194304 16246674 140734341754256 140734341736128 5572312 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32463/statm: 328081 269852 891 2943 0 324975 0
[pid=32463/tid=32464] ppid=32460 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32464/stat : 32464 (toysat) S 32460 32463 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021046 1343819776 269852 33554432000 4194304 16246674 140734341754256 140271295638768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32463/tid=32465] ppid=32460 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32465/stat : 32465 (toysat) S 32460 32463 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23021046 1343819776 269852 33554432000 4194304 16246674 140734341754256 140271215946992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32463/tid=32466] ppid=32460 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32466/stat : 32466 (toysat) S 32460 32463 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23021046 1343819776 269852 33554432000 4194304 16246674 140734341754256 140271205473456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5006 s]
/proc/loadavg: 2.17 2.18 2.11 3/183 32467
/proc/meminfo: memFree=28911388/32872528 swapFree=1200228/1314692
[pid=32463] ppid=32460 vsize=1312324 CPUtime=25.49 cores=1,3,5,7
/proc/32463/stat : 32463 (toysat) R 32460 32463 31224 0 -1 4202496 269043 0 0 0 2513 36 0 0 20 0 4 0 23021046 1343819776 269852 33554432000 4194304 16246674 140734341754256 140734341753432 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32463/statm: 328081 269852 891 2943 0 324975 0
[pid=32463/tid=32464] ppid=32460 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32464/stat : 32464 (toysat) S 32460 32463 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021046 1343819776 269852 33554432000 4194304 16246674 140734341754256 140271295638768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32463/tid=32465] ppid=32460 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32465/stat : 32465 (toysat) S 32460 32463 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23021046 1343819776 269852 33554432000 4194304 16246674 140734341754256 140271215946992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32463/tid=32466] ppid=32460 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32466/stat : 32466 (toysat) S 32460 32463 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23021046 1343819776 269852 33554432000 4194304 16246674 140734341754256 140271205473456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.16 2.17 2.11 3/183 32467
/proc/meminfo: memFree=28862740/32872528 swapFree=1200228/1314692
[pid=32463] ppid=32460 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/32463/stat : 32463 (toysat) R 32460 32463 31224 0 -1 4202496 269043 0 0 0 5072 36 0 0 20 0 4 0 23021046 1343819776 269852 33554432000 4194304 16246674 140734341754256 140734341736128 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32463/statm: 328081 269852 891 2943 0 324975 0
[pid=32463/tid=32464] ppid=32460 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32464/stat : 32464 (toysat) S 32460 32463 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021046 1343819776 269852 33554432000 4194304 16246674 140734341754256 140271295638768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32463/tid=32465] ppid=32460 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32465/stat : 32465 (toysat) S 32460 32463 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23021046 1343819776 269852 33554432000 4194304 16246674 140734341754256 140271215946992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32463/tid=32466] ppid=32460 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32466/stat : 32466 (toysat) S 32460 32463 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23021046 1343819776 269852 33554432000 4194304 16246674 140734341754256 140271205473456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.24 2.19 2.12 3/184 32471
/proc/meminfo: memFree=28750108/32872528 swapFree=1200228/1314692
[pid=32463] ppid=32460 vsize=1312324 CPUtime=102.28 cores=1,3,5,7
/proc/32463/stat : 32463 (toysat) R 32460 32463 31224 0 -1 4202496 269275 0 0 0 10191 37 0 0 20 0 4 0 23021046 1343819776 270084 33554432000 4194304 16246674 140734341754256 140734341736128 5711980 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32463/statm: 328081 270084 898 2943 0 324975 0
[pid=32463/tid=32464] ppid=32460 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32464/stat : 32464 (toysat) S 32460 32463 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021046 1343819776 270084 33554432000 4194304 16246674 140734341754256 140271295638768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32463/tid=32465] ppid=32460 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32465/stat : 32465 (toysat) S 32460 32463 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23021046 1343819776 270084 33554432000 4194304 16246674 140734341754256 140271215946992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32463/tid=32466] ppid=32460 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32466/stat : 32466 (toysat) S 32460 32463 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23021046 1343819776 270084 33554432000 4194304 16246674 140734341754256 140271205473456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1312324


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

/proc/32463/task/32466/stat : 32466 (toysat) S 32460 32463 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23021046 1357451264 273415 33554432000 4194304 16246674 140734341754256 140271205473456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1325636

[startup+1362.3 s]
/proc/loadavg: 2.24 2.23 2.16 3/183 32502
/proc/meminfo: memFree=28456528/32872528 swapFree=1200228/1314692
[pid=32463] ppid=32460 vsize=1325636 CPUtime=1361.94 cores=1,3,5,7
/proc/32463/stat : 32463 (toysat) R 32460 32463 31224 0 -1 4202496 272835 0 0 0 136107 87 0 0 20 0 4 0 23021046 1357451264 273415 33554432000 4194304 16246674 140734341754256 140734341736128 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32463/statm: 331409 273415 898 2943 0 328303 0
[pid=32463/tid=32464] ppid=32460 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32464/stat : 32464 (toysat) S 32460 32463 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021046 1357451264 273415 33554432000 4194304 16246674 140734341754256 140271295638768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32463/tid=32465] ppid=32460 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32465/stat : 32465 (toysat) S 32460 32463 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23021046 1357451264 273415 33554432000 4194304 16246674 140734341754256 140271215946992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32463/tid=32466] ppid=32460 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32466/stat : 32466 (toysat) S 32460 32463 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23021046 1357451264 273415 33554432000 4194304 16246674 140734341754256 140271205473456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1325636

[startup+1422.3 s]
/proc/loadavg: 2.18 2.21 2.16 3/183 32503
/proc/meminfo: memFree=28456968/32872528 swapFree=1200228/1314692
[pid=32463] ppid=32460 vsize=1325636 CPUtime=1421.92 cores=1,3,5,7
/proc/32463/stat : 32463 (toysat) R 32460 32463 31224 0 -1 4202496 272858 0 0 0 142102 90 0 0 20 0 4 0 23021046 1357451264 273415 33554432000 4194304 16246674 140734341754256 140734341736128 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32463/statm: 331409 273415 898 2943 0 328303 0
[pid=32463/tid=32464] ppid=32460 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32464/stat : 32464 (toysat) S 32460 32463 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021046 1357451264 273415 33554432000 4194304 16246674 140734341754256 140271295638768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32463/tid=32465] ppid=32460 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32465/stat : 32465 (toysat) S 32460 32463 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23021046 1357451264 273415 33554432000 4194304 16246674 140734341754256 140271215946992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32463/tid=32466] ppid=32460 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32466/stat : 32466 (toysat) S 32460 32463 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23021046 1357451264 273415 33554432000 4194304 16246674 140734341754256 140271205473456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1325636

[startup+1482.3 s]
/proc/loadavg: 2.24 2.22 2.16 4/183 32505
/proc/meminfo: memFree=28457592/32872528 swapFree=1200228/1314692
[pid=32463] ppid=32460 vsize=1325636 CPUtime=1481.91 cores=1,3,5,7
/proc/32463/stat : 32463 (toysat) R 32460 32463 31224 0 -1 4202496 272858 0 0 0 148098 93 0 0 20 0 4 0 23021046 1357451264 273415 33554432000 4194304 16246674 140734341754256 140734341753432 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32463/statm: 331409 273415 898 2943 0 328303 0
[pid=32463/tid=32464] ppid=32460 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32464/stat : 32464 (toysat) S 32460 32463 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021046 1357451264 273415 33554432000 4194304 16246674 140734341754256 140271295638768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32463/tid=32465] ppid=32460 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32465/stat : 32465 (toysat) S 32460 32463 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23021046 1357451264 273415 33554432000 4194304 16246674 140734341754256 140271215946992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32463/tid=32466] ppid=32460 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32466/stat : 32466 (toysat) S 32460 32463 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23021046 1357451264 273415 33554432000 4194304 16246674 140734341754256 140271205473456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1325636

[startup+1542.31 s]
/proc/loadavg: 2.35 2.25 2.18 3/183 32506
/proc/meminfo: memFree=28457348/32872528 swapFree=1200228/1314692
[pid=32463] ppid=32460 vsize=1325636 CPUtime=1541.91 cores=1,3,5,7
/proc/32463/stat : 32463 (toysat) R 32460 32463 31224 0 -1 4202496 272858 0 0 0 154094 97 0 0 20 0 4 0 23021046 1357451264 273415 33554432000 4194304 16246674 140734341754256 140734341753432 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32463/statm: 331409 273415 898 2943 0 328303 0
[pid=32463/tid=32464] ppid=32460 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32464/stat : 32464 (toysat) S 32460 32463 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021046 1357451264 273415 33554432000 4194304 16246674 140734341754256 140271295638768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32463/tid=32465] ppid=32460 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32465/stat : 32465 (toysat) S 32460 32463 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23021046 1357451264 273415 33554432000 4194304 16246674 140734341754256 140271215946992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32463/tid=32466] ppid=32460 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32466/stat : 32466 (toysat) S 32460 32463 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23021046 1357451264 273415 33554432000 4194304 16246674 140734341754256 140271205473456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1325636

[startup+1602.3 s]
/proc/loadavg: 2.38 2.26 2.18 3/183 32507
/proc/meminfo: memFree=28455868/32872528 swapFree=1200228/1314692
[pid=32463] ppid=32460 vsize=1327684 CPUtime=1601.89 cores=1,3,5,7
/proc/32463/stat : 32463 (toysat) R 32460 32463 31224 0 -1 4202496 273208 0 0 0 160086 103 0 0 20 0 4 0 23021046 1359548416 273765 33554432000 4194304 16246674 140734341754256 140734341753432 5711697 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32463/statm: 331921 273765 898 2943 0 328815 0
[pid=32463/tid=32464] ppid=32460 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32464/stat : 32464 (toysat) S 32460 32463 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021046 1359548416 273765 33554432000 4194304 16246674 140734341754256 140271295638768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32463/tid=32465] ppid=32460 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32465/stat : 32465 (toysat) S 32460 32463 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23021046 1359548416 273765 33554432000 4194304 16246674 140734341754256 140271215946992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32463/tid=32466] ppid=32460 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32466/stat : 32466 (toysat) S 32460 32463 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23021046 1359548416 273765 33554432000 4194304 16246674 140734341754256 140271205473456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1327684

[startup+1662.3 s]
/proc/loadavg: 2.34 2.27 2.19 4/183 32508
/proc/meminfo: memFree=28455748/32872528 swapFree=1200228/1314692
[pid=32463] ppid=32460 vsize=1327684 CPUtime=1661.88 cores=1,3,5,7
/proc/32463/stat : 32463 (toysat) R 32460 32463 31224 0 -1 4202496 273370 0 0 0 166081 107 0 0 20 0 4 0 23021046 1359548416 273927 33554432000 4194304 16246674 140734341754256 140734341753432 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32463/statm: 331921 273927 898 2943 0 328815 0
[pid=32463/tid=32464] ppid=32460 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32464/stat : 32464 (toysat) S 32460 32463 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021046 1359548416 273927 33554432000 4194304 16246674 140734341754256 140271295638768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32463/tid=32465] ppid=32460 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32465/stat : 32465 (toysat) S 32460 32463 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23021046 1359548416 273927 33554432000 4194304 16246674 140734341754256 140271215946992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32463/tid=32466] ppid=32460 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32466/stat : 32466 (toysat) S 32460 32463 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23021046 1359548416 273927 33554432000 4194304 16246674 140734341754256 140271205473456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1327684

[startup+1722.3 s]
/proc/loadavg: 2.31 2.28 2.19 3/183 32509
/proc/meminfo: memFree=28455252/32872528 swapFree=1200228/1314692
[pid=32463] ppid=32460 vsize=1327684 CPUtime=1721.87 cores=1,3,5,7
/proc/32463/stat : 32463 (toysat) R 32460 32463 31224 0 -1 4202496 273370 0 0 0 172077 110 0 0 20 0 4 0 23021046 1359548416 273927 33554432000 4194304 16246674 140734341754256 140734341736128 5523464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32463/statm: 331921 273927 898 2943 0 328815 0
[pid=32463/tid=32464] ppid=32460 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32464/stat : 32464 (toysat) S 32460 32463 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021046 1359548416 273927 33554432000 4194304 16246674 140734341754256 140271295638768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32463/tid=32465] ppid=32460 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32465/stat : 32465 (toysat) S 32460 32463 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23021046 1359548416 273927 33554432000 4194304 16246674 140734341754256 140271215946992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32463/tid=32466] ppid=32460 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32466/stat : 32466 (toysat) S 32460 32463 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23021046 1359548416 273927 33554432000 4194304 16246674 140734341754256 140271205473456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1327684

[startup+1782.3 s]
/proc/loadavg: 2.31 2.29 2.20 3/183 32511
/proc/meminfo: memFree=28387796/32872528 swapFree=1200228/1314692
[pid=32463] ppid=32460 vsize=1327684 CPUtime=1781.87 cores=1,3,5,7
/proc/32463/stat : 32463 (toysat) R 32460 32463 31224 0 -1 4202496 273370 0 0 0 178073 114 0 0 20 0 4 0 23021046 1359548416 273927 33554432000 4194304 16246674 140734341754256 140734341736128 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32463/statm: 331921 273927 898 2943 0 328815 0
[pid=32463/tid=32464] ppid=32460 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32464/stat : 32464 (toysat) S 32460 32463 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021046 1359548416 273927 33554432000 4194304 16246674 140734341754256 140271295638768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32463/tid=32465] ppid=32460 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32465/stat : 32465 (toysat) S 32460 32463 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23021046 1359548416 273927 33554432000 4194304 16246674 140734341754256 140271215946992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32463/tid=32466] ppid=32460 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32466/stat : 32466 (toysat) S 32460 32463 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23021046 1359548416 273927 33554432000 4194304 16246674 140734341754256 140271205473456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1327684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.31 2.29 2.20 3/176 32546
/proc/meminfo: memFree=29622368/32872528 swapFree=1200228/1314692
[pid=32463] ppid=32460 vsize=1327684 CPUtime=1800.06 cores=1,3,5,7
/proc/32463/stat : 32463 (toysat) R 32460 32463 31224 0 -1 4202496 273370 0 0 0 179892 114 0 0 20 0 4 0 23021046 1359548416 273927 33554432000 4194304 16246674 140734341754256 140734341736128 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32463/statm: 331921 273927 898 2943 0 328815 0
[pid=32463/tid=32464] ppid=32460 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32464/stat : 32464 (toysat) S 32460 32463 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021046 1359548416 273927 33554432000 4194304 16246674 140734341754256 140271295638768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32463/tid=32465] ppid=32460 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32465/stat : 32465 (toysat) S 32460 32463 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23021046 1359548416 273927 33554432000 4194304 16246674 140734341754256 140271215946992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32463/tid=32466] ppid=32460 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32466/stat : 32466 (toysat) S 32460 32463 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23021046 1359548416 273927 33554432000 4194304 16246674 140734341754256 140271205473456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 32463 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.31 2.29 2.20 3/176 32546
/proc/meminfo: memFree=29622368/32872528 swapFree=1200228/1314692
[pid=32463] ppid=32460 vsize=1327684 CPUtime=1800.06 cores=1,3,5,7
/proc/32463/stat : 32463 (toysat) R 32460 32463 31224 0 -1 4202496 273370 0 0 0 179892 114 0 0 20 0 4 0 23021046 1359548416 273927 33554432000 4194304 16246674 140734341754256 140734341736128 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32463/statm: 331921 273927 898 2943 0 328815 0
[pid=32463/tid=32464] ppid=32460 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32464/stat : 32464 (toysat) S 32460 32463 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23021046 1359548416 273927 33554432000 4194304 16246674 140734341754256 140271295638768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32463/tid=32465] ppid=32460 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32465/stat : 32465 (toysat) S 32460 32463 31224 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23021046 1359548416 273927 33554432000 4194304 16246674 140734341754256 140271215946992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32463/tid=32466] ppid=32460 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32463/task/32466/stat : 32466 (toysat) S 32460 32463 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 23021046 1359548416 273927 33554432000 4194304 16246674 140734341754256 140271205473456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1327684

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1798.93
CPU system time (s): 1.14782
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 1327684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.93
system time used= 1.14783
maximum resident set size= 1095708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273370
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= 270
involuntary context switches= 1849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3123 second user time and 17.6053 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 02:29:05
IDJOB=4099961
IDBENCH=1556
IDSOLVER=2542
FILE ID=node131/4099961-1466209745
RUNJOBID= node131-1466206062-31241
PBS_JOBID= 19918146
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x26.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099961-1466209745/watcher-4099961-1466209745 -o /tmp/evaluation-result-4099961-1466209745/solver-4099961-1466209745 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31241 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099961-1466209745.opb

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

MD5SUM BENCH= ea0578ce3fa6d7f101be81096fa267e7
RANDOM SEED=1987594669

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.752
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.752
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.56
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.752
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.57
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.752
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:        30398580 kB
Buffers:           42812 kB
Cached:           106988 kB
SwapCached:         1500 kB
Active:           384076 kB
Inactive:          64392 kB
Active(anon):     298140 kB
Inactive(anon):     2640 kB
Active(file):      85936 kB
Inactive(file):    61752 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099820 kB
Dirty:             39748 kB
Writeback:             0 kB
AnonPages:       1612672 kB
Mapped:            10304 kB
Shmem:                 0 kB
Slab:             570724 kB
SReclaimable:      14384 kB
SUnreclaim:       556340 kB
KernelStack:        1520 kB
PageTables:         8696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2550680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71644 MiB
End job on node131 at 2016-06-18 02:59:06